@sema-agent/server 7.7.1 → 7.8.1

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

@@ -59,8 +59,8 @@ async function withReadSignal(op, signal, where) {
 // ─────────────────────────────────────────────────────────────────────────────────────────────────
 // DDL
 // ─────────────────────────────────────────────────────────────────────────────────────────────────
-export const APPROVAL_ASKS_TABLE = "approval_asks";
-export const APPROVAL_BATCHES_TABLE = "approval_batches";
+export const APPROVAL_ASK_TABLE = "approval_ask";
+export const APPROVAL_BATCH_TABLE = "approval_batch";
 /**
  * TiDB/MySQL-protocol 侧的两条建表语句,**抽成导出数组**(车3 刀 3a):`tidb-pool.ts` 的
  * `SCHEMA_STATEMENTS` 用 `...TIDB_APPROVAL_ASK_STATEMENTS` 展开它们,于是这两张表随中央
@@ -106,18 +106,18 @@ export const APPROVAL_BATCHES_TABLE = "approval_batches";
  *     双执法),宽度与上限同源,恰好正确,动它反而制造截断面。
  */
 export const TIDB_APPROVAL_ASK_STATEMENTS = [
-    `CREATE TABLE IF NOT EXISTS ${APPROVAL_BATCHES_TABLE} (
+    `CREATE TABLE IF NOT EXISTS ${APPROVAL_BATCH_TABLE} (
     batch_id VARCHAR(64) NOT NULL,
     task_id VARCHAR(64) NOT NULL,
     state VARCHAR(32) NOT NULL,
     bound_ask_id VARCHAR(64) NULL,
-    version INT NOT NULL DEFAULT 0,
+    rev INT NOT NULL DEFAULT 0,
     created_at_ms BIGINT NOT NULL,
     updated_at_ms BIGINT NOT NULL,
     PRIMARY KEY (batch_id),
     KEY idx_batch_task (task_id)
   ) COLLATE utf8mb4_bin`,
-    `CREATE TABLE IF NOT EXISTS ${APPROVAL_ASKS_TABLE} (
+    `CREATE TABLE IF NOT EXISTS ${APPROVAL_ASK_TABLE} (
     ask_id VARCHAR(64) NOT NULL,
     task_id VARCHAR(64) NOT NULL,
     source_task_id VARCHAR(255) NOT NULL,
@@ -137,7 +137,7 @@ export const TIDB_APPROVAL_ASK_STATEMENTS = [
     state VARCHAR(32) NOT NULL,
     -- clay 批 2026-07-26 TINYINT(1) 归一先例(image-bake-store-sql.ts 头注):布尔列 TiDB 侧 TINYINT(1).
     provisional TINYINT(1) NOT NULL DEFAULT 0,
-    version INT NOT NULL DEFAULT 0,
+    rev INT NOT NULL DEFAULT 0,
     decision VARCHAR(16) NULL,
     decision_actor TEXT NULL,
     decision_note TEXT NULL,
@@ -173,18 +173,18 @@ export async function ensureTiDBApprovalAskSchema(pool) {
         await pool.query(stmt);
 }
 export async function ensurePgApprovalAskSchema(q) {
-    await q(`CREATE TABLE IF NOT EXISTS ${APPROVAL_BATCHES_TABLE} (
+    await q(`CREATE TABLE IF NOT EXISTS ${APPROVAL_BATCH_TABLE} (
     batch_id VARCHAR(64) COLLATE "C" NOT NULL,
     task_id VARCHAR(64) COLLATE "C" NOT NULL,
     state VARCHAR(32) COLLATE "C" NOT NULL,
     bound_ask_id VARCHAR(64) COLLATE "C",
-    version INT NOT NULL DEFAULT 0,
+    rev INT NOT NULL DEFAULT 0,
     created_at_ms BIGINT NOT NULL,
     updated_at_ms BIGINT NOT NULL,
     PRIMARY KEY (batch_id)
   )`);
-    await q(`CREATE INDEX IF NOT EXISTS idx_batch_task ON ${APPROVAL_BATCHES_TABLE} (task_id)`);
-    await q(`CREATE TABLE IF NOT EXISTS ${APPROVAL_ASKS_TABLE} (
+    await q(`CREATE INDEX IF NOT EXISTS idx_batch_task ON ${APPROVAL_BATCH_TABLE} (task_id)`);
+    await q(`CREATE TABLE IF NOT EXISTS ${APPROVAL_ASK_TABLE} (
     ask_id VARCHAR(64) COLLATE "C" NOT NULL,
     task_id VARCHAR(64) COLLATE "C" NOT NULL,
     source_task_id VARCHAR(255) COLLATE "C" NOT NULL,
@@ -201,7 +201,7 @@ export async function ensurePgApprovalAskSchema(q) {
     state VARCHAR(32) COLLATE "C" NOT NULL,
     -- clay 批 TINYINT(1) 归一先例:PG 侧统一 SMALLINT 0/1(此前本家族用过 BOOLEAN,已裁弃).
     provisional SMALLINT NOT NULL DEFAULT 0,
-    version INT NOT NULL DEFAULT 0,
+    rev INT NOT NULL DEFAULT 0,
     decision VARCHAR(16) COLLATE "C",
     decision_actor TEXT COLLATE "C",
     decision_note TEXT COLLATE "C",
@@ -220,18 +220,18 @@ export async function ensurePgApprovalAskSchema(q) {
     -- (task_id, idempotency_key) 复合唯一——MySQL twin 逐字同形(改动理由见那侧注)。
     CONSTRAINT uq_approval_ask_idem UNIQUE (task_id, idempotency_key)
   )`);
-    await q(`CREATE INDEX IF NOT EXISTS idx_ask_task_state ON ${APPROVAL_ASKS_TABLE} (task_id, state)`);
+    await q(`CREATE INDEX IF NOT EXISTS idx_ask_task_state ON ${APPROVAL_ASK_TABLE} (task_id, state)`);
     // 车3 §5.1:sync 腿开流重放读口(listPendingBySession)的支撑索引 —— MySQL twin 的
     // `KEY idx_ask_session_state (session_id, state)` 同形。
-    await q(`CREATE INDEX IF NOT EXISTS idx_ask_session_state ON ${APPROVAL_ASKS_TABLE} (session_id, state)`);
-    await q(`CREATE INDEX IF NOT EXISTS idx_ask_batch ON ${APPROVAL_ASKS_TABLE} (batch_id)`);
-    await q(`CREATE INDEX IF NOT EXISTS idx_ask_state ON ${APPROVAL_ASKS_TABLE} (state)`);
+    await q(`CREATE INDEX IF NOT EXISTS idx_ask_session_state ON ${APPROVAL_ASK_TABLE} (session_id, state)`);
+    await q(`CREATE INDEX IF NOT EXISTS idx_ask_batch ON ${APPROVAL_ASK_TABLE} (batch_id)`);
+    await q(`CREATE INDEX IF NOT EXISTS idx_ask_state ON ${APPROVAL_ASK_TABLE} (state)`);
 }
 const ASK_COLS = "ask_id, task_id, source_task_id, session_id, owner, batch_id, tool_call_id, leg_key, parent_tool_call_id, bound_input_hash, state, " +
-    "provisional, version, decision, decision_actor, decision_note, decided_at_ms, denied_reason, gate_token, " +
+    "provisional, rev, decision, decision_actor, decision_note, decided_at_ms, denied_reason, gate_token, " +
     "gate_bound_call_id, gate_bound_input_hash, idempotency_key, card_json, schema_version, expires_at_ms, " +
     "created_at_ms, updated_at_ms";
-const BATCH_COLS = "batch_id, task_id, state, bound_ask_id, version, created_at_ms, updated_at_ms";
+const BATCH_COLS = "batch_id, task_id, state, bound_ask_id, rev, created_at_ms, updated_at_ms";
 /** 唯一键冲突的方言判别(checkpoint-store-sql.ts 同一对常量)——`decideAsk` 用它把 `(task_id,
  *  idempotency_key)` 撞键翻成 typed 的 `idempotency_conflict` 臂,不让驱动错误对象漏给消费层。 */
 const DUP_ENTRY = 1062; // MySQL/TiDB ER_DUP_ENTRY
@@ -266,7 +266,7 @@ function mapAskRow(r) {
         boundInputHash: strOrNull(r.bound_input_hash),
         state: String(r.state),
         provisional: toBool(r.provisional),
-        version: Number(r.version),
+        rev: Number(r.rev),
         decision: strOrNull(r.decision) ?? null,
         decisionActor: r.decision_actor == null ? null : parseJsonColumn(r.decision_actor),
         decisionNote: strOrNull(r.decision_note),
@@ -289,7 +289,7 @@ function mapBatchRow(r) {
         taskId: String(r.task_id),
         state: String(r.state),
         boundAskId: strOrNull(r.bound_ask_id),
-        version: Number(r.version),
+        rev: Number(r.rev),
         createdAtMs: Number(r.created_at_ms),
         updatedAtMs: Number(r.updated_at_ms),
     };
@@ -353,12 +353,12 @@ export class SqlApprovalAskStore {
      * 在这一点上同义,不必再纠结 InnoDB 读视图与 TiDB start_ts 的差别。
      */
     async getAskOn(conn, askId) {
-        const { rows } = await conn.query(this.q(`SELECT ${ASK_COLS} FROM ${APPROVAL_ASKS_TABLE} WHERE ask_id = ?`, `SELECT ${ASK_COLS} FROM ${APPROVAL_ASKS_TABLE} WHERE ask_id = $1`), [askId]);
+        const { rows } = await conn.query(this.q(`SELECT ${ASK_COLS} FROM ${APPROVAL_ASK_TABLE} WHERE ask_id = ?`, `SELECT ${ASK_COLS} FROM ${APPROVAL_ASK_TABLE} WHERE ask_id = $1`), [askId]);
         return rows[0] ? mapAskRow(rows[0]) : null;
     }
     /** {@link getAskOn} 的批侧同形(同一条纪律:失败臂回读走本连接)。 */
     async getBatchOn(conn, batchId) {
-        const { rows } = await conn.query(this.q(`SELECT ${BATCH_COLS} FROM ${APPROVAL_BATCHES_TABLE} WHERE batch_id = ?`, `SELECT ${BATCH_COLS} FROM ${APPROVAL_BATCHES_TABLE} WHERE batch_id = $1`), [batchId]);
+        const { rows } = await conn.query(this.q(`SELECT ${BATCH_COLS} FROM ${APPROVAL_BATCH_TABLE} WHERE batch_id = ?`, `SELECT ${BATCH_COLS} FROM ${APPROVAL_BATCH_TABLE} WHERE batch_id = $1`), [batchId]);
         return rows[0] ? mapBatchRow(rows[0]) : null;
     }
     async ensureAsk(row) {
@@ -370,11 +370,11 @@ export class SqlApprovalAskStore {
         const conn = await this.db.connect();
         try {
             await conn.begin();
-            await conn.query(this.q(`INSERT IGNORE INTO ${APPROVAL_BATCHES_TABLE} (batch_id, task_id, state, version, created_at_ms, updated_at_ms) VALUES (?, ?, 'OPEN', 0, ?, ?)`, `INSERT INTO ${APPROVAL_BATCHES_TABLE} (batch_id, task_id, state, version, created_at_ms, updated_at_ms) VALUES ($1, $2, 'OPEN', 0, $3, $4) ON CONFLICT (batch_id) DO NOTHING`), [row.batchId, row.taskId, now, now]);
+            await conn.query(this.q(`INSERT IGNORE INTO ${APPROVAL_BATCH_TABLE} (batch_id, task_id, state, rev, created_at_ms, updated_at_ms) VALUES (?, ?, 'OPEN', 0, ?, ?)`, `INSERT INTO ${APPROVAL_BATCH_TABLE} (batch_id, task_id, state, rev, created_at_ms, updated_at_ms) VALUES ($1, $2, 'OPEN', 0, $3, $4) ON CONFLICT (batch_id) DO NOTHING`), [row.batchId, row.taskId, now, now]);
             // 🔴 `idempotency_key` **不在 INSERT 列清单里**(车4 §12-E 双写者收口):该列已归回决专用,只有
             // `decideAsk` 赢 CAS 时写它,铸行恒 NULL。留在这里的 NULL 字面量就是这条纪律的落笔处。
-            const askInsert = await conn.query(this.q(`INSERT IGNORE INTO ${APPROVAL_ASKS_TABLE} (ask_id, task_id, source_task_id, session_id, owner, batch_id, tool_call_id, leg_key, parent_tool_call_id, bound_input_hash, state, provisional, version, decision, decision_actor, decision_note, decided_at_ms, denied_reason, gate_token, gate_bound_call_id, gate_bound_input_hash, idempotency_key, card_json, schema_version, expires_at_ms, created_at_ms, updated_at_ms) ` +
-                "VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, 'STREAM_PENDING', 0, 0, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, ?, ?, ?, ?, ?)", `INSERT INTO ${APPROVAL_ASKS_TABLE} (ask_id, task_id, source_task_id, session_id, owner, batch_id, tool_call_id, leg_key, parent_tool_call_id, bound_input_hash, state, provisional, version, decision, decision_actor, decision_note, decided_at_ms, denied_reason, gate_token, gate_bound_call_id, gate_bound_input_hash, idempotency_key, card_json, schema_version, expires_at_ms, created_at_ms, updated_at_ms) ` +
+            const askInsert = await conn.query(this.q(`INSERT IGNORE INTO ${APPROVAL_ASK_TABLE} (ask_id, task_id, source_task_id, session_id, owner, batch_id, tool_call_id, leg_key, parent_tool_call_id, bound_input_hash, state, provisional, rev, decision, decision_actor, decision_note, decided_at_ms, denied_reason, gate_token, gate_bound_call_id, gate_bound_input_hash, idempotency_key, card_json, schema_version, expires_at_ms, created_at_ms, updated_at_ms) ` +
+                "VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, 'STREAM_PENDING', 0, 0, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, ?, ?, ?, ?, ?)", `INSERT INTO ${APPROVAL_ASK_TABLE} (ask_id, task_id, source_task_id, session_id, owner, batch_id, tool_call_id, leg_key, parent_tool_call_id, bound_input_hash, state, provisional, rev, decision, decision_actor, decision_note, decided_at_ms, denied_reason, gate_token, gate_bound_call_id, gate_bound_input_hash, idempotency_key, card_json, schema_version, expires_at_ms, created_at_ms, updated_at_ms) ` +
                 "VALUES ($1, $2, $3, $4, $5, $6, $7, $8, $9, $10, 'STREAM_PENDING', 0, 0, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, $11, $12, $13, $14, $15) ON CONFLICT (ask_id) DO NOTHING"), [
                 row.askId,
                 row.taskId,
@@ -427,8 +427,8 @@ export class SqlApprovalAskStore {
         const setSql = cols.map((c) => `${c} = ${ph(dialect, ++n)}`).join(", ");
         const askIdPh = ph(dialect, ++n);
         const fromPh = ph(dialect, ++n);
-        // `version = version + 1`(恒变列,MySQL 同值 UPDATE affectedRows=0 坑——见文件头注 CAS 铁则②)。
-        const res = await this.db.query(`UPDATE ${APPROVAL_ASKS_TABLE} SET ${setSql}, version = version + 1 WHERE ask_id = ${askIdPh} AND state = ${fromPh}`, [...vals, askId, from]);
+        // `rev = rev + 1`(恒变列,MySQL 同值 UPDATE affectedRows=0 坑——见文件头注 CAS 铁则②)。
+        const res = await this.db.query(`UPDATE ${APPROVAL_ASK_TABLE} SET ${setSql}, rev = rev + 1 WHERE ask_id = ${askIdPh} AND state = ${fromPh}`, [...vals, askId, from]);
         return res.affected === 1;
     }
     async decideAsk(askId, batchId, decision) {
@@ -438,8 +438,8 @@ export class SqlApprovalAskStore {
         const conn = await this.db.connect();
         try {
             await conn.begin();
-            // ① 批必须还 OPEN(自增写 version 保证 affected 语义在 CLIENT_FOUND_ROWS 关闭下仍=1;=0 ⇒ 批已封)。
-            const batchRes = await conn.query(this.q(`UPDATE ${APPROVAL_BATCHES_TABLE} SET version = version + 1, updated_at_ms = ? WHERE batch_id = ? AND state = 'OPEN'`, `UPDATE ${APPROVAL_BATCHES_TABLE} SET version = version + 1, updated_at_ms = $1 WHERE batch_id = $2 AND state = 'OPEN'`), [now, batchId]);
+            // ① 批必须还 OPEN(自增写 rev 保证 affected 语义在 CLIENT_FOUND_ROWS 关闭下仍=1;=0 ⇒ 批已封)。
+            const batchRes = await conn.query(this.q(`UPDATE ${APPROVAL_BATCH_TABLE} SET rev = rev + 1, updated_at_ms = ? WHERE batch_id = ? AND state = 'OPEN'`, `UPDATE ${APPROVAL_BATCH_TABLE} SET rev = rev + 1, updated_at_ms = $1 WHERE batch_id = $2 AND state = 'OPEN'`), [now, batchId]);
             if (batchRes.affected !== 1) {
                 await conn.rollback();
                 return { ok: false, reason: "batch_closed", row: await this.getAskOn(conn, askId) };
@@ -449,7 +449,7 @@ export class SqlApprovalAskStore {
             //    CAS(输)再报 409,把一次合法回放变成冲突。同一 UPDATE ⇒ 键与终态同生共死。
             let askRes; // 显式标注:`let x;` 是 evolving-any,本仓按强类型用
             try {
-                askRes = await conn.query(this.q(`UPDATE ${APPROVAL_ASKS_TABLE} SET state='DECIDED', decision=?, decision_actor=?, decision_note=?, decided_at_ms=?, idempotency_key=?, version=version+1, updated_at_ms=? WHERE ask_id=? AND state='STREAM_PENDING'`, `UPDATE ${APPROVAL_ASKS_TABLE} SET state='DECIDED', decision=$1, decision_actor=$2, decision_note=$3, decided_at_ms=$4, idempotency_key=$5, version=version+1, updated_at_ms=$6 WHERE ask_id=$7 AND state='STREAM_PENDING'`), [decision.decision, decision.decisionActor == null ? null : this.json(decision.decisionActor), decision.decisionNote ?? null, now, decision.idempotencyKey ?? null, now, askId]);
+                askRes = await conn.query(this.q(`UPDATE ${APPROVAL_ASK_TABLE} SET state='DECIDED', decision=?, decision_actor=?, decision_note=?, decided_at_ms=?, idempotency_key=?, rev=rev+1, updated_at_ms=? WHERE ask_id=? AND state='STREAM_PENDING'`, `UPDATE ${APPROVAL_ASK_TABLE} SET state='DECIDED', decision=$1, decision_actor=$2, decision_note=$3, decided_at_ms=$4, idempotency_key=$5, rev=rev+1, updated_at_ms=$6 WHERE ask_id=$7 AND state='STREAM_PENDING'`), [decision.decision, decision.decisionActor == null ? null : this.json(decision.decisionActor), decision.decisionNote ?? null, now, decision.idempotencyKey ?? null, now, askId]);
             }
             catch (err) {
                 // `(task_id, idempotency_key)` 撞键 = 同一 key 已被本 task 内**另一条** ask 的回决占用。这是调用方
@@ -490,27 +490,27 @@ export class SqlApprovalAskStore {
             await conn.begin();
             // ⓪ 锁序不变量(真双库 §6-4b 死锁实抓,2026-08-05):凡同一事务触碰批行+ask 行者,**一律批行先**
             //    (decideAsk/bindBatch/abortBatch 皆批先;expireAsk 原是 ask 先 ⇒ 与 decideAsk 构成 AB-BA,
-            //    TiDB 悲观锁当场 `Deadlock found`)。这里用无谓词的 version 自增先取批行锁作序列化点——
+            //    TiDB 悲观锁当场 `Deadlock found`)。这里用无谓词的 rev 自增先取批行锁作序列化点——
             //    带 state 谓词的转移放后面(谓词不符时部分引擎不留锁,序列化点会失效)。ask CAS 输时整个
             //    事务回滚,这次自增一并撤销,无痕。
-            const lockRes = await conn.query(this.q(`UPDATE ${APPROVAL_BATCHES_TABLE} SET version=version+1 WHERE batch_id=?`, `UPDATE ${APPROVAL_BATCHES_TABLE} SET version=version+1 WHERE batch_id=$1`), [batchId]);
+            const lockRes = await conn.query(this.q(`UPDATE ${APPROVAL_BATCH_TABLE} SET rev=rev+1 WHERE batch_id=?`, `UPDATE ${APPROVAL_BATCH_TABLE} SET rev=rev+1 WHERE batch_id=$1`), [batchId]);
             if (lockRes.affected !== 1) {
                 await conn.rollback(); // 批行不存在 = ensureAsk 从未为它建批(编程错误形,如实不赢)
                 return { won: false, voidedSiblings: [] };
             }
             // ① 中选:ask STREAM_PENDING → PARKING(单赢者;输 = 已被回决/取消,整体放弃)。
-            const askRes = await conn.query(this.q(`UPDATE ${APPROVAL_ASKS_TABLE} SET state='PARKING', version=version+1, updated_at_ms=? WHERE ask_id=? AND state='STREAM_PENDING'`, `UPDATE ${APPROVAL_ASKS_TABLE} SET state='PARKING', version=version+1, updated_at_ms=$1 WHERE ask_id=$2 AND state='STREAM_PENDING'`), [now, askId]);
+            const askRes = await conn.query(this.q(`UPDATE ${APPROVAL_ASK_TABLE} SET state='PARKING', rev=rev+1, updated_at_ms=? WHERE ask_id=? AND state='STREAM_PENDING'`, `UPDATE ${APPROVAL_ASK_TABLE} SET state='PARKING', rev=rev+1, updated_at_ms=$1 WHERE ask_id=$2 AND state='STREAM_PENDING'`), [now, askId]);
             if (askRes.affected !== 1) {
                 await conn.rollback();
                 return { won: false, voidedSiblings: [] };
             }
             // ② 批 OPEN → ROUTING_UNBOUND(已是 ROUTING_UNBOUND = 兄弟先到,affected=0 也算成功续走③——不检查
             //    affected,批状态无论如何这一刻都已经是 ROUTING_UNBOUND 或更前进)。
-            await conn.query(this.q(`UPDATE ${APPROVAL_BATCHES_TABLE} SET state='ROUTING_UNBOUND', version=version+1, updated_at_ms=? WHERE batch_id=? AND state='OPEN'`, `UPDATE ${APPROVAL_BATCHES_TABLE} SET state='ROUTING_UNBOUND', version=version+1, updated_at_ms=$1 WHERE batch_id=$2 AND state='OPEN'`), [now, batchId]);
+            await conn.query(this.q(`UPDATE ${APPROVAL_BATCH_TABLE} SET state='ROUTING_UNBOUND', rev=rev+1, updated_at_ms=? WHERE batch_id=? AND state='OPEN'`, `UPDATE ${APPROVAL_BATCH_TABLE} SET state='ROUTING_UNBOUND', rev=rev+1, updated_at_ms=$1 WHERE batch_id=$2 AND state='OPEN'`), [now, batchId]);
             // ③ 兄弟撤卡:PG 用 RETURNING 单语句拿名单;TiDB 无 RETURNING,同事务先 SELECT 后 UPDATE。
             let voidedSiblings;
             if (this.db.dialect === "pg") {
-                const res = await conn.query(`UPDATE ${APPROVAL_ASKS_TABLE} SET state='VOID', version=version+1, updated_at_ms=$1 WHERE batch_id=$2 AND state='STREAM_PENDING' AND ask_id<>$3 RETURNING ask_id`, [now, batchId, askId]);
+                const res = await conn.query(`UPDATE ${APPROVAL_ASK_TABLE} SET state='VOID', rev=rev+1, updated_at_ms=$1 WHERE batch_id=$2 AND state='STREAM_PENDING' AND ask_id<>$3 RETURNING ask_id`, [now, batchId, askId]);
                 voidedSiblings = res.rows.map((r) => String(r.ask_id));
             }
             else {
@@ -521,11 +521,11 @@ export class SqlApprovalAskStore {
                 // 会在名单里却没被改(撤卡帧误发)。PG 的 RETURNING 与 InMemory 都返回「真正被改的那一组」,
                 // 所以裸读会造出一个**只在 MySQL 方言上**成立的协议分歧。锁序:本方法已先取批行锁(步⓪),
                 // 此处再取 ask 行锁,与文件头注的「批先 ask 后」一致。
-                const sel = await conn.query(`SELECT ask_id FROM ${APPROVAL_ASKS_TABLE} WHERE batch_id=? AND state='STREAM_PENDING' AND ask_id<>? FOR UPDATE`, [batchId, askId]);
+                const sel = await conn.query(`SELECT ask_id FROM ${APPROVAL_ASK_TABLE} WHERE batch_id=? AND state='STREAM_PENDING' AND ask_id<>? FOR UPDATE`, [batchId, askId]);
                 voidedSiblings = sel.rows.map((r) => String(r.ask_id));
                 if (voidedSiblings.length > 0) {
                     const inList = voidedSiblings.map(() => "?").join(", ");
-                    await conn.query(`UPDATE ${APPROVAL_ASKS_TABLE} SET state='VOID', version=version+1, updated_at_ms=? WHERE ask_id IN (${inList}) AND state='STREAM_PENDING'`, [
+                    await conn.query(`UPDATE ${APPROVAL_ASK_TABLE} SET state='VOID', rev=rev+1, updated_at_ms=? WHERE ask_id IN (${inList}) AND state='STREAM_PENDING'`, [
                         now,
                         ...voidedSiblings,
                     ]);
@@ -554,7 +554,7 @@ export class SqlApprovalAskStore {
             await conn.begin();
             // bind-once:批 ROUTING_UNBOUND → ROUTING_BOUND + bound_ask_id(WHERE bound_ask_id IS NULL 是第二道
             // 保险——state 谓词已经把并发者挡在外面,这里双保险防「同一批被 bind 两次」哪怕未来状态机被误改）。
-            const batchRes = await conn.query(this.q(`UPDATE ${APPROVAL_BATCHES_TABLE} SET state='ROUTING_BOUND', bound_ask_id=?, version=version+1, updated_at_ms=? WHERE batch_id=? AND state='ROUTING_UNBOUND' AND bound_ask_id IS NULL`, `UPDATE ${APPROVAL_BATCHES_TABLE} SET state='ROUTING_BOUND', bound_ask_id=$1, version=version+1, updated_at_ms=$2 WHERE batch_id=$3 AND state='ROUTING_UNBOUND' AND bound_ask_id IS NULL`), [askId, now, batchId]);
+            const batchRes = await conn.query(this.q(`UPDATE ${APPROVAL_BATCH_TABLE} SET state='ROUTING_BOUND', bound_ask_id=?, rev=rev+1, updated_at_ms=? WHERE batch_id=? AND state='ROUTING_UNBOUND' AND bound_ask_id IS NULL`, `UPDATE ${APPROVAL_BATCH_TABLE} SET state='ROUTING_BOUND', bound_ask_id=$1, rev=rev+1, updated_at_ms=$2 WHERE batch_id=$3 AND state='ROUTING_UNBOUND' AND bound_ask_id IS NULL`), [askId, now, batchId]);
             if (batchRes.affected !== 1) {
                 // 判别式的信息来源 = 批行的真实态。🔴 回读**放在 rollback 之后、走池上的独立读**,不在本事务内读:
                 // TiDB 的事务快照按 start_ts 取,同事务内的普通 SELECT 可能读到 BEGIN 时刻的旧值(InnoDB 的读视图
@@ -568,7 +568,7 @@ export class SqlApprovalAskStore {
                 return { ok: false, batchState: cur.state, ...(cur.boundAskId !== null ? { boundAskId: cur.boundAskId } : {}) };
             }
             // 中选 ask PARKING → PARKED(带 gate 三件)。
-            const askRes = await conn.query(this.q(`UPDATE ${APPROVAL_ASKS_TABLE} SET state='PARKED', gate_token=?, gate_bound_call_id=?, gate_bound_input_hash=?, version=version+1, updated_at_ms=? WHERE ask_id=? AND state='PARKING'`, `UPDATE ${APPROVAL_ASKS_TABLE} SET state='PARKED', gate_token=$1, gate_bound_call_id=$2, gate_bound_input_hash=$3, version=version+1, updated_at_ms=$4 WHERE ask_id=$5 AND state='PARKING'`), [gate.gateToken, gate.gateBoundCallId ?? null, gate.gateBoundInputHash ?? null, now, askId]);
+            const askRes = await conn.query(this.q(`UPDATE ${APPROVAL_ASK_TABLE} SET state='PARKED', gate_token=?, gate_bound_call_id=?, gate_bound_input_hash=?, rev=rev+1, updated_at_ms=? WHERE ask_id=? AND state='PARKING'`, `UPDATE ${APPROVAL_ASK_TABLE} SET state='PARKED', gate_token=$1, gate_bound_call_id=$2, gate_bound_input_hash=$3, rev=rev+1, updated_at_ms=$4 WHERE ask_id=$5 AND state='PARKING'`), [gate.gateToken, gate.gateBoundCallId ?? null, gate.gateBoundInputHash ?? null, now, askId]);
             if (askRes.affected !== 1) {
                 await conn.rollback();
                 // ask 不在 PARKING(被别的竞争者收走)⇒ 整事务回滚,批**没有**被绑上。如实报批的回滚后真值:
@@ -579,7 +579,7 @@ export class SqlApprovalAskStore {
             // 读法与 expireAsk 逐字同形:PG `RETURNING` 单语句;TiDB 无 RETURNING ⇒ 同事务先 SELECT 后 UPDATE。
             let voidedSiblings;
             if (this.db.dialect === "pg") {
-                const res = await conn.query(`UPDATE ${APPROVAL_ASKS_TABLE} SET state='VOID', version=version+1, updated_at_ms=$1 WHERE batch_id=$2 AND state='PARKING' AND ask_id<>$3 RETURNING ask_id`, [now, batchId, askId]);
+                const res = await conn.query(`UPDATE ${APPROVAL_ASK_TABLE} SET state='VOID', rev=rev+1, updated_at_ms=$1 WHERE batch_id=$2 AND state='PARKING' AND ask_id<>$3 RETURNING ask_id`, [now, batchId, askId]);
                 voidedSiblings = res.rows.map((r) => String(r.ask_id));
             }
             else {
@@ -590,11 +590,11 @@ export class SqlApprovalAskStore {
                 // 都返回「真正被改的那一组」,所以裸读会造出一个**只在 MySQL 方言上**成立的协议分歧。
                 // 修法:锁定读把行集钉死,再只更新这批 id ⇒ 返回名单恒等于被改集合,三形同义。
                 // 锁序:本方法已先取批行锁(上面那条 CAS),此处再取 ask 行锁,与文件头注的「批先 ask 后」一致。
-                const sel = await conn.query(`SELECT ask_id FROM ${APPROVAL_ASKS_TABLE} WHERE batch_id=? AND state='PARKING' AND ask_id<>? FOR UPDATE`, [batchId, askId]);
+                const sel = await conn.query(`SELECT ask_id FROM ${APPROVAL_ASK_TABLE} WHERE batch_id=? AND state='PARKING' AND ask_id<>? FOR UPDATE`, [batchId, askId]);
                 voidedSiblings = sel.rows.map((r) => String(r.ask_id));
                 if (voidedSiblings.length > 0) {
                     const inList = voidedSiblings.map(() => "?").join(", ");
-                    await conn.query(`UPDATE ${APPROVAL_ASKS_TABLE} SET state='VOID', version=version+1, updated_at_ms=? WHERE ask_id IN (${inList}) AND state='PARKING'`, [now, ...voidedSiblings]);
+                    await conn.query(`UPDATE ${APPROVAL_ASK_TABLE} SET state='VOID', rev=rev+1, updated_at_ms=? WHERE ask_id IN (${inList}) AND state='PARKING'`, [now, ...voidedSiblings]);
                 }
             }
             await conn.commit();
@@ -618,7 +618,7 @@ export class SqlApprovalAskStore {
         const conn = await this.db.connect();
         try {
             await conn.begin();
-            const batchRes = await conn.query(this.q(`UPDATE ${APPROVAL_BATCHES_TABLE} SET state='ABORTED', version=version+1, updated_at_ms=? WHERE batch_id=? AND (state='OPEN' OR state='ROUTING_UNBOUND')`, `UPDATE ${APPROVAL_BATCHES_TABLE} SET state='ABORTED', version=version+1, updated_at_ms=$1 WHERE batch_id=$2 AND (state='OPEN' OR state='ROUTING_UNBOUND')`), [now, batchId]);
+            const batchRes = await conn.query(this.q(`UPDATE ${APPROVAL_BATCH_TABLE} SET state='ABORTED', rev=rev+1, updated_at_ms=? WHERE batch_id=? AND (state='OPEN' OR state='ROUTING_UNBOUND')`, `UPDATE ${APPROVAL_BATCH_TABLE} SET state='ABORTED', rev=rev+1, updated_at_ms=$1 WHERE batch_id=$2 AND (state='OPEN' OR state='ROUTING_UNBOUND')`), [now, batchId]);
             if (batchRes.affected !== 1) {
                 await conn.rollback();
                 return [];
@@ -627,18 +627,18 @@ export class SqlApprovalAskStore {
             // (§3.0 原话),PARKING/PARKED/DENIED 同样不在这条 UPDATE 的谓词里,保持不动。
             let voided;
             if (this.db.dialect === "pg") {
-                const res = await conn.query(`UPDATE ${APPROVAL_ASKS_TABLE} SET state='VOID', version=version+1, updated_at_ms=$1 WHERE batch_id=$2 AND state='STREAM_PENDING' RETURNING ask_id`, [now, batchId]);
+                const res = await conn.query(`UPDATE ${APPROVAL_ASK_TABLE} SET state='VOID', rev=rev+1, updated_at_ms=$1 WHERE batch_id=$2 AND state='STREAM_PENDING' RETURNING ask_id`, [now, batchId]);
                 voided = res.rows.map((r) => String(r.ask_id));
             }
             else {
                 // 🔴 同 `expireAsk`/`bindBatch` 的锁定读改造(车5 同病修):非锁定读的名单与宽谓词 UPDATE 的
                 // 行集不是同一个 ⇒ 撤卡帧漏发/误发,且分歧只在 MySQL 方言上成立。锁序:批行锁(上一条 CAS)
                 // 已取,此处再取 ask 行锁。
-                const sel = await conn.query(`SELECT ask_id FROM ${APPROVAL_ASKS_TABLE} WHERE batch_id=? AND state='STREAM_PENDING' FOR UPDATE`, [batchId]);
+                const sel = await conn.query(`SELECT ask_id FROM ${APPROVAL_ASK_TABLE} WHERE batch_id=? AND state='STREAM_PENDING' FOR UPDATE`, [batchId]);
                 voided = sel.rows.map((r) => String(r.ask_id));
                 if (voided.length > 0) {
                     const inList = voided.map(() => "?").join(", ");
-                    await conn.query(`UPDATE ${APPROVAL_ASKS_TABLE} SET state='VOID', version=version+1, updated_at_ms=? WHERE ask_id IN (${inList}) AND state='STREAM_PENDING'`, [now, ...voided]);
+                    await conn.query(`UPDATE ${APPROVAL_ASK_TABLE} SET state='VOID', rev=rev+1, updated_at_ms=? WHERE ask_id IN (${inList}) AND state='STREAM_PENDING'`, [now, ...voided]);
                 }
             }
             await conn.commit();
@@ -669,13 +669,13 @@ export class SqlApprovalAskStore {
      * `updatedAtMs`**——它被队列轮转每轮刷新,量它的 TTL 永不到期。
      */
     async listByState(state, limit) {
-        const { rows } = await this.db.query(this.q(`SELECT ${ASK_COLS} FROM ${APPROVAL_ASKS_TABLE} WHERE state = ? ORDER BY updated_at_ms ASC, created_at_ms ASC LIMIT ?`, `SELECT ${ASK_COLS} FROM ${APPROVAL_ASKS_TABLE} WHERE state = $1 ORDER BY updated_at_ms ASC, created_at_ms ASC LIMIT $2`), [state, limit]);
+        const { rows } = await this.db.query(this.q(`SELECT ${ASK_COLS} FROM ${APPROVAL_ASK_TABLE} WHERE state = ? ORDER BY updated_at_ms ASC, created_at_ms ASC LIMIT ?`, `SELECT ${ASK_COLS} FROM ${APPROVAL_ASK_TABLE} WHERE state = $1 ORDER BY updated_at_ms ASC, created_at_ms ASC LIMIT $2`), [state, limit]);
         return rows.map(mapAskRow);
     }
     async listPendingByTask(taskId, signal) {
         if (signal?.aborted === true)
             throw abortedReadError("listPendingByTask");
-        const { rows } = await withReadSignal(this.db.query(this.q(`SELECT ${ASK_COLS} FROM ${APPROVAL_ASKS_TABLE} WHERE task_id = ? AND state = 'STREAM_PENDING' ORDER BY created_at_ms ASC`, `SELECT ${ASK_COLS} FROM ${APPROVAL_ASKS_TABLE} WHERE task_id = $1 AND state = 'STREAM_PENDING' ORDER BY created_at_ms ASC`), [taskId]), signal, "listPendingByTask");
+        const { rows } = await withReadSignal(this.db.query(this.q(`SELECT ${ASK_COLS} FROM ${APPROVAL_ASK_TABLE} WHERE task_id = ? AND state = 'STREAM_PENDING' ORDER BY created_at_ms ASC`, `SELECT ${ASK_COLS} FROM ${APPROVAL_ASK_TABLE} WHERE task_id = $1 AND state = 'STREAM_PENDING' ORDER BY created_at_ms ASC`), [taskId]), signal, "listPendingByTask");
         return rows.map(mapAskRow);
     }
     async listPendingBySession(sessionId, owner, signal) {
@@ -684,12 +684,12 @@ export class SqlApprovalAskStore {
         // 租户门的两段谓词文本(见接口注):`owner = ?` 对 NULL 恒 UNKNOWN ⇒ 无租户身份的部署形必须走
         // `owner IS NULL`,否则这条读口在那些部署上恒回零行(一条静默失效的重放面,比报错更难发现)。
         const { rows } = await withReadSignal(this.db.query(owner === null
-            ? this.q(`SELECT ${ASK_COLS} FROM ${APPROVAL_ASKS_TABLE} WHERE session_id = ? AND state = 'STREAM_PENDING' AND owner IS NULL ORDER BY created_at_ms ASC`, `SELECT ${ASK_COLS} FROM ${APPROVAL_ASKS_TABLE} WHERE session_id = $1 AND state = 'STREAM_PENDING' AND owner IS NULL ORDER BY created_at_ms ASC`)
-            : this.q(`SELECT ${ASK_COLS} FROM ${APPROVAL_ASKS_TABLE} WHERE session_id = ? AND state = 'STREAM_PENDING' AND owner = ? ORDER BY created_at_ms ASC`, `SELECT ${ASK_COLS} FROM ${APPROVAL_ASKS_TABLE} WHERE session_id = $1 AND state = 'STREAM_PENDING' AND owner = $2 ORDER BY created_at_ms ASC`), owner === null ? [sessionId] : [sessionId, owner]), signal, "listPendingBySession");
+            ? this.q(`SELECT ${ASK_COLS} FROM ${APPROVAL_ASK_TABLE} WHERE session_id = ? AND state = 'STREAM_PENDING' AND owner IS NULL ORDER BY created_at_ms ASC`, `SELECT ${ASK_COLS} FROM ${APPROVAL_ASK_TABLE} WHERE session_id = $1 AND state = 'STREAM_PENDING' AND owner IS NULL ORDER BY created_at_ms ASC`)
+            : this.q(`SELECT ${ASK_COLS} FROM ${APPROVAL_ASK_TABLE} WHERE session_id = ? AND state = 'STREAM_PENDING' AND owner = ? ORDER BY created_at_ms ASC`, `SELECT ${ASK_COLS} FROM ${APPROVAL_ASK_TABLE} WHERE session_id = $1 AND state = 'STREAM_PENDING' AND owner = $2 ORDER BY created_at_ms ASC`), owner === null ? [sessionId] : [sessionId, owner]), signal, "listPendingBySession");
         return rows.map(mapAskRow);
     }
     async getAsk(askId) {
-        const { rows } = await this.db.query(this.q(`SELECT ${ASK_COLS} FROM ${APPROVAL_ASKS_TABLE} WHERE ask_id = ?`, `SELECT ${ASK_COLS} FROM ${APPROVAL_ASKS_TABLE} WHERE ask_id = $1`), [
+        const { rows } = await this.db.query(this.q(`SELECT ${ASK_COLS} FROM ${APPROVAL_ASK_TABLE} WHERE ask_id = ?`, `SELECT ${ASK_COLS} FROM ${APPROVAL_ASK_TABLE} WHERE ask_id = $1`), [
             askId,
         ]);
         return rows[0] ? mapAskRow(rows[0]) : null;
@@ -697,13 +697,13 @@ export class SqlApprovalAskStore {
     async getByIdempotencyKey(taskId, key) {
         assertIdempotencyKeyShape(key); // F2 卫生门:坏形键不做注定方言分歧的查询
         // 谓词跟 UNIQUE `(task_id, idempotency_key)` 逐字对齐 ⇒ 至多一行,且天然带租户门(见接口注)。
-        const { rows } = await this.db.query(this.q(`SELECT ${ASK_COLS} FROM ${APPROVAL_ASKS_TABLE} WHERE task_id = ? AND idempotency_key = ?`, `SELECT ${ASK_COLS} FROM ${APPROVAL_ASKS_TABLE} WHERE task_id = $1 AND idempotency_key = $2`), [taskId, key]);
+        const { rows } = await this.db.query(this.q(`SELECT ${ASK_COLS} FROM ${APPROVAL_ASK_TABLE} WHERE task_id = ? AND idempotency_key = ?`, `SELECT ${ASK_COLS} FROM ${APPROVAL_ASK_TABLE} WHERE task_id = $1 AND idempotency_key = $2`), [taskId, key]);
         return rows[0] ? mapAskRow(rows[0]) : null;
     }
-    async deferReconcile(askId, expectedState, expectedVersion, nowMs) {
+    async deferReconcile(askId, expectedState, expectedRev, nowMs) {
         // 纯 touch:**不碰 state**(见接口注——同态转移在状态机表上无出边,这里刻意走另一扇门),只推
-        // `updated_at_ms` 与恒变的 `version`。`AND state=? AND version=?` 双谓词 = 两副本同扫时的单赢者门。
-        const res = await this.db.query(this.q(`UPDATE ${APPROVAL_ASKS_TABLE} SET updated_at_ms = ?, version = version + 1 WHERE ask_id = ? AND state = ? AND version = ?`, `UPDATE ${APPROVAL_ASKS_TABLE} SET updated_at_ms = $1, version = version + 1 WHERE ask_id = $2 AND state = $3 AND version = $4`), [nowMs, askId, expectedState, expectedVersion]);
+        // `updated_at_ms` 与恒变的 `rev`。`AND state=? AND rev=?` 双谓词 = 两副本同扫时的单赢者门。
+        const res = await this.db.query(this.q(`UPDATE ${APPROVAL_ASK_TABLE} SET updated_at_ms = ?, rev = rev + 1 WHERE ask_id = ? AND state = ? AND rev = ?`, `UPDATE ${APPROVAL_ASK_TABLE} SET updated_at_ms = $1, rev = rev + 1 WHERE ask_id = $2 AND state = $3 AND rev = $4`), [nowMs, askId, expectedState, expectedRev]);
         return res.affected === 1;
     }
     async resolveProvisional(askId, from, to, patch) {
@@ -718,15 +718,15 @@ export class SqlApprovalAskStore {
         const askIdPh = ph(dialect, ++n);
         const provPh = ph(dialect, ++n);
         const fromPh = ph(dialect, ++n);
-        const res = await this.db.query(`UPDATE ${APPROVAL_ASKS_TABLE} SET ${setSql}, version = version + 1 WHERE ask_id = ${askIdPh} AND provisional = ${provPh} AND state = ${fromPh}`, [...vals, askId, 1, from]);
+        const res = await this.db.query(`UPDATE ${APPROVAL_ASK_TABLE} SET ${setSql}, rev = rev + 1 WHERE ask_id = ${askIdPh} AND provisional = ${provPh} AND state = ${fromPh}`, [...vals, askId, 1, from]);
         return res.affected === 1;
     }
     async deleteByTask(taskId) {
-        await this.db.query(this.q(`DELETE FROM ${APPROVAL_ASKS_TABLE} WHERE task_id = ?`, `DELETE FROM ${APPROVAL_ASKS_TABLE} WHERE task_id = $1`), [taskId]);
-        await this.db.query(this.q(`DELETE FROM ${APPROVAL_BATCHES_TABLE} WHERE task_id = ?`, `DELETE FROM ${APPROVAL_BATCHES_TABLE} WHERE task_id = $1`), [taskId]);
+        await this.db.query(this.q(`DELETE FROM ${APPROVAL_ASK_TABLE} WHERE task_id = ?`, `DELETE FROM ${APPROVAL_ASK_TABLE} WHERE task_id = $1`), [taskId]);
+        await this.db.query(this.q(`DELETE FROM ${APPROVAL_BATCH_TABLE} WHERE task_id = ?`, `DELETE FROM ${APPROVAL_BATCH_TABLE} WHERE task_id = $1`), [taskId]);
     }
     async getBatch(batchId) {
-        const { rows } = await this.db.query(this.q(`SELECT ${BATCH_COLS} FROM ${APPROVAL_BATCHES_TABLE} WHERE batch_id = ?`, `SELECT ${BATCH_COLS} FROM ${APPROVAL_BATCHES_TABLE} WHERE batch_id = $1`), [batchId]);
+        const { rows } = await this.db.query(this.q(`SELECT ${BATCH_COLS} FROM ${APPROVAL_BATCH_TABLE} WHERE batch_id = ?`, `SELECT ${BATCH_COLS} FROM ${APPROVAL_BATCH_TABLE} WHERE batch_id = $1`), [batchId]);
         return rows[0] ? mapBatchRow(rows[0]) : null;
     }
 }

package/dist/plugins/background-agent-store-sql.d.ts

@@ -32,7 +32,7 @@
 import type { Pool } from "mysql2/promise";
 import { type BackgroundAgentRecord, type BackgroundAgentRowSummary, type BackgroundAgentStore } from "@sema-agent/core";
 import type { PgQueryFn } from "./pg-query.js";
-export declare const BACKGROUND_AGENT_TABLE = "background_agents";
+export declare const BACKGROUND_AGENT_TABLE = "background_agent";
 type ReapOpts = {
     maxAgeMs?: number;
     keep?: number;

package/dist/plugins/background-agent-store-sql.js

@@ -1,6 +1,6 @@
 import { BackgroundAgentStoreError, STALE_RUNNING_REAP_ATTRIBUTION, } from "@sema-agent/core";
 import { pgSafeJsonStringify, pgSanitizeText } from "./pg-safe-json.js";
-export const BACKGROUND_AGENT_TABLE = "background_agents";
+export const BACKGROUND_AGENT_TABLE = "background_agent";
 const SUMMARY_COLS = "handle, owner, session_scoped, session_id, parent_session_id, root_session_id, name, agent_type, status, spawned_at_ms, updated_at_ms, settled_at_ms, usage_json";
 /** put/update 共用的投影列(scope_key/handle 键列另拼;record_json 恒最后)。core 1.383([1565] 提货单)
  *  `updateIf` 的 CAS 守卫需要 `parked_checkpoint_token`/`park_claim_id` 是**专用列**——守卫条件必须在
@@ -133,7 +133,7 @@ function limitClause(limit) {
     return ` LIMIT ${Number.isFinite(n) ? Math.max(0, n) : 0}`;
 }
 /* ┌─ 历史:曾经的运行期 ADD COLUMN 迁移腿(已折进 CREATE,2026-07-26 clay 裁「删库重建」)──────────┐
- * 两个 ensure 曾在每次 boot 给 `background_agents` 补三列;现已全部折叠为 CREATE TABLE 里的列定义。
+ * 两个 ensure 曾在每次 boot 给 `background_agent` 补三列;现已全部折叠为 CREATE TABLE 里的列定义。
  * 保留由来,因为它解释了这些列**为什么存在**,以及当年为什么 TiDB 腿用探针而不是 `IF NOT EXISTS`:
  *
  * ① root_session_id(core 1.367 δ,additive):1.248 建的存量表没有这列,靠迁移补。

package/dist/plugins/checkpoint-store-sql.d.ts

@@ -89,7 +89,7 @@ export interface CheckpointAskCandidate {
     sourceTaskId: string | null;
     /** 该 park 绑定的 tool call(= `pendingAction.toolCallId`)。`unparseable` 行为 null。 */
     boundCallId: string | null;
-    /** 服务端铸的入参摘要——判据 1 的第二道硬等式(与 `approval_asks.bound_input_hash` 相等才算命中)。 */
+    /** 服务端铸的入参摘要——判据 1 的第二道硬等式(与 `approval_ask.bound_input_hash` 相等才算命中)。 */
     boundInputHash: string | null;
     /** 在场 ⇒ 这行读不出(blob 版本超前 / JSON 坏)。收敛器视同不匹配;**从不是** false,缺席即可读。 */
     unparseable?: true;
@@ -348,7 +348,7 @@ export declare class SqlCheckpointStore implements CheckpointStore {
      *
      * The extra `task_active` guard closes a multi-gate window: between a resume's CAS (pending→resolved) and
      * the task hitting its NEXT gate (writing a new pending checkpoint), the session has no pending checkpoint —
-     * yet `putCtx` only stamps `updated_at` at submit, so the ctx could be older than `cutoff` and was being
+     * yet `putCtx` only stamps `updated_at_ms` at submit, so the ctx could be older than `cutoff` and was being
      * reaped, making the next resume 409 ("resume context missing"). `task_active` holds the session lock for
      * the WHOLE submit→last-resume-complete span (running OR suspended), so excluding sessions with an active
      * claim keeps the ctx exactly as long as a run still needs it, while still GC'ing it once the run is terminal.

package/dist/plugins/checkpoint-store-sql.js

@@ -736,9 +736,9 @@ export class SqlCheckpointStore {
     // ─────────────────────── checkpoint_ctx (service rebuild inputs; sessionId-keyed) ───────────────────────
     /** Upsert the resume rebuild inputs for a session (written at SUBMIT when durable mode is on). */
     async putCtx(sessionId, ctx) {
-        await this.db.query(this.q("INSERT INTO checkpoint_ctx (session_id, ctx, updated_at) VALUES (?,?,?) " +
-            "ON DUPLICATE KEY UPDATE ctx = VALUES(ctx), updated_at = VALUES(updated_at)", "INSERT INTO checkpoint_ctx (session_id, ctx, updated_at) VALUES ($1,$2::jsonb,$3) " +
-            "ON CONFLICT (session_id) DO UPDATE SET ctx = EXCLUDED.ctx, updated_at = EXCLUDED.updated_at"), [sessionId, this.json(ctx, "checkpoint ctx"), Date.now()]);
+        await this.db.query(this.q("INSERT INTO checkpoint_ctx (session_id, ctx, updated_at_ms) VALUES (?,?,?) " +
+            "ON DUPLICATE KEY UPDATE ctx = VALUES(ctx), updated_at_ms = VALUES(updated_at_ms)", "INSERT INTO checkpoint_ctx (session_id, ctx, updated_at_ms) VALUES ($1,$2::jsonb,$3) " +
+            "ON CONFLICT (session_id) DO UPDATE SET ctx = EXCLUDED.ctx, updated_at_ms = EXCLUDED.updated_at_ms"), [sessionId, this.json(ctx, "checkpoint ctx"), Date.now()]);
     }
     async getCtx(sessionId) {
         const { rows } = await this.db.query(this.q("SELECT ctx FROM checkpoint_ctx WHERE session_id=?", "SELECT ctx FROM checkpoint_ctx WHERE session_id=$1"), [sessionId]);
@@ -750,15 +750,15 @@ export class SqlCheckpointStore {
      *
      * The extra `task_active` guard closes a multi-gate window: between a resume's CAS (pending→resolved) and
      * the task hitting its NEXT gate (writing a new pending checkpoint), the session has no pending checkpoint —
-     * yet `putCtx` only stamps `updated_at` at submit, so the ctx could be older than `cutoff` and was being
+     * yet `putCtx` only stamps `updated_at_ms` at submit, so the ctx could be older than `cutoff` and was being
      * reaped, making the next resume 409 ("resume context missing"). `task_active` holds the session lock for
      * the WHOLE submit→last-resume-complete span (running OR suspended), so excluding sessions with an active
      * claim keeps the ctx exactly as long as a run still needs it, while still GC'ing it once the run is terminal.
      */
     async reapCtx(cutoff) {
-        const res = await this.db.query(this.q("DELETE FROM checkpoint_ctx WHERE updated_at < ? " +
+        const res = await this.db.query(this.q("DELETE FROM checkpoint_ctx WHERE updated_at_ms < ? " +
             "AND session_id NOT IN (SELECT session_id FROM checkpoint WHERE status='pending') " +
-            "AND session_id NOT IN (SELECT session_id FROM task_active)", "DELETE FROM checkpoint_ctx WHERE updated_at < $1 " +
+            "AND session_id NOT IN (SELECT session_id FROM task_active)", "DELETE FROM checkpoint_ctx WHERE updated_at_ms < $1 " +
             "AND session_id NOT IN (SELECT session_id FROM checkpoint WHERE status='pending') " +
             "AND session_id NOT IN (SELECT session_id FROM task_active)"), [cutoff]);
         return res.affected;

package/dist/plugins/mailbox-store-sql.d.ts

@@ -39,8 +39,8 @@ import type { Pool as MySqlPool } from "mysql2/promise";
 import type { Pool as PgPool } from "pg";
 import type { MailboxLease, MailboxStore } from "@sema-agent/core";
 type MailboxAppendMessage = Parameters<MailboxStore["append"]>[2];
-export declare const MAILBOX_TABLE = "mailboxes";
-export declare const MAILBOX_MSG_TABLE = "mailbox_messages";
+export declare const MAILBOX_TABLE = "mailbox";
+export declare const MAILBOX_MSG_TABLE = "mailbox_message";
 export declare function ensureTiDBMailboxSchema(pool: MySqlPool): Promise<void>;
 export declare function ensurePgMailboxSchema(q: (text: string, params?: unknown[]) => Promise<unknown>): Promise<void>;
 export declare class TiDBMailboxStore implements MailboxStore {

package/dist/plugins/mailbox-store-sql.js

@@ -1,6 +1,6 @@
 import { pgHasUnstorable, pgSanitizeText, PgUnstorableError } from "./pg-safe-json.js";
-export const MAILBOX_TABLE = "mailboxes";
-export const MAILBOX_MSG_TABLE = "mailbox_messages";
+export const MAILBOX_TABLE = "mailbox";
+export const MAILBOX_MSG_TABLE = "mailbox_message";
 /** InMemory append 同文案形(default-deny 谓词精神:无 scope 的盒=路由不明,写入即拒)。 */
 function assertScope(scope) {
     if (scope === undefined || scope === "") {

package/dist/plugins/memory-engine-pg.d.ts

@@ -4,8 +4,8 @@ import type { MemoryBackend, MemoryEntry, MemoryEntryHeader, NotePatch, PatchRep
 /** Table names (single source). Deliberately DISJOINT from the legacy `agent_memory*` tables —
  *  the retired MemoryStore plane and this entry plane must never cross-write. */
 export declare const PG_MEMORY_ENGINE_TABLES: {
-    readonly entries: "agent_memory_engine_entries";
-    readonly cursors: "agent_memory_engine_cursors";
+    readonly entry: "agent_memory_engine_entry";
+    readonly cursor: "agent_memory_engine_cursor";
 };
 /** Options for {@link ensurePgMemoryEngineSchema} — same `memoryVector` contract as PgAgentSchemaOptions. */
 export interface PgMemoryEngineSchemaOptions {