@thincoder/core 0.9.5 → 0.10.2

package/CHANGELOG.md

@@ -3,6 +3,55 @@
 All notable changes to the core package are documented here.
 Format: Keep a Changelog · 中文 · 号在发布时定（CalVer——见 `docs/RELEASE.md` §4）。
 
+## [0.10.2] — 2026-10-03
+
+> 0.10.1 → 0.10.2（月内 +1——发布时定号）
+
+### Added
+
+- **统一 provider 解析（#841 · 三端归一）**：核导出 `resolveProviderPlan`（回退链 = 槽渠道（持 key）→ `defaultModel` 渠道 → 首个持 key 渠道；模型面 = 槽模型 → `defaultModel`（同渠道）→ 渠道单值 → `null`；三态 = `ok` ∕ `fallback` ∕ `invalid` + `reason`）与 `resolveChannelModel`（单值转口面）。
+- **`providerState` ∕ `providerStateReason` 两键**：`loadConfig()` 落（`provider` = 解析入选渠道）+ 槽面 key 门（`applySession`——槽无 key ⇒ 跳过且不写槽）。
+
+### Changed
+
+- **「无效」语义收窄**：仅「无 provider ∥ 无 key」为 `invalid`（不可运行 ⇒ 引导配置）；「可运行而无有效 `defaultModel`」为 `fallback`（**可运行 + 必明示**——不再当无效拦下）。
+
+## [0.10.1] — 2026-10-03
+
+> 0.9.5 → 0.10.1（月切换——十月首发，发布时定号）
+
+### Added
+
+- **公开仓读取（declared sources）**：可把外部公开仓声明为「公开源」——检索 ∕ 引用 ∕ 提示词面一体支持（多仓工作区的只读面）+ 四条提示面词句与机检。
+- **会话锚解析（session-anchor）**：`projectRootView` 三态（ok ∕ ambiguous ∕ none）+ 歧义保护贯通台账 ∕ 批档 ∕ 写门——多清单工作区不再猜锚。
+- **多仓操作机制（六提示面 · 中英）**：仓 = 一个 git 仓；一档一仓；子代理只写本仓；跨仓任务分仓记录；发现物报告路由。
+- **工程纪律面**：轻通道三判据 + 一句边界（四面）∥ 命名纪律（禁生造词）∥ 单测 ∕ 集成锚定与「单测永不升集成」∥ 反膨胀判断 ∥ fix-in-place 与追认核销。
+- **`pushRecord` 缝（#726）**：人工可读行的记录追加面。
+- **settle 事件归一（#746）**：done 仅在消费时落——子代理块不再中途拼接。
+- **heap 快照采集运行期开关**（默认关）；**桌面 digest 持久化（#719）**：traces 与归档子代理块跨重载 ∕ 重挂 ∕ 换会话存活。
+- **桌面聊天面板（A+B）+ e2e 骨架** ∥ **turn-cap 续跑（F8 ∕ F9）+ slot-end 参数 + config 镜像** ∥ **空闲唤醒 p2 核**（opt-in 注入 + 中止适配——timer-wake #443 ∕ #444）∥ **子代理升级 canonical 重写 + subagent-base 单源层**（18 处去重——#442）。
+- **R8 台账刷新（核面）** + config-watch 升级 + 热重载 + L2 明细行；channels 23（13 档）。
+- **parity B1–B10 波 + 走查轮**：滚动退出 ∕ 挂起队列 ∕ 状态栏 ∕ 渲染性能 ∕ execute 修复 ∕ i18n ∕ 设置 ∕ 复制 ∕ 卡顿指示 ∕ 发送忙碌队列。
+- **`PROJECT-MANIFEST.json` 接管声明面**：codePaths ∕ index ∕ advisor 三键入驻（旧 `conventions.json` 退役）；**eng 写门豁免 aux 路径**（test/tests/scripts、.thincoder/tmp）。
+
+### Changed
+
+- **测试面重整**：全仓旧套件退役（五包——runner 骨架保留，空 = 绿）；开发期测试件 36 档退役（-213 例）+ 锁型测试件 10 档退役（-87 例）；单测 = 批内件（随批档，可复跑）。
+- **规则上收（R10）**：薄壳规则纯搬迁入核（字节一致探针）；VSC 壳重指向。
+- **提示词面**：EN 面 parity 收正（#721）∥ `batch_segment` 过渡别名退役 ∥ 模式口径收正（文档系统模式无关）∥ 轻通道收口（#725——提醒点 + 跨会话承接）。
+
+### Fixed
+
+- **批档 CRLF 容忍 + CLI 粘贴生命周期（#732 ∕ #733）**；**VSC 粘贴临时件写时清扫（#735——有界临时目录）**。
+- **会话台账可靠性核**：懒校验 + 写安全 + 空值 ∕ `—` 显示；**会话列表按磁盘槽扫描**（resume 门 + 18 例）。
+- **manifest 写守卫**：不可信 base 拒写（G1–G11）；**台账工具参数守卫** + 写门 null ∕ empty `task_book`（AC-M2-15）。
+- **项目相对守卫面 + 台账读守卫**（ledger-tools 拆分）；**`ledger_close` 追认核销路径**。
+- **桌面残项**：恢复态播种 ∥ user-block md 深度 ∥ 事件拆分。
+
+### Removed
+
+- **`conventions.json` 退役**（`PROJECT-MANIFEST.json` 单源）；旧测试套件族（锁型 ∕ 开发期——见 Changed）。
+
 ## [0.9.5] — 2026-09-25
 
 > 0.9.4 → 0.9.5（月内序号——发布时定号）

package/README.md

@@ -82,7 +82,7 @@ Per-release notes and artifacts: `CHANGELOG.md` in this package and the [GitHub
 The core lives in `thincoder-core/` of the ThinCoder repository; bug reports and questions go to the
 repository issue tracker. Two conventions shape every change: pure ESM `.mjs` with no build step, and
 zero third-party dependencies — if the Node.js standard library can do it, no third-party package is
-allowed. `npm test` runs the offline unit suite; it runs again on release through `prepublishOnly`.
+allowed. `npm test` runs the repo suite entry (`node test/run.mjs`); after the 2026-09-28 full reset the suite manifest is empty (zero tests = green — collection self-checks still run). Unit tests live as batch-local files under `docs/batches/` in the repository — current state: `docs/core/design/TESTING.md` §2.3. It runs again on release through `prepublishOnly`.
 Mechanism design documents live in the repository under `docs/core/design/`.
 
 ## License

package/abort-provenance.mjs

@@ -1,8 +1,8 @@
 /**
- * abort-provenance.mjs — abort 来源标注词汇表（单一权威源——AGENT-LOOP.md §20.3 第 1/2 条）
+ * abort-provenance.mjs — abort 来源标注词汇表（单一权威源——AGENT-LOOP-SUBAGENT.md §6.12）
  *
  * 子代理 / 评审 / 会诊死亡的可诊断性：产生点标注结构化来源（`err.abortInfo`）→
- * controller 链 hop 逐跳保 reason（§20.3 第 4 条 #10）→ 结算 / 报告面用 `deathLine`
+ * controller 链 hop 逐跳保 reason（AGENT-LOOP-SUBAGENT.md §6.12 形态④ #10）→ 结算 / 报告面用 `deathLine`
  * 合成死亡行（原 message 前缀逐字保留 + 来源后缀）。
  *
  * 纯函数、零 import——任意层可引、无环（provider / proxy / agent / settle 族共用）。
@@ -12,11 +12,11 @@
  * - layer（3 值）：`provider` / `agent` / `settle`；未标注错误回落 `unrecorded`（合成器 token）。
  */
 
-/** trigger 枚举权威（测试锁计数 5——AGENT-LOOP.md §20.3 第 1 条表）。 */
+/** trigger 枚举权威（测试锁计数 5——AGENT-LOOP-SUBAGENT.md §6.12 trigger 表）。 */
 export const TRIGGERS = ["user", "timeout", "cancel", "stop", "unknown"]
 
 /**
- * trigger 判定（判据序 = §20.3 第 1 条表；signal.reason 四形态：
+ * trigger 判定（判据序 = AGENT-LOOP-SUBAGENT.md §6.12 第 1 条表；signal.reason 四形态：
  * ① `{interrupt:true(,message)}`（既有 user 面）② `TimeoutError`（原生——timeout 面）
  * ③ `{abortTrigger:"cancel"|"stop"|"timeout"(,abortDetail)}`（新增——程序性中止）
  * ④ 缺失 / 无已知键（→ unknown——诊断告警态，不得静默）。
@@ -65,17 +65,17 @@ export function annotateAbort(err, signal, layer, detail) {
   return err
 }
 
-/** 死亡行长度上限（AGENT-LOOP.md §20.3 第 3 条——超长优先截 detail）。 */
+/** 死亡行长度上限（AGENT-LOOP-SUBAGENT.md §6.12 死亡行形态——超长优先截 detail）。 */
 const MAX_LEN = 300
-/** unknown 形态 detail token（§20.3 第 3 条逐字）。 */
+/** unknown 形态 detail token（AGENT-LOOP-SUBAGENT.md §6.12 逐字）。 */
 const NO_REASON = "no reason on signal"
 /** 未标注回落 token（layer / detail 两面兜底）。 */
 const UNRECORDED = "unrecorded"
 
-/** 信号域 detail 回落（§20.3 第 1 条形态③——`abortDetail` 载站点名；错误未标注时仍可辨发起动作）。 */
+/** 信号域 detail 回落（AGENT-LOOP-SUBAGENT.md §6.12 形态③——`abortDetail` 载站点名；错误未标注时仍可辨发起动作）。 */
 const detailOf = (signal) => (typeof signal?.reason?.abortDetail === "string" ? signal.reason.abortDetail : null)
 
-/** 求值链（§20.3 第 1 条：err.abortInfo → triggerOf(signal) → err.name 兜底）。 */
+/** 求值链（§6.12 第 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 }
@@ -93,7 +93,7 @@ function clipDetail(detail, budget) {
 }
 
 /**
- * 死亡行合成器（§20.3 第 3 条——报告面单点）：
+ * 死亡行合成器（§6.12 第 3 条——报告面单点）：
  * `<原 message>[ ← cause: <cause.message>][ · abort(<trigger>@<layer>:<detail>)]`
  * - 原 message 前缀逐字保留（既有前缀 / 包含断言零回归）；
  * - 后缀出现条件 = `err.abortInfo` 存在 ∨ `signal?.aborted` ∨ `err.name ∈ {AbortError, TimeoutError}`；
@@ -108,7 +108,7 @@ export function deathLine(err, signal) {
   if (abortish) {
     const { trigger, layer, detail } = resolveAbort(err, signal)
     const head = `${line} · abort(${trigger}@${layer}:`
-    // unknown 形态逐字用告警 token（§20.3 第 3 条——站点 detail 不进告警行）；非串 detail 归一化
+    // unknown 形态逐字用告警 token（§6.12 第 3 条——站点 detail 不进告警行）；非串 detail 归一化
     const text = trigger === "unknown" ? NO_REASON : (detail == null ? UNRECORDED : String(detail))
     line = `${head}${clipDetail(text, MAX_LEN - head.length - 1)})`
   }

package/advisor/citations.mjs

@@ -5,7 +5,7 @@
  * checked against the CURRENT disk state; mismatches mark the finding
  * unverified and cannot support a push-back.
  *
- * 第 11 批（C / F14 / §14.5）：解析候选 = cwd + **评审对象声明范围派生根**（声明仓根 /
+ * 第 11 批（C / F14 / `ADVISOR-GUARDS.md §3`）：解析候选 = cwd + **评审对象声明范围派生根**（声明仓根 /
  * 声明文件目录 / 声明目录——纯路径派生，零扫描、零 git）；命中判据三条件全中（围栏内 ∧
  * 可读 ∧ 目标行含引文内容）⇒ 零新增假命中。失败原因三分（file unreadable /
  * content mismatch @ path / path traversal）——父侧不再人肉复核。
@@ -30,7 +30,7 @@ export function extractCitations(text) {
   return out
 }
 
-/** 候选解析根（§14.5——纯路径派生，候选顺序 = cwd → 各声明路径的派生根）：
+/** 候选解析根（`ADVISOR-GUARDS.md §3`——纯路径派生，候选顺序 = cwd → 各声明路径的派生根）：
  *  声明仓根（`cwd/<segs[0]>`）与 声明文件目录 / 声明目录本身。声明在 cwd 之外 → 不派生
  *  （relative 越出 cwd 或跨盘符——候选与声明脱节即假命中面）。 */
 function citationRoots(cwd, scope) {
@@ -50,7 +50,7 @@ function citationRoots(cwd, scope) {
   return roots
 }
 
-/** 单引文解析（§14.5）：按候选顺序试 `resolve(root, file)`；三条件全中才算命中。
+/** 单引文解析（`ADVISOR-GUARDS.md §3`）：按候选顺序试 `resolve(root, file)`；三条件全中才算命中。
  *  @returns {{matched: true, root: string, resolved: string}|{matched: false, reason: string}} */
 function resolveCitation(citation, roots, base) {
   const fence = base + sep
@@ -104,7 +104,7 @@ export function verifyCitations(text, cwd, opts = {}) {
   for (const c of citations) {
     const r = resolveCitation(c, roots, base)
     if (r.matched) {
-      // 命中根记录（§14.5）：经派生根解析（非 cwd 直解）的命中在报告中注明解析路径。
+      // 命中根记录（`ADVISOR-GUARDS.md §3`）：经派生根解析（非 cwd 直解）的命中在报告中注明解析路径。
       matched.push(r.root === base ? c : { ...c, root: r.root, resolved: r.resolved })
     } else {
       failed.push({ ...c, reason: r.reason })
@@ -122,7 +122,7 @@ export function appendCitationReport(text, cwd, opts = {}) {
     "---",
     `[host-verified] ${matched.length}/${total} citations match current file state.`,
   ]
-  // 命中根透明（F14/§14.5）：经声明范围派生根解析的命中逐条注明解析路径（cwd 直解的不列
+  // 命中根透明（F14/`ADVISOR-GUARDS.md §3`）：经声明范围派生根解析的命中逐条注明解析路径（cwd 直解的不列
   // ——零噪音；列的正是修复前会被误报为 unreadable 的裸路径引用）。
   const derived = matched.filter((c) => c.resolved)
   if (derived.length > 0) {

package/advisor/compaction.mjs

@@ -4,13 +4,13 @@
  * limits + the terminal-state guards + the review-text assembler.
  *
  * estimateTokens / compactMessages moved VERBATIM (the only edit is the `pinned`
- * re-attach — F13/§14.4 #3); renderTimeline moved verbatim too, so the tail
+ * re-attach — F13/`ADVISOR-GUARDS.md §2` #3); renderTimeline moved verbatim too, so the tail
  * GENERATOR and the tail CLASSIFIER stay in one file with the assembler they
- * feed (§14.3 谓词 ↔ §14.6 结构化尾——同族单源)。拆分线 = 行数硬帽实测（见批次档 §5）。
+ * feed (`ADVISOR-GUARDS.md §1` 谓词 ↔ §4 结构化尾——同族单源)。拆分线 = 行数硬帽实测（见批次档 §5）。
  */
 
 import { providerSpec } from "../config.mjs" // 第 25 批：预算派生（与 loop.mjs:11 同源导入）
-// B4（群 B 批，CLI §18.3——F32）：CJK 加权单源（provider/rate.mjs 叶子向无环）
+// B4（群 B 批，ADVISOR-GUARDS.md §9——F32）：CJK 加权单源（provider/rate.mjs 叶子向无环）
 import { estimateText } from "../provider/rate.mjs"
 
 export const MAX_ADVISOR_TURNS = 100
@@ -22,7 +22,7 @@ export const MAX_ADVISOR_TURNS = 100
 // Context window limits
 // 上下文预算（第 25 批——120K 硬编码退场）：预算跟随评审模型窗口（providerSpec：
 // 模型规格表 × provider 级 context 覆盖）。头寸用途 = chars/4 估算误差 + 响应/协议开销
-// （内存不构成约束——设计 §16.4）；判死线仍是宿主机自限线，服务端窗口约束不变。
+// （内存不构成约束——`ADVISOR-GUARDS.md §8`）；判死线仍是宿主机自限线，服务端窗口约束不变。
 export const CONTEXT_LIMIT_RATIO = 0.8  // 判死线 = 窗口 × 0.8
 const COMPACT_TRIGGER_RATIO = 0.8       // 压缩触发 = 判死线 × 0.8（既有关系零改）
 
@@ -37,7 +37,7 @@ export const REVIEW_TIMEOUT_MS = 600_000 // whole review timeout (10 minutes)
 export const MAX_RESULT_CHARS = 64 * 1024 // tool result truncation (line-aware; 64K, aligned with main offload limit)
 const MAX_KEY_FILES_IN_COMPACTION = 5 // files named in the compaction summary
 
-/** Estimate token count from messages（B4——群 B 批 CLI §18.3：扁平 chars/4 改 `estimateText`
+/** Estimate token count from messages（B4——群 B 批 ADVISOR-GUARDS.md §9：扁平 chars/4 改 `estimateText`
  *  加权式——ASCII/4 + 非 ASCII/1；纯 ASCII 与旧式逐值相等；CJK 低估 ~3-4× 修正；
  *  walker（content / tool_calls 两源）与计数口径零改）。 */
 export function estimateTokens(messages) {
@@ -71,7 +71,7 @@ export function compactMessages(messages, pinned = null) {
   const filesPart = keyFiles.length > 0 ? ` Key files examined: ${keyFiles.join(", ")}` : ""
   const summary = `Earlier exploration: ${toolCount} tool calls completed.${filesPart}`
 
-  // F13（第 11 批 §14.4 #3）：压缩丢掉的正是**首条 user 消息**（评审简报，含 token）——
+  // F13（第 11 批 · `ADVISOR-GUARDS.md §2` #3）：压缩丢掉的正是**首条 user 消息**（评审简报，含 token）——
   // pinned 由评审参数构建（非模型输出），在本次压缩动作内作为一条 user 消息重挂（幂等可读：
   // 重复压缩允许重复挂回，不做存在性判定）。
   const pin = pinned ? [{ role: "user", content: pinned }] : []
@@ -83,10 +83,10 @@ export function compactMessages(messages, pinned = null) {
 }
 
 // ─────────────────────────────────────────────────────────────────────────────
-// 不完整判定族（A / F16 共用单谓词——§14.3；六 kind = 宿主尾族）
+// 不完整判定族（A / F16 共用单谓词——`ADVISOR-GUARDS.md §1`；六 kind = 宿主尾族）
 // ─────────────────────────────────────────────────────────────────────────────
 
-/** 宿主尾族六 kind 的块首行逐字前缀（§14.3 表）。变量段（token 数 / 秒数 / 工具轮数）
+/** 宿主尾族六 kind 的块首行逐字前缀（`ADVISOR-GUARDS.md §1` 表）。变量段（token 数 / 秒数 / 工具轮数）
  *  不入前缀——取各尾的固定字面部分；`review_failed` = run.mjs catch 的字符串 resolve
  *  形态（不 throw），其余五条 = renderTimeline 尾（loop.mjs）。 */
 const ADVISOR_INCOMPLETE_PREFIXES = [
@@ -100,7 +100,7 @@ const ADVISOR_INCOMPLETE_PREFIXES = [
 
 /** 单谓词（三消费点同源：design 结算 / code 完成守卫 / 报告提示）——**块首行扫描**（按空行
  *  分块，逐块取首行 trim 后测前缀；时间线与尾以空行相接，六条尾均以块首行形态落地）。
- *  负向精度（§14.3 修正轮）：引文中同串的**非块首形态**（围栏内行 / 表格行 / 引用行）不判
+ *  负向精度（`ADVISOR-GUARDS.md §1` 修正轮）：引文中同串的**非块首形态**（围栏内行 / 表格行 / 引用行）不判
  *  incomplete；块首裸行引用同串的残余误报方向安全（fail-closed——多付一轮重跑，如实登记）。
  *  @returns {string|null} kind 或 null */
 export function advisorIncompleteMarker(text) {
@@ -116,7 +116,7 @@ export function advisorIncompleteMarker(text) {
 }
 
 // ─────────────────────────────────────────────────────────────────────────────
-// 预算提示 + 结构化超时尾（D / F15——§14.6 #2/#3）
+// 预算提示 + 结构化超时尾（D / F15——`ADVISOR-GUARDS.md §4` #2/#3）
 // ─────────────────────────────────────────────────────────────────────────────
 
 /** 0.75 一次性预算提示判定（纯函数——阈值两侧可机测；每场评审至多一次）。 */
@@ -124,14 +124,14 @@ export function shouldBudgetNudge(elapsedMs, budgetMs, nudged) {
   return !nudged && Number.isFinite(budgetMs) && budgetMs > 0 && elapsedMs >= budgetMs * 0.75
 }
 
-/** 预算提示文案（逐字——§14.6 #2；由循环注入一条 user 消息）。 */
+/** 预算提示文案（逐字——`ADVISOR-GUARDS.md §4` #2；由循环注入一条 user 消息）。 */
 export function budgetNudgeText(elapsedMs, budgetMs) {
   const secs = (ms) => Math.round(ms / 100) / 10
   const pct = Math.round((elapsedMs / budgetMs) * 100)
   return `⏳ review budget: ~${pct}% consumed (${secs(elapsedMs)}s of ${secs(budgetMs)}s). Converge now: emit your findings table for the evidence you have verified, mark anything you could not verify explicitly as \`unverified\` (unverified evidence must not support a pass), and emit your verdict line.`
 }
 
-/** 结构化超时尾（§14.6 #3）：族前缀 `Advisor: review timeout after {S}s.` 逐字保持
+/** 结构化超时尾（`ADVISOR-GUARDS.md §4` #3）：族前缀 `Advisor: review timeout after {S}s.` 逐字保持
  *  （判定族字面依赖）；其后 = 机读统计（rounds / tool calls / review text produced）
  *  + 可执行恢复指引（narrower scope / 调预算）。 */
 export function timeoutTail(timeoutMs, rounds, toolCalls, producedText) {
@@ -154,9 +154,10 @@ export const ADVISOR_THINKING_PLACEHOLDER = "\n[thinking…]\n"
 
 /**
  * Tool-call progress line summary delegates to the single source describeToolArgs
- * (../tui/tool-args.mjs) — the same function main-agent tool blocks and subagent
- * blocks use. 2026-08-31: replaced the local picker (action/path/pattern/command-only)
- * so advisor progress lines show the quoted-path forms everywhere else.
+ * (../tool-args.mjs — B7 1a 上提核件单源；CLI `tui/tool-args.mjs` = 核件同名转口) — the same
+ * function main-agent tool blocks and subagent blocks use. 2026-08-31: replaced the local
+ * picker (action/path/pattern/command-only) so advisor progress lines show the quoted-path
+ * forms everywhere else.
  */
 /**
  * Render the ordered review timeline — thinking / tool progress / final text

package/advisor/loop.mjs

@@ -3,7 +3,7 @@
  * review timeline (split out of advisor/run.mjs, 第 11 批 — run.mjs was 498/500
  * 硬帽；拆分保持既有 import 面：run.mjs 继续 re-export 本文件导出）。
  *
- * 第 11 批（F15/§14.6）：每次 chat 调用携带硬墙信号（`AbortSignal.any([signal,
+ * 第 11 批（F15/`ADVISOR-GUARDS.md §4`）：每次 chat 调用携带硬墙信号（`AbortSignal.any([signal,
  * AbortSignal.timeout(remaining)])`；墙判定绑信号状态——抛错 / partial 两形态同判），
  * 并按 0.75 一次性预算提示 + 结构化超时尾收尾；守卫与限额函数在 compaction.mjs。
  */
@@ -56,7 +56,7 @@ export { advisorToolsFor, advisorToolsFor as _advisorToolsFor }
  * the panel keeps moving while the advisor explores — otherwise the panel sits
  * frozen through every tool-call phase and the review appears to have stalled.
  *
- * @param {string|null} [pinned] — 第 11 批：压缩定锚简报（评审参数构建——F13/§14.4 #3）。
+ * @param {string|null} [pinned] — 第 11 批：压缩定锚简报（评审参数构建——F13/`ADVISOR-GUARDS.md §2` #3）。
  * @param {{now?: Function, chat?: Function, describeArgs?: Function}} [seams] — 测试缝 + ④ 端差注入点
  *   （默认 Date.now / chat / 无进度行——生产调用不传时进度行由端装配层补齐）。
  */
@@ -64,7 +64,7 @@ async function runAdvisorToolLoop(provider, messages, onOutput, signal, agent, c
   const now = seams.now ?? Date.now
   const chatCall = seams.chat ?? chat
   // ④ 端差注入点（CORE-UNIFICATION §2.5 #109「进度行按端注入」）：工具进度行的参数摘要
-  // 是**展示面**（CLI = `tui/tool-args.mjs` 的 `describeToolArgs`；VSC = 卡片头），不进核。
+  // 是**展示面**（单源 = 核 `tool-args.mjs` `describeToolArgs`（B7 1a）；CLI 取核件转口，VSC = 卡片头），不进核。
   // 未注入 ⇒ 不发进度行（核内零端名分支——契约 5 / 10）。端在装配层传入自己的格式化器。
   const describeArgs = seams.describeArgs ?? (() => "")
   // 第 11 批硬墙 / 预算 / 尾：实现注解见下方各点；守卫函数与 renderTimeline 在 compaction.mjs。
@@ -91,7 +91,7 @@ async function runAdvisorToolLoop(provider, messages, onOutput, signal, agent, c
   let reviewTextProduced = false
   let budgetNudged = false
   const startTime = now()
-  // 第 25 批（§16.3）：上下文预算跟随评审模型窗口——`providerSpec`（模型规格表 × provider 级
+  // 第 25 批（`ADVISOR-GUARDS.md §8`）：上下文预算跟随评审模型窗口——`providerSpec`（模型规格表 × provider 级
   // context 覆盖）派生；函数体内、while 轮次外一次性（provider 全场不变），两档消费见下守卫。
   const budget = advisorContextBudget(provider)
 
@@ -106,11 +106,11 @@ async function runAdvisorToolLoop(provider, messages, onOutput, signal, agent, c
     const timeoutMs = (Number.isFinite(cfg) && cfg > 0) ? cfg : REVIEW_TIMEOUT_MS
     const elapsed = now() - startTime
     const remaining = timeoutMs - elapsed
-    // 硬墙（§14.6 #1）：预算用尽 → 结构化超时尾（首行 = 判定族 timeout 前缀）。
+    // 硬墙（`ADVISOR-GUARDS.md §4` #1）：预算用尽 → 结构化超时尾（首行 = 判定族 timeout 前缀）。
     if (remaining <= 0) {
       return renderTimeline(timeline, timeoutTail(timeoutMs, turns, toolCallCount, reviewTextProduced))
     }
-    // 0.75 一次性预算提示（§14.6 #2——同一检查点、每场评审至多一次）：注入一条 user 消息
+    // 0.75 一次性预算提示（`ADVISOR-GUARDS.md §4` #2——同一检查点、每场评审至多一次）：注入一条 user 消息
     // 促模型在墙前收敛产出（不改语义判据、不碰提示词面）。
     if (shouldBudgetNudge(elapsed, timeoutMs, budgetNudged)) {
       budgetNudged = true
@@ -143,9 +143,9 @@ async function runAdvisorToolLoop(provider, messages, onOutput, signal, agent, c
     // reasoning continues right where the placeholder sits.
     onOutput?.({ kind: "think", text: ADVISOR_THINKING_PLACEHOLDER })
 
-    // 硬墙（§14.6 #1）：单次请求信号 = 用户信号 × 本调用 deadline（remaining）。复合信号
+    // 硬墙（`ADVISOR-GUARDS.md §4` #1）：单次请求信号 = 用户信号 × 本调用 deadline（remaining）。复合信号
     // 无条件传入（上层检查与本调用之间的中止仍必须取消请求——已 aborted 的 composite 使请求
-    // 立即失败）；此处改正了原指向 provider/core.mjs 组合 AbortSignal 的陈旧注释（§14.10 #3）。
+    // 立即失败）；此处改正了原指向 provider/core.mjs 组合 AbortSignal 的陈旧注释。
     const callSignal = signal
       ? AbortSignal.any([signal, AbortSignal.timeout(remaining)])
       : AbortSignal.timeout(remaining)
@@ -158,7 +158,7 @@ async function runAdvisorToolLoop(provider, messages, onOutput, signal, agent, c
         onToken: (t) => { if (String(t ?? "").trim()) reviewTextProduced = true; onText(t) },
         onReasoning: onThink,
         // LOGGING（vscode advisor/run.mjs parity——按 stage 可 grep）
-        // §18.6 D-TR4：轨迹元数据增补——kind=advisor（评审独立于子代理——T-TR2）；role
+        // TRACES.md §6.1 D-TR4：轨迹元数据增补——kind=advisor（评审独立于子代理——T-TR2）；role
         // 透出调用方角色（eng-coder 内嵌评审时为 "eng-coder"）；session/cwd 供轨迹对回；
         // traces 开关沿 agent.config（D-TR6）。
         logCtx: {
@@ -171,7 +171,7 @@ async function runAdvisorToolLoop(provider, messages, onOutput, signal, agent, c
         },
       })
     } catch (e) {
-      // 墙判定绑信号状态（§14.6 #1——非异常名）：① 用户信号已中止 ⇒ 原样上抛（中断语义
+      // 墙判定绑信号状态（`ADVISOR-GUARDS.md §4` #1——非异常名）：① 用户信号已中止 ⇒ 原样上抛（中断语义
       // 零变）；② 复合信号已中止（墙触发）而用户信号未中止 ⇒ 结构化超时尾（形态①：抛错；
       // AbortError / TimeoutError 两名兜底——AbortSignal.timeout 的 reason 是 TimeoutError
       // DOMException）；③ 其余错误原样上抛（runAdvisorReview 的失败分类不变）。
@@ -182,7 +182,7 @@ async function runAdvisorToolLoop(provider, messages, onOutput, signal, agent, c
       throw e
     }
     if (signal?.aborted) return renderTimeline(timeline, "Advisor: interrupted.")
-    // 形态②（§14.6 #1）：不抛错而返回 partial（流已有内容时中断以 partial:true 透传）——
+    // 形态②（`ADVISOR-GUARDS.md §4` #1）：不抛错而返回 partial（流已有内容时中断以 partial:true 透传）——
     // 不得按普通结果收尾：墙触发（复合信号已中止）同判。
     if (callSignal.aborted && response?.partial) {
       return renderTimeline(timeline, timeoutTail(timeoutMs, turns, toolCallCount, reviewTextProduced))
@@ -204,7 +204,7 @@ async function runAdvisorToolLoop(provider, messages, onOutput, signal, agent, c
     // Mirrors the main agent's push (agent.mjs).
     messages.push(assistantToolCallMessage(response, providerSpec(provider)))
 
-    // B1 (AGENT-LOOP.md §18.7 D-TS7): the SAME LLM reply's multiple read-only
+    // B1: the SAME LLM reply's multiple read-only
     // tool calls run in PARALLEL (Promise.all) — results are backfilled in
     // toolCalls order (Promise.all preserves the input order → tool_call_id
     // never mismatches); each tool's timeout/error is captured independently

package/advisor/messages.mjs

@@ -15,8 +15,8 @@ import { injectProjectGuide, injectDocumentMap, injectProjectStandards, NO_GIT_N
 export { findProjectRoot, injectProjectGuide } from "./project-context.mjs"
 
 /**
- * Build the mechanical review-object declaration block (AGENT-LOOP.md §18.8
- * D-OA2 — English anchored form). Injected at the START of the review user
+ * Build the mechanical review-object declaration block (AGENT-LOOP-ASYNC-POOL.md §6.18
+ * — English anchored form). Injected at the START of the review user
  * message every round: round 1 (design + code), the legacy convergence path,
  * and the round-2+ follow-up (see buildAdvisorFollowUp) — the reviewer must
  * not re-derive "who is being reviewed / why" from the documents (T-OA2:
@@ -39,7 +39,7 @@ export function buildObjectDeclarationBlock(object = null) {
 }
 
 /**
- * Approval-signal block for design reviews (round 1 and round 2+ — §11.2 D-24b:
+ * Approval-signal block for design reviews (round 1 and round 2+ — AGENT-LOOP-ASYNC-POOL.md §6.10 D-24b:
  * an async fix-round continuation must be able to re-approve, so the token is
  * injected into EVERY design round; the reviewer echoes it only on a clean pass).
  * §29.1 F2a (2026-09-07): BOTH values are injected — the token AND the designId
@@ -67,17 +67,17 @@ export function buildDesignApprovalBlock(designToken, designId) {
  *   When set, the review input is built from this list ONLY — no git-diff change-set collection.
  *   When absent, the legacy git-diff-based scope is kept (backward compatible).
  * @param {string[]|null} [paths] — code review only: explicit list of file/dir paths to review (deduped; shown under Review Scope)
- * @param {Object|null} [object] — review-object declaration (§18.8 D-OA1/D-OA3):
+ * @param {Object|null} [object] — review-object declaration (AGENT-LOOP-ASYNC-POOL.md §6.18 D-OA1/D-OA3):
  *   { type, target, status, reason, exclude } — mechanically injected at the
  *   start of the user message; absent → no injection (legacy calls unchanged).
- * @param {string|null} [designId] — §29.1 F2a: injected next to the token in the
+ * @param {string|null} [designId] — F2a: injected next to the token in the
  *   Approval Signal (both values — the reviewer copies both verbatim); null →
  *   token-only degradation (legacy direct callers).
  * @returns {string} the user message
  */
 export function buildAdvisorUserMessage(agent, prior, reviewType, designToken = null, documents = null, paths = null, object = null, designId = null) {
   const body = buildAdvisorUserMessageInner(agent, prior, reviewType, designToken, documents, paths, object, designId)
-  // B 构建自愈（F12/§14.4 #1）：design + token 且输出不含逐字信号 ⇒ 尾包补齐 Approval Signal。
+  // B 构建自愈（F12/`ADVISOR-GUARDS.md §2` #1）：design + token 且输出不含逐字信号 ⇒ 尾包补齐 Approval Signal。
   // 覆盖所有出口（含 code 形态分支降级态与 legacy 收敛分支）——既有分支语义零改：已在分支内
   // 注入过的路径因 `[DESIGN-TOKEN:{token}` 逐字在场而不重复追加（幂等）。
   if (reviewType !== "design" || !designToken) return body

package/advisor/project-context.mjs

@@ -13,12 +13,12 @@
  * dimension it could no longer check (silent failure, the worst class: invisible
  * and unfixable by the user). Missing pieces now say so, and the reviewer is told
  * to state the limitation in its findings. Projects can point at their own files
- * through `.thincoder/conventions.json` (advisor.docMap / advisor.standardsDoc).
+ * through the project manifest (advisor.docMap / advisor.standardsDoc).
  */
 import { readFileSync, existsSync } from "node:fs"
 import { resolve, join, relative, dirname, sep } from "node:path"
 import { providerSpec } from "../config.mjs"
-import { loadConventions } from "../conventions.mjs"
+import { loadProjectDeclaration } from "../conventions.mjs"
 
 /** Project guide (AGENTS.md) injection budget — decision 2026-08-08:
  *  NO fixed truncation; long-context models (1M+) get up to 5% of their context
@@ -109,7 +109,7 @@ export function injectProjectGuide(agent, parts, scopeFiles = []) {
   // readFileSync succeeded — compute the budget OUTSIDE the try so a spec
   // lookup failure can never masquerade as "no AGENTS.md".
   // providerSpec: the project-guide budget follows the provider-level context
-  // override (PROVIDER.md §15 — advisor messages budget is context-based).
+  // override (`ADVISOR-GUARDS.md §8` — advisor messages budget is context-based).
   // 字段名归一：解析后的 provider 挂点两端其一（`provider` 本体字段 / `_provider` 运载字段）
   // ——取在场者，两形态同语义（都指本回合生效的 provider 对象）。
   const resolvedProvider = agent.provider ?? agent._provider
@@ -136,7 +136,7 @@ export function injectProjectGuide(agent, parts, scopeFiles = []) {
  */
 export function injectDocumentMap(agent, parts, root) {
   const base = root ?? agent.cwd
-  const conv = loadConventions(agent.cwd)
+  const conv = loadProjectDeclaration(agent.cwd)
   let mapPath = null
   if (conv.advisor.docMap) {
     const declared = resolve(base, conv.advisor.docMap)
@@ -174,7 +174,7 @@ export function injectDocumentMap(agent, parts, root) {
  */
 export function injectProjectStandards(agent, parts, root) {
   const base = root ?? agent.cwd
-  const conv = loadConventions(agent.cwd)
+  const conv = loadProjectDeclaration(agent.cwd)
   const declared = conv.advisor.standardsDoc ? resolve(base, conv.advisor.standardsDoc) : null
   parts.push("## Project Standards")
   let text = null

package/advisor/repos.mjs

@@ -4,7 +4,7 @@
  */
 import { execFileSync } from "node:child_process"
 import { dirname, basename, resolve } from "node:path"
-import { loadConventions, isCodePath } from "../conventions.mjs"
+import { loadProjectDeclaration, isCodePath } from "../conventions.mjs"
 
 const GIT_TIMEOUT = 5_000
 const MAX_EMBEDDED_DIFF = 50_000
@@ -118,7 +118,7 @@ export function collectChangedFiles(repos, cwd) {
 export function hasCodeMutations({ _touchedFiles, _mutatedThisRun, cwd }) {
   const files = _touchedFiles ?? []
   if (files.length === 0) return _mutatedThisRun
-  const conv = loadConventions(cwd)
+  const conv = loadProjectDeclaration(cwd)
   return files.some((p) => isCodePath(p, conv))
 }
 
@@ -126,7 +126,7 @@ export function hasCodeMutations({ _touchedFiles, _mutatedThisRun, cwd }) {
  *  Anything inside a code segment (incl. src/prompts/*.md) counts as product code —
  *  the same authority the design gate uses. Paths here are repo-relative. */
 export function isDocOnlyChange(repos, cwd) {
-  const conv = loadConventions(cwd)
+  const conv = loadProjectDeclaration(cwd)
   const targets = repos.length > 0 ? repos : [cwd]
   let sawChanges = false
   for (const repo of targets) {

package/advisor/run.mjs

@@ -9,7 +9,7 @@ import { prepareAdvisorMessages } from "../advisor.mjs"
 import { buildObjectDeclarationBlock, buildDesignApprovalBlock } from "./messages.mjs"
 import { appendCitationReport } from "./citations.mjs"
 import { runAdvisorToolLoop } from "./loop.mjs"
-import { advisorIncompleteMarker, estimateTokens } from "./compaction.mjs"
+import { estimateTokens } from "./compaction.mjs"
 import { batchDocForReview } from "../agent-tools/batch.mjs"
 
 // 拆分后 import 面（既有导出名逐一保面——re-export；谓词为本批新增）。
@@ -18,7 +18,7 @@ export { advisorToolsFor, advisorToolsFor as _advisorToolsFor } from "./loop.mjs
 export { runAdvisorToolLoop as _runAdvisorToolLoop } from "./loop.mjs"
 export { advisorIncompleteMarker } from "./compaction.mjs"
 
-/** B 启动拒绝前缀（§14.4 #2）——稳定契约单源（三消费点同串）：run.mjs 生成；同步工具面
+/** B 启动拒绝前缀（`ADVISOR-GUARDS.md §2` #2）——稳定契约单源（三消费点同串）：run.mjs 生成；同步工具面
  *  据此登记 `_advisorRefusals`；异步结算面据此不置 `_calledAdvisorThisRun`。 */
 export const ADVISOR_LAUNCH_REFUSAL_PREFIX = "Advisor: design review launch refused"
 
@@ -36,7 +36,14 @@ export function resolveAdvisorProvider(agent) {
       // 单值）；渠道无默认模型 → 父 provider 兜底（与 subagent F-2c 同构）——绝不产出静默
       // undefined-model 请求（最极端两者皆无 → chat 前 assertProviderModel fail-fast）。
       const result = cfg.model ? { ...provider, model: cfg.model } : { ...provider, model: provider.model ?? agent.provider?.model }
-      if (cfg.thinking === null || cfg.thinking === false) result.thinking = undefined  // explicitly off
+      // 台账 #329 / `MODEL-SPECS.md §15.4-3`：off 形须**活着到达载荷层**——载荷层 off 门首款 = `provider.thinking === null`
+      // （`thincoder-core/provider/core.mjs:213-219`）；归一为 `undefined` 会让该门永不开（effort 族 advisor
+      // 关思考静默失效）。显式 off 同清**继承档**（渠条目自带 / 主 provider 的 `reasoningEffort` 不得随行——
+      // 随行则显式档支先命中、off 意图作废）。`false`（非法原值）仍归一 `undefined`（零变）。
+      if (cfg.thinking === null) {
+        result.thinking = null
+        delete result.reasoningEffort
+      } else if (cfg.thinking === false) result.thinking = undefined  // invalid raw value — normalized
       else if (cfg.thinking !== undefined) result.thinking = cfg.thinking
       if (cfg.reasoningEffort !== undefined) result.reasoningEffort = cfg.reasoningEffort
       return result
@@ -47,9 +54,12 @@ export function resolveAdvisorProvider(agent) {
   }
   const provider = { ...agent.provider }
   if (cfg?.model) provider.model = cfg.model
-  // thinking off: null AND false both mean "explicitly off" — a raw `false`
+  // thinking off: null = NF1 显式 off 标记（保形——同自定义渠道分支；`MODEL-SPECS.md §15.4-3`），a raw `false`
   // value is invalid for providers that expect undefined or an object.
-  if (cfg?.thinking === null || cfg?.thinking === false) provider.thinking = undefined
+  if (cfg?.thinking === null) {
+    provider.thinking = null
+    delete provider.reasoningEffort  // 继承档（主 provider）不得随显式 off 同行
+  } else if (cfg?.thinking === false) provider.thinking = undefined
   else if (cfg?.thinking !== undefined) provider.thinking = cfg.thinking
   if (cfg?.reasoningEffort !== undefined) provider.reasoningEffort = cfg.reasoningEffort
   return provider
@@ -62,9 +72,9 @@ export function looksLikeReviewOutput(text) {
 }
 
 /**
- * 压缩定锚简报（F13/§14.4 #3）——**由评审参数构建**（非模型输出）：对象声明 / 文档清单 /
+ * 压缩定锚简报（F13/`ADVISOR-GUARDS.md §2` #3）——**由评审参数构建**（非模型输出）：对象声明 / 文档清单 /
  * Approval Signal 三锚；重内容（项目指南 / 方法论 / 文档地图）不入 pin（压缩的意义所在）。
- * 形态逐字见设计 §14.4 #3（首行为机械化重挂说明）。
+ * 形态逐字见 `ADVISOR-GUARDS.md §2` #3（首行为机械化重挂说明）。
  */
 function buildPinnedBrief(reviewType, documents, object, designToken, designId) {
   const docList = Array.isArray(documents) ? documents.filter((d) => typeof d === "string" && d.trim()) : []
@@ -84,8 +94,8 @@ function buildPinnedBrief(reviewType, documents, object, designToken, designId)
  * @param {string|null} [designToken] — injected into the design-review prompt; the advisor echoes it only on approval.
  * @param {string[]|null} [documents] — design review only: explicit list of doc paths to review; passed through to the message builder.
  * @param {string[]|null} [paths] — code review only: explicit list of file/dir paths to review.
- * @param {Object|null} [object] — review-object declaration (§18.8 D-OA1/D-OA3): { type, target, status, reason, exclude }; absent → legacy behavior (no injection).
- * @param {string|null} [designId] — §29.1 F2a: injected next to the design token in
+ * @param {Object|null} [object] — review-object declaration (AGENT-LOOP-ASYNC-POOL.md §6.18 D-OA1/D-OA3): { type, target, status, reason, exclude }; absent → legacy behavior (no injection).
+ * @param {string|null} [designId] — F2a: injected next to the design token in
  *   the Approval Signal (passed through to the message builders).
  */
 export async function runAdvisorReview(agent, reviewType, callbacks, designToken = null, documents = null, paths = null, object = null, designId = null) {
@@ -106,7 +116,7 @@ export async function runAdvisorReview(agent, reviewType, callbacks, designToken
 
   const messages = prepareAdvisorMessages(agent, reviewType, designToken, documents, paths, null, object, designId)
 
-  // B 启动断言（fail-closed——§14.4 #2）：设计评审请求内**必须**携带与本次签发 token 精确
+  // B 启动断言（fail-closed——`ADVISOR-GUARDS.md §2` #2）：设计评审请求内**必须**携带与本次签发 token 精确
   // 对应的 Approval Signal——构建面补不上就拒绝启动（不发"请回显一个不存在的 token"的请求）。
   // 拒绝报告前缀 `Advisor: design review launch refused` = 稳定契约（同步工具面据此登记
   // _advisorRefusals；异步结算面据此不置 _calledAdvisorThisRun）。工具路径恒签发 token ⇒
@@ -126,7 +136,7 @@ export async function runAdvisorReview(agent, reviewType, callbacks, designToken
   // callbacks.batchDoc（即 resolved.run 的实例绑定）；异步路径 = 本实例在跑池条目的
   // run.batchDoc（同文档集实例键——各评审各取各档，不用单值会话态）。
   const boundBatchDoc = reviewType === "design" ? batchDocForReview(agent, documents, callbacks) : null
-  // F13/§14.4 #3：压缩定锚简报（评审参数构建——压缩触发时由 compaction 重挂）。
+  // F13/`ADVISOR-GUARDS.md §2` #3：压缩定锚简报（评审参数构建——压缩触发时由 compaction 重挂）。
   const pinned = buildPinnedBrief(reviewType, documents, object, designToken, designId)
 
   try {
@@ -138,7 +148,7 @@ export async function runAdvisorReview(agent, reviewType, callbacks, designToken
     // the prior table instead of re-reading (three consecutive false reports
     // cited pre-fix line content). Unverified citations must not support a
     // push-back; the parent agent sees the verification report.
-    // F14/§14.5：解析候选 = cwd + 评审对象声明范围派生根（scope = documents + paths）。
+    // F14/`ADVISOR-GUARDS.md §3`：解析候选 = cwd + 评审对象声明范围派生根（scope = documents + paths）。
     let final = result
     if (!result.trimStart().startsWith("Advisor:")) {
       final = appendCitationReport(result, advisorCwd, { scope: [...(documents ?? []), ...(paths ?? [])] })