τ-Muon
The τ-muon is the second-generation lepton-class T²-defect: the second rung of the τ-Yukawa overlap ladder, sharing the electron's charge and chirality structure but with a heavier mass set by the second-generation lemniscate winding family.
τ-Definition
The τ-muon is the second-generation lepton-class T²-defect: the second rung of the τ-Yukawa overlap ladder, sharing the electron's charge and chirality structure but with a heavier mass set by the second-generation lemniscate winding family.
Categorical invariant. Second-generation lepton-class T²-defect; charge −1; second rung of the τ-Yukawa overlap ladder.
Primary registry anchor:
IV.D474
Supporting items:
IV.D117,
IV.D143,
IV.D189,
IV.D460,
IV.D461
τ-Derivation Chain
-
IV.D12— Particle Kind: a particle is a stable defect bundle on the T² fiber -
IV.D474— Fundamental Fermion Atlas places the muon as the second-generation charged lepton -
IV.D117— Left-Handed Doublets organize the (μ, ν_μ) doublet under EW chirality -
IV.D189— Quark generations from Lemniscate: the same family count drives the lepton ladder -
IV.D143— τ-Yukawa overlap integral generates the per-generation rest masses -
IV.D461— Electron Linkage Principle extends to muon as the second-generation linkage mode
Lean modules referenced:
TauLib.BookIV.Particles.ThreeGenerations
SI Translation
Numerical value: 1.883531627e-28 ± 4.2e-37 kg
Calibration anchor: PG-P01-neutron
Calibration chain:
- m_n (anchor)
- ι_τ ≈ 0.341304
- second-generation Yukawa overlap (IV.D143)
- lemniscate generation step (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