r_binding
plain-language theorem explainer
The integer 14 is assigned as the confinement rung on the phi-ladder for the proton binding energy term. Mass hierarchy derivations and verification certificates cite this value when separating valence quark contributions at rung 4 from the dominant binding term. The declaration is a direct constant assignment.
Claim. The confinement rung equals the integer 14.
background
The proton mass derivation splits into valence quarks at rung 4 on the phi-ladder and QCD binding at a higher rung, with the total given by their sum. Binding dominates because the chosen rung separation yields a factor of phi to the tenth power. The module fixes the confinement rung at 14 to produce this separation from the valence rung.
proof idea
Direct constant definition that assigns the integer 14.
why it matters
This supplies the rung value required by E_binding and binding_dominates, which feed the mass verification certificate. It encodes the claim that binding dominates valence quarks by the rung gap of 10, consistent with the phi-ladder structure and the Recognition framework mass formula.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.