Proof code for 2025-10-17.

The code for 2025-10-17 is eb25065a-0fc1-46eb-b553-a25676555a8e.