Registry · Definition IV.D386 tau-effective formalized

IV.D386 — High-ppm Structural Limit Catalog

Systematic audit: θ₂₃ +8604→−494, δ_CP +9365→+5645, m_μ/m_e already at −8.2. Structural limits: QLC θ₁₂ (−41965, needs θ_C coupling), η̄ pentagon (+75275, complex geometry). Three of four PMNS observables now sub-5200 ppm.

Book IV Part 5 Ch. 35

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.HighPpmCatalog