The map can acquire
a distinction it did not begin with.

Local cause.
Global attack.

1. An active institution contributes only its own state and local supporters.
2. That receipt seeds equations in a bounded executable grammar.
3. Two non-isomorphic canonical worlds must share all sixteen inherited verdicts but disagree on the equation.
4. Every relabelling of both carriers must preserve the disagreement.
5. Failures remain in the pulse ledger.

This mechanism does not claim that an inhabitant thought, understood, or named the result. It establishes a narrower fact: live downstream state can expand the evaluator vocabulary that describes future formal worlds.