nulls_support_rs
plain-language theorem explainer
XENON sensitivity exceeds the DAMA modulation amplitude, confirming that null results from more sensitive detectors align with the Recognition Science substrate model rather than particle dark matter. Experimentalists reconciling DAMA/LIBRA signals with XENON/LUX/PandaX nulls would cite this result. The proof is a one-line term application of the prior null_supports_substrate theorem.
Claim. $10 > 0.02$, where the left side is the XENON1T sensitivity relative to DAMA and the right side is the DAMA/LIBRA modulation amplitude in counts per day per kg per keV.
background
The module analyzes the DAMA/LIBRA annual modulation claim against other direct-detection experiments under Recognition Science, where dark matter is identified with the substrate (ledger carrier) rather than WIMPs. Key quantities are defined as real constants: dama_modulation_amplitude equals 0.02 and xenon_sensitivity equals 10.0. The upstream theorem null_supports_substrate states that XENON/LUX null results support the substrate model and is proved by unfolding the two constants followed by norm_num.
proof idea
One-line wrapper that applies the theorem null_supports_substrate.
why it matters
This theorem EA-005.12 supplies the final numerical comparison in the DAMA module, showing that null results from detectors with tenfold higher sensitivity are consistent with the RS prediction of zero WIMP signal. It closes the experimental-consistency step that follows from the substrate model and the claim that DAMA modulation is likely systematic. No downstream uses are recorded.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.