Proof code for 2025-06-28.

The code for 2025-06-28 is f645784c-c17b-402a-af3a-d5fa5f639b4d.