@furongjun1999/dsh-memory 0.4.11 → 0.5.0

package/docs/mdcg//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

@@ -1,340 +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'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'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、幂等与回滚 |
+# 认知图 · 条件空间合成与生效条件口径 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'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'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、幂等与回滚 |