@xrn1997/dsh-session-delete 0.2.1 → 0.3.0

package/lib/index.js

@@ -1,11 +1,11 @@
-import { homedir } from "node:os";
-import { join, resolve } from "node:path";
 import zlib from "node:zlib";
 import { existsSync } from "node:fs";
 import { mkdir, readFile, readdir, rename, rm, stat } from "node:fs/promises";
+import { join, resolve } from "node:path";
+import { homedir } from "node:os";
 //#region src/shared/wire.ts
 /**
-* 跨半 wire 契约：`/dsh-session-delete-api` 的**前缀、五个端点段、请求字段名**——
+* 跨半 wire 契约：`/dsh-session-delete-api` 的**前缀、六个端点段、请求字段名**——
 * Node 半（`src/api/dispatch.ts` 注册并分发）与浏览器半（`src/client/remote.ts` 同源 fetch）
 * 之间唯一的那份真相。两侧都 import 它，不各写一份字面量。
 *
@@ -28,13 +28,15 @@ import { mkdir, readFile, readdir, rename, rm, stat } from "node:fs/promises";
 * 撞了就是整棵插件树 boot 失败——所以这条路径是与生态的硬边界，不是显示好不好看的问题。
 */
 const SESSION_DELETE_API_PREFIX = "/dsh-session-delete-api";
-/** 五个段名（相对前缀）。2026-10-17 批量重构：写动词从「一条一段」收成**一段 `/apply`**——
+/** 六个段名（相对前缀）。2026-10-17 批量重构：写动词从「一条一段」收成**一段 `/apply`**——
 *  一次 HTTP 带一组 id、逐条回结果；单条就是长度为 1 的批量，仓里不再留第二条执行路径。
 *  - `GET /list`：**对账并读**清单（`session-trash/` 里的目录是准）。
 *  - `GET /ping`：最便宜的在/不在（不碰清册、不碰盘、不进链）——客户端探测用它，不用一次全表读。
-*  - `POST /detail`：单条详情（用 POST 表达一个读：见设计稿 2026-10-15 §3）。
-*  - `POST /apply`：批量执行一个动作（`delete` / `restore` / `purge` / `count`），逐条回 `ApplyOutcome`。
-*  - `POST /empty`：清空回收站（聚合回执，**不**按条回）。 */
+*  - `POST /detail`：单条详情（用 POST 表达一个读：判据就写在 `src/api/route-table.ts` 那一行的上方）。
+*  - `POST /apply`：批量执行一个动作（`delete` / `restore` / `purge` / `count` / `orphan-clean`），逐条回 `ApplyOutcome`。
+*  - `POST /empty`：清空回收站（聚合回执，**不**按条回）。
+*  - `GET /orphans`：无主子会话的扫描报告（纯读，2026-10-19）。**清理不在这里**——它是 `/apply` 的
+*    第五个动作，这一段只负责"有多少、在哪、多大"。 */
 const ROUTES = {
 	list: "/list",
 	/** 通道的"在不在"专用：没有入参、没有副作用、没有磁盘读。 */
@@ -44,7 +46,9 @@ const ROUTES = {
 	/** 一组 id 上的同一个动作；删除确认框那句「含 N 个子会话」也走这里（`action: 'count'`，纯读语义）。 */
 	apply: "/apply",
 	/** 清空回收站。 */
-	empty: "/empty"
+	empty: "/empty",
+	/** 纯读：扫描回收站之外的无主子会话（父已不在语料/清册）。 */
+	orphans: "/orphans"
 };
 /** 请求体字段名：浏览器半发、Node 半读，同名同义（`empty` 没有入参）。 */
 const PARAMS = {
@@ -65,36 +69,34 @@ function isDSHRemoteError(value) {
 	const candidate = value;
 	return candidate.isDSHRemoteError === true && typeof candidate.code === "string";
 }
-//#endregion
-//#region src/verbs/errors.ts
-/** 五个码（设计稿 §6 的表）。**唯一定义处**：`remote/map-error.ts` 从这份数组反推它的 `Code`，
-*  免得"加了一个码只在一边加"让两张表各自漂移（漂移的后果是那个码静默降级成 `io`）。 */
-const VERB_CODES = [
+/** 失败码的域。与宿主官方域（`workspace/*`、`session/*`…）不重名，见本文件。 */
+const SESSION_DELETE_ERROR_DOMAIN = "sessiondelete";
+/** 五个**动词码**（本文件那张表）。`io` 是唯一兜底。 */
+const VERB_CODES$1 = [
 	"live",
 	"not-found",
 	"trash-empty",
 	"project-missing",
 	"io"
 ];
-function verbError(code, message, cause, details) {
-	const e = new Error(message);
-	e.code = `sessiondelete/${code}`;
-	if (cause !== void 0) e.cause = cause;
-	if (details !== void 0) e.details = details;
-	return e;
-}
-/** 路由自检用的失败：带 HTTP 状态语义，**不**冒充五个动词码。 */
-function routeError(code, httpStatus, message) {
-	const e = verbError("io", message);
-	e.code = `sessiondelete/${code}`;
-	e.httpStatus = httpStatus;
-	return e;
-}
+const SESSION_DELETE_CODES = {
+	live: "sessiondelete/live",
+	"not-found": "sessiondelete/not-found",
+	"trash-empty": "sessiondelete/trash-empty",
+	"project-missing": "sessiondelete/project-missing",
+	io: "sessiondelete/io",
+	"bad-method": "sessiondelete/bad-method",
+	"not-found-route": "sessiondelete/not-found-route",
+	"bad-request": "sessiondelete/bad-request"
+};
+/** 回收站目录名（相对宿主数据根）。Node 半拼路径，浏览器半在页脚念它——同一个字面量。 */
+const TRASH_DIR_NAME = "session-trash";
 //#endregion
 //#region src/remote/map-error.ts
-/** 插件专属远程域名（设计稿 §6）：与宿主官方域（`workspace/*`、`session/*`、`gateway/*`…）不重名。 */
-const DOMAIN = "sessiondelete";
-/** 宿主两条类型化错误 → 我们的码（设计稿 §6 的两行映射）。
+/** 插件专属远程域名（src/shared/wire.ts）：与宿主官方域（`workspace/*`、`session/*`、`gateway/*`…）不重名。
+*  字面量的家在 `shared/wire.ts`（ADR-0003）——浏览器半也按同一个域认码。 */
+const DOMAIN = SESSION_DELETE_ERROR_DOMAIN;
+/** 宿主两条类型化错误 → 我们的码（本文件的两行映射）。
 *  类不可 import（跨插件值 import 是红线；且宿主包与运行中的宿主不同代）⇒ 按官方构造器写死的 `this.name` 认。
 *  证据：asar `dsh/node_modules/@deepseek-ai/dsh-workspace/lib/index.js` 原文
 *  `var WorkspaceUnknownSessionError = class extends Error { …; this.name = "WorkspaceUnknownSessionError"; }`
@@ -115,7 +117,7 @@ function hostErrorOf(error) {
 	}
 }
 /** 上屏原文：`Error` 取 `.message`；**带 `message` 字符串的非 Error 抛出物也照取**（否则会退化成
-*  `[object Object]`，把设计稿 §6「`message` 是上屏的原文」这条许诺落空）；其余一律 `String()`。 */
+*  `[object Object]`，把 src/shared/wire.ts「`message` 是上屏的原文」这条许诺落空）；其余一律 `String()`。 */
 function messageOf(error) {
 	if (error instanceof Error) return error.message;
 	if (typeof error === "object" && error !== null) {
@@ -157,7 +159,7 @@ function detailsOf(error) {
 	return ownDetailsOf(error);
 }
 /**
-* 把任意抛出物折成失败信封里的**那三件**（设计稿 §6 唯一那张映射表）。
+* 把任意抛出物折成失败信封里的**那三件**（本文件唯一那张映射表）。
 *
 * - 已经是远程失败（`isDSHRemoteError` 认得的结构标记）⇒ 原样带出它自己的 `code` / `message`，
 *   挂着的 `details` 一起过桥，不再包一层。
@@ -165,12 +167,12 @@ function detailsOf(error) {
 *   把它们折成 `sessiondelete/io` 就是把宿主的判断抹成我们的，客户端拿到的 code 从此不能说真话。
 * - 宿主类型化错误（自身或 `cause` 链上，见 {@link hostErrorOf}）⇒ 映射成 `live` / `not-found`，
 *   并把它自己身上的结构化字段带成 `details`。这一条排在动词码之前：动词会把宿主错误包成笼统的 `io`
-*   并把原错误挂在 cause 上（`verbError('io', …, cause)`），不看进 cause 链，§6 那两行映射永远到不了客户端。
+*   并把原错误挂在 cause 上（`verbError('io', …, cause)`），不看进 cause 链，本文件那两行映射永远到不了客户端。
 * - 动词的 `sessiondelete/<五个码>` ⇒ 原样过桥（`details` 同样带着）。
 * - 其余（别域的怪 code、前缀外的因、非 Error 抛出物）⇒ `io`，message 保留原文。
 *
 * **返回的是线上形状、不是 `Error`**：这份东西唯一的去处是 `src/api/dispatch.ts` 的失败信封
-* （以及 `verbs/apply.ts` 的逐条 `error`），而本仓的跨插件 import 红线也不许为此去引宿主的
+* （以及 `verbs/batch.ts` 的逐条 `error`），而本仓的跨插件 import 红线也不许为此去引宿主的
 * `RemoteError` 类（实例也上不了线：信封只走这三件）。
 */
 function toRemoteFailure(error) {
@@ -192,7 +194,7 @@ function toRemoteFailure(error) {
 		};
 	}
 	const reason = typeof raw === "string" && raw.startsWith(`${DOMAIN}/`) ? raw.slice(14) : void 0;
-	const fromVerb = reason !== void 0 && VERB_CODES.includes(reason) ? reason : void 0;
+	const fromVerb = reason !== void 0 && VERB_CODES$1.includes(reason) ? reason : void 0;
 	const host = hostErrorOf(error);
 	const own = detailsOf(error) ?? (host === void 0 ? void 0 : detailsOf(host));
 	if (host === void 0 && fromVerb === void 0 && typeof raw === "string" && raw.includes("/")) return {
@@ -207,410 +209,187 @@ function toRemoteFailure(error) {
 	};
 }
 //#endregion
-//#region src/trash/entry.ts
-const pad = (n, w = 2) => String(n).padStart(w, "0");
-function makeEntryId(deletedAt, sessionDirName) {
-	const d = new Date(deletedAt);
-	return `${`${d.getUTCFullYear()}${pad(d.getUTCMonth() + 1)}${pad(d.getUTCDate())}T${pad(d.getUTCHours())}${pad(d.getUTCMinutes())}${pad(d.getUTCSeconds())}Z`}-${sessionDirName}`;
+//#region src/verbs/errors.ts
+/** 五个码 / 三个路由自检码的**家都在 `shared/wire.ts`**（ADR-0003）：浏览器半也要认它们（比如
+*  `not-found` 在界面上是中性提示而不是失败），所以它们属于两半共同的契约，不属于 Node 半。
+*  这里只转出旧名，免得调用点全改一遍。 */
+const VERB_CODES = VERB_CODES$1;
+/** `sessiondelete/` 这个前缀——拆码用它，别在下面几处各写一遍字面量。 */
+const VERB_CODE_PREFIX = `${SESSION_DELETE_ERROR_DOMAIN}/`;
+/** `error.code` 是不是本仓的动词码（`sessiondelete/<码>`）。**唯一判据**：`journalFailure` 与永久删除
+*  执行器要"已经是动词码就原样抛"时都问这一句。同文件的 `withRollbackFailures` 还要码的后缀，所以它
+*  就地 `slice` 一次——前缀仍只住 `VERB_CODE_PREFIX` 这一处，别在调用点另写一份字面量。 */
+function isVerbCodeError(error) {
+	const raw = error?.code;
+	return typeof raw === "string" && raw.startsWith(VERB_CODE_PREFIX);
 }
-const ENTRY_ID_RE = /^(\d{4})(\d{2})(\d{2})T(\d{2})(\d{2})(\d{2})Z-(.+)$/;
-/** `makeEntryId` 的逆。时间戳按 UTC 拆字段再 `Date.UTC` 合回——不交给 `Date.parse`
-*  去猜（`20260930T130500Z` 不是任何被承认的日期格式，猜出来的是 NaN）。 */
-function parseEntryId(id) {
-	const m = ENTRY_ID_RE.exec(id);
-	if (!m) throw new Error(`bad entry id: ${id}`);
-	const [, y, mo, d, h, mi, s, sessionDirName] = m;
-	return {
-		deletedAt: Date.UTC(+y, +mo - 1, +d, +h, +mi, +s),
-		sessionDirName
-	};
+function verbError(code, message, cause, details) {
+	const e = new Error(message);
+	e.code = SESSION_DELETE_CODES[code];
+	if (cause !== void 0) e.cause = cause;
+	if (details !== void 0) e.details = details;
+	return e;
 }
-function sessionDirOf(projectDir, sessionDirName, home) {
-	return `${home}/sessions/${projectDir}/${sessionDirName}`;
+/** 路由自检用的失败：带 HTTP 状态语义，**不**冒充五个动词码。 */
+function routeError(code, httpStatus, message) {
+	const e = verbError("io", message);
+	e.code = SESSION_DELETE_CODES[code];
+	e.httpStatus = httpStatus;
+	return e;
 }
-function trashDirOf(entryId, home) {
-	return `${home}/session-trash/${entryId}`;
+/** 一条回滚步骤失败的**标签句**：label 说的是"这一步在退什么"，原文带出**那一步抛的东西**
+*  （`Error` 取 message，其余一律 `String()`；对象带 `message` 的差异归 `map-error.messageOf` 管）。
+*  调用方不许另抄这份格式——那样 details 里的句子会随各处 catch 变形，界面上就变成"同一个失败三个说法"。 */
+function rollbackReason(label, error) {
+	return `${label}：${error instanceof Error ? error.message : String(error)}`;
+}
+/** 内层错误已经挂着的回滚失败（成员自己的就地回滚失败时会有）。组级 catch 再包一次时不能丢。 */
+function carriedRollbackFailures(error) {
+	const raw = error?.details?.rollbackFailures;
+	return Array.isArray(raw) ? raw.filter((item) => typeof item === "string") : [];
+}
+/** 原错误保留，回滚失败作为 `details.rollbackFailures` 上线；码仍按原错误的动词码，
+*  没有可继承的就落 io。**内层的回滚失败要并进来**：一个成员自己退失败、兄弟也退失败时，
+*  两份失败都得在 details 里，消息也不能出现第二个「回滚未完成」。 */
+function withRollbackFailures(error, failures) {
+	const raw = error?.code;
+	const reason = typeof raw === "string" && raw.startsWith(VERB_CODE_PREFIX) ? raw.slice(VERB_CODE_PREFIX.length) : void 0;
+	const code = reason !== void 0 && VERB_CODES.includes(reason) ? reason : "io";
+	const carried = carriedRollbackFailures(error);
+	const merged = [.../* @__PURE__ */ new Set([...carried, ...failures])];
+	const base = error instanceof Error ? error.message : String(error);
+	const extra = failures.filter((failure) => !carried.includes(failure));
+	return verbError(code, base.includes("；回滚未完成：") ? extra.length > 0 ? `${base}；${extra.join("；")}` : base : `${base}；回滚未完成：${merged.join("；")}`, error, { rollbackFailures: merged });
 }
 //#endregion
-//#region src/log/zstd-frames.ts
-const MAGIC = [
-	40,
-	181,
-	47,
-	253
-];
-/** magic(4) + Frame_Header_Descriptor(1) 之后第一个字节的偏移。 */
-const AFTER_DESCRIPTOR = 5;
-const BLOCK_HEADER_BYTES = 3;
-const BLOCK_LAST = 1;
-const BLOCK_TYPE_SHIFT = 1;
-const BLOCK_SIZE_SHIFT = 3;
-const BLOCK_SIZE_MASK = 2097151;
-const BLOCK_RAW = 0;
-const BLOCK_RLE = 1;
-const BLOCK_COMRESSED = 2;
-/** 规范（RFC 8878 表 4）里 3 是 **Reserved**，不是"未压缩块"：见到就抛，别照 Raw 吞块体。 */
-const BLOCK_RESERVED = 3;
-/** descriptor 各字段的取值 → 字段字节数（zstd 帧头的两张尺寸表）。 */
-const DID_SIZES = [
-	0,
-	1,
-	2,
-	4
-];
-const FCS_SIZES_SINGLE = [
-	1,
-	2,
-	4,
-	8
-];
-const FCS_SIZES_MULTI = [
-	0,
-	2,
-	4,
-	8
-];
-/** 实测的帧尾长度（校验和位置；bit5 没置位也照样带，见文件头注）。 */
-const FRAME_TAIL_BYTES = 4;
-function isMagicAt(raw, at) {
-	return MAGIC.every((byte, i) => raw[at + i] === byte);
-}
-function readUint24LE(raw, at) {
-	return raw[at] | raw[at + 1] << 8 | raw[at + 2] << 16;
-}
-/** 块体之后有没有那 4 字节尾巴：只有"跳过它之后仍是帧头或到 EOF"才认。 */
-function withFrameTail(raw, at) {
-	const afterTail = at + FRAME_TAIL_BYTES;
-	if (afterTail <= raw.length && (afterTail === raw.length || isMagicAt(raw, afterTail))) return afterTail;
-	return at;
-}
-/**
-* 把 `raw` 切成帧区间。
-* @throws 起始处不是 magic、或某帧算到的末位既不是下一帧帧头也不是 EOF——**一律抛**，
-*   绝不"尽力往下解"：切错帧的后果是把半截压缩体当解压输入，那时解出来的东西不可信。
+//#region src/ports/agent-handles.ts
+const CAPTURED_AGENT_HANDLES = Symbol.for("dsh-session-delete.captured-agent-handles");
+/** 在 `ctx.agents` 上包一层 `resume` / `create`，把返回的 agent handle 的 dispose 按会话 id 记下。
+*  服务缺席时走 `ctx.inject(['agents'])` **等服务挂上再装**——live profile 的插件激活顺序可能早于
+*  `agents` 服务就绪；只在 apply 时 `get` 一次会让捕获静默缺席（真机症状：重启前在回收站的能冷恢复，
+*  刚删除的会话恢复后旧 agent 拦住 prompt）。形状不符 / 属性不可写都只是**不捕获**，不影响插件激活。
+*
+*  **安装时机**：先 `get('agents')`，没装成再 `inject(['agents'])`（两者只装一次，符号表兜住）。
+*  **symbol 表**：句柄表挂在服务实例的 {@link CAPTURED_AGENT_HANDLES} 上；同一个 agents 服务上的第二次
+*  安装（`get` 与 `inject` 各一次，或第二个 `createHostPort`）看见它就直接共用，不把 wrapper 套第二层。
+*  **读回判据**：cordis 的 traceable 服务代理每次读函数都会新包一层（`get` 里的 `createShadowMethod`），
+*  所以只能看 own property descriptor 的身份；拿 `service[name]` 读回比身份是必然的假警报。
 */
-function frameRanges(raw) {
-	const ranges = [];
-	let at = 0;
-	while (at < raw.length) {
-		if (!isMagicAt(raw, at)) throw new Error(`zstd 帧头缺席：偏移 ${at} 处不是 magic（前面第 ${ranges.length} 帧的边界算歪了？）`);
-		const descriptor = raw[at + 4];
-		if (descriptor === void 0) throw new Error(`zstd 帧头不完整：偏移 ${at} 之后不足 ${AFTER_DESCRIPTOR} 字节`);
-		const fcsFlag = descriptor & 3;
-		const singleSegment = descriptor >> 2 & 1;
-		const didFlag = descriptor >> 6 & 3;
-		let cursor = at + AFTER_DESCRIPTOR;
-		if (!singleSegment) cursor += 1;
-		cursor += DID_SIZES[didFlag];
-		cursor += (singleSegment ? FCS_SIZES_SINGLE : FCS_SIZES_MULTI)[fcsFlag];
-		for (;;) {
-			const blockHeader = readUint24LE(raw, cursor);
-			cursor += BLOCK_HEADER_BYTES;
-			if (cursor > raw.length) throw new Error(`zstd 块头越界：帧起于 ${at}，读到偏移 ${cursor}（文件长 ${raw.length}）`);
-			const blockType = blockHeader >> BLOCK_TYPE_SHIFT & 3;
-			const blockSize = blockHeader >> BLOCK_SIZE_SHIFT & BLOCK_SIZE_MASK;
-			if (blockType === BLOCK_RESERVED) throw new Error(`zstd 保留块类型：帧起于 ${at}，偏移 ${cursor - BLOCK_HEADER_BYTES} 的块头 type=3（规范 Reserved，对面解不开）`);
-			if (blockType === BLOCK_RAW || blockType === BLOCK_COMRESSED) cursor += blockSize;
-			else if (blockType === BLOCK_RLE) cursor += 1;
-			if (blockHeader & BLOCK_LAST) break;
+function captureAgentHandles(ctx) {
+	let handles = /* @__PURE__ */ new Map();
+	let installed = false;
+	const install = (candidate) => {
+		if (installed) return;
+		const service = candidate;
+		if (service === void 0 || service === null) return;
+		const existing = service[CAPTURED_AGENT_HANDLES];
+		if (existing !== void 0) {
+			handles = existing;
+			installed = true;
+			return;
 		}
-		cursor = withFrameTail(raw, cursor);
-		if (cursor !== raw.length && !isMagicAt(raw, cursor)) throw new Error(`zstd 帧边界算歪了：帧起于 ${at}，算到 ${cursor}，那里既不是下一帧帧头也不是 EOF`);
-		ranges.push({
-			start: at,
-			end: cursor
+		let wrappedCount = 0;
+		for (const name of ["resume", "create"]) try {
+			const original = service[name];
+			if (typeof original !== "function") continue;
+			const wrapped = function(...args) {
+				const result = Reflect.apply(original, this, args);
+				result.then((value) => {
+					const handle = value;
+					const id = handle?.agent?.id;
+					if (typeof id !== "string" || id.length === 0 || typeof handle?.dispose !== "function") return;
+					handles.set(id, async () => {
+						await handle.dispose();
+					});
+				}, () => void 0);
+				return result;
+			};
+			service[name] = wrapped;
+			if (Object.getOwnPropertyDescriptor(service, name)?.value !== wrapped) throw new Error(`agents.${name} is not writable`);
+			wrappedCount += 1;
+		} catch {}
+		if (wrappedCount === 0) return;
+		try {
+			service[CAPTURED_AGENT_HANDLES] = handles;
+		} catch {}
+		installed = true;
+	};
+	const service = ctx.get("agents");
+	if (service !== void 0 && service !== null) install(service);
+	if (!installed && typeof ctx.inject === "function") try {
+		ctx.inject(["agents"], (child) => {
+			install(child.get("agents"));
 		});
-		at = cursor;
-	}
-	return ranges;
+	} catch {}
+	return { async dispose(sessionId) {
+		const dispose = handles.get(sessionId);
+		if (dispose === void 0) return;
+		try {
+			await dispose();
+		} finally {
+			handles.delete(sessionId);
+		}
+	} };
 }
 //#endregion
-//#region src/log/session-log.ts
+//#region src/ports/host-port.ts
+/** live store 的最小方法面判据（同 `projectionCacheOf` 的手法：按方法面判，不按 constructor.name）。 */
+function liveSessionsOf(ctx) {
+	const store = ctx.get("sessions");
+	if (store === void 0 || store === null) return void 0;
+	if (typeof store.get !== "function" || typeof store.liveEntryFor !== "function") return void 0;
+	return store;
+}
+/** 官方的「这些父的孩子」那一支：`kind:'parent'` 的判据逐字是 `values.includes(record.header.parentSession ?? null)`。 */
+async function filterChildrenOf(sessionQuery, values) {
+	return sessionQuery.filterSessions([{
+		kind: "parent",
+		values: [...values].sort()
+	}]);
+}
 /**
-* 会话日志（`session.vN.jsonl.zstd`）的**逐帧读法**：帧边界交给 `zstd-frames.ts`，这一层只做
-* 「帧 → 明文 → 一行一条 JSON」的解码，并把每条记录原样交给回调。
-*
-* **策略不在这里**（哪些 `type` 算正文、截断到多少字、算不算失败）——那是 `src/trash/detail.ts` 的事。
-* 这一层只懂编解码，所以它能被单独验穿。
+* 从若干根出发**逐层往下**把盘上的后代问出来，交回 `父（bare）→ 孩子` 的索引。
 *
-* 两条实测决定的口径：
-* ① **必须逐帧**：Node 的 `zstdDecompressSync` 与 `createZstdDecompress()` 都只给第一帧（见
-*    `zstd-frames.ts` 头注）；明文留在手里会一次装下整条日志（本机 125 条合计 280.7 MB），
-*    所以**一帧一帧解、解完就撒手**，内存口径是"最大那一帧的明文"（实测 8.99 MB）而不是整条。
-* ② **一行的余量跨帧带走**（2026-10-16 改，原来靠"跳过解不开的行"兜）：写作侧是一条条 append，
-*    实测本机 686 个 `.jsonl.zstd` / 92 421 帧**没有一帧切在行中间**（连最后一帧都整行收尾），
-*    所以旧口径当时并不丢东西；但"逐帧 `split('\n')`"一旦遇上切行就是**静默少一条记录**（半个头
-*    加半个身，两半都解不开 JSON），而少掉的那条正是页面上要跟账的正文。带上余量之后这条不变量
-*    不必再成立，顺带把**跨帧的多字节字符**也解对了——拼接在字节层做，`toString('utf8')` 只看整行。
-*    真被切断的尾巴（写一半）仍然**跳过并计数**：绝不因为一行就抛整个读数，前面几百条是真的。
-*/
-const NEWLINE = 10;
-/**
-* 宿主给每一代日志的词法（逐字取自 `@deepseek-ai/dsh-session-format@0.2.0-rc.2` 的
-* `CANONICAL_LOG_FILENAME`，剥掉压缩后缀那段由我们自己在正则里补上 `.zstd`）：
-* 裸名 `session.jsonl` 是**第 0 代**，往后是 `session.vN`；`.v0`、前导零、大写、临时名都不是规范名。
-*/
-const CANONICAL_ZSTD_LOG = /^session(?:\.v([1-9][0-9]*))?\.jsonl\.zstd$/u;
-/**
-* 同一个会话目录里**可以并存多代日志**（宿主换代时把老代留在原地当历史语料，本机实测 7 个目录如此），
-* 而新代是老代的**迁移后超集**（实测：`firstTs` 与开头那条提问完全相同、记录更多、末尾更晚）
-* ⇒ 要读的是版本号最大的那一代，读旧代 = 读到一份截了尾巴的快照；把几代拼起来 = 重复计数。
+* 为什么一次问一层而不是官方的 `traceSession`：那条在父已经进回收站时认不出目标
+* （`SESSION_QUERY_SESSION_NOT_FOUND`），而我们要的那批正是"父已经不在宿主列表里之后还剩在盘上的"。
+* `kind:'parent'` 是唯一能按 `header.parentSession` 反着问的一支。
 *
-* 明文（无 `.zstd`）不在此列：本插件的读法逐帧解 zstd，明文得走另一条解码路。
+* 停下来的条件与代价：**层数**决定宿主调用次数，行数不参与（一层一次，问空即停）。同一条记录只收一次
+* （`seen` 连着根一起记），所以数据里真出现环时结果是"少数一条"，不是把清单读挂死。
+* 交回的 id 没有 `header.id` 的记录**整条跳过**——身份冒充不起（同 {@link HostCorpusPort.subagentMembersOf} 那条），
+* 而且没有身份就没法往下问，硬数进去只会让它将来被重复计。
 */
-function pickSessionLog(names) {
-	let best;
-	let bestVersion = -1;
-	for (const name of names) {
-		const match = CANONICAL_ZSTD_LOG.exec(name);
-		if (match === null) continue;
-		const version = match[1] === void 0 ? 0 : Number(match[1]);
-		if (version > bestVersion) {
-			bestVersion = version;
-			best = name;
+async function descendantsByParent(sessionQuery, roots) {
+	const children = /* @__PURE__ */ new Map();
+	const seen = new Set(roots.map(bareSessionId));
+	let frontier = [...seen];
+	while (frontier.length > 0) {
+		const values = [];
+		for (const bare of frontier) for (const shape of sessionIdShapes(bare)) if (!values.includes(shape)) values.push(shape);
+		const next = [];
+		for (const record of await filterChildrenOf(sessionQuery, values)) {
+			const id = record.header?.id;
+			const parent = record.header?.parentSession;
+			if (typeof id !== "string" || id.length === 0) continue;
+			if (typeof parent !== "string" || parent.length === 0) continue;
+			const bare = bareSessionId(id);
+			if (seen.has(bare)) continue;
+			seen.add(bare);
+			const cwd = record.header?.cwd;
+			const descendant = {
+				id,
+				bare,
+				projectDir: cwd === void 0 ? NO_CWD_PROJECT_DIR : projectKey(cwd)
+			};
+			const parentBare = bareSessionId(parent);
+			const siblings = children.get(parentBare);
+			if (siblings === void 0) children.set(parentBare, [descendant]);
+			else siblings.push(descendant);
+			next.push(bare);
 		}
+		frontier = next;
 	}
-	return best;
-}
-/**
-* 逐帧走一遍日志，每条记录交给回调。
-*
-* 回调返回 `false` = **提前停机**（后面的帧不再解——`readSessionHeader` 只要第一行）。
-* 停机后 `stats` 只是停机前那部分，别拿来做全量对账。
-*/
-function walkSessionLog(raw, onRecord) {
-	const stats = {
-		frames: 0,
-		records: 0,
-		unparsedLines: 0,
-		truncatedTailBytes: 0
-	};
-	let stopped = false;
-	const feed = (line) => {
-		if (line === "") return;
-		let parsed;
-		try {
-			parsed = JSON.parse(line);
-		} catch {
-			stats.unparsedLines += 1;
-			return;
-		}
-		stats.records += 1;
-		if (onRecord(parsed !== null && typeof parsed === "object" ? parsed : {}) === false) stopped = true;
-	};
-	/** 上一帧没闭合的那一行。**存字节不存字符**：切在多字节字符中间的帧要拼回完整才解得对。 */
-	let carry = Buffer.alloc(0);
-	for (const { start, end } of frameRanges(raw)) {
-		if (stopped) break;
-		stats.frames += 1;
-		let plain;
-		try {
-			plain = zlib.zstdDecompressSync(raw.subarray(start, end));
-		} catch (error) {
-			throw new Error(`回收站日志第 ${stats.frames} 帧解压失败：${String(error)}`);
-		}
-		const merged = carry.length === 0 ? plain : Buffer.concat([carry, plain]);
-		const cut = merged.lastIndexOf(NEWLINE);
-		if (cut === -1) {
-			carry = merged;
-			continue;
-		}
-		carry = merged.subarray(cut + 1);
-		for (const line of merged.subarray(0, cut).toString("utf8").split("\n")) {
-			feed(line);
-			if (stopped) break;
-		}
-	}
-	stats.truncatedTailBytes = carry.length;
-	if (carry.length > 0 && !stopped) feed(carry.toString("utf8"));
-	return stats;
-}
-/**
-* 日志的 **header**：格式事实是"第一行即 header"（`type: 'session'`，含 `id` 与 `cwd`，v3/v4 均如此，
-* AGENTS.md 有实测背书）——这里按 `type === 'session'` 找**第一条**这样的记录并就地停机
-* （不要求它恰是第一个可解析行：坏一行前缀不该让整条日志判不出身份）。
-* 找不到（空日志 / 全是别种记录）回 `undefined`；帧坏了照抛——那是"读不出来"，与"没有 header"是两件事。
-*/
-function readSessionHeader(raw) {
-	let header;
-	walkSessionLog(raw, (record) => {
-		if (record.type !== "session") return;
-		header = record;
-		return false;
-	});
-	return header;
-}
-const DEFAULT_LIMITS = {
-	perMessageChars: 3e3,
-	totalChars: 5e5
-};
-/** 一条记录里那些 `content[]` 段的文字拼起来（`\n` 分隔；非 text 段一律不参与）。 */
-function textOf(content) {
-	if (!Array.isArray(content)) return "";
-	return content.filter((part) => part?.type === "text" && typeof part.text === "string").map((part) => part.text).join("\n").trim();
-}
-function readTrashDetail(deps, limits = DEFAULT_LIMITS) {
-	return async function readTrashDetail(entryId) {
-		const record = (await deps.manifest.list()).find((e) => e.id === entryId);
-		if (record === void 0) throw verbError("trash-empty", `回收站里没有这一条：${entryId}`);
-		const dir = trashDirOf(record.id, deps.home);
-		if (!await deps.fs.exists(dir)) throw verbError("io", `回收站目录不在：${dir}`);
-		const names = await deps.fs.listFiles(dir);
-		const logName = pickSessionLog(names);
-		if (logName === void 0) throw verbError("io", `回收站目录里没有会话日志：${dir}（里面有：${names.join(", ") || "空目录"}）`);
-		let raw;
-		try {
-			raw = await deps.fs.readFile(`${dir}/${logName}`);
-		} catch (error) {
-			throw verbError("io", `读会话日志失败：${String(error)}`, error);
-		}
-		const detail = {
-			entryId: record.id,
-			cwd: "",
-			createdAt: 0,
-			lastActivity: 0,
-			logTitle: "",
-			models: [],
-			turnCount: 0,
-			userMessageCount: 0,
-			assistantMessageCount: 0,
-			toolCallCount: 0,
-			injectedCount: 0,
-			messages: [],
-			omittedByPayloadCap: 0
-		};
-		const models = /* @__PURE__ */ new Set();
-		let usedChars = 0;
-		let capped = false;
-		/** 收进正文，顺带管两个闸：截到单条上限，累计到总量就停。 */
-		function push(role, time, text) {
-			if (capped) {
-				detail.omittedByPayloadCap += 1;
-				return;
-			}
-			const truncated = text.length > limits.perMessageChars;
-			const kept = truncated ? text.slice(0, limits.perMessageChars) : text;
-			if (usedChars + kept.length > limits.totalChars) {
-				capped = true;
-				detail.omittedByPayloadCap += 1;
-				return;
-			}
-			usedChars += kept.length;
-			detail.messages.push({
-				role,
-				time,
-				text: kept,
-				truncated
-			});
-		}
-		try {
-			walkSessionLog(raw, (r) => {
-				if (typeof r.time === "number" && r.time > detail.lastActivity) detail.lastActivity = r.time;
-				const data = r.data ?? {};
-				switch (r.type) {
-					case "session":
-						if (typeof r.cwd === "string") detail.cwd = r.cwd;
-						if (typeof r.createdAt === "number") detail.createdAt = r.createdAt;
-						return;
-					case "session/title":
-						if (typeof data.title === "string") detail.logTitle = data.title;
-						return;
-					case "turn/start":
-						detail.turnCount += 1;
-						return;
-					case "tool/call":
-						detail.toolCallCount += 1;
-						return;
-					case "user/message": {
-						if ((data.source ?? {}).kind !== "user") {
-							detail.injectedCount += 1;
-							return;
-						}
-						const text = textOf(data.content);
-						if (text === "") return;
-						detail.userMessageCount += 1;
-						push("user", r.time ?? 0, text);
-						return;
-					}
-					case "assistant/message": {
-						const message = data.message ?? {};
-						const source = message.source ?? {};
-						if (typeof source.model === "string") models.add(source.model);
-						const text = textOf(message.content);
-						if (text === "") return;
-						detail.assistantMessageCount += 1;
-						push("assistant", r.time ?? 0, text);
-						return;
-					}
-					default: return;
-				}
-			});
-		} catch (error) {
-			throw verbError("io", error instanceof Error ? `读回收站日志失败：${error.message}` : `读回收站日志失败：${String(error)}`, error);
-		}
-		detail.models = [...models];
-		return detail;
-	};
-}
-//#endregion
-//#region src/ports/host-port.ts
-/** live store 的最小方法面判据（同 `projectionCacheOf` 的手法：按方法面判，不按 constructor.name）。 */
-function liveSessionsOf(ctx) {
-	const store = ctx.get("sessions");
-	if (store === void 0 || store === null) return void 0;
-	if (typeof store.get !== "function" || typeof store.liveEntryFor !== "function") return void 0;
-	return store;
-}
-/** 官方的「这些父的孩子」那一支：`kind:'parent'` 的判据逐字是 `values.includes(record.header.parentSession ?? null)`。 */
-async function filterChildrenOf(sessionQuery, values) {
-	return sessionQuery.filterSessions([{
-		kind: "parent",
-		values: [...values].sort()
-	}]);
-}
-/**
-* 从若干根出发**逐层往下**把盘上的后代问出来，交回 `父（bare）→ 孩子` 的索引。
-*
-* 为什么一次问一层而不是官方的 `traceSession`：那条在父已经进回收站时认不出目标
-* （`SESSION_QUERY_SESSION_NOT_FOUND`），而我们要的那批正是"父已经不在宿主列表里之后还剩在盘上的"。
-* `kind:'parent'` 是唯一能按 `header.parentSession` 反着问的一支。
-*
-* 停下来的条件与代价：**层数**决定宿主调用次数，行数不参与（一层一次，问空即停）。同一条记录只收一次
-* （`seen` 连着根一起记），所以数据里真出现环时结果是"少数一条"，不是把清单读挂死。
-* 交回的 id 没有 `header.id` 的记录**整条跳过**——身份冒充不起（同 {@link HostPort.subagentMembers} 那条），
-* 而且没有身份就没法往下问，硬数进去只会让它将来被重复计。
-*/
-async function descendantsByParent(sessionQuery, roots) {
-	const children = /* @__PURE__ */ new Map();
-	const seen = new Set(roots.map(bareSessionId));
-	let frontier = [...seen];
-	while (frontier.length > 0) {
-		const values = [];
-		for (const bare of frontier) for (const shape of sessionIdShapes(bare)) if (!values.includes(shape)) values.push(shape);
-		const next = [];
-		for (const record of await filterChildrenOf(sessionQuery, values)) {
-			const id = record.header?.id;
-			const parent = record.header?.parentSession;
-			if (typeof id !== "string" || id.length === 0) continue;
-			if (typeof parent !== "string" || parent.length === 0) continue;
-			const bare = bareSessionId(id);
-			if (seen.has(bare)) continue;
-			seen.add(bare);
-			const cwd = record.header?.cwd;
-			const descendant = {
-				id,
-				bare,
-				projectDir: cwd === void 0 ? NO_CWD_PROJECT_DIR : projectKey(cwd)
-			};
-			const parentBare = bareSessionId(parent);
-			const siblings = children.get(parentBare);
-			if (siblings === void 0) children.set(parentBare, [descendant]);
-			else siblings.push(descendant);
-			next.push(bare);
-		}
-		frontier = next;
-	}
-	return children;
+	return children;
 }
 /** 某个根在 `descendantsByParent` 那棵树里的全部后代（深度不设上限，同一条只收一次）。 */
 function subtreeOf(children, rootBare) {
@@ -629,6 +408,23 @@ function subtreeOf(children, rootBare) {
 	}
 	return out;
 }
+function toMember(d) {
+	return {
+		sessionId: d.id,
+		projectDir: d.projectDir
+	};
+}
+/** {@link HostCorpusPort.subagentMembersOf} 的那一次 BFS。
+*  空清单在调用宿主之前就返回（不为一张空表扫全库）。 */
+async function membersFor(sessionQuery, parentIds) {
+	const wanted = [];
+	for (const id of parentIds) if (id.length > 0 && !wanted.includes(id)) wanted.push(id);
+	if (wanted.length === 0) return {};
+	const children = await descendantsByParent(sessionQuery, wanted);
+	const out = {};
+	for (const id of wanted) out[id] = subtreeOf(children, bareSessionId(id));
+	return out;
+}
 /** 无 cwd 的会话落在 `<sessions>/_no-cwd/`（asar `dsh-session-persistence-jsonl/lib/index.js`
 *  的 `projectDir(root, cwd)`：`if (cwd === void 0) return join(root, "_no-cwd");`）。
 *  `projectDirOf` 与回收站对账（`src/trash/reconcile.ts` 重建条目）共用这一个字面量。 */
@@ -694,7 +490,7 @@ const NO_SUCH_SESSION = "session persistence holds no such session";
 function isUnknownSession(error) {
 	return error instanceof Error && error.message.includes(NO_SUCH_SESSION);
 }
-/** 会话 id 去掉 `session-` 前缀后的形状（同一个父在两代里写法不同，见 {@link HostPort.subagentCounts}）。 */
+/** 会话 id 去掉 `session-` 前缀后的形状（同一个父在两代里写法不同，见 {@link HostCorpusPort.subagentMembersOf}）。 */
 function bareSessionId(id) {
 	return id.startsWith("session-") ? id.slice(8) : id;
 }
@@ -734,11 +530,12 @@ function isWorkspaceMissingError(error) {
 *
 * 每个方法的依据（服务 / 方法 / 入参）与原文切片见各自的实现处注释。
 * 出错一律**原样抛**（不在这里裹动词码）：动词层把原始错误挂在 `cause` 上，
-* `toRemoteFailure` 再按 `name` 把它映射回 `sessiondelete/<码>`（设计稿 §6 的两行映射）。
+* `toRemoteFailure` 再按 `name` 把它映射回 `sessiondelete/<码>`（src/remote/map-error.ts 的两行映射）。
 */
 function createHostPort(ctx) {
 	const host = ctx;
 	const registry = host.workspaceRegistry;
+	const agentHandles = captureAgentHandles(host);
 	return {
 		/** 账本里记着这个会话的工作区：`registry.list()` 的实体 `sessionIds`（该 getter 已按 canonical cwd 过滤过）。 */
 		async workspaceOf(sessionId) {
@@ -754,7 +551,7 @@ function createHostPort(ctx) {
 		*
 		* 「账本里没有这个会话」= **未命中**，回 `undefined`（不是抛）：这正是本方法声明的类型，
 		* 也是 `delete-session.ts` 已经写好的那条分支 `if (!projectDir) throw
-		* verbError('not-found', …)` 的入口。若让它裸抛，那句话永远为假 ⇒ 设计稿 §6 的 `not-found`
+		* verbError('not-found', …)` 的入口。若让它裸抛，那句话永远为假 ⇒ src/shared/wire.ts 的 `not-found`
 		* （「会话目录或账本条目不存在」）在这条最自然的路径上拿不到码，客户端只会看到 `sessiondelete/io`。
 		*
 		* **只吞这一种**：其余错误（真存储故障）照抛，让 `toRemoteFailure` 兜成 `io` 而不是假 `not-found`。
@@ -786,7 +583,7 @@ function createHostPort(ctx) {
 			}
 		},
 		/**
-		* 活跃判据 = 宿主官方那一条（设计稿 §5）：`workspace/session-activity` waterfall 问一次，
+		* 活跃判据 = 宿主官方那一条（本文件）：`workspace/session-activity` waterfall 问一次，
 		* **空数组 = 无活动**；与宿主自己的 `archiveSession` 准入同源，不自创第二套。
 		* asar 原文：`const activity = await this.ctx.waterfall('workspace/session-activity', { sessionId }, () => Promise.resolve([]));
 		* if (activity.length > 0) throw new WorkspaceActiveSessionError(sessionId, activity);`
@@ -799,31 +596,39 @@ function createHostPort(ctx) {
 			return registry.archivedSessionIds.includes(sessionId);
 		},
 		/**
-		* 从 `ctx.sessions`（live store）里摘掉一个会话。
+		* 从 `ctx.sessions`（live store）里摘掉会话，并把它的 **agent 一起关掉**（有捕获 handle 时）。
 		*
 		* **为什么需要**：会话列表读面是并集——`sessionQuery.listSessions()` = 磁盘上的持久化 ∪ `ctx.sessions` 里的活体
-		* （见设计稿 §4 末）。搬走文件只清掉一侧；本机运行期打开过的会话是活体，列表照样把它交出来，
-		* 于是"删了还在"（真机实测：文件已进回收站、账本已摘，侧栏仍留着那一行）。
+		* （见本文件的「通告」一段）。搬走文件只清掉一侧；本机运行期打开过的会话是活体，列表照样把它交出来。
 		*
-		* **这是未声明为契约的内部入口**（设计稿 §4 末记了这次偏离）：`liveEntryFor` / `entry.detach()` 是 store
-		* 给**会话 owner**（agent 的 effect 链）用的，宿主自己的控制器 `createOrAdopt` 只取 `agents.create()`
-		* 返回的 `.agent`、把带 `dispose` 的 handle 丢掉了，`ctx.agents` 也没有 `liveEntryFor` 那样的入口
-		* （会话 store 有、agent store 没有，逐成员面核过）⇒ 只能摘到"会话"这一层，上面那具 agent 摘不到，
-		* 它之后若走到 `flush(session)` 会撞 `liveEntryFor` 抛 `session "…" is not live in this store`。
+		* **agent 也必须关**：`ctx.agents` 没有 per-agent dispose；宿主 `AgentService.resume` / `create` 返回的
+		* `AgentHandle` 带宿主自己的外层 teardown（关写句柄、摘 agent/session），但 `SessionController` 只取
+		* `.agent`、把 handle 丢掉。agent handle 捕获（`src/ports/agent-handles.ts`）在 `ctx.agents` 上包一层，
+		* 按会话 id 留住 handle；这里先 `entry.detach()`（摘 session、发 `session/disposed`），再
+		* `await agentHandles.dispose(sessionId)`。
+		* **只摘 session 的后果**：恢复后 `SessionController.resolve` 会先命中那具旧 agent，prompt 被收下、
+		* 日志不再增长，直到宿主重启（2026-10-21 真机复现）。
 		*
-		* **所以判据是三态**：读不到 store / 形状不符（旧版宿主）/ detach 抛 ⇒ `unknown`（**不通告**，
+		* **捕获不到 handle 的 agent**（插件激活前已启动的配置 agent，或 `ctx.agents` 形状变化）只能摘 session；
+		* 这是已知的残留限制，不拿归档当兜底（ADR-0008）。
+		*
+		* **所以判据是三态**：读不到 store / 形状不符（旧版宿主）/ detach 或 dispose 抛 ⇒ `unknown`（**不通告**，
 		* 因为无法断言宿主列表已经干净）；内存里本来没有 ⇒ `not-live`；摘成功 ⇒ `evicted`。
 		* 任何一步都不抛：删除的持久化部分已经完成，这里不该把它翻成失败。
 		*/
 		async evictLive(sessionId) {
 			try {
 				const store = liveSessionsOf(host);
+				const session = store?.get(sessionId);
 				if (store === void 0) return "unknown";
-				const session = store.get(sessionId);
-				if (session === void 0 || session === null) return "not-live";
+				if (session === void 0 || session === null) {
+					await agentHandles.dispose(sessionId);
+					return "not-live";
+				}
 				const entry = store.liveEntryFor(session);
 				if (entry === void 0 || entry === null || typeof entry.detach !== "function") return "unknown";
 				entry.detach();
+				await agentHandles.dispose(sessionId);
 				return "evicted";
 			} catch {
 				return "unknown";
@@ -850,14 +655,15 @@ function createHostPort(ctx) {
 			} catch {}
 		},
 		/**
-		* 通告客户端"这个会话回来了"（恢复用）。
+		* 通告客户端"这个会话回来了"。
 		*
 		* 摘要**取自宿主自己的会话列表**（`ctx.sessionController.list()`），不自己造一行：客户端 `handleSessionAdded`
 		* 要的是宿主 `summaryFor` 那套形状（sessionId / updatedAt / blank / projections…），照抄宿主的那一份最可靠。
-		* 取不到（控制器缺席 / 列表里没有它 / 抛错）就**一条都不发**——恢复本身已经完成，只是要等下次重连才上屏。
+		* 取不到（控制器缺席 / 列表里没有它 / 抛错）就**一条都不发**。
 		*
-		* **单条路各拉一次表**；批量走 {@link HostPort.announceRestoredBatch} + 一次预取（见 {@link restoredSummariesOf}），
-		* 100 条的批量恢复用这条就是 100 遍全表扫——那是 2026-10-17 那次"恢复很慢"的头号来源。
+		* **这一条单条路是删除组回滚用的**：成员已经收过 `api-session/removed`，退回 `sessions/` 之后要补一条
+		* "added"，否则客户端那一行要等到重连才回来。正常恢复走 {@link announceRestoredBatch} + 一次预取——
+		* 100 条的批量用单条路就是 100 遍全表扫，那正是 2026-10-17 那次"恢复很慢"的头号来源。
 		*/
 		async announceRestored(sessionId) {
 			const summary = (await this.restoredSummariesOf()).find((item) => item.sessionId === sessionId)?.summary;
@@ -910,10 +716,32 @@ function createHostPort(ctx) {
 		/** 确保归档：官方 `archiveSession(sessionId)`。归档是 registry **全局**的，与工作区账目无关
 		*  （JSDoc 原文 "its workspace accounting — or lack of one — is irrelevant"），所以 `workspaceId` 不用
 		*  ——未分组的会话没有工作区可传，签名里它是可选的。
-		*  不带 `stopActivity` ⇒ 有活动即抛 `WorkspaceActiveSessionError`（→ `sessiondelete/live`，设计稿 §6）。 */
+		*  不带 `stopActivity` ⇒ 有活动即抛 `WorkspaceActiveSessionError`（→ `sessiondelete/live`，src/shared/wire.ts）。 */
 		async archive(sessionId) {
 			await registry.archiveSession(sessionId);
 		},
+		async listSessions() {
+			const sessionQuery = host.get("sessionQuery");
+			if (typeof sessionQuery?.listSessions !== "function") return { available: false };
+			const records = await sessionQuery.listSessions();
+			const out = [];
+			for (const record of records) {
+				const id = record.header?.id;
+				if (typeof id !== "string" || id === "") continue;
+				const parent = record.header?.parentSession;
+				const cwd = record.header?.cwd;
+				out.push({
+					sessionId: id,
+					...typeof parent === "string" && parent !== "" ? { parentSessionId: parent } : {},
+					projectDir: cwd === void 0 ? NO_CWD_PROJECT_DIR : projectKey(cwd),
+					subagent: record.header?.origin === "subagent"
+				});
+			}
+			return {
+				available: true,
+				value: out
+			};
+		},
 		/**
 		* 官方 `sessionQuery.filterSessions([{kind:'parent', values}])`，不自扫 `~/.dsh/sessions`。
 		*
@@ -925,56 +753,370 @@ function createHostPort(ctx) {
 		* （`session-ac07f2bb-…`）、它的子会话写的 `parentSession` 也带，但 v3 那一代的 id 不带 ⇒
 		* 同一个父有两种写法。所以问的时候把一个 id 的两种形状都塞进 `values`，回来按去前缀后的形状归堆，
 		* 最后按**调用方给的那个写法**把键交回去（调用方拿 `entry.sessionId` 直接查得到）。
-		*/
-		async subagentCounts(parentIds) {
-			const wanted = [];
-			for (const id of parentIds) if (id.length > 0 && !wanted.includes(id)) wanted.push(id);
-			if (wanted.length === 0) return {};
-			const sessionQuery = host.get("sessionQuery");
-			if (typeof sessionQuery?.filterSessions !== "function") return {};
-			const children = await descendantsByParent(sessionQuery, wanted);
-			const counts = {};
-			for (const id of wanted) {
-				const n = subtreeOf(children, bareSessionId(id)).length;
-				if (n > 0) counts[id] = n;
-			}
-			return counts;
-		},
-		/**
+		*
 		* 删除要一起带走**整个组**，先得把他们点出来：身份取宿主自己记录里的 `header.id`，项目目录由
 		* `header.cwd` 走同一个 `projectKey`（与 {@link HostPort.projectDirOf} 同一根算法，不另起一套）。
 		* 交回的是**全部后代**——孙代跟着父一起进回收站（issue #1），顺序是逐层往下问出来的（近的先）。
 		* `header.id` 缺席的后代直接跳过——不拿目录名冒充身份（冒充了会把一个来路不明的目录搬进回收站）。
-		* 服务没挂回 `[]` ⇒ 删除照旧只管父，不因此失败（父的删除本来就已经是完整的一件事）。
+		*
+		* **缺席显式化**（见 {@link CorpusRead}）：`sessionQuery` 没挂，或它的 `filterSessions` 缺席 / 不是函数
+		* ⇒ `{ available: false }`，不拿空表冒充"盘上没有后代"——写侧据此决定降级还是响亮失败，不再靠"空表"
+		* 兼表两种意思。
+		* **先判服务、再判空入参**：语料本来就看不见时，"没有后代"这句话不该被说出口（哪怕入参是空的）；
+		* 服务在场时空入参由 `membersFor` 的短路保证零宿主调用。
 		*/
-		async subagentMembers(sessionId) {
+		async subagentMembersOf(parentIds) {
 			const sessionQuery = host.get("sessionQuery");
-			if (typeof sessionQuery?.filterSessions !== "function") return [];
-			return subtreeOf(await descendantsByParent(sessionQuery, [sessionId]), bareSessionId(sessionId)).map((d) => ({
-				sessionId: d.id,
-				projectDir: d.projectDir
-			}));
+			if (typeof sessionQuery?.filterSessions !== "function") return { available: false };
+			const members = await membersFor(sessionQuery, parentIds);
+			return {
+				available: true,
+				value: Object.fromEntries(Object.entries(members).map(([id, list]) => [id, list.map(toMember)]))
+			};
 		}
 	};
 }
 //#endregion
-//#region src/trash/reconcile.ts
+//#region src/trash/groups.ts
+/** 这些孩子的父。 */
+function kidsOf(rows, parentId) {
+	return rows.filter((row) => row.parentEntryId === parentId);
+}
 /**
-* 回收站清单的**对账**：以 `session-trash/` 里的条目目录为准，把清单修回一致（设计稿 2026-10-15 §9）。
+* 清单露面的一行 = 组根，按清册原序。孩子折进根那一行（宿主的客户端本来就把 `origin:"subagent"`
+* 的行整排藏了 ⇒ 我们若单列就会冒出一堆点不到的行）。
 *
-* 手工动回收站**只需要动那一个目录**——多出来的目录在这里被重建出行、目录没了的行在这里被摘掉；
-* `~/.dsh/storages/` 那份清单从此是**内部索引**，不用手碰。
-*
-* 五条口径（都不是口味）：
-* ① **每次读清单都对账**（`GET /list` 的正文就是"对账 + 读"）：挂载、刷新、别处动过后的自动重读、
-*    客户端启动探测全走这条 ⇒ "改完目录不用再做任何事，下一次读就对了"。代价 = 每次读多一次目录枚举
-*    （本机 124 条，毫秒级）；**零漂移零写入**（快路直接返回原清单）。
-* ② **回收站根不在 ⇒ 整套跳过、一个字节都不动**：那不是"回收站空了"，是"这块地不在原处"
-*    （人为搬走、盘没挂上）——照常对账会把全部行的元数据一次判没。
-* ③ **重建行只写"文件里真有的事实"**：`id` = 目录名、`sessionId`/`cwd` 读日志 header、
-*    `projectDir` 由 `cwd` 经宿主同名算法 `projectKey` 反推、`deletedAt` 从目录名的时间戳解、
-*    `sizeBytes` 现场量。**文件侧没有副本的三件**按缺省落：`workspaceId: ''`（恢复时跳过挂账本，
-*    落在「未分组」）、`wasArchived: false`（恢复按"可见"还原）、`title: ''`（详情有日志标题兜底）
+* 折不进去的那两种孩子（父行不在 / 父行自己也是孩子）**自己站出来占一行**——那正是
+* `visibleGroups` 与 `groupOf` 共用同一条判据的地方。
+*/
+function visibleGroups(rows) {
+	const byId = new Map(rows.map((row) => [row.id, row]));
+	const kidsByRoot = /* @__PURE__ */ new Map();
+	const folded = /* @__PURE__ */ new Set();
+	for (const row of rows) {
+		if (row.parentEntryId === void 0) continue;
+		const parent = byId.get(row.parentEntryId);
+		if (parent === void 0 || parent.parentEntryId !== void 0) continue;
+		folded.add(row.id);
+		const siblings = kidsByRoot.get(parent.id);
+		if (siblings === void 0) kidsByRoot.set(parent.id, [row]);
+		else siblings.push(row);
+	}
+	return rows.filter((row) => !folded.has(row.id)).map((root) => ({
+		root,
+		kids: kidsByRoot.get(root.id) ?? []
+	}));
+}
+/**
+* 一条 id 所属的整组。三种形状，三个答案：
+* - **组根** ⇒ 它自己 + 它接住的孩子（UI 点的是父那一行，删除/恢复/彻底删除都按整组走）；
+* - **孩子**（自己记着 `parentEntryId`）⇒ **只回它自己**。清单不单独列它，只有手工/降级路径会点到这里；
+* - **清册里没有这一条 id，但还有孩子指向它**（父行已被别的路径摘掉）⇒ 那一批孩子；仍然没有 ⇒ 空数组，
+*   调用方据此报 `trash-empty` / 判"已被同批前一条带走"。
+*/
+function groupOf(rows, id) {
+	const root = rows.find((row) => row.id === id);
+	if (root !== void 0) return root.parentEntryId === void 0 ? [root, ...kidsOf(rows, id)] : [root];
+	return kidsOf(rows, id);
+}
+/**
+* 「这条是被**同批前一条**带走的，还是整批开始前就没有？」
+*
+* 幂等语义只属于前者：后来者本来就不在清册里（用户点了条幽灵 id、或对账刚摘掉它）必须照样响亮报
+* `trash-empty`，不能被"已被带走"这句话掩盖成成功。**所以判据是快照的原始形状，不是当前形状**：
+* 原始快照里认得出（它自己、它的父、或它的孩子任一在），而当前快照里已经空了 ⇒ 同批带走的。
+*/
+function takenByEarlierInBatch(original, current, id) {
+	return groupOf(original, id).length > 0 && groupOf(current, id).length === 0;
+}
+//#endregion
+//#region src/trash/entry.ts
+/**
+* 清册里**每条记录都必须有**的那几格（`TrashEntry` 的非可选字段）——运行期校验器与「文件里真有的事实」
+* 共用这一份清单。
+*
+* **可选字段不在这里**：`parentEntryId`（级联那批加的）缺席是合法的——老行没有它，缺了就是"没有父"；
+* 校验器只管这几格的类型，其余键**原样带走**（`parse` 交回的就是 `raw` 本身）⇒ 新字段照旧存得住。
+*
+* 键集与接口由 `tests/wire-shape.test.ts` 双向钉住：接口加一个必填字段而这里没跟 ⇒ 测试红。
+*/
+const REQUIRED_ENTRY_FIELDS = {
+	id: "string",
+	sessionId: "string",
+	projectDir: "string",
+	workspaceId: "string",
+	wasArchived: "boolean",
+	deletedAt: "number",
+	title: "string",
+	sizeBytes: "number"
+};
+const pad = (n, w = 2) => String(n).padStart(w, "0");
+function makeEntryId(deletedAt, sessionDirName) {
+	const d = new Date(deletedAt);
+	return `${`${d.getUTCFullYear()}${pad(d.getUTCMonth() + 1)}${pad(d.getUTCDate())}T${pad(d.getUTCHours())}${pad(d.getUTCMinutes())}${pad(d.getUTCSeconds())}Z`}-${sessionDirName}`;
+}
+const ENTRY_ID_RE = /^(\d{4})(\d{2})(\d{2})T(\d{2})(\d{2})(\d{2})Z-(.+)$/;
+/** `makeEntryId` 的逆。时间戳按 UTC 拆字段再 `Date.UTC` 合回——不交给 `Date.parse`
+*  去猜（`20260930T130500Z` 不是任何被承认的日期格式，猜出来的是 NaN）。 */
+function parseEntryId(id) {
+	const m = ENTRY_ID_RE.exec(id);
+	if (!m) throw new Error(`bad entry id: ${id}`);
+	const [, y, mo, d, h, mi, s, sessionDirName] = m;
+	return {
+		deletedAt: Date.UTC(+y, +mo - 1, +d, +h, +mi, +s),
+		sessionDirName
+	};
+}
+/** 路径里的每一段都必须是**单段**：这一层不信宿主的 `header.id` 与清册，破坏性动词直接删目录。
+*  `/`、`\`、`.`、`..` 与 NUL 都能把递归删除带出 `sessions/` / `session-trash/`。 */
+function isSinglePathSegment(value) {
+	return value !== "" && value !== "." && value !== ".." && !/[\\/\0]/u.test(value);
+}
+function assertSingleSegment(value, label, allowEmpty = false) {
+	if (value === "") {
+		if (allowEmpty) return;
+		throw new Error(`${label} 不能为空`);
+	}
+	if (!isSinglePathSegment(value)) throw new Error(`${label} 不是单段路径：${value}`);
+}
+/** `sessionDirName` 允许空串：恢复的预检用它取**项目根**（`sessions/<projectDir>`），不是会话目录。 */
+function sessionDirOf(projectDir, sessionDirName, home) {
+	assertSingleSegment(projectDir, "项目目录名");
+	assertSingleSegment(sessionDirName, "会话目录名", true);
+	return `${home}/sessions/${projectDir}/${sessionDirName}`;
+}
+function trashDirOf(entryId, home) {
+	assertSingleSegment(entryId, "回收站条目 id");
+	return `${home}/${TRASH_DIR_NAME}/${entryId}`;
+}
+//#endregion
+//#region src/log/zstd-frames.ts
+const MAGIC = [
+	40,
+	181,
+	47,
+	253
+];
+/** magic(4) + Frame_Header_Descriptor(1) 之后第一个字节的偏移。 */
+const AFTER_DESCRIPTOR = 5;
+const BLOCK_HEADER_BYTES = 3;
+const BLOCK_LAST = 1;
+const BLOCK_TYPE_SHIFT = 1;
+const BLOCK_SIZE_SHIFT = 3;
+const BLOCK_SIZE_MASK = 2097151;
+const BLOCK_RAW = 0;
+const BLOCK_RLE = 1;
+const BLOCK_COMRESSED = 2;
+/** 规范（RFC 8878 表 4）里 3 是 **Reserved**，不是"未压缩块"：见到就抛，别照 Raw 吞块体。 */
+const BLOCK_RESERVED = 3;
+/** descriptor 各字段的取值 → 字段字节数（zstd 帧头的两张尺寸表）。 */
+const DID_SIZES = [
+	0,
+	1,
+	2,
+	4
+];
+const FCS_SIZES_SINGLE = [
+	1,
+	2,
+	4,
+	8
+];
+const FCS_SIZES_MULTI = [
+	0,
+	2,
+	4,
+	8
+];
+/** 实测的帧尾长度（校验和位置；bit5 没置位也照样带，见文件头注）。 */
+const FRAME_TAIL_BYTES = 4;
+function isMagicAt(raw, at) {
+	return MAGIC.every((byte, i) => raw[at + i] === byte);
+}
+function readUint24LE(raw, at) {
+	return raw[at] | raw[at + 1] << 8 | raw[at + 2] << 16;
+}
+/** 块体之后有没有那 4 字节尾巴：只有"跳过它之后仍是帧头或到 EOF"才认。 */
+function withFrameTail(raw, at) {
+	const afterTail = at + FRAME_TAIL_BYTES;
+	if (afterTail <= raw.length && (afterTail === raw.length || isMagicAt(raw, afterTail))) return afterTail;
+	return at;
+}
+/**
+* 把 `raw` 切成帧区间。
+* @throws 起始处不是 magic、或某帧算到的末位既不是下一帧帧头也不是 EOF——**一律抛**，
+*   绝不"尽力往下解"：切错帧的后果是把半截压缩体当解压输入，那时解出来的东西不可信。
+*/
+function frameRanges(raw) {
+	const ranges = [];
+	let at = 0;
+	while (at < raw.length) {
+		if (!isMagicAt(raw, at)) throw new Error(`zstd 帧头缺席：偏移 ${at} 处不是 magic（前面第 ${ranges.length} 帧的边界算歪了？）`);
+		const descriptor = raw[at + 4];
+		if (descriptor === void 0) throw new Error(`zstd 帧头不完整：偏移 ${at} 之后不足 ${AFTER_DESCRIPTOR} 字节`);
+		const fcsFlag = descriptor & 3;
+		const singleSegment = descriptor >> 2 & 1;
+		const didFlag = descriptor >> 6 & 3;
+		let cursor = at + AFTER_DESCRIPTOR;
+		if (!singleSegment) cursor += 1;
+		cursor += DID_SIZES[didFlag];
+		cursor += (singleSegment ? FCS_SIZES_SINGLE : FCS_SIZES_MULTI)[fcsFlag];
+		for (;;) {
+			const blockHeader = readUint24LE(raw, cursor);
+			cursor += BLOCK_HEADER_BYTES;
+			if (cursor > raw.length) throw new Error(`zstd 块头越界：帧起于 ${at}，读到偏移 ${cursor}（文件长 ${raw.length}）`);
+			const blockType = blockHeader >> BLOCK_TYPE_SHIFT & 3;
+			const blockSize = blockHeader >> BLOCK_SIZE_SHIFT & BLOCK_SIZE_MASK;
+			if (blockType === BLOCK_RESERVED) throw new Error(`zstd 保留块类型：帧起于 ${at}，偏移 ${cursor - BLOCK_HEADER_BYTES} 的块头 type=3（规范 Reserved，对面解不开）`);
+			if (blockType === BLOCK_RAW || blockType === BLOCK_COMRESSED) cursor += blockSize;
+			else if (blockType === BLOCK_RLE) cursor += 1;
+			if (blockHeader & BLOCK_LAST) break;
+		}
+		cursor = withFrameTail(raw, cursor);
+		if (cursor !== raw.length && !isMagicAt(raw, cursor)) throw new Error(`zstd 帧边界算歪了：帧起于 ${at}，算到 ${cursor}，那里既不是下一帧帧头也不是 EOF`);
+		ranges.push({
+			start: at,
+			end: cursor
+		});
+		at = cursor;
+	}
+	return ranges;
+}
+//#endregion
+//#region src/log/session-log.ts
+/**
+* 会话日志（`session.vN.jsonl.zstd`）的**逐帧读法**：帧边界交给 `zstd-frames.ts`，这一层只做
+* 「帧 → 明文 → 一行一条 JSON」的解码，并把每条记录原样交给回调。
+*
+* **策略不在这里**（哪些 `type` 算正文、截断到多少字、算不算失败）——那是 `src/trash/detail.ts` 的事。
+* 这一层只懂编解码，所以它能被单独验穿。
+*
+* 两条实测决定的口径：
+* ① **必须逐帧**：Node 的 `zstdDecompressSync` 与 `createZstdDecompress()` 都只给第一帧（见
+*    `zstd-frames.ts` 头注）；明文留在手里会一次装下整条日志（本机 125 条合计 280.7 MB），
+*    所以**一帧一帧解、解完就撒手**，内存口径是"最大那一帧的明文"（实测 8.99 MB）而不是整条。
+* ② **一行的余量跨帧带走**（2026-10-16 改，原来靠"跳过解不开的行"兜）：写作侧是一条条 append，
+*    本机实测**没有一帧切在行中间**（连最后一帧都整行收尾；绝对帧数随盘上会话数摆动，那份读数
+*    不在这里钉，来历留在 git 历史），
+*    所以旧口径当时并不丢东西；但"逐帧 `split('\n')`"一旦遇上切行就是**静默少一条记录**（半个头
+*    加半个身，两半都解不开 JSON），而少掉的那条正是页面上要跟账的正文。带上余量之后这条不变量
+*    不必再成立，顺带把**跨帧的多字节字符**也解对了——拼接在字节层做，`toString('utf8')` 只看整行。
+*    真被切断的尾巴（写一半）仍然**跳过并计数**：绝不因为一行就抛整个读数，前面几百条是真的。
+*/
+const NEWLINE = 10;
+/**
+* 宿主给每一代日志的词法（逐字取自 `@deepseek-ai/dsh-session-format@0.2.0-rc.2` 的
+* `CANONICAL_LOG_FILENAME`，剥掉压缩后缀那段由我们自己在正则里补上 `.zstd`）：
+* 裸名 `session.jsonl` 是**第 0 代**，往后是 `session.vN`；`.v0`、前导零、大写、临时名都不是规范名。
+*/
+const CANONICAL_ZSTD_LOG = /^session(?:\.v([1-9][0-9]*))?\.jsonl\.zstd$/u;
+/**
+* 同一个会话目录里**可以并存多代日志**（宿主换代时把老代留在原地当历史语料，本机实测 7 个目录如此），
+* 而新代是老代的**迁移后超集**（实测：`firstTs` 与开头那条提问完全相同、记录更多、末尾更晚）
+* ⇒ 要读的是版本号最大的那一代，读旧代 = 读到一份截了尾巴的快照；把几代拼起来 = 重复计数。
+*
+* 明文（无 `.zstd`）不在此列：本插件的读法逐帧解 zstd，明文得走另一条解码路。
+*/
+function pickSessionLog(names) {
+	let best;
+	let bestVersion = -1;
+	for (const name of names) {
+		const match = CANONICAL_ZSTD_LOG.exec(name);
+		if (match === null) continue;
+		const version = match[1] === void 0 ? 0 : Number(match[1]);
+		if (version > bestVersion) {
+			bestVersion = version;
+			best = name;
+		}
+	}
+	return best;
+}
+/**
+* 逐帧走一遍日志，每条记录交给回调。
+*
+* 回调返回 `false` = **提前停机**（后面的帧不再解——`readSessionHeader` 只要第一行）。
+* 停机后 `stats` 只是停机前那部分，别拿来做全量对账。
+*/
+function walkSessionLog(raw, onRecord) {
+	const stats = {
+		frames: 0,
+		records: 0,
+		unparsedLines: 0,
+		truncatedTailBytes: 0
+	};
+	let stopped = false;
+	const feed = (line) => {
+		if (line === "") return;
+		let parsed;
+		try {
+			parsed = JSON.parse(line);
+		} catch {
+			stats.unparsedLines += 1;
+			return;
+		}
+		stats.records += 1;
+		if (onRecord(parsed !== null && typeof parsed === "object" ? parsed : {}) === false) stopped = true;
+	};
+	/** 上一帧没闭合的那一行。**存字节不存字符**：切在多字节字符中间的帧要拼回完整才解得对。 */
+	let carry = Buffer.alloc(0);
+	for (const { start, end } of frameRanges(raw)) {
+		if (stopped) break;
+		stats.frames += 1;
+		let plain;
+		try {
+			plain = zlib.zstdDecompressSync(raw.subarray(start, end));
+		} catch (error) {
+			throw new Error(`回收站日志第 ${stats.frames} 帧解压失败：${String(error)}`);
+		}
+		const merged = carry.length === 0 ? plain : Buffer.concat([carry, plain]);
+		const cut = merged.lastIndexOf(NEWLINE);
+		if (cut === -1) {
+			carry = merged;
+			continue;
+		}
+		carry = merged.subarray(cut + 1);
+		for (const line of merged.subarray(0, cut).toString("utf8").split("\n")) {
+			feed(line);
+			if (stopped) break;
+		}
+	}
+	stats.truncatedTailBytes = carry.length;
+	if (carry.length > 0 && !stopped) feed(carry.toString("utf8"));
+	return stats;
+}
+/**
+* 日志的 **header**：格式事实是"第一行即 header"（`type: 'session'`，含 `id` 与 `cwd`，v3/v4 均如此，
+* AGENTS.md 有实测背书）——这里按 `type === 'session'` 找**第一条**这样的记录并就地停机
+* （不要求它恰是第一个可解析行：坏一行前缀不该让整条日志判不出身份）。
+* 找不到（空日志 / 全是别种记录）回 `undefined`；帧坏了照抛——那是"读不出来"，与"没有 header"是两件事。
+*/
+function readSessionHeader(raw) {
+	let header;
+	walkSessionLog(raw, (record) => {
+		if (record.type !== "session") return;
+		header = record;
+		return false;
+	});
+	return header;
+}
+//#endregion
+//#region src/trash/reconcile.ts
+/**
+* 回收站清单的**对账**：以 `session-trash/` 里的条目目录为准，把清单修回一致（CONTEXT.md 的「对账」条）。
+*
+* 手工动回收站**只需要动那一个目录**——多出来的目录在这里被重建出行、目录没了的行在这里被摘掉；
+* `~/.dsh/storages/` 那份清单从此是**内部索引**，不用手碰。
+*
+* 五条口径（都不是口味）：
+* ① **每次读清单都对账**（`GET /list` 的正文就是"对账 + 读"）：挂载、刷新、别处动过后的自动重读、
+*    客户端启动探测全走这条 ⇒ "改完目录不用再做任何事，下一次读就对了"。代价 = 每次读多一次目录枚举
+*    （本机 124 条，毫秒级）；**零漂移零写入**（快路直接返回原清单）。
+* ② **回收站根不在 ⇒ 整套跳过、一个字节都不动**：那不是"回收站空了"，是"这块地不在原处"
+*    （人为搬走、盘没挂上）——照常对账会把全部行的元数据一次判没。
+* ③ **重建行只写"文件里真有的事实"**：`id` = 目录名、`sessionId`/`cwd` 读日志 header、
+*    `projectDir` 由 `cwd` 经宿主同名算法 `projectKey` 反推、`deletedAt` 从目录名的时间戳解、
+*    `sizeBytes` 现场量。**文件侧没有副本的三件**按缺省落：`workspaceId: ''`（恢复时跳过挂账本，
+*    落在「未分组」）、`wasArchived: false`（文件侧没有归档事实；旧条目恢复走迁移支）、`title: ''`（详情有日志标题兜底）
 *    ——这是重建的固有代价，不是可以"再读读看"的东西。
 * ④ **认不出 / 读不出的目录：不动、不列**（名字不像条目、目录里没有日志、header 读不出、尺寸量不出，
 *    各跳过各的）。它是"外人放进来的东西"，不是用户动作失败：跳过即静默，绝不为它删目录或抛掉整次读数。
@@ -984,11 +1126,11 @@ function createHostPort(ctx) {
 * 对账与删除/恢复/彻底删除都是"读清单 + 动文件 + 写清单"的多步，交错跑会互相踩——删除刚把目录搬进
 * 回收站、行还没写上时，对账抢先把这行按目录"重建"出来，随后又被真实行覆盖成降级元数据。
 */
-/** 目录名是不是一条条目 id（形状契约在 `entry.ts`：`<删除时刻UTC>-<原目录名>`）。 */
+/** 目录名是不是一条条目 id（形状契约在 `entry.ts`：`<删除时刻UTC>-<原目录名>`；
+*  原目录名还必须能安全地拼回磁盘路径——带分隔符的名字仍按"外人"跳过，不让一次对账读崩）。 */
 function isEntryId(name) {
 	try {
-		parseEntryId(name);
-		return true;
+		return isSinglePathSegment(parseEntryId(name).sessionDirName);
 	} catch {
 		return false;
 	}
@@ -1044,7 +1186,7 @@ async function buildEntry(deps, id) {
 /** 对账并回清单——**返回的就是修好之后的那份**（与 `manifest.list()` 同序：最近删除在前）。 */
 async function reconcileTrash(deps) {
 	const rows = await deps.manifest.list();
-	const root = `${deps.home}/session-trash`;
+	const root = `${deps.home}/${TRASH_DIR_NAME}`;
 	if (!await deps.fs.exists(root)) return rows;
 	const dirIds = /* @__PURE__ */ new Set();
 	for (const name of await deps.fs.listDirs(root)) if (isEntryId(name)) dirIds.add(name);
@@ -1056,36 +1198,681 @@ async function reconcileTrash(deps) {
 		const entry = await buildEntry(deps, id);
 		if (entry !== void 0) rebuilds.push(entry);
 	}
-	if (drops.length === 0 && rebuilds.length === 0) return rows;
-	for (const row of drops) await deps.manifest.remove(row.id);
-	for (const entry of rebuilds) await deps.manifest.add(entry);
-	return await deps.manifest.list();
+	if (drops.length === 0 && rebuilds.length === 0) return rows;
+	for (const row of drops) await deps.manifest.remove(row.id);
+	for (const entry of rebuilds) await deps.manifest.add(entry);
+	return await deps.manifest.list();
+}
+//#endregion
+//#region src/verbs/member-journal.ts
+/**
+* 一次成员移动 = 一串**自带反向动作的步骤**（ADR-0002）。
+*
+* 为什么需要它：`delete-session.ts` 的 `moveOneIn`/`undoOneIn` 与 `restore-session.ts` 的 `restoreOne`
+* （含它的反向闭包）互为镜像，各自手写了三到四段嵌套 `try/catch`：迁移前全仓 `rollbackReason(` **22 处**、
+* `withRollbackFailures(` **8 处**。那不是"回滚值得自己的候选"，而是**同一条正反动作对被写了两遍**。
+*
+* 这里独占四件事，三个动词各自只声明"这次要做哪几步、每步怎么退"：
+* ① **相反顺序**退化（最后做成的先退）；
+* ② 一步失败时把**已经做成的**那些退回去；
+* ③ 失败收集：某一步退不干净时**不让原错误独走**（`details.rollbackFailures`，见 `verbs/errors.ts`）；
+* ④ **非原子步骤**：`undoOnFailure` 让"这一步自己失败了"也跑它的反向动作（例如"取消归档"半做完了，
+*    得先把会话重新藏回去）。
+*
+* 边界：它只服务"成员在 `sessions/` 与 `session-trash/` 之间搬"这一件事。做成通用撤销框架就会吸进
+* 不属于它的知识（谁该通告、通告几次、哪些失败算成功）。
+*/
+/** 已经把某个前缀做成了的 journal——`undo()` 就退那一个前缀。 */
+function createJournal(steps) {
+	const done = [];
+	const undoAll = async (alsoFailing) => {
+		const failures = [];
+		if (alsoFailing?.undo !== void 0) failures.push(...await alsoFailing.undo());
+		for (const step of [...done].reverse()) {
+			if (step.undo === void 0) continue;
+			failures.push(...await step.undo());
+		}
+		return failures;
+	};
+	return {
+		async run() {
+			for (const step of steps) {
+				try {
+					await step.run();
+				} catch (error) {
+					const failures = await undoAll(step.undoOnFailure === true ? step : void 0);
+					const base = journalFailure(step, error);
+					throw failures.length > 0 ? withRollbackFailures(base, failures) : base;
+				}
+				done.push(step);
+			}
+		},
+		undo() {
+			return undoAll();
+		}
+	};
+}
+/** 跑一步反向动作并把它自己的失败收成一条原因（不抛：这些失败由调用方汇总成 `rollbackFailures`）。 */
+async function attempt(label, run) {
+	try {
+		await run();
+		return [];
+	} catch (error) {
+		return [rollbackReason(label, error)];
+	}
+}
+/**
+* **组级回滚**：把已经做成的成员按相反顺序退回；某一步退不干净时把失败并进原错误的
+* `details.rollbackFailures`，绝不让原错误独走（2026-10-19 `f2a7757`；那些失败句子的合并与措辞住
+* `src/verbs/errors.ts`，这里只是唯一的调用方）。删除与恢复两个按组走的动词共用这一处，
+* "相反顺序 + 失败合并"不再各写一遍。
+*/
+async function rollbackJournals(journals, error) {
+	const failures = [];
+	for (const journal of [...journals].reverse()) failures.push(...await journal.undo());
+	if (failures.length > 0) throw withRollbackFailures(error, failures);
+	throw error;
+}
+/**
+* 这一步的失败形状：已经是动词码（`verbError` 的输出）就原样带，否则折成 `sessiondelete/io`。
+* 原文用 `String(error)` 而不是 `.message`——那 22 处既有措辞就是这么拼的（`Error: boom` 也在里面），
+* 换一种拼法会让上屏原文跟着变。
+*/
+function journalFailure(step, error) {
+	if (isVerbCodeError(error)) return error;
+	return verbError("io", `${step.label}：${String(error)}`, error);
+}
+//#endregion
+//#region src/verbs/member-presence.ts
+function createMemberPresence(host) {
+	return {
+		async memberGone(sessionId, facts = {}) {
+			if (facts.backInTrash === false) return;
+			if (await host.evictLive(sessionId) !== "unknown") await host.announceRemoved(sessionId);
+		},
+		async memberBack(sessionId, facts) {
+			if (!facts.diskBack || !facts.workspaceBack) return;
+			await host.announceRestored(sessionId);
+		}
+	};
+}
+//#endregion
+//#region src/verbs/delete-session.ts
+/**
+* 删除 = 移入回收站，**按组走**：用户点掉一条父会话时，宿主的客户端把 `origin:"subagent"` 的孩子
+* 整排藏了 ⇒ 那些目录既看不见也继续占着字节（本机实测 41 条父留了 320 个目录 / 74.6 MB）。
+* 所以这里把父在盘上的孩子一起搬进来，各自成目录、各自一行，清册用 `parentEntryId` 记它是谁的孩子。
+*
+* 三段，顺序承重：
+* ① **先点组、先验活体**（一个字节都不写）。任一成员在跑就整组拒绝——不替用户终止正在跑的活，
+*    也绝不允许"父已经搬进回收站、孩子因为在跑而搬不动"这种半套。
+* ② **逐个搬**：每个成员是一份 `journal`（`verbs/member-journal.ts`），搬不动时 journal 自己把
+*    这个成员已经做成的步骤退回去。
+* ③ **组级回滚**：某一个成员搬不动时，把**已经搬进去的**那些按相反顺序退回原处（清册行跟着摘、
+*    账本跟着挂），失败照抛——不留"半组在回收站、半组在原地"的世界。
+*
+* interface 只有**一个 id**：批量的性质不在这里（同批"已被前一条带走"的判据归 `verbs/batch.ts`）。
+* 结果带回这次真的搬走的整组（`movedSessionIds`）——它是动词交回的内部数据，不再靠回调借用动词的手。
+*/
+function deleteSession(deps) {
+	const presence = createMemberPresence(deps.host);
+	return async function deleteSession(sessionId) {
+		const read = await deps.host.subagentMembersOf([sessionId]);
+		const kids = read.available ? read.value[sessionId] ?? [] : [];
+		const parentProjectDir = await deps.host.projectDirOf(sessionId);
+		if (parentProjectDir === void 0) throw verbError("not-found", `宿主的持久化里没有这个会话：${sessionId}`);
+		const candidates = [{
+			sessionId,
+			projectDir: parentProjectDir
+		}, ...kids.map((k) => ({
+			sessionId: k.sessionId,
+			projectDir: k.projectDir
+		}))];
+		for (const member of candidates) if (await deps.host.isLive(member.sessionId)) throw verbError("live", `会话正在运行：${member.sessionId}`);
+		const parentDir = sessionDirOf(parentProjectDir, sessionId, deps.home);
+		if (!await deps.fs.exists(parentDir)) throw verbError("not-found", `会话目录不存在：${parentDir}`);
+		const members = [{
+			sessionId,
+			projectDir: parentProjectDir
+		}];
+		for (const kid of kids) if (await deps.fs.exists(sessionDirOf(kid.projectDir, kid.sessionId, deps.home))) members.push({
+			sessionId: kid.sessionId,
+			projectDir: kid.projectDir
+		});
+		const deletedAt = deps.now();
+		const done = [];
+		let parentEntry;
+		try {
+			for (const member of members) {
+				const isParent = member.sessionId === sessionId;
+				const move = await memberMove(deps, presence, member, deletedAt, isParent ? void 0 : parentEntry.id);
+				if (isParent) parentEntry = move.entry;
+				await move.journal.run();
+				done.push(move.journal);
+			}
+		} catch (error) {
+			await rollbackJournals(done, error);
+		}
+		return {
+			entry: parentEntry,
+			movedSessionIds: members.map((member) => member.sessionId)
+		};
+	};
+}
+/**
+* 一个成员要做的步骤（顺序承重，那四步就列在下面一行）：
+* 读现场（两件纯读）→ 摘账本 → 搬目录 → 写清册行。搬完之后由 `memberGone` 把活体（session + agent）
+* 真正关掉；**删除不碰归档**——回收站与归档是两套状态，归档只在用户自己归档过时保留。
+*
+* **已知窗口**：摘账本之后、`memberGone` 之前的这一拍，活体会短暂无主（客户端可能把它归入「未分组」）。
+* 这是 ADR-0008 去掉归档后的已知代价；`memberGone` 不能提前到文件/清册写成功之前，否则一次失败回滚
+* 会留下"文件在、agent 已关"的半个世界。窗口与可选修法登记在 ADR-0008 的「边界」。
+*
+* 每一步的反向动作都是"把这件写退回原样"；**清册行是最后一件写**，它失败时 journal 会把目录搬回去、
+* 账本挂回去。清册行的反向动作带一道闸：**回收站目录还没搬回来就不摘那一行**——留着行至少元数据还在
+* （与旧实现"目录退不回就不摘行"同一条判据）。
+*/
+async function memberMove(deps, presence, member, deletedAt, parentEntryId) {
+	const { sessionId, projectDir } = member;
+	const workspaceId = await deps.host.workspaceOf(sessionId);
+	const sessionDir = sessionDirOf(projectDir, sessionId, deps.home);
+	const wasArchived = await deps.host.isArchived(sessionId);
+	const trashDir = trashDirOf(makeEntryId(deletedAt, sessionId), deps.home);
+	const entry = {
+		id: makeEntryId(deletedAt, sessionId),
+		sessionId,
+		projectDir,
+		workspaceId: workspaceId ?? "",
+		wasArchived,
+		deletedAt,
+		title: "",
+		sizeBytes: 0,
+		...parentEntryId === void 0 ? {} : { parentEntryId }
+	};
+	/** 目录真的搬进回收站了吗——决定那一步的反向动作有没有东西可退。 */
+	let moved = false;
+	/** 回滚的两件写是否都真正退回原样：目录、账本。两个事实交给成员在场 module 判「归位」通告。
+	*  删除不碰归档集 ⇒ 可见性不是这次删除改过的事实，不进真值表。 */
+	let movedBack = false;
+	let workspaceBack = workspaceId === void 0;
+	const journal = createJournal([
+		{
+			label: "读取会话现场失败",
+			run: async () => {
+				entry.title = await deps.host.titleOf(sessionId);
+				entry.sizeBytes = await deps.fs.sizeOfDir(sessionDir);
+			}
+		},
+		...workspaceId === void 0 ? [] : [{
+			label: "摘账本失败",
+			run: async () => {
+				await deps.host.detach(sessionId, workspaceId);
+			},
+			undo: async () => {
+				return await attempt("账本挂回失败", async () => {
+					await deps.host.attach(sessionId, workspaceId);
+					workspaceBack = true;
+				});
+			}
+		}],
+		{
+			label: "移动会话目录失败",
+			undoOnFailure: true,
+			run: async () => {
+				await deps.fs.ensureDir(`${deps.home}/${TRASH_DIR_NAME}`);
+				await deps.fs.rename(sessionDir, trashDir);
+				moved = true;
+				try {
+					await deps.manifest.add(entry);
+				} catch (error) {
+					throw verbError("io", `登记回收站条目失败：${String(error)}`, error);
+				}
+			},
+			undo: async () => {
+				if (!moved) return [];
+				const failures = [...await attempt("目录搬回失败", async () => {
+					await deps.fs.rename(trashDir, sessionDir);
+					movedBack = true;
+				})];
+				if (failures.length === 0) failures.push(...await attempt("清册行摘除失败", () => deps.manifest.remove(entry.id)));
+				return failures;
+			}
+		}
+	]);
+	return {
+		entry,
+		journal: {
+			async run() {
+				await journal.run();
+				await presence.memberGone(sessionId);
+			},
+			/** 组级回滚：先把成员自己的步骤按相反顺序退回，再交给成员在场 module 判「三件写都回去了吗」。
+			*  这一行此前已经收过 `api-session/removed`；不发"回来了"它就会在客户端消失到重连为止。 */
+			async undo() {
+				const failures = await journal.undo();
+				await presence.memberBack(sessionId, {
+					diskBack: movedBack,
+					workspaceBack
+				});
+				return failures;
+			}
+		}
+	};
+}
+//#endregion
+//#region src/verbs/permanent-removal.ts
+/**
+* 永久删除的**测量、计划与执行**：一次永久删除（`/list` 的只读读数或 purge / orphan-clean 的删除计划）
+* 之前要记下的事实（目录、字节、账本归属），以及拿到计划之后按它动盘的那一步。计划函数**只读**——
+* 写不写由执行器决定，但活体准入在这里就做掉，调用方拿到计划才允许动盘。
+*/
+/** `exists` 与 `sizeOfDir` 之间目录消失（ENOENT）是唯一一种当"不在"的失败：盘没挂、权限、I/O 错误
+*  都不许伪装成"目录没了"，那会让 `/list` 静默少算释放量、让删除计划少一条该删的目录。 */
+function isMissing(error) {
+	return error?.code === "ENOENT";
+}
+/** `exists → sizeOfDir` 的唯一一条度量口径（成员目录与回收站目录共用）：先问在不在，再量字节；
+*  ENOENT 是唯一一种当"不在"的失败，别的错误照旧响亮。别再在调用点各写一遍这段 try/catch。
+*
+*  **已知粒度**：`sizeOfDir` 递归里撞到的 ENOENT 与"目录本身没了"是同一个码，所以目录里某个文件
+*  恰好在这一拍消失时，整条目录会被记成「不在」（`/list` 少算这条、删除计划里没有可删的字节，
+*  而清册行照旧摘——盘上留下目录等下一次 `reconcile` 重建成行，自愈、不丢数据）。复核一次
+*  `exists(dir)` 能把两者分开，却会让「宿主正在写、文件刚被挪走」这类正常竞态把 `/list` 整个打红——
+*  这里选自愈不选响亮。 */
+async function probeDir(deps, dir) {
+	if (!await deps.fs.exists(dir)) return {
+		present: false,
+		bytes: 0
+	};
+	try {
+		return {
+			present: true,
+			bytes: await deps.fs.sizeOfDir(dir)
+		};
+	} catch (error) {
+		if (isMissing(error)) return {
+			present: false,
+			bytes: 0
+		};
+		throw error;
+	}
+}
+/** 成员的盘上目录与字节（扫描、清单装配与 purge 共用这一条路径/存在性/度量口径；
+*  目录缺席回 `undefined`，不拿一份"记录还在、盘上已经没了"的旧读数冒充盘上残留）。 */
+async function measureMemberDir(deps, member) {
+	const dir = sessionDirOf(member.projectDir, member.sessionId, deps.home);
+	const probe = await probeDir(deps, dir);
+	return probe.present ? {
+		dir,
+		bytes: probe.bytes
+	} : void 0;
+}
+/** 把一组成员折成"删之前要记下的计划"；目录不在的成员跳过（记录与盘不一致是那条成员自己的事）。
+*  `purge` 的盘上后代、`orphan-clean` 的整组与 `/list` 的盘上残留都走这一处，别再各写一遍
+*  measure + workspaceOf。 */
+async function planMemberRemovals(deps, members) {
+	const plans = [];
+	for (const member of members) {
+		const measured = await measureMemberDir(deps, member);
+		if (measured === void 0) continue;
+		const workspaceId = await deps.host.workspaceOf(member.sessionId);
+		plans.push({
+			sessionId: member.sessionId,
+			...measured,
+			...workspaceId === void 0 ? {} : { workspaceId }
+		});
+	}
+	return plans;
+}
+/** 量一条回收站行；目录不在回 `present: false` / 0 字节（目录不在不等于清册行不用摘）。 */
+async function measureTrashRow(deps, entry) {
+	const dir = trashDirOf(entry.id, deps.home);
+	const probe = await probeDir(deps, dir);
+	return {
+		entry,
+		dir,
+		present: probe.present,
+		bytes: probe.bytes
+	};
+}
+/**
+* 盘上后代的选择判据（`/list` 与 purge 的删除计划共用这一份）：`subagentMembersOf` 一次问全部父，
+* 再按 `bareSessionId` **排除全部清册 id**（跟着父进来的孩子不按盘上残留再算一遍），同一个 bare id 只认
+* **遍历顺序里第一次**出现的那条（同一个会话在两代宿主里的写法不同）。
+*
+* 语料看不见（`available: false`）⇒ 每个根都按空成员收：`/list` 与 purge 只许静默降级，
+* 盘上残留留给 `GET /orphans` 兜底。
+*
+* 结果按传入父 id 的原序分组、组内保持宿主交回的顺序：全局去重需要顺序，实测那一步可以并行。
+*
+* **单行读数和单行回执可能差一条**：同一个 bare id 若同时挂在两个组根下，全局去重只把它算给遍历
+* 顺序里第一个根；而对某个根单独 purge 时它仍会算进那一组 ⇒ 那条的 `releaseBytes` 与对它 purge 的
+* `freedBytes` 在共享后代上可以不等（全部可见行之和与 `/empty` 的回执仍相等）。数据里有环或两代
+* 写法混杂才会撞上，不为它多开一条口径。
+*/
+async function selectStrandedMembers(host, manifest, parentIds) {
+	const manifestIds = new Set(manifest.map((row) => bareSessionId(row.sessionId)));
+	const read = await host.subagentMembersOf(parentIds);
+	const seen = /* @__PURE__ */ new Set();
+	return parentIds.map((parentId) => {
+		const wanted = [];
+		if (!read.available) return wanted;
+		for (const member of read.value[parentId] ?? []) {
+			const bare = bareSessionId(member.sessionId);
+			if (manifestIds.has(bare) || seen.has(bare)) continue;
+			seen.add(bare);
+			wanted.push(member);
+		}
+		return wanted;
+	});
+}
+/**
+* `/list` 的只读计划：一行 = 一组。释放量与 purge 用同一条口径——回收站目录与成员目录**现测**，
+* 不用清册里记的 `sizeBytes`（那是删除那一刻的事实，盘上早就变了）。
+*
+* 盘上后代经 `selectStrandedMembers` 选出（排除全部清册 id、bare id 全局只算一次）；目录不在的成员
+* 不进 `members`（与 `planMemberRemovals` 同口径）。
+*/
+async function planVisibleTrash(deps, rows, groups) {
+	const candidates = await selectStrandedMembers(deps.host, rows, groups.map((group) => group.root.sessionId));
+	return await Promise.all(groups.map(async ({ root, kids }, index) => {
+		const rootRow = await measureTrashRow(deps, root);
+		const kidRows = await Promise.all(kids.map((kid) => measureTrashRow(deps, kid)));
+		const members = await planMemberRemovals(deps, candidates[index] ?? []);
+		const subagentBytes = kidRows.reduce((total, row) => total + row.bytes, 0);
+		const strandedBytes = members.reduce((total, member) => total + member.bytes, 0);
+		return {
+			root,
+			kids,
+			trash: [rootRow, ...kidRows],
+			members,
+			releaseBytes: rootRow.bytes + subagentBytes + strandedBytes,
+			subagentBytes,
+			strandedBytes,
+			strandedCount: members.length
+		};
+	}));
+}
+/** 活体准入：逐个问，任一在跑就抛 `live`。**计划函数就是执行前的闸**——调用方拿到计划才允许写，
+*  所以这里必须发生在任何写之前（`admission:'none'` 的调用方自己承担这个风险，不进来）。 */
+async function assertNoLive(deps, sessionIds) {
+	for (const sessionId of sessionIds) if (await deps.host.isLive(sessionId)) throw verbError("live", `会话正在运行：${sessionId}`);
+}
+function totalBytes(items) {
+	return items.reduce((total, item) => total + item.bytes, 0);
+}
+/**
+* purge 的删除计划：`targets` 由调用方按组语义（`trash/groups.ts`）选好，这里只量、只筛、只查活体。
+*
+* - `trash` 按 targets 原序逐个实测（目录缺席的行 `present:false` / 0 字节，但清册行仍要摘）。
+* - 盘上后代经 `selectStrandedMembers` 选出（一次问全部 targets、排除全部清册 id、bare id 全局只计划一次）。
+* - `members` 只收盘上还有目录的成员（目录缺席没有可删的字节）；`unarchive` = targets + 这些成员：
+*   只摘这一次真要碰的 id。
+* - `admission:'live'` 在量目录与任何写之前逐个查 targets 与**全部枚举到的**盘上后代；
+*   任一在跑就整条拒绝，零副作用。
+* - `sessionQuery` 缺席时端口回 `{ available: false }` ⇒ members 为空、不抛（盘上残留留给 `GET /orphans` 兜底）。
+*/
+async function planTrashRemoval(deps, rows, targets, options) {
+	const candidates = (await selectStrandedMembers(deps.host, rows, targets.map((entry) => entry.sessionId))).flat();
+	if (options.admission === "live") await assertNoLive(deps, [...targets.map((entry) => entry.sessionId), ...candidates.map((member) => member.sessionId)]);
+	const trash = await Promise.all(targets.map((entry) => measureTrashRow(deps, entry)));
+	const members = await planMemberRemovals(deps, candidates);
+	return {
+		kind: "trash",
+		trash,
+		members,
+		unarchive: [...targets.map((entry) => entry.sessionId), ...members.map((member) => member.sessionId)],
+		bytes: totalBytes(trash) + totalBytes(members)
+	};
+}
+/**
+* orphan-clean 的删除计划：成员是调用方扫出来的传递闭包（`orphanGroupsOf`）。
+*
+* - `members` 只收盘上还有目录的成员（目录缺席没有可删的字节），`bytes` 只算这些实测值。
+* - `unarchive` 覆盖**全部传入成员**（含目录缺席）：orphan-clean 在删目录之前整批摘归档集，
+*   目录缺席的 id 也可能还挂在归档集里；重试时不会再长出一条幽灵 id。
+* - live 准入覆盖**全部传入成员**（含目录缺席）：它们都在这一组的可见面里，任一在跑就整组拒绝。
+* - 回执由 `kind:'orphan'` 派生：删目录阶段失败时执行器要交回 `{removed, freedBytes, failedSessionId}`。
+*/
+async function planOrphanRemoval(deps, members) {
+	await assertNoLive(deps, members.map((member) => member.sessionId));
+	const present = await planMemberRemovals(deps, members);
+	return {
+		kind: "orphan",
+		trash: [],
+		members: present,
+		unarchive: members.map((member) => member.sessionId),
+		bytes: totalBytes(present)
+	};
+}
+/**
+* 按计划执行一次永久删除：只写、不再量、不再判活体（计划就是执行前的闸）。
+*
+* 顺序（与迁移前的 purge / orphan-clean 一致）：整批摘归档集 → 摘有账本的成员的账本 → 逐条回收站行
+* （在才删目录 → 摘清册行 → 通告成员离场）→ 逐条盘上成员（删目录 → 通告成员离场）。目录删掉就没有
+* "退回去"这回事，中途失败**不回滚**；已经删掉的由下面的计数器如实交回。
+*
+* 失败形状沿用调用方原来的措辞与结构：
+* - `kind:'orphan'`（orphan-clean）⇒ `io` + `{removed, freedBytes, failedSessionId}`，不伪装成整组没动；
+* - `kind:'trash'`（purge）⇒ 同一个标签、不带 details。
+* - orphan-clean 的 unarchive / detach 在旧实现里不包装，这里原样抛出（不改变现有错误形状）。
+*
+* 通告只经 `member-presence`（摘活体三态 + `api-session/removed`），不在这里另写一份。
+*/
+async function executeRemoval(deps, plan) {
+	const presence = createMemberPresence(deps.host);
+	let removed = 0;
+	let freedBytes = 0;
+	/** 删除途中失败的唯一出口：标签沿用旧措辞；部分回执只属于 `orphan`（由计划的 `kind` 派生）。
+	*  已经是本仓动词码的错误原样抛（与 `member-journal.ts` 的 `journalFailure` 同一条判据）——
+	*  `not-found` / `live` 之类不许在这里被折成 `io`。 */
+	const fail = (label, error, failedSessionId) => {
+		if (isVerbCodeError(error)) throw error;
+		const details = plan.kind === "orphan" ? {
+			removed,
+			freedBytes,
+			failedSessionId
+		} : void 0;
+		throw verbError("io", `${label}：${String(error)}`, error, details);
+	};
+	/** 退归档集 / 摘账本这一步的失败形状：purge 折成带标签的 `io`；orphan-clean 原样抛。 */
+	const step = async (label, sessionId, run) => {
+		if (plan.kind === "orphan") {
+			await run();
+			return;
+		}
+		try {
+			await run();
+		} catch (error) {
+			fail(label, error, sessionId);
+		}
+	};
+	for (const sessionId of plan.unarchive) await step("取消归档失败", sessionId, () => deps.host.unarchive(sessionId));
+	for (const member of plan.members) {
+		const workspaceId = member.workspaceId;
+		if (workspaceId === void 0) continue;
+		await step("摘账本失败", member.sessionId, () => deps.host.detach(member.sessionId, workspaceId));
+	}
+	for (const row of plan.trash) {
+		if (row.present) {
+			try {
+				await deps.fs.removeDir(row.dir);
+			} catch (error) {
+				fail("删除回收站目录失败", error, row.entry.sessionId);
+			}
+			freedBytes += row.bytes;
+		}
+		try {
+			await deps.manifest.remove(row.entry.id);
+		} catch (error) {
+			fail("删除回收站目录失败", error, row.entry.sessionId);
+		}
+		removed += 1;
+		await presence.memberGone(row.entry.sessionId);
+	}
+	const memberLabel = plan.kind === "trash" ? "删除盘上后代目录失败" : "删除会话目录失败";
+	for (const member of plan.members) {
+		try {
+			await deps.fs.removeDir(member.dir);
+		} catch (error) {
+			fail(memberLabel, error, member.sessionId);
+		}
+		removed += 1;
+		freedBytes += member.bytes;
+		await presence.memberGone(member.sessionId);
+	}
+	return {
+		removed,
+		freedBytes
+	};
+}
+//#endregion
+//#region src/verbs/orphan-subagents.ts
+/**
+* 无主子会话 = `origin:"subagent"`、父**既不在当前语料（live ∪ persisted）也不在回收站清册里**的会话。
+*
+* 为什么清册里的父不算孤儿：那种是 **stranded**——父还在回收站里等着，孩子本该跟着父一起恢复或一起
+* 彻底删除（组语义见 `src/trash/groups.ts`），把它的根当孤儿删掉就是**替用户做了一个没人点过的决定**。孤儿只
+* 有一种来路：父被彻底删掉了（或被手工从盘上清掉了），清册里再也没有这一行。
+*
+* 根按**传递闭包**收全部后代（与 `HostCorpusPort.subagentMembersOf` 同一口径：孩子与孙代都算，深度不设上限），
+* 同一条记录只归一组（`claimed`）——数据里真出现环时结果是"少数一条"，不是把一个会话删两遍。
+* 归堆与去重**两边都去 `session-` 前缀**：同一个父在两代宿主里写法不同（见 `bareSessionId` 的来历）。
+*/
+function orphanGroupsOf(corpus, trashSessionIds) {
+	const known = /* @__PURE__ */ new Set();
+	for (const session of corpus) known.add(bareSessionId(session.sessionId));
+	for (const id of trashSessionIds) known.add(bareSessionId(id));
+	const children = /* @__PURE__ */ new Map();
+	for (const session of corpus) {
+		const parent = session.parentSessionId;
+		if (parent === void 0) continue;
+		const key = bareSessionId(parent);
+		const list = children.get(key);
+		if (list === void 0) children.set(key, [session]);
+		else list.push(session);
+	}
+	const claimed = /* @__PURE__ */ new Set();
+	const groups = [];
+	for (const session of corpus) {
+		const parent = session.parentSessionId;
+		if (!session.subagent || parent === void 0) continue;
+		if (known.has(bareSessionId(parent))) continue;
+		if (claimed.has(bareSessionId(session.sessionId))) continue;
+		const members = [];
+		const queue = [session];
+		for (let i = 0; i < queue.length; i += 1) {
+			const current = queue[i];
+			const id = bareSessionId(current.sessionId);
+			if (claimed.has(id)) continue;
+			claimed.add(id);
+			members.push(current);
+			for (const child of children.get(id) ?? []) queue.push(child);
+		}
+		groups.push({
+			root: session,
+			parentSessionId: parent,
+			members
+		});
+	}
+	return groups;
+}
+/** 纯读：调用方应先走一次 `/list` 对账（面板的 refresh 就是这样）；本函数不写清单。
+*  写动作 `orphan-clean` 会自己先 reconcile，避免拿一份过期清册判"父没了"。
+*
+*  `listSessions()` 回 `{ available: false }` 时**必须抛**：那是宿主的会话语料服务没挂，不是"这个家没有孤儿"。
+*  拿缺席当空语料 ⇒ 报告说"零条孤儿"、界面上一句"没有要清理的"，而盘上真有几百 MB——那是假话，
+*  所以这里按 `io` 响亮失败（AGENTS.md：`available: false` 意味着服务缺席，扫描方不许冒充读数）。 */
+async function loadOrphanGroups(deps) {
+	const read = await deps.host.listSessions();
+	if (!read.available) throw verbError("io", "无主子会话扫描需要宿主的 sessionQuery.listSessions");
+	const corpus = read.value;
+	const groups = orphanGroupsOf(corpus, (await deps.manifest.list()).map((entry) => entry.sessionId));
+	const out = [];
+	for (const group of groups) {
+		const members = [];
+		for (const member of group.members) {
+			const measured = await measureMemberDir(deps, member);
+			members.push({
+				sessionId: member.sessionId,
+				projectDir: member.projectDir,
+				bytes: measured?.bytes ?? 0
+			});
+		}
+		out.push({
+			root: members[0],
+			parentSessionId: group.parentSessionId,
+			members
+		});
+	}
+	return out;
+}
+/** 把一组组收成那份报告：根清单 + 闭包总数/总字节 + 失踪父的**去重计数** + 按项目目录的分摊。
+*  `groups` 按字节从多到少排（界面上"哪家还剩得最多"要看第一行）。 */
+function reportOrphans(groups) {
+	const projects = /* @__PURE__ */ new Map();
+	let totalSessions = 0;
+	let totalBytes = 0;
+	for (const group of groups) for (const member of group.members) {
+		totalSessions += 1;
+		totalBytes += member.bytes;
+		const row = projects.get(member.projectDir) ?? {
+			sessions: 0,
+			bytes: 0
+		};
+		row.sessions += 1;
+		row.bytes += member.bytes;
+		projects.set(member.projectDir, row);
+	}
+	return {
+		roots: groups.map((group) => group.root.sessionId),
+		totalSessions,
+		totalBytes,
+		missingParents: new Set(groups.map((group) => bareSessionId(group.parentSessionId))).size,
+		groups: [...projects].map(([projectDir, value]) => ({
+			projectDir,
+			...value
+		})).sort((a, b) => b.bytes - a.bytes)
+	};
+}
+/**
+* 清一组：`planOrphanRemoval`（只读计划，整组 live 准入在一切写之前）→ `executeRemoval`（只写）。
+* 量目录、摘归档集与账本、删目录与成员通告的顺序和失败形状都住 `verbs/permanent-removal.ts`；
+* 这里只把这一组接上去，别在这再长出一段手写步骤（purge 走的是同一条路）。
+*
+* 顺序与删除那一半是**对偶**的，但不是照抄：
+* - 删除那一半不再用归档藏会话（ADR-0008）：它摘账本、搬目录，最后才摘活体。这里目录是**删掉**
+*   不是搬走，藏不藏都不影响可见性 ⇒ 归档集反而**在写之前整批摘掉**：失败时目录还在，下一次还能重试，
+*   不会留下"会话没了但还在归档集里挂着"的幽灵 id。
+* - `unarchive` 对未归档的会话是官方幂等 no-op（`registry.unarchiveSession`），所以这里不需要那次
+*   `wasArchived` 读——这里没有"还原到删除前"的义务。
+* - 摘账本只在账本真记着它时做（`workspaceOf` 未命中 = 本来就是「未分组」，不是故障）。
+*/
+async function cleanOrphanGroup(deps, group) {
+	return await executeRemoval(deps, await planOrphanRemoval(deps, group.members));
 }
 //#endregion
 //#region src/verbs/purge-trash.ts
+/**
+* 彻底删除：从回收站里**真的**抹掉一条（或整组、或整站），并连带那些"还留在盘上、没被带走"的后代。
+*
+* 与另外两个动词的关系（ADR-0002）：它的 interface 只有"一个条目 id（或缺席 = 清空）"，
+* 批量的快照与"已被同批前一条带走"的判据不在这里（归 `verbs/batch.ts`）。
+*
+* **这条动词只做两件事：选目标、拿计划交给执行器**。量目录、筛盘上后代、活体准入与"先退归档集、
+* 再摘账本、最后删目录"的顺序都住 `verbs/permanent-removal.ts`——计划只读，执行器只写，计划就是
+* 执行前的闸（别在这里再长出一段手写步骤）。
+*
+* **这条动词不做回滚**：目录删掉就没有"退回去"这回事（2026-10-19 `f2a7757`：删到一半失败时已删目录不回滚；
+* 带部分计数的 `details` 回执只属于 `orphan-clean`，purge 的 `removed` / `freedBytes` 仍只在成功回执里给）。
+* 对应地，`kind:'trash'` 的计划失败时执行器只抛那一步的 `io` 与原文、不带 details。
+*/
 function purgeTrash(deps) {
 	return async function purgeTrash(entryId, snapshot) {
 		const all = snapshot ?? await deps.manifest.list();
-		const targets = entryId ? all.filter((e) => e.id === entryId || e.parentEntryId === entryId) : [...all];
-		if (entryId && targets.length === 0) throw verbError("trash-empty", `回收站里没有这一条：${entryId}`);
-		let freedBytes = 0;
-		for (const entry of targets) {
-			const dir = trashDirOf(entry.id, deps.home);
-			if (await deps.fs.exists(dir)) {
-				freedBytes += await deps.fs.sizeOfDir(dir);
-				await deps.fs.removeDir(dir).catch((error) => {
-					throw verbError("io", `删除回收站目录失败：${String(error)}`, error);
-				});
-			}
-			await deps.manifest.remove(entry.id);
-			const at = all.indexOf(entry);
-			if (at >= 0) all.splice(at, 1);
-			if (await deps.host.evictLive(entry.sessionId) !== "unknown") await deps.host.announceRemoved(entry.sessionId);
-		}
-		return {
-			removed: targets.length,
-			freedBytes
-		};
+		const targets = entryId === void 0 ? all : groupOf(all, entryId);
+		if (entryId !== void 0 && targets.length === 0) throw verbError("trash-empty", `回收站里没有这一条：${entryId}`);
+		return await executeRemoval(deps, await planTrashRemoval(deps, all, targets, { admission: "live" }));
 	};
 }
 //#endregion
@@ -1100,15 +1887,20 @@ function purgeTrash(deps) {
 *    预检在写之前，是为了不让"父已经回到 `sessions/`、孩子因为项目目录没了而回不去"这种半组留在外面。
 *    **工作区账本不在这条硬前提里**：宿主的「删除工作区」只删注册、保留日志，记下的工作区没了就按
 *    「未分组」收（判据在 {@link attachableWorkspaceId}），照旧回盘——恢复是加法，不该因为一个可选的账目而失败。
-* ② **逐个恢复**，顺序与删除相反：文件先回来 → 挂账本 → 还原可见性 → 摘清册行 → 通告回来。
-* ③ 中途失败把这个成员自己退回回收站（就地回滚），并把**已经恢复完的**兄弟按相反顺序一起退回，失败照抛。
+* ② **逐个恢复**，顺序与删除相反：文件先回来 → 挂账本 →（旧清单迁移）取消归档 → 摘清册行。
+* ③ 中途失败时 journal 把这个成员自己退回回收站；**已经恢复完的**兄弟由整组 catch 按相反顺序一起退回。
+*
+* **通告不在这里**：一次批量只该拉一遍宿主会话表、只发一次 `api-session/added`（2026-10-17 那次
+* "恢复很慢"就是逐条发）。通告归 `verbs/batch.ts`（ADR-0002），所以这个动词的 interface 只有
+* "一个条目 id 进、回收站那一行出"，没有批量专用的开关。
 */
 function restoreSession(deps) {
-	return async function restoreSession(entryId, options = {}) {
-		const all = options.snapshot ?? await deps.manifest.list();
+	const presence = createMemberPresence(deps.host);
+	return async function restoreSession(entryId, snapshot) {
+		const all = snapshot ?? await deps.manifest.list();
 		const target = all.find((e) => e.id === entryId);
 		if (!target) throw verbError("trash-empty", `回收站里没有这一条：${entryId}`);
-		const group = target.parentEntryId === void 0 ? [target, ...all.filter((e) => e.parentEntryId === target.id)] : [target];
+		const group = groupOf(all, entryId);
 		for (const entry of group) {
 			const trashDir = trashDirOf(entry.id, deps.home);
 			if (!await deps.fs.exists(trashDir)) throw verbError("trash-empty", `回收站条目已不在磁盘上：${trashDir}`);
@@ -1116,21 +1908,19 @@ function restoreSession(deps) {
 			if (!await deps.fs.exists(`${deps.home}/sessions`) || !await deps.fs.exists(projectRoot)) throw verbError("project-missing", `原项目目录已不存在：${projectRoot}`);
 		}
 		const done = [];
-		const restored = [];
 		try {
 			for (const entry of group) {
-				done.push(await restoreOne(deps, entry));
-				restored.push(entry.sessionId);
+				const move = await memberRestore(deps, presence, entry);
+				await move.journal.run();
+				done.push(move.journal);
 			}
 		} catch (error) {
-			for (const undo of done.reverse()) await undo();
-			throw error;
+			await rollbackJournals(done, error);
 		}
-		if (options.suppressAnnounce !== true) await deps.host.announceRestoredBatch(restored);
 		return target;
 	};
 }
-/** 放回哪儿：用**删除时记进 entryId 的那段原目录名**，不从 `sessionId` 现推（设计稿 §3）——
+/** 放回哪儿：用**删除时记进 entryId 的那段原目录名**，不从 `sessionId` 现推（CONTEXT.md 的「条目」条）——
 *  因此不依赖宿主当时的目录命名约定（v3 无前缀 / v4 带 `session-` 前缀）。 */
 function restoreTargetDir(deps, entry) {
 	return sessionDirOf(entry.projectDir, parseEntryId(entry.id).sessionDirName, deps.home);
@@ -1142,7 +1932,7 @@ function restoreTargetDir(deps, entry) {
 * 宿主的「删除工作区」只删注册、保留目录与每一份日志，那些会话之后本来就在「未分组」下。
 * 恢复不该为了挂一个不存在的账本把整条退回回收站。
 *
-* 判据**只有这一处**：`restoreOne` 拿它决定挂不挂，`GET /list` 拿它决定行上那句「原工作区已不存在，
+* 判据**只有这一处**：`memberRestore` 拿它决定挂不挂，`GET /list` 拿它决定行上那句「原工作区已不存在，
 * 恢复后归入未分组」说不说。两边各问一遍就会有一天一个说、一个不挂。
 */
 async function attachableWorkspaceId(host, entry) {
@@ -1155,324 +1945,488 @@ async function attachableWorkspaceId(host, entry) {
 async function isWorkspaceMissing(host, entry) {
 	return entry.workspaceId !== "" && await attachableWorkspaceId(host, entry) === void 0;
 }
-/** 恢复一个成员，交回它的反向动作。 */
-async function restoreOne(deps, entry) {
+/**
+* 一个成员的恢复步骤（顺序与删除相反）：放回目录 → 挂账本 →（旧清单迁移）取消归档 → 摘清册行。
+*
+* 账本那一步有个**只认端口那句**的兜底：查过之后、挂之前账本被删掉（宿主的「删除工作区」与这次恢复
+* 撞上）⇒ 按未分组收、不回滚；**别的**失败是真故障，照旧抛（吞掉它就等于把一次存储故障伪装成"未分组"）。
+*/
+async function memberRestore(deps, presence, entry) {
 	const trashDir = trashDirOf(entry.id, deps.home);
 	const sessionDir = restoreTargetDir(deps, entry);
 	const workspaceId = await attachableWorkspaceId(deps.host, entry);
+	/**
+	* **旧清单迁移**：2026-10-21 之前的删除用归档来藏会话，所以那些条目在盘上仍是归档态。
+	* 新删除不再碰归档（回收站与归档解耦）⇒ `wasArchived:false` 且当前**仍**归档的，只可能是旧条目；
+	* 恢复时取消归档。`wasArchived:true` 是用户删除前自己归档的，保持归档态不动。
+	*/
+	const legacyArchived = !entry.wasArchived && await deps.host.isArchived(entry.sessionId);
 	/** 真挂上了账本才记下那个 id——回滚里"摘账本"那一步只对挂过的成员存在。 */
-	let attachedTo;
-	await deps.fs.rename(trashDir, sessionDir).catch((error) => {
-		throw verbError("io", `放回会话目录失败：${String(error)}`, error);
-	});
-	if (workspaceId !== void 0) try {
-		await deps.host.attach(entry.sessionId, workspaceId);
-		attachedTo = workspaceId;
-	} catch (error) {
-		if (!isWorkspaceMissingError(error) || await deps.host.workspaceExists(workspaceId)) {
-			await deps.fs.rename(sessionDir, trashDir).catch(() => {});
-			throw verbError("io", `挂回账本失败：${String(error)}`, error);
+	let attached = false;
+	/** 组级回滚时，目录是否真的退回回收站——作为事实交给成员在场 module 判「已移除」通告。 */
+	let movedBack = false;
+	const journal = createJournal([
+		{
+			label: "放回会话目录失败",
+			run: async () => {
+				await deps.fs.rename(trashDir, sessionDir);
+			},
+			undo: async () => {
+				const failures = await attempt("目录退回回收站失败", () => deps.fs.rename(sessionDir, trashDir));
+				if (failures.length === 0) movedBack = true;
+				return failures;
+			}
+		},
+		...workspaceId === void 0 ? [] : [{
+			label: "挂回账本失败",
+			run: async () => {
+				try {
+					await deps.host.attach(entry.sessionId, workspaceId);
+					attached = true;
+				} catch (error) {
+					if (!isWorkspaceMissingError(error) || await deps.host.workspaceExists(workspaceId)) throw error;
+				}
+			},
+			undo: async () => attached ? attempt("摘账本失败", () => deps.host.detach(entry.sessionId, workspaceId)) : []
+		}],
+		...!legacyArchived ? [] : [{
+			label: "取消归档失败",
+			undoOnFailure: true,
+			run: async () => {
+				await deps.host.unarchive(entry.sessionId);
+			},
+			undo: () => attempt("重新归档失败", () => deps.host.archive(entry.sessionId, workspaceId))
+		}],
+		{
+			label: "摘回收站条目失败",
+			run: async () => {
+				await deps.manifest.remove(entry.id);
+			},
+			undo: () => attempt("清册行写回失败", () => deps.manifest.add(entry))
 		}
-	}
-	if (!entry.wasArchived) try {
-		await deps.host.unarchive(entry.sessionId);
-	} catch (error) {
-		await deps.host.archive(entry.sessionId, workspaceId ?? void 0).catch(() => {});
-		if (attachedTo !== void 0) await deps.host.detach(entry.sessionId, attachedTo).catch(() => {});
-		await deps.fs.rename(sessionDir, trashDir).catch(() => {});
-		throw verbError("io", `取消归档失败：${String(error)}`, error);
-	}
-	try {
-		await deps.manifest.remove(entry.id);
-	} catch (error) {
-		if (!entry.wasArchived) await deps.host.archive(entry.sessionId, workspaceId ?? void 0).catch(() => {});
-		if (attachedTo !== void 0) await deps.host.detach(entry.sessionId, attachedTo).catch(() => {});
-		await deps.fs.rename(sessionDir, trashDir).catch(() => {});
-		throw verbError("io", `摘回收站条目失败：${String(error)}`, error);
-	}
-	return async () => {
-		await deps.manifest.add(entry).catch(() => {});
-		if (!entry.wasArchived) await deps.host.archive(entry.sessionId, workspaceId ?? void 0).catch(() => {});
-		if (attachedTo !== void 0) await deps.host.detach(entry.sessionId, attachedTo).catch(() => {});
-		await deps.fs.rename(sessionDir, trashDir).catch(() => {});
-		if (await deps.host.evictLive(entry.sessionId).catch(() => "unknown") !== "unknown") await deps.host.announceRemoved(entry.sessionId).catch(() => {});
-	};
+	]);
+	return { journal: {
+		run: () => journal.run(),
+		async undo() {
+			const failures = await journal.undo();
+			await presence.memberGone(entry.sessionId, { backInTrash: movedBack });
+			return failures;
+		}
+	} };
 }
 //#endregion
-//#region src/verbs/delete-session.ts
+//#region src/verbs/batch.ts
 /**
-* 删除 = 移入回收站，**按组走**：用户点掉一条父会话时，宿主的客户端把 `origin:"subagent"` 的孩子
-* 整排藏了 ⇒ 那些目录既看不见也继续占着字节（本机实测 41 条父留了 320 个目录 / 74.6 MB）。
-* 所以这里把父在盘上的孩子一起搬进来，各自成目录、各自一行，清册用 `parentEntryId` 记它是谁的孩子。
+* **「这一批」的唯一拥有者**（ADR-0002）：`POST /apply` 的落点——一组 id 上的同一个动作。
 *
-* 三段，顺序承重：
-* ① **先点组、先验活体**（一个字节都不写）。任一成员在跑就整组拒绝——不替用户终止正在跑的活，
-*    也绝不允许"父已经搬进回收站、孩子因为在跑而搬不动"这种半套。
-* ② **逐个搬**：每个成员内部沿用原来那套顺序与就地回滚（归档 → 摘账本 → 搬目录 → 写清册），
-*    任何一步失败就把这个成员自己退回原地。
-* ③ **组级回滚**：某一个成员搬不动时，把**已经搬进去的**那些按相反顺序退回原处（清册行跟着摘、
-*    账本跟着挂、可见性跟着还原），失败照抛——不留"半组在回收站、半组在原地"的世界。
+* 五个动作：`delete` / `restore` / `purge` / `count` / `orphan-clean`。
+*
+* 为什么批量要有自己的 module：批量是**请求**的性质，不是某一条动词的性质。此前它长在三个动词的
+* interface 上（`onMembers` / `snapshot` / `suppressAnnounce`），于是每个动词都得知道"我是第几个、
+* 前面的兄弟带走了谁"，同一个事实还有三种机制（回调、调用方 `taken` 集合、动词就地收缩数组）。
+*
+* 这一层独占四件（每条批量语义都在这里）：
+* ① **去重保序**：输入顺序就是界面"清单从上往下"的读感；
+* ② **清册快照**：整批只读一次"最初的样子"，用来判断"已被同批前一条带走"；
+* ③ **逐条信封**：一条失败不传染下一条，失败按 `map-error` 那张表折成 `{code,message,details?}`；
+* ④ **一批一次通告**：恢复的 `api-session/added` 攒到批尾、配一次预取的摘要表发（逐条发 = 每条一次
+*   宿主全表扫，那正是 2026-10-17 "恢复很慢"的头号来源）。
+*
+* 「已被同批前一条带走」是**幂等成功**，不是失败：用户要的结果本来就已经达成了（`delete`/`restore`
+* 回 `null`；`purge` 回 `{removed:0,freedBytes:0}`）。判据读 `trash/groups.ts`（ADR-0001），
+* 与 `/list` 的装配、与三个动词同一条。
 */
-function deleteSession(deps) {
-	return async function deleteSession(sessionId, options = {}) {
-		const kids = await deps.host.subagentMembers(sessionId);
-		const parentProjectDir = await deps.host.projectDirOf(sessionId);
-		if (parentProjectDir === void 0) throw verbError("not-found", `宿主的持久化里没有这个会话：${sessionId}`);
-		const candidates = [{
-			sessionId,
-			projectDir: parentProjectDir
-		}, ...kids.map((k) => ({
-			sessionId: k.sessionId,
-			projectDir: k.projectDir
-		}))];
-		for (const member of candidates) if (await deps.host.isLive(member.sessionId)) throw verbError("live", `会话正在运行：${member.sessionId}`);
-		const parentDir = sessionDirOf(parentProjectDir, sessionId, deps.home);
-		if (!await deps.fs.exists(parentDir)) throw verbError("not-found", `会话目录不存在：${parentDir}`);
-		const members = [{
-			sessionId,
-			projectDir: parentProjectDir
-		}];
-		for (const kid of kids) if (await deps.fs.exists(sessionDirOf(kid.projectDir, kid.sessionId, deps.home))) members.push({
-			sessionId: kid.sessionId,
-			projectDir: kid.projectDir
-		});
-		options.onMembers?.(members.map((member) => member.sessionId));
-		const deletedAt = deps.now();
-		const done = [];
-		let parentEntry;
-		try {
-			for (const member of members) {
-				const isParent = member.sessionId === sessionId;
-				const entry = await moveOneIn(deps, member, deletedAt, isParent ? void 0 : parentEntry.id);
-				if (isParent) parentEntry = entry;
-				done.push(() => undoOneIn(deps, entry));
-			}
-		} catch (error) {
-			for (const undo of done.reverse()) await undo();
-			throw error;
-		}
-		return parentEntry;
+function failure(id, action, error) {
+	return {
+		id,
+		action,
+		ok: false,
+		error: toRemoteFailure(error)
+	};
+}
+/** 按动作收窄的成功支（判别联合要的是**字面量**，所以动作参数按 `A` 收，不收成宽化的 `ApplyAction`）。 */
+function success(id, action, value) {
+	return {
+		id,
+		action,
+		ok: true,
+		value
 	};
 }
+/** 去重且保持输入顺序（重复 id 跑第二遍是"幂等成功"的伪装，不该发生）。 */
+function unique(ids) {
+	const seen = /* @__PURE__ */ new Set();
+	const out = [];
+	for (const id of ids) {
+		if (seen.has(id)) continue;
+		seen.add(id);
+		out.push(id);
+	}
+	return out;
+}
 /**
-* 搬一个成员进回收站。五件写的顺序照设计稿 §4 那五触点，每一步的失败都**就地**把这个成员自己退回原地：
-* 归档必须先于摘账本（否则中间有一段"无主且可见"的窗口，它会掉进「未分组」），文件在两件纯读之后，
-* 清册行是最后一件写（它失败就把目录挪回去、账本挂回去、可见性还原）。
+* 一条 id 一条结果：**这是批量唯一的形式**（单条就是长度为 1 的批量，仓里不留第二条执行路径）。
+* 动词只收一个 id、只吐一条结果；`try/catch` 在这一处，失败不传染下一条。
 */
-async function moveOneIn(deps, member, deletedAt, parentEntryId) {
-	const { sessionId, projectDir } = member;
-	const workspaceId = await deps.host.workspaceOf(sessionId);
-	const sessionDir = sessionDirOf(projectDir, sessionId, deps.home);
-	const wasArchived = await deps.host.isArchived(sessionId);
-	const entryId = makeEntryId(deletedAt, sessionId);
-	const trashDir = trashDirOf(entryId, deps.home);
-	let title;
-	let sizeBytes;
-	try {
-		title = await deps.host.titleOf(sessionId);
-		sizeBytes = await deps.fs.sizeOfDir(sessionDir);
+async function forEachId(action, ids, run) {
+	const outcomes = [];
+	for (const id of unique(ids)) try {
+		outcomes.push(success(id, action, await run(id)));
 	} catch (error) {
-		throw verbError("io", `读取会话现场失败：${String(error)}`, error);
+		outcomes.push(failure(id, action, error));
 	}
-	if (!wasArchived) try {
-		await deps.host.archive(sessionId, workspaceId ?? void 0);
-	} catch (error) {
-		throw verbError("io", `归档失败：${String(error)}`, error);
+	return outcomes;
+}
+/** 这一组的行从"当前快照"里摘掉（父行带走孩子后，后到的孩子 id 要认得出"已经不在了"）。 */
+function shrink(current, rows) {
+	for (const row of rows) {
+		const at = current.indexOf(row);
+		if (at >= 0) current.splice(at, 1);
 	}
-	if (workspaceId !== void 0) try {
-		await deps.host.detach(sessionId, workspaceId);
-	} catch (error) {
-		if (!wasArchived) await deps.host.unarchive(sessionId).catch(() => {});
-		throw verbError("io", `摘账本失败：${String(error)}`, error);
+}
+async function applyDelete(deps, ids) {
+	const run = deleteSession(deps);
+	const carried = /* @__PURE__ */ new Set();
+	return forEachId("delete", ids, async (sessionId) => {
+		const root = bareSessionId(sessionId);
+		if (carried.has(root)) return null;
+		const { entry, movedSessionIds } = await run(sessionId);
+		for (const movedId of movedSessionIds) carried.add(bareSessionId(movedId));
+		return entry;
+	});
+}
+/** 「这条是不是被同批前一条带走了」：原始快照里认得出、当前快照里已经空了。
+*  **收缩归这一层**（动词只拿只读快照）——`apply` 整批只读一次清册，`takenByEarlierInBatch` 不比它多读。 */
+async function applyRestore(deps, ids) {
+	const original = await deps.manifest.list();
+	const current = [...original];
+	const run = restoreSession(deps);
+	const restored = [];
+	const outcomes = await forEachId("restore", ids, async (entryId) => {
+		if (takenByEarlierInBatch(original, current, entryId)) return null;
+		const group = groupOf(current, entryId);
+		const entry = await run(entryId, current);
+		restored.push(...group.map((row) => row.sessionId));
+		shrink(current, group);
+		return entry;
+	});
+	if (restored.length > 0) await deps.host.announceRestoredBatch(restored, await deps.host.restoredSummariesOf());
+	return outcomes;
+}
+async function applyPurge(deps, ids) {
+	const original = await deps.manifest.list();
+	const current = [...original];
+	const run = purgeTrash(deps);
+	return forEachId("purge", ids, async (entryId) => {
+		if (takenByEarlierInBatch(original, current, entryId)) return {
+			removed: 0,
+			freedBytes: 0
+		};
+		const group = groupOf(current, entryId);
+		const stats = await run(entryId, current);
+		shrink(current, group);
+		return stats;
+	});
+}
+/** 删除确认框那句「含 N 个子会话」：一次问完整批（`subagentMembersOf` 本来就是批量口）。
+*  宿主口缺席（`available:false`）时按 0（这里不再有"空表"这一步）；真读失败则整次调用失败，
+*  浏览器半按"读不到"把整句不说。 */
+async function applyCount(deps, ids) {
+	const wanted = unique(ids);
+	const read = await deps.host.subagentMembersOf(wanted);
+	return wanted.map((id) => success(id, "count", read.available ? read.value[id]?.length ?? 0 : 0));
+}
+/**
+* 清一组无主子会话（父已被彻底删掉、孩子还留在 `sessions/` 里的那些）。id 是**根会话 id**——
+* 界面先 `GET /orphans` 拿 `roots` 再原样带回来，所以这里的 `not-found` 说的是"这句话已经过期了"
+* （父又被人放回回收站、组已被上一个请求带走，或另一处已经把目录清掉），不是"用户打错了一个 id"。
+* 根 id 两边都去 `session-` 前缀再比：报告原样回传是正常路径，外部调用带另一种写法也认。
+*
+* **这是写动作，排在到达序链上**，而且**先对账再扫**（2026-10-19）：判"父没了"用的是清册，而刚被人
+* 手工搬进 `session-trash/` 的那一格目录此刻可能还没有对应行——不对账就会把"父还在回收站里等着"的
+* 一组当成孤儿**直接删盘**，替用户做了一个没人点过的决定（那种组该跟着父恢复或彻底删除）。
+* 对账写在动词这一侧而不是只写在路由里，为的是 `apply` 的批量入口只有一个：链上的排队与这份快照
+* 谁也别想只占一半。
+*/
+async function applyOrphanClean(deps, ids) {
+	await reconcileTrash(deps);
+	const groups = await loadOrphanGroups(deps);
+	const byRoot = new Map(groups.map((group) => [bareSessionId(group.root.sessionId), group]));
+	const outcomes = [];
+	for (const id of unique(ids)) {
+		const group = byRoot.get(bareSessionId(id));
+		if (group === void 0) {
+			outcomes.push(failure(id, "orphan-clean", verbError("not-found", `不再是可清理的无主子会话：${id}`)));
+			continue;
+		}
+		try {
+			outcomes.push(success(id, "orphan-clean", await cleanOrphanGroup(deps, group)));
+		} catch (error) {
+			outcomes.push(failure(id, "orphan-clean", error));
+		}
 	}
-	const entry = {
-		id: entryId,
-		sessionId,
-		projectDir,
-		workspaceId: workspaceId ?? "",
-		wasArchived,
-		deletedAt,
-		title,
-		sizeBytes,
-		...parentEntryId === void 0 ? {} : { parentEntryId }
+	return outcomes;
+}
+function applyActions(deps, action, ids) {
+	switch (action) {
+		case "delete": return applyDelete(deps, ids);
+		case "restore": return applyRestore(deps, ids);
+		case "purge": return applyPurge(deps, ids);
+		case "count": return applyCount(deps, ids);
+		case "orphan-clean": return applyOrphanClean(deps, ids);
+	}
+}
+const DEFAULT_LIMITS = {
+	perMessageChars: 3e3,
+	totalChars: 5e5
+};
+/** 一条记录里那些 `content[]` 段的文字拼起来（`\n` 分隔；非 text 段一律不参与）。 */
+function textOf(content) {
+	if (!Array.isArray(content)) return "";
+	return content.filter((part) => part?.type === "text" && typeof part.text === "string").map((part) => part.text).join("\n").trim();
+}
+function readTrashDetail(deps, limits = DEFAULT_LIMITS) {
+	return async function readTrashDetail(entryId) {
+		const record = (await deps.manifest.list()).find((e) => e.id === entryId);
+		if (record === void 0) throw verbError("trash-empty", `回收站里没有这一条：${entryId}`);
+		const dir = trashDirOf(record.id, deps.home);
+		if (!await deps.fs.exists(dir)) throw verbError("io", `回收站目录不在：${dir}`);
+		const names = await deps.fs.listFiles(dir);
+		const logName = pickSessionLog(names);
+		if (logName === void 0) throw verbError("io", `回收站目录里没有会话日志：${dir}（里面有：${names.join(", ") || "空目录"}）`);
+		let raw;
+		try {
+			raw = await deps.fs.readFile(`${dir}/${logName}`);
+		} catch (error) {
+			throw verbError("io", `读会话日志失败：${String(error)}`, error);
+		}
+		const detail = {
+			entryId: record.id,
+			cwd: "",
+			createdAt: 0,
+			lastActivity: 0,
+			logTitle: "",
+			models: [],
+			turnCount: 0,
+			userMessageCount: 0,
+			assistantMessageCount: 0,
+			toolCallCount: 0,
+			injectedCount: 0,
+			messages: [],
+			omittedByPayloadCap: 0
+		};
+		const models = /* @__PURE__ */ new Set();
+		let usedChars = 0;
+		let capped = false;
+		/** 收进正文，顺带管两个闸：截到单条上限，累计到总量就停。 */
+		function push(role, time, text) {
+			if (capped) {
+				detail.omittedByPayloadCap += 1;
+				return;
+			}
+			const truncated = text.length > limits.perMessageChars;
+			const kept = truncated ? text.slice(0, limits.perMessageChars) : text;
+			if (usedChars + kept.length > limits.totalChars) {
+				capped = true;
+				detail.omittedByPayloadCap += 1;
+				return;
+			}
+			usedChars += kept.length;
+			detail.messages.push({
+				role,
+				time,
+				text: kept,
+				truncated
+			});
+		}
+		try {
+			walkSessionLog(raw, (r) => {
+				if (typeof r.time === "number" && r.time > detail.lastActivity) detail.lastActivity = r.time;
+				const data = r.data ?? {};
+				switch (r.type) {
+					case "session":
+						if (typeof r.cwd === "string") detail.cwd = r.cwd;
+						if (typeof r.createdAt === "number") detail.createdAt = r.createdAt;
+						return;
+					case "session/title":
+						if (typeof data.title === "string") detail.logTitle = data.title;
+						return;
+					case "turn/start":
+						detail.turnCount += 1;
+						return;
+					case "tool/call":
+						detail.toolCallCount += 1;
+						return;
+					case "user/message": {
+						if ((data.source ?? {}).kind !== "user") {
+							detail.injectedCount += 1;
+							return;
+						}
+						const text = textOf(data.content);
+						if (text === "") return;
+						detail.userMessageCount += 1;
+						push("user", r.time ?? 0, text);
+						return;
+					}
+					case "assistant/message": {
+						const message = data.message ?? {};
+						const source = message.source ?? {};
+						if (typeof source.model === "string") models.add(source.model);
+						const text = textOf(message.content);
+						if (text === "") return;
+						detail.assistantMessageCount += 1;
+						push("assistant", r.time ?? 0, text);
+						return;
+					}
+					default: return;
+				}
+			});
+		} catch (error) {
+			throw verbError("io", error instanceof Error ? `读回收站日志失败：${error.message}` : `读回收站日志失败：${String(error)}`, error);
+		}
+		detail.models = [...models];
+		return detail;
 	};
-	try {
-		await deps.fs.ensureDir(`${deps.home}/session-trash`);
-		await deps.fs.rename(sessionDir, trashDir);
-	} catch (error) {
-		if (workspaceId !== void 0) await deps.host.attach(sessionId, workspaceId).catch(() => {});
-		if (!wasArchived) await deps.host.unarchive(sessionId).catch(() => {});
-		throw verbError("io", `移动会话目录失败：${String(error)}`, error);
-	}
-	try {
-		await deps.manifest.add(entry);
-	} catch (error) {
-		await deps.fs.rename(trashDir, sessionDir).catch(() => {});
-		if (workspaceId !== void 0) await deps.host.attach(sessionId, workspaceId).catch(() => {});
-		if (!wasArchived) await deps.host.unarchive(sessionId).catch(() => {});
-		throw verbError("io", `登记回收站条目失败：${String(error)}`, error);
-	}
-	if (await deps.host.evictLive(sessionId) !== "unknown") await deps.host.announceRemoved(sessionId);
-	return entry;
-}
-/** 把一个**已经搬进去**的成员退回删除前：目录 → 账本 → 可见性 → 清册行 → 通告回来。 */
-async function undoOneIn(deps, entry) {
-	const sessionDir = sessionDirOf(entry.projectDir, entry.sessionId, deps.home);
-	await deps.fs.rename(trashDirOf(entry.id, deps.home), sessionDir).catch(() => {});
-	if (entry.workspaceId !== "") await deps.host.attach(entry.sessionId, entry.workspaceId).catch(() => {});
-	if (!entry.wasArchived) await deps.host.unarchive(entry.sessionId).catch(() => {});
-	await deps.manifest.remove(entry.id).catch(() => {});
-	await deps.host.announceRestored(entry.sessionId).catch(() => {});
 }
 //#endregion
-//#region src/verbs/apply.ts
+//#region src/api/trash-rows.ts
 /**
-* 批量动作（2026-10-17 重构批）：`POST /apply` 的落点——**一组 id 上的同一个动作**。
-*
-* 为什么要这一层：批量恢复 100+ 条的真实成本不在搬文件，在**每条一次的全表读**——旧形状是
-* 浏览器半循环 N 次 HTTP，每次都走「读全量清册 + 预检 + 逐成员通告时再拉一遍宿主会话表」。
-* 这一层把整批抬成一次：清册只读一次、宿主会话表只预取一次、通告一次批量发；
-* 单条动作就是 N=1 的批量，**仓里不再留第二条执行路径**。
-*
-* 三条批量语义（都是接口的一部分，不是实现细节）：
-* ① 输入去重、保持输入顺序（界面上"清单从上往下"的那一份读感）；
-* ② 一条失败不传染下一条——**逐条 try/catch**，失败按 `map-error` 那张表折成信封里的
-*    `{code,message,details?}`；
-* ③ 「已被同批前一条带走」是**幂等成功**，不是失败：恢复一条已经跟着父回来的孩子，
-*    用户要的结果本来就已经达成了（`delete`/`restore` 回 `null`；`purge` 回
-*    `{removed:0,freedBytes:0}`）。
+* 清册那一行 → 线上那一行。**显式字面量、不用 `...row`**：线上形状多一个必填字段时，这里编译不过，
+* 于是"线上多了一格却没人填"不可能悄悄发生（`...row` 会把它带过去，看上去一切正常）。
 */
-function failure(id, action, error) {
-	return {
-		id,
-		action,
-		ok: false,
-		error: toRemoteFailure(error)
-	};
-}
-/** 按动作收窄的成功支（判别联合要的是**字面量**，所以动作参数按 `A` 收，不收成宽化的 `ApplyAction`）。 */
-function success(id, action, value) {
+function toWire(row, readouts) {
 	return {
-		id,
-		action,
-		ok: true,
-		value
+		id: row.id,
+		sessionId: row.sessionId,
+		projectDir: row.projectDir,
+		workspaceId: row.workspaceId,
+		wasArchived: row.wasArchived,
+		deletedAt: row.deletedAt,
+		title: row.title,
+		sizeBytes: row.sizeBytes,
+		releaseBytes: readouts.releaseBytes,
+		...row.parentEntryId === void 0 ? {} : { parentEntryId: row.parentEntryId },
+		...readouts.subagentCount === void 0 ? {} : { subagentCount: readouts.subagentCount },
+		...readouts.subagentBytes === void 0 ? {} : { subagentBytes: readouts.subagentBytes },
+		...readouts.strandedSubagents === void 0 ? {} : { strandedSubagents: readouts.strandedSubagents },
+		...readouts.strandedBytes === void 0 ? {} : { strandedBytes: readouts.strandedBytes },
+		...readouts.workspaceMissing === void 0 ? {} : { workspaceMissing: readouts.workspaceMissing }
 	};
 }
-/** 清册快照里"这条 id 还认得出一个组吗"：父行在、或它是某个还在的父亲的孩子，都算在。 */
-function groupOf(snapshot, id) {
-	const root = snapshot.find((e) => e.id === id);
-	if (root !== void 0) return root.parentEntryId === void 0 ? [root, ...snapshot.filter((e) => e.parentEntryId === id)] : [root];
-	const kids = snapshot.filter((e) => e.parentEntryId === id);
-	return kids.length > 0 ? kids : [];
-}
 /**
-* 「这条是被**同批前一条**带走的，还是整批开始前就没有？」——幂等语义只属于前者。
-* 后来者本来就不在清册里（用户点了条幽灵 id、或对账刚摘掉它），必须照样响亮报 `trash-empty`，
-* 不能被"已被带走"这句话掩盖成一次成功。**所以判据是快照的原始形状，不是当前形状**：
-* 原始快照里认得出（它自己、它的父、或它的孩子任一在），而当前快照里已经空了 ⇒ 同批带走的。
+* 把清册的全部行装配成「一行 = 一组」：孩子折进父那一行、不单独列（宿主的客户端本来就藏孩子，
+* 我们若单列就会冒出一堆点不到的行）；父行不在时孩子自己站出来占一行，否则它既看不见也清不掉。
+* 这些派生值只加在这次回信上，**不落清册**——清册该记的是文件里真有的事实，而"还剩几个孩子"
+* "工作区还在不在"是随盘上随时变的读数。取数失败照抛（响亮失败，不端一份少了这栏的清单当没事发生）。
+*
+* 一组要释放多少、盘上还剩谁**只读计划一处算**（`planVisibleTrash`，与 purge 同一条口径）；
+* 这里不再自己枚举盘上后代，也不碰 `isLive`（活体准入只属于写动词）。
 */
-function takenByEarlierInBatch(original, current, id) {
-	return groupOf(original, id).length > 0 && groupOf(current, id).length === 0;
+async function assembleTrashRows(deps, rows) {
+	const groups = visibleGroups(rows);
+	const [planned, missingByRowId] = await Promise.all([planVisibleTrash(deps, rows, groups), Promise.all(groups.map(async ({ root }) => [root.id, await isWorkspaceMissing(deps.host, root)]))]);
+	const gone = new Map(missingByRowId);
+	return planned.map(({ root, kids, releaseBytes, subagentBytes, strandedCount, strandedBytes }) => toWire(root, {
+		releaseBytes,
+		...kids.length === 0 ? {} : {
+			subagentCount: kids.length,
+			subagentBytes
+		},
+		...strandedCount === 0 ? {} : {
+			strandedSubagents: strandedCount,
+			strandedBytes
+		},
+		...gone.get(root.id) === true ? { workspaceMissing: true } : {}
+	}));
 }
-function applyActions(deps, action, ids) {
-	switch (action) {
-		case "delete": return applyDelete(deps, ids);
-		case "restore": return applyRestore(deps, ids);
-		case "purge": return applyPurge(deps, ids);
-		case "count": return applyCount(deps, ids);
-	}
+//#endregion
+//#region src/api/route-table.ts
+/**
+* **路由表**（ADR-0004）：段名 → `{ 方法, 纯度, body, 处理 }`。一条记录，两个消费者。
+*
+* 此前"同一条请求该过哪几道判断"的知识散在两个函数里：`dispatch()` 里六个 `if` 各调一次
+* `requireMethod`，`purityOf()` 里另一组 `if` 决定"要不要进到达序链"，两处靠**注释**维持一致。
+* 不一致的两种后果都不好在测试里撞见：
+* - 该纯的判成写 ⇒ 一次探测/大正文读/扫描把删除按钮堵在串行链后面；
+* - 该写的判成纯 ⇒ 写动作绕开到达序链，与对账交错，回收站出现"目录在、行是降级元数据"的世界；
+* - body 该读没读 ⇒ 下游拿到 `null`；读了两遍 ⇒ 请求流已被消费（Node 的流只能消费一次）。
+*
+* 为什么这张表**不在** `shared/wire.ts`：处理函数会 import 动词与 `node:fs`，而浏览器半要 import
+* `wire.ts`——值 import 会把 Node 半拖进客户端 bundle，正好撞上 `tsdown` 的纯度门。段名与动作仍住
+* `wire.ts`（两半的共同契约），这张表只回答"怎么处理"。
+*/
+/** 必填的非空字符串字段（缺、空串、类型不对都是**同一句话**：说清是哪个字段）。 */
+function requireString(body, field) {
+	const value = body?.[field];
+	if (typeof value !== "string" || value === "") throw routeError("bad-request", 400, `请求体需带非空字符串字段 ${field}`);
+	return value;
 }
-async function applyDelete(deps, ids) {
-	const run = deleteSession(deps);
-	const outcomes = [];
-	const taken = /* @__PURE__ */ new Set();
-	for (const sessionId of unique(ids)) {
-		if (taken.has(sessionId)) {
-			outcomes.push(success(sessionId, "delete", null));
-			continue;
-		}
-		let members = [];
-		try {
-			const entry = await run(sessionId, { onMembers: (sessionIds) => {
-				members = sessionIds;
-			} });
-			for (const id of members) taken.add(id);
-			outcomes.push(success(sessionId, "delete", entry));
-		} catch (error) {
-			outcomes.push(failure(sessionId, "delete", error));
-		}
-	}
-	return outcomes;
+const APPLY_ACTIONS = Object.keys({
+	delete: true,
+	restore: true,
+	purge: true,
+	count: true,
+	"orphan-clean": true
+});
+/** `/apply` 的动作：认不得的一律点名拒掉，不折成"空批量"糊弄过去。 */
+function requireAction(body) {
+	const value = body?.[PARAMS.action];
+	if (typeof value !== "string" || !APPLY_ACTIONS.includes(value)) throw routeError("bad-request", 400, `批量动作不认识：需是 ${APPLY_ACTIONS.join(" / ")} 之一`);
+	return value;
 }
-async function applyRestore(deps, ids) {
-	const snapshot = await deps.manifest.list();
-	const original = [...snapshot];
-	const run = restoreSession(deps);
-	const outcomes = [];
-	const restored = [];
-	for (const entryId of unique(ids)) {
-		const group = groupOf(snapshot, entryId);
-		if (group.length === 0 && takenByEarlierInBatch(original, snapshot, entryId)) {
-			outcomes.push(success(entryId, "restore", null));
-			continue;
-		}
-		try {
-			const entry = await run(entryId, {
-				snapshot,
-				suppressAnnounce: true
-			});
-			restored.push(...(group.length > 0 ? group : [entry]).map((e) => e.sessionId));
-			for (const member of group.length > 0 ? group : [entry]) {
-				const at = snapshot.indexOf(member);
-				if (at >= 0) snapshot.splice(at, 1);
-			}
-			outcomes.push(success(entryId, "restore", entry));
-		} catch (error) {
-			outcomes.push(failure(entryId, "restore", error));
-		}
-	}
-	if (restored.length > 0) await deps.host.announceRestoredBatch(restored, await deps.host.restoredSummariesOf());
-	return outcomes;
+/** `/apply` 的 id 组：必须是非空字符串数组（空数组不是"什么都不做"，是调用方自己没组好）。 */
+function requireIdArray(body) {
+	const value = body?.[PARAMS.ids];
+	if (!Array.isArray(value) || value.length === 0 || value.some((id) => typeof id !== "string" || id === "")) throw routeError("bad-request", 400, `请求体需带 ${PARAMS.ids}：非空字符串组成的非空数组`);
+	return value;
 }
-async function applyPurge(deps, ids) {
-	const snapshot = await deps.manifest.list();
-	const original = [...snapshot];
-	const run = purgeTrash(deps);
-	const outcomes = [];
-	for (const entryId of unique(ids)) {
-		if (groupOf(snapshot, entryId).length === 0 && takenByEarlierInBatch(original, snapshot, entryId)) {
-			outcomes.push(success(entryId, "purge", {
-				removed: 0,
-				freedBytes: 0
-			}));
-			continue;
-		}
-		try {
-			outcomes.push(success(entryId, "purge", await run(entryId, snapshot)));
-		} catch (error) {
-			outcomes.push(failure(entryId, "purge", error));
+/**
+* 六个段名各一行。`Record<段名, RouteSpec>` 是闸：`wire.ts` 加了段名而这里没加，编译不过。
+*/
+const ROUTE_TABLE = {
+	[ROUTES.list]: {
+		method: "GET",
+		body: "none",
+		purity: "chained",
+		run: async (deps) => assembleTrashRows(deps, await reconcileTrash(deps))
+	},
+	[ROUTES.ping]: {
+		method: "GET",
+		body: "none",
+		purity: "pure",
+		run: async () => "pong"
+	},
+	[ROUTES.orphans]: {
+		method: "GET",
+		body: "none",
+		purity: "pure",
+		run: async (deps) => reportOrphans(await loadOrphanGroups(deps))
+	},
+	[ROUTES.apply]: {
+		method: "POST",
+		body: "json",
+		purity: (body) => body?.[PARAMS.action] === "count" ? "pure" : "chained",
+		run: async (deps, body) => applyActions(deps, requireAction(body), requireIdArray(body))
+	},
+	[ROUTES.empty]: {
+		method: "POST",
+		body: "none",
+		purity: "chained",
+		run: async (deps) => {
+			const rows = await reconcileTrash(deps);
+			return await purgeTrash(deps)(void 0, rows);
 		}
+	},
+	[ROUTES.detail]: {
+		method: "POST",
+		body: "json",
+		purity: "pure",
+		run: async (deps, body) => readTrashDetail(deps)(requireString(body, PARAMS.entryId))
 	}
-	return outcomes;
-}
-/** 删除确认框那句「含 N 个子会话」：一次问完整批（`subagentCounts` 本来就是批量口）。
-*  宿主口缺席时它回 `{}`（这里折成 0）；真读失败则整次调用失败，浏览器半按"读不到"把整句不说。 */
-async function applyCount(deps, ids) {
-	const wanted = unique(ids);
-	const counts = await deps.host.subagentCounts(wanted);
-	return wanted.map((id) => success(id, "count", counts[id] ?? 0));
-}
-/** 去重且保持输入顺序（重复 id 跑第二遍是"幂等成功"的伪装，不该发生）。 */
-function unique(ids) {
-	const seen = /* @__PURE__ */ new Set();
-	const out = [];
-	for (const id of ids) {
-		if (seen.has(id)) continue;
-		seen.add(id);
-		out.push(id);
-	}
-	return out;
+};
+/** 段名 → 那一行；不认识的段名回 `undefined`（调用方抛 404，并带出原路径）。 */
+function routeOf(rest) {
+	return ROUTE_TABLE[rest];
 }
 //#endregion
 //#region src/api/dispatch.ts
@@ -1498,7 +2452,7 @@ const DESKTOP_APP_HOST = "app";
 /**
 * 「这是桌面壳自己的页面吗」。**必须按 `protocol` + `host` 判，不能比 `URL.origin`**：`dsh-app:`
 * 不是 WHATWG 的 special scheme，`new URL('dsh-app://app/').origin` 是字符串 `"null"`（Node 实测），
-* 拿它跟字面量比永远为假 ⇒ 栅栏会把真机上的每一次请求都挡成 403，四个入口一个都不出现。
+* 拿它跟字面量比永远为假 ⇒ 栅栏会把真机上的每一次请求都挡成 403，所有入口一个都不出现。
 *
 * 这个判据为什么不可能被外人伪造：`Origin` 与 `Referer` 都是 forbidden header，网页改不了，
 * 只能是浏览器/壳自己带上；而 `dsh-app://app` 只可能是桌面壳自己的页面。
@@ -1524,10 +2478,9 @@ function writeOk(res, value) {
 /** 失败信封：码与原文都来自 `toRemoteFailure`（本插件唯一的错误映射表）。
 *  **状态语义（2026-10-17 错误面对齐）**：**请求本身不对**不再伪装成 200——请求体不对 400、方法不对 405、
 *  未知路由 404、栅栏拒 403（它们不是"一次办成的操作"，是"这条请求不归我办/你没资格办"）。
-*  **操作失败**仍回 200 + 信封（口径 ③ 不变：盘上没有、原目录已不在、会话在跑……都是办完了才知道的结果）。
-*  浏览器半先解信封再看状态，所以 4xx 上带的信封照样读得出原文；`code` 一律折成 `sessiondelete/io`，
-*  那三个路由标签（`bad-request` / `bad-method` / `not-found-route`）是**抛出处给读代码的人看的站点名**，
-*  不许冒充 §6 的五个动词码上客户端。 */
+*  **操作失败**仍回 200 + 信封。浏览器半先解信封再看状态，所以 4xx 上带的信封照样读得出原文；
+*  `code` 一律折成 `sessiondelete/io`，那三个路由标签（`bad-request` / `bad-method` / `not-found-route`）
+*  是**抛出处给读代码的人看的站点名**，不许冒充 `src/shared/wire.ts` 的五个动词码上客户端。 */
 function writeFailure(res, error, status) {
 	const carried = error?.httpStatus;
 	writeJson(res, status ?? (typeof carried === "number" ? carried : 200), {
@@ -1545,8 +2498,9 @@ function writeFailure(res, error, status) {
 * 壳把 `Origin` 删掉了、只留下 Referer，见 {@link isDesktopShellUrl}）。两者都缺席 = 本机工具 /
 * curl（注释即此承诺）。**恶意网页拿不到 ②③ 里的任何一个**：那两个头都是 forbidden header、
 * 页面伪造不了；而**写口（POST）在任何跨源形态下都必带 Origin** ⇒ 两个头全缺席就等于本机工具。
-* 唯一的缝是跨源 `no-cors` 的 **GET**（Referer 被 `no-referrer` 掐掉、Origin 也不带）——它只够得到
-* 只读的 `list`，而 no-cors 的回包是 opaque、页面读不出内容 ⇒ 不构成泄露。
+* 唯一的缝是跨源 `no-cors` 的 **GET**（Referer 被 `no-referrer` 掐掉、Origin 也不带）——它够得到
+* 那几个 GET（`list` 会先对账写清册，`ping` / `orphans` 才是纯读），而 no-cors 的回包是 opaque、
+* 页面读不出内容 ⇒ 不构成泄露（`orphans` 那份报告也只报数量/字节，不含正文）。
 */
 function isTrustedRequest(req) {
 	if (!LOOPBACK.includes(req.socket.remoteAddress ?? "")) return false;
@@ -1589,120 +2543,20 @@ async function readJsonBody(req) {
 		throw error;
 	}
 }
-/** 必填的非空字符串字段（缺、空串、类型不对都是**同一句话**：说清是哪个字段）。 */
-function requireString(body, field) {
-	const value = body?.[field];
-	if (typeof value !== "string" || value === "") throw routeError("bad-request", 400, `请求体需带非空字符串字段 ${field}`);
-	return value;
-}
-/** `/apply` 的动作：认不得的一律点名拒掉，不折成"空批量"糊弄过去。 */
-const APPLY_ACTIONS = [
-	"delete",
-	"restore",
-	"purge",
-	"count"
-];
-function requireAction(body) {
-	const value = body?.[PARAMS.action];
-	if (typeof value !== "string" || !APPLY_ACTIONS.includes(value)) throw routeError("bad-request", 400, `批量动作不认识：需是 ${APPLY_ACTIONS.join(" / ")} 之一`);
-	return value;
-}
-/** `/apply` 的 id 组：必须是非空字符串数组（空数组不是"什么都不做"，是调用方自己没组好）。 */
-function requireIdArray(body) {
-	const value = body?.[PARAMS.ids];
-	if (!Array.isArray(value) || value.length === 0 || value.some((id) => typeof id !== "string" || id === "")) throw routeError("bad-request", 400, `请求体需带 ${PARAMS.ids}：非空字符串组成的非空数组`);
-	return value;
-}
 function requireMethod(method, want, route) {
 	if (method !== want) throw routeError("bad-method", 405, `方法不允许：${method}（${SESSION_DELETE_API_PREFIX}${route} 需 ${want}）`);
 }
-/**
-* 把清册的全部行装配成「一行 = 一组」：孩子折进父那一行、不单独列（宿主的客户端本来就藏孩子，
-* 我们若单列就会冒出一堆点不到的行）；父行不在时孩子自己站出来占一行，否则它既看不见也清不掉。
-* 这些派生值只加在这次回信上，**不落清册**——清册该记的是
-* 文件里真有的事实，而"还剩几个孩子""工作区还在不在"是随盘上随时变的读数。取数失败照抛（响亮失败，不端一份
-* 少了这栏的清单当没事发生）。
-*/
-async function assembleTrashRows(deps, rows) {
-	const byId = new Map(rows.map((row) => [row.id, row]));
-	const foldedInto = /* @__PURE__ */ new Map();
-	const kidsByParent = /* @__PURE__ */ new Map();
-	for (const row of rows) {
-		if (row.parentEntryId === void 0) continue;
-		const parent = byId.get(row.parentEntryId);
-		if (parent === void 0 || parent.parentEntryId !== void 0) continue;
-		foldedInto.set(row.id, parent.id);
-		const siblings = kidsByParent.get(parent.id);
-		if (siblings === void 0) kidsByParent.set(parent.id, [row]);
-		else siblings.push(row);
-	}
-	const visible = rows.filter((row) => !foldedInto.has(row.id));
-	const [stranded, missingByRowId] = await Promise.all([deps.host.subagentCounts(visible.map((row) => row.sessionId)), Promise.all(visible.map(async (row) => [row.id, await isWorkspaceMissing(deps.host, row)]))]);
-	const gone = new Map(missingByRowId);
-	return visible.map((row) => {
-		const kids = kidsByParent.get(row.id);
-		const left = stranded[row.sessionId];
-		const missing = gone.get(row.id) === true;
-		if (kids === void 0 && left === void 0 && !missing) return row;
-		return {
-			...row,
-			...kids === void 0 ? {} : {
-				subagentCount: kids.length,
-				subagentBytes: kids.reduce((total, kid) => total + kid.sizeBytes, 0)
-			},
-			...left === void 0 ? {} : { strandedSubagents: left },
-			...missing ? { workspaceMissing: true } : {}
-		};
-	});
-}
-/** 路由表：段名 → 一个把「方法 + 预读好的请求体」变成返回值的处理器。动词在每次调用时才取。
-*  `body` 由 {@link purityOf} 读一次交下来——同一条请求的流不能被消费两遍。 */
-async function dispatch(method, rest, body, deps) {
-	if (rest === ROUTES.list) {
-		requireMethod(method, "GET", ROUTES.list);
-		return assembleTrashRows(deps, await reconcileTrash(deps));
-	}
-	if (rest === ROUTES.ping) {
-		requireMethod(method, "GET", ROUTES.ping);
-		return "pong";
-	}
-	if (rest === ROUTES.apply) {
-		requireMethod(method, "POST", ROUTES.apply);
-		return await applyActions(deps, requireAction(body), requireIdArray(body));
-	}
-	if (rest === ROUTES.empty) {
-		requireMethod(method, "POST", ROUTES.empty);
-		return await purgeTrash(deps)();
-	}
-	if (rest === ROUTES.detail) {
-		requireMethod(method, "POST", ROUTES.detail);
-		return await readTrashDetail(deps)(requireString(body, PARAMS.entryId));
-	}
-	throw routeError("not-found-route", 404, `未知路由：${method} ${rest === "" ? SESSION_DELETE_API_PREFIX : rest}`);
+function isPure(purity, body) {
+	return typeof purity === "function" ? purity(body) === "pure" : purity === "pure";
 }
-async function purityOf(req, rest) {
-	if (rest === ROUTES.ping) return {
-		pure: true,
-		body: null
-	};
-	if (rest === ROUTES.detail) return {
-		pure: true,
-		body: await readJsonBody(req)
-	};
-	if (rest !== ROUTES.apply) return {
-		pure: false,
-		body: null
-	};
-	const body = await readJsonBody(req);
-	return {
-		pure: body?.[PARAMS.action] === "count",
-		body
-	};
+function readBodyFor(kind, req) {
+	return kind === "json" ? readJsonBody(req) : null;
 }
 function createApiHandler(deps) {
 	/**
-	* 到达序串行链（文件头 ⑤）：`list`（含对账）与三个写动词一个跑完再放下一个。`tail` 由构造保证
-	* **永不 reject**（每个任务自己的失败留在交回给那次请求的那个 promise 上），所以一次失败不会卡死链。
+	* 到达序串行链（文件头 ⑤）：路由表里 `purity === 'chained'` 的请求一个跑完再放下一个。
+	* `tail` 由构造保证**永不 reject**（每个任务自己的失败留在交回给那次请求的那个 promise 上），
+	* 所以一次失败不会卡死链。
 	*/
 	let tail = Promise.resolve();
 	const throughChain = (task) => {
@@ -1719,9 +2573,12 @@ function createApiHandler(deps) {
 			const url = new URL(req.url ?? "/", "http://dsh.internal");
 			if (!url.pathname.startsWith("/dsh-session-delete-api")) throw routeError("not-found-route", 404, `未知路由：${url.pathname}`);
 			const rest = url.pathname.slice(23);
-			const { pure, body } = await purityOf(req, rest);
-			const task = () => dispatch(req.method ?? "GET", rest, body, deps);
-			writeOk(res, await (pure ? task() : throughChain(task)));
+			const spec = routeOf(rest);
+			if (spec === void 0) throw routeError("not-found-route", 404, `未知路由：${req.method ?? "GET"} ${rest === "" ? SESSION_DELETE_API_PREFIX : rest}`);
+			requireMethod(req.method ?? "GET", spec.method, rest);
+			const body = await readBodyFor(spec.body, req);
+			const task = () => spec.run(deps, body);
+			writeOk(res, await (isPure(spec.purity, body) ? task() : throughChain(task)));
 		} catch (error) {
 			writeFailure(res, error);
 		}
@@ -1769,8 +2626,35 @@ function createFsPort() {
 	};
 }
 //#endregion
+//#region src/ports/home.ts
+/**
+* 宿主数据根。官方解析器在 asar `dsh/node_modules/@deepseek-ai/dsh-home-paths/lib/index.js`：
+* `resolveDshHome(configured, env)` 的优先级 = 显式配置 > `$DSH_HOME`（**空白视为未设**，免得非法覆盖把 home
+* 解析成当前工作目录）> `~/.dsh`，并 `resolve()` 规范化、展开 `~/`。
+*
+* **只镜像后两级，且这与平台的同款设施等价**——"显式配置"那一级对插件**不可得**，三条实证：
+*  ① 平台自己的 helper `dshHomePath(...segments)` 逐字是 `join(resolveDshHome(), ...segments)`，
+*     **同样不传 `configured`**；
+*  ② `ctx.profileContext` 按 launcher 原文只装「profile 位置 / 启动 bundle 名 / 调用覆盖 / 遥测开关」，
+*     里面没有数据根；
+*  ③ 宿主自己的服务也不是"问出来"的——它们各自声明 `Config.dshHome`，由**装配那一行的人**填。
+* ⇒ 后果与边界（判据在 `src/verbs/delete-session.ts` 与 `src/verbs/restore-session.ts` 的预检）：显式配置过的
+* profile 上我们算出的根与宿主不一致 ⇒ 文件探测落空 ⇒ 删除/恢复**响亮拒绝、零副作用**（`not-found` /
+* `trash-empty` / `project-missing`）；**不会**动到别的树（sessions 与回收站同源 ⇒ 同卷）。
+* 本机两条路径都因此对得上：桌面版走 `~/.dsh`（实测 profile 在其下），隔离探针靠 `$DSH_HOME`。
+*
+* `homeDir` 只用于测试注入假主目录；默认值仍是 `homedir()`，行为与搬家前一致。
+*/
+function resolveHome(env = process.env, homeDir = homedir()) {
+	const fromEnv = env.DSH_HOME;
+	const raw = fromEnv !== void 0 && fromEnv.trim().length > 0 ? fromEnv : join(homeDir, ".dsh");
+	if (raw === "~") return homeDir;
+	if (raw.startsWith("~/") || raw.startsWith("~\\")) return resolve(join(homeDir, raw.slice(2)));
+	return resolve(raw);
+}
+//#endregion
 //#region src/trash/manifest.ts
-function createStorageManifest$1(domain) {
+function createStorageManifest(domain) {
 	return {
 		async list() {
 			return (await domain.readAll()).sort((a, b) => b.deletedAt - a.deletedAt);
@@ -1784,30 +2668,8 @@ function createStorageManifest$1(domain) {
 	};
 }
 //#endregion
-//#region src/index.ts
-const name = "@xrn1997/dsh-session-delete";
-/**
-* 插件依赖：**只写字符串数组**（隔离数据根上实测：写成 `{ required, optional }` 会让插件停在
-* `pending (waiting for services: required, optional)`）。
-*
-* 三项都是在隔离数据根上实测注入成功、且本插件真正用到的宿主服务。三个**故意不写**的：
-* - `remote`：那是**浏览器半**的服务（asar `dsh-api-gateway/lib/client.js`：`super(ctx, "remote")`），
-*   Node 半挂的是 `ctx.typertGateway`。把它写进 Node 半的 inject 会让插件永远 pending（同 `slots` 那次的形状）。
-* - `sessions` / `sessionProjectionCache`：前者本实现不用（活跃判据走 waterfall，见设计稿 §5）；后者是**可选**服务，
-*   官方消费方也按可选读（`ctx.get('sessionProjectionCache')?.…`），inject 一个可能没挂的服务 = 整个插件 pending。
-*   它取不到时 `titleOf` 返回空串，正是契约允许的降级。
-*
-* `webServer` 是**浏览器半取数通道的承载者**（那条薄线）：插件用它注册 `/dsh-session-delete-api`
-* 前缀路由，浏览器半同源 fetch 那五个段名。它是宿主 web 组成里的硬依赖（`dsh-host-webserver` 的
-* `super(ctx, "webServer")`），服务名与 `register({kind:'prefix', path, handler})` 的形状按
-* `dsh-host-webserver/lib/index.js` 与 `README.md` 原文读实，不是猜的。
-*/
-const inject = [
-	"workspaceRegistry",
-	"storageDomain",
-	"webServer"
-];
-/** 本插件自己的域（设计稿 §3：介质落在 `~/.dsh/storages/`）。
+//#region src/trash/storage-manifest.ts
+/** 本插件自己的域（CONTEXT.md 的「清册」条：介质落在 `~/.dsh/storages/`）。
 *
 *  **名字必须带插件专属前缀**：domain 名是 `storageDomain` facility 里的**全局键**，而**一个名字在
 *  一个 facility 里只能 `open()` 一次**（句柄归调用方所有）——别人先占了同名域，本插件会**在激活时**
@@ -1835,19 +2697,6 @@ function defineDomain(spec) {
 	for (const table of Object.keys(spec.tables)) if (!UNIT_NAME_RE.test(table)) throw new Error(`domain '${spec.name}' table name '${table}' must match ${UNIT_NAME_RE}`);
 	return spec;
 }
-/** `TrashEntry` 里**每条记录都必须有**的那几格（`src/trash/entry.ts` 接口的非可选字段）。
-*  **可选字段不在这里**：`parentEntryId`（级联那批加的）缺席是合法的——老行没有它，缺了就是"没有父"；
-*  校验器只管这几格的类型，其余键**原样带走**（`parse` 交回的就是 `raw` 本身）⇒ 新字段照旧存得住。 */
-const TRASH_ENTRY_FIELDS = {
-	id: "string",
-	sessionId: "string",
-	projectDir: "string",
-	workspaceId: "string",
-	wasArchived: "boolean",
-	deletedAt: "number",
-	title: "string",
-	sizeBytes: "number"
-};
 /**
 * 回收站清单的域声明。
 *
@@ -1862,7 +2711,7 @@ const trashDomainSpec = defineDomain({
 	invalidRecords: "backup-and-skip",
 	tables: { entries: domainTable({ parse(raw) {
 		if (typeof raw !== "object" || raw === null || Array.isArray(raw)) throw new TypeError("session trash entry record must be a plain object");
-		for (const [field, kind] of Object.entries(TRASH_ENTRY_FIELDS)) if (typeof raw[field] !== kind) throw new TypeError(`session trash entry record field "${field}" must be a ${kind}`);
+		for (const [field, kind] of Object.entries(REQUIRED_ENTRY_FIELDS)) if (typeof raw[field] !== kind) throw new TypeError(`session trash entry record field "${field}" must be a ${kind}`);
 		return raw;
 	} }) }
 });
@@ -1875,7 +2724,7 @@ const trashDomainSpec = defineDomain({
 * **失败不缓存**：`open()` 被拒是瞬态（域被别的持有者占着、装载竞态），把第一次的 rejected promise
 * 缓存起来等于"这个会话永远删不掉"——下一次读会重新走 `open()`，成功才落下活句柄。
 */
-function createStorageManifest(ctx) {
+function createHostStorageManifest(ctx) {
 	const host = ctx;
 	let domain;
 	let opening;
@@ -1893,7 +2742,7 @@ function createStorageManifest(ctx) {
 		}
 		return domain.table("entries");
 	};
-	return createStorageManifest$1({
+	return createStorageManifest({
 		readAll: async () => [...(await table()).entries()].map(([, record]) => record),
 		put: async (record) => {
 			await (await table()).put(record.id, record);
@@ -1903,28 +2752,35 @@ function createStorageManifest(ctx) {
 		}
 	});
 }
+//#endregion
+//#region src/index.ts
+const name = "@xrn1997/dsh-session-delete";
 /**
-* 宿主数据根。官方解析器在 asar `dsh/node_modules/@deepseek-ai/dsh-home-paths/lib/index.js`：
-* `resolveDshHome(configured, env)` 的优先级 = 显式配置 > `$DSH_HOME`（**空白视为未设**，免得非法覆盖把 home
-* 解析成当前工作目录）> `~/.dsh`，并 `resolve()` 规范化、展开 `~/`。
+* 插件依赖：**只写字符串数组**（隔离数据根上实测：写成 `{ required, optional }` 会让插件停在
+* `pending (waiting for services: required, optional)`）。
 *
-* **只镜像后两级，且这与平台的同款设施等价**——"显式配置"那一级对插件**不可得**，三条实证：
-*  ① 平台自己的 helper `dshHomePath(...segments)` 逐字是 `join(resolveDshHome(), ...segments)`，
-*     **同样不传 `configured`**；
-*  ② `ctx.profileContext` 按 launcher 原文只装「profile 位置 / 启动 bundle 名 / 调用覆盖 / 遥测开关」，
-*     里面没有数据根；
-*  ③ 宿主自己的服务也不是"问出来"的——它们各自声明 `Config.dshHome`，由**装配那一行的人**填。
-* ⇒ 后果与边界（设计稿 §5）：显式配置过的 profile 上我们算出的根与宿主不一致 ⇒ 文件探测落空 ⇒
-* 删除/恢复以 `not-found` **响亮拒绝、零副作用**；**不会**动到别的树（sessions 与回收站同源 ⇒ 同卷）。
-* 本机两条路径都因此对得上：桌面版走 `~/.dsh`（实测 profile 在其下），隔离探针靠 `$DSH_HOME`。
+* 三项都是在隔离数据根上实测注入成功、且本插件真正用到的宿主服务。**不进 inject 的**：
+* - `remote`：那是**浏览器半**的服务（asar `dsh-api-gateway/lib/client.js`：`super(ctx, "remote")`），
+*   Node 半挂的是 `ctx.typertGateway`。把它写进 Node 半的 inject 会让插件永远 pending（同 `slots` 那次的形状）。
+* - `sessions` / `sessionProjectionCache`：两者都按 `ctx.get(...)` **可选读**——`sessions` 只给 `evictLive`
+*   用（活跃判据走 waterfall，见 src/ports/host-port.ts；服务缺席回 `unknown`），`sessionProjectionCache` 是标题的尽力读面。
+*   inject 一个可能没挂的服务 = 整个插件 pending。
+*   它取不到时 `titleOf` 返回空串，正是契约允许的降级。
+* - `agents`：只给 handle 捕获用（`ctx.get('agents')`；缺席时 `ctx.inject(['agents'])` 等服务就绪再装）。
+*   它同样可能晚于本插件激活，写进插件 inject 只会让整个插件 pending。
+*
+* `webServer` 是**浏览器半取数通道的承载者**（那条薄线）：插件用它注册 `/dsh-session-delete-api`
+* 前缀路由，浏览器半同源 fetch 那六个段名。它是宿主 web 组成里的硬依赖（`dsh-host-webserver` 的
+* `super(ctx, "webServer")`），服务名与 `register({kind:'prefix', path, handler})` 的形状按
+* `dsh-host-webserver/lib/index.js` 与 `README.md` 原文读实，不是猜的。
+*
+* 清单（storage domain 绑定）与数据根各有一个家：`src/trash/storage-manifest.ts`、`src/ports/home.ts`。
 */
-function resolveHome(env = process.env) {
-	const fromEnv = env.DSH_HOME;
-	const raw = fromEnv !== void 0 && fromEnv.trim().length > 0 ? fromEnv : join(homedir(), ".dsh");
-	if (raw === "~") return homedir();
-	if (raw.startsWith("~/") || raw.startsWith("~\\")) return resolve(join(homedir(), raw.slice(2)));
-	return resolve(raw);
-}
+const inject = [
+	"workspaceRegistry",
+	"storageDomain",
+	"webServer"
+];
 /**
 * 装配顺序：**清单 → 端口 → 动词依赖 → 前缀路由**（`DeleteDeps` 就是前两者的合一）。
 *
@@ -1936,7 +2792,7 @@ function apply(ctx) {
 	const deps = {
 		fs: createFsPort(),
 		host: createHostPort(ctx),
-		manifest: createStorageManifest(ctx),
+		manifest: createHostStorageManifest(ctx),
 		home: resolveHome(),
 		now: () => Date.now()
 	};
@@ -1953,4 +2809,4 @@ function apply(ctx) {
 	}, "session-delete: /dsh-session-delete-api routes");
 }
 //#endregion
-export { apply, createStorageManifest, inject, name };
+export { apply, inject, name };