low_coherence_dm_poor
plain-language theorem explainer
Low-coherence regions receive DM-poor status in the Recognition Science treatment of ultra-diffuse galaxies. Galaxy observers fitting NGC 1052-DF2 rotation curves would cite the assignment when contrasting it with Dragonfly 44. The declaration is a direct Boolean constant that encodes the spatial variation of substrate coupling.
Claim. In a low-coherence region the dark-matter-to-stellar-mass ratio satisfies $M_*/M_*$ DM-poor (approximately 1-2) because substrate coupling is weak.
background
The module EA-011 treats ultra-diffuse galaxies as a test of the Recognition Science substrate model. Dark matter is identified with the ledger carrier whose distribution follows recognition coherence rather than particle dynamics. Two upstream Substrate structures are referenced: the ILG version (state and Hamiltonian over an RSHilbertSpace) and the theology version (label, phase in ℕ, sigma-charge in ℤ). The local setting states that high-coherence patches produce DM-rich UDGs while low-coherence patches produce DM-poor UDGs, eliminating any requirement for a universal mass ratio.
proof idea
One-line definition that directly assigns the Boolean constant true, thereby marking the low-coherence DM-poor case.
why it matters
The definition supplies the low-coherence half of EA-011.4 (substrate coherence varies spatially, natural in the RS ledger). It completes the contrast with the sibling high_coherence_dm_rich declaration and supports the module verdict that both DM-rich and DM-poor UDGs arise from the same coherence mechanism. No downstream uses are recorded; the declaration therefore functions as a modeling flag rather than an input to further theorems.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.