SOURCE-LINKED INTELLIGENCE

From Reading Code to Reading Spec: A Verified Layer for LLM-Driven Codebase Maintenance

arXiv · AI, language, vision and robotics · article · Sep 6, 2026 · UTC

The rapid growth of LLM-generated code increases software complexity and the maintenance burden on engineers. While LLMs offer a potential automated alternative, this structural complexity hinders their ability to manage codebases directly. We introduce the Provable Representation Of Original Functionality (PROOF), which manages codebases indirectly via structured specifications. To enable full-lifecycle codebase management strictly through these specifications, PROOF abstracts codebase topology into a hierarchical natural-language representation. To establish absolute trust, the system proves

Read original source ↗ Open in workspace

recordType

paper

region

Global