dsh-agent-board 1.7.6 → 1.7.7

package/lib/rpc.mjs

@@ -13,7 +13,7 @@ import { TASK_SIZE_CONTRACT, withSplitHint, pushRejectLesson, pushArbitrationLes
 import { makeMsg } from './notify.mjs'
 import { computeHealthHints, computeRuntimeHealthHints } from './health.mjs'
 import { isFullSessionId } from './session.mjs' // 幻影板防线口径（纯函数，与 policy.mjs 直引同例）
-const { ah, isb, gsb, gpt, vt, validateDeps, classifyPipeline, cfg, claimCheck, claimApply, resolveApply, verifyApply, archiveApply, maybeAutoCloseParent, PRIO_RANK, touchesConflict, holdsFiles, boardHome, aggregateChildStats, createTaskWarnings, epicPrecheck, epicPrecheckNote, attachContextSuggestions, REJECT_REDISPATCH_HINT, tasksHash, normalizeHooks, mergeHooks, pushRejection, normalizeUserTest, draftLint } = core
+const { ah, isb, gsb, gpt, vt, validateDeps, classifyPipeline, cfg, claimCheck, claimApply, resolveApply, verifyApply, lateVerdictApply, archiveApply, maybeAutoCloseParent, PRIO_RANK, touchesConflict, holdsFiles, boardHome, aggregateChildStats, createTaskWarnings, epicPrecheck, epicPrecheckNote, attachContextSuggestions, REJECT_REDISPATCH_HINT, tasksHash, normalizeHooks, mergeHooks, pushRejection, normalizeUserTest, draftLint } = core
 
 function defineTool(options) {
   var userExecute = options.execute
@@ -43,6 +43,7 @@ export function createRpc(ctx, state, deps) {
     // 主窗口消耗（task-muwsol23）：测试可注入临时日志根；生产 undefined → findRunLog 回退 ~/.dsh/sessions
     var sessionsRoot = (typeof deps.sessionsRoot === 'string' && deps.sessionsRoot) ? deps.sessionsRoot : undefined
     var maybeNotify = deps.maybeNotify, notifyTaskDone = deps.notifyTaskDone
+    var notifyLateReject = (typeof deps.notifyLateReject === 'function') ? deps.notifyLateReject : null // 迟到驳回 err 级通知（未接线 → 静默跳过）
     var spawnOneShot = deps.spawnOneShot, accumulateRunUsage = deps.accumulateRunUsage, readContextPack = deps.readContextPack
     // 上报通道的 run 收尾（task-muwkhqf8）：board_report/board_verdict 推进任务落定后，对当前 continuable
     // Worker rec 补做「关 run 结局 + usage 落账 + 摘超时臂」。未接线（老宿主/测试桩）→ 静默跳过，
@@ -59,7 +60,36 @@ export function createRpc(ctx, state, deps) {
     // （runsFor(sid)[taskId] 存在且 !settled 即活跃）。未注入时按「有活跃 run」兜底——
     // 保守保持旧门禁行为（in-progress 一律拒归档），绝不因缺依赖误放走在跑的任务。
     var hasActiveRun = typeof deps.hasActiveRun === 'function' ? deps.hasActiveRun : function () { return true }
+    // ===== 活跃 run 判定（验收时序三洞 ①②，用户 n-mv0ebretgv1o）=====
+    // 口径：内存活跃表（runsFor）是「仍活着」的权威信号（未 settled）；卡面 runs 留档（outcome 仍
+    // running 且无 endedAt、且 id 匹配当前认领位 claimedBy/verifierRun）是持久化兜底（内存表丢失/重启后）。
+    // 只匹配「当前认领位」：手动终止/重派会把认领位换新，旧 run 的 running 留档不再被误判为活跃。
+    // 返回 { role, id } 或 null。role 归一 verifier/worker（hook run 走 verifierRun 位，但归档/验收
+    // 竞态只关心 worker/verifier 两族；未知角色按 worker 兜底文案）。
+    function activeRunOf(sid, t) {
+      var rec = runsFor(sid)[t.id]
+      if (rec && !rec.settled) return { role: rec.role === 'verifier' ? 'verifier' : 'worker', id: String(rec.id) }
+      var trs = Array.isArray(t.runs) ? t.runs : []
+      function liveEntry(runId, role) {
+        if (!runId || runId === 'spawn-pending') return null
+        for (var i = trs.length - 1; i >= 0; i--) {
+          var r = trs[i]
+          if (r && r.role === role && String(r.id) === String(runId) && (!r.outcome || r.outcome === 'running') && !r.endedAt) return r
+        }
+        return null
+      }
+      if (liveEntry(t.verifierRun, 'verifier')) return { role: 'verifier', id: String(t.verifierRun) }
+      if (liveEntry(t.claimedBy, 'worker')) return { role: 'worker', id: String(t.claimedBy) }
+      return null
+    }
+    // 迟到驳回 healthHint 落点（内存心跳，sticky——host 重启才清）：board_verdict 迟到驳回分支写
+    function markLateRejectHealth(sid, taskId) {
+      if (!state.poolHealth) state.poolHealth = {}
+      var ph = state.poolHealth[sid] || (state.poolHealth[sid] = { bornAt: Date.now() })
+      ph.lateRejectNote = { taskId: taskId, at: Date.now() }
+    }
     // archive 门禁（archive-task RPC 与 task_archive 工具同一口径，返回错误串或 null 放行）：
+    //   任一 run（含 verifier）仍活跃（outcome running 且无 endedAt / 内存表未 settled）→ 拒绝（先查，宁拦勿漏）
     //   resolved / cancelled         → 放行（既有行为）
     //   in-progress 且无活跃 run     → 放行（parentKick 僵尸态出清：direct epic 被
     //     parentKickOnDispatch 推进到 in-progress 后子任务已归档、无 run、claimedBy=null，
@@ -67,6 +97,8 @@ export function createRpc(ctx, state, deps) {
     //     只能 resetToPending→delete 三段舞）
     //   in-progress 有活跃 run / 其余状态 → 拒绝
     function archiveErr(sid, t) {
+      var act = activeRunOf(sid, t)
+      if (act) return '有活跃 run（' + (act.role === 'verifier' ? 'verifier ' : 'worker ') + act.id + ' 仍在跑），等它落定或先 terminate'
       if (t.status === 'resolved' || t.status === 'cancelled') return null
       if (t.status === 'in-progress' && !hasActiveRun(sid, t.id)) return null
       return 'cannot archive'
@@ -149,7 +181,7 @@ export function createRpc(ctx, state, deps) {
     // 门禁，旧守卫 `t.claimedBy !== actor` 对 null 零容忍 = 谁都解不了，手动兜底被堵死；
     // claimedBy 非空且非本人时照旧拒（既有守卫语义不变）。
     ctx.tools.register(defineTool({ name: 'task_resolve', description: '提交验证(verifying)或阻塞(blocked)。', parameters: { type: 'object', properties: { taskId: { type: 'string' }, status: { type: 'string', enum: ['verifying', 'blocked'] }, resolution: { type: 'string' } }, required: ['taskId', 'status'] }, output: jo(), execute: async function (args) { var __ra = getActorId(); if (resolveRoot(__ra) !== __ra) return { ok: false, error: '看板管理工具仅主窗口可用（子代理无看板权限）' }; var sid = toolSessionId(); var actor = getActorId(); return mutateLocked(sid, function (d) { var t = d.tasks.find(function (x) { return x.id === args.taskId }); if (!t) return { ok: false, error: 'not found' }; if (t.status !== 'in-progress') return { ok: false, error: 'not in-progress' }; if (t.claimedBy && t.claimedBy !== actor) return { ok: false, error: 'not claimed by you' }; if (args.status === 'verifying' && !args.resolution) return { ok: false, error: 'resolution required' }; return resolveApply(d, t, actor, args.status, args.resolution, args.resolution || args.status) }) } }))
-    ctx.tools.register(defineTool({ name: 'task_verify', description: '验收：approved→resolved，rejected→in-progress。子任务全完成父任务自动verifying。', parameters: { type: 'object', properties: { taskId: { type: 'string' }, verdict: { type: 'string', enum: ['approved', 'rejected'] }, comment: { type: 'string' } }, required: ['taskId', 'verdict'] }, output: jo(), execute: async function (args) { var __ra = getActorId(); if (resolveRoot(__ra) !== __ra) return { ok: false, error: '看板管理工具仅主窗口可用（子代理无看板权限）' }; var sid = toolSessionId(); var actor = getActorId(); return mutateLocked(sid, function (d) { var t = d.tasks.find(function (x) { return x.id === args.taskId }); if (!t) return { ok: false, error: 'not found' }; if (t.status !== 'verifying') return { ok: false, error: 'not verifying' }; var __vr = verifyApply(d, t, actor, args.verdict, args.comment); if (args.verdict === 'rejected') { t.verification = { verdict: 'rejected', summary: args.comment || '', checks: '', at: new Date().toISOString(), by: actor }; pushRejection(t, args.comment, '', t.verification.at, actor); __vr.hint = REJECT_REDISPATCH_HINT } return __vr }) } }))
+    ctx.tools.register(defineTool({ name: 'task_verify', description: '验收：approved→resolved，rejected→in-progress。子任务全完成父任务自动verifying。Verifier 仍在跑（无 endedAt/run outcome 仍 running）时默认拦截并返回提示；确认提前裁决请加 force:true。', parameters: { type: 'object', properties: { taskId: { type: 'string' }, verdict: { type: 'string', enum: ['approved', 'rejected'] }, comment: { type: 'string' }, force: { type: 'boolean' } }, required: ['taskId', 'verdict'] }, output: jo(), execute: async function (args) { var __ra = getActorId(); if (resolveRoot(__ra) !== __ra) return { ok: false, error: '看板管理工具仅主窗口可用（子代理无看板权限）' }; var sid = toolSessionId(); var actor = getActorId(); return mutateLocked(sid, function (d) { var t = d.tasks.find(function (x) { return x.id === args.taskId }); if (!t) return { ok: false, error: 'not found' }; if (t.status !== 'verifying') return { ok: false, error: 'not verifying' }; var __act = activeRunOf(sid, t); if (__act && __act.role === 'verifier' && args.force !== true) return { ok: false, error: 'Verifier 还在跑（run ' + __act.id + '），提前裁决将丢弃它的独立结论。确认提前裁决请加 force:true', verifierActive: __act.id }; var __vr = verifyApply(d, t, actor, args.verdict, args.comment); if (args.verdict === 'rejected') { t.verification = { verdict: 'rejected', summary: args.comment || '', checks: '', at: new Date().toISOString(), by: actor }; pushRejection(t, args.comment, '', t.verification.at, actor); __vr.hint = REJECT_REDISPATCH_HINT } return __vr }) } }))
     ctx.tools.register(defineTool({ name: 'task_archive', description: '归档已解决/已取消任务（无活跃 run 的 in-progress 僵尸卡也可归档，用于 parentKick 僵尸态出清）。', parameters: { type: 'object', properties: { taskId: { type: 'string' } }, required: ['taskId'] }, output: jo(), execute: async function (args) { var __ra = getActorId(); if (resolveRoot(__ra) !== __ra) return { ok: false, error: '看板管理工具仅主窗口可用（子代理无看板权限）' }; var sid = toolSessionId(); var actor = getActorId(); return mutateLocked(sid, function (d) { var t = d.tasks.find(function (x) { return x.id === args.taskId }); if (!t) return { ok: false, error: 'not found' }; var __ae = archiveErr(sid, t); if (__ae) return { ok: false, error: __ae }; return archiveApply(d, t, actor, 'archived') }) } }))
     ctx.tools.register(defineTool({ name: 'task_update', description: '更新任务字段，可选重置为 pending。dependsOn/pipeline 也可更新（环检测会拒绝成环依赖）。contextFiles 可更新预研文件清单。unfreeze:true 解除裁决挂起冻结（frozen）并触发派发。', parameters: { type: 'object', properties: { taskId: { type: 'string' }, title: { type: 'string' }, description: { type: 'string' }, priority: { type: 'string', enum: ['low', 'medium', 'high', 'critical'] }, assignMode: { type: 'string', enum: ['auto', 'manual'] }, assignee: { type: 'string' }, dependsOn: { type: 'array', items: { type: 'string' } }, contextFiles: { type: 'array', items: { type: 'string' }, description: '预研文件路径（替换式更新），派发时以文件清单（路径:L行号 — 一句用途）随首条 prompt 注入，内容由子代理按需 read 自取' }, contextNotes: { type: 'string', description: '预研笔记（替换式更新）：调研结论/原始需求/思路' }, pipeline: { type: 'string', enum: ['full', 'work', 'direct'] }, resetToPending: { type: 'boolean' }, unfreeze: { type: 'boolean', description: '解除冻结（frozen）并立即触发派发，用于 hold 裁决补完上下文后重新入池' }, publish: { type: 'boolean', description: '发布草稿为 pending（仅 draft 状态有效）' }, hooks: { type: 'object', additionalProperties: true, description: '史诗 hook 点位（仅主窗口可设）：{ pre?: { enabled?, prompt }, post?: { enabled?, prompt } } —— hook 点=一次真实 agent 运行（不是声明式命令）：pre 在子任务派发前跑一遍前置准备（未完成前该 epic 的子任务一张都不派），post 在全部子任务了结后跑一遍收口（完成后 epic 才转 verifying）。prompt 是薄框架契约（做什么由 hook agent 判断，吃不准会歧义上报）。传 null 清除，传 { pre: null } 只撤该点位。' } }, required: ['taskId'] }, output: jo(), execute: async function (args) { var __ra = getActorId(); if (args.hooks !== undefined && resolveRoot(__ra) !== __ra) return { ok: false, error: 'hooks 仅主窗口可设（子代理无 hooks 权限）' }; if (resolveRoot(__ra) !== __ra) return { ok: false, error: '看板管理工具仅主窗口可用（子代理无看板权限）' }; var sid = toolSessionId(); var actor = getActorId(); var existsFn = existsInSession(sid); var __res = await mutateLocked(sid, function (d) { var t = d.tasks.find(function (x) { return x.id === args.taskId }); if (!t) return { ok: false, error: 'not found' }; var __pre = null; if (args.title !== undefined) t.title = args.title; if (args.description !== undefined) t.description = args.description; if (args.priority !== undefined) t.priority = args.priority; if (args.assignMode !== undefined) t.assignMode = args.assignMode; if (args.assignee !== undefined) t.assignee = args.assignee || null; if (args.dependsOn !== undefined) { var derr = validateDeps(d, t.id, args.dependsOn); if (derr) return { ok: false, error: derr }; t.dependsOn = args.dependsOn } if (args.pipeline !== undefined) { t.pipeline = args.pipeline; t.pipelineAuto = false } if (args.contextFiles !== undefined) { if (!t.context) t.context = { files: [], docs: [], instructions: '', notes: '', relatedTasks: [], prerequisites: '' }; t.context.files = Array.isArray(args.contextFiles) ? args.contextFiles.map(String).slice(0, 20) : [] } if (args.contextNotes !== undefined) { if (!t.context) t.context = { files: [], docs: [], instructions: '', notes: '', relatedTasks: [], prerequisites: '' }; t.context.notes = typeof args.contextNotes === 'string' ? args.contextNotes.slice(0, 8000) : '' } if (args.publish) { if (t.status !== 'draft') return { ok: false, error: 'not a draft' }; t.status = 'pending'; ah(t, 'draft', 'pending', actor, 'published'); /* 调研门禁③：发布的是 epic（有子任务）时轻量预检子任务调研注入，缺失挂返回值由锁外 pushSysNote 汇总 */ __pre = epicPrecheck(d.tasks, t.id, existsFn) } if (args.unfreeze && t.frozen) { delete t.frozen; delete t.frozenAt; delete t.frozenBy; ah(t, t.status, t.status, actor, '解除冻结，重新进入派发池') } if (args.resetToPending) { var ps = t.status; t.status = 'pending'; t.claimedBy = null; t.claimedAt = null; t.resolvedAt = null; t.resolution = null; delete t.retryCount; delete t.stuckSince; ah(t, ps, 'pending', actor, 'reset to pending after edit') }; if (args.hooks !== undefined) { var __he = applyHooks(t, args.hooks); if (__he.error) return { ok: false, error: __he.error } }; t.lintWarnings = draftLint(t, draftLintIo(sid, d.ownerCwd)); var __out = { ok: true, task: t }; if (__pre && __pre.missing.length) __out.epicPrecheck = __pre; return __out }); afterPublishPrecheck(sid, args.taskId, __res); return __res } }))
     ctx.tools.register(defineTool({ name: 'task_create', description: '创建新任务到当前会话看板。acceptance 可选：硬性验收脚本命令（如 "node --test src/x.test.js"），Worker 必须实际运行、Verifier 必须独立复跑。dependsOn 可选：依赖任务 id 数组，依赖全部完成后才会被派发。pipeline 可选：full(默认,工作+验证)/work(只做不验)/direct(不进池，主窗口直接处理)。contextFiles 可选：你在调研中已经读过的关键文件路径数组——派发时以「文件清单」（每行「路径:L起-L止 — 一句用途」）随首条 prompt 一次性注入，只给路径与行号、不含内容本体（子代理用 read 工具按行号范围按需自取：执行时盘面更新鲜，也免了大文件正文撑爆 prompt 与随快照每轮重发），避免子代理从零重复调研。contextNotes 可选：调研结论/原始需求/思路等非文件类上下文，全文随首条 prompt 一次性注入（≤8000 字符）。【开发类任务（涉及代码改动/修复/特性）务必带文件调研】：把调研中读过的关键文件路径放进 contextFiles、结论思路放进 contextNotes——实测可让 Worker 省去 10~15 分钟从零 grep 定位的时间，且方向感天壤之别（无调研的 Worker 只能靠标题猜需求、极易跑偏）。调研门禁：pipeline=full/work 且 touches 非空而未带调研上下文时，返回将附 warning 提示。touches 可选：本任务将要改动的文件路径/glob 数组（如 "src/x.mjs"、"src/**"）——派发器在同一时刻只派发 touches 不冲突的任务，避免并行 Worker 改同一批文件互踩；任务持有文件锁（in-progress/verifying 持有，状态流转到 resolved/cancelled/archived 即释放——锁只护正在写的阶段，验收后-提交前的窗口期由主窗口提交纪律 + 史诗 post-hook 承接）。' + TASK_SIZE_CONTRACT, parameters: { type: 'object', properties: { id: { type: 'string' }, title: { type: 'string' }, description: { type: 'string' }, priority: { type: 'string', enum: ['low', 'medium', 'high', 'critical'] }, tags: { type: 'array', items: { type: 'string' } }, parentId: { type: 'string' }, instructions: { type: 'string' }, acceptance: { type: 'string' }, dependsOn: { type: 'array', items: { type: 'string' } }, contextFiles: { type: 'array', items: { type: 'string' }, description: '预研文件路径（相对 workspace 或绝对路径；可写「路径:L1-L2 — 一句用途」），派发时以文件清单随首条 prompt 注入（只给路径行号，内容由子代理按需 read 自取）' }, contextNotes: { type: 'string', description: '预研笔记：调研结论/原始需求/思路等（≤8000 字符），全文随首条 prompt 一次性注入' }, pipeline: { type: 'string', enum: ['full', 'work', 'direct'] }, touches: { type: 'array', items: { type: 'string' }, description: '本任务将改动的文件路径/glob（文件级排他锁）：与活动任务 touches 冲突时不派发，等锁释放；支持 "src/**" 目录、"./a/b.mjs"、裸文件名等写法' }, draft: { type: 'boolean', description: '创建为草稿（不派发）。Team 模式下缺省即为 true——补全 dependsOn/上下文后用 task_update publish=true 统一发布；非 Team 模式缺省 false，显式 draft:false 可跳过草稿' }, hooks: { type: 'object', additionalProperties: true, description: '史诗 hook 点位（仅主窗口可设）：{ pre?: { enabled?, prompt }, post?: { enabled?, prompt } } —— hook 点=一次真实 agent 运行（不是声明式命令）：pre 在子任务派发前跑一遍前置准备（未完成前该 epic 的子任务一张都不派），post 在全部子任务了结后跑一遍收口（完成后 epic 才转 verifying）。prompt 是薄框架契约（做什么由 hook agent 判断，吃不准会歧义上报）。传 null 清除，传 { pre: null } 只撤该点位。' } }, required: ['title'] }, output: jo(), execute: async function (args) { var __ra = getActorId(); if (args.hooks !== undefined && resolveRoot(__ra) !== __ra) return { ok: false, error: 'hooks 仅主窗口可设（子代理无 hooks 权限）' }; if (resolveRoot(__ra) !== __ra) return { ok: false, error: '看板管理工具仅主窗口可用（子代理无看板权限）' }; var sid = toolSessionId(); var actor = getActorId(); return mutateLocked(sid, function (d) { if (args.id && d.tasks.find(function (x) { return x.id === args.id })) return { ok: false, error: 'duplicate id: ' + args.id }; if (args.dependsOn && args.dependsOn.length) { var derr = validateDeps(d, args.id || '(pending)', args.dependsOn); if (derr) return { ok: false, error: derr } }; var now = new Date().toISOString(); /* Team 模式护栏：draft 缺省跟随 teamMode（先补齐依赖/上下文再统一 publish）；显式 draft:false 保留为立即派发的逃生门 */ var asDraft = args.draft === undefined ? !!d.teamMode : !!args.draft; var t = { id: args.id || ('task-' + Date.now().toString(36)), title: args.title, description: args.description || '', status: asDraft ? 'draft' : 'pending', priority: args.priority || 'medium', tags: args.tags || [], parentId: args.parentId || null, subtaskStrategy: null, assignMode: 'auto', assignee: null, context: { files: (Array.isArray(args.contextFiles) ? args.contextFiles.map(String).slice(0, 20) : []), docs: [], instructions: args.instructions || '', notes: (typeof args.contextNotes === 'string' ? args.contextNotes.slice(0, 8000) : ''), relatedTasks: [], prerequisites: '' }, acceptance: args.acceptance || '', dependsOn: args.dependsOn || [], touches: normTouches(args.touches), pipeline: args.pipeline || '', claimedBy: null, claimedAt: null, createdAt: now, resolvedAt: null, verifiedAt: null, verifiedBy: null, archivedAt: null, resolution: null, waitingForTouches: null, messages: [], history: [{ from: 'created', to: asDraft ? 'draft' : 'pending', timestamp: now, actor: actor, note: asDraft ? 'created as draft' : 'created' }] }; if (args.hooks !== undefined) { var __hn = normalizeHooks(args.hooks); if (__hn.error) return { ok: false, error: __hn.error }; if (__hn.hooks && Object.keys(__hn.hooks).length) t.hooks = __hn.hooks } if (!t.pipeline) t.pipeline = classifyPipeline(t); t.pipelineAuto = !args.pipeline; d.tasks.push(t); t.lintWarnings = draftLint(t, draftLintIo(sid, d.ownerCwd)); /* 调研门禁 warning 族（与 create-task RPC 同口径，core 纯函数）：空描述/无调研上下文/整树 glob 三类软提示合并为一条（；分隔），不拦截创建 */ var __out = withSplitHint({ ok: true, task: t }, t, cfg(d).epicSplit); var __warns = createTaskWarnings(t); attachContextSuggestions(__out, __warns, t.touches, existsInSession(sid)); if (__warns.length) __out.warning = __warns.join('；'); return __out }) } }))
@@ -157,10 +189,30 @@ export function createRpc(ctx, state, deps) {
     // ===== RPC =====
     // get-tasks 是纯读路径（rt 只读文件）——poolCycle 由 15s 心跳 + 写入后 kickCycle 驱动，
     // 客户端 3s 轮询不再触发池计算/写盘（之前每轮询一次就 poolCycle+写盘一次，切会话时多会话轮询挤在文件锁上）
-    // isRoot 现算不落盘：生成开始/结束瞬间 agents 树重建，roots() 存在瞬态窗口返回不含本 sid（假 false）。
-    // host 不改行为（保持"现算真相"），防抖在客户端：kernel.js applyIsRoot——曾确认 true 的会话需连续 3 次
-    // false（3s 心跳≈9s）才收抽屉；从未 true 的子代理会话仍即时收起（反馈 n-muuerxv9ijxs / task-muupr8ld）。
-    handle('get-tasks', async function (args) { var sid = rpcSessionId(args); var d = await rt(sid); d.sessionId = sid; var __ag = ctx.agents; d.isRoot = true; if (__ag) { var __roots = __ag.roots(); var __rids = []; for (var __i = 0; __i < __roots.length; __i++) __rids.push(String(__roots[__i].id)); d.isRoot = __rids.indexOf(sid) >= 0 }
+    // isRoot 持久语义（banner 入口瞬态/持久消失修复）：根会话=无父（持久 parentSession 缺省），不再读活跃 roots() 集。
+    // 旧实现 roots() 只含活体会话——休眠根会话（有板有卡）恒 false，且生成开始/结束 agents 树重建有瞬态窗口
+    // 返回不含本 sid（假 false），入口分钟级消失。改读持久 parentSession（见 isRootPersistent）：
+    //   主源 sessionPersistence.stat(sid)（持久表，休眠会话也读得到）→ header.parentSession 缺省 = 根；
+    //   老宿主/测试桩无 sessionPersistence → 回退活跃 agent 的 session.header.parentSession，再回退旧 roots() 成员判定。
+    // 防抖仍在客户端：kernel.js applyIsRoot——曾确认 true 的会话需连续 3 次 false（3s 心跳≈9s）才收抽屉；
+    // 从未 true 的子代理会话仍即时收起（反馈 n-muuerxv9ijxs / task-muupr8ld）。
+    async function isRootPersistent(sid) {
+      var sp = ctx.get && ctx.get('sessionPersistence')
+      if (sp && typeof sp.stat === 'function') {
+        try { var snap = await sp.stat(sid); if (snap && snap.header) return !snap.header.parentSession } catch (_) {}
+      }
+      var ag = ctx.agents
+      if (ag) {
+        var live = typeof ag.get === 'function' ? ag.get(sid) : undefined
+        if (live && live.session && live.session.header && live.session.header.parentSession) return false
+        var roots = ag.roots()
+        var rids = []
+        for (var i = 0; i < roots.length; i++) rids.push(String(roots[i].id))
+        return rids.indexOf(sid) >= 0
+      }
+      return true
+    }
+    handle('get-tasks', async function (args) { var sid = rpcSessionId(args); var d = await rt(sid); d.sessionId = sid; d.isRoot = await isRootPersistent(sid)
       // poolStatus 防幽灵：只保留指向当前活跃任务的条目（重启后内存 runs 清空，文件快照可能残留）
       if (d.poolStatus) { var __act = {}; (d.tasks || []).forEach(function (t) { if (t.status === 'in-progress' || t.status === 'verifying') __act[t.id] = true }); d.poolStatus.workers = (d.poolStatus.workers || []).filter(function (w) { return __act[w.taskId] }); d.poolStatus.verifiers = (d.poolStatus.verifiers || []).filter(function (v) { return __act[v.taskId] }) }
       // 学习飞轮 v1：把 feedbackEnabled 显式放进返回体（normalizeBoard 已按老看板补默认 true），
@@ -224,6 +276,15 @@ export function createRpc(ctx, state, deps) {
       // 父卡列位置/进度展示的数据源；total 含已归档子任务，settled=resolved|cancelled|archived（resolved 为
       // 兼容别名同值），因此归档子卡不会让进度分母缩水（task-muupgfot）；只有无任何子任务的父卡才不出键
       d.childStats = aggregateChildStats(d.tasks)
+      // ===== 风险队列「待你过目」：reviewHint 现算不落库（异常驱动审视①，task-muzikj1y）=====
+      // 四硬信号 + 两软信号（软信号仅质量异动告警激活期间计入，读 __qch 非空）现算后挂到每张卡，
+      // get-tasks 透出；唯一新落库字段=reviewedAt（mark-reviewed RPC 落）。挂在 tasksHash 之前——
+      // reviewHint + reviewedAt 都驱动列表渲染，须进 hash 序列化口径（否则已阅/软信号联动不重渲染）。
+      var __rhints = core.computeReviewHints(d.tasks, { qualityAlertActive: __qch.length > 0 })
+      for (var __ri = 0; __ri < (d.tasks || []).length; __ri++) {
+        var __rkt = d.tasks[__ri]
+        if (__rkt && __rhints[__rkt.id]) __rkt.reviewHint = __rhints[__rkt.id]
+      }
       // 渲染变更检测（反馈 n-mut9rzs2mkhg）：tasks 关键字段的稳定 hash（纯函数，口径见 core.tasksHash），
       // 客户端 3s 轮询 hash 相同则跳过 state.tasks 赋值 + notify——传输仍全量，省的是渲染
       d.tasksHash = tasksHash(d.tasks)
@@ -308,8 +369,13 @@ export function createRpc(ctx, state, deps) {
     })
     handle('claim-task', async function (args) { var sid = rpcSessionId(args); var actor = getActorId(); return mutateLocked(sid, function (d) { var t = d.tasks.find(function (x) { return x.id === args.taskId }); if (!t) return { ok: false, error: 'not found' }; var err = claimCheck(d, t, actor); if (err) return { ok: false, error: err }; claimApply(d, t, actor, 'manual claim via board'); return { ok: true, task: t } }) })
     handle('resolve-task', async function (args) { var sid = rpcSessionId(args); var actor = getActorId(); return mutateLocked(sid, function (d) { var t = d.tasks.find(function (x) { return x.id === args.taskId }); if (!t) return { ok: false, error: 'not found' }; if (t.status !== 'in-progress') return { ok: false, error: 'not in-progress' }; return resolveApply(d, t, actor, args.status, args.resolution, args.resolution || args.status) }) })
-    handle('verify-task', async function (args) { var sid = rpcSessionId(args); var actor = getActorId(); return mutateLocked(sid, function (d) { var t = d.tasks.find(function (x) { return x.id === args.taskId }); if (!t) return { ok: false, error: 'not found' }; if (t.status !== 'verifying') return { ok: false, error: 'not verifying' }; delete t.escalation; delete t.verifyRetries; var r = verifyApply(d, t, actor, args.verdict, args.comment); if (args.verdict === 'rejected') { t.verification = { verdict: 'rejected', summary: args.comment || '', checks: '', at: new Date().toISOString(), by: actor }; pushRejection(t, args.comment, '', t.verification.at, actor); pushRejectLesson(d, t, args.comment); r.hint = REJECT_REDISPATCH_HINT } return r }) })
+    handle('verify-task', async function (args) { var sid = rpcSessionId(args); var actor = getActorId(); return mutateLocked(sid, function (d) { var t = d.tasks.find(function (x) { return x.id === args.taskId }); if (!t) return { ok: false, error: 'not found' }; if (t.status !== 'verifying') return { ok: false, error: 'not verifying' }; var __act = activeRunOf(sid, t); if (__act && __act.role === 'verifier' && args.force !== true) return { ok: false, error: 'Verifier 还在跑（run ' + __act.id + '），提前裁决将丢弃它的独立结论。确认提前裁决请加 force:true', verifierActive: __act.id }; delete t.escalation; delete t.verifyRetries; var r = verifyApply(d, t, actor, args.verdict, args.comment); if (args.verdict === 'rejected') { t.verification = { verdict: 'rejected', summary: args.comment || '', checks: '', at: new Date().toISOString(), by: actor }; pushRejection(t, args.comment, '', t.verification.at, actor); pushRejectLesson(d, t, args.comment); r.hint = REJECT_REDISPATCH_HINT } return r }) })
     handle('archive-task', async function (args) { var sid = rpcSessionId(args); var actor = getActorId(); return mutateLocked(sid, function (d) { var t = d.tasks.find(function (x) { return x.id === args.taskId }); if (!t) return { ok: false, error: 'not found' }; var __ae = archiveErr(sid, t); if (__ae) return { ok: false, error: __ae }; return archiveApply(d, t, actor, 'manual archive') }) })
+    // ===== 已阅落账（异常驱动审视①③）：打开详情页即幂等落 reviewedAt（唯一新落库字段）=====
+    // 幂等只写一次：已有 reviewedAt 就原样返回、绝不重写（时间戳不漂移、history 不刷屏）；
+    // 后续重复打开详情页零副作用。reviewedAt 进 tasksHash 序列化口径 → 落账后下一轮 get-tasks hash 变化，
+    // 客户端列表徽章/chip 即时消失（配合 kernel.fetchTasks 的 hash 短路渲染节约）。
+    handle('mark-reviewed', async function (args) { var sid = rpcSessionId(args); return mutateLocked(sid, function (d) { var t = d.tasks.find(function (x) { return x.id === args.taskId }); if (!t) return { ok: false, error: 'not found' }; if (!t.reviewedAt) t.reviewedAt = new Date().toISOString(); return { ok: true, taskId: t.id, reviewedAt: t.reviewedAt } }) })
     // ===== 任务删除通道（真删，无 undo）=====
     // 背景：archive-task 只收 resolved/cancelled，草稿/误建卡片此前没有任何下线通道（只能永远挂着）。
     // 状态门禁（delete-task 与 batch-op delete 共用本函数，保证两条入口语义完全一致）：
@@ -346,7 +412,7 @@ export function createRpc(ctx, state, deps) {
         return { ok: true, deleted: t.id }
       })
     })
-    handle('update-task', async function (args) { var sid = rpcSessionId(args); var actor = getActorId(); if (args.hooks !== undefined && hooksDenied(actor)) return { ok: false, error: HOOKS_MAIN_ONLY }; var existsFn = existsInSession(sid); var __res = await mutateLocked(sid, function (d) { var t = d.tasks.find(function (x) { return x.id === args.taskId }); if (!t) return { ok: false, error: 'not found' }; var __pre = null; if (args.title !== undefined) t.title = args.title; if (args.description !== undefined) t.description = args.description; if (args.priority !== undefined) t.priority = args.priority; if (args.assignMode !== undefined) t.assignMode = args.assignMode; if (args.assignee !== undefined) t.assignee = args.assignee || null; if (args.dependsOn !== undefined) { var derr = validateDeps(d, t.id, args.dependsOn); if (derr) return { ok: false, error: derr }; t.dependsOn = args.dependsOn } if (args.pipeline !== undefined) { t.pipeline = args.pipeline; t.pipelineAuto = false } if (args.contextFiles !== undefined) { if (!t.context) t.context = { files: [], docs: [], instructions: '', notes: '', relatedTasks: [], prerequisites: '' }; t.context.files = Array.isArray(args.contextFiles) ? args.contextFiles.map(String).slice(0, 20) : [] } if (args.contextNotes !== undefined) { if (!t.context) t.context = { files: [], docs: [], instructions: '', notes: '', relatedTasks: [], prerequisites: '' }; t.context.notes = typeof args.contextNotes === 'string' ? args.contextNotes.slice(0, 8000) : '' } if (args.publish) { if (t.status !== 'draft') return { ok: false, error: 'not a draft' }; t.status = 'pending'; ah(t, 'draft', 'pending', actor, 'published'); /* 调研门禁③：发布的是 epic（有子任务）时轻量预检子任务调研注入，缺失挂返回值由锁外 pushSysNote 汇总 */ __pre = epicPrecheck(d.tasks, t.id, existsFn) } if (args.unfreeze && t.frozen) { delete t.frozen; delete t.frozenAt; delete t.frozenBy; ah(t, t.status, t.status, actor, '解除冻结，重新进入派发池') } if (args.resetToPending) { var ps = t.status; t.status = 'pending'; t.claimedBy = null; t.claimedAt = null; t.resolvedAt = null; t.resolution = null; delete t.retryCount; delete t.stuckSince; ah(t, ps, 'pending', actor, 'reset to pending after edit') }; if (args.hooks !== undefined) { var __he = applyHooks(t, args.hooks); if (__he.error) return { ok: false, error: __he.error } }; t.lintWarnings = draftLint(t, draftLintIo(sid, d.ownerCwd)); var __out = { ok: true, task: t }; if (__pre && __pre.missing.length) __out.epicPrecheck = __pre; return __out }); afterPublishPrecheck(sid, args.taskId, __res); return __res })
+    handle('update-task', async function (args) { var sid = rpcSessionId(args); var actor = getActorId(); if (args.hooks !== undefined && hooksDenied(actor)) return { ok: false, error: HOOKS_MAIN_ONLY }; var existsFn = existsInSession(sid); var __res = await mutateLocked(sid, function (d) { var t = d.tasks.find(function (x) { return x.id === args.taskId }); if (!t) return { ok: false, error: 'not found' }; var __pre = null; if (args.title !== undefined) t.title = args.title; if (args.description !== undefined) t.description = args.description; if (args.priority !== undefined) t.priority = args.priority; if (args.tags !== undefined) t.tags = Array.isArray(args.tags) ? args.tags.map(function (s) { return String(s).trim() }).filter(function (s) { return s.length > 0 }) : []; if (args.assignMode !== undefined) t.assignMode = args.assignMode; if (args.assignee !== undefined) t.assignee = args.assignee || null; if (args.dependsOn !== undefined) { var derr = validateDeps(d, t.id, args.dependsOn); if (derr) return { ok: false, error: derr }; t.dependsOn = args.dependsOn } if (args.pipeline !== undefined) { t.pipeline = args.pipeline; t.pipelineAuto = false } if (args.contextFiles !== undefined) { if (!t.context) t.context = { files: [], docs: [], instructions: '', notes: '', relatedTasks: [], prerequisites: '' }; t.context.files = Array.isArray(args.contextFiles) ? args.contextFiles.map(String).slice(0, 20) : [] } if (args.contextNotes !== undefined) { if (!t.context) t.context = { files: [], docs: [], instructions: '', notes: '', relatedTasks: [], prerequisites: '' }; t.context.notes = typeof args.contextNotes === 'string' ? args.contextNotes.slice(0, 8000) : '' } if (args.publish) { if (t.status !== 'draft') return { ok: false, error: 'not a draft' }; t.status = 'pending'; ah(t, 'draft', 'pending', actor, 'published'); /* 调研门禁③：发布的是 epic（有子任务）时轻量预检子任务调研注入，缺失挂返回值由锁外 pushSysNote 汇总 */ __pre = epicPrecheck(d.tasks, t.id, existsFn) } if (args.unfreeze && t.frozen) { delete t.frozen; delete t.frozenAt; delete t.frozenBy; ah(t, t.status, t.status, actor, '解除冻结，重新进入派发池') } if (args.resetToPending) { var ps = t.status; t.status = 'pending'; t.claimedBy = null; t.claimedAt = null; t.resolvedAt = null; t.resolution = null; delete t.retryCount; delete t.stuckSince; ah(t, ps, 'pending', actor, 'reset to pending after edit') }; if (args.hooks !== undefined) { var __he = applyHooks(t, args.hooks); if (__he.error) return { ok: false, error: __he.error } }; t.lintWarnings = draftLint(t, draftLintIo(sid, d.ownerCwd)); var __out = { ok: true, task: t }; if (__pre && __pre.missing.length) __out.epicPrecheck = __pre; return __out }); afterPublishPrecheck(sid, args.taskId, __res); return __res })
     handle('set-board-mode', async function (args) { var sid = rpcSessionId(args); return mutateLocked(sid, function (d) { d.boardMode = args.mode === 'manual' ? 'manual' : 'auto'; if (d.boardMode === 'manual' && d.teamMode) { d.teamMode = false; teamModeCache[sid] = false }; return { ok: true, boardMode: d.boardMode, teamMode: !!d.teamMode, workMode: deriveWorkMode(d) } }) })
     handle('set-team-mode', async function (args) { var sid = rpcSessionId(args); return mutateLocked(sid, function (d) { d.teamMode = !!args.enabled; if (d.teamMode) d.boardMode = 'auto'; teamModeCache[sid] = d.teamMode; return { ok: true, teamMode: d.teamMode, boardMode: d.boardMode, workMode: deriveWorkMode(d) } }) })
     // 工作模式三档单入口（v75 UI 收敛）：一次写入 boardMode+teamMode 两个字段，
@@ -512,7 +578,11 @@ export function createRpc(ctx, state, deps) {
         if (!t) return null
         delete t.stuckSince
         if (t.status === 'in-progress') { var ps = t.status; t.status = 'pending'; t.claimedBy = null; t.claimedAt = null; ah(t, ps, 'pending', actor, '手动终止，任务重新排队') }
-        else if (t.status === 'verifying') { ah(t, 'verifying', 'verifying', actor, '手动终止审查，等待新 verifier 接手') }
+        // 验收时序三洞② 回归修复：终止 verifier 时同步清 verifierRun 认领位（与 in-progress 清 claimedBy
+        // 同口径）。否则卡面 verifierRun 仍指向已终止 run 的 running 留档（terminate 刻意不 closeRunHistory），
+        // activeRunOf 的卡面兜底（liveEntry 按 verifierRun 匹配）会把已死的 run 误判为活跃 → archive 门禁
+        // 永久拒绝，而报错文案推荐的补救「先 terminate」再跑一次也是空转（内存表已摘、认领位不清）= 死结。
+        else if (t.status === 'verifying') { t.verifierRun = null; delete t.verifierRunAt; ah(t, 'verifying', 'verifying', actor, '手动终止审查，等待新 verifier 接手') }
         return t
       })
       return { ok: true, terminated: label }
@@ -620,7 +690,14 @@ export function createRpc(ctx, state, deps) {
       var result = await mutateLocked(sid, function (d) {
         var t = d.tasks.find(function (x) { return x.id === args.taskId })
         if (!t) return { ok: false, error: 'not found' }
-        if (t.status !== 'verifying') return { ok: false, error: 'not verifying (状态: ' + t.status + ')' }
+        if (t.status !== 'verifying') {
+          // 迟到落账（验收时序三洞 ③）：卡已落定（resolved/archived/cancelled）→ verifier 结论不再静默丢弃
+          if (t.status === 'resolved' || t.status === 'archived' || t.status === 'cancelled') {
+            var lr = lateVerdictApply(t, args.verdict, args.summary, args.checks, args.userTest, new Date().toISOString(), actor, cfg(d).verifyUserGuide)
+            return { ok: true, late: true, lateRejected: lr.lateRejected && lr.wasApproved, task: t }
+          }
+          return { ok: false, error: 'not verifying (状态: ' + t.status + ')' }
+        }
         delete t.escalation; delete t.verifyRetries // verifier 恢复产出：清人工验收标记
         t.verification = { verdict: args.verdict, summary: args.summary || '', checks: args.checks || '', at: new Date().toISOString(), by: actor }
         // 自测指南落账（verifyUserGuide 开关门禁，task-muxyyvg0）：normalizeUserTest 归一（tier 三档
@@ -636,16 +713,21 @@ export function createRpc(ctx, state, deps) {
         if (!approved) pushRejection(t, args.summary, args.checks, t.verification.at, actor)
         return { ok: true, task: t }
       })
-      if (result && result.ok && result.task) {
+      if (result && result.ok && result.task && !result.late) {
         if (result.task.status === 'resolved') notifyTaskDone(sid, result.task, 'resolved')
         if (result.task.status === 'blocked') notifyTaskDone(sid, result.task, 'blocked')
       }
-      if (result && result.ok && !approved && result.task) {
+      if (result && result.ok && !approved && result.task && !result.late) {
         // v74 一次性模型：原 Worker 已销毁，驳回任务回 pending 重派新 Worker（完整驳回包已落 t.messages，
         // 经 buildMessages 全量随 prompt 注入；history 只是审计轨）
         var bt = result.task
         if ((bt.rejectCount || 0) < 3) { await mutateLocked(sid, function (d) { var t2 = d.tasks.find(function (x) { return x.id === bt.id }); if (t2 && t2.status === 'in-progress') { t2.status = 'pending'; t2.claimedBy = null; t2.claimedAt = null }; return t2 }, true) }
       }
+      // 迟到驳回（验收时序三洞 ③）：verdict=rejected 且卡已 approved → err 级通知（回执直投 owner，不走开关）+ healthHint
+      if (result && result.ok && result.late && result.lateRejected) {
+        if (notifyLateReject) notifyLateReject(sid, result.task)
+        markLateRejectHealth(sid, result.task.id)
+      }
       return result
     } }))
     // 枚举当前网关可用模型（供 Verifier 模型下拉选择）：llm.listProviders + listModels
@@ -715,6 +797,8 @@ export function createRpc(ctx, state, deps) {
             console.error('[task-board] batch delete: ' + id + ' «' + String(t.title || '').slice(0, 60) + '» (status=' + t.status + ') by ' + actor)
             done++
           } else if (args.op === 'archive') {
+            var __act = activeRunOf(sid, t)
+            if (__act) { skip(id, '有活跃 run（' + (__act.role === 'verifier' ? 'verifier ' : 'worker ') + __act.id + ' 仍在跑），等它落定或先 terminate'); return }
             if (t.status !== 'resolved' && t.status !== 'cancelled') { skip(id, 'cannot archive'); return }
             var ps = t.status; t.status = 'archived'; t.archivedAt = new Date().toISOString(); ah(t, ps, 'archived', actor, 'batch archive'); done++
             archived.push(t)

package/lib/store.mjs

@@ -1,6 +1,7 @@
 // dsh-agent-board — 看板持久化层（lib/store.mjs）
-// createStore(ctx, state, deps)：家目录绝对路径直读写 / 原子写盘（tmp+rename+瞬时占用退避）/
-// 跨重启继承（唯一孤儿板接管）/ 每会话文件锁串行化读-改-写 / mutateLocked + kickCycle 派发触发。
+// createStore(ctx, state, deps)：家目录绝对路径直读写 / 原子写盘（tmp+fsync+rename+瞬时占用退避+unlink 兜底）/
+// 跨重启继承（唯一孤儿板接管）/ 腐坏隔离可见化 + 自动 salvage（截断抢救）/
+// 每会话文件锁串行化读-改-写 / mutateLocked + kickCycle 派发触发。
 // deps.poolCycle 为晚绑定（index.mjs 在 dispatch 创建后收口）：kickCycle 经 50ms 去抖才调用，
 // 而 kickCycle 只可能被工具/RPC/心跳写盘触发（全部发生在 apply 接线完成之后），晚绑定无窗口风险。
 import * as core from './core.mjs'
@@ -8,6 +9,24 @@ import path from 'node:path'
 import fsNode from 'node:fs'
 const { seed, normalizeBoard, vt, boardHome } = core
 
+// 腐坏看板自动抢救（P0 根修 task-mv0bl9vg ③）：从撕裂/夹残片的 JSON 原文里截取**第一个完整 JSON 值**。
+// 手法 = JSON.parse 报错 position 截断法（本次事故人工恢复就是这招）：整串 parse 失败时，
+// V8 报错信息含 "position N"（实测 node v24：'{"a":1}{"b":2}' 报 position 18，即第二个值起点），
+// 截到 N 再 parse 即得第一个完整值；无 position（如单对象中部截断 "Unexpected end of JSON input"）或
+// 截断后仍 parse 失败 → 返回 { ok:false }，交由调用方隔离空板。
+function trySalvage(raw) {
+  if (typeof raw !== 'string' || !raw) return { ok: false }
+  try { var d = JSON.parse(raw); return d && typeof d === 'object' ? { ok: true, board: d } : { ok: false } }
+  catch (e) {
+    var m = /position (\d+)/.exec(String(e && e.message))
+    if (!m) return { ok: false }
+    var pos = parseInt(m[1], 10)
+    if (!(pos > 0)) return { ok: false }
+    try { var v = JSON.parse(raw.slice(0, pos)); return v && typeof v === 'object' ? { ok: true, board: v } : { ok: false } }
+    catch (_) { return { ok: false } }
+  }
+}
+
 export function createStore(ctx, state, deps) {
     var sessionCwd = deps.sessionCwd
     // 共享状态别名（本体由 index.mjs apply 统一构建并逐模块注入）
@@ -16,6 +35,7 @@ export function createStore(ctx, state, deps) {
     var epicSplitCache = state.epicSplitCache
     var fileLocks = state.fileLocks
     var cyclePending = state.cyclePending
+    var poolHealth = state.poolHealth || (state.poolHealth = {})   // 腐坏隔离/抢救 hint 落这里（与 runtime health 同表）
 
     // 看板文件用「家目录绝对路径 + node:fs」直读写——不再走 fs 服务的相对路径解析
     // （fs 服务的相对路径解析根 = 进程启动 cwd，cwd 一变所有看板静默读成空板；
@@ -146,27 +166,81 @@ export function createStore(ctx, state, deps) {
         }
         return seed(sid, sessionCwd(sid))
       } catch (_) {
-        // JSON 截断/损坏（如强杀打断写盘）：隔离留档再种新板——数据不丢，坏文件也不反复 poison
-        console.error('[task-board] board file corrupt, quarantining: ' + boardPath(sid))
-        fsNode.promises.rename(boardPath(sid), boardPath(sid) + '.corrupt-' + Date.now()).catch(function () {})
-        return seedNoPersist(sid)
+        // JSON 截断/损坏（如强杀打断写盘、中部夹杂另一版本残片）→ 抢救 + 隔离 + 可见化（P0 根修）
+        return recoverCorrupt(sid, r)
+      }
+    }
+    // ===== 腐坏看板：自动 salvage + 隔离可见化（task-mv0bl9vg ②③）=====
+    // 三件套：① 隔离前先 trySalvage 截断抢救（成功则以抢救出的完整 JSON 为底继续）；
+    // ② 原始坏文件一律 .corrupt-<ts> 留档（抢救成功=复制留档+写回覆盖，抢救失败=改名隔离；撕裂尾部都不丢）；
+    // ③ 追加 healthHints err 级 hint（写 poolHealth[sid].corruptNote）+ notify 通知 owner——不再静默。
+    async function recoverCorrupt(sid, raw) {
+      var p = boardPath(sid)
+      var ts = Date.now()
+      var corruptPath = p + '.corrupt-' + ts
+      var salv = trySalvage(raw)
+      var salvaged = null, kept = 0
+      if (salv.ok && vt(salv.board)) {
+        salvaged = normalizeBoard(salv.board)
+        salvaged.ownerSession = sid                              // 抢救出的板归属本 sid（与 adoptBoard 同口径）
+        var cw = sessionCwd(sid)
+        if (!salvaged.ownerCwd && cw) salvaged.ownerCwd = cw
+        kept = (salvaged.tasks || []).length
+      }
+      if (salvaged) {
+        // 抢救成功：原始坏内容**复制**留档 .corrupt-<ts>（不动主板，撕裂尾部不丢），
+        // 再以截断后的完整 JSON 为底原子写回主板继续用；写回失败则下次读盘再抢救（幂等，不留空板空档）。
+        try { await fsNode.promises.copyFile(p, corruptPath) } catch (e) { console.error('[task-board] 腐坏看板复制留档失败:', String(e)) }
+        try {
+          await wt(sid, salvaged)
+          teamModeCache[sid] = !!salvaged.teamMode
+          feedbackCache[sid] = salvaged.feedbackEnabled !== false
+          epicSplitCache[sid] = salvaged.epicSplit !== false
+        } catch (e) { console.error('[task-board] 抢救写回失败（原始文件已留档 ' + corruptPath + '）:', String(e)) }
+        recordCorruptNote(sid, { at: ts, salvage: true, kept: kept, file: path.basename(corruptPath) })
+        console.error('[task-board] board file corrupt, salvaged (kept ' + kept + ' tasks), original quarantined: ' + corruptPath)
+        return salvaged
+      }
+      // 抢救失败：坏文件改名 .corrupt-<ts> 隔离（防反复 poison）+ 空板重启（禁止回写）+ 可见 hint + notify
+      try { await fsNode.promises.rename(p, corruptPath) } catch (e) { console.error('[task-board] 腐坏看板隔离改名失败（下次读盘重试）:', String(e)) }
+      recordCorruptNote(sid, { at: ts, salvage: false, kept: 0, file: path.basename(corruptPath) })
+      console.error('[task-board] board file corrupt, quarantined: ' + corruptPath)
+      return seedNoPersist(sid)
+    }
+    // 腐坏/抢救 hint 落 poolHealth（get-tasks 现算透出 err 级 hint）+ notify 通知 owner
+    function recordCorruptNote(sid, note) {
+      var rec = poolHealth[sid] || (poolHealth[sid] = {})
+      rec.corruptNote = note
+      var text = note.salvage
+        ? '看板数据文件腐坏，已自动抢救保留 ' + note.kept + ' 张卡（丢弃撕裂残片），原始文件留档 ' + note.file + '，可联系恢复'
+        : '看板数据文件腐坏已隔离，历史在 ' + note.file + '，可联系恢复'
+      // 晚绑定直读 deps.notifyBoardCorrupt（index.mjs 在 notify 创建后才收口，创建时取值为 undefined）
+      var nb = deps.notifyBoardCorrupt
+      if (typeof nb === 'function') {
+        try { nb(sid, text) } catch (e) { console.error('[task-board] 腐坏通知失败:', String(e)) }
       }
     }
     // 瞬时读失败/坏文件隔离后的空板必须禁止回写：否则一个「读不到」的瞬间就会把 106 张卡覆成空板。
     // __noPersist 用 non-enumerable 挂载——即使将来有路径漏判把它写出去，JSON.stringify 也会跳过该字段。
     function seedNoPersist(sid) { var d = seed(sid, sessionCwd(sid)); try { Object.defineProperty(d, '__noPersist', { value: true, enumerable: false }) } catch (_) {} return d }
-    // 原子写盘：先写临时文件再 rename——强杀若发生在写盘中途，磁盘上最多留个 .tmp 残件，
+    // 原子写盘：写 tmp → fsync → rename 覆盖目标——强杀若发生在写盘中途，磁盘上最多留个 .tmp 残件，
     // 看板本体永远不会是截断的半个 JSON（此前非原子直写，kill 中写 = 看板被 seed 清空）
+    // fsync 保证 tmp 内容真正落盘后再 rename（rename 在同分区是原子的）。
     // Windows 特有问题：rename 目标被并发读句柄/Defender/索引器短暂占用时抛 EPERM/EBUSY
     // （E2E 实测：GUI 3s 轮询 + 脚本 10s 轮询下偶发，publish 写入整个丢失）。
     // 对这类瞬时占用做有限退避重试；其他错误（只读/不存在目录等）直接抛。
+    // 重试耗尽仍失败 → 降级「先 unlink 目标再 rename」并记录（Windows rename-over-existing 实测
+    // node v24 win32 直接覆盖 OK，仅被占时才需 unlink 兜底——绝不丢整板）。
+    async function writeTmpFsync(tmp, content) {
+      var fh = await fsNode.promises.open(tmp, 'w')
+      try { await fh.writeFile(content, 'utf8'); await fh.sync() }
+      finally { await fh.close().catch(function () {}) }
+    }
     async function wt(sid, d) {
       var c = JSON.stringify(d); var p = boardPath(sid); var tmp = p + '.tmp'
-      var lastErr = null
       for (var attempt = 0; attempt < 6; attempt++) {
-        try { await fsNode.promises.writeFile(tmp, c, 'utf8'); await fsNode.promises.rename(tmp, p); return }
+        try { await writeTmpFsync(tmp, c); await fsNode.promises.rename(tmp, p); return }
         catch (e) {
-          lastErr = e
           var code = e && e.code
           if (code === 'EPERM' || code === 'EBUSY' || code === 'ENOTEMPTY' || code === 'EACCES') {
             await new Promise(function (r) { setTimeout(r, 60 * (attempt + 1)) })
@@ -175,7 +249,11 @@ export function createStore(ctx, state, deps) {
           console.error('[task-board] write:', String(e)); throw e
         }
       }
-      console.error('[task-board] write: retry exhausted (6 次) ->', String(lastErr)); throw lastErr
+      // 退避重试耗尽（顽固瞬时占用）→ 降级「先 unlink 目标再 rename」并记录；最后一步失败则抛（不吞）
+      console.error('[task-board] write: rename 直覆失败（重试耗尽），降级 unlink+rename: ' + p)
+      try { await writeTmpFsync(tmp, c) } catch (e) { console.error('[task-board] write:', String(e)); throw e }
+      await unlinkRetry(p, 6)
+      await fsNode.promises.rename(tmp, p)
     }
     // 每会话一条 promise 链，串行化所有 读-改-写，消除并发写竞争
     function withLock(sid, fn) { var prev = fileLocks[sid] || Promise.resolve(); var p = prev.then(function () { return fn() }); fileLocks[sid] = p.catch(function () {}); return p }

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "dsh-agent-board",
   "description": "DeepSeek Harness 智能看板：任务卡片 + 一次性 Worker/Verifier 派发 + 依赖调度 + 管线分档 + Team 模式（歧义上报主窗口裁决）",
-  "version": "1.7.6",
+  "version": "1.7.7",
   "type": "module",
   "main": "./index.mjs",
   "scripts": {

package/test/archive-detail.test.mjs

@@ -0,0 +1,43 @@
+// dsh-agent-board — 归档卡点开详情（用户 2026-10-09 指令）client 侧单测（test/archive-detail.test.mjs）
+// client 无渲染 harness（react 不在包依赖，渲染由 dsh web 客户端运行时注入）——与历卡同一纪律：
+// 全部走源码级断言（board-list.js / kernel.js / task-detail.js 模块源 + client.js 重组装产物）。
+// 断言：
+//   ① 归档行可点击进详情：ArchiveView 行挂 onClick → state.detailId = t.id（复用 detailId 机制，与看板卡同路径）；
+//     恢复/历史会话按钮 stopPropagation——点「恢复待办」不误开详情
+//   ② 归档 tab 分支尊重 detailId：kernel.js view==='archive' 分支 detailId 优先渲染 DetailView
+//   ③ 已阅链路对归档卡生效：mark-reviewed 触发条件无 status 门禁（读 detailId，archived 同样落账）
+//   ④ 产物重组装：关键接线标记出现在 lib/client.js
+import { test } from 'node:test'
+import assert from 'node:assert/strict'
+import { readFileSync } from 'node:fs'
+
+const bl = readFileSync(new URL('../lib/client/board-list.js', import.meta.url), 'utf8')
+const kernel = readFileSync(new URL('../lib/client/kernel.js', import.meta.url), 'utf8')
+const td = readFileSync(new URL('../lib/client/task-detail.js', import.meta.url), 'utf8')
+const built = readFileSync(new URL('../lib/client.js', import.meta.url), 'utf8')
+
+// ===== ① 归档行可点击进详情 + 行内按钮不冒泡 =====
+test('① 归档行可点击进详情（onClick 接线 state.detailId）+ 恢复/历史会话按钮不冒泡', () => {
+  assert.match(bl, /onClick: function \(\) \{ state\.detailId = t\.id; notify\(\) \}/)
+  assert.match(bl, /onClick: function \(e\) \{ e\.stopPropagation\(\); restore\(t\.id\) \}/)
+  assert.match(bl, /onClick: function \(e\) \{ e\.stopPropagation\(\); if \(uiWorkspaceSvc\) uiWorkspaceSvc\.openSession\(r\.id\) \}/)
+})
+
+// ===== ② 归档 tab 分支尊重 detailId：复用 DetailView =====
+test('② 归档 tab 分支尊重 detailId：复用 DetailView（与看板卡同路径）', () => {
+  assert.match(kernel, /view === 'archive'\) \{ content = detailId \? React\.createElement\(DetailView\) : React\.createElement\(ArchiveView\) \}/)
+})
+
+// ===== ③ 已阅链路对归档卡生效：mark-reviewed 无 status 门禁 =====
+test('③ 已阅链路对归档卡生效：mark-reviewed 触发无 status 门禁（读 detailId）', () => {
+  assert.match(td, /var t = getTask\(state\.detailId\); if \(t && t\.reviewHint && t\.reviewHint\.score > 0 && !t\.reviewedAt\) \{ rpc\('mark-reviewed'/)
+  // reviewPending 单一事实源含 archived（徽章随 fetchTasks 消失的口径）
+  assert.match(kernel, /t\.status === 'resolved' \|\| t\.status === 'archived'/)
+})
+
+// ===== ④ 产物重组装 =====
+test('④ 产物重组装：三处接线标记出现在 lib/client.js', () => {
+  for (const m of ['state.detailId = t.id; notify()', 'detailId ? React.createElement(DetailView) : React.createElement(ArchiveView)', 'e.stopPropagation(); restore(t.id)']) {
+    assert.ok(built.indexOf(m) >= 0, 'client.js 缺标记：' + m + '（需 npm run build-client 重组装）')
+  }
+})

package/test/core.test.mjs

@@ -1018,6 +1018,15 @@ test('README 双份同步记录 touches 锁随工作态口径（状态流转到
   assert.ok(!pkg.includes('锁持到归档'), 'README 不应再记录「锁持到归档」旧口径')
 })
 
+test('README 定位段：agent 团队持久台账与治理层关键词存在（台账/治理层/审计台/流水线归机器）+ 双份逐字一致', () => {
+  const pkg = readFileSync(new URL('../README.md', import.meta.url), 'utf8')
+  const root = readFileSync(new URL('../../../README.md', import.meta.url), 'utf8')
+  assert.equal(pkg, root) // 两份 README 必须字节一致（npm run sync-readme 的约束）
+  for (const s of ['agent 团队的持久台账与治理层', '台账', '治理层', '审计台', '流水线归机器，审计台归人', '验收独立复跑', '适合谁']) {
+    assert.ok(root.includes(s), 'README 定位段应含关键词：' + s)
+  }
+})
+
 // ===== 派发决策（touches 拦截）=====
 test('pickDispatch: touches 与活动任务冲突 → 不进 pendings，记入 blockedTouches', () => {
   const tasks = [
@@ -4345,13 +4354,15 @@ test('isRoot 蝶变防抖（源码级）：计数器 + 连续 3 次阈值 + ever
   assert.equal((cli.match(/applyIsRoot\(/g) || []).length, 2) // 定义 1 + 轮询调用 1
 })
 
-test('isRoot 蝶变防抖：host 侧注释指回客户端防抖，且 host 行为未改（仍现算 isRoot）', () => {
+test('isRoot 持久语义：host 侧改读 parentSession（根=无父），防抖仍指回客户端', () => {
   const rpcSrc = readFileSync(new URL('../lib/rpc.mjs', import.meta.url), 'utf8')
-  // 指针注释：说明瞬态假 false + 防抖落在客户端 kernel.js applyIsRoot
-  assert.match(rpcSrc, /host 不改行为（保持"现算真相"），防抖在客户端：kernel\.js applyIsRoot/)
+  // isRoot 持久判定入口：根会话=无父，不再读活跃 roots() 集
+  assert.match(rpcSrc, /async function isRootPersistent\(sid\)/)
+  assert.match(rpcSrc, /snap\.header\) return !snap\.header\.parentSession/)
+  assert.match(rpcSrc, /d\.isRoot = await isRootPersistent\(sid\)/)
+  // 指针注释：防抖仍在客户端 kernel.js applyIsRoot，曾确认 true 需连续 3 次 false 才收
+  assert.match(rpcSrc, /防抖仍在客户端：kernel\.js applyIsRoot/)
   assert.match(rpcSrc, /曾确认 true 的会话需连续 3 次/)
-  // 行为未改：isRoot 仍按 agents.roots() 现算（不缓存、不防抖、不落盘）
-  assert.match(rpcSrc, /var __roots = __ag\.roots\(\)[\s\S]{0,200}d\.isRoot = __rids\.indexOf\(sid\) >= 0/)
 })
 
 // ===== 史诗 hooks UI（task-muuw56yf）：卡片相位徽章 + 详情页 hooks 编辑区 =====
@@ -5582,3 +5593,49 @@ test('巡检③：batch-op archive 跳过附 reasons（id → 原因）且 clien
   assert.match(built, /it\.title \+ '：' \+ it\.reason/)
   assert.match(built, /'跳过原因'/)
 })
+
+// ===== 巡检三连②（详情编辑 / 表单标签 / 恢复预警）：优先级+标签可编辑 / 标签进 create 载荷 / 恢复 confirm 门禁 =====
+test('巡检三连②-①：详情页优先级四档下拉 + 标签编辑走 update-task（含 tags 通道落卡 trim/去空）', async () => {
+  const src = readFileSync(new URL('../lib/client/task-detail.js', import.meta.url), 'utf8')
+  // 优先级静态 chip → 四档下拉（value 读 task.priority，onChange 落 update-task priority 通道）
+  assert.match(src, /value: task\.priority \|\| 'medium', onChange: function \(e\) \{ rpc\('update-task', \{ taskId: task\.id, priority: e\.target\.value \}\)\.then\(fetchTasks\)/)
+  assert.match(src, /\['critical', 'high', 'medium', 'low'\]\.map/)
+  // 标签编辑：TagsEditor 逗号分隔 input + update-task tags 通道
+  assert.match(src, /function TagsEditor\(props\)/)
+  assert.match(src, /rpc\('update-task', \{ taskId: task\.id, tags: tags \}\)/)
+  // 行为级：update-task RPC tags 通道落卡 + trim/去空（详情页标签编辑的落点）
+  const board = mkBoard([mkTask({ id: 't1', tags: [] })])
+  const h = mkRpcHandlers(board)
+  const r = await h['update-task']({ taskId: 't1', tags: ['bug', '  epic  ', '', '待验收'] })
+  assert.equal(r.ok, true)
+  assert.deepEqual(board.tasks[0].tags, ['bug', 'epic', '待验收'])
+  // 组装产物同步
+  const built = readFileSync(new URL('../lib/client.js', import.meta.url), 'utf8')
+  assert.match(built, /function TagsEditor\(props\)/)
+  assert.match(built, /value: task\.priority \|\| 'medium', onChange: function \(e\) \{ rpc\('update-task', \{ taskId: task\.id, priority: e\.target\.value \}\)\.then\(fetchTasks\)/)
+})
+
+test('巡检三连②-②：新建表单「标签」字段进 create-task 载荷（逗号分隔 trim+去空）', () => {
+  const src = readFileSync(new URL('../lib/client/board-list.js', import.meta.url), 'utf8')
+  // 标签输入字段 + 逗号分隔解析（trim + 去空）
+  assert.match(src, /var tags = tagsRaw\.split\(/)
+  assert.match(src, /'标签（逗号分隔，可空）'/)
+  // create-task 载荷带 tags 字段（与 touches/dependsOn 同级）
+  assert.match(src, /tags: tags, dependsOn: deps/)
+  // 组装产物同步
+  const built = readFileSync(new URL('../lib/client.js', import.meta.url), 'utf8')
+  assert.match(built, /tags: tags, dependsOn: deps/)
+})
+
+test('巡检三连②-③：归档「恢复待办」confirm 门禁（list 不弹 / auto+team 弹）+ title 预警', () => {
+  const src = readFileSync(new URL('../lib/client/board-list.js', import.meta.url), 'utf8')
+  // 工作模式派生（与 fetchTasks 同口径）；list 不弹，auto/team 走 confirm 门禁
+  assert.match(src, /var wm = state\.workMode \|\| \(state\.teamMode \? 'team' : \(state\.boardMode === 'auto' \? 'auto' : 'list'\)\)/)
+  assert.match(src, /if \(wm !== 'list'\)/)
+  assert.match(src, /window\.confirm\('恢复待办后将按当前工作模式立即重新派发，消耗一轮 Worker\+Verifier token。继续/)
+  // 按钮 title 预警（非 list 模式），list 模式仅「恢复为待办」
+  assert.match(src, /title: wm === 'list' \? '恢复为待办' : '恢复为待办（将按当前工作模式立即重新派发，消耗一轮 Worker\+Verifier token）'/)
+  // 组装产物同步
+  const built = readFileSync(new URL('../lib/client.js', import.meta.url), 'utf8')
+  assert.match(built, /window\.confirm\('恢复待办后将按当前工作模式立即重新派发，消耗一轮 Worker\+Verifier token。继续/)
+})

package/test/headless-smoke.test.mjs

@@ -207,3 +207,28 @@ test('冒烟链路：apply(mockCtx) → 建卡 → 时钟推进 → continuable
     assert.equal(t2.runs[1].resume, true, '第二条标 resume:true')
   } finally { await env.cleanup() }
 })
+
+// ===== isRoot 持久语义（banner 入口瞬态/持久消失修复，task-muzys43o）=====
+// 根因：host get-tasks 的 isRoot 旧实现读活跃 roots() 集——roots() 只含活体会话，
+// 休眠根会话（有板有卡但无活 agent）恒 false → banner「智能看板」按钮分钟级消失；
+// 且生成开始/结束 agents 树重建有瞬态窗口假 false。修法：isRoot 改读持久 parentSession
+// （根会话=无父），休眠根也算 root；子代理会话（parentSession 指向父）仍 false。
+test('isRoot 持久语义：休眠根会话仍 root（parentSession 缺省），子代理会话仍 false', async () => {
+  var env = createMockCtx()
+  try {
+    plugin.apply(env.ctx)
+    // 造一块「有板有卡」的根会话板（证明休眠前确有板卡）
+    var created = await env.rpc('create-task', { sessionId: env.sid, id: 't-isroot-1', title: '休眠根会话卡', pipeline: 'work' })
+    assert.equal(created.ok, true)
+    // 模拟休眠：活跃 roots 清空（无活 agent），但持久表仍记 parentSession 缺省（根）
+    env.setRoots([])
+    var r = await env.rpc('get-tasks', { sessionId: env.sid })
+    assert.equal(r.isRoot, true, '① 休眠根会话 isRoot=true（持久 parentSession 缺省，不依赖活跃 roots 集）')
+    assert.equal(r.tasks.length, 1, '休眠不丢板卡（rt 读盘仍在）')
+    // ② 子代理会话：持久表记 parentSession → false（保护语义不变）
+    var childSid = 'session-child-aaaa-bbbb'
+    env.persistedHeaders[childSid] = { id: childSid, parentSession: env.sid }
+    var rc = await env.rpc('get-tasks', { sessionId: childSid })
+    assert.equal(rc.isRoot, false, '② 子代理会话 isRoot=false（parentSession 指向父）')
+  } finally { await env.cleanup() }
+})