@tea-agent/loop-agent 0.39.0-beta.2 → 0.39.0-beta.4

package/AGENTS.md

@@ -13,6 +13,9 @@
 ## 默认立场
 
 - 仓库是记录系统：决策、契约、计划、测试、报告优先落到仓库，而不是停留在聊天里。
+- 设计遵循“确定性交给代码，灵活性交给模型”：可明确枚举、校验、约束和复现的行为由代码负责；需要结合项目上下文进行理解、权衡和适配的部分交给模型。不要用硬编码取代模型擅长的灵活判断，也不要把安全边界或确定性校验推给模型。
+- 简单问题不要复杂化：优先采用足以解决当前问题的最小清晰方案；没有真实需求或证据时，不额外引入抽象、流程、状态或扩展点。
+- 测试案例应必要而不冗余：每个案例覆盖独立行为、边界或回归风险；合并语义等价的场景，避免用重复输入和重复断言堆砌覆盖，同时不得因精简遗漏关键路径。
 - 一次只推进一个清晰工作块；主会话按 Orient → Select → Contract → Implement → Verify → Handoff 治理，runtime 真实流程以 `src/workflows/` 为准。
 - 先验证基线，再叠加改动；完成定义必须可验证，不能靠删测试、降标准或模糊描述制造“完成”。
 - Do not consider backward compatibility. Ignore legacy code/libraries.
@@ -38,7 +41,7 @@
 4. 涉及测试纪律/验证声明/调试时继续读：`docs/governance/harness-methodology-*.md`。
 5. 查看最近提交、相关 plan/progress/report；`git status --short --branch`；跑最小基线验证。
 6. 后端/接口/pytest → `taskKind: "backend-test"`（不是 `--profile`）；知识回写 `knowledge-sync`；图谱开荒 `knowledge-graph-bootstrap`。`--profile` 仅 `auto|minimal|standard|reviewed|supervised`。
-7. 看板/observe → `agent-worker console`（默认 repo=当前目录、port=8790；listen 成功后默认打开系统浏览器，`--no-open` 禁止）（`/inspect/` 只读）；`observe serve` 已下线（`OBSERVE_SERVE_REMOVED` + exit 2）；`observe snapshot` 仍可用。
+7. 看板/observe → `agent-worker console`（默认 repo=当前目录、port=8790；listen 成功后默认打开系统浏览器，`--no-open` 禁止）（`/inspect/` 只读；唯一实验例外：`HARNESS_DAG_RERUN_PROMPT_OVERRIDE=1` 时节点 inspector 出现「提示词重启」tab 并注入 mutation token，默认关闭时零 token 零 tab）；`observe serve` 已下线（`OBSERVE_SERVE_REMOVED` + exit 2）；`observe snapshot` 仍可用。
 8. 分支合并 → 先读 `docs/operations/branch-merge-guideline.md`。
 9. 涉及版本发布、npm 渠道、release 分支、GitHub Actions 发布链或 dist-tag → 先读 `docs/operations/version-and-release-management.md`。
 

package/CHANGELOG.md

@@ -2,14 +2,38 @@
 
 ## [Unreleased]
 
-### 变更
+- 深度合入 origin/main（source e68dfbe1）：以 frontend-node typed-tools 拓扑为基底移植 main 硬化——canonical artifact 消费、fail-closed 无验证 marker、风险分级细化（DEPENDENCY_INSTALL_LANGUAGE）、`HARNESS_DAG_RERUN_PROMPT_OVERRIDE` prompt override、Pi SDK 运行时依赖 0.83.0 与 `engines node>=22.19.0`、next-release scripts 入包；废弃节点（verify-assess/reverify/repair-pi/plan-revision/final-design-review/lint-baseline shell）能力确认被当前流程覆盖后裁剪对应实现（repair-gate 机制、lint-baseline shell 类型），plan retry 文案对齐 committed ledger；affected 392 + M2-M9 303 测试全绿，fast 3909/3910、integration 397/398（各 1 个 fn 既有失败）。
 
+### 重点更新
+
+- Console「设置」页新增「模型配置（models.json）」区块：以弹框形式增/改/删 Pi 的模型条目，支持 6 个定义字段（id、name、contextWindow、maxTokens、input、reasoning）。新增时 Provider 用下拉选择、其余字段自动补默认值；编辑时 Provider 只读且仅在原位置就地替换，只改表单内字段、不覆盖配置里页面未展示的其它字段（如 cost/compat）；不读写 API key（凭据走 Pi CLI）。编辑已存在的模型不再被移到最后。
+- 前端风险分级细分 manifest 触及语义：`allowedPaths` 含 `package.json`/lockfile 或需求文本提到 package.json 不再单独触发 `new-dependency` high-risk（改一行 script、调构建参数的任务不再被顶到强制全门禁并误标高风险），只有任务文本同时出现安装语言（npm install / yarn add / pnpm add / 新增依赖等）才升级；仅路径触及时记 `new-dependency:manifest-path-without-install-language` 拒绝信号，审计可溯。
+- 前端验证 fallback 生成期诚实化：真实项目无可读取的 `package.json` scripts 且未探测到本地 tsc 时，不再注入必然失败的 `npm run typecheck` / `npm run build` / `npm test`（纯静态 / vanilla JS 站点原会在 verify 阶段假失败），改为执行显式 no-op 标记命令（`No frontend verification command configured`，进入冻结命令集可被 contract 引用，trace 如实记录 not-run），并写生成期 advisory 提示用 `--verify` 或执行约束显式声明验证命令后重新生成 DAG。无 repoRoot 的单测 fixture 保留历史 generic fallback。**标记不构成验证证据（fail-closed）**：verification trace 将绑定标记的 target 判为失败、只含标记的 static 证据判为 unavailable，repair 分类归为 non-repairable `contract`，verify 节点以 `frontend verification unavailable` 硬失败阻断 review/closeout——无真实验证命令的 run 无法走完绿灯链。
+- frontend-test `passed` 回执链改按 dispatch 序号判序（B-HASH-01）：`summarizePlaywrightCliReceipts` 先按 `sequence` 排序再判 open→find→cleanup 连续链；并行 `find`/`screenshot` 按完成时间落盘导致的乱序不再误杀执行已通过的 case（Wave 1 实测 4 条 passed 被改判 `browser-command-evidence-missing`）。真 gap / 重复序号仍 fail-closed。
+- `tool-policy` 失败归一为 `executor`（B-REC-03）：前端 preflight 能力拒绝（缺 `@playwright/cli` JS entry、allowlist 拒绝）不再落 `unknown`→`manual-review`+`humanRequired`；`dag report` 给出 `rerun-after-fix`，Console `standaloneTaskRerun` 的 R2 gate 放行 run-failed 同 task 整单重跑，无需人工决策门或 sibling task。
+- Operator Chrome Band1 模式切换入口补显式 `aria-label`（B-FIND-01，方案 A）：`操作`/`观测` mode link 原为 inline-flex 裸文本节点，不参与 name-from-content，a11y snapshot 序列化为无名 link，`find` 无法断言；补 `aria-label` 后实测 `find "观测"` 1 命中、click 后 `find "运行总览"` 1 命中，AC-FE-CHROME-003 恢复可见断言路径。
+- Inspect 异常 Task 页空态文案统一（B-FIND-02）：`failures.js` 运行时空态由 `当前没有失败或阻塞的 Task。` 改回与静态 `#failures-empty`、页面标题及回归目录 AC-FE-INS-004 一致的 `当前没有异常 Task`，消除静态/运行时文案漂移；实测新文案 find 1 命中、旧文案 0 命中。
+
+- 前端实现 DAG 收口到 typed tools 协议与唯一 writer + admission 四态：plan 通过 `submit_plan_ledger` 提交设计终态，design/final review 用 `approve_design|request_design_changes`、`approve_review|request_review_changes` committed typed tool 取代 `VERDICT:` 首行；`frontend-writer-admission-shell` 派生并冻结 writeSet、pre-writer baseline 与 admission digest，仅 `admitted` 放行唯一常规 writer。验证失败改为 terminal 并物化 `frontend-verify-failure-v1`（failureClass/failureOwner/restartPhase）供 recovery/operation 模型路由，删除同 run repair 分支；新增 split orchestrator 与 Micro 7 / Small 10 / Standard-High 11 拓扑 shape 路由，frontend-test 浏览器/视觉/runtime-a11y 认证保留为非阻断 handoff 收口。
+- 前端 OpenSpec 证据链收紧：cited 任务源引用与能力发现共用 `harness.json.governanceRoot`；新 DAG 冻结候选 SHA-256，规范内容漂移阻断 writer；引用块必须唯一，提供 section/line 时校验 heading/行范围；有组件/主题规范且存在可见 UI 时，至少一项 `specified` 选型必须绑定该规范桶。
+- 前端规范候选/必读集解耦：`frontendOpenspec.specRoots` 支持任务级可配置目录，任务准备期会将提示中明确声明的「规范目录 `...`」固化进契约；cited DAG 新增只读 `frontend-spec-select-pi`，逐项选择 required/relevant/irrelevant，仅 required 进入 prewrite 强制读取/引用，显式 requiredReadPaths 与任务源引用不可降级；scan-strict 保持全量读取。
+- 前端规范根增加软链接别名映射：对 `ai_workspace -> …/ai_doc` 等配置根，任务源中的真实目标目录名会在生成/准备期映射回仓库内逻辑根；候选、哈希和读取证据不记录仓库外绝对路径，重名别名 fail-safe 地不自动映射。
+- 发布一次性 dogfood 包 `0.39.0-beta.0`（`beta`）：只用于验证本次前端 DAG 规范选择与软链接别名改动；不改变 `latest`、`next` 或 release train。
+- `next-release.yml` 防重复发布守卫补充幂等语义：`mode=recover`（dist-tags.next 已指向出自本 HEAD 的 tarball）时，手动 `workflow_dispatch` 重入不再撞 duplicate publish 硬失败，改为写 summary 后干净退出（§5.1 规则 4）；非 recover 的重复发布仍硬失败。
+
+- frozen repair 工具审计改为按 attempt 段扫描（B1）：`session-events.jsonl` 跨 attempt 共享追加，attempt>1 的 `auditRepairAttemptToolUse` 现在只审本 attempt 字节段（newline 对齐），planner attempt 1 的 ls/find 不再被误判给 repair 轮；repair prompt 显式声明 read-only 工具契约与 allowlist 边界（B2），并内嵌 openspec-citations 输出格式正例；`LOOP_AGENT_IGNORE_STALE_DIST=1` 环境变量旁路 stale-dist guard（B3），Console spawn 的 sibling CLI 可继承。
+- frontend plan/revision 结构化输出改为冻结 repair context + hash-bound canonical artifact：attempt>1 不再重放完整 planner prompt；成功后 stdout 只保留 artifact 路径，design review / prewrite 只消费已校验 artifact，不再从节点文本 merge。失败分类补齐 `structured-repair-exhausted` / `governance-blocked`，并修正 `structured-output-truncated` / `output-too-large` 的归一化映射。
 - 将 `@earendil-works/pi-ai` 与 `@earendil-works/pi-coding-agent` 从可选依赖提升为精确 pin 的运行时依赖 `0.83.0`，将运行时直接导入的 `typebox` 精确声明为 `1.3.7`，并在根包声明 Node.js `>=22.19.0`。安装 `@tea-agent/loop-agent` 会默认装上 Pi SDK（含 `--omit=optional` 场景）；`@cursor/sdk` 仍保持 optional。availability / readiness 探针、隔离 tarball canary、发布包契约测试与安装/本地环境说明同步对齐。
 - backend-test Scenario Partition 仅接受绑定源有限 enum/分类集合的 GET/list query/path 轴；非法 Domain（空/重复/保留 token、无有限域、与 OpenAPI enum 不一致）报 `INVALID_PARTITION_DOMAIN` / `NO_FINITE_DOMAIN` / `PARTITION_SOURCE_MISMATCH` 根因，不再生成空后缀 `TP-SP-...-`、重复 slot，也不再级联 `MISSING_*_SLOT`。N6 对这些根因码 fail-closed；合法源分区缺槽仍阻断。N2 禁止为自由串/主键/required-only/boundary-only 建分区；N5 允许删除无源非法 Partition 及其派生槽位。
 - npm `next` 渠道发布改为提交数节流：main push 仅当距上次 next 发布的 source commit ≥ 5 个 commit 时才自动发布（新增 `scripts/next-publish-gate.mjs`，读已发布 tarball build-stamp 对比 HEAD）；不足阈值时 workflow 绿色跳过，手动 `workflow_dispatch` 不受限（切 release 线前强制出包 / 紧急补发）。发布文档真源 §4.1/§5.1/§7/§12 同步。
+- 前端 split orchestrator 的 aggregate closeout 补齐 `frontendTestHandoffRefs` 与 `remainingRisks`：`finalize` 经新增确定性读取 port `loadChildCloseoutFacts` 聚合各 child 非阻断 frontend-test handoff 与 `residualRisks`，两者纳入 aggregate digest；伪造/缺失 childId、重复 handoff ref 均被拒，无 UI 可见需求的 child 空数组合法。形态决议落档为 operation 级确定性 finalize（无独立 shell 节点、无 `aggregating-closeout` phase 枚举），console 仍不实现第二套聚合逻辑。
 
 ### 新增
 
+- Operator Chat 时间线左缘新增「用户消息锚点栏」：每个用户输入一枚横向小条（12×3px 微圆角），紧凑等距排列并在时间线高度内垂直居中；条数超出栏高时相邻锚点自动聚合为稍宽的聚合条（悬停展开「N 条聚合输入」逐条列表，时间 + 单行预览，逐条点击定位）。悬停时小条向对话一侧平滑伸长（12→18px）并变橙，浮窗右侧弹出（白底圆角，正文最多 3 行、超出省略号，附序号与时间）；单击平滑滚动定位到对应消息（精确停靠在视口顶部偏移 8px）；覆盖视口顶部的锚点保持高亮。空会话自动隐藏；历史分页/流式更新/窗口缩放时自动重算（rAF 节流）。
+- 实验能力「编辑失败节点提示词后从节点重跑」（默认关闭）：内部开关 `HARNESS_DAG_RERUN_PROMPT_OVERRIDE=1` 启用后，`dag rerun` 支持 `--prompt-override <nodeId>@<file>`（全文替换）与 `--prompt-override-append <nodeId>@<file>`（追加指令：保留冻结原提示词，末尾追加 `<operator_addendum>` 块）。仅限 ERROR 且位于 reset closure 内的节点；mode + base/最终 prompt sha256 计入 planHash（execute 漂移即 `PLAN_DRIFT`），父 run spec 冻结、provenance（含 mode）落 `continuation.promptOverrides`。Console 新增 `dagPromptOverrideConfig` 开关探测 action，`dagRerunPlan`/`dagRerun` 接受 `promptOverrides`（`{nodeId, prompt, mode?}`）；Inspect DAG 节点 inspector 新增「提示词重启」tab——默认「追加指令」模式（只读底稿 + 追加编辑器），可切换「全文替换（高级）」，预检通过展示执行估算，提交后续跑并跳转新 run，全程不离开图页；开关开启时 `/inspect` 只注入 **scoped** 变体凭据（独立 cookie + `__INSPECT_MUTATION_TOKEN__`，与 Console 通用 token 互不可重放），mutations 路由对 inspect 凭据仅放行 `dagRerunPlan`/`dagRerun`（其余 action 403 `ACTION_NOT_IN_INSPECT_SCOPE`），Inspect 不获得通用写能力；开关关闭时不注入任何 token、tab 不出现，检视面保持严格只读。
+- 观察面 DAG Inspector 节点详情适配 Pi 扩展：执行器输入摘要展示节点声明的 `piExtensions` 短 id；新增「Pi 扩展运行事实」展示 `pi-extensions.json` 的 resolved（包名@版本）与 missing 降级原因（缺包降级不再静默）；产物未生成/损坏时降级提示不阻断接口，绝对路径不外泄。
+- 后端实现 DAG（standard / review-gated / supervised）的 Pi 节点支持按桶显式加载本机 Pi 导航扩展：读侧节点（除 closeout）加载 `pi-codegraph` + `pi-lens`，写侧节点只加载 `pi-codegraph`（pi-lens 的 `ast_grep_replace` 可绕过 writeSet，不加载）；前端/测试模板与省略字段节点保持扩展全关。扩展发现始终关闭，只经白名单解析 `~/.pi/agent` 与项目 `.pi` settings 的已装包（缺包降级不失败，产物 `pi-extensions.json` 记录 requested/resolved/missing）；session 后 pin 工具面剔 builtin 同名、deny 面与写工具，writer 的 `edit`/`write` 仍为 policy-wrapped；`.codegraph/**` index 同步不再计入 write-guard 越界。
 - Pi SDK 终态 session-events JSONL 顶层增加可选 `finish_reason`：仅当 `message_end` / `turn_end` / `assistant_message` 明确携带非空终止原因时由序列化层提升，不伪造默认值，也不回流 `stopReason` 诊断。
 - `backendTest` 布局配置纳入 Task Contract managed 注入面：`task advance` 新增 `--backend-test <json>`，可在公共任务生命周期内把 `testRoot`/`markdownRel`/`scriptRel`/`sharedSetupDoc`/`mode`/`gapDoc`/`executeScope` 写进 `task.json`，不再需要手工编辑（手工编辑会让任务漂移成 `externally-modified` 并拒绝 `--approve-gate`）。给出即整体替换、省略即保留既有配置（历史手写配置因此自愈）、`'{}'` 为显式清空回默认布局；重复 advance 幂等，契约保持 `managed`。`task contract diff` 把值变更标 routine `BACKEND_TEST_CONFIG_CHANGED`、丢键/清空额外标 elevated `BACKEND_TEST_CONFIG_WEAKENED`。
 - Operator Chat 文件预览抽屉新增图标「新窗口打开」：用当前已加载内容在独立浏览器窗口打开全页阅读视图，窗口内可切换「预览 / 查看原文」（带宽高的 `window.open` popup，Markdown 排版、HTML 铺满视口的空 sandbox iframe、JSON pretty-print / 其它文本等宽滚动）；打开成功后断开 `opener` 且不立刻 revoke Blob，避免空白页；弹窗被拦截时 header 附近报错且不关闭抽屉
@@ -33,6 +57,15 @@
 
 ### 改进
 
+- DAG 节点检查器「执行过程」按执行器分流：Pi 仍看 session-events；有命令的 shell 展示 `shell-command-receipt` 与 stdout/stderr；`frontendBrowserToolPreflight` 等内部处理器展示步骤回执（历史 run 可从 capability / attempt 产物合成）。空态不再把 shell/static 误说成「暂无过程日志」。节点输入补充 named handler 名称。脚本仍属于节点输入，不假装已执行。
+- DAG 节点检查器「节点输出」在整段内容为完整 JSON 对象或数组时改为缩进代码块展示，不再把紧凑 `JSON.stringify` 挤成一段 Markdown 段落；截断或非法 JSON、普通 Markdown 仍走原阅读器。
+- frontend DAG 的 materialized source references 恢复统一的有界 excerpt 与按需 read 指针，不再把 requirement/acceptance 文档全文复制进每个相关节点，也不再强制 contract/plan 重读全部绑定源文件，降低长需求在多节点中的重复上下文占用。
+- frontend-test prepare-package 会从 `docs/templates/`、`harness.json` `governanceRoot`/templates 以及 init 投影的 `ai_workspace/loop-agent/templates/` 拷贝标准场景；full init 目标仓不再静默落到仅含 `STD-FE-SMOKE-ENTRY` 的 fallback。
+- frontend-test 环境探测区分 connection-refused（curl 7）与 HTTP 4xx/5xx，并提示先启动本地前端后再从 probe 节点续跑；不再把所有不可达都写成同一句 `frontend-base-url-unreachable`。
+- frontend-test 报告解析用例 Markdown 的 `##`/`###` 标题与有序列表（`测试步骤` / `预期结果` / `前置条件与重置`）；缺 `测试目的` 时回退到用例 H1，避免主 HTML 出现空步骤。
+- `dag rerun --from-node` 把尚未启动的 writer/map 视为首次执行；frontend-test probe 这种失败的 exclusive shell 可以带着下游未跑节点续跑，不必整图 `standaloneTaskRerun`。
+- Pi SDK 节点在 stall watchdog（默认 15 分钟无 provider 活动）触发后，会先 abort 当前等待，并在同一会话自动发送一次「继续」；仅 abort 已确认且尚未调用 write 工具时恢复，失败仍判 timeout。绝对墙钟超时与 CLI 后端不走这条恢复。
+- DAG 节点检查器「执行过程」时间线默认展开原始协议事件（`message_start` / `message_end`），按钮文案为「隐藏原始协议事件」；用户可点选关闭，同会话内选择会保持。
 - Operator Chat 的乐观停止现在把“视觉已停止”和 Turn ownership 分开：Abort 获得可靠终态前明确显示“正在停止”，此时可为原会话保存一条服务端持久化的“停止后发送”消息；后一次覆盖前一次，切换会话、刷新页面或 Console 重启不会丢失，旧 Turn 结束后复用正常 Turn 准入路径自动发送，并以固定 `clientRequestId` 防止重复执行。
 - Operator Chat 修复快速终止时“停止后发送”与普通发送之间的准入空洞：发送路径改读实时 ownership；若 deferred 请求恰好撞上旧 Turn 终态，会先按服务端状态对账，再使用同一 `clientRequestId` 自动转为普通发送，不再要求用户刷新重试或丢失本次提交。
 - `dag rerun-task` 现在会把父 run 最后一轮仍未解决的 `verify-pi` / review 反馈、证据引用和修订轮次带入新完整 DAG；planner、implementer 与 verifier/reviewer 必须修复或举证说明不再适用，不能仅因文件已存在就返回 `already-satisfied`。Console 同步区分「自动修订」「从失败节点恢复」「带反馈重新执行任务」。
@@ -51,132 +84,218 @@
 - 侧栏文件树实时刷新：agent 回合结束、浏览器标签页回到前台、手动点「刷新」时重拉根目录+全部已展开目录（此前手动刷新只拉根目录，子目录永远旧缓存）。
 - Skills / Packages / Models 面板不再把 Pi 的 warning / collision 原文堆在列表上方：改成标题条一颗摘要芯片（如「14 条提示」），点开按「需要处理 / 名称不规范 / 同名未生效」分组，文案用自然语言，路径只显示末两段；名称不规范的技能在列表旁标「提示」，详情里说明「现在这样也能用」。加载失败仍单独成组，可点「再读一次」。
 - Skills / Packages 双栏改为左右各自滚动；资源弹窗挂到 `document.body`，按顶部对话导航的实时高度在剩余视口居中，不再被 sticky 顶栏挡住上沿。
+- 标准、评审和监督型 DAG 现在会在当前运行中重试短暂的验证故障；写入节点只有在确认工作区完全未变更时才会重试，避免因网络波动重新执行整条任务。
+- 后端测试支持自定义目录、公共前置说明、查询场景分区和增量补缺模式；相关布局可通过 `task advance --backend-test` 纳入受管任务契约，不再需要手工修改 `task.json`。
+
+- 裸 `agent-worker console` 在 listen 前会按本机自然日询问一次 npm `latest` 升级；继承当前 npm registry，失败不阻断启动，Console URL 仍只写 stdout。
+- npm `next` 发布成功后会更新 `npm-next` 分支锚点；可用 `loop-agent inspect next` 查看已发布版本、源码提交、构建时间和本地尚未发布的提交。
+- Operator Chat 的文件预览可在新窗口中打开，并可切换排版预览与原始内容；弹窗被浏览器拦截时会保留当前抽屉并给出提示。
+- Pi SDK 的会话事件可透出模型明确返回的结束原因，便于诊断截断、停止和异常结束。
+
+- 初始化模型配置新增 Pi/OpenCode 脱敏目录：代码只暴露白名单模型元数据和凭据就绪状态，执行初始化的模型结合目标项目自主选择并直接写入 LOW/MED/HIGH；只有实质歧义才询问用户。
+- npm `next` 自动发布改为每累计 5 个提交触发一次，减少无意义构建；手动发布仍可随时执行。
+- `dag rerun-task` 会继承上一轮尚未解决的验证和评审反馈，避免新一轮忽略旧问题或误判为已经完成。
+- DAG 恢复入口会根据失败类型区分“从节点继续”和“完整重跑”，并避免把失败节点改写成成功状态。
+- Operator Chat 停止会话时会显示真实进度；用户可预先提交一条“停止后发送”的消息，刷新页面或重启 Console 也不会丢失。
+- Operator Chat 的命令说明和参数提示与实际能力保持一致，减少选错恢复入口或误用占位参数。
+- 测试套件按 CPU、内存、平台和当前 DAG 压力动态分配资源，并减少重复启动进程，完整验证耗时更稳定。
+
+### 修复
+
+- backend-test 用例覆盖分析的 payload 形状提取在无 `python` 可执行文件的环境（现代 macOS 只有 `python3`）静默降级为空结果，导致 payload 观测路径全空、`PAYLOAD_SHAPE_MISMATCH` 误报；解释器解析改为 POSIX 优先 `python3`、Windows 优先 `python`（与 scenario-param 语法校验一致），仅在解释器缺失时尝试下一候选，分析输入自身的失败不再重试。
+- Inspector「执行过程」时间轴按「执行分次」选择过滤：session-events 是跨 attempt 共享追加的单文件，此前所有次执行的事件重合显示、切换顶部分次不生效；现在按 `agent_start` 边界分段，选中第 N 次执行只显示该段并标注「已按第 N 次执行过滤 · 共 M 次执行」，单次执行与 pass 选择保持全量展示，检测不到边界时显式提示并回退全量。
+- 前端 plan/revision 的 `openspec-citations` fence 提取改为行锚定正则：直接闭合的空 fence（无候选行、紧跟关闭 fence）此前被判定为「不存在 citation 块」而进入格式重试循环，现在计为合法的唯一 citation 块；重复、损坏或非唯一的 fence 仍被拒绝。
+- `npm test` 前置段失败导致后续段（io-heavy / integration）被跳过时，`scripts/run-tests.mjs` 显式输出警告与补跑命令，不再静默跳过（此前失败汇总会被误读为全量覆盖）。
+- npm 包现在会包含 `inspect next` 运行时依赖的查询脚本，安装后的 CLI 不再因缺少包内文件而无法启动。
+- 初始化更新改为一次扫描与规划：固定投影按 recorded ownership 确定性增删改，多个语义合并按单文件写边界串行排队，全部完成后只做一次最终验证；已完成的 `--status` / `--report` 只读取哈希锚定证据，不再重复运行项目脚本。`harness.json` 按属性结构演进并保留项目值，仍存在于 Pi 的 LOW/MED/HIGH 保持不变，只重选失效档位；fresh init、update 与 doctor 会在 Pi 无可用模型时提前阻断。
+- CLI 新版本检查与 `init upgrade` 的版本门禁会从调用开始就使用 npm 当前配置：目标项目 `.npmrc`、用户级/全局 `npm config set registry`、环境变量与 scoped registry 均继续由 npm 按原生优先级解析；企业镜像失败时不会偷偷回退官方源，并以脱敏原因区分超时、npm 启动失败、查询失败和无效响应。
+- 同一浏览器、同一 hostname、不同端口的多个 Operator Console 不再争用认证 Cookie；不同项目和同一项目的多个 Console 可以并行对话，往返页面无需刷新。Console 重启后旧页面仍会被安全拒绝，刷新后恢复。
+- Markdown 表格只处理横向溢出，鼠标停在表格上时仍可正常上下滚动对话。
+- Windows 上执行后端测试场景参数的 Python 语法检查时，会跳过不可用的 Microsoft Store 占位程序，避免错误回滚合法改动。
+- 旧版前端 DAG 也能识别增量计划修订，不再因契约格式差异反复重试；无法合并的修订会提示重新生成 DAG。
+
+### 文档
+
+- 整理 `0.36.0` 以来的更新日志，改为面向用户描述结果，并补齐 `0.38.0`、`0.38.1` 的正式发布记录。
+- 新增检查以阻止纯英文条目、重复版本、版本倒序和非标准 `Unreleased` 标题。
+
+## [0.38.1] - 2026-08-18
+
+### 重点更新
+
+- 前端实现计划统一使用结构化契约，修订只提交必要变更；系统会核对 OpenSpec 引用和组件选型依据，减少格式漂移、遗漏规范和无效返工。
+- Operator Chat 增强了模型配置、MCP 工具、文件浏览和运行状态展示，常用操作更集中，长时间对话也更容易掌握上下文。
+
+### 新增
+
+- Console「模型与认证」页支持查看和编辑 LOW、MED、HIGH 三档 Pi 模型；保存前会校验配置，保存后自动刷新模型状态和空闲会话。
+- Operator Chat 支持扩展提供的 MCP 工具；侧栏可查看已配置服务和当前会话实际可用的工具。
+- 文件预览改为侧边抽屉，可在排版预览和原始内容之间切换，不会打断当前对话。
+- 前端计划会记录实施步骤、样式策略、依赖选择、剩余风险和真实集成缺口，并在写入前检查组件选型依据。
+
+### 改进
+
+- 点击“停止”后对话会立即安静下来，并通过服务端状态对账确认最终结果，不再长时间停留在忙碌状态。
+- 对话底部持续显示上下文占用；历史工具调用按所属回合展示，不再错误挂到下一条消息下。
+- 文件树会在回合结束、页面回到前台或手动刷新时更新已展开目录，并支持直接引用整个目录。
+- Skills、Plugins 和 Models 的提示改为分类摘要，列表支持独立滚动，弹窗不会再被顶部导航遮挡。
+- Operator Chat 的恢复工具名称、参数和使用建议与实际能力保持一致，降低误选恢复方式的概率。
+- 前端结构化输出过长或格式不完整时会有针对性地重试，减少因输出截断导致的整轮失败。
 
 ### 修复
 
-- 前端实现 DAG 的 plan/revision 改为 artifact-first：成功节点以 SHA-256 绑定的 canonical contract 或 merge-patch artifact 供 prewrite 与评审消费，citation/raw 仅保留引用；prewrite 对新记录先校验节点状态、schema、run 内路径和哈希，失败不再回退解析模型 prose。plan/revision 输出限制为 14 KiB、canonical contract 限制为 16 KiB，citation JSON 与主契约隔离解析；下游不再内联或截断完整契约，provider `stopReason=length` 改用紧凑恢复提示。
+- 前端设计评审拓扑改串行：`frontend-design-review-pi` 依赖从 `frontend-plan-pi` 改为 `frontend-design-policy-shell`——确定性 policy 先物化 canonical 契约并判定（秒级，blocked 立即终止不浪费模型调用），模型 review 再基于物化契约评审（prompt 本就要求 canonical full-contract JSON 输入）；避免 policy 失败时 review 白跑、以及 review 读到未物化的 plan 中间态。
+- `design-evidence-conflict` 不再由 policy 阻断：`designEvidence.conflicts` 是模型如实披露的设计偏差（如任务要求的测试形态与冻结约束冲突），是否可接受应交由 design-review 的 `approve_design`/`request_design_changes` 裁决（`checkDesignApproval` 单独强制）；policy 一刀切阻断会让如实上报偏差的诚实 plan 永远无法通过、且模型无法"修复"它正确识别的冲突。
+- write guard 豁免 vite/vitest 运行时缓存：前端 writer 在执行验证（vitest）时写 `node_modules/.vite/vitest/results.json`（gitignored 工具缓存），不在 writeSet 内导致 write guard 误判越界（真实 DAG 冒烟暴露）。`isEphemeralToolCachePath` 增加 `node_modules/.vite/` 豁免；产品文件越界仍 fail-closed。
+- 前端 writer-admission 的 worktree baseline 改为收集完整 workspace 清单：`captureFrontendWorktreeBaseline` 原用 `git status --porcelain`（只有变更文件），干净 git 仓库下 baseline 为空 → 必然 `baseline-empty` 卡死 writer-admission（真实 DAG 冒烟暴露）。改为 `git ls-files -co --exclude-standard`（全部被跟踪 + 未跟踪文件，排除 gitignored），作为 writer 修改对照的确定性快照；下游 freezeBaseline/admission digest 语义不变。
+- 前端 writer-admission 的 writeSet 派生支持 glob 展开：契约 schema 允许 `targets.files` 含 glob（如 skeleton 从任务 allowedPaths 继承的 `src/**`），但 `deriveWriteSet` 只接受具体路径导致带 glob 的任务必在 writer-admission 卡死 `write-set-path-not-concrete`（真实 DAG 冒烟暴露）。新增 `expandFrontendGlobPaths`（git ls-files 枚举 workspace 文件 + glob 匹配展开），`deriveFrontendWriterAdmissionShell` 接收 `workspaceFiles` 后把 glob 展开为可写的具体文件；无文件清单（非 git 仓库）时 glob 仍 fail-closed。shell-executor 在调用处注入 `collectWorkspaceFiles`（git ls-files -co --exclude-standard）。
+- 前端 policy 依赖授权与状态归属检查对齐计划语义（真实 DAG 冒烟暴露）：`allowedDependencies` 不再硬编码空数组，`init-hybrid` 从目标项目 package.json 收集 dependencies+devDependencies 冻结进 run.json，plan 前置检查与 policy shell 用同一非空允许集；`checkDependencies` 对「零新增/不引入」等明确否定声明豁免 prose 分词（不再把「仅使用已声明的 react、vitest@2 工具链」里的词误报为未授权依赖），未声明的新依赖仍 fail-closed 拒绝，空允许集（manifest 不可读）跳过检查而非误报；`checkUiStateAttribution` 改为校验契约**已声明**状态的归属完整（applicable→expectedBehavior、non-applicable→notApplicableReason），不再强制 loading/empty/error/disabled 固定四名必须全部出现（模型无法在不 invent 状态的前提下补出不存在的状态，重试无法修复）；plan prompt 补充 dependencyPolicy 声明格式指令。
+- 前端 policy 前移的 canonical 状态归属检查修正：`checkUiStateAttribution` 不再无条件强制 loading/empty/error/disabled 四态全部存在——schema 与 prompt 明确允许纯逻辑修改 `uiStates: []`（不得 invent UI 状态），纯逻辑契约（无 uiStates 且无 interactions）豁免该检查，否则合法 plan 会在 policy 整链终止、且 plan 节点重试也无法修复（模型被禁止虚构状态）；一旦契约声明任何 UI 可见工作（状态或交互），四态归属要求完整生效。
+- 前端契约 required-with-fallback 字段（`designEvidence`）补齐收敛到唯一共享层 `completeCanonicalRequiredFields`：strict-shape 与 free-form 分支不再各自补齐（分支规则漂移曾同时造成 `designEvidence.source Required` 与 verification target 虚构 `["success","error"]` UI state 两类失败）；verification target 未声明 UI 绑定时保持 `uiStates: []`，不再默认「成功/失败」态；`commandLabel` 缺失时不再 fallback 到 `npm run typecheck` / `npm run test:unit:fe`，留空交由冻结命令集 fail-closed 拒绝；plan prompt 增加 attribution 硬前置检查（interaction/uiState 必须被 `uiComponentChoices` 覆盖，缺失以 retryable 诊断失败）。同步 `docs/runtime/frontend-implementation-workflow.md` 的 `submit_plan_ledger` 旧协议残留为增量 `record_*` + 唯一 `finalize_plan`。
+- 前端 plan facts 质量问题消化在节点内有界重试：coerce strict 分支补全部分 designEvidence（record_design_deviation 只产 conflicts 时不再死于 Required）；policy 中可归因到 plan facts 的三类检查（依赖授权 / 交互与 UI 状态归属）前移进 plan 节点验证，带诊断重试修复，design-policy shell 保留最终权威
+- `frontend-plan-pi` 的 typed facts schema 违规（如 verification target 引用未声明 UI state）接入 §5.1 Plan retry 阶梯：`FRONTEND_PLAN_LADDER_RETRY_POLICY.retryCategories` 增加 `invalid-output`，首次失败不再直接 terminal，而是在 normal 档带 `<retry_instruction>`（具体 schema 违规 reason + 修复指引）有界重试；fingerprint 与 5 次上限防线不变。
+- 前端 DAG shell 门禁改消费 committed typed facts 确定性组装 canonical contract 并 fail-closed：`frontend-design-policy-shell` 与 `frontend-prewrite-gate` 的 admission 分析路径不再从 Plan/Contract 节点文本提取 fenced JSON（`extractFrontendImplementationJson` / `analyzeFrontendImplementationContract({fromNodeId})` 文本路径退役），改由新增纯函数 `buildContractFromCommittedFacts` 用 committed `plan-typed-facts.jsonl` ⊕ 运行期 skeleton 组装，经既有 `analyzeFrontendImplementationContract({rawContractText})` 严格 schema 校验；committed facts 缺失、schema 漂移或 finalize 缺失时返回明确 blocked/invalid-output，不回退文本解析；`init-hybrid` 在 `frontend-plan-pi` 冻结 `structuredContractOutput.skeleton`，并在 `frontend-design-review-pi` prompt 增加硬约束：不得对冻结验证命令（typecheck/test/build/lint 等）执行结果做权威断言（命令结果由 `frontend-verify-shell` 确定性认定），验证可行性疑虑仅作非阻断 verification concern，纯「命令会失败」预测不得归类为 `contract-requirement-gap`。
 - Console 对话中的 Markdown 表格只约束横向滚动，不再截断纵向滚动链；鼠标或触控板停在表格上时仍可继续上下滚动对话。
 - scenario-param 确定性 rewrite 的 Python 语法校验：Windows 优先 `python`，并把 Microsoft Store `python3` 空壳（非 0 且无语法诊断）视为解释器不可用后回退，避免误回滚合法 rewrite。
 - `frontend-plan-revision-pi` 节点级校验与 merge-patch 输出协议矛盾修复：新增 schemaId `frontend-implementation-contract-revision-patch-v1` 与格式级宽松校验 `validateFrontendRevisionPatchNodeOutput`（至少一个 `openspec-citations` 块 + 剥离引用块后恰好一个 JSON 对象，不做完整契约 schema 校验），revision 节点 `structuredContractOutput.schemaId` 切换（plan-pi 仍为 v1）；node-execution 的 invalid-output retry 指令按 schemaId 分支，patch 协议提示 merge-patch delta + 引用块，消除「prompt 要求 patch、retry 要求完整契约」的 retryable 死循环；gate 仍是唯一权威合并/校验点（零改动）。ADR 0015 补「节点级校验」决策 7
 - `frontend-implementation-contract.schema.json` 的 `uiComponentChoices` items 补 `if/then` 决策语义（`specified` ⇒ `specReference` 必填非 null；`new` ⇒ `specReference` 为 null/缺失）；`frontend-plan-render.ts` 空 `section` 不再渲染尾随 `#`；ADR 0016 增补「门禁边界」小节
 - 前端 gate 内容驱动 revisionPatch 兼容 + verdict 归一化统一：旧 DAG（缺 `revisionPatch` 字段）但 revision 节点按协议输出 merge-patch 时，gate 按内容判定自动合并原始契约并走既有校验（不再因 `missing targets.files` 进入 retryable 死循环）；patch 形态但无法合并（fallback 缺失/自身、原始节点不可读或非完整契约、apply 失败）→ `blocked` + 新增 `revision-patch-unmergeable`（错误信息含重新生成 DAG 指引）；`normalizeVerdictCandidateLine` 增强 backtick 强调剥离，gate 的 `firstNonEmptyVerdictLine` 复用共享 normalize，runIf / output-protocol / gate 三处一致
 
-### 文档
+- 前端计划修订能正确识别增量补丁，不再因“提交完整契约”和“只提交变更”两套要求冲突而循环失败。
+- OpenSpec 引用必须来自真实读取记录；缺失、移动或未引用的规范会在写入前给出明确提示。
+- 初始化升级和并发写入不再把构建产物或临时文件误判为越界修改。
+- Console 的授权失效、模型配置错误和资源诊断会显示可操作的中文提示，不再直接暴露内部错误。
+
+## [0.38.0] - 2026-08-17
+
+### 重点更新
+
+- npm 发布改为 `next`、版本发布线和人工 `latest` 三个渠道，开发版本不再自动覆盖稳定版本。
+
+### 新增
+
+- 主分支持续发布 npm `next`；发布分支维护对应版本线；`latest` 仅通过人工操作提升。
+- 新增双周发布列车，可从指定 `next` 的源码提交创建发布分支，并绑定最终 tarball 与源码提交。
 
-- 新增 `docs/decisions/0016-frontend-component-conformance.md`，并同步 `docs/runtime/frontend-implementation-workflow.md`、`docs/templates/frontend-implementation-contract.schema.json`、`skills/frontend-implementation/references/design-spec.md`、`skills/frontend-implementation/references/node-contracts.md`、`skills/frontend-design-review/references/review-checklist.md`、`CONTEXT.md`
-- 新增 `docs/decisions/0015-frontend-plan-json-only-contract.md`，并同步 `docs/runtime/frontend-implementation-workflow.md`、`docs/templates/frontend-implementation-contract.schema.json`、`skills/frontend-implementation/references/node-contracts.md`
-- 新增 `docs/decisions/0014-openspec-gate-claim-verification.md`，并同步 `docs/runtime/frontend-implementation-workflow.md`、`docs/templates/frontend-task-constraints.md`、`docs/templates/frontend-design-contract.md`、`skills/frontend-implementation/references/node-contracts.md`
+### 改进
+
+- 发布策略会同时校验分支、版本和目标渠道，不符合矩阵的发布会直接拒绝。
+- 发布中断后可从已有分支、版本或标签继续，恢复时会核对预期源码提交，避免发布错误制品。
 
 ## [0.37.1-beta.0] - 2026-08-16
 
 ### 重点更新
 
-- backend-test live campaign R115–R141 收口：全新 R141 达到 readiness PASS、23/23 correspondence exact、146/146 Test Points、77/77 scenario MATCH、traceability PASS，并唯一执行 82 个真实 API pytest body
-- 强化 backend-test correspondence、scenario-param、Markdown/pytest writer、collection repair、日志审计和 Windows pytest argfile 执行链，稳定区分 controller TestBug、generated TestBug 与真实 API ProductBug
+- 后端测试流程完成一轮真实项目验证：覆盖 146 个测试点和 77 个场景组合，并执行 82 个真实 API 测试，需求、用例与执行结果能够完整对应。
 
 ### 改进
 
-- backend-test correspondence 只分析目标请求实际绑定的 body/payload，忽略 `scenario` 元数据与 setup-only payload；对 `scenario["body"]` 保留字段 shape，并把 intentional invalid enum 交由 scenario-param 门禁判断；同时识别下划线前缀 pytest 参数集合与带说明的 `Payload Contract: none（…）`，避免零 eligible 的 payload/parameter 误阻断
-- backend-test correspondence 继续解析模块内 transport wrapper 的位置 payload 与 wrapper 构造 body，并清理 `Payload Enum` 值后的中文说明，避免 PUT/lifecycle 合法载荷误报；Markdown/pytest writer 同步禁止臆测响应 ID 类型，并在路径 ID 类型未声明时使用 create-delete 派生的合法 missing ID，避免把测试资产缺陷误分类为产品 400/404 缺陷
-- backend-test correspondence 可还原 `_apply_patch(_base_body(...), patch)` 等 transport-body 组合表达式，并把 setup wrapper payload 限定为有 body 契约时的 fallback；traceability 接受经递归脱敏和有界输出的结构化 request/response 日志，scenario-param 支持带显式例值的 string wrong-type；pytest writer/repair 同步禁止把 path/query/control `id` 混入 DTO patch
-- backend-test correspondence 识别模块级 `_post_case`/`_put_case` 参数工厂、factory TP 字面量与通过 `payload["field"] = value` 构造的 DTO shape，并避免空列表全局变量吞并后续参数集合；writer/repair 要求每个变体展开为直接 `pytest.param(..., id="TP-...")`，scenario readiness 不再依赖隐藏的动态参数行；traceability 允许窄 `urllib.error.URLError`/`httpx.RequestError` DELETE cleanup
-- backend-test correspondence 继续还原 `payload = _base_note_payload()` 形式的 builder-return dataflow，并把 intentional invalid enum 交给 scenario-param 而非 Case 聚合 payload gate；Markdown review 明确 GET/DELETE setup DTO 不得改写目标 no-body contract，pytest writer/repair 禁止把返回 scalar 的 helper 当 tuple 解包
-- backend-test collection repair 把 upstream 的 `Repair paths: testcase/...` 直接视为完整权威路径证据并读取/编辑该文件；禁止猜测根级 `contracts/**` 或 DAG run 目录，也禁止 read tool 已成功返回文件后反事实声称路径不存在并提前 blocked
-- backend-test 的 REPAIRABLE collection repair 现在强制 non-empty diff，禁止 `already-satisfied` 制造假修复；Markdown review 增加 `### 测试点` 与三类 binding union 的 exact-set 校验并删除 legacy alias；no-body Case 的 payload correspondence 忽略同一 journey 的 direct setup POST/PUT DTO
-- backend-test generated-local collection repair 从 HIGH 路由降为 MED，在保留 write guard 与 requireChangedFiles 的同时避开连续多轮 grok repair hallucinated blocked/changed-without-write，改由稳定 writer 路由执行有界单文件修复
-- writer outcome 协议确定性归一化显式中文 `实现结果：已变更|已满足|已阻塞` 到 canonical `IMPLEMENTATION_OUTCOME`，仍拒绝无标签 prose、未知值和冲突值，不根据 diff 猜测语义
-- scenario-param 识别 `"x" * _TITLE_MAX_LENGTH` 等长度表达式与 helper 常量名相乘形式
-- correspondence 忽略 pytest payload 中的 `expect`/`echo_*` 辅助键，避免把 DTO 外 helper 字段误判为 PAYLOAD_SHAPE_MISMATCH
-- scenario-param 解析 `bound=LEN100` 机器行、解引用 `_STATUS_ACTIVE` 等 Python 字符串常量，并把 `NOMINAL` 长度样本从 min/max 纠正为 nominal
+- 请求体分析可识别常见包装函数、数据构造器、补丁合并和参数工厂，减少把测试准备数据误判为接口请求的问题。
+- 场景参数校验增强了缺失值、空白、边界长度、非法枚举和辅助常量的识别，降低合法用例被误报的概率。
+- 生成的 Markdown 和 pytest 用例必须使用明确且唯一的测试点编号，并避免猜测接口未声明的 ID 类型或响应结构。
+- 修复流程会直接使用上游提供的测试文件路径，并要求产生真实改动，避免找错文件或“未修改却声称已修复”。
+- 请求与响应日志支持有界脱敏记录，清理阶段可处理常见网络异常，排查失败原因更加可靠。
+- 测试结果能够更稳定地区分控制器问题、生成用例问题和真实产品缺陷。
 
-- scenario-param 观测识别 `_OMIT`/omit sentinel 为合法 `missing`，跳过 `"2xx"`/`"400"` 期望码位置参数，解码 Python `\t`/`\n` 空白字面量，识别 `_TITLE_LEN1` 等长度 helper 名，支持 `custom-literal:whitespace-only|whitespace-padded` 语义标签，`enum-invalid` 接受具体非法字面量，并在 `min`/`LEN1` 意图下优先读取 TP 编码长度与 `minLength` 边界
-- scenario-param 兼容 `empty` 意图下的 omit/`missing-key`，规范化 `custom-literal` 外包引号与可见空白符，并把 `max+1`/`min`/`max` 的裸数字位置参数按长度 token 比较（含 oversized 数字本身）；`custom-literal:trim` 视为 padded whitespace 语义标签
-- backend-test writer 合同明确：`enum-invalid` 必须使用具体非法字面量且禁止 `_OMIT`/missing-key；`custom-literal:trim|ACTIVE|ARCHIVED` 必须使用真实 padded/enum 字面量，禁止 `filter-active` 类描述性伪值
-- scenario-param 识别 `_*_MAX_LENGTH` / `_*_OVER_LENGTH` 等长度 helper 名，明确 `custom-literal:trim` 不能是全空白，并把无 pytest.param 的 request-level/health nominal 记为 MATCH 以免污染 eligibility
+## [0.37.0] - 2026-08-16
 
-## [0.36.4-beta.0] - 2026-08-16
+### 新增
 
-> 前端 DAG 规范上下文确定性落地（beta，发布到 `beta` dist-tag）。
+- Operator Chat 支持 Markdown 语法高亮、数学公式和 Mermaid 图表。
+- 新增 DAG 操作入口与产物栏，可从对话中查看运行、门禁和交付结果。
+- 对话中可查看上下文压缩进度、上下文占用和语义缓存状态。
+- 当前回合的思考、工具调用和过程事件会按实际发生顺序实时展示。
 
-### 新增
+### 改进
 
-- `discoverFrontendProjectCapability` 产出 `designEvidence.classified` 语义归类：按通用目录约定（`openspec/schemas/**`、`openspec/project-specs/templates/**`、`openspec/project-specs/rules/**`、`openspec/project-specs/ui/**`、`ai_workspace/**`）把规范路径分入稳定键 `schemas` / `codeTemplate` / `rule.*` / `theme` / `component` / `uiOther` / `advisoryOther`，并进入 zod schema 校验（分区恒等式：归类值集合 == `normativePaths` 集合），重复探测稳定，不硬编码具体项目文件名
-- 前端 contract/scout/plan/design-review 节点的 `subtask_prompt` 注入归类后的规范路径（含角色语义）并明确要求报告适用规则、命中路径/章节/行号、冲突与缺失
+- 重跑标题会显示运行轮次，运行中的会话和停止按钮具有明确的状态标记。
+- 错误提示改为自动消失的悬浮消息，不再挤压聊天区域。
 
 ### 修复
 
-- `frontend-prewrite-gate` 在 `openspecCandidatePaths` 非空时强制生效 plan/review 节点实际读取候选路径：未读 → `retryable-invalid` + 新增 `openspec-not-read` failureCode，错误信息列出未读路径；空候选（greenfield）不阻断。此前读取证据仅记录不阻断（advisory），本次真正 fail-closed
-- OpenSpec 候选发现止血：默认排除治理子树（`harness.json.governanceRoot` → 缺省 `ai_workspace/loop-agent`），移除固定 `slice(0, 40)` 截断，`openspec/**` 排序优先于 `ai_workspace/**`，仅保留 ≥200 的显式安全上限（命中时写入 `DagSpec.advisories`，非静默丢弃）；`openspec-not-read` 失败原因增加实际读取路径/候选总数/排除统计与「重新生成 DAG」归因，生成后已删除/改名的候选改为 `candidate-missing-drift` 诊断而非误报「未读」
+- 长会话标题能够稳定显示完整悬浮提示，相关活动也能定位到对应 Operation。
+- 非规范的 `newTask` 编号会立即返回修正建议；PRD 标题和投影引用的识别更加宽容。
+- 中断能力通过 Worker 边界调用，减少运行时模块之间的耦合。
 
-### 文档
+## [0.36.4-beta.0] - 2026-08-16
 
-- `docs/templates/frontend-task-constraints.md` 把裸 `TODO` 改写为「探索协议 + 结果 schema + 缺失/冲突 fail-closed」，不再出现具体业务组件名或项目专属路径/命令
-- `docs/templates/frontend-task-requirement.md` 与 `docs/templates/frontend-design-contract.md` 把裸 `TODO` 改写为「编写协议」三要素（要写什么 / DAG 如何消费 / 缺失/冲突时 fail-closed），并新增 `test/frontend-template-no-todo.test.ts` 扫描三个前端模板断言无裸 `TODO`
-- `docs/runtime/frontend-implementation-workflow.md` 的项目规范归类清单改为通用目录约定 + 归类规则，删除写死的示例项目文件名
+> 前端任务读取项目规范的能力进入 beta。
 
-## [0.36.3-beta.0] - 2026-08-16
+### 新增
 
-> 前端 DAG Mock 治理收紧（beta，发布到 `beta` dist-tag）。
+- 前端 DAG 会按模板、规则、主题和组件等用途整理项目规范，并把相关内容提供给契约、探索、计划和设计评审阶段。
 
-### 改进
+### 修复
 
-- 前端 DAG 的 Mock 策略约束注入设计评审链：`mockContextBlock`（含冻结 allowlist 的「HARD CONSTRAINT」与修复路径）现在也注入 `frontend-design-review-pi` / `frontend-plan-revision-pi` / `frontend-final-design-review-pi`，消除「design-review 按项目规范要求 native、但生成期 allowlist 冻结为 not-needed、prewrite 硬阻断」的策略断环——评审链会明确提示这是生成期契约缺口（需声明 `frontendMock.verifyCommands` 或 `policy: "required"` 后重新生成 DAG）
-- 前端任务生成期 Mock 预警：新增 `DagSpec.advisories`，任务源提到接口/API/Mock 但 auto 模式把策略收窄为 `not-needed` 时，`task advance` 的 `warnings` 会给出可操作提示（声明 `frontendMock.verifyCommands` 或 `policy: required` 后重新生成 DAG），把契约缺口提前到生成期暴露
+- 有适用规范时，计划和评审必须真实读取并引用；缺失、移动或删除的规范会给出清晰诊断，而不再笼统提示“未读取”。
+- 规范发现不再静默截断前 40 个文件，同时会排除 loop-agent 自身的治理目录，减少漏读和误读。
 
-### 新增
+### 文档
 
-- 版本发布改为三渠道：main 自动发布 npm `next`（`x.y.0-next.N`）、release 分支自动发布正式 patch 到 `release-x.y`、`latest` 仅由人工 GitHub Actions promotion 移动（支持 dry-run 与 CAS 校验）
-- 新增 `next-release.yml` / `cut-release-line.yml` / `release-line-publish.yml` / `promote-npm-latest.yml`，删除旧每日自动 latest 发布入口
-- 发布策略改为 branch + version + channel 矩阵（`scripts/release-channel-policy.mjs`），fail closed
-- 双周 Release Train：可从选定 next 的精确 source SHA 创建版本化 release 分支，带幂等恢复与单 tarball SHA-256 绑定
+- 前端任务模板改为可执行的探索与失败处理说明，移除裸露的 `TODO` 和项目专属示例路径。
 
-## [0.37.0] - 2026-08-16
+## [0.36.3-beta.0] - 2026-08-16
+
+> 前端 Mock 治理与新发布渠道进入 beta。
 
 ### 新增
 
-- markdown syntax highlight, math formulas and mermaid diagrams; operate entry lands on chat
-- label rerun titles with round number from -rN id suffix
-- enter-DAG action, artifact rail projection, zh changelog
-- surface compaction progress and timeline summary
-- floating auto-dismiss toasts replace in-flow error alerts
-- add running spinners to session titles and stop button
-- show context ratio, semantic cache icons, align process entry typography
-- show context usage and semantic cache labels in usage bar
-- stream live turn process in strict order
+- npm 发布分为 `next`、版本发布线和人工 `latest` 三个渠道，避免开发版本自动覆盖稳定版。
+- 新增双周发布列车，可从指定 `next` 的源码提交创建发布分支，并校验最终 tarball 与源码一致。
 
-### 修复
+### 改进
 
-- isolate interrupt kernel behind worker adapter
-- constrain session title width so hover tooltip engages
-- backfill operation link for semantic activity refs
-- fail fast on non-canonical newTask ids with suggested fix
-- accept projected references and normalize PRD headings
+- 前端设计评审会同时考虑任务声明的 Mock 策略和验证命令，避免评审通过后才被写入门禁阻断。
+- 当任务提到 API 或 Mock、但契约缺少验证方式时，系统会在 DAG 生成阶段给出修复建议。
 
 ## [0.36.2] - 2026-08-16
 
 ### 修复
 
-- exempt changelog history from task-pool-root scan
-- exempt gitignore managed-block doc references in task-pool-root check
+- 仓库治理检查不再把更新日志历史或 `.gitignore` 托管说明误认为非法任务池路径。
 
 ## [0.36.1] - 2026-08-16
 
 ### 新增
 
-- cooperative live DAG interrupt and recovery UX
+- 支持协作式中断正在运行的 DAG：当前节点安全结束后停止后续调度，并提供后续恢复入口。
 
 ### 修复
 
-- move interrupt eligibility to observability to honor kernel import boundary
-- retry semantic intake across Pi tiers with 300s timeout
+- 语义导入会在不同 Pi 模型档位之间重试，单次最长等待 300 秒，降低单一模型暂时不可用造成的阻塞。
+- 中断资格判断移到可观测层，避免破坏运行时模块边界。
 
 ## [0.36.1-beta.0] - 2026-08-16
 
-> 标准 DAG planner 输出超长紧凑重试（beta，发布到 `beta` dist-tag）。
+> 标准 DAG 的计划阶段支持超长输出恢复。
+
+### 改进
+
+- 契约或计划输出过长时会自动重试为精简版本，只保留实施步骤、写入范围和验证命令等必要信息。
+
+## [0.36.0] - 2026-08-15
+
+### 重点更新
+
+- Operator Chat 可以持续监督长时间运行的 DAG，并在失败后展示原因、恢复路径和可执行的后续动作。
+- 新增任务旅程卡，将任务创建、人工门禁、多次运行、失败和恢复记录集中展示。
+
+### 新增
+
+- 会话删除改为列表内二次确认，减少误删并避免浏览器原生弹窗打断操作。
+- 斜杠命令面板优化了卡片布局和键盘操作，在较小窗口中也能完整使用。
 
 ### 改进
 
-- 标准 DAG 的 planner 节点（`contract-pi` / `plan-pi`）输出超长（`output-too-large`）时自动紧凑重试：新增 `PLANNER_OUTPUT_LIMIT_RETRY_POLICY`（默认重试集合 + `output-too-large`），紧凑重试指令按节点类型区分——结构化契约节点只返回单个紧凑 JSON，普通计划节点返回最小计划（有序步骤、writeSet 边界、验证命令），并丢弃上游原文引用与长证据摘录
+- 运行状态、恢复建议和关键操作统一使用自然中文，减少内部状态码直接暴露给用户。
+- 任务监督更能容忍短暂静默和状态延迟，降低正常运行被误判为中断的概率。
+
+### 修复
+
+- 恢复流程可正确读取运行报告，不再因响应结构差异误判为无法恢复。
+- 变更范围以 Git 工作区的真实差异为准，不再根据模型回复推测是否修改过文件。
+- PRD 验收标题支持更多常见写法；目录文档更新时会检查索引是否同步。
+- Operator 自定义工具可正常进入 Pi SDK 会话，命令面板的高度和降级提示也更加稳定。
 
 ## [0.35.4-beta.0] - 2026-08-15
 
@@ -191,30 +310,6 @@
 - `docs/templates/frontend-task-constraints.md` 的 Mock 约束从 TODO 改为可落地契约：要求从项目**探索**实际存在的确定性 Mock 验证命令（不硬编码命令名）并声明到 `task.json.frontendMock.verifyCommands`，说明生成期 `allowedMockStrategies` 来源、`mock-strategy-outside-allowed` 是生成期契约问题（修复 = 补契约 + 重新生成 DAG，plan-revision 无法修复）
 - `docs/runtime/frontend-implementation-workflow.md` 的 task.json 输入标准补充 Mock 契约声明、命令探索与失败恢复指引
 
-## [0.36.0] - 2026-08-15
-
-### 新增
-
-- 新增任务旅程活动栏，把任务创建、人工门禁、多次运行、失败和恢复记录聚合在同一张卡片中
-- 强化 Operator Chat 的 DAG 恢复能力，运行失败后可以直接查看原因、恢复路径和后续动作
-- 会话删除改为列表行内二次确认，减少误删，也不再被浏览器原生弹窗打断
-- Operator Chat 可以持续监督长时间运行的 DAG，直到任务结束、失败或确实需要人工处理
-- 优化斜杠命令面板的卡片布局和键盘操作，在较小窗口中也能完整浏览和选择命令
-- 运行状态、恢复提示和关键操作文案统一为自然中文，减少内部状态码和生硬英文直接暴露给用户
-
-### 修复
-
-- 任务推进期间的监督更加可靠，减少因短暂静默或状态更新延迟造成的误判
-- 运行器心跳不再提前唤醒 `operationWait`；Markdown 写入统一使用安全编辑工具，降低误覆盖风险
-- 写入目录文档时必须同步更新对应索引，避免内容已经生成却无法从目录入口找到
-- PRD 验收标准支持更多常见中文标题写法，不再因括号、破折号或措辞差异漏掉验收条件
-- 要求执行节点真正生成计划文件；没有触碰禁写路径时，不再错误声称任务受阻
-- 恢复重跑可以正确读取 `dag report` 返回的运行列表，不再因为响应结构差异误判为不可恢复
-- 变更范围统一以 Git 工作区的真实差异为准，不再根据模型回复文字推测是否修改过文件
-- Operator 自定义工具可以正常进入 Pi SDK 会话，不再被工具白名单意外过滤
-- 斜杠命令面板会根据实际可用高度自动调整，不再被窗口边缘裁切
-- 补齐 Operator Chat 的本地命令处理、动态命令降级和错误提示等交互缺口
-
 ## [0.35.3] - 2026-08-15
 
 ### 新增

package/README.md

@@ -47,12 +47,14 @@ npm install -g @tea-agent/loop-agent@0.37.5          # 精确、可复现
 
 ```bash
 loop-agent init instructions --repo-root .
-loop-agent init --repo-root . --profile full --merge
+loop-agent init model-catalog --repo-root . --json
+loop-agent init --repo-root . --profile full --merge \
+  --low-model <provider/model> --med-model <provider/model> --high-model <provider/model>
 loop-agent init doctor --repo-root .
 loop-agent inspect --repo-root .
 ```
 
-初始化会保留已有用户内容，并补充 `AGENTS.md`、`harness.json`、`ai_workspace/loop-agent/`、`.agents/skills/`、`.harness/` 和验证脚本等治理入口。
+`init model-catalog` 会通过 Pi runtime 与 OpenCode 的非 verbose 列表发现本机可用模型，只输出白名单模型元数据、Pi setup 状态和 provider 凭据就绪状态，不输出原始配置或凭据。已有 LOW/MED/HIGH 只要仍存在于 Pi 就保持不变；只有已移除或缺失的档位才由模型结合项目、能力、成本和上下文窗口重选。如果 Pi 没有模型定义，初始化模型会先向用户补齐 provider/model、API/base URL、上下文窗口、最大输出等无法推断的信息并协助配置；如果只是凭据缺失，则保留 harness 选择并修复认证。初始化会保留已有用户内容，并补充 `AGENTS.md`、`harness.json`、`ai_workspace/loop-agent/`、`.agents/skills/`、`.harness/` 和验证脚本等治理入口。
 
 控制器升级后，旧项目可能仍使用过期的 repo-local skills、模板、managed blocks 和治理说明。普通安全仓库命令结束时会自动检测目标项目是否需要对齐：非 TTY 只向 stderr 输出提示且不写入目标；TTY 且无 human decisions、无活跃 DAG/Worker 时，可经明确 `y/yes` 同意后应用 deterministic safe actions；也可手动运行统一入口：
 
@@ -66,11 +68,11 @@ loop-agent init reconcile --repo-root .
 
 ```bash
 loop-agent init upgrade --repo-root . --json
-# controller 返回单文件 merge task 后：
+# controller 返回当前单文件 merge task 后（其余任务已在同一次计划中排队）：
 loop-agent init upgrade --repo-root . --run-id <run-id> --continue --json
 ```
 
-它在 `.harness/init-upgrades/<run-id>/` 保存身份、扫描、动作收据、合并任务、验证与报告；`--status` / `--report` 只读。默认管理项目 `.opencode/plugins/`、`.pi/extensions/` 和 `.pi/settings.json`，不会默认写 `~/.pi/agent/settings.json`。旧项目首次执行后需 reload 宿主会话，以加载更新后的 AGENTS、skills 与 recovery 产物。明确「检查初始化更新」「只检查，不要修改」仍只运行 `init check-update`。
+它在 `.harness/init-upgrades/<run-id>/` 保存身份、一次性模型目录与 surface 计划、动作收据、合并队列、验证与报告。固定投影文件按 recorded ownership 确定性新增、更新或安全删除；用户改过的文件和项目自适应内容才进入模型合并。多个合并仍逐文件限制 `allowedPaths`，但接受后直接激活下一项，不重复版本发现和全量规划；全部处理完只执行一次最终验证。`harness.json` 按属性结构新增/删除字段并保留项目值，同时同步 schema。已完成的 `--status` / `--report` 只读取控制器哈希锚定的证据，不重新执行项目脚本。默认管理项目 `.opencode/plugins/`、`.pi/extensions/` 和 `.pi/settings.json`，不会默认写 `~/.pi/agent/settings.json`。旧项目首次执行后需 reload 宿主会话。明确「检查初始化更新」「只检查，不要修改」仍只运行 `init check-update`。
 
 完整说明见[初始化目标项目](website/docs/quick-start/init-target-project.md)。
 
@@ -114,7 +116,7 @@ loop-agent dag report --run-id <run-id>
 | --- | --- | --- |
 | 受治理 CLI | `loop-agent …` / `agent-worker …` | 权威写入与诊断 |
 | Loop Operator Console | `agent-worker console` | Official 本地控制面（默认 repo=当前目录、`127.0.0.1:8790`，含 Operate 与 Inspect） |
-| Inspect（只读） | `agent-worker console` → `/inspect/`；`observe snapshot` | 统一 Console 内只读检视；`observe serve` 已下线（REMOVED / exit 2） |
+| Inspect（只读） | `agent-worker console` → `/inspect/`；`observe snapshot` | 统一 Console 内只读检视；`observe serve` 已下线（REMOVED / exit 2）。实验例外：`HARNESS_DAG_RERUN_PROMPT_OVERRIDE=1` 时节点 inspector 增加失败节点「提示词重启」tab（默认关闭，不注入任何 mutation token） |
 
 ```bash
 # 终端 A：Console（任务/运行操作面；canonical mutation 只经 sibling loop-agent）
@@ -124,6 +126,8 @@ agent-worker console doctor --repo .
 
 ```
 
+裸 `agent-worker console` 在 listen 前会做一次交互式 npm `latest` 检查（本机自然日最多询问一次，继承当前 npm registry / 企业镜像，失败不阻断启动）。询问与失败提示写 stderr，Console URL 仍只出现在 stdout。`console doctor`、帮助和版本命令不检查。
+
 访问 Console <http://127.0.0.1:8790/>；**Operator Chat Official** 是 Console 内的主引导交互，默认打开「对话」工作区。构建时设置 `VITE_OPERATOR_CHAT_DEFAULT_LANDING=tasks` 可改回 Tasks；URL hash（`#/tasks`）与 localStorage 仍优先于默认值。顶部「检视」以及 `/inspect/` 提供只读 Dashboard、DAG、时间线与 artifacts；`loop-agent …` / `agent-worker …` CLI direct path 仍是受治理 fallback。当前状态为 **code ready, dogfood pending/unmet**，不宣称已替代 openCode 或其他外部主会话。
 
 ## 核心边界

package/bin/loop-agent.js

@@ -18,11 +18,15 @@ if (!existsSync(cliEntry)) {
  * to silently execute a dist/ that predates the latest source edit. The
  * classic failure mode is editing src/** and running the bin without
  * `npm run build`, which executes the previous build. Suppress with
- * --ignore-stale-dist when intentionally running a stale build.
+ * --ignore-stale-dist (or LOOP_AGENT_IGNORE_STALE_DIST=1, which sibling
+ * processes such as a Console-spawned CLI inherit automatically) when
+ * intentionally running a stale build.
  */
 const srcDir = join(packageRoot, "src");
-const ignoreStale = process.argv.includes("--ignore-stale-dist");
-if (ignoreStale) {
+const ignoreStale =
+  process.argv.includes("--ignore-stale-dist") ||
+  process.env.LOOP_AGENT_IGNORE_STALE_DIST === "1";
+if (process.argv.includes("--ignore-stale-dist")) {
   process.argv = process.argv.filter((arg) => arg !== "--ignore-stale-dist");
 }
 if (!ignoreStale && existsSync(srcDir)) {

package/dist/application/task-lifecycle/recommendations.js

@@ -42,6 +42,7 @@ export async function buildTaskLifecycleRecommendations(input) {
     const allowedPaths = [];
     const verifyCommands = [];
     // 1) managed task config
+    let hasDeclaredManagedVerify = false;
     try {
         const config = await loadTaskConfig(input.repoRoot, input.taskId);
         for (const glob of config.allowedPaths ?? []) {
@@ -53,7 +54,9 @@ export async function buildTaskLifecycleRecommendations(input) {
                 source: "managed-task-config",
             });
         }
-        for (const cmd of config.verifyCommands ?? []) {
+        const managedVerify = (config.verifyCommands ?? []).filter((cmd) => Boolean(cmd.command?.trim()));
+        hasDeclaredManagedVerify = managedVerify.length > 0;
+        for (const cmd of managedVerify) {
             const label = cmd.label?.trim() || "verify";
             const command = cmd.command?.trim();
             if (!command)
@@ -70,14 +73,22 @@ export async function buildTaskLifecycleRecommendations(input) {
         // task may not exist yet
     }
     // 2) package.json scripts (only if not already covered by managed config)
+    // The full-suite `test` script is recommended only when the task declares
+    // NO managed verifyCommands at all. Once a task configures a targeted
+    // verify set (e.g. per-change typecheck + a scoped vitest run), the full
+    // `npm run test` must never be auto-added: it validates the whole repo,
+    // costs far more than the change under review, and can fail on unrelated
+    // pre-existing breakage, turning a targeted verify green into a hard fail.
     const scripts = await readPackageScripts(input.repoRoot);
     const hasVerifyLabel = (label) => verifyCommands.some((entry) => entry.label === label);
     const scriptCandidates = [
         { label: "typecheck", script: "typecheck" },
-        { label: "test", script: "test" },
         { label: "check-repo", script: "check:repo" },
         { label: "check-repo", script: "check-repo" },
     ];
+    if (!hasDeclaredManagedVerify) {
+        scriptCandidates.push({ label: "test", script: "test" });
+    }
     for (const candidate of scriptCandidates) {
         const scriptBody = scripts[candidate.script];
         if (!scriptBody)

package/dist/build-stamp.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
-  "version": "0.39.0-beta.2",
-  "gitSha": "cf766ed6e83a3498e13744ffd944ac10d7b1aeca",
-  "builtAt": "2026-08-21T07:43:32.268Z"
+  "version": "0.39.0-beta.4",
+  "gitSha": "c2dcaef179cd0526f8f5779e866d0e1103451baa",
+  "builtAt": "2026-08-23T07:52:07.528Z"
 }