`ea005_certificate`

definition

show as: view math explainer →

module: IndisputableMonolith.Experimental.DAMAModulation
domain: Experimental
line: 172 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Experimental.DAMAModulation on GitHub at line 172.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

formal source

 169    **Falsifier**: If multiple experiments with different targets
 170    (NaI, Xe, Ge) all see identical modulation phase/amplitude,
 171    would indicate genuine dark matter interaction. -/
 172def ea005_certificate : String :=
 173  "═══════════════════════════════════════════════════════════\n" ++
 174  "  EA-005: DAMA/LIBRA MODULATION — STATUS: ANALYZED\n" ++
 175  "═══════════════════════════════════════════════════════════\n" ++
 176  "✓ dama_significance_high:         ~12σ modulation\n" ++
 177  "✓ xenon_more_sensitive:             10× sensitivity vs DAMA\n" ++
 178  "✓ substrate_predicts_null:          No WIMPs in RS\n" ++
 179  "✓ null_supports_substrate:          XENON/LUX null = RS support\n" ++
 180  "✓ temperature_can_explain:          10°C × 1% = sufficient\n" ++
 181  "✓ dama_likely_systematic:           Environmental effect\n" ++
 182  "✓ cosine_confirms_tension:            Same target, different result\n" ++
 183  "✓ no_wimp_expected:                 RS: substrate not particles\n" ++
 184  "✓ dama_not_dark_matter_in_rs:       Systematic in RS framework\n" ++
 185  "VERDICT: DAMA = systematic.\n" ++
 186  "  XENON/LUX nulls CONFIRM RS substrate model.\n"
 187
 188#eval ea005_certificate
 189
 190end DAMAModulation
 191end Experimental
 192end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.