def
definition
ea003_certificate
show as:
view math explainer →
open explainer
Read the cached plain-language explainer.
open lean source
IndisputableMonolith.Experimental.GalliumAnomaly on GitHub at line 168.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
formal source
165 nuclear φ-ladder structure. The ~20% deficit is explained by the
166 suppression factor φ^(-4.5) ≈ 0.03, modified by gap resonances
167 to give ~0.80 overall correction to the cross-section. -/
168def ea003_certificate : String :=
169 "═══════════════════════════════════════════════════════════\n" ++
170 " EA-003: GALLIUM ANOMALY — STATUS: DERIVED\n" ++
171 "═══════════════════════════════════════════════════════════\n" ++
172 "✓ deficit_real: Capture ratio < 0.85 (~20%)\n" ++
173 "✓ deficit_bounded: Ratio > 0.70 (not catastrophic)\n" ++
174 "✓ phi_suppression_bounded: φ^(-4.5) ∈ (0, 1)\n" ++
175 "✓ rs_matches_measurement: |σ_RS - 55| < 20 SNU\n" ++
176 "✓ correction_factor: ~0.80 (20% reduction)\n" ++
177 "✓ correction_within_bounds: Factor > 0.75\n" ++
178 "✓ gallium_anomaly_explained: |ratio - 0.80| < 0.10\n" ++
179 "✓ no_sterile_needed: 3 generations suffice\n" ++
180 "✓ ssm_plus_rs_equals_obs: Standard + φ = observed\n" ++
181 "CONCLUSION: Gallium anomaly dissolved.\n" ++
182 " Nuclear φ-ladder explains ~20% deficit.\n"
183
184#eval ea003_certificate
185
186end GalliumAnomaly
187end Experimental
188end IndisputableMonolith