Registry · Remark IV.R115 tau-effective formalized

IV.R115 — The 45-degree crossing angle

The Koide phase delta is not arbitrary but determined by the lemniscate crossing angle: the standard lemniscate r^2 = a^2 cos(2theta) has crossing angle exactly 45 degrees = pi/4; the phase delta = pi/4 - pi/12 = pi/6 determines m_mu/m_e but not Q, which is 2/3 for all delta.

Book IV Part 6 Ch. 46

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.The45degreeCrossingAngle