clone

a browser grid puzzle game where you push words around to rewrite the rules of each level

Record fast engine parity across authored worlds

Dami committed ec6995e
commit
ec6995e4ddab9970f21f86534304cb62c5ef0798
parent
704b4a788b461a2998e6b2dc9c7432a9fcd3633b
author
Dami <dami.etoile@gmail.com>
1 file changed, +26 -0
Aopenspec/changes/scale-solver-state-search/verification.md26++++++++++++++++++++++++++
A openspec/changes/scale-solver-state-search/verification.md +26 -0
@@ -0,0 +1,26 @@
1+# W3 verification ledger2+3+The compact codec, parent-linked breadth-first core, public fallback adapter,4+and fast engine transition are committed independently. This ledger separates5+mechanical parity from solver rollout and world performance claims.6+7+## State and turn parity8+9+- Codec round trips preserve the next direct-engine event and settled state10+ after noun chains, automaton waits, SINK removal, and word-rule edits.11+- Thirteen focused fast-turn tests compare `stepFast()` and `waitFast()` with12+ public `step()` and `wait()` across stacked rules, PUSH/STOP, DEFEAT/WIN,13+ transformations, SINK removal, Clockwork phases, word-motion provenance,14+ blocked input, and parser-budget rollback. Fast transitions add no Undo15+ entry.16+- A temporary differential script took up to 32 deterministic movement actions17+ on each of 30 available core and draft-world levels, adding waits on18+ automata levels. It found zero mismatches in acceptance or settled state.19+- Ten exact baseline routes across core, Word Lab, Crossword, Crate Works,20+ Tidewater, and Clockwork contributed 150 actions with zero mismatches after21+ every action. The comparison included objects, nouns, rules, sentence spans,22+ automata phases, and win state.23+24+At this checkpoint the full Node suite passed 256/256 and `npm run build`25+passed. The world author CLI has not yet switched to the compact solver, so26+the baseline routes and memory figures remain the pre-rollout comparison.