@furongjun1999/dsh-memory 0.4.4 → 0.4.6

package/docs//350/256/244/347/237/245/345/233/276_G4-G8/347/274/272/345/217/243/350/243/201/345/256/232/345/215/225_v0.1.md

@@ -0,0 +1,491 @@
+# 认知图 · G4–G8 缺口裁定单（条件空间声明 + 四态裁决）v0.1
+
+> 来源：`docs/缺口单_P0收口_v0.1.md` §八「DEFER 登记项」——**G4 层归属错位 / G5 视觉证据未落 / G6 node_ 结构提炼 /
+> G7 自主演化无驱动 / G8 溯源链缺失**，外加缺口单 §6.1 的「索引节点应域级分池降权，而非吃 GLOBAL_CAP」。
+> 目标工程：**dsh-memory / md_cg（认知图 + 记忆 OS）**
+> 证据口径：源码级核对（行号可回溯）+ **真实库（`AEIS/data/mdcg`）只读复算** + 前后冻结基线对照（不采信估计值、不转述文档结论）
+> 时间：2026-09-10 ｜ 真实库批次：G4 `20260910-162432`、G5 `g5-visevid`（后续项批次号执行时续登）
+> 上游资产：G1/G2/G3 已闭合（`evo-20260910-*`），本单**不重复处理**
+
+---
+
+## 判定单
+
+```
+条件空间：观测位置=全局(设计者)、操作层在 md_cg 写入口之外（只经既有 op 调用）
+          | 观测工具=真实库只读复算(盘上 frontmatter + _index.json + _refindex.json + _maintain.jsonl)
+                    + 源码行号核对（md_cg/*.py）
+          | 时间窗口=2026-09-10 本次迭代（上游 P33–P36 交付后）
+          | 存在约束=零新依赖(纯标准库) / md 单一真相源 / 不新增写入口 / 不改默认参数
+                    / 预演先行 / 批次留痕可回滚 / 不可闭合项诚实标注
+白箱三问：依据=每条给文件级或计数级证据(§一/§二~§七)，未核实项显式标出(§九)
+          | 条件=执行前预演只读(dry_run)、基线已冻结(§一)、可复算(批次后同口径重扫)、可回滚(按批次号)
+          | 错后=(a) 若不裁定层归属就直接搬 230 条 → 替用户做价值判断，且召回面被无声改写；
+                (b) 若把空 evidence 当成「补个字段」→ 会编造视觉侧从未产出的证据（幻觉落库）；
+                (c) 若把 node_ 1324 条直接交给 LLM 全量改写 → 不可盲测的批量改写，污染唯一真相源
+裁决：ACCEPT —— G4（层归位到 contextual）、G5（守卫式证据回填）、G7（演化挂巡检）、G8（新增节点自动建链）
+      DEFER→条件化 ACCEPT —— G6（条件=20 条抽检通过才可扩批）、召回分池降权（条件=先冻结 P95/截断率基线并复测）
+      REJECT —— 无（本单无「不该做」项）
+      BLINDSPOT —— 视觉侧模型路径证据（`model_evidence`）在本库当前载体上不可复现，须标注而非补齐
+依据：条件证据见 §一~§七；缺条件项均已在本单内**声明条件**，故由 DEFER 转为「带前置条件的 ACCEPT」
+缺失维度：层归属规则（G4）、视觉证据口径（G5）、提炼验收口径（G6）、演化驱动源（G7）、派生关系落点（G8）
+验证路径：基线冻结(§一) → G4 归位与回滚(§二) → G5 证据回填(§三) → G6 抽检(§四) → G7 挂巡检(§五)
+          → G8 建链(§六) → 召回分池复测(§七) → 副作用归因与交付证据单(§八)
+关注信号：G4 归位后 contextual 层召回占比；GLOBAL_CAP 截断率；P95；node_ 正文改写后 CCG 齐备率
+```
+
+---
+
+## 一、冻结基线（本轮实测，2026-09-10）
+
+**库根裁定**：真实库为 `D:/Program Files/2_ai/AEIS/data/mdcg`（6340 个 `.md`，6339 有 frontmatter）；
+工作区 `dsh-memory/data/mdcg` 实测仅 **1** 个节点（`python -m md_cg.census` 输出 `总节点: 1`），**非本批对象**，不参与。
+→ 这一条必须先声明，否则「库根写错」会让所有后续计数与判定失效。
+
+| 观测项 | 实测值 | 手段 |
+|---|---|---|
+| `.md` 文件 / 有 frontmatter | 6340 / 6339 | 只读遍历 + `nodefile.loads` |
+| 层分布 | `knowledge` 6330、`self` 5、`anchor` 4 | 同上 |
+| 前缀分布（前 10） | `kp_` 2962、`code_` 1480、`node_` 1324、`doc_` 333、`note_` 135、`imgpart_` 60、`vpipe_` 32、`milestone_` 2、`retest6_` 1、`mem_` 1 | 同上 |
+
+**G4 目标集合（230 条，逐前缀实测）**：
+
+| 前缀 | n | layer | `ccg_exempt` | comment 齐备 | 口径 |
+|---|---|---|---|---|---|
+| `note_` | 135 | knowledge 135 | True 135 | 135 | 题库批次流水账 |
+| `milestone_` | 2 | knowledge 2 | True 2 | 2 | 过程记录 |
+| `retest6_` | 1 | knowledge 1 | True 1 | 1 | 过程记录 |
+| `imgpart_` | 60 | knowledge 60 | True 60 | 60 | 视觉管道产物 |
+| `vpipe_` | 32 | knowledge 32 | True 32 | 32 | 视觉管道产物 |
+| **合计** | **230** | 全 knowledge | 全 True | 全齐备 | 与缺口单 §三「138 + 92」一致 |
+
+对照：`node_` 1324（knowledge，exempt 全 True，comment 1321 有 / 3 空）；`kp_` 2962（exempt 29 False / 2933 True）。
+
+**实现事实（行号可回溯）**：
+
+- `md_cg/mdcg.py:37 BUCKETED_LAYERS = ("knowledge",)` → **`contextual` 非分桶层**，归位后落点恒为 `contextual/<id>.md`，不触发分桶路径变更。
+- `md_cg/mdcg.py:34 LAYERS` 已含 `contextual`；`md_cg/tokens.py` 层白名单已含 `contextual` → **归位复用既有层枚举**，无需新增层。
+- `md_cg/consolidate.py:758 _relocate_layer()` 已实现「跨层迁移 + 目标层分桶 + 删旧文件」，返回新相对路径。
+- `md_cg/consolidate.py:776 promote_memories()` 已实现「预演 → 批次 → `_maintain.jsonl` 留痕 → 演化账本」四件套；
+  `:847 rollback_promotion()` 已实现**按批次号回滚**（读 `_maintain.jsonl` 的 `promote` 记录反向迁层）。
+- `md_cg/evolution.py:45 KIND_LAYER_SHIFT` 为层位移专用条目类型；`:51 STATE_FIELDS` 含 `layer` → 层位移**可被演化账本记录且可原样写回**。
+- `md_cg/mcp_server.py:1784-1787`：`consolidate` 全 action **一律 `require_admin`** → G4 属管理操作，**权限面已就位，无需新增授权面**。
+- `md_cg/predict.py:526 _SAFE_LAYERS` 含 `contextual` → 归位后仍可被锚点/反馈闭环读到（不破 D-006）。
+- `md_cg/mdcg.py:58 GLOBAL_CAP = 500`；召回截断与打分在 `:822-833`（`hits[:GLOBAL_CAP]`）。
+
+---
+
+## 二、G4 裁定：层归属错位 → 归入 `contextual`（ACCEPT）
+
+**条件空间（本条）**
+
+| 维度 | 声明 |
+|---|---|
+| 观测位置 | 库外只读 → 执行时切换为 designer 管理位（`can_admin`，经既有 `cg` op） |
+| 观测工具 | `consolidate` 预演报表（`dry_run`）+ 批次后同口径复扫 + `_maintain.jsonl` 对账 |
+| 时间窗口 | 2026-09-10 单批次（230 条，一次性） |
+| 存在约束 | 只改 `layer` 字段与落点目录；**正文、密级、id、tags 一律不动** |
+
+**归因（三方条件空间 × 失配维度）**
+
+| 维度 | 原状态 | 失配点 |
+|---|---|---|
+| 对象条件 | 230 条混合内容（流水账/感知产物）与 6330 条知识共层 | 对象条件失配：**情境性内容被当作长期知识** |
+| 观测条件 | 层字段可读、可写、可复算 | 无失配（工具齐备） |
+| 判定条件 | **「什么内容该在哪一层」的规则从未被声明** | 判定条件缺失 → 前序恒 DEFER |
+| 后果 | `ccg_exempt=True` 恒 DEFER **但可被召回**（实测 `node_` 系 score 0.079~1.173） | 「判不了却召回得到」= 污染召回面 |
+
+**裁决**：ACCEPT。**归入 `contextual` 情境层**（用户口径，复用既有层枚举，**保留可召回**）。
+
+**执行前置条件（全部满足才动手）**
+
+1. **预演先行**：先出 `dry_run` 报表（`nodes_scanned`/`targeted`/`skipped_locked`/`samples`），targeted 必须 = 230；
+2. **批次号**：`YYYYMMDD-HHMMSS`，写入 `_maintain.jsonl`（`action=contextualize`，含 `from`/`to`/`path`/`actor`/`reason`）；
+3. **演化留痕**：每条落一条 `KIND_LAYER_SHIFT`（`before`/`after` 由 `evolution.state_of` 取）；
+4. **回滚路径**：按批次号或 id 定向回滚（复用 promote/rollback 的幂等模式），**执行后立即实测回滚 1 条再迁回**；
+5. **加密节点 fail-closed**：`crypto.is_encrypted(content)` 者跳过并计数（无密钥绝不解密回写）；
+6. **保留召回**：不改 `LAYERS`/`tokens` 层白名单、不改 `predict._SAFE_LAYERS`、不设 `ccg_exempt` 外的召回排除；
+7. **副作用登记**：层计数（knowledge 6330→6100、contextual 0→230）与召回指标变化必须登记。
+
+**不做**：不删节点、不合并、不改正文、不补 comment、不动 `ccg_exempt`。
+
+---
+
+## 三、G5 裁定：视觉证据未落 → 守卫式证据回填（ACCEPT，条件=脱敏 + 只读 AEIS）
+
+**证据源（AEIS 侧，全部只读；`D:/Program Files/2_ai/AEIS` 为异仓，不得写入）**
+
+| 资产 | 位置 | 用途 |
+|---|---|---|
+| 验证过程记录 | `AEIS/data/vision/VISION_PIPELINE_已验证_v1.md` | 唯一权威算法对照表（8 项 ✅）+ **历史算法不适用条件表** + 纪律 11/12 |
+| 逐部件实测结果 | `AEIS/data/vision/<图集>/parts_*.json` | **主证据源**：`type/bbox/mask/confidence/cond_hash/verdict/verdict_reason/fg_ratio/occluded/algo` |
+| 工程验收记录 | `AEIS/docs/vision-generic-protection.md` | 五模块 REV1 能力表 + 76/76 测试全绿 + 敏感图像协议 |
+| 算法权威 | `AEIS/aeis/{m0_part_extract,vision_generic,vision_models,vision_pipeline,part_tree_to_cg}.py` | 溯源锚（白箱·确定性·零 LLM，D-005） |
+| 测试代码 | `AEIS/tests/test_vision_{generic,models}.py` 等 | 可复算 |
+
+**`evidence={}` 空值的根因（已定位到行）**
+
+- `AEIS/aeis/vision_pipeline.py:113-117`：`cg_ingest` 只取 `p.get("model_evidence")`；
+- `AEIS/aeis/vision_models.py:152-158`：`model_evidence` **仅在 yolov8n-pose 融合收紧分支**产生（`fuse_keypoints`）；
+- 纯白箱 `geometry_parts` 路径的部件 dict **不存在该键** → 落库恒为 `{}`。
+- 结论：**这不是漏写，是证据口径从未被声明**。因此本条的判定条件 = 「证据口径映射规则」。
+
+**证据口径映射规则（三档，白箱优先、模型次之、缺失不编造）**
+
+| 档 | 触发条件 | 落库内容 |
+|---|---|---|
+| 1 模型证据 | 源数据含 `model_evidence` | `{model, kpts_used, min_conf}` |
+| 2 白箱证据 | 无模型键但含判定三要素 | `{algo, confidence, cond_hash, fg_ratio, occluded, verdict_reason}`（`verdict_reason` 是四态判定的直接依据） |
+| 3 盲区 | 两者皆无 | **保持空**，标 `evidence_status=BLINDSPOT`，**不编造** |
+
+**脱敏纪律（硬约束，须写入交付文档）**
+
+1. 不读取、不落盘任何图像文件；不细读性化内容原图及衍生物（沿用 AEIS 红线）；
+2. 证据只含结构化字段，**禁止**写入敏感语义描述文本；
+3. 含敏感词的图集目录名**不进库**，一律以编号引用（`图集_0`…`图集_9`）；
+4. 本库为**认知层放行**：证据=认知标记，**不作法律/内容判定**（认知与行动分离）。
+
+**裁决**：ACCEPT。**不重跑视觉、不引入 PIL/图像依赖、不改 AEIS 源**。
+
+### 三·执行证据（G5 落地实测，批次 `g5-visevid`）
+
+**实现落点**：`md_cg/vision_evidence.py`（新，纯标准库）+ `md_cg/mdcos.py` 分发 + `md_cg/mcp_server.py` 契约
+（`maintain` 新增 3 action：`vision_evidence` / `vision_evidence_rollback` / `vision_evidence_history`，新增参数 `aeis_root`）。
+自测：`md_cg/test_p39_vision_evidence.py`（**PASS 53 / FAIL 0**，含跨层不漏、密文 fail-closed、脱敏、幂等、权限、回滚 12 组）。
+
+**扫描口径**：`layer=None` → **全层按 id 前缀识别**（`imgpart_` / `vpipe_`）。
+不静默漏节点的理由：G4 阶段 fail-closed 未迁的 2 条密文视觉节点仍在 `knowledge`，若只扫 `contextual` 会被无声忽略。
+
+| 阶段 | 实测 |
+|---|---|
+| 预演（只读，未写盘） | `nodes_scanned` **92** = `targeted` **70** + `blindspot` **20** + `skipped_locked` **2** |
+| 落盘（apply） | `written` **90**（白箱 70 + 盲区 20），`entry_ids` 90，`_vision_evidence.jsonl` **90** 行 |
+| 前后对照 | 视觉节点 frontmatter `evidence` 非空：**0 → 70**；`evidence_status`：**0 → 90** |
+| 密文 fail-closed | 2 条密文 `vpipe_*`：**0 解密、0 回写**，仅计数 |
+
+**三档映射实际命中（档 1 本轮 0 条——证据源中不存在 `model_evidence` 键，与 §三根因一致）**：
+
+| 档/状态 | 条数 | 连接键 | 来源引用 | 说明 |
+|---|---|---|---|---|
+| 档 2 WHITEBOX | **56** | `cond_hash` | `图集_0` | `imgpart_*`：正文 `cond_hash` 与归档逐部件记录精确相等 + `type` 一致 + `verdict` 一致 |
+| 档 2 WHITEBOX | **14** | `type` | `图集_1` | `vpipe_*`：正文无 `cond_hash`，以家族根 `cond_hash` 定位归档后按 `type` 连接 |
+| 档 3 BLINDSPOT | **14** | — | — | `no_source_archive`：`img0_verify` 家族无逐部件结构化归档 |
+| 档 3 BLINDSPOT | **6** | — | — | `root_no_verdict`：部件树根不承载四态裁定，**证据面保持为空** |
+
+**落库字段（档 2 六字段，逐条须有源，缺一不落）**：
+`algo`(归档) / `confidence`(归档) / `cond_hash`(归档或节点) / `fg_ratio`(节点实测) / `occluded`(归档) / `verdict_reason`(节点实测)；
+frontmatter 另记 `evidence_status` / `evidence_tier` / `evidence_source` / `evidence_joined_by` / `evidence_doc` / `evidence_batch`。
+
+**脱敏实测**：留痕与库内对 `纳西妲` 等图集目录名 **0 命中**；来源一律编号引用（`aeis:vision:图集_N`）；
+证据只含结构化字段与短 `verdict_reason`（如 `clothing/occlusion covers`），**无敏感语义描述文本**。
+
+**正文未动**：抽样 `imgpart_0122c047_1788232664661`，正文与执行前逐字一致，仅 frontmatter 新增证据键。
+
+**幂等与回滚出口**：`evidence_status` 已存在即 `skipped_already`（自测重跑 `written=0 / skipped_already=11`）；
+回滚按批次反向删证据键 → `maintain action=vision_evidence_rollback batch=g5-visevid`。
+
+**权限分档**：`vision_evidence` **apply** 与 `*_rollback` 走 `require_admin`；**预演**（plan）与 `history` 放行写层角色（只出报表/只读日志）。
+
+---
+
+## 四、G6 裁定：`node_` 结构提炼（DEFER → 条件化 ACCEPT）
+
+**本条条件**：G6 的原 DEFER 理由是 **「U/I 维无公开基准，属不可盲测」**。本单为之声明**可执行的验收条件**：
+
+- 条件 A（验证条件）：先抽 **20 条**做提炼预演，人工核对**提炼口径**（是否忠实于原文、是否新增未声明信息）；
+- 条件 B（批次条件）：抽检通过率达标后，**才**允许扩大批次规模；未达标则停止并改写口径；
+- 条件 C（证据条件）：`consolidate.induce` 产出一律 `inferred`，**不得冒充 `verified`**（`consolidate.py:899-904` 已内含该纪律）。
+
+**实测基线**：`node_` 正文长度 **p50=367** 字符（min/max 见执行时复算），**有料**；`comment` 1321/1324 齐备；全部 `knowledge` + `ccg_exempt=True`。
+→ 与缺口单「p50 272」不矛盾（口径不同：本条为**正文总长**含 CCG 6 行头）。
+
+**裁决**：DEFER→条件化 ACCEPT（**绝不盲跑全量 1324 条**）。
+
+### 四·执行证据（G6 抽检预演实测，批次 `g6-node-20260910`）
+
+**实现落点**：`md_cg/refine.py`（新，纯标准库，**不写任何节点内容**）+ `md_cg/mdcos.py` 分发 +
+`md_cg/mcp_server.py` 契约（`maintain` 新增 4 action：`refine` / `refine_gate` / `refine_history` /
+`refine_calibrate`；新增参数 `sample_n` / `prefix` / `verdicts`）。
+自测：`md_cg/test_p40_refine_worklist.py`（**PASS 46 / FAIL 0**，覆盖契约链、只读、工单结构、
+同源口径、grounded、模板词标记、确定性、闸门四态、不改节点、权限分档、校准、未知 action）。
+
+**抽检工单（真实库只读，2026-09-10）**
+
+| 项 | 实测 |
+|---|---|
+| 抽检池 | `node_` 前缀 **1324** 条 / **90** 个家族（`cond_*`）/ 受保护 0 |
+| 确定性样本 | **20** 条（seed `g6-sample-v1`、`sample_sha=6dda14dd8bf5fb89`）——家族分层 + 最大余数：`cond_感知系统` 17、`cond_未分类` 2、`cond_物理学` 1 |
+| 字段缺口 | `ccg_exempt=True` **20/20**；`子功能`/`执行`/`不适用条件` **20/20 全缺**；`功能名` 17/20 缺、`生效条件` 2/20 缺 |
+| 工单产物 | 逐条含「原文 + 字段缺口 + `source_sha` + 口径声明（4 项人工核对项）」；**零写盘、零改节点** |
+
+**提炼预演（与 `consolidate.induce` 同源口径：bigram-jaccard 贪心聚类，`min_cluster=3`、`min_jaccard=0.30`）**
+
+| 样本量 | 候选 | 「共性条件全为高 df 模板词」 | 「区分性」共性 |
+|---|---|---|---|
+| 20（条件 A 口径） | **0** | — | — |
+| 40 | 2 | 2 | 无 |
+| 80 | 2 | 2 | 无 |
+| 160 | 4 | 4 | 无 |
+| 200（爬坡上限） | 7 | 6 | 1 条，且为**整行条件文本（含时间戳）** |
+
+- **忠实性不是缺陷**：候选共性条件在全部成员原文可追溯（`grounding_gap=[]`）；
+- **缺陷在区分性**：模板词（`感知系统` / `感官输入` / `协议实例运行中`）在样本内 df≈1.0 → 全部命中 `generic`；
+  唯一的「区分性」项是 `载体/位置：…；时间：2026-08-30 23:51～…（UTC）…` **整行原文**——df 低只因时间戳唯一，
+  属**归一化缺失导致的伪区分性**；
+- **样本充分性**：`sample_adequacy=insufficient`（20 条结构性产不出候选）。
+
+**扩批闸门**：留痕 `_refine.jsonl` 批次 `g6-node-20260910`（`sampled=20`、`candidates=0`、
+`gate.reason=no_candidates`、`expand_allowed=false`）。`refine_calibrate` 有界爬坡（cap=200）结论：
+**样本量不是瓶颈，提炼口径才是**——须先「剔除模板词 + 归一化/裁剪整行文本」，或改以「候选」为抽检单位，
+方能重开抽检；**当前状态不得扩批**。
+
+**权限分档**：`refine`（工单/预演）、`refine_gate`、`refine_history`、`refine_calibrate` 只读，
+放行写层角色；`refine apply`（落抽检留痕、据以放行/否决扩批）走 `require_admin("maintain_refine")`。
+
+**`apply` 的写入边界**：G6 的 `apply` **只追加抽检留痕**，不写节点；真写节点的口子仍是
+`consolidate.induce`（另批、另闸门）——`refine` 只负责「决定能不能开这个口子」，职责不混。
+
+**四态复核**：条件 A **未通过**（20 条样本 0 候选）；条件 B **闸门关闭**（不放行）；条件 C 满足
+（产出恒 `inferred`，且本模块不执行写入）。
+→ **G6 提炼口径在本轮判 DEFER**（口径修正后可重开）：**不是** ACCEPT（口径未过关）、**也不是** REJECT
+（缺口可闭合，但须先改口径）。
+
+---
+
+## 五、G7 裁定：自主演化无驱动（ACCEPT）
+
+**存在性缺口**：`_sustain.jsonl` 在跑，但 `consolidate`/`scrub`/`importance` 三类未挂巡检 → **能力齐备、无驱动源**。
+
+**裁决**：ACCEPT。新增 `check code + fix 动作`，接入既有心跳周期（`mcp_server.py:2138 _start_sustain`）。
+**硬约束**：`diagnose` 保持**只读**；`heal` 才写；每项 fix 必带 `batch` 与可回滚路径；巡检日志位置显式声明
+（`sustain_dir()`：显式 → `MDCG_SUSTAIN_DIR` → `~/.mdcg/sustain`）。
+
+### 五·执行证据（G7 演化巡检落地实测）
+
+**实现落点**：`md_cg/sustain.py`（新增 `evolution_candidates()` 只读盘点、`EVOLVE_FIXES` 映射、
+`SustainLoop._tick_evolve()`、`evolve_summary()`；`diagnose()` 增 `evolve` 段与 2 个 info 级 issue；
+`heal()` 增 `allow_evolve` 受控开关）+ `md_cg/mcp_server.py`（新增 `action=evolve` 与
+`allow_evolve` / `auto_evolve` / `evolve_interval` 参数、`catalog.evolve_fixes`）。
+自测：`md_cg/test_p41_evolve_patrol.py`（**PASS 36 / FAIL 0**）。
+
+**驱动源盘点口径（只读、索引级、确定性）**
+
+| 巡检项 | 口径 | 修复动作 | 是否自动 |
+|---|---|---|---|
+| `ccg_backlog` | 索引里无 `verification_basis` 或无 `has_neg_conditions` 的节点数（**代理指标**，零读节点文件） | `consolidate_run` | **否**（依赖 LLM 反思/验证） |
+| `importance_drift` | `weights.recalc(apply=False)` 报出的 `changed`（纯数学，不读文件） | `importance` | 是（确定性、有 rollback） |
+
+**三条硬约束的落实方式**
+
+1. **巡检恒只读**：`evolution_candidates()` 不回写节点/索引；自测断言盘点前后节点文件 sha256 逐字节不变；
+   `diagnose()` 仍只读——新项固定 `severity=info`，**候补多不翻转 `ok`**（候补多 ≠ 库有毛病）。
+2. **自愈受控、只放确定性动作**：`heal()` 不传 `allow_evolve` 时，`consolidate_run` 记
+   `applied=false / reason=needs_llm`、`importance` 记 `applied=false / reason=evolve_disabled`；
+   显式 `allow_evolve=true` 才放行 `importance`（实测：手工把 `n_a` 的 importance 置 0.99 →
+   重算后 `changed` 由 1 归 0），而 `consolidate_run` 在无 `reflect_fn` 时**恒不执行**。
+3. **失败不拖垮常驻**：`_tick_evolve()` 被主循环 try/except 包住；自测把 `weights.recalc` 打进异常后，
+   循环仍 `running=true`、心跳照常推进（`beats≥2`）、`last_evolve` 不被污染。
+
+**常驻接线**：`_start_sustain`（`mcp_server.py`）读 `MDCG_EVOLVE_INTERVAL`（默认 7200s）与
+`MDCG_AUTO_EVOLVE`（默认 **0 = 关**）；`SustainLoop.status()` 暴露
+`evolve_interval / auto_evolve / last_evolve / evolves`；`sustain.summary()` 增 `evolve` 段
+（异常吞掉，不拖垮 `health_os`）。
+
+**四态复核**：**ACCEPT** —— 缺口（无驱动）**已闭合**：能力（`consolidate` / `weights` / `scrub`）此前已具备，
+本轮补的是**驱动 + 口径 + 闸门**；「默认只读 + 自动动作仅限确定性」保证驱动**不会**变成新的风险源。
+
+---
+
+## 六、G8 裁定：溯源链缺失（ACCEPT）
+
+**实测**：库根**无** `_link.jsonl`；全库 frontmatter `parent/derived_from/source/links` 全 0 → `node_` 拆为 `kp_` 后派生关系丢失。
+
+**裁决**：ACCEPT，**只对新增节点常态化建链，历史不回填**（前序已裁定口径）。
+**落点**：`md_cg/links.py:62-63 links_file()`（`LINKS_FILE_ENV`/`DEFAULT_LINKS_FILE`）+ 写路径侧的派生关系声明。
+**硬约束**：建链失败**不得阻断写入**（降级为告警并留痕），否则新写入口会因台账 IO 失败而假失败。
+
+### 六·执行证据（G8 派生溯源落地实测）
+
+**落点校正（诚实标注）**：原裁定把落点写成 `links.py:62-63 links_file()`。执行时核对：
+`links.py` 是**跨节点信任层**（「我信你多少」，P_trust，落 `~/.mdcg/_links.json`），
+与 G8 要的**节点派生血缘**（「它从谁派生」，`_link.jsonl`）是两层东西——照原落点写会把血缘
+混进信任台账。故**另立同构层** `md_cg/provenance.py`，只复用 `links_file()` 的**路径解析惯例**
+（显式 → env → 默认），并在 `catalog.distinct_from` 里把两层区别**写死**，防后续混淆。
+
+**实现落点**
+
+- `md_cg/provenance.py`（新）：台账 `_link.jsonl`（append-only + 文件锁串行）、`record()` **永不抛**、
+  `.fail` 降级留痕、`check()` 只读悬空检出、`edges()/load()`（台账）与 `index_edges()`（索引）双源查询、
+  `rebuild_ledger()` 按 frontmatter 声明重建（默认预演）。
+- `md_cg/mdcg.py`：`add(derived_from=…, relation=…)` → 声明写 **frontmatter（单一真相源）** +
+  索引条目带 `derived_from`（巡检**零读节点文件**）+ 追加台账；建链在 `_stage()` 之后，
+  **失败不回滚节点**。
+- `md_cg/sustain.py`：`diagnose()` 增 `provenance` 段与 `provenance_dangling`
+  （**info 级、`fix=None`**、不翻转 `ok`）；`summary()` 增 `provenance`（异常吞掉，不拖垮 `health_os`）。
+- `md_cg/mcp_server.py`：`link` op 新增 `derive / derive_dangling / derive_catalog / derive_rebuild`；
+  `sustain` op 新增 `provenance`；`write` / `remember` 透传 `derived_from`（逗号串按 `_split_ids` 归一）。
+  **不新增写入口**——权威声明只经既有节点写路径产生（对齐「单一真相源 + 派生索引可重建」）。
+- 自测：`md_cg/test_p42_provenance.py`（**PASS 52 / FAIL 0**）。
+
+**三条硬约束的落实方式**
+
+1. **只对新增节点建链、历史不回填**：建链只在 `add()` 内发生；`rebuild_ledger()` **只重放 frontmatter
+   已声明的关系，不发明任何边**——新根实测（只建无声明历史节点）→ `edges=0 / written=0`，台账为空。
+   副产物：rebuild 可**救回**「建链失败」而漏写的声明边（声明在 frontmatter，属重放、非发明）。
+2. **建链失败不阻断写入**：`record()` 全路径 try 兜底、永不抛。自测注入 `ProvenanceError` 后实测：
+   节点照常落库、frontmatter 声明不丢、`.fail` 台账留痕、`_link.jsonl` 如实为空（不假装成功）。
+   非法关系名由 `coerce_relation` 回退默认值，同样不阻断——**写路径不做校验式拒绝**，
+   严格校验（`normalize_relation`）只留给显式 API。
+3. **巡检只读、不删边**：`check()` 不写盘，悬空边带 `missing: child|parent` 归因；
+   `rebuild_ledger` 默认 `dry_run`；自测断言巡检前后**节点逐字节不变 + 台账字节不变**。
+   删边 = 篡改演进血缘，故**不给自动修复**（`catalog.provenance_fixes = {}`）。
+
+**悬空可检出的两条真实路径（实测）**：① 声明了库里不存在的来源（`ghost_missing`）→
+写路径**不校验存在性**（校验会阻断写入，与硬约束冲突），悬空交由巡检兜底；
+② 父节点被删 + 索引重建 → 即时报 `missing=[parent]`。台账被删亦不丢血缘：
+索引已带声明，`check(include_index=True)` 零读文件兜底；`rebuild(apply=True)` 可按声明恢复台账。
+
+**四态复核**：**ACCEPT** —— 缺口（血缘丢失）已闭合：新增节点「写入即留血缘」、
+悬空「可检出可归因」、建链失败「不假失败」。历史血缘由「不可闭合项」承担，不回溯。
+
+---
+
+## 七、召回分池/降权裁定（DEFER → 条件化 ACCEPT）
+
+**实测**：`GLOBAL_CAP=500`（`mdcg.py:58`），截断率 **34.5%**（前序实测），索引节点（`code_`/`doc_` 1813 条）与知识节点**同池竞争**。
+
+**裁决**：DEFER→条件化 ACCEPT。**条件 = 先冻结 P95/截断率基线，改造后同口径复测**；未测先改 = 无法归因副作用。
+**硬约束**：分池**不得**变成「隐性提高上限」（那只是把截断推后，不是治本）；降权必须有**显式权重表**且可 A/B 复算。
+
+### 七·执行证据（召回分池/降权落地实测，2026-09-10）
+
+**实现落点**：`md_cg/pooling.py`（新，纯标准库）+ `md_cg/mdcg.py`/`md_cg/mdcos.py`（T2/T3 截断点接入）
++ `md_cg/mcp_server.py`（`sustain` 新 action `pooling`/`pool_bench`/`pool_compare`；`mdcg_search` 透传 `pools`）。
+自测：`md_cg/test_p43_pooling.py`（**PASS 79 / FAIL 0**，14 组：契约/默认关闭、坏表拒绝、额度守恒、关闭态逐位等价、
+归池确定性、分池生效、空池回流、降权可复算、口径敏感性自检、只读、同口径对比、坏表不静默、MCP 接入、未知 action）。
+回归批次：`p0/p1/p2/p3/p4/p5/p7/p8/p14/p18/p2_mcp/p33/p42/p43` **全绿**。
+→ 该批次**抓出一个真实缺陷**：`mdcg.MdCG.search` 的 T3 全量兜底漏改审计面 → `NameError`（P43 只走 `MdCGOS` 路径而**漏检**）。
+已修，并证明「双实现类（`MdCG` / `MdCGOS`）必须双路覆盖」——只测一条实现路径 = 静默盲区（与纪律 7 同构）。
+
+| 组件 | 口径 |
+|---|---|
+| 归池 `pool_of` | 负层优先（`rejected`/`unresolved`）→ id 前缀（`code_`/`doc_`）→ `tags:index` → 知识池（确定性、不读文件） |
+| 额度 `caps` | **最大余数法**，每池保底 1，余数按小数部分最大、同余按池序；各池之和**恒 == total** |
+| 回流 `cut_report(backflow=True)` | 空池未用额度按池序回流前序池（knowledge ← index ← negative）；`taken` 之和 **恒 ≤ total** |
+| 池账审计面 | `pools.quota/cands/taken/lost`——**仅启用态落**，关闭态不写（不把平裁伪装成分池） |
+| 权重表 `WEIGHTS` | knowledge 0.70/1.00、index 0.20/**0.60**、negative 0.10/0.90；`validate` 硬校验 `sum(cap_ratio)==1.0`（1e-9） |
+| 载体开关 | `MDCG_POOLING`（**默认关**）；`pools=None` ≡ 原 `GLOBAL_CAP` 平截，逐位一致 |
+
+**真实库复测（只读，库 `AEIS/data/mdcg`：6339 节点 / `GLOBAL_CAP=500`；查询集 = `bench_queries` 确定性取样 48 条，`proxy`）**
+
+| 口径 | 关闭态 | 启用态 | delta | 对分池敏感 |
+|---|---|---|---|---|
+| p95_scanned | 6339.0 | 6339.0 | 0.0 | 否 |
+| p50_scanned | 6339.0 | 6339.0 | 0.0 | 否 |
+| mean_candidates | 719.92 | 719.92 | 0.0 | 否 |
+| truncation_rate | 0.2292 | 0.2292 | 0.0 | 否 |
+| truncation_loss | 0.18289 | 0.18289 | 0.0 | 否 |
+| **index_share** | **0.44167** | **0.27083** | **−0.17083** | **是** |
+| **knowledge_share** | **0.55833** | **0.72917** | **+0.17083** | **是** |
+| pool_lost_rate | `null`（关闭态无池层，不编造 0） | 0.18289 | — | 仅启用态可得 |
+
+- 池分布（全库索引级，`pool_of` 判定）：`knowledge` **4526** / `index` **1813**（= `code_` 1480 + `doc_` 333）/ `negative` 0。
+- 分池计划（total=500）：`caps` = knowledge 349 / index 100 / negative 51，`cap_sum` = **500**（额度守恒，未抬高上限）。
+- 只读核验：**空闲窗口对照（3s 无检索）变更 0 文件；复测窗口变更 0 文件**。本模块 `record=False`，不写访问计数、不写节点/索引。
+
+**关键发现（口径敏感性自检，必须登记）**：原 §七 只要求冻结 P95/截断率，但**该口径对分池不敏感**——
+分池是在 `GLOBAL_CAP` **之内**重分配，「候选数 > 500」这一事件不变，故 delta 恒为 0。
+若不补口径，复测会「跑完却归因不到副作用」，甚至被误读为「改造无效」。故本轮补
+`index_share`/`knowledge_share`（结果构成，**看得到**分池效果）与 `pool_lost_rate`（池级被挤掉率，仅启用态），
+并把敏感性结论显式写进 `compare.insensitive_keys/sensitive_keys` 与 `catalog.discipline.caliber_sensitivity`。
+
+**副作用登记（真实库实测）**
+
+| 类别 | 实测 |
+|---|---|
+| 收益 | 索引/产物类入榜占比 **44.2% → 27.1%（−17.1pp）**；知识类 **55.8% → 72.9%（+17.1pp）**；池级被挤掉率 0.18289（启用态） |
+| 代价 | `scanned`（读取节点数）与**全局**截断率/损失率**不变** → 本轮**无额外 IO、无额度膨胀** |
+| 未观测副作用 | 空闲窗口与复测窗口均 0 文件变更；`MDCG_POOLING` 未设时 `mdcg_search` 等既有调用方零影响（自测 (14) 断言） |
+
+**回滚出口**：默认关闭（`pools=None` ≡ 原行为，逐位一致）；载体侧开关未设即不生效；
+不写节点/索引 → **无需数据回滚**，回滚 = 不传 `pools` / 不设 `MDCG_POOLING`。
+
+**四态复核**：DEFER→**条件化 ACCEPT 达成**——前置条件「先冻结基线、同口径复测」已执行，并补出
+「口径必须对改造敏感」这一**必要条件**。**诚实边界**：启用与否属**载体侧决策**（默认关），
+本轮只交付「能力 + 显式权重表 + 池账审计面 + 复测证据」，**不替载体开全局开关**。
+
+---
+
+## 八、不可闭合项（诚实标注，不装完成）
+
+| 项 | 为什么库内闭不了 |
+|---|---|
+| `kp_` 2933 条的「验证方式」 | 源为库外声明（人/流程/教材/公开知识库），认知图不能自证 |
+| 载体侧自动注入 | 需 `can_admin` 的载体权限，非本库职责 |
+| 82 工具「阶段 1 DSH 工具面收口」 | 落点在 DSH 侧 |
+| G5 档 1（模型证据） | 本库当前载体**不存** `model_evidence`；不重跑视觉 → 该档**不可复现**，标 BLINDSPOT |
+| G5 `img0_verify` 家族 14 条逐部件证据 | AEIS 侧**未产出**该家族的逐部件结构化归档：`img0_skin_parts.json` 的 `per_part` 仅 `{ok,px,bbox}`（缺 `cond_hash/verdict/fg_ratio/occluded/confidence`）→ 只能标 `evidence_status=BLINDSPOT / no_source_archive`，**不编造**。补齐须回到产出侧落一份 `parts_*.json`，属上游动作 |
+| G5 部件树根 6 条 | 根节点不承载四态裁定（无 `verdict`）→ 结构上就不该有证据，标 `root_no_verdict`，**不是缺口** |
+| G4 密文视觉节点 2 条 | 无密钥 → G4 与 G5 均 `fail-closed` 跳过（未迁层、未回填），层归属与证据面留待密钥可用时复算 |
+| G6 抽检「20 条产不出候选」 | `min_cluster=3` 下 20 条节点样本 **0 簇**：**抽检单位与样本量不匹配**——以「节点」为单位时小样本结构性产不出可核对对象。要么改以「候选」为抽检单位、要么修正共性条件口径，属**口径设计问题**，不是库内数据能闭合的 |
+| G7 固化「自动驱动」 | `consolidate` 的反思/验证依赖**库外**函数（LLM / 白箱）；本库只能驱动其中的**确定性**部分。固化是否开启自动化属载体侧决策，不在库内闭环 |
+| G8 历史节点的既有派生血缘 | 前序从未落盘来源声明（frontmatter 派生字段全空、无 `_link.jsonl`）→ **只能不回溯**。凭 id 前缀 / 正文相似度**反推**血缘 = 编造关系，比「空着」更坏。故旧 `node_`/`kp_` 的祖先关系**永久标注为不可考**，新节点起才有血缘 |
+
+---
+
+## 九、未核实项 / 待定项（显式标出）
+
+1. `node_` 正文长度：执行时复算 → **p50=367 / min=82 / max=27852**（`nodefile.loads` 正文总长，含 CCG 声明行）；
+   CCG 头覆盖实测：`ccg_exempt` **1324/1324**、含 `生效条件` **1240/1324**、含 `功能名` 仅 **202/1324**
+   ——「功能名」是 `node_` 家族的系统性缺项，**不是个案漏写**；
+2. 召回 P95 与截断率：本单**未采信**前序值，已于 §七 执行前以同一口径**重新冻结**（真实库 6339 节点、
+   48 条 proxy 查询：`p95_scanned=6339` / `truncation_rate=0.2292` / `truncation_loss=0.18289`）；
+   **但复测证明该口径对分池不敏感**（delta 恒 0）→ 已补 `index_share`/`pool_lost_rate` 敏感口径，详见 §七·执行证据；
+3. `contextual` 层在真实库：**执行前 0 条**（层目录存在但空）→ G4 批次 `20260910-162432` 后实测 **228 条**
+   （targeted 228 / written 228 / `skipped_locked` 2，因 G4 不迁密文节点，故为 230−2）；
+   `knowledge` 6330 → **6102**。对账锚点闭合（228 + 6102 + 4 + 5 = 6339 有 frontmatter 节点）。
+
+---
+
+## 十、纪律蒸馏（可复用）
+
+1. **库根先声明**：本次实测发现工作区库根仅 1 节点、真实库在异地仓库——**观测前先冻结「对象是谁」**，否则一切计数无效。
+2. **空字段 ≠ 漏写**：`evidence={}` 是「口径未声明」而非「写入遗漏」。**先定位产出侧根因，再决定补写还是标注**；补写前必须能回答「这个值由谁产出」。
+3. **DEFER 的正确出路是「条件化」而非「取消条件」**：G6/召回分池由 DEFER 转 ACCEPT 靠的是**声明前置条件**（20 条抽检 / 先冻基线），不是降低标准。
+4. **层位移必须成套**：字段 + 落点目录 + 演化条目 + 批次台账 + 回滚路径，**五件事缺一即为不可回滚的脏改**。
+5. **脱敏是内容约束而非形式约束**：编号引用 + 只落结构化字段 + 不读原图，**且不得在库内留下敏感语义描述**。
+6. **证据「有源才落、缺一不落」**：回填前先定「这个值由谁产出」——本轮 70 条全部命中档 2、20 条**宁可空着标 BLINDSPOT**；
+   把 `model_evidence`（本库不存在）当默认值硬填，就是幻觉落库。
+7. **扫描范围要按「识别规则」而非「当前落点」定**：视觉节点按 id 前缀全层识别，才没漏掉 G4 因 fail-closed 留在 `knowledge` 的
+   2 条密文节点；**用「已知落点」当扫描范围 = 制造静默盲区**。
+8. **层位移与证据回填的跳过语义要一致**：无密钥节点两轮都 `fail-closed` 计数，**绝不因为「流程要求走完」而解密或编造**；
+   跳过项要能与「已处理项」在报表里区分（`skipped_locked` vs `written`）。
+9. **「抽检单位」必须先于「抽样」定死**：`min_cluster=3` 下 20 条**节点**样本 0 簇——抽检单位若取「节点」，
+   小样本会**结构性**交不出可核对对象，抽检流程看起来跑完了却很可能是空跑。抽检设计第一步应自检
+   「这个样本量能否产出 ≥1 个待核对单元」，**否则抽检=形式合规**。
+10. **词面统计判据必须显式声明 df 阈值**：没有 df 门槛时，「整行含时间戳的条件文本」会伪装成唯一区分性特征；
+   模板词与伪区分性是**同一根因（归一化缺失）**的两面——先声明口径再抽检，否则人工核对只是在核对噪声。
+11. **只读预演与写入必须分权**：`refine` 全程只读（工单/预演/闸门/校准），真写节点的口子留在 `consolidate.induce`；
+   把「能不能写」与「写什么」拆到两个 op，才能让「预演先行」成为**机制**而非**自律**。
+12. **「有能力」≠「有驱动」**：G7 的缺口不是缺功能（`consolidate`/`weights`/`scrub` 早已存在），
+   而是缺一个周期性问「现在有多少候补」的**驱动源**。补驱动必须**同步补闸门**——否则驱动会把
+   「偶发的人工决策」变成「每 2 小时自动执行」，风险等级完全不同；且自动范围应**只取确定性动作**。
+13. **代理指标要标注为代理**：巡检为省 IO 用索引字段（`verification_basis`/`has_neg_conditions`）
+   替代「读正文算 CCG 完整度」——必须在返回里显式写 `proxy=true`，否则下游会把候补量误当判定结论。
+14. **同名概念不等于同一落点**：「链接 / 血缘 / 信任」在话术里都叫 link，落到存储却是两层
+   （`_links.json`=对端信任 vs `_link.jsonl`=节点血缘）。**先判「这是同一件事吗」再决定复用还是另立**——
+   G8 若照原裁定复用 `links.py`，就会把演进血缘写进信任台账，事后无法区分。另立层时必须把
+   「与谁不同」写进 `catalog`（本条即 `distinct_from` 字段的来源）。
+15. **写路径的校验只允许「不阻断」形态**：派生关系名非法、来源节点不存在、台账 IO 失败——三者都不能让
+   节点写入**假失败**。要严格校验就挪到**显式 API**（`normalize_relation`），写路径只做
+   **回退默认值 + 降级留痕**；且「留痕」必须真的留下（`.fail` 台账），否则「降级」等于「静默吞掉」。
+16. **「不回填」需要在重建路径上同样成立**：`rebuild_ledger` 若按「扫描全库反推血缘」实现，
+   就等于借重建之名行回填之实。正确做法是**只重放已有的显式声明**——重建的输入必须是
+   **声明**（frontmatter）而不是**推测**（id 前缀 / 相似度）。
+17. **复测口径必须先自检「对改造敏感」**：§七 冻结的 P95/全局截断率，对「在 `GLOBAL_CAP` 之内重分配额度」
+   的改造**恒不敏感**（delta ≡ 0）——这不是「改造无效」，而是「口径测不到」。**先证明口径能测到被改的量，
+   再看差值**，否则复测只是形式合规（与纪律 9「抽检单位先于抽样」同构：**量具先于测量**）。
+   落地形态：`compare` 显式回 `insensitive_keys`/`sensitive_keys`，把「差值恒 0」标成**正常**而非沉默。
+18. **同一逻辑的两条实现路径必须双路验收**：`MdCG.search` 与 `MdCGOS.search` 各有一份 T2/T3 截断点；
+   只测一条（P43 只走 `MdCGOS`），另一条漏改会**静默存活到生产调用**（本轮即 `NameError`，由跨模块回归批次抓出）。
+   改动落在「共享搜索骨架」时，验收必须**枚举所有实现类**，否则「全绿」只覆盖了一半。