dsh-retrace 0.4.5 → 0.4.7

package/README.md

@@ -328,3 +328,26 @@ DeepSeek Harness community.
 ## 📄 License
 
 MIT
+
+
+## 🧭 会话日志考古（retrace CLI）
+
+DSH 会话日志持久化了每次工具调用的完整输入输出——数据资产与审计资产。
+`retrace` CLI 提供只读考古能力（复用 dsh-log-contract 0.3.0 的契约与提取）：
+
+```sh
+retrace index <session>                        # 工具调用索引（A1）
+retrace query <session> --cmd "seed-scale"     # 按命令正则查输出（A1）
+retrace extract <session> --pattern "seed-scale" --out ./found   # 导出输出（A2）
+retrace file-history <session> <path>          # 文件 write/edit 历史版本（A3）
+retrace file-diff <session> <path> 0 5         # 两版本行级 diff（A3）
+retrace lineage <session>                      # 会话 parent 链谱系（A4）
+```
+
+<session> 为完整日志路径或 sessionId（自动在 ~/.dsh/sessions 查找）。全部只读。
+
+**分叉图里的会话谱系（A4,UI）**：Fork map 视图头部展示当前会话的
+`parentSession` 接续链（当前会话 → 父 → 根,`←` 方向）。数据来自
+`GET /api/plugins/retrace/lineage?sessionId=`（只读 header 遍历,带环保护）,
+与 CLI `retrace lineage` 同一语义。这样"这个会话是从哪个会话接着干/分叉出来的"
+在界面上一眼可见——也是分叉图拓扑的元数据源。

package/bin/retrace.mjs

@@ -0,0 +1,137 @@
+#!/usr/bin/env node
+/**
+ * dsh-retrace · bin/retrace.mjs
+ *
+ * 会话日志考古 CLI（任务书 A1-A4）——只读，不写任何日志。
+ *
+ *   retrace index <session> [--json]
+ *       工具调用索引：调用数 / 配对率 / 孤儿数 / 命令分布（A1）
+ *   retrace query <session> --cmd <regex> [--json]
+ *       按命令正则查工具输出（A1）
+ *   retrace extract <session> --pattern <regex> --out <dir> [--min-size N]
+ *       导出匹配命令的工具输出到目录（A2）
+ *   retrace file-history <session> <path> [--json]
+ *       某文件的所有 write/edit 历史版本（A3）
+ *   retrace file-diff <session> <path> <v1> <v2>
+ *       两个历史版本的行级 diff（A3）
+ *   retrace lineage <session> [--json]
+ *       会话 parent 链谱系（A4，分叉图数据源）
+ *
+ * <session> 为完整文件路径或 sessionId（自动在 ~/.dsh/sessions 查找）。
+ */
+import fs from 'node:fs';
+import { loadSessionLog, extractToolOutputs, auditToolCalls } from 'dsh-log-contract';
+import { replayFileHistory, diffLines, resolveSessionFile, lineageOf } from '../lib/archaeology-cli.js';
+
+const USAGE = `dsh-retrace 考古 CLI —— 会话日志数据/审计资产挖掘（只读）
+
+用法：
+  retrace index <session> [--json]
+  retrace query <session> --cmd <regex> [--json]
+  retrace extract <session> --pattern <regex> --out <dir> [--min-size N]
+  retrace file-history <session> <path> [--json]
+  retrace file-diff <session> <path> <v1> <v2>
+  retrace lineage <session> [--json]`;
+
+function fail(msg) {
+  process.stderr.write(`❌ ${msg}\n\n${USAGE}\n`);
+  process.exit(1);
+}
+
+const args = process.argv.slice(2);
+const cmd = args[0];
+const rest = args.slice(1);
+const json = rest.includes('--json');
+const positional = rest.filter((a) => !a.startsWith('-'));
+const opt = (name, def) => {
+  const i = rest.indexOf(name);
+  return i >= 0 && rest[i + 1] ? rest[i + 1] : def;
+};
+
+function main() {
+  if (cmd === 'index') {
+    const file = resolveSessionFile(positional[0] ?? fail('index 需要 <session>'));
+    const log = loadSessionLog(file);
+    const report = auditToolCalls(log.events.map((e) => e.event));
+    if (json) return process.stdout.write(JSON.stringify({ file, ...report }, null, 2) + '\n');
+    process.stdout.write(`📇 retrace index —— ${file}\n`);
+    process.stdout.write(`   工具调用 ${report.calls} ｜ 结果 ${report.results} ｜ 孤儿 ${report.orphans} ｜ 配对率 ${(report.pairingRate * 100).toFixed(1)}%\n`);
+    process.stdout.write(`   输出总字节 ${report.outputBytes}${report.largest ? ` ｜ 最大 ${report.largest.size}B（${(report.largest.command || '?').slice(0, 40)}）` : ''}\n`);
+    process.stdout.write(`   命令分布（前 8）：\n`);
+    for (const { command, count } of report.commands.top.slice(0, 8)) {
+      process.stdout.write(`     ${String(count).padStart(4)}  ${(command || '(no-command)').slice(0, 70)}\n`);
+    }
+  } else if (cmd === 'query' || cmd === 'extract') {
+    const pattern = opt('--cmd', opt('--pattern', ''));
+    if (!pattern) fail(`${cmd} 需要 --cmd/--pattern <regex>`);
+    const file = resolveSessionFile(positional[0] ?? fail(`${cmd} 需要 <session>`));
+    const log = loadSessionLog(file);
+    const minSize = cmd === 'extract' ? Number(opt('--min-size', '50')) : 0;
+    const { pairs, total } = extractToolOutputs(log.events.map((e) => e.event), pattern, { minSize });
+    if (cmd === 'query') {
+      if (json) return process.stdout.write(JSON.stringify({ file, pattern, matched: pairs.length, total, pairs: pairs.map((p) => ({ callId: p.callId, command: p.command, size: p.size, text: p.text.slice(0, 500) })) }, null, 2) + '\n');
+      process.stdout.write(`🔎 retrace query —— ${file} ｜ /${pattern}/\n`);
+      process.stdout.write(`   匹配 ${pairs.length} 个输出（共 ${total} 个调用）\n`);
+      for (const p of pairs.slice(0, 5)) process.stdout.write(`   - [${p.size}B] ${p.command.slice(0, 50)}… ${p.text.slice(0, 70).replace(/\n/g, ' ')}…\n`);
+      if (pairs.length > 5) process.stdout.write(`   … 其余 ${pairs.length - 5} 个（extract --out 导出全部）\n`);
+    } else {
+      const outDir = opt('--out', '');
+      if (!outDir) fail('extract 需要 --out <dir>');
+      fs.mkdirSync(outDir, { recursive: true });
+      let written = 0;
+      for (const p of pairs) {
+        fs.writeFileSync(`${outDir}/${p.callId.replace(/[^a-zA-Z0-9_-]/g, '_')}.txt`, p.text);
+        written += 1;
+      }
+      process.stdout.write(`📤 retrace extract —— ${file} ｜ /${pattern}/ ｜ ${written}/${pairs.length} 输出 → ${outDir}\n`);
+    }
+  } else if (cmd === 'file-history') {
+    const file = resolveSessionFile(positional[0] ?? fail('file-history 需要 <session>'));
+    const path = positional[1] ?? fail('file-history 需要 <path>');
+    const log = loadSessionLog(file);
+    const { files } = replayFileHistory(log.events.map((e) => e.event));
+    const history = files.get(path) ?? [];
+    if (json) return process.stdout.write(JSON.stringify({ file, path, versions: history.map((v) => ({ seq: v.seq, time: v.time, kind: v.kind, tool: v.tool, hash: v.hash, size: v.size })) }, null, 2) + '\n');
+    process.stdout.write(`📜 retrace file-history —— ${path}（${file}）\n`);
+    if (history.length === 0) {
+      process.stdout.write('   （该文件无 write/edit 记录）\n');
+    } else {
+      history.forEach((v, i) => {
+        process.stdout.write(`   v${i} [${v.kind}/${v.tool}] seq ${v.seq} ${v.size}B ${v.hash} ${(v.time ? new Date(v.time).toISOString().slice(5, 16) : '')}\n`);
+      });
+    }
+  } else if (cmd === 'file-diff') {
+    const file = resolveSessionFile(positional[0] ?? fail('file-diff 需要 <session>'));
+    const path = positional[1] ?? fail('file-diff 需要 <path>');
+    const v1 = Number(positional[2]);
+    const v2 = Number(positional[3]);
+    if (!Number.isInteger(v1) || !Number.isInteger(v2)) fail('file-diff 需要 <v1> <v2>（版本索引）');
+    const log = loadSessionLog(file);
+    const { files } = replayFileHistory(log.events.map((e) => e.event));
+    const history = files.get(path) ?? [];
+    if (v1 < 0 || v2 < 0 || v1 >= history.length || v2 >= history.length) fail(`版本索引越界（共 ${history.length} 个版本）`);
+    const lines = diffLines(history[v1].content, history[v2].content);
+    process.stdout.write(`🔀 retrace file-diff —— ${path} v${v1}(${history[v1].hash}) → v${v2}(${history[v2].hash})\n`);
+    let added = 0;
+    let removed = 0;
+    for (const line of lines) {
+      if (line.op === 'add') added += 1;
+      if (line.op === 'del') removed += 1;
+    }
+    process.stdout.write(`   +${added} / -${removed}\n`);
+    for (const line of lines.slice(0, 40)) {
+      process.stdout.write(`   ${line.op === 'add' ? '+' : line.op === 'del' ? '-' : ' '} ${line.text}\n`);
+    }
+    if (lines.length > 40) process.stdout.write(`   … 其余 ${lines.length - 40} 行\n`);
+  } else if (cmd === 'lineage') {
+    const file = resolveSessionFile(positional[0] ?? fail('lineage 需要 <session>'));
+    const log = loadSessionLog(file);
+    const lineage = lineageOf(log);
+    if (json) return process.stdout.write(JSON.stringify(lineage, null, 2) + '\n');
+    process.stdout.write(`🌿 retrace lineage —— ${lineage.id}\n`);
+    process.stdout.write(`   parent: ${lineage.parentId ?? '(无，根会话)'}\n`);
+  } else {
+    fail(cmd ? `未知命令 "${cmd}"` : '缺少命令');
+  }
+}
+main();

package/lib/archaeology-cli.js

@@ -0,0 +1,150 @@
+/**
+ * dsh-retrace · lib/archaeology-cli.js
+ *
+ * 会话日志考古 CLI 的核心逻辑（任务书 dsh-会话日志考古-插件任务与方法.md A1-A4）。
+ * 与 dsh-log-contract 的 archaeology.js 分工：B 侧提供 extract/audit 纯函数，
+ * 本模块提供 A 侧的文件版本考古（write/edit 重放）与谱系（parent 链）。
+ * **只读不写**（纪律 §8.1）。
+ */
+import { loadSessionLog, extractToolOutputs, auditToolCalls } from 'dsh-log-contract';
+import { accessSync, readdirSync } from 'node:fs';
+import { join } from 'node:path';
+import { homedir } from 'node:os';
+
+/** 文件写工具名（与 host-core WRITE_TOOLS 同族；DSH 真实工具名为裸 write/edit）。 */
+const WRITE_NAMES = /^(?:fs\.)?(?:write|edit|create|append|patch|apply-patch)$/i;
+
+/** 从 tool/call 提取文件操作 { path, kind: 'write'|'edit', content? }。 */
+export function fileOpFromCall(event) {
+  if (event?.type !== 'tool/call') return null;
+  const name = typeof event.data?.name === 'string' ? event.data.name : '';
+  if (!WRITE_NAMES.test(name)) return null;
+  let args = {};
+  try {
+    args = typeof event.data?.arguments === 'string' ? JSON.parse(event.data.arguments) : event.data?.arguments ?? {};
+  } catch {
+    return null;
+  }
+  const path = args.file_path ?? args.path ?? args.filePath ?? args.file ?? args.target;
+  if (typeof path !== 'string' || path === '') return null;
+  const isEdit = /edit|patch/i.test(name);
+  if (isEdit) {
+    if (typeof args.old_string !== 'string' || typeof args.new_string !== 'string') return null;
+    return { path, kind: 'edit', oldString: args.old_string, newString: args.new_string, seq: event.seq, time: event.time, name };
+  }
+  if (typeof args.content !== 'string') return null;
+  return { path, kind: 'write', content: args.content, seq: event.seq, time: event.time, name };
+}
+
+/**
+ * 重放会话内全部文件写操作 → 每文件的版本序列（A3）。
+ * write 记全量；edit 基于上一版本做 old→new 替换（重放得到全量）。
+ *
+ * @param events - 会话事件数组。
+ * @returns {{
+ *   files: Map<path, Array<{ seq, time, kind, tool, hash, size, content }>>,
+ * }}
+ */
+export function replayFileHistory(events) {
+  const files = new Map();
+  for (const event of events) {
+    const op = fileOpFromCall(event);
+    if (!op) continue;
+    const history = files.get(op.path) ?? [];
+    let content;
+    if (op.kind === 'write') {
+      content = op.content;
+    } else {
+      const prev = history[history.length - 1]?.content ?? '';
+      content = prev.includes(op.oldString) ? prev.replace(op.oldString, op.newString) : prev;
+    }
+    history.push({
+      seq: op.seq,
+      time: op.time,
+      kind: op.kind,
+      tool: op.name,
+      hash: simpleHash(content),
+      size: content.length,
+      content,
+    });
+    files.set(op.path, history);
+  }
+  return { files };
+}
+
+/** 轻量内容哈希（考古版本标识用，非加密）。 */
+export function simpleHash(text) {
+  let h = 2166136261;
+  for (let i = 0; i < text.length; i++) {
+    h ^= text.charCodeAt(i);
+    h = Math.imul(h, 16777619);
+  }
+  return (h >>> 0).toString(16).padStart(8, '0');
+}
+
+/** 行级 diff：返回 { added, removed, lines: [{op:'same'|'add'|'del', text}] }。 */
+export function diffLines(a, b) {
+  const al = a.split('\n');
+  const bl = b.split('\n');
+  const lines = [];
+  let i = 0;
+  let j = 0;
+  // 简单前缀/后缀对齐（考古 diff 够用；完整 LCS 不必要）
+  while (i < al.length && j < bl.length && al[i] === bl[j]) {
+    lines.push({ op: 'same', text: al[i] });
+    i++;
+    j++;
+  }
+  const at = al.length - 1;
+  const bt = bl.length - 1;
+  let ae = al.length;
+  let be = bl.length;
+  while (ae > i && be > j && al[ae - 1] === bl[be - 1]) {
+    ae--;
+    be--;
+  }
+  for (let k = i; k < ae; k++) lines.push({ op: 'del', text: al[k] });
+  for (let k = j; k < be; k++) lines.push({ op: 'add', text: bl[k] });
+  while (ae < al.length) {
+    lines.push({ op: 'same', text: al[ae] });
+    ae++;
+  }
+  return lines;
+}
+
+/** 解析会话参数：完整文件路径，或 sessionId（在 ~/.dsh/sessions 下查找）。 */
+export function resolveSessionFile(ref) {
+  if (typeof ref !== 'string' || ref === '') throw new Error('session 参数不能为空');
+  if (ref.includes('/') || ref.endsWith('.zstd') || ref.endsWith('.jsonl')) return ref;
+  // 按 id 在所有工作区查找
+  const root = join(homedir(), '.dsh', 'sessions');
+  for (const workspace of readdirSync(root)) {
+    const candidate = join(root, workspace, ref, 'session.jsonl.zstd');
+    try {
+      accessSync(candidate);
+      return candidate;
+    } catch { /* keep looking */ }
+  }
+  throw new Error(`session "${ref}" 未在 ~/.dsh/sessions 下找到`);
+}
+
+/**
+ * 谱系（A4）：从当前会话沿 header.parentSession 追溯父链。
+ * @param log - loadSessionLog 结果。
+ * @returns {{ id, parentId, ancestors: Array<{id, parentId}> }}
+ */
+export function lineageOf(log) {
+  const header = log?.header ?? {};
+  const ancestors = [];
+  let parentId = header.parentSession ?? null;
+  const seen = new Set([header.id]);
+  while (parentId && !seen.has(parentId)) {
+    seen.add(parentId);
+    ancestors.push({ id: parentId, parentId: null });
+    // 父会话文件在同一工作区；不递归读文件（只列 id 链，内容读取留给调用方）
+    parentId = null; // 需要父文件才能继续；单次给出直接父
+  }
+  return { id: header.id, parentId: header.parentSession ?? null, ancestors };
+}
+
+export { extractToolOutputs, auditToolCalls, loadSessionLog };

package/lib/client.bundle.js

@@ -65,6 +65,7 @@ var zh = {
   "marker.referenceHint": "\u70B9\u51FB\u5C55\u5F00\u67E5\u770B\u539F\u63D0\u95EE\uFF08\u4EC5\u4F5C\u5BF9\u7167\uFF0C\u4E0D\u4F1A\u8FDB\u5165\u6A21\u578B\u4E0A\u4E0B\u6587\uFF09",
   "marker.degradedHint": "\u6B64\u64CD\u4F5C\u6D89\u53CA\u5927\u8303\u56F4\u5BF9\u8BDD\uFF0C\u4E3A\u4FDD\u62A4\u5386\u53F2\u672A\u9690\u85CF\u5185\u5BB9\uFF08\u65E5\u5FD7\u5B8C\u597D\uFF09\u3002",
   "marker.unionHint": "\u5DF2\u7D2F\u79EF\u9690\u85CF\u7EA6 {count}% \u7684\u5386\u53F2\u6D88\u606F\uFF1B\u53EF\u5728 \u8BBE\u7F6E\u2192\u901A\u7528 \u5173\u95ED\u300C\u6309\u6807\u8BB0\u9690\u85CF\u300D\u67E5\u770B\u5B8C\u6574\u5386\u53F2\u3002",
+  "marker.t1Broken": "\u7F16\u8F91\u5DF2\u751F\u6548\uFF1B\u6B64\u6807\u8BB0\u4F1A\u4F7F\u672C\u4F1A\u8BDD\u7684 /compact \u5931\u6548\u3002\u79BB\u7EBF\u6E05\u7406\uFF1A\u5173\u95ED\u4F1A\u8BDD\u540E\u8FD0\u884C dsh-log-contract fix --drop-turnnull\uFF08\u7F16\u8F91\u5916\u89C2\u4F1A\u56DE\u9000\u4E3A\u539F\u59CB\u5185\u5BB9\uFF09\u3002",
   "options.title": "\u6D88\u606F\u7F16\u8F91\u63D2\u4EF6",
   "options.showOriginalInput": "\u7F16\u8F91\u540E\u663E\u793A\u539F\u63D0\u95EE\u5BF9\u7167",
   "options.editFromScratch": "\u7F16\u8F91\u540E\u4ECE\u65B0\u5BF9\u8BDD\u5F00\u59CB\uFF08\u9690\u85CF\u6B64\u524D\u7684\u6D88\u606F\uFF0C\u9ED8\u8BA4\u5173\uFF09",
@@ -115,6 +116,7 @@ var zh = {
   "timeline.trajectory": "\u8F68\u8FF9\u53F0\u8D26",
   "timeline.jump": "\u8DF3\u8F6C",
   "timeline.jumpFailed": "\u8BE5\u7248\u672C\u5728\u8F83\u8FDC\u7684\u8FC7\u53BB\uFF08\u8D85\u51FA\u81EA\u52A8\u52A0\u8F7D\u9884\u7B97\uFF09\uFF0C\u65E0\u6CD5\u76F4\u63A5\u5B9A\u4F4D\u3002\u8BF7\u5411\u4E0A\u6EDA\u52A8\u52A0\u8F7D\u66F4\u65E9\u6D88\u606F\u540E\u91CD\u8BD5\uFF1B\u6216\u7528\u300C\u8BE6\u60C5\u300D\u67E5\u770B\u8BE5\u7248\u672C\u5F53\u65F6\u7684\u4E8B\u4EF6\u539F\u6587\u3002",
+  "timeline.doctorWarn": "\u8BE5\u4F1A\u8BDD\u542B {count} \u4E2A\u7F16\u8F91/\u64A4\u56DE\u6807\u8BB0\uFF0C\u538B\u7F29\uFF08/compact\uFF09\u524D\u8BF7\u5148\u6E05\u7406\uFF08token meter \u517C\u5BB9\uFF09\u3002",
   "timeline.gitRepo": "git \u4ED3\u5E93",
   "timeline.gitHead": "HEAD {hash}",
   "timeline.gitDirty": "\u5DE5\u4F5C\u533A\u6709\u672A\u63D0\u4EA4\u6539\u52A8",
@@ -132,7 +134,12 @@ var zh = {
   "fork.node.user": "\u7528\u6237\u6D88\u606F",
   "fork.node.assistant": "\u52A9\u624B\u56DE\u590D",
   "fork.node.tool": "\u5DE5\u5177\u7ED3\u679C",
-  "fork.histTitle": "\u5386\u53F2\u5206\u53C9\u70B9"
+  "fork.histTitle": "\u5386\u53F2\u5206\u53C9\u70B9",
+  "fork.lineage": "\u4F1A\u8BDD\u8C31\u7CFB",
+  "fork.lineageThis": "\u5F53\u524D\u4F1A\u8BDD",
+  "fork.lineageParent": "\u7236\u4F1A\u8BDD",
+  "fork.lineageRoot": "\u6839\u4F1A\u8BDD",
+  "fork.lineageEmpty": "\u672C\u4F1A\u8BDD\u6CA1\u6709\u7236\u4F1A\u8BDD\uFF08\u72EC\u7ACB\u6839\u4F1A\u8BDD\uFF09\u3002"
 };
 var en = {
   "action.edit": "Edit",
@@ -152,6 +159,7 @@ var en = {
   "marker.referenceHint": "Click to expand the original input (reference only, never sent to the model)",
   "marker.degradedHint": "This operation spans a large part of the conversation; content stays visible to protect your history (the log is intact).",
   "marker.unionHint": 'About {count}% of the history is hidden in total; disable "Hide shadowed messages" in Settings \u2192 General to review the full history.',
+  "marker.t1Broken": "Edit applied; this marker will break /compact for this session. Offline clean-up: close the session and run dsh-log-contract fix --drop-turnnull (the edit reverts to the original content).",
   "options.title": "Message editor plugin",
   "options.showOriginalInput": "Show the original input after editing",
   "options.editFromScratch": "Start a fresh conversation after editing (hide earlier messages, default off)",
@@ -202,6 +210,7 @@ var en = {
   "timeline.trajectory": "Trajectory",
   "timeline.jump": "Jump",
   "timeline.jumpFailed": "This version lies too far back (beyond the auto-load budget) to locate directly. Scroll up to load earlier messages, or use Details to read the original event text of this version.",
+  "timeline.doctorWarn": "This session has {count} edit/recall markers; clean them before /compact (token-meter compatibility).",
   "timeline.gitRepo": "git repository",
   "timeline.gitHead": "HEAD {hash}",
   "timeline.gitDirty": "working tree has uncommitted changes",
@@ -219,7 +228,12 @@ var en = {
   "fork.node.user": "User message",
   "fork.node.assistant": "Assistant reply",
   "fork.node.tool": "Tool result",
-  "fork.histTitle": "Historical fork points"
+  "fork.histTitle": "Historical fork points",
+  "fork.lineage": "Session lineage",
+  "fork.lineageThis": "This session",
+  "fork.lineageParent": "Parent session",
+  "fork.lineageRoot": "Root session",
+  "fork.lineageEmpty": "This session has no parent (standalone root)."
 };
 var SURFACE_TYPES = /* @__PURE__ */ new Set(["user/message", "assistant/message", "tool/result"]);
 function isReplacementSurfaceEvent(event) {
@@ -659,6 +673,9 @@ function UserActionsRow({ node, sessionId, useSession, inputActions, t }) {
       setFailure(code === "agent-busy" ? t("error.busy") : result?.error?.message ?? t("error.generic"));
       return;
     }
+    if (result.value?.markerT1Broken === true) {
+      setFailure(t("marker.t1Broken"));
+    }
     if (op === "recall") {
       const echoed = typeof result.value?.text === "string" && result.value.text.length > 0 ? result.value.text : textOf(content);
       if (echoed && inputActions && typeof inputActions.setDraft === "function") {
@@ -855,6 +872,8 @@ var CSS = `
 .dsh-rt-timeline-head{display:flex;align-items:center;gap:8px;flex:none}
 .dsh-rt-timeline-title{color:var(--dsw-alias-label-primary);font-size:13px;font-weight:600;line-height:20px;flex:1}
 .dsh-rt-timeline-git{display:flex;align-items:center;gap:6px;flex:none;border:1px dashed var(--dsw-alias-border-l2);border-radius:8px;padding:4px 8px}
+.dsh-rt-doctor{border-color:var(--dsw-alias-state-warning-primary);background:var(--dsw-alias-state-warn-tertiary)}
+.dsh-rt-doctor .dsh-rt-timeline-git-text{color:var(--dsw-alias-state-warning-primary)}
 .dsh-rt-timeline-git-text{color:var(--dsw-alias-label-caption);font-size:11px;line-height:16px}
 .dsh-rt-timeline-list{overflow-y:auto;flex:1;min-height:0;position:relative;--dsh-scrollbar-thumb:var(--dsw-alias-scrollbar-bg-l2)}
 .dsh-rt-timeline-empty{color:var(--dsw-alias-label-tertiary);font-size:12px;line-height:18px;padding:12px 4px;text-align:center}
@@ -904,6 +923,14 @@ var CSS = `
 .dsh-rt-fork-hist{display:flex;flex-direction:column;gap:4px;border-top:1px solid var(--dsw-alias-border-l2);padding-top:8px;overflow-y:auto;flex:none}
 .dsh-rt-fork-hist-row{display:flex;align-items:flex-start;gap:8px;padding:4px 8px;border-radius:8px}
 .dsh-rt-fork-hist-row:hover{background:var(--dsw-alias-interactive-bg-hover)}
+.dsh-rt-fork-lineage{display:flex;flex-direction:column;gap:4px;border:1px solid var(--dsw-alias-border-l2);background:var(--dsw-alias-bg-elevated);border-radius:8px;padding:8px;flex:none}
+.dsh-rt-fork-lineage-hop{display:flex;align-items:baseline;gap:8px;min-width:0}
+.dsh-rt-fork-lineage-tag{font-size:11px;font-weight:500;line-height:16px;color:var(--dsw-alias-label-secondary);flex:none}
+.dsh-rt-lineage-this .dsh-rt-fork-lineage-tag{color:var(--dsw-alias-state-info-primary)}
+.dsh-rt-lineage-root .dsh-rt-fork-lineage-tag{color:var(--dsw-alias-state-success-primary)}
+.dsh-rt-fork-lineage-id{font-family:var(--dsw-font-mono);font-size:11px;line-height:16px;color:var(--dsw-alias-label-primary);min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
+.dsh-rt-fork-lineage-arrow{font-size:11px;line-height:16px;color:var(--dsw-alias-label-caption);flex:none}
+.dsh-rt-fork-lineage-empty{font-size:11px;line-height:16px;color:var(--dsw-alias-label-caption);border:1px solid var(--dsw-alias-border-l2);border-radius:8px;padding:6px 8px;flex:none}
 `;
 var JUMP_PAGE_BUDGET = 24;
 function switchToViewTab(viewId) {
@@ -1055,6 +1082,7 @@ function RetraceView({ sessionId, useProjection, t, actions, store }) {
   const [previewScope, setPreviewScope] = (0, import_react.useState)("both");
   const [rollbackBusy, setRollbackBusy] = (0, import_react.useState)(false);
   const [scrollTop, setScrollTop] = (0, import_react.useState)(0);
+  const [doctor, setDoctor] = (0, import_react.useState)(null);
   const projected = typeof useProjection === "function" ? useProjection("retrace/versions") : void 0;
   (0, import_react.useEffect)(() => {
     if (projected && Array.isArray(projected.versions)) setVersions(projected.versions);
@@ -1074,6 +1102,7 @@ function RetraceView({ sessionId, useProjection, t, actions, store }) {
   (0, import_react.useEffect)(() => {
     if (projected === void 0) refresh();
     refreshGit();
+    timelineGet(`/doctor?sessionId=${encodeURIComponent(sessionId)}`).then((result) => setDoctor(result?.ok === true ? result.value : null)).catch(() => setDoctor(null));
   }, []);
   const jump = (boundarySeq) => jumpToAnchor(store, boundarySeq);
   const requestPreview = (record) => {
@@ -1122,6 +1151,9 @@ function RetraceView({ sessionId, useProjection, t, actions, store }) {
         onClick: refresh
       }, t("timeline.refresh"))
     ]),
+    doctor && doctor.enabled && doctor.markerCount > 0 && (0, import_react.createElement)("div", { key: "doctor", className: "dsh-rt-timeline-git dsh-rt-doctor" }, [
+      (0, import_react.createElement)("span", { key: "text", className: "dsh-rt-timeline-git-text" }, t("timeline.doctorWarn", { count: doctor.markerCount }))
+    ]),
     git !== null && git !== void 0 && (0, import_react.createElement)("div", { key: "git", className: "dsh-rt-timeline-git" }, [
       git.headHash ? [
         (0, import_react.createElement)("span", { key: "r", className: "dsh-rt-timeline-git-text" }, `${t("timeline.gitRepo")} \xB7 ${t("timeline.gitHead", { hash: git.headHash.slice(0, 8) })}${git.dirty ? ` \xB7 ${t("timeline.gitDirty")}` : ""}`)
@@ -1237,6 +1269,7 @@ function ForkView({ sessionId, useProjection, t, actions, store }) {
   const [loading, setLoading] = (0, import_react.useState)(false);
   const [error, setError] = (0, import_react.useState)(null);
   const [scrollTop, setScrollTop] = (0, import_react.useState)(0);
+  const [lineage, setLineage] = (0, import_react.useState)(null);
   const projected = typeof useProjection === "function" ? useProjection("retrace/forkmap") : void 0;
   const versions = typeof useProjection === "function" ? useProjection("retrace/versions") : void 0;
   const markerBySeq = new Map((versions?.versions ?? []).map((v) => [v.boundarySeq, v.markerText]));
@@ -1253,6 +1286,10 @@ function ForkView({ sessionId, useProjection, t, actions, store }) {
   };
   (0, import_react.useEffect)(() => {
     if (projected === void 0) refresh();
+    timelineGet(`/lineage?sessionId=${encodeURIComponent(sessionId)}`).then((result) => {
+      if (result && result.ok === true && Array.isArray(result.value)) setLineage(result.value);
+    }).catch(() => {
+    });
   }, []);
   const nodes = fork?.nodes ?? [];
   const boundaries = fork?.boundaries ?? [];
@@ -1278,6 +1315,22 @@ function ForkView({ sessionId, useProjection, t, actions, store }) {
         onClick: refresh
       }, t("fork.refresh"))
     ]),
+    Array.isArray(lineage) && lineage.length > 1 && (0, import_react.createElement)("div", { key: "lineage", className: "dsh-rt-fork-lineage" }, [
+      (0, import_react.createElement)("div", { key: "lt", className: "dsh-rt-fork-spine-label" }, t("fork.lineage")),
+      lineage.map((hop, i) => (0, import_react.createElement)("div", {
+        key: hop.id,
+        className: `dsh-rt-fork-lineage-hop${i === 0 ? " dsh-rt-lineage-this" : ""}${i === lineage.length - 1 ? " dsh-rt-lineage-root" : ""}`
+      }, [
+        (0, import_react.createElement)(
+          "span",
+          { key: "tag", className: "dsh-rt-fork-lineage-tag" },
+          i === 0 ? t("fork.lineageThis") : i === lineage.length - 1 ? t("fork.lineageRoot") : t("fork.lineageParent")
+        ),
+        (0, import_react.createElement)("span", { key: "id", className: "dsh-rt-fork-lineage-id" }, hop.id),
+        i < lineage.length - 1 && (0, import_react.createElement)("span", { key: "arrow", className: "dsh-rt-fork-lineage-arrow" }, "\u2190")
+      ]))
+    ]),
+    Array.isArray(lineage) && lineage.length <= 1 && (0, import_react.createElement)("div", { key: "lineage-empty", className: "dsh-rt-fork-lineage-empty" }, t("fork.lineageEmpty")),
     error !== null && (0, import_react.createElement)("div", { key: "error", className: "dsh-rt-error" }, error),
     loading && (0, import_react.createElement)("div", { key: "loading", className: "dsh-rt-timeline-empty" }, t("timeline.loading")),
     !loading && nodes.length === 0 && (0, import_react.createElement)("div", { key: "empty", className: "dsh-rt-timeline-empty" }, t("fork.empty")),

package/lib/client.js

@@ -73,6 +73,7 @@ const zh = {
   'marker.referenceHint': '点击展开查看原提问（仅作对照，不会进入模型上下文）',
   'marker.degradedHint': '此操作涉及大范围对话，为保护历史未隐藏内容（日志完好）。',
   'marker.unionHint': '已累积隐藏约 {count}% 的历史消息；可在 设置→通用 关闭「按标记隐藏」查看完整历史。',
+  'marker.t1Broken': '编辑已生效；此标记会使本会话的 /compact 失效。离线清理：关闭会话后运行 dsh-log-contract fix --drop-turnnull（编辑外观会回退为原始内容）。',
   'options.title': '消息编辑插件',
   'options.showOriginalInput': '编辑后显示原提问对照',
   'options.editFromScratch': '编辑后从新对话开始（隐藏此前的消息，默认关）',
@@ -123,6 +124,7 @@ const zh = {
   'timeline.trajectory': '轨迹台账',
   'timeline.jump': '跳转',
   'timeline.jumpFailed': '该版本在较远的过去（超出自动加载预算），无法直接定位。请向上滚动加载更早消息后重试；或用「详情」查看该版本当时的事件原文。',
+  'timeline.doctorWarn': '该会话含 {count} 个编辑/撤回标记，压缩（/compact）前请先清理（token meter 兼容）。',
   'timeline.gitRepo': 'git 仓库',
   'timeline.gitHead': 'HEAD {hash}',
   'timeline.gitDirty': '工作区有未提交改动',
@@ -141,6 +143,11 @@ const zh = {
   'fork.node.assistant': '助手回复',
   'fork.node.tool': '工具结果',
   'fork.histTitle': '历史分叉点',
+  'fork.lineage': '会话谱系',
+  'fork.lineageThis': '当前会话',
+  'fork.lineageParent': '父会话',
+  'fork.lineageRoot': '根会话',
+  'fork.lineageEmpty': '本会话没有父会话（独立根会话）。',
 }
 /** English dictionary, checked complete against the zh key set. */
 const en = {
@@ -161,6 +168,7 @@ const en = {
   'marker.referenceHint': 'Click to expand the original input (reference only, never sent to the model)',
   'marker.degradedHint': 'This operation spans a large part of the conversation; content stays visible to protect your history (the log is intact).',
   'marker.unionHint': 'About {count}% of the history is hidden in total; disable "Hide shadowed messages" in Settings → General to review the full history.',
+  'marker.t1Broken': 'Edit applied; this marker will break /compact for this session. Offline clean-up: close the session and run dsh-log-contract fix --drop-turnnull (the edit reverts to the original content).',
   'options.title': 'Message editor plugin',
   'options.showOriginalInput': 'Show the original input after editing',
   'options.editFromScratch': 'Start a fresh conversation after editing (hide earlier messages, default off)',
@@ -211,6 +219,7 @@ const en = {
   'timeline.trajectory': 'Trajectory',
   'timeline.jump': 'Jump',
   'timeline.jumpFailed': 'This version lies too far back (beyond the auto-load budget) to locate directly. Scroll up to load earlier messages, or use Details to read the original event text of this version.',
+  'timeline.doctorWarn': 'This session has {count} edit/recall markers; clean them before /compact (token-meter compatibility).',
   'timeline.gitRepo': 'git repository',
   'timeline.gitHead': 'HEAD {hash}',
   'timeline.gitDirty': 'working tree has uncommitted changes',
@@ -229,6 +238,11 @@ const en = {
   'fork.node.assistant': 'Assistant reply',
   'fork.node.tool': 'Tool result',
   'fork.histTitle': 'Historical fork points',
+  'fork.lineage': 'Session lineage',
+  'fork.lineageThis': 'This session',
+  'fork.lineageParent': 'Parent session',
+  'fork.lineageRoot': 'Root session',
+  'fork.lineageEmpty': 'This session has no parent (standalone root).',
 }
 
 // ---------------------------------------------------------------------------
@@ -864,6 +878,10 @@ function UserActionsRow({ node, sessionId, useSession, inputActions, t }) {
       setFailure(code === 'agent-busy' ? t('error.busy') : (result?.error?.message ?? t('error.generic')))
       return
     }
+    if (result.value?.markerT1Broken === true) {
+      // R2：该 marker 会使 /compact 失效——编辑已生效，但提示离线清理。
+      setFailure(t('marker.t1Broken'))
+    }
     if (op === 'recall') {
       const echoed = typeof result.value?.text === 'string' && result.value.text.length > 0
         ? result.value.text
@@ -1087,6 +1105,8 @@ const CSS = `
 .dsh-rt-timeline-head{display:flex;align-items:center;gap:8px;flex:none}
 .dsh-rt-timeline-title{color:var(--dsw-alias-label-primary);font-size:13px;font-weight:600;line-height:20px;flex:1}
 .dsh-rt-timeline-git{display:flex;align-items:center;gap:6px;flex:none;border:1px dashed var(--dsw-alias-border-l2);border-radius:8px;padding:4px 8px}
+.dsh-rt-doctor{border-color:var(--dsw-alias-state-warning-primary);background:var(--dsw-alias-state-warn-tertiary)}
+.dsh-rt-doctor .dsh-rt-timeline-git-text{color:var(--dsw-alias-state-warning-primary)}
 .dsh-rt-timeline-git-text{color:var(--dsw-alias-label-caption);font-size:11px;line-height:16px}
 .dsh-rt-timeline-list{overflow-y:auto;flex:1;min-height:0;position:relative;--dsh-scrollbar-thumb:var(--dsw-alias-scrollbar-bg-l2)}
 .dsh-rt-timeline-empty{color:var(--dsw-alias-label-tertiary);font-size:12px;line-height:18px;padding:12px 4px;text-align:center}
@@ -1136,6 +1156,14 @@ const CSS = `
 .dsh-rt-fork-hist{display:flex;flex-direction:column;gap:4px;border-top:1px solid var(--dsw-alias-border-l2);padding-top:8px;overflow-y:auto;flex:none}
 .dsh-rt-fork-hist-row{display:flex;align-items:flex-start;gap:8px;padding:4px 8px;border-radius:8px}
 .dsh-rt-fork-hist-row:hover{background:var(--dsw-alias-interactive-bg-hover)}
+.dsh-rt-fork-lineage{display:flex;flex-direction:column;gap:4px;border:1px solid var(--dsw-alias-border-l2);background:var(--dsw-alias-bg-elevated);border-radius:8px;padding:8px;flex:none}
+.dsh-rt-fork-lineage-hop{display:flex;align-items:baseline;gap:8px;min-width:0}
+.dsh-rt-fork-lineage-tag{font-size:11px;font-weight:500;line-height:16px;color:var(--dsw-alias-label-secondary);flex:none}
+.dsh-rt-lineage-this .dsh-rt-fork-lineage-tag{color:var(--dsw-alias-state-info-primary)}
+.dsh-rt-lineage-root .dsh-rt-fork-lineage-tag{color:var(--dsw-alias-state-success-primary)}
+.dsh-rt-fork-lineage-id{font-family:var(--dsw-font-mono);font-size:11px;line-height:16px;color:var(--dsw-alias-label-primary);min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
+.dsh-rt-fork-lineage-arrow{font-size:11px;line-height:16px;color:var(--dsw-alias-label-caption);flex:none}
+.dsh-rt-fork-lineage-empty{font-size:11px;line-height:16px;color:var(--dsw-alias-label-caption);border:1px solid var(--dsw-alias-border-l2);border-radius:8px;padding:6px 8px;flex:none}
 `
 
 const JUMP_PAGE_BUDGET = 24
@@ -1374,6 +1402,7 @@ function RetraceView({ sessionId, useProjection, t, actions, store }) {
   const [previewScope, setPreviewScope] = useState('both')
   const [rollbackBusy, setRollbackBusy] = useState(false)
   const [scrollTop, setScrollTop] = useState(0)
+  const [doctor, setDoctor] = useState(null)
 
   // Live push-frame path (projection standard kit) — falls back to HTTP.
   const projected = typeof useProjection === 'function' ? useProjection('retrace/versions') : undefined
@@ -1406,6 +1435,10 @@ function RetraceView({ sessionId, useProjection, t, actions, store }) {
   useEffect(() => {
     if (projected === undefined) refresh()
     refreshGit()
+    // Compression pre-check: flag turn-null markers that would break /compact.
+    timelineGet(`/doctor?sessionId=${encodeURIComponent(sessionId)}`)
+      .then((result) => setDoctor(result?.ok === true ? result.value : null))
+      .catch(() => setDoctor(null))
     // eslint-disable-next-line react-hooks/exhaustive-deps
   }, [])
 
@@ -1472,6 +1505,10 @@ function RetraceView({ sessionId, useProjection, t, actions, store }) {
       }, t('timeline.refresh')),
     ]),
 
+    doctor && doctor.enabled && doctor.markerCount > 0 && createElement('div', { key: 'doctor', className: 'dsh-rt-timeline-git dsh-rt-doctor' }, [
+      createElement('span', { key: 'text', className: 'dsh-rt-timeline-git-text' }, t('timeline.doctorWarn', { count: doctor.markerCount })),
+    ]),
+
     git !== null && git !== undefined && createElement('div', { key: 'git', className: 'dsh-rt-timeline-git' }, [
       git.headHash
         ? [
@@ -1609,6 +1646,7 @@ function ForkView({ sessionId, useProjection, t, actions, store }) {
   const [loading, setLoading] = useState(false)
   const [error, setError] = useState(null)
   const [scrollTop, setScrollTop] = useState(0)
+  const [lineage, setLineage] = useState(null)
 
   // Live push-frame path (projection standard kit) — falls back to HTTP.
   const projected = typeof useProjection === 'function' ? useProjection('retrace/forkmap') : undefined
@@ -1636,6 +1674,12 @@ function ForkView({ sessionId, useProjection, t, actions, store }) {
   // registry; HTTP is the on-demand fallback for minimal compositions.
   useEffect(() => {
     if (projected === undefined) refresh()
+    // Lineage chain (A4): read-only parent walk; shown as a header card.
+    timelineGet(`/lineage?sessionId=${encodeURIComponent(sessionId)}`)
+      .then((result) => {
+        if (result && result.ok === true && Array.isArray(result.value)) setLineage(result.value)
+      })
+      .catch(() => { /* lineage is a best-effort enrichment */ })
     // eslint-disable-next-line react-hooks/exhaustive-deps
   }, [])
 
@@ -1675,6 +1719,20 @@ function ForkView({ sessionId, useProjection, t, actions, store }) {
       }, t('fork.refresh')),
     ]),
 
+    Array.isArray(lineage) && lineage.length > 1 && createElement('div', { key: 'lineage', className: 'dsh-rt-fork-lineage' }, [
+      createElement('div', { key: 'lt', className: 'dsh-rt-fork-spine-label' }, t('fork.lineage')),
+      lineage.map((hop, i) => createElement('div', {
+        key: hop.id,
+        className: `dsh-rt-fork-lineage-hop${i === 0 ? ' dsh-rt-lineage-this' : ''}${i === lineage.length - 1 ? ' dsh-rt-lineage-root' : ''}`,
+      }, [
+        createElement('span', { key: 'tag', className: 'dsh-rt-fork-lineage-tag' },
+          i === 0 ? t('fork.lineageThis') : (i === lineage.length - 1 ? t('fork.lineageRoot') : t('fork.lineageParent'))),
+        createElement('span', { key: 'id', className: 'dsh-rt-fork-lineage-id' }, hop.id),
+        i < lineage.length - 1 && createElement('span', { key: 'arrow', className: 'dsh-rt-fork-lineage-arrow' }, '←'),
+      ])),
+    ]),
+    Array.isArray(lineage) && lineage.length <= 1 && createElement('div', { key: 'lineage-empty', className: 'dsh-rt-fork-lineage-empty' }, t('fork.lineageEmpty')),
+
     error !== null && createElement('div', { key: 'error', className: 'dsh-rt-error' }, error),
     loading && createElement('div', { key: 'loading', className: 'dsh-rt-timeline-empty' }, t('timeline.loading')),
     !loading && nodes.length === 0 && createElement('div', { key: 'empty', className: 'dsh-rt-timeline-empty' }, t('fork.empty')),