dsh-log-contract 0.3.13 → 0.3.15

package/lib/contracts.js

@@ -4,8 +4,8 @@
  * DSH 会话日志契约规则目录（spec）。
  *
  * 规则集来源：
- * - `dsh-scale-audit-疑点记录.md`（59 条契约发现 / F1–F7 / N1–N6 / R1–R3）
- * - `复盘-会话修复事故-20260825.md`（三层契约：持久化 / 客户端引擎 / 插件语义）
+ * - 早期契约审计发现（59 条 / F1–F7 / N1–N6 / R1–R3）
+ * - 会话修复事故复盘（三层契约：持久化 / 客户端引擎 / 插件语义）
  * - `@deepseek-ai/dsh-session@0.1.0-rc.7` 官方源码逐行核对（见每条 `source`）
  *
  * 每条规则只描述"契约是什么"；具体判定逻辑在 `lib/validate.js`（离线体检）
@@ -38,6 +38,29 @@ export const SEVERITY = { ERROR: 'error', WARNING: 'warning', INFO: 'info' };
  * - Z  zstd 帧结构
  * - G  迁移预检（migration gate，**独立维度**：官方迁移会不会拒；不进 ok/verdict）
  */
+/**
+ * R-F/R-D（2026-09-14 独立复核）——**机读的漂移/未复核标注**。
+ *
+ * 复核结论：规则的 `source` 大量停在 `@deepseek-ai/dsh-session@0.1.0-rc.7` 的行号上，
+ * 且其中 4 条（T2/P1/P2/C1）的**判定前提**在真宿主 0.1.5 上已不成立——此前**没有任何机制
+ * 能发现**（`source` 只是人读字符串）。这里把它们变成机读字段，并由 `check` 抬头点名。
+ */
+export const SOURCE_DRIFT = Object.freeze({
+  /** 出处停在 rc.7 行号、未在 0.1.5 上复核（复核报告 §1 已给清单）。 */
+  drifted: Object.freeze(['T2', 'P1', 'P2', 'C1', 'I1', 'G3', 'R2', 'R3', 'E5', 'E6']),
+  /**
+   * **判定前提在 0.1.5 上不成立/无法判定**（复核 §1）：
+   * T2 token-meter 已改从 `event.data.stream` 重建（无 sourceEventSeqs/无 belongs to another step）；
+   * P1/P2 载体已换成 `user/message + data.id`（无 data.editor）；C1 前提"无会话级排他锁"被
+   * `session.lock` flock 租约证伪；T3/T4 半步需真机实验。⇒ 这些规则的结论**不可单独采信**。
+   */
+  premiseStale: Object.freeze(['T2', 'P1', 'P2', 'C1']),
+  /** 复核明确"无法判定"、需要真机实验的条目（列出来是为了不假装覆盖）。 */
+  undecidable: Object.freeze(['T3', 'T4']),
+  note: '出处/前提漂移是**静默失真**：R-D 行为探针（lib/host-probes.js）负责机器可判的那部分，'
+    + '其余在此显式列出，结论抬头必须带漂移清单与未复核清单。',
+});
+
 export const CONTRACT_RULES = [
   // ── H · header ──────────────────────────────────────────────────────────
   {
@@ -68,6 +91,7 @@ export const CONTRACT_RULES = [
   },
   {
     id: 'R2',
+    sourceVerified: false,
     title: 'chunk 行必须满足精确信封形状',
     layer: LAYER.PERSISTENCE,
     severity: SEVERITY.ERROR,
@@ -76,6 +100,7 @@ export const CONTRACT_RULES = [
   },
   {
     id: 'R3',
+    sourceVerified: false,
     title: 'chunk 行展开后成员 seq/time 安全',
     layer: LAYER.PERSISTENCE,
     severity: SEVERITY.ERROR,
@@ -105,15 +130,16 @@ export const CONTRACT_RULES = [
     title: '文件物理序 seq 单调（多写入者交织现场特征）',
     layer: LAYER.PERSISTENCE,
     severity: SEVERITY.ERROR,
-    source: '2026-08-28 实锤：526f1835 文件物理序 734056→733539→735470；单进程 appendCore 断言 seq==cursor+i 且按 id 串行化不可能写出',
+    source: '2026-08-28 实锤（某真实会话）：文件物理序出现回退（大→小→更大）；单进程 appendCore 断言 seq==cursor+i 且按 id 串行化不可能写出',
     description: '按文件物理行序要求展开后事件 seq 严格单调递增。E2 在排序后检查（loadSessionLog 会 sort），物理序倒退被掩盖；S9 在排序前按行序检查，非单调 = 多写入者/旧光标回放交织的直接现场证据，加载会被拒。',
   },
   {
     id: 'I1',
+    sourceVerified: false,
     title: 'inbox seed 相对重放（fork 边界孤儿 spliced）',
     layer: LAYER.ENGINE,
     severity: SEVERITY.ERROR,
-    source: '@deepseek-ai/dsh-agent lib/types/inbox.js:155-178 (apply/validate)；2026-08-28 实锤：62c5b531/73ed35d8 fork 边界 removedCount=1 孤儿',
+    source: '@deepseek-ai/dsh-agent lib/types/inbox.js:155-178 (apply/validate)；2026-08-28 实锤（某两个真实会话）：fork 边界 removedCount=1 孤儿',
     description: '从 header.seedLength 起重放 agent/inbox/spliced，next-turn/next-step 双队列；start+removedCount 不得超过队列长、不得产生重复 pending id。fork 时"移除父待处理提示词"的 splice 假设父会话 inbox，子会话 seed 相对空 inbox 上非法 → resume 被拒（invalid persisted inbox splice）。',
   },
   {
@@ -134,14 +160,16 @@ export const CONTRACT_RULES = [
   },
   {
     id: 'E5',
+    sourceVerified: false,
     title: '禁用遗留词汇',
     layer: LAYER.PERSISTENCE,
     severity: SEVERITY.ERROR,
     source: '@deepseek-ai/dsh-session lib/index.js:1273-1277 (assertSupportedRequestHeader)',
-    description: 'request/header-delta 与 reason=fallback 的 request/header 是已删除的遗留格式，写入即被拒。',
+    description: 'request/header-delta 与 reason=fallback 的 request/header 是已删除的遗留格式。注意（R-F 订正复核 §1 E5）：宿主 Session.append/appendLines 不看 type ⇒ 写入会成功、下一次读取才炸（依据 dsh-session@0.1.5-rc.1 lib/index.js:1170-1210 / persistence-jsonl:3046-3073），不是写入即被拒。',
   },
   {
     id: 'E6',
+    sourceVerified: false,
     title: '消息类事件消息形状',
     layer: LAYER.PERSISTENCE,
     severity: SEVERITY.ERROR,
@@ -225,50 +253,83 @@ export const CONTRACT_RULES = [
   },
   {
     id: 'T2',
+    premiseStale: true,
+    sourceVerified: false,
     title: 'token-meter 源引用：assistant/message 的 sourceEventSeqs 引用的 chunk 必须同 turn/step',
     layer: LAYER.ENGINE,
     severity: SEVERITY.ERROR,
     source: '@deepseek-ai/dsh-token-meter lib/index.js:634-650 (_estimateProviderAssistant，:645 belongs to another step)',
-    description: 'token meter 重建 provider 输出时，逐条检查 assistant/message 的 sourceEventSeqs：指向 assistant/chunk 的引用必须与消息同 turn/step，且 seq 更早、不重复；跨 step 引用 → 官方抛 belongs to another step → 每次事件追加都重抛（consumedEvents 不前进）→ 刷屏压垮 host（2026-08-30 实测 526f1835 seq 936047 跨 step 7/8/9）。T1 只查 step 配对不查源引用，此条补盲区；修复用 fix --clip-crossstep。',
+    description: 'token meter 重建 provider 输出时，逐条检查 assistant/message 的 sourceEventSeqs：指向 assistant/chunk 的引用必须与消息同 turn/step，且 seq 更早、不重复；跨 step 引用 → 官方抛 belongs to another step → 每次事件追加都重抛（consumedEvents 不前进）→ 刷屏压垮 host（2026-08-30 实测：某真实会话的 chunk 源引用跨 step 7/8/9）。T1 只查 step 配对不查源引用，此条补盲区；修复用 fix --clip-crossstep。',
   },
   {
     id: 'T3',
     title: 'step 节点 key 唯一（同 turn 内 step/start 的 step 号不得复用）',
     layer: LAYER.ENGINE,
     severity: SEVERITY.ERROR,
-    source: '复盘 2026-09-02 1e99e1ff 白屏（修复线 session-3f9e4f12）：客户端渲染节点 key = turn:step，冲突 → React 渲染死循环；工具 tools/check-step-keys.mjs',
-    description: '客户端渲染消息列表从事件流构建节点，节点 key = data.turn:data.step。同 turn 内两个 step/start 的 step 号相同 → key 冲突 → React 渲染死循环 → 白屏/不展示（1e99e1ff：580034 step 95/1 vs 580037 编辑块 step 95/1；6924781d/97786207/4b149a4a 同型）。修复：同 turn 内 step 递增、整块重编号（含块内 chunk/tool/assistant）。',
+    source: '复盘 2026-09-02 渲染层白屏事故：客户端渲染节点 key = turn:step，冲突 → React 渲染死循环（由离线自查脚本判出）',
+    description: '客户端渲染消息列表从事件流构建节点，节点 key = data.turn:data.step。同 turn 内两个 step/start 的 step 号相同 → key 冲突 → React 渲染死循环 → 白屏/不展示（实测：同一 turn 内两个 step/start 复用 step 95/1，一个来自正常轮、一个来自编辑块；后续全量扫描又发现多个同型冲突）。修复：同 turn 内 step 递增、整块重编号（含块内 chunk/tool/assistant）。',
   },
   {
     id: 'T4',
     title: 'step/消息本体 turn 缺失（null/undefined）→ 渲染死循环',
     layer: LAYER.ENGINE,
     severity: SEVERITY.ERROR,
-    source: '复盘 D8 1e99e1ff（2026-09-01）：retrace 0.4.17 编辑块 turn:null；修复线 tools/check-null-turn.mjs 判致命',
-    description: '客户端渲染状态机对 turn=null 的 step/start|step/end|assistant/message 无法归属任何 turn → 渲染死循环 → 白屏「载入历史」（1e99e1ff seq 580037-580039）。user/message 天然无 turn 不查；chunk 坐标可缺失不查。step/消息本体必须带真实 turn 号。',
+    source: '复盘 2026-09-01 D8 事故：retrace 0.4.17 编辑块 turn:null（离线自查脚本判致命）',
+    description: '客户端渲染状态机对 turn=null 的 step/start|step/end|assistant/message 无法归属任何 turn → 渲染死循环 → 白屏「载入历史」（实测：编辑块的 step/start + marker + step/end 连续若干行 turn 全为 null）。user/message 天然无 turn 不查；chunk 坐标可缺失不查。step/消息本体必须带真实 turn 号。',
   },
   {
     id: 'T5',
     title: 'turn/end 必须带 data.reason.kind',
     layer: LAYER.ENGINE,
     severity: SEVERITY.ERROR,
-    source: '官方 dsh-agent-loop lib/index.js:620（turn/end = {turn, reason:{kind}}）；1f4d986e malformed turn/end 事故（2026-09-02，修复线 check-turn-end-reason.mjs）',
-    description: '官方 validation 强制 turn/end 的 data.reason.kind 存在（kind ∈ completed|max-tokens|blocked|aborted|error|interrupted）。缺失 = malformed → 官方 SessionPersistenceCorruptionError → 会话加载失败。1f4d986e：retrace 情形③信封 turn/end 漏 reason → 每次编辑后加载失败（已修 0.4.18）。',
+    source: '官方 dsh-agent-loop lib/index.js:620（turn/end = {turn, reason:{kind}}）；malformed turn/end 事故（2026-09-02，由离线自查脚本判出）',
+    description: '官方 validation 强制 turn/end 的 data.reason.kind 存在（kind ∈ completed|max-tokens|blocked|aborted|error|interrupted）。缺失 = malformed → 官方 SessionPersistenceCorruptionError → 会话加载失败。实测：retrace 情形③信封 turn/end 漏 reason → 每次编辑后加载失败（已修 0.4.18）。',
   },
   {
     id: 'E7',
     title: 'ignorable 未知 type 合法性（带被忽略标记的未知事件须有消费者）',
     layer: LAYER.PERSISTENCE,
     severity: SEVERITY.WARNING,
-    source: '反向挑刺 2026-09-09 T2（E3 ignorable 无合法性校验 = 后门）',
+    source: '对抗性复查 2026-09-09 T2（E3 ignorable 无合法性校验 = 后门）',
     description: '未知 type + ignorable:true 被读路径接纳但无人消费 = 静默垃圾。排除已知消费者白名单（retrace/marker、retrace/goal-marker、message-editor/ 前缀等 retrace 客户端消费的插件 marker）后，其余 ignorable 未知事件报 warning。',
   },
+  {
+    id: 'E8',
+    title: '事件信封键白名单（多余键：seed/restore 路径会拒）',
+    layer: LAYER.PERSISTENCE,
+    // R-G 候选规则 + R-D 探针订正：宿主 `assertSessionEventEnvelope`（dsh-session@0.1.5-rc.1
+    // lib/index.js:849-861）确实拒多余键，但其**唯一调用点是 Session 构造器的 seed 路径**
+    // （:1063-1068）；JSONL **load 路径**（`adoptSessionEvent`）实测**容忍**（探针 p5 钉住）。
+    // 故本规则按 **warning** 报（不影响"可加载"，但该日志作为 seed/restore 输入会被拒）。
+    severity: SEVERITY.WARNING,
+    source: '@deepseek-ai/dsh-session@0.1.5-rc.1 lib/index.js:849-861（assertSessionEventEnvelope）+ :1063-1068（唯一调用点=seed 路径）；load 路径容忍见行为探针 p5',
+    description: '事件对象只允许 7 个信封键（type/seq/time/data/surfaceOp/sourceEventSeqs/ignorable）。独立复核变异 05 指出"宿主拒、旧契约 0 违规"；R-D 行为探针进一步订正口径：**load 路径容忍、seed/restore 路径拒** ⇒ warning。',
+    candidate: true,
+  },
+  {
+    id: 'E9',
+    title: 'system/message 必须带 plugin source',
+    layer: LAYER.PERSISTENCE,
+    severity: SEVERITY.ERROR,
+    source: '@deepseek-ai/dsh-session@0.1.5-rc.1 lib/index.js:942-944（"must have plugin source"）；角色表 :917-926',
+    description: 'v3 新增的 system/message：role 必须为 system，source.kind 必须为 plugin 且 plugin 非空。实测（变异 03）：source.kind=\'user\' 宿主拒、旧契约 0 违规 ⇒ 漏检。',
+    candidate: true,
+  },
+  {
+    id: 'E10',
+    title: 'request/header 的 data.header 字段约束',
+    layer: LAYER.PERSISTENCE,
+    severity: SEVERITY.ERROR,
+    source: '@deepseek-ai/dsh-session@0.1.5-rc.1 lib/index.js:231-248（validateSessionEventData：omit header.system / omit empty tools / omit empty adapterDefaults）',
+    description: 'request/header 必须省略 header.system（系统提示改走 system/message）、空 tools、空 adapterDefaults。实测（变异 12）：带 header.system 的写入宿主拒、旧契约 0 违规 ⇒ 漏检。',
+    candidate: true,
+  },
   {
     id: 'Z3',
     title: '空会话文件（有 header 无事件）显式报出',
     layer: LAYER.FRAMING,
     severity: SEVERITY.WARNING,
-    source: '反向挑刺 2026-09-09 T3（36 条规则全来自有内容事故,空态无覆盖）',
+    source: '对抗性复查 2026-09-09 T3（36 条规则全来自有内容事故,空态无覆盖）',
     description: '有 header 但零事件 = 异常空会话（新建即空或写入未落盘）。空态不在任何有内容规则的覆盖下,显式 warning 供人判断。',
   },
   {
@@ -276,7 +337,7 @@ export const CONTRACT_RULES = [
     title: 'tool/call ↔ tool/result 配对完整性（考古 B1）',
     layer: LAYER.PLUGIN,
     severity: SEVERITY.WARNING,
-    source: 'dsh-会话日志考古-插件任务与方法.md §2/§4.2（callId 配对，不可用"上一个 call"推断）',
+    source: '考古方法 §2/§4.2（callId 配对，不可用"上一个 call"推断）',
     description: '每个 tool/call 的 data.callId 必须能在 tool/result 的 data.message.source.callId 中找到配对；孤儿 call（无 result）告警——中断/失败轮次可能产生孤儿（合法但要审计），考古提取将缺该输出。',
   },
   {
@@ -284,7 +345,7 @@ export const CONTRACT_RULES = [
     title: 'tool/result 输出结构可解析（考古 B2）',
     layer: LAYER.PLUGIN,
     severity: SEVERITY.WARNING,
-    source: 'dsh-会话日志考古-插件任务与方法.md §2/§4.2（content 递归 text 结构）',
+    source: '考古方法 §2/§4.2（content 递归 text 结构）',
     description: 'tool/result 的 data.message.content 必须可递归解析（list[dict{type:text,text}] 或等价）；不可解析片段 = 考古提取将漏数据。空 content（失败/无输出）合法。',
   },
   // ── M · 客户端引擎层 ────────────────────────────────────────────────────
@@ -300,6 +361,8 @@ export const CONTRACT_RULES = [
   // ── P · 插件 marker 语义层 ──────────────────────────────────────────────
   {
     id: 'P1',
+    premiseStale: true,
+    sourceVerified: false,
     title: 'marker id 前缀必须被识别',
     layer: LAYER.PLUGIN,
     severity: SEVERITY.WARNING,
@@ -308,6 +371,8 @@ export const CONTRACT_RULES = [
   },
   {
     id: 'P2',
+    premiseStale: true,
+    sourceVerified: false,
     title: 'marker 自身 seq 不得出现在自身 shadowed 集',
     layer: LAYER.PLUGIN,
     severity: SEVERITY.ERROR,
@@ -318,6 +383,8 @@ export const CONTRACT_RULES = [
   // ── C · 并发 / 写入者假设 ───────────────────────────────────────────────
   {
     id: 'C1',
+    premiseStale: true,
+    sourceVerified: false,
     title: 'seq 缺口/倒退提示多写入者',
     layer: LAYER.CONCURRENCY,
     severity: SEVERITY.WARNING,
@@ -384,6 +451,7 @@ export const CONTRACT_RULES = [
   },
   {
     id: 'G3',
+    sourceVerified: false,
     title: '迁移预检：v0 源 session/title 系列的 messageSeqs 必须引用更早的人类 user/message',
     layer: LAYER.MIGRATION,
     severity: SEVERITY.WARNING,

package/lib/host-probes.js

@@ -0,0 +1,147 @@
+/**
+ * dsh-log-contract · lib/host-probes.js —— **行为探针**（漂移检测的正解）
+ * （2026-09-14 独立复核 §4 + 裁定 R-D）
+ *
+ * 为什么需要它（复核原话）：本包"承重墙建错了地方"——**委托宿主运行时函数**的判据基本正确，
+ * **作者手写镜像/自建模型**的判据成片出错，而 `hostPackageVersion()`/`hostCapability()`
+ * **只打印不门禁**、规则的 `source` 是**不可机读的字符串** ⇒ 本次 5 类失准**没有任何机制能发现**。
+ *
+ * 本模块的回答：**不靠人重读源码，靠宿主运行时自身当 oracle**。做法是自造**微型合成日志**
+ * 喂给宿主导出的 `foldSurface` / `adoptSessionEvent`（可选 `Session.create`），断言"宿主应当
+ * 这么判"，再把**本包规则的假设**与宿主实际行为逐条比对：
+ *   - 一致 → 该规则组 **VERIFIED**（在**当前宿主**上）；
+ *   - 不一致 → 该规则组标 **UNVERIFIED**，结论抬头显式点名，并提示**勿据此跑 `fix --apply`**。
+ *
+ * 探针只做**只读调用**（不写盘、不联网、不改任何文件）；任何异常都被收敛成"探针失败/跳过"，
+ * 不让漂移检测把工具本身弄崩。
+ */
+import {
+  adoptSessionEvent, foldSurface, isSurfaceEligibleType, KNOWN_SESSION_EVENT_TYPES, SESSION_FORMAT_VERSION,
+} from '@deepseek-ai/dsh-session';
+import { hostPackageVersion } from './vocab.js';
+
+/**
+ * 探针定义。每条:
+ *   `rules` = 该探针**背书**的规则 id（不一致时这些规则被标 UNVERIFIED）;
+ *   `expect` = 我们对宿主行为的期望（同时就是规则的假设）;
+ *   `run` = 用宿主真代码判定实际行为（返回 true=与期望一致）。
+ * 说明:断言只看"宿主收/拒"这一层语义（可用 `adoptSessionEvent` 与 `foldSurface` 观察），
+ * 不复制本包任何判定逻辑——否则又变成"自己给自己打分"。
+ */
+export const PROBES = [
+  {
+    id: 'p1-replace-v3-fields',
+    title: 'v3 replace 只认 {op,startSeq,endSeq}（旧 {start,end} 必须拒）',
+    rules: ['S1', 'S4'],
+    expect: 'v3 形状通过、rc.7 旧形状被拒',
+    run: () => {
+      const mk = (op) => ({ type: 'user/message', seq: 1, time: 1, surfaceOp: op, sourceEventSeqs: [0], data: { id: 'u1', role: 'user', source: { kind: 'user' }, content: [] } });
+      const base = [{ type: 'user/message', seq: 0, time: 0, surfaceOp: 'append', data: { id: 'u0', role: 'user', source: { kind: 'user' }, content: [] } }];
+      const modern = rejects(() => foldSurface([...base, mk({ op: 'replace', startSeq: 0, endSeq: 0 })]));
+      const legacy = rejects(() => foldSurface([...base, mk({ op: 'replace', start: 0, end: 0 })]));
+      return modern === false && legacy === true;
+    },
+  },
+  {
+    id: 'p2-assistant-message-provenance',
+    title: 'assistant/message 不得携带 sourceEventSeqs（v3 起）',
+    rules: ['S6', 'E4', 'S8'],
+    expect: '带 provenance 的 assistant/message 被拒',
+    run: () => rejects(() => adoptSessionEvent({
+      type: 'assistant/message', seq: 1, time: 1, surfaceOp: 'append', sourceEventSeqs: [0],
+      data: { turn: 0, step: 1, message: { id: 'a1', role: 'assistant', source: { kind: 'model', provider: 'p', model: 'm' }, content: [] } },
+    })) === true,
+  },
+  {
+    id: 'p3-system-message-plugin-source',
+    title: 'system/message 是 surface 类型且必须 plugin source（kind=user 必须拒）',
+    rules: ['E6', 'E9'],
+    expect: 'plugin source 通过；user source 被拒',
+    run: () => {
+      const eligible = isSurfaceEligibleType('system/message') === true;
+      const withPlugin = rejects(() => adoptSessionEvent({
+        type: 'system/message', seq: 0, time: 1, surfaceOp: 'append',
+        data: { turn: 0, step: 0, message: { id: 's0', role: 'system', source: { kind: 'plugin', plugin: 'p' }, content: [] } },
+      }));
+      const withUser = rejects(() => adoptSessionEvent({
+        type: 'system/message', seq: 0, time: 1, surfaceOp: 'append',
+        data: { turn: 0, step: 0, message: { id: 's0', role: 'system', source: { kind: 'user' }, content: [] } },
+      }));
+      return eligible && withPlugin === false && withUser === true;
+    },
+  },
+  {
+    id: 'p4-unknown-ignorable-opaque-metadata',
+    title: '未知 + ignorable 的 opaque 元数据被刻意容忍（S2 不得报 error）',
+    rules: ['S2'],
+    expect: '未知 ignorable + surfaceOp 被接受',
+    run: () => rejects(() => adoptSessionEvent({
+      type: 'future/thing', seq: 0, time: 1, ignorable: true, surfaceOp: 'append', data: { k: 1 },
+    })) === false,
+  },
+  {
+    id: 'p5-envelope-extra-keys-load-tolerant',
+    title: '信封多余键：load 路径(adoptSessionEvent)**容忍**，只在 seed 路径拒（E8 的口径）',
+    rules: ['E8'],
+    expect: 'adoptSessionEvent 不拒（宿主 load 路径容忍）',
+    // 这条探针**修正了一条规则的过度声称**（R-D 的价值实证）：
+    //   · 宿主 `assertSessionEventEnvelope`（dsh-session@0.1.5-rc.1 lib/index.js:849-861）确实拒多余键,
+    //     但它的**唯一调用点**是 Session 构造器的 **seed 路径**（:1063-1068）——不是 JSONL load 路径;
+    //   · load 路径（`adoptSessionEvent`）实测**容忍**多余键。
+    // ⇒ E8 从 error 降为 **warning**、口径限定为"seed/restore 会拒"（原判"写入即拒"是过度声称）。
+    run: () => rejects(() => adoptSessionEvent({
+      type: 'user/message', seq: 0, time: 1, surfaceOp: 'append', extra: 1,
+      data: { id: 'u0', role: 'user', source: { kind: 'user' }, content: [] },
+    })) === false,
+  },
+  {
+    id: 'p6-request-header-system',
+    title: 'request/header 必须省略 header.system（E10）',
+    rules: ['E10'],
+    expect: '带 header.system 的 request/header 被拒',
+    run: () => rejects(() => adoptSessionEvent({
+      type: 'request/header', seq: 0, time: 1, surfaceOp: 'append', data: { header: { system: 'x' } },
+    })) === true,
+  },
+];
+
+/** 宿主是否 **拒** 这次调用（true = 抛错/拒绝）。 */
+
+function rejects(fn) {
+  try {
+    fn();
+    return false;
+  } catch {
+    return true;
+  }
+}
+
+/**
+ * 跑全部探针。
+ * @returns {{hostPackage:string, sessionFormatVersion:number, knownTypes:number,
+ *   verified:boolean, probes:Array<{id,title,rules,expect,ok,error?}>, unverifiedRules:string[]}}
+ */
+export function runHostProbes(probes = PROBES) {
+  const results = [];
+  const unverified = new Set();
+  for (const probe of probes) {
+    let ok = false;
+    let error;
+    try {
+      ok = probe.run() === true;
+    } catch (err) {
+      ok = false;
+      error = String(err?.message ?? err).slice(0, 200);
+    }
+    results.push({ id: probe.id, title: probe.title, rules: probe.rules, expect: probe.expect, ok, ...(error ? { error } : {}) });
+    if (!ok) for (const r of probe.rules) unverified.add(r);
+  }
+  return {
+    hostPackage: hostPackageVersion(),
+    sessionFormatVersion: SESSION_FORMAT_VERSION,
+    knownTypes: KNOWN_SESSION_EVENT_TYPES.size,
+    verified: unverified.size === 0,
+    probes: results,
+    unverifiedRules: [...unverified].sort(),
+  };
+}

package/lib/index.js

@@ -10,5 +10,6 @@ export { createPreWriter, preWriterFromLog } from './prewrite.js';
 export { repairSession, strictScanText, removeMarkersText, neutralizeMarkersText, clipCrossStepSourcesText, dropFailedTurnsText, trimLastMessagesText, trimLastMessagesByBudget, estimateTokensText, compactLastMessagesText, rebuildZstdText, tailRenumberText, neutralizeOrphanText, extractTurnText, keepRangesText } from './repair.js';
 export { CONTRACT_RULES, LAYER, SEVERITY, ruleById } from './contracts.js';
 export { HOST_MAX_FILE_VERSION, hostPackageVersion, hostCapability, isAssessableFileVersion } from './vocab.js';
+export { TESTED_BASELINE, compareVersions, detectSupport, supportOfLog } from './version-support.js';
 export { tokenMeterViolations, tokenMeterSourceViolations, stepKeyViolations, nullTurnStepViolations, turnEndReasonViolations, ignorableTypeViolations, physicalOrderViolations, inboxReplayViolations } from './checks.js';
 export { auditToolCalls, extractText, extractToolOutputs, indexToolCalls, toolCommandOf } from './archaeology.js';

package/lib/log-reader.js

@@ -76,9 +76,21 @@ export function scanZstdFrames(buf) {
 }
 
 /** 把 zstd 多帧拼成完整明文；任一帧解码失败即抛错（N5 单帧全损语义）。 */
-export function decompressZstd(buf) {
+export function decompressZstd(buf, { allowTorn = true } = {}) {
   const { frames, torn } = scanZstdFrames(buf);
-  if (torn) throw new Error('zstd 尾帧撕裂（incomplete tail frame）——日志可能正在写入或已截断');
+  // ── R-B(2026-09-14 独立复核,误报 Z2)────────────────────────────────────
+  // 撕裂尾帧**不是**损坏:宿主 `dsh-session-persistence-jsonl@0.1.5-rc.1`
+  //   · `readZstdPrefix`（lib/index.js:2791-2849）——"Decode complete frames and retain
+  //     complete JSONL records from a torn final frame",恢复并返回 `tornTruncateTo`(:2847);
+  //   · 下次写入 `:226-228` 调 `truncateTornTail` 自动截断。
+  // 旧实现（本函数）对 torn 直接抛错 ⇒ `loadSessionLog` 返回 header=null/events=[]
+  // ⇒ `validate.js` 级联出 Z1(warning)+Z2(error)+H1(error)、verdict=broken —— 把宿主
+  // **本来能修**的"边写边读"健康态报成"会话坏了"。现在对齐宿主:解出全部**完整帧**,
+  // 尾帧未写完的部分丢弃,由调用方用 `frameInfo.torn` 报 Z1(warning)。
+  // `frames.length === 0`(连一个完整帧都没有,例如头帧就断了)**仍然报错** —— 宿主
+  // `readZstdPrefix:2793` 对这种情况同样抛 "empty or header-less Zstandard session log"。
+  if (frames.length === 0) throw new Error('空文件 / 无完整 zstd 帧（incomplete or header-less session log）');
+  if (torn && !allowTorn) throw new Error('zstd 尾帧撕裂（incomplete tail frame）——strict 模式（allowTorn:false）');
   // 逐帧解码后一次性 Buffer.concat：避免每帧一次 concat 的 O(n²) 拷贝
   const parts = new Array(frames.length);
   for (let i = 0; i < frames.length; i++) {
@@ -86,6 +98,7 @@ export function decompressZstd(buf) {
     try {
       parts[i] = zstdDecompressSync(buf.subarray(s, e));
     } catch (err) {
+      // 完整帧解码失败才是真损坏(Z2):磁盘 bitrot / 传输截断 / 保留位非法
       throw new Error(`zstd 帧解码失败 [${s},${e})：${err.message}`);
     }
   }
@@ -230,8 +243,8 @@ export function loadSessionLog(path) {
  *
  * 帧布局：帧 1 = header 行（单行 JSON，~几百字节），帧 2+ = 事件流。
  * 短码推导（工作区 createdAt 序号）需要扫全部会话但只需要 header——
- * 读文件前缀 64KiB 足够覆盖完整帧 1，避免全量读大文件（opena 工作区
- * ~108MiB 压缩）。失败返回 null（调用方降级）。
+ * 读文件前缀 64KiB 足够覆盖完整帧 1，避免全量读大文件（大会话压缩后可达
+ * 数百 MiB）。失败返回 null（调用方降级）。
  *
  * @param {string} path 会话日志文件路径（.jsonl.zstd 或明文 .jsonl）。
  * @returns {object|null} header 对象；无法解析返回 null。

package/lib/prewrite.js

@@ -18,12 +18,41 @@
  * 保证"体检看到的问题 = 写入前拦下的问题"。
  */
 import { envelopeViolations, engineViolations, finalFold, isSafeInt, nullTurnStepViolations, pluginViolations, replaySurface, stepKeyViolations, tokenMeterViolations, turnEndReasonViolations, violation, wireViolations } from './checks.js';
-import { resolveFormatVersion } from './vocab.js';
+import { resolveFormatVersion, LEGACY_FORMAT_MAX_VERSION } from './vocab.js';
 import { normalizeEventSeqRanges } from './compat.js';
 
-/** retrace 类 marker：data.editor 存在（assistant/message replace，turn/step=null）。 */
-function isKnownMarkerCandidate(event) {
-  return Boolean(event) && event.type === 'assistant/message' && event.surfaceOp && event.surfaceOp !== 'append' && event.data?.editor !== undefined;
+/**
+ * retrace 历史 marker 的 id 前缀（旧载体:`assistant/message` replace + `data.editor`）。
+ * 与 retrace 侧 `MARKER_ID_PREFIX`（`retrace`/`message-editor`——后者是插件改名前的旧前缀）对齐。
+ */
+const LEGACY_MARKER_ID_PREFIXES = ['retrace', 'message-editor'];
+
+/**
+ * **可识别的历史 retrace 载体**（R-C,2026-09-14 独立复核:白名单收窄）。
+ *
+ * 旧实现只判"任意 `data.editor` 存在" ⇒ **任何**写 `assistant/message` replace + `data.editor`
+ * 的第三方插件都能领 T1 豁免（复核判定:"设计粗糙的豁口"）。收窄为四条同时成立:
+ *   ① 类型/操作:`assistant/message` + replace;
+ *   ② 载体标记:`data.editor !== undefined`;
+ *   ③ **身份**:`data.message.id` 带 retrace 历史 marker 前缀（`retrace-*` / `message-editor-*`）;
+ *   ④ **形状**:`editor.targetSeq === (op.start ?? op.startSeq)`（retrace 自己的写前断言钉住的形状）。
+ * 任一不满足 → 不是可识别的 retrace 历史 marker,不降级（保持 error）。
+ *
+ * @returns {{prefix:string,id:string,targetSeq:number,seq:unknown}|null}
+ */
+export function legacyMarkerKindOf(event) {
+  if (!event || event.type !== 'assistant/message') return null;
+  const op = event.surfaceOp;
+  if (!op || typeof op !== 'object' || op.op !== 'replace') return null;
+  const editor = event.data?.editor;
+  if (editor === undefined || editor === null || typeof editor !== 'object') return null;
+  const id = event.data?.message?.id;
+  if (typeof id !== 'string') return null;
+  const prefix = LEGACY_MARKER_ID_PREFIXES.find((p) => id.startsWith(`${p}-`));
+  if (!prefix) return null;
+  const start = op.start ?? op.startSeq;
+  if (editor.targetSeq !== start) return null;
+  return { prefix, id, targetSeq: editor.targetSeq, seq: event.seq };
 }
 
 /** 把一个"拟写事件"规整为带 seq 的事件；seq 未携带时按追加位置赋值。 */
@@ -106,15 +135,31 @@ export function createPreWriter(input = {}) {
     // assistant/message 配对失败保持 error。历史已有事件的 T1 归属离线体检
     // （check），不在这里重复拦截（否则历史 marker 会让后续编辑全部被拒）。
     const lastCandidate = candidateEvents[candidateEvents.length - 1];
+    const legacyKind = legacyMarkerKindOf(lastCandidate);
+    // R-C 版本门(2026-09-14 独立复核):降级**只对 ≤v2 文件**。
+    // 依据:新载体(`user/message` + `data.id`,retrace 0.4.26)根本不带 `data.editor`,在 v3 上
+    // 降级**救不回任何写入**(v3 禁 assistant/message 带 provenance ⇒ S8 兜住) —— 留在 v3 上
+    // 只会掩盖 T1 的真实原因。v0/v1/v2 才是有价值的作用域(回放/重写历史形态 marker)。
+    const legacyDowngradeAllowed = formatVersion <= LEGACY_FORMAT_MAX_VERSION;
     for (const t1 of tokenMeterViolations(candidateEvents.map((event) => ({ event })))) {
       if (t1.id !== 'T1' || t1.seq !== lastCandidate?.seq) continue;
-      if (isKnownMarkerCandidate(lastCandidate)) {
-        violations.push({ ...t1, severity: 'warning', message: `${t1.message}（已知 retrace marker 设计债：压缩前需 doctor 清理）` });
+      if (legacyKind && legacyDowngradeAllowed) {
+        // 降级**可见**(R-C):违规里带 markerKind/id/targetSeq,并由结果字段 `legacyMarkerDebt`
+        // 显式带出;入口(CLI)打印"压缩前需一次性清理",不再"记了没人看"。
+        violations.push({
+          ...t1,
+          severity: 'warning',
+          markerKind: legacyKind.prefix,
+          markerId: legacyKind.id,
+          targetSeq: legacyKind.targetSeq,
+          message: `${t1.message}（已知历史 retrace marker 设计债：${legacyKind.prefix} 载体 id=${legacyKind.id} targetSeq=${legacyKind.targetSeq}；`
+            + `仅对 v≤${LEGACY_FORMAT_MAX_VERSION} 文件降级。压缩前需一次性清理：fix --neutralize-legacy-markers）`,
+        });
       } else {
         violations.push(t1);
       }
     }
-    // T3/T4 —— 渲染层（2026-09-02 1e99e1ff 白屏）。**error 级拒绝**：
+    // T3/T4 —— 渲染层（2026-09-02 渲染层白屏事故）。**error 级拒绝**：
     // - T4：拟写事件（step/start|step/end|assistant/message）turn 缺失 → 客户端
     //   渲染死循环白屏（D8），写入前直接拦下（防再犯：任何写 turn:null 的 marker）；
     // - T3：拟写事件引入 step 节点 key 冲突（同 turn 同 step 的 step/start 重复）→
@@ -127,17 +172,23 @@ export function createPreWriter(input = {}) {
       if (v.seq !== lastCandidate?.seq) continue;
       violations.push(v);
     }
-    // T5 —— 拟写 turn/end 缺 reason.kind → error 拒绝（1f4d986e 防再犯）
+    // T5 —— 拟写 turn/end 缺 reason.kind → error 拒绝（malformed turn/end 防再犯）
     for (const v of turnEndReasonViolations(candidateEvents.map((event) => ({ event })))) {
       if (v.seq !== lastCandidate?.seq) continue;
       violations.push(v);
     }
     const bySeverity = { error: 0, warning: 0, info: 0 };
     for (const v of violations) bySeverity[v.severity] = (bySeverity[v.severity] ?? 0) + 1;
+    // R-C「让降级可见」:把"本次写入沿用了历史 marker 形态(债)"作为**结构化字段**带出,
+    // 入口据此打印"压缩前需一次性清理"。降级不再只是 violations 里的一句 warning。
+    const legacyDebt = legacyKind && legacyDowngradeAllowed && bySeverity.error === 0
+      ? { kind: legacyKind.prefix, id: legacyKind.id, targetSeq: legacyKind.targetSeq, seq: lastCandidate?.seq ?? null, formatVersion }
+      : null;
     return {
       ok: bySeverity.error === 0,
       violations,
       bySeverity,
+      legacyMarkerDebt: legacyDebt,
       surface: folded.surface ?? { nodes: replay.nodes, replacements: [] },
       nextSeq: candidateEvents.length ? candidateEvents[candidateEvents.length - 1].seq + 1 : baseSeq,
     };

package/lib/repair.js

@@ -123,8 +123,8 @@ export function strictScanText(text) {
  * 裁剪 assistant/message 的跨 step sourceEventSeqs（2026-08-30 第二类事故）。
  *
  * 现象：DSH 的 resend/regenerate 在 agent 仍开着 step 时被触发，会把旧 step 的
- * assistant/chunk 全部引用进新 assistant/message 的 sourceEventSeqs（526f1835
- * seq 936047：sourceEventSeqs 覆盖 turn 54 的 step 7/8/9 三段）。token-meter
+ * assistant/chunk 全部引用进新 assistant/message 的 sourceEventSeqs（实测：
+ * sourceEventSeqs 覆盖 turn 54 的 step 7/8/9 三段）。token-meter
  * 要求每个 source chunk 与消息同 turn/step（dsh-token-meter lib/index.js:645，
  * `belongs to another step`）→ 同样刷屏压垮 host。
  *
@@ -191,7 +191,7 @@ export function clipCrossStepSourcesText(text) {
  * @param {string} text - JSONL 全文（含 header 行）。
  * @returns {{ text: string, neutralized: number, seqs: Array<number> }}
  */
-export function neutralizeMarkersText(text) {
+export function neutralizeMarkersText(text, { onlyLegacy = false } = {}) {
   const parts = text.split('\n');
   const seqs = [];
   let neutralized = 0;
@@ -209,6 +209,11 @@ export function neutralizeMarkersText(text) {
     if (v.data?.turn != null || v.data?.step != null) continue;
     const id = v.data?.message?.id;
     if (typeof id !== 'string' || !MARKER_PREFIXES.some((p) => id.startsWith(`${p}-`))) continue;
+    // R-C 一次性根治路径（`--neutralize-legacy-markers`）：只动**历史载体**
+    // （`assistant/message` + `data.editor`）；新载体是 `user/message` + `data.id`，
+    // 本来就不在这个分支里（类型不符），这里额外的判据是"必须有 editor"，
+    // 便于把"清历史债"与"泛化中和"区分开、也让报告口径可核对。
+    if (onlyLegacy && v.data?.editor === undefined) continue;
     const seq = v.seq;
     delete v.surfaceOp;
     delete v.sourceEventSeqs;
@@ -1153,7 +1158,10 @@ export function repairSession(file, opts = {}) {
   let plain;
   if (isZstd) {
     try {
-      plain = decompressZstd(buf).toString('utf8');
+      // R-B 边界:**写路径不吃撕裂尾帧**。`check`(只读)按宿主语义恢复撕裂尾帧;但
+      // `fix` 会回写文件,若尾帧是**活动会话正在写入**的部分,回写会把它截掉 ——
+      // 与宿主"由持有租约的会话自己截断"(:226-228)不同责。故这里显式 strict。
+      plain = decompressZstd(buf, { allowTorn: false }).toString('utf8');
     } catch (err) {
       return { file, ok: false, issues: [{ kind: 'zstd-decode', detail: String(err.message ?? err) }], removed: 0, renumbered: 0, applied: false };
     }
@@ -1194,7 +1202,16 @@ export function repairSession(file, opts = {}) {
     applyFix('markers', r, `移除 ${r.removed} 个 retrace/message-editor marker（重编号 ${r.renumbered} 行）`);
   }
   let neutralized = 0;
-  const neutralizedSeqs = [];
+  let neutralizedSeqs = [];
+  if (opts.neutralizeLegacyMarkers) {
+    const r = neutralizeMarkersText(plain, { onlyLegacy: true });
+    if (r.neutralized > 0) {
+      plain = r.text;
+      issues.push({ kind: 'neutralize-legacy-markers', detail: `一次性中和 ${r.neutralized} 个**历史载体** retrace marker（assistant/message + data.editor；type→retrace/marker + ignorable:true，删除 surfaceOp/sourceEventSeqs，seq/行数不变）→ 历史 token-meter 配对债根治（此后写前校验不再需要那条 ≤v2 降级白名单）` });
+    }
+    neutralized = r.neutralized;
+    neutralizedSeqs = r.seqs;
+  }
   if (opts.neutralize) {
     const r = neutralizeMarkersText(plain);
     neutralized = r.neutralized;
@@ -1228,10 +1245,10 @@ export function repairSession(file, opts = {}) {
       issues.push({ kind: 'trim-budget', detail: `估算 ${r.estimatedTokens} tokens ≤ 预算 ${opts.trimBudget}——无需裁剪（${r.kept} 条消息全保留）` });
     }
   }
-  // L4 新原语（2026-08-30 任务书 §L4 收编 tools/ 验证工具）
+  // L4 新原语（2026-08-30 收编外部验证工具）
   if (typeof opts.tailRenumberDelta === 'number') {
     // 起点自动推导：从首个可平移的 seq 起（即所有事件都平移）。
-    // fix-tail 原工具是 <startLine> <delta> 双参；任务书 §L4 简化为单参 delta
+    // fix-tail 原工具是 <startLine> <delta> 双参；L4 简化为单参 delta
     // （尾部全部平移）。若需部分平移，传 --tail-renumber 前先 --keep-ranges。
     const r = tailRenumberText(plain, 0, opts.tailRenumberDelta);
     if (r.error) {