Proof code for 2025-08-03.

The code for 2025-08-03 is 3ee6095b-4854-43e3-b94f-9a03538b796d.