Proof code for 2025-12-01.

The code for 2025-12-01 is 661ef535-7936-407c-aa5e-304fbaac7752.