τ-Kilogram
The τ-kilogram is the natural unit of mass in the τ-framework: a structural mass scale rooted in the calibration anchor m_n. Unlike the other τ-natural units, mass is the single dimensionful quantity not predicted by ι_τ alone — it is fixed by the empirical neutron mass and propagated through the cascade.
τ-Definition
The τ-kilogram is the natural unit of mass in the τ-framework: a structural mass scale rooted in the calibration anchor m_n. Unlike the other τ-natural units, mass is the single dimensionful quantity not predicted by ι_τ alone — it is fixed by the empirical neutron mass and propagated through the cascade.
Categorical invariant. Natural-unit mass kg_τ ≡ m_n; the unique dimensionful anchor of the τ-framework. All other masses are dimensionless ratios of m_n via ι_τ.
Primary registry anchor:
V.R305
τ-Derivation Chain
-
I.K0— Universe Postulate establishes τ -
I.D34— Master constant ι_τ ≈ 0.341304 emerges from the categorical kernel -
IV.D255— ι_τ at the E₁ physics layer governs the dimensional cascade -
V.R305— One-anchor remark: m_n sets the scale; ι_τ determines every ratio -
V.D231— The ι_τ-chain propagates m_n through all derived mass ratios (m_e, m_p, m_P)
Lean modules referenced:
TauLib.BookIV.Calibration.CalibrationAnchor,
TauLib.BookV.Coda.CalibrationChain
SI Translation
Numerical value: 1.674927498e-27 ± 9.5e-37 kg
Calibration anchor: PG-P01-neutron
Calibration chain:
- m_n (anchor) = 1.674 927 498 × 10⁻²⁷ kg (CODATA 2018)
- R = ι_τ⁻⁷ − (√3 + π³α²)ι_τ⁻² → m_e = m_n / R
- m_P = m_n / ι_τ (Planck mass via Route 3)
Manuscript reference: manuscript-sources/book-05/part07-closure/ch-closure-constants.tex
Lean Coverage
Status: Formalized
Module: TauLib.BookIV.Calibration.CalibrationAnchor
Lean kind: structure
Lean symbol: CalibrationAnchor
See Also
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.