当代理生成代码时，开发框架本身充当了非确定性工作者的控制系统。自 2025 年起，规范优先、代理驱动的框架迅速流行，代表项目包括 GitHub Spec Kit、obra/superpowers、BMAD、GSD 以及本文提出的 Consort。它们的共同点是通过规范或持久化计划文档提前捕获意图，差异在于如何强制工程纪律以保证代码的整洁、正确和可维护。我们将现有框架的约束方式归纳为三类：
- 说服式约束——通过提示引导模型，但模型可以忽略；
- 前置结构式约束——使用强规范并依赖可信构建；
- 不可编辑控制式约束——由确定性编排器、人审关卡、不可变测试以及必须在实时分支数据库上通过的绿色结果组成。
Consort 采用第三种方式：一个确定性编排器在规范优先设计通道和测试驱动构建通道之间调度不同角色的代理。规范首先被定义并存入持久化文档，随后每个角色代理只能在编排器设定的控制范围内执行代码生成、单元测试和集成验证，且所有测试必须在实际的数据库分支上通过才能合并。通过将测试和门控硬编码在框架内部，代理生成的代码被迫保持可验证性；而专门化的角色（包括人工审查）则提供了可维护性。我们将上述主张视为预注册、可测试的假设，并在后续实验中进行验证。
点评