@sema-agent/server 7.132.0 → 7.133.0

package/deploy/sema-up/README.md

@@ -62,7 +62,7 @@ summary 会打印手动接法。
 | `--gateway=URL` | — | 模型网关 baseURL(OpenAI 兼容);带 agent 的档必需 |
 | `--model=ID` | `deepseek-v4-flash` | 模型 id |
 | `--model-key=K` | — | 模型 API key(也可 -f 里 MODEL_API_KEY) |
-| `--sandbox=LANE` | single→`host`;multi→`e2b-cloud` | `host`/`e2b-cloud`(full-single / local-plus)。**执行车道**=agent 的手落在哪里,不点名就是没有手;词表与必需键的单一属主=`lib/lanes.json`。`kata`/`runc`/`e2b-self` 已退役(compose 路径对它们零接线),收到即非零退出并指路。kube 路径(full-cluster)**不选词**:runtime 按 runtimeClass `kata-qemu` 在不在自动定,车道恒 `REMOTE_EXEC=k8s` |
+| `--sandbox=LANE` | 按 `--users` 取表缺省(见下「执行车道」) | **执行车道**=agent 的手落在哪里,不点名就是没有手。词表、缺省、各车道运维自备的键、已退役的词都在下面「执行车道」一节(由车道表生成,单一属主=`lib/lanes.json`)。kube 路径(full-cluster)**不选词**:runtime 按 runtimeClass `kata-qemu` 在不在自动定 |
 | `--registry=true\|false` | `true`(local-plus `false`) | 配置中心网站开关;**只收 `true` / `false`**(`yes` / `1` / `on` 在建任何目录之前拒 —— 7.104.0 之前它们被静默当成关) |
 | `--registry-image=REF` | — | sema-registry 镜像(registry=true 必需) |
 | `--git=MODE` | `none` | `none`/`provision`/`connect` |
@@ -78,6 +78,24 @@ summary 会打印手动接法。
 | `--teardown` / `--teardown-volumes` | — | 卸载(留数据 / 连卷删) |
 | `--skip-preflight` | — | 跳过预检(不建议) |
 
+### 执行车道(`--sandbox`)
+
+<!-- @generated-begin sandbox-lanes -->
+本节由车道表 `lib/lanes.json` 生成(仓内门禁保证与表逐字一致),不要手改。
+
+**执行车道**=agent 的手落在哪里,不点名就是没有手。`--sandbox` 只在 compose 路径(full-single / local-plus)选词;kube 路径(full-cluster)**不选词**。不点名时按 `--users` 取表里第一条允许该租户形的词:`--users=single` → `host`;`--users=multi` → `e2b-cloud`。
+
+- **`host`**(compose 路径) — 可选 `--users`:`single`;落盘 `REMOTE_EXEC=host`;运维自备的键:无;隔离:`unsupported`。server 容器本身就是沙箱:agent 的手落在这只容器里(worktree 隔离在、OS 级隔离不在)。只给单用户 —— 多租户下一个租户的输入会把手指向另一个租户的文件与进程。
+- **`e2b-cloud`**(compose 路径) — 可选 `--users`:`single` / `multi`;落盘 `REMOTE_EXEC=e2b`;运维自备的键:`E2B_API_KEY`;隔离:`supported`。E2B 云沙箱:每任务一只 microVM。E2B_API_KEY 由运维自备(sema-up 只登记键名,绝不写值)。
+- **kube 路径(不选词)** — 可选 `--users`:`single` / `multi`;落盘 `REMOTE_EXEC=k8s`;运维自备的键:`K8S_SANDBOX_IMAGE`;隔离:`supported`。kube 路径**不选词**:runtime 由 kube-up.sh 按 runtimeClass `kata-qemu` 在不在自动定(在 ⇒ kata VM,不在 ⇒ runc 容器),沙箱镜像由 chart/清单给。本行只为对表(能力表 / 必需键 / REQUIRE_EXECUTION_LANE 三面),不进 --sandbox 词表。
+
+已退役的词(收到即非零退出并指路):
+
+- **`kata`** — 已退役。compose 路径对 kata 零接线:选了它 .env 里不会出现任何 REMOTE_EXEC,core 落 StubExecutionEnv ⇒ 起来的 worker 一只手都没有。有 KVM 的机器上它还曾是默认值,所以这是最贵的一个死词。 改用:要 VM 级隔离走 kube 路径:sema-up.sh --profile=full-cluster(runtimeClass kata-qemu 在场即自动用 kata,不在场退 runc);留在单机 compose 上就选 host 或 e2b-cloud。
+- **`runc`** — 已退役。同 kata:compose 路径对它零接线,选了等于没选车道(无手)。 改用:单机 compose 上「容器隔离」的真形就是 host(server 容器自己);要独立沙箱容器走 kube 路径 --profile=full-cluster。
+- **`e2b-self`** — 已退役。自托管 E2B 端点从未接线:它只在 preflight 文案与 machines.yaml 模板里出现过,没有任何一处把它翻成 REMOTE_EXEC。 改用:先用 e2b-cloud(填 E2B_API_KEY);自托管端点的接线尚未排期。
+<!-- @generated-end sandbox-lanes -->
+
 ### 取值旗的形(7.104.0)
 
 一条规则:**每只取值旗都过形判**,不合 ⇒ 在建任何目录、写任何文件之前非零退出,拒句点名旗、收到的值、合法形。

package/deploy/sema-up/chart/templates/server-v4pro.yaml

@@ -59,10 +59,13 @@ spec:
             {{/* 租户姿态与主 worker 同值(文件头「同 env 面」的承诺;修前缺席 ⇒ 主 worker 多租时本只仍单用户)。 */}}
             - { name: REQUIRE_PRINCIPAL, value: {{ .Values.server.requirePrincipal | default "false" | quote }} }
             - { name: SANDBOX_PKG_SOURCE, value: {{ .Values.server.sandboxPkgSource | quote }} }
-            - { name: REMOTE_EXEC, value: k8s }
             {{/* 车道点名了就显式表态「这台有手」——REQUIRE_EXECUTION_LANE 让「车道被谁改没了」
-                 变成拒启而不是安静的无手 worker。server 侧默认仍 off,sema-up 产物一律写 true。 */}}
+                 变成拒启而不是安静的无手 worker。server 侧默认仍 off,sema-up 产物一律写 true。
+                 下面圈起来的两行取自车道表(lanes.json 的 kube 行),由生成器渲出,不要手改。 */}}
+            {{/* @generated-begin kube-lane-env */}}
+            - { name: REMOTE_EXEC, value: "k8s" }
             - { name: REQUIRE_EXECUTION_LANE, value: "true" }
+            {{/* @generated-end kube-lane-env */}}
             - { name: K8S_API_URL, value: "https://kubernetes.default.svc" }
 {{- if .Values.server.k8sInsecureTls }}
             - { name: K8S_INSECURE_TLS, value: "true" }

package/deploy/sema-up/chart/templates/server.yaml

@@ -70,10 +70,13 @@ spec:
             - { name: MODEL_VISION, value: {{ .Values.server.modelVision | quote }} }
             - { name: REQUIRE_PRINCIPAL, value: {{ .Values.server.requirePrincipal | default "false" | quote }} }
             - { name: SANDBOX_PKG_SOURCE, value: {{ .Values.server.sandboxPkgSource | quote }} }
-            - { name: REMOTE_EXEC, value: k8s }
             {{/* 车道点名了就显式表态「这台有手」——REQUIRE_EXECUTION_LANE 让「车道被谁改没了」
-                 变成拒启而不是安静的无手 worker。server 侧默认仍 off,sema-up 产物一律写 true。 */}}
+                 变成拒启而不是安静的无手 worker。server 侧默认仍 off,sema-up 产物一律写 true。
+                 下面圈起来的两行取自车道表(lanes.json 的 kube 行),由生成器渲出,不要手改。 */}}
+            {{/* @generated-begin kube-lane-env */}}
+            - { name: REMOTE_EXEC, value: "k8s" }
             - { name: REQUIRE_EXECUTION_LANE, value: "true" }
+            {{/* @generated-end kube-lane-env */}}
             - { name: K8S_API_URL, value: "https://kubernetes.default.svc" }
 {{- if .Values.server.k8sInsecureTls }}
             - { name: K8S_INSECURE_TLS, value: "true" }

package/deploy/sema-up/stack/compose.yaml

@@ -97,9 +97,12 @@ services:
       # 执行车道:值由 sema-up.sh 从 lib/lanes.json 渲进 .env(resetk,每次重写)。
       # `REQUIRE_EXECUTION_LANE` 缺省 true —— 手工起这份 compose 而没点名车道时,server 拒启
       # 并说「没有手」,而不是安静地起成一个什么都干不了的 worker。
+      # 下面圈起来的几行(车道键、缺省、compose 路径上各车道运维自备的键)由车道表生成,不要手改。
+      # @generated-begin lane-env
       REMOTE_EXEC: ${REMOTE_EXEC:-}
       REQUIRE_EXECUTION_LANE: ${REQUIRE_EXECUTION_LANE:-true}
       E2B_API_KEY: ${E2B_API_KEY:-}
+      # @generated-end lane-env
     ports:
       - "${SERVER_BIND:-0.0.0.0}:${SERVER_PORT:-8090}:8090"
 

package/deploy/sema-up/stack/sema-stack-cluster.yaml

@@ -198,9 +198,11 @@ spec:
             # 租户姿态与 chart 主 worker 同值(cluster-up 由 --users 渲:multi ⇒ true,否则 false);修前整块缺席 ⇒ 恒单用户
             - { name: REQUIRE_PRINCIPAL, value: "__REQUIRE_PRINCIPAL__" }
             - { name: SANDBOX_PKG_SOURCE, value: "__PKG_SOURCE__" }
-            - { name: REMOTE_EXEC, value: k8s }
-            # 显式表态「这台有手」(车道被改没了 ⇒ 拒启,不是安静的无手 worker)
+            # 显式表态「这台有手」(车道被改没了 ⇒ 拒启,不是安静的无手 worker);下面圈起来的两行取自车道表(lanes.json 的 kube 行),由生成器渲出,不要手改
+            # @generated-begin kube-lane-env
+            - { name: REMOTE_EXEC, value: "k8s" }
             - { name: REQUIRE_EXECUTION_LANE, value: "true" }
+            # @generated-end kube-lane-env
             - { name: K8S_API_URL, value: "https://kubernetes.default.svc" }
             - { name: K8S_INSECURE_TLS, value: "true" }
             - { name: K8S_NAMESPACE, value: sema-sandbox }

package/dist/adoption/plan.d.ts

@@ -160,7 +160,8 @@ export declare function checkAdoptionPrincipalShape(fromPrincipal: string, toPri
  * 纯函数(零 I/O),所以校验发生在任何库动作之前。
  */
 export declare function checkAdoptionWidths(fromPrincipal: string, toPrincipal: string): string | undefined;
-/** `proj:` / `userproj:` 键的 tenant 段前缀(值对由 DISTINCT 扫描按前缀解出)。 */
+/** 两段键的 tenant / 属主段前缀(值对由 DISTINCT 扫描按前缀解出;扫描 SQL 的前缀臂由本表生成,一处):`proj:` / `userproj:`(core 文法)
+ *  与单用户项目层 `userrepo:`(S-640,文法 `project-layer-key.ts`:属主段 = principal 的段编码)。 */
 export declare const MEMORY_PROJECT_SCOPE_PREFIXES: readonly string[];
 /**
  * 一根身份轴上,「旧值 → 新值」的**值对**。`verbatim` 轴恒只有一对;`memory-scope` 轴的对数 =
@@ -175,7 +176,7 @@ export declare function buildVerbatimPair(fromPrincipal: string, toPrincipal: st
 /**
  * memory scope 键的重写(纯函数,给扫描出来的每个 scope 值算新值)。
  *  · `user:<enc(from)>` ⇒ `user:<enc(to)>`(逐字等值);
- *  · `proj:<enc(from)>/…` / `userproj:<enc(from)>/…` ⇒ 只换 tenant 段,项目段原样;
+ *  · `proj:<enc(from)>/…` / `userproj:<enc(from)>/…` / `userrepo:<enc(from)>/…` ⇒ 只换 tenant / 属主段,项目段原样;
  *  · 其它(`org:` 组织盘、无前缀的旧不透明键)⇒ `undefined` = **不属这个 principal,不动**。
  *
  * 🔴 为什么不用 `LIKE '<prefix>%'`:段是**百分号编码**的(`user%3Aweb-demo`),`%` 在 LIKE 里是通配符,

package/dist/adoption/plan.js

@@ -1,4 +1,5 @@
 import { formatUserScope, encodeScopeSegment, SCOPE_SEGMENT_MAX_ENCODED } from "@sema-agent/core";
+import { PROJECT_LAYER_KEY_PREFIX } from "../project-layer-key.js";
 export const REBIND_LEGS = [
     {
         leg: "session_meta#owner",
@@ -213,15 +214,15 @@ export const REBIND_LEGS = [
         why: "workflow run 行的 scope 分区(scope = `principal ?? \"default\"`)。183 §4.2 D4:不变量属 update 动词面,存储层迁移豁免",
     },
     {
-        leg: "workflow_journal#scope",
-        table: "workflow_journal",
+        leg: "workflow_journal_owner#scope",
+        table: "workflow_journal_owner",
         kind: "bulk-rebind",
         action: "bucket-rebind",
         columns: ["scope"],
         matchColumn: "scope",
         encoding: "verbatim",
         residualKey: undefined,
-        why: "resume 重放日志的 scope 守卫列 —— 与 run 行**同事务**(错配会让 load 守卫拒掉整条 resume)",
+        why: "resume 重放日志的属主 scope(S-197 起一条 run 只记在这一行,journal 行上不再有 scope 列;读写两面都经它判)—— 与 run 行**同事务**(错配会让 load 的墙拒掉整条 resume、append 的墙拒掉续写)",
     },
     {
         leg: "workflow_agent_session#scope",
@@ -320,7 +321,7 @@ export const REBIND_LEGS = [
         matchColumn: "scope",
         encoding: "memory-scope",
         residualKey: ["slug"],
-        why: "记忆条目盘(user:/proj:/userproj: 三形键的 tenant 段 = principal)",
+        why: "记忆条目盘(user:/proj:/userproj:/userrepo: 四形键的 tenant / 属主段 = principal)",
     },
     {
         leg: "agent_memory_engine_cursor#scope",
@@ -406,6 +407,7 @@ export const NOT_MIGRATED_BY_DESIGN = [
     { face: "usage-window", ruling: "D1", reason: "deployment token-governance window (usage_window): a windowed governance transient — not carried, recounted from zero" },
     { face: "cost-quota", ruling: "D1", reason: "per-window cumulative spend counter (cost_quota.scope_key) — same windowed-transient class as usage-window" },
     { face: "rate-limit", ruling: "D1", reason: "per-window request counter (rate_limit.limit_key) — same windowed-transient class as usage-window" },
+    { face: "org-delivery-quota", ruling: "D1", reason: "per-hour cross-principal delivery counters (org_delivery_sender_quota.from_scope / org_delivery_pair_quota.from_scope,to_scope / org_delivery_recipient_quota.to_scope) — same windowed-transient class as usage-window; carrying them would hand the new identity the old window's remaining budget" },
     { face: "approval-exemption-grantor", ruling: "D2", reason: "approval_exemption.granted_by is a historical fact (who granted this exemption), not a live authorization axis" },
     { face: "approval-ask-decision-actor", ruling: "D2", reason: "approval_ask.decision_actor / decision_note record who decided — historical audit fields, never rewritten" },
     { face: "image-bake-requested-by", ruling: "D2", reason: "image_bake.requested_by records who requested the build — historical audit field" },
@@ -471,7 +473,7 @@ export function checkAdoptionWidths(fromPrincipal, toPrincipal) {
     }
     return undefined;
 }
-export const MEMORY_PROJECT_SCOPE_PREFIXES = ["proj:", "userproj:"];
+export const MEMORY_PROJECT_SCOPE_PREFIXES = ["proj:", "userproj:", PROJECT_LAYER_KEY_PREFIX];
 export function buildVerbatimPair(fromPrincipal, toPrincipal) {
     return { from: fromPrincipal, to: toPrincipal };
 }

package/dist/adoption/runner.js

@@ -3,7 +3,7 @@ import { ADOPTION_PHASE, adoptionLockName, } from "../plugins/adoption-log-sql.j
 import { policyKeyFor } from "../plugins/session-policy-store-sql.js";
 import { buildRuleOwnerKey } from "../plugins/permission-rule-store-sql.js";
 import { withAdoptionQuiesce } from "./quiesce.js";
-import { AFFECTED_CONFIG_TEMPLATES, MEMORY_SCOPE_MAX_CHARS, NOT_MIGRATED_BY_DESIGN, REBIND_LEGS, buildVerbatimPair, rewriteMemoryScope, } from "./plan.js";
+import { AFFECTED_CONFIG_TEMPLATES, MEMORY_PROJECT_SCOPE_PREFIXES, MEMORY_SCOPE_MAX_CHARS, NOT_MIGRATED_BY_DESIGN, REBIND_LEGS, buildVerbatimPair, rewriteMemoryScope, } from "./plan.js";
 import { buildBlobScanSql, buildBlobWriteSql, buildConflictProbeSql, buildMemoryScopeScanSql, buildResidualCountSql, buildRebindSql, buildRuleOwnerRekeySql, buildSessionPolicyRewriteSql, buildSessionPolicyScanSql, } from "./sql.js";
 import { AdoptionConfigsSchema, AdoptionLegsSchema, AdoptionReceiptSchema, AdoptionRejectDetailSchema, AdoptionReportSchema, } from "./wire.js";
 import { formatUserScope, encodeScopeSegment } from "@sema-agent/core";
@@ -24,15 +24,8 @@ async function resolveValuePairs(exec, dialect, leg, fromPrincipal, toPrincipal)
         ];
     }
     const seg = encodeScopeSegment(fromPrincipal);
-    const projHead = `proj:${seg}/`;
-    const userProjHead = `userproj:${seg}/`;
-    const res = await exec.query(buildMemoryScopeScanSql(dialect, leg.table), [
-        formatUserScope(fromPrincipal),
-        projHead.length,
-        projHead,
-        userProjHead.length,
-        userProjHead,
-    ]);
+    const heads = MEMORY_PROJECT_SCOPE_PREFIXES.map((prefix) => `${prefix}${seg}/`);
+    const res = await exec.query(buildMemoryScopeScanSql(dialect, leg.table, heads.length), [formatUserScope(fromPrincipal), ...heads.flatMap((head) => [head.length, head])]);
     const pairs = [];
     for (const row of res.rows) {
         const scope = String(row.scope);

package/dist/adoption/sql.d.ts

@@ -42,9 +42,10 @@ export declare function buildRebindSql(dialect: SqlDialect, leg: RebindLegSpec):
  * LIKE 里是通配符 —— 不逐字符转义就会误命中别的租户的盘(**跨租户误迁**,不是性能问题)。`LEFT(col, n) = ?`
  * 是纯等值比较,没有元字符面,两方言同形。
  *
- * 参数序:`[userScope, projHead.length, projHead, userProjHead.length, userProjHead]`。
+ * 前缀臂数 = `prefixCount`(调用方传 `MEMORY_PROJECT_SCOPE_PREFIXES.length` —— 臂由词表生成,词表长一员 SQL 跟着长一臂,不手写第二份)。
+ * 参数序:`[userScope, head₁.length, head₁, head₂.length, head₂, …]`。
  */
-export declare function buildMemoryScopeScanSql(dialect: SqlDialect, table: string): string;
+export declare function buildMemoryScopeScanSql(dialect: SqlDialect, table: string, prefixCount: number): string;
 /**
  * 残留计数:某条腿上**仍挂在旧身份名下**的行数。参数序:`[fromValue]`。
  *

package/dist/adoption/sql.js

@@ -10,11 +10,9 @@ export function buildRebindSql(dialect, leg) {
     const sets = leg.columns.map((c, i) => `${c} = ${ph(dialect, i + 1)}`).join(", ");
     return `UPDATE ${leg.table} SET ${sets} WHERE ${leg.matchColumn} = ${ph(dialect, leg.columns.length + 1)}`;
 }
-export function buildMemoryScopeScanSql(dialect, table) {
-    return (`SELECT DISTINCT scope FROM ${table}` +
-        ` WHERE scope = ${ph(dialect, 1)}` +
-        ` OR LEFT(scope, ${ph(dialect, 2)}) = ${ph(dialect, 3)}` +
-        ` OR LEFT(scope, ${ph(dialect, 4)}) = ${ph(dialect, 5)}`);
+export function buildMemoryScopeScanSql(dialect, table, prefixCount) {
+    const arms = Array.from({ length: prefixCount }, (_, i) => ` OR LEFT(scope, ${ph(dialect, 2 + 2 * i)}) = ${ph(dialect, 3 + 2 * i)}`).join("");
+    return `SELECT DISTINCT scope FROM ${table} WHERE scope = ${ph(dialect, 1)}${arms}`;
 }
 export function buildResidualCountSql(dialect, table, matchColumns) {
     const where = matchColumns.map((c, i) => `${c} = ${ph(dialect, i + 1)}`).join(" OR ");

package/dist/adoption/wire.d.ts

@@ -67,13 +67,14 @@ export type AdoptionConfigEntry = z.infer<typeof AdoptionConfigEntrySchema>;
  * 🔴 这是**冻结的闭集**(下游按成员名写正向断言)。改名/删员 = wire 破坏;新增 = 新行为面,要先过三问。
  * 判据形见 183 §10.5:「按设计不迁」与「漏了没迁」在黑盒上必须可分,所以它是**正向声明**而不是沉默。
  */
-export declare const NOT_MIGRATED_FACES: readonly ["usage-window", "cost-quota", "rate-limit", "approval-exemption-grantor", "approval-ask-decision-actor", "image-bake-requested-by", "permission-rule-approval-history", "permission-rule-import-ticket"];
+export declare const NOT_MIGRATED_FACES: readonly ["usage-window", "cost-quota", "rate-limit", "org-delivery-quota", "approval-exemption-grantor", "approval-ask-decision-actor", "image-bake-requested-by", "permission-rule-approval-history", "permission-rule-import-ticket"];
 export type NotMigratedFace = (typeof NOT_MIGRATED_FACES)[number];
 export declare const AdoptionNotMigratedSchema: z.ZodObject<{
     face: z.ZodEnum<{
         "usage-window": "usage-window";
         "cost-quota": "cost-quota";
         "rate-limit": "rate-limit";
+        "org-delivery-quota": "org-delivery-quota";
         "approval-exemption-grantor": "approval-exemption-grantor";
         "approval-ask-decision-actor": "approval-ask-decision-actor";
         "image-bake-requested-by": "image-bake-requested-by";
@@ -122,6 +123,7 @@ export declare const AdoptionReportSchema: z.ZodObject<{
             "usage-window": "usage-window";
             "cost-quota": "cost-quota";
             "rate-limit": "rate-limit";
+            "org-delivery-quota": "org-delivery-quota";
             "approval-exemption-grantor": "approval-exemption-grantor";
             "approval-ask-decision-actor": "approval-ask-decision-actor";
             "image-bake-requested-by": "image-bake-requested-by";
@@ -183,6 +185,7 @@ export declare const AdoptionReceiptSchema: z.ZodObject<{
                 "usage-window": "usage-window";
                 "cost-quota": "cost-quota";
                 "rate-limit": "rate-limit";
+                "org-delivery-quota": "org-delivery-quota";
                 "approval-exemption-grantor": "approval-exemption-grantor";
                 "approval-ask-decision-actor": "approval-ask-decision-actor";
                 "image-bake-requested-by": "image-bake-requested-by";

package/dist/adoption/wire.js

@@ -23,6 +23,7 @@ export const NOT_MIGRATED_FACES = [
     "usage-window",
     "cost-quota",
     "rate-limit",
+    "org-delivery-quota",
     "approval-exemption-grantor",
     "approval-ask-decision-actor",
     "image-bake-requested-by",

package/dist/approval-ask-audit-store.d.ts

@@ -166,11 +166,16 @@
  * 同源(`store-backend.ts:780` 的 `config.localDataRoot`),数据落 `<root>/approval-ask-audit/`。
  *
  * ## 体量与保留
- * 只在真出卡时写(人批一次 = 3 行),量级 = 人的手速;账本只增不删,压缩是未来件(workflow-notify
- * journal 同款成文)。读面列表按收敛时刻新前旧后、上限 {@link CRASH_CONVERGED_LIST_MAX}(有界 wire)。
+ * 只在真出卡时写(人批一次 = 3 行),量级 = 人的手速。保留 = 审批账本的留存律(律一处成文在 `approval-ask-retention.ts`;维护 tick 按
+ * `APPROVAL_ASK_RETENTION_MS` 调 {@link FileApprovalAskAuditStore.rotateOlderThan}):**整问**删 —— 一问不再欠下一次起服收敛一个答案
+ * (下面的收敛判官此刻不会把它收成孤儿)且它所有记录里最晚的时刻早于 cutoff,它的全部行(铸造 / 决议 / 收敛 / 迟到结算)一起离开文件;
+ * 腿记录(按 taskId)只在没有任何留下的问还认它、且它自己也过窗时才删,于是留下的问的收敛投影(成因 / `resumeSafe`)一字不变;
+ * 认不出的行证不出到期,原样留;发起它的 run 还能动(跑着 / 停驻)的问也留。**只删不改**:留下的行逐字节写回(原子换文件,0o600),删了多少进读数行。
+ * 读面列表按收敛时刻新前旧后、上限 {@link CRASH_CONVERGED_LIST_MAX}(有界 wire)。
  */
 import type { HostDecision } from "./host-decision.js";
 import { AppendLog } from "@sema-agent/core";
+import type { AuditRotationReading } from "./approval-ask-retention.js";
 import { SETTLE_OUTCOME, type HolderGoneCause, type SettleCause } from "./approval-deny-reasons.js";
 /** 数据子目录名(挂在 local 数据根下,与 `workflow-notify/` 同层同形)。 */
 export declare const APPROVAL_ASK_AUDIT_DIR = "approval-ask-audit";
@@ -328,6 +333,8 @@ export declare class FileApprovalAskAuditStore implements ApprovalAskAuditSink,
     private log;
     /** 追加口的铸造座(测试注入席:单条写失败 / 半写的确定性构造;生产恒缺省 = `new AppendLog(path)`)。 */
     private readonly openLog;
+    /** 轮转换文件之后的目录 fsync(测试注入席:失败的确定性构造;生产恒缺省 = {@link fsyncDirectory})。 */
+    private readonly fsyncDir;
     /** boot 重放快照(冻结于构造时刻 = 前世账本;本进程新写的行不进它 —— 收敛只对前世行)。 */
     private readonly replayed;
     /** 前世账本里的腿闭事件(taskId + 行序;decided 臂按「决议行之后」判)。 */
@@ -369,12 +376,12 @@ export declare class FileApprovalAskAuditStore implements ApprovalAskAuditSink,
      */
     constructor(root: string, internals?: {
         appendLog?: (path: string) => AuditAppendPort;
+        fsyncDir?: (dir: string) => void;
     });
     /** 重放的坏值计数(`convergeCrashedAsks().corruptLines`):重放属主跳过的坏行(撕尾不计)+ 成因词表外的行(行在、结清照认,坏值照样计数)。 */
     private corruptLines;
     /** 重放前世账本(共用口 `replayJsonlSkipping`):撕尾 = 未落完的写,静默跳过;坏行跳过 + 逐条计数 / 探针;坏行数另暴露给收敛日志。 */
     private replay;
-    private group;
     /** append + fsync(逐行落盘:进程猝死不丢已记的行 —— 本店的全部价值就在崩溃时刻;写口 = 共用的 `AppendLog`:单次 `writeSync` 一行、末段在打开与每次追加前修(撕尾截、完整末行补换行)、失败的写截回开写处)。
      *  运行期失败**响亮不阻断**:审批可用性不押在审计盘上(盘满/只读时人还得能批),但丢行必须在遥测
      *  显形([ref] 三件套,census 登记行同批)。
@@ -445,18 +452,29 @@ export declare class FileApprovalAskAuditStore implements ApprovalAskAuditSink,
     /** S-929 收敛行的成因注(判据见头注「收敛行的 `cause`」):组的最后一个事件行之后、收敛行(若已收敛)之前,有本 taskId 的
      *  有序关停记号 ⇒ `shutdown_before_park`;否则 `crashed_before_park`。 */
     private causeOf;
-    /**
-     * 🔴 **S-945([ref])—— 腿证据只对被追踪的 ask 行作数**:一处成文,三处读(pending 臂的腿闭反证门 / decided 臂 / 收敛行成因注)。
-     * 腿闭行与有序关停记号都只按 `taskId` 落;委派 / 后台子代 ask 行的 `taskId` 是**宿主** run(出处),承载它的不是宿主腿(铸造时
-     * `legTracked:false`)⇒ 宿主腿的这两类记录对它什么都不证明(修前反证门不看 `legTracked`:宿主腿闭把子代未结清卡判成 inconsistent、不列孤儿)。
-     * 返回 `undefined` = 这一行没有可作证的腿;否则 = 本 taskId 在 `(afterLine, beforeLine)` 之间有没有该类记录。
-     */
-    private legEvidence;
     private projectRow;
-    /** scope 门与 `listLivePending` 逐字同律:`undefined` = operator 全量(含 owner null 行);串 = 只见
-     *  `owner === scope` 的行(null-owner 行对 principal 不可见,fail-closed 宁少列不超范围;`"__none__"`
-     *  未鉴权哨兵自然恒空)。 */
+    /** scope 门与 `listLivePending` 逐字同律(同一只 checkpoint scope 解码):`undefined` = operator 全量(含 owner null 行);
+     *  `_` = 匿名那一组 = owner null 的行;其余串 = 只见 `owner === scope` 的行(null-owner 行对具名主体不列,宁少列不超范围)。 */
     listCrashConverged(scope: string | undefined): CrashConvergedRow[];
+    /**
+     * **留存轮转**(审批账本留存律的审计账半场;律一处成文在 `approval-ask-retention.ts`,判据见头注「体量与保留」)。维护 tick 是唯一调用方。
+     *
+     * 读的是**文件**(前世 + 本进程两段账,行序即语义序),不是构造时冻结的前世快照:本进程铸的问要按它此刻在盘上的样子判「结了没有」。
+     * 判「结了」= 它挂靠的格(铸造行的 `taskId` / `sessionId` / `sourceTaskId`)都不在 `keepAnchors`(还能动的东西的挂靠集,由清扫从 run 账与
+     * 后台子代账列出)∧ {@link judgeOrphan} 此刻不欠它答案 —— 停驻 run / 能动子代的问(窗到期转 durable、迟到结算还要这组前置事实)、活卡
+     * (铸了没决)与批了腿没闭的问多老都留。删的单位是**整问**:
+     *  · 一问的最后动静 = 它所有记录(铸造 / 决议 / 收敛 / 迟到结算)里最晚的时刻;早于 cutoff ∧ 不欠答案 ⇒ 这一问的全部行删;
+     *  · 腿记录(按 taskId)只在它自己也早于 cutoff ∧ 没有任何留下的问是这个 taskId ∧ 这个 taskId 不在挂靠集时才删 —— 留下的问的收敛投影(成因 / `resumeSafe`)读得到的腿证据一条不少;
+     *  · 身份说不清的迟到结算(`approvalId:null`)按它自己的时刻;认不出的行(腐行 / 词表外)证不出到期 ⇒ 原样留;
+     *    末尾没换行的那一段原样留在末尾(不补换行),由追加口下次打开时按 core 的同一只判词修(解析成对象补换行、撕尾截断)。
+     * 只删不改:留下的每一行按**原字节**写回(按换行字节切段,不经解码 —— 非 UTF-8 的字节一个不变),原子换文件({@link replaceFileBytes}:
+     * 0o600;换上之前失败 ⇒ 原文件原样,错误抛给维护 tick 的节流 catch;换上之后只剩目录 fsync,失败走 F 类 tag、读数照交);
+     * 追加口先收,下一次 append 在新文件上惰性重开。没有可删的行 ⇒ 文件一字不动、不重写。
+     *
+     * 内存同步剪:被删的问离开迟到结算的反查索引(之后对它的迟到决议证不出「窗到期已转 durable」⇒ 一行不写 —— 盘上查无前置事实的行不许写)、
+     * 离开 `crashConverged` 读面与前世快照。前世快照里留下的组与腿记录的行序不动(它们只在起服收敛那一拍被读,彼此仍自洽)。
+     */
+    rotateOlderThan(cutoffMs: number, keepAnchors: ReadonlySet<string>): AuditRotationReading;
     /** 收追加口(优雅关闭腿;SIGKILL 下不跑也不丢 —— 每行已 fsync)。core `AppendLog.close()` 自己吞 `closeSync` 的错、不抛(全函数),本店不再包 catch。 */
     close(): void;
 }