Proof code for 2025-08-04.

The code for 2025-08-04 is 08eb1ecb-4a78-40d7-9e5e-5112616a837d.