IndisputableMonolith.Masses.QuarkAbsoluteBridgeScoreCard
The module supplies P0-Q bridge rows that express quark mass ratios such as charm over up as real powers of phi within the Recognition Science quark scorecard. Researchers checking consistency of the phi-ladder mass formula with observed hierarchies would reference these rows. The module consists of a collection of row definitions that bridge structural and anchor calculations, importing the base scorecard and RS constants without embedding proofs.
claimThe structural charm/up quark mass ratio is expressed as a real-power law $m_c/m_u = phi^r$ for real exponent $r$ on the phi-ladder; analogous rows cover top/charm, charm/up anchor agreement, and strange/down, bottom/strange ratios in both exponential and real-power forms.
background
The module sits inside the quark-sector Phase 0 rows P0-Q01 to P0-Q06. The upstream QuarkScoreCard consolidates existing proofs and tags residuals honestly without introducing new physics. It imports the RS time quantum where tau_0 equals one tick and relies on the mass formula yardstick times phi to the power of (rung minus 8 plus gap(Z)).
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the P0-Q bridge rows that feed the QuarkScoreCard and the overall Recognition Science mass derivations. It specifically fills the structural charm/up ratio as a real-power phi law, supporting the eight-tick octave and three spatial dimensions. It touches open questions in absolute quark mass predictions on the phi-ladder.
scope and limits
- Does not derive the ratios from the T0-T8 forcing chain.
- Does not compute explicit numerical exponents or GeV values.
- Does not extend to lepton masses or close absolute mass hypotheses.
- Does not resolve the Berry creation threshold or dream fraction.
depends on (2)
declarations in this module (16)
-
theorem
row_structural_charm_up_ratio_rpow -
theorem
row_structural_top_charm_ratio_rpow -
theorem
row_anchor_charm_up_ratio_exp -
theorem
row_anchor_top_charm_ratio_exp -
theorem
row_anchor_charm_up_ratio_rpow -
theorem
row_anchor_top_charm_ratio_rpow -
theorem
row_anchor_strange_down_ratio_exp -
theorem
row_anchor_bottom_strange_ratio_exp -
theorem
row_anchor_strange_down_ratio_rpow -
theorem
row_anchor_bottom_strange_ratio_rpow -
theorem
row_charm_up_structural_anchor_agree -
theorem
row_top_charm_structural_anchor_agree -
def
row_absolute_quark_bridge_residual -
theorem
row_absolute_quark_bridge_residual_is_named -
structure
QuarkAbsoluteBridgeScoreCardCert -
theorem
quarkAbsoluteBridgeScoreCardCert_holds