@thincoder/core 0.10.3 → 0.10.5

package/agent/digest-account.mjs

@@ -0,0 +1,189 @@
+/**
+ * agent/digest-account.mjs — 消化账务单件（AGENT-LOOP-ASYNC-POOL.md §6.31 · 批 digest-accounting ·
+ * 台账 #930）：投递 ≠ 销账——报告不许无声消失。
+ *
+ * 三角色（§6.31.2）：**投递**（注入但留容器）∥ **见账**（消化轮收尾逐条机检账目覆盖）∥
+ * **销账**（覆盖才离容器 + 释放 report）。本档承载：常量（`DA_RETRY_LIMIT`）/ 回合分类
+ * （`isDigestRound`）/ 投递门控（`shouldDeliverEntry`）/ 账目合同（`coversDigestId` 解析 ∥
+ * `digestAccountRequirement` 要求行）/ 见账 pass（`accountDigestRound`——销账 ∥ 重投标记 ∥
+ * 升级）/ 读面（`unsettledRows` · `unsettledRow` · `unsettledCount`）/ 落痕清位 ∕ 取件助手
+ * （`armAccountRound` · `harvestAccountOutput`）。
+ *
+ * 载体（§6.31.2）：`_daSession`（会话标记——挂起会话置 / 复位，`agent/suspension.mjs`）与
+ * `_unsettledDigests`（升级账本——经 `async-settle.mjs` 写助手）；账目态挂条目字段
+ * （`_daDelivered` / `_daRetry` / `_daFailures`）。**fallback 面**（无 `_daSession`——headless /
+ * 直连 `runAgent`）零账目动作（不销账 / 不重投 / 不升级）：缺省条逐字沿用取尽语义（先离容后注入）；
+ * 已投递未销账条同判据跳过且留容器（§6.31 出口缝② · 父侧裁定 2026-10-05）。
+ *
+ * 边界（§6.31.12）：不做处理质量机检（只保「不许无声」）；升级账本无 TTL（会话期面——
+ * 中止清、idle 存续）。
+ */
+import { logEvent } from "../log.mjs"
+import { pushReal } from "../context.mjs"
+import { carrierField, releaseSettledEntry, appendUnsettledDigest } from "../agent-tools/async-settle.mjs"
+import { DIGEST_ACCOUNT_DOMAIN } from "./helpers.mjs"
+
+/** 同条重投上限（§6.31.5 KD-DA4）：重投 ≤ DA_RETRY_LIMIT ⇒ 总投递 ≤ 3 次；超限 ⇒ 升级。 */
+export const DA_RETRY_LIMIT = 2
+
+/**
+ * 回合分类单点（§6.31.2）：账目只属**消化轮**（autoTurn ∧ 非上行唤醒轮 ∧ 非 timer 轮）——
+ * timer / 上行轮投递不销账、不重投（其账目在后续消化轮）。
+ */
+export function isDigestRound(opts) {
+  return opts?.autoTurn === true && opts?.upstreamTurn !== true && opts?.timerTurn !== true
+}
+
+/**
+ * 投递门控（§6.31.4 单点谓词；批 async-delivery-formalize 2026-10-12 · §6.34 收窄）：
+ * - `!_daDelivered` ∧ 本回合 = 系统轮（`autoTurn`）⇒ 投（首次投递——**用户回合零投递**）；
+ * - `_daRetry` ∧ 本回合 = 消化轮 ⇒ 投（重投经消化轮回路）；
+ * - 其余 ⇒ 跳过（防重复注入）。
+ * 注：`autoTurn` 判据由调用方（`run-start.mjs` 会话态支）传入；回退面（非会话态支）不经本谓词。
+ */
+export function shouldDeliverEntry(entry, digestRound, autoTurn) {
+  if (entry?._daDelivered !== true) return autoTurn === true
+  return entry._daRetry === true && digestRound === true
+}
+
+/** 账目要求行（§6.31.3）：核常量（helpers.mjs）+ 未销账 id 清单动态拼（`<ids>` 占位替换）。 */
+export function digestAccountRequirement(ids) {
+  return DIGEST_ACCOUNT_DOMAIN.replace("<ids>", ids.map((id) => `#${id}`).join(", "))
+}
+
+/**
+ * 账目覆盖机检（§6.31.3）：输出文本内**存在一行**同时含标记 `[digest-ack` 与 `#<id>`
+ * （id 词界 = 后随非数字）⇒ 该条覆盖；disposition / 要点 / 原因**不参与机检**。
+ * 无标记 / 无 id / 部分覆盖各按本条判（零工具轮可满足——纯文本判据）。
+ * 注：行内扫**全部**出现位（长 id 首现不吻合不弃行——如 id=1 行内先见 `#12` 后见 `#1`）。
+ */
+export function coversDigestId(output, id) {
+  const key = `#${id}`
+  for (const line of String(output ?? "").split(/\r?\n/)) {
+    const marker = line.indexOf("[digest-ack")
+    if (marker < 0) continue
+    for (let from = marker; ;) {
+      const at = line.indexOf(key, from)
+      if (at < 0) break
+      const after = line[at + key.length]
+      if (after === undefined || !/[0-9]/.test(after)) return true
+      from = at + 1 // 词界不吻合 ⇒ 续扫下一出现位（同长 id 前缀不吞后随正例）
+    }
+  }
+  return false
+}
+
+/**
+ * 见账 pass（§6.31.5——消化轮收尾 `finalizeAgentTurn` 单点调用；调用方已判 `isDigestRound ∧
+ * `_daSession` ∧ 非会话停止径）：
+ * - 投递账 = pending ∩ `_daDelivered`；覆盖 ⇒ 离容器（splice）+ `releaseSettledEntry`（含 report 释放）；
+ * - 未覆盖 ⇒ `_daFailures += 1`；≤ `DA_RETRY_LIMIT` ⇒ `_daRetry = true`（下轮重投）；超限 ⇒ **升级**
+ *   （离容器 + 入 `_unsettledDigests` + 恰一条提醒（pushReal）+ 恰一条 `ev:unsettled`）。
+ * 缺痕（output == null——抛错 / 撞帽 / 未收口）⇒ 全条未覆盖（安全方向——假阴可重投；假阳是事故本相）。
+ */
+export function accountDigestRound(carrier) {
+  const pending = carrierField(carrier, "_pendingAsyncResults")
+  if (!Array.isArray(pending)) return { covered: 0, retried: 0, unsettled: 0 }
+  const output = harvestAccountOutput(carrier)
+  const covered = []
+  const retried = []
+  const upgraded = []
+  for (const entry of [...pending]) {
+    if (entry?._daDelivered !== true) continue
+    if (output != null && coversDigestId(output, entry.id)) { covered.push(entry); continue }
+    entry._daFailures = (entry._daFailures ?? 0) + 1
+    if (entry._daFailures <= DA_RETRY_LIMIT) { entry._daRetry = true; retried.push(entry) }
+    else upgraded.push(entry)
+  }
+  for (const entry of covered) {
+    const i = pending.indexOf(entry)
+    if (i >= 0) pending.splice(i, 1)
+    releaseSettledEntry(entry)
+  }
+  for (const entry of upgraded) {
+    const i = pending.indexOf(entry)
+    if (i >= 0) pending.splice(i, 1)
+    appendUnsettledDigest(carrier, {
+      id: String(entry.id),
+      role: entry.role ?? "subagent",
+      failures: entry._daFailures,
+      report: entry.report ?? null,
+      at: Date.now(),
+    })
+  }
+  // 升级：恰一条提醒（机器线 + 人读线——`pushReal`）+ 恰一条留痕（同点；字段单源 = LOGGING.md §6.2）。
+  // 注：`ids` 以 join 串落盘——`logEvent` 只收标量（数组字段会被静默丢弃——先例 `ev:discarded`）。
+  if (upgraded.length > 0) {
+    const ids = upgraded.map((entry) => String(entry.id))
+    pushReal(carrier, { role: "user", content: unsettledReminder(upgraded.length, ids) })
+    logEvent("ev:unsettled", { n: upgraded.length, ids: ids.join(", ") })
+  }
+  return { covered: covered.length, retried: retried.length, unsettled: upgraded.length }
+}
+
+/** 升级提醒行（§6.31.5——逐字 = 父侧定稿：含 n / 轮数（= 重投上限 + 1）/ id 清单与接手指引）。 */
+export function unsettledReminder(n, ids) {
+  return `[System reminder: ${n} background report(s) were delivered but never accounted after ${DA_RETRY_LIMIT + 1} digest rounds — automatic re-delivery has stopped and they are marked UNSETTLED: ${ids.map((id) => `#${id}`).join(", ")}. Their content was delivered in this conversation; process them there or re-spawn the work. Readable via subagent action:'status'.]`
+}
+
+/**
+ * 读面（§6.31.6——status 段 ∥ 端面残余行共用单点）：行 = `{ id, role, state, attempts }`；
+ * state ∈ `awaiting-digest`（在途未投递 ∥ 已投递未判）/ `retrying`（判过未覆盖）/
+ * `unsettled`（已升级——随携 `preview` ≤400 字符）。
+ */
+export function unsettledRows(carrier) {
+  const rows = []
+  const pending = carrierField(carrier, "_pendingAsyncResults")
+  for (const entry of Array.isArray(pending) ? pending : []) {
+    const failures = entry?._daFailures ?? 0
+    rows.push({
+      id: String(entry.id),
+      role: entry.role ?? "subagent",
+      state: failures > 0 ? "retrying" : "awaiting-digest",
+      attempts: failures,
+    })
+  }
+  const ledger = carrierField(carrier, "_unsettledDigests")
+  for (const u of Array.isArray(ledger) ? ledger : []) {
+    rows.push({
+      id: String(u.id),
+      role: u.role ?? "subagent",
+      state: "unsettled",
+      attempts: u.failures ?? 0,
+      preview: String(u.report ?? "").slice(0, 400),
+    })
+  }
+  return rows
+}
+
+/** 单查 id 同解析（§6.31.6 单查序第三 / 四站）：命中 pending / 升级账本 ⇒ 行形同上；未命中 ⇒ null。 */
+export function unsettledRow(carrier, id) {
+  const key = String(id)
+  return unsettledRows(carrier).find((row) => row.id === key) ?? null
+}
+
+/** 端面残余行判据（§6.31.6）：pending 中 `_daFailures > 0` 条数（升级条已离容器——由升级提醒承载）。 */
+export function unsettledCount(carrier) {
+  const pending = carrierField(carrier, "_pendingAsyncResults")
+  let n = 0
+  for (const entry of Array.isArray(pending) ? pending : []) if ((entry?._daFailures ?? 0) > 0) n += 1
+  return n
+}
+
+/** 落痕清位（§6.31.5——`run-start.mjs` 会话态起跑即清；fallback 零动作）：父字段 ∥ history 双清。
+ *  注：核内写点落**父字段**（`turn-loop.mjs` 的 `agent._lastRunOutput`——逐轮追加，本批 #939
+ *  收正；抗 `history` 整体替换——`context.mjs` `applyCompression`）；`history` 级为兼容读形
+ *  （`harvestAccountOutput` 回退分支）——该痕不属跨 run 字段集，§6.31.5 边界句。 */
+export function armAccountRound(carrier) {
+  if (!carrier || typeof carrier !== "object") return
+  carrier._lastRunOutput = null
+  if (carrier.history && typeof carrier.history === "object") carrier.history._lastRunOutput = null
+}
+
+/** 落痕取件（§6.31.5——载体吸收读：父字段优先 / 回退 `history`）；读值 = 本 run 多轮累积文本（#939）；
+ *  缺痕（本 run 零输出落痕——零模型轮 / 起跑即断）⇒ null。 */
+export function harvestAccountOutput(carrier) {
+  const own = carrier?._lastRunOutput
+  if (own !== undefined && own !== null) return own
+  return carrier?.history?._lastRunOutput ?? null
+}

package/agent/dispatch-gates.mjs

@@ -76,6 +76,11 @@ export function isSubagentReadonlyAction(toolName, args) {
     const action = args?.action
     return action === "list" || action === "get"
   }
+  // manifest read 只读格（`MANIFEST.md` §2.10 · 台账 #1098——settings list/get 同分类；init / write 保持侧效门）
+  if (toolName === "manifest") {
+    const action = args?.action
+    return action === "read"
+  }
   // #9（TOOLS.md §6.19）：process 动作分级——list 保持只读分类（planMode 放行/免审批/可批并行）；
   // kill 是破坏性动作（审批门 + planMode 拒）。
   if (toolName === "process") return args?.action !== "kill"
@@ -87,6 +92,9 @@ export function isSubagentReadonlyAction(toolName, args) {
   if (action === "observe") return true
   // AGENT-LOOP-SUBAGENT.md §6.7.2 panel view 面（freeze 缺省/空 = 视图请求——readonly；非空 freeze 归控制类）
   if (action === "panel" && (args.freeze === undefined || args.freeze === null || String(args.freeze) === "")) return true
+  // DESIGN-TOKEN-SETTLEMENT.md §10 F-SL1（2026-10-07 批 ledger-tool）：design-slots = 只读清点
+  // （同 status / observe——planMode 放行 / 免审批 / digest 放行；工程模式父侧门在执行器内）。
+  if (action === "design-slots") return true
   return false
 }
 export function isSubagentControlAction(toolName, args) {

package/agent/dispatch.mjs

@@ -7,9 +7,12 @@
  */
 import { FILE_MUTATORS, toolTouchPaths } from "./helpers.mjs"
 import { runHooks } from "../hooks.mjs"
-import { isCodePath, loadProjectDeclaration } from "../conventions.mjs"
+import { isCodePath, declarationForTarget } from "../conventions.mjs"
+import { manifestFilePath } from "../manifest.mjs"
 import { resolve, relative } from "node:path"
 import { anyLiveDesignSlot } from "../token-ttl.mjs"
+// F-LC5（LIGHT-CHANNEL §2.8 · 2026-10-09）：轻通道轮在盘谓词（代码笔通路——两件双在盘 ⇒ 父侧代码笔放行）。
+import { lightRoundOpen } from "./light-round.mjs"
 // M4 写权门禁（模块设计 §2.1#2）：冻结窗口判据组装（被审文件集 = 声明文档集 + 批次档
 // 的合流点）落 write-gate.mjs 单一权威源——本档只 import 消费（KD-M4-4 拆分点）。
 import { freezeWindowConflict, batchRecordWriteConflict } from "./write-gate.mjs"
@@ -83,28 +86,46 @@ export async function executeToolCalls(agent, toolByName, toolCalls, callbacks,
     // design token. The project can declare its own code paths (the manifest's
     // `codePaths`) so a non-src layout is not silently exempted. Mechanically
     // blocks "talk then code".
+    // F-LC5（LIGHT-CHANNEL §2.8 · 2026-10-09）：轻通道轮在盘 = 机械开路——轮次台账行（在途 · title 携「收尾链
+    // 待跑」· 携指针）与所指轮档（§1 状态行「进行中」）双在盘期间父侧代码笔放行（谓词 fail-closed）。
+    // 查找面 = 会话锚 + 其直接子目录一层（纯向下——工作区锚会话同判）。
+    // F11（#1104 · PORTABILITY §3.9 / D20）：辖域 = 目标所属项目——逐目标沿祖先链取最近带档
+    // 目录（`declarationForTarget`——nearest wins ∥ 纯向上 ∥ 发现梯不参与）；出辖（祖先链无档）
+    // ⇒ 放行（门只管 manifest 树以内的内容）。相对形先按会话 cwd 解析（cwd 只是相对基，非声明源）；
+    // 在辖目标按所属项目装载声明，项目内判定（code 段 ∥ 兜底 fail-closed ∥ doc·temp·aux·state 豁免）零改。
     // DESIGN-TOKEN-SETTLEMENT D3（2026-09-08）：资格判据 = 权威槽"任一活槽存在"
     // （anyLiveDesignSlot——查内存 Map，miss 回读槽文件——单值镜像 `_engDesignToken`
     // 已退役，门禁不再读镜像——AC4）。
     if (agent.config?.agent?.engineering && depth === 0
         && !anyLiveDesignSlot(agent)
-        && FILE_MUTATORS.has(toolCall.name)) {
+        && FILE_MUTATORS.has(toolCall.name)
+        && !(await lightRoundOpen(agent))) {
       const paths = toolTouchPaths(tool, args)
-      const conv = loadProjectDeclaration(agent.cwd)
-      // Unknown/missing paths (non-string, e.g. no path argument) are treated
-      // as code — cannot tell what they touch, so block conservatively. Known
-      // paths go through the single shared classifier: a declared code segment
-      // (default: "src") at ANY depth, else anything that is not documentation.
-      const touchesCode = paths.some((p) => typeof p !== "string" || isCodePath(p, conv))
-      if (touchesCode) {
-        // Undeclared project → point at the declaration file (§4.3 降级可见契约).
-        const convNote = conv.declared
-          ? ""
-          : ` — this path was classified as product code by the default conventions (code paths: ${conv.codePaths.join(", ")}); declare project conventions in PROJECT-MANIFEST.json to adjust.`
+      // Unknown/missing paths (non-string / empty — nothing to judge) block conservatively.
+      // Known paths are judged per target: resolve against the session cwd first, then
+      // classify on the ABSOLUTE form against the target's OWNING PROJECT declaration
+      // (the segment face anchors at that project's root — D17). Out of jurisdiction ⇒ the
+      // target passes; non-string / empty targets keep blocking above (nothing to judge).
+      let blocked = false
+      let noteConv = null // first undeclared-and-blocked target's project (hint pointer — #1102)
+      for (const p of paths) {
+        if (typeof p !== "string" || p.trim() === "") { blocked = true; continue }
+        const abs = resolve(agent.cwd, p)
+        const conv = declarationForTarget(abs)
+        if (!conv || !isCodePath(abs, conv)) continue
+        blocked = true
+        if (!noteConv && !conv.declared) noteConv = conv
+      }
+      if (blocked) {
+        // Undeclared project → point at ITS declaration file (§4.3 降级可见契约; #1102).
+        const convNote = noteConv
+          ? ` — this path was classified as product code by the default conventions (code paths: ${noteConv.codePaths.join(", ")}); declare project conventions in ${manifestFilePath(noteConv.root)} to adjust.`
+          : ""
         prepared.push({
           toolCall, tool, denied: true,
           reason: "engineering design gate",
-          hint: `Engineering mode: write the design document first（location per your project's document conventions）, then call advisor with type='design' to review it, and wait for user approval. Implementation is done by eng-coder subagents.${convNote}`,
+          hint: `Engineering mode: write the design document first（location per your project's document conventions）, then call advisor with type='design' to review it, and wait for user approval. Implementation is done by eng-coder subagents.${convNote} ` +
+            `If this is a light-channel code pen: the gate looks for the round from the session anchor and its direct subdirectories — book the round first (an in-flight batch record plus a 在途 ledger row carrying 「收尾链待跑」 pointing at the record); code pens pass once that is on disk.`,
         })
         continue
       }
@@ -113,14 +134,14 @@ export async function executeToolCalls(agent, toolByName, toolCalls, callbacks,
     // E（第 11 批·F17/ADVISOR-GUARDS.md §5 E-3d）：D5 冻结窗口写前拦截——设计评审在途（点火 → 结算）期间，
     // 父侧对被审文件集（声明文档集 + 批次档）的写入会被拒绝：在途写使本轮结算 stale——pass 轮
     // = token 直接丢失（实证：第 10 批 id=20 整轮作废）。工具面 = FILE_MUTATORS ∪ `file_ops`
-    // （E2——冻结腿覆盖面；批次档腿仍 = FILE_MUTATORS：与变更记账同集——不记入日志的写面既不判 stale 也不拦）；判据与 reviewIsStale 同源、单一权威源 =
-    // agent/write-gate.mjs 的 freezeWindowConflict（声明文档集腿 = inflightDesignReviewConflict
-    // 同 docAbs / 同 normAbs；批次档腿 = run.batchDoc——M4 合流点，仅扫 running 未取消的设计条目）。
+    // （E2——冻结分支覆盖范围；批次档分支仍 = FILE_MUTATORS：与变更记账同集——不记入日志的写面既不判 stale 也不拦）；判据与 reviewIsStale 同源、单一权威源 =
+    // agent/write-gate.mjs 的 freezeWindowConflict（声明文档集分支 = inflightDesignReviewConflict
+    // 同 docAbs / 同 normAbs；批次档分支 = run.batchDoc——M4 合流点，仅扫 running 未取消的设计条目）。
     // 位置：只读 / autoApprove 短路之前——审批不得绕过冻结；拒绝 = 可见 denied + 逃生门
     // （先 cancel → 改 → 重发）。
     if (FILE_MUTATORS.has(toolCall.name) || toolCall.name === "file_ops") {
       // #327：单源谓词（同集合内两处消费共用）；#309 批次档写门与 D5 冻结窗同区、共用同一路径集。
-      // E2（parity-b1 §2.5——缺省取核形）：外门扩 `file_ops`（冻结窗覆盖面与端壳对齐——`file_ops`
+      // E2（parity-b1 §2.5——缺省取核形）：外门扩 `file_ops`（冻结窗覆盖范围与端壳对齐——`file_ops`
       // 的 move ∕ copy ∕ rename 亦为写面）；**批次档写门判据集不变**（= `FILE_MUTATORS`，file_ops 不入）。
       const absPaths = toolTouchPaths(tool, args)
         .filter((p) => typeof p === "string" && p)

package/agent/family-tools.mjs

@@ -13,7 +13,7 @@
  *
  * 登记册**动态**载入：`agent-tools.mjs` 静态图经 consult/subagent 族可达核 agent 栈
  * （`../agent/setup.mjs` → `../memory.mjs` → `node:sqlite`）——静态引入会破端壳 W8 契约②
- * （W8 契约②判据（现载体 = 批件 `docs/batches/2026-09-29-residuals-round2.test.mjs`；单测树重建时回迁端侧单测档）：端壳静态链不得到达 `node:sqlite`）。
+ * （W8 契约②判据（现载体 = 单元测试档 `docs/batches/2026-09-29-residuals-round2.test.mjs`；单元测试树重建时回迁端侧单元测试档）：端壳静态链不得到达 `node:sqlite`）。
  * 核内先例 = 登记册头注「Loaded from agent.mjs via dynamic import to avoid ESM circular
  * dependencies」（本档先于 `agent/setup.mjs` 的调用点载入，同一语义）。
  */
@@ -22,14 +22,17 @@ export async function assembleFamilyTools({
   role = null,           // string   子代理角色（eng-coder / eng-designer / coder / consult / explore / …）
   engineering = false,   // boolean  depth-0 role enum 注入用（工程模式）
   consultModels = [],    // array    consult 池（[] ⇒ consult 工具不注册）
-  batchDoc = null,       // string   批次档绑定路径（eng 角色 → batchTool 绑定）
+  batchDoc = null,       // string   批次档绑定路径（eng 角色恒挂 ∥ 普通面 coder 携绑定挂——batchTool 绑定）
   decorate = null,       // object   端差面：{ subagent?, consultStart?, consultStop?, settings? }
 } = {}) {
   // CORE-UNIFICATION TOOLS #83：consult 家族随统一登记册自 `../agent-tools.mjs` 取用（单一来源）
-  const { planTool, subagentTool, taskTool, skillTool, goalTool, verifyTool, recentChangesTool, timerTool, advisorTool, engTool, readHistoryTool, contextTool, batchTool, consultStartTool, consultStopTool, parentChannelTool } = await import("../agent-tools.mjs")
-  // 写命令（主 agent 专用）——动态 import 且**仅 depth===0 载入**（ledger 链静态达 node:sqlite——
-  // W8 契约②；子代理路径不注册 = 零载入——depth>0 解构得空、不引用即无副作用）
-  const { ledgerAddTool, ledgerUpdateTool, ledgerCloseTool } = depth === 0 ? await import("../ledger.mjs") : {}
+  const { planTool, subagentTool, taskTool, skillTool, goalTool, verifyTool, recentChangesTool, timerTool, advisorTool, engTool, readHistoryTool, contextTool, batchTool, manifestTool, consultStartTool, consultStopTool, parentChannelTool } = await import("../agent-tools.mjs")
+  // 台账统一入口（2026-10-05 统一入口批——台账 #923）：全量变体 = depth-0 段 ∥ 只读变体 = 全部
+  // depth>0 段。动态 import——ledger 链静态达 node:sqlite（W8 契约②）；两变体同名单对象、schema 窄化。
+  const { ledgerTool, ledgerReadTool } = await import("../ledger.mjs")
+  // 团队台账核工具（2026-10-13 team-ledger 批——TEAM-LEDGER.md §2.5）：全量五 action = depth-0 段 ∥ 只读
+  // 变体（query/count）= 全部 depth>0 段（写三 schema 级不可达——D-TL5）。动态 import 同律（沿上条）。
+  const { teamLedgerTool, teamLedgerReadTool } = await import("../team-ledger.mjs")
 
   // withPool: decorate the consult_start description with the CURRENT candidate pool
   // so the model knows which models it can pick (CLI parity with the plugin). The
@@ -141,9 +144,13 @@ export async function assembleFamilyTools({
   const depthOnly = depth === 0
     ? [decorate?.subagent ?? filteredSubagent, skillTool, goalTool, engTool, verifyTool, recentChangesTool, readHistoryTool, contextTool, advisorTool, batchTool(null),
       ...consultTools,
-      // 台账写命令（M2——仅主 agent；查询面 ledger_count 住基础集 tools/index.mjs）。
-      // fail-closed：子代理不挂载 = 写面机械不可达。
-      ledgerAddTool, ledgerUpdateTool, ledgerCloseTool,
+      // 台账全量变体（五 action——仅主 agent 装配；fail-closed：子代理段只挂读变体 = 写面机械不可达）
+      ledgerTool,
+      // 团队台账全量变体（五 action——同律：子代理段只挂读变体；登录态门在工具内）
+      teamLedgerTool,
+      // manifest 工具（`MANIFEST.md` §2.10 · 2026-10-08 · 台账 #1098）：主 agent 读写出口——
+      // **两模式同挂**（需求未设模式门）；子代理各段零挂（未装配 = 权限面第一道）。
+      manifestTool,
       // 端差（decorate.settings——VSC depth-0 主 agent 面；缺省不追加）：核默认形态里
       // settings 住**基础集**（`tools/index.mjs` `assembleBuiltinTools`），端侧自持清单
       // 无该面 ⇒ 端以 decorate 补位（收敛通道 = 将来去 decorate 项即归核位）。
@@ -161,18 +168,22 @@ export async function assembleFamilyTools({
     // BATCH-RECORD §4.3 挂载表（批次档生命周期工具化批）：eng 两分支各挂主名 `batch`
     // （绑定段 append/status；目标 = spawn 绑定 `child._batchDoc`）——BATCH-RECORD.md §4.2 的 batch_segment
     // 挂载形态已随单名化收口退役；depth-0 主 agent 同表挂载
-    // `batch`（D-BR18 扩权——create/close + append §1/§4/§6 + status §1（轮 2 裁定②：§4/§6
-    // 状态面走普通文档写），目标走可选 path / 在飞扫描）。
+    // `batch`（D-BR18 扩权——create/close + append/status 域随模式（工程面 = append §1/§4/§6 ∥ status §1；普通面 =
+    // append §1/§2/§4/§5/§6 ∥ status §1/§2/§5）（轮 2 裁定②：§4/§6 状态面走普通文档写），目标走可选 path / 在飞扫描）。
+    // §4.16（2026-10-09）：coder 分支**携绑定追加** `batchTool(batchDoc)`——未绑定不挂载
+    // （工具不在表 = 语法面不可达——同评审面先例）；绑定值 = spawn 可选绑定 `child._batchDoc`。
     // SUBAGENT-UPSTREAM-CHANNEL（AGENT-LOOP-UPSTREAM.md §6.27.4 装配接线）：子代理上行通道
     // （`notify_parent`）随 depth>0 段**前置**——4 处携带 = eng-coder / eng-designer / coder / 兜底段
     // （未列名 depth>0 role 落同一兜底段 ⇒ 亦装配；语义 =「depth>0 且非 consult 皆装配」）；
     // 计数口径：`consult` 分支不入 ⇒ 「5 个插入点」读法已作废（实读 `thincoder-core/agent/family-tools.mjs:165-169`）。
     // consult 段不入（其角色语义 = 父发起的一次性会诊，父在其 settle 前不期望中途对话）。
-    : engChildRole === "eng-coder" ? [parentChannelTool, advisorTool, verifyTool, batchTool(batchDoc), ...(engChildSubagent ? [engChildSubagent] : [])]
-    : engChildRole === "eng-designer" ? [parentChannelTool, batchTool(batchDoc), ...(engChildSubagent ? [engChildSubagent] : [])]
-    : role === "coder" ? [parentChannelTool, verifyTool, advisorTool]
-    : role === "consult" ? [recentChangesTool]
-    : [parentChannelTool]
+    // 台账只读变体（query / count）——全部 depth>0 角色段（含 consult ∕ 兜底；写三 schema 级不可达）；
+    // 团队台账只读变体（team-ledger 批）同律。
+    : engChildRole === "eng-coder" ? [parentChannelTool, ledgerReadTool, teamLedgerReadTool, advisorTool, verifyTool, batchTool(batchDoc), ...(engChildSubagent ? [engChildSubagent] : [])]
+    : engChildRole === "eng-designer" ? [parentChannelTool, ledgerReadTool, teamLedgerReadTool, batchTool(batchDoc), ...(engChildSubagent ? [engChildSubagent] : [])]
+    : role === "coder" ? [parentChannelTool, ledgerReadTool, teamLedgerReadTool, verifyTool, advisorTool, ...(batchDoc ? [batchTool(batchDoc)] : [])]
+    : role === "consult" ? [recentChangesTool, ledgerReadTool, teamLedgerReadTool]
+    : [parentChannelTool, ledgerReadTool, teamLedgerReadTool]
 
   // 固定段（装配序 = agent.tools → 固定段 → 家族段 → extraTools）：timer 全模式全深度；
   // plan 随模式位——ENG-PLAN-EXCLUSION（FR31 ① · KD8 卸载而非「注册 + 报错」· KD11 全深度两端）；

package/agent/helpers.mjs

@@ -203,7 +203,7 @@ export function _clearGitFailureCooldownForTests(cwd) {
   gitFailureCooldowns.delete(cwd)
 }
 
-/** Git context 纯格式化（branch/log/status = trim 后原串）——独立导出供单测锁字节
+/** Git context 纯格式化（branch/log/status = trim 后原串）——独立导出供单元测试锁字节
  *  parity（现拼装逐字节保留——detached/dirty>20 截断/clean 三形态——VSC 镜像）。 */
 export function composeGitContext({ branch, log, status }) {
   const dirty = status ? status.split("\n").length : 0
@@ -377,12 +377,13 @@ export const SUBAGENT_TOOL_EXCLUSIONS = new Set(["question"])
 /** Apply the depth>0 exclusion set — always returns a NEW array (parent table untouched).
  *  #9（TOOLS.md §6.19）：`bash` 的 `async` 参仅 depth-0——子代副本删参（照 `family-tools.mjs:98`
  *  先例；返回值仍恒新数组、未命中条目原对象直传）。运行期第二道在 `tools/bash.mjs` execute
- *  （照 `read_image`「schema 门 + 运行期第二道」双线先例）。 */
+ *  （照 `read_image`「schema 门 + 运行期第二道」双线先例）；批 browser-async-fix（#1045）同线
+ *  扩至 `browser` 的 `async` 参（运行期第二道在 `tools/browser.mjs` execute）。 */
 export function excludeSubagentTools(tools) {
   return tools
     .filter((t) => !SUBAGENT_TOOL_EXCLUSIONS.has(t.name))
     .map((t) => {
-      if (t.name !== "bash" || !t.parameters?.properties || !("async" in t.parameters.properties)) return t
+      if (!(t.name === "bash" || t.name === "browser") || !t.parameters?.properties || !("async" in t.parameters.properties)) return t
       const { async: _asyncDrop, ...restProps } = t.parameters.properties
       return { ...t, parameters: { ...t.parameters, properties: restProps } }
     })
@@ -468,6 +469,14 @@ export const UPSTREAM_TURN_DOMAIN =
 export const TIMER_TURN_DOMAIN =
   "[System reminder: auto-turn — a timer you set earlier has expired (reminder above). No user message is waiting. Act on what the timer was for now: pull the data or run the check rather than continuing to reason in the abstract. Stay within the work that was in flight when the timer was set; do not open unrelated new work. Wrap up as soon as the action is done or blocked.]"
 
+/** Digest-accounting requirement line (AGENT-LOOP-ASYNC-POOL.md §6.31.3 · batch digest-accounting ·
+ *  2026-10-05)：消化轮账目要求——两档同发（手动 / AUTO）；manual 域文本只覆盖手动档 ⇒ 要求行
+ *  独立常量承载，避免 AUTO 轮无要求。`<ids>` = 未销账 id 清单占位（动态拼 = digest-account.mjs
+ *  `digestAccountRequirement`）；注入面 = transient（机器线独有）。Verbatim from the parent-side
+ *  final text (single line — no newlines); content authority = parent side. */
+export const DIGEST_ACCOUNT_DOMAIN =
+  "[System reminder: digest accounting — for every report listed below as not yet accounted, emit exactly one line: \"[digest-ack #<id>] digested — <key points>\" (handled) or \"[digest-ack #<id>] deferred — <reason>\" (not handled). Not yet accounted: <ids>. Do not omit any.]"
+
 /** Engineering-mode status injection — one reminder on EVERY transition (2026-08-25:
  *  OFF is announced too — the model must know the gates lifted; silence after /eng-off
  *  left it guessing. Covers TUI /eng, resume, and any path bypassing the eng tool.) */

package/agent/light-round.mjs

@@ -0,0 +1,66 @@
+/**
+ * agent/light-round.mjs — 轻通道代码笔通路谓词（F-LC5 · 设计 = `docs/core/design/LIGHT-CHANNEL.md` §2.8）。
+ *
+ * `lightRoundOpen(agent)`：闸读判据——**两件双在盘**才算轻通道轮在盘：
+ *   ① 轮次台账行：`status = 在途` ∧ `title` 携「收尾链待跑」（轮型标记 = 闸凭据）∧ `task_book` 非空；
+ *   ② 该指针指向的轮次批档：`§1` 状态行 = 「进行中」（判定器单源 = `readBatchStatusLine`）。
+ * 查找面（纯向下）= 会话锚 + 其直接子目录一层（候选枚举单源 = `ledgerChildren`——与族发现同级判据
+ * 同源；不递归 ∥ 不取同胞）：逐候选查行 ∥ 以各候选为基解析指针（台账写门同式）。歧义候选
+ * （`projectRootView` 判 `ambiguous`——如工作区锚自身）⇒ 跳过该候选、照查其余（既定观察态，非读错）；
+ * 候选读错 ∥ 不可判 ⇒ 停本候选（总判不因他候选读错而失——开路凭据仍是「两件校验全过」）。
+ * 语义：开门动作 ≡ 开轮两件落盘（「启动即挂账」本体——无独立于账的开门面）；单件不放行
+ * （轮档独在 ∥ 行独在 ∥ 无标记 ∥ 行非在途 ∥ 指针失据 ∥ 档已收口 ⇒ 皆 false）；收口即自闭
+ * （信号生命周期 = 账生命周期——零撤销动作 ∥ 零跨轮残留）。
+ * 读错 ∥ 不可判 ⇒ `false`（fail-closed——照拦；被拦时文案不因读错而变）。
+ * 只读：台账 = `ledgerQuery` **动态 import**（`ledger-db.mjs` 静态 import node:sqlite ⇒
+ * 消费侧静态 import 破 W8 契约②）；批档 = 一次 `readFileSync`。
+ */
+import { readFileSync } from "node:fs"
+import { resolve } from "node:path"
+import { projectRootView, resolveProjectRoot } from "../manifest.mjs"
+import { resolveDeclaredRef } from "../declaration.mjs"
+import { readBatchStatusLine } from "../agent-tools/batch-skeleton.mjs"
+
+/** 轮型标记（§2.3 开轮形升格为闸凭据；全链批行无此标记 ⇒ 不构成信号）。 */
+const ROUND_MARKER = "收尾链待跑"
+
+/** 轻通道轮在盘谓词（异步 · 只读 · fail-closed）。契约见头注。
+ * @param {object} agent — 会话 agent（读 `cwd`）
+ * @returns {Promise<boolean>} true = 放行（在盘轮次）；读错 ∥ 不可判 ⇒ false（照拦）
+ */
+export async function lightRoundOpen(agent) {
+  try {
+    const cwd = agent?.cwd
+    if (typeof cwd !== "string" || cwd.trim() === "") return false
+    // W8 契约②：node:sqlite 链只经动态 import 进入（勿升静态）——候选枚举与逐候选查行同取本档公共面。
+    const { ledgerChildren, ledgerQuery } = await import("../ledger.mjs")
+    const anchor = resolve(cwd)
+    // 候选面 = 锚自身 + 直接子目录一层（纯向下；子项枚举单源 = `ledgerChildren`）。
+    const candidates = [anchor, ...ledgerChildren(anchor).map((p) => p.root)]
+    for (const cand of candidates) {
+      // 歧义候选（≥2 候选项目——`projectRootView`）⇒ 跳过、照查其余（歧义锚不充当项目 = AC-M2-19 同判；
+      // `openLedger` 歧义拒 = AC-M2-17——既定观察态，非读错）。
+      if (projectRootView(cand).state === "ambiguous") continue
+      let rows
+      try { rows = ledgerQuery({ cwd: cand, status: "在途" }) } catch { continue } // 候选读错 ⇒ 停本候选
+      if (!Array.isArray(rows) || rows.length === 0) continue
+      // 指针基准 = 台账写门同式（`ledger-cmd.mjs` assertTaskBookGate 同一子表达式）——以各候选为基。
+      const base = resolveProjectRoot(cand) ?? resolve(cand ?? ".")
+      for (const row of rows) {
+        if (!String(row?.title ?? "").includes(ROUND_MARKER)) continue // 无标记 ⇒ 非轻通道轮（全链批行）
+        const taskBook = row?.task_book
+        if (typeof taskBook !== "string" || taskBook.trim() === "") continue // 缺指针 ⇒ 单件不放行
+        const part = taskBook.split("§")[0].trim() // 台账写门同式：首个 § 前子串
+        if (part === "") continue
+        const hit = resolveDeclaredRef(base, part)
+        if (!hit.ok) continue // 指针失据 ⇒ 不放行
+        let src
+        try { src = readFileSync(hit.abs, "utf8") } catch { continue } // 档读不到 ⇒ 不放行
+        if (readBatchStatusLine(src) === "open") return true // 两件双在盘 ⇒ 放行
+      }
+    }
+    return false
+  } catch {
+    return false // 读错 ∥ 不可判 ⇒ fail-closed（照拦）
+  }
+}

package/agent/post-turn.mjs

@@ -4,7 +4,7 @@
  * stall detection, and goal status tracking.
  */
 import { escapeXml, tryCanonicalize, DEFAULT_GOAL_TURNS } from "./helpers.mjs"
-import { takeExpiredTimers, injectTimerReminders } from "./timers.mjs"
+import { takeExpiredTimers, injectTimerReminders, timerWakeEnabled } from "./timers.mjs"
 
 export const STALL_WINDOW_SIZE = 5
 export const STALL_THRESHOLD = 3
@@ -14,11 +14,15 @@ export const GOAL_BUDGET_WARN_RATIO = 0.75
  * Inject all post-turn events into agent history.
  * Must be called after every tool-execution turn within runAgent's loop.
  */
-export function injectPostTurn(agent, results, recentCallSigs, callbacks, turn) {
+export function injectPostTurn(agent, results, recentCallSigs, callbacks, turn, { suspDriven = false } = {}) {
   // Expired timers — inject reminders when thinking budget is up
   // AGENT-LOOP-ASYNC-POOL.md §6.30.2：过滤 / 注入语义单源于 `agent/timers.mjs`（CLI 空闲闩 /
-  // 挂起窗同读）；本处 = 回合边界轮询调用点——行为零变（最近到期 / 出列幂等 / 逐字形态逐条不变）。
-  injectTimerReminders(agent, takeExpiredTimers(agent))
+  // 挂起窗同读）；本处 = 回合边界轮询调用点。
+  // 批 async-delivery-formalize（§6.34.2 行 5）：驱动面 ∧ `timerWakeEnabled` ⇒ 不在工具轮收尾注入
+  // （到期件留在途零出列）——交付交空闲面（挂起窗 ∥ 前台空闲闩）；开关关 ∨ 回退面 ⇒ 逐字保持。
+  if (!(suspDriven && timerWakeEnabled(agent))) {
+    injectTimerReminders(agent, takeExpiredTimers(agent))
+  }
 
   // Pending reminders
   if (agent._pendingReminders.length > 0) {

package/agent/record-results.mjs

@@ -30,6 +30,8 @@ import { capHistoryImages } from "../provider/normalize.mjs"
 import { resolve } from "node:path"
 import { advisorRuns, stripApprovedSuffix } from "../agent-tools/advisor-async.mjs"
 import { looksLikeReviewOutput, advisorIncompleteMarker } from "../advisor/run.mjs"
+// #949（评审 history 串台面）：同步面投递水印单点（叶档——零环）。
+import { noteReviewDelivered } from "../agent-tools/review-facts.mjs"
 
 let _reindexFile = null
 
@@ -118,6 +120,8 @@ export async function recordToolResults(agent, toolByName, results) {
         } else {
           const reviewId = agent._advisorSyncCalls?.get(toolCall.id)
           const run = reviewId !== undefined ? advisorRuns(agent).get(reviewId) : undefined
+          // #949：工具结果已入史（上方 pushReal）⇒ 本评审响应表取件下界落定（run 缺省零写）。
+          if (run) noteReviewDelivered(agent, run)
           // F16 同步面（第 13 批——ADVISOR-GUARDS.md §6）：未完成尾 + 非设计面
           // （含类型不可判——run 缺失的 legacy 直调）⇒ 不置「已覆盖」（与 settle 面
           // 逐条 parity；设计评审保持计入——无代码面）。