ea005_certificate
plain-language theorem explainer
The declaration defines a formatted string certificate that summarizes the Recognition Science analysis of the DAMA/LIBRA annual modulation. It concludes the ~12σ signal arises from environmental systematics rather than particle dark matter, with XENON null results confirming the substrate model. The definition assembles this verdict by concatenating verification lines drawn from component theorems on significance, sensitivity, and systematics. Experimental physicists comparing NaI and xenon results would cite this summary when evaluating the W
Claim. The EA-005 certificate asserts that DAMA/LIBRA reports annual modulation at approximately 12 standard deviations while more sensitive xenon experiments yield null results; this tension indicates a systematic origin (temperature or radon) consistent with the substrate model of dark matter, which predicts no WIMP signals.
background
In Recognition Science dark matter is the substrate ledger carrier, not weakly interacting massive particles. The module examines the DAMA/LIBRA experiment reporting ~0.02 cpd/kg/keV modulation at ~12σ with orbital phase, contrasted against null results from XENON, LUX and PandaX at tenfold sensitivity. Upstream results include dama_significance_high establishing the statistical threshold and cosine_confirms_tension stating that COSINE-100 on the same NaI target shows tension. The substrate model imported from ClassicalBridge.Fluids.CPM2D.model supplies defectMass and energyGap parameters that enforce zero WIMP expectation. The local setting is the complete RS treatment of direct detection, where null outcomes support the substrate picture and DAMA modulation is attributed to detector effects.
proof idea
The definition builds the certificate by concatenating a fixed header, bullet lines verifying each supporting result (dama_significance_high, xenon_more_sensitive, substrate_predicts_null, null_supports_substrate, temperature_can_explain, dama_likely_systematic, cosine_confirms_tension, no_wimp_expected, dama_not_dark_matter_in_rs), and a closing verdict paragraph. It performs no computation beyond string assembly and relies on the truth values already established by the referenced sibling theorems.
why it matters
This certificate consolidates the EA-005 case inside the Recognition Science framework, where the substrate model replaces particle dark matter and predicts null direct detection. It supplies the experimental summary that XENON/LUX nulls confirm the RS expectation, closing the DAMA analysis. The declaration references the falsifier that identical modulation phase and amplitude across NaI, Xe and Ge targets would indicate genuine dark matter interaction. It aligns with the T0-T8 forcing chain by treating dark matter as ledger dynamics rather than particles on the phi-ladder.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.