dama_systematic
plain-language theorem explainer
DAMA/LIBRA annual modulation is classified as a systematic detector effect rather than a dark matter signal. Recognition Science analysts comparing DAMA results to null outcomes from XENON and LUX would cite this flag when applying the substrate model. The declaration is a direct one-line definition that sets the boolean flag to true and enables a reflexivity proof downstream.
Claim. The annual modulation signal reported by DAMA/LIBRA is a systematic effect in the NaI(Tl) detector, not a dark matter particle signature.
background
In Recognition Science, dark matter is the substrate (ledger carrier) rather than WIMPs. The module EA-005 sets out the tension between DAMA/LIBRA's reported ~12σ annual modulation (amplitude ~0.02 cpd/kg/keV, phase ~140 days) and the null results from XENON, LUX, and PandaX at higher sensitivity. The analysis concludes that direct detection should yield no WIMP signal and that the DAMA modulation arises from environmental factors such as temperature or radon.
proof idea
One-line definition that directly assigns true to the flag. No lemmas or tactics are invoked; the body is the constant true.
why it matters
The definition supplies the boolean premise for the theorem dama_not_dark_matter_in_rs, which states that DAMA modulation is not dark matter in RS. It implements the key claim of EA-005 that the signal is systematic, consistent with the substrate model and the prediction of null results in all direct-detection experiments. The declaration touches the open experimental question of isolating the precise cause (temperature coefficient or radon).
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.