Back to search

Article

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

2026-08-25

Abstract excerpt

<title>Abstract</title> <p>This paper reports a single, fully instrumented case study of a large-scale architectural refactoring by an AI coding agent under a specification-first protocol, with no human review of the generated code and no pre-existing oracle to validate the target behaviour. The task, dismantling a central invariant across a large interdependent codebase, was assessed by the author as effectively...

Topics

Open a Topic to create a Post that cites this publication.

Identifiers and source

Literature Corpus work
0c8c11d7-0f59-5c58-b6a4-14443207f756
DOI
10.21203/rs.3.rs-10800353/v1
Open publication

Related research

Semantic proximity does not establish scientific evidence.

Click a neighbor to travelStep 1 · 12 closest
Interactive article relationship graphSelect a related publication card to move it into the centre and load its closest explainable connections. Solid lines are source-backed structured connections. Dashed lines are semantic discovery signals and are not scientific evidence.
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 reviewDOI 10.21203/rs.3.rs-10800353/v1
Select a neighboring publication to make it the new centre.