strange_rung
plain-language theorem explainer
The strange quark occupies rung 14 on the Recognition Science phi-ladder as the second-generation down-type fermion. Researchers deriving CKM mass hierarchies from forced geometry cite this constant to establish strict ordering and the top-to-up ratio phi^22. The declaration is a direct constant assignment with no further computation.
Claim. The strange quark occupies rung position $14$ on the phi-ladder, so its mass satisfies $m_s = m_{unit} · phi^{14}$ with $m_{unit} = phi^{-5}/8$.
background
The module places the six Standard Model quarks on the phi-ladder with rungs u:8, d:9, s:14, c:17, b:22, t:30. Quark masses follow the geometric progression $m(k) = m_{unit} · phi^k$ where the unit is set by the coherence energy. Upstream rung definitions supply general mappings for fermions and anchors, but the present assignment fixes the strange-quark index for the hierarchy.
proof idea
Direct constant definition assigning the natural number 14.
why it matters
This definition supplies the strange-quark rung to the CKMHierarchyFromPhiLadderCert structure and the ckm_hierarchy_one_statement theorem, which establish six-quark structure and strict ordering u < d < s < c < b < t. It implements the Track F7 structural prediction in which the phi-ladder (forced by T5 J-uniqueness and T6 self-similar fixed point) yields the ratio phi^22, within a factor of two of the observed top-to-up mass ratio. The eight-tick octave and D=3 dimensions fix the rung arithmetic.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.