nulls_support_rs
plain-language theorem explainer
XENON1T sensitivity exceeds the DAMA modulation amplitude, confirming that null results from xenon-based detectors align with Recognition Science treating dark matter as substrate ledger dynamics rather than WIMPs. Direct detection experimentalists cite this to interpret the DAMA-LIBRA tension as evidence for NaI(Tl) systematics. The proof is a one-line term-mode reference to the prior null_supports_substrate theorem.
Claim. The XENON1T relative sensitivity (value 10) exceeds the DAMA/LIBRA modulation amplitude (value 0.02 cpd/kg/keV).
background
The DAMAModulation module analyzes the DAMA/LIBRA annual modulation signal against null results from XENON, LUX, and PandaX. In Recognition Science, dark matter is the substrate (ledger carrier) rather than particles, so direct detection experiments are predicted to see no WIMP recoil. dama_modulation_amplitude is the noncomputable real constant 0.02 representing the observed DAMA variation. xenon_sensitivity is the noncomputable real constant 10.0 representing XENON1T's relative threshold advantage.
proof idea
The proof is a one-line term-mode wrapper that directly references the null_supports_substrate theorem.
why it matters
This theorem (EA-005.12) labels the support that XENON/LUX null results provide for the RS substrate model. It sits alongside null_supports_substrate and substrate_predicts_null in the module's key theorems, reinforcing that DAMA modulation is likely systematic while all WIMP searches remain null. The result is consistent with the framework's T0-T8 forcing chain and the prediction of no particle dark matter signal.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.