dama_modulation_amplitude
plain-language theorem explainer
The declaration supplies the numerical value of the DAMA/LIBRA annual modulation amplitude in counts per day per kilogram per keV. Experimental physicists comparing direct detection results would cite this constant to quantify the tension between DAMA and xenon-based null searches. The definition is a direct assignment of the observed value 0.02.
Claim. The DAMA/LIBRA modulation amplitude is $0.02$ counts per day per kilogram per keV.
background
In the Recognition Science analysis of dark matter, the substrate model treats dark matter as the ledger carrier rather than weakly interacting massive particles. This leads to the prediction that direct detection experiments should observe no WIMP signals, consistent with null results from XENON, LUX, and PandaX. The DAMA/LIBRA experiment reports an annual modulation with amplitude 0.02 cpd/kg/keV at phase consistent with Earth's orbit. The module uses this value to contrast with higher-sensitivity null searches. The upstream definition of significance highlights the phi^34 connection, where 34 is the ninth Fibonacci number linking Planck scale to larger structures via the eight-tick octave.
proof idea
This is a direct definition assigning the constant value 0.02 to the real number representing the DAMA modulation amplitude.
why it matters
The value feeds directly into the theorems null_supports_substrate and nulls_support_rs, which establish that xenon sensitivity exceeds the DAMA amplitude and thereby supports the RS substrate model. It supplies the experimental datum for proposition EA-005.4 and EA-005.12 in the module, confirming consistency with the prediction of no particle dark matter signals. This anchors the experimental comparison within the Recognition framework's dark matter analysis.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.