IndisputableMonolith.StandardModel.ProtonMass
The StandardModel.ProtonMass module assembles the proton mass from valence quark contributions on the phi-ladder plus a binding term, extending the fermion hierarchy of P-002. Researchers deriving composite masses in Recognition Science cite these definitions when comparing to measured baryon values. The module proceeds by successive auxiliary definitions for quark pieces, binding radius, and energy, ending in m_p and its positivity statement.
claimProton mass $m_p = m_{valence} + E_{binding}$ with $m_{valence} = m_u^{contrib} + m_d^{contrib}$ taken from the phi-ladder and $E_{binding}$ obtained from the binding radius $r_{binding}$.
background
The module sits inside the Standard Model domain and imports the RS time quantum tau_0 = 1 tick together with the phi-ladder mass hierarchy of P-002. P-002 states that fermion masses arise as yardstick times phi to a rung offset determined by the particle's quantum numbers. The present module applies that ladder to the up and down quarks that form the proton valence content, then adds a separate binding contribution whose scale is set by a coherence length derived from the same J-cost function.
proof idea
This is a definition module, no proofs. It consists of a linear sequence of named definitions (anchor_E_coh_pos through m_p_pos) that introduce each intermediate quantity and record its positivity.
why it matters in Recognition Science
The module supplies the proton mass that any later Recognition Science comparison with experiment must use. It directly extends the P-002 hierarchy to the lightest baryon and therefore sits upstream of any claim that the framework reproduces the full set of Standard Model masses. No downstream theorems are recorded yet.
scope and limits
- Does not derive binding energy from QCD gluon dynamics.
- Does not include electromagnetic or isospin corrections.
- Does not output numerical values in SI units.
- Does not address neutron-proton mass difference.