@sema-agent/server 7.52.0 → 7.53.0

package/dist/http/routes/diagnostics.d.ts

@@ -1,5 +1,5 @@
 /**
- * #154 件二+件三 —— **装配自证**域:启动期静态自检(拒启判据)与 operator 诊断读面
+ * [ref] 件二+件三 —— **装配自证**域:启动期静态自检(拒启判据)与 operator 诊断读面
  * (`GET /v1/diagnostics/wiring`)。
  *
  * 🔴 两件为什么同住一个模块:它们回答的是同一个问题(「这台 worker 到底接了什么线」),只是一个在 boot
@@ -81,7 +81,7 @@ export declare function assertStaticWiringConsistent(facts: StaticWiringFacts, l
     warn: (msg: string, meta?: Record<string, unknown>) => void;
 } | undefined): StaticWiringAudit;
 /**
- * [3399]③ clay 裁 (b)(2026-08-12,core [3648]④ + cli [3649]① 双背书):**零凭证 turnkey 形**的
+ * [ref]③ clay 裁 (b)(2026-08-12,core [ref]④ + cli [ref]① 双背书):**零凭证 turnkey 形**的
  * loopback 来源门判据(单一属主,端点与测试同吃)。
  *
  * 只在「operator 名单空 ∧ 非多租户 ∧ 全局 service-credential 门也不在场(没配 SERVICE_AUTH_TOKEN /

package/dist/http/routes/fleet.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/158 A9 域模块 —— MF-Fleet 实时舰队流。
+ * [ref] A9 域模块 —— MF-Fleet 实时舰队流。
  *
  * 路由:`GET /v1/fleet/stream`(SSE PUSH:连上先快照,之后每条 per-row delta)。跑在服务凭据门**之前**
  * (按 principal 自门,与 workflow 只读路由同列)。本域零可变状态。

package/dist/http/routes/images.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/158 A9 域模块 —— sandbox-image-pool 控制面(IMAGE-API-DESIGN.md)。
+ * [ref] A9 域模块 —— sandbox-image-pool 控制面(IMAGE-API-DESIGN.md)。
  *
  * 路由:P2 bake 作业面 `/v1/images/bakes*`(提交/列表/详情/事件 SSE/取消/claim/ingest)与 P1 镜像索引
  * `/v1/images*`(digests/profile/select)。**bakes 段必须排在 images 段之前**——P1 的单段 profile 正则会把

package/dist/http/routes/leader.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/158 A9 域模块 —— v2 leader 端点(design/50)。
+ * [ref] A9 域模块 —— v2 leader 端点([ref])。
  *
  * 路由:`POST /v1/leader`(异步,形同 `/v1/runs`)· `GET /v1/leader/:id`。整域由 `deps.leaderEndpoint`
  * 的存在与否开关;身份层与 `/v1/runs` 同款(BL-4:此前整条路跳过 authorize/requirePrincipal 且不记 owner,

package/dist/http/routes/memory-bundle.d.ts

@@ -1,6 +1,6 @@
 /**
- * #264 v2-c —— **治理携出 bundle 的 operator 面**(core 5.40.0 `MemoryEngine.exportMemoryScopes` /
- * `importMemoryBundle`,design/178 v2-c;判据帖 [4315] G1/G2/G3)。
+ * [ref] v2-c —— **治理携出 bundle 的 operator 面**(core 5.40.0 `MemoryEngine.exportMemoryScopes` /
+ * `importMemoryBundle`,[ref] v2-c;判据帖 [ref] G1/G2/G3)。
  *
  *   · `POST /v1/memory/export` —— 请求 `{scopes: string[]}`,回**治理完备包**(bundle 原样);
  *   · `POST /v1/memory/import` —— 请求 `{bundle}`,回 `MemoryImportReport` 的白名单投影。
@@ -37,12 +37,12 @@
  *    SQL 孪生补齐两面是上游/本仓 store 层的独立工单(消费台账 debt 行)。
  *
  * ── 验型的分权:server 验**形**,core 验**义** ─────────────────────────────────────────────────
- * 本层只用 zod 校 JSON **结构**(宪法 [2704]:边界必 schema、禁裸 as-cast)。scopes 的「非空/去重/
+ * 本层只用 zod 校 JSON **结构**(宪法 [ref]:边界必 schema、禁裸 as-cast)。scopes 的「非空/去重/
  * 元素非空」与 bundle 的整包判决(section hash 键集、逐条目 rev 重算、批内唯一性、scope 授权信封)
  * **全部**归 core —— 在本层抄一遍等于第二真源:core 收紧一格我方不会跟着动,而两边都"绿"。
  * 于是 `{scopes:["a","a"]}` 这种**形对义错**的请求会走到引擎并带回 `config.memory_export_request`。
  *
- * ── 披露的传导([4352] 权威句;打分帖 [4351] 扣点① 的 server 半场)────────────────────────────
+ * ── 披露的传导([ref] 权威句;打分帖 [ref] 扣点① 的 server 半场)────────────────────────────
  * bundle 体里的 `doc: string[]` 是**铸包方的治理披露**(自由串字面的租户隔离界限等),core 铸包时恒
  * 写入。本面把它**原样透传**:不剥离、不复述、不另铸 `disclosure` 键。理由是单一属主 —— 复述会随
  * core 版本漂移,而转发即真话。端点文档(openapi 段 + docs/ASSISTANT-WIRE-CONTRACT.md)负责告诉消费方

package/dist/http/routes/memory-bundle.js

@@ -1,6 +1,6 @@
 import { z } from "zod";
 import { sendJson, sendError } from "../send.js";
-import { buildOriginFence, readOriginAware } from "../../memory-origin-fence.js";
+import { buildOriginFencedBundle, readOriginAware } from "../../memory-origin-fence.js";
 import { gatedPrincipal, explicitOperatorOk } from "../principal-gate.js";
 export const MEMORY_BUNDLE_EXPORT_PATH = "/v1/memory/export";
 export const MEMORY_BUNDLE_IMPORT_PATH = "/v1/memory/import";
@@ -94,8 +94,7 @@ async function handleMemoryBundleBody(req, res, url, ctx, miss) {
         }
         try {
             const bundle = await engineExport(parsed.data.scopes);
-            const fence = buildOriginFence(bundle.entries, readOriginAware(new URL(req.url ?? "", "http://x").searchParams));
-            sendJson(res, 200, fence.withheldOriginTagged !== undefined ? { ...bundle, entries: fence.entries, withheldOriginTagged: fence.withheldOriginTagged } : bundle);
+            sendJson(res, 200, buildOriginFencedBundle(bundle, readOriginAware(new URL(req.url ?? "", "http://x").searchParams)));
         }
         catch (err) {
             if (!sentClassifiedFailure(res, ctx, "export", err))

package/dist/http/routes/memory-compliance.d.ts

@@ -1,13 +1,13 @@
 /**
- * design/316 件③ —— **出处 / 抹除合规面的 operator 两口**(core 5.57.0 `MemoryEngine.provenanceOf` /
- * `eraseMemoryEntries`,design/178 v2-a / v2-b)。
+ * [ref] 件③ —— **出处 / 抹除合规面的 operator 两口**(core 5.57.0 `MemoryEngine.provenanceOf` /
+ * `eraseMemoryEntries`,[ref] v2-a / v2-b)。
  *
  *   · `GET  /v1/memory/entries/:entryId/provenance` —— 回 `EntryProvenanceAccount` 原样;
  *   · `POST /v1/memory/erase` —— 请求 `{requestId, select, allowUnevidenced?}`,回
  *     `MemoryErasureAttestation` 原样。
  *
  * ── 为什么是 operator-only ─────────────────────────────────────────────────────────────────────
- * 与 #264 的 bundle 两口同族(memory-bundle.ts 的同名段):
+ * 与 [ref] 的 bundle 两口同族(memory-bundle.ts 的同名段):
  *  · erase 是**治理写面**,而且是本族里爆炸半径最大的一口 —— 整 scope / 整会话删除是**合法**选择子,
  *    而 core 的大规模删除熔丝对它**显式不适用**(engine.d.ts:684 逐字:那道熔丝守的是「文件在 harvest
  *    时悄悄不见了」的事故形,一次显式授权的抹除靠在收执里逐 id 列举来自证);
@@ -63,7 +63,7 @@
  * 一次**人的**授权表态(「我接受没有证据的删除」),中间层替他勾上就是替他签字。
  *
  * ── 验型的分权:server 验**形**,core 验**义**(同 memory-bundle.ts)────────────────────────────
- * 本层只用 zod 校 JSON **结构**(宪法 [2704]:边界必 schema、禁裸 as-cast)。三选一选择子的判决
+ * 本层只用 zod 校 JSON **结构**(宪法 [ref]:边界必 schema、禁裸 as-cast)。三选一选择子的判决
  * (恰好一个 ids/scope/sessionId、ids 非空去重、allowUnevidenced 是布尔…)**全部**归 core 的
  * `erasureRequestInvalid` —— 在本层抄一遍等于第二真源。于是 `{ids:[…], scope:…}` 这种**形对义错**的请求
  * 会走到引擎并带回 `config.memory_erasure_request`。
@@ -72,10 +72,10 @@
  * memory-bundle 同族,申明在 test/billable-route-declaration.test.ts)。
  *
  * ── 改写门(`isCredentialGatedRewrite`):**两口都进** ──────────────────────────────────────────
- * 该门自 #277 起的判据是「持久改写 **或** 授权唯一输入是 principal 头、且**没有属主门兜底**的治理面」:
+ * 该门自 [ref] 起的判据是「持久改写 **或** 授权唯一输入是 principal 头、且**没有属主门兜底**的治理面」:
  *  · `POST /v1/memory/erase` 落在**前**一项上,而且是最深的一种:它把条目从本店**删掉**。自造一个在册
  *    operator 头即可对任一租户执行一次不可撤销的删除 —— 无凭证部署上缺的正是「上游会验这个头」这个前提。
- *  · `GET …/:entryId/provenance` 落在**后**一项上。🔴 这一条**推翻了 design/316 §3 的原始裁定**
+ *  · `GET …/:entryId/provenance` 落在**后**一项上。🔴 这一条**推翻了 [ref] §3 的原始裁定**
  *    (稿子把它豁免在门外,理由是「爆炸半径=一条」);codex 交叉复审 [high] 指出该理由站不住,亲验后采信:
  *      ⑴ 稿子援引来类比的两条豁免读(`GET /v1/adoption/:id` / `GET /v1/rules`)在门外的**真正**原因是
  *         它们各有**属主门**兜底,不是「读得少」;本口的授权判据就只有 `explicitOperatorOk`,过了就直接答;
@@ -85,7 +85,7 @@
  *    先例逐字同源:`POST /v1/memory/export` 当初也「按原措辞本不该进」,同一条论证把它收了进来
  *    ——「把它留在门外只为守住一句措辞,是把措辞看得比它要保护的东西更重」。
  *  🔴 判据里**刻意不写**「本口 side-effect-free」:那不是这道门的判据。该门拦的是「授权的唯一输入是
- *     一个可自造的头」这件事 —— 用「没有副作用」当豁免理由,正是 #277 那次把 `POST /v1/memory/export`
+ *     一个可自造的头」这件事 —— 用「没有副作用」当豁免理由,正是 [ref] 那次把 `POST /v1/memory/export`
  *     (纯读、跨租户全库)漏在门外的那句话。
  *  ⚠️ 代价与补偿如实成文:无凭证部署上两口都答 503 `auth.service_token_required`。补偿是**既有旋钮、
  *     零新增** —— 配 `SERVICE_AUTH_TOKEN`(正路),或本地开发显式 `ALLOW_UNAUTHED_WRITES=true`

package/dist/http/routes/memory-consolidation.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/378 D2/D3(316 车C)—— 记忆 **consolidation 阀门**的 operator 两口:
+ * [ref] D2/D3(316 车C)—— 记忆 **consolidation 阀门**的 operator 两口:
  *
  *   · `POST /v1/admin/memory/consolidation/run` —— 跑(或**续跑**)一轮,同步回一份收执**摘要投影**;
  *   · `GET  /v1/admin/memory/consolidation`     —— D3 状态投影(阀门、座位、scope 表、上一轮的账)。

package/dist/http/routes/memory-origin.d.ts

@@ -1,13 +1,13 @@
 /**
- * design/316 件② —— **外源标记人面的 operator 三口**(core 5.59.0 `MemoryEngine.listExternalOriginEntries` /
- * `listOriginClearances` / `clearEntryOrigin`,design/336 §13-4①②)。
+ * [ref] 件② —— **外源标记人面的 operator 三口**(core 5.59.0 `MemoryEngine.listExternalOriginEntries` /
+ * `listOriginClearances` / `clearEntryOrigin`,[ref] §13-4①②)。
  *
  *   · `GET  /v1/memory/origin/external?scopes=a,b` —— 点名 scope 里每一条带外源标记的条目 + 出处账;
  *   · `GET  /v1/memory/origin/clearances`          —— 清标审计账(**白名单投影**,见下);
  *   · `POST /v1/memory/origin/entries/:entryId/clear` `{requestId, reason}` —— 审计化的 UN-MARK 阀门。
  *
  * ── 为什么是 operator-only ─────────────────────────────────────────────────────────────────────
- * 与件③(memory-compliance.ts)、#264 的 bundle 两口同族:
+ * 与件③(memory-compliance.ts)、[ref] 的 bundle 两口同族:
  *  · 前两口是**跨租户治理读**:一次调用取回任意 scope 的条目 + 每条的完整出处账(贡献会话 id、污染
  *    理由、托管链事件),按定义超出任何单个 principal 的自助边界;
  *  · clear 是**治理写面**,而且是记忆域里语义最重的一次表态 —— 它把「这条记忆来自外部、用前先核」
@@ -26,7 +26,7 @@
  * compliance 两族刻意不同字,因为要查的旋钮不是同一个(那两族自己的头注就吃过复用文案的亏)。
  *
  * ── `scopes` 为什么必须由调用方给(F-13 的诚实形)──────────────────────────────────────────────
- * 🔴 本仓**今天没有任何 scope 枚举读面**。core 5.59.0 长出了 `listMemoryScopes`(#437③:File 腿在场、
+ * 🔴 本仓**今天没有任何 scope 枚举读面**。core 5.59.0 长出了 `listMemoryScopes`([ref]③:File 腿在场、
  * SQL 腿是 core 候升件,且带「backend 是否支持枚举」判别位——不支持**永不读作零**),但本仓尚未接线。
  * 于是 v1 的形是:scope 名**显式提供**,缺参 400 并**指路来源**。
  * 为什么不给一个默认名单(比如「本部署配过的那些」):污染审计的价值全在**发现链闭合**,而不完备是
@@ -45,23 +45,23 @@
  *   = `entryText`,逐字写理由):core 加一个键 ⇒ TS2344 ⇒ 由人处置,而不是悄悄上 wire 或悄悄漏掉。
  * 🔴 白名单是**深**的,不是只做一层(codex 交叉复审 [high] 抓的第一版病):嵌套的 `origin` 也逐键投影
  *   —— 一层白名单 + 一个整只透传的嵌套对象,等于给这条排除留了一个旁路,全文见 {@link buildOriginWire}。
- * 🔴 **剥了不等于不说**:投影补一个 `custodyBytes`(托管字节数)。这是 #196 absence-reports-not-silent-green
+ * 🔴 **剥了不等于不说**:投影补一个 `custodyBytes`(托管字节数)。这是 [ref] absence-reports-not-silent-green
  *   在本口的落法 —— operator 判「这个 pending 行还揣着一条记忆吗」只需要这一位;悄悄把整个托管概念从
  *   审计面上抹掉,会让一个**必须由人处置**的崩溃恢复席看上去不存在。
  *
- * ── 拒因族:**闭集逐码 switch**(#123 码族)────────────────────────────────────────────────────
- * 见 {@link sentClearCode} 的头注(逐码状态与理由、以及 core 真形与 design/316 稿面的**一处偏差**)。
+ * ── 拒因族:**闭集逐码 switch**([ref] 码族)────────────────────────────────────────────────────
+ * 见 {@link sentClearCode} 的头注(逐码状态与理由、以及 core 真形与 [ref] 稿面的**一处偏差**)。
  *
  * 计费/lane:三口都是**部署级治理动作**,零模型工作 ⇒ `billable=false`(与 adoption / retention-ops /
  * memory-bundle / memory-compliance 同族,申明在 test/billable-route-declaration.test.ts)。
  *
  * ── 改写门(`isCredentialGatedRewrite`):**三口全进** ──────────────────────────────────────────
- * 该门自 #277 起的判据是「持久改写 **或** 授权唯一输入是 principal 头的跨租户治理读」:
+ * 该门自 [ref] 起的判据是「持久改写 **或** 授权唯一输入是 principal 头的跨租户治理读」:
  *  · `POST …/clear` 落在**前**一项:它把一条条目的外源披露**永久摘掉**(墓碑 + 同 id 重录),自造一个
  *    在册 operator 头即可让任意租户的一条外来记忆看上去是本店自产的 —— 而记忆是模型每次挂载都读的面;
  *  · `GET …/external` 落在**后**一项,而且是这一族里爆炸半径最大的读:一次调用取回**任意 scope**的
  *    条目 + 每条的完整出处账(贡献会话 id、污染理由、仓内 ingest 路径与内容哈希、托管链事件)。判据与
- *    `POST /v1/memory/export`(#277 收进门的那条纯读)逐字同构:它没有属主门兜底,operator 头过了就直接答。
+ *    `POST /v1/memory/export`([ref] 收进门的那条纯读)逐字同构:它没有属主门兜底,operator 头过了就直接答。
  *  · `GET …/clearances` —— 🔴 **本车第一版把它留在门外,codex 交叉复审 [high] 推翻,亲验后采信**。
  *    那一版的理由是「投影后不含条目正文,爆炸半径差一个量级」,而这个理由**用错了基准**:本门的判据
  *    从来不是「含不含正文」,而是「授权的**唯一**输入是 principal 头」∧「没有属主门兜底」。按那条判据,

package/dist/http/routes/memory-policy.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/158 A9 域模块 —— memory 导出/同步 + 只读策略面。
+ * [ref] A9 域模块 —— memory 导出/同步 + 只读策略面。
  *
  * 路由:`GET /v1/memory/export`、`POST /v1/memory/sync/:scope`、`GET /v1/policy`。
  * owner 门 = 「本人 user scope / 显式 operator / `org:` 键的目录成员」(见 {@link gateMemoryScope}),
@@ -8,9 +8,9 @@
 import type { IncomingMessage, ServerResponse } from "node:http";
 import type { RouteCtx } from "../route-ctx.js";
 /**
- * #271 件3(#275 A2 车立的欠账,[4163] 我方认领)—— `GET /v1/memory/export` 的 keyset 分页上限。
+ * [ref] 件3([ref] A2 车立的欠账,[ref] 我方认领)—— `GET /v1/memory/export` 的 keyset 分页上限。
  *
- * 在此之前本面是**整盘导出**:一个几千条目的盘就是一个几 MB 的响应体,壳侧(sema-web 只读页)
+ * 在此之前本面是**整盘导出**:一个几千条目的盘就是一个几 MB 的响应体,壳侧(sema-web-admin 只读页)
  * 无从分次要 —— 那是它真实撞到的天花板。分页是 **additive** 的:`?limit=` 缺席 ⇒ 旧契约逐字不变
  * (全量数组、响应键一个不多),所以现行消费端零破坏;要分页的调用方自己带 `limit` 进来。
  *

package/dist/http/routes/notify-wake.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/158 A9 域模块 —— 会话外事件注入 / 唤醒(design/144 §2 §3)。
+ * [ref] A9 域模块 —— 会话外事件注入 / 唤醒([ref] §2 §3)。
  *
  * 路由:`POST /v1/sessions/:id/notify`(external-notification-bridge 的 HTTP 入站门:live 走 core
  * `TaskStream.notify()`,idle 走 inbox park,下次开流 drain)、`POST /v1/sessions/:id/wake`(对 task_done

package/dist/http/routes/observability.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/158 A9 域模块 —— 观测只读面。
+ * [ref] A9 域模块 —— 观测只读面。
  *
  * 路由:`GET /v1/outcomes`(operator-only 机械信号聚合)、`GET /v1/usage`(per-principal 累计花费读面,
  * 与 quotaExceeded 门同键、只读不消费)。本域零可变状态。

package/dist/http/routes/retention-ops.d.ts

@@ -1,5 +1,5 @@
 /**
- * #270 车2 —— **托管留存的 operator 治理面**(设计稿 `docs/DESIGN-270-retention-lane.md` §5/§6)。
+ * [ref] 车2 —— **托管留存的 operator 治理面**(设计稿 `docs/DESIGN-270-retention-lane.md` §5/§6)。
  *
  *   · `PUT    /v1/ops/retention/holds/:domain` —— 放置 legal hold;
  *   · `DELETE /v1/ops/retention/holds/:domain` —— 解除;

package/dist/http/routes/rules.d.ts

@@ -1,5 +1,5 @@
 /**
- * #154 车二 + #203 §2 —— **规则车道的 wire 面**(design/179 §7 的导入半场 + design/203 的撤销半场)。
+ * [ref] 车二 + [ref] §2 —— **规则车道的 wire 面**([ref] §7 的导入半场 + [ref] 的撤销半场)。
  *
  *   POST   /v1/rules/cc-import/prepare  → 预览 + 一张**一次性、principal 绑定、有期、载荷绑定**的票
  *   POST   /v1/rules/cc-import/redeem   → 原子消费票 → confirm → 批量兑付进店
@@ -11,7 +11,7 @@
  * 因此**导入两口**只认已验明的 principal,连 `explicitOperatorOk` 的旁路都不给:一个 operator 想给
  * 自己导规则,用他自己的 principal 走同一条路即可(那时他就是租户)。
  *
- * 🔴 **撤销面两口多一条 operator 超范围域,而这不是上面那句话的例外,是它的对偶**(design/203 §2 设计题
+ * 🔴 **撤销面两口多一条 operator 超范围域,而这不是上面那句话的例外,是它的对偶**([ref] §2 设计题
  * 一裁定):`?principal=` / body 里的 `principal` 让 operator 读**或收回**任一租户的规则。方向决定授权:
  * 收回是**收紧**(core 的 `removePersistedRule` 头注逐字:「a host may narrow on a user's behalf, it may
  * not widen」),而多租户管理员能回收权限正是撤销面的本义。读那一半同样只开给 operator ——
@@ -29,7 +29,7 @@ import type { IncomingMessage, ServerResponse } from "node:http";
 import type { RouteCtx } from "../route-ctx.js";
 export declare const RULES_CC_IMPORT_PREPARE_PATH = "/v1/rules/cc-import/prepare";
 export declare const RULES_CC_IMPORT_REDEEM_PATH = "/v1/rules/cc-import/redeem";
-/** #265 A7:File 规则直通票口两条(与 cc-import 两口并列,票语义分家见 `rules-consent.ts` 的 A7 段)。 */
+/** [ref] A7:File 规则直通票口两条(与 cc-import 两口并列,票语义分家见 `rules-consent.ts` 的 A7 段)。 */
 export declare const RULES_LOCAL_IMPORT_PREPARE_PATH = "/v1/rules/local-import/prepare";
 export declare const RULES_LOCAL_IMPORT_REDEEM_PATH = "/v1/rules/local-import/redeem";
 /** 撤销面两口共用的字面路径(GET 列举 / DELETE 撤销)。 */

package/dist/http/routes/run-memory-capture.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/383 §2.1 / §3.4 S-8①(server S-49;[5596] 认领)—— **中途翻转 verb** 的 wire 面:
+ * [ref] §2.1 / §3.4 S-8①(server [ref];[ref] 认领)—— **中途翻转 verb** 的 wire 面:
  *
  *   `POST /v1/runs/:id/memory/capture-optout`  body `{ reason?: string }`
  *     → 200 `{ taskId, sessionId, outcome: "created" | "existed" }`

package/dist/http/routes/runs.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/158 A9 域模块 —— 异步 run 面与它的全部动词。
+ * [ref] A9 域模块 —— 异步 run 面与它的全部动词。
  *
  * 路由:`POST /v1/runs`(异步提交)· `GET /v1/runs/:id[/events]`(轮询 / 可恢复 SSE)· 运行期动词
  * `cancel` / `steer` / `compact` / `detach` · 子代理面 `subagents/:target/{steer,resume,output,stream}` ·
@@ -22,8 +22,8 @@ export declare const RUN_DETACH_RE: RegExp;
 export declare const RUN_COMPACT_RE: RegExp;
 export declare const RUN_INTERRUPT_RE: RegExp;
 /** PAIR-REVIEW F-10:runs 面 404 文案统一富形——a\* 形 id(background-agent registry 句柄,`a`+hex 短形)
- *  是「结构性不在 run 店」的常客([1347]⑤ 记档裁量:不改路由,只给引导)。识别句法形即补引导;
- *  非 a\* 形保通用富文案(cancel 腿 [888]① 同款)。 */
+ *  是「结构性不在 run 店」的常客([ref]⑤ 记档裁量:不改路由,只给引导)。识别句法形即补引导;
+ *  非 a\* 形保通用富文案(cancel 腿 [ref]① 同款)。 */
 export declare const ELICIT_RESPOND_RE: RegExp;
 export declare const QUESTION_RESPOND_RE: RegExp;
 export declare const TOOL_APPROVAL_RESPOND_RE: RegExp;

package/dist/http/routes/runs.js

@@ -1,6 +1,7 @@
 import { z } from "zod";
 import { uuidv7, mintCheckpointToken, CheckpointError, validatePendingSteer } from "@sema-agent/core";
 import { isTerminalRunStatus, isParkedRunStatus } from "../../plugins/store-contracts.js";
+import { LIVE_RUN_GATE_KINDS, TERMINAL_PARK_GATE_KINDS } from "../../plugins/checkpoint-store-sql.js";
 import { redactSecrets } from "../../trace/redact.js";
 import { HttpError, verifiedPrincipal, isUuidV7, encodeCheckpointScope } from "../../security.js";
 import { runInBackground } from "../../runs.js";
@@ -286,7 +287,7 @@ async function handleRunsBody(req, res, url, ctx, miss) {
             const cs = deps.checkpointStore;
             let note = "cancelled while suspended (pending approval settled)";
             if (cs) {
-                const token = await cs.findPendingTokenBySession(run.sessionId);
+                const token = await cs.findPendingTokenBySession(run.sessionId, undefined, { gateKinds: LIVE_RUN_GATE_KINDS });
                 if (token) {
                     const cp = await cs.get(token);
                     const won = cp ? await cs.expire(token, cp.scope) : false;
@@ -459,10 +460,11 @@ async function handleRunsBody(req, res, url, ctx, miss) {
             const cs = deps.checkpointStore;
             if (!cs)
                 return "no-store";
-            const scope = await cs.peekPendingScope(run.sessionId);
+            const parkBinding = { gateKinds: LIVE_RUN_GATE_KINDS };
+            const scope = await cs.peekPendingScope(run.sessionId, parkBinding);
             if (scope === null || scope === undefined)
                 return "no-checkpoint";
-            const token = await cs.findPendingTokenBySession(run.sessionId, scope);
+            const token = await cs.findPendingTokenBySession(run.sessionId, scope, parkBinding);
             if (!token)
                 return "no-checkpoint";
             try {
@@ -627,7 +629,7 @@ async function handleRunsBody(req, res, url, ctx, miss) {
                     mintResult.noResumeCtx = true;
                     return;
                 }
-                const winner = await cs.findPendingTokenBySession(run.sessionId).catch(() => null);
+                const winner = await cs.findPendingTokenBySession(run.sessionId, undefined, { gateKinds: TERMINAL_PARK_GATE_KINDS, pick: "oldest" }).catch(() => null);
                 if (winner !== null && winner !== wakeToken) {
                     await cs.expire(wakeToken, cpScope).catch(() => undefined);
                     await parkOnce(winner, cpScope);
@@ -1347,11 +1349,8 @@ async function handleRunVerbsBody(req, res, url, ctx, miss) {
                 return true;
             if (deps.toolApproval?.editedDecisionInFlight(row.askId) === true)
                 return true;
-            const settled = deps.toolApproval?.notifyExternalDecision(row.askId, row.decision === "approve");
+            const settled = deps.toolApproval?.notifyExternalDecision(row.askId, row.decision === "approve", row.updatedInput);
             observedSettled.set(row.askId, settled?.settled ?? 0);
-            if (row.decision === "approve" && (settled?.settled ?? 0) > 0) {
-                recordFailOpen("server.hitl.row-derived-approve-drops-updated-input", "runs:sync-live-from-decided-row");
-            }
             return true;
         };
         const decisionNoteEcho = (row) => (row.decisionNote === null ? {} : { decisionNote: row.decisionNote });
@@ -1431,11 +1430,6 @@ async function handleRunVerbsBody(req, res, url, ctx, miss) {
             sendTerminal(row0);
             return;
         }
-        if (body.decision === "approve" && hasUpdatedInput && (deps.toolApproval?.liveConsumerCount(askId) ?? 0) === 0) {
-            deps.logger?.warn?.("ask_decision_edit_undeliverable", { taskId, askId });
-            sendError(res, 409, "conflict.ask_edit_undeliverable", "this decision carries an edited input but no live approval waiter for this ask exists on THIS replica — the edit cannot be bound to the decision (the durable ask row has no field for it), so committing would run the ORIGINAL input instead. Nothing was decided: re-send without updatedInput to approve the original as-is, or send the decision to the replica holding this ask (the live POST /v1/tool-approvals/:approvalId/respond leg is always same-replica)");
-            return;
-        }
         let outcome;
         const releaseEditMark = body.decision === "approve" && hasUpdatedInput ? deps.toolApproval?.markEditedDecisionInFlight(askId) : undefined;
         try {
@@ -1444,6 +1438,7 @@ async function handleRunVerbsBody(req, res, url, ctx, miss) {
                 decisionActor: actor,
                 decisionNote: body.note ?? null,
                 idempotencyKey: body.idempotencyKey ?? null,
+                ...(body.decision === "approve" && hasUpdatedInput ? { updatedInput: body.updatedInput } : {}),
             });
         }
         catch (err) {
@@ -1464,7 +1459,7 @@ async function handleRunVerbsBody(req, res, url, ctx, miss) {
                         confirmed.decision === body.decision &&
                         confirmed.idempotencyKey === body.idempotencyKey &&
                         !confirmed.provisional) {
-                        const settledNow = deps.toolApproval.notifyExternalDecision(askId, confirmed.decision === "approve", body.updatedInput).settled;
+                        const settledNow = deps.toolApproval.notifyExternalDecision(askId, confirmed.decision === "approve", confirmed.updatedInput).settled;
                         deps.logger?.warn?.("ask_decision_edit_settled_after_ambiguous_commit", { taskId, askId, settled: settledNow });
                     }
                 }
@@ -1503,12 +1498,12 @@ async function handleRunVerbsBody(req, res, url, ctx, miss) {
             return;
         if (outcome.row.decision !== body.decision) {
             deps.logger?.error?.("ask_decision_row_diverged", { taskId, askId, requested: body.decision, stored: outcome.row.decision });
-            deps.toolApproval?.notifyExternalDecision(outcome.row.askId, outcome.row.decision === "approve");
+            deps.toolApproval?.notifyExternalDecision(outcome.row.askId, outcome.row.decision === "approve", outcome.row.updatedInput);
             sendError(res, 500, "internal.error", "the ask row was rewritten between commit and read-back — the decision that stands is not the one this request submitted; re-read the ask before acting on it");
             return;
         }
-        const settled = deps.toolApproval?.notifyExternalDecision(outcome.row.askId, outcome.row.decision === "approve", hasUpdatedInput ? body.updatedInput : undefined).settled ?? 0;
-        const forwarded = outcome.row.decision === "approve" && hasUpdatedInput && settled > 0;
+        const settled = deps.toolApproval?.notifyExternalDecision(outcome.row.askId, outcome.row.decision === "approve", outcome.row.updatedInput).settled ?? 0;
+        const forwarded = outcome.row.decision === "approve" && outcome.row.updatedInput !== undefined && settled > 0;
         sendJson(res, 200, {
             askId: outcome.row.askId,
             taskId: outcome.row.taskId,

package/dist/http/routes/session-sync.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/158 A9 域模块 —— 2c session-sync 面(sema-internal server/docs/DESIGN-session-sync.md §15 + §5–§10)。
+ * [ref] A9 域模块 —— 2c session-sync 面(sema-internal server/docs/DESIGN-session-sync.md §15 + §5–§10)。
  *
  * 路由:`/v1/sessions/:id/sync/{manifest,entries,import,plan,blobs,snapshots/:k/blobs/:b,import/:staging/entries}`。
  * 每条都像 fork/delete 一样 owner-gated;无持久 session store 时 501(能力面与路由解析同真值)。
@@ -17,7 +17,7 @@ export type PendingStaging = {
     owner: string | null;
     resolution?: "overwrite-dst";
     operatorOk: boolean;
-    /** S-15: the session's file-history envelope (or null — no history travelled). Replaces the E19 per-key manifests. */
+    /** [ref]: the session's file-history envelope (or null — no history travelled). Replaces the E19 per-key manifests. */
     fileHistory: FileHistoryExport | null;
     policy: SessionRulesRecord[];
     anchors: Array<{

package/dist/http/routes/sessions-list.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/158 A9 域模块 —— 会话列表 / 发件链接列表。
+ * [ref] A9 域模块 —— 会话列表 / 发件链接列表。
  *
  * 路由:`GET /v1/sessions`(CC /resume picker,keyset 分页)、`GET /v1/sendfile-links`。
  * owner-scope 与 trace 列表同一权威模型(system/traceToken=fleet-wide,principal=钉住本人)。本域零可变状态。

package/dist/http/routes/sessions.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/158 A9 域模块 —— 单会话面。
+ * [ref] A9 域模块 —— 单会话面。
  *
  * 路由:`/v1/sessions/:id` 的 init / settings / mcp / head / events(SSE)/ fork / DELETE / policy / workspace,
  * 外加同段的 `deps.sessionAudit` 只读审计面。
@@ -12,6 +12,7 @@
  * `sse.sseConnections` / `sse.sseOwnerLookups`——`let` 无法跨模块共享自增。判据/时机/配对释放逐字未动。
  */
 import type { IncomingMessage, ServerResponse } from "node:http";
+import { type SessionMemoryStatus } from "@sema-agent/core";
 import type { RouteCtx } from "../route-ctx.js";
 /** 单域独占状态。每个 server 实例一份——模块级会把连接坑/缓存跨实例串味。 */
 export interface SessionsLocal {
@@ -36,6 +37,13 @@ export interface SessionsLocal {
             degraded?: boolean;
         }>;
     }>;
+    /** [ref]①:memory-status 读面的短 TTL single-flight 缓存(理由见 `MEMORY_STATUS_TTL_MS` 注)。
+     *  键 = sessionId **裸键**(答案与调用方无关 —— 属主门在缓存读**之前**跑,外人到不了这张表;
+     *  mcp/a2a 按 (scenario, principal) 分键是因为它们的面按人裁,这张面不按人裁,分键只会白扩表)。 */
+    memoryStatusCache: Map<string, {
+        at: number;
+        status: Promise<SessionMemoryStatus>;
+    }>;
 }
 export declare function createSessionsLocal(): SessionsLocal;
 export declare function handleSessions(req: IncomingMessage, res: ServerResponse, url: string, ctx: RouteCtx): Promise<boolean>;

package/dist/http/routes/sessions.js

@@ -10,6 +10,7 @@ const MCP_STATUS_TTL_MS = 5_000;
 const MCP_MATERIALIZE_TIMEOUT_MS = 10_000;
 const A2A_STATUS_TTL_MS = 5_000;
 const A2A_MATERIALIZE_TIMEOUT_MS = 10_000;
+const MEMORY_STATUS_TTL_MS = 5_000;
 const A2A_PANEL_MAX_TOOL_NAMES = 200;
 export function createSessionsLocal() {
     return {
@@ -17,6 +18,7 @@ export function createSessionsLocal() {
         sseOwnerLookups: 0,
         mcpStatusCache: new Map(),
         a2aStatusCache: new Map(),
+        memoryStatusCache: new Map(),
     };
 }
 export async function handleSessions(req, res, url, ctx) {
@@ -430,7 +432,7 @@ async function handleSessionsBody(req, res, url, ctx, miss) {
                 sendError(res, 404, "not_found.session", "session not found");
                 return;
             }
-            if (!runOwnerOk(req, res, audit.owner))
+            if (!runOwnerOk(req, res, audit.owner, "session"))
                 return;
             const faces = deps.memoryCompliance;
             if (faces === undefined) {
@@ -469,6 +471,64 @@ async function handleSessionsBody(req, res, url, ctx, miss) {
             return;
         }
     }
+    {
+        const msm = req.method === "GET" ? /^\/v1\/sessions\/([^/]+)\/memory-status$/.exec(url) : null;
+        if (msm) {
+            const sessionId = safeDecode(msm[1]);
+            if (sessionId === null) {
+                sendError(res, 400, "request.path_malformed", "session id segment is not valid percent-encoding");
+                return;
+            }
+            if (deps.config.requirePrincipal && !gatedPrincipal(req, deps.config)) {
+                sendError(res, 401, "auth.principal_required", `missing principal header '${deps.config.principalHeader}'`);
+                return;
+            }
+            if (!deps.sessionAudit) {
+                sendError(res, 501, "capability.memory_engine_required", "session memory status is not available on this deployment — it requires a wired memory engine (MEMORY_ENGINE=on) whose backend owns the engine control plane (controlPlaneRoot); the file memory backend does, the pg/tidb memory backends do not (their control plane would land on a replica's local disk)");
+                return;
+            }
+            const audit = await deps.sessionAudit(sessionId);
+            if (!audit) {
+                sendError(res, 404, "not_found.session", "session not found");
+                return;
+            }
+            if (!runOwnerOk(req, res, audit.owner, "session"))
+                return;
+            const face = deps.sessionMemoryStatus;
+            if (face === undefined) {
+                sendError(res, 501, "capability.memory_engine_required", "session memory status is not available on this deployment — it requires a wired memory engine (MEMORY_ENGINE=on) whose backend owns the engine control plane (controlPlaneRoot); the file memory backend does, the pg/tidb memory backends do not (their control plane would land on a replica's local disk)");
+                return;
+            }
+            try {
+                const { memoryStatusCache } = ctx.local.sessions;
+                let entry = memoryStatusCache.get(sessionId);
+                if (!entry || Date.now() - entry.at > MEMORY_STATUS_TTL_MS) {
+                    if (memoryStatusCache.size > 1024)
+                        memoryStatusCache.clear();
+                    const status = face.status(sessionId);
+                    const fresh = { at: Date.now(), status };
+                    memoryStatusCache.set(sessionId, fresh);
+                    status.catch(() => { if (memoryStatusCache.get(sessionId) === fresh)
+                        memoryStatusCache.delete(sessionId); });
+                    entry = fresh;
+                }
+                const s = await entry.status;
+                sendJson(res, 200, {
+                    sessionId,
+                    ...(s.captureOptedOut !== undefined ? { captureOptedOut: s.captureOptedOut } : {}),
+                    ...(s.committedCount !== undefined ? { committedCount: s.committedCount } : {}),
+                    ...(s.foldedCount !== undefined ? { foldedCount: s.foldedCount } : {}),
+                    ...(s.optOutSource !== undefined ? { optOutSource: s.optOutSource } : {}),
+                    ...(s.lastCaptureAt !== undefined ? { lastCaptureAt: s.lastCaptureAt } : {}),
+                });
+            }
+            catch (err) {
+                deps.logger?.warn?.("session_memory_status_failed", { sessionId, err: String(err) });
+                sendError(res, 500, "internal.error", "session memory status read failed");
+            }
+            return;
+        }
+    }
     if (deps.sessionAudit && req.method === "GET") {
         const sm = /^\/v1\/sessions\/([^/]+)$/.exec(url);
         if (sm) {

package/dist/http/routes/shared-memory.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/177 —— 共享记忆库(org 盘)的**只读 HTTP 面**。
+ * [ref] —— 共享记忆库(org 盘)的**只读 HTTP 面**。
  *
  * 路由:`GET /v1/shared-memory/stores`、`GET /v1/shared-memory/stores/:store/documents`、
  * `GET /v1/shared-memory/stores/:store/document?path=`。本域零可变状态。

package/dist/http/routes/side-query.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/158 A9 域模块 —— sideQuery 一次性问答面([1469],core 1.361)。
+ * [ref] A9 域模块 —— sideQuery 一次性问答面([ref],core 1.361)。
  *
  * 路由:`POST /v1/side-query` —— 无 session / 无工具执行 / 无 policy gate / 无引擎侧记账 / 无流式的
  * 一次性 brain 路由问答(v1 刻意面 = core 规格 side-query.d.ts)。cli 壳侧十几个 utility(标题/摘要/

package/dist/http/routes/tasks.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/158 A9 域模块 —— 同步提交面 `POST /v1/tasks` / `POST /v1/tasks/stream`(+ design/158 B3 三腿具名化)。
+ * [ref] A9 域模块 —— 同步提交面 `POST /v1/tasks` / `POST /v1/tasks/stream`(+ [ref] B3 三腿具名化)。
  *
  * 一条路由两条腿:`/v1/tasks/stream` = SSE 活流(单次尝试,verify/cascade 在此 400);`/v1/tasks` = 同步等结果
  * (verify / cascade / plain 三选一)。两腿共享同一个 Idempotency-Key 包装:先 `peek` 重放(含 IN-FLIGHT 的

package/dist/http/routes/trace-usage.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/158 A9 域模块 —— Task Trace 只读面 + 用量统计面。
+ * [ref] A9 域模块 —— Task Trace 只读面 + 用量统计面。
  *
  * 路由:`GET /v1/tasks/source-summary`(跨租户 door 汇总,ops-only)、`GET /v1/tasks[/:id/{turns,stream,artifacts}]`
  * (S1 Task Trace API)、`GET /v1/usage/{summary,series,breakdown}`(web P4 / registry AnalyticsSource)。

package/dist/http/routes/workflows.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/158 A9 域模块 —— S8 自编排 workflow 面(design/97/98)。
+ * [ref] A9 域模块 —— S8 自编排 workflow 面([ref]/98)。
  *
  * 路由:`GET /v1/workflows`(列表)· `GET /v1/workflows/:id[/journal]`(详情)· `GET /v1/workflows/:id/stream`
  * (在进程内 live SSE)· `POST /v1/workflows/:id/agents/:label/steer`(SVC-5:给 workflow 里某个仍在跑的

package/dist/http/run-meta.d.ts

@@ -1,5 +1,5 @@
 /**
- * design/158 A9 装配缝的一片小叶子 —— 提交路径共用的两个纯函数(run 行元数据 + cascade 配置)。
+ * [ref] A9 装配缝的一片小叶子 —— 提交路径共用的两个纯函数(run 行元数据 + cascade 配置)。
  *
  * 为什么单独成文件:`runMeta` 被 tasks 与 runs **两个**域模块调用,`cascadeConfig` 同理(还被测试直接引)。
  * 挂在任一域模块上都会造出 routes/* 互相值 import 的第二条边;它们又是纯函数(只依赖入参 + redact 叶子),