hbar_c_GeV_fm
plain-language theorem explainer
This definition supplies the numerical value of ħc in GeV·fm units for use in weak interaction calculations. Physicists working on electroweak phenomenology would cite it when converting between energy and length scales in the weak sector. The definition is a direct assignment of the standard conversion constant 0.197327. It feeds the range formula that confirms the short-range character of the weak force.
Claim. The conversion constant satisfies $ħc = 0.197327$ GeV fm.
background
The Weak Force Emergence module derives the weak interaction from ledger geometry in Recognition Science. SU(2)_L arises from the three generators of 3D rotations, while chirality follows from the orientation of the eight-tick cycle. Massive gauge bosons appear via the J-cost minimum at φ. The constant enters the range expression range ≈ ħc / m_W c², which is evaluated in the sibling definition weakRange_fm using the W-boson mass supplied by the ElectroweakBosons import.
proof idea
Direct definition that assigns the numerical value 0.197327 to the constant in the stated units.
why it matters
It supplies the conversion factor required by weakRange_fm and the verification theorem weak_range_short, which shows the range is less than 0.01 fm. This realizes the short-range prediction listed in the module: range ≈ 2 × 10^{-3} fm arising from the massive mediators whose masses trace to the J-cost minimum at φ. The placement connects to the forcing chain steps that fix D = 3 and the eight-tick octave.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.