Proof code for 2025-11-23.

The code for 2025-11-23 is e476fac4-27a2-499f-8caa-4ffea27489b7.