- commit
- 75723077280e0a45df4e29bf4708b2d691db4ad3
- parent
- 2494692a30e88337e472715f120ab8efebd3000c
- author
- Dami <dami.etoile@gmail.com>
| M | openspec/ | 17 | +++++++++++++++++ |
@@ -95,3 +95,20 @@ shared mobile proof; `undo-death.mjs` covered immediate and delayed Undo plus
9595 restored visual state. All three reported no console or page errors. The full9696 Node suite, production build, mod loading, and strict OpenSpec validation also9797 passed at this checkpoint.98+99+## Shell-game constraint investigation100+101+The corrected CLI honored an explicit 3,000,000-attempt cap for Tidewater102+`shell-game --forbid 'JELLY IS SHELL'`; the search returned `LIMIT` in 223.47 s.103+That is inconclusive about the rule's necessity. A bounded 100,000-attempt104+audit found 50,417 authored-ID states and **zero** duplicates after grouping105+ordinary same-noun object positions. Interchangeable-ID quotienting would not106+reduce this observed frontier, and the engine has ID-based movement and107+automaton ordering that would require an equivariance proof before quotienting.108+109+A lexical rule-target precheck is also too weak to resolve this proof soundly:110+the available words overapproximate alternate rules such as `MIAU IS SHELL`,111+`JELLY IS WIN`, and `JELLY IS MIAU`. Rule geometry, transformation order,112+control survival, and contact precedence would have to be modeled before it113+could conclude UNSOLVED. The `mustForm` field stays unset for this proof; no114+search-cap result is reported as an impossibility proof.