standard_models_challenged
plain-language theorem explainer
The theorem shows that the dark-matter-to-stellar-mass ratio for Dragonfly 44 exceeds the ratio for NGC 1052-DF2 by more than a factor of ten. Researchers examining ultra-diffuse galaxies as tests of galaxy formation would cite it to quantify the spread that standard models must accommodate. The proof is a one-line wrapper that unfolds the two numerical constants and applies norm_num to confirm the inequality.
Claim. Let $r_{44}$ be the dark-matter-to-stellar-mass ratio for Dragonfly 44 and $r_2$ the ratio for NGC 1052-DF2. Then $r_{44}/r_2 > 10$.
background
In the Recognition Science module on ultra-diffuse galaxies, dark matter is treated as a substrate whose spatial distribution follows recognition coherence rather than particle dynamics. The two ratios are defined as fixed reals: Dragonfly 44 at 70.0 (DM-rich case) and NGC 1052-DF2 at 1.5 (DM-poor case). Upstream, the ILG substrate structure supplies the Hilbert-space carrier for the ledger, while the theological substrate adds phase and sigma-charge labels.
proof idea
The proof unfolds the definitions of the two ratios, which are literal numerical constants, then applies norm_num to evaluate the quotient and discharge the inequality.
why it matters
This step supplies the quantitative diversity required by the ea011_certificate, which states that UDG diversity is explained by spatially varying substrate coherence with no universal mass ratio needed. It completes the EA-011.10 claim that standard models predict more uniform DM content. The result aligns with the substrate model in the ILG derivation and the T0-T8 forcing chain, where dark matter emerges as ledger distribution rather than particles.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.