Registry · Theorem V.T269 conjectural formalized

V.T269 — Mass-Squared Splittings from τ-Exponents

Δm²₂₁(τ)≈4.66×10⁻⁴ eV² vs NuFIT 7.53×10⁻⁵ (factor 6.2× off). |Δm²₃₂|(τ)≈3.01×10⁻³ vs NuFIT 2.453×10⁻³ (+22.9%). Sum correct at +7.4 ppm but hierarchy steepness overpredicted. Honest failure documented.

Book V Part 7 Ch. 61

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.NeutrinoBackground

Symbol: Tau.BookV.Cosmology.MassSquaredSplittings