Registry · Definition IV.D345 tau-effective formalized

IV.D345 — Koide Angle delta=2/9

The Koide angle delta=2/9 encodes the three lepton masses via m_k = M*(1+sqrt(2)*cos(delta+2*pi*k/3))^2. Numerator 2 = lemniscate lobes, denominator 9 = tau-axioms K0-K8. Binary search confirms delta_fit = 0.222222046, vs 2/9 = 0.222222222; difference -1.76e-7 rad = -0.001 per-mille. Fits PDG m_mu/m_e at 0.001% level in angle space.

Book IV Part 5 Ch. 36

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: koide_angle