Registry · Proposition IV.P185 tau-effective formalized

IV.P185 — Three-Generation Winding Closure

Exactly three primitive winding classes (1,0), (0,1), (1,1) on T^2 host particle families. Composite winding (2,0) produces Laplacian eigenvalue 4*iota^-2 ~ 34.3, so mass scale ~iota^-2 * m_tau ~ 29850 m_e, exceeding dark-matter mass tower cutoff. The closure argument suppresses all higher windings by additional spectral gap factor iota^2 per winding unit.

Book IV Part 5 Ch. 35

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: three_gen_closure