Proof code for 2025-11-25.

The code for 2025-11-25 is 08ae8abb-64b5-41c8-acc6-142b0a1c03fa.