Proof code for 2025-07-17.

The code for 2025-07-17 is 8efba143-d840-4f16-b583-c3274c6895cb.