Proof code for 2025-12-02.

The code for 2025-12-02 is d1e51491-83a0-48e7-8e4f-3bf04abdb414.