用途:为舰队中的智能体编写“会话契约”(session contract)。契约即命名会话被持久化的系统提示,因此它不只是关于智能体的文档,而就是智能体本身;唤醒策略、预算、文档指针等只是围绕它的配置。
主要能力:契约必须回答五个条款(缺一即不成立):name(名称);reads(读取白名单);writes(写入白名单,须与其他活跃智能体互斥);owns(所负责的任务);produces(产出物);done_when(完成条件)。其中 done_when 最易写错,必须可由智能体自身意见之外的东西检查,例如“每个锁定依赖都已检查”可核查,“已彻底研究”不可核查。
隔离机制:两个智能体写同一目录树是常见故障,协调是错误解法。应优先隔离再收敛:给每个智能体互斥的写入白名单;若工作确实重叠,则各自使用独立 git worktree,让冲突在合并时显形,再由 army-fanin 调和。机械检查:若两个可同时运行的智能体共享写入路径,则两者之一的契约有误。
命名与一次性会话:命名会话可寻址、有跨运行的记忆胶囊,用于长期任务;一次性会话不可寻址、无记忆,用于审查、交叉核对、生成替代方案。审查者总是一次性且对其所审查对象无写权限——这是该系统的架构戒律:用智能体无法编辑的东西来评判它。命令方面,acpx exec 用于单提示、临时会话、不保存状态;acpx compare 用于同一提示跨多个执行框架对比,仅用于真正不可逆的设计决策,不宜作为默认,因为扇出会把廉价的生成问题变成昂贵的串行审查问题,并丢弃 (N−1)/N 的工作。
人格与使命是每次运行注入的提示文本,不固化进进程,因此智能体可作为纯数据在运行时创建,编辑它是数据编辑而非部署。每次运行会固定其运行时的修订版本,修改契约不会改写该智能体自身历史的意义。
限制与规则:范围蔓延属于契约缺陷,通常源于 owns 写成了主题而非任务(“负责研究”会招致一切,“负责注册表的来源发现与可靠性评分”则不会)。智能体若需要做契约之外的事,正确行为是停下并报告,而非继续,且这一点应明确写入契约。无论白名单如何,智能体永远不得写入:策略、评估、门禁、已签名文件、CI 工作流定义。它可以改进自身记忆、技能、文档与研究,但永远不能编辑评判自己的标准。相关:army-run 运行舰队,army-hitl 用于契约未覆盖时的提问,army-join 为外部审查者划定范围。