Formal archival record v1.2 of the Theorema Aureum 143 conditional Riemann Hypothesis proof chain (C01-C17), compiled in Lean 4 against Mathlib v4.12.0. v1.2 fixes: all SHA-256 values and Route B file-surface mappings taken verbatim from the /trace dashboard source of truth (artifacts/theorema-certs/src/pages/trace.tsx); C16 SHA corrected to 2bee78633961d2bb... (trace value); C01 SHA corrected to d54dedddc6c1012...; Route B surface B1 now maps to C01+C03 (not C13); B2->C02; B3->C14; B4->C02+C06; B5->C06+C07. Colophon DOI updated to canonical v1.1 (10.5281/zenodo.20764829). Pinned: omega^2=24, conductor N=143, genus g=13. The Riemann Hypothesis is OPEN; conditional combinator chain only. Axiom footprint: classical trio. Zero sorry. RH: OPEN.
No takes yet. Share an insight, caveat, or question.
David J. Fox (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: