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
이 논문은 인간의 코드 리뷰나 기존의 테스트 오라클 없이 명세 우선 프로토콜 하에 작동하는 AI 코딩 에이전트가, 3일 동안 2,430달러의 비용으로 201개의 결함을 수정하며 공식 명세를 반복적으로 정교화함으로써 717,000라인 규모의 TypeScript 코드베이스 내 189개 파일에 걸친 핵심 아키텍처 불변성을 성공적으로 해체했음을 보여주는 사례 연구를 제시한다.