ssm_plus_rs_equals_obs
plain-language theorem explainer
Recognition Science predicts a gallium neutrino capture rate between 55 and 65 SNU after phi-ladder correction to the standard solar model. Neutrino experimentalists would cite this to confirm the nuclear-structure account of the observed 55-58 SNU deficit without sterile neutrinos. The proof is a term reduction that unfolds sigma_rs and ga_capture_predicted then normalizes the arithmetic bounds.
Claim. The Recognition Science corrected gallium neutrino capture rate satisfies $55 < sigma_{RS} < 65$ in solar neutrino units.
background
The Gallium Anomaly module treats the ~20% deficit between standard solar model predictions and Ga experiment measurements as a nuclear phi-ladder effect. Nuclear densities sit on discrete phi-tiers (NucleosynthesisTiers.of), with the gallium rung near 4.5 producing a suppression factor of order phi^(-4.5) modified by gap resonances to ~0.8. ga_capture_predicted is fixed at 74.0 SNU from the BP04 model; sigma_rs applies the RS correction to that value.
proof idea
The proof is a one-line term wrapper. It unfolds the definitions of sigma_rs and ga_capture_predicted, then applies norm_num to discharge the numerical inequality.
why it matters
This theorem supplies the numerical content of EA-003.9 and is invoked verbatim by rs_solar_model_independent and the EA-003 certificate. It closes the experimental check that the phi-ladder correction (T5 J-uniqueness, T6 phi fixed point) accounts for the deficit inside the observed band. The result supports the framework claim that the anomaly is a nuclear-structure effect rather than new physics; the module falsifier remains an independent L/E oscillation signature.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.