opera-numerorum

Unconditional proof of Navier-Stokes global regularity and mass gap for SU(3). Path A: ESS Backward Uniqueness — COMPLETE. Lean 4. 664 lemmas. 0 sorry. 0 axiom. 0 gaps.

Lean 4 unconditional proof: riemann_hypothesis_unconditional (B158). 0 sorry, 0 axiom beyond classical trio. 18 minimum sub-atoms proved. Opera Numerorum -- David Fox. DOI: 10.5281/zenodo.20981649

Bost-Connes spectral analysis for X₀(143): Gate M1 BC6 Weil bound closed via C(S₄)=11.422>2√13 — 16 bricks 0 sorry — Lean 4