TY  - RPRT
TI  - Specification-first convergence with an AI coding agent: a case study of dismantling a core architectural invariant across 189 files in a 717k-line codebase with no test oracle and no human code review
AU  - Joel Abenhaim
PY  - 2026
UR  - https://arxiv.org/abs/2608.12440
ID  - 2608.12440
ER  -