protonToQCDRatio
plain-language theorem explainer
The definition computes the numerical ratio of the proton mass 938 MeV to the QCD scale set at 200 MeV. Researchers connecting hadron masses to the strong-interaction scale in Recognition Science would cite this ratio when bridging empirical data to φ-ladder scaling. It is realized as a direct real-number division with no additional lemmas or reductions.
Claim. Define the ratio $r = 938 / 200$ where the numerator is the proton mass in MeV and the denominator is the QCD scale in MeV.
background
The QFT module derives running couplings from φ-ladder scaling: each rung corresponds to an energy scale at which J-cost optimization changes. Upstream, lambda_QCD is introduced as the constant 200 MeV representing the characteristic strong-interaction energy. The module documentation states that running couplings equal the scale dependence of J-cost under this φ-rung assignment.
proof idea
One-line definition that divides the fixed proton mass 938 by the upstream constant lambda_QCD.
why it matters
This supplies the concrete ratio inserted into the downstream theorem proton_qcd_ratio, which proves the interval 4 < ratio < 6, and into the structure RunningCouplingsProofs that aggregates all verified claims for the module. It directly supports the RS target of obtaining running couplings from φ-ladder J-cost variation and the eight-tick octave structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.