Proof code for 2025-07-04.

The code for 2025-07-04 is 7e6cd47c-1a8f-42e5-b3b6-a19752342af8.