LoopX 整体路线总纲 v0:产品、协作、技术与交付¶
- 状态:Draft 总体路线;不自动接受领域 RFC、不晋升 provider、不改变默认权限。
- 范围基线:2026-09-16,
0aa6179de;管家故障复现基线单独保留在第 8 节。 - 责任:总纲拥有产品目标、跨领域依赖、优先级和组合验收;领域 RFC/稳定协议拥有具体规则;运行 Todo 拥有执行状态。
- 语言:English 与本文互为语义镜像。
1. 总目标与产品路线¶
LoopX 的目标是让人用本地前端或 Lark 提出、修订和验收复杂目标,由持久管家协调多个拥有独立工作承诺的长程 LoopX Agent,在本地 managed 与云端 runtime 上持续完成可验证的工作。单 Agent 的长程可靠性是基础,多个 Agent 的协作、handoff、恢复和共享目标收敛是核心能力,百 Agent 规模是需要独立证明的系统资格。
产品成效以在约束内交付的已验收成果、人的注意力成本和恢复能力衡量。在线 Agent 数、生成内容量、工具调用数和 PR 数是过程信号。模型、runtime、存储 provider、IM 或 memory 服务可以替换;Goal/Todo/claim/lease/quota/effect 与验收规则必须保持明确、可追溯的唯一 owner。
| 用户与工作 | 最短价值路径 | 必须能验收的结果 |
|---|---|---|
| 个人开发者/研究者 | 连接项目→一个现有或 managed Agent→连续工作→中断接续 | 安装与首次有效动作可复现;工作、产物、成本和下一步可读;不用理解全部 RFC |
| 项目负责人/管家操作者 | 目标与约束→小团队→依赖产物→方向补充→综合验收 | 能看清谁负责什么、为什么阻塞、需要什么判断;直接与 worker 对话仍可用 |
| 多项目/多主机操作者 | 有范围父子目标→本地/云端分工→共享权威与预算→整体回报 | peer 协作、隔离、公平性和恢复成立;不能因角色变成全局超级管理员 |
| 已有 agent 系统的采用者 | L1 被动诊断→L2 建议→经授权的 L3 seam→可选 L4 控制面 | 先证明无干扰和诊断价值,再证明控制效果;支持不替换原 runtime 的采用路径 |
| 能力/host/provider 开发者 | 最小 adapter→兼容与权限检查→资格证据→安装/卸载 | 扩展不复制内核真相,关闭不影响核心;版本与能力支持可发现 |
产品范围包括工程交付、研究探索、材料与知识工作、office/content 工作等可复用场景。先用一个工程交付案例和一个知识/研究案例证明可迁移性;领域能力归 capability/package,不能把某个场景的评分、阶段或私有语义写入通用内核。金融等受保护外部效果按独立领域合同模拟资格化,不能借“通用管家”直接取得执行权限。
两条采用路线共用工程资产但分别验收:原生 LoopX 长程协调优先完成 G1/G2;observer-first 可靠性诊断可并行证明价值,不等待百 Agent 或 shared service。收费部署、企业功能和托管服务仍是产品假设,不能把架构规划写成已有市场验证或运营承诺。
总纲与现有文档的关系¶
- 本页是跨产品、工程、研究和采用的路线总纲;第 2 节定义 S1–S13 工作流,第 3 节定义 G0–G5 组合里程碑,第 4 节映射全部 RFC,第 5–6 节细化多 Agent 核心路径,第 8 节保存可复核审计。
- 技术方向页 维护公开贡献入口与 tracker,RFC 索引 维护领域路由;它们投影本页的跨域次序,领域 RFC 保持自己的 T/M/D/A 编号和权限门槛。
- 产品愿景、能力目录、稳定协议 和已发布版本定义各自范围。总纲不创造第二套任务账本、状态 schema 或 release 支持声明。
2. 全领域工作流:目标、缺口与执行切片¶
优先级定义:P0 是当前用户旅程的正确性/连续性阻塞;P1 是可重复交付与协作基础;P2 是有证据后扩展规模、场景或采用;P3 保持设计、等待需求触发。优先级表示工作选择,不覆盖安全门槛或既有运行 quota。负责方指模块/能力 owner,不预先指定某个模型或个人。
| 工作流 | 目标及当前基础 | 下一完整切片、前置与退出证据 |
|---|---|---|
| S1 产品与持久管家 · P0 | 从需求、调查、分解到验收回报;现有 manager runtime、team intake 和 settings 是基础,端到端持续工作未完整证明 | 以 R1/R2 为第一批:承诺保留、已绑定 worker 实际推进、用户补充方向后继续;CLI/packaged frontend/Lark 分别标记资格。以两轮依赖产物及独立验收关闭最小旅程 |
| S2 typed 内核与 durable authority · P0/P1 | Effect/Todo/quota/recovery owner、TS 事务迁移与 store 候选已存在;writer 和 provider 晋升仍未全闭合 | 每次迁移一个真实事务/恢复生命周期,先语义反例再切换/删除旧 owner;R1 正确性先于迁移数量。真实 backend、并发/fence、ambiguous commit、保留/导出恢复、bridge 成本及 D1–D3 资格 |
| S3 目标规划与 multi-Agent 协作 · P0/P1 | Vision/replan、peer frontier、claim/lease、directory、manager_context 和显式接续有基础;通用 handoff/共享修订未闭环 | R2 必须证明 peer 依赖;R3 完成并行汇合、流水线、求助/复核、接续、自动回报;R4 做一个保持 intent 的 amendment class。检查依赖环、输入失效、拒绝/延期、lease 转移、同基线竞争及 aggregate acceptance |
| S4 runtime/host/daemon · P0/P1 | attached/managed、Turn、broker、runtime connector 和 Desktop 修复存在;“registered”不等于可执行 | 选择一个真实合格组合完成多 Turn supervision;restart/cancel/drain/stop 不丢工作且旧 executor 被 fence。之后扩 host parity、service-profile 唯一 owner、干净安装与版本升级;按 adapter 能力显示不支持项 |
| S5 前端、Lark 与人机交互 · P0/P1 | 本地对话、settings、proposal 和部分 Goal Channel vertical 已有;统一受众/会话/工作回读仍需资格 | 用一个团队旅程贯穿设置、工作图、handoff、阻塞、成本、修订、产物和回报;共享 typed projection,验证重连/重复点击/stale/原路反馈。再做 intelligent review、无障碍键盘流程、中英术语、错误可恢复和离线降级;只在真实决策处打断人;团队实时工作区让交换、修订与原协调员继续推进可见 |
| S6 材料、证据、记忆与学习 · P1 | authority registry、material lifecycle/frontier、decision context、reward memory、turn recall 已有;方向基线和部分归因仍是提案 | 先打通“材料 revision→同 Agent 阅读→决策引用→产物/结果”;失效、撤销、来源消失与遗忘策略可回读。handoff 保存影响决策的摘要与授权 artifact;OpenViking/Obelisk 按可选 provider 资格化。utility 的因果收益另以对照证明,不把相关性当提升 |
| S7 预算、调度与 fleet 规模 · P0 观测/P1–P2 扩展 | quota/scheduler 与部分 usage aggregate 存在;全 provider 成本、分布式资源预留及百 Agent 并发尚需证据 | 先区分配置预算、准入、消耗与估算;未知成本不记零、重复事件不双记。R7 分页/有界摘要、provider/host 限流、公平性、背压、事件唤醒与失败隔离;分别报告注册数/活跃数/吞吐量和每个验收成果成本 |
| S8 能力、扩展与领域集成 · P1/P2 | 已有 capability catalog、extension 生命周期、hook、工程/研究/content/office 能力及 computer-use 合同 | 优先用现有 issue-fix/PR-review 和材料/研究 caller 检验共享控制面;每个 provider 带 readiness、版本、权限、默认关闭、卸载/回滚、失败隔离与真实入口证据。新 domain effect 从模拟单操作闭环开始,不先建市场或通用工作流 DSL |
| S9 身份、权限、隐私与信任 · P0 持续/P1–P2 远端 | public/private 边界、作用域、capability gate、fence 与确认合同分布在已有 owner | 随 R1/R3 验 sender/audience/artifact scope 和 stale authority;远端 R6 必须认证 tenant/Goal/actor/host、轮换撤销与最小权限。凭据保管、非可信工具/文档输入、依赖供应链、审计留存/删除及漏洞响应纳入真实路径;角色、消息或 memory 不铸造写权限 |
| S10 可靠性、诊断与运行运营 · P0/P1 | recovery/canary、read-only diagnostics 原型及 DSH event adapter 已有;C0/C1、开销和完整运营资格仍未闭合 | 故障分类→可观察状态→恢复演练→防复发;覆盖进程/存储/网络/投递故障和数据增长。定义并冻结 SLO、RPO/RTO、容量/保留边界,实测后标 qualified;运行手册含升级、备份恢复、停止与人工接管,不以测试数代替恢复结果 |
| S11 评测与科学研究 · P1 持续/P2 研究 | benchmark toolkit、Explore、长程 portfolio 与十轨 frontier science 有设计/局部实现 | 固定 native/passive/governed arm、模型/harness/预算/task split 与 evaluator;报告原生分数、成本、失败、人工介入和不确定性。sequential evidence、continuation、stride 为早期研究;memory、formal kernel、curriculum/evolution、主动实验与多尺度状态按 T01–T10 分阶段,不自动影响生产 |
| S12 发布、开发体验与社区治理 · P0 卫生/P1 | 安装、源码验证、扩展注册、DCO/PR、测试层级、contributor route 与双语文档已存在 | 从干净机器/发布包验一条首次工作和一次升级/回滚;host/OS 支持以 release contract 为准。缩短合理改动的定位、测试和 review 成本;公开精确 head、可重复 fixture、兼容窗口、维护者路由和贡献归属,退休重复协议及过时证据 |
| S13 采用、生态与商业可持续性 · P1 发现/P2 试点 | 公开 adoption loop、showcase、license/governance、observer-first 产品合同已存在;付费 PMF 未证明 | 先收集真实独立首次使用/重复使用/退出原因,做可复现案例和有固定预算/验收/回滚的试点;沉淀 reusable adapter 与交付手册。核算模型/计算/存储/支持成本及维护负担;满足重复需求后再决策商业托管边界、支持等级和分发,不承诺 SLA 或擅改开源条款 |
RFC 之外的关键覆盖与 owning sources¶
下列不是可忽略的配套事项;它们直接决定一个长程团队是否可用。目录或 README 证明的是可发现的实现/合同入口,具体安装可用性仍从 loopx capability list/show 与选定版本读取。
| 领域与已有入口 | 所属工作流 | 当前总纲要求的下一步 |
|---|---|---|
| Goal Vision/replan、work graph、peer runtime、监督 | S2/S3 | 将跨工作依赖、重规划、验收与 handoff 放进同一个真实案例;aggregate closeout 必须消费验收事实 |
| quota、cadence、attention | S5/S7 | 预算耗尽/延期/被阻塞时有明确下一次触发及用户回读;百 Agent 不靠高频全文轮询 |
| 材料生命周期、材料 frontier、authority 注册 | S6 | 路线/RFC 更新能由 Agent 按 revision 发现并登记阅读;read receipt 不表示同意或获得权限;归档不丢原始来源 |
| Decision Context、Reward Memory、Semantic Preference、Turn Recall | S6/S11 | 区分事实、偏好、建议、归因和权威;同一 scope 的回忆/失效/结果反馈负例先行 |
| Issue Fix、PR Review、Change Quality、Integration Branch、Change Window | S8/S12 | 作为工程团队的端到端 caller:问题→实现→独立 review→验证→批准范围内交付;head 漂移不复用旧证据 |
| Explore、Benchmark Toolkit、auto-research | S8/S11 | 作为第二类协作旅程:问题/假设→并行实验→独立解释→后继;无提升/失败也形成有效结果 |
| Content Operations、Periodic Report、office operations、domain packs | S5/S8 | 公共投影驱动显示;草稿、review、发布权限与结果分离;不将 generic sink 绑定项目私有文档 |
| Extensions、runtime catalog、host surface、skill delivery | S4/S8/S12 | 最小 adapter 示例与注册 readback 一致;兼容矩阵、升级/禁用/卸载有实测;host skill 不成为第二内核 |
| Computer Use、operator credential、private boundary | S8/S9 | 按实际 host 限制与敏感操作授权验收;外部文本无法自行提升权限,截图/日志与凭据有隔离和留存边界 |
| Testing/quality、CI impact、source correctness、release readiness | S2/S10/S12 | 独立语义预期、真实 backend 与安装入口、负例/mutation;控制验证成本,但不把 skipped 当通过 |
| Install、newcomer path、design、user guide | S1/S5/S12 | 首次价值路径、错误修复、支持平台、可访问性和双语一致性;UI 变化使用既有 design 和 first-screen review |
| Public adoption、scenario gaps、SaaS assessment、licensing、governance | S12/S13 | 公开成果与失败反馈可追溯;商业假设独立验收,license/贡献者归属/社区权限按既有政策,不由总纲改写 |
3. 组合里程碑、资源次序与完成定义¶
S 工作流表示长期责任,G 里程碑表示一次可验收的产品组合,R 卡表示当前主线实现切片。三者互相引用,不新增运行状态机。未列日期表示按证据晋级;可用资源和业务优先级改变时更新 canonical Todo,而不是假定全部同期开工。
| 里程碑 | 产品退出条件 | 必须闭合的工作流 / 核心路径 |
|---|---|---|
| G0 可信基线 | 当前功能/默认值/资格可读;已复现承诺丢失、stale、空成功、部分提交等错误有回归和修复;发布包的单 Agent 基本循环及成本未知项显式可见 | S1/S2/S7/S9/S10/S12;R1。不会因总纲合并自动完成 |
| G1 小团队交付 | 管家和 2–3 个长程 LoopX worker 至少两轮真实协作,含依赖产物、peer handoff、故障恢复、用户补充与独立验收;单 Agent 路径继续可用 | G0;S3/S4/S5;R2 + R3 的最小现有路径,不等通用迁移或新 store |
| G2 可恢复的协作工作台 | 通用 peer 请求/复核/结果返回、会话接续、材料与方向基线可追溯;本地前端/Lark 使用相同事实;本地 durable profile 通过适用资格 | G1;S2–S7/S9/S10;R3/R4/R5。D3 等显式晋升仍单独决策 |
| G3 本地/云端共同工作 | 至少两真实 host(含云端),认证作用域、撤销、网络故障、共享预算与旧 worker fence 成立;依赖产物和回报跨 host 可恢复 | G2 相关合同;S3/S4/S7/S9/S10;R6 |
| G4 百 Agent 资格 | 10→30→100+ 的活跃 cohort 分级满足预先冻结的吞吐/延迟/成本/恢复 SLO;宏观目标经历方向变化仍收敛,管家不成为消息瓶颈 | G3;R7;S5/S7/S10/S11。注册百行不能替代该门槛 |
| G5 可重复采用与生态 | 外部用户可独立安装、复现、升级、导出/回滚;至少工程及知识/研究两类旅程形成可验证案例;支持成本、维护归属、试点成效有记录 | S8/S10–S13 从 G0 并行投入;小范围采用不等待 G4。商业服务须额外明确运营与许可边界 |
首批资源顺序:先完成 R1 的用户承诺与恢复闭环,再验 G1 的真实小团队;允许一个相邻 TS 事务/投递修复切片和一个只读诊断/材料资格切片同期准备,但不得让后续设计掩盖 P0。每个实现切片只有一个主 owner、一个主验收结果和明确依赖;同时进行多少项按实际 review 与验证容量决定,不按 Agent 数填满任务板。
暂停/降级条件:新方案复制权威或扩大默认权限、真实 backend 资格缺失、改动无法独立回滚、成本或人工干预随规模失控、benchmark integrity 失败、用户无法解释当前工作与阻塞。保留事实/回执,停止相关新 admission,修复规则或缩小 cohort;不能靠放松验收、删失败样本、刷测试预期或换名晋级。
跨领域指标与验证矩阵¶
| 维度 | 统一口径 | 最低证据 |
|---|---|---|
| 成果/收敛 | 已验收成果率、目标关闭质量、失效产物重做率;分开无提升、失败和未知 | 独立 verifier/验收 owner;完整失败分母、目标与输入版本 |
| 协作/接续 | 请求采纳延迟、依赖等待、交接后首次有效动作、原路回报达成率、重复受保护效果 | request/work/artifact/receipt lineage;接收方拒绝、来源消失、中断重放及旧 lease 反例 |
| 人的注意力/UX | 首次有效成果时间、每个已验收成果的人工介入/决策次数、阻塞定位时间 | 本地与 Lark 真实旅程;授权边界与未测试入口分别记录 |
| 资源/规模 | host/provider 并发、队列 p50/p95、成功吞吐、tokens/费用/存储、成本/成果 | 区分观测/估算/未知、registered/active;冻结负载、预算、价格来源和样本窗口 |
| 可靠性/安全 | stale/越权拒绝、重复效果、RPO/RTO、恢复时延、隔离/删除结果 | 故障注入 + 隔离真实 backend/host;备份恢复与密钥撤销演练 |
| 工程/采用 | 兼容与升级成功、模块/bridge 简化、复现时间、独立首次/重复使用、支持成本 | 发布 artifact 而非只验源码;公开脱敏案例、可追溯反馈;不凭安装数宣布 PMF |
不预先发明未经测量的性能数字。每个实验/试点开始前,由对应 owner 固定目标阈值、基线、预算、停止条件与证据范围;结果出炉后改变阈值应作为新实验。G4 correctness 要求无重复受保护效果和过期/越权提交,性能/成本阈值另行测量资格化。
4. 全部 RFC 的落位与下一步¶
下表覆盖范围基线目录内的 30 个主 RFC,中英镜像合并计数;本总纲是新增的第 31 项。它同时记录已接受、局部实现、研究和 Held 方向,不表示全部立即开工。状态来自 RFC/现有 reference 与重点源码核对;除第 8 节外,未做每个子系统的完整运行资格。
| RFC | 工作流 | 当前边界 | 下一切片 / 验收要求 |
|---|---|---|---|
| Agent Loop Effect Interpreter | S2 | Accepted;核心已实现,继续采用 | P0:复用 effect/recovery,先补 R1 部分提交反例,保持 replan ACK domain-local |
| TypeScript Control-Plane Migration Direction v0 | S2 | Accepted;整笔事务迁移中 | P0/P1:R1–R4 热事务优先;T0–T4 caller/删除/成本证据;不是百 Agent 前全量重写 |
| Semantic Vocabulary Convergence and Commit-Time Drift Checks (v0) | S2 | Draft;registry/inventory/drift 与后续 typed 切片存在 | P1:按语义角色收敛 vocabulary;盘点真实 producer/consumer;不凭枚举同名合并,schema 改动单独审阅 |
| LoopX Shared Control-Plane Authority and Pluggable State Providers (v0) | S2/S3/S7 | Draft;store、局部事务和 service admission 基础已存在 | P1→P2:R5 本地 D1–D3;R6 认证跨 host;真实 backend/soak/恢复资格后才晋升 |
| Shared Goal Alignment and Governed Amendment Protocol (v0) | S3 | Draft;Stage 1/2,完整 intent/commit 未闭合 | P1:R4 一个 work-graph amendment class;CAS/lease impact、冲突及丢响应回执 |
| Goal Direction Baseline (v0) | S3/S6 | Draft;只读设计 | P1:合成 fixture 验同 Agent/current revision 的材料阅读;不写 Vision、不自动建 Todo |
| Goal Artifact Lifecycle Projection (milestone / guard / next-transition) v0 | S3/S5 | Draft;只读设计 | P1:从现有 typed facts 显示 milestone/guard/next transition;不加流程引擎 |
| Capable Agent Manager and Semantic Work Handoff (v0) | S1/S3 | Draft;profile/intake 局部交付,M1–M4 未完整验收 | P0→P1:R1/R2 真实团队,R3 语义 peer 协作与持久回报;接续矩阵及 A1–A20 |
| Manager runtime profile v0 | S1/S4 | Draft;private Codex profile 已有,通用资格未完成 | P0:真实工具/会话/恢复与权限分级;runtime label 不代替资格 |
| DSH / Pi: L1 Observation and Managed Runtime Selection | S4 | 持续选型记录;局部 runtime 与 team card 证据 | P0:沿已合格 binding 验 R2;按 harness/model/profile/host 记录资格,不据一次 smoke 统一晋级 |
| Explicit Todo continuation: Stage A | S3/S6 | Stage A 已交付;文件名不代表通用 memory substrate | P1:R3 复用 prepare/inspect/adopt;同机无 lease 限制保留至新接续路径验收 |
| Agent Session Execution Modes (v0) | S4 | Draft;attached binding/broker/fence 局部实现 | P0→P2:一个 binding 一个 executor,managed supervision,再做跨 host admission;禁止静默模式切换 |
| Single-Owner Local Daemon (v0) | S4/S10 | Draft;现有 Desktop ownership repair 不等于 loopxd | P1:按 service-profile 唯一 owner/readiness/drain/restart 验最小组合;无第二 scheduler |
| LoopX Desktop Execution Frontends v0 | S4/S5 | Draft;attached/managed/UI 基础存在,统一旅程未完整验收 | P0→P1:本地设置→绑定→团队→修订→恢复→回报,packaged frontend 实测;保留直接 worker 对话 |
| Goal Channel Collaboration v0 | S5 | Draft;Lark vertical 局部已交付 | P1:team card/回报/幂等/受众实测;Goal channel 与 Agent session binding 不混同 |
| Provider-Neutral Turn-Start Inbox Hook v0 | S3/S8 | 显式配置下已实现 | P0 硬化:有界读→语义 triage→ACK/replay;默认关闭与 provider 私有 cursor 保持 |
| Provider-Neutral Post-Writeback Capability Hooks v0 | S3/S8 | Draft;periodic-report 首个 vertical 已实现 | P1:R3 返回/后继复用 durable intent;hook 失败隔离,不能加入主事务或直接执行 effect |
| Agent IM, LoopX, And OpenViking Collaboration v0 | S3/S6/S8 | Draft;三 owner 集成仍待资格 | P1/P2:IM 投递、LoopX work authority、OV context 分离;断线重放/权限撤销/来源失效 |
| Per-Goal Usage, Token, and Cost Surfacing v0 | S7/S5 | Draft;Codex aggregate/cost 展示已有切片 | P0 观测→P1 多 provider:未知不作零、重复扣费去重、价格来源/时效;usage 不自动授权预算 |
| Intelligent Review and Dynamic Presentation Surfaces v0 | S5 | Draft;action/attention 纵切及本地交付链/验收复盘已实现 | P1:跨渠道披露和受治理的修订/结算复盘;本地可见性不代表 G2 通过 |
| Human Attention Wishlist v0 | S5/S11 | Draft;Held | P3:第二个重复真实需求出现才重开;sidecar 不改变 gate/quota/调度 |
| Human-confirmed domain operations (v0) | S8/S9 | Draft;proposal only | P2:模拟 adapter 的一次不可变确认→effect→对账→原路回报;金融 provider 独立包,不扩普通协调权限 |
| Research Exploration Control Plane v0 | S11/S3 | Draft;M2 composition/successor 局部实现 | P1:observation/write-time gate/closure basis 独立验证;自选模型和推断触发继续 defer |
| Hierarchical Agent Stride Control v0 | S11/S7 | Draft;M1 只读观测 | P2:matched shadow stride 实验,定义代价与事件;不直接改变生产节奏 |
| Post-Outcome Memory Utility Attribution v0 | S6/S11 | Draft;Stage 1 verified-outcome 绑定 | P1 只读 reducer→P2 pilot:区分 recalled/applied/utility,归因不自动改 ranking |
| Obelisk Session Evidence Provider v0 | S6/S8 | Draft;可选只读评估 | P2:显式 gap recall、来源与权限可解析、关闭不影响主流程;不当 work authority |
| Frontier Science Research Program v0 | S11 | Draft;十轨研究提案 | P2:优先 sequential evidence/continuation/stride;T01–T10 按现有 owner、冻结实验与升降级门槛 |
| Long-Horizon Harness Benchmark and Research Program v0 | S11 | Draft;active research program | P1 持续:ALE/LHTB/DeepSWE 原生结果、matched arms、成本/恢复,研究环境不进入产品运行面 |
| Benchmark Study Upload and Dashboard Projection v0 | S11/S5 | Draft;manifest/upload projection 提案 | P2:紧凑 public-safe study→readback,保留 benchmark-native score authority;显式 opt-in upload |
| Long-Running Agent Reliability Diagnostics and Governed Delivery v0 | S10/S13 | Draft;L1 default-off 原型与 DSH event adapter 存在,P0 未验收 | P1:C0 adapter fidelity/C1 non-interference/overhead;再讨论 L2 advice/L3 governed seams/L4 adoption |
共享权威的证据 companion 属于 S2/S10 的 backend/soak 资格;RFC 模板 和索引 属于 S12 的维护合同,不作为额外产品能力。未来新增主 RFC 必须补一行,删除/合并必须保留替代指针;历史文件名不能提升交付成熟度。
5. 多 LoopX Agent 的架构与协作验收¶
flowchart TD
UI[本地前端 / Lark] --> M[持久管家 Agent]
M --> C[共享请求 / 判断 / 结果]
C --> K[TS Goal / Todo / lease / quota / effect owner]
K --> A[已选择的 authority provider]
K --> H[managed supervisor / attached adapter]
H --> L[本地 Agent]
H --> R[云端 Agent]
L --> K
R --> K
K --> C
C --> O[持久 outbox / 受众投影]
O --> UI
这张图是目标依赖图,不能读作所有接缝已经实现。
| 边界 | Owner / 落位 | 禁止的替代权威 |
|---|---|---|
| 用户意图与共享修订 | alignment RFC 的 Goal intent/amendment owner | 聊天摘要、计划 digest、管家人格或 provider revision 直接批准修订 |
| 计划、依赖、claim、lease、quota、终态 | 既有 typed control-plane bounded contexts | 新增管家 task DB、Python 决策镜像、host-local 工作真相 |
| 请求、接收方判断、结果关系 | 从 manager_context 收敛的 collaboration 边界;manager→worker 与 worker→worker 共用 |
用消息 sent 表示 adopted/completed,或复制 Todo 状态机 |
| 进程与会话 | session mode + 实际 host adapter/supervisor | 根据在线 presence 接管;managed/attached 静默切换 |
| 持久化与跨主机准入 | AuthorityStore 与所选 provider/service |
Agent 直写数据库,或把所有 Goal 状态随意塞入 coordination head |
| 显示与回传 | packaged frontend、Lark adapter、已有 outbox | 前端/Lark 各存一份计划、权限或运行状态 |
本次只修改设计文档,不新增 capability/provider。后续 R1/R3 优先扩展既有 work-items/collaboration owner;runtime profile 复用 manager_runtime,执行器选择复用 steward_executor,会话生命周期复用既有 controller。云端 provider adapter 若独立分发,归 extension/package;generic registration/lifecycle 才归 loopx/extensions/。每个实现 PR 先写 placement rationale。
“管家协调”允许逻辑上的目标分解、优先级建议、委托和综合;peer_v1 不禁止这种产品角色,但禁止因角色获得单方写入、抢占或提权。跨多个 Goal 的宏观目标应通过已有 Goal 关系和有范围请求关联;跨 Goal 依赖或汇总验收若缺少 owner,先交付一个有真实 caller 的有界合同,不能先造全局调度 DSL。
主 Agent 可以是已有 attached Agent 或 managed Agent;获授权的 worker 能用同样操作 协调下一层。区分 Agent 创建/复用、会话挂接/启动、通信和工作验收。 会话 RFC 拥有通用生命周期与每 binding 唯一续跑 owner; 前端 RFC拥有 inbox/queue/steer 投递语义;handoff RFC 拥有接收者采用和分层返回。这些是拟议集成 要求,不是新 runtime、provider 保证或权限默认。
Agent 决定并修订工作图;通用 host 服务负责准入、派送、预算和恢复,不编码业务 phase。先让本地/云端 managed 工作通过同一 governed Turn 合同,同时保留分别 资格化的 native Goal、同会话 driver 路径。整队资源额度不能复制给每个子协调者。
下一轮 R2/R3 集成优先验收一条可复用契约链,而不是增加 coordinator 专用工具: 实际 profile/上下文解析及注册/驻留/活跃读回,由会话 RFC拥有; 独立于创建父子关系的请求身份、请求者可恢复结果,由交接 RFC拥有; 独立于唤醒准入的投递意图,由前端 RFC拥有。 复用现有 operation、request、ingress 和 outbox owner。先覆盖兄弟请求、多输入合流、 成员中断且无答案、结果提交与通知之间重启,再考虑驻留优化。这些是提议中的验收 细化,不新增运行时保证,不改变 G1–G4 门槛。
多个 LoopX Agent 的协作与 handoff 验收¶
协调对象是各自持有目标、承诺、frontier 与执行绑定的长程 LoopX Agent,不只是管家进程中的临时子任务。管家→worker 与 worker→worker 使用同一协作合同;worker 可以主动求助、提供结果、质疑依赖和提出重规划,无需每次让管家转发。管家负责整体推进与综合,不能成为每条消息或每次状态提交的串行中转站。
| 协作方式 | 持久关系与正确性 | 最小真实验收 / 路线 |
|---|---|---|
| 并行分工后汇合 | 分支工作身份、输入版本、产物/验收引用及 join 条件属于 canonical work graph;消息完成不满足 join | 两个 worker 独立产物进入第三个集成步骤;一个失败时不误报整体成功,互不依赖分支继续。R2/R3 |
| 流水线依赖交接 | A 的已验收结果绑定 B 的输入;B 自行接受或报告缺口;上游修订使相关消费基线失效 | A→B→C 至少两轮推进,B 拒绝不完整产物并向 A 请求补充;不能只演示三条 Todo 同时创建。R2/R3 |
| 同伴求助与独立复核 | 请求/回复关联原工作与期望回报;保留各自已有承诺和受众边界;复核不自动取得提交权 | worker→worker 发起有界求助/复核,拒绝、延期和证据不可读都可回读,管家看到聚合卡点。R3 |
| 执行责任接续 | 语义包与所有权转移分别记录;接收消息不转移 claim/lease。活动工作交接由现有 work/lease owner 决定释放、重获或 fenced transfer | A 中断,B 根据允许转移的工作和持久上下文恢复;旧 A 返回不能重复提交。#4094 仅证明同机无 lease 的窄路径,不能冒充该完整能力。R3/R4/R6 |
| 跨 Goal / 跨 host 协作 | 显式授权的父子目标/请求、产物与回报关系;远端身份、访问和提交经 authority owner 校验 | 本地规划/集成与云端执行共享可验证依赖,断网重放、撤销权限及来源会话消失均不丢失回报义务。R6 |
语义 handoff 的最小信息是目标/请求/工作身份、来源与接收者、意图及输入基线、目的与已作决策、约束/非目标、已完成和剩余工作、可授权解析的产物与证据、验收/回报要求及当前 claim/lease disposition。由已有合同承载这些事实,不能为表中每项新造一个 envelope。只交公共工作摘要,不复制原始 session 数据或私人推理轨迹。请求接收、工作采纳、效果提交、结果验收和答案送达是不同事实,复用各自 owner 的回执及幂等身份;超时不能凭空代表拒绝、失败或接管成功。
R2 的一条依赖必须通过真实 LoopX Agent 间的请求/产物交接完成;这是 P0 小团队退出门槛,不能推迟到百 Agent 阶段。R3 补齐通用 peer 协作、持久返回和恢复迁移;R4/R6 再资格化有 lease 与跨主机转移。所有阶段禁止循环等待无人发现:依赖环、拒绝、超时与失效输入需成为管家可见阻塞,沿已有 replan owner 求解,不能另建全局调度器。前端与 Lark 应显示请求→采纳→工作→产物→验收→回报的关系和当前阻塞,不能只显示 Agent 在线数或消息历史。
6. 核心交付路径:R1–R7 执行卡¶
| 卡 | 优先级 / 可验收结果 | 硬前置 | 可同时推进但无需等待 |
|---|---|---|---|
| R1 | P0:确认内容与工作落盘一致,失败/重试可恢复 | 当前 main + F1–F4 回归 | TS 其余事务、provider 晋升 |
| R2 | P0:一个管家驱动 2–3 个已绑定 managed worker 完成连续工作 | R1;选定 runtime/profile 的真实资格 | 通用 collaboration 全迁移、PostgreSQL |
| R3 | P1:语义交接与自动回报,重启后不用人追问 | 现有 inbox/outbox;通用 producer 依赖事务迁移 | 早期正文/传输恢复可与 R1/R2 同期 |
| R4 | P1:共享意图/工作基线与受治理修订形成闭环 | alignment Stage 1/2、相关 TS 事务 | 不阻塞不改变共享意图的 R1–R3 |
| R5 | P1:本地 durable authority + 长程存储资格 | T0–T3 受影响事务、D1/D2/D3 | 与 R1–R4 同期准备,不把全部 TS 重写设为前置 |
| R6 | P2:本地与云端使用同一权威、可恢复执行 | R2/R3;所选 shared profile、认证服务与相关 R4 合同 | PostgreSQL service 工程可早做;不得提前晋升 |
| R7 | P2:分级扩到 10 / 30 / 100+,有容量和恢复证据 | 对应规模的 R1–R6 闭合 | 分页/性能诊断可早做,不以大 prompt 或提高 cap 代替设计 |
这些优先级是产品推进次序,不改变现有 Goal 的运行 quota,也不授权启动实验或云端资源。安全的本地小团队使用已支持的 authority profile,无需等待新 provider;改变 profile 或保留策略时,原有真实 backend、soak 与显式晋升条件继续是硬门槛。
R1:可靠的团队计划提交¶
- 真实入口与 owner:
ChatActionService、受治理 proposal、canonical Todo writer,以及前端的确认/回读;Lark 有对应入口时使用同一服务。 - 先复现: F1–F4;另外覆盖相同 text 的不同 lane、已有 Todo 在 retry 前完成/修改、两个确认并发、receipt 写入后响应丢失。
- 最小完整修改: 对计划字段逐个明确是执行约束、持久验收引用还是 advisory。priority 通过现有 Todo 合同保留;quota/stop 只能消费已有 policy owner,未支持的强制项须在确认前报不支持,不能只存一份 JSON。保留 lane→Todo→acceptance 的关系。
- 事务要求: 基线绑定相关 Goal/授权/工作事实,在 commit 时复验;不能只 hash 整个 registry。选用已有可支持的整笔事务,或有逐 lane 身份/receipt、持久恢复游标及执行屏障的可恢复流程,明确原子性边界。不能因 API 名字叫 settle 就声称原子。复用 Effect recovery,不建第二 scheduler。
- 退出: 独立回读证明承诺保留;all-gap/partial/stale/rejected/committed 区分;中断后恢复不复制、不扩大工作,原接收界面显示精确结果。新增独立语义反例,不能只断言一行存在。
- 回滚: 停新计划 producer,保留可读旧预览/receipt 及未完成对账;不删除已经形成的工作。
R2:小团队持续执行¶
产品职责。 管家负责所有者跨项目的上下文、取舍和注意力;项目 coordinator 是 对有范围目标、实质调查与综合负责的普通注册 Agent。成员可以用同一操作协调更小 范围的工作。本地 Goal Chat 复用范围内证据、语义交接和原对话返回;显式开启 LoopX 模式后支持原生持续推进、授权成员 委派和暂停恢复,普通对话不隐式启动 worker。见共用能力、本地路径与实施顺序。 这一进展补齐 R3 本地入口,不关闭 R2/G1,也不新增 Lark 资格声明。
- 入口与 owner: 现有 session binding、Turn driver、quota/scheduler、manager runtime 配置;复用已有设置 editor,不新建 profile。
- 交付: 区分 registered、可接收请求、已绑定、可启动、正在执行和阻塞;计划 ready 不能暗示正在工作。对已授权且具备资格的 managed binding,沿现有 launch/supervision 路径启动下一有界 Turn。attached host 继续由其原 host 驱动。
- 资格: 用真实选定 runtime 执行至少两轮“取工作→产物→独立验证→settle→下一工作”,中断并重启一个 worker,另一个保持推进;验证旧执行器返回时的 fence、取消及停止后不再启动。DSH 单段 read-only Chat 与 Codex
trusted_owner分别验收,不互借资格。 - 退出: 2–3 worker、一个依赖、一个故障、一个方向补充;Agent 自主选择和修订委派,无人工 phase 输入或结果转发。经 packaged frontend 查看,同一状态能从 CLI 读回;Lark 的授权入口能读到对应受众可见反馈。无 Lark 实测则该入口标为未验收。
- 回滚: 停止新增 admission,drain 已接受工作并保留绑定/receipt;不能借 attached fallback 保持“在线”。
可选混合团队 Turn 切片。 Ark 适配器 与 DSH 复用既有 Turn 边界。通用本地委派接口 组合已有 peer 请求、采用、返回、显式执行绑定及已合并 TS 验收 owner,替换示例专用 委派逻辑。主协调员与普通成员使用同一授权合同;未启用执行配置的 stdio 服务保持 原有五个非执行工具。文件形式的 provider 配置缩短启动参数,不改变默认执行器。
合成投研示例由本地主 Agent 组织两个 DSH 和两个 Ark 成员:云端核验员采用本地分析,另一 Ark 成员继续委派 DSH 后向本地主 Agent 返回。五个稳定预授权任务一次绑定精确验收;Turn 验证与普通 Todo 完成入口分别执行当前 pinned 检查,accepted 返回读 canonical 完成状态及精确 产物。问题与委派顺序由模型决定,总体 Goal 保持 active。
持久操作 ID 与既有 Turn journal 支持来源会话消失后的结果接回。实测在 Ark 输入 ACK 后杀掉本地 worker/Turn/provider 进程组,再以原 Session/输入恢复到 canonical 完成; 观察到云端等待本地工具,且自有资源清理已确认。不明的创建、输入 ACK 或工具副作用 仍须核对;重连不重发任务、不重置原执行期限。这是本地可信宿主底座,不代表 G1/G3 完成。长期 attached 会话、通用 Agent 创建、动态受治理工作派生、完整 inbox/queue/steer、 认证远端权威与 packaged frontend/Lark 配套仍归 R2/R3/R4/R6;不晋升已有 Goal。
有 shell 能力的原 coordinator 可通过 delegation list/operations/start/read/wait/resume 调用已有执行 owner,无需替换会话。operations 从自身持久记录找回上下文丢失前的工作,重新核验 accepted,保留不可用分支与分页;已启用的 MCP 和新挂载工具的 Goal Chat 共用该读模型;已有原生线程恢复时保留原工具 schema。读取不启动工作,也不把展示列表当整体 readiness。合成示例 prepare 仍只准备隔离绑定。下一步先将实际执行/验收事实接入已有 R2 readiness,再沿现有注册及 runtime 配置扩展经授权的身份/profile 创建,并验证原请求返回与主力继续推进。无人值守唤醒、完整跨宿主 inbox/queue/steer 和 Lark 等价仍分别验收,不因新增恢复入口晋升 G1/G3。
本地 Goal 对话现可按需读取该持久目录,并按绑定调用实际 Turn dry-run 与所选 executor/profile 检查启动条件。任务准入、当前 pinned 验收绑定、运行时可用性分开 表达;未探测的通用/云端运行时保留未知。CLI、已启用 MCP 和新 Chat 工具共用此 检查,不新增状态账本,也不启动执行。这只验收本地执行事实的读回;计划分配回执 整合、通用创建、远端探针、两轮持续协作及 Lark 等价仍由原 owner 继续推进。
团队现场是 S5 核心产品目标。 团队实时工作区 RFC 融合精确指挥台与空间研究工作室:展示产物交换、有来源的分歧、结论修订、回放与 语义缩放。它复用既有 owner,不建立第二套编排。下一完整前端切片在打包工作区 呈现一次真实异议→修订→独立验收→请求方采用,提供可检查证据、干预 / 停止 反馈、独立 CLI 回读与真实降级状态;随后按上述标准验收原投研 coordinator 的两轮真实协作。既有 runtime 准入 / provider 修复保留原 owner;合成场景不能充当 readiness 证据。展示负载 10→30→100 在测前冻结渲染 / 注意力预算,和 R7 实际并发分开资格化。当前为设计 提案,不晋升 G1 或默认首屏。
R3:语义请求与自动回报¶
- Owner: 管家 RFC M2/M3;从已有
manager_contextrequest/tracking/return 迁移到单一 typed collaboration 事务,纳入 #4094 adapter。 - 交付: 交接保存目的、决策、约束、证据引用和期望回报;receiver 读取后自行 adopt/defer/reject/replan。用独立事实表示 accepted work、result committed、answer delivered;从已有 outbox 自动回传。
- 退出: manager→worker 和 worker→worker 两个真实 caller,补充消息、来源会话消失、超长答案、重复回调、发送成功但 ACK 丢失及传输重启;同一结果在 CLI、packaged frontend、Lark 回读一致且受众隔离。普通已授权工作不增加第二次人工确认。
- 迁移/回滚: characterization 先行,记录旧 writer/reader 映射与删除收益;关新 producer 后可 drain 旧请求。不要同时保留两份可写生命周期。
R3 还需验证 handoff RFC 的分层 A6/A8/A13 扩展:普通 managed worker 请求、验证并 综合另一 peer 的产物后再返回主 Agent;各层复用相同 request/work owner。入口 fixture 在未决工具、取消、迟到结果下区分 inbox 收件、后续 queue 工作和已采用 steer;传输成功不关闭请求。复用现有 R2/R3 后继,不另开平行团队编排项目。
R4:共享目标对齐与演化¶
- Owner: alignment RFC Stage 3–5;TS Goal/work-graph owner。
- 先收口:
intent_basis仅是现有 source-facts digest;保留兼容 reader,真正引入 intent revision 时单独版本化并盘点 producer/reader。不得改名后假装历史回执拥有新语义。 - 交付次序: 明确 root intent/permissions/acceptance/stop 的 authority;先做保持 intent 的一个 work-graph commit class。普通 Todo 编辑仍走现有 owner,不能给每次 add 强加 amendment 流程。跨共享承诺修改才消费有范围 policy、必要的 verifier、精确 CAS 与 lease-impact disposition。
- 退出: 两个 peer 在同基线竞争最多一个冲突提交成功;响应丢失返回原 receipt;已租用工作明确继续/重基/停止;所有受影响 frontier 更新或被 gate。扩张权限拒绝;无关 peer 继续,不等待全员投票。
- 回滚: 停该 commit class,新 proposal 保留且不产生 effect;不恢复旧 revision 或放松 fence。
R5:TS 收敛与本地持久化¶
L3 检查点:独立领取/接管、原子 claim 准入与维护共用 typed lease facts/rules 和 provider opening;原领取重试校验当前执行 proof,真实 CLI 完成可恢复缺失 Markdown 展示。覆盖完整 scope 冲突、进程中断及 File/SQLite/PostgreSQL 只读演练。剩余 executor 与集成边界;R5、D2/D3 和默认化资格仍未完成。
- Owner: TS RFC T0–T4、shared-authority D1–D3;保留两套编号及原门禁。
- 选择规则: 优先迁移 R1–R4 热路径的一笔完整事务或恢复生命周期,附前后 caller/owner/crossing 表、实际删除和性能证据。不要继续按单字段增加 Python→TS RPC;不要重建已合入的 Todo update。
- 交付: 用已选本地 profile 验证完整来源读取、单向 Markdown 投影、event/receipt 保留、重启恢复、容量与长期成本;source 失败不能回退 legacy。R1 不能把大计划正文塞入 coordination head。
- 退出: 相关真实 CLI/backend、不可变 baseline 与候选对照、负例/mutation、三臂演练及适用 D2 至少十日 soak;D3 切换保留明确批准。此次审计没有执行新的 soak,也未晋升 provider。
- 回滚: 按已审阅的 fenced export/import 和 schema-aware downgrade,不能靠替换二进制恢复旧写权威。
R6:本地与云端汇合¶
- Owner: shared-authority provider/service、session host adapter、collaboration;基础是已有 PostgreSQL admission/identity-rotation seam,不重写 store。
- 交付: 真正的认证传输、tenant/Goal/actor 权限、host identity 和 capability admission;跨主机 request/receipt/wake 只通过各 owner。处理断网、租约过期、旧 worker 回归、service restart/restore incarnation、ambiguous commit。
- 退出: 至少两个真实 host(含一个云端 worker)在隔离 tenant 上协作;错 tenant/actor、撤销与 split-brain 负例通过;共享预算与 admission 有明确 owner,不能声称本地 quota 就是分布式资源预留。
- 回滚: 停远端 admission,保留已提交事实并 drain;不导入或重绑另一 host 的原始 session 数据。
有用的前置切片可以保留已支持的单一本地 authority,经有范围 host facade 执行云端 工作,不部署共享数据库服务也能推进 R2/R3 并验证 provider adapter。应标为 单一权威、混合执行,不因此通过 G3/R6 的独立 host 恢复、共享预留或 service 资格。禁止向云端复制可独立写入的 Goal 状态;完整 R6 保留认证服务和 D1–D3 要求。 各续跑 profile 分别验证,同一 binding 不并行运行外层 Turn 与 native Goal driver。
R7:百 Agent 资格化¶
- Owner: 现有目录/投影、quota/scheduler、authority/provider 和 host supervisor;管家只消费有界摘要、分页及按需证据。
- 交付次序: 先让第 25 个及以后注册 Agent 可通过稳定身份/分页发现,再在 10、30、100+ cohort 验并发。保留 8-lane 计划的有界合同,较大工作按可追溯批次/子目标组织;不能只改成 100。
- 调度: 合并唤醒、退避、每 provider/host admission、预算与公平性、隔离失败;已有 scheduler 是唯一调度 owner。采用完成/失败/需决策事件驱动关注,周期读回只作修复。不得让每个 Agent 每轮把所有同伴状态放进 prompt。
- 退出: 每一级记录注册数/活跃数、成功/失败/未测、p50/p95 排队与恢复时间、首次有效动作时延、重复效果、过期写拒绝、成本/已验收产物、人工介入率、队列/历史增长。进入实验前冻结预算、负载与 SLO;不在结果出来后调阈值。
- 最终验收: 用户从两个入口下达与修订宏观目标,本地/云端异构 worker 持续交付依赖产物;管家自行发现卡点、按授权重规划、回报并最终按独立验收关闭目标。无重复受保护效果、无过期/越权提交;性能目标须由真实测量资格化。先完成合成压力再运行明确授权的真实 cohort,本计划不启动百个付费 Agent。
- 回滚: 降低并发/admission,保留注册、历史和在途对账,不降低 correctness 门槛。
7. 执行与审阅合同¶
每次只选择一个已满足前置条件的、完整可验收切片。先查最新 main 与 canonical Todo,已有工作补验证,已有任务更新并保留 supersedes 关系,不能凭本文件创建重复任务。执行卡是静态路线,实际负责人、状态、PR 和阻塞保存在 LoopX Todo。
实施 Todo/PR 必须回答:
- 结果: 用户做什么、前后行为是什么、属于 R 卡及原 RFC 哪个验收 ID。
- 事实: baseline/head、已交付依赖、未闭合字段/状态;不以 PR 标题代替代码。
- 归属: 一个 semantic owner、provider/profile、真实 caller;哪些旧 decision/writer 被删除,哪些因真实兼容调用保留。
- 不变量: 先写独立 expected outcomes,再做 characterization/负例;现状有错先修规则,不刷新 golden 掩盖。
- 故障: 无副作用拒绝、并发、超时、部分完成、crash/replay、stale basis、default-off parity;按涉及边界选取。
- 产品: CLI/managed、packaged frontend、Lark 的入口、状态回读和反馈;不需要 companion 修改时给出已核实原因,未测就写未测。
- 交付: 精确路径 staging、DCO、相关 canary、公开边界扫描、PR;保留真实权限与 first-screen review gate。
- 接续: 一个可执行后继、依赖/阻塞变化、回滚办法;禁止“字段存在/测试通过/有回执”直接推出完整里程碑通过。
能力较弱的执行 Agent 可以在这套合同内修复已定义反例和进行机械迁移。新增 authority、状态机、跨 host 身份、schema 不兼容变化必须由相应 owner 审阅;审阅的是精确 diff、规则及证据,不是 Agent 自评或模型等级。bounded future-facing pass 优先删除重复知识;较大的邻接重构只登记有范围后继。
推荐首批:R1 的语义与回读修复作为一个内聚批次;随后完成同路径的持久恢复与源基线约束,再验 R2 小团队闭环。R3 的既有结果投递修复和 R5 已选 profile 资格准备可由不同任务同期执行,不能用它们掩盖 R1 阻塞。
8. 管家近期交付审计与证据¶
当前 main 已具备管家通道、执行器配置、团队计划确认、首批 Todo 物化和本地 peer directory。近期交付有实际价值,保留了 canonical Todo owner、同 Goal 校验及受众边界;但还没有证明“管家协调一组持续工作的 Agent,直到目标验收并自动回报”。现有测试主要证明局部链路,团队承诺的部分语义在落盘时丢失,错误结果与成功结果也没有完整区分。
目标是:用户从本地前端或 Lark 表达目标、补充约束和调整方向,管家持续调查、组织工作、协调本地 managed 与云端 Agent、处理失败并汇总可验证成果。规模目标为上百个注册 Agent,随后资格化上百个同时活跃的 Agent;注册数量、活跃执行器数量和已验证吞吐必须分别报告。
推进标准从“合入了多少字段和 PR”改为“又有哪条用户旅程可以独立复现”。本路线评价提交及实现,不从提交者或模型名称推断质量,也不把相邻作者的工作全部归给同一个 Agent。
已有进展及其边界¶
| 领域 | 可复用的事实 | 当前不能据此声称 |
|---|---|---|
| 管家入口与配置 | steward_executor 机器配置、通道执行器读回;manager_runtime 的 Codex 私人 trusted_owner profile;#4510、#4557 |
DSH 单段 Chat 已成为同等强能力、持久工具会话 |
| 团队入端 | #4519/#4522/#4524/#4535/#4538:有界计划、Goal 身份、注册校验、Todo owner、回执;#4547/#4548/#4552:前端确认与浏览器 fixture | 团队已启动、预算已生效、已完成 Goal-intent 对齐,或已验证 Lark 同路径 |
| peer 发现 | #4544:同 Goal 本地 directory,24 行上限,明确 presence/lease coverage 缺口 | 100 Agent 可完整发现;远端身份可信;可据此接管或取得 lease |
| TS 内核 | Todo、lease、quota/replan 等已有 typed owner 与部分整笔事务切换 | 所有 writer 已迁移;新增 Python 编排天然符合 replacement-first |
| shared authority | AuthorityStore、File/SQLite 候选与 PostgreSQL store/service admission 接缝、恢复及 conformance 基础 |
已部署 authenticated 跨主机服务;已晋升任一默认 provider;分布式 quota 已成立 |
| alignment | Stage 1/2 source-basis reader 与 amendment admission/retention | source_basis_digest 是完整 Goal intent revision;Stage 3 自动 commit 已成立 |
| managed | turn run-once、managed step、attached broker 及单执行器围栏已有实现 |
有界片段等于无人值守长程监督;每个注册 Agent 都有健康执行器 |
| 语义同伴协作 | 既有 Inbox/reply owner 承载不可变交办、同 Goal 同伴请求、结果消费及原对话读回;真实 managed demo | 控制器驱动阶段不证明自主调度、跨主机/Lark 同伴或完整 G1/M2–M4 |
已复核的问题¶
以下是精确基线上的合成 fixture 结果,不含线上用户内容。F1–F4 用现有 ChatActionService.preview/apply 及隔离 Goal 复核;F4 只在第二次 Todo 写入前注入失败,其余走实际本地 Todo writer。F5–F7 是源码/合同审计。
R1 事务检查点。 团队计划准入与整批规划现在归 work_items/team_plan.ts。确认后,全部已准入 lane 与持久操作回执一次提交;身份由 proposal + lane 决定,不再由 Todo 文本决定。File/SQLite 权威复用现有 CAS 与回执 owner;legacy Markdown 在原有 fence 和锁内同时写入任务和不可变回执。同一操作重试只读历史结果,接收者后来修改、完成或删除任务也不会触发重建。提交前失败不会留下部分 lane;canonical 展示投递仍 pending 时,Chat 必须恢复后才能报告验证成功。卡片列出部分分配及缺口;quota/stop 是参考,显式强制声明会被拒绝。
这完成 F4 的本地分配/重试部分,不等于 R1 协同验收。注册接收者可以被分配任务,但不会被冒充为作者;Agent 发起的结算未经业主确认不能给另一 peer 分配任务。分配不证明接收者采纳、lease、执行、依赖消费或独立验收。普通已授权工作不应普遍增加第二次确认。解决缺口需要明确的新意图;重放不能静默扩展原确认子集。fingerprint 绑定当前本地状态与 canonical revision,不是完整共享 Goal 意图事务。R2/R3/R4 仍负责执行器资格、接收者采纳/结果返回及共享意图/授权;跨主机 Turn lease 不是计划屏障。
验证覆盖真实 Chat apply、文件权威投递恢复、打包确认卡片,以及 FileAuthorityStore 和隔离 PostgreSQL 上的同文不同身份、并发提交、末条 lane 非法、响应丢失和接收者变更。这些 fixture 不验收 Lark 传输或跨主机 worker 执行。
| ID / 优先级 | 触发、结果与影响 | 定位与修复卡 |
|---|---|---|
| F1 / P0 | 计划声明 P0,apply 成功,list_goal_todos 中该 Todo 的 priority 为 null。acceptance、quota envelope、stop condition 也未进入该 apply 的工作/执行约束路径。用户确认的计划与实际工作不一致。 |
governed_transition_proposal.py::_apply_team_plan 只传 text/action/claim;team-plan-preview.ts 展示这些声明。→ R1 |
| F2 / P0 | 预览后改变 active-state 的 objective、保持 registry 不变,旧计划仍返回 team_plan_applied。预览锁的是 registry bytes,未锁 Goal 意图或相关工作/授权基线。 |
chat_actions.py::_registry_fingerprint、_apply_team_plan。_intent_basis_for 在 apply 时才读取且可省略;不是 commit precondition。→ R1/R4 |
| F3 / P1 | 全部 lane 未注册、零 Todo 创建,仍返回 team_plan_lanes_already_present、projection_verified: true 和空 todo id。成功文案掩盖了缺人。 |
chat_actions.py::_apply_team_plan;现有 gap 测试只断言空列表。→ R1 |
| F4 / P0 | 第二条 lane 写入失败后,第一条 Todo 已存在,Chat proposal 为 applying 且没有完整 receipt。手动 retry 可以补齐;没有证明逐 lane 持久对账、自动恢复、执行前屏障或中途工作被修改后的幂等性。 |
多次 add_goal_todo 后才 checkpoint;Chat caller 用空 receipts 和 no-op checkpoint。→ R1 |
| F5 / P1 | intent_basis 名称与“规范意图修订”文案过强。alignment owner 明确其 digest 仅覆盖 source facts/事件轴及适用的 Todo revision;它不是完整 intent envelope。 |
goals/shared_goal_alignment.py 模块合同;harness 选型文档旧团队段。→ 本次文档纠偏 + R4 |
| F6 / P1 | ready 只证明注册和 action kind 通过校验;不检查 runtime binding、实际工具资格或已配置执行容量。gap reason 的存在不证明这些条件都被机器检测。 |
validate_steward_team_plan_preview;agents/directory.py 明示无 presence provider。→ R2 |
| F7 / P1 | 管家主 RFC 仍称提案,选型 RFC 仍说无前端确认面,新增交付又留在后续段落;共享权威开头仍说 service admission 未交付。后续 Agent 会重做已有工作或跳过真实缺口。 | 本次统一检查点、压缩旧进度段并建立本路线;不得靠再追加一段更晚日期维持双重真相。 |
评估结论:局部实现与边界意识值得保留;跨模块的语义追踪、故障恢复、现状维护和完整旅程验收需要补强。当前适合有限范围试用与硬化,不能以计划确认、一次回答或测试数量宣传百 Agent 长程协调已就绪。
在上述基线、source-checkout Python 3.13.13 下执行以下两组,分别 69 passed 和 108 passed:
uv run --extra test python -m pytest -q tests/test_steward_team_plan_preview.py tests/test_steward_team_plan_apply.py tests/test_chat_team_plan_action.py tests/test_manager_team_plan_guidance.py tests/test_manager_channel_binding.py tests/control_plane/test_peer_agent_directory.py tests/capabilities/test_steward_executor_machine_defaults.py tests/capabilities/test_manager_runtime_profile.py
uv run --extra test python -m pytest -q tests/test_turn_managed_executor_binding.py tests/test_loopx_turn_managed_step.py tests/test_attached_session_cli.py tests/test_manager_context_handoff.py tests/test_manager_context_roundtrip.py tests/control_plane/test_shared_goal_alignment.py tests/control_plane/test_shared_goal_alignment_cli.py
这 177 项不是全仓测试,也不是云端、真实模型、packaged browser、Lark 或 PostgreSQL 现场资格。#4552 的 browser fixture 与选型 RFC 记录的既有现场读取为历史证据,本轮未复跑,不能推广到团队执行验收。F1–F4 的复现步骤在上表固定,实施时将对应的独立语义反例加入已有测试,不提交本次临时诊断脚本或私有运行日志。
维护规则:本页只更新当前判断、卡的边界及通过证据;历史长账本移至 companion,领域 RFC 的状态与这里同步。领域状态/权限/迁移规则发生冲突时,停相关实现并修正文档,不用本路线覆盖已接受的 authority 合同。该文档合并表示路线可发现,不表示 R1–R7 已完成或 Draft 决策已晋升。