rs_natural_explanation
plain-language theorem explainer
Recognition Science asserts that substrate coherence varies spatially as a direct consequence of ledger structure, supplying a parameter-free account for the coexistence of dark-matter-rich and dark-matter-poor ultra-diffuse galaxies. Galaxy observers and modified-gravity theorists would cite the result when contrasting RS substrate explanations against particle-dark-matter simulations. The proof is a one-line wrapper that invokes the coherence variation lemma.
Claim. In the Recognition Science substrate model, recognition coherence varies spatially: $C(x) = C_0 f(phi, environment)$, so that high-coherence regions produce dark-matter-rich systems while low-coherence regions produce dark-matter-poor systems.
background
In the EA-011 module, dark matter is identified with the recognition substrate (ledger carrier) rather than with particles. Substrate coherence is defined to vary spatially according to $C(x) = C_0 times f(phi, environment)$, with high-coherence patches yielding DM-rich UDGs such as Dragonfly 44 and low-coherence patches yielding DM-poor UDGs such as NGC 1052-DF2. The module states that UDG diversity is therefore natural once spatial variation of coherence is admitted, and that ILG rotation curves fit both cases without additional dark-matter fits.
proof idea
The proof is a one-line wrapper that applies the upstream coherence_variation theorem. That lemma itself reduces to reflexivity on the definition substrate_coherence_varies := true. The PrimitiveDistinction.from result supplies the axiomatic grounding that seven independent axioms reduce to four structural conditions plus three definitional facts.
why it matters
This theorem supplies the key step EA-011.11 that completes the ea011_certificate, which records that ultra-diffuse galaxy diversity is explained by the RS substrate model with no universal DM-to-stars ratio required. It fills the paper proposition that no fine-tuning is needed because variation arises directly from ledger structure. Within the Recognition Science framework it instantiates the spatial distribution of the substrate carrier, consistent with the phi-ladder and the eight-tick octave.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.