Proof code for 2025-12-05.

The code for 2025-12-05 is 3078de53-0d22-480c-80fb-231750c474f8.