What this shows: The Substrate Constraint within the stated domain — open, shared, non-resettable environments under sustained optimization pressure. Collapse is structural within this modeled domain: it occurs without shocks because the objective class creates persistent substrate pressure under the stated assumptions.
Hidden-damage mechanic: The early accumulation of unmodeled dependency damage is a visualization of delayed legibility — it illustrates how damage can accumulate before visible substrate metrics reveal it. It is not a separate formal premise beyond the substrate-health dynamics.
Non-resettability is the key word. Toggle "Resettable environment" above to see what changes when collapse is costly but not terminal. In a resettable world, narrow optimization is damaging but survivable. The absorbing-state structure that makes the Substrate Constraint binding requires non-resettability — that is the domain condition this argument depends on.
Mixed-population dynamics: Any nonzero narrow fraction degrades shared correction capacity (S_corr), impairing system-aware adaptation and removing the structural guarantee of long-run stability. At low narrow fractions, collapse may lie beyond the visible simulation horizon — the claim illustrated is loss of guarantee and persistent downward pressure, not guaranteed eventual collapse in every configuration.
What this does not show: This simulation illustrates the persistence-side argument within the stated domain. It does not establish domain membership for any specific system class (addressed in TC1 §X), does not resolve exclusionary coalition stability (OP9), and does not bear on the central open theorem (OP4) about specification coherence under accurate coupled modeling.
Urgency: The asymmetric-error argument does not require OP1 to be settled. If O_OWT applicability cannot be excluded, acting as if the constraint is not binding when it is can produce an unrecoverable error; acting as if it is binding when it is not produces a recoverable one. This grounds urgency under uncertainty.