a_mu_rs_prediction
plain-language theorem explainer
The RS prediction for the muon anomalous magnetic moment is the sum of the SM reference value and the phi-ladder counter-term. Physicists examining the g-2 discrepancy would cite this quantity when comparing recognition science resolutions against experimental data. The definition is a direct addition of two real constants, one from the Schwinger term plus hadronic seed and the other from alpha_em scaled by phi to the negative muon rung times the gap factor.
Claim. $a_μ^{RS} = a_μ^{SM} + Δa_μ^{RS}$, where $a_μ^{SM}$ is the Schwinger term plus hadronic seed 0.000711317 and $Δa_μ^{RS}$ equals (α_em / π) ⋅ φ^{-μuon rung} ⋅ gap_1332_factor.
background
The module treats the muon g-2 anomaly as a 4.2σ discrepancy resolved by phi-ladder calibration in recognition science. The SM reference combines the leading Schwinger term with a fixed hadronic seed. The RS counter-term is defined as (α_em / π) ⋅ φ^{-muon_rung} ⋅ gap_1332_factor, with positivity ensured by the gap factor on the phi-ladder.
proof idea
The definition is a one-line wrapper that adds sm_reference to rs_counter_term.
why it matters
This supplies the central quantity for the downstream theorems rs_exceeds_sm and anomaly_dissolved, which show the RS value exceeds the SM baseline and dissolves the anomaly. It fills the EA-001.5 slot in the module's phi-ladder resolution of the g-2 problem, linking to the eight-tick octave and T6 fixed-point structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.