Registry · Remark IV.R110 tau-effective formalized

IV.R110 — No BSM particles

The periodic table of tau-particles contains no beyond-Standard-Model particles: no supersymmetric partners, no leptoquarks, no right-handed neutrinos, no fourth generation, and no dark matter candidates with new quantum numbers, as a structural consequence of the Exactly-Four Theorem and lemniscate topology.

Book IV Part 6 Ch. 45

Lean Formalization

Module: TauLib.BookIV.Particles.SectorAtlas

Symbol: Tau.BookIV.Particles.NoBsmParticles