@moonquake2004/dsh-doctor 0.4.27 → 0.4.29

package/dsh-doctor.mjs

@@ -1316,6 +1316,70 @@ function checkSession(targetPath) {
     report('session', 'S9', true, '非 zstd 输入，跳过容器检查', undefined);
   }
 
+  // S14：投影安全性预检（#6686）——迁移**成功**、但打开(project)时抛错的会话
+  // 报告者实测：v0→v3 迁移后部分事件**没有消息体**，而 stock projection 直接穿透读取，
+  // 于是 `failed to project session: Cannot read properties of undefined (reading 'content')`，
+  // 整个历史会话打不开。我们离线预判同一批形态，让用户在"点开之前"就知道哪些会话会炸：
+  //   ① 事件类型暗示有消息体，但 data.message 缺失/非对象（如 assistant/message、tool/result、
+  //      system/message —— 三个 stock projection 分别读 data.message.content、
+  //      data.message.source.callId、data.message.content[0].isError）；
+  //   ② surfaceOp 为 replace 形态（{op:'replace', start/end} 或 startSeq/endSeq），
+  //      但引用的位置在本日志里解析不到。
+  {
+    const rawRows = [];
+    for (const ln of String(text).split('\n')) {
+      if (!ln.trim()) continue;
+      try { rawRows.push(JSON.parse(ln)); } catch { /* 解析失败由 S11/SS4 报 */ }
+    }
+    // **判定对象必须是"打开时真正被投影的那条流"**：对需要迁移的日志（v0/v1/v2），
+    // 缺消息体可能是在**迁移过程中**产生的，磁盘行上看不出来。所以这里优先走真实迁移链取"迁移后的视图"。
+    // （2026-09 自查：初版只看磁盘行，会漏掉报告者 #6686 的实际病例。）
+    let rows = rawRows;
+    let view = '磁盘原始行';
+    const hdr = rawRows[0];
+    if (hdr && hdr.type === 'session' && hdr.version !== 3 && FORMAT_CATALOG) {
+      try {
+        const r = FORMAT_CATALOG.createRestore(hdr, { validation: 'current', recovery: 'strict' });
+        const decoded = [];
+        for (let i = 1; i < rawRows.length; i++) {
+          const d = r.decodeRow(rawRows[i]);
+          decoded.push((d && d.type) ? d : (d && d.event) ? d.event : rawRows[i]);
+        }
+        r.finish();
+        rows = decoded;
+        view = `迁移后视图（v${hdr.version} → v3，走真实迁移链）`;
+      } catch { /* 迁移被拒由 S12 报；这里退回磁盘行并注明 */ view = '磁盘原始行（迁移链未走通，见 S12）'; }
+    }
+    const seqs = new Set(rows.map((r) => r.seq).filter((x) => typeof x === 'number'));
+    const probs = [];
+    for (let i = 0; i < rows.length; i++) {
+      const r = rows[i];
+      const bodyTypes = /^(assistant\/message|tool\/result|system\/message)$/;
+      if (bodyTypes.test(String(r.type)) && !(r.data && typeof r.data.message === 'object' && r.data.message !== null)) {
+        probs.push(`行 ${i + 1}（${r.type}）缺 data.message——stock projection 会穿透读取并抛错`);
+      }
+      const so = r.surfaceOp;
+      if (so && typeof so === 'object' && so.op === 'replace') {
+        const hasStartEnd = Object.hasOwn(so, 'start') && Object.hasOwn(so, 'end');
+        const hasSeqRange = Object.hasOwn(so, 'startSeq') && Object.hasOwn(so, 'endSeq');
+        const okRef = hasSeqRange
+          ? (seqs.has(so.startSeq) || seqs.has(so.endSeq))
+          : (hasStartEnd && (seqs.has(so.start) || seqs.has(so.end)));
+        if (!okRef) probs.push(`行 ${i + 1}（${r.type}）surfaceOp replace 的位置在本日志里解析不到`);
+      }
+    }
+    if (probs.length) {
+      report('session', 'S14', false,
+        `检测到 ${probs.length} 处会让会话**打不开**的事件体/引用不完整（#6686：迁移成功但 project 抛错；判定视图：${view}）：\n  `
+        + probs.slice(0, 6).join('\n  ')
+        + (probs.length > 6 ? `\n  …另有 ${probs.length - 6} 处` : ''),
+        '这类会话在 GUI 里点开会报 failed to project session；上游修法（可选链 + 中性兜底）见 #6686；'
+        + '在那之前可先把该会话目录移出 sessions/ 隔离，避免它影响会话列表');
+    } else {
+      report('session', 'S14', true, `投影安全性预检通过（${rows.length} 个事件：消息体完整、replace 引用可解析；判定视图：${view}）`);
+    }
+  }
+
   // S13：会话头完整性（#6651）——首行必须是 {"type":"session",...}
   // 实测：首行被写成事件时 dsh-doctor 的其余 S 检查**全部照常通过**（它们看的是事件流），
   // S11 甚至会报"均健康"；而 harness 侧会 `corrupt Zstandard session log` 直接拒绝启动 `dsh web`。
@@ -1682,6 +1746,11 @@ function scanAllSessions() {
     for (let li = 0; li < lines.length; li++) {
       const ln = lines[li]; if (!ln.trim()) continue;
       let d; try { d = JSON.parse(ln); } catch { problems.push(`行 ${li + 1} 无法解析`); continue; }
+      // #6686：事件类型暗示有消息体却没有 → 打开(project)时会抛错，整个会话打不开
+      if (/^(assistant\/message|tool\/result|system\/message)$/.test(String(d.type))
+          && !(d.data && typeof d.data.message === 'object' && d.data.message !== null)) {
+        problems.push(`行 ${li + 1}（${d.type}）缺 data.message（#6686：project 会抛错，会话打不开）`);
+      }
       // #6651：首行必须是会话头——否则 harness 拒绝启动 dsh web，而其余检查看不出问题
       if (!firstRowSeen) {
         firstRowSeen = true;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@moonquake2004/dsh-doctor",
-  "version": "0.4.27",
+  "version": "0.4.29",
   "description": "Offline diagnostic for DeepSeek Harness — 28 built-in + 5 catalog checks across env/profile/session (Layer A checks-as-data), self-update (Layer B), and a semi-automatic LLM observer (Layer C, --observe); Doctor panel in web UI settings.",
   "main": "lib/index.js",
   "files": [