Proton mass m_p
The proton mass m_p is, in the τ-framework, the τ-effective Layer-2 readout m_p = m_n − δ_A, where δ_A is the β-decay differential between the neutron and proton sectors of the boundary holonomy algebra. It is one of the two anchor-relative mass entries of the constants ledger.
τ-Definition
The proton mass m_p is, in the τ-framework, the τ-effective Layer-2 readout m_p = m_n − δ_A, where δ_A is the β-decay differential between the neutron and proton sectors of the boundary holonomy algebra. It is one of the two anchor-relative mass entries of the constants ledger.
Categorical invariant. m_p = m_n − δ_A — the proton sector readout, anchored to m_n by β-decay differentiation.
Primary registry anchor:
IV.P346
τ-Derivation Chain
-
I.K0— Universe Postulate -
IV.D255— Master constant ι_τ -
IV.P346— Proton Mass — m_p = m_n − δ_A from β-decay differentiation -
V.T142— E₁ Completeness — m_p is the proton-sector entry of the mass ledger
Lean modules referenced:
TauLib.BookIV.Calibration.MassRatioFormula,
TauLib.BookV.Coda.ConstantsLedger
SI Translation
Numerical value: 1.67262192369e-27 ± 5.1e-37 kg
Calibration anchor: PG-P01-neutron
Calibration chain:
- Layer 0: ι_τ = 2/(π + e_math)
- Layer 2: m_n anchor; δ_A = m_n − m_p ≈ 2.305 × 10⁻³⁰ kg from β-decay sector
- Layer 2: m_p = m_n − δ_A = 1.672 621 924 × 10⁻²⁷ kg
- Mass ratio m_p/m_e ≈ 1836.15 derived as R · (1 − δ_A/m_n)
Manuscript reference: manuscript-sources/book-05/part07-closure/ch-closure-constants.tex