- The generated spec restates the idea without defining behavior
- Add examples, non-goals, edge cases, and observable outcomes. Point the model to two accepted specs and ask it to match their level of detail.
- The agent cannot test the feature itself
- Build or expose a CLI, test harness, or browser check that lets the agent run the feature and inspect its output. Add the exact commands to the Verification section.
- The code changes but the spec no longer matches
- Make the behavior change in the spec first, commit it, and ask the agent to update the implementation and verification results from that revision.
- The agent tries to implement too much in one run
- Split the spec at a behavior boundary, give each part its own verification section, and implement the smallest independently testable slice first.