Proof code for 2025-11-17.

The code for 2025-11-17 is bc7de12e-e2de-4932-8bd6-89a017637d77.