Proof code for 2025-07-18.

The code for 2025-07-18 is d8fdee37-c4d8-4df3-a9ae-69b33b5064f0.