{"name":"apply_diff","arguments":{"path":"_bmad-output/adrs/ADR-20261012-bmad-solo-anti-bureaucracy-and-programmatic-guards.md","diff":"<<<<<<< SEARCH\n:start_line:4\n-------\n- 创建日期：2026-10-12；本次修订：2026-10-18。\n- 当前授权范围：工程入口继续同一计划进行本地证据接管，持续修订本提案和关联计划；保护已实现后端与新增 Pi 测试，仅允许必要修复[现有后端](../../bmralph-suite-v5/scripts/bmad_agent_backend.py:81)及补齐[Pi 协议反例](../../bmralph-suite-v5/tests/test_pi_backend.py:1)，允许一个受限对账草稿和追加 Phase 5 回执。六项旧完成任务完整沿用原验证对象定向重验，经程序一次刷新；P5-PI-DRIVER 仅获准在既有写租约及源版本保护下行政恢复为 PENDING/空回执，再凭匹配本地证据程序登记。P5-PI-HEADLESS 保持 SUSPENDED/空回执。循环、入口、状态、适配、执行及既有测试原语冻结，V4 只读；不重装或更新 Pi、不准备认证、不读取凭据正文、不真实模型调用、不宿主激活、不远程或客户端断开试跑、不提交、推送、部署、转正或归档，不提高预算。该授权不等于验收通过或真实运行授权。\n=======\n- 创建日期：2026-10-12；本次修订：2026-10-19。\n- 当前授权范围：用户已确认没有后台任务或其他会话写入两份文档，允许以最小补丁刷新本 PROPOSED ADR 与同一计划；只结晶 Pi 单编码框架、Ralph 能力、自有网关多模型及 Jev 受限路由方案。保留原标识、历史任务状态、回执和全部未完成承诺，预算未决保持阻塞。当前不授权生产修改、终端或业务验证、安装与认证准备、真实模型调用、后台启动、Git 提交或回滚、推送、部署、转正或归档。没有取得内核写锁的实测；并发边界依据本次用户确认。\n>>>>>>> REPLACE\n<<<<<<< SEARCH\n:start_line:11\n-------\n- 2026-10-18 当前用户授权优先于此前禁止提交、真实启动及旧预算：审查并提交剩余阶段相关改动和必要回执，保留未完成裁决任务交由固定 Pi 1.3.0 后台实现，由外层控制器独立验证及程序写回。允许受影响证据的定向刷新及必要启动准备；不重复冒烟、不推送、不生产部署、不转正、不归档。当前唯一目标、实际调用和数据预算、时间限制、写入范围及启动验收仅保存于同一计划，不在 ADR 镜像进度；后台启动和裁决器单测不证明客户端断开推进或真实两轮通过。\n=======\n- 2026-10-18 独立循环阶段的历史授权：当时允许审查并提交相关改动、由固定 Pi 1.3.0 后台实现未完成裁决器、外层独立验证和程序写回；目标及预算保存于同一计划，启动和裁决器单测不证明断开推进。该授权不自动用于 2026-10-19 优化，历史限制及回执保留其原适用范围。\n- 当前替代关系：下方决策 9 与同一计划 Phase 6 是本次设计和授权的有效入口；决策 8 的多执行器候选、较早数值预算及冻结描述保留为历史，不作为当前运行许可或源码事实。预算和运行门禁未就绪时计划保持 BLOCKED，ADR 保持 PROPOSED；本 ADR 不复制任务进度。\n>>>>>>> REPLACE\n<<<<<<< SEARCH\n:start_line:118\n-------\n- 运行时条件优先候选变更为 Pi Coding Agent；Claude Code 保留为待核验的兼容候选，Roo CLI 不再作为新增适配对象。替代范围、证据及淘汰规则见下方决策 8；任何候选的目标安装、固定版本、新会话、规则加载、独立认证、工具权限和清理仍须实际核验，选型不等于运行授权。\n=======\n- 当前唯一生产编码框架为 Pi Coding Agent；多 baseline、academic、factcheck 是同一 Pi 执行链的模型角色，不是新增编码 Agent。其他执行器不再新增适配，历史选型依据见决策 8、当前替代范围见决策 9；固定版本、实际认证、工具权限和清理仍须核验，范围选择不等于运行授权。\n>>>>>>> REPLACE\n<<<<<<< SEARCH\n:start_line:123\n-------\n- Git 保存提交及相关历史，工作区保留未提交成果；不全文读取历史、不提交全部用户改动。自动提交、推送与部署分别授权。\n=======\n- Task 级本地 Git 检查点为后续必选交付，失败现场保全及选择性恢复见决策 9；保留共享工作区与用户已有修改，不提交全部变化。分支接管、自动提交及受控恢复须纳入未来显式授权，推送和部署分别授权，当前仅修改文档。\n>>>>>>> REPLACE\n<<<<<<< SEARCH\n:start_line:247\n-------\n## 4. 备选方案裁决\n=======\n### 决策 9：Pi 单框架、确定性上下文与可靠交付（2026-10-19）\n\n本节在同一 PROPOSED ADR 内演进，不创建新提案、不接受历史决策的替代、不镜像进度。替代决策 8 的“Pi 条件优先、Claude Code 兼容候选”为“仅 Pi 编码框架”；补充决策 3–5 的上下文、检查点和事故协议。历史任务、回执、部署兼容和全部未完成承诺保留，当前操作权限只限两份文档。\n\n#### 确定性分配：重建输入，而非保证输出或无限循环\n\n- 用户提供的[参考笔记](../../docs/Ralph-Wiggum-Loop/Ralph-Wiggum-Loop.md:49)作为理念线索：每轮一个明确局部目标，以磁盘状态和真实反馈重建新会话。不是模型推理确定、Token 消耗可预知或每轮必然进步的证明；笔记中的学术数字、速度和四变体断言不纳入运行事实。\n- 外层验证失败后的修复启动新 Pi 进程/会话，只装配当前任务、稳定约束、相关导航/流程、当前源码与差异、最新真实失败。完整会话历史和追加日志不默认摄入；有效工具往返与网关同一响应恢复不是外层新任务。\n- 单轮上下文容量、累计 Task Token、物理请求截止、逻辑续接截止、连续无有效回复及工程验收分别控制。具体候选数值和未决门禁只保存于[计划 Phase 6](../pending_implementation_plan.md)，不在本 ADR 复制预算或状态表。\n- 用户的连续失败意图是有效回复到达则清零网络计数并继续，不是累计若干次请求就结束。通信恢复不代表业务验收通过，不清零累计预算；新会话、切模型或网关内部重试不能绕过累计约束。部分续接能否清零及其完整性标准尚待确认。\n- 费用计算与优化不列为本轮必需门禁，但 Token 口径、缺失用量、失败请求和网关内部重试覆盖必须诚实登记；计量未就绪不能用字节数冒充 Token 硬上限。总时限/总轮次未批准时保持执行阻塞，不默认无限运行。\n- 不引入主观语义评分器或“黄金三轮”定律。文件变化和回复到达不证明验收改善；独立测试决定是否晋级，最新错误/修改快照提供事故定位。旧无进展规则的保留或替代先对账，不静默取消。\n\n#### 一次性交接与物理数据流\n\n以下为目标时序，不代表已存在或已验证的启动接口；当前只设计，不启动。\n\n```mermaid\nsequenceDiagram\n actor U as 用户\n participant R as Roo 前台\n participant P as 同一计划与 ADR\n participant L as 独立任务期启动器\n participant C as Python 控制器\n participant I as Pi 新会话\n participant G as 自有模型网关\n participant V as 独立验证器\n participant D as 本地检查点与运行证据\n U->>R: 澄清、批准范围与预算\n R->>P: 最小文档结晶\n R->>L: 一次性交接获准任务集合\n L->>C: 独立启动并绑定运行副本和写租约\n C-->>R: 启动回执与证据定位\n Note over R,C: 启动回执不等于断开验收；后续不依赖前台\n loop 获准集合与预算内\n C->>P: 读取任务、稳定约束及当前状态\n C->>I: 单目标有界输入；每次修复使用新会话\n I->>G: 固定模型的受计量请求\n G-->>I: 有效完成或明确错误\n I-->>C: 受管调用结束和修改定位\n C->>V: 对冻结候选执行相关验收\n V-->>C: 真实结果及证据\n alt 验收通过\n C->>D: 保存 Task 本地检查点和事务关联\n C->>P: 原子写回完成；投影状态卡\n else 普通失败且预算允许\n C->>D: 保存失败及差异\n Note over C,I: 下一新会话接收真实反馈；不推进依赖\n else 基础设施失败、预算或清理异常\n C->>D: 保存现场、事故报告和退出结果\n Note over C,D: 清理确认后释放租约；未知则持久阻断重启\n end\n end\n U->>R: 新会话回溯或授权恢复\n R->>D: 只读状态卡、事故及必要定位\n```\n\n- Roo 子任务若使用，只承担一次性启动交接；不承载主循环、不要求每轮切视图或续聊。启动接口须核验真实宿主能力，不能从工具名称推导 Pi 子进程启动权限。\n- Roo 与 Pi 使用同一获准工作区，控制器管理单写入链；前台执行期不并发编辑。锁约束协作写入，不提供同账号权限隔离。控制器运行副本继续冻结，不允许正在执行的程序被 Pi 热改后继续使用。\n- 最小介质是绑定计划/ADR、显式任务请求、写租约、唯一任务清单、只读状态卡、运行/退出回执、检查点事务及事故现场；不新增轮询总线、永久平台或第二份进度账本。\n- Pi 可提出任务拆分、定位和必要发现，由控制器检查并写回；稳定目标、授权、验收放宽及 ADR 裁决仍回到人工。新发现不自动晋级为已接受架构事实。\n- 独立长跑为必选，优先用固定 baseline 和最少任务证明客户端关闭后的新步骤、真实失败修复、外部通过与下一任务。再接研究模型/Jev，最终验收组合链；tmux 存活、源码变化或零退出不能替代。\n\n#### 外部记忆与 Task 检查点\n\n- 索引、流程和经验复用采用薄导航/同义词定位、已验证稳定经验、最新失败及未完成修改；按需读取，不全文复制经验流水。当前[参数组装](../../bmralph-suite-v5/scripts/bmad_agent_backend.py:126)关闭自动加载，后续显式接入或核验精确白名单，不把复制技能文件当成加载证据。\n- [状态投影](../../bmralph-suite-v5/scripts/bmad_state.py:189)仍来自唯一清单，不能把散文 Epic 自动视为全部已纳入。新增工作须迁入覆盖其验证类型的同一契约；未覆盖前平台记录只跟踪实施过程。卡片保留全部未完成事项和检查点/事故定位，超预算阻塞而不悄悄裁剪。\n- Task 本地检查点为必选；共享工作区使用获准本地任务分支，不推送、不自动合并主分支、不强制切换，不默认另建 worktree 改变拓扑。已有脏修改与目标重叠或索引所有权未知时先处理授权，不提交用户暂存内容。\n- 独立验收绑定冻结候选，随后持久事务准备、提交获准成果、保存验收与提交/tree 关联、原子完成写回、重建卡片后才推进。Git 和计划文件不具备天然跨介质原子性：提交成功/写回失败须对账，不重复提交或伪造完成。\n- 失败先停止并确认受管清理，保存差异、新文件及恢复所需元信息；按预授权选择性恢复受管路径。并发/所有权冲突、现场保存失败或恢复失败均保持阻断。禁止危险全库清理，上一绿色只代表其相关验收，不代表全计划通过。\n\n#### 网关故障、安全挂起与恢复\n\n- 保留完整协议和生命周期检查；102 字节提前 EOF 是用户报告的症状，不足以定位是网关、上游、代理或协议原因。独立诊断须记录连接、状态、首事件、累计正文、结束标识及真实错误，不用健康页面成功替代流式完成。\n- 网关缓冲补全要区分逻辑请求与物理尝试，核验身份、顺序、去重、完成和用量归属。缺续接契约不拼接独立回答，未完成工具调用不得执行；有效续接不会自动改变任务验收。\n- 认证/权限失败停止，网络重试仅在批准的连续失败及总量预算内；持续普通失败按批准的工程预算停止，不因偶尔收到文本无限延期。\n- 事故现场保存身份、原因、真实网络/验证回执、修改快照和检查点、预算、清理结果及需授权的恢复步骤；脱敏，不把凭据或完整研究输入泄漏给路由服务。未执行的检查留空，不制造测试事实。\n- 人工挂起先映射现有 SUSPENDED 显示语义；新增状态须实现版本契约。清理或落盘未知保留持久阻断，锁释放不证明安全；恢复经授权创建新工程实例并重新核验，不恢复旧进程或自动重放工具副作用。\n\n#### Jev 受限路由：功能添加评估，不宣称最佳模型\n\n- 本次检索的 TypeSafe 第一方文档将 Jev 描述为对状态和类型化问题返回结构化决策的 System One 模型，不是聊天或代码补全模型；提供 SDK/API 等接入说明。[4](cite:4)[5](cite:5)[3](cite:3)\n- 因此拟将 Jev 作为候选选择层，不替代 Pi、编码 baseline、在线检索或独立验收。先建立获准模型注册表，过滤协议、窗口、输出上限、工具和引用能力，再让路由推荐；合法结构化输出不证明推荐正确或模型最佳。\n- baseline 可承担工程；academic、factcheck 是用户指定的研究角色而非已核验模型身份。不支持编码工具的研究模型只执行受限研究请求，返回来源/引用/未知；外部文本是待分析证据，不增加执行权限，不能替代业务测试。\n- 选择在明确任务/新会话边界发生，一个工程会话内模型固定。人工固定优先；路由失败只执行预授权固定路径或挂起，不自动扩大候选、转发全量源码或使用 IDE 登录态。不中途切换残缺响应、续接或在途工具调用。\n- Jev 路由为本次新增评估与受控实现目标，但不阻塞固定 baseline 独立运行测试；接口、来源/版本、端点/认证、数据出站、延迟及调用预算须核验。自有网关是否提供 Jev 尚未知，不自动绕过网关调用外部平台。\n- 用户指定的教程与目录仅用于发现候选，本次读取不能证明其扩展代码审计或 Pi 1.3.0 兼容；未验证具体插件，不默认安装或放开全部扩展。当前 Insufficient evidence，保留兼容与能力缺口。\n- 不引入通用决策提供方平台、委员会、成本优化或上下文压缩。本轮比对人工固定规则与 Jev 推荐在代表性任务上的选择及实际验收；错误候选、低置信、服务失败均不能绕过权限/预算/测试。最小落点优先薄路由模块，只有真实接口要求才增加受限 Pi 扩展。\n\n本节来源编号属于 2026-10-19 本次检索，与决策 8 的历史局部编号分离。仅支撑上述静态角色判断，不证明安装、认证、路由质量或当前主机兼容。\n\n[3](cite:3): https://docs.typesafe.ai/introduction/quickstart \"TypeSafe Quick start\"\n[4](cite:4): https://docs.typesafe.ai/concepts/system-one \"TypeSafe System One\"\n[5](cite:5): https://docs.typesafe.ai/introduction/coding-agents \"TypeSafe Jev with coding agents\"\n\n#### 交接与接受边界\n\n- 最小顺序与任务/依赖、预算、未决项、拟议文件和验证资产状态只保存在同一计划 Phase 6。新增真实运行和检查点门禁不能伪装成本机单测；未创建资产不标 AVAILABLE，不填测试名称或通过回执。\n- 当前仅文档授权，不实施、不验证、不启动、不提交。后续工程、远程模型调用、Git 操作及恢复分别进入批准范围；历史启动授权不继承到本次优化。\n- 保持 PROPOSED：固定及获准多模型链的独立推进、记忆、检查点、异常/清理与全部适用门禁获得真实证据且转正获准后才接受；局部阶段完成不结束全计划或触发归档。\n\n## 4. 备选方案裁决\n>>>>>>> REPLACE\n<<<<<<< SEARCH\n:start_line:267\n-------\n- 非目标：不修改 V4 对照源码或已接受 ADR，不覆盖用户既有改动；不建设永久平台，不改变网关，不执行真实宿主激活、远程任务、自动提交、推送、发布、转正或归档，不保证所有版本兼容或自动崩溃恢复。项目事实仅登记通过对应门禁的已验证内容，不登记提案或模拟结果为运行时事实。\n=======\n- 当前非目标：不修改生产源码、V4、项目事实或已接受 ADR，不覆盖用户改动；不建设永久平台，不实施网关服务改造，不执行宿主激活、远程任务、Git 提交/回滚、推送、发布、转正或归档。网关适配、自动检查点和受控恢复是后续交付目标，不是本次操作权限；不保证全部模型兼容或宿主崩溃自动恢复。\n>>>>>>> REPLACE\n<<<<<<< SEARCH\n:start_line:298\n-------\n## 8. 未决条件与交付状态\n\n- Pi 保持条件优先；前序接管报告官方 1.3.0 已安装，本轮不重装或更新。实际协议、独立认证、规则/技能加载、目标权限、模型内部请求数、费用强制预算及客户端断开能力仍未覆盖；Claude Code 仅为兼容方向，不自动切换或宣称已有适配器。\n=======\n## 8. 未决条件与交付状态\n\n本节较早本地接管和窄白名单条款保留为历史；2026-10-19 当前授权及决策以头部和决策 9 为准，实际任务与预算未决条件以同一计划 Phase 6 为准。当前不运行历史验收命令、不恢复暂停任务、不以旧授权启动。\n\n- Pi 为唯一编码框架；前序安装报告不证明本次模型、协议、技能、清理或断开推进能力。Jev 兼容、自有网关多模型/续接、Token 硬计量、Task 检查点和事故协议均须后续证据；费用优化不列本次必需门禁，不新增其他编码执行器。\n>>>>>>> REPLACE"}}

{"name":"apply_diff","arguments":{"path":"_bmad-output/adrs/ADR-20261012-bmad-solo-anti-bureaucracy-and-programmatic-guards.md","diff":"<<<<<<< SEARCH\n:start_line:4\n-------\n- 创建日期：2026-10-12；本次修订：2026-10-18。\n- 当前授权范围：工程入口继续同一计划进行本地证据接管，持续修订本提案和关联计划；保护已实现后端与新增 Pi 测试，仅允许必要修复[现有后端](../../bmralph-suite-v5/scripts/bmad_agent_backend.py:81)及补齐[Pi 协议反例](../../bmralph-suite-v5/tests/test_pi_backend.py:1)，允许一个受限对账草稿和追加 Phase 5 回执。六项旧完成任务完整沿用原验证对象定向重验，经程序一次刷新；P5-PI-DRIVER 仅获准在既有写租约及源版本保护下行政恢复为 PENDING/空回执，再凭匹配本地证据程序登记。P5-PI-HEADLESS 保持 SUSPENDED/空回执。循环、入口、状态、适配、执行及既有测试原语冻结，V4 只读；不重装或更新 Pi、不准备认证、不读取凭据正文、不真实模型调用、不宿主激活、不远程或客户端断开试跑、不提交、推送、部署、转正或归档，不提高预算。该授权不等于验收通过或真实运行授权。\n=======\n- 创建日期：2026-10-12；本次修订：2026-10-19。\n- 当前授权范围：用户已确认没有后台任务或其他会话写入两份文档，允许以最小补丁刷新本 PROPOSED ADR 与同一计划；只结晶 Pi 单编码框架、Ralph 能力、自有网关多模型及 Jev 受限路由方案。保留原标识、历史任务状态、回执和全部未完成承诺，预算未决保持阻塞。当前不授权生产修改、终端或业务验证、安装与认证准备、真实模型调用、后台启动、Git 提交或回滚、推送、部署、转正或归档。没有取得内核写锁的实测；并发边界依据本次用户确认。\n>>>>>>> REPLACE\n<<<<<<< SEARCH\n:start_line:11\n-------\n- 2026-10-18 当前用户授权优先于此前禁止提交、真实启动及旧预算：审查并提交剩余阶段相关改动和必要回执，保留未完成裁决任务交由固定 Pi 1.3.0 后台实现，由外层控制器独立验证及程序写回。允许受影响证据的定向刷新及必要启动准备；不重复冒烟、不推送、不生产部署、不转正、不归档。当前唯一目标、实际调用和数据预算、时间限制、写入范围及启动验收仅保存于同一计划，不在 ADR 镜像进度；后台启动和裁决器单测不证明客户端断开推进或真实两轮通过。\n=======\n- 2026-10-18 独立循环阶段的历史授权：当时允许审查并提交相关改动、由固定 Pi 1.3.0 后台实现未完成裁决器、外层独立验证和程序写回；目标及预算保存于同一计划，启动和裁决器单测不证明断开推进。该授权不自动用于 2026-10-19 优化，历史限制及回执保留其原适用范围。\n- 当前替代关系：下方决策 9 与同一计划 Phase 6 是本次设计和授权的有效入口；决策 8 的多执行器候选、较早数值预算及冻结描述保留为历史，不作为当前运行许可或源码事实。预算和运行门禁未就绪时计划保持 BLOCKED，ADR 保持 PROPOSED；本 ADR 不复制任务进度。\n>>>>>>> REPLACE\n<<<<<<< SEARCH\n:start_line:118\n-------\n- 运行时条件优先候选变更为 Pi Coding Agent；Claude Code 保留为待核验的兼容候选，Roo CLI 不再作为新增适配对象。替代范围、证据及淘汰规则见下方决策 8；任何候选的目标安装、固定版本、新会话、规则加载、独立认证、工具权限和清理仍须实际核验，选型不等于运行授权。\n=======\n- 当前唯一生产编码框架为 Pi Coding Agent；多 baseline、academic、factcheck 是同一 Pi 执行链的模型角色，不是新增编码 Agent。其他执行器不再新增适配，历史选型依据见决策 8、当前替代范围见决策 9；固定版本、实际认证、工具权限和清理仍须核验，范围选择不等于运行授权。\n>>>>>>> REPLACE\n<<<<<<< SEARCH\n:start_line:123\n-------\n- Git 保存提交及相关历史，工作区保留未提交成果；不全文读取历史、不提交全部用户改动。自动提交、推送与部署分别授权。\n=======\n- Task 级本地 Git 检查点为后续必选交付，失败现场保全及选择性恢复见决策 9；保留共享工作区与用户已有修改，不提交全部变化。分支接管、自动提交及受控恢复须纳入未来显式授权，推送和部署分别授权，当前仅修改文档。\n>>>>>>> REPLACE\n<<<<<<< SEARCH\n:start_line:247\n-------\n## 4. 备选方案裁决\n=======\n### 决策 9：Pi 单框架、确定性上下文与可靠交付（2026-10-19）\n\n本节在同一 PROPOSED ADR 内演进，不创建新提案、不接受历史决策的替代、不镜像进度。替代决策 8 的“Pi 条件优先、Claude Code 兼容候选”为“仅 Pi 编码框架”；补充决策 3–5 的上下文、检查点和事故协议。历史任务、回执、部署兼容和全部未完成承诺保留，当前操作权限只限两份文档。\n\n#### 确定性分配：重建输入，而非保证输出或无限循环\n\n- 用户提供的[参考笔记](../../docs/Ralph-Wiggum-Loop/Ralph-Wiggum-Loop.md:49)作为理念线索：每轮一个明确局部目标，以磁盘状态和真实反馈重建新会话。不是模型推理确定、Token 消耗可预知或每轮必然进步的证明；笔记中的学术数字、速度和四变体断言不纳入运行事实。\n- 外层验证失败后的修复启动新 Pi 进程/会话，只装配当前任务、稳定约束、相关导航/流程、当前源码与差异、最新真实失败。完整会话历史和追加日志不默认摄入；有效工具往返与网关同一响应恢复不是外层新任务。\n- 单轮上下文容量、累计 Task Token、物理请求截止、逻辑续接截止、连续无有效回复及工程验收分别控制。具体候选数值和未决门禁只保存于[计划 Phase 6](../pending_implementation_plan.md)，不在本 ADR 复制预算或状态表。\n- 用户的连续失败意图是有效回复到达则清零网络计数并继续，不是累计若干次请求就结束。通信恢复不代表业务验收通过，不清零累计预算；新会话、切模型或网关内部重试不能绕过累计约束。部分续接能否清零及其完整性标准尚待确认。\n- 费用计算与优化不列为本轮必需门禁，但 Token 口径、缺失用量、失败请求和网关内部重试覆盖必须诚实登记；计量未就绪不能用字节数冒充 Token 硬上限。总时限/总轮次未批准时保持执行阻塞，不默认无限运行。\n- 不引入主观语义评分器或“黄金三轮”定律。文件变化和回复到达不证明验收改善；独立测试决定是否晋级，最新错误/修改快照提供事故定位。旧无进展规则的保留或替代先对账，不静默取消。\n\n#### 一次性交接与物理数据流\n\n以下为目标时序，不代表已存在或已验证的启动接口；当前只设计，不启动。\n\n```mermaid\nsequenceDiagram\n actor U as 用户\n participant R as Roo 前台\n participant P as 同一计划与 ADR\n participant L as 独立任务期启动器\n participant C as Python 控制器\n participant I as Pi 新会话\n participant G as 自有模型网关\n participant V as 独立验证器\n participant D as 本地检查点与运行证据\n U->>R: 澄清、批准范围与预算\n R->>P: 最小文档结晶\n R->>L: 一次性交接获准任务集合\n L->>C: 独立启动并绑定运行副本和写租约\n C-->>R: 启动回执与证据定位\n Note over R,C: 启动回执不等于断开验收；后续不依赖前台\n loop 获准集合与预算内\n C->>P: 读取任务、稳定约束及当前状态\n C->>I: 单目标有界输入；每次修复使用新会话\n I->>G: 固定模型的受计量请求\n G-->>I: 有效完成或明确错误\n I-->>C: 受管调用结束和修改定位\n C->>V: 对冻结候选执行相关验收\n V-->>C: 真实结果及证据\n alt 验收通过\n C->>D: 保存 Task 本地检查点和事务关联\n C->>P: 原子写回完成；投影状态卡\n else 普通失败且预算允许\n C->>D: 保存失败及差异\n Note over C,I: 下一新会话接收真实反馈；不推进依赖\n else 基础设施失败、预算或清理异常\n C->>D: 保存现场、事故报告和退出结果\n Note over C,D: 清理确认后释放租约；未知则持久阻断重启\n end\n end\n U->>R: 新会话回溯或授权恢复\n R->>D: 只读状态卡、事故及必要定位\n```\n\n- Roo 子任务若使用，只承担一次性启动交接；不承载主循环、不要求每轮切视图或续聊。启动接口须核验真实宿主能力，不能从工具名称推导 Pi 子进程启动权限。\n- Roo 与 Pi 使用同一获准工作区，控制器管理单写入链；前台执行期不并发编辑。锁约束协作写入，不提供同账号权限隔离。控制器运行副本继续冻结，不允许正在执行的程序被 Pi 热改后继续使用。\n- 最小介质是绑定计划/ADR、显式任务请求、写租约、唯一任务清单、只读状态卡、运行/退出回执、检查点事务及事故现场；不新增轮询总线、永久平台或第二份进度账本。\n- Pi 可提出任务拆分、定位和必要发现，由控制器检查并写回；稳定目标、授权、验收放宽及 ADR 裁决仍回到人工。新发现不自动晋级为已接受架构事实。\n- 独立长跑为必选，优先用固定 baseline 和最少任务证明客户端关闭后的新步骤、真实失败修复、外部通过与下一任务。再接研究模型/Jev，最终验收组合链；tmux 存活、源码变化或零退出不能替代。\n\n#### 外部记忆与 Task 检查点\n\n- 索引、流程和经验复用采用薄导航/同义词定位、已验证稳定经验、最新失败及未完成修改；按需读取，不全文复制经验流水。当前[参数组装](../../bmralph-suite-v5/scripts/bmad_agent_backend.py:126)关闭自动加载，后续显式接入或核验精确白名单，不把复制技能文件当成加载证据。\n- [状态投影](../../bmralph-suite-v5/scripts/bmad_state.py:189)仍来自唯一清单，不能把散文 Epic 自动视为全部已纳入。新增工作须迁入覆盖其验证类型的同一契约；未覆盖前平台记录只跟踪实施过程。卡片保留全部未完成事项和检查点/事故定位，超预算阻塞而不悄悄裁剪。\n- Task 本地检查点为必选；共享工作区使用获准本地任务分支，不推送、不自动合并主分支、不强制切换，不默认另建 worktree 改变拓扑。已有脏修改与目标重叠或索引所有权未知时先处理授权，不提交用户暂存内容。\n- 独立验收绑定冻结候选，随后持久事务准备、提交获准成果、保存验收与提交/tree 关联、原子完成写回、重建卡片后才推进。Git 和计划文件不具备天然跨介质原子性：提交成功/写回失败须对账，不重复提交或伪造完成。\n- 失败先停止并确认受管清理，保存差异、新文件及恢复所需元信息；按预授权选择性恢复受管路径。并发/所有权冲突、现场保存失败或恢复失败均保持阻断。禁止危险全库清理，上一绿色只代表其相关验收，不代表全计划通过。\n\n#### 网关故障、安全挂起与恢复\n\n- 保留完整协议和生命周期检查；102 字节提前 EOF 是用户报告的症状，不足以定位是网关、上游、代理或协议原因。独立诊断须记录连接、状态、首事件、累计正文、结束标识及真实错误，不用健康页面成功替代流式完成。\n- 网关缓冲补全要区分逻辑请求与物理尝试，核验身份、顺序、去重、完成和用量归属。缺续接契约不拼接独立回答，未完成工具调用不得执行；有效续接不会自动改变任务验收。\n- 认证/权限失败停止，网络重试仅在批准的连续失败及总量预算内；持续普通失败按批准的工程预算停止，不因偶尔收到文本无限延期。\n- 事故现场保存身份、原因、真实网络/验证回执、修改快照和检查点、预算、清理结果及需授权的恢复步骤；脱敏，不把凭据或完整研究输入泄漏给路由服务。未执行的检查留空，不制造测试事实。\n- 人工挂起先映射现有 SUSPENDED 显示语义；新增状态须实现版本契约。清理或落盘未知保留持久阻断，锁释放不证明安全；恢复经授权创建新工程实例并重新核验，不恢复旧进程或自动重放工具副作用。\n\n#### Jev 受限路由：功能添加评估，不宣称最佳模型\n\n- 本次检索的 TypeSafe 第一方文档将 Jev 描述为对状态和类型化问题返回结构化决策的 System One 模型，不是聊天或代码补全模型；提供 SDK/API 等接入说明。[4](cite:4)[5](cite:5)[3](cite:3)\n- 因此拟将 Jev 作为候选选择层，不替代 Pi、编码 baseline、在线检索或独立验收。先建立获准模型注册表，过滤协议、窗口、输出上限、工具和引用能力，再让路由推荐；合法结构化输出不证明推荐正确或模型最佳。\n- baseline 可承担工程；academic、factcheck 是用户指定的研究角色而非已核验模型身份。不支持编码工具的研究模型只执行受限研究请求，返回来源/引用/未知；外部文本是待分析证据，不增加执行权限，不能替代业务测试。\n- 选择在明确任务/新会话边界发生，一个工程会话内模型固定。人工固定优先；路由失败只执行预授权固定路径或挂起，不自动扩大候选、转发全量源码或使用 IDE 登录态。不中途切换残缺响应、续接或在途工具调用。\n- Jev 路由为本次新增评估与受控实现目标，但不阻塞固定 baseline 独立运行测试；接口、来源/版本、端点/认证、数据出站、延迟及调用预算须核验。自有网关是否提供 Jev 尚未知，不自动绕过网关调用外部平台。\n- 用户指定的教程与目录仅用于发现候选，本次读取不能证明其扩展代码审计或 Pi 1.3.0 兼容；未验证具体插件，不默认安装或放开全部扩展。当前 Insufficient evidence，保留兼容与能力缺口。\n- 不引入通用决策提供方平台、委员会、成本优化或上下文压缩。本轮比对人工固定规则与 Jev 推荐在代表性任务上的选择及实际验收；错误候选、低置信、服务失败均不能绕过权限/预算/测试。最小落点优先薄路由模块，只有真实接口要求才增加受限 Pi 扩展。\n\n本节来源编号属于 2026-10-19 本次检索，与决策 8 的历史局部编号分离。仅支撑上述静态角色判断，不证明安装、认证、路由质量或当前主机兼容。\n\n[3](cite:3): https://docs.typesafe.ai/introduction/quickstart \"TypeSafe Quick start\"\n[4](cite:4): https://docs.typesafe.ai/concepts/system-one \"TypeSafe System One\"\n[5](cite:5): https://docs.typesafe.ai/introduction/coding-agents \"TypeSafe Jev with coding agents\"\n\n#### 交接与接受边界\n\n- 最小顺序与任务/依赖、预算、未决项、拟议文件和验证资产状态只保存在同一计划 Phase 6。新增真实运行和检查点门禁不能伪装成本机单测；未创建资产不标 AVAILABLE，不填测试名称或通过回执。\n- 当前仅文档授权，不实施、不验证、不启动、不提交。后续工程、远程模型调用、Git 操作及恢复分别进入批准范围；历史启动授权不继承到本次优化。\n- 保持 PROPOSED：固定及获准多模型链的独立推进、记忆、检查点、异常/清理与全部适用门禁获得真实证据且转正获准后才接受；局部阶段完成不结束全计划或触发归档。\n\n## 4. 备选方案裁决\n>>>>>>> REPLACE\n<<<<<<< SEARCH\n:start_line:267\n-------\n- 非目标：不修改 V4 对照源码或已接受 ADR，不覆盖用户既有改动；不建设永久平台，不改变网关，不执行真实宿主激活、远程任务、自动提交、推送、发布、转正或归档，不保证所有版本兼容或自动崩溃恢复。项目事实仅登记通过对应门禁的已验证内容，不登记提案或模拟结果为运行时事实。\n=======\n- 当前非目标：不修改生产源码、V4、项目事实或已接受 ADR，不覆盖用户改动；不建设永久平台，不实施网关服务改造，不执行宿主激活、远程任务、Git 提交/回滚、推送、发布、转正或归档。网关适配、自动检查点和受控恢复是后续交付目标，不是本次操作权限；不保证全部模型兼容或宿主崩溃自动恢复。\n>>>>>>> REPLACE\n<<<<<<< SEARCH\n:start_line:298\n-------\n## 8. 未决条件与交付状态\n\n- Pi 保持条件优先；前序接管报告官方 1.3.0 已安装，本轮不重装或更新。实际协议、独立认证、规则/技能加载、目标权限、模型内部请求数、费用强制预算及客户端断开能力仍未覆盖；Claude Code 仅为兼容方向，不自动切换或宣称已有适配器。\n=======\n## 8. 未决条件与交付状态\n\n本节较早本地接管和窄白名单条款保留为历史；2026-10-19 当前授权及决策以头部和决策 9 为准，实际任务与预算未决条件以同一计划 Phase 6 为准。当前不运行历史验收命令、不恢复暂停任务、不以旧授权启动。\n\n- Pi 为唯一编码框架；前序安装报告不证明本次模型、协议、技能、清理或断开推进能力。Jev 兼容、自有网关多模型/续接、Token 硬计量、Task 检查点和事故协议均须后续证据；费用优化不列本次必需门禁，不新增其他编码执行器。\n>>>>>>> REPLACE"}}