@sema-agent/client-core 0.64.1 → 0.65.0

package/docs/INTEGRATION-CLIENTS.md

@@ -15,15 +15,15 @@
 
 ## §0 版本锚与重扫纪律
 
-### 0a. 版本锚(2026-09-06)
+### 0a. 版本锚(2026-09-10)
 
 | 项 | 值 | 真源 |
 |---|---|---|
-| 本包 | `@sema-agent/client-core` **0.59.2**(= npm 最新;`package.json` `version` 未动)。**工作树另有一批未发内容** = 0.60.0(sdk 8.4.0 / engine 7.64.0 提货:终局因由 + 门记录两只读器 / B-042 身份闸 / B-037 候包两件 / `Capabilities` 93→94),进 `CHANGELOG.md` 的 `## 0.60.0(未发布)` 段;bump 与冻结账两阶段由发包批做,本内容批**不 bump** | `package.json` `version` |
+| 本包 | `@sema-agent/client-core` **0.65.0**(本批发布版;内容批 = 两车合并 commit 79610d7:① 投影臂族归层修 B-071 / B-072 / B-073 / B-074 / L-215③ ② 接入审计 B 战役包侧四件 B-070 / B-078 / L-215①② / B-080;🔴 本版有 BREAKING = 熔断族公面 clean-cut(`AUTO_MODE_BREAKER_CAUSES` / `classifierBreakerOf` / `ClassifierBreakerView` / `autoMode.breaker` / `breaker_open`),其余 additive;逐件见 §30a–§30n,`CHANGELOG.md` `## 0.65.0(2026-09-11)`;bump 与冻结账两阶段由发包批做) | `package.json` `version` |
 | peer:wire 契约 | `@sema-agent/sdk` **>=8.4.0**(value-level,非 type-only;**0.60.0 抬版**,四条硬理由见 §24a 与 `scripts/run-sdk-floor-test.mjs` 的 `FLOOR` 注;上一次是 0.59.0 的 `>=8.3.0`)。🔴 支持窗同批收到 **engine ≥7.64.0**:sdk 8.4.0 与 7.63.0 及以前的 wire **不同窗** | `package.json` `peerDependencies` |
 | peer:会话词汇表 | `@sema-agent/agent-types` **>=0.2.0**(type-only,零运行时) | 同上 |
 | runtime dep | `diff` ^9.0.0(**唯一**一条;portability 门按**等值**钉死) | `package.json` `dependencies` |
-| 公开导出面 | **918** 个运行期符号(+ 44 个测试钩;= 工作树当下的值 = **0.64.0 件①+件② 十三件 additive、零删除**:`CLASSIFIER_STATUS_STATES`/`classifierBreakerOf`/`classifierStatusOf`/`classifierStatusDetail`(分类器状态面,详见 §28②)/ `THINKING_FORMATS`/`THINKING_FORMAT_WIRE_TWINS`/`THINKING_DISABLE_PROBE_ORDER`/`MODEL_PROBE_VERDICTS`/`PROBE_PROMPT`/`PROBE_MAX_TOKENS`/`probeRequestBody`/`probeModelCapability`/`applyProbeToEntry`(模型思考能力探测,详见 §28①);`0.63.0` 是 **905**,那批是八件 additive、零删除:`projectServerGateKnobs`/`postureKnobSourceOf`/`postureSourceIsOperatorPinned`/`postureKnobDetail`/`POSTURE_SOURCE_WORDS`(S-178 三根 posture 旋钮读数,详见 §27b)/ `PERSISTED_RULE_BEHAVIORS`/`PERSISTED_RULE_BEHAVIOR_UNKNOWN`/`persistedRuleBehaviorOf`/`persistedRuleBehaviorLabel`/`revokeTargetFromPersistedRule`(三态规则身份,§27c)/ `engineIdentityOf`/`engineIdentityVerdict`/`engineIdentityChanged`/`engineIdentityChangedBy`/`ENGINE_IDENTITY_ANCHORS`(S-179 代际锚,§27d)/ `GATE_DENIED_BY_WORDS`/`gateDeniedByDetail`/`ASK_ORIGIN_WORDS`/`askOriginDetail`(门词汇 +2,§27e)/ `PERMISSION_RULE_ISSUE_CODES`/`RETIRED_PERMISSION_RULE_ISSUE_CODES`/`permissionRuleIssueDetail`(规则 lint 码表,§27f)/ `projectToolRoster`/`toolRosterNames`/`toolShimFromRoster`/`applyToolRosterDelta`(L-161 工具名册,§27g)/ `ENGINE_NOTICE_CODES`/`ENGINE_NOTICE_AUDIENCE`/`noticeAudienceOf`/`engineNoticeInCatalog`/`MCP_INJECTION_DROP_REASONS`/`readMcpInjectionDrop`(L-167 通告码册,§27h)/ `AUTO_MODE_UNAVAILABLE_CAUSES`/`AUTO_MODE_BREAKER_CAUSES`/`classifierUnavailableOf`/`classifierUnavailableDetail`(件⑧ 分类器不可用事实,§27h2);`0.62.0` 是 **869**,那批是五件 additive、**零删除**:`capForDisplay`(呈前消毒 + 封长的共用铸点,详见 §26⑦)/ `SEAT_SEND_MESSAGE_KEY_ORIGINS`(座位载荷逐键出身表,详见 §26③)/ `configureSubagentContentStore`+`subagentContentStoreConfig`+`SUBAGENT_CONTENT_STORE_DEFAULTS`(子代内容账本字节预算,测试钩 `__resetSubagentContentStoreConfigForTests` +1,详见 §26②);`0.61.0` 是 **864**,那批是三件 additive、**零删除**:`projectReadFacePosture`/`readFacePostureDetail`/`readFaceDisagreement`(S-167 READ 容纳面 operator 读器,详见 §25);`0.60.0` 是 **861**,那批是二十五件 additive、**零删除**:`readRunTerminal`/`runTerminalCode`/`runTerminalGateKind`/`runTerminalGateToolName`/`isReviewPark`/`REVIEW_PARK_GATE_KINDS` 六件终局因由读器 + `gateOutcomeOf`/`isDeniedGate`/`gateDeniedBy`/`gateApprover`/`isApprovalWindowExpiredGate`/`isDenialLimitAutoDeniedGate`/`isParkSlaExpiredGate`/`isHumanSettledGate` 八件门记录读器 + `projectWriteProtectionCapability`/`noteEngineCapsForWriteProtection`/`observedWriteProtection`/`forgetWriteProtectionReading`/`writeProtectionDoctorDetail`/`projectWriteProtectionPosture`/`writeProtectionPostureDetail` 七件写保护读面(测试钩 `__resetWriteProtectionReadingsForTests` +1)+ `readWireErrorCode` + 真机边界①的两件 `isGateParkedToolEnd`/`GATE_PARKED_ERROR_CODE` + 异源复审逼出的 `engineCapsGeneration`;`0.59.0` 是 **836**,那批是八件 additive:`RULE_OFFERS_ABSENCE_REASONS`/`DENIAL_LIMIT_KINDS` 两张闭词表再导出 + `engineCapValue` 能力位四态通用读口 + `projectSqlEngineCapability`/`observedSqlEngine`/`noteEngineCapsForSqlEngine`/`forgetSqlEngineReading`/`sqlEngineDoctorDetail` 五件 SQL 姿态读面(测试钩 `__resetSqlEngineReadingsForTests` +1);`0.58.0` 是 **828**,那批是三件 additive:`RULE_OFFER_MATCHES`/`RULE_OFFER_BATCH_MEMBER_KINDS`/`RULE_OFFER_UNCOVERED_REASONS` 三张闭词表再导出 + `RESUME_REFUSAL_CODES`/`RESUME_PLACEMENT_MISMATCH`/`resumeRefusalFromError`/`resumeRefusalContent` 四件文案铸点;`0.57.0` 是 **821**;`0.56.0`/`0.55.0` 是 **815**;已发 `0.54.0`(design/385 十件 additive 含 `AUTHORITY_ENVELOPE_TAGS`);`0.52.0` 是 **805**(L-69⑨ 两件);`0.51.0` 是 **803**;`0.50.0` 是 **800**(S-81 五件);`0.49.0` 是 **795**;`0.48.0` 是 **794**;npm `0.47.0` 是 **790**,`0.46.0` 是 **787**,`0.44.0` 是 **783**,`0.43.1`/`0.43.0` 是 **776**,`0.42.0` 是 **771**,`0.41.0` 是 **767**,`0.39.0` 是 **766**,`0.38.0` 是 **764**;`0.37.0` 是 **753**,见 `CHANGELOG.md`) | `scripts/public-export-baseline.json` 的 `count` / `testHookCount` —— **别手抄进别处,以该文件为准** |
+| 公开导出面 | **928** 个运行期符号(+ 44 个测试钩;= 工作树当下的值 = **0.65.x 十一件 additive、两件删除**:additive = `DECIDE_WORKFLOW_HOST_UNKNOWN`/`DECIDE_WORKFLOW_HOST_NOT_PARKED`/`DECIDE_WORKFLOW_REMEMBER_UNSUPPORTED`/`DECIDE_WORKFLOW_LANE_CODES`/`readDecideReceipt`/`decideAcceptedNotResolved`/`decideRefusalFromError`(B-070 `/decide` 回执读面与三码人话,详见 §30h)/ `TERMINAL_NOT_SUCCESS_STATUSES`/`isTerminalNotSuccess`/`TERMINAL_STATUSES`/`isTerminalStatus`(L-215② 终局词汇单铸谓词,详见 §30j);🔴 **删除两件** `AUTO_MODE_BREAKER_CAUSES`/`classifierBreakerOf`(熔断族随 core 7.12.0 的 Removed(BREAKING) 整只退役,clean-cut 不留别名,详见 §30k②;同批删的还有**型** `ClassifierBreakerView` 与 `ClassifierStatusView.breaker` 一位)。`0.64.2` 是 **919**,那批是一件 additive、零删除:`readDenialLimitFallback`(限额回落卡的窄读器上公面,壳侧同判据副本退役,详见 §29③);`0.64.0` 是 **918**,那批是件①+件② 十三件 additive、零删除:`CLASSIFIER_STATUS_STATES`/`classifierBreakerOf`/`classifierStatusOf`/`classifierStatusDetail`(分类器状态面,详见 §28②)/ `THINKING_FORMATS`/`THINKING_FORMAT_WIRE_TWINS`/`THINKING_DISABLE_PROBE_ORDER`/`MODEL_PROBE_VERDICTS`/`PROBE_PROMPT`/`PROBE_MAX_TOKENS`/`probeRequestBody`/`probeModelCapability`/`applyProbeToEntry`(模型思考能力探测,详见 §28①);`0.63.0` 是 **905**,那批是八件 additive、零删除:`projectServerGateKnobs`/`postureKnobSourceOf`/`postureSourceIsOperatorPinned`/`postureKnobDetail`/`POSTURE_SOURCE_WORDS`(S-178 三根 posture 旋钮读数,详见 §27b)/ `PERSISTED_RULE_BEHAVIORS`/`PERSISTED_RULE_BEHAVIOR_UNKNOWN`/`persistedRuleBehaviorOf`/`persistedRuleBehaviorLabel`/`revokeTargetFromPersistedRule`(三态规则身份,§27c)/ `engineIdentityOf`/`engineIdentityVerdict`/`engineIdentityChanged`/`engineIdentityChangedBy`/`ENGINE_IDENTITY_ANCHORS`(S-179 代际锚,§27d)/ `GATE_DENIED_BY_WORDS`/`gateDeniedByDetail`/`ASK_ORIGIN_WORDS`/`askOriginDetail`(门词汇 +2,§27e)/ `PERMISSION_RULE_ISSUE_CODES`/`RETIRED_PERMISSION_RULE_ISSUE_CODES`/`permissionRuleIssueDetail`(规则 lint 码表,§27f)/ `projectToolRoster`/`toolRosterNames`/`toolShimFromRoster`/`applyToolRosterDelta`(L-161 工具名册,§27g)/ `ENGINE_NOTICE_CODES`/`ENGINE_NOTICE_AUDIENCE`/`noticeAudienceOf`/`engineNoticeInCatalog`/`MCP_INJECTION_DROP_REASONS`/`readMcpInjectionDrop`(L-167 通告码册,§27h)/ `AUTO_MODE_UNAVAILABLE_CAUSES`/`AUTO_MODE_BREAKER_CAUSES`/`classifierUnavailableOf`/`classifierUnavailableDetail`(件⑧ 分类器不可用事实,§27h2);`0.62.0` 是 **869**,那批是五件 additive、**零删除**:`capForDisplay`(呈前消毒 + 封长的共用铸点,详见 §26⑦)/ `SEAT_SEND_MESSAGE_KEY_ORIGINS`(座位载荷逐键出身表,详见 §26③)/ `configureSubagentContentStore`+`subagentContentStoreConfig`+`SUBAGENT_CONTENT_STORE_DEFAULTS`(子代内容账本字节预算,测试钩 `__resetSubagentContentStoreConfigForTests` +1,详见 §26②);`0.61.0` 是 **864**,那批是三件 additive、**零删除**:`projectReadFacePosture`/`readFacePostureDetail`/`readFaceDisagreement`(S-167 READ 容纳面 operator 读器,详见 §25);`0.60.0` 是 **861**,那批是二十五件 additive、**零删除**:`readRunTerminal`/`runTerminalCode`/`runTerminalGateKind`/`runTerminalGateToolName`/`isReviewPark`/`REVIEW_PARK_GATE_KINDS` 六件终局因由读器 + `gateOutcomeOf`/`isDeniedGate`/`gateDeniedBy`/`gateApprover`/`isApprovalWindowExpiredGate`/`isDenialLimitAutoDeniedGate`/`isParkSlaExpiredGate`/`isHumanSettledGate` 八件门记录读器 + `projectWriteProtectionCapability`/`noteEngineCapsForWriteProtection`/`observedWriteProtection`/`forgetWriteProtectionReading`/`writeProtectionDoctorDetail`/`projectWriteProtectionPosture`/`writeProtectionPostureDetail` 七件写保护读面(测试钩 `__resetWriteProtectionReadingsForTests` +1)+ `readWireErrorCode` + 真机边界①的两件 `isGateParkedToolEnd`/`GATE_PARKED_ERROR_CODE` + 异源复审逼出的 `engineCapsGeneration`;`0.59.0` 是 **836**,那批是八件 additive:`RULE_OFFERS_ABSENCE_REASONS`/`DENIAL_LIMIT_KINDS` 两张闭词表再导出 + `engineCapValue` 能力位四态通用读口 + `projectSqlEngineCapability`/`observedSqlEngine`/`noteEngineCapsForSqlEngine`/`forgetSqlEngineReading`/`sqlEngineDoctorDetail` 五件 SQL 姿态读面(测试钩 `__resetSqlEngineReadingsForTests` +1);`0.58.0` 是 **828**,那批是三件 additive:`RULE_OFFER_MATCHES`/`RULE_OFFER_BATCH_MEMBER_KINDS`/`RULE_OFFER_UNCOVERED_REASONS` 三张闭词表再导出 + `RESUME_REFUSAL_CODES`/`RESUME_PLACEMENT_MISMATCH`/`resumeRefusalFromError`/`resumeRefusalContent` 四件文案铸点;`0.57.0` 是 **821**;`0.56.0`/`0.55.0` 是 **815**;已发 `0.54.0`(design/385 十件 additive 含 `AUTHORITY_ENVELOPE_TAGS`);`0.52.0` 是 **805**(L-69⑨ 两件);`0.51.0` 是 **803**;`0.50.0` 是 **800**(S-81 五件);`0.49.0` 是 **795**;`0.48.0` 是 **794**;npm `0.47.0` 是 **790**,`0.46.0` 是 **787**,`0.44.0` 是 **783**,`0.43.1`/`0.43.0` 是 **776**,`0.42.0` 是 **771**,`0.41.0` 是 **767**,`0.39.0` 是 **766**,`0.38.0` 是 **764**;`0.37.0` 是 **753**,见 `CHANGELOG.md`) | `scripts/public-export-baseline.json` 的 `count` / `testHookCount` —— **别手抄进别处,以该文件为准** |
 | 常驻门 | 以 `scripts/gates-manifest.json` 的 `suites` 长度为准(**本档不抄这个数**) | `scripts/gates-manifest.json`;`npm test` 的名单等值门与它逐名对账 |
 | 沿革档 | 0.29.0 起建 `CHANGELOG.md`;更早批次记账在 `src/index.ts` 文件头 + `docs/REFACTOR-LEDGER.md` | — |
 
@@ -111,7 +111,7 @@ SDK 核对「本包 import 的每个值级符号仍然导出」「`TaskStats.cos
 
 ## §2 公共导出面地图(按域)
 
-> 全集真源 = `scripts/public-export-baseline.json` 的 `names`(**918** 项)。
+> 全集真源 = `scripts/public-export-baseline.json` 的 `names`(**928** 项)。
 > 本节**不逐名抄**,只给「域 → 承重导出 → 用途 → 实现锚」。承重导出 = 一个端为了让这个域干活
 > **必须**直接调到的那几个符号;其余是它们的类型、变体与辅助位。
 > 单一入口:`import { … } from '@sema-agent/client-core'`(`exports` 只有 `.` 一个;
@@ -135,18 +135,18 @@ SDK 核对「本包 import 的每个值级符号仍然导出」「`TaskStats.cos
   `WorkflowsGateUnknownDenial` 四形**不在**基线里,`src/selfOrchestrationDenial.ts` 对基线贡献
   **4** 项运行期导出(三个函数 + `SELF_ORCHESTRATION_RETRY_WITHOUT`)。
 
-918 项的内部构成(帮助端估读表大小):**278** 项是 `SCREAMING_SNAKE` 常量数据表/词汇表
+928 项的内部构成(帮助端估读表大小):**283** 项是 `SCREAMING_SNAKE` 常量数据表/词汇表
 (矩阵、键集、env 名、锚串)而非可调用物;**5** 项是 PascalCase 运行期值
 (`ControlRouter` / `ControlSafetyError` / `HitlBridge` / `HitlSafetyError` / `DecideTransportRetryExhaustedError`);
 **41** 项是 `*For(sessionKey, …)` 的 per-session 变体(§6;其中 `engineNamespaceKeyFor` 是命名巧合 —— 参数是 baseUrl 不是 sessionKey,见域 14)。
 
-### 2b. 域图(16 域,逐域计数之和 = 918)
+### 2b. 域图(16 域,逐域计数之和 = 928)
 
 | # | 域 | 名数 | 承重导出 | 用途 | 实现锚 |
 |---|---|---|---|---|---|
-| 1 | **适配内核(下行主链)** | 39 | `adapt` · `createWireToCcAdapter` · `runStream` · `eventToSdkMessage` · `terminalToSdkResult` · `turnUsageToModelUsage` · `isRunStreamActive` · `ADAPTER_DIVERGENCES` · `readRunTerminal` / `runTerminalCode` / `runTerminalGateKind` / `runTerminalGateToolName` / `isReviewPark` / `REVIEW_PARK_GATE_KINDS`(0.60.0 / engine ≥7.64.0:一次 run **怎么结束的**唯一读器 —— 终局从八个平面键换成一条带标因由 `terminal`,四臂 + `unknown` 防御臂 + `plane` 两代字节标;🔴 不认识的终态词绝不折成成功、本包不提供「因由→五词 status」的兼容投影,详见 §24b)| 引擎 SSE `AgentEvent` → 端要渲的**双面输出**:transcript(`SDKMessage`)+ chrome(瞬态 `ChromeEvent`)。**本包存在的理由** | `src/adapt.ts`、`src/adapt/{arms,wireShapes,panelTasks}.ts`(经 `adapt.ts` 再导出)、`src/adapter/runStream.ts`、`src/adapter/downstream/*`、`src/adapter/types.ts`、`src/runTerminal.ts` |
+| 1 | **适配内核(下行主链)** | 43 | `adapt` · `createWireToCcAdapter` · `runStream` · `eventToSdkMessage` · `terminalToSdkResult` · `TERMINAL_NOT_SUCCESS_STATUSES`/`isTerminalNotSuccess`/`TERMINAL_STATUSES`/`isTerminalStatus`(L-215② 终局词汇的**单铸谓词** —— `blocked` 是 agent 自报终态,`suspended`/`needs_review` 刻意不在表里,详见 §30j) · `turnUsageToModelUsage` · `isRunStreamActive` · `ADAPTER_DIVERGENCES` · `readRunTerminal` / `runTerminalCode` / `runTerminalGateKind` / `runTerminalGateToolName` / `isReviewPark` / `REVIEW_PARK_GATE_KINDS`(0.60.0 / engine ≥7.64.0:一次 run **怎么结束的**唯一读器 —— 终局从八个平面键换成一条带标因由 `terminal`,四臂 + `unknown` 防御臂 + `plane` 两代字节标;🔴 不认识的终态词绝不折成成功、本包不提供「因由→五词 status」的兼容投影,详见 §24b)| 引擎 SSE `AgentEvent` → 端要渲的**双面输出**:transcript(`SDKMessage`)+ chrome(瞬态 `ChromeEvent`)。**本包存在的理由** | `src/adapt.ts`、`src/adapt/{arms,wireShapes,panelTasks}.ts`(经 `adapt.ts` 再导出)、`src/adapter/runStream.ts`、`src/adapter/downstream/*`、`src/adapter/types.ts`、`src/runTerminal.ts` |
 | 2 | **seam 公共契约** | 2(其余为 type-only) | `CHROME_ARMS` · `deriveTranscriptId` | 公共词汇 + **id 确定性不变量**(同一条流重放 ⇒ 同一串 id)。`CHROME_ARMS` = 端「我要消费哪些 chrome 臂」的对照清单 | `src/seam.ts` |
-| 3 | **HITL 决断卡链**(§4/§5 主战场) | 165 | `makeHitlCanUseTool` · `HitlBridge` · `findPendingForTask` · `HitlSafetyError` · `bridgeAskUserQuestionGates` · `surfaceToolApprovalFrameAndRespond` / `surfaceFsApprovalAndDecide` · `readToolApprovalRespondAck` · `installApprovalCardPort(For)` · `installHitlHostSurface(For)` · `armPlanReviewApproval` · `reopenPlanReviewCard` · `decidePlanReview` · `startApprovalsFeed` · `pendingRowIsOwnedByThisSession` · `approvalCallKey`/`liveFrameCallKey`/`planReviewQuestionId` · `registerArmedGateFor`/`wasGateArmedFor`/`clearArmedGateFor` · `waitForGateArmed(For)`/`onGateArmed(For)`/`gateArmedWaitMs`(#244 F1 呈现回执事件源) · `planReviewArmedKey(For)`/`notePlanReviewAnswered(For)`/`notePlanReviewAnsweredIfDecisive(For)`(A-024.4 plan 呈现分代) · `toolEndOutputText` · `isAskTool` · `waitForParkRowBirth` · `classifyAskParkRows` / `askParkRowArm` / `classifyAskParkChainFailure` · `readDecisionNoteAudit` / `decisionNoteAuditLine` · `resumeRunningOptions` / `resumeChoiceFromLabels` · `persistedRulesLaneAvailable`/`persistedRulesGovernanceAvailable` · `classifyRulesFailure` · `listAllPersistedRules` · `classifySkippedReason` · `readRulePersistOutcome`(#244 F2:persist-ack 读口与 `readToolApprovalRespondAck` 合成一处) · `parseLocalAllowRule`(durable 腿本地落规则窄化骨架,谓词经 `LocalAllowRuleDeps` 注入) · `readToolApprovalRespondRefusal`(#225 件5,0.42.0:respond 抛错的结构化原文读口 —— 三位各自防御读、各自缺席不铸、**三位皆缺席时整只返 `undefined`**;原样交还零加工,UNTRUSTED-for-display)· `installEditedRuleTextPrechecker` / `hasEditedRuleTextPrechecker` / `precheckEditedRuleText`([5076] 转出口,0.42.0:core 5.57.0 `precheckEditedRuleText` 的**端口注入形** —— 类型面 + 注入口 + 诚实缺席读口。🔴 **不是** value 级 re-export,理由见 §7 缺口 **P-34**;未装 ⇒ 返 `undefined`,绝不编一个 `{ok:true}`)· `surfaceRuleArmNotSent` / `RULE_NOT_SENT_WARN_TEXT` + `surfaceRuleArmRejected` / `RULE_NOT_SENT_REJECTED_WARN_TEXT`(#334,0.43.0:人在卡上按下的「不再询问」被整条丢弃时的诚实告知——**两条刻意分开**:前者=**引擎能力位未确认**(换台引擎/等探测就好),后者=**这次选择没过包内表核/互斥核**(表外文本/坏下标/两臂同场,换引擎也不会变) —— 编辑臂 `respondFreeFormRules` 与批臂 `respondBatchRuleOffers` 两条同形存量共用一条,与 `surfaceRememberNotApplied` 同族纪律:决断照送、只是规则没存,静默丢掉用户明确意图 = 让人以为功能坏了)· `projectCrashConverged`(L-38,0.49.0:`/v1/approvals` additive 键 `crashConverged` 的分桶投影 —— 崩溃收敛的孤儿审批读面,**缺席 ≠ 空数组**、分桶恰一个合取、坏行丢弃并计数,详见 §12;同批把 `ApprovalsResourceLike.list()` 的返回位 additive 放宽成 `ApprovalsListEnvelope`,老形 `{pending}` 仍可赋值)· `readRuleOffers` / `readRuleOfferSupply`(L-103/[C228],0.57.0 additive 导出:「不再询问」候选两代 wire 键的窄读器**公面化** —— 此前只经卡端口出包,不走卡端口架构的宿主只能自己重铸一把,而它承载的是兑付安全判据(原始下标不前移/逐条丢坏/闭集 kind/两代取舍序),详见 §20)· `RULE_OFFERS_ABSENCE_REASONS` / `DENIAL_LIMIT_KINDS`(0.59.0 / sdk 8.3.0 提货:`ruleOffersAbsence` 三词与 `denialLimitFallback.limit` 二词的**运行期**闭词表再导出 —— 与 0.58.0 那三张同一条纪律:端拿它做判定别再手抄字面量。⚠️ **本包自己不拿这两张表做窄读判定**(两处都按开集透传,词表属主是 core、server 已按闭集拒过),再导出只是给端的 `switch` 一份可数的表,端仍必须带 `default` 臂,详见 §23a)· `DecideTransportRetryExhaustedError`(Inkglow-1085 P0a:decide 出站瞬断重试耗尽的 typed 判别 —— HitlBridge 内建单次退避重试,耗尽走重呈臂不判死 turn;端一般只消费行为,不需要 instanceof) · `gateOutcomeOf` / `isDeniedGate` / `gateDeniedBy` / `gateApprover` / `isApprovalWindowExpiredGate` / `isDenialLimitAutoDeniedGate` / `isParkSlaExpiredGate` / `isHumanSettledGate`(0.60.0 / engine ≥7.64.0:`tool_end.gate` 整条门记录的窄读器 + 判定谓词 —— 取代退役的四个正交词 `settledBy`/`resolution`/`autoDenied`/`approver`。🔴 **判定归包**:「是不是审批窗自己走完的拒绝」旧形上是端各自拼的两键合取,而三条窗词现在分得开、合并读回去等于把刚修好的判别力扔掉;⚠️ 公面型一律带 `View` 后缀 —— 本文件的 `GateOutcome`(决断腿结局)与 sdk 的 `GateOutcome`(引擎门记录)**同名不同义**,详见 §24c)· `isGateParkedToolEnd`(「这次调用没在这里结算」的**第二形**谓词:gate 缺席 + `errorCode:"gate.parked"`;端判这件事必须与 `isApprovalWindowExpiredGate` **两形合读**) · `readWireErrorCode`(B-037 候包件②:decide/取件失败上引擎 wire 机器码的单源读口,结构视图读不 `instanceof`;与本包铸的 `code` 是两个命名空间,详见 §24g)| suspended→decide→resume 环。🔴 **D-1 两元组 verbatim 回显**是字节级断言的安全不变量,端**不许重实现它的任何一段**。🔴 键空间边界(web [C1] d3 拦截):`gateIdentity` 四常量两函数只覆盖 HITL questionId/callKey 空间;seat 的 `TOOL_PERMISSION_REQUEST_ID_DOMAINS`(`plan:` 等)是另一键空间,**两者绝不合并**(合并=座位校验器静默拒全部 plan-review 卡) | `src/hitl/hitlBridge.ts`、`toolApprovalWire.ts`、`askGateWire.ts`、`planReviewWire.ts`、`hitlHostSurface.ts`、`gateIdentity.ts`、`armedGateRegistry.ts`、`parkOwnership.ts`、`parkResolver.ts`、`approvalsFeed.ts`、`frameRouter.ts`(**只挑名导出** `toolEndOutputText`/`ENGINE_ABORT_TOOL_RESULT`/`isAskTool`/`HITL_REJECT_MESSAGE`/`HITL_INTERRUPT_MESSAGE_FOR_TOOL_USE`)、`parkRowBirthWait.ts`、`approvalDecisionNoteAudit.ts`、`askParkRowRouting.ts`、`resumeRunningCard.ts`(#265 上收的判定层)、`persistedRulesWire.ts`、`localAllowRule.ts`(#244 F2 规则侧)、`crashConverged.ts`(L-38 崩溃收敛读面)、`src/gateOutcome.ts` |
+| 3 | **HITL 决断卡链**(§4/§5 主战场) | 167 | `makeHitlCanUseTool` · `HitlBridge` · `findPendingForTask` · `readDecideReceipt`/`decideAcceptedNotResolved`/`decideRefusalFromError`(B-070:`/decide` 200 = **投递受理**不是「门已解决」;`executionOutcome` 缺席 = 未知,详见 §30h) · `HitlSafetyError` · `bridgeAskUserQuestionGates` · `surfaceToolApprovalFrameAndRespond` / `surfaceFsApprovalAndDecide` · `readToolApprovalRespondAck` · `installApprovalCardPort(For)` · `installHitlHostSurface(For)` · `armPlanReviewApproval` · `reopenPlanReviewCard` · `decidePlanReview` · `startApprovalsFeed` · `pendingRowIsOwnedByThisSession` · `approvalCallKey`/`liveFrameCallKey`/`planReviewQuestionId` · `registerArmedGateFor`/`wasGateArmedFor`/`clearArmedGateFor` · `waitForGateArmed(For)`/`onGateArmed(For)`/`gateArmedWaitMs`(#244 F1 呈现回执事件源) · `planReviewArmedKey(For)`/`notePlanReviewAnswered(For)`/`notePlanReviewAnsweredIfDecisive(For)`(A-024.4 plan 呈现分代) · `toolEndOutputText` · `isAskTool` · `waitForParkRowBirth` · `classifyAskParkRows` / `askParkRowArm` / `classifyAskParkChainFailure` · `readDecisionNoteAudit` / `decisionNoteAuditLine` · `resumeRunningOptions` / `resumeChoiceFromLabels` · `persistedRulesLaneAvailable`/`persistedRulesGovernanceAvailable` · `classifyRulesFailure` · `listAllPersistedRules` · `classifySkippedReason` · `readRulePersistOutcome`(#244 F2:persist-ack 读口与 `readToolApprovalRespondAck` 合成一处) · `parseLocalAllowRule`(durable 腿本地落规则窄化骨架,谓词经 `LocalAllowRuleDeps` 注入) · `readToolApprovalRespondRefusal`(#225 件5,0.42.0:respond 抛错的结构化原文读口 —— 三位各自防御读、各自缺席不铸、**三位皆缺席时整只返 `undefined`**;原样交还零加工,UNTRUSTED-for-display)· `installEditedRuleTextPrechecker` / `hasEditedRuleTextPrechecker` / `precheckEditedRuleText`([5076] 转出口,0.42.0:core 5.57.0 `precheckEditedRuleText` 的**端口注入形** —— 类型面 + 注入口 + 诚实缺席读口。🔴 **不是** value 级 re-export,理由见 §7 缺口 **P-34**;未装 ⇒ 返 `undefined`,绝不编一个 `{ok:true}`)· `surfaceRuleArmNotSent` / `RULE_NOT_SENT_WARN_TEXT` + `surfaceRuleArmRejected` / `RULE_NOT_SENT_REJECTED_WARN_TEXT`(#334,0.43.0:人在卡上按下的「不再询问」被整条丢弃时的诚实告知——**两条刻意分开**:前者=**引擎能力位未确认**(换台引擎/等探测就好),后者=**这次选择没过包内表核/互斥核**(表外文本/坏下标/两臂同场,换引擎也不会变) —— 编辑臂 `respondFreeFormRules` 与批臂 `respondBatchRuleOffers` 两条同形存量共用一条,与 `surfaceRememberNotApplied` 同族纪律:决断照送、只是规则没存,静默丢掉用户明确意图 = 让人以为功能坏了)· `projectCrashConverged`(L-38,0.49.0:`/v1/approvals` additive 键 `crashConverged` 的分桶投影 —— 崩溃收敛的孤儿审批读面,**缺席 ≠ 空数组**、分桶恰一个合取、坏行丢弃并计数,详见 §12;同批把 `ApprovalsResourceLike.list()` 的返回位 additive 放宽成 `ApprovalsListEnvelope`,老形 `{pending}` 仍可赋值)· `readRuleOffers` / `readRuleOfferSupply`(L-103/[C228],0.57.0 additive 导出:「不再询问」候选两代 wire 键的窄读器**公面化** —— 此前只经卡端口出包,不走卡端口架构的宿主只能自己重铸一把,而它承载的是兑付安全判据(原始下标不前移/逐条丢坏/闭集 kind/两代取舍序),详见 §20)· `RULE_OFFERS_ABSENCE_REASONS` / `DENIAL_LIMIT_KINDS`(0.59.0 / sdk 8.3.0 提货:`ruleOffersAbsence` 三词与 `denialLimitFallback.limit` 二词的**运行期**闭词表再导出 —— 与 0.58.0 那三张同一条纪律:端拿它做判定别再手抄字面量。⚠️ **本包自己不拿这两张表做窄读判定**(两处都按开集透传,词表属主是 core、server 已按闭集拒过),再导出只是给端的 `switch` 一份可数的表,端仍必须带 `default` 臂,详见 §23a)· `DecideTransportRetryExhaustedError`(Inkglow-1085 P0a:decide 出站瞬断重试耗尽的 typed 判别 —— HitlBridge 内建单次退避重试,耗尽走重呈臂不判死 turn;端一般只消费行为,不需要 instanceof) · `gateOutcomeOf` / `isDeniedGate` / `gateDeniedBy` / `gateApprover` / `isApprovalWindowExpiredGate` / `isDenialLimitAutoDeniedGate` / `isParkSlaExpiredGate` / `isHumanSettledGate`(0.60.0 / engine ≥7.64.0:`tool_end.gate` 整条门记录的窄读器 + 判定谓词 —— 取代退役的四个正交词 `settledBy`/`resolution`/`autoDenied`/`approver`。🔴 **判定归包**:「是不是审批窗自己走完的拒绝」旧形上是端各自拼的两键合取,而三条窗词现在分得开、合并读回去等于把刚修好的判别力扔掉;⚠️ 公面型一律带 `View` 后缀 —— 本文件的 `GateOutcome`(决断腿结局)与 sdk 的 `GateOutcome`(引擎门记录)**同名不同义**,详见 §24c)· `isGateParkedToolEnd`(「这次调用没在这里结算」的**第二形**谓词:gate 缺席 + `errorCode:"gate.parked"`;端判这件事必须与 `isApprovalWindowExpiredGate` **两形合读**) · `readWireErrorCode`(B-037 候包件②:decide/取件失败上引擎 wire 机器码的单源读口,结构视图读不 `instanceof`;与本包铸的 `code` 是两个命名空间,详见 §24g)| suspended→decide→resume 环。🔴 **D-1 两元组 verbatim 回显**是字节级断言的安全不变量,端**不许重实现它的任何一段**。🔴 键空间边界(web [C1] d3 拦截):`gateIdentity` 四常量两函数只覆盖 HITL questionId/callKey 空间;seat 的 `TOOL_PERMISSION_REQUEST_ID_DOMAINS`(`plan:` 等)是另一键空间,**两者绝不合并**(合并=座位校验器静默拒全部 plan-review 卡) | `src/hitl/hitlBridge.ts`、`toolApprovalWire.ts`、`askGateWire.ts`、`planReviewWire.ts`、`hitlHostSurface.ts`、`gateIdentity.ts`、`armedGateRegistry.ts`、`parkOwnership.ts`、`parkResolver.ts`、`approvalsFeed.ts`、`frameRouter.ts`(**只挑名导出** `toolEndOutputText`/`ENGINE_ABORT_TOOL_RESULT`/`isAskTool`/`HITL_REJECT_MESSAGE`/`HITL_INTERRUPT_MESSAGE_FOR_TOOL_USE`)、`parkRowBirthWait.ts`、`approvalDecisionNoteAudit.ts`、`askParkRowRouting.ts`、`resumeRunningCard.ts`(#265 上收的判定层)、`persistedRulesWire.ts`、`localAllowRule.ts`(#244 F2 规则侧)、`crashConverged.ts`(L-38 崩溃收敛读面)、`src/gateOutcome.ts` |
 | 4 | **子代 wire + 面板侧信道台账** | 87 | `tailEngineSubagent` · `installSubagentActivitySink` · `installSubagentTailMetaSink`(#280 件2:tail meta 帧发布口,`contentFrames` 判别位载体)· `stopEngineTask` + `classifyTaskStopConflict` · `fetchEngineSubagentReport` · `steerEngineSubagent`(0.32.0 未发布 #280 件A:additive 第三参 `childTaskId` —— 端有行上下文时**应当**传,传了就走「台账优先 / 缺席即诚实缺席 + `noteBgOwnerAbsence` 留痕」的 Q3 口径,与 tail·taskOutput·subagentOutput 三腿同姿势、与孪生 resume 腿共用同一个 `resolveOwnerRunId` 判据;**不传**则逐字维持旧行为=回落在飞 run)· `resumeSettledSubagent` + `resolveSubagentResumeContext` + `resolveOwnerRunId` + `classifySubagentResumeFailure` + `subagentResumeAvailable`(#242 批 2 A-028.7:resume 判定半场上收,与 steer 孪生同居;取址三态 = 台账有行用行值 / 指名了行但台账缺席则**诚实缺席绝不回落在飞 run** / 没指名行才回落。出路文案归端)· `recordSubagentOwnerFromProgress` + `getBgParentRunOwner`(A-028.6:「子代 → 宿主 run」**单表**,宿主 run 必须由持 stream-local 值的调用方显式传入,包内绝不从 `activeEngineRunId()` 推断)· `noteBgOwnerAbsence`(#242 批 3 [4000] Q3=B:tail/taskOutput·taskStop/subagentOutput 三腿台账缺席即诚实缺席**绝不回落在飞 run**,缺席 warn 留痕每 (腿,taskId) 一条)· `clearBgTerminalFacts`(#242 批 3 扫码修:复活=新周期,旧周期终态事实作废——fleetLedger 复活两腿按尾段清账,factsAccepted 方向核不再拿上周期终态当先例)· `auditRetainWithoutWake`([4000] Q5:引擎宣示 `subagentResume` + 本端在付 `retainSubagentSessions` + 端未实现 `wakeSubagent` ⇒ 响亮一条;`CLIENT_VERBS.wakeSubagent` 维持 fail-soft)· `subscribeSubagentContent` · `subscribeEngineAgentPanel` · `publishQuestionFrame` / `respondToQuestion` · `configureSubagentContentStore` / `subagentContentStoreConfig` / `SUBAGENT_CONTENT_STORE_DEFAULTS`(0.62.0:子代内容账本的**字节预算** —— 此前只有条数帽而单条无上限,一条 base64 工具结果就能让一个子代槽吃到十几 MB;越限从最早的内容开始丢并留一条可渲染的 `truncated` 记录,总帽淘汰整条最久未用的账本。配置面 fail-loud,详见 §26②)| 驱动与观测委派子代;经 module 级台账喂活体 agent/task 面板。全部**能力位 gate**(§5b) | `src/subagent/*.ts`、`src/subagentContentStore.ts`、`src/engineAgentPanelStore.ts`、`src/engineInlineTaskStats.ts`、`src/engineToolLabelStore.ts`、`src/liveQuestionStore.ts` |
 | 5 | **fleet 投影** | 47 | `createFleetLedger` · `projectTasks` · `projectWorkflows` · `projectFleetAgentRows` · `readEngineActiveBgTasks` · `FLEET_TASK_VIEW_KEYS` · `escapeDisplayControlChars`(不可见字符可见化,行标签/描述消毒的共享底座)· `capForDisplay`(0.62.0:呈前**消毒 + 封长**的共用铸点 —— 先转义、后按转义结果封长,截点避开半截转义 token 与合法代理对;本包该族四处此前各写一份、其中三份顺序是反的,详见 §26⑦)· `wireCycleSeq` / `wireRetiredBy`(0.38.0 提货补投的 #261 §2 两位:代际号 = SendMessage 复活即 +1,**缺席 ≠ 第一代**;`retiredBy` 在场 = 这条终态是对账腿从 durable run 行投影出来的、**不是**发布方亲报 —— 幽灵行与正常收尾唯一的 wire 判据。两位都只在场才落键) | 老 `fleetClient` 那一刀的成品:**帧体归库、连接归端** —— 端持 SSE 连接,库做行投影 + 保留台账 | `src/fleet/fleetProjection.ts`、`src/fleet/fleetLedger.ts`、`src/fleetAgentPanelProjection.ts`、`src/fleetTaskDesc.ts` |
 | 6 | **请求装配(上行唯一构造口)** | 8 | `buildTaskRequest` · `REQUEST_FIELD_MATRIX` · `unregisteredRequestKeys` · `applyLiveRequestDefaults` · `taskNotificationToPrintFrame` | 两条车道(`interactive`/`print`)出站请求的**唯一**构造器;`unregisteredRequestKeys` 是可执行门 —— 端偷带一个未登记键上 wire 就红 | `src/request/taskRequest.ts`、`src/request/printNotification.ts` |
@@ -159,7 +159,7 @@ SDK 核对「本包 import 的每个值级符号仍然导出」「`TaskStats.cos
 | 13 | **座位 IPC 契约** | 34 | `LOCAL_SESSIONS_SPEC` · `SEAT_METHOD_NAMES` · `SEAT_EVENT_TYPES` · `isLocalSessionEvent` · `isToolPermissionRequest` · `toolPermissionRequestId` · `SEAT_VALIDATOR_KEY_COVERAGE` · `SEAT_SEND_MESSAGE_KEY_ORIGINS`(0.62.0:座位载荷**逐键出身**登记 —— 每个位要么写明转投哪个引擎请求位、要么写明为什么不上 wire;常驻门对**装在盘上的** sdk 型面逐名核,详见 §26③)| desktop↔web 座位 IPC 契约的**单一真源**(此前两边各一份、名字零重合 ⇒ 编译器永远不会告诉你它们漂了)。🔴 加 verb 忘了加 `LOCAL_SESSIONS_SPEC` **不报错**:preload 不注册 channel、渲染端读到 `undefined` | `src/seatContract.ts`(**零 import**,纯类型 + 常量 + 纯谓词)。🔴 **证据等级标注(0.42.0,test [5087] 的「语料**种类**缺口」/ cli [5088] 认领件)**:该文件里所有以「CC 如何如何」为形的断言(`212 methods` / `854-channel census` / 方法名逐字保留 / `fQe` 逐字段对照 / 一切 `.vite/build/index.chunk-*.js` 坐标)**证据等级 = 桌面 unpack,本地语料库不可复验** —— 本仓手边可复验的参照语料**只覆盖终端 CLI 形态**的静态产物,拿它去 grep 桌面壳里的符号只会零命中,而零命中在这里**既不证真也不证伪**。复核这些断言**不得**拿本仓语料当反证 |
 | 14 | **宿主端口与会话槽** | 26 | `installHost` · `installHostFor` · `hostPortMisses(For)` · `DEFAULT_SESSION_KEY` · `hostEnv` · `unrefTimer` · `parseLocaleTag` / `pickUiLanguage`(#244 F4 族D A-028.20:locale tag 手术单源 + UI 语言判定;与 `resolveRegionHint` 双出口成文 —— 语言偏好域 en/zh ≠ 地址可达域 cn/intl/unknown,`zh-Hant` 前者 zh 后者 intl 是设计)· `engineNamespaceKeyFor` / `mergeSessionMapRecord` / `mergeEngineEntry`(A-028.12:会话 id 映射单一键形 + merge 判定;存储经 `SessionMapStorePort` 归端 —— cli 文件锁/原子写,web localStorage)| 进程/端级装配层(settings/fs/queue/timers/session/log/probe),与 per-turn 的 `AdapterContext` **分层**。头注的判定规则:**这个能力每 turn 都会变吗?** 会 ⇒ `ctx`;不会 ⇒ `installHost` | `src/host.ts`、`src/hostEnv.ts`、`src/sessionSlot.ts`、`src/unrefTimer.ts`、`src/env/{localeGeo,localeTag,uiLanguage}.ts`、`src/sessionMap.ts` |
 | 15 | **控制面与传输** | 113 | `ControlRouter`(+ `ControlSafetyError`)· `makeEngineWireClient` + `resolveWireAuth` · `installEngineWireTarget` · `diagnoseSseIdleTear` / `isSseIdleError` · `attemptActiveRunSelfHeal` + `activeRunBusySignal` + `activeRunSelfHealRow` / `activeRunBusyHeadlessRow` · `kickEngineCapsProbe` / `engineCapTrue` / `invalidateEngineCaps(baseUrl, probe?)`(#307 S25:引擎温切后的 caps 生产失效口 —— kick 自带幂等闸,同 baseUrl 重启后不显式失效就永远读到旧引擎那一版能力位;调用方 = 壳的 respawn/restartEngine。🔴 **推荐两参形**:第二参给替代探测则「推进代际 + 注册新探测」在同一同步块内完成,失效与下一次 kick 之间那个「等待者读到未判」的窗按构造不存在;单参形保留给「只丢缓存、这一刻没有替代探测」的调用方,那种情形下读到未判是诚实结局) · `engineCapValue`(S-131,0.59.0:能力位的**四态**通用读口 `unobserved`/`not_reported`/`null`/`value` —— 既有三口把四种「读不出」全折成 fail-closed 一档,对**放行**问题是对的、对**读面/诊断**问题是错的:`null`(引擎明确说没有,正面事实)会与「老引擎不报」「还没探到」在屏上同形。`value` 位刻意不做形校验,形归各能力位自己的窄读器,详见 §23b)· `projectSqlEngineCapability` / `observedSqlEngine` / `noteEngineCapsForSqlEngine` / `forgetSqlEngineReading` / `sqlEngineDoctorDetail`(S-131,0.59.0:`Capabilities.sql`(server ≥7.60.0)的四态读面**从壳侧上收** —— 归层债,0.58.0 时它长在壳里正是因为包侧没有嵌套对象读口。🔴 **导出名与壳侧那份逐字同名 = drift-lock**;`txnMode: null` 是铸点域内的合法值不是畸形;换代失效口清成未观测而不是留旧值,详见 §23b)· `mapBrainStatusToRetry` · `waitForClaimRelease` + `CLAIM_RELEASED_STATES` / `CLAIM_HELD_STATES` · `atMostOnceFailureClass` / `readSteerDelivery` · `clearRunningChoiceOffer`(Inkglow-1085 P0b①:「Do nothing」登记的清口 —— 端的「重新打开操作菜单」入口;登记在场时 attemptActiveRunSelfHeal 不整卡重弹,not-parked 结局带 `alreadyOffered: true` 判别位,端据此降级渲一行)· `INTERACTIVE_WAY_OUT`(默认出路串单源)· `engineSessionParamFor`(design/285 批 0:`?session=` 派生的 **per-key** 形 —— `hostSessionFor(sessionKey)?.currentSessionId()` + [1501] 空串归一;零参 `engineSessionParam()` = 默认槽兼容层,取值链逐字等价)· `normalizeWirePrincipal`(A-028.10:principal 在场性 trim 原语 —— 全空白=缺席不发头,engineWireTarget 两臂/makeEngineWireClient/壳 livePrincipal 同尺)· `readSessionMemoryStatus` / `classifyMemoryStatusFailure` / `readCaptureOptOut` / `readLastCapture`(S-53 会话记忆姿态读面,0.48.0:失败分诊**码优先**——两个 404 分道 `not_found.session` / `not_found.route`,无码 404 不猜落 failed;五键逐键缺席语义两个合读器,`lastCapture` 三态的判别材料是 `committedCount` 不是本键;IO 归宿主注入 `MemoryStatusClientLike`,详见 §11) · `classifyTurnWireError` / `isWireTransportError` / `isPreStreamDrainingReject` / `isResumeAtRejection` / `drainingRetryDelayMs` / `scenarioDenyFromError` + `WIRE_NETWORK_ERROR_PATTERN`(A-028.11/.13:turn 错误分型判定半场,人话文案与渲染归端)· `resumeRetryLaterFromError`(L-102,0.57.0:resume 族**时间性拒绝**二码的判型半场 —— 这一族里唯一**带得出「等多久」**(`retryAfterSec`)的两个码。🔴 闭集**不是**「哪些码可以等」的名单:同族 `resume.row_recycling` 同样可等(窗口自清)只是没有秒数 ⇒ 本读口返回 `null` 只意味着没命中这两码,详见 §21) · `projectWriteProtectionCapability` / `observedWriteProtection` / `noteEngineCapsForWriteProtection` / `forgetWriteProtectionReading` / `writeProtectionDoctorDetail` / `projectWriteProtectionPosture` / `writeProtectionPostureDetail`(S-138,0.60.0:`Capabilities.writeProtection` (engine ≥7.63.0)的**四态**读面 + operator 面行表 —— 与上面 S-131 那一格**同构同纪律**。🔴 三位刻意不合成一个布尔;`not_reported` **不是**「这台部署没有写保护表」(座位缺席恰是缺省表在岗);逐行 name/kind 走**最小披露**只上 operator 面,详见 §24e)· `projectReadFacePosture` / `readFacePostureDetail` / `readFaceDisagreement`(S-167,0.61.0:operator 面 `diagnostics.wiring.readFace`(engine ≥7.65.0)的窄读器 —— 与上面S-138 那一格**同构同纪律**。🔴 三句「答不出来」逐字互异且没有一句等于「没有 READ 档」;`source` 按开集读;与租户面 `capabilities.readFace` 刻意不合流,只带一个纯比较函数,详见 §25)| 上行通道的**监管**半场(submit / steer / kill / 队列命令定序)+ 传输构造、caps 探测、SSE 断流分诊、**409 active-run 自愈** | `src/controlRouter.ts`、`steering.ts`、`sseIdleTriage.ts`、`retryStatus.ts`、`diagnostics.ts`、`engineWireSdk.ts`、`engineWireTarget.ts`、`src/principalWire.ts`、`src/wireErrorTriage.ts`、`engineSessionParam.ts`、`engineCapsCache.ts`、`liveInitToolFace.ts`、`adapter/activeRunSelfHeal.ts`、`src/sessionMemoryStatus.ts`、`src/writeProtectionCapability.ts`、`src/readFacePosture.ts` |
-| 16 | **引擎词汇表与包自检** | 69 | `CONFIG_REFUSAL_CODES` / `isConfigRefusalCode` · `STOP_CONFLICT_CODES` · `isInterruptedToolEndCode` · `isRewindFamilyCode` · `CLIENT_VERBS` · `compensationSplitViolations` · `DELEGATION_CAP_CODES` / `isDelegationCapCode` / `DELEGATION_CONCURRENCY_CAP` / `DELEGATION_SESSION_CAP`(0.38.0 #318 件④:core 5.48.0 design/323 委派席位到限**两码,处置不对称禁合并** —— 并发帽=**可等**(兄弟结束即有位)/ 会话累计帽=**等也没用**(这条会话的配额用尽))· `CONFIG_DELEGATION_ENTRY_CAPS`(同批入 `CONFIG_REFUSAL_CODES` 识别表)· `delegationCapDispositionOf` / `MCP_SERVER_REVOKED`(0.39.0 载体到货消费件:core 5.50.0 补 `{ error: code, code }` 孪生拼法后两码真上 `tool_end.errorCode`,0.38.0「先立词不落消费分支」的已知局限自此解除;处置轴 `wait-for-slot` / `reuse-existing-or-await-reap` 机器可读(累计帽=retained-window 帐,行回收配额即回,处置=SendMessage 复用,**非**「换会话/永久耗尽」——0.38.0 段该句系勘误),未知 `delegation.*` 码 ⇒ `undefined`;`mcp.server_revoked` = 操作员 mid-session 吊销 server 后的工具面本地闸(被吊销的 server **名**今天不过 wire 境:detail.server 是进程内位,抬升腿只 lift code——归因渲染候 core 补 typed detail,已点名);载体门 = engine-vocab G3 腿锚 core dist 铸点)· `CAPABILITY_SELF_ORCHESTRATION_REQUIRED`(S-81,server 7.57.0:提交面的 selfOrchestration 准入拒绝码。🔴 **复用码** —— 与其它 `capability.*` 501 同体形而处置不同,消费点必须按**恰等**判、绝不放宽成前缀判;判型与「去键重发一次」归 `src/selfOrchestrationDenial.ts`,详见 §13) · `GATE_PARKED_ERROR_CODE`(0.60.0:「门把这次调用 park 了」的机读码单源 —— `frameRouter` 的连坐/中断判据与 `gateOutcome.isGateParkedToolEnd` 读同一个常量;真机黑盒直证 park 短路帧上**没有 `gate`**,这个码是那一形唯一的信号,详见 §24c)| 三端分臂共用的**去字面化** `errorCode` 词表(病根正是三端各抄一份字面);编译期 verb 闭合门;搬迁补偿登记表 | `src/engineErrorCodes.ts`(计数以 `scripts/public-export-baseline.json` 为准,别手抄;A-028.11/.13 补 `DRAINING_ERROR_CODE`/`SCENARIO_NOT_ALLOWED_ERROR_CODE`/`RESUME_AT_ERROR_CODE_PREFIX`;#318 件④ 补 `delegation.*` 族四位 + `config.delegation_entry_caps`;0.39.0 补三新码消费件三位);S-81 补 `capability.self_orchestration_required` 一位;L-102 补 `resume.*` 时间性拒绝二码 + 闭集 `RESUME_RETRY_LATER_CODES` 三位)、`src/classifierVerdictWire.ts`、`src/compensations.ts`、`src/clientSlice.ts` |
+| 16 | **引擎词汇表与包自检** | 73 | `CONFIG_REFUSAL_CODES` / `isConfigRefusalCode` · `DECIDE_WORKFLOW_LANE_CODES`(+ 三个具名码;`/decide` workflow 车道,三条出路刻意不合并,详见 §30h)· `STOP_CONFLICT_CODES` · `isInterruptedToolEndCode` · `isRewindFamilyCode` · `CLIENT_VERBS` · `compensationSplitViolations` · `DELEGATION_CAP_CODES` / `isDelegationCapCode` / `DELEGATION_CONCURRENCY_CAP` / `DELEGATION_SESSION_CAP`(0.38.0 #318 件④:core 5.48.0 design/323 委派席位到限**两码,处置不对称禁合并** —— 并发帽=**可等**(兄弟结束即有位)/ 会话累计帽=**等也没用**(这条会话的配额用尽))· `CONFIG_DELEGATION_ENTRY_CAPS`(同批入 `CONFIG_REFUSAL_CODES` 识别表)· `delegationCapDispositionOf` / `MCP_SERVER_REVOKED`(0.39.0 载体到货消费件:core 5.50.0 补 `{ error: code, code }` 孪生拼法后两码真上 `tool_end.errorCode`,0.38.0「先立词不落消费分支」的已知局限自此解除;处置轴 `wait-for-slot` / `reuse-existing-or-await-reap` 机器可读(累计帽=retained-window 帐,行回收配额即回,处置=SendMessage 复用,**非**「换会话/永久耗尽」——0.38.0 段该句系勘误),未知 `delegation.*` 码 ⇒ `undefined`;`mcp.server_revoked` = 操作员 mid-session 吊销 server 后的工具面本地闸(被吊销的 server **名**今天不过 wire 境:detail.server 是进程内位,抬升腿只 lift code——归因渲染候 core 补 typed detail,已点名);载体门 = engine-vocab G3 腿锚 core dist 铸点)· `CAPABILITY_SELF_ORCHESTRATION_REQUIRED`(S-81,server 7.57.0:提交面的 selfOrchestration 准入拒绝码。🔴 **复用码** —— 与其它 `capability.*` 501 同体形而处置不同,消费点必须按**恰等**判、绝不放宽成前缀判;判型与「去键重发一次」归 `src/selfOrchestrationDenial.ts`,详见 §13) · `GATE_PARKED_ERROR_CODE`(0.60.0:「门把这次调用 park 了」的机读码单源 —— `frameRouter` 的连坐/中断判据与 `gateOutcome.isGateParkedToolEnd` 读同一个常量;真机黑盒直证 park 短路帧上**没有 `gate`**,这个码是那一形唯一的信号,详见 §24c)| 三端分臂共用的**去字面化** `errorCode` 词表(病根正是三端各抄一份字面);编译期 verb 闭合门;搬迁补偿登记表 | `src/engineErrorCodes.ts`(计数以 `scripts/public-export-baseline.json` 为准,别手抄;A-028.11/.13 补 `DRAINING_ERROR_CODE`/`SCENARIO_NOT_ALLOWED_ERROR_CODE`/`RESUME_AT_ERROR_CODE_PREFIX`;#318 件④ 补 `delegation.*` 族四位 + `config.delegation_entry_caps`;0.39.0 补三新码消费件三位);S-81 补 `capability.self_orchestration_required` 一位;L-102 补 `resume.*` 时间性拒绝二码 + 闭集 `RESUME_RETRY_LATER_CODES` 三位)、`src/classifierVerdictWire.ts`、`src/compensations.ts`、`src/clientSlice.ts` |
 
 🔴 **`engineErrorCodes` 的开集纪律**(该文件头注逐字):这些 `ReadonlySet` / 前缀谓词一律是**识别表**,
 回答的是「我认不认得这个码」,**绝不是**「合法码只有这些」。消费点 `switch` **必须留 `default`**,
@@ -232,7 +232,7 @@ type EventProjection =
      🔴 栏内只写**成员**;反例/对照臂(终态那两条之类)一律写到栏外去,否则会被读成成员。 -->
 
 `meta`(流首帧身份信号,SDK/传输层自消费)· `file_link` / `prompt_assembled` / `model_usage` /
-`context_usage` / `config_assembled` / `message_committed`(引擎可观测/审计面,CC transcript 无对位物)·
+`context_usage` / `config_assembled`(引擎可观测/审计面,CC transcript 无对位物)·
 `needs_review`(壳消费的是 `done{status:'needs_review'}` 终帧,事件形重复且更早)·
 `compaction_outcome`(压缩**非 compacted 结局**报告;CC transcript 无对位物,见 §7 缺口 **P-6**)·
 `tool_approval` / `tool_approval_complete`(**不是丢帧**:它们走
@@ -241,6 +241,12 @@ type EventProjection =
 
 <!-- /ARM-SET:not_in_slice -->
 
+📌 **`message_committed` 自 0.65.0 起离开本表**(B-072 ④,§30b):它此前列在这里的理由写的是
+「CC transcript 无对位物」—— 那句话对**转录行**成立、对**定位**不成立。core 亲口说消费方用本帧
+自建 `entryId → message` 映射来解析 `compacted.preserved_segment`(压缩分割线画在哪条消息之前),
+所以只投那个锚而把本帧丢掉,等于交给端一个解析不出东西的锚。现在它投**中性内部臂 + 可选 chrome
+记账**,仍然**绝不铸 transcript 行**(本帧不带正文)。
+
 📌 **`wiring_manifest` 自 0.56.0 起离开本表,但它只被接了两段**(L-70 / L-108②③)——
 `modelGate` 与 `autoMode` 投成内部臂 + chrome 臂(§19),整份 manifest 的**其余十一段**
 (leg / ask / question / interaction / elicit / parkLane / session / fleet / permissionRules /
@@ -260,12 +266,19 @@ governance / configFingerprint)仍然一件没接。两段都不成形的那些
 
 ### 3d. 键级剥离(帧投影了,但键被投影边界剥掉)
 
-`case 'task_progress'` 的白名单**逐字**只 stamp 八键(0.47.0 起,#363 补 `model`):
+`case 'task_progress'` 的白名单**逐字**只 stamp 九键(0.47.0 起 #363 补 `model`;0.65.0 / B-074 补 `status`):
 
 ```
-taskId · name · usage · model · currentAction · workflowRunId · workflowAgentLabel · parentToolCallId
+taskId · name · usage · status · model · currentAction · workflowRunId · workflowAgentLabel · parentToolCallId
 ```
 
+🆕 **`status`(0.65.0 / B-074;core ≥7.0 / server ≥7.69.0)** = 这条 tick 的**终态面**。core 的臂注把
+它存在的理由写死了:「ONE final tick fires at the sub-run's settle with the terminal face
+(`"completed"` | `"failed"`) …… **so a uuid-lane consumer sees the row finish** instead of a bare
+removal after the last running beat」。**按开集透传**(空串 / 非串 / 缺席整键不铸);「哪些词**是**终态」
+由 `src/adapt/arms.ts` 的 `TERMINAL_TICK_STATUSES` 闭二词回答 —— 透传与裁决分两层,上游加词那天
+不会把一条还在跑的行提前结掉。准入条件(谁读它、读来干什么)见 §30d。
+
 🆕 **`model`(0.47.0;server ≥7.52.1)** = 这条 tick 所属**子 run 的模型 id**(core 铸点
 `prepared.model.id`;server `trace/project.js` 的 `taskProgressEventData` 里条件 spread:
 `string` 且非空才发)。本层同条件透传 —— **空串/缺席一律整键不铸**(空串既不是模型 id 也不是
@@ -276,8 +289,8 @@ taskId · name · usage · model · currentAction · workflowRunId · workflowAg
 🔴 **退役的是 cast,不是运行期判**:`typeof` 门保留(旧 server 缺席 ⇒ 键不 stamp;wire 是 JSON,
 类型声明是上游承诺、不是本层前提)。端侧**行为逐字节不变**。
 
-**仍然被本层剥掉的五键**(`seq` / `taskType` / `parentTaskId` / `status` / `eventId`):
-- `taskType` / `status` / `parentTaskId` —— 在册的 §7 缺口 **P-1**;lane 归属今天改用 id 形状 /
+**仍然被本层剥掉的四键**(`seq` / `taskType` / `parentTaskId` / `eventId`;0.65.0 起 `status` 已离开本表):
+- `taskType` / `parentTaskId` —— 在册的 §7 缺口 **P-1**;lane 归属今天改用 id 形状 /
   `workflowRunId` 启发式判(`src/adapt/arms.ts`)。
 - `seq` —— core #258 的 stop-cycle 代际号(复活即 +1)。fleet 面已有同轴的 `wireCycleSeq`(0.38.0),
   **tick 这条腿今天没有消费方** ⇒ 照旧剥。
@@ -3286,9 +3299,19 @@ requiresRealApproval:SDK 锚**仍无**此键 —— 锚补上了就该删这条
 - `origin` / `ruleOffersAbsence` **按开集透传、包内零闭集校验** —— 词表属主是 core,server 侧已按闭集
   拒过词表外的值,包再校一遍只会在 core 加员当天把一个**合法**值判没(与 `wiring_manifest.autoMode.reason`
   的透传纪律逐字同规)。型面与运行期词表都在公面上,端写 `switch` **必须带 `default` 臂**;
-- `denialLimitFallback` 走**包内窄读器**(四成员全必填,与 server `readDenialLimitFallback` 的 `.strict()`
-  同判据):**缺一整只丢** —— 半只对象上的 `consecutive` 会被人当成真实次数读。计数与窗按「有限非负数」
+- `denialLimitFallback` 走**包内窄读器**(四成员全必填;**缺一整只丢**与 server `readDenialLimitFallback`
+  的 `.strict()` 同判据 —— 半只对象上的 `consecutive` 会被人当成真实次数读)。计数与窗按「有限非负数」
   判(`0` 是合法读数,不折缺席),`limit` 按**开集**读(非空串即收)。
+  ⚠️ **与 server `.strict()` 不逐字等价的一格**(L-120③,test [6497] 两轨一致发现):对象上**多出的
+  成员**包侧**剥后保留四键**,server 侧**整只拒收**。包比 server 宽一格,方向是「多键不误杀」——
+  server 已在 wire 入口拒过多键形,包再拒一遍只会在 core 加键当天把合法帧判没;所以端不要把
+  「包读出来了」当成「server 也会收」,两侧判据文档各自如实写。
+  🆕 **0.64.2 起这只读器在公面上**:`readDenialLimitFallback(v: unknown): DenialLimitFallback | undefined`
+  (`src/hitl/toolApprovalWire.ts`)。端消费**包内窄读产物**(`ApprovalCardRequest.denialLimitFallback`)时
+  照旧不必判一遍;拿到**裸帧 / 裸行**时用它,而**不要**在端上再抄一份同判据的副本 —— 壳侧此前正有
+  一份(`sema-cli/src/sema/askFrameNotes.ts`),那是第二个判官:上游哪天在四成员上加一位或改某一位的定义域,
+  两份判据各漂各的,而屏上看到的是哪一份取决于素材走了哪条腿。⚠️ 导出的是**读器,不是许可** ——
+  `autoDenyAfterMs` 仍然只许渲倒计时(窗的执行全在引擎),这一条不因它上了公面而松动。
 
 ### 23b. `Capabilities` 74→93 逐键复核 + 嵌套对象读口 + S-131 SQL 姿态读面上收
 
@@ -4625,6 +4648,24 @@ readMcpInjectionDrop(notice: unknown): McpInjectionDropFactsView | undefined
 - 🔴 **单铸律**:上游对这条通告立了 `settlement.single_mint` —— 宿主只供事实,**core composes** 码字、
   audience 行与句子。⇒ 本包**一句措辞都不抄**,转录**直接用引擎给的 `message`**。想要自己的措辞就
   键在 `detail.reason` 上,**绝不**对 `message` 做等值匹配。
+- 🆕 **单铸律的第二条(0.64.2 补齐;core 7.11.2 / server ≥7.69.0 起入册)**:
+  `delegation.ask_unresolvable` —— 一只 ask 走到**最终 deny 而没有任何人判过它**时的通告。
+  core `dist/core/ask-unresolvable-notice.d.ts` 的 `@contract` 逐字:
+  > `delegation.ask_unresolvable.single_mint` — the `delegation.ask_unresolvable` notice is composed
+  > by CORE from the gate's deny-exit FACTS (session, tool, call id, the composed settlement, whether a park
+  > lane existed) at the ONE exit both unavailable deny arms reach; no other site spells the code or the
+  > sentence, and an empty session or tool name is refused at the mint with a `TypeError` rather than
+  > shaped into a notice that would route nowhere.
+  · **audience `user`**(同一份 d.ts 逐字:被拒的是用户自己的活,而补救是运维姿态,运维那半场走 sink);
+  · `detail` 五格 `{sessionId, toolName, toolCallId, settlementKind, parkLaneExisted}`,其中
+    `settlementKind` 恒 `"approver_unavailable"`(**作为事实携带,不在下游重新推导**),
+    `toolCallId` 是与同一次 `tool_end.gate.settlement` 对账的**关联键**;
+  · 🔴 **`parkLaneExisted` 是判别位,禁折叠**(上游发布记录 [6863] ③ 表逐字):`true` = park 车道**武装过**、
+    它有过一次机会而没接;`false` = 压根没有 park 车道(常见形)。两者对用户的下一步不是同一句话,
+    折成「反正没人批」就把「你的部署接了耐久审批但它没接住」这条运维事实抹掉了;
+  · 与上面那条同律:**本包一句措辞都不抄**,转录直接用 `message`,分支键在 `detail` 上。
+  · 🔴 **deny 本身比这条通告更老、且一字不改**:它是**披露面**补齐(此前只有模型读得到那句工具结果,
+    看通告的人什么都看不见),**不是**一次裁决面变更 —— 端不许据它翻转、重试或补发任何决断。
 
 ---
 
@@ -4636,10 +4677,10 @@ auto 模式下门会就一只 ask 去咨询分类器;**没跑成**时引擎在
 **签名**
 
 ```ts
-AUTO_MODE_UNAVAILABLE_CAUSES: readonly string[]   // ['error','timeout','breaker_open']
-AUTO_MODE_BREAKER_CAUSES: readonly string[]       // ['error','timeout','parse_error']
+AUTO_MODE_UNAVAILABLE_CAUSES: readonly string[]   // 2 词:['error','timeout'](core 7.12.0 收窄;0.65.x 跟)
 classifierUnavailableOf(ask: unknown): { cause: string } | undefined
 classifierUnavailableDetail(cause: unknown): string
+// 🔴 `AUTO_MODE_BREAKER_CAUSES` **已退役**(core 7.12.0 Removed(BREAKING));详见 §30k②
 ```
 
 **输入形**:一只 `AskRequest`,**或**一条 durable park 行的 `PendingAction.tool_approval` 载荷 ——
@@ -4651,17 +4692,24 @@ classifierUnavailableDetail(cause: unknown): string
   消费端只拿它渲一句话,**绝不**据它翻转任何裁决。
 - 🔴 **缺席 ≠「分类器跑成了」**:绝大多数 ask 根本没咨询过分类器(部署没武装 auto、或这只 ask 走的
   是别的门)。缺席只意味着「这只 ask 上没有这条事实」。
-- 🔴 **两条 cause 轴,不是一张表**:`AUTO_MODE_UNAVAILABLE_CAUSES` 答「这一轮分类**为什么没跑成**」
-  (这是 `classifierUnavailable.cause` 的值域);`AUTO_MODE_BREAKER_CAUSES` 答「**熔断闩为什么合上**」。
-  两集交于 `error`/`timeout`,各有一个独占成员 —— 合成一张表就把两条轴的差别扔了。
-- 🔴 **`parse_error` 只在熔断轴上**:上游顶注逐字「`parse_error` stamps nothing」—— 分类器
-  **跑了并且答了**,只是答在契约之外,那是**另一句话**。读器按 unavailable 那一集收窄,读到
-  `parse_error` 判**缺席**;把它读成一个「没跑成」的成因,就是替引擎编一件它明说没发生的事。
-  措辞表仍为它备了一句(给**渲熔断面**的消费端用同一个铸点),那一句逐字说的是「答在契约之外」。
-- 表外词 / 坏值 ⇒ 一句**兜底**:仍告诉用户这只 ask 是分类器那条腿引出来的,但不冒充四句里的任何
+- ⚠️ **0.65.x 订正**(原文写的是「两条 cause 轴」):熔断那条轴随 core 7.12.0 的
+  Removed(BREAKING) **整只退役**(详见 §30k②)。今天只剩**一条**:`AUTO_MODE_UNAVAILABLE_CAUSES`
+  答「这一轮分类**为什么没跑成**」(= `classifierUnavailable.cause` 的值域,两词)。
+- 🔴 **`parse_error` 判缺席,行为一字未变**:它是 core `AutoModeVerdict` 的**判据轴**成员 ——
+  分类器**跑了并且答了**,只是答在契约之外(`tool-policy.d.ts:297` 逐字「a `block` and a
+  `parse_error` deny carry nothing here」),所以它一个字节都不 stamp 到这一格。读器把它判**缺席**;
+  把它读成一个「没跑成」的成因,就是替引擎编一件它明说没发生的事。措辞表仍为它备了一句(给
+  **渲判据面**的消费端用同一个铸点),那一句逐字说的是「答在契约之外」。
+  ⚠️ 这条排除的**出处**在 0.65.x 换了(行为没变):修前是两张表的差集,而右操作数随熔断表一起没了
+  ⇒ 现按理由直写一张具名单员表 `NEVER_STAMPED_CAUSES`。
+- 🔴 **未知(表外)成因词照收**(**0.64.2 订正**,详见 §29e / **射程收窄见 §30l**;修前判缺席):
+  词表属主在 core,抄一份闭集只会在 core 加词那天把一个合法值判没。
+  ⚠️ 0.65.x 起 `breaker_open` 也走这一条(core 已删该词)—— **旧引擎的合法帧照旧过境**,只是本端
+  不再为它自铸一句解释。
+- 未知词 / 坏值 ⇒ 一句**兜底**:仍告诉用户这只 ask 是分类器那条腿引出来的,但不冒充三句里的任何
   一句,并原样带上那个词供运维追问上游。
 
-**为什么是镜像**:这两张表与那一格在 sdk 8.8.0 与 agent-types 上**都还没有**(亲验两棵树全树零命中),
+**为什么是镜像**:这张表与那一格在 sdk 8.8.0 与 agent-types 上**都还没有**(亲验两棵树全树零命中),
 唯一出处是 `@sema-agent/core`;而 core **不是本包消费者的依赖** ⇒ 与 ⑦ 同一条处置(镜像 + 门对实装
 core 双向对账)。**候上游导出即整只退役改成从 sdk 取**。
 
@@ -4723,9 +4771,9 @@ core 双向对账)。**候上游导出即整只退役改成从 sdk 取**。
 | ④ | 门记录那一行:`gateDeniedByDetail(gateDeniedBy(g))`(九词);审批卡的出身行:`askOriginDetail(frame.origin)`(十一词)。壳侧同族自拼句子一律退役 | 同左 |
 | ⑤ | `/permissions` 的规则报错行:`permissionRuleIssueDetail(issue.code, issue.message)`。🆕 0.63.1:表外码**整只**进那一句(不再封 60 字符),端的行渲染要给它留得下换行/截断的余地 —— 🔴 别在端上再截一刀,那等于把这次修的病搬到端里 | 同左 |
 | ⑥ | `wiring_manifest` 帧到达时 `projectToolRoster(manifest)`;**在场**则自报面与工具卡 shim 走 `toolRosterNames()` / `toolShimFromRoster()`,**缺席**才回落 `liveInitToolFace` 三表。`tool_roster_delta` 帧走 `applyToolRosterDelta()`,`skew` 时**记一次偏斜并按快照重同步**(别拿 summary 算位置) | 同左 |
-| ⑦ | `engine_notice` 呈现闸改按 `engineNoticeInCatalog(code)`;投递面按 `noticeAudienceOf(code)` 分流(`user` 上屏 / `operator` 落运维面)。壳自己的 `CORE_ENGINE_NOTICE_CODES` / `PENDING_ENGINE_NOTICE_CODES` 两表**可以退役成一张「明拒表」**(本包这张是上游码册的机械镜像,壳只需保留它**刻意不渲**的那几个码)。🔴 `mcp.injection_dropped` 的转录**直接用 `message`**,别自拼 | 同左 |
+| ⑦ | `engine_notice` 呈现闸改按 `engineNoticeInCatalog(code)`;投递面按 `noticeAudienceOf(code)` 分流(`user` 上屏 / `operator` 落运维面)。🆕 **0.64.2 补一条允许形**:**单人本机端**(cli 这类「起引擎的人 = 看屏的人」的部署形)可以**不做这次分流**,把 `operator` 受众的码**渲成通用行**并把 audience 读数落进诊断留痕 —— 前提是这条选择**登记在案**(壳侧顶注 `sema-cli/src/sema/engineNoticeCodes.ts` 与本行互引),而不是没读文档。理由:这一端没有第二块屏,分流的净效果是把一批**正文里就写着用户该敲哪个 env** 的治理事实整段静音,那比不分流更坏。🔴 允许的是**渲通用行**,不是**不登记**:码册内的码一个都不许悄悄消失;确实不渲的码要进端自己的**明拒表**(一条写下来的决定),好让「有意不渲」与「漏登记」在机器上可分辨。要真分流,先有第二块面(operator 面板 /诊断出口)再做,那是另一批。多用户 / 有独立运维面的端(web-admin 一类)**照旧按 audience 分流**。壳自己的 `CORE_ENGINE_NOTICE_CODES` / `PENDING_ENGINE_NOTICE_CODES` 两表**可以退役成一张「明拒表」**(本包这张是上游码册的机械镜像,壳只需保留它**刻意不渲**的那几个码)。🔴 `mcp.injection_dropped` 的转录**直接用 `message`**,别自拼 | 同左 |
 
-| ⑧ | 审批卡上「为什么问我」那一行:`classifierUnavailableDetail(classifierUnavailableOf(ask)?.cause)`;durable park 行的卡走**同一只**读器(键路同形)。🔴 这一格是**显示元数据**,别据它翻转任何裁决;缺席**不许**渲成「分类器跑成了」 | 同左 |
+| ⑧ | 审批卡上「为什么问我」那一行:`classifierUnavailableDetail(classifierUnavailableOf(card)?.cause)`。🆕 **0.64.2 起不必再自己去拿裸帧**:这条事实由包投影到卡口 `ApprovalCardRequest.classifierUnavailable`,**两腿都投**(活卡帧腿 = `ToolApprovalFrame.classifierUnavailable`;durable park 行腿 = 行上的孪生位),**键路与 ask / park 行同形** ⇒ 上面那两只读器**直接吃卡入参**,端零改读法(详见 §29①)。🔴 这一格是**显示元数据**,别据它翻转任何裁决;缺席**不许**渲成「分类器跑成了」。⚠️ **两层都按开集**:包边界只判形(`cause` 非空串即收,与 server 唯一铸点同判据);`classifierUnavailableOf` 同样非空串即收,只排除**熔断轴独占**的词(`parse_error`)——未知词渲**兜底句**而不是整行消失(0.64.2 行为面订正,见 §29e)。⚠️ **本键有退役日期**:core 7.12.0 / server 7.70.0 起帧上这一格是**死键**(事实位随拒绝面走),包 0.65.0 改读那一面而**不删本键** —— 端这一格**照写不误**,那天它自然回落到缺席臂 | 同左 |
 | ⑨ | `workflowMonitor` 的 agent 行:`DisplayStatus` 的 **`parked`** 是一条新臂,glyph/颜色映射与状态词是**穷尽形** —— 必须同批加一条 case,措辞按「waiting for approval」一类,🔴 **别复用 `running`**的字与色(那正是 0.63.0 的病)。`AgentState` 侧同理。合成格/phase 行拿到 `parked` 时同样别渲成在跑 | 同左 |
 
 ---
@@ -4930,18 +4978,19 @@ VOCABULARY … are the consuming side's single point」)。真源是 core 的
 **签名**
 
 ```ts
-CLASSIFIER_STATUS_STATES: readonly string[]   // 3 词:available / breaker_open / unavailable_this_round
+CLASSIFIER_STATUS_STATES: readonly string[]   // 3 词:armed / available / unavailable_this_round(0.65.0 两处同批:B-071 加 `armed` 见 §30f、熔断族退役删 `breaker_open` 见 §30k②)
 
-classifierBreakerOf(autoMode: unknown): ClassifierBreakerView | undefined
 classifierStatusOf(autoMode: unknown, ask?: unknown): ClassifierStatusView | undefined
 classifierStatusDetail(view: ClassifierStatusView): string
 
-interface ClassifierBreakerView { openedAtMs: number; lastCause: string; failures: number; runId?: string }
-interface ClassifierStatusView { state: string; breaker?: ClassifierBreakerView; cause?: string }
+interface ClassifierStatusView { state: string; cause?: string }
+// 🔴 `classifierBreakerOf` / `ClassifierBreakerView` / `breaker_open` 这一态与
+//    `ClassifierStatusView.breaker` 一位 **0.65.x 全部退役**(core 7.12.0 Removed(BREAKING));详见 §30k②
 ```
 
-**wire 加员**:`WiringManifestAutoMode` 上 additive 一键 `breaker`(core 7.10.0 `AutoModeBreakerTrip`
-的四键;**server ≥7.69.0 才投**),随 `_sema_autoMode` 段过帧。
+**wire 加员**:~~`WiringManifestAutoMode` 上 additive 一键 `breaker`~~ —— ⚠️ **0.65.x 已退役**
+(core 7.12.0 删 `WiringManifest.autoMode.breaker`);那一段今天只剩 `armed` / `reason` 两位,老引擎
+若仍带这一键,它落在投影白名单之外被丢弃。详见 §30k②。
 
 **输入形**:`autoMode` 吃 `wiring_manifest` 的 `autoMode` 段(投影后的或原始的都吃,本函数自己窄读);
 `ask` 吃一只 ask 或 durable park 行的 `tool_approval` 载荷(与 `classifierUnavailableOf` 同一只读器)。
@@ -4950,32 +4999,24 @@ interface ClassifierStatusView { state: string; breaker?: ClassifierBreakerView;
 
 | 形 | 语义 | 🔴 不许渲成 |
 |---|---|---|
-| `breaker` 键**不在场** | **没有可用的熔断记录** —— 四种成因不可分辨:①这个会话从没熔断过 ②账本(有界 FIFO)把它淘汰了 ③这一次是 standalone prepare(账本压根没接上)④server <7.69.0 不投这一段 | 「没熔断过」;也**别**读成「一定是老引擎」 |
-| `classifierStatusOf(...) === undefined` | 这一端说不出分类器的健康状况(段缺席;或没武装、且既无本轮事实也无历史记录) | `available` |
-| `runId` 缺席 | 引擎没报是哪条腿合的闩 | 编一个 |
-| 熔断记录三键(`openedAtMs`/`lastCause`/`failures`)缺任一 | **整段**判缺席(半句没有出口的话不如不渲) | 半句 |
-
-**四条承重(照抄进端的复审清单)**
-
-- 🔴 **熔断记录与 `armed`/`reason` 之间零互证**:闩合上之后被闩住的那条腿**不再把 auto 意图传给后续
-  腿**,于是后续腿读作 `no_intent` 而**不是** `latch_open` —— `{armed:false, reason:"no_intent",
-  breaker:{…}}` 是**最常见**的合法形。补一条「有 breaker 就该 latch_open」的互证会把真读数整段判没。
-- 🔴 **优先序:本轮事实 > 这条腿的 `armed` > 历史熔断记录**。判据锚在**真正决定「分类器现在跑不跑」
-  的量**上,而那个量是**这条腿的 `armed`**,不是账本里有没有一条旧记录 —— core 顶注逐字:
-  「A decider is minted per run (its latch is a RUN fact) … the ledger below carries the most recent one
-  forward per session」⇒ 同一会话的**后一条腿完全可以重新武装**(新 decider 的闩由构造关着),而账本
-  仍把那次旧 trip 带着。`armed === true` 时判 `breaker_open`,就是把一个**正在放行**的分类器显示成
-  已经关掉了。
-- 🔴 **历史记录不因为被压下去就丢掉**:任何一态上 `view.breaker` 都照带。`available` 因此有**两句**
-  措辞 —— 「在跑」与「在跑、但这个会话上**曾经**熔断过」是两条不同的下一步(后者要去看那次失败为什么
-  发生,它随时可能再来一次)。
-- 🔴 **别渲「不新开会话就恢复不了」**:闩是**一条腿**的事实,后一条腿会铸一只新的、闩关着的
-  decider ⇒ 那句话是编的。本包的两句熔断措辞都只说真的发生过的事(什么时候、因为什么、连着几次)。
-- 🔴 **`lastCause` 开集读**:词的属主在 core;端按具名词写的 `switch` **必须带 `default`**,
-  或者直接用 `classifierStatusDetail()`(它自带兜底句,原样带上那个词供运维追问上游)。
-- 🔴 **时刻是 UTC ISO**:时区是宿主的事。端要本地化就拿 `view.breaker.openedAtMs` **自己**格式化,
-  别去改那句话 —— 而 `openedAtMs` 已由窄读收进 `Date` 的真实值域(一个 wire 上的 `1e20` 会让
-  `toISOString()` 当场 `RangeError`,那是整屏崩不是一行渲不出)。
+| `classifierStatusOf(...) === undefined` | 这一端**说不出**分类器的健康状况:`autoMode` 段缺席(老 mint / 外部 derive),或段在但没武装、且卡上也没有任何本轮事实 | `available`(把「没报」渲成「一切正常」) |
+| `state === 'armed'`,没有 `cause` | **这条腿铸出了分类器 decider**(装配期事实),本轮跑没跑这一端没有证据 | 「在跑 / 可用」——那是 `available` 那一句 |
+| `cause` 缺席而 `state === 'unavailable_this_round'` | 引擎报了「本轮没跑成」但没给成因词 | 编一个成因 |
+| 一份仍带 `breaker` 的老引擎 manifest | 那一位**落在投影白名单之外**,一个字节都到不了端(0.65.0 退役);`armed`/`reason` 两位照旧过帧 | 任何一句熔断解释(那个机制在这一代引擎上不存在) |
+
+**三条承重(照抄进端的复审清单)**
+
+- 🔴 **优先序:本轮事实(否定 + 肯定)> 这条腿的 `armed`**。判据锚在**真正决定「分类器现在跑不跑」的
+  量**上 —— core 顶注逐字「A decider is minted per run (its latch is a RUN fact)」,而可用性逐字是
+  「a per-CALL fact」。⇒ 卡上带 `classifierUnavailable` 判 `unavailable_this_round`;卡上
+  `origin === "denial_limit_fallback"` 判 `available`(那只 ask 的存在本身证明分类器跑过);
+  都没有而 `armed === true` 判 `armed`。详见 §30f。
+- 🔴 **`armed` ≠ `available`(0.65.0 / B-071)**:前者是装配期读数、后者是每次调用的事实。端自己
+  `switch` 过 `state` 的要补 `armed` 一臂;直接渲 `classifierStatusDetail()` 那句话的端**零改**。
+- 🔴 **表外态不抛也不冒充**:一份从旧持久态恢复回来的视图可能带着已退役的 `breaker_open`
+  —— 措辞铸点为它走兜底句、原样带上那个词,端**不要**在自己那侧补一张闭集表(那等于把这次退役的
+  承诺又复制一份出去)。
+
 
 ---
 
@@ -5105,3 +5146,835 @@ devDep core 那端(提货批抬版时先红)。**红的那一刻 = 该铸一句
 | `scripts/run-integration-doc-freshness-test.mjs` | 本节新增坐标在盘 + 入库;§0a/§2/§2b 计数与基线等值;①c 表长登记 +4 |
 
 ---
+
+## §29 🆕 0.64.2 内容批(server 7.69.0 提货的包侧六件:**四件 additive** + 一条行为面订正 + 一处同形存量族扫)
+
+### 29a. 本节速览
+
+| 件 | 一句话 | 端要做什么 |
+|---|---|---|
+| ① | `ApprovalCardRequest.classifierUnavailable` —— 「问你是因为分类器这次跑不了」的事实**两腿都到卡口** | 卡上那一行改读卡入参(§27i⑧;键路同形,读器不换) |
+| ② | `mcpConfigToSpec` 把 `.mcp.json` 的**解析透明键** `toolFaces` 原样过境(此前被逐键白名单剥掉) | 端**零改**;运维在 `.mcp.json` 上声明的 per-tool 面从此到得了引擎 |
+| ③ | `readDenialLimitFallback` 上公面 | 端自持的同判据副本可以整只退役 |
+| ④ | 🔴 **行为面订正**:`classifierUnavailableOf` 由「unavailable 闭集」改为「非空串即收 + 排除熔断轴独占词」 | 端**零改**;比本端新的引擎发的合法新成因词从此渲得出来(此前整段消失) |
+| ⑤ | 族扫:`cloudMcpToSpecs`(center 配置 → 请求面)同样透传 `toolFaces` | 端零改;用 center 下发配置的部署与本地 `.mcp.json` 同待遇 |
+| ⑥ | durable park 行 → 卡的**两位对偶**:`persistedRuleShadowed` ← 行 `riskDescriptor.shadowedRule`、`ruleOffersAbsence` ← 行同名键 | 端**零改**(落的是活卡腿同一个卡位);耐久路上「规则清不掉」的 ask 从此在卡面上说得出来 |
+
+**共同形还是那一条**:上游已经把事实摆在 wire 上了,而**包边界这一格空转**([C170] / `hasBidiControls` /
+窗三键 / `model` 的同款第 N 例)—— ①②⑤⑥ 全是它。②⑤ 是它第一次长在**上行**(请求面)而不是下行;
+⑥ 是同一形在**载体名不同**这一格上的变体(帧上是顶层键、行上在 `riskDescriptor` 下,于是没人发现)。
+④ 是另一条形:**包在边界抄了一份上游的闭集词表**,于是上游加词那天把一个合法值判没(B-025 的同款)。
+
+**出处**:①②③ 出自 1.0.106 提货批的任务书;④⑤ 由异源对抗复审 r1 逼出(逐条见各段);
+⑥ 是任务书追加件(cli B-058)。
+
+---
+
+### 29b. ① 「分类器这一轮跑不了」的事实到卡口(cli L-174②;server ≥7.69.0 / core 7.10.0 #616)
+
+**病**:0.63.0 已经把读器(`classifierUnavailableOf` / `classifierUnavailableDetail`,§27h2)交给端了,
+而**包边界一个字节都没投影** —— 端要么去拿裸帧自己读(卡口拿不到帧),要么这一行根本渲不出来。
+
+**投影两腿**(单源与双源在这里都不成立,是**双源合流**,`governanceForced` 同形):
+
+| 腿 | 载体 | 上游直证 |
+|---|---|---|
+| 活卡帧 | `ToolApprovalFrame.classifierUnavailable` | engine 7.69.0 fixture `@sema-agent/server/dist/tool-approval.js:847` 条件 stamp;同包 `approval-card.js:240/244` 唯一铸点与窄读器;`tool-approval.d.ts:163` 声明键 |
+| durable park 行 | 行上的 `classifierUnavailable`(`PendingAction.tool_approval` 的孪生位) | core 7.11.2 `dist/core/checkpoint-store.d.ts` 逐字「the PARK twin of `AskRequest.classifierUnavailable`」 |
+
+**端怎么接**(§27i⑧ 的展开):卡入参上的键路与 ask / park 行**同形**,所以
+
+```ts
+const cause = classifierUnavailableOf(req)?.cause      // req = ApprovalCardRequest
+if (cause !== undefined) renderLine(classifierUnavailableDetail(cause))
+```
+
+**🔴 五条读法**
+
+- **显示元数据,不是裁决位**:引擎在门上已经判完了;不参与、也不改变本次决断的任何字节。
+- **缺席不是断言**:缺席同时覆盖「分类器答上了」「这只 ask 没资格走分类器」「本部署没接分类器」三形
+  (core d.ts 逐字 read presence, never absence)—— 禁渲成「分类器好着呢」。
+- **两层都按开集**(🔴 **0.64.2 订正,见 §29e**):包边界只判形(`cause` 非空串即收,与 server
+  `readClassifierUnavailable` 同判据);`classifierUnavailableOf` 那一层**只多一条有出处的排除** ——
+  熔断轴**独占**的词(今天 = `parse_error`,core 明说它不 stamp 到这一格)。词表属主在 core,任何一层
+  抄一张闭集表都会在 core 加词那天把一个**合法**值判没,而丢的正是「这次不可用是新出现的那一类」
+  这条信息。未知词的正解是**渲兜底句**(措辞铸点自带,原样带上那个词供运维追问上游),不是不渲。
+- **echo-only**:server 顶注逐字写明它不据这一键做任何裁决 —— 端据它自铸第二套熔断/回落判据 =
+  同一语义面两个写者。本包同律,本批**不做熔断相关任何事**。
+- **`.strict()` 差一格**(与 `denialLimitFallback` 同一条,如实写):载体上**多出的成员**包侧剥后保留
+  `cause`,server 侧整只拒收。包宽一格,方向是「多键不误杀」;端不要把「包读出来了」当成「server 也会收」。
+
+**⚠️ 两条诚实边界(别把本节读成比它更强)**
+
+1. **本键的退役日期已定**:上游发布记录 [6852] 的 server 落点表逐字「ask 帧 `classifierUnavailable` **死键**;
+   事实位随 deny 载荷 … 三面投影(`tool_approval` 帧 / `card_json` / inbox 行)**退役**」⇒ **core 7.11.x 仍写、
+   core 7.12.0 / server 7.70.0 起缺席**。本包 0.65.0 按 [6853] 的排期改从拒绝面渲,**码不删**(死键保留型)
+   —— 缺席臂那天就是正解,退役一个 additive 键不该逼三端各改一次。端这一格照写不误。
+2. **durable 腿今天在引擎上恒零命中**:engine 7.69.0 的两只 checkpoint 店
+   (`plugins/local-checkpoint-store.js` / `plugins/checkpoint-store-sql.js` 的 `listPending`)把
+   `pendingAction` 扁平化到 `/v1/approvals` 行时**没有**带这一位(带它的是 `/v1/assistant/inbox`,那不是本腿
+   吃的行);与 `governanceForced` 今天同一格。⇒ 包侧的承诺是**「行上有 ⇒ 卡上有」**,server 补投那天零改动
+   生效 —— 这不是「已经接通了」。之所以照投而不像 `ruleEvidence` 那样诚实零投影:那一位在上游**根本没有
+   耐久对偶**(读 `riskDescriptor.ruleEvidence` 是在猜一个载体名),而本位的对偶是上游**逐字声明**的。
+
+---
+
+### 29c. ② `.mcp.json` 的**解析透明键**过境(cli L-167①;包侧缺陷)
+
+**病**:`mcpConfigToSpec`(`src/mcpWireCaps.ts`)是**逐键白名单重建**,而 settings-schema 1.9.0 给 mcp 段
+加的 `toolFaces` 是**解析透明键**(`z.unknown()`)—— 白名单没有这一行,于是运维在 `.mcp.json` 上声明的
+per-tool 面(写围栏与敏感路径策略读的 `pathTarget` 那一格)在**包边界**被静默剥掉,而两边看着都对:
+配置文件里写着,引擎那边只是「没有声明」。
+
+**修法与它刻意不做的事**
+
+- **按上游的透明键表逐名透传**,**不是**改成 `...c` 全展开:全展开会把用户配置里的任意键送上引擎请求面,
+  既没人判形也没人负责。配置上的**未知键**照旧不上 wire —— 修的是丢键,不是把闸拆了。
+- 表的属主是 `@sema-agent/settings-schema` 的 `McpServerSpec`(zod shape 里 `z.unknown()` 的那些键)。
+  **1.10.0 实装两员**:`source`(1.7.2)与 `toolFaces`(1.9.0)。
+- 🔴 **`source` 刻意不在这条腿上**:它是**部署面**的分组标签(`config.d/mcp.json` 与 `/effective.mcp` 的键,
+  消费者是 server),而**请求面**的 `McpServerSpec`(sdk 8.8.0 `types.d.ts`)上根本没有这个键 ——
+  往这里塞它是给 wire 加一个引擎不认的键,不是透传一件事实。这条**记账带退出条件**:哪天 sdk 的请求面
+  声明了 `source`,记账的前提消失,门当天红。
+- 🔴 **坏形原样过境,不是包拒**:上游把这一格声明成解析透明的理由逐字是「这一域 all-or-nothing,任一字段
+  解析拒都会让整套 mcp 服务器静默消失」。包在这里判一次形只有两种结局 —— 判严了就把运维声明的保护**静默**
+  吞掉(比引擎响亮拒更坏),判松了就是白写一个会漂的第二判官。形的判决在引擎:JSON 形写坏或出现读器不认
+  的键 ⇒ 整条 server 不进 + 请求腿 `mcp_injection_dropped{dropped:[name]}` 点名;形合而语义坏 ⇒ 拒**那一只**
+  工具 + `config.tool_face_invalid` 通告(operator 面)。
+- 缺席 ⇒ **键不铸**(不折成 `{}`:「没声明」与「声明了个空覆盖层」不是一句话);过境是**同一个对象引用**
+  (零拷贝零重建 —— 重建就等于在这里判了一次形)。
+
+**端要做什么**:零改。两条 transport 臂(`stdio` / `http`)与整表腿 `mcpConfigsToSpecs` 都已过境。
+
+---
+
+### 29d. ③ `readDenialLimitFallback` 上公面(cli L-174③)
+
+签名:`readDenialLimitFallback(v: unknown): DenialLimitFallback | undefined`(`src/hitl/toolApprovalWire.ts`)。
+判据本体与纪律见 §23a 末段(四成员全必填、计数与窗按有限非负数、`limit` 开集、与 server `.strict()` 差一格)。
+**用途**:让端自持的同判据副本整只退役(壳侧那份在 `sema-cli/src/sema/askFrameNotes.ts`)—— 第二个判官会在上游改形
+那天与包各漂各的。⚠️ 导出的是**读器,不是许可**:`autoDenyAfterMs` 仍然只许渲倒计时。
+
+---
+
+### 29e. 🔴 ④ 行为面订正:`classifierUnavailableOf` 不再把**未知成因词**吞成缺席
+
+**这是本批唯一的行为面改动**(其余三件全 additive),由异源对抗复审 r1 [medium] 逼出来,复现可执行:
+
+- **修前**:读器按 `AUTO_MODE_UNAVAILABLE_CAUSES` **闭集**收窄 ⇒ 一台比本端新的引擎发一个**合法的新
+  成因词**时,`classifierUnavailableOf` 判缺席 ⇒ §27i⑧ 那一行**整段消失**;把同一张卡喂给
+  `classifierStatusOf({armed:true}, card)` 还会答 **`available`** —— 一条真实的故障事实被渲成「一切正常」。
+- **自证**:`classifierUnavailableDetail` 早就为这一形备了兜底句(「a word newer than this client」),
+  而在修前那句话**永远不可达** —— 一个永远走不到的兜底分支,本身就是判据写错了的证据。
+- **修后判据**:`cause` **非空串即收**,只排除 core 明说「不 stamp 到这一格」的词(今天 = `{parse_error}`)。
+  ⚠️ **0.65.x 订正**:这条排除修前由「熔断轴 − 不可用轴」的差集派生,而 core 7.12.0 把熔断表删了
+  ⇒ 右操作数不存在。排除的**理由**从头到尾在判据轴上(`tool-policy.d.ts:297`),现按理由直写一张
+  具名单员表 `NEVER_STAMPED_CAUSES`。**行为一字未变**,变的是理由的坐标。
+- ⚠️ **射程收窄(0.65.x,见 §30l)**:本条「集外成因词逐字上 wire」只对**活卡帧 / `card_json`** 腿
+  成立;**耐久腿**(inbox 行 / durable park 行)由 core `summarizeCheckpoint` 按
+  `isAutoModeUnavailableCause` **枚举**,集外词读作缺席 —— 它到不了本包。
+- **`parse_error` 的行为一字未变** ⇒ 0.63.0 起的黑盒判据 **G-19 照旧成立**;变的只是「表外词」那一格,
+  而「表外」与「另一条轴上的词」本来就是两件事,修前把它们判成了同一件。
+- **端要做什么**:零改。未知词从此渲兜底句;端**不许**在自己那一侧再补一张闭集表(那等于把这次修的病
+  搬进端里)。
+
+---
+
+### 29f. ⑤ 族扫:center 配置腿同样透传透明键
+
+②的**同形存量第二处**:`cloudMcpToSpecs`(`src/cloudConfigWireCaps.ts`,center `/api/v1/effective` 的
+mcp 域 → 请求面 `McpServerSpec[]`)也是逐键白名单重建,同样把 `toolFaces` 剥掉。上游对这一位的成文是
+**「三条腿(请求 / config-center / 本地 config.d)同一条规则」**,只修本地那条 = 同形存量留一半:
+用 center 下发配置的部署,运维声明的 per-tool 面照样在包边界静默消失。⇒ 同批补齐,判据与本地腿逐字相同
+(原样过境、坏形不包拒、缺席不铸键、`source` 同样不在这条腿上)。
+
+🔴 **两条腿刻意不共用一个转发函数**:跨文件共用要么给公面加一个没有外部消费者的名字、要么多一个叶子
+模块(闭包账 / 单例账各加一笔)。这里的「规则」只有一行(键在场 ⇒ 原样铸),真正会漂的是**哪些键算
+透明** —— 那张表的属主在上游,而门 G7 段是从**实装 schema** 取表、对**两条腿各对一次账**,任一条腿漏一个
+键当天红。⇒ 单一真源在上游 + 机械门,不是两份各自为政的判断。
+
+---
+
+### 29g. ⑥ durable park 行 → 卡的**两位对偶**(cli B-058 让位臂的输入)
+
+**病**:`surfaceFsApprovalAndDecide` 的「行 → 卡」重铸此前只投 5 位,而这两位**行上今天就有**:
+
+| 卡位(两条腿同一个) | 活卡帧腿的载体 | durable park 行的载体 | 直证 |
+|---|---|---|---|
+| `persistedRuleShadowed` | 帧**顶层** `persistedRuleShadowed` | 行 **`riskDescriptor.shadowedRule`** | engine 7.69.0 fixture `@sema-agent/server/dist/http/routes/approvals-assistant.js` 的 `redactPendingDisclosures`(`typeof rd.shadowedRule === "string" ? redactSecrets(rd.shadowedRule) : undefined`)+ `projectPendingForWire` 随行上 wire |
+| `ruleOffersAbsence` | 帧顶层同名键 | 行**同名**键 | 两只 checkpoint 店的 `listPending` 今天还没把它扁平化上来 ⇒ 本腿今天零命中,server 补投那天零改动生效 |
+
+🔴 **`persistedRuleShadowed` 长期被漏掉的原因就是「键名不同」**:帧上是顶层键,行上在 `riskDescriptor` 下。
+这不是「猜载体名」的反例,恰恰相反 —— 本包的既有纪律是「不猜」(`ruleEvidence` 在这条腿上诚实零投影,
+就是因为上游没有对偶);这一位的载体名是**上游产物直证**的,所以该投而没投是缺陷,不是纪律。
+
+🔴 **它不是一格「顺手补上的显示」,而是壳让位臂的输入**:活卡腿早就有它,durable 腿因为不投,一条
+**被记住的 allow 规则清不掉的 ask** 在耐久路上看起来就是一条普通 ask ⇒ 被自动 `decide approve`
+(cli B-058 离线真跑:default 车道 + `Bash(grep:*)` + 带 `shadowedRule` 的 park 行 ⇒ **零卡 + approve**)。
+包只保证这两位**到得了卡口**,让位判定归端。
+
+**判据与活卡腿逐字同族**:`persistedRuleShadowed` **非空白串才 stamp**、stamp 的是**原文字节**
+(不 trim、不截、不改写;长度夹取归端);`ruleOffersAbsence` **非空串才 stamp、词表不校**(开集)。
+坏形 / 缺席 ⇒ **键不 stamp**(绝不折成空串 —— 一格空白的规则解释比没有解释更坏)。两位互不连坐。
+🔴 都是 **UNTRUSTED-for-display 且不是身份通道**(下游删除规则面不许拿 `persistedRuleShadowed` 当规则身份)。
+
+---
+
+### 29h. 🔴 三端换装清单(逐件坐标)
+
+| 端 | 换装 |
+|---|---|
+| **cli**(1.0.106) | ① 审批卡「为什么问我」那一行改读 `classifierUnavailableOf(req)`(req = 卡入参),`classifierUnavailableDetail` 铸句;durable 腿同一行、同一只读器(L-174②)。③ `sema-cli/src/sema/askFrameNotes.ts` 的 `readDenialLimitFallback` 自持副本整只退役、改 import 包内那只(L-174③)。② 零改(包侧透传即生效),`.mcp.json` 带 `toolFaces` 的部署可直接验。⑦ `engine_notice` audience:壳这一端**登记在案地不分流**(§27i⑦ 的允许形),顶注与本档互引 |
+| **desktop** | ① 同 cli(卡面同一读法);③ 若自持副本同样退役;② 零改。⑦ 桌面端若有独立运维面,**按 audience 分流**(不适用 cli 那条允许形) |
+| **web-client / web-admin** | ① 同 cli;③ 同上;② 该端不消费 `.mcp.json` 请求腿 ⇒ 零改。⑦ 多用户端**照旧按 audience 分流**,`operator` 行不上用户屏 |
+| **三端共同(⑥)** | **零改**(落的是活卡腿同一个卡位);但耐久路上的**让位臂**从此有输入了 —— 端若在 durable 卡上有「记住的 allow 规则可以自动放行」这类臂,必须与活卡腿同样让位(cli B-058 的正位解) |
+| **三端共同(④⑤)** | ④ **零改**,但要知道行为变了:未知成因词从此渲**兜底句**而不是整行消失 —— 端若自己维护过一张成因闭集表(为了「只渲认得的词」),那张表现在是这次修的病的第二处,该退役。⑤ 零改;走 center 配置的部署与本地 `.mcp.json` 从此同待遇 |
+
+---
+
+### 29i. 黑盒判据(test 视角;wire 可观察,不引用内部实现)
+
+- **G-33**:对一台 **≥7.69.0** 的 worker 武装 auto 模式,让分类器那条腿**超时**一次 —— 审批卡上出现一句
+  点名「分类器这次跑不了(超时)」的话;**熔断**之后再来一只 ask —— 那一句**逐字不同**(点名闩已合上)。
+  ⚠️ **durable 那一半今天不可跑**(与 §29b 末条登记的供给缺口同源):engine 7.69.0 的 `listPending`
+  还没把这一位扁平化到 `/v1/approvals` 行上 ⇒ 走 durable park 再恢复时,卡上**没有**那一行。
+  server 补投之后这一半才成立(届时判据是「与活卡腿那句话逐字相同」——两条腿同一只读器)。
+- **G-34**:同一台 worker 上让分类器**正常**跑一轮 —— 卡上**不出现**那一族的任何一句(缺席 ≠「分类器好着呢」);
+  把 worker 换成 **<7.69.0** 的旧引擎 —— 同样不出现,且**不报错**。
+- **G-35**(退役形前瞻):把 worker 换到 **≥7.70.0**(core 7.12.0)—— 帧上这一格恒缺席,客户端**照旧不崩、
+  不渲那一句**,也**不**因此把任何裁决翻转。
+- **G-36**(④ 的判据):构造一个 `cause` 值为「这一端没见过的词」的 ask —— 卡上那一行**仍出现**、句子里
+  **原样带着那个词**、与三句已知成因逐字不同;同一只 ask 上分类器状态那一面答的是「本轮不可用」而**不是**
+  「可用」。把 `cause` 换成空串或非串 —— 那一行**不出现**(坏形降缺席)。
+  🔴 反向:把 `cause` 换成 `parse_error` —— 那一行**仍不出现**(G-19 一字未变:那是熔断轴的词,
+  引擎在这一格上根本不盖它)。
+- **G-41**(⑥ 的判据):让一次调用命中一条**这个人自己的**持久 allow 规则、而那条规则**清不掉**这只 ask,并让它走**耐久 park** 再取回 —— 卡上那一行(「你的规则仍在,只是这次被要求逐次确认」)**出现**;⚠️ 判据是**那一行出现且引的是同一条规则**,**不是**两条腿的文本逐字节相同 —— 两条腿的脱敏/规范化发生在**上游各自那一侧**(耐久那一份由 core 在 park mint 时铸、server 再脱敏一次),零宽字符一类的差别属于上游,包在这两条腿上都是**原文字节零加工**;🔴 且这次调用**不被自动放行**(修前:零卡 + 自动 approve)。把规则文本换成空串 —— 那一行**不出现**(不许渲成一格空白)。
+- **G-40**(⑤ 的判据):把同一份带 `toolFaces` 的 mcp 声明改从 **config-center** 下发(不走本地
+  `.mcp.json`)—— 引擎侧**同样**认得这台 server 的 per-tool 面;写坏它 —— 引擎**同样**响亮丢掉整条
+  server 并点名它。两条来源路径**行为逐字相同**。
+- **G-37**:在 `.mcp.json` 里给一台 server 声明 `toolFaces`(合法形,含 `pathTarget`)—— 引擎侧**认得这台
+  server 的 per-tool 面**(该工具的路径目标策略生效);把 `toolFaces` 写坏(如 `renderHints.summaryParams`
+  写成串)—— 引擎**响亮**地把**整条 server** 丢掉并在请求腿点名它(`mcp_injection_dropped`),而**不是**
+  这台 server 照常挂载、声明悄悄消失。两者都要求客户端**没有**在包边界替引擎判过形。
+- **G-38**:同一份 `.mcp.json` 里给 server 写一个**引擎和 schema 都不认识的**顶层键 —— 它**不上** wire
+  (请求面不带这个键),而 `toolFaces` 仍照常过境。
+- **G-39**:让一只 ask 走到**最终 deny 而没有任何人判过它** —— 通告面出现一条 `delegation.ask_unresolvable`,
+  正文引擎自己给(客户端不自拼),`detail.parkLaneExisted` 在「部署接了耐久审批但它没接住」与「压根没有
+  park 车道」两形上**取值不同**;同一次的 `tool_end.gate.settlement.kind` 是 `approver_unavailable`,
+  且那次 deny 的字节与没有本通告的时代**逐字相同**(披露面补齐,不是裁决面变更)。
+
+---
+
+### 29j. 常驻门
+
+| 门 | 守什么 |
+|---|---|
+| `scripts/run-hitl-gate-honesty-test.mjs` | 🆕 **F16 段**(件①活卡帧腿):三词正控 / 只交 `cause` 一格 / 开集(core 新词与 `parse_error` 在**过境层**照收)/ 多出成员剥后保留 / 七条坏形负控 / 老引擎与 core 7.12.0 死键形同判 / 与 `origin`·`denialLimitFallback` 三键并存互不吞并 / `parse_error` 过境层在场而显示层判缺席的反向对照 / 🆕 **端到端**(件④):新成因词一路到最终那句话与状态读数(`unavailable_this_round`,**不许**回落 `available`),带反向判别力自证 |
+| `scripts/run-durable-card-display-keys-test.mjs` | 🆕 **⑬ 段**(件⑥):行 `riskDescriptor.shadowedRule` → 卡位 `persistedRuleShadowed` 逐字在场(载体名不同、卡位相同)/ 原文字节不 trim 不截 / 七条坏形与缺席负控(绝不折空串)/ 🔴 **行顶层同名键(上游不存在的载体名)仍不长出这一位**(不自造载体名)/ `ruleOffersAbsence` 开集四词 + 四条负控 / 两位并存与「一位坏形不连坐另一位」;🆕 **⑫ 段**(件① durable 腿):同上判据 + **两腿同值反向对照**(同一个 cause 走两条腿,卡上逐字相同 =「一只读器吃两处」的可观察后果)+ 端到端(新词到最终那句话,已知词走专句的判别力自证);射程边界如实打印(证的是「行上有 ⇒ 卡上有」的包边界承诺,不是「引擎已经在发了」) |
+| `scripts/run-approval-frame-keys-test.mjs` | 🆕 `classifierUnavailable` 的 `AHEAD_OF_ANCHOR` 领先登记(带 `since` + `evidence`),两条退出条件由门自己执行:登记不许空转、sdk 锚一旦补上当场红逼删 |
+| `scripts/run-additive-key-passthrough-test.mjs` | 🆕 **G7 段**(件②⑤):判据是「settings-schema **实装 zod shape** 的透明键表 ⇄ **每一条腿**的账」逐名相等(**两条腿各对一次**:本地 `.mcp.json` 腿 + center 配置腿;上游加第三个透明键、或某条腿漏一个键,当天红);两条 transport 臂都过境且是**同一个对象引用**;**坏形原样过境不是包拒**;缺席不铸键;未知键仍不上 wire;`source` 的不透传是**带退出条件的记账** |
+| `scripts/run-auto-mode-unavailable-test.mjs` | 🆕 **B2b 段**(件④):未知成因词**照收**并走到措辞铸点的兜底句(修前那条路不可达)/ 排除集是**派生**的(两张镜像表的差集,今天恰 `{parse_error}`)/ 判别力自证:两集的**交**照旧读得出、`parse_error`(B2)一字未变 |
+| `scripts/run-public-surface-test.mjs` | 公面导出基线 **918 → 919**(件③) |
+| `scripts/run-client-core-typeshape-test.mjs` | `unknown` 出境棘轮 **312 → 314**,逐件写明理由(件③ 的读器入参 + 件② 的透明键 prop) |
+| `scripts/run-client-core-pure-test.mjs` | `TOOL_APPROVAL_FRAME_KEYS_MIRROR` 两处计数 **27 → 28** |
+| `scripts/run-integration-doc-freshness-test.mjs` | 本节新增坐标在盘 + 入库;§0a/§2/§2b 计数与基线等值 |
+| `scripts/run-package-hygiene-test.mjs` | (既有门,本批真红过一次)出包面中性词表 —— 本批新写的 JSDoc 里对协作面的称呼被它当场判红,改成中性技术词后绿 |
+
+---
+
+## §30 🆕 0.65.0 内容批(两半场:投影臂族归层修 B-071 / B-072 / B-073 / B-074 / L-215③ ＋ 接入审计 B 战役的包侧归层四件 B-070 / B-078 / L-215①② / B-080)
+
+### 30a. 本节速览
+
+| 件 | 一句话 | 端要做什么 |
+|---|---|---|
+| ① B-072 | 压缩边界帧:`trigger` 开集透传(`forced` 不再被折成 `auto`)+ 两个超集键 + `message_committed` 从「不投影」改投中性臂/chrome | 渲压缩分割线的端接 `_sema_preserved_segment` + 新 chrome 臂;只渲「自动/手动」的端**零改** |
+| ② B-073 | 成本:**显式 0 = 声明免费** 与 **缺席 = 没定价** 两档不再互折;`costUSD` 保 CC 形 + 同行判别位 | 账单/footer 面改成**两键合读**;只读 `costUSD` 的端零改(值一字未变) |
+| ③ B-073b | `usage.cacheCreationInputTokens` 不再硬编 0;扁平 usage 四格改有限数守卫 | 端**零改**;缓存写入从此算得对 |
+| ④ B-074 | 子代 `task_progress.status` 透传 + 终态那一拍**直接落面板行** | 端**零改**(chrome 事件形不变);子代行不再等 sweep/通知帧收尸 |
+| ⑤ L-215③ | assistant 行补 `id`/`model`;`usage`/`stop_reason` 按帧序**不铸在臂上**,真值走 `turn_usage` 两超集键 | 壳侧估算腿可退役;要 usage/stopReason 的端改吃 `turn_usage` 的两个新键;宿主需**钉 `EmitContext.model`** |
+| ⑥ B-071 | 分类器状态面 `armed` 与 `available` 拆成两个词 | 措辞面**零改**(单铸点);自己 `switch` 状态词的端加一臂 |
+| ⑦ B-070 | `/decide` 的 200 = **投递受理**,不是「门已解决」;`ParkResolution.handoffTaskId` 换挂 + 新模块 `decideReceipt.ts` | 据 200 清卡的端**必须改**(否则幽灵卡);换挂腿按 §30h 接 |
+| ⑧ B-078 | `approval_request` / `approval_revoke` 两条 **chrome 臂**(修前 `dropped('unsupported_arm')`) | **新义务**:不接 = 流内审批卡整面哑掉(§30i) |
+| ⑨ L-215①② | fleet `parked` ⇒ `awaiting approval`;「非成功终局」单铸谓词 `isTerminalNotSuccess` | 端零改;自己内联三词判据的端改读谓词(§30j) |
+| ⑩ B-080 | devDep core `~7.12.0`;🔴 **熔断族 clean-cut 退役**(公面删两件 + 型/词/位);AskOrigin 三句订正 | 读过熔断两件的端**编译红** ⇒ 删读点(§30k) |
+
+🔴 **本节两半场**:①–⑥(小节 **§30a–§30g**)是投影臂族归层修;⑦–⑩(小节 **§30h–§30n**)是接入审计
+B 战役的包侧归层四件 —— 两批同版发出,**合成一节**登记,小节编号连续不重号。
+
+**共同形**:①③④⑤ 是「上游已经把事实摆在 wire 上,而**包边界这一格空转**」的第 N 例(`toolFaces` /
+`model` / `workflowRunId` 的同族);②⑥ 是另一条形 —— **包在边界用一个更粗的读法回答了一个更细的问题**
+(②把两档折成一档;⑥拿装配期事实答每次调用的问题)。
+
+**出处**:①–⑥ = cli 台账 B-071 / B-072 / B-073 / B-074 与 DEBTS-cli L-215③;⑦–⑩ = 接入审计 B 战役的
+B-070 / B-078 / B-080 与 DEBTS-cli L-200 / L-208 / L-210 / L-215①②。合同真源 = core 7.12.0 的
+`task-event.d.ts` / `task-result.d.ts` / `wiring-manifest.d.ts` / `ask-origin.d.ts` / `auto-mode.d.ts` 与
+sdk 的 `events.d.ts` / `types.d.ts` / README §9.0.0(逐条坐标写在各小节)。
+
+---
+
+### 30b. ① B-072 压缩边界帧三件(core ≥5.16 起真发 `forced`;server ≥7.69.0 白名单)
+
+**键名与载体**
+
+| 键 | 载体 | 来源 | 缺席语义 |
+|---|---|---|---|
+| `compact_metadata.trigger` | CC `system{subtype:'compact_boundary'}` | `compacted.trigger` | **读不出**才回落 `'auto'`(空串/非串/缺席);读得出的词一律原样 |
+| `compact_metadata._sema_preserved_segment` | 同上(超集键) | `compacted.preserved_segment` | 键不铸 = 这次压缩**没有报保留段底**(或旧引擎)。**绝不**折成 `null`/空对象 |
+| `compact_metadata._sema_clamped_ratio` | 同上(超集键) | `compacted.clampedRatio` | 键不铸 = 这次压缩**没有钳**(或旧引擎)。🔴 **真 0 是事实不是缺席** |
+| chrome 臂 `message_committed` | `ChromeEvent`(新臂,`required:false`) | `message_committed` 帧 | 臂不发 = 这条消息没落账 / 这是 durable 腿(见下) |
+
+**🔴 `trigger` 为什么必须开集**:core 的 `compacted` 臂注逐字 ——「the wire now carries the **SAME
+value the hooks saw** instead of flattening it to `"auto"`」。上游刚刚停止折叠,包在下游又折一次,
+等于把上游的修复抹掉。core 同一段也写明这是 **additive value space**:「a consumer switching on
+auto/manual keeps its exact old behavior」⇒ **不是破坏性变更**。今天的第三个词是 `forced`
+(prompt-too-long 恢复腿 / trim-pressure 腿:压缩**不是可选的**)。
+
+**🔴 `_sema_preserved_segment` 与 `message_committed` 是一对,拆开就没用**:
+core 说 `firstKeptEntryId` 是**会话树条目 id**,消费方「builds its own `entryId → message` map from
+these [`message_committed`] to resolve `preserved_segment`」。所以本批把 `message_committed` 从
+`not_in_slice` 搬出来,投**中性内部臂 + 可选 chrome 记账**。它**仍然绝不铸 transcript 行** —— 本帧
+不带正文,铸一行就是替引擎编一句它没说过的话(同 `human_input` 那条硬约束)。
+
+**⚠️ 两条诚实边界**
+
+1. **投递腿只有 live**(亲读 engine 7.69.0:`http/routes/tasks.js:491/506` 的 live 白名单真发;
+   `runs.js:358` 与 `http/server.js:1696` 的 durable / resume 腿把本帧喂给 rewind 锚而**不入账本**)
+   ⇒ replay / resume 上端的映射表是**空的**。那时正解是**不画分割线**,不是回退成「画在最后一条」。
+2. **`clampedRatio` 的型面座位还没到**:server `trace/project.js:467` 真发,而 sdk 8.8.0 的 `compacted`
+   臂上没有这一位 ⇒ 包侧是**防御 raw 读**。记账带退出条件:
+   `run-compaction-boundary-projection-test.mjs` 的 F10 行断言那一位**现在不在**,sdk 补上当天红。
+
+**端怎么接**
+
+```ts
+// 压缩分割线(只有 live 腿解析得出)
+const anchor = msg.compact_metadata?._sema_preserved_segment?.firstKeptEntryId
+// 端自建的映射表(从 chrome 臂 message_committed 落):entryId -> 已渲消息
+const target = anchor !== undefined ? entryIdToMessage.get(anchor) : undefined
+if (target !== undefined) renderDividerBefore(target)   // 查不到就不画,别回落
+```
+
+**黑盒判据(test 视角可执行)**
+
+- **G30-1**:一条走 prompt-too-long 恢复腿的 run,其 `compact_boundary` 消息的
+  `compact_metadata.trigger` **逐字为 `"forced"`**(修前恒为 `"auto"`)。
+- **G30-2**:同一条 run,若引擎报了保留段,`compact_metadata._sema_preserved_segment.firstKeptEntryId`
+  与该 run **某一条** `message_committed` chrome 事件的 `entryId` **逐字相等**;引擎没报时该键**不出现**
+  (不是 `null`)。
+- **G30-3**:一次触发了摘要钳制的压缩,`_sema_clamped_ratio` 是一个有限数;没钳的那次该键不出现。
+- **G30-4**:live 腿上一条已落账的 assistant 消息**恰好**产生一条 `message_committed` chrome 事件
+  (`role:"assistant"`,带 `entryId`);同一条 run 的转录里**没有**因此多出任何一行。
+- **G30-5**(负控):durable/resume 腿回放同一条 run 时 `message_committed` chrome 事件为 **0 条**
+  —— 这是上游投递事实,端据此必须把「解析不出锚」当成正常态。
+
+---
+
+### 30c. ②③ B-073 成本可分性 + 缓存写入读真值
+
+**病**:core 把「没定价」与「声明免费」**在 wire 上分开**了(`TaskStats.costMicroUsd` 缺席 = 有花销
+没定价;`=== 0` = 这台模型显式声明免费),而包边界把它们折成同一个输出,而且**两个方向各错一半**:
+
+| 面 | 修前 | 修后 |
+|---|---|---|
+| `SDKResult.total_cost_usd` | `usd > 0 ? usd : null` ⇒ 真免费也渲 `null` | 照实报:显式 `0` ⇒ `0`;缺席/非有限 ⇒ `null`;负数原样 |
+| `ModelUsage.costUSD` | `finiteOrZero(...)/1e6` ⇒ 缺席渲 `0`(假免费) | 值仍 `0`(CC 形不破)+ **同行** `_sema_cost_absent: true` |
+| `usage.cacheCreationInputTokens` | 字面量 `0` | ⇐ `TaskStats.cacheWriteTokens`(合成 modelUsage 行同形第二处一并扫) |
+| 扁平 usage 四格 | `?? 0` | 有限数守卫(`"12"` / `NaN` / `Infinity` 折 0 而不是原样落进 `number` 槽) |
+
+**🔴 为什么判别位必须长在 CC 镜像上**(与 [2295]「CC 形状不承载非 CC 语义」**不矛盾**,差别有出处):
+`totalInputTokens` 有**另一条逐字通道**(`EngineTurnUsage` / `last_turn_usage.engineUsage`),所以镜像
+不必长第二个座位;而**成本缺席没有任何别的载体** —— CC 的 `costUSD` 型面上是**必填 number**,
+「这笔花销没定价」在 CC 形里根本不可表达。不加这一位,唯一写法就是 `costUSD: 0`,那正是 core 逐字
+禁止的 `a fabricated 0`。
+
+**读法:两键合读**
+
+| `costUSD` | `_sema_cost_absent` | 含义 | 下一步 |
+|---|---|---|---|
+| `0` | 缺席 | **声明免费** | 渲 `$0.00`,进总计 |
+| `0` | `true` | **没定价** | 渲「未定价」,**别进总计** |
+| `> 0` | 缺席 | 有账 | 照渲 |
+
+🔴 判别位**只在缺席时铸,从不铸 `false`**(「键在值假」会被读成三态)。新导出类型 `SemaModelUsage`
+(= `ModelUsage` 的超集);只读 `costUSD` 的旧消费者**行为逐字不变**。
+
+**端要做什么**:账单/footer 面改两键合读(cli / desktop / web 各一处);只渲 `total_cost_usd` 的端
+零改,但要知道 `0` 从此是**真的免费**而不再是「不知道」。
+
+**黑盒判据**
+
+- **G30-6**:一台**声明免费**的模型跑完一条 run,`-p --output-format json` 的 `total_cost_usd` 为 **`0`**
+  (修前为 `null`);`modelUsage[<model>]` 上 `costUSD === 0` 且**没有** `_sema_cost_absent` 键。
+- **G30-7**:一台**没有价表**的 worker 上同一条 run,`total_cost_usd` 为 **`null`**,且
+  `modelUsage[<model>]._sema_cost_absent === true`(`costUSD` 仍是 `0`)。
+- **G30-8**:一条真的写过 prompt cache 的 run,`usage.cacheCreationInputTokens > 0`(修前恒 `0`)。
+
+---
+
+### 30d. ④ B-074 子代终态那一拍(core ≥7.0 `task_progress.status`;server ≥7.69.0 白名单)
+
+**病**:core 的臂注逐字「**ONE final tick fires** at the sub-run's settle with the terminal face
+(`"completed"` | `"failed"`)」,并且把理由也写死了 ——「so a uuid-lane consumer **sees the row finish**
+instead of a bare removal after the last running beat」。而包边界:投影白名单里**没有 `status` 这一格**,
+adapt 层的注释还写着「子代从不发终态 tick」(那句话在 core 7.x 上已经是假的)⇒ 终态那一拍与一次普通
+running 拍**逐字节同形**,面板行只能等一次**防御 sweep**(而它只结「本 turn 活绑」的行)或一条
+`task_notification` 来收尸。
+
+**修**
+
+- 投影层:`task_progress.status` **开集**透传(词表属主在 core;缺席 / 空串 / 非串不铸)。
+- adapt 层:`completed` / `failed` ⇒ 走新的 `PanelTaskLedger.settleFromTerminalTick(taskId, isError)`
+  —— 按 **taskId** 收(引擎说的是「这个子代结束了」,不是「这张卡关了」)、车道证明走 `laneOf`
+  (绑了卡的行属 subagent lane,拿 main lane 的证明去落终态是帧×lane 矩阵那一族的病)、
+  同拍冻结 inline 群组行孪生、清常驻账、`SubagentStop` 走 if-started 门、与另两条 settle 腿
+  共用 `endedPanelTasks` 判重。**不标 live、不发第二条 tick。**
+
+**🔴 三条不改判**(缺席语义)
+
+1. `status === 'running'` —— 逐字走修前那条路;
+2. **`status` 缺席** —— 旧引擎不发这一格,读成终态会让**每一条**子代行在首拍就消失;
+3. **开集里的第四个词** —— 走 running 那条路。猜错成终态 = 把一条还在跑的行提前结掉;
+   多渲一拍 running 只是慢一点。词表属主在 core,包不替它裁决。
+
+**端要做什么**:**零改** —— 落行走的是既有 `panel_task{kind:'end'}` / `subagent_lifecycle{phase:'stop'}` /
+`inline_task_stats{op:'settle'}` 三条既有 chrome 臂,形一个字节没变。
+
+**黑盒判据**
+
+- **G30-9**:一条委派子代正常跑完,**在父卡 `tool_end` 之前**面板行已落终态(`panel_task{kind:'end',
+  isError:false}` 恰一条);修前该行要等到关卡 sweep 或通知帧。
+- **G30-10**:子代失败时该 end 的 `isError === true`。
+- **G30-11**:同一 taskId 收到两拍终态(重放 / 双腿投递)⇒ `panel_task{kind:'end'}` 仍**恰一条**。
+- **G30-12**(负控):一台**只发 running、不发终态 tick** 的旧引擎上,子代行的行为与修前逐字相同。
+- **G30-13**(负控):workflow 子代即使带终态 `status`,前台面板**零事件**(lane 门仍在最前)。
+
+**🔴 两条承重细节(异源对抗复审逼出,别按「先判终态再干活」重排)**
+
+1. **终态那一拍先把最终数字落到行上,再落终态**。它带的是子代的**最终**累计 usage;早退会让面板行
+   与 inline 群组行**冻在倒数第二拍**(实测 3 次工具 /150 tokens 被冻成 2 次 /100)。
+2. **只落「关卡腿不会来收」的行**(`!panel.isLiveBound`)。绑在本 turn 还开着的委派卡上的行由
+   `panel.settle(cardId, isError, report)` 收 —— **只有那条腿带得动子代的最终报告**,而三条 settle
+   腿共用 `endedPanelTasks` 判重 ⇒ 终态 tick 抢先落行会让关卡腿整条让位,报告从此到不了面板。
+
+**⚠️ 已知边界:代际(`seq`)不参与判重**
+
+core 的 `task_progress.seq` 是同一条后台行的**复活代际**(fresh spawn = 1,每次复活 +1),而本包三条
+settle 腿共用的 `endedPanelTasks` **只按 taskId 判重** ⇒ 第一代落终态之后,**第二代的终态在面板上
+出不来**。本批**不修**,理由是「半个代际模型比没有更坏」:要修就得三条腿一起认代际,而关卡那条腿
+(`tool_end`)手上根本没有 `seq`,通知腿的 `seq` 又在另一个载体上 —— 只给终态 tick 认代际会让同一条行
+在两条腿上按不同的键判重,后果是**重复落终态**(比漏落更坏)。⇒ 作为**跨腿的独立件**移交;
+`run-task-progress-terminal-projection-test.mjs` 的 **B9** 段钉住了今天的行为,它变好或变坏都当场红。
+(`seq` 今天连投影白名单都没进 —— §3d 的登记理由是「无消费方」。)
+
+---
+
+### 30e. ⑤ L-215③ assistant 行的身份四键(两铸两不铸)
+
+**病**:`assistantArm` 交给渲染端的 `message` 是**裸** `{role, content}` —— CC `SDKAssistantMessage.message`
+上那四个键(`id` / `model` / `usage` / `stop_reason`)一个都没有,于是壳侧十几处消费面各自**估算**
+(cli 1.0.107 已在壳侧回落 `turn_end` 真值当补丁,本件到货后那条补丁可退役)。
+
+**两铸**
+
+| 键 | 来源 | 缺席语义 |
+|---|---|---|
+| `message.id` | wire 的 `eventId`(core 铸 uuidv7,§E2) | 键不铸。🔴 **绝不现铸随机 v4**:同一条消息在 live 与 durable replay 上必须**同 id**,否则宿主去重与 R8 rewind 会把重放当新消息 |
+| `message.model` | **宿主**开流时钉的 `EmitContext.model` | 键不铸,**绝不猜**(猜错的模型名会被账单/能力面拿去查价表) |
+
+⚠️ `message.id` 与信封自己的 `uuid` 是**两个**身份位:后者是本地渲染键(`stamp` 现铸),前者是引擎身份。
+⚠️ `EmitContext.model` 是**这条流声明的模型**,不是「这一轮真正服务的模型」—— mid-run degrade / 网关
+重路由不改写它(与 `TaskResult.model` 同一条纪律)。要「真正服务的那一个」读终帧的 `model` / `degraded`。
+
+**两不铸(帧序,不是遗漏)**
+
+🔴 wire 顺序是**内容臂先、`turn_end` 后**(sdk 臂注自陈:`text`/`text_delta` 是内容腿,`turn_end` 是
+这一轮的收尾腿,两者不同帧)⇒ assistant 臂发出的那一刻,引擎**还没说**这一轮花了多少、为什么停。
+在那里铸一个数只能是**估算**,而估算正是本件要根治的东西。
+
+**也不采**「`turn_end` 到达时补发一条 CC 形 `assistant` 更新」:CC 的消息面**没有这种形**,合成一条
+会让宿主的转录里出现一条引擎从没发过的消息。
+
+**真值出口 = `turn_usage` 臂的两个超集键**
+
+| 键 | 值 | 缺席语义 |
+|---|---|---|
+| `_sema_last_assistant_usage` | 这一轮的 CC `ModelUsage` 镜像 —— 与 footer 折叠用的是**同一只** `turnEndUsage()` 产物(不铸第二份 ⇒ 两面不会各漂各的) | `turn_end.usage` 整体缺席时**本臂根本不发**(既有行为) |
+| `_sema_stop_reason` | `turn_end.stopReason` **原词**透传(core 归一化后的五词 `stop`/`length`/`toolUse`/`error`/`aborted`;sdk 型面是开放 string ⇒ **按开集读**) | 键不铸(旧引擎不发)。🔴 缺席 ≠ `"stop"` |
+
+**端要做什么**
+
+- **必做**:开流时把模型 id 钉进 `EmitContext.model`,否则 `message.model` 恒缺席(与修前同形,不报错)。
+- 要「这一轮花了多少 / 为什么停」的面改吃 `turn_usage` 的两个新键;**别再等 assistant 行上的 usage**,
+  它按设计不会来。
+- 壳侧自建的估算腿可以整只退役。
+
+**黑盒判据**
+
+- **G30-14**:一条 live run 里每一条 assistant 转录行都带 `message.id`,且**与同 run durable replay 的
+  同一条消息逐字相同**。
+- **G30-15**:宿主钉了模型后,assistant 行 `message.model` 等于它;不钉时该键**不出现**(不是空串)。
+- **G30-16**:assistant 行上**没有** `message.usage` / `message.stop_reason` 两键(任何一条 run、任何一拍)。
+- **G30-17**:一轮被 max_tokens 截断的 turn,其 `turn_usage` 帧 `_sema_stop_reason === "length"`;
+  正常结束时为 `"stop"`;旧引擎上该键**不出现**。
+- **G30-18**:`turn_usage._sema_last_assistant_usage` 的六个 token 位与同 run `last_turn_usage` chrome
+  事件的 `usage` **逐键相等**(两面同源的可观察后果)。
+
+**🔴 两条诚实缺席(异源对抗复审逼出,本节的 additive 之外还有这两件)**
+
+| 情形 | `turn_usage` 臂 | `last_turn_usage` chrome |
+|---|---|---|
+| `turn_end.usageMissing === true` | **不铸**镜像,改铸 `_sema_usage_missing: true` | 同行加 `usageMissing: true` |
+| 真零账(没有 `usageMissing`) | 照铸镜像(全零),判别位不铸 | 不铸判别位 |
+| `usage` 整体缺席但有 `stopReason` | 本臂**照发**(不带 `outputTokens` 键) | 不发(那条腿的 `usage` 是必填位) |
+| 两者都缺席 | 不发(既有行为一字未动) | 不发 |
+
+- **`usageMissing`**:core 的臂注逐字「Consumers must treat the missing usage as UNKNOWN — **not
+  zero**」,而它与 `usage` **可以同帧**。把它剥掉,这条新通道就会把「不知道」渲成一笔全零的**已知**
+  账 —— 与 B-073 的成本 0/缺席是同一条病换了个量。
+- **`stopReason` 不被 usage 的存在性吞掉**:core 会发
+  `{type:'turn_end', usageMissing:true, stopReason:'error'}` 这种合法帧,旧的发臂条件让它整条静默 ⇒
+  「这一轮为什么停」在最需要它的那一刻(出错 / 中止)出不去。🔴 **这是一条有意的行为变更**:此前
+  发 0 条的那一格现在发 1 条;**旧消费者零影响** —— `outputTokens` 读不出时整键不铸,而既有消费者
+  (`adapt` 的 `turnUsageArm`)以 `typeof m.outputTokens === 'number'` 开门 ⇒ 对它是 no-op。
+
+**🔴 身份两位必须穿过第二层投影**(`adapt`)
+
+`adapt` 的五个 assistant 构造点都是**重建** `{role, content}` 的,不接力就把上游铸好的两位原地丢掉
+(异源对抗复审 [high]② 实抓)。现在由 `adapt/ids.ts` 的 `messageIdentityOf(frame, ctx)` 单点接力,
+规矩两条:**`model` 帧优先、ctx 兜底**(live 分段腿的 `stream_event` 锚上没有它);**`id` 只认帧**。
+两处例外**刻意保留且有理由**:
+
+- **tool_use 卡臂只接 `model`,不接 `id`** —— 那条臂铸的是 **per-RESPONSE** 分组键(CC 的
+  grouped-agent 渲染按 `${message.id}:${toolName}` 分组),换成 per-EVENT id 会把一张 Agent 卡拆成 N 张。
+- **终帧补差腿只接 `model`** —— 那条消息的正文是终帧的 `result`,把终帧的 eventId 当成一条 assistant
+  消息的身份,会让宿主把「补差出来的那一段」与终帧本身当成同一条东西。
+
+- **G30-23**:`turn_end{usageMissing:true}` 的那一拍,`turn_usage` 上**没有** `_sema_last_assistant_usage`
+  而有 `_sema_usage_missing === true`;换成同形的**真零账**则相反(两档逐字可分)。
+- **G30-24**:`turn_end{usageMissing:true, stopReason:"error"}` 产出恰一条 `turn_usage`,带
+  `_sema_stop_reason === "error"` 且**没有** `outputTokens` 键。
+- **G30-25**:一条 durable run 的每条 assistant 转录行都带 `message.id`/`message.model`;live 分段腿
+  上 `model` 来自宿主钉的值而 `id` **不出现**。
+
+---
+
+### 30f. ⑥ B-071 `armed` 与 `available` 拆成两个词
+
+**病**:`classifierStatusOf` 读到 `autoMode.armed === true` 就判 `available`。而 core 的
+`WiringManifest.autoMode` 顶注把两件事**明确分开**了:
+
+- `armed` ⇔ `reason === "armed"` —— 「the **classifier decider was minted for this leg**」,一个**装配期**事实;
+- 而「The classifier's **availability is a per-CALL fact**」(core 7.12.0 逐字;下一句还写明
+  「an unavailable round is a deny that says so, and **the next round is classified afresh**」)。
+
+⇒ 拿 `armed` 回答「可用吗」= 用装配期读数回答每次调用的问题。一个武装了的分类器完全可能在某一轮
+跑不了(那一轮是一条 deny),下一轮又好了 —— 这正是 core 说「没有会话级 breaker 面」的理由。
+
+**修**
+
+- `CLASSIFIER_STATUS_STATES`:新增 `armed`(插在 `available` 之前)。⚠️ **与 ⑩ 同批**:`breaker_open`
+  随熔断族退役(§30k②)⇒ 合成后的表是**三词** `armed` / `available` / `unavailable_this_round`。
+- 优先序(承重):**本轮事实**(否定 `classifierUnavailable` ⇒ `unavailable_this_round`;
+  **肯定** `origin === 'denial_limit_fallback'` ⇒ `available`)> 这条腿的 `armed`(⇒ `armed`)>
+  `undefined`(说不出来)。⚠️ 修前那一档「历史熔断记录 ⇒ `breaker_open`」随 ⑩ 整只退役。
+- `classifierStatusDetail` 新增 `armed` **一句**(与 ⑩ 合成后熔断那半句不复存在),与既有各句**逐字互异**,
+  且**不说**「在跑」。
+
+**🔴 为什么 `denial_limit_fallback` 是唯一的正向证据**:core `ask-origin.d.ts` 逐字 ——
+「the auto-mode classifier reached its denial bound and handed the call to a person; **the classifier
+stands BEFORE this ask**」⇒ 这只 ask 的存在本身就证明分类器在这条调用链上跑过。别的 origin 一个都不算,
+而且不是保守起见:
+
+- `org_*` / `hook` / `ask_rule` / `unresolvable` / `content_question` —— core 的 `CLASSIFIER_MAY_ANSWER`
+  表逐行 `false`,分类器**结构上**就不许碰这些 ask ⇒ 它们的存在与分类器跑没跑完全无关;
+- `policy` / `safety_tighten` / `shell_gate_tighten` —— 分类器**可以**答(表里 `true`),但一只**存活到
+  卡上的** ask 恰恰说明这一轮它**没有**把它解决掉:可能是没跑,也可能是跑了判 ask。两种情形在这一格上
+  不可分 ⇒ 拿它判 `available` 就是在猜。
+
+判不出来时正解是回落 `armed`(「武装了,本轮如何不知道」),不冒充 `available`。
+
+**缺席语义**:`autoMode` 段缺席(旧 mint / 外部 derive)**且卡上没有任何本轮事实** ⇒ `undefined`
+(**绝不**折成任何一态);🔴 但**本轮两条臂都不依赖那一段** —— 段缺席而卡上带 `classifierUnavailable`
+仍判 `unavailable_this_round`、带 `denial_limit_fallback` 仍判 `available`(可用性是这次调用的事实,
+不是装配的事实;门 G1d 逐格钉住)。`origin` 读不出 ⇒ 不判 `available`。⚠️ 修前「历史熔断记录在任何
+一态上照带(`view.breaker`)」随 ⑩ 退役(那一位已从 `ClassifierStatusView` 上删掉)。
+
+**端要做什么**:`/doctor` 那一行的词由本包 `classifierStatusDetail` **单铸** ⇒ **端零改即接通新词**。
+自己 `switch` 过 `state` 的端(而不是直接渲那句话)要加 `armed` 一臂;按开集写的端零改。
+
+**黑盒判据**
+
+- **G30-19**:一条 auto 模式武装、本轮没有任何 ask 的会话,`/doctor` 那一行说的是「**armed**」,
+  且**不含**「is running」字样(修前逐字是「the auto-mode classifier is running on this session」)。
+- **G30-20**:同一会话上出现一只 `origin === "denial_limit_fallback"` 的审批卡后,状态读数为 `available`。
+- **G30-21**:同一会话上出现一只 `origin === "policy"` 的审批卡(且卡上无 `classifierUnavailable`),
+  状态读数仍为 `armed` —— **不是** `available`。
+- **G30-22**(不改判):`autoMode` 段缺席**且本轮无任何事实**时状态读数仍是「说不出来」;卡上带
+  `classifierUnavailable` 时仍是 `unavailable_this_round`。⚠️ 原第三条判据「没武装 + 有熔断记录 ⇒
+  `breaker_open`」随 ⑩ 作废(那条腿在这一代引擎上不存在),对位的新判据见 G30-23。
+- **G30-23**(⑥⑩ 合成后的对位判据):一台**旧引擎**仍在 `autoMode` 上带 `breaker` 时 ——
+  ① `armed:true` 的那份读数是 **`armed`**(旧账本不改判这条腿的事实,也不渲任何熔断解释);
+  ② **没武装**的那份读数是「说不出来」(修前会渲 `breaker_open`);
+  ③ 两种情形下 `breaker` 那一位都**一个字节到不了端**(投影白名单;§30k②)。
+
+---
+
+### 30g. 常驻门
+
+| 门 | 守什么 |
+|---|---|
+| `scripts/run-compaction-boundary-projection-test.mjs` | 🆕 ① 三键 + `message_committed` 两面;`clampedRatio` 的 sdk 座位带**退出条件**(补上当天红逼复核 raw 读) |
+| `scripts/run-cost-absence-projection-test.mjs` | 🆕 ②③ 显式 0 ≠ 缺席、两键合读、判别位从不铸 `false`、`cacheCreationInputTokens` 读真值、扁平四格有限数守卫 |
+| `scripts/run-task-progress-terminal-projection-test.mjs` | 🆕 ④ `status` 开集透传 + 终态落行 + **三条不改判** + 幂等 + workflow lane 门在先 |
+| `scripts/run-assistant-arm-identity-test.mjs` | 🆕 ⑤ `id`/`model` 与缺席语义、`usage`/`stop_reason` **不在臂上**的反向钉、`turn_usage` 两超集键 |
+| `scripts/run-classifier-status-test.mjs` | 🆕 **G 段**(⑥):**三词表**(与 ⑩ 合成后)、`armed` ≠ `available`、`denial_limit_fallback` 是唯一正向证据(其余十一词逐词负控)、优先序、措辞**三句互异**;`per-CALL` 那句的 core 7.12.0 逐字锚 —— ⑩ 把 devDep 抬到 `~7.12.0` ⇒ C1 车那条「领先登记」按它自己写的退出条件**当场销账**,换成正向逐字断言 |
+| `scripts/run-integration-doc-freshness-test.mjs` | §3c 臂表(`message_committed` 离表)、`CLASSIFIER_STATUS_STATES` **成员换代**(表长仍 3:删 `breaker_open`、加 `armed`)、本节新增坐标在盘 + 入库 |
+| `scripts/run-public-surface-test.mjs` | ①–⑥ 公面**零新增运行期导出**(全是类型:`SemaModelUsage` / `MessageCommittedChromeEvent`)⇒ 基线由 ⑦–⑩ 单独抬到 **928**(十一件 additive、两件删除,见 §30k) |
+
+---
+
+**⑦–⑩(小节 §30h–§30n):接入审计 B 战役的包侧归层四件**
+
+本半场修的是同一类病:**上游早就说清楚了,而本包这一层要么没读、要么读成了另一件事**。四件各自
+独立,但都落在「判定归包、呈现归端」这条线上 —— 端不该为同一条 wire 各写一份读法。
+
+---
+
+### 30h. B-070 / L-200 `/decide` 的 **200 是投递受理,不是「门已解决」**
+
+**合同(三处逐字)**:
+
+| 出处 | 逐字 |
+|---|---|
+| sdk `README.md` §9.0.0「谁受伤」 | 「workflow 车道的 200 只是**投递受理** —— 子代的 checkpoint 仍 pending,`/v1/approvals` 上那张卡**可能还在**。据 200 立刻把卡从 UI 抹掉,用户会看到一张『批过了却还在』的幽灵卡」 |
+| sdk `README.md` §9.0.0「逐件」 | 成功形 = `{taskId, sessionId, status:"resuming", bindingEnforced:true}`,`taskId` 是**宿主新铸**的 run id(**poll 它,不要盯那张卡**) |
+| core `runner/contracts.d.ts:1492` | 那一步 **launches the run that re-invokes** |
+| core `checkpoint-store.d.ts:1785` / sdk `types.d.ts:3812` | `executionOutcome` 缺席 = **the execution outcome is not known, never "it was allowed"** |
+
+**病与修(三格)**:
+
+| # | 病(修前坐标) | 修 |
+|---|---|---|
+| ① | `hitl/hitlBridge.ts` 的 `decideRaw`:`approvals.decide` 一回 200 就 `this.active = null` —— 而**同一行上方的注释**自己写着「the gate clears on the next running arm」,注释与码互相矛盾 | 删掉那一行。`active` 由 `observe()` 在**流上的下一条 running 臂 / 终态臂**上清(那条腿修前就在,本批没有新增任何清除路径)。⚠️ 射程如实说:`active` 只在宿主真驱动 `observe()` 时 latch,两处生产调用点都不驱动 ⇒ 现实效果 = 对已驱动 observe 的宿主(desktop/web 座位层)不再谎报「门没了」,不驱动的宿主**逐字节不变** |
+| ② | `hitl/parkResolver.ts:629/677` 的重挂腿恒用**原** `taskId` 重挂 `runs.events` —— workflow 车道已经把续跑交给**宿主新铸**的 run,旧流上再也不会有推进帧 ⇒ 预算一路烧到 hop 上限,终帧是一句与真因无关的话 | 新增 `ParkResolution.handoffTaskId`(两条 reattach 臂都带)。判据是**两件合取**:回执 `status === "resuming"` ∧ 非空 `taskId`(判在 `readDecideReceipt`),**再加**「与当前 taskId 不同」(判在 `resolvePark`)—— 少了后者,任务级车道的受理形回执会被当成换挂而白白丢掉 `lastEventId`。`askGateWire` 收到它就换挂,并 **同时丢 `lastEventId` + `led.forgetSeq()`**:durable seq 是 **per-run** 的,拿旧 run 的序号去续读新 run 是跨命名空间取数 |
+| ③ | `executionOutcome` 在本包**零消费**;三条新码(`decide.workflow_host_unknown` / `_host_not_parked` / `_remember_unsupported`)**零消费** | 新模块 `src/decideReceipt.ts`:`readDecideReceipt()` 读 200 的四种形(受理 / 终局 / parked 回执 / 幂等回放),`executionOutcome` 走 **`gateOutcome.ts` 的同一只读器**(包回 `{gate: …}` 的形喂进去,不在这里另写一份门记录读法);三码入 `engineErrorCodes.ts` 的闭集 `DECIDE_WORKFLOW_LANE_CODES`,`decideRefusalFromError()` 各给**一句人话**(单铸,端零自拼)+ 一个 `resendable` 处置位 |
+
+🔴 **`executionOutcome` 的消费纪律(端必读)**:它**只在幂等回放形上**;`decision` 说的是「人批了没有」,
+它说的是「执行时被放行还是被部署复核在 post-CAS 否掉」,**两者可以相反**。**缺席 = 未知**(判词还没落上 /
+记录读不懂 / 命中行之间分歧)—— 🔴 **禁读成 allowed**。卡上「这次到底执行了没有」那一行:**在场才说**,
+缺席一个字都不说。
+
+🔴 **本包刻意**不提供 `isDecideResolved()`:不存在任何一位能从 200 体上读出「门已解决」。给的是方向相反的
+`decideAcceptedNotResolved()` —— 它答的是「这个 200 **明说**了续跑还没做完吗」,`false` **也不是**「已解决」。
+解决的证据只有一处:**流上的下一条 running 臂 / 新 run 的事件**。
+
+🔴 **三码各自的出路刻意不同**(合并判就会把「重发没用」与「等一会儿重发」说成同一件事):
+`host_unknown`(409)= **无重试价值**(`resendable:false`);`host_not_parked`(409)= 等宿主再 park 后重发;
+`remember_unsupported`(400)= **去掉 `remember` 重发**,零副作用。
+⚠️ 三码**都不带窗**:server 只在 `RESUME_RETRY_LATER_CODES` 那两码上铸 `retryAfterSec` ⇒ 端**不许**据
+`resendable` 渲一个编出来的倒计时。
+⚠️ `DecideRefusalDetail.runId` 与拒体的 `taskId` 是**两个句柄位**,「各自只在自己那条车道上在场,按
+`.errorCode` 分,**不要互相回落**」(sdk README §9.0.0 逐字)—— 读不出就缺席,绝不拿手上的 taskId 顶上去。
+
+---
+
+### 30i. B-078 / L-208 `approval_request` / `approval_revoke` 两条 **chrome 臂**(归层修)
+
+**病**:标准管线 `adapter/downstream/eventToSdkMessage.ts` 对这两臂的处置是 `dropped('unsupported_arm')`
+—— 有痕,但**包内零消费口**。壳(cli)于是在自己的 `sema-cli/src/sema/approvalStreamWire.ts:1030/1500` 单独接了一份,
+而 desktop / web **只走包管线** ⇒ ①开流 preamble 恢复不了 pending 卡集、②撤销后本地卡不清。
+同一条 wire 上的同一件事,一个端有、两个端没有 —— 归层违例。
+
+**修**:两臂投成 chrome 事件 `kind:'approval_request'` / `'approval_revoke'`,载荷 = **帧原样窄读**。
+消费义务写在 `seam.ts` 的 `ApprovalRequestChromeEvent` / `ApprovalRevokeChromeEvent` 两个接口头注里
+(那是端要读的那一份),并登记进 `CHROME_ARM_TABLE`,两条都是 **`required: true`**。
+
+🔴 **载荷是信封,不是 v1 卡**(sdk `events.d.ts:961-968` 当场挡下来的那条):sdk 把这两臂声明成
+`ApprovalFrameEnvelope`(`type` + `schemaVersion: number` + 开集键)而**不是** v1 帧型 —— SSE 解析腿只做
+`JSON.parse(...) as AgentEvent`、**不跑**谓词,臂若窄化到 v1,一条 `schemaVersion: 2` 的合法帧会被类型
+系统当成 v1 端上来,消费端于是去取 `card.risk.requiresRealApproval`,而未知版本的卡根本不保证有这些键。
+⇒ 包只做**信封级**成形判(`schemaVersion` 是不是有限数 / `frame` 是不是对象),窄化
+(`isApprovalRequestFrameV1` / `isApprovalRevokeFrameV1`)是**端**的动作;窄不下来 ⇒ **呈通用卡 + 人工
+approve/deny,🔴 永不 auto-deny**(呈卡臂)/ **该批本地卡照清**(撤卡臂)。
+
+🔴 **包不做去重/归属过滤**:`approvalId` 去重(同一只 ask 在开关打开时出两帧,顺序钉死「先 legacy、后
+本帧」)、按 `taskId` 归属(晚入分发集合的 run 账本可出现**无配对卡帧的孤儿撤帧行**)、开流 preamble 全量
+对账 —— 三件都需要**端的卡集状态**,库这一层没有也不该有。
+🔴 **账本重放的帧只用于时间线渲染,不是卡集基准**(呈卡帧带的 `expiresInMs` 是铸帧时刻的旧值;撤卡帧
+**可能整帧丢失** —— 帧是通知,行才是真源)。卡集的全量对账基准恒为**开流 preamble**。
+🔴 **刻意没有子流断闸**(与 `engine_notice` / `text_segment_end` 三臂相反,这是有理由的差别):那几条断闸挡
+的是「把子代腿的东西渲到 leader 面上」;而审批卡**必须**上到人面前 —— 一张属于子代调用的卡也要人来点,
+断掉它等于把那条 run 挂死在没人看得见的地方。归属由端按帧上的 `taskId` **过滤**,不是**丢弃**。
+
+---
+
+### 30j. L-215①② fleet `parked` 与「非成功终局」的**单铸谓词**
+
+**①`coerceWorkflowStatus` 认 `parked`**(`src/fleet/fleetProjection.ts`)。修前没有这个 `case` ⇒ 它落
+`default` 被折成 `running`:fleet 车道上一条**停着等人**的工作流被渲成「在跑」,用户没有任何线索去找那张卡。
+现与 `coerceTaskStatus` 的 `parked` 臂**同一个落点** `awaiting approval`(同一件事在两条车道上必须渲同一个词)。
+
+🔴 **选形理由(直接加词,不铸 `_sema_parked` 超集键)**:判据是 sdk 那一位**在型面上开不开**,不是「它今天
+有几个已知值」。`FleetWorkflowRow.status` 在 sdk 8.8.0 与 9.0.0 上**都**声明成裸 `string`
+(`dist/resources/fleet.d.ts`,头注逐字「the NEUTRAL workflow run status (`running`|`completed`|`failed`),
+**open on read**」)—— **它不是闭集**,新词在 wire 上、在型面上都合法,消费端要做的就是认它。此时再加一个
+`_sema_` 前缀的孪生布尔 = 替一件上游已经能说清楚的事另铸第二个真源,而两个真源迟早分叉。超集键留给
+「上游那一位真是闭集、加词会让严格消费端判违约」的那一类,这里不是。
+⚠️ 本函数同时收 run 席与 item 席:core 的两张词表里 `parked` 只在 item 席,但**渲染面的处置相同**(都是
+「等人」),为「哪一席」分叉只会长出一条没有用户面差别的分支。
+
+**②「非成功终局」的单铸谓词**(`src/runTerminal.ts` 新增):
+
+```ts
+export const TERMINAL_NOT_SUCCESS_STATUSES = ['failed', 'killed', 'blocked']  // 闭集
+export function isTerminalNotSuccess(status: unknown): boolean
+export const TERMINAL_STATUSES = ['completed', ...TERMINAL_NOT_SUCCESS_STATUSES]
+export function isTerminalStatus(status: unknown): boolean
+```
+
+🔴 **`blocked` 与 `suspended`/`needs_review` 的分界是这张表存在的全部理由**(core [6908] 定谳):
+`blocked` = **agent 自报的终态**(它自己判定这条 run 走不下去了),**不是「等人」**;
+`suspended` / `needs_review` = **等一次人的决定**,run 还活着 —— 把它们读成「非成功终局」会把一条**正等着你**
+的 run 在面板上判死,与本件要修的方向相反的同一类错。
+
+**同形存量族扫(三处,一次改齐)**:
+
+| 坐标 | 修前 | 后果 |
+|---|---|---|
+| `notifications.ts` 的 bg 面板 settle | `isError: n.status === 'failed' \|\| n.status === 'killed'` | 一条**自报走不下去**的后台 run 在面板上被 settle 成**成功** |
+| `fleetAgentPanelProjection.ts` 的同名位 | 同上(内联两词) | ⚠️ **射程如实说**:这一处今天是**单源化**而不是活的修复 —— 它的收口判据在外层 `TERMINAL_FLEET_TASK_STATUSES.has(status)` 之内,而喂进来的 `status` 是 `coerceTaskStatus` 出来的**渲染词汇**(闭集,没有 `blocked`)⇒ `blocked` 结构上到不了这一格。改它的价值是「下一次加词时不会再漏一处」,不是「今天修好了一条路」 |
+| `notifications.ts` 的通知 seed 扫描 / `adapt/arms.ts` 的 bgshell settle 门 | 手抄 `completed\|failed\|killed` 三词 | 一条 `blocked` 通知不进 `notifiedKeys`(重开会话再投一次);一条 `blocked` 的后台行**永远不 settle**(面板上挂着一条不会再动的「在跑」)。⚠️ 边界:`adapt/arms.ts` 那一格读的是 `normalizeTaskNotification` **归一后**的 `status`,而那只归一器对**非串**状态(缺席 / `null` / 数字)按既有的调用方契约回填成 `completed` ⇒ 那三形今天仍以「成功」收口。这是**修前就在**的一处诚实性缺口(与本件的 `blocked` 无关,谓词对 `undefined` 照旧答 `false`),**本批刻意不动它** —— 去掉那条回填是行为面改动、且与该函数写明的调用方契约冲突,另立一批;见 §30m 的消费方待办第 8 行 |
+
+🔴 **`false` 不等于「成功」**:两只谓词对表外词答 `false`,那只说「这个词不在本端认得的表里」。判「成功」
+必须读成功那一侧的正向证据(`readRunTerminal` 的 `completed` 臂),**不能拿本谓词的取反当成功判据** ——
+那正是「不认识的终态词折成成功」那条已定谳的事故形。
+
+---
+
+### 30k. B-080 / L-210 闭集镜像过期族(devDep 随引擎 + 熔断族退役 + AskOrigin 三句订正)
+
+**①`devDep @sema-agent/core` `~7.10.0` → `~7.12.0`**。所有「镜像 vs 实装 core」的门此前都在**对旧物校**
+(7.11 / 7.12 的三张闭集变动整批漏过)。抬版后**逐条处置**见 §30n 的门表。
+
+**②熔断族整只退役(clean-cut,不留别名、不留兼容读)**。合同 = core 7.12.0 CHANGELOG
+「Removed (BREAKING)」`AUTO_MODE_BREAKER_CAUSES` / `WiringManifest.autoMode.breaker`,
+`AUTO_MODE_UNAVAILABLE_CAUSES` 同批收成 `["error","timeout"]`(`dist/core/auto-mode.d.ts:9` 真字节);
+server 7.70.0([6927])读面同批收窄。
+
+| 退役物 | 修前坐标 |
+|---|---|
+| `breaker_open` 这个**成因词** | `autoModeUnavailable.ts` 的 `AUTO_MODE_UNAVAILABLE_CAUSES` 与 `CAUSE_SENTENCES` |
+| `AUTO_MODE_BREAKER_CAUSES` / `ClassifierBreakerView` / `classifierBreakerOf` | `autoModeUnavailable.ts`(公面三件) |
+| `breaker?: ClassifierBreakerView` 型位 + 它的窄读 | `adapter/downstream/eventToSdkMessage.ts` 的 `WiringManifestAutoMode` 与 `projectAutoModeSection` |
+| `breaker_open` **状态词** + `ClassifierStatusView.breaker` + `BREAKER_CAUSE_PHRASES` + 两句熔断人话 | `classifierStatus.ts`(删这一态;与 §30f 的 `armed` 同批合成后是**三态**) |
+
+⚠️ **如实登记一句被推翻的旧承诺**:0.64.0 的 `classifierStatus.ts` 顶注写过「上游若把 `breaker` 退役,
+本模块**零改**(缺席臂当天就是正解)」。那句话对**读数**成立(读不到就是没有),对**词表与型面**不成立 ——
+`CLASSIFIER_STATUS_STATES` 里 `breaker_open` 那个成员与 `ClassifierStatusView.breaker` 仍在公面上承诺着一件上游已经不发
+的事,`/doctor` 的 Auto classifier 行因此**永远渲不出那一态**而它还写在表里(假 affordance)。本批因此不是
+「零改」,是**按退役条款把承诺一起收掉**。
+
+⚠️ **`parse_error` 的排除行为一字未变**(黑盒判据 G-19 照旧成立),但**派生的出处换了**:修前它是
+「熔断轴 − 不可用轴」的**差集**,而 core 7.12.0 删掉熔断表之后那条派生的右操作数不存在了。排除的**理由**
+从头到尾都不在熔断轴上 —— core `AutoModeVerdict` 的 `parse_error` 臂逐字是「分类器**跑了并且答了**,只是
+答在契约之外,按 BLOCK 处置」。现按理由的真出处直写一张单员表 `NEVER_STAMPED_CAUSES`。
+
+⚠️ **旧引擎发来的 `breaker_open` 仍照旧过境**(`cause` 的开集读一个字节没动),只是走
+`classifierUnavailableDetail` 的兜底句、不再冒充一句本端自铸的熔断解释。
+
+**③AskOrigin 三句订正**(`gateVocabulary.ts`;合同 = core `dist/core/ask-origin.d.ts` 真字节):
+
+| 词 | 修前(漂开了上游) | 修后 | 出处 |
+|---|---|---|---|
+| `unresolvable` | 「the gate could not decide on its own, so it asks」(渲成「门拿不定主意」⇒ 用户去找一个不存在的「让门自己拿主意」的配置) | 「an ancestor marked this call (an inherited approver-unavailable float, or a durable mandate): it must reach the park with no synchronous decision-maker in between」 | `ask-origin.d.ts:36-38` |
+| `shell_gate_tighten` | 「asks about **every** shell command at this gate setting」(过度陈述 ⇒ 用户以为旋钮只有开/关两档) | 「asks about shell commands the coarse shell gate rates **above this tier**」 | `ask-origin.d.ts:58-59` |
+| `rule_store_unavailable` | 固定句「the rule store was unavailable」(而这个词盖的是**两种机制**) | 中性定义句「this call could not be checked against your standing deny/ask rules, so it asks」+ **引擎 `message` 优先** | `ask-origin.d.ts:44-51` + core CHANGELOG 7.9.1 逐字「a card that hard-codes store wording for the origin should read the message」 |
+
+`askOriginDetail(origin, message?)` 新增 **additive 第二参**:**只在** `ORIGIN_PREFERS_ENGINE_MESSAGE`
+(闭集,今天单员 `rule_store_unavailable`)的词上优先,其余词一字不读。缺席 / 非串 / 空白串 ⇒ 行为与本参
+出现之前**逐字节相同**。
+🔴 **不是「有 message 就用 message」**:绝大多数出身词的那一句是**定义句**(对每一只同出身的 ask 都成立),
+而引擎的 `message` 是**这一只**调用的散文 —— 无差别地顶掉定义句会把「谁问的」换成「引擎这一次写了什么」。
+本集只收**一个词盖了多种机制**的那一类。
+🔴 `message` 是引擎/工具产文:**只渲不回喂模型**;本铸点**不截断不改写**它,显示封顶归端。
+
+⚠️ **`unresolvable` → `ancestor_marked` 的换字不在本批**(随 core 7.14.0 到货批);`ASK_ORIGIN_WORDS`
+与 core `ASK_ORIGINS` 的逐字同源门照跑,本批只改那一句人话。
+
+---
+
+### 30l. ⚠️ 订正:`classifierUnavailable` 的**两条腿枚不枚举,是两件事**(§29e 的射程收窄)
+
+§29e 与 §27h2 写过「集外成因词**逐字上 wire**」。亲核后如实收窄:**那句话只对活卡帧腿成立**。
+
+| 腿 | 枚不枚举 | 直证 |
+|---|---|---|
+| **活卡帧 / `card_json`**(`approval_request` 呈卡帧、落库、断连重放) | **不枚举**,只判非空串形门 | server `sema-server/src/approval-card.ts:554` `z.object({ cause: z.string().min(1).max(MAX_IDENT) }).strict()`;同处顶注逐字「本仓**刻意不枚举**它 … 判据只到『非空串』这一层形门」 |
+| **耐久腿**(`GET /v1/assistant/inbox` 行 / durable park 行) | **按 core 枚举,集外词缺席** | core `dist/core/checkpoint-store.js:281` `isAutoModeUnavailableCause(tool.classifierUnavailable?.cause) ? { classifierUnavailable: { cause } } : {}`;server `sema-server/src/http/routes/approvals-assistant.ts:434-435` 逐字「值**完全由 core 供**(`summarizeCheckpoint` 只在 `isAutoModeUnavailableCause` 成员时回显,**集外词读作缺席**)⇒ server 不重算、不再筛第二遍」 |
+
+**对本包的影响(零行为改动,只改文档口径)**:`classifierUnavailableOf` 的**开集透传语义一个字节不变**
+(它读的是**送到它手上**的那一格,不管那一格是哪条腿供的)。要改的是**期望**:
+
+- 🔴 **耐久腿上的集外成因词到不了本包** —— 它在 core 的投影口就被读作缺席。所以端在 inbox / park 行上
+  **看不到新成因词**不是本包吞了,也不是「分类器没出问题」,是**上游那条腿按闭集筛过**;
+- 🔴 **两腿因此可能对同一次不可用给出不同的在场性**:活卡帧上有 `cause:"<新词>"`,而同一只 ask park 之后
+  的行上**整键缺席**。这**不是**矛盾,是两条腿的筛法不同 —— 端**不许**据此推断「park 之后分类器就好了」;
+- ⚠️ 本包 §29b 那条「两腿同值反向对照」的门段仍然成立:它对的是**同一个已知成因词**走两条腿(闭集内),
+  而不是集外词。
+
+⚠️ 本条也把 §30k② 的退役说清楚了:`breaker_open` 在 core 7.12.0 之后**两条腿都到不了**(耐久腿被
+`isAutoModeUnavailableCause` 筛掉,活卡帧腿虽不枚举但 server 7.70.0 的读面已不再产它)——
+这正是本包可以**干净切**掉那个词的自铸解释句、而不必留兼容读的原因。
+
+---
+
+### 30m. 消费方待办
+
+**cli(换装 0.65.x 后应退役 / 应跟改)**:
+
+| # | 坐标 | 动作 |
+|---|---|---|
+| 1 | `sema-cli/src/sema/approvalStreamWire.ts:1030`(`if (t === 'approval_request')` 整段:`laneEngaged()` 让位臂 + `track(onApprovalRequest(...))` + `continue // 消费:绝不下游`) | **退役**:改由包管线的 chrome `approval_request` 臂驱动同一套卡口。注释里那句「client-core 投影器对它只有 dropped 一条路」**已过期**,同批删 |
+| 2 | `sema-cli/src/sema/approvalStreamWire.ts:1040-1045`(`if (t === 'approval_revoke')` 让位臂 + `onApprovalRevoke(ev)`)与 `:1485-1515` 的撤卡消费体(`retractApprovalCard` / `abort` / `notify` 归因行) | **归口**:撤卡的**判定**(窄化 / 按 `askIds` 挑键 / 零命中不多说归因行)已在包臂契约里;壳保留的是**呈现**(卡口 retract + 归因行渲染),不再自己认帧 |
+| 3 | `sema-cli/src/sema/askParkExpiry.ts:757-770`(任何 200 判 `resumed`) | **跟改**:200 只是投递受理;判「解决」改看下一条 running 臂 / 新 run 事件,或读包的 `readDecideReceipt().handoffTaskId` |
+| 4 | `sema-cli/src/sema/liveClient.ts` 的 bg 白名单(与包 `isError` 表的耦合反钉在 `a81e708d`) | **同批消费** `isTerminalNotSuccess` —— 🔴 **包一改壳当场红**(那正是反钉的用意);别在壳里补第二张三词表 |
+| 5 | `commands/doctor/axesRows.ts:458+`(Auto classifier 行的三态)/ `wiringManifestStore.ts:159`(`autoMode.breaker` 读点) | **退役**熔断那一态与那个读点(`breaker` 型位已删 ⇒ 壳侧读点编译红);同批**新增 `armed` 一臂**(§30f,词表仍是三词,成员换了一个) |
+| 6 | `askFrameNotes` 的 `QUIET_ASK_ORIGINS`(把 `unresolvable` 静音) | **复核**:修后那一句说的是「祖先标记 + 必达 park」,是**用户要知道**的事实,静音的理由(「门拿不定主意=废话」)已随旧句作废 |
+| 7 | 卡面「这次到底执行了没有」那一行 | **新增**(可选):读 `FsApprovalOutcome.receipt?.executionOutcome`;🔴 **缺席一个字都不说**,禁渲 allowed |
+| 8 | 📋 **本批登记、不修**:`normalizeTaskNotification`(`src/notifications.ts`)把**非串** `status`(缺席 / `null` / 数字)回填成 `completed` ⇒ 一条状态读不出的后台通知以「成功」收口 | 这是修前就在的诚实性缺口(异源复审 [medium] 撞获),与本件的 `blocked` 无关。去掉回填是行为面改动、且与该函数头注写明的**调用方契约**冲突(「本纯函数不做回填……落 adapt() 时必须先补齐这两个字段」)⇒ **另立一批**:要么让归一器保留未知状态、要么在 adapt 入口按原始状态判。本批只把它记在这里 |
+| 9 | 📋 **本批登记、不修**:`coerceTaskStatus('blocked')` 落 `default` ⇒ 渲成 `idle` | fleet **task** 行的 `status` 来自 sdk 的**闭集** `FleetTaskStatus`(没有 `blocked`),所以今天结构上到不了;但 run 级的 `blocked` 若哪天进了那条车道,`idle` 是一个**中性**词而不是失败词。属 B-079① 的地界(cli `seamQuery` 那一侧),本批不越界 |
+
+**desktop / web 自查点**:
+
+| # | 自查 |
+|---|---|
+| 1 | `CHROME_ARM_TABLE` 新增两条 **`required: true`** 的臂 —— 座位层自检遍历那张表时会**当天报缺**;不实现 = 流内审批卡整面哑掉(重连后 pending 卡恢复不了 / 撤销后卡不清) |
+| 2 | 实现时**不许**把 `frame` 直接当 v1 卡读:必须过 sdk 的两个窄化谓词;窄不下来 ⇒ 通用卡 + 人工决断,**永不 auto-deny** |
+| 3 | `ClassifierStatusView.breaker` 与 `classifierBreakerOf` **已删** ⇒ 读过它们的地方编译红,删读点即可(状态面自然回落到 §30f 的三态) |
+| 4 | fleet 行 `status` 现在可能是 `awaiting approval`(由 `parked` 折来)—— 渲染表若按旧三词穷举,补这一格 |
+
+---
+
+### 30n. 常驻门(⑦–⑩ 四件)
+
+| 门 | 守什么 |
+|---|---|
+| `scripts/run-decide-receipt-test.mjs` | 🆕(B-070):四种 200 形的读数 / `handoffTaskId` 的**两件合取**判据(少一件即不铸)/ `executionOutcome` 走 `gateOutcome` 同一只读器且**缺席 ⇒ `undefined` 而不是 allowed** / 三码闭集各自一句互异人话 + `resendable` 三值 / 表外 `decide.*` 码一律 `null`(绝不按前缀猜)/ `runId` 读不出即缺席(不拿 taskId 顶)/ 🆕 **G 段**(异源复审 [high] 的回归钉):换挂那一拍 `led.forgetRunScopedState()` 把**跟着 run 走**的三张表(已渲 call 集 + 两张 args 快照)连同 seq 一起清掉,而「这一只 ask 的历史」(已决身份 / 扣留帧 / 同因计数)刻意留着 —— 病形自证在门里:不清的话,新 run 复用同一个 `toolCallId` 会被渲染闸挡住,于是卡面渲**旧 run 的入参**而 decide 回显**新 pending 行**的 D-1 绑定(人看见 A、批准的是 B) |
+| `scripts/run-approval-frame-chrome-arms-test.mjs` | 🆕(B-078):两臂不再 `dropped` / 载荷是**信封原样**(v1 与非 v1 两形都过境、键一个不摘)/ `schemaVersion` 非有限数 ⇒ `dropped('malformed')` 而不是静默 `none` / `CHROME_ARM_TABLE` 两行 `required: true` / 端到端(AgentEvent → chrome 事件)/ 反向判别力自证 |
+| `scripts/run-terminal-status-vocabulary-test.mjs` | 🆕(L-215①②):`coerceWorkflowStatus('parked') === 'awaiting approval'` 且与 `coerceTaskStatus` 同落点 / 两只谓词的闭集成员与**非成员**(尤其 `suspended`/`needs_review` **不在**表里)/ 三处同形存量**零内联两词**的源码扫描(族扫反钉:再内联一处当天红) |
+| `scripts/run-retired-vocabulary-census-test.mjs` | 🆕(B-080②):`src/` 全树对熔断族四个符号 + `breaker_open` 词的**代码位置**零命中(注释里的退役说明不算数,剥注释后扫)—— clean-cut 的反钉:任何人补一条兼容别名当天红 |
+| `scripts/run-auto-mode-unavailable-test.mjs` | 🔁 随 core 7.12.0 改口:成因表**两词**双向等值;熔断表与它的镜像**整段删除**;排除集从「差集派生」改成「单员表 + 出处」,`parse_error` 判缺席的**行为**逐字不变(判别力自证照旧) |
+| `scripts/run-classifier-status-test.mjs` | 🔁 删 `breaker_open` 一态、熔断记录相关段整段删除;与 §30f 的 `armed` 合成后是**三态**;新增「表外态(含已退役的 `breaker_open`)渲兜底句不冒充三句里的任何一句」的负控 |
+| `scripts/run-gate-vocabulary-test.mjs` | 🔁 三句订正后的逐字断言 + `message` 让位臂的**四格**(让位词 × 有/无 message、非让位词有 message 时**一字不读**);D2 uplift 锚按 §30n 的处置改口(见下) |
+| `scripts/run-public-surface-test.mjs` | 🔁 公面导出基线(熔断三件删除、本批新增件登记;精确集合双向门) |
+| `scripts/run-client-core-typeshape-test.mjs` | 🔁 `unknown` 出境棘轮随 `classifierBreakerOf` 删除 / 新读器新增**逐件**记账 |
+| `scripts/run-integration-doc-freshness-test.mjs` | 🔁 本节新增坐标在盘 + 入库 |
+
+**D2 uplift 锚的处置(devDep 抬版后当场红的那一条)**:`run-gate-vocabulary-test.mjs` 的 `D2` 断言
+「core 的 `DECISION_REASONS` 尚无 `read_only`」—— core 7.11.0 起真有了(现 11 词),所以它按设计红了。
+处置**不是**删锚:D1(sdk 端仍无 `read_only`)**继续守着**,D2 改成**两侧断言** ——
+①core 侧已到货(它若又消失,说明镜像口径错了,照样红);②本包**没有** `DecisionReason` 的措辞面
+(源码扫描零铸点)⇒ 加词对本包**零落点**。归属登记:**候 sdk 镜像**(D1 是它的到货哨兵);
+哪天 sdk 镜像了,D1 红 ⇒ 那一批同时铸措辞表并把 D2 退役。
+