Proof code for 2025-06-21.

The code for 2025-06-21 is 88cbf081-4f50-48c8-a48d-65ee1e547355.