dama_not_dark_matter_in_rs
plain-language theorem explainer
The declaration states that the DAMA/LIBRA annual modulation arises from detector systematics rather than dark matter scattering in the Recognition Science substrate model. Direct detection experimentalists would cite it to reconcile the ~12σ DAMA signal with null results from XENON, LUX, and PandaX. The proof is a one-line reflexivity that follows immediately from the definition of the systematic flag as true.
Claim. In the Recognition Science substrate model, the DAMA/LIBRA annual modulation signal is produced by detector systematics (temperature, radon, efficiency) rather than WIMP scattering, so the systematic indicator evaluates to true.
background
Recognition Science treats dark matter as the ledger substrate (DS-001) rather than particles, so direct detection experiments are predicted to return null WIMP signals. The module DAMAModulation assembles the experimental tension: DAMA reports ~0.02 cpd/kg/keV modulation at ~12σ with phase ~140 days, while XENON/LUX/PandaX report nulls at >10× sensitivity and COSINE-100 (NaI) confirms inconsistency. The sibling definition dama_systematic is set to true with candidates temperature coefficient, annual temperature variation, and detector efficiency modulation.
proof idea
The proof is a one-line wrapper that applies reflexivity to the definition of dama_systematic as true.
why it matters
This theorem supplies the final verdict step inside the EA-005 certificate, which lists the six key results and concludes that null results from other experiments confirm the RS substrate model. It closes the experimental loop begun by dama_significance_high and substrate_predicts_null, showing that the observed modulation is environmental rather than a dark matter signature. The result touches the open question of whether any NaI-specific systematic can be isolated at the 12σ level.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.