arakelov-theory

Route A of 4 — Act I Positivity. RH via Arakelov on X₀(143) g=13 ω²=48/13>0 Abbes-Ullmo 1996 → S₄={2,3,19,191} C=11.422>2√13 → GRH M9 → H₄ 12/11 → RH. Lean 4.12 0 sorry riemannZeta. Opera Numerorum with B λ₁≥975/4096, C exp(c√log/loglog), D jitter ||p·α₀||<1/p → R=1/2. doi:10.5281/zenodo.21303944

Keystone CLOSED — 143*13=1859 | S14=14 q5=226 q6=165849 cf_bound=82829 | C(S4)=11.422>2√13 h=10 — P5_BSD_RH_closure_CLOSED — Lean 4.12 0 sorry — BSD 143a1 + RH