@furongjun1999/dsh-memory 0.7.0 → 0.7.2

package/docs/plans/stg/346/235/241/344/273/266/345/214/226/344/270/216/347/273/223/346/236/204/347/264/242/345/274/225_/350/256/276/350/256/241_v0.1.md

@@ -0,0 +1,124 @@
+# stg 条件化与结构索引 · 设计 v0.1
+
+> 立约动因（2026-10-03）：issue #52 判定成立并已在在役库复现（`stg.timeline(session=…)` 默认口径
+> count=25 且全为 `code_*`，条件命中的 204 条——含 15 条 `mem_*`——被排除在扫描面之外）。
+> 使用者当场定性与裁定：「**这又是理论和工程脱节**」「这个节点数限额是我自己提的……当时提的
+> 还附带了条件，遇到更多的检索节点，应该要**建立索引**，**明确检索条件**，和**不适用条件**，
+> 而**不是扩大节点数**」。
+>
+> 本稿＝该裁定的第 3 层落地设计（第 1、2 层「条件先行 + 截断可观测」另批实施中）。
+> 约束继承：`max_scan` 数值不得调大、不得默认全量；「倒排只可作候选内加速」（检索路径契约 §7）
+> 同样适用于本稿——stg 索引只做**条件维的收敛**，不替代认知路径。
+
+## 一、背景与定性
+
+**#52 的工程事实**（已实证）：`md_cg/stg.py::_scan` 按 `list(index["nodes"].items())[:max_scan]`
+在**条件过滤之前**做 id 字典序切片——限额被实现成「静默砍尾巴」，使用者当年附带的三件事
+（建立索引 / 明确检索条件 / 明确不适用条件）**一件未落地**。
+
+**定性（「理论/工程脱节」的第 n 次现身，同族形态谱）**：
+
+| # | 理论（已设计） | 工程（实际） | 处置 |
+|---|---|---|---|
+| 1 | S1–S6 逐级收敛（检索路径契约） | 认知结构入库但检索不调用（审计五偏差） | 已修（门控接线 issue #25 / C-8） |
+| 2 | 六要素全要素为检索面服务 | 验证方式/不适用条件两行未进默认检索 | 已修（0.7.0 §5.4） |
+| 3 | 限额＝「该建索引/细化条件」的压力信号 | 限额＝字典序切片（本项 #52） | **本稿 + 第 1、2 层** |
+
+共同主线（审计原文）：「认知结构被实现成『数据结构』而不是『计算路径』」；本项的变体是
+「**设计约束被实现成实现细节**」——5000 的语义是「超限该收敛」，工程把语义丢了、只剩数字。
+
+## 二、第 1、2 层（另批，不属本稿）
+
+条件过滤先于截断（「明确检索条件」落到实现）、截断可观测（`truncated` + 提示 + 近期优先兜底）。
+本稿设计以「第 1 层路径（全量快照遍历 + 条件过滤）」为**正确性基线**：索引路径必须与它逐位一致。
+
+## 三、第 3 层设计（本稿主体）
+
+### 3.1 目标形态
+
+契约 §2 在 stg 三接口上的落地：「触碰节点数从 N(全库) 降到 域内 ∩ 条件匹配 ∩ 邻域」——
+查询条件（session / layer / time_window）经**结构化倒排直取子集**，不再逐条遍历快照。
+
+### 3.2 索引形态（主案：装载期内存倒排 + 写路径增量维护）
+
+**主案**：不改任何磁盘格式，索引是**内存派生结构**：
+
+- **构建**：`MdCG._load_index()` 完成后的首次 stg 访问时，一次 O(N) 快照流生成三张表：
+  - `by_session: {sid | None: [ids]}`（`None` = 无会话归属，即 `unassigned` 兜底桶）；
+  - `by_layer: {layer: [ids]}`；
+  - `by_time: [(t, id)]`（有序，`t` 经既有 `trust.epoch_seconds` 归一；无有效时间戳的进 `_untimed`）。
+- **维护**：与既有桶计数**同一写钩**（`_set_index_entry` / `_remove_index_entry` 处增量增删）。
+- **不变量**：三张表恒为快照 keys 的划分（同源维护）；任一表缺失/代际不符 ⇒ **回退第 1 层全量遍历**
+  （安全降级且**可观测**，与 postings「宁可慢，不可丢召回」同纪律）。
+- **跨进程**：各进程装载时自建，无共享过期问题；多实例内存各持一份（1.7 万节点 ≈ 三张小表，可接受）。
+
+**备选（记录不采纳理由）**：
+- *快照内倒排*（`_index.json` 加段）：改最核心文件的 schema，装载/校验/compact/rebuild 全链兼容负担大；
+- *独立文件*（走 postings 的指纹+重建模式）：引入跨进程过期面与重建时机问题，而本索引的源数据
+  （快照字段）本就在内存——独立文件无增益。
+
+### 3.3 读侧直取
+
+- `timeline(session=X)`：`by_session[X]`（+ 既有的「x 会话不匹配」过滤语义逐位不变）→ 子集走既有排序链；
+- `anchors(time_window)`：`by_time` 区间截取（二分）→ 子集；
+- `consistency(layer)`：`by_layer[l]`；
+- 截断语义与第 1、2 层完全一致（`truncated` / 近期优先）——索引只改「取数面」，不改「语义面」。
+
+### 3.4 条件资格进 stg（「明确不适用条件」）
+
+- 复用 read 面唯一单点 `judge_qualification`：对 stg 返回条目做资格判定（生效条件命中 /
+  不适用条件拒绝 / 无从判定），结果随返回体带出（`qualification` 字段，语义与 read 面同口径）。
+- **首验形态：只上报不过滤**（行为零变化，`MDCG_STG_QUALIFY=1` 显式开）；
+  **次验形态（硬过滤，与 read 面同权）另立裁定**——因为 stg 的语义是「遍历视图」而非「召回 top-k」，
+  过滤改变视图完整性，需设计者拍板。
+
+### 3.5 flag 与回退（契约 §4 纪律）
+
+- `MDCG_STG_INDEX=1` 显式开；默认关时＝第 1 层路径。
+- **两条路径结果逐位一致**为等价性准入判据（同 postings 的「候选内加速、召回与全表一致」先例）。
+- 收敛读数（`meta` 分阶段计数：子集大小 vs 全量 N）供编外复核逐项核对。
+
+### 3.6 与既有机制的关系
+
+- **postings（词法 bigram）**：正交可叠加——词法先收词、stg 索引收条件维；
+- **桶（routing.bucket_dir，域级）**：正交；`route_key` 的 `observation_position` 一档与 layer/session 不同维；
+- **refindex（`_refindex.json`）**：形态参考，非复用对象。
+
+## 四、验收判据
+
+1. **等价性**：flag 开/关，三接口返回体（除 `meta` 计数）逐位一致（快照对比）；
+2. **收敛性**：`meta` 读数显示「实际遍历/触碰」从 N 降到子集（目标 ≤ 条件命中量级）；
+3. **不劣化**：既有 stg 套件 + 第 1、2 层新守卫全绿；在役对照（timeline(session) 的 count 与条目集）不改；
+4. **可观测**：索引命中/回退（表缺失/代际不符）均有 `meta` 计数与 reason；
+5. **守卫与定点变异**：索引增删钩、回退路径、等价性各有断言与变异自证。
+
+## 五、边界（不做的事）
+
+- 不改默认启用（先 flag，逐项验证，再讨论默认开启）；不改 `max_scan` 数值与第 1、2 层语义；
+- 不做 FTS 替代、不引入第二套时间/条件解析（复用 `trust.epoch_seconds` / `_view_session` / `judge_qualification` 单点）；
+- 不动写入侧磁盘语义（索引是内存派生 + 同钩维护）。
+
+## 六、待签收点（请逐条裁决）
+
+1. **索引形态主案**＝装载期内存倒排 + 写路径增量（备选两案的驳回理由见 §3.2）——可否？
+2. **路径等价为唯一准入**：flag 开/关逐位一致才准入——可否？
+3. **资格判定首验只上报不过滤**（`MDCG_STG_QUALIFY`），硬过滤另立裁定——可否？
+4. **`unassigned` 语义**：无会话节点在会话视图下**保持现状**（仅在 `session="*"` 等视图可见），索引化不得改变——确认？
+5. **同族归属**：`consistency.check` 的 `MAX_SCAN=200` 选面（字典序前 200 → 应改相关性/条件预筛）是否纳入本线第二实现批？
+
+## 七、排期
+
+设计稿签收 → 实施批（工作流：探针 → 实现 + 守卫 → 独立复核 → 容器双栈）→ 默认开关讨论 →
+随下次发版披露（若有默认面变化）。
+
+## 八、签收记录
+
+**2026-10-03 使用者签收**（原话：「同意此次设计。我们开始实施，来进行实测」）：
+
+- 待签收点 1（索引形态主案＝装载期内存倒排 + 写路径增量维护）：**同意**；
+- 待签收点 2（flag 开/关路径逐位等价为唯一准入）：**同意**；
+- 待签收点 3（资格判定首验只上报不过滤，`MDCG_STG_QUALIFY`；硬过滤另立裁定）：**同意**；
+- 待签收点 4（`unassigned` 语义保持现状，索引化不得改变）：**确认**；
+- 待签收点 5（同族 `consistency.check` 的 `MAX_SCAN=200` 选面）：**纳入本线第二实现批**（主体批不含；批间独立复核）。
+- **附加要求：实施后须实测**——在役库上的路径等价读数与遍历面收敛读数（本批报告中的「实测」节）。
+

package/docs/plans//350/256/260/345/277/206/350/207/252/345/244/204/347/220/206/344/270/211/346/241/243/350/207/252/346/262/273_/350/256/276/350/256/241_v0.2.md

@@ -0,0 +1,207 @@
+# 灵枢记忆自处理三档自治 · 设计 v0.2（已签收 · 冻结）
+
+> **状态：已签收（规格冻结）**——五条裁定已于 2026-10-01 由使用者签收（§〇.2）
+> **本稿不改一行代码、不动任何数据**；落码属下一阶段，需另行开工（§十三）
+> **前置**：issue #50 的两项修复（§八）——不落地则「变更确认」档在用户通道上没有输入
+> **相邻**：`docs/plans/睡眠与自迭代_功能优化设计_v0.4.md` 的九步台账是本设计「计划模式」的**现存形态**
+
+## 〇 一句话
+
+把「**灵枢自己怎么处理自己的记忆**」收成三档可选的自治态度（计划 / 变更确认 / 完全访问），
+**把确认覆盖面补齐到删除·改写·合并**（今天恰好缺这三样），
+并给出**升档的机检准入读数**——先证明判断可信，再放权。
+
+## 〇.1 三档定义（使用者原话，不得改写）
+
+| 档 | 定义（原话） |
+|---|---|
+| **计划模式** | 严格自己制定计划，让灵枢按照计划处理记忆。 |
+| **变更确认** | 对记忆进行变更（删除、改写、合并）时进行确认。 |
+| **完全访问** | 完全交给灵枢自己处理，不过问用户。 |
+
+**主客关系**（同日裁定，为权重依据）：**灵枢本体是那个"学生"**，使用者与编排方是它的**教师与家长**；
+其他使用者可能取「朋友」（想少写作业）或「老板」（只求产出）的立场——
+**纪律与判据面上判断权在我们，只在易用性与产出面上采纳后两类立场**。
+
+## 〇.2 五条裁定（使用者 2026-10-01 签收，本稿据此冻结）
+
+| # | 裁决点 | 裁定 |
+|---|---|---|
+| ① | **默认档位** | **变更确认** |
+| ② | **变更确认的覆盖面** | **改写 · 删除 · 合并**（三类全含） |
+| ③ | **准入读数的时间窗** | **长期记忆 30 天 / 短期记忆 3 天**（映射见 §七） |
+| ④ | **确认队列** | **复用既有审核队列**（不新建第二套） |
+| ⑤ | **升降档** | **升档 ＝ 计划式确认**（必须写计划、由用户确认）；**降档 ＝ 自动执行** |
+
+> 口径说明（编排侧读法，若有偏差以使用者为准）：第⑤条的"升档人工"其**具体形态就是把升档这件事走一遍计划模式**——先写一份计划（它拿更高自治要做什么、在什么范围内、看什么读数），交使用者确认后才升；降档不需要任何人点头，读数跌破门槛即自动回落并告警。
+
+## 一 对象面：记忆变更动作的完整分类（一手证据，非推断）
+
+「确认什么」必须先穷举「能改什么」。按落点普查（只读 grep，非测试文件）分五类：
+
+| 类 | 动作 | 落点（仓内相对路径:行） | 可回滚 | 今天有无前置确认 |
+|---|---|---|---|---|
+| **A** | 新增节点 | 门控写入 `ACCEPT` → `MdCG.add`；不入库的出口是提案 | 新增天然可回滚（软删） | 无（入提案队列仅在非 ACCEPT 出口） |
+| **B** | **合并**（新内容并入既有节点） | `forgetting.reinforce`（`md_cg/forgetting.py:456`，写回在 `:524`）＋ `writelimit.converge_into` | 部分：前像无快照；聚合行可按标记剥离 | **无**（普通节点）；受保护节点要 `override`＋快照 |
+| **C** | **改写**（既有节点就地改） | 同 id 覆写（`cg(op=write, node_id=…)`）＝改写；`_write_node` 直调点：`backfill`×8、`consolidate:642/848/891`、`ccgc:837/926`、`crosscheck:675/971`、`evolution:407`；**层迁移 + 删旧文件** `consolidate.py:891/893`；CCG 行 upsert | 否（除受保护节点） | **无** |
+| **D** | **删除** | 软删（节点移入 `trash/`＋删除清单，可审计，`md_cg/mcp_server.py:324`）；**丢弃**（`forgetting.assess` 的丢弃分支 → 只留痕不落节点，`forgetting.py:411` `record_drop`）；断面裁剪 `forgetting.py:756 _prune`；去污染实改（缺省关） | 软删是；丢弃否（仅日志留全文）；裁剪否 | **无** |
+| **E** | 权重与生命周期 | `freshness.recalc(..., apply=False)`（`md_cg/freshness.py:302`）、`weights`、`lifecycle.stamp`（`md_cg/lifecycle.py:52` 四态单向降级轴） | 是：`freshness.rollback`（`:428`）及各模块 `rollback` | 无（但改的是分数，破坏性最低） |
+
+## 二 现状：确认覆盖面与破坏性强度**倒置**
+
+1. **确认形态只长在批量维护上**：`consolidate`／`crosscheck`／`ccgc`／`trust`／`autonomy` 全是"**先出报表、再落盘**"（落盘参数 `apply` 缺省为假；如 `consolidate.py:970/1130/1411`、`crosscheck.py:738`）。这是设计对的地方。
+2. **热写入路径上破坏性最强的三个动作没有确认**：合并与改写由 `forgetting.reinforce` **就地把既有节点改写**（改 frontmatter ＋ 追加聚合行），丢弃只留痕不落节点；对**普通节点**全无前置确认，只有 importance ≥ 0.70 的受保护节点要 `override` ＋ 快照（`protect.py:32` → `_protected_history/<id>/<时间戳>.md` ＋ `_protected_audit.jsonl`）。
+3. **热路径上唯一形似确认的机制是 `DEFER → 审核队列`**（`writepipe.py:260/325` `moved_to="review_queue"`、`mdcos.propose` `mdcos.py:2016/4284`，裁决通道 `scripts/review_cli.py` 的 accept/reject/edit/merge/noop）——但它**只覆盖 A（新增提案），不覆盖对既有记忆的 B/C/D**。
+4. **缺省档位事实上已经是「完全访问」**：自愈开、自整理开、自演化关、去污染实改关（`md_cg/sustain.py:88-89`）；睡眠合并缺省 `auto`、去污染实改缺省关（`md_cg/sleep.py:84` 表）。它已经在跑，而且跑在判断力最弱的那条通道上（§八）。
+
+**结论**：**破坏性最强的地方最没有确认，确认形态反而只覆盖批量维护与新增提案。** 本设计的主要工作就是把这个倒置掰回来。
+
+## 三 设计：三档语义 × 动作面（裁决矩阵 · 已冻结）
+
+「允许＝自动执行」「确认＝先出变更单、经裁定后才落」「禁止＝fail-closed 拒并给 hint」。
+
+| 动作 | 计划模式 | **变更确认（默认档）** | 完全访问 |
+|---|---|---|---|
+| **A 新增** | 允许（须命中计划中的步骤） | 允许 | 允许 |
+| **B 合并** | 允许（须命中计划步骤） | **需确认** | 允许 |
+| **C 改写** | **需确认** | **需确认** | 允许 |
+| **D 删除** | **需确认** | **需确认** | 允许 |
+| **E 权重/生命周期** | 允许（须命中计划步骤） | 允许（分数类不阻塞） | 允许 |
+
+三条硬约束：
+
+- **单一入口**：档位是**一个** env 键（`MDCG_AUTONOMY=plan|confirm|full`，缺省 `confirm`），由**一处**判据函数读取与解释；不得各模块各读一份（沿用 sleep 的 §4.7 "env 表单一真源" 纪律）。
+- **纯加严**：任一档都不得放宽既有判据——档位只在既有裁决**通过之后**决定该动作是"立即落"还是"出变更单"，**不参与资格判定**（资格仍归 `forgetting.assess` 与写入闸门）。
+- **计划外零变更**：计划模式下任何未在计划里的变更 = fail-closed 报错（带可执行 hint），不静默跳过。
+
+## 四 变更确认档：**复用既有审核队列（裁定④）**
+
+- **队列复用**：直接复用既有审核队列与裁决通道（提案入口 `mdcos.propose`；裁决 `scripts/review_cli.py` / `cg(op=review, decision=accept|reject|edit|merge|noop)`）。**不新建第二套队列**——两套队列＝两套台账、两处口径。
+- **两类条目共用一个队列**，靠 **类型字段**区分：`kind="proposal"`（原有：新写入未获 ACCEPT 的提案）与 `kind="mutation"`（本设计新增：对既有记忆的 B/C/D 变更单）。裁决通道与统计口径共用。
+- **变更单**（每张含）：动作类（B/C/D）· 目标节点 id 与路径 · **前像**（可回滚句柄）· **后像**（将要写成的样子）· 影响面（边/索引/聚合行）· 回滚命令 · 提议者与理由。
+- **回滚原语（已有，需通用化）**：
+  - 受保护节点：`_protected_history/<id>/<时间戳>.md` ＋ `_protected_audit.jsonl`（`protect.py:32-33`）——**把这一对从"仅受保护节点"推广为"一切 C/D/B 动作"**；
+  - 软删：`trash/` ＋ 删除清单，可 restore（`mcp_server.py:324`）；
+  - 合并：聚合行自带 `- 【聚合 …】` 前缀（`forgetting.py:84` `AGG_MARK`、`:380`），可按前缀**定向剥离**回退到合并前正文；
+  - 分数类：各模块既有 `rollback`（`freshness.py:428` 等）。
+
+## 五 计划模式（我们制定计划，灵枢照计划执行）
+
+- **形态已在**：睡眠周期的九步显式台账（`md_cg/sleep.py:596-612`，明文"不许悄悄跳过、不许改名"，未接线步显式标注 `未接线`；`STEPS` 顺序即台账顺序）。这是"照计划做、可审计"的**现成骨架**。
+- **本档增量**：把计划从**硬编码序列**变成**输入**——一份显式计划（步骤 · 每步允许的动作类 · 预期读数 · 是否允许落盘），灵枢逐条执行并逐步入台账；**计划由我们（教师/家长）制定**，它不自行增删步骤。
+- **与睡眠周期的关系**：睡眠周期 = 一份**内置默认计划**（缺省计划：九步、周期 3600s、窗口 23:00–07:00、窗口外只记账不迭代）；本档不改它，只让"计划可替换/可签收"。
+- **同时是升档的载体**（裁定⑤）：升档本身走本档——先出计划、经确认、再升。
+
+## 六 完全访问
+
+- **语义**：A–E 全自动，不过问使用者。
+- **准入**：必须**先满足 R1–R4**（§七）；不满足时该档**不可选中**（fail-closed 并在启动面报"缺哪一条读数"，不静默降级）。
+- **义务（与自由对等）**：①一切破坏性动作**先留前像**（§四）；②当日"改了什么 / 丢了什么 / 拒了什么"必须**可一眼查**（§九）。
+- **升档程序**（裁定⑤）：写计划 → 使用者确认 → 生效；**降档自动**。
+
+## 七 放权阶梯与准入读数（可机检 · 窗口按裁定③）
+
+三档是**阶梯**不是并列选项：**先证明判断可信，再放权**。四条读数：
+
+| 读数 | 判据（机检） | 数据面 | **窗口（裁定③）** | 门槛 |
+|---|---|---|---|---|
+| **R1 判断非退化** | verdict 分布**非常量**：DROP/MERGE/DEFER 各自出现过，且单一 verdict 占比 < 90% | `_forgetting.jsonl`（`forgetting.py:80`）＋ `forgetting.summary`（`:606`） | **长期 30 天** | 占比 <90% |
+| **R2 会说"不"** | 负记忆两层有**近期**新增 | `rejected/` 与 `unresolved/` 层节点计数与最近 `created_at` | **短期 3 天**（另看 30 天总量 ≥1） | 3 天内各 ≥1（长期总量各 ≥1） |
+| **R3 破坏可逆且"回过"** | 存在**实测回滚记录**（不是"理论上可回滚"） | `_protected_history/`、`trash/`＋删除清单、各模块 rollback 台账 | **长期 30 天** | 30 天内 ≥1 次真实回滚 |
+| **R4 判断收敛** | 确认档下**驳回率**（reject/edit ÷ 全部裁定）随时间下降 | `review decisions`（`review_cli stats`） | **长期 30 天**内取 3 个 10 天子窗 | 逐窗下降且 < 20% |
+
+**窗口口径（编排侧读法，偏差以使用者为准）**：**短期 3 天**＝"它最近还在不在行使判断"的**活性**读数（R2）；**长期 30 天**＝"判断有没有在变好、破坏是否可逆"的**能力与收敛**读数（R1/R3/R4）。
+
+- **升降档（裁定⑤）**：**升档＝计划式确认**（写计划 ＋ 使用者确认）；**降档＝自动执行**——读数跌破门槛即自动回落到变更确认档，并在启动面告警。
+- **读数即断言**：R1–R4 做成常驻断言（`conformance`/`census` 家族，只告警不改数据），随时可答"它今天够格吗"。
+
+## 八 与 issue #50 的关系：本设计的**前置**
+
+#50 复核在隔离沙箱实测到：用户消息通道上栅门的"半重复 → 待定复核"分支**结构性不可达**（重要性下限与外部来源权重基线恰好相等 ⇒ 恒过），实际退化成"精确重复丢弃 ＋ ≥0.85 合并，否则新增"。
+
+> **那条消失的 `DEFER`，正是"变更确认"这一档在用户通道上的实现体。**
+
+所以本设计有**两项前置**（属 #50 修复面）：
+① 让"半重复"不再依赖重要性判定（或让重要性下限严格高于来源基线）；
+② 保护线（≥0.70"不可遗忘"）只由**显式声明**取得，启发式不得自行签发。
+**在这两项落地前，变更确认档在用户通道上没有输入**——所有半重复都会直接变成新节点，队列里永远没有可确认的东西。
+
+### §八.1 实测更正（2026-10-01，改前基线 · 原判据被证伪）
+
+派发前按设计纪律做了**改前基线**（隔离沙箱写入后直读 frontmatter），结论是 §八 第②条**原判据不成立**，据实更正：
+
+| 输入 | 审计面 reason | 裁决用重要度 | 落盘 frontmatter |
+|---|---|---|---|
+| 用户消息 · 显式 0.6 | 重要度 0.60≥0.3 | 0.6（hint） | importance=0.6，protected=None |
+| 用户消息 · **不给** hint（全新） | **「重要度 0.84≥0.7（触发不可遗忘保护）」** | 0.837（启发式） | **importance=0.5，protected=None** |
+| 工具输出 · 不给 hint | **「重要度 0.71≥0.7（触发不可遗忘保护）」** | 0.711（启发式） | **importance=0.5，protected=None** |
+| 用户消息 · 显式 0.9 | 重要度 0.90≥0.7 | 0.9（hint） | **importance=0.9，protected=True** |
+
+1. **保护线实际只由显式声明取得**——启发式算出高分也**不落盘、不给保护**（落默认 0.5）。故「启发式自签保护」**不成立**，§八② 作废。
+2. 真正的缺陷换成了：**审计面文案会声称未发生的事**——启发式路径下 reason 写「触发不可遗忘保护」，而节点无保护位、重要度仍是默认 0.5；**裁决用的重要度与落盘记的重要度不同源**。属「汇报不实」，处置待使用者裁定（建议：文案只在真的落盘保护时出现；裁决用与落盘记的重要度同源或双记）。
+
+**§八 第①条不受影响**，仍为落码第 1 步。
+
+### §八.2 实测更正之二（2026-10-01 · 第①条落码后复核去向面）
+
+第①条（半重复 → DEFER）已落地并通过改前/改后对拍（3 行变 / 5 行不变 / 0 越界；对拍见修复报告），编排侧复核**去向面**时发现一处**必须在落码前解决**的空缺：
+
+- **遗忘闸门的 DEFER 没有复核入口**：`md_cg/mdcos.py:3717-3723` 对非 DROP 的裁决只写一行留痕（`node_id/layer/verdict/reason/importance/entropy/actor`，**不含正文**），**不调用任何入队入口**；对比 DROP 分支有 `forgetting.record_drop`（`mdcos.py:3702-3714`，留全文 ＋ trace_id）。**审核队列里的条目来自另一条链**——审计/策略闸（`writepipe.py:260/325` 的 `moved_to="review_queue"`），与遗忘闸门不是同一条路。
+- **后果**：第①条**单独**落地，会把半重复从「落成一个近似重复节点」改成「**不落盘、且正文不进队列**」——原文只留在会话/recent 时间线，而"待定复核"没有收件箱。**那等于把"噪声"缺陷换成"静默不记"缺陷**，正是本设计要消灭的那一类。
+- **对 §十三 的次序修正**：第①条**必须与「遗忘 DEFER → 复核队列」接线同批落地**，否则不得单独落。该接线填的正是 §四（裁定④"复用既有审核队列"）在这条路径上的空缺，且须自带守卫（DEFER 入队且带原文 / 裁定 accept 可落盘 / reject 不落盘 / 审计闸已入队的路径**不重复入队**）。
+- **附带（既有守卫的编码问题）**：`md_cg/test_writelimit.py:123-127`（E 节"knowledge 不聚合不限流"）把「半重复→ACCEPT」一并钉死在断言里，第①条落地后必然转红。经读码确认，该断言的**意图是层豁免**（限流器未介入），**编码**却依赖遗忘闸门的旧裁决——须按标题意图重写判据（改为「gate 里无 `limiter` 键」）并另加一条钉住新行为。**改的是断言编码，不是断言意图**，且须在提交信息里写明。
+
+### §八.3 落码登记（2026-10-01/02，三批 issue50-a/b/c 的裁定与结果）
+
+| 项 | 裁定 | 落点 |
+|---|---|---|
+| ① 半重复→DEFER | 已落 | `md_cg/forgetting.py` 分支④删重要度合取 |
+| 遗忘 DEFER→复核队列（带原文） | 已落（同批） | `md_cg/mdcos.py` DEFER 出口接 `propose`；限流 DEFER 不入队；payload_hash 幂等防重 |
+| E1 重编码 / **H 夹具** | 已落（断言意图不变） | `md_cg/test_writelimit.py` E 节判据换「gate 无 `limiter` 键」＋E2 钉新行为；H 节夹具改 `gated=False` 直造存量（四条断言一字未动） |
+| F1 元数据透传 | 已落（使用者裁定扩面） | DEFER 分支 `propose(…, **kw)` 透传 tags/condition_space/verification_basis/non_applicable_conditions/derived_from/relation；accept 回写走**既有映射通道**（`review_decide` 未改）；fm 逐键对拍白名单外差异=0 |
+| F2 `node_id=None` | 已落（使用者裁定收口） | 兜底 `forgetting._prefeed_id(content)`（内容派生），兜底事实写返回体 `proposed_id_fallback`（非静默） |
+| `defer_reason` 落 accept 后 fm | **使用者裁定接受**（登记） | 溯源语义：该节点曾因半重复待定、经确认落盘 |
+| 越权层 DEFER → `AccessDenied` | **使用者裁定接受**（登记） | 由「静默返回」改 fail-closed，仅发生在 DEFER 入队路径 |
+| 偶发红归因 | **定案，与本设计无关** | `scripts.test_utf8_boot_guard` 的 `E2E-HIVE-OK` c5 判据被**在役 serve 心跳**打假红（`_serve.json` 每 tick 改写＝`poll_ms` 默认 400ms，原子写＋伴生 `_serve.tmp<pid>`；早先转述的"每 ~20s"为采样伪影、已订正，心跳相位与采样周期耦合；最小复现 3 轮红 1）；修法＝`_pool_listing` 排除 `_serve*`（单点，判据强度不变），修后同型条件 3/3 绿 |
+| **issue50-d 重要度同源三件套** | **使用者裁定"做"（2026-10-02）** | ①落盘=裁决值＋fm 新增 `importance_source`（hint/heuristic，进索引条目）；②自动保护**只认显式声明**（启发式过线只落分不打位，`add()` 既有调用方零回归由 source 缺省 None 构造保证）；③保护分支文案按 `imp["from"]` 分叉。**F 组假设链验证（使用者"重要度↔因果推理"归因）**：主相关分 `_score` 不消费 importance，但终排破序（`-score,-importance,id`）、freshness 刷新档（≥0.7→+0.01）、兜底池序、RRF 破序、`_tier_of` 分层**都消费落盘值**——启发式恒落 0.5 使"重要度→排序→下游使用"链在**落盘点**断开；本批修复后该链接通。残余两项登记：`prefeed(write=True)` 同族第二落点未改；`protect.is_protected` 读面按分自动保护会把启发式 0.7x 认作"重要性保护"（保护语义面，待使用者裁定） |
+| **issue50-e 读面保护只认显式来源** | **使用者裁定"让读面也只认显式来源"（2026-10-02）** | 上表残余第二项收口：`protect.is_protected` 按分分支加**来源资格闸**——`imp >= AUTO_PROTECT_IMPORTANCE and (_src is None or _src == "hint")`。三条边界：①键缺省（None）＝存量节点（既有 `add(importance=…)` 直写、维护路径调分从未有该键）⇒按分保护**一字不变**（零回归，守卫 B 组锚定）；②`"hint"`＝显式声明⇒语义不变（写侧对 hint 过线本就打位，按分分支只是其无位形态兜底）；③`"heuristic"` 及其它显式来源⇒机器推断的分不构成不可遗忘依据。层保护/`fm.protected` 位/`is_immutable` 一律不动；扩散面（遗忘与搬迁闸、scrub 净化与 confidence 校准 skip、`stats.auto_by_importance` 盘点）同闸生效；启发式的软用途（落盘、排序、freshness 刷新、兜底池序）不受本闸影响。**使用者语义确认**：读面只信「有来源依据的判断」而非转述——本条即该语义在保护面的落地。守卫 53/53＋3 定点变异（heuristic 也认→11 红、缺省也判不认→10 红、来源闸整支删除→10 红） |
+
+
+## 九 可观测面（家长要的那一眼）
+
+三问做成一条只读读数（挂巡检，不动数据）：
+
+1. **它今天拒绝过吗**——`rejected/` 层新增数；
+2. **它不确定过吗**——`unresolved/` 层新增数 ＋ `_forgetting.jsonl` 中 `DEFER` 计数；
+3. **它改了什么、被确认过吗**——变更单台账（§四）的 生成/裁定/驳回/回滚 四个计数。
+
+## 十 不适用条件与边界（本稿**不做**的事）
+
+- 不做前端/插件 UI，不改 DSH 桥接，不动检索面读数（本设计不改任何打分与召回行为）。
+- **不解决跨进程互斥**：常驻循环按 `(根, 名字)` 进程内唯一，多实例并发是既有缺口，另项。
+- `_sleep.jsonl` 无轮转、断面裁剪不保留前像，均**另项**登记，不在本轮。
+- **不给"判断是否可信"贴 LLM 评分**：R1–R4 一律机检（可复算、可对拍），人只看读数。
+- 不改 `writelimit`（它是文档化设计，只在其**之后**加确认，不重排判据）。
+
+## 十一 验收判据（落码时）
+
+- 每档一只守卫（`md_cg/test_autonomy_modes.py` 类）＋ **定点变异自证**（注入"档位不生效"必红）；
+- **不动面对拍**：切档前后的**非破坏性动作**（A/E）逐位不变；
+- 回滚实测：每种破坏性动作各演一次"落 → 回滚 → 逐字节比对前像"；
+- 准入读数 R1–R4 各有独立断言与一组"门槛刚过/刚不过"的边界用例（含窗口边界：3 天 / 30 天各一条）。
+
+## 十二 裁定面（已并入 §〇.2）
+
+五条裁决点已全部签收，内容见 §〇.2；本稿据此冻结，后续变更走新版本号。
+
+## 十三 落码顺序（待使用者开工）
+
+1. **#50 前置其一：半重复 → DEFER**（§八①）**＋「遗忘 DEFER → 复核队列」接线**（§八.2）——**两者必须同批落**：单独落①会把"噪声"换成"静默不记"；同批另须按标题意图重编码 `test_writelimit.py` 的 E 节断言（§八.2 附带）；
+2. 档位**单一入口** ＋ 缺省 `confirm`（§三）；
+3. 变更单与**回滚原语通用化**（§四）；
+4. R1–R4 **断言与窗口**（§七）；
+5. 每档**守卫 ＋ 定点变异自证**、不动面对拍、回滚演练（§十一）。
+
+---
+
+**本稿的证据面全部来自仓内只读普查**（grep ＋ 读码，非测试文件），未写入任何数据、未改任何码。

package/docs//345/267/245/344/275/234/347/272/252/345/276/213_/350/256/244/347/237/245/345/233/276/346/235/241/347/233/256_v1.1.json

@@ -11,7 +11,7 @@
   "reject": []
  },
  "_comment": "identity负责端口分流; negative只否决明确域外; 无//注释(标准JSON)",
- "content": "工作纪律集: 4条方法论(理论先行/全面处理/白箱方法/根因) + 3条执行(验证/双副本/兜底) + 1条思考(中文思考/协作模式分级) + 1条保密(敏感信息隔离) + 3条图像线(选源护栏/历史查询优先/算法权威唯一) + 1条协作(访谈澄清:先问清再动手) + 1条合规(内容政策合规:公开产物过内容政策+隐私双清单) + 2条执行调度与运行环境(命令执行统一走python/UTF-8: 显式encoding+PYTHONUTF8=1, 规避GBK, 全仓文本与路径一律UTF-8(无BOM, 中文可进路径), 不做控制台兼容(取用走python); 任务派发统一走蜂巢: 任何执行性任务经蜂巢spawn/submit执行并留痕, agent本体只做编排, L1出口=产物落点为只读判定(不改仓库/外部状态)可直跑须留痕) + 1条记忆闭环(任务收尾归档:每次任务执行完只将核心修改(内容/原因/位置/验证结论)按CCG六要素(功能名/生效条件/子功能/执行/验证方式/不适用条件)成文存入灵枢记忆, 不写中间过程; text 类缺要素即被写入闸门拒并当场返回缺失清单) + 1条信息获取(工作区索引优先: 查工作区文件先读 WORKSPACE_INDEX.md(仓根, 由 scripts/workspace_index.py 从 git 追踪面管线生成), 尚无则先跑 --write 生成再读, 不以重复全盘浏览代替; 索引是会陈化的手工件, 故须管线生成+机械守卫, 否则退化为误导源)",
+ "content": "工作纪律集: 4条方法论(理论先行/全面处理/白箱方法/根因) + 3条执行(验证/双副本/兜底) + 1条思考(中文思考/协作模式分级) + 1条保密(敏感信息隔离) + 3条图像线(选源护栏/历史查询优先/算法权威唯一) + 1条协作(访谈澄清:先问清再动手) + 1条合规(内容政策合规:公开产物过内容政策+隐私双清单) + 2条执行调度与运行环境(命令执行统一走python/UTF-8: 显式encoding+PYTHONUTF8=1, 规避GBK, 全仓文本与路径一律UTF-8(无BOM, 中文可进路径), 不做控制台兼容(取用走python); 任务派发统一走蜂巢(zcode端的工作流工具为等效蜂巢工具——使用者2026-10-04裁定; 蜂巢功能完全完善之前可优先使用zcode工作流): 任何执行性任务经蜂巢spawn/submit执行并留痕, agent本体只做编排, L1出口=产物落点为只读判定(不改仓库/外部状态)可直跑须留痕) + 1条记忆闭环(任务收尾归档:每次任务执行完只将核心修改(内容/原因/位置/验证结论)按CCG六要素(功能名/生效条件/子功能/执行/验证方式/不适用条件)成文存入灵枢记忆, 不写中间过程; text 类缺要素即被写入闸门拒并当场返回缺失清单) + 1条信息获取(工作区索引优先: 查工作区文件先读 WORKSPACE_INDEX.md(仓根, 由 scripts/workspace_index.py 从 git 追踪面管线生成), 尚无则先跑 --write 生成再读, 不以重复全盘浏览代替; 索引是会陈化的手工件, 故须管线生成+机械守卫, 否则退化为误导源)",
  "execution": {
   "how": "按identity(端口)+任务类型路由到对应纪律"
  },
@@ -403,7 +403,7 @@
    {
     "id": "discipline_hive_dispatch",
     "semantic": "17.任务派发统一走蜂巢",
-    "content": "任何执行性任务(跑脚本/测试、批量处理、探索盘点、文本加工、多智能体协作)一律经蜂巢派发执行: agent本体只做编排(拆spec→submit/spawn→poll收result→汇总), 宿主自带subagent/team/Task不是等价通道. 原理: ①执行留痕(spec/status/result落盘可追溯, 会话结束不蒸发); ②统一调度面(worker池/心跳/超时强杀/kill/崩溃恢复); ③dogfooding(自家引擎高频实战打磨, 打破「宿主顺手→跳过→永不打磨」死循环); ④判定成本归零(无例外通道, 杜绝「以为只是探索」滑移). ⑤[2026-09-17 A+C修订] 新增L1出口: 判据外置为产物落点(非「任务简单」的主观感受)——不改仓库/外部状态的本地只读命令属L1直跑(须留痕), 改仓库/外部状态(写文件/git/推远端)必派发. 原理: 层级归属不可由执行者独占自我声明(智能论PROP-DECISION-LAYER-003分层原则第4条「层级归属可被验证单元复核」), 判据须机械可核、豁免须可见. ⑥[2026-09-17 使用者确认] L1留痕粒度=按任务(一个任务一条, 不逐命令逐行); L1层级归属的复核者=使用者+GitHub使用者(坐实分层原则第4条「复核者」位).",
+    "content": "任何执行性任务(跑脚本/测试、批量处理、探索盘点、文本加工、多智能体协作)一律经蜂巢派发执行: agent本体只做编排(拆spec→submit/spawn→poll收result→汇总), 宿主自带subagent/team/Task不是等价通道; zcode端的工作流工具为等效蜂巢工具(使用者2026-10-04裁定)——在蜂巢功能完全完善之前, zcode端可优先使用zcode工作流处理. 原理: ①执行留痕(spec/status/result落盘可追溯, 会话结束不蒸发); ②统一调度面(worker池/心跳/超时强杀/kill/崩溃恢复); ③dogfooding(自家引擎高频实战打磨, 打破「宿主顺手→跳过→永不打磨」死循环); ④判定成本归零(无例外通道, 杜绝「以为只是探索」滑移). ⑤[2026-09-17 A+C修订] 新增L1出口: 判据外置为产物落点(非「任务简单」的主观感受)——不改仓库/外部状态的本地只读命令属L1直跑(须留痕), 改仓库/外部状态(写文件/git/推远端)必派发. 原理: 层级归属不可由执行者独占自我声明(智能论PROP-DECISION-LAYER-003分层原则第4条「层级归属可被验证单元复核」), 判据须机械可核、豁免须可见. ⑥[2026-09-17 使用者确认] L1留痕粒度=按任务(一个任务一条, 不逐命令逐行); L1层级归属的复核者=使用者+GitHub使用者(坐实分层原则第4条「复核者」位).",
     "conditions": {
      "apply": [
       "执行性任务",
@@ -423,10 +423,10 @@
      ]
     },
     "execution": {
-     "how": "任务→按产物落点判据定层级(不改仓库/外部状态的只读判定=L1直跑并按任务留痕一条(复核者=使用者+GitHub使用者); 改状态=必派发, 不得自我豁免)→拆spec(LLM委托型=默认exec.py: model+user_prompt+context_files; 确定性执行=自定义worker, 契约「读spec.json写result.json」)→hive_spawn/CLI submit→poll→汇总; 兜底情形须声明「蜂巢不可用, 兜底降级」"
+     "how": "任务→按产物落点判据定层级(不改仓库/外部状态的只读判定=L1直跑并按任务留痕一条(复核者=使用者+GitHub使用者); 改状态=必派发, 不得自我豁免)→拆spec(LLM委托型=默认exec.py: model+user_prompt+context_files; 确定性执行=自定义worker, 契约「读spec.json写result.json」)→hive_spawn/CLI submit(zcode端: 工作流工具为等效蜂巢工具——使用者2026-10-04裁定; 蜂巢功能完全完善之前, zcode端可优先使用zcode工作流处理; 留痕以工作流脚本与运行记录为凭)→poll→汇总; 兜底情形须声明「蜂巢不可用, 兜底降级」"
     },
     "response": {
-     "direct": "按工作纪律第17条: 任务派发统一走蜂巢——任何执行性任务经蜂巢 spawn/submit 执行并留痕(spec/status/result), agent本体只做编排; 宿主自带subagent/team不是等价通道, 兜底须声明。L1只读判定(产物落点=不改仓库/外部状态)可直跑, 须输出「L1 直跑：<命令> — 风险/频次/可逆性」留痕。"
+     "direct": "按工作纪律第17条: 任务派发统一走蜂巢——任何执行性任务经蜂巢 spawn/submit 执行并留痕(spec/status/result), agent本体只做编排; 宿主自带subagent/team不是等价通道(zcode端的工作流工具为等效蜂巢工具——使用者2026-10-04裁定; 蜂巢功能完全完善之前, zcode端可优先使用zcode工作流处理), 兜底须声明。L1只读判定(产物落点=不改仓库/外部状态)可直跑, 须输出「L1 直跑：<命令> — 风险/频次/可逆性」留痕。"
     }
    },
    {