论文
Consort 简介:规范优先的代理框架,用于在实时数据库分支上进行强制、测试驱动的开发
Introducing Consort: A Spec-First Agent Framework for Enforced, Test-Driven Development on Live Database Branches
摘要
当代理编写代码时,开发框架就成为非确定性工作人员的控制系统。自 2025 年以来,规范优先、代理驱动的框架迅速获得关注;可安装的、GitHub Spec Kit、obra/superpowers、BMAD 和 GSD 以及我们自己的,都通过规范或持久的规划工件来捕获意图。由于他们同意预先捕获意图,所以他们的区别在于每个人如何执行工程规则,以保持代理编写的代码干净、正确和可维护。每个框架都以某种方式强制执行该规则;他们的不同之处在于如何。我们描述了三种模式:通过说服执行(模型可能会忽略的提示纪律)、通过前端加载结构(强大的规范,然后是可信构建)以及通过代理无法编辑的控制(确定性编排器、人工批准的门、不可变的测试以及必须通过实时分支数据库的绿色结果)。我们引入了 Consort,这是一个基于第三个框架构建的规范优先、测试驱动的代理框架,通过控制代理在内部运行但无法绕过来强制执行该规则,其中确定性编排器通过规范优先的设计通道和实时数据库分支上的测试驱动的构建通道来驱动单独的角色代理。我们认为,在代码中强制执行测试和门可以使代理编写的代码保持诚实和可验证,而其专门角色(如之前的人类角色)则使其可维护,我们将其视为预先注册的可测试假设。