@sema-agent/server 7.7.0 → 7.8.0

package/dist/approval-card.d.ts

@@ -2,7 +2,7 @@
  * #151 车3(design/172 流内审批协议)—— **审批卡的 schema 属主 + 重放腿的纯函数**。
  *
  * 本模块只出两样东西,**都不带 IO、不带定时器、不发帧**:
- *  1. `ApprovalCardSchema` / `ApprovalCardEnvelopeSchema` —— 落库 `approval_asks.card_json` 与一切读面
+ *  1. `ApprovalCardSchema` / `ApprovalCardEnvelopeSchema` —— 落库 `approval_ask.card_json` 与一切读面
  *     (重放腿=刀 3c、回决端点=车4、对账扫描=车5)共用的**同一份** schema。写侧(刀 3b 的 `ensureAsk`)
  *     与读侧走同一个符号,于是「存的形」与「读的形」不可能各自漂。
  *  2. `buildReplayFrame` / `buildApprovalPreamble` —— 行 → 帧的**纯投影**(设计稿 §5.2)。
@@ -61,7 +61,7 @@ export declare const ApprovalCardSchema: z.ZodObject<{
 }, z.core.$strict>;
 export type ApprovalCard = z.infer<typeof ApprovalCardSchema>;
 /**
- * `approval_asks.card_json` 里真正存的东西(设计稿 §6.2)。存**信封**而不是裸卡的理由:重放帧要回填
+ * `approval_ask.card_json` 里真正存的东西(设计稿 §6.2)。存**信封**而不是裸卡的理由:重放帧要回填
  * 车2 铸的 `approvalId`(wire 面的回决通道桥 + 消费端与并行 `tool_approval` 帧的去重键),而它不属于
  * 「卡的内容」——放进卡里会让 schema 的语义边界糊掉。`schemaVersion` 是形的版本闩(与行上的
  * `schema_version` 列同值,列供 SQL 侧过滤,信封里这份供读面在解出内容**之前**判形)。

package/dist/approval-card.js

@@ -2,7 +2,7 @@
  * #151 车3(design/172 流内审批协议)—— **审批卡的 schema 属主 + 重放腿的纯函数**。
  *
  * 本模块只出两样东西,**都不带 IO、不带定时器、不发帧**:
- *  1. `ApprovalCardSchema` / `ApprovalCardEnvelopeSchema` —— 落库 `approval_asks.card_json` 与一切读面
+ *  1. `ApprovalCardSchema` / `ApprovalCardEnvelopeSchema` —— 落库 `approval_ask.card_json` 与一切读面
  *     (重放腿=刀 3c、回决端点=车4、对账扫描=车5)共用的**同一份** schema。写侧(刀 3b 的 `ensureAsk`)
  *     与读侧走同一个符号,于是「存的形」与「读的形」不可能各自漂。
  *  2. `buildReplayFrame` / `buildApprovalPreamble` —— 行 → 帧的**纯投影**(设计稿 §5.2)。
@@ -92,7 +92,7 @@ export const ApprovalCardSchema = z
 })
     .strict();
 /**
- * `approval_asks.card_json` 里真正存的东西(设计稿 §6.2)。存**信封**而不是裸卡的理由:重放帧要回填
+ * `approval_ask.card_json` 里真正存的东西(设计稿 §6.2)。存**信封**而不是裸卡的理由:重放帧要回填
  * 车2 铸的 `approvalId`(wire 面的回决通道桥 + 消费端与并行 `tool_approval` 帧的去重键),而它不属于
  * 「卡的内容」——放进卡里会让 schema 的语义边界糊掉。`schemaVersion` 是形的版本闩(与行上的
  * `schema_version` 列同值,列供 SQL 侧过滤,信封里这份供读面在解出内容**之前**判形)。

package/dist/approval-deny-reasons.d.ts

@@ -11,7 +11,7 @@
  * wire 与审计上全程可分。若两组共用一个值域(或某个值同时可落两种终态),「这条 deny 是人做的、还是
  * 路由失败、还是超时兜底」就再也无法从行上读出来,归因诚实性(§6.1)当场失效。
  *
- * 落列面:两组值都写进 `approval_asks.denied_reason`(VARCHAR(64))——列名沿用车1 的 DDL(本车不改列),
+ * 落列面:两组值都写进 `approval_ask.denied_reason`(VARCHAR(64))——列名沿用车1 的 DDL(本车不改列),
  * 但它承载的是**终态归因**而不只是「拒绝理由」。读者靠「值属于哪一组」判别是哪条臂写的,这正是两组
  * 值域不相交这条纪律的用处(`ALL_TERMINAL_REASONS` 的机器判据钉住不相交性)。
  *

package/dist/approval-deny-reasons.js

@@ -11,7 +11,7 @@
  * wire 与审计上全程可分。若两组共用一个值域(或某个值同时可落两种终态),「这条 deny 是人做的、还是
  * 路由失败、还是超时兜底」就再也无法从行上读出来,归因诚实性(§6.1)当场失效。
  *
- * 落列面:两组值都写进 `approval_asks.denied_reason`(VARCHAR(64))——列名沿用车1 的 DDL(本车不改列),
+ * 落列面:两组值都写进 `approval_ask.denied_reason`(VARCHAR(64))——列名沿用车1 的 DDL(本车不改列),
  * 但它承载的是**终态归因**而不只是「拒绝理由」。读者靠「值属于哪一组」判别是哪条臂写的,这正是两组
  * 值域不相交这条纪律的用处(`ALL_TERMINAL_REASONS` 的机器判据钉住不相交性)。
  *

package/dist/approval-reconciler.js

@@ -254,7 +254,7 @@ export function createApprovalReconciler(deps) {
         switch (action.kind) {
             case "bind": {
                 // `allowBind: false` 下结构上不可达;留一条防御性 hold,绝不在这里第二次调 bindBatch。
-                await withDeadline(askStore.deferReconcile(ask.askId, "PARKING", ask.version, nowMs), "deferReconcile");
+                await withDeadline(askStore.deferReconcile(ask.askId, "PARKING", ask.rev, nowMs), "deferReconcile");
                 return { outcome: "held", match: gateMatch };
             }
             case "deny": {
@@ -288,7 +288,7 @@ export function createApprovalReconciler(deps) {
             case "hold": {
                 // 队列轮转(§8 D-4 / §9 C5):推 `updated_at_ms` 排到队尾。CAS 输(版本已被别人推进)= 正常,
                 // 本轮判定已过期,下轮重来。
-                await withDeadline(askStore.deferReconcile(ask.askId, "PARKING", ask.version, nowMs), "deferReconcile");
+                await withDeadline(askStore.deferReconcile(ask.askId, "PARKING", ask.rev, nowMs), "deferReconcile");
                 return { outcome: "held", match: gateMatch };
             }
         }

package/dist/capabilities/hands-lane.d.ts

@@ -43,6 +43,15 @@ export declare function pickHandsRunner(hands: ScenarioHands, pair: HandsRunnerP
  *
  * ⚠️ 本全集是**观测口径**(用于防漂移对账),**不是** deny 名单 —— deny 用下面的
  * {@link HANDS_EXCLUSIVE_TOOL_NAMES},理由见那里。
+ *
+ * 🚨 [3248] P0(2026-08-09):派生时必须过滤 core 的 `RETIRED_TOOL_NAMES` —— core 5.21.0 的
+ * `HAND_TOOL_EFFECTS` 里残留已退役的 `MultiEdit`,而 core `prepare-task` 的策略名审计见退役名
+ * **无条件 throw**(`config.legacy_tool_name`);不过滤,deny 名单一进 `spec.toolPolicy`,
+ * `hands: none` 三场景(scan/code-review/team)在**所有部署**上零 turn 全灭。core 5.21.1 已删
+ * 那条死条目([3249]),这道 filter 是结构性防御:将来 core 再退役任何 band 名都不会重演
+ * (test/scenario-hands-lane.test.ts 格7/格8 双钉:真 Runner 过审计 + 零交集门)。
+ * filter 打在**整表**(effect 表 + 钉死补集)之后 —— caret floor 下装置会解析到更新的 core,
+ * 补集名哪天被退役,只滤前半就是同一次故障换个名字(codex 复审 finding,2026-08-09)。
  */
 export declare const HANDS_BAND_TOOL_NAMES: readonly string[];
 /**

package/dist/capabilities/hands-lane.js

@@ -14,7 +14,7 @@
  *     有手 Runner 上,手独占名单逐一 deny。**不是**主保证(主保证是根本不挂 factory ⇒ 工具面不可见)。
  *  ③ {@link createHandsLaneRegistry} —— resolveSpec 产出 spec 与执行点选 Runner 之间的 lane 传递。
  */
-import { HAND_TOOL_EFFECTS, combinePolicies, createAllowDenyPolicy } from "@sema-agent/core";
+import { HAND_TOOL_EFFECTS, RETIRED_TOOL_NAMES, combinePolicies, createAllowDenyPolicy } from "@sema-agent/core";
 /**
  * 无手孪生 Runner 的 deps 构造:把 `executionEnvFactory` **摘键**(不是置 undefined)。
  * 摘键让「这只 Runner 没有手」在 deps 字面量上自证;置 undefined 留下一个值为 undefined 的键,
@@ -44,6 +44,15 @@ export function pickHandsRunner(hands, pair) {
  *
  * ⚠️ 本全集是**观测口径**(用于防漂移对账),**不是** deny 名单 —— deny 用下面的
  * {@link HANDS_EXCLUSIVE_TOOL_NAMES},理由见那里。
+ *
+ * 🚨 [3248] P0(2026-08-09):派生时必须过滤 core 的 `RETIRED_TOOL_NAMES` —— core 5.21.0 的
+ * `HAND_TOOL_EFFECTS` 里残留已退役的 `MultiEdit`,而 core `prepare-task` 的策略名审计见退役名
+ * **无条件 throw**(`config.legacy_tool_name`);不过滤,deny 名单一进 `spec.toolPolicy`,
+ * `hands: none` 三场景(scan/code-review/team)在**所有部署**上零 turn 全灭。core 5.21.1 已删
+ * 那条死条目([3249]),这道 filter 是结构性防御:将来 core 再退役任何 band 名都不会重演
+ * (test/scenario-hands-lane.test.ts 格7/格8 双钉:真 Runner 过审计 + 零交集门)。
+ * filter 打在**整表**(effect 表 + 钉死补集)之后 —— caret floor 下装置会解析到更新的 core,
+ * 补集名哪天被退役,只滤前半就是同一次故障换个名字(codex 复审 finding,2026-08-09)。
  */
 export const HANDS_BAND_TOOL_NAMES = Object.freeze([
     ...Object.keys(HAND_TOOL_EFFECTS),
@@ -52,7 +61,7 @@ export const HANDS_BAND_TOOL_NAMES = Object.freeze([
     "Monitor",
     "EnterWorktree",
     "ExitWorktree",
-]);
+].filter((n) => !RETIRED_TOOL_NAMES.has(n)));
 /**
  * band 里**只有手才可能出现**的那批(= deny 名单)。
  *

package/dist/config-types.d.ts

@@ -869,7 +869,7 @@ export interface ServiceConfigFlat {
      *  `approvalTimeoutSec` 族,本旋钮不新增第二个 TTL 概念。 */
     streamAskWindowMarginMs: number;
     /** #151 车3(design/172 流内审批协议)总开关 + 四个从属旋钮。**协议整体默认 OFF**——开关关闭时全链
-     *  逐字现行为:不发 `approval_request` 帧、不落 `approval_asks` 行、窗 = 既有 `DEFAULT_APPROVAL_TTL_MS`
+     *  逐字现行为:不发 `approval_request` 帧、不落 `approval_ask` 行、窗 = 既有 `DEFAULT_APPROVAL_TTL_MS`
      *  (5min)、`askStore` 不注入协调器。理由(三问):
      *   - 谁需要 60s 窗:开了协议的部署——approver 就盯着流、秒级应答,窗短 ⇒ 少占一条活腿、更快落到可恢复
      *     的 park 面。这是协议的设计意图,不是随手取的数。

package/dist/http/routes/runs.js

@@ -46,7 +46,7 @@ export const TOOL_APPROVAL_RESPOND_RE = /^\/v1\/tool-approvals\/([^/]+)\/respond
 // #151 车4(design/172 §3.2;稿 = design/151-172-stream-approval/151-car4-design.md,§12 折叠节为准)
 // —— 流内审批卡的 **durable 回决口**。HITL 族第四条,但与上面三条 respond 的辖域正相反:
 //   · 三条 respond = LIVE-ONLY + 同副本(解一个内存里的悬挂 promise;跨副本/窗后一律 404);
-//   · 本条 = 打 `approval_asks` 行的 **CAS**(任何副本都能受理),本副本活体窗只是「顺带同步终局」。
+//   · 本条 = 打 `approval_ask` 行的 **CAS**(任何副本都能受理),本副本活体窗只是「顺带同步终局」。
 // ─────────────────────────────────────────────────────────────────────────────────────────────────
 export const TASK_ASK_DECISION_RE = /^\/v1\/tasks\/([^/]+)\/asks\/([^/]+)\/decision$/;
 /** 425 的轮询提示秒数(头与体成对,§12-C F37)。 */

package/dist/http/server.js

@@ -1,7 +1,7 @@
 import http from "node:http";
 import { once } from "node:events";
 import { createHash } from "node:crypto";
-import { uuidv7, isThinkingLevel, expandTiers, resumeWithVerification, CheckpointError, HAND_TOOL_EFFECTS, defaultTaskRegistry, validatePendingSteer, subscribeWorkflow, GLOBAL_USAGE_KEY, usageRetryAfterMs } from "@sema-agent/core";
+import { uuidv7, isThinkingLevel, expandTiers, resumeWithVerification, CheckpointError, HAND_TOOL_EFFECTS, RETIRED_TOOL_NAMES, defaultTaskRegistry, validatePendingSteer, subscribeWorkflow, GLOBAL_USAGE_KEY, usageRetryAfterMs } from "@sema-agent/core";
 import { decideParkedAgent, findParkedAgentForCheckpoint } from "../parked-decide.js";
 import { matchCatalogModel } from "../model-select.js";
 import {} from "../config-center/facade.js";
@@ -107,7 +107,10 @@ const MAX_IMAGE_BASE64_BYTES = 6 * 1024 * 1024; // a single inline image's base6
 // Hand (executionEnv) tool names core mounts at the runner when an executionEnvFactory is configured — the
 // authoritative set is core `HAND_TOOL_EFFECTS` (root-exported since 1.70). These are NEVER in spec.tools, so
 // the durable-resume satisfiability pre-check must union them when remote exec is on.
-const HAND_TOOL_NAMES = Object.keys(HAND_TOOL_EFFECTS);
+// [3248]: filter RETIRED_TOOL_NAMES — core 5.21.0 left retired "MultiEdit" in HAND_TOOL_EFFECTS; a retired
+// name is never mounted, so keeping it here would let the pre-check claim satisfiability for a tool that
+// cannot exist (same derivation hygiene as hands-lane.ts HANDS_BAND_TOOL_NAMES).
+const HAND_TOOL_NAMES = Object.keys(HAND_TOOL_EFFECTS).filter((n) => !RETIRED_TOOL_NAMES.has(n));
 /** [1245] codex-3/4 — the REOPEN-class resume failures: core's runtask reopened the checkpoint (store.reopen,
  *  dist-read) BEFORE returning this failed result, so the park is STILL PENDING and decidable. Everything
  *  downstream must treat these as a re-park, never terminal: the durable event log writes `suspended` (not

package/dist/plugins/approval-ask-store-memory.d.ts

@@ -21,7 +21,7 @@ export declare class InMemoryApprovalAskStore implements ApprovalAskStore {
     decideAsk(askId: string, batchId: string, decision: DecideAskInput): Promise<DecideResult>;
     expireAsk(askId: string, batchId: string): Promise<ExpireResult>;
     bindBatch(batchId: string, askId: string, gate: BindGateInput): Promise<BindResult>;
-    deferReconcile(askId: string, expectedState: AskState, expectedVersion: number, nowMs: number): Promise<boolean>;
+    deferReconcile(askId: string, expectedState: AskState, expectedRev: number, nowMs: number): Promise<boolean>;
     abortBatch(batchId: string): Promise<string[]>;
     listByState(state: AskState, limit: number): Promise<AskRow[]>;
     /** `signal` 的 twin 语义(车3 刀 3b):同步实现里没有「在飞」这回事,所以能做也只需做**入口复核** ——

package/dist/plugins/approval-ask-store-memory.js

@@ -44,7 +44,7 @@ export class InMemoryApprovalAskStore {
                 taskId: row.taskId,
                 state: "OPEN",
                 boundAskId: null,
-                version: 0,
+                rev: 0,
                 createdAtMs: row.createdAtMs,
                 updatedAtMs: row.createdAtMs,
             });
@@ -69,7 +69,7 @@ export class InMemoryApprovalAskStore {
             boundInputHash: row.boundInputHash ?? null,
             state: "STREAM_PENDING",
             provisional: false,
-            version: 0,
+            rev: 0,
             decision: null,
             decisionActor: null,
             decisionNote: null,
@@ -97,7 +97,7 @@ export class InMemoryApprovalAskStore {
             return false;
         applyPatch(row, patch);
         row.state = to;
-        row.version += 1;
+        row.rev += 1;
         row.updatedAtMs = patch.updatedAtMs;
         return true;
     }
@@ -125,7 +125,7 @@ export class InMemoryApprovalAskStore {
                 }
             }
         }
-        batch.version += 1;
+        batch.rev += 1;
         batch.updatedAtMs = now;
         ask.state = "DECIDED";
         ask.decision = decision.decision;
@@ -133,7 +133,7 @@ export class InMemoryApprovalAskStore {
         ask.decisionNote = decision.decisionNote ?? null;
         ask.decidedAtMs = now;
         ask.idempotencyKey = decision.idempotencyKey ?? null;
-        ask.version += 1;
+        ask.rev += 1;
         ask.updatedAtMs = now;
         return { ok: true, row: { ...ask } };
     }
@@ -149,18 +149,18 @@ export class InMemoryApprovalAskStore {
         if (!ask || ask.state !== "STREAM_PENDING")
             return { won: false, voidedSiblings: [] };
         ask.state = "PARKING";
-        ask.version += 1;
+        ask.rev += 1;
         ask.updatedAtMs = now;
         if (batch.state === "OPEN") {
             batch.state = "ROUTING_UNBOUND";
-            batch.version += 1;
+            batch.rev += 1;
             batch.updatedAtMs = now;
         }
         const voided = [];
         for (const [id, r] of this.asks) {
             if (r.batchId === batchId && r.state === "STREAM_PENDING" && id !== askId) {
                 r.state = "VOID";
-                r.version += 1;
+                r.rev += 1;
                 r.updatedAtMs = now;
                 voided.push(id);
             }
@@ -183,31 +183,31 @@ export class InMemoryApprovalAskStore {
             return { ok: false, batchState: batch.state };
         batch.state = "ROUTING_BOUND";
         batch.boundAskId = askId;
-        batch.version += 1;
+        batch.rev += 1;
         batch.updatedAtMs = now;
         ask.state = "PARKED";
         ask.gateToken = gate.gateToken;
         ask.gateBoundCallId = gate.gateBoundCallId ?? null;
         ask.gateBoundInputHash = gate.gateBoundInputHash ?? null;
-        ask.version += 1;
+        ask.rev += 1;
         ask.updatedAtMs = now;
         const voidedSiblings = [];
         for (const [id, r] of this.asks) {
             if (r.batchId === batchId && r.state === "PARKING" && id !== askId) {
                 r.state = "VOID";
-                r.version += 1;
+                r.rev += 1;
                 r.updatedAtMs = now;
                 voidedSiblings.push(id);
             }
         }
         return { ok: true, voidedSiblings };
     }
-    async deferReconcile(askId, expectedState, expectedVersion, nowMs) {
+    async deferReconcile(askId, expectedState, expectedRev, nowMs) {
         // 纯 touch,**不碰 state**,故意不经 canAskTransition(同态转移在转移表上无出边——见接口注)。
         const row = this.asks.get(askId);
-        if (!row || row.state !== expectedState || row.version !== expectedVersion)
+        if (!row || row.state !== expectedState || row.rev !== expectedRev)
             return false;
-        row.version += 1;
+        row.rev += 1;
         row.updatedAtMs = nowMs;
         return true;
     }
@@ -217,13 +217,13 @@ export class InMemoryApprovalAskStore {
         if (!batch || (batch.state !== "OPEN" && batch.state !== "ROUTING_UNBOUND"))
             return [];
         batch.state = "ABORTED";
-        batch.version += 1;
+        batch.rev += 1;
         batch.updatedAtMs = now;
         const voided = [];
         for (const [id, r] of this.asks) {
             if (r.batchId === batchId && r.state === "STREAM_PENDING") {
                 r.state = "VOID";
-                r.version += 1;
+                r.rev += 1;
                 r.updatedAtMs = now;
                 voided.push(id);
             }
@@ -278,7 +278,7 @@ export class InMemoryApprovalAskStore {
         applyPatch(row, patch);
         row.state = to;
         row.provisional = false;
-        row.version += 1;
+        row.rev += 1;
         row.updatedAtMs = patch.updatedAtMs;
         return true;
     }

package/dist/plugins/approval-ask-store-sql.d.ts

@@ -3,7 +3,7 @@
  * (`TiDBApprovalAskStore` / `PgApprovalAskStore`,SINGLE-FILE DUAL-DIALECT,design/158 A12 形——照
  * checkpoint-store-sql.ts:一个 `SqlApprovalAskStore` 类接 `SqlDriver`,两个薄 ctor 子类落方言绑定)。
  *
- * 两张表:`approval_asks`(每个流内工具调用一行,ask 级 6 态状态机)+ `approval_batches`(同一决策点的
+ * 两张表:`approval_ask`(每个流内工具调用一行,ask 级 6 态状态机)+ `approval_batch`(同一决策点的
  * 兄弟 ask 共享一行,批级 4 态状态机,承载「N 个候选里最终只有一个中选走 gate」的 bind-once 语义)。
  * 状态机真源 = `../approval-ask-machine.js`(纯函数,零 IO)。
  *
@@ -11,8 +11,8 @@
  * 1. 一切转移带 `WHERE state = <from>`,赢 = affected 恰为 1。禁读-改-写两步(TOCTOU 窗口)。
  * 2. 🔴 MySQL/TiDB `affectedRows` 坑:同值 UPDATE(SET 的新值与当前列值逐字节相同)affectedRows=0——
  *    这不是「行不存在」,是「驱动认为没有变化」。**所有** CAS UPDATE 因此必须带一个恒变列
- *    (`version = version + 1`),这样只要「行在且谓词命中」就必然 affected=1,不会被这个驱动怪癖
- *    误判成「CAS 输了」。本文件每一条 CAS UPDATE 都带 `version = version + 1`。
+ *    (`rev = rev + 1`),这样只要「行在且谓词命中」就必然 affected=1,不会被这个驱动怪癖
+ *    误判成「CAS 输了」。本文件每一条 CAS UPDATE 都带 `rev = rev + 1`。
  * 3. 事务:走 `SqlDriver.connect()` → `conn.begin()` → 一串 `conn.query()` → `conn.commit()`,失败
  *    `conn.rollback()`(形照 image-bake-store-sql.ts 的 try/catch/finally 骨架)。本店没有 image-bake
  *    那种「NOT EXISTS 快照读」问题(每条 CAS 都是对已存在主键行的 `UPDATE … WHERE state=?`,MySQL/TiDB
@@ -73,7 +73,7 @@ export interface AskRow {
     state: AskState;
     /** §3.0 对账三约束②:超时不得发布终态 denial;provisional 终态可被 `resolveProvisional` 版本化收敛。 */
     provisional: boolean;
-    version: number;
+    rev: number;
     decision: AskDecision | null;
     /** 171 ActorAssertion JSON(车4 才消费,列先在——JSON.parse 后的裸值,类型未知)。 */
     decisionActor: unknown | null;
@@ -100,7 +100,7 @@ export interface AskRow {
     createdAtMs: number;
     updatedAtMs: number;
 }
-/** `ensureAsk` 的入参——初始态恒 STREAM_PENDING/provisional=false/version=0,故不在此列。 */
+/** `ensureAsk` 的入参——初始态恒 STREAM_PENDING/provisional=false/rev=0,故不在此列。 */
 export interface NewAskRow {
     askId: string;
     taskId: string;
@@ -221,7 +221,7 @@ export interface BatchRow {
     taskId: string;
     state: BatchState;
     boundAskId: string | null;
-    version: number;
+    rev: number;
     createdAtMs: number;
     updatedAtMs: number;
 }
@@ -235,7 +235,7 @@ export interface ApprovalAskStore {
     bindBatch(batchId: string, askId: string, gate: BindGateInput): Promise<BindResult>;
     abortBatch(batchId: string): Promise<string[]>;
     /**
-     * 🔴 车5 §9 C5:**纯 touch** 的 CAS——推 `updated_at_ms` + `version`,**不改 state、不走状态机转移表**。
+     * 🔴 车5 §9 C5:**纯 touch** 的 CAS——推 `updated_at_ms` + `rev`,**不改 state、不走状态机转移表**。
      * 收敛器每轮扫过但未收敛的 PARKING 行靠它排到队尾(读口 `ORDER BY updated_at_ms ASC`),否则 200 条
      * 长驻行会把批量上限占满、新行永远轮不到(队头堵塞)。
      *
@@ -243,11 +243,11 @@ export interface ApprovalAskStore {
      * 表里没有这条边(表把「同值自环」定义为非法,§6-11 钉住的正是这条)——所以队列轮转在状态机上无合法写口,
      * 只能另开一扇不碰 state 的门。
      *
-     * `expectedVersion` 必带:两副本同扫时只允许**一个**推进,输者原样返回 false(自己那轮的判定已过期)。
+     * `expectedRev` 必带:两副本同扫时只允许**一个**推进,输者原样返回 false(自己那轮的判定已过期)。
      * 🔴 配套纪律(同 §9 C5):orphan/adhoc 的 TTL 一律量 immutable 的 `createdAtMs`/`expiresAtMs`,
      * **绝不量 `updatedAtMs`**——它会被本方法每轮刷新,量它的 TTL 永不到期。
      */
-    deferReconcile(askId: string, expectedState: AskState, expectedVersion: number, nowMs: number): Promise<boolean>;
+    deferReconcile(askId: string, expectedState: AskState, expectedRev: number, nowMs: number): Promise<boolean>;
     listByState(state: AskState, limit: number): Promise<AskRow[]>;
     /** `signal` 语义见 {@link ApprovalAskStore.listPendingBySession}(两条重放读口同款)。 */
     listPendingByTask(taskId: string, signal?: AbortSignal): Promise<AskRow[]>;
@@ -285,8 +285,8 @@ export interface ApprovalAskStore {
      *  「核心接口之外、为了让分区可枚举而加的」扩展读口。 */
     getBatch(batchId: string): Promise<BatchRow | null>;
 }
-export declare const APPROVAL_ASKS_TABLE = "approval_asks";
-export declare const APPROVAL_BATCHES_TABLE = "approval_batches";
+export declare const APPROVAL_ASK_TABLE = "approval_ask";
+export declare const APPROVAL_BATCH_TABLE = "approval_batch";
 /**
  * TiDB/MySQL-protocol 侧的两条建表语句,**抽成导出数组**(车3 刀 3a):`tidb-pool.ts` 的
  * `SCHEMA_STATEMENTS` 用 `...TIDB_APPROVAL_ASK_STATEMENTS` 展开它们,于是这两张表随中央
@@ -380,7 +380,7 @@ export declare class SqlApprovalAskStore implements ApprovalAskStore {
     listPendingBySession(sessionId: string, owner: string | null, signal?: AbortSignal): Promise<AskRow[]>;
     getAsk(askId: string): Promise<AskRow | null>;
     getByIdempotencyKey(taskId: string, key: string): Promise<AskRow | null>;
-    deferReconcile(askId: string, expectedState: AskState, expectedVersion: number, nowMs: number): Promise<boolean>;
+    deferReconcile(askId: string, expectedState: AskState, expectedRev: number, nowMs: number): Promise<boolean>;
     resolveProvisional(askId: string, from: AskState, to: AskState, patch: AskTransitionPatch): Promise<boolean>;
     deleteByTask(taskId: string): Promise<void>;
     getBatch(batchId: string): Promise<BatchRow | null>;