@xrn1997/dsh-session-delete 0.3.1 → 0.4.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (64) hide show
  1. package/README.md +20 -14
  2. package/lib/client.js +1686 -1053
  3. package/lib/index.js +1387 -771
  4. package/lib/types/api/attachment-orphans.d.ts +11 -0
  5. package/lib/types/api/attachment.d.ts +23 -0
  6. package/lib/types/api/dispatch.d.ts +9 -29
  7. package/lib/types/api/request-trust.d.ts +45 -0
  8. package/lib/types/api/route-table.d.ts +28 -14
  9. package/lib/types/client/attachment-view.d.ts +27 -0
  10. package/lib/types/client/batch-bar.d.ts +1 -1
  11. package/lib/types/client/batch-confirm.d.ts +2 -2
  12. package/lib/types/client/batch-menu-item.d.ts +1 -1
  13. package/lib/types/client/batch-select.d.ts +1 -1
  14. package/lib/types/client/confirm-close.d.ts +11 -0
  15. package/lib/types/client/copy.d.ts +48 -38
  16. package/lib/types/client/delete-confirm.d.ts +0 -2
  17. package/lib/types/client/main-view.d.ts +1 -1
  18. package/lib/types/client/maintenance-parts.d.ts +25 -0
  19. package/lib/types/client/maintenance-settings.d.ts +22 -0
  20. package/lib/types/client/markdown.d.ts +9 -1
  21. package/lib/types/client/orphan-maintenance.d.ts +29 -11
  22. package/lib/types/client/receipt.d.ts +42 -2
  23. package/lib/types/client/remote.d.ts +32 -48
  24. package/lib/types/client/trash-confirm.d.ts +2 -15
  25. package/lib/types/client/trash-panel.d.ts +4 -3
  26. package/lib/types/client/ui/Checkbox.d.ts +1 -1
  27. package/lib/types/client/ui/Modal.d.ts +2 -2
  28. package/lib/types/client/ui/icons.d.ts +6 -11
  29. package/lib/types/client/ui/top-layer.d.ts +10 -0
  30. package/lib/types/client/undo-notices.d.ts +52 -0
  31. package/lib/types/client/undo-toast.d.ts +5 -59
  32. package/lib/types/client/use-column-resize.d.ts +9 -20
  33. package/lib/types/client/use-maintenance.d.ts +45 -0
  34. package/lib/types/client/use-panel-width.d.ts +1 -1
  35. package/lib/types/client/use-trash-panel-controller.d.ts +24 -7
  36. package/lib/types/client/use-trash-query.d.ts +35 -32
  37. package/lib/types/client/write-seats.d.ts +5 -13
  38. package/lib/types/client/write-settlement.d.ts +10 -16
  39. package/lib/types/client/write.d.ts +8 -5
  40. package/lib/types/deps.d.ts +18 -7
  41. package/lib/types/index.d.ts +6 -2
  42. package/lib/types/log/session-log.d.ts +4 -3
  43. package/lib/types/log/zstd-frames.d.ts +14 -8
  44. package/lib/types/ports/agent-handles.d.ts +1 -1
  45. package/lib/types/ports/connection-port.d.ts +33 -0
  46. package/lib/types/ports/fs-port.d.ts +13 -1
  47. package/lib/types/ports/host-port.d.ts +17 -45
  48. package/lib/types/ports/presence-port.d.ts +22 -0
  49. package/lib/types/shared/wire.d.ts +70 -26
  50. package/lib/types/trash/attachments.d.ts +85 -0
  51. package/lib/types/trash/detail.d.ts +28 -8
  52. package/lib/types/trash/entry.d.ts +3 -3
  53. package/lib/types/trash/groups.d.ts +4 -11
  54. package/lib/types/trash/storage-manifest.d.ts +1 -1
  55. package/lib/types/verbs/delete-session.d.ts +2 -2
  56. package/lib/types/verbs/errors.d.ts +2 -0
  57. package/lib/types/verbs/live-admission.d.ts +4 -7
  58. package/lib/types/verbs/member-journal.d.ts +3 -4
  59. package/lib/types/verbs/member-presence.d.ts +14 -37
  60. package/lib/types/verbs/orphan-subagents.d.ts +9 -8
  61. package/lib/types/verbs/permanent-removal.d.ts +24 -18
  62. package/lib/types/verbs/purge-trash.d.ts +8 -3
  63. package/lib/types/verbs/restore-session.d.ts +7 -13
  64. package/package.json +2 -1
package/lib/index.js CHANGED
@@ -1,24 +1,15 @@
1
+ import path, { join, resolve } from "node:path";
1
2
  import zlib from "node:zlib";
2
3
  import { existsSync } from "node:fs";
3
- import { mkdir, readFile, readdir, rename, rm, stat } from "node:fs/promises";
4
- import { join, resolve } from "node:path";
4
+ import { mkdir, readFile, readdir, realpath, rename, rm, stat } from "node:fs/promises";
5
5
  import { homedir } from "node:os";
6
6
  //#region src/shared/wire.ts
7
7
  /**
8
- * 跨半 wire 契约:`/dsh-session-delete-api` 的**前缀、六个端点段、请求字段名**——
9
- * Node 半(`src/api/dispatch.ts` 注册并分发)与浏览器半(`src/client/remote.ts` 同源 fetch)
10
- * 之间唯一的那份真相。两侧都 import 它,不各写一份字面量。
11
- *
12
- * 两条构建期硬约束(不是偏好):
13
- * ① tsdown 的浏览器半纯度门拦 Node 内建与平台模块表外的 `@deepseek-ai/*` 值 import——
14
- * 本文件两者都不涉及,且**零运行时依赖**(client 半把它整个 inline 进 bundle);
15
- * ② 跨插件一律 `import type`——本文件干脆没有 import。
16
- *
17
- * 信封(`RemoteResult`)与失败形状(`RemoteFailure`)也在这里——**因为它们本来就是两半的共同契约**:
18
- * Node 半按它产出(`src/api/dispatch.ts` 的失败支就是 `RemoteFailure` 那三件),浏览器半按它判别
19
- * (`src/client/remote.ts` 的 `unwrapRemoteResult` / `failureOf`)。形状取自宿主网关客户端面的原文
20
- * 「每次 unary 调用 resolve 成 RemoteResult、不为载体问题 reject」,但**它是本仓自己的 wire 契约**,
21
- * 不是对宿主模块的 import。
8
+ * 跨半 wire 契约:前缀、九个端点、请求/响应形状与失败码。
9
+ * Node 半(src/api/dispatch.ts)与浏览器半(src/client/remote.ts)共用这一份,不各写字面量。
10
+ *
11
+ * 构建约束:本文件零运行时依赖、无 import;浏览器半把整个文件 inline 进 bundle。
12
+ * 信封 {ok:true,value} / {ok:false,error:{code,message,details?}} 也是两半的共同契约。
22
13
  */
23
14
  /**
24
15
  * 插件专属前缀。
@@ -28,15 +19,18 @@ import { homedir } from "node:os";
28
19
  * 撞了就是整棵插件树 boot 失败——所以这条路径是与生态的硬边界,不是显示好不好看的问题。
29
20
  */
30
21
  const SESSION_DELETE_API_PREFIX = "/dsh-session-delete-api";
31
- /** 六个段名(相对前缀)。2026-10-17 批量重构:写动词从「一条一段」收成**一段 `/apply`**——
32
- * 一次 HTTP 带一组 id、逐条回结果;单条就是长度为 1 的批量,仓里不再留第二条执行路径。
33
- * - `GET /list`:**对账并读**清单(`session-trash/` 里的目录是准)。
34
- * - `GET /ping`:最便宜的在/不在(不碰清册、不碰盘、不进链)——客户端探测用它,不用一次全表读。
35
- * - `POST /detail`:单条详情(用 POST 表达一个读:判据就写在 `src/api/route-table.ts` 那一行的上方)。
22
+ /** 九个段名(相对前缀)。写动作统一走一段 `/apply`:一次 HTTP 带一组 id、逐条回结果;
23
+ * 单条就是长度为 1 的批量,仓里不留第二条执行路径。
24
+ * - `GET /list`:对账并读清单(`session-trash/` 里的目录是准)。
25
+ * - `GET /ping`:最便宜的在/不在(不碰清册、不碰盘、不进链),供客户端探测。
26
+ * - `POST /detail`:单条详情(用 POST 表达一个读,判据在 `src/api/route-table.ts`)。
36
27
  * - `POST /apply`:批量执行一个动作(`delete` / `restore` / `purge` / `count` / `orphan-clean`),逐条回 `ApplyOutcome`。
37
- * - `POST /empty`:清空回收站(聚合回执,**不**按条回)。
38
- * - `GET /orphans`:无主子会话的扫描报告(纯读,2026-10-19)。**清理不在这里**——它是 `/apply` 的
39
- * 第五个动作,这一段只负责"有多少、在哪、多大"。 */
28
+ * - `POST /empty`:清空回收站(聚合回执,不按条回)。
29
+ * - `GET /orphans`:无主子会话的扫描报告(纯读)。清理是 `/apply` 的第五个动作,
30
+ * 这一段只负责"有多少、在哪、多大"。
31
+ * - `GET /attachment`:附件原始字节(全仓唯一的二进制响应段;失败仍回 JSON 信封)。
32
+ * - `GET /attachment-orphans`:无引用图片对象的扫描报告(纯读;数量/字节 + 供预览的对象清单)。
33
+ * - `POST /attachment-clean`:清掉报告那一刻无引用的图片对象(聚合回执 `AttachmentCleanupWire`)。 */
40
34
  const ROUTES = {
41
35
  list: "/list",
42
36
  /** 通道的"在不在"专用:没有入参、没有副作用、没有磁盘读。 */
@@ -48,13 +42,23 @@ const ROUTES = {
48
42
  /** 清空回收站。 */
49
43
  empty: "/empty",
50
44
  /** 纯读:扫描回收站之外的无主子会话(父已不在语料/清册)。 */
51
- orphans: "/orphans"
45
+ orphans: "/orphans",
46
+ /** 附件字节(图片/普通文件):全仓唯一的二进制响应段,读的是宿主附件库。 */
47
+ attachment: "/attachment",
48
+ /** 纯读:扫全部引用源与附件库 `objects`,报无引用图片的数量、字节与预览清单。 */
49
+ attachmentOrphans: "/attachment-orphans",
50
+ /** 聚合清理:只删 `objects` 下无引用的图片,回 `AttachmentCleanupWire`。 */
51
+ attachmentClean: "/attachment-clean"
52
52
  };
53
- /** 请求体字段名:浏览器半发、Node 半读,同名同义(`empty` 没有入参)。 */
53
+ /** 请求参数名:浏览器半发、Node 半读,同名同义(`empty` 没有入参)。
54
+ * 附件段是 **query 参数**(GET 二进制响应,没有请求体)。 */
54
55
  const PARAMS = {
55
56
  entryId: "entryId",
56
57
  action: "action",
57
- ids: "ids"
58
+ ids: "ids",
59
+ attachmentId: "id",
60
+ attachmentKind: "kind",
61
+ attachmentName: "name"
58
62
  };
59
63
  /**
60
64
  * 进程内判别「这已经是一次失败」——**按标记位认,不按 `instanceof`**(跨 realm / 跨 bundle 都不成立)。
@@ -110,9 +114,6 @@ function verbCodeOf(error) {
110
114
  const TRASH_DIR_NAME = "session-trash";
111
115
  //#endregion
112
116
  //#region src/remote/map-error.ts
113
- /** 插件专属远程域名(src/shared/wire.ts):与宿主官方域(`workspace/*`、`session/*`、`gateway/*`…)不重名。
114
- * 字面量的家在 `shared/wire.ts`(ADR-0003)——浏览器半也按同一个域认码。 */
115
- const DOMAIN = SESSION_DELETE_ERROR_DOMAIN;
116
117
  /** 宿主两条类型化错误 → 我们的码(本文件的两行映射)。
117
118
  * 类不可 import(跨插件值 import 是红线;且宿主包与运行中的宿主不同代)⇒ 按官方构造器写死的 `this.name` 认。
118
119
  * 证据:asar `dsh/node_modules/@deepseek-ai/dsh-workspace/lib/index.js` 原文
@@ -214,12 +215,12 @@ function toRemoteFailure(error) {
214
215
  const host = hostErrorOf(error);
215
216
  const own = detailsOf(error) ?? (host === void 0 ? void 0 : detailsOf(host));
216
217
  if (host === void 0 && fromVerb === void 0 && typeof raw === "string" && raw.includes("/")) return {
217
- code: `${DOMAIN}/io`,
218
+ code: SESSION_DELETE_CODES.io,
218
219
  message: messageOf(error)
219
220
  };
220
221
  const code = host !== void 0 ? HOST_ERROR_CODE[host.name] : fromVerb ?? "io";
221
222
  return {
222
- code: `${DOMAIN}/${code}`,
223
+ code: SESSION_DELETE_CODES[code],
223
224
  message: messageOf(error),
224
225
  ...own === void 0 ? {} : { details: own }
225
226
  };
@@ -235,6 +236,10 @@ function verbError(code, message, cause, details) {
235
236
  if (details !== void 0) e.details = details;
236
237
  return e;
237
238
  }
239
+ /** `trash-empty` 的原文:有具体条目就点名那个 id,拿不到时只报通用那句。 */
240
+ function trashEmpty(entryId) {
241
+ return verbError("trash-empty", entryId === void 0 ? "回收站里没有这一条" : `回收站里没有这一条:${entryId}`);
242
+ }
238
243
  /** 路由自检用的失败:带 HTTP 状态语义,**不**冒充五个动词码。 */
239
244
  function routeError(code, httpStatus, message) {
240
245
  const e = verbError("io", message);
@@ -265,6 +270,90 @@ function withRollbackFailures(error, failures) {
265
270
  return verbError(code, base.includes(";回滚未完成:") ? extra.length > 0 ? `${base};${extra.join(";")}` : base : `${base};回滚未完成:${merged.join(";")}`, error, { rollbackFailures: merged });
266
271
  }
267
272
  //#endregion
273
+ //#region src/api/request-trust.ts
274
+ /** 桌面壳那条路(asar `/lib/main.js` 的 `forwardWebRequest`):渲染进程从 `dsh-app://app/` 加载,
275
+ * 转发前把 `host` / `origin` / `cookie` / `sec-fetch-site` 删掉、换上一枚宿主自己的 cookie,
276
+ * `Referer` 保留。判据按 `protocol` + `host` 比,**不能比 `URL.origin`**(`dsh-app:` 不是 WHATWG
277
+ * special scheme,`new URL('dsh-app://app/').origin` 是字符串 `"null"`)。 */
278
+ const DESKTOP_APP_SCHEME = "dsh-app:";
279
+ const DESKTOP_APP_HOST = "app";
280
+ /** 回环 socket 的三种写法(IPv4 / IPv6 / IPv4-mapped IPv6)。 */
281
+ const LOOPBACK_SOCKETS = [
282
+ "127.0.0.1",
283
+ "::1",
284
+ "::ffff:127.0.0.1"
285
+ ];
286
+ function isDesktopShellUrl(value) {
287
+ try {
288
+ const url = new URL(value);
289
+ return url.protocol === DESKTOP_APP_SCHEME && url.host === DESKTOP_APP_HOST;
290
+ } catch {
291
+ return false;
292
+ }
293
+ }
294
+ /** 裸 authority(`host` / `host:port`)按给定 scheme 解析;解析不了回 `undefined`。 */
295
+ function parseAuthority(authority, scheme = "http:") {
296
+ try {
297
+ return new URL(`${scheme}//${authority}`);
298
+ } catch {
299
+ return;
300
+ }
301
+ }
302
+ /** 与宿主 `isLoopbackHostname` 同口径:`localhost`、`[::1]`、任意 127/8。 */
303
+ function isLoopbackHostname(hostname) {
304
+ if (hostname === "localhost" || hostname === "[::1]") return true;
305
+ const parts = hostname.split(".");
306
+ return parts.length === 4 && parts[0] === "127" && parts.every((part) => /^\d{1,3}$/.test(part) && Number(part) <= 255);
307
+ }
308
+ /** Host 是不是本部署的 bind 字面量:忽略端口与 `%zone`(zone 是接口选择器,不是地址文本)。 */
309
+ function isBindAddress(hostUrl, bindHost) {
310
+ if (bindHost === void 0) return false;
311
+ const zoneAt = bindHost.indexOf("%");
312
+ const address = zoneAt === -1 ? bindHost : bindHost.slice(0, zoneAt);
313
+ const bindUrl = parseAuthority(address.includes(":") ? `[${address}]` : address);
314
+ return bindUrl !== void 0 && bindUrl.hostname === hostUrl.hostname;
315
+ }
316
+ /** 携带 authority 的头(Origin / Referer)是否与 Host 同 authority:按这个头自己的 scheme 归一
317
+ * 默认端口(`http://x:80` 与 Host `x` 是同一个 authority)。 */
318
+ function isSameAuthority(value, hostHeader) {
319
+ let url;
320
+ try {
321
+ url = new URL(value);
322
+ } catch {
323
+ return false;
324
+ }
325
+ const scheme = url.protocol === "https:" ? "https:" : url.protocol === "http:" ? "http:" : void 0;
326
+ if (scheme === void 0) return false;
327
+ const hostUrl = parseAuthority(hostHeader, scheme);
328
+ return hostUrl !== void 0 && url.host === hostUrl.host;
329
+ }
330
+ /** 头栅栏:`sec-fetch-site` / Origin / Referer 三条,任何客户端都要过。 */
331
+ function passesHeaderFence(headers, host) {
332
+ if (headers["sec-fetch-site"] === "cross-site") return false;
333
+ const origin = headers.origin;
334
+ if (origin !== void 0 && !isDesktopShellUrl(origin) && !isSameAuthority(origin, host)) return false;
335
+ const referer = headers.referer;
336
+ if (referer !== void 0 && !isDesktopShellUrl(referer) && !isSameAuthority(referer, host)) return false;
337
+ return true;
338
+ }
339
+ /**
340
+ * 这条请求归不归本插件办。`untrusted` = 归属不对(跨源 / 重绑 / 头不成形);`unauthenticated` =
341
+ * 归属对但远程客户端没带宿主身份(原文会提示用 `dsh web` 打印的 URL 打开)。
342
+ *
343
+ * 远程支的两个失败裁决由端口翻译宿主的区分(401 = 缺身份、403 = 归属不对)。身份层缺席(端口报
344
+ * `absent`)一律按归属不对处理:那时没有可换的身份,不能让原文提示用户去补一个不存在的东西。
345
+ */
346
+ function judgeRequest(req, facts) {
347
+ const host = req.headers.host;
348
+ if (host === void 0 || !passesHeaderFence(req.headers, host)) return "untrusted";
349
+ const hostUrl = parseAuthority(host);
350
+ if (hostUrl === void 0) return "untrusted";
351
+ if ((isLoopbackHostname(hostUrl.hostname) || isBindAddress(hostUrl, facts.bindHost)) && LOOPBACK_SOCKETS.includes(req.socket.remoteAddress ?? "")) return "allowed";
352
+ const verdict = facts.connection.verdictFor(req);
353
+ if (verdict.kind === "allowed") return "allowed";
354
+ return verdict.kind === "unauthenticated" ? "unauthenticated" : "untrusted";
355
+ }
356
+ //#endregion
268
357
  //#region src/ports/agent-handles.ts
269
358
  const CAPTURED_AGENT_HANDLES = Symbol.for("dsh-session-delete.captured-agent-handles");
270
359
  /** 在 `ctx.agents` 上包一层 `resume` / `create`,把返回的 agent handle 的 dispose 按会话 id 记下。
@@ -351,16 +440,11 @@ async function filterChildrenOf(sessionQuery, values) {
351
440
  }]);
352
441
  }
353
442
  /**
354
- * 从若干根出发**逐层往下**把盘上的后代问出来,交回 `父(bare)→ 孩子` 的索引。
355
- *
356
- * 为什么一次问一层而不是官方的 `traceSession`:那条在父已经进回收站时认不出目标
357
- * (`SESSION_QUERY_SESSION_NOT_FOUND`),而我们要的那批正是"父已经不在宿主列表里之后还剩在盘上的"。
358
- * `kind:'parent'` 是唯一能按 `header.parentSession` 反着问的一支。
359
- *
360
- * 停下来的条件与代价:**层数**决定宿主调用次数,行数不参与(一层一次,问空即停)。同一条记录只收一次
361
- * (`seen` 连着根一起记),所以数据里真出现环时结果是"少数一条",不是把清单读挂死。
362
- * 交回的 id 没有 `header.id` 的记录**整条跳过**——身份冒充不起(同 {@link HostCorpusPort.subagentMembersOf} 那条),
363
- * 而且没有身份就没法往下问,硬数进去只会让它将来被重复计。
443
+ * 从若干根逐层向下问出后代,交回 `父(bare)→ 孩子` 的索引。
444
+ * 用 `kind:'parent'` 而不是 traceSession:父进回收站后 traceSession 认不出目标(宿主失败码
445
+ * `SESSION_QUERY_SESSION_NOT_FOUND`),而这里要的正是父不在宿主列表之后仍留在盘上的那批。
446
+ * 出处:asar `dsh-session-query/lib/index.js` 的 `filterSessions`。一层一次宿主调用,问空即停;
447
+ * `seen` 防环;没有 `header.id` 的记录整条跳过(无法作为身份继续下问)。
364
448
  */
365
449
  async function descendantsByParent(sessionQuery, roots) {
366
450
  const children = /* @__PURE__ */ new Map();
@@ -428,29 +512,14 @@ async function membersFor(sessionQuery, parentIds) {
428
512
  for (const id of wanted) out[id] = subtreeOf(children, bareSessionId(id));
429
513
  return out;
430
514
  }
431
- /** 无 cwd 的会话落在 `<sessions>/_no-cwd/`(asar `dsh-session-persistence-jsonl/lib/index.js`
432
- * 的 `projectDir(root, cwd)`:`if (cwd === void 0) return join(root, "_no-cwd");`)。
433
- * `projectDirOf` 与回收站对账(`src/trash/reconcile.ts` 重建条目)共用这一个字面量。 */
515
+ /** 无 cwd 的会话落在 `_no-cwd/`;`projectDirOf` 与回收站对账共用这个字面量。
516
+ * 出处:asar `dsh-session-persistence-jsonl/lib/index.js` 的 `projectDir`(`if (cwd === void 0) return join(root, "_no-cwd");`)。 */
434
517
  const NO_CWD_PROJECT_DIR = "_no-cwd";
435
- /**
436
- * 宿主的**项目目录名**算法(`projectKey`)逐字镜像。
437
- *
438
- * 为什么是镜像而不是 import:它在 `@deepseek-ai/dsh-session-persistence-jsonl` 里面,是**宿主包**,
439
- * 跨插件值 import 是生态红线,它也不在本插件依赖里;宿主没有把这个名字暴露成任何服务
440
- * (`stat()`/`list()` 的返回只有 `{header, revision, sizeBytes}`,`locate()` 的 `{kind:'jsonl', path}` 只挂在错误上)。
441
- *
442
- * 原文(asar `dsh/node_modules/@deepseek-ai/dsh-session-persistence-jsonl/lib/index.js`):
443
- * `function projectKey(cwd) { … if (ch === "/" || ch === "\\" || ch === ":") { if (!separatorRun) readable += "-"; separatorRun = true; }
444
- * else if (ch !== "~" && /^[A-Za-z0-9._-]$/.test(ch)) { readable += ch; separatorRun = false; }
445
- * else { readable += "~" + code.toString(16).toUpperCase().padStart(4, "0"); separatorRun = false; }
446
- * return \`--${(readable.replace(/^-+/, "") || "root").slice(0, 251)}--\`; }`
447
- * 调用链:`locate(meta)` → `logPath(root, meta.cwd, meta.id, …)` → `projectDir(root, cwd)` → `projectKey(cwd)`。
448
- * 本机实测对得上:`D:/develop/GitHub/dsh-session-delete` → `--D-develop-GitHub-dsh-session-delete--`
449
- * (`~/.dsh/sessions` 下真有这个目录名;`D:/document/deepseek-harness/default-workspace` 同理)。
450
- *
451
- * **两个调用方共用这一份**:`projectDirOf`(删除时定位会话目录)与回收站对账的重建路径
452
- * (手工放进回收站的目录,从日志 header 的 `cwd` 反推它原本属于哪个项目目录)——算法只有这一处家。
453
- */
518
+ /** 宿主 `projectKey(cwd)` 的逐字镜像:跨插件不能 import,宿主也没把它暴露成服务。
519
+ * 出处:asar `dsh-session-persistence-jsonl/lib/index.js` 的 `projectKey`;调用链
520
+ * `locate` → `logPath` → `projectDir` → `projectKey`。本机实测 `D:/develop/GitHub/dsh-session-delete`
521
+ * → `--D-develop-GitHub-dsh-session-delete--`。`projectDirOf` 与回收站对账重建共用这一份;
522
+ * 宿主换代先复核算法。 */
454
523
  function projectKey(cwd) {
455
524
  let readable = "";
456
525
  let separatorRun = false;
@@ -477,17 +546,10 @@ function projectionCacheOf(ctx) {
477
546
  if (typeof cache.cachedSnapshot !== "function" || typeof cache.cachedPredecessorTitle !== "function") return void 0;
478
547
  return cache;
479
548
  }
480
- /**
481
- * 「账本里没有这个会话」的判别串——宿主 `readSessionHeader(id)` 对未知会话抛的是**裸 `Error`**
482
- * (没有类型、没有码),只认这一句。asar `dsh-workspace/lib/types/index.js` 原文(逐字):
483
- * `throw new Error(\`cannot validate session '${id}': session persistence holds no such session\`)`。
484
- *
485
- * 为什么按消息判而不是全吞:同一个方法里 `listStoredHeaders()` / `indexHeaders()` 会抛**真存储故障**
486
- * (读盘失败、账本不一致…),那是 `io` 该走的路,绝不能被当成「无此会话」。
487
- * 同文件另一处近似句是有类型的那条(`cannot ${verb} session '…': live sessions and session persistence
488
- * hold no such session`,`WorkspaceUnknownSessionError`)——`holds` 与 `hold`、有无 `live sessions and`
489
- * 都不相同,所以这条串不会误伤它,`toRemoteFailure` 的 cause 链映射仍按 `name` 走。
490
- */
549
+ /** 宿主 `readSessionHeader` 对未知会话抛的是裸 `Error`,只认这句;真存储故障照抛,不能折成未命中。
550
+ * 出处:asar `dsh-workspace/lib/types/index.js` 的
551
+ * `cannot validate session '${id}': session persistence holds no such session`。
552
+ * 同文件有类型的近似句是 `WorkspaceUnknownSessionError`(`hold` 无 `s`),不会误伤。 */
491
553
  const NO_SUCH_SESSION = "session persistence holds no such session";
492
554
  /** 只认上面那一句;其余(含非 Error 抛出物)一律**不算未命中**。 */
493
555
  function isUnknownSession(error) {
@@ -528,13 +590,8 @@ const WORKSPACE_MISSING_MESSAGE = "workspace not found";
528
590
  function isWorkspaceMissingError(error) {
529
591
  return error instanceof Error && error.message.startsWith(WORKSPACE_MISSING_MESSAGE);
530
592
  }
531
- /**
532
- * 宿主服务层的**真实绑定**:各方法把动词层的问题翻成宿主官方服务的调用。
533
- *
534
- * 每个方法的依据(服务 / 方法 / 入参)与原文切片见各自的实现处注释。
535
- * 出错一律**原样抛**(不在这里裹动词码):动词层把原始错误挂在 `cause` 上,
536
- * `toRemoteFailure` 再按 `name` 把它映射回 `sessiondelete/<码>`(src/remote/map-error.ts 的两行映射)。
537
- */
593
+ /** 宿主服务的真实绑定;出错原样抛,由 `toRemoteFailure` 按 name 映射。
594
+ * 各方法调用的服务与方法见上方成员注释;错误映射表住 `src/remote/map-error.ts`。 */
538
595
  function createHostPort(ctx) {
539
596
  const host = ctx;
540
597
  const registry = host.workspaceRegistry;
@@ -550,14 +607,9 @@ function createHostPort(ctx) {
550
607
  return registry.get(workspaceId) !== void 0;
551
608
  },
552
609
  /**
553
- * 原生 cwd → 宿主项目目录名(`projectKey`);没有 cwd 时按宿主约定落到 `_no-cwd`。
554
- *
555
- * 「账本里没有这个会话」= **未命中**,回 `undefined`(不是抛):这正是本方法声明的类型,
556
- * 也是 `delete-session.ts` 已经写好的那条分支 `if (!projectDir) throw
557
- * verbError('not-found', …)` 的入口。若让它裸抛,那句话永远为假 ⇒ src/shared/wire.ts 的 `not-found`
558
- * (「会话目录或账本条目不存在」)在这条最自然的路径上拿不到码,客户端只会看到 `sessiondelete/io`。
559
- *
560
- * **只吞这一种**:其余错误(真存储故障)照抛,让 `toRemoteFailure` 兜成 `io` 而不是假 `not-found`。
610
+ * cwd → 宿主项目目录名;没有 cwd 落到 `_no-cwd`。
611
+ * 账本里没有这个会话回 `undefined`(未命中,不是故障);真存储故障照抛。
612
+ * 未命中由 `delete-session.ts` 折成 `not-found`,真故障留 `io`——两者不能混。
561
613
  */
562
614
  async projectDirOf(sessionId) {
563
615
  let header;
@@ -569,12 +621,7 @@ function createHostPort(ctx) {
569
621
  }
570
622
  return header.cwd === void 0 ? NO_CWD_PROJECT_DIR : projectKey(header.cwd);
571
623
  },
572
- /**
573
- * 标题:走官方**投影缓存**读面(`title` 投影单元的 `wire.view` 值就是标题文本本身:
574
- * 单元定义原文 `{ key: "title", stateVersion: 1, wire: { view: (state) => state } }`,
575
- * 所以 `values.title` 是 `string | null`)。
576
- * 契约:**尽力取、取不到返回空串、绝不因此让删除失败** ⇒ 这里吞掉一切异常。
577
- */
624
+ /** 标题走宿主投影缓存;尽力取,取不到返回空串,绝不因此让删除失败。 */
578
625
  async titleOf(sessionId) {
579
626
  try {
580
627
  const header = await registry.readSessionHeader(sessionId);
@@ -585,12 +632,8 @@ function createHostPort(ctx) {
585
632
  return "";
586
633
  }
587
634
  },
588
- /**
589
- * 活跃判据 = 宿主官方那一条(本文件):`workspace/session-activity` waterfall 问一次,
590
- * **空数组 = 无活动**;与宿主自己的 `archiveSession` 准入同源,不自创第二套。
591
- * asar 原文:`const activity = await this.ctx.waterfall('workspace/session-activity', { sessionId }, () => Promise.resolve([]));
592
- * if (activity.length > 0) throw new WorkspaceActiveSessionError(sessionId, activity);`
593
- */
635
+ /** 活跃判据走宿主 `workspace/session-activity` waterfall:空数组 = 无活动;
636
+ * 与宿主 archiveSession 的准入同源。 */
594
637
  async isLive(sessionId) {
595
638
  return (await host.waterfall("workspace/session-activity", { sessionId }, () => Promise.resolve([]))).length > 0;
596
639
  },
@@ -599,25 +642,15 @@ function createHostPort(ctx) {
599
642
  return registry.archivedSessionIds.includes(sessionId);
600
643
  },
601
644
  /**
602
- * 从 `ctx.sessions`(live store)里摘掉会话,并把它的 **agent 一起关掉**(有捕获 handle 时)。
603
- *
604
- * **为什么需要**:会话列表读面是并集——`sessionQuery.listSessions()` = 磁盘上的持久化 ∪ `ctx.sessions` 里的活体
605
- * (见本文件的「通告」一段)。搬走文件只清掉一侧;本机运行期打开过的会话是活体,列表照样把它交出来。
645
+ * 从 `ctx.sessions` 摘掉会话,并关闭捕获到的 agent handle。
606
646
  *
607
- * **agent 也必须关**:`ctx.agents` 没有 per-agent dispose;宿主 `AgentService.resume` / `create` 返回的
608
- * `AgentHandle` 带宿主自己的外层 teardown(关写句柄、摘 agent/session),但 `SessionController` 只取
609
- * `.agent`、把 handle 丢掉。agent handle 捕获(`src/ports/agent-handles.ts`)在 `ctx.agents` 上包一层,
610
- * 按会话 id 留住 handle;这里先 `entry.detach()`(摘 session、发 `session/disposed`),再
611
- * `await agentHandles.dispose(sessionId)`。
612
- * **只摘 session 的后果**:恢复后 `SessionController.resolve` 会先命中那具旧 agent,prompt 被收下、
613
- * 日志不再增长,直到宿主重启(2026-10-21 真机复现)。
647
+ * 会话列表 = 磁盘持久化 ∪ 内存活体,搬走文件只清掉一侧;宿主 `SessionController` 会丢掉
648
+ * `AgentHandle`,所以 `agent-handles.ts` 按会话 id 留住 handle,这里先 detach 再 dispose。
649
+ * 捕获不到 handle(插件激活前已启动,或 `ctx.agents` 形状变化)时只能摘 session,这是已知限制,
650
+ * 不拿归档兜底(ADR-0008)。
614
651
  *
615
- * **捕获不到 handle 的 agent**(插件激活前已启动的配置 agent,或 `ctx.agents` 形状变化)只能摘 session;
616
- * 这是已知的残留限制,不拿归档当兜底(ADR-0008)。
617
- *
618
- * **所以判据是三态**:读不到 store / 形状不符(旧版宿主)/ detach 或 dispose 抛 ⇒ `unknown`(**不通告**,
619
- * 因为无法断言宿主列表已经干净);内存里本来没有 ⇒ `not-live`;摘成功 ⇒ `evicted`。
620
- * 任何一步都不抛:删除的持久化部分已经完成,这里不该把它翻成失败。
652
+ * 三态:读不到 store / 形状不符 / detach 或 dispose 抛 ⇒ `unknown`(不通告);
653
+ * 内存里本来没有 ⇒ `not-live`;摘成功 ⇒ `evicted`。任何一步都不抛。
621
654
  */
622
655
  async evictLive(sessionId) {
623
656
  try {
@@ -638,19 +671,9 @@ function createHostPort(ctx) {
638
671
  }
639
672
  },
640
673
  /**
641
- * 通告客户端"这个会话没了"。
642
- *
643
- * **为什么需要**:客户端那一行只由两条路更新——重连时的整表重列(`handleConnected` → `refreshList`),
644
- * 或宿主转发的 `api-session/*` 事件。删除一个**冷**会话时宿主不会发任何事件(`session/disposed` 只在摘掉
645
- * 活体时才有),所以那一行会一直挂到下次重连为止(真机实测就是这个形状)。
646
- *
647
- * **为什么这样发是对的**:`api-session/removed` 是宿主**自己声明并转发**的事件
648
- * (asar `dsh-api-remotes/lib/remote-events.js` 的 `API_REMOTE_FORWARDED_EVENTS` 里
649
- * `{ event: "api-session/removed", mode: "emit" }`;转发器就是 `ctx.on(event, …)` 的普通监听者);
650
- * 我们不带 carrier 地 emit ⇒ 全量派发到它(见 {@link HostCtxLike.emit})⇒ 客户端
651
- * `ctx.remote.$on("api-session/removed", …)` 收到后 `recordMutation({kind:'remove'})` + `handleRemoved()`。
652
- * **只在"宿主列表确实已经不含它"时调用**(调用方按 {@link EvictionOutcome} 判):这条通告在语义上是**如实**
653
- * 的,不是障眼法。
674
+ * 通告客户端这个会话没了:发宿主自己转发的 `api-session/removed`,客户端当场删行。
675
+ * 冷会话没有 `session/disposed`,不发这条就只能等重连。
676
+ * 只在宿主列表确实已不含它时调用(调用方按 {@link EvictionOutcome} 判);不发假通告。
654
677
  */
655
678
  async announceRemoved(sessionId) {
656
679
  try {
@@ -658,14 +681,9 @@ function createHostPort(ctx) {
658
681
  } catch {}
659
682
  },
660
683
  /**
661
- * 通告客户端"这组会话回来了":**拉一次**宿主自己的会话列表,按 id 逐条发 `api-session/added`。
662
- *
663
- * 摘要**取自宿主自己的会话列表**(`ctx.sessionController.list()`),不自己造一行:客户端 `handleSessionAdded`
664
- * 要的是宿主 `summaryFor` 那套形状(sessionId / updatedAt / blank / projections…),照抄宿主的那一份最可靠。
665
- * 取不到(控制器缺席 / 列表里没有它 / 抛错)就**一条都不发**。
666
- *
667
- * **取数从 interface 收进了 implementation**:单条就是长度为 1 的批,批量恢复与删除组回滚走同一条路。
668
- * 一次预取由这里保证——100 条一组的批量若按条拉表就是 100 遍全表扫,那正是 2026-10-17 那次"恢复很慢"的头号来源。
684
+ * 通告这组会话回来了:拉一次宿主会话表,按 id 逐条发 `api-session/added`。
685
+ * 摘要直接用宿主 `sessionController.list()` 的形状;取不到就不发。
686
+ * 批量只预取一次,避免按条全表扫。
669
687
  */
670
688
  async announceRestored(sessionIds) {
671
689
  if (sessionIds.length === 0) return;
@@ -732,26 +750,9 @@ function createHostPort(ctx) {
732
750
  },
733
751
  /**
734
752
  * 官方 `sessionQuery.filterSessions([{kind:'parent', values}])`,不自扫 `~/.dsh/sessions`。
735
- *
736
- * 数的是**传递闭包**(孩子与孙代都算),不是"直接孩子"(issue #1):宿主客户端对所有
737
- * `origin:"subagent"` 一律藏行 ⇒ 深度 ≥2 上"删了父还剩多少看不见"原样存在,只数一层就是把那件事
738
- * 说成没有。问法见 {@link descendantsByParent}。
739
- *
740
- * 归堆必须**两边都去前缀**再比:本机实测父会话自己的 header id 带 `session-` 前缀
741
- * (`session-ac07f2bb-…`)、它的子会话写的 `parentSession` 也带,但 v3 那一代的 id 不带 ⇒
742
- * 同一个父有两种写法。所以问的时候把一个 id 的两种形状都塞进 `values`,回来按去前缀后的形状归堆,
743
- * 最后按**调用方给的那个写法**把键交回去(调用方拿 `entry.sessionId` 直接查得到)。
744
- *
745
- * 删除要一起带走**整个组**,先得把他们点出来:身份取宿主自己记录里的 `header.id`,项目目录由
746
- * `header.cwd` 走同一个 `projectKey`(与 {@link HostPort.projectDirOf} 同一根算法,不另起一套)。
747
- * 交回的是**全部后代**——孙代跟着父一起进回收站(issue #1),顺序是逐层往下问出来的(近的先)。
748
- * `header.id` 缺席的后代直接跳过——不拿目录名冒充身份(冒充了会把一个来路不明的目录搬进回收站)。
749
- *
750
- * **缺席显式化**(见 {@link CorpusRead}):`sessionQuery` 没挂,或它的 `filterSessions` 缺席 / 不是函数
751
- * ⇒ `{ available: false }`,不拿空表冒充"盘上没有后代"——写侧据此决定降级还是响亮失败,不再靠"空表"
752
- * 兼表两种意思。
753
- * **先判服务、再判空入参**:语料本来就看不见时,"没有后代"这句话不该被说出口(哪怕入参是空的);
754
- * 服务在场时空入参由 `membersFor` 的短路保证零宿主调用。
753
+ * 数传递闭包(孩子与孙代),不是直接孩子;`session-` 前缀两边都去掉再比,
754
+ * 按调用方给的写法回键。`sessionQuery` 缺席或方法缺失 ⇒ `{available:false}`,
755
+ * 不拿空表冒充“没有后代”;服务在场时空入参零宿主调用。
755
756
  */
756
757
  async subagentMembersOf(parentIds) {
757
758
  const sessionQuery = host.get("sessionQuery");
@@ -827,16 +828,12 @@ function claimOf(original, current, id) {
827
828
  /**
828
829
  * **同批已带走集**(「已被同批前一条带走」的 id)的唯一实现(ADR-0002 的内部实现)。
829
830
  *
830
- * 三个动作曾各有一套机制:delete 用动词回吐的 `movedSessionIds`,restore/purge 用
831
- * `original / current` 两份快照 + 旧 boolean 谓词 + `shrink`。这里把判据收成 `claim(id)` + `take(id)`;
832
831
  * 两种 id 域各一个 adapter:
833
832
  * - entry 适配:restore / purge 的条目 id,`claim` 是三态(fresh / carried / absent),组语义仍读
834
833
  * `trash/groups.ts`;
835
834
  * - session 适配:delete 的会话 id,`claim` 只有 fresh / carried,集合由动词结果长出。
836
835
  *
837
- * entry 适配的三态判据读 `groups.claimOf`;session 适配没有原始清册视图,只记 `take` 过的会话 id
838
- * (因此只有 fresh / carried 两态)。这里只做 id 域适配,不另写组语义。
839
- * 两域的 `claim` 形状不同:entry 交 `GroupClaim`(只有 fresh 带组),session 只交 verdict;
836
+ * entry 适配的三态判据读 `groups.claimOf`;session 适配没有原始清册视图,只记 `take` 过的会话 id。
840
837
  * 当前只读视图(`rows`)只挂在 entry 域上:只有 purge 要它——盘上后代要按清册里还在的 id 排除。
841
838
  */
842
839
  /** 恢复 / 彻底删除:原始快照认得、当前视图已经空了 ⇒ 同批前一条带走的。 */
@@ -929,21 +926,15 @@ function trashDirOf(entryId, home) {
929
926
  //#endregion
930
927
  //#region src/verbs/member-journal.ts
931
928
  /**
932
- * 一次成员移动 = 一串**自带反向动作的步骤**(ADR-0002)。
933
- *
934
- * 为什么需要它:`delete-session.ts` 的 `moveOneIn`/`undoOneIn` 与 `restore-session.ts` 的 `restoreOne`
935
- * (含它的反向闭包)互为镜像,各自手写了三到四段嵌套 `try/catch`:迁移前全仓 `rollbackReason(` **22 处**、
936
- * `withRollbackFailures(` **8 处**。那不是"回滚值得自己的候选",而是**同一条正反动作对被写了两遍**。
929
+ * 一次成员移动 = 一串自带反向动作的步骤(ADR-0002)。
937
930
  *
938
- * 这里独占四件事,三个动词各自只声明"这次要做哪几步、每步怎么退":
939
- * ① **相反顺序**退化(最后做成的先退);
940
- * ② 一步失败时把**已经做成的**那些退回去;
941
- * ③ 失败收集:某一步退不干净时**不让原错误独走**(`details.rollbackFailures`,见 `verbs/errors.ts`);
942
- * ④ **非原子步骤**:`undoOnFailure` 让"这一步自己失败了"也跑它的反向动作(例如"取消归档"半做完了,
943
- * 得先把会话重新藏回去)。
931
+ * 这里独占四件事,动词只声明“这次要做哪几步、每步怎么退”:
932
+ * - 相反顺序退化;
933
+ * - 一步失败时把已做成的那些退回去;
934
+ * - 失败收集:回滚不干净时不让原错误独走(details.rollbackFailures);
935
+ * - 非原子步骤:undoOnFailure 让“这一步自己失败”也跑反向动作。
944
936
  *
945
- * 边界:它只服务"成员在 `sessions/` 与 `session-trash/` 之间搬"这一件事。做成通用撤销框架就会吸进
946
- * 不属于它的知识(谁该通告、通告几次、哪些失败算成功)。
937
+ * 边界:只服务成员在 sessions/ 与 session-trash/ 之间搬;不做通用撤销框架。
947
938
  */
948
939
  /** 已经把某个前缀做成了的 journal——`undo()` 就退那一个前缀。 */
949
940
  function createJournal(steps) {
@@ -1001,9 +992,8 @@ async function stepUndo(label, run) {
1001
992
  }
1002
993
  /**
1003
994
  * **组级回滚**:把已经做成的成员按相反顺序退回;某一步退不干净时把失败并进原错误的
1004
- * `details.rollbackFailures`,绝不让原错误独走(2026-10-19 `f2a7757`;那些失败句子的合并与措辞住
1005
- * `src/verbs/errors.ts`,这里只是唯一的调用方)。删除与恢复两个按组走的动词共用这一处,
1006
- * "相反顺序 + 失败合并"不再各写一遍。
995
+ * `details.rollbackFailures`,绝不让原错误独走。那些失败句子的合并与措辞住 `src/verbs/errors.ts`;
996
+ * 删除与恢复两个按组走的动词共用这一处。
1007
997
  */
1008
998
  async function rollbackJournals(journals, error) {
1009
999
  const failures = [];
@@ -1031,27 +1021,26 @@ async function assertNoLive(host, sessionIds) {
1031
1021
  }
1032
1022
  //#endregion
1033
1023
  //#region src/verbs/member-presence.ts
1024
+ /** 本仓的在场能力实现:端口形状住 `src/ports/presence-port.ts`,这里只做三态与真值表。
1025
+ * `announceRestored` 直接交宿主那一手:能力面与宿主面同名同签名,再包一层只会多一个转调。 */
1034
1026
  function createMemberPresence(host) {
1035
1027
  return {
1036
- async memberGone(sessionId, facts = {}) {
1037
- if (facts.backInTrash === false) return;
1028
+ async memberGone(sessionId, facts = { backInTrash: true }) {
1029
+ if (!facts.backInTrash) return;
1038
1030
  if (await host.evictLive(sessionId) !== "unknown") await host.announceRemoved(sessionId);
1039
1031
  },
1040
1032
  async memberBack(sessionId, facts) {
1041
1033
  if (!facts.diskBack || !facts.workspaceBack) return;
1042
1034
  await host.announceRestored([sessionId]);
1043
- }
1035
+ },
1036
+ announceRestored: host.announceRestored
1044
1037
  };
1045
1038
  }
1046
1039
  /**
1047
- * 给一次成员移动的 journal 补上「在场那条尾巴」:run 完全成功之后离场、undo 之后按事实归位或离场。
1040
+ * 给一次成员移动的 journal 补上「在场那条尾巴」:run 完全成功之后离场,undo 之后按事实归位或离场。
1048
1041
  *
1049
- * 为什么是个工厂:删除与恢复此前各手拼一个匿名 journal,形状逐字相同(`journal.run` 加上
1050
- * `presence.memberGone`/`journal.undo` 加上 `presence.memberBack`),只差键 → 事实的映射。
1051
- * 两处各写一遍,就是「补在哪一拍」这条顺序又有第二个家。
1052
- *
1053
- * 边界:`memberGone` 的 `backInTrash:false` 早退与 `memberBack` 的两件齐备真值表仍归 `createMemberPresence`;
1054
- * 这里只把事实原样递过去,不替它判断。
1042
+ * 边界:`memberGone` 的 `backInTrash:false` 早退与 `memberBack` 的两件齐备真值表归 `createMemberPresence`;
1043
+ * 这里只把事实原样递过去。
1055
1044
  */
1056
1045
  function withPresenceTail(presence, journal, tail) {
1057
1046
  const announce = async (undo) => {
@@ -1123,7 +1112,7 @@ async function moveGroup({ root, followers, move }) {
1123
1112
  * 结果带回这次真的搬走的整组(`movedSessionIds`)——它是动词交回的内部数据,不再靠回调借用动词的手。
1124
1113
  */
1125
1114
  function deleteSession(deps) {
1126
- const presence = createMemberPresence(deps.host);
1115
+ const presence = deps.presence;
1127
1116
  return async function deleteSession(sessionId) {
1128
1117
  const read = await deps.host.subagentMembersOf([sessionId]);
1129
1118
  const kids = read.available ? read.value[sessionId] ?? [] : [];
@@ -1169,8 +1158,7 @@ function deleteSession(deps) {
1169
1158
  * 会留下"文件在、agent 已关"的半个世界。窗口与可选修法登记在 ADR-0008 的「边界」。
1170
1159
  *
1171
1160
  * 每一步的反向动作都是"把这件写退回原样";**清册行是最后一件写**,它失败时 journal 会把目录搬回去、
1172
- * 账本挂回去。清册行的反向动作带一道闸:**回收站目录还没搬回来就不摘那一行**——留着行至少元数据还在
1173
- * (与旧实现"目录退不回就不摘行"同一条判据)。
1161
+ * 账本挂回去。清册行的反向动作带一道闸:**回收站目录还没搬回来就不摘那一行**,留着行至少元数据还在。
1174
1162
  */
1175
1163
  async function memberMove(deps, presence, member, deletedAt, parentEntryId) {
1176
1164
  const { sessionId, projectDir } = member;
@@ -1242,7 +1230,7 @@ async function memberMove(deps, presence, member, deletedAt, parentEntryId) {
1242
1230
  sessionId,
1243
1231
  onDone: "leave",
1244
1232
  /** 组级回滚:先按相反顺序退步骤,再判「目录与账本两件写都回去了吗」。
1245
- * 这一行此前已经收过 `api-session/removed`;不发「回来了」它就会在客户端消失到重连为止。
1233
+ * 这一行已经收过 `api-session/removed`;不发「回来了」它就会在客户端消失到重连为止。
1246
1234
  * 「退没退成」由 journal 的逐步结果交出来,这里只读键,不自己累计布尔。 */
1247
1235
  onUndone: (undo) => ({
1248
1236
  kind: "return",
@@ -1253,120 +1241,748 @@ async function memberMove(deps, presence, member, deletedAt, parentEntryId) {
1253
1241
  };
1254
1242
  }
1255
1243
  //#endregion
1256
- //#region src/verbs/permanent-removal.ts
1257
- /**
1258
- * 永久删除的**测量、计划与执行**:一次永久删除(`/list` 的只读读数或 purge / orphan-clean 的删除计划)
1259
- * 之前要记下的事实(目录、字节、账本归属),以及拿到计划之后按它动盘的那一步。计划函数**只读**——
1260
- * 写不写由执行器决定,但活体准入在这里就做掉,调用方拿到计划才允许动盘。
1261
- */
1262
- /** `exists` 与 `sizeOfDir` 之间目录消失(ENOENT)是唯一一种当"不在"的失败:盘没挂、权限、I/O 错误
1263
- * 都不许伪装成"目录没了",那会让 `/list` 静默少算释放量、让删除计划少一条该删的目录。 */
1264
- function isMissing(error) {
1265
- return error?.code === "ENOENT";
1244
+ //#region src/log/zstd-frames.ts
1245
+ const MAGIC = [
1246
+ 40,
1247
+ 181,
1248
+ 47,
1249
+ 253
1250
+ ];
1251
+ /** magic(4) + Frame_Header_Descriptor(1) 之后第一个字节的偏移。 */
1252
+ const AFTER_DESCRIPTOR = 5;
1253
+ const BLOCK_HEADER_BYTES = 3;
1254
+ const BLOCK_LAST = 1;
1255
+ const BLOCK_TYPE_SHIFT = 1;
1256
+ const BLOCK_SIZE_SHIFT = 3;
1257
+ const BLOCK_SIZE_MASK = 2097151;
1258
+ const BLOCK_RAW = 0;
1259
+ const BLOCK_RLE = 1;
1260
+ const BLOCK_COMRESSED = 2;
1261
+ /** RFC 8878 表 3 的帧头描述符位段:1-0 字典 ID、2 校验和、5 单段、7-6 FCS 尺寸。 */
1262
+ const DESC_DID_FLAG = 3;
1263
+ const DESC_SINGLE_SHIFT = 5;
1264
+ const DESC_FCS_SHIFT = 6;
1265
+ /** 规范(RFC 8878 表 4)里 3 是 **Reserved**,不是"未压缩块":见到就抛,别照 Raw 吞块体。 */
1266
+ const BLOCK_RESERVED = 3;
1267
+ /** descriptor 各字段的取值 → 字段字节数(zstd 帧头的两张尺寸表)。 */
1268
+ const DID_SIZES = [
1269
+ 0,
1270
+ 1,
1271
+ 2,
1272
+ 4
1273
+ ];
1274
+ const FCS_SIZES_SINGLE = [
1275
+ 1,
1276
+ 2,
1277
+ 4,
1278
+ 8
1279
+ ];
1280
+ const FCS_SIZES_MULTI = [
1281
+ 0,
1282
+ 2,
1283
+ 4,
1284
+ 8
1285
+ ];
1286
+ /** 实测的帧尾长度(规范里就是 descriptor 校验位声明的 XXH32;收不收由文件头注的自证判据决定)。 */
1287
+ const FRAME_TAIL_BYTES = 4;
1288
+ function isMagicAt(raw, at) {
1289
+ return MAGIC.every((byte, i) => raw[at + i] === byte);
1266
1290
  }
1267
- /** `exists → sizeOfDir` 的唯一一条度量口径(成员目录与回收站目录共用):先问在不在,再量字节;
1268
- * ENOENT 是唯一一种当"不在"的失败,别的错误照旧响亮。别再在调用点各写一遍这段 try/catch。
1269
- *
1270
- * **已知粒度**:`sizeOfDir` 递归里撞到的 ENOENT 与"目录本身没了"是同一个码,所以目录里某个文件
1271
- * 恰好在这一拍消失时,整条目录会被记成「不在」(`/list` 少算这条、删除计划里没有可删的字节,
1272
- * 而清册行照旧摘——盘上留下目录等下一次 `reconcile` 重建成行,自愈、不丢数据)。复核一次
1273
- * `exists(dir)` 能把两者分开,却会让「宿主正在写、文件刚被挪走」这类正常竞态把 `/list` 整个打红——
1274
- * 这里选自愈不选响亮。 */
1275
- async function probeDir(deps, dir) {
1276
- if (!await deps.fs.exists(dir)) return {
1277
- present: false,
1278
- bytes: 0
1279
- };
1280
- try {
1281
- return {
1282
- present: true,
1283
- bytes: await deps.fs.sizeOfDir(dir)
1284
- };
1285
- } catch (error) {
1286
- if (isMissing(error)) return {
1287
- present: false,
1288
- bytes: 0
1289
- };
1290
- throw error;
1291
- }
1291
+ function readUint24LE(raw, at) {
1292
+ return raw[at] | raw[at + 1] << 8 | raw[at + 2] << 16;
1292
1293
  }
1293
- /** 成员的盘上目录与字节(扫描、清单装配与 purge 共用这一条路径/存在性/度量口径;
1294
- * 目录缺席回 `undefined`,不拿一份"记录还在、盘上已经没了"的旧读数冒充盘上残留)。 */
1295
- async function measureMemberDir(deps, member) {
1296
- const dir = sessionDirOf(member.projectDir, member.sessionId, deps.home);
1297
- const probe = await probeDir(deps, dir);
1298
- return probe.present ? {
1299
- dir,
1300
- bytes: probe.bytes
1301
- } : void 0;
1294
+ /** 块体之后有没有那 4 字节尾巴:只有"跳过它之后仍是帧头或到 EOF"才认。 */
1295
+ function withFrameTail(raw, at) {
1296
+ const afterTail = at + FRAME_TAIL_BYTES;
1297
+ if (afterTail <= raw.length && (afterTail === raw.length || isMagicAt(raw, afterTail))) return afterTail;
1298
+ return at;
1302
1299
  }
1303
- /** 把一组成员折成"删之前要记下的计划";目录不在的成员跳过(记录与盘不一致是那条成员自己的事)。
1304
- * `purge` 的盘上后代、`orphan-clean` 的整组与 `/list` 的盘上残留都走这一处,别再各写一遍
1305
- * measure + workspaceOf。 */
1306
- async function planMemberRemovals(deps, members) {
1307
- const plans = [];
1308
- for (const member of members) {
1309
- const measured = await measureMemberDir(deps, member);
1310
- if (measured === void 0) continue;
1311
- const workspaceId = await deps.host.workspaceOf(member.sessionId);
1312
- plans.push({
1313
- sessionId: member.sessionId,
1314
- ...measured,
1315
- ...workspaceId === void 0 ? {} : { workspaceId }
1300
+ /**
1301
+ * 把 `raw` 切成帧区间。
1302
+ * @throws 起始处不是 magic、或某帧算到的末位既不是下一帧帧头也不是 EOF——**一律抛**,
1303
+ * 绝不"尽力往下解":切错帧的后果是把半截压缩体当解压输入,那时解出来的东西不可信。
1304
+ */
1305
+ function frameRanges(raw) {
1306
+ const ranges = [];
1307
+ let at = 0;
1308
+ while (at < raw.length) {
1309
+ if (!isMagicAt(raw, at)) throw new Error(`zstd 帧头缺席:偏移 ${at} 处不是 magic(前面第 ${ranges.length} 帧的边界算歪了?)`);
1310
+ const descriptor = raw[at + 4];
1311
+ if (descriptor === void 0) throw new Error(`zstd 帧头不完整:偏移 ${at} 之后不足 ${AFTER_DESCRIPTOR} 字节`);
1312
+ const didFlag = descriptor & DESC_DID_FLAG;
1313
+ const singleSegment = descriptor >> DESC_SINGLE_SHIFT & 1;
1314
+ const fcsFlag = descriptor >> DESC_FCS_SHIFT & 3;
1315
+ let cursor = at + AFTER_DESCRIPTOR;
1316
+ if (!singleSegment) cursor += 1;
1317
+ cursor += DID_SIZES[didFlag];
1318
+ cursor += (singleSegment ? FCS_SIZES_SINGLE : FCS_SIZES_MULTI)[fcsFlag];
1319
+ for (;;) {
1320
+ const blockHeader = readUint24LE(raw, cursor);
1321
+ cursor += BLOCK_HEADER_BYTES;
1322
+ if (cursor > raw.length) throw new Error(`zstd 块头越界:帧起于 ${at},读到偏移 ${cursor}(文件长 ${raw.length})`);
1323
+ const blockType = blockHeader >> BLOCK_TYPE_SHIFT & 3;
1324
+ const blockSize = blockHeader >> BLOCK_SIZE_SHIFT & BLOCK_SIZE_MASK;
1325
+ if (blockType === BLOCK_RESERVED) throw new Error(`zstd 保留块类型:帧起于 ${at},偏移 ${cursor - BLOCK_HEADER_BYTES} 的块头 type=3(规范 Reserved,对面解不开)`);
1326
+ if (blockType === BLOCK_RAW || blockType === BLOCK_COMRESSED) cursor += blockSize;
1327
+ else if (blockType === BLOCK_RLE) cursor += 1;
1328
+ if (blockHeader & BLOCK_LAST) break;
1329
+ }
1330
+ cursor = withFrameTail(raw, cursor);
1331
+ if (cursor !== raw.length && !isMagicAt(raw, cursor)) throw new Error(`zstd 帧边界算歪了:帧起于 ${at},算到 ${cursor},那里既不是下一帧帧头也不是 EOF`);
1332
+ ranges.push({
1333
+ start: at,
1334
+ end: cursor
1316
1335
  });
1336
+ at = cursor;
1317
1337
  }
1318
- return plans;
1319
- }
1320
- /** 量一条回收站行;目录不在回 `present: false` / 0 字节(目录不在不等于清册行不用摘)。 */
1321
- async function measureTrashRow(deps, entry) {
1322
- const dir = trashDirOf(entry.id, deps.home);
1323
- const probe = await probeDir(deps, dir);
1324
- return {
1325
- entry,
1326
- dir,
1327
- present: probe.present,
1328
- bytes: probe.bytes
1329
- };
1338
+ return ranges;
1330
1339
  }
1340
+ //#endregion
1341
+ //#region src/log/session-log.ts
1331
1342
  /**
1332
- * 盘上后代的选择判据(`/list` 与 purge 的删除计划共用这一份):`subagentMembersOf` 一次问全部父,
1333
- * 再按 `bareSessionId` **排除全部清册 id**(跟着父进来的孩子不按盘上残留再算一遍),同一个 bare id 只认
1334
- * **遍历顺序里第一次**出现的那条(同一个会话在两代宿主里的写法不同)。
1335
- *
1336
- * 语料看不见(`available: false`)⇒ 每个根都按空成员收:`/list` 与 purge 只许静默降级,
1337
- * 盘上残留留给 `GET /orphans` 兜底。
1343
+ * 会话日志(`session.vN.jsonl.zstd`)的**逐帧读法**:帧边界交给 `zstd-frames.ts`,这一层只做
1344
+ * 「帧 → 明文 → 一行一条 JSON」的解码,并把每条记录原样交给回调。
1338
1345
  *
1339
- * 结果按传入父 id 的原序分组、组内保持宿主交回的顺序:全局去重需要顺序,实测那一步可以并行。
1346
+ * **策略不在这里**(哪些 `type` 算正文、截断到多少字、算不算失败)——那是 `src/trash/detail.ts` 的事。
1347
+ * 这一层只懂编解码,所以它能被单独验穿。
1340
1348
  *
1341
- * **单行读数和单行回执可能差一条**:同一个 bare id 若同时挂在两个组根下,全局去重只把它算给遍历
1342
- * 顺序里第一个根;而对某个根单独 purge 时它仍会算进那一组 ⇒ 那条的 `releaseBytes` 与对它 purge 的
1343
- * `freedBytes` 在共享后代上可以不等(全部可见行之和与 `/empty` 的回执仍相等)。数据里有环或两代
1344
- * 写法混杂才会撞上,不为它多开一条口径。
1349
+ * 两条实测决定的口径:
1350
+ * ① **必须逐帧**:Node 的 `zstdDecompressSync` 与 `createZstdDecompress()` 都只给第一帧(见
1351
+ * `zstd-frames.ts` 头注);明文留在手里会一次装下整条日志(本机 125 条合计 280.7 MB),
1352
+ * 所以**一帧一帧解、解完就撒手**,内存口径是"最大那一帧的明文"(实测 8.99 MB)而不是整条。
1353
+ * ② **一行的余量跨帧带走**:写作侧一条条 append,帧边界不保证落在行边界;逐帧 split('\n') 会静默少一条
1354
+ * 记录(半个头加半个身,两半都解不开 JSON)。带上余量后跨帧的多字节字符也解对了——拼接在字节层做,
1355
+ * toString('utf8') 只看整行。真被切断的尾巴(写一半)跳过并计数,绝不因为一行就抛整个读数。
1345
1356
  */
1346
- async function selectStrandedMembers(host, manifest, parentIds) {
1347
- const manifestIds = new Set(manifest.map((row) => bareSessionId(row.sessionId)));
1348
- const read = await host.subagentMembersOf(parentIds);
1349
- const seen = /* @__PURE__ */ new Set();
1350
- return parentIds.map((parentId) => {
1351
- const wanted = [];
1352
- if (!read.available) return wanted;
1353
- for (const member of read.value[parentId] ?? []) {
1354
- const bare = bareSessionId(member.sessionId);
1355
- if (manifestIds.has(bare) || seen.has(bare)) continue;
1356
- seen.add(bare);
1357
- wanted.push(member);
1358
- }
1359
- return wanted;
1360
- });
1357
+ const NEWLINE = 10;
1358
+ /**
1359
+ * 宿主给每一代日志的词法(逐字取自 `@deepseek-ai/dsh-session-format@0.2.0-rc.2` 的
1360
+ * `CANONICAL_LOG_FILENAME`,剥掉压缩后缀那段由我们自己在正则里补上 `.zstd`):
1361
+ * 裸名 `session.jsonl` 是**第 0 代**,往后是 `session.vN`;`.v0`、前导零、大写、临时名都不是规范名。
1362
+ */
1363
+ const CANONICAL_ZSTD_LOG = /^session(?:\.v([1-9][0-9]*))?\.jsonl\.zstd$/u;
1364
+ /** 这个名字是不是规范日志(任意一代)。附件引用扫描用它区分"老一代日志"与"读不懂的旁文件"。 */
1365
+ function isCanonicalSessionLogName(name) {
1366
+ return CANONICAL_ZSTD_LOG.test(name);
1361
1367
  }
1362
1368
  /**
1363
- * `/list` 的只读计划:一行 = 一组。释放量与 purge 用同一条口径——回收站目录与成员目录**现测**,
1364
- * 不用清册里记的 `sizeBytes`(那是删除那一刻的事实,盘上早就变了)。
1369
+ * 同一个会话目录里可以并存多代日志;只读版本号最大的那代,因为新代包含旧代的记录且末尾更晚
1370
+ * ⇒ 读旧代 = 一份截了尾巴的快照;把几代拼起来 = 重复计数。
1365
1371
  *
1366
- * 盘上后代经 `selectStrandedMembers` 选出(排除全部清册 id、bare id 全局只算一次);目录不在的成员
1367
- * 不进 `members`(与 `planMemberRemovals` 同口径)。
1372
+ * 明文(无 `.zstd`)不在此列:本插件的读法逐帧解 zstd,明文得走另一条解码路。
1368
1373
  */
1369
- async function planVisibleTrash(deps, rows, groups) {
1374
+ function pickSessionLog(names) {
1375
+ let best;
1376
+ let bestVersion = -1;
1377
+ for (const name of names) {
1378
+ const match = CANONICAL_ZSTD_LOG.exec(name);
1379
+ if (match === null) continue;
1380
+ const version = match[1] === void 0 ? 0 : Number(match[1]);
1381
+ if (version > bestVersion) {
1382
+ bestVersion = version;
1383
+ best = name;
1384
+ }
1385
+ }
1386
+ return best;
1387
+ }
1388
+ /**
1389
+ * 逐帧走一遍日志,每条记录交给回调。
1390
+ *
1391
+ * 回调返回 `false` = **提前停机**(后面的帧不再解——`readSessionHeader` 只要第一行)。
1392
+ * 停机后 `stats` 只是停机前那部分,别拿来做全量对账。
1393
+ */
1394
+ function walkSessionLog(raw, onRecord) {
1395
+ const stats = {
1396
+ frames: 0,
1397
+ records: 0,
1398
+ unparsedLines: 0,
1399
+ truncatedTailBytes: 0
1400
+ };
1401
+ let stopped = false;
1402
+ const feed = (line) => {
1403
+ if (line === "") return;
1404
+ let parsed;
1405
+ try {
1406
+ parsed = JSON.parse(line);
1407
+ } catch {
1408
+ stats.unparsedLines += 1;
1409
+ return;
1410
+ }
1411
+ stats.records += 1;
1412
+ if (onRecord(parsed !== null && typeof parsed === "object" ? parsed : {}) === false) stopped = true;
1413
+ };
1414
+ /** 上一帧没闭合的那一行。**存字节不存字符**:切在多字节字符中间的帧要拼回完整才解得对。 */
1415
+ let carry = Buffer.alloc(0);
1416
+ for (const { start, end } of frameRanges(raw)) {
1417
+ if (stopped) break;
1418
+ stats.frames += 1;
1419
+ let plain;
1420
+ try {
1421
+ plain = zlib.zstdDecompressSync(raw.subarray(start, end));
1422
+ } catch (error) {
1423
+ throw new Error(`回收站日志第 ${stats.frames} 帧解压失败:${String(error)}`);
1424
+ }
1425
+ const merged = carry.length === 0 ? plain : Buffer.concat([carry, plain]);
1426
+ const cut = merged.lastIndexOf(NEWLINE);
1427
+ if (cut === -1) {
1428
+ carry = merged;
1429
+ continue;
1430
+ }
1431
+ carry = merged.subarray(cut + 1);
1432
+ for (const line of merged.subarray(0, cut).toString("utf8").split("\n")) {
1433
+ feed(line);
1434
+ if (stopped) break;
1435
+ }
1436
+ }
1437
+ stats.truncatedTailBytes = carry.length;
1438
+ if (carry.length > 0 && !stopped) feed(carry.toString("utf8"));
1439
+ return stats;
1440
+ }
1441
+ /**
1442
+ * 日志的 **header**:格式事实是"第一行即 header"(`type: 'session'`,含 `id` 与 `cwd`,v3/v4 均如此,
1443
+ * AGENTS.md 有实测背书)——这里按 `type === 'session'` 找**第一条**这样的记录并就地停机
1444
+ * (不要求它恰是第一个可解析行:坏一行前缀不该让整条日志判不出身份)。
1445
+ * 找不到(空日志 / 全是别种记录)回 `undefined`;帧坏了照抛——那是"读不出来",与"没有 header"是两件事。
1446
+ */
1447
+ function readSessionHeader(raw) {
1448
+ let header;
1449
+ walkSessionLog(raw, (record) => {
1450
+ if (record.type !== "session") return;
1451
+ header = record;
1452
+ return false;
1453
+ });
1454
+ return header;
1455
+ }
1456
+ //#endregion
1457
+ //#region src/trash/attachments.ts
1458
+ /**
1459
+ * 附件的**唯一域模块**:内容块提取、ID/路径闸、引用扫描、独占计划与执行。
1460
+ *
1461
+ * 两条红线:
1462
+ * ① 只删 `$DSH_HOME/attachments/v1/objects` 下的图片;普通文件、tmp、v2、cache 一律不碰;
1463
+ * 源文件($DSH_HOME 之外)没有进入路径拼接的入口。
1464
+ * ② 只要剩余引用源读不出来,就整体跳过(fail closed)——宁可留孤儿,不许删共享。
1465
+ * 引用源"读不出来"包括:目录/文件读失败、目录非空却没有规范 zstd 日志(明文/陌生布局)、
1466
+ * JSON 超出扫描上限、日志有坏行或尾巴被截断。
1467
+ */
1468
+ const ATTACHMENT_ID = /^sha256:[0-9a-f]{64}$/u;
1469
+ function isAttachmentId(value) {
1470
+ return typeof value === "string" && ATTACHMENT_ID.test(value);
1471
+ }
1472
+ function isRecord(value) {
1473
+ return typeof value === "object" && value !== null && !Array.isArray(value);
1474
+ }
1475
+ function numberOf(value) {
1476
+ return typeof value === "number" && Number.isFinite(value) && value >= 0 ? value : 0;
1477
+ }
1478
+ /** `statFile` / `readFile` / `sizeOfDir` 里只有 ENOENT 能当"不在";权限、盘挂、I/O 错误都必须露成读不出。 */
1479
+ function isMissing(error) {
1480
+ return error?.code === "ENOENT";
1481
+ }
1482
+ /** 合法附件 ID → 宿主附件库里的绝对路径。`name` 不参与拼接。 */
1483
+ function attachmentPathOf(home, kind, id) {
1484
+ if (!isAttachmentId(id)) throw new Error(`附件 id 形状不对:${id}`);
1485
+ const hex = id.slice(7);
1486
+ const base = `${home}/attachments/v1/${kind === "image" ? "objects" : "file-objects"}`;
1487
+ const file = `${base}/${hex.slice(0, 2)}/${hex}`;
1488
+ const rel = path.relative(path.resolve(base), path.resolve(file));
1489
+ if (rel === "" || rel === ".." || rel.startsWith(`..${path.sep}`) || path.isAbsolute(rel)) throw new Error(`附件路径越界:${id}`);
1490
+ return file;
1491
+ }
1492
+ /** 一条消息的 `content[]` 里的附件块;畸形 id / 非附件段一律跳过。 */
1493
+ function attachmentsInContent(content) {
1494
+ if (!Array.isArray(content)) return [];
1495
+ const out = [];
1496
+ for (const part of content) {
1497
+ if (!isRecord(part)) continue;
1498
+ const type = part.type;
1499
+ const attachment = part.attachment;
1500
+ if (type !== "image" && type !== "file" || !isRecord(attachment)) continue;
1501
+ const id = attachment.attachmentId;
1502
+ if (!isAttachmentId(id)) continue;
1503
+ if (type === "image") out.push({
1504
+ kind: "image",
1505
+ id,
1506
+ ...typeof attachment.mediaType === "string" ? { mediaType: attachment.mediaType } : {},
1507
+ bytes: numberOf(attachment.bytes),
1508
+ ...numberOf(attachment.width) > 0 ? { width: numberOf(attachment.width) } : {},
1509
+ ...numberOf(attachment.height) > 0 ? { height: numberOf(attachment.height) } : {},
1510
+ ...typeof attachment.name === "string" ? { name: attachment.name } : {}
1511
+ });
1512
+ else out.push({
1513
+ kind: "file",
1514
+ id,
1515
+ name: typeof attachment.name === "string" ? attachment.name : "",
1516
+ bytes: numberOf(attachment.bytes)
1517
+ });
1518
+ }
1519
+ return out;
1520
+ }
1521
+ function contentArraysOf(record) {
1522
+ const data = record.data;
1523
+ if (!isRecord(data)) return [];
1524
+ const out = [];
1525
+ if (Array.isArray(data.content)) out.push(data.content);
1526
+ if (isRecord(data.message) && Array.isArray(data.message.content)) out.push(data.message.content);
1527
+ return out;
1528
+ }
1529
+ /**
1530
+ * `walkSessionLog` 对坏行与截断尾巴是**跳过并计数**,不抛:引用扫描如果只看解析出来的记录,
1531
+ * 就会把"少读了一行"当成"那一行没有引用"。这里的 `.damaged` 有值 ⇒ 调用方必须按不可读处理。
1532
+ */
1533
+ function scanImageIdsInLog(raw) {
1534
+ const ids = /* @__PURE__ */ new Set();
1535
+ const stats = walkSessionLog(raw, (record) => {
1536
+ for (const content of contentArraysOf(record)) for (const ref of attachmentsInContent(content)) if (ref.kind === "image") ids.add(ref.id);
1537
+ });
1538
+ const damaged = stats.unparsedLines > 0 || stats.truncatedTailBytes > 0 ? `日志不完整(坏行 ${stats.unparsedLines} 条、截断尾巴 ${stats.truncatedTailBytes} 字节)` : void 0;
1539
+ return {
1540
+ ids,
1541
+ ...damaged === void 0 ? {} : { damaged }
1542
+ };
1543
+ }
1544
+ /** 宿主写日志时的临时名:`session.vN.jsonl.zstd.<hash>.tmp`(内容写完后才 rename 成规范名)。 */
1545
+ const TEMP_LOG_NAME = /^session(?:\.v[1-9][0-9]*)?\.jsonl(?:\.zstd)?\.[0-9a-f]+\.tmp$/u;
1546
+ /** 规范日志之外允许并存的两类文件:更老一代的规范日志(新代包含旧代)与 0 字节临时日志(没有消息)。
1547
+ * 其余任何文件都可能是规范日志没覆盖到的引用(例如写入中的非空临时日志),一律按不可读处理。 */
1548
+ async function unreadableExtraFile(deps, dir, names) {
1549
+ for (const name of names) {
1550
+ if (isCanonicalSessionLogName(name)) continue;
1551
+ if (!TEMP_LOG_NAME.test(name)) return `${dir}: 规范日志旁还有无法确认的文件 ${name}`;
1552
+ if ((await deps.fs.statFile(`${dir}/${name}`)).size > 0) return `${dir}: 规范日志旁还有非空临时日志 ${name}`;
1553
+ }
1554
+ }
1555
+ /** 一个会话目录里的图片引用;`unreadable` 有值 = 这一组不可知(调用方按"跳过它"处理)。
1556
+ *
1557
+ * **没有规范 zstd 日志 ≠ 没有引用**:明文日志、别的版本/布局、以及子目录都可能藏着引用。
1558
+ * **有规范日志但目录里还有子目录也不够**:日志只覆盖本目录,子目录里的引用读它看不见——
1559
+ * 同样按不可读处理(宁可留下对象等维护卡兜底,不冒"没引用")。
1560
+ * **规范日志旁的文件也要过关**:老一代规范日志可以并存(新代包含旧代);0 字节临时日志是
1561
+ * 写盘未完成的空产物,也没有引用。非空临时日志、明文日志或其他任何文件仍按不可读处理(fail closed)。
1562
+ */
1563
+ async function imageIdsOfDir(deps, dir) {
1564
+ if (!await deps.fs.exists(dir)) return { ids: /* @__PURE__ */ new Set() };
1565
+ let names;
1566
+ try {
1567
+ names = await deps.fs.listFiles(dir);
1568
+ } catch (error) {
1569
+ return {
1570
+ ids: /* @__PURE__ */ new Set(),
1571
+ unreadable: String(error)
1572
+ };
1573
+ }
1574
+ const log = pickSessionLog(names);
1575
+ if (log === void 0) {
1576
+ if (names.length > 0 && names.every((name) => TEMP_LOG_NAME.test(name))) {
1577
+ let subdirs;
1578
+ try {
1579
+ subdirs = await deps.fs.listDirs(dir);
1580
+ if (subdirs.length === 0) {
1581
+ let allEmpty = true;
1582
+ for (const name of names) if ((await deps.fs.statFile(`${dir}/${name}`)).size > 0) {
1583
+ allEmpty = false;
1584
+ break;
1585
+ }
1586
+ if (allEmpty) return { ids: /* @__PURE__ */ new Set() };
1587
+ }
1588
+ } catch (error) {
1589
+ return {
1590
+ ids: /* @__PURE__ */ new Set(),
1591
+ unreadable: String(error)
1592
+ };
1593
+ }
1594
+ }
1595
+ if (names.length > 0) return {
1596
+ ids: /* @__PURE__ */ new Set(),
1597
+ unreadable: `${dir}: 没有可读的会话日志`
1598
+ };
1599
+ let subdirs;
1600
+ try {
1601
+ subdirs = await deps.fs.listDirs(dir);
1602
+ } catch (error) {
1603
+ return {
1604
+ ids: /* @__PURE__ */ new Set(),
1605
+ unreadable: String(error)
1606
+ };
1607
+ }
1608
+ if (subdirs.length > 0) return {
1609
+ ids: /* @__PURE__ */ new Set(),
1610
+ unreadable: `${dir}: 没有可读的会话日志`
1611
+ };
1612
+ return { ids: /* @__PURE__ */ new Set() };
1613
+ }
1614
+ try {
1615
+ const extra = await unreadableExtraFile(deps, dir, names);
1616
+ if (extra !== void 0) return {
1617
+ ids: /* @__PURE__ */ new Set(),
1618
+ unreadable: extra
1619
+ };
1620
+ if ((await deps.fs.listDirs(dir)).length > 0) return {
1621
+ ids: /* @__PURE__ */ new Set(),
1622
+ unreadable: `${dir}: 目录里还有子目录,规范日志覆盖不到它们`
1623
+ };
1624
+ const scan = scanImageIdsInLog(await deps.fs.readFile(`${dir}/${log}`));
1625
+ if (scan.damaged !== void 0) return {
1626
+ ids: /* @__PURE__ */ new Set(),
1627
+ unreadable: `${dir}/${log}: ${scan.damaged}`
1628
+ };
1629
+ return { ids: scan.ids };
1630
+ } catch (error) {
1631
+ return {
1632
+ ids: /* @__PURE__ */ new Set(),
1633
+ unreadable: String(error)
1634
+ };
1635
+ }
1636
+ }
1637
+ /** 单个 JSON 引用源的扫描上限;超过就记成不可读(fail closed),**不许当作"没有引用"跳过**。 */
1638
+ const MAX_JSON_REF_BYTES = 10485760;
1639
+ /** 读全部剩余引用源;任何一处读不出都记进 `unreadable`。 */
1640
+ async function collectRemainingImageRefs(deps, input) {
1641
+ const exclude = new Set(input.excludeDirs);
1642
+ const visited = /* @__PURE__ */ new Set();
1643
+ const ids = /* @__PURE__ */ new Set();
1644
+ const unreadable = [];
1645
+ const visit = async (dir) => {
1646
+ if (exclude.has(dir) || visited.has(dir)) return;
1647
+ visited.add(dir);
1648
+ const read = await imageIdsOfDir(deps, dir);
1649
+ if (read.unreadable !== void 0) unreadable.push(read.unreadable);
1650
+ for (const id of read.ids) ids.add(id);
1651
+ };
1652
+ if (await deps.fs.exists(input.sessionRoot)) for (const project of await deps.fs.listDirs(input.sessionRoot)) {
1653
+ const projectDir = `${input.sessionRoot}/${project}`;
1654
+ if (exclude.has(projectDir)) continue;
1655
+ for (const session of await deps.fs.listDirs(projectDir)) await visit(`${projectDir}/${session}`);
1656
+ }
1657
+ const trashRoot = `${deps.home}/${TRASH_DIR_NAME}`;
1658
+ if (await deps.fs.exists(trashRoot)) for (const name of await deps.fs.listDirs(trashRoot)) await visit(`${trashRoot}/${name}`);
1659
+ const scanJson = async (root) => {
1660
+ if (!await deps.fs.exists(root)) return;
1661
+ const stack = [root];
1662
+ const seen = /* @__PURE__ */ new Set();
1663
+ while (stack.length > 0) {
1664
+ const dir = stack.pop();
1665
+ try {
1666
+ const real = await deps.fs.realpath(dir);
1667
+ if (seen.has(real)) continue;
1668
+ seen.add(real);
1669
+ for (const name of await deps.fs.listDirs(dir)) stack.push(`${dir}/${name}`);
1670
+ for (const name of await deps.fs.listFiles(dir)) {
1671
+ if (!name.endsWith(".json")) continue;
1672
+ const file = `${dir}/${name}`;
1673
+ const stat = await deps.fs.statFile(file);
1674
+ if (stat.size > MAX_JSON_REF_BYTES) {
1675
+ unreadable.push(`${file}: JSON 引用源 ${stat.size} 字节超过扫描上限 ${MAX_JSON_REF_BYTES} 字节,未扫描`);
1676
+ continue;
1677
+ }
1678
+ const text = (await deps.fs.readFile(file)).toString("utf8");
1679
+ for (const match of text.matchAll(/sha256:[0-9a-f]{64}/gu)) ids.add(match[0]);
1680
+ }
1681
+ } catch (error) {
1682
+ unreadable.push(`${dir}: ${String(error)}`);
1683
+ }
1684
+ }
1685
+ };
1686
+ await scanJson(`${deps.home}/storages`);
1687
+ await scanJson(`${deps.home}/cache`);
1688
+ return {
1689
+ ids,
1690
+ unreadable
1691
+ };
1692
+ }
1693
+ /**
1694
+ * 独占计划:候选 = 本次被删会话日志里的图片 id;剩余引用 = 活动会话 + 全部未删 `session-trash`
1695
+ * 目录 + storages/cache。
1696
+ * 剩余引用源读不出 ⇒ 整体跳过;候选日志读不出 / 附件对象 stat 失败 ⇒ 只跳过那一部分,其余照常。
1697
+ */
1698
+ async function planImageAttachmentRemoval(deps, removedDirs) {
1699
+ const candidates = /* @__PURE__ */ new Set();
1700
+ let unreadableCandidates = 0;
1701
+ for (const dir of removedDirs) {
1702
+ const read = await imageIdsOfDir(deps, dir);
1703
+ if (read.unreadable !== void 0) {
1704
+ unreadableCandidates += 1;
1705
+ continue;
1706
+ }
1707
+ for (const id of read.ids) candidates.add(id);
1708
+ }
1709
+ const skipReasons = [];
1710
+ if (unreadableCandidates > 0) skipReasons.push(`${unreadableCandidates} 个被删会话日志读不出`);
1711
+ if (candidates.size === 0) return {
1712
+ entries: [],
1713
+ bytes: 0,
1714
+ ...skipReasons.length > 0 ? { skipped: skipReasons.join(";") } : {}
1715
+ };
1716
+ let remaining;
1717
+ try {
1718
+ remaining = await collectRemainingImageRefs(deps, {
1719
+ sessionRoot: `${deps.home}/sessions`,
1720
+ excludeDirs: removedDirs
1721
+ });
1722
+ } catch (error) {
1723
+ return {
1724
+ entries: [],
1725
+ bytes: 0,
1726
+ skipped: `读不到剩余引用源,无法证明独占:${String(error)}`
1727
+ };
1728
+ }
1729
+ if (remaining.unreadable.length > 0) return {
1730
+ entries: [],
1731
+ bytes: 0,
1732
+ skipped: `读不到剩余引用源,无法证明独占:${remaining.unreadable[0]}`
1733
+ };
1734
+ const entries = [];
1735
+ let bytes = 0;
1736
+ let unreadableObjects = 0;
1737
+ for (const id of candidates) {
1738
+ if (remaining.ids.has(id)) continue;
1739
+ const path = attachmentPathOf(deps.home, "image", id);
1740
+ try {
1741
+ const stat = await deps.fs.statFile(path);
1742
+ entries.push({
1743
+ id,
1744
+ path,
1745
+ bytes: stat.size
1746
+ });
1747
+ bytes += stat.size;
1748
+ } catch (error) {
1749
+ if (!isMissing(error)) unreadableObjects += 1;
1750
+ }
1751
+ }
1752
+ if (unreadableObjects > 0) skipReasons.push(`${unreadableObjects} 个附件对象读不出`);
1753
+ return {
1754
+ entries,
1755
+ bytes,
1756
+ ...skipReasons.length > 0 ? { skipped: skipReasons.join(";") } : {}
1757
+ };
1758
+ }
1759
+ /**
1760
+ * 逐文件删;ENOENT 由端口的 `force` 吞掉;其他错误计数并继续。
1761
+ *
1762
+ * 删除动作只认「`home` + `id` 自己推导出来的那一条路径」:计划是数据,手搭的/被改过的条目
1763
+ * 只要路径与推导不一致就拒绝(计数为失败,不删),源文件因此没有删除入口。
1764
+ */
1765
+ async function executeImageAttachmentRemoval(deps, plan) {
1766
+ let removed = 0;
1767
+ let freedBytes = 0;
1768
+ let failed = 0;
1769
+ for (const entry of plan.entries) {
1770
+ let derived;
1771
+ try {
1772
+ derived = attachmentPathOf(deps.home, "image", entry.id);
1773
+ } catch (error) {
1774
+ failed += 1;
1775
+ console.warn(`附件清理拒绝:计划条目的 id 形状不对:${entry.id}`, error);
1776
+ continue;
1777
+ }
1778
+ if (derived !== entry.path) {
1779
+ failed += 1;
1780
+ console.warn(`附件清理拒绝:计划路径与 id 推导不一致:${entry.id}`, entry.path);
1781
+ continue;
1782
+ }
1783
+ try {
1784
+ await deps.fs.removeFile(derived);
1785
+ removed += 1;
1786
+ freedBytes += entry.bytes;
1787
+ } catch (error) {
1788
+ failed += 1;
1789
+ console.warn(`附件清理失败:${entry.id}`, error);
1790
+ }
1791
+ }
1792
+ return {
1793
+ removed,
1794
+ freedBytes,
1795
+ failed
1796
+ };
1797
+ }
1798
+ /** 真实宿主的图片库布局是 `objects/<2 hex>/<64 hex>`;这两条形状之外的名字一律不是候选。 */
1799
+ const OBJECT_PREFIX = /^[0-9a-f]{2}$/u;
1800
+ const OBJECT_NAME = /^[0-9a-f]{64}$/u;
1801
+ /**
1802
+ * 扫「当前没有任何引用源引用」的图片对象。
1803
+ *
1804
+ * 引用侧与删除计划共用同一条判据:活动会话 + 全部 `session-trash` 目录 + `storages/cache` JSON。
1805
+ * 任何一处读不出 ⇒ 整份报告跳过(fail closed),绝不把"读不出"折成"没有引用"。
1806
+ * 候选侧只认 `attachments/v1/objects` 下 `<2 hex>/<64 hex>` 这一种真实形状:`file-objects` /
1807
+ * `tmp` / `v2` / `cache` 与非规范名字一律不进候选——清理只处理 `.dsh` 内的图片副本。
1808
+ *
1809
+ * 对象列表或 stat 读不出同样整份跳过:报告宁可失败,也不给一份"少算了一些"的清理计划。
1810
+ */
1811
+ async function scanOrphanImageAttachments(deps) {
1812
+ let remaining;
1813
+ try {
1814
+ remaining = await collectRemainingImageRefs(deps, {
1815
+ sessionRoot: `${deps.home}/sessions`,
1816
+ excludeDirs: []
1817
+ });
1818
+ } catch (error) {
1819
+ return {
1820
+ entries: [],
1821
+ bytes: 0,
1822
+ skipped: `读不到引用源,无法判定孤儿附件:${String(error)}`
1823
+ };
1824
+ }
1825
+ if (remaining.unreadable.length > 0) return {
1826
+ entries: [],
1827
+ bytes: 0,
1828
+ skipped: `读不到引用源,无法判定孤儿附件:${remaining.unreadable[0]}`
1829
+ };
1830
+ const objectsRoot = `${deps.home}/attachments/v1/objects`;
1831
+ const entries = [];
1832
+ let bytes = 0;
1833
+ try {
1834
+ if (!await deps.fs.exists(objectsRoot)) return {
1835
+ entries: [],
1836
+ bytes: 0
1837
+ };
1838
+ for (const prefix of await deps.fs.listDirs(objectsRoot)) {
1839
+ if (!OBJECT_PREFIX.test(prefix)) continue;
1840
+ for (const name of await deps.fs.listFiles(`${objectsRoot}/${prefix}`)) {
1841
+ if (!OBJECT_NAME.test(name) || !name.startsWith(prefix)) continue;
1842
+ const id = `sha256:${name}`;
1843
+ if (remaining.ids.has(id)) continue;
1844
+ const objectPath = attachmentPathOf(deps.home, "image", id);
1845
+ const stat = await deps.fs.statFile(objectPath);
1846
+ entries.push({
1847
+ id,
1848
+ path: objectPath,
1849
+ bytes: stat.size
1850
+ });
1851
+ bytes += stat.size;
1852
+ }
1853
+ }
1854
+ } catch (error) {
1855
+ return {
1856
+ entries: [],
1857
+ bytes: 0,
1858
+ skipped: `读不到附件对象列表,无法判定孤儿:${String(error)}`
1859
+ };
1860
+ }
1861
+ return {
1862
+ entries,
1863
+ bytes
1864
+ };
1865
+ }
1866
+ /** 清掉扫描那一刻无引用的图片对象;扫描跳过 ⇒ 零删,并原样带回跳过的原因。 */
1867
+ async function cleanOrphanImageAttachments(deps) {
1868
+ const plan = await scanOrphanImageAttachments(deps);
1869
+ if (plan.skipped !== void 0) return {
1870
+ removed: 0,
1871
+ freedBytes: 0,
1872
+ failed: 0,
1873
+ skipped: plan.skipped
1874
+ };
1875
+ return executeImageAttachmentRemoval(deps, plan);
1876
+ }
1877
+ //#endregion
1878
+ //#region src/verbs/permanent-removal.ts
1879
+ /**
1880
+ * 永久删除的测量、计划与执行:先记录目录/字节/账本归属,再按计划动盘。
1881
+ * 计划函数只读;活体准入在计划阶段、任何写之前完成。
1882
+ */
1883
+ /** `exists → sizeOfDir` 的唯一一条度量口径(成员目录与回收站目录共用):先问在不在,再量字节;
1884
+ * ENOENT 是唯一一种当"不在"的失败,别的错误照旧响亮。别再在调用点各写一遍这段 try/catch。
1885
+ *
1886
+ * **已知粒度**:`sizeOfDir` 递归里撞到的 ENOENT 与"目录本身没了"是同一个码,所以目录里某个文件
1887
+ * 恰好在这一拍消失时,整条目录会被记成「不在」(`/list` 少算这条、删除计划里没有可删的字节,
1888
+ * 而清册行照旧摘——盘上留下目录等下一次 `reconcile` 重建成行,自愈、不丢数据)。复核一次
1889
+ * `exists(dir)` 能把两者分开,却会让「宿主正在写、文件刚被挪走」这类正常竞态把 `/list` 整个打红——
1890
+ * 这里选自愈不选响亮。 */
1891
+ async function probeDir(deps, dir) {
1892
+ if (!await deps.fs.exists(dir)) return {
1893
+ present: false,
1894
+ bytes: 0
1895
+ };
1896
+ try {
1897
+ return {
1898
+ present: true,
1899
+ bytes: await deps.fs.sizeOfDir(dir)
1900
+ };
1901
+ } catch (error) {
1902
+ if (isMissing(error)) return {
1903
+ present: false,
1904
+ bytes: 0
1905
+ };
1906
+ throw error;
1907
+ }
1908
+ }
1909
+ /** 成员的盘上目录与字节(扫描、清单装配与 purge 共用这一条路径/存在性/度量口径;
1910
+ * 目录缺席回 `undefined`,不拿一份"记录还在、盘上已经没了"的旧读数冒充盘上残留)。 */
1911
+ async function measureMemberDir(deps, member) {
1912
+ const dir = sessionDirOf(member.projectDir, member.sessionId, deps.home);
1913
+ const probe = await probeDir(deps, dir);
1914
+ return probe.present ? {
1915
+ dir,
1916
+ bytes: probe.bytes
1917
+ } : void 0;
1918
+ }
1919
+ /** 把一组成员折成"删之前要记下的计划";目录不在的成员跳过(记录与盘不一致是那条成员自己的事)。
1920
+ * `purge` 的盘上后代、`orphan-clean` 的整组与 `/list` 的盘上残留都走这一处,别再各写一遍
1921
+ * measure + workspaceOf。 */
1922
+ async function planMemberRemovals(deps, members) {
1923
+ const plans = [];
1924
+ for (const member of members) {
1925
+ const measured = await measureMemberDir(deps, member);
1926
+ if (measured === void 0) continue;
1927
+ const workspaceId = await deps.host.workspaceOf(member.sessionId);
1928
+ plans.push({
1929
+ sessionId: member.sessionId,
1930
+ ...measured,
1931
+ ...workspaceId === void 0 ? {} : { workspaceId }
1932
+ });
1933
+ }
1934
+ return plans;
1935
+ }
1936
+ /** 量一条回收站行;目录不在回 `present: false` / 0 字节(目录不在不等于清册行不用摘)。 */
1937
+ async function measureTrashRow(deps, entry) {
1938
+ const dir = trashDirOf(entry.id, deps.home);
1939
+ const probe = await probeDir(deps, dir);
1940
+ return {
1941
+ entry,
1942
+ dir,
1943
+ present: probe.present,
1944
+ bytes: probe.bytes
1945
+ };
1946
+ }
1947
+ /**
1948
+ * 盘上后代的选择判据(`/list` 与 purge 的删除计划共用这一份):`subagentMembersOf` 一次问全部父,
1949
+ * 再按 `bareSessionId` **排除全部清册 id**(跟着父进来的孩子不按盘上残留再算一遍),同一个 bare id 只认
1950
+ * **遍历顺序里第一次**出现的那条(同一个会话在两代宿主里的写法不同)。
1951
+ *
1952
+ * 语料看不见(`available: false`)⇒ 每个根都按空成员收:`/list` 与 purge 只许静默降级,
1953
+ * 盘上残留留给 `GET /orphans` 兜底。
1954
+ *
1955
+ * 结果按传入父 id 的原序分组、组内保持宿主交回的顺序:全局去重需要顺序,实测那一步可以并行。
1956
+ *
1957
+ * **单行读数和单行回执可能差一条**:同一个 bare id 若同时挂在两个组根下,全局去重只把它算给遍历
1958
+ * 顺序里第一个根;而对某个根单独 purge 时它仍会算进那一组 ⇒ 那条的 `releaseBytes` 与对它 purge 的
1959
+ * `freedBytes` 在共享后代上可以不等(全部可见行之和与 `/empty` 的回执仍相等)。数据里有环或两代
1960
+ * 写法混杂才会撞上,不为它多开一条口径。
1961
+ */
1962
+ async function selectStrandedMembers(host, manifest, parentIds) {
1963
+ const manifestIds = new Set(manifest.map((row) => bareSessionId(row.sessionId)));
1964
+ const read = await host.subagentMembersOf(parentIds);
1965
+ const seen = /* @__PURE__ */ new Set();
1966
+ return parentIds.map((parentId) => {
1967
+ const wanted = [];
1968
+ if (!read.available) return wanted;
1969
+ for (const member of read.value[parentId] ?? []) {
1970
+ const bare = bareSessionId(member.sessionId);
1971
+ if (manifestIds.has(bare) || seen.has(bare)) continue;
1972
+ seen.add(bare);
1973
+ wanted.push(member);
1974
+ }
1975
+ return wanted;
1976
+ });
1977
+ }
1978
+ /**
1979
+ * `/list` 的只读计划:一行 = 一组。释放量与 purge 用同一条口径——回收站目录与成员目录**现测**,
1980
+ * 不用清册里记的 `sizeBytes`(那是删除那一刻的事实,盘上早就变了)。
1981
+ *
1982
+ * 盘上后代经 `selectStrandedMembers` 选出(排除全部清册 id、bare id 全局只算一次);目录不在的成员
1983
+ * 不进 `members`(与 `planMemberRemovals` 同口径)。
1984
+ */
1985
+ async function planVisibleTrash(deps, rows, groups) {
1370
1986
  const candidates = await selectStrandedMembers(deps.host, rows, groups.map((group) => group.root.sessionId));
1371
1987
  return await Promise.all(groups.map(async ({ root, kids }, index) => {
1372
1988
  const rootRow = await measureTrashRow(deps, root);
@@ -1397,6 +2013,8 @@ function totalBytes(items) {
1397
2013
  * - 盘上后代经 `selectStrandedMembers` 选出(一次问全部 targets、排除全部清册 id、bare id 全局只计划一次)。
1398
2014
  * - `members` 只收盘上还有目录的成员(目录缺席没有可删的字节);`unarchive` = targets + 这些成员:
1399
2015
  * 只摘这一次真要碰的 id。
2016
+ * - `attachments` 由被删目录(targets + 这些成员)里的图片引用与全部剩余引用源算独占;共享的保留、
2017
+ * 剩余引用源读不出就整体跳过(判据住 `trash/attachments.ts`,这里只接线)。
1400
2018
  * - 活体准入在量目录与任何写之前逐个查 targets 与**全部枚举到的**盘上后代;任一在跑就整条拒绝、
1401
2019
  * 零副作用。没有跳过它的开关——计划就是执行前的闸(ADR-0006)。
1402
2020
  * - `sessionQuery` 缺席时端口回 `{ available: false }` ⇒ members 为空、不抛(盘上残留留给 `GET /orphans` 兜底)。
@@ -1406,12 +2024,14 @@ async function planTrashRemoval(deps, rows, targets) {
1406
2024
  await assertNoLive(deps.host, [...targets.map((entry) => entry.sessionId), ...candidates.map((member) => member.sessionId)]);
1407
2025
  const trash = await Promise.all(targets.map((entry) => measureTrashRow(deps, entry)));
1408
2026
  const members = await planMemberRemovals(deps, candidates);
2027
+ const attachments = await planImageAttachmentRemoval(deps, [...trash.map((row) => row.dir), ...members.map((member) => member.dir)]);
1409
2028
  return {
1410
2029
  kind: "trash",
1411
2030
  trash,
1412
2031
  members,
1413
2032
  unarchive: [...targets.map((entry) => entry.sessionId), ...members.map((member) => member.sessionId)],
1414
- bytes: totalBytes(trash) + totalBytes(members)
2033
+ bytes: totalBytes(trash) + totalBytes(members),
2034
+ attachments
1415
2035
  };
1416
2036
  }
1417
2037
  /**
@@ -1421,36 +2041,43 @@ async function planTrashRemoval(deps, rows, targets) {
1421
2041
  * - `unarchive` 覆盖**全部传入成员**(含目录缺席):orphan-clean 在删目录之前整批摘归档集,
1422
2042
  * 目录缺席的 id 也可能还挂在归档集里;重试时不会再长出一条幽灵 id。
1423
2043
  * - live 准入覆盖**全部传入成员**(含目录缺席):它们都在这一组的可见面里,任一在跑就整组拒绝。
2044
+ * - `attachments` 的剩余引用源由附件域自己扫(活动会话 + 全部 session-trash + storages/cache),
2045
+ * 共享图片因此保留(判据住 `trash/attachments.ts`)。
1424
2046
  * - 回执由 `kind:'orphan'` 派生:删目录阶段失败时执行器要交回 `{removed, freedBytes, failedSessionId}`。
1425
2047
  */
1426
2048
  async function planOrphanRemoval(deps, members) {
1427
2049
  await assertNoLive(deps.host, members.map((member) => member.sessionId));
1428
2050
  const present = await planMemberRemovals(deps, members);
2051
+ const attachments = await planImageAttachmentRemoval(deps, present.map((member) => member.dir));
1429
2052
  return {
1430
2053
  kind: "orphan",
1431
2054
  trash: [],
1432
2055
  members: present,
1433
2056
  unarchive: members.map((member) => member.sessionId),
1434
- bytes: totalBytes(present)
2057
+ bytes: totalBytes(present),
2058
+ attachments
1435
2059
  };
1436
2060
  }
1437
2061
  /**
1438
2062
  * 按计划执行一次永久删除:只写、不再量、不再判活体(计划就是执行前的闸)。回执的字节念计划
1439
2063
  * (`plan.bytes`),执行期不再累加一遍。
1440
2064
  *
1441
- * 顺序(与迁移前的 purge / orphan-clean 一致):整批摘归档集 → 摘有账本的成员的账本 → 逐条回收站行
1442
- * (在才删目录 → 摘清册行 → 通告成员离场)→ 逐条盘上成员(删目录 → 通告成员离场)。目录删掉就没有
1443
- * "退回去"这回事,中途失败**不回滚**;已经删掉的由下面的计数器如实交回。
2065
+ * 顺序:整批摘归档集 → 摘有账本的成员的账本 → 逐条回收站行
2066
+ * (在才删目录 → 摘清册行 → 通告成员离场)→ 逐条盘上成员(删目录 → 通告成员离场)→ 逐条附件对象。
2067
+ * 目录删掉就没有"退回去"这回事,中途失败**不回滚**;已经删掉的由下面的计数器如实交回。
1444
2068
  *
1445
- * 失败形状沿用调用方原来的措辞与结构:
2069
+ * 附件清理排在**所有会话目录删完之后**:对象只在会话真的没了之后才动;单文件失败只进
2070
+ * `attachments.failed`,不影响(也不回滚)会话删除的回执。
2071
+ *
2072
+ * 失败形状:
1446
2073
  * - `kind:'orphan'`(orphan-clean)⇒ `io` + `{removed, freedBytes, failedSessionId}`,不伪装成整组没动;
1447
- * - `kind:'trash'`(purge)⇒ 同一个标签、不带 details。
1448
- * - orphan-clean 的 unarchive / detach 在旧实现里不包装,这里原样抛出(不改变现有错误形状)。
2074
+ * - `kind:'trash'`(purge)⇒ 同一个标签、不带 details;
2075
+ * - orphan-clean 的 unarchive / detach 原样抛出。
1449
2076
  *
1450
2077
  * 通告只经 `member-presence`(摘活体三态 + `api-session/removed`),不在这里另写一份。
1451
2078
  */
1452
2079
  async function executeRemoval(deps, plan) {
1453
- const presence = createMemberPresence(deps.host);
2080
+ const presence = deps.presence;
1454
2081
  let removed = 0;
1455
2082
  /** 删到这一刻已经腾出的**进度**:只喂 `orphan` 的部分回执;成功回执念计划的合计(`plan.bytes`)。 */
1456
2083
  let freedSoFar = 0;
@@ -1512,9 +2139,14 @@ async function executeRemoval(deps, plan) {
1512
2139
  freedSoFar += member.bytes;
1513
2140
  await presence.memberGone(member.sessionId);
1514
2141
  }
2142
+ const attachments = await executeImageAttachmentRemoval(deps, plan.attachments);
1515
2143
  return {
1516
2144
  removed,
1517
- freedBytes: plan.bytes
2145
+ freedBytes: plan.bytes,
2146
+ attachments: {
2147
+ ...attachments,
2148
+ ...plan.attachments.skipped === void 0 ? {} : { skipped: plan.attachments.skipped }
2149
+ }
1518
2150
  };
1519
2151
  }
1520
2152
  //#endregion
@@ -1568,10 +2200,10 @@ function orphanGroupsOf(corpus, trashSessionIds) {
1568
2200
  }
1569
2201
  return groups;
1570
2202
  }
1571
- /** **本函数是纯扫描,不对账、不写清册行**(`/orphans` 声明为 pure,一次扫描不能顺手写行)。清册默认读
1572
- * `ledger.raw()`;写路径(`orphan-clean`)可以在调它之前先 `ledger.list()` 对账,并把交回的行递进来,
1573
- * 免得同一份索引再读一遍——否则刚被人手工搬进 `session-trash/` 的父目录还没有行,会被当成"父没了"
1574
- * 直接删盘。
2203
+ /** **本函数是纯扫描,不对账、不写清册行**(`/orphans` 声明为 pure,一次扫描不能顺手写行)。
2204
+ * 清册行由调用方选好再交进来:`/orphans` 交 `read.rows()`(raw 索引),`orphan-clean` 交
2205
+ * `ledger.list()`(对账后的行)——否则刚被人手工搬进 `session-trash/` 的父目录还没有行,会被当成
2206
+ * "父没了"直接删盘。扫描不再自己回落到 `ledger.raw()`:读面归属住路由记录(ADR-0004 / ADR-0012)。
1575
2207
  *
1576
2208
  * `listSessions()` 回 `{ available: false }` 时**必须抛**:那是宿主的会话语料服务没挂,不是"这个家没有孤儿"。
1577
2209
  * 拿缺席当空语料 ⇒ 报告说"零条孤儿"、界面上一句"没有要清理的",而盘上真有几百 MB——那是假话,
@@ -1580,7 +2212,7 @@ async function loadOrphanGroups(deps, trash) {
1580
2212
  const read = await deps.host.listSessions();
1581
2213
  if (!read.available) throw verbError("io", "无主子会话扫描需要宿主的 sessionQuery.listSessions");
1582
2214
  const corpus = read.value;
1583
- const groups = orphanGroupsOf(corpus, (trash ?? await deps.ledger.raw()).map((entry) => entry.sessionId));
2215
+ const groups = orphanGroupsOf(corpus, trash.map((entry) => entry.sessionId));
1584
2216
  const out = [];
1585
2217
  for (const group of groups) {
1586
2218
  const members = [];
@@ -1640,6 +2272,7 @@ function reportOrphans(groups) {
1640
2272
  * - `unarchive` 对未归档的会话是官方幂等 no-op(`registry.unarchiveSession`),所以这里不需要那次
1641
2273
  * `wasArchived` 读——这里没有"还原到删除前"的义务。
1642
2274
  * - 摘账本只在账本真记着它时做(`workspaceOf` 未命中 = 本来就是「未分组」,不是故障)。
2275
+ * - 独占图片的剩余引用源由附件域自己扫:活动会话 + 全部 session-trash + storages/cache。
1643
2276
  */
1644
2277
  async function cleanOrphanGroup(deps, group) {
1645
2278
  return await executeRemoval(deps, await planOrphanRemoval(deps, group.members));
@@ -1658,42 +2291,39 @@ async function cleanOrphanGroup(deps, group) {
1658
2291
  * 再摘账本、最后删目录"的顺序都住 `verbs/permanent-removal.ts`——计划只读,执行器只写,计划就是
1659
2292
  * 执行前的闸(别在这里再长出一段手写步骤)。
1660
2293
  *
1661
- * **这条动词不做回滚**:目录删掉就没有"退回去"这回事(2026-10-19 `f2a7757`:删到一半失败时已删目录不回滚;
2294
+ * **这条动词不做回滚**:目录删掉就没有"退回去"这回事(删到一半失败时已删目录不回滚;
1662
2295
  * 带部分计数的 `details` 回执只属于 `orphan-clean`,purge 的 `removed` / `freedBytes` 仍只在成功回执里给)。
1663
2296
  * 对应地,`kind:'trash'` 的计划失败时执行器只抛那一步的 `io` 与原文、不带 details。
2297
+ *
2298
+ * 回执里的 `attachments` 原样来自执行器:独占图片在会话目录删完之后才清,附件失败只计数、不改
2299
+ * `removed` / `freedBytes`(`skipped` = 有候选或剩余引用源读不出、这一轮部分或整体没清,原因上屏)。
1664
2300
  */
1665
2301
  function purgeTrash(deps) {
1666
2302
  return async function purgeTrash(targets, rows, requestedId) {
1667
2303
  const selected = targets ?? rows;
1668
- if (targets !== void 0 && selected.length === 0) throw verbError("trash-empty", requestedId === void 0 ? "回收站里没有这一条" : `回收站里没有这一条:${requestedId}`);
2304
+ if (targets !== void 0 && selected.length === 0) throw trashEmpty(requestedId);
1669
2305
  return await executeRemoval(deps, await planTrashRemoval(deps, rows, selected));
1670
2306
  };
1671
2307
  }
1672
2308
  //#endregion
1673
2309
  //#region src/verbs/restore-session.ts
1674
2310
  /**
1675
- * 恢复 = 把删除那次**按原路退回**,而且按组走:当年是按组一起搬进来的(父 + 它在盘上的孩子),
1676
- * 只回父就会在回收站里留下一堆点不到的孩子行——清单只列父行,那些行既看不见也清不掉。
1677
- *
1678
- * 三段与删除对称(成员循环与整组回滚的实现住 `verbs/move-group.ts`):
1679
- * ① **预检整组**(一个字节都不写):每个成员的回收站目录与项目目录都得在。缺席的判据与原来一致
1680
- * (回收站目录不在 = `trash-empty`;原项目目录不在 = `project-missing`,且绝不静默建目录)。
1681
- * 预检在写之前,是为了不让"父已经回到 `sessions/`、孩子因为项目目录没了而回不去"这种半组留在外面。
1682
- * **工作区账本不在这条硬前提里**:宿主的「删除工作区」只删注册、保留日志,记下的工作区没了就按
1683
- * 「未分组」收(判据在 {@link attachableWorkspaceId}),照旧回盘——恢复是加法,不该因为一个可选的账目而失败。
1684
- * ② **逐个恢复**,顺序与删除相反:文件先回来 → 挂账本 →(旧清单迁移)取消归档 → 摘清册行。
1685
- * ③ 中途失败时 journal 把这个成员自己退回回收站;**已经恢复完的**兄弟由整组 catch 按相反顺序一起退回。
1686
- *
1687
- * **通告不在这里**:一次批量只该拉一遍宿主会话表、只发一次 `api-session/added`(2026-10-17 那次
1688
- * "恢复很慢"就是逐条发)。通告归 `verbs/batch.ts`(ADR-0002),所以这个动词的 interface 是
1689
- * "一个条目 id + 这一组进、回收站那一行出",没有批量专用的开关。
2311
+ * 恢复:把删除那次按原路退回,并按组走。
2312
+ *
2313
+ * 三段:
2314
+ * 1. 预检整组(不写盘):每个成员的回收站目录与原项目目录都必须在;工作区账本缺席不算硬失败,
2315
+ * 恢复后归入「未分组」。预检在任何写之前,避免留下半组。
2316
+ * 2. 逐个恢复:文件先回来 → 挂账本 →(旧条目)取消归档 → 摘清册行。
2317
+ * 3. 中途失败由 journal 回滚当前成员;已恢复的兄弟由整组按相反顺序退回。
2318
+ *
2319
+ * 通告不在本文件:批量层在批尾一次 `announceRestored(ids)`(ADR-0002)。
1690
2320
  */
1691
2321
  function restoreSession(deps) {
1692
- const presence = createMemberPresence(deps.host);
2322
+ const presence = deps.presence;
1693
2323
  return async function restoreSession(entryId, group) {
1694
2324
  const [root, ...followers] = group;
1695
2325
  const target = group.find((e) => e.id === entryId);
1696
- if (root === void 0 || target === void 0) throw verbError("trash-empty", `回收站里没有这一条:${entryId}`);
2326
+ if (root === void 0 || target === void 0) throw trashEmpty(entryId);
1697
2327
  for (const entry of group) {
1698
2328
  const trashDir = trashDirOf(entry.id, deps.home);
1699
2329
  if (!await deps.fs.exists(trashDir)) throw verbError("trash-empty", `回收站条目已不在磁盘上:${trashDir}`);
@@ -1713,8 +2343,7 @@ function restoreSession(deps) {
1713
2343
  return target;
1714
2344
  };
1715
2345
  }
1716
- /** 放回哪儿:用**删除时记进 entryId 的那段原目录名**,不从 `sessionId` 现推(CONTEXT.md 的「条目」条)——
1717
- * 因此不依赖宿主当时的目录命名约定(v3 无前缀 / v4 带 `session-` 前缀)。 */
2346
+ /** 放回哪儿:用删除时记进 entryId 的原目录名,不从 sessionId 现推;因此不依赖宿主的目录命名约定。 */
1718
2347
  function restoreTargetDir(deps, entry) {
1719
2348
  return sessionDirOf(entry.projectDir, parseEntryId(entry.id).sessionDirName, deps.home);
1720
2349
  }
@@ -1739,20 +2368,16 @@ async function isWorkspaceMissing(host, entry) {
1739
2368
  return entry.workspaceId !== "" && await attachableWorkspaceId(host, entry) === void 0;
1740
2369
  }
1741
2370
  /**
1742
- * 一个成员的恢复步骤(顺序与删除相反):放回目录 → 挂账本 →(旧清单迁移)取消归档 → 摘清册行。
1743
- *
1744
- * 账本那一步有个**只认端口那句**的兜底:查过之后、挂之前账本被删掉(宿主的「删除工作区」与这次恢复
1745
- * 撞上)⇒ 按未分组收、不回滚;**别的**失败是真故障,照旧抛(吞掉它就等于把一次存储故障伪装成"未分组")。
2371
+ * 一个成员的恢复步骤:放回目录 → 挂账本 →(旧条目)取消归档 → 摘清册行。
2372
+ * 挂账本时若工作区刚被删除,按未分组收、不回滚;其他失败照抛,不能伪装成未分组。
1746
2373
  */
1747
2374
  async function memberRestore(deps, presence, entry) {
1748
2375
  const trashDir = trashDirOf(entry.id, deps.home);
1749
2376
  const sessionDir = restoreTargetDir(deps, entry);
1750
2377
  const workspaceId = await attachableWorkspaceId(deps.host, entry);
1751
- /**
1752
- * **旧清单迁移**:2026-10-21 之前的删除用归档来藏会话,所以那些条目在盘上仍是归档态。
1753
- * 新删除不再碰归档(回收站与归档解耦)⇒ `wasArchived:false` 且当前**仍**归档的,只可能是旧条目;
1754
- * 恢复时取消归档。`wasArchived:true` 是用户删除前自己归档的,保持归档态不动。
1755
- */
2378
+ /** 旧条目迁移:早期删除用归档藏会话,盘上仍是归档态。
2379
+ * `wasArchived:false` 且当前仍归档 ⇒ 只可能是旧条目,恢复时取消归档;
2380
+ * `wasArchived:true` 是用户删除前自己归档的,保持归档态。 */
1756
2381
  const legacyArchived = !entry.wasArchived && await deps.host.isArchived(entry.sessionId);
1757
2382
  /** 真挂上了账本才记下那个 id——回滚里"摘账本"那一步只对挂过的成员存在。 */
1758
2383
  let attached = false;
@@ -1812,26 +2437,15 @@ async function memberRestore(deps, presence, entry) {
1812
2437
  //#endregion
1813
2438
  //#region src/verbs/batch.ts
1814
2439
  /**
1815
- * **「这一批」的唯一拥有者**(ADR-0002):`POST /apply` 的落点——一组 id 上的同一个动作。
2440
+ * 「这一批」的唯一实现(ADR-0002):POST /apply 的落点——一组 id 上的同一个动作。
1816
2441
  *
1817
- * 五个动作:`delete` / `restore` / `purge` / `count` / `orphan-clean`。
2442
+ * 批量是请求的性质,不是单个动词的性质。这里拥有三件事:
2443
+ * - 去重并保持输入顺序;
2444
+ * - 逐条信封:一条失败不传染下一条,失败按 map-error 折成错误对象;
2445
+ * - 恢复通告攒到批尾,一次 announceRestored(ids)。
1818
2446
  *
1819
- * 为什么批量要有自己的 module:批量是**请求**的性质,不是某一条动词的性质。此前它长在三个动词的
1820
- * interface 上(`onMembers` / `snapshot` / `suppressAnnounce`),于是每个动词都得知道"我是第几个、
1821
- * 前面的兄弟带走了谁",同一个事实还有三种机制(回调、调用方 `taken` 集合、动词就地收缩数组)。
1822
- *
1823
- * 这一层拥有三件(每条批量语义都在这里):
1824
- * ① **去重保序**:输入顺序就是界面"清单从上往下"的读感;
1825
- * ② **逐条信封**:一条失败不传染下一条,失败按 `map-error` 那张表折成 `{code,message,details?}`;
1826
- * ③ **一批一次通告**:恢复的 `api-session/added` 攒到批尾、调一次 `announceRestored(ids)`(预取与逐条
1827
- * 发送都在 adapter 里;逐条调 = 每条一次宿主全表扫,那正是 2026-10-17 "恢复很慢"的头号来源)。
1828
- *
1829
- * **同批已带走集**(整批只读一次"最初的样子")住 `src/verbs/batch-carried.ts`;这里消费它的
1830
- * `claim` / `take`,purge 另取 entry 域的 `rows()` 作为当前只读清册。
1831
- *
1832
- * 「已被同批前一条带走」是**幂等成功**,不是失败:用户要的结果本来就已经达成了(`delete`/`restore`
1833
- * 回 `null`;`purge` 回 `{removed:0,freedBytes:0}`)。判据仍归 `trash/groups.ts`(ADR-0001,
1834
- * 由 `batch-carried.ts` 调用),同批已带走集只决定"这一条还该不该交给动词"。
2447
+ * 「已被同批前一条带走」是幂等成功(delete/restore 回 null,purge 回 0),不是失败;
2448
+ * 判据在 trash/groups.ts,同批已带走集在 batch-carried.ts。
1835
2449
  */
1836
2450
  function failure(id, action, error) {
1837
2451
  return {
@@ -1858,325 +2472,159 @@ function unique(ids) {
1858
2472
  if (seen.has(id)) continue;
1859
2473
  seen.add(id);
1860
2474
  out.push(id);
1861
- }
1862
- return out;
1863
- }
1864
- /**
1865
- * 一条 id 一条结果:**这是批量唯一的形式**(单条就是长度为 1 的批量,仓里不留第二条执行路径)。
1866
- * 动词只收一个 id、只吐一条结果;`try/catch` 在这一处,失败不传染下一条。
1867
- */
1868
- async function forEachId(action, ids, run) {
1869
- const outcomes = [];
1870
- for (const id of unique(ids)) try {
1871
- outcomes.push(success(id, action, await run(id)));
1872
- } catch (error) {
1873
- outcomes.push(failure(id, action, error));
1874
- }
1875
- return outcomes;
1876
- }
1877
- async function applyDelete(deps, ids) {
1878
- const run = deleteSession(deps);
1879
- const carried = createSessionCarried();
1880
- return forEachId("delete", ids, async (sessionId) => {
1881
- if (carried.claim(sessionId).verdict === "carried") return null;
1882
- const { entry, movedSessionIds } = await run(sessionId);
1883
- for (const movedId of movedSessionIds) carried.take(movedId);
1884
- return entry;
1885
- });
1886
- }
1887
- /** 「这条是不是被同批前一条带走了」与视图收缩都归 `batch-carried.ts`;`apply` 整批只读一次清册,
1888
- * 动词只拿它交回的只读组与当前清册。 */
1889
- async function applyRestore(deps, ids) {
1890
- const carried = createEntryCarried(await deps.ledger.list());
1891
- const run = restoreSession(deps);
1892
- const restored = [];
1893
- const outcomes = await forEachId("restore", ids, async (entryId) => {
1894
- const claim = carried.claim(entryId);
1895
- if (claim.verdict === "carried") return null;
1896
- const group = claim.verdict === "fresh" ? claim.group : [];
1897
- const entry = await run(entryId, group);
1898
- carried.take(entryId);
1899
- restored.push(...group.map((row) => row.sessionId));
1900
- return entry;
1901
- });
1902
- if (restored.length > 0) await deps.host.announceRestored(restored);
1903
- return outcomes;
1904
- }
1905
- async function applyPurge(deps, ids) {
1906
- const carried = createEntryCarried(await deps.ledger.list());
1907
- const run = purgeTrash(deps);
1908
- return forEachId("purge", ids, async (entryId) => {
1909
- const claim = carried.claim(entryId);
1910
- if (claim.verdict === "carried") return {
1911
- removed: 0,
1912
- freedBytes: 0
1913
- };
1914
- const group = claim.verdict === "fresh" ? claim.group : [];
1915
- const stats = await run(group, carried.rows(), entryId);
1916
- carried.take(entryId);
1917
- return stats;
1918
- });
1919
- }
1920
- /** 删除确认框那句「含 N 个子会话」:一次问完整批(`subagentMembersOf` 本来就是批量口)。
1921
- * 宿主口缺席(`available:false`)时按 0(这里不再有"空表"这一步);真读失败则整次调用失败,
1922
- * 浏览器半按"读不到"把整句不说。 */
1923
- async function applyCount(deps, ids) {
1924
- const wanted = unique(ids);
1925
- const read = await deps.host.subagentMembersOf(wanted);
1926
- return wanted.map((id) => success(id, "count", read.available ? read.value[id]?.length ?? 0 : 0));
1927
- }
1928
- /**
1929
- * 清一组无主子会话(父已被彻底删掉、孩子还留在 `sessions/` 里的那些)。id 是**根会话 id**——
1930
- * 界面先 `GET /orphans` 拿 `roots` 再原样带回来,所以这里的 `not-found` 说的是"这句话已经过期了"
1931
- * (父又被人放回回收站、组已被上一个请求带走,或另一处已经把目录清掉),不是"用户打错了一个 id"。
1932
- * 根 id 两边都去 `session-` 前缀再比:报告原样回传是正常路径,外部调用带另一种写法也认。
1933
- *
1934
- * **这是写动作,排在到达序链上**,而且**先对账再扫**:`loadOrphanGroups` 本身只扫描、不写清册;
1935
- * 这里先把 `ledger.list()` 对账后的行交给它——刚被人手工搬进 `session-trash/` 的那一格目录此刻可能还
1936
- * 没有对应行,拿 raw 索引扫就会把"父还在回收站里等着"的一组当成孤儿**直接删盘**,替用户做了一个没人
1937
- * 点过的决定(那种组该跟着父恢复或彻底删除)。
1938
- */
1939
- async function applyOrphanClean(deps, ids) {
1940
- const groups = await loadOrphanGroups(deps, await deps.ledger.list());
1941
- const byRoot = new Map(groups.map((group) => [bareSessionId(group.root.sessionId), group]));
1942
- return forEachId("orphan-clean", ids, async (id) => {
1943
- const group = byRoot.get(bareSessionId(id));
1944
- if (group === void 0) throw verbError("not-found", `不再是可清理的无主子会话:${id}`);
1945
- return await cleanOrphanGroup(deps, group);
1946
- });
1947
- }
1948
- function applyActions(deps, action, ids) {
1949
- switch (action) {
1950
- case "delete": return applyDelete(deps, ids);
1951
- case "restore": return applyRestore(deps, ids);
1952
- case "purge": return applyPurge(deps, ids);
1953
- case "count": return applyCount(deps, ids);
1954
- case "orphan-clean": return applyOrphanClean(deps, ids);
1955
- }
1956
- }
1957
- //#endregion
1958
- //#region src/log/zstd-frames.ts
1959
- const MAGIC = [
1960
- 40,
1961
- 181,
1962
- 47,
1963
- 253
1964
- ];
1965
- /** magic(4) + Frame_Header_Descriptor(1) 之后第一个字节的偏移。 */
1966
- const AFTER_DESCRIPTOR = 5;
1967
- const BLOCK_HEADER_BYTES = 3;
1968
- const BLOCK_LAST = 1;
1969
- const BLOCK_TYPE_SHIFT = 1;
1970
- const BLOCK_SIZE_SHIFT = 3;
1971
- const BLOCK_SIZE_MASK = 2097151;
1972
- const BLOCK_RAW = 0;
1973
- const BLOCK_RLE = 1;
1974
- const BLOCK_COMRESSED = 2;
1975
- /** 规范(RFC 8878 表 4)里 3 是 **Reserved**,不是"未压缩块":见到就抛,别照 Raw 吞块体。 */
1976
- const BLOCK_RESERVED = 3;
1977
- /** descriptor 各字段的取值 → 字段字节数(zstd 帧头的两张尺寸表)。 */
1978
- const DID_SIZES = [
1979
- 0,
1980
- 1,
1981
- 2,
1982
- 4
1983
- ];
1984
- const FCS_SIZES_SINGLE = [
1985
- 1,
1986
- 2,
1987
- 4,
1988
- 8
1989
- ];
1990
- const FCS_SIZES_MULTI = [
1991
- 0,
1992
- 2,
1993
- 4,
1994
- 8
1995
- ];
1996
- /** 实测的帧尾长度(校验和位置;bit5 没置位也照样带,见文件头注)。 */
1997
- const FRAME_TAIL_BYTES = 4;
1998
- function isMagicAt(raw, at) {
1999
- return MAGIC.every((byte, i) => raw[at + i] === byte);
2000
- }
2001
- function readUint24LE(raw, at) {
2002
- return raw[at] | raw[at + 1] << 8 | raw[at + 2] << 16;
2003
- }
2004
- /** 块体之后有没有那 4 字节尾巴:只有"跳过它之后仍是帧头或到 EOF"才认。 */
2005
- function withFrameTail(raw, at) {
2006
- const afterTail = at + FRAME_TAIL_BYTES;
2007
- if (afterTail <= raw.length && (afterTail === raw.length || isMagicAt(raw, afterTail))) return afterTail;
2008
- return at;
2009
- }
2010
- /**
2011
- * 把 `raw` 切成帧区间。
2012
- * @throws 起始处不是 magic、或某帧算到的末位既不是下一帧帧头也不是 EOF——**一律抛**,
2013
- * 绝不"尽力往下解":切错帧的后果是把半截压缩体当解压输入,那时解出来的东西不可信。
2014
- */
2015
- function frameRanges(raw) {
2016
- const ranges = [];
2017
- let at = 0;
2018
- while (at < raw.length) {
2019
- if (!isMagicAt(raw, at)) throw new Error(`zstd 帧头缺席:偏移 ${at} 处不是 magic(前面第 ${ranges.length} 帧的边界算歪了?)`);
2020
- const descriptor = raw[at + 4];
2021
- if (descriptor === void 0) throw new Error(`zstd 帧头不完整:偏移 ${at} 之后不足 ${AFTER_DESCRIPTOR} 字节`);
2022
- const fcsFlag = descriptor & 3;
2023
- const singleSegment = descriptor >> 2 & 1;
2024
- const didFlag = descriptor >> 6 & 3;
2025
- let cursor = at + AFTER_DESCRIPTOR;
2026
- if (!singleSegment) cursor += 1;
2027
- cursor += DID_SIZES[didFlag];
2028
- cursor += (singleSegment ? FCS_SIZES_SINGLE : FCS_SIZES_MULTI)[fcsFlag];
2029
- for (;;) {
2030
- const blockHeader = readUint24LE(raw, cursor);
2031
- cursor += BLOCK_HEADER_BYTES;
2032
- if (cursor > raw.length) throw new Error(`zstd 块头越界:帧起于 ${at},读到偏移 ${cursor}(文件长 ${raw.length})`);
2033
- const blockType = blockHeader >> BLOCK_TYPE_SHIFT & 3;
2034
- const blockSize = blockHeader >> BLOCK_SIZE_SHIFT & BLOCK_SIZE_MASK;
2035
- if (blockType === BLOCK_RESERVED) throw new Error(`zstd 保留块类型:帧起于 ${at},偏移 ${cursor - BLOCK_HEADER_BYTES} 的块头 type=3(规范 Reserved,对面解不开)`);
2036
- if (blockType === BLOCK_RAW || blockType === BLOCK_COMRESSED) cursor += blockSize;
2037
- else if (blockType === BLOCK_RLE) cursor += 1;
2038
- if (blockHeader & BLOCK_LAST) break;
2039
- }
2040
- cursor = withFrameTail(raw, cursor);
2041
- if (cursor !== raw.length && !isMagicAt(raw, cursor)) throw new Error(`zstd 帧边界算歪了:帧起于 ${at},算到 ${cursor},那里既不是下一帧帧头也不是 EOF`);
2042
- ranges.push({
2043
- start: at,
2044
- end: cursor
2045
- });
2046
- at = cursor;
2047
- }
2048
- return ranges;
2049
- }
2050
- //#endregion
2051
- //#region src/log/session-log.ts
2052
- /**
2053
- * 会话日志(`session.vN.jsonl.zstd`)的**逐帧读法**:帧边界交给 `zstd-frames.ts`,这一层只做
2054
- * 「帧 → 明文 → 一行一条 JSON」的解码,并把每条记录原样交给回调。
2055
- *
2056
- * **策略不在这里**(哪些 `type` 算正文、截断到多少字、算不算失败)——那是 `src/trash/detail.ts` 的事。
2057
- * 这一层只懂编解码,所以它能被单独验穿。
2058
- *
2059
- * 两条实测决定的口径:
2060
- * ① **必须逐帧**:Node 的 `zstdDecompressSync` 与 `createZstdDecompress()` 都只给第一帧(见
2061
- * `zstd-frames.ts` 头注);明文留在手里会一次装下整条日志(本机 125 条合计 280.7 MB),
2062
- * 所以**一帧一帧解、解完就撒手**,内存口径是"最大那一帧的明文"(实测 8.99 MB)而不是整条。
2063
- * ② **一行的余量跨帧带走**(2026-10-16 改,原来靠"跳过解不开的行"兜):写作侧是一条条 append,
2064
- * 本机实测**没有一帧切在行中间**(连最后一帧都整行收尾;绝对帧数随盘上会话数摆动,那份读数
2065
- * 不在这里钉,来历留在 git 历史),
2066
- * 所以旧口径当时并不丢东西;但"逐帧 `split('\n')`"一旦遇上切行就是**静默少一条记录**(半个头
2067
- * 加半个身,两半都解不开 JSON),而少掉的那条正是页面上要跟账的正文。带上余量之后这条不变量
2068
- * 不必再成立,顺带把**跨帧的多字节字符**也解对了——拼接在字节层做,`toString('utf8')` 只看整行。
2069
- * 真被切断的尾巴(写一半)仍然**跳过并计数**:绝不因为一行就抛整个读数,前面几百条是真的。
2070
- */
2071
- const NEWLINE = 10;
2072
- /**
2073
- * 宿主给每一代日志的词法(逐字取自 `@deepseek-ai/dsh-session-format@0.2.0-rc.2` 的
2074
- * `CANONICAL_LOG_FILENAME`,剥掉压缩后缀那段由我们自己在正则里补上 `.zstd`):
2075
- * 裸名 `session.jsonl` 是**第 0 代**,往后是 `session.vN`;`.v0`、前导零、大写、临时名都不是规范名。
2076
- */
2077
- const CANONICAL_ZSTD_LOG = /^session(?:\.v([1-9][0-9]*))?\.jsonl\.zstd$/u;
2475
+ }
2476
+ return out;
2477
+ }
2078
2478
  /**
2079
- * 同一个会话目录里**可以并存多代日志**(宿主换代时把老代留在原地当历史语料,本机实测 7 个目录如此),
2080
- * 而新代是老代的**迁移后超集**(实测:`firstTs` 与开头那条提问完全相同、记录更多、末尾更晚)
2081
- * ⇒ 要读的是版本号最大的那一代,读旧代 = 读到一份截了尾巴的快照;把几代拼起来 = 重复计数。
2082
- *
2083
- * 明文(无 `.zstd`)不在此列:本插件的读法逐帧解 zstd,明文得走另一条解码路。
2479
+ * 一条 id 一条结果:**这是批量唯一的形式**(单条就是长度为 1 的批量,仓里不留第二条执行路径)。
2480
+ * 动词只收一个 id、只吐一条结果;`try/catch` 在这一处,失败不传染下一条。
2084
2481
  */
2085
- function pickSessionLog(names) {
2086
- let best;
2087
- let bestVersion = -1;
2088
- for (const name of names) {
2089
- const match = CANONICAL_ZSTD_LOG.exec(name);
2090
- if (match === null) continue;
2091
- const version = match[1] === void 0 ? 0 : Number(match[1]);
2092
- if (version > bestVersion) {
2093
- bestVersion = version;
2094
- best = name;
2095
- }
2482
+ async function forEachId(action, ids, run) {
2483
+ const outcomes = [];
2484
+ for (const id of unique(ids)) try {
2485
+ outcomes.push(success(id, action, await run(id)));
2486
+ } catch (error) {
2487
+ outcomes.push(failure(id, action, error));
2096
2488
  }
2097
- return best;
2489
+ return outcomes;
2490
+ }
2491
+ async function applyDelete(deps, ids) {
2492
+ const run = deleteSession(deps);
2493
+ const carried = createSessionCarried();
2494
+ return forEachId("delete", ids, async (sessionId) => {
2495
+ if (carried.claim(sessionId).verdict === "carried") return null;
2496
+ const { entry, movedSessionIds } = await run(sessionId);
2497
+ for (const movedId of movedSessionIds) carried.take(movedId);
2498
+ return entry;
2499
+ });
2500
+ }
2501
+ /** 「这条是不是被同批前一条带走了」与视图收缩都归 `batch-carried.ts`;`apply` 整批只读一次清册,
2502
+ * 动词只拿它交回的只读组与当前清册。 */
2503
+ async function applyRestore(deps, ids) {
2504
+ const carried = createEntryCarried(await deps.ledger.list());
2505
+ const run = restoreSession(deps);
2506
+ const restored = [];
2507
+ const outcomes = await forEachId("restore", ids, async (entryId) => {
2508
+ const claim = carried.claim(entryId);
2509
+ if (claim.verdict === "carried") return null;
2510
+ const group = claim.verdict === "fresh" ? claim.group : [];
2511
+ const entry = await run(entryId, group);
2512
+ carried.take(entryId);
2513
+ restored.push(...group.map((row) => row.sessionId));
2514
+ return entry;
2515
+ });
2516
+ if (restored.length > 0) await deps.presence.announceRestored(restored);
2517
+ return outcomes;
2518
+ }
2519
+ async function applyPurge(deps, ids) {
2520
+ const carried = createEntryCarried(await deps.ledger.list());
2521
+ const run = purgeTrash(deps);
2522
+ return forEachId("purge", ids, async (entryId) => {
2523
+ const claim = carried.claim(entryId);
2524
+ if (claim.verdict === "carried") return {
2525
+ removed: 0,
2526
+ freedBytes: 0
2527
+ };
2528
+ const group = claim.verdict === "fresh" ? claim.group : [];
2529
+ const stats = await run(group, carried.rows(), entryId);
2530
+ carried.take(entryId);
2531
+ return stats;
2532
+ });
2533
+ }
2534
+ /** 删除确认框那句「含 N 个子会话」:一次问完整批(`subagentMembersOf` 本来就是批量口)。
2535
+ * 宿主口缺席(`available:false`)时按 0(这里不再有"空表"这一步);真读失败则整次调用失败,
2536
+ * 浏览器半按"读不到"把整句不说。 */
2537
+ async function applyCount(deps, ids) {
2538
+ const wanted = unique(ids);
2539
+ const read = await deps.host.subagentMembersOf(wanted);
2540
+ return wanted.map((id) => success(id, "count", read.available ? read.value[id]?.length ?? 0 : 0));
2098
2541
  }
2099
2542
  /**
2100
- * 逐帧走一遍日志,每条记录交给回调。
2543
+ * 清一组无主子会话(父已被彻底删掉、孩子还留在 `sessions/` 里的那些)。id 是**根会话 id**——
2544
+ * 界面先 `GET /orphans` 拿 `roots` 再原样带回来,所以这里的 `not-found` 说的是"这句话已经过期了"
2545
+ * (父又被人放回回收站、组已被上一个请求带走,或另一处已经把目录清掉),不是"用户打错了一个 id"。
2546
+ * 根 id 两边都去 `session-` 前缀再比:报告原样回传是正常路径,外部调用带另一种写法也认。
2101
2547
  *
2102
- * 回调返回 `false` = **提前停机**(后面的帧不再解——`readSessionHeader` 只要第一行)。
2103
- * 停机后 `stats` 只是停机前那部分,别拿来做全量对账。
2548
+ * **这是写动作,排在到达序链上**,而且**先对账再扫**:`loadOrphanGroups` 本身只扫描、不写清册;
2549
+ * 这里先把 `ledger.list()` 对账后的行交给它——刚被人手工搬进 `session-trash/` 的那一格目录此刻可能还
2550
+ * 没有对应行,拿 raw 索引扫就会把"父还在回收站里等着"的一组当成孤儿**直接删盘**,替用户做了一个没人
2551
+ * 点过的决定(那种组该跟着父恢复或彻底删除)。
2104
2552
  */
2105
- function walkSessionLog(raw, onRecord) {
2106
- const stats = {
2107
- frames: 0,
2108
- records: 0,
2109
- unparsedLines: 0,
2110
- truncatedTailBytes: 0
2111
- };
2112
- let stopped = false;
2113
- const feed = (line) => {
2114
- if (line === "") return;
2115
- let parsed;
2116
- try {
2117
- parsed = JSON.parse(line);
2118
- } catch {
2119
- stats.unparsedLines += 1;
2120
- return;
2121
- }
2122
- stats.records += 1;
2123
- if (onRecord(parsed !== null && typeof parsed === "object" ? parsed : {}) === false) stopped = true;
2124
- };
2125
- /** 上一帧没闭合的那一行。**存字节不存字符**:切在多字节字符中间的帧要拼回完整才解得对。 */
2126
- let carry = Buffer.alloc(0);
2127
- for (const { start, end } of frameRanges(raw)) {
2128
- if (stopped) break;
2129
- stats.frames += 1;
2130
- let plain;
2131
- try {
2132
- plain = zlib.zstdDecompressSync(raw.subarray(start, end));
2133
- } catch (error) {
2134
- throw new Error(`回收站日志第 ${stats.frames} 帧解压失败:${String(error)}`);
2135
- }
2136
- const merged = carry.length === 0 ? plain : Buffer.concat([carry, plain]);
2137
- const cut = merged.lastIndexOf(NEWLINE);
2138
- if (cut === -1) {
2139
- carry = merged;
2140
- continue;
2141
- }
2142
- carry = merged.subarray(cut + 1);
2143
- for (const line of merged.subarray(0, cut).toString("utf8").split("\n")) {
2144
- feed(line);
2145
- if (stopped) break;
2146
- }
2553
+ async function applyOrphanClean(deps, ids) {
2554
+ const groups = await loadOrphanGroups(deps, await deps.ledger.list());
2555
+ const byRoot = new Map(groups.map((group) => [bareSessionId(group.root.sessionId), group]));
2556
+ return forEachId("orphan-clean", ids, async (id) => {
2557
+ const group = byRoot.get(bareSessionId(id));
2558
+ if (group === void 0) throw verbError("not-found", `不再是可清理的无主子会话:${id}`);
2559
+ return await cleanOrphanGroup(deps, group);
2560
+ });
2561
+ }
2562
+ function applyActions(deps, action, ids) {
2563
+ switch (action) {
2564
+ case "delete": return applyDelete(deps, ids);
2565
+ case "restore": return applyRestore(deps, ids);
2566
+ case "purge": return applyPurge(deps, ids);
2567
+ case "count": return applyCount(deps, ids);
2568
+ case "orphan-clean": return applyOrphanClean(deps, ids);
2147
2569
  }
2148
- stats.truncatedTailBytes = carry.length;
2149
- if (carry.length > 0 && !stopped) feed(carry.toString("utf8"));
2150
- return stats;
2151
2570
  }
2571
+ //#endregion
2572
+ //#region src/trash/detail.ts
2152
2573
  /**
2153
- * 日志的 **header**:格式事实是"第一行即 header"(`type: 'session'`,含 `id` 与 `cwd`,v3/v4 均如此,
2154
- * AGENTS.md 有实测背书)——这里按 `type === 'session'` 找**第一条**这样的记录并就地停机
2155
- * (不要求它恰是第一个可解析行:坏一行前缀不该让整条日志判不出身份)。
2156
- * 找不到(空日志 / 全是别种记录)回 `undefined`;帧坏了照抛——那是"读不出来",与"没有 header"是两件事。
2574
+ * 回收站**单条详情**:从回收站目录里那条会话自己的日志读出元信息与正文(用例见 `tests/trash-detail.test.ts`)。
2575
+ *
2576
+ * 三层里的策略层——编解码在 `src/log/*`,这里只回答"给谁看、给多少、算不算失败"。
2577
+ *
2578
+ * 三条硬口径,都不是口味:
2579
+ * ① **寻址只认清册(raw 索引)**:`entryId` 先在对账之外的 raw 索引里查,目录一律由 `trashDirOf(record.id, home)` 推
2580
+ * ⇒ 外部输入进不了文件系统寻址(不给"传个路径就读任意目录"留缝)。
2581
+ * ② **正文只认 `source.kind === "user"`**:`user/message` 里绝大多数是宿主注入的上下文
2582
+ * (本机实测一条会话:真实提问 21 条、注入 241 条),不过滤就被淹掉;注入条数照样上线
2583
+ * (`injectedCount`),让"为什么少了这么多条"能与页面上的数字对账。
2584
+ * ③ **两个闸是载荷闸,不是读盘闸**:每条 3 000 字符、累计 50 万字符(CJK 最坏 ≈ 1.5 MB UTF-8)。
2585
+ * 本机存量一条都触发不了(量级随盘上会话数摆动,不在这里钉数)⇒ 它们是防异常
2586
+ * 膨胀的;**不设"文件太大就拒绝"**,那种阈值只会把真读得出来的正文挡在外面。
2587
+ *
2588
+ * 计数与正文**同源过滤、各过各的闸**:`user/message` 先要求 `source.kind === 'user'`,两类都过"空文本**且**
2589
+ * 无附件"过滤;`userMessageCount` / `assistantMessageCount` 数的是通过过滤的条数,**不受载荷闸影响**。正文再受
2590
+ * 单条/累计两个闸:单条超限截断并把那一条标成 `truncated`,累计到上限后剩下的整条不再收、只累进
2591
+ * `omittedByPayloadCap`——所以计数可以大于正文条数,详情里两件事分开说。
2592
+ * 附件随消息一起收(`attachmentsInContent`),也有两个闸:每条 20、总量 200;超出的**静默丢**,
2593
+ * 不累进 `omittedByPayloadCap`——那个计数说的是"整条正文没进来",拿它兼报少了几张附件会让两个数都对不上。
2157
2594
  */
2158
- function readSessionHeader(raw) {
2159
- let header;
2160
- walkSessionLog(raw, (record) => {
2161
- if (record.type !== "session") return;
2162
- header = record;
2163
- return false;
2164
- });
2165
- return header;
2166
- }
2595
+ /** 每条文字的上限(字符)。超出即截断并置 `truncated`。 */
2596
+ const PER_MESSAGE_CHAR_CAP = 3e3;
2597
+ /** 一次回信的正文总量上限(字符)。 */
2598
+ const TOTAL_CHAR_CAP = 5e5;
2599
+ /** 一条消息带多少张附件上线。 */
2600
+ const MAX_ATTACHMENTS_PER_MESSAGE = 20;
2601
+ /** 一次回信的附件总量上限。 */
2602
+ const MAX_ATTACHMENTS_TOTAL = 200;
2167
2603
  const DEFAULT_LIMITS = {
2168
- perMessageChars: 3e3,
2169
- totalChars: 5e5
2604
+ perMessageChars: PER_MESSAGE_CHAR_CAP,
2605
+ totalChars: TOTAL_CHAR_CAP
2170
2606
  };
2171
2607
  /** 一条记录里那些 `content[]` 段的文字拼起来(`\n` 分隔;非 text 段一律不参与)。 */
2172
2608
  function textOf(content) {
2173
2609
  if (!Array.isArray(content)) return "";
2174
2610
  return content.filter((part) => part?.type === "text" && typeof part.text === "string").map((part) => part.text).join("\n").trim();
2175
2611
  }
2612
+ /** 一条记录的 `content[]` 里的附件块,映射成线上读数(形状只映射,不改判据——闸在 `attachmentsInContent` 里)。 */
2613
+ function attachmentWires(content) {
2614
+ return attachmentsInContent(content).map((ref) => ({
2615
+ attachmentId: ref.id,
2616
+ kind: ref.kind,
2617
+ ...ref.name === void 0 ? {} : { name: ref.name },
2618
+ ...ref.kind === "image" && ref.mediaType !== void 0 ? { mediaType: ref.mediaType } : {},
2619
+ bytes: ref.bytes,
2620
+ ...ref.kind === "image" && ref.width !== void 0 ? { width: ref.width } : {},
2621
+ ...ref.kind === "image" && ref.height !== void 0 ? { height: ref.height } : {}
2622
+ }));
2623
+ }
2176
2624
  function readTrashDetail(deps, limits = DEFAULT_LIMITS) {
2177
2625
  return async function readTrashDetail(entryId) {
2178
- const record = (await deps.ledger.raw()).find((e) => e.id === entryId);
2179
- if (record === void 0) throw verbError("trash-empty", `回收站里没有这一条:${entryId}`);
2626
+ const record = (await deps.rows()).find((e) => e.id === entryId);
2627
+ if (record === void 0) throw trashEmpty(entryId);
2180
2628
  const dir = trashDirOf(record.id, deps.home);
2181
2629
  if (!await deps.fs.exists(dir)) throw verbError("io", `回收站目录不在:${dir}`);
2182
2630
  const names = await deps.fs.listFiles(dir);
@@ -2205,9 +2653,10 @@ function readTrashDetail(deps, limits = DEFAULT_LIMITS) {
2205
2653
  };
2206
2654
  const models = /* @__PURE__ */ new Set();
2207
2655
  let usedChars = 0;
2656
+ let usedAttachments = 0;
2208
2657
  let capped = false;
2209
- /** 收进正文,顺带管两个闸:截到单条上限,累计到总量就停。 */
2210
- function push(role, time, text) {
2658
+ /** 收进正文,顺带管两个闸:截到单条上限,累计到总量就停;附件另有 20/200 两道闸。 */
2659
+ function push(role, time, text, attachments) {
2211
2660
  if (capped) {
2212
2661
  detail.omittedByPayloadCap += 1;
2213
2662
  return;
@@ -2220,11 +2669,15 @@ function readTrashDetail(deps, limits = DEFAULT_LIMITS) {
2220
2669
  return;
2221
2670
  }
2222
2671
  usedChars += kept.length;
2672
+ const room = Math.max(0, Math.min(MAX_ATTACHMENTS_PER_MESSAGE, MAX_ATTACHMENTS_TOTAL - usedAttachments));
2673
+ const keptAttachments = attachments.slice(0, room);
2674
+ usedAttachments += keptAttachments.length;
2223
2675
  detail.messages.push({
2224
2676
  role,
2225
2677
  time,
2226
2678
  text: kept,
2227
- truncated
2679
+ truncated,
2680
+ attachments: keptAttachments
2228
2681
  });
2229
2682
  }
2230
2683
  try {
@@ -2251,9 +2704,10 @@ function readTrashDetail(deps, limits = DEFAULT_LIMITS) {
2251
2704
  return;
2252
2705
  }
2253
2706
  const text = textOf(data.content);
2254
- if (text === "") return;
2707
+ const attachments = attachmentWires(data.content);
2708
+ if (text === "" && attachments.length === 0) return;
2255
2709
  detail.userMessageCount += 1;
2256
- push("user", r.time ?? 0, text);
2710
+ push("user", r.time ?? 0, text, attachments);
2257
2711
  return;
2258
2712
  }
2259
2713
  case "assistant/message": {
@@ -2261,9 +2715,10 @@ function readTrashDetail(deps, limits = DEFAULT_LIMITS) {
2261
2715
  const source = message.source ?? {};
2262
2716
  if (typeof source.model === "string") models.add(source.model);
2263
2717
  const text = textOf(message.content);
2264
- if (text === "") return;
2718
+ const attachments = attachmentWires(message.content);
2719
+ if (text === "" && attachments.length === 0) return;
2265
2720
  detail.assistantMessageCount += 1;
2266
- push("assistant", r.time ?? 0, text);
2721
+ push("assistant", r.time ?? 0, text, attachments);
2267
2722
  return;
2268
2723
  }
2269
2724
  default: return;
@@ -2277,6 +2732,94 @@ function readTrashDetail(deps, limits = DEFAULT_LIMITS) {
2277
2732
  };
2278
2733
  }
2279
2734
  //#endregion
2735
+ //#region src/api/attachment.ts
2736
+ const MAX_ATTACHMENT_BYTES = 20971520;
2737
+ const PNG_MAGIC = Buffer.from([
2738
+ 137,
2739
+ 80,
2740
+ 78,
2741
+ 71,
2742
+ 13,
2743
+ 10,
2744
+ 26,
2745
+ 10
2746
+ ]);
2747
+ /** 按魔数认图片类型;认不出回 `undefined`(调用方按未知字节处理,不猜)。 */
2748
+ function sniffImage(bytes) {
2749
+ if (bytes.length >= PNG_MAGIC.length && bytes.subarray(0, PNG_MAGIC.length).equals(PNG_MAGIC)) return "image/png";
2750
+ if (bytes.length >= 3 && bytes[0] === 255 && bytes[1] === 216 && bytes[2] === 255) return "image/jpeg";
2751
+ const head6 = bytes.subarray(0, 6).toString("ascii");
2752
+ if (head6 === "GIF87a" || head6 === "GIF89a") return "image/gif";
2753
+ if (bytes.length >= 12 && bytes.subarray(0, 4).toString("ascii") === "RIFF" && bytes.subarray(8, 12).toString("ascii") === "WEBP") return "image/webp";
2754
+ }
2755
+ /**
2756
+ * 下载名过闸:只当头部里的一个串用,**不参与寻址**。
2757
+ * 路径分隔符、控制字符、`..` 与不成对的代理项一律换 `_`;按码点截到 120 个字符(不劈开代理对,
2758
+ * 否则 `encodeURIComponent` 会在写头时抛)。
2759
+ */
2760
+ function safeFilename(name, fallback) {
2761
+ const base = [...name === null || name === "" ? fallback : name].slice(0, 120).join("").replace(/[\\/:*?"<>|\u0000-\u001f\uD800-\uDFFF]/gu, "_").replace(/\.\./gu, "_");
2762
+ return base === "" ? fallback : base;
2763
+ }
2764
+ async function readAttachmentResponse(deps, query) {
2765
+ const id = query.get(PARAMS.attachmentId);
2766
+ const kind = query.get(PARAMS.attachmentKind);
2767
+ if (!isAttachmentId(id)) throw routeError("bad-request", 400, `附件 id 需为 sha256:<64 位小写 hex>:${String(id)}`);
2768
+ if (kind !== "image" && kind !== "file") throw routeError("bad-request", 400, `附件 kind 只认 image / file:${String(kind)}`);
2769
+ const path = attachmentPathOf(deps.home, kind, id);
2770
+ let size;
2771
+ try {
2772
+ size = (await deps.fs.statFile(path)).size;
2773
+ } catch (error) {
2774
+ throw verbError("io", `附件不在:${id}(${String(error)})`, error);
2775
+ }
2776
+ if (size > MAX_ATTACHMENT_BYTES) throw verbError("io", `附件超过 ${MAX_ATTACHMENT_BYTES} 字节上限:${id}(${size} 字节)`);
2777
+ const bytes = await deps.fs.readFile(path);
2778
+ if (bytes.length > MAX_ATTACHMENT_BYTES) throw verbError("io", `附件超过 ${MAX_ATTACHMENT_BYTES} 字节上限:${id}(${bytes.length} 字节)`);
2779
+ if (kind === "file") return {
2780
+ body: bytes,
2781
+ contentType: "application/octet-stream",
2782
+ disposition: "attachment",
2783
+ filename: safeFilename(query.get(PARAMS.attachmentName), id.slice(7, 19))
2784
+ };
2785
+ const contentType = sniffImage(bytes);
2786
+ if (contentType === void 0) return {
2787
+ body: bytes,
2788
+ contentType: "application/octet-stream",
2789
+ disposition: "attachment",
2790
+ filename: safeFilename(query.get(PARAMS.attachmentName), `${id.slice(7, 19)}.bin`)
2791
+ };
2792
+ return {
2793
+ body: bytes,
2794
+ contentType,
2795
+ disposition: "inline"
2796
+ };
2797
+ }
2798
+ //#endregion
2799
+ //#region src/api/attachment-orphans.ts
2800
+ /**
2801
+ * 孤儿附件的报告段:`GET /attachment-orphans`。
2802
+ *
2803
+ * 报告把扫描计划折成数量/字节 + 对象清单(`id`/`bytes`,供设置页预览缩略图;最多
2804
+ * `ORPHAN_PREVIEW_LIMIT` 条,清理不受预览条数限制)。扫描跳过(引用源或对象列表读不出)时
2805
+ * **报告必须失败**——回一份 0 会让界面说"没有孤儿",而这类失败恰恰是"不知道",不是"没有"。
2806
+ * 清理是 `POST /attachment-clean`,由路由直接接到 `cleanOrphanImageAttachments`。
2807
+ */
2808
+ /** 预览清单的上限:与详情附件的载荷闸同一量级。数量与字节仍按全量报告。 */
2809
+ const ORPHAN_PREVIEW_LIMIT = 200;
2810
+ async function reportAttachmentOrphans(deps) {
2811
+ const plan = await scanOrphanImageAttachments(deps);
2812
+ if (plan.skipped !== void 0) throw verbError("io", plan.skipped);
2813
+ return {
2814
+ count: plan.entries.length,
2815
+ totalBytes: plan.bytes,
2816
+ items: plan.entries.slice(0, ORPHAN_PREVIEW_LIMIT).map((entry) => ({
2817
+ attachmentId: entry.id,
2818
+ bytes: entry.bytes
2819
+ }))
2820
+ };
2821
+ }
2822
+ //#endregion
2280
2823
  //#region src/api/trash-rows.ts
2281
2824
  /**
2282
2825
  * 清册那一行 → 线上那一行。**显式字面量、不用 `...row`**:线上形状多一个必填字段时,这里编译不过,
@@ -2330,18 +2873,15 @@ async function assembleTrashRows(deps, rows) {
2330
2873
  //#endregion
2331
2874
  //#region src/api/route-table.ts
2332
2875
  /**
2333
- * **路由表**(ADR-0004):段名 → `{ 方法, 纯度, body, 处理 }`。一条记录,两个消费者。
2334
- *
2335
- * 此前"同一条请求该过哪几道判断"的知识散在两个函数里:`dispatch()` 里六个 `if` 各调一次
2336
- * `requireMethod`,`purityOf()` 里另一组 `if` 决定"要不要进到达序链",两处靠**注释**维持一致。
2337
- * 不一致的两种后果都不好在测试里撞见:
2338
- * - 该纯的判成写 ⇒ 一次探测/大正文读/扫描把删除按钮堵在串行链后面;
2339
- * - 该写的判成纯 ⇒ 写动作绕开到达序链,与对账交错,回收站出现"目录在、行是降级元数据"的世界;
2340
- * - body 该读没读 ⇒ 下游拿到 `null`;读了两遍 ⇒ 请求流已被消费(Node 的流只能消费一次)。
2341
- *
2342
- * 为什么这张表**不在** `shared/wire.ts`:处理函数会 import 动词与 `node:fs`,而浏览器半要 import
2343
- * `wire.ts`——值 import 会把 Node 半拖进客户端 bundle,正好撞上 `tsdown` 的纯度门。段名与动作仍住
2344
- * `wire.ts`(两半的共同契约),这张表只回答"怎么处理"。
2876
+ * 路由表(ADR-0004):段名 → { 方法, 纯度, 读面, body, 处理 }。一条记录,两个消费者。
2877
+ *
2878
+ * 一致性要求:
2879
+ * - 该纯的判成写 ⇒ 探测/正文读/扫描被堵在串行链后;
2880
+ * - 该写的判成纯 ⇒ 写动作绕开到达序链,与对账交错;
2881
+ * - body 该读没读 ⇒ 下游拿到 null;读两遍 ⇒ 流已被消费。
2882
+ *
2883
+ * 这张表不放 shared/wire.ts:处理函数会 import 动词与 node:fs,而浏览器半要 import wire.ts。
2884
+ * 段名与动作仍住 wire.ts;这张表只回答“怎么处理”。
2345
2885
  */
2346
2886
  /** 必填的非空字符串字段(缺、空串、类型不对都是**同一句话**:说清是哪个字段)。 */
2347
2887
  function requireString(body, field) {
@@ -2349,17 +2889,26 @@ function requireString(body, field) {
2349
2889
  if (typeof value !== "string" || value === "") throw routeError("bad-request", 400, `请求体需带非空字符串字段 ${field}`);
2350
2890
  return value;
2351
2891
  }
2352
- const APPLY_ACTIONS = Object.keys({
2353
- delete: true,
2354
- restore: true,
2355
- purge: true,
2356
- count: true,
2357
- "orphan-clean": true
2358
- });
2892
+ /**
2893
+ * `/apply` 的五个动作与各自的**静态纯度**。一张表两个用途:动作名单由键派生,纯度也从同一格读——
2894
+ * 新增动作必须同时给出纯度,漏了编译不过;新加一个纯读动作也不会再静默落进 `chained`。
2895
+ */
2896
+ const APPLY_ACTION_TABLE = {
2897
+ delete: "chained",
2898
+ restore: "chained",
2899
+ purge: "chained",
2900
+ count: "pure",
2901
+ "orphan-clean": "chained"
2902
+ };
2903
+ const APPLY_ACTIONS = Object.keys(APPLY_ACTION_TABLE);
2904
+ /** 认不认得这个动作:`/apply` 的纯度与拒否共用同一条判据,名单只有上面那一张。 */
2905
+ function isApplyAction(value) {
2906
+ return typeof value === "string" && Object.hasOwn(APPLY_ACTION_TABLE, value);
2907
+ }
2359
2908
  /** `/apply` 的动作:认不得的一律点名拒掉,不折成"空批量"糊弄过去。 */
2360
2909
  function requireAction(body) {
2361
2910
  const value = body?.[PARAMS.action];
2362
- if (typeof value !== "string" || !APPLY_ACTIONS.includes(value)) throw routeError("bad-request", 400, `批量动作不认识:需是 ${APPLY_ACTIONS.join(" / ")} 之一`);
2911
+ if (!isApplyAction(value)) throw routeError("bad-request", 400, `批量动作不认识:需是 ${APPLY_ACTIONS.join(" / ")} 之一`);
2363
2912
  return value;
2364
2913
  }
2365
2914
  /** `/apply` 的 id 组:必须是非空字符串数组(空数组不是"什么都不做",是调用方自己没组好)。 */
@@ -2369,39 +2918,76 @@ function requireIdArray(body) {
2369
2918
  return value;
2370
2919
  }
2371
2920
  /**
2372
- * 六个段名各一行。`Record<段名, RouteSpec>` 是闸:`wire.ts` 加了段名而这里没加,编译不过。
2921
+ * 九个段名各一行。`Record<段名, RouteSpec>` 是闸:`wire.ts` 加了段名而这里没加,编译不过。
2373
2922
  */
2374
2923
  const ROUTE_TABLE = {
2375
2924
  [ROUTES.list]: {
2376
2925
  method: "GET",
2377
2926
  body: "none",
2378
2927
  purity: "chained",
2379
- run: async (deps) => assembleTrashRows(deps, await deps.ledger.list())
2928
+ read: "list",
2929
+ response: "json",
2930
+ run: async (deps, _body, read) => assembleTrashRows(deps, await read.rows())
2380
2931
  },
2381
2932
  [ROUTES.ping]: {
2382
2933
  method: "GET",
2383
2934
  body: "none",
2384
2935
  purity: "pure",
2936
+ read: "none",
2937
+ response: "json",
2385
2938
  run: async () => "pong"
2386
2939
  },
2940
+ [ROUTES.attachment]: {
2941
+ method: "GET",
2942
+ body: "none",
2943
+ purity: "pure",
2944
+ read: "none",
2945
+ response: "binary",
2946
+ run: async (deps, _body, _read, query) => readAttachmentResponse(deps, query)
2947
+ },
2948
+ [ROUTES.attachmentOrphans]: {
2949
+ method: "GET",
2950
+ body: "none",
2951
+ purity: "pure",
2952
+ read: "none",
2953
+ response: "json",
2954
+ run: async (deps) => reportAttachmentOrphans(deps)
2955
+ },
2956
+ [ROUTES.attachmentClean]: {
2957
+ method: "POST",
2958
+ body: "none",
2959
+ purity: "chained",
2960
+ read: "none",
2961
+ response: "json",
2962
+ run: async (deps) => cleanOrphanImageAttachments(deps)
2963
+ },
2387
2964
  [ROUTES.orphans]: {
2388
2965
  method: "GET",
2389
2966
  body: "none",
2390
2967
  purity: "pure",
2391
- run: async (deps) => reportOrphans(await loadOrphanGroups(deps))
2968
+ read: "raw",
2969
+ response: "json",
2970
+ run: async (deps, _body, read) => reportOrphans(await loadOrphanGroups(deps, await read.rows()))
2392
2971
  },
2393
2972
  [ROUTES.apply]: {
2394
2973
  method: "POST",
2395
2974
  body: "json",
2396
- purity: (body) => body?.[PARAMS.action] === "count" ? "pure" : "chained",
2975
+ purity: (body) => {
2976
+ const action = body?.[PARAMS.action];
2977
+ return isApplyAction(action) ? APPLY_ACTION_TABLE[action] : "chained";
2978
+ },
2979
+ read: "none",
2980
+ response: "json",
2397
2981
  run: async (deps, body) => applyActions(deps, requireAction(body), requireIdArray(body))
2398
2982
  },
2399
2983
  [ROUTES.empty]: {
2400
2984
  method: "POST",
2401
2985
  body: "none",
2402
2986
  purity: "chained",
2403
- run: async (deps) => {
2404
- const rows = await deps.ledger.list();
2987
+ read: "list",
2988
+ response: "json",
2989
+ run: async (deps, _body, read) => {
2990
+ const rows = await read.rows();
2405
2991
  return await purgeTrash(deps)(void 0, rows);
2406
2992
  }
2407
2993
  },
@@ -2409,7 +2995,13 @@ const ROUTE_TABLE = {
2409
2995
  method: "POST",
2410
2996
  body: "json",
2411
2997
  purity: "pure",
2412
- run: async (deps, body) => readTrashDetail(deps)(requireString(body, PARAMS.entryId))
2998
+ read: "raw",
2999
+ response: "json",
3000
+ run: async (deps, body, read) => readTrashDetail({
3001
+ fs: deps.fs,
3002
+ rows: () => read.rows(),
3003
+ home: deps.home
3004
+ })(requireString(body, PARAMS.entryId))
2413
3005
  }
2414
3006
  };
2415
3007
  /** 段名 → 那一行;不认识的段名回 `undefined`(调用方抛 404,并带出原路径)。 */
@@ -2420,39 +3012,6 @@ function routeOf(rest) {
2420
3012
  //#region src/api/dispatch.ts
2421
3013
  /** 请求体字节上限:这条通道只收几个 id,1MiB 是"够用且不给自己开一条内存放大器"的量级。 */
2422
3014
  const JSON_BODY_MAX_BYTES = 1048576;
2423
- /** 回环地址的三种写法(IPv4 / IPv6 / IPv4-mapped IPv6)。 */
2424
- const LOOPBACK = [
2425
- "127.0.0.1",
2426
- "::1",
2427
- "::ffff:127.0.0.1"
2428
- ];
2429
- /**
2430
- * 桌面壳那条路(asar `/lib/main.js` 的 `forwardWebRequest`):渲染进程从 `dsh-app://app/` 加载,
2431
- * 页面里对**非静态路径**的请求(`/`、`/index.html`、`/assets/*`、`/plugins/…` 之外的一切——包括
2432
- * 我们这条前缀路由)都由 `protocol.handle("dsh-app")` 转给宿主自己的 web server;转发前它把
2433
- * `host` / `origin` / `cookie` / `sec-fetch-site` 四个头**删掉**、换上一枚宿主自己的 cookie,路径与
2434
- * 查询串原样带走(逐字:`for (const name of ["host","origin","cookie","sec-fetch-site"]) headers.delete(name)`)。
2435
- * ⇒ 桌面版打到我们这条路由上的请求是**没有 `Origin`** 的,`Referer` 则保留(同源请求照常带,
2436
- * 页面就住在 `dsh-app://app/`)。壳自己在上游只放行 `origin ∈ {null, "dsh-app://app"}`。
2437
- */
2438
- const DESKTOP_APP_SCHEME = "dsh-app:";
2439
- const DESKTOP_APP_HOST = "app";
2440
- /**
2441
- * 「这是桌面壳自己的页面吗」。**必须按 `protocol` + `host` 判,不能比 `URL.origin`**:`dsh-app:`
2442
- * 不是 WHATWG 的 special scheme,`new URL('dsh-app://app/').origin` 是字符串 `"null"`(Node 实测),
2443
- * 拿它跟字面量比永远为假 ⇒ 栅栏会把真机上的每一次请求都挡成 403,所有入口一个都不出现。
2444
- *
2445
- * 这个判据为什么不可能被外人伪造:`Origin` 与 `Referer` 都是 forbidden header,网页改不了,
2446
- * 只能是浏览器/壳自己带上;而 `dsh-app://app` 只可能是桌面壳自己的页面。
2447
- */
2448
- function isDesktopShellUrl(value) {
2449
- try {
2450
- const url = new URL(value);
2451
- return url.protocol === DESKTOP_APP_SCHEME && url.host === DESKTOP_APP_HOST;
2452
- } catch {
2453
- return false;
2454
- }
2455
- }
2456
3015
  function writeJson(res, status, body) {
2457
3016
  res.writeHead(status, { "content-type": "application/json; charset=utf-8" });
2458
3017
  res.end(JSON.stringify(body));
@@ -2463,8 +3022,30 @@ function writeOk(res, value) {
2463
3022
  value
2464
3023
  });
2465
3024
  }
3025
+ /**
3026
+ * 二进制响应(`/attachment` 专用)。四道头都是判据不是口味:
3027
+ * - `content-type` 由处理函数给(图片按魔数认,文件一律 octet-stream);
3028
+ * - `content-length` 与字节数同源;
3029
+ * - `cache-control: private, no-store`:附件可能来自已删除会话,不许被任何中间层留下;
3030
+ * - `nosniff` + `attachment` 下载名:字节内容与类型不一致时浏览器不许改猜。
3031
+ *
3032
+ * **失败不走这里**:处理函数抛出的错误仍由 `writeFailure` 写 JSON 信封(图片的 `onError` 会换成
3033
+ * 占位;普通文件走 `<a download>`,没有页面内失败面)。
3034
+ */
3035
+ function writeBinary(res, body) {
3036
+ const headers = {
3037
+ "content-type": body.contentType,
3038
+ "content-length": String(body.body.length),
3039
+ "cache-control": "private, no-store",
3040
+ "x-content-type-options": "nosniff"
3041
+ };
3042
+ if (body.filename !== void 0) headers["content-disposition"] = `${body.disposition}; filename*=UTF-8''${encodeURIComponent(body.filename)}`;
3043
+ else if (body.disposition === "attachment") headers["content-disposition"] = "attachment";
3044
+ res.writeHead(200, headers);
3045
+ res.end(body.body);
3046
+ }
2466
3047
  /** 失败信封:码与原文都来自 `toRemoteFailure`(本插件唯一的错误映射表)。
2467
- * **状态语义(2026-10-17 错误面对齐)**:**请求本身不对**不再伪装成 200——请求体不对 400、方法不对 405、
3048
+ * **状态语义**:**请求本身不对**不再伪装成 200——请求体不对 400、方法不对 405、
2468
3049
  * 未知路由 404、栅栏拒 403(它们不是"一次办成的操作",是"这条请求不归我办/你没资格办")。
2469
3050
  * **操作失败**仍回 200 + 信封。浏览器半先解信封再看状态,所以 4xx 上带的信封照样读得出原文;
2470
3051
  * `code` 一律折成 `sessiondelete/io`,那三个路由标签(`bad-request` / `bad-method` / `not-found-route`)
@@ -2476,38 +3057,10 @@ function writeFailure(res, error, status) {
2476
3057
  error: toRemoteFailure(error)
2477
3058
  });
2478
3059
  }
2479
- /**
2480
- * 同源栅栏(见文件头 ④)。看 `origin` 而不只看 `referer` 的理由:恶意页
2481
- * `<meta name="referrer" content="no-referrer">` 能让 Referer 缺席,但浏览器对跨源请求**总是**发 Origin。
2482
- *
2483
- * 放行的三种形状,各自都是"浏览器/壳自动带上、网页改不了"的那种:
2484
- * ① `Origin` 与 `Host` 同源(浏览器直接打开宿主那行 URL);② `Origin` 是桌面壳的 `dsh-app://app`
2485
- * (壳自己在上游也只放行这个 origin);③ `Referer` 是桌面壳的 `dsh-app://app`(**真机那条路**:
2486
- * 壳把 `Origin` 删掉了、只留下 Referer,见 {@link isDesktopShellUrl})。两者都缺席 = 本机工具 /
2487
- * curl(注释即此承诺)。**恶意网页拿不到 ②③ 里的任何一个**:那两个头都是 forbidden header、
2488
- * 页面伪造不了;而**写口(POST)在任何跨源形态下都必带 Origin** ⇒ 两个头全缺席就等于本机工具。
2489
- * 唯一的缝是跨源 `no-cors` 的 **GET**(Referer 被 `no-referrer` 掐掉、Origin 也不带)——它够得到
2490
- * 那几个 GET(`list` 会先对账写清册,`ping` / `orphans` 才是纯读),而 no-cors 的回包是 opaque、
2491
- * 页面读不出内容 ⇒ 不构成泄露(`orphans` 那份报告也只报数量/字节,不含正文)。
2492
- */
2493
- function isTrustedRequest(req) {
2494
- if (!LOOPBACK.includes(req.socket.remoteAddress ?? "")) return false;
2495
- const host = req.headers.host;
2496
- const origin = req.headers.origin;
2497
- if (origin !== void 0 && !isDesktopShellUrl(origin)) try {
2498
- if (new URL(origin).host !== host) return false;
2499
- } catch {
2500
- return false;
2501
- }
2502
- const referer = req.headers.referer;
2503
- if (referer === void 0) return true;
2504
- if (isDesktopShellUrl(referer)) return true;
2505
- try {
2506
- return new URL(referer).host === host;
2507
- } catch {
2508
- return false;
2509
- }
2510
- }
3060
+ /** 栅栏拒绝的两种原文:归属不对(跨源 / 重绑 / 头不成形)与远程客户端没带宿主身份。
3061
+ * 两者都是 403,但客户端会上屏,原文要能告诉用户下一步做什么。 */
3062
+ const UNTRUSTED_MESSAGE = "非受信来源";
3063
+ const UNAUTHENTICATED_MESSAGE = "需要宿主的 Web 身份:请用 dsh web 打印的那一行 URL 打开页面后重试";
2511
3064
  /** 流式读 body 并解析成 JSON 对象:空体回 `null`,超限 / 非法 JSON / 不是对象一律抛(→ 400 + 失败信封)。
2512
3065
  * **请求本身不对**(400)与**那次操作读不到东西**(200 + 信封)是两件事:前者是调用方没组好请求,
2513
3066
  * 后者是盘上没有;把前者也写成 200,代理与日志里就再也分不出这两类。 */
@@ -2540,9 +3093,9 @@ function isPure(purity, body) {
2540
3093
  function readBodyFor(kind, req) {
2541
3094
  return kind === "json" ? readJsonBody(req) : null;
2542
3095
  }
2543
- function createApiHandler(deps) {
3096
+ function createApiHandler(deps, trust) {
2544
3097
  /**
2545
- * 到达序串行链(文件头 ⑤):路由表里 `purity === 'chained'` 的请求一个跑完再放下一个。
3098
+ * 到达序串行链(见文件头):路由表里 `purity === 'chained'` 的请求一个跑完再放下一个。
2546
3099
  * `tail` 由构造保证**永不 reject**(每个任务自己的失败留在交回给那次请求的那个 promise 上),
2547
3100
  * 所以一次失败不会卡死链。
2548
3101
  */
@@ -2553,8 +3106,9 @@ function createApiHandler(deps) {
2553
3106
  return started;
2554
3107
  };
2555
3108
  return async function handle(req, res) {
2556
- if (!isTrustedRequest(req)) {
2557
- writeFailure(res, /* @__PURE__ */ new Error("非受信来源"), 403);
3109
+ const verdict = judgeRequest(req, trust);
3110
+ if (verdict !== "allowed") {
3111
+ writeFailure(res, /* @__PURE__ */ new Error(verdict === "untrusted" ? UNTRUSTED_MESSAGE : UNAUTHENTICATED_MESSAGE), 403);
2558
3112
  return;
2559
3113
  }
2560
3114
  try {
@@ -2565,14 +3119,40 @@ function createApiHandler(deps) {
2565
3119
  if (spec === void 0) throw routeError("not-found-route", 404, `未知路由:${req.method ?? "GET"} ${rest === "" ? SESSION_DELETE_API_PREFIX : rest}`);
2566
3120
  requireMethod(req.method ?? "GET", spec.method, rest);
2567
3121
  const body = await readBodyFor(spec.body, req);
2568
- const task = () => spec.run(deps, body);
2569
- writeOk(res, await (isPure(spec.purity, body) ? task() : throughChain(task)));
3122
+ const kind = spec.read;
3123
+ let rowsPromise;
3124
+ const read = { rows() {
3125
+ if (kind === "none") return Promise.reject(/* @__PURE__ */ new Error("route read: none"));
3126
+ rowsPromise ??= kind === "list" ? deps.ledger.list() : deps.ledger.raw();
3127
+ return rowsPromise;
3128
+ } };
3129
+ const task = () => spec.run(deps, body, read, url.searchParams);
3130
+ const result = await (isPure(spec.purity, body) ? task() : throughChain(task));
3131
+ if (spec.response === "binary") writeBinary(res, result);
3132
+ else writeOk(res, result);
2570
3133
  } catch (error) {
2571
3134
  writeFailure(res, error);
2572
3135
  }
2573
3136
  };
2574
3137
  }
2575
3138
  //#endregion
3139
+ //#region src/ports/connection-port.ts
3140
+ const HOST_UNAUTHENTICATED = 401;
3141
+ /** 成员抛错按「归属不对」拒绝(fail-closed)。 */
3142
+ function createConnectionPort(ctx) {
3143
+ return { verdictFor: (req) => {
3144
+ const service = ctx.get("connection");
3145
+ if (service === void 0 || typeof service.requestRejection !== "function") return { kind: "absent" };
3146
+ try {
3147
+ const status = service.requestRejection(req);
3148
+ if (status === void 0) return { kind: "allowed" };
3149
+ return { kind: status === HOST_UNAUTHENTICATED ? "unauthenticated" : "untrusted" };
3150
+ } catch {
3151
+ return { kind: "untrusted" };
3152
+ }
3153
+ } };
3154
+ }
3155
+ //#endregion
2576
3156
  //#region src/ports/fs-port.ts
2577
3157
  /** 模块级递归:端口方法**解构出来单独调**也不能靠 `this`(`{ sizeOfDir } = port` 会让方法体的
2578
3158
  * `this` 变成 undefined)。所以端口只做转发,递归在模块作用域里自调。 */
@@ -2593,7 +3173,13 @@ function createFsPort() {
2593
3173
  await mkdir(p, { recursive: true });
2594
3174
  },
2595
3175
  async rename(from, to) {
2596
- await rename(from, to);
3176
+ if (existsSync(to)) throw new Error(`目标已存在,拒绝覆盖:${to}`);
3177
+ try {
3178
+ await rename(from, to);
3179
+ } catch (error) {
3180
+ if (error.code === "EXDEV") throw new Error(`跨文件系统搬不动(sessions 与 session-trash 需在同一卷):${from} → ${to}`, { cause: error });
3181
+ throw error;
3182
+ }
2597
3183
  },
2598
3184
  async removeDir(p) {
2599
3185
  await rm(p, {
@@ -2606,10 +3192,30 @@ function createFsPort() {
2606
3192
  return readdir(p);
2607
3193
  },
2608
3194
  async listDirs(p) {
2609
- return (await readdir(p, { withFileTypes: true })).filter((e) => e.isDirectory()).map((e) => e.name);
3195
+ const dirs = [];
3196
+ for (const entry of await readdir(p, { withFileTypes: true })) {
3197
+ if (entry.isDirectory()) {
3198
+ dirs.push(entry.name);
3199
+ continue;
3200
+ }
3201
+ if (!entry.isSymbolicLink()) continue;
3202
+ try {
3203
+ if ((await stat(join(p, entry.name))).isDirectory()) dirs.push(entry.name);
3204
+ } catch {}
3205
+ }
3206
+ return dirs;
3207
+ },
3208
+ async realpath(p) {
3209
+ return realpath(p);
2610
3210
  },
2611
3211
  async readFile(p) {
2612
3212
  return readFile(p);
3213
+ },
3214
+ async statFile(p) {
3215
+ return { size: (await stat(p)).size };
3216
+ },
3217
+ async removeFile(p) {
3218
+ await rm(p, { force: true });
2613
3219
  }
2614
3220
  };
2615
3221
  }
@@ -2776,7 +3382,7 @@ function createStorageManifest(domain) {
2776
3382
  }
2777
3383
  //#endregion
2778
3384
  //#region src/trash/storage-manifest.ts
2779
- /** 本插件自己的域(CONTEXT.md 的「清册」条:介质落在 `~/.dsh/storages/`)。
3385
+ /** 本插件自己的域(CONTEXT.md 的「清册」条:介质落在数据根下的 `storages/`)。
2780
3386
  *
2781
3387
  * **名字必须带插件专属前缀**:domain 名是 `storageDomain` facility 里的**全局键**,而**一个名字在
2782
3388
  * 一个 facility 里只能 `open()` 一次**(句柄归调用方所有)——别人先占了同名域,本插件会**在激活时**
@@ -2826,7 +3432,7 @@ const trashDomainSpec = defineDomain({
2826
3432
  * 清单的真实绑定:官方 storage domain → `ManifestPort`(`StorageDomainLike` 在动词层保持一种读法)。
2827
3433
  * 域**懒开**且成功句柄只开一次(`apply` 是同步的,而 `open()` 是异步的),并挂一条 `ctx.effect` 清理:
2828
3434
  * 插件卸载时关掉句柄并把 `close()` 的落地交回框架(句柄归调用方所有,这是 `open()` 的 JSDoc 明写的契约;
2829
- * 2026-10-17 起不再 `void` 走掉——没关严的句柄会让下一份同名域撞 `already-open`)。
3435
+ * 不能 `void` 走掉——没关严的句柄会让下一份同名域撞 `already-open`)。
2830
3436
  *
2831
3437
  * **失败不缓存**:`open()` 被拒是瞬态(域被别的持有者占着、装载竞态),把第一次的 rejected promise
2832
3438
  * 缓存起来等于"这个会话永远删不掉"——下一次读会重新走 `open()`,成功才落下活句柄。
@@ -2877,10 +3483,14 @@ const name = "@xrn1997/dsh-session-delete";
2877
3483
  * 它同样可能晚于本插件激活,写进插件 inject 只会让整个插件 pending。
2878
3484
  *
2879
3485
  * `webServer` 是**浏览器半取数通道的承载者**(那条薄线):插件用它注册 `/dsh-session-delete-api`
2880
- * 前缀路由,浏览器半同源 fetch 那六个段名。它是宿主 web 组成里的硬依赖(`dsh-host-webserver` 的
3486
+ * 前缀路由,浏览器半同源 fetch 那九个段名。它是宿主 web 组成里的硬依赖(`dsh-host-webserver` 的
2881
3487
  * `super(ctx, "webServer")`),服务名与 `register({kind:'prefix', path, handler})` 的形状按
2882
3488
  * `dsh-host-webserver/lib/index.js` 与 `README.md` 原文读实,不是猜的。
2883
3489
  *
3490
+ * `connection` 只喂请求栅栏的远程支(`src/api/request-trust.ts` ②),按 `ctx.get` 可选读:
3491
+ * 服务缺席时插件照常激活,远程客户端 fail-closed。它不进 `inject`——写进去会让没有 web 组成的
3492
+ * profile 整个停在 pending。
3493
+ *
2884
3494
  * 清册的三层各有各的家:raw 绑定 `src/trash/storage-manifest.ts`、读面(对账 + 读)`src/trash/ledger.ts`、
2885
3495
  * 数据根 `src/ports/home.ts`。这里只把它们接起来,任何一层都不在组合根里长判据。
2886
3496
  */
@@ -2890,7 +3500,7 @@ const inject = [
2890
3500
  "webServer"
2891
3501
  ];
2892
3502
  /**
2893
- * 装配顺序:**清单 → 端口 → 动词依赖 → 前缀路由**(`DeleteDeps` 就是前两者的合一)。
3503
+ * 装配顺序:**清单 → 端口 → 在场能力 → 动词依赖 → 前缀路由**(`DeleteDeps` 把这些依赖面合成一颗)。
2894
3504
  *
2895
3505
  * 路由用 `ctx.effect` 挂、disposer 归装载它的那根 fiber:插件卸载即摘路由(`register` 返回的
2896
3506
  * disposer 是官方契约)。**同一进程里只注册一次**这件事由宿主把住:重复的 `(kind, path)`
@@ -2900,19 +3510,25 @@ function apply(ctx) {
2900
3510
  const fs = createFsPort();
2901
3511
  const home = resolveHome();
2902
3512
  const rawManifest = createHostStorageManifest(ctx);
3513
+ const host = createHostPort(ctx);
2903
3514
  const deps = {
2904
3515
  fs,
2905
- host: createHostPort(ctx),
3516
+ host,
2906
3517
  ledger: createTrashLedger(rawManifest, fs, home),
2907
3518
  home,
3519
+ presence: createMemberPresence(host),
2908
3520
  now: () => Date.now()
2909
3521
  };
2910
3522
  const webServer = ctx.webServer;
3523
+ const connection = createConnectionPort(ctx);
2911
3524
  ctx.effect(() => {
2912
3525
  const dispose = webServer.register({
2913
3526
  kind: "prefix",
2914
3527
  path: SESSION_DELETE_API_PREFIX,
2915
- handler: createApiHandler(deps)
3528
+ handler: createApiHandler(deps, {
3529
+ bindHost: webServer.host,
3530
+ connection
3531
+ })
2916
3532
  });
2917
3533
  return () => {
2918
3534
  dispose();