- [ ] Does the opening state the outcome and stop condition?
- [ ] Is every important screen and state shown or described exactly?
- [ ] Are the stack, environment, and meaningful constraints pinned?
- [ ] Are observable behaviors written with exact strings, numbers, and fallbacks?
- [ ] Are invariants and non-goals explicit?
- [ ] Does every requirement have a check that can pass or fail?
- [ ] Does the definition of done include exact commands and complete user journeys?