ga_capture_measured
plain-language theorem explainer
The declaration records the SAGE experimental gallium neutrino capture rate of 57.7 SNU as a fixed input constant. Solar neutrino physicists and Recognition Science modelers cite it when quantifying the observed deficit relative to the 74 SNU Standard Model prediction. The definition is a direct numeric assignment with no computation or lemmas.
Claim. The measured gallium neutrino capture rate equals $57.7$ solar neutrino units (SNU).
background
The Gallium Anomaly module addresses the ~20% deficit in solar neutrino capture rates for gallium targets. Recognition Science resolves the discrepancy via nuclear φ-ladder structure that modifies the capture cross-section, with rung r_Ga ≈ 4.5 producing a suppression factor near 0.8. The module doc-comment states: 'RS Resolution: Nuclear φ-ladder structure modifies cross-section.'
proof idea
The definition is a direct numeric assignment of the constant 57.7 drawn from the SAGE measurement. No lemmas or tactics are applied; it functions as a hardcoded experimental input for ratio calculations in sibling declarations.
why it matters
This definition supplies the experimental anchor for the EA-003 theorem chain. It feeds ga_capture_ratio, deficit_real (establishes the deficit is real), deficit_bounded (limits the deficit to ~30%), rs_matches_measurement (confirms RS cross-section agreement), and gallium_anomaly_explained (concludes the anomaly is resolved without sterile neutrinos). It connects to the φ-ladder mass formula and T5 J-uniqueness from the forcing chain. The module falsifier is independent confirmation of sterile neutrino L/E oscillation patterns.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.