IndisputableMonolith.Masses.QuarkAbsoluteBridgeScoreCard
The QuarkAbsoluteBridgeScoreCard module supplies the P0-Q bridge rows that cast the structural charm/up ratio as a real-power φ law. Researchers checking Recognition Science mass predictions against the base quark scorecard would cite these rows. The module consists of row definitions that extend the imported QuarkScoreCard without new derivations.
claimThe structural charm/up ratio satisfies $m_c / m_u = φ^r$ for real exponent $r$ on the phi-ladder.
background
The module resides in the Masses domain and imports τ₀ = 1 tick from Constants together with the QuarkScoreCard. That scorecard consolidates Phase 0 rows P0-Q01..P0-Q06 and states that it 'does not introduce new physics. It only consolidates existing proofs and tags the residuals honestly.' The bridge rows extend this by specifying structural ratios via real powers of φ.
proof idea
This is a definition module, no proofs. It organizes a collection of row definitions for the absolute bridge ratios.
why it matters in Recognition Science
The rows support absolute mass calculations in the Recognition Science mass ladder and fill the P0-Q bridge row step of the physical derivation plan. No downstream theorems are recorded.
scope and limits
- Does not introduce new physics beyond the base scorecard.
- Does not prove the real-power φ expressions; only records them.
- Does not cover all quark flavors or generations.
- Does not address time-quantum derivations beyond the imported definition.
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