Proof code for 2025-07-01.

The code for 2025-07-01 is f8c303bf-3f95-4e22-9255-0b0c0416fcd1.