τ-Proton
The τ-proton is the β-decay-differentiated sibling of the τ-neutron: a stable T²-defect bundle obtained by replacing one down-mode of the (udd) neutron with an up-mode, yielding the (uud) winding configuration with net charge +1 and the lightest charged-baryon defect in the τ-atlas.
τ-Definition
The τ-proton is the β-decay-differentiated sibling of the τ-neutron: a stable T²-defect bundle obtained by replacing one down-mode of the (udd) neutron with an up-mode, yielding the (uud) winding configuration with net charge +1 and the lightest charged-baryon defect in the τ-atlas.
Categorical invariant. Stable T²-defect bundle with (uud) winding signature; charged sibling of the τ-neutron under β-decay differentiation.
Primary registry anchor:
IV.D545
Supporting items:
IV.D546,
IV.P330,
IV.T142,
IV.T333,
IV.T72,
IV.P347,
IV.P255
τ-Derivation Chain
-
IV.D12— Particle Kind: a particle is a stable defect bundle on the T² fiber -
IV.P327— τ-neutron sits at the base of the atlas as the minimal ontic defect -
IV.P330— Quark composition of the neutron: n = udd -
IV.D545— Proton: the (uud) winding sibling obtained by single-flavor differentiation -
IV.D546— Proton Derivation Principle — the proton is earned from the neutron, not posited -
IV.T142— Proton-neutron mass difference resolves into a two-sector contribution (EM + strong) -
IV.T333— Proton charge Q = +1 follows from conservation under β-decay differentiation -
IV.T72— Proton Stability — no lighter charged baryon defect exists
Lean modules referenced:
TauLib.BookIV.Particles.BetaDecay,
TauLib.BookIV.Particles.HadronsNuclei
SI Translation
Numerical value: 1.67262192369e-27 ± 5.1e-37 kg
Calibration anchor: PG-P01-neutron
Calibration chain:
- m_n (anchor)
- Δm_{n−p} = m_n − m_p ≈ 1.293 MeV/c² (IV.T142, two-sector)
- ι_τ ≈ 0.341304
Manuscript reference: manuscript-sources/book-04/part01/ch08-proton-electron-earned.tex
Lean Coverage
Status: Formalized
Module: TauLib.BookIV.Particles.BetaDecay
Lean kind: theorem
Lean symbol: BetaDecay