论文

Spec Growth Engine:用确定性规范检查约束Agent开发

Implementing the Spec Growth Engine: Preventing Spec-Code Divergence, and Growing the Spec with Agents

智能体系统应用与实践Agent 动作执行与治理Agent Harness编程

摘要

Spec Growth Engine把AI辅助软件开发锚定在与代码相耦合的规范图上。本文描述其实现,分两层处理两个任务。第一层防止规范与代码偏离:确定性引擎验证规范图,与代码导入图比较,根据留存的测试证据赋予节点已验证状态,并按潜在破坏范围对每次变更分类,全程不调用模型。第二层让Agent扩展规范:意图编写者、规划者和编码者分别由不同模型担任,分轮扩展规范图,每轮结束后由确定性规则决定是否继续。人类判断的委托程度由三个独立开关控制:草案审核门、破坏性变更授权和运行模式。结合两种建立项目基础的方式,共形成十八种运行组合。我们描述每种组合,以及Agent与人类沟通所用的审核门、请求和豁免,覆盖完全人工操作到无人监督运行、事后由人类审查决策的各种方式。贯穿设计的原则是:自主运行的价值取决于衡量它的确定性机制。