fermiConstant
plain-language theorem explainer
The definition supplies the numerical value of the Fermi constant G_F in GeV inverse squared units for weak interaction calculations. Modelers comparing Recognition Science derivations of the weak force to beta decay data cite this constant. It is introduced as a direct numerical assignment with no reduction or lemmas.
Claim. The Fermi constant is $G_F = 1.1663787 × 10^{-5} GeV^{-2}$.
background
The Weak Force Emergence module derives the weak interaction from ledger geometry that produces SU(2)_L symmetry, chiral couplings to left-handed fermions, and massive gauge bosons via J-cost minimization at phi. The module lists the Fermi constant among its predictions as the effective strength of the four-fermion interaction. The upstream scalar constant definition supplies a constant field value but is not used in the numerical assignment here.
proof idea
The declaration is a direct numerical definition. No lemmas are applied and no tactics are invoked.
why it matters
This definition supplies the comparison target for the downstream theorem gf_matches, which checks that the Recognition Science expression G_F = sqrt(2)/(2 v^2) with v = 246.22 GeV reproduces the experimental value within 10 percent. It anchors the P-019 derivation to measured weak coupling strength and connects the phi-ladder mass scales to the observed range of the weak force.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.