@zhushanwen/pi-system-prompt-trace 0.2.4 → 0.2.5

package/README.md

@@ -13,7 +13,6 @@ appendEntry("taiji:system-prompt", {
   reason: "initial" | "resume" | "change";
   fullText: string;                   // 完整 system prompt
   charCount: number;                  // fullText.length
-  parentVersionDiffSummary?: string;  // 与上一版的行级 diff 摘要（有 parent 全文时）
 });
 ```
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@zhushanwen/pi-system-prompt-trace",
-  "version": "0.2.4",
+  "version": "0.2.5",
   "description": "System prompt trace extension: appends taiji:system-prompt entries to the session JSONL whenever the effective system prompt is established or changes",
   "type": "module",
   "main": "index.ts",
@@ -33,11 +33,11 @@
     "vitest": "^4.1.8"
   },
   "dependencies": {
-    "@zhushanwen/pi-ext-guards": "0.5.0",
+    "@zhushanwen/pi-ext-guards": "0.5.1",
     "@zhushanwen/pi-extension-logger": "0.6.2"
   },
   "scripts": {
     "typecheck": "npx tsc --noEmit",
-    "test": "vitest run"
+    "test": "vitest run --pool=threads"
   }
 }

package/src/__tests__/baseline.a12.test.ts

@@ -10,7 +10,7 @@
  *    此链路无 switch 事件、reason=startup；文件未落盘 / 无留痕 → null）
  * 4. 兜底：三档都读不到 → 任意 reason 必写一条（startup/new→initial，resume/fork/reload→resume）
  *
- * 用真实临时目录 + 真实 fs 函数（非 mock 投影）；appendEntry 同步模拟 pi appendCustomEntry
+ * 用真实临时目录 + 真实 fs 函数（非 mock 派生视图）；appendEntry 同步模拟 pi appendCustomEntry
  * 的落盘形状（session-manager.ts）。
  */
 import { appendFileSync, mkdirSync, mkdtempSync, readFileSync, rmSync, writeFileSync } from "node:fs";
@@ -152,7 +152,7 @@ describe("A12 hash 基线跨重启恢复", () => {
 		expect(h.sessionLines()).toHaveLength(1);
 	});
 
-	it("路径 1（进程内 resume）：基线 hash 变化 → 写 resume v2，diff 摘要的 parent 全文来自目标文件", () => {
+	it("路径 1（进程内 resume）：基线 hash 变化 → 写 resume v2（version 自 stash 基线续接）", () => {
 		const h = makeHarness(P1);
 		h.logic.onSessionStart("startup", undefined, h.ctx);
 		h.logic.onTurnStart(h.ctx); // v1 initial
@@ -164,8 +164,6 @@ describe("A12 hash 基线跨重启恢复", () => {
 		logic2.onTurnStart(h.ctx);
 		expect(h.entries).toHaveLength(2);
 		expect(h.entries[1]).toMatchObject({ version: 2, reason: "resume", hash: computePromptHash(P2) });
-		expect(typeof h.entries[1]?.parentVersionDiffSummary).toBe("string");
-		expect(h.entries[1]?.parentVersionDiffSummary).toContain("+1 -0 lines");
 	});
 
 	it("直读档（app 重启直 spawn resume）：getSessionFile() 目标文件命中且 hash 未变 → 不写（reason=startup、无 switch 事件）", () => {
@@ -183,7 +181,7 @@ describe("A12 hash 基线跨重启恢复", () => {
 		expect(h.sessionLines()).toHaveLength(1);
 	});
 
-	it("直读档（app 重启直 spawn resume）：基线命中但 prompt 已变 → 写 resume v2，diff 摘要来自直读留痕 fullText（persisted 时代的数据层缺口已修复）", () => {
+	it("直读档（app 重启直 spawn resume）：基线命中但 prompt 已变 → 写 resume v2（版本续接直读基线，非 initial 重新计数）", () => {
 		const h = makeHarness(P1);
 		h.logic.onSessionStart("startup", undefined, h.ctx);
 		h.logic.onTurnStart(h.ctx); // v1
@@ -195,8 +193,6 @@ describe("A12 hash 基线跨重启恢复", () => {
 		expect(h.entries).toHaveLength(2);
 		// 基线存在 → 该 session 已有历史版本 → resume（而非 initial 重新计数）
 		expect(h.entries[1]).toMatchObject({ version: 2, reason: "resume", hash: computePromptHash(P2) });
-		// 直读档基线含 fullText → parentVersionDiffSummary 不再缺省（F1 修复）
-		expect(h.entries[1]?.parentVersionDiffSummary).toContain("+1 -0 lines");
 	});
 
 	it("路径 4（兜底）：三档基线都读不到（getSessionFile 未落盘返回 undefined）且 reason=resume → 必写一条", () => {
@@ -260,7 +256,7 @@ describe("A12 hash 基线跨重启恢复", () => {
 		expect(h.entries).toHaveLength(1);
 	});
 
-	it("fork（V6 第二步）：fork 基线命中确立 current 后配置回变 → 写 change，version 自源留痕续接 +1，diff 相对源留痕 fullText", () => {
+	it("fork（V6 第二步）：fork 基线命中确立 current 后配置回变 → 写 change，version 自源留痕续接 +1", () => {
 		// 源 session 预置两条留痕：v1（配置 A prompt）→ v2（配置 B prompt）
 		const h = makeHarness(P1);
 		h.logic.onSessionStart("startup", undefined, h.ctx);
@@ -288,8 +284,6 @@ describe("A12 hash 基线跨重启恢复", () => {
 			hash: computePromptHash(P1),
 			fullText: P1,
 		});
-		// diff 相对源留痕 v2 的 fullText（B）：P2 → P1 为删 1 行（"+N -M lines" 头形态）
-		expect(h.entries[2]?.parentVersionDiffSummary).toContain("+0 -1 lines");
 		// fork 新文件恰好落盘这一条留痕
 		expect(h.sessionLines()).toHaveLength(1);
 	});
@@ -308,11 +302,10 @@ describe("A12 hash 基线跨重启恢复", () => {
 			data: { version: 2, hash: "hash-v2", reason: "change", fullText: "new text", charCount: 8 },
 		};
 		writeFileSync(file, [JSON.stringify(entryV1), "{ broken json", JSON.stringify(entryV2), ""].join("\n"));
-		expect(readLastPromptFromSessionFile(file)).toMatchObject({
-			hash: "hash-v2",
-			version: 2,
-			fullText: "new text",
-		});
+	expect(readLastPromptFromSessionFile(file)).toMatchObject({
+		hash: "hash-v2",
+		version: 2,
+	});
 		expect(readLastPromptFromSessionFile(join(scanDir, "missing.jsonl"))).toBeNull();
 	});
 });

package/src/__tests__/index-wiring.test.ts

@@ -157,7 +157,7 @@ describe("index.ts wiring SDK 契约", () => {
 		expect(injected).toBe(h.pi);
 	});
 
-	it("startup（无 previousSessionFile、session 未落盘）→ 首 turn 写 initial v1（appendEntry 形状）；prompt 变化写 change v2 带 diff 摘要", async () => {
+	it("startup（无 previousSessionFile、session 未落盘）→ 首 turn 写 initial v1（appendEntry 形状）；prompt 变化写 change v2", async () => {
 		const ext = await loadExtension();
 		const h = createWiringHarness();
 		ext(h.pi);
@@ -175,14 +175,13 @@ describe("index.ts wiring SDK 契约", () => {
 			charCount: P1.length,
 			hash: computePromptHash(P1),
 		});
-		// 自持久化基线小文件已随 persisted 子系统删除（设计目标 2）：无 agentDir 落盘面，仅 session JSONL
+		// 自持久化基线小文件已随 persisted 子系统删除（设计目标 2）：无 agentDir 写盘位置，仅 session JSONL
 
 		prompt = P2;
 		await emit(h, "turn_start", { type: "turn_start", turnIndex: 1, timestamp: 0 }, ctx);
 		expect(h.entries).toHaveLength(2);
 		const change = entryData(h, 1);
 		expect(change).toMatchObject({ version: 2, reason: "change", hash: computePromptHash(P2) });
-		expect(change.parentVersionDiffSummary).toContain("+1 -0 lines");
 	});
 
 	it("fork（previousSessionFile 为 string）→ 直读该文件最后留痕作基线（D2 v5 定案）；hash 未变不写", async () => {
@@ -287,7 +286,7 @@ describe("index.ts wiring SDK 契约", () => {
 		expect(newH.entries).toHaveLength(0);
 	});
 
-	it("stash 基线 hash 与当前不同 → 新 runtime 写 resume 续接版本，diff 摘要 parent 全文来自目标文件", async () => {
+	it("stash 基线 hash 与当前不同 → 新 runtime 写 resume 续接版本（version 自目标文件留痕 +1）", async () => {
 		const targetFile = join(rootDir, "target-session.jsonl");
 		writeSessionEntry(targetFile, {
 			version: 2,
@@ -317,7 +316,6 @@ describe("index.ts wiring SDK 契约", () => {
 		expect(newH.entries).toHaveLength(1);
 		const entry = entryData(newH, 0);
 		expect(entry).toMatchObject({ version: 3, reason: "resume", hash: computePromptHash(P2) });
-		expect(entry.parentVersionDiffSummary).toContain("+1 -0 lines");
 	});
 
 	it("session_before_switch 无 targetSessionFile → 不读文件；resume 兜底必写 v1", async () => {

package/src/__tests__/trace.a11.test.ts

@@ -4,7 +4,7 @@
  * 覆盖：
  * - 写入时机：session_start 不写（emit 早于 resources_discover 的 prompt 重建，必误报——设计 D2 校正），
  *   首个 turn_start 写 initial/resume
- * - hash 去重：相同不重写；变化写 change 且 parentVersionDiffSummary 生成
+ * - hash 去重：相同不重写；变化写 change
  * - SessionStartEvent.reason 原生 5 值（startup/reload/new/resume/fork）的落盘映射：
  *   initial←startup/new、resume←resume/fork/reload（设计 D2 v5 定案：fork 基线取源文件
  *   最后留痕、reload 为同 session 运行时重建，均属重开语义）
@@ -88,7 +88,6 @@ describe("A11 留痕时机与去重", () => {
 			charCount: P1.length,
 			hash: computePromptHash(P1),
 		});
-		expect(entry.parentVersionDiffSummary).toBeUndefined();
 	});
 
 	it("new 与 startup 同映射 initial（previousSessionFile 存在也不误作基线）", () => {
@@ -117,7 +116,7 @@ describe("A11 留痕时机与去重", () => {
 		expect(h.entries).toHaveLength(1);
 	});
 
-	it("prompt 变化写 change v2 且 parentVersionDiffSummary 生成", () => {
+	it("prompt 变化写 change v2", () => {
 		const h = makeHarness(P1);
 		h.logic.onSessionStart("startup", undefined, h.ctx);
 		h.logic.onTurnStart(h.ctx);
@@ -132,8 +131,6 @@ describe("A11 留痕时机与去重", () => {
 			hash: computePromptHash(P2),
 			charCount: P2.length,
 		});
-		expect(entry.parentVersionDiffSummary).toContain("+1 -0 lines");
-		expect(entry.parentVersionDiffSummary).toContain("+ [Available Models]");
 	});
 
 	it("F1b 模式回落事实：env 携带 from/to → 本进程每条 entry 均带 presetFallback（resume 快照与 change 一致），既有字段不削弱", () => {

package/src/baseline.ts

@@ -22,7 +22,7 @@ import type { PromptBaseline } from "./types.js";
  * pi 落盘形状：{"type":"custom","customType":"taiji:system-prompt","data":{...},...}
  * （pi 1.0.0 实装 session-manager.js:901 appendCustomEntry）。
  */
-function parseTraceEntryData(line: string): { hash: string; version: number; fullText: string } | null {
+function parseTraceEntryData(line: string): { hash: string; version: number } | null {
 	let parsed: unknown;
 	try {
 		parsed = JSON.parse(line);
@@ -33,7 +33,7 @@ function parseTraceEntryData(line: string): { hash: string; version: number; ful
 	if (parsed["type"] !== "custom" || parsed["customType"] !== SYSTEM_PROMPT_CUSTOM_TYPE) return null;
 	const data = parsed["data"];
 	if (!isSystemPromptTraceEntryData(data)) return null;
-	return { hash: data.hash, version: data.version, fullText: data.fullText };
+	return { hash: data.hash, version: data.version };
 }
 
 /**
@@ -53,7 +53,7 @@ export function readLastPromptFromSessionFile(sessionFilePath: string): PromptBa
 		if (line === "") continue;
 		const parsed = parseTraceEntryData(line);
 		if (parsed !== null) {
-			return { hash: parsed.hash, version: parsed.version, fullText: parsed.fullText };
+			return { hash: parsed.hash, version: parsed.version };
 		}
 	}
 	return null;

package/src/index.ts

@@ -1,7 +1,7 @@
 /**
  * pi extension wiring：把 ExtensionContext 适配进 trace.ts 状态机并订阅三个事件。
  *
- * 事件直接标注 SDK 具名类型（与同组 msg-id-mapper / system-prompt 的既有风格一致）：
+ * 事件直接标注 SDK 具名类型（与同组 host-internals / system-prompt 的既有风格一致）：
  * pi 的 on() 按事件名重载，handler 参数即 SDK 事件类型。SDK reason 枚举演进时
  * mapReasonForFirstWrite 的 switch 在编译期报 non-exhaustive（负防腐），不再有运行时静默归一。
  */
@@ -46,7 +46,7 @@ export default function systemPromptTraceExtension(pi: ExtensionAPI): void {
 
 	const env: TraceEnv = {
 		readLastPromptFromFile: (filePath) => readLastPromptFromSessionFile(filePath),
-		// F1b（E4 trace 披露面）：模式回落事实由 runtime 经 spawn 出站 env 携带。
+		// F1b（E4 trace 披露部分）：模式回落事实由 runtime 经 spawn 出站 env 携带。
 		// 工厂调用时读一次（进程 env 生命期内不变）；未回落 → 空串 → undefined。
 		getPresetFallback: () => readPresetFallbackFromEnv(),
 	};

package/src/trace.ts

@@ -17,7 +17,6 @@ import type { SessionStartEvent } from "@earendil-works/pi-coding-agent";
 import { getLogger } from "@zhushanwen/pi-extension-logger";
 
 const logger = getLogger("pi-system-prompt-trace");
-import { summarizePromptDiff } from "./diff.js";
 import { mapReasonForFirstWrite, SYSTEM_PROMPT_CUSTOM_TYPE } from "./types.js";
 import type {
 	PresetFallbackFact,
@@ -40,7 +39,7 @@ export interface TraceContext {
 export interface TraceEnv {
 	readLastPromptFromFile(filePath: string): PromptBaseline | null;
 	/**
-	 * 本次 pi 进程启动时的模式回落事实（F1b，E4 trace 披露面）；未回落 / 未注入 → undefined。
+	 * 本次 pi 进程启动时的模式回落事实（F1b，E4 trace 披露部分）；未回落 / 未注入 → undefined。
 	 *
 	 * 进程 env 在生命期内不变，故工厂构造时读一次即可；为空字符串（runtime 的「显式
 	 * 清除」形态）时同样返回 undefined——不得把空串当回落事实。
@@ -62,7 +61,6 @@ export interface SystemPromptTrace {
 interface CurrentPrompt {
 	version: number;
 	hash: string;
-	fullText: string;
 }
 
 function computePromptHash(text: string): string {
@@ -73,19 +71,12 @@ export function createSystemPromptTrace(env: TraceEnv, stash: SwitchStash): Syst
 	let sessionStartReason: SessionStartEvent["reason"] | null = null;
 	let baseline: PromptBaseline | null = null;
 	let current: CurrentPrompt | null = null;
-	// F1b（设计 `mode-system-composer-density` §7.5 E4 trace 披露面）：
+	// F1b（设计 `mode-system-composer-density` §7.5 E4 trace 披露部分）：
 	// 本次 pi 进程的模式回落事实由 spawn 出站 env 携带，进程生命期内恒定，构造时读一次。
 	// 未回落 / 未注入 → undefined，entry 的 presetFallback 字段不出现（既有形状向后兼容）。
 	const presetFallback = env.getPresetFallback();
 
-	const write = (
-		ctx: TraceContext,
-		text: string,
-		hash: string,
-		reason: TraceReason,
-		version: number,
-		parentFullText: string | undefined,
-	): void => {
+	const write = (ctx: TraceContext, text: string, hash: string, reason: TraceReason, version: number): void => {
 		const data: SystemPromptTraceEntryData = {
 			version,
 			hash,
@@ -93,9 +84,6 @@ export function createSystemPromptTrace(env: TraceEnv, stash: SwitchStash): Syst
 			fullText: text,
 			charCount: text.length,
 		};
-		if (parentFullText !== undefined) {
-			data.parentVersionDiffSummary = summarizePromptDiff(parentFullText, text);
-		}
 		// 回落事实随本进程写出的每条 entry 携带：本次 pi 运行确实以回落档启动，
 		// resume 快照与后续 change 同属该运行，披露一致（事件语义 = 本次运行口径）。
 		if (presetFallback !== undefined) {
@@ -145,14 +133,14 @@ export function createSystemPromptTrace(env: TraceEnv, stash: SwitchStash): Syst
 				if (current !== null) {
 					// 后续 turn：hash 对比去重（设计 D2），变化才写 change
 					if (hash === current.hash) return;
-					write(ctx, text, hash, "change", current.version + 1, current.fullText);
-					current = { version: current.version + 1, hash, fullText: text };
+					write(ctx, text, hash, "change", current.version + 1);
+					current = { version: current.version + 1, hash };
 					return;
 				}
 				// 本 session_start 周期的首个 turn_start
 				if (baseline !== null && baseline.hash === hash) {
 					// 跨重启基线命中且未变化：不写，但确立 current 供后续 turn 继续对比
-					current = { version: baseline.version, hash, fullText: text };
+					current = { version: baseline.version, hash };
 					return;
 				}
 				// 必写：有基线 → resume（该 session 已有历史版本，这是重开点的快照，version 续接）；
@@ -160,9 +148,8 @@ export function createSystemPromptTrace(env: TraceEnv, stash: SwitchStash): Syst
 				const version = baseline === null ? 1 : baseline.version + 1;
 				const reason: TraceReason =
 					baseline === null ? mapReasonForFirstWrite(sessionStartReason ?? "startup") : "resume";
-				const parentFullText = baseline === null ? undefined : baseline.fullText;
-				write(ctx, text, hash, reason, version, parentFullText);
-				current = { version, hash, fullText: text };
+				write(ctx, text, hash, reason, version);
+				current = { version, hash };
 			} catch (e) {
 				// 留痕是诊断性旁路：任何失败都不允许影响 agent 主流程（logger.error → appendEntry 持久化）
 				logger.error("turn_start handler failed", { detail: String(e) });

package/src/types.ts

@@ -16,7 +16,7 @@ export const SYSTEM_PROMPT_CUSTOM_TYPE = "taiji:system-prompt";
  * `PRESET_FALLBACK_ENV_KEYS`）。
  *
  * extension 独立发布体系不依赖 `@taiji/shared`，只能按字面量镜像——单侧改名即断链
- * （消息见 write 产出的 `presetFallback` 字段消失）。一致性由机器守卫断言：
+ * （消息见 write 产出的 `presetFallback` 字段消失）。一致性由机器检查断言：
  * `.githooks/check_env_whitelist_sync.py` 规则 3 A8（漂移即红）。写入方 =
  * `packages/runtime/src/services/session/launch-params.ts` 的 `buildPresetFallbackEnv`。
  */
@@ -27,10 +27,10 @@ export const PRESET_FALLBACK_ENV_KEYS = {
 
 /**
  * 模式回落事实（F1b，设计 `mode-system-composer-density` §7.5 E4
- * 的 trace 披露面）。
+ * 的 trace 披露部分）。
  *
  * 语义 = 本次 pi 进程启动时，sidecar 里的模式定义已不可得，runtime 已回落
- * `builtin:full` 启动（工具面从模式的受限面弹回全工具）——记录在 trace entry 里，
+ * `builtin:full` 启动（工具范围从模式的受限面弹回全工具）——记录在 trace entry 里，
  * 事后审计从 `taiji:system-prompt` 即可得知「提示词为何变了」。
  */
 export interface PresetFallbackFact {
@@ -72,10 +72,8 @@ export interface SystemPromptTraceEntryData {
 	fullText: string;
 	/** fullText.length（UTF-16 码元数）。 */
 	charCount: number;
-	/** 与上一版的行级 diff 摘要；首条留痕（无 parent）时缺省。 */
-	parentVersionDiffSummary?: string;
 	/**
-	 * 模式回落事实（F1b，E4 trace 披露面）：本次 pi 进程以「模式已删除 → 回落
+	 * 模式回落事实（F1b，E4 trace 披露部分）：本次 pi 进程以「模式已删除 → 回落
 	 * builtin:full」启动时出现；未回落（正常启动）时**字段不出现**——既有 entry
 	 * 形状向后兼容。见 `PresetFallbackFact`。
 	 */
@@ -86,8 +84,6 @@ export interface SystemPromptTraceEntryData {
 export interface PromptBaseline {
 	hash: string;
 	version: number;
-	/** 留痕 entry 直读恒有值（可生成 diff 摘要）。 */
-	fullText?: string;
 }
 
 /**

package/src/__tests__/diff.test.ts

@@ -1,107 +0,0 @@
-/**
- * diff.ts summarizePromptDiff 分支矩阵（Gate-1.6 覆盖缺口：lcsLineDiff 回溯分支 + multiset 降级路径）。
- *
- * 覆盖目标（对照 diff.ts）：
- * - 全等 → header-only（samples 为空的 return 分支）
- * - 纯尾部增/删 → LCS 回溯的两个尾部循环（while i<m / while j<n）
- * - 中段替换 → 回溯 removed 分支；头部插入 → 回溯 added 分支（dp 上移 < 右移）
- * - 采样交替（added 优先）+ 8 条上限；removed 提前耗尽后 added 补满（采样循环 removed 条件的 false 分支）
- * - 单行 >80 字符截断（truncate）
- * - LCS 面积超限（2001×2001 > 4M cells）→ multisetLineDiff 降级：共享行计数抵消、
- *   added 按新文本序、removed 按旧行插入序
- * - 空字符串输入（split 产生单空行的边界）
- */
-import { describe, expect, it } from "vitest";
-
-import { summarizePromptDiff } from "../diff.js";
-
-describe("summarizePromptDiff", () => {
-	it("全等 → 仅 header，无采样行", () => {
-		expect(summarizePromptDiff("a\nb\nc", "a\nb\nc")).toBe("+0 -0 lines");
-	});
-
-	it("纯尾部新增 → LCS 回溯走尾部 added 循环", () => {
-		expect(summarizePromptDiff("keep", "keep\na1\na2")).toBe("+2 -0 lines\n+ a1\n+ a2");
-	});
-
-	it("纯尾部删除 → LCS 回溯走尾部 removed 循环", () => {
-		expect(summarizePromptDiff("keep\nr1\nr2", "keep")).toBe("+0 -2 lines\n- r1\n- r2");
-	});
-
-	it("中段单行替换 → removed/added 各一，采样 added 在前", () => {
-		expect(summarizePromptDiff("x\n1\ny", "x\nA\ny")).toBe("+1 -1 lines\n+ A\n- 1");
-	});
-
-	it("头部插入 → LCS 回溯走 added 分支（dp 取右移更优）", () => {
-		expect(summarizePromptDiff("b\nc", "a\nb\nc")).toBe("+1 -0 lines\n+ a");
-	});
-
-	it("交错增删 → 采样 added/removed 交替且与文本顺序一致", () => {
-		expect(summarizePromptDiff("x\n1\ny\n2", "x\nA\ny\nB")).toBe("+2 -2 lines\n+ A\n- 1\n+ B\n- 2");
-	});
-
-	it("采样上限 8 条：added/removed 交错时各取前 4，余量丢弃", () => {
-		const old = ["keep", "r1", "r2", "r3", "r4", "r5", "r6"].join("\n");
-		const next = ["keep", "a1", "a2", "a3", "a4", "a5", "a6"].join("\n");
-		const lines = summarizePromptDiff(old, next).split("\n");
-		expect(lines).toEqual([
-			"+6 -6 lines",
-			"+ a1",
-			"- r1",
-			"+ a2",
-			"- r2",
-			"+ a3",
-			"- r3",
-			"+ a4",
-			"- r4",
-		]);
-	});
-
-	it("removed 提前耗尽后 added 补满 8 条（采样循环 removed 条件的 false 分支）", () => {
-		const old = ["keep", "r1", "r2", "r3"].join("\n");
-		const next = ["keep", "a1", "a2", "a3", "a4", "a5"].join("\n");
-		const lines = summarizePromptDiff(old, next).split("\n");
-		expect(lines).toEqual([
-			"+5 -3 lines",
-			"+ a1",
-			"- r1",
-			"+ a2",
-			"- r2",
-			"+ a3",
-			"- r3",
-			"+ a4",
-			"+ a5",
-		]);
-	});
-
-	it("单行超 80 字符 → 截断为 79 字符 + 省略号", () => {
-		const long = "L".repeat(120);
-		const lines = summarizePromptDiff("keep", `keep\n${long}`).split("\n");
-		expect(lines[0]).toBe("+1 -0 lines");
-		expect(lines[1]).toBe(`+ ${"L".repeat(79)}…`);
-	});
-
-	it("空字符串输入 → 空行计入 removed（split 单空行边界）", () => {
-		expect(summarizePromptDiff("", "a")).toBe("+1 -1 lines\n+ a\n- ");
-	});
-
-	it("LCS 面积超限（2001×2001 > 4M cells）→ multiset 降级：共享行抵消，added 按新文本序", () => {
-		const oldLines = ["shared", ...Array.from({ length: 2000 }, (_, i) => `old-${i}`)];
-		const newLines = ["shared", ...Array.from({ length: 2000 }, (_, i) => `new-${i}`)];
-		const summary = summarizePromptDiff(oldLines.join("\n"), newLines.join("\n"));
-		const lines = summary.split("\n");
-		expect(lines[0]).toBe("+2000 -2000 lines");
-		expect(lines.slice(1)).toEqual([
-			"+ new-0",
-			"- old-0",
-			"+ new-1",
-			"- old-1",
-			"+ new-2",
-			"- old-2",
-			"+ new-3",
-			"- old-3",
-		]);
-		// shared 两边各出现一次 → multiset 计数抵消，不进 added/removed
-		expect(summary).not.toContain("shared");
-	});
-});

package/src/diff.ts

@@ -1,109 +0,0 @@
-/**
- * 行级 diff 摘要生成器（parentVersionDiffSummary 字段）。
- *
- * 设计定位：entry 内的摘要是对用户友好的「一眼看出改了什么」；Trace 视图 inspector 在渲染时
- * 会用相邻两条留痕 entry 的 fullText 重算完整 diff，这里只需轻量摘要，不追求 patch 级精确。
- */
-
-/** 摘要采样行数上限（防巨型 prompt 差异把 entry 撑爆）。 */
-const MAX_SAMPLE_LINES = 8;
-/** 单行截断长度（字符）。 */
-const MAX_SAMPLE_CHARS = 80;
-/** LCS DP 面积上限：超过退化为 multiset 计数（O(n·m) → O(n+m)，防巨型 prompt 爆内存）。 */
-const MAX_LCS_CELLS = 4_000_000;
-
-/** 生成 oldText → newText 的行级 diff 摘要："+A -R lines" 头 + 最多 8 条采样行。 */
-export function summarizePromptDiff(oldText: string, newText: string): string {
-	const oldLines = oldText.split("\n");
-	const newLines = newText.split("\n");
-	const { removed, added } =
-		oldLines.length * newLines.length <= MAX_LCS_CELLS
-			? lcsLineDiff(oldLines, newLines)
-			: multisetLineDiff(oldLines, newLines);
-
-	const header = `+${added.length} -${removed.length} lines`;
-	const samples: string[] = [];
-	// 交替取样（added 优先）：注入类变化（只增不减）时全部展示新增行，混合变化时两类都可见
-	let ai = 0;
-	let ri = 0;
-	while (samples.length < MAX_SAMPLE_LINES && (ai < added.length || ri < removed.length)) {
-		if (ai < added.length) {
-			samples.push(`+ ${truncate(added[ai])}`);
-			ai++;
-		}
-		if (samples.length < MAX_SAMPLE_LINES && ri < removed.length) {
-			samples.push(`- ${truncate(removed[ri])}`);
-			ri++;
-		}
-	}
-	return samples.length === 0 ? header : [header, ...samples].join("\n");
-}
-
-/** LCS 回溯行 diff：产出与文本顺序一致的 removed/added 序列（采样时更有可读性）。 */
-function lcsLineDiff(a: readonly string[], b: readonly string[]): { removed: string[]; added: string[] } {
-	const m = a.length;
-	const n = b.length;
-	const width = n + 1;
-	const dp = new Uint32Array((m + 1) * width);
-	for (let i = m - 1; i >= 0; i--) {
-		for (let j = n - 1; j >= 0; j--) {
-			dp[i * width + j] =
-				a[i] === b[j]
-					? dp[(i + 1) * width + j + 1] + 1
-					: Math.max(dp[(i + 1) * width + j], dp[i * width + j + 1]);
-		}
-	}
-	const removed: string[] = [];
-	const added: string[] = [];
-	let i = 0;
-	let j = 0;
-	while (i < m && j < n) {
-		if (a[i] === b[j]) {
-			i++;
-			j++;
-		} else if (dp[(i + 1) * width + j] >= dp[i * width + j + 1]) {
-			removed.push(a[i]);
-			i++;
-		} else {
-			added.push(b[j]);
-			j++;
-		}
-	}
-	while (i < m) {
-		removed.push(a[i]);
-		i++;
-	}
-	while (j < n) {
-		added.push(b[j]);
-		j++;
-	}
-	return { removed, added };
-}
-
-/** multiset 行计数 diff（LCS 面积超限的降级路径）：行内容匹配抵消，剩余计入 added/removed。 */
-function multisetLineDiff(a: readonly string[], b: readonly string[]): { removed: string[]; added: string[] } {
-	const counts = new Map<string, number>();
-	for (const line of a) {
-		counts.set(line, (counts.get(line) ?? 0) + 1);
-	}
-	const added: string[] = [];
-	for (const line of b) {
-		const c = counts.get(line) ?? 0;
-		if (c > 0) {
-			counts.set(line, c - 1);
-		} else {
-			added.push(line);
-		}
-	}
-	const removed: string[] = [];
-	for (const [line, c] of counts) {
-		for (let k = 0; k < c; k++) {
-			removed.push(line);
-		}
-	}
-	return { removed, added };
-}
-
-function truncate(line: string): string {
-	return line.length > MAX_SAMPLE_CHARS ? line.slice(0, MAX_SAMPLE_CHARS - 1) + "…" : line;
-}