@sema-agent/client-core 0.59.2 → 0.60.0

package/CHANGELOG.md

@@ -49,6 +49,198 @@
 > 挡住 ⇒ 本批把它机械化——④a0 对 `pending` 行**要求段头已是日期形**(`(未发布)` 直接红),阶段一
 > commit 漏转在发布前就红,不再靠人记。
 
+## 0.60.0(2026-09-08)
+
+> 内容批(2026-09-08,隔离树交付):四件 —— ①`@sema-agent/sdk` **8.4.0 提货**(engine ≥7.64.0 的
+> wire BREAKING 半场:`TaskResult.terminal` 四臂 / `tool_end.gate` / `McpFailure` 两词 /
+> `writeProtection` 两键)、②**B-042** park 重开取件身份闸与行路由**同源**、③**B-037 候包两件**
+> (无窗 `preflight_rejected` 第三句改自足措辞 / `FsApprovalOutcome.failed` 补 `errorCode`)、
+> ④ `Capabilities` 93→**94** 逐键复核。**本段只记内容**(0.59.0 先例逐字):`package.json.version`
+> 未动、README `Version` 行未动、`FROZEN` 未动 —— bump 与段头转日期形归**发包批**(阶段一义务见
+> 本档头注;两阶段协议下 `pending` 行要求段头**已是日期形**,所以内容批插 `pending` 行必红)。
+> peer 地板/devDep/README 地板句/门常量 `FLOOR` **四处必须同批**(`run-sdk-floor-test` ①c 互绑),
+> 因此这一组抬版**在内容批里**,与 0.59.0 同形。
+> 接入面详报见 `docs/INTEGRATION-CLIENTS.md` **§24**(每个新读器的签名/输入形/缺席语义 + 壳换装清单
+> + 黑盒判据 + 门表)。
+
+### 🔴 BREAKING(peer 地板 + 两个读面换判据 + 两条失败臂加必填位)
+
+- **`@sema-agent/sdk` peer 地板 `>=8.3.0` → `>=8.4.0`**(devDep `^8.4.0` 同批;地板与 peer 声明由
+  `run-sdk-floor-test.mjs` **三位逐位等值**互绑)。四条硬理由逐条见该门的 `FLOOR` 注,摘要:
+  `TaskResult.terminal`(`TerminalCause` / `PausedCause`)/ `GateOutcome` 四型 /
+  `WriteProtectionCapability` / `McpDelivered`·`McpFailureKind` 在 <8.4.0 上都不存在。
+  🔴 **engine 7.63.0 及以前的 wire 不在本版支持窗内** —— 本批对退役的八个平面键与四个正交词
+  **不留兼容读**(理由见下一条:留下的那条读盘臂不是「旧引擎兼容」)。
+- **终局读面换判据**:`done.result` / run row `result` 的终局不再从**八个平面键**(`status` /
+  `errorCode` / `errorMessage` / `blockedReason` / `checkpointToken` / `checkpointId` /
+  `checkpointGate` / `workspaceRestoreMode`)拼,改读**一条带标因由** `terminal`。包内单一读器
+  `readRunTerminal`(新公面),四个消费点(`doneToSdkResult` / `runStream` 可见性行 /
+  `frameRouter` 两条 park 臂 / `isPlanReviewPark`)全部换装。
+  🔴 **可观察行为变化(端要知道)**:因由形下「码属于失败」是**形状** ⇒ `-p` 投影里 park / blocked
+  终帧的 additive `errorCode` 位**恒缺席**(此前 `review.pending` 骑在 park 帧的平面 `errorCode` 上)。
+  扁平形回放的历史行仍带得动它。
+- **两条决断腿的 `failed` 臂加必填 `stage`**(异源复审 ④,见下段):`FsApprovalOutcome.failed` 与
+  `parkResolver.GateOutcome.failed` 各多一个必填位;自己构造这两个形的宿主/测试要同批补。
+- **`tool_end` 门记录换判据**:退役的 `settledBy` / `resolution` / `autoDenied` / `approver`
+  **四键全删无 alias**,继任者是一条记录 `gate: GateOutcome`。包内单一读器 `gateOutcomeOf`(新公面)
+  + 四个判定谓词。内部臂 `tool_end_result` 上那四个键随之消失,新增 `gate` / `delivered` /
+  `gatedCallId` 三位。**端必须换装**(清单见 §24)。
+
+### 件① sdk 8.4.0 提货 —— 终局因由与门记录两只新读器
+
+- 🆕 **`src/runTerminal.ts`**:`readRunTerminal(result)` → 五臂读数(`completed` / `failed` /
+  `blocked` / `paused` / `unknown`)+ `plane`(`cause` | `flat`)。配套 `runTerminalCode` /
+  `runTerminalGateKind` / `runTerminalGateToolName` / `isReviewPark` / `REVIEW_PARK_GATE_KINDS`。
+  - 🔴 **两代字节一个读器,判别位 `"terminal" in result`**(上游钉的那一个)。第二代臂**不是**
+    「旧引擎兼容读」:它认的是同一台 ≥7.64.0 引擎真会送来的扁平字节,两个来源都有出处 ——
+    ①**读盘面**(`GET /v1/runs/:id` 与 durable 账本回放对存储 blob **逐字透传、不补 `terminal`**,
+    所以跨 7.64.0 升级过的部署上升级前落盘的行仍是平面形);②**server 自己的 409 拒绝信封**
+    (它从来就是扁平的,这次形变没动它)。两源的投影处置完全相同,所以共用一个 `plane: 'flat'` 标。
+  - 🔴 **不认识的终态词绝不折成成功**:四臂之外的 `terminal.kind` / 平面形四词之外的 `status`
+    一律落 `unknown` 臂并**逐字带回那个词**([884]A1 / [909]B1 两次实锤事故的常驻结论)。整个读器
+    只有一条路返回 `null`:**连终态词都没有**(mock 车道 / 不带 status 的旧合成帧)—— 那一格维持
+    成功臂,与形变前逐字节同行为。
+  - 🔴 **不提供「因由 → 五词 status」的兼容投影**:同一个事实两个真源之后,消费端会分成两派,
+    而下一次形变时后者全部无声地错(sdk 顶注同规)。
+  - 🔴 `token` 席位永不上 wire(paused 因由与 `failed.nestedPause` 都不带恢复凭据),读器一个字节
+    都不碰它、也不给它留位。
+- 🔴 **真机黑盒摸出的三条边界**(engine 7.64.0,test 三路独立构造 + server 回帖确认;每条在门里各带
+  一正控一负控)—— 「所有帧都带新键」那个假设在三处都不成立:
+  - **① park 短路帧上没有 `gate`**:审批窗走完(默认 300s)未决而走 park 路径时,`tool_end` 只有
+    `errorCode:"gate.parked"`。server 认定这是**契约设计**。⇒ 读器 tolerant(缺席不抛不猜),另出
+    第二形谓词 `isGateParkedToolEnd` + 单源常量 `GATE_PARKED_ERROR_CODE`;端判「这次调用没在这里
+    结算」必须**两形合读**,两形语义不同不许互相顶替(「窗走完拒了」vs「park 了还没人决」)。
+  - **② 同步提交腿的 park 体不是 `TaskResult`**:`POST /v1/tasks` 当场停在审批门上时,200 回体是
+    **server 自造**的 `{taskId, sessionId, status:"suspended"|"needs_review"}` —— 既没有退役的八个
+    平面键、也没有 `terminal`、**连门都不带**。⇒ 读器把那个 status 词原样带回
+    `RunTerminalPausedRead.flatStatus`,`isReviewPark` **两个来源合读**(门种 ∪ 扁平词);只读门种会让
+    整条同步 park 腿的 plan-review 卡不弹。`runStream` 那处对 `needs_review` 的读**保留**,它读的是
+    这只形、不是旧八键残留。缺席**绝不**折成 `completed`/`failed`;暂停中的 run 在 `GET /v1/runs/:id`
+    上连 `result` 都没有 ⇒ 读器答 `null`(端继续等,不报终局)。
+  - **③ `/decide` 体的 `settledBy` / `hostDecision` server 都不读**(结算方从认证主体算)。⇒ 包侧
+    decide 发送面**不许**带这两个键(带了是死字节),常驻门对三个 hitl 产物 grep 直证零命中;结算方
+    身份只从**响应/帧**的 `gate.settlement` 读。
+- 🆕 **`src/gateOutcome.ts`**:`gateOutcomeOf(frame)` → `GateOutcomeView`
+  (`disposition` / `settlement?` / `origin?`)+ 谓词 `isDeniedGate` / `gateDeniedBy` /
+  `gateApprover` / `isApprovalWindowExpiredGate` / `isDenialLimitAutoDeniedGate` /
+  `isParkSlaExpiredGate` / `isHumanSettledGate`。
+  - 🔴 **判定归包**:「这次是不是审批窗自己走完的拒绝」旧形上是端各自拼的两键合取,而拼错的方式有
+    好几种且错法静默。三条窗词(`approval_window_expired` / `denial_limit_window_expired` /
+    `park_sla_expired`)**刻意不合并读** —— 旧形上它们共用一个 `settledBy:"timeout"`,合并读回去
+    等于把刚修好的判别力扔掉。
+  - 🔴 `disposition` 是**唯一承重座**(读不出 ⇒ 整只 `undefined`);`settlement` 的 `kind`/`who`
+    缺一即整只缺席(半只会被读成「结算过了只是没说是谁」)。三处词表一律**开集读**;
+    **不校上游的 I1–I4 四条不变量**(筛子属主是引擎,server 对坏记录整条不投)。
+  - ⚠️ **同名不同义**:本包 `hitl/parkResolver.ts` 另有一个导出型也叫 `GateOutcome`(决断腿结局),
+    与 sdk 的 `GateOutcome`(引擎的门记录)是两个语义面 ⇒ 本模块公面型一律带 `View` 后缀。
+- **`wiring_manifest.mcp[]` 补 `delivered` / `httpStatus`**(S6-B):与既有五位同律 —— 逐键挑、
+  开集读、缺席不铸(`httpStatus` **缺席而不是 0**)。`errorCode` 的码族换代到 `McpFailureKind`
+  (退役的 `network` / `http_<status>` 两形作废),本包**照旧只判非空串**(词表属主在 core)。
+  `tool_end` 内部臂同批补 `delivered`。
+- 🆕 **`src/writeProtectionCapability.ts`**(S-138):`Capabilities.writeProtection` 的**四态**窄读器
+  (`unobserved` / `not_reported` / `none` / `present`)+ caps tee + 换代失效口 + 唯一措辞铸点
+  `writeProtectionDoctorDetail`;operator 面 `diagnostics.wiring.writeProtection` 另有
+  `projectWriteProtectionPosture` / `writeProtectionPostureDetail`(带行内容)。与
+  `sqlEngineCapability` **同构同纪律**。
+  - 🔴 三位(`armed` / `rows` / `replaced`)**刻意不合成一个布尔**:合成之后「引擎缺省表在岗」与
+    「运维换了一张自己的表」同为 true。
+  - 🔴 `not_reported` **不是**「这台部署没有写保护表」—— 引擎侧**座位缺席时缺省表在岗**;四句话
+    互不相同也互不蕴含。
+  - 🔴 **最小披露**:逐行 name/kind 不上租户面(部署自定义行可能含内部路径名)。
+- **`Capabilities` 93 → 94 逐键复核**:新增的唯一一位 `writeProtection` 登记为 `read`
+  (`run-engine-caps-ledger-test.mjs` 是逐元素等值门,上游加位当天红)。
+
+### 件② B-042 —— park 重开取件的身份闸与行路由**同源**
+
+- **病形** = [paired-mechanisms-must-share-premise]:三端把一行路由进工具门臂用的是
+  `askParkRowArm`(kind ∈ ask 门族 ∧ 不是 ask 工具 ⇒ `tool-gate`),而 `surfaceFsApprovalAndDecide`
+  取件时的**身份闸**是 `isToolApprovalGate`,只有两条腿(一等 `kind === 'tool_approval'`,或 fs 写 /
+  shell 的**名字腿**)。于是 `gateKind:"irreversible_ask"` + 工具名不在 fs 三件 + Bash 里的行
+  (**MCP 远端工具** / WebFetch / NotebookEdit / agent 工具 …)身份逐字命中却被族闸判出局 ⇒ 候选池
+  收紧到空 ⇒ `no_pending` ⇒ 卡永远重开不了。内建 fs/Bash 行只是**恰好**走了名字腿才没中招。
+- **修** = 身份闸读**同一只**谓词:`askParkRowArm(row) === 'tool-gate'`。名字腿只留给 leg 2
+  「同族第一行」的 `matches`(那一腿本来就该按工具名挑)。外族门种(plan_review / resource_limit /
+  未来新词)由 `findPendingForTask` 上游的 `askParkForeignGateKind` 整族先滤,两道闸串联的语义与
+  修前逐字相同 —— 变的只是「工具臂认不认得非 fs/Bash 的工具名」。
+- 门:`run-park-reopen-tool-identity-test.mjs`(新建)。
+
+### 件③ B-037 候包两件
+
+- **① 无窗 `preflight_rejected` 第三句改自足措辞**:此前写的是「The engine line **above** says
+  whether this token can still be redeemed」—— 它把答案外包给屏上另一行,而那一行只有 **turn 级**
+  报错路径才有;同一份文案在**决断路径**(审批卡 decide 的 409)上也照发,那条路上引擎原文按凭证
+  纪律根本不上屏 ⇒ 用户读到一句指向不存在的东西的指路话。改成只陈述本读面知道的事实:
+  `The engine supplied no wait, so this refusal does not say whether the token stays redeemable`。
+  🔴 判据锚在**性质**(每一句都自足)而不是「不等于那一个旧串」:门枚举了一族外包措辞
+  (`above` / `previous line` / …),新写的文案再引入一句外包话当场红。
+- **② `FsApprovalOutcome.failed` 补 `errorCode`**(与 0.47.0 补 `currentPending` 同形):本类型把
+  typed 错**拍平成 `reason` 串**,于是只读 outcome 形的消费者对机读码全盲,要分辨拒绝族只能去正则
+  匹配那句拍平文案(里面嵌的是 `String(e)`)。新单源读口 `readWireErrorCode`(结构视图读,不
+  `instanceof`);ask 腿的 `GateOutcome.failed` **同批同形**改齐(同形存量清剿)。
+  🔴 与本包铸的 `code`(闭集取件判别位)是**两个命名空间,绝不合并**;🔴 **只搬码不搬正文**
+  (错误正文可能含凭据/内部路径,照旧只进 `reason` 的既有拍平位)。
+
+### 🔴 异源对抗复审逼出的四条 —— 同批修根,各带正反控(红先绿后)
+
+四条都是**复现出来的**反例,不是推演:
+
+- **① 旧 caps 探测覆盖新写保护读数**(medium):`kickEngineCapsProbe` 的代际闸在 probe **返回之后**
+  才跑,而宿主的读面 tee 是在 probe **内部**落地的 ⇒ 一次慢的旧探测能在 `invalidateEngineCaps` +
+  新探测都走完之后把**上一台引擎**的读数写回来(屏上是一句肯定句)。修 = 两个 tee
+  (`noteEngineCapsForWriteProtection` / `noteEngineCapsForSqlEngine`,**同形存量一次改齐**)加
+  additive 第三参 `{ generation }` + 新公面读口 `engineCapsGeneration(baseUrl)`;不传 = 逐字节
+  同行为(additive 供给,不是强制门),端的换装行见 §24h 第 19 行。
+- **② 因由座在场却读不出被洗成成功**(medium):`terminal: null` / `{}` / `[]` / `{kind:7}`(混合载体、
+  schema 漂移)此前返 `null`,消费点当成「连终态词都没有」而落**成功臂** —— 一条明确 park 着的 run
+  投影成空成功,正是 [884]A1 / [909]B1 两次事故的形状。修 = 这几形落 `unknown` 臂,
+  `RunTerminalRead.unknown.word` 改**可选**(缺席 = 那个词本身读不出,**不是**「没有终局」),
+  措辞说「读不出」而不编一个词。
+- **③ ask 工具身份被门种压过**(medium):`gateKind:"irreversible_ask"` + `toolName:"AskUserQuestion"`
+  在门种早退里被判 tool-gate ⇒ 工具臂弹一张**没有问句**的卡、送出**不带 answer 的 approve**
+  (一次静默的错动作)。修 = `askParkRowArm` 把「toolName 明说是 ask 工具 ⇒ 问答臂」提到**最前**,
+  与 `frameRouter` 那条 park 分流同一个次序。**行为变化**:`tool_approval` / `irreversible_ask` 门下的
+  **ask 工具名**行从工具臂改到问答臂;非 ask 工具名一格未动(B-042 修根不受影响)。
+- **④ 失败四类仍不结构可分**(medium):两条决断腿的 `failed` 把 typed 错拍平成一个 `reason` 串。
+  修 = `FsApprovalOutcome.failed` 与 `parkResolver.GateOutcome.failed` **同批**加**必填** `stage`
+  (`fetch` / `input` / `card` / `decide` / `orchestration`,单源 `HitlFailureStage`);fs 腿另加
+  `safetyCode`(本包安全停闭五词 `HitlSafetyCode`,ask 腿早有对应位)。
+  🔴 **只有 `stage === 'decide'` 代表「引擎那一头知道这次决断」**;三个码位是**三个命名空间**
+  (`code` 取件闭集 / `safetyCode` 本地安全停 / `errorCode` 引擎 wire 码),绝不合并。
+
+### 新增公面导出
+
+`readRunTerminal` · `runTerminalCode` · `runTerminalGateKind` · `runTerminalGateToolName` ·
+`isReviewPark` · `REVIEW_PARK_GATE_KINDS` · 型 `RunTerminalRead` / `RunTerminalPause` /
+`RunTerminalPausedRead` / `RunTerminalPlane` ｜ `gateOutcomeOf` · `isDeniedGate` · `gateDeniedBy` · `gateApprover` ·
+`isApprovalWindowExpiredGate` · `isDenialLimitAutoDeniedGate` · `isParkSlaExpiredGate` ·
+`isHumanSettledGate` · `isGateParkedToolEnd` · `GATE_PARKED_ERROR_CODE` · 型 `GateOutcomeView` /
+`GateDispositionView` / `SettlementView` / `SettlementWhoView` ｜ `projectWriteProtectionCapability` · `noteEngineCapsForWriteProtection` ·
+`observedWriteProtection` · `forgetWriteProtectionReading` · `writeProtectionDoctorDetail` ·
+`projectWriteProtectionPosture` · `writeProtectionPostureDetail` ·
+`__resetWriteProtectionReadingsForTests` · 型 `WriteProtectionReading` /
+`WriteProtectionCapabilityView` / `WriteProtectionPostureView` / `WriteProtectedRowView` ｜
+`readWireErrorCode` · `engineCapsGeneration` · 型 `HitlSafetyCode` / `HitlFailureStage`。
+**零删除**(既有导出一个没动)。
+
+### 已知局限(本版新增)
+
+- **`hostDecision`(`/decide` 入参)零消费**:server 7.64.0 起 `/decide` 收
+  `hostDecision{decidedBy, approver?}` 而不再收 `settledBy`。sdk 8.4.0 的
+  `dist/resources/approvals.d.ts` **没有**声明这一位(与 8.3.0 逐字节相同),而本包对 decide 入参
+  **从来就零 stamp 那两个退役词** ⇒ 本批零受迫、也不自铸一个上游没定型的入参键。登记为上游候件。
+- **`checkpointStore: "disabled"` / `engine_notice` cause `task_store_disabled`**:本包零消费点
+  (提交位与 notice 的 `detail` 都按开集原样透传),复核后**只登记不改码**。
+  ⚠️ 真机确认:`TaskSpec.checkpointStore` 这个 **body 字段 server 未接线**(由部署侧配置决定)⇒
+  包侧只登记、**不投影发送**。
+- **`LegacyPlaneTaskResult` 的 `x-legacy-replay-only` 标记**未被本包消费:判别位用的是
+  `"terminal" in result`(上游钉的那一个),不是那个标记。
+- **决断链失败的第五类(卡口自己报失败 vs 没装卡口)仍在 `stage: 'card'` 里同形**:两者的出路不同
+  (前者是卡口实现的问题,后者是装配漏了),但本包对卡口只拿得到一个 `{kind:'failed', reason}`
+  ——要分开得先给卡口端口一个结构化的失败形,那是端口契约的改动,不在本批射程。
+- **旧 caps 探测覆盖新读数的兜底只到「供给」为止**:代际参数是 additive 的,端不传就仍有那条竞态。
+  做成必填会让每一个还没跟上的宿主当场把这一格读成空 —— 那比竞态更坏(竞态是罕见时序,必填是
+  确定性回归)。⇒ 端的换装行登记在 §24h 第 19 行,跟上之后这条限制自然消失。
+
 ## 0.59.2(2026-09-06)
 
 - `sqlEngineDoctorDetail` 两句措辞订正(仅文案,四态与读数零变):`none` 不再断言「local file stores」这个因由 —— server 7.61.0 起 `sql:null` 同时覆盖「没配 SQL 后端」与「池初始化被拒」(wire 不可分),改为两种可能都点名并指向引擎日志(cli 1.0.102 异源复审 [medium]);`unobserved` 去掉「run /doctor inside the REPL」这句端命令(包不点名端命令;cli B-038 定位:REPL /doctor 是 skill 不渲此行)。三端消费该函数的 doctor 类面文案随包变,无需改码。

package/README.md

@@ -35,7 +35,7 @@ Renamed from **`@sema-agent/wire-cc-adapter`** (0.1.x, deprecated — see *Migra
 
 ## Scope
 
-**Version:** 0.59.2
+**Version:** 0.60.0
 
 - **Today** — the adapter seam, the whole `adapt()` pipeline (all 14 A-layer arms plus the
   B/D/E tool-card layers), the notification/caps/model families, the adapter kernel (stream driver
@@ -67,7 +67,7 @@ Renamed from **`@sema-agent/wire-cc-adapter`** (0.1.x, deprecated — see *Migra
     against — the tables live upstream precisely so this package does not keep a second copy that can
     fall behind. The browser bundle really bundles the SDK through (the portability guard would
     exit 3 rather than quietly mark it external).
-  - The declared floor is `>=8.3.0`, and it is *witnessed*: the guard checks that an actually
+  - The declared floor is `>=8.4.0`, and it is *witnessed*: the guard checks that an actually
     installed SDK at that line still exports every value-level symbol this package imports and still
     declares `TaskStats.costMicroUsd` (the key `costOrNull` reads). A floor nobody ever ran is a
     promise, not a contract.
@@ -236,6 +236,7 @@ public-surface guard checks that last one).
 | `scripts/run-sdk-floor-test.mjs` | The SDK version floor — and, more to the point, that the *installed* type declarations still carry the keys this package reads |
 | `scripts/run-engine-caps-ledger-test.mjs` | A per-key disposition ledger for `GET /v1/capabilities`. The SDK's `Capabilities` grew from 74 keys to 93 in one release and nothing on the board could see it: this package consumes that table through four synchronous readers, and *nineteen new positions arriving while the package does not move* is exactly the disease shape this repo keeps logging on other axes — the fact is already on the wire, the package boundary is the cell that swallows it, and no client can read it however they write their side. So the ledger is reconciled **element-wise against the SDK interface in both directions**: a key the SDK added with no ledger row is red (someone must classify it), and a row for a key the SDK removed is red too (a registration that no longer does anything). Each row then has to survive its own claim — a `read` row names the source file, and the **code** there (comments stripped) must really mention the key, because prose asserting an alignment is the classic way these guards go hollow; a `not_read` row must have **zero** read sites in the tree, so wiring one up while the ledger still says the package ignores it is red rather than invisible. The census behind those two directions recognises five call shapes, each of which really occurs here — a reader whose base argument carries its own parentheses, a direct `caps.<key>`, a narrowing cast, an own-property read helper, and a `*_CAP` constant — and proves it on fabricated samples first, since a census that recognises one shape reports "nothing here" for the other four. What the guard deliberately does **not** judge is whether a position *ought* to be read: that is a design call, and the ledger only pins that every capability was looked at once by a person and that what they wrote down does not contradict the code |
 | `scripts/run-sql-engine-capability-test.mjs` | The SQL-posture read face and the four-state capability reader underneath it. One capability cell here carries **four different things**, and each one points an operator somewhere else: nothing has been observed yet in this process (a one-shot doctor run is always in that state), the response arrived but carries no such key (an older engine), the engine explicitly answered `null` — *this deployment has no SQL backend*, which is a **positive fact** rather than an absence — and a full reading. Fold any two together and the screen states something flatly, confidently, and wrongly, so every positive control here is paired with a control pointing the opposite way, and the four sentences the doctor row can print are checked to be pairwise distinct and non-implying. The reading itself is narrowed no tighter than the mint: `txnMode: null` is a **legal value** — two of the three engines always report it that way, and the upstream type note names reading it as "optimistic" as the error — so treating it as malformed would throw away the entire reading for ordinary deployments, which is the same disease this repo logged when a consumer's domain was narrower than the producer's. A response that cannot be parsed **clears** the cell rather than leaving the previous engine's answer in place, and a separate invalidation port exists for the case the generation latch cannot catch — a same-port respawn whose new probe never succeeded, where the stale reading would otherwise be answered as current fact. Untrusted values (the isolation string is read back from a database server variable) are sanitised and bounded before display, and the bound is applied **before** escaping so a visible escape never gets cut in half. Finally the export names are themselves a guard: the shell still carries a copy that is meant to go red on the package's same-named export and be swapped out, so renaming anything here would silently disarm that lock |
+| `scripts/run-terminal-cause-projection-test.mjs` | The `7.64.0` wire reshape, projected. A run's ending stopped being eight parallel flat keys and became **one tagged cause** (`completed | failed | blocked | paused`), and a tool call's gate stopped being four orthogonal words and became **one record** (`disposition` / `settlement?` / `origin?`). Both are read in exactly one place in this package, and this guard pins them at **two levels**, because the dangerous seam is "the reader was updated, the consumer was not": each terminal arm is checked on the reader *and* on the `subtype` / `is_error` / `errors[]` the projector actually emits. Two properties carry most of the weight. First, a terminal word this reader does not know is **never** laundered into an empty success — it lands on an `unknown` arm carrying the word verbatim, while a payload with no terminal word at all (the mock lane) keeps the success arm exactly as before, which is the one and only case the reader answers `null`. Second, the three window words (`approval_window_expired`, `denial_limit_window_expired`, `park_sla_expired`) must each be told apart by a different predicate: the previous generation collapsed all three onto one `timeout`, and re-merging them would throw away the discrimination this reshape just restored. Two byte generations are read by one reader, keyed on the discriminator upstream nailed (`"terminal" in result`): the current cause form, and the **flat** form that a current engine still emits on two lanes — replayed persisted bytes, which the service passes through verbatim rather than back-filling, and the service's own rejection envelope. A cause-form payload that also carries stale flat keys must ignore them entirely: keeping one compatibility read is what gives a single fact two sources. The same file also pins the MCP delivery verdict and HTTP status riding the wiring manifest, the four-state write-protection reading (where three of the four states mean *cannot tell*, and none of them may be printed as "there is no table"), and the park-reopen fetch identity: that predicate is asserted through the **real entry point**, since the defect being fixed was precisely a call site wired to a different predicate than the one that routed the row there |
 | `scripts/run-engine-vocab-floor-test.mjs` | Engine-mirrored vocabularies (structured card whitelist, self-reported tool face, control verbs, recogniser sets) against the *installed* `@sema-agent/core` |
 | `scripts/run-limits-env-failloud-test.mjs` | `SEMA_HEADLESS_*` env-lane limits reject invalid values as loudly as the flag lane (no silent "no budget" runs) |
 | `scripts/run-streamjson-timing-honesty-test.mjs` | Stream timing & terminal honesty ([2084]): held errored fs-write results release on model progress; a wall-clock stop maps to `error_during_execution` with a truthful salvage note; the synthetic API-error assistant row carries the `<synthetic>` in-message sentinel. Also ([2489], core 5.8.0): the run-limit `errorCode` -> CC subtype map is pinned code by code (`limits.max_{cost,turns,tokens,walltime}_exceeded`), token/wall-clock stops keep the text the engine already produced, and the `failed` event arm shares the one mapping point. The 5.7 dual-vocabulary legs retired with server 6.0.0 (which bundles core 5.8.0); four **retirement negative controls** stand in their place — the retired `status:'timeout'` and the retired codes must fall to the honest fallback subtype and must never drop back to an empty success, so putting any of them back turns the gate red |

package/dist/adapt/toolCards.d.ts

@@ -37,7 +37,8 @@ export interface PendingToolUse {
  *
  * 🔴 本形**不是** `tool_end_result` 臂的镜像,是它的**关卡切片** —— 只收「铸这张 tool_result 卡真正
  * 要读的位」。臂上另有若干**开集观察位**按设计**不进本形**:`errorCode`(core 5.9.0 W3)、
- * `settledBy`(core 5.18.1 #187)、`approver`(core 5.35.0 / server 7.23.0 #263)。它们由
+ * `gate`(整条门记录,engine ≥7.64.0 / sdk 8.4.0 —— 取代退役的四个正交词)、`delivered`
+ * (MCP 投递判词,core ≥7.6.0)、`gatedCallId`(core ≥5.55.0)。它们由
  * `eventToSdkMessage` 的 `case 'tool_end'` 臂原样上臂、由**宿主/桥**直接从臂上读(壳 upstreamBridge、
  * print 车道 {@link import('../printToolResultFrame.js').ToolEndResultArmLike}),卡台账一位都不消费。
  * 往本形加一个没有落点的键 = 一句「关卡会用到它」的假话(声明与产物对不上,且没有任何门会响);

package/dist/adapter/downstream/eventToSdkMessage.d.ts

@@ -178,9 +178,14 @@ export interface WiringManifestAutoMode {
  * 🔴 **`name` + `status` 是必需两座**(与 server 侧 `wiringManifestEventData` 的 `mcp` 臂同判据:
  *    `if (name === undefined || status === undefined) continue`)—— 一条既没有名字也没有状态的行
  *    渲不出任何有用的话,而**坏一条只丢那一条**,绝不丢整张表(丢整表 = 用户以为「一台都没申报」)。
- * 🔴 **`errorCode` 不是纯闭集**:core `MCP_FAILURE_CODES` 十个具名词之外还有 `http_<status>` 形
- *    (core 自陈)⇒ 本包**既不枚举那十个词、也不套形正则**(词的单一属主在 core;抄一份会把 core
- *    加的新词与新形一起吞成缺席),只判非空串。消费端按具名词写的 `switch` **必须带 default 臂**。
+ * 🔴 **`errorCode` 不是纯闭集**(core 7.6.0 换代:`MCP_FAILURE_CODES` 十词表退役,继任者是
+ *    `McpFailureKind` 十词;**`network` 与 `http_<status>` 两种拼法一并作废** —— HTTP 状态从此走
+ *    结构位 {@link WiringManifestMcpEntry.httpStatus},不再编进码里)⇒ 本包**照旧既不枚举那十个词、
+ *    也不套形正则**(词的单一属主在 core;抄一份会把 core 加的新词吞成缺席),只判非空串。
+ *    消费端按具名词写的 `switch` **必须带 default 臂**。
+ * 🔴 **`delivered` 与 `errorCode` 合读才有判别力**(core 7.6.0 S6-B):同一个 `connection_closed`,
+ *    `no` 可以直接重试(**可证**什么都没发出去)、`unknown` 必须先去查(请求**可能**已经执行了)。
+ *    这条判别力单看码拿不到,所以这一位非透传不可。
  * 🔴 **`error` 自由文本上游就不投,本包更不铸**:它是这条面上唯一的**远端作者自由文本**,server
  *    侧的裁定逐字是「进来会同时破本段『无自由文本 ⇒ 不脱敏』的段内不变量,和 core 把远端 MCP 错误
  *    文本脱敏收敛成**一个**铸点的单铸律」。可操作的因由在 `errorCode`。
@@ -192,10 +197,25 @@ export interface WiringManifestMcpEntry {
     status: string;
     /** 声明方自述的层级标签(core 已 single-line + 长度封顶后逐字回显)。缺席 = 没报。 */
     source?: string;
-    /** 失败因由的**机器码**(十词 + `http_<status>` 形,开集)。缺席 = 这条没失败,或引擎没给码。 */
+    /** 失败因由的**机器码**(core 7.6.0 `McpFailureKind` 十词,**按开集读**)。缺席 = 这条没失败,
+     *  或引擎没给码。 */
     errorCode?: string;
     /** 这台服务器挂上来的工具数(有限数)。缺席 = 没报,**不是** `0`。 */
     toolCount?: number;
+    /**
+     * 请求**到没到**那台服务器(core 7.6.0 S6-B;`yes` / `no` / `unknown`,**按开集读**)。
+     * 🔴 与 {@link errorCode} **合读**(见投影函数顶注)。缺席 = 引擎没给这一位。
+     * ⚠️ `no` 说的是**调用方的工具调用**没发出去,**不**保证「那台服务器一个字节都没收到」。
+     */
+    delivered?: string;
+    /**
+     * 端点答的那个 HTTP 状态(core 7.6.0 S6-B),**只**与 `errorCode === "http_status"` 同行
+     * (401/403 去重新授权、5xx 是那头挂了)。
+     * 🔴 **缺席而不是 0**:一个编出来的 `0` 会被读成「服务器答了状态码 0」这句不存在的话。
+     * ⚠️ 本层**不校**「只与 http_status 同行」那条配对:它是 core 的段内规矩,server 已按它铸;
+     *    包再校一遍只会在上游合法演进的当天把一个真读数判没(与 `errorCode` 的开集纪律同规)。
+     */
+    httpStatus?: number;
 }
 /**
  * CS-7 §2.7 — turn_end usage → CC `ModelUsage` (pinned name mapping;

package/dist/adapter/downstream/eventToSdkMessage.js

@@ -1,5 +1,7 @@
 import { stamp, } from '../types.js';
 import { turnUsageToModelUsage } from './turnUsageToModelUsage.js';
+// 0.60.0(engine ≥7.64.0 / sdk 8.4.0):`tool_end.gate` 的三端共用窄读器(判定归包,端不许自拼)。
+import { gateOutcomeOf } from '../../gateOutcome.js';
 // #51: `stamp<T extends { uuid?: string; session_id?: string }>` — passing an
 // arm-body object literal straight to `stamp` triggers a TS quirk: the
 // literal gets excess-property-checked against the CONSTRAINT (which only
@@ -229,63 +231,33 @@ export function eventToSdkMessage(ev, ctx) {
             //    绝不按识别表过滤(过滤 = 替引擎决定哪些原因配得上被看见)。判别用
             //    `engineErrorCodes.isInterruptedToolEndCode`,不要在消费点重新写字面比较。
             const toolEndErrorCode = ev.errorCode;
-            // ── #263 半场(0.30.8):`settledBy`(core ≥5.18.1,#187)/ `approver`(core ≥5.35.0
-            //    design/252 G-7,server ≥7.23.0)—— 这次调用**是怎么结算的**与**是谁结算的**。
-            //    两键在 SDK 头注里明说要**合读**:`settledBy` 说这次收场是哪一种,`approver` 说是谁的
-            //    (`settledBy:"timeout"` 带 approver 时,名字指的是**超时的那条队列**,不是拒绝的人)。
-            //    此前本臂是闭形白名单,两键在包边界上被整段剥掉 ⇒ 宿主(壳/web/desktop)无论怎么写都读不到
-            //    一条**已经在 wire 上**的事实 —— [1947] `toolCallId` / [2942] `governanceForced` 同款病形第三例。
-            // 🔴 **开集防御读**(与上面 `errorCode` 同姿势):`settledBy` 的类型面虽是三词闭集,SDK 头注却
-            //    逐字要求「按**开集**读、分支已知值、忽略其余」—— 词表属主是引擎,窄读成枚举会在加员当天把
-            //    一个**合法**值判没;`approver` 本就是无词表的开集身份串。两键一律「非空串即原样透传」,
-            //    绝不按识别表过滤,也绝不 trim/截断/改写(core 只筛形 ≤256 且拒控制符/双向覆盖符,server
-            //    过境再打一遍密钥形码;本层任何加工都会让宿主看到的名字不再是通道报的那一个)。
-            // 🔴 **缺席不带语义,不许反推**(SDK 头注逐字):`settledBy` 缺席至少两源(旧引擎;姿态臂如
-            //    headless auto-deny / 整体 `onAsk` 放行 —— 那些结局里没有「结算来源」这回事),既不等于
-            //    `human` 也不等于「没走审批」;`approver` 缺席 = 通道没报名字,永不意味「没人批」也永不
-            //    意味「有人批」。⇒ 缺席就**不铸键**(绝不折成 null / 空串 / false)。判这次运行的命运读
-            //    run 行 / checkpoint 面,别拿这两键当判据。
-            // 🔴 **UNTRUSTED-for-display**:`approver` 是部署侧审批通道**自报**的身份串,转录不是认证
-            //    (core 不鉴别、不比对、不回读)—— 只渲染,绝不回喂模型/工具入参,更不许当鉴权判据。
-            const toolEndSettledBy = ev.settledBy;
-            const toolEndApprover = ev.approver;
-            // ── A-D2(0.42.0,cli wire 锚台账 cli-191 镜头 A):`resolution`(core ≥5.35 `AskDenyResolution`)
-            //    —— 这次 deny **是哪一条拒绝臂**(`human_refused` / `window_expired` / `no_approver` /
-            //    `blanket_allow_refused` / `approver_unavailable` / `task_aborted` / `presentation_failed` /
-            //    `approver_error` / `approver_contract`)。与 {@link toolEndSettledBy} **合读而不互替**:
-            //    settledBy 只说「这次等待是哪一**种**收场」,resolution 分类的是**拒绝臂本身**。
-            // 🔴 为什么这一位非补不可(消费面已经在等它):要判「审批窗口自己走完了」,单锚 settledBy 会把
-            //    「审批方违约」那一臂一起收进来(approver 回了契约外的东西,窗口并没有自然走完)。本臂此前
-            //    是闭形白名单,`resolution` 在包边界被整段剥掉 ⇒ 消费端**缺一臂**,只能退到锚 core 散文
-            //    (文案一改就漂)。[1947] `toolCallId` / [2942] `governanceForced` / #263 两键 / #324 机读位
-            //    之后的**同款病形第五例**。
-            // 🔴 **给消费端的判据是正面匹配**(异源复审 [medium] 采纳):
-            //    `settledBy === 'timeout' && resolution === 'window_expired'`;**绝不**写
-            //    `resolution !== 'approver_contract'` —— 那个不等式对**缺席**(旧引擎)与**任何未来新码**
-            //    都为真,会把「不知道是怎么拒的」折成「窗口自然结束」。
-            // 🔴 **开集防御读**(与上面三键同姿势):类型面虽是九词闭集,词表属主仍是引擎 —— 窄读成枚举
-            //    会在加员当天把一个合法值判没。非空串即原样透传,绝不按识别表过滤、绝不 trim/截断/改写。
-            // 🔴 **缺席不带语义,不许反推**(core 头注逐字):每一次真正执行了的调用、每一次 policy/hook
-            //    直拒、以及 durable/decide 腿的结算(它们带自己的 settledBy/reason)都**不带**这一位。
-            //    缺席 ≠「不是拒绝」也 ≠「人拒的」⇒ 缺席就不铸键(绝不折成 null / 空串)。
-            const toolEndResolution = ev.resolution;
-            // ── S-125⑧(0.59.0):`autoDenied` —— 这次 deny **是引擎的窗自己拒的**,不是人拒的 ──────
-            //    出处 = server ≥7.57.0 `trace/project.js` 的 `toolEndEventData`(条件 stamp
-            //    `ev.autoDenied === true ? { autoDenied: true } : {}`),源头是 core 7.4.0 auto 模式
-            //    分类器的**限额回落窗**:那张必须真人批的卡(`tool_approval.denialLimitFallback` +
-            //    `requiresRealApproval` 孪生键)在 `autoDenyAfterMs` 走完之后由**引擎**判 deny,同批盖
-            //    `settledBy:"timeout"` / `resolution:"window_expired"` / 本位。
-            // 🔴 **为什么单靠既有两键判不出来**(这一位非补不可的理由):`settledBy:"timeout"` 覆盖的是
-            //    **一切**审批窗到期(含普通 ask 的 TTL),`resolution:"window_expired"` 同理 —— 两者都
-            //    答不了「这一次到期是**自动拒**收的场,还是 park 了等人」。消费面要渲的那句话
-            //    (「自动拒(限额回落)」vs「已转后台候批」)正卡在这一格上。
-            // 🔴 **严格 `true` 才上臂**(与 `_sema_collateral_abort` / `governanceForced` 同族纪律):
-            //    机读位是二值的,「在场但不是 true」没有语义,折成在场会让消费端把一个坏形当成肯定。
-            // 🔴 **缺席不带语义,不许反推**:缺席同时覆盖「不是自动拒」「老引擎(<7.57.0)不报」
-            //    「这次根本没走审批」三形 ⇒ 缺席**禁**读成「是人拒的」。
-            // 🔴 **不据它自铸第二只定时器/第二张资格表**:窗的执行全在引擎(上游 `denialLimitFallback`
-            //    顶注的同一条禁令),本位只是**事后**的判别位。
-            const toolEndAutoDenied = ev.autoDenied;
+            // ── 0.60.0(engine ≥7.64.0 / sdk 8.4.0):四个正交词 → 一条门记录 `tool_end.gate` ──────────
+            // 退役的 `settledBy` / `resolution` / `autoDenied` / `approver` **四键全删,无 alias**(上游
+            // 类型面 BREAKING)。继任者是一条记录:`disposition`(放行 / 被哪一**层**拒)+ `settlement?`
+            // (这次消费掉的等待怎么结束的)+ `origin?`(谁问的),后两位**同在同缺**。
+            // 🔴 **窄读单源在包里**(`gateOutcome.gateOutcomeOf`),本臂只负责把成形的那只**原样上臂** ——
+            //    此前四个词各自在这里做一次 `typeof === 'string'` 窄化,而端还要再自拼一个两键合取才能
+            //    回答「这次是不是审批窗自己走完的」。判定归包之后端调谓词,不再自拼(见 gateOutcome.ts)。
+            // 🔴 **不成形就不铸键**(绝不折成 null / 空对象):缺席在上游是**四种不可分辨的成因**
+            //    (门没看见这次调用 / 延后重发 / reconcile 捡回的孤儿 / 记录过不了引擎的筛而 server
+            //    整条不投),一律退回 `isError` + 文案 —— 铸一个空壳会让端把「不知道」读成「放行过」。
+            // 🔴 **UNTRUSTED-for-display**:`settlement.who.approver` 与 `settlement.note` 是部署侧审批
+            //    通道自报/拒批人自写的自由文本(转录不是认证),只渲染,绝不回喂模型/工具入参,更不许
+            //    当鉴权判据。
+            const toolEndGate = gateOutcomeOf(ev);
+            // ── core ≥7.6.0(S6-B):这次 **MCP** 失败**到没到那台服务器** ─────────────────────────────
+            // 🔴 与 {@link errorCode} **合读**才有意义:同一个 `connection_closed`,`no` 可以直接重试
+            //    (什么都没发出去)、`unknown` 必须先去查(请求可能已经执行了)。带写副作用的工具在
+            //    `unknown` 上必须先核实再重试 —— 这条判别力单看码拿不到,所以这一位非透传不可。
+            // 🔴 **不在本层收窄成三词**:词表属主是引擎(与 `settledBy` 那一代的开集纪律逐字同规),
+            //    抄一份会把新词吞成缺席。非空串即原样透传。
+            // 🔴 **缺席不带语义**:每一次执行成功的调用、每一次非 MCP 失败都不带它。
+            const toolEndDelivered = ev.delivered;
+            // ── core ≥5.55.0(#333):耐久 park 正扣着**哪一个** tool call 的 id ────────────────────────
+            // 引擎从已提交 checkpoint 的 pendingAction 直读(**禁由工具自报**)。只挂在 park 污染帧上;
+            // tool-less park(resource_limit / plan_review / task_done)**整键缺席**,契约逐字
+            // "ABSENT, never guessed" —— 缺席不铸键、也不猜。
+            const toolEndGatedCallId = ev.gatedCallId;
             // ── #324 半场(0.40.0):连坐 abort 机读位 `_sema_collateral_abort`([4907] 裁定)──
             // 出处**不是引擎**,是本包自己的 HITL 桥:`gateLedger.flushHeld` 对「出身 = collateral」的
             // 扣留帧 stamp(见 `SEMA_COLLATERAL_ABORT_KEY` 头注)。桥在本臂**上游**(宿主先用
@@ -315,19 +287,16 @@ export function eventToSdkMessage(ev, ctx) {
                 ...(ev.output !== undefined ? { output: ev.output } : {}),
                 ...(structured !== undefined ? { structured } : {}),
                 ...(ev.truncated !== undefined ? { truncated: ev.truncated } : {}),
-                // #263 半场:结算种类 + 结算方身份(开集、缺席不铸、在场原样;顶部大段头注是判据本体)。
-                ...(typeof toolEndSettledBy === 'string' && toolEndSettledBy.length > 0
-                    ? { settledBy: toolEndSettledBy }
+                // 0.60.0:整条门记录(不成形不铸键;顶部大段头注是判据本体)。
+                ...(toolEndGate !== undefined ? { gate: toolEndGate } : {}),
+                // S6-B:MCP 投递判词(开集、缺席不铸、在场原样)。
+                ...(typeof toolEndDelivered === 'string' && toolEndDelivered.length > 0
+                    ? { delivered: toolEndDelivered }
                     : {}),
-                ...(typeof toolEndApprover === 'string' && toolEndApprover.length > 0
-                    ? { approver: toolEndApprover }
+                // #333:耐久 park 正扣着哪个 call(缺席不铸,绝不猜)。
+                ...(typeof toolEndGatedCallId === 'string' && toolEndGatedCallId.length > 0
+                    ? { gatedCallId: toolEndGatedCallId }
                     : {}),
-                // A-D2:拒绝臂分类(开集、缺席不铸、在场原样;判据本体是上方那段头注)。
-                ...(typeof toolEndResolution === 'string' && toolEndResolution.length > 0
-                    ? { resolution: toolEndResolution }
-                    : {}),
-                // S-125⑧:自动拒判别位(**严格 true** 才上臂;见上方头注)。
-                ...(toolEndAutoDenied === true ? { autoDenied: true } : {}),
                 // #324:连坐 abort 机读位(严格 true 才上臂;见上方头注)。
                 ...(collateralAbort === true ? { _sema_collateral_abort: true } : {}),
                 ...(ev.eventId !== undefined ? { eventId: ev.eventId } : {}),
@@ -862,8 +831,8 @@ function textEndProjection(ev, ctx) {
  *    (「我读不出来」不是「我知道是零」)。这与下面「逐条独立」并不矛盾:只要**还有幸存者**,
  *    半张表仍是真读数,坏行照旧只丢自己。
  * 🔴 **逐条独立**:一条坏行只丢自己(与 server 侧 `continue` 同判据),绝不因为一条坏行丢整表。
- * 🔴 **逐键挑,禁 spread**:core 往条目上加第六键时必须由人显式处置 —— 而它下一个加的很可能又是
- *    一个像 `error` 那样的自由文本面。
+ * 🔴 **逐键挑,禁 spread**:core 往条目上加新键时必须由人显式处置 —— 而它下一个加的很可能又是
+ *    一个像 `error` 那样的自由文本面。(0.60.0 按此显式处置了 S6-B 的 `delivered` / `httpStatus`。)
  * ⚠️ `toolCount` 按**有限数**判(`Number.isFinite`),不按真值判:`0` 是合法读数(连上了、零工具),
  *    折成缺席会让「连上了但没工具」与「没报」在消费端同形。
  */
@@ -885,6 +854,9 @@ function projectMcpSection(raw) {
             ...(typeof r.source === 'string' && r.source.length > 0 ? { source: r.source } : {}),
             ...(typeof r.errorCode === 'string' && r.errorCode.length > 0 ? { errorCode: r.errorCode } : {}),
             ...(typeof r.toolCount === 'number' && Number.isFinite(r.toolCount) ? { toolCount: r.toolCount } : {}),
+            // S6-B(0.60.0):两位与既有五位同律 —— 逐键挑、开集读、缺席不铸。
+            ...(typeof r.delivered === 'string' && r.delivered.length > 0 ? { delivered: r.delivered } : {}),
+            ...(typeof r.httpStatus === 'number' && Number.isFinite(r.httpStatus) ? { httpStatus: r.httpStatus } : {}),
         });
     }
     // 🔴 见顶注:`raw.length === 0` 是**正面事实**(照铸 `[]`);非空却零行幸存 = 读不出来 ⇒ 段缺席。

package/dist/adapter/downstream/terminalToSdkResult.d.ts

@@ -11,21 +11,21 @@
  *           flatten(TaskStats); modelUsage ⇐ stats.modelUsage (per-model split).
  *           DROP CC stop_reason / duration_api_ms / structured_output /
  *           fast_mode_state (contract 02 §2.10).
- *           Budget gate is a RESULT branch, not a throw: a `done` whose
- *           status/errorCode signals a budget cap still settles as a result
- *           (08 CS-10) — surfaced via TaskResult.errorCode upstream, not here.
+ *           Budget gate is a RESULT branch, not a throw: a `done` whose terminal
+ *           cause is a failure carrying a budget code still settles as a result
+ *           (08 CS-10) — surfaced via `terminal.failed.code` upstream, not here.
  *  failed : flatten CC's 4 SDKResultError subtypes + errors[] into the single
- *           {errorCode, errorMessage} pair. A user-cancelled run settles here
- *           with errorCode:"cancelled" (08 CS-11).
- *  park   : done{status:'suspended'|'needs_review'}(HITL/plan-review park)在无
+ *           {code, message} pair. A user-cancelled run settles here with
+ *           code:"cancelled" (08 CS-11).
+ *  park   : done 帧的 `terminal.kind === "paused"`(HITL/plan-review park)在无
  *           overlay 消费面(-p / 非 REPL)也走 SDKResultError 臂 —— 绝不投影成
  *           空成功([884]A1,见下方分支注释)。
  *
- * ── 终态词表全枚举分流([909]B1,2026-07-16;core 5.8.0 词表迁移 [2489],2026-08-04)──────────
- * 引擎终态 = core TaskStatus 全集;done 帧 result.status 原样骑该词表(server runs.js
- * append("done",{result:safe}) 透传)。此前只分流 failed/suspended/needs_review,timeout/blocked
- * 落 success 臂 = TB 实锤「result 帧恒 success/is_error 恒 false,含 4 个引擎已记 timeout 的
- * trial」。CC 2.1.207 SDKResultError subtype 词表(真源 pretty.js:765781-765786 zod enum)只有 4 词。
+ * ── 终态分流([909]B1,2026-07-16;core 5.8.0 词表迁移 [2489],2026-08-04;因由形 0.60.0)──────
+ * 🔴 **0.60.0(engine ≥7.64.0 / sdk 8.4.0)换判据**:终局不再是并列的八个平面键,而是一条**带标
+ * 因由** `result.terminal`(四臂)。本文件一个 `status` 字面都不再比较 —— 读法单源在
+ * `runTerminal.readRunTerminal`,它同时认**扁平形**的两个来源(升级前落盘、读盘面逐字回放的历史行;
+ * server 自己的 409 拒绝信封),并把四臂之外的词一律归到 `unknown` 臂。分流表因此按**因由臂**排。
  *
  * ✅ **单代读面**(退役批,2026-08-04):core 5.8.0 是 BREAKING 大车(`status:'timeout'` 退役、
  * 四个到限码全部改名),交付时点壳的引擎还捆 core 5.7,故读面曾同时认新旧两代,每处钉一个可 grep
@@ -34,9 +34,9 @@
  * (记号与登记门同批清空),读面与写面(limitsWire.ts)重新同为单一新形。旧形不再被认走这件事由
  * `scripts/run-streamjson-timing-honesty-test.mjs` 的四条**退役负控**常驻看守(加回来就红)。
  *
- *   TaskStatus      errorCode                            → subtype                      is_error
+ *   terminal.kind   code                                 → subtype                      is_error
  *   ────────────────────────────────────────────────────────────────────────────────────────────
- *   completed       —                                    → 'success'                     false
+ *   completed       —(结构上写不出码)                  → 'success'                     false
  *   failed          limits.max_cost_exceeded             → 'error_max_budget_usd'        true
  *   failed          limits.max_turns_exceeded            → 'error_max_turns'             true
  *   failed          limits.max_tokens_exceeded           → 'error_during_execution'      true
@@ -53,16 +53,21 @@
  *                    兜底词。真实语义靠 errors[] 文案 + errorCode 透传辨认,不变。)
  *   failed          output.invalid                       → 'error_max_structured_output_retries' true
  *   failed          其余(含 cancelled/conflict…)        → 'error_during_execution'      true
- *   blocked         —(engine 只给 blockedReason)        → 'error_during_execution'      true
- *   suspended       —                                    → 'error_during_execution'      true([884]A1)
- *   needs_review    review.pending                       → 'error_during_execution'      true([884]A1)
- *   〈未知新词〉    —                                    → 'error_during_execution'      true(防御:
- *                    非 completed 的终态一律≠空成功;errors[] 里如实报出该 status 字面)
+ *   blocked         —(engine 只给 reason)               → 'error_during_execution'      true
+ *   paused          —(结构上写不出码;扁平形回放的历史   → 'error_during_execution'      true([884]A1)
+ *                    行仍可能带 review.pending)          措辞按门种分「复核 / 交互作答」两句
+ *   unknown         —                                    → 'error_during_execution'      true(防御:
+ *                    非 completed 的终局一律≠空成功;errors[] 里如实报出那个词的字面。**因由座在场
+ *                    却整个读不出**(坏形/混合载体)也落这一臂,措辞改说「读不出」而不是编一个词)
+ *   〈整个缺席〉    —                                    → 'success'                     false
+ *                    (mock 车道 / 不带终态词的旧合成帧;读器返 null,零行为变化)
  *
- * errorCode 透传:引擎 errorCode 骑 additive seam 字段 `errorCode`(CC schema 无此字段——
- * 与 success 臂的 `model` 同款超集姿势),集成面可精确分流(limits.max_tokens_exceeded vs
- * cancelled …)。截断 salvage:写出窗兑现的 r.result(非空)骑 additive `result` 字段——CC error
- * 帧无 result,但把引擎已救回的最终文本静默丢弃对 -p 消费者是净损失。
+ * errorCode 透传:引擎的码骑 additive seam 字段 `errorCode`(CC schema 无此字段——与 success 臂的
+ * `model` 同款超集姿势),集成面可精确分流(limits.max_tokens_exceeded vs cancelled …)。
+ * 🔴 因由形下「码属于失败」是**形状**:paused / blocked 上引擎写不出码 ⇒ 这两臂的 `errorCode`
+ * 从 0.60.0 起恒缺席(扁平形回放的历史行仍带得动它)。截断 salvage:写出窗兑现的 r.result(非空)
+ * 骑 additive `result` 字段——CC error 帧无 result,但把引擎已救回的最终文本静默丢弃对 -p 消费者
+ * 是净损失。
  *
  * 成本取数 = `TaskStats.costMicroUsd`(整数 micro-USD 单轨,SDK 1.0.0 / server 1.319.0 /
  * core 2.0.0 起;legacy float `costUsd` 已删,见 costOrNull 头注)。零成本 is AMBIGUOUS