@sema-agent/client-core 0.68.1 → 0.68.2

package/dist/adapt/textStream.js

@@ -1,5 +1,32 @@
 import { chrome, MAIN, transcript, messageIdentityOf } from './ids.js';
 import { estimateCjkTokens, FLUSH_INTERVAL_MS } from './wireShapes.js';
+// L-318:六形判决单源(两条车道同吃;落账各归各层,见 textSegmentAuthority.ts 头注)。
+import { resolveTextSegmentAuthority } from './textSegmentAuthority.js';
+/**
+ * **段身份键**(CC-01,0.68.2)—— 打在 committed assistant **文本**转录行**顶层**的 `_sema_` 超集键。
+ *
+ * ── 为什么有它(归层修,不是新功能)──────────────────────────────────────────────────────────
+ * `text_segment_end` 到达时若已提交前缀自己也过期(`committedPrefixDiverged`),宿主要在**自己持有的**
+ * 转录里找出「这一段交出去的那一行」把它换掉。按字节相等去找会被**同后缀的独立行**冒充(实撞过);
+ * 按 uuid 找只证明「是这一行」,不证明「是这一段的」。⇒ 归属要两把钥匙:行身份(`uuid`)∧ **段身份**。
+ * 段身份此前由壳在自己的过境口铸(先壳后包);段的边界(开场 / 收口 / 轮换)本来就只有本模块知道,
+ * 铸点归这里,壳只读。
+ *
+ * ── 语义(一句话)────────────────────────────────────────────────────────────────────────────
+ * **一个身份覆盖「上一次段收口 → 本次段收口」之间过境的全部 committed 文本行**:流开场一个初值;
+ * idle-flush 提交的半段与终态提交的同段共享一个身份(归属正要这个);`text_segment_end` 臂处理完之后
+ * 轮换(帧上带的是轮换**前**的那一个,与它盖过的行同值);思考→回答边界**不**轮换;子流(带
+ * `parentToolCallId`)的段边界不轮换(它们不产 leader 事件,见臂头注)。
+ *
+ * ── 铸法与形 ──────────────────────────────────────────────────────────────────────────────
+ * 派生自本窗口的**第一帧**锚 + 窗口序号(`idOf(anchor, 'segment<n>')`)⇒ **同流重放同身份**
+ * (与 committed 行的 uuid 同一条确定性纪律;宿主的双跑对拍门靠它)。🔴 它是**转录格式**上的键,
+ * 不是 wire 键:只出现在宿主落盘的转录行上,不进 provider 请求(顶层自铸键不外溢,与
+ * `_sema_degraded` 同律)。🔴 **只盖尾块是 `text` 的 assistant 行**:只带 `tool_use` 的行永远不可能是
+ * 替换目标,盖了只是往转录里加噪;思考块同理。缺席 = 「这条不属于任何引擎段」,不是「属于某个未知段」。
+ * 🔴 **只加不减**:非本形消息一个字节不动。
+ */
+export const SEMA_SEGMENT_ID_KEY = '_sema_segment_id';
 /**
  * 件 A(#323 症状①)判据 (b) 的句末字符集 —— 中英文各一套,**闭集**(开集匹配会把「代码里的点」
  * 之外的一切标点都当句末,等于没收紧)。换行单独在 {@link endsAtSentenceBoundary} 里判(段末)。
@@ -109,6 +136,18 @@ export function createTextStream(ctx, idOf) {
     /** committed 消息的 id 锚 —— 该段/该思考块的**第一帧**(重放确定性:同流同 id)。 */
     let segmentAnchor = null;
     let thinkingAnchor = null;
+    /**
+     * 段身份窗口(见 {@link SEMA_SEGMENT_ID_KEY} 头注):窗口的第一帧锚 + 序号 + 派生结果缓存。
+     * 🔴 缓存不是优化:锚缺席那一形派生落到 `ctx.uuid()`,不缓存的话同一窗口两次读会得到两个身份。
+     */
+    let segmentWindowAnchor = null;
+    let segmentWindowSerial = 0;
+    let segmentIdCache = null;
+    const segmentIdNow = () => {
+        if (segmentIdCache === null)
+            segmentIdCache = idOf(segmentWindowAnchor ?? {}, `segment${segmentWindowSerial}`);
+        return segmentIdCache;
+    };
     /** 提交累积的思考块(cli takeThinking:committed 形 + 关活体块 + 收活动行)。 */
     function* takeThinking() {
         if (thinking.length === 0)
@@ -225,11 +264,15 @@ export function createTextStream(ctx, idOf) {
             // L-310:已封存的定稿段也算「这条消息已经开了头」⇒ 锚不重置(同流重放同 id)。
             if (answerSegment.length === 0 && segmentSealed.length === 0)
                 segmentAnchor = frame;
+            if (segmentWindowAnchor === null)
+                segmentWindowAnchor = frame;
             answer += delta;
             answerSegment += delta;
             textPending += delta;
         },
         *feedThinking(delta, frame) {
+            if (segmentWindowAnchor === null)
+                segmentWindowAnchor = frame;
             if (thinking.length === 0) {
                 thinkingAnchor = frame;
                 // P2d:elapsed 锚在**首条** leader 推理增量(token 累计由 stream_delta.estimatedTokens
@@ -255,20 +298,29 @@ export function createTextStream(ctx, idOf) {
              *    而权威全文又被完整提交一次(同一段话上屏两遍 + 明文没人清)。实测复现过。
              */
             const livePrefix = previousSegmentCommitted + segmentCommitted;
-            // 🔴 **本包一个字节都没经手这一段 ⇒ 什么都不做**(形 (f);#323-g 那条正控守的就是这一形)。
-            //    可达形两条,都不是「流式段边界」:① durable 内容腿(`assistant` 臂的整块 `text`)——
-            //    那一帧本身就是一整条 assistant 消息、已经铸过 transcript 行,随后到的 `text_end` 若在这里
-            //    把 `content` 塞进段缓冲,turn 收口就会**再铸一条一模一样的**;② 宿主只喂 `text_end`、
-            //    不喂 `text_delta` 的自建管线。共同事实 = 没有可替换的对象,而替换的语义是**换掉本包自己
-            //    缝合出来的那一段**,不是「凭空铸一段」。
-            //    (durable 腿本身不缺脱敏:server 的 `text` 行在写口与读口各脱一次,见契约 §5.1。)
-            if (livePrefix.length === 0 && prevSegment.length === 0) {
+            /**
+             * 🔴 **判决单源**(L-318,0.68.2):六形判据整只让位给 `adapt/textSegmentAuthority.ts` 的
+             *    {@link resolveTextSegmentAuthority} —— 与 `-p` 形车道(宿主的 CC stdout 投影器)吃的是
+             *    **同一只**。修前这里是本包这一份,壳里另有逐形对照的第二份(cli 1.0.114 B-122 热修),
+             *    上游改口时两边各走各的。判据语义**逐字未变**:
+             *      · 形 (f)「本层一个字节都没经手」⇒ `form: 'untouched'`,三位全报否;
+             *      · `diverged` = 缝出来的那一段 ≠ 权威全文;
+             *      · `committedPrefixLen` = 已撤不回那一截的 UTF-16 长度;
+             *      · `committedPrefixDiverged` 锚 `content.startsWith(前缀)`(不锚「有没有 flush 过」)。
+             *    **落账仍归本模块**:下面的 handOffOnly / 活体尾巴重算 / 封存 / 补差账同步,一行未动
+             *    (两条车道的账本形状不同,理由见 textSegmentAuthority.ts 头注「判决与落账刻意分家」)。
+             */
+            const verdict = resolveTextSegmentAuthority(content, {
+                committedPrefix: livePrefix,
+                openSegment: prevSegment,
+            });
+            if (verdict.form === 'untouched') {
                 return { diverged: false, committedPrefixLen: 0, committedPrefixDiverged: false };
             }
             const liveSegment = livePrefix + prevSegment;
-            const diverged = liveSegment !== content;
-            const committedPrefixLen = livePrefix.length;
-            const committedPrefixDiverged = committedPrefixLen > 0 && !content.startsWith(livePrefix);
+            const diverged = verdict.diverged;
+            const committedPrefixLen = verdict.committedPrefixLen;
+            const committedPrefixDiverged = verdict.committedPrefixDiverged;
             /**
              * 🔴 **段跨过包侧边界、而且已提交那截自己也过期** ⇒ 本模块**一个字节都不动**(只发信号)。
              *
@@ -326,7 +378,9 @@ export function createTextStream(ctx, idOf) {
                 }
             }
             else {
-                segmentSealed += content.slice(committedPrefixLen);
+                // L-318:尾段切片也走判决那一份(`content.slice(committedPrefixLen)` 逐字等价),
+                // 免得「怎么切」这件事在两条车道上各留一个算式。
+                segmentSealed += verdict.tail;
             }
             answerSegment = '';
             // ── ③ `answer`(D8 调试行的长度读位)跟着换尾 —— 只在尾巴真对得上时换 ──────────────────
@@ -366,6 +420,29 @@ export function createTextStream(ctx, idOf) {
             if (typeof committed === 'string')
                 committedText += committed;
         },
+        segmentId: segmentIdNow,
+        rotateSegmentIdentity: (anchor) => {
+            segmentWindowSerial += 1;
+            segmentWindowAnchor = anchor;
+            segmentIdCache = null;
+        },
+        stampSegmentIdentity: (out) => {
+            if (out.plane !== 'transcript')
+                return out;
+            // ⚠️ 局部名刻意不叫 `msg`/`content`:message-branching 门把 `msg.message` 读成「错误文案」,
+            //    并按名字把污染扩到整个文件 —— 同名的 `content.startsWith` 会被误判成按文案分支。
+            const row = out.message;
+            if (row.type !== 'assistant')
+                return out;
+            const blocks = row.message?.content;
+            if (!Array.isArray(blocks) || blocks.length === 0)
+                return out;
+            const last = blocks[blocks.length - 1];
+            if (last === undefined || last.type !== 'text' || typeof last.text !== 'string')
+                return out;
+            out.message[SEMA_SEGMENT_ID_KEY] = segmentIdNow();
+            return out;
+        },
         beginAssistantMessage: () => {
             if (committedText.length > 0)
                 previousCommittedText = committedText;

package/dist/adapt.js

@@ -203,7 +203,20 @@ class WireToCcAdapterImpl {
         // 壳 B4 的队列端口回钩仍可调它 —— 三条入队链本来就写同一个集合,回钩因此变成幂等 no-op。
         noteWorkflowCompletionCardEnqueued(runId);
     }
+    /**
+     * CC-01(0.68.2):`adapt()` 的**出口单点** —— 每条产出过境时由 M1 盖段身份
+     * ({@link TextStream.stampSegmentIdentity};只盖 committed assistant 文本行,其余原样)。
+     * 放在出口而不放在各铸点:durable 整条消息(`assistant` 臂)与流式分段(M1 提交口)是两条腿,
+     * 归属键必须两条腿都盖,而「过境」是它们唯一的公共点(壳此前也正是在自己的过境口盖的)。
+     * 🔴 只包一层转发,不改内层的手动 `next()` 竞速与 abort 语义(T40/T58 全在内层)。
+     */
     async *adapt(frames, ctx) {
+        const slot = {};
+        for await (const out of this.adaptUnstamped(frames, ctx, slot)) {
+            yield slot.text === undefined ? out : slot.text.stampSegmentIdentity(out);
+        }
+    }
+    async *adaptUnstamped(frames, ctx, slot) {
         // FIX-05:实例台账走**唯一一条**显式路径(拆分前是 `self.` / `this.` 两条)。
         const inst = this.ledger;
         const turnStartAt = ctx.now();
@@ -211,6 +224,7 @@ class WireToCcAdapterImpl {
         const idOf = makeIdOf(ctx);
         // ── M1 流合并器(矩阵 §1.1 的 12 行状态整体落 adapt/textStream.ts)────────────────────────
         const text = createTextStream(ctx, idOf);
+        slot.text = text;
         // ── M2 工具卡台账(矩阵 §1.2 的 3 行状态整体落 adapt/toolCards.ts)────────────────────────
         const cards = createToolCardLedger(ctx, idOf);
         // ── M3 面板行台账(矩阵 §1.3 的 6 行状态 + 五个闭包整体落 adapt/panelTasks.ts)──────────

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

@@ -231,6 +231,25 @@ export interface WiringManifestMcpEntry {
      */
     httpStatus?: number;
 }
+/**
+ * `wiring_manifest.mcp` 的形校验(S-124 / core 7.5.0,server ≥7.60.0)。
+ *
+ * 🔴 **空数组 ≠ 缺席,两者都要能被消费端分辨**(core 顶注逐字:"an empty array is *this leg
+ *    declared no servers*, absence is an older mint or an external derivation")⇒ **真的**空数组
+ *    原样铸成 `[]`。把它折成缺席 = 把「我一台都没申报」这句**正面事实**说成「不知道」。
+ * 🔴 **但「过滤后为空」不是「原本就是空」**(异源对抗复审 r1 [medium] 采纳,真病):一份
+ *    `[{name:'github', errorCode:'http_503'}]`(缺 `status`)进来时,唯一那一行被下面的逐行判据
+ *    丢掉 —— 若照样铸出 `[]`,消费端按本臂的义务④读到的是**「这条腿一台都没申报」这句肯定话**,
+ *    一份读不懂的回体就此被伪装成一个确定的零申报。⇒ **非空输入而零行幸存 ⇒ 整段缺席**
+ *    (「我读不出来」不是「我知道是零」)。这与下面「逐条独立」并不矛盾:只要**还有幸存者**,
+ *    半张表仍是真读数,坏行照旧只丢自己。
+ * 🔴 **逐条独立**:一条坏行只丢自己(与 server 侧 `continue` 同判据),绝不因为一条坏行丢整表。
+ * 🔴 **逐键挑,禁 spread**:core 往条目上加新键时必须由人显式处置 —— 而它下一个加的很可能又是
+ *    一个像 `error` 那样的自由文本面。(0.60.0 按此显式处置了 S6-B 的 `delivered` / `httpStatus`。)
+ * ⚠️ `toolCount` 按**有限数**判(`Number.isFinite`),不按真值判:`0` 是合法读数(连上了、零工具),
+ *    折成缺席会让「连上了但没工具」与「没报」在消费端同形。
+ */
+export declare function projectMcpSection(raw: unknown): WiringManifestMcpEntry[] | undefined;
 /**
  * CS-7 §2.7 — turn_end usage → CC `ModelUsage` (pinned name mapping;
  * costMicroUsd/1e6 → costUSD). Surfaced separately because the slice has no

package/dist/adapter/downstream/eventToSdkMessage.js

@@ -964,7 +964,7 @@ function textEndProjection(ev, ctx) {
  * ⚠️ `toolCount` 按**有限数**判(`Number.isFinite`),不按真值判:`0` 是合法读数(连上了、零工具),
  *    折成缺席会让「连上了但没工具」与「没报」在消费端同形。
  */
-function projectMcpSection(raw) {
+export function projectMcpSection(raw) {
     if (!Array.isArray(raw))
         return undefined;
     const rows = [];

package/dist/engineHttpTools.d.ts

@@ -0,0 +1,31 @@
+/**
+ * src/engineHttpTools.ts — SDK **纯工具面**的转口口(L-61 / L-318 件④,0.68.2)。
+ *
+ * ── 病形(为什么要有这一只)──────────────────────────────────────────────────────────────────
+ * 端对引擎 wire 的一切消费必须经本包(sdk-isolation 门公约),而 SDK 里有两件**纯工具**至今没有
+ * 经本包的路:
+ *   · `engineUrl(baseUrl, path)` —— 「URL 去尾斜杠 + 拼路径」的语义单真源(端自己拼字符串就会
+ *     在 `//v1/...` 这类形上各错各的);
+ *   · `probeHealth(baseUrl, timeoutMs?, fetchImpl?)` —— 引擎存活探针的单真源。
+ * 于是 cli 有 5 个产品文件**直连** `@sema-agent/sdk` 只为取这两件(sdk-isolation 存量册
+ * `sdk-value` 桶里那几条,`_retirement` 段逐字:「多数只取 engineUrl builder 一件」),web /
+ * desktop 接同一条腿时会再各直连一次。
+ *
+ * ── 为什么这一只可以做**值级**转口(与 core 判官那一只的分界)──────────────────────────────
+ * 可移植门(`run-client-core-portability-test.mjs`)对包总入口做两件事:外部包**等值集**
+ * `EXPECTED_PACKAGES_INDEX` + esbuild `--platform=browser` 真打一次包。
+ *   · `@sema-agent/sdk` **本来就在**那个等值集里(本包已有 5 处值级 SDK import)⇒ 加这一只
+ *     不改集合,只让闭包文件数 +1(棘轮按既有姿势逐件记账,见该门 `MAX_CLOSURE_FILES_INDEX` 头注);
+ *   · SDK 的 `dist/health.js` **零 import**(实测:整文件一条 `import`/`require` 都没有,传输走
+ *     全局 `fetch` = web 标准,不是 Node 内建)⇒ 浏览器打包面零风险。
+ * 🔴 对照:`@sema-agent/core` 的同类件**不能**这么做(`hitl/editedRuleTextPrecheck.ts` 头注逐字:
+ *    core 的 barrel 值级拉 `node:crypto`/`node:fs`/`node:path`,一条这样的边会把整台引擎焊进
+ *    web/desktop 的产物)—— 那一族走**端口注入**形。两者的分界线是「这个外部包在不在等值集里」,
+ *    不是「它是不是纯函数」。
+ *
+ * 🔴 **原样转口,一个字节都不加工**:本模块不包装、不改签名、不补默认值 —— 包一层就是把「同一
+ *    函数体」这条唯一的抗漂移保证亲手拆掉(与 `editedRuleTextPrecheck` 的装口纪律同一条)。
+ *    要在这两件之上加判定的那天,新开一个具名模块,别往转口口里塞。
+ */
+export { engineUrl, probeHealth } from '@sema-agent/sdk';
+export type { ProbeHealthResult } from '@sema-agent/sdk';

package/dist/engineHttpTools.js

@@ -0,0 +1,30 @@
+/**
+ * src/engineHttpTools.ts — SDK **纯工具面**的转口口(L-61 / L-318 件④,0.68.2)。
+ *
+ * ── 病形(为什么要有这一只)──────────────────────────────────────────────────────────────────
+ * 端对引擎 wire 的一切消费必须经本包(sdk-isolation 门公约),而 SDK 里有两件**纯工具**至今没有
+ * 经本包的路:
+ *   · `engineUrl(baseUrl, path)` —— 「URL 去尾斜杠 + 拼路径」的语义单真源(端自己拼字符串就会
+ *     在 `//v1/...` 这类形上各错各的);
+ *   · `probeHealth(baseUrl, timeoutMs?, fetchImpl?)` —— 引擎存活探针的单真源。
+ * 于是 cli 有 5 个产品文件**直连** `@sema-agent/sdk` 只为取这两件(sdk-isolation 存量册
+ * `sdk-value` 桶里那几条,`_retirement` 段逐字:「多数只取 engineUrl builder 一件」),web /
+ * desktop 接同一条腿时会再各直连一次。
+ *
+ * ── 为什么这一只可以做**值级**转口(与 core 判官那一只的分界)──────────────────────────────
+ * 可移植门(`run-client-core-portability-test.mjs`)对包总入口做两件事:外部包**等值集**
+ * `EXPECTED_PACKAGES_INDEX` + esbuild `--platform=browser` 真打一次包。
+ *   · `@sema-agent/sdk` **本来就在**那个等值集里(本包已有 5 处值级 SDK import)⇒ 加这一只
+ *     不改集合,只让闭包文件数 +1(棘轮按既有姿势逐件记账,见该门 `MAX_CLOSURE_FILES_INDEX` 头注);
+ *   · SDK 的 `dist/health.js` **零 import**(实测:整文件一条 `import`/`require` 都没有,传输走
+ *     全局 `fetch` = web 标准,不是 Node 内建)⇒ 浏览器打包面零风险。
+ * 🔴 对照:`@sema-agent/core` 的同类件**不能**这么做(`hitl/editedRuleTextPrecheck.ts` 头注逐字:
+ *    core 的 barrel 值级拉 `node:crypto`/`node:fs`/`node:path`,一条这样的边会把整台引擎焊进
+ *    web/desktop 的产物)—— 那一族走**端口注入**形。两者的分界线是「这个外部包在不在等值集里」,
+ *    不是「它是不是纯函数」。
+ *
+ * 🔴 **原样转口,一个字节都不加工**:本模块不包装、不改签名、不补默认值 —— 包一层就是把「同一
+ *    函数体」这条唯一的抗漂移保证亲手拆掉(与 `editedRuleTextPrecheck` 的装口纪律同一条)。
+ *    要在这两件之上加判定的那天,新开一个具名模块,别往转口口里塞。
+ */
+export { engineUrl, probeHealth } from '@sema-agent/sdk';

package/dist/index.d.ts

@@ -141,6 +141,10 @@ export * from './diagnostics.js';
 export * from './retryStatus.js';
 export * from './sessionMemoryStatus.js';
 export * from './adapt.js';
+export * from './adapt/textSegmentAuthority.js';
+export * from './engineHttpTools.js';
+export * from './sdkWireTransit.js';
+export { SEMA_SEGMENT_ID_KEY } from './adapt/textStream.js';
 export * from './subagentContentStore.js';
 export * from './engineAgentPanelStore.js';
 export * from './fleetAgentPanelProjection.js';
@@ -152,6 +156,7 @@ export * from './sqlEngineCapability.js';
 export * from './writeProtectionCapability.js';
 export * from './runTerminal.js';
 export * from './readFacePosture.js';
+export * from './mcpPanel.js';
 export * from './gateOutcome.js';
 export * from './postureKnob.js';
 export * from './engineIdentity.js';

package/dist/index.js

@@ -152,6 +152,24 @@ export * from './retryStatus.js';
 // 合法缺席,一律读成「没有/关着/0」就是对用户下一个证不出的断言。
 export * from './sessionMemoryStatus.js';
 export * from './adapt.js';
+// ── L-318(0.68.2):`text_end` 权威段替换的**判决单源** + print 形车道的段账状态机 ──────────
+// 修前这套六形判据有两份实现:本包 `adapt/textStream.replaceAnswerSegment`(交互车道)与 cli
+// 1.0.114 在壳里热修的 `PrintStreamProjector.onTextEnd`(`-p` 车道,B-122)。两条车道的**账本**
+// 形状不同(消息划界 vs 帧划界,差别有理由、刻意不归一),但**判决**是同一件事 ⇒ 判决进包,
+// 两条车道同吃;`-p` 车道的段账(已出门前缀累加 / 轮收口清账 / 被扣段判重)也归包,端只留
+// 「把尾段写进哪一个 CC content block」这一步装配(§8-5:stream-json 帧序/SSE 重铸属端)。
+export * from './adapt/textSegmentAuthority.js';
+// ── L-61 / L-318 件④(0.68.2):SDK **纯工具面**转口口(engineUrl / probeHealth)。端直连 SDK
+// 只为取这两件的存量(cli sdk-isolation `sdk-value` 桶)从此有「经包」的路;值级转口在可移植门
+// 上零风险的理由(SDK 已在外部包等值集里 + `dist/health.js` 零 import)写在模块头注。
+export * from './engineHttpTools.js';
+// ── L-61 存量清零(clay 令 C-R43「所有欠账绝不延期,宁可红」):SDK **wire 面**转口口 ────────
+// 客户端类 + 流内审批帧谓词 + 端上存量实际用到的那一小撮 wire 型面。**原样转口零包装**;
+// 「端该不该直接 new AgentClient」是另一个(仍然欠着的)设计问题,不该继续挡着归层 —— 理由与
+// 射程边界全在模块头注。新码一律走本包自有的 `makeEngineWireClient`,本转口口只给存量用。
+export * from './sdkWireTransit.js';
+// CC-01(0.68.2):段身份键 —— committed assistant 文本行顶层 `_sema_segment_id` 的唯一字面量出处(壳只读此常量)。
+export { SEMA_SEGMENT_ID_KEY } from './adapt/textStream.js';
 // ── B1 批:纯函数 / 侧信道台账 / 投影闸(2026-07-27)──────────────────────────────────────────
 export * from './subagentContentStore.js';
 export * from './engineAgentPanelStore.js';
@@ -173,6 +191,8 @@ export * from './runTerminal.js';
 // (防御读 / 唯一措辞铸点 / UNTRUSTED-for-display);与租户面 `capabilities.readFace` 刻意不合流,
 // 只带一个纯比较函数,渲染归端。
 export * from './readFacePosture.js';
+// CC-03(0.68.2):`GET /v1/sessions/:id/mcp` 面板体的防御读视图 + lastLegMcp 一行措辞铸点(三端共用)。
+export * from './mcpPanel.js';
 export * from './gateOutcome.js';
 // 0.63.0(sdk 8.8.0 / engine ≥7.67.0 / S-178):`serverGates` 三根 posture 旋钮的读数窄读器
 // (值 + 谁定的 + 指路句)。四词来源表在本包只有这一份,`readFacePosture` 与它共用。

package/dist/mcpPanel.d.ts

@@ -0,0 +1,60 @@
+import { type WiringManifestMcpEntry } from './adapter/downstream/eventToSdkMessage.js';
+/** 面板 `servers[]` 一行(sdk `McpServerStatus` 的窄读;开集键不透传,逐键挑)。 */
+export interface McpPanelServerView {
+    /** 配置名(引擎产的标识,非用户内容)。 */
+    name: string;
+    /** `connected` / `failed`(sdk 声明的两词;**按开集读**,认不得的词照渲不丢行)。 */
+    status: string;
+    /** 服务器自报的名字与版本(仅 connected 时有)。缺席 = 没报。 */
+    serverInfo?: {
+        name: string;
+        version: string;
+    };
+    /** 挂上来的工具名(仅 connected 时有)。缺席 = 没报,**不是**空表。 */
+    toolNames?: string[];
+    /** 失败因由(仅 failed 时;server 已脱敏 + 封顶,本视图再消毒一次)。 */
+    error?: string;
+}
+/** `lastLegMcp{runId,at,mcp[]}`(server ≥7.77.0 S-297)的窄读。 */
+export interface McpPanelLastLegView {
+    /** 该会话最近一条腿的 runId。 */
+    runId: string;
+    /** 写账本副本的钟(ISO;**不是** materialize 时刻 `asOf`,两者不比)。 */
+    at: string;
+    /** 该腿 `wiring_manifest.mcp[]` 逐字 —— 与活体腿的第三段同一只读器、同一形。 */
+    mcp: WiringManifestMcpEntry[];
+}
+/** `GET /v1/sessions/:id/mcp` 的读视图(缺席语义见文件顶注)。 */
+export interface McpPanelView {
+    /** THIS materialize 时刻(ISO)。 */
+    asOf: string;
+    /** materialization-time 状态,不是 live 健康(壳渲「as of <asOf>」)。空表 = 一台都没配。 */
+    servers: McpPanelServerView[];
+    /** never false:在场 = materialize 超时/失败,`servers` 空但**不是**「没有 MCP」。 */
+    degraded?: true;
+    /** 最近一条腿的申报名册(server ≥7.77.0);缺席语义见顶注。🔴 禁与 `servers[]` 对账渲告警。 */
+    lastLegMcp?: McpPanelLastLegView;
+    /** never false:server 送了 `lastLegMcp` 但本视图读不出来(与整键缺席不是同一句话)。 */
+    lastLegMcpUnreadable?: true;
+}
+/**
+ * 面板体 → 读视图;**畸形一律 `undefined`**,绝不抛出(必填位 fail-closed,可选位只丢自己)。
+ *
+ * 🔴 `lastLegMcp` 只按「键在不在」判在场(`'lastLegMcp' in body`),不按真值判:server 的缺席形
+ *    是**键不出现**(LL-3),不是 `null`/`undefined` 在场 —— 后两者是坏形,走 `lastLegMcpUnreadable`。
+ * 🔴 本函数**不比** `servers[]` 与 `lastLegMcp.mcp[]`,视图上也没有任何「一致/不一致」位
+ *    (契约 G.7 第 4 条:两面合法可不同)。
+ */
+export declare function projectMcpPanel(body: unknown): McpPanelView | undefined;
+/**
+ * `lastLegMcp` 那一行措辞的**唯一铸点**(三端共用;别在各端的行装配里另写一遍)。
+ *
+ * 🔴 四句刻意逐字互异(黑盒锚),且**没有一句**提到 `servers[]`:
+ *   ① 在场 —— 名册 + runId + at;
+ *   ② `opts.reachable === false` —— 「未观测」:这次进程没读到面板体;
+ *   ③ 面板读到了但 `lastLegMcp` 整键缺席 —— 「不报」:三形同形 + 老引擎,**不武断咎为版本**;
+ *   ④ 在场但读不懂 —— 「读不出」:与③是两句话。
+ */
+export declare function mcpPanelLastLegDetail(view: McpPanelView | undefined, opts: {
+    reachable: boolean;
+}): string;

package/dist/mcpPanel.js

@@ -0,0 +1,105 @@
+import { projectMcpSection } from './adapter/downstream/eventToSdkMessage.js';
+import { capForDisplay } from './fleetTaskDesc.js';
+/** `error` 上屏前的封长(server 侧 `slice(200)`,同值)。 */
+const MCP_PANEL_ERROR_MAX = 200;
+/** 名字类词形的封长(与本包其余 detail 铸点同值同理由)。 */
+const MCP_PANEL_WORD_MAX = 40;
+/** `mcpPanelLastLegDetail` 里列出的名字上限(再多就是一行读不完的表,不是一句读数)。 */
+const MCP_PANEL_NAMES_MAX = 8;
+const isRecord = (v) => typeof v === 'object' && v !== null && !Array.isArray(v);
+const nonEmpty = (v) => typeof v === 'string' && v.length > 0;
+function projectServerRow(raw) {
+    if (!isRecord(raw))
+        return undefined;
+    if (!nonEmpty(raw.name) || !nonEmpty(raw.status))
+        return undefined;
+    const row = { name: raw.name, status: raw.status };
+    const si = raw.serverInfo;
+    if (isRecord(si) && typeof si.name === 'string' && typeof si.version === 'string') {
+        row.serverInfo = { name: si.name, version: si.version };
+    }
+    if (Array.isArray(raw.toolNames) && raw.toolNames.every((t) => typeof t === 'string')) {
+        row.toolNames = [...raw.toolNames];
+    }
+    if (typeof raw.error === 'string')
+        row.error = capForDisplay(raw.error, MCP_PANEL_ERROR_MAX);
+    return row;
+}
+function projectLastLeg(raw) {
+    if (!isRecord(raw))
+        return undefined;
+    if (!nonEmpty(raw.runId) || !nonEmpty(raw.at))
+        return undefined;
+    const mcp = projectMcpSection(raw.mcp);
+    if (mcp === undefined)
+        return undefined;
+    return { runId: raw.runId, at: raw.at, mcp };
+}
+/**
+ * 面板体 → 读视图;**畸形一律 `undefined`**,绝不抛出(必填位 fail-closed,可选位只丢自己)。
+ *
+ * 🔴 `lastLegMcp` 只按「键在不在」判在场(`'lastLegMcp' in body`),不按真值判:server 的缺席形
+ *    是**键不出现**(LL-3),不是 `null`/`undefined` 在场 —— 后两者是坏形,走 `lastLegMcpUnreadable`。
+ * 🔴 本函数**不比** `servers[]` 与 `lastLegMcp.mcp[]`,视图上也没有任何「一致/不一致」位
+ *    (契约 G.7 第 4 条:两面合法可不同)。
+ */
+export function projectMcpPanel(body) {
+    if (!isRecord(body))
+        return undefined;
+    if (!nonEmpty(body.asOf))
+        return undefined;
+    if (!Array.isArray(body.servers))
+        return undefined;
+    const servers = [];
+    for (const r of body.servers) {
+        const row = projectServerRow(r);
+        if (row !== undefined)
+            servers.push(row);
+    }
+    if (body.servers.length > 0 && servers.length === 0)
+        return undefined;
+    const view = { asOf: body.asOf, servers };
+    if (body.degraded === true)
+        view.degraded = true;
+    if ('lastLegMcp' in body) {
+        const leg = projectLastLeg(body.lastLegMcp);
+        if (leg !== undefined)
+            view.lastLegMcp = leg;
+        else
+            view.lastLegMcpUnreadable = true;
+    }
+    return view;
+}
+/**
+ * `lastLegMcp` 那一行措辞的**唯一铸点**(三端共用;别在各端的行装配里另写一遍)。
+ *
+ * 🔴 四句刻意逐字互异(黑盒锚),且**没有一句**提到 `servers[]`:
+ *   ① 在场 —— 名册 + runId + at;
+ *   ② `opts.reachable === false` —— 「未观测」:这次进程没读到面板体;
+ *   ③ 面板读到了但 `lastLegMcp` 整键缺席 —— 「不报」:三形同形 + 老引擎,**不武断咎为版本**;
+ *   ④ 在场但读不懂 —— 「读不出」:与③是两句话。
+ */
+export function mcpPanelLastLegDetail(view, opts) {
+    if (!opts.reachable)
+        return "last leg mcp not observed (this end could not read the session's MCP panel)";
+    if (view === undefined)
+        return 'last leg mcp unreadable (the MCP panel body could not be read by this client)';
+    if (view.lastLegMcp !== undefined) {
+        const { runId, at, mcp } = view.lastLegMcp;
+        const names = mcp.slice(0, MCP_PANEL_NAMES_MAX).map((e) => capForDisplay(e.name, MCP_PANEL_WORD_MAX));
+        const more = mcp.length > MCP_PANEL_NAMES_MAX ? `, +${mcp.length - MCP_PANEL_NAMES_MAX} more` : '';
+        const roster = mcp.length === 0 ? 'none declared' : `${names.join(', ')}${more}`;
+        return `last leg mcp: ${roster} (run ${capForDisplay(runId, MCP_PANEL_WORD_MAX)}, at ${capForDisplay(at, MCP_PANEL_WORD_MAX)})`;
+    }
+    if (view.lastLegMcpUnreadable === true) {
+        return 'last leg mcp unreadable (the engine sent a shape this client cannot read)';
+    }
+    return 'last leg mcp not reported (no leg in the retention window, no manifest on the last leg, or the engine predates it)';
+}
+/**
+ * **编译期对账钉**(不出公面):sdk 的 `McpStatusPanel` 必须能赋给视图的必填半场 —— 名字在
+ * sdk ≥8.8.0 上存在(本包 peer 地板),`tsc` 在改名当天报「没有导出成员」。
+ * 反向刻意不钉(视图比 sdk 形窄:开集键不透传、`degraded` 收成 never-false)。
+ */
+const _mcpPanelShapePin = (p) => p;
+void _mcpPanelShapePin;

package/dist/request/taskRequest.d.ts

@@ -118,6 +118,60 @@ export interface TaskRequestInput {
         outputStyle?: string;
     };
 }
+/**
+ * 合一后的请求构造器 —— **按车道出两形**,字段集差异全部由 `REQUEST_FIELD_MATRIX` 决定。
+ *
+ * 🔴 行为纪律:本函数**不做任何统一**。print 没有 `ultracode` 就是没有(表里 `gap:true` 记着账),
+ * 补齐要另立项 —— 在这里顺手加一行,就是把「合一」偷换成「行为改动」。
+ */
+/**
+ * ⑤ 的**响亮拒**([7226] 包侧缺口 ⑤;异源对抗复审轮五 finding① 采纳)。
+ *
+ * 🔴 修前这里是「不是 `'off'` 就整键不 stamp」——**静默删键**,而删掉的恰是一条**隐私声明**:
+ *    一个把 `/memory-capture off` 打成 `OFF` 的会话,请求照发、引擎照常采集,**没有任何人会知道**。
+ * 🔴 上游把这条写死了(装机 core `dist/core/memory.d.ts` 的 `capture?: "off"` 头注**逐字**):
+ *    「Any other value — `"on"`, `"OFF"`, booleans, garbage — is REFUSED loudly
+ *    (`config.memory_capture_spelling`), never read as either state (**a privacy request must not be
+ *    dropped by a typo**, and capture must not be switched off by one either)」;server 契约 §12.4
+ *    同样写明坏拼写 400 `request.field_invalid`,并点名「把一条隐私请求按打字错误静默丢掉恰是**禁的方向**」。
+ *    ⇒ 提前删键 = 把上游那道响亮门**绕过去**,方向正好反了。
+ * 🔴 与本文件 `resolvedSnapshotForWire` 对畸形权限快照的处置**同一条纪律**(那里也是抛,理由逐字
+ *    是「降空 = 让请求带着被剥掉的权限面发出去」)——两处都是**声明方向**的位:丢了没人看得见。
+ * ⚠️ `undefined` / `null` = **合法缺席**(端没有这个入口 / 没有声明),照旧不 stamp,不拒。
+ * ⚠️ **不分车道、不受 live 门**:拒绝不是「stamp 一个键」,不改请求形状;而一条打错字的隐私声明
+ *    在哪条车道上都不该被默默放行。
+ * (本包是发出去的 npm 公开面:JS 调用方与版本偏斜的宿主都到得了这里,型面拦不住。)
+ */
+/**
+ * wire 上那个**单成员闭集**的唯一字面(server §12.4)。导出它是为了让端的断言/门有一个机读锚,
+ * 🔴 **不是**为了让端拿它去自己拼请求 —— 拼请求走 {@link memoryCaptureDeclarationField}。
+ */
+export declare const MEMORY_CAPTURE_OFF: "off";
+/**
+ * 「本会话声明过 opt-out 没有」这个**意图位** → 提交腿的 spread-ready 片段(L-316,0.68.2)。
+ *
+ * ── 为什么这一只在包里(归层,不是搬家)────────────────────────────────────────────────────
+ * 端手里只有一个**布尔**:「这条会话敲过 `/memory-capture off` 没有」。而 wire 上那个值是
+ * **单成员闭集**的一个字面串 —— 谁铸这个串,谁就得同时承担「拼错了会被 400 响亮拒、而且这是
+ * 一条**隐私**声明、拼错即静默失效」这件事。cli 1.0.x 起这个串在壳里另有一处铸点
+ * (`memoryCaptureOptOut.memoryCaptureRequestField`),web / desktop 接这条腿时会各铸第三、第四处
+ * —— 三端各写一个字面量,正是本层存在的理由(与 `taskNotificationToPrintFrame` 同一条先例)。
+ * ⇒ 端交**意图位**,值由本层唯一铸出;拼写门与 {@link buildTaskRequest} 的响亮拒共用同一个字面。
+ *
+ * 🔴 **`false` ⇒ 整键缺席**,不是 `{ memoryCapture: undefined }`、更不是某个「on」值:wire 上
+ *    压根没有那个值(单成员闭集),**缺席就是「照常采集」的唯一写法**。所以未启用时本片段对
+ *    wire 字节零影响。
+ * 🔴 **本层只答「下一条提交带不带这一键」,不答「采集关没关」**:后者只有引擎知道(老 worker
+ *    静默忽略本键 / 部署策略 403 / 控制面写失败),任何端都不许拿这一位去渲一句「已经关了」。
+ *
+ * 用法(端逐字照抄,别在外面再包一层字面量):
+ * ```ts
+ * buildTaskRequest({ …, ...memoryCaptureDeclarationField(declaredForThisSession) }, 'interactive')
+ * ```
+ */
+export declare function memoryCaptureDeclarationField(declared: boolean): {
+    memoryCapture: 'off';
+} | Record<string, never>;
 export declare function buildTaskRequest(input: TaskRequestInput, lane: RequestLane): TaskRequestLike;
 /** `applyLiveRequestDefaults` 的宿主输入(端解析好的值,同样零取值方式)。 */
 export interface LiveDefaultsInput {

package/dist/request/taskRequest.js

@@ -417,6 +417,36 @@ const resolvedSnapshotForWire = (resolved) => {
  *    在哪条车道上都不该被默默放行。
  * (本包是发出去的 npm 公开面:JS 调用方与版本偏斜的宿主都到得了这里,型面拦不住。)
  */
+/**
+ * wire 上那个**单成员闭集**的唯一字面(server §12.4)。导出它是为了让端的断言/门有一个机读锚,
+ * 🔴 **不是**为了让端拿它去自己拼请求 —— 拼请求走 {@link memoryCaptureDeclarationField}。
+ */
+export const MEMORY_CAPTURE_OFF = 'off';
+/**
+ * 「本会话声明过 opt-out 没有」这个**意图位** → 提交腿的 spread-ready 片段(L-316,0.68.2)。
+ *
+ * ── 为什么这一只在包里(归层,不是搬家)────────────────────────────────────────────────────
+ * 端手里只有一个**布尔**:「这条会话敲过 `/memory-capture off` 没有」。而 wire 上那个值是
+ * **单成员闭集**的一个字面串 —— 谁铸这个串,谁就得同时承担「拼错了会被 400 响亮拒、而且这是
+ * 一条**隐私**声明、拼错即静默失效」这件事。cli 1.0.x 起这个串在壳里另有一处铸点
+ * (`memoryCaptureOptOut.memoryCaptureRequestField`),web / desktop 接这条腿时会各铸第三、第四处
+ * —— 三端各写一个字面量,正是本层存在的理由(与 `taskNotificationToPrintFrame` 同一条先例)。
+ * ⇒ 端交**意图位**,值由本层唯一铸出;拼写门与 {@link buildTaskRequest} 的响亮拒共用同一个字面。
+ *
+ * 🔴 **`false` ⇒ 整键缺席**,不是 `{ memoryCapture: undefined }`、更不是某个「on」值:wire 上
+ *    压根没有那个值(单成员闭集),**缺席就是「照常采集」的唯一写法**。所以未启用时本片段对
+ *    wire 字节零影响。
+ * 🔴 **本层只答「下一条提交带不带这一键」,不答「采集关没关」**:后者只有引擎知道(老 worker
+ *    静默忽略本键 / 部署策略 403 / 控制面写失败),任何端都不许拿这一位去渲一句「已经关了」。
+ *
+ * 用法(端逐字照抄,别在外面再包一层字面量):
+ * ```ts
+ * buildTaskRequest({ …, ...memoryCaptureDeclarationField(declaredForThisSession) }, 'interactive')
+ * ```
+ */
+export function memoryCaptureDeclarationField(declared) {
+    return declared ? { memoryCapture: MEMORY_CAPTURE_OFF } : {};
+}
 const refuseBadMemoryCapture = (v) => {
     if (v === undefined || v === null)
         return;