Proof code for 2025-06-22.

The code for 2025-06-22 is d8356bd3-dcb1-456c-ae40-64d43dae131b.