@furongjun1999/dsh-memory 0.4.8 → 0.4.9

package/lib/lib/datapath.js

@@ -2,21 +2,33 @@
  * datapath.ts · 灵枢数据根解析（记忆写入路径可配置）
  *
  * 与 Python 侧 `md_cg/datapath.py` **同口径**——两侧读同一份
- * `<插件仓>/data/paths.json`，避免大脑与脚本对「记忆真源在哪」各持一说。
+ * `<用户级状态根>/paths.json`（新位置；旧版 `<插件仓>/data/paths.json`
+ * 仍兼容读），避免大脑与脚本对「记忆真源在哪」各持一说。
+ *
+ * 为什么默认不再取「插件仓自身 data/」（issue #18 相邻问题，数据丢失级）：
+ *   DSH 插件按 hoisted 布局装在 `<profile>/node_modules/<pkg>`，`pnpm` 更新该包
+ *   会**整个替换包目录**——运行时数据落在包内（`<pkg>/data`）时，每次更新成功
+ *   即连目录一起删掉（贡献者实机实证：`data/` 54 文件 → 0，46 条记忆节点只能
+ *   靠人工备份回填）；`paths.json` 同址，用户配置一并丢失。故默认数据根与配置
+ *   文件一律落**用户级状态根**（见 `stateRoot()`），与包目录彻底解耦。
  *
  * 优先级（高 → 低）：
  *   1. 环境变量 `MDCG_DATA_ROOT`（数据根）／ `MDCG_ROOT`（认知图根）
- *   2. 用户可编辑配置 `<插件仓>/data/paths.json` 的 `data_root` / `root`
+ *   2. 用户可编辑配置 `paths.json` 的 `data_root` / `root`
+ *      （位置：`<用户级状态根>/paths.json`；旧 `<插件仓>/data/paths.json` 兼容读）
  *   3. 插件配置项 `mdcg.root`（可为空=未指定）
- *   4. 默认 `<插件仓>/data/mdcg`（**自身仓库**，与进程 cwd 解耦）
+ *   4. 默认 `<用户级状态根>/data/mdcg`
  *
- * 为什么默认不再取「相对 cwd 的 data/mdcg」：
+ * 为什么默认不取「相对 cwd 的 data/mdcg」：
  *   node 侧插件与 python 侧脚本的 cwd 不同，相对路径会漂移成
  *   `<cwd>/data/mdcg`。历史事故：宿主 cwd 落在 AEIS 时，记忆真源
  *   分裂到 `AEIS/data/mdcg`，与插件仓 `data/` 变成互不可见的两处。
- *   锚定 `package.json` 所在目录后，默认值稳定且可预期。
+ *
+ * 旧数据接手：`migrateLegacyData()` 在默认数据根生效且旧包内位置仍有内容时
+ * 一次性**复制**（不删除、不覆盖）到用户级位置——见该函数注释。
  */
-import { existsSync, readFileSync } from 'node:fs';
+import { cpSync, existsSync, mkdirSync, readdirSync, readFileSync } from 'node:fs';
+import { homedir, tmpdir } from 'node:os';
 import { delimiter, dirname, isAbsolute, join, resolve } from 'node:path';
 import { fileURLToPath } from 'node:url';
 export const ENV_DATA_ROOT = 'MDCG_DATA_ROOT';
@@ -41,9 +53,52 @@ export function repoRoot() {
     cachedRepoRoot = resolve(dirname(fileURLToPath(import.meta.url)), '..', '..');
     return cachedRepoRoot;
 }
-/** 用户可编辑的路径配置文件（固定在插件仓 data/，不受 dataRoot 取值影响）。 */
+export const ENV_STATE_ROOT = 'MDCG_STATE_ROOT';
+let cachedStateRoot = null;
+/**
+ * 用户级状态根（**插件包目录之外**）：路径配置与默认数据根的落点。
+ * 优先级：`MDCG_STATE_ROOT` → `$DSH_HOME/.dsh-memory` → `~/.dsh/.dsh-memory`。
+ * `DSH_HOME` **未必**由宿主注入（本仓 `dsh/dsh-web-start.bat` 自行 set），
+ * 故家目录兜底；`~/.dsh` 是本插件既有约定（`bridge.ts` 调试日志同址）。
+ */
+export function stateRoot() {
+    if (cachedStateRoot)
+        return cachedStateRoot;
+    const env = process.env[ENV_STATE_ROOT];
+    if (env) {
+        cachedStateRoot = resolve(env);
+        return cachedStateRoot;
+    }
+    const dshHome = process.env['DSH_HOME'];
+    cachedStateRoot = dshHome
+        ? join(resolve(dshHome), '.dsh-memory')
+        : join(homedir(), '.dsh', '.dsh-memory');
+    return cachedStateRoot;
+}
+/** 旧版落点（插件包内 `data/`）——更新时会被整个替换，只作兼容读与迁移源。 */
+export function legacyDataRoot() {
+    return join(repoRoot(), 'data');
+}
+function samePath(a, b) {
+    return process.platform === 'win32' ? a.toLowerCase() === b.toLowerCase() : a === b;
+}
+/**
+ * 用户可编辑的路径配置文件：
+ *   `<用户级状态根>/paths.json` → 不存在则回落**旧** `<插件仓>/data/paths.json`
+ *   （兼容读）→ 都不存在返回新位置（首次写入时创建）。
+ * 不做自动复制：配置文件是「谁说了算」的唯一真源，悄悄复制会让旧件的后续编辑
+ * 静默失效——迁移只搬数据面，配置显式交给用户搬（或用 `set_user_root`）。
+ */
 export function pathsFile() {
-    return join(repoRoot(), 'data', 'paths.json');
+    const current = join(stateRoot(), 'paths.json');
+    if (existsSync(current))
+        return current;
+    const legacy = join(legacyDataRoot(), 'paths.json');
+    return existsSync(legacy) ? legacy : current;
+}
+/** 生效中的 paths.json 位置来源：`user`=用户级 / `legacy`=旧包内（兼容读）。 */
+export function pathsFileSource() {
+    return samePath(dirname(pathsFile()), stateRoot()) ? 'user' : 'legacy';
 }
 function readUserPaths() {
     try {
@@ -59,8 +114,133 @@ function readUserPaths() {
 function anchor(p) {
     return isAbsolute(p) ? p : resolve(repoRoot(), p);
 }
+/** 默认数据根 = 用户级状态根下 `data/`（**插件包目录之外**，更新不触碰）。 */
 export function defaultDataRoot() {
-    return join(repoRoot(), 'data');
+    return join(stateRoot(), 'data');
+}
+/** dst 为「空目录」时 true（不存在/非目录/有内容均为 false）。 */
+function isEmptyDir(p) {
+    try {
+        return readdirSync(p).length === 0;
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * 一次性迁移：把旧版留在**插件包内** `data/` 的数据面复制到用户级默认数据根。
+ *
+ * 触发条件（三条同时满足，缺一不动）：
+ *   ① 数据根未被显式配置（env `MDCG_DATA_ROOT` / paths.json 的 `data_root` 都未设，
+ *      即 `dataRoot()` 恰为默认值）——显式配置是用户的决定，越权搬运等于改他的真源；
+ *   ② 旧位置存在；
+ *   ③ 目标顶层条目不存在或为空目录（**不覆盖、不合并**已有数据）。
+ *
+ * 只复制不删除（旧目录随后由 pnpm 更新自然移除）；`paths.json` 不复制
+ * （配置走 `pathsFile()` 兼容读，复制会制造「哪个文件说了算」的两说）。
+ * 任何异常逐项吞掉并记入 `failed`——迁移是增益，不该成为启动失败源。
+ *
+ * 边界（如实）：pnpm 更新是**先替换包目录再启动新代码**，故旧数据在升级瞬间
+ * 即已消失，本函数只能接手「旧位置那时仍在」的情形（手工安装、就地覆盖、
+ * 或包目录未被清理）；已在升级中丢掉的数据无法由此恢复——发布说明须提示
+ * 0.4.8 及更早用户升级前备份 `<profile>/node_modules/<pkg>/data/`。
+ */
+export function migrateLegacyData() {
+    const from = legacyDataRoot();
+    const to = defaultDataRoot();
+    const out = { ran: false, reason: '', from, to, copied: 0, failed: [] };
+    if (!samePath(dataRoot(), to)) {
+        out.reason = '数据根为显式配置（env/paths.json），不迁移';
+        return out;
+    }
+    if (!existsSync(from)) {
+        out.reason = '旧位置不存在（多为更新时已随包目录被替换）';
+        return out;
+    }
+    let entries;
+    try {
+        entries = readdirSync(from);
+    }
+    catch {
+        out.reason = '旧位置不可读';
+        return out;
+    }
+    const names = entries.filter((n) => n !== 'paths.json');
+    if (!names.length) {
+        out.reason = '旧位置无数据';
+        return out;
+    }
+    for (const name of names) {
+        const src = join(from, name);
+        const dst = join(to, name);
+        // 新位置已有实质内容 → 跳过（宁可少搬，不可覆盖）
+        if (existsSync(dst) && !isEmptyDir(dst))
+            continue;
+        try {
+            mkdirSync(to, { recursive: true });
+            cpSync(src, dst, { recursive: true, force: false, errorOnExist: false });
+            out.copied += 1;
+        }
+        catch {
+            out.failed.push(name);
+        }
+    }
+    out.ran = out.copied > 0;
+    if (!out.ran)
+        out.reason = out.failed.length ? '目标不可写' : '新位置已有数据，未覆盖';
+    return out;
+}
+export const ENV_CHILD_CWD = 'MDCG_CHILD_CWD';
+let cachedRunRoot = null;
+/**
+ * 子进程的工作目录（**必须落在插件包目录之外**）。
+ *
+ * 为什么不能沿用 `repoRoot()`：Windows 不允许删除／改名「正被某进程当作 CWD」
+ * 的目录。DSH 的插件按 hoisted 布局安装在 `<profile>/node_modules/<pkg>`，
+ * 而 `pnpm` 每次更新该包都要先 `rmdir` 包目录 → 子进程一旦把包目录当 CWD，
+ * 更新必然 `ERR_PNPM_EBUSY: resource busy or locked`（含升级回滚一起失败，
+ * 应用内永远升不动这个插件）。注意落点也**不能**是 `<包>/data`——它仍在包内，
+ * 实测同样 `err=32`。
+ *
+ * 落点要求「稳定存在」：进程 cwd 指向已消失的目录会引出新的怪问题，故按稳定度
+ * 排候选目录，取**第一个能建成**的：
+ *   1. `MDCG_CHILD_CWD`（显式覆盖）
+ *   2. `$DSH_HOME/.dsh-memory/run`
+ *   3. `~/.dsh/.dsh-memory/run` —— 家目录兜底：`DSH_HOME` **未必**由宿主注入
+ *      （本仓 `dsh/dsh-web-start.bat` 是自行 `set DSH_HOME=%USERPROFILE%\.dsh`），
+ *      而 `~/.dsh` 是本插件既有约定（`bridge.ts` 调试日志、`token_store` 密钥环同址）
+ *   4. 系统临时目录（可能被清理，故排最后）
+ * 全部建不成时不抛错，交给 spawn 报错——cwd 落点只是防呆，不该成为启动失败源。
+ *
+ * 安全性：`python -m` 的模块解析由 `pythonPathValue()` 的 PYTHONPATH 独立保证，
+ * 不依赖 cwd；已实测 cwd=包目录 与 cwd=包外 时，MCP initialize 握手与
+ * tools/list 工具面（33 个工具）完全一致。
+ */
+export function runRoot() {
+    if (cachedRunRoot)
+        return cachedRunRoot;
+    const candidates = [];
+    const override = process.env[ENV_CHILD_CWD];
+    if (override)
+        candidates.push(resolve(override));
+    const dshHome = process.env['DSH_HOME'];
+    if (dshHome)
+        candidates.push(join(resolve(dshHome), '.dsh-memory', 'run'));
+    candidates.push(join(homedir(), '.dsh', '.dsh-memory', 'run'));
+    candidates.push(join(tmpdir(), 'dsh-memory-run'));
+    for (const dir of candidates) {
+        try {
+            mkdirSync(dir, { recursive: true });
+            cachedRunRoot = dir;
+            return dir;
+        }
+        catch {
+            /* 该候选不可用（父目录只读等）→ 试下一个 */
+        }
+    }
+    const last = candidates[candidates.length - 1] ?? tmpdir();
+    cachedRunRoot = last;
+    return last;
 }
 /** 数据根（记忆/账本/运行态的父目录）。 */
 export function dataRoot() {
@@ -108,22 +288,28 @@ export function describeDataPaths(configured) {
     const dr = dataRoot();
     const mr = mdcgRoot(configured);
     const paths = readUserPaths();
-    let source = 'default(插件仓自身 data/)';
+    const pfSource = pathsFileSource();
+    let source = 'default(用户级状态根 data/)';
     if (process.env[ENV_DATA_ROOT])
         source = `env:${ENV_DATA_ROOT}`;
     else if (process.env[ENV_MDCG_ROOT])
         source = `env:${ENV_MDCG_ROOT}`;
-    else if (typeof paths['data_root'] === 'string' || typeof paths['root'] === 'string')
-        source = 'paths.json';
+    else if (typeof paths['data_root'] === 'string' || typeof paths['root'] === 'string') {
+        source = pfSource === 'user' ? 'paths.json(用户级)' : 'paths.json(兼容读旧包内位置)';
+    }
     else if (configured && configured.trim())
         source = 'config.mdcg.root';
     return {
         repoRoot: repoRoot(),
+        stateRoot: stateRoot(),
         dataRoot: dr,
         mdcgRoot: mr,
         source,
         pathsFile: pathsFile(),
-        isDefault: dr === defaultDataRoot(),
+        pathsFileSource: pfSource,
+        isDefault: samePath(dr, defaultDataRoot()),
+        legacyDataRoot: legacyDataRoot(),
+        legacyDataExists: existsSync(legacyDataRoot()),
         dataRootExists: existsSync(dr),
         mdcgRootExists: existsSync(mr),
     };

package/lib/lib/mdcg_client.d.ts

@@ -43,9 +43,12 @@ export interface MdcgOptions {
     args?: string[];
     /** 认知图根目录（MDCG_ROOT）。 */
     root: string;
-    /** Python 子进程工作目录，默认**插件仓根**（issue #12：Python 只把 cwd
-     *  注入 sys.path，宿主在插件仓外启动时 `python -m md_cg.mcp_server`
-     *  找不到随包 md_cg → 必然 ModuleNotFoundError → 静默降级只读 guest）。 */
+    /** Python 子进程工作目录，默认 `runRoot()`——**插件包目录之外**的稳定目录
+     *  （issue #18：Windows 不允许删除/改名「正被某进程当作 cwd」的目录，
+     *  cwd 落在包内会让 pnpm 更新本包必然 `ERR_PNPM_EBUSY` 且永不自愈）。
+     *  模块解析**不依赖 cwd**：`python -m` 靠 `PYTHONPATH`
+     *  （见 `pythonPathValue()`）解析随包 md_cg，issue #12 口径不变。
+     *  显式传入本项时完全尊重原值。 */
     cwd?: string;
     /** 调用主体标识（MDCG_ACTOR）。私有内容按 (tenant, actor) 派生 DEK，
      *  故与迁移脚本 --actor 必须一致，否则读不到已迁移节点。 */

package/lib/lib/mdcg_client.js

@@ -35,7 +35,7 @@
  *   的**所有写入**（记忆沉淀 / 角色定义 / 对话转录）统一经 `mdcg_remember`。
  */
 import { LingshuBridge } from '../bridge.js';
-import { pythonPathValue, repoRoot } from './datapath.js';
+import { pythonPathValue, runRoot } from './datapath.js';
 const DEFAULT_ARGS = ['-m', 'md_cg.mcp_server'];
 /** 认知图依据强度：这些 basis 视为「强依据」，可支撑 pass。
  *  取值须在 md_cg.mdcg.VERIFICATION_BASIS 允许集内：
@@ -63,10 +63,11 @@ function collectItems(payload) {
 export class MdcgClient {
     bridge;
     constructor(opts) {
-        // issue #12：cwd 与 PYTHONPATH 双保险锚定插件仓根——cwd 是 `python -m`
-        // 解析随包包的主通道，PYTHONPATH 覆盖显式自定义 args 的场景。opts.env
-        // 显式提供 PYTHONPATH 时完全接管（其展开在最后：显式配置原样尊重）。
-        const cwd = opts.cwd ?? repoRoot();
+        // 子进程 cwd 必须落在插件包目录之外，否则 pnpm 更新本插件时
+        // rmdir 包目录会撞上 Windows 的「目录被当作 CWD」共享冲突 → ERR_PNPM_EBUSY。
+        // 模块解析不依赖 cwd：PYTHONPATH（pythonPathValue()）已锚定随包 md_cg；
+        // opts.env 显式提供 PYTHONPATH 时完全接管（其展开在最后）。详见 datapath.runRoot()。
+        const cwd = opts.cwd ?? runRoot();
         const env = {
             // ⚠️ 必须显式 utf-8：Windows 下 piped 子进程默认 gbk + surrogateescape，
             // Node 写出的 UTF-8 中文会被解成孤立代理字符（\udcXX），md_cg 在落盘 /

package/lib/lib/mutual.js

@@ -15,7 +15,7 @@ import { exec, spawn } from 'node:child_process';
 import * as fs from 'node:fs';
 import * as path from 'node:path';
 import * as os from 'node:os';
-import { pythonPathValue, repoRoot } from './datapath.js';
+import { pythonPathValue, runRoot } from './datapath.js';
 const DEFAULTS = {
     heartbeatMs: 10 * 60 * 1000,
     warnMs: 25 * 60 * 1000,
@@ -120,9 +120,9 @@ export async function ensureHarness(python = 'python', opts = DEFAULTS) {
                 windowsHide: true,
                 detached: true,
                 stdio: 'ignore',
-                // issue #12 同类：锚定插件仓根 + PYTHONPATH，与 mdcg_client / token_store
-                // 同口径——不随宿主 cwd 漂移；harness 包不在仓内时注入不劣化（回落用户环境）。
-                cwd: repoRoot(),
+                // 同 mdcg_client：cwd 必须在包外（否则 pnpm 更新时 rmdir 包目录被 Windows
+                // 拒绝 → ERR_PNPM_EBUSY）；模块解析由 PYTHONPATH 保证，见 datapath.runRoot()。
+                cwd: runRoot(),
                 env: { ...process.env, PYTHONPATH: pythonPathValue() },
             });
         }

package/lib/lib/token_store.js

@@ -30,7 +30,7 @@ import { spawnSync } from 'node:child_process';
 import { chmodSync, mkdirSync, readFileSync, writeFileSync } from 'node:fs';
 import { homedir } from 'node:os';
 import { dirname, join } from 'node:path';
-import { pythonPathValue, repoRoot } from './datapath.js';
+import { pythonPathValue, runRoot } from './datapath.js';
 /** 默认密钥环路径：与 md_cg 的 `~/.mdcg/` 约定同目录（`_tokens.json` 亦在此）。 */
 export function defaultKeyringPath() {
     return join(homedir(), '.mdcg', 'token');
@@ -66,10 +66,9 @@ function issueToken(python, role, actor, clearance) {
             windowsHide: true,
             timeout: 15_000,
             // 与工作纪律第 15 条同源：显式 UTF-8 + PYTHONUTF8，规避 Windows GBK 解码异常。
-            // issue #12：cwd+PYTHONPATH 锚定插件仓根——否则 npm 包形态下宿主在仓外
-            // 启动时 `python -m md_cg.tokens` 找不到随包 md_cg，首启签发静默失败，
-            // md_cg 侧降级只读 guest（写入全不落盘且无报错）。
-            cwd: repoRoot(),
+            // 模块解析靠 PYTHONPATH 锚定随包 md_cg（不依赖 cwd）；cwd 取包外目录，
+            // 否则 pnpm 更新本插件时 rmdir 包目录必报 ERR_PNPM_EBUSY。见 datapath.runRoot()。
+            cwd: runRoot(),
             env: {
                 ...process.env,
                 PYTHONPATH: pythonPathValue(),

package/md_cg/audit.py

@@ -30,17 +30,19 @@ CONTENT_KINDS = {
     "work_done": "工作完成 → 工作项是否通过验收",
     "work_wip": "工作进行 → 是否已有完整成果 + 是否符合纪律",
     "ccg_marks": "CCG 六要素候选 → 编外验证方实测确认（生成方不得自证）",
+    "hyperedge": "跨端验证超边 → 回放重建比对（回执逐字段一致）",
 }
 
 # content_kind → 建议的 verification_basis
 # （见 nodefile.VERIFICATION_BASIS：compiler|test|measurement|formal_proof|data|textbook|public_kb|other）
 KIND_BASIS = {"code": "test", "image_desc": "measurement", "text": "other",
               "permission": "data", "work_done": "test", "work_wip": "other",
-              "ccg_marks": "test"}
+              "ccg_marks": "test", "hyperedge": "test"}
 
 VERIFIERS = {}
 
 
+# 生效条件：kind 属于 CONTENT_KINDS 且（kind 不在 VERIFIERS 或 override 为真值）时把 fn 写入 VERIFIERS[kind]；kind 未知、或 kind 已在 VERIFIERS 而 override 为假值时抛 ValueError。
 def register_verifier(kind, fn, override=False):
     """注入/替换某类内容的验证器（外部能力接入点）。"""
     if kind not in CONTENT_KINDS:
@@ -50,6 +52,7 @@ def register_verifier(kind, fn, override=False):
     VERIFIERS[kind] = fn
 
 
+# 生效条件：传入 state、kind、evidence（detail 可缺省为 None）时，返回以 state/kind/evidence 为键、basis 取 KIND_BASIS.get(kind)（查不到即 None）的判定字典。
 def _verdict(state, kind, evidence, detail=None):
     return {"state": state, "kind": kind, "basis": KIND_BASIS.get(kind),
             "evidence": evidence, "detail": detail}
@@ -57,6 +60,7 @@ def _verdict(state, kind, evidence, detail=None):
 
 # ---------- 规则库（合规 / 纪律） ----------
 
+# 生效条件：path 为假值（None 或空串）时回落到 os.environ 的 MDCG_POLICY_FILE，所得路径仍为假值或 os.path.exists 判定为假时返回 {}；否则按 json.load 读取，抛 OSError/ValueError 或结果非 dict 时返回 {}，是 dict 则返回该 dict。
 def load_rulebook(path=None):
     """{"forbidden": [正则], "required": [正则]}；缺失返回空规则。"""
     path = path or os.environ.get("MDCG_POLICY_FILE")
@@ -70,6 +74,7 @@ def load_rulebook(path=None):
     return rules if isinstance(rules, dict) else {}
 
 
+# 生效条件：当 rules 的 forbidden 与 required 去空后非全空时，逐条对 text 做 re.search（非法正则跳过），无禁止命中且必需项全部命中才返回 ACCEPT，否则 REJECT；两类都为空时返回 DEFER。
 def _rule_check(text, rules):
     """规则为空 → DEFER（无规则不能假装合规）。"""
     forbidden = [r for r in (rules.get("forbidden") or []) if r]
@@ -96,12 +101,14 @@ def _rule_check(text, rules):
 
 # ---------- 内建验证器 ----------
 
+# 生效条件：以 payload['content']（为假值则回落 payload['text']，再为假值取空串）作为文本，用 ctx['rules']（为假值则回落 load_rulebook()）做规则检查，返回 _verdict(检查状态, 'text', 证据)。
 def _verify_text(payload, ctx):
     text = str(payload.get("content") or payload.get("text") or "")
     state, ev = _rule_check(text, ctx.get("rules") or load_rulebook())
     return _verdict(state, "text", ev)
 
 
+# 生效条件：ctx['principal'] 缺失或为 None 时恒 DEFER；否则按 payload['action']（为假值取空串）是否属于 admin/forget/restore/review_decide 分别取 p.can_admin 或 p.can_write，且 p 具 allows 方法而 payload['sensitivity'] 为真值时再叠加 p.allows(sensitivity)，按最终 ok 返回 ACCEPT/REJECT。
 def _verify_permission(payload, ctx):
     p = ctx.get("principal")
     if p is None:
@@ -119,6 +126,7 @@ def _verify_permission(payload, ctx):
                     f"can_admin={getattr(p, 'can_admin', None)}")
 
 
+# 生效条件：payload['content']（为假值取空串）经 ctx['rules']（为假值回落 load_rulebook()）检查后，state==REJECT 即 REJECT；否则 ctx['cg'] 非 None 且 payload['topic']（为假值回落 payload['query']，再为假值取空串）非空且 cg.search 结果含 ACCEPT 状态节点时 DEFER（查询抛异常则跳过该路）；再 state==DEFER 时 DEFER，否则 ACCEPT。
 def _verify_work_wip(payload, ctx):
     text = str(payload.get("content") or "")
     state, ev = _rule_check(text, ctx.get("rules") or load_rulebook())
@@ -140,6 +148,7 @@ def _verify_work_wip(payload, ctx):
     return _verdict(ACCEPT, "work_wip", f"纪律通过且未见重复成果（{ev}）")
 
 
+# 生效条件：payload['content']（为假值取空串）为空白即 REJECT '空内容'；ast.parse 抛 SyntaxError 即 REJECT 语法错误；payload['test_cmd'] 与 os.environ 的 MDCG_CODE_TEST_CMD 均为假值时 ACCEPT（仅静态验证）；否则 shlex.split 抛 ValueError 或 subprocess 抛 OSError/SubprocessError 即 DEFER，returncode 为 0 即 ACCEPT，非 0 即 REJECT 并附 returncode 与 stdout/stderr 尾部。
 def _verify_code(payload, ctx):
     """代码内容 → 实测：AST 可解析为最低门槛；给了 test_cmd 则真跑测试。
 
@@ -184,12 +193,15 @@ def _verify_code(payload, ctx):
     return _verdict(REJECT, "code", f"实测失败 rc={p.returncode}：{tail}")
 
 
+# 生效条件：调用 _pending 并传入 kind 与 why 后，其返回的内层闭包 _fn 对任意 payload/ctx 均求值为 _verdict(DEFER, kind, why)，其中 kind 与 why 来自外层 _pending 的闭包，而非 _fn 的形参；。
 def _pending(kind, why):
+# 生效条件：调用 _pending 并传入 kind 与 why 后，其返回的内层闭包 _fn 对任意 payload/ctx 均求值为 _verdict(DEFER, kind, why)，其中 kind 与 why 来自外层 _pending 的闭包，而非 _fn 的形参；。
     def _fn(payload, ctx):
         return _verdict(DEFER, kind, why)
     return _fn
 
 
+# 生效条件：payload['node_id'] 去空后为空即 DEFER；否则取 payload['unit_verdict']（为假值回落 payload['verdict']）去空转大写，其属于 STATES 时——verifier 为空即 DEFER、ctx['compiled_by']（为假值回落 payload['compiled_by']）非空且等于 verifier 即 REJECT E041、verdict==ACCEPT 而 evidence 为空即 DEFER、其余按该 verdict 裁定；其不属于 STATES 时经 units.probe 探测（探测抛异常亦恒 DEFER）后恒 DEFER 并给出通道与下一步提示。
 def _verify_ccg_marks(payload, ctx):
     """CCG 六要素候选的验证闸门：**只认认知图外的复核裁决**（裁定 A）。
 
@@ -259,6 +271,7 @@ def _verify_ccg_marks(payload, ctx):
 
 # ---------- 分派入口 ----------
 
+# 生效条件：content_kind 去空后不在 CONTENT_KINDS 即 BLINDSPOT；否则取 VERIFIERS 中该 kind 的验证器，缺失即 DEFER，调用抛异常即 DEFER，成功则以返回值 state（不在 STATES 时降级为 DEFER）连同 evidence/detail 构造裁定。
 def audit(content_kind, payload=None, ctx=None):
     """按内容类型分派验证器。未知类型 → BLINDSPOT；缺验证器 → DEFER。"""
     kind = (content_kind or "").strip()
@@ -276,6 +289,7 @@ def audit(content_kind, payload=None, ctx=None):
     return _verdict(state, kind, str(v.get("evidence") or ""), v.get("detail"))
 
 
+# 生效条件：对模块级常量 CONTENT_KINDS 中的每个 k 返回 action=CONTENT_KINDS[k]、basis=KIND_BASIS[k]、verifier 为 'builtin'（k 在 VERIFIERS 中）否则 'missing'。
 def kinds():
     """内容类型清单 + 验证器可用性（供 service_info / health 自描述）。"""
     return {k: {"action": CONTENT_KINDS[k], "basis": KIND_BASIS[k],
@@ -296,6 +310,7 @@ def kinds():
 VERIFIER_MODULES_ENV = "MDCG_VERIFIER_MODULES"
 
 
+# 生效条件：modules 为 None 时按 os.environ 的 VERIFIER_MODULES_ENV（为假值取空串）取逗号分隔模块名，去空后列表为空即返回空报告；否则逐个 import_module 并调用其可调用的 register(本模块)，单个导入或调用失败记入 failed 且 strict 为真值时立即抛出、为假值时继续，成功者记入 loaded，最后以 CONTENT_KINDS 生成 verifiers 可用性映射。
 def load_external_verifiers(modules=None, strict=False):
     """按 `MDCG_VERIFIER_MODULES`（逗号分隔 import 路径）加载外部验证器模块。
 
@@ -351,4 +366,4 @@ register_verifier("work_done", _pending("work_done", "未注入验收器（需
 # ccg_marks：闸门本身不是「能力」而是**准入判据**——只认编外单元的裁决
 # （unit_verdict + verifier）；无裁决时探测复核通道（蜂巢→配置→子代理）并给出
 # 下一步，恒不假装通过。真实复核由外部单元完成，认知图只负责记账。
-register_verifier("ccg_marks", _verify_ccg_marks)
+register_verifier("ccg_marks", _verify_ccg_marks)