AI coding is fast. The enterprise isn't ready. The peer-reviewed evidence shows the gap isn't productivity — it's traceability.
Vulnerable AI code
Pearce, IEEE S&P 2022
slower, not faster
METR 2025 RCT
phantom packages
Spracklen, USENIX 2025
Developers believed they were 20% faster .
A 40-point perception gap.
Enterprises optimize on the wrong signal.
Spec-driven tools reintroduce specifications, but informal Markdown drifts from code, links only forward (task → requirement), and never traces code back to requirements. Ambiguity materially degrades LLM output.
Vogelsang (ICSE-NIER 2025) · Cámara (SoSyM 2023) · Tinnes (ICSE 2025)
Structured elicitation that kills ambiguity early.
The single source of truth.
Code ↔ design ↔ requirements.
A requirement change flows to all affected artifacts.
Reviewable, auditable decisions.
Requirements, models, and prompts stay in your jurisdiction.