Proof code for 2025-08-21.

The code for 2025-08-21 is 5ab7d728-8391-49db-a3b2-77d1a2dc7f6a.