Joseph Ferano ec0d845822 The spec's unwritten operators say so by name
error, find-restart and compute-restarts are named in spec-conditions.md and had
no case in parse.ml, so each fell through to Call and came back as unknown name
- the very shape the house rule exists to prevent, and the one that makes a
missing feature look like a typo.

Three message strings from the previous commit had their line continuations
collapsed into runs of spaces. Rewrapped; no change to what they say.
2026-09-11 08:26:46 +07:00
..
2026-09-11 07:21:37 +07:00