Review is the Symptom. Specification is the Fix.

Short summary

AI-generated code volume has increased 4x while delivering only 10% more value, creating a bottleneck that human code review cannot solve. The solution is specification-driven development—machine-enforced constraints like type systems, contract tests, and property assertions verify code mechanically at machine speed. This applies Agile's fast-feedback principle at the architectural level to shift verification left.

• •4x code volume with 10% additional value means 75% of generated code adds nothing—a generation problem, not a review problem
• •Specifications (types, contracts, properties) enforced in CI provide faster feedback than human reviewers and constrain generation before code exists
• •Machine-enforced specs embedded in code invert waterfall's failure mode; they execute automatically, never go stale, cannot be ignored

Generated with AI, which can make mistakes.