Proof code for 2025-08-22.

The code for 2025-08-22 is c2097a48-cf6f-44af-9edb-fb4517674d19.