Proof code for 2025-11-26.

The code for 2025-11-26 is 2b37d635-1bfd-4deb-b6cd-fd719cd82d0e.