sm_reference
plain-language theorem explainer
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.
Claim. The 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
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.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.