@sema-agent/server 7.146.0 → 7.148.0

package/dist/approval-card.d.ts

@@ -83,17 +83,17 @@ export declare const RuleOfferSchema: z.ZodUnion<readonly [z.ZodObject<{
     kind: z.ZodLiteral<"single">;
     rule: z.ZodString;
     match: z.ZodEnum<{
-        host: "host";
         name: "name";
         path: "path";
-        tool: "tool";
-        pattern: "pattern";
+        host: "host";
         exact: "exact";
         prefix: "prefix";
         wildcard: "wildcard";
+        pattern: "pattern";
         subpath: "subpath";
         name_prefix: "name_prefix";
         subdomain: "subdomain";
+        tool: "tool";
     }>;
     command: z.ZodString;
 }, z.core.$strict>, z.ZodObject<{
@@ -102,17 +102,17 @@ export declare const RuleOfferSchema: z.ZodUnion<readonly [z.ZodObject<{
         kind: z.ZodLiteral<"command">;
         rule: z.ZodString;
         match: z.ZodEnum<{
-            host: "host";
             name: "name";
             path: "path";
-            tool: "tool";
-            pattern: "pattern";
+            host: "host";
             exact: "exact";
             prefix: "prefix";
             wildcard: "wildcard";
+            pattern: "pattern";
             subpath: "subpath";
             name_prefix: "name_prefix";
             subdomain: "subdomain";
+            tool: "tool";
         }>;
         command: z.ZodString;
         segment: z.ZodString;
@@ -379,7 +379,7 @@ type ToolApprovalPark = Extract<CorePendingAction, {
  *    (成员表取 core 常量;core 的 `resumeStartupCauseOf` 从失败的**码**读出)。读者:`parked-decide.ts` 的 422 `parked_resume.startup_failed` 体(`cause`)。
  *    回执没说 ⇒ 缺席(不计数,「分不出」是一等状态);集外词 / 非串 ⇒ 按缺席(键不上 wire)+ 计一次,与卡上的闭集词同一只计数。
  *  · `differs`(core 7.44.0 [ref])—— **载体是引擎拒 steer 重放那只错的 `detail`**(不是 ask 的三个载体之一),值是 core `STEER_REPLAY_FACETS` 的**非空子集**
- *    (core:「恒非空」;筛 = 本文件 {@link isSteerReplayDiffers},成员表取 core 常量)。读者:`runs.ts` 的 409 `steering.duplicate_input_id` 体(`detail.differs`)。
+ *    (core:「恒非空」;筛 = 本文件 {@link isSteerReplayDiffers},成员表取 core 常量)。读者:`runs.ts` 的 409 `steering.duplicate_input_id` 体(根上的 `differs`)。
  *    集外成员 / 空数组 / 非数组 ⇒ 按缺席(不铸 `detail`,码仍是契约)+ 计一次;detail 只报形名(`differs=<array>` —— 数组从不展开成员,见 {@link outOfSetDetail})。
  *
  * 什么时候经本函数 —— 一句话:**筛点在 core;server 只在「读的是持久层原字节、中间没有 core 投影」的地方亲手调 core 的那一只筛**。
@@ -574,13 +574,13 @@ export declare const ApprovalCardSchema: z.ZodObject<{
     governanceForced: z.ZodOptional<z.ZodLiteral<true>>;
     rememberRefused: z.ZodOptional<z.ZodLiteral<true>>;
     approvalCard: z.ZodOptional<z.ZodEnum<{
-        question: "question";
+        shell: "shell";
         plan: "plan";
         skill: "skill";
+        question: "question";
         "file-edit": "file-edit";
         "file-write": "file-write";
         "notebook-edit": "notebook-edit";
-        shell: "shell";
         fetch: "fetch";
         workflow: "workflow";
         generic: "generic";
@@ -603,17 +603,17 @@ export declare const ApprovalCardSchema: z.ZodObject<{
         kind: z.ZodLiteral<"single">;
         rule: z.ZodString;
         match: z.ZodEnum<{
-            host: "host";
             name: "name";
             path: "path";
-            tool: "tool";
-            pattern: "pattern";
+            host: "host";
             exact: "exact";
             prefix: "prefix";
             wildcard: "wildcard";
+            pattern: "pattern";
             subpath: "subpath";
             name_prefix: "name_prefix";
             subdomain: "subdomain";
+            tool: "tool";
         }>;
         command: z.ZodString;
     }, z.core.$strict>, z.ZodObject<{
@@ -622,17 +622,17 @@ export declare const ApprovalCardSchema: z.ZodObject<{
             kind: z.ZodLiteral<"command">;
             rule: z.ZodString;
             match: z.ZodEnum<{
-                host: "host";
                 name: "name";
                 path: "path";
-                tool: "tool";
-                pattern: "pattern";
+                host: "host";
                 exact: "exact";
                 prefix: "prefix";
                 wildcard: "wildcard";
+                pattern: "pattern";
                 subpath: "subpath";
                 name_prefix: "name_prefix";
                 subdomain: "subdomain";
+                tool: "tool";
             }>;
             command: z.ZodString;
             segment: z.ZodString;
@@ -752,13 +752,13 @@ export declare const ApprovalCardEnvelopeSchema: z.ZodObject<{
         governanceForced: z.ZodOptional<z.ZodLiteral<true>>;
         rememberRefused: z.ZodOptional<z.ZodLiteral<true>>;
         approvalCard: z.ZodOptional<z.ZodEnum<{
-            question: "question";
+            shell: "shell";
             plan: "plan";
             skill: "skill";
+            question: "question";
             "file-edit": "file-edit";
             "file-write": "file-write";
             "notebook-edit": "notebook-edit";
-            shell: "shell";
             fetch: "fetch";
             workflow: "workflow";
             generic: "generic";
@@ -781,17 +781,17 @@ export declare const ApprovalCardEnvelopeSchema: z.ZodObject<{
             kind: z.ZodLiteral<"single">;
             rule: z.ZodString;
             match: z.ZodEnum<{
-                host: "host";
                 name: "name";
                 path: "path";
-                tool: "tool";
-                pattern: "pattern";
+                host: "host";
                 exact: "exact";
                 prefix: "prefix";
                 wildcard: "wildcard";
+                pattern: "pattern";
                 subpath: "subpath";
                 name_prefix: "name_prefix";
                 subdomain: "subdomain";
+                tool: "tool";
             }>;
             command: z.ZodString;
         }, z.core.$strict>, z.ZodObject<{
@@ -800,17 +800,17 @@ export declare const ApprovalCardEnvelopeSchema: z.ZodObject<{
                 kind: z.ZodLiteral<"command">;
                 rule: z.ZodString;
                 match: z.ZodEnum<{
-                    host: "host";
                     name: "name";
                     path: "path";
-                    tool: "tool";
-                    pattern: "pattern";
+                    host: "host";
                     exact: "exact";
                     prefix: "prefix";
                     wildcard: "wildcard";
+                    pattern: "pattern";
                     subpath: "subpath";
                     name_prefix: "name_prefix";
                     subdomain: "subdomain";
+                    tool: "tool";
                 }>;
                 command: z.ZodString;
                 segment: z.ZodString;
@@ -1054,7 +1054,7 @@ export declare function adoptStoredLiveFacts(frame: ApprovalRequestLiveFacts, se
 /**
  * [ref] §3.1 的呈卡帧(设计稿 §4.1 逐字)。
  *
- * 🔴 **一条腿一个帧族**:呈卡协议在一条腿上场(腿的审批上下文接了 `emitCard`)⇒ 这条腿上一只 ask 的开卡 / 消卡 / 撤卡只走本族
+ * 🔴 **一条腿一个帧族**:呈卡协议在一条腿上场(腿的审批上下文族词 `approval_request`)⇒ 这条腿上一只 ask 的开卡 / 消卡 / 撤卡只走本族
  * (`approval_request` / {@link ApprovalCompleteFrame} / {@link ApprovalRevokeFrame}),旧族 `tool_approval` / `tool_approval_complete`
  * 一帧都不发;协议未上场的腿只发旧族。同一只 ask 在同一条腿上不再有两种开卡帧,消费方不再按 `approvalId` 去重。
  * 开卡的全部事实因此在本帧上:卡(`card`,耐久信封)+ 活面事实座({@link ApprovalRequestLiveFacts};活铸帧与重放帧同一份,见 {@link APPROVAL_REQUEST_LIVE_FACT_KEYS} 顶注)。
@@ -1096,8 +1096,8 @@ export interface ApprovalRequestFrame extends ApprovalRequestLiveFacts {
  * 不带逐卡终局);本帧是**单卡**的终局(人答 / 窗到期 / park 路由 / 取消 …)。同一只 ask 两帧都可能收到(被撤的兄弟自己的
  * 登记也按 settle 收场)—— 按 `askId` 清卡即可,两帧不冲突。
  *
- * 投递口 = 开卡帧的同一只口(`ToolApprovalRunContext.emitCard`):卡帧在哪,消卡帧就在哪(sync 腿 live + detach 账本,bg / resume 腿账本)。
- * 门 = 这条连接的**开卡帧真的送达过**(没见过开卡帧的连接收到消卡帧就是孤儿 close,与旧族同一条门)。
+ * 投递 = 开卡帧的同一只腿传输(`hitl-delivery.ts`:先本 run 账本、再直写 —— sync 腿有 durable run 行时两只都有,bg / resume 腿只有账本)。
+ * 门 = 这条连接上**接下过开卡帧的那几只 sink**(没见过开卡帧的 sink 收到消卡帧就是孤儿 close,与旧族同一条门;配对在竞速机一处)。
  */
 export interface ApprovalCompleteFrame {
     /** = SSE 具名事件名(同 `approval_request` 约定)。 */
@@ -1124,7 +1124,7 @@ export declare function buildApprovalCompleteFrame(input: {
     parked: boolean;
     nowMs: number;
 }): ApprovalCompleteFrame;
-/** 呈卡腿的单卡帧(开卡 / 消卡)—— `ToolApprovalRunContext.emitCard` 的入参形。 */
+/** 呈卡腿的单卡帧(开卡 / 消卡)—— 呈卡族腿传输收的单卡帧形(另一只是批级撤卡帧)。 */
 export type ApprovalCardLegFrame = ApprovalRequestFrame | ApprovalCompleteFrame;
 /**
  * [ref] §3.3 的**批级撤卡帧**(车6;设计稿 §3 逐字)。
@@ -1134,13 +1134,11 @@ export type ApprovalCardLegFrame = ApprovalRequestFrame | ApprovalCompleteFrame;
  * 那一次原子事务真正翻成 `VOID` 的行集(`expireAsk`/`bindBatch` 的 `voidedSiblings` 返回形),不是
  * 「本批全体」的推断。
  *
- * 🔴 **发射面 = 逐 ctx 分发,durable 腿落账本、sync 腿 live-only**([ref] [ref] 改述;原句「live emit
- * only——reaper/收敛器无 seq 可分配」把**调用点**的约束错安在投递面上):帧恒经 `emitRevokeTo` 交给各
- * ctx 的 `emitRevoke` 钩子,bg/resume 两条 durable 腿的钩子就是本腿账本的 `append`(seq 由腿的 ledger
- * 链步分配,与帧从哪个调用点来无关),于是「卡帧在哪个账本、撤帧就在哪个账本」逐 ctx 自洽;sync 腿的
- * 钩子仍是 live SSE 写(行为零变)。丢帧(ctx 已退场/append 失败)的结构补偿不变 = 172 §3.1 的
- * 「preamble 是壳侧卡集**全量对账基准**,不在基准内的一律清」——壳重连时的 preamble 本身就会让一张
- * 没收到撤卡帧的僵尸卡消失;账本里重放的撤帧只用于时间线渲染,不是卡集基准。
+ * 🔴 **发射面 = 逐 ctx 分发,经该腿那一只传输**(与开卡帧同一条律:先本 run 账本、再直写;账本落不下 ⇒ 这一帧不上直写):
+ * 帧恒经 `emitRevokeTo` 交给各呈卡族 ctx 的传输,seq 由该腿账本链步分配(与帧从哪个调用点来无关),于是「卡帧在哪个账本、撤帧就在
+ * 哪个账本」逐 ctx 自洽;三条腿(sync 腿有 durable run 行时)都落账本。账本里的序 = **入链序**:陈旧快照的竞态窄窗里撤帧可以先于它
+ * 点名的卡行入链 —— 消费方按 `askIds` 幂等应用(`batchId` 不是事件身份:取消对同批每只问各发一帧)。丢帧(ctx 已退场 / 账本写失败)
+ * 的结构补偿不变 = 172 §3.1 的「preamble 是壳侧卡集**全量对账基准**,不在基准内的一律清」;账本里重放的撤帧只用于时间线渲染,不是卡集基准。
  *
  * v1 **不带 per-ask 终态**(§7-4 裁定):中选者另有 `PARKED` 的下行面(410 体 + 重放消失),壳按
  * `askIds` 清卡即可。

package/dist/approval-gate-currency.js

@@ -97,14 +97,15 @@ function isReopenReason(word) {
     return typeof word === "string" && REOPEN_REASONS.includes(word);
 }
 function openReading(checkpoint, gateBoundCallId) {
+    const generation = checkpointRevOf(checkpoint);
     const reason = checkpoint.reopenReason;
     if (!isReopenReason(reason))
-        return { kind: "open" };
+        return { kind: "open", generation };
     const prior = decisionReading(checkpoint, gateBoundCallId);
     const reopened = prior.kind === "decided"
         ? { reason, decision: prior.decision, decidedAtMs: prior.decidedAtMs, ...(prior.decisionNote !== undefined ? { decisionNote: prior.decisionNote } : {}) }
         : { reason };
-    return { kind: "open", reopened };
+    return { kind: "open", generation, reopened };
 }
 export function createParkedGateRead(cs) {
     return async ({ gateToken, gateBoundCallId }) => {

package/dist/approval-reconciler.d.ts

@@ -176,19 +176,10 @@ export interface ReconcileStats {
     /**
      * 祖先冻结 approver 层 fold 中途铸点([ref] 件1④):退出硬相等,不是 mismatch 也不是单铸。
      *
-     * 🔴 **今天恒零,而且是结构性的**(扫描P2,2026-08-12 亲读验真;登记而不假称已解):读口
-     * `findCheckpointCandidatesForAsk` 按 `session_id = ask.sessionId` 查,`session_id` 列写的是
-     * `cp.sessionId`,而 core 每个 checkpoint 铸点都填 `sourceSessionId: sessionId`
-     * (`runner/prepare-task.js` 四处;`checkpoint-store.d.ts` 逐字「= sessionId at the mint」)⇒ 读口
-     * 返回的候选恒满足 `c.sourceSessionId === ask.sessionId`;而判据 1 命中要 `c.sourceSessionId ===
-     * ask.sourceSessionId`,祖先层否决要 `ask.sourceSessionId !== ask.sessionId` —— 两者互斥,这一臂在生产
-     * 接线下一次也不会被返回。
-     *
-     * 所以**别把零读数当健康信号**(与 {@link unmatchableNoHash} 的「恒零才是健康态」正相反:那条能非零,
-     * 这条不能)。根因是本文件 `reconcileOne` 里已登记的读口 session 维缺口(委派腿的候选压根进不来),
-     * 修它需要自带判据 + 真 checkpoint 店的宿主/子代双 session 端到端钉,不在扫描批的口径内。
-     * 否决臂**不删**:它是纯减法的安全臂,读口一修好就重新承重。结构事实的钉:
-     * `test/approval-reconciler.test.ts` 的「扫描P2 ④ 结构钉」(翻转钉——读口修好那天它会变红)。
+     * 读口按停车行所在的会话(`ask.sourceSessionId`)查,委派子代那条腿的停车行因此进得了候选集 ⇒ 这一臂在生产接线下**承重**:
+     * 祖先层那一次铸的问(行上 `parent_tool_call_id` 为 NULL、`sourceSessionId` 是子代的会话)读得到子代那只停车行,身份与摘要都可能
+     * 对得上,这里把它拦下(非零读数 = 本来会 bind、被这条裁定拦下的行)。结构事实的钉:`test/approval-reconciler.test.ts` 的
+     * 「扫描P2 ④ 翻面」(真 checkpoint 店:读口喂得出触发它的候选)。
      */
     ancestorFoldMint: number;
     parked: number;

package/dist/approval-reconciler.js

@@ -88,7 +88,7 @@ export async function bindParkingAskAtGate(deps, ask, nowMs, deadlineMs) {
     const irreversibleBatch = batchState === "ABORTED" || (batchState === "ROUTING_BOUND" && batchBoundAskId !== null && batchBoundAskId !== ask.askId);
     let gateMatch;
     if (checkpoints && !irreversibleBatch && !expired()) {
-        const candidates = await withDeadline(checkpoints.findCheckpointCandidatesForAsk(encodeCheckpointScope(ask.owner), ask.sessionId, ask.toolCallId, ask.createdAtMs), "findCheckpointCandidatesForAsk");
+        const candidates = await withDeadline(checkpoints.findCheckpointCandidatesForAsk(encodeCheckpointScope(ask.owner), ask.sourceSessionId, ask.toolCallId, ask.createdAtMs), "findCheckpointCandidatesForAsk");
         gateMatch = classifyGateMatch(ask, candidates);
         if (gateMatch.kind === "hash_mismatch") {
             warn("approval_reconcile_hash_mismatch", {
@@ -177,7 +177,7 @@ export function createApprovalReconciler(deps) {
     const bindCommittedPark = async (calls) => {
         const deadlineMs = Date.now() + budgetMs;
         const work = (async () => {
-            const rows = await askStore.listParkingBySession(calls.sessionId);
+            const rows = await askStore.listParkingBySourceSession(calls.sessionId);
             for (const ask of rows) {
                 if (!calls.toolCallIds.includes(ask.toolCallId))
                     continue;

package/dist/approval.d.ts

@@ -76,12 +76,12 @@ export declare function gateIntentUnserviceableReason(config: GateIntentView, ch
  * 运维要在 **boot** 就知道,否则会把随之而来的拒绝读成故障。两条 warn 按「ask 从哪来」**划分车道**,互补不重叠:
  *  · `fs_write_gate_no_responder` —— 写门的 Write/Edit ask。它只在**手写本机盘**时才会发生(写门挂在 host
  *    语义上,而 ask 要有手去触发)⇒ 判据 = {@link handsOnWorkerFilePlane}(今天 = `host`)。改前写的是
- *    `remoteExec === undefined || provider === "host"`(门 D R3 同义折):把没有手的 in-process 也算进来,
+ *    `remoteExec === undefined || provider === "host"`(门 D R3 同义折):把没有手的那一形(今名 `none`)也算进来,
  *    那一形上一次 Write ask 都不会发生,warn 是假话;
  *  · `workflow_gate_no_responder` —— `run_workflow` 的 ask,**每条车道都挂**(不以挂手为前提,见
  *    `createWorkflowAskPolicy`)⇒ 判据 = 自编排开着 ∧ **不在上一条的射程里**(上一条的文案已覆盖本机手的车道)。
- *    改前写的是 `remoteExec !== undefined && provider !== "host"` —— 依赖上一条对 in-process 的兜底;
- *    上一条收窄之后,in-process ∧ 自编排 ∧ 无应答面必须由这一条接住(否则整形零告警)。
+ *    改前写的是 `remoteExec !== undefined && provider !== "host"` —— 依赖上一条对无手形的兜底;
+ *    上一条收窄之后,`none` ∧ 自编排 ∧ 无应答面必须由这一条接住(否则整形零告警)。
  */
 export declare function buildNoResponderBootWarns(input: {
     /** 本部署的执行车道(归一读口 `executionLaneOf` 的答案)。 */
@@ -151,7 +151,7 @@ export declare function buildForceDurableGateInertNotice(input: {
 export interface DurableAskOptions extends ApprovalListsView {
     autoBudget?: number;
     /** 本会话的「本会话放行」读面(server 的会话豁免店,键 = 会话 × wire 工具名)。缺席 = 这条腿没有会话 / 没有店 ⇒ 名单门照问。 */
-    exemption?: DeploymentListExemption;
+    exemption?: SessionExemptionRead;
 }
 /** 三张运维名单(一只调用由哪一张说话)的入参 —— 名单门与「问的属主」读法同读这一份。 */
 export interface ApprovalListsView {
@@ -181,24 +181,26 @@ export declare function createApprovalListVerdict(lists: ApprovalListsView): (ca
  */
 export declare function deploymentListAsks(config: Pick<GateIntentView, "approvalRequire" | "approvalDeny" | "approvalNeverAuto">, call: Pick<ToolCallRequest, "toolName" | "face">): boolean;
 /**
- * 名单门的「本会话放行」读面:本会话的豁免店读一次 + server 自己的审计行。名单的问是 server 铸的,它的站着的答案记在 server 的
- * 会话豁免店(活卡的 `allow_session` 与耐久 `/decide` 的 `remember:"session"` 写同一只店),名单门在出问**之前**读它。
+ * 策略层「本会话放行」读面:本会话的豁免店读一次 + server 自己的审计行。策略层的两道门 —— 部署名单门与 workflow 问句门 —— 问的都是 server 自己铸的问,
+ * 它们的站着的答案记在 server 的会话豁免店(活卡的 `allow_session` 与耐久 `/decide` 的 `remember:"session"` 写同一只店),两道门都在出问**之前**读它。
  */
-export interface DeploymentListExemption {
-    /** 这只工具(wire 名)在本会话有没有豁免行。有界、fail-closed:读抛 / 超时 ⇒ `false`(照问,人多看一张卡)。 */
+export interface SessionExemptionRead {
+    /** 这只工具(wire 名)在本会话有没有豁免行。有界、fail-closed:读抛 / 超时 / 答非 `true` ⇒ `false`(照问,人多看一张卡)。 */
     readonly has: (toolName: string) => Promise<boolean>;
-    /** 名单门因为豁免行没出问 —— server 自己的审计行(宿主豁免;不是人答的、不是策略代答的、没有记住任何东西)。 */
+    /** 门因为豁免行没出问 —— server 自己的审计行(宿主豁免;不是人答的、不是策略代答的、没有记住任何东西)。 */
     readonly onExempted: (toolName: string) => void;
 }
+/** 策略层读豁免店的读位(闭集;审计行与读失败告警的 `seat` 字段):部署名单门 / workflow 问句门。审批席自己的读不经这只铸点(`seat: "approval_seat"`,见 `tool-approval.ts` 的 `durableGrantHas`)。 */
+export type SessionExemptionReadSeat = "deployment_list" | "workflow_gate";
 /**
- * 名单门豁免读面的**唯一**铸点(HTTP 腿 `resolve-spec` 与 park 赎回腿 `parked-revive-gate` 两处装配都经它):键 = 会话 × wire 工具名
- * (与活卡 `allow_session` / `/decide` remember 写下的键同形)。审计事件名 {@link APPROVAL_EXEMPTED_EVENT},字段只有会话、工具与读位
- * `seat: "deployment_list"`(审批席自己那一行是 `seat: "approval_seat"`)。读的期限与审批席读同一只店的期限同值。
+ * 策略层会话豁免读面的**唯一**铸点(部署名单门的两处装配 —— HTTP 腿 `resolve-spec` 与 park 赎回腿 `parked-revive-gate` —— 与 workflow 问句门都经它):
+ * 键 = 会话 × wire 工具名(与活卡 `allow_session` / `/decide` remember 写下的键同形)。审计事件名 {@link APPROVAL_EXEMPTED_EVENT},字段只有会话、工具与读位 `seat`
+ * ({@link SessionExemptionReadSeat};审批席自己那一行是 `seat: "approval_seat"`)。读的期限与审批席读同一只店的期限同值;判 `=== true`(真值不放行)。
  */
-export declare function createDeploymentListExemption(store: Pick<ApprovalExemptionStore, "has">, sessionId: string, logger: {
+export declare function createSessionExemptionRead(store: Pick<ApprovalExemptionStore, "has">, sessionId: string, logger: {
     info(event: string, fields?: Record<string, unknown>): void;
     warn(event: string, fields?: Record<string, unknown>): void;
-}, leg?: "parked_revive"): DeploymentListExemption;
+}, seat: SessionExemptionReadSeat, leg?: "parked_revive"): SessionExemptionRead;
 /**
  * **每腿自动批额度的审批人名**(本仓闭词;core `AskOutcome.approver` 契约逐字「a closed word the host owns, never a person」)。
  * 结算记录读 `policy_allowed` / `who.party: "policy"` / `who.approver` = 本词 —— 审计读者按它认出「这一次放行是部署的自动批额度答的」,

package/dist/approval.js

@@ -100,7 +100,7 @@ export function createApprovalListVerdict(lists) {
 export function deploymentListAsks(config, call) {
     return createApprovalListVerdict({ requireApproval: config.approvalRequire, deny: config.approvalDeny, neverAuto: config.approvalNeverAuto })(call).list === "require";
 }
-export function createDeploymentListExemption(store, sessionId, logger, leg) {
+export function createSessionExemptionRead(store, sessionId, logger, seat, leg) {
     const where = { sessionId, ...(leg !== undefined ? { leg } : {}) };
     return {
         has: async (toolName) => {
@@ -113,7 +113,7 @@ export function createDeploymentListExemption(store, sessionId, logger, leg) {
                 return (await Promise.race([store.has(sessionId, toolName), deadline])) === true;
             }
             catch (err) {
-                logger.warn("session_grant_read_failed", { ...where, toolName, seat: "deployment_list", error: String(err).slice(0, 200) });
+                logger.warn("session_grant_read_failed", { ...where, toolName, seat, error: String(err).slice(0, 200) });
                 return false;
             }
             finally {
@@ -121,7 +121,7 @@ export function createDeploymentListExemption(store, sessionId, logger, leg) {
                     clearTimeout(timer);
             }
         },
-        onExempted: (toolName) => logger.info(APPROVAL_EXEMPTED_EVENT, { ...where, toolName, seat: "deployment_list" }),
+        onExempted: (toolName) => logger.info(APPROVAL_EXEMPTED_EVENT, { ...where, toolName, seat }),
     };
 }
 function createNameSetMatcher(names) {

package/dist/audit.d.ts

@@ -2,6 +2,7 @@ import { type StoredPromptEpoch } from "@sema-agent/core";
 import type { Pool } from "mysql2/promise";
 import type { Pool as PgPool } from "pg";
 import { type LocalSessionRows } from "./plugins/local-session-window.js";
+import type { Subject } from "./owner-brands.js";
 /**
  * Audit view of a session = its **current context** (the live messages + the last compaction's
  * summary), i.e. the floor-bounded window — never the full raw transcript. This matches the
@@ -38,10 +39,10 @@ export type RewindHandles = ReadonlyMap<string, string>;
 /** 会话视图读口(`ServiceDeps.sessionAudit`)的读者参数:`reader` = 读这张视图的**已验身份**(无身份 = `null`)。给了 ⇒ 这是一次**视图读**:用户消息行投回退手柄、体顶层投 `agent`(`session-agent.ts` 的 `readSessionAgent`);
  *  不给(只要归属的调用方:memory-status / 自助抹除)⇒ 两样投影的读都不付。 */
 export interface SessionAuditReadOpts {
-    readonly reader: string | null;
+    readonly reader: Subject | null;
 }
 /**
- * {@link RewindHandles} 的唯一铸点。一条规则:**一只用户条目带手柄,当且仅当锚店里恰好一行 `entry_id` = 它、`owner` = 读者** ——
+ * {@link RewindHandles} 的唯一铸点。一条规则:**一只用户条目带手柄,当且仅当锚店里恰好一行 `entry_id` = 它、`owner` = 读者**(存储键的桥 `owner-faces.ts` 的 `sameKey`:锚属主经 `ownerKeyOf` 成键,null 只同 null)——
  * 这正是 `resumeAt` 解析的谓词(`resolve(sessionId, eventId, owner)`:同会话、同 event、属主 null-safe 相等),所以行上出现的手柄
  * 读者拿去回退一定解得出;别人的锚(混属主会话)不投,同一条目被两行锚点名不挑(两只都缺席,不猜)。老条目没有锚 ⇒ 缺席。
  * E18 助手文本锚(按 live eventId 键入,指向助手条目)也在锚店里 —— 它们只会点名助手条目,投影只看用户行,所以不上 wire。
@@ -50,7 +51,7 @@ export declare function buildRewindHandles(anchors: ReadonlyArray<{
     readonly eventId: string;
     readonly entryId: string;
     readonly owner: string | null;
-}>, reader: string | null): RewindHandles;
+}>, reader: Subject | null): RewindHandles;
 /** Build the audit view from the durable log. Returns undefined if the session does not exist. `handles` = the reader's
  *  rewind-handle projection ({@link buildRewindHandles}); absent ⇒ no `taskId` keys. */
 export declare function buildSessionAudit(pool: Pool, sessionId: string, handles?: RewindHandles): Promise<SessionAudit | undefined>;
@@ -63,6 +64,12 @@ export declare function buildSessionAuditPg(pool: PgPool, sessionId: string, han
  *  floor — and on every backend that is what the run reads: the SQL twins' run wakes the same window; the local run wakes the whole
  *  tree, and the local window is cut from that tree's branch, with the anchor walking the branch below the floor. */
 export declare function buildSessionAuditLocal(rows: LocalSessionRows, sessionId: string, handles?: RewindHandles): Promise<SessionAudit | undefined>;
+/**
+ * 🔴 **历史读面过脱敏的叶名表**(能力位 `sessionReadRedaction` 的唯一来源)= {@link SESSION_READ_SHAPES} 里处置词不是 `"verbatim"` 的每一叶,写作 `<形>.<键>`(表序)。
+ * 不在表里的叶是**逐字**的(人写的输入、标识 / join 键、闭集词、数字);表外的键 / 角色 / 段类型整只深扫、从不放行,不进名单(名单只列表上登记过的叶)。
+ * `"parts"` 叶(`assistant.content` / `toolResult.content` / `attachmentFrame.content`)按段表读:文本段 / reasoning 段 / 工具实参脱,图片 / 文档字节与签名逐字。
+ */
+export declare const SESSION_READ_REDACTED_LEAVES: readonly string[];
 /**
  * 🔴 **会话视图的读面口 —— `GET /v1/sessions/:id` 的全部取法(整读 / `?tail` / `?before` / `?blobCap` / `?message=N`)共用这一只**。
  * 次序 = **选 → 脱 → 截**(路由 `http/routes/sessions.ts`):整条消息的选窗不切字符串,先选窗不改任何一条的脱敏读数、只把脱敏的量降到选中的那几条;

package/dist/audit.js

@@ -1,15 +1,16 @@
 import { StoredSession } from "@sema-agent/core";
-import { TiDBSessionStorage } from "./plugins/tidb-session-storage.js";
-import { PgSessionStorage } from "./plugins/pg-session-storage.js";
+import { TiDBSessionStorage } from "./stores-sql/tidb-session-storage.js";
+import { PgSessionStorage } from "./stores-sql/pg-session-storage.js";
 import { LocalSessionWindow } from "./plugins/local-session-window.js";
 import { redactModelText } from "./observability/run-terminal.js";
 import { redactDeepWith } from "./trace/redact.js";
 import { projectToolStructured } from "./trace/tool-output-media.js";
 import { INJECTED_BLOCK_RE, isAttachmentFrame } from "./user-authored-text.js";
+import { ownerKeyOf, sameKey } from "./owner-faces.js";
 export function buildRewindHandles(anchors, reader) {
     const byEntry = new Map();
     for (const a of anchors) {
-        if ((a.owner ?? null) !== reader)
+        if (!sameKey(reader, ownerKeyOf(a.owner ?? null)))
             continue;
         byEntry.set(a.entryId, byEntry.has(a.entryId) && byEntry.get(a.entryId) !== a.eventId ? null : a.eventId);
     }
@@ -144,14 +145,21 @@ const MESSAGE_READ_TREATMENT = {
     },
 };
 const ATTACHMENT_FRAME_READ_TREATMENT = { ...MESSAGE_READ_TREATMENT.user, content: "parts" };
+const SESSION_READ_SHAPES = { ...MESSAGE_READ_TREATMENT, attachmentFrame: ATTACHMENT_FRAME_READ_TREATMENT };
+export const SESSION_READ_REDACTED_LEAVES = Object.freeze(Object.entries(SESSION_READ_SHAPES).flatMap(([shape, table]) => Object.entries(table)
+    .filter(([, treatment]) => treatment !== "verbatim")
+    .map(([key]) => `${shape}.${key}`)));
+function shapeOf(m) {
+    const role = m.role;
+    if (role === "user" && isAttachmentFrame(m))
+        return "attachmentFrame";
+    return typeof role === "string" && Object.hasOwn(MESSAGE_READ_TREATMENT, role) ? role : undefined;
+}
 function readMessage(m) {
     if (isPlainRecord(m)) {
-        const role = m.role;
-        if (role === "user" && isAttachmentFrame(m))
-            return readByTable(m, ATTACHMENT_FRAME_READ_TREATMENT);
-        if (typeof role === "string" && Object.hasOwn(MESSAGE_READ_TREATMENT, role)) {
-            return readByTable(m, MESSAGE_READ_TREATMENT[role]);
-        }
+        const shape = shapeOf(m);
+        if (shape !== undefined)
+            return readByTable(m, SESSION_READ_SHAPES[shape]);
     }
     return deepScrub(m);
 }

package/dist/auth-bridge.d.ts

@@ -2,20 +2,6 @@ import { VerifiedIdentity, type AuthBridgeErrorCode } from "@sema-agent/settings
 import { type TokenScopeRefusal } from "@sema-agent/settings-schema/api/scopes";
 import type { Logger } from "./observability/logger.js";
 import type { Metrics } from "./observability/metrics.js";
-/**
- * [ref] ② —— 鉴权桥 issuer 的**唯一**取值(装配 `boot/stage-09-leader.ts` 与 caps `centerWiring.issuer` 同读,不各写一份回退):
- * 显式 `AUTH_BRIDGE_ISSUER`(`config.authBridgeIssuer`)恒赢 ⇒ `source:"explicit"`;缺席则回退中心基址 `webAdmin.baseUrl`
- * (配了中心即默认开桥)⇒ `source:"fallback"`;两者都没有 ⇒ `undefined`(桥不装)。
- */
-export declare function authBridgeIssuerOf(config: {
-    readonly authBridgeIssuer?: string | undefined;
-    readonly webAdmin?: {
-        readonly baseUrl: string;
-    } | undefined;
-}): {
-    readonly issuer: string;
-    readonly source: "explicit" | "fallback";
-} | undefined;
 export interface WebAdminJwtVerifierOptions {
     /** R4 — 期望 iss(registry 的 SSO_ISSUER;默认=SEMA_WEB_ADMIN_URL,双侧去尾斜杠比较)。 */
     issuer: string;

package/dist/auth-bridge.js

@@ -3,13 +3,6 @@ import { AUTH_BRIDGE_ALGS, DEFAULT_CLOCK_SKEW_SEC, DEFAULT_JWKS_REFRESH_MIN_INTE
 import { readTokenScope } from "@sema-agent/settings-schema/api/scopes";
 import { buildDisplaySafeUrl } from "./trace/redact.js";
 import { centerJwksFetch } from "./web-admin-client/center-request.js";
-export function authBridgeIssuerOf(config) {
-    if (config.authBridgeIssuer !== undefined)
-        return { issuer: config.authBridgeIssuer, source: "explicit" };
-    if (config.webAdmin !== undefined)
-        return { issuer: config.webAdmin.baseUrl, source: "fallback" };
-    return undefined;
-}
 function recordBridgeRefusal(sinks, error, at = {}) {
     sinks.metrics?.inc("auth_bridge_verify_total", { outcome: error });
     sinks.logger?.warn?.("auth_bridge_rejected", { error, ...(at.kid ? { kid: at.kid.slice(0, 128) } : {}), ...(at.iss !== undefined ? { iss: at.iss } : {}) });

package/dist/auto-mode-face.d.ts

@@ -45,7 +45,8 @@
  * `entitlementSource`(既有位)说的是「center 源在不在」;`armed` 说的是「按三态谓词此刻会不会武装」。
  * 两者刻意并存:前者告诉壳有没有组织面,后者告诉壳这台机器上 auto 到底是不是 default 的别名。
  */
-import { type PermissionMode, type RunnerDeps, type RuntimeCaps } from "@sema-agent/core";
+import { type PermissionMode, type RunnerDeps } from "@sema-agent/core";
+import type { AutoModeRefusedBy, RuntimeCapsReading } from "./runtime-caps-resolver.js";
 /**
  * 分类器席的模型 —— **调 core 的单一解析器** `classifierSeatModel({deps, main})`(core 7.20.0 / [ref],
  * 本仓 [ref] 的跨仓诉求兑现;契约句 `classifier.seat.one_resolver` 逐字:引擎的武装点与**显示这个席**
@@ -97,10 +98,10 @@ export interface AutoModeFaceDeps {
     /** `RunnerDeps.autoMode !== undefined`——**读**装配点那一位,不写字面 true(与 parked-revive 的
      *  `autoModeSeatMounted` 同一纪律:席位哪天改成有条件挂载,这里不能静默错供)。 */
     readonly seatMounted: boolean;
-    /** 合成后的 per-principal caps resolver(= 递给 `RunnerDeps.runtimeCapsResolver` 的同一只:center 客户端
-     *  → observer env 基线 → memory grant → 本地 auto deny,单一属主 boot/runtime-caps.ts)。缺席 = 无任何
-     *  per-principal 源(无 center、无本地 deny)⇒ caps undefined ⇒ 三态之「缺席=不阻」。 */
-    readonly resolveCaps?: ((principal: string | undefined) => RuntimeCaps | undefined | Promise<RuntimeCaps | undefined>) | undefined;
+    /** 合成后的 per-principal caps **读数**(与递给 `RunnerDeps.runtimeCapsResolver` 同一段合成:center 客户端
+     *  → observer env 基线 → memory grant → 本地 auto deny,单一属主 boot/runtime-caps.ts 的 `runtimeCapsPeekReading`);读数里的 caps 与中心拒 auto 的来源词
+     *  出自同一个缓存项。缺席 = 无任何 per-principal 源(无 center、无本地 deny)⇒ caps undefined ⇒ 三态之「缺席=不阻」。 */
+    readonly resolveCaps?: ((principal: string | undefined) => RuntimeCapsReading | Promise<RuntimeCapsReading>) | undefined;
     /** 分类器**配置**的模型路由(server 侧按 core 的 role 回落序 `classifier → summarize → default` 从
      *  `config.roles` 读到的 catalog 名)。这是「配置了什么」,不是「这次真用了什么」——core 的
      *  `derivedRouteFallsBack` 可能在运行期回落到主模型;真值候 core 状态座。
@@ -115,8 +116,10 @@ export type AutoModeVerdict = {
 } | {
     readonly armed: false;
     readonly reason: AutoModeUnarmedReason;
-    readonly model?: string; /** 仅 resolver_fault 臂:错误原文(不上 wire,路由记 warn)。 */
-    readonly fault?: string;
+    readonly model?: string;
+    /** 仅 `org_denied` 臂、且中心亲口拒了 auto 时:是中心的哪一键拒的(上 wire 的 `permissionModeAuto.refusedBy`)。中心硬失败的 fail-closed 拒是本层自铸的,不带。 */
+    readonly refusedBy?: AutoModeRefusedBy;
+    /** 仅 resolver_fault 臂:错误原文(不上 wire,路由记 warn)。 */ readonly fault?: string;
 };
 /**
  * 三项合取的 server 侧裁决。`requestedMode` 缺席 = 按 auto 意图答(「若请求会不会武装」);`principal` =

package/dist/auto-mode-face.js

@@ -28,15 +28,18 @@ export async function judgeAutoModeArming(face, input) {
         return { armed: false, reason: entry.clamped ? "operator_floor" : "mode_not_auto", ...model };
     if (face === undefined || !face.seatMounted)
         return { armed: false, reason: "deployment_incapable" };
-    let caps;
+    let reading;
     try {
-        caps = face.resolveCaps !== undefined ? await face.resolveCaps(input.principal) : undefined;
+        reading = face.resolveCaps !== undefined ? await face.resolveCaps(input.principal) : undefined;
     }
     catch (err) {
         return { armed: false, reason: "resolver_fault", ...model, fault: err instanceof Error ? err.message : String(err) };
     }
-    if (caps?.autoMode === false)
-        return { armed: false, reason: input.localDeny ? "local_denied" : "org_denied", ...model };
+    if (reading?.caps?.autoMode === false) {
+        if (input.localDeny)
+            return { armed: false, reason: "local_denied", ...model };
+        return { armed: false, reason: "org_denied", ...model, ...(reading.autoModeRefusedBy !== undefined ? { refusedBy: reading.autoModeRefusedBy } : {}) };
+    }
     return { armed: true, ...model };
 }
 //# sourceMappingURL=auto-mode-face.js.map

package/dist/background-agent-name.d.ts

@@ -1,5 +1,23 @@
+/** 一行的名字读出来没有(判别式):读不出 = 这一行是**坏行**(无名 ∧ 句柄不是引擎形),`problem` 是给人读的一句话(进店的拒绝 / 跳行明细)。 */
+export type BackgroundAgentNameRead = {
+    readonly ok: true;
+    readonly name: string;
+} | {
+    readonly ok: false;
+    readonly problem: string;
+};
+/**
+ * 名字的**唯一读法**(上面那条规则)。判据 = 引擎自己的判据:`engineAgentName` 只为 `DURABLE_AGENT_HANDLE_RE` 形的句柄派生名字(core 导出的同一只正则),
+ * 于是「读不出」与「引擎会抛」是同一个事实,不是本仓另写一份判法。坏行怎么处置由读口按形定(后台子代店:按键读带码拒、列表只在证得不活时跳过 ——
+ * `stores-sql/background-agent-store-sql.ts`);单行读者用 {@link backgroundAgentNameOf}。
+ */
+export declare function readBackgroundAgentName(row: {
+    readonly name?: string | null;
+    readonly handle: string;
+}): BackgroundAgentNameRead;
+/** 单行读者的出口(停驻卡的复活参数、名册投影、写口的展示列):读不出 ⇒ 响亮抛(`TypeError`,与引擎同类)。 */
 export declare function backgroundAgentNameOf(row: {
-    readonly name?: string;
+    readonly name?: string | null;
     readonly handle: string;
 }): string;
 //# sourceMappingURL=background-agent-name.d.ts.map

package/dist/background-agent-name.js

@@ -1,5 +1,15 @@
-import { engineAgentName } from "@sema-agent/core";
+import { DURABLE_AGENT_HANDLE_RE, engineAgentName } from "@sema-agent/core";
+export function readBackgroundAgentName(row) {
+    if (row.name !== undefined && row.name !== null)
+        return { ok: true, name: row.name };
+    if (!DURABLE_AGENT_HANDLE_RE.test(row.handle))
+        return { ok: false, problem: `the row carries no name and its handle ${JSON.stringify(row.handle)} is not an engine agent handle ("a" + 6–32 hex digits), so no name can be derived` };
+    return { ok: true, name: engineAgentName(row.handle) };
+}
 export function backgroundAgentNameOf(row) {
-    return row.name ?? engineAgentName(row.handle);
+    const read = readBackgroundAgentName(row);
+    if (!read.ok)
+        throw new TypeError(`backgroundAgentNameOf: ${read.problem}`);
+    return read.name;
 }
 //# sourceMappingURL=background-agent-name.js.map

package/dist/background-session-reap.d.ts

@@ -11,7 +11,7 @@ export interface HardKillTally {
 /**
  * 受据的**唯一读者**:逐行一条 `background_shell_hard_kill`(`{ taskId, type, outcome, reason, owner?, retained? }` —— 不带
  * pid / shellId:core 契约「pid 不出 env」,受据上本来就没有),返回四词计数。本函数自己不抛;注入形 logger 若抛,异常**原样上抛**
- * 给调用方(kill 已在调用前落地,受据不丢):退出边界与 E21 级联各自在外层 try 里 warn / `console.error`(生产 sink 不抛,
+ * 给调用方(kill 已在调用前落地,受据不丢):退出边界与 E21 级联各自在外层 try 里 warn / 接缝的文本出口 `writeLogText`(生产 sink 不抛,
  * `observability/logger.ts` 的 `emit` 已包),停止口则让它走全局 500 —— 不在这里写静默的空 catch([ref] 棘轮)。
  * `outcome` 按 core 闭集穷举分派:集外词 = 编译红(`never` 臂),不是运行期的静默默认。
  */