Registry · Theorem IV.T58 tau-effective formalized

IV.T58 — Spectral Gap Exponent

Neutrino mass suppression exponent 8 = 2 x 4: each factor iota_tau^4 is one spectral gap (fiber decoupling layer). Two layers: base-fiber dimensional mismatch + angular mismatch. Total: m_nu ~ m_e iota_tau^8 ~ m_n iota_tau^15.

Book IV Part 4 Ch. 32

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Electroweak.NeutrinoMode

Symbol: Tau.BookIV.Electroweak.SpectralGapExponent