thincoder 0.12.60 → 0.12.61

package/src/agent-tools/subagent-async.mjs

@@ -4,9 +4,11 @@
  * consume-design + observe/send（SUBAGENT-OBSERVE-SEND）——§19.8 check 已删；spawn 路径与
  * 工具面在 subagent.mjs；cancel 动作执行器与机械、管线在本模块——check 执行器随 §19.8 删除）。
  * 内容：resolveChildProvider / async 池常量与域助手（ASYNC_POOL_LIMITS/poolDomainOf/
- * resolvePoolLimits/poolLimitsFor/runningPoolCount——§24 D-24a）/ executeCancelAction +
+ * resolvePoolLimits/poolLimitsFor/runningPoolCount——§11.1）/ executeCancelAction +
  * cancelAsyncSubagent（§19.5 D-M6——工具与 TUI ⏹ 共用）/ runChildPipeline /
- * injectAsyncResult / buildChildRunOpts / mergeChildMutations。
+ * injectAsyncResult / buildChildRunOpts / mergeChildMutations / enqueueAsk（批 6——
+ * _permQueue 审批/继续弹窗串行收 helper——消费位 subagent.mjs/subagent-spawn.mjs/
+ * escalate-async.mjs）。
  * 拆分（2026-09-05——Module Split Policy §20.9——纯迁移零行为变化）：§20 调度器 + 文件域
  * 组 → ./subagent-scheduler.mjs（尾部 re-export 保测试动态 import 面——queueRunnable/
  * describeBlockers）；status/panel/escalate 动作执行器 → ./subagent-actions.mjs。
@@ -18,27 +20,40 @@ import {
 import { runWithContinue, TURN_CAP_MARK } from "../agent/spawn-child.mjs"
 import { pushReal } from "../context.mjs"
 import { offloadToolResult } from "../agent/helpers.mjs"
+import { digestBudgetOver, persistOverflowReport } from "./digest-budget.mjs"
+// 群 B 批 B5（§22 D-DG4）：预算单源迁出（digest-budget.mjs）——原处 re-export 保测试
+// 导入面零改（DIGEST_INJECT_BUDGET / _setDigestOffloadDirForTest）。
+export { DIGEST_INJECT_BUDGET, _setDigestOffloadDirForTest } from "./digest-budget.mjs"
 import {
   dependentLabels, maybeRefillAsync, refreshQueuedTokens,
 } from "./subagent-scheduler.mjs"
-// §24 D-24b (R13): advisor-pool cancel fallback + mutation logging for merged
+// §11.2 (R13): advisor-pool cancel fallback + mutation logging for merged
 // code（lazy function-level cycle——advisor-async → async-settle → scheduler →
 // 本模块——全函数级绑定无求值期依赖，环安全）。
 import { cancelAsyncAdvisor, noteMutations } from "./advisor-async.mjs"
 
-// Async pool limits per role domain (AGENT-LOOP.md §24 D-24a — R14, 2026-09-06):
+// agent-tools 共享：并行子代理的审批/继续弹窗经 owner 上命名 promise 链串行——
+// 永不叠弹窗（返回链供调用方 .then 续接）。
+export function enqueueAsk(owner, key, ask) {
+  const chain = (owner[key] ?? Promise.resolve()).then(ask, ask)
+  owner[key] = chain
+  return chain
+}
+
+// Async pool limits per role domain (AGENT-LOOP.md §11.1 — R14, 2026-09-06):
 // the old single cap (ASYNC_SUBAGENT_LIMIT = 4, §15 D-A4) evolved into two
 // independent pools — eng-coder 4 / other roles 4 (user ruling "eng-coder 四路，
 // 其他 4 路") — a full engCoder pool never blocks an explore spawn and vice versa
 // (same-domain cap still 4, cross-domain total up to 8). The per-turn check
 // budget was deleted with the check action (§19.8 — results arrive only via the
 // auto channel; no loop guard needed).
-// ⚠ 与 config.mjs DEFAULTS.agent.poolLimits 逐键同值（loadConfig/settings 默认源）——
-// 耦合锚 T-24a4 断言锁住——勿单侧改默认。
+// ⚠ 与 config.mjs DEFAULTS.agent.poolLimits 的 SUBAGENT 两键（engCoder/other）逐键同值
+// （loadConfig/settings 默认源）——耦合锚 T-24a4 断言锁住——勿单侧改默认。advisor 第三键
+// 不属本域（POOL-CONFIG-UNIFIED 2026-09-09——由 advisor-async 读取器消费——见该文件）。
 export const ASYNC_POOL_LIMITS = { engCoder: 4, other: 4 }
 
 /**
- * Role → pool domain (single source of truth — §24 D-24a 修正 #8): the CLI role
+ * Role → pool domain (single source of truth — §11.1 修正 #8): the CLI role
  * enum/assembly table is subagent.mjs's ROLES = { explore, plan, coder, eng-coder }
  * (mode-filtered: normal → explore/plan/coder, engineering → explore/plan/eng-coder).
  * eng-coder → engCoder pool; every other role (including unknown roles — fail-safe)
@@ -95,7 +110,7 @@ export function poolLimitsFor(agent) {
 function warnPoolFallback(what, sig) {
   if (warnedPoolConfigs.has(sig)) return
   warnedPoolConfigs.add(sig)
-  console.warn(`[config] agent.poolLimits: ${what} — must be a positive integer ≥1 — falling back to default ${JSON.stringify(ASYNC_POOL_LIMITS)} (AGENT-LOOP.md §24 D-24a)`)
+  console.warn(`[config] agent.poolLimits: ${what} — must be a positive integer ≥1 — falling back to default ${JSON.stringify(ASYNC_POOL_LIMITS)} (AGENT-LOOP.md §11.1)`)
 }
 
 /** Running count within ONE pool domain (口径同 §15 D-A1/T6: queued 与已完成不计入；
@@ -137,7 +152,10 @@ export function resolveChildProvider(parent, modelArg) {
     return { ...withKey(p), model: mname || p.model }
   }
   const byName = providers.find((x) => x.name === modelArg)
-  if (byName) return withKey(byName)
+  // F-2c (MODEL-400-FIX)：裸渠道名克隆须重派生 model——渠道裸克隆会丢 model 键 → 无 model 请求
+  // → serde 400。MODEL-SELECTION v2（M3④）：取渠道默认模型（`provider.model` 单值——2026-09-10
+  // 起；老 models[] 首候选形态已退场）；无默认模型 → 主 provider 的 model 兜底（T28）。
+  if (byName) return { ...withKey(byName), model: byName.model ?? parent.provider?.model }
   return { ...parent.provider, model: modelArg }
 }
 
@@ -182,10 +200,35 @@ export function cancelAsyncSubagent(agent, id) {
   }
   // running：标记 + 条目 abort——settle finally 跑 cancelled 分支（移除 + stopped + 提醒）
   entry.cancelled = true
-  entry.controller?.abort?.()
+  // §20.3 站点 #11（第 24 批）：定向中止 = cancel（reason 载荷——下游可判「谁杀的」）
+  entry.controller?.abort?.({ abortTrigger: "cancel", abortDetail: "subagent-cancel" })
   return { id: key, status: "cancelled" }
 }
 
+/**
+ * SYNC-CANCEL（L52——2026-09-09）：sync spawn（深度>0 或阻塞调用——阻塞路径）定向中止
+ * 核心（TUI ⏹ 直连——不经模型回合）。registry `agent._syncChildAborts`（key =
+ *  relayPrefix 去尾 `role#N`——subagent.mjs 阻塞路径注册 { ctrl, stopped:false }，
+ *  try/finally 三路径注销——R7）——与 async 的池条目 controller 存 agent 分层一致
+ * （subagent.mjs 装配注）：
+ * - 有 live ctrl（未 stopped）→ 置 stopped 旗标 + ctrl.abort()（child runAgent 的
+ *   childRunOpts.signal = ctrl.signal——N4 无轮询直连 abort——AbortError 解绕）→
+ *   { id, status:"cancelled" }——catch 三分支②折叠 stopped partial 报告（父回合继续）
+ * - 无 live ctrl（registry miss——未注册/已注销——或已 stopped——stop 在途/已完成）→
+ *   error 文案（mouse :199 同款——"finished or stop no longer applies"）
+ * 幂等边界：stopped 后再调恒 error（不重复 abort——无副作用）；重复 ⏹ 由调用方文案兜底。
+ */
+export function cancelSyncChild(agent, key) {
+  const k = String(key)
+  const entry = agent?._syncChildAborts?.get(k)
+  if (!entry || entry.stopped) {
+    return { id: k, status: "error", error: `sync child ${k} has no live stop control — it has finished or stop no longer applies` }
+  }
+  entry.stopped = true
+  entry.ctrl.abort({ abortTrigger: "cancel", abortDetail: "sync-child-cancel" })
+  return { id: k, status: "cancelled" }
+}
+
 /** subagent action:"cancel" (§19.5 D-M6): depth-0 main-session control only.
  *  §20 D-SD5/round1 #4（queued 依赖取消——无 settle 事件）：出队后**返回即**重估
  *  依赖者——依赖者留 queued 标 dependency cancelled（refreshQueuedTokens 发更新块头
@@ -202,7 +245,7 @@ export function executeCancelAction(args, ctx) {
   const key = String(id)
   const agent = ctx.agent
   const entry = agent._asyncSubagents?.get(key)
-  // §24 D-24b (②-6b): an id that names no async SUBAGENT falls through to the
+  // §11.2 (②-6b): an id that names no async SUBAGENT falls through to the
   // async ADVISOR pool (the background reviews share the cancel surface — ⏹ on
   // an advisor block / action:'cancel' with an advisor id abort that review).
   if (!entry && agent?._asyncAdvisors?.has(key)) {
@@ -280,6 +323,10 @@ export async function runChildPipeline(child, input, childOpts, childRunOpts, {
   return report
 }
 
+// ─── BATCH-3-STRUCTURE F-2：digest 注入批量预算（2026-09-09）───
+// §22 D-DG1（群 B 批 B5）：常量 / 判超 / 记账 / 落盘四处合一入 digest-budget.mjs 叶子模块
+// （四族共享单源——D2）；本文件保留 re-export（顶部）与经本入口的三族注入器接线。
+
 /**
  * Inject one settled async entry into the parent history as a user-role reminder
  * (§17 D-S3 — the auto channel, sole consumption path since §19.8: turn-end
@@ -290,8 +337,13 @@ export async function runChildPipeline(child, input, childOpts, childRunOpts, {
  */
 export async function injectAsyncResult(agent, entry) {
   const body = entry.error ?? entry.report ?? "(no report)"
-  const preview = await offloadToolResult(String(body), `async-subagent-${entry.id}`)
-  // §24 D-24b: advisor entries label themselves (role "advisor") — the digest
+  // F-2（BATCH-3-STRUCTURE）+ §22 D-DG2（群 B 批 B5）：注入前查轮累计（单源）——超限条目不
+  // inline 全文，改清单行（全文经 persistOverflowReport 落盘——path 随行）。首条豁免
+  // （used===0 不判超）：单条大报告 >64K offload 预览照旧——轮预算只约束累计。
+  const raw = String(body)
+  const over = digestBudgetOver(agent, raw.length)
+  const preview = (over && await persistOverflowReport(raw, { tag: `async-subagent-${entry.id}` })) || await offloadToolResult(raw, `async-subagent-${entry.id}`)
+  // §11.2: advisor entries label themselves (role "advisor") — the digest
   // reminder says "async advisor review #N finished" (T-24b2 shape); subagent
   // entries keep the legacy wording verbatim.
   // §25 D-R17b (R17): escalate entries (role "escalate" — async 飞刀) label
@@ -364,7 +416,7 @@ export function mergeChildMutations(parent, child) {
     if (!parent._touchedFiles.includes(abs)) parent._touchedFiles.push(abs)
     merged.push(abs)
   }
-  // §24 D-24b: merged code mutates the parent's state — log it for the stale
+  // §11.2: merged code mutates the parent's state — log it for the stale
   // scan of in-flight reviews (a review whose code changed under it is stale).
   noteMutations(parent, merged)
   if (parent._calledAdvisorThisRun) parent._calledAdvisorThisRun = false

package/src/agent-tools/subagent-panel.mjs

@@ -5,9 +5,14 @@
  * pending 单容器 _pendingAsyncResults 四族统一——escalate/consult 独立族退役））。
  * 内容：executePanelAction（D-P2——readonly 视图面 + 门控 freeze）+ panelFreezeGate
  * （D-P3 冻结门控）+ blockKeyIn（块归属判定随行）。
+ * CLI-ACTIVITY-DEBLOAT F-3（2026-09-10）：手工面板镜像退役——视图面与门控改读时现算
+ * computePanelBlocks(ctx.state)（ctx.state = agent._tuiState——TUI 装配处接线——单账本）；
+ * 未挂载（headless/VSC/子代理）→ 现算返 null → 降级/报不可用照旧
+ * （T-P5 语义零变）。门控语义零动（F-4）——仅数据源从镜像换现算。
  * subagent-actions.mjs 尾部 re-export executePanelAction 保 subagent.mjs 既有 import 面。
  */
 import { getAsyncPool } from "./async-settle.mjs"
+import { computePanelBlocks } from "../tui/subagent-freeze.mjs" // F-3：面板视图读时现算（单账本——tui→core 单向依赖，无环）
 
 /** 面板块 key（role#N）在池（Map——条目值）/pending 单容器（数组）中的归属判定。 */
 function blockKeyIn(container, key) {
@@ -22,13 +27,15 @@ function blockKeyIn(container, key) {
  * ——pending 已消费——状态滞后——补发冻结不破坏任何顺序）。
  * - pending 仍有对应（报告未达模型）→ 拒绝（提前回收破坏消化顺序——T-P3）
  * - 不存在的 key / 仍 running / done 的块 → 拒绝（T-P4——running 块 settle 时自冻）
- * - 无镜像 → 拒绝（headless/VS Code——freeze 不可用——T-P5）
+ * - 无面板（现算返 null）→ 拒绝（headless/VS Code——freeze 不可用——T-P5）
  * 错误信息明确（模型可解释 + 自助修正）。返回 { ok:true } 或 { err }。
  */
-function panelFreezeGate(agent, key) {
-  const snap = agent._panelSnapshot
+function panelFreezeGate(ctx, key) {
+  // F-3（2026-09-10）：镜像退役——经 ctx.state 读时现算（CLI-ACTIVITY-DEBLOAT）。
+  // 门控语义零动（F-4）：awaitingDigest 限定/池归属查/pending 查逐字保留——仅数据源换现算。
+  const snap = computePanelBlocks(ctx.state)
   if (!Array.isArray(snap)) {
-    return { err: "panel unavailable — no CLI TUI panel mirror in this session (headless / VS Code / subagent contexts — freeze unavailable; panel is CLI-TUI-only, AC-P4)" }
+    return { err: "panel unavailable — no CLI TUI panel in this session (headless / VS Code / subagent contexts — freeze unavailable; panel is CLI-TUI-only, AC-P4)" }
   }
   const block = snap.find((b) => b.key === key)
   if (!block) {
@@ -44,12 +51,12 @@ function panelFreezeGate(agent, key) {
     }
     return { err: `block ${key} is in state ${block.status} — freeze only reclaims awaitingDigest blocks whose report is already digested` }
   }
-  if (blockKeyIn(getAsyncPool(agent, "subagent"), key) || blockKeyIn(getAsyncPool(agent, "advisor"), key)) {
+  if (blockKeyIn(getAsyncPool(ctx.agent, "subagent"), key) || blockKeyIn(getAsyncPool(ctx.agent, "advisor"), key)) {
     return { err: `block ${key} still has a live pool entry — it is NOT a digested-stuck block (freeze refused; status action shows the pool)` }
   }
   // ASYNC-RESULT-CONTAINER.md D2：pending 单容器（四族统一——原 escalate/consult
   // 独立族退役）。
-  if (blockKeyIn(agent._pendingAsyncResults, key)) {
+  if (blockKeyIn(ctx.agent._pendingAsyncResults, key)) {
     return { err: `block ${key} is still genuinely awaiting digestion — its report is still pending and has NOT reached the model yet; freezing now would break the digestion order (wait for the digest run, which reclaims it automatically — §17.5.5)` }
   }
   return { ok: true }
@@ -58,15 +65,15 @@ function panelFreezeGate(agent, key) {
 /**
  * §19.6 subagent action:"panel"（D-P2——readonly 视图面 + 门控干预面——单动作双参，
  * freeze 优先）：
- * - view（缺省——返回镜像区块列表）：agent._panelSnapshot = TUI 面板镜像（块级
- *   状态变更点由 subagent-blocks syncPanelSnapshot 同步刷新——与用户所见一致——
- *   index.mjs 装配 state._agent）。awaitingDigest 条目**读时交叉**
+ * - view（缺省——返回面板块列表）：ctx.state（= agent._tuiState——CLI TUI 装配）经
+ *   computePanelBlocks **读时现算**（F-3 单账本——与用户所见一致）。awaitingDigest 条目
+ *   **读时交叉**
  *   _pendingAsyncResults/池 标注 digested（round1 #3——digested:true
  *   = 报告已消化但块仍驻留——异常块——freeze 候选；模型可定位解释 UI 怪相）。
  * - freeze:key（D-P3 门控通过 → 发 key + "/" + ⟦ev⟧done 哨兵字面 token——
  *   onToken——TUI routeSubToken 冻结回收——落位复用 sub._freezeAt settle 锚点
  *   splice，无锚点尾推兜底——§17.5.5 同口径——round1 #2）。
- * 无镜像（headless/VS Code——D-P2 round1 #1：webview 无 state.subTasks 对应物——
+ * 无 TUI state（headless/VS Code——D-P2 round1 #1：webview 无 state.subTasks 对应物——
  * 7.2.3.2 #8 先例）→ view 恒降级池视图（双池经 getAsyncPool + pending 单容器
  * 合成）+ no panel 注；freeze 报不可用。CLI-only 完整能力（AC-P4）。
  */
@@ -80,10 +87,10 @@ export function executePanelAction(args, ctx) {
     if ((ctx.depth ?? 0) > 0) {
       return JSON.stringify({ status: "error", error: "panel freeze is only available at depth 0 — a child agent has no panel of its own (AGENT-LOOP.md §19.6 D-P2)" })
     }
-    const gate = panelFreezeGate(agent, freezeKey)
+    const gate = panelFreezeGate(ctx, freezeKey)
     if (gate.err) return JSON.stringify({ status: "error", error: gate.err })
     if (!ctx.callbacks?.onToken) {
-      return JSON.stringify({ status: "error", error: `panel mirror present but no token relay in this context — the freeze of ${freezeKey} cannot reach the TUI` })
+      return JSON.stringify({ status: "error", error: `panel present but no token relay in this context — the freeze of ${freezeKey} cannot reach the TUI` })
     }
     // 门控通过 → 发 done 冻结事件（settle 同机制字面格式——TUI routeSubToken done
     // 分支冻结回收——落位 _freezeAt settle 锚点 splice；无锚点（旧会话残留）时
@@ -100,9 +107,9 @@ export function executePanelAction(args, ctx) {
   if (args?.view === false) {
     return JSON.stringify({ status: "error", error: "panel has nothing to do — view:false with no freeze key; pass freeze:'role#N' to reclaim a digested-stuck block, or omit view (defaults to true)" })
   }
-  const snap = agent._panelSnapshot
+  const snap = computePanelBlocks(ctx.state)
   if (!Array.isArray(snap)) {
-    // F-P3 降级：无镜像（headless/VS Code/子代理上下文——CLI TUI-only 完整能力）→
+    // F-P3 降级：无 TUI state（headless/VS Code/子代理上下文——CLI TUI-only 完整能力）→
     // 池视图（双池经 getAsyncPool——运行/排队条目 + pending 单容器待消化条目）
     const blocks = []
     const queue = agent._asyncQueue ?? []
@@ -132,7 +139,7 @@ export function executePanelAction(args, ctx) {
     }
     return JSON.stringify({
       degraded: true,
-      note: "no panel — this session has no CLI TUI panel mirror (headless / VS Code / subagent context — panel view is CLI-TUI-only, AC-P4); pool-derived view below; action:'status' shows the full pool",
+      note: "no panel — this session has no CLI TUI panel (headless / VS Code / subagent context — panel view is CLI-TUI-only, AC-P4); pool-derived view below; action:'status' shows the full pool",
       panel: blocks,
     })
   }

package/src/agent-tools/subagent-run.mjs

@@ -8,6 +8,7 @@
 import { ASYNC_POOL_LIMITS, poolDomainOf, poolLimitsFor, runningPoolCount } from "./subagent-async.mjs"
 import { runChildPipeline } from "./subagent-async.mjs"
 import { logEvent } from "../log.mjs"
+import { deathLine } from "../abort-provenance.mjs"
 import { pushReal } from "../context.mjs"
 import {
   describeBlockers, refreshQueuedTokens,
@@ -36,7 +37,7 @@ export function drainInjectedQueue(entry, agent) {
  * turn-cap / permission / MIN_REPORT_CHARS / mergeChildMutations all unchanged),
  * but the parent does not await it: the promise is parked in _asyncSubagents and
  * consumed by the auto channel (§19.8 — turn-end collection / suspension digest;
- * the check action is gone). Slot queue (§24 D-24a/R14 — 分域): the entry carries a
+ * the check action is gone). Slot queue (§11.1 D-24a/R14 — 分域): the entry carries a
  * pool domain (_pool = poolDomainOf(role)); running count < limit[its domain]
  * (agent.poolLimits — default engCoder 4 / other 4) → start now; ≥ → enqueue
  * (status "queued", position = queue index) — never rejected, never requiring the
@@ -52,7 +53,7 @@ export function executeAsyncSpawn(parent, ctx, role, args, child, input, childOp
   const id = parent._subAgentCounter
   const entry = {
     id, role, relayPrefix,
-    // §24 D-24a/R14：池域字段（域判定单一事实源——poolDomainOf——role 枚举见
+    // §11.1 D-24a/R14：池域字段（域判定单一事实源——poolDomainOf——role 枚举见
     // subagent.mjs ROLES；未知角色归 other）——running 计数/补位按域过滤。
     _pool: poolDomainOf(role),
     status: "queued", // 下面按等待态/槽位重定（避免两处判断漂移）
@@ -80,7 +81,7 @@ export function executeAsyncSpawn(parent, ctx, role, args, child, input, childOp
     _injected: [],
   }
   // §20 D-SD3 准入落点：等待态（依赖未满足/域冲突/depc）→ queued（waiting-deps——
-  // 不占槽不启动——即使槽空）；纯槽满（kind slot）→ 按域计数判定（§24 D-24a：
+  // 不占槽不启动——即使槽空）；纯槽满（kind slot）→ 按域计数判定（§11.1 D-24a：
   // runningIn(domain) < limit(domain)——跨域互不阻塞——每次入池判定时读配置）。
   const blockers = describeBlockers(parent, entry)
   if (blockers.kind === "slot") {
@@ -99,8 +100,9 @@ export function executeAsyncSpawn(parent, ctx, role, args, child, input, childOp
   entry.controller = ctrl
   const baseSignal = buildChildSignal(parent, ctx)
   if (baseSignal) {
-    if (baseSignal.aborted) ctrl.abort()
-    else baseSignal.addEventListener("abort", () => ctrl.abort(), { once: true })
+    // §20.3 站点 #10（第 24 批）：hop 逐跳保 reason
+    if (baseSignal.aborted) ctrl.abort(baseSignal.reason)
+    else baseSignal.addEventListener("abort", () => ctrl.abort(baseSignal.reason), { once: true })
   }
   // §19.5 D-M5：turn 镜像拦截层（callbacks 包装层——选改动最小方案：在既有
   // wrapChildCallbacks 之外再包一层，只解析 ⟦ev⟧turn 更新条目，其余原样转发）。
@@ -156,7 +158,8 @@ export function executeAsyncSpawn(parent, ctx, role, args, child, input, childOp
       askContinue: () => Promise.resolve(Boolean(parent.config?.agent?.engineering && parent.autoApprove)),
     })
       .then((report) => { entry.report = report })
-      .catch((err) => { entry.error = err?.message ?? String(err) })
+      // §20.3 第 3 条合成器（第 24 批）：原 message 前缀逐字保留 + 来源后缀
+      .catch((err) => { entry.error = deathLine(err, entry.controller?.signal) })
       .finally(() => {
         // SUBAGENT-OBSERVE-SEND D3（send→settle 竞态）：settle 收尾时 _injected 仍残留
         // = 消息入队后子代理在下一回合边界前 settle——未投递——附 settle 报告/错误提示

package/src/agent-tools/subagent-scheduler.mjs

@@ -2,7 +2,8 @@
  * subagent-scheduler.mjs — §20 子 agent 任务调度器 + 文件域组（2026-09-05 自
  * subagent-async.mjs 拆分——Module Split Policy §20.9——纯迁移零行为变化——
  * AGENT-LOOP.md §20 D-SD1..SD5 + §21.1 D-SL1 环形死锁修正）。
- * 内容：normalizeFileList / filesOverlap / depInfo / describeBlockers / detectStall（§21.1
+ * 内容：normalizeFileList / filesOverlap / effectiveFiles（SCHEDULER-DYNAMIC-DOMAIN
+ * 动态域——声明 ∪ running touched）/ depInfo / describeBlockers / detectStall（§21.1
  * P-SL2 停滞机械检测）/ queueRunnable / assertNoDepCycle / dependentLabels /
  * refreshQueuedTokens / maybeRefillAsync。
  * ASYNC_POOL_LIMITS/poolLimitsFor/runningPoolCount 回引自 subagent-async.mjs（主体保有——
@@ -40,7 +41,7 @@ export function normalizeFileList(files, cwd) {
   const violations = [] // §28 R26 F-R26b：父侧维护文件命中（保留声明原样——提示可读）
   for (const f of Array.isArray(files) ? files : []) {
     if (typeof f !== "string" || !f.trim()) continue
-    if (f.endsWith("/") || f.endsWith("\\")) {
+    if (f.trimEnd().endsWith("/") || f.trimEnd().endsWith("\\")) { // 2.7 批：尾随空格目录声明（"test/ "）同拒
       throw new Error(`files must be file-level paths — directory declarations are not supported: ${f}`)
     }
     const abs = resolve(cwd ?? process.cwd(), f)
@@ -80,6 +81,23 @@ function showFile(parent, key) {
   return rel && !rel.startsWith("..") && !isAbsolute(rel) ? rel : key
 }
 
+/** 有效文件域（SCHEDULER-DYNAMIC-DOMAIN 2026-09-09——动态域 = 声明 ∪ 运行中实际写入）：
+ *  running 且已绑 childAgent → 声明域 ∪ childAgent._touchedFiles（写工具批提交实时记录
+ *  ——绝对路径与 normalizeFileList 同源——fileKey/filesOverlap 键空间零改动）；去重按
+ *  fileKey。queued 无 childAgent（start 才绑——VSC 首 onAgentTurn 才绑）——天然只声明域
+ *  （`?.` null 安全——既有无 childAgent 用例零行为变化）。 */
+export function effectiveFiles(e) {
+  const declared = e._files ?? []
+  if (e.status !== "running" || !e.childAgent) return declared
+  const out = [...declared]
+  const seen = new Set(declared.map(fileKey))
+  for (const f of e.childAgent._touchedFiles ?? []) {
+    const k = fileKey(f)
+    if (!seen.has(k)) { seen.add(k); out.push(f) }
+  }
+  return out
+}
+
 /**
  * §20 依赖终态查询（单点事实——池条目 / pending（挂起期 settle 移交——注入前）/
  * 终态墓碑（自动通道注入消费——consumed；取消/失败——D-SD5 分支））：
@@ -127,13 +145,17 @@ export function describeBlockers(parent, entry) {
     for (const e of parent._asyncSubagents?.values() ?? []) {
       if (e === entry) continue
       if (e.status !== "running" && e.status !== "queued") continue
-      const hit = filesOverlap(myFiles, e._files ?? [])
+      // SCHEDULER-DYNAMIC-DOMAIN（2026-09-09）：他条目域 = effectiveFiles(e)（声明 ∪
+      // running 实际 touched）；命中仅来自 touched（∉ 声明域）→ 加注"运行中实际写入"
+      // ——纯声明命中文案不回归（评审 #7 重叠优先级：声明∩touched 同文件不加注）。
+      const hitDeclared = filesOverlap(myFiles, e._files ?? [])
+      const hit = hitDeclared ?? filesOverlap(myFiles, effectiveFiles(e))
       if (!hit) continue
       // §21.1 D-SL1.2（环形死锁修正——与 queueRunnable 同界——展示一致）：后入
       // 者（spawn 序晚于我——数字 id 比较）不列——只列"会真正阻断我的"（running
       // 任意序 + 先入 queued）；列后入者 = 误导"等一个其实等不到的人"。
       if (e.status === "queued" && Number(e.id) > Number(entry.id)) continue
-      wait.push(`${e.role}#${e.id}（域冲突 ${showFile(parent, hit)}）`)
+      wait.push(`${e.role}#${e.id}（域冲突 ${showFile(parent, hit)}${hitDeclared ? "" : "（运行中实际写入）"}）`)
     }
   }
   // 长列表裁剪（块头宽度预算——细节 status 可查全量）
@@ -192,7 +214,7 @@ export function detectStall(parent) {
       for (const e of all) {
         if (e === q) continue
         if (e.status !== "running" && e.status !== "queued") continue
-        const hit = filesOverlap(myFiles, e._files ?? [])
+        const hit = filesOverlap(myFiles, effectiveFiles(e)) // 动态域（running 锚点守卫下零增量——读法同界防御一致）
         if (!hit) continue
         if (e.status === "queued" && Number(e.id) > Number(q.id)) continue // 后入不阻断
         list.push({ to: e, reason: `files ${showFile(parent, hit)}——先入者` })
@@ -250,7 +272,7 @@ export function queueRunnable(parent, entry) {
     for (const e of parent._asyncSubagents?.values() ?? []) {
       if (e === entry) continue
       if (e.status !== "running" && e.status !== "queued") continue
-      if (!filesOverlap(myFiles, e._files ?? [])) continue
+      if (!filesOverlap(myFiles, effectiveFiles(e))) continue // 动态域：声明 ∪ running touched
       // §21.1 D-SL1.1 序判定：queued 仅"先入者"（spawn 序早于我——数字 id 比较）阻断；
       // 后入者不阻断——先入者先启动——两个 queued 同文件不再互等（环形死锁修正）。
       // 防御（评审 #3——id 形态）：池条目 id 为数字递增（_subAgentCounter——已核实）；
@@ -316,12 +338,12 @@ export function refreshQueuedTokens(parent, onToken) {
 }
 
 /**
- * Slot-queue refill (AGENT-LOOP.md §15 D-A1/D-A6 + §20 D-SD4 + §24 D-24a/R14 分域):
+ * Slot-queue refill (AGENT-LOOP.md §15 D-A1/D-A6 + §20 D-SD4 + §11.1 D-24a/R14 分域):
  * start queue heads while a running slot is free — called from every settle
  * (completion frees a slot) and from the turn-end collection's refill loop. §20：
  * 队列现可混合 waiting-deps 与 slot-queued——扫描选"依赖全满足 + 域无冲突"的最早
  * 条目启动（waiting 越行不阻塞槽位；多任务同时解除按 queued 序逐个启动）。
- * §24 D-24a（R14）：槽位判定按域——条目 _pool 域内 running 数 < 该域上限才启动
+ * §11.1 D-24a（R14）：槽位判定按域——条目 _pool 域内 running 数 < 该域上限才启动
  * （同域仍 4——纯单域队列行为与旧 shift 完全一致；跨域总量 8——各域独立腾槽，
  * 互不阻塞）。配置每次补位时读（poolLimitsFor——变更即生效下个补位）。
  */
@@ -340,4 +362,31 @@ export function maybeRefillAsync(parent) {
     if (pick < 0) return
     queue.splice(pick, 1)[0].start()
   }
+}
+
+/**
+ * 分配下一子代理 id——池活续号兜底（SUBAGENT-ID-COUNTER-AGENT，2026-09-09——双端同构
+ * 机制：VSC 端载体自 history expando 移本体并接本函数；CLI 端计数器一直挂 agent 本体
+ * （`_subAgentCounter`——per-run reset 清单不含——跨 run/跨压缩存活），本函数补齐
+ * poolMax 兜底：计数器丢失面（AUTO 撞上限续跑/挂起驱动的重建形态）不再复用仍在
+ * 跑/排队的条目 id——map.set 覆盖旧条目 = 静默丢报告 + status/cancel 错址）。优先级
+ * next = max(counter ?? 0, poolMax) + 1——取号后 counter 同步（首取号初始化）。id 作用
+ * 域 = 进程内（不做槽持久化——reload 后池清块消失，新进程从 1 无冲突——设计范围边界）。
+ * spawn（subagent-spawn.mjs async 分支）、escalate（escalate-async.mjs）、async-advisor
+ * 池（advisor-async.mjs——§11.2 跨池共号）共用；executeAsyncSpawn 直读 counter（分配与
+ * 消费同步——无 await 间隙）。CLI 两池键均为字符串（set(String(id))——解析分支防御保留）。
+ * @returns {number} 全池唯一的下一 id（单调——进程内）
+ */
+export function nextSubagentId(parent) {
+  let poolMax = 0
+  for (const pool of [parent?._asyncSubagents, parent?._asyncAdvisors]) {
+    if (!pool || pool.size === 0) continue
+    for (const k of pool.keys()) {
+      const n = typeof k === "number" ? k : Number.parseInt(k, 10)
+      if (Number.isFinite(n) && n > poolMax) poolMax = n
+    }
+  }
+  const next = Math.max(parent?._subAgentCounter ?? 0, poolMax) + 1
+  parent._subAgentCounter = next
+  return next
 }

package/src/agent-tools/subagent-spawn.mjs

@@ -8,15 +8,17 @@
  * slot 族同域——ENGINEERING-MODE.md §2.6 F1——removeDesignTokenSlot 自 token-ttl.mjs）。
  */
 
+import { resolve } from "node:path"
+import { existsSync, statSync } from "node:fs"
 import {
   createAgent,
   readonlyToolNames, escapeXml,
-  EXPLORE_OVERLAY, CODER_OVERLAY, PLAN_OVERLAY, ENG_CODER_OVERLAY,
 } from "../agent.mjs"
-import { makeRelay, wrapChildCallbacks } from "../agent/spawn-child.mjs"
+import { makeRelay, wrapChildCallbacks, relayPrefixOf } from "../agent/spawn-child.mjs"
 import { validateDesignToken } from "./advisor.mjs"
 import { tokenExpired, removeDesignTokenSlot, reconcileEngTokensFromSlot, persistEngTokens } from "../token-ttl.mjs"
-import { resolveChildProvider, buildChildRunOpts } from "./subagent-async.mjs"
+import { resolveChildProvider, buildChildRunOpts, enqueueAsk } from "./subagent-async.mjs"
+import { nextSubagentId } from "./subagent-scheduler.mjs"
 import {
   normalizeFileList, describeBlockers, assertNoDepCycle, depInfo,
 } from "./subagent-scheduler.mjs"
@@ -238,6 +240,27 @@ export function buildSpawnChild(parent, ctx, args, role, wantAsync, files, depen
   // Provider/model override: tool `model` arg > subagentModels[role] > subagentModel > parent provider
   const childProvider = resolveChildProvider(parent, effectiveSubagentModel(parent, role, args.model))
 
+  // ── batchDoc gate（ENGINEERING-MODE.md §2.12 + §2.15 D1——FR20 #9 机械面）────────
+  // 工程模式下 spawn 工程角色（**eng-coder / eng-designer**——第 2 批扩为角色集合）必传
+  // 批次档路径（需求 §1.11 铁律 #5 随件传递的机械面）。落点 = 本装配点（token 门之前）：
+  // sync 与 async 两条 spawn 路径都经过 buildSpawnChild——一处校验双路生效，错误出口与
+  // token 门一致（§2.13.1 选型 A）。
+  // 判据只到"参数在 + 路径可读"——**不校验内容/措辞**（不做"已收口"正则、不匹配模板、
+  // 不生成；内容够不够由执行者拒收兜底——需求 §1.14 #9 行为面）。路径语义照
+  // `files` 先例：cwd 相对或绝对均可，`\` 归一为 `/`。错误文案带**实际角色名**（§2.15
+  // 越界文案参数化——designer 撞门时不误导）。
+  let batchDocAbs = null
+  if (role === "eng-coder" || role === "eng-designer") {
+    const given = typeof args.batchDoc === "string" ? args.batchDoc.trim() : ""
+    const refusal = (suffix = "") => new Error(
+      `batchDoc is required for role='${role}' — pass the batch record path (docs/batches/<batch>-<topic>.md); spawn refused without it.` + suffix)
+    if (!given) throw refusal()
+    batchDocAbs = resolve(parent.cwd ?? process.cwd(), given.replace(/\\/g, "/"))
+    let readable = false
+    try { readable = existsSync(batchDocAbs) && statSync(batchDocAbs).isFile() } catch { readable = false }
+    if (!readable) throw refusal(" (given path is not a readable file)")
+  }
+
   // eng-coder token gate: the design review must have passed and the caller must
   // present the exact token advisor issued — otherwise the child is not authorized to code.
   // 2026-09-01: multi-design slots — the token is located by designId (exact slot,
@@ -267,12 +290,10 @@ export function buildSpawnChild(parent, ctx, args, role, wantAsync, files, depen
     tools = parent.tools
   }
 
-  // Select prompt overlay by role
-  let overlay = ""
-  if (role === "explore") overlay = EXPLORE_OVERLAY
-  else if (role === "coder") overlay = CODER_OVERLAY
-  else if (role === "plan") overlay = PLAN_OVERLAY
-  else if (role === "eng-coder") overlay = ENG_CODER_OVERLAY
+  // PROMPT-SYSTEM 施工② G3（2026-09-10）：overlay（人格）装载随装配改造退役——人格槽
+  // 由 assemblePrompt 的 D1 场景表按 role 承载（persona-{role}，explore/coder/plan =
+  // PERSONA_NORMAL 同源）；child.overlay 恒空（setup 不再前缀叠加）。
+  const overlay = ""
 
   // explore/plan: force read-only permission; coder/default: AUTO passes through directly,
   // manual mode queues permission requests for the parent agent's approval UI (human in the loop, child agent is no longer silently rejected)
@@ -284,15 +305,27 @@ export function buildSpawnChild(parent, ctx, args, role, wantAsync, files, depen
   } else {
     childPermission = async (name, toolArgs) => {
       if (!ctx.onPermissionRequest) return false
-      const ask = () => ctx.onPermissionRequest(`${role ?? "sub"}/${name}`, toolArgs)
+      // SYNC-CANCEL v2（用户裁——2026-09-09）：工具权限 ask 加 owner key 标识——
+      // name `${key}/${tool}`（原 `${role}/${tool}` 无 key——模态 deny 归属判定 +
+      // 显示可辨 child）；relayPrefix 在 buildSpawnChild 尾部定值——闭包运行于 child
+      // 实际 runAgent（buildSpawnChild 返回后）——无 TDZ 风险
+      const ownerKey = relayPrefix.slice(0, -1)
+      const ask = () => {
+        // ⏹ 后（entry.stopped）不再弹模态——直接拒绝（_permQueue 排队 ask 到达时查
+        // stopped 旗标——子代理随即在 abort 检出点解绕——v2 模态 deny）
+        if (parent._syncChildAborts?.get(ownerKey)?.stopped) return Promise.resolve(false)
+        return ctx.onPermissionRequest(`${ownerKey}/${name}`, toolArgs)
+      }
       // Queue parallel child agent permission requests to avoid two popups simultaneously overwriting each other (lesson from question tool)
-      parent._permQueue = (parent._permQueue ?? Promise.resolve()).then(ask, ask)
-      return parent._permQueue
+      return enqueueAsk(parent, "_permQueue", ask)
     }
   }
 
-  // eng-coder: force engineering=true on child config so setup.mjs applies engineering prompt
-  const childConfig = role === "eng-coder"
+  // G6（施工②）+ §2.15 B4（第 2 批）：工程角色场景即工程纪律——engineering=true 使 setup
+  // 场景映射落到 assemblePrompt("eng-coder"/"eng-designer")（persona-{role} + common +
+  // discipline-engineering）；designer 也必须 engineering=true 才能装配工程纪律槽。
+  const engineeringRole = role === "eng-coder" || role === "eng-designer"
+  const childConfig = engineeringRole
     ? { ...parent.config, agent: { ...parent.config.agent, engineering: true } }
     : parent.config
 
@@ -306,6 +339,11 @@ export function buildSpawnChild(parent, ctx, args, role, wantAsync, files, depen
     role,
   })
 
+  // §2.20.2 批次档段写入通道绑定（第 4 批）：工程角色（eng-coder/eng-designer）把批次档
+  // 绝对路径记在 child 上——setup 挂载 batch_segment 时读它。无路径参数的工具靠这条
+  // 绑定决定目标档（spawn 门已保证「参数在 + 路径可读」）。
+  if (engineeringRole) child._batchDoc = batchDocAbs
+
   // Token-verified design review → child is authorized to modify files without re-reviewing
   if (role === "eng-coder") child._engDesignReviewed = true
   // §18 D-E3 task-domain authorization: approved design + spawn task = authorization.
@@ -330,6 +368,12 @@ export function buildSpawnChild(parent, ctx, args, role, wantAsync, files, depen
   // git 只读变体亦随裁定废弃——D-AG5）。顶层主 agent 注入保留（§3 prepareRun——
   // setup.mjs depth===0——D-AG7 范围边界）。
   let input = args.context ? `Context:\n${args.context}\n\nTask:\n${args.task}` : args.task
+  // §2.11 第 1 点（FR16 载体 + FR17 铁律 #5 的机械面）：批次档**绝对路径**随任务输入
+  // 下发给工程角色（eng-coder 实现 / eng-designer 写稿）——追加一行，任务文本本身不动
+  // （批次档 §2 才是任务书本体；本行让子代理"拿到本档路径"）。行文不含
+  // summarizeEngTaskBook 的三组段 marker（Docs involved / Files list / Acceptance
+  // criteria）——段匹配不受影响。仅工程角色注入。
+  if (engineeringRole) input += `\n\nBatch record (batchDoc): ${batchDocAbs}`
   // §18 D-E2 ③ (round4 #4, T-E13/T-E15): an eng-coder audit spawn's task book is
   // the eng-coder's OWN spawn task — mechanically kept as _engTaskInput by the
   // parent spawn and injected as the D-TS5 A2 mechanical summary (design docs /
@@ -389,8 +433,11 @@ export function buildSpawnChild(parent, ctx, args, role, wantAsync, files, depen
   // children don't paint an empty panel block ("queued 态不显示").
   let relayPrefix
   if (wantAsync) {
-    parent._subAgentCounter = (parent._subAgentCounter ?? 0) + 1
-    relayPrefix = `${role}#${parent._subAgentCounter}/`
+    // SUBAGENT-ID-COUNTER-AGENT（2026-09-09）：async id 取号统一走 nextSubagentId
+    // （池活续号兜底——counter 载体= agent 本体 _subAgentCounter——跨 run/跨压缩
+    // 存活——per-run reset 清单不含它）。sync 分支 makeRelay 不进池——照旧。
+    const id = nextSubagentId(parent)
+    relayPrefix = relayPrefixOf(role, id)
   } else {
     relayPrefix = makeRelay(parent, role ?? "sub", ctx.callbacks?.onToken, childProvider.model ?? "")
   }