- commit
- 8040dfb62a65011da09040865a6ba5630c1324d1
- parent
- 7c7007138ae74ff3a055ef396525d0da6b669f01
- author
- Dami <dami.etoile@gmail.com>
| M | openspec/ | 25 | ++++++++++++++++++++++++- |
@@ -21,6 +21,29 @@ mechanical parity from solver rollout and world performance claims.
2121 every action. The comparison included objects, nouns, rules, sentence spans,2222 automata phases, and win state.2323 24-At this checkpoint the full Node suite passed 256/256 and `npm run build`24+At this checkpoint the full Node suite passed 260/260 and `npm run build`2525 passed. The world author CLI has not yet switched to the compact solver, so2626 the baseline routes and memory figures remain the pre-rollout comparison.27+28+## Compact solver comparison before CLI rollout29+30+The committed `solveLevel()` adapter was run in separate processes with both31+public and fast engine transitions at the same proof caps used in the baseline.32+All ten proofs returned the **exact baseline action strings**, and both modes33+attempted and expanded the same number of states for each proof. Elapsed time34+for the larger searches was:35+36+| Proof | Public transition | Fast transition | Attempts / expanded |37+| --- | ---: | ---: | ---: |38+| Core `break-the-rule` | 4.5 s | 3.8 s | 46,792 / 11,698 |39+| Crate Works `night-shift` | 1.02 s | 0.83 s | 4,636 / 1,159 |40+| Clockwork `mouse-hole` | 9.8 s | 8.0 s | 61,323 / 12,265 |41+| Crossword `pass-it-on` | 31.2 s | 26.1 s | 290,092 / 72,523 |42+43+The smaller core, Word Lab, and Tidewater proofs also matched their exact44+routes and counts; fast mode was no slower in this run. Timing is descriptive,45+not a CI threshold. A separate 20 ms in-process RSS sampler measured fast-mode46+peaks of **149.0 MiB** for `break-the-rule`, **145.3 MiB** for `mouse-hole`, and47+**190.6 MiB** for `pass-it-on`. Those runs included the normal shortest-path48+search only. The pre-W3 whole-command baseline also includes a BYPASS49+re-search, so its peak RSS is not a direct one-to-one memory comparison.