Proof code for 2025-12-17.

The code for 2025-12-17 is edb18f6f-b8aa-4c5f-8d0c-e887c38d7d11.