IndisputableMonolith.Cosmology.DarkMatterTopology
The module defines a galactic-scale frustration region on the carrier along with supporting parameters and certificates for dark matter topology in Recognition Science. Cosmologists seeking topological alternatives to particle dark matter would cite these definitions. The module structure consists of imported constants and a collection of sibling declarations that establish constraints such as gravity-only coupling and no dark matter rung.
claimA galactic-scale frustration region on the carrier, equipped with time parameter $0 < α_t < 1/2$, gravity-only coupling, and a topology certificate excluding additional phi-ladder rungs for dark matter.
background
Recognition Science derives physics from a single functional equation, with landmarks including J-uniqueness, the self-similar fixed point phi, the eight-tick octave, and D=3 spatial dimensions. The Cosmology.DarkMatterTopology module applies this framework at galactic scales by introducing frustration regions as topological defects on the carrier. It imports the fundamental RS time quantum τ₀ = 1 tick from the Constants module, which supplies the native time unit for all subsequent definitions.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
This module supplies the topological definitions that allow dark matter to be treated as a frustration effect rather than a new particle, supporting the Recognition Science derivation of constants such as α^{-1} in (137.030, 137.039) and G = phi^5 / pi. It constrains the phi-ladder via no_dm_rung and gravity-only coupling, feeding the broader cosmology constructions that follow from the T0-T8 forcing chain. The module doc-comment identifies its core object as the galactic-scale frustration region on the carrier.
scope and limits
- Does not include dynamical simulations of galactic rotation curves.
- Does not derive numerical values for dark matter density profiles.
- Does not address baryonic matter distributions or star formation.
- Does not provide direct observational comparisons or falsification tests.