@sema-agent/server 7.52.1 → 7.54.0

package/dist/trace/engine-notice-wire.d.ts

@@ -4,19 +4,19 @@
  * 码数的**受门**真源=契约文档附录 D.3 的小节标题,⑥b 双向门盯着)。
  *
  * 起步的那六码同族:都是「这条 session 的记忆姿态」的披露,resume 之后仍然相关 ⇒ 也进 durable 账本
- * (cli 断连补看走既有 events 重放腿,[4634](ii))。
+ * (cli 断连补看走既有 events 重放腿,[ref](ii))。
  *
- * ⚠️ **自 #366(core 5.61.0)起本表不再是单一族**:`task.turn_interrupted` 与 `task.user_*_undrained`
+ * ⚠️ **自 [ref](core 5.61.0)起本表不再是单一族**:`task.turn_interrupted` 与 `task.user_*_undrained`
  * 两族是前三条**非记忆面**的成员(前者=一次插话真的切断了在飞的 turn;后两者=用户的输入被彻底丢弃)。
  * 判据没有变(受众 × 投递可行性 × 去重单位三条合取,见顶注),变的只是「碰巧六条都是记忆码」这个
  * 事实——别再把「是不是记忆姿态码」当成入册的隐性第四条判据。这条隐性判据正是 `task.user_*_undrained`
  * 两码在明拒表里陈腐多时的帮凶之一(见它们的键注)。
  *
- * 🔴 **表长了就得同步三处**(#366 实测,少一处即门红):`test/engine-notice-wire.test.ts` 的闭集 pin、
+ * 🔴 **表长了就得同步三处**([ref] 实测,少一处即门红):`test/engine-notice-wire.test.ts` 的闭集 pin、
  * 同文件 G1 e2e 的全码扇出夹具、以及契约文档附录 D.3 那张表(含**小节标题里的码数** —— 那道门本批
  * 刚立,立完就在下一次加码时自己咬住了)。
  */
-export declare const ENGINE_NOTICE_WIRE_CODES: readonly ["memory.session_polluted", "memory.harvest_quarantined", "memory.delegation_static_mark_waived", "memory.hold_opened", "memory.hold_released", "memory.hold_disposed", "task.turn_interrupted", "steering.parked_input_blocked", "task.user_steer_undrained", "task.user_followup_undrained", "memory.capture_opted_out", "memory.capture_optout_unpersisted"];
+export declare const ENGINE_NOTICE_WIRE_CODES: readonly ["memory.session_polluted", "memory.harvest_quarantined", "memory.delegation_static_mark_waived", "memory.hold_opened", "memory.hold_released", "memory.hold_disposed", "task.turn_interrupted", "steering.parked_input_blocked", "task.user_steer_undrained", "task.user_followup_undrained", "memory.capture_opted_out", "memory.capture_optout_unpersisted", "task.halt_unconsumed", "task.late_approval"];
 export type EngineNoticeWireCode = (typeof ENGINE_NOTICE_WIRE_CODES)[number];
 /** 白名单谓词(单点):路由与门都读这一个,不许第二处手抄码串。 */
 export declare function isEngineNoticeWireCode(code: string): code is EngineNoticeWireCode;
@@ -24,7 +24,7 @@ export declare function isEngineNoticeWireCode(code: string): code is EngineNoti
  * 归属键抽取 —— `detail.sessionId` 提升为顶层(设计稿 ②:归属键一等化)。
  *
  * 非串 / 空串一律按**缺席**处理(不铸 `"undefined"` 这种看起来合法的假值——`compactionOutcomeEventData`
- * 的同款缺键守卫纪律)。core [4631] 的顶层 `EngineNotice.sessionId` 到货后,这里先读顶层再回落 detail
+ * 的同款缺键守卫纪律)。core [ref] 的顶层 `EngineNotice.sessionId` 到货后,这里先读顶层再回落 detail
  * (两处同值,additive 零 BREAKING),届时本函数是唯一改动点。
  */
 export declare function engineNoticeSessionId(notice: {
@@ -37,7 +37,7 @@ export interface EngineNoticeWireRow {
     code: string;
     /**
      * core 铸的人话行。🔴 **仅 fallback 展示,不是匹配键**:core 明写 `memory.session_polluted` 的 message
-     * 随 `memoryProvenance` 模式变文(design/336 mode-aware),按 message 匹配必碎(5.41 合流码形退役同教训)。
+     * 随 `memoryProvenance` 模式变文([ref] mode-aware),按 message 匹配必碎(5.41 合流码形退役同教训)。
      */
     message: string;
     /** 机器可读事实,逐键消毒后直透(见 {@link sanitizeNoticeDetail} 的消毒/尺寸契约)。 */
@@ -82,7 +82,7 @@ export type EngineNoticeWireSink = (row: EngineNoticeWireRow) => void;
  *
  * 🔴 跨 session 隔离靠的是 **Map 键的精确串相等**,不是任何「最近活跃」回落 —— 缺席就是缺席(G5)。
  *
- * 🔴 **同 session 的跨代隔离靠 legId「最新代独占」**(#310 codex 交叉复审 R1-[high],验真后修)。
+ * 🔴 **同 session 的跨代隔离靠 legId「最新代独占」**([ref] codex 交叉复审 R1-[high],验真后修)。
  * 病(真窗,本仓每一处 in-flight 登记都为它写过 identity-guard):run 行在**流体内**就已 setTerminal /
  * setSuspended,而本腿的注销在 `finally` —— 中间那一窗里,同一条 session 上的**下一条腿**(快速续跑 /
  * 紧接着的新提交)已经注册好了自己的口。若按「会话内全量扇出」投,新腿的一条通告会**同时**落进:

package/dist/trace/engine-notice-wire.js

@@ -13,6 +13,8 @@ export const ENGINE_NOTICE_WIRE_CODES = [
     "task.user_followup_undrained",
     "memory.capture_opted_out",
     "memory.capture_optout_unpersisted",
+    "task.halt_unconsumed",
+    "task.late_approval",
 ];
 const WIRE_CODES = new Set(ENGINE_NOTICE_WIRE_CODES);
 export function isEngineNoticeWireCode(code) {

package/dist/trace/injection-tier.d.ts

@@ -1,27 +1,17 @@
 /**
- * design/373 注入档位(core 5.61.0)的**闭集单点**(#366)。
+ * [ref] 注入档位(core 5.61.0)的**闭集单点**([ref])——2026-08-31 起改为 **core 根导出直调**。
  *
- * ## 为什么本仓要自己留一份词表
- * 理想写法是复用 core 的谓词 `isSystemInjectionPriority` / 数据表 `SYSTEM_INJECTION_PRIORITIES`。
- * 但 core 5.61.0 **没有把它们放进根 barrel**(`dist/index.d.ts` 只导出了 `SystemInjectionPriority`
- * 这个**类型**),而 `@sema-agent/core` 的 `package.json#exports` 只开了 `.` / `./bench` / `./fixtures`
- * 三口 ⇒ 深导入被 exports map 关死,结构上够不着运行期的那份。
- *
- * 于是用本仓既有的**双向锚**姿势(`http/routes/notify-wake.ts` 的 `NOTIFY_STATUSES` 先例):
- *  · `satisfies` 管「表内不许有词表外的词」—— core 删/改档位 ⇒ 编译红;
- *  · 穷举断言管「词表不许有表外的词」—— core 加档位 ⇒ 编译红。
- * 两条合起来 = 上游任何一侧的增删都在编译期被逼着处置,而不是运行时静默漂。
- *
- * ## 为什么单独一个叶子模块
- * 消费点有两个且分属两条依赖链:`trace/project.ts`(wire 投影)与
- * `orchestration/workflow-completion-inbox.ts`(durable park 载荷)。手抄两份就是值拷贝漂移源
- * (本仓 [1532] 起的老病族);把它挂在任一方又会在两条链之间拉一条没必要的边。零依赖叶子最干净。
- *
- * 🔴 上游哪天补了根导出:删掉本文件,两处改成一行谓词调用。
+ * ## 收口条款兑现([ref] PM 审计④「core 前提句过期族」)
+ * 本文件 5.61 时代的顶注写着「core 没有把 `SYSTEM_INJECTION_PRIORITIES` / `isSystemInjectionPriority`
+ * 放进根 barrel ⇒ 本仓自留双向锚词表;上游哪天补了根导出:删掉本文件,两处改成一行谓词调用」。
+ * core 7.0.2 已把**表和谓词都放进根导出**(运行期亲证:`SYSTEM_INJECTION_PRIORITIES` 数组 +
+ * `isSystemInjectionPriority` 函数均可 require 到)——按条款执行:自留词表退役,改直调;本文件保留为
+ * 两个消费点(`trace/project.ts` / `orchestration/workflow-completion-inbox.ts`)的公共缝(语义注 +
+ * `injectionTierOrAbsent` 的丢键方向条款仍是本仓资产,不随词表走)。
  */
-import type { SystemInjectionPriority } from "@sema-agent/core";
-/** 三档闭集,与 core `SystemInjectionPriority` 双向锚(见顶注)。 */
-export declare const INJECTION_TIERS: readonly ["now", "next", "later"];
+import { type SystemInjectionPriority } from "@sema-agent/core";
+/** 三档闭集 —— 现在就是 core 的那份表(单源;保留导出名,两个消费点与既有测试不动)。 */
+export declare const INJECTION_TIERS: readonly SystemInjectionPriority[];
 /**
  * 边界守卫 —— 闭集内的值原样返回,**其余一律 `undefined`**(= 缺席)。
  *

package/dist/trace/injection-tier.js

@@ -1,7 +1,6 @@
-export const INJECTION_TIERS = ["now", "next", "later"];
-const _injectionTierExhaustive = true;
-void _injectionTierExhaustive;
+import { isSystemInjectionPriority, SYSTEM_INJECTION_PRIORITIES } from "@sema-agent/core";
+export const INJECTION_TIERS = SYSTEM_INJECTION_PRIORITIES;
 export function injectionTierOrAbsent(value) {
-    return typeof value === "string" && INJECTION_TIERS.includes(value) ? value : undefined;
+    return isSystemInjectionPriority(value) ? value : undefined;
 }
 //# sourceMappingURL=injection-tier.js.map

package/dist/trace/ledger-events.d.ts

@@ -1,5 +1,5 @@
 /**
- * runs 账本(`task_run_event`)的**事件型闭集**——A-032 P1-③ / codex 交叉复审 F2。
+ * runs 账本(`task_run_event`)的**事件型闭集**——[ref] P1-③ / codex 交叉复审 F2。
  *
  * ## 为什么需要这个联合
  * 账本行的 `type` 是消费端分流的键:`GET /v1/runs/:id/events` 裸回放照发,而 `trace/project.ts` 的
@@ -36,12 +36,12 @@ export type LedgerEventType = "reasoning" | "text" | "tool_start" | "tool_end" |
  | "suspended" | "needs_review" | "done" | "failed" | "suggestions" | "model_usage" | "prompt_assembled" | "config_assembled" | "file_link"
 /** 人在环三族的 open/close 帧对(投递面 = 本腿的 durable events tail)。 */
  | "elicitation" | "elicitation_complete" | "question" | "question_complete" | "tool_approval" | "tool_approval_complete"
-/** design/172 §4.3 新协议的呈卡帧(与上面两只 tool_approval 帧同一条投递面)。 */
+/** [ref] §4.3 新协议的呈卡帧(与上面两只 tool_approval 帧同一条投递面)。 */
  | "approval_request"
 /** 异步 workflow 完成的入箱 drain(`emitPendingWorkflowCompletions` 两个字面型之一)。 */
  | "workflow_complete"
 /**
- * #310 `engine_notice` —— core `EngineNotice` 白名单三码按 `detail.sessionId` 路由到该会话的事件投影。
+ * [ref] `engine_notice` —— core `EngineNotice` 白名单三码按 `detail.sessionId` 路由到该会话的事件投影。
  *
  * 🔴 **是"腿自己的带外行",不是流事件投影**:它不经 `TaskStream`(`RunnerDeps.onNotice` 是 deps 级
  * 同步 sink),所以两条 durable 腿的 `switch (ev.type)` 里**没有也不该有** `case "engine_notice"` ——

package/dist/trace/ledger-sink.d.ts

@@ -5,7 +5,7 @@ import type { LedgerEventType } from "./ledger-events.js";
  * LedgerSink — the SINGLE "stream event → durable runs-ledger" projection, shared by the background leg
  * (runs.ts `runInBackground`) and the sync `/v1/tasks/stream` detach lane (server.ts, `x-detach-on-disconnect`).
  *
- * [900]①/[906]③: the sync leg historically persisted only createRun+setTerminal — its events ledger stayed
+ * [ref]①/[ref]③: the sync leg historically persisted only createRun+setTerminal — its events ledger stayed
  * EMPTY, so after a detach the shell could only poll the terminal row. Feeding the same sink on the detach
  * lane makes `GET /v1/runs/:id/events` replay the full stream in the EXACT bg-leg vocabulary (the ledger
  * consumer binds to these type/data shapes — a second copy of this switch would drift into a false ledger,
@@ -35,7 +35,7 @@ export interface LedgerSink {
         type: string;
     }): Promise<void>;
     /**
-     * #255(core 5.34.0 的 `RunInternals.onStatusEvent` 第五席):**「只回结果」腿**的 `status` 行写口。
+     * [ref](core 5.34.0 的 `RunInternals.onStatusEvent` 第五席):**「只回结果」腿**的 `status` 行写口。
      *
      * 与 {@link onEvent} 的 `case "status"` 共用**同一个**白名单 builder(`brainStatusEventData`),差别只有
      * 一处:本门**同步入链** —— 在回调进入的那一刻就占住序号槽,而不是先 `await flush()` 再入链。
@@ -58,7 +58,7 @@ export interface LedgerSink {
     onForwardEvent(e: {
         type?: string;
     }): void;
-    /** Park event (durable F4 suspend / design/80 D-B review pause): ONLY the non-secret `checkpointGate` is
+    /** Park event (durable F4 suspend / [ref] D-B review pause): ONLY the non-secret `checkpointGate` is
      *  persisted — never the capability `checkpointToken` (search [18] Q1b). */
     appendParked(kind: "suspended" | "needs_review", result: unknown): Promise<void>;
     /** Terminal `done` event. `result` must already be checkpoint-token-stripped (and, on the bg leg,
@@ -71,13 +71,13 @@ export interface LedgerSink {
     }): Promise<void>;
 }
 /**
- * **单写串行链**的可复用形(#310 codex 交叉复审 R1-[high],验真后修)—— `seq` 的**分配发生在链步内**,
+ * **单写串行链**的可复用形([ref] codex 交叉复审 R1-[high],验真后修)—— `seq` 的**分配发生在链步内**,
  * 于是「分配序 == 发起序 == 提交序」。
  *
  * 病(实测形,`LedgerSink` 内部早有这条纪律的内联版、其顶注 [1.211 codex H2] 逐字记着它):裸写口
  * (`(type, data) => rs.appendEvent(taskId, ++seq, type, data)`)在**同步分配 seq、立刻发起 insert**。
  * 主循环 await 自己的写,所以主循环内部有序;但只要有**一个 fire-and-forget 写者**(子代 forward 帧、
- * #310 的通告口),它的 N 号 insert 可能在池化 SQL 后端上晚于后发的 N+1 号提交。events tail 的读法是
+ * [ref] 的通告口),它的 N 号 insert 可能在池化 SQL 后端上晚于后发的 N+1 号提交。events tail 的读法是
  * `getEvents(id, afterSeq)` —— 读到 N+1 就把游标推过 N,**那一行此后永远不会被投递**(重连也不会,
  * 游标只前进)。行在库里,消费端结构性看不见。
  *
@@ -93,11 +93,11 @@ export declare function createLedgerSink(opts: {
     /** TRACE_THINKING gate: reasoning deltas are buffered (later redacted+persisted) only when true (core [R57] —
      *  persisting CoT is a deployment decision). Both legs pass the SAME config source (`config.traceThinking`). */
     persistThinking: boolean;
-    /** task_notification dedup ledger (core [784]④a seq-folded keys). The bg leg passes its per-leg instance
+    /** task_notification dedup ledger (core [ref]④a seq-folded keys). The bg leg passes its per-leg instance
      *  (shared with its observer/drain arms so no arm double-appends a key another arm delivered); a leg with no
      *  other durable arms (sync detach lane) omits it and gets a private instance. */
     notifiedKeys?: NotifiedKeys;
-    /** #245 S1:turn 活性打点(`recordTurnActivity(taskId)`)。打点位有两处且都必须:①`onEvent` 入口
+    /** [ref] S1:turn 活性打点(`recordTurnActivity(taskId)`)。打点位有两处且都必须:①`onEvent` 入口
      *  ——**text_delta/reasoning_delta 只进内存缓冲、到 flush 边界才 append**(codex S1-F1,2026-08-13:
      *  只打 append 会让长时间流式输出被误读成「无进展」,方向与本键的设计目的正好相反);②`append`
      *  入口——兜住不经 onEvent 的直写路径(appendParked/appendDone/onForwardEvent)。分诊提示性回调:

package/dist/trace/project.d.ts

@@ -7,7 +7,7 @@
  * SERVICE layer (core [R57] cross-review: do NOT push this shape into core — different consumer, different shape).
  *
  * Per core [R57] corrections: there is no `suspended` event (suspend = the run row's status); per-turn tokens ride
- * on `turn_end.usage` (core additive). As of core 1.121.0 (design/99 §E1) `tool_end` ALSO carries the model-facing
+ * on `turn_end.usage` (core additive). As of core 1.121.0 ([ref] §E1) `tool_end` ALSO carries the model-facing
  * `output` (+ `truncated`) — redacted + size-bounded at append (runs.ts) and read straight off the event here (the
  * old session-join `toolOutput` hook is gone, there's a real source now); `eventId`/`parentToolCallId` (§E2) ride
  * each content event, additive / tolerate-absent.
@@ -25,13 +25,13 @@ type GetEventsFn = (taskId: string, afterSeq: number) => Promise<RunEvent[]>;
  *  Shared by BOTH durable-write legs (runInBackground + the resume leg) so the persisted shape never drifts; the
  *  append-only deltas make a suspended/resumed run's total resume-safe (each leg appends its own, the echo sums).
  *
- *  core 3.0.0([2296] 装车单 S10,§DESIGN-V2 V2-⑤): every drained row is tagged with `usageBasis:
+ *  core 3.0.0([ref] 装车单 S10,§DESIGN-V2 V2-⑤): every drained row is tagged with `usageBasis:
  *  "uncached-components-v1"` — the write point for this label (the tracker itself, {@link ModelUsageTracker},
  *  never sets it; it stays a pure token/cost accumulator). This is what lets {@link aggregateModelUsage} tell
  *  apart rows written under the current component semantics from older rows (pre-dating this label) when it
  *  sums across a run's whole event log. */
 export declare function appendModelUsageDelta(append: AppendFn, modelUsage: ModelUsageTracker | undefined, taskId: string): Promise<void>;
-/** [998]② drain the pending prompt-manifest records (whitelisted at RECORD time, budget.ts — ids/digests/
+/** [ref]② drain the pending prompt-manifest records (whitelisted at RECORD time, budget.ts — ids/digests/
  *  counts only, no prompt bodies by core's manifest contract) into durable `prompt_assembled` events, one per
  *  prepare IN EMISSION ORDER (a cascade/verify leg re-prepares under one taskId — every rung's manifest
  *  persists; release-review finding). Shared by both durable-write legs; a no-op when nothing is pending
@@ -53,12 +53,12 @@ export declare function attachModelUsage<T extends TaskResult>(result: T, ctx: {
  *  (append-only) → this is resume-safe: it sums across ALL process legs of a suspended/resumed run. Returns
  *  undefined when the run logged no model usage (→ the shell soft-degrades to aggregate cost only).
  *
- *  #59([2052]①):事件体是 **DB 里的 JSON**(旧版本 / 别的 producer 都可能写),此前的 `?? 0` 只接住
+ *  #59([ref]①):事件体是 **DB 里的 JSON**(旧版本 / 别的 producer 都可能写),此前的 `?? 0` 只接住
  *  null/undefined——NaN 与字符串会原样进 `+`,一个坏键就把该模型的整 run 总量变成 NaN 或字符串拼接,
  *  再顺着 `TaskStats.modelUsage` 回声流进 usage-analytics 的整窗聚合。守卫改「非有限数 = 缺席、按 0 计」,
  *  与 usage-analytics 读侧同口径。
  *
- *  🔴 RB-368(core 2.3.0,[2083] 提货单①)——**缺席必须活着走完整条链**。此前本折叠对「costMicroUsd
+ *  🔴 [ref](core 2.3.0,[ref] 提货单①)——**缺席必须活着走完整条链**。此前本折叠对「costMicroUsd
  *  缺席」与「=0」输出相同(都是 0),那时无所谓:core 恒发数字,缺席没有 producer。现在 unpriced 部署
  *  下 core 行级缺席、budget.ts 如实透传落库,若在这里折 0,诚实就只活到落库为止——回声上又变回
  *  「花了 0」,行级消歧白做。故改**未知传染**:该模型任一贡献行缺 costMicroUsd 键 ⇒ 总量的该键**整个不在**
@@ -109,7 +109,7 @@ export type TraceBlock = {
     tools?: unknown;
 };
 /** The durable `tool_start` event payload, shared by BOTH append sites (runInBackground + the resume leg) so the
- *  persisted shape never drifts: redacted args (UNTRUSTED) + E2 identity. `label`([1543]§三族B:durable 腿
+ *  persisted shape never drifts: redacted args (UNTRUSTED) + E2 identity. `label`([ref]§三族B:durable 腿
  *  此前剥掉——同一 run live 观看有展示名、replay/resume 退化成 wire 名):core 展示名 verbatim(tail 面
  *  1.251 复审同裁,两腿同处理)。 */
 export declare function toolStartEventData(ev: {
@@ -167,10 +167,10 @@ export declare function taskProgressEventData(ev: {
     seq?: number;
     model?: string;
 }): Record<string, unknown>;
-/** The `task_notification` payload (core 1.202 design/115 P2: a background task finished — this event is the
+/** The `task_notification` payload (core 1.202 [ref] P2: a background task finished — this event is the
  *  LEDGER/display projection of the OBSERVED terminal state, emitted the moment core observes it. It does NOT
  *  attest that the `<task-notification>` XML has entered the model context: core's steer targets the NEXT TURN
- *  BOUNDARY (design/116 §7 — turn 在飞时不注入), so the frame can precede actual injection by minutes ([1818]
+ *  BOUNDARY ([ref] §7 — turn 在飞时不注入), so the frame can precede actual injection by minutes ([ref]
  *  clay live: 3m54s; the previous wording here — "core already injected in-process" — was the same wrong
  *  assumption that broke the shell's dedup). `injected: false` says exactly that on the wire: a consumer must
  *  NOT treat this frame as an echo of model-context injection. EXPLICIT WHITELIST (never `{...ev}` — the 1.72 task_progress lesson: a
@@ -217,7 +217,7 @@ export declare function taskNotificationEventData(ev: {
     };
     eventId?: string;
     parentToolCallId?: string;
-    /** design/373 §3.6(core 5.61.0,additive):本帧**投出去时的注入档位**。见下方投影处的键注 —— 它是
+    /** [ref] §3.6(core 5.61.0,additive):本帧**投出去时的注入档位**。见下方投影处的键注 —— 它是
      *  **事件顶层**键,不是 {@link TaskNotificationPayload} 的键,所以只有把整只 core 事件交给本投影的腿
      *  拿得到它;只拿到载荷的 park-drain 腿结构上没有这一位。 */
     priority?: SystemInjectionPriority;
@@ -229,7 +229,7 @@ export declare function taskNotificationEventData(ev: {
  *  cards from it): `path` is the engine's own working-file path (env-derived, not free text) but still crosses our
  *  wire → `redactSecrets` (a project path can embed a secret-shaped dir name); chars/truncated are numeric/bool
  *  verbatim. Absent fields stay absent (feature off / nothing attached / no kept-tail floor). */
-/** The `diagnostics` payload (core 1.220 design/121 — NEW LSP diagnostics drained at a turn boundary; the model
+/** The `diagnostics` payload (core 1.220 [ref] — NEW LSP diagnostics drained at a turn boundary; the model
  *  already got the `<new-diagnostics>` context message in-process, this frame is the shell's render source).
  *  EXPLICIT WHITELIST shared by all three legs. UNTRUSTED RAW (§E1: language-server output over workspace files —
  *  a diagnostic message can quote file content, a secret-shaped uri/source is possible) → `redactSecrets` on the
@@ -249,7 +249,7 @@ export declare function diagnosticsEventData(ev: {
     eventId?: string;
     parentToolCallId?: string;
 }): Record<string, unknown>;
-/** The `steering_injected` payload([1550]/[1552] 裁定透传;core `TaskEvent` 联合臂 `type: "steering_injected"`,
+/** The `steering_injected` payload([ref]/[ref] 裁定透传;core `TaskEvent` 联合臂 `type: "steering_injected"`,
  *  shell 渲染源 = CC 的系统提醒条:core 在 turn 之间给模型注入一条系统提示[todo 提醒/文件变化/日期跨天/
  *  技能列表变化…]时随手抛的展示投影,一附件一帧)。EXPLICIT WHITELIST(source=封闭枚举 verbatim;
  *  preview=注入文本的展示摘录,UNTRUSTED[core 未做秘密脱敏]→ `redactSecrets`)。共享三腿(sync 实时 SSE +
@@ -260,8 +260,8 @@ export declare function steeringInjectedEventData(ev: {
     eventId?: string;
     parentToolCallId?: string;
 }): Record<string, unknown>;
-/** `compaction_outcome`(core 2.5.0 [2105]②:压缩非 compacted 结局——manual /compact 的 mooted/failed
- *  两条真路)。[2373]A-2/C-2:此前它是**唯一**不走共享 builder、只在 live 腿 res.write 内联挑键的
+/** `compaction_outcome`(core 2.5.0 [ref]②:压缩非 compacted 结局——manual /compact 的 mooted/failed
+ *  两条真路)。[ref]A-2/C-2:此前它是**唯一**不走共享 builder、只在 live 腿 res.write 内联挑键的
  *  内容帧 ⇒ 两条 durable 腿零 case、回放即消失、三方普查各自失明。收进共享白名单 builder,三腿同源。
  *  outcome/trigger=闭枚举 verbatim;reason=引擎说明文本(可能引用配置值)→ redactSecrets;identity 同款。 */
 export declare function compactionOutcomeEventData(ev: {
@@ -271,7 +271,7 @@ export declare function compactionOutcomeEventData(ev: {
     eventId?: unknown;
     parentToolCallId?: unknown;
 }): Record<string, unknown>;
-/** The `workspace_changed` payload([1559]二 core 裁定:design/99 §E13 旧臂,L1 门本车首次撞见——非新增,
+/** The `workspace_changed` payload([ref]二 core 裁定:[ref] §E13 旧臂,L1 门本车首次撞见——非新增,
  *  是本门扩 TaskEvent 臂集时第一次显式处置。语义 = bash `cd`/EnterWorktree 移动任务逻辑 cwd 后,在移动
  *  它的工具结算后发一帧,给 shell/宿主 UI 一个路径提示行。cwd 与已展示的工具 args 同信任级[UNTRUSTED,
  *  RAW 逻辑路径,symlink 不解析]→ `redactSecrets` + 长度 bound[300,与 brainStatusEventData.detail 同
@@ -283,13 +283,13 @@ export declare function workspaceChangedEventData(ev: {
     parentToolCallId?: string;
 }): Record<string, unknown>;
 /**
- * `wiring_manifest`(core 5.14.0 design/173 新 `TaskEvent` 臂)—— 每条腿(root/child/resume)在 prepare
+ * `wiring_manifest`(core 5.14.0 [ref] 新 `TaskEvent` 臂)—— 每条腿(root/child/resume)在 prepare
  * 时自证「我到底接了什么线」的清单帧。
  *
  * 🔴 **本构造器存在的唯一理由是剥掉 `governance` 段**。core 给该段盖了 `audience: "operator"` 并成文
  * 了服务层义务:*a serving layer forwarding this event to a multi-tenant stream MUST project the governance
  * section for operators only; **no projection ⇒ do not disclose***。我方的三条腿(sync SSE / durable 账本 /
- * resume 账本)都是租户可读面,而 operator 投影是 #154 的独立大件——按 core 写死的失败方向,**没有投影
+ * resume 账本)都是租户可读面,而 operator 投影是 [ref] 的独立大件——按 core 写死的失败方向,**没有投影
  * 就不得披露**,所以本批先把整段剥掉止泄(此前 sync 腿的裸 catch-all 会把它连同 `lockedConfig` /
  * `compliance` / `memoryAdmission` / `retention` 四个治理面在场位原样透传给任意订阅者)。
  * operator 投影是**另一个**构造器({@link wiringManifestOperatorEventData},live 腿按调用方身份挑),
@@ -301,23 +301,23 @@ export declare function workspaceChangedEventData(ev: {
  * 顺着 spread 裸上线,尤其当新段可能又是一个 audience 受限面时)。所有值都是引擎派生的闭枚举/布尔/
  * 有限数/不透明摘要串,**非用户内容 ⇒ 不脱敏**;畸形值一律按缺席处理(不铸假值,与 compacted 同规)。
  *
- * 🔴 **未标签面的准入裁定逐面记录在此,缺省不是「放行」**(#154 裁定 C)。core 只给 `governance` 标了
+ * 🔴 **未标签面的准入裁定逐面记录在此,缺省不是「放行」**([ref] 裁定 C)。core 只给 `governance` 标了
  * audience,其余段没有标签 —— 没标签**不等于**可以默认投给租户,每一段都要有一次人的裁定,写在这里:
  *  · `interaction.posture`(三值:interactive / headless / absent)—— **裁:租户可见**。它是部署形的
  *    自述(这条腿有没有人能答问题),消费端据此决定渲不渲交互面;不是治理秘密,也不构成任何治理位的
  *    侧信道(它不参与 governance 那 4 个布尔的还原)。
- *  · `permissionRules.storeWired`(布尔;core 5.18.0 design/179 新段)—— **裁:租户可见**。同族判据:
+ *  · `permissionRules.storeWired`(布尔;core 5.18.0 [ref] 新段)—— **裁:租户可见**。同族判据:
  *    它与 `parkLane.capable` / `elicit.seamWired` / `fleet.backgroundAgentStore` 是同一类「这条腿接没接
  *    某个可选设施」的部署形自述,而那三个早已租户可见。消费端的真需求也在租户侧:审批卡要不要渲染
  *    「不再询问」这一格,取决于这台 worker 有没有规则店 —— 剥掉它,客户端只能靠试(提交后被拒)才知道。
  *    它**不在** `governance` 段里(core 自己把它放在段外),也不构成那 4 个治理布尔的侧信道。
  *    ⚠️ 恒在段(core 侧 `permissionRules` 无 `?`):两个真值都可能出现,**别把 false 读成缺席**。
- *    本仓自 #154 车二 / design/203 起真接了规则店(`main.ts` 在 `PERMISSION_RULES_ENABLED` 为真 ∧
+ *    本仓自 [ref] 车二 / [ref] 起真接了规则店(`main.ts` 在 `PERMISSION_RULES_ENABLED` 为真 ∧
  *    backend 在场时把 `permissionRuleStore` 装进 `RunnerDeps`,SQL 与 File 两形)⇒ 那样的部署报
  *    `storeWired: true`;旋钮关掉或后端缺席的部署仍报 `false`。消费端读到 false 就是「这台 worker
  *    今天没有这条车道」,不许当成「这版引擎还没这个概念」。
- *  · `permissionRules.syncWired` / `permissionRules.orgGoverned`(布尔两位;core 5.23.0 design/182 §9/§7
- *    给**同一段**加的员,[3372] 提货批 codex 复审 high 抓获——首版把它们静默剥了,正是本仓建这份台账要防
+ *  · `permissionRules.syncWired` / `permissionRules.orgGoverned`(布尔两位;core 5.23.0 [ref] §9/§7
+ *    给**同一段**加的员,[ref] 提货批 codex 复审 high 抓获——首版把它们静默剥了,正是本仓建这份台账要防
  *    的「投影白名单剥键」病)—— **裁:租户可见,与同段的 `storeWired` 同待遇**。判据三条:
  *    ① **同段同类**:core 把它们放进 `permissionRules` 而不是 `governance`(唯一带 audience 标签的段),
  *       且形状与 `storeWired` 逐字同构(恒在的布尔,present-and-false 表示「有这个概念,这里没开」);
@@ -328,7 +328,7 @@ export declare function workspaceChangedEventData(ev: {
  *    ③ **不是治理侧信道**:两位都不参与 `governance` 那 4 个布尔的还原(它们描述规则店这条车道自身的
  *       形状,与 lockedConfig/compliance/memoryAdmission/retention 无函数关系)。
  *    ⚠️ 与 `storeWired` **不同**:本仓这两条至今未接(`RunnerDeps.permissionRuleSyncWired` /
- *    `permissionRuleOrg` 全树零声明点,2026-08-10 #204 复扫亲验)⇒ 今天恒 `false`,这是**真值**不是
+ *    `permissionRuleOrg` 全树零声明点,2026-08-10 [ref] 复扫亲验)⇒ 今天恒 `false`,这是**真值**不是
  *    缺席。哪天接上其中任一条,连本句一起改 —— 这一行是它的登记处。
  * 未来 core 加一段而它没有 audience 标签时,**先在这里补一条裁定再决定挑不挑键** —— 段级完备性钉
  * (test/wiring-manifest-projection.test.ts)会在那一刻先把人拦下来。
@@ -339,7 +339,7 @@ export declare function wiringManifestEventData(ev: {
     parentToolCallId?: unknown;
 }): Record<string, unknown>;
 /**
- * `wiring_manifest` 的 **operator 投影**(#154 件一)—— {@link wiringManifestEventData} 的租户形加上
+ * `wiring_manifest` 的 **operator 投影**([ref] 件一)—— {@link wiringManifestEventData} 的租户形加上
  * `governance` 段与 core 的真 `configFingerprint`。
  *
  * 🔴 分叉发生在**读口**,不在账本:两条 durable 腿(ledger-sink / resume)恒存剥后形,因为账本写的那一刻
@@ -365,7 +365,7 @@ export declare function wiringManifestOperatorEventData(ev: {
     parentToolCallId?: unknown;
 }): Record<string, unknown>;
 /**
- * `human_input`(core 5.14.0 design/171 新 `TaskEvent` 臂)—— 「谁把什么喂进了这条 run」的生命周期账本
+ * `human_input`(core 5.14.0 [ref] 新 `TaskEvent` 臂)—— 「谁把什么喂进了这条 run」的生命周期账本
  * 帧(objective / 实时 steer / nextTurn / parked-steer 续跑 / wake 五个载体共用一个投影点)。
  *
  * 信任划线(与 tool_approval 帧同族):
@@ -408,6 +408,7 @@ export declare function brainStatusEventData(ev: {
     retryInMs?: number;
     errClass?: string;
     retryAtMs?: number;
+    errorStatus?: number;
     eventId?: string;
     parentToolCallId?: string;
 }): Record<string, unknown>;
@@ -444,7 +445,7 @@ export interface TraceTurn {
     ts: string;
     role: "system" | "user" | "assistant" | "tool";
     blocks: TraceBlock[];
-    /** core 3.0.0([2296] 装车单 S3,§DESIGN-V2 V2-②):这是**本服务自有的投影契约**,不是 core wire 帧的
+    /** core 3.0.0([ref] 装车单 S3,§DESIGN-V2 V2-②):这是**本服务自有的投影契约**,不是 core wire 帧的
      *  verbatim 转发——`in` 刻意保持它历史上的「总量」语义不变(旧帧/新帧读端零伤),不随 core 的
      *  `promptTokens`/`turn_end.usage.inputTokens` 翻转为 cache-MISS。新增 `uncachedIn` 承接 core 3.0.0 才有的
      *  cache-MISS 分量(命名取自 core `uncachedInputTokensOf`),只在能确认自己踩在新契约帧上时才发
@@ -458,7 +459,7 @@ export interface TraceTurn {
     };
 }
 /**
- * `context_usage` 的白名单投影(core 1.414 新增一等 `TaskEvent` 分支;server [1669]⑥ 点名要的上下文用量面)。
+ * `context_usage` 的白名单投影(core 1.414 新增一等 `TaskEvent` 分支;server [ref]⑥ 点名要的上下文用量面)。
  *
  * 🔴 两条 core 明确交代的口径,必须原样传下去、不要在服务端"聪明地"重算:
  *  · `usedTokens > compactAtTokens` **就是引擎自己喂 `shouldCompact` 的谓词** —— 消费方直接用,别重新推导阈值。
@@ -482,7 +483,7 @@ export declare function contextUsageEventData(ev: {
  *   · `stopReason` —— **这一轮为什么停**(max_tokens / stop_sequence / …);
  *   · `usageMissing: true` —— **用量不可信**的诚实标记。缺了它,"没有 usage"会被读成"用量是 0",
  *     而不是"未知";这正是那种"回放后看起来一切正常"的丢失。
- * 两者**在 live 腿看得见、durable 腿回放后永久消失** —— 与 [1622] 的 `label`、[1611] 的 workflowRunId 同一族
+ * 两者**在 live 腿看得见、durable 腿回放后永久消失** —— 与 [ref] 的 `label`、[ref] 的 workflowRunId 同一族
  * (白名单没跟上 core 新增字段)。补 builder 的同时也就把它纳入了 `wire-whitelist-exhaustiveness` 的编译期差集门。
  */
 export declare function turnEndEventData(ev: {
@@ -496,13 +497,13 @@ export declare function turnEndEventData(ev: {
  *  costMicroUsd; core 3.0.0 adds required `totalInputTokens`) → the contract's `TraceTurn.tokens`.
  *  Absent/empty → undefined.
  *
- *  core 3.0.0([2296] 装车单 S3,§DESIGN-V2 V2-②,codex 复审「异议」采纳):`TraceTurn.tokens` 是本服务自有
+ *  core 3.0.0([ref] 装车单 S3,§DESIGN-V2 V2-②,codex 复审「异议」采纳):`TraceTurn.tokens` 是本服务自有
  *  的投影契约,不是 wire verbatim——`in` 保持它一直以来的**总量**语义,3.0.0 起改取 `totalInputTokens`
  *  (归一化总输入含 cache)优先,`inputTokens` 回落(旧帧/尚未升级的 core 下 `totalInputTokens` 缺席时,
  *  `in` 落回旧值,读端零伤)。`uncachedIn` 只在**能确认自己踩在新契约帧上**(`totalInputTokens` 在场)时
  *  才发——旧帧的 `inputTokens` 是族依赖的旧语义,标成「uncachedIn(cache-MISS)」会是谎言。 */
 export declare function toContractTokens(usage: unknown): TraceTurn["tokens"] | undefined;
-/** [2373]C-13:tool_start/tool_end 的**共享挑键**——`projectEvents`(turns 面)与 `mapTraceEvent`
+/** [ref]C-13:tool_start/tool_end 的**共享挑键**——`projectEvents`(turns 面)与 `mapTraceEvent`
  *  (trace SSE 面)对同一账本行的字段选择逐字同构,此前两处独立手写,structured/totalChars/label
  *  三次扩字段各改两遍(见两处对偶注)。收一份:两面各自包装键名皮(id/name/input vs 同名),
  *  字段集合从此单点演进。 */
@@ -544,7 +545,7 @@ export interface TaskSummary {
 /** A run record → the cheap list summary (contract 2.1). Token/cost/turns come from the terminal result.stats;
  *  scenario isn't denormalized on the run row (omitted — a later push-index/column refinement). */
 export declare function taskSummary(run: RunRecord, latestEventType?: string): TaskSummary;
-/** design/158 B2(lens4 N8)—— 重放边界的**读旧**归一:把历史账本里的 `brain_status` 行改叫 `status`。
+/** [ref] B2(lens4 N8)—— 重放边界的**读旧**归一:把历史账本里的 `brain_status` 行改叫 `status`。
  *
  *  同一条「大脑存活性」观测曾在两条腿上叫两个名字:live 腿(`POST /v1/tasks/stream`)发 `type:"status"`,
  *  durable 腿的账本行落 `brain_status`,而 SDK 的公开 `AgentEvent` 联合**只有** `status` —— 于是走

package/dist/trace/project.js

@@ -305,6 +305,7 @@ export function brainStatusEventData(ev) {
         ...(num(ev.maxRetries) ? { maxRetries: ev.maxRetries } : {}),
         ...(num(ev.retryInMs) ? { retryInMs: ev.retryInMs } : {}),
         ...(num(ev.retryAtMs) ? { retryAtMs: ev.retryAtMs } : {}),
+        ...(num(ev.errorStatus) ? { errorStatus: ev.errorStatus } : {}),
         ...(typeof ev.errClass === "string" && ev.errClass.length > 0 ? { errClass: ev.errClass } : {}),
         ...identityFields(ev),
     };

package/dist/turn-activity.d.ts

@@ -1,17 +1,17 @@
 /**
- * #245 S1([3777] 决策卡死墙攻关):进程内 per-task「turn 最后活性时刻」——running 形 409 与
+ * [ref] S1([ref] 决策卡死墙攻关):进程内 per-task「turn 最后活性时刻」——running 形 409 与
  * GET /v1/runs/:id 读面的判别材料 `msSinceLastActivity` 的唯一数据源。
  *
  * 【为什么需要它】run 行的 `updatedAt` 由 liveness heartbeat(独立 `setInterval`,runs.ts)推进——
- * 它只证明 **server 进程**活着;turn 卡死在某个 await 上时心跳照走([3771] 推理缺陷的公开更正)。
+ * 它只证明 **server 进程**活着;turn 卡死在某个 await 上时心跳照走([ref] 推理缺陷的公开更正)。
  * 「turn 真在推进」的证据 = ledger sink 的 durable append(text/tool/status/park/done 全族都过那一条
- * 单写串行链)。cli 的 running 形保守臂([3779] C3)缺的就是这一维:没有它,「真忙的后台 run」与
+ * 单写串行链)。cli 的 running 形保守臂([ref] C3)缺的就是这一维:没有它,「真忙的后台 run」与
  * 「断连僵局」在 wire 上不可分辨,只能猜。
  *
  * 【语义边界(与消费端约定,勿漂)】
  * - **同副本 best-effort**:记录只活在本进程。跨副本命中(claim 持有者在别的副本)或本副本重启后
  *   ⇒ 读不到 ⇒ wire 键**诚实缺席**——缺席 = 「无法证明」,不是「不活」。绝不铸 0(0 会被读成
- *   「刚刚还活着」,错误方向与 [2255] 「宁缺毋假」纪律同族)。
+ *   「刚刚还活着」,错误方向与 [ref] 「宁缺毋假」纪律同族)。
  * - 不落库、不进 SQL 面:这是分诊提示,不是状态机输入;任何门/CAS/resume 判定都不许读它。
  *
  * 【生命周期】终局**不主动清**——409 只在 `running` 行上消费本记录,终局行不进那个分支,残留无害;

package/dist/usage-analytics.d.ts

@@ -31,7 +31,7 @@ export interface UsageRow {
 /**
  * 一行 per-model echo。**五键逐个可选**——本类型描述的不是本进程铸的对象,而是 **DB 里 result JSON 的一段**:
  * 旧版本写的行、别的 producer 写的行、以及 wire 契约本身(SDK `ModelUsageDelta` 五键全可选 + `[k]:unknown`
- * 开放)都可能少键。#59([2052]①):此处原先声明成「全必填」,`projectUsageStats` 又对任意 JSON 做裸 cast,
+ * 开放)都可能少键。#59([ref]①):此处原先声明成「全必填」,`projectUsageStats` 又对任意 JSON 做裸 cast,
  * 于是 fold 侧的裸算术遇缺席就产出 NaN,**一行毒一整窗**(NaN 沿 Σ 传染,JSON.stringify(NaN)==="null",
  * 消费端读到的是「没有数」而不是「少了一行」)。声明改诚实 + fold 侧 {@link numOf} 数值守卫。
  */

package/dist/wall-clock-jump-guard.d.ts

@@ -1,13 +1,13 @@
 /**
  * 墙钟阶跃守卫 —— 给「按墙钟绝对 deadline 做终局判定」的清算腿加一道**单调钟佐证**。
  *
- * 病灶(test [4232] 场景①,libfaketime 真实构造,宿主真钟全程未碰):审批 SLA=45s,把进程内墙钟
+ * 病灶(test [ref] 场景①,libfaketime 真实构造,宿主真钟全程未碰):审批 SLA=45s,把进程内墙钟
  * **前拨 1 小时**,真实只等了约 14 秒审批卡就被 D-D deny-sweep 判超时自动拒绝。链条是清楚的:
  * `checkpoint.deadline` 是 core 在 `put` 时按**当时的墙钟**铸的绝对时刻(必须是墙钟——它要跨进程
  * 重启存活,单调基准一重启就没了),而 sweep 每拍拿 `Date.now()` 去比 `deadline <= cutoff`。墙钟凭空
  * 前跳 J 毫秒 ⇒ 判定钟凭空多走 J 毫秒 ⇒ 人还没走开,窗就没了。
  *
- * [4235] core 半场三定性把判定半场划给本仓:`totalWaitMs` 的墙钟**记账**是设计如此(要跨 durable
+ * [ref] core 半场三定性把判定半场划给本仓:`totalWaitMs` 的墙钟**记账**是设计如此(要跨 durable
  * resume 延续),不改形;**判定**侧可以在进程内用单调钟做窗口佐证,与账面字段互不牵连。本模块就是那道佐证。
  *
  * ## 判据(为什么是「宽限一个完整 SLA」)
@@ -37,7 +37,7 @@
  * 不稳的钟判,也不让 fail-closed 腿永远不跑。绝对兜底始终另有一层:`checkpoint.terminal_at_ms` 由别的
  * reap 腿执行、不经本守卫。
  *
- * ## 方向与响亮度(#157 安全轴)
+ * ## 方向与响亮度([ref] 安全轴)
  * 宽限只会**推迟**一个 fail-closed 动作(deny),绝不会放行任何东西 —— 方向安全。但它必须**响亮**:
  * 检出即 warn(带跳变量与宽限量),宽限期内每拍 info。绝对兜底仍在:`checkpoint.terminal_at_ms`
  * (put 时写死的绝对上限)由另一条 reap 腿执行,不经本守卫 ⇒ 悬挂不可能无限。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema-agent/server",
-  "version": "7.52.1",
+  "version": "7.54.0",
   "description": "Sema Server — the server/API implementation layer for Sema, wiring core, registry, model providers, and cloud agent execution. Built on @sema-agent/core.",
   "type": "module",
   "license": "BUSL-1.1",
@@ -36,8 +36,8 @@
   },
   "scripts": {
     "typecheck": "tsc --noEmit -p tsconfig.typecheck.json",
-    "build": "rm -rf dist && tsc -p tsconfig.build-js.json && tsc -p tsconfig.build-dts.json",
-    "prepublishOnly": "npm run build",
+    "build": "rm -rf dist && tsc -p tsconfig.build-js.json && tsc -p tsconfig.build-dts.json && node scripts/scrub-dist-refs.mjs dist",
+    "prepublishOnly": "npm run build && vitest run test/pack-hygiene.test.ts",
     "start": "node dist/main.js",
     "dev": "tsx src/main.ts",
     "run-local": "node dist/run-local.js",
@@ -54,8 +54,8 @@
     "build:binary:run-local:darwin-arm64": "bun build --compile --target=bun-darwin-arm64 src/run-local.ts --outfile dist/run-local-darwin-arm64"
   },
   "dependencies": {
-    "@sema-agent/core": "7.0.1",
-    "@sema-agent/settings-schema": "1.0.0",
+    "@sema-agent/core": "7.1.0",
+    "@sema-agent/settings-schema": "1.3.0",
     "e2b": "^2.28.0",
     "libsodium-wrappers": "^0.8.4",
     "mysql2": "^3.22.4",
@@ -69,7 +69,7 @@
     "sharp": "^0.35.3"
   },
   "devDependencies": {
-    "@sema-agent/sdk": "7.3.0",
+    "@sema-agent/sdk": "7.4.0",
     "@types/libsodium-wrappers": "^0.7.14",
     "@types/node": "22.10.2",
     "@types/pg": "^8.20.0",