Proof code for 2025-08-20.

The code for 2025-08-20 is fe0bcd1b-ae3e-4f59-a826-b94e7831308c.