A spec the agent can't run isn't a spec yet

Spec-driven development is having a moment, and most of what gets called a spec falls apart the moment a coding agent touches it. The reason is plain. A spec only helps the agent if the agent can tell