hierarchyRatio
plain-language theorem explainer
The definition sets the hierarchy ratio to the quotient of the Higgs mass (125 GeV) and Planck mass (1.22e19 GeV). QFT researchers examining the gauge hierarchy problem would cite this quantity when testing discrete-spacetime regularizations. It is introduced by direct division of the two mass constants.
Claim. The hierarchy ratio is the rational number $r = m_H / M_{Pl}$ where $m_H = 125$ GeV is the Higgs mass and $M_{Pl} = 1.22times 10^{19}$ GeV is the Planck mass.
background
The module derives a natural UV cutoff for QFT from Recognition Science discreteness at the fundamental scale, with momenta bounded by $p_max = hbar / tau_0$. The hierarchy ratio quantifies the separation between the electroweak and Planck scales inside this cutoff framework. Upstream constants supply the numerical inputs: higgsMassGeV fixes the Higgs mass at 125 GeV while planckMassGeV fixes the Planck mass at 1.22e19 GeV.
proof idea
One-line definition that divides the Higgs-mass constant by the Planck-mass constant.
why it matters
The definition supplies the input quantity for the downstream theorem hierarchy_very_small, which establishes that the ratio lies below 10^{-16}. It therefore anchors the claim that the discrete UV cutoff resolves the hierarchy problem without additional tuning. The construction sits inside the QFT-013 program that regularizes divergences via the eight-tick octave and the phi-ladder mass formula.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.