(2026) The Proof in the Code