Results Glossary Entry Canonical physics Mass is a τ-categorical invariant that quantifies the dimensional load carried by a stable defect bundle on the toroidal T² fiber. It is the structural cost of persistence — the inertial signature of a non-trivial winding configuration.
Results · Physics Glossary · Quantity PG-Q01-mass M Canonical Lean · formalized

Mass

Mass is a τ-categorical invariant that quantifies the dimensional load carried by a stable defect bundle on the toroidal T² fiber. It is the structural cost of persistence — the inertial signature of a non-trivial winding configuration.

Physics Glossary Primary: IV.D11 fundamental quantity dimensional e1 t2 defect

τ-Definition

Mass is a τ-categorical invariant that quantifies the dimensional load carried by a stable defect bundle on the toroidal T² fiber. It is the structural cost of persistence — the inertial signature of a non-trivial winding configuration.

Categorical invariant. Mass(B) := dimensional load functional of the defect-bundle B on T²; an E1 invariant assigned to every Particle Kind by the Physical Quantity Template.

Primary registry anchor: IV.D11

Supporting items: IV.D12, IV.P166, IV.T142, IV.P327

τ-Derivation Chain

  1. I.K0 — Universe Postulate establishes τ
  2. IV.D11 — Physical Quantity Template defines mass as a dimensional invariant on T² defect bundles
  3. IV.D12 — Particle Kind: every particle carries a mass via the dimensional-load functional
  4. IV.P166 — Neutron Minimality fixes the lightest stable defect — anchors the mass scale
  5. IV.T142 — Proton-Neutron mass difference (two-sector formula) recovers the SM mass spectrum at +33 ppm

Lean modules referenced: TauLib.BookIV.Calibration.CalibrationAnchor

SI Translation

Calibration anchor: PG-P01-neutron

Calibration chain:

  1. m_n (anchor)
  2. ι_τ-derived mass ratios
  3. two-sector (m_n - m_p) and Yukawa hierarchy formulas

Manuscript reference: manuscript-sources/book-05/part07-closure/ch-closure-constants.tex

Lean Coverage

Status: Formalized

Module: TauLib.BookIV.Calibration.CalibrationAnchor

Lean kind: def

Related glossary entries

Referenced by

Cross-domain bridges

This glossary term sits on the boundary between domains. The τ-framework's cross-domain pivots are the structural junctions where physics, life, and metaphysics readouts meet.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert