modular-curves

Beal Conjecture Level 26 Structural Verification — Tate 928=2⁵·29 Neron I0* I8 c4 Δ v2=6 v29=8 Mazur 2184 48<2184 13=2²+3² 288/48=6 card2 genus0 infinite vs2 Ribet 928/29=32 ∅ card0 full1 new1 LMFDB 32a1 Kolyvagin |Sel2|=1 3·7=21 L/Ω=1/3 1/7 rank0 26a1 26b1 — Lean 4.12 explicit types decide — v30.0.0 — mcom

HCT abc research papers, proof notes, and reproducible no-Magma Hecke quotient artifacts

Level 26 Foundations — Structural Verification v0.30 — Tate 928=2⁵·29 Neron I0* I8 c4 Δ v2=6 v29=8 Mazur 2184 48<2184 13=2²+3² 288/48=6 card2 genus0 infinite vs2 Ribet 928/29=32 ∅ card0 full1 new1 LMFDB 32a1 Kolyvagin |Sel2|=1 3·7=21 L/Ω=1/3 1/7 rank0 26a1 26b1 — Lean 4.12 explicit types decide — mcom

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