dama_significance
plain-language theorem explainer
The declaration supplies the constant value 12.0 as the reported DAMA/LIBRA annual modulation significance in standard deviations. Experimental physicists comparing NaI(Tl) results to xenon-based null detections would cite this number when quantifying the statistical tension under a pure-signal hypothesis. It enters as a direct real-number assignment with no further reduction.
Claim. The DAMA/LIBRA modulation significance is defined to be $12.0$ standard deviations.
background
Recognition Science treats dark matter as a ledger-carrying substrate rather than WIMPs, so direct-detection experiments are expected to return null results. The module records the experimental tension: DAMA reports an annual modulation of amplitude ~0.02 cpd/kg/keV with phase ~140 days at ~12σ over two decades, while XENON1T, LUX and PandaX report nothing at more than ten times the sensitivity. The upstream sensitivity definition supplies the frequency-dependent strain threshold $h_min(f) = h_0 · carrier / f$ used elsewhere in the same experimental block.
proof idea
The definition is a direct real-number assignment of 12.0; no lemmas or tactics are applied.
why it matters
The constant is unfolded inside the downstream theorem dama_significance_high to establish the inequality >10, thereby anchoring the EA-005 claim that the modulation would be statistically significant if interpreted as a WIMP signal. It supports the module's larger argument that null results from more sensitive detectors favor the substrate model over particle dark matter, consistent with the Recognition Science prediction of zero WIMP events. The value therefore closes one experimental interface in the chain from substrate axioms to observable consequences.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.