row_top_in_band_scorecard
plain-language theorem explainer
The Recognition Science top-quark scorecard confirms that the structural mass prediction lies strictly between 10 GeV and 1 TeV. Model builders working on the phi-ladder mass formulas cite this when validating order-of-magnitude consistency for the top quark. The proof is a direct one-line wrapper that invokes the upstream verification theorem on the same interval.
Claim. $10000 < m_t^{pred} < 1000000$ (in MeV), where $m_t^{pred} = phi^{51}/2000000$ is the structural mass prediction for the top quark.
background
The module develops Phase 2 P2-t for the top quark structural mass on the phi-ladder. The prediction is defined as phi raised to the 51st power divided by 2,000,000 MeV, providing an order-of-magnitude estimate anchored to the PDG value of roughly 172690 MeV but without claiming tight agreement. Upstream, the verification result proves the identical interval using the order predicate on the top quark prediction, which is positive by construction. This scorecard entry confirms the wide band (10^4 to 10^6 MeV) as part of the partial theorem status for quark masses.
proof idea
The proof is a one-line wrapper that applies the theorem establishing the top quark prediction order from the QuarkScoreCard module.
why it matters
This result populates the order-of-magnitude row in the top quark scorecard, supporting the certification of the mass predictions in the Recognition Science framework. It corresponds to the P2-t phase for structural masses using the phi-ladder, where the top quark occupies a high rung. The module notes that while the interval holds, sub-percent precision matching to experiment remains open.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.