Proof code for 2025-09-25.

The code for 2025-09-25 is 9cdefeb3-1900-4c99-8d93-fd467720afcf.