ea011_certificate
plain-language theorem explainer
The EA-011 certificate supplies a textual summary asserting that ultra-diffuse galaxy diversity follows from spatially varying recognition coherence in the Recognition Science substrate model. Galaxy formation researchers cite it when contrasting RS accounts against Lambda-CDM difficulties with both DM-rich and DM-poor cases. The definition assembles the certificate through direct concatenation of statements drawn from supporting results on coherence variation and ILG fits.
Claim. The EA-011 certificate states that ultra-diffuse galaxies with surface brightness $μ_V > 24$ mag arcsec$^{-2}$ and effective radii $r_e ∼ 1-10$ kpc include both dark-matter-rich instances (mass ratio ∼70) and dark-matter-poor instances (mass ratio ∼1.5), explained by spatial variation in substrate coherence without a universal mass ratio, with ILG fitting rotation curves in both cases.
background
Recognition Science treats dark matter as the substrate, a ledger carrier whose distribution follows recognition coherence rather than particle dynamics. The module examines ultra-diffuse galaxies that exhibit very low surface brightness and form in low-density environments. Upstream results establish that substrate coherence varies spatially as a natural feature of the RS ledger structure, that Dragonfly 44 shows a high dark-matter-to-stars ratio, and that the ILG formula fits rotation curves for both rich and poor cases without additional dark matter.
proof idea
The definition constructs a multi-line string by direct concatenation of fixed text segments. Each segment references the verdicts of coherence_variation, dragonfly44_dm_rich, ngc1052df2_dm_poor, ilg_sufficient, low_density_environment, and related results.
why it matters
This definition collects the experimental claims for ultra-diffuse galaxies into one certificate, reinforcing the RS view that dark matter effects arise from substrate coherence properties. It builds on the ILG derivation and the substrate model. The certificate shows how spatial coherence variation accounts for observed diversity and challenges standard models that expect more uniform mass ratios.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.