@sema-agent/server 7.138.0 → 7.140.0

package/dist/http/server.d.ts

@@ -1,14 +1,15 @@
 import http from "node:http";
-import type { MemoryComplianceFaces } from "../memory-operator-faces.js";
+import type { MemoryComplianceFaces, MemoryOriginFaces, SessionMemoryStatusFace } from "../memory-operator-faces.js";
 import type { SideQueryAccounting } from "../budget.js";
 import type { IncomingMessage } from "node:http";
-import { type Runner, type TaskSpec, type TaskResult, type WorkflowRunStore, type MemoryEntry, type MemoryExportBundle, type MemoryImportReport, type EntryProvenanceAccount, type MemoryEntryOrigin, type OriginClearanceRow, type SessionMemoryStatus, type ConsolidationRunReceipt, type ConsolidationDriverRunRow, type SideQuerySpec, type SideQueryResult, type Brain, type EngineNotice } from "@sema-agent/core";
+import { type Runner, type TaskSpec, type TaskResult, type WorkflowRunStore, type MemoryEntry, type MemoryExportBundle, type MemoryImportReport, type ConsolidationRunReceipt, type ConsolidationDriverRunRow, type SideQuerySpec, type SideQueryResult, type Brain, type EngineNotice } from "@sema-agent/core";
 import type { TaskRequestBody } from "./wire-types.js";
 import type { ServiceConfig } from "../config-types.js";
 import { type SessionMirrorRuling } from "../web-admin-client/facade.js";
 import type { RestartSignal } from "@sema-agent/settings-schema/fleet";
 import { type OwnerAwareSessionStore } from "../security.js";
 import type { PeerDesk, PeerLease } from "../peer-seat.js";
+import type { ExecutionRoot, ResolvedTaskSpec } from "./execution-context.js";
 import type { RunStore, ImageIndex, ImageBake, CheckpointStoreFull, ResumeAnchorStore, ApprovalExemptionStore, ApprovalNonceStore, ServiceSessionPolicyStore, ServiceFileHistoryStore, ToolResultStoreFull, StoreBackend } from "../plugins/store-backend.js";
 import type { RuleConsentLane } from "../rules-consent.js";
 import { type MemorySyncRequest, type MemorySyncResponse } from "../memory-sync.js";
@@ -52,6 +53,8 @@ export interface RequestAuth {
      *  defaultScopes(memory.scopes 种子)。resume 腿(checkpoint 重建 auth)缺席 — 回落持久化的
      *  body.projectId(原始提交已验形),那条回落腿自己再折一次小写,两腿查同一个键。 */
     resolvedProjectId?: string;
+    /** authorizer 判过的头(`security.ts` `createAuthorizer` 交出;语义见 `AuthContext.head`)⇒ fresh 执行上下文的 `judged`。自建 authorizer 不给 = 解析器不比住客。 */
+    head?: import("@sema-agent/core").SessionHead;
 }
 /**
  * [ref] A8 —— ServiceDeps 的**分组窄接口**。
@@ -60,7 +63,7 @@ export interface RequestAuth {
  * 平铺形的直接后果 = main.ts 一个上千行的装配字面量,键与键之间没有任何「属于同一件事」的编译期表达,
  * 键落错家/从未接线只能靠源码钉逐个盯(1.300/1.301/1.304/1.307/1.310 五起真缺陷都是这个病族)。
  *
- * 药:七个**窄**接口 + 顶层必填七件。装配点按组构造(每组一个带类型标注的中间 const ⇒ 受 TS 多余
+ * 药:七个**窄**接口 + 顶层必填八件。装配点按组构造(每组一个带类型标注的中间 const ⇒ 受 TS 多余
  * 属性检查保护),键放错组当场编译红。
  *
  * 兼容形(本批**不动消费点**):`ServiceDeps` = 平铺视图 ∩ 组槽。旧的平铺构造(96 个测试文件 +
@@ -68,8 +71,8 @@ export interface RequestAuth {
  * 入口摊平回平铺视图,server.ts 内的 ~700 处 `deps.x` 消费点原样保留。消费点迁移是后批的事——
  * 一步到位需要同批改 ~700 处 src + ~800 处 test 键位,与「先立形、后搬家」相比没有额外收益。
  */
-/** createHttpServer 的**必填七件**——引擎、部署配置、请求→TaskSpec 的映射、选路席、side-query 执行席、读口场景门、对端座的 desk。
- *  七者恒在场,故留在顶层(不进任何可选组):没有它们 server 根本起不来,包一层可选组只会把编译期
+/** createHttpServer 的**必填八件**——引擎、部署配置、提交的身份与根会话(authorizer)、请求→TaskSpec 的映射、选路席、side-query 执行席、读口场景门、对端座的 desk。
+ *  八者恒在场,故留在顶层(不进任何可选组):没有它们 server 根本起不来,包一层可选组只会把编译期
  *  错误推迟到运行期(本仓 E-HIGH-1 病族的成因就是「可选键从未接线、编译期无声」)。 */
 export interface ServiceCoreDeps {
     runner: Runner;
@@ -83,9 +86,22 @@ export interface ServiceCoreDeps {
     sideQuery: (spec: SideQuerySpec) => Promise<SideQueryResult>;
     config: ServiceConfig;
     /**
-     * Map an inbound request body + resolved auth to a full TaskSpec. The SERVICE/deployment owns model
-     * + tools + mcp here (callers only supply content). `auth` carries the ownership-checked sessionId
-     * and the principal-derived memory scope — prefer them over anything in the body.
+     * Resolve identity + the owned root session BEFORE the spec is built (S6). Throw `HttpError` to reject.
+     * 🔴 **必填**:它是一次提交的根会话**唯一**的来源与铸点(体里的 `sessionId` 只由它消费:有属主读的店判属主,单用户嵌入原样采用,
+     * 不带 ⇒ 现铸并登记)。省掉是编译错;绕过类型造的 deps 在 {@link createHttpServer} 入口拒启。单用户嵌入传
+     * `createAuthorizer(config, runner.sessions)`(包根导出)—— 店没有属主读时它退化为只派 principal 与会话 id。
+     */
+    authorize: (ctx: {
+        req: IncomingMessage;
+        body: TaskRequestBody;
+    }) => Promise<RequestAuth>;
+    /**
+     * Map an inbound request body + resolved auth to a TaskSpec. The SERVICE/deployment owns model
+     * + tools + mcp here (callers only supply content). `auth` carries the principal-derived memory scope —
+     * prefer it over anything in the body.
+     * The root session is NOT the resolver's to write: the return type carries no `sessionId`
+     * (`ResolvedTaskSpec`); the server stamps the root the authorizer resolved onto every spec it executes
+     * (`http/execution-context.ts` `stampSpecRoot`). A resolver that needs the root reads `opts.execution.root`.
      */
     /** `opts.leg` (codex R4, appendSystemPrompt 案): "fresh" ⇒ a NEW submit — resolveSpec may fail-loud 400 on
      *  combos that would silently discard caller payload (append rider / outputStyle on an append-less pack).
@@ -108,6 +124,8 @@ export interface ServiceCoreDeps {
      *  `opts.unattendedLeg`([ref] 候裁 18,codex r3 F1;[ref] ① 改形):续跑家族在 ctx 带无人值守标(`CheckpointCtx.unattendedLeg`)时递 `true` ——
      *  装配器在**全部折叠之后**经首跑同一只合并口 `withUnattendedLeg` 重挂那条腿(`default` + 按类作答的 onAsk)。只由续跑腿
      *  按服务端写的 ctx 位递,绝不从请求体读。 */
+    /** `opts.execution`(必填):这条腿的执行上下文(`http/execution-context.ts`;只 `fresh` / `continuation` 两形,`root` 恒在)。装配器要用这条腿的根会话
+     *  (场景设施的分区键、受理见证)读 `opts.execution.root` —— 它与 server 随后盖进 spec 的根是同一个值,装配器自己不写根。 */
     /** `opts.lease`(必填):这条腿的**宿主租约** —— 装配在它之下登记本腿交给引擎的对端声明(`peerDesk.declare(草稿, opts.lease)`)。
      *  租约由两只漏斗(受理 `prepareSpec` / 续跑 `resolveResumeSpecOrBlocked`)在调用本函数**之前**开、由漏斗的失败出口或拿到产物的那段作用域放;
      *  装配只借用,不放、不留。实现方自铸的声明归自己的 desk 时可以不理它。 */
@@ -117,7 +135,8 @@ export interface ServiceCoreDeps {
         onNotice?: (notice: EngineNotice) => void;
         unattendedLeg?: true;
         lease: PeerLease;
-    }) => TaskSpec | Promise<TaskSpec>;
+        execution: ExecutionRoot;
+    }) => ResolvedTaskSpec | Promise<ResolvedTaskSpec>;
     /**
      * [ref] 场景 hands lane 选路:按 `resolveSpec` 刚产出的 TaskSpec 取本任务的执行 Runner。
      * 装配点(`boot/stage-10-http-server.ts`)传的是 `createHandsRunnerSelector` —— 选路规则只有那一份实现,
@@ -146,7 +165,7 @@ export interface ServiceCoreDeps {
      * 本层用它开**宿主租约**:受理与续跑两只漏斗在装配之前各开一只(`lease("fresh")` / `lease("resume")`),经 `resolveSpec` 的 `opts.lease` 交给装配,
      * 随产物(`PreparedTaskSubmission.peerLease` / 续跑结果)交给拿到它的那段作用域,在那段作用域的 `finally` 放;活过那段作用域的驱动经 `heldFor` 自持一只。
      * 这只 desk 另有三处用法,不止这两只漏斗:① 探测口 `POST /v1/capabilities/mcp/probe` 的调用方臂在走查里开一只 `probe` 租约(三道前置拒之后开,拨号落地才放);
-     * ② 两张会话面板(`GET /v1/sessions/:id/mcp` · `…/a2a`)与探测走查拨名册声明时递它的座(`desk.seat.answer`),不开租约;③ 名册声明在起服时登记在一只进程寿命的 `roster` 租约下
+     * ② 两张会话面板(`GET /v1/sessions/:id/mcp` · `…/a2a`)与探测走查拨名册声明时递它的座(`desk.seat`),不开租约;③ 名册声明在起服时登记在一只进程寿命的 `roster` 租约下
      * (stage-07 / run-local 开,从不放),并且每只 Runner 的 `peerSeat` 是它的座。登记表的两个读数是 `/metrics` 的 `peer_registry_entries` / `peer_registry_holders`。
      * 🔴 **必填**:没有 MCP / A2A 凭据的嵌入也给一只 `createPeerDesk()`(零 IO)—— 一个部署只有一张登记表,缺席不是「没有座」的另一种读法。
      */
@@ -371,7 +390,7 @@ export interface ServiceSeamDeps {
     deviceStore?: import("../device-store.js").DeviceStore;
     /**
      * [ref](车C 余件):device lane 的**准入链**(`createDeviceEnrollment`)—— 管理面三个写动词
-     * (签发 / 注册 / 吊销)与首绑写协议(`commitPlacement`)的**唯一**判据属主。
+     * (签发 / 注册 / 吊销)与首绑写协议(`commitExecutionContext` 的设备那一支)的**唯一**判据属主。
      *
      * 🔴 为什么路由拿的是它而不是 {@link deviceStore}:enrollment 那一层持着两件路由造不出来的东西 ——
      * ①跨副本限速座(`DeviceEnrollRateLimiter`,§7-T5 ⑤:端点车**必须**传一个,而它由 boot 从既有
@@ -499,9 +518,7 @@ export interface ServiceSeamDeps {
      *  (工厂返 undefined),与 compliance/origin 两族同一条 F-9 裁。
      *  🔴 face 的五键**全可选**(core `SessionMemoryStatus`):absent = 该事实源不可读,路由逐键透传缺席,
      *  恒不铸 false/0 替身;`optOutSource:"fault"` = capture 态 indeterminate(383 片2/3 轴直投)。 */
-    sessionMemoryStatus?: {
-        status: (sessionId: string) => Promise<SessionMemoryStatus>;
-    };
+    sessionMemoryStatus?: SessionMemoryStatusFace;
     /**
      * [ref](core 7.22.0 [ref] W1)—— 本**部署**的自动整理武装事实,`GET /v1/sessions/:id/memory-status`
      * 的 `autoConsolidationArmed` 格。
@@ -533,25 +550,7 @@ export interface ServiceSeamDeps {
      *  ——落在副本本地盘上 = pod 重建即永久丢失。全文见 src/memory-operator-faces.ts 头注。
      *  🔴 `listClearances` 是**同步**的(core 的读面就是一次严格 sidecar 读),且账本损坏时**抛**
      *  `ControlPlaneCorruptError` —— 那是 fail-closed 信号,不是空数组。 */
-    memoryOriginFace?: {
-        listExternal: (scopes: readonly string[]) => Promise<Array<{
-            id: string;
-            slug: string;
-            scope: string;
-            origin: MemoryEntryOrigin;
-            provenance: EntryProvenanceAccount;
-        }>>;
-        listClearances: () => OriginClearanceRow[];
-        clear: (entryId: string, input: {
-            requestId: string;
-            reason: string;
-        }) => Promise<{
-            entryId: string;
-            clearanceId: string;
-            origin: MemoryEntryOrigin;
-            landedSlug: string;
-        }>;
-    };
+    memoryOriginFace?: MemoryOriginFaces;
     /** [ref](core 5.58.0 `runMemoryConsolidationDriver`):记忆 **consolidation 阀门**的操作面。
      *  启用 `POST /v1/admin/memory/consolidation/run` 与 `GET /v1/admin/memory/consolidation`(两口 operator-only)。
      *  main.ts 把它接到 `createMemoryConsolidationFaces` 的产物上。
@@ -598,6 +597,9 @@ export interface ServiceSeamDeps {
      *  per-principal 查询走 caps client 的 executionRuling 同车(零额外 RTT);absent = 无 center(单用户/
      *  dry-run)⇒ 观测面不接线,零行为差。fail-open:观测失败绝不影响 sync 面本身。 */
     sessionMirrorRuling?: (principal: string | undefined) => Promise<SessionMirrorRuling | undefined>;
+    /** 主体的执行车道裁定(caps client 的 `executionRuling`,与场景裁定同车零额外 RTT)—— 执行上下文解析器步 ③ 的唯一输入(`http/execution-context.ts`,
+     *  判据 `runtime-caps-resolver.ts` `gateExecutionLane`)。缺席 = 无中心(单用户 / dry-run / 嵌入方)⇒ 不判,与已发同。 */
+    executionRuling?: (principal: string | undefined) => Promise<import("../web-admin-client/facade.js").ExecutionRuling | undefined>;
     /** Degenerate-output a/b instrument: on errorCode=output.degenerate, inspect the session's turns to
      *  classify where the salvageable answer was (counter + log). Fire-and-forget; no-op otherwise. */
     instrumentDegenerate?: (result: TaskResult) => void;
@@ -606,7 +608,9 @@ export interface ServiceSeamDeps {
      *  (手搭测试 deps;生产 main.ts 恒传)。 */
     sideQueryAccounting?: SideQueryAccounting;
     /** [ref](core 7.32.0):parked 赎回面工厂(按行解析驱动哪只 Agent 工具 + 同出一张列表的继承座;属主 `parked-revive-surface.ts`)。
-     *  缺席 = 这台部署没有 park 底座(checkpointStore / backgroundAgentStore 任一缺席),bg 赎回臂不接线。 */
+     *  缺席 = 这台部署没有 park 底座(checkpointStore / backgroundAgentStore 任一缺席),bg 赎回臂不接线。
+     *  🔴 **在场 ⇒ `sessionStorage` 必须带执行席 `executionPlacement`**:认领之后对根会话住客的唯一判官是执行席上的写口;缺 ⇒ `createHttpServer` 拒启
+     *  (句子 = `PARKED_REVIVE_EXECUTION_SEAT_REQUIRED`)。 */
     parkedReviveSurface?: import("../parked-revive-surface.js").ParkedReviveSurfaceFactory;
     /** 可选第三件:revive args 的 `subagent_type` roster 成员集([ref] Q1 成员性规则)。当前生产装配
      *  **恒缺席**(boot 内建 default 无自定义 agents roster,per-request 的 spec.agents 不进 boot 工具)
@@ -641,14 +645,6 @@ export interface ServiceObservabilityDeps {
 /** **准入/治理面**:身份解析与配额/限流/租约。每一件都是**拒绝**的权力(400/403/429),
  *  缺席 = 该道门不存在(不是「默认放行的门」——两者在事故复盘里语义完全不同)。 */
 export interface ServiceGovernanceDeps {
-    /**
-     * Resolve identity + the owned session BEFORE the spec is built (S6). Throw `HttpError` to reject.
-     * Optional: when omitted, no principal/ownership enforcement (the body's sessionId is used as-is).
-     */
-    authorize?: (ctx: {
-        req: IncomingMessage;
-        body: TaskRequestBody;
-    }) => Promise<RequestAuth>;
     /** 鉴权桥(registry-core api/auth-bridge):registry 用户 JWT → principal。缺席=分支不存在
      *  (bearer 只认 SERVICE_AUTH_TOKEN(S),现状不变)。 */
     webAdminJwtVerifier?: {
@@ -811,7 +807,7 @@ export interface ServiceDeploymentDeps {
      *  7.132.0 前这一席是 `sqlEngineFacts: () => SqlEngineFacts | null`(只给事实、不给方言);照旧传它 ⇒ `createHttpServer` 起服拒。
      *  🔴 **SQL 后端在场(`backend` 交出了 `mysqlPool()` / `pgPool()`)⇒ 本席必填**,缺席 ⇒ `createHttpServer` 起服拒(席缺席只表示「没有 SQL 后端」,不能是「忘了给」);
      *  本服务自己的装配(`boot/stores.ts` → `stage-10`)按同一个谓词(`sqlPoolsOf`)建立它,恒给。值形也在起服时判(同一只判官 `sqlEngineSeatIssue` 的另一臂):
-     *  `{ dialect: "tidb" | "pg", facts }`,`facts` 是 `null` 或带 `maxRowBytes` / `maxPacketBytes` / `wallSources` 的引擎事实;只改了键名的 `() => facts` 之类 ⇒ 起服拒。 */
+     *  `{ dialect: "mysql" | "pg", facts }`,`facts` 是 `null` 或带 `maxRowBytes` / `maxPacketBytes` / `wallSources` 的引擎事实;只改了键名的 `() => facts` 之类 ⇒ 起服拒。 */
     sqlEngine?: import("../plugins/sql-driver.js").SqlEngineReading;
     /** [ref]:**写保护名表**的姿态(`write-protection.ts` 的 boot 期单一推导点 —— 与递给每只 Runner 的
      *  `writeProtectedPaths` 座同一份 config 决定)。两个读面共用:`GET /v1/diagnostics/wiring` 的
@@ -867,7 +863,7 @@ export interface ServiceDepGroups {
     deployment?: ServiceDeploymentDeps;
     knobs?: ServiceKnobDeps;
 }
-/** 平铺视图 = 必填七件 + 其余七组的全可选并集。**派生**自组接口,故与分组形永不漂。 */
+/** 平铺视图 = 必填八件 + 其余七组的全可选并集。**派生**自组接口,故与分组形永不漂。 */
 export type FlatServiceDeps = ServiceCoreDeps & Partial<ServiceStoreDeps & ServiceCoordinatorDeps & ServiceSeamDeps & ServiceObservabilityDeps & ServiceGovernanceDeps & ServiceDeploymentDeps & ServiceKnobDeps>;
 /** createHttpServer 的入参:两形皆可(平铺=存量,分组=推荐)。同名键两形都给时,**顶层显式键赢**
  *  (含显式 `undefined`)——一处装配点只该用一形,混用时以肉眼最近的那个为准。 */

package/dist/http/server.js

@@ -4,6 +4,7 @@ import { validatePendingSteer } from "@sema-agent/core";
 import {} from "../web-admin-client/facade.js";
 import { describeValueShape } from "@sema-agent/settings-schema";
 import { HttpError } from "../security.js";
+import { SessionForkInProgressError } from "../execution-placement.js";
 import {} from "../memory-sync.js";
 import {} from "../orchestration/workflow-agent-steer.js";
 import {} from "../orchestration/workflow-completion-inbox.js";
@@ -22,6 +23,7 @@ import { createRequestGuards } from "./request-guards.js";
 import { sqlEngineSeatIssue } from "../sql-engine-posture.js";
 import { parkDecisionStoreRefusal } from "../orchestration/workflow-park-decision.js";
 import { CHECKPOINT_CTX_SEALING_REQUIRED } from "./checkpoint-ctx.js";
+import { PARKED_REVIVE_EXECUTION_SEAT_REQUIRED } from "../parked-decide.js";
 import { retiredServiceDepsRefusal } from "./retired-service-deps.js";
 import { createAdmission, MAX_SKILL_CONTENT_CHARS, MAX_SYSTEM_PROMPT_CHARS, MAX_OUTPUT_SCHEMA_CHARS, validateUserSkills } from "./admission.js";
 import { createResumeLegs } from "./resume-legs.js";
@@ -61,6 +63,9 @@ export function createHttpServer(rawDeps) {
     if (typeof deps.runnerFor !== "function") {
         throw new Error("createHttpServer: the runnerFor seat is required (it picks each task's Runner from its execution lane) — pass the hands-lane selector, or `runnerFor: () => runner` for a single-Runner embedding; refusing to start rather than run every task on the widest Runner");
     }
+    if (typeof deps.authorize !== "function") {
+        throw new Error("createHttpServer: the authorize seat is required — it is the only resolver of a submission's root session; pass `createAuthorizer(config, runner.sessions)` for a single-user embedding; refusing to start rather than run submissions on a root nobody attested");
+    }
     {
         const retired = retiredServiceDepsRefusal(deps);
         if (retired !== undefined)
@@ -71,9 +76,9 @@ export function createHttpServer(rawDeps) {
         if (issue !== undefined) {
             switch (issue) {
                 case "required":
-                    throw new Error("createHttpServer: sqlEngine is required when a SQL store backend is wired (the backend hands out a SQL pool) — pass the pool's engine reading as sqlEngine: `{ dialect: \"tidb\" | \"pg\", facts }` where `facts` is read live (a getter) and is null while the pool's connection setup has not succeeded; refusing to start rather than read the database's row and statement limits as absent and admit task bodies the database cannot store");
+                    throw new Error("createHttpServer: sqlEngine is required when a SQL store backend is wired (the backend hands out a SQL pool) — pass the pool's engine reading as sqlEngine: `{ dialect: \"mysql\" | \"pg\", facts }` where `facts` is read live (a getter) and is null while the pool's connection setup has not succeeded; refusing to start rather than read the database's row and statement limits as absent and admit task bodies the database cannot store");
                 case "bad_shape":
-                    throw new Error(`createHttpServer: sqlEngine must be the SQL pool's engine reading \`{ dialect: "tidb" | "pg", facts }\` where \`facts\` is read live (a getter) and is null while the pool's connection setup has not succeeded, otherwise the engine facts object (maxRowBytes, maxPacketBytes and wallSources included) — got ${typeof deps.sqlEngine === "function" ? "a function (the 7.131.x reader \`() => facts\` goes in as \`{ dialect, get facts() { return f(); } }\`)" : describeValueShape(deps.sqlEngine)}; refusing to start rather than answer every task submission with a 500`);
+                    throw new Error(`createHttpServer: sqlEngine must be the SQL pool's engine reading \`{ dialect: "mysql" | "pg", facts }\` where \`facts\` is read live (a getter) and is null while the pool's connection setup has not succeeded, otherwise the engine facts object (maxRowBytes, maxPacketBytes and wallSources included) — got ${typeof deps.sqlEngine === "function" ? "a function (the 7.131.x reader \`() => facts\` goes in as \`{ dialect, get facts() { return f(); } }\`)" : describeValueShape(deps.sqlEngine)}; refusing to start rather than answer every task submission with a 500`);
                 default: {
                     const unhandled = issue;
                     throw new Error(`sqlEngine seat issue without a refusal: ${String(unhandled)}`);
@@ -88,6 +93,8 @@ export function createHttpServer(rawDeps) {
     }
     if (deps.checkpointStore !== undefined && deps.checkpointCtxSealing === undefined)
         throw new Error(`createHttpServer: ${CHECKPOINT_CTX_SEALING_REQUIRED}`);
+    if (deps.parkedReviveSurface !== undefined && deps.sessionStorage?.executionPlacement === undefined)
+        throw new Error(`createHttpServer: ${PARKED_REVIVE_EXECUTION_SEAT_REQUIRED}`);
     const idemCache = new IdempotencyCache();
     const inflightRuns = new Map();
     const preemptableRuns = new DrainYieldingPreemptBook(() => deps.drainState?.draining === true);
@@ -164,6 +171,10 @@ export function createHttpServer(rawDeps) {
             }
             if (sendSessionError(res, err, "open"))
                 return;
+            if (err instanceof SessionForkInProgressError) {
+                sendError(res, 409, err.code, err.message);
+                return;
+            }
             sendError(res, 500, "internal.error", "internal error");
         });
     });

package/dist/http/session-inherit-env.d.ts

@@ -1,7 +1,7 @@
 /**
  * [ref] × 7.106.0 合并复审 X1(gpt-6 腿 A F1 [high],验证腿 B verified)—— 请求键 `inheritEnv` 的**会话绑定唯一提交点**。
  *
- * ── 分界(与 `device-placement.ts` 的首绑写协议同一句判据)──────────────────────────────────────────────────
+ * ── 分界(与 `execution-context.ts` 认领之后的执行放置提交同一句判据)──────────────────────────────────────────────────
  * 凡需要「这条会话此刻归我这条 run」才成立的事,排在 run 认领之后;其余全排在建任何东西之前。`inheritEnv` 的三道判
  * (值形 / 车道 / 射程)是**读**,住在 `resolveSpec`(两腿同判,任何副作用之前);而「本会话的 host 工厂下一次造环境按哪个词」
  * 是**写**,它只属于一条**被受理**的 run —— 修前它写在 `resolveSpec` 的最后一步,仍先于路由层的拒(`/v1/tasks/stream` 的
@@ -28,10 +28,9 @@ export interface SessionInheritEnvCommitCtx {
     bindSessionInheritEnv?: ((sessionId: string, policy: TaskInheritEnv | undefined) => void) | undefined;
 }
 /**
- * 在 run 认领之后调用:把受理的那条请求的 `inheritEnv`(缺席 = 清)写进本会话的绑定。`sessionId` 缺席(不接 authorizer 的嵌入形)⇒
- * 不写 —— `"all"` 在那一形已被 `resolveSpec` 响亮拒,`"scrub"` / 缺席与工厂缺省同形。
+ * 在 run 认领之后调用:把受理的那条请求的 `inheritEnv`(缺席 = 清)写进本会话(这条 run 的根会话)的绑定。
  */
-export declare function commitSessionInheritEnv(ctx: SessionInheritEnvCommitCtx, sessionId: string | undefined, body: {
+export declare function commitSessionInheritEnv(ctx: SessionInheritEnvCommitCtx, sessionId: string, body: {
     readonly inheritEnv?: TaskInheritEnv | undefined;
 }): void;
 //# sourceMappingURL=session-inherit-env.d.ts.map

package/dist/http/session-inherit-env.js

@@ -1,5 +1,5 @@
 export function commitSessionInheritEnv(ctx, sessionId, body) {
-    if (sessionId === undefined || ctx.bindSessionInheritEnv === undefined)
+    if (ctx.bindSessionInheritEnv === undefined)
         return;
     ctx.bindSessionInheritEnv(sessionId, body.inheritEnv);
 }

package/dist/http/wire-types.d.ts

@@ -195,7 +195,7 @@ export interface TaskRequestBody {
      *  after it"). core enforces the "before" edges and the service passes its rejection codes through UNCHANGED for the
      *  shell to render: `resume_at.before_target_not_user` (only plain user-message targets),
      *  `resume_at.before_root_unsupported` (can't rewind past the session root — start a new session),
-     *  `rewind_snapshot.unresolvable` (rewindFiles: no snapshot at/above the "before" branch point). Only meaningful
+     *  `rewind_snapshot.unresolvable` (restoreFiles: no snapshot at/above the "before" branch point). Only meaningful
      *  WITH `resumeAt` — sent alone it's a 400 (fail-loud, not a silent no-op). */
     resumeAtMode?: string;
     /** [ref] Phase3 (reuse-path warm-resume): require the `sessionId` to ALREADY exist. When `true` and the session
@@ -221,11 +221,6 @@ export interface TaskRequestBody {
     /** DV-15: opt-in tolerance for a PARTIAL file restore (default = loud terminal failure carrying the per-file
      *  ledger; `true` = keep going and disclose the same ledger on the result's rewindNotes). */
     acceptPartialRestore?: boolean;
-    /** RETIRED spelling (whole-tree epoch). Still accepted on the wire: its capture sense (true, no resumeAt) is
-     *  a tolerated no-op with a deprecation disclosure; its restore sense (true + resumeAt) is a typed rejection
-     *  naming `restoreFiles` — the restore semantics genuinely changed (whole tree ⇒ tracked set), so that
-     *  migration is explicit by design (core adjudicates; the server never remaps it silently). */
-    rewindFiles?: boolean;
     /** R8 code-only rewind (CC "Restore code" mode): converge the TRACKED set to the history boundary at a prior
      *  USER message WITHOUT forking the conversation (the session leaf is untouched — only the files move). The
      *  value is the same handle as `resumeAt` (the prompt's taskId); the service resolves it → the entry id. Honored ONLY
@@ -235,7 +230,7 @@ export interface TaskRequestBody {
      *  与 `checkpointStore` 同;没有 `"enabled"` —— 缺席就是「部署说了算」的唯一形,声明只能单向收紧)。`"disabled"` ⇒
      *  这条 run 零历史店调用:编辑照常落盘,但不做首次触碰备份、不铸回合边界、不做 fork 携带;委派出去的子代继承
      *  (core `ParentSpecSeat` 从本位铸,本仓零接线)。`wiring_manifest.fileHistory` 报 `"disabled"`。
-     *  同一个提交里再要还原(`restoreFiles` / `rewindFilesTo` / 退役 `rewindFiles`)= 体内矛盾 ⇒ **受理时** 400
+     *  同一个提交里再要还原(`restoreFiles` / `rewindFilesTo`)= 体内矛盾 ⇒ **受理时** 400
      *  `request.field_conflict`(`request-value-closure.ts` 的 `FILE_HISTORY_DISABLED_NO_RESTORE`):立门时 core 的 `rewind.capture_disabled`
      *  落在会话按 `resumeAt` 分叉之后、拒后不回滚,所以本层在副作用之前拒([ref] / core 7.35.0 [ref] 起 core 在分叉**之前**拒,
      *  本层 400 照旧有效)。续跑腿不过这道门。
@@ -472,7 +467,7 @@ export interface TaskRequestBody {
      *  · 仅 `REMOTE_EXEC=device` 的部署接受;其它车道收到它 = **400 响亮拒**(不静默忽略 —— 调用方会
      *    以为自己指定了执行设备,而那条声明从未存在);
      *  · 仅**根任务**提交携带(子代无条件继承根绑定,core 为 subagent/cascade/verify 另铸 sessionId);
-     *  · 首绑 = INSERT-if-absent CAS(并发单赢家);后续根提交:缺席 = 沿用绑定 / 携且同 = 幂等 /
+     *  · 首绑 = 根会话行执行格的 absent → writer(device, D)(按受理那一读的住客定址,并发单赢家);后续根提交:缺席 = 沿用绑定 / 携且同 = 幂等 /
      *    携且异 = 403 `device.identity_mismatch`(**v1 无隐式重绑**,换设备走
      *    `POST /v1/devices/sessions/:rootSessionId/rebind`);
      *  · resume 家族(`/decide` / `/answer` / `/plan_review` / `/wake`)**不收**这个键:车道随树固定。
@@ -491,10 +486,11 @@ export interface TaskRequestBody {
     /** [ref]⑧/[ref]/[ref] (core 5.23.0 `TaskSpec.oneShot`): this SUBMISSION is one-shot — no later turn exists
      *  in which an async background notification could land (the archetypal case is a headless `sema -p` whose
      *  process exits when the turn ends). PER-REQUEST on purpose: "does this submission expect to be continued" is
-     *  a property of the submission, not of the connection it arrived on. core consumes it as GUIDANCE ONLY (the
-     *  `RunWorkflow` / delegation receipts tell the model to block-wait via `TaskOutput({block:true})` instead of
-     *  "end your turn, you will be notified" — the latter is actively wrong here and loses background results); it
-     *  grants nothing, so there is no tenancy gate. Sibling of `interactiveTools` (the same `-p` posture) and passed
+     *  a property of the submission, not of the connection it arrived on. Since core 7.60.0 it changes when the
+     *  submission ends: where a one-shot run would end, the engine waits for the background agents and workflow runs
+     *  it started (a background command or Monitor watch is never waited for), bounded by the run's walltime, a cancel
+     *  and a 600 s ceiling; a sync submission therefore returns after that background work. It grants nothing, so
+     *  there is no tenancy gate. Sibling of `interactiveTools` (the same `-p` posture) and passed
      *  through the same way: a boolean rides, absent/garbage ⇒ key omitted (core's default = interactive). Rides the
      *  persisted body onto resume legs. */
     oneShot?: boolean;

package/dist/identity-source.d.ts

@@ -43,7 +43,7 @@ export declare const RUN_IDENTITY_PRINCIPAL_INC_MAX_CHARS = 64;
  * (身份键按字节判等,与 MySQL 协议表级 `utf8mb4_bin` 同形)。
  */
 export declare const RUN_IDENTITY_COLUMNS: {
-    readonly tidb: string;
+    readonly mysql: string;
     readonly pg: string;
 };
 /** 元组落盘的三格(SQL 三列 / File 车道 run.json 的三键,同名同义)。 */

package/dist/identity-source.js

@@ -2,7 +2,7 @@ export const IDENTITY_SOURCES = ["service_token", "sso", "direct_door_jwt"];
 export const RUN_IDENTITY_SCOPE_MAX_CHARS = 190;
 export const RUN_IDENTITY_PRINCIPAL_INC_MAX_CHARS = 64;
 export const RUN_IDENTITY_COLUMNS = {
-    tidb: [
+    mysql: [
         "identity_source VARCHAR(32) NULL",
         `identity_scope VARCHAR(${RUN_IDENTITY_SCOPE_MAX_CHARS}) NULL`,
         `identity_principal_inc VARCHAR(${RUN_IDENTITY_PRINCIPAL_INC_MAX_CHARS}) NULL`,

package/dist/index.d.ts

@@ -26,6 +26,7 @@ export type { TaskRequestBody } from "./http/wire-types.js";
 export { ensureCheckpointCtxSealing } from "./sealed-key.js";
 export type { CheckpointCtxSealing } from "./http/checkpoint-ctx.js";
 export { createHttpServer, type ServiceDeps, type RequestAuth, type FlatServiceDeps, type ServiceDepGroups, type ServiceCoreDeps, type ServiceStoreDeps, type ServiceCoordinatorDeps, type ServiceSeamDeps, type ServiceObservabilityDeps, type ServiceGovernanceDeps, type ServiceDeploymentDeps, type ServiceKnobDeps, } from "./http/server.js";
+export type { ExecutionContext, ResolvedTaskSpec, RootedTaskSpec } from "./http/execution-context.js";
 export { createPeerDesk } from "./peer-seat.js";
 export type { PeerDesk, PeerLease, McpDraft, A2aDraft } from "./peer-seat.js";
 export { createSideQueryLane, type KeyResolver, type SideQueryLane, type SideQueryLaneCtx } from "./boot/side-query-lane.js";

package/dist/lane-home-probe.d.ts

@@ -1,39 +1,53 @@
 /**
- * 执行环境的家目录:**声明 × 实测**的唯一判官与唯一的座(纯叶:零值依赖)。
+ * 执行环境的家目录:**主张 × 实测**的唯一判官与唯一的座(纯叶:零值依赖)。
  *
- * ## 病(一)—— 声明了却对不上
- * `REMOTE_EXEC_HOME_DIR` 是运维对「执行环境以哪个用户的家目录运行」的声明,它是 `~/` 形权限规则的基、引擎家锚拒读行(`~/.ssh` / `~/.npmrc` …)
- * 的落点(`execution-lane-caps.ts` `executionLaneHomeDir` 一只属主,几个消费面同读)。k8s / local-docker / ssh 三条车道的家目录是镜像 / 目标机
- * 登录用户的属性,boot 期不可知 —— 声明了就照单全收。声明 `/home/y` 而车道真实家目录是 `/home/x` 时,`Edit(~/.ssh/**)` 守的是 `/home/y`,
- * `/home/x/.ssh` 照读照写,运维与用户零告警:限制写了不生效且无人知。
+ * ## 病(一)—— 给了家目录却对不上
+ * 部署事先给每只执行环境一个家目录:运维声明 `REMOTE_EXEC_HOME_DIR`,或车道自己的出厂答案(声明缺席时 host = 本进程的家目录、e2b = 平台固定用户的
+ * `/home/user`;`execution-lane-caps.ts` `executionLaneHomeDir` 一只属主)。它是 `~/` 形权限规则的基、引擎家锚拒读行(`~/.ssh` / `~/.npmrc` …)的落点。
+ * 给的是 `/home/y` 而环境里命令真看到的 `$HOME` 是 `/home/x` 时,`Edit(~/.ssh/**)` 守的是 `/home/y`,`/home/x/.ssh` 照读照写,运维与用户零告警:
+ * 限制写了不生效且无人知(镜像换代换了用户、e2b 自定义模板换了用户、host 上会话 `settings.env` 改了 `HOME` —— 都是这一形)。
  *
- * ## 病(二)—— 没声明就恒问人
- * 执行环境不声明家目录时,引擎的家锚拒读行放不下 ⇒ 每一次泄内容的递归读(`grep -r` / `rg` / `git grep` / `tar c`)在全 shell 面恒问人、只读面直接拒。
+ * ## 病(二)—— 没给就恒问人
+ * 执行环境没有家目录时,引擎的家锚拒读行放不下 ⇒ 每一次泄内容的递归读(`grep -r` / `rg` / `git grep` / `tar c`)在全 shell 面恒问人、只读面直接拒。
  * 家目录是执行环境自己的事实,车道开环境那一拍问一次就知道 —— 不必要运维手填。
  *
- * ## 律(一只座、两个来源、一条取值律 —— {@link LaneHomeSeat},四条会问的车道各持一只,不各写一份)
- *  · **声明在场 ⇒ 声明**(座 = 声明原样)。车道对证与否是车道的姿势(`verifiesDeclared`):对证的车道在开环境那一拍问一次(与命令同一条 shell、同一份 env:
- *    `printf %s "$HOME"`),两者不一致 ⇒ 这只执行环境不开(拒句点名两值与两条改法),环境答了的判定记在环境上(同一镜像 / 同一目标机再问也是同一个答案,不重试成风暴);
- *    问不出答案同样不开(证不了声明 = 不拿一个没证过的目录去守),但不记 —— 与任何一次建连失败同,下一次重问;不对证的车道(adb:Android 没有 POSIX 登录家目录,声明是运维的断言)声明照单全收。
- *  · **没声明 ⇒ 实测**:同一拍问同一句;答出绝对路径 ⇒ 座 = 它,之后不再问;
- *  · **实测也缺席**(问不出 / 答的不是绝对路径,含空串)⇒ 座缺席(引擎失败关闭,不猜、不补 `/`),环境照开(没声明就没有声明可拒),一行 warn(点名读到了什么与出路)。
- * 规则基与 422 门在下单那一刻就要家目录,而那一刻执行环境还没开 —— 它们仍只读声明(`executionLaneHomeDir`);实测值只填引擎手里的这一只座。
+ * ## 律(一条:读得出就读,读数是真源 —— {@link LaneHomeSeat},每只读得出家目录的适配器各持一只,不各写一份)
+ *  · **有主张 ⇒ 证**:座 = 主张原样(下单门与引擎 prepare 在环境开起来之前就要基);开环境那一拍读一次(与命令同一条 shell、同一份 env:
+ *    `printf %s "$HOME"`;host 直接读它自己组合给子进程的那份 env),两者不一致 ⇒ 这只执行环境不开(拒句点名两值与改法),环境答了的判定记在环境上
+ *    (同一镜像 / 同一目标机再问也是同一个答案,不重试成风暴);读不出同样不开(证不了主张 = 不拿一个没证过的目录去守),但不记 —— 与任何一次建连失败同,下一次重问。
+ *  · **没主张 ⇒ 实测**:同一拍问同一句;答出绝对路径 ⇒ 座 = 它,之后不再问;
+ *  · **实测也缺席**(问不出 / 答的不是绝对路径,含空串)⇒ 座缺席(引擎失败关闭,不猜、不补 `/`),环境照开(没主张就没有主张可拒),一行 warn(点名读到了什么与出路)。
+ * 读不了家目录的车道(device:设备协议没有读数)不持座 —— 声明就是座,起服披露「来自声明、未实测」(`execution-lane-caps.ts` `buildLaneHomeBootNote`)。
+ * 规则基与 422 门在下单那一刻就要家目录,而那一刻执行环境还没开 —— 它们只读主张(`executionLaneHomeDir`);环境开起来时主张被证,证不了的环境不开。
  */
-/** 探针答案的行首标记:登录脚本 / profile 往 stdout 打的横幅不会被读成家目录 —— 只认带这个标记的那一行(取最后一行)。 */
+/** 探针答案的行首标记:登录脚本 / profile 往 stdout 打的横幅不会被读成家目录 —— 只认带这个标记的那一行(恰一条,见 `markedHome`)。 */
 export declare const LANE_HOME_PROBE_MARKER = "sema-lane-home=";
 /**
  * 执行环境里问家目录的那一句 —— 经车道自己的命令通道跑(同一条 shell、同一份 env),答的就是命令看到的 `$HOME`。
  * 先换一行再打标记行:横幅没以换行收尾时,标记行照样从行首开始。
  */
 export declare const LANE_HOME_PROBE_COMMAND = "printf '\\nsema-lane-home=%s\\n' \"$HOME\"";
-/** 一次问家目录的读数:问到了(stdout 原文)/ 没问到(原因)。 */
+/**
+ * 一次问家目录的读数:探针的 stdout 原文(经车道命令通道跑 {@link LANE_HOME_PROBE_COMMAND})/ 直接读到的值(适配器自己组合子进程 env 的车道 —— host:
+ * 那份 env 里的 `HOME`;缺席时读子进程 shell 对 `~` 的展开,见 `remote-env-host.ts` `childHome`)/ 没问到(原因)。
+ */
 export type LaneHomeProbe = {
     readonly ok: true;
     readonly stdout: string;
+} | {
+    readonly ok: true;
+    readonly value: string;
 } | {
     readonly ok: false;
     readonly reason: string;
 };
+/** 主张的来源 —— 只进拒句(改法随它):运维声明(`REMOTE_EXEC_HOME_DIR`)/ 车道自己的出厂答案(声明缺席时;没有「删声明」这条路)。 */
+export type LaneHomeSource = "declared" | "lane";
+/** 部署交给一只执行环境的家目录主张:值 + 来源。 */
+export interface LaneHomeClaim {
+    readonly home: string;
+    readonly source: LaneHomeSource;
+}
 /**
  * 判定:`undefined` = 一致,照开;否则这只环境不开 —— `refusal` 是拒句,`answered` = 环境**答了**它的家目录(不一致 / 不是绝对路径;同一镜像 / 同一登录用户
  * 再问也是同一个答案 ⇒ 调用方记在环境上),`false` = 没答上(探针失败 / 超时 / 非零退出 / 输出里没有标记行 ⇒ 这一次不开、不记、下一次重问)。
@@ -43,9 +57,17 @@ export type LaneHomeVerdict = {
     readonly answered: boolean;
 } | undefined;
 /**
- * 声明 × 实测的判官。`lane` 只进句子。拒句三形:实测与声明不一致 / 实测不是绝对路径(含空)/ 没问到。每一形都点名声明值与改法,不回显任何别的东西。
+ * 执行环境的路径平台 —— 「绝对」与「同一个目录」两条判据随它:远端车道(k8s / local-docker / ssh / adb / e2b,Linux / Android 的 POSIX shell)= `posix`;
+ * win32 宿主上的 host 车道 = `win32`(子进程的 `HOME` 是盘符形)。车道没得选:是环境自己的平台,由持座的适配器说(缺省 `posix`)。
  */
-export declare function judgeLaneHome(lane: string, declared: string, probe: LaneHomeProbe): LaneHomeVerdict;
+export type LanePathFlavor = "posix" | "win32";
+/**
+ * 主张 × 实测的判官(全仓唯一一只:每只读得出家目录的适配器经 {@link LaneHomeSeat} 用它,自己不比)。`lane` 只进句子。
+ * 拒句闭集 3 形 × 2 来源:实测与主张不一致 / 实测不是绝对路径(含空)/ 没问到;每一句都点名主张(与实测值,有就点名)和改法,不回显任何别的东西。
+ * 改法随来源:声明 ⇒「改成实测值或删掉声明」;出厂答案 ⇒ 只有「设成实测值」(没有声明可删)。另一条路两种来源同:让环境的 `HOME` 读主张那个值。
+ * 次序:读不出 → 不是绝对路径 → 一致 → 不一致(「绝对」先于「一致」:主张自己是相对串时,一个同样相对的读数也不放行)。
+ */
+export declare function judgeLaneHome(lane: string, claim: LaneHomeClaim, probe: LaneHomeProbe, paths?: LanePathFlavor): LaneHomeVerdict;
 /** 起服与每只环境「家目录答不出」那一行 warn 的事件名 —— 一只 code,起服(车道读不了)与环境(实测缺席)共用。 */
 export declare const LANE_HOME_UNDECLARED_EVENT = "execution_lane_home_undeclared";
 /**
@@ -55,52 +77,56 @@ export declare const LANE_HOME_UNDECLARED_EVENT = "execution_lane_home_undeclare
 export declare function buildHomeAbsentNote(lane: string, cause: string, remedy: string): string;
 /** 车道读不了家目录时的出路(起服那一行):声明它。 */
 export declare const DECLARE_HOME_REMEDY = "Declare the home: REMOTE_EXEC_HOME_DIR=<the absolute path the environment's $HOME reads>";
+/** 读不了家目录的车道(今天只有 device)上声明在场时,起服那一行 warn 的事件名:座 = 声明,没有任何读数证过它。 */
+export declare const LANE_HOME_UNMEASURED_EVENT = "execution_lane_home_unmeasured";
+/**
+ * 「这条车道的家目录来自声明、未实测」的一句(纯字符串 ⇒ `build*`)—— 读得出的车道由 {@link judgeLaneHome} 证主张,读不了的车道没有那一步,起服把这件事说出来:
+ * 规则落在哪、对不上时会怎样、运维要守住什么。
+ */
+export declare function buildHomeUnmeasuredNote(lane: string, declared: string): string;
 /** 一行「这只环境没有家目录」的事实:交给运维的那一行 warn 的两个字段。 */
 export interface LaneHomeAbsence {
     readonly provider: string;
     readonly note: string;
 }
-/** 这条车道的座怎么长出来:`declared` = 运维声明(`REMOTE_EXEC_HOME_DIR`,boot 期的唯一属主 `executionLaneHomeDir` 的答案);`verifiesDeclared` = 车道对声明对证。 */
-export interface LaneHomeSeatOptions {
-    readonly lane: string;
-    readonly declared: string | undefined;
-    readonly verifiesDeclared: boolean;
-    /** 实测缺席时交出那一行 warn(缺席 = 不交;生产装配由 boot 递一只带去重的报告座,见 {@link createLaneHomeAbsenceReporter})。 */
-    readonly onAbsent?: ((absence: LaneHomeAbsence) => void) | undefined;
-}
 /**
- * 四条会问家目录的车道(k8s / local-docker / ssh / adb)的适配器配置里与家目录有关的两个键 —— 文字只写这一处,四个配置接口 `extends` 它。
+ * 会读家目录的车道(k8s / local-docker / ssh / adb / e2b / host)的适配器配置里与家目录有关的三个键 —— 文字只写这一处,各配置接口 `extends` 它;
+ * {@link LaneHomeSeat} 直接吃它。
  */
 export interface LaneHomeConfig {
     /**
-     * [ref]④ / core [ref] —— 运维声明的执行环境 **home 目录**(绝对路径,本环境自己的命名空间里;`REMOTE_EXEC_HOME_DIR`)。`~/…` 形权限规则(`Edit(~/.ssh/**)`)对**跑在本 env 里的调用**
-     * 就以它为基。值由 `boot/execution-env.ts` 从**唯一属主** `execution-lane-caps.ts` 的 `executionLaneHomeDir` 递进来;adapter 不自算(两处各算一份 = 422 门与引擎对同一条规则给相反答案)。
-     * 缺席 ⇒ 不声明:车道建环境时自己问执行环境的 `$HOME`({@link LaneHomeSeat});实测也缺席 ⇒ 本 env 的 `homeDir` 座缺席,core 对 `~/` 规则判 `unreadable`
+     * [ref]④ / core [ref] —— 部署给本执行环境的 **home 目录主张**(绝对路径,本环境自己的命名空间里):运维声明 `REMOTE_EXEC_HOME_DIR`,或车道出厂答案。
+     * `~/…` 形权限规则(`Edit(~/.ssh/**)`)对**跑在本 env 里的调用**就以它为基。值由 `boot/execution-env.ts` 从**唯一属主** `execution-lane-caps.ts` 的
+     * `buildLaneHomeClaim` 递进来;adapter 不自算(两处各算一份 = 422 门与引擎对同一条规则给相反答案)。在场 ⇒ 环境开起来时与 `$HOME` 对证,不一致 ⇒ 这只环境不开。
+     * 缺席 ⇒ 车道建环境时自己问执行环境的 `$HOME`({@link LaneHomeSeat});实测也缺席 ⇒ 本 env 的 `homeDir` 座缺席,core 对 `~/` 规则判 `unreadable`
      * (fail-closed 的 ask),绝不回落引擎进程自己的 home(那在远端腿上是另一个用户的另一个目录 —— 静默守错目录正是 [ref] 的病)。
      */
     homeDir?: string;
-    /** 实测缺席(没声明、也没问到绝对路径)时交出那一行 warn;缺席 = 不交。生产装配由 boot 递一只带去重的报告座({@link createLaneHomeAbsenceReporter})。 */
+    /** {@link homeDir} 的来源(只进拒句的改法):`declared` = `REMOTE_EXEC_HOME_DIR`;`lane` = 车道出厂答案。缺席读作 `declared`。 */
+    homeDirSource?: LaneHomeSource;
+    /** 实测缺席(没主张、也没问到绝对路径)时交出那一行 warn;缺席 = 不交。生产装配由 boot 递一只带去重的报告座({@link createLaneHomeAbsenceReporter})。 */
     onHomeAbsent?: (absence: LaneHomeAbsence) => void;
 }
 /**
- * 一只执行环境的家目录座 —— `ExecutionEnv.homeDir` 的**唯一取值律**:声明在场 ⇒ 声明;否则 ⇒ 车道开环境时实测到的绝对路径;实测也缺席 ⇒ `undefined`(引擎失败关闭)。
- * 车道只做两件事:`asks` 为真时经自己的命令通道跑一次 {@link LANE_HOME_PROBE_COMMAND},把读数交给 {@link settle};`homeDir` 读 {@link home}。
+ * 一只执行环境的家目录座 —— `ExecutionEnv.homeDir` 的**唯一取值律**:主张在场 ⇒ 主张(并在开环境时被证);否则 ⇒ 车道开环境时实测到的绝对路径;
+ * 实测也缺席 ⇒ `undefined`(引擎失败关闭)。车道只做两件事:`asks` 为真时读一次(命令通道跑 {@link LANE_HOME_PROBE_COMMAND},或直接读自己组合的 env),
+ * 把读数交给 {@link settle};`homeDir` 读 {@link home}。
  */
 export declare class LaneHomeSeat {
     private measured;
     private readonly lane;
-    private readonly declared;
-    private readonly verifiesDeclared;
+    private readonly claim;
     private readonly onAbsent;
-    constructor(options: LaneHomeSeatOptions);
-    /** 座:声明胜,否则实测,否则缺席。 */
+    private readonly paths;
+    /** `paths` = 执行环境自己的路径平台({@link LanePathFlavor};缺省 POSIX —— 只有 win32 宿主上的 host 适配器说 `win32`)。 */
+    constructor(lane: string, config: LaneHomeConfig, paths?: LanePathFlavor);
+    /** 座:主张胜,否则实测,否则缺席。 */
     get home(): string | undefined;
-    /** 这一拍还要不要问:声明在场 ⇒ 只有对证的车道问(每次连接);没声明 ⇒ 问到量出绝对路径为止。 */
+    /** 这一拍还要不要问:主张在场 ⇒ 每只新环境 / 每条新连接都问(对证);没主张 ⇒ 问到量出绝对路径为止。 */
     get asks(): boolean;
     /**
-     * 收一次读数。声明在场(且车道对证)⇒ {@link judgeLaneHome}:`undefined` = 一致,否则这只环境不开(拒句 + 记不记见 {@link LaneHomeVerdict});
-     * 没声明 ⇒ 读到绝对路径就记下;读不到 / 不是绝对路径 ⇒ 座缺席、交一行 warn、**不拒环境**(`undefined`)—— 没声明就没有声明可拒,引擎对缺席座失败关闭。
-     * 不对证的车道声明在场时不该来问(`asks` 为假),来了照单全收。
+     * 收一次读数。主张在场 ⇒ {@link judgeLaneHome}:`undefined` = 一致,否则这只环境不开(拒句 + 记不记见 {@link LaneHomeVerdict});
+     * 没主张 ⇒ 读到绝对路径就记下;读不到 / 不是绝对路径 ⇒ 座缺席、交一行 warn、**不拒环境**(`undefined`)—— 没主张就没有主张可拒,引擎对缺席座失败关闭。
      */
     settle(probe: LaneHomeProbe): LaneHomeVerdict;
 }