sm_reference
sm_reference defines the Standard Model baseline for the muon anomalous magnetic moment as the Schwinger term plus a fixed hadronic seed of 0.000711317. Researchers comparing Recognition Science predictions to the observed g-2 discrepancy would cite this value as the reference point. The definition is a direct numerical addition with no further reduction.
claimThe Standard Model reference value for the muon anomalous magnetic moment is $a_μ^{SM} = α/(2π) + 0.000711317$, where the first term is the leading Schwinger contribution from quantum electrodynamics.
background
The module addresses the muon g-2 anomaly (EA-001) by calibrating the Recognition Science prediction against the Standard Model through φ-ladder adjustments. The Schwinger term is the one-loop QED correction α/(2π), supplied by the upstream definition in the same module and equivalently by the AnomalousMagneticMoment module as 1/(rs_alpha_inverse ⋅ 2π). The local setting treats this baseline as the starting point before adding the RS counter-term derived from the forcing chain.
proof idea
One-line definition that adds the schwinger_term to the constant seed 0.000711317.
why it matters in Recognition Science
This baseline is the direct input to a_mu_rs_prediction = sm_reference + rs_counter_term and to the theorem rs_exceeds_sm that establishes the RS value exceeds the SM reference. It fills the EA-001 step that resolves the anomaly via φ-ladder calibration, consistent with the eight-tick octave and D = 3 in the T0-T8 chain. No open scaffolding questions are attached.
scope and limits
- Does not derive the hadronic seed value from the φ-ladder or forcing axioms.
- Does not include higher-order QED or electroweak corrections beyond the Schwinger term.
- Does not propagate experimental measurement uncertainties into the reference.
Lean usage
noncomputable def a_mu_rs_prediction : ℝ := sm_reference + rs_counter_termformal statement (Lean)
74noncomputable def sm_reference : ℝ := schwinger_term + 0.000711317
proof body
Definition body.
75
76/-- The RS prediction for muon g-2. -/