`summary`

definition

show as: view math explainer →

module: IndisputableMonolith.Cosmology.DarkMatter
domain: Cosmology
line: 270 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Cosmology.DarkMatter on GitHub at line 270.

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

 267    3. **Gravitates but dark**: No photon coupling
 268    4. **Ratio ~ φ³+1**: Explains 5:1 ratio
 269    5. **Null detection**: Phase mismatch suppression -/
 270def summary : List String := [
 271  "8-tick gives visible and dark sectors",
 272  "Dark matter = odd-phase ledger",
 273  "Gravitates (J-cost) but doesn't shine",
 274  "Ratio Ω_dm/Ω_b ≈ φ³+1 ≈ 5.2",
 275  "Detection suppressed by phase mismatch"
 276]
 277
 278/-! ## Falsification Criteria -/
 279
 280/-- The derivation would be falsified if:
 281    1. Dark matter doesn't exist (MOND works fully)
 282    2. DM ratio very different from φ³+1
 283    3. DM couples strongly to photons -/
 284structure DarkMatterFalsifier where
 285  dm_not_real : Prop
 286  ratio_wrong : Prop
 287  dm_couples_photon : Prop
 288  falsified : dm_not_real ∨ dm_couples_photon → False
 289
 290end DarkMatter
 291end Cosmology
 292end IndisputableMonolith

papers checked against this theorem

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