Proof code for 2026-08-21.

The code for 2026-08-21 is fbb6acfc-c1bc-4af6-8ba6-fb033d482e7a.