This is the next step after SDD: a system that enforces the orchestration to execute the spec. I appreciate that you can bring your own agent (Claude Code, Codex, Gemini, Zencoder)
I suspect that we'll eventually loop back to formal specifications, with formal or semi-formal verification that the implementation matches the specification, but with agents writing the actual code.
Yoric|2 months ago