Proof code for 2025-09-15.

The code for 2025-09-15 is 3567bc2c-201c-4e53-92be-2e61b3b08c1e.