dsh-log-contract 0.3.13 → 0.3.15

package/docs/CONTRACTS.md

@@ -3,18 +3,26 @@
 > **自动生成**（2026-09-06 起）：本文件由 `node scripts/gen-contracts-doc.mjs`
 > 从 `lib/contracts.js` 的 `CONTRACT_RULES` 注册表生成——**勿手改**，规则只增不减，
 > 新增规则后跑一次生成即同步（此前手工维护滞后 15+ 条，外部审计指出）。
+> **漂移闸**：`pnpm check` 会跑 `--check` 逐字节比对，改了注册表没重生成 ⇒ 直接红。
 >
 > DSH 会话日志契约的**可执行 spec**。每条规则在 `lib/checks.js`（逐事件判定）
 > 与 `lib/prewrite.js`（写前校验）中有对应实现；离线体检（`lib/validate.js`）
 > 逐条执行并在最后用官方 `foldSurface` 终验（S8）。
 >
-> 规则来源：`dsh-scale-audit-疑点记录.md`（59 条审计发现）+ `复盘-会话修复事故-20260825.md`
-> （三层契约）+ `@deepseek-ai/dsh-session@0.1.0-rc.7` 官方源码逐行核对
-> （后续规则随官方版本演进追加：T3/T4 渲染层 = 1e99e1ff 复盘，T5 = 1f4d986e malformed）。
+> 规则来源：早期内部审计发现（59 条）+ 三层契约事故复盘 + 官方源码逐行核对
+> （`@deepseek-ai/dsh-session`，各条出处见下）。后续规则随官方版本演进追加：
+> T3/T4 = 渲染层白屏事故复盘，T5 = malformed turn/end 事故复盘。
+>
+> **版本支持基线（本规则集验证过的版本；权威常量见 `lib/version-support.js` 的 TESTED_BASELINE）**：
+> 宿主 `@deepseek-ai/dsh-session@0.1.5-rc.1` ｜ 会话格式 **v3**（`SESSION_FORMAT_VERSION = 3`）｜
+> 声明范围 `^0.1.0-rc.7 || ^0.1.5-rc.1`（可安装 ≠ 逐个验证）｜ 已知格式 0/1/2/3
+> （0–2 由本包自带 vendored 词表 + `legacyFoldSurface` 支持，与宿主版本无关）。
+> **未验证版本**：宿主比基线新 → 运行时告警；文件格式未知/无法识别 → 报"未验证格式"并**按只读处理**
+> （`prewrite`/`fix` 拒绝，退出码 3）；文件版本 > 宿主上限 → `not-assessable`（不是 broken）。
 >
 > 严重度：**error** = 违反即会话不可加载/写入被拒（fail-loud）；**warning** = 合法但可疑。
 
-## 规则索引（共 38 条）
+## 规则索引（共 44 条）
 
 | id | 严重度 | 层级 | 规则 |
 |---|---|---|---|
@@ -45,6 +53,9 @@
 | T4 | error | engine | step/消息本体 turn 缺失（null/undefined）→ 渲染死循环 |
 | T5 | error | engine | turn/end 必须带 data.reason.kind |
 | E7 | warning | persistence | ignorable 未知 type 合法性（带被忽略标记的未知事件须有消费者） |
+| E8 | warning | persistence | 事件信封键白名单（多余键：seed/restore 路径会拒） |
+| E9 | error | persistence | system/message 必须带 plugin source |
+| E10 | error | persistence | request/header 的 data.header 字段约束 |
 | Z3 | warning | framing | 空会话文件（有 header 无事件）显式报出 |
 | P3 | warning | plugin | tool/call ↔ tool/result 配对完整性（考古 B1） |
 | P4 | warning | plugin | tool/result 输出结构可解析（考古 B2） |
@@ -56,6 +67,9 @@
 | Z2 | error | framing | zstd 帧解码失败 = 单帧全损 |
 | W1 | error | engine | wire 流：tool 消息必须跟在带 tool-call 的 assistant 消息之后 |
 | W2 | error | engine | wire 流：user 文本不得插在 tool_calls 与其 tool 结果之间 |
+| G1 | warning | migration | 迁移预检：v0 源文件的 subagent/descriptor.data.version 必须为 3 |
+| G2 | warning | migration | 迁移预检：v0 源文件不得含词表外的历史事件类型（含 ignorable） |
+| G3 | warning | migration | 迁移预检：v0 源 session/title 系列的 messageSeqs 必须引用更早的人类 user/message |
 
 ## 详细规则
 
@@ -68,8 +82,8 @@
 ### H2 — header 版本与必填字段
 
 - **层级**: persistence ｜ **严重度**: error
-- **出处**: @deepseek-ai/dsh-session lib/index.js:1110-1125
-- **契约**: header.version 必须为 0；id 为字符串；createdAt 为非负安全整数；cwd 若存在必须为绝对路径；origin 只能为 "subagent"。
+- **出处**: @deepseek-ai/dsh-session lib/index.js:1110-1125；已知格式版本 0/1/2/3（App 2.0.9 内置 v0→v1→v2→v3 迁移，SESSION_FORMAT_VERSION=3）
+- **契约**: header.version 必须为已知受支持版本（0/1/2/3）；未知版本报 H2。id 为字符串；createdAt 为非负安全整数；cwd 若存在必须为绝对路径；origin 只能为 "subagent"。
 
 ### R1 — 每行必须是合法 JSON
 
@@ -104,13 +118,13 @@
 ### S9 — 文件物理序 seq 单调（多写入者交织现场特征）
 
 - **层级**: persistence ｜ **严重度**: error
-- **出处**: 2026-08-28 实锤：526f1835 文件物理序 734056→733539→735470；单进程 appendCore 断言 seq==cursor+i 且按 id 串行化不可能写出
+- **出处**: 2026-08-28 实锤（某真实会话）：文件物理序出现回退（大→小→更大）；单进程 appendCore 断言 seq==cursor+i 且按 id 串行化不可能写出
 - **契约**: 按文件物理行序要求展开后事件 seq 严格单调递增。E2 在排序后检查（loadSessionLog 会 sort），物理序倒退被掩盖；S9 在排序前按行序检查，非单调 = 多写入者/旧光标回放交织的直接现场证据，加载会被拒。
 
 ### I1 — inbox seed 相对重放（fork 边界孤儿 spliced）
 
 - **层级**: engine ｜ **严重度**: error
-- **出处**: @deepseek-ai/dsh-agent lib/types/inbox.js:155-178 (apply/validate)；2026-08-28 实锤：62c5b531/73ed35d8 fork 边界 removedCount=1 孤儿
+- **出处**: @deepseek-ai/dsh-agent lib/types/inbox.js:155-178 (apply/validate)；2026-08-28 实锤（某两个真实会话）：fork 边界 removedCount=1 孤儿
 - **契约**: 从 header.seedLength 起重放 agent/inbox/spliced，next-turn/next-step 双队列；start+removedCount 不得超过队列长、不得产生重复 pending id。fork 时"移除父待处理提示词"的 splice 假设父会话 inbox，子会话 seed 相对空 inbox 上非法 → resume 被拒（invalid persisted inbox splice）。
 
 ### E3 — type 必须在已知词汇表内（或带 ignorable 标记）
@@ -129,7 +143,7 @@
 
 - **层级**: persistence ｜ **严重度**: error
 - **出处**: @deepseek-ai/dsh-session lib/index.js:1273-1277 (assertSupportedRequestHeader)
-- **契约**: request/header-delta 与 reason=fallback 的 request/header 是已删除的遗留格式，写入即被拒。
+- **契约**: 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），不是写入即被拒。
 
 ### E6 — 消息类事件消息形状
 
@@ -182,8 +196,8 @@
 ### S8 — 整日志 foldSurface 可重放
 
 - **层级**: persistence ｜ **严重度**: error
-- **出处**: @deepseek-ai/dsh-session lib/index.js:444-455 (foldSurface)；复盘"官方 foldSurface 不抛 = 通过"
-- **契约**: 终验：把全部事件按序喂给官方 foldSurface，不抛 = 持久化层通过。S1–S7 任何一条违反都会在此暴露。
+- **出处**: @deepseek-ai/dsh-session lib/index.js:444-455 (foldSurface, v3)；v0/v1/v2 用本地等价实现 lib/legacy-fold.js（rc.7 lib/index.js:229-455 逐条移植）
+- **契约**: 终验：按被检文件 header.version 选折叠器（v3 → 官方 foldSurface；v0/v1/v2 → 本地 legacyFoldSurface），不抛 = 持久化层通过。S1–S7 任何一条违反都会在此暴露。注意 0.1.5 的官方 foldSurface 是 v3 语义（replace 用 startSeq/endSeq、assistant/message 禁 sourceEventSeqs），对旧格式文件会误报，不可借用。
 
 ### T1 — token-meter 配对：assistant/message 与 step/end 必须匹配当前打开的 step/start
 
@@ -195,48 +209,66 @@
 
 - **层级**: engine ｜ **严重度**: error
 - **出处**: @deepseek-ai/dsh-token-meter lib/index.js:634-650 (_estimateProviderAssistant，:645 belongs to another step)
-- **契约**: 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。
+- **契约**: 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。
 
 ### T3 — step 节点 key 唯一（同 turn 内 step/start 的 step 号不得复用）
 
 - **层级**: engine ｜ **严重度**: error
-- **出处**: 复盘 2026-09-02 1e99e1ff 白屏（修复线 session-3f9e4f12）：客户端渲染节点 key = turn:step，冲突 → React 渲染死循环；工具 tools/check-step-keys.mjs
-- **契约**: 客户端渲染消息列表从事件流构建节点，节点 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）。
+- **出处**: 复盘 2026-09-02 渲染层白屏事故：客户端渲染节点 key = turn:step，冲突 → React 渲染死循环（由离线自查脚本判出）
+- **契约**: 客户端渲染消息列表从事件流构建节点，节点 key = data.turn:data.step。同 turn 内两个 step/start 的 step 号相同 → key 冲突 → React 渲染死循环 → 白屏/不展示（实测：同一 turn 内两个 step/start 复用 step 95/1，一个来自正常轮、一个来自编辑块；后续全量扫描又发现多个同型冲突）。修复：同 turn 内 step 递增、整块重编号（含块内 chunk/tool/assistant）。
 
 ### T4 — step/消息本体 turn 缺失（null/undefined）→ 渲染死循环
 
 - **层级**: engine ｜ **严重度**: error
-- **出处**: 复盘 D8 1e99e1ff（2026-09-01）：retrace 0.4.17 编辑块 turn:null；修复线 tools/check-null-turn.mjs 判致命
-- **契约**: 客户端渲染状态机对 turn=null 的 step/start|step/end|assistant/message 无法归属任何 turn → 渲染死循环 → 白屏「载入历史」（1e99e1ff seq 580037-580039）。user/message 天然无 turn 不查；chunk 坐标可缺失不查。step/消息本体必须带真实 turn 号。
+- **出处**: 复盘 2026-09-01 D8 事故：retrace 0.4.17 编辑块 turn:null（离线自查脚本判致命）
+- **契约**: 客户端渲染状态机对 turn=null 的 step/start|step/end|assistant/message 无法归属任何 turn → 渲染死循环 → 白屏「载入历史」（实测：编辑块的 step/start + marker + step/end 连续若干行 turn 全为 null）。user/message 天然无 turn 不查；chunk 坐标可缺失不查。step/消息本体必须带真实 turn 号。
 
 ### T5 — turn/end 必须带 data.reason.kind
 
 - **层级**: engine ｜ **严重度**: error
-- **出处**: 官方 dsh-agent-loop lib/index.js:620（turn/end = {turn, reason:{kind}}）；1f4d986e malformed turn/end 事故（2026-09-02，修复线 check-turn-end-reason.mjs）
-- **契约**: 官方 validation 强制 turn/end 的 data.reason.kind 存在（kind ∈ completed|max-tokens|blocked|aborted|error|interrupted）。缺失 = malformed → 官方 SessionPersistenceCorruptionError → 会话加载失败。1f4d986e：retrace 情形③信封 turn/end 漏 reason → 每次编辑后加载失败（已修 0.4.18）。
+- **出处**: 官方 dsh-agent-loop lib/index.js:620（turn/end = {turn, reason:{kind}}）；malformed turn/end 事故（2026-09-02，由离线自查脚本判出）
+- **契约**: 官方 validation 强制 turn/end 的 data.reason.kind 存在（kind ∈ completed|max-tokens|blocked|aborted|error|interrupted）。缺失 = malformed → 官方 SessionPersistenceCorruptionError → 会话加载失败。实测：retrace 情形③信封 turn/end 漏 reason → 每次编辑后加载失败（已修 0.4.18）。
 
 ### E7 — ignorable 未知 type 合法性（带被忽略标记的未知事件须有消费者）
 
 - **层级**: persistence ｜ **严重度**: warning
-- **出处**: 反向挑刺 2026-09-09 T2（E3 ignorable 无合法性校验 = 后门）
+- **出处**: 对抗性复查 2026-09-09 T2（E3 ignorable 无合法性校验 = 后门）
 - **契约**: 未知 type + ignorable:true 被读路径接纳但无人消费 = 静默垃圾。排除已知消费者白名单（retrace/marker、retrace/goal-marker、message-editor/ 前缀等 retrace 客户端消费的插件 marker）后，其余 ignorable 未知事件报 warning。
 
+### E8 — 事件信封键白名单（多余键：seed/restore 路径会拒）
+
+- **层级**: persistence ｜ **严重度**: warning
+- **出处**: @deepseek-ai/dsh-session@0.1.5-rc.1 lib/index.js:849-861（assertSessionEventEnvelope）+ :1063-1068（唯一调用点=seed 路径）；load 路径容忍见行为探针 p5
+- **契约**: 事件对象只允许 7 个信封键（type/seq/time/data/surfaceOp/sourceEventSeqs/ignorable）。独立复核变异 05 指出"宿主拒、旧契约 0 违规"；R-D 行为探针进一步订正口径：**load 路径容忍、seed/restore 路径拒** ⇒ warning。
+
+### E9 — system/message 必须带 plugin source
+
+- **层级**: persistence ｜ **严重度**: error
+- **出处**: @deepseek-ai/dsh-session@0.1.5-rc.1 lib/index.js:942-944（"must have plugin source"）；角色表 :917-926
+- **契约**: v3 新增的 system/message：role 必须为 system，source.kind 必须为 plugin 且 plugin 非空。实测（变异 03）：source.kind='user' 宿主拒、旧契约 0 违规 ⇒ 漏检。
+
+### E10 — request/header 的 data.header 字段约束
+
+- **层级**: persistence ｜ **严重度**: error
+- **出处**: @deepseek-ai/dsh-session@0.1.5-rc.1 lib/index.js:231-248（validateSessionEventData：omit header.system / omit empty tools / omit empty adapterDefaults）
+- **契约**: request/header 必须省略 header.system（系统提示改走 system/message）、空 tools、空 adapterDefaults。实测（变异 12）：带 header.system 的写入宿主拒、旧契约 0 违规 ⇒ 漏检。
+
 ### Z3 — 空会话文件（有 header 无事件）显式报出
 
 - **层级**: framing ｜ **严重度**: warning
-- **出处**: 反向挑刺 2026-09-09 T3（36 条规则全来自有内容事故,空态无覆盖）
+- **出处**: 对抗性复查 2026-09-09 T3（36 条规则全来自有内容事故,空态无覆盖）
 - **契约**: 有 header 但零事件 = 异常空会话（新建即空或写入未落盘）。空态不在任何有内容规则的覆盖下,显式 warning 供人判断。
 
 ### P3 — tool/call ↔ tool/result 配对完整性（考古 B1）
 
 - **层级**: plugin ｜ **严重度**: warning
-- **出处**: dsh-会话日志考古-插件任务与方法.md §2/§4.2（callId 配对，不可用"上一个 call"推断）
+- **出处**: 考古方法 §2/§4.2（callId 配对，不可用"上一个 call"推断）
 - **契约**: 每个 tool/call 的 data.callId 必须能在 tool/result 的 data.message.source.callId 中找到配对；孤儿 call（无 result）告警——中断/失败轮次可能产生孤儿（合法但要审计），考古提取将缺该输出。
 
 ### P4 — tool/result 输出结构可解析（考古 B2）
 
 - **层级**: plugin ｜ **严重度**: warning
-- **出处**: dsh-会话日志考古-插件任务与方法.md §2/§4.2（content 递归 text 结构）
+- **出处**: 考古方法 §2/§4.2（content 递归 text 结构）
 - **契约**: tool/result 的 data.message.content 必须可递归解析（list[dict{type:text,text}] 或等价）；不可解析片段 = 考古提取将漏数据。空 content（失败/无输出）合法。
 
 ### M1 — turn/step 为 null 的 assistant/message 只能 replace，不能 append
@@ -287,3 +319,21 @@
 - **出处**: OpenAI 兼容端点对 tool 消息顺序的严格校验；DSH 序列化器将混合 user 消息展开为 text 在前、tool-result 在后
 - **契约**: 当仍有未满足的 assistant tool-call 时出现 user 文本消息，会产生 [assistant(tool_calls), user(text), tool] 序列，严格端点同样拒绝。
 
+### G1 — 迁移预检：v0 源文件的 subagent/descriptor.data.version 必须为 3
+
+- **层级**: migration ｜ **严重度**: warning
+- **出处**: @deepseek-ai/dsh-session-format-v0-to-v1@0.1.5-rc.2 lib/index.js:1584-1586（assertReleasedEventPayload）：data.version !== 3 且源版本 === 0 → SessionFormatUnsupportedMigrationError("uses unsupported descriptor version N")；源版本 1/2 时官方提前 return（容忍）
+- **契约**: 文件版本 0 且事件类型为 subagent/descriptor 且 data.version !== 3 → 官方 v0→v1 迁移直接拒绝（消息形如 `subagent/descriptor <seq> uses unsupported descriptor version 2`）；源版本 1/2 不受此条约束。
+
+### G2 — 迁移预检：v0 源文件不得含词表外的历史事件类型（含 ignorable）
+
+- **层级**: migration ｜ **严重度**: warning
+- **出处**: @deepseek-ai/dsh-session-format-v0-to-v1@0.1.5-rc.2 lib/index.js:1580-1583（assertReleasedEventPayload）：RELEASED_V0_EVENT_DISPOSITIONS 里没有该 type → "format v0 contains unknown historical event type … migration refuses unknown historical events even when ignorable"
+- **契约**: 文件版本 0 且事件 type 不在官方 v0 dispositions（本包 vendored 为 V0_EVENT_TYPES）内 → 官方迁移拒绝，**即使该事件带 ignorable:true**。E3 的 ignorable 豁免是**读取路径**语义（不改），本条只在迁移预检维度表达。
+
+### G3 — 迁移预检：v0 源 session/title 系列的 messageSeqs 必须引用更早的人类 user/message
+
+- **层级**: migration ｜ **严重度**: warning
+- **出处**: @deepseek-ai/dsh-session-format-v0-to-v1@0.1.5-rc.2 lib/index.js:2543-2556（assertTitleSources）：`session/title` 的 messageSeqs 为空 ⟺ source.kind === "user"；每个被引 seq 必须解析到 `user/message` 且其 `data.source.kind === "user"`，否则 "messageSeqs must cite earlier human user/message events" / "must be empty exactly for a user title"
+- **契约**: 文件版本 0 且事件为 session/title 或 session/title-llm-request：messageSeqs 必须是数组；session/title 的"空数组 ⟺ 用户标题"必须成立；每个被引 seq 必须是更早的 user/message 且 source.kind === "user"。违反 → 官方升级到当前格式时拒绝。**应用面说明**：官方 `assertTitleSources` 与 turn/start 状态机同在 `assertReleasedArtifactRelationships`，由 v1→v2 在**变换后的 v1/v2 artifact** 上调用（`dsh-session-format-v1-to-v2/lib/index.js:104`）；对 messageSeqs 这类按 seq 索引 + 类型/source 判定的引用，变换保序保类型 ⇒ 在原始 v0 上判是必要条件的近似，实测 281 真实 v0 上 0 误报。
+

package/lib/archaeology.js

@@ -1,7 +1,7 @@
 /**
  * dsh-log-contract · lib/archaeology.js
  *
- * 会话日志考古（任务书 dsh-会话日志考古-插件任务与方法.md）——两插件共享：
+ * 会话日志考古 —— 两插件共享：
  * retrace 的考古界面/导出（A1-A4）与 log-contract 的 extract/audit-report
  * （B3/B4）都消费这里的纯函数。**只读不写**（纪律 §8.1）。
  *
@@ -100,7 +100,7 @@ export function indexToolCalls(events) {
  *
  * @param events - 会话事件数组。
  * @param pattern - 命令正则（字符串或 RegExp；字符串按子串匹配，空则全量）。
- * @param opts.minSize - 输出最小字节数过滤（默认 0；任务书用 50 过滤噪声）。
+ * @param opts.minSize - 输出最小字节数过滤（默认 0；CLI 默认用 50 过滤噪声）。
  * @returns {{ pairs: Array<{ callId, command, text, size }>, matched: number, total: number }}
  */
 export function extractToolOutputs(events, pattern = '', { minSize = 0 } = {}) {

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,14 +473,14 @@ 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
 }
 
 /**
- * E7 —— ignorable 未知 type 合法性（2026-09-09 反向挑刺 T2 增量）。
+ * E7 —— ignorable 未知 type 合法性（2026-09-09 T2 增量）。
  *
  * 盲区：E3 对"未知 type + ignorable:true"直接放行（容忍更新版本 harness 写入），
  * 但 ignorable 标记无合法性校验 = 后门——被读路径接纳却无人消费的未知事件 =
@@ -459,7 +509,7 @@ export function ignorableTypeViolations(events, version) {
 }
 
 /**
- * P3 —— tool/call ↔ tool/result 配对完整性（考古任务书 B1）。
+ * P3 —— tool/call ↔ tool/result 配对完整性（考古 B1）。
  * 每个 tool/call 的 `data.callId` 必须能在 tool/result 的
  * `data.message.source.callId` 中找到配对；孤儿 call（无 result）告警——
  * 中断/失败轮次可能产生孤儿（合法但要审计）。warning 级：不破坏日志。
@@ -467,7 +517,7 @@ export function ignorableTypeViolations(events, version) {
 export function toolPairingViolations(events) {
   const out = [];
   const calls = new Map(); // callId → { command, loc }
-  const results = new Map(); // callId → loc（双向：孤儿 result 也要指认，2026-09-09 反向挑刺 T1）
+  const results = new Map(); // callId → loc（双向：孤儿 result 也要指认，2026-09-09 T1）
   for (const { event, lineNo } of events) {
     if (event.type === 'tool/call') {
       const callId = event.data?.callId;
@@ -489,7 +539,7 @@ export function toolPairingViolations(events) {
       out.push(violation('P3', loc, `tool/call ${callId}（命令 ${command || '(未知)'}）没有配对的 tool/result——孤儿调用（中断/失败未落结果），考古提取将缺该输出`));
     }
   }
-  // 双向（反向挑刺 T1 增量）：孤儿 result = result 无对应 tool/call。
+  // 双向（T1 增量）：孤儿 result = result 无对应 tool/call。
   // 折叠后 wire 流中无主 tool 消息 = provider 拒绝风险（W1/W2 同族、不同层）；
   // 与孤儿 call 同为 warning 级——合法场景（中断/修复产物）不破坏日志。
   for (const [callId, loc] of results) {
@@ -529,7 +579,7 @@ function findUnparsableContent(node, path) {
 }
 
 /**
- * P4 —— tool/result 输出结构契约（考古任务书 B2）。
+ * P4 —— tool/result 输出结构契约（考古 B2）。
  * `data.message.content` 必须可递归解析（list[dict{type:text,text}] 或等价）；
  * 不可解析片段 = 考古提取将漏数据。空 content（失败/无输出）合法。warning 级。
  */
@@ -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 的
  * 变换做出来 ⇒ 记未覆盖。
  *