dsh-log-contract 0.3.12 → 0.3.13

package/README.md

@@ -318,15 +318,16 @@ MIT © OfferKuai Team
 - `4` = **migration pre-check blocked**: the tool judges that the official upgrade chain will refuse the file.
 - ⚠️ **Pipelines that treated `exit 0` as "fine" will now fail.** The old behaviour returned `0` even for files
   the tool itself reported as refused by the official chain — a false negative where the exit code contradicted
-  the verdict. `--fail-on-migration` is an **explicit alias of the (now default) behaviour**, not a toggle, and
-  there is **no opt-out**; for the old behaviour read `assessmentScope` / `migration.ready` from `--json` and
-  apply your own threshold.
+  the verdict. `--fail-on-migration` is an **explicit alias of the (now default) behaviour**; the **real opt-out
+  is `--no-fail-on-migration`**, which restores the 0.3.11 behaviour (structural green ⇒ `exit 0`). When both
+  flags are given, the opt-out wins. You can also ignore the exit code and read `assessmentScope` /
+  `migration.ready` from `--json` with your own threshold.
 
 **2. `--json` gains `assessmentScope` (three values).**
 
 | value | meaning |
 |---|---|
-| `full` | file is already the host's target format (no migration) — coverage is complete |
+| `full` | file is already the host's target format (no migration) — coverage is complete（已是当前格式、**无需迁移**）（已是当前格式、**无需迁移**） |
 | `partial` | file needs migration ⇒ the migration pre-check covers **2 rules only; 6 classes are uncovered** (≠ pass; see `coverage.uncovered`) |
 | `none` | **not assessable on this host** — no "usable / upgradable" claim is certified |
 

package/README.zh.md

@@ -274,14 +274,15 @@ MIT © OfferKuai Team
   而是明确说明宿主能力不足；`fix --apply` 会**拒绝**该文件（不落盘、不写备份）。
 - `4` = **迁移预检 blocked**：本工具判断该文件会被官方升级链拒绝。
 - ⚠️ **把 `exit 0` 当"过"的流水线会由过转挂。** 旧行为在**工具自己就报告"官方会拒"**的文件上仍返回 `0`
-  —— 退出码与结论矛盾的假阴性。`--fail-on-migration` 是**默认已生效行为的显式别名**，不是开关，
-  且**没有 opt-out**；需要旧行为请读 `--json` 的 `assessmentScope` / `migration.ready` 自定门槛。
+  —— 退出码与结论矛盾的假阴性。`--fail-on-migration` 是**默认已生效行为的显式别名**；
+  **真正的 opt-out 是 `--no-fail-on-migration`**，它恢复 0.3.11 的行为（结构绿即 `exit 0`）。
+  两者同时给时 **opt-out 优先**。也可改读 `--json` 的 `assessmentScope` / `migration.ready` 自定门槛。
 
 **2. `--json` 新增 `assessmentScope`（三值）。**
 
 | 值 | 含义 |
 |---|---|
-| `full` | 被检文件已是当前宿主的目标格式（无需迁移），覆盖完整 |
+| `full` | 被检文件已是当前宿主的目标格式（无需迁移），覆盖完整（已是当前格式、**无需迁移**）（已是当前格式、**无需迁移**） |
 | `partial` | 需要迁移 ⇒ 迁移预检**只覆盖 2 条规则，另有 6 类未覆盖**（≠ 通过；见 `coverage.uncovered`） |
 | `none` | **不可在本宿主评估**（宿主能力不足），不认证任何"可用/可升级"结论 |
 

package/bin/dsh-log-contract.mjs

@@ -39,7 +39,7 @@ const errOut = (text) => writeAllSync(2, text);
 const USAGE = `dsh-log-contract —— 日志契约守护（DSH session log contract guard）
 
 用法：
-  dsh-log-contract check <session-log> [--json] [--max-details N] [--resume] [--fail-on-migration]
+  dsh-log-contract check <session-log> [--json] [--max-details N] [--resume] [--fail-on-migration] [--no-fail-on-migration]
       离线体检 + **迁移预检**（两个**独立维度**，互不蕴含）。session-log 支持 .jsonl 与 .jsonl.zstd。
       ⚠️ 口径边界：本工具只判定它实现的规则集。「ok」/「可加载」/「可继续」/「可压缩」
       **不代表**会话"可用"，**不代表**可安全编辑，也**不代表**官方升级路径会接受
@@ -48,15 +48,21 @@ const USAGE = `dsh-log-contract —— 日志契约守护（DSH session log cont
       --max-details N 每条违规最多列 N 个缺失 seq（默认 8，--json 忽略）
       --resume        输出分层结论：可加载 / 可继续 / 可压缩（本工具规则集内）
                       + 迁移预检（官方 v0/v1/v2→当前格式会不会拒）；--json 时附带。
-      --fail-on-migration  migration.ready===false（工具判"官方升级会拒"）时退出码 4。
-                      **注意：现行默认行为已经是"ready===false ⇒ 退出码 4"**；本开关是显式别名，
-                      便于 CI 把意图写进命令行（也与将来若放宽默认值时保留 opt-in 口径）。
-      评估范围 assessmentScope（顶层字段）：'partial' = 待迁移文件（迁移维度只覆盖 2 条规则，
-      另有 6 类未覆盖）⇒ **不构成"官方升级会接受"**；'full' = 无需迁移（已是当前格式）；
-      'none' = 本宿主能力不足以评估。机器应判 assessmentScope == "full" 才可把绿读作完整评估。
+      --fail-on-migration     migration.ready===false（工具判"官方升级会拒"）时退出码 4。
+                      **注意：默认已经是这个行为**（第四轮把"报告与退出码不一致"的假阴性修掉了）；
+                      本开关是**显式别名**，便于 CI 把意图写进命令行。
+      --no-fail-on-migration  **真 opt-out**：恢复 0.3.11 的行为——迁移 blocked 不再改退出码
+                      （结构绿即 exit 0）。两者同时给时 **opt-out 优先**。若你的流水线依赖旧退出码，
+                      用本开关；也可改读 --json 的 assessmentScope / migration.ready 自定门槛。
+      评估范围 assessmentScope（顶层字段，与 migration.assessmentScope 同值）：
+      'full' = 被检文件**已是当前官方格式（version=3）、无需迁移** ⇒ 工具规则集对该文件是完整的；
+      'partial' = **需要迁移**（version<3）：迁移维度只覆盖 2 条规则，另有 6 类未覆盖 ⇒
+      **不构成"官方升级会接受"**；'none' = 本宿主能力不足以评估（文件版本 > 宿主上限）。
+      机器应判 assessmentScope == "full" 才可把绿读作完整评估（partial/none 都不该）。
       退出码：0 本工具认为可加载且无迁移阻断；1 有 error 级违规；3 不可在本宿主评估
               （被检文件版本 > 宿主支持上限，如 rc.7 宿主的 v3 文件——**不是** broken）；
-              4 迁移预检 blocked（assessmentScope=partial 且 migration.ready=false）。
+              4 迁移预检 blocked（assessmentScope=partial 且 migration.ready=false；可用
+              --no-fail-on-migration 退出该档）。
 
   dsh-log-contract fix <session-log> [--remove-markers] [--neutralize] [--clip-crossstep] [--drop-failed-turns] [--trim-last N] [--compact-last N] [--tail-renumber D] [--neutralize-orphan] [--extract-turn N] [--keep-ranges a-b,c-d] [--apply] [--backup-dir DIR] [--json]
       诊断 + 修复（2026-08 事故固化方案）。先做严格 seq 连续扫描 + 契约体检
@@ -169,9 +175,11 @@ function migrationLine(mig, partial = false) {
 function cmdCheck(args) {
   const json = args.includes('--json');
   const resume = args.includes('--resume');
-  // 第四轮（最终复核 §六-2）：显式开关。现行默认行为已是"ready===false ⇒ exit 4"，
-  // 本开关是显式别名，便于 CI 把意图写进命令行。
+  // 第四轮/第五轮：`--fail-on-migration` 是**默认已生效行为**的显式别名；
+  // `--no-fail-on-migration` 是**真 opt-out**（恢复旧行为：迁移 blocked 不再改退出码）。
+  // 两者同时给 ⇒ opt-out 优先（help/README 写明）。
   const failOnMigration = args.includes('--fail-on-migration');
+  const noFailOnMigration = args.includes('--no-fail-on-migration');
   const maxDetailsIdx = args.indexOf('--max-details');
   const maxDetails = maxDetailsIdx >= 0 && args[maxDetailsIdx + 1] ? Number(args[maxDetailsIdx + 1]) : 8;
   const file = args.find((a) => !a.startsWith('-'));
@@ -191,8 +199,9 @@ function cmdCheck(args) {
   const scope = result.assessmentScope ?? assessmentScope(result);
   const partial = scope === 'partial';
   const migBlocked = migration?.applies === true && migration.ready === false;
-  // `--fail-on-migration` 与默认同效（显式别名）：`ready===false` ⇒ 非 0。
-  const migGate = migBlocked || (failOnMigration && migration?.ready === false);
+  // 默认：`ready===false` ⇒ 非 0（第四轮修复的假阴性）。
+  // `--fail-on-migration` = 显式别名（同默认）；`--no-fail-on-migration` = 真 opt-out（恢复旧行为）。
+  const migGate = !noFailOnMigration && (migBlocked || (failOnMigration && migration?.ready === false));
   // 退出码：3 不可评估 > 1 结构 error > 4 迁移 blocked > 0。
   const exitCode = notAssessable ? 3 : (!ok ? 1 : (migGate ? 4 : 0));
 

package/lib/checks.js

@@ -788,11 +788,24 @@ export function wireViolations(events, version) {
  * G · 迁移预检（payload 层 + 类型层）——**官方迁移会不会拒**，与"本工具能否读取/折叠"是
  * **两个独立维度**（见 contracts.js 的 LAYER.MIGRATION 段）。
  *
- * 只覆盖已取得一手出处的两条（G1 descriptor version / G2 unknown historical type）；
- * 官方迁移规则集更宽（turn/start 未闭合、继承切点、title messageSeqs、stored-log corrupt…），
- * 未覆盖部分由 `migrationVerdict().coverage.uncovered` 显式列出——**不许**把未覆盖当通过。
+ * 覆盖（每条都有一手出处，官方 `@0.1.5-rc.2`）：
+ * - **G1** `subagent/descriptor.data.version !== 3`
+ * - **G2** 事件类型不在官方 v0 dispositions 内（含 `ignorable:true`）
+ * - **G3** `session/title` / `session/title-llm-request` 的 `messageSeqs`（`v0-to-v1/lib/index.js:2543-2556`）
  *
- * 范围：两条都只约束 **v0 源文件**（官方 v0→v1 迁移的规则；v1/v2 源走别的迁移代码）。
+ * 仍未覆盖（由 `migrationVerdict().coverage.uncovered` 显式列出，**不许**当通过）：
+ * `turn/start`（闭合/预期轮）、继承切点、`assistant/attempt` 配对、`stored log corrupt`、
+ * v0→v1 对其余事件的形状拒绝。
+ *
+ * **为什么 `turn/start` 不做（第五轮实测结论）**：官方那个状态机（`v0-to-v1:2270` 的
+ * `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 官方并不以该规则拒绝，
+ * 而原始 v0 上会报 19 条），属"规则文本对、应用对象错"。要忠实复现必须先把 v0→v1→v2 的
+ * 变换做出来 ⇒ 记未覆盖。
+ *
+ * 范围：三条都只约束 **v0 源文件**（官方 v0→v1 迁移的规则；v1/v2 源走别的迁移代码）。
  * severity 固定 warning、layer 固定 migration ⇒ 不进 ok / loadable / resumable / compactable。
  *
  * @param {Array<{event:object, lineNo?:number}>} events 已展开事件（带 loc 包装）
@@ -817,5 +830,41 @@ export function migrationPrecheckViolations(events, version) {
         `type "${event.type}" 不在官方 v0 dispositions 内${event.ignorable === true ? '（即使 ignorable:true）' : ''}—— 官方迁移会拒：format v0 contains unknown historical event type`));
     }
   }
+  // ── G3 · session/title 系列 messageSeqs（官方 v0→v1 `assertTitleSources`，:2543-2556）──
+  // 判据：每个被引 seq 必须解析到更早的 `user/message`，且 `data.source.kind === 'user'`；
+  // 另 `session/title` 的 `source.kind === 'user'` ⟺ `messageSeqs` 空。
+  //
+  // ⚠️ 应用面说明（第五轮实测，2026-09-15）：官方 `assertTitleSources` 与 `turn/start` 状态机
+  //    同在 `assertReleasedArtifactRelationships` 里，而该函数被 **v1→v2** 以
+  //    `RELEASED_V2_RELATIONSHIP_EXTENSIONS` 调用在**变换后的 v1/v2 artifact** 上
+  //    （`dsh-session-format-v1-to-v2/lib/index.js:104`），不是原始 v0 事件。
+  //    对 `messageSeqs` 这类"按 seq 索引 + 事件类型/source 判定"的引用，变换保序保类型
+  //    ⇒ 在原始 v0 上判是**必要条件的近似**；实测 281 个真实 v0 上 **0 误报**（round5/rule-probe）。
+  const bySeq = new Map();
+  for (const { event } of events) if (event && typeof event === 'object') bySeq.set(event.seq, event);
+  for (const { event, lineNo } of events) {
+    if (!event || typeof event !== 'object') continue;
+    if (event.type !== 'session/title' && event.type !== 'session/title-llm-request') continue;
+    const seqs = event.data?.messageSeqs;
+    if (!Array.isArray(seqs)) {
+      out.push(violation('G3', { seq: event.seq, lineNo, eventType: event.type },
+        `${event.type} ${event.seq} 的 messageSeqs 必须是数组 —— 官方迁移会拒`));
+      continue;
+    }
+    if (event.type === 'session/title') {
+      const kind = event.data?.source?.kind;
+      if ((seqs.length === 0) !== (kind === 'user')) {
+        out.push(violation('G3', { seq: event.seq, lineNo, eventType: event.type },
+          `session/title ${event.seq} messageSeqs must be empty exactly for a user title（官方原文；source.kind=${String(kind)}，seqs=${seqs.length}）`));
+      }
+    }
+    for (const s of seqs) {
+      const src = bySeq.get(s);
+      if (!src || src.type !== 'user/message' || src.data?.source?.kind !== 'user') {
+        out.push(violation('G3', { seq: event.seq, lineNo, eventType: event.type },
+          `${event.type} ${event.seq} messageSeqs must cite earlier human user/message events（seq ${String(s)} 不是更早的人类 user/message）`));
+      }
+    }
+  }
   return out;
 }

package/lib/contracts.js

@@ -382,6 +382,14 @@ export const CONTRACT_RULES = [
     source: '@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"',
     description: '文件版本 0 且事件 type 不在官方 v0 dispositions（本包 vendored 为 V0_EVENT_TYPES）内 → 官方迁移拒绝，**即使该事件带 ignorable:true**。E3 的 ignorable 豁免是**读取路径**语义（不改），本条只在迁移预检维度表达。',
   },
+  {
+    id: 'G3',
+    title: '迁移预检：v0 源 session/title 系列的 messageSeqs 必须引用更早的人类 user/message',
+    layer: LAYER.MIGRATION,
+    severity: SEVERITY.WARNING,
+    source: '@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"',
+    description: '文件版本 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 误报。',
+  },
 ];
 
 /** 按 id 取规则。 */

package/lib/repair.js

@@ -554,6 +554,48 @@ export function tailRenumberText(text, startSeq, delta) {
   const parts = text.split('\n');
   const out = [];
   let changed = 0;
+  // ── seq 引用平移（2026-09-14 第五轮：把 round4 存档的未审补丁评审后纳入，并补两处同族缺口）──
+  // 一手依据（官方 v0→v1 校验，@0.1.5-rc.2）：
+  // - `data.shadowedRange{start,end}` + `data.shadowedSeqs`：`dsh-session-format-v0-to-v1`
+  //   `lib/index.js:55-70`（compaction/prune、compaction/summary 的 dispositions）、
+  //   `:1142-1146` `shadowedValue()`：start/end 必须是 `earlierSeq(, eventSeq)` 且与 shadowedSeqs 端点一致。
+  // - v3 的 `shadowedRange` 仍是 `{start,end}`（`dsh-session-format-v2-to-v3` `lib/index.js:634-640` `range()`），
+  //   而 v3 `surfaceOp` 是 `{startSeq,endSeq}`（同包 `:361-371`）⇒ 两种字段名都要覆盖。
+  // - `sourceEventSeqs` 在 v3 可为**区间对数组** `[[a,b],…]`（`decodeSeqRanges`）；旧实现把区间对
+  //   当数字减 delta ⇒ `NaN` ⇒ `JSON.stringify` 成 `null`（实测破坏）。此处改为：两端点同侧才平移，
+  //   **跨平移起点**的区间对直接报错（单区间无法忠实表达）。
+  // - `data.messageSeqs`（session/title、session/title-llm-request）同样是 seq 引用
+  //   （`v0-to-v1/lib/index.js:2543-2556` `assertTitleSources` 用 `events[seq]` 取源事件）。
+  const shiftNum = (sv, label) => {
+    if (typeof sv !== 'number' || !Number.isSafeInteger(sv) || sv < startSeq) return { changed: false, value: sv };
+    const ns = sv - delta;
+    if (ns < 0) return { error: `${label} ${sv} 平移后为负（delta 过大或起点有误）` };
+    return { changed: true, value: ns };
+  };
+  const shiftSeqList = (list, label) => {
+    const mapped = [];
+    let local = false;
+    for (const item of list) {
+      if (Array.isArray(item)) {
+        const [a, b] = item;
+        if (!Number.isSafeInteger(a) || !Number.isSafeInteger(b) || a > b) return { error: `${label} 区间对 [${String(a)},${String(b)}] 形状非法` };
+        if (b < startSeq) { mapped.push(item); continue; }
+        if (a < startSeq) return { error: `${label} 区间对 [${a},${b}] 跨平移起点 ${startSeq}，无法用单区间表达（请先展开区间编码）` };
+        const na = a - delta;
+        const nb = b - delta;
+        if (na < 0) return { error: `${label} 区间对 [${a},${b}] 平移后为负` };
+        mapped.push([na, nb]);
+        local = true;
+        continue;
+      }
+      const r = shiftNum(item, label);
+      if (r.error) return { error: r.error };
+      mapped.push(r.value);
+      if (r.changed) local = true;
+    }
+    return { changed: local, value: mapped };
+  };
+
   for (const raw of parts) {
     if (!raw.trim()) {
       out.push(raw);
@@ -567,37 +609,34 @@ export function tailRenumberText(text, startSeq, delta) {
       continue;
     }
     let modified = false;
-    const seq = v.seq;
-    if (typeof seq === 'number' && seq >= startSeq) {
-      const ns = seq - delta;
-      if (ns < 0) return { text, changed: 0, startSeq, delta, error: `seq ${seq} 平移后为负（delta 过大或起点有误）` };
-      v.seq = ns;
-      modified = true;
-    }
-    if (typeof v.seq0 === 'number' && v.seq0 >= startSeq) {
-      const ns = v.seq0 - delta;
-      if (ns < 0) return { text, changed: 0, startSeq, delta, error: `seq0 ${v.seq0} 平移后为负（delta 过大或起点有误）` };
-      v.seq0 = ns;
-      modified = true;
-    }
-    if (Array.isArray(v.sourceEventSeqs)) {
-      let mapped;
-      try {
-        mapped = v.sourceEventSeqs.map((s) => {
-          if (s < startSeq) return s;
-          const ns = s - delta;
-          if (ns < 0) throw new Error(`sourceEventSeqs ${s} 平移后为负`);
-          return ns;
-        });
-      } catch (err) {
-        // 与 seq/seq0 的优雅返回一致：错误走 error 字段而非未捕获异常
-        return { text, changed: 0, startSeq, delta, error: err.message };
-      }
-      if (mapped.some((s, i) => s !== v.sourceEventSeqs[i])) {
-        v.sourceEventSeqs = mapped;
-        modified = true;
-      }
-    }
+    const applyNum = (obj, key, label) => {
+      if (!obj || typeof obj !== 'object') return null;
+      const r = shiftNum(obj[key], label);
+      if (r.error) return r.error;
+      if (r.changed) { obj[key] = r.value; modified = true; }
+      return null;
+    };
+    const applyList = (obj, key, label) => {
+      if (!obj || typeof obj !== 'object' || !Array.isArray(obj[key])) return null;
+      const r = shiftSeqList(obj[key], label);
+      if (r.error) return r.error;
+      if (r.changed) { obj[key] = r.value; modified = true; }
+      return null;
+    };
+
+    let err = applyNum(v, 'seq', 'seq');
+    if (!err) err = applyNum(v, 'seq0', 'seq0');
+    if (!err) err = applyList(v, 'sourceEventSeqs', 'sourceEventSeqs');
+    if (!err) err = applyNum(v.surfaceOp, 'start', 'surfaceOp.start');
+    if (!err) err = applyNum(v.surfaceOp, 'end', 'surfaceOp.end');
+    if (!err) err = applyNum(v.surfaceOp, 'startSeq', 'surfaceOp.startSeq');
+    if (!err) err = applyNum(v.surfaceOp, 'endSeq', 'surfaceOp.endSeq');
+    if (!err) err = applyNum(v.data?.shadowedRange, 'start', 'shadowedRange.start');
+    if (!err) err = applyNum(v.data?.shadowedRange, 'end', 'shadowedRange.end');
+    if (!err) err = applyList(v.data, 'shadowedSeqs', 'shadowedSeqs');
+    if (!err) err = applyList(v.data, 'messageSeqs', 'messageSeqs');
+    if (err) return { text, changed: 0, startSeq, delta, error: err };
+
     if (modified) changed++;
     out.push(JSON.stringify(v));
   }

package/lib/validate.js

@@ -343,19 +343,22 @@ export function migrationVerdict(result) {
     implemented: [
       'G1  v0 源：subagent/descriptor.data.version !== 3',
       'G2  v0 源：事件类型不在官方 v0 dispositions 内（含 ignorable:true）',
+      'G3  v0 源：session/title 系列 messageSeqs 必须引用更早的人类 user/message（含"空 ⟺ 用户标题"）',
     ],
     uncovered: [
-      // 2026-09-14 第四轮（最终复核实测）：官方 v1→v2 的 turn/start 规则有**两个方向**——
-      // "does not close the prior turn"（未闭合）与 "does not open expected turn"（未打开预期轮）。
-      // 残余 27 例里有 7 例是后者；类文本原先只写"未闭合" ⇒ 标注与事实不符。此处扩类。
-      'turn/start 未闭合前一轮 / 未打开预期轮（官方：does not close the prior turn / does not open expected turn）',
+      // 2026-09-15 第五轮：`turn/start` 试做后在**真实语料**上被判定为"应用对象错"——
+      // 官方状态机（assertReleasedArtifactRelationships）由 v1→v2 在**变换后的 v1/v2 artifact**
+      // 上调用（v1-to-v2/lib/index.js:104），带 cut/继承切点处理；在原始 v0 上照抄会在已 seed
+      // 的会话上狂报（样本 session-62c5b531：0.1.5 链并不以该规则拒它，原始 v0 上会报 19 条）。
+      // ⇒ 忠实复现需先做 v0→v1→v2 变换；本轮不做，保持未覆盖。
+      'turn/start 闭合/预期轮（官方 v1→v2 在**变换后** artifact 上判：does not close the prior turn / does not open expected turn）',
       'assistant/attempt 配对/闭合（migration refuses the transformed artifact）',
-      'session/title messageSeqs 越界',
-      'Session inheritedEventCut / 继承切点',
+      'Session inheritedEventCut / 继承切点（官方在变换后 artifact 上按 cut 判；header 只有 seedLength）',
       'stored log corrupt（SessionFormatError）',
       'v0→v1 对其余事件的形状拒绝',
+      'turn/end 无匹配 open turn / open step 穿越 / 未解析 tool / open compaction 穿越（官方同一状态机的其余分支）',
     ],
-    note: '未覆盖 ≠ 通过：本维度只对 implemented 两条负责。官方判据版本：@deepseek-ai/dsh-session-format-v0-to-v1@0.1.5-rc.2',
+    note: '未覆盖 ≠ 通过：本维度只对 implemented 三条负责。官方判据版本：@deepseek-ai/dsh-session-format-v0-to-v1@0.1.5-rc.2 + v1-to-v2@0.1.5-rc.2',
   };
   if (result?.assessable === false) {
     return { assessable: false, applies: null, ready: null, fileVersion, blocked: [], coverage, assessmentScope: 'none', reason: result?.notAssessable?.reason ?? null };

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "dsh-log-contract",
   "description": "日志契约守护 — DSH session log contract guard: offline health check (CLI) + pre-write validation for DeepSeek Harness session logs",
-  "version": "0.3.12",
+  "version": "0.3.13",
   "packageManager": "pnpm@11.7.0",
   "type": "module",
   "main": "lib/index.js",