τ-Up Quark
The τ-up quark is the lighter member of the first-generation quark mode pair on the T² fiber: a fractional-charge (+2/3) winding mode that, together with the down mode, composes the (uud) proton and (udd) neutron defect bundles via the categorical projection of T² windings.
τ-Definition
The τ-up quark is the lighter member of the first-generation quark mode pair on the T² fiber: a fractional-charge (+2/3) winding mode that, together with the down mode, composes the (uud) proton and (udd) neutron defect bundles via the categorical projection of T² windings.
Categorical invariant. Lighter first-generation quark mode on T²; fractional charge +2/3; first row of the 6-quark Epstein-zeta spectrum.
Primary registry anchor:
IV.D187
Supporting items:
IV.D549,
IV.D374,
IV.D377,
IV.D382,
IV.P113,
IV.T275,
IV.P330
τ-Derivation Chain
-
IV.D12— Particle Kind: a particle is a stable defect bundle on the T² fiber -
IV.D187— Quark mode: the fractional-winding family on T² fiber -
IV.D549— Six Quark Flavours organized in three generations -
IV.D374— Epstein-zeta quark mode spectrum sets the mass ladder -
IV.P113— Quark electric charges = ±1/3, ±2/3 from winding fractions -
IV.T275— Fractional Quark Charges theorem — winding sums project to thirds -
IV.P330— Up mode appears in (uud) proton and (udd) neutron compositions
Lean modules referenced:
TauLib.BookIV.Strong.QuarksGluons
SI Translation
Numerical value: 3.85e-30 ± 0.4e-30 kg
Calibration anchor: PG-P01-neutron
Calibration chain:
- m_n (anchor)
- ι_τ ≈ 0.341304
- Epstein-zeta spectrum (IV.D374)
- Six-Quark Wave-45 table (IV.D382)
Manuscript reference: manuscript-sources/book-04/part04/ch32-strong-coupling-quarks.tex
Lean Coverage
Status: Formalized
Module: TauLib.BookIV.Strong.QuarksGluons
Lean kind: theorem
Lean symbol: QuarksGluons