Proof code for 2025-07-13.

The code for 2025-07-13 is bfced8e5-419e-4cfc-b725-dc432dfd4651.