core_up_rungs
plain-language theorem explainer
Canonical core rungs assign integer positions 4, 15 and 21 to the up, charm and top quarks on the phi-ladder. Researchers comparing coordinate conventions in quark mass derivations cite this assignment to establish the baseline integer model before introducing quarter-ladder adjustments. The definition simply populates the CoreUpQuarkRungs structure with these fixed defaults.
Claim. The canonical core rungs for up-type quarks are the integer assignments $u=4$, $c=15$, $t=21$ on the phi-ladder.
background
The Quark Coordinate Reconciliation module distinguishes the integer-rung core model from the quarter-ladder hypothesis. In the core model all particles occupy integer rungs derived from cube geometry, with up-type quarks fixed at rungs 4, 15 and 21. The upstream CoreUpQuarkRungs structure records these values as fields u, c, t with the listed defaults.
proof idea
One-line definition that instantiates the CoreUpQuarkRungs structure with the canonical integer rung values.
why it matters
This definition supplies the baseline integer rungs referenced by downstream results such as conventions_differ_top_quark and quark_fractional_rung_necessity, which demonstrate that the core model and quarter-ladder hypothesis differ. It anchors the canonical integer-rung convention described in the module documentation for resolving Gap 6. In the Recognition Science framework it supports the parameter-free mass formula on the phi-ladder.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.