radon_variation
plain-language theorem explainer
Radon background exhibits annual variation as observed in underground laboratories. Researchers interpreting DAMA/LIBRA modulation data cite this result to attribute the signal to environmental systematics rather than dark matter. The proof reduces to a one-line trivial acceptance of the proposition.
Claim. Radon background exhibits annual variation: underground laboratories observe seasonal radon fluctuations.
background
Recognition Science treats dark matter as substrate ledger carrier rather than particles, predicting null WIMP signals in direct detection while allowing environmental effects to produce annual modulation in NaI(Tl) detectors. The module analyzes the DAMA/LIBRA ~12σ signal against null results from XENON, LUX, and PandaX, identifying radon fluctuations as one systematic candidate alongside temperature and detector effects.
proof idea
The proof is a one-line wrapper that applies the trivial tactic to affirm the statement.
why it matters
This result occupies the EA-005.6 position in the DAMA analysis chain and supports the downstream claim that modulation is likely systematic. It reinforces the substrate model prediction of zero WIMP signal and the framework expectation that environmental factors generate annual variations.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.