@furongjun1999/dsh-memory 0.6.0 → 0.7.0

package/docs/eval//346/200/247/350/203/275/344/270/223/351/241/271_/345/206/267/346/237/245/350/257/242/344/270/216/345/206/205/345/255/230_v1.0.md

@@ -0,0 +1,218 @@
+# 性能专项报告：冷查询与内存 v1.0
+
+> 专项范围：`md_cg/mdcg.py`（引擎 `_load_index` / `_read` / `_read_many` / `_node_disk_path` / `normalize_en` 归一链）与 `md_cg/readcache.py`（解析读缓存）；`md_cg/docindex.py` 未涉改动。
+> 数据来源声明：本文「修复会话实测」数字来自本专项各修复任务在临时库上的实跑记录（材料转述）；「本会话复核」数字为报告撰写会话当场实跑结果（第四节列明命令与输出）。凡本会话未跑过的检查，一律如实标注，不冒充已通过。
+
+---
+
+## 一、背景与基线
+
+### 1.1 生产冷态基线与根因（cProfile 引证）
+
+- **冷态首查**（OS 文件缓存冲刷后）：`search` **61.7–200s**；**热态** 0.12–0.79s。
+- cProfile 根因定位：单次冷查 **13,884 次 `_read` 累计 61.2s**，其中
+  - `TextIOWrapper.read`（文件 I/O）**45.3s**；
+  - `os.path.realpath`（路径规范化）**13.5s**（27,766 次调用）——占 61.2s 的 **22%**。
+- 读缓存缺省已开（`md_cg/readcache.py:40-43`，`MDCG_READ_CACHE` 未设即 `enabled()==True`；本会话已核实该行），故热态 0.12–0.79s 已由既有优化覆盖；冷态首查仍全量走「open + realpath + parse」。
+- 对照参考（既往同口径优化）：读缓存批次 14 per-path 精确失效 **35.8×**、MdStore 预计算 **148×**。
+
+### 1.2 临时复现库基线（先测后修）
+
+| 复现库 | 规模 | 口径 | 修前实测（修复会话） |
+|---|---|---|---|
+| `_md_cg_perf_warmup/cgroot` | 3200 池 / 10.23MB | 进程冷态（新进程首查） | search#1 = 5.456 / 1.578 / 1.574s（首轮含 OS 缓存冷启），热查 0.032–0.033s |
+| 8000 文档 store×3 副本 | 全池扫描 496,002 词事件/查询 | 进程冷扫 | T3 全池冷扫中位 3.053s（HEAD 纯净） |
+
+- 本测（3200 池）cProfile：`_node_disk_path` 子树 **0.301s cum**（候选评估测次；修前基线测次 0.303s cum，其中 realpath 本体 0.286s），占 `_read` 子树 45–48%、**全查 ~11%**；realpath 调用 **6400 次/冷查**（每读 2 次 × 3200 节点）。
+- 本测（8000 文档）cProfile：**73% 耗时在 `_score`/`normalize_en`**——`_norm_word` **498,446 次/冷扫**、cum 1.301s，str 方法调用 **348.9 万次/冷扫**；readcache 已缓存文档级派生物（`_doc_norm_bigrams`，`readcache.py:25-28`）但仅限本进程，冷态首查仍逐词全量重算。
+- json 解析占比（冷态口径）：`nodefile.loads` 整体 cumtime 0.238s=8.6%，json decode **0.117s/2.75s≈4%**——占比过低。
+
+### 1.3 内存画像基线
+
+- 缓存足迹最大单项为 `_norm_bigrams_cache`（文档级归一 bigram），占读缓存足迹 **67%**（引用画像 64.1MB）。
+- 外部报告的「45.8GB 内存失控」待复现/否证（结论见第五节：**未复现，无失控证据**）。
+
+---
+
+## 二、修复面与实现（定稿 4 候选，实际实施 3 项）
+
+### 2.1 realpath 缓存（候选 a，定稿采纳，优先级 1）✅ 已实施
+
+- **target**：`_node_disk_path`（修前位置 `md_cg/mdcg.py:1320-1327`，HEAD 版 7 行实现）每读 2 次 `os.path.realpath`（修前 1321-1322 行各一次）——改为 root realpath 进程内解析一次 + 每 rel-path 解析结果 memo 化；失效口径复用 `readcache._fresh` 的 per-path 哨兵（批次 14 纪律同源）。
+- **rationale**：双数据集支持——本测 3200 池 6400 次 realpath/次冷查（0.301s cum，占 `_read` 子树 45%、全查 11%）；生产真冷态 27,766 次/13.5s = 61.2s 中的 22%。缓存后每读 realpath 降为 1 次字典命中，纯确定性字符串复用，检索结果零变化（同输入同输出；修后须以 bench.py + 结果逐项对照复验）。
+- **risk**：P2-20 越界断言语义必须保持——root realpath 一次性解析的进程内边界内，越界判定结果不变；symlink/junction 中途改挂的陈旧窗口 = 进程内一致性边界，须与 `readcache.py:29-30` 同款声明写入文档；修后跑 `test_readcache_prodpath.py` 等既有守卫。
+
+### 2.2 `_norm_word` 词级 memo（数据新增目标，定稿采纳，优先级 2）✅ 已实施
+
+- **target**：`normalize_en` 文档侧归一为纯函数链（`md_cg/mdcg.py:416` `strip_tense_en` / 修前 `:449` 内嵌 `_norm_word`），落模块级 word→归一结果 memo（可 LRU 封顶）。
+- **rationale**：本测冷态首查 73% 耗时在 `_score`/`normalize_en`（498,446 次 `_norm_word`、348.9 万 str 方法调用/次冷查）；readcache 已缓存派生产物但仅限本进程，冷态首查仍全量重算。词级 memo 纯函数无行为漂移面，同时压缩冷态装配与未来任何缓存 miss 的重推导。
+- **risk**：memo 按词精确键控（纯函数，同词同结果）零结果变化；内存增量 = 词表规模（远小于 `_norm_bigrams_cache` 的 64.1MB）；若加 LRU 封顶须注意热态 0.033s 依赖派生缓存，容量不宜过小。
+
+### 2.3 `_read` 的 json 解析懒加载（候选 b，数据否决，不修）⛔
+
+- **target**：`_read` 内 nodefile 解析改懒加载。
+- **rationale**：实测占比过低——json decode 0.117s/2.75s≈4%（`nodefile.loads` 整体 0.238s=8.6%）；且 readcache（`readcache.py:102-113`）已把解析产物按 path 缓存为进程内一次，懒加载只能再省首查的这一次解析，收益上限即这 4%。
+- **risk**：懒加载 fm 语义有行为漂移面（调用方就地改 fm 的模式），收益/风险比不支持，明确不修——修了属无数据支撑的改动。
+
+### 2.4 读缓存装配增量化（候选 c，数据否决，不修）+ 内存上限备忘 ⛔
+
+- **target**：读缓存装配增量化。
+- **rationale**：实测装配无独立成本面——`readcache.install`（`readcache.py:62-131`）是 O(1) 包装，填充按节点在读时懒进行（init 0.015s；冷查 1.37–1.66s 与 `READ_CACHE=0` 的 1.28–1.97s 在噪声内重合 = 装配零额外开销）；内存 9.4× 正文、线性于 N 且 45.8GB 未复现，无失控证据。
+- **risk**：若未来生产内存水位告急，杠杆是 `_norm_bigrams_cache`（占缓存足迹 67%）做 LRU 封顶——但会侵蚀热态 0.033s 基线，须带修前修后同口径计时再动；本轮作为备忘记录而非修复项。
+
+> 合计：**实际实施 3 项**（候选 a、词级 memo、以及候选 b/c 的数据否决裁决执行），否决 2 项不做。
+
+---
+
+## 三、逐项修复
+
+### 3.1 realpath 缓存（候选 a，优先级 1）
+
+**target**：`MdCG._node_disk_path` 每读 2 次 `os.path.realpath` 的消除——root realpath 进程内惰性解析一次驻留 + rel-path→abs 解析结果 memo 化，失效口径复用 `readcache._fresh` 的批次 14 per-path 哨兵（`path_gen[path]` + `broad_gen`）。
+
+**changed**：`md_cg/mdcg.py` 单文件 3 处（全文件 diff +73/−8，本修复约 +45；diff --stat 已核实）：
+
+1. `__init__`（mdcg.py:961-964，`self._dirty` 之后）新增 `self._root_real = None` 与 `self._realpath_cache = {}`（附失效同源声明注释）；
+2. `_node_disk_path`（mdcg.py:1364-1378，文档串 1347-1363）重写：先查 per-rel-path memo（键 = `e["path"]`，复用索引既有串零拷贝），未命中才 realpath；root 惰性解析一次（`_root_real` 为 None 时解析并驻留）；越界 ValueError 不缓存、每次重判；命中条件走新增 `_realpath_fresh`（mdcg.py:1380-1392，逐字镜像 `readcache.py:80-100` 的 `_fresh`：`path_gen` 非 `_DirtyDict` 形态回落整代际相等防御，否则 `pg.get(rp,0) <= 缓存代际 and broad_gen <= 缓存代际`）；
+3. `_maybe_reload_index`（mdcg.py:1071-1074）在 `_rc.clear(self)` 旁同步 `self._realpath_cache.clear()`（他进程快照重写事件整池兜底，稀疏事件零热路径开销）。
+
+文档串写入：失效口径同源声明、`readcache.py:29-30` 同款进程内一致性边界声明（symlink/junction 中途改挂不推进代际）。不改动任何共享文件之外的内容；git 状态 = `M md_cg/mdcg.py`（同文件还含并发写入者的词级 memo 改动，见 3.2 与 semantics_note）。
+
+**before_after**（修复会话实测：临时库 `_md_cg_perf_warmup/cgroot` 3200 池/10.23MB，哑密钥 `bytes(range(32))`，未触真实令牌库与在役库；同口径 bench.py 新进程冷态）：
+
+- 【计时 · 默认 `MDCG_READ_CACHE=1`】修前 HEAD：冷查 search#1 = 5.456/1.578/1.574s（首轮含 OS 缓存冷启），热查 0.032–0.033s；修后同树（HEAD+a+b）：冷查 1.017/1.428/1.038s，热查 0.032–0.043s。
+- 【本修复净贡献 · 同树进程内猴补丁消融法】把 `_node_disk_path` 还原为 HEAD 原 7 行实现后复测（仅候选 b 生效）：冷查 median 1.086→1.038s ≈ **−48ms**；realpath 调用 **6400→3201 次/冷查**（cProfile 计数实测，= 3200 rel 首解析 + 1 次 root，与设计精确一致；消融组 `realpath_cache_entries=0` 证实旁路彻底）；`_node_disk_path` cum **0.303→0.204s**（修前 0.286s 在 realpath 本体）。
+- 【计时 · `MDCG_READ_CACHE=0` 退出阀】combined 冷查 0.893/0.922s、热查 0.747/0.752s vs 消融 1.031/1.163s、1.009/1.154s——热查询 **−26~−35%**（每读 2×realpath→字典命中）。
+- 【内存 RSS（GetProcessMemoryInfo 实测）】默认模式冷查后 120.2-120.3→120.8-121.9MB（+0.6~1.6MB，与候选 b 词 memo 合并计量）；`=0` 模式 38.5-38.7→41.6-41.8MB（+2.9~3.3MB 含分配器噪声；结构性成本 ≈ 3200×(56B tuple+124B abs 串+槽位) ≈ 1MB 量级，键为零拷贝引用）。
+- 【正确性红线】10 条固定查询 × k=10 的有序 (id, score, path, content-sha) + 全索引 3200 条 `_node_disk_path` 映射，combined 与消融两态均与修前 JSON 逐项相等（`queries==True`、`node_disk_paths==True`、errors=0）。
+
+**semantics_note**：
+
+- 越界断言（P2-20）语义保持：越界 ValueError 不进缓存逐次重判（探针 T2/T4 双态全绿）；root realpath 惰性一次解析后，进程内越界判定结果不变（探针 T7c/T7d：双冷恰 2 次 syscall、root 恰解析一次后驻留）。
+- 声明的诚实边界（写入 mdcg.py:1360-1363 文档串，与 `readcache.py:29-30` 同款）：symlink/junction 中途改挂不推进任何代际，改挂后本进程内沿用旧解析（探针 T5b 实证 STALE_CACHED），按 path 标脏（`_DirtyDict` 钩子自动）即精确失效重判（T5c 实证改挂后标脏→ValueError）；他进程快照重写事件（`_maybe_reload_index` 签名变化）整池清空兜底。
+- 写路径审计：全部 `_node_disk_path` 调用点（mdcg.py:2319/2371/2388/2402/2709/3571/3588，本会话 grep 已核实）与全部写路径 `_dirty[node_id]=entry` 标脏同处一文件，哨兵覆盖闭环。
+- 重要披露：
+  1. 共享工作树存在并发写入者——测量期间 mdcg.py 被同工作流另一任务加入词级 memo 改动（`_NORM_WORD_MEMO`，mdcg.py:448-461），故修后数据一律以同树猴补丁消融法分离归因（combined = a+b 树上真值、ablated = 仅 b），未采用 git stash 腾挪（避免破坏并发者未提交工作）；修前基线取自并入者写入前的净 HEAD 实测，profile 证实彼时 `_norm_word` 未 memo 化（498,446 次/cum 1.301s）。
+  2. 修前全组测试未以干净 stash 态复跑（同因），以「修前猴补丁态守卫族 5/5 绿 + 会话首跑混合态 162/162 + HEAD 提交声明」替代佐证；修后 combined 树全组为干净单态运行。
+  3. 候选 b（词级 memo，见 3.2）与本修复正交且已合并计量：正确性红线在 combined 态验证（比仅验本修复更强）；热查询默认模式耗时持平属预期（readcache 命中时不触 `_node_disk_path`），收益在冷查与 `=0` 退出阀模式。
+  4. 临时产物已清理（`_md_cg_perf_warmup` 下本次新增脚本/数据 19 件删除；此前会话的 bench 框架与 cgroot 语料保留未动，gitignored）。
+
+**verified_by**（修复会话实跑记录）：① 计时 `python _md_cg_perf_warmup/bench.py` ×3（修前/修后/消融三态各 3 新进程）+ `MDCG_READ_CACHE=0` 两态各 2 次；② cProfile `python _md_cg_perf_warmup/bench_profile.py`（修前 realpath_calls=6400 / `_node_disk_path` cum 0.303s；修后 3201/0.204s）；③ 正确性 `python _realpath_fix_dump.py` + `_dump_ablate.py` 修前修后双态 JSON 逐项 diff（等值 True）；④ P2-20 语义探针 `_realpath_fix_probe.py` 修后 15/15 rc=0、修前 8/15（7 失败均为缓存行为断言面，语义断言双态绿）；⑤ 既有守卫双态：`python -m md_cg.test_readcache_prodpath`（12/12）/ `test_readcache_default_on`（10/10）/ `test_readcache_precise_inval`（23/23）/ `test_i28_hotcache_prodpath` / `test_retr_gates_prodpath`（均 rc=0），修前同族经 `_run_prefixed.py` 猴补丁复跑 5/5 rc=0；⑥ md_cg 全组 `python scripts/run_tests.py md_cg` 修后 162/162 通过 3 跳过 rc=0；⑦ 测量前后 mdcg.py sha256=989280884314630d 未变（本会话复算一致，见第四节）；⑧ py_compile 编译通过（本会话复跑 OK）。**未跑项**：修前净 HEAD 的全组测试干净复跑（并发写入者占文件，改以猴补丁守卫族替代）；OS 文件缓存强制冲刷的整机真冷态复现（沿用进程冷态口径，与引用基线同口径对照）。
+
+### 3.2 `_norm_word` 词级 memo（优先级 2）
+
+**target**：`normalize_en` 文档侧归一纯函数链（`md_cg/mdcg.py` `strip_tense_en` / `_norm_word`）落模块级 word→归一结果 memo（带 2^18 封顶）。
+
+**changed**：仅 `md_cg/mdcg.py`：
+
+1. `strip_tense_en`（mdcg.py:416）之后新增模块级 `_NORM_WORD_MEMO` / `_NORM_WORD_MEMO_CAP`（`1 << 18`）与纯函数 `_norm_word_mem`（mdcg.py:438-461：设计依据注释 438-447、变量 448-449、函数 452-461，含「生效条件」注释）；
+2. `normalize_en` 内嵌 `_norm_word`（mdcg.py:474-476）由「小写→停用词剔除→strip_tense_en」改为委托 `_norm_word_mem`（键 = 小写词，未命中按同口径计算并回填，封顶整表 clear）；同步更新该内嵌函数的「生效条件」注释。
+
+readcache 一致性纪律未触碰（per-path 失效/代际逻辑零改动）；mdcos/postings/reach 等调用方经模块属性解析自动受益，零改动。
+
+**before_after**（修复会话实测：临时语料 8,000 文档、全池扫描 496,002 词事件/查询，对齐画像 498,446；纯临时库，未触在役数据）：
+
+- 发现并发会话同文件落树「realpath 进程内缓存」改动，故以 git worktree 挂 HEAD 做三臂同窗口对照（各臂 3 新进程）：
+  - T3 全池冷扫中位：HEAD 纯净 **3.053s** → +realpath **2.568s** → +realpath+词级 memo **1.437s**；
+  - memo 孤立贡献（同树开关对照）= **−1.131s**，**1.79× 加速 / −44.1%**；对纯净 HEAD 组合 **2.12×**；
+  - `strip_tense_en` 调用 **496,002→207 次/查询**（仅 memo miss）；
+- 热态（读缓存派生物命中）三臂持平 0.0561/0.0570/0.0576s，**无热态回退**；
+- 微基准 normalize_en 链（400 文本×6 轮）：16.657ms→8.367ms（**1.99×**）；
+- 内存（工作集 RSS，psapi GetProcessMemoryInfo）：三臂查后 204.0/205.6/205.8MB，memo 臂增量抖动级；memo 本体 210 词条实测 **25.8KB**（词表规模，符合「远小于 `_norm_bigrams_cache`」预期）。
+
+**semantics_note**：
+
+- 零行为漂移：memo 纯函数精确键控（键 = 小写词），命中值 ≡ 逐词现算值——同词必同果；停用词返回 `""` 与 `strip_tense_en` 路径均按原口径计算后仅缓存结果。
+- 封顶走整表 clear（纯函数下只损失加速比不损失正确性），容量 2^18≈26 万词形远超常规词表、常态不触发（响应 risk 提示：容量不宜过小，且热态快查走 readcache 派生缓存本不经此路径，实测热态持平）。
+- 正确性红线实测：三臂 ×3 跑 ×4 查询（T3 全扫/T3 命中/en_hit/zh_en）结果 id 序+分值+内容+tier+scanned 互证 **ALL IDENTICAL**（唯一进程间差异 = 引擎固有 reason 字段 set-repr 无序打印，修前两跑互比同样存在，与改动无关）；微基准归一输出 md5 修前修后逐位一致（a2caecf1dcd6a1b939cdec3d35070a6b）；memo 命中 ≡ 现算抽查 216/216；封顶触发后归一仍正确。
+
+**verified_by**（修复会话实跑记录）：① 基准：临时语料 8,000 文档 store×3 副本，`python run_bench.py`（新进程冷查+热查+strip 计数包装+RSS 快照+结果 JSON 落盘），三臂（git worktree HEAD 纯净 / 当前树 memooff monkeypatch / 当前树 memoon）各 3 跑；② 正确性：canon（reason set 序归一）逐项 diff 脚本，三臂 9 份快照互证 ALL IDENTICAL；③ 内存：psapi GetProcessMemoryInfo RSS + memo 容器实测 `sys.getsizeof` 求和 25.8KB/210 词条 + 封顶行为探针（临时 cap=10 进程内验证，未改仓库代码）；④ 全量测试：`python scripts/run_tests.py` → 220/220 通过、5 跳过（exit 0，改动树上；本会话复跑一致，见第四节）；⑤ 守卫：`python scripts/cogmap_sync.py check` 通过（mdcg_* 31 个一致；本会话复跑 OK）、`python scripts/workspace_index.py --check` 通过（本会话复跑 OK）；`scripts/verify_discipline.py` 报 codebuddy-local 漂移经 git stash 对照证实为 HEAD 预存环境态、与本次改动无关；`scripts/mdcg_verify_render_meta.py` 未跑（需 `MDCG_ROOT` 指向认知图库，本任务无涉且在役库禁触）。临时产物（语料 store、基准脚本、worktree）已全部清理，`git worktree list` 仅剩主工作区。
+
+### 3.3 `_read` 的 json 解析懒加载（候选 b，数据否决，不修）
+
+**target**：`_read` 的 json 解析懒加载——**无代码改动**，维持「数据否决，不修」裁决（修复会话 `git status --porcelain` 干净；临时探针目录 `_md_cg_lazyfm_probe` 测完已删）。说明：任务要求的第 1 条「实现」与 target 自身的「数据否决，不修」裁决冲突，按 target 的明确裁决执行——不实施懒加载（修了属无数据支撑的改动），改为对本裁决的两条数据依据做实测复核，全部通过。
+
+**before_after**（修复会话实测：无修前修后代码对照——未改代码；以下是「不修(现状) vs 修(懒加载)」的收益测算，567 节点临时池，`tempfile.mkdtemp`，MdCGSecure 同 `test_readcache_default_on.py:49-57` 构造，测完 rmtree）：
+
+- 【实验 A · 占比复现】`MDCG_READ_CACHE=0` 旧口径单次 search cProfile（总 150.9ms）：`nodefile.loads` cumtime 41.6ms=27.6% / tottime 9.1ms=6.0%；json decode（`json/__init__.py:299 loads`）cumtime 27.1ms=18.0%（含 decoder raw_decode 2.3%）——这是 warm OS cache 下旧逐次解析路径的 decode 占比上限；引用的冷态基线（`TextIOWrapper.read` 45.3s + realpath 13.5s 主导 61.2s `_read`，search 61.7-200s）下即为所述 ~4%，实测同向。
+- 【实验 B · 收益上限】READ_CACHE 默认开：新实例首查 567 次 `nodefile.loads` 调用/102.8ms，稳态中位 3.0ms/查询且 `nodefile.loads` 调用 **0 次/查询**——懒加载只能触及首查那一次解析，稳态零解析无可省面；且候选 fm 在同一次查询的资格/评分流（`_read_many`→docs，mdcg.py:2949）即被消费，首查可推迟的也近乎为零。
+- 【实验 C · 解析内部分解】20k 次重复实测：`nodefile.loads` 17.0µs/文件，其中 json decode 12.4µs=72.9%——单次解析内占比虽高，但绝对量 17µs/文件且被 readcache 摊薄为每 path 每进程一次。
+- 结论：收益上限 = 首查一次性 × ≤18%（warm）/ ~4%（冷态口径），与裁决「占比过低」一致。内存水位：不适用（无改动无 RSS 变化，未做对照）；注：懒加载若实现，物化时原文+解析产物并存反而可能抬高常驻内存（推理，未实测）。
+
+**semantics_note**：不修在语义上是唯一安全选项，实测复核支持：
+
+1. readcache 已把解析产物 `(fm, content)` 按 path 缓存为进程内一次（`readcache.py:102-110` `val=orig(entry); cache[p]=(gen,val)`，挂载于 :112-113，docstring :25 明示「缓存解析产物」）——懒加载只能再省首查这一次；
+2. 懒加载 fm 是懒代理对象，而调用方存在就地改 fm 的既成模式：`compact_access`（mdcg.py:3557 定义，:3569-3571 就地写 `access_count` 后 `_write_node`，本会话已核实）、`verify`（mdcg.py:3385 定义、:3442 `fm.setdefault("evidence_log", []).append(...)`，本会话已核实）、`bench_membench.py:348-361` 更把「就地表写 `fm["importance"]=0.5`」写成包装契约（本会话已核实）——懒代理须在这些链路上保持 setdefault/取列表再 append 的物化与别名语义，且与 readcache 的 per-path 代际失效（批次 14 纪律，共享缓存对象随失效周转）叠加，行为漂移面大；4% 上限收益不支持该风险，裁决成立。
+
+**verified_by**（修复会话实跑记录）：① 探针实测 `python _md_cg_lazyfm_probe/probe_lazyfm.py`（临时池 567 节点，实验 A/B/C 数字如上，输出已核）；② 零回归 `python md_cg/test_readcache_default_on.py` → PASS 10/FAIL 0（含 D6a 开/关同库同 query 结果 id 序一致 = 正确性对照的执行证据，D2a 稳态 0 次重解析）；`python md_cg/test_readcache_precise_inval.py` → PASS 23/FAIL 0（批次 14 per-path 精确失效纪律无回退）；`python md_cg/test_readcache_prodpath.py` → PASS 12/FAIL 0；`python -m md_cg.test_govern_directread` → PASS 40/FAIL 0；`python -m md_cg.test_p27_docindex` → 通过 98/失败 0；③ `python -m md_cg.test_md_access_parity` → 按设计 SKIP（本地语料根 `_md_cg_wisdom_graph` 不存在，.gitignore 本地生成面，exit 0）——如实报告为**未跑**；④ 清理核验：探针目录已不存在，`git status --porcelain` 空。**未跑**全部 165 个 md_cg 测试（零改动项，取 `_read`/readcache/docindex 直接相关面；全量由第四节覆盖）。
+
+---
+
+## 四、验证
+
+### 4.1 本会话（报告撰写会话）当场复跑
+
+| 检查 | 命令 | 结果 |
+|---|---|---|
+| **python 全量** | `python scripts/run_tests.py` | **220/220 通过、5 跳过（依赖缺失/平台不符），退出码 0** ✅ |
+| 工作区索引守卫 | `python scripts/workspace_index.py --check` | OK：工作区索引与仓库一致（顶层目录 20 · 追踪 2005 件）✅ |
+| 认知图同步守卫 | `python scripts/cogmap_sync.py check` | OK（exit 0）✅ |
+| 语法编译 | `python -m py_compile md_cg/mdcg.py` | OK ✅ |
+| 被测态指纹 | sha256(mdcg.py) 前 16 位 | `989280884314630d`——与修复会话记录的「测量前后未变」哈希精确一致，证明当前工作树即被测量状态 ✅ |
+| 改动面 | `git status --porcelain` / `git diff --stat HEAD -- md_cg/mdcg.py` | 仅 `M md_cg/mdcg.py`，diff +73/−8（与修复记录一致）✅ |
+
+### 4.2 修复会话实测记录（材料转述，见第三节各 verified_by）
+
+- 计时/内存/正确性三态对照（修前 HEAD / 修后 combined / 猴补丁消融）——3.1；
+- 三臂同窗口对照（HEAD 纯净 / memooff / memoon）——3.2；
+- 候选 b/c 否决复核（探针实验 A/B/C）——3.3；
+- 守卫族：test_readcache_prodpath 12/12、test_readcache_default_on 10/10、test_readcache_precise_inval 23/23、test_govern_directread 40/40、test_p27_docindex 98/98、test_i28_hotcache_prodpath / test_retr_gates_prodpath 均 rc=0；md_cg 全组 162/162 通过 3 跳过（修后 combined 树）。
+
+**结论：python 全量 = 通过（退出码 0），本会话当场复跑证实。**
+
+---
+
+## 五、内存水位结论（45.8GB 失控的复现/否证结果）
+
+**结论：45.8GB 未复现，无失控证据。** 内存随池规模线性增长（约 9.4× 正文），量级为几十至两百 MB。
+
+实测证据（修复会话，GetProcessMemoryInfo / psapi RSS）：
+
+| 场景 | 规模 | RSS 实测 |
+|---|---|---|
+| 3200 池冷查后（默认 READ_CACHE=1，修后） | 10.23MB 正文 | 120.8–121.9MB（修前 120.2–120.3MB，增量 +0.6~1.6MB 与词 memo 合并计量） |
+| 3200 池冷查后（`MDCG_READ_CACHE=0` 退出阀，修后） | 同上 | 41.6–41.8MB（修前 38.5–38.7MB，+2.9~3.3MB 含分配器噪声；结构性 ≈1MB 量级） |
+| 8,000 文档三臂冷扫后 | 8,000 文档 | 204.0 / 205.6 / 205.8MB（memo 臂增量抖动级） |
+
+结构性拆解：
+
+- realpath memo：≈3200×(56B tuple + 124B abs 串 + 槽位) ≈ **1MB 量级**（键为索引既有串零拷贝引用）；
+- 词级 memo：210 词条实测 **25.8KB**（词表规模，远小于文档级缓存）；
+- 缓存足迹最大单项仍是 `_norm_bigrams_cache`（文档级归一 bigram），占读缓存足迹 **67%**（引用画像 64.1MB）——它是唯一值得盯的水位项，处理方案见第六节备忘；
+- 装配零独立成本面（init 0.015s；冷查 1.37–1.66s 与 `READ_CACHE=0` 的 1.28–1.97s 噪声内重合），填充按节点懒进行，`readcache.install` 为 O(1) 包装（readcache.py:62-131，本会话已核实）。
+
+---
+
+## 六、遗留与建议
+
+1. **`_norm_bigrams_cache` LRU 封顶（备忘，本轮不动）**：占缓存足迹 67%，是未来生产内存水位告急时的唯一杠杆——但会侵蚀热态 0.033s 基线（词级 memo 亦然：容量不宜过小），须带修前修后同口径计时再动。
+2. **修前净 HEAD 全组测试干净复跑未做**：并发写入者占 mdcg.py 文件，修前以「猴补丁守卫族 5/5 + 会话首跑混合态 162/162 + HEAD 提交声明」替代佐证；建议编排会话在提交前以门禁全量复跑一次收口。
+3. **整机真冷态未复现**：全部计时沿用「新进程冷态」口径（与引用基线同口径对照）；OS 文件缓存强制冲刷的整机冷态（对齐生产 61.7-200s 量级）留待后续专项。
+4. **`scripts/mdcg_verify_render_meta.py` 未跑**：需 `MDCG_ROOT` 指向认知图库，本任务无涉且在役库禁触。
+5. **`test_md_access_parity` 按设计 SKIP**：本地语料根 `_md_cg_wisdom_graph` 不存在（.gitignore 本地生成面）——有本地语料的环境应跑一次补齐。
+6. **`scripts/verify_discipline.py` 报 codebuddy-local 漂移**：经 git stash 对照证实为 HEAD 预存环境态，与本次改动无关，但属预存问题，建议另开缺陷项处理。
+7. **symlink/junction 中途改挂的进程内一致性边界**：不推进任何代际，改挂后本进程内沿用旧解析（文档串已声明，mdcg.py:1360-1363）；跨进程/外部改挂的可见性不保证——生产若依赖改挂即时可见，应走 `MDCG_READ_CACHE=0` 退出阀并重启进程。
+8. **工作树 `M md_cg/mdcg.py` 未提交**：按纪律由编排会话负责提交（本专项不做 git commit）。
+
+---
+
+## 七、纪律合规声明
+
+1. **按职责定位查阅**：查文件前先读 `WORKSPACE_INDEX.md`，按性能专项职责面（`md_cg/readcache.py`、`mdcg.py` 的 `_load_index`/`_read`/`_read_many`、`docindex.py`）定位，未做全盘浏览；报告撰写会话逐条核实了材料中的 path:line 引证（`_node_disk_path` 及其 7 个调用点 2319/2371/2388/2402/2709/3571/3588、`_realpath_fresh`、`__init__` 新增、`_norm_word_mem`、`_maybe_reload_index` 兜底、readcache 各哨兵行、compact_access/verify/bench_membench 就地改 fm 点），材料与当前树有数行漂移处一律以核实后行号为准。
+2. **先测后修**：三态对照（修前 HEAD / 修后 combined / 猴补丁消融）+ 三臂同窗口对照，全部同口径（bench.py 新进程冷态 / run_bench.py 三新进程）。
+3. **临时库与哑密钥**：全部实验在临时库（`_md_cg_perf_warmup/cgroot` 3200 池、8,000 文档 store、567 节点临时池）以哑密钥 `bytes(range(32))` 进行，**未触真实令牌库与真实在役数据目录**（D 盘 AEIS 在役库只读参考未动）。
+4. **测完清理**：`_md_cg_perf_warmup` 新增 19 件删除（bench 框架与 cgroot 语料为更早会话产物，gitignored 保留）；8,000 文档语料 store、基准脚本、git worktree 全部清理（`git worktree list` 仅剩主工作区）；`_md_cg_lazyfm_probe` 探针目录已删。
+5. **正确性红线**：任何加速未改变检索结果——3.1 修前修后双态 10 查询×k=10 有序四元组 + 3200 条路径映射 JSON 逐项相等；3.2 三臂 9 份快照互证 ALL IDENTICAL + 归一输出 md5 逐位一致；3.3 未改代码零漂移。readcache 读缓存一致性纪律（批次 14 per-path 失效/代际）零改动、零回退（test_readcache_precise_inval 23/23）。
+6. **P2-20 越界断言语义保持**：越界 ValueError 不缓存逐次重判；root 惰性一次解析后进程内越界判定不变（语义探针双态语义断言全绿）。
+7. **无数据支撑的改动不做**：候选 b（json 懒加载）、候选 c（装配增量化）经实测占比否决，明确不修。
+8. **诚实报告**：所有「未跑项」「SKIP 项」「未复现项」如实列出（3.1/3.2/3.3 verified_by 与第六节），无冒充通过、无本机绝对路径、未执行任何 git commit。

package/docs/eval//346/225/205/351/232/234/346/263/250/345/205/245/345/256/236/346/265/213_v1.0.md

@@ -420,3 +420,13 @@ Docker Desktop 28.4.0（WSL2 后端）｜镜像 `python:3.12` 与 `rust:bookworm
 ### 平台适配结论
 
 灵枢当前树在 Linux 容器与 Windows 行为一致（全部差异为环境依赖：cargo 可用性、`python`/`python3` 别名、WinDLL 置景）；`HIVE_PYTHON` env 开关在 Linux 的价值获实证（issue #19 同族"env 覆盖代替 hardcode"路线正确）。
+
+---
+
+### 订正留痕（2026-09-30 后加，不改上文任何字节）
+
+- **对象**：本文件 FI-R06（`### FI-R06 —— WAL 行乱序不可检 + submit 依赖 fail-fast 拦截（gap）`）的**预期判据**行与**实测观测**行。
+- **事实**：那两行把无环性归因于「job_id 时间序」——预期判据写「job_id 时间序+提交侧 fail-fast 使『引用未来任务』不可能成环」、实测观测写「deps_gate『无环性由 job_id 时间序结构性保证』源断言 OK」。该归因在 **id 契约 v2** 下失实：新形态 `h_<身份>_<任务>_<单元>_<编号>` 不含时间 ⇒ 名序不再携带时序，论证不得依赖它。
+- **上文为何不改**：本文是**留档实测记录**（当时源断言确实如此，且该行被 `docs/eval/缺陷挖掘_自主迭代_v19.md:96`/`:179` 按 `:192-193`/`:416` 引用过行号），改字节会同时篡改记录与引用面。**实测观测的结论不变、仍成立**：submit `rc=1`、文案「依赖不完整: h_notexist_0000（任务不存在，先提交上游任务）」、jobs 目录零残留。
+- **订正后的论证**：真实机制 = **存在性闸**——提交时只能引用**已存在**的任务目录（`hive/src/main.rs` 的 `depends_on` 存在性检查 + MCP 侧 `_dep_gate`），运行期再由 `hive/src/scheduler.rs::deps_gate` 复核。五处注释订正见 `docs/plans/全中文编码与蜂巢任务标识契约_v2.0.md` §五.1「C 论证订正」行。
+- **探针同步**：本用例的自动化判据（`test/chaos_injection/test_fi_r06_wal_reorder_dep.py`）已改为断言新措辞在场**且**旧措辞不在场（`"无环性由**存在性闸**结构性保证" in … and "无环性由 job_id 时间序结构性保证" not in …`）。