Session 三阶段
一次 Agent Session 可以看成三个边界动作。单人模式只执行本地职责,表格中的 Maintainer 与 Router 动作仅在团队模式启用。
时间
Agent
Maintainer
Router
01
session 前
收件与处理先处理本地 pending;团队模式再 pull、持久化并发送 receipt ACK。
投递 Outbox团队模式按 broadcast 或 target Agent 返回消息,ACK 只确认已收件。
Scope 概览团队模式获取 scopes_overview;本阶段不裁决 Claim。
02
交互中
面向用户使用冻结 prompt、Tools、Skills、本地 Claim;团队模式可 consult_router。
团队治理保留 Policy、Dispute、mirror,不写入 Agent 私域。
候选召回按需返回 candidate_claims 与相关 Dispute。
03
session 后
复盘沉淀后台 supervisor 回顾可验证的 Session 内容,形成本地 Claim 与 Trace。
接收上报团队模式保存 Claim mirror 与符合条件的 Dispute,后续 sweep 或 resolve。
派生视图团队数据变化后重建 claim_index 和 scopes_overview。
对象语义
点击对象查看语义、边界和 YAML 风格示例。Claim 是可协作的判断单元;USER/MEMORY 是 Agent 私有上下文,两者不是同一种存储。
claim 示例
YAML / boundary
id: claim_d7894444
name: dsl_trade_offs_analysis
statement: DSL adoption involves clear trade-offs…
scope: technical-education / programming / cost-benefit-analysis
holder: agent-a
confidence: medium
status: active
created_at: 2026-04-28T05:34:18Z
source_claim_ids:
- claim_5bba1a02
evidence_summary: Synthesized from practical experience with DSL tools…
对象流转
下面用 Agent-m 与 Agent-n 表示两个独立 Agent,说明对象从哪里产生、在哪里被治理、如何被另一侧看到。
Agent-m / Agent-n / Maintainer / Router
Claim 是跨 Agent 流动的判断单元;Trace 是本地来源账本;
Policy 与 Dispute 是治理输入;Memory 留在单个 Agent 内部。
Claim协作断言把单个 Agent 的判断镜像为可检索、可复用、可质疑的团队知识对象,但不等同于共享 Memory。
- Agent-msession 后抽取本地 claim,并保留 holder、scope、confidence 与 evidence。
- Maintainer接收 claim mirror;sweep 只检测 stale/deprecated 候选并向 holder 投递属性调整建议。
- Router基于 mirror 重建 claim_index,按 scope/query 返回候选 claim。
- Agent-n看到(Agent-m 的)候选 claim 后,借用、跳过,或结合自身上下文内化为新 claim。
Policy治理输入由 Maintainer 投递,进入 Agent inbox,但不直接改写 Agent 判断。
- Maintainer发布 PolicyUpdate 或 ClaimAttributeUpdate,可广播也可定向发送。
- Agent-m处理 Inbox 后判断是否跳过、内化或更新本地 Claim;团队模式下还可报告符合条件的 Dispute。
- Agent-n同一 policy 在自己的上下文中处理,处理结果可以不同于 Agent-m。
- Trace如果 policy 产生 claim 更新,Agent 写 trace 记录输入与输出关系。
Trace来源账本解释 claim/policy 如何参与任务,以及哪些新 claim 被产出。
- Agent-m在 inbox 内化或 finalize 时写 trace,记录 input_claims 与 output_claims。
- 本地存储trace 跟随该 Agent 的 claims/traces 目录,用于复盘来源链路。
- 团队侧Maintainer 和 Router 主要治理 claim/dispute,目前的设计中不参与管理 trace。
- Agent-n无法看到他人的 trace。
Dispute团队冲突对象团队模式把不同 Claim 的不兼容性保存下来,而不是让系统强行统一口径。
- Agent-m在团队模式下发现至少两条 Claim 之间存在不兼容后报告 Dispute;Policy 不能被 Dispute 直接引用。
- Maintainer记录 open/resolved 状态,resolve 时保留文件和 summary。
- Router查询候选 claim 时附带相关 dispute 摘要,提醒使用者存在争议。
- Agent-n读取候选 claim 时看到 dispute,并可在需要时形成自己的判断或新 dispute。
Memory私有记忆USER/MEMORY 属于单个 Agent,不跨 Agent 复制,也不直接进入团队共享。
- Agent-m Session 启动时在 system prompt 中注入自己的 USER.md、MEMORY.md 和本地 claim 快照,并冻结为当前 Session 的 system prompt 快照。
为保持前缀一致性,此后该 Session 的 system prompt 不再变化。
- Agent-m Session 中注入的 Memory 快照影响判断与执行,Agent 也可通过
memory 工具主动更新磁盘内容;当前 prompt 快照不会随之改变。
- 可选后台 Review按配置 cadence 在用户 turn 后运行独立模型调用,只开放 Memory 工具;失败只记录 warning,不改变已完成的用户 turn。
- Agent-n无法以任何形式读取 Agent-m 的 Memory 及 Session 信息。
两条从判断到治理的完整链路
第一条链路展示一个 Agent 的经验如何被另一个 Agent 发现、改写并继续传递;第二条展示两个高置信度判断发生冲突后,团队如何复审而不越权覆盖 holder 的本地 Claim。
candidate ≠ answer
Router 只把候选送进上下文
检索命中不会自动复制 Claim。接收方仍要结合当前任务、工具证据与私有上下文作出自己的判断。
trace stays local
来源链属于产出它的 Agent
新的 Claim 可以记录 source_claim_ids;更完整的输入到输出关系写入本地 Trace,不上传团队服务。
governance ≠ sudo
Maintainer 给出结论和建议
Resolve 与 ClaimAttributeUpdate 让治理结论可见,但只有 holder Agent 能修改自己的本地 Claim。