@furongjun1999/dsh-memory 0.4.4 → 0.4.5

package/docs//350/256/244/347/237/245/345/233/276_MD/347/233/256/345/275/225/346/226/271/346/241/210_v0.1.md

@@ -1,19 +1,23 @@
 # 认知图 MD 目录方案 · 设计文档
 
-> 版本：v0.3（P0+P1 实测修订）| 2026-09-07 | 状态：**P0 25/25 + P1 37/37 全绿**
+> 版本：v0.4（md 原生口径）| 2026-09-10 | 状态：**P0 25/25 + P1 37/37 全绿**
 > 背景：用**结构化 md 文件 + 文件索引**替代 sqlite 存认知图。这不是"换存储引擎"，
 > 而是让认知图回归它的**本征形态**——分层的条件注释目录。
 > 依据：白箱智能五层记忆 + 条件代码图 CCG（三重注释范式）+ 第五篇"召回非全量/条件路由"。
 >
-> **v0.2 修订说明**：v0.1 的四条设计假设在真实数据（3048 节点）上被**实测证伪**，
-> 已按实测结果改写。被推翻的条款保留原文并标 `~~删除线~~`，便于追溯决策链。
-> 代码位置 `llm-adapter-poc/md_cg/`，验收 `python -m md_cg.test_p0` + `python -m md_cg.test_p1`。
+> **v0.4 修订说明（去外部依赖）**：本仓库按「用新的 md 文档记忆库做验证」把
+> `census`/`bench_p0`/`test_p0`/`test_p1` 全部改为 **md 原生**——不再依赖
+> `wisdom-book-cloud-new.db` 与 `aeis.core`；数据来源统一为 `md_cg/corpus.py` 自建的
+> 336 节点 md 语料（14 域 × 6 知识点 × 4 侧面）。因此 v0.2/v0.3 里的「3048 节点真实库」
+> 数字（3037 桶 / 单例 99.9% / sqlite 对比）**已被同构自建库的实测替换**，
+> 结论方向不变，量级按新库重标。被推翻的条款保留原文并标 `~~删除线~~`，便于追溯决策链。
+> 代码位置 `md_cg/`（工作区顶层），验收 `python -m md_cg.test_p0` + `python -m md_cg.test_p1`。
 >
-> | v0.1 假设 | 实测结果 | 修订处 |
+> | v0.1 假设 | 实测结果（v0.4 自建 md 库：336 节点） | 修订处 |
 > |---|---|---|
-> | 四元组哈希分桶可用 | 3037 桶/3048 节点，单例桶 **99.9%**，等于全表扫 | §1 |
+> | 四元组哈希分桶可用 | 336 桶/336 节点，单例桶 **100%**，等于全表扫 | §1 |
 > | 桶内 LIKE 落空 → 桶内全扫即可 | 桶内全扫仍可能空，会**被分区误杀**返回空集 | §4 |
-> | `_index.json` 读-改-写 + 全局锁 | 多进程实测**整批丢失 106/240 条** | §6 |
+> | `_index.json` 读-改-写 + 全局锁 | 多进程实测**整批丢失 106/240 条**（v0.2 原库） | §6 |
 > | 读节点时更新 access_count | 检索变写操作，破坏"检索只读"契约 | §7 |
 >
 > **v0.3 修订说明（P1 架构对齐）**：v0.2 只解决了「文件怎么存、怎么并发」，但对照白箱
@@ -73,17 +77,20 @@
 > ~~分区粒度：条件空间四元组 `(observation_position, observation_tool, time_window, existence_constraint)`
 > → 归一化哈希 → `condition_<hash>/`。~~
 
-在 3048 个真实节点上做分桶键普查（`md_cg/census.py`），四元组哈希**完全退化**：
+在自建 md 库 336 个节点上做分桶键普查（`md_cg/census.py _md_cg_p0`），四元组哈希**完全退化**：
 
 | 方案 | 分桶键 | 桶数 | 最大桶占比 | 单例桶率 | 期望扫描占比 |
 |---|---|---|---|---|---|
-| A | 原始四元组哈希（v0.1） | **3037** | 0.1% | **99.9%** | **99.9%** |
-| D | **归一化域键（v0.2 采用）** | **90** | 5.4% | **0.0%** | **2.0%** |
+| A | 原始四元组哈希（v0.1） | **336** | 0.3% | **100%** | 100% |
+| B | 三元组（排除 time_window） | **336** | 0.3% | **100%** | 100% |
+| C | 双元组（position + tool） | **336** | 0.3% | **100%** | 100% |
+| D | **归一化域键（采用）** | **14** | 7.1% | **0.0%** | **7.1%** |
 
 根因：`observation_position` 字段里嵌了**实例名**（如「知识点（二分查找）」），
-共 3033 种取值 ≈ 节点数，一个节点一个桶 = 每次检索都退化成全表扫，
+取值数 ≈ 节点数，一个节点一个桶 = 每次检索都退化成全表扫，
 "条件路由非全量"的收益归零。另三个字段则**信息量过低**、无法承担分区：
-`observation_tool` 93% 集中于单值、`existence_constraint` 95% 集中、`time_window` 仅 3 种取值。
+`observation_tool`/`existence_constraint` 100% 集中于单值、`time_window` 唯一率 57.7% 但仍是实例级取值。
+（v0.2 在 3048 节点真实库上测得同一结论：A 方案 3037 桶 / 单例 99.9%，D 方案 90 桶 / 2.0%。）
 
 **v0.2 分桶键**（`routing.route_key`）：
 1. 优先取 `tags` 里的 `domain:` 前缀值（写入侧显式声明的领域）；
@@ -104,7 +111,7 @@
 - **期望扫描占比 `Σvᵢ²/n²` > 30%**（核心指标：随机一次查询的期望扫描比例）
 
 期望扫描占比是唯一能同时抓住"巨桶"和"碎片化"两种退化的单一标量，
-P0 验收直接断言它 < 10%（实测 2.0%）。
+P0 验收直接断言它 < 10%（自建 md 库实测 7.1%；v0.2 真实库 2.0%）。
 - 这是**条件路由的物理索引**：查询"当前情境满足什么条件"→ 直接进对应 `condition_<hash>/`，**非全量**。
 
 ---
@@ -272,7 +279,7 @@ sqlite 版 `search_content(query, layers, limit)` 签名里根本没有情境位
 | `context` | 行为 | 实测 |
 |---|---|---|
 | `None`（默认） | **不做条件路由**，直接走全量阶梯，语义与 sqlite 版完全一致 | `bucket=None`，recall@10 = 100% |
-| `{"tags": [...]}` 或 condition_space | 路由到对应桶，桶内优先 | 扫 166/3048 = 5.4% |
+| `{"tags": [...]}` 或 condition_space | 路由到对应桶，桶内优先 | 扫 24/336 = 7.1% |
 
 即：**条件路由是可选加速，不是默认语义**。不传情境时行为与旧版逐字节对齐——
 这保证 P2 替换 sqlite 分支时是零风险的等价替换，加速是调用方主动选择的增量。
@@ -307,14 +314,20 @@ v0.1 的降级只有一层（"桶内 LIKE 落空 → 桶内全扫"），**桶内
 
 ### 4.3 性能实测（`md_cg/bench_p0.py`）
 
-| 场景 | md | sqlite | 比值 |
-|---|---|---|---|
-| 路由命中（T0） | — | — | **18.4x 加速**（中位） |
-| 路由未命中（回退 T2） | — | — | 0.95x（白付一次桶扫描） |
-| 无 context 全量（T2） | 183 ms | 161 ms | 1.1x |
-| 写入吞吐 | **1887 节点/秒** | — | — |
+自建 md 库（336 节点，情境正确）三路对比（中位 ms）：
 
-> 命中与未命中必须**分开统计**——混在一起算中位数会把 18.4x 的加速稀释成看不出来的数字。
+| 场景 | 耗时 | 相对 |
+|---|---|---|
+| T0 条件路由（桶内，扫 24/336） | **1.1 ms** | 基准 |
+| T2 全量 LIKE（无 context） | 13.9 ms | **12.4x** 慢于 T0 |
+| 朴素全库读盘扫描（无索引上界） | 7.1 ms | **6.3x** 慢于 T0 |
+| 路由未命中（回退 T2） | 0.91x | 白付一次桶扫描 |
+| 写入吞吐 | **1862 节点/秒** | — |
+| 重建索引（336 节点） | 25.0 ms | — |
+
+> 命中与未命中必须**分开统计**——混在一起算中位数会把 12x 的加速稀释成看不出来的数字。
+> 小库（336 节点）上朴素读盘受 OS 页缓存保护（≈7 ms），索引收益被**低估**，结论要到大库复测才算数。
+> （v0.2 在 3048 节点真实库上测得的旧口径：路由命中 18.4x、无 context 183ms vs sqlite 161ms、写入 1887 节点/秒。）
 > 写入吞吐的关键是**默认不 `fsync`**（`atomic_write(durable=False)`）：崩溃一致性由
 > `os.replace` 的原子 rename 保证，逐次 fsync 会把吞吐压到 17 节点/秒（慢 111 倍）。
 
@@ -328,10 +341,17 @@ v0.1 的降级只有一层（"桶内 LIKE 落空 → 桶内全扫"），**桶内
 
 ---
 
-## 5. 从 sqlite 迁移（一次性脚本）
+## 5. 数据来源与迁移
+
+**v0.4 起本仓库不再内置 `migrate.py`**：验收改为直接用**新的 md 文档记忆库**，
+不再读 `wisdom-book-cloud-new.db`。数据由 `md_cg/corpus.py` 生成——14 域 × 6 知识点 × 4 侧面
+= 336 个节点，`corpus.seed(cg, marks=True)` 写入完整 CCG 正文（P0 用），
+`marks=False` 写入纯叙述正文（P1 用，模拟"旧库迁移来的、只有正文没有 MARKS 的节点"）。
+测试前 `corpus.reset_root(root)` 清空，保证「重跑 ≡ 首跑」。
+
+未来若要真正从 sqlite 迁移，设计要点保留如下（不再依赖本仓库代码）：
 
 ```python
-# md_cg/migrate.py
 # 1. 读现有 sqlite nodes/edges
 # 2. 对每 node：
 #    a. 按 layer 定目录（anchor/structural/knowledge/contextual/self）
@@ -346,11 +366,11 @@ v0.1 的降级只有一层（"桶内 LIKE 落空 → 桶内全扫"），**桶内
 （这不只是便利：清空目录依赖 `rmtree`，在有安全策略的环境下会被拦截，
 而"必须先删除才能重跑"的迁移脚本本身就是个脆弱设计。）
 
-**校验必须全量，不能抽样**：~~抽样 10 节点字段等价~~ → 3048 节点**逐个**比对
-`content/tags/importance/edges`，实测不一致 0 个。迁移是一次性不可逆动作，
+**校验必须全量，不能抽样**：~~抽样 10 节点字段等价~~ → 应**逐个**比对
+`content/tags/importance/edges`。迁移是一次性不可逆动作，
 抽样 10 个只能证明"没有系统性错误"，证明不了没有个别节点损坏
 （例如正文含 `---` 分隔符会让朴素的 frontmatter 解析器丢光所有字段——
-这个缺陷就是全量校验才暴露出来的，见 §2 注）。
+这个缺陷要靠全量校验才暴露得出来，见 §2 注）。
 
 ---
 
@@ -445,13 +465,13 @@ P0 验收对此有硬断言（取 200 个节点比对 mtime）：一轮检索后
 4. **条件路由非全量**：目录分区 = 条件索引，召回不读全库。
 5. **跨工具共享**：md 文件天然可被其他 agent 读（学 deja-vu/noema import）。
 
-### 代价/风险（v0.2 更新：括号内为实测状态）
-1. **性能**：无 SQL 索引，靠内存 dict + 分区目录。**✅ 已 benchmark**：
-   路由命中 18.4x 加速，无 context 全量 183ms vs sqlite 161ms（1.1x），写入 1887 节点/秒。
+### 代价/风险（v0.4：md 原生口径）
+1. **性能**：无 SQL 索引，靠内存 dict + 分区目录。**✅ 已 benchmark（自建 md 库 336 节点）**：
+   T0 桶内 1.1ms vs T2 全量 13.9ms（**12.4x**）、vs 朴素读盘 7.1ms（**6.3x**），写入 1862 节点/秒。
    前提是分桶键健康（§1.1），退化时性能收益归零 → 已做成常驻自检。
 2. **一致性**：无 sqlite 事务。**✅ 已解决**：原子 rename + append-only 分片日志，
    9 轮 × 6 进程零丢失。**注意 v0.1 的"锁 + 读-改-写"方案实测是错的**（§6.1）。
-3. **迁移成本**：一次性导出脚本 + 全量校验。**✅ 3048 节点字段等价，不一致 0**。**做之前先备份 sqlite**。
+3. **迁移成本**：不再依赖外部数据库（本仓库已去 `migrate.py`）；未来真正迁移时仍需全量字段等价校验。
 4. **范围**：这是**灵枢核心存储**的大改——**必须小原型验证稳定后再全量**。P0 已通过 25/25。
 5. **索引是单点**（v0.2 新增）：`_index.json` 损坏会全盘不可用。
    → 已把索引降级为**纯派生物**：删掉/写入非法 JSON 均能从 md 目录完整重建（已进验收）。
@@ -473,9 +493,9 @@ id 集合级的并发校验、mtime 只读断言。没有这些指标，同样
 | 阶段 | 做什么 | 验证 | 状态 |
 |---|---|---|---|
 | **P0** | 小原型：md 目录 + 索引 + 条件路由检索 + 四风险处理 | 25 项验收（下表） | **✅ 25/25 通过** |
-| P1 | 迁移脚本 + 全节点落盘 md | 节点数等价 + **全量**字段等价（非抽样） | **✅ 3048/3048，不一致 0** |
+| P1 | 白箱认知架构 9 维度对齐（md 原生语料）| 37 项验收 | **✅ 37/37 通过** |
 | P2 | 接入真实检索（替换 search_content 的 sqlite 分支）| **同查询集 recall@k 对比**，而非"结果一致" | **✅ 10 查询 avg recall@10 = 100%** |
-| P3 | 并发锁 + benchmark + 回滚 | 多进程写零丢失 + 性能达标 | **✅ 9 轮×6 进程零丢失；18.4x/1.1x** |
+| P3 | 并发锁 + benchmark + 回滚 | 多进程写零丢失 + 性能达标 | **✅ 9 轮×6 进程零丢失；12.4x/6.3x** |
 | P4 | 全量切换（sqlite 可双写过渡）| 全量回归 | ⬜ 未开始 |
 
 > **P2 验收标准修订**：v0.1 写的"检索结果与 sqlite 版一致"是不可达标的——
@@ -484,13 +504,13 @@ id 集合级的并发校验、mtime 只读断言。没有这些指标，同样
 > 这才是真正要保证的东西：不漏召回。
 
 **P0 验收覆盖（`md_cg/test_p0.py`，25 项）**
-- 风险1 分桶键：迁移等价、分区健康度自检、期望扫描 < 10%、**原方案能被自检判定为退化**
+- 风险1 分桶键：自建 md 语料完整落盘、分区健康度自检、期望扫描 < 10%、**原方案能被自检判定为退化**
 - 风险2 情境入参：无 context 不路由 / 有 context 命中桶、扫描量 < 全库 10%、写查两侧路由键同构
 - 风险3 回退阶梯：桶内落空不返回空、结果自报 tier、不存在的桶落到全量
 - 风险4 只读契约：200 节点 mtime 不变、索引快照/日志不写、访问计数走 append-only、compact 后落盘并截断
 - 附加：索引删除可重建、索引损坏可自愈、多进程磁盘与索引均无丢失、基线 recall@10
 
-> **原则（大的修改要小心）**：P0 原型先证明"稳定+有效"，再逐阶段扩。**sqlite 保留做双写/回滚**，确认 md 稳定后才切。
+> **原则（大的修改要小心）**：P0 原型先证明"稳定+有效"，再逐阶段扩。真正切换时 **sqlite 保留做双写/回滚**，确认 md 稳定后才切。
 
 ---
 
@@ -502,11 +522,11 @@ id 集合级的并发校验、mtime 只读断言。没有这些指标，同样
 | `md_cg/fsutil.py` | 原子写、跨进程锁、**ShardedLog** 分片追加日志 |
 | `md_cg/nodefile.py` | frontmatter 序列化/解析、**CCG 五要素**完整度（`ccg_completeness`/`CCG_REQUIRED`）、`verification_basis` 校验 |
 | `md_cg/mdcg.py` | `MdCG` 主类：add/get/search（T0–T3 阶梯 + 资格判定三元组）/judge_qualification 四态/add_rejected/add_unresolved/reflect（D 与 d²D）/verify（非对称步长）/flywheel_step/last_d/health/索引重建 |
-| `md_cg/migrate.py` | sqlite → md 幂等迁移 + 全量字段等价校验 |
-| `md_cg/census.py` | 分桶键方案对比普查（A/B/C/D） |
+| `md_cg/corpus.py` | **自建 md 语料**（14 域 × 6 知识点 × 4 侧面 = 336 节点；`seed(marks=True/False)`、`reset_root`；P0/P1 共用，去外部数据库） |
+| `md_cg/census.py` | md 原生分桶键方案对比普查（A/B/C/D） |
 | `md_cg/test_p0.py` | 25 项验收（含 `--worker` 并发子进程入口） |
 | `md_cg/test_p1.py` | **37 项 P1 白箱架构验收**（9 维度：CCG5 要素/验证基础/负记忆/四态/指标/两阶段路由/信息差/飞轮/循环单元） |
-| `md_cg/bench_p0.py` | 性能基准（路由命中/未命中分开统计） |
+| `md_cg/bench_p0.py` | md 原生性能基准（路由命中/未命中分开统计，对比 T2 全量与朴素读盘） |
 | `md_cg/test_lock.py` | 跨进程锁最小复现 |
 
 ---
@@ -524,7 +544,9 @@ id 集合级的并发校验、mtime 只读断言。没有这些指标，同样
 **本方案优势**：md 的可检查性（学 noema）+ 非向量轻量（学 deja-vu）+ **我们独有的条件路由/CCG 白箱根基**——这是竞争项目没有的理论深度。
 
 ---
-*（v0.3：P0 25/25 + P1 37/37 全绿（`python -m md_cg.test_p0` + `python -m md_cg.test_p1`）。
+*（v0.4：P0 25/25 + P1 37/37 全绿。跑法（md 原生，无外部数据库）：
+`python -m md_cg.test_p0`（生成 `_md_cg_p0`）→ `python -m md_cg.census _md_cg_p0` →
+`python -m md_cg.bench_p0` → `python -m md_cg.test_p1`。
 P1 把 v0.2 的"文件存储/并发"实测扩展为**白箱认知架构 9 维对齐**：CCG 5 要素、验证基础、
 负记忆目录、资格四态、Top-1/Top-5/盲区指标、14 大域并行路由、信息差 D 与 d²D、知识飞轮、
 五大认知循环单元。下一步 P4 全量切换前，建议先做 sqlite/md 双写过渡期。）*

package/docs//350/256/244/347/237/245/345/233/276_/346/235/241/344/273/266/347/251/272/351/227/264/345/220/210/346/210/220/344/270/216/347/224/237/346/225/210/346/235/241/344/273/266/345/217/243/345/276/204_v0.1.md

@@ -0,0 +1,340 @@
+# 认知图 · 条件空间合成与生效条件口径 v0.1
+
+> 来源：一次口径修正——**观测位置 ≠ 生效条件**。生效条件是**条件空间声明的合成**，不是从坐标里抽出的一维。
+> 理论锚点：《智能的公理化基石》「任何有效知识都必须能够说明自己处在哪个条件空间中」；条件空间 C=(C_position, C_tool, C_time, C_existence)。
+> 目标工程：**dsh-memory / md_cg（认知图 + 记忆 OS）**
+> 证据口径：源码级核对（`nodefile.py` / `backfill.py` / `chain.py` / `mdcg.py`）+ 真实库复算（`AEIS/data/mdcg`）
+> 时间：2026-09-10 ｜ 真实库批次：`cond_fix_v01`、`cond_full_v01` ｜ 演化条目：`evo-20260910-152148-2b35`
+
+---
+
+## 判定单
+
+```
+条件空间：观测位置=全局(设计者)、操作层在 md_cg 写盘路径之外
+          | 观测工具=源码逐行核对 + 真实库 _backfill.jsonl 留痕复算 + test_p32/p33/p37
+          | 时间窗口=2026-09-10 本次迭代
+          | 存在约束=零新依赖(纯标准库) / md 单一真相源 / 不发明条件(只搬运已声明证据) / 缺生效条件宁缺勿造
+白箱三问：依据=每条给文件行级证据 + 真实库计数(§三)
+          | 条件=改动前已预演(plan 只读)，改动后可复算(verify_conditions)，回滚按「当前值==写入值」生效
+          | 错后=若允许单槽冒充，则「观测位置：X」会被当成生效条件被召回路由当真，
+                而它并不说明「在什么时间、用什么方法、受什么约束」→ 召回口径与判定口径分叉，静默失真
+裁决：ACCEPT（口径修正 + 全库接线） / DEFER（145 条不可补节点：可检索、待补条件）
+      / BLINDSPOT（1 条非豁免且要素不全：mem_1788996960604）
+依据：条件证据见 §二/§三，非相似度
+缺失维度：生效条件的「条件空间声明」——载体/位置·时间·方法·约束四维，此前只落了 position 一维
+验证路径：口径唯一化(§二) → 必填落地(§三) → 存量清洗 + 全库接线(§四) → 待补台账与 BLINDSPOT 分流(§五)
+关注信号：单槽回退已删（残留调用点清零）；`# 生效条件：观测位置：` 前缀在真实库计数为 0
+```
+
+---
+
+## 一、命题
+
+**观测位置只是条件空间的一个坐标轴，不能冒充生效条件。**
+
+一条知识的生效条件，严格说是它「处于哪个条件空间」的完整声明：
+
+| 维度 | 槽位 | 含义 |
+|---|---|---|
+| 载体/位置 | `observation_position` | 谁在观察、在哪个尺度/视角（理论对齐《智能的公理化基石》第 121-123 行） |
+| 时间 | `time_window` | 该结论成立的时间窗口 |
+| 方法 | `observation_tool` | 用什么工具/方法得出 |
+| 约束 | `existence_constraint` | 成立所依赖的存在性约束 |
+
+结论不进生效条件——结论就是「功能名」本身。四条合起来才是「什么载体、在什么时间、用什么方法、在什么位置、受什么约束」。
+
+**修正前**：`backfill.derive_fields` 取 `condition_space.observation_position` 单槽，前缀「观测位置：」，冒充 `# 生效条件`。真实库因此落了 **109 条**弱等价行（留痕 `basis=frontmatter.condition_space.observation_position`）。
+
+---
+
+## 二、规范：唯一来源与渲染格式
+
+### 2.1 唯一合成入口
+
+所有 `condition_space` → 文本的渲染，**必须**经 `md_cg/nodefile.py:condition_space_text(cs, require_full=True)`，不得存在第二套拼法。
+
+```python
+CONDITION_SLOTS = (
+    ("observation_position", "载体/位置"),
+    ("time_window", "时间"),
+    ("observation_tool", "方法"),
+    ("existence_constraint", "约束"),
+)
+```
+
+| 消费者 | 用法 |
+|---|---|
+| `backfill.derive_fields` | 生效条件的合法来源链：`comment.生效条件` → `condition_space_text(cs)` → `""`（不再有单槽回退） |
+| `chain.conditions_text` | 边/节点条件可读化，懒导入复用同一 formatter |
+| `mdcos._slot_overlap` | 召回打分**不动**（本就四槽计权，position 权重 2.0），仅共用槽名常量 |
+
+### 2.2 渲染规则
+
+- 格式固定：`载体/位置：…；时间：…；方法：…；约束：…`，缺哪维不写哪维。
+- 判定阈值：双主槽 `observation_position` + `observation_tool` 必在；四槽全缺 → 不写、登记待补。
+- 多值槽用「、」连接，不裸数组入正文（避免词面召回误命中）。
+- **全时窗是合法声明**：`time_window=[0.0, 9999999999.0]` 渲染为「全时窗（任意时刻成立）」，不是空占位。
+- 可读化时间：具体窗口渲染为 `YYYY-MM-DD HH:MM～YYYY-MM-DD HH:MM（UTC）`。
+- 占位护栏：槽值命中 `is_placeholder_text`（`骨架锚点`/`内容待填充` 等）不渲染为事实，仅登记 `placeholder_fields`。
+
+真实库样例（`kp_archaeo_1787279493983`）：
+
+```
+# 生效条件：载体/位置：知识考古补全；时间：2026-08-21 02:31～2027-08-21 02:31（UTC）；方法：前沿既有知识（审核后）；约束：数学/信息论/动力学/信号处理标准定义
+```
+
+---
+
+## 三、必填落地与四态
+
+- `nodefile.CCG_REQUIRED = CCG_MARKS`（6 行缺一不可），废止「生效条件可隐含」的旧 docstring 与旧 `complete/ratio` 口径。
+- `ccg_completeness` 的 `complete` 与 `all_present` 同源。
+- `judge_qualification` 第一步读 `ccg_completeness`：
+  - `ccg_exempt`（迁移期 legacy）→ **DEFER**：可检索，但显式建议补条件（不得静默 ACCEPT）；
+  - 非豁免且要素不全 → **BLINDSPOT**；
+  - 齐全 + 命中负条件 → REJECT；齐全 + 有 `verification_basis` + 无负命中 → ACCEPT。
+
+> 口径收紧会让迁移期 ACCEPT 数量下降，属**预期**，不按回归处理。
+
+### 3.1 复算留证（2026-09-10，真实库）
+
+| 项 | 值 |
+|---|---|
+| 知识层节点 | 4517（全库 4526，含 anchor/self 9） |
+| 已声明生效条件 | 4369（96.7%）：comment 来源 2853 + 四槽合成 1516 |
+| 无生效条件 | 148 = 145 待补（全 `ccg_exempt`）+ 3 派生跳过（SKIP_TAGS） |
+| `# 生效条件：观测位置：` 残留 | **0** |
+| 四态分布 | ACCEPT 29 ｜ DEFER 4487 ｜ BLINDSPOT 1 |
+
+---
+
+## 四、存量清洗与全库接线
+
+### 4.1 弱等价行清洗（批次 `cond_fix_v01`）
+
+- `fix_conditions_plan`：legacy=109，全部 `rewrite`，drop=0，conflict=0。
+- `fix_conditions_apply`：**rewritten=109 / dropped=0**。
+- 复算：`verify_conditions` → `legacy_position=0`、`from_synthesis=109+`。
+- 幂等：再预演 `rewrite=0 / drop=0`（无候选；`conflict` 仅表示「当前值已不等于当年写入值」，fail-closed 不覆盖人工修改）。
+- 回滚：`fix_conditions_rollback(batch="cond_fix_v01")` 按「当前值 == 写入值才撤销」。
+
+### 4.2 全库接线（批次 `cond_full_v01`）
+
+- `plan(include_partial=True)`：planned=1953，字段分布 `生效条件 1808 / 功能名 741 / 不适用条件 402 / 验证方式 1`。
+- `apply`：**written=1953 / skipped_drift=0 / skipped_locked=0**。
+- 复算后再预演 `targeted=0 / targeted_missing_conditions=0` → 幂等。
+
+### 4.3 不变量（边界不动）
+
+- 只经 `derive_fields` → `plan` → `apply` → 留痕 → `rollback`，禁止直接改盘。
+- 留痕 `basis` 记 `frontmatter.condition_space(四槽合成)`；回滚仍按「当前值 == 写入值才撤销」。
+- 跳过边界不变：`crypto.is_encrypted`；`SKIP_LAYERS=("rejected","unresolved","goals")`；`SKIP_TAGS=("gap_hint","scene","reconstructed","concept","insight")`；`INTERNAL_LAYERS=("anchor","self")`。
+- 异常只记节点 id 与字段名，不 dump 正文（正文可能含私有/密文内容）。
+
+---
+
+## 五、待补台账与 BLINDSPOT 分流
+
+`backfill.conditions_pending(cg)` 输出可复算台账，**145 条**（全部 `ccg_exempt=True`，经 `judge_qualification` 落 **DEFER** 而非 BLINDSPOT）：
+
+| 缺失维度 | 条数 | 前缀 |
+|---|---|---|
+| 缺约束 | 7 | `node_meta_*` |
+| 缺载体/位置+方法+约束 | 138 | `note_*` 135 + `milestone_*` 2 + `retest6_*` 1 |
+
+唯一非豁免 BLINDSPOT：`mem_1788996960604`（缺 `功能名/子功能/执行`，`exempt=False`）。
+
+> 结论：本次修正后，**没有**非豁免节点处于「缺生效条件」状态；「不可补 → BLINDSPOT」这条分支由一般 CCG 要素不全承接，且被 P37 断言锁定。
+
+### 5.1 快照清单（可复算：`backfill.conditions_pending(cg)["items"]`）
+
+```
+缺约束 | node_meta_427035320_1787018623216
+缺约束 | node_meta_6124532177_1787018623216
+缺约束 | node_meta_2972442990_1787018623216
+缺约束 | node_meta_4312849892_1787018623216
+缺约束 | node_meta_8788264161_1787018650592
+缺约束 | node_meta_4895666695_1787018623215
+缺约束 | node_meta_9469066954_1787018623216
+缺载体/位置+方法+约束 | milestone_1000q_1788667047
+缺载体/位置+方法+约束 | milestone_300b_1788687292
+缺载体/位置+方法+约束 | note_242_1788650890
+缺载体/位置+方法+约束 | note_243b244_1788651824_0
+缺载体/位置+方法+约束 | note_243b244_1788651824_1
+缺载体/位置+方法+约束 | note_245_1788651936
+缺载体/位置+方法+约束 | note_246_1788652553
+缺载体/位置+方法+约束 | note_247_1788653158
+缺载体/位置+方法+约束 | note_248_1788653793
+缺载体/位置+方法+约束 | note_249_1788654463
+缺载体/位置+方法+约束 | note_250_1788654983
+缺载体/位置+方法+约束 | note_251_1788655524
+缺载体/位置+方法+约束 | note_252_1788656241
+缺载体/位置+方法+约束 | note_253_1788656733
+缺载体/位置+方法+约束 | note_254_1788657418
+缺载体/位置+方法+约束 | note_255_1788657972
+缺载体/位置+方法+约束 | note_256_1788658671
+缺载体/位置+方法+约束 | note_257_1788659225
+缺载体/位置+方法+约束 | note_258_1788659788
+缺载体/位置+方法+约束 | note_259_1788662539
+缺载体/位置+方法+约束 | note_261_1788663462
+缺载体/位置+方法+约束 | note_262_1788664004
+缺载体/位置+方法+约束 | note_263_1788664558
+缺载体/位置+方法+约束 | note_264_1788665172
+缺载体/位置+方法+约束 | note_265_1788665777
+缺载体/位置+方法+约束 | note_266_1788666403
+缺载体/位置+方法+约束 | note_268_1788668289
+缺载体/位置+方法+约束 | note_269_1788668783
+缺载体/位置+方法+约束 | note_270_1788669504
+缺载体/位置+方法+约束 | note_271_1788669976
+缺载体/位置+方法+约束 | note_272_1788670645
+缺载体/位置+方法+约束 | note_273_1788671231
+缺载体/位置+方法+约束 | note_274_1788671843
+缺载体/位置+方法+约束 | note_275_1788672395
+缺载体/位置+方法+约束 | note_276_1788673029
+缺载体/位置+方法+约束 | note_277_1788673556
+缺载体/位置+方法+约束 | note_278_1788674203
+缺载体/位置+方法+约束 | note_279_1788674771
+缺载体/位置+方法+约束 | note_280_1788675480
+缺载体/位置+方法+约束 | note_281_1788675973
+缺载体/位置+方法+约束 | note_282_1788676739
+缺载体/位置+方法+约束 | note_283_1788677263
+缺载体/位置+方法+约束 | note_284_1788677944
+缺载体/位置+方法+约束 | note_285_1788678475
+缺载体/位置+方法+约束 | note_286_1788679116
+缺载体/位置+方法+约束 | note_287_1788679690
+缺载体/位置+方法+约束 | note_288_1788680358
+缺载体/位置+方法+约束 | note_289_1788680897
+缺载体/位置+方法+约束 | note_290_1788682016
+缺载体/位置+方法+约束 | note_291_1788682679
+缺载体/位置+方法+约束 | note_292_1788683214
+缺载体/位置+方法+约束 | note_293_1788683748
+缺载体/位置+方法+约束 | note_294_1788684312
+缺载体/位置+方法+约束 | note_295_1788684888
+缺载体/位置+方法+约束 | note_296_1788685272
+缺载体/位置+方法+约束 | note_297_1788685668
+缺载体/位置+方法+约束 | note_298_1788686231
+缺载体/位置+方法+约束 | note_299_1788686797
+缺载体/位置+方法+约束 | note_301_1788688001
+缺载体/位置+方法+约束 | note_302_1788688695
+缺载体/位置+方法+约束 | note_303_1788689248
+缺载体/位置+方法+约束 | note_304_1788689856
+缺载体/位置+方法+约束 | note_305_1788690432
+缺载体/位置+方法+约束 | note_306_1788691075
+缺载体/位置+方法+约束 | note_307_1788691683
+缺载体/位置+方法+约束 | note_308b_1788693216
+缺载体/位置+方法+约束 | note_309_1788693461
+缺载体/位置+方法+约束 | note_310_1788693917
+缺载体/位置+方法+约束 | note_311_1788694207
+缺载体/位置+方法+约束 | note_312_1788694748
+缺载体/位置+方法+约束 | note_313_1788695243
+缺载体/位置+方法+约束 | note_314_1788695840
+缺载体/位置+方法+约束 | note_315_1788696584
+缺载体/位置+方法+约束 | note_316_1788697078
+缺载体/位置+方法+约束 | note_317_1788697648
+缺载体/位置+方法+约束 | note_318_1788698243
+缺载体/位置+方法+约束 | note_319_1788698847
+缺载体/位置+方法+约束 | note_320_1788699447
+缺载体/位置+方法+约束 | note_321_1788700052
+缺载体/位置+方法+约束 | note_322_1788700675
+缺载体/位置+方法+约束 | note_323_1788701223
+缺载体/位置+方法+约束 | note_324_1788701861
+缺载体/位置+方法+约束 | note_325_1788702486
+缺载体/位置+方法+约束 | note_326_1788703038
+缺载体/位置+方法+约束 | note_327_1788703665
+缺载体/位置+方法+约束 | note_328_1788704308
+缺载体/位置+方法+约束 | note_329_1788704937
+缺载体/位置+方法+约束 | note_330_1788705440
+缺载体/位置+方法+约束 | note_331_1788706060
+缺载体/位置+方法+约束 | note_332_1788706667
+缺载体/位置+方法+约束 | note_333_1788707213
+缺载体/位置+方法+约束 | note_334_1788707908
+缺载体/位置+方法+约束 | note_335_1788708416
+缺载体/位置+方法+约束 | note_336_1788709245
+缺载体/位置+方法+约束 | note_337_1788709641
+缺载体/位置+方法+约束 | note_338_1788710337
+缺载体/位置+方法+约束 | note_339_1788710836
+缺载体/位置+方法+约束 | note_340_1788711451
+缺载体/位置+方法+约束 | note_341_1788712042
+缺载体/位置+方法+约束 | note_342_1788712759
+缺载体/位置+方法+约束 | note_343_1788713306
+缺载体/位置+方法+约束 | note_344_1788713873
+缺载体/位置+方法+约束 | note_345_1788714432
+缺载体/位置+方法+约束 | note_346b_1788715491
+缺载体/位置+方法+约束 | note_347_1788715743
+缺载体/位置+方法+约束 | note_348_1788716255
+缺载体/位置+方法+约束 | note_349_1788716868
+缺载体/位置+方法+约束 | note_350_1788717451
+缺载体/位置+方法+约束 | note_351_1788718216
+缺载体/位置+方法+约束 | note_352_1788718768
+缺载体/位置+方法+约束 | note_353_1788719232
+缺载体/位置+方法+约束 | note_354_1788719901
+缺载体/位置+方法+约束 | note_355_1788720455
+缺载体/位置+方法+约束 | note_356_1788721050
+缺载体/位置+方法+约束 | note_357_1788721848
+缺载体/位置+方法+约束 | note_358_1788722310
+缺载体/位置+方法+约束 | note_359_1788723010
+缺载体/位置+方法+约束 | note_360_1788723604
+缺载体/位置+方法+约束 | note_361_1788724063
+缺载体/位置+方法+约束 | note_362_1788724717
+缺载体/位置+方法+约束 | note_363_1788725266
+缺载体/位置+方法+约束 | note_364_1788725982
+缺载体/位置+方法+约束 | note_365_1788726542
+缺载体/位置+方法+约束 | note_366_1788727239
+缺载体/位置+方法+约束 | note_367_1788727715
+缺载体/位置+方法+约束 | note_368_1788728317
+缺载体/位置+方法+约束 | note_369_1788728903
+缺载体/位置+方法+约束 | note_370_1788729501
+缺载体/位置+方法+约束 | note_371_1788730207
+缺载体/位置+方法+约束 | note_372_1788730673
+缺载体/位置+方法+约束 | note_373_1788731445
+缺载体/位置+方法+约束 | note_374_1788731952
+缺载体/位置+方法+约束 | note_375_1788732546
+缺载体/位置+方法+约束 | note_376_1788733161
+缺载体/位置+方法+约束 | note_377_1788733671
+缺载体/位置+方法+约束 | note_378_1788734313
+缺载体/位置+方法+约束 | note_379_1788734871
+缺载体/位置+方法+约束 | retest6_1788667612
+```
+
+---
+
+## 六、纪律条目（可复用，来自本轮蒸馏）
+
+1. **禁止单槽冒充**：不得把 `condition_space` 的任一单槽（尤其 `observation_position`）直接当生效条件；生效条件必须是四槽合成的声明。
+2. **条件空间优先于文本**：能由四槽合成时，以合成为准；`comment.生效条件` 是人类显式声明，优先于合成，但两者若冲突须登记 `conflict`，不得静默择一。
+3. **缺则待补，不发明**：补不全就登记待补，并在判定上落 DEFER/BLINDSPOT；不得用默认值或猜测把缺项「填满」。
+4. **留痕驱动清洗**：存量修正只认 `_backfill.jsonl` 的 `basis`，且只改「当前值仍等于当年写入值」的节点，防覆盖人工修改。
+5. **口径单一**：条件空间→文本只有一个入口；召回打分与文本渲染共用槽名常量，不得各写一套。
+
+---
+
+## 七、复算与回滚
+
+```bash
+# 只读预演：清洗计划 + 待补台账（不写盘）
+python -X utf8 -c "from md_cg.mdcos import MdCGOS; from md_cg import backfill; \
+ cg=MdCGOS(r'D:/Program Files/2_ai/AEIS/data/mdcg'); \
+ print(backfill.fix_conditions_plan(cg)); print(backfill.conditions_pending(cg)['by_missing'])"
+
+# 复算：弱等价残留 / 合成来源 / 缺失清单
+python -X utf8 -c "from md_cg.mdcos import MdCGOS; from md_cg import backfill; \
+ cg=MdCGOS(r'D:/Program Files/2_ai/AEIS/data/mdcg'); print(backfill.verify_conditions(cg))"
+
+# 回滚（按批次，当前值一致才撤销）
+#   fix_conditions_rollback(batch="cond_fix_v01") / rollback(batch="cond_full_v01")
+```
+
+单测：`python -X utf8 -m md_cg.test_p37_condition_space`（合成/必填/待补/清洗/回滚）、`test_p32_backfill`、`test_p33_ccg_wiring`；全量 `test_p*.py` 全绿。
+
+---
+
+## 八、代码落点
+
+| 文件 | 改动 |
+|---|---|
+| `md_cg/nodefile.py` | 新增 `CONDITION_SLOTS` / `condition_space_text` 等唯一合成入口；`CCG_REQUIRED=CCG_MARKS`；`ccg_completeness` 口径与 docstring 收紧 |
+| `md_cg/backfill.py` | 删除 `_pos_text` 单槽回退；新增 `conditions_pending` / `fix_conditions_*` / `verify_conditions`；`plan` 增 `targeted_missing_conditions` |
+| `md_cg/chain.py` | `conditions_text` 复用 `nodefile.condition_space_text` |
+| `md_cg/mdcg.py` | `judge_qualification` docstring 与 reason 文案对齐 6 要素必填 |
+| `test_p32_backfill.py` / `test_p33_ccg_wiring.py` / `test_p37_condition_space.py` | 断言：单槽不冒充、四槽合成、全时窗可读化、缺项 BLINDSPOT、幂等与回滚 |