Spec-driven development is the verification bottleneck with a name

Spec-driven development is being sold as a new methodology for the agent era: write a precise spec, let the agent build to it. It is a good idea. It is also not new. It is the thing I have been arguing for years, that generation got cheap and verification became the work, finally given a name and a workflow. The spec is not documentation. It is the oracle.