@thincoder/core 0.9.5 → 0.10.1

package/memory-status.mjs

@@ -0,0 +1,69 @@
+/**
+ * memory-status.mjs — 记忆 / 索引状态**只读出口**（R2 · 桌面功能对位批 · 台账 #412 正解）：三表计数一处出。
+ *
+ * 判据（父侧裁 —— 端侧不直读核内表；`docs/desktop/design/PROJECT.md` §10 N 行）：
+ * - **只读**：本档零写面（无 DDL ∕ DML ∕ 迁移）+ 零动作面（无 sync ∕ reindex ∕ 建库）；
+ *   句柄装配归调用面（`memory` 首参 = 已开句柄）。
+ * - **零端名**：键名 = 表名 ∕ 通用计数词，无端侧语汇 —— 各端同面同形（第二消费面即本出口本身）。
+ * - **origin 归一**：`origin` 给定 ⇒ 三表皆按**归一键**限定（核写缝一律归一 —— `memory/origin.mjs`；
+ *   读面不归一 ⇒ 读不到本项目行）；缺 ∕ 非串 ∕ 空串 ⇒ 全库计数（回执 `origin: null`）。
+ *
+ * 回执：
+ * ```
+ * { origin, tables: { files, code: { files, chunks }, doc: { files, chunks } },
+ *   totals: { files, chunks }, indexed, dbBytes, origins: [{ origin, code, doc }] }
+ * ```
+ * `tables.files` = 记忆层（`files` 表：project ∕ team 两层 markdown 记忆）行数；`code` ∕ `doc` 各 =
+ * 去重文件数（`COUNT(DISTINCT path)`）与分块数（`COUNT(*)`）；`totals` = code + doc 合计（端侧既有
+ * 索引读数同口径）；`indexed` = 合计文件数 > 0（「本项目已建索引」读数 —— 读数非承诺）。
+ * P1 新增读数（§6.14 面③）：`dbBytes` = 库文件 `statSync` 字节数（非文件型 ∕ 不可读 ⇒ null）；
+ * `origins` = 逐 origin 行数（code ∕ doc 两表并集，键 = 库内**原样** origin，按名排序）。
+ */
+import { statSync } from "node:fs"
+import { normalizeOrigin } from "./memory/origin.mjs"
+
+/** 单表计数：`key` 非 null ⇒ 追加 `WHERE origin = ?`（三表皆有 origin 列 —— v5 ∕ v8 起）。 */
+function countOf(memory, base, key) {
+  const sql = key === null ? base : `${base} WHERE origin = ?`
+  return key === null ? memory.db.prepare(sql).get() : memory.db.prepare(sql).get(key)
+}
+
+/** 三表计数只读出口（形见档头；`memory` = `createMemory()` 回执句柄）。 */
+export function memoryStatus(memory, { origin } = {}) {
+  const normalized = normalizeOrigin(origin)
+  const scope = typeof normalized === "string" && normalized.length > 0 ? normalized : null
+
+  const files = countOf(memory, "SELECT COUNT(*) AS n FROM files", scope)?.n ?? 0
+  const codeRow = countOf(memory, "SELECT COUNT(DISTINCT path) AS files, COUNT(*) AS chunks FROM code_chunks", scope) ?? {}
+  const docRow = countOf(memory, "SELECT COUNT(DISTINCT path) AS files, COUNT(*) AS chunks FROM doc_chunks", scope) ?? {}
+  const code = { files: codeRow.files ?? 0, chunks: codeRow.chunks ?? 0 }
+  const doc = { files: docRow.files ?? 0, chunks: docRow.chunks ?? 0 }
+  const totalFiles = code.files + doc.files
+
+  return {
+    origin: scope,
+    tables: { files, code, doc },
+    totals: { files: totalFiles, chunks: code.chunks + doc.chunks },
+    indexed: totalFiles > 0,
+    dbBytes: dbBytesOf(memory),
+    origins: originRows(memory),
+  }
+}
+
+/** 库文件字节数（P1——`statSync` 实读；非文件型 ∕ 不可读 ⇒ null）。 */
+function dbBytesOf(memory) {
+  try { return memory.dbPath ? statSync(memory.dbPath).size : null } catch { return null }
+}
+
+/** 逐 origin 行数（P1——code ∕ doc 两表并集；键 = 库内原样 origin，按名排序）。 */
+function originRows(memory) {
+  const map = new Map()
+  for (const [table, key] of [["code_chunks", "code"], ["doc_chunks", "doc"]]) {
+    for (const r of memory.db.prepare(`SELECT origin, COUNT(*) AS n FROM ${table} GROUP BY origin`).all()) {
+      const cur = map.get(r.origin) ?? { origin: r.origin, code: 0, doc: 0 }
+      cur[key] = Number(r.n)
+      map.set(r.origin, cur)
+    }
+  }
+  return [...map.values()].sort((a, b) => (a.origin < b.origin ? -1 : a.origin > b.origin ? 1 : 0))
+}

package/memory.mjs

@@ -19,3 +19,6 @@ export { gitSync, codeSync, markIndexedCommit, codeSearch, ensureCodeEmbeddings,
 
 // doc sync + search + memoryTools
 export { docSync, docSearch, ensureDocEmbeddings, docSearchTool, memoryTools } from "./memory/docs.mjs"
+
+// status read-only export (three-table counts single point — R2)
+export { memoryStatus } from "./memory-status.mjs"

package/model-specs.mjs

@@ -19,6 +19,7 @@
  * multimodal:        whether multimodal (image/vision input supported)
  * thinkApi:          thinking API type: "type"=thinking.type field / "effort"=reasoning_effort field
  * thinkEnabledValue: when thinkApi is "type", the value used to enable thinking (default "enabled"; MiniMax uses "adaptive")
+ * thinkAlwaysOn:     server-enforced thinking (true = always on — no off path; single source = MODEL-SPECS.md §16.3)
  * reasoningEcho:     reasoning_content cross-turn echo strategy: "required"=must echo (error if missing) / "optional"=echo optional (default: don't echo)
  * reasoningEffortEnum: valid reasoning_effort enum values (if undeclared, no validation — passed through as-is)
  * tempRange:         valid temperature range [min, max] (if undeclared, no clamping)
@@ -63,16 +64,21 @@ const MODEL_SPECS = [
   // 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）。
-  ["glm-5.3",           { context: 1_000_000, maxOutput: 128_000, thinking: true,  thinkApi: "type", reasoningEcho: "optional", reasoningEffortEnum: ["low", "high", "max"], tempRange: [0, 1], noUsageStream: true }],
-  ["glm-5.3-flash",     { context: 1_000_000, maxOutput: 131_072, thinking: true, multimodal: true,  thinkApi: "type", reasoningEcho: "optional", reasoningEffortEnum: ["low", "high", "max"], tempRange: [0, 1], noUsageStream: true }],
+  //          该事实 = 机制位 `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 }],
+  // glm-5.3-flash：始终思考——该事实 = 机制位 `thinkAlwaysOn`（单源 = `docs/core/design/MODEL-SPECS.md` §16.3）
+  //          ——**族沿用**（族据 = `glm-5.3` 行）；其余字段见其下行注与规格面。
+  ["glm-5.3-flash",     { context: 1_000_000, maxOutput: 131_072, thinking: true,  thinkAlwaysOn: true, multimodal: true,  thinkApi: "type", reasoningEcho: "optional", reasoningEffortEnum: ["low", "high", "max"], tempRange: [0, 1], noUsageStream: true }],
   // glm-5.3-flashx（GLM-5.3-FlashX，2026-09 上线）——独立行（不再蹭 flash 前缀行）：maxOutput 131_072 =
   // **校验级**（400「max_tokens…限制数值范围[1,131072]」）；effort 枚举 ["low","high","max"] = **校验级**
   // （400 原文点名：low/high/max 受理，其余拒绝）。multimodal = **实测**（8×8 纯红 PNG → 答「红色」）。
   // thinking = **实测**且**始终思考**（`thinking:{type:"disabled"}` → 400；裸请求默认开）——off 动作在
-  // UI 侧为 no-op（服务端无关闭路径）。其余 = **族沿用** flash 行（context 网络口径未探边；
+  // UI 侧为 no-op（服务端无关闭路径）。该事实 = 机制位 `thinkAlwaysOn`（单源 = `docs/core/design/MODEL-SPECS.md`
+  // §16.3）——**实测**（`thinking:{type:"disabled"}` → 400；裸请求默认开）。其余 = **族沿用** flash 行（context 网络口径未探边；
   // thinkApi / reasoningEcho / tempRange / noUsageStream = 前缀命中路径日常在用）。
   // flash 行 maxOutput 131_072 = **校验级**（#20 批 §1.2 同源 · 2026-09-25 批 §14.2 #1 收正）——两行独立（改一行不动另一行）。
-  ["glm-5.3-flashx",    { context: 1_000_000, maxOutput: 131_072, thinking: true, multimodal: true,  thinkApi: "type", reasoningEcho: "optional", reasoningEffortEnum: ["low", "high", "max"], tempRange: [0, 1], noUsageStream: true }],
+  ["glm-5.3-flashx",    { context: 1_000_000, maxOutput: 131_072, thinking: true,  thinkAlwaysOn: true, multimodal: true,  thinkApi: "type", reasoningEcho: "optional", reasoningEffortEnum: ["low", "high", "max"], tempRange: [0, 1], noUsageStream: true }],
   ["glm-5.2",           { context: 1_000_000, maxOutput: 128_000, thinking: true,  thinkApi: "type", reasoningEcho: "optional", reasoningEffortEnum: ["max", "xhigh", "high", "medium", "low", "minimal", "none"], tempRange: [0, 1], noUsageStream: true }],
   ["glm-5",             { context: 1_000_000, maxOutput: 128_000, thinking: true,  thinkApi: "type", reasoningEcho: "optional", reasoningEffortEnum: ["max", "xhigh", "high", "medium", "low", "minimal", "none"], tempRange: [0, 1], noUsageStream: true }],
   ["glm-4",             { context: 128_000,   maxOutput: 32_000,  thinking: true,  thinkApi: "type", reasoningEcho: "optional", tempRange: [0, 1], noUsageStream: true }],
@@ -250,9 +256,11 @@ const SORTED_SPECS = [...MODEL_SPECS].sort((a, b) => b[0].length - a[0].length)
 
 /** Single table lookup shared by specForModel / specMatch — prefix match (case-insensitive)
  *  with vendor-namespace stripping. Returns null on a miss (DEFAULT_SPEC is the caller-side
- *  fallback and is deliberately NOT returned here — `matched` needs the miss itself). */
+ *  fallback and is deliberately NOT returned here — `matched` needs the miss itself).
+ *  非串 model（外端脏载 / 手工档）归一等价空串 ⇒ 未命中 ⇒ 调用侧 DEFAULT_SPEC（#638 查表全性：
+ *  下游无类型门——`.toLowerCase` 只认串，非串归一后本函数恒 total，同 providerSpec 文档句）。 */
 function lookupSpec(model) {
-  const m = (model ?? "").toLowerCase()
+  const m = (typeof model === "string" ? model : "").toLowerCase()
   for (const [prefix, spec] of SORTED_SPECS) {
     if (m.startsWith(prefix.toLowerCase())) return spec
   }
@@ -271,7 +279,8 @@ function lookupSpec(model) {
  *  instead of silently degrading to the 128K default (IK5VGJ). The dedupe set is shared by
  *  specForModel / specMatch (PROVIDER.md §16 M5). */
 function warnUnknownModel(model) {
-  const m = (model ?? "").toLowerCase()
+  // 非串 model（脏载）归一空串 ⇒ 不警告（未登记 ≠ 拼错——不刷屏；#638 与 lookupSpec 同归一）
+  const m = (typeof model === "string" ? model : "").toLowerCase()
   if (m && !warnedModels.has(m)) {
     warnedModels.add(m)
     console.warn(`[config] model "${model}" not found in MODEL_SPECS — using default spec (128K context, 32K output). Check the model ID or add an alias.`)

package/notify-policy.mjs

@@ -0,0 +1,51 @@
+/**
+ * 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 `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` 判据在调用面 —— 单回合
+ * 执行面；VSC 同判据）：
+ *   用户回合完成（VSC 逐字同判据 = `panel-callbacks.mjs:236` 的 `!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 删）。 */
+export const NOTIFY_TEXTS = Object.freeze({
+  zh: "ThinCoder：本轮完成",
+  en: "ThinCoder: turn complete",
+})
+
+/** 零动作面（`notify` 注入缺位 = 提示面缺位 ⇒ 零连带 —— 回合链不受累、不抛；沿「禁假造」口径不落假通知）。 */
+const SILENT = Object.freeze({ turnDone: () => false })
+
+/** 提示面工厂：`notify(payload)` = 平台落子（载荷 `{ title?, body, reveal? }`）· `focused()` = 窗口聚焦判据
+ *  （真 ⇒ 门闭合 · 缺省 = 恒聚焦 ⇒ 零通知）· `reveal()` = 点击面（宿主语义）· `localeOf(agent)` =
+ *  语言取值缝（缺省 = `agent?.config?.locale`）。返回单档 `turnDone`（返回值 = 是否落子，测试读数面）。 */
+export function createNotifier({ notify = null, focused = null, reveal = null, localeOf = null } = {}) {
+  if (typeof notify !== "function") return SILENT
+  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` 同判据）
+    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 // 会话标题在场才携（不可得 ⇒ 零携）
+    if (typeof reveal === "function") payload.reveal = reveal
+    try { notify(payload) } catch (error) { console.error("[notify] dispatch failed:", error) } // 平台抛 ⇒ 零连带
+    return true
+  }
+  return {
+    /** 用户回合完成（`!autoTurn` 判据在调用面 —— 单回合执行面成功径）。 */
+    turnDone(vars) { return fire(vars) },
+  }
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@thincoder/core",
-  "version": "0.9.5",
+  "version": "0.10.1",
   "description": "ThinCoder shared core — shared mechanism modules + shared prompt content (CLI ↔ VS Code extension).",
   "keywords": [
     "ai",

package/peer-claims.mjs

@@ -23,7 +23,7 @@
 import { existsSync, readFileSync } from "node:fs"
 import { join } from "node:path"
 import { configDir } from "./config.mjs"
-import { normalizeCwd, getSessionId, END, manifestPath, writeSessionFile } from "./session-slots.mjs"
+import { normalizeCwd, getSessionId, sessionEnd, manifestPath, writeSessionFile } from "./session-slots.mjs"
 
 /** 认领租约（§4.4.2）：30 min——同目标再写 / 目标被已有认领覆盖 ⇒ `expiresAt = now + 本值`。 */
 export const CLAIM_TTL_MS = 30 * 60 * 1000
@@ -175,7 +175,7 @@ export function flushPeerClaims(agent, now = claimsNow()) {
     const payload = { ...base }
     if (payload.sessionId === undefined) payload.sessionId = sessionId
     if (payload.pid === undefined) payload.pid = process.pid
-    if (payload.end === undefined) payload.end = END
+    if (payload.end === undefined) payload.end = sessionEnd()
     if (payload.cwd === undefined) payload.cwd = normalizeCwd(cwd)
     payload.claims = claims
     payload.claimsUpdatedAt = now

package/peer-domains.mjs

@@ -21,9 +21,9 @@
 
 import { statSync, readdirSync, readFileSync, unlinkSync } from "node:fs"
 import { join, resolve } from "node:path"
-import { normalizeCwd, getSessionId, END, writeSessionFile } from "./session-slots.mjs"
+import { normalizeCwd, getSessionId, sessionEnd, writeSessionFile } from "./session-slots.mjs"
 import { batchAlive } from "./peer-instances.mjs"
-import { FILE_MUTATORS } from "./agent/helpers.mjs"
+import { FILE_MUTATORS, toolTouchPaths } from "./agent/helpers.mjs"
 // 认领面（§4.4）归口 `peer-claims.mjs`；re-export 路径与谓词保既有 import 面（单源不复制）。
 import {
   peersDir, peerFilePath, pathsOverlap, claimHits, claimNoteText, claimAge, claimLeft,
@@ -73,15 +73,11 @@ function statDirMtimeMs(dir) {
   }
 }
 
-/** 目标路径解析（工具 touchedPaths 优先——apply_patch/edit-batch 多文件；file_ops 无
- *  touchedPaths——source/dest 双算；其余 path 单参兜底）。相对路径按 cwd 解析为绝对
- *  路径（resolve：绝对入参原样保留）。解析失败/畸形入参跳过（零目标 = 无检测无登记）。 */
+/** 目标路径解析（#327 单源谓词 `toolTouchPaths`——`docs/core/design/TOOLS.md` §6.17：钩子裁决 /
+ *  `file_ops` 无钩子 ⇒ 动作感知（`copy` ⇒ 只 `dest`；`move` / `rename` / 缺 `action` ⇒ source+dest）；
+ *  其余单参兜底）。相对路径按 cwd 解析为绝对（resolve：绝对入参原样保留）；畸形入参跳过。 */
 export function peerWriteTargets(tool, args, cwd) {
-  const raw = tool?.touchedPaths
-    ? tool.touchedPaths(args ?? {})
-    : tool?.name === "file_ops"
-      ? [args?.source, args?.dest]
-      : [args?.path]
+  const raw = toolTouchPaths(tool, args) // 单源谓词（恒数组 · 恒零抛——原裸抛面收口）
   const out = []
   for (const p of raw) {
     if (typeof p !== "string" || p.length === 0) continue
@@ -286,7 +282,7 @@ export function flushPeerDomains(agent) {
       ...base,
       sessionId,
       pid: process.pid,
-      end: END,
+      end: sessionEnd(),
       cwd: normalizeCwd(agent.cwd),
       domains: [...set],
       updatedAt: Date.now(),

package/peer-instances.mjs

@@ -26,8 +26,9 @@
  */
 
 import { statSync } from "node:fs"
-import { manifestPath, loadManifest, getSessionId, END } from "./session-slots.mjs"
+import { manifestPath, loadManifest, getSessionId, sessionEnd } from "./session-slots.mjs"
 import { batchAlive, batchAliveAsync, probeCmdlinesAsync, classifyEnd, isProductProc } from "./process-probe.mjs"
+import { DESC } from "./tools/shared.mjs" // #15 描述外置：文本单点 = tool-docs/peer_instances.md
 
 export { batchAlive } // 既有 import 面（peer-domains.mjs）零破——实现已外提 process-probe.mjs
 
@@ -78,10 +79,11 @@ function cachePut(cwd, entry) {
   peerInstanceCache.set(cwd, entry)
 }
 
-/** manifest slotSessions → 按 sessionId 去重分组 [{ sessionId, pid, slots }]。
+/** manifest slotSessions → 按 sessionId 去重分组 [{ sessionId, pid, slots }]（纯函数·零 IO）。
  *  sessionId 形如 "{pid}-{ts}-{rand}"（进程级——可去重分组，MULTI-INSTANCE-COLLAB §3.1）；pid 不可解析
- *  的条目跳过（存量清理归 saveManifest 的 cleanDeadOwners——本模块纯只读不写）。 */
-function groupSlotSessions(m) {
+ *  的条目跳过（存量清理归 saveManifest 的 cleanDeadOwners——本模块纯只读不写）。
+ *  **具名导出**（§3.1「聚合半段单源」）：VSC 端引本件分组半段（端侧零本地副本）。 */
+export function groupSlotSessions(m) {
   const byId = new Map()
   for (const [slot, sessionId] of Object.entries(m.slotSessions ?? {})) {
     if (typeof sessionId !== "string" || sessionId.length === 0) continue
@@ -145,7 +147,7 @@ export async function peerInstances(cwd) {
   const peers = []
   const selfGroup = groups.find((g) => g.sessionId === myId)
   if (selfGroup) {
-    peers.push({ pid: selfGroup.pid ?? process.pid, sessionId: myId, slots: selfGroup.slots, end: END, self: true })
+    peers.push({ pid: selfGroup.pid ?? process.pid, sessionId: myId, slots: selfGroup.slots, end: sessionEnd(), self: true })
   }
   for (const g of peerGroups) {
     const end = known ? classifyEnd(cmdlines.get(g.pid)) : undefined
@@ -159,14 +161,11 @@ export async function peerInstances(cwd) {
 /**
  * L2 只读查询工具（MULTI-INSTANCE-COLLAB §3.3）——挂本模块导出。schema
  * description 逐字锚（评审修正 #7——2026-09-06 定稿，双端照抄——禁止自行解释）：
- * "peer_instances — read-only: list other live ThinCoder instances sharing this
- * workspace cwd. Returns [{ pid, end, sessionId, slots }]; never includes self;
- * pure read — writes nothing."
+ * 文本本体 = `tool-docs/peer_instances.md`（DESC() 加载；#15 外置——文本逐字零改）。
  */
 export const peerInstancesTool = {
   name: "peer_instances",
-  description:
-    "peer_instances — read-only: list other live ThinCoder instances sharing this workspace cwd. Returns [{ pid, end, sessionId, slots }]; never includes self; pure read — writes nothing.",
+  description: DESC("peer_instances"), // #15 外置：文本单点 = tool-docs/peer_instances.md（逐字锚）
   parameters: { type: "object", properties: {} },
   readonly: true,
   async execute(args, ctx) {

package/process-probe-exec.mjs

@@ -0,0 +1,187 @@
+/**
+ * process-probe-exec.mjs — 探测执行面（#590① 自 `process-probe.mjs` 外提——CORE-UNIFICATION
+ * 行 10 预案兑现；语义逐字零变）。
+ *
+ * 归本档：双超时常量（`ALIVE_EXEC_TIMEOUT_MS` / `CMDLINE_EXEC_TIMEOUT_MS`）· 模块级测试注入缝
+ * （`_testImpl` + 两 setter——唯一读取点 = 本档四批量函数，同档免回引 / 免环）· `uniqPids` ·
+ * 输出解析族 · `execFileP` · 四批量探测函数（`batchAlive` / `batchAliveAsync` / `probeCmdlines` /
+ * `probeCmdlinesAsync`）。
+ * 留 `process-probe.mjs`：身份判据 · 三态判据 · 束 API · 单 pid 兼容面 · 清理面适配——该档对
+ * 四批量名与缝名 **import + re-export**（导入面逐字零改；`isProcessAlive` 经 import 取用本档
+ * `parseTasklistPids`，并自持 `execFileSync` import——win32 分支直调，不设转口）。
+ *
+ * 成本纪律与两形态语义（同步 / 异步共用同一解析族与同一注入缝）= `process-probe.mjs` 头注
+ * （单源——本档不重述）。
+ */
+import { execFile, execFileSync } from "node:child_process"
+
+const ALIVE_EXEC_TIMEOUT_MS = 10_000
+const CMDLINE_EXEC_TIMEOUT_MS = 15_000
+
+// 模块级测试注入缝（default null = 生产实现；测试注入 + finally 恢复——见测试文件）
+let _testImpl = null
+
+/** 注入测试实现。aliveFn(pids) → Set<pid>|null；cmdlineFn(pids) → Map<pid,cmdline>|null
+ *  （两缝均**批量**语义——一次调用拿全量）。返回前值便于测试保存恢复；**未传的槽置 null**（传 `{}` = 两槽同清，等价 reset）。 */
+export function _setProcessProbeTestImpl({ aliveFn = undefined, cmdlineFn = undefined } = {}) {
+  const prev = _testImpl
+  _testImpl = { aliveFn: aliveFn ?? null, cmdlineFn: cmdlineFn ?? null }
+  return prev
+}
+
+export function _resetProcessProbeTestImpl() {
+  _testImpl = null
+}
+
+/** pid 清单归一：去重 + 正整数（两探测共用——空清单调用面零 exec）。 */
+export function uniqPids(pids) {
+  return [...new Set(pids.map(Number).filter((n) => Number.isInteger(n) && n > 0))]
+}
+
+// ── 输出解析族（同步 / 异步两形态**共用**——单源，防两形态漂移） ─────────────────
+/** Windows tasklist CSV（`"name","pid"…`）→ 全量 PID 集合。 */
+export function parseTasklistPids(out) {
+  const alive = new Set()
+  for (const line of out.split(/\r?\n/)) {
+    const m = line.match(/^"([^"]*)","(\d+)"/)
+    if (m) alive.add(Number(m[2]))
+  }
+  return alive
+}
+
+/** Unix `ps -eo pid=` → 全量 PID 集合。 */
+function parsePsPids(out) {
+  return new Set(out.split(/\r?\n/).map((l) => Number(l.trim())).filter((n) => Number.isInteger(n)))
+}
+
+/** Windows `Get-CimInstance … ConvertTo-Json` → `Map<pid, cmdline>`。 */
+function parseCimCmdlines(out) {
+  const rows = JSON.parse(out.trim())
+  const map = new Map()
+  for (const r of Array.isArray(rows) ? rows : [rows]) {
+    if (r && Number.isInteger(r.ProcessId) && typeof r.CommandLine === "string") {
+      map.set(Number(r.ProcessId), r.CommandLine)
+    }
+  }
+  return map
+}
+
+/** Unix `ps -eo pid=,args=` → `Map<pid, cmdline>`。 */
+function parsePsArgs(out) {
+  const map = new Map()
+  for (const line of out.split(/\r?\n/)) {
+    const m = line.match(/^\s*(\d+)\s+(.*)$/)
+    if (m) map.set(Number(m[1]), m[2])
+  }
+  return map
+}
+
+/** execFile → Promise<string>（stdout；exec / 超时失败 ⇒ reject——调用面按「探测失败」降级）。 */
+function execFileP(cmd, args, timeout) {
+  return new Promise((resolve, reject) => {
+    execFile(cmd, args, { encoding: "utf8", timeout, windowsHide: true }, (err, stdout) => {
+      if (err) reject(err); else resolve(stdout)
+    })
+  })
+}
+
+/**
+ * 批量判活：单次 tasklist（Windows 全量 CSV）/ ps（Unix）拿全量 PID 集合 → 一次 exec
+ * 比对（修复 isProcessAlive 每 pid 一次 execSync 的成本——每回合 N 次 = 贵，探索 §4）。
+ * 返回存活 pid 的 Set；exec/解析失败 → null（调用方区分"探测失败"与"全死"——只读面按
+ * 无活伴降级；域面（peer-domains 死清理）在 null 时不得执行删除——探测失败 ≠ 死）。
+ * **纯存在性**：身份判据不在此层（D-MI11——过滤落点在读面 `peerInstances()` 与清理面
+ * `filterDeadOwners`；`peer-domains.mjs` 的域残留清理语义保持零变）。
+ */
+export function batchAlive(pids, { timeoutMs = ALIVE_EXEC_TIMEOUT_MS } = {}) {
+  const uniq = uniqPids(pids)
+  if (uniq.length === 0) return new Set()
+  if (_testImpl?.aliveFn) return _testImpl.aliveFn(uniq)
+  try {
+    if (process.platform === "win32") {
+      const output = execFileSync("tasklist", ["/FO", "CSV", "/NH"], {
+        encoding: "utf8", timeout: timeoutMs, stdio: ["ignore", "pipe", "ignore"],
+      })
+      const alive = parseTasklistPids(output)
+      return new Set(uniq.filter((pid) => alive.has(pid)))
+    }
+    const output = execFileSync("ps", ["-eo", "pid="], {
+      encoding: "utf8", timeout: timeoutMs, stdio: ["ignore", "pipe", "ignore"],
+    })
+    const alive = parsePsPids(output)
+    return new Set(uniq.filter((pid) => alive.has(pid)))
+  } catch {
+    return null // 探测失败（区别于全死）——调用方不得据此执行删除/判死副作用
+  }
+}
+
+/**
+ * 异步对偶（TUI 假死批 · MULTI-INSTANCE-COLLAB §3.1）：与 `batchAlive` 同语义（返回集 / null
+ * 降级一致），但 `execFile` + Promise 化——**读面**（每回合的 `peerInstances`）不得用同步 exec
+ * 占住事件循环。**同一注入缝** `_setProcessProbeTestImpl`（注入值可能是同步函数——经 await
+ * 消费）；**清理面继续用同步版**（会话起点 / 认领路径，非每回合面——D-MI14 登记）。
+ */
+export async function batchAliveAsync(pids) {
+  const uniq = uniqPids(pids)
+  if (uniq.length === 0) return new Set()
+  if (_testImpl?.aliveFn) return _testImpl.aliveFn(uniq)
+  try {
+    if (process.platform === "win32") {
+      const alive = parseTasklistPids(await execFileP("tasklist", ["/FO", "CSV", "/NH"], ALIVE_EXEC_TIMEOUT_MS))
+      return new Set(uniq.filter((pid) => alive.has(pid)))
+    }
+    const alive = parsePsPids(await execFileP("ps", ["-eo", "pid="], ALIVE_EXEC_TIMEOUT_MS))
+    return new Set(uniq.filter((pid) => alive.has(pid)))
+  } catch {
+    return null // 探测失败（区别于全死）——只读面按「无活伴」降级
+  }
+}
+
+/**
+ * 批量 cmdline 探测（决策③ A——一次 exec 拿全部 pid+cmdline）：返回 Map<pid, cmdline>
+ * 或 null（exec 失败/解析失败）。Windows = 一次 Get-CimInstance（PowerShell）；Unix =
+ * 一次 ps。仅在 manifest mtime 变化后跑一次（~百 ms 级——设计已接受）；清理面同一批量
+ * 结果逐条消费（D-MI3 / N-MI3——不做每 pid 一次 exec）。
+ */
+export function probeCmdlines(pids, { timeoutMs = CMDLINE_EXEC_TIMEOUT_MS } = {}) {
+  const uniq = uniqPids(pids)
+  if (uniq.length === 0) return new Map()
+  if (_testImpl?.cmdlineFn) return _testImpl.cmdlineFn(uniq)
+  try {
+    let out
+    if (process.platform === "win32") {
+      // 一次 Get-CimInstance 拿全表 → node 侧过滤目标 pid（避免 shell 引号注入面）
+      out = execFileSync("powershell.exe",
+        ["-NoProfile", "-NonInteractive", "-Command",
+          "Get-CimInstance Win32_Process | Select-Object ProcessId,CommandLine | ConvertTo-Json -Compress"],
+        { encoding: "utf8", timeout: timeoutMs, stdio: ["ignore", "pipe", "ignore"] })
+      return parseCimCmdlines(out)
+    }
+    out = execFileSync("ps", ["-eo", "pid=,args="], {
+      encoding: "utf8", timeout: timeoutMs, stdio: ["ignore", "pipe", "ignore"],
+    })
+    return parsePsArgs(out)
+  } catch {
+    return null // 探测失败 → 端字段/身份缺省（调用方降级：保守保留）
+  }
+}
+
+/** 异步对偶（同 `probeCmdlines` 语义——`execFile` + Promise；同一注入缝；读面在用）。 */
+export async function probeCmdlinesAsync(pids) {
+  const uniq = uniqPids(pids)
+  if (uniq.length === 0) return new Map()
+  if (_testImpl?.cmdlineFn) return _testImpl.cmdlineFn(uniq)
+  try {
+    if (process.platform === "win32") {
+      const out = await execFileP("powershell.exe",
+        ["-NoProfile", "-NonInteractive", "-Command",
+          "Get-CimInstance Win32_Process | Select-Object ProcessId,CommandLine | ConvertTo-Json -Compress"],
+        CMDLINE_EXEC_TIMEOUT_MS)
+      return parseCimCmdlines(out)
+    }
+    const out = await execFileP("ps", ["-eo", "pid=,args="], CMDLINE_EXEC_TIMEOUT_MS)
+    return parsePsArgs(out)
+  } catch {
+    return null // 探测失败 → 端字段/身份缺省（调用方降级：保守保留）
+  }
+}