ga_capture_predicted
plain-language theorem explainer
ga_capture_predicted supplies the Standard Model baseline gallium neutrino capture rate of 74 solar neutrino units drawn from the BP04 model. RS theorists cite this constant when forming the capture ratio and bounding the observed deficit in gallium data. The definition is a direct numerical assignment that anchors all subsequent ratio and correction calculations in the module.
Claim. The Standard Model predicted capture rate for solar neutrinos on gallium is $74$ solar neutrino units.
background
The Gallium Anomaly module contrasts the Standard Model prediction against measured gallium capture rates to quantify a roughly 22 percent deficit. The local setting treats this deficit as a nuclear structure effect arising from the phi-ladder of the gallium nucleus rather than new particles. Upstream geometry results define the deficit at a hinge as twice pi minus the sum of the dihedral angles, supplying the shortfall language later applied to nuclear scales.
proof idea
This is a direct definition that assigns the constant 74.0 with no lemma applications or reductions.
why it matters
The constant serves as the denominator in ga_capture_ratio and is unfolded in downstream theorems including deficit_real, correction_factor, correction_within_bounds, and gallium_anomaly_explained. These results establish that the anomaly lies within phi-suppression bounds and requires no sterile neutrinos, completing the EA-003 derivation. The placement ties the experimental claim to the Recognition Science phi-ladder and the self-similar fixed point.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.