IndisputableMonolith.Masses.QuarkVerification
QuarkVerification assembles the experimental mass values for the six quarks along with up and down sector parameters for use in Recognition Science mass comparisons. Researchers auditing RS phi-ladder predictions against PDG data cite these constants when checking the quark sector. The module is entirely definitional, importing from Anchor and Verification with no theorems or proofs present.
claimThe module defines the experimental quark masses $m_u^exp$, $m_d^exp$, $m_s^exp$, $m_c^exp$, $m_b^exp$, $m_t^exp$ and the sector parameters $r_{up}$, $r_{down}$ together with positivity and spacing statements for the quark mass ladder.
background
The module sits in the Masses domain and imports the RS time quantum τ₀ = 1 tick from Constants. Anchor supplies the canonical, parameter-free mass constants derived from first principles via the phi-ladder and the mass formula yardstick · ϕ^(rung − 8 + gap(Z)). Verification provides the comparison framework while explicitly quarantining experimental values as imported constants rather than RS derivations.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the quark-specific experimental anchors required for the mass verification pipeline. It feeds the broader Recognition Science mass predictions by providing the up and down generation spacing and positivity statements that allow direct comparison of RS-derived values against PDG data in the quark sector.
scope and limits
- Does not derive quark masses from the RS functional equation or J-cost.
- Does not perform numerical PDG comparisons or claim agreement.
- Does not cover lepton or boson mass sectors.
- Does not include the full eight-tick octave or D = 3 derivations.
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