IndisputableMonolith.Masses.QuarkVerification
QuarkVerification defines experimental quark mass values and up/down sector parameters in RS-native units for the Masses domain. Researchers comparing phi-ladder predictions to PDG data cite these constants. The module holds only definitions and positive assertions with no theorems.
claimExperimental masses $m_u^{exp}$, $m_d^{exp}$, $m_s^{exp}$, $m_c^{exp}$, $m_b^{exp}$, $m_t^{exp}$ and sector parameters $r_{up}$, $r_{down}$ with positivity assertions.
background
The module resides in the Masses domain and imports the RS time quantum τ₀ = 1 tick from Constants. Anchor supplies the canonical mass constants derived from first principles via its derivation chain. Verification frames the PDG comparison while quarantining experimental inputs as imported constants outside the certified RS surface.
proof idea
This is a definition module, no proofs. It aggregates value definitions for the six quark masses and the two sector parameter sets together with positivity statements.
why it matters in Recognition Science
QuarkVerification supplies the experimental anchors required for quark-sector verification in the mass manuscripts. It feeds the broader mass-prediction pipeline that applies the phi-ladder formula and the eight-tick octave structure.
scope and limits
- Does not derive any quark mass from the RS functional equation or J-cost.
- Does not assert numerical agreement between predictions and data.
- Does not contain theorems, proofs, or hidden hypotheses.
depends on (3)
declarations in this module (17)
-
def
m_u_exp -
def
m_d_exp -
def
m_s_exp -
def
m_c_exp -
def
m_b_exp -
def
m_t_exp -
theorem
r_up_values -
theorem
r_down_values -
theorem
upquark_sector_params -
theorem
downquark_sector_params -
theorem
quark_mass_positive -
theorem
up_generation_spacing -
theorem
down_generation_spacing -
theorem
up_charm_to_up_ratio -
theorem
top_to_up_ratio -
structure
QuarkVerificationCert -
theorem
quark_verification_cert_exists