@thincoder/core 0.10.3 → 0.10.5

package/ledger.mjs

@@ -6,7 +6,7 @@
  * 锁死、COUNT 单源计数、事务保证收口原子、归档 = 软删除。行龄源 = SQLite 时间戳（无 git blame）。
  *
  * 面：① 命令族（查询 = 只读全角色 / 写 = 仅主 agent——核函数 `ledger-cmd.mjs` + 工具定义 `ledger-tools.mjs`
- * 两源，接线见 tools/index.mjs 与 agent/family-tools.mjs）
+ * 两源，接线见 `agent/family-tools.mjs`——统一入口 `ledger` 两变体，2026-10-05 统一入口批）
  * ② 族发现（findProject / discoverFamily——标记 = ledger.db）③ scan 组装（buildScan——行集 + ledgerCount
  * → scan 对象，形状契约 = pool/tech/aged/thresholdReached/actionable/root/name/ledger）
  * ④ 格式 helper（L1 标记 ∥ L2 明细行逐字契约——含标记范围归约 `scopeMarkerOf`，§7.2）。
@@ -18,12 +18,10 @@
 import { opendirSync, statSync } from "node:fs"
 import { basename, dirname, join, resolve } from "node:path"
 import { projectRootView } from "./manifest.mjs"
-import { ledgerDbPath, PENDING_STATUSES } from "./ledger-db.mjs"
+import { ledgerDbPath, PENDING_STATUSES, AGING_DAYS } from "./ledger-db.mjs"
 import { ledgerQuery } from "./ledger-cmd.mjs"
 import { executorTail } from "./ledger-executors.mjs"
 
-/** 老化阈值（天——口径 = 需求档；`days` 参数可覆盖）。 */
-export const AGING_DAYS = 30
 /** 「可开批」阈值：同一板块（需求类条目 board 列）未决 ≥ 2。 */
 export const THRESHOLD_BOARD = 2
 /** 「可开批」阈值：需求池未决 ≥ 3。 */
@@ -65,8 +63,9 @@ export function findProject(anchor) {
 /** 同级枚举上限（N2 成本有界：父目录超此规模 = 缓存 / 临时等非仓族形态 → 退化空集，只显当前项目）。 */
 export const MAX_SIBLING_SCAN = 100
 
-/** 目录下已注册台账的直接子目录（目录名升序；不可读 → []；**惰性枚举 + 上限**——大目录零全量扫描）。 */
-function ledgerChildren(dir) {
+/** 目录下已注册台账的直接子目录（目录名升序；不可读 → []；**惰性枚举 + 上限**——大目录零全量扫描）。
+ *  导出面 = 族发现（本档）∥ 轻通道闸候选枚举（`agent/light-round.mjs`——同级判据单源）。 */
+export function ledgerChildren(dir) {
   const out = []
   let handle
   try { handle = opendirSync(dir) } catch { return out }
@@ -87,7 +86,7 @@ function ledgerChildren(dir) {
 }
 
 /** 项目族发现：{current, projects}——projects = current + 其同级含台账库目录（**发现序：current 在前**，
- *  其余按目录名升序）；current 缺（容器目录，K6）→ 上下文目录向上最近「含台账子目录」者取其子目录。
+ *  其余按目录名升序）；current 缺（容器目录，K6）→ 锚本地：取锚自身含台账库的直接子目录（不沿祖先链上找）。
  *  **歧义根不充当项目**（轻通道轮 · 2026-10-04）：命中锚若项目解析 `ambiguous`（≥2 候选——`projectRootView`）
  *  ⇒ 该锚不可扫描（`openLedger` 歧义拒）——其键控库（先于 #828 写门的存量空壳 / 幽灵）不得遮蔽族发现；
  *  按容器形落子目录族（需求：打开容器根 ⇒ 族内合计——标记范围批 §1 原话）。 */
@@ -99,14 +98,7 @@ export function discoverFamily(anchor) {
     const siblings = ledgerChildren(dirname(current.root)).filter((p) => p.root !== current.root)
     return { current, projects: [current, ...siblings] }
   }
-  let dir = resolve(anchor)
-  for (;;) {
-    const kids = ledgerChildren(dir)
-    if (kids.length) return { current: null, projects: kids }
-    const parent = dirname(dir)
-    if (parent === dir) return { current: null, projects: [] }
-    dir = parent
-  }
+  return { current: null, projects: ledgerChildren(resolve(anchor)) }
 }
 
 /** scan 组装（SQLite 行集 + 计数单源 → scan 对象）——形状契约（设计档 §2.2）：pool/tech/aged/
@@ -185,9 +177,10 @@ export function detailScans(scans, current) {
   return out
 }
 
-// ── re-export（拆分件接口——命令面接线 = 动态 import 本档，KD-M2-3） ──
-export { ALLOWED_MIGRATIONS, ledgerDbPath, ledgerKey, ledgerDirPath, openLedger, PENDING_STATUSES, _setLedgerDirForTest, _resetLedgerDirForTest, ensureExecutorColumn } from "./ledger-db.mjs"
+// ── re-export（拆分件接口——命令面接线 = 动态 import 本档，KD-M2-3；`AGING_DAYS` 常量单源 = `ledger-db.mjs`
+//    ——2026-10-07 批 ledger-tool 自本档迁入，公共面零变） ──
+export { AGING_DAYS, ALLOWED_MIGRATIONS, ledgerDbPath, ledgerKey, ledgerDirPath, openLedger, PENDING_STATUSES, _setLedgerDirForTest, _resetLedgerDirForTest, ensureExecutorColumn } from "./ledger-db.mjs"
 export { ledgerAdd, ledgerClose, ledgerCount, ledgerQuery, ledgerUpdate } from "./ledger-cmd.mjs"
-export { ledgerAddTool, ledgerCloseTool, ledgerCountTool, ledgerQueryTool, ledgerUpdateTool } from "./ledger-tools.mjs"
+export { ledgerTool, ledgerReadTool, ledgerAddTool, ledgerCloseTool, ledgerCountTool, ledgerQueryTool, ledgerUpdateTool } from "./ledger-tools.mjs"
 export { runLedgerAudit, runLedgerMigrate } from "./ledger-migrate.mjs"
 export { resolveExecutorStates, executorTail, _setExecutorProbeTtlForTest } from "./ledger-executors.mjs"

package/log.mjs

@@ -21,7 +21,7 @@
  *   工具事件不记 args；URL 不入事件（llm/tool 事件从不携带 URL；err 文本经形态扫描）。
  * - 摘要截断（B 方案，2026-09-03 用户裁定）：截断处带 "…" 标记（截后仍 ≤上限）。
  * - 测试隔离：node --test 进程（NODE_TEST_CONTEXT）默认不写盘——防测试事件污染真实
- *   诊断日志（两端测试套件都会跑真实 agent 管线）；显式测试缝（_setLogsDirForTest）
+ *   诊断日志（两端测试都会跑真实 agent 管线）；显式测试缝（_setLogsDirForTest）
  *   强制写入该目录（log.test.mjs 用它隔离临时目录——refinement #6）。
  * - 轮转清理（refinement #3——长驻进程覆盖）：非仅启动时——每进程每日**首次写事件**
  *   时顺带清理 >1 天的 agent-*.log（extension host 可长驻数月，启动清理覆盖不到）。

package/manifest-discovery.mjs

@@ -91,7 +91,7 @@ export function discoverRepos(cwd) {
  * 的目录；无 ⇒ `null`（⇒ 调用方走发现兜底）。**嵌套合法**：子内归子、根其余归根。
  * **纯 fs**（只判存在性——不解析档内容 / 不问模式）· **不跨兄弟** · **无全局优先级**。
  * **覆盖位**（`_setProjectRootForTest` 在场）⇒ **头部短路**：直接返回覆盖值（不查档存在性——
- * 保「覆盖即覆盖值」语义，回归守卫 = 本批批内件基座腿（`docs/batches/2026-10-02-manifest-resolution-fix.test.mjs`——
+ * 保「覆盖即覆盖值」语义，回归守卫 = 本批单元测试档基座用例（`docs/batches/2026-10-02-manifest-resolution-fix.test.mjs`——
  * 基座三态 + 覆盖位 + 薄委托等价逐格）+ `docs/batches/2026-09-29-structure-split-2.test.mjs` 导出枚举探针（`Object.keys` 名面核））。
  * @param {string} [target] 目标路径（目录 / 文件）
  * @returns {string|null} 最近带档祖先目录绝对路径 / null

package/manifest-schema.mjs

@@ -12,12 +12,14 @@
 
 /**
  * `docRoot` 子键**值形态判据**（F7 / KD-M1-6 / KD-M1-8——判据单源）：非空字符串（`trim` 后
- * 非空），或非空数组且元素皆非空字符串（**同款口径**：元素 `trim` 后非空）；其余（空串 /
- * 空白串 / 空数组 / 数组含非串 / 空串 / 空白串元素 / 非串非数组）为非法。
+ * 非空），或非空数组且元素皆非空字符串（**同款口径**：元素 `trim` 后非空），或 `null`
+ * （**「本面无」合法哨兵**——KD-M1-37）；其余（空串 / 空白串 / 空数组 / 数组含非串 / 空串 /
+ * 空白串元素 / 非串非数组）为非法。
  * @param {unknown} value docRoot 某子键的值
  * @returns {boolean}
  */
 export function isValidDocRootValue(value) {
+  if (value === null) return true
   if (typeof value === "string") return value.trim() !== ""
   if (!Array.isArray(value) || value.length === 0) return false
   return value.every((p) => typeof p === "string" && p.trim() !== "")
@@ -78,7 +80,7 @@ function isLineCountsValue(v) {
 
 /**
  * 形状校验（模块设计 §2.2）——枚举 / version 数值恒做；**纯函数、零 fs**（原 `{ cwd }`
- * 指针腿已随字段整链裁撤——KD-M1-5 墓志）；不落盘。键存在性入 missingKeys（非拒）：
+ * 指针分支已随字段整链裁撤——KD-M1-5 墓志）；不落盘。键存在性入 missingKeys（非拒）：
  * 缺键 = 便利 fallback（补默认值），不是错（与整档缺失两分——KD-M1-2）。
  * 未知键（#802 / KD-M1-36）：顶层 + 四嵌套层产 `unknownKeys`（非拒——ok 定性零变；产线恰 =
  * fillDefaults 丢弃面；嵌套键用点形路径——同 missingKeys 口径）。
@@ -110,9 +112,9 @@ export function validateManifest(obj) {
     }
     for (const sub of subkeys) {
       if (!(sub in value)) { missingKeys.push(`${nested}.${sub}`); continue } // 子键路径（AC-3 / T3b）
-      // docRoot 子键值形态（F7 / KD-M1-7）：串 | 非空串数组；非法 → 拒（不静默跳过）。
+      // docRoot 子键值形态（F7 / KD-M1-7 / KD-M1-37）：串 | 非空串数组 | null（本面无）；非法 → 拒（不静默跳过）。
       if (nested === "docRoot" && !isValidDocRootValue(value[sub])) {
-        errors.push(`docRoot.${sub} 值形态非法：${JSON.stringify(value[sub])}（须为非空字符串或非空字符串数组——KD-M1-6 / KD-M1-7）`)
+        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])) {

package/manifest.mjs

@@ -10,7 +10,7 @@
  *    未知键（#802 / KD-M1-36）→ 产 unknownKeys + 一行可见告警（console.warn + logEvent；
  *    同档同键集去重、读到零未知键清该档 memo）——非拒定性零变。
  *  - validateManifest(obj) → { ok, errors, missingKeys, unknownKeys }：枚举 / version 数值 /
- *    docRoot 子键值形态（串 | 数组，F7）+ checkConfig.lineCounts 元素层形态——**纯函数、零 fs**；不落盘。
+ *    docRoot 子键值形态（串 | 数组 | null（本面无——KD-M1-37），F7）+ checkConfig.lineCounts 元素层形态——**纯函数、零 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` /
@@ -101,13 +101,15 @@ export function docRootBase(cwd) {
  * `docRoot` 子键值 → **绝对路径数组**（F7 / §2.7 解析管线——全在本模块一处）：展开（串 /
  * 数组统一成列表）→ 逐元素 `trim` + `\` 归一 → `resolve(docRootBase(cwd), p)`（基数 =
  * 项目根，不回退原始 cwd）→ 去重（保序）。非法形态 → `[]`（零根——拒面在 `validateManifest`，
- * 本函数不判错；两处共用 `isValidDocRootValue`，判据单源）。
- * @param {unknown} value docRoot 某子键的值（串 | 数组）
+ * 本函数不判错；两处共用 `isValidDocRootValue`，判据单源）。`null`（本面无）⇒ `[]`（**合法
+ * 零根——非错**；#944 / KD-M1-37）。
+ * @param {unknown} value docRoot 某子键的值（串 | 数组 | `null`）
  * @param {string} [cwd] 会话锚（基数由 docRootBase 解析为项目根）
  * @returns {string[]} 绝对路径（去重保序）
  */
 export function docRootPaths(value, cwd) {
   if (!isValidDocRootValue(value)) return []
+  if (value === null) return [] // 「本面无」（#944）：合法零根——非错（不展开、不报错）
   const base = docRootBase(cwd)
   const list = (Array.isArray(value) ? value : [value]).map((p) => resolve(base, p.trim().replace(/\\/g, "/")))
   return [...new Set(list)]

package/mcp/transport-stdio.mjs

@@ -10,7 +10,7 @@ let exiting = false
 process.on("exit", () => { exiting = true })
 
 /** 测试缝（先例 `provider/rate.mjs` `_rateHooks`）：组杀 / 单进程杀 / 定时器可注入
- *  （POSIX 分流在生产 win32 机位的直驱 = 临时覆写 `process.platform`——见批内件 T-A12–A14）。 */
+ *  （POSIX 分流在生产 win32 机位的直驱 = 临时覆写 `process.platform`——见单元测试档 T-A12–A14）。 */
 export const _killHooks = {
   groupKill: (pid, sig) => process.kill(-pid, sig),
   childKill: (child, sig) => child.kill(sig),

package/mcp.mjs

@@ -52,7 +52,7 @@ export const _mcpHooks = {
 }
 
 /** initialize 请求参数单源（D-MC18）：建连握手（doInitialize）与 transport 内 404 自愈重建共用——
- *  建连时经 `transport.setInitPayload(...)` 注入。导出面供批内件复用（参数单源不可分叉）。 */
+ *  建连时经 `transport.setInitPayload(...)` 注入。导出面供单元测试档复用（参数单源不可分叉）。 */
 export function buildInitParams() {
   return {
     protocolVersion: "2024-11-05",

package/memory/code-index.mjs

@@ -2,7 +2,7 @@
  * memory/code-index.mjs — code and document chunking, language detection, symbol extraction
  */
 
-import { segmentCJK, CODE_EXTS, DOC_EXTS, SKIP_DIRS, BIG_FILE_LINES } from "./schema.mjs"
+import { segmentCJK, BIG_FILE_LINES } from "./schema.mjs"
 
 /** Infer file language by extension */
 export function detectLanguage(filename) {

package/memory/code-search.mjs

@@ -3,7 +3,7 @@
  * 内容 = `CODE_EMBED_BATCH` ∥ `codeSearch`（FTS5(BM25) + 向量余弦，RRF 合并；无 embedder ⇒ 纯 FTS，
  * ftsQuery 空且有 embedder ⇒ 纯向量）∥ `ensureCodeEmbeddings`（并发锁 + `_runEnsureCodeEmbeddings`）
  * ∥ `codeSearchTool`——迁出块逐字；原档 `memory/code-sync.mjs` 经 `export { … } from` 转口保名
- * （消费面 / 批内件 import 面零改）。
+ * （消费面 / 单元测试档 import 面零改）。
  */
 import { embed, embedTolerant, cosine, toBlob, fromBlob } from "../embedding.mjs"
 import { scanVectors, createTopK } from "./scan.mjs"

package/memory/code-sync.mjs

@@ -281,6 +281,6 @@ export async function reindexFile(memory, cwd, absPath) {
 }
 
 // ─── 迁出面（2026-10-01 拆分批 · #755 ∥ #786）：检索面 → `memory/code-search.mjs`；清单面 →
-// `memory/file-list.mjs`——经本档转口保名（消费面 / 批内件 import 面零改），四起效点调用形零改。──────
+// `memory/file-list.mjs`——经本档转口保名（消费面 / 单元测试档 import 面零改），四起效点调用形零改。──────
 export { codeSearch, ensureCodeEmbeddings, codeSearchTool } from "./code-search.mjs"
 export { listProjectFiles, indexExtensions } from "./file-list.mjs"

package/memory/docs.mjs

@@ -104,13 +104,17 @@ export async function syncDocRoot(memory, dir, { onProgress, yieldFn = yieldTick
 /**
  * Doc search: FTS5(BM25) + optional vector cosine, RRF merged.
  * Falls back to pure FTS when no embedder; falls back to pure vector when ftsQuery is empty and embedder is present.
+ * `origins`（可选覆盖参 · 2026-10-10 #1100）：缺省 `null` ⇒ 现行为（本函数自取 `searchOrigins`）**逐字**；
+ * 给定 ⇒ 以其为 origin 集（复用既有单/多 origin SQL 形）；空数组 ⇒ 现「不过滤」语义（本设计调用方不产此形）。
+ * 消费方 = `thincoder-core/agent/setup.mjs` 注入块两路分取（配额策略 = `docs/core/design/AGENT-LOOP.md` §6.3）。
  */
-export async function docSearch(memory, query, { limit = 5 } = {}) {
+export async function docSearch(memory, query, { limit = 5, origins: originsOverride = null } = {}) {
   const ftsQuery = buildFtsQuery(query)
   if (!ftsQuery && !memory.embedder) return []
 
   // §6.15 读面 origin 集（项目 ∪ 声明公共仓；单 origin ⇒ 逐字零行为——快径 SQL 形零改）
-  const origins = searchOrigins(memory)
+  // #1100：`origins` 覆盖参在位时以其为集（缺省 `null` ⇒ 原式逐字）
+  const origins = originsOverride ?? searchOrigins(memory)
   const ftsOriginFilter = origins.length === 1 ? `AND d.origin = ?` : origins.length > 1 ? `AND d.origin IN (${origins.map(() => "?").join(", ")})` : ""
   const originParams = origins
 

package/memory/file-list.mjs

@@ -2,7 +2,7 @@
  * memory/file-list.mjs — 项目文件清单面（自 `memory/code-sync.mjs` 迁出 · 2026-10-01 core 拆分批 #755 ∥ #786）。
  * 内容 = `indexExtensions`（内置扩展名表 ∪ 项目声明并集）∥ `listProjectFiles`（git 列面 + 非 git walk
  * 回退 + unlisted 计数；`index.excludePaths` §6.14 面① 双径过滤：git 列面筛行 ∥ walk 剪枝）——迁出块逐字。
- * 原档 `memory/code-sync.mjs` 经 `export { … } from` 转口保名（消费面 / 批内件 import 面零改）。
+ * 原档 `memory/code-sync.mjs` 经 `export { … } from` 转口保名（消费面 / 单元测试档 import 面零改）。
  */
 import { CODE_EXTS, DOC_EXTS } from "./schema.mjs"
 import { walkProjectFiles, isSkippedRelPath, extensionOf, createUnlistedTally, MAX_WALK_FILES } from "./file-walk.mjs"

package/memory/file-walk.mjs

@@ -10,20 +10,32 @@
  */
 import { readdir } from "node:fs/promises"
 import { join } from "node:path"
-import { SKIP_DIRS } from "./schema.mjs"
+import { SKIP_DIRS, SKIP_DIRS_FOLD, SKIP_DIR_PREFIXES } from "./schema.mjs"
+
+/** win32 fold index for the junk/product family (canonical spellings live in `SKIP_DIRS_FOLD`). */
+const SKIP_DIRS_FOLD_LOWER = new Set([...SKIP_DIRS_FOLD].map((n) => n.toLowerCase()))
 
 /** Upper guard for the walk: stop after this many matched files (runaway trees). */
 export const MAX_WALK_FILES = 20000
 
 /**
- * Shared skip predicate for project-relative paths: any SKIP_DIRS basename, or any
- * dot-prefixed segment (`.git`, `.cache`, `.thincoder`…). Accepts both separators.
+ * Shared skip predicate for project-relative paths (§6.14 面④ family split · 台账 #1081): exact
+ * basename (`SKIP_DIRS`) ∨ segment prefix (`SKIP_DIR_PREFIXES` — `bazel-*`; POSIX literal ∥ win32
+ * folded) ∨ (win32 only) folded junk/product family (`SKIP_DIRS_FOLD`); dot segments via the dot
+ * rule. `platform` is a test seam (default `process.platform`; callers keep the one-arg form).
  */
-export function isSkippedRelPath(rel) {
+export function isSkippedRelPath(rel, platform = process.platform) {
+  const fold = platform === "win32"
   return String(rel ?? "")
     .replace(/\\/g, "/")
     .split("/")
-    .some((seg) => seg !== "" && (seg.startsWith(".") || SKIP_DIRS.has(seg)))
+    .some((seg) => {
+      if (seg === "") return false
+      if (seg.startsWith(".")) return true
+      if (SKIP_DIRS.has(seg)) return true
+      if (SKIP_DIR_PREFIXES.some((p) => (fold ? seg.toLowerCase() : seg).startsWith(p))) return true
+      return fold && SKIP_DIRS_FOLD_LOWER.has(seg.toLowerCase())
+    })
 }
 
 /** Lower-cased ".ext" of a path, or "" when it has no extension. */