@thincoder/core 0.10.7 → 0.10.9

package/manifest-discovery.mjs

@@ -1,6 +1,6 @@
 /**
  * manifest-discovery.mjs — **发现 ∕ 归属族**出档（2026-09-29 structure-split-2 · 台账 #620）：自 `manifest.mjs`
- * 全量迁出〔原 `:39-143`〕——`MANIFEST_REL` · 测试注入位（`_setProjectRootForTest` / `_resetProjectRootForTest`）·
+ * 全量迁出——`MANIFEST_REL` · 测试注入位（`_setProjectRootForTest` / `_resetProjectRootForTest`）·
  * `scanChildren`（两条梯表共用 walk 内核）· `discoverProjects`（项目梯）· `discoverRepos`（仓梯）·
  * `owningProject`（归属形）· `resolveProjectRoot`（归属 ∨ 发现）；**结构拆分零语义**（面不变 ∕ 判据不变，
  * 只换宿主档；切点 ∕ 缝单源 = 批档 `docs/batches/2026-09-29-structure-split-2.md` §2.2-C）。
@@ -41,13 +41,14 @@ function scanChildren(anchor, isHit) {
 /**
  * **项目发现**（项目梯五级——KD-M1-23 / 设计 `docs/core/design/MANIFEST.md` §2.2；**git 非前提**，
  * 2026-09-21 用户裁定）：① 锚自身带 `MANIFEST_REL` ⇒ 锚；② 锚含 `.git` ⇒ 锚（缺档 = 建档机会）；
- * ③ 直接子目录中**带档**者优先（非空即只看此级：恰一 ⇒ `unique` / ≥2 ⇒ `ambiguous`）；
- * ④ 零带档才看含 `.git` 的**裸仓**（同判）；⑤ 均无 ⇒ `none`（⇒ 建档流，落点 = 会话锚）。
+ * ③ 直接子目录中**带档**者优先（非空即只看此级：恰一 ⇒ `unique` / ≥2 ⇒ `workspace`——下辖多项目
+ * = 工作区常态，非错误态）；④ 零带档才看含 `.git` 的**裸仓**（同判）；⑤ 均无 ⇒ `none`（⇒ 建档流，
+ * 落点 = 会话锚）。
  * `candidates` 一律**按名排序**（`self` / `none` ⇒ `[]`）；`matched` ∈ `manifest` / `git` / `null`
- * 记命中（或歧义）出自哪一级。**纯 fs**（只判存在性——不解析档内容）· **不抛** · **不向上** · **不递归**。
+ * 记命中（或工作区）出自哪一级。**纯 fs**（只判存在性——不解析档内容）· **不抛** · **不向上** · **不递归**。
  * **覆盖位**（`_setProjectRootForTest` 在场）⇒ **头部短路**（测试注入面——先于真判据，同 `discoverRepos`）。
  * @param {string} [cwd] 会话锚（缺省 → 进程 cwd）
- * @returns {{kind:'self'|'unique'|'none'|'ambiguous', root:string|null, candidates:string[], matched:'manifest'|'git'|null}}
+ * @returns {{kind:'self'|'unique'|'none'|'workspace', root:string|null, candidates:string[], matched:'manifest'|'git'|null}}
  */
 export function discoverProjects(cwd) {
   if (_projectRootOverride) return { kind: "self", root: resolve(_projectRootOverride), candidates: [], matched: null }
@@ -55,10 +56,10 @@ export function discoverProjects(cwd) {
   if (existsSync(join(anchor, MANIFEST_REL))) return { kind: "self", root: anchor, candidates: [], matched: "manifest" }
   if (existsSync(join(anchor, ".git"))) return { kind: "self", root: anchor, candidates: [], matched: "git" }
   const withManifest = scanChildren(anchor, (d) => existsSync(join(d, MANIFEST_REL)))
-  if (withManifest.length > 1) return { kind: "ambiguous", root: null, candidates: withManifest, matched: "manifest" }
+  if (withManifest.length > 1) return { kind: "workspace", root: null, candidates: withManifest, matched: "manifest" }
   if (withManifest.length === 1) return { kind: "unique", root: withManifest[0], candidates: [...withManifest], matched: "manifest" }
   const bareRepos = scanChildren(anchor, (d) => existsSync(join(d, ".git")))
-  if (bareRepos.length > 1) return { kind: "ambiguous", root: null, candidates: bareRepos, matched: "git" }
+  if (bareRepos.length > 1) return { kind: "workspace", root: null, candidates: bareRepos, matched: "git" }
   if (bareRepos.length === 1) return { kind: "unique", root: bareRepos[0], candidates: [...bareRepos], matched: "git" }
   return { kind: "none", root: null, candidates: [], matched: null }
 }
@@ -66,21 +67,22 @@ export function discoverProjects(cwd) {
 /**
  * **仓发现**（仓梯——KD-M1-23 / `docs/core/design/TOOLS.md` §6.13；**单源** KD-M1-22——`git` 工具
  * 经此符号接线，禁第二份实现）：① 锚含 `.git` ⇒ 锚；② 直接子目录中 `.git` **∧** 带档者恰一 ⇒ 命中
- * （≥2 ⇒ 歧义）；③ **零个此类时才看**含 `.git` 的裸仓（恰一 ⇒ 命中 / ≥2 ⇒ 歧义）；④ 均无 ⇒ `none`。
+ * （≥2 ⇒ `workspace`——下辖多仓 = 常态）；③ **零个此类时才看**含 `.git` 的裸仓（恰一 ⇒ 命中 /
+ * ≥2 ⇒ `workspace`）；④ 均无 ⇒ `none`。
  * 与 `discoverProjects` = **同一 walk 内核**（`scanChildren`）的两种梯表——差异只在谓词与级序。
  * `candidates` 按名排序；`matched` 记档位；纯 fs / 不抛 / 不递归 / 不向上；覆盖位 ⇒ 头部短路。
  * @param {string} [cwd] 会话锚（缺省 → 进程 cwd）
- * @returns {{kind:'self'|'unique'|'none'|'ambiguous', root:string|null, candidates:string[], matched:'manifest'|'git'|null}}
+ * @returns {{kind:'self'|'unique'|'none'|'workspace', root:string|null, candidates:string[], matched:'manifest'|'git'|null}}
  */
 export function discoverRepos(cwd) {
   if (_projectRootOverride) return { kind: "self", root: resolve(_projectRootOverride), candidates: [], matched: null }
   const anchor = resolve(cwd ?? ".")
   if (existsSync(join(anchor, ".git"))) return { kind: "self", root: anchor, candidates: [], matched: "git" }
   const scoped = scanChildren(anchor, (d) => existsSync(join(d, ".git")) && existsSync(join(d, MANIFEST_REL)))
-  if (scoped.length > 1) return { kind: "ambiguous", root: null, candidates: scoped, matched: "manifest" }
+  if (scoped.length > 1) return { kind: "workspace", root: null, candidates: scoped, matched: "manifest" }
   if (scoped.length === 1) return { kind: "unique", root: scoped[0], candidates: [...scoped], matched: "manifest" }
   const bare = scanChildren(anchor, (d) => existsSync(join(d, ".git")))
-  if (bare.length > 1) return { kind: "ambiguous", root: null, candidates: bare, matched: "git" }
+  if (bare.length > 1) return { kind: "workspace", root: null, candidates: bare, matched: "git" }
   if (bare.length === 1) return { kind: "unique", root: bare[0], candidates: [...bare], matched: "git" }
   return { kind: "none", root: null, candidates: [], matched: null }
 }
@@ -107,23 +109,24 @@ export function owningProject(target) {
   }
 }
 
-/** **项目根解析的歧义直读形**（判定单点——设计 `MANIFEST.md` §2.2 `projectRootView` 契约行 / §2.5
- *  「多档解析消费面收口」条）：`ok`（唯一解析：归属命中 ∥ 发现 `self` / `unique`）/ `ambiguous`
- *  （≥2 候选 ⇒ `root` null + 候选全列**按名排序**）/ `none`（无项目 ⇒ 双空）；覆盖位在场 ⇒
- *  头部短路（`ok` + 覆盖值）。**非抛错 / 零写**；`resolveProjectRoot` 薄委托本函数（行为逐字零变）。
- *  @returns {{state:'ok'|'ambiguous'|'none', root:string|null, candidates:string[]}} */
+/** **项目根解析的直读形**（判定单点——设计 `MANIFEST.md` §2.2 `projectRootView` 契约行 / §2.5
+ *  「单项目解析律与四处会话级缺省收口」条）：`ok`（唯一解析：归属命中 ∥ 发现 `self` / `unique`）/
+ *  `workspace`（锚自身无档 ∧ 下辖 **≥2** 项目 ⇒ `root` null + 下辖项目全列**按名排序**——工作区
+ *  常态，非错误态）/ `none`（无项目 ⇒ 双空）；覆盖位在场 ⇒ 头部短路（`ok` + 覆盖值）。
+ *  **非抛错 / 零写**；`resolveProjectRoot` 薄委托本函数（行为逐字零变）。
+ *  @returns {{state:'ok'|'workspace'|'none', root:string|null, candidates:string[]}} */
 export function projectRootView(cwd) {
   const owning = owningProject(cwd)
   if (owning) return { state: "ok", root: owning, candidates: [] }
   const d = discoverProjects(cwd)
   if (d.root) return { state: "ok", root: d.root, candidates: [] }
-  if (d.kind === "ambiguous") return { state: "ambiguous", root: null, candidates: d.candidates }
+  if (d.kind === "workspace") return { state: "workspace", root: null, candidates: d.candidates }
   return { state: "none", root: null, candidates: [] }
 }
 
 /** 项目根解析（**归属 ∨ 发现**——KD-M1-30 / M1-24）：**薄委托** `projectRootView(cwd).root`（判定
  *  单点见上——#828）。带档路径与批前**逐字同**；变更面两条（设计 §2.2 同条）：① 项目树内路径
- *  （祖先带档）⇒ 该项目根；② 裸仓恰一 ⇒ 该仓根（零档降级 = 建档机会）。`none` / `ambiguous` ⇒
+ *  （祖先带档）⇒ 该项目根；② 裸仓恰一 ⇒ 该仓根（零档降级 = 建档机会）。`none` / `workspace` ⇒
  *  `null`。调用方零改（行为随语义变更——设计 §2.5 键面条 / 错层条）。
  *  @returns {string|null} 项目根绝对路径 / null */
 export function resolveProjectRoot(cwd) {

package/manifest-schema.mjs

@@ -1,7 +1,7 @@
 /**
  * manifest-schema.mjs — **校验 ∕ 默认值族**出档（2026-09-29 structure-split-2 · 台账 #620）：自 `manifest.mjs`
- * 全量迁出〔原 `:194-205` + `:240-369` 两段非连续〕——`isValidDocRootValue`（docRoot 子键值形态判据）·
- * `DEFAULT_MANIFEST`（默认八键）· `MANIFEST_SCHEMA`（判据单源）· 元素层谓词两件 · `validateManifest` ·
+ * 全量迁出——`isValidDocRootValue`（docRoot 子键值形态判据）·
+ * `DEFAULT_MANIFEST`（默认八键）· `MANIFEST_SCHEMA`（判据单源）· 元素层谓词一件 · `validateManifest` ·
  * `fillDefaults`；**结构拆分零语义**（面不变 ∕ 判据不变，只换宿主档；切点 ∕ 缝单源 =
  * 批档 `docs/batches/2026-09-29-structure-split-2.md` §2.2-C）。
  *
@@ -25,6 +25,20 @@ export function isValidDocRootValue(value) {
   return value.every((p) => typeof p === "string" && p.trim() !== "")
 }
 
+/** `checkConfig.anchors.roots` **单元素值形判据**（判据单源——解析根 = 相对项目根的目录）：
+ *  合法 ⇒ `null`；非法 ⇒ 理由句（非空字符串 ∥ 相对路径 ∥ 无 `..` 越界段）。
+ *  消费面两处：产品引擎 `doc-check/anchors.mjs`（报告态逐元素弃用）∥ `doc-check/index.mjs`
+ *  （gate 面 `configError` 拒，fail-closed）。
+ * @param {unknown} value 解析根元素
+ * @returns {string|null}
+ */
+export function anchorRootError(value) {
+  if (typeof value !== "string" || value.trim() === "") return "元素须为非空字符串"
+  if (/^(?:[A-Za-z]:[\\/]|[\\/])/.test(value)) return "元素须为相对项目根的路径（不得为绝对路径）"
+  if (value.split(/[\\/]/).includes("..")) return "元素不得含 `..` 越界段"
+  return null
+}
+
 /** 默认八键（架构 §2.3 E1 五键 + 三族声明键——KD-M1-31）——整档初始化的写源与缺键 fallback 的补源。 */
 export const DEFAULT_MANIFEST = Object.freeze({
   version: 1,
@@ -41,9 +55,8 @@ export const DEFAULT_MANIFEST = Object.freeze({
     scanDirs: Object.freeze(["docs"]),
     lineWidth: 300,
     widthExemptZones: Object.freeze([]),
-    anchors: Object.freeze({ domain: "docs", exclude: Object.freeze(["_archive", "batches"]) }),
+    anchors: Object.freeze({ domain: "docs", exclude: Object.freeze(["_archive", "batches"]), roots: Object.freeze([]) }),
     exemptions: Object.freeze([]),
-    lineCounts: Object.freeze([]), // 行数面机检声明（#546）：[] = 未载惰性（doc-check 行数族）
   }),
   // 项目声明三族（2026-09-27 声明载体唯一化批并入——键名 / 形态逐字承前；来源档已退役）。
   codePaths: Object.freeze(["src"]),
@@ -72,12 +85,6 @@ function isNonEmptyStringArray(v) {
   return Array.isArray(v) && v.every((e) => typeof e === "string" && e.trim() !== "")
 }
 
-/** `checkConfig.lineCounts` 元素层判据（#546）：数组且各元素为非数组对象、`doc` / `section` 皆非空串（`trim` 后非空）；`[]` = 未载惰性。 */
-function isLineCountsValue(v) {
-  return Array.isArray(v) && v.every((e) => e !== null && typeof e === "object" && !Array.isArray(e)
-    && typeof e.doc === "string" && e.doc.trim() !== "" && typeof e.section === "string" && e.section.trim() !== "")
-}
-
 /**
  * 形状校验（模块设计 §2.2）——枚举 / version 数值恒做；**纯函数、零 fs**（原 `{ cwd }`
  * 指针分支已随字段整链裁撤——KD-M1-5 墓志）；不落盘。键存在性入 missingKeys（非拒）：
@@ -116,10 +123,6 @@ export function validateManifest(obj) {
       if (nested === "docRoot" && !isValidDocRootValue(value[sub])) {
         errors.push(`docRoot.${sub} 值形态非法：${JSON.stringify(value[sub])}（须为非空字符串 / 非空字符串数组 / null（本面无）——KD-M1-6 / KD-M1-7 / KD-M1-37）`)
       }
-      // checkConfig.lineCounts 元素层形态（#546）：数组，元素 = { doc, section } 非空串；非法 → 拒（不静默跳过）。
-      if (nested === "checkConfig" && sub === "lineCounts" && !isLineCountsValue(value[sub])) {
-        errors.push(`checkConfig.lineCounts 值形态非法：${JSON.stringify(value[sub])}（须为数组，元素 = { doc: 非空串, section: 非空串 }——#546）`)
-      }
     }
   }
   // 三族声明键形态（KD-M1-32——fail-closed：非法即 errors，不静默跳过；缺键仍在 missingKeys）。

package/manifest.mjs

@@ -10,7 +10,7 @@
  *    未知键（#802 / KD-M1-36）→ 产 unknownKeys + 一行可见告警（console.warn + logEvent；
  *    同档同键集去重、读到零未知键清该档 memo）——非拒定性零变。
  *  - validateManifest(obj) → { ok, errors, missingKeys, unknownKeys }：枚举 / version 数值 /
- *    docRoot 子键值形态（串 | 数组 | null（本面无——KD-M1-37），F7）+ checkConfig.lineCounts 元素层形态——**纯函数、零 fs**；不落盘。
+ *    docRoot 子键值形态（串 | 数组 | null（本面无——KD-M1-37），F7）——**纯函数、零 fs**；不落盘。
  *  - 三族声明键（`codePaths` / `index.{codeExtensions,docExtensions,publicRepos}` / `advisor.{docMap,standardsDoc}`——
  *    KD-M1-31 / M1-32）：缺键补默认；形态错 = 档非法（fail-closed，与 docRoot 子键同款）；
  *    读向 = `declaration.mjs`（2026-10-01 自 `conventions.mjs` 迁出——经其转口可达）经 `readManifest` /
@@ -25,10 +25,10 @@
  *  - projectView(target) → { state, root, path, manifest?, candidates?, errors?, matched }：**按用点解析**
  *    的读侧单点（归属 ∨ 发现兜底 / 五态 / 非抛错 / **零写**——KD-M1-24）。
  *  - resolveProjectRoot(cwd)：项目根（归属 ∨ 发现——KD-M1-30）= `projectRootView(cwd).root`（薄委托）；
- *    projectRootView(cwd) → { state: ok|ambiguous|none, root, candidates }：歧义直读形（判定单点——§2.2）。
+ *    projectRootView(cwd) → { state: ok|workspace|none, root, candidates }：项目根直读形（判定单点——§2.2）。
  *  - resolveEngineeringManifest(cwd, { writer, init }) → 入口决策树（**非抛错**——KD-M1-20）：
  *    两端入口钩子与翻转面（拒翻）共用同一张树（判据单源；§2.8 F1）——失败码五枚
- *    `missing` / `invalid` / `no-project` / `ambiguous` / `init-failed`（KD-M1-28）。名中 `Engineering` = 历史命名（沿用不改名）；消费面 = 两端入口钩子 + 翻转面——**非**「模式拥有本模块」。
+ *    `missing` / `invalid` / `no-project` / `workspace` / `init-failed`（KD-M1-28）。名中 `Engineering` = 历史命名（沿用不改名）；消费面 = 两端入口钩子 + 翻转面——**非**「模式拥有本模块」。
  *  - manifestFilePath(cwd) → 数据档绝对路径（档路径单源 KD-M1-18——读 / 写 / mtime 门控三处同源）。
  *  - initManifest(cwd, { writer = 'subagent' } = {}) → 经写门写 DEFAULT_MANIFEST，缺省拒。
  *  - writeManifest(cwd, manifest, { writer = 'subagent' } = {}) → 落盘前先校验（ok:false 拒
@@ -53,14 +53,14 @@ export { DEFAULT_MANIFEST, MANIFEST_SCHEMA, isValidDocRootValue, validateManifes
  * · **归属（第一段——§⑥ 归属形）**：`owningProject(target)` 沿祖先链取最近带档目录
  *   （子优于根 / 不跨兄弟 / 无全局优先级）⇒ 读该档 ⇒ `ok` / `invalid`。
  * · **发现兜底（第二段——§⑥ 发现规则，纯向下）**：祖先链无档 ⇒ `discoverProjects(target)` ⇒ 命中
- *   （`self` / `unique`）⇒ 读其档（带档 ⇒ `ok` / `invalid`；缺档 ⇒ `missing`）；`ambiguous` ⇒
- *   `ambiguous`（+ `candidates`）；`none` ⇒ `no-project`。
+ *   （`self` / `unique`）⇒ 读其档（带档 ⇒ `ok` / `invalid`；缺档 ⇒ `missing`）；`workspace` ⇒
+ *   `workspace`（+ `candidates`）；`none` ⇒ `no-project`。
  * 写侧（建档）**不在**此函数（归入口决策树——KD-M1-25 / M1-29）⇒ 注入器 / 只读消费面不会变写点。
  * `matched` 契约：归属段命中 ⇒ `'manifest'`；发现段 ⇒ `discoverProjects.matched` 逐字；
- * `no-project`（/ 覆盖位短路）⇒ `null`——报明行歧义变体按它分野（§2.6 条 1b）。
+ * `no-project`（/ 覆盖位短路）⇒ `null`——报明行工作区变体按它分野（§2.6 条 1b）。
  * 读错（非 ENOENT——权限 / 目录等）收为 `invalid`（非抛错契约；`readManifest` 语义零改）。
  * @param {string} [target] 目标路径（目录 / 文件——动作作用于哪个项目的路径）
- * @returns {{state:'ok'|'missing'|'no-project'|'ambiguous'|'invalid', root:string|null, path:string|null,
+ * @returns {{state:'ok'|'missing'|'no-project'|'workspace'|'invalid', root:string|null, path:string|null,
  *   manifest?:object, candidates?:string[], errors?:string[], matched:'manifest'|'git'|null}}
  */
 export function projectView(target) {
@@ -68,7 +68,7 @@ export function projectView(target) {
   const owning = owningProject(anchor)
   if (owning) return viewAtRoot(owning, "manifest")
   const d = discoverProjects(anchor)
-  if (d.kind === "ambiguous") return { state: "ambiguous", root: null, path: null, candidates: d.candidates, matched: d.matched }
+  if (d.kind === "workspace") return { state: "workspace", root: null, path: null, candidates: d.candidates, matched: d.matched }
   if (d.kind === "none") return { state: "no-project", root: null, path: null, matched: null }
   return viewAtRoot(d.root, d.matched)
 }
@@ -187,6 +187,16 @@ export function requireManifest(cwd) {
   return readManifest(cwd)
 }
 
+/** 建档（init 支）成功后的同步通知位（#1376——**反向注册**：`declaration.mjs` 已向依赖本模块，
+ *  订阅方由对侧注册 ⇒ 本模块保持零出边（MANIFEST.md KD-M1-33）；形同 `config-io.mjs` `onConfigSelfWrite`
+ *  ——返回退订函数；订阅方失败不影响建档）。 */
+const manifestInitFns = new Set()
+export function onManifestInit(fn) {
+  if (typeof fn !== "function") return () => {}
+  manifestInitFns.add(fn)
+  return () => { manifestInitFns.delete(fn) }
+}
+
 /**
  * 入口决策树（**非抛错**形态——KD-M1-20；docs/core/design/MANIFEST.md §2.8 F1）：三面共用——
  * ① CLI 装配 / 重估薄包装 ② VSC `hydrateRun` 钩子块 ③ 翻转面（`eng` 工具 / `/eng` /
@@ -196,22 +206,22 @@ export function requireManifest(cwd) {
  * 分支（两分支六出口——§2.8 F1 树）：
  *   档合法         → { ok:true, manifest, created:false }（manifest = 补默认值后的档内容）
  *   缺档 + init    → 梯②④⑤（锚 = 裸仓 / 裸仓命中 / 无项目）⇒ `initManifest(cwd, { writer })`
- *                    （抛错 → `init-failed`）；歧义（≥2 候选）⇒ `{ ok:false, code:'ambiguous',
- *                    message, candidates }`（**不建 / 不猜**）
+ *                    （抛错 → `init-failed`）；工作区（锚自身无档 ∧ 下辖 ≥2 项目）⇒
+ *                    `{ ok:false, code:'workspace', message, candidates }`（**不建 / 不猜**）
  *   缺档 + !init   → 梯⑤（无项目）⇒ `{ ok:false, code:'no-project' }`（KD-M1-28；`init:false` 面）；
- *                    梯②④（裸仓可解析、档缺）⇒ `{ ok:false, code:'missing' }`；歧义 ⇒ 同上
+ *                    梯②④（裸仓可解析、档缺）⇒ `{ ok:false, code:'missing' }`；工作区 ⇒ 同上
  *   档非法         → { ok:false, code:'invalid', message, errors }
  *
  * `writer` 由调用点**显式**传（生产调用点全传 `'main'`）：缺省 `'subagent'` 是写门 fail-closed
  * 缺省（KD-M1-3），误用缺省 ⇒「缺档 + 梯②④⑤」退化为 `init-failed`（拒翻——与 §2.8 F2 /
  * AC-20② 语义相反；T38 反证格）。
- * 失败码两态文案不同（KD-M1-28）：无项目 ⇒ 可在锚处落地 / 歧义 ⇒ 列候选不猜；文案族 =
- * 「项目不可解析」（稳定锚句 `/项目不可解析/`——拒翻面与报明面共用）。
+ * 失败码文案分野（KD-M1-28）：无项目 ⇒ 可在锚处落地 / 工作区 ⇒ 报明事实 + 点名项目根；文案族 =
+ * 「项目不可解析」（稳定锚句 `/项目不可解析/`）——**仅「档非法」格**（§2.8 F2 拒翻面唯一拒格）。
  * 边界：`readManifest` 的非 ENOENT 读错（权限 / 目录等）由 `projectView` 收为 `invalid`（非抛错
  * 契约——`readManifest` 返回语义零改）；本树只承诺上列六出口。
  * @param {string} [cwd] 会话锚（缺省 → 进程 cwd）
  * @returns {{ok:true, manifest:object, created:boolean}
- *   | {ok:false, code:'missing'|'invalid'|'no-project'|'ambiguous'|'init-failed',
+ *   | {ok:false, code:'missing'|'invalid'|'no-project'|'workspace'|'init-failed',
  *      message?:string, errors?:string[], candidates?:string[]}}
  */
 export function resolveEngineeringManifest(cwd, { writer = "subagent", init = true } = {}) {
@@ -223,24 +233,29 @@ export function resolveEngineeringManifest(cwd, { writer = "subagent", init = tr
       message: `项目不可解析：${MANIFEST_REL} 非法（fail-closed）：${(view.errors ?? []).join("；")}`,
     }
   }
-  if (view.state === "ambiguous") {
-    return { ok: false, code: "ambiguous", candidates: view.candidates, message: ambiguousProjectMessage(cwd, view.candidates) }
+  if (view.state === "workspace") {
+    return { ok: false, code: "workspace", candidates: view.candidates, message: workspaceProjectMessage(cwd, view.candidates) }
   }
   // 缺档（梯②④⑤）：init ⇒ 就地建档（内容 = DEFAULT_MANIFEST，经写门 writer:'main'）；!init ⇒ 归码。
   if (!init) return { ok: false, code: view.state === "no-project" ? "no-project" : "missing" }
   try {
-    return { ok: true, manifest: initManifest(cwd, { writer }), created: true }
+    const manifest = initManifest(cwd, { writer })
+    // #1376：建档支成功 ⇒ 同步广播（进程内声明 ∥ 范围缓存即刻随动——如 eng 翻转面结束后
+    // 同进程的声明复读；订阅方失败不阻断建档；失败路径不广播）。
+    for (const fn of manifestInitFns) { try { fn() } catch (e) { console.warn(`[manifest] init subscriber failed: ${e?.message ?? e}`) } }
+    return { ok: true, manifest, created: true }
   } catch (e) {
     return { ok: false, code: "init-failed", message: e?.message ?? String(e) }
   }
 }
 
-/** 歧义消息（文案族「项目不可解析」——KD-M1-28）：候选**全列**（绝对路径、按名排序）+ 指引
- *  显式指定目标——**不猜**（与报明行同族；拒翻面经 F3 明示面逐字转发）。 */
-function ambiguousProjectMessage(cwd, candidates) {
+/** 工作区消息（**事实行**——§2.5「单项目解析律」条 / §2.8 F2 工作区行）：念明下辖项目**全列**
+ *  （绝对路径、按名排序）+ 可执行下一步（点名项目根 / 目标路径）——报明事实，非错误框定
+ *  （不书「项目不可解析」/ 候选二义）。 */
+function workspaceProjectMessage(cwd, candidates) {
   const list = (candidates ?? []).map((c) => `- ${c}`).join("\n")
-  return `项目不可解析：会话锚 ${cwd} 下候选项目不是恰好一个（下列 ${(candidates ?? []).length} 个）——` +
-    `每个项目一份 ${MANIFEST_REL}；请显式指定目标项目（机制不猜）：\n${list}`
+  return `工作区：会话锚 ${cwd} 自身无 ${MANIFEST_REL}，下辖 ${(candidates ?? []).length} 个项目（下列全部）——` +
+    `每个项目一份 ${MANIFEST_REL}；请显式给出目标项目根或目标路径（动作按用点路径解析）：\n${list}`
 }
 
 /**

package/mcp/transport-stdio.mjs

@@ -5,7 +5,7 @@ import { spawn, spawnSync } from "node:child_process"
 import { rpcId, CALL_TIMEOUT_MS, withTimeout, quoteArg } from "./helpers.mjs"
 
 /** 退出相位标志（D-MC19）：模块加载期注册的 exit 钩子置位——退出相位无事件循环，
- *  只同步操作可落地（注册序恒早于宿主 cleanup——`thincoder-cli/src/tui/index.mjs:125`）。 */
+ *  只同步操作可落地（注册序恒早于宿主 cleanup——`thincoder-cli/src/tui/index.mjs` 的 `createExitCleanup`）。 */
 let exiting = false
 process.on("exit", () => { exiting = true })
 

package/mcp.mjs

@@ -93,14 +93,14 @@ async function createConnectedTransport(rawConfig, serverName) {
  *  零副作用：不进 _sessions、不动 agent.tools、无 onDead 挂钩；finally close
  *  （closed=true 使 onDead 重连不会触发）。initialize 与 tools/list 同受
  *  INIT_TIMEOUT_MS 约束（见 doInitialize）。不复用 connectMcpServer（避免污染
- *  session 幂等表）。 */
+ *  session 幂等表）。读数 = `{ ok, toolCount, tools, latencyMs }`（`tools` = 工具名数组——控制台具名读数，2026-10-14 走查轮增补）。 */
 export async function probeMcpServer(config) {
   const start = Date.now()
   let transport
   let mcpTools
   try {
     ;({ transport, mcpTools } = await createConnectedTransport(config, config.name ?? config.command ?? config.url ?? config.wsUrl))
-    return { ok: true, toolCount: mcpTools.length, latencyMs: Date.now() - start }
+     return { ok: true, toolCount: mcpTools.length, tools: mcpTools.map((t) => (typeof t?.name === "string" ? t.name : "")).filter((n) => n !== ""), latencyMs: Date.now() - start }
   } catch (error) {
     return { ok: false, error: error?.message ?? String(error) }
   } finally {

package/memory/core.mjs

@@ -132,7 +132,7 @@ export function fetchEntry(memory, uid) {
   const lastColon = uid.lastIndexOf(":")
   const origin = lastColon > layer.length ? uid.slice(layer.length + 1, lastColon) : ""
   const path = lastColon > layer.length ? uid.slice(lastColon + 1) : uid.slice(layer.length + 1)
-  const projectOrigin = normalizeOrigin(memory.projectOrigin) // §6.11 读缝归一（uid 解析面零改——`:131` 余量兜底仍在）
+  const projectOrigin = normalizeOrigin(memory.projectOrigin) // §6.11 读缝归一（uid 解析面零改——`fetchEntry` 余量兜底仍在）
   if (layer === "project" && projectOrigin) {
     const r = memory.db.prepare(`SELECT type, title, content, tags, author FROM files WHERE layer = ? AND origin = ? AND path = ?`).get(layer, origin || projectOrigin, path)
     if (r) return { ...r, layer, id: uid }

package/memory/scan.mjs

@@ -90,7 +90,7 @@ export function createTopK(k) {
   }
 }
 
-/** 末行键值元组：任一键列缺失（`undefined` / `null`）⇒ `null`（防呆①：等价现 `:90`）。 */
+/** 末行键值元组：任一键列缺失（`undefined` / `null`）⇒ `null`（防呆①：等价现 `createTopK` 的 `list()`）。 */
 function cursorValues(keys, row) {
   if (!row) return null
   const out = []

package/memory/sweep.mjs

@@ -15,7 +15,7 @@
  * 折叠映射 + 备份路径 + 写后回读判据）。
  * **折叠规则单源 = §6.11 步 2**（同归一键内 `(path, line_start)`（`files` = `(layer, path)`）恰一行——
  * 保留 `mtime_ms` 最大者，并列取 `rowid` 最小者；FTS 由既有触发器随行同步）。
- * 探针 fail-safe：**仅 ENOENT 判亡**，其余错误（权限 / 非法路径）⇒ 保留（先例 `session-stale.mjs:124-127`）。
+ * 探针 fail-safe：**仅 ENOENT 判亡**，其余错误（权限 / 非法路径）⇒ 保留（先例 = `session-stale.mjs` 的 `pathExists`）。
  * 执行分工：真实库写 = 父侧 ops；本档只在传入的库句柄上作业，写闸 = `confirm` 单一入参。
  */
 import { existsSync, statSync } from "node:fs"

package/model-specs.mjs

@@ -33,8 +33,8 @@ const MODEL_SPECS = [
   ["deepseek-flash",    { context: 1_000_000, maxOutput: 384_000, thinking: true,  prefixMode: true,  thinkApi: "type", reasoningEcho: "required", reasoningEffortEnum: ["low", "high", "max"], tempRange: [0, 2], multimodal: true }],
 // deepseek-v4.1-flash = qwen-plan channel name for DeepSeek V4.1-Flash (token-plan GET /models verified 2026-09-15) — same fields as the row above; ".1" ≠ "-" so plain prefix lookup misses the existing rows (D-PR25)
   ["deepseek-v4.1-flash", { context: 1_000_000, maxOutput: 384_000, thinking: true,  prefixMode: true,  thinkApi: "type", reasoningEcho: "required", reasoningEffortEnum: ["low", "high", "max"], tempRange: [0, 2], multimodal: true }],
-  // deepseek-v4-pro (V4-Pro-0813): fields unchanged — 视觉面 **未探**（不声明 multimodal——保守；
-  // 补探登记见 MODEL-SPECS.md §13.4）. From 2026-09-14 12:00 Beijing all requests route to V4.1-Flash.
+  // deepseek-v4-pro (V4-Pro-0813): fields unchanged — 视觉面 **未探**（不声明 multimodal——保守）.
+  // From 2026-09-14 12:00 Beijing all requests route to V4.1-Flash.
   ["deepseek-v4-pro",   { context: 1_000_000, maxOutput: 384_000, thinking: true,  prefixMode: true,  thinkApi: "type", reasoningEcho: "required", reasoningEffortEnum: ["low", "high", "max"], tempRange: [0, 2] }],
   // deepseek-v4-flash: RETIRED name — still accepted, served by V4.1-Flash today → aligned row
   ["deepseek-v4-flash", { context: 1_000_000, maxOutput: 384_000, thinking: true,  prefixMode: true,  thinkApi: "type", reasoningEcho: "required", reasoningEffortEnum: ["low", "high", "max"], tempRange: [0, 2], multimodal: true }],
@@ -63,7 +63,7 @@ const MODEL_SPECS = [
   // GLM series
   // GLM-5.3: thinking always-on (no "disabled"); effort converges to low/high/max — NOT the
   //          7-level glm-5.2 enum (verified vs docs.bigmodel.cn GLM-5.3 page, 2026-08).
-  //          视觉面 **未探**（不声明 multimodal——保守；补探登记见 MODEL-SPECS.md §13.4）。
+  //          视觉面 **未探**（不声明 multimodal——保守）。
   //          该事实 = 机制位 `thinkAlwaysOn`（单源 = `docs/core/design/MODEL-SPECS.md` §16.3）——**官方口径**
   //          （智谱 GLM-5.3 文档：thinking always-on、无 `disabled`）。
   ["glm-5.3",           { context: 1_000_000, maxOutput: 128_000, thinking: true,  thinkAlwaysOn: true, thinkApi: "type", reasoningEcho: "optional", reasoningEffortEnum: ["low", "high", "max"], tempRange: [0, 1], noUsageStream: true }],
@@ -199,9 +199,9 @@ const MODEL_SPECS = [
   // （多源网络转述级，本机无该渠道——行值 + 行注即标级）；thinking「always-on adaptive」= 弱源读数 ⇒ 零口径不落字段（§14.3）。
   ["claude-fable-5.1",  { context: 1_000_000, maxOutput: 128_000 }],
   // Gemini series (Google)
-  ["gemini-3-pro",      { context: 1_000_000, maxOutput: 64_000,  thinking: false, multimodal: true, format: "google", noUsageStream: true }],
-  ["gemini-2.5-pro",    { context: 2_000_000, maxOutput: 64_000,  thinking: false, multimodal: true, format: "google", noUsageStream: true }],
-  ["gemini-2.5-flash",  { context: 1_000_000, maxOutput: 64_000,  thinking: false, multimodal: true, format: "google", noUsageStream: true }],
+  ["gemini-3-pro",      { context: 1_000_000, maxOutput: 64_000,  thinking: true, multimodal: true, format: "google", noUsageStream: true }],
+  ["gemini-2.5-pro",    { context: 2_000_000, maxOutput: 64_000,  thinking: true, multimodal: true, format: "google", noUsageStream: true }],
+  ["gemini-2.5-flash",  { context: 1_000_000, maxOutput: 64_000,  thinking: true, multimodal: true, format: "google", noUsageStream: true }],
   // gemini-3.1-pro（2026-09-25 批 §14.2 #2-6 · §1.7.1 父侧交付）：**尺寸行**——context 1_048_576 / maxOutput 65_536（多源
   // 网络转述级，本机无该渠道——行值 + 行注即标级）；thinking「有·计入输出预算」= 弱源读数 ⇒ 零口径不落字段（§14.3）。
   ["gemini-3.1-pro",    { context: 1_048_576, maxOutput: 65_536 }],
@@ -350,7 +350,7 @@ export function providerSpec(provider) {
  *
  * Callers (as-of 2026-10-10): thincoder-core/agent/turn-loop.mjs (main loop) · thincoder-core/advisor/loop.mjs
  * (review mirror) · bench/lib/client.mjs (bench client) — each passes its own spec face; VSC 转口
- * (thincoder-vscode/src/specs.mjs:13/:17) 零调用点（父侧收口机械笔 · 可 revert）。
+ * (`thincoder-vscode/src/specs.mjs` 的 `providerSpec` ∕ `assistantToolCallMessage` 再导出) 零调用点（父侧收口机械笔 · 可 revert）。
  */
 export function assistantToolCallMessage(response, spec) {
   const msg = {

package/notify-policy.mjs

@@ -2,24 +2,24 @@
  * notify-policy.mjs — 完成提示面**策略**（失焦门 + 单档 + 载荷成形 + 词键）——「桌面处理流 · VSC 对齐」批 R6 上提产物。
  *
  * 上提源 = 桌面现状超集 `thincoder-desktop/src/main/notify.mjs`（零宿主依赖 —— **纯搬，零语义改**）；
- * 对位锚（迁移前坐标）= VSC `thincoder-vscode/src/extension/notify.mjs:9-18`（失焦门同判据）+
- * `panel-callbacks.mjs:236`（`!autoTurn` 门径）。平台落子（Electron `Notification` vs
+ * 对位锚（迁移前坐标）= VSC `thincoder-vscode/src/extension/notify.mjs` 的 `createVscNotify`（失焦门同判据）+
+ * `panel-callbacks.mjs` 的 `buildPanelCallbacks`（`!autoTurn` 门径）。平台落子（Electron `Notification` vs
  * VSC `showInformationMessage`）= 宿主能力面（真端差登记 ①）⇒ **装配留端**（桌面 =
  * `thincoder-desktop/src/main/main.mjs`；VSC = `notify.mjs` 宿主包装——已随 parity-b4 迁移落形）；本档只承策略面。
  *
  * `notify`（平台落子）· `focused`（焦态判据）· `reveal`（点击面）· `localeOf`（语言取值缝——VSC
  * wrapper 携 `vscode.env.language`，`normalizeLocale` 归一 `zh-CN → zh`；缺省 = `agent.config?.locale`，
  * 桌面径零改）四件注入 ⇒ 平 node 直测。词键一键自此持本档（值 = 原 VSC 逐字 `notify.done`——该键已随
- * parity-b4 迁移自 `thincoder-vscode/locales/{zh,en}.json:222` 删）。触发单档（`!autoTurn` 判据在调用面 —— 单回合
+ * parity-b4 迁移自 `thincoder-vscode/locales/{zh,en}.json` 的 `notify.done` 键删）。触发单档（`!autoTurn` 判据在调用面 —— 单回合
  * 执行面；VSC 同判据）：
- *   用户回合完成（VSC 逐字同判据 = `panel-callbacks.mjs:236` 的 `!autoTurn` 门）
+ *   用户回合完成（VSC 逐字同判据 = `panel-callbacks.mjs` 的 `buildPanelCallbacks` 的 `!autoTurn` 门）
  * `title` = 会话标题（`agent.title`——槽装载面在场；空 ∕ 不可得 ⇒ **零携**）；点击 = 聚焦窗口 ∕
  * 打开 thincoder 视图（reveal 语义 —— 宿主面；不切会话）。
  * 消费面 = 桌面 `thincoder-desktop/src/main/notify.mjs`（端胶水 re-export）；VSC `notify.mjs`（宿主包装——已随 parity-b4 迁移落形）。
  */
 import { normalizeLocale } from "./i18n.mjs"
 
-/** 词键值（zh ∕ en 常量对：`notify.done` = 原 VSC `locales/{zh,en}.json:222` 逐字——该键已随 parity-b4 迁移自 locales 删）。 */
+/** 词键值（zh ∕ en 常量对：`notify.done` = 原 VSC `locales/{zh,en}.json` 键逐字——该键已随 parity-b4 迁移自 locales 删）。 */
 export const NOTIFY_TEXTS = Object.freeze({
   zh: "ThinCoder：本轮完成",
   en: "ThinCoder: turn complete",
@@ -36,7 +36,7 @@ export function createNotifier({ notify = null, focused = null, reveal = null, l
   const isFocused = typeof focused === "function" ? focused : () => true
   const langOf = (agent) => (normalizeLocale(typeof localeOf === "function" ? localeOf(agent) : agent?.config?.locale) === "zh" ? "zh" : "en")
   const fire = ({ agent = null } = {}) => {
-    if (isFocused()) return false // 失焦门：聚焦 = no-op（never noise —— VSC `thincoder-vscode/src/extension/notify.mjs:9-18` 同判据）
+    if (isFocused()) return false // 失焦门：聚焦 = no-op（never noise —— VSC `thincoder-vscode/src/extension/notify.mjs` 的 `createVscNotify` 同判据）
     const payload = { body: NOTIFY_TEXTS[langOf(agent)] }
     const title = typeof agent?.title === "string" && agent.title.trim() !== "" ? agent.title : null
     if (title !== null) payload.title = title // 会话标题在场才携（不可得 ⇒ 零携）

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@thincoder/core",
-  "version": "0.10.7",
+  "version": "0.10.9",
   "description": "ThinCoder shared core — shared mechanism modules + shared prompt content (CLI ↔ VS Code extension).",
   "keywords": [
     "ai",
@@ -41,6 +41,7 @@
     "agent/",
     "agent-tools/",
     "browser/",
+    "doc-check/",
     "git/",
     "mcp/",
     "memory/",

package/permission.mjs

@@ -14,6 +14,7 @@
  */
 import { createInterface } from "node:readline"
 import { lastPageUrl } from "./browser/session.mjs"
+import { composeTaskBookBrief } from "./agent-tools/spawn-gates.mjs"
 
 /** CLI tool arg summary (truncated long JSON) */
 export function summarize(toolArgs) {
@@ -34,7 +35,7 @@ export function formatPermission(name, args) {
     return `${args.path}\n${oldLines}\n  ↓\n${newLines}`
   }
   if (base === "delete") return `${args.path}${args.force ? "（force：跟踪文件也删）" : ""}`
-  if (base === "subagent") return cap(args.task ?? "", 500)
+  if (base === "subagent") return cap(composeTaskBookBrief(args, args.role) || args.task || "", 500)
   if (base === "memory") {
     // §6 action-routed preview: put shows content, batch delete/clear show the gate args
     const action = String(args.action ?? "")
@@ -75,6 +76,25 @@ export function formatPermission(name, args) {
     const at = lastPageUrl() ? ` @ ${lastPageUrl()}` : ""
     return cap(`${action}${shown ? ` ${shown}` : ""}${at}`, 300)
   }
+  if (base === "ssh") {
+    // TOOLS.md §6.22 NS3：写动作展示「将发送的原文」（人可见判据——显示面提示，非拦截）；
+    // 携密径（`secret_input`）改**掩码占位**——值入文案即入上下文 ∥ 审批记录 ⇒ 违 NS4（值不回显）。
+    const action = String(args.action ?? "")
+    const sid = args.id ? `ssh#${String(args.id).replace(/^ssh#/i, "")}` : "ssh"
+    if (action === "connect") {
+      const target = args.host ? `${args.user ? `${args.user}@` : ""}${args.host}${args.port ? `:${args.port}` : ""}` : "(missing host)"
+      return cap(`${target}${args.label ? `（${args.label}）` : ""}`, 300)
+    }
+    if (action === "send") return `${sid} — 将发送：\n${cap(String(args.data ?? ""), 500)}`
+    if (action === "secret_input") return `${sid} — 将发送：••••••（携密——值不回显）${args.label ? `（${args.label}）` : ""}`
+    if (action === "forget") {
+      // ⑫ 删除面：明示目标主机（无值——保存件不含可展示的凭据值）
+      const target = args.host ? `${args.host}${args.port ? `:${args.port}` : ""}` : "(missing host)"
+      return cap(`${target} — 删除已保存的 ssh 凭据`, 300)
+    }
+    if (action === "close") return `${sid} — 关闭会话`
+    return cap(`${action} ${sid}`, 300)
+  }
   return cap(summarize(args), 300)
 }