dama_stands_alone
plain-language theorem explainer
DAMA/LIBRA reports an annual modulation at roughly 12 sigma with no corroboration from other direct-detection experiments. Physicists reconciling DAMA's positive claim against null results from XENON, LUX, and PandaX would cite the result when testing the Recognition Science substrate model of dark matter. The proof is a one-line triviality that encodes the prediction of no WIMP signal.
Claim. DAMA/LIBRA annual modulation stands alone among positive claims; no other experiment confirms the modulation signal.
background
Recognition Science treats dark matter as the substrate (ledger carrier) rather than as particles. Upstream, WIMP is defined as a structure with mass in 10-1000 GeV, weak-scale cross section, and thermal relic abundance; the inflaton potential is given by V(phi_inf) = Jcost(1 + phi_inf). The module sets the local context as the full RS analysis of DAMA/LIBRA, where the observed modulation amplitude is approximately 0.02 cpd/kg/keV at 12 sigma with phase near 140 days, contrasted with null results at greater than 10 times the sensitivity.
proof idea
The proof is a one-line term that applies the trivial tactic to establish the proposition as true.
why it matters
The declaration completes the RS verdict section asserting no WIMP signal is expected because dark matter is substrate, not particles. It supports the substrate model (DS-001) and the prediction that all direct-detection experiments should return null. It touches the open question of whether the DAMA modulation arises from temperature, radon, or detector systematics rather than dark matter.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.