high_coherence_dm_rich
plain-language theorem explainer
Recognition Science marks high-coherence regions in ultra-diffuse galaxies as dark-matter rich through strong substrate coupling. Galaxy-formation researchers using the substrate ledger model cite this marker when classifying objects such as Dragonfly 44 versus NGC 1052-DF2. The declaration is a direct constant assignment with no reduction steps.
Claim. Let $C_ {high}$ denote a high-coherence region. Then $C_ {high}$ corresponds to a dark-matter-rich ultra-diffuse galaxy with strong substrate coupling.
background
The module treats dark matter as the substrate (ledger carrier) whose distribution follows recognition coherence rather than particle dynamics. High-coherence regions produce DM-rich UDGs while low-coherence regions produce DM-poor ones; no universal mass ratio is required. The setting imports the ILG derivation and constants to connect rotation curves to modified gravity without additional DM fits.
proof idea
One-line definition that directly assigns the Boolean value true to the high-coherence DM-rich flag.
why it matters
The definition supplies one of the classification flags used in the module's RS verdict that UDG diversity is a natural consequence of spatially varying substrate coherence. It supports the experimental analysis of surface-brightness and size data without invoking exotic particle distributions. No downstream theorems are recorded.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.