Proof code for 2025-09-01.

The code for 2025-09-01 is e3126055-f649-436d-846c-88c6ea484635.