row_charm_up_ratio
plain-language theorem explainer
The theorem establishes that the structural mass ratio of the charm quark to the up quark equals phi to the eleventh power exactly. Researchers verifying quark generation spacing on the phi-ladder within the Recognition Science framework would cite this when assembling scorecard certificates. The proof is a direct one-line wrapper that invokes the charm_up_ratio result from the Verification module.
Claim. The ratio of the charm-quark structural mass prediction to the up-quark structural mass prediction equals $phi^{11}$.
background
In the Quark Score Card module, structural mass predictions for quarks are defined using powers of phi divided by a normalization factor of 2,000,000. The up-quark prediction uses phi to the 34 for rung 4 with zero gap correction, while the charm-quark uses phi to the 45 for rung 15. This theorem records the exact ratio arising from their 11-rung difference on the phi-ladder.
proof idea
The proof is a one-line wrapper that invokes the charm_up_ratio theorem from the Verification module.
why it matters
This result populates the QuarkScoreCardCert in the same module and supplies the structural ratio for the absolute bridge scorecard. It fills the P0-Q structural row for charm/up as phi^11, consistent with the phi-ladder generation spacing. The open question it touches is the absolute mass matching within PDG bands, which requires the gap correction from the RSBridge.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.