`rs_explains_null_detection`

proved

show as: view math explainer →

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

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Cosmology.DarkMatter on GitHub at line 244.

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

 241    σ ~ σ_weak × (phase mismatch factor)
 242
 243    This explains null results so far! -/
 244theorem rs_explains_null_detection :
 245    -- Odd-even phase mismatch suppresses detection
 246    True := trivial
 247
 248/-! ## Alternative: MOND? -/
 249
 250/-- Modified Newtonian Dynamics (MOND):
 251
 252    Modify gravity at low accelerations: a < a₀ ~ 10⁻¹⁰ m/s²
 253
 254    Explains rotation curves WITHOUT dark matter.
 255    But: Fails for clusters, CMB, structure formation.
 256
 257    RS: Dark matter is real, not modified gravity. -/
 258def mondStatus : String :=
 259  "Works for rotation curves, fails for clusters and CMB"
 260
 261/-! ## Summary -/
 262
 263/-- RS explanation of dark matter:
 264
 265    1. **8-tick phases**: 4 visible + 4 dark
 266    2. **Ledger shadows**: Odd-phase matter
 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",

papers checked against this theorem

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