从阅读代码到阅读规范：LLM 驱动的代码库维护的验证层

LLM 生成的代码的快速增长增加了软件复杂性和工程师的维护负担。虽然 LLM 提供了潜在的自动化替代方案，但这种结构复杂性阻碍了他们直接管理代码库的能力。我们引入了原始功能的可证明表示（PROOF），它通过结构化规范间接管理代码库。为了严格通过这些规范实现全生命周期代码库管理，PROOF 将代码库拓扑抽象为分层自然语言表示。为了建立绝对信任，系统通过专门根据本规范重构源代码来证明语义等效性。这个经过验证的基础驱动维护请求，执行代码修改，同时同步更新自身以防止语义漂移。对现实世界存储库的实验证实了这些规范的有效性。