dama_significance_high
plain-language theorem explainer
The declaration proves the DAMA modulation significance exceeds ten sigma. Experimental physicists evaluating direct detection results would cite this when weighing the DAMA/LIBRA annual modulation against null outcomes from xenon detectors. The proof is a one-line term that unfolds the constant definition of dama_significance and applies numerical normalization to confirm the inequality.
Claim. The DAMA/LIBRA annual modulation significance satisfies $12 > 10$.
background
In the Recognition Science treatment of DAMA/LIBRA, dark matter is the substrate ledger carrier rather than particles. The upstream WIMP structure defines a hypothetical particle with mass in GeV and weak-scale cross section whose thermal relic abundance has not been observed. The sibling definition dama_significance is the noncomputable constant 12.0 that encodes the reported detection strength over twenty years. The module sets this theorem inside the EA-005 analysis that contrasts the modulation with null results from more sensitive experiments and interprets the tension as support for the substrate model.
proof idea
The term proof unfolds the definition of dama_significance to its literal value 12.0 and applies norm_num to discharge the numerical comparison.
why it matters
This theorem supplies the first quantitative claim inside the EA-005 certificate, which concludes that the observed modulation is consistent with a systematic rather than WIMP dark matter. It directly feeds the ea005_certificate string that lists the ~12σ detection alongside the tenfold sensitivity advantage of xenon experiments. The result therefore anchors the RS prediction that direct detection should remain null for particle dark matter and reinforces the substrate interpretation over conventional WIMP searches.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.