@a9i5k4/dsh-auto-memory 2.5.3 → 3.0.1

package/docs/internal/ISSUE9-RESIDUAL-FORENSICS-20260919.md

@@ -0,0 +1,114 @@
+# ⑨ 漏网追加取证（2026-09-19 22:40 · 真机实测）
+
+> **性质**：⑨ 修复后**新产生**的脏数据。不是存量，是**活的漏网证据**。
+> **发现方式**：用户截图「技能审批队列 (5)」，主代理实测宿主内存发现数字**真的回到了 5**。
+
+---
+
+## 0. 实测数据（`GET /api/dsh-auto-memory-pre/memory-hub`）
+
+| 指标 | ⑨ 清理后（20:15） | **现在（22:40）** |
+|---|---|---|
+| `procedures.size` | 12 | **14** |
+| `pipeline`（会进注入路径） | **3** | **5** |
+| `active` | 1 | 1 |
+
+**pipeline 逐条**（`obs=True` 即 `observationOnly`）：
+
+```
+[observed] 让我自己去试吧。现在是什么情况？              obs=True   ← 旧（真人文本）
+[observed] 开始实施                                      obs=True   ← 旧（真人文本）
+[observed] 开始实施,实施完给我准确的报告保证我能看懂      obs=True   ← 旧（真人文本）
+[observed] Source: me                                    obs=True   ← ★ 新漏网
+[observed] Reference: ## 2026-09-18 - dsh-auto-memo       obs=True   ← ★ 新漏网
+```
+
+**⇒ ⑨ 修好的判据挡住了 8 条存量，但挡不住这两个新形态。**
+
+---
+
+## 1. 根因：判据「太具体」——把「前缀」和「内容」绑死了
+
+⑨ 落地的 F3（`lib/intent-clean-safe-pre.js`）：
+
+```js
+const PLUGIN_TAIL_MARKER_RE = /^\[?Retrieved memory ref
+  |^Verify against the current user request
+  |^If a reference hints at what you need
+  |^Source:\s*mem_[0-9a-f]{32}      // ← ★ 问题在这
+  |^Reason:\s*fv2 lane=
+  |^Score:\s*[0-9.]+ \(rank \d+\/\d+\)/i
+```
+
+**`^Source:\s*mem_[0-9a-f]{32}`** —— 它要求 `Source:` **后面必须紧跟合法的 `mem_<32hex>`**。
+
+而漏网的这条是 **`Source: me`**：
+- `Source:` 后面不是 `mem_<32hex>`
+- ⇒ **判据不匹配 ⇒ 放行**
+
+**同理**：`Reference: ## 2026-09-18 - dsh-auto-memo` —— F3 里**根本没有 `^Reference:` 这一条**
+（只有 `^\[?Retrieved memory ref`，那是召回块的**首行**，不是 `Reference:` 行）。
+
+---
+
+## 2. ★ 这两条是怎么产生的（推断，附证据方向）
+
+**推断（基于形态）**：它们来自**召回块被截断后的残片**。
+召回块的完整形态包含 `Source: mem_<32hex> / <scope> / v<n> / <digest>` 与 `Reference: <正文片段>` 两类行。
+当这些行**作为 intent 的一部分被截断**（`slice(0, 40)`，见 `memory-hub-pre.js:155`）时：
+
+- `Source: mem_abc123...` 被截 → `Source: me`
+- `Reference: ## 2026-09-18 - dsh-auto-memo...` 被截 → 标题即截断结果
+
+**⇒ 截断让「内容判据」失效**，但**前缀 `Source:` / `Reference:` 仍然完好**。
+
+**关键教训（与 ⑨ 的 F3 设计初衷直接冲突）**：
+> ⑨ 的注释里明写「**判据是族（family）+ 形状，不是整句前缀** ⇒ 框架换措辞仍能被同一个族覆盖」。
+> **但 F3 的实际实现把「前缀」和「后缀内容」绑死了** ⇒ 一旦被截断，就漏。
+> **这正是 ⑨ 自己批评过的错误模式，在 F3 上复发了一次。**
+
+---
+
+## 3. 修法（**尚未动手，待与 ⑩ 一并处理**）
+
+**方向**：F3 应改为 **「前缀即判据」**，不要求后缀形态：
+
+```js
+// 现状（过严，被截断即漏）
+|^Source:\s*mem_[0-9a-f]{32}
+
+// 应为（前缀族，后缀不约束）
+|^Source:\s*\S          // 或更严格：^Source:\s*(mem_|me\b|epi_|session)
+|^Reference:\s*\S      // ← 新增，F3 目前完全没有这一条
+```
+
+**⚠️ 必须同时守住误伤边界**（⑨ 套件 [4] 组守的就是这条）：
+- 「帮我看看 `[Retrieved memory reference]` 这个标记是干嘛的」**不得被删**
+- ⇒ 前缀判据必须**要求 `Source:`/`Reference:` 位于行首**（`^` 锚定保留），
+  且**不得**把正文里出现的普通 `Source:` 误判
+- ⇒ 建议**加 `\s*\S`（后面必须跟非空内容）**，避免把孤立的 `Source:` 也吞掉
+
+**验收要求**：
+1. 新增套件用例：`Source: me` / `Reference: ## 2026-09-18 - dsh-auto-memo` **必须被判脏**
+2. 反向用例：正文中的 `Source:` / `Reference:` **不得**被误删（沿用 ⑨ 套件 [4] 组口径）
+3. 变异演示真红
+4. 全量回归 0 失败
+
+---
+
+## 4. 与既有计划的关系
+
+| 项 | 关系 |
+|---|---|
+| **⑨** | **判定为「修得不完整」** ⇒ 需追加一轮 F3 判据修正（本文件即其取证） |
+| **⑩-a / ⑩-b** | **同源**：fact 分支同样未清洗 ⇒ 本次一并修 |
+| **存量 2 条新脏** | 与 ⑩-b 的「存量 3 条 fact」处置同源 ⇒ **同样走路 C（靠卫生门堵住）** |
+
+**⇒ 建议把「F3 前缀判据修正」并入 ⑩ 那一批一起做**，因为它们都在 `memory-hub-pre.js` 的同一条链路上。
+
+---
+
+## 5. 取证边界
+- 本文所有 `procedures.size / pipeline / title` 均为**实测**（`GET /api/dsh-auto-memory-pre/memory-hub`，2026-09-19 22:40）。
+- 「这两条来自召回块截断残片」为**推断**，依据是形态与 `memory-hub-pre.js:155` 的 `slice(0, 40)`；
+  未逐条回溯其 `sourceEpisodes` 确认。

package/docs/internal/KICKOFF-P0.md

@@ -0,0 +1,254 @@
+# 🚀 KICKOFF · P0 过夜托管运行（2026-09-14 深夜版）
+
+> **这份文件是给「接续后的新窗口」的第一份指令。**
+> 你是谁：接手 `dsh-auto-memory` 3.0 施工的 agent。**规划层已经全部封闭，不要重新规划、不要重新评审、不要问「我们从哪开始」。**
+> 你的任务：**按本文开工，过夜连续施工，在指定停点停下来汇报。**
+> 写这份文件的人（上一个窗口）已经把该定的都定了，该踩的坑都标了。**照做即可。**
+
+---
+
+## 0. 三十秒状态摘要
+
+- 项目：DSH 插件 `dsh-auto-memory`（宿主 `lib/index.js` + 浏览器 `lib/client.js` + 可选 python 引擎）。
+- **开发树就是活的宿主代码**（profile 以 `link:` 挂载）⇒ 你改的文件 = 用户下次重启后运行的代码。
+- 规划：三轮外部评审（GPT-6 Astra）走完，产出**《合并总纲 3.0》v2**（施工蓝本）。
+- 你的任务：**P0（注入边界 + 写入门 + 白板最小适配边界）**，然后 P6A。
+- 已知基线：全量 **79 套件 PASS / 0 FAIL / ≈149s**；`verify-todo-graph` 47 卡；doc-code 守卫 44/0。
+
+---
+
+## 1. 第一步：按顺序读这些（**绝对路径，别猜**）
+
+```
+D:\dsh-auto-memory\docs\internal\MASTER-PLAN-3.0.md
+  ← 【施工蓝本】先读 §0.5（v2 修订节）+ §4 Phase 0 + §6 交付纪律
+
+D:\dsh-auto-memory\docs\internal\reviews\ROUND3-REVIEW-INTEGRATION-20260914.md
+  ← 【最重要】第三轮复核的逐条核实与采纳记录：
+     你施工时要用的每一条 v2 修正、每个新增断言编号（T0-8B/T0-8C/T1-7B…）都在这里
+
+D:\dsh-auto-memory\docs\internal\MERGE-CONFLICT-SCAN-20260914.md
+  ← 矛盾扫描（为什么这么调和）
+
+D:\dsh-auto-memory\docs\internal\DECISIONS-20260914-SESSION.md
+  ← 用户 8 条裁决 + 三处被推翻的前提
+
+D:\dsh-auto-memory\docs\internal\WB-GRAPH-INTEGRATION-PLAN.md
+  ← 白板线方案（386 行）；P0 的「白板最小适配边界」要看 §2.2 判据表
+
+D:\dsh-auto-memory\docs\internal\WB-GRAPH-DECISIONS-20260914.md
+  ← 白板 15 个拍板点（本文 §4 已给出**预授权默认值**，不用等用户）
+
+D:\dsh-auto-memory\docs\internal\TODO-GRAPH.html
+  ← 项目管理看板（47 卡；用浏览器打开看更清楚，也可以只 grep 里面的卡）
+```
+
+**按需查（不要通读）**：`SEMANTIC-ARCHITECTURE-SPEC.md`（S1–S10）、`THREE-LAYER-CONTRACT.md`（I1–I7）、`RAG-KARPATHY-PROGRAM.md`。
+
+---
+
+## 2. 第二步：主动恢复上下文（用户明确要求）
+
+**接续流程会生成本窗口的转写包**，主动去找、去读：
+
+```powershell
+Get-ChildItem "$env:USERPROFILE\.dsh\memory\workspaces\--D--dsh-auto-memory--\handoff\prev-session-*.md" |
+  Sort-Object LastWriteTime -Descending | Select-Object -First 3 Name, Length, LastWriteTime
+```
+
+- 取**最新一份**读（约 70KB，**单条截断 2000 字符**，是上一个窗口的完整转写）。
+- 注意：DSH 原生会话是 `~/.dsh/sessions/--D-dsh-auto-memory--/<id>/session.v3.jsonl.zstd`（**zstd 压缩，read 工具读不了**）；`prev-session-*.md` 是插件解压后的可读版。
+- **同时调用 `memory_recall_pre`** 检索本机所有工作区记忆（含本项目的项目笔记与用户级规则）。**用户说「有些还有问题」，所以不要只信本文，也要自己搜。**
+
+---
+
+## 3. 第三步：立刻开工（按此顺序，不要跳）
+
+### 3.1 第一件事：修 C8（**不依赖任何决策，现在就能做，且已证明是真危害**）
+
+**事实**：`superseded` / `retracted` 状态的记忆条目**现在真的会进入注入文本**——违反契约不变式 **I5**（`THREE-LAYER-CONTRACT.md:183`：「非 `current` 的条目在**检索结果与注入内容两处**都被过滤」）。
+
+**证据**（已跑出，不是推测）：
+```powershell
+cd D:\dsh-auto-memory; node tools\_redproof\red-proof-phase0-t01.mjs
+# 当前输出：0 通过 / 4 报红，exit 1
+# 其中一条实测：4 条候选（2 current + 1 superseded + 1 retracted）全部进了注入文本
+```
+
+**你要做的**：
+1. 在**注入侧**加 `current` 过滤（检索侧已有——问题在注入侧）。落点候选：`lib/tier-layer-inject-pre.js` 的 `composeTieredInjectionPre` / `buildTier1SectionPre` 入参处，以及调用方 `lib/index.js`。
+2. **注意**：`tests/smoke/smoke-test-c5-tier-inject-pre.mjs:127/133/137` **把违反 I5 的现状锁成了「正确行为」**（`:133` 断言三条全留、`:137` 断言那条 superseded 带 0.55 分）。**这个测试必须改**——这是「断言锁死错误现状」的典型案例，改它时要留注释说明原因。
+3. 让 `red-proof-phase0-t01.mjs` **由红转绿**，然后**把它移进 `tests/smoke/`** 成为正式套件（命名建议 `smoke-test-i5-status-filter-pre.mjs`）。
+4. 跑全量，确认 79 套件仍全绿（**你改了一个断言与一个实现，套件数会变，允许变成 80**）。
+
+### 3.2 第二件事：T0-2 版本校验
+
+- 现行 `lib/index.js:3894` 的命中复用**只查时间**（`Date.now() - gh.at < 30*60000`）与 session，不查 `miv`。
+- 要改：`activation-host-pre.js` 的 `recordTierGateHits` 投影携带 `miv/contextVersion/observationId/requestKey`；复用前比对。
+- 断言：**T0-2**（A 快照产生候选、B 快照准备输出 ⇒ A 正文不得出现且必须带版本降级原因；A/B 混装即失败）。
+
+### 3.3 第三件事：T0-3 预算单一口径
+
+**两处实测缺陷**（已核过行号）：
+- `lib/tier-layer-inject-pre.js:327–335` —— 只裁下探段（`:329 lines.pop()` 只动 `drillParts`），`headParts`（目录 + 降级行）**从不动**；且 `:332–334` **在裁剪之后**又追加降级说明 ⇒ **最终长度可超 `maxTotal`**。
+- `lib/index.js:3986` —— `catalogCost` 被 `Math.min(..., budget*0.35)` 封顶，**封顶的是"扣账成本"**；实际注入用的是全文 `s.tier0LayerText`（`:3957`），**不参与 `used` 记账**。
+
+**v2 要求**：改为**分项账本**（仍由**同一个** `composeMemoryEnvelopePre` 生成）：
+```
+chars: { rules, memoryReferences, otherDynamic, total }
+limits: { memoryReferences, otherDynamic }
+```
+规则段、参考段、其他动态**分项计量**；标题/分隔符/降级说明**必须归入某个分项**，**不允许未计费尾巴**。
+
+### 3.4 第四件事：写入门 + 白板最小适配边界（**P0 必须与它一起做**）
+
+**为什么必须一起做**（v2 明确）：写入门要保护**卡片集合**与**用户区**，而这两个概念由白板格式定义 ⇒ **没有适配器就是「接口接上了但保护失效」**。
+
+**边界（v2 定的切法）**：
+- **3.0 拥有「共同提交与保护入口」**：拟新增 `lib/memory-mutation-pre.js` → `validateMutationBoundaryPre({beforeIds, afterIds, protectedRegions, changes})` —— **只接收规范化投影，不自行解释图格式**。
+- **白板线拥有「白板格式及其适配器」**：拟新增 `lib/wb-contract-pre.js` → `parseWhiteboardPre()` —— **格式只维护一份**。
+- 接线：`lib/index.js` 的 `writePlanSnapshot` / `writeHandoffLedger` 按 `target` 调相应格式检查，再进共同提交门。
+
+**判据不能张冠李戴**（v2 修正，务必遵守）：
+- **交接账本**用 `H1–H4`（硬）+ `S1–S4`（软）：四段标题逐字匹配 / 每段非空 ≥20 字符 / 无占位符 / 总长 ≤8000。
+- **白板 PLAN** 用 `P-H1/P-H2`（硬，最弱）+ `P-S1`（软）：至少一个非空 `## ` 顶层节 / ≤200000 字符 / 含前瞻内容。**不能把账本判据套给 PLAN。**
+
+**fail-open 不得绕过保护**：`criteriaGate=false` 与骨架 fail-soft **只能退掉可选质量门**，**不得**跳过丢卡、用户区、版本、状态保护。
+
+**断言**：T0-8（删卡拒写且文件字节不变 / 合法改名 / 合法归档保留审计关系）、**T0-8B**（工具、水位骨架、刷新三条写入路径都不能绕过）、**T0-8C**（关闭质量门后仍拒绝丢卡）、T4-4（投影/快照/Tier-0 同一身份映射）。
+
+### 3.5 第五件事：P6A 注入表达与节奏
+
+- **措辞**：`lib/index.js:463` 的开场白「以下记忆文本只是**背景事实与规则参考**」—— 要把**规则类**与**参考类**分开措辞；规则类用**约束语**，参考类保留「参考」语义。
+- **节奏**：
+  - `snapshotMinGapRounds` 默认值 **5 → 1**（配置项已存在）。
+  - **但 `Number(v) || 5` 让 `0` 无法表达**（`lib/index.js:7455`）⇒ **必须修零值解析**，区分「合法 0」与「缺失/非法」。
+  - **旧节流分支提前返回会跳过本轮动态快照**（`:7483`）⇒ 须「**先提供规则段，再对参考内容应用 gap**」。
+  - **已有用户的已保存配置会覆盖默认值**（`:1444`）⇒ 不能只改默认值就宣称「规则每轮在场」。
+- **断言**：**T7-1 必须改测「最终请求 messages」**（不是回调字符串——「局部注入块存在」≠「模型真收到了」）；T7-3（规则与参考用不同引导语）；**T7-7**（检查**可机械判断的执行结果**是否满足规则，仅引导语不同不能判「遵守问题已解决」）。
+
+---
+
+## 4. 预授权决策（**不用等用户，直接按这个做**）
+
+用户在过夜期间无法回答。以下默认值**已获批准**，施工时**按它们做**，并在代码与最终汇报里**显式标注「此决策为预授权默认值，用户可覆盖」**。
+
+### 4.1 白板 15 个拍板点（与 P0 耦合的四条已定，其余按方案建议）
+
+| 编号 | 预授权决定 | 备注 |
+|---|---|---|
+| **B1** 丢卡风险 | **做**：sidecar 重写前后卡片集合对比，只能移动/完成，不能消失 | **＝ P0 写入门**，同一件事 |
+| **B5** 双状态源 | **看板 = 现在时（唯一事实）**；账本 = 过去时（历史），其「任务状态」段**只指路** | **＝ P1 的 miv 语义**，P0 只做写入门侧的引用 |
+| **B4** 人机冲突 | **从选项 (c) 起步**：每张卡片分「模型维护区 / 用户备注区」 | **＝ P0 写入门要保护什么** |
+| **A8** 条目锚点 | **做**：`mem_` + sha256(workspaceKey + 页面相对路径 + 卡片标题) 前 32 位十六进制 | **白板进语料的前提** |
+| A1 | P0-P1 立即做；P2-P3 等后端冻结解除 | |
+| A2 | sidecar 位置 = `memoryRoot/<ws>/handoff/`（与现有 handoffDir 同目录） | |
+| A3 | 静态纪律**随下一版一次性更新** | 代价：全量会话一次缓存重建 |
+| A4 | 工具命名 = `memory_expand_pre` / `memory_trace_pre`（对齐 `*_pre` 惯例） | 对外契约，发布后难改 |
+| A5 | P0-P1 进 2.6.0；P2-P3 进 2.7.x | |
+| A6 | 水位骨架硬判据失败策略 = **照写 + 警示行** | 优先保证接续材料存在 |
+| A7 | PLAN 判据**维持自由节名** + 最弱硬判据 P-H1 | 固定小节集会削弱老化机制 |
+| B2 | 列顺序约定 + 完成卡归档；P7 老化升级为**列感知** | |
+| B3 | 卡片带接续链 `contSeq` 时间轴；僵尸卡注入时打过期标记 | 复用现有 `cont-seq.json` |
+| B6 | 卡带接续链标记，新窗口只展开自己链 | |
+| B7 | **先试点两周**再定 P1/P2 交互方案 | |
+
+### 4.2 施工纪律（用户已裁定，不要问）
+
+- **新旧并存 + 开关回退**：每个新路径一个配置开关，**默认关**。
+- **每阶段必须有回滚动作**；没有回滚的阶段**不许开工**。
+- **改动点写到 `文件:函数名`**。
+- **新增守卫必须演示变红后再按字节还原**（本项目已被「源码接线守卫 ≠ 行为断言」咬过三次）。
+- **上游同步冻结**：**不主动开 PR、不 push、不 commit**（用户明确「修复在开发端就行」）。
+
+---
+
+## 5. 🛑 停点清单（**到这些地方必须停下来问用户，不许自行决定**）
+
+1. **改动会破坏现有行为且无法用开关回退** —— 立即停，先报告。
+2. **需要改契约 / 规范条款本体**（`S1–S10` / `I1–I7` / `WB-FORMAT-CONVENTION`） —— **只能引用不能重写**，确需修改先提案。
+3. **全量回归无法回到全绿** —— 停下来，报告「哪个套件红了、卡在哪一步、你试了什么」，**不要为了让它绿而删断言**。
+4. **需要动 `~/.dsh/` 下的配置或宿主进程** —— 一律先问（**严禁 `Get-Process node | Stop-Process`**，曾杀穿 harness；宿主重启永远由用户自己做）。
+5. **要动超过 3 个文件的重构** —— 先问范围。
+6. **P0 全部做完** —— 停下来做一次完整汇报（见 §7），等待用户与 GPT 验收。
+7. **遇到本文与 `MASTER-PLAN-3.0.md` / `ROUND3-REVIEW-INTEGRATION` 冲突** —— 以那两份为准，并把冲突写进汇报。
+
+---
+
+## 6. 📝 记忆与注释纪律（**用户明确要求：多写记忆、多写注释**）
+
+### 6.1 写记忆（跨窗口续命的关键）
+
+> **本会话可能过夜运行并中途压缩。压缩会吃掉你的思考过程，但吃不掉你写进文件的结论。**
+
+| 时机 | 动作 |
+|---|---|
+| **每完成一个小步**（一个函数改完、一个断言转绿） | 调 `memory_log_pre` 追加一条（记：做了什么、结果、行号） |
+| **每得出一个跨会话有用的结论**（口径、约定、踩坑） | 调 `memory_note_pre`（`kind=note`）写进项目笔记 |
+| **方向变化 / 阶段完成** | 调 `memory_note_pre`（`kind=handoff`）写四段式交接账本 |
+| **对项目全貌理解有实质变化** | 调 `memory_note_pre`（`kind=plan`）重写白板 |
+
+**日志纪律**：客观陈述（第三人称中性句式），**只留可复用的事实/决策/规则/路径**，不写「我考虑/我排查」这类思考腔。
+
+### 6.2 写运行日志（**这是你被压缩后的救命绳**）
+
+**新建并持续追加**：`D:\dsh-auto-memory\docs\internal\RUN-P0-NIGHTLY.md`
+
+每完成一步就追加一段：
+```markdown
+## [HH:MM] 步骤名
+- 目标：
+- 改了：文件:函数名
+- 结果：断言 X 由红转绿 / 全量 N 套件 0 失败
+- 卡住：无 / 具体卡点
+- 下一步：
+```
+**理由**：压缩后你只剩摘要，但这份文件在磁盘上，**你随时可以重读它恢复进度**。
+
+### 6.3 写代码注释（本项目已有的风格，务必遵守）
+
+- **中文注释，解释「为什么」而不是「做了什么」**（代码已经说明做了什么）。
+- **踩过的坑必须写进注释**，格式参考现有代码：写清「旧实现是什么 / 为什么错 / 实测证据」。
+- 参考风格：`lib/index.js:1981-1991`（解耦那段）、`lib/client.js` 里 `configOf` 那段。
+- **改动过测试断言时**，在断言旁注明为什么改（例：「原断言锁定了违反 I5 的现状，见 red-proof」）。
+
+---
+
+## 7. ✅ 完成判据（什么叫「今晚跑完了」）
+
+**至少满足**：
+1. C8 修复完成：`red-proof-phase0-t01.mjs` 4/4 转绿，且已移入 `tests/smoke/`。
+2. T0-2、T0-3 实现并各有**能红的**断言。
+3. 写入门 + 白板最小适配边界完成（`memory-mutation-pre.js` + `wb-contract-pre.js` 的 P0 部分）。
+4. **全量 `node tools/run-smoke.mjs` 全绿**（套件数允许增加）。
+5. `RUN-P0-NIGHTLY.md` 完整记录每一步。
+6. 最终汇报（见下）。
+
+**最终汇报必须包含**（给用户拿去喂 GPT 验收）：
+- 改动的文件清单（`文件:函数名`）
+- 每条新断言的**编号 + 现状（绿/红/未做）+ 它证明什么**
+- **实测数据**（跑了几次、耗时、套件数变化）
+- **回滚方法**（关哪个开关、还原哪个文件）
+- **未完成项与原因**
+- **预授权默认值的实际使用情况**（哪些用了、哪些你觉得该改）
+- **你认为最值得让 GPT 审的三个点**
+
+---
+
+## 8. ⛔ 安全红线（过夜期间绝不可越过）
+
+1. **严禁** `Get-Process node | Stop-Process` 或任何重启/关闭宿主进程的操作（**曾杀穿一次 harness**）。
+2. **严禁** `git commit` / `push` / `checkout` / `stash` / `reset`（约 98 个未提交文件是用户的工作状态）。
+3. **严禁**改 `~/.dsh/` 下的任何配置（除非用户当场同意）。
+4. **严禁**为了让测试变绿而**删除或弱化**既有断言。
+5. **严禁**在没有开关的情况下改掉正在生效的默认行为（开发树 = 活代码）。
+6. 写任何文件**严禁 BOM**；`lib/index.js` 与 `lib/client.js` 是 **CRLF**，`lib/*-pre.js` 与测试是 **LF** —— 改完做字节探测。
+7. **HTML/JS 字符串内禁用 ASCII 双引号**（用「」）—— 已有一次因此渲染报错的记录。
+
+---
+
+## 9. 现在就动手
+
+第一件事：**跑 `node tools\_redproof\red-proof-phase0-t01.mjs` 看它报红**，然后开始修 C8。
+
+不要重新规划。不要问「从哪里开始」。**本文就是答案。**

package/docs/internal/LESSON-TO-CANDIDATE-STATUS-20260919.md

@@ -0,0 +1,79 @@
+# ④ 教训 → 观察型候选 · 引擎侧可行性核查（2026-09-19）
+
+> 触发：按 `PRE-FRONTEND-CHECKLIST-20260919.md` 执行序推进 ④ 时的实施前核查。
+> 方法：`artifacts/_probe-lesson-candidate.mjs`（**13/13**，执行真实 store，假 io 内存态，绝不碰磁盘）。
+
+---
+
+## 1. 用户裁定（设计稿 §2.3 原话）
+
+> 「**教训**肯定得进 C 啊，它**不自动晋升**，但是**可以形成候选**，
+> 模型也可以**通过搜索搜索到**。因为教训那边，我现在自动注入的硬约束也是某种教训，
+> 把它**上升到了约束层面**。」
+
+⇒ 拆成**两条必须同时成立**的判据，加一条由设计稿推出的必然推论：
+
+| 编号 | 判据 | 含义 |
+|---|---|---|
+| **L-1** | **不自动晋升** | 候选不受 `promote()` 通道影响 |
+| **L-2** | **可被搜索到** | 候选可经 `query()` 取到 |
+| **L-3** | **不被注入**（推论） | 未晋升 ⇒ 不进 `activeProcedures()` ⇒ 不进 checklist |
+
+---
+
+## 2. 核查结论：**L-1 / L-2 / L-3 引擎侧已全部满足**
+
+`observationOnly:true` 这一机制**恰好就是**用户裁定的「不自动晋升的候选」形态：
+
+| 判据 | 实证（探针编号） | 结果 |
+|---|---|---|
+| L-1 | `L-1-2` 把证据拉到**远超门槛**（`distinctSessions:99, successCount:99`）仍 `decision:'keep'`；`L-1-3` 原因码为 `observation-only`；`L-1-4` `stage` 未变 `validated` | ✅ |
+| L-1（反证） | `L-1-5` **同等证据下普通候选确实晋升** ⇒ 隔离是**定向的**，不是"晋升通道整体坏掉" | ✅ |
+| L-2 | `L-2-1` `query({})` 返回全部（含观察行）；`L-2-2` **可按 title 子串搜到**；`L-2-3` 结果携带 `observationOnly` 供调用方区分；`L-2-4` 可按 stage 过滤 | ✅ |
+| L-3 | `L-3-1` 未 `active` ⇒ `renderChecklist()` 返回 `null`（**不会被注入**）；`L-3-2` `activeProcedures()` 为空 | ✅ |
+
+> `L-1-5` 是本核查**最关键的一条**：只验"观察行不晋升"会与"引擎完全坏掉"不可区分（假绿）。加上反证才证明隔离是有效的。
+
+---
+
+## 3. ★ 真缺口：缺的是**生产者**，不是引擎
+
+**探针 `L-4-1` 实测：全仓零处**把 `retracted` 条目派生成 procedure 候选。
+
+现有 `retracted` 的消费点**只有一个**，且是 R4-A 刚落的**检索侧呈现标记**（`L-4-2`）：
+
+```
+lib/l0-extract-pre.js  L0_RETRACTED_MARK_PRE_V1  →  ⚠已撤回（原因：…；更正见 mem_…）
+```
+
+⇒ **缺口定位**：`retracted 教训` →（**缺失的生产者**）→ `observationOnly` 候选
+→（已有）可检索／不晋升／不注入。
+
+**引擎侧什么都不用改** —— 只需要一个**生产者**，把 `status:'retracted'` 的条目转成 `observe()` 的入参。
+
+---
+
+## 4. ⚠️ 但本项**不应由 agent 自行实现**
+
+用户在 **2026-09-13** 明确（ZCode 项目记忆留档）:
+
+> 「**任何 procedure 记忆引擎改动必须等用户拍板整体方案，别顺手修**」
+> 「之前提议的两个小改点……已并入这次统一重构，**不单独做（动了也是白改）**」
+
+而「加一个 retracted → 候选 的生产者」**正是 procedure 记忆引擎的功能改动**。
+
+⇒ **本项的处置与 ③ 完全一致**：核查完成，**实现权交用户**。
+
+---
+
+## 5. 建议（不自行决定）
+
+1. **④ 从「待立项」改为「引擎已就绪，待批复」** —— 前置条件（L-1/L-2/L-3）已实测满足，剩下的是**要不要加生产者**的决策。
+2. 若批准，最小实现是：一处 `retracted` 扫描 → 构造 `{observationOnly:true, sourceEpisodes:[...], steps:['观察任务：<reason>']}` → `observe()`。
+   - **零引擎改动**（复用现有 `observe` + `observationOnly` 语义）
+   - **可被现有套件保护**（`promote()` 短路、`query()` 通路已有断言）
+3. 与 ③ 的 **H-1**（上游是否真产富候选）**合并观测**：两者都在问「procedure 层的真实数据流量是多少」。若上游长期为空，先修 H-1 更有价值。
+
+> ⚠️ 本项的**依赖链**：④ 的生产者若落地，会让 `procedures.json` 里出现大量 `observationOnly` 行 ——
+> 而 `procedurePromotionEnabled` 目前**出厂 false**（③ H-2），故**不会**因此产生任何注入副作用。
+> ⇒ ④ 与 ③ 是**同一条决策链**上的两环，宜一并拍板。