@sema-agent/sdk 23.1.0 → 24.0.0

package/dist/types.d.ts

@@ -323,13 +323,18 @@ export interface TaskRequest {
      *  jobId across its sub-runs so they group into one Task. SDK auto-generates if absent. */
     jobId?: string;
     /** Business/UX system prompt the CLIENT owns (decoupling seam) — STABLE per integrator version (cacheable
-     *  prefix); put per-request context in `objective`. Server cap: >16384 chars → 400. */
+     *  prefix); put per-request context in `objective`. Server cap: >16384 chars → 400.
+     *  🔴 **只给角色层(server ≥7.132.0 / core 7.52.0,行为变)**:本键(以及 {@link appendSystemPrompt} 与折进追加段的 `settings.outputStyle`)**逐字**含引擎提示里的
+     *  一段锁定文本(宪法 / 安全 / 运行环境等段;哪怕只是锁定文本里的一行标题如 `# Harness`)—— 即一份「已组装」的提示 ⇒ 开跑前拒 **`prompt.assembled_role_refused`**
+     *  (同步腿 **400**,一个 token 没烧、不占幂等键;异步 / 活流腿 2xx、同码落终态;存下的续跑体带它 ⇒ 续跑同码失败)。出路:删掉抄进来的引擎段,只发角色文本 —— 引擎的段由引擎组;
+     *  判官只有引擎一只。≤7.131.x 这种提示被原样透传。 */
     systemPrompt?: string;
     /** Append-only system prompt rider (server ≥1.243, ≈ CC `--append-system-prompt`): a STABLE block composed
      *  after the scenario base + `systemPrompt`, before the volatile tail. First-class lane for the shell's
      *  product-knowledge block — `settings.outputStyle` composes AFTER it (byte-stable order), so a style block
      *  and this rider coexist. Probe `capabilities.appendSystemPrompt`; on false/absent fall back to the
-     *  `settings.outputStyle` ride-along. Same cap as `systemPrompt`: >16384 chars → 400. */
+     *  `settings.outputStyle` ride-along. Same cap as `systemPrompt`: >16384 chars → 400.
+     *  🔴 server ≥7.132.0:带引擎提示段原文 ⇒ 开跑前拒 `prompt.assembled_role_refused`(同 {@link systemPrompt} 那一条律;句子说的是 `the task's appendSystemPrompt …`)。 */
     appendSystemPrompt?: string;
     /** server ≥7.121.0 —— 输出风格的**每轮一句**:原样投给引擎的同名座位(`TaskSpec.outputStyle`),引擎在每个附件周期用自己的标记帧陈述
      *  「`<name>` output style is active. `<turnReminder>`」(`turnReminder` 缺席 ⇒ 引擎的缺省句),流上回声 `steering_injected` `source:"output_style"`。
@@ -458,7 +463,14 @@ export interface TaskRequest {
     /** §sandbox-image-select（P0.5）：送**镜像 profile 意图**（≤128 chars），service 内部按 trusted
      *  principal 用 `latestPublished(profile, viewer)` **fail-closed** 解析 digest + 再准入 → per-pod 起像（复用 select 同 visibility）。
      *  🔴 caller **永远只送 profile,绝不送 digest/ref**（信 caller digest = fail-OPEN，对抗审逮 4 越权）；解析/准入 100% 在 service 信任边界。
-     *  v1 约束（违反 → 400）：仅 k8s 后端；**不与 `verify`/`cascade` 同用**（镜像绑定按 sessionId，子运行换 session 会静默回退默认像，宁可 fail-loud）。 */
+     *  v1 约束（违反 → 400）：仅 k8s 后端；**不与 `verify`/`cascade` 同用**（镜像绑定按 sessionId，子运行换 session 会静默回退默认像，宁可 fail-loud）。
+     *  🔴 **server ≥7.132.0 沙箱车道的受理拒各带机读码**(一个事实一个码,一码一状态;此前无码、按状态给粗码):
+     *   · 执行车道不是 k8s ⇒ **501 `capability.k8s_lane_required`**(新码;≤7.131.x 是无码 400,句子不变)—— 这台部署接不了每任务镜像,换部署形态;
+     *     `capabilities.executionLane.provider !== "k8s"` 即可预判;落 `CapabilityUnavailableError`(`capability.` 前缀族);
+     *   · k8s 车道而本部署没有镜像索引 ⇒ **501 `capability.image_index_required`**(此前 400;与 `/v1/images*` 同一事实同一码;句子说真因:需要 SQL store 后端);
+     *   · 这次请求没有解析出会话 ⇒ 400 `request.precondition_unmet`;档案没有本主体可见的已发布镜像 / 可见的那份不具备 {@link capabilitiesNeeded} 要的能力 ⇒ 404 `not_found.image`;
+     *     `capabilitiesNeeded` 里有不认识的能力词 ⇒ 400 `request.field_invalid`。
+     *   会话上 `SelectEnvironment` 选过的档案在下一个任务边界生效时同判。续跑腿上这几类照例折成 409 `resume_blocked_by_policy`,`blockedBy` 即上面的码。按码分支,别锚句子。 */
     sandboxImageProfile?: string;
     /** 约束选中像须具备的 bool 能力（`browser`/`db`/`nestedBuild`）；**单独给（无 `sandboxImageProfile`）→ 400**。 */
     capabilitiesNeeded?: string[];
@@ -818,16 +830,18 @@ export interface TaskRequest {
      *  Malformed (non-array / empty-string items) → 400 fail-loud at submit.
      *  🔴 **server ≥7.126.0(core 7.49.0 #1623;契约 G.9e)—— 与 {@link allowTools} 读同一文法**:条目 = wire 名或别名、`Tool(content)`(整只工具)、`mcp__srv` / `mcp__srv__*` / 工具段通配;
      *  名单里有一个这一 run **没有任何工具答应**的名字:**server 7.126.0–7.128.x** 引擎开跑前拒 `config.tool_face_control`(同步腿 400,一个 token 没烧;流式 / 后台腿是 `failed` 终局带同码);
-     *  🔴 **server ≥7.129.0 照跑**(行为变化,零型变):条目原样保留(现在什么都不拒,之后挂上同名工具即生效),运维行 `runner_config_advisory` 每条告知一次并带该写的拼法 ——
-     *  按名读:`excludeTools:["bash"]` 拒不了 `Bash`。`config.tool_face_control` 只剩任何工具名都不可能有的拼法。
+     *  **server ≥7.129.0 照跑**:条目原样保留(现在什么都不拒,之后挂上同名工具即生效),运维行 `runner_config_advisory` 每条告知一次并带该写的拼法。`config.tool_face_control` 只剩任何工具名都不可能有的拼法。
+     *  🔴 **server ≥7.131.0 写错的名字受理口前置拒**:大小写孪生(`BASH`)、退役拼法(`bash` · `Task`)、文法读不出的拼法与 `*`(放行方向的静默:以为禁了、其实没禁)⇒ 400 `config.tool_face_control`,句子点名现名。
      *  `"*"` 在这张名单上也被拒(此前它是一只叫 `*` 的工具;「卸全部」的拼法仍只有 {@link excludeAllTools})。deny 赢:可用工具 = 这一 run 挂的一切 ∩ {@link allowTools} − 本名单。 */
     excludeTools?: string[];
     /** server ≥7.126.0(core 7.49.0 #1623;契约 G.9e):这一 run 的**可用性选择器**,原样进引擎的 `TaskSpec.allowTools` —— server 零读法:不算补集、不过滤条目、`[]` 不折成缺席、不与 `settings.permissions.allow`
      *  (allow 层,免问)混词。可用工具 = 这一 run 挂的一切(调用方工具、手、引擎自己的工具、MCP / A2A、场景与腿工具)∩ 本名单 − {@link excludeTools}(deny 赢),由引擎在开跑前一次算出。
      *  🔴 **读法**:`["*"]` = 本层不设名单(缺席同义);`[]` = 什么都不给;条目 = wire 名或别名、`Tool(content)`(整只工具)、`mcp__srv` / `mcp__srv__*` / 工具段通配(`mcp__*` 在这张名单上被拒)。
      *  腿的协议工具(委派子代的 `ReportBlocked` 等)不需要点名。子代定义的 {@link TaskAgentDefinition.allowTools} / `denyTools` 与本键是**同一只选择器**(三来源同判)。
-     *  🔴 **没人答应的名字**:**server 7.126.0–7.128.x** 名单里有一个没有任何工具答应的名字 ⇒ `config.tool_face_control`(同步腿 **400**,一个 token 没烧;流式 / 后台腿是 `failed` 终局带同码;子代那一路的同类拒是终局码 `config.agent.unknown_tool`,不是 HTTP 码);
-     *  **server ≥7.129.0 照跑**:条目原样保留(今天什么都不准,之后挂上同名工具即生效),运维行 `runner_config_advisory` 每条告知一次并带该写的拼法(按名读:`allowTools:["bash"]` 准不了 `Bash`)。两码只剩任何工具名都不可能有的拼法。
+     *  🔴 **没人答应的名字**:**server 7.126.0–7.128.x** 名单里有一个没有任何工具答应的名字 ⇒ `config.tool_face_control`(同步腿 **400**,一个 token 没烧;流式 / 后台腿是 `failed` 终局带同码);
+     *  **server ≥7.129.0 照跑**:条目原样保留(今天什么都不准,之后挂上同名工具即生效),运维行 `runner_config_advisory` 每条告知一次并带该写的拼法。
+     *  🔴 **server ≥7.132.0(引擎 7.52.0)写错的名字开跑前拒**:近似名与**有后继的退役名**(`Task` ⇒ `Agent`、`bash` ⇒ `Bash`)⇒ 根 `allowTools` 答 **400 `config.tool_face_control`**、子代 `allowTools` 答
+     *  **400 `config.agent.unknown_tool`**(同步腿;子代那一形此前是 200 + failed;异步 / 活流腿 2xx、同码落终态),句子点名该条与现名。内容形与没有后继的退役名(`MultiEdit`)照跑。
      *  坏形(非字符串数组)⇒ 400 `request.field_invalid`,与 `excludeTools` / `deferTools` 同一只门。引擎不认该座(装着的引擎 < 7.49.0)⇒ 响亮拒 400 `request.field_invalid` 点名 `allowTools`(不静默丢:丢一只收窄键就是放宽)。
      *  🔴 **探测靠键闭集,没有能力位**:≤7.125.x 对它答 `400 request.body_shape` 并在 `unknownKeys` 里列名。⚠️ 辖域:A2A 入站面(`message/send`)不承载本键。 */
     allowTools?: string[];
@@ -998,9 +1012,16 @@ export interface TaskAgentDefinition {
     whenToUseLean?: string;
     /** Allowlist of tool names the agent may use. Omit ⇒ inherit all tools.
      *  server ≥7.126.0(core 7.49.0 #1623):名字归引擎一只判 —— 与根 run 的 {@link TaskRequest.allowTools} / {@link TaskRequest.excludeTools} 是同一只选择器(开跑前,三来源同判);
-     *  没有任何工具答应的名字:server 7.126.0–7.128.x ⇒ 整 run 拒终局码 `config.agent.unknown_tool`(不是 HTTP 码;server 受理口只判形与条数);**server ≥7.129.0 照跑**(条目原样保留,运维行 `runner_config_advisory` 告知一次,`denyTools:["bash"]` 拒不了 `Bash`)。 */
+     *  没有任何工具答应的名字:server 7.126.0–7.128.x ⇒ 整 run 拒终局码 `config.agent.unknown_tool`(那一代不是 HTTP 码;server 受理口只判形与条数);**server ≥7.129.0 照跑**(条目原样保留,运维行 `runner_config_advisory` 告知一次)。
+     *  🔴 **写错的名字(server ≥7.131.0 / 7.132.0)**:本清单里的**近似名**(`BASH`)受理口前置拒(7.131.0);**有后继的退役名**(`Task` ⇒ `Agent`、`bash` ⇒ `Bash`)与文法不可能的拼法
+     *  7.132.0 起由引擎开跑前拒 —— 码都是 **`config.agent.unknown_tool`**,同步腿 **400**(7.132.0 起;此前引擎那一形答 HTTP 200 + `failed` 终局体),一个 token 没烧、不占幂等键;
+     *  异步 / 活流腿 HTTP 2xx、同码落在终态 run 行。句子点名子代、条目与现名(原因词在句子里,机读位 `terminal.detail.detail.reason` 不再上 wire)。只在整次提交零 turn 零 token 时答 400
+     *  (verify / cascade 前一轮已跑 ⇒ 仍 200 + failed)。内容形(`Agent(Explore)`)与没有后继的退役名(`MultiEdit`)照受理、交引擎通告;真未知名照跑、告运维。 */
     allowTools?: string[];
-    /** Denylist of tool names (subtractive; applied after `allowTools`). 同上:server ≥7.126.0 起读同一只选择器(`Tool(content)` ⇒ 整只工具;`denyTools:["Monitor"]` ⇒ 子代没有 `Monitor`)。 */
+    /** Denylist of tool names (subtractive; applied after `allowTools`). 同上:server ≥7.126.0 起读同一只选择器(`Tool(content)` ⇒ 整只工具;`denyTools:["Monitor"]` ⇒ 子代没有 `Monitor`)。
+     *  🔴 **server ≥7.131.0 引擎读成空的条目受理口前置拒**(限制侧读成空 = 放行,以为禁了的工具照用):近似名(`BASH`)、退役名(`bash` · `Task`)、任何工具名都不可能有的拼法、`*` ⇒
+     *  **400 `config.agent.unknown_tool`**(同步 / 流式 / 后台三条腿都是提交时 400),`error` = `agents[<i>].denyTools entry "<条目>" reads as nothing (<原因词>): <怎么写> — …`;清单超 1000 条 ⇒
+     *  `request.field_invalid`(撞帽机读位见 {@link import("./errors.js").RequestFieldRefusalExtra})。续跑重放存量体带这类条目 ⇒ 认领之前 409 `resume_blocked_by_policy`(`blockedBy: "config.agent.unknown_tool"`)。 */
     denyTools?: string[];
     /** Skills preloaded into the agent: `{ name, description, content }` (+ optional allowedTools / disallowedTools / files).
      *  server ≥7.116.0:子代技能受理两只清单(`allowedTools` / `disallowedTools`,读法见 {@link SkillSpec.allowedTools};≤7.115.x 是未知键整条拒)。
@@ -1584,13 +1605,16 @@ export interface ModelCompat {
  *    `keyless` 哪儿都没凭据的本地无鉴权网关);
  *  · 🔴 **23.0.0 BREAKING(server ≥7.129.0 / 引擎 7.51.0)**:`ok:unpinned`(部署凭据、部署没声明根 ⇒ 配对不可验证)**退役、零别名** —— 没声明根的部署上,
  *    部署凭据现在由引擎判 `broken:credential_mismatch`。server ≤7.128.x 仍会发 `ok:unpinned`:它落在下面的开集尾,**按通用「配对未验证」渲,别当成好**;
- *  · `broken:*` 两词 = 真请求会被引擎拒(标红,给这只模型配 per-model 凭据或挪到部署根上);
+ *  · `broken:*` 四词 = 真请求会被引擎拒(标红):`credential_mismatch` / `credential_missing`(给这只模型配 per-model 凭据或挪到部署根上);
+ *    **server ≥7.132.0 / 引擎 7.52.0 +两词** —— `credential_origin_mismatch`(这只模型自己的凭据绑在它第一次发往的主机上,这一行现在指向另一台主机:给新主机配一份凭据,
+ *    或把它指回原主机;同一条拒在流上是 `engine_notice` `route.credential_origin_mismatch`)· `credential_answer_conflict`(per-model 凭据钩子的答复把同一把钥匙交了两遍 ——
+ *    `apiKey` 与该车道自己写钥匙的那个头同时在场:只答其一);
  *  · `unknown` = 判不了。**不要**渲成「好」或「坏」,渲「未知」。
  *  🔴 **真开集**(`(string & {})` 逃生口不是装饰):core 把 `verdict.posture` 直接内插进 `ok:${…}`,
  *  server 的铸点与 core 的那只函数**全路径没有一处运行期成员判定** —— 一只自带 `adjudicateRoute` 的 brain
  *  供什么词就上什么词。开/闭按**产方是否真判成员**定(8.4.0 拆假开集的同一条判据),所以这里给字面量
- *  补全但**不执法**:switch 认上面六词,再留一条 default 臂当「未知」。 */
-export type RoutePairingStatus = "ok:per-model" | "ok:paired" | "ok:keyless" | "broken:credential_mismatch" | "broken:credential_missing" | "unknown" | (string & {});
+ *  补全但**不执法**:switch 认上面八词(core `RoutePairingStatus` 今天的全集),再留一条 default 臂当「未知」。 */
+export type RoutePairingStatus = "ok:per-model" | "ok:paired" | "ok:keyless" | "broken:credential_mismatch" | "broken:credential_missing" | "broken:credential_origin_mismatch" | "broken:credential_answer_conflict" | "unknown" | (string & {});
 /** `GET /v1/models` 的非密钥模型目录条目（core 1.116 `@model` mention 线;service src/http/routes/capabilities.ts）。
  *  `name` = `@handle`（用户在正文打 `@<name>` per-task 选它）。🔴 **只名/能力,无 baseUrl/apiKey/headers**（service 已剥）。 */
 export interface ModelInfo {
@@ -2621,32 +2645,55 @@ export interface CheckpointGate {
     toolName?: string;
     [k: string]: unknown;
 }
-/** The prompt-assembly manifest (server ≥1.219 — core `prompt.assembled` trace contract verbatim,
- *  service budget.ts `promptManifestRecordOf` 实拆): constitution ownership + per-section digests +
- *  the tool contract summary. Carries ONLY ids/digests/counts — NEVER prompt bodies (privacy boundary);
- *  hashes are process-salted (NOT comparable across worker restarts — UI must not diff them cross-process).
- *  v1 face = constitution/blocks/totalChars; `sections`/`tools` are the v2 additive face (absent on a
- *  v1-only engine). ⚠️ One task can carry MULTIPLE manifests: a cascade/verify run re-prepares under one
- *  taskId and every rung's manifest is persisted in emission order (server runs.ts flushPromptManifest). */
+/**
+ * **提示清单 v3**(server ≥7.132.0 = 引擎 7.52.0 清单 v3;**BREAKING**)—— 这条腿的提示**是哪一份**(`identity` + 它的选择器值 `selectors`)、由哪些块与段组成、
+ * 每一段的文本从哪里来(`chain`,被取代的 overlay 另在 `superseded`)。只有 id / 尺寸 / 摘要,**没有提示正文**(隐私边界)。每次 prepare 一行(cascade / verify 在同一
+ * taskId 下重新 prepare,逐行按序)。三个出口同一行、原样:账本回放 `GET /v1/runs/:id/events` 的 `prompt_assembled`、`GET /v1/tasks/:id/turns` 的 `prompt-assembled` 块、
+ * trace SSE 的 `prompt-assembled` 帧。成员 = 引擎帧(`prompt.assembled`)减信封(`kind` / `version` / `taskId` / `ts`)与 `snapshot` / `lowering`(server `promptManifestRecordOf`)。
+ *
+ * 🔴 **读法**(server 契约 §G.10 逐句):**每个成员都可能缺席** —— 可选成员缺席 = 「没有」,不折成空值;在场却读不出的成员 server 不上行(`identity` / `selectors` 整句、
+ *   段 / 块 / `superseded` / 工具一行一判),所以「v3 行上缺 `identity`」= 引擎交出的身份读不出(已丢弃并计数),**不是**旧行。空列表是一句陈述(`tools: []` = 零工具)。
+ *   词(档名、激活方式、来源类、渲染器 id、host 的 role / form)**按开集读**,server 原样过境(词表属主 = 引擎)。
+ * 🔴 **这条腿运行的是哪一份提示只有一种读法:`identity`**(`identity.artifact` = 身份摘要;`identity.layers.binding` 自 7.132.0 起恒有场景名的摘要)。
+ * 🔴 **BREAKING(server 7.132.0,零别名)**:v2 的顶层 `constitution` 删(宪法档锁定、只由引擎组;逐字含锁定段的提示在开跑前被拒 `prompt.assembled_role_refused`);
+ *   `sections[]` 去 `slot` / `carrier` / `cadence` / `cacheClass`、`hash` → `contentHash`(`sha256:` 未加盐 = 已发布文本 / `salted:` = 带本任务或本 run 自己的输入),
+ *   加 `band`(恒在)/ `variant?` / `renderer?` / `locale` / `chain`;顶层加 `identity` / `selectors` / `superseded?`。运维指标 `prompt_constitution_total` 退役无替代。
+ * ⚠️ **旧行**:7.131.x 及更早写下的账本行保留 v2 形,server 不回读、不改写 —— 一条升级前停驻、升级后续跑的 run,账本里两形并存。判别只有一只、属主是 server:
+ *   **带 `constitution` 的是旧行**(旧行恒带它,v3 行永不带),型见 {@link PromptManifestRetiredRow};三个出口的型 = {@link PromptManifestRow}。
+ * ⚠️ 块的 `hash` 是**进程加盐**的短摘要(跨 worker 重启不可比,UI 别跨进程 diff)。
+ */
 export interface PromptManifest {
-    /** Who owned the constitution layer: "core" is the steady state; anything else is worth eyes. */
-    constitution: "core" | "replaced" | "provider-assembled" | "legacy" | (string & {});
-    blocks: Array<{
+    /** 这条腿的提示身份(core `PromptManifestIdentity`):`artifact` = 身份摘要(四个输入层的唯一摘要),`layers` = 它的输入层(只有 `center` 被钉、续跑按摘要还原),
+     *  `epoch` / `activatedBy` = 点名它的那条会话 epoch 记录(计数与成因,见 {@link PromptEpochDescriptor})。整句读不出 ⇒ 缺席。 */
+    identity?: PromptManifestIdentity;
+    /** 这条腿的选择器值(core `PromptManifestSelectors`)—— `identity.layers.binding` 的明文形:`binding?` = 场景名(server ≥7.132.0 恒由 `TaskSpec.promptBinding` 写入)、
+     *  `traits`、`host { role, form }`(引擎词:role `general` / `code` / `coordinator` / `cowork`,form `standard` / `minimal`;开集读)、`facts`(名 → 布尔)。整句读不出 ⇒ 缺席。 */
+    selectors?: {
+        binding?: string;
+        traits: string[];
+        host: {
+            role: string;
+            form: string;
+        };
+        facts: Record<string, boolean>;
+    };
+    /** 有序块:稳定 id(`role.base` / `harness.context` / `memory.safety` / `env.context` / `memory.tail` …)、字符数、进程加盐的短摘要。读不出的块逐个丢。 */
+    blocks?: Array<{
         id: string;
         chars: number;
         hash: string;
-        [k: string]: unknown;
     }>;
-    sections?: Array<{
+    /** 渲染出来的段,一段一行(读不出的段逐个丢),形见 {@link PromptManifestSection}。 */
+    sections?: PromptManifestSection[];
+    /** 这次组合**取代**了的 overlay(同一目标上后来的胜了,或它这一 run 什么都没改):`supersededBy` = 胜者 overlay 的 id,或字面 `(absent this run)`。缺席 = 没有被取代的。 */
+    superseded?: Array<{
         id: string;
-        slot: string;
-        carrier: string;
-        cadence: string;
-        cacheClass: string;
-        chars: number;
-        hash: string;
-        [k: string]: unknown;
+        source: string;
+        by: string;
+        target: string;
+        supersededBy: string;
     }>;
+    /** 挂载的工具面(初始挂载;延迟激活经 `tools_delta` 宣告):每只工具的契约身份、重放别名、形状摘要与整份 wire schema 摘要(内容寻址)。 */
     tools?: Array<{
         wireName: string;
         aliases: string[];
@@ -2655,24 +2702,105 @@ export interface PromptManifest {
         cardId: string;
         shapeDigest: string;
         wireSchemaDigest: string;
-        [k: string]: unknown;
     }>;
-    totalChars: number;
-    [k: string]: unknown;
+    /** 延迟工具的披露策略(core `ToolDisclosureManifest`):`deferredTools` 条数、生效的 `strategy`(`swap` / `static`)与选它的那一席 `source`(`spec` / `env` / `default` /
+     *  `degraded_no_direct_lane`);这条腿什么都没延迟 ⇒ 缺席。 */
+    toolDisclosure?: {
+        deferredTools: number;
+        strategy: string;
+        source: string;
+    };
+    /** 提示总字符数。 */
+    totalChars?: number;
 }
-/** A session's prompt-epoch pin (server ≥1.220 `GET /v1/sessions/:id` additive `promptEpoch`; core
- *  `session.getPromptEpoch()` contract verbatim, service audit.ts 实拆). Absent key = a pre-epoch
- *  session (never null). `activatedBy: "legacy_migration"` = the one-time re-pin after an engine
- *  upgrade (normal, not an anomaly). */
-export interface PromptEpoch {
+/** {@link PromptManifest.identity} 的形(core `PromptManifestIdentity`)。 */
+export interface PromptManifestIdentity {
+    artifact: string;
+    /** 身份的输入层(core `PromptIdentityLayers`;会话 epoch 记录 {@link PromptEpochDescriptor.layers} 是同一个形)。 */
+    layers: PromptIdentityLayers;
     epoch: number;
-    /** `sha256:<64 hex>` — core's normalize gate rejects anything else (a bad pin reads as absent). */
-    artifactDigest: string;
-    packId: string;
-    assemblyApi: number;
-    activatedBy: "session_start" | "compaction" | "legacy_migration" | (string & {});
-    [k: string]: unknown;
+    /** 点名它的 epoch 记录是怎么来的(core `PROMPT_EPOCH_ACTIVATIONS`:`session_start` / `compaction` / `code_change` / `selection_change`;开集读)。 */
+    activatedBy: string;
+}
+/** 一段渲染出来的提示段(core `PromptManifestSection`):在哪(`band` 档 / `rank`)、哪个变体与渲染器做的、谁的文本(`locale`:`canonical` 目录原文 / `overlay` overlay 作者写的)、
+ *  内容摘要(`contentHash`:`sha256:` 未加盐 = 已发布文本,`salted:` = 带本任务或本 run 自己的输入的文本)与它的历史 `chain`(`source` = `bundled` 或 overlay 来源类,
+ *  `overlay` / `op` = 改它的那只 overlay 与操作,`superseded: true` = 这一环被后来的取代)。`band` 恒在;`variant` / `renderer` 只在有时在场。 */
+export interface PromptManifestSection {
+    id: string;
+    band: string;
+    rank: number;
+    variant?: string;
+    /** 渲染器(core `RENDERER_IDS`:`role-base` / `model-guidance` / `mcp-instructions` / `reminder-mark` / `environment` / `memory`;开集读)与它的版本。 */
+    renderer?: {
+        id: string;
+        version: number;
+    };
+    chars: number;
+    locale: string;
+    contentHash: string;
+    chain: Array<{
+        source: string;
+        overlay?: string;
+        op?: string;
+        superseded?: true;
+    }>;
 }
+/**
+ * **旧行**:7.131.x 及更早写下的 `prompt_assembled` 账本行(v2 形:顶层 `constitution` + 槽键段)。server 不回读、不改写,原样交出 ⇒ 一条升级前停驻、升级后续跑的
+ * run 的账本里它与 v3 行并存。判别只有一只、属主是 server 契约:**`constitution` 在场 ⇔ 旧行**。本包**不再为旧形的成员具型**(v2 读法已退役):`"constitution" in row`
+ * 收窄到本型后只剩不透明的成员,要么跳过、要么只读 `totalChars` 一类与 v3 同名同义的数。
+ */
+export type PromptManifestRetiredRow = {
+    constitution: string;
+    readonly [member: string]: unknown;
+};
+/** 三个出口(账本 `prompt_assembled`、turns `prompt-assembled` 块、trace `prompt-assembled` 帧)上一行的型:v3 行或旧行,按 `"constitution" in row` 判。 */
+export type PromptManifestRow = PromptManifest | PromptManifestRetiredRow;
+/** 会话提示 epoch 记录的输入层(core `PromptIdentityLayers`;清单 {@link PromptManifestIdentity.layers} 同形)。只有 `center` 被钉(续跑按摘要还原),其余是那一跑算出来的、
+ *  留着让后来的跑说清改了什么。`center` / `deploy` / `task` 缺席 = 那一层什么都没贡献;`binding` = 选择器值的摘要;`renderers` = 渲染器 id → 版本。 */
+export interface PromptIdentityLayers {
+    catalog: string;
+    renderers: Record<string, number>;
+    /** 采纳的中心 artifact 的摘要。 */
+    center?: string;
+    deploy?: string;
+    task?: string;
+    binding: string;
+}
+/** 一条 v3 epoch 记录(core `PromptEpochDescriptor`)。 */
+export interface PromptEpochDescriptor {
+    /** 每会话单调的记录计数。 */
+    epoch: number;
+    /** 这一跑的提示身份(= 清单的 `identity.artifact`)。 */
+    identity: string;
+    layers: PromptIdentityLayers;
+    /** 记录怎么来的(core `PROMPT_EPOCH_ACTIVATIONS`:`session_start` / `compaction` 是合法边界;`code_change` = 代码或输入层动了;`selection_change` = 只有选择器值动了)。
+     *  🔴 **闭集**:引擎的判官 `normalizePromptEpoch` 按这张表判成员,集外词的记录读不成 `pin` ⇒ 到不了 wire(产方真判成员 ⇒ 型闭,带编译期穷尽性)。 */
+    activatedBy: PromptEpochActivation;
+    /** 只在 `code_change` 且改了哪几层已知时在场(见 {@link PromptEpochChange};同样闭集)。 */
+    changed?: PromptEpochChange[];
+    /** 钉住的中心层的发布出处(不透明;只与 `layers.center` 同在,不进摘要)。 */
+    sourceRevision?: string;
+}
+/** {@link PromptEpochDescriptor.activatedBy} 的闭集 = 引擎 `PROMPT_EPOCH_ACTIVATIONS`(逐词,钉在 `server-7132-wire` E1)。 */
+export type PromptEpochActivation = "session_start" | "compaction" | "code_change" | "selection_change";
+/** {@link PromptEpochDescriptor.changed} 的闭集 = 引擎 `PROMPT_EPOCH_CHANGES`:`catalog` / `renderers` / `deploy` / `task` / `published_schema`(退役形的中心钉被当前中心层替换的那一次)。 */
+export type PromptEpochChange = "catalog" | "renderers" | "deploy" | "task" | "published_schema";
+/**
+ * 会话的提示 epoch(`GET /v1/sessions/:id` 的 `promptEpoch`;server ≥7.132.0 = 引擎 `StoredPromptEpoch` **读数原样**,server 不读不投、逐字附上;**BREAKING**)。
+ *  · `{ kind: "pin", descriptor }` —— 一条 v3 记录({@link PromptEpochDescriptor});
+ *  · `{ kind: "legacy", centerPinned }` —— 一条已退役形的记录(按字段名认出;引擎只读它钉没钉中心 artifact):下一跑会把它换成 v3 记录(`code_change`)。
+ * 键缺席 = 没有 epoch 的会话(从不是 `null`)。
+ * 🔴 **BREAKING(server 7.132.0,零别名)**:≤7.131.x 的形 `{ epoch, artifactDigest, packId, assemblyApi, activatedBy }` 退役 —— 引擎 7.52.0 起只交上面两臂。
+ *   旧形的 `epoch` / `activatedBy` 在 `descriptor` 里,`artifactDigest` 由 `descriptor.identity` 承担(身份摘要的输入不同,两者不可比),`packId` / `assemblyApi` 无继任。
+ */
+export type PromptEpoch = {
+    kind: "pin";
+    descriptor: PromptEpochDescriptor;
+} | {
+    kind: "legacy";
+    centerPinned: boolean;
+};
 /** A trace turn (GET /v1/tasks/:id/turns items — true shape). role currently only
  *  "assistant" (user/system/tool reserved). */
 export interface TraceTurn {
@@ -3205,33 +3333,53 @@ export interface McpServerLiveness {
  */
 export type McpLivenessState = "reachable" | "unreachable" | "unknown";
 /**
- * 一条腿的**钩子席位名册**里的**一行**(core 7.18.0 #789,server ≥7.78.0;**租户可见**):这条腿真接了
- * 哪一族钩子、席位来自哪一层、以及 `preToolUse` 那一行是不是被声明成了只观察。
- *
- * 🔴 **在场 iff 至少一席接了**:core **从不发空数组**,所以「键在场」⇒ 非空。
- * 🔴 **整键缺席的读法是「本条腿没有自己的钩子记录」,不是「没有钩子会跑」** —— 一只没有本地记录的
- *   子代仍可能被**祖先**的 `preToolUse` 经约束折叠筛掉(甚至拒掉),core 这一面刻意不把那称作**本腿**的
- *   钩子。把缺席读成「这条腿不过钩子」会得出相反的结论。
- * 🔴 **坏行的处置**:缺 `family`/`owner` 的行由 server **逐条**丢弃(与 {@link WiringManifestMcpEntry}
- *   同规),整段非数组 ⇒ 整键缺席。所以读到的每一行都保证有这两键。
- * 🔴 本段**不进** {@link WiringManifest.configFingerprint}(core:钩子记录是 per-task 座)⇒ 两条腿指纹
- *   相同而 `hooks[]` 不同**不是**矛盾。
- *
- * ⚠️ 与 {@link WiringManifestMcpEntry} 同一条裁定:**必须是 `type` 而不是 `interface`**(隐式索引签名,
- * 理由与回归钉见那一型的顶注)。
+ * 一条腿的 **mods 准入记录**里的**一行**(core 7.52.0 `ModAdmissionRecord`,server ≥7.132.0;**租户可见**)—— 两种注册席(`deployment` / `task`)上的每一张注册一行,
+ * 按引擎的跑序(档 → 部署先于任务 → 座内顺序):**挂上的**({@link WiringManifestModMounted})或**被拒的**({@link WiringManifestModRefused})。
+ * 判别读在场:挂上的行带 `events`,被拒的行带 `refusedBy` + `reason`(二者恒不同在)—— `"refusedBy" in row`。
+ *
+ * 🔴 **BREAKING(server 7.132.0)**:取代钩子席位名册 `hooks[]`(`{ family, owner, observational? }`;引擎 7.52.0 退役、零别名)。旧键与旧行形在本包整删:
+ *   读 `manifest.hooks` 的消费端改读 `manifest.mods`;一只 `settings.hooks` 请求钩子在新形里是任务座注册 `settings.hooks`(一行)。
+ * 🔴 **在场 iff 这条腿有注册**:本服务每条腿恒挂拒绝计量注册(`server.permission-denied-meter`;`TOOL_TRACE=true` 另有 `server.tool-trace`,品牌部署另有 `server.brand-identity`)
+ *   ⇒ 本服务的腿上这一段恒在场且至少一行。**缺席 ≠「没有扩展判这条腿的调用」**(core 逐字):委派子代仍可能经祖先链的约束被判。
+ * 🔴 **串的出口纪律只有一种**:注册名与判官写的话(`name` / `refusedBy` / `reason` / `skipped[]` 三键)是注册方定的串,过 server 唯一的 wire 文本出口(凭据形换记号 + 截长),
+ *   与通告 `mods.registration_refused` 的 `detail` 同一只 ⇒ 同一件事在两个出口逐字节相等;`seat` / `tier` / `events` / `observe` 是引擎词,逐字透传(词表属主 core,按开集读)。
+ * 🔴 两形都读不成的行由 server **逐条**丢弃(全丢光 ⇒ 整键缺席);本段**不进** {@link WiringManifest.configFingerprint}(任务座是 per-task 座)。
  */
-export type WiringManifestHookEntry = {
-    /** 钩子族。core 的闭集词(`preToolUse` / `postToolUse` / `userPromptSubmit` / `stop` /
-     *  `postToolUseFailure` / `postToolBatch` / `preCompact` / `postCompact` / `stopFailure` /
-     *  `permissionDenied`),但**按开集读** —— server 逐字透传不枚举,core 加一族要能穿过你的 default 臂。 */
-    family: string;
-    /** 这一席来自 spec 还是 deps(core `SeamProvenance`)。同样**闭集声明、开集读**。 */
-    owner: "spec" | "deps" | (string & {});
-    /** 只在 `preToolUse` 行、且部署**显式声明**过 `preToolUseObservational` 时在场:它仍在每次调用上跑,
-     *  只是不折进被委派子代的继承约束里。
-     *  🔴 **never-false**:core 逐字「Absence means "not declared", never "declared false"」⇒ 缺席**禁**读成
-     *  `false`(那是「声明了不观察」,是另一件事)。 */
-    observational?: true;
+export type WiringManifestModEntry = WiringManifestModMounted | WiringManifestModRefused;
+/** 注册来自哪一席:core `MOD_SEATS`(`deployment` / `task`)。引擎词,server 逐字透传(echo-only);闭集声明、开集读。mods 行与通告 detail 共用这**一处**。 */
+export type ModSeat = "deployment" | "task" | (string & {});
+/** 注册的档:core `MOD_TIERS`(`prepend` / `user` / `append` / `builtin` / `core`)。引擎词,server 逐字透传;闭集声明、开集读。mods 行与通告 detail 共用这**一处**。 */
+export type ModTier = "prepend" | "user" | "append" | "builtin" | "core" | (string & {});
+/** {@link WiringManifestModEntry} 的**挂上**形。⚠️ `type` 而不是 `interface`:与 {@link WiringManifestMcpEntry} 同一条裁定(隐式索引签名,理由与回归钉见那一型的顶注)。 */
+export type WiringManifestModMounted = {
+    /** 注册名(注册方的串,UNTRUSTED-for-display)。 */
+    name: string;
+    /** 来自哪一席(见 {@link ModSeat})。 */
+    seat: ModSeat;
+    /** 档(见 {@link ModTier})。 */
+    tier: ModTier;
+    /** 它**真挂上**的事件模式(引擎词,逐字)。 */
+    events: string[];
+    /** 其中声明为只观察的那些模式;缺席 = 没有观察 handler(正面事实)。 */
+    observe?: string[];
+    /** 准入它时被跳过的判官(core `ModSkip`):`cause` = core `MOD_FAILURE_CAUSES`(今天 `threw` / `timeout` / `violation` / `reentry`;开集读),
+     *  `registration` / `reason` = 注册方的串。**在场 iff 非空**(缺席 = 每个判官都答了);缺成员的元素由 server 逐个丢弃。 */
+    skipped?: Array<{
+        registration: string;
+        cause: string;
+        reason: string;
+    }>;
+};
+/** {@link WiringManifestModEntry} 的**被拒**形:准入时被另一张注册的 `plugin.register` 判官拒了,这条腿照跑、少了它。同一只拒也作 `engine_notice`
+ *  `mods.registration_refused` 上流(`detail` 的串与本行逐字节相等,见 {@link import("./events.js").ModsRegistrationRefusedDetail})。本服务今天没有任何 `plugin.register` 判官 ⇒ 到达不了。 */
+export type WiringManifestModRefused = {
+    name: string;
+    seat: ModSeat;
+    tier: ModTier;
+    /** 拒它的那张注册(注册方的串)。 */
+    refusedBy: string;
+    /** 判拒的那张注册写的话(注册方的串,UNTRUSTED-for-display)。 */
+    reason: string;
 };
 /**
  * 一条腿的 **LSP 代码智能接缝**(core 7.18.0 #789,server ≥7.78.0;**租户可见**)。
@@ -3455,10 +3603,11 @@ export type TraceBlock = {
     parentToolCallId?: string;
 }
 /** server ≥1.219 ([998]②/[1005]①b): the assembly manifest rendered at the TOP of the turn it prepared
- *  (web's "Prompt 组成" card source; service project.ts projectEvents `prompt_assembled` 实拆). */
+ *  (web's "Prompt 组成" card source; service project.ts projectEvents `prompt_assembled` 实拆). server ≥7.132.0 = 清单 v3 行或 ≤7.131.x 写下的旧行
+ *  (按 `"constitution" in block` 判,见 {@link PromptManifestRow})。 */
  | ({
     type: "prompt-assembled";
-} & PromptManifest) | {
+} & PromptManifestRow) | {
     type: string;
     [k: string]: unknown;
 };
@@ -3476,9 +3625,9 @@ export type TraceBlock = {
  *   - `tool-result`           — `{ seq, callId, isError, output?, truncated?, eventId?, parentToolCallId? }` an action closed.
  *                               §E1 (SHIPPED, mapTraceEvent project.ts:248-250): `output`/`truncated` = the model-facing
  *                               BODY (redacted+bounded at append; absent ⇒ no body). The old "output absent" gap is CLOSED.
- *   - `prompt-assembled`      — `{ seq, ...PromptManifest }` (server ≥1.219): the prepare's assembly manifest
- *                               (constitution/blocks/sections?/tools?/totalChars — mapTraceEvent passthrough,
- *                               whitelisted at append). MULTIPLE per task on cascade/verify runs.
+ *   - `prompt-assembled`      — `{ seq, ...PromptManifestRow }` (server ≥1.219): the prepare's assembly manifest — the stored
+ *                               ledger row verbatim (server ≥7.132.0: the v3 row `identity`/`selectors`/`blocks`/`sections`/…, or a
+ *                               row written by ≤7.131.x carrying `constitution`; see {@link PromptManifestRow}). MULTIPLE per task on cascade/verify runs.
  *   - `turn`                  — `{ seq, tokens? }` a turn boundary (+ usage if present).
  *   - `done`                  — `{ seq, suspended? }` terminal (suspended:true = paused on HITL, NOT completed).
  *   - `error`                 — `{ errorCode, message }` terminal failure / `WORKER_DOWN` (stalled) / `STREAM_MAX_DURATION` /
@@ -3563,7 +3712,7 @@ export type TraceStreamEvent = {
     data: {
         type?: "prompt-assembled";
         seq: number;
-    } & PromptManifest;
+    } & PromptManifestRow;
 } | {
     event: "turn";
     id?: string;
@@ -3819,7 +3968,14 @@ export interface McpServerSpec {
          *  but does not send an assertion yet (engine seat pending; operator line `mcp_assertion_header_not_sent`). */
         assertionHeader?: string;
     };
-    /** Optional allowlist of tool names to expose (others dropped). */
+    /** 这台服务器上**挂哪些工具**的名单(工具**裸名**,即服务器自己列出的名)。三句语义(server ≥7.132.0 契约成文;读自引擎 `intakeListedTools`,server 原样过境、不对照活名单):
+     *  · **缺席** = 该台列出的工具**全挂**;
+     *  · **`[]`** = **一只不挂**(台仍连、仍探测、仍进 `GET /v1/capabilities/mcp` 状态面);🔴 `[]` **不得折成缺席** —— 两者在 wire 上是两个事实(「写了就在场」律),
+     *    序列化时别把空数组省掉;
+     *  · **名单里服务器没列出的名** = **静默不匹配**(不 400、不告警 —— 收窄方向的失配只会少挂不会多挂)。要「写错即响」,用 {@link toolFaces} 点名同一只工具(未知名有
+     *    `config.tool_face_undeclared` 通告);{@link toolAxes} 只判形、对未知名不告警。
+     *  引擎唯一会响的一处:该台没声明 `tools` 能力而本名单非空 ⇒ 运维告警 `mcp.tools_capability_absent`。本名单同时管这台的 **MCP 资源**:缺席 ⇒ 资源列 / 读照开;给了名单 ⇒
+     *  只有名单含保留名 `list_resources` / `read_resource` 时才开(所以 `[]` 也把资源一并关掉)。坏形(非字符串数组)⇒ 400 `request.field_invalid` 点名 `mcpServers[i].allowTools`。 */
     allowTools?: string[];
     /** Opt in to INBOUND elicitation for this server (server may ask the END USER mid-tool-call). Default OFF. */
     elicitation?: boolean;
@@ -3840,6 +3996,11 @@ export interface McpServerSpec {
      *  物化后的 schema 上)由引擎拒**那一只**工具并出 `config.tool_face_invalid` 通告(operator 面)。三条腿(请求 /
      *  config-center / 本地 config.d)同一条规则。 */
     toolFaces?: Record<string, McpToolFace>;
+    /** server ≥7.132.0(受理键;core `McpServerSpec.startupTimeoutMs`):**这台**服务器的启动上限(整毫秒)—— 握手(连接 + initialize)与初次工具列举各带它。
+     *  读序一只函数:本键 › 进程级 `MCP_TIMEOUT` › MCP SDK 自己的 60 000 ms ⇒ 启动卡住的一台按自己的钟被切,兄弟照用部署的钟;只界启动阶段(调用自己的超时不动)。
+     *  合法范围 1 000 – 2 147 483 647;🔴 **值形判官只在引擎**:server 两扇门(新提交 / 探测口)都不在入口判它,坏值(串 / 小数 / 0 / 负数 / NaN / `null` / 越界)由引擎在拨号时
+     *  **只拒这一台**(`config.mcp_startup_timeout_invalid`,兄弟照挂),不钳、不读成缺省。老 server(≤7.131.x)对它答 `400 request.body_shape`(`unknownKeys` 点名)。 */
+    startupTimeoutMs?: number;
 }
 /**
  * 一条 **A2A peer**(`TaskRequest.a2aPeers[]` 的一行)—— 本 SDK 镜像的是 server **真受理**的那一面:
@@ -3968,11 +4129,15 @@ export type PermissionModeAutoCapability =
  * **引擎能力词**(core `ENGINE_CAPABILITIES`,core 7.51.1 起;**逐词同序**)—— 「这台引擎做不做 X」的唯一住处:壳按**词**判断,不按版本号。
  * server ≥7.129.0 把它也接线了的词原样投到 `GET /v1/capabilities` 的**顶层**,**键就是词本身**(带点号,值恒 `true`;没接的词不投 ⇒ 缺席)。
  *  · `inherit_env.own_credentials_withheld` —— 这台部署上起的子进程**从不继承**部署声明为自家凭据的名字(`inheritEnv` 的每种策略,含 `"all"`,都先减去那张名单;
- *    点名其中一个名字的白名单被拒)。只说**继承**:引擎进程自己的环境对同机同用户进程仍可读,所以「凭据根本不进环境」仍是根治。
+ *    点名其中一个名字的白名单被拒)。只说**继承**:引擎进程自己的环境对同机同用户进程仍可读,所以「凭据根本不进环境」仍是根治。值恒 `true`(没接的部署不投)。
+ *  · `inherit_env.own_credential_values_withheld`(core 7.52.0 起第二词;server ≥7.132.0 投)—— 宿主上起的子进程**不继承值等于本部署凭据值的变量**(值整串相等,不论变量叫什么名):
+ *    部署把同一把钥匙抄进别的变量名,`inheritEnv: "all"` 下也扣得下。🔴 **这一位是事实不是能力声明,可以是 `false`**:位真 ⇔ 当前生效配置的每一个凭据变量(只要 env 里有值)都进了引擎的值臂;
+ *    引擎判某个值「不是凭据」(空白 / 占位词 / 一个字符重复 / 不足 8 字符)或「是每个子进程都会拿到的变量的值」时不收它 ⇒ `false`(名臂照扣)。一次请求才解析出来的凭据不在值臂里。
+ *    缺席 = 老 server(≤7.131.x:只按名扣,同值换名的副本在 `"all"` 下照进子进程)。壳要「连副本也扣」时按 `=== true` 闸。同样只说**继承**。
  * 一处派生:{@link EngineCapabilityBits} 与 {@link Capabilities} 的能力词键都由本数组生成 —— 引擎加词时这里加一项、其余零手写;
  * 缺席 = 老 server(≤7.128.x)或这一词没接线 ⇒ **读作「不保证」**,不是「不具备」。
  */
-export declare const ENGINE_CAPABILITY_WORDS: readonly ["inherit_env.own_credentials_withheld"];
+export declare const ENGINE_CAPABILITY_WORDS: readonly ["inherit_env.own_credentials_withheld", "inherit_env.own_credential_values_withheld"];
 export type EngineCapabilityWord = (typeof ENGINE_CAPABILITY_WORDS)[number];
 /** 能力词 ⇒ 可选布尔(键名原样带点号);{@link Capabilities} 继承它。 */
 export type EngineCapabilityBits = {
@@ -5047,7 +5212,7 @@ export interface ScenarioDetail {
  *  decide-ready operator queue）,**不是** (a) inbox/tasks 的标量 `CheckpointSummary`（见下文 CheckpointSummary）。
  *  与标量形状的精确差（§7b/§4a):
  *    - severity 嵌在 **`riskDescriptor.severity`** 内 —— 富行**无顶层 severity 标量**;
- *    - 富行**无 `gateKind`**（消费方要类别时回退 `toolName`/`riskDescriptor.toolName`）;
+ *    - 富行的门类是**顶层 `gateKind`**(server 3.0.0 起两只 checkpoint store 的富行投影都发;server ≥7.132.0 **恒在场**,见 {@link PendingCheckpoint.gateKind})—— 不从 `toolName` 反推;
  *    - 富行**无 `token`**（§1:resume capability token 是永不上线的 secret,server 自按 sessionId 解析）;
  *    - **无 `checkpointToken`**（§4a:server-INTERNAL,NOT surfaced 在 /v1/approvals 记录上;合规 client 只回传
  *      boundCallId+boundInputHash 两件套 —— `ApprovalDecision` 上那个可选 checkpointToken 字段已于 SDK 1.0.0 删除）。
@@ -5190,7 +5355,13 @@ export interface PendingCheckpoint {
      *  🔴 类型是 `string` 而**不是**联合枚举:门类是**开集**(实测产物里至少有 `human` /
      *  `irreversible_ask` / `plan_review` / `needs_review` / `resource_limit`,core 还会加)。写死枚举会让
      *  一个新门类在类型上"不存在",消费端要么编译不过要么被迫 `as`,那正是这条声明想消除的东西。
-     *  ⚠️ 缺席 = pre-`gate_kind` 的历史行(SQL 侧 `gate_kind` 列为 NULL)⇒ 老实降级,别当 `"human"`。 */
+     *
+     *  🔴 **server ≥7.132.0 恒在场**(wire 收窄,契约 §7(b)):每次停驻都在行上盖门类;起服一次性迁移 M21 给缺它的存量行补上(门型读不出登记词的行置 expired);
+     *  SQL 店里仍读不出登记门类的行**不列**(计数 `server.approvals.queue-row-gate-kind-missing`;也没有决断口绑得住它),而不是缺着这个键送出。
+     *  ⇒ 对着 ≥7.132.0 的 server,缺席**到达不了**;对着 7.131.x 及更早的 server,缺席 = pre-`gate_kind` 的历史 SQL 行(`gate_kind` 列为 NULL)。
+     *  消费端对缺席的读法一句(server 契约原话):**按「读不出」fail closed**(不当 `"human"`、不编类别、不路由到任何决断口)。
+     *  ⚠️ 本位**刻意仍是可选**(与 {@link import("./errors.js").ResumeBlockedByPolicyError.blockedBy} 同一条律,K-24 复审 r1 M1):支持地板 3.0.0 之内的老 server 真的会缺它 ——
+     *  型上写必有 = 让老 server 上的缺席变成一个型说「不可能」的值。支持地板抬过 7.132.0 的那一版改必有(那时缺席不再可达)。 */
     gateKind?: string;
     /** server 7.16.0([3684]②):同步卡早有的「别再问我这个」持久规则候选,durable 队列行补齐供给——
      *  数组序=展示序,EXACT 形若在场恒在首位;core 契约 basis ≤ 2,server 执法上限 4 ⇒ 消费端按 ≤4 布局
@@ -5343,9 +5514,9 @@ export interface SessionRecord {
     messages: unknown[];
     /** Present ONLY on a windowed read (`tail`/`before`) against server ≥1.162. */
     window?: SessionWindow;
-    /** server ≥1.220 ([1023]①): the session's prompt-epoch pin (additive; absent = pre-epoch session
-     *  OR an older engine — never null). The typed entry is NOT an LLM message, so it never appears
-     *  in `messages`. */
+    /** server ≥1.220 ([1023]①): the session's prompt-epoch record (absent = pre-epoch session OR an older engine — never null). The typed entry is
+     *  NOT an LLM message, so it never appears in `messages`. 🔴 **server ≥7.132.0 BREAKING**:值 = 引擎 `StoredPromptEpoch` 读数原样(`{ kind: "pin", descriptor }` /
+     *  `{ kind: "legacy", centerPinned }`),形见 {@link PromptEpoch}。 */
     promptEpoch?: PromptEpoch;
     /** server ≥7.110.0(S-928 用户输入受理账本):这个会话里**崩溃丢掉**的用户输入 —— server 回了 200 `applied`(interrupt{text}:202)、
      *  承载它的 server 进程却在那条 run 收场前死了(**引擎在进程死前没来得及确认消费**;server ≥7.113.0 / core 7.39.0 #1273 起引擎确认消费过的受理结清成 `consumed`、
@@ -5516,7 +5687,7 @@ export interface McpServerStatus {
  * 超时台、没拨到的台都**占住自己的位置**。拿自己的申报列表按 **index** 配,**别按 `name` 配** —— 名字不
  * 保证唯一,而重名申报上按名字配就是把 A 的读数贴到 B 上。
  *
- * 🔴 **本面没有 `degraded` 臂,这是刻意的**(与 {@link McpStatusPanel.degraded} 刻意不同):一次答不出来的
+ * 🔴 **本面没有 `degraded` 臂,这是刻意的**(与 {@link McpStatusPanelServed.degraded} 刻意不同):一次答不出来的
  * 探测如果回一份看着正常的空名单,那正是这条面要根除的假答案。答不出来是**响亮**的 —— 整次走查超界 ⇒
  * 503 `state.mcp_probe_incomplete` + `Retry-After`。⚠️ 零申报的 `servers: []` 与它**是两件事**:那是一份
  * 诚实的空面(这台部署什么都没申报),不是「取不到」。
@@ -5529,17 +5700,39 @@ export interface McpProbeFace {
     /** 逐台一行,**行形单源** = {@link WiringManifestMcpEntry};与申报表同序同长(见本型顶注)。 */
     servers: WiringManifestMcpEntry[];
 }
-/** `GET /v1/sessions/:id/mcp` 的信封（service src/http/routes/sessions.ts）。`asOf` = THIS materialize 时刻（ISO）；
- *  `degraded:true` = materialize 超时/失败 → `servers` 空但非「无 MCP」（壳显「状态暂不可得」）。无 MCP 配置 → `servers:[]`。 */
-export interface McpStatusPanel {
-    asOf: string;
+/**
+ * `GET /v1/sessions/:id/mcp` 的体 —— **两臂恰一**(server 7.132.0 `http/routes/sessions.js` 的三只铸造臂)。`asOf` = 这次 materialize 的时刻(ISO)。
+ * 两半分答(server ≥7.131.0):账本半(`lastLegMcp`)与场景无关、两臂都可带;场景半问场景门 ——
+ *  · {@link McpStatusPanelServed} —— 门放行:`servers`(没配 MCP ⇒ `[]`;materialize 超时 / 失败 ⇒ `[]` + `degraded: true`,壳显「状态暂不可得」,不是「无 MCP」);
+ *  · {@link McpStatusPanelRefused} —— 门拒(**仍是 200**):`scenarioRefusal` 在场,`servers` / `degraded` 缺席(场景这一半没答 ≠ `servers: []`)。
+ * 判别读一句:`panel.scenarioRefusal === undefined ? 渲 panel.servers : 渲拒因`(两臂互把对方的键声明成 `?: undefined`,所以 `panel.servers ?? []` 也照样可写)。
+ * 体封闭(随包 spec `additionalProperties: false` + 两臂 `oneOf`),型上不留索引签名。老 server(<7.131.0)恒是 served 臂。
+ */
+export type McpStatusPanel = McpStatusPanelServed | McpStatusPanelRefused;
+/** 场景门放行的面板(见 {@link McpStatusPanel})。 */
+export type McpStatusPanelServed = McpStatusPanelCommon & {
+    /** 场景半:这位主体**现在**的场景会挂什么。`[]` = 门放行、该场景没配 MCP(与拒臂的缺席是两件事)。 */
     servers: McpServerStatus[];
     /** materialize 超时/失败的降级标记（servers 空且 degraded 时 = 取不到,非「没有」）。 */
     degraded?: boolean;
+    scenarioRefusal?: undefined;
+};
+/** 场景门拒的面板(server ≥7.131.0;见 {@link McpStatusPanel})。 */
+export type McpStatusPanelRefused = McpStatusPanelCommon & {
+    /** **场景门拒的拒因**(server ≥7.131.0)—— 今天的拒形:中心把这位主体指派到本部署不在册的场景
+     *  ⇒ `errorCode: "state.scenario_assignment_unknown"`。成员 = 同一构造下整面拒(`GET /v1/capabilities/mcp` / `GET /v1/sessions/:id/a2a` 的 503)的体**逐字**
+     *  (server 同一只组句器),形见 {@link McpPanelScenarioRefusal}。门抛的不是 typed 错仍是 500,不被改写成本键。 */
+    scenarioRefusal: McpPanelScenarioRefusal;
+    servers?: undefined;
+    degraded?: undefined;
+};
+/** 两臂共有的成员(不导出:读者按 {@link McpStatusPanel} 的两臂读)。 */
+interface McpStatusPanelCommon {
+    asOf: string;
     /**
      * **这个会话上一次真挂上了什么**(server ≥7.77.0,**可选**顶层键)。
      *
-     * {@link servers} 答的是「这台 worker 的**部署缺省场景**会给你什么」;本键答的是「这个会话**最近一条
+     * `servers` 答的是「这台 worker 的**部署缺省场景**会给你什么」;本键答的是「这个会话**最近一条
      * run** 真挂上去的名册」——后者的真源是那条腿账本里**从尾向前**第一条 `wiring_manifest` 的 `mcp` 段。
      * 两面**合法可不同**(请求级 MCP 注入 / 该 run 的场景不是部署缺省 / 某台当时没连上),此前只能靠翻账本
      * 才看得到第二面。
@@ -5569,8 +5762,24 @@ export interface McpStatusPanel {
          *  ({@link WiringManifestMcpEntry},一字不差;零新形,同一份载荷换一条 wire 出来)。 */
         mcp: WiringManifestMcpEntry[];
     };
-    [k: string]: unknown;
 }
+/**
+ * {@link McpStatusPanelRefused.scenarioRefusal} 的形(server ≥7.131.0)= 一只拒的体 `{ error, errorCode, ...facts }`(server `refusalBody`,整面拒与面板数据同一只组句器)。
+ *  · `errorCode` —— 今天只有 `state.scenario_assignment_unknown`(开集读:场景门日后多一种 typed 拒,同样落这里);
+ *  · `error` —— 给人读的句子(点名那个场景名与本部署的在册词表);
+ *  · `detail` —— 门拒的机读事实 `{ scenario, source }`:`source` 闭二词 `"ruling"`(中心按这位主体指派的场景本部署没有:花名册漂移)/ `"deployment"`(部署缺省 `DEFAULT_SCENARIO` 悬空,
+ *    sema-server 起服即拒这一形 —— 只有自己装配 `resolveSpec` 的嵌入方到得了)。
+ * 调用方没有错:修法在中心(改指派)或部署(把那个场景加回册),修好后原样重试。
+ */
+export type McpPanelScenarioRefusal = {
+    errorCode: string;
+    error: string;
+    detail?: {
+        scenario: string;
+        source: "ruling" | "deployment" | (string & {});
+    };
+    [k: string]: unknown;
+};
 /**
  * `POST /v1/sessions/:id/mcp/reconnect` 的 `status` 段(server ≥7.85.0 / S-381;铸点
  * `src/http/routes/mcp-reconnect.ts` 的 `projectStatus`)—— core `McpServerStatus` 的**本面投影**。
@@ -6435,7 +6644,7 @@ export interface AssistantTaskStatus {
  * 🔴 **一条规则管所有「effective 半场 only」的键**(9.7.0 立,codex 对抗复审 [high] 验真后收成这一句,
  * 而不是给新加的三段各写一条特例):本型**今天唯一的消费点**是 `GET /v1/diagnostics/wiring` 的 `static`
  * 半场,而标了「只在 effective 半场铸」的键(`leg` / `ask.effective` / `configFingerprint` / `tools` /
- * `hooks` / `lsp` / `modelGate` / `autoMode` / `writeProtection` / `readDeny` / `autoConsolidation` / `fileHistory`)
+ * `mods` / `lsp` / `modelGate` / `autoMode` / `writeProtection` / `readDeny` / `autoConsolidation` / `fileHistory`)
  * 在这条 wire 上**恒缺席** ⇒ **它们在本面上的缺席不携带任何信息**。
  * 每一段顶注里写的那些「缺席 = 未武装 / 缺席 = 第三态」的读法**只对 live 帧成立**(`AgentEvent` 的
  * `wiring_manifest` 臂),**不许**搬到这条端点的响应上来读 —— 在这里把缺席读成「未武装」,恰恰会把一台
@@ -6524,11 +6733,9 @@ export interface WiringManifest {
      *  `httpStatus` 只在 `errorCode === "http_status"` 时在场(**缺席**而不是 0)。引擎的 `error` 自由文本
      *  **刻意不投**(远端作者文本,脱敏单点在 core)。 */
     mcp?: WiringManifestMcpEntry[];
-    /** core 7.18.0(#789),server ≥7.78.0 —— **租户可见**:这条腿真接了席的钩子族,一族一行。
-     *  🔴 **只在 effective 半场**(live 帧)铸;静态半场恒无(core:effective half only)。
-     *  🔴 **在场 iff 至少一席接了**(core 从不发空数组);**缺席 ≠「没有钩子会跑」** —— 逐条读法见
-     *  {@link WiringManifestHookEntry} 顶注(行形单源,live 帧与本面同一个名字)。 */
-    hooks?: WiringManifestHookEntry[];
+    /** core 7.52.0,server ≥7.132.0 —— **租户可见**:这条腿的 mods 准入记录,一张注册一行(挂上 / 被拒两形)。**取代 `hooks[]`(BREAKING,零别名)**。
+     *  🔴 **只在 effective 半场**(live 帧)铸;静态半场恒无(core:effective half only)。逐条读法见 {@link WiringManifestModEntry} 顶注(行形单源,live 帧与本面同一个名字)。 */
+    mods?: WiringManifestModEntry[];
     /** core 7.18.0(#789),server ≥7.78.0 —— **租户可见**:LSP 代码智能接缝。
      *  🔴 **只在 effective 半场**铸;静态半场恒无。**在场 iff 解析出了 manager 席**,两位互相独立、禁合读
      *  —— 见 {@link WiringManifestLspSeam} 顶注(段形单源)。 */
@@ -7160,6 +7367,8 @@ export interface WiringDiagnostics {
     memoryPosture?: Record<string, unknown> | null;
     /** 本部署的 SQL 引擎姿态(server ≥7.60 / S-131):引擎 / 版本 / 会话隔离级 / TiDB 事务模式,读的是驱动在
      *  真连接上 `SET` 完之后**回读**的值,不是 env 里写了什么。`null` = 无 SQL 后端。
+     *  server ≥7.132.0 段内多三键(加性):`maxRowBytes` / `maxPacketBytes`(库的单行墙 / 包墙,`null` = 这堵墙不存在)与 `wallSources`(两堵墙各自的出处,`reported` / `assumed`,
+     *  见 {@link import("./errors.js").SqlWallSource})—— 413 拒体的 `wallSource` 读的就是这一处。
      *  🔴 **本代 SDK 尚未逐键镜像** —— 按不透明读。 */
     sqlEngine?: Record<string, unknown> | null;
     /** 配置世代账的 operator 面(server ≥7.5x / #322):按组的 appliedVersion / deferredKeys+铸因 /