@thincoder/core 0.10.4 → 0.10.6

package/ledger-tools.mjs

@@ -5,7 +5,8 @@
  * 全量 = depth-0 五 action ∥ 只读 = depth>0 二 action）；旧五名 = code 面弃用壳（不入任何装配面）。
  * 守卫 = **声明派生**（设计档 §3.2 / §11.3：判序① 入参归一 → ② 入口级 action 判（消费 action）→
  * ③ 余键喂该 action 伪工具对象走 P2–P6——声明源 = 前身旧工具 `parameters` 逐字；helper `assertToolArgs`
- * 零改）；判于核函数之前 ⇒ 非法入参零写、零库动作、零 SQLite 原文外泄。
+ * 机制沿用，「零改」面破例 = #1006 批增布尔分支（§13.9））；判于核函数之前 ⇒ 非法入参零写、零库动作、
+ * 零 SQLite 原文外泄。
  * 接线：族出口 = `ledger.mjs`（re-export——消费面 agent/family-tools.mjs；旧读二装配面已清零）；
  * 消费侧一律动态 import（`ledger-db.mjs` 静态 import node:sqlite ⇒ W8 契约②）。
  */
@@ -62,6 +63,8 @@ function assertToolArgs(tool, args) {
       throw new Error(`${name}：${field} 非法：${argPreview(value)}（应为字符串）`)
     } else if (spec.type === "number" && typeof value !== "number") {
       throw new Error(`${name}：${field} 非法：${argPreview(value)}（应为数字）`)
+    } else if (spec.type === "boolean" && typeof value !== "boolean") {
+      throw new Error(`${name}：${field} 非法：${argPreview(value)}（应为布尔）`)
     }
     if (field === "title" && typeof value === "string" && value.trim() === "") {
       throw new Error(`${name}：${field} 为空（${required ? "必填；" : ""}非空字符串）`)
@@ -107,9 +110,10 @@ const ACTION_SPECS = {
       board: { type: "string", description: "归属板块（缺省 = 不变）" },
       req_doc: { type: "string", description: "需求档指针（缺省 = 不变）" },
       task_book: { type: "string", description: "任务书指针（缺省 = 不变）" },
-      evidence: { type: "string", description: "证据（缺省 = 不变）" },
+      evidence: { type: "string", description: "证据（缺省 = 不变；传入 = 追加——旧值非空 ⇒ 拼 `旧｜新`（「｜」零空格）、旧空直写；新值全空白 ⇒ 拒；覆盖 = 与 `evidenceReplace: true` 同传）" },
+      evidenceReplace: { type: "boolean", description: "覆盖旗（布尔）：与 evidence 同传 = 整段替换（旧文零保留）；缺省 / false = 追加；旗独传（无新文）⇒ 拒" },
       trigger: { type: "string", enum: ["归批", "条件", "认账不排期"], description: "触发（缺省 = 不变）" },
-      executor: { type: "string", description: "执行者 sessionId（可选——接手改写归属用；缺省 = 按状态迁移语义：进在途自动写本会话 / 出在途自动清空 / 其余不变）" },
+      executor: { type: "string", description: "执行者 sessionId（可选——接手改写归属用；缺省 = 按状态迁移语义：进入待设计 / 在途自动写本会话；出在途 / 撤回清空）" },
     },
     additionalProperties: false,
   },
@@ -120,6 +124,8 @@ const ACTION_SPECS = {
       cwd: { type: "string", description: CWD_DESC },
       id: { type: "number", description: "条目 id" },
       status: { type: "string", enum: ["已核销", "已废弃"], description: "目标态（勾销 / 追认核销 / 撤回）" },
+      evidence: { type: "string", description: "最小证据行（可选；传入 = 追加缺省——旧值非空 ⇒ 拼 `旧｜新`（「｜」零空格）、旧空直写；新值全空白 ⇒ 拒；覆盖 = 与 `evidenceReplace: true` 同传。追认核销面判结果值须非空：缺 / 全空白 ⇒ 拒）" },
+      evidenceReplace: { type: "boolean", description: "覆盖旗（布尔）：与 evidence 同传 = 整段替换（旧文零保留）；缺省 / false = 追加；旗独传（无新文）⇒ 拒" },
     },
     additionalProperties: false,
   },
@@ -130,6 +136,7 @@ const ACTION_SPECS = {
       status: { type: "string", enum: ["待讨论", "待设计", "在途", "待核销", "已核销", "已废弃"], description: "按状态过滤（六态之一，缺省 = 不过滤）" },
       kind: { type: "string", enum: ["requirement", "tech_todo"], description: "按类别过滤" },
       board: { type: "string", description: "按归属板块过滤（需求档文档名）" },
+      trigger: { type: "string", enum: ["归批", "条件", "认账不排期"], description: "按技术待办触发过滤（三枚举，缺省 = 不过滤——无触发（NULL）不过滤）" },
     },
     additionalProperties: false,
   },
@@ -152,11 +159,12 @@ const UNION_PARAMETERS = {
     board: { type: "string", description: "归属板块（需求档文档名；add 可空 / update 缺省 = 不变 / query 过滤）" },
     req_doc: { type: "string", description: "需求档指针（add 可空 / update 缺省 = 不变）" },
     task_book: { type: "string", description: "任务书指针（add 可空 / update 缺省 = 不变；在途 / 待核销必填——咬合 CHECK）" },
-    evidence: { type: "string", description: "最小证据行（add 可空 / update 缺省 = 不变；追认核销须非空）" },
-    trigger: { type: "string", enum: ["归批", "条件", "认账不排期"], description: "技术待办触发（add / update 可空）" },
+    evidence: { type: "string", description: "最小证据行（add 可空；update / close 传入 = 追加缺省——旧空直写、旧非空拼 `旧｜新`（「｜」零空格）、新值全空白 ⇒ 拒；覆盖 = 与 `evidenceReplace: true` 同传；update 缺省 = 不变 / close 缺省 = 判行值；追认核销须非空）" },
+    evidenceReplace: { type: "boolean", description: "覆盖旗（布尔）：与 evidence 同传 = 整段替换；缺省 / false = 追加；旗独传（无新文）⇒ 拒（update / close）" },
+    trigger: { type: "string", enum: ["归批", "条件", "认账不排期"], description: "技术待办触发（add / update 可空 / query 过滤）" },
     id: { type: "number", description: "条目 id（update / close 必填）" },
     status: { type: "string", enum: ["待讨论", "待设计", "在途", "待核销", "已核销", "已废弃"], description: "状态（close 必填 ∈ {已核销, 已废弃}；update 迁移 / query 过滤——六态之一）" },
-    executor: { type: "string", description: "执行者 sessionId（update 可选——接手改写归属；缺省 = 按状态迁移语义）" },
+    executor: { type: "string", description: "执行者 sessionId（update 可选——接手改写归属；缺省 = 按状态迁移语义：进入待设计 / 在途自动写本会话；出在途 / 撤回清空）" },
   },
   additionalProperties: false,
 }
@@ -213,9 +221,9 @@ function makeLedgerTool(actions, { readonly = false, writeFace = false } = {}) {
           return JSON.stringify(ledgerUpdate({ cwd: cwd ?? cwdOf(ctx), id, patch, executorSessionId }))
         }
         case "close":
-          return JSON.stringify(ledgerClose({ cwd: rest.cwd ?? cwdOf(ctx), id: rest.id, status: rest.status }))
+          return JSON.stringify(ledgerClose({ cwd: rest.cwd ?? cwdOf(ctx), id: rest.id, status: rest.status, evidence: rest.evidence, evidenceReplace: rest.evidenceReplace }))
         case "query":
-          return JSON.stringify(ledgerQuery({ cwd: rest.cwd ?? cwdOf(ctx), status: rest.status, kind: rest.kind, board: rest.board }), null, 2)
+          return JSON.stringify(ledgerQuery({ cwd: rest.cwd ?? cwdOf(ctx), status: rest.status, kind: rest.kind, board: rest.board, trigger: rest.trigger }), null, 2)
         case "count":
           return JSON.stringify({ count: ledgerCount({ cwd: rest.cwd ?? cwdOf(ctx) }) })
         default:

package/ledger.mjs

@@ -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,8 +177,9 @@ 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 { ledgerTool, ledgerReadTool, ledgerAddTool, ledgerCloseTool, ledgerCountTool, ledgerQueryTool, ledgerUpdateTool } from "./ledger-tools.mjs"
 export { runLedgerAudit, runLedgerMigrate } from "./ledger-migrate.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

@@ -80,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 口径）。

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. */