Proof code for 2025-08-12.

The code for 2025-08-12 is db56e1fd-b3ad-4d71-848a-c72e7c5dc37f.