τ-Neutrino
The τ-neutrino is the lightest lepton-class T²-defect on the τ¹-dimensional time eigenmode: a charge-zero, near-massless winding bundle whose suppressed mass and three-flavor structure follow from the τ¹ thread dimensionality and the lemniscate winding census.
τ-Definition
The τ-neutrino is the lightest lepton-class T²-defect on the τ¹-dimensional time eigenmode: a charge-zero, near-massless winding bundle whose suppressed mass and three-flavor structure follow from the τ¹ thread dimensionality and the lemniscate winding census.
Categorical invariant. Lepton-class T²-defect on the τ¹ time eigenmode; charge zero; three flavor states from lemniscate winding.
Primary registry anchor:
IV.D521
Supporting items:
IV.D125,
IV.D522,
IV.D523,
IV.P322,
IV.P323,
IV.T314,
IV.T315
τ-Derivation Chain
-
IV.D12— Particle Kind: a particle is a stable defect bundle on the T² fiber -
IV.D474— Fundamental Fermion Atlas establishes the lepton/quark mode taxonomy -
IV.D117— Left-Handed Doublets place the neutrino as the chargeless partner of the electron -
IV.D521— Neutrino — chargeless lepton-class T²-defect -
IV.P322— Neutrino from Decay — appears as the neutral byproduct of β-decay -
IV.D125— Neutrino flavor eigenstates parameterise the three flavour types -
IV.P323— Three Neutrino Flavours emerge from the family count -
IV.T314— Neutrino lightness derives from τ¹ thread dimensionality -
IV.T315— Neutrino Mass Suppression from the lemniscate-counting suppression
Lean modules referenced:
TauLib.BookIV.Electroweak.NeutrinoMode
SI Translation
Numerical value: <2.0e-37 ± upper-bound kg
Calibration anchor: PG-P01-neutron
Calibration chain:
- m_n (anchor)
- ι_τ ≈ 0.341304
- τ¹ thread dimensionality (IV.T314)
- neutrino exponent best-fit (IV.D343, V.D237 lemniscate ratio 4/3)
Manuscript reference: manuscript-sources/book-04/part03/ch24-neutrino-time-eigenmode.tex
Lean Coverage
Status: Formalized
Module: TauLib.BookIV.Electroweak.NeutrinoMode
Lean kind: theorem
Lean symbol: NeutrinoMode