@sema-agent/client-core 0.89.0 → 0.91.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (104) hide show
  1. package/CHANGELOG.md +297 -0
  2. package/README.md +35 -24
  3. package/dist/adapt/arms.js +9 -0
  4. package/dist/adapter/downstream/eventToSdkMessage.js +4 -2
  5. package/dist/adapter/downstream/wiringManifestView.d.ts +6 -0
  6. package/dist/adapter/downstream/wiringManifestView.js +16 -0
  7. package/dist/adapter/runStream.d.ts +2 -0
  8. package/dist/adapter/runStream.js +180 -38
  9. package/dist/askSurvivesStandingAnswer.d.ts +10 -0
  10. package/dist/askSurvivesStandingAnswer.js +40 -0
  11. package/dist/attachmentSeatCapability.d.ts +11 -0
  12. package/dist/attachmentSeatCapability.js +27 -0
  13. package/dist/attachmentsWireCaps.d.ts +22 -2
  14. package/dist/attachmentsWireCaps.js +95 -22
  15. package/dist/compensations.js +10 -14
  16. package/dist/controlRouter.d.ts +9 -2
  17. package/dist/controlRouter.js +66 -28
  18. package/dist/coreValuePorts.d.ts +1 -0
  19. package/dist/decideFailureNote.js +4 -2
  20. package/dist/disableSkillsWire.d.ts +1 -0
  21. package/dist/disableSkillsWire.js +8 -1
  22. package/dist/displayUntrusted.js +153 -4
  23. package/dist/engineCapReader.js +12 -1
  24. package/dist/engineCapsCache.d.ts +3 -1
  25. package/dist/engineCapsCache.js +56 -6
  26. package/dist/engineClosedSets.d.ts +2 -0
  27. package/dist/engineClosedSets.js +3 -0
  28. package/dist/engineErrorCodes.d.ts +3 -0
  29. package/dist/engineErrorCodes.js +10 -0
  30. package/dist/engineNoticeCodes.d.ts +2 -9
  31. package/dist/engineNoticeCodes.js +19 -27
  32. package/dist/fileHistoryLegNotice.d.ts +20 -0
  33. package/dist/fileHistoryLegNotice.js +122 -0
  34. package/dist/gateOutcome.d.ts +1 -1
  35. package/dist/gateOutcome.js +1 -0
  36. package/dist/generated/engineFactTables.d.ts +13 -0
  37. package/dist/generated/engineFactTables.js +50 -0
  38. package/dist/generated/engineNoticeTables.js +0 -3
  39. package/dist/hitl/askGateWire.d.ts +1 -1
  40. package/dist/hitl/askGateWire.js +1 -1
  41. package/dist/hitl/crashConverged.d.ts +7 -0
  42. package/dist/hitl/crashConverged.js +57 -0
  43. package/dist/hitl/crashConvergedNotice.d.ts +4 -0
  44. package/dist/hitl/crashConvergedNotice.js +57 -0
  45. package/dist/hitl/hitlBridge.d.ts +7 -4
  46. package/dist/hitl/parkResolver.d.ts +7 -2
  47. package/dist/hitl/parkResolver.js +19 -7
  48. package/dist/hitl/planReviewWire.d.ts +1 -1
  49. package/dist/hitl/planReviewWire.js +18 -4
  50. package/dist/hitl/sessionPolicyWire.d.ts +5 -0
  51. package/dist/hitl/sessionPolicyWire.js +63 -0
  52. package/dist/hitl/suspendedReopen.js +2 -2
  53. package/dist/hitl/toolApprovalWire.d.ts +4 -1
  54. package/dist/hitl/toolApprovalWire.js +20 -0
  55. package/dist/hookMatcherVerdict.d.ts +29 -0
  56. package/dist/hookMatcherVerdict.js +265 -0
  57. package/dist/hookToolAliases.d.ts +3 -0
  58. package/dist/hookToolAliases.js +10 -0
  59. package/dist/humanTurn.d.ts +91 -0
  60. package/dist/humanTurn.js +253 -0
  61. package/dist/humanTurnRead.d.ts +105 -0
  62. package/dist/humanTurnRead.js +331 -0
  63. package/dist/index.d.ts +30 -5
  64. package/dist/index.js +19 -4
  65. package/dist/inheritEnvWire.js +1 -1
  66. package/dist/liveModelCatalog.d.ts +2 -0
  67. package/dist/liveModelCatalog.js +51 -3
  68. package/dist/permissionRuleIssue.d.ts +1 -1
  69. package/dist/permissionRuleIssue.js +22 -3
  70. package/dist/permissionsAllowGrantCapability.d.ts +18 -0
  71. package/dist/permissionsAllowGrantCapability.js +84 -0
  72. package/dist/permissionsDeclaration.d.ts +48 -0
  73. package/dist/permissionsDeclaration.js +307 -0
  74. package/dist/promptDelivery.d.ts +16 -5
  75. package/dist/promptDelivery.js +172 -32
  76. package/dist/providerRejection.d.ts +3 -1
  77. package/dist/providerRejection.js +27 -1
  78. package/dist/readDenyTiers.d.ts +10 -0
  79. package/dist/readDenyTiers.js +29 -0
  80. package/dist/request/taskRequest.js +27 -1
  81. package/dist/resumeRefusalCopy.d.ts +11 -0
  82. package/dist/resumeRefusalCopy.js +61 -4
  83. package/dist/rewindArchiveCapability.js +4 -4
  84. package/dist/rewindWireCaps.d.ts +2 -1
  85. package/dist/rewindWireCaps.js +19 -2
  86. package/dist/sdkRegistryTransit.d.ts +1 -0
  87. package/dist/sdkRegistryTransit.js +1 -0
  88. package/dist/seam.d.ts +2 -0
  89. package/dist/supportFloor.d.ts +10 -0
  90. package/dist/supportFloor.js +42 -0
  91. package/dist/taskRequestWords.d.ts +7 -0
  92. package/dist/taskRequestWords.js +24 -0
  93. package/dist/toolHistoryBadTurn.d.ts +1 -0
  94. package/dist/toolHistoryBadTurn.js +89 -0
  95. package/dist/toolHistoryMismatch.d.ts +2 -1
  96. package/dist/toolHistoryMismatch.js +19 -6
  97. package/dist/userAttachmentEnvelope.d.ts +61 -0
  98. package/dist/userAttachmentEnvelope.js +204 -0
  99. package/dist/wireFailureShape.d.ts +1 -0
  100. package/dist/wireFailureShape.js +4 -0
  101. package/dist/wireRefusalCopy.d.ts +6 -0
  102. package/dist/wireRefusalCopy.js +26 -3
  103. package/docs/INTEGRATION-CLIENTS.md +1369 -18
  104. package/package.json +3 -3
package/CHANGELOG.md CHANGED
@@ -49,6 +49,303 @@
49
49
  > 挡住 ⇒ 本批把它机械化——④a0 对 `pending` 行**要求段头已是日期形**(`(未发布)` 直接红),阶段一
50
50
  > commit 漏转在发布前就红,不再靠人记。
51
51
 
52
+ ## 0.91.0(2026-10-05)
53
+
54
+ > 主题:**minor** —— steer 拒收处置句单源与两只已有判定上根入口 · 引擎闭集表四张提货与问类仲裁 · 会话历史 tool_use 错配一族收口(「改了重发」归合成终局行、出路句事实位、行键读口与点名坏轮句)· 投递事实账本的来源位 / 份额位与按引擎代查询 · 崩溃遗留通告那一行话归包 · 权限规则装配口的筛选理由报告口与读健康位 · 能力位有界等待 · hooks matcher 受理判定 · 会话规则读失败句与 `inheritEnv` 拒绝句改口 · 展示出口 YAML 块标量整块遮 · 用户附件数据信封与人类提交的唯一投影 · 服务端 7.115.0 / sdk 16.1.0 提货(「只续已有会话」按码优先、`checkpoint.unsupported_version` 读口与出句口、hooks matcher 别名拒事后读口、`probeReason` 与 `fleet` 段过境、夹具换代)· 登记物整治(已知限制档清账、退役台账与影子表到期读法)· 开发依赖 settings-schema ^8。
55
+
56
+ ### Added
57
+
58
+ - **投递账本的记录带来源位与份额位,读回分得清「是谁说交出去了」**(CC-293;**§117 PL-1**):`PromptDeliveryRecord` 加两只可选键 —— `by?: 'frame' | 'steer_receipt'`(这条 `d` 是本包哪一只写口记下的:引擎流上建了 run 的帧 / 拒收之后自愈递进在跑 run 的受理回执)与 `share?: 'full' | 'partial'`(交出去的份额,只挂带 `by` 的 `d`,缺席 = `full`);`a` 记录不带扩展键。账本对象加两只读口:`deliveryShareOf(uuid)` → `'full' | 'partial' | undefined`,`droppedKeyCount()` = `fromRecords` 读回时丢掉的键累计数(收下的记录身上没保留的键;整条被跳过的坏行不计)。判定:带 `by` 的 `d` ⇒ 交出去了(`share: 'partial'` 时 `isDelivered` 真、`knownUndelivered` 假、份额 `partial`);**没有 `by` 的 `d`(0.90.0 及更早写下的)读作 legacy ⇒ `isDelivered` / `knownUndelivered` 两判皆假**(不知道);扩展位读不懂(表外词 / 非串 / 取值器 / 只在原型链上 / 只有份额没有来源)⇒ 这一条按 legacy 记,存下的记录不带扩展键(经本账本再写出去也不会升格)。合并取上确界(`full` ⊔ `partial` = `full`、带来源 ⊔ legacy = 带来源),与先后无关、不按最后一条;读回只在读数上升时返回新增记录。0.90.0 的读者读本版记录时剥掉扩展键读成 `d`,对这些记录与本版读者答案一致。
59
+ - **点名坏轮那一句 `toolHistoryBadTurnSentence(promptText)`**(CC-303;**§117 TH-3**):宿主解析到坏记录所在那一轮、`/rewind` 预选了那一行之后,取这一句接在本包出路句 / 次数句之后。处理顺序:非串当空 → 去显示标签(成对的小写 XML 形标签块;删完为空则用原文)→ 空白折成一格并去首尾 → 展示出口单行洗(`displayUntrusted`,`{ foldLines: false, mark: 'dot' }`)→ 按码点截前 60 个、超出补 `...`。**先洗后截**(先截会把一枚凭据截成半只、洗法认不出就原样漏进句子);按码点截(不劈代理对)。两句:有预览 `The broken record is in the turn you started with "<预览>"; /rewind has that prompt preselected, so restore the conversation to before it.`;无预览(空串 / 非串 / 洗完为空)`The broken record is in the turn /rewind has preselected; restore the conversation to before it.`。恒返回一句(要不要说这一句由宿主定);去标签是线性扫描。与终端现行那一句逐字节同。
60
+ - **行键读口 `readToolHistoryMismatchKey` 与行键型 `ToolHistoryMismatchRowKey` 上根入口**(CC-304;接入文档 **§117 TH-1**):合成终局行顶层的 `_sema_tool_history_mismatch` 原样交进来(非对象 ⇒ `undefined`),拿回一只新对象 `{ kind, toolUseId?, consecutive?, rewindOffered? }`;四位都只读自有数据位(继承来的 / 取值器形的成员当缺席 —— 本版起,此前包内这一只按属性访问读;JSON 行上两者同答);kind 在闭集外或缺席 / 读它就抛 ⇒ `undefined`,可选成员坏形逐个丢,永不抛。与 `adapt()` 重建合成行时接力用的是同一只读口(同一函数对象)。读法与闭集只在这一只读口里 —— 端不必再自判顶层位在不在。
61
+ - **hooks matcher 受理判定 `hookMatcherVerdict(event, matcher)` + 型 `HookMatcherVerdict` / `HookMatcherUnjudgedReason`**(CC-306;接入文档 **§117 HV-1**):一只纯函数回答「这条 matcher 放在这个事件上,服务端会不会因为它选中了某个工具的别名、却选不中别名的正名而拒掉整份提交」。读法与服务端 7.114.0 / 7.115.0 受理面同一套:只判 matcher 按工具名匹配的三只工具事件(PreToolUse / PostToolUse / PostToolUseFailure);缺席 / `""` / `"*"` 匹配一切;只含名字字符、半角空格、竖线与逗号的串按名字表读(竖线或逗号分名、每段去两端空格、空段丢、区分大小写),其余按锚定正则读;别名表读 `hookToolAliasesOf()` 那同一张生成表。四臂:`matchesAll` / `accepted`(带读法、名字表读法分出的名字、它点名或匹配到的别名与正名)/ `refused`(理由词 `alias_without_canonical`,带第一对别名与正名 —— 与服务端 7.115.0 起 400 体 `detail` 的 `alias` / `canonical` 同答)/ `unjudged`(带理由:事件不在范围、matcher 不是串、超过 8192 字符、正则编不过、正则用了给不出耗时上界的语法、静态回溯上界超预算)。**`unjudged` 不是受理**,调用方不得当通过。用户写的正则只拿去配别名表里的工具名,执行前先过静态回溯上界,病态正则不执行;永不抛,读数冻结、每次新对象。装配口照旧把 matcher 原样放上请求体,跳过口照旧按原串做键;提交前要不要预检由宿主调本口决定。逐代读法(服务端 ≤7.111.x / 7.113.x / ≥7.114.0)见接入文档 §117 G-HV7 表。
62
+ - **steer 拒收合成口 `steerRefusalAdviceOf(e)` + 型 `SteerRefusalAdvice`**(CC-307;接入文档 **§117 SR-1**):对一个 steer 抛出物(sdk 抛出的错误对象,或 `ControlSafetyError` 的 `cause`)给出 steering 族的判别位与处置句 `{ safety, advice }`;不是 steering 族 ⇒ `undefined`。判别与 `ControlRouter.steer` **是同一份**:路由器自己也改调这一只,同一抛出物上路由器抛出的 `ControlSafetyError` 的 `code` / `advice` 与本口的 `safety` / `advice` 逐字节同。判别三步:码优先、sdk 类名兜底,`steering.` 前缀在场即归族、表外码落开集位 `steering_other`;「服务端在交给引擎之前就拒了」的那几位要状态码与码(或类名)合取成立才给,不成立落开集位;开集位的句子按状态码是否 4xx 分两句(4xx ⇒「没落地」,其余 ⇒「送达未知,别当它确知被丢而重发」),与 `atMostOnceFailureClass` 的送达判定同一条线。受保护读:码 / 类名 / 状态码任一读位抛 ⇒ `undefined`,绝不抛;每次交新对象。入参是 `ControlSafetyError` 本身时答 `undefined`(它自己带 `code` / `advice`)。
63
+ - **`ControlSafetyError.advice?` / `ControlSafetyError.status?`**(CC-307;**§117 SR-2 / SR-3**):两只自有只读位。`advice` = 这次拒收的处置句,不含码前缀(路由器铸的错误上 `message` 恒为 `<前缀> — <advice>`,两者同源);steering 族恒在,cancel 的两只 409 位(`cancel_run_not_running` / `cancel_lost_race`)与「没有在飞的 run 可 steer」在,只陈述、不含处置的两句(cancel 404 `not_found` / 没有在飞的 run 可取消)缺席。`status` = 抛出点从原始错误上读到的 HTTP 状态码(`errCodes` 同一读法:`status ?? statusCode`,数值才带);本地拒(请求没发出去)/ 没有数值状态码 / 读位抛 ⇒ 缺席。两位缺席时不是自有属性(`'advice' in err` 为假),不是值为 `undefined` 的属性。**`message` 逐字节不变**(对 180 种抛出物与 0.90.0 构建实跑逐字节比过,见下方 Changed 唯一一条例外)。构造签名加可选第四参 `detail?: { advice?: string; status?: number }`(只收非空串与数,其余当缺席);旧的两参 / 三参调用逐字节同旧、两位缺席。
64
+ - **`steeringRefusedBeforeEngine(e)` + 型 `SteeringRefusedBeforeEngine` 上根入口**(CC-307;**§117 SR-4**):「服务端在交给引擎之前就拒了」的 5xx 判定(今天唯一一行:503 ∧ `steering.ledger_unavailable` 或 sdk 专类名),此前是包内件(自愈 / 子代 / 主 run 三条 steer 路径共用)。语义不变:入参收对象、受保护读、判不出 ⇒ `undefined`。合取成立时与 `steerRefusalAdviceOf` 对同一抛出物同答;型与 `SteerRefusalAdvice` 同形。`steeringStatusIs4xx` 不上根入口(合成口的零件;端拿合成口的结论,不另按状态码分句)。
65
+ - **合成终局行上的「改了重发」读数 `_sema_provider_rejection_resend`**(CC-309 ②;**§117 TH-4**;超集键 +1):值 = `providerRejectionResend` 的读数原样 `{ resend, text }`。
66
+ - **崩溃遗留通告那一行话:整行 `crashConvergedNotice(projection)` / 按因由一句 `crashConvergedNeedsHumanSentence(reason, n, total)` / 句序 `NEEDS_HUMAN_REASON_ORDER`**(CC-310;**§117 CN-1 … CN-4**):上一次引擎运行留下、被收敛成 denied 的审批(`projectCrashConverged` 的产物)要对人说的那一行话,唯一措辞真源。
67
+ - `crashConvergedNotice(projection)`:入参 = `projectCrashConverged` 的产物原样(宿主按自己的披露账摘过行的,按两桶长度重算 `total` 后交)。出英文一行:头句 `the previous engine run ended with <N> approval(s) still waiting (recorded as <cause 码>), and the engine converged it / them to denied`(cause 码原样复述、按首见序去重,不翻译成「引擎崩了」)→ 有需人核行时按因由逐句,否则 `based on what was recorded, it / they can be re-run` → `. sema has not re-run anything.` → 有读不出的行时补 ` (<N> further record(s) could not be read.)`;两桶都空、只有读不出的行时只说 `the previous session left <N> crash-converged approval record(s) that this version could not read. sema has not re-run anything.`。需人核那一段:各因由按 `NEEDS_HUMAN_REASON_ORDER` 各一句,因由缺席 / 表外 / 读不出的行合成兜底一句 `<n> of <total> had already been approved, or cannot be accounted for, so a side effect may have partly landed` 排最后,句间 `; `,收尾 ` — check it / them by hand before re-running` 只说一次(按需人核行数选 it / them)。缺席(`undefined`)/ 服务端明说一条都没有(`total` 与 `dropped` 都是 0)/ 读不懂(不是投影形、两桶长度之和不等于 `total`、计数不是非负整数、行数超过 100000、取值器 / 原型位 / 代理)⇒ `undefined`,不抛;某一行的因由读不出只让那一行落兜底句,某一行读不动只让括号里的码整截不写。分桶只信投影:不读 `orphanState` / `resumeSafe` 位 / 已批证据。对投影形入参与终端现行那一行逐字节同。
68
+ - `crashConvergedNeedsHumanSentence(reason, n, total)`:四因由各一句(单复数只看 `n`):`approved_then_interrupted` ⇒ `<n> of <total> had already been approved and may have been running when the previous engine run ended, so a side effect may have partly landed`;`pending_unsafe` ⇒ `<n> of <total> had not started, based on what was recorded, but the engine did not mark it / them as safe to re-run`;`contradictory` ⇒ `<n> of <total> has a contradictory record / have contradictory records`;`unstable_row` ⇒ `<n> of <total> has a record that read differently each time it was read / have records that read differently each time they were read`。表外词 / 非串 / 原型链上的名字 / 包装串 ⇒ `undefined`;`n` 不是正整数、`total` 不是不小于 `n` 的整数 ⇒ `undefined`;不抛。兜底句不在这只口上(只在整行口里)。
69
+ - `NEEDS_HUMAN_REASON_ORDER`:冻结元组 `approved_then_interrupted` / `pending_unsafe` / `contradictory` / `unstable_row` —— 句子排在屏上的顺序;与 `needsHumanReason` 字面量联合的声明序(分桶时的判定优先序)不同是有意的,构建期保证它恰是那只联合的一个排列(删一员 / 多一员 / 重复一员都编译红)。
70
+ - **`engineCapsSettled(baseUrl, { withinMs })` 有界形**(CC-311;接入文档 **§117 CS-1 … CS-3**):签名 `engineCapsSettled(baseUrl, opts?: { withinMs?: number })` ⇒ `Promise<'settled' | 'timed_out'>`。
71
+ - 不给 `withinMs`(`opts` 缺 / `null` / `{}` / `withinMs: undefined`)⇒ 与 0.90.0 逐字节同行为:等到当前探测落地,零计时器。
72
+ - 给了而此刻有在飞探测 ⇒ 最多等 `withinMs` 毫秒:探测先落地(成败皆算)⇒ `'settled'`,到时 ⇒ `'timed_out'`。到时**不取消**探测,之后落地的位照常进缓存。返回值只说「等待为什么结束」,不是能力读数:要知道引擎说了什么,返回后仍读缓存位(`engineCapState` / `engineCapTrue` / 片段口;KL-445)。
73
+ - 没有在飞探测 / `baseUrl` 缺席 / 空串 ⇒ 立即 `'settled'`,**不铸计时器**。计时器**不 unref**(被 await 的预算臂:探测永不落地时它是 `await` 唯一的 settle 来源,unref 会让没有别的存活句柄的进程在到时之前退出,实读退出码 13),ref 保持到清掉为止,返回前一定清掉(先落定 / 到时 / 异常三条路同),寿命上界 = `withinMs`;预算是**一次调用的总预算**(引擎温切把等待接力到新探测上时不重铸),接力后读到的是新引擎的位。
74
+ - 读不懂的 `withinMs`(≤ 0 / `NaN` / `±Infinity` / 非数 / 数字串 / `bigint` / `opts` 不是对象 / 取值器抛 / 已撤销代理)⇒ 读成「不等」(没在飞 ⇒ `'settled'`,在飞 ⇒ `'timed_out'`),**绝不退成无上限**;超过 2^31−1 毫秒的值夹到 2^31−1(不回绕成 1 毫秒);小数 `0.5` 是有界。「没给」与「读不懂」答法不同,见 KL-447。
75
+ - 任何情况不抛:计时器工厂本身抛也只答 `'timed_out'`。
76
+ - **`disableSkillsDeclarationSettled(want, baseUrl, withinMs)`** ⇒ `Promise<DisableSkillsDeclaration>`(CC-311;**§117 CS-4**;KL-357 改写):`disableSkillsDeclaration` 的有界异步变体 —— 先有界等这台引擎的能力探测落定,再调同步片段口,答案**逐字**经同步口出(不另造成因、不另造措辞)。宿主已起探测、窗内落定且读到的能力位为真 ⇒ 首发就给 `{ disableSkills: true }`;其余一律与同步口同答 —— 到时仍没读到 / 探测失败 / 宿主没起过探测(本口不替宿主起探测,没有在飞探测可等,立即答)⇒ `unprobed` 回执(同一句话),引擎没报 / 报假 / 报了读不懂的值 ⇒ 对应成因的回执。`want` 的静态型是 `boolean | null | undefined`(同步口是 `unknown`);意图不是 `true`(`false` / `undefined` / `null`)不等、立即按同步口答;运行期坏意图(JS 宿主 / 类型断言)先于等待抛同一句坏值句(起头换成本口名),不先白等一个窗;`withinMs` 缺 / 读不懂 ⇒ 不等。**同步口 `disableSkillsDeclaration` 一字不动**(仍纯同步读缓存,能力没读到仍答 `unprobed`)。
77
+ - **权限规则装配口的筛选理由报告口 `permissionsDeclarationReport(input, caps)` + 闭集 `PERMISSIONS_KEPT_REASONS` + 型 `PermissionsDeclarationReport` / `PermissionsKeptRule` / `PermissionsKeptReason` / `PermissionsRewrittenRule` / `PermissionsUncheckedRule`**(CC-314;接入文档 **§117 PX-1 – PX-4**):与 `permissionsDeclaration` 出自**同一次遍历**(两只口共用一只内部装配,不另判)。`permissions` 与投口逐字节同(在场与否也同);`kept` 列出每一条没随请求发出的规则串与理由,十二词闭集 —— allow 桶两道门 `allow_capability_off` / `settings_read_not_clean`,逐条判的各关 `empty_rule` / `paren_in_tool_name` / `retired_tool_name` / `unprefixed_namespaced_name` / `incomplete_protocol_name` / `home_relative_path` / `compile_refused` / `content_form_not_grantable` / `judge_failed`,同桶去重 `duplicate`;一条规则只报它在判定路径上第一个没过的那一关。`rewritten` 列出每一条写法变了的投出规则 `{ from, to, bucket }`(旧名归一、整工具形、整服务器 / 整 peer 写法);`unchecked` 列出投出了但规则编译器答不上来的 deny / ask。入参四只列里每一条规则串恰好落在「投出」或 `kept` 之一;数组里的非串与纯空洞不是规则串,两口都跳过。抛的范围与句子与投口逐字节同。端向用户解释「这条规则为什么没随请求发出」只读 `kept`;审批的同步放行照旧按**全部** allow 规则做 —— 发出去的 allow 在引擎那边是「有人对这只工具表过态」,不是免问。
78
+ - **`PermissionsDeclarationInput.settingsRead: 'clean' | 'partial' | 'unreadable'`(型面必填,型面 BREAKING)**(CC-314;**§117 PX-5**):构造入参不带它 ⇒ 编译红,0.90.0 起的调用方加这一位即过(`permissionsDeclarationReport` 同型);运行期缺席(JS 调用方)按下面的「缺席 = 不知道」处置。**产出这批规则的那一次设置读**的健康(`'clean'` = 读得出、零问题键 —— 读不干净时宿主沿用上一次干净读里已有的 allow,那一批也交 `'clean'`;`'partial'` = 有文件带坏字段、权限段照常解析出来;`'unreadable'` = 有文件读不出;缺席 = 不知道)。行为见下方 Changed。
79
+ - **用户附件数据信封 `mintUserAttachmentEnvelope(descriptor)` + 型 `UserAttachmentDescriptor` / `UserAttachmentNotebookCell`**(CC-315;接入文档 **§117 AE-1 … AE-4**):引擎没有附件席位时,用户 `@` 附上的文件 / notebook / 图片 / PDF / 目录写成模型读的那段文本 —— 唯一铸点。形:头部事实句(谁附的、名字、绝对路径、行数 / 条目数 / 体积、完整与否)+ 空行 + 围栏 + 带行号正文 + 围栏;PDF / 图片 / 没带上的 / 空文件 / 空目录只有事实句。不自称调用过工具、不用提醒形外壳、不嵌指令句;像素、PDF 正文、notebook 图片输出与读不了 / 过大 / 被读规则挡住的路径一律如实说没带(页数读不到写 `page count unknown`,不估)。边界三规则只在铸点里:① 围栏长度 = 整只信封里任意位置最长的波浪线类连续串(含五个形近码位)+ 1、至少 4;② 正文行内的九个断行码位(CR / VT / FF / U+001C – U+001E / U+0085 / U+2028 / U+2029)写成可见转义并在头部说一句;③ 名字 / 路径 / 条目名含控制 / 格式 / 分隔 / 孤代理码位、双引号或反斜杠时写成 JSON 串并把余下的那些码位写成 `\uXXXX`。描述符六形(`text` / `notebook` / `image` / `pdf` / `directory` / `not-included`)由端读盘后交进来,本包不读盘;按不可信入参读(只认自有数据位、取值器不执行),坏形抛 `TypeError`。字节与终端现行那一份逐字节同(45 条参考样本逐字节拷进本包门);notebook 单元的「输出过大」由端判成结构位 `outputsTooLarge`(不认端的替身文本)。
80
+ - **人类提交装配 `encodeHumanTurn(input)` + 交账本两档 `deliveredUuidsOf(encoding)` + 看图判定 `imageVisionOf(model, catalog?)`**(CC-297 子集 / CC-315 ②;**§117 HT-1 … HT-7**):一次提交(有序条目:正文、粘贴图、`@` 附件描述符、上传件、随行、端报的缺失)→ 请求载体的唯一投影。两个载体:`objective`(交互车道与一次性 `-p` 车道共用;`text` + `images` + `attachmentIds`)与 `steer`(只有 `text`)。投影:各条「附件信封 …(空行分隔)该条正文」,各条非空条目正文按序换行连接。`objective`:图片座位计划一次算定 —— 粘贴图先占、至多 20 张、单张与合计 base64 各 6 MiB、模型能看图(`caps.vision === 'yes'`)才放 `@` 图片的像素,入座的那张信封说已随附、其余说未附;请求体 8 MiB 核算(入参 `otherBodyBytes` = 请求体其余键的序列化字节数,算式与真序列化逐字节相等,恰好等于上限照收),装不下把贡献最大的附件降为一句引用(同大先降靠后的),全降仍超 ⇒ `oversize`。`steer`:内容形过引擎的补话文本判据(提醒形标签 / 控制字符 / 16000 码元)即发,不过 ⇒ 全部附件降为引用句再判,仍不过 ⇒ `{ ok: false, reason: 'steer_hold', why }`(留队,这一轮结束后作普通提交发出)。份额:每条逐项(正文 / 每张图 / 每只附件 / 每个上传件 / 按角色要求的随行正文 / 端报的缺失)记 full 或 none,条目级 full / partial / none;`degraded` 是编码器自己降掉的那几项,与份额出自同一份记录。拒绝臂闭集 `empty` / `malformed_input` / `malformed_item` / `duplicate_uuid` / `rider_collides_primary` / `oversize`;永不抛。`deliveredUuidsOf` 交 `{ full, partial }`(档内带该条主 uuid + 随行 + 附件 uuid;`none` 不入,`ok: false` ⇒ 两档皆空),原样交给投递账本的两只写口:两档都经写口记交出,`partial` 记 `share: 'partial'`;`knownUndelivered` 只对两档都没记的条目为真。`imageVisionOf` 找在线目录那一行时先找 name 恰等于目标的、一行都没有再找 id(与本包在线目录的引用归一 `normalizeLiveModelRef` 同一只解析规则,两者现在共用它;一行的 id 撞上另一行的 name 时取 name 那一行):行上自有的 `vision` 为真 ⇒ `yes`、为假 ⇒ `no`,其余(目录缺席 / 找不到 / 没这一位 / 只在原型链上或是取值器)⇒ `unknown`,取值器一次不执行;缺省读本包的在线目录。型:`HumanTurnInput` / `HumanTurnItem` / `HumanTurnAttachment` / `HumanTurnRider` / `HumanTurnMissing` / `HumanTurnCaps` / `HumanTurnEncoding` / `HumanTurnShare` / `HumanTurnSharePart` / `HumanTurnDegraded` / `HumanTurnDelivered` / `ImageVision`。
81
+ - **附件席位能力位三口 `noteEngineCapsForAttachmentSeat` / `observedAttachmentSeat` / `forgetAttachmentSeatReading` + 型 `AttachmentSeatReading`**(CC-315 ③;**§117 AE-5**;测试钩 `__resetAttachmentSeatReadingsForTests`):能力位读器族同一套 tee / 读口 / 换代失效口。今天读数只有 `unobserved` / `not_reported` 两态 —— 引擎席位的能力位键名随引擎那一版的判据定,本版不铸;读到普通对象能力表 ⇒ `not_reported`(不是「不支持」)。装配口今天恒走数据信封。
82
+ - **`abortableSleep(ms, signal)` 上根入口**(CC-317;**§117 RX-1**):abort 感知的 sleep —— 到点 resolve;等待中 `signal` 被 abort 即刻 resolve 并清掉定时器;入口时已 aborted ⇒ 立即 resolve、零定时器。与包内两处轮询退避用的是同一个函数(根入口导出与包内调用是同一引用)。同文件的 `settleWithinDeadline` 不出。
83
+ - **`isAlreadyResolvedFailure(outcome)` 上根入口**(CC-317;**§117 RX-2**):两条决断路径的失败结局(`GateOutcome` / `FsApprovalOutcome` 的 `failed` 那半)判「这张门是不是早就被解决了」—— 闭集失败码在场只信码(`no_pending` ⇒ 真);码说清了自己是「门还在」或「续跑启动期失败」的不进文案臂(⇒ 假);停驻挪动族三码按码判「门已不在原处」(⇒ 真);其余落文案兜底词表。与包内停泊路径用的是同一个函数。公面口受保护读:入参不是对象、任一读位抛 ⇒ `false`(答真会让调用方续读流 / 重探坐标,读不出就不放行),绝不抛。
84
+ - **引擎两只闭集表 `ASK_EVIDENCE_ABSENCE_VALUES` / `SYSTEM_INJECTION_PRIORITIES` 上根入口**(CC-318;接入文档 **§117 UT-1 … UT-3**):审批问的规则证据某一位「为什么没有值」的已知词(`not_wired` / `not_adjudicated` / `unavailable` / `no_match` / `not_reported`)与系统注入队列的档位(`now` / `next` / `later`)。此前三端各自手抄一份、靠镜像门对值;本版起表由**构建期从已装开发依赖引擎的包根常量生成**(`scripts/gen-upstream-tables.mjs` 第七批),运行期不读引擎,根入口交出的是生成物那个冻结对象(`as const` 元组,成员型可由它派生)。表是**已知词**清单,不是线上词的闭集判官:读线上帧的口仍按开集原样带回表外词。生成器遇到引擎里没有这只名字 / 不是数组 / 空数组 / 有重复 / 含非串或空串一律拒生成(非零退出、不落盘空表)。
85
+ - **问类仲裁表 `MODE_ARBITRATION` 与「常驻回答放行之后还问不问」判定 `askSurvivesStandingAnswer(card)`**(CC-322 ①;**§117 SA-1 … SA-4**):
86
+ - `MODE_ARBITRATION`:问类 → `{ bypassImmune, classifierEligible, sandboxAdmission, ruleMayClear, hookAskFloor }` 五个布尔,逐键逐位同引擎(今天 22 类),冻结且每一行也冻结;同上由生成器第七批生成(行缺位 / 多位 / 位非布尔 / 键是 `__proto__` 或数组下标形 ⇒ 拒生成)。
87
+ - `askSurvivesStandingAnswer(card)` ⇒ `{ kind: 'must_ask', by }`(`by` = `'mandated'` 或第一个清不掉的问类名)/ `{ kind: 'may_answer' }` / `{ kind: 'unknown' }`。只读卡上自有的 `mandated` 与 `classes` 两位,都受保护读(读抛 ⇒ `unknown`;原型链上的位不算;`classes` 的长度只读一次、读完再核,读的过程中被改动的数组 ⇒ `unknown`):`mandated` 严格为 `true` ⇒ `must_ask`;否则 `classes` 须是非空的串数组,按数组序逐类查表 —— 遇到 `ruleMayClear` 不是 `true` 的类 ⇒ `must_ask`、遇到表外类名 ⇒ `unknown`(开集词按收紧方向)、全部在表且全可被清 ⇒ `may_answer`;`classes` 缺席 / 非数组 / 空数组 / 含非串 / 有洞 ⇒ `unknown`。**`unknown` = 调用方不得让位**(与 `must_ask` 同处置),绝不折成 `may_answer`。不读 `origin` / `ruleOffersAbsence` / `shadowed` / `askClass`(引擎已明说「被盖住」不是判定输入)。判定函数只读生成表,零问类名字面量。表是构建期快照(KL-427);老服务端(< 7.109.0)停下的卡没有 `classes` ⇒ `unknown`(KL-428)。
88
+ - 型:`StandingAnswerVerdict`。
89
+ - **内置读拒表档位词表 `READ_DENY_BUILTIN_TIERS` / `READ_DENY_DEFAULT_TIERS` 与部署键串校验口 `parseReadDenyBuiltinTiers(input)`**(CC-327;**§117 RD-1 … RD-4**):两张词表(五档全集 `credentials` / `shell-history` / `browser` / `wallet` / `agent-config`;不配置时在岗的两档 `credentials` / `agent-config`)同上由生成器第七批生成,出厂在岗档必须是全档的子集(否则拒生成)。`parseReadDenyBuiltinTiers(input: string)` 判面板输入能不能写成部署键 `READ_DENY_BUILTIN_TIERS` 的值:
90
+ - `{ ok: true, value: null }` —— 空 / 全空白 = **删键**(回到引擎出厂缺省;不是把空串当值写进去,服务端对空值拒启);
91
+ - `{ ok: true, value: 'none' }` —— 显式空姿态,整张内置表关;只能单独出现;
92
+ - `{ ok: true, value: '<规范拼法>' }` —— 各项两端空白裁掉、按输入序、逗号连接(不排序、不去重、大小写敏感;同一档位写两次照收,`browser,browser` 仍是 `browser,browser` —— 服务端对这样的串照收,引擎一侧在岗档位是集合,重复无害);
93
+ - `{ ok: false, why }` —— 空项 / `none` 与别的项并列 / 表外档位;`why` 是一句英文单行,回显的用户原值过本包展示出口(凭据遮蔽 / 控制符转义 / 封长),超长原值不整串回显。
94
+ - 非串入参 ⇒ `{ ok: false }` 不抛;`value` 永不是空串。校验口只读生成表,函数里没有任何一档的字面名。
95
+ - 🔴 串文法(逗号切分 / `none` 哨兵 / 空白口径)是按服务端受理行为写的镜像,服务端发布包里没有可直接调用的纯解析函数,所以没有可对拍的受理口,门里只有九格金样(KL-425;退役登记 RL-21)。
96
+ - 型:`ReadDenyBuiltinTiersParse`。
97
+ - **`sessionPolicyReadNotice(outcome)`**(CC-328;接入文档 **§117 SN-1 … SN-3**):会话规则记录**读不到**时的一句人话,唯一措辞真源。入参取 `readSessionPolicy` 结局的非 `present` 两臂 —— `failed` 按失败分类各一句(十一句)、`malformed` 按读不懂位置各一句(三句)—— 外加宿主自己的 `{ kind: 'no_target' }`(没有连上引擎,会话规则记录读不到;连上后再看)一句,十五句两两互异。`no_target` **不是读口的结局**:本包的 `readSessionPolicy` 永不铸这一臂,它是宿主自己的状态,句子放在这里是为了让这一页的读不到只有一个说话人。零机器词:失败分类原词、状态码、机器码、读不懂位置原词、引擎原文与读不懂的细节一个字都不进句子,宿主要摆自己对结局取。读不到不等于没有规则:没有一句说「空 / 没有限制」;「没有这条会话」两种成因一起说(可能不存在、也可能是别人的),这一面不给存在性预言机;`malformed` 的 `rule_field` 一句说清为什么整份都不展示(半坏就是坏)。入参不是对象 / 表外臂 / 表外失败分类 / 表外读不懂位置 / 原型键 / 读属性就抛 ⇒ 同一句通用话,不抛;每个键只取一次自有属性描述符、只认自有数据位(自有访问器不执行、按缺席算,不让不可信入参在这里跑代码)。声明面入参型 = `Exclude<SessionPolicyReadOutcome, { kind: 'present' }> | { kind: 'no_target' }`(类型面挡着「把成功当失败渲」);失败分类或读不懂位置多一种而没给句子 ⇒ 构建期编译红(穷尽 `switch`,无 `default`)。写口那一侧的三句(收紧 / 撤销 / 不写入)不变。
98
+ - **按引擎代查询「在那一代上提交过、仍没交出去」**(CC-334;**§117 PL-2**):`attempted(batchUuids, opts?)` 收可选 `{ generation }`(非负安全整数)⇒ 这一批记到该代的索引(同一 uuid 再提交 ⇒ 挪到最近一次的代与先后);账本新读口 `undeliveredInGeneration(generation)` 返回该代上提交过、此刻仍确知没交出去的 uuid(按最近一次提交的先后),读出即销该代的**索引项** —— 两只事实集合不动:读完之后 `knownUndelivered` 照旧为真、迟到的交出照记,同一代再读答空。代不进记录、不落盘;代不合法(非整数 / 负数 / 非数 / 选项读不动)⇒ 不记代、事实照记;读口收到坏代 ⇒ 冻结空数组、不抛。旧的一参调用不变。
99
+ - **`attachmentsSubmitVerdict(env?)` + 型 `AttachmentsSubmitVerdict`**(CC-337;**§117 AV-1 … AV-4**):`SEMA_ATTACHMENTS` 的**不抛**判读口。与 `attachmentsForRequest` 是**同一只判官**的两个出口 —— 同一取值,抛的那条路拒 ⇔ 本口 `ok: false`;收的那条路交出的声明与本口 `attachments` 逐字相同。`{ ok: true, attachments } | { ok: false, sentence, refusedKey }`:`sentence` 是一句可直接上屏的新句 —— 不带内部出处字样、不引被拒的原值(只说「清单里的第 N 项」与它属于哪只键;键名取自本包的键表)、带出路(合法写法、怎么整条撤掉);`refusedKey` 是被拒那一项属于哪只键(认不出是哪只键、或整个取值读不了 ⇒ `undefined`)。取值读不了(不是字符串或带 `trim` 的包装串 / 读取值就抛)⇒ 按「读不了」拒(同一句、`refusedKey: undefined`),缺席与空串 ⇒ 默认声明;两口共用同一个取值归一,同一入参两条路答案一致是结构保证。「接了引擎才读」这道门在调用方,本口不判。`AttachmentsSpecRefused` 的 `message` 一字不动(与 0.90.0 发布产物逐字节对拍);判官内部改为不抛的判决函数,抛的口包它、本口包它。
100
+ - **续跑被拒「服务端按存下的样子续不了这份停驻」的读口与句子 `checkpointUnsupportedVersionFromError(err)` / `checkpointUnsupportedVersionContent(detail, ctx?)` + 型 `CheckpointUnsupportedVersionDetail` / `CheckpointUnsupportedParkKind` / `CheckpointUnsupportedVersionContext`**(CC-339;**§117 SV-8**):服务端 7.115.0 起,升级前停下、提交体带非空 `settings.permissions.allow` 的任务,各续跑入口(工具审批决断 / 资源停车续跑 / 计划审阅 / 唤醒 / workflow 子代审批投到宿主的会话)答 409 `checkpoint.unsupported_version` 且 `retriable: true` —— 卡仍待决、零写,**不是**「重试会成功」。形与 reopen 族同(读口 + 出句口两只):读口只在码与错误对象**自有**的 `retriable === true` 同在时交 `{ code, retriable: true }`,否则 `null`(凭码不说「卡仍待决」;同一个码在引擎里还有别的成因,拒体上没有分臂位,读口不认定成因);停驻种类与 run id 是出句口的入参。出句口三段:服务端按存下的样子续不了这份停驻 · 什么都没决定、停驻仍在等,但原样再发不会自己续上 · 出路按调用方声明的停驻种类分(`tool_approval` / `plan_review` / `resource_park`:先取消那条 run —— 给了 `runId` 就点名,转义后封长 —— 再作为新任务重提;`wake` / `workflow_host`:没有可取消的 run,直接在那段对话里新开一条任务;不传或表外:两类都说),并指向服务端的升级前排空检查;不复述服务端原句、不带端点与请求键名。
101
+ - **hooks matcher 别名拒的事后读口 `hookMatcherRefusalFromError(err)` + 型 `HookMatcherRefusal`**(CC-339;**§117 SV-9**):读服务端 7.115.0 起 400 拒体的机读位 —— `errorCode` 为 `request.field_invalid` 且 `field` 为 `settings.hooks` 时,从 `detail` 交出冻结的 `{ event, alias, canonical }`(错误对象顶层与 sdk 的 `extra` 两处都认,顶层优先);老服务端没有这两位、`detail` 缺位 / 坏形 / 只在原型链上 ⇒ `undefined`(不读句子)。与提交前的判定 `hookMatcherVerdict` 分开:那一只事前判、读本包的别名表;这一只事后读服务端已经拒了的那一份。
102
+ - **接线回执 `fleet` 段**(CC-339;**§117 SV-10**):`wiring_manifest` 的 chrome 臂与非流式提交回执视图多一段 `fleet: { subagentTranscripts }`(冻结;型 `WiringManifestFleetView`;内部臂超集键 `_sema_fleet`)—— 服务端 7.115.0 起部署对委派子代对话能活多久的自述,今天三词 `none` / `rows` / `full`,开集原字节(第四个词按未知档位处理,不当 `full`);同段另两位本包不过境。缺席 = 这一帧没有这句陈述(7.114.0 及更早的服务端不投),**不是** `none`;坏形整段缺席、别段照投;只带这一段的帧照样成臂。
103
+ - **审批卡上的探针因由那一句 `probeReason`**(CC-339;**§117 SV-11**):`ApprovalCardRequest.probeReason?: string` 与帧镜像 `ToolApprovalFrame.probeReason?`(帧键镜像 33 → 34)。活卡帧(服务端 7.115.0 起)与耐久待决行的 `riskDescriptor.probeReason`(更早就带)两条路径进同一个卡位、同一只读法:自有串、去两端空白后非空才带,原文字节不截不改;缺席不是「没有原因」(老服务端的活卡帧 / 没被收紧 / 探针没给 / 来自呈卡帧的卡都没有);与 `probeCause` 并列不替代(两位同在时优先渲结构位)。
104
+ - 公面合计(本版):根入口运行期导出 1397 → 1429(+32,零删名):CC-303 `toolHistoryBadTurnSentence`;CC-304 `readToolHistoryMismatchKey`;CC-306 `hookMatcherVerdict`;CC-307 `steerRefusalAdviceOf` / `steeringRefusedBeforeEngine`;CC-310 `NEEDS_HUMAN_REASON_ORDER` / `crashConvergedNeedsHumanSentence` / `crashConvergedNotice`;CC-311 `disableSkillsDeclarationSettled`;CC-314 `permissionsDeclarationReport` / `PERMISSIONS_KEPT_REASONS`;CC-315 / CC-297 `mintUserAttachmentEnvelope` / `encodeHumanTurn` / `deliveredUuidsOf` / `imageVisionOf` / `noteEngineCapsForAttachmentSeat` / `observedAttachmentSeat` / `forgetAttachmentSeatReading`;CC-317 `abortableSleep` / `isAlreadyResolvedFailure`;CC-318 `ASK_EVIDENCE_ABSENCE_VALUES` / `SYSTEM_INJECTION_PRIORITIES`;CC-322 ① `MODE_ARBITRATION` / `askSurvivesStandingAnswer`;CC-327 `READ_DENY_BUILTIN_TIERS` / `READ_DENY_DEFAULT_TIERS` / `parseReadDenyBuiltinTiers`;CC-328 `sessionPolicyReadNotice`;CC-337 `attachmentsSubmitVerdict`;CC-339 `checkpointUnsupportedVersionFromError` / `checkpointUnsupportedVersionContent` / `hookMatcherRefusalFromError`。公面类型名 964 → 997(+33:CC-304 `ToolHistoryMismatchRowKey`;CC-306 `HookMatcherVerdict` / `HookMatcherUnjudgedReason`;CC-307 `SteerRefusalAdvice` / `SteeringRefusedBeforeEngine`;CC-314 `PermissionsDeclarationReport` / `PermissionsKeptReason` / `PermissionsKeptRule` / `PermissionsRewrittenRule` / `PermissionsUncheckedRule`;CC-315 / CC-297 十五只,见上;CC-322 ① `StandingAnswerVerdict`;CC-327 `ReadDenyBuiltinTiersParse`;CC-337 `AttachmentsSubmitVerdict`;CC-339 `CheckpointUnsupportedVersionDetail` / `CheckpointUnsupportedParkKind` / `CheckpointUnsupportedVersionContext` / `HookMatcherRefusal` / `WiringManifestFleetView`);测试钩 63 → 64(`__resetAttachmentSeatReadingsForTests`,CC-315 ③);🔴 型面 BREAKING 两处:① `PromptDeliveryLedger` 接口 +3 必有成员(CC-293 / CC-334;把自写替身赋给该接口型的端编译红一次,见 Changed);② `PermissionsDeclarationInput` +1 必填位 `settingsRead`(CC-314;构造入参不带它的调用编译红一次,加这一位即过,见 Added);另 `engineCapsSettled` 的返回型由 `Promise<void>` 收窄为字面量联合,只有一种写法会编译红(见 Changed,CC-311);`PromptDeliveryRecord` +2 可选键、账本 `attempted` +1 可选参、两只 delivered 写口第一参放宽为 `readonly string[] | HumanTurnDelivered`(CC-293 / CC-334 / CC-297);`planReviewOutcomeTail` +1 可选参、`isGateStandingErrorCode` / `isCodeClassifiedGateFailure` +1 可选参、`GateOutcome` / `FsApprovalOutcome` 失败臂 +1 可选位 `retriable`(CC-339);零新投影臂;超集键 +2(`_sema_provider_rejection_resend`,CC-309 ②;`_sema_fleet`,CC-339)、审批卡与审批帧可选位 +1(`probeReason`,CC-339)、接线回执视图 +1 段(`fleet`,CC-339)与错配键子位 +1(`rewindOffered`,CC-305)。
105
+
106
+ ### Changed
107
+
108
+ - **本包记下的 `d` 记录多一只 `by`;读回到没有 `by` 的 `d` 改判「不知道」**(CC-293;**§117 PL-1 / PL-4 / 117a′**):`deliveredByFrame` / `deliveredBySteerReceipt` 的返回与 `toRecords` 里的 `d` 由 `{"u":…,"s":"d"}` 变为 `{"u":…,"s":"d","by":"frame"}` / `…"by":"steer_receipt"}`(`a` 行逐字节不变)。0.90.0 及更早写下的 `d`(含较早的终端把「流上第一帧不是 409」记成交出去、实则被拒的那一形)读回后不再算交出去:`isDelivered` 由真变假、`knownUndelivered` 仍假;之后真见到建了 run 的帧 ⇒ 写口返回一条带 `by` 的 `d`,追加进存储即升格。宿主读回时要把解析出的对象原样交给 `fromRecords`(只留 `u` / `s` 重建会剥掉 `by`,读回全成 legacy)。`PromptDeliveryLedger` 接口加三只必有成员(`deliveryShareOf` / `undeliveredInGeneration` / `droppedKeyCount`):自写替身赋给该型的那一处编译红(型面 BREAKING 一处);只持 `createPromptDeliveryLedger()` 产物的端不受影响,两只自由函数的参数型不变。
109
+ - **投递账本在撤销式代理入参上不再外抛**(**§117 PL-3**):`attempted` / `deliveredByFrame` / `deliveredBySteerReceipt` 的批与结局、`fromRecords` 的记录表与记录、`withoutUndeliveredPrompts` 与账本 `withoutUndelivered` 的行表 —— 数组判收进受保护读,读不动 ⇒ 不记 / 答空(此前外抛 `TypeError`)。
110
+ - **错配键上加一位 `rewindOffered: boolean`**(CC-305;**§117 TH-2**):这一行有没有补 `/rewind` 出路句(铸行那一拍的事实:车道闸 × 宿主声明 `offersRewind` × 「只回退对话」判官),本版起铸的键恒带、与行文本同真同假;`adapt()` 接力照带;读口读回带这一位,0.90.0 及更早铸的行没有 ⇒ 读回里缺席(不补 `false`)。端据它决定要不要接点名坏轮那一句、要不要预选那一轮,不在归约那一拍拿判官重算 —— 铸行与归约之间能力位读数被改写时两边不再两说。错配行别的位与行文本逐字节同 0.90.0。
111
+ - **`ControlRouter.steer` 遇到读位会抛的抛出物时,原样抛 steer 的那只错误**(CC-307;**§117 SR-5**):修前路由器在 catch 里读码 / 类名 / 状态码不设防,错误对象上的取值器(或代理)一抛,`steer()` 拒绝的就是取值器的那个错,steer 本身的错丢了。现在判别经受保护的合成口,读不出 ⇒ 判不出 ⇒ 原样抛 steer 的错误(与「不是 steering 族」同一走法)。只有这一形的行为变了;其余抛出物上 `code` 与 `message` 与 0.90.0 逐字节同。
112
+ - **开发依赖 `@sema-agent/settings-schema` `^7.0.1` → `^8.0.0`**(CC-308;构建期,不进运行期依赖、不进 `peerDependencies`、不出包;**§117 TY-7**):本包 `src/` 对它零 import。8.0.0 的变更面 —— 一致性套件新增第四项检查 `strictWrite`(严写受理)且每一项都要表态(接了该套件适配器的消费方才会编译红)、`parseDomain` 对非域名的键改说真因(此前说成「读不出值」)、`migrate-workers` 命令行的 `--check` 与真跑过同一只判定(整域会被拒的文档 `--check` 也报 `refused` / 退出 1,`refused[]` 逐条带出)、新增导出面登记表脚本;`./migrate` 子路径仍在、没有删 —— 在本包 `src/`、`scripts/` 与 `package.json` 里都零读点(换钉前按这些名字与命令行名检索 `src/` / `scripts/` / `package.json` / `README.md` / `docs/` 全树零命中)。换钉只影响读该包产物的七道常驻门(`run-additive-key-passthrough-test.mjs` / `run-cloud-effective-projection-test.mjs` / `run-display-untrusted-projection-test.mjs` / `run-hook-matcher-verdict-test.mjs` / `run-layering-shadow-export-test.mjs`〔只把该包的 `types` 入口当桩依赖载入、语料不调用它,见 KL-485〕 / `run-model-capability-probe-test.mjs` / `run-plugin-hooks-projection-test.mjs`)与核声明范围的公面门 ⑤c:换钉前后逐格同读,唯一可见差异是 `run-additive-key-passthrough-test.mjs` 的 G7v 标签里装着的 major 由 7 变 8。这些门直接读的 `hooks.js` / `types.js` / `index.js` / `node.js` 四个文件两版逐字节相同;经它们间接加载的模块里只有 `config-fns.js` 不同(`parseDomain` 对非域名的拒因一处,对真域名的行为不变,这些门不以非域名调它);九个引擎事件名、五个档位词、档位组名的正则、hook 条目必要字段判据(`run-plugin-hooks-projection-test.mjs` 的 G-HK29 同源格)两版逐值同答。另有 `hooks.d.ts`(`MessageDisplay` 入参的推导类型里 `index` 成员换了书写位置,同一成员同一类型)、命令行与一致性套件各文件不同于 7.0.1。终端 1.0.142 先行把自己的依赖换到 `^8.0.0`;G7v 判的是「本包装着的 major ≥ 终端在用的 major」,终端先升而本包不跟时这一格会红(终端声明 `^8.0.0`、本包装着 7.0.1 时实测红),本版换钉后恢复。
113
+ - **「改了重发」那一句归合成终局行**(CC-309 ②;**§117 TH-4 / 117a′**):`API Error:` 那一臂上,终局因由带服务商拒绝详情(`terminal.detail.kind === "provider_rejected"`、状态码读得出)且这一行**不是**会话历史 tool_use 错配 ⇒ 行尾另起一行补 `providerRejectionResend` 的那一句,行上挂 `_sema_provider_rejection_resend`。与错配键同一铸点、互斥:错配键在 ⇒ 没有这一句、没有这只键;判错配的载体与这一句读的详情出自同一次只认自有数据位的读取(取值器形 / 原型链上的 `detail` 两边都不认);409 占锁行 / 治理·契约终态行 / 模型输出问题行 / `failed` 事件帧(帧上没有详情)/ 详情缺席或种类表外 ⇒ 都不补、不挂。车道不分(这一句不点名任何命令,`-p` 与工具车道同样补)。结果帧 `errors[]` 仍是原文。`adapt()` 重建合成行时照带这只键(只认判定口会铸的读数,不是 ⇒ 整键丢)。没有这一句的终局行逐字节同 0.90.0。自由函数 `providerRejectionResend(detail, carrier?)` 不变。
114
+ - **`engineCapsSettled` 的返回型由 `Promise<void>` 变为 `Promise<'settled' | 'timed_out'>`**(CC-311;**§117 CS-2**):不带 `withinMs` 时恒答 `'settled'`。对 `await engineCapsSettled(base)` 语句、`.then(() => …)` 与丢弃返回值的写法无影响;会编译红的只有一种形 —— 把返回的 Promise 直接赋给 `Promise<void>` 型的位置(变量标注 / 接缝型 / 返回型),见接入文档 117y ①。
115
+ - `disableSkillsDeclaration` 的文档注释改指有界异步变体(行为零变化)。
116
+ - **设置文件里的 allow 只在干净的设置读上投**(CC-314;**§117 PX-5**;KL-488):能力位为真之外,来源(`origins.allow`)是托管策略 / `--settings` / 用户 / 本地 / 项目、或来源说不清的 allow,还要入参带自有的 `settingsRead: 'clean'`;`'partial'` / `'unreadable'` / 缺席 / 表外值 ⇒ 这几条不投(报告口逐条记 `settings_read_not_clean`)。来源是命令行(`cliArg`)或会话(`session`)的 allow 不受读健康影响,能力位为真就照投;deny / ask 照投、与 0.90.0 逐字节同。交互与 `-p` 两条车道同一条律,由本包一处判,端上不再自己扣 allow。对 0.90.0 发布产物实跑对拍(两只规则池 × 能力位五种读数 × 规则编译器三种答法,含抛的句子):`settingsRead: 'clean'` 的入参上逐字节同;其余读健康上等于把只来自命令行 / 会话的那几条 allow 交给 0.90.0 的结果。**换钉即交 `settingsRead: 'clean'`**(读干净时;读不干净而沿用上一次干净读的 allow 时也交 `'clean'`),否则设置文件里的 allow 在能力位为真的引擎上不发 —— 报告口 `kept` 与 doctor 句都会说出来;服务端 7.115.0 之前的版本不报能力位、allow 本来就不投,在那些服务端上请求体零变化。
117
+ - **doctor 句 `permissionsAllowGrantDoctorDetail(reading, settingsRead?)` 与装配口问同一只门**(CC-314;**§117 PX-7**):加可选第二参(与装配口入参的 `settingsRead` 交同一个值)。说「allow rules sent」恒等于装配口在同一份读数与读健康上投 allow;能力位为真而读不干净或没交读健康 ⇒ 新的一句「allow rules from settings files kept on this side — this engine reads allow rules as rules, but the settings read that produced them was not reported clean … command-line and session allow rules are still sent …」;能力位不是真的三句不变。只传一参的旧调用在能力位为真的引擎上改说新句(与装配口同答)。
118
+ - **allow 放行能力位位名定稿**(CC-314;**§117 PX-6**):服务端 7.115.0 起在 `/v1/capabilities` 顶层恒铸 `settings: { permissions: { allowGrant: true } }`,与本包 0.90.0 起读的路径逐段同,读法不变;≤7.114.0 不铸(读 `not_reported`)。
119
+ - **`inheritEnvRefusalContent` 的第一段改口**(CC-336;**§117 IE-1**):此前第一段断言引擎「没有点名字段」(`The engine refused this request as invalid without naming the field`),而服务端自己的拒句散文以 `inheritEnv:"all"` 开头、随错误码那一行原样上屏,两句互相矛盾。本包只读机读位、不读拒句散文,拒体上又没有机读字段位(服务端 7.114.0 的三处 400 都只带错误码),所以对「点没点名」既不能说点了、也不能说没点。现在第一段改为 `The engine refused this request as invalid, under a refusal code that many different request fields share`;后面按条件措辞的那一段原样保留。函数签名、认领条件 `inheritEnvRefusalFromError`、返回形都不动。按词扫这一句(例如匹配 `without naming`)的写法要改。待服务端给出机读字段位后再改按字段位认领。
120
+ - **「只续已有会话」被拒的读口按码优先**(CC-339;**§117 SV-12**):服务端 7.115.0 起两处挂码 —— 会话不在 ⇒ 404 `resume.session_not_found`;要求续已有会话却没给会话 id ⇒ 422 `request.field_conflict`(句尾不再括注)。`requireExistingSessionRefusalFromError` 先按「状态 ↔ 码」成对认,不读 `message`;旧形(状态派生粗码 + 句尾括注)只在拒体上的码恰是那一状态的粗码时才读,留给 7.114.x 及更老的服务端(支持底线越过 7.115.0 那一版退)。修前 7.115.0 的 422 那一形读成 `null`、端漏了那一句。读数的 `code` 是本读口的族标 `resume.session_not_found`,两代读出同一个 `code` 与 `form`。422 ∧ `resume.session_not_found` 这一没有服务端铸过的组合改读 `null`。
121
+ - **reopen 族读口与新读口共用一只 `retriable` 读法**(CC-339):`resumeReopenFromError` 只认错误对象**自有**的 `retriable === true`(修前原型链上的同名位也算;sdk 错误对象与 JSON 形都是自有位,线上零变化),读这一位抛 ⇒ 不认领(修前抛出)。
122
+ - **计划审阅决断撞上 409 `checkpoint.unsupported_version`(带 `retriable: true`)**(CC-339;**§117 SV-13**):结局从「决断失败 HTTP 409 …」改为「这次决断没生效」+ 带计划审阅种类与这条任务 id 的那三句,结局机读位 `effect` 从 `not_applied` 改为 `still_parked`(服务端说卡仍待决)。审批决断出口的失败文字补上不带停驻种类的那三句(决断出口分不清是自己那张卡还是 workflow 宿主那条路径)。
123
+ - **`makeHitlCanUseTool` / `HitlCanUseToolFn` 的两个不透明位成了类型参数,`HitlBackendDenyDecision` 声明为 `PermissionResult` 的拒绝臂**(CC-343 ②;**§117 TD-6 / TD-7**;类型面 additive):`HitlCanUseToolFn<D, Ctx = never, Msg = never>` 的默认槽位仍是 `never`(只写 `HitlCanUseToolFn<D>` 的既有写法照常编译);`makeHitlCanUseTool<D, Ctx = unknown, Msg = unknown>` 返回 `HitlCanUseToolFn<D, Ctx, Msg>` —— 返回值可直接赋给宿主自己的 `CanUseToolFn`(宿主那两位是具体类型,此前 `never` 在逆变位不接,宿主只能 `as unknown as`),也可显式实例化成宿主自己的类型。`HitlBackendDenyDecision` 现在 `extends` agent-types 的 `PermissionResult` 拒绝臂(多出 CC 的可选成员 `interrupt?` / `toolUseID?` / `decisionClassification?`;`backendDeny` 运行时仍只铸原来三个键);agent-types 改了那一臂的形,红在本包构建期;装了更新版 agent-types 而那一臂的型变了的消费方,`skipLibCheck: false` 时红在本包的声明文件里(设计如此)。
124
+ - **补偿登记表 `MIGRATED_COMPENSATIONS` 里十条非空 `retireOn` 的值由自由文本改为退役台账行号**(CC-343 ④;**§117 TD-8**;已发导出的可观察变化):`retireOn` 的类型仍是 `string | null`,`null`(长期职责)不变;非空的十条此前是一句里程碑原话(「P1-2 到货 …」),现在是 `RL-31` … `RL-40`(条件原句在源码注释里,机读触发与到期版本在退役台账里)。读 `retireOn` 做按词判断的端要改读台账;本机三端参照树产品源码零依赖。
125
+ - **`rewindSpecForMode(mode, id, reading?)` 加第三个可选参数:`both` 档按纪元位决定带不带 `restoreFiles`**(CC-345 ①;**§117 TD-3 / TD-4**):读数(`observedRewindArchive()` 的返回)里 `restoreFiles` 纪元位明说 `on` 才带;`off` / `not_reported` / `malformed` 一律不带 —— 此时 `both` 的请求体与 `conversation` 同形、只回退对话,宿主读返回值上有没有 `restoreFiles` 来对用户说明;读数读不懂也不带。没传读数、或传了「没观测」的读数 ⇒ 照旧带(与 0.90.0 逐字节同;KL-480)。`conversation` / `code` 两档不读读数。`rewindRestoreFilesEpochDetail` 三句「不认」的措辞随之改口(不再说「客户端照发」,如实说「按这份读数铸的请求不带这个键、只回退对话」),没观测那句补一句「仍带」。
126
+ - **`approvalsStreamLive` 能力位不驱动对账:源码注释改口,行为与接入文档不变**(CC-345 ②;**§117 TD-5**):审批 feed 不读这一位,对账节拍的闸只有宿主传的 `reconcile.shouldReconcile`;`livePendingNeedsReconcile` 是提示口。此前模块头注与判定函数的注释写成「决定 feed 要不要靠推面 / 对账的判据单源」,与接入文档(`reconcile` 照传不关、别拿它做 `shouldReconcile` 的合取)不一致 —— 读实现:文档对。
127
+ - **`permissionRuleIssueDetail(code, message, rule?)` 加第三个可选参数,`invalid.param_split` 那一句按规则原文分两说**(CC-359;**§117 TD-1 / TD-2**):此前那一码恒说「冒号前面那段不是参数名」,对括号里根本没有冒号的规则(`Skill(s1)`)是错话。传了规则原文(`issue.rule`)时:括号里有冒号 ⇒ 「参数规则写成 `name:pattern`,冒号前的名字或冒号后的模式是空的」;没有冒号 ⇒ 「括号里没有冒号,这不是参数规则(参数规则写成 `name:pattern`)」;没传 / 读不懂(非串、没有未转义的左括号)⇒ 中性一句(括号里没有写成 `name:pattern` 的参数规则),既不说有冒号也不说没有。规则原文只用来判有没有冒号、绝不进句子(它是用户写的);只有这一个码读它,其余十四码带不带规则原文都逐字节同。不传第三参的老写法照旧可用,只是 `invalid.param_split` 那一句换成中性句(KL-482)。
128
+
129
+ ### Fixed
130
+
131
+ - **展示出口对 YAML 块标量形的凭据值遮不全,且遮法误导**(CC-340;**§117 DU-11 / DU-12**):凭据标签 / 方案词**冒号分隔**之后的值是 YAML 块标量(`api_key: |`、`password: >`,块标记后可带 `-` / `+` / 缩进数字,块头行尾可带 `#` 注释,块头以换行收尾)时,0.90.0 把块标记当成一只单行值 —— `|` 换成记号、真值原样留在下一行(读者会以为已经洗过),`>` 连记号都没有。本版块头连同其后整个缩进块换**一枚**记号:块一直算到第一行「有可见内容、缩进不深于标签所在行」的行之前,只有空白的行属于块;`api_key: |\n <值>\nnext: x` ⇒ `api_key: «redacted:secret»\nnext: x`,`password: >\n <值>` ⇒ `password: «redacted:secret»`。块后那一枚行断、尾随空行与回退行原样(把行断画成转义记号或点的单行出口上,回退行的首词与任何值后隔一枚行断的首词一样并进记号,0.90.0 同);块头行上的注释随块进记号;原样换行(`\n` / `\r\n` / `\r`)与 JSON 转义形(字面 `\n` / `\r\n`)两种写法都认,一只块只认结束块头那一枚的写法;缩进按行首空白字符个数比,不可见字符(着色序列、零宽字符、控制字符)不计,控制串里的空白也不计;块标记与修饰之间夹着不可见字符照样认;块里一行只有控制串(窗口标题等)时,控制串的内容算这一行的内容,整段控制串进记号。等号分隔(`key = |`、箭头 `=>`)不是 YAML,块头在串尾时后面没有块,这两类按单行值读、与 0.90.0 逐字节同(解析器诊断 `Unexpected token =>` / `Unexpected token: >` 原样)。块里另有凭据标签、方案词、地址或私钥块时整块仍只出这一枚记号:上一版在块里铸的几枚并进来 —— 按记号个数断言的读数会变少,遮住的范围只多不少。只多遮:对 0.90.0 发布产物的全池差分「上一版遮、本版露」0 格,不是块头的形逐字节不变。覆盖 `displayUntrusted` / `displayUntrustedMarks` 与本包合成终局行、结果帧 `errors[]` 的铸点;只开 URL 结构面的出口不认块(块是词级面的射程,与 `Bearer <值>` 同)。零新公面名、零型面变化。
132
+ - **份额 `partial` 的条目经写口记交出**(CC-293 / CC-297;**§117 PL-1 / HT-6**):投递账本的两只 delivered 写口(`deliveredByFrame` / `deliveredBySteerReceipt`)第一参另收编码答案的两档 `{ full, partial }`(`deliveredUuidsOf(encoding)` 原样):`full` 档铸 `{ u, s: 'd', by }`,`partial` 档铸 `{ u, s: 'd', by, share: 'partial' }`,同一 uuid 两档都在按 `full` 记一条;读不动的批(撤销式代理 / 会抛的取值器 / 非对象)两档都不记、不抛,档内坏 uuid 逐项跳过;uuid 数组形照旧整批记 `full`(相对 0.90.0 只多一只 `by`,与本版其余写法一致)。两档都经写口记交出,`partial` 记 `share: 'partial'`;`knownUndelivered` 只对两档都没记的条目为真 —— 只把 `full` 档交写口的接线会让交出去一部分的条目(`@` 图片的模型没有看图位、steer 上带粘贴图、随行正文没合进)停在 attempted 而无 `d`:换代查询把它交出去重发(正文到两次)、旁路过滤把它从本地历史删掉、端上显示假「↑ 重发」。对象形的两档只认自有键(原型链上的档位不是送达证据),任一档读不出(取值抛 / 非数组 / 档内取值抛 / 撤销式代理)⇒ 两档皆空、整批不写(半批可读不构成账本事实);数组形入参的处置与 0.90.0 逐字节同。
133
+ - **读回一条记录时扩展位读抛 ⇒ 与读不懂同一处置,不丢这条记录**(CC-293;**§117 PL-3**):`fromRecords` 读定 `u` / `s` 之后,`by` / `share` 的描述符、`in` 判或自有键枚举读抛(代理陷阱)⇒ 这一条按 legacy 收(两判皆假)、丢键按 0、不抛 —— 整条丢掉会让这一条由「不知道」变成「确知没交出去」。`u` / `s` 自己读抛仍整条跳过(同坏行)。
134
+ - **`deliveredUuidsOf` 不受随行列表长度限制**(CC-297;**§117 HT-6**):随行 uuid 逐项追加(不按调用实参展开);150000 只随行的条目两档照常交出、不抛。
135
+ - **装配后正文为空的提交答 `empty`,不再答 `ok`**(CC-297;**§117 HT-1**):`encodeHumanTurn` 的 `objective` 车道在装配之后再判一次正文 —— 只有粘贴图、只有上传件 id、纯空白正文(以及唯一一张粘贴图超限被丢)都是空 objective,服务端受理口一律 400,本版起直接答 `{ ok: false, reason: 'empty' }`(闭集已有的词);`@` 附件经信封铸进正文的不算空。
136
+ - **粘贴图同样过图片座位上限**(CC-297;**§117 HT-3**):`objective` 车道的粘贴图先占座,同样过张数(20)/ 单张(base64 6 MiB)/ 合计(6 MiB)三道上限 —— 超出的那张不进 `images`、份额记 none(`seat_count` / `image_too_large` / `seat_total`,进 `degraded`)、条目 `partial`(那张是这一条唯一内容时 `none`),不再答份额 `full` 而让服务端去拒。粘贴图不看看图位;steer 车道不变。
137
+ - **审批卡 `probeReason` 读抛不阻断审批**(CC-339;**§117 SV-11**):活卡帧与耐久待决行两条路径的窄读是受保护读 —— 自有键判或取值读抛(取值器 / 代理陷阱)⇒ 按缺席,卡照呈、决断照发;一只会抛的展示位不会让整次呈卡失败、让引擎拿不到答复。
138
+ - **计划审阅撞 409 `checkpoint.unsupported_version` 时,尾句说再决不会生效**(CC-339;**§117 SV-13**):这一形的结局尾句不说「还在等决定」,而说再决不会生效、按本结局给的出路取消这条任务的 run 后重提;尾句仍只从 `planReviewOutcomeTail` 一处铸(新增可选第四参 `cause: 'stored_form_unsupported'`;不传与 0.90.0 逐字同)。`effect` 仍是 `still_parked`(门确实还在)。
139
+ - **决断失败「门还在」按码判,不再靠失败文字恰好没有某几个词**(CC-339;**§117 SV-13 / RX-2**):提问卡与耐久审批卡两条决断路径的失败结局带上拒体的 `retriable` 位(自有严格 `true` 才落键);`isGateStandingErrorCode(code, retriable?)` / `isCodeClassifiedGateFailure(code, retriable?)` 在 409 `checkpoint.unsupported_version` ∧ `retriable === true` 上答 `true`,`isAlreadyResolvedFailure` 据此答 `false`(不扫失败文字);只传码的旧调用逐字同答。0.90.0 上这一形落文案兜底臂 —— 原句恰含 `not found` 一类词时被判成「已决」、空转一轮重连。
140
+
141
+ ### Gates
142
+
143
+ - 扩门 `scripts/run-engine-cap-reader-factory-test.mjs`:+F15 候上游读器八格(CC-315 ③ 的附件席位读器是占位形 —— 键名随引擎 7.42.0 判据帖定、本版不认任何键、恒 `not_reported`、无 `present` 臂;占位行也进 F12 名单等值,不走 present 轨,过自己的三态 / 两向隔离 / 冻结格,且 🔴 必须在退役登记在册(RL-41,带复核期与票号),占位读器不许长期存活)。
144
+ - 扩门 `scripts/run-prompt-delivery-projection-test.mjs`(156 → 261 格,带 0.90.0 发布产物与两代服务端夹具时):L 来源位与份额(两只写口各带来源位、legacy 两判皆假、有来源无份额 = `full`、`partial`、十三种读不懂的扩展位降为 legacy 且存下的记录不带扩展键、取值器一次不执行、原型链上的与 `Object.prototype` 被污染出的来源位不算、自有来源位配只在原型链上的份额位四形按 legacy(不放宽成 `full`,重读后再合一条真 `partial` 仍是 `partial`)、丢键计数、两两合并五对 × 两种先后、升格才返回新增、同级先记者胜、`deliveryShareOf` 入参域);LT 类型面(真 tsc 编真 d.ts:正例零诊断、反例五格、0.90.0 形替身赋给接口 ⇒ TS2739);Q 2400 条随机序列 × 七种重放(原序 / 乱序 / 重复 / 拆两只账本两向互并 / 落盘重启 / 乱序落盘乱序读回)对独立的上确界参照逐格同答,判别力自证 =「按最后一条」的模型在这批语料上必有分歧;V 与 0.90.0 发布产物对读(读 `SEMA_DU_BASELINE_TGZ`,缺席 ⇒ SKIPPED-SECTION):本版记录交老读者逐格同答、老读者重写出去的 `d` 回到本版是 legacy、老读者自己写的 `d` 在本版答不知道;G 按引擎代查询:时序(先交后提 / 读后迟到不复活 / 重发换代 / 读后同代新提交)× 并发(两代交错、两只账本、随机交错 600 条对参照)× 失败分类(十三种坏代 / 八种坏选项 / 批读抛 / 读口坏代)与代不落盘;P 撤销式代理八形不抛。既有格:`d` 记录的期望形加 `by`(T1 / R1 / H1 – H5b),乱序全排列那一格的存储回放记录换成本版形,S4 账本口数十一 → 十四。
145
+ - 扩门 `scripts/run-server-7113-fixture-test.mjs`(42 格不变):C3 账本期望的 `d` 记录加 `by: 'frame'`。
146
+ - 扩门 `scripts/run-tool-history-mismatch-projection-test.mjs`(293 → 344 格,带终端源码树与 0.90.0 发布产物时):R4 行键读口与行键型在根入口(同一函数对象、tsc 真跑可引)、「键从行顶层读」对真铸行与 `adapt` 重建行实读对拍;RO `rewindOffered` 四种声明形 × 三态判官 × 四车道 × 两种帧形 48 格位值与行文本同真同假、铸行后改写能力位行上的位不变、接力 / 读回 / 老行缺席 / 坏形;BT 两句金样、非串、洗截池二十形、先洗后截与按码点截、去标签线性、与终端那一句按语法树摘出逐字节对拍 1220 只 prompt(终端树缺席 ⇒ 标未跑);RS 十一档状态码 × 四车道 × 声明有无 88 格行文本与键、错配互斥、不铸的八形、行键与公开读法同答、接力只认判定口读数、同一帧只读一遍、原型链上与取值器形的详情不算(错配原话 + 取值器详情不补重发句);读口对继承 / 取值器形成员当缺席;RB 与 0.90.0 发布产物四种上下文 × 二十六只终局帧逐条对拍(非拒收行逐字节同、拒收行只多那一句与键、错配键只多 `rewindOffered`;基线缺席 ⇒ 标未跑)。既有格:错配键的期望形加 `rewindOffered`、真引擎 401 / 不是错配的 400 那两行的期望文本加那一句。
147
+ - 新门 `scripts/run-hook-matcher-verdict-test.mjs`(67 格;CC-306,包侧投影门):四臂与形(35 形 × 三只工具事件逐格期望)、别名表与生成表同源(给生成表加一对假别名判定随之变)、病态回溯正则在有界等待里交回 `unjudged`、与服务端发布包真受理口逐形同答(现役一代比受理 / 拒二值;7.115.0 起另比 400 体机读位 `field` + `detail { event, alias, canonical }` 与本口 `refused` 逐位同)、老一代服务端读数与接入文档 §117 逐代读法表同、终端 1.0.141 判定对读(不同答的格与登记逐格同);夹具缺席的段标未跑、不当绿。
148
+ - 新门 `scripts/run-steer-refusal-advice-test.mjs`(32 格;CC-307):抛出物池上合成口与路由器逐格同答、`message` 与 0.90.0 金样逐字节同、根入口同一引用、两只新位的缺席语义、调用点清单与单一铸点、与终端 1.0.141 句表逐码并排判同义与否。
149
+ - 扩门 `scripts/run-crash-converged-projection-test.mjs`(166 → 242 格,带终端源码树时;不带时 239):G11 段 —— 顺序常量逐词逐序、冻结、与 `needsHumanReason` 联合同集无重且序不同(联合成员从发布物声明文件读出);在内存里改源实编,删常量一员 / 常量多一个重复员 / 删联合一员时,各自那一枚编译期钉所在的行编译红;四句逐字与单复数;表外词 / 非串 / 原型键 / 包装串 / 会抛的对象 25 形与 18 种坏计数答 `undefined` 不抛;整行金样十形;8748 只投影的组合池与门自己写的规则逐字节同、收尾恰一次、句序与兜底排最后;读不懂的入参 22 形与两桶合计超过行数上限答 `undefined` 且取值器零执行;行级坏形落兜底不连坐、码表读不动与一个闭集词都没有两形同样不写括号;本口不重判行(两种冒充形 + 发布物与读事实那几只函数里不出现判据位名 + 包内读口不在根入口);措辞纪律(「已确认安全」族与「引擎崩了」不在场、零自动动作、全部输出过出包卫生禁表且恒单行、有序关停行不出现 crash 字样);服务端形回体经投影再经本口的真链金样;纯度;编译面(三名可从根入口引、可选因由位直喂句口、真客户端回体经投影直喂整行口);与终端 1.0.141 按语法树摘出的那一族实跑同一池 9432 只投影逐字节对拍(终端树缺席 ⇒ 标未跑)。投影模块零句子那一格改了标签(措辞在通告那一件,投影仍零句子),断言不变。
150
+ - 扩门 `scripts/run-abortable-sleep-test.mjs`(+2 格,共 9 格;CC-317):根入口导出与 dist 单文件里那一只是同一函数引用、同文件的 `settleWithinDeadline` 仍不出根入口。
151
+ - 扩门 `scripts/run-hitl-gate-honesty-test.mjs`(+9 格,带终端源码树时共 575 格;CC-317):F19 段 —— `isAlreadyResolvedFailure` 受保护读与判据、与终端 1.0.141 决断失败判据逐格对拍(不同答只落在终端多出的四臂)、按 §117d 的次序换调后与终端现在那一只在 3850 格事实上逐格同答(「四臂整块在前」的错误拼法 924 格不同,作正控)。
152
+ - 新门 `scripts/run-engine-caps-settled-within-test.mjs`(59 格;CC-311,包侧投影门):N 两只口的签名按语法树读发布产物声明文件(`want` 的静态型钉 `boolean | null | undefined`)、两名在根入口;A 不给 `withinMs` 的五种写法等到落定且零计时器 / 没有在飞探测立即 `'settled'` 且零计时器 / `baseUrl` 缺席 / 探测失败也算落地;B 有界形时序走**注入的假计时器**(到时、先落定、迟到的计时回调、落定与到时同拍两种次序、到时不毒化缓存、多个等待者共用一次探测、接力下总预算只铸一枚计时器、接力后读到新引擎的位、旧探测始终不释放而新探测落地时等待者靠代际信号接力);U 假计时器观察有界形的计时器 unref 零次,U2 / U3 两格用子进程读「无其它存活句柄」与「有存活句柄」两种进程里到时的原始读数(两种都打出 timed_out 并以退出码 0 退出;子进程装置先用不碰被测物的两段脚本自证读得出两种结局);C `withinMs` 坏值十七形一律「不等」、超上限夹值;D 计时器工厂抛不外溢;E `disableSkillsDeclarationSettled` 与同步口逐字同(五种能力位读数,给键当且仅当能力位为真)、窗内落定且能力为真时首发给键、宿主没起过探测时立即同答且不替宿主起探测、坏意图先于等待、同步口不动、端到端 spread 进装配口;R 真计时器两条路径与无残留的真 `Timeout` 句柄(资源计数器读不到 unref 的计时器,所以除计数外另用真 `setTimeout` 的记录包装读句柄自己的已销毁位,并先自证这把尺子会响;只用有界等待,不断言耗时)。
153
+ - 扩门 `scripts/run-client-core-pure-test.mjs`(CC-311 这一条不加格):TIMER③ 裸计时器创建点登记表 +1 行(`engineCapsCache.ts`,基线 1 处,理由随行)。
154
+ - 扩门 `scripts/run-permissions-declaration-test.mjs`(140 → 254 格,带 0.90.0 发布基线;带服务端 7.115.0 夹具时 255;CC-314):R 报告口 —— 不变量三条(`permissions` 与投口逐字节同 / 每条规则串恰落投出或 `kept` 之一 / 改写表对得上)× 能力位四态与一种畸形读数 × 两只规则池(门里现成的池 + 独立生成池)× 规则编译器三种答法;理由闭集每词一组整份报告见证、见证覆盖闭集;抛的范围与句子同;两口对规则编译器的调用序列逐条同、源码上两口都只调同一只内部装配;与 0.90.0 发布产物三版对拍(`SEMA_DU_BASELINE_TGZ` 指 0.90.0 或更新的发布包时跑;没给 / 路径错 / 更旧时必跑档红、普通档标为未跑);读健康位 —— `settingsRead` 型面必填的编译期三格(从真 `dist/index.d.ts` 取型:不传三处各一缺位诊断 / 三个词零诊断 / 表外值一处)、能力位四读数 × 五种读健康 × 四形 80 格、读健康门按来源分(命令行与用户设置 allow 并存 × 读健康三态 + 缺席 × 能力位真假;托管 / `--settings` / 本地 / 项目 / 来源说不清的被挡、命令行 / 会话照投)、原型链上的 `settingsRead` 拒、每字段恰读一次、被挡的不判(端口缺席不抛)而命令行那条照判、doctor 五句互异且「sent」⇔ 装配口投 allow(读数 × 读健康逐格对拍);能力位铸点 —— 服务端 ≥7.115.0 夹具的能力路由按语法树摘顶层 `settings` 字面量喂读器 ⇒ `present` / `true`(没有这一代夹具 ⇒ 标为未跑),<7.115.0 各代不铸;整服务器写法的受理口前提在 ≥7.115.0 上按「带理由的放行」认 allow 命中。
155
+ - 新门 `scripts/run-human-turn-encoding-test.mjs`(CC-315 / CC-297;293 格):信封 —— 45 条参考样本逐字节(样本文件与终端那一份逐字节同、按 git blob 钉)、正文夹带指令四写法的字节形(指令只在围栏之间且带行号、围栏最长、头部无提醒形标签 / 无「调用了工具」/ 无祈使词)、边界三规则各自的格、坏形描述符二十二形抛且取值器零执行;装配 —— 投影固定向量、座位计划边界、8 MiB 核算(六种请求体形恰好受理 / 多 1 字节降级或拒,与真序列化逐字节对)、降级次序、steer 三级处置真值表与引擎包根补话文本判据的定种子差分、份额与降级清单一一对应、拒绝臂与敌意入参不抛(含长度位谎报的数组、抛出物本身是撤销代理)、看图判定三态(先认 name 再认 id、取值器与继承位不认)、席位读器三态;上游见证 —— 引擎包根补话长度上限、服务端夹具真受理口上请求体 / 图片张数 / 单张图片三处边界 ±1(夹具缺席时标未跑,必跑档红)。
156
+ - 扩门 `scripts/run-upstream-tables-test.mjs`(346 → 407 格;CC-318 / CC-322 ① / CC-327):第七批四张闭集与问类仲裁表对已装引擎逐项同序、根入口引用相等、判定只读生成表零字面量,拒生成负控(缺名 / 空表 / 重复 / 非串 / 位缺多 / 原型键)。
157
+ - 新门 `scripts/run-read-deny-tiers-test.mjs`(60 格;CC-327):九格金样、其余受理与拒绝形、非串入参不抛、`why` 卫生与封长线性、词表只读生成表(抽掉 / 加一档判定随之变)。
158
+ - 扩门 `scripts/run-session-policy-wire-test.mjs`(243 → 287 格):读失败句(CC-328:十一种失败分类由真读口与真分类器铸出、三种读不懂位置、`no_target` 臂、两张表与声明面联合两向逐名对账、十五句互异、零机器词、读不到不说空、表外 / 原型键 / 自有访问器 / 抛出的取值器三十五形同一句通用话、每键恰取一次自有描述符且访问器一次不执行)。
159
+ - 扩门 `scripts/run-inherit-env-wire-test.mjs`(98 → 101 格):拒句整句逐字节钉 + 「不对点名与否作断言」的肯定与否定两向格 + 判别力自证。
160
+ - 扩门 `scripts/run-client-core-pure-test.mjs`(4253 → 4388 格,基线取 0.90.0 发布产物;不带基线的环境 4346):`attachmentsSubmitVerdict`(CC-337:在 0.90.0 发布产物上实跑铸出的冻结语料 —— 拒 31 形的 message / token / why 逐字节、收 28 形的声明;不抛的口逐形 refusedKey / 第几项;句子无内部出处、不回显原值〔含六形凭据形〕、带出路〔按句子办法改完的值真收且声明里没有被拒的键;`off` 只能整值〕、七类互异;取值读不了 / 缺席 / 包装串两口同读 / 恰读一次;定种子 4000 条语料两条路同判;基线版本 ≥ 0.90.0 时另与它逐字节对拍并有独立再算版本的一格钉死「必须真跑」,更低或读不出版本才打 SKIPPED-SECTION);CC-316 对上一发布产物对拍那一段按基线版本分支断言(< 0.90.0 断言普通 Error 形、≥ 0.90.0 断言具名类形与 message 逐字节同,基线读不出版本才 SKIPPED-SECTION)。
161
+ - 新门 `scripts/run-server-7115-fixture-test.mjs`(136 格;CC-339,包侧投影门):服务端发布包夹具真铸点 / 真受理口 + 逐代表(≥7.115.0 / 7.109.0–7.114.x / 7.104.0–7.108.x 三档,每档五格精确期望)—— C1 夹具引擎把「没人表态」那一问判成 `unstated`、服务端出帧窄读交出这一对,到本包卡 / 座位口原样,常驻回答判定与夹具引擎仲裁表那一行同答;C2 能力路由真跑(7.115.0 顶层 `settings.permissions.allowGrant` 为真 ⇒ 读器 present / true,老一代 not_reported),本包对一池规则装配出的请求体在同代真受理口 + 服务端三桶编译上零 422(内容形 allow 原样直交编译即拒,证明池子会响);C4 拒绝铸点真跑 → 两份 sdk 映射 → 读口与五种停驻种类的句子,终局形读口不认领;C7 两处码逐代同答、`probeReason` 出帧窄读与耐久面脱敏同值 ⇒ 两条路径卡上同值。
162
+ - 扩门 `scripts/run-resume-refusal-copy-test.mjs`(现 272 格):CC-281 段按码优先(7.115.0 422 形、不读 message、族标两代同、422 ∧ `resume.session_not_found` 改判 `null`、夹具两代分期望并各证一向、扫夹具证 422 ∧ `request.field_conflict` 只此一处、两份 sdk 映射);⑨ 段 `checkpoint.unsupported_version` 读口 + 出句口(retriable 读法与 reopen 族同答、五种停驻种类与不传、run id 转义封长、不说重试会成功、零机器词、决断出口补句、计划审阅决断 `still_parked`)。
163
+ - 扩门 `scripts/run-hook-matcher-verdict-test.mjs`(67 → 95 格):R 段事后读拒体(形池 + 7.115.0 真拒体与本口 `refused` 逐位同 + 7.114.x 真拒体无机读位 ⇒ `undefined`);N 段改读现役夹具、按服务端版本认代(不再读附加夹具变量);7.114.0 退成老一代后落文档表「≥7.114.0」一列。
164
+ - 扩门 `scripts/run-wiring-manifest-projection-test.mjs`(296 → 329 格):FL 段 `fleet.subagentTranscripts`(开集、缺席不折 `none`、坏形整段缺席、只带这一段成臂、子流断闸、视图第二道成形判、两代发布包真铸链)。
165
+ - 扩门 `scripts/run-additive-key-passthrough-test.mjs`(126 → 140 格):G8 `probeReason` 两条路径同一卡位。
166
+ - 扩门 `scripts/run-approval-frame-keys-test.mjs`:帧键镜像 +`probeReason`(领先开发依赖 sdk 锚,退出条件同前);探针段先读 `SEMA_SDK16_ROOT`(sdk 16.1.0 锚与镜像两向相等)。
167
+ - 扩门 `scripts/run-server-7114-fixture-test.mjs`(128 → 155 格):逐代断言表加 ≥7.115.0 一档(与 7.114.x 受理 / 拒逐格同;拒体带 `field` + `detail`、更老的不带;两代拒句与码逐字同)。
168
+ - 门环境:服务端夹具新一代 7.115.0(内嵌引擎 7.40.1)、老一代列表 +7.114.0;sdk 16.1.0 探针树进地板见证矩阵首位、`SEMA_SDK16_ROOT` 指 16.1.0(peer 地板 `>=12.0.1` 不动)。
169
+ - 退役台账 RL-16 条件改写为「带码读法已上;粗码兜底随支持底线越过 7.115.0 那一版退」(机读子式 = 支持底线服务端一项 ≥ 7.115.0;复核期不动)。
170
+ - 扩门 `scripts/run-display-untrusted-projection-test.mjs`(新 YB 段 10 格;CC-340):YB1 四形机读口与默认形逐字节;YB2 块标记 2 × 修饰 11 × 标签行缩进 2 × 块内深出 3 × 块后 6 形全积 726 形逐字节恰一枚记号、全出口不露;YB3 块里夹凭据形 / 着色序列 / 控制串 / 双向符 / 代理对 / 零宽 / 私钥块 13 形;YB4 写法族 17 形(注释、CRLF、单 CR、JSON 转义形、块头在标签下一行、列表项、嵌套映射兄弟键、不可见字符、非 ASCII 空白与制表符缩进、`basic: |`);YB5 块里引号值跨过块尾不露;YB6 不是块头的十五形(含等号分隔、箭头换行、串尾块头、解析器诊断)与 0.90.0 逐字节同;YB10 块里只有控制串的行、标签前控制串里的空格、块标记与修饰之间的不可见字符九形;YB9 块与值的单行读法取并(转义形出口上单行读法伸进回退行的那一截照遮,与 0.90.0 同字节)与单行出口上的续接;YB7 本段全部输入 × 十四出口一轮即不动;YB8 块形线性(四形 n → 4n、两形 n → 16n:注释里接连写的块头共用一次块尾查询、缩进阶梯加长串空行)。
171
+ - 扩门 `scripts/run-display-untrusted-baseline-diff-test.mjs`:新 YAML 块标量池(定种子 3 200 块形 + 900 非块形;块头修饰(含夹着不可见字符)× 块头行尾 × 原样 / 转义形行断 × 非 ASCII 空白缩进 × 行首不可见字符与带空格的控制串 × 块内凭据形、控制串与只有控制串的行 × 块后七形;非块形含等号分隔与串尾块头)并进 B1 / B4 / B6;新 B7 —— B7a 块形池块内秘密在十四出口一格不露(只开 URL 结构面的出口不判),B7a′ 上一版在同一池上露(判别力),B7b 非块形池十五出口与上一版逐字节同。
172
+ - 扩门 `scripts/run-client-core-typeshape-test.mjs`(CC-343 ②;新 E 段十格):真 tsc 逐句核 —— 工厂返回值直接赋给宿主 `CanUseToolFn` 形(推断 / 只写决断型 / 显式三参 / 仍可赋给旧返回型 / 既有实现方写法不被打坏)、`backendDeny` 返回值可赋给 CC 内部形与 agent-types 拒绝臂、`HitlBackendDenyDecision` 接得住 CC 的可选成员;三枚反例(默认槽位仍是 `never` / 归因臂恒 `asyncAgent` / 入参是串)落在预期诊断码。
173
+ - 扩门 `scripts/run-layering-shadow-export-test.mjs`(CC-343 ① ⑤;+T5 / T6 / T6b / T7 / E8 与自证 R7b – R7e / R18 / R18b):影子豁免表的到期只读 `dueBy`(此前三类行按核对期、其余按 `retireBy` 判,表头注与读法对不上);旧字段并存一版、门只核等值;同义不同名登记入口(顶层 `synonyms`,示例行 = 终端 `projectEngineRuleNames` ≈ 本包 `permissionsDeclaration`)核行形 / 到期 / 端侧声明是否仍在。负控套里「到期」那一枚改注入 `dueBy`。
174
+ - 扩门 `scripts/run-retirement-ledger-test.mjs`(CC-343 ③ ④;+S20 与 G1 – G6):已退役行可带 `note`(RL-17 误登挪入);RL-18 / RL-20 带版本兜底 0.93.0;RL-04 条件改随 CC-341 生成;补偿层十条并入台账(行号与 `src/compensations.ts` 逐号相等)。
175
+ - 扩门 `scripts/run-client-core-pure-test.mjs`(CC-343 ④;+1 格):补偿登记里「退役条件指名 P1-3 / 1.290 / 撤单」三组格改读台账行;新增「非空 `retireOn` 一律是在册台账行号」一格。
176
+ - 扩门 `scripts/run-rewind-archive-capability-test.mjs`(CC-345 ①;S5 改口两格 + S5x 一段):纪元位 `on` / `off` / `not_reported` / `malformed` × `both` 带不带 `restoreFiles`;没传 / 没观测带;读不懂的读数十二形(含取值就抛)不带;`conversation` / `code` 不读;只读纪元位(其余三位怎么说都不改);经真投影与 tee 读口的端到端;纪元位不改 `both` 档可用性;三句「不认」措辞改口。
177
+ - 扩门 `scripts/run-approvals-stream-live-capability-test.mjs`(CC-345 ②;+S5 一段):feed 源文件里没有这一位的读点(带尺子正控);位真 / 位假两种读数下宿主 `shouldReconcile` 为真时对账照常跑;源码注释不再写「决定 / 判据单源」那类驱动口径。
178
+ - 扩门 `scripts/run-permission-rule-issue-codes-test.mjs`(CC-359;+C-359 一段):有冒号 / 没有冒号 / 中性三句互异、各自点名或不点名冒号;冒号只在工具名里(`Foo:bar(x)`)按没有冒号读;转义左括号 / 读不懂的规则原文(非串 / 空 / 无括号 / 超长 / 取值就抛的代理)落中性句、不抛;规则原文不进句子;其余十四码与两参形逐字节同。
179
+ - 登记物:根公面基线 1397 → 1429(+32,零删名)、测试钩 63 → 64(`__resetAttachmentSeatReadingsForTests`,CC-315 ③)、公面类型名 964 → 997(+33);裸计时器创建点登记 +1 处(`engineCapsCache.ts`,CC-311);门清单 `scripts/gates-manifest.json` 177 → 183 条(新门 `hook-matcher-verdict`(CC-306)/ `steer-refusal-advice`(CC-307)/ `engine-caps-settled-within`(CC-311)/ `human-turn-encoding`(CC-315 / CC-297)/ `read-deny-tiers`(CC-327)/ `server-7115-fixture`(CC-339);CC-293 / CC-310 / CC-314 / CC-334 / CC-340 / CC-343 / CC-345 / CC-359 只扩既有门,CC-339 另扩六道既有门),README「Guards」与负控文档由生成器同批重写(行为套 134 → 140;自动化负控 28 / 盲门 14 不变);单例清单 617 → 649 条(CC-303 +1 / CC-309 ② +1:两只无状态正则;CC-306 +1:matcher 事件范围集合;CC-310 +2:句序元组与四句措辞表;CC-314 +1:报告口理由闭集;CC-315 / CC-297 +18:一只能力位读器、八只正则、三只冻结对象〔含读口坏形哨兵〕、三只名单、两只查找集〔由名单派生〕与一张拒绝哨兵表;CC-318 +2 / CC-327 +2:四张生成表;CC-322 ① +4:仲裁生成表与三态读数三只冻结实例;CC-307 原有一条由 Map 改写为全表对象,条数不变),high 上限 134 不变;棘轮 `portability.kernel` 22 → 23 / `portability.adapt` 37 → 38(CC-309 ②)、`portability.index` 239 → 249(CC-318 / CC-322 ① / CC-327 +3、CC-303 +1、CC-306 +1、CC-310 +1、CC-315 / CC-297 +4)、`typeshape.unknownExport` 469 → 474(CC-303 +1、CC-306 +1、CC-315 ③ +1、CC-339 +2),棘轮账 340 → 351 条(登记账逐条写理由);类型 / wire 超集台账 99 → 102 条(+3 键:`_sema_provider_rejection_resend`,错配键子键 `rewindOffered` 同登;`probeReason` / `_sema_fleet`,CC-339);退役登记在册 11 → 23 行、已退役 8 → 9 行(RL-21:部署键串校验口里按服务端受理行为手写的逗号串文法,服务端出纯解析函数后改读,复核期 0.92.0,CC-327;RL-22:自由函数 `providerRejectionResend` 的根入口导出 —— 与行上的键是同一事实的两条读法,三端改读行上的键之后退出根入口,复核期 0.93.0,CC-309 ②;RL-31 … RL-40:补偿登记表十条非空退役条件由自由文本改为台账行号,机读条件 + 复核期,CC-343 ④;RL-17 误登〔不是过渡臂〕挪入已退役并带注、RL-04 条件改为随 CC-341 生成即退、RL-18 / RL-20 补复核期 0.93.0,CC-343 ③;RL-41:附件席位能力位读器的占位形,到货转正,复核期 0.93.0,CC-315 ③;RL-16 条件改写为随支持底线越过服务端 7.115.0 退,复核期不动,CC-339);`docs/KNOWN-LIMITS.md` 新增 KL-419…421 / 425 / 427 / 428 / 430…433 / 435…437 / 445 / 447 / 448 / 450…453 / 455…469 / 470…475 / 480…482 / 485…493、KL-357 改写、KL-102 改写(块标记那一半收口)、KL-402 改写(已收)、KL-416 升级判据栏补本版判定口的指针、KL-392 追注(位名定稿)、KL-209 改写;清账删 141 行(48 过时、93 升票,CC-349),全档 414 → 326 行(KL-426 / KL-446 号空置,不重排);接入文档冻结账 1653 格(144 版)不变。
180
+ - 扩门(本版发版前修的那几件,逐件红先绿后):`scripts/run-prompt-delivery-projection-test.mjs`(261 → 284 格:L11 读回时 `by` / `share` 描述符读抛、`ownKeys` / `has` 陷阱抛四形照收为 legacy、`a` 记录枚举抛、`u` 读抛对照;L12 写口收两档 —— 铸形与键序、份额读数、换代查询与按行口、`deliveredBySteerReceipt` 同律、两档同 uuid 按 `full`、JSON 往返,时序 partial → full 升格 / full → partial 不降,并发 300 例两只写口交错对上确界参照,失败分类档内坏 uuid 与七种坏批不抛零记录;LT1b 两只写口收两档与数组两形、只收数组的自写替身照赋)· `scripts/run-human-turn-encoding-test.mjs`(288 → 296 格:HT2i – HT2l 粘贴图过三道座位上限、让座后 `@` 图照常排座、steer 不变;HT5h / HT5h2 150000 只随行两档不抛;HT5i / HT5j 编码 → 两档 → 账本写口端到端)· `scripts/run-additive-key-passthrough-test.mjs`(140 → 143 格:G8i / G8i2 活卡帧 `probeReason` 取值器抛与描述符陷阱抛、G8j 耐久行同形,卡照呈、决断照发)· `scripts/run-hitl-gate-honesty-test.mjs`(575 → 581 格:F19g 409 `checkpoint.unsupported_version` ∧ `retriable` 进两只判定、`isAlreadyResolvedFailure` 码优先、耐久审批卡的失败结局带 `retriable`(只认自有位)、提问卡上原句含 `not found` 时不重连)· `scripts/run-resume-refusal-copy-test.mjs`(272 → 273 格:⑨-12c 这一形的尾句与尾句铸点同一只、其余尾句不变)· `scripts/run-tool-history-mismatch-projection-test.mjs`(344 → 347 格:RA 合成终局行的选臂判据只此一处,铸行处与错误载体铸口调同一只;臂的先后钉住 —— 错误句恰以模型输出那一句开头时,占锁与治理两臂仍优先;RB 逐字节对拍照旧)· `scripts/run-upstream-tables-test.mjs`(407 → 408 格:U7 引擎码串 `request.field_conflict` 的串字面量在 src 里恰一处,尺子自证 +1 类)· `scripts/run-client-core-pure-test.mjs`(+3 格:G-AV6 生成负控 —— 发布产物副本的退役键表多植一行假键,不抛口报那只假键的名字与它自己那一行的理由、抛的口同拒,真产物照旧按未登记键拒)。
181
+
182
+ ### Known limits(本版新增)
183
+
184
+ - **KL-419**:steer 拒收的处置句是写给接入方的,不是现成的用户面句子;其中 `queue_full` 与 `ambiguous_target` 两句与终端 1.0.141 自持句表不同义。
185
+ - **KL-420**:`isAlreadyResolvedFailure` 不含终端决断失败判据多出的四臂(安全信号闸 / 引擎机器码表 / sdk 类名表 / 续跑启动期类名排除);终端换调后仍自持这四臂。
186
+ - **KL-421**:`ControlSafetyError` 的 cancel 404 与「没有在飞的 run 可取消」两种只陈述、不含处置的拒收没有 `advice`。
187
+ - **KL-425**:`parseReadDenyBuiltinTiers` 的串文法是按服务端受理行为写的镜像;服务端发布包里没有可直接调用的纯解析函数,没有可对拍的受理口,门里只有九格金样。
188
+ - **KL-427**:问类仲裁表 / `askSurvivesStandingAnswer` 与两张同源闭集表是构建期快照:引擎之后新增的问类判定答 `unknown`(照问),本包换钉后才认得。
189
+ - **KL-428**:更老的服务端 / 引擎(服务端 7.109.0 之前)停下的卡没有 `classes`,`askSurvivesStandingAnswer` 答 `unknown`(照问)。
190
+ - **KL-430**:`attachmentsSubmitVerdict` 只读 `SEMA_ATTACHMENTS`;`buildTaskRequest` 的 `attachments` 对象里点名退役键仍抛 `AttachmentsSpecRefused`,没有不抛的对位口。
191
+ - **KL-431**:`inheritEnvRefusalContent` 的句子按条件措辞:拒体上没有机读字段位,认不出这一次是不是冲着 `inheritEnv`,也不对「引擎点没点名字段」作断言。
192
+ - **KL-432**:`sessionPolicyReadNotice` 里写口的四类拒绝分类在读路上本不会铸出;万一撞上,句子只转述「引擎答了这一类拒绝、所以没读到」。
193
+ - **KL-433**:`attachmentsSubmitVerdict` 句子里的「第 N 项」只数非空项,用户按逗号位置数会差一。
194
+ - **KL-435**:点名坏轮句的预览截点恰落在 emoji 连字序列中间时,末尾留一只零宽连接符(先洗后截;与终端同答)。
195
+ - **KL-436**:结果帧 `errors[0]` 不带「改了重发」那一句;要在 `errors[0]` 上呈现的端读同一流里合成终局行上的键。
196
+ - **KL-437**:`adapt()` 接力的重发键只认本版判定口会铸的读数,判定口措辞改过的老行重放时这只键丢、行文本照旧。
197
+ - **KL-445**:有界形的返回值说「等待为什么结束」,不是读数;返回后仍要读缓存位。
198
+ - **KL-447**:`withinMs` 「没给」(无上限,同 0.90.0)与「读不懂」(不等)答法不同;由可能缺席的配置算出 `withinMs` 会得到无上限等待。
199
+ - **KL-448**:终端接缝外包 race 的 1500 ms 一处(race 要罩住可注入的接缝替身)不在本件射程;另四份终端手写等待按接入文档 117d 迁。
200
+ - **KL-450**:`hookMatcherVerdict` 的正则形只在给得出耗时上界的语法子集里判,子集外与静态回溯上界超预算的落「本口不判」,其中有服务端能判出的格(先行断言形服务端拒、本口不判)。
201
+ - **KL-451**:`hookMatcherVerdict` 的事件范围是本包手抄的三员集合(真源在设置契约包,门里逐员对拍)。
202
+ - **KL-452**:`hookMatcherVerdict` 对长正则形的编译开销只由 8192 字符上限兜(8 KiB 长交替正则首次执行实测 20 – 170 ms)。
203
+ - **KL-453**:`hookMatcherVerdict` 按 hooks 会被采纳的车道答;多租户车道上正则形的 `refused` 服务端受理(名字表形照拒)。
204
+ - **KL-455**:账本份额只有条目级两档:`partial` 只说这一条交出去了一部分,不记缺的是哪几项(逐项在编码答案的 `shares[].parts`)。
205
+ - **KL-456**:更新版本铸的、本版读不懂的来源词 / 份额词按 legacy 存,经本版转写出去就丢了那一位。
206
+ - **KL-457**:0.90.0 及更早的读者读进本版记录再写出去的 `d` 不带 `by`,回到本版是 legacy(不知道)。
207
+ - **KL-458**:代索引不落盘、不设上限:重启后读回的账本对任一代答空;从不按代读的宿主,索引随提交增长。
208
+ - **KL-459**:`toRecords` 是读数上升史:同一 uuid 混读 legacy / `partial` / `full` 时记录条数随先后不同,读数相同。
209
+ - **KL-460**:崩溃遗留通告会把已经执行完、结果已流到屏上的调用也列进需人核(服务端按「这条 run 的执行有没有收尾」收敛,收敛行上没有能与转录对上的调用 id,也没有「结果已产生」位);候服务端给位。
210
+ - **KL-461**:补话三级处置是预判,部署的提交钩子等仍可能当场拒(端的留队出路接住)。
211
+ - **KL-462**:只有附件、没有正文的条目不留尾随空行,与终端现行拼法差这一处。
212
+ - **KL-463**:8 MiB 核算信调用方报的其余键字节数;末道对实际请求体的终判是端的事。
213
+ - **KL-464**:附件席位读器今天恒 `not_reported`,装配口恒走信封;席位键名候引擎那一版的判据。
214
+ - **KL-465**:块的缩进按行首空白字符个数比,不按显示列宽(制表符、表意空格各算一格);混用制表符 / 非 ASCII 空白缩进、块里的行字符数不多于标签行时,那一行起按块外读;块里一行只有控制串且顶格写时同样读作回退。
215
+ - **KL-466**:没有块标记的 YAML 多行普通标量只遮首行(0.90.0 同)。
216
+ - **KL-467**:等号分隔不认块头:关联数组箭头 `'api_key' => '<值>'`(同一行或 `=>` 后换行)与 `key = |` 这类非 YAML 写法按单行值读,值不洗或只遮块标记(0.90.0 同)。
217
+ - **KL-468**:诊断文本里凭据标签后恰是 `|` / `>` 再换行、其下是缩进行时整块遮(多遮)。
218
+ - **KL-469**:JSON 转义形的块按字面 `\n` 切行、不数反斜杠转义层:块里转义过的反斜杠紧跟 `n` 会在那里断行。
219
+ - **KL-470**:`checkpoint.unsupported_version` 那一句不认定成因(拒体上没有分臂位;同一个码还有「行格式比本进程新」等成因),出路以「若是升级之前停下的」起头。
220
+ - **KL-471**:`checkpointUnsupportedVersionFromError` 只认错误对象自有的 `retriable === true`;只在 `extra` 里带这一位的重建形与不带这一位的终局形不认领,端走通用拒绝面。
221
+ - **KL-472**:审批决断出口分不清是自己那张卡还是 workflow 宿主那条路径,补句不带停驻种类(两类出路都说)。
222
+ - **KL-473**:`probeReason` 不在呈卡帧 / 卡信封上(上游刻意不带),从那里来的卡恒缺席;本包不截长(服务端已按引擎铸得出的长度整只丢超长句)。
223
+ - **KL-474**:`fleet` 视图只过境 `subagentTranscripts` 一位,同段另两位不读。
224
+ - **KL-475**:「只续已有会话」的 422 形按「状态 ↔ 码」成对认,码 `request.field_conflict` 是多处共用的码(服务端别处一律 400);服务端哪天在提交面另铸一处 422 ∧ 这个码,本读口会把它读成这一形(门扫夹具钉「只此一处」)。
225
+ - **KL-494**:审批卡上 `probeCause` / `mandated`(与耐久行的 `riskDescriptor.probeCause`)的裸读不受保护,取值器抛或撤销式代理会让整次呈卡失败(0.90.0 既有;本版只把新读的 `probeReason` 改成受保护读)。
226
+ - **KL-495**:计划审阅撞 409 `checkpoint.unsupported_version` 时尾句已改口,但结局仍记 `still_parked` ⇒ 卡会放回屏上,再点一次只会再撞同一个 409。
227
+ - **KL-480**:`rewindSpecForMode('both', id, reading)` 只在读数明说不认(纪元位 `off` / `not_reported` / `malformed`,或读数读不懂)时不带 `restoreFiles`;没传读数、或传了「没观测」的读数时照旧带 —— 没问能力位不等于引擎说不认。
228
+ - **KL-481**:同义不同名(端上换了名字另写本包已有逻辑)只有登记入口,门核登记行的存活与到期,不做全量扫;没登记的这一族机器看不见。
229
+ - **KL-482**:`permissionRuleIssueDetail(code, message)` 不传第三参 `rule` 时,`invalid.param_split` 说中性的一句,不分有没有冒号。
230
+ - **KL-485**:报告口对一条规则只报第一个没过的那一关;allow 门没开时 allow 规则不逐条判,内容形 allow 门开之后仍不会投。
231
+ - **KL-486**:几个理由词各合并了几种情形(能力位四种读数、编译器问题码、判官两种失灵、两段协议名的几种形、两种去重)。
232
+ - **KL-487**:规则数组里的非串与纯空洞不进 `kept`。
233
+ - **KL-488**:读健康门只认宿主交的那一个词:读不干净而沿用上一次干净读的 allow 要由宿主交 `'clean'`;不交读健康按「不知道」处置,设置文件里的 allow 不发(命令行 / 会话来源照发)。
234
+ - **KL-489**:报告里命令行 deny 与设置 deny 同记 `deny` 桶,不分来源。
235
+ - **KL-490**:装配口手持三份上游受理限值的镜像(请求体 8 MiB、图片 20 张 / 单张 6 MiB、补话文本三判据),上游没有可读的权威位;门里对上游实物见证,已请上游公布。
236
+ - **KL-491**:提醒旋钮键表仍是静态表,按能力面取交集候服务端公布受理键集。
237
+ - **KL-492**:名字 / 路径里的提醒形标签原样进信封头行;补话上整条留队。
238
+ - **KL-493**:`run-layering-shadow-export-test.mjs` 的展示层差分格把已装设置契约包的 `types` 入口当桩依赖载入,语料只含字符面、不调用它;该入口读不到(或换版)时这道门不红(换钉 `^8.0.0` 时实测:移走 `types.js` 后门读数与换钉前逐字节同)。
239
+ - `disableSkillsDeclaration` 首发不生效(KL-357)改写:宿主已起探测、探测在窗内落定且能力位为真时,有界变体让首发带上键;探测慢于窗 / 失败 / 没起 / 引擎没报或报假 / 宿主仍调同步口时首发照装技能。
240
+ - 已知限制档里此前「YAML 块标记后的值被误导性地遮了块标记」那一半(KL-102 后半)本版收口,KL-102 只剩括号包住的值一形。
241
+ - KL-402「投递账本其余入口在撤销式代理上外抛」本版收口(CC-293 / CC-334 同批动了投递账本的行为面):五处数组判收进受保护读,撤销式代理入参 ⇒ 不记 / 答空、不抛(§117 PL-3)。
242
+ - **已知限制档清账**(CC-349):`docs/KNOWN-LIMITS.md` 删 141 行 —— 48 行已过时(前提不成立或已标解;逐行核过让它过时的坐标仍成立:KL-2 / 7 / 23 / 29 / 31 / 40 / 42 / 51 / 55 / 63 / 65 / 69 / 70 / 74 / 82 / 99 / 110 / 112 / 113 / 114 / 125 / 128 / 135 / 143 / 144 / 145 / 167 / 170 / 179 / 185 / 189 / 193 / 197 / 208 / 218 / 233 / 234 / 235 / 236 / 245 / 246 / 251 / 263 / 280 / 329 / 332 / 333 / 364),93 行判为「该立票的缺陷」而不是「已知并接受的取舍」,改由承接票带:CC-168〔KL-43〕、CC-190〔KL-66〕、CC-192〔KL-108 / 109 / 210〕、CC-235〔KL-11 / 175〕、CC-288〔KL-215〕、CC-341〔KL-198〕、CC-342〔KL-195 / 196〕、CC-343〔KL-211 / 395 / 418〕、CC-350〔KL-9 / 21 / 27 / 30 / 39 / 46 / 47 / 52 / 75 / 77 / 80 / 107 / 126 / 174 / 250 / 256 / 267 / 268 / 291 / 371 / 377 / 399〕、CC-351〔KL-3 / 18 / 33 / 36 / 44 / 49 / 50 / 56 / 58 / 71 / 72 / 76 / 81 / 97 / 98 / 123 / 132 / 133 / 136 / 155 / 161 / 166 / 171 / 176 / 206 / 212 / 222 / 248 / 273 / 275 / 281 / 292 / 295 / 299 / 308 / 309 / 314 / 337 / 338 / 339 / 342 / 345 / 353 / 359 / 366 / 368 / 372 / 376 / 378 / 386 / 388 / 404 / 405 / 406 / 408 / 409 / 413〕。id 不重排、不复用。留行:承接票本版已交付、取舍还在的五条(KL-102 / 178 / 297 / 357 / 417)与复核后保留的三条(KL-373 / 387 / 392)。
243
+ - 登记物按既定裁定改窗(本版对这些物零改动):同名影子对账门的过渡表里,终端四行(`promptKnownUndelivered` / `withoutUndeliveredPrompts` / `reopenPlanReviewCard` 三只同名包装与壳侧那一份 `fileHistoryLegNoticeVerdict`)期限 0.91.0 → 0.92.0 —— 删行期限按「终端删掉包装之后的下一个本包版本」定,终端下一发布 tag 尚未出;同表十行复核期类按终端 1.0.141 发布 tag 逐行复核、判词不变,复核期续到 0.93.0(其中 `turnEndUsage` 转口在终端上已无运行时调用点,点名终端删);退役台账里按支持底线判的三条(`ruleStoreUnreadable` 两代读法 / 退役词 `plan_mode` / `approverPosture` 专句拒)支持底线未越过(服务端 7.104.0 / 引擎 7.33.8),复核期 0.91.0 → 0.92.0 并入支持底线以下过渡臂退役批(CC-352);「只续已有会话」被拒粗码读法的复核期 0.91.0 → 0.93.0 随支持底线(服务端 7.115.0 已给两处挂码,本版起带码形优先、粗码兜底)。
244
+
245
+ ## 0.90.0(2026-10-04)
246
+
247
+ > 主题:引擎 7.40 / 服务端 7.113 / sdk 16 探针换钉提货 · `settings.permissions` 三桶装配口与 allow 桶的能力位门控 · 文件历史一句的五态判定与声明事实账本 · hooks matcher 工具别名读口 · 机读支持底线与引擎版本三态 · 投递账本两只绑定方法 · 云控制面子路径入口五名转口。
248
+
249
+ ### Removed
250
+
251
+ - **通告事实读器 `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。
252
+ - **请求键 `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。
253
+
254
+ ### Added
255
+
256
+ - **云控制面子路径入口 `@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**)。
257
+ - **`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)。
258
+ - **`AllowDenyPolicyOptionsView.scope?: 'grant' | 'narrowing'`**(CC-291;**§116 EN-9**):引擎 7.40.0 起 `createAllowDenyPolicy` 的入参多可选 `scope`(`allow` 名单命中是「已陈述的许可」还是「只划范围、不是同意」;缺省 `grant`)。入参镜像加这一位,值原样透传给装的那一只、本层不判成员不补缺省。
259
+ - **文件历史一句的判定:`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`,只有前两态出句:
260
+ - `not_honored` —— 这条 run 的提交**真带了** `fileHistory: "disabled"`、引擎仍报 `on`。只看声明事实,不看能力位。句子:「The engine is still capturing file history for this session, though your settings asked it not to.」(98 字符,结论在句首);
261
+ - `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.」;
262
+ - `honored`(带了、报 `disabled`)/ `not_declared`(用户没关;或确知没带而引擎本来就没捕获 / 能力位答 `on-optional`、是这一发刻意没带,例如还原文件的那一次提交)/ `unknown`(读数不够:回执上没报或报了表外词、能力位读不到或认不出而声明不是 sent、用户关了却不知道带没带)—— 零句。
263
+ - 判定是一张先中先得的六行清单,72 格真值表见接入文档 §116c。入参只认自有属性;任何一维缺席或坏形落该维的缺席值;绝不抛。
264
+ - **声明事实账本 `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`。账本只在进程内,不落盘、没有读回口。
265
+ - 型:`FileHistoryDeclarationFact` / `FileHistoryLegNoticeVerdict` / `FileHistoryLegNoticeInput` / `FileHistoryDeclarationLedger`。
266
+ - **hooks matcher 的工具别名读口 `hookToolAliasesOf()` / `canonicalHookToolName(name)`**(CC-298;接入文档 **§116 HA-1 … HA-6**):引擎的静态工具目录里,有的内置工具带别名(今天一条:`ListPeers` 是 `ListAgents` 的别名)。端上按工具名认 hook 条目的 matcher 时,别名拼写与规范名是同一只工具;此前终端在壳侧手抄了一份钉版镜像,引擎一加别名就悄悄对不上。
267
+ - `canonicalHookToolName(name)` ⇒ `string`:是某个内置工具的别名 ⇒ 它的规范名(`ListPeers` → `ListAgents`);其余一切 —— 规范名自己、表外名、空串、`constructor` / `__proto__` / `toString` 一类原型键 —— 原样返回。**逐字比**,不折大小写、不裁空白、不折零宽字符(`listpeers` / `ListPeers ` 都原样)。入参不是串(JS 宿主给了 `undefined` / 数 / 对象)⇒ 原样返回同一个值,不抛、不按 `toString` 当串认。永不抛。
268
+ - `hookToolAliasesOf()` ⇒ `Readonly<Record<string, string>>`:别名 → 规范名的表,每次交同一个冻结实例(null 原型,用工具名当键直接取值也读不到 `Object.prototype` 上的东西);今天 `{ ListPeers: 'ListAgents' }`。表本身不另出名,只经这个读口给。
269
+ - 表是**构建期从已装开发依赖引擎的静态工具目录生成**的(`scripts/gen-upstream-tables.mjs` 第六批:展开引擎包根读口 `describeToolCatalog()` 每条的 `face.aliases`;引擎包根没有现成的别名表导出),运行期不读引擎、不手抄,所以没有「引擎读不到」这回事。生成器遇到目录读口缺席 / 抛 / 形不对、一张别名都没有、别名撞别条目的规范名、两条目对同一别名给出不同规范名、别名是整数形串(JS 对象会把这类键重排),一律拒生成(非零退出、不落盘空表冒充「引擎没有别名」);生成物从键值对构造(对象字面量里的 `__proto__` 键不建自有属性,字面量写法会静默丢这一行)。
270
+ - 射程:只含静态目录里**内置**工具的别名;调用方在 `spec.tools` 里声明的别名、MCP 工具的别名不在静态目录里,不在表(对它们原样返回);参数别名(`pathTarget.aliases`,如 Read / Edit 的 `path`)不是工具别名,不在表;本口只回答「这个名字是不是某个内置工具的别名」,matcher 的通配 / 正则语法不在本口(KL-391)。
271
+ - **机读支持底线声明 `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`。
272
+ - **引擎版本三态判定 `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` 同一只(整串正式版)。
273
+ - 公面类型 `SupportFloor` / `SupportFloorComponent` / `EngineVersionTier`。
274
+ - **投递账本的两只绑定方法**(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 = 删行期限,本版不改窗)。
275
+ - **`permissionsDeclaration(input, caps)`** ⇒ `PermissionsDeclaration`(CC-302;接入文档 **§116 PM-1 … PM-8**):宿主解析好的权限规则(`deny` / `ask` / `allow` 三列,外加可选的来源表 `origins` 与命令行 deny `cliDeny`)装成请求体 `settings` 的 `permissions` 片段。一条规则贯穿三只桶:
276
+ - **按来源信任序排**:托管策略 > 命令行 > `--settings` > 会话 > 用户 > 本地 > 项目 > 来源说不清的(保持原序)。同一来源内按来源表的登记序;同一条规则只留最受信那一处;命令行 deny 排在命令行那一档。超过引擎条数上限时(服务端 7.106.0 起整请求拒收而不截断;更老的引擎截尾),截掉的只会是最不受信的那一截。本口自己不截断。
277
+ - **过同一只安全投影**:引擎会因之拒收整份请求的规则不发 —— 裸工具名是退役名、无协议前缀的 `__` 短形或不完整协议名;路径文法工具以 `~/` 起头的规则;引擎的规则编译器拒收的规则。判据全部取已装的引擎值级端口(`installCoreValuePorts`),与引擎同一只函数。整工具规则投归一后的工具名(`Bash(*)` ⇒ `Bash`、旧工具名 `Task` ⇒ `Agent` 等),内容形规则投原串。
278
+ - **整服务器 / 整 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)。
279
+ - **同一条规则跨桶不去重**:deny 与 ask 里都有就两只桶都发(引擎 deny 先生效)。
280
+ - 🔴 **allow 只在能力位读到「按规则读、不当名单」时才发**:`caps` 是 `observedPermissionsAllowGrant(baseUrl)` 的读数,只有 `present ∧ grants === true` 才发 allow 桶。不认这一位的引擎(今天的全部引擎)可能把 allow 当**名单**读 —— 在场即收窄、名单外的工具一律拒,所以没报 / 为假 / 没读到 / 读数畸形一律不发;这种引擎上审批照旧由客户端按 allow 规则放行,与上一版同一条路。发出去的 allow 在引擎那边是「有人对这只工具表过态」,不是免问:引擎自己要问的(写门、shell 一类)照样会问;内容形 allow(`Bash(git:*)` / `Edit(src/**)`)本口不投,仍由客户端同步放行。allow 桶永不发空数组;规则编译器对某条 allow 规则答不上来时那一条不发(deny / ask 在同一形上照发 —— 判不出一律往收紧落)。
281
+ - 产物:每只桶只在非空时在场,三只都空 ⇒ `{}`;数组每次新铸、不别名入参、不改入参。用法:`permissions: { ...宿主自己的其它 permissions 子键, ...d.permissions }`,经 `settings.resolved` 交给装配口。
282
+ - 拒绝面:入参不是对象、某个字段只在原型链上、某只桶不是数组、来源表不是 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)。
283
+ - **能力位读器 `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`、位只在原型链上〕⇒「读不出」那一句,永不抛)。
284
+ - 🔴 **位名候定**:按 `/v1/capabilities` 的 `settings.permissions.allowGrant`(布尔)读;服务端尚未发布这一位,今天的一切引擎在这一位上都读 `not_reported` ⇒ allow 一条都不发。服务端定名后若不同,下一版改读(KL-392)。
285
+ - 公面类型 +6:`PermissionsDeclaration` / `PermissionsDeclarationBuckets` / `PermissionsDeclarationInput` / `WireRuleOrigin` / `WireRuleOrigins` / `PermissionsAllowGrantReading`。
286
+ - **错误载体铸口 `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` ⇒ 行上有键 ⇔ 判定口让位。
287
+ - **`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'`。不按拒绝原因分子类。
288
+ - 公面合计(本版):根入口运行期导出 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 必有成员(把自写替身赋给该接口型的端编译红一次)。
289
+
290
+ ### Changed
291
+
292
+ - **开发依赖引擎 `~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`,经服务端不会出现这一来源,出现时落默认句。
293
+ - **结算词表 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)。
294
+ - **服务端夹具换钉 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 探针树)。
295
+ - **文件历史「没照办」那一句改口**(CC-294;**§116a′**):0.88.0 接入文档 G-FH7 的判据「用户关了文件检查点、引擎报 `on` ⇒ 渲『本会话未按声明执行』」作废 —— 那一句只在**这条 run 的提交真带了关断声明**时说(`not_honored`);能力位 `on-always` 的部署上改说「这台引擎按会话关不掉」(`not_offered`);能力位 `on-optional` 而这一发没带(还原文件的那一次提交)零句;回执上没报「引擎没报」那一档也不再单渲一句(零句,不渲「已关闭」)。英文句换成结论在句首的新句(见 Added)。
296
+ - **能力位读器家族交出的读数冻结**(全家族十八只 `observed*()`;**§116 CR-1**):读口交出的是读账里那一只对象 —— 此前读者就地改它(`r.grants = false` / `r.kind = …`)会改掉这一格此后所有读者的答案(放行位被改真 ⇒ allow 规则被交出去)。本版存进读账时逐层冻结 —— `present`、`not_reported` 与逐位读器某一位 `malformed` 的读数同律(只冻 `present` 会让读者把 `not_reported` 就地改成 `present` / 放行真):非严格模式改写无效、严格模式抛 `TypeError`,再读仍原值;未观测读数(含畸形删格之后)每次新铸、不进读账、不冻;交给 tee 的能力回体不冻。要改读数先拷一份。
297
+ - **状态派生粗码表 `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)。
298
+ - **老引擎两代读法的退役改按支持底线判**(CC-299;**§116 RL-3**):`ruleStoreUnreadable` 一族与「谁拒的」退役词 `plan_mode` 在声明的引擎底线越过 7.34.0 那一版删,请求键 `approverPosture` 的按名专句在声明的服务端底线越过 7.106.0 那一版删(删公面名的那一版走 minor 并提前一版预告)。本版三者都不动。
299
+
300
+ ### Fixed
301
+
302
+ - **「改了重发」判定口与会话历史 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)。
303
+ - **权限规则装配口:被引擎规则编译器拒收的整工具名照发**(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 的整工具名也不再投(收紧方向;修前裸名不经校验器照投)。
304
+ - **终局行与错误载体对同一帧各读一遍**(CC-309 修订;**§116 PR-2 / G-PRC9**):铸行处先算一遍选臂读数、载体铸口自己再算一遍 —— 占锁位 / 终局码是「只在某一次读答某个值」的取值器时(只有宿主自建对象可达),行文是占锁话 / 治理话却带错配键与 `/rewind` 句,或反过来。修后铸行处把算好的读数交给载体铸口,同一帧同一拍只读一遍;公面口 `toolHistoryErrorCarrierOf` 自己调一次也只读一遍。另「有没有终局行」只有一个判据 —— 错误句非空:`failed` 帧 `errorMessage: ''` 不出终局行,载体也是空载体(修前载体是 `{ code }`)。
305
+ - **`createPromptDeliveryLedger().deliveredByFrame` 喂撤销式代理帧时外抛 `TypeError`**(CC-294 同批;只有宿主自建对象才可达,JSON 帧上不可达):判据第一步的数组判就会抛,与它的头注「读帧抛 ⇒ 不算」不符 —— 本版答「不算」、不记、不抛。与账本 `boundToRun` 共用这一只判据。同一包里其余几只入口在撤销式代理上仍外抛(KL-402)。
306
+
307
+ ### Gates
308
+
309
+ - 扩门 `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 口指空处 / 代际登记各一,夹具用合成的完整转口、不随真产物变)。
310
+ - 新门 `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 词。
311
+ - 扩门 `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` 上带这一位不改句)。
312
+ - 扩门 `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` 时构建照绿、此前本门也照绿,本版起红。
313
+ - 扩门 `scripts/run-core-value-ports-test.mjs`(→ 59 格):入参镜像与引擎 `createAllowDenyPolicy` 第一参逐键相等(读两份 `.d.ts` 的语法树;`scope` 可选、字面联合逐字同)、`scope` 原样透传。
314
+ - 扩门 `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 起受理账本多这一口)。
315
+ - 地板见证:`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 的见证 ⇒ 标未跑、必跑档红。
316
+ - 新门 `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 格,全是零句之间)。
317
+ - 扩门 `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` 为零差异正控)。
318
+ - 新门 `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` 读法同源(同池「读不懂」逐格同答)。
319
+ - 扩门 `scripts/run-retirement-ledger-test.mjs`(22 → 26 格):上游条件第四种子式 `floorKind` + `floorCrosses` —— 按支持底线声明判(声明那一项 ≥ `floorCrosses` ⇒ 条件已满足,等于即满足);声明读不到 / 坏形即红,不是跳过;子式行形(表外组件 / 非 `x.y.z` / 读已装包 / 与别的子式混用各自报)与判官自证三格。
320
+ - 扩门 `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 时缺这一节才算合法缺席)。
321
+ - 扩门 `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 的类型正例两格(新方法的签名;九口形旧替身传进两只自由函数)+ 反例七格(反例落在预期诊断码上)。
322
+ - 新门 `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 格)。
323
+ - 扩门 `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 次、空句终局不出行且载体空。
324
+ - 新门 `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 段的期望与遍历取自同一份数组,单删一形原先门不响)。
325
+ - 门库 `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 老一代受理口):必跑档 ∧ 老一代列表未设 ⇒ 红,权威环境(列表在)读数不变。
326
+ - 扩门 `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 行退役,本版有了一行而加回。
327
+ - `scripts/run-package-hygiene-test.mjs`:本地过程词表新增一条只扫三份 md 的协作称呼(向前执法同上;dist 里同一个词是子代与主线会话之分的产品语义,不扫);`scripts/run-fixture-flat-done-ratchet-test.mjs`:新门里的两帧 409 拒收信封补注,未注扁平 done 位点回到上限 23(棘轮不抬)。
328
+ - 登记物:根公面基线 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 格不变。
329
+
330
+ ### Known limits(本版新增)
331
+
332
+ - **KL-409**:`planModeReminder` 退役后老部署(服务端 < 7.113.0 且引擎 < 7.39.0)少了显式开 plan 提醒的那一键。
333
+ - **KL-410**:子代副本帧与该子代自己那一帧是两帧,本包不合并、不跨帧去重。
334
+ - **KL-411**:老引擎仍发已退役的通告码 `resume.legacy_mode_seed_migrated`,按册外码处置、无 typed 事实。
335
+ - **KL-412**:服务端 < 7.113.0 的无人值守按类放行记成 `human_allowed`,`isHumanSettledGate` 在那一代上读成「人批的」(记录上分不开);`policy_refused` 的 party 两代两说。
336
+ - **KL-413**:开发依赖 sdk 12.x 的结算联合没有 `policy_allowed`,编译期正向钉放宽了一个登记过的滞后词,等 peer 地板抬到 ≥16.0.0 再收(这个滞后词的形由门按语法树守;退役登记 RL-20)。
337
+ - **KL-414**:权限规则装配口在规则编译器对某条 deny / ask 答不上来时照发那一条、未经校验;远端引擎编译不了它时整请求 422。
338
+ - **KL-415**:结算词 `policy_allowed` 没有具名谓词,端要区分「策略放行」按词判。
339
+ - **KL-416**:本包对设置 hooks 的 matcher 不求值、不预检;服务端 7.114.0 起「只选中别名」的 matcher 由服务端整请求拒。
340
+ - **KL-417**:「改了重发」判定口的错配让位要宿主把 `toolHistoryErrorCarrierOf` 铸的载体交进来,不传时与 0.89.0 同答;宿主自拼的载体照收(与判型口同一读法),但不保证与行上的错配键同答。
341
+ - **KL-418**:名字里带 `(` `)` `\` 的整工具 / 整服务器 / 整 peer 规则不上请求体(含左括号的整工具名由安全投影挡下,其余被引擎规则编译器拒收),只留客户端匹配器;与终端 1.0.140 在被编译器拒收的整工具名一形上不同(终端照发、整请求 422,本包不发)。
342
+ - 文件历史一句(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)。
343
+ - hooks 工具别名表(CC-298):是构建期快照,引擎之后新增的内置别名要等本包下一版换钉才进表;调用方 / MCP 声明的别名与 matcher 的通配 / 正则语法不在本口(KL-391)。
344
+ - 支持底线(CC-299):本版取值是保守初值,不是各端回报的底线(KL-404);`engineVersionTier` 的 `'unknown'` 不分「带前后缀的版本号」与「不是版本号的词」(KL-405);引擎一项在活引擎上读不到,只供退役条件判(KL-407);既有五只按服务端版本判功能在不在的读口各用各的门槛与读法,不随支持底线收(KL-408)。
345
+ - 粗码表(CC-299):仍是本包的本地字面量;与 sdk 常量、契约那一节的一致只在门带着 sdk ≥ 16.0.0 探针树与服务端源码树时核(KL-406)。
346
+ - 权限规则(CC-302):能力位位名候定,今天 allow 一条都不发;规则能不能编译由客户端装的引擎值级端口判,不是远端引擎;规则编译器对某条 deny / ask 答不上来时那一条照发、未经校验(KL-414);整服务器 / 整 peer 写法里服务器段以 `_` 结尾的仍只留客户端(KL-396);被编译器拒收的整工具名不投、只留客户端(KL-418);一只桶超过引擎条数上限时整请求被拒(三桶同律,本口不截断);规则编译根基取固定的绝对路径。详见接入文档 §116「包侧缺口」。
347
+ - 登记物按既定裁定改窗(本版对这些物零改动):同名影子对账门的过渡表里,终端三只同名读口(`promptKnownUndelivered` / `withoutUndeliveredPrompts` / `reopenPlanReviewCard`)期限 0.90.0 → 0.91.0 —— 删行期限按「终端删掉包装之后的下一个本包版本」定(前两只在终端消费本版的账本绑定方法后删,第三只换读本包 0.83.4 起的读点后删);「只续已有会话」被拒粗码读法的退役登记复核期 0.90.0 → 0.91.0(服务端 7.114.0 的两处拒绝尚未挂码)。
348
+
52
349
  ## 0.89.0(2026-10-03)
53
350
 
54
351
  > 主题:**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`(构建期,不进运行期依赖)。