dmEvidence
plain-language theorem explainer
dmEvidence enumerates the five primary observational signatures any dark matter model must reproduce. RS cosmologists cite it when mapping ledger-shadow mechanisms onto data from rotation curves through structure formation. The definition is a direct list literal with no reduction steps or external lemmas.
Claim. The list of empirical signatures comprises flat galaxy rotation curves, tenfold excess mass in clusters, gravitational lensing mass maps, CMB acoustic peaks fixing total matter density, and the requirement for primordial density seeds to enable structure formation.
background
The module frames dark matter as the temporal projection of the σ=0, Z≠0 phantom sector under the eight-tick parity cycle. Ledger shadows are defined as non-luminous ledger configurations that remain gravitationally active while electromagnetically decoupled. MODULE_DOC states the target ratio Ω_dm/Ω_b ≈ 5.4 and positions the list as the observational anchor for the RS mechanism of phase-mismatched orbits.
proof idea
Direct definition. The body supplies the five string literals verbatim; no tactics, no upstream lemmas from the six declared dependencies, and no algebraic reduction are invoked.
why it matters
It supplies the concrete observational targets referenced by the paper proposition 'Dark Matter as Non-Luminous Ledger Configurations'. The list anchors the phantom-sector stratification and the suppression mechanism described in Foundation.DarkMatterConsciousnessIdentity. It touches the open question of quantitative J(φ) suppression factors at the 1.79 GeV scale but does not derive them.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.