@misc{indiciae2c69a6c58740,
  title = {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},
  author = {Joel Abenhaim},
  year = {2026},
  url = {https://arxiv.org/abs/2608.12440},
  note = {Source identifier: 2608.12440}
}