dsh-log-contract 0.3.1 → 0.3.3

package/bin/dsh-log-contract.mjs

@@ -23,11 +23,14 @@ const USAGE = `dsh-log-contract —— 日志契约守护（DSH session log cont
       --json          输出机器可读 JSON 报告
       --max-details N 每条违规最多列 N 个缺失 seq（默认 8，--json 忽略）
 
-  dsh-log-contract fix <session-log> [--remove-markers] [--apply] [--backup-dir DIR] [--json]
+  dsh-log-contract fix <session-log> [--remove-markers] [--neutralize] [--apply] [--backup-dir DIR] [--json]
       诊断 + 修复（2026-08 事故固化方案）。先做严格 seq 连续扫描 + 契约体检
       （含 W1/W2 wire 级悬空 tool 检查），再按需修复：
       --remove-markers 移除 retrace/message-editor marker 并全量重编号
                        （用于大范围遮蔽历史 / marker 漏盖 tool/result）
+      --neutralize     原地中和 turn-null marker（type→retrace/marker +
+                       ignorable:true，删 surfaceOp/sourceEventSeqs，seq/行数不变）
+                       —— token-meter 不再刷屏，会话驻留也安全（2026-08-30 事故）
       --apply          备份后落盘（.zstd 走官方帧格式重建：帧1=header、
                        帧2=其余、带 checksum、单个结尾换行）
       不传 --apply 为干跑（只报告）。
@@ -168,6 +171,7 @@ function cmdContracts() {
 function cmdFix(args) {
   const json = args.includes('--json');
   const removeMarkers = args.includes('--remove-markers');
+  const neutralize = args.includes('--neutralize');
   const dropFailedTurns = args.includes('--drop-failed-turns');
   const trimIdx = args.indexOf('--trim-last');
   const trimLast = trimIdx >= 0 && args[trimIdx + 1] ? Number(args[trimIdx + 1]) : undefined;
@@ -179,7 +183,7 @@ function cmdFix(args) {
   const file = args.find((a) => !a.startsWith('-'));
   if (!file) fail(USAGE);
 
-  const result = repairSession(file, { removeMarkers, dropFailedTurns, trimLast, compactLast, apply, backupDir });
+  const result = repairSession(file, { removeMarkers, neutralize, dropFailedTurns, trimLast, compactLast, apply, backupDir });
   if (json) {
     process.stdout.write(JSON.stringify(result, null, 2) + '\n');
     process.exit(result.ok ? 0 : 1);
@@ -188,7 +192,7 @@ function cmdFix(args) {
   process.stdout.write(`\n🔧 dsh-log-contract fix —— ${file}\n`);
   process.stdout.write(`   诊断：${result.issues.length === 0 ? '无问题' : result.issues.map((i) => `[${i.kind}] ${i.detail}`).join('\n         ')}\n`);
   if (result.applied) {
-    process.stdout.write(`   已应用修复：移除 ${result.removed} 项，重编号 ${result.renumbered} 行\n`);
+    process.stdout.write(`   已应用修复：移除 ${result.removed} 项，重编号 ${result.renumbered} 行，中和 ${result.neutralized} 个 turn-null marker（seq ${(result.neutralizedSeqs ?? []).join(',')}）\n`);
     process.stdout.write(`   备份：${result.backupPath}\n`);
     process.stdout.write(`   修复后体检：error ${result.check.summary?.bySeverity?.error ?? '?'} ｜ surface ${result.check.summary?.surfaceNodes ?? '?'} 节点\n`);
   } else if (apply && !result.ok) {
@@ -196,7 +200,7 @@ function cmdFix(args) {
   } else if (apply) {
     process.stdout.write('   （--apply 且无问题——无内容可修）\n');
   } else {
-    process.stdout.write(`   （干跑模式：${result.removed} 项可移除、${result.renumbered} 行待重编号；加 --apply 落盘，--remove-markers / --drop-failed-turns / --trim-last N 启用于对应修复）\n`);
+    process.stdout.write(`   （干跑模式：${result.removed} 项可移除、${result.renumbered} 行待重编号、${result.neutralized} 个 turn-null marker 可中和；加 --apply 落盘，--remove-markers / --neutralize / --drop-failed-turns / --trim-last N 启用于对应修复）\n`);
   }
   process.stdout.write('\n');
   process.exit(result.ok ? 0 : 1);

package/lib/index.js

@@ -4,10 +4,10 @@
  * 日志契约守护（DSH session log contract guard）。
  * 公开 API：离线体检 + 写前校验 + 修复 + 契约目录。
  */
-export { loadSessionLog } from './log-reader.js';
+export { loadSessionLog, tailSeq } from './log-reader.js';
 export { validateSessionLog } from './validate.js';
 export { createPreWriter, preWriterFromLog } from './prewrite.js';
-export { repairSession, strictScanText, removeMarkersText, dropFailedTurnsText, trimLastMessagesText, compactLastMessagesText, rebuildZstdText } from './repair.js';
+export { repairSession, strictScanText, removeMarkersText, neutralizeMarkersText, dropFailedTurnsText, trimLastMessagesText, compactLastMessagesText, rebuildZstdText } from './repair.js';
 export { CONTRACT_RULES, LAYER, SEVERITY, ruleById } from './contracts.js';
 export { tokenMeterViolations } from './checks.js';
 export { auditToolCalls, extractText, extractToolOutputs, indexToolCalls, toolCommandOf } from './archaeology.js';

package/lib/log-reader.js

@@ -92,6 +92,49 @@ export function decompressZstd(buf) {
   return Buffer.concat(parts);
 }
 
+/**
+ * 读取文件尾部最后一条事件的 seq（看门狗 R1 用，只解最后一帧，O(帧数) 内）。
+ *
+ * 语义：zstd 多帧文件取最后一个**完整**帧解压（撕裂尾帧跳过——可能正在写入），
+ * 从帧内末尾向前找第一条合法 JSON 行，用 `decodeStorageRecord` 展开取末事件 seq
+ * （chunk 行展开后末成员即该 run 的最新 seq）。明文文件直接扫末尾。
+ *
+ * @param {string} path 日志文件路径
+ * @returns {number|null} 尾部 seq；读取失败/无可解析行返回 null（调用方降级不检查）。
+ */
+export function tailSeq(path) {
+  let buf;
+  try {
+    buf = fs.readFileSync(path);
+  } catch {
+    return null;
+  }
+  const isZstd = buf.length >= 4 && buf.readUInt32LE(0) === ZSTD_MAGIC;
+  let plain;
+  if (isZstd) {
+    const { frames } = scanZstdFrames(buf);
+    if (frames.length === 0) return null;
+    const [s, e] = frames[frames.length - 1];
+    try {
+      plain = zstdDecompressSync(buf.subarray(s, e));
+    } catch {
+      return null;
+    }
+  } else {
+    plain = buf;
+  }
+  const lines = plain.toString('utf8').split('\n');
+  for (let i = lines.length - 1; i >= 0; i--) {
+    const line = lines[i];
+    if (line.trim().length === 0) continue; // 帧边界产物（空行）跳过
+    try {
+      const decoded = decodeStorageRecord(JSON.parse(line));
+      if (decoded.length > 0) return decoded[decoded.length - 1].seq;
+    } catch { /* 损坏行/不可解析：继续向前找 */ }
+  }
+  return null;
+}
+
 /**
  * 读取并解码一个会话日志文件（.jsonl / .jsonl.zstd / 任意带 zstd 魔数的文件）。
  *

package/lib/repair.js

@@ -119,6 +119,50 @@ export function strictScanText(text) {
   return { failures, count };
 }
 
+/**
+ * 原地中和 turn-null marker（2026-08-30 事故升级：单 marker 会让 token-meter
+ * 监听器在每条事件上抛错刷屏、压垮 host 事件循环 → 全会话连锁锁定）。
+ *
+ * 机制（自检单 §3.3）：把 turn-null `assistant/message` replace marker 改写为
+ * `retrace/marker` + `ignorable: true`（dsh-session lib/index.js:1203/1209 认可
+ * envelope 级 ignorable），**删除 surfaceOp/sourceEventSeqs，不动行数/seq/时间**。
+ * 改写后该事件不再属于 SURFACE_EVENT_TYPES（dsh-session:219-223）→ foldSurface
+ * 跳过、token-meter 不做 step 配对（不再抛错刷屏）；会话驻留时也安全（seq 不变，
+ * 退出 flush 不撞车）。代价：被遮蔽的旧消息回到 surface（编辑外观回退为原文）。
+ *
+ * @param {string} text - JSONL 全文（含 header 行）。
+ * @returns {{ text: string, neutralized: number, seqs: Array<number> }}
+ */
+export function neutralizeMarkersText(text) {
+  const parts = text.split('\n');
+  const seqs = [];
+  let neutralized = 0;
+  for (let i = 0; i < parts.length; i++) {
+    const raw = parts[i];
+    if (!raw.trim()) continue;
+    let v;
+    try {
+      v = JSON.parse(raw);
+    } catch {
+      continue;
+    }
+    if (!v || typeof v !== 'object' || v.type !== 'assistant/message') continue;
+    // 只中和 turn-null 的 retrace marker（data.turn/step 为 null 且 id 带 marker 前缀）
+    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;
+    const seq = v.seq;
+    delete v.surfaceOp;
+    delete v.sourceEventSeqs;
+    v.type = 'retrace/marker';
+    v.ignorable = true;
+    parts[i] = JSON.stringify(v);
+    seqs.push(seq);
+    neutralized++;
+  }
+  return { text: parts.join('\n'), neutralized, seqs };
+}
+
 /**
  * 移除 retrace/message-editor marker 并全量重编号。
  * @param {string} text - JSONL 全文。
@@ -555,11 +599,11 @@ export function rebuildZstdText(text) {
  * @param {string} file - .jsonl 或 .jsonl.zstd 路径。
  * @param {{
  *   removeMarkers?: boolean, dropFailedTurns?: boolean, trimLast?: number, compactLast?: number,
- *   apply?: boolean, backupDir?: string
+ *   neutralize?: boolean, apply?: boolean, backupDir?: string
  * }} opts
  * @returns {{
  *   file, ok, issues: Array<{kind:string, detail:string}>,
- *   removed, renumbered, backupPath, applied,
+ *   removed, renumbered, neutralized, neutralizedSeqs: Array<number>, backupPath, applied,
  *   check: { ok, summary }
  * }}
  */
@@ -610,6 +654,17 @@ export function repairSession(file, opts = {}) {
     const r = removeMarkersText(plain);
     applyFix('markers', r, `移除 ${r.removed} 个 retrace/message-editor marker（重编号 ${r.renumbered} 行）`);
   }
+  let neutralized = 0;
+  const neutralizedSeqs = [];
+  if (opts.neutralize) {
+    const r = neutralizeMarkersText(plain);
+    neutralized = r.neutralized;
+    neutralizedSeqs.push(...r.seqs);
+    if (r.neutralized > 0) {
+      issues.push({ kind: 'neutralize', detail: `原地中和 ${r.neutralized} 个 turn-null marker（type→retrace/marker + ignorable:true，删除 surfaceOp/sourceEventSeqs，seq/行数不变）→ token-meter 不再刷屏` });
+      plain = r.text;
+    }
+  }
   if (typeof opts.trimLast === 'number') {
     const r = trimLastMessagesText(plain, opts.trimLast);
     applyFix('trim', r, `裁剪到最近 ${r.kept} 条消息（丢弃 ${r.removed} 行，重编号 ${r.renumbered} 行）`);
@@ -652,6 +707,8 @@ export function repairSession(file, opts = {}) {
     issues,
     removed,
     renumbered,
+    neutralized,
+    neutralizedSeqs,
     backupPath,
     applied,
     check,

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.1",
+  "version": "0.3.3",
   "type": "module",
   "main": "lib/index.js",
   "bin": {