Proof code for 2025-11-21.

The code for 2025-11-21 is 66b45f95-16ca-4617-acbf-dfa4e13208e0.