Phase 12 · blocker-first constraint stack

Constraint Stack Lab

AT-0095 → AT-0102. Unconstrained relational change is easy. This lab adds one blocker at a time — locality, bounded propagation, identity tolerance, invariant tolerance, pathwise validity — and measures exactly where the lawful move set disappears, then searches for the smallest change to the transition law that brings one back.

Core objective · one target for the whole lab

computing gate…

Find a nontrivial transition law under which relational location changes substantially while identity and required invariants are preserved along an allowed path, without violating the model's locality / propagation rules.

Every experiment on this page exists to close a named blocker. If a proposed experiment does not address an open blocker or test a proposed missing rule, it stays in the ideas backlog.

Blocker ledger Constraint stack lab

Model & tolerances

SeedRelational dimension n = 16Demand ‖R* − R₀‖ = 3.0Identity tolerance = 0.020Invariant tolerance = 0.020Locality window = 6 sitesMax step length = 0.35Step budget = 60Target progress = 0.80

ΔI = K ΔR · progress = 1 − ‖R* − R‖ / ‖R* − R₀‖ · action = Σ‖Δ‖²

Running the constraint stack, missing-rule search, transfer and gate…