Proof code for 2025-08-13.

The code for 2025-08-13 is a87c3dc9-a43c-467f-96c9-b0108d0289df.