dsh-agent-board 1.9.0 → 1.9.2

package/lib/notify.mjs

@@ -2,7 +2,7 @@
 // makeMsg（纯函数，模块级 export，rpc.mjs 直接 import）：插件来源消息构造。
 // createNotify(ctx, state, deps)：歧义上报 25s 去抖通知 / 回执批量聚合（45s 或满 5 条）+ 主窗口空闲门控 /
 // 系统异常通知队列 / 投递前按看板现状过滤过期项（含 dispatched 派发回执的离场过滤）。共享状态全部经 state 显式注入。
-// 回执两类入口共用同一聚合队列：notifyTaskDone（完成/阻塞）+ notifyDispatched（派发即回执）。
+// 回执三类入口共用同一聚合队列：notifyTaskDone（完成/阻塞）+ notifyDispatched（派发即回执）+ notifyDecomposed（拆解官回执）。
 // 回执开关（板级 notifyDispatch/notifyDone，设置区「通知」小节）不在本模块判定——闸门在调用方
 // （dispatch.mjs 派发/结算处读 cfg 快照），这样歧义裁决通知（notifyMainWindow）天然不受开关影响。
 
@@ -99,6 +99,29 @@ export function createNotify(ctx, state, deps) {
       var stamp = 'dispatched|' + String(role || 'worker') + '|' + (t.claimedAt || t.verifierRunAt || '')
       pushReceipt(sid, t.id + ':' + stamp, { kind: 'dispatched', role: String(role || 'worker'), title: t.title, id: t.id, summary: '', note: '' })
     }
+    // 拆解官回执（task-mvrqiu6x）：拆解官落定（split 物化 / keep 判定）→ 完成型回执，走同一聚合队列，
+    // flush 出「🧩 已拆解」分区。源卡按设计停在 draft/pending（提案由用户确认后逐张 publish），
+    // 回执 payload 带源卡 id 供投递前过滤——只有源卡已 archived（人已手动归档=已知悉）才丢弃，
+    // draft/pending 等其余状态一律保留（这正是原设计绕行系统通道的原因，豁免断言钉死）。
+    // 幂等键 = 源卡id|verdict|子卡id 集合连接：同一批提案重复上报（拆解官重跑/结算重放）指纹一致 → 吞掉；
+    // 换一批提案（子卡 id 变）/ verdict 变 → 指纹不同 → 正常新回执。
+    function notifyDecomposed(sid, payload) {
+      if (!payload || !payload.sourceId) return
+      var kids = Array.isArray(payload.children) ? payload.children : []
+      var kidIds = []
+      for (var i = 0; i < kids.length; i++) kidIds.push(String((kids[i] && kids[i].id) == null ? '' : kids[i].id))
+      var summary
+      if (payload.verdict === 'split') {
+        var titles = []
+        for (var j = 0; j < kids.length; j++) titles.push(String((kids[j] && kids[j].title) == null ? '' : kids[j].title).trim().slice(0, 60))
+        var list = titles.join('、')
+        if (list.length > 300) list = list.slice(0, 300) + '…'
+        summary = 'split：' + kids.length + ' 张子卡（' + list + '）'
+      } else summary = 'keep：无需拆分'
+      var note = payload.reason ? String(payload.reason).slice(0, 150) : ''
+      var stamp = String(payload.sourceId) + '|decomposed|' + String(payload.verdict || '') + '|' + kidIds.join(',')
+      pushReceipt(sid, stamp, { kind: 'decomposed', id: String(payload.sourceId), title: payload.sourceTitle || String(payload.sourceId), summary: summary, note: note })
+    }
     // 系统级异常通知队列（易失，随回执冲刷）：模型熔断/spawn 失败/孤儿回收/看门狗标记
     // taskId 可选：告警类通知（软超时提醒等）语义只对「任务仍在执行中」成立，
     // 带上任务 id 后 flush 投递前可重读看板校验，任务已落定的过期告警直接丢弃
@@ -118,13 +141,18 @@ export function createNotify(ctx, state, deps) {
       function noteOf(status) { return status === 'verifying' ? '验证中' : '进行中' }
       // 组装投递文本（入参已是过滤后的存活项，避免用已丢弃项的计数）
       function composeText(items, notes) {
-        var done = [], blocked = [], dispatched = []
-        for (var i = 0; i < items.length; i++) { (items[i].kind === 'resolved' ? done : (items[i].kind === 'dispatched' ? dispatched : blocked)).push(items[i]) }
+        var done = [], blocked = [], dispatched = [], decomposed = []
+        for (var i = 0; i < items.length; i++) { (items[i].kind === 'resolved' ? done : (items[i].kind === 'decomposed' ? decomposed : (items[i].kind === 'dispatched' ? dispatched : blocked))).push(items[i]) }
         var lines = [items.length ? '📋 [任务看板] 回执摘要（' + items.length + ' 条）' : '📋 [任务看板] 系统通知', '']
         if (dispatched.length) {
           lines.push('🚀 已派发 ' + dispatched.length + ' 个：')
           for (var d = 0; d < dispatched.length && d < 8; d++) lines.push('  · ' + dispatched[d].title + ' (' + dispatched[d].id + ') — ' + (dispatched[d].role === 'verifier' ? 'Verifier 验收中' : 'Worker 执行中'))
         }
+        if (decomposed.length) {
+          // 拆解官正式回执分区（task-mvrqiu6x）：源卡标题 (源卡id) — split：M 张子卡（标题列表）/ keep：无需拆分
+          lines.push('🧩 已拆解 ' + decomposed.length + ' 个（待确认发布）：')
+          for (var m = 0; m < decomposed.length && m < 8; m++) lines.push('  · ' + decomposed[m].title + ' (' + decomposed[m].id + ')' + (decomposed[m].summary ? ' — ' + decomposed[m].summary.slice(0, 120) : ''))
+        }
         if (done.length) {
           lines.push('✅ 完成 ' + done.length + ' 个：')
           for (var j = 0; j < done.length && j < 8; j++) lines.push('  · ' + done[j].title + ' (' + done[j].id + ')' + (done[j].summary ? ' — ' + done[j].summary.slice(0, 120) : ''))
@@ -169,6 +197,11 @@ export function createNotify(ctx, state, deps) {
             var it = items[j]
             var tt = findTask(it.id)
             if (tt && tt.status === 'archived') continue
+            // 拆解回执豁免（task-mvrqiu6x）：kind='decomposed' 的源卡按设计停在 draft/pending（拆解提案
+            // 由用户确认后发布）——不得因「任务非 in-progress」被丢（这正是原设计绕行系统通道的原因，
+            // 此豁免由断言钉死，防后人把「非 in-progress 丢弃」改成通用规则误伤）；唯一离场规则是
+            // 源卡已 archived（上面那条，人已手动归档=已知悉）。rt 读盘失败（tt 为 null）时同样保留。
+            if (it.kind === 'decomposed') { keptItems.push(it); continue }
             if (it.kind === 'dispatched' && tt && tt.status !== 'in-progress') continue
             keptItems.push(it)
           }
@@ -217,5 +250,5 @@ export function createNotify(ctx, state, deps) {
       } catch (e) { console.error('[task-board] late approve notify failed:', String(e)) }
     }
 
-    return { maybeNotify: maybeNotify, notifyTaskDone: notifyTaskDone, notifyDispatched: notifyDispatched, pushSysNote: pushSysNote, notifyBoardCorrupt: notifyBoardCorrupt, notifyLateReject: notifyLateReject, notifyLateApprove: notifyLateApprove }
+    return { maybeNotify: maybeNotify, notifyTaskDone: notifyTaskDone, notifyDispatched: notifyDispatched, notifyDecomposed: notifyDecomposed, pushSysNote: pushSysNote, notifyBoardCorrupt: notifyBoardCorrupt, notifyLateReject: notifyLateReject, notifyLateApprove: notifyLateApprove }
 }

package/lib/policy.mjs

@@ -102,7 +102,7 @@ export var DECOMPOSE_SCHEMA = {
           modelHint: { type: 'string' },
           touches: { type: 'array', items: { type: 'string' } },
           acceptance: { type: 'string' },
-          dependsOnIdx: { type: 'array', items: { type: 'number' } },
+          dependsOn: { type: 'array', items: { type: 'string' } },
         },
       },
     },
@@ -115,7 +115,7 @@ export var DECOMPOSE_SCHEMA = {
 // ③ size 判档语义：light=单点小改/文档/配置，standard=常规模块改动（缺省），heavy=跨模块/高风险/需强推理；
 //    modelHint 仅在有特殊理由时填（如超长上下文）；
 // ④ children 上限 DECOMPOSE_MAX_CHILDREN 张；verdict=keep 表示源卡不用拆；
-// ⑤ dependsOnIdx 只许引用本批**前排**子卡下标（0 起）——物化侧据此翻译成本批真实 id，按构造天然无环。
+// ⑤ dependsOn 只许引用本批**前排**子卡的序号（'1' 起，string）——物化侧翻译成本批真实 id，按构造天然无环；无法解析的序号丢弃并在该子卡 messages 留痕。
 export function buildDecomposerPrompt(t, pack) {
   var p = '你是任务看板的拆解官（一次性 run）。你的唯一交付物是**结构化拆解提案**（由 outputSchema 强箍：verdict/children/rationale），提案落定后本会话即销毁。\n\n'
   p += '源卡：' + t.id + ' · ' + String(t.title || '') + '\n'
@@ -129,7 +129,7 @@ export function buildDecomposerPrompt(t, pack) {
   p += '1. 第一步必须先用 read 工具读上面文件清单里的文件（按所给行号范围），从**实现侧**拆（按模块/文件边界切分）；禁止不读代码就拍脑袋拆，禁止只做需求侧转述。\n'
   p += '2. 每张子卡必须 10~30 分钟可独立完成并验收：touches 精确到文件（文件级排他锁，同批子卡 touches 不得互相重叠），acceptance 必须是可执行命令（如 "node --test test/xxx.test.mjs"）。\n'
   p += '3. size 判档：light=单点小改/文档/配置；standard=常规模块改动（缺省）；heavy=跨模块/高风险/需强推理。modelHint 仅在有特殊理由时填（如某子卡需超长上下文模型），否则留空。\n'
-  p += '4. children 上限 ' + DECOMPOSE_MAX_CHILDREN + ' 张；有先后顺序的用 dependsOnIdx 标注（只许引用本批**前排**子卡的下标，0 起）。\n'
+  p += '4. children 上限 ' + DECOMPOSE_MAX_CHILDREN + ' 张；有先后顺序时用 dependsOn 引用同批序号（只许引用本批**前排**子卡，序号 1 起计：如第 2 张依赖第 1 张填 ["1"]）。\n'
   p += '5. 源卡本身不大、不必拆时：verdict=keep，并在 rationale 写清理由。\n'
   p += '\n权限边界：你没有任何建卡工具——不要尝试创建/修改看板任务。提案由宿主读结构化结果后自动物化为 draft 子卡（源卡状态不变，由主窗口确认后逐张 publish）。\n'
   return p
@@ -146,7 +146,7 @@ function decomposeChildId(d, parentId, n) {
 //   · 校验先于清理——提案畸形/run 失败时**绝不清**旧批提案（失败不毁已有资产）；
 //   · 幂等：提案有效才清旧批（proposalOf===源卡 id 且仍 draft 的提案子卡整批移除；已 publish/落定的绝不碰）；
 //   · 子卡落位：status=draft、parentId=源卡、size（合法才落）、model=modelHint（空不落）、touches/acceptance/
-//     description 落位、dependsOnIdx → 本批真实 id（只收前排下标，天然无环）、上限 DECOMPOSE_MAX_CHILDREN 截断；
+//     description 落位、dependsOn 序号 → 本批真实 id（只收前排序号，天然无环；坏序号丢弃+该子卡 messages 留痕）、上限 DECOMPOSE_MAX_CHILDREN 截断；
 //   · 源卡自身状态不变（仍 draft/pending，由用户处置），只追加 messages 提案摘要行 + history 审计行。
 // 返回 { ok, verdict, children?:[{id,title}], error? }——非空返回值驱动 mutateLocked 写盘。
 export function applyDecomposeProposal(d, t, proposal, now) {
@@ -180,17 +180,26 @@ export function applyDecomposeProposal(d, t, proposal, now) {
     ah(t, t.status, t.status, 'system', '拆解官判定无需拆分（rationale 落源卡消息）')
     return { ok: true, verdict: 'keep', children: [] }
   }
-  // 物化：先分配整批 id（dependsOnIdx → 真实 id 翻译要求全员 id 已知），再逐张落 draft 子卡。
+  // 物化：先分配整批 id（dependsOn 序号 → 真实 id 翻译要求全员 id 已知），再逐张落 draft 子卡。
   var ids = []
   for (var k = 0; k < kids.length; k++) ids.push(decomposeChildId(d, t.id, k + 1))
   var created = []
   for (var k2 = 0; k2 < kids.length; k2++) {
     var c = kids[k2]
+    // dependsOn 序号引用 → 真实任务 id（task-mvr44rm3）：序号 '1' 起计，指本批第 n 张提案；先全批建卡
+    // 拿到真实 id 再映射。只认**前排**（序号 1..k2，当前位 k2+1）——按构造天然无环。无法解析的序号
+    //（非数字/越界/自引用/后排）一律丢弃，并在该子卡 messages 留一条「依赖序号无法解析」：
+    // 发布前审阅子卡详情即可见，主窗口可 publish 后用 task_update dependsOn 手工补挂。
     var deps = []
-    var di = Array.isArray(c.dependsOnIdx) ? c.dependsOnIdx : []
-    for (var dj = 0; dj < di.length; dj++) {
-      var idx = di[dj]
-      if (typeof idx === 'number' && isFinite(idx) && idx >= 0 && idx < k2 && deps.indexOf(ids[idx]) < 0) deps.push(ids[idx])
+    var unres = []
+    var dr = Array.isArray(c.dependsOn) ? c.dependsOn : []
+    for (var dj = 0; dj < dr.length; dj++) {
+      var ref = String(dr[dj] == null ? '' : dr[dj]).trim()
+      if (!ref) continue
+      var n = /^\d+$/.test(ref) ? parseInt(ref, 10) : NaN
+      if (!(n >= 1 && n <= k2)) { if (unres.indexOf(ref) < 0) unres.push(ref); continue }
+      var rid = ids[n - 1]
+      if (deps.indexOf(rid) < 0) deps.push(rid)
     }
     var child = {
       id: ids[k2],
@@ -225,6 +234,7 @@ export function applyDecomposeProposal(d, t, proposal, now) {
     if (sz === 'light' || sz === 'standard' || sz === 'heavy') child.size = sz
     var mh = typeof c.modelHint === 'string' ? c.modelHint.trim() : ''
     if (mh) child.model = mh
+    if (unres.length) child.messages.push({ kind: 'decompose', text: '🧩 依赖序号无法解析（' + unres.slice(0, 10).map(function (u) { return String(u).slice(0, 20) }).join('、') + '）——已丢弃；只认同批**前排**子卡序号（1 起计），如需依赖可 publish 后用 task_update dependsOn 手工补挂', at: stamp, by: 'decomposer' })
     d.tasks.push(child)
     created.push(child)
   }

package/lib/rpc.mjs

@@ -833,8 +833,9 @@ export function createRpc(ctx, state, deps) {
         // （retryCount+1 / lastError=子会话被宿主拆除 / history 落「worker 失败…重新排队」，
         // retryCount=2 的卡直接被打成 blocked，与「hold=停派」语义正面冲突）。
         // 终止的账由本函数自己结（accumulateRunUsage + closeRunHistory + mutateLocked），立旗后
-        // 兜底臂/超时臂/idle 事件通道对这条 rec 的迟到落定一律空转——与落闸弃权臂（dispatch 646）
-        // 同一纪律，且补上「离开活跃表的 rec 必然已立 settled 旗」不变式的最后一个缺口。
+        // 兜底臂/超时臂/idle 事件通道对这条 rec 的迟到落定一律空转——与落闸弃权臂
+        // （lib/dispatch.mjs 的 spawn 落闸处置）同一纪律，且补上「离开活跃表的 rec 必然已立
+        // settled 旗」不变式的最后一个缺口。
         rec.settled = true
         // 清理：一次性 run 走 dispose（既有语义逐字不变）；continuable 的 rec 没有 run（持久子会话），
         // 卡2 起改走 **interrupt 留存**（task-muw5h2ps）：只打断当前 turn、不销毁子会话——否则「手动终止」
@@ -1019,7 +1020,10 @@ export function createRpc(ctx, state, deps) {
     // 双查第二查「撞他卡有效锁」要用它现算他卡持锁（core.planLockConflicts）。
     function planGateApply(t, planFiles, actor, pat, d) {
       // 有效边界 = touches ∪ extraTouches（task-mvonytz3：仲裁扩权登记的文件即本卡合法边界，
-      // 不再误报越界；touches 审计原值不动——边界展示带「含仲裁扩权」标注以资区别）
+      // 不再误报越界；touches 审计原值不动——边界展示带「含仲裁扩权」标注以资区别）。
+      // 含 extraTouches（task-mvtz2jjq 勘误）：此处自 task-mvonytz3 起就按有效锁集比对，此前
+      // 「闸口不认 extraTouches」的诊断系解析伪影误判——真因在 core.parsePlanFiles 把「调用点/
+      // 接线断言仍锁」这类中文散文片与 `/if \(...` 正则残片误判成路径，残片永远不在边界内。
       var boundary = core.effectiveTouches(t)
       var hasExtra = Array.isArray(t.extraTouches) && t.extraTouches.length > 0
       // 卡无有效边界 → 无越界可比；但计划仍可能撞他卡锁（无边界卡的静默漂移同样现形）