dsh-log-contract 0.3.13 → 0.3.14

package/lib/checks.js

@@ -65,19 +65,51 @@ export function envelopeViolations(event, loc, version) {
     out.push(violation('E4', loc, 'sourceEventSeqs 不是 lossless-JSON'));
   }
   if (event.type === 'request/header-delta') {
-    out.push(violation('E5', loc, '使用已删除的遗留格式 request/header-delta，写入即被拒'));
+    out.push(violation('E5', loc, '使用已删除的遗留格式 request/header-delta——写入会成功（宿主 append 不看 type）、下一次读取才炸；请改用当前格式'));
   }
   if (event.type === 'request/header' && event.data?.reason === 'fallback') {
     out.push(violation('E5', loc, 'request/header 使用已删除的遗留 reason "fallback"'));
   }
+  // ── R-G(2026-09-14 独立复核:3 例确证漏检补成候选规则)────────────────────
+  // E8 信封键白名单:宿主 `assertSessionEventEnvelope`（@deepseek-ai/dsh-session@0.1.5-rc.1
+  //   lib/index.js:852-861）逐键 switch,只认 7 个键,其余一律 `invalid event envelope`。
+  //   实测变异 05:宿主拒、旧契约 0 违规。
+  if (typeof event === 'object' && event !== null) {
+    const extra = Object.keys(event).filter((k) => !ENVELOPE_ALLOWED_KEYS.has(k));
+    if (extra.length > 0) {
+      out.push(violation('E8', loc, `事件信封含多余键 ${extra.join(', ')}——宿主只认 {${[...ENVELOPE_ALLOWED_KEYS].join(',')}}（dsh-session@0.1.5-rc.1 lib/index.js:852-861）`));
+    }
+  }
+  // E10 request/header 的 data 字段约束:宿主 `validateSessionEventData`
+  //   （dsh-session@0.1.5-rc.1 lib/index.js:231-248）——`header.system` 必须省略、
+  //   空 tools / 空 adapterDefaults 必须省略。实测变异 12:宿主拒、旧契约 0 违规。
+  if (event.type === 'request/header') {
+    const header = event.data?.header;
+    if (typeof header !== 'object' || header === null || Array.isArray(header)) {
+      out.push(violation('E10', loc, 'request/header 的 data.header 必须是对象'));
+    } else {
+      if (Object.hasOwn(header, 'system')) out.push(violation('E10', loc, 'request/header 必须省略 header.system（系统提示改走 system/message）——宿主 lib/index.js:237'));
+      if (Array.isArray(header.tools) && header.tools.length === 0) out.push(violation('E10', loc, 'request/header 必须省略空 tools——宿主 lib/index.js:238'));
+      const defaults = header.adapterDefaults;
+      if (typeof defaults === 'object' && defaults !== null && !Array.isArray(defaults) && Object.keys(defaults).length === 0) {
+        out.push(violation('E10', loc, 'request/header 必须省略空 adapterDefaults——宿主 lib/index.js:239-240'));
+      }
+    }
+  }
   out.push(...messageShapeViolations(event, loc));
   return out;
 }
 
+/** 宿主信封键白名单（assertSessionEventEnvelope，dsh-session@0.1.5-rc.1 lib/index.js:852-861）。 */
+export const ENVELOPE_ALLOWED_KEYS = new Set(['type', 'seq', 'time', 'data', 'surfaceOp', 'sourceEventSeqs', 'ignorable']);
+
 /** 镜像官方 assertMessageEventShape（lib/index.js:1242-1266）。 */
 export function messageShapeViolations(event, loc) {
   const type = event.type;
-  if (type !== 'user/message' && type !== 'assistant/message' && type !== 'tool/result') return [];
+  // R-G:把 v3 新增的 `system/message` 纳入形状检查（MESSAGE_ROLE_BY_TYPE:system/message → system,
+  // dsh-session@0.1.5-rc.1 lib/index.js:917-926;source 要求 :942-944）。旧实现只查 user/assistant/tool
+  // ⇒ 实测变异 03（system/message 的 source.kind='user'）宿主拒、旧契约 0 违规。
+  if (type !== 'user/message' && type !== 'assistant/message' && type !== 'tool/result' && type !== 'system/message') return [];
   const out = [];
   const data = event.data;
   const record = typeof data === 'object' && data !== null ? data : undefined;
@@ -90,7 +122,7 @@ export function messageShapeViolations(event, loc) {
   if (typeof message.id !== 'string' || message.id === '') {
     out.push(violation('E6', loc, `${shape()}：id 必须为非空字符串`));
   }
-  const expectedRole = type === 'assistant/message' ? 'assistant' : 'user';
+  const expectedRole = type === 'assistant/message' ? 'assistant' : (type === 'system/message' ? 'system' : 'user');
   if (message.role !== expectedRole) {
     out.push(violation('E6', loc, `${shape()}：role 必须为 "${expectedRole}"，实际 ${String(message.role)}`));
   }
@@ -106,6 +138,13 @@ export function messageShapeViolations(event, loc) {
       out.push(violation('E6', loc, `${shape()}：assistant/message 必须带 model source（provider/model 非空）`));
     }
   }
+  if (type === 'system/message') {
+    // E9(R-G 候选规则):system/message 必须 plugin source（kind==='plugin' + plugin 非空）。
+    // 宿主依据:dsh-session@0.1.5-rc.1 lib/index.js:942-944（"must have plugin source"）。
+    if (source?.kind !== 'plugin' || typeof source.plugin !== 'string' || source.plugin === '') {
+      out.push(violation('E9', loc, `${shape()}：system/message 必须带 plugin source（kind==='plugin' 且 plugin 非空）——宿主 lib/index.js:942-944`));
+    }
+  }
   if (type === 'tool/result') {
     if (source?.kind !== 'tool' || typeof source.callId !== 'string' || source.callId === '') {
       out.push(violation('E6', loc, `${shape()}：tool/result 必须带 tool source（callId 非空）`));
@@ -159,7 +198,7 @@ export function normalizeReplaceOp(op, version) {
  *
  * 按**文件物理行序**（非 seq 排序）要求展开后的事件 seq 严格单调递增。
  * 单进程 append 不可能写出非单调物理序（appendCore 断言 seq==cursor+i 且按
- * id 串行化）——非单调 = 多写入者/旧光标回放交织的现场特征（526f1835 物理序
+ * id 串行化）——非单调 = 多写入者/旧光标回放交织的现场特征（某真实会话：物理序
  * 734056→733539→735470）。E2 只查「排序后连续」，排序会掩盖物理序倒退；
  * S9 补「物理序单调」盲区。
  *
@@ -202,7 +241,18 @@ export function replaySurface(events, version) {
 
     if (!eligible) {
       if (op !== undefined || src !== undefined) {
-        violations.push(violation('S2', loc, `非 surface 类型 "${event.type}" 不得携带 surfaceOp/sourceEventSeqs`));
+        // ── R-B(2026-09-14 独立复核,误报 S2)────────────────────────────────
+        // 宿主 `@deepseek-ai/dsh-session@0.1.5-rc.1` 是**刻意容忍**的:
+        //   lib/index.js:270 `if (!KNOWN_SESSION_EVENT_TYPES.has(event.type) && event.ignorable === true) return;`
+        //   同一函数的契约注释 lib/index.js:305 —— "Unknown ignorable records retain opaque
+        //   metadata and never change the surface."
+        // ⇒ **未知**类型且 `ignorable===true` 的事件带 surfaceOp/sourceEventSeqs 是合法的不透明
+        //   元数据(宿主收;实测变异 06:宿主收、旧契约 S2/error)。这里不再报 S2。
+        //   "该未知类型有没有消费者"由 E7 以 **warning** 表达(策略层,非宿主契约)。
+        const unknownIgnorable = !currentVocabulary(version).has(event.type) && event.ignorable === true;
+        if (!unknownIgnorable) {
+          violations.push(violation('S2', loc, `非 surface 类型 "${event.type}" 不得携带 surfaceOp/sourceEventSeqs`));
+        }
       }
       continue;
     }
@@ -339,13 +389,13 @@ export function finalFold(events, version) {
 }
 
 /**
- * T3 —— step 节点 key 冲突（2026-09-02 · 1e99e1ff 白屏真正根因固化）。
+ * T3 —— step 节点 key 冲突（2026-09-02 · 渲染层白屏事故真正根因固化）。
  *
  * 客户端渲染消息列表 = 从事件流构建节点，节点 key = `data.turn:data.step`
  * （React 列表 key）。同 turn 内两个 step/start 的 step 号相同 → key 冲突 →
- * React 渲染死循环 → 白屏/不展示（1e99e1ff：seq 580034 step 95/1 vs 580037
- * 编辑块 step 95/1；修复线 2026-09-02 全量扫描另发现 6924781d / 97786207 /
- * 4b149a4a 同型冲突，均整块重编号修复）。
+ * React 渲染死循环 → 白屏/不展示（实测：同一 turn 内正常轮的 step 95/1 与
+ * 编辑块的 step 95/1 冲突；2026-09-02 全量扫描又发现多个同型冲突的会话，
+ * 均整块重编号修复）。
  *
  * 判定：扫 step/start，`data.turn:data.step` 组合重复 = error。
  * - 无任何 step/start 的日志跳过（与 T1 同款宽松）；
@@ -367,7 +417,7 @@ export function stepKeyViolations(events) {
     const key = `${String(turn)}:${String(step)}`
     const prev = seen.get(key)
     if (prev !== undefined) {
-      out.push(violation('T3', { seq: event.seq, lineNo, eventType: event.type }, `step 节点 key ${key} 冲突：seq ${prev.seq} 与 seq ${event.seq} 的 step/start 同 turn 同 step——客户端 React 渲染死循环白屏（1e99e1ff 事故；修复：同 turn 内 step 递增，不得复用；整块重编号）`))
+      out.push(violation('T3', { seq: event.seq, lineNo, eventType: event.type }, `step 节点 key ${key} 冲突：seq ${prev.seq} 与 seq ${event.seq} 的 step/start 同 turn 同 step——客户端 React 渲染死循环白屏（渲染层事故；修复：同 turn 内 step 递增，不得复用；整块重编号）`))
     } else {
       seen.set(key, { seq: event.seq, lineNo })
     }
@@ -376,11 +426,11 @@ export function stepKeyViolations(events) {
 }
 
 /**
- * T4 —— step/消息本体 turn 缺失（null/undefined）（2026-09-01 · D8 1e99e1ff 固化）。
+ * T4 —— step/消息本体 turn 缺失（null/undefined）（2026-09-01 · D8 事故固化）。
  *
  * 客户端渲染状态机对 turn=null 的 step/消息**无法归属任何 turn** → 渲染死循环 →
- * 白屏「载入历史」（1e99e1ff seq 580037-580039：retrace 0.4.17 写的编辑块
- * step/start+marker+step/end turn 全 null；修复线 check-null-turn.mjs 把 step
+ * 白屏「载入历史」（实测：retrace 0.4.17 写的编辑块
+ * step/start+marker+step/end turn 全 null；离线自查脚本把 step
  * 包裹/消息本体的 null-turn 判为致命）。
  *
  * 判定：`step/start|step/end|assistant/message` 的 `data.turn === null/undefined` = error。
@@ -397,20 +447,20 @@ export function nullTurnStepViolations(events) {
     if (event.type !== 'step/start' && event.type !== 'step/end' && event.type !== 'assistant/message') continue
     const turn = event.data?.turn
     if (turn === null || turn === undefined) {
-      out.push(violation('T4', { seq: event.seq, lineNo, eventType: event.type }, `${event.type} 的 data.turn 为 ${String(turn)}（缺失）——客户端渲染状态机无法归属任何 turn → 渲染死循环白屏（D8 1e99e1ff；step/消息本体必须带真实 turn 号）`))
+      out.push(violation('T4', { seq: event.seq, lineNo, eventType: event.type }, `${event.type} 的 data.turn 为 ${String(turn)}（缺失）——客户端渲染状态机无法归属任何 turn → 渲染死循环白屏（D8 事故；step/消息本体必须带真实 turn 号）`))
     }
   }
   return out
 }
 
 /**
- * T5 —— turn/end 缺 reason.kind（2026-09-02 · 1f4d986e malformed turn/end 固化）。
+ * T5 —— turn/end 缺 reason.kind（2026-09-02 · malformed turn/end 固化）。
  *
  * 官方 agent-loop 写 turn/end 恒带 `reason: { kind }`（dsh-agent-loop/lib/index.js:620；
  * kind ∈ completed|max-tokens|blocked|aborted|error|interrupted，中断恢复补
  * interrupted，见 dsh-session interruptedTurnClosers）。官方 validation 强制
  * reason.kind 存在——缺失 = malformed → 会话加载失败
- * （SessionPersistenceCorruptionError "malformed pre-react-loop turn/end"，1f4d986e）。
+ * （SessionPersistenceCorruptionError "malformed pre-react-loop turn/end"）。
  *
  * 判定：turn/end 的 `data.reason?.kind` 缺失/非字符串 = error。
  *
@@ -423,7 +473,7 @@ export function turnEndReasonViolations(events) {
     if (event.type !== 'turn/end') continue
     const reason = event.data?.reason
     if (!reason || typeof reason.kind !== 'string') {
-      out.push(violation('T5', { seq: event.seq, lineNo, eventType: event.type }, `turn/end 缺 data.reason.kind（reason=${JSON.stringify(reason)}）——官方 validation 拒绝 → 会话加载失败（1f4d986e malformed turn/end；turn/end 必须带 reason.kind，镜像 dsh-agent-loop:620）`))
+      out.push(violation('T5', { seq: event.seq, lineNo, eventType: event.type }, `turn/end 缺 data.reason.kind（reason=${JSON.stringify(reason)}）——官方 validation 拒绝 → 会话加载失败（malformed turn/end；turn/end 必须带 reason.kind，镜像 dsh-agent-loop:620）`))
     }
   }
   return out
@@ -607,7 +657,7 @@ export function tokenMeterViolations(events) {
  * （lib/index.js:645）。
  *
  * 事故现场：DSH resend/regenerate 在 agent 仍开着 step 时被触发，会把旧 step 的
- * chunk 全部引用进新 assistant/message（526f1835 seq 936047 跨 step 7/8/9）→
+ * chunk 全部引用进新 assistant/message（某真实会话的 chunk 源引用跨 step 7/8/9）→
  * 离线 check（T1）全绿但实机 token-meter 崩溃 → 同样刷屏压垮 host。
  *
  * @param events - 行序事件流（`{event, lineNo}`）。
@@ -801,7 +851,7 @@ export function wireViolations(events, version) {
  * `assertReleasedArtifactRelationships`）**不是**在原始 v0 事件上跑的——它由 **v1→v2**
  * 以 `RELEASED_V2_RELATIONSHIP_EXTENSIONS` 调用在**变换后的 v1/v2 artifact** 上
  * （`v1-to-v2/lib/index.js:104`），并带 `cut`（继承切点）处理。第五轮实测：在原始 v0 上照抄该
- * 状态机会在**已 seed 的会话**上狂报（样本 `session-62c5b531`：v0→v1 官方并不以该规则拒绝，
+ * 状态机会在**已 seed 的会话**上狂报（样本（某真实会话）：v0→v1 官方并不以该规则拒绝，
  * 而原始 v0 上会报 19 条），属"规则文本对、应用对象错"。要忠实复现必须先把 v0→v1→v2 的
  * 变换做出来 ⇒ 记未覆盖。
  *

package/lib/contracts.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,35 +253,37 @@ 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',
@@ -263,6 +293,37 @@ export const CONTRACT_RULES = [
     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 无事件）显式报出',
@@ -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}`);
     }
   }