Registry · Remark IV.R111 tau-effective formalized

IV.R111 — Fourth generation excluded

The exclusion of a fourth generation is topological, not energetic: L = S^1 v S^1 has exactly two lobes and one crossing point, so no fourth mode class exists regardless of energy; the LEP measurement N_nu = 2.9840 +/- 0.0082 confirms this topological prediction.

Book IV Part 6 Ch. 46

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.FourthGenerationExcluded