m_d_contrib
plain-language theorem explainer
m_d_contrib supplies the down-quark valence contribution to the proton mass as the coherent energy scaled by phi to the fourth power. Researchers decomposing hadron masses in Recognition Science cite it when isolating the small valence piece from dominant binding. It is realized as a direct one-line alias to mass_on_rung at rung 4.
Claim. The down-quark valence contribution is given by $m_{d,contrib}=E_{coh}phi^4$, where $E_{coh}$ is the anchor coherent energy.
background
The proton mass derivation decomposes into valence quarks at rung 4 of the phi-ladder and binding energy at the higher confinement rung. mass_on_rung supplies the mass in RS units as Anchor.E_coh multiplied by phi to the power r. Upstream documentation states: 'Mass in RS units: E_coh · φ^r where r is the rung.' The module sets valence quarks at rung 4 while confinement sits at rung 14.
proof idea
The definition is a one-line wrapper that applies mass_on_rung to the integer 4.
why it matters
This definition supplies the down-quark term inside m_valence and inside the binding_dominates theorem that proves binding exceeds forty times the valence mass. It fills the module claim that valence quarks contribute roughly one percent while binding supplies the rest via the phi-ladder separation of ten rungs. The result anchors the Standard Model proton mass construction in the Recognition framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.