@zhushanwen/pi-session-manager 0.6.4 → 0.6.5

package/src/__tests__/notify-reconcile.test.ts

@@ -0,0 +1,502 @@
+// notify-reconcile.test.ts — session-manager 域通知对账步的判据与补投形态
+// （completion-signal-delivery D8：SC10 pending 表派生视图四项读取规则 + 域过滤
+// + 骨架简报补投形态锁）。
+//
+// 全部同步逻辑层（TEST-STRATEGY 三档判据①：entries 注入 + submitNotify spy——
+// 零真盘零真进程零 timer）；entries 形态锚定落盘契约（pending:register 三键 +
+// type、pending:unregister { id, reason, status }、managed-session-notify 通知条目
+// details、delivery-port outbox/ack v2 条目 data）。
+//
+// 覆盖面（验收条款 3「域过滤与四项读取规则判据单测」+ 验收条款 4 检查点机械项）：
+//   真值表（骨架同构对拍 u1 四态）；① 全量 entries 现算（已注销条目仍是判据对象、
+//   active 条目非候选）；② 静默注销类原词排除（cancelled/orphaned）；③(a) 合批非首
+//   成员承载反查（批首 collectKey 键集 ∪ 条目 id）；③(b) 死亡新闻对排除（同
+//   (label, reason∈{exited,deleted}) 已送达——跨 label 不误伤）；④ 域过滤（四域
+//   混装互斥排除）；补投形态（骨架简报：label/status 两事实入文、不含 sessionId、
+//   fulfills=0——D8⑤/R-1 锁）；幂等收敛（补投受理后 journal 承载抵消）；死亡槽
+//   内存态缺席不阻断补投（判据不读死亡槽——SC10 登记）。
+
+import { chmodSync, mkdirSync, mkdtempSync, writeFileSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+
+import { describe, expect, it, vi } from "vitest";
+
+import { PENDING_REGISTER_ENTRY_TYPE, PENDING_UNREGISTER_ENTRY_TYPE } from "@zhushanwen/extension-protocol";
+import { ACK_CUSTOM_TYPE, OUTBOX_CUSTOM_TYPE } from "@zhushanwen/pi-delivery-port";
+
+const { loggerMock } = vi.hoisted(() => ({
+	loggerMock: { debug: vi.fn(), warn: vi.fn(), error: vi.fn() },
+}));
+
+vi.mock("@zhushanwen/pi-extension-logger", () => ({
+	getLogger: () => loggerMock,
+}));
+
+import { MANAGED_SESSION_NOTIFY_CUSTOM_TYPE } from "../notify-content.ts";
+import {
+	collectDeliveredDeathPairs,
+	collectDeliveredManagedNotifyIds,
+	collectUnregisterReasons,
+	buildManagedReconcileBriefing,
+	runNotifyReconcileMaintenance,
+} from "../notify-reconcile.ts";
+
+// ── entries 构造（落盘契约锚定形态）──
+
+function registerEntry(id: string, type = "session", name = `label-${id}`): unknown {
+	return {
+		type: "custom",
+		customType: PENDING_REGISTER_ENTRY_TYPE,
+		data: { id, type, name, registeredAt: 1, sessionId: "parent-s" },
+	};
+}
+
+function unregisterEntry(id: string, reason: string): unknown {
+	return {
+		type: "custom",
+		customType: PENDING_UNREGISTER_ENTRY_TYPE,
+		data: { id, reason, status: "completed" },
+	};
+}
+
+/** 本域已送达通知条目（主路径/补投 payload 落盘形态：details 携 notifyId）。 */
+function notifyEntry(notifyId: string, label: string, reason: string): unknown {
+	return {
+		type: "custom",
+		customType: MANAGED_SESSION_NOTIFY_CUSTOM_TYPE,
+		content: `Managed session "${label}" (child-s) finished with status "${reason}".`,
+		display: true,
+		details: { notifyId, sessionId: "child-s", reason, fulfills: 2, label },
+	};
+}
+
+/** 投递日志 outbox v2 条目（受理落盘；collectKey = 债权键集申报）。 */
+function outboxEntry(id: string, collectKey?: string[]): unknown {
+	return {
+		type: "custom",
+		customType: OUTBOX_CUSTOM_TYPE,
+		data: {
+			v: 2,
+			id,
+			timing: "steer",
+			payload: { kind: "custom", customType: MANAGED_SESSION_NOTIFY_CUSTOM_TYPE, content: "x", display: true },
+			recordedAt: 1,
+			...(collectKey !== undefined ? { collectKey } : {}),
+		},
+	};
+}
+
+function ackEntry(id: string): unknown {
+	return { type: "custom", customType: ACK_CUSTOM_TYPE, data: { v: 2, id, outcome: "delivered" } };
+}
+
+/** 对账编排输入的最小形态（submitNotify 默认受理成功）。 */
+function makeDeps(entries: unknown[], submitNotify = vi.fn(() => true)) {
+	return { reason: "test", entries, submitNotify };
+}
+
+// ── 骨架真值表已随判据链收编迁 @zhushanwen/pi-delivery-port
+// reconcile-judgement.test.ts 单点锁定（三域物理对拍副本退役）；本文件只锁
+// 域侧「域事实 → 布尔」映射与编排行为 ──
+
+// ── 四项读取规则①：全量 entries 现算（注销条目是判据对象）──
+
+describe("四项读取规则① 取数形态（pending 表派生视图）", () => {
+	it("正类：应投递而 rejected（register+unregister 全量对 + 无痕迹无承载）→ 恰 1 补投", () => {
+		const submit = vi.fn(() => true);
+		const result = runNotifyReconcileMaintenance(
+			makeDeps([registerEntry("sm-1"), unregisterEntry("sm-1", "completed")], submit),
+		);
+		expect(result.candidates).toBe(1);
+		expect(result.redelivered).toEqual(["sm-1"]);
+		expect(submit).toHaveBeenCalledTimes(1);
+	});
+
+	it("注销条目仍是判据对象（非 active 视图）：已注销键出候选——与 active 差集读法结构性区分", () => {
+		// 同一 entries 若按 active 差集读（register−unregister），sm-1 消失、
+		// 候选不可达；全量现算读法下 sm-1 是候选——本用例锁「候选非空」即锁读法。
+		const submit = vi.fn(() => true);
+		const result = runNotifyReconcileMaintenance(
+			makeDeps([registerEntry("sm-1"), unregisterEntry("sm-1", "exited")], submit),
+		);
+		expect(result.candidates).toBe(1);
+	});
+
+	it("active 条目（无 unregister）非候选：新闻未到达，不虚构补投", () => {
+		const submit = vi.fn(() => true);
+		const result = runNotifyReconcileMaintenance(makeDeps([registerEntry("sm-live")], submit));
+		expect(result.candidates).toBe(0);
+		expect(submit).not.toHaveBeenCalled();
+	});
+});
+
+// ── 四项读取规则②：静默注销类原词排除 ──
+
+describe("四项读取规则② 静默注销类排除（unregister reason 原词分流）", () => {
+	it.each(["cancelled", "orphaned"] as const)(
+		"reason=%s（例外1 静默注销族）→ 零补投",
+		(reason) => {
+			const submit = vi.fn(() => true);
+			const result = runNotifyReconcileMaintenance(
+				makeDeps([registerEntry("sm-q"), unregisterEntry("sm-q", reason)], submit),
+			);
+			expect(result.candidates).toBe(0);
+			expect(submit).not.toHaveBeenCalled();
+		},
+	);
+
+	it("collectUnregisterReasons 读 reason 原词（非解析枚举——stopped/exited/deleted 不被折叠）", () => {
+		const reasons = collectUnregisterReasons([
+			unregisterEntry("sm-a", "stopped"),
+			unregisterEntry("sm-b", "exited"),
+			unregisterEntry("sm-c", "cancelled"),
+			{ type: "custom", customType: PENDING_UNREGISTER_ENTRY_TYPE, data: { id: "sm-bad" } }, // 缺 reason
+			{ type: "custom", customType: "other", data: { id: "sm-x", reason: "completed" } }, // 词表外条目
+		]);
+		expect(reasons.get("sm-a")).toBe("stopped");
+		expect(reasons.get("sm-b")).toBe("exited");
+		expect(reasons.get("sm-c")).toBe("cancelled");
+		expect(reasons.has("sm-bad")).toBe(false);
+		expect(reasons.has("sm-x")).toBe(false);
+	});
+});
+
+// ── 四项读取规则③：三类「无独立主路径投递」形态排除 ──
+
+describe("四项读取规则③(a) 合批非首成员排除（承载反查：journal id ∪ collectKey 键集）", () => {
+	it("批首成功受理形态：成员键被批首条目 collectKey 承载 → 成员零补投；批首自身有条目 id → 整批零补投", () => {
+		const submit = vi.fn(() => true);
+		const result = runNotifyReconcileMaintenance(
+			makeDeps(
+				[
+					registerEntry("sm-head"),
+					registerEntry("sm-member"),
+					outboxEntry("sm-head", ["sm-head", "sm-member"]), // 批首条目承载两键
+					unregisterEntry("sm-head", "completed"),
+					unregisterEntry("sm-member", "completed"),
+				],
+				submit,
+			),
+		);
+		expect(result.candidates).toBe(2);
+		expect(result.redelivered).toEqual([]); // 双双被承载反查排除
+		expect(submit).not.toHaveBeenCalled();
+	});
+
+	it("批首 rejected 形态（无条目无承载）：成员键反查不命中也不虚构——成员与批首磁盘同形态时保持判据单义（残余边界登记见实现注释）", () => {
+		// 批首 rejected 是正类（补投对象）；成员键在同批 rejected 形态下无任何承载
+		// 事实可辨——本用例锁定该形态下判据的行为面（成员与批首同样出候选），
+		// 残余边界（重复刺激级）已在实现注释呈报。
+		const submit = vi.fn(() => true);
+		const result = runNotifyReconcileMaintenance(
+			makeDeps(
+				[registerEntry("sm-head"), registerEntry("sm-member"), unregisterEntry("sm-head", "completed"), unregisterEntry("sm-member", "completed")],
+				submit,
+			),
+		);
+		expect(result.candidates).toBe(2);
+		expect(result.redelivered).toEqual(["sm-head", "sm-member"]);
+	});
+
+	// collectJournaledDeliveryIds 行为锁（collectKey 展开 / ack 并入 / 畸形跳过）
+	// 已随判据链收编迁 @zhushanwen/pi-delivery-port reconcile-judgement.test.ts
+	// 单点锁定；域侧经编排用例（批首承载反查）覆盖组合行为。
+});
+
+describe("四项读取规则③(b) 死亡新闻对排除（死亡槽去重的判据侧磁盘投影）", () => {
+	it("同 (label, exited) 新闻已送达 → 后续批键（同 label 同 reason）零补投", () => {
+		const submit = vi.fn(() => true);
+		const result = runNotifyReconcileMaintenance(
+			makeDeps(
+				[
+					registerEntry("sm-later", "session", "research"), // 后续批键，label 同前批
+					notifyEntry("sm-earlier", "research", "exited"), // 前批死亡新闻已送达
+					unregisterEntry("sm-later", "exited"),
+				],
+				submit,
+			),
+		);
+		expect(result.candidates).toBe(1);
+		expect(result.redelivered).toEqual([]); // 死亡对命中排除
+		expect(result.skippedDelivered).toEqual(["sm-later"]);
+	});
+
+	it("同 (label, deleted) 同款排除；死亡对只作用于死亡类 reason——completed 后续批不误吞", () => {
+		const submit = vi.fn(() => true);
+		const deleted = runNotifyReconcileMaintenance(
+			makeDeps(
+				[registerEntry("sm-d", "session", "research"), notifyEntry("sm-d0", "research", "deleted"), unregisterEntry("sm-d", "deleted")],
+				submit,
+			),
+		);
+		expect(deleted.redelivered).toEqual([]);
+
+		const completed = runNotifyReconcileMaintenance(
+			makeDeps(
+				[registerEntry("sm-c", "session", "research"), notifyEntry("sm-c0", "research", "completed"), unregisterEntry("sm-c", "completed")],
+				submit,
+			),
+		);
+		// 结果新闻无槽去重语义：同 label 的 completed 已送达不构成对——rejected 待补投候选保留
+		expect(completed.redelivered).toEqual(["sm-c"]);
+	});
+
+	it("不同 label 不误伤：label B 的死亡新闻已送达不阻断 label A 的待补投死亡新闻", () => {
+		const submit = vi.fn(() => true);
+		const result = runNotifyReconcileMaintenance(
+			makeDeps(
+				[registerEntry("sm-a", "session", "alpha"), notifyEntry("sm-b0", "beta", "exited"), unregisterEntry("sm-a", "exited")],
+				submit,
+			),
+		);
+		expect(result.redelivered).toEqual(["sm-a"]);
+	});
+
+	it("collectDeliveredDeathPairs 只收死亡类 reason（exited/deleted）", () => {
+		const pairs = collectDeliveredDeathPairs([
+			notifyEntry("sm-1", "alpha", "exited"),
+			notifyEntry("sm-2", "beta", "deleted"),
+			notifyEntry("sm-3", "gamma", "completed"),
+		]);
+		expect([...pairs]).toEqual(["alpha\u0000exited", "beta\u0000deleted"]); // 键分隔符 NUL（转义形态断言）
+		expect(pairs.has("gamma\u0000completed")).toBe(false); // 结果新闻不进死亡对
+	});
+});
+
+// ── 四项读取规则④：域过滤（pending 表四域混装互斥排除）──
+
+describe("四项读取规则④ 域过滤（只取 type==='session'）", () => {
+	it.each([
+		["bash", "bt-1"],
+		["subagent", "rec-1"],
+		["workflow", "wf-1"],
+	] as const)("跨域条目 type=%s → 零补投（跨域三重全命中误报的互斥排除）", (type, id) => {
+		const submit = vi.fn(() => true);
+		const result = runNotifyReconcileMaintenance(
+			makeDeps([registerEntry(id, type, `name-${id}`), unregisterEntry(id, "completed")], submit),
+		);
+		expect(result.candidates).toBe(0);
+		expect(submit).not.toHaveBeenCalled();
+	});
+});
+
+// ── 幂等收敛与补投出口语义 ──
+
+describe("对账幂等与补投出口", () => {
+	it("补投受理后的下一对账边沿零补投：outbox 条目承载抵消判据（跨边沿幂等）", () => {
+		const entries = [registerEntry("sm-1"), unregisterEntry("sm-1", "completed")];
+		const first = runNotifyReconcileMaintenance(makeDeps(entries, vi.fn(() => true)));
+		expect(first.redelivered).toEqual(["sm-1"]);
+		// 补投受理 → outbox 条目落盘（id = notifyId）——下一边沿的 entries 已含承载事实
+		const entriesAfter = [...entries, outboxEntry("sm-1")];
+		const second = runNotifyReconcileMaintenance(makeDeps(entriesAfter, vi.fn(() => true)));
+		expect(second.redelivered).toEqual([]);
+		expect(second.skippedJournaled).toEqual(["sm-1"]);
+	});
+
+	it("送达痕迹抵消（details.notifyId / details.deliveryId 双通道）", () => {
+		const ids = collectDeliveredManagedNotifyIds([
+			notifyEntry("sm-1", "alpha", "completed"), // details.notifyId
+			{
+				type: "custom",
+				customType: MANAGED_SESSION_NOTIFY_CUSTOM_TYPE,
+				details: { deliveryId: "sm-2" }, // port 受理凭据键
+			},
+		]);
+		expect(ids.has("sm-1")).toBe(true);
+		expect(ids.has("sm-2")).toBe(true);
+	});
+
+	it("submitNotify false（port 缺席/重提链失败）→ 不计 redelivered，候选判据保留（下一边沿幂等重查）", () => {
+		const submit = vi.fn(() => false);
+		const result = runNotifyReconcileMaintenance(
+			makeDeps([registerEntry("sm-1"), unregisterEntry("sm-1", "completed")], submit),
+		);
+		expect(result.candidates).toBe(1);
+		expect(result.redelivered).toEqual([]);
+	});
+
+	it("畸形 entries 元素容错（null/词表外条目跳过——容错形态对齐 protocol 扫描纪律）", () => {
+		const submit = vi.fn(() => true);
+		const result = runNotifyReconcileMaintenance(
+			makeDeps([null, 42, registerEntry("sm-1"), unregisterEntry("sm-1", "failed")], submit),
+		);
+		expect(result.redelivered).toEqual(["sm-1"]);
+	});
+});
+
+// ── 补投形态：骨架简报（D8⑤ + R-1）──
+
+describe("补投形态（D8⑤ 骨架简报 + R-1 不调主路径构造）", () => {
+	it("骨架简报：label/status 两事实入文、不含 sessionId 段、details.fulfills 取 0、notifyId = 候选键", () => {
+		const submit = vi.fn(() => true);
+		const result = runNotifyReconcileMaintenance(
+			makeDeps([registerEntry("sm-9", "session", "research"), unregisterEntry("sm-9", "exited")], submit),
+		);
+		expect(result.redelivered).toEqual(["sm-9"]);
+		expect(submit).toHaveBeenCalledWith(
+			"sm-9",
+			'Managed session "research" finished with status "exited".',
+			{ notifyId: "sm-9", reason: "exited", fulfills: 0, label: "research" },
+		);
+	});
+
+	it("buildManagedReconcileBriefing 独立构造（R-1）：不产 sessionId 字段、fulfills 恒 0（无债权申报不虚构笔数）", () => {
+		const briefing = buildManagedReconcileBriefing("sm-9", "research", "failed");
+		expect(Object.keys(briefing.details).sort()).toEqual(["fulfills", "label", "notifyId", "reason"]);
+		expect(briefing.details.fulfills).toBe(0);
+		expect(briefing.content).toContain('"research"');
+		expect(briefing.content).toContain('"failed"');
+		expect(briefing.content).not.toContain("("); // 无 (sessionId) 段——主路径形态的缺席省略
+	});
+});
+
+// ── 死亡槽内存态不参与判据（SC10 登记）──
+
+describe("死亡槽 (sessionId, deathSeq) 内存态缺席不阻断补投", () => {
+	it("判据不读死亡槽：重启后死亡槽清空的形态下，rejected 死亡新闻仍出候选并补投", () => {
+		// entries 不含任何死亡槽信息（运行期内存态）——判据照常出候选
+		const submit = vi.fn(() => true);
+		const result = runNotifyReconcileMaintenance(
+			makeDeps([registerEntry("sm-d", "session", "research"), unregisterEntry("sm-d", "exited")], submit),
+		);
+		expect(result.redelivered).toEqual(["sm-d"]);
+	});
+});
+
+// ── A1 产品缺陷修复回归（域侧同构）：判据事实源磁盘化 ──
+// 缺陷链（与 bash 域范本同构，范本 = base-tool-enhance pending-reconcile.test.ts
+// 「disk-fact journal source」describe）：pi SessionManager._appendEntry 先
+// fileEntries.push 后 _persist、persist 失败（真机注入形态 = session JSONL
+// chmod 0444，EACCES 挡写不挡读）无回滚 → 幽灵内存 entry（内存账在册、JSONL 无
+// 行）；判据曾消费 getEntries() 内存账 → delivered/journaled 误真 → 补投静默失效。
+// 修复后事实源 = session JSONL 落盘条目（deps.sessionFile，index.ts 经
+// getSessionFile() 传入）。单测模拟形态 = 内存 entries 与磁盘文件不一致（幽灵态
+// 的定义特征），与真机 chmod 注入同族（同是「内存有、盘上无」的产物）。
+describe("判据事实源磁盘化（幽灵内存 entry 回归，A1 域侧同构修复）", () => {
+	const DATA_DIR = mkdtempSync(join(tmpdir(), "sm-reconcile-"));
+	const SESSION_FILE = join(DATA_DIR, "session.jsonl");
+
+	/** 写 session JSONL（pi _persist 落盘形态：每条 entry 一行 JSON.stringify）。 */
+	function writeSessionFile(lines: unknown[]): void {
+		mkdirSync(DATA_DIR, { recursive: true });
+		writeFileSync(SESSION_FILE, lines.map((l) => JSON.stringify(l)).join("\n") + (lines.length > 0 ? "\n" : ""));
+	}
+
+	it("幽灵 in-memory outbox entry（内存有、盘上无）→ 补投发生（A1 回归本体）", () => {
+		// 磁盘事实：JSONL 只含 register + unregister（EACCES 实况——outbox persist
+		// 被挡，盘上无该键任何受理行）；内存账多一条幽灵 outbox entry
+		writeSessionFile([registerEntry("sm-1"), unregisterEntry("sm-1", "completed")]);
+		const ghostEntries = [
+			registerEntry("sm-1"),
+			unregisterEntry("sm-1", "completed"),
+			outboxEntry("sm-1"), // 幽灵：rejected 首败受理即留一条，内存账在册、盘上无
+		];
+		const submit = vi.fn(() => true);
+		const result = runNotifyReconcileMaintenance({
+			reason: "test",
+			entries: ghostEntries,
+			sessionFile: SESSION_FILE,
+			submitNotify: submit,
+		});
+		// 幽灵 journaled 不再误真：补投放行（内存账口径曾沿幽灵态静默吞补投）
+		expect(result.redelivered).toEqual(["sm-1"]);
+		expect(submit).toHaveBeenCalledTimes(1);
+	});
+
+	it("幽灵 delivered trace（内存通知条目、盘上无）→ 补投发生（delivered 事实读盘）", () => {
+		writeSessionFile([registerEntry("sm-1"), unregisterEntry("sm-1", "completed")]);
+		const ghostEntries = [
+			registerEntry("sm-1"),
+			unregisterEntry("sm-1", "completed"),
+			notifyEntry("sm-1", "research", "completed"), // 幽灵送达痕迹
+		];
+		const submit = vi.fn(() => true);
+		const result = runNotifyReconcileMaintenance({
+			reason: "test",
+			entries: ghostEntries,
+			sessionFile: SESSION_FILE,
+			submitNotify: submit,
+		});
+		expect(result.redelivered).toEqual(["sm-1"]);
+	});
+
+	it("outbox entry 在盘上 → 零补投（journaled 读盘正命中，磁盘事实正向抵消）", () => {
+		// entries 形态 = 重启后内存账从盘重建的一致形态（内存账 ⊇ 盘上条目是运行时
+		// 构造性前提——人工构造「内存空、盘上有」会撞内存预检短路早退，非真实形态）
+		const diskAndMemory = [registerEntry("sm-1"), unregisterEntry("sm-1", "completed"), outboxEntry("sm-1")];
+		writeSessionFile(diskAndMemory);
+		const submit = vi.fn(() => true);
+		const result = runNotifyReconcileMaintenance({
+			reason: "test",
+			entries: diskAndMemory,
+			sessionFile: SESSION_FILE,
+			submitNotify: submit,
+		});
+		expect(result.redelivered).toEqual([]);
+		expect(result.skippedJournaled).toEqual(["sm-1"]);
+		expect(submit).not.toHaveBeenCalled();
+	});
+
+	it("幽灵 unregister reason（register 落盘、注销条目盘上无）→ 零补投（磁盘口径：盘上无注销 = 债权在途，保守 miss）", () => {
+		// 口径锁（文件头「判据事实源磁盘化」段残余登记）：register 落盘 + unregister
+		// 幽灵 → 盘上无注销 = 「新闻未到达」——不虚构补投（漏补投方向，与
+		// 「漏补投优于重复投」既有取向一致）
+		writeSessionFile([registerEntry("sm-1")]);
+		const ghostEntries = [registerEntry("sm-1"), unregisterEntry("sm-1", "completed")];
+		const submit = vi.fn(() => true);
+		const result = runNotifyReconcileMaintenance({
+			reason: "test",
+			entries: ghostEntries,
+			sessionFile: SESSION_FILE,
+			submitNotify: submit,
+		});
+		expect(result.candidates).toBe(0);
+		expect(submit).not.toHaveBeenCalled();
+	});
+
+	it("sessionFile 缺席（no-persist 形态）→ 退化内存账 + warn（现状行为；该形态无幽灵态，内存账即完整事实）", () => {
+		const inMemoryEntries = [registerEntry("sm-1"), unregisterEntry("sm-1", "completed"), outboxEntry("sm-1")];
+		const submit = vi.fn(() => true);
+		const result = runNotifyReconcileMaintenance({
+			reason: "test",
+			entries: inMemoryEntries, // 不传 sessionFile
+			submitNotify: submit,
+		});
+		// no-persist 形态 _persist no-op 恒成功：内存 outbox = 真受理 → 不补投
+		expect(result.redelivered).toEqual([]);
+		expect(result.skippedJournaled).toEqual(["sm-1"]);
+		expect(loggerMock.warn).toHaveBeenCalledWith(
+			expect.stringContaining("fell back to in-memory entries"),
+			expect.anything(),
+		);
+	});
+
+	it("session file 不可读（chmod 0000，读侧 EACCES）→ 盘事实按空 + warn（保守 miss，候选源与抵消事实同按空）", () => {
+		writeSessionFile([registerEntry("sm-1"), unregisterEntry("sm-1", "completed")]);
+		chmodSync(SESSION_FILE, 0o000);
+		const submit = vi.fn(() => true);
+		try {
+			const result = runNotifyReconcileMaintenance({
+				reason: "test",
+				entries: [registerEntry("sm-1"), unregisterEntry("sm-1", "completed")],
+				sessionFile: SESSION_FILE,
+				submitNotify: submit,
+			});
+			// 读失败宽容口径（warn 即修复信号）：候选源与抵消事实同按空 → 零补投；
+			// 下一对账边沿环境修复后幂等重查
+			expect(result.redelivered).toEqual([]);
+			expect(loggerMock.warn).toHaveBeenCalledWith(
+				expect.stringContaining("disk entries treated as empty"),
+				expect.anything(),
+			);
+		} finally {
+			chmodSync(SESSION_FILE, 0o644);
+		}
+	});
+});
+
+// ── readSessionFileEntries 容错段已随判据链收编迁 @zhushanwen/pi-delivery-port
+// reconcile-judgement.test.ts 单点锁定（三域物理副本退役）；域侧经「session file
+// 不可读 → 盘事实按空 + warn」编排用例覆盖组合行为。

package/src/index.ts

@@ -16,10 +16,13 @@ import {
 	type MarkerRpcResult,
 	type SessionManagerAction,
 } from "@zhushanwen/extension-protocol";
+import { subscribeResumeReconcile } from "@zhushanwen/pi-delivery-port";
 import { getLogger, setPiHandle } from "@zhushanwen/pi-extension-logger";
 import { Type, type Static, type TObject } from "typebox";
 
 import { renderSessionManagerResult } from "./render.ts";
+import { runNotifyReconcileMaintenance } from "./notify-reconcile.ts";
+import { recordManagedNotify } from "./notify-delivery.ts";
 import { createWatchCoordinator } from "./watch-coordinator.ts";
 
 // 模块级 logger（default export 首行 setPiHandle 注入后自动走 appendEntry 持久化，
@@ -182,6 +185,54 @@ async function executeTool(
 
 // ── Extension 入口 ──
 
+/** 对账步 deps 的 ctx 侧最小输入（session_start / agent_settled 两入口的
+ * ExtensionContext 与切回槽的 ResumeReconcileContext 结构兼容本子集——对账编排
+ * 只读这两个成员，见 runNotifyReconcileSafely 的消费点）。 */
+interface ReconcileSessionContext {
+	sessionManager: {
+		getEntries(): readonly unknown[];
+		getSessionFile(): string | undefined;
+	};
+}
+
+/**
+ * 通知对账步的安全包装（completion-signal-delivery D8② 三入口编排的接线形态）：
+ * entries 读取异常吞掉记 warn（对账失败无害：候选判据仍在，下一边沿幂等重查），
+ * 对账编排本体（runNotifyReconcileMaintenance）内部已有同款纪律——本包装再挡
+ * entries 读取（ctx.sessionManager.getEntries）一层。补投出口 = recordManagedNotify
+ * 直通（与主路径同一投递管道与重提链——补投 payload 走骨架简报，幂等键与主路径
+ * 同构造 notifyId，collectKey 申报 = 自身键）。
+ *
+ * sessionFile = ctx.sessionManager.getSessionFile()（补投判据事实源磁盘化，A1
+ * 缺陷修复的域侧同构落点）：判据事实读 session JSONL 落盘条目而非内存账——pi
+ * _appendEntry persist 失败无回滚的幽灵内存 entry（pi-semantics PS-97：dist/core/
+ * session-manager.js :815-820 _appendEntry / :794-814 _persist）曾使
+ * delivered/journaled 误真、补投静默失效（机制见 notify-reconcile.ts 文件头
+ * 「判据事实源磁盘化」段）；
+ * no-persist 形态 getSessionFile() 返回 undefined，对账侧退化内存账（现状行为）。
+ */
+function runNotifyReconcileSafely(
+	pi: ExtensionAPI,
+	ctx: ReconcileSessionContext,
+	reason: "session_start" | "agent_settled" | "resume",
+): void {
+	logger.debug("notify reconcile dispatch", { detail: { reason } });
+	try {
+		const entries = ctx.sessionManager.getEntries();
+		runNotifyReconcileMaintenance({
+			reason,
+			entries,
+			sessionFile: ctx.sessionManager.getSessionFile(),
+			submitNotify: (notifyId, content, details) =>
+				recordManagedNotify(notifyId, content, details, [notifyId]),
+		});
+	} catch (err) {
+		logger.warn("notify reconcile dispatch failed; retried at next reconcile edge", {
+			detail: { reason, err: err instanceof Error ? err.message : String(err) },
+		});
+	}
+}
+
 /** 单个 session 工具的声明式配置（registerSessionTool 的输入）。 */
 interface SessionToolConfig<S extends TObject> {
 	name: string
@@ -271,6 +322,39 @@ export default function sessionManagerExtension(pi: ExtensionAPI): void {
 	// 活跃集回归基线；每 entry 独立 handler（禁串行 await）在 coordinator 内保证。
 	pi.on("session_start", (_event: SessionStartEvent, ctx: ExtensionContext) => {
 		coordinator.recoverStaleRegisters(ctx);
+		// 通知对账步（completion-signal-delivery D8② 入口①）：rejected 丢失形态的
+		// 事实判据补投（session_start 重绑后的确定性边沿——旧 pi 实例的 rejected
+		// 通知在此恢复）。与 agent_settled 入口（下方）互调同一对账函数
+		// （runNotifyReconcileMaintenance，RL12 判据单一）；幂等由判据的投递日志
+		// 承载/送达痕迹两事实抵消保证（补投受理成功即有 outbox 条目落盘）。
+		runNotifyReconcileSafely(pi, ctx, "session_start");
+	});
+
+	// 通知对账步入口②（completion-signal-delivery D8②）：agent_settled 回合收尾
+	// 边沿——进程存活形态（重提失败后不重启不切回）的兜底恢复入口（ADR-0122 保留
+	// 白名单同族：事件驱动、判据现算磁盘事实，无定时器）。订阅生命周期（RL13
+	// 同款）：本注册点 = extension load 装配期，每 pi 实例恰一次；同进程 session
+	// 替换会重建 eventBus 并重新 load extension，旧实例连同其订阅一并消亡、新
+	// 实例重新注册——无死 handler 累积（构造性成立）。高频边沿的常态零成本由
+	// 判据预检短路兜住（无 register 条目不进终判循环）。
+	pi.on("agent_settled", (_event: unknown, ctx: ExtensionContext) => {
+		runNotifyReconcileSafely(pi, ctx, "agent_settled");
+	});
+
+	// 通知对账步入口③（completion-signal-delivery D8② 三入口同构的切回补强边沿，
+	// U2 修复）：同进程「切走会话再切回」不重发 session_start（真机实证），本域
+	// 入口①② 在该场景不可达——切回边沿唯一触发源是 base-tool-enhance 注册的
+	// `__taiji_bg_reconcile__` 内部命令（runtime 在 getCommands 时 fire-and-forget
+	// 触发，无节流——原 60s per-session 节流窗已随 ADR-0122 防御机制清查退役，
+	// 高频防护由本域对账链预检判据早退承担），本
+	// 扩展与 base-tool-enhance 无依赖边（跨扩展依赖通道不存在），经三方共同依赖
+	// 包 pi-delivery-port 的进程级注册槽订阅其派发（subagent 域 SubagentService
+	// 单例直转的 A5 先例同族接线）。订阅生命周期（RL13 同款论证）：订阅点 =
+	// extension load 装配期，同进程 session 替换重新 load extension，新闭包经同域
+	// key 覆盖旧订阅，无死 handler 累积；域侧围栏 = runNotifyReconcileSafely 内
+	// catch，异常原则上不向派发方传播。
+	subscribeResumeReconcile("session-manager", (ctx) => {
+		runNotifyReconcileSafely(pi, ctx, "resume");
 	});
 
 	registerSessionTool(pi, {

package/src/notify-content.ts

@@ -69,7 +69,14 @@ export function buildManagedNotifyContent(params: ManagedNotifyContentParams): s
 export interface ManagedNotifyDetails {
 	/** 本批 record 的幂等键 = 批内首个响应的 notifyId（≤1 record/批由合批边界保证） */
 	notifyId: string;
-	sessionId: string;
+	/**
+	 * managed 子会话 id（主路径 = watch 应答 payload 回带）。completion-signal-delivery
+	 * D8⑤：对账补投的骨架简报 details 缺席该字段——判据源（pending 表）落盘的
+	 * sessionId 是 listener 侧父会话 id，非本字段所指的子会话 id，取用即谎报
+	 * （R-1 条款）；core extractNotifyRecords 读侧只消费 notifyId 与 reason，
+	 * sessionId 为诊断冗余，缺席不影响消费。
+	 */
+	sessionId?: string;
 	reason: string;
 	/** 批内处理完毕笔数（runtime fulfillsN 直供，缺省回退批长——见 watch-coordinator） */
 	fulfills: number;