Proof code for 2025-11-28.

The code for 2025-11-28 is f6347758-47f2-4799-88d2-74403ee78914.