Proof code for 2025-07-06.

The code for 2025-07-06 is 9deb9d37-15cf-4f46-b513-e6a177fe2347.