NewsFi.AI
返回今日
已核验来源

介绍 Consort:面向实时数据库分支、强制实行测试驱动开发的规范优先智能体框架

arXiv cs.AI · · 发布于 2026-09-11 · 3 分钟阅读

NewsFi 导读3 分钟速览

论文摘要指出,当智能体编写代码时,开发框架便成为非确定性执行者的控制系统。自2025年起,规范优先、智能体驱动的框架迅速普及,其中可安装方案包括 GitHub Spec Kit、obra/superpowers、BMAD、GSD 以及作者自研框架,它们都通过规范或持久规划产物来捕获意图。既然都强调前期捕获意图,区别就在于如何强制维持让智能体所写代码整洁、正确且可维护的工程纪律。作者归纳出三种模式:以提示说服、以前置结构约束、以及借助智能体无法编辑的控制手段,包括确定性编排器、人工审批关口、不可变测试,以及必须在实时分支数据库上通过的绿色结果。为此作者提出 Consort 框架,采用第三种模式,由确定性编排器驱动多个角色智能体,分别在规范优先的设计通道与测试驱动的构建通道上运行,并在代码中强制测试与关口。作者认为这能让智能体代码诚实且可验证,而其专门化角色使代码可维护,相关主张被表述为可预注册、可检验的假设。

当前来源仅提供摘要,以下要点基于摘要生成;可通过官方原文查看完整信息。
1

核心命题

当智能体编写代码时,开发框架实际上成为对非确定性工作者的控制系统,因此框架的强制机制比意图捕获方式更关键。

2

行业背景

自 2025 年以来,规范优先、智能体驱动的框架迅速普及,可安装的代表包括 GitHub Spec Kit、obra/superpowers、BMAD、GSD 以及作者自研框架。

3

共同点

上述框架都通过规范或持久化规划产物在前端捕获意图,因此在“意图前置”这一点上彼此一致。

4

三种强制模式

一是靠劝说的提示词纪律,模型可能忽略;二是靠前置结构,即强规范加可信构建;三是靠智能体无法编辑的控制手段。

5

第三种模式的具体控制

包括确定性编排器、人工审批关卡、不可变测试,以及必须在实时分支数据库上通过的绿色结果。

6

Consort 的定位

Consort 是建立在第三种模式之上的规范优先、测试驱动智能体框架,智能体运行在控制之内但无法绕过。

7

运行机制

确定性编排器驱动多个相互独立的角色智能体,先走规范优先的设计通道,再走测试驱动的构建通道,全程作用于实时数据库分支。

8

可维护性主张

作者认为专门化角色(如同此前的人类角色分工)是使智能体代码可维护的关键。

9

验证方式

作者将上述主张表述为预注册、可检验的假设,而非已证实的结论。

SOURCES

来源与引用

共 1 个来源
官方原文arXiv cs.AI 原始发布2026-09-11 · 一手信息
https://arxiv.org/abs/2609.09671