Registry · Proposition V.P127 tau-effective formalized

V.P127 — Normal Mass Ordering from sigma-Polarity Structure

Analytic proof: r < p in sigma-polarity matrix => iota_tau^r > iota_tau^p (since iota_tau < 1) => c > a => sigma-odd eigenvalue = a = iota_tau^p is the MIDDLE eigenvalue (rank #2 of 3) => m1 < m2(sigma-odd) < m3 (Normal Hierarchy). Wave 2 best-fit r=2.8 < p=3.7 satisfies this. Eigenvalues: m1=0.016710 (sigma-even), m2=0.018734=iota_tau^p (sigma-odd), m3=0.051318 (sigma-even). Inverted ordering requires r > p, which violates tau^3 winding-mode coupling hierarchy.

Book V Part 3 Ch. 24

Dependency Graph

Depends on (2)

Depended on by (6)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: normal_mass_ordering_from_sigma_polarity