thincoder 0.12.62 → 0.12.64

package/src/tui/suspension-drive.mjs

@@ -9,6 +9,11 @@
  * digest）输入禁用（INPUT-LOCK-ASYNC C'——提交吞——2026-09-09）、settle 事件驱动
  * auto-turn 消化（手动档 organize-only / AUTO 档全语义）、池空 + 无待处理输入 → 补发
  * done 冻结自然退出。状态机行表见 AGENT-LOOP.md §9.2。
+ * F-UC7（2026-09-19 批，AGENT-LOOP-SUBAGENT.md §6.27.12）：第二开轮源 = 未 drain 的上行
+ * ask（`upstreamWaiting` 谓词——ask 入队即唤醒本驱动）；唤醒轮同走 auto-turn（旗标
+ * `upstreamTurn` 供核域文本选择）。
+ * F-UC8（2026-09-21 批，§6.27.12.13）：可见提示面**按因两档**（ask 携「谁 + 啥」——
+ * 核单点 `upstreamAskLabelVars` / digest）+ 起跑数行与轮尾收尾行同守 `pend0 > 0`。
  */
 
 // 函数级静态环（2026-09-05）：drive 的 digestTurn/用户回合经 runAgentTurn 递归进入
@@ -16,15 +21,21 @@
 import { runAgentTurn } from "./agent-turn.mjs"
 import { freezeAllSubTasks, freezeReclaimDigestedBlocks } from "./subagent-blocks.mjs"
 import { sweepToolBlocks } from "./tool-events.mjs"
-import { logEvent } from "../log.mjs"
+import { logEvent } from "@thincoder/core/log.mjs"
 import { C } from "./ansi.mjs"
 // ASYNC-RESULT-CONTAINER.md D1/D2：池 accessor（双池 absorb）+ pending 单容器停靠
-import { getAsyncPool, parkAsyncPending, releaseSettledEntry } from "../agent-tools/async-settle.mjs"
+import { getAsyncPool, parkAsyncPending, releaseSettledEntry } from "@thincoder/core/agent-tools/async-settle.mjs"
+// F-UC7（AGENT-LOOP-SUBAGENT.md §6.27.12——2026-09-19 批）：上行 ask 开轮谓词单点（核导出）
+// F-UC8（§6.27.12.13 ②——2026-09-21 批）：ask 提示行携参单点（同档导出——显示面单源）
+import { upstreamAskLabelVars, upstreamWaiting } from "@thincoder/core/agent-tools/parent-channel.mjs"
+// X9（2026-09-20 端差·显示面消差批）：消化收尾文案单源 = 核 i18n 容器（禁第三份字面）
+import { t } from "@thincoder/core/i18n.mjs"
+// 批 4 CLI-ASYNC-DISCARD（AGENT-LOOP-SUBAGENT.md §6.20）：中止分支「只清已死」收尾单点
+import { discardAbortedPool, discardAbortedAdvisors } from "@thincoder/core/agent-tools/async-discard.mjs"
 
 // INPUT-LOCK-ASYNC（C'——2026-09-09，本档 INPUT-LOCK-ASYNC.md）：R15 排队
 // 用户指令合并（§11.3 D-24c——攒批计划/合并文案/上限常量）整批废弃
 // ——busy 提交吞 + pendingInput 单槽化（至多一条待交接——单消息逐发不攒批）。
-// 废弃记录见 AGENT-LOOP.md §11.3。
 
 /** 后台池计数（LOGGING susp/digest 事件字段——pendingN/poolN）。
  *  poolN = _asyncSubagents + _asyncAdvisors（§11.2 D-24b advisor 池同面板计数——queued
@@ -153,27 +164,47 @@ function backgroundStatusText(agent) {
 /** 消化轮：系统驱动的 auto-turn（D-S6）。手动档不传权限/问答 handler（D-S7 装配
  *  契约——denied 不弹面板、不悬挂）；AUTO 档沿用普通回调（autoApprove 短路自动
  *  执行）。_suspended 保持 true：消化中 settle 延迟冻结 + 移交 pending。R17：pending
- *  计数/消化触发 = 任一 pending 族（T-R17j——consult/escalate 空闲 settle 也触发消化轮）。 */
-async function digestTurn(ctx) {
+ *  计数/消化触发 = 任一 pending 族（T-R17j——consult/escalate 空闲 settle 也触发消化轮）。
+ *  F-UC7（§6.27.12.5 D）：`upstream` = 未 drain 的 ask 在场（唤醒轮）——旗标随 auto 轮
+ *  贯通到核 `runAgent`（域文本选择面）、`digest:*` 载荷条件携带 `upstream: true`（宿主
+ *  日志区分唤醒轮与 digest 轮——两端同规）。
+ *  F-UC8（§6.27.12.13 ①–③）：可见提示面**按因两档 × 全档**——标签行 ask 携「谁 + 啥」
+ *  （核容器键，CLI 零自持字面）/ digest（manual 与 AUTO 同判——泛句退场）；起跑数行
+ *  与轮尾收尾行同守 `pend0 > 0`（ask-only 轮两行皆不出）。 */
+async function digestTurn(ctx, upstream = false) {
   const { agent, pushLine } = ctx
   const manual = !agent.autoApprove
-  pushLine(manual
-    ? "[auto-turn: digesting finished subagent reports…]"
-    : "[auto-turn: continuing background work…]", C.dim)
+  // 起跑数前置（§6.27.12.13 ③）：起跑行与轮尾收尾行同源（皆 = 起跑口径）
+  const pend0 = pendingFamilyCount(agent)
+  // 标签两档（§6.27.12.13 ①）：ask 因恒优先——携参单源 = 核 `upstreamAskLabelVars`
+  // （队首 ask 的 `from` + 单行归一截断 `msg`）；digest 因沿用既有字面；AUTO 档同判
+  // （泛句无生产者——开轮因穷尽；模式可见性另有 `AUTO│` 横幅载体）。
+  const ask = upstream ? upstreamAskLabelVars(agent) : null
+  pushLine(ask ? t("digest.turnLabelAsk", ask) : t("digest.turnLabel"), C.dim)
+  // 起跑数行（对位 VSC `.digest-status` 元素）：`n > 0` 规则——ask-only 轮（`n = 0`）零行
+  if (pend0 > 0) pushLine(t("digest.start", { n: pend0 }), C.dim)
   const digestCtx = manual
     ? { ...ctx, askPermission: null, askBatchPermission: null, askQuestion: null }
     : ctx
   // LOGGING：digest:* 事件（D-S9 消化轮边界——LOGGING.md F-L4 挂起态覆盖）
   const d0 = Date.now()
-  const pend0 = pendingFamilyCount(agent)
-  logEvent("digest:start", { pendingN: pend0 })
-  await runAgentTurn(digestCtx, "", { autoTurn: true, skipSession: true })
-  logEvent("digest:end", { pendingN: pendingFamilyCount(agent), ms: Date.now() - d0 })
+  logEvent("digest:start", { pendingN: pend0, ...(upstream ? { upstream: true } : {}) })
+  const outcome = await runAgentTurn(digestCtx, "", { autoTurn: true, upstreamTurn: upstream, skipSession: true })
+  logEvent("digest:end", { pendingN: pendingFamilyCount(agent), ms: Date.now() - d0, ...(upstream ? { upstream: true } : {}) })
+  // X9（2026-09-20 端差·显示面消差批）：轮尾**可见**收尾行（修前只有 `digest:end` 日志事件——
+  // 用户不可见；对位 VSC `webview/chat.js` `showDigestStatus` end 段）。计数口径 = **起跑数**
+  // `pend0`（与 VSC `suspension.mjs` 起跑 post 同源）；文案单源 = 核 i18n `digest.done` /
+  // `digest.aborted`；终态 ≠ ok（中止/失败）⇒ aborted 形态（VSC ok 旗标同口径）。
+  // F-UC8 守卫（§6.27.12.13 ③）：`pend0 = 0`（ask-only 轮）⇒ **零收尾行**——与起跑行
+  // 同规则（两行成对）；done / aborted 两形态同判（VSC 零动作守卫先于 ok 判）。
+  const seconds = ((Date.now() - d0) / 1000).toFixed(1)
+  if (pend0 > 0) pushLine(t(outcome === "ok" ? "digest.done" : "digest.aborted", { n: pend0, seconds }), C.dim)
 }
 
 /**
  * §17 挂起会话驱动（D-S9 行表；由 runAgentTurn 回合尾进入，池空自然退出）：
  * - suspension：池项 settle → 入 pending → 开 auto-turn（合并消化近邻 settle）；
+ *   上行 ask 入队 → 唤醒 + 谓词 → 开唤醒轮（F-UC7——谓词先于池空退出判，见第 2 步）；
  *   挂起空闲用户 Enter → pendingInput 单槽（busy 含 digest 提交吞——INPUT-LOCK-ASYNC）
  *   ——用户输入优先于 digest；
  * - auto-turn：消化中 settle 不并发开新轮（单 runAgent 循环），轮末按 pending/池态
@@ -224,10 +255,13 @@ export async function suspensionSession(ctx) {
         state.status = backgroundStatusText(agent)
         continue
       }
-      // 2. pending 任一族非空 → 合并消化轮（注入由 runAgent 首行统一完成——D-S3 单注入点；
-      //    R17 判据推广——consult/escalate 族同样触发——T-R17j）
-      if (pendingFamiliesNonEmpty(agent)) {
-        await digestTurn(ctx)
+      // 2. pending 任一族非空**或存在未 drain 的 ask** → 合并消化轮 / 唤醒轮（注入由 runAgent
+      //    首行 + 循环头统一完成——D-S3 单注入点；R17 判据推广——consult/escalate 族同样触发
+      //    ——T-R17j。F-UC7（§6.27.12.5 D）：谓词**必须先于第 3 步池空退出判**——「池空 +
+      //    队列留 ask」（子代理已 settle 且报告已消化）仍须开一轮把它 drain 出来）
+      const upstream = upstreamWaiting(agent)
+      if (pendingFamiliesNonEmpty(agent) || upstream) {
+        await digestTurn(ctx, upstream)
         // §17.5.5 实测修订（2026-09-03）：digest 消化完成（pending 条目已注入）→ 逐条补发
         // done 冻结回收——不等池空——块从面板移除进流（settle 锚点 splice 落位——digest
         // 总览文本之前——round1 #1 裁定）；池空 freeze-out 仅兜底未消化残项（挂起会话
@@ -256,15 +290,15 @@ export async function suspensionSession(ctx) {
     state._suspWake = null
     state.suspAbortArmed = false // round2 偏差 #4：会话退出即解除挂起中止武装（防跨会话粘滞）
     if (aborted) {
-      // §15 abort 语义：清池不注入（用户显式停——不注入陈旧错误）
-      agent._asyncSubagents?.clear()
-      agent._asyncAdvisors?.clear()
-      agent._asyncQueue = []
+      // §15 abort 语义：只清已死条目（AGENT-LOOP-SUBAGENT.md §6.20——墓碑/出池/队列剔除/
+      // 整批一次提醒；存活与已 settle 者留池消化——不注入陈旧错误）。
+      discardAbortedPool(agent)
+      discardAbortedAdvisors(agent)
       // ASYNC-RESULT-CONTAINER.md D2：pending 单容器——中止清容器不注入陈旧结果（四族
       // 统一一处清；consult 会话标记 stopped——settle 不入 digest 流——T-R17c）+
       // children abort。
       agent._pendingAsyncResults = []
-      const { cleanupConsultSessions } = await import("../agent-tools/consult.mjs")
+      const { cleanupConsultSessions } = await import("@thincoder/core/agent-tools/consult.mjs")
       cleanupConsultSessions(agent)
       // §17 round2 偏差 #2-CLI（code review round2 #2-CLI）+ INPUT-LOCK 单槽化：中止时
       // 不静默丢弃挂起期输入——Enter 已清空输入框并入 pendingInput（用户视为已发送）——
@@ -278,8 +312,8 @@ export async function suspensionSession(ctx) {
       // D-S3 ③ 兜底：退出前残余（极端竞态）直注入再退——结果零丢失（AC-S2；
       // ASYNC-RESULT-CONTAINER.md D2：pending 单容器一处清——注入器按 role 分发
       // （consult → injectConsultResult；其余 → injectAsyncResult——四族同容器）。
-      const { injectAsyncResult } = await import("../agent-tools/subagent.mjs")
-      const { injectConsultResult } = await import("../agent-tools/consult.mjs")
+      const { injectAsyncResult } = await import("@thincoder/core/agent-tools/subagent.mjs")
+      const { injectConsultResult } = await import("@thincoder/core/agent-tools/consult.mjs")
       const residual = agent._pendingAsyncResults
       if (residual?.length) {
         for (const e of residual.splice(0)) {

package/src/tui/tool-events.mjs

@@ -19,7 +19,7 @@
 import { C } from "./ansi.mjs"
 import { formatToolSummary } from "./tool-summaries.mjs"
 import { describeToolArgs, toolArgsLines } from "./tool-args.mjs"
-import { ADVISOR_THINKING_PLACEHOLDER, resolveAdvisorProvider } from "../advisor/run.mjs"
+import { ADVISOR_THINKING_PLACEHOLDER, resolveAdvisorProvider } from "@thincoder/core/advisor/run.mjs"
 import {
   SUBAGENT_ROLES, routeSubToken, routeSubReasoning, routeSubToolCall,
   routeSubToolOutput, finishSubTask, finishSubTaskKey, finishSubTasksByRole, freezeDoneSubTasks,
@@ -27,8 +27,10 @@ import {
   shiftFreezeAnchors,
 } from "./subagent-blocks.mjs"
 // 第 27 批 §12.3②：前缀正则换名 + import 源改文法模块（纯换名——语义零改）。
-import { RELAY_PREFIX_RE } from "../agent/relay-prefix.mjs"
-import { TURN_CAP_MARK, STOPPED_MARK } from "../agent/spawn-child.mjs"
+import { RELAY_PREFIX_RE } from "@thincoder/core/agent/relay-prefix.mjs"
+import { TURN_CAP_MARK, STOPPED_MARK } from "@thincoder/core/agent/spawn-child.mjs"
+// 批 1 CORE-DEFECT-FIXES B3：onWait 相位值域 + 文案单源（消费面禁各自枚举——PROVIDER.md §6.20）
+import { waitStatusText } from "@thincoder/core/provider/wait-status.mjs"
 // 2026-09-05 module-split：ticks/maps/sweep/slim/settle/探测/find 族迁 tool-display.mjs——
 // buildToolCallbacks 内部引用用本地 import；sweepToolBlocks re-export（agent-turn 消费面）
 import {
@@ -402,11 +404,12 @@ export function buildToolCallbacks(deps) {
       state.tokens.cacheMiss += usage.prompt_cache_miss_tokens ?? 0
       state.tokens.reasoningTokens += usage.completion_tokens_details?.reasoning_tokens ?? 0
     },
-    // Throttle wait (active gate / 429 backoff): show in status bar so user knows it's not frozen
-    onWait: ({ phase, seconds }) => {
-      if (phase === "gate") state.status = `TPM throttle wait ~${seconds}s`
-      else if (phase === "overloaded") state.status = `Server overloaded, retrying in ${seconds}s`
-      else state.status = `Rate-limited 429, retry in ${seconds}s`
+    // Throttle wait (active gate / 429 backoff): show in status bar so user knows it's not frozen.
+    // 相位值域/文案取自核单源（wait-status.mjs）——未知相位与 warn 前置告警不显示（不落兜底误标）。
+    onWait: (ev) => {
+      const s = waitStatusText(ev)
+      if (!s) return
+      state.status = s
       render()
     },
     onTaskUpdate: (items) => {

package/src/tui/tui-lifecycle.mjs

@@ -15,6 +15,15 @@ export function writeStartupSequence(write = (s) => process.stdout.write(s)) {
   write(ansi.altBuffer + ansi.hideCursor + ansi.mouseOn + ansi.bracketedPasteOn + ansi.keyboardPush + ansi.modifyOtherKeysOn + ansi.wrapOff)
 }
 
+// 启动加载画面（2026-09-21 用户）：双进程冷启动（wrapped spawn + 全链 import）期间 alt buffer
+// 全黑 → 用户以为死了。序列后立即写一行 loading（首帧 render 自然覆盖 ✗ 无需清除逻辑 ✗）。
+// 版本号由调用方传入（bin 入口已读 package.json——零重复 IO）；wrapped 父进程同款（spawn 前写——
+// 父子两段冷启动都非黑）。纯文本行 ✗ 无 ANSI 位置控制 ✗ 首帧覆盖依赖 render-loop 全屏重绘 ✓
+export function writeLoadingLine(write = (s) => process.stdout.write(s), version = "") {
+  const v = version ? ` v${version}` : ""
+  try { write(`\n\n  ◌ thincoder loading...${v}\n`) } catch { /* 尽力面——TTY 不可写不阻断启动 */ }
+}
+
 /** TUI 清理序列 = 异常退出恢复序列（单一来源——§9.2 表 2 候选 1）：清屏 + 关闭鼠标/
  *  粘贴/键盘增强 + 退出 alt buffer + 显示光标 + 恢复环绕。
  *  TUI-OOM-ROOTCAUSE（CRASH-REPORTS.md §9.3）：提取为导出常量 `RECOVERY_SEQUENCE`——

package/src/tui/wizard.mjs

@@ -6,7 +6,7 @@
  * ctx: { agent, state, pushLine, pushLabel, render, persistRaw, openModelPicker }
  */
 
-import { PROVIDER_PRESETS as PRESETS } from "../config.mjs"
+import { PROVIDER_PRESETS as PRESETS } from "@thincoder/core/config.mjs"
 import { ansi, C } from "./ansi.mjs"
 import { computeLayout } from "./layout.mjs"
 import { probeChannelModels } from "./model-catalog.mjs"
@@ -202,7 +202,7 @@ export function createWizard(ctx) {
     agent.provider = { ...agent.providers.find((p) => p.name === f.name) }
     agent.provider.model = agent.activeModel
     if (agent.config?.agent?.compactThresholdAuto) {
-      const { resolveCompactThreshold } = await import("../config.mjs")
+      const { resolveCompactThreshold } = await import("@thincoder/core/config.mjs")
       agent.config.agent.compactThreshold = resolveCompactThreshold(null, agent.provider).value
     }
     // agent.config 是 loadConfig merged——无 active* 键可写——defaultModel 随内存 merged 更新
@@ -226,7 +226,7 @@ export function createWizard(ctx) {
       agent.config.embedding ??= {}
       agent.config.embedding.apiKey = f.embedkey
       if (agent.memory && !agent.memory.embedder) {
-        const { createEmbedder } = await import("../embedding.mjs")
+        const { createEmbedder } = await import("@thincoder/core/embedding.mjs")
         agent.memory.embedder = createEmbedder(agent.config.embedding)
       }
       pushLine(`Vector search enabled (${agent.config.embedding.model ?? "BAAI/bge-m3"})`, C.tool)

package/src/tui/wrapped-spawn.mjs

@@ -2,11 +2,11 @@
  * spawn 子（自身 bin）tee stderr → 终端 + crash-reports/tui-stderr-<ts>-<pid>.log（外部终止/
  * native abort——fd 2 进程内不可改——诊断唯一默认捕获路）。子死 → 日志收尾 → 同码退（null 映射
  * code??(signal?1:0)——评审 #1）；spawn error → 注日志 + exit 1（评审 #5——不挂死）。 */
-import { appendFileSync, mkdirSync, writeFileSync } from "node:fs"
+import { appendFileSync, mkdirSync, writeFileSync, readFileSync } from "node:fs"
 import { spawn } from "node:child_process"
 import { fileURLToPath } from "node:url"
 import { crashReportsDir } from "../crash-reports.mjs"
-import { RECOVERY_SEQUENCE } from "./tui-lifecycle.mjs"
+import { RECOVERY_SEQUENCE, writeLoadingLine } from "./tui-lifecycle.mjs"
 
 // F-3 信号语义（raw mode 既有 key-handler 双按语义——Ctrl+C = stdin 字节不产生信号 → 子正常退 → 父收
 // exit 同码退）：父忽略 SIGINT/SIGTERM——tee 不被打断。2026-09-09 实测：Windows process.kill(SIGINT)
@@ -21,6 +21,10 @@ export function spawnTuiWrapped({ dir = crashReportsDir(), script = fileURLToPat
     logPath = `${dir}/tui-stderr-${Date.now()}-${process.pid}.log`
     writeFileSync(logPath, `# tui-stderr ${new Date().toISOString()} pid=${process.pid} argv=${JSON.stringify(process.argv)}\n`, { flag: "a", mode: 0o600 })
   } catch { return false }
+  // ①⸸ 启动加载行（spawn 前——回车后立刻可见 ✗ 冷启动期非黑）：复用 tui-lifecycle.writeLoadingLine（修正轮 F-A ✗ 父段副本删）
+  let v = ""
+  try { v = JSON.parse(readFileSync(new URL("../../package.json", import.meta.url), "utf8")).version } catch { /* 尽力面——读失败 → 无版本尾 */ }
+  writeLoadingLine(writeImpl, v)
   process.on("SIGINT", ignoreSignal); process.on("SIGTERM", ignoreSignal) // 父忽略信号（F-3）——tee 不被打断
   process.stderr.on("error", ignoreSignal) // 父 stderr 异步 EPIPE（终端/管道已关）→ 不炸父——tee 继续
   const note = (s) => { try { appendFileSync(logPath, s) } catch { /* 落盘尽力面——不阻断 tee */ } }

package/src/abort-provenance.mjs

@@ -1,116 +0,0 @@
-/**
- * abort-provenance.mjs — abort 来源标注词汇表（单一权威源——AGENT-LOOP.md §20.3 第 1/2 条）
- *
- * 子代理 / 评审 / 会诊死亡的可诊断性：产生点标注结构化来源（`err.abortInfo`）→
- * controller 链 hop 逐跳保 reason（§20.3 第 4 条 #10）→ 结算 / 报告面用 `deathLine`
- * 合成死亡行（原 message 前缀逐字保留 + 来源后缀）。
- *
- * 纯函数、零 import——任意层可引、无环（provider / proxy / agent / settle 族共用）。
- * 词汇表：
- * - trigger（5 值）：`user`（reason.interrupt）· `timeout`（TimeoutError / 定时器面）·
- *   `cancel`（定向中止）· `stop`（整批 / 会话 / 回合级停）· `unknown`（残留 / 未标注——告警态）。
- * - layer（3 值）：`provider` / `agent` / `settle`；未标注错误回落 `unrecorded`（合成器 token）。
- */
-
-/** trigger 枚举权威（测试锁计数 5——AGENT-LOOP.md §20.3 第 1 条表）。 */
-export const TRIGGERS = ["user", "timeout", "cancel", "stop", "unknown"]
-
-/**
- * trigger 判定（判据序 = §20.3 第 1 条表；signal.reason 四形态：
- * ① `{interrupt:true(,message)}`（既有 user 面）② `TimeoutError`（原生——timeout 面）
- * ③ `{abortTrigger:"cancel"|"stop"|"timeout"(,abortDetail)}`（新增——程序性中止）
- * ④ 缺失 / 无已知键（→ unknown——诊断告警态，不得静默）。
- */
-export function triggerOf(signal) {
-  const reason = signal?.reason
-  if (reason == null) return "unknown"
-  if (reason.interrupt === true) return "user"
-  if (reason.name === "TimeoutError" || reason.abortTrigger === "timeout") return "timeout"
-  if (reason.abortTrigger === "cancel") return "cancel"
-  if (reason.abortTrigger === "stop") return "stop"
-  return "unknown"
-}
-
-/**
- * 产生点错误（abort 面）：AbortError + `reason` 透传 + `abortInfo` 标注。
- * message 取既有通用文案（既有前缀断言零回归——死亡行前缀逐字保留）。
- */
-export function abortError(signal, layer, detail) {
-  const e = new DOMException("The operation was aborted", "AbortError")
-  e.reason = signal?.reason
-  e.abortInfo = { trigger: triggerOf(signal), layer, detail }
-  return e
-}
-
-/**
- * 产生点错误（定时器面）：自有 message + `abortInfo{trigger:"timeout"}`。
- * name 保持 "Error"（既有分类谓词——`AbortError` 分支——零变化）。
- */
-export function timeoutError(message, layer, detail) {
-  const e = new Error(message)
-  e.abortInfo = { trigger: "timeout", layer, detail }
-  return e
-}
-
-/**
- * 外部错误补标（undici / fetch 拒否等）：缺 `abortInfo` 才补（不覆盖产生点标注）；
- * 不改 `name` / `message`（消费面零回归）。
- * 第 4 参 detail 为站点名（站点表逐站点传——自由短串）。
- */
-export function annotateAbort(err, signal, layer, detail) {
-  if (err?.abortInfo) return err
-  try {
-    err.abortInfo = { trigger: triggerOf(signal), layer, detail: detail ?? "unrecorded" }
-  } catch { /* frozen error——保持未标注（合成器 unknown 告警兜底） */ }
-  return err
-}
-
-/** 死亡行长度上限（AGENT-LOOP.md §20.3 第 3 条——超长优先截 detail）。 */
-const MAX_LEN = 300
-/** unknown 形态 detail token（§20.3 第 3 条逐字）。 */
-const NO_REASON = "no reason on signal"
-/** 未标注回落 token（layer / detail 两面兜底）。 */
-const UNRECORDED = "unrecorded"
-
-/** 信号域 detail 回落（§20.3 第 1 条形态③——`abortDetail` 载站点名；错误未标注时仍可辨发起动作）。 */
-const detailOf = (signal) => (typeof signal?.reason?.abortDetail === "string" ? signal.reason.abortDetail : null)
-
-/** 求值链（§20.3 第 1 条：err.abortInfo → triggerOf(signal) → err.name 兜底）。 */
-function resolveAbort(err, signal) {
-  const info = err?.abortInfo
-  if (info?.trigger) return { trigger: info.trigger, layer: info.layer ?? UNRECORDED, detail: info.detail || null }
-  const fromSignal = triggerOf(signal)
-  if (fromSignal !== "unknown") return { trigger: fromSignal, layer: UNRECORDED, detail: detailOf(signal) }
-  if (err?.name === "TimeoutError") return { trigger: "timeout", layer: UNRECORDED, detail: detailOf(signal) }
-  // AbortError / 无名——告警态（unknown 显式，空后缀即违规）
-  return { trigger: "unknown", layer: UNRECORDED, detail: NO_REASON }
-}
-
-/** detail 裁剪：优先截 detail（budget = 上限内剩余字符）。 */
-function clipDetail(detail, budget) {
-  if (budget <= 0) return ""
-  return detail.length <= budget ? detail : detail.slice(0, Math.max(1, budget - 1)) + "…"
-}
-
-/**
- * 死亡行合成器（§20.3 第 3 条——报告面单点）：
- * `<原 message>[ ← cause: <cause.message>][ · abort(<trigger>@<layer>:<detail>)]`
- * - 原 message 前缀逐字保留（既有前缀 / 包含断言零回归）；
- * - 后缀出现条件 = `err.abortInfo` 存在 ∨ `signal?.aborted` ∨ `err.name ∈ {AbortError, TimeoutError}`；
- * - cause 段（P1）独立于后缀（"fetch failed" 类网络死亡真因同判）；
- * - 总长 ≤300 字符（超长先截 detail，仍超再截尾）。
- */
-export function deathLine(err, signal) {
-  let line = err?.message ?? String(err ?? "")
-  if (err?.cause?.message) line += ` ← cause: ${err.cause.message}`
-  const abortish = Boolean(err?.abortInfo) || Boolean(signal?.aborted) ||
-    err?.name === "AbortError" || err?.name === "TimeoutError"
-  if (abortish) {
-    const { trigger, layer, detail } = resolveAbort(err, signal)
-    const head = `${line} · abort(${trigger}@${layer}:`
-    // unknown 形态逐字用告警 token（§20.3 第 3 条——站点 detail 不进告警行）；非串 detail 归一化
-    const text = trigger === "unknown" ? NO_REASON : (detail == null ? UNRECORDED : String(detail))
-    line = `${head}${clipDetail(text, MAX_LEN - head.length - 1)})`
-  }
-  return line.length > MAX_LEN ? line.slice(0, MAX_LEN - 1) + "…" : line
-}

package/src/advisor/citations.mjs

@@ -1,139 +0,0 @@
-/**
- * citations.mjs — host-verified citation checking (decision d698434).
- * Extracted from advisor/run.mjs (file-size split). The evidence rule becomes
- * a host fact: every `file:line: content` reference in a review is mechanically
- * checked against the CURRENT disk state; mismatches mark the finding
- * unverified and cannot support a push-back.
- *
- * 第 11 批（C / F14 / §14.5）：解析候选 = cwd + **评审对象声明范围派生根**（声明仓根 /
- * 声明文件目录 / 声明目录——纯路径派生，零扫描、零 git）；命中判据三条件全中（围栏内 ∧
- * 可读 ∧ 目标行含引文内容）⇒ 零新增假命中。失败原因三分（file unreadable /
- * content mismatch @ path / path traversal）——父侧不再人肉复核。
- */
-import { readFileSync, realpathSync } from "node:fs"
-import { resolve, relative, dirname, extname, sep, isAbsolute, join } from "node:path"
-
-// `file:line: content` citations — the file group is narrowed to source/config
-// extensions so URLs (`example.com:8080: …`) don't become false-positive
-// citations that fail as "file unreadable" in the verification report.
-// Single-letter extensions (c/h) are kept — false positives (e.g. "a.c:1: x")
-// are rare and only add a failed-citation line to the report; the report is
-// advisory for the parent agent, never a crash path.
-const CITATION_RE = /([\w./\\-]+\.(?:mjs|cjs|js|ts|jsx|tsx|mts|cts|py|rs|go|c|h|cpp|hpp|java|rb|php|sh|bash|json|md|markdown|mdx|yaml|yml|toml|css|html)):(\d+):\s*([^`\n]{4,})/g
-
-/** Extract `file:line: content` citations from a review text. */
-export function extractCitations(text) {
-  const out = []
-  for (const m of text.matchAll(CITATION_RE)) {
-    out.push({ file: m[1], line: Number(m[2]), content: m[3].trim() })
-  }
-  return out
-}
-
-/** 候选解析根（§14.5——纯路径派生，候选顺序 = cwd → 各声明路径的派生根）：
- *  声明仓根（`cwd/<segs[0]>`）与 声明文件目录 / 声明目录本身。声明在 cwd 之外 → 不派生
- *  （relative 越出 cwd 或跨盘符——候选与声明脱节即假命中面）。 */
-function citationRoots(cwd, scope) {
-  const base = resolve(cwd)
-  const roots = [base]
-  for (const s of Array.isArray(scope) ? scope : []) {
-    if (typeof s !== "string" || !s.trim()) continue
-    const abs = resolve(base, s)
-    const rel = relative(base, abs)
-    if (!rel || rel.startsWith("..") || isAbsolute(rel)) continue
-    const segs = rel.split(/[\\/]/).filter(Boolean)
-    if (segs.length === 0) continue
-    const repoRoot = join(base, segs[0])
-    const declaredDir = extname(abs) ? dirname(abs) : abs
-    for (const r of [repoRoot, declaredDir]) if (!roots.includes(r)) roots.push(r)
-  }
-  return roots
-}
-
-/** 单引文解析（§14.5）：按候选顺序试 `resolve(root, file)`；三条件全中才算命中。
- *  @returns {{matched: true, root: string, resolved: string}|{matched: false, reason: string}} */
-function resolveCitation(citation, roots, base) {
-  const fence = base + sep
-  let mismatch = null
-  let traversal = false
-  for (const root of roots) {
-    let real
-    try {
-      // Path confinement: citation paths are LLM-generated — never trust them.
-      // A hallucinated "../config.json" would otherwise read (and leak via the
-      // report) files outside the project, including API-key configs.
-      // realpathSync resolves symlinks too — a link inside the project that
-      // points outside must not pass the prefix check.
-      real = realpathSync(resolve(root, citation.file))
-    } catch {
-      continue // 该候选无此文件（或不可解析）——试下一候选
-    }
-    if (!real.startsWith(fence)) { traversal = true; continue }
-    let line = ""
-    try {
-      line = readFileSync(real, "utf8").split("\n")[citation.line - 1] ?? ""
-    } catch {
-      continue // 存在但读不了（目录等）——按未命中处理，试下一候选
-    }
-    if (line.includes(citation.content)) {
-      return { matched: true, root, resolved: relative(base, real).split(sep).join("/") }
-    }
-    mismatch ??= real
-  }
-  if (mismatch) return { matched: false, reason: `content mismatch @ ${relative(base, mismatch).split(sep).join("/")}` }
-  if (traversal) return { matched: false, reason: "path traversal" }
-  return { matched: false, reason: "file unreadable" }
-}
-
-/**
- * Mechanically verify citations against the CURRENT file state: read the file,
- * take the exact line, check it CONTAINS the quoted content. Reports
- * N/M matched + the mismatches. Unverified citations cannot support a
- * push-back — the evidence rule becomes a host fact, not a prompt wish.
- * @param {string} text — the review text
- * @param {string} cwd — the agent's working directory (workspace root)
- * @param {{scope?: string[]}} [opts] — scope = 评审对象声明路径（documents + paths）；
- *   省略 ⇒ 旧行为（仅 cwd 候选——签名向后兼容）。
- */
-export function verifyCitations(text, cwd, opts = {}) {
-  const citations = extractCitations(text)
-  const matched = []
-  const failed = []
-  const base = resolve(cwd)
-  const roots = citationRoots(cwd, opts?.scope)
-  for (const c of citations) {
-    const r = resolveCitation(c, roots, base)
-    if (r.matched) {
-      // 命中根记录（§14.5）：经派生根解析（非 cwd 直解）的命中在报告中注明解析路径。
-      matched.push(r.root === base ? c : { ...c, root: r.root, resolved: r.resolved })
-    } else {
-      failed.push({ ...c, reason: r.reason })
-    }
-  }
-  return { total: citations.length, matched, failed }
-}
-
-/** Append the verification report to the review text (visible to the parent agent). */
-export function appendCitationReport(text, cwd, opts = {}) {
-  const { total, matched, failed } = verifyCitations(text, cwd, opts)
-  if (total === 0) return text // no citations — nothing to verify
-  const lines = [
-    "",
-    "---",
-    `[host-verified] ${matched.length}/${total} citations match current file state.`,
-  ]
-  // 命中根透明（F14/§14.5）：经声明范围派生根解析的命中逐条注明解析路径（cwd 直解的不列
-  // ——零噪音；列的正是修复前会被误报为 unreadable 的裸路径引用）。
-  const derived = matched.filter((c) => c.resolved)
-  if (derived.length > 0) {
-    lines.push("Citations resolved via the declared review scope (bare path — resolved root noted):")
-    for (const c of derived.slice(0, 10)) lines.push(`- ${c.file}:${c.line} → ${c.resolved}`)
-  }
-  if (failed.length > 0) {
-    lines.push("Citations that do NOT match the current file state (treat their claims as unverified):")
-    for (const f of failed.slice(0, 10)) {
-      lines.push(`- ${f.file}:${f.line}: ${f.content.slice(0, 80)}${f.reason ? ` (${f.reason})` : ""}`)
-    }
-  }
-  return text + lines.join("\n")
-}