@sema-agent/client-core 0.89.0 → 0.90.0

package/CHANGELOG.md

@@ -49,6 +49,110 @@
 > 挡住 ⇒ 本批把它机械化——④a0 对 `pending` 行**要求段头已是日期形**(`(未发布)` 直接红),阶段一
 > commit 漏转在发布前就红,不再靠人记。
 
+## 0.90.0(2026-10-04)
+
+> 主题:引擎 7.40 / 服务端 7.113 / sdk 16 探针换钉提货 · `settings.permissions` 三桶装配口与 allow 桶的能力位门控 · 文件历史一句的五态判定与声明事实账本 · hooks matcher 工具别名读口 · 机读支持底线与引擎版本三态 · 投递账本两只绑定方法 · 云控制面子路径入口五名转口。
+
+### Removed
+
+- **通告事实读器 `readLegacyModeSeedMigrated` 与具名型 `LegacyModeSeedMigratedFactsView` 退出根入口**(CC-291;🔴 型面 BREAKING;接入文档 **§116 EN-1 … EN-3**;根公面运行期导出 −1,本版合计见 Added「公面合计」)。引擎 7.39.0 删掉了「7.34.0 之前写下的停泊行读一次并迁成 `permissionMode`」那条一次性迁移,通告码 `resume.legacy_mode_seed_migrated` 随之退出引擎码册(86 → 85):`ENGINE_NOTICE_CODES` / `ENGINE_NOTICE_AUDIENCE` 各少一项,`EngineNoticeFactsCode` 少一员(对它穷举的 `switch` 里写了这一码的分支编译期红),`readEngineNoticeFacts` 的派发表少一行。老引擎(< 7.39.0)续跑 7.34.0 之前写下的停泊行时仍可能发这一码:按册外码处置 —— `engineNoticeInCatalog` 答 `false`、`readEngineNoticeFacts` 答 `undefined`、`noticeAudienceOf` 照旧答 `operator`(册外码的保守缺省,与它在册时的受众同值);端走册外兜底、渲引擎给的 `message`(KL-411)。四端产品源码零具名 import。
+- **请求键 `attachments.planModeReminder` 退役**(CC-291;🔴 型面 BREAKING;**§116 SV-1**):引擎 7.39.0 起 plan 姿态由引擎在 `permissionMode: "plan"` 的运行里自己陈述,服务端 7.113.0 起带这一键(任何值)的提交即 `400 request.field_invalid`,sdk 16 型面已删。`ATTACHMENTS_SPEC_KEYS` 10 → 9,`AttachmentsSpec` 少 `planModeReminder?`,`SEMA_ATTACHMENTS=full` 点满的 literal-true 族 7 员 → 6 员。显式点名它(`planModeReminder` / `+planModeReminder` / `-planModeReminder` / 夹在多 token 里 / 单 token / 大小写变体)⇒ `attachmentsForRequest` 抛,句子点名「已退役」与出路(要 plan 姿态发 `permissionMode: "plan"`);宿主手写的 `attachments` 对象点名这一键(任何大小写 / 前后空白 / `+` `-` 前缀 / `=值` 尾)⇒ `buildTaskRequest` 抛 `TypeError`(与这一装配口其余入参拒同型;两处同一条点名规则;此前原样上 wire),只在带 `attachments` 的车道(`live: true` 的交互 / print 两车道)判;句子按「键」措辞,理由只写真的那一半 —— 精确键 `planModeReminder` 上 wire 会被服务端 ≥7.113.0 整发 400,别的拼写服务端不认、会忽略,本包从严拒(显式点名退役键的宿主多半以为它还管用);值为 `undefined` 的**数据属性**按缺席(JSON 序列化本来就丢它,上一版这样的体照发照过):不抛、请求体上不带这一键;例外:这一键是**取值器**(哪怕它答 `undefined`)⇒ 抛 `TypeError` —— 取值器在序列化时才跑,本口判不出它答什么(0.89.0 对取值器答 `undefined` 的那一形发出 `{"attachments":{}}`)。env 口按「不认识的键」处置,但比普通未登记词更响(单 token 的普通未登记词仍按历史契约回落默认对;一个必被服务端 400 的键不能静默降成默认对)。老部署(服务端 < 7.113.0 且引擎 < 7.39.0)升级后少了显式开 plan 提醒的那一键(KL-409)。**不升级的话**,服务端 ≥7.113.0 上 `SEMA_ATTACHMENTS=full` 的每一发都是 400。
+
+### Added
+
+- **云控制面子路径入口 `@sema-agent/client-core/registry` 转入登录 / 令牌轮换 / scope 列举与切换五名**(CC-136;接入文档 **§116 RG-1 … RG-6**):`requestDeviceCode`(设备码申请)/ `pollUntilApproved`(轮询到批准)/ `refreshTokens`(令牌轮换)/ `listScopes`(scope 列举)/ `switchScope`(scope 切换)—— 与已转的十个值同一转口形:**只转不包、不改签名、不吞错**,与 `@sema-agent/sdk/registry` 的同名导出是**同一函数对象**(不是「长得一样的另一份」)。子路径入口值级 10 → 15(15 个值 + 2 个型);**根入口零变化**(这一面不进根 barrel,根公面运行期导出不因本项变化)。peer 地板 `@sema-agent/sdk >=12.0.1` 不抬:五名在 12.0.1 / 15.3.0 / 16.0.0 三代上都在,它们的签名型由上游声明自带(声明文件出发的相对 import 闭包零裸说明符),干净安装树上 `skipLibCheck: false` 不产生 `Cannot find module`。此前这五名在接入文档 §86 R-3 记为 declined / pending(签名型曾来自上游未随包安装的声明包),该行自本版起作废(**§116 116r**)。令牌存储仍归宿主(`TokenProvider` 由宿主实现);同入口的 `logoutRegistry`、`InMemoryTokenProvider`、管理面类等邻名仍不转。本入口不转五名的响应型别名(`DeviceCodeResponse` / `TokenGrantResponse` / `ScopesListResponse` / `ScopeSwitchResponse`),要具名型的端取 `Awaited<ReturnType<typeof 函数名>>` 或契约包的同名型。缺席语义:上游少了其中任一名 ⇒ 本包构建期 `export … from` 编译红、常驻门红(不是跳过,不会运行期静默 `undefined`)。端上要动的:原直连 `@sema-agent/sdk/registry` 取这五名的 import 落点改到本入口(**116d**)。
+- **`UserInputUndrainedFactsView.childSessionId?`**(CC-291;**§116 EN-4**;KL-364 销):引擎 7.39.0 起,子代 run 收场时没用上的用户输入在**父会话**里再说一条副本帧(`detail` 带 `childSessionId`,`sessionId` / `taskId` 是父的,无 `runId`)。`readUserInputUndrained` 对两码都读这一位(自有非空串才交;缺席 = 这一条不是子代副本,不补;坏形 / 取值器抛 / 只在原型链上只丢这一位);`userInputUndrainedNotice(facts)` 的入参 `Pick` 多收这一位,对确定的两形(steer × `leg_end` / follow-up)多说「在一个子代的 run 里」—— `N messages you sent while the run was in progress were not used before a sub-agent's run ended and will not be delivered. Send them again if you still need them.` / `N follow-up messages you queued were not used before a sub-agent's run ended …`,不带任何 id;`crashed` / 表外 `cause` 上带这一位不改句。子代副本与子代自己那一帧是两帧,本包不合并、不跨帧去重(KL-410)。
+- **`AllowDenyPolicyOptionsView.scope?: 'grant' | 'narrowing'`**(CC-291;**§116 EN-9**):引擎 7.40.0 起 `createAllowDenyPolicy` 的入参多可选 `scope`(`allow` 名单命中是「已陈述的许可」还是「只划范围、不是同意」;缺省 `grant`)。入参镜像加这一位,值原样透传给装的那一只、本层不判成员不补缺省。
+- **文件历史一句的判定:`fileHistoryLegNoticeVerdict(input)` + `fileHistoryLegNoticeSentence(verdict)` + 闭集 `FILE_HISTORY_LEG_VERDICTS`**(CC-294;接入文档 **§116 FH-1 / FH-2**)。入参四维 `{ capability, declaration, captureOffByUser, legWord }`:能力位读数(`observedFileHistoryCapture()`,经 `fileHistoryCaptureMode` 判类 —— 与请求片段口 `fileHistoryDeclarationField` 同一只判据)、这条 run 的提交带没带关断声明(`'sent' | 'not_sent' | 'unknown'`)、用户关没关文件检查点(只认严格 `true`,与片段口同律)、接线回执上这条 run 报的词(`WiringManifestView.fileHistory` / chrome `wiring_manifest` 臂的 `fileHistory`)。五态 `not_honored` / `not_offered` / `honored` / `not_declared` / `unknown`,只有前两态出句:
+  - `not_honored` —— 这条 run 的提交**真带了** `fileHistory: "disabled"`、引擎仍报 `on`。只看声明事实,不看能力位。句子:「The engine is still capturing file history for this session, though your settings asked it not to.」(98 字符,结论在句首);
+  - `not_offered` —— 用户关了、这条 run 没带(或不知道带没带)、能力位答 `on-always`(这一代引擎没有按会话关闭的位)、引擎报 `on`。句子:「This engine always captures file history and cannot turn it off per session, even though file checkpoints are off in your settings.」;
+  - `honored`(带了、报 `disabled`)/ `not_declared`(用户没关;或确知没带而引擎本来就没捕获 / 能力位答 `on-optional`、是这一发刻意没带,例如还原文件的那一次提交)/ `unknown`(读数不够:回执上没报或报了表外词、能力位读不到或认不出而声明不是 sent、用户关了却不知道带没带)—— 零句。
+  - 判定是一张先中先得的六行清单,72 格真值表见接入文档 §116c。入参只认自有属性;任何一维缺席或坏形落该维的缺席值;绝不抛。
+- **声明事实账本 `createFileHistoryDeclarationLedger()` + 出站体读口 `fileHistoryDeclarationOfBody(body)`**(CC-294;**§116 FH-3 / FH-4**)。宿主在装配完、交给 SDK 之前对**那一份出站体**记一笔 `ledger.declared(requestKey, fileHistoryDeclarationOfBody(body))`(体上自有、可枚举的**数据属性** `fileHistory` 恰为 `"disabled"` ⇒ `sent`;读得动的普通对象而没有 ⇒ `not_sent`;证明不了上 wire 的就是这一份 —— 体带 `toJSON`(自有或继承)、这一键是取值器、体上任何自有可枚举键是取值器(序列化时会跑它)、描述符上的值与属性访问不一致(代理的取值陷阱)、这一键的值是非 null 对象(`new String('disabled')` 与带 `toJSON` 的对象序列化后可以是 `"disabled"`,证明不了)—— 或读不动 ⇒ `unknown`、不记;体不是普通数据对象时先物化 `JSON.parse(JSON.stringify(body))`、对物化后的那一份记、把那一份交给 SDK);这次提交的流上每来一帧调 `ledger.boundToRun(requestKey, runId, frame)` —— 只有证明引擎为这次提交建了 run 的帧才绑定,判据与 `createPromptDeliveryLedger().deliveredByFrame` 是同一只(开流首帧 `meta`、开流重放的审批卡 / 撤卡、会话已有在跑 run 的拒收帧都不算;拒收帧与重放卡带的是别的 run 的 id);接线回执到了查 `ledger.declarationOf(runId)`。两张只增不删的映射 ⇒ 结论与调用次序无关;同一条 run 上记录互相矛盾、绑上的提交没记过、没绑过的 run(恢复进来的 / 别的进程提交的 / 接管重连的)⇒ `unknown`。账本只在进程内,不落盘、没有读回口。
+- 型:`FileHistoryDeclarationFact` / `FileHistoryLegNoticeVerdict` / `FileHistoryLegNoticeInput` / `FileHistoryDeclarationLedger`。
+- **hooks matcher 的工具别名读口 `hookToolAliasesOf()` / `canonicalHookToolName(name)`**(CC-298;接入文档 **§116 HA-1 … HA-6**):引擎的静态工具目录里,有的内置工具带别名(今天一条:`ListPeers` 是 `ListAgents` 的别名)。端上按工具名认 hook 条目的 matcher 时,别名拼写与规范名是同一只工具;此前终端在壳侧手抄了一份钉版镜像,引擎一加别名就悄悄对不上。
+  - `canonicalHookToolName(name)` ⇒ `string`:是某个内置工具的别名 ⇒ 它的规范名(`ListPeers` → `ListAgents`);其余一切 —— 规范名自己、表外名、空串、`constructor` / `__proto__` / `toString` 一类原型键 —— 原样返回。**逐字比**,不折大小写、不裁空白、不折零宽字符(`listpeers` / `ListPeers ` 都原样)。入参不是串(JS 宿主给了 `undefined` / 数 / 对象)⇒ 原样返回同一个值,不抛、不按 `toString` 当串认。永不抛。
+  - `hookToolAliasesOf()` ⇒ `Readonly<Record<string, string>>`:别名 → 规范名的表,每次交同一个冻结实例(null 原型,用工具名当键直接取值也读不到 `Object.prototype` 上的东西);今天 `{ ListPeers: 'ListAgents' }`。表本身不另出名,只经这个读口给。
+  - 表是**构建期从已装开发依赖引擎的静态工具目录生成**的(`scripts/gen-upstream-tables.mjs` 第六批:展开引擎包根读口 `describeToolCatalog()` 每条的 `face.aliases`;引擎包根没有现成的别名表导出),运行期不读引擎、不手抄,所以没有「引擎读不到」这回事。生成器遇到目录读口缺席 / 抛 / 形不对、一张别名都没有、别名撞别条目的规范名、两条目对同一别名给出不同规范名、别名是整数形串(JS 对象会把这类键重排),一律拒生成(非零退出、不落盘空表冒充「引擎没有别名」);生成物从键值对构造(对象字面量里的 `__proto__` 键不建自有属性,字面量写法会静默丢这一行)。
+  - 射程:只含静态目录里**内置**工具的别名;调用方在 `spec.tools` 里声明的别名、MCP 工具的别名不在静态目录里,不在表(对它们原样返回);参数别名(`pathTarget.aliases`,如 Read / Edit 的 `path`)不是工具别名,不在表;本口只回答「这个名字是不是某个内置工具的别名」,matcher 的通配 / 正则语法不在本口(KL-391)。
+- **机读支持底线声明 `SUPPORT_FLOOR` + 组件读口 `supportFloorOf(component)`**(CC-299;接入文档 **§116 SF-1 … SF-4**):本包承诺仍然支持的最老服务端 / 引擎 / sdk 版本,冻结对象;型面是三只 `string` 位、不带字面值(抬底线不是型面变化)。本版取值:服务端 `7.104.0`、引擎 `7.33.8`(那一版服务端精确依赖的引擎)、sdk `12.0.1`(与 peer 地板同值)—— 服务端与引擎两项是保守初值(取本包门必跑的最老那份服务端),各端回报各自的底线后改值(KL-404)。引擎一项在活引擎的 wire 上读不到(`/v1/capabilities` 与 `/health` 的 `version` 都是服务端包版本),只供本包的退役条件判(KL-407)。`supportFloorOf` 对 `'server'` / `'core'` / `'sdk'` 以外的任何入参(大小写不同、带空白、原型链上的名字、非串)答 `undefined`。
+- **引擎版本三态判定 `engineVersionTier(version, floor?)`**(CC-299;**§116 VT-1 … VT-4**):引擎(服务端)自报的版本串 ⇒ `'engine'`(纯 `x.y.z` 且不低于门槛,等于算)/ `'legacy'`(纯 `x.y.z` 且低于门槛)/ `'unknown'`(读不懂:预发布、构建元数据、`v` 前缀、首尾空白、段数不是三、前导零、服务端读不出自身版本时报的 `"unknown"`、空串、非串;低于门槛的预发布也是 `'unknown'`)。门槛 = `SUPPORT_FLOOR.server`;调用方可另给 `floor`(纯 `x.y.z`),只能抬不能降;`floor` 不是纯 `x.y.z` ⇒ `TypeError`(先于版本判定,错误文本不回显值)。版本串本身怎么坏都不抛。读法与 `inheritEnvServerSupport` 同一只(整串正式版)。
+- 公面类型 `SupportFloor` / `SupportFloorComponent` / `EngineVersionTier`。
+- **投递账本的两只绑定方法**(CC-300;**§116 PD-6 … PD-8**):`PromptDeliveryLedger` 对象上多两只读口,把两只自由函数的「账本实参」收进账本自己 —— `ledger.knownUndeliveredMessage(message)`(按消息行判「确知没交出去」,与 `promptKnownUndelivered(ledger, message)` 同答)与 `ledger.withoutUndelivered(messages)`(旁路载荷过滤,与 `withoutUndeliveredPrompts(ledger, messages)` 同答)。两只方法与自由函数是**同一份判定**(方法体就是对自由函数的一次调用、账本自己作实参),同一账本、同一入参逐格同答:行没有 uuid / 没走过提交路径 ⇒ `false`(不知道),非对象 / `null` / `undefined` / 读 `uuid` 抛 ⇒ `false`,行表不是数组 ⇒ 空数组、不抛。方法是闭包绑定,不读 `this`:脱离账本取出、展开拷贝、账本冻结之后都照常可调;读的是账本此刻的状态。用 `fromRecords` 读回的记录建的账本同样带这两只方法(读回记录里只有 attempted 的行判「确知没交出去」;没有任何记录的旧行两判皆假)。两只自由函数照旧导出、答案不变,账本参数型放宽为只要求 `knownUndelivered` 一只成员(`Pick<PromptDeliveryLedger, 'knownUndelivered'>`;它们运行期也只读这一只),按 0.89.0 九口形自写的旧账本替身照常传入。🔴 型面上 `PromptDeliveryLedger` 接口加两个必有成员(本版型面 BREAKING 第三处):只消费账本(工厂产物 / 调自由函数)的端零改动;把自写替身赋给该接口型的那一处编译红一次(补两只成员,或改用 `createPromptDeliveryLedger()` 的真账本)。🔴 按行的那只**叫 `knownUndeliveredMessage`、不叫 `knownUndelivered`**:`knownUndelivered(uuid)` 是 0.88.0 起账本上的 **uuid 键口**(入参是串,语义不变),同名重载会让裸串在两个入参域里答不同;两个口入参域互斥 —— 串按 uuid 判只走 `knownUndelivered`,把串交给按行的方法答 `false`(串不是消息行)。零新顶层名:根公面运行期导出不因本项变化,`PromptDeliveryLedger` 接口 +2 个成员(九 → 十一只口)。终端换调这两只方法后,两只同名薄包装可删,同名影子对账门过渡表里对应两行随之删(期限 0.90.0 = 删行期限,本版不改窗)。
+- **`permissionsDeclaration(input, caps)`** ⇒ `PermissionsDeclaration`(CC-302;接入文档 **§116 PM-1 … PM-8**):宿主解析好的权限规则(`deny` / `ask` / `allow` 三列,外加可选的来源表 `origins` 与命令行 deny `cliDeny`)装成请求体 `settings` 的 `permissions` 片段。一条规则贯穿三只桶:
+  - **按来源信任序排**:托管策略 > 命令行 > `--settings` > 会话 > 用户 > 本地 > 项目 > 来源说不清的(保持原序)。同一来源内按来源表的登记序;同一条规则只留最受信那一处;命令行 deny 排在命令行那一档。超过引擎条数上限时(服务端 7.106.0 起整请求拒收而不截断;更老的引擎截尾),截掉的只会是最不受信的那一截。本口自己不截断。
+  - **过同一只安全投影**:引擎会因之拒收整份请求的规则不发 —— 裸工具名是退役名、无协议前缀的 `__` 短形或不完整协议名;路径文法工具以 `~/` 起头的规则;引擎的规则编译器拒收的规则。判据全部取已装的引擎值级端口(`installCoreValuePorts`),与引擎同一只函数。整工具规则投归一后的工具名(`Bash(*)` ⇒ `Bash`、旧工具名 `Task` ⇒ `Agent` 等),内容形规则投原串。
+  - **整服务器 / 整 peer 写法改写**:引擎协议前缀表上的每一个协议(今天 `mcp__` / `a2a__`;前缀问已装引擎的 `protocolOf`,不手抄)同一条规则 —— `mcp__<服务器>` / `a2a__<peer>`(按引擎读裸规则的读法先去两端空白;之后前缀之后非空、不含 `__`、不以 `_` 结尾;整工具形 `(*)` / `()` 同)三桶一律改写成原名 + `__*` 再过安全投影 —— 引擎规则编译器对两形逐名同判(逐协议),服务端 7.104.0 – 7.114.0 对裸形 deny / ask 整请求拒、对 `__*` 形三桶都收(逐协议);改写出的名字编译器拒收的不发。终端 1.0.140 对这一形是丢(留在客户端匹配器上),本口改写后引擎侧也执行(接入文档 §116 PM-9)。服务器 / peer 段以 `_` 结尾的仍只留客户端匹配器(KL-396);改写出的名字、以及任何整工具名,被引擎规则编译器拒收的一律不投(见下 Fixed 与 KL-418)。
+  - **同一条规则跨桶不去重**:deny 与 ask 里都有就两只桶都发(引擎 deny 先生效)。
+  - 🔴 **allow 只在能力位读到「按规则读、不当名单」时才发**:`caps` 是 `observedPermissionsAllowGrant(baseUrl)` 的读数,只有 `present ∧ grants === true` 才发 allow 桶。不认这一位的引擎(今天的全部引擎)可能把 allow 当**名单**读 —— 在场即收窄、名单外的工具一律拒,所以没报 / 为假 / 没读到 / 读数畸形一律不发;这种引擎上审批照旧由客户端按 allow 规则放行,与上一版同一条路。发出去的 allow 在引擎那边是「有人对这只工具表过态」,不是免问:引擎自己要问的(写门、shell 一类)照样会问;内容形 allow(`Bash(git:*)` / `Edit(src/**)`)本口不投,仍由客户端同步放行。allow 桶永不发空数组;规则编译器对某条 allow 规则答不上来时那一条不发(deny / ask 在同一形上照发 —— 判不出一律往收紧落)。
+  - 产物:每只桶只在非空时在场,三只都空 ⇒ `{}`;数组每次新铸、不别名入参、不改入参。用法:`permissions: { ...宿主自己的其它 permissions 子键, ...d.permissions }`,经 `settings.resolved` 交给装配口。
+  - 拒绝面:入参不是对象、某个字段只在原型链上、某只桶不是数组、来源表不是 Map 形 ⇒ `TypeError`;有规则要投而引擎值级端口(`MCP_NAMESPACE` / `RETIRED_TOOL_NAMES` / `protocolOf` / `ruleToolGrammarOf` / `validatePermissionRules`)缺任一 ⇒ 抛并点名缺哪几只(不判就发会让整份请求被拒,不判就删会静默丢掉 deny);装着的端口自己抛(`RETIRED_TOOL_NAMES` / `protocolOf` / `ruleToolGrammarOf`)⇒ 原样外抛(装 core 的同名实现时不发生);规则编译器对某条规则答不上来不抛 —— deny / ask 那一条照发、未经校验(远端编译不了时整请求 422,KL-414),allow 那一条不发。数组里的非串、空串、纯空洞跳过;空洞在原型链上有值(`Array.prototype` 被写过)⇒ `TypeError`(静默跳过会丢一条 deny / ask)。
+- **能力位读器 `permissionsAllowGrantCapability`**(CC-302;**§116 PM-6**):`projectPermissionsAllowGrantCapability` / `noteEngineCapsForPermissionsAllowGrant` / `observedPermissionsAllowGrant` / `forgetPermissionsAllowGrantReading` / `__resetPermissionsAllowGrantReadingsForTests` 四口 + 投影,与既有能力位读器同一套(按 baseUrl 分格、代际守卫、畸形删格)。三态读数 `PermissionsAllowGrantReading`:`unobserved` / `not_reported`(路径上任一段缺席 —— 判不出,**不是**「不支持」)/ `present`(`grants` 是引擎报的布尔)。判据单源 `permissionsAllowGrantAvailable(reading)`(只有 `present ∧ grants === true` 才真;宿主自拼的坏读数一律假、不抛);doctor 句 `permissionsAllowGrantDoctorDetail(reading)`(四句互异,两种「读不出」都不说引擎不支持;句子从判据同一只派生 —— 说「sent」⇔ 判据真,「引擎说不」⇔ 自有 `kind: 'present'` ∧ 自有 `grants === false`,宿主自拼的坏读数〔`grants` 非布尔 / 缺席、不认识的 `kind`、非对象、`null`、位只在原型链上〕⇒「读不出」那一句,永不抛)。
+  - 🔴 **位名候定**:按 `/v1/capabilities` 的 `settings.permissions.allowGrant`(布尔)读;服务端尚未发布这一位,今天的一切引擎在这一位上都读 `not_reported` ⇒ allow 一条都不发。服务端定名后若不同,下一版改读(KL-392)。
+- 公面类型 +6:`PermissionsDeclaration` / `PermissionsDeclarationBuckets` / `PermissionsDeclarationInput` / `WireRuleOrigin` / `WireRuleOrigins` / `PermissionsAllowGrantReading`。
+- **错误载体铸口 `toolHistoryErrorCarrierOf(terminalOrResult)`**(CC-309;**§116 PR-2**):同一终局 ⇒ 会话历史 tool_use 错配判型 `classifyToolHistoryMismatch` 的入参形 `{ code?, status?, message? }` —— 终局码(failed 因由的 `code` / 扁平形 `errorCode`)、服务商状态(结果上 `apiFailure.status`,没有则取服务商拒绝详情 `detail.status`;引擎两处同值)、失败句原值。入参是 `done` 帧 / 它的 `result` / `failed` 帧 / run 行的 `result`。只读自有数据位(取值器 / 只在原型链上的位 / 读它就抛 ⇒ 该位缺席;中间快照每一层都是 null 原型);不是 failed 终局、终局行不落 `API Error:` 臂(409 占锁 / 治理 / 模型输出三臂,与铸行处选臂同一只判据)、入参不是对象 ⇒ 空载体 `{}`;产出冻结、null 原型(按属性访问读它只看得到它自己的三位);永不抛。本包终局行判错配(挂 `_sema_tool_history_mismatch` 与 `/rewind` 出路句)读的就是这一只,宿主把它的返回值交给 `providerRejectionResend` ⇒ 行上有键 ⇔ 判定口让位。
+- **`attachments` 声明的拒绝改抛具名类 `AttachmentsSpecRefused`**(CC-316;接入文档 **§116 SV-7**;`TypeError` 的子类):`attachmentsForRequest(env)` 对 `SEMA_ATTACHMENTS` 的拒绝(未登记键 / 对字面真族用 `-` / 只关不开的键用 `+` 或裸键 / `key=value` 形不合 / `todoReminderMode` 取值不合 / 点名退役键)与 `buildTaskRequest` 对 `attachments` 对象里退役键的拒绝,抛**同一个类** —— 壳按 `instanceof AttachmentsSpecRefused` 接,不靠解析消息串;`message` 一字不动(env 口逐字节同 0.89.0;装配口逐字节同本版此前)。env 口此前抛普通 `Error`,`instanceof TypeError` 只会由假变真。自有数据位:`token`(被拒的 token;env 口是整串小写之后的那一段,装配口是对象的键原样)/ `why`(理由半句,与 `message` 里同一份)/ `allowed`(合法形,冻结数组:env 口 = 句里列的九项,装配口 = `ATTACHMENTS_SPEC_KEYS` 九个键名)/ `key`(只在装配口在场,= 被拒的键;env 口抛出的实例没有这一自有位);`name` 恒 `'AttachmentsSpecRefused'`。不按拒绝原因分子类。
+- 公面合计(本版):根入口运行期导出 1379 → 1397(+19 −1):删名 CC-291 `readLegacyModeSeedMigrated`(具名型 `LegacyModeSeedMigratedFactsView` 同批退出,见 Removed);新增 CC-294 `FILE_HISTORY_LEG_VERDICTS` / `fileHistoryLegNoticeVerdict` / `fileHistoryLegNoticeSentence` / `fileHistoryDeclarationOfBody` / `createFileHistoryDeclarationLedger`;CC-298 `hookToolAliasesOf` / `canonicalHookToolName`(表 `HOOK_TOOL_ALIASES` 是模块内部件、不上根入口);CC-299 `SUPPORT_FLOOR` / `supportFloorOf` / `engineVersionTier`;CC-302 `permissionsDeclaration` / `projectPermissionsAllowGrantCapability` / `noteEngineCapsForPermissionsAllowGrant` / `observedPermissionsAllowGrant` / `forgetPermissionsAllowGrantReading` / `permissionsAllowGrantAvailable` / `permissionsAllowGrantDoctorDetail`;CC-309 `toolHistoryErrorCarrierOf`;CC-316 `AttachmentsSpecRefused`(类)。测试钩 62 → 63(CC-302 `__resetPermissionsAllowGrantReadingsForTests`);公面类型名 952 → 964(+13 −1:CC-294 四只、CC-299 三只、CC-302 六只;CC-291 −`LegacyModeSeedMigratedFactsView`);子路径入口 `./registry` 值级 10 → 15(CC-136,不计入根公面);`PromptDeliveryLedger` 接口 +2 个必有成员(CC-300);`providerRejectionResend` +1 可选参(CC-309);超集键不变。🔴 型面 BREAKING 三处:CC-291 两处(Removed 两条)+ CC-300 接口 +2 必有成员(把自写替身赋给该接口型的端编译红一次)。
+
+### Changed
+
+- **开发依赖引擎 `~7.38.2` → `~7.40.1`**(CC-291;六版累积 7.38.3 / 7.39.0 / 7.39.1 / 7.39.2 / 7.40.0 / 7.40.1;**§116 EN-***):生成表三只按新引擎重生(码册 / 受众 / 铸方各 −1 行)。7.38.3 / 7.39.1 / 7.39.2 / 7.40.1 的机读清单对公面零增减;7.39.0 / 7.40.0 机读清单标的六处硬破坏里:`planModeReminder` 与通告码册 −1 本包有读点(上面 Removed);`AttachmentSource` / `TaskEvent.source` 的 −`plan_mode` 本包按开集读、标签表的 `plan_mode` 行留作老引擎词;`ModePolicy` +必填 `unstated`、`HandsBandOptions` −`readCyberReminder` 两处本包零读点。`ASK_CLASSES` +`shell_floor`(7.39.0)+`unstated`(7.40.0):问类读器本来开集、原样收,`unstated` 卡在端上不丢。`steering_injected.source` −`plan_mode` +`output_style` 与任务规格 `outputStyle` 席:服务端 7.113.0 不接 `outputStyle`,经服务端不会出现这一来源,出现时落默认句。
+- **结算词表 13 → 14 词**(CC-291;**§116 EN-5 … EN-7、SV-2**):`SETTLEMENT_KIND_WORDS` +`policy_allowed`(引擎 7.39.0;排在 `policy_refused` 前,逐词逐序同引擎);`SettlementWhoView.party` 的词表是引擎的五词(`person` / `policy` / `engine` / `host` / `none`),读口仍开集透传。服务端 7.113.0 起:无人值守路径按类放行的那一问记成 `policy_allowed` + `who.party: "policy"` + `who.approver: "unattended_class_answer"`(此前 `human_allowed` + `person`)、策略拒 `policy_refused` 的 party 由 `none` 改 `policy` —— `isHumanSettledGate` 对机器放行不再答真,`isPolicyRefusedGate` 只认词、两代 party 同答。无新谓词(无消费场景前不铸)。编译期正向钉对 sdk 12 的联合放宽了登记过的一个滞后词(KL-413)。两代记法各说各的:服务端 < 7.113.0 的无人值守放行仍读成 `human_allowed`(KL-412)。
+- **服务端夹具换钉 7.114.0(含 7.113.0 起的行为)/ sdk 16.0.0 进地板见证矩阵**(CC-291;**§116 SV-3 … SV-6、SD-1、HK-1**):服务端 7.114.0 起 fresh 提交对「选中工具别名、选不中正名」的设置 hooks matcher 整请求 400(字面 / 正则 / 两端空白 / 逗号名字表 / 竖线名字表 / 含空段同一条规则;7.113.0 只拒字面形与竖线名字表形),本包对 matcher 零改码:原样透传、跳过口按原串做键、不预检(KL-416);会话读三口非属主 404 的码改 `not_found.session`(本包会话读口不按码分诊,零改读)、live steer 的 `inputId` 等于回执 `messageId`(投递账本按消息 uuid 记,零行为变化)、`blocked` 终局 `terminal.detail` 等项本包零读点。peer sdk 地板 `>=12.0.1` 不动,`.d.ts` 对 sdk 16.0.0 严格编译零错;地板见证环境 `SEMA_SDK_WITNESS` 由单个路径改为路径列表(开发依赖 12.0.1 + 15.0.0 / 15.2.0 / 15.3.0 / 16.0.0 探针树)。
+- **文件历史「没照办」那一句改口**(CC-294;**§116a′**):0.88.0 接入文档 G-FH7 的判据「用户关了文件检查点、引擎报 `on` ⇒ 渲『本会话未按声明执行』」作废 —— 那一句只在**这条 run 的提交真带了关断声明**时说(`not_honored`);能力位 `on-always` 的部署上改说「这台引擎按会话关不掉」(`not_offered`);能力位 `on-optional` 而这一发没带(还原文件的那一次提交)零句;回执上没报「引擎没报」那一档也不再单渲一句(零句,不渲「已关闭」)。英文句换成结论在句首的新句(见 Added)。
+- **能力位读器家族交出的读数冻结**(全家族十八只 `observed*()`;**§116 CR-1**):读口交出的是读账里那一只对象 —— 此前读者就地改它(`r.grants = false` / `r.kind = …`)会改掉这一格此后所有读者的答案(放行位被改真 ⇒ allow 规则被交出去)。本版存进读账时逐层冻结 —— `present`、`not_reported` 与逐位读器某一位 `malformed` 的读数同律(只冻 `present` 会让读者把 `not_reported` 就地改成 `present` / 放行真):非严格模式改写无效、严格模式抛 `TypeError`,再读仍原值;未观测读数(含畸形删格之后)每次新铸、不进读账、不冻;交给 tee 的能力回体不冻。要改读数先拷一份。
+- **状态派生粗码表 `STATUS_DERIVED_COARSE_CODES` 有了上游真源**(CC-299;**§116 RL-1 / RL-2**):服务端契约附录 A.1e 出了「状态派生粗码」一节(服务端 7.113.0),sdk 16.0.0 出了同名常量(同名同序)。表内九词与顺序逐字节不变、判定口 `isStatusDerivedCoarseCode` 不变;门改为三向对拍(服务端分发器铸点 / sdk 同名常量 / 契约那一节)。表**不**改成从 sdk 导入:peer 地板 `>=12.0.1` 上 sdk 12 – 15.4 的入口没有这个导出,具名导入会让装着这些版本的宿主在加载本包时就失败 —— 表与上游双源对拍,peer 地板不抬;sdk 支持底线越过 16.0.0 那一版再改为转出 sdk 的常量(退役登记 RL-18)。
+- **老引擎两代读法的退役改按支持底线判**(CC-299;**§116 RL-3**):`ruleStoreUnreadable` 一族与「谁拒的」退役词 `plan_mode` 在声明的引擎底线越过 7.34.0 那一版删,请求键 `approverPosture` 的按名专句在声明的服务端底线越过 7.106.0 那一版删(删公面名的那一版走 minor 并提前一版预告)。本版三者都不动。
+
+### Fixed
+
+- **「改了重发」判定口与会话历史 tool_use 错配的出路句相矛盾**(CC-309;**§116 PR-1 / PR-2**):错配那一行本包补 `/rewind` 出路句,而 `providerRejectionResend(detail)` 只按状态码判、对同一终局给「改了再发」那一句 —— 错配会话重发永远不成。`providerRejectionResend(detail, carrier?)` 加可选第二参:同一终局的错误载体判为错配 ⇒ `undefined`(让位);载体由新根入口 `toolHistoryErrorCarrierOf(同一终局帧)` 铸,本包终局行判错配读的是同一只 ⇒ 行上有错配键 ⇔ 判定口让位(终局行判错配读的服务商状态此前只取 `apiFailure.status`:只带服务商拒绝详情 `detail.status` 的终局上行不带错配键、不补 `/rewind` 句;本版补上这一处,与判定口的让位读同一只载体)。判定口把载体原样交给 `classifyToolHistoryMismatch`(同一只判型、同一读法)⇒ 两只公面口对任何载体同答(SDK 错误对象这类类实例可直接交);读它就抛 / 不是对象 ⇒ 判不出 = 不让位。不传 / 判不出 ⇒ 与 0.89.0 逐字节同。端要得到让位,渲这一句的接线处得把载体交进来(KL-417)。
+- **权限规则装配口:被引擎规则编译器拒收的整工具名照发**(CC-302 修订;**§116 PM-11**;KL-418):整工具规则归一后名字没变(`shell\runner(*)` 归一成 `shell\runner`、`odd)name()` 归一成 `odd)name`)时,修前只有改写出的名字过规则编译器、这一类跳过校验照投 —— 引擎对它们答 `invalid.paren`、服务端整请求 422。修后每个要投出的整工具名都过同一只判定、同一条策略(拒收 ⇒ 不投、留在客户端匹配器上;答不上来 ⇒ deny / ask 照投、allow 不投)。本机实测(core 7.40.1,U+0000 – U+30FF 逐字符放进裸名 / 协议名服务器段 / 协议名工具段 / 整服务器写法):修后让规则不发的恰是 `(` `)` `\` 三个字符,不论放在哪一段(修前裸名与两段里只有 `(` 不发)。与终端 1.0.140 在这一形上多一类登记差异(终端照发)。校验器答不上来时 allow 的整工具名也不再投(收紧方向;修前裸名不经校验器照投)。
+- **终局行与错误载体对同一帧各读一遍**(CC-309 修订;**§116 PR-2 / G-PRC9**):铸行处先算一遍选臂读数、载体铸口自己再算一遍 —— 占锁位 / 终局码是「只在某一次读答某个值」的取值器时(只有宿主自建对象可达),行文是占锁话 / 治理话却带错配键与 `/rewind` 句,或反过来。修后铸行处把算好的读数交给载体铸口,同一帧同一拍只读一遍;公面口 `toolHistoryErrorCarrierOf` 自己调一次也只读一遍。另「有没有终局行」只有一个判据 —— 错误句非空:`failed` 帧 `errorMessage: ''` 不出终局行,载体也是空载体(修前载体是 `{ code }`)。
+- **`createPromptDeliveryLedger().deliveredByFrame` 喂撤销式代理帧时外抛 `TypeError`**(CC-294 同批;只有宿主自建对象才可达,JSON 帧上不可达):判据第一步的数组判就会抛,与它的头注「读帧抛 ⇒ 不算」不符 —— 本版答「不算」、不记、不抛。与账本 `boundToRun` 共用这一只判据。同一包里其余几只入口在撤销式代理上仍外抛(KL-402)。
+
+### Gates
+
+- 扩门 `scripts/run-sdk-registry-transit-test.mjs`(94 → 158 格;缺 16.0.0 探针树 147 格、15.3.0 与 16.0.0 探针树都缺 136 格;CC-136):五名并入值级名单,A(同一引用)/ C(名单双向)/ E(上游声明见证)/ I(干净树下游探针)四段对五名同样生效;新增 B2(`dist/sdkRegistryTransit.d.ts` 的值级转口块与门名单双向相等)、I⑧(五名在干净树上的返回型与入参型是真型:`@ts-expect-error` 两向探针,型塌成 `any` 时指令未使用 ⇒ 红,引用相等对这一形是盲的)、J 段(五名转口 × 三代 SDK:装着的 12.0.1 + 环境变量 `SEMA_SDK15_ROOT`〔15.3.0〕+ `SEMA_SDK16_ROOT`〔16.0.0〕逐代读 —— JS 产物里是函数 / 声明入口里值级具名导出 / 声明闭包(import / export / import 型 / path 引用四类相对边)零裸说明符 / 转口产物在以该代为 `@sema-agent/sdk` 的沙箱里真载入且十五个值与该代同名导出同一对象 / 导出名集合恰等于门名单且十四个同入口邻名一个都没转;缺名、声明缺、闭包带裸说明符、不同一对象一律红,探针树未设 ⇒ 该代标为未跑,设了而解析不到 SDK 包 ⇒ 门退出码 9;三代版本必须互不相同且各不低于槽位对应的大版本 12 / 15 / 16,同一份 SDK 填进两个槽 ⇒ 退出码 9)与合成夹具(缺名 / 裸说明符同文件 / 裸说明符出 registry 目录一跳 / path 引用指空处 / path 引用引进的文件带裸说明符 / 包装函数 / 多转一名 / export 口指空处 / 代际登记各一,夹具用合成的完整转口、不随真产物变)。
+- 新门 `scripts/run-server-7113-fixture-test.mjs`(42 格;CC-291):服务端发布包夹具对拍,每格两代(服务端 ≥7.113.0 一代〔今天的夹具 7.114.0〕+ 7.113.0 之前的一代〔7.111.0〕;夹具缺席各自标未跑、必跑档红)。格分两类:A 段的 A1 / A2 / A5 是**源码文本见证**(读服务端发布包的 `admission.js` / `spec-fields.js` 文本,核铸点句与 attachments 形说明,不起路由),B / C / D 段是**真路由 / 真模块**跑的格 —— A `attachments` 键表(服务端形说明文本的键集 ≡ `ATTACHMENTS_SPEC_KEYS` 九键 / 退役键 400 铸点文本 / 本包 `SEMA_ATTACHMENTS` 五种取值的产出不越界 / 显式点名本地抛;老一代十键含它)· B 会话读三口(详情 / head / events)非属主 404:真 `handleSessions` + 真 `runOwnerOk` 起在 http 上逐口读状态与码(新一代 `not_found.session`、老一代 `not_found.run`),真 SDK client 打非属主 404 ⇒ 本包 `fetchDelegatedPrompt` 两代同答 `unreadable` · C live steer 的 `inputId`:真 `handleRuns` 的 `run-steer` 两代各驱一发(新一代 `inputId === 回执 messageId === 账本受理 id`、老一代选项里无 `inputId`),同一 `inputId` 的 queued / applied 两帧各投一帧、投递账本只记一次 · D 无人值守按类放行的结算:真模块答案 / 引擎铸口 / 本包读口 / 投影后的 `tool_end_result` 上 gate 原样在场且读回 `policy_allowed`、不是人批的(带三枚吞帧负控)/ 老一代词表 13 词。
+- 扩门 `scripts/run-engine-notice-catalog-test.mjs`(1594 → 1610 格,带服务端 7.114.0 夹具与七份老一代夹具列表;六份列表时 1580):码册 85、该码读器 / 具名型 / 派发行 / 三张生成表行全部退役(册外码答 `undefined` 不抛)、五只新读器(原六);G-UI5 由「不读子代位」改「读」+ G-UI5b … G-UI5m(缺席不铸 / 五种坏形与取值器抛只丢这一位 / 真铸点 `undrainedUserInputNotices` 第五参四帧:自己两帧读数与上一版逐字节同、父会话副本两帧带 `childSessionId` 且无 `runId` / 经派发口受众 `user` / 子代句逐字 / `crashed` 与表外 `cause` 上带这一位不改句)。
+- 扩门 `scripts/run-gate-vocabulary-test.mjs`(→ 510 格):结算词 13 → 14(对引擎真字节逐词逐序;开发依赖 sdk 的词 = 引擎的词去掉登记滞后词 `policy_allowed`;≥16.0.0 的 sdk 见证词集与引擎全等,没有这样的见证 ⇒ 标未跑、必跑档红)、`policy_refused` 的 party 两代各一说、引擎 `SETTLEMENT_PARTIES` 恰五词且读口开集透传、谓词登记表 14 词(机器放行五只具名谓词全不说话、不产出拒绝分类)、`policy_refused` 两代 party 同答;T2d 编译期正向钉放宽的滞后词按语法树核 —— 别名必须是非空、无重复的字符串字面量联合,正向钉的声明类型逐字不变,别名的词集与门里登记的滞后词表相等,每个滞后词不在 peer 地板 sdk 的结算联合里、而在 `SEMA_SDK_WITNESS` 最新一代 sdk 与已装引擎的结算词表里(见证列表读不出 ⇒ 标未跑);别名放成 `string` 时构建照绿、此前本门也照绿,本版起红。
+- 扩门 `scripts/run-core-value-ports-test.mjs`(→ 59 格):入参镜像与引擎 `createAllowDenyPolicy` 第一参逐键相等(读两份 `.d.ts` 的语法树;`scope` 可选、字面联合逐字同)、`scope` 原样透传。
+- 扩门 `scripts/run-client-core-pure-test.mjs`(4159 → 4253 格):`attachments` 拒绝的具名类 `AttachmentsSpecRefused`(CC-316:env 口十一种拒绝 × 三真 `instanceof` / 自有位与句子逐位一致 / 与 0.89.0 发布产物对拍两边都因同一原因拒的八形 `message` 逐字节同〔没给基线 ⇒ 标为未跑〕/ 退役键整句逐字节冻结;装配口两车道 × 五种写法 × 三真与自有位 / 精确键整句逐字节冻结;`allowed` 冻结、两口各是各的合法形;env 口抛出的实例没有 `key` 自有位);`attachments` 键面 10 → 9、`full` 点满 6 员、退役键九种写法一律抛并点名退役与出路、装配口 `buildTaskRequest` 对 `attachments` 对象里的退役键七种写法 × 两车道 × 两值一律抛(`TypeError`,句子按「键」措辞;精确键说服务端 400、别的拼写说服务端忽略)、值为 `undefined` 的四种写法 × 两车道按缺席(不抛、请求体不带这一键)、不带退役键的原样透传、`output_style` 来源落默认句不丢;approvals 推送 feed 段(B7③)的正向计数格(「至少再取了几次 / 至少重试了一次」)改有界等待(判据不变,3 s 截止;固定窗在取件被拖慢时假红),零拍负控照旧固定窗。`scripts/run-approval-frame-keys-test.mjs`(→ 243 格):逐个读已装引擎 `ASK_CLASSES` 的每个词,作问类过卡腿都原样在场。`scripts/run-subagent-injected-wire-test.mjs`(184 格):夹具真路由的假账本补 `confirm`(服务端 7.113.0 起受理账本多这一口)。
+- 地板见证:`scripts/run-public-surface-test.mjs`(110 → 139 格:`SEMA_SDK_WITNESS` 列表带四份见证时的读数;只带三份见证时 132 格)与 `scripts/run-sdk-floor-test.mjs` 读的见证环境 `SEMA_SDK_WITNESS` 由单个路径改为路径列表(开发依赖 12.0.1 + 15.0.0 / 15.2.0 / 15.3.0 / 16.0.0 探针树),列表里每份逐份验;没有 ≥16.0.0 的见证 ⇒ 标未跑、必跑档红。
+- 新门 `scripts/run-file-history-leg-notice-test.mjs`(184 格;CC-294):S 五只口在根入口且与模块同一对象、在公面基线里、闭集冻结定序、账本恰三只口冻结;V 72 格真值表逐格(表是门里的字面规格)+ 出句 ⇔ 两态 + 闭集 ⇔ 产出 + 四维代表值全扫 1386 格;W 两句逐字、结论前置(`not_honored` 整句 ≤ 100 字符、结论起于前 10 字符);P 入参只认自有属性(四维各一格,每格都选「读原型就会出句」的形)、敌意入参不抛;U 能力位读不到而声明不是 sent 的 2856 格一律零句、声明 sent ∧ 报 `on` 恒 `not_honored`;L 账本:绑定判据与投递账本 25 帧逐帧同答、逐帧分类对期望表断言(建了 run 7 / 开流与拒收 9 / 非帧 9 —— 两处一起判错时也红)、四只操作 24 种次序终局同答、矛盾 / 没记过 / 没绑过 ⇒ `unknown`、拒收帧与重放卡带的别的 run 的 id 不被改写;B 出站体读口:普通数据属性与 JSON 序列化逐形同答,`toJSON` / 取值器 / 取值陷阱代理 / 兄弟取值器(在前 / 在后 / 符号键)/ 读不动 / 这一键的值是非 null 对象(包装串、带 `toJSON` 的对象、普通对象、数组、`Date`)⇒ `unknown`、诚实代理与不可枚举取值器与原始值 / 函数值照读;E 真 SDK 流解析 + 本地假引擎收下真出站体 → 投影 → 适配层 → 判定 → 句(自定义 `toJSON` 拿掉这一键、会变的取值器、取值陷阱代理、兄弟取值器删键四形:账本 `unknown`、零句,wire 上没带就不说「没照办」);D 与上一份宿主侧实现逐格对拍(差恰 18 格,全是零句之间)。
+- 扩门 `scripts/run-upstream-tables-test.mjs`(G7 / N2e / N4e / N6f / N7;CC-298):生成物 `CORE_HOOK_TOOL_ALIASES` 对已装引擎目录独立重算逐键逐序、冻结 + null 原型 + 非空;`canonicalHookToolName` 对引擎自己的名字解析器 `rosterToolName` 逐名同答(目录全部名字 + 原型键 / 大小写 / 空白 / 零宽字符探针);`ListPeers → ListAgents`、表外名原样、大小写与空白不折叠、参数别名不进表、非串入参原样不抛;读口交同一冻结实例且往里写进不去;根入口只出两只读口且与模块内同一引用;源码初始化式绑定生成物(AST);src 里别名零串字面量(尺子先响)。负控:目录加别名 ⇒ 生成物不同、改参数别名与自别名 ⇒ 生成物不变、同名两条目同一别名 ⇒ 接受;二十五种坏形(含整数形别名)与整类抽掉(全目录无别名)⇒ 拒生成;目录读口缺席 ⇒ 拒生成点名并与老引擎缺名一次点齐;N8 把生成的表转译**执行**后对引擎自己的 `rosterToolName` 逐名对拍(别名是 `__proto__` / `constructor` / `toString` / `hasOwnProperty` 一类原型键名时每个声明的别名都是自有键、键序 = 声明序;看着像整数却不是数组下标的串键序不变);**进程级**:生成器 CLI 对无别名的目录跑 `--write` ⇒ 非零退出、生成目录一个字节不动(换回真目录的 `--check` 为零差异正控)。
+- 新门 `scripts/run-support-floor-projection-test.mjs`(52 格,服务端底线有夹具见证时;CC-299,包侧投影门):SF0 公面三名三型、型面不带字面底线值 / SF1 声明 `scripts/support-floor.json` 读得出(读不到即红)、三项都是纯 `x.y.z` 且与运行期常量逐项相等、常量冻结 / SF2 sdk 一项 ≡ peer 地板 / SF3 服务端底线在门的服务端夹具列表里有见证,其精确依赖与装着的引擎都 = 声明的引擎底线(必跑档无见证即红),逐份打印每份夹具在底线之下 / 等于 / 之上 / SF4 组件读口 / VT 三态边界(上下各三邻、按数比不按串比)、坏形十三种与非串八种、门槛只能抬、坏形门槛先于版本判定拒、敌意入参不抛、与 `inheritEnvServerSupport` 读法同源(同池「读不懂」逐格同答)。
+- 扩门 `scripts/run-retirement-ledger-test.mjs`(22 → 26 格):上游条件第四种子式 `floorKind` + `floorCrosses` —— 按支持底线声明判(声明那一项 ≥ `floorCrosses` ⇒ 条件已满足,等于即满足);声明读不到 / 坏形即红,不是跳过;子式行形(表外组件 / 非 `x.y.z` / 读已装包 / 与别的子式混用各自报)与判官自证三格。
+- 扩门 `scripts/run-resume-refusal-copy-test.mjs`(210 → 216 格;带 sdk ≥ 16.0.0 探针树时 217 格):CC-243-y 粗码表 ≡ sdk 同名常量(读 `SEMA_SDK16_ROOT` / `SEMA_SDK15_ROOT` / `SEMA_SDK15_ROOT_OLD` 三只变量与开发依赖里的每一份 sdk;逐项同序;按解析后的真实包路径逐份读,同版本的两份也各读一次;≥ 16.0.0 而入口没有这个导出即红;一份 ≥ 16.0.0 都没有 ⇒ 标为未跑、必跑档红;配置的探针路径解析不到 ⇒ 标为未跑)、CC-243-z 粗码表 ≡ 服务端契约附录 A.1e 的表(逐词双向;服务端源码树未配置且同级不在 ⇒ 标为未跑;配置了却不存在、不是服务端包、版本读不出、没有契约文档 ⇒ 红;只有版本读得出且 < 7.113.0 时缺这一节才算合法缺席)。
+- 扩门 `scripts/run-prompt-delivery-projection-test.mjs`(111 → 156 格,带两代服务端夹具;其中 B 段等 +35、H 段 +10;CC-291 / CC-300):H 段 —— 同一 `inputId` 先 queued 后 applied 只记一次 delivered、乱序 / 回放同、`inputId` 与消息 uuid 同值 / 不同值 / 缺席三形读数逐字节同、回执路径与帧路径先后到达互不重记;S4 账本口数改十一只;新 B 段 —— 同账本 × 同入参 17 形(`undefined` / `null` / 裸串 / 数字 / 空对象 / 行无 uuid / 空串与非串 uuid / 不知道 / 被拒 / 在飞 / 交出去 / 读回只有 attempted 与 attempted + delivered / `uuid` 取值器抛 / 抛错代理 / 原型上的 `uuid`)方法、自由函数与期望三者同答;行表同答、保序、返回新数组,非数组 ⇒ 空数组;脱离账本取出 / `this` 缺席 / `this` 被改 / 展开拷贝 / 再冻结仍可调;`knownUndelivered(uuid)` 语义不变且与按行方法入参域互斥;读活账本、两只账本互不串;读回账本(JSON 往返、混坏行)对整张入参矩阵同答;真 tsc 编真 d.ts 的类型正例两格(新方法的签名;九口形旧替身传进两只自由函数)+ 反例七格(反例落在预期诊断码上)。
+- 新门 `scripts/run-permissions-declaration-test.mjs`(140 格,带终端源码树与八代服务端夹具时;CC-302,包侧投影门):C 能力位读器 —— 路径逐段三态、原型链上的段不算在场、每段恰读一次、判据单源真值表(宿主自拼的坏读数一律假、不抛)、doctor 四句互异且与判据同源(十三种坏读数说「读不出」、不抛)/ MS 整服务器 / 整 peer 写法(协议前缀表取已装引擎、逐协议)—— 两件前提先证(装着的引擎规则编译器两形 × 三行为逐名同判、改写过的每只服务器 / peer 名同判;每一代服务端夹具的受理口收 `__*` 形三桶、编出的策略对该服务器 / peer 答该行为,裸形逐代打印)再证产出(三桶改写 / 与显式 `__*` 去重 / 命令行 deny 同改 / 整工具形同改 / 坏形与以 `_` 结尾的不改写 / 改写出的名字编译不了的不发 / 信任序位置)/ N 位名只此一处 / A allow 四种读数 × 四形(只有「真 ∧ 投影后非空」才发 allow、永不发空 allow、能力位不影响 deny / ask)/ V 冻结向量(旧名归一 / 整工具形 / 跨桶不去重 / 信任序 / 命令行 deny 并入 / 三条 422 腿 / 不截断)/ D 与终端 1.0.140 同一池逐例比 deny / ask 请求体字节(对照 = 同一份终端代码只给整工具形套上同一条改写;改写前的终端与本口的差单数,每例只差在改写出的 `__*` 条目上;终端源码树缺席 ⇒ 标为未跑)/ I 入参纪律 / PT 端口缺席与判官失灵(取舍格标 KL-414)/ E 端到端经 `buildTaskRequest` 落到请求体 / MW 整工具名同过编译器(右括号 / 反斜杠 / 两者并存 / 服务器段含 `(` 四形 × 三桶:投出列表零含编译器拒收的名,正控三名仍在;校验器抛 / 回非数组 ⇒ deny / ask 的整工具名与改写名照投、allow 不投;3000 条随机规则串 × 三桶:投出的每一条都被装着的引擎规则编译器接受)/ D 段登记差异 ⑥(被编译器拒收的整工具名:终端照发、本口不投;每例只差在这几个名字的条目上,deny / ask 与 allow 各自独立数);扩门 `scripts/run-engine-cap-reader-factory-test.mjs`(读器工厂族名单 +1 `permissionsAllowGrant`;F14 存下的读数逐层冻结、非严格改写不生效、严格模式抛、不冻入参;F14e `not_reported` 与逐位 `malformed` 读数同律、F14f 删格后的未观测读数改写不留,694 → 821 格)。
+- 扩门 `scripts/run-terminal-cause-projection-test.mjs`(443 → 481 格;CC-309):G-PRC6a —— 三种错配句 × 三种载体形 ⇒ 判定口让位;G-PRC6b 非错配载体、G-PRC6c 坏载体(非对象 / 取值器抛 / 撤销式代理)⇒ 与不传载体逐字节同、不抛;G-PRC6d 载体判错配而 `detail` 不是服务商拒绝 ⇒ 照旧 `undefined`;G-PRC6f 判定口与判型口对十一只手搓载体(取值器 / 原型链上的位 / SDK 形错误对象 / 串形状态 / 只有句)逐只同答、本包铸的载体冻结 · null 原型 · 让位;G-PRC6e 不传载体与上一发布产物(`SEMA_DU_BASELINE_TGZ`)在 280 余只 `detail` 上逐字节同(没给基线 ⇒ 标为未跑)。扩门 `scripts/run-tool-history-mismatch-projection-test.mjs`(212 → 293 格;CC-309):D2c 载体同源 —— 三十一只终局帧(十二只治理终局〔blocked / `limits.*` / `output.invalid` × 因由形 done / failed 帧 / 扁平形 done,含治理码是取值器或只在原型链上的形〕:载体全是空载体、终局行是治理行、无错配键、无 `/rewind`;另十九只:只带 `detail.status` / 只带 `apiFailure` / 两位都缺有无引擎前缀 / 两位都在 / 两位打架 / 非错配句 / 409 拒收信封 / `failed` 帧两形 / 带占锁位的错配终局两形 / 模型输出问题句开头 / 结果与终局上的自有取值器、原型链上的位、会变的取值器)交真 `runStream` 看行上错配键,同一帧的 `toolHistoryErrorCarrierOf` 交判定口:键在 ⇔ 让位、「改了再发」句与 `/rewind` 句永不同时给;载体冻结、null 原型、只带三位自有数据属性、`done` 帧与它的 `result` 同一只载体、敌意入参空载体不抛、`Object.prototype` 被写进三位与抛错取值器时载体不带原型上的位且不抛;F40 —— `activeTaskId` 取值器第 N 次读才答占锁(N = 1 / 2 / 3 × done / failed 帧)读次数恰 1、行自洽,`errorCode` 有状态取值器(前 k 次答治理码 / 占锁码、之后答 `invalid_request`,及反向;21 帧)治理行 / 占锁行不带键、公面口自己调一次读 1 次、空句终局不出行且载体空。
+- 新门 `scripts/run-server-7114-fixture-test.mjs`(128 格,带八份服务端夹具时;包侧投影门):服务端发布包夹具的**真受理口**(`createAdmission(...).prepareSpec` 起在本机 http 上,装配口换成哨兵)逐代对拍 —— 设置 hooks 的工具事件 matcher 九形 × 逐代断言表(≥7.114.0:别名选中而正名没选中六形 400 `request.field_invalid` 且句子点名别名与正名、也选中正名的与两只无关正控受理;7.113.x:只拒字面形与竖线名字表形;≤7.111.x:九形全受理),老一代夹具列表里的每一份都跑、按版本落档,表外的代即红,必跑档下三档各要有夹具跑到;本包装配口两车道原样透传 matcher、装配出的请求体过 ≥7.114.0 真受理口与直交同答;跳过口按原串做键;L 段自证门库的老一代夹具读法(必跑档下老一代列表未设 ⇒ 段红,非必跑档照旧标未跑;L2 自证 `fixtureRequired` / `oldGenListAbsence`);P 九形闭集的独立钉 —— 形数与形串逐字写成另一份字面量,与 H 段常量、逐代断言表三档的期望、接入文档 G-HKM1 条列的九形互相对读(少一形 / 多一形 / 改一形 / 档位期望翻一格都红;H 段的期望与遍历取自同一份数组,单删一形原先门不响)。
+- 门库 `scripts/_gate-lib.mjs`:必跑档(`SEMA_CC_REQUIRE_SERVER_FIXTURE=1`)下老一代夹具列表 `SEMA_CC_SERVER_FIXTURE_OLD` 没设 ⇒ 读老一代夹具的各门老一代段红(此前标为未跑、收集结果仍按绿计;与新一代段 / sdk 16 见证缺席同律);非必跑档照旧标未跑。统一问法:`fixtureRequired()` / `oldGenListAbsence()`;之前各自拼「必跑档 ∧ 列表已设」一类合取而仍绿的五道门同改 —— `run-approval-frame-keys-test.mjs`(问类两位腿老一代 / 首铸代两段)/ `run-prompt-delivery-projection-test.mjs`(E 老一代)/ `run-resume-refusal-copy-test.mjs`(CC-281-x 老一代)/ `run-support-floor-projection-test.mjs`(SF3 底线见证)/ `run-permissions-declaration-test.mjs`(MS2 老一代受理口):必跑档 ∧ 老一代列表未设 ⇒ 红,权威环境(列表在)读数不变。
+- 扩门 `scripts/run-layering-shadow-export-test.mjs`(121 → 123 格):新差分格 `cc294-file-history-verdict` —— 终端 1.0.141 先铸的同名文件历史判定(第二份实现)与本包判定喂同一张 144 格网格,差只许落在两类零句之间的登记类(表外词 ∧ 用户没关 ∧ 声明不是 sent;用户关 ∧ 声明不知道 ∧ 回执上报 `disabled`:终端答 `not_declared`、本包答 `unknown`,恰 18 格),类外即红;两份合成端自证。负控常驻套(CASE 33 → 35,另一枚是本版 CC-299 的)加回「语义差分格类外差」一枚:摘掉该差分格第二个登记类的分类谓词(`scripts/_layering-shadow-diffs.mjs`)⇒ 网格上 6 格差落到类外 ⇒ 影子门红;此前这一格的负控在 0.89.0 因影子表零 divergent-copy 行退役,本版有了一行而加回。
+- `scripts/run-package-hygiene-test.mjs`:本地过程词表新增一条只扫三份 md 的协作称呼(向前执法同上;dist 里同一个词是子代与主线会话之分的产品语义,不扫);`scripts/run-fixture-flat-done-ratchet-test.mjs`:新门里的两帧 409 拒收信封补注,未注扁平 done 位点回到上限 23(棘轮不抬)。
+- 登记物:根公面基线 1379 → 1397(+19 −1;删名 `readLegacyModeSeedMigrated`,具名型 `LegacyModeSeedMigratedFactsView` 同批退出)、测试钩 62 → 63;门清单 `scripts/gates-manifest.json` 172 → 177 条(新门 `file-history-leg-notice` / `support-floor-projection` / `permissions-declaration` / `server-7113-fixture` / `server-7114-fixture`),README「Guards」与负控文档由生成器同批重写(自动化负控 27 → 28:声明的服务端一项抬一个 patch ⇒ SF1d / SF4a 红,必跑档下 SF3 同红;行为套 +4);单例清单 610 → 617 条(CC-294 +1 / CC-298 +2 / CC-299 +1 / CC-302 +3),high 上限 133 → 134;棘轮 `portability.index` 234 → 239(CC-294 / CC-298 / CC-299 各 +1、CC-302 +2)、`typeshape.unknownExport` 466 → 469(CC-299 / CC-302 各 +2、CC-291 −1)、`singleton.highRiskCeiling` 133 → 134,账 332 → 340 条;退役登记 RL-11 退役(上游两条件齐,门改三向对拍),RL-12 / RL-13 / RL-14 的条件改为机读的支持底线子式(复核期不动),新增 RL-17(hooks 工具别名表的目录展开:引擎包根导出现成的别名表时改读,0.91.0 复核)、RL-18(粗码表本地字面量,sdk 支持底线越过 16.0.0 时改转出)与 RL-20(结算词正向钉的滞后词别名,sdk 支持底线越过 16.0.0 时删),RL-19(`readLegacyModeSeedMigrated` 与具名型)退役即入已退役,在册 9 → 11 行、已退役 6 → 8 行;导出存活登记 `removed` 账 +0.90.0 一格;`docs/KNOWN-LIMITS.md` KL-391 … KL-418 新增、KL-364 / KL-246 销;同名影子对账表 +1 行(第二份实现,CC-294;差分格见上)、三行记录的声明哈希按终端 1.0.141 重新核对;冻结账 1644 格不变。
+
+### Known limits(本版新增)
+
+- **KL-409**:`planModeReminder` 退役后老部署(服务端 < 7.113.0 且引擎 < 7.39.0)少了显式开 plan 提醒的那一键。
+- **KL-410**:子代副本帧与该子代自己那一帧是两帧,本包不合并、不跨帧去重。
+- **KL-411**:老引擎仍发已退役的通告码 `resume.legacy_mode_seed_migrated`,按册外码处置、无 typed 事实。
+- **KL-412**:服务端 < 7.113.0 的无人值守按类放行记成 `human_allowed`,`isHumanSettledGate` 在那一代上读成「人批的」(记录上分不开);`policy_refused` 的 party 两代两说。
+- **KL-413**:开发依赖 sdk 12.x 的结算联合没有 `policy_allowed`,编译期正向钉放宽了一个登记过的滞后词,等 peer 地板抬到 ≥16.0.0 再收(这个滞后词的形由门按语法树守;退役登记 RL-20)。
+- **KL-414**:权限规则装配口在规则编译器对某条 deny / ask 答不上来时照发那一条、未经校验;远端引擎编译不了它时整请求 422。
+- **KL-415**:结算词 `policy_allowed` 没有具名谓词,端要区分「策略放行」按词判。
+- **KL-416**:本包对设置 hooks 的 matcher 不求值、不预检;服务端 7.114.0 起「只选中别名」的 matcher 由服务端整请求拒。
+- **KL-417**:「改了重发」判定口的错配让位要宿主把 `toolHistoryErrorCarrierOf` 铸的载体交进来,不传时与 0.89.0 同答;宿主自拼的载体照收(与判型口同一读法),但不保证与行上的错配键同答。
+- **KL-418**:名字里带 `(` `)` `\` 的整工具 / 整服务器 / 整 peer 规则不上请求体(含左括号的整工具名由安全投影挡下,其余被引擎规则编译器拒收),只留客户端匹配器;与终端 1.0.140 在被编译器拒收的整工具名一形上不同(终端照发、整请求 422,本包不发)。
+- 文件历史一句(CC-294):每进程只说一次一类的去重留在端上(KL-398);能力位读的是说话那一刻的读数,提交时还没读到能力位而没带声明的那一发、到说话时能力位已是 `on-optional` ⇒ 判 `not_declared`、零句(KL-399);绑定信任宿主给的 run id,只提交不跟流的 durable 提交在宿主喂到那条 run 的一帧之前读 `unknown`(KL-400);出站体读口只在证明得了上 wire 的是这一份时记 `sent`(取值陷阱代理、体上有可枚举取值器都读 `unknown`),三只陷阱同口径撒谎的代理、嵌套值在序列化时回头改顶层体、记完之后宿主再改体仍看不见(KL-401);投递账本其余入口在撤销式代理上仍外抛(KL-402);账本不淘汰(KL-403)。
+- hooks 工具别名表(CC-298):是构建期快照,引擎之后新增的内置别名要等本包下一版换钉才进表;调用方 / MCP 声明的别名与 matcher 的通配 / 正则语法不在本口(KL-391)。
+- 支持底线(CC-299):本版取值是保守初值,不是各端回报的底线(KL-404);`engineVersionTier` 的 `'unknown'` 不分「带前后缀的版本号」与「不是版本号的词」(KL-405);引擎一项在活引擎上读不到,只供退役条件判(KL-407);既有五只按服务端版本判功能在不在的读口各用各的门槛与读法,不随支持底线收(KL-408)。
+- 粗码表(CC-299):仍是本包的本地字面量;与 sdk 常量、契约那一节的一致只在门带着 sdk ≥ 16.0.0 探针树与服务端源码树时核(KL-406)。
+- 权限规则(CC-302):能力位位名候定,今天 allow 一条都不发;规则能不能编译由客户端装的引擎值级端口判,不是远端引擎;规则编译器对某条 deny / ask 答不上来时那一条照发、未经校验(KL-414);整服务器 / 整 peer 写法里服务器段以 `_` 结尾的仍只留客户端(KL-396);被编译器拒收的整工具名不投、只留客户端(KL-418);一只桶超过引擎条数上限时整请求被拒(三桶同律,本口不截断);规则编译根基取固定的绝对路径。详见接入文档 §116「包侧缺口」。
+- 登记物按既定裁定改窗(本版对这些物零改动):同名影子对账门的过渡表里,终端三只同名读口(`promptKnownUndelivered` / `withoutUndeliveredPrompts` / `reopenPlanReviewCard`)期限 0.90.0 → 0.91.0 —— 删行期限按「终端删掉包装之后的下一个本包版本」定(前两只在终端消费本版的账本绑定方法后删,第三只换读本包 0.83.4 起的读点后删);「只续已有会话」被拒粗码读法的退役登记复核期 0.90.0 → 0.91.0(服务端 7.114.0 的两处拒绝尚未挂码)。
+
 ## 0.89.0(2026-10-03)
 
 > 主题:**minor** —— 七项同发(按票序)。① **引擎 7.38 提货**(CC-282):开发依赖换钉引擎 `~7.38.2`;通告码册 81 → 86(`task.tool_turn_incomplete` 与四只服务端自铸通告码入册),引擎码册自带的铸方表接手服务端自铸码的受众,本包手写的四行受众表退役、`SERVER_NOTICE_AUDIENCE` 退出根入口;「工具轮不完整」与「用户输入没被用上」两族通告各有事实读器,后者另有一句用户面话;终局失败带的服务商拒绝详情窄读,并给「改了重发」判定口;steer 账本写不进的 503(`steering.ledger_unavailable`)归「原文稍后重发」一档,主 run / 自愈 / 子代三条 steer 腿读同一张码表;请求装配回执的省略成因短语口。② **审批四面问类两位**(CC-284):活卡帧、待决行、卡与运维队列行上的 `askClass` / `classes`。③ **请求键 `disableSkills`**(CC-277):这一发一只技能都不装。④ **hooks 设置来源条目的唯一执行者**(CC-287):设置来源条目与插件条目共用一只判定,每条恰有一个执行者,另给本端跳过口。⑤ **凭据被拒判官上根入口**(CC-289)。⑥ **服务端 7.111.0 两项**(CC-282 余项):`wiring_manifest` 接线回执新段 `instructions`(这条腿准备时项目记忆加载器选中的指令文件),只带这一段的帧开始出事件;子代转向成功结局带受理 id `messageId`。⑦ **展示出口对无标签裸 `Token <值>` / `token <值>` 形照遮**(CC-290):`token` 进方案词网,与 `Bearer` / `basic` 同分隔、同放行判法;地址路径以 `/token` 收尾后接三位 HTTP 状态码的日志行形放行。**为什么是 minor**:八只新顶层导出(`readToolTurnIncomplete` / `readUserInputUndrained` / `userInputUndrainedNotice` / `providerRejectionResend` / `taskRequestOmissionCausePhrase` / `disableSkillsDeclaration` / `settingsHooksKeptLocally` / `isReadCredentialRefusal`);根入口删一名 `SERVER_NOTICE_AUDIENCE`(🔴 型面 BREAKING;本机检索四端源码零读点,改用 `noticeAudienceOf`);🔴 对下列联合 / 闭集做穷尽 `switch` / `Record` 的 TypeScript 端编译红一次:`ControlSafetyCode` +1 员(`ledger_unavailable`)、`EngineNoticeFactsCode` +3 员(`EngineNoticeFacts` 另 +3 臂)、子代 steer 结局联合 +1 臂(`reason: 'not-delivered'`)、`PluginHookReason` +6 词与 `PluginHookExclusionReason` +1 词(见 Changed 第 2 / 3 / 8 条);可选位 additive:`ApprovalCardRequest` / `ToolPermissionRequest` / `ToolApprovalFrame` 各 +2 位(`askClass` / `classes`)、`readRunTerminal` 的 `failed` 臂 +`detail?`、`HooksWirePlan` +2 数组(判形口对缺这两只的计划按空数组收下:按 0.88.0 型面拼 / 派生计划的 JS 宿主零改动;TypeScript 自造计划 / 引擎事实字面量要补位)/ `HooksWireEngineFacts` +1 位 / `HooksWirePlanOptions` +2 可选入参、`TaskRequestInput.disableSkills?`、`WiringManifestChromeEvent` / `WiringManifestView` 各 +1 可选位 `instructions?`、子代转向成功结局 +1 可选位 `messageId?`;通告码册长度与受众来源、自愈 steer 腿的 503 判定、审批键表长度、交互车道上设置来源 hook 的请求体与执行者、展示出口对无标签 `token` 方案词形的输出字节等**已发导出的可观察变化**在 Changed 逐条单列(写明谁要跟)。根公面运行期导出 1372 → 1379(+8 −1);测试钩 62 不变;公面类型名 942 → 952(+10);超集键 +1(`_sema_instructions`);零新投影臂;请求装配车道表 45 → 46 行;`ENGINE_NOTICE_CODES` 81 → 86;`ENGINE_NOTICE_FACT_READERS` 17 → 20 行(用户面 13 → 16,运维面 4 不变);`PLUGIN_HOOK_REASONS` 13 → 19、`PLUGIN_HOOK_EXCLUSION_REASONS` 5 → 6;`TOOL_APPROVAL_FRAME_KEYS_MIRROR` 31 → 33、`TOOL_PERMISSION_REQUEST_KEYS` 14 → 16;peer sdk 地板 `>=12.0.1` 不动;开发依赖引擎 `~7.37.1` → `~7.38.2`(构建期,不进运行期依赖)。