@sema-agent/server 7.133.0 → 7.135.0

package/dist/capability-facts.d.ts

@@ -31,14 +31,13 @@ export declare const CAPABILITY_FACT_WHY: {
     readonly subagent_registry_absent: "the sub-agent steer registry is not wired";
     readonly subagent_output_face_absent: "the background sub-agent output face is not wired";
     readonly task_handle_faces_absent: "the background task-handle output/stop faces are not wired";
-    readonly session_owner_face_absent: "the session store has no ownership face (sessionStorage.ownerOf)";
+    readonly session_head_face_absent: "the session store has no by-id head read (sessionStorage.headOf — owner, occupant and leaf of a session row in one read)";
     readonly checkpoint_store_absent: "no durable checkpoint store is wired (DURABLE_APPROVAL)";
     readonly session_audit_absent: "no session audit view is wired (needs a durable session store)";
     readonly session_watch_absent: "the session watch registry is not wired";
-    readonly session_leaf_face_absent: "the session store has no leaf-read face (sessionStorage.getLeafId)";
     readonly session_lister_absent: "no session enumerator is wired (session store or run store listSessions)";
     readonly session_fork_face_absent: "the session store has no fork face";
-    readonly session_row_faces_absent: "the session store has no session-row faces (sessionFaceOf / sessionSummaryOf / patchSessionMeta)";
+    readonly session_row_faces_absent: "the session store has no session-row faces (headOf / sessionSummaryOf / patchSessionMeta)";
     readonly session_purge_absent: "no session purge coordinator is wired";
     readonly session_policy_store_absent: "no session policy store is wired";
     readonly store_backend_absent: "no store backend is wired (DB_BACKEND=memory, multi-tenant bare boot, or half-configured SQL)";
@@ -121,48 +120,50 @@ export declare function taskHandles(d: Pick<Deps, "runStore" | "taskHandleOutput
     output: Store<"taskHandleOutput">;
     stop: Store<"taskHandleStop">;
 }>;
-type OwnedSessionStore = WithMethods<OwnerAwareSessionStore, "ownerOf">;
-/** 会话属主面在场(入站 owner 门的地基;缺它,带会话的门一律 fail-closed)。 */
-export declare function sessionOwnership(d: Pick<Deps, "sessionStorage">): Fact<"session_owner_face_absent", {
-    sessionStorage: OwnedSessionStore;
+/** 会话店按 id 读一行的唯一读口在场(core `headOf`:属主 / 住客 / 叶子一次读;「有没有」与 `session-incarnation.ts` 的 `headReadOf` 同判)。 */
+type HeadReadingSessionStore = WithMethods<OwnerAwareSessionStore, "headOf">;
+/** 会话属主面在场(入站 owner 门的地基;缺它,带会话的门一律 fail-closed)。属主 = `headOf(id)?.owner`。 */
+export declare function sessionOwnership(d: Pick<Deps, "sessionStorage">): Fact<"session_head_face_absent", {
+    sessionStorage: HeadReadingSessionStore;
 }>;
-export declare function mcpReconnect(d: Pick<Deps, "runStore" | "sessionStorage">): Fact<"run_store_absent" | "session_owner_face_absent", {
+export declare function mcpReconnect(d: Pick<Deps, "runStore" | "sessionStorage">): Fact<"run_store_absent" | "session_head_face_absent", {
     runStore: Store<"runStore">;
-    sessionStorage: OwnedSessionStore;
+    sessionStorage: HeadReadingSessionStore;
 }>;
 export declare function sessionAuditView(d: Pick<Deps, "sessionAudit">): Fact<"session_audit_absent", {
     sessionAudit: Store<"sessionAudit">;
 }>;
-export declare function sessionEventStream(d: Pick<Deps, "sessionWatch" | "sessionStorage">): Fact<"session_watch_absent" | "session_leaf_face_absent" | "session_owner_face_absent", {
+/** 会话 SSE(watch 注册表 ∧ 头读:属主门与叶子都是 `headOf` 的投影)。 */
+export declare function sessionEventStream(d: Pick<Deps, "sessionWatch" | "sessionStorage">): Fact<"session_watch_absent" | "session_head_face_absent", {
     watch: Store<"sessionWatch">;
-    sessionStorage: WithMethods<OwnerAwareSessionStore, "ownerOf" | "getLeafId">;
+    sessionStorage: HeadReadingSessionStore;
 }>;
 type SessionLister = NonNullable<OwnerAwareSessionStore["listSessions"]>;
 /** 会话枚举面:session 店的 `listSessions`,否则老形 run 店聚合。见证 = 已绑好宿主的那一只。 */
 export declare function sessionList(d: Pick<Deps, "sessionStorage" | "runStore">): Fact<"session_lister_absent", {
     lister: SessionLister;
 }>;
-export declare function sessionFork(d: Pick<Deps, "sessionStorage">): Fact<"session_fork_face_absent" | "session_owner_face_absent", {
-    sessionStorage: WithMethods<OwnerAwareSessionStore, "ownerOf" | "fork">;
+export declare function sessionFork(d: Pick<Deps, "sessionStorage">): Fact<"session_fork_face_absent" | "session_head_face_absent", {
+    sessionStorage: WithMethods<OwnerAwareSessionStore, "headOf" | "fork">;
 }>;
-/** 会话行可写位(`PATCH /v1/sessions/:id`):会话店的会话面(属主 + 化身一次读 —— 门判属主、写与读回按化身条件)∧ 行写口(写后按同一住客读回)。
- *  三只 durable 店(SQL 双生 / local)都带;内存 dev 店没有 ⇒ 501。
+/** 会话行可写位(`PATCH /v1/sessions/:id`):会话店的头读(属主 + 化身一次读 —— 门判属主、写与读回按化身条件)∧ 行写口(写后按同一住客读回)。
+ *  三只 durable 店(SQL 双生 / local)都带;内存 dev 店没有行写口 ⇒ 501。
  *  本面**没有**独立能力位(契约附录 B.2c 登记):老 worker 对这一动词答 405,本事实为假的部署答 501。 */
 export declare function sessionPatch(d: Pick<Deps, "sessionStorage">): Fact<"session_row_faces_absent", {
-    sessionStorage: WithMethods<OwnerAwareSessionStore, "sessionFaceOf" | "patchSessionMeta">;
+    sessionStorage: WithMethods<OwnerAwareSessionStore, "headOf" | "patchSessionMeta">;
 }>;
-export declare function sessionDelete(d: Pick<Deps, "purgeSession" | "sessionStorage">): Fact<"session_purge_absent" | "session_owner_face_absent", {
+export declare function sessionDelete(d: Pick<Deps, "purgeSession" | "sessionStorage">): Fact<"session_purge_absent" | "session_head_face_absent", {
     purge: Store<"purgeSession">;
-    sessionStorage: OwnedSessionStore;
+    sessionStorage: HeadReadingSessionStore;
 }>;
-export declare function sessionPolicy(d: Pick<Deps, "sessionPolicyStore" | "sessionStorage">): Fact<"session_policy_store_absent" | "session_owner_face_absent", {
+export declare function sessionPolicy(d: Pick<Deps, "sessionPolicyStore" | "sessionStorage">): Fact<"session_policy_store_absent" | "session_head_face_absent", {
     policyStore: Store<"sessionPolicyStore">;
-    sessionStorage: OwnedSessionStore;
+    sessionStorage: HeadReadingSessionStore;
 }>;
-type SyncSessionStore = WithMethods<OwnerAwareSessionStore, "exportEntries" | "exportEntriesStream" | "beginImportStaging" | "sessionFaceOf" | "sessionSummaryOf" | "patchSessionMeta">;
+type SyncSessionStore = WithMethods<OwnerAwareSessionStore, "exportEntries" | "exportEntriesStream" | "beginImportStaging" | "headOf" | "sessionSummaryOf" | "patchSessionMeta">;
 type SessionSyncWhy = "store_backend_absent" | "file_history_store_absent" | "session_export_absent" | "session_import_staging_absent" | "session_row_faces_absent" | "policy_purge_absent";
 /** 会话对等同步的**对话半族**(manifest / entries / plan / import 两相):后端 ∧ 文件历史店 ∧ 导出两面 ∧ staged 导入面 ∧
- *  会话行三口(门读会话面 —— 属主 + 化身一次读,属主判门、化身给 identical 短路腿;manifest 带 `title` / `pinned`;导入经唯一写口按导入落定的
+ *  会话行三口(门读头 `headOf` —— 属主 + 化身一次读,属主判门、化身给 identical 短路腿;manifest 带 `title` / `pinned`;导入经唯一写口按导入落定的
  *  那一位住客重放它们)∧ policy 店能清(overwrite-dst 的 commit 要擦目的端旧 policy 行)。
  *  文件历史的 blob 搬运是另一只事实。 */
 export declare function sessionSync(d: Pick<Deps, "backend" | "sessionStorage" | "fileHistoryStore" | "sessionPolicyStore">): Fact<SessionSyncWhy, {
@@ -205,7 +206,7 @@ export declare function streamApproval(d: Pick<Deps, "toolApproval" | "config" |
  * 读根授权(「Yes, and add directory」)这台部署**受理不受理** —— `GET /v1/capabilities` 的 `approvalReadRootGrant` 位,与
  * `POST /v1/tool-approvals/:id/respond` 对应答体 `readRootGrant` 的受理门**读同一只**(位说不受理而口照收,就是「位说 X、行为不是 X」)。
  *
- * 判据 = 单用户 host 车道姿态 {@link cwdHonored}(与调用方 `cwd` / 附加目录同一条信任边界):授权把一个**宿主目录**加进本 run 的读目录,
+ * 判据 = 部署形表行 `callerOwnsWorkerDisk`(手在本 worker 盘上 ∧ 单主;与调用方附加目录同一条信任边界):授权把一个**宿主目录**加进本 run 的读目录,
  * 只有「这台机器一个可信主人」的姿态才有这个授权的语义;多租户与云上 / 容器车道的读面另有归宿(沙箱内的读面档位见 `READ_FACE`)。
  * 消费方的选项可见条件是**合取**:卡上有 `readRootCandidate`(逐卡位,引擎铸)∧ 本位为真。位缺席 = 老 server(不受理)。
  * 没有别的端点按本位判可用与否 —— 它只管应答体里的这一键。
@@ -220,6 +221,8 @@ export declare function readRootGrant(d: Pick<Deps, "config">): Fact<"read_root_
  *  · 活卡协调器缺席 ⇒ `[]`(没有审批卡可呈)。
  * 对 why 闭集穷举:`streamApproval` 的拒因多一个 ⇒ 这里编译红,逼着给新拒因定族。三条执行腿选族读的是同一只判据的 `active`,
  * 与本映射的「在场 ⇒ 呈卡族」是同一条规则(真腿对拍钉在 `test/stream-approval-on-e2e.test.ts`)。没有端点按它拒:它是消费方分派帧族的读点,`streamApproval` 的词义不变。
+ * [ref]:它也是壳**声明**的依据 —— 一条 run 只在 `settings.approvalFrameFamilies` 含本位那一个族时有活审批通道(三条腿判的是同一只映射
+ * `presentedApprovalFrameFamily`);不含 ⇒ 这条腿不呈卡,问当场交无人值守政策口。本位的值不因声明而变。
  */
 export declare function approvalFrameFamilies(stream: ReturnType<typeof streamApproval>): readonly ApprovalFrameFamily[];
 export declare function deviceLane(d: Pick<Deps, "deviceHub">): Fact<"device_hub_absent", {
@@ -339,7 +342,7 @@ export declare function workflowsJournal(d: Pick<Deps, "workflowRunStore" | "wor
  * `workspace-space.ts`;`persist` 缺省 `space`,`off` = 每轮新建)。**唯一读法**:能力位 `workspaceSync` 投影它的见证,k8s 适配器工厂(`boot/execution-env.ts`)把同一份
  * 见证交给适配器(适配器自己不再解析策略)。`persist: "off"` 仍是 available(存储在、没开 —— 缺省或运维显式 off)—— 与缺席不同义。
  *
- * **为何只读配置仍恒真**:`space` 的空间按会话住客分区、按 run 店的一行提交 —— 住客只有一只按 id 读(会话店的 `incarnationOf`,
+ * **为何只读配置仍恒真**:`space` 的空间按会话住客分区、按 run 店的一行提交 —— 住客只有一只按 id 读(会话店的 `headOf`,
  * 会话行上的那一格),行住在存储后端里。缺一的组合在起服时就被拒(`boot/execution-env.ts` 的 `assertWorkspaceSpaceReadable`,装配第 5 段,
  * 读的正是本事实的见证)⇒ 凡是起得来、报 `space` 的部署都读得出住客、写得下行,本事实不需要运行期依赖(再加一位 = 同一前提两处判)。
  * 剩下的「这条 run 读不到住客」是逐 run 的读失败(适配器的 `unavailable` 臂,响亮一行),不是部署形。

package/dist/capability-facts.js

@@ -1,24 +1,24 @@
 import { buildOperatorRosterWayOut, operatorRosterPresent } from "./http/principal-gate.js";
 import { mcpInjectionHonored } from "./task-mcp.js";
-import { cwdHonored } from "./task-cwd.js";
-import { resolveStreamApprovalGate } from "./tool-approval.js";
+import { DEPLOYMENT_SHAPE_PREDICATES } from "./deployment-shape.js";
+import { presentedApprovalFrameFamily, resolveStreamApprovalGate } from "./tool-approval.js";
 import { selfOrchestrationDenial } from "./task-workflow.js";
 import { centerEntitlementSourceWired } from "./runtime-caps-resolver.js";
 import { overwriteWipeIncapable } from "./session-sync.js";
 import { WORKSPACE_PERSIST_DEFAULT, WORKSPACE_SNAPSHOT_KEEP_DEFAULT, workspaceSnapshotTimeoutOf } from "./workspace-space.js";
+import { headReadOf } from "./session-incarnation.js";
 export const CAPABILITY_FACT_WHY = {
     run_store_absent: "no durable run store is wired (DB_BACKEND=mysql|pg|local)",
     subagent_registry_absent: "the sub-agent steer registry is not wired",
     subagent_output_face_absent: "the background sub-agent output face is not wired",
     task_handle_faces_absent: "the background task-handle output/stop faces are not wired",
-    session_owner_face_absent: "the session store has no ownership face (sessionStorage.ownerOf)",
+    session_head_face_absent: "the session store has no by-id head read (sessionStorage.headOf — owner, occupant and leaf of a session row in one read)",
     checkpoint_store_absent: "no durable checkpoint store is wired (DURABLE_APPROVAL)",
     session_audit_absent: "no session audit view is wired (needs a durable session store)",
     session_watch_absent: "the session watch registry is not wired",
-    session_leaf_face_absent: "the session store has no leaf-read face (sessionStorage.getLeafId)",
     session_lister_absent: "no session enumerator is wired (session store or run store listSessions)",
     session_fork_face_absent: "the session store has no fork face",
-    session_row_faces_absent: "the session store has no session-row faces (sessionFaceOf / sessionSummaryOf / patchSessionMeta)",
+    session_row_faces_absent: "the session store has no session-row faces (headOf / sessionSummaryOf / patchSessionMeta)",
     session_purge_absent: "no session purge coordinator is wired",
     session_policy_store_absent: "no session policy store is wired",
     store_backend_absent: "no store backend is wired (DB_BACKEND=memory, multi-tenant bare boot, or half-configured SQL)",
@@ -96,7 +96,7 @@ export function taskHandles(d) {
 }
 export function sessionOwnership(d) {
     const s = d.sessionStorage;
-    return s?.ownerOf !== undefined ? yes({ sessionStorage: s }) : no("session_owner_face_absent");
+    return headReadOf(s) !== undefined ? yes({ sessionStorage: s }) : no("session_head_face_absent");
 }
 export function mcpReconnect(d) {
     const runs = durableRuns(d);
@@ -113,12 +113,10 @@ export function sessionAuditView(d) {
 export function sessionEventStream(d) {
     if (d.sessionWatch === undefined)
         return no("session_watch_absent");
-    const s = d.sessionStorage;
-    if (s?.getLeafId === undefined)
-        return no("session_leaf_face_absent");
-    if (s.ownerOf === undefined)
-        return no("session_owner_face_absent");
-    return yes({ watch: d.sessionWatch, sessionStorage: s });
+    const owned = sessionOwnership(d);
+    if (!owned.available)
+        return owned;
+    return yes({ watch: d.sessionWatch, sessionStorage: owned.sessionStorage });
 }
 export function sessionList(d) {
     const lister = d.sessionStorage?.listSessions?.bind(d.sessionStorage) ?? d.runStore?.listSessions?.bind(d.runStore);
@@ -128,13 +126,13 @@ export function sessionFork(d) {
     const s = d.sessionStorage;
     if (s?.fork === undefined)
         return no("session_fork_face_absent");
-    if (s.ownerOf === undefined)
-        return no("session_owner_face_absent");
+    if (headReadOf(s) === undefined)
+        return no("session_head_face_absent");
     return yes({ sessionStorage: s });
 }
 export function sessionPatch(d) {
     const s = d.sessionStorage;
-    if (s?.sessionFaceOf === undefined || s.patchSessionMeta === undefined)
+    if (headReadOf(s) === undefined || s?.patchSessionMeta === undefined)
         return no("session_row_faces_absent");
     return yes({ sessionStorage: s });
 }
@@ -164,7 +162,7 @@ export function sessionSync(d) {
         return no("session_export_absent");
     if (s.beginImportStaging === undefined)
         return no("session_import_staging_absent");
-    if (s.sessionFaceOf === undefined || s.sessionSummaryOf === undefined || s.patchSessionMeta === undefined)
+    if (headReadOf(s) === undefined || s.sessionSummaryOf === undefined || s.patchSessionMeta === undefined)
         return no("session_row_faces_absent");
     if (overwriteWipeIncapable(d.sessionPolicyStore))
         return no("policy_purge_absent");
@@ -196,7 +194,7 @@ export function streamApproval(d) {
         toolApprovalEnabled: d.toolApproval !== undefined,
         streamApprovalEnabled: d.config.streamApproval?.enabled === true,
         backend: d.backend,
-        parkFacility: d.checkpointStore !== undefined,
+        checkpointStore: d.checkpointStore,
     });
     if (gate.active)
         return yes({ askStore: gate.askStore });
@@ -216,18 +214,18 @@ export function streamApproval(d) {
     }
 }
 export function readRootGrant(d) {
-    return cwdHonored(d.config) ? YES : no("read_root_grant_posture_refused");
+    return DEPLOYMENT_SHAPE_PREDICATES.callerOwnsWorkerDisk.holds(d.config) ? YES : no("read_root_grant_posture_refused");
 }
 export function approvalFrameFamilies(stream) {
     if (stream.available)
-        return ["approval_request"];
+        return [presentedApprovalFrameFamily(true)];
     switch (stream.why) {
         case "tool_approval_disabled":
             return [];
         case "stream_approval_disabled":
         case "store_backend_absent":
         case "checkpoint_store_absent":
-            return ["tool_approval"];
+            return [presentedApprovalFrameFamily(false)];
         default: {
             const unhandled = stream.why;
             throw new Error(`unhandled stream-approval why: ${JSON.stringify(unhandled)}`);

package/dist/center-config-tier.d.ts

@@ -1,5 +1,5 @@
 /**
- * S-667 —— **中心配置档位的唯一属主**:「在用的中心配置是谁的」+「换人之后降到了无中心配置档没有」+ 两态通告。
+ * [ref] —— **中心配置档位的唯一属主**:「在用的中心配置是谁的」+「换人之后降到了无中心配置档没有」+ 两态通告。
  *
  * ## 律
  * 凭证身份(凭据文件里的主体,`center-credential.ts` 的 `identity`)变化的那一刻,server 自己:

package/dist/center-credential.d.ts

@@ -69,7 +69,7 @@ export interface CenterCredentialSource {
     read(): CenterCredentialRead;
     health(): CenterCredentialHealth;
     /**
-     * S-698:每次取值之后**同步**回调一次(入参 = 这次的结果,已记进健康态)。续签器的唯一触发口(设计 §2「每次取值后,
+     * [ref]:每次取值之后**同步**回调一次(入参 = 这次的结果,已记进健康态)。续签器的唯一触发口(设计 §2「每次取值后,
      * 读到 user-session 信封且在提前量内 ⇒ 排队一次续签」)。返回退订。回调不许抛(抛 = 这次取值跟着抛,响亮)。
      */
     onRead(listener: (read: CenterCredentialRead) => void): () => void;
@@ -92,7 +92,7 @@ export type CenterCredentialSourceSpec = Exclude<WebAdminCredentialDeclaration,
     readonly multiTenant: boolean;
 };
 /**
- * 读两个声明键 —— 判定全交 settings-schema 的判官 `judgeWebAdminCredentialDeclaration`(S-742:二选一规则的**唯一**实现;空串 = 未设、
+ * 读两个声明键 —— 判定全交 settings-schema 的判官 `judgeWebAdminCredentialDeclaration`([ref]:二选一规则的**唯一**实现;空串 = 未设、
  * 不 trim;两个都设 ⇒ throw,boot 拒启,拒句点名两个键、不回显值)。本仓只多读方自己的那一步:文件路径按本进程 cwd 解析成绝对
  * 路径(之后 cwd 变了也读同一个文件 —— 纯契约不碰 `node:path`,这一步归读方)。
  */
@@ -128,7 +128,7 @@ export declare const CENTER_CREDENTIAL_REFUSAL_CODES: {
 };
 export type CenterCredentialRefusalCode = (typeof CENTER_CREDENTIAL_REFUSAL_CODES)[keyof typeof CENTER_CREDENTIAL_REFUSAL_CODES];
 /**
- * S-698 —— boot 读到的凭证怎么处置(`boot/web-admin.ts` 执行,规则只在这里):
+ * [ref] —— boot 读到的凭证怎么处置(`boot/web-admin.ts` 执行,规则只在这里):
  *  · `missing` / `expired` ⇒ 响亮(error 级一行),照常起服 —— 前者是「此刻没有凭证」(登出形,文件出现即恢复),
  *    后者续签器立刻续签;
  *  · `malformed` / `multi_tenant_session` ⇒ **拒启**,拒句带码、点名文件键,不回显内容(`reason` 由本模块铸,本来就不含内容)。
@@ -144,7 +144,7 @@ export declare function scopedTokenNeedsWorker(read: CenterCredentialRead, worke
  */
 export declare function centerStateBin(worker: string | undefined, identity: string): string;
 /** 此刻凭证的身份(每次现读);取不到凭证 ⇒ `undefined`(身份未知)—— 唯一例外是 `expired`:令牌不许出站,但信封还读得出
- *  是谁(S-698:过期不等于换了人,盘上 LKG / prompt 分箱照常对得上)。「我现在是谁」只有这一只读法。 */
+ *  是谁([ref]:过期不等于换了人,盘上 LKG / prompt 分箱照常对得上)。「我现在是谁」只有这一只读法。 */
 export declare function credentialIdentityNow(source: CenterCredentialSource): string | undefined;
 /**
  * [ref] E-15 ② —— 一次中心往返的答复**仍属于此刻的凭证**:发出它所用的身份 = 此刻的身份。

package/dist/checkpoint-ctx-seal-m28.d.ts

@@ -0,0 +1,42 @@
+/**
+ * 一次性迁移 M28 —— 升级之前写下的停驻行(`checkpoint_ctx`)里,请求面凭据位上的明文起服**原地封好**。
+ * 🔴 M28 · 窗口见 `plugins/one-time-migrations.ts` 的 ONE_TIME_MIGRATIONS 登记表(窗、删法、删后由谁接住只写在那一行)。
+ *
+ * ## 为什么要它(持久数据面)
+ * 7.134.0 起凭据位上的值在 ctx 里只以封签存在(规则属主 `http/checkpoint-ctx.ts` 末段「凭据位密封」),续跑上下文读口对凭据位上的明文答
+ * 409 `conflict.checkpoint_ctx_unsealable`(`reason:"plaintext"`)。升级前停驻的行是明文 —— 持久数据面不能「翻红」,所以起服扫一遍、用**同一只**封口
+ * (`sealStoredCheckpointCtxM28`,与写侧 `sealCheckpointCtx` 同一只走法)封好、原地回写;不删行、不动续跑时钟、已封的与不带凭据的行零写。
+ *
+ * ## 为什么不在 `one-time-migrations.ts` 的迁移段里
+ * 封要保管店派生的封签器,而那一段跑在店层(起服第 3 段,`openStores`),比建店的 web-admin 运行时能把封签器交下去的地方早、也不该反向依赖它;
+ * 本条在起服第 6 段 checkpoint 店建成、封签器的装配判(`CHECKPOINT_CTX_SEALING_REQUIRED`)过了之后调一次,早于任何路由装配(与 M10 / M19 / M25
+ * 同为在迁移段之外跑的条目)。读数一行 info `checkpoint_ctx_credentials_sealed`,不进 `OneTimeMigrationReport`(登记行 `reportKeys` 空)。
+ */
+import { type CheckpointCtxSealer, type SealedCheckpointCtx } from "./http/checkpoint-ctx.js";
+import { type OneTimeMigrationWindow } from "./plugins/one-time-migrations.js";
+import type { CtxRowsRewriteM28 } from "./plugins/checkpoint-store-sql.js";
+/** 两孪生的店腿(`SqlCheckpointStore` / `LocalCheckpointStore` 的 `rewriteCtxRowsM28`)。 */
+export interface CheckpointCtxRowsRewriterM28 {
+    rewriteCtxRowsM28(rewrite: (sessionId: string, ctx: object) => {
+        readonly ctx: SealedCheckpointCtx;
+        readonly values: number;
+    } | undefined): Promise<CtxRowsRewriteM28>;
+}
+/** M28 一次起服的读数(起服 info 行逐键打出;测试按它断言)。`window: "closed"` ⇒ 一行都没读(其余全 0)。 */
+export interface CheckpointCtxSealM28Report {
+    readonly window: "open" | "closed";
+    readonly rowsScanned: number;
+    readonly rowsSealed: number;
+    readonly valuesSealed: number;
+    readonly rowsUnreadable: number;
+    readonly rowsTooLarge: number;
+}
+/**
+ * 跑一次 M28(`today` = UTC 日历日 YYYY-MM-DD;`window` 缺省 = 登记表 M28 那一行 —— 只有测试递别的窗)。窗关 ⇒ 不扫。
+ * 店腿的每一行:`sealStoredCheckpointCtxM28` 交回新体(凭据位上的明文封好)⇒ 回写;交回 `undefined`(没有明文)⇒ 不写。
+ */
+export declare function sealCheckpointCtxCredentialsM28(store: CheckpointCtxRowsRewriterM28, sealer: CheckpointCtxSealer, opts: {
+    readonly today: string;
+    readonly window?: Pick<OneTimeMigrationWindow, "removableAfter">;
+}): Promise<CheckpointCtxSealM28Report>;
+//# sourceMappingURL=checkpoint-ctx-seal-m28.d.ts.map

package/dist/checkpoint-ctx-seal-m28.js

@@ -0,0 +1,19 @@
+import { sealStoredCheckpointCtxM28 } from "./http/checkpoint-ctx.js";
+import { ONE_TIME_MIGRATIONS, migrationWindowOpen } from "./plugins/one-time-migrations.js";
+function m28Window() {
+    const row = ONE_TIME_MIGRATIONS.find((w) => w.id === "M28");
+    if (row === undefined)
+        throw new Error("checkpoint-ctx-seal-m28: the one-time migration registry has no M28 row — this migration outlived its registry row; delete it with that row");
+    return row;
+}
+export async function sealCheckpointCtxCredentialsM28(store, sealer, opts) {
+    if (!migrationWindowOpen(opts.window ?? m28Window(), opts.today)) {
+        return { window: "closed", rowsScanned: 0, rowsSealed: 0, valuesSealed: 0, rowsUnreadable: 0, rowsTooLarge: 0 };
+    }
+    const r = await store.rewriteCtxRowsM28((sessionId, ctx) => {
+        const out = sealStoredCheckpointCtxM28(ctx, sealer, sessionId);
+        return out === undefined ? undefined : { ctx: out.ctx, values: out.valuesSealed };
+    });
+    return { window: "open", rowsScanned: r.scanned, rowsSealed: r.rewritten, valuesSealed: r.valuesRewritten, rowsUnreadable: r.unreadable, rowsTooLarge: r.tooLarge };
+}
+//# sourceMappingURL=checkpoint-ctx-seal-m28.js.map

package/dist/checkpoint-identity.d.ts

@@ -1,5 +1,10 @@
 /** `checkpointId` 的长度上界(见本文件头注第 2 条)。 */
 export declare const MAX_CHECKPOINT_ID_CHARS = 128;
+/**
+ * 一句要出店的话(日志 / 探针行)里**不许**含这一行的 token:大小写不敏感地把每一处换成记号 —— 与 {@link trustedCheckpointId} 同一条「包含关系 + 大小写不敏感」判据,
+ * 用在交不了值、只交得了一句话的出口(引擎铸的披露句按 checkpoint id 点名,而 id 可能被写成了 token)。token 为空 ⇒ 原句。
+ */
+export declare function withoutCheckpointToken(text: string, token: unknown): string;
 /** 持久层读出的 `checkpointId` 过信任边界:是串、非空、不超长、不含 token(大小写不敏感)⇒ 原值;否则 `undefined`。判据全文见本文件头注。 */
 export declare function trustedCheckpointId(raw: unknown, token: unknown): string | undefined;
 /** 带 `checkpointId` 当 join 键的两类 durable 读面(计数 detail 的 `face`)。 */

package/dist/checkpoint-identity.js

@@ -1,5 +1,19 @@
 import { recordFailOpen } from "./observability/fail-open.js";
 export const MAX_CHECKPOINT_ID_CHARS = 128;
+export function withoutCheckpointToken(text, token) {
+    const secret = token === undefined || token === null ? "" : String(token);
+    if (secret === "")
+        return text;
+    const lower = text.toLowerCase();
+    const needle = secret.toLowerCase();
+    let out = "";
+    let from = 0;
+    for (let at = lower.indexOf(needle); at !== -1; at = lower.indexOf(needle, from)) {
+        out += `${text.slice(from, at)}«checkpoint token»`;
+        from = at + needle.length;
+    }
+    return out + text.slice(from);
+}
 export function trustedCheckpointId(raw, token) {
     if (typeof raw !== "string" || raw === "" || raw.length > MAX_CHECKPOINT_ID_CHARS)
         return undefined;

package/dist/config-catalog.d.ts

@@ -36,12 +36,12 @@ export interface ConfigCatalogSpec {
     readonly danger?: readonly CatalogDangerAxis[];
     readonly enumValues?: readonly string[];
     /**
-     * S-201① —— 本行**回显**得出的词集(`enumValues` 的子集;缺席 ⇒ 与 `enumValues` 同集)。
+     * [ref]① —— 本行**回显**得出的词集(`enumValues` 的子集;缺席 ⇒ 与 `enumValues` 同集)。
      *
      * 🔴 `enumValues` 一直是**两义**的:它既是行对外宣告的「你可以写哪些词」([ref] 件⑤/⑧ 两条钉逐字锚
      * 这一义:窄了=少宣告一档、宽了=宣告一个 boot 会拒的词),又被回显校验当成「实算值合不合法」的闭集。
      * 两义在**多数**行上碰巧同集,于是差别只活在散文里 —— `MANUAL_MODE_SHELL_GATE` 的
-     * `derivedDefaultNote` 写着「真姿态只有 always 一个」(S-877 前是 always/classify 两个),`MODEL_DEFAULT_THINKING` 写着
+     * `derivedDefaultNote` 写着「真姿态只有 always 一个」([ref] 前是 always/classify 两个),`MODEL_DEFAULT_THINKING` 写着
      * 「缺席/off ⇒ 不铸」,而**没有任何一条腿读那两句话**:`off` 照样留在回显闭集里,回显校验对它放行。
      *
      * ⇒ 把那半句散文变成一处**校验腿真读的声明**:`sanitizeEnumValue` 问 `echoWords ?? enumValues`,
@@ -53,7 +53,7 @@ export interface ConfigCatalogSpec {
      */
     readonly echoWords?: readonly string[];
     /**
-     * S-100 —— **底层布尔 ↔ 闭集词**的行内映射,只给「实算腿回布尔、而行对外说词」的 enum 行。
+     * [ref] —— **底层布尔 ↔ 闭集词**的行内映射,只给「实算腿回布尔、而行对外说词」的 enum 行。
      *
      * 为什么写在行上而不是建第二张全局极性表:`config.ts` 的极性表(`ConfigKnobRecord`)记的是
      * **布尔旋钮**的来源与默认方向,它压根不带词 —— 拿它当 `true→enumValues[0]` 的位置约定用,等于
@@ -73,7 +73,7 @@ export interface ConfigCatalogSpec {
      *
      * 🔴 第二参是**部署 env**,不是第五条供值腿:有几根旋钮的属主不在 `ServiceConfig` 上(它在装配点按
      * env 现算,如 WebSearch 后端),而目录的纪律是「回显属主算出来的值」—— 只能把同一条实算腿的入参放宽,
-     * 不能在目录里再抄一遍属主的读法(S-100 / codex r1 F3 的成案:抄一遍就是第二个写者,当场分歧)。
+     * 不能在目录里再抄一遍属主的读法([ref] / codex r1 F3 的成案:抄一遍就是第二个写者,当场分歧)。
      */
     readonly resolve?: (config: ServiceConfig, env: NodeJS.ProcessEnv, boot: CatalogBootFacts) => CatalogValue | undefined;
     readonly center?: CatalogCenterSeatSpec;
@@ -94,12 +94,12 @@ export interface ConfigCatalogRowCenter {
     readonly effectiveNow: boolean;
 }
 /**
- * 行上**对 `effectiveValue` 的判词位**(闭集;S-527 收成一族)—— 每一位**只在为真时铸 `true`、恒不铸 `false`**,缺席 = 这一格没有这件事
+ * 行上**对 `effectiveValue` 的判词位**(闭集;[ref] 收成一族)—— 每一位**只在为真时铸 `true`、恒不铸 `false`**,缺席 = 这一格没有这件事
  * (不是「不知道」)。净化器({@link sanitizeValue})一次读出值与判词,行投影原样铺平 —— 判词位只有这一种形,第三个判词位加进本闭集即受同一条约束。
- *  · `effectiveValueInvalid`(S-100,additive)—— 本行的实算值**落在它自己宣告的回显闭集之外**(`echoWords ?? enumValues`,S-201①),
+ *  · `effectiveValueInvalid`([ref],additive)—— 本行的实算值**落在它自己宣告的回显闭集之外**(`echoWords ?? enumValues`,[ref]①),
  *    或它的实算腿回了一个本行没有声明映射的布尔。在场时 `effectiveValue` 恒 `null`:回显一个集外值等于目录在教消费方写一个写回去就非法的词,
  *    而**静默丢**会让「配错了」与「真的没设」在 wire 上同形([ref] 响亮臂)。只服务闭集族(`type:"enum"`)。
- *  · `effectiveValueWithheld`(S-527,additive)—— `type:"url"` 行:展示铸点对这一格(单值)或其中任一项(列表)判了扣下(`failedClosed`:
+ *  · `effectiveValueWithheld`([ref],additive)—— `type:"url"` 行:展示铸点对这一格(单值)或其中任一项(列表)判了扣下(`failedClosed`:
  *    位置律本会显示的一段 —— 整段 query / 一个路径段 —— 因为里面有一条凭据形而不出门)。判决的属主是铸点,目录不另判;
  *    标准位置律(userinfo 落地、query 每个值成记号)对每一行同样成立,不是扣下;值整只成占位 = 这一行的展示律显示不了这个值
  *    (通用 url 行:不是层级式 URL;两只出网代理行的展示律更窄 —— 只显示 `scheme://host[:port]`,形不干净整只占位,`outbound-dispatcher.ts` `displayProxyUrl`),也不是本位。
@@ -135,7 +135,7 @@ export interface ConfigCatalogRow extends CatalogValueVerdicts {
  * 而不是回表态原词、未设回 `null`。入参对象本身**必填**(每个调用点都得表态这次有哪些装配事实)。
  */
 export interface CatalogBootFacts {
-    /** 记忆整理阀门的生效值(boot 第 4 段 `createConsolidationValve` 的判决:显式词,或 S-824 / [ref] 的出厂缺省派生)。
+    /** 记忆整理阀门的生效值(boot 第 4 段 `createConsolidationValve` 的判决:显式词,或 [ref] / [ref] 的出厂缺省派生)。
      *  缺席 = 这次装配没有这件事实(只有不经真装配的桩服务:`ServiceDeps` 平铺视图里组字段是可选的;真装配的分组形里它必填)
      *  ⇒ 实算腿答「不知道」(落 env 原文 / null),不猜。 */
     readonly memoryConsolidationValve?: {
@@ -149,7 +149,7 @@ export interface ConfigCatalogInputs {
     readonly boot: CatalogBootFacts;
     readonly knobs: readonly ConfigKnobRecord[];
     /** settings-schema 现行 DOMAINS(调用方传入,原样上 wire 的 `centerDomains` 列表)。🔴 7.106.0 起本注改真:本模块**不是**零包依赖 ——
-     *  它值级 import 了 core 与契约包(词表 / 中心凭证键名 / S-866 ⑤a 的 `DOMAIN_SCHEMAS` 座位门);这一格照旧由调用方传,
+     *  它值级 import 了 core 与契约包(词表 / 中心凭证键名 / [ref] ⑤a 的 `DOMAIN_SCHEMAS` 座位门);这一格照旧由调用方传,
      *  只因为它是 wire 上的一段列表、由路由决定取哪一份。 */
     readonly centerDomains: readonly string[];
     /** web-admin 当前在管的 ServiceConfig 键集(缺席 = 没有配置管道)。 */
@@ -168,7 +168,7 @@ export interface ConfigCatalogWire {
         readonly centerManaged: number;
     };
     readonly rows: readonly ConfigCatalogRow[];
-    /** S-885(7.106.0)—— 退役 env 墓碑表(settings-schema `RETIRED_ENVS`,本进程起服按它拒启)的投影 `buildRetiredEnvWire()`,**恒在场**
+    /** [ref](7.106.0)—— 退役 env 墓碑表(settings-schema `RETIRED_ENVS`,本进程起服按它拒启)的投影 `buildRetiredEnvWire()`,**恒在场**
      *  (可为空数组)。与 `rows` 分开:rows 是「本进程会读的 env」,这里是「本进程会拒的旧名」—— 一个名字不会同时在两处(墓碑名没有读取点)。 */
     readonly retired: readonly RetiredEnvWire[];
 }
@@ -178,7 +178,7 @@ export interface ConfigCatalogWire {
  */
 export declare const CONFIG_CATALOG: readonly ConfigCatalogSpec[];
 /**
- * S-866 ⑤a —— **目录座位加载期门**(类修:一次把「目录声称了契约里没有的中心写位」整类关掉)。
+ * [ref] ⑤a —— **目录座位加载期门**(类修:一次把「目录声称了契约里没有的中心写位」整类关掉)。
  *
  * 行上的 `center` 座位说的是「中心能发布这个键」。它必须对得上契约包 `@sema-agent/settings-schema` 的 `DOMAIN_SCHEMAS`:
  * ① 域在场;② `path` 在该域的 zod 形里解析得出(`a.b` 逐段进对象;`xs[].c` = 进数组元素)。任一不成立 ⇒ **抛**(模块加载即抛:
@@ -188,7 +188,7 @@ export declare const CONFIG_CATALOG: readonly ConfigCatalogSpec[];
  * 解析只认 zod 的结构外衣(optional / nullable / default / catch / readonly / effects·管道 / lazy)与对象 / 数组两种容器;认不出的节点 = 解析不出
  * (fail-closed:宁可多拒一个座位,也不放过一个假座位)。
  *
- * 🔴 S-909(7.106.0 合并复审 opus 腿 L-1):**只走 zod 公开面**。契约包今天是 zod 3.25、本仓是 zod 4 —— 读 zod 私有定义字段(类型判别名 /
+ * 🔴 [ref](7.106.0 合并复审 opus 腿 L-1):**只走 zod 公开面**。契约包今天是 zod 3.25、本仓是 zod 4 —— 读 zod 私有定义字段(类型判别名 /
  * 内层 schema / lazy getter)的旧写法在契约包升 zod 4 那天会让 `models[].…` 整族座位解析不出,模块 import 期整只抛。两大版没有一个能同时
  * 公开读到的「这是什么节点」判别位(v4 的 `.def.type` 在 v3 上不存在),`instanceof` 也跨不了两份 zod 的类身份 ⇒ 按两大版**同名的公开访问器**
  * 认形,规则三条(见 {@link zodObjectShapeOf} / {@link isZodArrayFace} / {@link ZOD_WRAPPER_FACES})。钉:`test/config-catalog-zod-public-face.test.ts`。

package/dist/config-invariants.d.ts

@@ -58,7 +58,7 @@ export interface CrossInvariant {
     check(input: CrossInvariantInput): string | undefined;
 }
 /**
- * ── S-1008 ① 推广(车 UZ 推广轮):**拒因句单铸点**是一类 —— 下面五只是 `config.ts` 区里五条跨域拒启的**判据 + 句子的唯一属主**
+ * ── [ref] ① 推广(车 UZ 推广轮):**拒因句单铸点**是一类 —— 下面五只是 `config.ts` 区里五条跨域拒启的**判据 + 句子的唯一属主**
  * (`executionLaneRequiredRefusal` / `modelProviderRefusal` 同形):boot 的 throw(`config.ts`,锚在那儿)与注册表条目的 `check` **都调它**,
  * 没有第二份文本可漂。修前这五条逐条两份不同的句子(boot 手写一份、表里另写一份),boot 那份是运维在 stderr 读到的(`config-validation.test.ts`
  * 钉着它的指纹),表那份只在热路径上被调 —— 而热键集带不上这些键 ⇒ 实际无读者。句子**取 boot 那份**(逐字不变);类钉 =
@@ -69,12 +69,12 @@ export interface CrossInvariant {
 export declare function halfOpenDirectDoorRefusal(v: Pick<CrossInvariantView, "directApprovalDoor" | "durableApproval" | "approvalHmacKeys" | "principalJwtPubkeys" | "principalJwtIss" | "principalJwtAud" | "requirePrincipal" | "operatorPrincipals">): string | undefined;
 /**
  * `operator-principals-required`([ref]-① 普查候选 1/2):BFF 多租户 durable 形(DURABLE_APPROVAL ∧ REQUIRE_PRINCIPAL,直连门关)的空 operator 名单。
- * 这条不变量生于审批四读面读「空名单 = 人人是」那条读法的年代(那时它防的是跨租户读待批队列);S-1050 删了那条读法 —— 空名单在每一面都是「没人是」,
+ * 这条不变量生于审批四读面读「空名单 = 人人是」那条读法的年代(那时它防的是跨租户读待批队列);[ref] 删了那条读法 —— 空名单在每一面都是「没人是」,
  * 不再外泄任何东西 —— 剩下的事实是「这台多租 worker 的审批队列没有人能当运维」。本版只把句子改真、不改拒启集;删不删这一条是另一次表态。
  */
 export declare function operatorPrincipalsRequiredRefusal(v: Pick<CrossInvariantView, "durableApproval" | "requirePrincipal" | "operatorPrincipals">): string | undefined;
 /**
- * `operator-single-user`(S-1050,[ref] ① 裁 A):「谁是 operator」一个事实一个来源。`OPERATOR_SINGLE_USER=true`(单用户形的每个调用方都是运维)
+ * `operator-single-user`([ref],[ref] ① 裁 A):「谁是 operator」一个事实一个来源。`OPERATOR_SINGLE_USER=true`(单用户形的每个调用方都是运维)
  * 只在单用户形、名单为空时成立:多租形没有「单一用户」(声明会把每个租户都变成运维);名单非空时两个来源答同一个问题。两形都拒,句子点名两根旋钮与出路。
  */
 export declare function operatorSingleUserRefusal(v: Pick<CrossInvariantView, "operatorSingleUser" | "requirePrincipal" | "operatorPrincipals">): string | undefined;
@@ -109,7 +109,7 @@ export declare function workflowParkDecisionDomainRefusal(v: Pick<CrossInvariant
 export declare function centerIdentityRefusal(v: Pick<CrossInvariantView, "authBridgeIssuer" | "webAdmin">): string | undefined;
 export declare const CONFIG_CROSS_INVARIANTS: readonly CrossInvariant[];
 /**
- * 按 id 取**一条**(S-157②:boot 面的单源化出口)。
+ * 按 id 取**一条**([ref]②:boot 面的单源化出口)。
  *
  * 为什么不是在 boot 期跑 `checkCrossInvariants` 全表:全表里有若干条的 boot 拒启点在 `config.ts` 的装配尾
  * (各自有自己的锚),在这里再跑一遍全表等于给 boot 加上今天不存在的拒启臂 —— 那是行为改动,不是单源化。

package/dist/config-invariants.js

@@ -6,14 +6,15 @@ import { defaultModelRefusal, refusedNameMintedRefusal } from "./model-entry-ref
 import { WEB_ADMIN_ENV, httpUrlFlaws } from "@sema-agent/settings-schema";
 import { authBridgeIssuerOf } from "./auth-bridge.js";
 import { buildDisplaySafeUrl } from "./trace/redact.js";
-import { executionLaneCaps, executionLaneOf, executionLaneRequiredRefusal, laneCapabilityHolds, REMOTE_EXEC_PROVIDER_WORDS } from "./execution-lane-caps.js";
+import { executionLaneCaps, executionLaneOf, executionLaneRequiredRefusal, REMOTE_EXEC_PROVIDER_WORDS } from "./execution-lane-caps.js";
+import { DEPLOYMENT_SHAPE_PREDICATES } from "./deployment-shape.js";
 export const LIVENESS_HEARTBEAT_MS = 30_000;
 const anyServiceAuth = (v) => Boolean(v.authToken) || Object.keys(v.authTokens ?? {}).length > 0;
 const mustNarrowBind = (v) => Boolean(v.allowUnauthedWrites) && !anyServiceAuth(v);
 const directDoorConjuncts = (v) => Boolean(v.directApprovalDoor) && Boolean(v.durableApproval) && v.approvalHmacKeys.length > 0 && v.principalJwtPubkeys.length > 0 && Boolean(v.principalJwtIss) && Boolean(v.principalJwtAud);
 function multiTenantSharedLaneRefusal(v) {
     const lane = executionLaneOf(v.remoteExec?.provider);
-    if (laneCapabilityHolds(executionLaneCaps(lane).tenantSeparation, v))
+    if (DEPLOYMENT_SHAPE_PREDICATES.laneSeparatesTenants.holds(v))
         return undefined;
     const outlets = REMOTE_EXEC_PROVIDER_WORDS.filter((w) => executionLaneCaps(w).tenantSeparation === "supported");
     return (`REQUIRE_PRINCIPAL=true (multi-tenant posture) with the "${lane}" execution lane runs every tenant's Bash on one shared target — ` +

package/dist/config-lkg.d.ts

@@ -34,7 +34,7 @@ export declare function lkgPathOverrideOf(raw: string | undefined): string | und
  *    根经链接时引擎连目标一起守)两处守它 ⇒ 不另加行(加了就是同一个文件两只判据,`READ_DENY_BUILTIN_EXCLUDE` 删那一行也删不掉它);
  *  · 覆写 ⇒ LKG 在配置根外,引擎那一行够不着 ⇒ 这里派生**一行** = 覆写的绝对路径(`/` 开头;`lkgPathOverrideOf` 已把相对值解成绝对)。大小写不敏感
  *    (与内建行同读法)。拒句与内建行同一句(`sensitive-path read deny list (pattern …)`)。
- *    **行的射程**(引擎读拒表的读法,core 7.48.0 #1442):`/` 开头的行**根锚定** —— 只守那一个绝对位置,用户仓里同尾的路径
+ *    **行的射程**(引擎读拒表的读法,core 7.48.0 [ref]):`/` 开头的行**根锚定** —— 只守那一个绝对位置,用户仓里同尾的路径
  *    (`/app/config-lkg.json` 之于 `…/repo/app/config-lkg.json`)读得到、Grep 结果里也在;路径经符号链接的目录时,引擎在每次准备时把这一行
  *    **沿链放置**到它的字面头真正通向的地方(写进去的文件落在链接目标下,目标路径同样被拒)。
  *    7.120.0–7.122.x 的两处旧读法随之退役:行是尾段任意深度匹配(挡掉用户仓里同尾的路径);本仓另派生一条 realpath 落点行(座席铸一次、