Formal archival record v1. 1 of the Theorema Aureum 143 conditional Riemann Hypothesis proof chain (C01-C17), compiled in Lean 4 against Mathlib v4. 12. 0. Pistus-theoria (faithful theory) encodes full 64-char SHA-256 file manifest, Route B C-file mappings for all 5 surfaces, open surface register, Route A/B disjunction, and honesty statement. Pinned: omega²=24, conductor N=143, genus g=13, Hecke dim=1859. v1. 1 corrects: (1) omega² pinned to 24 as specified; (2) full 64-char SHA-256 for all C01-C17 files; (3) Route B table now shows C-file source column for all 5 surfaces. The Riemann Hypothesis is OPEN; this is a conditional combinator chain, not a Clay Prize proof. Axiom footprint: classical trio only. Zero sorry. C17 discharges ArakelovPairingOPEN (JK 1996). Route B: 4 surfaces remain OPEN. RH: OPEN.
David J. Fox (Fri,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: