介绍 Consort:面向实时数据库分支、强制实行测试驱动开发的规范优先智能体框架
arXiv cs.AI · · 发布于 2026-09-11 · 3 分钟阅读
论文摘要指出,当智能体编写代码时,开发框架便成为非确定性执行者的控制系统。自2025年起,规范优先、智能体驱动的框架迅速普及,其中可安装方案包括 GitHub Spec Kit、obra/superpowers、BMAD、GSD 以及作者自研框架,它们都通过规范或持久规划产物来捕获意图。既然都强调前期捕获意图,区别就在于如何强制维持让智能体所写代码整洁、正确且可维护的工程纪律。作者归纳出三种模式:以提示说服、以前置结构约束、以及借助智能体无法编辑的控制手段,包括确定性编排器、人工审批关口、不可变测试,以及必须在实时分支数据库上通过的绿色结果。为此作者提出 Consort 框架,采用第三种模式,由确定性编排器驱动多个角色智能体,分别在规范优先的设计通道与测试驱动的构建通道上运行,并在代码中强制测试与关口。作者认为这能让智能体代码诚实且可验证,而其专门化角色使代码可维护,相关主张被表述为可预注册、可检验的假设。
当前来源仅提供摘要,以下要点基于摘要生成;可通过官方原文查看完整信息。核心命题
当智能体编写代码时,开发框架实际上成为对非确定性工作者的控制系统,因此框架的强制机制比意图捕获方式更关键。
行业背景
自 2025 年以来,规范优先、智能体驱动的框架迅速普及,可安装的代表包括 GitHub Spec Kit、obra/superpowers、BMAD、GSD 以及作者自研框架。
共同点
上述框架都通过规范或持久化规划产物在前端捕获意图,因此在“意图前置”这一点上彼此一致。
三种强制模式
一是靠劝说的提示词纪律,模型可能忽略;二是靠前置结构,即强规范加可信构建;三是靠智能体无法编辑的控制手段。
第三种模式的具体控制
包括确定性编排器、人工审批关卡、不可变测试,以及必须在实时分支数据库上通过的绿色结果。
Consort 的定位
Consort 是建立在第三种模式之上的规范优先、测试驱动智能体框架,智能体运行在控制之内但无法绕过。
运行机制
确定性编排器驱动多个相互独立的角色智能体,先走规范优先的设计通道,再走测试驱动的构建通道,全程作用于实时数据库分支。
可维护性主张
作者认为专门化角色(如同此前的人类角色分工)是使智能体代码可维护的关键。
验证方式
作者将上述主张表述为预注册、可检验的假设,而非已证实的结论。