IndisputableMonolith.Physics.QuarkMassHierarchyFromPhiLadder
The module maps the six quark flavors (three generations times two charge types) onto rungs of the phi-ladder to obtain their mass hierarchy in Recognition Science. Particle physicists working in RS-native units would cite it when deriving quark masses from the self-similar fixed point phi. The module consists entirely of definitions and supporting predicates with no proofs.
claimQuark masses satisfy $m_q = m_0 phi^{r-8+g(Z)}$ where $r$ is the rung on the phi-ladder, $g(Z)$ is the gap for charge type $Z$, and the six flavors are partitioned by six_partition into up/down, charm/strange, top/bottom pairs.
background
Recognition Science obtains all constants from the forcing chain T0-T8 whose fixed point is phi. The phi-ladder supplies the mass formula yardstick times phi to the power of rung offset plus gap. The upstream Constants module fixes the base unit tau_0 = 1 tick. This module introduces QuarkFlavour, six_partition, quarkMass and quarkMass_ratio to assign the six flavors consistently with 3 generations times 2 charge types.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the concrete quark-mass assignments that later physics derivations in the Recognition framework consume. It realizes the phi-ladder mass formula for the six flavors and thereby connects the T5 J-uniqueness and T6 phi fixed-point steps to the observed quark spectrum. No downstream theorems are yet recorded.
scope and limits
- Does not derive numerical mass values in GeV units.
- Does not prove stability or mixing angles of the hierarchy.
- Does not address lepton masses or gauge couplings.
- Does not contain the full forcing-chain derivation of phi itself.