core_down_rungs
plain-language theorem explainer
Core down quark rungs fix the integer positions d at 4, s at 15, and b at 21 on the phi ladder for the canonical core model. Researchers deriving quark masses from geometry cite this when enforcing separation between the parameter-free integer convention and the quarter-ladder hypothesis. The definition is a direct instantiation of the CoreDownQuarkRungs structure using its default field values.
Claim. The core down quark rungs are the integer values $d=4$, $s=15$, $b=21$ in the structure for down-type quarks on the phi ladder.
background
Recognition Science places particle masses on the phi ladder via the formula yardstick times phi to the power of (rung minus 8 plus gap). The core model uses integer rungs derived from geometry for parameter-free predictions, while the quarter-ladder serves as an exploratory hypothesis for phenomenological fits. CoreDownQuarkRungs records the down-type assignments d at rung 4, s at 15 (4 plus 11), and b at 21 (4 plus 17). This module documents the two conventions as distinct layers rather than equivalent statements.
proof idea
This is a one-line wrapper that instantiates CoreDownQuarkRungs with its default field values.
why it matters
The definition supplies the integer rungs that feed the downstream theorem conventions_differ_bottom, which proves the bottom quark position differs from the hypothesis quarter-ladder value. It anchors the core model within the quark coordinate reconciliation, preserving the parameter-free integer convention for the phi ladder mass formula. The placement aligns with the framework's separation of canonical geometry from exploratory fits.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.