`ea005_certificate`

definition

show as: view math explainer →

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

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Experimental.DAMAModulation on GitHub at line 172.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

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.