module module moderate

`IndisputableMonolith.Experimental.DAMAModulation`

This module assembles definitions for the DAMA/LIBRA annual modulation signal inside the Recognition Science framework. It supplies the reported amplitude of roughly 0.02 cpd/kg/keV together with significance metrics, Xenon comparisons, and substrate-model predictions for null results. The structure consists entirely of named constants and simple relations drawn from the imported Constants module; no theorems are proved.

claimThe DAMA/LIBRA modulation amplitude satisfies $A = 0.02$ cpd/kg/keV, with associated significance $S$ and substrate predictions that yield null signals in xenon-based detectors.

background

The module sits in the experimental domain and imports the RS-native time quantum τ₀ = 1 tick from IndisputableMonolith.Constants. It introduces sibling definitions for dama_modulation_amplitude, dama_significance, xenon_sensitivity, substrate_model, temperature_coefficient, and related quantities. These objects encode the observed annual modulation reported by DAMA/LIBRA and contrast it with null expectations from other detectors under a substrate-based interpretation.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies concrete experimental anchors that later stages of the Recognition Science chain can compare against the phi-ladder mass formula and the eight-tick octave. It does not yet feed any parent theorem (used_by count is zero) but provides the numerical targets required for falsification tests of the substrate_model and temperature_can_explain claims.

scope and limits

Does not derive the 0.02 cpd/kg/keV value from the J-cost or RCL.
Does not simulate full detector response or background spectra.
Does not prove consistency with the phi-ladder mass formula.
Does not address seasonal temperature systematics beyond the listed coefficients.

depends on (1)

Lean names referenced from this declaration's body.

IndisputableMonolith.Constants module_import

declarations in this module (21)

def dama_modulation_amplitude L55
def dama_significance L59
def xenon_sensitivity L63
theorem dama_significance_high L67
theorem xenon_more_sensitive L73
def substrate_model L81
theorem substrate_predicts_null L85
theorem null_supports_substrate L89
def dama_systematic L97
def temperature_coefficient L101
def annual_temp_variation L105
theorem temperature_can_explain L109
theorem radon_variation L116
theorem dama_likely_systematic L120
theorem cosine_confirms_tension L128
theorem multiple_nulls_disfavor_wimp L132
theorem dama_stands_alone L136
theorem no_wimp_expected L142
theorem nulls_support_rs L146
theorem dama_not_dark_matter_in_rs L151
def ea005_certificate L172