udg_surface_brightness
plain-language theorem explainer
udg_surface_brightness supplies the numerical value 25.0 as the representative surface brightness for ultra-diffuse galaxies in magnitudes per square arcsecond. Modelers comparing Recognition Science substrate predictions to observed UDG populations reference this constant when classifying DM-rich versus DM-poor examples. The definition is a direct real-number assignment with no computation or lemmas applied.
Claim. The typical surface brightness of ultra-diffuse galaxies is given by $μ_V = 25.0$ mag arcsec$^{-2}$.
background
The module EA-011 treats dark matter as a distributed substrate whose local coherence sets both stellar and dark-mass content. Surface brightness μ_V > 24 mag arcsec^{-2} distinguishes the faint extended objects whose effective radii lie in the 1-10 kpc range. The upstream radius definition fixes the cellular-automaton neighborhood size at 1, supplying the discrete scale on which substrate coherence is evaluated.
proof idea
The definition is a direct constant assignment of the representative observed value 25.0. No lemmas or tactics are invoked.
why it matters
The constant anchors the experimental classification of ultra-diffuse galaxies inside the Recognition Science substrate model. It supports the statement that both DM-rich (Dragonfly 44) and DM-poor (NGC 1052-DF2) cases arise from spatial variation in recognition coherence, with ILG rotation curves fitting without additional dark-matter components. No downstream theorems yet reference the value.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.