@sema-agent/server 7.134.0 → 7.136.0

package/dist/execution-lane-caps.d.ts

@@ -14,7 +14,7 @@ export type ExecutionLane = "in-process" | RemoteExecProvider;
  * 所以坐标漂了(重命名/搬家/改语义)门会红,注释不会烂在这里。
  */
 export interface ExecutionLaneCaps {
-    /** 调用方送来的 `cwd` 是否被尊重。判别式:`task-cwd.ts` 的 `cwdHonored`。 */
+    /** 调用方送来的 `cwd` 是否被尊重。读者:部署形表行 `callerCwd`([ref] 起本位即判据;改前对账 `task-cwd.ts` 的 `cwdHonored || deviceCwdHonored`)。 */
     readonly callerCwd: LaneCapability;
     /** core 的后台 shell 面(`run_in_background`/`BashOutput`/`KillShell`)。判别式:各 adapter 的
      *  `backgroundCapabilities.supported`(`plugins/remote-env-{host,e2b,k8s}.ts`);host 腿的闸在
@@ -26,48 +26,49 @@ export interface ExecutionLaneCaps {
     /** LSP。判别式:`boot/execution-env.ts` 的 `lspManager` 两臂(沙箱桥 e2b/k8s;host 本地 NodeLspManager)。 */
     readonly lsp: LaneCapability;
     /** SendUserFile 的**沙箱直传腿**(host/in-process 的本机 fs 源是另一条腿,不是本位)。
-     *  判别式:`capabilities/sandbox-file-send.ts` 的 `sandboxSendLaneEnabled`。 */
+     *  读者:部署形表行 `sandboxSendUserFile`([ref] 起本位即判据;判定依据在 `capabilities/sandbox-file-send.ts` 头注)。 */
     readonly sandboxSendUserFile: LaneCapability;
     /**
      * OS 级隔离边界(手跑在容器 / microVM / Kata pod 里,而不是一台真机上)。
-     * 🔴 S-281 起**本位即判别式**:全仓读它的唯一布尔口是 {@link laneIsolated}(boot `remote_exec_enabled.isolated` 与
+     * 🔴 [ref] 起**本位即判别式**:全仓读它的唯一布尔口是 {@link laneIsolated}(boot `remote_exec_enabled.isolated` 与
      * `remote_exec_real_system` 那一行、`config.d/remote-exec.json` 抢占披露的「隔离降级」判、wire `executionLane.isolated`
      * + 诊断面同位、那一行 note 列的沙箱出路 —— 改前 boot 另手写一份 `e2b || k8s || local-docker`,与本表两处各算)。
      * 本位的**独立作者** = 各 adapter 对 core 的 `capabilities.isolation` 声明:对账测试拿 core 自己的严格读器 `isIsolated`
      * 问每条车道的**真 adapter 实例**,与本表、与 boot 行三方对拍。
      * 型上**没有** `single-user-only` 这一档(隔离是车道的结构事实,不随租户面变)⇒ {@link laneIsolated} 的布尔化是穷举、无兜底。
      * ⚠️ 口径 = **OS 级边界**(容器即算:共享宿主内核的 `local-docker`、runc 上的 k8s pod 都答 supported),**不是**「独立内核」强度。
-     * 另一根轴 `router/route-orchestration.ts` 的 `isIsolatedExecEnv`(A 值路由,只认 e2b 与 kata / gvisor 运行时,runc / local-docker
-     * fail-closed 判否)问的是 VM 级强度 —— 两个不同的问题,不是本位的第二份;收成一只会让其中一边答错(S-281 收车档登记)。
+     * VM 级强度(独立内核:只认 e2b 与 k8s 的 kata / gvisor 运行时,runc / local-docker fail-closed 判否)是**另一个问题、另一个词**:
+     * 部署形表行 `vmIsolatedHands`(A 值路由读它,路由上下文键 `vmIsolatedExecEnv`;[ref] 拆开同词异义)—— 不是本位的第二份。
      */
     readonly isolation: Exclude<LaneCapability, "single-user-only">;
-    /** 可挂起(k8s 以配了 `s3Snapshot` 为前提 —— 「结构上能不能」的口径)。判别式:同上的 `suspendable`。 */
+    /** 可挂起(k8s 以配了 `s3Snapshot` 为前提 —— 「结构上能不能」的口径)。读者:部署形表行 `suspendableHands`(本位 ∧ k8s 快照店;
+     *  [ref] 起 boot `remote_exec_enabled.suspendable` 只读那一行,不再手写车道词)。独立作者 = 各适配器的 `capabilities.suspendable`。 */
     readonly suspendable: LaneCapability;
-    /** `/tmp/scratchpad/<sessionId>` 远端约定。判别式:`plugins/remote-scratchpad.ts` 的 `isRemoteScratchpadLane`。 */
+    /** `/tmp/scratchpad/<sessionId>` 远端约定。读者:部署形表行 `remoteScratchpad`([ref] 起本位即判据;改前对账 `isRemoteScratchpadLane` 的 Set)。 */
     readonly remoteScratchpad: LaneCapability;
     /** 写门走 [ref] 的 `DeferredSandboxPathEnv` 代理裁决(而不是直接拿 worker 本机 fs 裁)。
-     *  判别式:`boot/deferred-sandbox-path-env.ts` 的 `isSandboxPathAdjudicationLane`。 */
+     *  判别式:部署形表行 `sandboxPathAdjudication`(读 `hostFilePlane` 的反面;对账钉逼本位与它同值)。 */
     readonly sandboxPathAdjudication: LaneCapability;
     /** git-worktree 隔离。判别式:`boot/execution-env.ts` 的 host 臂 vs `worktree_isolation_unsupported_lane` warn。 */
     readonly worktreeIsolation: LaneCapability;
     /** 记忆持久面的**自动**表态(部署可用 `MEMORY_PERSISTENCE_CAPABLE` 显式覆盖,那是旋钮不是车道位)。
      *  判别式:`boot/memory-boundary.ts` 的 `effectiveMemoryPersistenceCapable`。 */
     readonly memoryPersistenceCapable: LaneCapability;
-    /** 文件平面是否就在 worker 本机(= `hostSemanticsLane`)。🔴 S-602 起**消费点读本位**,不再各写判别式
+    /** 文件平面是否就在 worker 本机(= `hostSemanticsLane`)。🔴 [ref] 起**消费点读本位**,不再各写判别式
      *  (改前 `resolve-spec` / `stores` / `memory-scope` / `deferred-sandbox-path-env` 各写一份
      *  `lane === undefined || lane === "host"` 的同义形,分叉过就是记忆边界判错盘)。读本位的真装配点:
-     *  `boot/deferred-sandbox-path-env.ts` 的 `isSandboxPathAdjudicationLane`(resolve-spec 写门 / parked 赎回腿 /
+     *  部署形表行 `sandboxPathAdjudication`(resolve-spec 写门 / parked 赎回腿 /
      *  执行环境装配三处的唯一属主)、`memory-scope.ts` 的 `memoryEngineRemoteLanePosture`、
      *  `boot/memory-boundary.ts` 的 `buildMemoryBoundaryLaneFacts`(stores)。(「本会话没有持久记忆」的披露归引擎判、引擎渲染 ——
      *  目录条目 `core/memory.no-persistent-store`,本仓只交 spec 上的事实,不再读本位做判别。)⚠️ `in-process` 在本位上是 YES(hooks/进程内读确实在本机盘上),
      *  但它**没有手** —— 问「手在不在本机盘上」要读 {@link handsOnWorkerFilePlane},不是只读本位。 */
     readonly hostFilePlane: LaneCapability;
     /** core 的 `isRemoteExecutionEnv` 对本车道的判决(鸭子类型,**含 host**)= core 拿没拿到执行环境 = 手带挂没挂。
-     *  5.26.0 起它决定 `# Memory` 写指令撤不撤。🔴 S-602 起消费点读本位(改前各写 `config.remoteExec !== undefined`);
+     *  5.26.0 起它决定 `# Memory` 写指令撤不撤。🔴 [ref] 起消费点读本位(改前各写 `config.remoteExec !== undefined`);
      *  对账测试拿 core 自己的 `isRemoteExecutionEnv` 问**真 adapter 实例**来核本位的值。 */
     readonly coreRemoteExecutionEnv: LaneCapability;
     /**
-     * S-354 / core 7.20.0([ref]):这条车道的适配器**声明**了 `capabilities.canonicalPathAuthoritative`
+     * [ref] / core 7.20.0([ref]):这条车道的适配器**声明**了 `capabilities.canonicalPathAuthoritative`
      * 没有 —— 即「我的 `canonicalPath` 是路径落点的权威,整链答不出来是解析器出了事,不是一个我看不见的
      * 命名空间」。声明 ⇒ 读边界的执行期复核在解析器沉默时**拒**;缺席 ⇒ 今天每个适配器的读法(词法判决
      * 成立、命令照跑)—— **缺席不是「声明为 false」**,所以这一位的 `unsupported` 读作「本车道没表态」。
@@ -79,7 +80,7 @@ export interface ExecutionLaneCaps {
      */
     readonly canonicalPathAuthority: LaneCapability;
     /**
-     * 车PI 修复轮 ②(S-775 / clay C-R91A ②,主会话裁「按表不按词」;裁定语义 = **租户不共宿主**)—— 这条车道**分不分租户**。
+     * 车PI 修复轮 ②([ref] / clay C-R91A ②,主会话裁「按表不按词」;裁定语义 = **租户不共宿主**)—— 这条车道**分不分租户**。
      *  · `supported` = 每个租户的命令落在各自的目标上(每任务一只沙箱:e2b / k8s / local-docker;发起者自己的设备:device,
      *    归属由 deviceId↔principal 绑定验过),或根本没有手(in-process:没有可共享的执行目标);
      *  · `single-user-only` = 所有任务落在**同一个共享目标**上(worker 宿主:host;一台常驻 SSH 对端:ssh;一台 ADB 设备:adb)
@@ -88,7 +89,7 @@ export interface ExecutionLaneCaps {
      * 🔴 **7.114.0 起本位的值不在本仓写**:七条可声明车道读 settings-schema 词表正本的表行(`executionLaneRow(lane).tenantSeparation`;
      * 中心写闸的 `requirePrincipal ∧ single-user-only` 交叉判与本仓 `multi-tenant-shared-lane` 拒启读的是同一个值,不会分叉);
      * 只有 `in-process` 一格是本仓自己的事实(它不在表里)。
-     * 唯一消费点是 `config-invariants.ts` 的 `multi-tenant-shared-lane`(经 {@link laneCapabilityHolds} 落成布尔)。本位值与本仓**运行期事实**
+     * 唯一消费点是 `config-invariants.ts` 的 `multi-tenant-shared-lane`(经部署形表行 `laneSeparatesTenants` 落成布尔)。本位值与本仓**运行期事实**
      * 不矛盾的对账 = `test/execution-lanes-schema-conformance.test.ts`(隔离位 / 共享文件平面 ⇒ 租户档的蕴含 + 唯一一条「不隔离却分租户」
      * 的车道 = device 点名);ssh / adb 「两租户同一目标」的行为预言机 = `test/multi-tenant-shared-lane.test.ts`
      * (两个租户的任务铸出的 env 报同一个 `workspaceHandle().sandboxId`)。
@@ -101,7 +102,7 @@ export interface ExecutionLaneCaps {
  * device 行的表态来自 v2 §4.1/§4.3:
  *  · `callerCwd: supported` —— 员工在自己设备的项目目录里干活是这条车道的**存在理由**;host 闸防的
  *    「跨租户宿主路径穿越」在此结构性不存在(路径落在发起者自己的设备上,归属已由 deviceId↔principal
- *    绑定验证),故不要求单用户。今天 `cwdHonored` 还答 false ⇒ 登记在 {@link PLANNED_LANE_DIVERGENCES}。
+ *    绑定验证),故不要求单用户。(车A-4 前判别式答 false、登记过 {@link PLANNED_LANE_DIVERGENCES},已销行;[ref] 起部署形表行 `callerCwd` 直接读本位。)
  *  · `sandboxPathAdjudication: supported` —— 自动判真且**这是深思后的正确默认**:写门经 [ref] 代理把四读
  *    原语转发到设备取真文件系统事实,云盘永不参与设备写目标的裁决。
  *  · `remoteScratchpad: supported` —— executor 平台闭集 = darwin|linux,`/tmp/scratchpad/<sessionId>`
@@ -124,7 +125,7 @@ export declare const ALL_EXECUTION_LANES: readonly ExecutionLane[];
 export declare function isExecutionLane(word: string): word is ExecutionLane;
 /**
  * `REMOTE_EXEC` **真能写下去的**那几个词 = settings-schema 词表正本的 `EXECUTION_LANE_WORDS`(冻结副本,次序逐字同)。
- * 读者:配置目录 `REMOTE_EXEC` 行的 `enumValues`(**就用它本人**,身份相等有钉 —— S-426 修过「目录手抄一份词表」的病)、
+ * 读者:配置目录 `REMOTE_EXEC` 行的 `enumValues`(**就用它本人**,身份相等有钉 —— [ref] 修过「目录手抄一份词表」的病)、
  * [ref] 拒启句的 `valid:` 列表、`REQUIRE_EXECUTION_LANE` 拒启句的出路、`multi-tenant-shared-lane` 拒启句的出路车道。
  * 7.114.0 起全仓唯一的车道词来源是正本;本常量只是它在本仓的那一个读口。
  */
@@ -139,10 +140,10 @@ export declare function executionLaneRow(lane: RemoteExecProvider): ExecutionLan
  */
 export declare function laneRequiredEnv(lane: RemoteExecProvider): readonly string[];
 /**
- * S-598 件③ / S-1008 —— **「`REQUIRE_EXECUTION_LANE=true` ∧ 没有任何车道被点名 ⇒ 拒启」的判据与拒因句的唯一属主**(`modelProviderRefusal` /
+ * [ref] 件③ / [ref] —— **「`REQUIRE_EXECUTION_LANE=true` ∧ 没有任何车道被点名 ⇒ 拒启」的判据与拒因句的唯一属主**(`modelProviderRefusal` /
  * `modelRouteEndpointRefusal` 同形:属主在叶模块,执法点各自调它,登记在 `config-invariants.ts`)。
  *
- * 🔴 病(S-1008,test d327-g6-engine-7112 OBS-4 / OBS-5;2026-10-03 亲核):修前**两份句子**。运行期真拒启的是 `config.ts` 手写 throw
+ * 🔴 病([ref],test d327-g6-engine-7112 OBS-4 / OBS-5;2026-10-03 亲核):修前**两份句子**。运行期真拒启的是 `config.ts` 手写 throw
  * (点名 `REQUIRE_EXECUTION_LANE` / `REMOTE_EXEC` + 修法,用户在 stderr 读到的就是它);注册表条目另写了一句短的
  * 「the deployment asked to refuse this state」,而它只在 `web-admin-client/stage-limits.ts` 的全表校验里被调 —— 候选视图只装
  * `BATCH1_LIMIT_KEYS` 的限额键,带不上这两键 ⇒ 对本条恒 `next === live`,**那一句没有任何读者**(test 六个拒启格 stderr 里零命中)。
@@ -151,15 +152,15 @@ export declare function laneRequiredEnv(lane: RemoteExecProvider): readonly stri
  * 判据读**装配结果**(`executionLaneOf` = 全仓唯一的缺席归一读口,缺席 ⇒ `in-process`),不重判 env:`remoteExec` 缺席**就是**
  * 「`REMOTE_EXEC` 未设/空串 ∧ `CONFIG_PROVIDER ≠ local`」这条三元链尾臂的落点;点了名却配不齐 / 认不出归 [ref] 那条既有拒启(两句话各说各的问题)。
  *
- * 句子的量词纪律(S-1008 ②):stub 车道上**手带族**(`wiring_manifest.tools.entries[].mountedBy === "hands"`)整族不挂,名册里其余工具
- * 照常执行(test R1n:`Now` 真执行成功)—— 不写「零工具」;名册**总条数**随 core 版本走,不写进句子(S-1008 ③)。
+ * 句子的量词纪律([ref] ②):stub 车道上**手带族**(`wiring_manifest.tools.entries[].mountedBy === "hands"`)整族不挂,名册里其余工具
+ * 照常执行(test R1n:`Now` 真执行成功)—— 不写「零工具」;名册**总条数**随 core 版本走,不写进句子([ref] ③)。
  */
 export declare function executionLaneRequiredRefusal(deployment: {
     readonly requireExecutionLane: boolean;
     readonly remoteExec?: ServiceConfigFlat["remoteExec"];
 }): string | undefined;
 /**
- * `config.remoteExec?.provider` → 车道词。**全仓唯一**的缺席归一读口(S-602 门 D:`?? "in-process"` 只许住在这里,
+ * `config.remoteExec?.provider` → 车道词。**全仓唯一**的缺席归一读口([ref] 门 D:`?? "in-process"` 只许住在这里,
  * `?? "host"` 与 `lane === undefined || lane === "host"` 同义折零容忍)。
  *
  * · `undefined`(REMOTE_EXEC 未设)⇒ `"in-process"`,那是真车道不是缺席;
@@ -175,7 +176,7 @@ export declare function executionLaneRequiredRefusal(deployment: {
 export declare function executionLaneOf(provider: RemoteExecProvider | undefined): ExecutionLane;
 export declare function executionLaneOf(provider: string | undefined): ExecutionLane | undefined;
 /**
- * S-602 —— 「这条车道的**手**就在本 worker 的盘上吗」。**两位合取,都读表**(不手抄):
+ * [ref] —— 「这条车道的**手**就在本 worker 的盘上吗」。**两位合取,都读表**(不手抄):
  *  · `coreRemoteExecutionEnv` —— core 拿到了执行环境 = 手带真挂上(`in-process` 答 NO:core 落 `StubExecutionEnv`);
  *  · `hostFilePlane` —— 那套手的文件平面就是本 worker 的盘(沙箱 / 远端 / 设备车道答 NO)。
  * 今天只有 `host` 两位同 YES。
@@ -184,10 +185,10 @@ export declare function executionLaneOf(provider: string | undefined): Execution
  * **没有手**。clay 裁 [ref] ③ 的字面写「判据读 `hostFilePlane`」,意图是同一句的「无手不挂」—— 照字面
  * 实现会让无手部署**继续**挂 SendUserFile,与意图相反;本函数按意图实现(收车档 che-MA 写明)。
  *
- * 三个消费点问的都是这一句,**同一只函数**,不许各写一份 `=== "host"`:
- *  ① `task-cwd.ts` 的 `toolsRunOnThisHost` —— wire `executionLane.toolsOnThisHost` + 出厂自扫技能与中心 plugin 技能的 `baseDir`;
- *  ② `boot/coordinators.ts` 的 SendUserFile 本机腿(经 ①;[ref] ③「无手不挂」);
- *  ③ `approval.ts` 的 `buildNoResponderBootWarns` —— 写门的 ask 只在「有手写本机盘」时才会发生。
+ * 读者问的都是这一句,**同一只函数**,不许各写一份 `=== "host"`:
+ *  ① 部署形表行 `toolsOnThisHost`(`deployment-shape.ts`)—— wire `executionLane.toolsOnThisHost` + 出厂自扫技能与中心 plugin 技能的 `baseDir`;
+ *  ② 部署形表行 `callerOwnsWorkerDisk`(本列 ∧ 单主)—— SendUserFile 本机腿([ref] ③「无手不挂」)、调用方宿主路径(附加目录 / 项目上下文)、指令文件探针;
+ *  ③ `approval.ts` 的 `buildNoResponderBootWarns` —— 写门的 ask 只在「有手写本机盘」时才会发生(它手里已有车道词,直接读本列)。
  */
 export declare function handsOnWorkerFilePlane(lane: ExecutionLane): boolean;
 /**
@@ -215,7 +216,7 @@ export declare function laneMeasuresHome(lane: ExecutionLane): boolean;
 /** 车道行声明的读面缺省(`READ_FACE` 缺席时,这条车道自己的那一份)。 */
 export type LaneReadFaceDefault = "open" | "roots";
 /**
- * S-1492(clay 裁 [ref])—— **车道行显式声明读面缺省 `readFaceDefault`**:`READ_FACE` 没人表态时,这条车道自己的执行体该不该读面放开。
+ * [ref](clay 裁 [ref])—— **车道行显式声明读面缺省 `readFaceDefault`**:`READ_FACE` 没人表态时,这条车道自己的执行体该不该读面放开。
  *  · `open` —— 隔离型车道(`e2b` / `k8s` / `local-docker`:每任务一只沙箱,OS 级隔离边界,`tenantSeparationBasis === "isolation"`):沙箱内部就是模型的整个世界,
  *    读面缺省放开(`auto` 连续干活不再每碰一个根外路径就出卡;写面 / deny 表 / 审批模式不受影响)。
  *  · `roots` —— 其余车道(`host` / `in-process` / `ssh` / `adb` / `device`):车道本身不给读面任何放开的理由 —— 手落在一台真机 / 共享目标 / 员工设备上。
@@ -230,7 +231,7 @@ export declare function laneReadFaceDefault(lane: ExecutionLane): LaneReadFaceDe
 /** 声明 `open` 的那一句**挂载告诫**(运维面指路句与车道文档同读这一句):把宿主目录 / 共享卷挂进隔离沙箱的部署,在 `open` 面上宿主文件对模型零问可读。 */
 export declare const LANE_OPEN_READ_FACE_CAUTION = "a deployment that mounts host paths or shared volumes into the sandbox (hostPath, bind mount) exposes those host files to reads on an open face \u2014 pin READ_FACE=roots or add read-deny rows (READ_DENY_PATTERNS) for them";
 /**
- * S-281 —— 「这条车道的手在不在 OS 级隔离边界里」。**全仓唯一**的布尔判别式(读表 `isolation` 位,见该位头注的读者清单)。
+ * [ref] —— 「这条车道的手在不在 OS 级隔离边界里」。**全仓唯一**的布尔判别式(读表 `isolation` 位,见该位头注的读者清单)。
  * 穷举 switch、无 default 臂:`isolation` 的型只有两档,加档 = 编译红。
  *
  * ⚠️ 本函数对 `in-process` 也答(表上那一行是 unsupported ⇒ false)—— 那一格是「表」的完整性,不是 wire 的说法:
@@ -245,19 +246,6 @@ export declare function laneIsolated(lane: ExecutionLane): boolean;
  * 穷举 switch、无 default 臂:该位的型三档(supported / unsupported / single-user-only)都要表态,加档 = 编译红。
  */
 export declare function laneWiresExecutionEnv(lane: ExecutionLane): boolean;
-/**
- * S-281 —— 这条车道是不是**单机形缺省**落点(`REMOTE_EXEC` 未设 / 空串 ∧ `CONFIG_PROVIDER=local`,没人点名)。
- * 判据 = 装配出的车道值自己带的记号 `singleMachineDefault`(唯一写者 = `config.ts` 三元链的隐式 host 尾臂;显式 `REMOTE_EXEC=host`
- * 与 `config.d/remote-exec.json` 覆写都铸不带它的新值)。**唯一读口**,读者两处:`config.ts` 车道落点一行的 `source`
- * (`exec_lane_selected`,文件覆写之前播)与 `boot/execution-env.ts` 的 `remote_exec_real_system.note`(覆写之后打)——
- * 同一个记号、两个时刻,不另按 env 原文重判。
- */
-export declare function isSingleMachineDefaultLane(remoteExec: ServiceConfigFlat["remoteExec"]): boolean;
-/** 把一位能力在**具体部署**上落成布尔:租户面是唯一入参(旋钮由消费点自己再合取)。
- *  穷举 switch,无 default 臂 —— {@link LaneCapability} 加词而此处不加臂 = 编译红。 */
-export declare function laneCapabilityHolds(cap: LaneCapability, deployment: {
-    requirePrincipal?: boolean;
-}): boolean;
 /** 一条**已登记**的分叉:表写的是目标态,今天的判别式还答别的。 */
 export interface PlannedLaneDivergence {
     readonly lane: ExecutionLane;
@@ -272,7 +260,7 @@ export interface PlannedLaneDivergence {
  * 分叉登记簿 —— **闭集**。对账测试双向咬:表外分叉 = 漂移(红),表内分叉被补齐而不销行 = 陈账(红)。
  *
  * 🟢 **空表 = 今天的真实状态**(车A-4,2026-08-28 销行)。唯一那条(device 的 `callerCwd`)已按登记的
- * 条件补齐:`deviceCwdHonored`(`task-cwd.ts`)+ 写侧闸(`boot/resolve-spec.ts` 的同一处单写者)+ 读侧
+ * 条件补齐:当年的 `deviceCwdHonored`([ref] 起并入部署形表行 `callerCwd`,读本表那一位)+ 写侧闸(`boot/resolve-spec.ts` 的同一处单写者)+ 读侧
  * 消费(`plugins/remote-env-device.ts` 的 `effectiveDeviceCwd`)**同批**落地,于是能力表写的 `supported`
  * 与判别式给的答案一致,分叉自然消失 —— 对账测试的双向咬(表外分叉 = 红 / 表内陈账 = 红)因此对本表
  * 只剩「保持空」这一条要求。
@@ -301,7 +289,7 @@ export interface LaneHomeDeployment {
 /**
  * 「**这条部署的执行环境**以哪个 home 运行」—— `~/…` 形权限规则(`Edit(~/.ssh/**)`)唯一的基。
  *
- * ## 病(接入审计 M13 / DEBTS S-213④)
+ * ## 病(接入审计 M13 / DEBTS [ref]④)
  * core 的 `ExecutionEnv.homeDir` 是**由 adapter 声明**的座(`engine/harness/types.d.ts`,可选):
  * 缺席 ⇒ core 的 `resolvePathPattern` 回 `{missingBase:"home"}` ⇒ 该规则对这条腿判 `unreadable`
  * (fail-closed 的 ask)。四只远端 adapter(e2b/k8s/host/ssh)一个都没声明,而 server 侧的 422 前置门

package/dist/execution-lane-caps.js

@@ -265,19 +265,6 @@ export function laneWiresExecutionEnv(lane) {
             return false;
     }
 }
-export function isSingleMachineDefaultLane(remoteExec) {
-    return remoteExec?.provider === "host" && remoteExec.singleMachineDefault === true;
-}
-export function laneCapabilityHolds(cap, deployment) {
-    switch (cap) {
-        case "supported":
-            return true;
-        case "unsupported":
-            return false;
-        case "single-user-only":
-            return deployment.requirePrincipal !== true;
-    }
-}
 export const PLANNED_LANE_DIVERGENCES = Object.freeze([]);
 export const E2B_SANDBOX_HOME = "/home/user";
 export function executionLaneHomeDir(deployment) {

package/dist/file-history-capture.d.ts

@@ -1,12 +1,12 @@
 /**
- * S-589 → S-724 —— 文件历史的**装配单点**与能力词 `fileHistoryCapture` 的闭集(叶模块:只 type-import store-backend 与 core 型)。
+ * [ref] → [ref] —— 文件历史的**装配单点**与能力词 `fileHistoryCapture` 的闭集(叶模块:只 type-import store-backend 与 core 型)。
  *
  * ## 病史
- * S-589(7.97.0):`boot/budget-tracing.ts` 只要后端有文件历史店就无条件交给 core(`RunnerDeps.fileHistoryStore`)。core 的首次
+ * [ref](7.97.0):`boot/budget-tracing.ts` 只要后端有文件历史店就无条件交给 core(`RunnerDeps.fileHistoryStore`)。core 的首次
  * 触碰捕获当时是**进程级**的:接了店就恒捕获,没有任何单会话 / 单 run 的杠杆。于是用户在客户端关掉「文件检查点」关掉的只是
- * 提示,文件字节照旧进 `file_history_*`。S-589 给了部署旋钮 `FILE_HISTORY_CAPTURE`,而 core 那时只有一种写法表达「不捕获」——
+ * 提示,文件字节照旧进 `file_history_*`。[ref] 给了部署旋钮 `FILE_HISTORY_CAPTURE`,而 core 那时只有一种写法表达「不捕获」——
  * **不接店** ⇒ 旋钮关 = 摘店,代价是已存历史也一起读不了(restore / rewind / 2c sync 一并关)。
- * S-724(7.104.0):core 7.31.0 收了两件 —— 部署的**捕获位** `RunnerDeps.fileHistoryCapture: "off"`(店照接,只停新捕获,
+ * [ref](7.104.0):core 7.31.0 收了两件 —— 部署的**捕获位** `RunnerDeps.fileHistoryCapture: "off"`(店照接,只停新捕获,
  * 已存历史照常服务 `restoreFiles` / `rewindFilesTo`)与请求级关断词 `TaskSpec.fileHistory: "disabled"`。旋钮改落 core 的同名座:
  * **名字说的是「捕获」,就只关捕获** —— 一条旋钮一个意思。
  *
@@ -19,14 +19,14 @@
  *    core 的部署捕获位({@link coreFileHistoryCaptureSeat},`boot/runner-deps.ts`)与能力词(`http/routes/capabilities.ts`)——
  *    core 收到的与能力面说的不可能各说各话。捕获位 `"off"` ⟺ 店在 ∧ 旋钮关;**没有店的部署形不下发**该位:core 对
  *    「off 但没店」拒 prepare(`config.invalid_file_history_capture`,「nothing to switch off」),而旋钮的意思「不捕获」在没店的
- *    部署上本来就成立 —— 旋钮照样无条件生效,只是那一形无事可关(选这一臂而不是拒启的理由见 CHANGELOG 7.104.0 S-724 条:
+ *    部署上本来就成立 —— 旋钮照样无条件生效,只是那一形无事可关(选这一臂而不是拒启的理由见 CHANGELOG 7.104.0 [ref] 条:
  *    拒启会把「形合法、意思成立」的配置判成错,且会与 auto 后端的降级臂耦合)。
  * ⚠️ 关掉 ≠ 删掉:翻旋钮**不**做任何批量删除;已捕获的历史照旧被 restore / rewind / sync 读用,按既有的会话删除 /
  * 留存规则清理。要让已存历史也不可用,部署今天的出路只有逐会话 `DELETE /v1/sessions/:id` 与留存清扫(见 USAGE)。
  *
  * ## 能力词为什么是 `off` / `on-optional` 两词
- * cli 要的是「`/config` 那个开关该不该出现」。三词闭集的设计(S-589)是 `off` / `on-always` / `on-optional`;S-589 时第三词
- * 结构上不可达(没有单 run 不捕获位)。S-724 起请求词 `fileHistory: "disabled"` 受理 ⇒ 捕获中的部署恒可按 run 关掉 ⇒
+ * cli 要的是「`/config` 那个开关该不该出现」。三词闭集的设计([ref])是 `off` / `on-always` / `on-optional`;[ref] 时第三词
+ * 结构上不可达(没有单 run 不捕获位)。[ref] 起请求词 `fileHistory: "disabled"` 受理 ⇒ 捕获中的部署恒可按 run 关掉 ⇒
  * `on-optional` 成真,而 `on-always`(「捕获中且关不掉」)**结构上不可达** —— 预先声明一个到不了的词等于给客户端一个
  * 永远等不到的分支,所以删词不留(7.97.0–7.103.x 的 worker 仍会发它,消费端读法在契约附录 B)。
  */
@@ -52,13 +52,13 @@ export interface FileHistoryAssembly {
     /** 擦除脸:在场 ⟺ 后端在(与旋钮无关;是 {@link store} 的删除类动词视图)。 */
     readonly erasure: FileHistoryErasureFace | undefined;
 }
-/** 装配:「这台部署有没有文件历史店」的唯一判定。旋钮不在这里 —— 它只关捕获,不摘店(S-724)。 */
+/** 装配:「这台部署有没有文件历史店」的唯一判定。旋钮不在这里 —— 它只关捕获,不摘店([ref])。 */
 export declare function assembleFileHistory(backend: StoreBackend | undefined): FileHistoryAssembly;
 /**
  * 「捕不捕」的**唯一**判定(纯函数):能力词。`store` = 装配出来的店(在不在),`knob` = 部署旋钮 `FILE_HISTORY_CAPTURE`
  * (`config.fileHistoryCapture`)。从**装配结果**派生,不照旋钮字面回声:后端本来就没有这只店的部署同样是 `off`。
  *
- * 与 `rewindFiles` 分叉(S-589 当时写下的分叉条件,自本版成真):本词答「这台部署捕不捕、能不能按 run 关掉」,
+ * 与 `rewindFiles` 分叉([ref] 当时写下的分叉条件,自本版成真):本词答「这台部署捕不捕、能不能按 run 关掉」,
  * `rewindFiles` 答「这台部署能不能还原」—— 旋钮关的部署本词 `off` 而 `rewindFiles` 仍为真。
  */
 export declare function fileHistoryCaptureOf(store: object | undefined, knob: boolean): FileHistoryCapture;

package/dist/file-history-disclosure.d.ts

@@ -1,5 +1,5 @@
 /**
- * S-157④ —— SQL file-history 店的 **typed 永久失败**披露座:散文一个铸点 + 机器面一只 sink。
+ * [ref]④ —— SQL file-history 店的 **typed 永久失败**披露座:散文一个铸点 + 机器面一只 sink。
  *
  * ## 病(基线 v7.79.0 逐行亲核 + 亲跑)
  * `plugins/blob-backend.ts:55` 的 `BlobTooLargeError` 带 typed 判别码 `blob_too_large_for_sql`,头注
@@ -12,14 +12,21 @@
  *   括号词当 metric label —— 而第一个括号词恒是引擎自己的闭集码。实测:「这个文件永远存不进这口店」
  *   与「连接被重置」在 `rewind_snapshot_failed_total` 上**同形** `code="snapshot_failed"`。
  * · **trackEdit(首触备份)腿**:本服务用引擎默认的 `onTrackFailure:"refuse"`(`boot/runner-deps.ts` 亲读),
- *   那条路 **完全不走 onError** —— 引擎把 `(track_failed: <本店 message>)` 念给模型,末句是
- *   「Retry when the file-history store is healthy.」(`prepare-file-history.js`)。对这枚码那是永远
- *   不会到来的一天,而**运维面一个计数都没有**:这条腿今天在遥测上完全不可见。
+ *   那条路 **完全不走 onError** —— 引擎把拒句念给模型。core 7.54.0 及以前那句在 300 字界里被店的 message
+ *   截断,模型连「Retry when the file-history store is healthy.」都听不到;core 7.55.0([ref] T2)起引擎的整句
+ *   (码、引导语、后果)都到模型,引导语按店判的 `FileHistoryError.permanence` 二选一:`terminal` ⇒「这是永久故障,
+ *   店修好之前别重试」,否则「Retry when the file-history store is healthy.」。所以这枚码要**判成 `terminal`**,
+ *   模型才不会被叫去重试一件永远不会成的事;而**运维面一个计数都没有**:这条腿今天在遥测上完全不可见。
  *
  * ## 修法(源头留痕,不走文本通道)
- * · **散文面**({@link discloseCaughtFailure} 的返回值):把 caught error 的 typed `code` 写成一个括号词
+ * · **散文面**({@link foldCaughtFailure} 的 `text`):把 caught error 的 typed `code` 写成一个括号词
  *   前置到它自己的 message 前 —— **不 `instanceof` 单挑任何一个类**(身上有字符串 `code` 就折),该店
- *   11 处折点全部改走这一只函数。人与模型因此看得到「这是哪一类失败」。
+ *   的折点全部改走这一只函数。人与模型因此看得到「这是哪一类失败」。
+ * · **判断面**(同一只函数的 `fault`,core 7.55.0 `FileHistoryError.permanence`):永久码表里的 typed 码 ⇒
+ *   `{ permanence: "terminal" }`;**连接类故障**(到库的连接坏了 / 库此刻不接 —— 判官是整仓唯一一只
+ *   `plugins/store-fault.ts` 的 `storeFaultClassOf`,识别表在 `plugins/sql-errors.ts`,本文件不再抄第二份)⇒
+ *   `{ permanence: "transient" }`;其余 ⇒ `{}`(没判 —— 引擎照旧给重试引导语)。`terminal` 只对永久码。
+ *   折点把它摊进店答的 `FileHistoryError`;引擎的拒句引导语、rewind 披露、`terminal.detail` 都读这一格,**不读散文**。
  * · **机器面**(同一只函数的副作用):码取自 typed 错**对象**、对闭集词表判定,**绝不从散文里抠**。
  *   🔴 这一条是 codex R1-[high] 验真后的定形:文本通道**天然可伪造** —— 一个名叫
  *   `(blob_too_large_for_sql).txt` 的文件读不出来时,它的路径就在 `snapshot_failed` 的散文里,任何
@@ -29,21 +36,28 @@
  *   (`file_history_permanent_failure_total{code}`)、**每进程每码一条 warn**(第二条起零新增内容,而
  *   20G 树的用户每 turn 撞一次)、装配前累计的次数在 install 时补进 metrics。
  */
-import { FILE_HISTORY_ERROR_CODES } from "@sema-agent/core";
+import { FILE_HISTORY_ERROR_CODES, type FileHistoryError } from "@sema-agent/core";
 import type { Logger } from "./observability/logger.js";
 import type { Metrics } from "./observability/metrics.js";
 interface Sink {
     logger?: Logger;
     metrics?: Metrics;
 }
+/** 一次 caught error 的折法:`text` = 店侧散文(带 typed 码括号词),`fault` = 店对这次故障的判断(摊进 `FileHistoryError`)。 */
+export interface CaughtFailure {
+    readonly text: string;
+    readonly fault: Pick<FileHistoryError, "permanence">;
+}
 /**
- * 把一个 caught error 折进店侧散文,**并**在它是一枚 typed 永久失败时留痕。
+ * 把一个 caught error 折成店侧的散文 + 判断,**并**在它是一枚 typed 永久失败时留痕。
  *
- * 返回值 = 散文形:带 typed `code` 的前缀一个括号词(`(blob_too_large_for_sql) blob of … exceeds …`),
+ * `text` = 散文形:带 typed `code` 的前缀一个括号词(`(blob_too_large_for_sql) blob of … exceeds …`),
  * 不带的**逐字**是原 message(transient 失败的文案因此与本批之前一字不差)。
+ * `fault` = 判断形(core 7.55.0 `FileHistoryError.permanence`):永久码表里的码 ⇒ `{ permanence: "terminal" }`;连接类故障 ⇒ `{ permanence: "transient" }`
+ * (什么都不改稍后再试可能成);其余 ⇒ `{}`(店不知道 —— 认不出的驱动 / 库错是不是会自己好,不归本店判)。永久码先于连接类判(一只错不会两个都是)。
  * 副作用 = 机器形:码取自错误对象,逐次计数 + 每进程每码一条 warn。观测绝不抛。
  */
-export declare function discloseCaughtFailure(err: unknown): string;
+export declare function foldCaughtFailure(err: unknown): CaughtFailure;
 /** 装配层把 logger/metrics 接上(main.ts,与 `installFailOpenRecorder` 同一处)。 */
 export declare function installFileHistoryFailureRecorder(deps: Sink): void;
 /** 本进程逐码累计(测试/诊断读面)。 */
@@ -52,7 +66,7 @@ export declare function fileHistoryPermanentFailureCounts(): ReadonlyMap<string,
 export declare function resetFileHistoryFailureRecorderForTest(deps?: Sink): void;
 /** rewind 粗码臂的码词 = core 的闭集(值与型同一源:`FILE_HISTORY_ERROR_CODES`)。 */
 export type FileHistoryErrorCode = (typeof FILE_HISTORY_ERROR_CODES)[number];
-/** rewind 臂一次失败的粗码:文本里**第一个**在册的 `(码)` / `(码:`;没有 ⇒ `unknown`。纯函数、不抛。 */
+/** rewind 臂一次失败的粗码:`FileHistoryStoreError` 上的那一格(在闭集里);否则 `unknown`。纯函数、不抛。 */
 export declare function rewindFailureCode(err: unknown): FileHistoryErrorCode | "unknown";
 export {};
 //# sourceMappingURL=file-history-disclosure.d.ts.map

package/dist/file-history-disclosure.js

@@ -1,4 +1,5 @@
-import { FILE_HISTORY_ERROR_CODES } from "@sema-agent/core";
+import { FILE_HISTORY_ERROR_CODES, FileHistoryStoreError } from "@sema-agent/core";
+import { storeFaultClassOf } from "./plugins/store-fault.js";
 const PERMANENT_STORE_FAILURE_CODES = {
     blob_too_large_for_sql: {
         note: "a blob is larger than this deployment's SQL snapshot-blob cap — the same file will fail every turn until the deployment changes",
@@ -29,14 +30,30 @@ function drainToMetrics() {
         }
     }
 }
-export function discloseCaughtFailure(err) {
+export function foldCaughtFailure(err) {
     const message = err instanceof Error ? err.message : String(err);
     const code = err?.code;
-    if (typeof code !== "string" || code === "")
-        return message;
-    if (isPermanentCode(code))
-        recordPermanent(code, message);
-    return `(${code}) ${message}`;
+    const typedCode = typeof code === "string" && code !== "" ? code : undefined;
+    const permanentCode = typedCode !== undefined && isPermanentCode(typedCode) ? typedCode : undefined;
+    if (permanentCode !== undefined)
+        recordPermanent(permanentCode, message);
+    return {
+        text: typedCode !== undefined ? `(${typedCode}) ${message}` : message,
+        fault: permanentCode !== undefined ? { permanence: "terminal" } : faultOfClass(storeFaultClassOf(err)),
+    };
+}
+function faultOfClass(cls) {
+    switch (cls) {
+        case "connection":
+            return { permanence: "transient" };
+        case "corrupt":
+        case "unclassified":
+            return {};
+        default: {
+            const unhandled = cls;
+            throw new Error(`store fault class without a file-history judgment: ${String(unhandled)}`);
+        }
+    }
 }
 function safely(record) {
     try {
@@ -90,12 +107,6 @@ export function resetFileHistoryFailureRecorderForTest(deps = {}) {
 const FILE_HISTORY_ERROR_CODE_SET = new Set(FILE_HISTORY_ERROR_CODES);
 const isFileHistoryErrorCode = (w) => FILE_HISTORY_ERROR_CODE_SET.has(w);
 export function rewindFailureCode(err) {
-    const text = err instanceof Error ? err.message : String(err);
-    for (const m of text.matchAll(/\(([a-z_]+)[):]/g)) {
-        const word = m[1];
-        if (isFileHistoryErrorCode(word))
-            return word;
-    }
-    return "unknown";
+    return err instanceof FileHistoryStoreError && isFileHistoryErrorCode(err.code) ? err.code : "unknown";
 }
 //# sourceMappingURL=file-history-disclosure.js.map

package/dist/fleet/drain-entry.d.ts

@@ -72,10 +72,10 @@ export type DrainEntryAnswer = DrainReceipt | DrainDeadlineRefusal;
  *  · `draining` / `since` / `actionId` / `deadlineAt` —— **只由** {@link enter} 整组写入(排空事实 = 契约 `EngineDraining`);
  *  · `enter` —— 唯一入口(收尾链装;缺席 = 这个进程没有收尾链,如嵌入宿主 / 测试夹具);
  *  · `yieldInflight` —— 让出本副本在飞的可抢占腿(`createHttpServer` 装);
- *  · `endSubscriptions` —— 关掉本副本打开着的只读订阅流(发一帧 `draining` 终帧再关;`createHttpServer` 装,S-1281)。订阅流不是在飞的工作
+ *  · `endSubscriptions` —— 关掉本副本打开着的只读订阅流(发一帧 `draining` 终帧再关;`createHttpServer` 装,[ref])。订阅流不是在飞的工作
  *    (不进 `inflight`),排空不等它;收尾链在排空进入那一拍与硬停起点各调一次(排空期间新开的订阅在硬停那一拍收);
  *  · 其余四只是既有的读口(在飞数 / 活性时钟 / 附着流),语义见 `http/server.ts`。`inflight` 只数**工作**(run 腿 / 计费提交 / HITL 应答 /
- *    admission 期的普通请求),只读订阅只进 `attachedStreams`(S-1281)。
+ *    admission 期的普通请求),只读订阅只进 `attachedStreams`([ref])。
  */
 export interface DrainState {
     draining: boolean;

package/dist/fleet/fleet-bus.d.ts

@@ -53,7 +53,7 @@ export interface FleetTaskRow {
      *  🔴 与 `name` 分域:`name` 是**显示名**(源 `description ?? name`,模型自由文本);本键是**身份键**,
      *  消费端按串相等把「@某个名字」绑到这一行(同类型两个子代在 `agentType` 上不可分,在本键上可分)。
      *  ADDITIVE / tolerate-absent:**缺席 = 一次匿名委派**(不是「不知道它叫什么」)—— 7.25.0 之前本键在本仓
-     *  没有任何源,恒缺席。**VERBATIM,不过 `redactSecrets`**(S-546 B6①:本注此前写「与 `name` 同一道边界,emit 前
+     *  没有任何源,恒缺席。**VERBATIM,不过 `redactSecrets`**([ref] B6①:本注此前写「与 `name` 同一道边界,emit 前
      *  redact」,而三处铸点从本键到货起就是原样投 —— 见本文件 spawn / tick / terminal 三臂的行注与
      *  `trace/core-keyset-guard.ts` 的 `spawnName` 记账):它是**身份键**,消费端按串相等绑行,脱敏会把两个合法队友名
      *  改写成同一串;出生点校验过的字符集里也没有可脱敏的形。残余(已披露)= 有人把真凭据当队友名写进
@@ -194,6 +194,10 @@ export interface FleetWorkflowRow {
      *  停驻的 workflow run 终态 = `status:"failed"` + `errorCode:"workflow.agent_parked"`:`status` 词表不加字(不另铸专用 status 词),
      *  「停驻」与「真失败」靠这一位分开。run 行没有码 ⇒ 键缺席(不铸空串);缺席也可能是老服务端,消费方同形处置:退回只读 `status`。 */
     errorCode?: string;
+    /** ADDITIVE / tolerate-absent(core 7.55.0 [ref]):run **还在跑**、且至少一条腿停在审批门上 ⇒ `true`;否则**缺席**(永不 `false`)。
+     *  引擎的一次派生 `runParkedOf(run)`(停驻行的唯一定义 `parkedAgentsOf`),本仓不自判、不另铸;`status` 三词不加字。排空后的停驻终态是
+     *  `status:"failed"` + `errorCode:"workflow.agent_parked"`(上一位),本位在那里缺席 —— 一个状态一个词。消费方把两形都渲成「等审批」。缺席也可能是老服务端。 */
+    parked?: true;
     doneCount?: number;
     /** 计划总数(= `run.agents.length`,**含排队中**)—— 注意它**不是**"已启动数",见 {@link FleetWorkflowRow.startedCount}。 */
     totalCount?: number;
@@ -238,7 +242,7 @@ export type FleetFrame = {
     /**
      * [ref] §2③:**陈述级退场** —— 行没了,但**没有**结算语义。
      *
-     * 🔴 **本键缺席的那一族不是「终局已发过」**(S-449 / 车HX codex r1 [medium];本注此前逐字写着
+     * 🔴 **本键缺席的那一族不是「终局已发过」**([ref] / 车HX codex r1 [medium];本注此前逐字写着
      * 「无此键的 remove = 终态之后的常规清场……两者都先发过终态 `task` 帧」,**那句是假的** ——
      * 车HW 逐条亲读本文件的七处 `removeTask` 铸点后改成真话,消费方面的成文版 =
      * `docs/ASSISTANT-WIRE-CONTRACT.md` 附录 H)。缺席形其实是**两族**:
@@ -263,7 +267,7 @@ export type FleetFrame = {
      * durable 行压根不存在 —— 三形共同点是**没有终局可投影**,而本副本的行必然陈旧。此时造一个终态
      * 就是编:判死的属主始终是 durable 侧的 reaper。所以只陈述「这条行离场了」,不逼消费端结算。
      * (cli 侧裁量 [ref]:渲「离场」**不清行** —— 行保留、中性离场形、active 扣除、折叠排后。)
-     * 🔴 S-751:子代行的陈述级退场之前,对账腿先问过它的属主(bg registry 非终态 ∨ 有待决审批 ⇒ 留行);
+     * 🔴 [ref]:子代行的陈述级退场之前,对账腿先问过它的属主(bg registry 非终态 ∨ 有待决审批 ⇒ 留行);
      * 本帧因此只在「静默满一周期 ∧ 属主不作保」时出现。而它**不封被退那一代**(见 {@link cycleSeq})——
      * 之后同一代(或更大代)的帧到达 = 那一行其实还活着,行**复活**;更小的代照旧是前代迟到帧。
      * ADDITIVE / tolerate-absent。
@@ -272,7 +276,7 @@ export type FleetFrame = {
     /** [ref] §2 判死×判代合成规则:退场帧带**被退那一代**的 {@link FleetTaskRow.cycleSeq}。
      *  消费端因此能把 `retire(gen=N)` 之后的 `frame(gen=N+1)` 读成**复活**(行重生,退休不粘住新代),
      *  而**结算级** `retire(gen=N)`(本帧无 `removeReason`)之后的 `frame(gen=N)` 读成**前代迟到帧,忽略**。
-     *  🔴 S-751:**陈述级**退场(`removeReason:"orphaned"`)之后的 `frame(gen=N)` = **复活**,不是迟到帧 ——
+     *  🔴 [ref]:**陈述级**退场(`removeReason:"orphaned"`)之后的 `frame(gen=N)` = **复活**,不是迟到帧 ——
      *  陈述级退场从不断言「这一代结束了」(它说的只是「本副本一个周期没听到这一行」),所以同代的下一帧
      *  就是它还活着的证据(本仓 {@link FleetEventBus.removeTask} 对这一形不封代,消费端同读);更小的代照旧忽略。
      *  缺席同 {@link FleetTaskRow.cycleSeq} ——「无此概念」,不是「第一代」。 */
@@ -362,7 +366,7 @@ export interface HookNonBlockingFailure {
      *  · `timeout` —— 条目超时被击杀(无退出码);
      *  · `spawn_failed` —— 起不来 / http 连不上 / LLM 载体失败(无退出码);
      *  · `bad_json` —— exit 0 但 stdout 看着是 JSON 却读不成决策对象(裁决静默丢失的那一形);
-     *  · `matcher_over_budget` —— 这条 hook 所在组的 `matcher`(或条目自己的 `if` 条件)在这次事件的这个名字上求值没在预算内结束(灾难回溯;S-1017)。
+     *  · `matcher_over_budget` —— 这条 hook 所在组的 `matcher`(或条目自己的 `if` 条件)在这次事件的这个名字上求值没在预算内结束(灾难回溯;[ref])。
      *    **不是 hook 脚本坏了,是它的选中条件不可求值**:server 按「选中」处理(守卫不被跳过,条目照跑),此帧说的是「这只 matcher 在这个名字上跑不完」。
      *    **一组一帧**(`if` 一条目一帧),`hookName` / `entryType` 指认组的第一个条目,`detail` 点名 matcher、名字、额度与组里的条目数;无 `exitCode` / `stderr`。
      */
@@ -498,7 +502,7 @@ export interface BgNotification {
     seq?: number;
     status: "completed" | "failed" | "killed";
     summary?: string;
-    /** S-1296(core 7.51.0 #1482 / #1528):the child's REPORT — the same string the completion frame the parent's model reads carries
+    /** [ref](core 7.51.0 [ref] / [ref]):the child's REPORT — the same string the completion frame the parent's model reads carries
      *  (core cuts it once at the frame's bound, redacting first), so a host that wakes an idle conversation reads it here instead of a
      *  second, differently-cut copy. UNTRUSTED child text ⇒ `redactSecrets` at this wire boundary, exactly like `summary` on this frame
      *  and `result` on the `task_notification` frame (one reading: the server redacts at its own boundary whatever upstream did).
@@ -555,7 +559,7 @@ export declare class FleetEventBus {
     private readonly workflows;
     /** [ref] / codex R1-F2:**代际墓碑** —— 已离场行的最后已知 `cycleSeq`(行本身已从 `tasks` 删掉,
      *  代际状态却必须活得比行久一点,否则前代迟到帧会在空 Map 上把幽灵行重铸出来)。有界 LRU。
-     *  🔴 S-751:碑上多记一位 `ended` = 「**这一代结束了**」是否被断言过。离场**恒**保住代际状态(`gen` 之前的帧
+     *  🔴 [ref]:碑上多记一位 `ended` = 「**这一代结束了**」是否被断言过。离场**恒**保住代际状态(`gen` 之前的帧
      *  永远是前代迟到帧 —— 与行还在 Map 里时那道闸同一个判据);只有作「这一代结束了」断言的离场(结算级 / 投影级
      *  常规清场)才把 `gen` **这一代本身**也封掉。陈述级退场(`removeReason:"orphaned"`)不作这个断言 ⇒ 同代帧 = 复活。 */
     private readonly retiredGen;
@@ -577,7 +581,7 @@ export declare class FleetEventBus {
     /** Drop a task row (terminal + swept) + fan out the removal. Idempotent (a no-op if already gone).
      *
      *  `opts`([ref],两键均 ADDITIVE):`removeReason:"orphaned"` = **陈述级退场**(没有结算语义,见
-     *  {@link FleetFrame} 的 `task_remove` 臂;S-751 起**不封被退那一代**,同代帧 = 复活);`cycleSeq` = 被退那一代的代际号。发布方的常规清场
+     *  {@link FleetFrame} 的 `task_remove` 臂;[ref] 起**不封被退那一代**,同代帧 = 复活);`cycleSeq` = 被退那一代的代际号。发布方的常规清场
      *  (`onTerminal`/`onChildTerminal`)不传 opts ⇒ 帧逐字节与本改动之前相同。 */
     removeTask(id: string, opts?: {
         removeReason?: "orphaned";
@@ -595,7 +599,7 @@ export declare class FleetEventBus {
     /** [ref] 让位迁移料的读面:迁移「只补缺席位」需要看得见存活行现有什么(BCE 是权威车道,不覆盖)。 */
     taskRow(id: string): Readonly<FleetTaskRow> | undefined;
     /**
-     * S-751:一条子代行在它两只**属主账**上的键。三个 id 域互不相同,换算只有本类做得了(两种行 id 都是本文件
+     * [ref]:一条子代行在它两只**属主账**上的键。三个 id 域互不相同,换算只有本类做得了(两种行 id 都是本文件
      * 铸的,两域之间唯一的 join —— 让位登记簿 —— 也住在这里),所以换算只写这一处:
      *  · 行 id —— BCE 车道 = registry handle 本身(`e.taskId`);run-leg 车道 = `${runId} ${子代 task_progress taskId}`
      *    (`fleetRunPublisher` 的 `childId`);
@@ -611,10 +615,14 @@ export declare class FleetEventBus {
         handle?: string;
         sessionIds: readonly string[];
     };
-    /** Upsert a workflow row (MERGE by `id`) + fan out. */
-    publishWorkflow(delta: Partial<FleetWorkflowRow> & {
-        id: string;
-    }): void;
+    /**
+     * Publish a workflow row + fan out. **The row is the whole row and REPLACES the previous one** (by `id`). A workflow row has exactly one producer,
+     * {@link buildFleetWorkflowRow} — a projection of the durable run, recomputed whole on every write (the write observer, the terminal window, the
+     * reconciler) — so the row as published is the run's current statement. Merging it onto the previous row kept every optional key the run no longer
+     * states: core 7.55.0 [ref] `parked` is `true` or absent, and is absent again once the park is decided — under a merge it stayed `true` for the rest of
+     * the row's life (a run read "awaiting approval" after its approval was answered). Task rows keep their merge: their producers publish partial deltas.
+     */
+    publishWorkflow(row: FleetWorkflowRow): void;
     /** Drop a workflow row + fan out the removal. Idempotent. */
     removeWorkflow(id: string): void;
     /** [ref]-B 缺口②: fan out a background-child completion notification (EVENT — not stored, never in the
@@ -701,7 +709,7 @@ export type FleetRunPublisher = ReturnType<typeof fleetRunPublisher>;
  *  stats.toolCalls→toolUses(名对齐,消费端一个形状)。失败码 "cancelled" ⇒ stoppedBy:"user"(与
  *  markStopSource 的归因值同源);transcriptId 顶层 = run 的 sessionId([ref]§二拍)。缺源的键不铸。
  *
- *  🔴 S-136(core 7.6.0 D-8):入参从**结构性可缺席** `errorCode?: string` 改成 `terminal?: TerminalCause`。
+ *  🔴 [ref](core 7.6.0 D-8):入参从**结构性可缺席** `errorCode?: string` 改成 `terminal?: TerminalCause`。
  *  留着旧形不会红 —— 那正是危险所在:`TaskResult` 上已经没有 `errorCode` 这个键了,可结构性可选参数照样
  *  编译通过,于是 `stoppedBy:"user"` 会**静默地永远不再铸**(取消的 run 在舰队行上从此看不出是被人杀的)。
  *  终局事实一律走因由,`failureCodeOf` 是本仓读「这次失败带的是哪个码」的唯一形。 */

package/dist/fleet/fleet-bus.js

@@ -1,5 +1,5 @@
 import { EventEmitter } from "node:events";
-import { DURABLE_AGENT_HANDLE_RE, deriveAgentDisplayStatus, isDelegatedAgentTerminal } from "@sema-agent/core";
+import { DURABLE_AGENT_HANDLE_RE, deriveAgentDisplayStatus, isDelegatedAgentTerminal, runParkedOf } from "@sema-agent/core";
 import { persistedPlaneOf } from "../terminal.js";
 import { takeWorkspaceSnapshotFailure } from "./workspace-snapshot-residual.js";
 import { recordFailOpen } from "../observability/fail-open.js";
@@ -21,6 +21,7 @@ export function buildFleetWorkflowRow(id, run) {
         ...(run.originatingSessionId ? { sessionId: run.originatingSessionId } : {}),
         status: run.status,
         ...(run.errorCode ? { errorCode: run.errorCode } : {}),
+        ...(runParkedOf({ status: run.status, agents }) ? { parked: true } : {}),
         doneCount: done,
         totalCount: agents.length,
         failedCount: failed,
@@ -189,10 +190,9 @@ export class FleetEventBus {
                 sessionIds.push(k.slice(prefix.length));
         return { sessionIds, ...(DURABLE_AGENT_HANDLE_RE.test(row.id) ? { handle: row.id } : {}) };
     }
-    publishWorkflow(delta) {
-        const merged = { ...(this.workflows.get(delta.id) ?? { id: delta.id, status: "running" }), ...delta };
-        this.workflows.set(delta.id, merged);
-        this.emit({ type: "workflow", row: merged, ts: this.now() });
+    publishWorkflow(row) {
+        this.workflows.set(row.id, row);
+        this.emit({ type: "workflow", row, ts: this.now() });
     }
     removeWorkflow(id) {
         if (this.workflows.delete(id))