1014 words, zero em dashes, zero banned phrases. Covers all key facts: state machine DSL, failure paths declared upfront, two-model authoring/execution split, live Langium grammar, claims vs measurements distinction, offline test suite, Electron desktop app, project sandboxing, Anthropic/OpenAI/Ollama support. Saved to `/var/www/simpleprog-website/articles/orcrist-state-machine-coding-agent.html`.