- commit
- 704b4a788b461a2998e6b2dc9c7432a9fcd3633b
- parent
- a13a8764b72a3e1ea50208d3d2f157cd2be4a8d6
- author
- Dami <dami.etoile@gmail.com>
| M | openspec/ | 4 | ++-- |
@@ -19,8 +19,8 @@
1919 2020 ## 4. Equivalent fast transitions and constraints2121 22-- [ ] 4.1 Extract a search transition boundary that reuses current parser, movement, transform, automata, and contact semantics without presentation events or Undo history.23-- [ ] 4.2 Differential-test public `step()` and `wait()` against the fast transition across W6 stacked rules, PUSH/STOP, DEFEAT/WIN, transformation chains, SINK removal, and Clockwork phases.22+- [x] 4.1 Extract a search transition boundary that reuses current parser, movement, transform, automata, and contact semantics without presentation events or Undo history.23+- [x] 4.2 Differential-test public `step()` and `wait()` against the fast transition across W6 stacked rules, PUSH/STOP, DEFEAT/WIN, transformation chains, SINK removal, and Clockwork phases.2424 - [ ] 4.3 Make `--forbid` reject rules active initially or in any intermediate rule-evaluation phase; verify a rule that disappears before the turn settles.2525 - [ ] 4.4 Enable the fast transition in the solver only after route parity and performance checks; retain the authoritative fallback.2626