Proof code for 2025-12-03.

The code for 2025-12-03 is 4fb37419-a107-4dca-9ddf-8ed2032213ab.