Proof code for 2025-09-21.

The code for 2025-09-21 is 716814bc-cf0a-4002-8425-884479d6c77d.