@tea-agent/loop-agent 0.43.0-next.4 → 0.43.0-next.5

package/CHANGELOG.md

@@ -4,6 +4,7 @@
 
 ### 新增
 
+- Operator Chat 源代码管理（DSH 风格）：模型获得 `scm` 工具（status/diff/stage/unstage/discard/commit/log/branch/push/pull，固定参数 git 无 shell、限时限量输出）；Console 右侧辅助栏新增「源码」面板（DSH GitView 布局——分支下拉切换、已暂存/更改分组与全部暂存/取消暂存、单行提交框 Ctrl+Enter、内联分页历史带 refs 徽标与相对时间、点击文件看 diff、右键菜单放弃更改/复制路径）；模型与面板共用同一工作区级 ScmService。
 - Operator Chat 在具备 Aimax 凭据资格时，向对话进程注入 `$AIMAX_AUTH_TOKEN`（明文或 `sm4:v1:` 解密后的 ticket），供 skills 读取；文件缺失、无法解析或解密失败时不注入该变量。
 - Operator Chat 终端管理（DSH 风格）：模型获得 `terminal` 持久 PTY 工具（跨平台 shell 目录——Windows 提供 powershell/bash，macOS/Linux 提供 bash/zsh，pwsh 7 装了即用；cwd/环境变量/后台任务跨调用保留，完成标记协议 + 超时与截断保护，枚举与默认值按平台动态生成）；Console 右侧辅助栏新增「终端」面板（xterm.js 渲染，实时查看/接管模型的 shell，按平台动态展示可创建的 shell，支持发送输入、Ctrl+C、终止并关闭）；模型 shell 与用户面板共用同一会话注册表并开在工作区仓库根目录，命名区分来源。
 
@@ -11,6 +12,22 @@
 
 - 优化 Operator Chat 长会话的流式渲染：完成回合、消息行、工具卡和用户输入锚点建立稳定的 memo 边界，流式文本更新不再重复渲染整段历史或重装锚点测量监听；缓存会在历史消息或工具实际更新时正确失效；无新增折叠回合时不再提交空状态及重复写入本地存储，工具参数与结果格式化按真实输入变化缓存。
 - 对话页「过程折叠」对齐 DSH 细节：折叠后的内容仍保留在页面中，浏览器 Ctrl+F 可直接命中并自动展开；折叠行展开时不再多出底部空隙；箭头改为 16px、颜色更淡的固定图标（靠旋转而非换图标），并补齐系统「减少动态效果」偏好；汇总文案新增「N 个 subagent」，内置 Explore 子代理不再计入普通工具调用。
+- 恢复前端 Plan 实时事实分页读取、逐需求 UX 遗漏检查与已完成范围复用；超限时补齐剩余验证目标，并接通 DAG 到 SDK 的原会话续跑。局部状态修改保留其他需求的关联，沿用耐久账本、显式替换和冻结分片边界。
+
+- DAG 的 Pi SDK 节点遇到 `stopReason=length` 时，先在原会话内最多续跑 3 次，保留已完成写入和事实，成功恢复不消耗额外节点重试次数；共享原超时与上下文预算，已成功提交终态时不重复续跑，耗尽后才进入原有缩片或重试路径。
+- 修复前端 Design Review 成功后可能清空原 Plan 账本的问题，撤回未接通合同校验和物化的修订工具；同时移除误加在实施后 Review 的修订指令。Review 节点内局部修订尚未实现，设计缺陷仍走原有拒绝与恢复流程。
+- 前端 Plan 输出超限后按已提交事实续跑：带部分结果或网关诊断也会保留进度，自动缩小剩余需求；单个过大需求进一步按缺失事实逐项恢复，并在恢复耗尽时输出剩余范围。
+- 大需求前端 Plan 增加可分页的实时事实读取，保留长标识和跨批验收绑定；UX 按有限需求范围执行，重试复用完整批次和全局命名表，逐需求检查遗漏。冻结交付文件超过单 writer 容量时在 Contract 后提前识别拆分需求；自动子任务执行链路尚未接通，此项不代表自动拆分已可用。
+
+- 前端 DAG 修正否定约束导致的小任务误升级；Plan 在分片前统一 compact 判定并保留完整执行组。支持冻结 coverage 并发上限（1–4，默认 4），限流后减少后续并发且不增加重试。自动恢复子进程与 DAG 共用长跑超时，避免继承通用 120 秒上限而中途终止。
+- 前端 DAG 保留完整需求并按作用域/执行组分批，工具提交改为先校验和耐久保存再回执；支持按组共享覆盖、逐端点/逐 finding 提交和缺项恢复。小任务走短流程，容量耗尽直接缩小剩余工作；模型窗口不再硬编码为 100K/16K。独立 AC、来源保真与 writer/verify 门禁保持有效。
+- 观测台阅读与口径修补：失败节点的产出页把「错误输出」提到正文之前，未登记文件关系时不再展示空文件卡；检查器 Tab 条放不下时两端渐隐提示并保证选中 Tab 可见，每页顶部说明卡可收起。异常 Task 的分类与建议跟进显示中文业务术语（未知 token 原样透传并可悬停看原始值），资源池「合计」改为口径明确的「已建 Task」并附悬停说明，数据更新文案改为「数据更新于 … · 仅提示」。DAG 详情面包屑使用可读运行标题（缺失回退运行 ID、窄屏截断），「记录保存位置」移入「诊断信息」折叠区，页面刷新按钮与标题同行靠右。
+- 观测台保留检查器 Tab 导航，日志分类收进下拉框，辅助操作改为带提示的图标；所有执行记录区域（检查器执行记录/产出、运行页最新输出）统一配备对话式「回到底部」悬浮按钮：内容可滚动且视口离开底部即出现，贴底或内容不足一屏时隐藏，点击回到底部；活跃运行同时恢复跟随并提示未读条数，终态运行同样可用。执行分次仅在相关页面固定显示，上翻暂停跟随，并记住分次阅读位置。补充日志搜索、错误过滤、图定位和完整脱敏文本下载。
+- 实际上下文改为中文材料目录优先、技术信息折叠；修复历史轮次混读当前上下文和旧请求覆盖新尝试的问题。保留仅看错误与原始协议事件，原始协议使用直接可达的图标开关，移除单项更多菜单和日志 HTML 导出；交接包明确固定来源并支持刷新。
+- 检查器隐藏无内容或明确不适用的入口：单次执行不显示尝试对比，Shell/静态节点不显示实际上下文，静态节点不显示执行记录；切换节点与新增尝试时自动更新，保留用户当前的比较选择。
+- 资源池筛选覆盖任务标题和全部任务区域，返回列表及历史分页保留阅读状态；重跑草稿和影响预览可恢复，结果不确定时原样重试已确认的请求，避免重复创建运行。
+- 执行记录默认跟随最新内容；上翻自动暂停并出现对话式「回到底部」按钮，点击回到底部；历史记录保留阅读位置，终态运行同样可用。
+- DAG 节点检查器仅对最新且仍运行的执行默认跟随；右下角显示阅读状态、新记录提示和“回到最新”，上翻即暂停。
 
 ### 修复
 
@@ -23,6 +40,14 @@
   - **空气泡误删**：只包含思考或工具内容、正文为空的回合不再被清理掉。
   - **停止语义**：被停止中断的工具调用显示「已停止」，不再显示为「出错」并强制展开、计入「N 次出错」。
 
+- 任务成功与收尾只认可匹配当前契约版本和哈希的运行；更新需求后重新审查 gate，旧成功记录不再阻止新运行。需求独立审核接受 `revision: null` 表示无修订，保留拒绝结论和身份校验；相同角色、相同内容的 PRD 重复导入复用不可变引用，不再重复增加副本或无故推进契约版本。
+
+- 前端 Plan 重试复用首次冻结的分片归属，避免重试提示词变长导致进度绑定不匹配或重复处理已完成需求；布局缺失、损坏或漂移时保留证据并阻断派发。风险路由仅忽略完整的范围排除声明，条件句和嵌套否定中的真实权限风险在生成期与运行期均保持升级。
+- 执行记录搜索直接高亮命中文字，标识当前跳转记录；未搜索或无匹配时禁用上下箭头，清空搜索恢复原文。
+
+- 恢复运行在导入节点缺少明确读取范围时阻断工作区漂移，避免复用受变更影响的旧结果；读取范围明确且不受影响时仍可按路径复用。
+- 前端验证将子目录执行的 Vitest 报告统一为仓库相对路径，并对齐实际目录别名，避免已通过测试被误判为未执行；被筛除或失败的目标仍阻断。
+
 ## [0.42.0] - 2026-09-07
 
 ### 重点更新
@@ -36,15 +61,61 @@
 
 ### 改进
 
-- 具备 Aimax 凭证的用户可在对话输入框使用 `/sdd-bingo` 完成 SDD 数据对齐；不指定名称时自动选择分析类别，成功提示显示实际使用的类别。
-- 前端 Scout 在中高复杂度任务中并行收集 target surface 与 design evidence；大型 Plan 的 requirement coverage 按批次并行映射后按固定顺序归并。
-- 前端 Micro/Small shape 路由不再把 `test/`、`e2e/`、`docs/` 等目录误计为业务跨域，局部 UI 改动正确命中轻量拓扑。
-- 前端计划契约新增确定性锚定校验：behavior 验证目标必须引用 requirement，声明了 UI 状态/交互时必须引用已声明状态，缺失在 Plan 自修阶梯当场报错，不再烧一整轮 design-review。
-- 可选依赖 `@agent-context/sift` 升级到 `0.0.1-alpha.7`（行级分片取回、更保守的纯文本压缩），回退开关与 init 投影不变。
-- 修复 DAG Pi 扩展 resolver 无法解析版本 pin spec 的问题（`npm:pi-lens@3.8.72` 不再静默降级 `not-installed`）。
-- 修复 `/inspect/*` 静态资源缺 Cache-Control 导致 Console 更新后挂旧版导航的问题（一律 `no-store`）。
-- Next 发布测试升级 Vitest 4.1.11（worker RPC 修复，全绿测试不再因 `onTaskUpdate` 超时阻断发包）。
-- 会话列表默认展示 5 条、展开收起更整齐；新建/删除对话即时反馈；发送消息立即显示；文件预览支持页面内交互与独立窗口阅读；执行记录默认跟随最新内容可暂停；模型配置更新后旧会话自动采用最新认证。
+
+
+- DAG 退出诊断改用只读异常监视器，避免诊断逻辑改变宿主异常策略或中断其他并发 run 的取证；退出码使用实际 exit 事件参数。
+- 前端分片 VT 归一化同步处理 `replaces` 引用，避免重试修正因分片前缀不同而无法覆盖旧事实。
+- 强化 DAG 恢复与契约幂等：重跑计划不会复用 imported 节点读取的漂移输入、缺失/未完成节点，并且仅在 Git HEAD 相同、rename 与治理输入清单可完整判定时放行 scoped drift；`stopReason=length` 的 transport 别名可正确重试。契约 no-op 写入 request ledger 但不伪造事务，重复请求携带新 payload 会被拒绝，且 no-op prepare 不再无谓刷新 DAG。
+- 修复契约重复 prepare 空转的问题（实测一次 8.6 小时的流水线里 7 次契约修订只有 3 个不同内容 hash，无内容变化的重复提交每次都走完整事务提交 → 契约投影 → DAG spec 生成 → strict validation → writeSet gate 审查）：apply 现在做内容级 no-op 短路——投影结果与已记录契约及磁盘观测哈希完全一致时直接返回当前 ref，不递增 revision、不写日志化事务；writeSet gate digest 绑定 contractRevision+canonicalHash，hash 不变则已批准的 gate 继续有效，不再重复审批。磁盘漂移（observed ≠ ref）不走短路，仍是修复投影。
+- 修复 workspace-drift 一刀切阻断 `dag rerun --from-node` 的问题：整指纹对比细化为内容级逐路径对比，漂移全部落在重跑子图自身 readSet/writeSet 内时放行（`workspace-drift-scoped`，重跑本就会重读/重写这些路径）；其余情况（导入事实复用节点的输入漂移、无法判定路径的旧 checkpoint）保持严格阻断，高风险写者续跑路径维持整指纹严格判定不变。契约同 hash 重投影不再改写文件，与此叠加后恢复路径不再被无意义漂移阻断。
+- superseded run 现在可作为 `dag rerun --from-node` 的事实供体：操作员取代的是 run 整体，其 FINISHED 只读上游节点（contract/scout 等）经既有导入机制继承，不再因父 run 被取代就强制全量重跑；writer 进重跑子图、决策门禁、未解决 ERROR 在闭包外等不安全场景各自的原有阻断不变。
+- 修复前端 Plan coverage 会话提前停止导致会话数翻倍的问题（run 3 实测每会话平均仅 1.7 个 record 调用即写结论，把一个切片的活摊到两个会话）：coverage 段指令与 COVERAGE BATCH 提示现在明确「切片穷尽才算完成」——本会话分配到的每个需求都必须有已提交的 coverage facts（verification targets 或 evidence gap）才能收尾，批量提交直至穷尽，提前停止会把剩余项拖成 MISSING-FACT 修复会话；MISSING-FACT 队列降级为校验兜底而非主要补齐机制。
+- 修复前端 Plan 重试梯级遮蔽修复指令的问题：invalid-output / structured-output-truncated 的账本修复指引现在优先于 compact-terminal-first 等梯级话术。此前 length 失败把重试梯级单调升到 compact-terminal-first 后，后续 invalid-output 重试拿到的是「保持已提交账本完整」的档位指令，与「重提交修正后的 record_* facts」这一唯一治愈动作正面冲突，修复指引成为死代码；修复指引同步补上 duplicate/replace 语义（duplicate 收据是修正邀请而非禁令，replace=true 为同 id 全量替换，回填反向引用不属于重推导已提交事实）。`skills/frontend-plan` 新增跨段引用规则与 Bidirectional VT cross-reference invariant 小节：跨切片引用已提交 VT 时当场以同 id + replace=true 回填，双向引用在提交时即闭合，不再拖到 attempt 末尾的双向检查才暴露。
+- 修复 DAG Pi 节点把 provider `stopReason=length` 的输出/上下文截断误判为 `empty-output` 失败的问题：仅 `empty-output` 基础上的长度截断会改判为专门的 `output-limit` 可重试类别（raw 类别保留诊断），已有精确修复指令的类别（output-too-large / invalid-output / protocol-invalid / structured-output-truncated / writer 类）原样保留，避免通用指令遮蔽任务专属修复提示；`output-limit` 通用增量指令（从已提交 typed facts 与现有工作区只补未完成部分、每个生成单元产出后立即校验格式并在当节点修复）作为兜底排在所有精确分支之后，前端规划梯级（compact-terminal-first 正是 length 场景的领域档位）与结构化冻结修复路径优先。只读/结构化/前端规划/后端测试补全策略的默认重试额度从 3 次提升到 5 次；旧 artifact 中的 `writer-thinking-exhausted` / `planner-thinking-exhausted` 终态标签仅作历史保留（Console/报告展示映射同步归入 executor 容量类），新执行不再产生。
+- 前端 Scout 在中高复杂度任务中并行收集 target surface 与 design evidence；大型 Plan 将 requirement coverage 按批次并行映射，再按固定顺序归并到唯一 reducer，保持 Contract → Scout → Plan 依赖与确定性终态，同时缩短最长串行等待。
+- 前端 Verify bundle 会在同一次执行中按工作目录和冻结命令去重：static、behavior、Mock、lint lane 复用相同命令结果，同时为每个 lane 保留独立证据，避免重复启动耗时的 typecheck/test/build 进程。
+- 前端 Micro/Small shape 路由不再把 `test/`、`e2e/`、`docs/` 等验证或文档根目录误计为业务跨域；`src/**` + `test/**` 的局部 UI 改动现在可以正确命中轻量拓扑，真实跨包路径仍保持升级。
+- 修复前端 Plan 漏读独立行为证据、重试丢失已重新录入的 UX 名称的问题；必交付文件改由 Contract 显式声明并绑定原始来源，避免把允许修改或参考路径误判为交付义务。缺失交付物和 UX 名称冲突现在可在 Plan 提交前发现并修正，发布 schema 同步支持组件覆盖与复用证据字段。
+- 修复前端 DAG 的 Plan 按 AC 分片重复发明同一批需求、交互和 UI 状态的问题：Contract 的 canonical requirement 文本与来源片段改由 runtime 从冻结 ledger 写入，Plan 先基于全部需求提交一次全局 UX registry，再在单一全局 UX 会话中建模组件、状态和交互；来源声明的 UI 状态必须完整闭合，复用既有组件必须提供真实存在的文件证据，交付文件完整性与逐状态/交互组件覆盖由确定性 gate 校验。
+- 修复顶部一级「观测」入口被恢复工作区残留的 DAG 或上次观测对象劫持的问题：现在点击该入口始终回到当前 Workspace 的运行总览，具体 DAG 仍通过「全屏观测」等显式入口打开。
+- 修复节点检查器通俗字段旁的问号只有图标、悬浮时看不到具体说明的问题；问号现在支持鼠标悬浮和键盘聚焦，并显示对应字段含义及原技术字段。
+- Next 发布测试升级到 Vitest 4.1.11，采用上游 worker RPC 修复，避免所有断言通过后仍因 `onTaskUpdate` 通讯超时阻断发包；同时隔离会改写构建产物的 package-surface 测试，并恢复两条此前被错误嵌套、实际未执行的 Console 更新回归；发布门禁继续严格检查 unhandled errors。
+- 前端计划契约新增确定性锚定校验（恶劣网关冒烟 4 轮 design 拒绝的主因）：behavior 验证目标必须至少引用一个 requirement，且在契约声明了 UI 状态或交互时必须引用至少一个已声明的 UI 状态（纯逻辑契约豁免）。校验位于共享 schema refine，plan 节点的自修阶梯当场拿到精确到字段的报错并修复，不再烧一整轮 design-review 才发现映射缺失；`skills/frontend-plan` 决策契约参考同步补充 canonical 示例（behavior target 形态、状态名逐字引用、stylingStrategy 禁止承诺任务源非目标能力）。
+- 修复前端 design 拒绝后自动恢复子 run 无法启动的问题（恶劣网关前端冒烟三轮复现）：staging 物化 child state 时现在按 child spec 写入 `frontendShapeState` 冻结拓扑绑定（此前 execute 前的绑定断言以 `frontend topology binding is missing` 在 398ms 内 fail-closed），并把父 run 中已导入边界节点（contract/scout 等 FINISHED 导入节点）的 committed shape facts 一并继承——否则 child 会在首个 shape 门禁以 `frontend-shape-fact-invalid` 整体 SKIPPED；reset 边界由重跑节点重新提交。同时修复 recovery child runId 派生误传参导致碰撞安全后缀失效、可与已归档 run 同名的问题（默认 `buildDagRunId` 现在正确收到 `{ cwd }` options）。
+- 修复 backend-test N2 把 provider `stopReason=length` 的截断 Markdown 计划误判为 `FINISHED`、继而延迟到 N3 `missing-module-index` 的问题：长度截断现在在 producer 节点归类为 `output-too-large`；正常结束但缺少必需 heading、Module Index 八列表/模块行或使用代码围栏时归类为 `invalid-output`。两类失败均使用有界 artifact-first retry，下一 attempt 只携带控制器生成的限长协议诊断；N3 ownership/path/模块数门禁与业务 pytest 单次执行不放宽。
+- 可选依赖 `@agent-context/sift` 从 `0.0.1-alpha.6` 精确 pin 升级到 `0.0.1-alpha.7`：新增 `retrieveLines` 行级分片取回与省略点内联 stash 路径/起始行号（模型可直接换算 read 行号），纯文本压缩策略更保守（不同编号/状态的内容不因句式相似而合并）；桥接层沿用既有 `createSift`/`siftRequest`/`retrieve` API，行为与回退开关不变，仍不投影 init。
+- 修复后端实现 DAG Pi 扩展 resolver 无法解析版本 pin spec 的问题：`packageNameFromSpec` 现在剥除尾部 `@<version>`/`@<dist-tag>`（保留 scoped 包名开头的 `@`），与 Console 插件面语义对齐。此前 settings 中的 `npm:pi-lens@3.8.72`（Console 升级插件写入的形式）会被当作包名 `pi-lens@3.8.72`，永远匹配不上别名表，读侧节点（contract/scout/plan/verify）的 `pi-lens` 全部静默降级为 `not-installed`；`pi-extensions.json` 观测产物可鉴别此场景。
+- 修复前端自动恢复实际重跑整棵 DAG、忽略已冻结 reset plan 的问题：恢复 operation 现在校验 operationId/lease 归属，按 parent recovery plan 导入已完成事实并只执行 reset 子图；设计拒绝缺少 typed findings 时 fail-closed；多轮 continuation 会继续注入共享 recovery controller、递增并校验完整 lineage；崩溃重放会复用 completed child；缺少已绑定 child lineage 的伪成功 operation 不再标记 recovered；rerun-task 的全局 requestId 重放会校验请求类型、父 run 与完整 payload，避免串用其它请求结果。
+- 冒烟再暴露 writeSet 授权缺口：冻结验证命令引用的基建文件（如 `--config` 的 vitest 配置）不在 plan verification targets 内时，writer 被具体 writeSet 拦住无法创建、verify-shell 必然失败。现在 admission 生效边界确定性并入冻结命令引用的文件（机械提取、仍受 allowedPaths/forbiddenPaths 约束），writer 聚焦检查失败后可自行补齐基建文件。
+- 前端 verification contract v2：plan 不再手写五值 `type`，改为引用生成期冻结命令目录的 `commandId`，`mode（static|behavior）` 与 `commandLabel` 由 runtime 在物化时解析——`type: component + npm run build` 这类非法组合在 Plan 工具边界（`verification-target-unknown-command`）与物化校验（`verification-target-phase-mismatch`，behavior 命令必须绑定测试文件）即被拒绝，不再拖到 writer focused-check 才以 `invalid-output` 失败；展示用的 `scope` 不参与控制流。
+- 修复 /inspect/* 静态资源（operator-chrome.js/css、观测文档）缺少 Cache-Control 的问题：现在与 Console SPA 一律 `no-store`。此前浏览器启发式缓存会让 Console 更新/重启后继续挂旧版导航模块，表现为顶部导航「回退」到只有操作/观测、缺少对话入口的旧版布局。
+- 新建、删除和切换对话的反馈更及时；会话列表默认展示 5 条，“展开其余会话”和“收起”也更整齐易用。
+- 发送消息后会立即显示在对话流中，完成回合的过程摘要也更清晰，长时间等待连接时不会让输入内容消失。
+- 文件预览支持页面内交互和独立窗口阅读，大型 HTML 内容也能完整打开。
+- 模型配置更新后，继续使用旧会话时会自动采用最新认证信息，消息流顺序也更加稳定。
+- 执行记录默认跟随最新内容，也可以暂停自动滚动并保留当前阅读位置。
+- 任务执行、恢复和结果查看更加稳定，工作区和滚动区域的使用体验得到改进。
+
+<details>
+<summary>实现细节（开发者参考）</summary>
+
+- Operator Chat 会话列表默认收敛为最近 5 条；展开与收起控件采用稳定的整行布局，折叠工作区后恢复默认列表；长历史会话改为分页加载，并在加载更早消息后保持原有滚动位置。
+- Operator Chat 长会话增量构建活动 turn、复用已完成过程节点，并支持对已完成且无错误的历史 turn 进行 Compact，降低长消息流的渲染开销。
+- 修复 backend-test Manifest 把模型生成的 Module Stem 展示单元格当成模块身份真源、导致 low-tier 输出（缺 `test_` 前缀或整段 Markdown 链接）在 N3 `module-markdown-path-mismatch` 反复失败的问题：N3 现在先解析唯一合法 Markdown Path 与 `<stem>.md` 相对链接作为 canonical 身份，再校验业务 ownership/split 与路径安全；Stem 单元格只作冗余展示并能确定性重写为 canonical 文件名 stem。strict `backendTest.moduleLayout` 改为先按唯一 required Markdown Path 定位模块，再恢复冻结 Markdown/Pytest path pair，避免错误 stem 提前丢弃整行，同时保留 Plan-only pytest path 修复。Markdown Path 缺失/多候选/越界或与 strict path pair 冲突、以及多行 canonicalize 后同 identity（`duplicate-canonical-module-stem`）继续 fail-closed，不再静默去重。同步加强 N2 prompt（Stem 单元格仅允许纯文件名 stem）。
+- 修复 Next Release 的 io-heavy 测试不稳定：在保留发布单 worker、完整测试集合和严格 unhandled-error 门禁的同时，将 Vitest 升级到包含上游 RPC settlement 修复的 4.1.11，避免全绿测试因 `onTaskUpdate` timeout 退出 1；会重建共享 `dist/**` 的 package-surface 测试改由单 worker integration 池持有，避免与 controller identity 指纹检查竞态；并把误嵌套在 `dagDoctor` stub 中的 `consoleUpdateAndInit` suite 移回顶层、补齐 `workspaceId` 契约，使两条回归重新进入真实执行。
+- 修复 backend-test 唯一 pytest collection repair 已产生受控非空修改、却因模型遗漏 `IMPLEMENTATION_OUTCOME` 而阻断整条执行链的问题：仅 N11 exact repair writer 可把完全缺失的 outcome 确定性恢复为候选 changed，随后仍必须由 N12 重新通过 scenario、correspondence、payload、collection、fixture 和 readiness 门禁；unknown/conflicting/blocked、空 diff、越界写入及 provider/context failure 继续 fail-closed。
+- 新建和删除对话现在会立即在侧栏中反馈：新建时先显示“正在创建”，删除时平滑淡出；网络失败会自动恢复原会话，不再需要等待整张会话列表刷新后才看到变化。
+- 新建对话会优先复用当前工作区中真正的空白会话，避免重复创建；有历史消息、工具调用、待发送内容或正在运行的会话不会被复用。
+- 会话列表刷新现在会复用未变化的行和列表引用，标题、运行状态或队列变化时只更新对应会话，侧栏切换和刷新更平滑。
+- Operator Chat 新增仅对具备 Aimax 凭证的用户可见的 `/sdd-bingo` 数据对齐命令；`wizard-local` 模型请求会自动携带与上报一致的 OpenCode 风格会话身份、当前模型和最新 API key，请求头与资格文件变更均在下一次操作自动生效。
+- DAG 节点检查器的「执行记录」默认自动跟随最新内容；右下角新增纯图标悬浮开关，可显式暂停并保留阅读位置，恢复后立即回到底部，悬停时显示当前可执行动作。
+- 修复前端任务产物派生续跑无法识别当前节点链的问题；从实现节点继续时，设计约束、写入准入、验证和收尾步骤会按现行流程安全重放。
+- 统一工作区、Todo 和其他滚动区域的滚动条样式，默认更轻巧，鼠标悬浮时也更容易辨认。
+- HTML 文件预览现在支持页面内的标签切换等交互；较大的自包含 HTML 可以在新窗口中直接完整加载，不再受源码摘要长度影响。
+- 修复 Operator Chat 长工具链的消息错序：模型过程文字、思考和工具卡片现在按服务端事件顺序稳定交替展示，刷新历史会话后也保持相同顺序。
+- 修复 Operator Chat 旧会话继续使用过期模型认证的问题：模型配置变化后，下一轮发送或手动重新加载会自动刷新模型目录和当前模型认证。
+
+</details>
 
 ## [0.41.3] - 2026-09-04
 

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

@@ -552,11 +552,13 @@ export async function advanceTaskLifecycle(input) {
                     // Prefer basename-aligned names for multi-file product suites.
                     name: path.basename(prd.filePath).replace(/\.(md|markdown|txt)$/iu, "") || undefined,
                 });
-                importedMaterializedPaths.push(imported.materializedRelativePath);
+                if (imported.changed) {
+                    importedMaterializedPaths.push(imported.materializedRelativePath);
+                }
             }
             // Latch even when prdPaths is empty so a mis-planned import cannot loop.
             importedPrdThisCall = true;
-            if ((input.prdPaths?.length ?? 0) > 0) {
+            if (importedMaterializedPaths.length > 0) {
                 record = {
                     ...appendTransition(record, "prd-imported"),
                     pendingPrdRefresh: true,
@@ -568,12 +570,15 @@ export async function advanceTaskLifecycle(input) {
                 completed.push("prd-imported");
                 await saveLifecycleRecord(input.repoRoot, record);
             }
+            refreshManagedContractThisCall = Boolean(record.pendingPrdRefresh ||
+                hasContractChangingInput({ ...effectiveInput, prdPaths: undefined }));
             snapshot = await observeTaskLifecycle(input.repoRoot, input.taskId);
             // Two-phase Console bridge: when this call only had --prd and no
             // engineering boundary, stop after archive. Re-plan would otherwise
             // immediately prepare (hasPrdInput latched false + alreadyImported)
             // and burn one-shot Semantic Intake before multi-file imports finish.
-            if (!hasBoundary && (input.prdPaths?.length ?? 0) > 0) {
+            if (!hasBoundary && record.pendingPrdRefresh &&
+                (input.prdPaths?.length ?? 0) > 0) {
                 return {
                     taskId: input.taskId,
                     lifecycleState: "intake-incomplete",
@@ -1158,7 +1163,7 @@ export async function advanceTaskLifecycle(input) {
             continue;
         }
         if (action.type === "promote") {
-            const runId = run?.runId ?? snapshot.latestRun?.runId ?? snapshot.activeRun?.runId;
+            const runId = snapshot.currentRun?.runId;
             if (!runId) {
                 blockers.push({
                     code: "PROMOTE_RUN_MISSING",
@@ -1186,6 +1191,13 @@ export async function advanceTaskLifecycle(input) {
             continue;
         }
         if (action.type === "closeout") {
+            if (!snapshot.promotion?.ready || !snapshot.currentRun) {
+                blockers.push({
+                    code: "CLOSEOUT_EVIDENCE_STALE",
+                    message: "closeout requires promoted evidence for the current contract run",
+                });
+                break;
+            }
             const closed = await closeoutTask(input.repoRoot, input.taskId);
             closeout = { path: closed.progressPath };
             record = appendTransition(record, "closeout-completed");
@@ -1193,6 +1205,7 @@ export async function advanceTaskLifecycle(input) {
                 ...record,
                 closeout: {
                     path: closed.progressPath,
+                    runId: snapshot.currentRun.runId,
                     completedAt: new Date().toISOString(),
                 },
             };

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

@@ -1,6 +1,7 @@
 import { access, readFile, readdir } from "node:fs/promises";
 import path from "node:path";
-import { getTaskDir, getTaskPaths, getTaskStatus, loadTaskConfig, } from "../../task/runtime.js";
+import { getTaskDir, getTaskPaths, loadTaskConfig, } from "../../task/runtime.js";
+import { getArtifactPath } from "../../shared/artifacts-core.js";
 import { logicalRevisionForState, observeTaskContractState, } from "../../task/contract/index.js";
 import { assessDagRunLiveness, listAllDagRunEntries, readDagRunSpec, readDagRunState, } from "../../workflows/dag/lifecycle.js";
 import { resolveRunningControllerIdentity } from "../../shared/package-metadata.js";
@@ -202,6 +203,7 @@ export async function listExplicitlyAssociatedRuns(repoRoot, taskId) {
         let stateStatus;
         let failureCategory;
         let lastMeaningfulProgressAt;
+        let contractBinding = null;
         try {
             const state = await readDagRunState(entry.runDir);
             stateStatus = state.status;
@@ -238,20 +240,19 @@ export async function listExplicitlyAssociatedRuns(repoRoot, taskId) {
         catch {
             // state unreadable; may still match via binding
         }
-        if (!source) {
-            try {
-                const spec = await readDagRunSpec(entry.runDir);
-                if (spec.taskContractBinding?.taskId === taskId) {
-                    source = "task-contract-binding";
-                }
-                else if (spec.sourceBinding?.taskId === taskId) {
-                    source = "source-binding";
-                }
+        try {
+            const spec = await readDagRunSpec(entry.runDir);
+            contractBinding = spec.taskContractBinding ?? null;
+            if (!source && spec.taskContractBinding?.taskId === taskId) {
+                source = "task-contract-binding";
             }
-            catch {
-                // ignore
+            else if (!source && spec.sourceBinding?.taskId === taskId) {
+                source = "source-binding";
             }
         }
+        catch {
+            // Association may remain visible, but unreadable identity cannot prove completion.
+        }
         if (!source)
             continue;
         related.push({
@@ -262,6 +263,7 @@ export async function listExplicitlyAssociatedRuns(repoRoot, taskId) {
             failureCategory,
             lastMeaningfulProgressAt,
             source,
+            contractBinding,
         });
     }
     return related.sort((a, b) => a.runId.localeCompare(b.runId));
@@ -277,9 +279,10 @@ function deriveLifecycleState(input) {
         return "running";
     if (input.closeoutExists && input.promotionReady)
         return "evidence-closed";
-    if (input.latestRun?.lifecycle === "completed") {
-        if (input.latestRun.status === "finished")
-            return "run-succeeded";
+    if (input.currentRun?.lifecycle === "completed" &&
+        input.currentRun.status === "finished")
+        return "run-succeeded";
+    if (input.latestRun?.lifecycle === "completed" && input.latestRun.status !== "finished") {
         // A newly opened current writeSet gate supersedes an older failed run so
         // operators can approve and start the next DAG run. Success stays terminal
         // here so promote/closeout is not hijacked by a residual open gate.
@@ -381,6 +384,19 @@ export async function observeTaskLifecycle(repoRoot, taskId) {
     const runs = await listExplicitlyAssociatedRuns(repoRoot, taskId);
     const activeRun = runs.find((run) => run.lifecycle === "active" || run.lifecycle === "paused") ?? null;
     const latestRun = runs.length > 0 ? runs[runs.length - 1] : null;
+    const ref = contractState.ref;
+    const currentRun = contractState.effectiveStatus === "managed" && ref
+        ? runs.filter((run) => {
+            const binding = run.contractBinding;
+            return (binding?.taskId === taskId &&
+                binding.revision === ref.revision &&
+                binding.canonicalHash === ref.canonicalHash &&
+                binding.taskConfigSha256 === ref.taskConfigSha256 &&
+                binding.projectionVersion === ref.projectionVersion &&
+                binding.canonicalizerVersion === ref.canonicalizerVersion &&
+                binding.taskConfigSchemaVersion === ref.taskConfigSchemaVersion);
+        }).at(-1) ?? null
+        : null;
     const strictValidated = Boolean(record?.strictValidatedAt) &&
         Boolean(record?.lastDagSpecHash) &&
         record?.lastDagSpecHash === specHash;
@@ -433,17 +449,13 @@ export async function observeTaskLifecycle(repoRoot, taskId) {
         !rejectedCurrent
         ? buildWriteSetGate({ taskId, bound: gateBound, delta: gateDelta })
         : null;
-    const gateOpen = Boolean(gate);
-    let legacyState;
-    try {
-        legacyState = await getTaskStatus(repoRoot, taskId);
-    }
-    catch {
-        legacyState = null;
-    }
-    const promotionReady = Boolean(legacyState?.artifacts.modifyLog && legacyState?.artifacts.verifyResult);
+    const currentSucceeded = currentRun?.lifecycle === "completed" && currentRun.status === "finished";
+    const promotionReady = Boolean(currentSucceeded && record?.promotion?.runId === currentRun?.runId &&
+        await exists(getArtifactPath(taskDir, "implement")) &&
+        await exists(getArtifactPath(taskDir, "verify")));
     const closeout = closeoutPath(repoRoot, taskId);
-    const closeoutExists = await exists(closeout);
+    const closeoutExists = Boolean(promotionReady && record?.closeout?.runId === currentRun?.runId &&
+        record?.closeout?.path === closeout && await exists(closeout));
     const awaitingDecision = activeRun?.lifecycle === "paused" ||
         activeRun?.status === "paused" ||
         Boolean(activeRun?.status === "waiting-for-human");
@@ -463,8 +475,9 @@ export async function observeTaskLifecycle(repoRoot, taskId) {
         gateOpen: Boolean(gate),
         activeRun,
         latestRun,
+        currentRun,
         promotionReady,
-        closeoutExists: closeoutExists || Boolean(record?.closeout),
+        closeoutExists,
         needsAttention: Boolean(needsAttention),
         awaitingDecision: Boolean(awaitingDecision),
     });
@@ -510,14 +523,15 @@ export async function observeTaskLifecycle(repoRoot, taskId) {
         gate,
         activeRun,
         latestRun,
+        currentRun,
         runs,
         promotion: {
-            required: Boolean(latestRun && latestRun.lifecycle === "completed"),
-            ready: promotionReady || Boolean(record?.promotion),
+            required: Boolean(currentSucceeded),
+            ready: promotionReady,
         },
         closeout: {
             path: closeout,
-            exists: closeoutExists || Boolean(record?.closeout),
+            exists: closeoutExists,
         },
         completedTransitions: record?.completedTransitions ?? [],
         blockers: sourceFidelityReady

package/dist/application/task-lifecycle/plan-transitions.js

@@ -225,9 +225,9 @@ export function planTransitions(input) {
         }
     }
     if (!input.skipFinalize &&
-        (snapshot.lifecycleState === "run-succeeded" ||
-            (snapshot.latestRun?.lifecycle === "completed" &&
-                snapshot.latestRun.status === "finished"))) {
+        !dagRefreshRequired &&
+        !shouldImportPrd &&
+        snapshot.lifecycleState === "run-succeeded") {
         if (!snapshot.promotion?.ready) {
             actions.push({ type: "promote" });
             expectedTransitions.push("promotion-completed");
@@ -237,7 +237,8 @@ export function planTransitions(input) {
             expectedTransitions.push("closeout-completed");
         }
     }
-    if (snapshot.lifecycleState === "evidence-closed") {
+    if (snapshot.lifecycleState === "evidence-closed" &&
+        !dagRefreshRequired && !shouldImportPrd) {
         return {
             actions: [{ type: "stop", reason: "terminal" }],
             gate: null,

package/dist/build-stamp.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
-  "version": "0.43.0-next.4",
-  "gitSha": "a40dde963afaa57ff95e0e49aa33e051b5580827",
-  "builtAt": "2026-09-08T23:28:40.065Z"
+  "version": "0.43.0-next.5",
+  "gitSha": "6a8572a4f425eb430ee85547653c581987b6c0d2",
+  "builtAt": "2026-09-09T06:17:31.024Z"
 }