dragonfly44_dm_rich
plain-language theorem explainer
Dragonfly 44 has a dark matter to stellar mass ratio exceeding 50 under the Recognition Science substrate model. Experimentalists comparing ultra-diffuse galaxy populations would cite the result to separate high-coherence DM-rich cases from low-coherence DM-poor ones. The proof is a one-line wrapper that unfolds the constant definition of the ratio and applies numerical normalization.
Claim. The dark matter to stellar mass ratio assigned to Dragonfly 44 satisfies $M_{DM}/M_* > 50$, where the ratio is defined to equal 70.
background
The module treats dark matter as ledger substrate distributed by recognition coherence rather than as particles, so ultra-diffuse galaxies exhibit natural diversity: high-coherence regions produce DM-rich objects while low-coherence regions produce DM-poor ones. The sibling definition df44_dm_ratio supplies the concrete value 70.0 for this galaxy, drawn from the observed range 50-100. Upstream results supply the empirical program is, simplicial ledger edge properties, and mechanism-design structures, but the direct dependency is the ratio definition itself.
proof idea
The proof is a one-line wrapper that unfolds df44_dm_ratio to its constant 70.0 and applies norm_num to discharge the inequality.
why it matters
The theorem supplies one of the two concrete data points inside the EA-011 certificate, which concludes that ultra-diffuse galaxy diversity is explained by spatially varying substrate coherence. It thereby supports the module claim that no universal M_DM/M_* ratio is required. The certificate string explicitly lists the result as evidence that high coherence yields DM-rich systems such as Dragonfly 44.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.