Registry · Proposition IV.P124 tau-effective formalized

IV.P124 — Neutrino mass scale

The heaviest neutrino mass eigenstate satisfies m_3(nu) ~ m_e iota_tau^15 ~ 50.7 meV; the exponent 15 = dim(τ³)×|generators| = 3×5 (Wave 11: generator orbit derivation). CP asymmetry from A-sector polarity ε_CP = ι_τ connects neutrino mass scale to baryogenesis. Scope: conjectural (exponent 15 interpretation strengthened but not fully derived).

Book IV Part 6 Ch. 46

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.NeutrinoMassScale