@sema-agent/client-core 0.68.0 → 0.68.2
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.
- package/CHANGELOG.md +206 -0
- package/README.md +4 -1
- package/dist/adapt/arms.js +44 -7
- package/dist/adapt/textSegmentAuthority.d.ts +157 -0
- package/dist/adapt/textSegmentAuthority.js +108 -0
- package/dist/adapt/textStream.d.ts +143 -1
- package/dist/adapt/textStream.js +246 -6
- package/dist/adapt.js +18 -1
- package/dist/adapter/downstream/eventToSdkMessage.d.ts +19 -0
- package/dist/adapter/downstream/eventToSdkMessage.js +18 -8
- package/dist/controlRouter.d.ts +16 -0
- package/dist/controlRouter.js +6 -0
- package/dist/engineHttpTools.d.ts +31 -0
- package/dist/engineHttpTools.js +30 -0
- package/dist/index.d.ts +5 -0
- package/dist/index.js +20 -0
- package/dist/mcpPanel.d.ts +60 -0
- package/dist/mcpPanel.js +105 -0
- package/dist/request/taskRequest.d.ts +54 -0
- package/dist/request/taskRequest.js +75 -0
- package/dist/sdkWireTransit.d.ts +41 -0
- package/dist/sdkWireTransit.js +32 -0
- package/dist/seam.d.ts +86 -8
- package/dist/seam.js +16 -2
- package/dist/toolRoster.d.ts +34 -2
- package/dist/toolRoster.js +16 -2
- package/docs/INTEGRATION-CLIENTS.md +481 -9
- package/package.json +1 -1
|
@@ -19,11 +19,11 @@
|
|
|
19
19
|
|
|
20
20
|
| 项 | 值 | 真源 |
|
|
21
21
|
|---|---|---|
|
|
22
|
-
| 本包 | `@sema-agent/client-core` **0.68.
|
|
22
|
+
| 本包 | `@sema-agent/client-core` **0.68.2**(本批发布版 = patch,additive 零 BREAKING 型面:内容批两半 —— ① 4039c63(cli 车 ZF 包侧半场):L-318 `resolveTextSegmentAuthority` 判决单源 + `createTextSegmentLedger` print 形段账 / L-316 `memoryCaptureDeclarationField` 单铸点 / L-61 `engineHttpTools` + `sdkWireTransit` 原样转口;② 77f929f(车 cc01):CC-01 段身份铸点归包(`SEMA_SEGMENT_ID_KEY`,`text_segment_end` 新带必在 `segmentId`)/ CC-03 `/mcp` 面板读视图归包(`projectMcpPanel` + `mcpPanelLastLegDetail`,`projectMcpSection` 转公面);§35 / 35y 三端升级必读四条)|
|
|
23
23
|
| peer:wire 契约 | `@sema-agent/sdk` **>=8.4.0**(value-level,非 type-only;**0.60.0 抬版**,四条硬理由见 §24a 与 `scripts/run-sdk-floor-test.mjs` 的 `FLOOR` 注;上一次是 0.59.0 的 `>=8.3.0`)。🔴 支持窗同批收到 **engine ≥7.64.0**:sdk 8.4.0 与 7.63.0 及以前的 wire **不同窗** | `package.json` `peerDependencies` |
|
|
24
24
|
| peer:会话词汇表 | `@sema-agent/agent-types` **>=0.2.0**(type-only,零运行时) | 同上 |
|
|
25
25
|
| runtime dep | `diff` ^9.0.0(**唯一**一条;portability 门按**等值**钉死) | `package.json` `dependencies` |
|
|
26
|
-
| 公开导出面 | **
|
|
26
|
+
| 公开导出面 | **965** 个运行期符号(+ 44 个测试钩;= 0.68.2 未发布版的值 = 相对 0.68.1 **十三件 additive、零删除**:`SEMA_SEGMENT_ID_KEY`(CC-01 段身份键,§35f)/ `projectMcpPanel`+`mcpPanelLastLegDetail`+`projectMcpSection`(CC-03 `/mcp` 面板读视图,§35g)/ `resolveTextSegmentAuthority`/`createTextSegmentLedger`(L-318 `text_end` 权威段替换的判决单源 + print 形段账,详见 §35b/§35c)/ `memoryCaptureDeclarationField`/`MEMORY_CAPTURE_OFF`(L-316 会话级隐私声明的字面唯一铸点,§35d)/ `engineUrl`/`probeHealth`(L-61 件④ SDK 纯工具面原样转口,§35d)/ `AgentClient`/`isApprovalRequestFrameV1`/`isApprovalRevokeFrameV1`(L-61 存量清零:SDK **wire 面**原样转口,§35e)。`0.68.1`/`0.68.0` 是 **952**,那批是相对 0.67.2 **二十件 additive、🔴 两件删除(BREAKING)**:additive = `TERMINAL_CAUSE_KINDS`/`isTerminalCauseKind`/`RUN_TERMINAL_NOT_SUCCESS_STATUSES`/`RUN_TERMINAL_STATUSES`(L-247 终态词两表分源,详见 §33b)/ `SEMA_SUBAGENT_USAGE_PARTIAL_KEY`/`subagentUsageIsPartial`(L-244 子代下界位自有名,§33g)/ `ASK_UNRESOLVABLE_CAUSES`/`readAskUnresolvable`/`DURABLE_MANDATE_SOURCES`/`readDurableGateUnavailable`(core 7.17.0 #709 ①② 两只通告事实窄读器,§33c)/ `WORKFLOW_PARK_TRUTH_UNREADABLE`/`WORKFLOW_PARK_NOT_PENDING`/`WORKFLOW_PARK_BINDING_BROKEN`/`WORKFLOW_PARK_REQUIRES_RUN_STORE`/`WORKFLOW_PARK_REFUSAL_CODES`/`isWorkflowParkRefusalCode`/`readWorkflowParks`(core 7.17.0 #652 park 真相四码 + parks 三键读器,§33d)/ `ENGINE_STOP_REASONS`/`engineStopReasonToCc`(L-246 A13 停止原词映射下沉,§33g)/ `readCancelRequested`(L-230 读面,§33f);🔴 **删除两件** `TERMINAL_NOT_SUCCESS_STATUSES`/`TERMINAL_STATUSES`(随 L-247 两表分源更名成 `RUN_TERMINAL_*`,clean-cut **不留别名** —— 留一个别名等于让端可以继续按合起来的那张表读,分源就白做了,详见 §33b)。`0.67.0` 是 **934**,那批是相对 0.66.0 **七件 additive、🔴 两件删除**:additive = `CLASSIFIER_DENY_CAUSES`/`isClassifierDenyCause`/`classifierDenyCauseOf`/`classifierDenyCauseDetail`(core 7.14.0 退役 `classifierUnavailable` 之后的**拒绝面**继任读器与措辞,详见 §32b)/ `RULE_STORE_UNREADABLE_KINDS`/`isRuleStoreUnreadableKind`/`ruleStoreUnreadableDetail`(core 7.14.0 #688 C3 的规则店机制位三件,详见 §32d);🔴 **删除两件** `classifierUnavailableOf`/`classifierUnavailableDetail`(随 core 7.14.0 的 Retired keys 表整族退役,clean-cut 不留别名,详见 §32b;同批删的还有**型** `ClassifierUnavailableView`、卡位与帧位 `classifierUnavailable`、以及一条恒真的型面钉 `_askOriginWordsPin`)。`0.66.0` 是 **929**,那批是一件 additive、零删除:`readRunCostFacts`(终局成本事实的唯一读器:`costBreakdown` / `nested` 窄读 + 对账三段与两个判别位,终帧超集键与 chrome 对账臂共用它;详见 §31c);已发的 **0.65.x 十一件 additive、两件删除**:additive = `DECIDE_WORKFLOW_HOST_UNKNOWN`/`DECIDE_WORKFLOW_HOST_NOT_PARKED`/`DECIDE_WORKFLOW_REMEMBER_UNSUPPORTED`/`DECIDE_WORKFLOW_LANE_CODES`/`readDecideReceipt`/`decideAcceptedNotResolved`/`decideRefusalFromError`(B-070 `/decide` 回执读面与三码人话,详见 §30h)/ `TERMINAL_NOT_SUCCESS_STATUSES`/`isTerminalNotSuccess`/`TERMINAL_STATUSES`/`isTerminalStatus`(L-215② 终局词汇单铸谓词,详见 §30j);🔴 **删除两件** `AUTO_MODE_BREAKER_CAUSES`/`classifierBreakerOf`(熔断族随 core 7.12.0 的 Removed(BREAKING) 整只退役,clean-cut 不留别名,详见 §30k②;同批删的还有**型** `ClassifierBreakerView` 与 `ClassifierStatusView.breaker` 一位)。`0.64.2` 是 **919**,那批是一件 additive、零删除:`readDenialLimitFallback`(限额回落卡的窄读器上公面,壳侧同判据副本退役,详见 §29③);`0.64.0` 是 **918**,那批是件①+件② 十三件 additive、零删除:`CLASSIFIER_STATUS_STATES`/`classifierBreakerOf`/`classifierStatusOf`/`classifierStatusDetail`(分类器状态面,详见 §28②)/ `THINKING_FORMATS`/`THINKING_FORMAT_WIRE_TWINS`/`THINKING_DISABLE_PROBE_ORDER`/`MODEL_PROBE_VERDICTS`/`PROBE_PROMPT`/`PROBE_MAX_TOKENS`/`probeRequestBody`/`probeModelCapability`/`applyProbeToEntry`(模型思考能力探测,详见 §28①);`0.63.0` 是 **905**,那批是八件 additive、零删除:`projectServerGateKnobs`/`postureKnobSourceOf`/`postureSourceIsOperatorPinned`/`postureKnobDetail`/`POSTURE_SOURCE_WORDS`(S-178 三根 posture 旋钮读数,详见 §27b)/ `PERSISTED_RULE_BEHAVIORS`/`PERSISTED_RULE_BEHAVIOR_UNKNOWN`/`persistedRuleBehaviorOf`/`persistedRuleBehaviorLabel`/`revokeTargetFromPersistedRule`(三态规则身份,§27c)/ `engineIdentityOf`/`engineIdentityVerdict`/`engineIdentityChanged`/`engineIdentityChangedBy`/`ENGINE_IDENTITY_ANCHORS`(S-179 代际锚,§27d)/ `GATE_DENIED_BY_WORDS`/`gateDeniedByDetail`/`ASK_ORIGIN_WORDS`/`askOriginDetail`(门词汇 +2,§27e)/ `PERMISSION_RULE_ISSUE_CODES`/`RETIRED_PERMISSION_RULE_ISSUE_CODES`/`permissionRuleIssueDetail`(规则 lint 码表,§27f)/ `projectToolRoster`/`toolRosterNames`/`toolShimFromRoster`/`applyToolRosterDelta`(L-161 工具名册,§27g)/ `ENGINE_NOTICE_CODES`/`ENGINE_NOTICE_AUDIENCE`/`noticeAudienceOf`/`engineNoticeInCatalog`/`MCP_INJECTION_DROP_REASONS`/`readMcpInjectionDrop`(L-167 通告码册,§27h)/ `AUTO_MODE_UNAVAILABLE_CAUSES`/`AUTO_MODE_BREAKER_CAUSES`/`classifierUnavailableOf`/`classifierUnavailableDetail`(件⑧ 分类器不可用事实,§27h2);`0.62.0` 是 **869**,那批是五件 additive、**零删除**:`capForDisplay`(呈前消毒 + 封长的共用铸点,详见 §26⑦)/ `SEAT_SEND_MESSAGE_KEY_ORIGINS`(座位载荷逐键出身表,详见 §26③)/ `configureSubagentContentStore`+`subagentContentStoreConfig`+`SUBAGENT_CONTENT_STORE_DEFAULTS`(子代内容账本字节预算,测试钩 `__resetSubagentContentStoreConfigForTests` +1,详见 §26②);`0.61.0` 是 **864**,那批是三件 additive、**零删除**:`projectReadFacePosture`/`readFacePostureDetail`/`readFaceDisagreement`(S-167 READ 容纳面 operator 读器,详见 §25);`0.60.0` 是 **861**,那批是二十五件 additive、**零删除**:`readRunTerminal`/`runTerminalCode`/`runTerminalGateKind`/`runTerminalGateToolName`/`isReviewPark`/`REVIEW_PARK_GATE_KINDS` 六件终局因由读器 + `gateOutcomeOf`/`isDeniedGate`/`gateDeniedBy`/`gateApprover`/`isApprovalWindowExpiredGate`/`isDenialLimitAutoDeniedGate`/`isParkSlaExpiredGate`/`isHumanSettledGate` 八件门记录读器 + `projectWriteProtectionCapability`/`noteEngineCapsForWriteProtection`/`observedWriteProtection`/`forgetWriteProtectionReading`/`writeProtectionDoctorDetail`/`projectWriteProtectionPosture`/`writeProtectionPostureDetail` 七件写保护读面(测试钩 `__resetWriteProtectionReadingsForTests` +1)+ `readWireErrorCode` + 真机边界①的两件 `isGateParkedToolEnd`/`GATE_PARKED_ERROR_CODE` + 异源复审逼出的 `engineCapsGeneration`;`0.59.0` 是 **836**,那批是八件 additive:`RULE_OFFERS_ABSENCE_REASONS`/`DENIAL_LIMIT_KINDS` 两张闭词表再导出 + `engineCapValue` 能力位四态通用读口 + `projectSqlEngineCapability`/`observedSqlEngine`/`noteEngineCapsForSqlEngine`/`forgetSqlEngineReading`/`sqlEngineDoctorDetail` 五件 SQL 姿态读面(测试钩 `__resetSqlEngineReadingsForTests` +1);`0.58.0` 是 **828**,那批是三件 additive:`RULE_OFFER_MATCHES`/`RULE_OFFER_BATCH_MEMBER_KINDS`/`RULE_OFFER_UNCOVERED_REASONS` 三张闭词表再导出 + `RESUME_REFUSAL_CODES`/`RESUME_PLACEMENT_MISMATCH`/`resumeRefusalFromError`/`resumeRefusalContent` 四件文案铸点;`0.57.0` 是 **821**;`0.56.0`/`0.55.0` 是 **815**;已发 `0.54.0`(design/385 十件 additive 含 `AUTHORITY_ENVELOPE_TAGS`);`0.52.0` 是 **805**(L-69⑨ 两件);`0.51.0` 是 **803**;`0.50.0` 是 **800**(S-81 五件);`0.49.0` 是 **795**;`0.48.0` 是 **794**;npm `0.47.0` 是 **790**,`0.46.0` 是 **787**,`0.44.0` 是 **783**,`0.43.1`/`0.43.0` 是 **776**,`0.42.0` 是 **771**,`0.41.0` 是 **767**,`0.39.0` 是 **766**,`0.38.0` 是 **764**;`0.37.0` 是 **753**,见 `CHANGELOG.md`) | `scripts/public-export-baseline.json` 的 `count` / `testHookCount` —— **别手抄进别处,以该文件为准** |
|
|
27
27
|
| 常驻门 | 以 `scripts/gates-manifest.json` 的 `suites` 长度为准(**本档不抄这个数**) | `scripts/gates-manifest.json`;`npm test` 的名单等值门与它逐名对账 |
|
|
28
28
|
| 沿革档 | 0.29.0 起建 `CHANGELOG.md`;更早批次记账在 `src/index.ts` 文件头 + `docs/REFACTOR-LEDGER.md` | — |
|
|
29
29
|
|
|
@@ -111,7 +111,7 @@ SDK 核对「本包 import 的每个值级符号仍然导出」「`TaskStats.cos
|
|
|
111
111
|
|
|
112
112
|
## §2 公共导出面地图(按域)
|
|
113
113
|
|
|
114
|
-
> 全集真源 = `scripts/public-export-baseline.json` 的 `names`(**
|
|
114
|
+
> 全集真源 = `scripts/public-export-baseline.json` 的 `names`(**965** 项)。
|
|
115
115
|
> 本节**不逐名抄**,只给「域 → 承重导出 → 用途 → 实现锚」。承重导出 = 一个端为了让这个域干活
|
|
116
116
|
> **必须**直接调到的那几个符号;其余是它们的类型、变体与辅助位。
|
|
117
117
|
> 单一入口:`import { … } from '@sema-agent/client-core'`(`exports` 只有 `.` 一个;
|
|
@@ -135,21 +135,21 @@ SDK 核对「本包 import 的每个值级符号仍然导出」「`TaskStats.cos
|
|
|
135
135
|
`WorkflowsGateUnknownDenial` 四形**不在**基线里,`src/selfOrchestrationDenial.ts` 对基线贡献
|
|
136
136
|
**4** 项运行期导出(三个函数 + `SELF_ORCHESTRATION_RETRY_WITHOUT`)。
|
|
137
137
|
|
|
138
|
-
|
|
139
|
-
(矩阵、键集、env 名、锚串)而非可调用物;**
|
|
138
|
+
965 项的内部构成(帮助端估读表大小):**297** 项是 `SCREAMING_SNAKE` 常量数据表/词汇表
|
|
139
|
+
(矩阵、键集、env 名、锚串)而非可调用物;**6** 项是 PascalCase 运行期值
|
|
140
140
|
(`ControlRouter` / `ControlSafetyError` / `HitlBridge` / `HitlSafetyError` / `DecideTransportRetryExhaustedError`);
|
|
141
141
|
**41** 项是 `*For(sessionKey, …)` 的 per-session 变体(§6;其中 `engineNamespaceKeyFor` 是命名巧合 —— 参数是 baseUrl 不是 sessionKey,见域 14)。
|
|
142
142
|
|
|
143
|
-
### 2b. 域图(16 域,逐域计数之和 =
|
|
143
|
+
### 2b. 域图(16 域,逐域计数之和 = 965)
|
|
144
144
|
|
|
145
145
|
| # | 域 | 名数 | 承重导出 | 用途 | 实现锚 |
|
|
146
146
|
|---|---|---|---|---|---|
|
|
147
|
-
| 1 | **适配内核(下行主链)** |
|
|
147
|
+
| 1 | **适配内核(下行主链)** | 52 | `adapt` · `createWireToCcAdapter` · `runStream` · `eventToSdkMessage` · `terminalToSdkResult` · `SEMA_SEGMENT_ID_KEY`(0.68.2 CC-01:committed assistant 文本行顶层段身份键的唯一字面量出处,壳只读)· `projectMcpSection`(0.68.2 CC-03:`wiring_manifest.mcp[]` 与 `/mcp` 面板 `lastLegMcp.mcp[]` 共用的同一只条目读器)· `readRunCostFacts`(0.66.0:终局成本事实的**唯一读器** —— `TaskStats.costBreakdown` / `nested` 逐键窄读 + 对账三段(own/nested/compaction)与两个「没定价」判别位;终帧的两个超集键与 chrome 臂 `run_cost_reconciled` **共用它**,两面不会各算各的,详见 §31c)· `TERMINAL_CAUSE_KINDS`/`isTerminalCauseKind`(0.68.0 / L-247:**core 终局因由**闭集,四词 `completed|failed|blocked|paused`)· `RUN_TERMINAL_NOT_SUCCESS_STATUSES`/`isTerminalNotSuccess`/`RUN_TERMINAL_STATUSES`/`isTerminalStatus`(L-215② 终局词汇的**单铸谓词**,0.68.0 随 L-247 **两表分源**更名 —— `killed` 属 server run 行状态面、`paused` 属 core 因由面,合成一张会让两边加词时都读不出该改哪儿;`blocked` 是 agent 自报终态,`suspended`/`needs_review` 刻意不在表里,详见 §33b / §30j)· `SEMA_SUBAGENT_USAGE_PARTIAL_KEY`/`subagentUsageIsPartial`(0.68.0 / L-244:子代用量下界位的**自有名**与唯一判据,与终帧 `_sema_usage_lower_bound` 分名,详见 §33g) · `turnUsageToModelUsage` · `isRunStreamActive` · `ADAPTER_DIVERGENCES` · `readRunTerminal` / `runTerminalCode` / `runTerminalGateKind` / `runTerminalGateToolName` / `isReviewPark` / `REVIEW_PARK_GATE_KINDS`(0.60.0 / engine ≥7.64.0:一次 run **怎么结束的**唯一读器 —— 终局从八个平面键换成一条带标因由 `terminal`,四臂 + `unknown` 防御臂 + `plane` 两代字节标;🔴 不认识的终态词绝不折成成功、本包不提供「因由→五词 status」的兼容投影,详见 §24b)| 引擎 SSE `AgentEvent` → 端要渲的**双面输出**:transcript(`SDKMessage`)+ chrome(瞬态 `ChromeEvent`)。**本包存在的理由** | `src/adapt.ts`、`src/adapt/{arms,wireShapes,panelTasks}.ts`(经 `adapt.ts` 再导出)、`src/adapter/runStream.ts`、`src/adapter/downstream/*`、`src/adapter/types.ts`、`src/runTerminal.ts` |
|
|
148
148
|
| 2 | **seam 公共契约** | 2(其余为 type-only) | `CHROME_ARMS` · `deriveTranscriptId` | 公共词汇 + **id 确定性不变量**(同一条流重放 ⇒ 同一串 id)。`CHROME_ARMS` = 端「我要消费哪些 chrome 臂」的对照清单 | `src/seam.ts` |
|
|
149
149
|
| 3 | **HITL 决断卡链**(§4/§5 主战场) | 167 | `makeHitlCanUseTool` · `HitlBridge` · `findPendingForTask` · `readDecideReceipt`/`decideAcceptedNotResolved`/`decideRefusalFromError`(B-070:`/decide` 200 = **投递受理**不是「门已解决」;`executionOutcome` 缺席 = 未知,详见 §30h) · `HitlSafetyError` · `bridgeAskUserQuestionGates` · `surfaceToolApprovalFrameAndRespond` / `surfaceFsApprovalAndDecide` · `readToolApprovalRespondAck` · `installApprovalCardPort(For)` · `installHitlHostSurface(For)` · `armPlanReviewApproval` · `reopenPlanReviewCard` · `decidePlanReview` · `startApprovalsFeed` · `pendingRowIsOwnedByThisSession` · `approvalCallKey`/`liveFrameCallKey`/`planReviewQuestionId` · `registerArmedGateFor`/`wasGateArmedFor`/`clearArmedGateFor` · `waitForGateArmed(For)`/`onGateArmed(For)`/`gateArmedWaitMs`(#244 F1 呈现回执事件源) · `planReviewArmedKey(For)`/`notePlanReviewAnswered(For)`/`notePlanReviewAnsweredIfDecisive(For)`(A-024.4 plan 呈现分代) · `toolEndOutputText` · `isAskTool` · `waitForParkRowBirth` · `classifyAskParkRows` / `askParkRowArm` / `classifyAskParkChainFailure` · `readDecisionNoteAudit` / `decisionNoteAuditLine` · `resumeRunningOptions` / `resumeChoiceFromLabels` · `persistedRulesLaneAvailable`/`persistedRulesGovernanceAvailable` · `classifyRulesFailure` · `listAllPersistedRules` · `classifySkippedReason` · `readRulePersistOutcome`(#244 F2:persist-ack 读口与 `readToolApprovalRespondAck` 合成一处) · `parseLocalAllowRule`(durable 腿本地落规则窄化骨架,谓词经 `LocalAllowRuleDeps` 注入) · `readToolApprovalRespondRefusal`(#225 件5,0.42.0:respond 抛错的结构化原文读口 —— 三位各自防御读、各自缺席不铸、**三位皆缺席时整只返 `undefined`**;原样交还零加工,UNTRUSTED-for-display)· `installEditedRuleTextPrechecker` / `hasEditedRuleTextPrechecker` / `precheckEditedRuleText`([5076] 转出口,0.42.0:core 5.57.0 `precheckEditedRuleText` 的**端口注入形** —— 类型面 + 注入口 + 诚实缺席读口。🔴 **不是** value 级 re-export,理由见 §7 缺口 **P-34**;未装 ⇒ 返 `undefined`,绝不编一个 `{ok:true}`)· `surfaceRuleArmNotSent` / `RULE_NOT_SENT_WARN_TEXT` + `surfaceRuleArmRejected` / `RULE_NOT_SENT_REJECTED_WARN_TEXT`(#334,0.43.0:人在卡上按下的「不再询问」被整条丢弃时的诚实告知——**两条刻意分开**:前者=**引擎能力位未确认**(换台引擎/等探测就好),后者=**这次选择没过包内表核/互斥核**(表外文本/坏下标/两臂同场,换引擎也不会变) —— 编辑臂 `respondFreeFormRules` 与批臂 `respondBatchRuleOffers` 两条同形存量共用一条,与 `surfaceRememberNotApplied` 同族纪律:决断照送、只是规则没存,静默丢掉用户明确意图 = 让人以为功能坏了)· `projectCrashConverged`(L-38,0.49.0:`/v1/approvals` additive 键 `crashConverged` 的分桶投影 —— 崩溃收敛的孤儿审批读面,**缺席 ≠ 空数组**、分桶恰一个合取、坏行丢弃并计数,详见 §12;同批把 `ApprovalsResourceLike.list()` 的返回位 additive 放宽成 `ApprovalsListEnvelope`,老形 `{pending}` 仍可赋值)· `readRuleOffers` / `readRuleOfferSupply`(L-103/[C228],0.57.0 additive 导出:「不再询问」候选两代 wire 键的窄读器**公面化** —— 此前只经卡端口出包,不走卡端口架构的宿主只能自己重铸一把,而它承载的是兑付安全判据(原始下标不前移/逐条丢坏/闭集 kind/两代取舍序),详见 §20)· `RULE_OFFERS_ABSENCE_REASONS` / `DENIAL_LIMIT_KINDS`(0.59.0 / sdk 8.3.0 提货:`ruleOffersAbsence` 三词与 `denialLimitFallback.limit` 二词的**运行期**闭词表再导出 —— 与 0.58.0 那三张同一条纪律:端拿它做判定别再手抄字面量。⚠️ **本包自己不拿这两张表做窄读判定**(两处都按开集透传,词表属主是 core、server 已按闭集拒过),再导出只是给端的 `switch` 一份可数的表,端仍必须带 `default` 臂,详见 §23a)· `DecideTransportRetryExhaustedError`(Inkglow-1085 P0a:decide 出站瞬断重试耗尽的 typed 判别 —— HitlBridge 内建单次退避重试,耗尽走重呈臂不判死 turn;端一般只消费行为,不需要 instanceof) · `gateOutcomeOf` / `isDeniedGate` / `gateDeniedBy` / `gateApprover` / `isApprovalWindowExpiredGate` / `isDenialLimitAutoDeniedGate` / `isParkSlaExpiredGate` / `isHumanSettledGate`(0.60.0 / engine ≥7.64.0:`tool_end.gate` 整条门记录的窄读器 + 判定谓词 —— 取代退役的四个正交词 `settledBy`/`resolution`/`autoDenied`/`approver`。🔴 **判定归包**:「是不是审批窗自己走完的拒绝」旧形上是端各自拼的两键合取,而三条窗词现在分得开、合并读回去等于把刚修好的判别力扔掉;⚠️ 公面型一律带 `View` 后缀 —— 本文件的 `GateOutcome`(决断腿结局)与 sdk 的 `GateOutcome`(引擎门记录)**同名不同义**,详见 §24c)· `isGateParkedToolEnd`(「这次调用没在这里结算」的**第二形**谓词:gate 缺席 + `errorCode:"gate.parked"`;端判这件事必须与 `isApprovalWindowExpiredGate` **两形合读**) · `readWireErrorCode`(B-037 候包件②:decide/取件失败上引擎 wire 机器码的单源读口,结构视图读不 `instanceof`;与本包铸的 `code` 是两个命名空间,详见 §24g)| suspended→decide→resume 环。🔴 **D-1 两元组 verbatim 回显**是字节级断言的安全不变量,端**不许重实现它的任何一段**。🔴 键空间边界(web [C1] d3 拦截):`gateIdentity` 四常量两函数只覆盖 HITL questionId/callKey 空间;seat 的 `TOOL_PERMISSION_REQUEST_ID_DOMAINS`(`plan:` 等)是另一键空间,**两者绝不合并**(合并=座位校验器静默拒全部 plan-review 卡) | `src/hitl/hitlBridge.ts`、`toolApprovalWire.ts`、`askGateWire.ts`、`planReviewWire.ts`、`hitlHostSurface.ts`、`gateIdentity.ts`、`armedGateRegistry.ts`、`parkOwnership.ts`、`parkResolver.ts`、`approvalsFeed.ts`、`frameRouter.ts`(**只挑名导出** `toolEndOutputText`/`ENGINE_ABORT_TOOL_RESULT`/`isAskTool`/`HITL_REJECT_MESSAGE`/`HITL_INTERRUPT_MESSAGE_FOR_TOOL_USE`)、`parkRowBirthWait.ts`、`approvalDecisionNoteAudit.ts`、`askParkRowRouting.ts`、`resumeRunningCard.ts`(#265 上收的判定层)、`persistedRulesWire.ts`、`localAllowRule.ts`(#244 F2 规则侧)、`crashConverged.ts`(L-38 崩溃收敛读面)、`src/gateOutcome.ts` |
|
|
150
150
|
| 4 | **子代 wire + 面板侧信道台账** | 87 | `tailEngineSubagent` · `installSubagentActivitySink` · `installSubagentTailMetaSink`(#280 件2:tail meta 帧发布口,`contentFrames` 判别位载体)· `stopEngineTask` + `classifyTaskStopConflict` · `fetchEngineSubagentReport` · `steerEngineSubagent`(0.32.0 未发布 #280 件A:additive 第三参 `childTaskId` —— 端有行上下文时**应当**传,传了就走「台账优先 / 缺席即诚实缺席 + `noteBgOwnerAbsence` 留痕」的 Q3 口径,与 tail·taskOutput·subagentOutput 三腿同姿势、与孪生 resume 腿共用同一个 `resolveOwnerRunId` 判据;**不传**则逐字维持旧行为=回落在飞 run)· `resumeSettledSubagent` + `resolveSubagentResumeContext` + `resolveOwnerRunId` + `classifySubagentResumeFailure` + `subagentResumeAvailable`(#242 批 2 A-028.7:resume 判定半场上收,与 steer 孪生同居;取址三态 = 台账有行用行值 / 指名了行但台账缺席则**诚实缺席绝不回落在飞 run** / 没指名行才回落。出路文案归端)· `recordSubagentOwnerFromProgress` + `getBgParentRunOwner`(A-028.6:「子代 → 宿主 run」**单表**,宿主 run 必须由持 stream-local 值的调用方显式传入,包内绝不从 `activeEngineRunId()` 推断)· `noteBgOwnerAbsence`(#242 批 3 [4000] Q3=B:tail/taskOutput·taskStop/subagentOutput 三腿台账缺席即诚实缺席**绝不回落在飞 run**,缺席 warn 留痕每 (腿,taskId) 一条)· `clearBgTerminalFacts`(#242 批 3 扫码修:复活=新周期,旧周期终态事实作废——fleetLedger 复活两腿按尾段清账,factsAccepted 方向核不再拿上周期终态当先例)· `auditRetainWithoutWake`([4000] Q5:引擎宣示 `subagentResume` + 本端在付 `retainSubagentSessions` + 端未实现 `wakeSubagent` ⇒ 响亮一条;`CLIENT_VERBS.wakeSubagent` 维持 fail-soft)· `subscribeSubagentContent` · `subscribeEngineAgentPanel` · `publishQuestionFrame` / `respondToQuestion` · `configureSubagentContentStore` / `subagentContentStoreConfig` / `SUBAGENT_CONTENT_STORE_DEFAULTS`(0.62.0:子代内容账本的**字节预算** —— 此前只有条数帽而单条无上限,一条 base64 工具结果就能让一个子代槽吃到十几 MB;越限从最早的内容开始丢并留一条可渲染的 `truncated` 记录,总帽淘汰整条最久未用的账本。配置面 fail-loud,详见 §26②)| 驱动与观测委派子代;经 module 级台账喂活体 agent/task 面板。全部**能力位 gate**(§5b) | `src/subagent/*.ts`、`src/subagentContentStore.ts`、`src/engineAgentPanelStore.ts`、`src/engineInlineTaskStats.ts`、`src/engineToolLabelStore.ts`、`src/liveQuestionStore.ts` |
|
|
151
151
|
| 5 | **fleet 投影** | 47 | `createFleetLedger` · `projectTasks` · `projectWorkflows` · `projectFleetAgentRows` · `readEngineActiveBgTasks` · `FLEET_TASK_VIEW_KEYS` · `escapeDisplayControlChars`(不可见字符可见化,行标签/描述消毒的共享底座)· `capForDisplay`(0.62.0:呈前**消毒 + 封长**的共用铸点 —— 先转义、后按转义结果封长,截点避开半截转义 token 与合法代理对;本包该族四处此前各写一份、其中三份顺序是反的,详见 §26⑦)· `wireCycleSeq` / `wireRetiredBy`(0.38.0 提货补投的 #261 §2 两位:代际号 = SendMessage 复活即 +1,**缺席 ≠ 第一代**;`retiredBy` 在场 = 这条终态是对账腿从 durable run 行投影出来的、**不是**发布方亲报 —— 幽灵行与正常收尾唯一的 wire 判据。两位都只在场才落键) | 老 `fleetClient` 那一刀的成品:**帧体归库、连接归端** —— 端持 SSE 连接,库做行投影 + 保留台账 | `src/fleet/fleetProjection.ts`、`src/fleet/fleetLedger.ts`、`src/fleetAgentPanelProjection.ts`、`src/fleetTaskDesc.ts` |
|
|
152
|
-
| 6 | **请求装配(上行唯一构造口)** |
|
|
152
|
+
| 6 | **请求装配(上行唯一构造口)** | 10 | `buildTaskRequest` · `REQUEST_FIELD_MATRIX` · `unregisteredRequestKeys` · `applyLiveRequestDefaults` · `taskNotificationToPrintFrame` | 两条车道(`interactive`/`print`)出站请求的**唯一**构造器;`unregisteredRequestKeys` 是可执行门 —— 端偷带一个未登记键上 wire 就红 | `src/request/taskRequest.ts`、`src/request/printNotification.ts` |
|
|
153
153
|
| 7 | **通知与 outstanding 台账** | 51 | `installNotificationQueuePort` · `normalizeTaskNotification` · `taskNotificationDedupKeyFromWire` · `registerOutstandingBgTask` / `registerOutstandingWorkflowRun` · `notificationQueuePortMisses` · `subscribeOutstandingWorkflows` · `outstandingDeliverableWorkflowCount` | `task_notification` 归一 + 去重 + 投递进宿主命令队列的**一把闸**;`outstandingDeliverableWorkflowCount()` 是 headless `-p` 的**退出门** · `classifyPeerNotification` / `renderPeerFrameTranscriptText` / `parsePeerFrameText` / `peerFrameDisplayName` + 三张闭集表(design/385,0.54.0:同一条 `task_notification` 车道上三条**引擎注入帧**的类型化投影 —— 判别位=载体在场而非 summary 文本,详见 §17) | `src/notifications.ts`(11 个 module 台账) |
|
|
154
154
|
| 8 | **工具结果卡** | 25 | `structuredToToolUseResult` · `readAsyncLaunchedAgentReceipt` · `wireOutputToBody` · `parseModelFacingBash` · `getPatchFromContents` · `toolEndResultToUserFrame` · `flattenToolOutput` | 铸端要渲的 `tool_result` 卡体,含客户端 diff hunk(唯一 runtime dep 的用处) | `src/toolResult.ts`、`src/printToolResultFrame.ts`、`src/diff/patch.ts` |
|
|
155
155
|
| 9 | **能力/旋钮 wire 门族** | 96 | `projectAgentsForWire` / `awaitTaskAgentsWire` · `hooksForWire` · `mcpConfigsToSpecs` · `ultracodeForRequest` · `resolveWebSearch` + `buildWebSearchEnv` · `attachmentsForRequest` · `projectEffectiveBody` · `classifySelfOrchestrationRefusal` / `stripSelfOrchestrationIntent` / `projectWorkflowsGate` / `SELF_ORCHESTRATION_RETRY_WITHOUT`(S-81,server 7.57.0:上面两条 stamp 腿的**背面** —— 半配置多租户形态下 server 把带 `selfOrchestration` / `settings.ultracode` 的提交 501 拒掉,判型/去键/caps 闸三处都是判定不是文案,详见 §13) · `engineCapsGeneration`(0.60.0,异源对抗复审 [medium] 逼出:caps 探测的**当代号**读口 —— 代际闸在 probe **返回之后**才跑,而宿主的读面 tee 是在 probe **内部**落地的 ⇒ 一次慢的旧探测能把上一台引擎的读数写回来。宿主在**起探测那一刻**抓号、tee 时交回 `{generation}`,陈旧那一发整只丢掉;不传 = 逐字节同行为,详见 §24e)| 逐功能的「引擎有没有这个能力 + 这个字段怎么上 wire」投影器,由 `buildTaskRequest` 组装。🔴 `hooksForWire()` 是 **fail-closed**:无 `SettingsPort` ⇒ 返回 `undefined`(信任门,不是取值) | 17 个 `src/*WireCaps.ts` + `src/scratchpadWireCaps.ts`、`src/hooksWireCaps.ts`、`src/goalStopHook.ts`、`src/websearch/searchProviderPresets.ts`、`src/selfOrchestrationDenial.ts`(S-81 拒绝判定层) |
|
|
@@ -158,7 +158,7 @@ SDK 核对「本包 import 的每个值级符号仍然导出」「`TaskStats.cos
|
|
|
158
158
|
| 12 | **workflow 与后台工作视图** | 20 | `projectWorkflowRun` · `createLiveWorkflowSource` · `ensureWorkflowActivityLedger` · `readWorkflowActivityLedger` · `stopWorkflowActivityLedger` · `resetWorkflowActivityLedgers` · `createBackgroundView` · `projectBackgroundView` · `recordWorkflowAgentTaskId` · `agentDisplayStatus` | 活过一个 turn 的长任务读面:workflow run + 跨 session 后台任务归一表(`assistant.tasks` 与 fleet SSE **两源独立降级**) | `src/workflow.ts`、`src/workflowClient.ts`、`src/workflowMonitor.ts`、`src/agentSession/backgroundView.ts`(+ 纯类型 `src/agentSession/contract.ts`) |
|
|
159
159
|
| 13 | **座位 IPC 契约** | 34 | `LOCAL_SESSIONS_SPEC` · `SEAT_METHOD_NAMES` · `SEAT_EVENT_TYPES` · `isLocalSessionEvent` · `isToolPermissionRequest` · `toolPermissionRequestId` · `SEAT_VALIDATOR_KEY_COVERAGE` · `SEAT_SEND_MESSAGE_KEY_ORIGINS`(0.62.0:座位载荷**逐键出身**登记 —— 每个位要么写明转投哪个引擎请求位、要么写明为什么不上 wire;常驻门对**装在盘上的** sdk 型面逐名核,详见 §26③)| desktop↔web 座位 IPC 契约的**单一真源**(此前两边各一份、名字零重合 ⇒ 编译器永远不会告诉你它们漂了)。🔴 加 verb 忘了加 `LOCAL_SESSIONS_SPEC` **不报错**:preload 不注册 channel、渲染端读到 `undefined` | `src/seatContract.ts`(**零 import**,纯类型 + 常量 + 纯谓词)。🔴 **证据等级标注(0.42.0,test [5087] 的「语料**种类**缺口」/ cli [5088] 认领件)**:该文件里所有以「CC 如何如何」为形的断言(`212 methods` / `854-channel census` / 方法名逐字保留 / `fQe` 逐字段对照 / 一切 `.vite/build/index.chunk-*.js` 坐标)**证据等级 = 桌面 unpack,本地语料库不可复验** —— 本仓手边可复验的参照语料**只覆盖终端 CLI 形态**的静态产物,拿它去 grep 桌面壳里的符号只会零命中,而零命中在这里**既不证真也不证伪**。复核这些断言**不得**拿本仓语料当反证 |
|
|
160
160
|
| 14 | **宿主端口与会话槽** | 26 | `installHost` · `installHostFor` · `hostPortMisses(For)` · `DEFAULT_SESSION_KEY` · `hostEnv` · `unrefTimer` · `parseLocaleTag` / `pickUiLanguage`(#244 F4 族D A-028.20:locale tag 手术单源 + UI 语言判定;与 `resolveRegionHint` 双出口成文 —— 语言偏好域 en/zh ≠ 地址可达域 cn/intl/unknown,`zh-Hant` 前者 zh 后者 intl 是设计)· `engineNamespaceKeyFor` / `mergeSessionMapRecord` / `mergeEngineEntry`(A-028.12:会话 id 映射单一键形 + merge 判定;存储经 `SessionMapStorePort` 归端 —— cli 文件锁/原子写,web localStorage)| 进程/端级装配层(settings/fs/queue/timers/session/log/probe),与 per-turn 的 `AdapterContext` **分层**。头注的判定规则:**这个能力每 turn 都会变吗?** 会 ⇒ `ctx`;不会 ⇒ `installHost` | `src/host.ts`、`src/hostEnv.ts`、`src/sessionSlot.ts`、`src/unrefTimer.ts`、`src/env/{localeGeo,localeTag,uiLanguage}.ts`、`src/sessionMap.ts` |
|
|
161
|
-
| 15 | **控制面与传输** |
|
|
161
|
+
| 15 | **控制面与传输** | 121 | `ControlRouter`(+ `ControlSafetyError`)· `projectMcpPanel` + `mcpPanelLastLegDetail`(0.68.2 CC-03:`GET /v1/sessions/:id/mcp` 面板体防御读视图 + `lastLegMcp` 一行措辞铸点;缺席 = 键不铸、读不懂 = `lastLegMcpUnreadable`、禁与 `servers[]` 对账)· `makeEngineWireClient` + `resolveWireAuth` · `installEngineWireTarget` · `diagnoseSseIdleTear` / `isSseIdleError` · `attemptActiveRunSelfHeal` + `activeRunBusySignal` + `activeRunSelfHealRow` / `activeRunBusyHeadlessRow` · `kickEngineCapsProbe` / `engineCapTrue` / `invalidateEngineCaps(baseUrl, probe?)`(#307 S25:引擎温切后的 caps 生产失效口 —— kick 自带幂等闸,同 baseUrl 重启后不显式失效就永远读到旧引擎那一版能力位;调用方 = 壳的 respawn/restartEngine。🔴 **推荐两参形**:第二参给替代探测则「推进代际 + 注册新探测」在同一同步块内完成,失效与下一次 kick 之间那个「等待者读到未判」的窗按构造不存在;单参形保留给「只丢缓存、这一刻没有替代探测」的调用方,那种情形下读到未判是诚实结局) · `engineCapValue`(S-131,0.59.0:能力位的**四态**通用读口 `unobserved`/`not_reported`/`null`/`value` —— 既有三口把四种「读不出」全折成 fail-closed 一档,对**放行**问题是对的、对**读面/诊断**问题是错的:`null`(引擎明确说没有,正面事实)会与「老引擎不报」「还没探到」在屏上同形。`value` 位刻意不做形校验,形归各能力位自己的窄读器,详见 §23b)· `projectSqlEngineCapability` / `observedSqlEngine` / `noteEngineCapsForSqlEngine` / `forgetSqlEngineReading` / `sqlEngineDoctorDetail`(S-131,0.59.0:`Capabilities.sql`(server ≥7.60.0)的四态读面**从壳侧上收** —— 归层债,0.58.0 时它长在壳里正是因为包侧没有嵌套对象读口。🔴 **导出名与壳侧那份逐字同名 = drift-lock**;`txnMode: null` 是铸点域内的合法值不是畸形;换代失效口清成未观测而不是留旧值,详见 §23b)· `mapBrainStatusToRetry` · `waitForClaimRelease` + `CLAIM_RELEASED_STATES` / `CLAIM_HELD_STATES` · `atMostOnceFailureClass` / `readSteerDelivery` · `clearRunningChoiceOffer`(Inkglow-1085 P0b①:「Do nothing」登记的清口 —— 端的「重新打开操作菜单」入口;登记在场时 attemptActiveRunSelfHeal 不整卡重弹,not-parked 结局带 `alreadyOffered: true` 判别位,端据此降级渲一行)· `INTERACTIVE_WAY_OUT`(默认出路串单源)· `engineSessionParamFor`(design/285 批 0:`?session=` 派生的 **per-key** 形 —— `hostSessionFor(sessionKey)?.currentSessionId()` + [1501] 空串归一;零参 `engineSessionParam()` = 默认槽兼容层,取值链逐字等价)· `normalizeWirePrincipal`(A-028.10:principal 在场性 trim 原语 —— 全空白=缺席不发头,engineWireTarget 两臂/makeEngineWireClient/壳 livePrincipal 同尺)· `readSessionMemoryStatus` / `classifyMemoryStatusFailure` / `readCaptureOptOut` / `readLastCapture`(S-53 会话记忆姿态读面,0.48.0:失败分诊**码优先**——两个 404 分道 `not_found.session` / `not_found.route`,无码 404 不猜落 failed;五键逐键缺席语义两个合读器,`lastCapture` 三态的判别材料是 `committedCount` 不是本键;IO 归宿主注入 `MemoryStatusClientLike`,详见 §11) · `classifyTurnWireError` / `isWireTransportError` / `isPreStreamDrainingReject` / `isResumeAtRejection` / `drainingRetryDelayMs` / `scenarioDenyFromError` + `WIRE_NETWORK_ERROR_PATTERN`(A-028.11/.13:turn 错误分型判定半场,人话文案与渲染归端)· `resumeRetryLaterFromError`(L-102,0.57.0:resume 族**时间性拒绝**二码的判型半场 —— 这一族里唯一**带得出「等多久」**(`retryAfterSec`)的两个码。🔴 闭集**不是**「哪些码可以等」的名单:同族 `resume.row_recycling` 同样可等(窗口自清)只是没有秒数 ⇒ 本读口返回 `null` 只意味着没命中这两码,详见 §21) · `projectWriteProtectionCapability` / `observedWriteProtection` / `noteEngineCapsForWriteProtection` / `forgetWriteProtectionReading` / `writeProtectionDoctorDetail` / `projectWriteProtectionPosture` / `writeProtectionPostureDetail`(S-138,0.60.0:`Capabilities.writeProtection` (engine ≥7.63.0)的**四态**读面 + operator 面行表 —— 与上面 S-131 那一格**同构同纪律**。🔴 三位刻意不合成一个布尔;`not_reported` **不是**「这台部署没有写保护表」(座位缺席恰是缺省表在岗);逐行 name/kind 走**最小披露**只上 operator 面,详见 §24e)· `projectReadFacePosture` / `readFacePostureDetail` / `readFaceDisagreement`(S-167,0.61.0:operator 面 `diagnostics.wiring.readFace`(engine ≥7.65.0)的窄读器 —— 与上面S-138 那一格**同构同纪律**。🔴 三句「答不出来」逐字互异且没有一句等于「没有 READ 档」;`source` 按开集读;与租户面 `capabilities.readFace` 刻意不合流,只带一个纯比较函数,详见 §25)| 上行通道的**监管**半场(submit / steer / kill / 队列命令定序)+ 传输构造、caps 探测、SSE 断流分诊、**409 active-run 自愈** | `src/controlRouter.ts`、`steering.ts`、`sseIdleTriage.ts`、`retryStatus.ts`、`diagnostics.ts`、`engineWireSdk.ts`、`engineWireTarget.ts`、`src/principalWire.ts`、`src/wireErrorTriage.ts`、`engineSessionParam.ts`、`engineCapsCache.ts`、`liveInitToolFace.ts`、`adapter/activeRunSelfHeal.ts`、`src/sessionMemoryStatus.ts`、`src/writeProtectionCapability.ts`、`src/readFacePosture.ts` |
|
|
162
162
|
| 16 | **引擎词汇表与包自检** | 90 | `CONFIG_REFUSAL_CODES` / `isConfigRefusalCode` · `DECIDE_WORKFLOW_LANE_CODES`(+ 三个具名码;`/decide` workflow 车道,三条出路刻意不合并,详见 §30h)· `STOP_CONFLICT_CODES` · `isInterruptedToolEndCode` · `isRewindFamilyCode` · `CLIENT_VERBS` · `compensationSplitViolations` · `DELEGATION_CAP_CODES` / `isDelegationCapCode` / `DELEGATION_CONCURRENCY_CAP` / `DELEGATION_SESSION_CAP`(0.38.0 #318 件④:core 5.48.0 design/323 委派席位到限**两码,处置不对称禁合并** —— 并发帽=**可等**(兄弟结束即有位)/ 会话累计帽=**等也没用**(这条会话的配额用尽))· `CONFIG_DELEGATION_ENTRY_CAPS`(同批入 `CONFIG_REFUSAL_CODES` 识别表)· `delegationCapDispositionOf` / `MCP_SERVER_REVOKED`(0.39.0 载体到货消费件:core 5.50.0 补 `{ error: code, code }` 孪生拼法后两码真上 `tool_end.errorCode`,0.38.0「先立词不落消费分支」的已知局限自此解除;处置轴 `wait-for-slot` / `reuse-existing-or-await-reap` 机器可读(累计帽=retained-window 帐,行回收配额即回,处置=SendMessage 复用,**非**「换会话/永久耗尽」——0.38.0 段该句系勘误),未知 `delegation.*` 码 ⇒ `undefined`;`mcp.server_revoked` = 操作员 mid-session 吊销 server 后的工具面本地闸(被吊销的 server **名**今天不过 wire 境:detail.server 是进程内位,抬升腿只 lift code——归因渲染候 core 补 typed detail,已点名);载体门 = engine-vocab G3 腿锚 core dist 铸点)· `CAPABILITY_SELF_ORCHESTRATION_REQUIRED`(S-81,server 7.57.0:提交面的 selfOrchestration 准入拒绝码。🔴 **复用码** —— 与其它 `capability.*` 501 同体形而处置不同,消费点必须按**恰等**判、绝不放宽成前缀判;判型与「去键重发一次」归 `src/selfOrchestrationDenial.ts`,详见 §13) · `GATE_PARKED_ERROR_CODE`(0.60.0:「门把这次调用 park 了」的机读码单源 —— `frameRouter` 的连坐/中断判据与 `gateOutcome.isGateParkedToolEnd` 读同一个常量;真机黑盒直证 park 短路帧上**没有 `gate`**,这个码是那一形唯一的信号,详见 §24c)| 三端分臂共用的**去字面化** `errorCode` 词表(病根正是三端各抄一份字面);编译期 verb 闭合门;搬迁补偿登记表 | `src/engineErrorCodes.ts`(计数以 `scripts/public-export-baseline.json` 为准,别手抄;A-028.11/.13 补 `DRAINING_ERROR_CODE`/`SCENARIO_NOT_ALLOWED_ERROR_CODE`/`RESUME_AT_ERROR_CODE_PREFIX`;#318 件④ 补 `delegation.*` 族四位 + `config.delegation_entry_caps`;0.39.0 补三新码消费件三位);S-81 补 `capability.self_orchestration_required` 一位;L-102 补 `resume.*` 时间性拒绝二码 + 闭集 `RESUME_RETRY_LATER_CODES` 三位)、`src/classifierVerdictWire.ts`、`src/compensations.ts`、`src/clientSlice.ts`;**0.67.0 补锚**(这三件的导出一直计在本域,而本表此前没有它们的锚行 —— 如实补上,不是搬家):`src/gateVocabulary.ts`(`GATE_DENIED_BY_WORDS`/`gateDeniedByDetail`/`ASK_ORIGIN_WORDS`/`askOriginDetail` + 🆕 `RULE_STORE_UNREADABLE_KINDS`/`isRuleStoreUnreadableKind`/`ruleStoreUnreadableDetail`,详见 §32d)、`src/autoModeUnavailable.ts`(`AUTO_MODE_UNAVAILABLE_CAUSES` + 🆕 `CLASSIFIER_DENY_CAUSES`/`isClassifierDenyCause`/`classifierDenyCauseOf`/`classifierDenyCauseDetail`;🔴 同批**删**`classifierUnavailableOf`/`classifierUnavailableDetail`,详见 §32b)、`src/classifierStatus.ts`(`CLASSIFIER_STATUS_STATES`/`classifierStatusOf`/`classifierStatusDetail`)|
|
|
163
163
|
|
|
164
164
|
🔴 **`engineErrorCodes` 的开集纪律**(该文件头注逐字):这些 `ReadonlySet` / 前缀谓词一律是**识别表**,
|
|
@@ -7342,3 +7342,475 @@ off 车道的 Bash ask 上它现在**恒在场**(`true`),而 classify 车道的
|
|
|
7342
7342
|
| 9 | S-8 其余七件(`skillCommandsToSpecs` 候选面 / `classifierStreakOf` 连败面 / `fetchDelegatedPrompt` 在飞记号 / `registerOutstandingBgTask` 订阅事件 / 交互 run steer 座 / `pathNotInRootRow` 措辞铸点) | **declined**(本批不做,逐条理由) | 它们都是**新能力面**(新公面 + 新行为 + 各自的门三件),而本批已经带着三件 🔴 BREAKING 与一次引擎地板抬升 —— 把新能力与 BREAKING 混在一版,端的换装清单会分不出「必须改」与「可以接」。🔴 另有两件带**上游前提**:`classifierStreakOf` 的到货形依赖 core #742(7.18.0 才有 `GateDisposition.classifier` 三键与 `auto.classifier_fallback` 通告码,见 L-260),现在铸会铸出一个上游还没定形的读法;`registerOutstandingBgTask` 发订阅事件牵动通知链的时序(本包最容易出跨流串账的一族)。⇒ 整体**改期**,与下一批非 BREAKING 的内容批同发 |
|
|
7343
7343
|
|
|
7344
7344
|
---
|
|
7345
|
+
|
|
7346
|
+
## §34 🆕 0.68.1 内容批(L-310 `text_end` 权威段替换 / L-290 `contentOriginProvenance` / 包侧缺口 ①⑤)
|
|
7347
|
+
|
|
7348
|
+
### 34a. 本节速览
|
|
7349
|
+
|
|
7350
|
+
| 件 | 一句话 | 端要做什么 |
|
|
7351
|
+
|---|---|---|
|
|
7352
|
+
| S-1 🔴 **安全面** | **`text_end.content` 是经脱敏器的段权威全文,而 `text_delta` 仍逐字** ⇒ 两者**可以不相等**(server ≥7.75.3)。本包此前只把它当段界信号、**不动文本缓冲**,于是屏上的活体流与 transcript 平面的 committed 消息用的都是 delta 拼文 —— 一段引用了凭据的回答以**未脱敏**字节留在本地转录里。改口后:臂**整段替换**段缓冲与活体尾巴,并把三个 never-false 键交给宿主;`CHROME_ARM_TABLE` 上本臂的 `required` 同批 `false` → **`true`** | **自己拼 delta 上屏**的端(desktop / web 若各自缝合 `stream_delta`)必须消费 `diverged` 做替换;🔴 `committedPrefixDiverged` 那一条**所有端都要做**(包在那一形上交不出东西)。只渲 transcript 平面的端在该键缺席时**自动正确** |
|
|
7353
|
+
| S-2 | `ToolRosterEntryView` 补**出身三键** `contentOriginProvenance` / `effectProvenance` / `egressProvenance`(L-290 + 同形族扫;开集读,缺席即缺席) | additive;诊断行(壳 `/doctor`「Tools (engine leg)」)按需渲。**不进** `ToolShim`(渲染面 vs 诊断面分家) |
|
|
7354
|
+
| S-3 | `ControlSafetyCode` 补**第 8 码** `blocked_by_hook`(`steering.blocked_by_hook`,422,部署 `userPromptSubmit` 门拦下) | 🔴 端上按 `ControlSafetyCode` 做**穷举 switch** 的地方要加一臂(`default` 臂必须在);处置 = 「输入**未被受理**,改内容自由重试」,与 `invalid_content` / `steering_other` 都不同 |
|
|
7355
|
+
| S-4 | `REQUEST_FIELD_MATRIX` 补 `memoryCapture` 行 + `TaskRequestInput.memoryCapture?: 'off'` + 构造器 stamp(单成员闭集)+ 🔴 坏值**响亮拒** | 有「本会话不再记忆」入口的端把值交给唯一构造口,别再自建白名单绕 `unregisteredRequestKeys`;🔴 端上若曾把用户输入直接透给这一位,现在**打错字会抛**(这是设计:静默删键会让 opt-out 无声丢失) |
|
|
7356
|
+
|
|
7357
|
+
**共同形**:这一批的三件都是**「上游已经把事实放上 wire,而本包的某一层把它读丢了」**。
|
|
7358
|
+
S-1 丢的是**字节**(拿 delta 拼文当权威全文),S-2 丢的是**键**(逐键窄读器没挑),
|
|
7359
|
+
S-3/S-4 丢的是**表行**(码表与字段矩阵各缺一行)。三者的共同处置也只有一条:
|
|
7360
|
+
**把「读丢」变成当天会红的机器判据** —— S-1 的四形格、S-2 的逐键处置台账(对**实装 core 的 schema**)、
|
|
7361
|
+
S-3/S-4 的表行负控。没有这三本账,「挑漏一个键 / 少认一个码 = 那件事在包边界上不存在」会一直无声发生。
|
|
7362
|
+
|
|
7363
|
+
**出处**:server 的 `ASSISTANT-WIRE-CONTRACT.md` §5.1 live 面(7.75.3 脱敏面收口)、(2) `steering.*` 码表第 8 行、
|
|
7364
|
+
§12.4 提交面 `memoryCapture`;core 的 `core/tool-roster.ts:114`(`contentOriginProvenance` 四词)+
|
|
7365
|
+
server 的 `trace/project.ts` 的 `tools` 段(整只判形 + **逐字透传**);comms [7226] 包侧缺口 ①⑤。
|
|
7366
|
+
|
|
7367
|
+
**🔴 逐键处置表见 §34z。**
|
|
7368
|
+
|
|
7369
|
+
---
|
|
7370
|
+
|
|
7371
|
+
### 34b. S-1 🔴 `text_end` 权威段替换(L-310;安全面)
|
|
7372
|
+
|
|
7373
|
+
**上游的形变**(server `ASSISTANT-WIRE-CONTRACT` §5.1「live 面(7.75.3 起)」逐字):
|
|
7374
|
+
|
|
7375
|
+
> `POST /v1/tasks/stream` / 转发子代腿 / 子代 tail 面上的 `text_end.content`(段权威全文)与上面三面走**同一只**
|
|
7376
|
+
> 脱敏器;`text_delta` 仍逐字(跨 chunk 的凭据无法就地判,流式脱敏是独立设计件)——⇒ 消费端在 `text_end`
|
|
7377
|
+
> 到达时应以它**整段替换**已攒的 delta,而不是只当段界信号。
|
|
7378
|
+
|
|
7379
|
+
⇒ 「`content` 与增量拼接逐字节相等」这句(core 臂注的半句,本包 `seam.ts` 义务① 与
|
|
7380
|
+
`eventToSdkMessage.ts` 臂注都照抄过)**自 7.75.3 起不再成立**。按它「别拿它再渲一行」= 屏上与
|
|
7381
|
+
转录里留的是**未脱敏**那一份。
|
|
7382
|
+
|
|
7383
|
+
**本包的处置**(`src/adapt/textStream.ts` 的 `replaceAnswerSegment` + `src/adapt/arms.ts` 的 `textSegmentEndArm`):
|
|
7384
|
+
|
|
7385
|
+
| 修前 | 修后 | 为什么 |
|
|
7386
|
+
|---|---|---|
|
|
7387
|
+
| 臂只投 chrome 信号,头注自陈「本批**不动**文本缓冲」 | 臂调 `replaceAnswerSegment(content, frame)` **整段替换**,再发信号 | 不动缓冲 = `emitAnswerSegment` 铸出来的 committed assistant 消息是 delta 拼文 = 未脱敏字节进本地转录 |
|
|
7388
|
+
| `textSegmentEndArm: ProjectionArmFn`(零适配器状态) | `ArmFn`(吃 `{ text }`) | 封闭性声明就是签名:要碰状态就得改签名,改签名在 diff 里显形(`arms.ts` 头注的两级 deps 纪律) |
|
|
7389
|
+
| 事件只有 `content` / `eventId` | +`diverged` / `committedPrefixDiverged` / `committedPrefixLen`,**全部 never-false** | 缺席 = 否定(与 `_sema_usage_absent` 同律);铸 `false`/`0` 会把「这一段没分歧」与「这台引擎不报分歧」折成同一个字节 |
|
|
7390
|
+
| 替换**在**发事件之前 | — | 反过来会留一拍窗口:宿主按信号去读转录面,读到的还是旧拼文 |
|
|
7391
|
+
|
|
7392
|
+
**🔴 替换语义 —— 六形逐形处置**(每一形都是判断,不是顺手;判据锚在**真正决定结果的量**上):
|
|
7393
|
+
|
|
7394
|
+
> ⚠️ 下面 (c)(e) 两形是**异源对抗复审当场实抓**的真病(两条都对着装机 core 的真字节复现),
|
|
7395
|
+
> 不是理论边界 —— 它们的处置与第一版设计**不同**,读的时候别按第一版的直觉推。
|
|
7396
|
+
|
|
7397
|
+
| 形 | 发生条件 | 处置 | 判据锚 |
|
|
7398
|
+
|---|---|---|---|
|
|
7399
|
+
| (a) 常态 | `text_end` 先于段提交,整段还押在缓冲里 | 段缓冲整段换成 `content`(**封存**),下一次段提交铸出来的 committed 文本**就是**权威全文 | 已提交前缀长度 = 0 |
|
|
7400
|
+
| (b1) 半段已 flush,前缀仍对得上 | idle-flush 提交过半段,且 `content.startsWith(<已提交前缀>)` | 只封存**未提交尾段**(`content` 去掉前缀那一截);两条 committed 拼起来**逐字节** = `content`,宿主什么都不用丢 | 🔴 `content.startsWith(<已提交前缀>)` —— **不是**「有没有 idle-flush 过」(那是前置条件,不是决定结果的量) |
|
|
7401
|
+
| (b2) 半段已 flush,**前缀自己也过期** | 凭据落在已经上屏的那半段里 ⇒ `content` 不以已提交前缀开头 | 🔴 **一个字节都不再交**给转录面,并立 `committedPrefixDiverged` ⇒ 该段唯一算数的那一份就是帧上的 `content`,宿主把 `committedPrefixLen` 指的那一截换成它;**整截都在当前这条消息里时同批同步终答补差账**(否则 `result` 臂会把权威全文当成「屏上缺的后缀」再渲一遍,轮三 finding② 实抓;跨消息那几形**刻意不碰账**,轮四 finding①② 收窄,理由与留白见下)。**包内撤不回**:那条 transcript 消息早已 yield,只有宿主持有句柄 —— 包能做的是**把这件事说出来**;再补一条 = 同一段话上屏两遍 | 同上(判据同一个,结论相反) |
|
|
7402
|
+
| (c) 🔴 一 turn 多段 | 第二个 `text_end`(**anthropic 车道常态**:装机 core `brain/anthropic.js` 在 `content_block_stop` 上逐块 push) | 定稿正文**封存**、段缓冲**清空**给下一段用。⚠️ 不清空 ⇒ 第二段的 delta 接着往同一个缓冲里加、再被第二帧的 `content` 整段覆盖 ⇒ **第一段正文凭空消失**,且第二帧还会误报 `diverged`(复审实抓)。封存**不切消息**:整 turn 仍只提交一条 assistant 文本消息 | 「引擎说这一段写完了」⇒ 它的字节此后只能被整体提交,不能再被下一段追加/覆盖 |
|
|
7403
|
+
| (d) 子流 | `parentToolCallId` 在场 | **根本到不了替换**:臂在断闸处 `return`(零 chrome 事件 + leader 缓冲一字节不动)。顺序不许倒过来 | 断闸按「**键在不在**」判,不按「是不是串」判(既有纪律) |
|
|
7404
|
+
| (e) 🔴 **迟到的段边界** | 工具卡先到、`text_end` 后到(**openai 车道实测时序**:装机 core `brain/openai.js` 在 `finalize()` 里 push `text_end`,而 `toolcall_end` 先触发 `engine/loop/agent-loop.js` 的 `executor.maybeAdmit`)。**卡之后同段还可以继续出 delta**(brain 持续累加文本到 `finalize`) | 🔴 **两本前缀账相加**:包侧边界带走的那些截 + 本消息内 idle-flush 掉的,合起来才是「这一段已经撤不回的部分」。⇒ 照算分歧、照发三个键;前缀对得上就只交**尾段**,对不上就**一个字节都不交**。⚠️ 修前踩了两次:轮一按「两个缓冲都空 = 没经手过」全否返回 ⇒ 未脱敏正文静留转录、三键一个不发;轮二订正后仍「只在当前缓冲全空时才读上一本账」⇒ 卡后一有 delta 前缀就不算了,旧明文留存**而且**权威全文被完整提交第二次(同一段上屏两遍)。两条都实测复现过 | 包侧边界(工具卡 / 消息划界)**不是**引擎段边界 —— 只有 `text_end` 是;而「当前缓冲空不空」**不是**「本包经没经手这一段」 |
|
|
7405
|
+
| (f) 🔴 本包零经手 | 两本前缀账 **∧** 段缓冲全空 | **什么都不做**,三位全报否 | 替换的语义是「换掉本包自己缝合出来的那一段」,不是「凭空铸一段」。可达形两条:① durable 内容腿(整块 `text` 帧本身就是一整条 assistant 消息、已铸过 transcript 行)之后到的 `text_end`;② 宿主只喂 `text_end` 的自建管线。塞进缓冲 ⇒ turn 收口**再铸一条一模一样的**。**红先绿后实抓**:pure 门既有正控 `#323-g`(「本臂不铸 transcript 行」)当场红 |
|
|
7406
|
+
|
|
7407
|
+
**活体面(`stream_delta`)怎么算**:已经泄出去的那一截**撤不回**。所以 ——
|
|
7408
|
+
已泄前缀仍是 `content` 的前缀 ⇒ 尾巴换成 `content` 剩下那一截(屏上接着往下写,零重复);
|
|
7409
|
+
已泄前缀**不是** `content` 的前缀 ⇒ **不再补任何尾巴**(在一段错的前缀后面接上权威后缀,拼出来的是
|
|
7410
|
+
一段谁都没说过的话),由宿主按 `diverged` 重渲整段。
|
|
7411
|
+
|
|
7412
|
+
**🔴 最小键集为什么恰是三个**(「宿主能不能只凭一帧就知道要不要重渲」):
|
|
7413
|
+
|
|
7414
|
+
- `diverged`(never false)= **活体面**那份过期了 ⇒ 要不要重渲;
|
|
7415
|
+
- `committedPrefixDiverged`(never false)= **转录面**已经 committed 的那一截也过期了。它是真正的分水岭:
|
|
7416
|
+
缺席时包随后交的是**尾段**(前缀 + 尾段 = `content`,什么都不用丢);在场时包**一个字节都不再交**
|
|
7417
|
+
⇒ 该段唯一算数的那一份就是帧上的 `content`,宿主必须用它重渲并**丢掉**此前那些消息。
|
|
7418
|
+
**两形的 `diverged` 与 `committedPrefixLen` 完全同形,而宿主动作正相反** —— 合成一个位办不到。
|
|
7419
|
+
🔴 `diverged` 那一条只有**自己拼 delta 上屏**的宿主要做;`committedPrefixDiverged` 那一条
|
|
7420
|
+
**所有宿主都要做**(包在那一形上交不出东西,只有宿主能修)——`CHROME_ARM_TABLE` 上本臂的
|
|
7421
|
+
`required` 因此从 `false` 翻成 **`true`**;
|
|
7422
|
+
- `committedPrefixLen`(never 0)= **定位量**。宿主照抄这一行就对:
|
|
7423
|
+
`已committed正文.slice(0, 已committed正文.length - committedPrefixLen) + content`。
|
|
7424
|
+
🔴 **单位 = JS 字符串长度(UTF-16 代码单元),不是 UTF-8 字节**(轮三 finding① 订正:按字节截会在
|
|
7425
|
+
任何非 ASCII 正文上截错位置 —— 实测 `sk-…` + `中文`×30 的 UTF-16 长度 82 / UTF-8 字节 202,
|
|
7426
|
+
按 202 截会把凭据**原样留在屏上**还附带乱码)。
|
|
7427
|
+
🔴 **也不是「几条消息」**(轮二 finding② 订正):本包在 idle-flush 那一形下会把「上一段的定稿 +
|
|
7428
|
+
这一段的半截」合并进**同一条** assistant 消息(分段行为零改动的代价),按**消息**去丢会把已经
|
|
7429
|
+
定稿的上一段一起删掉,而本包**不会再补发**它。
|
|
7430
|
+
🔴 它按**增量拼文**计长,**不是** `content` 上的偏移量(前缀自己也可能被脱敏改过字节,拿它去切
|
|
7431
|
+
`content` 在 b2 那一形上会切出半截乱码)。
|
|
7432
|
+
🔴 **一条总不变量**(三轮复审逼出来的那句话,也是本件最该记住的边界):
|
|
7433
|
+
**本包只在「整段都在自己手里(同一条 committed 消息内)」时改自己交的字节;段一旦跨过包侧边界
|
|
7434
|
+
(工具卡 / 消息划界),就只发这三个键、不动任何既有行为** —— 转录逐条、终帧补差走向都与
|
|
7435
|
+
**0.68.0 逐字相同**(常驻门按「补差臂走向」这个真正决定结果的量做基线对照)。
|
|
7436
|
+
轮五实测的反例正是踩了这条:在跨消息那一形清掉未提交尾段,会让 `result` 从第⑤臂(只报一行分岔)
|
|
7437
|
+
改成第④臂(**补吐一整段**)—— 那是**新增**的重复转录路径,不是「更安全」。
|
|
7438
|
+
|
|
7439
|
+
⚠️ **随之而来的如实留白**:跨消息那几形里,`committedPrefixLen` 指的那一截可能落在**别条**消息里、
|
|
7440
|
+
甚至中间**夹着一张工具卡**;而终帧补差的基线也不会跟着换(它本来就不跟,与本批无关 —— 主树
|
|
7441
|
+
0.68.0 上同一条时序**实测同形**)。根因是同一个:**包按自己的边界切 committed 消息,引擎按
|
|
7442
|
+
content block 切段**。根治 = 「每个引擎段各自一条 committed 消息」(= CC 在 `content_block_stop`
|
|
7443
|
+
上的原生做法,`seam.ts` 本臂头注早已点名),那是**分段行为改动**、与撤 idle-flush 启发式同一件事,
|
|
7444
|
+
按宪法三问单独走;本批不做,把边界如实写在这里而不是假装没有。
|
|
7445
|
+
|
|
7446
|
+
📋 **刻意没有第四个键 `authoritative: true`**:它会在**每一帧**上恒为真 ⇒ 零判别力,既分不出新旧引擎
|
|
7447
|
+
(引擎版本不在帧上,本包不猜版本 —— 与 §33b 那条「刻意不留按引擎版本分岔的兼容读」同一条纪律),
|
|
7448
|
+
也不驱动宿主的任何分支。
|
|
7449
|
+
|
|
7450
|
+
📋 **仍然留白的那一件**:让 `textStream` 真的**撤掉** idle-flush 启发式。core 臂注明写 `text_end` 是
|
|
7451
|
+
「诚实缺席」的位(只有会报块结束的 brain 才发它),所以要撤得先按**每条流**判「这条流带不带边界帧」
|
|
7452
|
+
再决定退不退启发式 —— 带状态的行为面改动,按宪法三问单独走。权威替换是**兼容**启发式的
|
|
7453
|
+
(b1/b2 两形由两个前缀键如实交代),**不是**它的继任。
|
|
7454
|
+
|
|
7455
|
+
### 34c. S-2 `ToolRosterEntryView` 出身三键(L-290 + 同形族扫)
|
|
7456
|
+
|
|
7457
|
+
**病形**:server(`trace/project.ts` 的 `tools` 段)对名册的姿势是**整只判形 + 逐字透传**,理由逐字
|
|
7458
|
+
「成员表由 core 以 typebox schema 单点持有,手抄一张挑键表 = 立刻多一份会漂的镜像」;而本包
|
|
7459
|
+
`src/toolRoster.ts` 是**逐键窄读器** —— 挑漏的键在包边界上**等于不存在**。`contentOriginProvenance`
|
|
7460
|
+
就是这么漏的(壳 `/doctor`「Tools (engine leg)」行读不到)。
|
|
7461
|
+
|
|
7462
|
+
**🔴 族扫(同形存量清剿宪法的两问)**:病形 = 「逐键窄读器对上游已透传的键静默无感」;
|
|
7463
|
+
同形存量 = core `ToolRosterEntry` 32 个成员里本包此前只挑 17 个,**15 个没挑**。
|
|
7464
|
+
处置不是只补被点名的那一个:
|
|
7465
|
+
|
|
7466
|
+
- **点杀 + 同族三键**:三根轴(`contentOrigin` / `effect` / `egress`)**各有一个出身键**,漏的形一模一样
|
|
7467
|
+
⇒ 三个一起挑(`contentOriginProvenance` / `effectProvenance` / `egressProvenance`,开集读、缺席即缺席、
|
|
7468
|
+
坏形只丢这一格不丢行)。
|
|
7469
|
+
- **族扫落成机器账**:`scripts/run-tool-roster-projection-test.mjs` **G 段**拿**实装 `@sema-agent/core` 的
|
|
7470
|
+
schema 成员表**与窄读器**真挑出来的键集**逐键对账 —— core 有而账上没有 ⇒ 红;账上标「挑」而没挑 ⇒ 红;
|
|
7471
|
+
账上标「不挑」却挑了 ⇒ 红;每条「不挑」都写理由。**上游再加成员当天红**,这才是根治。
|
|
7472
|
+
- **12 条 declined 的理由**(逐条在门里,摘要):`inputKeys`(schema 概要 ≠ 本次调用的真实入参)/
|
|
7473
|
+
`offload`·`offloadThresholdChars`·`compactable`·`budgetExempt`·`validateInput`·`deferred`·`alwaysLoad`
|
|
7474
|
+
(引擎执行面与挂载策略,端边界上无对应动作)/ `reversibilityProbe`·`approvalPreview`(探针/预览在场与否
|
|
7475
|
+
不是卡上那根轴的值)/ `modelGate`(本包**已有**专门读面 `wiring_manifest.modelGate`,再挑一次 = 两份会漂)/
|
|
7476
|
+
`mountedBy`(部署侧分诊量,端的诊断行读的是 `source`)。
|
|
7477
|
+
|
|
7478
|
+
⚠️ 出身键是**诊断面**,刻意**不进** `ToolShim`(那是渲染面:人话名 / 卡型 / 三根轴的**值**)——
|
|
7479
|
+
端渲一只工具时要的是「它是什么」,不是「这句话是谁说的」。
|
|
7480
|
+
|
|
7481
|
+
### 34d. S-3 / S-4 包侧缺口 ①⑤([7226])
|
|
7482
|
+
|
|
7483
|
+
**① `controlRouter` steering 码表第 8 码**(`src/controlRouter.ts` 的 `STEERING_CODE_TO_SAFETY` / `STEERING_ADVICE`):
|
|
7484
|
+
`steering.blocked_by_hook`(422)—— 部署的 `userPromptSubmit` 门拦下了这条输入,block / 超时 / 崩溃**同码
|
|
7485
|
+
fail-closed**,成因由 message 判别。🔴 **输入未被受理**(无 `human_input` 帧、`inputId` 不入账)⇒ 处置 =
|
|
7486
|
+
**改内容自由重试**。修前它落开集兜底位 `steering_other`,而那一位的判词逐字是「别按成员猜它的意思」——
|
|
7487
|
+
兜底在这一位上不是安全降级,是把一条**能自救**的拒绝渲成一条不知道怎么办的拒绝。
|
|
7488
|
+
⚠️ SDK 8.8.0 **没有**专属子类(`errors.d.ts` 的 `Steering*Error` 只有六只)⇒ 只能按 `errorCode` 认;
|
|
7489
|
+
`/steer` 的 **park 腿结构性不可达本码**(hook 对 parked 转向的拦截发生在 resume 再投递时刻,走
|
|
7490
|
+
`steering.parked_input_blocked` 通告),本路由器调的是 live 腿,所以这一位在这里可达。
|
|
7491
|
+
|
|
7492
|
+
**⑤ `REQUEST_FIELD_MATRIX` 的 `memoryCapture` 行**(`src/request/taskRequest.ts`):server §12.4 的提交面
|
|
7493
|
+
body 键 `memoryCapture?: "off"` —— **单成员闭集,没有 `"on"`**。修前整条不在矩阵里 ⇒ 端把它放进请求体时
|
|
7494
|
+
`unregisteredRequestKeys` 当场点名,唯一「合规」出路是端自己加白名单(`attachmentIds` 已经走过这条弯路)。
|
|
7495
|
+
本批同批补齐三件(只补表不补构造器 = 端还得在唯一构造口外面手加一行):表行 + `TaskRequestInput.memoryCapture?: 'off'`
|
|
7496
|
+
+ 构造器 `=== 'off'` 才 stamp。🔴 与**中途翻转 verb**(`POST /v1/runs/:id/memory/capture-optout`,能力位
|
|
7497
|
+
`runMemoryCaptureOptOut`)是**同一条一次性单向记录的两个口**,不是两个轴:verb 管这一条在飞的 run,
|
|
7498
|
+
本键管「本会话的下一次新提交」;verb 的非 live 409 `steering.not_running` 正是**指路本键**,端没有本键
|
|
7499
|
+
就接不住那条指路。
|
|
7500
|
+
|
|
7501
|
+
---
|
|
7502
|
+
|
|
7503
|
+
### 34e. 🔴 三端升级必读(固定段式,[C295];本批**四条**)
|
|
7504
|
+
|
|
7505
|
+
1. 🔴 **安全面:`text_segment_end` 从「纯信号」变成「信号 + 权威内容 + 分歧位」**(`ChromeEvent` 的
|
|
7506
|
+
`TextSegmentEndChromeEvent`,三个 additive 键全部 never-false;`CHROME_ARM_TABLE` 上本臂的
|
|
7507
|
+
`required` 同批 `false` → **`true`** —— 按本表自检覆盖率的端会当场显形,那正是目的)。
|
|
7508
|
+
· `diverged` 在场 ⇒ **自己拼 `stream_delta` 上屏**的端必须用 `content` **重渲该段**并以它为该段的
|
|
7509
|
+
committed 文本,**不许保留增量拼文**(不实现 = 未脱敏字节留在那个宿主的屏上与转录里);
|
|
7510
|
+
只渲 transcript 平面的端在这一条上零改动(包已经把权威全文换进段缓冲)。
|
|
7511
|
+
· 🔴 `committedPrefixDiverged` 在场 ⇒ **所有端都要做**:这一段此前已 committed 的正文是过期的,
|
|
7512
|
+
把 `committedPrefixLen` 指的那一截换成 `content` —— 包在这一形上**一个字节都不再交**
|
|
7513
|
+
(撤不回的那截拼不出 `content`,再补一条 = 同一段话上屏两遍),不做就只剩未脱敏的那半截、
|
|
7514
|
+
还缺后半段。
|
|
7515
|
+
· `committedPrefixLen` 是定位量,照抄
|
|
7516
|
+
`已committed正文.slice(0, 已committed正文.length - committedPrefixLen) + content`。
|
|
7517
|
+
🔴 **单位 = JS 字符串长度(UTF-16 代码单元)**:**不是 UTF-8 字节**(按字节截会在非 ASCII 正文上
|
|
7518
|
+
把凭据原样留在屏上)、**也不是「几条消息」**(包会把上一段的定稿与这一段的半截合并进同一条
|
|
7519
|
+
消息,按消息丢会把上一段一起删掉,而包**不会再补发**它)。按**增量拼文**计长,不是 `content`
|
|
7520
|
+
上的偏移。
|
|
7521
|
+
· ⚠️ **迟到的段边界**(引擎在工具执行之后才报这一段的边界 —— openai 车道的实测时序)同样带着
|
|
7522
|
+
这三个键到达,而它指的可能是**上一条** assistant 消息。按同一条规矩处置,别因为「这一段看起来
|
|
7523
|
+
早就结束了」就跳过。
|
|
7524
|
+
2. 🔴 **`ControlSafetyCode` 加员 `blocked_by_hook`** —— 端上按这个联合做**穷举 switch / 映射表**的地方
|
|
7525
|
+
会**编译期红**(没有 `default` 臂的话),这是设计:处置与 `invalid_content`(正文违规,SURFACE 别
|
|
7526
|
+
strip-and-retry)和 `steering_other`(别猜它的意思)**都不同**,塌进任何一位 UI 都会说反话。
|
|
7527
|
+
正确文案口径 = 「这条输入**没有被受理**(部署的提交门拦下了),改一改内容再发即可,不是重复提交」。
|
|
7528
|
+
3. 🔴 **`memoryCapture` 坏值现在会抛**:`buildTaskRequest` 对 `'on'`/`'OFF'`/空串/布尔/对象等一切
|
|
7529
|
+
表外写法**抛 `TypeError`**(两条车道、不受 live 门)。端上若曾把用户输入直接透给这一位,打错字
|
|
7530
|
+
从此是**响亮失败**而不是静默继续采集 —— 这是设计(core/server 都点名「把一条隐私请求按打字
|
|
7531
|
+
错误静默丢掉是禁的方向」)。`undefined`/`null` 仍是合法缺席。
|
|
7532
|
+
4. **两件 additive,可接可不接**:`ToolRosterEntryView` 的出身三键
|
|
7533
|
+
`contentOriginProvenance`/`effectProvenance`/`egressProvenance`(开集读,🔴 缺席 ≠ `"default"` ——
|
|
7534
|
+
缺席是「这台引擎没报」,`default` 是「报了,谁都没声明」;两者别折成一个字节);
|
|
7535
|
+
`TaskRequestInput.memoryCapture?: 'off'`(单成员闭集,`'on'` 与坏拼写一律不上 wire)。
|
|
7536
|
+
|
|
7537
|
+
**包侧缺口:** 无(本批 [7226] ①⑤ 两条已清;其余条目不在本包边界上,见 §34z ③)。
|
|
7538
|
+
|
|
7539
|
+
### 34f. 黑盒判据(test 视角;wire 可观察,不引用内部实现)
|
|
7540
|
+
|
|
7541
|
+
> 新增一列「web 可复用构造形」(0.68.0 打分扣点采纳,[C295]):同一条判据在 web/desktop 端怎么构造。
|
|
7542
|
+
|
|
7543
|
+
| # | 判据 | 期望 | web 可复用构造形 |
|
|
7544
|
+
|---|---|---|---|
|
|
7545
|
+
| G34-00 | 🔴 `CHROME_ARMS` 里 `text_segment_end` 那一行 | `required === true`(0.68.1 从 `false` 翻面);`duty` 文案点名三个键 | 读公面导出 `CHROME_ARMS` |
|
|
7546
|
+
| G34-01 | 一条 run:`text_delta` 逐字流出含凭据形的文本,随后 `text_end.content` 为脱敏后的同一段 | 最终转录里那条 assistant 消息的正文 = `text_end.content` **逐字节**;未脱敏字节**零命中** | 假 wire:两条 `text_delta` + 一条 `text_end`,断言 `transcript` 平面 assistant 文本 |
|
|
7547
|
+
| G34-02 | 同上,但 `text_end.content` 与拼文**逐字节相同**(不含凭据形的常态) | chrome `text_segment_end` 上 `diverged` / `committedPrefixDiverged` / `committedPrefixLen` **三键全缺席**;转录正文不变 | 同上,`text_end.content` 用拼文原串 |
|
|
7548
|
+
| G34-03 | 段中途触发 idle-flush(静默 ≥1.5s + 段尾句末)提交半段,随后 `text_end` 的权威全文**只改了尾段** | `committedPrefixLen` = 已提交字节数、`diverged` 在场、`committedPrefixDiverged` **缺席**;两条 committed 消息拼起来 = `content` | 需要宿主时钟口(`setTimer`);或直接对 `text_segment_end` 事件断言三键组合 |
|
|
7549
|
+
| G34-04 | 同 G34-03,但凭据落在**已提交的半段**里(权威全文的前缀也变了) | 🔴 `committedPrefixDiverged` **在场**,且包**不再为这一段提交任何正文**(实测:随后没有新的 assistant 文本消息)—— 该段唯一算数的那一份是事件上的 `content`,宿主把 `committedPrefixLen` 指的**字节区间**换成它 | 同上,`text_end.content` 把前缀那一截也换掉;断言**最终转录**,不要只查三个键在不在 |
|
|
7550
|
+
| G34-04b | 🔴 `A → text_end(A) → B前缀(含凭据) → idle-flush → B尾 → text_end(B)` | `committedPrefixLen` 只统计 **B** 那一截;把已 committed 正文**尾部**这么多字节换成 `content(B)`,得到「A 的定稿 + B 的权威全文」。⚠️ 按**消息**丢会把 A 一起删掉(包把两段合并进了同一条消息,且不会再补发 A) | 需要宿主时钟口;或直接对回执/事件的 `committedPrefixLen` 与最终转录做字节级重建 |
|
|
7551
|
+
| G34-05 | 🔴 一个 turn 里两条 `text_end`(两段),**中间没有工具卡也没有 idle 提交** | 两段的正文**都**到得了最终转录(拼成一条 assistant 消息);第二帧的 `diverged` 只按第二段自己算、`committedPrefixLen` 缺席 | 两组 delta + 两条 `text_end` 直接喂 `adapt()`,**不要**手动插段提交(手插会把病整个掩盖) |
|
|
7552
|
+
| G34-05b | 🔴 delta(含凭据) → tool_start(工具卡) → **迟到的** `text_end`(脱敏后全文) | `diverged` + `committedPrefixDiverged` + `committedPrefixLen` 三键**都在场**(字节区间落在**卡之前**那条消息上);包**不铸**新的 assistant 消息 | 三帧直接喂 `adapt()`;openai 车道的真实时序 |
|
|
7553
|
+
| G34-05c | 🔴 delta(含凭据) → tool_start → **同段后续 delta** → 迟到的 `text_end` | 卡前那截明文**算进** `committedPrefixLen`;`committedPrefixDiverged` 在场;权威全文**不被完整提交第二次**(否则同一段上屏两遍 + 明文没人清) | 四帧喂 `adapt()`;brain 持续累加文本到 `finalize`,streamingToolExecution 允许这条交错 |
|
|
7554
|
+
| G34-05d | 同 G34-05c,但正文里**没有**凭据形 | 前缀对得上 ⇒ 只交**尾段**,两条拼起来 = 权威全文(反向自证:不是「一律不交」) | 同上 |
|
|
7555
|
+
| G34-06 | `text_end` 带 `parentToolCallId`(子代/编排流) | leader 面**零** `text_segment_end` 事件;leader 段缓冲一字节不动(收口铸出来的正文仍是 leader 自己的 delta 拼文) | 先喂 leader delta,再喂带 `parentToolCallId` 的 `text_end`,断言两件 |
|
|
7556
|
+
| G34-07 | 🔴 只喂 `text_end`、**零** `text_delta`(或 durable 整块 `text` 帧之后再来 `text_end`) | **不铸第二条** assistant 消息(同一段文字绝不上屏两遍) | 单帧 `text_end`;以及 `text`(durable)+ `text_end` 两帧 |
|
|
7557
|
+
| G34-08 | 名册行带 `contentOriginProvenance` / `effectProvenance` / `egressProvenance` | 三键逐字出现在 `projectToolRoster(...).entries[i]` 上;整键缺席 ⇒ 视图上整键不在场(不铸 `"default"`) | `wiring_manifest.tools` 假载荷 |
|
|
7558
|
+
| G34-09 | 名册行的出身键是坏形(空串 / 数字 / `null` / 对象) | 只丢那一格,**行还在**(名册不整只判没) | 同上,逐形喂 |
|
|
7559
|
+
| G34-10 | `/steer` 被部署的 `userPromptSubmit` 门拒(422 `steering.blocked_by_hook`) | 抛 `ControlSafetyError`,`code === 'blocked_by_hook'`;判词含 wire 码原文与「未受理 / 可重试」口径 | 假 `runs.steer` 抛 `{ errorCode:'steering.blocked_by_hook', status:422 }` |
|
|
7560
|
+
| G34-11 | 同上,未来未知码 `steering.<new>` | 仍落 `steering_other`(开集兜底没有被本批收窄) | 同上换码 |
|
|
7561
|
+
| G34-04c | 🔴 前缀含 **CJK / emoji**(非 ASCII)时的宿主重建 | 按 `已committed正文.slice(0, 长度 - committedPrefixLen) + content`(**UTF-16**)重建 ⇒ 未脱敏字节零残留;按 **UTF-8 字节**截 ⇒ 凭据原样残留(反向自证:单位写错的真实后果) | 前缀用 `'sk-…' + '中文'.repeat(30)`;两条重建路径都跑 |
|
|
7562
|
+
| G34-04d | 🔴 `delta(含凭据) → idle-flush → delta → 脱敏 text_end`(整截都在**同一条**消息里)→ 终帧带同一份权威全文 | 终答补差**不再追加一份重复正文**(`lastCommittedAnswerText` 已 = 权威全文 ⇒ 落「两份是同一段话」那一臂) | 整链喂 `adapt()` 到 `result`,断言最终转录零重复 |
|
|
7563
|
+
| G34-04e | 同上但段**跨过工具卡**(一张 / 两张) | 🔴 **总不变量**:三个修正键仍然正确,而转录逐条 + 终帧**补差臂走向**都与 **0.68.0 逐字相同**(本包只发信号、不动既有行为)。不是本批引入的回归 | 同一条时序跑「认得 text_end」与「不认得」两遍,对照转录与补差基线 |
|
|
7564
|
+
| G34-12 | 请求体带 `memoryCapture: 'off'` | 两条车道都 stamp 到 wire;`unregisteredRequestKeys` 两条车道都不点名 | `buildTaskRequest(input, lane)` + `unregisteredRequestKeys` |
|
|
7565
|
+
| G34-13 | 🔴 请求体带 `memoryCapture: 'on'` / `'OFF'` / `''` / 布尔 / 对象等任意坏值 | **抛 `TypeError`,拒绝构造请求**(两条车道、不受 live 门);错误文本只报形状不回显值。⚠️ **不是**「静默删键」—— 那会把一条隐私声明按打字错误丢掉,正是 core `memory.d.ts` 与 server §12.4 **点名禁的方向**(会话照常被采集,而声明人不会知道) | `buildTaskRequest` 逐坏值 × 两车道 × live/非 live;`undefined`/`null` 反向自证 = 合法缺席不拒 |
|
|
7566
|
+
|
|
7567
|
+
### 34g. 常驻门(本批新增一道 + 扩两道)
|
|
7568
|
+
|
|
7569
|
+
| 门 | 守什么 |
|
|
7570
|
+
|---|---|
|
|
7571
|
+
| 🆕 `scripts/run-text-segment-authority-test.mjs` | S-1 的**六形** + 活体面两形 + 三键 never-false + b1/b2 分水岭 + **两条组合时序**(工具卡后同段继续出 delta / 多段×idle×b2 的字节区间重建)+ `CHROME_ARM_TABLE` 义务文案与实现同律(含 `required` 翻面与「单位是字节不是消息」)+ 端到端两趟(单段 / **连续两段**,后者刻意不手动插段提交)|
|
|
7572
|
+
| `scripts/run-tool-roster-projection-test.mjs` | 扩 F 段(出身三键:在场挑出 / 第二成员 / 整键缺席不铸默认 / 开集 / 五种坏形只丢一格 / 不进 `ToolShim`)+ 🆕 **G 段逐键处置台账**(对**实装 core 的 schema 成员表**双向对账 + declined 逐条有理由) |
|
|
7573
|
+
| `scripts/run-client-core-pure-test.mjs` | 扩 FIX③ 段(steering 第 8 码归位 + 与两位近邻分家 + 判词口径)与 B8① 段(`memoryCapture` 表行 / 两车道 stamp / 单成员闭集 / 坏拼写 / live 门 / 不再被点名);两段下限同批贴当日实测(B8 158→164、FIX7 89→92) |
|
|
7574
|
+
|
|
7575
|
+
---
|
|
7576
|
+
|
|
7577
|
+
### §34z 逐键处置表(本批合同的**每一行**在本包的落点)
|
|
7578
|
+
|
|
7579
|
+
> 口径与 §33z 一致:`consumed`(+ `文件#符号` 坐标)/ `declined`(+ 理由)/ `n-a`(+ 理由)/ `pending`(+ 票)。
|
|
7580
|
+
> **这张表是下游抄 `wire-consumption-manifest` 的母本**。
|
|
7581
|
+
|
|
7582
|
+
#### ① server 7.75.3 脱敏面(`ASSISTANT-WIRE-CONTRACT` §5.1 live 面)
|
|
7583
|
+
|
|
7584
|
+
| # | 键 / 面 | 处置 | 坐标 / 理由 |
|
|
7585
|
+
|---|---|---|---|
|
|
7586
|
+
| 1 | `text_end.content` = **经脱敏器的段权威全文**(与 `text_delta` 可不相等) | **consumed** 🔴 | `src/adapt/textStream.ts` 的 `#replaceAnswerSegment` / `#segmentCommitted`;`src/adapt/arms.ts` 的 `#textSegmentEndArm`(改签名成 `ArmFn`);`src/seam.ts` 的 `#TextSegmentEndChromeEvent`(义务① 改口 + 三键);门 `run-text-segment-authority-test.mjs` |
|
|
7587
|
+
| 2 | `text_delta` **仍逐字**(流式脱敏是独立设计件) | **consumed**(读法) | 同上 —— 活体面「已泄前缀不是 `content` 前缀 ⇒ 不再补尾巴」那一臂正是按这条写的 |
|
|
7588
|
+
| 3 | 替换记号闭形 `«redacted»` / `«redacted:<词>»` / `«redacted:<词>:partial»`(7.75.2 起对嵌套亦然,**残留一形**) | **n-a** | 本包**不解析**这些记号(渲染,不回喂模型)—— 解析失败兜底是**端**的事(契约原文点名「消费端解析 `«…»` 时应留兜底,别当断言」)。grep 证:`src/` 全树 `redacted` **0 命中** |
|
|
7589
|
+
| 4 | `reasoning_delta` 逐 chunk 脱敏(跨 chunk 形有残留) | **n-a**(本批) | 思考面本包无「权威全文」对位帧(core 没有 `reasoning_end` 的 content 权威位)⇒ 没有可替换的对象。上游若给出对位帧,按 S-1 同形跟车 |
|
|
7590
|
+
| 5 | 禁按 `result` 字节做身份/哈希比对 | **consumed**(零改) | `src/adapt/arms.ts` 的 `#resultArm` 终答补差五格本来就是**前缀/相等**语义,不做哈希;b2 那一形落既有第⑤臂 `result_text_diverged`(**长度位,不复述正文**),是诚实结局不是回归 |
|
|
7591
|
+
| 6 | `structuredOutput` 不脱敏(调用方 schema 校验过的对象) | **n-a** | 本包不碰 `structuredOutput` 的字节。grep 证:`src/` 全树 `structuredOutput` **0 命中** |
|
|
7592
|
+
|
|
7593
|
+
#### ② core 名册成员(core 的 `core/tool-roster.ts` 的 `ToolRosterEntry`,32 键)
|
|
7594
|
+
|
|
7595
|
+
| # | 键 / 面 | 处置 | 坐标 / 理由 |
|
|
7596
|
+
|---|---|---|---|
|
|
7597
|
+
| 1 | `contentOriginProvenance`(四词) | **consumed** | `src/toolRoster.ts` 的 `#ToolRosterEntryView` / `#readEntry`(开集读) |
|
|
7598
|
+
| 2 | `effectProvenance` / `egressProvenance`(同形族扫) | **consumed** | 同上 —— 三根轴各一个出身键,漏的形一模一样 |
|
|
7599
|
+
| 3 | 其余 12 个未挑成员 | **declined**(逐条有理由) | 理由逐条在 `scripts/run-tool-roster-projection-test.mjs` G 段的 `DISPOSITION` 账上,摘要见 §34c;🔴 该段对**实装 core schema** 双向对账,上游加成员当天红 |
|
|
7600
|
+
| 4 | 已挑的 17 个存量成员 | **consumed**(零改) | `src/toolRoster.ts` 同上,0.63.0 起 |
|
|
7601
|
+
|
|
7602
|
+
#### ③ [7226] 包侧缺口(点名 @client-core 的两条)
|
|
7603
|
+
|
|
7604
|
+
| # | 键 / 面 | 处置 | 坐标 / 理由 |
|
|
7605
|
+
|---|---|---|---|
|
|
7606
|
+
| 1 | ① `steering.blocked_by_hook`(第 8 码,422) | **consumed** | `src/controlRouter.ts` 的 `#ControlSafetyCode`(加员 `blocked_by_hook`)/ `#STEERING_CODE_TO_SAFETY` / `#STEERING_ADVICE` |
|
|
7607
|
+
| 2 | ⑤ `memoryCapture: "off"`(提交面,单成员闭集) | **consumed** | `src/request/taskRequest.ts` 的 `#REQUEST_FIELD_MATRIX`(新行)/ `#TaskRequestInput.memoryCapture` / `#buildTaskRequest` 的 `=== 'off'` stamp |
|
|
7608
|
+
| 3 | `steering.parked_input_blocked`(park 腿的**通告**,不是拒绝码) | **n-a** | 它是 `engine_notice` 码册里的一员、不是 `steering.*` 拒绝族;本路由器调的是 live 腿,park 腿结构性不可达。通告面读点另在 `src/engineNoticeCodes.ts`,本批不动 |
|
|
7609
|
+
| 4 | 中途翻转 verb `POST /v1/runs/:id/memory/capture-optout` + 能力位 `runMemoryCaptureOptOut` | **n-a**(本批) | 那是**动词面**(需要 run 属主门 + 活流句柄),不在请求构造面上;本批补的是它 409 时**指路**的那个声明键。端按能力位渲入口的纪律不变(假 affordance) |
|
|
7610
|
+
| 5 | `memoryCapture` 坏拼写 400 `request.field_invalid` / core `config.memory_capture_spelling` | **n-a** | server 是权威校验方,本层不预铸第二判官;但也不替它买路(`'on'` / 表外拼写整键不 stamp) |
|
|
7611
|
+
|
|
7612
|
+
---
|
|
7613
|
+
|
|
7614
|
+
## §35 🆕 0.68.2 内容批(L-318 判决单源 / L-316 memoryCapture 单铸点 / L-61 件④ SDK 纯工具面转口)
|
|
7615
|
+
|
|
7616
|
+
### 35a. 本节速览
|
|
7617
|
+
|
|
7618
|
+
| 件 | 一句话 | 端要做什么 |
|
|
7619
|
+
|---|---|---|
|
|
7620
|
+
| S-1 🔴 **归层** | `text_end` 权威段替换的**六形判决**从「本包一份 + 每个端各一份」收成**一只纯函数** `resolveTextSegmentAuthority`。0.68.1 落的是交互车道那一份(`textStream.replaceAnswerSegment`),而 `-p` / web / desktop 这种**自己缝 delta 成帧**的车道拿不到那只段缓冲 ⇒ cli 1.0.114 在壳里逐形又写了一遍(B-122)。现在两边吃同一只 | **自己缝合 delta 的端**:把自写的六形判据换成 `resolveTextSegmentAuthority(content, { committedPrefix, openSegment })`,按回执的 `form` 分三支(`untouched` 什么都不做 / `replace_tail` 换尾段 / `withhold` 一个字节都不交 + 如实披露)。只渲 transcript 平面的端**零改动** |
|
|
7621
|
+
| S-2 | print 形车道的**段账状态机** `createTextSegmentLedger` 进包(已出门前缀跨卡累加 / 三处清账 / 被扣段终局判重) | 有「把叙述搭在工具卡帧上先发走」这条腿的端换用它,别再自持 `flushedPrefix` / `withheld[]` 两本账 |
|
|
7622
|
+
| S-3 | `memoryCaptureDeclarationField(declared)` —— 会话级隐私声明的**字面唯一铸点**(L-316) | 端交**意图位**(布尔),值由本层铸;端上不许再出现 `memoryCapture: 'off'` 字面量 |
|
|
7623
|
+
| S-4 | `engineHttpTools`:SDK 纯工具面 `engineUrl` / `probeHealth`(+ 型 `ProbeHealthResult`)**原样转口** | 只为取这两件而直连 `@sema-agent/sdk` 的端改经本包;🔴 **原样**转口(同一函数引用),端别在外面包一层 |
|
|
7624
|
+
| S-5 | `sdkWireTransit`:SDK **wire 面**转口(客户端类 `AgentClient` + 流内审批帧谓词两只 + 端上存量用到的那一小撮 wire 型面) | 存量直连改经本包;🔴 **新码不要用它** —— 新码走本包自有的 `makeEngineWireClient`,本转口口只给存量(理由与射程见 §35e) |
|
|
7625
|
+
| S-6 🔴 **归层** | **段身份铸点归包**(CC-01,cli L-314 壳侧对位):committed assistant **文本**转录行顶层盖 `_sema_segment_id`,`text_segment_end` 帧带同值 `segmentId`。此前由壳在自己的过境口自铸(先壳后包),本包 diff 门对壳树当场红 | **持有转录、要按 `committedPrefixLen` 换掉已提交那截的端**:认行改用**两把钥匙**(行 `uuid` ∧ 行上 `_sema_segment_id === 事件.segmentId`);自铸段身份的壳退成只读包盖的键;字面量读 `SEMA_SEGMENT_ID_KEY`(§35f) |
|
|
7626
|
+
| S-7 | **`/mcp` 面板读视图归包**(CC-03;server ≥7.77.0 S-297 可选键 `lastLegMcp`;A-093 ③):`projectMcpPanel(body)` + `mcpPanelLastLegDetail(view, { reachable })` | 渲 `GET /v1/sessions/:id/mcp` 的端经本包读,壳只渲**并排两块**;🔴 禁与 `servers[]` 对账渲「不一致」(契约 G.7 ④)(§35g) |
|
|
7627
|
+
|
|
7628
|
+
**共同形**:这一批四件都不是「新能力」,是**同一句话在几层里各说了一遍**。S-1/S-2 是判决与状态机,
|
|
7629
|
+
S-3 是一个字面量,S-4 是一个 builder。收编的判据也只有一条:**源码里还有没有第二个算式** ——
|
|
7630
|
+
所以本批的门(`run-segment-authority-single-source-test.mjs` ⑥ 段)锚的是「剥注释后的源码里那条
|
|
7631
|
+
判据串零命中」,而不是「行为还对不对」(两份独立实现对同一输入本来就会给同一答案,行为面
|
|
7632
|
+
对「有没有第二份真相」零判别力)。
|
|
7633
|
+
|
|
7634
|
+
**出处**:cli 审计 A-093 的同族结论(「壳不该持有第二份真相」)+ L-318 / L-316 / L-61。
|
|
7635
|
+
|
|
7636
|
+
---
|
|
7637
|
+
|
|
7638
|
+
### 35b. S-1 判决单源 `resolveTextSegmentAuthority`
|
|
7639
|
+
|
|
7640
|
+
```ts
|
|
7641
|
+
import { resolveTextSegmentAuthority } from '@sema-agent/client-core'
|
|
7642
|
+
|
|
7643
|
+
const v = resolveTextSegmentAuthority(textEnd.content, {
|
|
7644
|
+
committedPrefix, // 本段**已经撤不回**的那一截(跨工具卡/消息边界**相加**,不是二选一)
|
|
7645
|
+
openSegment, // 本段还押在端手里、可以改的那一截
|
|
7646
|
+
})
|
|
7647
|
+
switch (v.form) {
|
|
7648
|
+
case 'untouched': break // (d)/(f):本端零经手 ⇒ 什么都不做
|
|
7649
|
+
case 'replace_tail': replaceUnsent(v.tail); break // (a)/(b1)/(c)/(e)
|
|
7650
|
+
case 'withhold': dropUnsent(); disclose(v.committedPrefixLen); break // (b2)
|
|
7651
|
+
}
|
|
7652
|
+
```
|
|
7653
|
+
|
|
7654
|
+
🔴 三条**必须照搬**的纪律(每一条都是 0.68.1 异源对抗复审实抓出来的):
|
|
7655
|
+
|
|
7656
|
+
1. **判据锚是 `content.startsWith(committedPrefix)`,不是「有没有 flush 过」**。后者是前置条件;
|
|
7657
|
+
锚错会把一条**完全正常**的 b1(前缀对得上)判成 b2,把用户的终答整段扣掉还附一条错的披露行。
|
|
7658
|
+
2. **`committedPrefixLen` 的单位是 JS 字符串长度(UTF-16 代码单元)**,不是 UTF-8 字节、也不是
|
|
7659
|
+
「几条消息/几条帧」。按字节截会在任何非 ASCII 正文上截错位置——把要脱的那一段**原样留在屏上**
|
|
7660
|
+
还附带乱码。
|
|
7661
|
+
3. **`committedPrefix` 必须是相加后的那一份**。openai 车道的 `text_end` 在 `finalize()` 里才发,
|
|
7662
|
+
而工具卡先执行 ⇒ 一段散文可以跨过两张卡、每张带走一截;少算任何一截,判据就会在没分歧的
|
|
7663
|
+
常态上误判。
|
|
7664
|
+
|
|
7665
|
+
⚠️ **本包自己的落账没有变**:`textStream.replaceAnswerSegment` 的 handOffOnly(段跨过包侧消息
|
|
7666
|
+
边界、且已提交那截自己也过期 ⇒ 只发信号、不动任何既有行为)、活体尾巴重算、封存、终答补差账
|
|
7667
|
+
同步——**一行未动**。判决归一,落账不归一:两条车道的账本按**不同的边界**切(消息 vs 帧),
|
|
7668
|
+
把落账也归一就是改掉其中一条车道的既有行为。
|
|
7669
|
+
|
|
7670
|
+
---
|
|
7671
|
+
|
|
7672
|
+
### 35c. S-2 print 形段账 `createTextSegmentLedger`
|
|
7673
|
+
|
|
7674
|
+
四个动作,对应端上四个真实发生的事实:
|
|
7675
|
+
|
|
7676
|
+
| 动作 | 什么时候调 | 不调的后果(都实测过) |
|
|
7677
|
+
|---|---|---|
|
|
7678
|
+
| `noteFlushed(text)` | 叙述搭上 tool_use 那条 assistant 帧发走的那一拍 | 前缀少算 ⇒ 正常段被误判成 b2 |
|
|
7679
|
+
| `applyTextEnd(content, openSegment)` | 引擎明说段结束 | —— (本体) |
|
|
7680
|
+
| `closeSegmentAccount()` | ① durable 整块 `text` 臂取代本车道的段;② 模型轮收口(`turn_end`);③ 终局 flush | ② 不清账 ⇒ 引擎省掉 `text_end` 又继续下一轮时,**下一轮的正常终答被整段清掉** |
|
|
7681
|
+
| `repeatsWithheldSegment(candidate)` | 终局零 delta 兜底臂开火前 | 同一段话上屏两遍(前半截还留着两个版本) |
|
|
7682
|
+
|
|
7683
|
+
🔴 `repeatsWithheldSegment` 的判据是**规范化(`trim`)后逐字相等**,不是子串关系:短串碰撞会
|
|
7684
|
+
**误挡**(另一段独立终答只要提到同一个脱敏标记就被整条挡掉),而引擎的 `assembleResult` 会 trim
|
|
7685
|
+
最终正文 ⇒ 子串关系又会**漏挡**。
|
|
7686
|
+
|
|
7687
|
+
🔴 本台账**不持有正文块**:块对象身份锚(封存点属于哪一个块)留在端上——那是 CC 帧形的事。
|
|
7688
|
+
|
|
7689
|
+
---
|
|
7690
|
+
|
|
7691
|
+
### 35d. S-3 `memoryCaptureDeclarationField` / S-4 `engineHttpTools`
|
|
7692
|
+
|
|
7693
|
+
```ts
|
|
7694
|
+
// S-3:端只交意图位,值由本层唯一铸(拼错的隐私声明由 buildTaskRequest 响亮拒,不静默删键)
|
|
7695
|
+
// 🔴 **求值时刻属端,而且不是随便挑的**:这一位是**时效键**(会话级、单向、不可逆),必须与
|
|
7696
|
+
// 「这一发提交到哪条会话」**同一拍**求值。cli 的落点是它的出站转换函数(与 capturedSessionId
|
|
7697
|
+
// 同拍),**不是**请求构造那一刻 —— 构造完到提交之间有真实等待窗(就绪门 / 退避 / 后台请求跨
|
|
7698
|
+
// `/resume`),窗内换了会话就会把 A 的声明写到 B 头上(本批异源对抗复审 r2 [high] 实复现)。
|
|
7699
|
+
Object.assign(outgoingBody, memoryCaptureDeclarationField(declaredForCurrentSession()))
|
|
7700
|
+
|
|
7701
|
+
// S-4:原样转口(同一函数引用;端别在外面包一层)
|
|
7702
|
+
import { engineUrl, probeHealth, type ProbeHealthResult } from '@sema-agent/client-core'
|
|
7703
|
+
```
|
|
7704
|
+
|
|
7705
|
+
🔴 S-3 的 `false` ⇒ **整键缺席**,不是 `{ memoryCapture: undefined }`、更不是某个「on」值:
|
|
7706
|
+
wire 上压根没有那个值(单成员闭集),缺席**就是**「照常采集」的唯一写法。
|
|
7707
|
+
|
|
7708
|
+
🔴 S-4 为什么可以做**值级**转口,而 core 的同类件不能:可移植门对包总入口做外部包**等值集** +
|
|
7709
|
+
`--platform=browser` 真打包。`@sema-agent/sdk` **本来就在**等值集里,且 SDK 的 `dist/health.js`
|
|
7710
|
+
实测**零 import**(传输走全局 `fetch` = web 标准);`@sema-agent/core` 的 barrel 值级拉
|
|
7711
|
+
`node:crypto`/`node:fs`/`node:path`,一条那样的边会把整台引擎焊进 web/desktop 的产物 ⇒ core 那一族
|
|
7712
|
+
只能走**端口注入**形(`hitl/editedRuleTextPrecheck.ts` 的先例)。分界线是「这个外部包在不在等值集里」,
|
|
7713
|
+
不是「它是不是纯函数」。
|
|
7714
|
+
|
|
7715
|
+
---
|
|
7716
|
+
|
|
7717
|
+
### 35e. S-5 SDK wire 面转口 `sdkWireTransit`(L-61 存量清零)
|
|
7718
|
+
|
|
7719
|
+
```ts
|
|
7720
|
+
import { AgentClient, isApprovalRequestFrameV1, type AgentEvent } from '@sema-agent/client-core'
|
|
7721
|
+
```
|
|
7722
|
+
|
|
7723
|
+
🔴 **为什么是「原样转口」而不是「包一层」**:包一层就把「同一实现/同一型」这条唯一的抗漂移保证
|
|
7724
|
+
亲手拆掉。门(`run-segment-authority-single-source-test.mjs` ④/④b 段)按 **同一函数引用**(`===`)
|
|
7725
|
+
断言,不是「能调通」。
|
|
7726
|
+
|
|
7727
|
+
🔴 **射程边界(写明,别当成 SDK 全量镜像)**:型面只收端上**存量**实际用到的那些名字;权威恒是
|
|
7728
|
+
`@sema-agent/sdk`,本转口口是别名 —— 上游改名时红在**一处**,而不是散在九个端文件里。
|
|
7729
|
+
|
|
7730
|
+
🔴 **新码不要用这一口**:本包自有的 `makeEngineWireClient` 才是推荐姿势(它带本包的 wire 目标解析
|
|
7731
|
+
与鉴权装配)。转口口存在的唯一理由是让**存量**有一条「经包」的路,而不是给新码开一扇直连 SDK 的门。
|
|
7732
|
+
|
|
7733
|
+
---
|
|
7734
|
+
|
|
7735
|
+
### 35f. S-6 段身份 `_sema_segment_id` / `segmentId`(CC-01)
|
|
7736
|
+
|
|
7737
|
+
**语义一句话**:一个身份覆盖「上一次段收口 → 本次段收口」之间过境的**全部** committed assistant 文本行。流开场一个初值;idle-flush 提交的半段与终态提交的同段**共享**一个身份(归属正要这个);`text_segment_end` 帧带的是轮换**前**的那个(与它盖过的行同值);臂处理完之后轮换;思考→回答边界**不**轮换;子流(带 `parentToolCallId`)的段边界不轮换。
|
|
7738
|
+
|
|
7739
|
+
**形**:派生自窗口首帧锚 + 窗口序号(`idOf(anchor, 'segment<n>')`)⇒ **同流重放同身份**(与行 `uuid` 同一条确定性纪律);锚缺席那一形(durable 整条消息先于任何增量到达)退到 `ctx.uuid()` 并**缓存一次**。
|
|
7740
|
+
|
|
7741
|
+
**铸点唯一** = `adapt()` 的出口(`TextStream.stampSegmentIdentity`):durable 整条消息(`assistant` 臂)与流式分段(M1 提交口)两条腿都从那里过。🔴 **只盖尾块是 `text` 的 assistant 行**:思考块、只带 `tool_use` 的行、chrome 事件一个字节不动;就地盖不复制(台账/宿主持有的引用仍是同一条)。
|
|
7742
|
+
|
|
7743
|
+
🔴 **它是转录格式键,不是 wire 键**:只落宿主转录,不进 provider 请求(顶层自铸键不外溢,与 `_sema_degraded` 同律)。缺席 = 「这条不属于任何引擎段」,不是「属于某个未知段」。
|
|
7744
|
+
|
|
7745
|
+
**端的义务**(持有转录并做权威替换的端;只渲活体流的端零义务):
|
|
7746
|
+
```ts
|
|
7747
|
+
import { SEMA_SEGMENT_ID_KEY } from '@sema-agent/client-core'
|
|
7748
|
+
// text_segment_end 到达且 committedPrefixDiverged 时,认「这一段交出去的那一行」:
|
|
7749
|
+
const mine = row.type === 'assistant' && row.uuid === committedUuid && row[SEMA_SEGMENT_ID_KEY] === ev.segmentId
|
|
7750
|
+
// 缺席即否:没盖过段身份的行永远不是这一段交的那一份(按字节相等找行会被同后缀的独立行冒充)
|
|
7751
|
+
```
|
|
7752
|
+
自铸段身份的端(cli ≤1.0.114 `stampSegmentIdentity`)退成**只读**包盖的键 —— 两个铸点会让归属两把钥匙对不上。
|
|
7753
|
+
|
|
7754
|
+
**判据**:`run-text-segment-authority-test.mjs` G 段(38 格;变异三发:去臂后轮换 / 出口不盖 / 盖到 tool_use 尾块,各红);diff 门对 cli 1.0.114 树由红转绿(段身份按结构别名归一)。
|
|
7755
|
+
|
|
7756
|
+
---
|
|
7757
|
+
|
|
7758
|
+
### 35g. S-7 `/mcp` 面板读视图 `projectMcpPanel`(CC-03)
|
|
7759
|
+
|
|
7760
|
+
```ts
|
|
7761
|
+
import { projectMcpPanel, mcpPanelLastLegDetail } from '@sema-agent/client-core'
|
|
7762
|
+
const view = projectMcpPanel(body) // body = GET /v1/sessions/:id/mcp 的 200 体(unknown)
|
|
7763
|
+
const line = mcpPanelLastLegDetail(view, { reachable }) // 一行措辞唯一铸点(五句逐字互异)
|
|
7764
|
+
```
|
|
7765
|
+
|
|
7766
|
+
**缺席语义逐键**:
|
|
7767
|
+
| 键 | 在场 | 缺席 |
|
|
7768
|
+
|---|---|---|
|
|
7769
|
+
| `view` 本身 | 面板体读得出(`asOf` 非空串 ∧ `servers` 是数组 ∧ 非空输入至少一行幸存) | 必填位坏 / 非空零幸存 ⇒ `undefined`(「我读不出来」不是「我知道是零」) |
|
|
7770
|
+
| `servers[]` 行 | `name` + `status` 必需(`status` **按开集读**);`serverInfo` / `toolNames` / `error` 逐键挑,形坏只丢该键 | 坏行只丢自己;`[]` = 一台都没配(正面事实) |
|
|
7771
|
+
| `degraded` | `true`(never false)= materialize 超时/失败,`servers` 空但**不是**「没有 MCP」 | 正常 materialize |
|
|
7772
|
+
| `lastLegMcp` | `{ runId, at, mcp[] }`;`mcp[]` 与 `wiring_manifest` 第三段**同一只读器**(`projectMcpSection`,同形同缺席律) | server 三形同形(新会话 / 最近腿账本行在保留窗外 / 该腿没推 manifest)**或**引擎 <7.77.0 —— 视图不铸键,「为什么缺席」不猜 |
|
|
7773
|
+
| `lastLegMcpUnreadable` | `true`(never false)= server 送了 `lastLegMcp` 但本视图读不出(`runId`/`at` 非非空串、`mcp` 读不出一行、值是 null) | 缺席 = 没这回事 |
|
|
7774
|
+
|
|
7775
|
+
🔴 **两面合法可不同**(契约 G.7 ④;server 判据 LL-2):`servers[].name` 与 `lastLegMcp.mcp[].name` 是两张表(部署缺省场景 vs 按请求注入的名册),视图上**没有**任何「一致/不一致」位,五句措辞没有一句提到 `servers`。端渲并排两块,不对账。
|
|
7776
|
+
|
|
7777
|
+
**五句措辞**(黑盒锚,逐字互异):① 在场 `last leg mcp: <名册, 封顶 8 个 +N more> (run <runId>, at <at>)`;② `reachable:false` ⇒ 「not observed」;③ 面板体读不出 ⇒ 「unreadable (the MCP panel body …)」;④ 整键缺席 ⇒ 「not reported (no leg in the retention window, no manifest on the last leg, or the engine predates it)」—— 不武断咎为版本;⑤ 在场读不懂 ⇒ 「unreadable (the engine sent a shape …)」。
|
|
7778
|
+
|
|
7779
|
+
**传输口**:本批只收读视图;取面板体的 HTTP 口候 sdk 9.4.0(`McpStatusPanel.lastLegMcp?` 型面 + 若带客户端方法则换钉),未带前端经 sdk 基座 GET 取体、交本函数读。
|
|
7780
|
+
|
|
7781
|
+
**判据**:`run-mcp-panel-projection-test.mjs`(59 格;sdk `openapi.yaml` `McpStatusPanel` required `[asOf, servers]` 真字节;变异三发:读不懂折缺席 / 措辞对账 / 不走同一读器,各红)。
|
|
7782
|
+
|
|
7783
|
+
---
|
|
7784
|
+
|
|
7785
|
+
### 35z. 逐键处置表(0.68.2)
|
|
7786
|
+
|
|
7787
|
+
| # | 键 / 面 | 处置 | 坐标 / 理由 |
|
|
7788
|
+
|---|---|---|---|
|
|
7789
|
+
| 1 | `text_end` 六形判决(`startsWith` 锚 / UTF-16 单位 / 前缀相加) | **consumed** | `src/adapt/textSegmentAuthority.ts` 的 `#resolveTextSegmentAuthority`;`src/adapt/textStream.ts` 的 `#replaceAnswerSegment` 改调它;门 `run-segment-authority-single-source-test.mjs` ①/①'/⑥ |
|
|
7790
|
+
| 2 | print 形段账(前缀累加 / 三处清账 / 被扣段判重) | **consumed** | `src/adapt/textSegmentAuthority.ts` 的 `#createTextSegmentLedger`;门 ② 段 |
|
|
7791
|
+
| 3 | `textStream` 的 handOffOnly(跨包侧消息边界只发信号) | **declined**(刻意不归一) | 它是**交互车道专属的落账语义**(0.68.1 轮五 finding② 的基线对照结论);print 车道的 stdout 只进不退,没有那一形。归一 = 改掉一条车道的既有行为 |
|
|
7792
|
+
| 4 | `memoryCapture: 'off'` 字面铸点 | **consumed** | `src/request/taskRequest.ts` 的 `#MEMORY_CAPTURE_OFF` / `#memoryCaptureDeclarationField`;门 ③ 段 |
|
|
7793
|
+
| 5 | 中途翻转 verb `POST /v1/runs/:id/memory/capture-optout` | **pending**(L-286②) | 仍是包侧缺口:七种 typed 结局的处置表是三端公共判定,归本包;本批只收声明形的铸点 |
|
|
7794
|
+
| 6 | `engineUrl` / `probeHealth` / `ProbeHealthResult` | **consumed** | `src/engineHttpTools.ts`(原样 re-export);门 ④ 段(同一函数引用) |
|
|
7795
|
+
| 7 | SDK `AgentClient` 类本体 + 流内审批帧谓词 | **consumed**(改口) | `src/sdkWireTransit.ts`(原样 re-export)。**改口的理由**:此前记 declined,理由是「转口一个客户端类 = 本包为它的连接姿势/鉴权头/重试语义背书」——那条顾虑**仍然成立**,但它指向的是「端该不该直接 new 一个 `AgentClient`」这个**设计问题**,而把它与「这条 import 该不该经本包」这个**归层问题**绑在一起,代价是归层被一个未排期的设计件无限期挡住(cli 存量窗已因此过期两代;clay 令 C-R43「所有欠账绝不延期」)。⇒ 分开处理:归层现在做,设计件照旧欠着 —— 新码一律走本包自有的 `makeEngineWireClient`,转口口**只给存量**用(写在模块头注里,不靠人记得) |
|
|
7796
|
+
| 8 | SDK wire **型面**(`AgentEvent` / `TaskRequest` / `SemaSettings` / `SkillSpec` / `RunReceipt` / `CancelAck` / `RunRecord` / `ToolApprovalRespondAck` / `FleetTaskRow` / `FleetWorkflowRow` / 审批帧五型) | **consumed**(射程写明) | `src/sdkWireTransit.ts` 的 `export type` 段。🔴 **只收端上存量实际用到的那些名字,一个不多** —— 全量镜像是另一件事(会把本包 `.d.ts` 与 SDK 每一次型面改动绑死),与 `@sema-agent/agent-types` 的 **CC 形**全量镜像也不是一回事。权威恒是 SDK 本身;本文件是别名,上游改名 ⇒ 这里当场编译红(红在一处,不是散在九处)|
|
|
7797
|
+
| 9 | `@sema-agent/core` 的**值级**面(cli `core-value` 桶 4 条:`resolveAutonomousLoopPrompt` / `loosenReasons` / `combinePolicies`+`createAllowDenyPolicy` / `MCP_NAMESPACE`+`RETIRED_TOOL_NAMES`+`protocolOf`+`ruleToolGrammarOf`+`validatePermissionRules`) | **blocked**(上游缺口,逐条签名见 cli 回执) | 🔴 **结构性挡死,不是没排期**:core 的 barrel 值级拉 `node:crypto`/`node:fs`/`node:path`,而本包的可移植门是外部包**等值集** + `--platform=browser` 真打包 ⇒ 值级 re-export 会把整台引擎焊进 web/desktop 产物。唯一可用形 = **端口注入**(`hitl/editedRuleTextPrecheck.ts` 先例:包声明端口 + 诚实缺席读口,宿主装 core 的真实现),但它要求宿主有一个**可登记的装配根** —— 那是 cli 侧的决策(装在哪个文件、那个文件的 core 直连怎么登记),不是本包能单方面解的 |
|
|
7798
|
+
| 10 | 段身份 `_sema_segment_id`(转录行顶层)/ `segmentId`(`text_segment_end`) | **consumed** | `src/adapt/textStream.ts` 的 `#SEMA_SEGMENT_ID_KEY` / `#stampSegmentIdentity` / `#rotateSegmentIdentity`;`src/adapt.ts` 的 `#adapt` 出口;`src/adapt/arms.ts` 的 `#textSegmentEndArm`;门 `run-text-segment-authority-test.mjs` G 段;`docs/type-superset.json` 登记 |
|
|
7799
|
+
| 11 | 壳侧自铸段身份(cli `upstreamBridge.stampSegmentIdentity`) | **declined**(退役归端) | 铸点唯一在包;cli 1.0.115/1.0.116 退成只读(cli L-322) |
|
|
7800
|
+
| 12 | `/mcp` 面板体 `asOf` / `servers[]` / `degraded` | **consumed** | `src/mcpPanel.ts` 的 `#projectMcpPanel`;门 `run-mcp-panel-projection-test.mjs` A/B/D/E 段 |
|
|
7801
|
+
| 13 | `/mcp` 面板可选键 `lastLegMcp{runId,at,mcp[]}`(server 7.77.0 S-297) | **consumed** | 同上 `#projectLastLeg`;`mcp[]` 走 `src/adapter/downstream/eventToSdkMessage.ts` 的 `#projectMcpSection`(转公面);缺席 = 键不铸、读不懂 = `lastLegMcpUnreadable` |
|
|
7802
|
+
| 14 | `lastLegMcp` 与 `servers[]` 的对账/告警位 | **declined**(契约 G.7 ④) | 两面合法可不同;视图零对账位、措辞不提 servers;门 F/G6 段 |
|
|
7803
|
+
| 15 | 面板体的 HTTP 传输口(sdk 客户端方法) | **pending**(候 sdk 9.5) | sdk 9.4.0 无该端点调用口;带则换钉,否则本包经 sdk 基座 GET 转口(独立小件) |
|
|
7804
|
+
| 16 | `reasoning_end` 权威段(server 7.77.0 S-310;sdk 9.4.0 `SegmentEndFields`) | **pending**(CC-02,0.68.3) | 本包 thinking 块接 `text_end` 同一套替换律;随 sdk 9.4.0 换钉同批 |
|
|
7805
|
+
|
|
7806
|
+
### 35y. 🔴 三端升级必读(固定段式,[C295];本批**四条**)
|
|
7807
|
+
|
|
7808
|
+
1. 🔴 **段身份归包(S-6)**:`text_segment_end` 事件新带**必在** `segmentId`(与既有 `eventId` 不同:一个是本包段身份,一个是引擎事件身份),committed assistant **文本**转录行顶层新带 `_sema_segment_id`(本包在 `adapt()` 出口盖;思考块 / 只带 `tool_use` 的行 / chrome 事件一个字节不动)。
|
|
7809
|
+
· **持有转录并做权威替换的端**(cli):认「这一段交出去的那一行」改用**两把钥匙** —— 行 `uuid` ∧ 行上 `_sema_segment_id === ev.segmentId`,缺席即否;自铸段身份的壳退成**只读**包盖的键(两个铸点会让两把钥匙对不上)。
|
|
7810
|
+
· **只渲活体流的端**(web / desktop 当前形)零义务,但落盘转录时请**原样保留**该键(只加不减)。
|
|
7811
|
+
· 既有三键(`diverged` / `committedPrefixDiverged` / `committedPrefixLen`)与 §34e ① 义务一字未变。
|
|
7812
|
+
2. **`/mcp` 面板经包读(S-7)**:渲 `GET /v1/sessions/:id/mcp` 的端改调 `projectMcpPanel(body)`,那一行措辞由 `mcpPanelLastLegDetail(view, { reachable })` 出(五句逐字互异);并排两块,**不对账**。未渲面板的端零义务。
|
|
7813
|
+
3. **print 形宿主用 `createTextSegmentLedger` 不自拼(S-2)**:`-p` / web / desktop 这类自己缝 delta 成帧的车道,已出门前缀、三处清账、被扣段判重三本账全在包里;端只留「尾段写进哪个 content block」。
|
|
7814
|
+
4. **`memoryCaptureDeclarationField` 的求值在提交那一拍(S-3)**:它是时效键(会话级、单向、不可逆),端在 `buildTaskRequest` 调用那一拍取意图位,不在会话构造时冻结;转口两模块(`engineHttpTools` / `sdkWireTransit`)是 sdk **原样再导出**(同一函数引用),端别在外面包一层。
|
|
7815
|
+
|
|
7816
|
+
**包侧缺口:** ① 面板体 HTTP 传输口候 sdk 9.5(35z #15);② `reasoning_end` 包侧半场 CC-02(0.68.3,35z #16);③ 中途翻转 verb 的七种 typed 结局处置表(35z #5,L-286②);④ 跨消息那几形的分段根治(§34z 留白不变)。
|