τ-Tauon
The τ-tauon (tau lepton) is the third-generation lepton-class T²-defect: the heaviest rung of the τ-Yukawa overlap ladder, sharing the electron and muon's charge and chirality structure but with a mass set by the third-generation lemniscate winding family.
τ-Definition
The τ-tauon (tau lepton) is the third-generation lepton-class T²-defect: the heaviest rung of the τ-Yukawa overlap ladder, sharing the electron and muon's charge and chirality structure but with a mass set by the third-generation lemniscate winding family.
Categorical invariant. Third-generation lepton-class T²-defect; charge −1; third (and final) rung of the τ-Yukawa overlap ladder.
Primary registry anchor:
IV.D474
τ-Derivation Chain
-
IV.D12— Particle Kind: a particle is a stable defect bundle on the T² fiber -
IV.D474— Fundamental Fermion Atlas places the tauon as the third-generation charged lepton -
IV.D117— Left-Handed Doublets organize the (τ, ν_τ) doublet under EW chirality -
IV.D189— Quark generations from Lemniscate caps the family count at three -
IV.D143— τ-Yukawa overlap integral generates the third-generation rest mass -
IV.D461— Electron Linkage Principle extends to tauon as third-generation linkage mode
Lean modules referenced:
TauLib.BookIV.Particles.ThreeGenerations
SI Translation
Numerical value: 3.16754e-27 ± 2.1e-31 kg
Calibration anchor: PG-P01-neutron
Calibration chain:
- m_n (anchor)
- ι_τ ≈ 0.341304
- third-generation Yukawa overlap (IV.D143)
- lemniscate generation cap (IV.D189)
Manuscript reference: manuscript-sources/book-04/part05/ch35-three-generations.tex
Lean Coverage
Status: Formalized
Module: TauLib.BookIV.Particles.ThreeGenerations
Lean kind: theorem
Lean symbol: ThreeGenerations