ga_capture_ratio
plain-language theorem explainer
The gallium neutrino capture ratio is defined as the quotient of the measured SAGE rate 57.7 SNU over the standard-model prediction 74 SNU. Solar neutrino experimentalists cite this ratio when quantifying the observed deficit. The definition is a direct division of two supplied real constants.
Claim. The gallium capture ratio $r$ is defined by $r := 57.7 / 74.0$, yielding $r ≈ 0.78$.
background
The module addresses the gallium anomaly: solar neutrino capture in Ga experiments shows a measured rate of 57.7 SNU against a standard-model prediction of 74 SNU. The Recognition Science resolution attributes the deficit to nuclear φ-ladder structure in the gallium nucleus, with rung approximately 4.5 producing a suppression near 0.8. The measured rate is the SAGE experimental value; the predicted rate is the BP04 solar model output. Upstream results supply these two constants directly as real numbers.
proof idea
One-line definition that divides the measured capture rate by the predicted capture rate.
why it matters
This ratio supplies the central numerical input to the EA-003 theorems. It feeds deficit_real (ratio < 0.85) and deficit_bounded (ratio > 0.70), which together establish that the anomaly is real yet bounded. The downstream result gallium_anomaly_explained then shows the ratio lies within 0.10 of 0.80, confirming the RS nuclear correction accounts for the data without sterile neutrinos. The construction sits inside the experimental domain of the Recognition framework and uses the φ-ladder suppression derived from the forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.