Proof code for 2025-09-20.

The code for 2025-09-20 is acfc3b08-97da-4706-8fd8-0de504dc1f36.