Proof code for 2025-09-05.

The code for 2025-09-05 is ed918391-e7b6-4481-80bf-d73e22500c7b.