substrate_model
plain-language theorem explainer
The substrate model definition asserts that dark matter manifests as ledger carrier rather than as particles. Experimental groups reconciling DAMA modulation with null results from XENON, LUX, and PandaX would cite the constant when testing the Recognition Science dark-matter hypothesis. The declaration is a one-line Boolean constant assignment.
Claim. The substrate model, which treats dark matter as ledger carrier rather than weakly interacting massive particles, evaluates to true.
background
The DAMA/LIBRA module examines the annual modulation signal reported at roughly 12 sigma against the null results from higher-sensitivity detectors. Recognition Science treats dark matter as the substrate (DS-001), the ledger carrier that underlies all interactions, rather than as particles. This yields the direct prediction that no WIMP signal appears in any direct-detection experiment.
proof idea
The definition is a one-line constant assignment of the Boolean value true.
why it matters
The definition supplies the base claim for substrate_predicts_null and no_wimp_expected, which state that the XENON/LUX null results support the substrate model. It occupies the EA-005.3 position in the DAMA analysis and aligns with the framework landmark that dark matter is substrate, not particles. No open scaffolding questions attach to it.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.