Proof code for 2025-09-17.

The code for 2025-09-17 is a7c64748-c6b9-4555-94f2-472d68913aba.