@sema-agent/client-core 0.77.1 → 0.78.0

package/dist/mcpReconnect.d.ts

@@ -1,37 +1,5 @@
-/**
- * mcpReconnect — 会话内 MCP re-dial 的**三端共用消费口**(0.72.9 CC-30;server ≥7.85.0 S-381 / core 7.22.0 #857;
- * 契约 §G.7c / 附录 B.1 `mcpReconnect`;sdk 9.6.0 尚未声明端点与体,读口 duck-typed 注入,与 `sessionMemoryStatus` 同款)。
- *
- * ── 这一口答的是哪件事 ────────────────────────────────────────────────────────────────────
- * 传输断了的 stdio MCP server 在不结束任务的前提下**重拨一台具名 server**:`POST /v1/sessions/:id/mcp/reconnect { server }`。
- * 壳只有「重连这台」按钮与结果渲染;判定(三态分臂 / 名册在场性 / 失败分诊 / 交易文案)三端各写一遍必各错一遍 ⇒ 归包。
- *
- * ── 🔴 五条契约读法(§G.7c 逐字)──────────────────────────────────────────────────────────
- *  ① `outcome` 是**唯一判别键**,三态全部走 200:`accepted`(core reconnected)/ `refused`(core refused **或** not_declared,
- *     wire 上刻意不可区分,子理由骑 `reason`)/ `unsupported`(server 自己的词:这条 run 一台 MCP 都没声明;不是 409、不是 refused)。
- *  ② `unsupported` **恒五键**(taskId / sessionId / server / outcome / reason):那条臂没有 core 结果,`prefix` / `toolCount` / `added` /
- *     `removed` 编成 `0` / `[]` = 替 core 说一句它没说过的话 ⇒ 本读器**按 outcome 分支再读**;accepted / refused 四座缺一 ⇒ 整只畸形。
- *  ③ **名册按 `toolNames` 的在场性**:在场非空 = 对该 `prefix` 域断言的名册(**超集**:core 挂载前还滤一道);在场 `[]` = 拨号失败、
- *     这台的工具被撤走(空数组是一句话);整键缺席 = 这条臂从未碰过连接,挂载名册原样不动。真挂上了什么读 `wiring_manifest.tools`。
- *  ④ **下一步动作读 `status.errorCode` / `httpStatus`,不解析 `reason`**:`errorCode` 是 core 十词闭集但 server 不枚举 ⇒ 本读器按**开集**
- *     透传(消费端 switch 必带 default);`delivered` 三词 / `transportClosed` 在场即 true(缺席 = 没观察到关闭,**不是**还活着);
- *     `error` / `serverInfo` / `reason` 是远端自由文本 —— UNTRUSTED-for-display,呈前消毒封长。
- *  ⑤ **交易,不是刷新**(core 原话,契约 🔴 必进 UI):旧连接在拨新号**之前**就被关 ⇒ 一次失败的重拨花掉一条能用的连接。
- *     壳不许只写「重连」—— 措辞单源 {@link MCP_RECONNECT_TRANSACTION_NOTICE}。
- *
- * ── 失败分诊按 `errorCode` 不按 status(与 `classifyMemoryStatusFailure` 同律)────────────────
- *  422 `steering.invalid_content` ⇒ invalid · 409 `steering.not_running` ⇒ not_running(parked / 终态 / 他副本 / 无活流四臂一码)·
- *  501 `capability.run_store_required` ⇒ unsupported/capability · 404 `not_found.route` ⇒ unsupported/route(老 server 无此路由)·
- *  404 `not_found.session` ⇒ not_found(未知 / 非属主同码同串)· 无码 ⇒ failed(**不猜**)。
- */
-/** `outcome` 三词(契约 §G.7c;`unsupported` 是 server 的词,core 没有它)。 */
 export declare const MCP_RECONNECT_OUTCOMES: readonly string[];
-/**
- * 「重连 = 一次交易」的**唯一措辞铸点**(三端共用;契约 🔴 这句必须进 UI,壳不许只写「重连」)。
- * 零内部车道词;只说用户能据以决策的事实:旧连接先关、失败则工具撤走、直到再拨成功。
- */
 export declare const MCP_RECONNECT_TRANSACTION_NOTICE: string;
-/** `status`(这一次拨号的新连接时记录)的八键投影;`errorCode` 开集透传。UNTRUSTED 座已消毒封长。 */
 export interface McpReconnectStatusView {
     name: string;
     status: string;
@@ -43,18 +11,14 @@ export interface McpReconnectStatusView {
         version: string;
     };
     error?: string;
-    /** 在场即 `true`(core 永不写 false);缺席 = 没观察到关闭,**不是**「还活着」。 */
     transportClosed?: true;
 }
-/** `listingIncomplete`:这次 `tools/list` 没走完 ⇒ 名册不许当全集(缺的一条是未证明缺席,不是被撤走)。 */
 export interface McpReconnectListingIncompleteView {
     reason: string;
-    /** 这次 `tools/list` 走到第几页(server 无条件投;非整数 ⇒ 整只畸形)。 */
     pages: number;
     budgetMs?: number;
     error?: string;
 }
-/** 200 体的读视图 —— **按 `outcome` 分形**(`unsupported` 五键 / 其余四座必填)。 */
 export type McpReconnectResultView = {
     outcome: 'unsupported';
     taskId: string;
@@ -68,16 +32,13 @@ export type McpReconnectResultView = {
     server: string;
     prefix: string;
     toolCount: number;
-    /** 带命名空间的工具名(相对「一刻之前它挂载了什么」;失败的拨号移除它原有的全部)。**不是**通告 `mcp.server_redialed` 的计数。 */
     added: string[];
     removed: string[];
-    /** present-iff 这次结果对自己的 `prefix` 域做了名册断言(见文件头 ③);缺席 ⇒ 名册原样不动。 */
     toolNames?: string[];
     reason?: string;
     status?: McpReconnectStatusView;
     listingIncomplete?: McpReconnectListingIncompleteView;
 };
-/** 消费口的判决。`ok` 之外五档各是一条不同的下一步;`failed` 原错误带出(端要能看到真因)。 */
 export type McpReconnectVerdict = {
     readonly kind: 'ok';
     readonly result: McpReconnectResultView;
@@ -94,7 +55,6 @@ export type McpReconnectVerdict = {
     readonly kind: 'failed';
     readonly error: unknown;
 };
-/** 宿主注入的读口切片(duck-typed;sdk 9.6.0 没有本方法,壳用自己的传输层接 `POST /v1/sessions/:id/mcp/reconnect`)。 */
 export interface McpReconnectClientLike {
     sessions: {
         mcpReconnect?: (sessionId: string, body: {
@@ -104,28 +64,10 @@ export interface McpReconnectClientLike {
         }) => Promise<unknown>;
     };
 }
-/**
- * 200 体 → 读视图;**畸形一律 `undefined`**(不编、不猜)。按 `outcome` 分形读键(文件头 ①②③④)。
- */
 export declare function projectMcpReconnectResult(body: unknown): McpReconnectResultView | undefined;
-/** 抛出物 → 判决(按 `errorCode`;与 `classifyMemoryStatusFailure` 同律:无码不猜)。 */
 export declare function classifyMcpReconnectFailure(e: unknown): McpReconnectVerdict;
-/**
- * 「重连这台 MCP」的消费口:**永不抛**。本地先按契约把体门(`server` 非空 ≤ 190)判掉,不发一条注定 400 的请求;
- * 回体经 {@link projectMcpReconnectResult} 投影;**回声身份**(`sessionId` / `server`)与请求逐字相等,否则 `failed`(宁缺席不串台,
- * 与 `readSessionMemoryStatus` 同律)。注入口没有方法 ⇒ `unsupported/route`(壳没接线 = 面不存在)。
- */
 export declare function reconnectMcpServer(client: McpReconnectClientLike, sessionId: string, server: string, opts?: {
     signal?: AbortSignal;
 }): Promise<McpReconnectVerdict>;
-/**
- * 能力位 `GET /v1/capabilities.mcpReconnect`(设施依赖 = runStore ∧ sessionStorage.ownerOf)的三态读:
- * `available` / `unavailable` / `not_reported`(键缺席 = 老 server <7.85.0 **判不了**,不折 unavailable);坏形 ⇒ `undefined`。
- * 纯投影(caps 体由宿主交,本包不另开 tee:这一位只在按钮亮不亮时读一次)。
- */
 export declare function projectMcpReconnectCapability(caps: unknown): 'available' | 'unavailable' | 'not_reported' | undefined;
-/**
- * 三态 → 一句结果(**唯一措辞铸点**;三端共用;零内部车道词)。`accepted` 带工具计数;`refused` 说清工具已撤走(交易的代价)并带 reason;
- * `unsupported` 说清是这条 run 的装配(未声明 MCP),不是 refused。
- */
 export declare function mcpReconnectOutcomeDetail(view: McpReconnectResultView): string;

package/dist/mcpReconnect.js

@@ -1,41 +1,9 @@
-/**
- * mcpReconnect — 会话内 MCP re-dial 的**三端共用消费口**(0.72.9 CC-30;server ≥7.85.0 S-381 / core 7.22.0 #857;
- * 契约 §G.7c / 附录 B.1 `mcpReconnect`;sdk 9.6.0 尚未声明端点与体,读口 duck-typed 注入,与 `sessionMemoryStatus` 同款)。
- *
- * ── 这一口答的是哪件事 ────────────────────────────────────────────────────────────────────
- * 传输断了的 stdio MCP server 在不结束任务的前提下**重拨一台具名 server**:`POST /v1/sessions/:id/mcp/reconnect { server }`。
- * 壳只有「重连这台」按钮与结果渲染;判定(三态分臂 / 名册在场性 / 失败分诊 / 交易文案)三端各写一遍必各错一遍 ⇒ 归包。
- *
- * ── 🔴 五条契约读法(§G.7c 逐字)──────────────────────────────────────────────────────────
- *  ① `outcome` 是**唯一判别键**,三态全部走 200:`accepted`(core reconnected)/ `refused`(core refused **或** not_declared,
- *     wire 上刻意不可区分,子理由骑 `reason`)/ `unsupported`(server 自己的词:这条 run 一台 MCP 都没声明;不是 409、不是 refused)。
- *  ② `unsupported` **恒五键**(taskId / sessionId / server / outcome / reason):那条臂没有 core 结果,`prefix` / `toolCount` / `added` /
- *     `removed` 编成 `0` / `[]` = 替 core 说一句它没说过的话 ⇒ 本读器**按 outcome 分支再读**;accepted / refused 四座缺一 ⇒ 整只畸形。
- *  ③ **名册按 `toolNames` 的在场性**:在场非空 = 对该 `prefix` 域断言的名册(**超集**:core 挂载前还滤一道);在场 `[]` = 拨号失败、
- *     这台的工具被撤走(空数组是一句话);整键缺席 = 这条臂从未碰过连接,挂载名册原样不动。真挂上了什么读 `wiring_manifest.tools`。
- *  ④ **下一步动作读 `status.errorCode` / `httpStatus`,不解析 `reason`**:`errorCode` 是 core 十词闭集但 server 不枚举 ⇒ 本读器按**开集**
- *     透传(消费端 switch 必带 default);`delivered` 三词 / `transportClosed` 在场即 true(缺席 = 没观察到关闭,**不是**还活着);
- *     `error` / `serverInfo` / `reason` 是远端自由文本 —— UNTRUSTED-for-display,呈前消毒封长。
- *  ⑤ **交易,不是刷新**(core 原话,契约 🔴 必进 UI):旧连接在拨新号**之前**就被关 ⇒ 一次失败的重拨花掉一条能用的连接。
- *     壳不许只写「重连」—— 措辞单源 {@link MCP_RECONNECT_TRANSACTION_NOTICE}。
- *
- * ── 失败分诊按 `errorCode` 不按 status(与 `classifyMemoryStatusFailure` 同律)────────────────
- *  422 `steering.invalid_content` ⇒ invalid · 409 `steering.not_running` ⇒ not_running(parked / 终态 / 他副本 / 无活流四臂一码)·
- *  501 `capability.run_store_required` ⇒ unsupported/capability · 404 `not_found.route` ⇒ unsupported/route(老 server 无此路由)·
- *  404 `not_found.session` ⇒ not_found(未知 / 非属主同码同串)· 无码 ⇒ failed(**不猜**)。
- */
 import { capForDisplay } from './fleetTaskDesc.js';
-/** `outcome` 三词(契约 §G.7c;`unsupported` 是 server 的词,core 没有它)。 */
 export const MCP_RECONNECT_OUTCOMES = Object.freeze(['accepted', 'refused', 'unsupported']);
-/**
- * 「重连 = 一次交易」的**唯一措辞铸点**(三端共用;契约 🔴 这句必须进 UI,壳不许只写「重连」)。
- * 零内部车道词;只说用户能据以决策的事实:旧连接先关、失败则工具撤走、直到再拨成功。
- */
 export const MCP_RECONNECT_TRANSACTION_NOTICE = 'Reconnecting closes the current connection before dialing again. On a healthy server this is a transaction, ' +
     'not a refresh: a failed re-dial leaves the server down and withdraws its tools from the model until a later re-dial succeeds.';
 const RECONNECT_TEXT_MAX = 200;
 const RECONNECT_WORD_MAX = 40;
-/** 契约 §G.7c:`server` 非空且 ≤ 190 字符(逐字进 core 运维通告 `detail.server`)。 */
 const SERVER_NAME_MAX = 190;
 const isRecord = (v) => typeof v === 'object' && v !== null && !Array.isArray(v);
 const nonEmpty = (v) => typeof v === 'string' && v.length > 0;
@@ -43,8 +11,6 @@ const stringList = (v) => Array.isArray(v) && v.every((t) => typeof t === 'strin
 function projectStatus(raw) {
     if (!isRecord(raw) || !nonEmpty(raw.name) || !nonEmpty(raw.status))
         return undefined;
-    // `name` 是**身份键**(core `statuses[name]` 的键,与顶层 `server` 同一事实),不是远端自由文本 ⇒ 原样,不封长(opus 替补复审 [low]);
-    // 消毒封长只给 serverInfo / error 两座远端文本。
     const view = { name: raw.name, status: raw.status };
     if (nonEmpty(raw.errorCode))
         view.errorCode = raw.errorCode;
@@ -63,7 +29,6 @@ function projectStatus(raw) {
     return view;
 }
 function projectListingIncomplete(raw) {
-    // `reason` / `pages` 必填(server 侧无条件投 pages):缺一 = 读不懂这一格,由调用方判整只畸形(在场但坏形 ≠ 缺席)。
     if (!isRecord(raw) || !nonEmpty(raw.reason))
         return undefined;
     if (typeof raw.pages !== 'number' || !Number.isInteger(raw.pages) || raw.pages < 0)
@@ -75,9 +40,6 @@ function projectListingIncomplete(raw) {
         view.error = capForDisplay(raw.error, RECONNECT_TEXT_MAX);
     return view;
 }
-/**
- * 200 体 → 读视图;**畸形一律 `undefined`**(不编、不猜)。按 `outcome` 分形读键(文件头 ①②③④)。
- */
 export function projectMcpReconnectResult(body) {
     if (!isRecord(body))
         return undefined;
@@ -88,14 +50,11 @@ export function projectMcpReconnectResult(body) {
         return undefined;
     const base = { taskId: body.taskId, sessionId: body.sessionId, server: body.server };
     if (outcome === 'unsupported') {
-        // 恒五键:其余键真出现了也不过境。`reason` 是人读文本(server 侧可为空)—— `outcome` 才是唯一判别键,
-        // 一句人读文本不许把判别键整只报废(opus 替补复审 [low]):缺席 / 空串 ⇒ 视图无 reason 键。
         const u = { outcome: 'unsupported', ...base };
         if (nonEmpty(body.reason))
             u.reason = capForDisplay(body.reason, RECONNECT_TEXT_MAX);
         return u;
     }
-    // accepted / refused:四座必填(core 型上必填,server 原样投),缺一整只畸形。
     const added = stringList(body.added);
     const removed = stringList(body.removed);
     if (!nonEmpty(body.prefix) || typeof body.toolCount !== 'number' || !Number.isInteger(body.toolCount) || body.toolCount < 0)
@@ -110,8 +69,6 @@ export function projectMcpReconnectResult(body) {
         added,
         removed,
     };
-    // 🔴 「在场但坏形」≠「缺席」(opus 替补复审 [medium]×2):`toolNames` 缺席 = 名册别动、`listingIncomplete` 缺席 = 名册走完了,
-    //    两者在契约上都是**正面指令**;把读不懂的那一格折成缺席 = 替 server 下一条它没下的指令 ⇒ 在场但坏形一律整只畸形。
     if ('toolNames' in body && body.toolNames !== undefined) {
         const toolNames = stringList(body.toolNames);
         if (toolNames === undefined)
@@ -131,10 +88,7 @@ export function projectMcpReconnectResult(body) {
     }
     return view;
 }
-/** 抛出物 → 判决(按 `errorCode`;与 `classifyMemoryStatusFailure` 同律:无码不猜)。 */
 export function classifyMcpReconnectFailure(e) {
-    // 🔴 读 `errorCode` 本身包在 try 里(异源对抗复审 [medium]):拒因可以是 Proxy / 带抛 getter 的对象,读一个属性就抛 ⇒
-    //    分诊器抛穿「永不抛」。读不出 = 判不出码 ⇒ failed,原拒因原样带出。
     let code;
     try {
         code = typeof e === 'object' && e !== null ? e.errorCode : undefined;
@@ -146,8 +100,6 @@ export function classifyMcpReconnectFailure(e) {
         return { kind: 'invalid' };
     if (code === 'steering.not_running')
         return { kind: 'not_running' };
-    // 501 两码并列(附录 B.1:缺 sessionStorage.ownerOf ⇒ `capability.session_ownership_required`,缺 run 账面 ⇒ `capability.run_store_required`)
-    // ⇒ 前缀族开集(opus 替补复审 [medium]);`feature.*` = 面在但开关关着,与 capability 分列(与 memory-status 分诊同律)。
     if (typeof code === 'string' && code.startsWith('capability.'))
         return { kind: 'unsupported', reason: 'capability' };
     if (typeof code === 'string' && code.startsWith('feature.'))
@@ -158,11 +110,6 @@ export function classifyMcpReconnectFailure(e) {
         return { kind: 'not_found' };
     return { kind: 'failed', error: e };
 }
-/**
- * 「重连这台 MCP」的消费口:**永不抛**。本地先按契约把体门(`server` 非空 ≤ 190)判掉,不发一条注定 400 的请求;
- * 回体经 {@link projectMcpReconnectResult} 投影;**回声身份**(`sessionId` / `server`)与请求逐字相等,否则 `failed`(宁缺席不串台,
- * 与 `readSessionMemoryStatus` 同律)。注入口没有方法 ⇒ `unsupported/route`(壳没接线 = 面不存在)。
- */
 export async function reconnectMcpServer(client, sessionId, server, opts) {
     if (!nonEmpty(sessionId))
         return { kind: 'invalid' };
@@ -172,12 +119,9 @@ export async function reconnectMcpServer(client, sessionId, server, opts) {
         const verb = client?.sessions?.mcpReconnect;
         if (typeof verb !== 'function')
             return { kind: 'unsupported', reason: 'route' };
-        // 🔴 本地取消闸(异源复审第二轮 [medium]):signal 只转交给注入口不够 —— 壳的传输若忽略它,用户已撤销的操作仍会关掉一条
-        //    健康连接并重拨(失败则工具撤走)。破坏性动词在「用户说停」之后一发都不许出。
         if (opts?.signal?.aborted === true) {
             return { kind: 'failed', error: opts.signal.reason ?? new Error('mcpReconnect: aborted before the verb was called') };
         }
-        // 方法形调用保接收者(真 SDK 资源方法体走 this.t.request)。
         const raw = await client.sessions.mcpReconnect(sessionId, { server }, opts?.signal ? { signal: opts.signal } : undefined);
         const view = projectMcpReconnectResult(raw);
         if (view === undefined)
@@ -190,15 +134,9 @@ export async function reconnectMcpServer(client, sessionId, server, opts) {
         return classifyMcpReconnectFailure(e);
     }
 }
-/**
- * 能力位 `GET /v1/capabilities.mcpReconnect`(设施依赖 = runStore ∧ sessionStorage.ownerOf)的三态读:
- * `available` / `unavailable` / `not_reported`(键缺席 = 老 server <7.85.0 **判不了**,不折 unavailable);坏形 ⇒ `undefined`。
- * 纯投影(caps 体由宿主交,本包不另开 tee:这一位只在按钮亮不亮时读一次)。
- */
 export function projectMcpReconnectCapability(caps) {
     if (!isRecord(caps))
         return undefined;
-    // 🔴 只认自有键(0.77.1 CC-107,外部验收 [7807]):原型链上的同名键永远不会被序列化上 wire,读成在场 = 凭空造一格;与读器工厂族同律。
     if (!Object.hasOwn(caps, 'mcpReconnect') || caps.mcpReconnect === undefined)
         return 'not_reported';
     if (caps.mcpReconnect === true)
@@ -207,19 +145,12 @@ export function projectMcpReconnectCapability(caps) {
         return 'unavailable';
     return undefined;
 }
-/**
- * 三态 → 一句结果(**唯一措辞铸点**;三端共用;零内部车道词)。`accepted` 带工具计数;`refused` 说清工具已撤走(交易的代价)并带 reason;
- * `unsupported` 说清是这条 run 的装配(未声明 MCP),不是 refused。
- */
 export function mcpReconnectOutcomeDetail(view) {
     const name = capForDisplay(view.server, RECONNECT_WORD_MAX);
     switch (view.outcome) {
         case 'accepted':
             return `MCP server ${name} was re-dialed: ${view.toolCount} tool${view.toolCount === 1 ? '' : 's'} mounted (${view.added.length} added, ${view.removed.length} removed)`;
         case 'refused': {
-            // 🔴 名册按 toolNames 在场性分三句(异源对抗复审 [medium]:此前无条件说「工具已撤走」,把未知名 / 重拨在飞 / 已撤销这些
-            //    **没碰连接**的拒绝也说成撤了工具,误导用户再来一次破坏性重拨):
-            //    缺席 = 这条臂从未碰过连接,名册未动;[] = 拨号失败,工具撤走;非空 = 拒了但对该 prefix 域做了名册断言,如实报数。
             const why = view.reason !== undefined ? ` — ${view.reason}` : '';
             if (view.toolNames === undefined) {
                 return `MCP server ${name} was NOT re-dialed; its connection and tools were left untouched${why}`;

package/dist/mcpWireCaps.d.ts

@@ -1,46 +1,9 @@
-/**
- * ⇄ B2 批搬迁(2026-07-27,多端改造设计稿 §3 B2):cli src/sema/mcpWireCaps.ts 逐字搬入(只 import SDK)。
- */
-/**
- * src/sema/mcpWireCaps.ts — PURE projection: CC `.mcp.json` server config → core `McpServerSpec` (the wire
- * shape `TaskRequest.mcpServers` carries). Split from mcpWire.ts so it's testable without the heavy
- * `.mcp.json` loader graph (services/mcp/config.ts). Imports only the SDK type (erased at build).
- *
- * core `McpServerSpec.transport` supports ONLY `stdio` + `http` (StreamableHTTP). CC also has sse/sse-ide/
- * ws/ws-ide — core can't mount those (the SSE/WS transport gap, tracked separately) → we SKIP them here
- * (returning null) rather than mis-map. stdio→stdio, http→http; name = the `.mcp.json` record key.
- *
- * Trust: the SHELL only PROJECTS the user's local config; the SERVICE single-user gate (mcpInjectionHonored
- * = requirePrincipal!==true) decides whether to honor it (fail-closed on multi-tenant). So projecting is safe.
- *
- * ── 🔴 0.64.2:逐键白名单重建的**丢键面**(cli L-167①,包侧缺陷)───────────────────────────────
- * 本文件的两条 transport 臂是**逐键重建**(`{name, transport:{…}, allowTools}`),不是 `...c` 全展开。
- * 这是有意的 —— 全展开会把用户 `.mcp.json` 里的任意键原样送上 wire,而 `TaskRequest.mcpServers` 是
- * 引擎的请求面,多一个引擎不认的键既没人判形也没人负责。代价是本仓一贯要根治的那个病形:
- * **上游 additive 加了一个真键,而这条闭集重建静默把它剥掉**([C170] / `hasBidiControls` /
- * 窗三键的同一形)。`toolFaces` 就是这么丢的 —— 运维在 `.mcp.json` 上声明的 per-tool 面(写围栏读的
- * `pathTarget` 那一格)到不了引擎,而**两侧看起来都对**:配置文件里写着,引擎那边只是「没有声明」。
- * ⇒ 处置 = **按上游的透明键表逐名透传**,不是改成全展开。表的属主是 `@sema-agent/settings-schema`
- * 的 mcp 段(`McpServerSpec` 上 `z.unknown()` 的那些键;1.10.0 实装两员:`source` 1.7.2 / `toolFaces`
- * 1.9.0),判据逐字是「解析透明」:形的校验属**引擎摄入侧**,本层一个字节不改也不拒。
- * 🔴 **`source` 今天不在本条腿上**:它是**部署面**(`config.d/mcp.json` / `/effective.mcp`)的分组
- *    标签,消费者是 server;**请求面**的 `McpServerSpec`(sdk 8.8.0 `types.d.ts`)上根本没有这个键 ——
- *    往这里塞它是给 wire 加一个引擎不认的键,而不是透传一件事实。上游哪天把它加到请求面上,
- *    本表按同一条规矩加一行(门里那条「透明键表 ⇄ 本腿透传集」的对账当天红)。
- */
 import type { TaskRequest } from '@sema-agent/sdk';
-/** The wire shape `TaskRequest.mcpServers` carries. SDK 0.0.44's index no longer re-exports the
- *  `McpServerSpec` interface by name (types.d.ts still defines it), so derive it STRUCTURALLY from the
- *  exported `TaskRequest` — always exactly what the wire accepts, no drift. Re-exported for the shell
- *  (mcpWire.ts / seamQuery.ts import it from HERE, not @sema-ai/sdk). */
 export type McpServerSpec = NonNullable<TaskRequest['mcpServers']>[number];
-/** Server caps mirror the service merge cap (task-mcp.ts: ≤32, fail-closed on malformed). */
 export declare const MCP_CAPS: {
     readonly items: 32;
 };
-/** Structural subset of CC's `McpServerConfig` union (services/mcp/types.ts) this projection reads. */
 export interface McpConfigLike {
-    /** discriminator; absent ⇒ stdio (CC: type optional for stdio, back-compat). */
     type?: string;
     command?: string;
     args?: string[];
@@ -48,25 +11,7 @@ export interface McpConfigLike {
     url?: string;
     headers?: Record<string, string>;
     allowTools?: string[];
-    /**
-     * **透明键**(settings-schema 1.9.0 引入 `McpServerSpec.toolFaces`,`z.unknown()`,2.0.0 同形〔2026-09-16 核 dist/types.d.ts〕;core 7.8.0 design/388
-     * 片 1 F7 / server ≥7.66.0)—— 这台 server 的 per-tool 面覆盖层,键 = 工具**裸名**,值形
-     * `{ family?, pathTarget?, renderHints?, ruleFace? }`(表的属主是 core,见 sdk `McpToolFace`)。
-     *
-     * 🔴 **类型是 `unknown`,而且是有意的**:上游把这一格声明成解析透明,理由逐字是「这一域
-     *    all-or-nothing,任一字段解析拒都会让整套 mcp 服务器静默消失」。本层照抄那条判据 ——
-     *    **不校形、不改写、不按名剥**,坏形也原样过境。
-     * 🔴 **坏形的处置在引擎,不在这里**:JSON 形写坏或出现读器不认的键 ⇒ 引擎让**整条 server 不进**
-     *    并在请求腿 `mcp_injection_dropped{dropped:[name]}` 点名;形合而语义坏(`pathTarget.param` 不在
-     *    工具物化后的 schema 上)⇒ 引擎拒**那一只**工具并出 `config.tool_face_invalid` 通告。
-     *    包在这里替引擎判一次形,只有两种结局:判严了 ⇒ 运维声明的保护被**静默**吞掉(比引擎响亮拒
-     *    更坏);判松了 ⇒ 白写一道会漂的第二判官。
-     * 缺席 ⇒ 键不铸(`.mcp.json` 是 JSON,`undefined` 只可能来自「没写」)。
-     */
     toolFaces?: unknown;
 }
-/** Map one CC `.mcp.json` server → core `McpServerSpec`, or null when the transport isn't core-supported
- *  (sse/sse-ide/ws/ws-ide) or required fields are missing. */
 export declare function mcpConfigToSpec(name: string, c: McpConfigLike): McpServerSpec | null;
-/** Project a `.mcp.json` server map → capped `McpServerSpec[]` (skips unsupported transports + malformed). */
 export declare function mcpConfigsToSpecs(servers: Record<string, McpConfigLike> | undefined): McpServerSpec[];

package/dist/mcpWireCaps.js

@@ -1,22 +1,12 @@
-/** Server caps mirror the service merge cap (task-mcp.ts: ≤32, fail-closed on malformed). */
 export const MCP_CAPS = { items: 32 };
-/**
- * 透明键的**原样过境**格(0.64.2)—— 见 {@link McpConfigLike.toolFaces} 与模块顶注。
- * 键在场即铸(`undefined` = 没写),值一个字节不动;`null` / 串 / 数组这些坏形照样过境,由引擎判。
- * 🔴 cast 到 wire 形是**类型面的**让位,不是运行期校验:请求面 `McpServerSpec.toolFaces` 的声明是
- *    `Record<string, McpToolFace>`(sdk 8.8.0),而透明键的契约是「什么 JSON 值都可能到」——
- *    在这里按声明形收窄就等于把坏形剥掉,正是本批要修的病。
- */
 function transparentKeys(c) {
     return c.toolFaces !== undefined ? { toolFaces: c.toolFaces } : {};
 }
-/** Map one CC `.mcp.json` server → core `McpServerSpec`, or null when the transport isn't core-supported
- *  (sse/sse-ide/ws/ws-ide) or required fields are missing. */
 export function mcpConfigToSpec(name, c) {
     const n = (name ?? '').trim();
     if (!n)
         return null;
-    const kind = c.type ?? 'stdio'; // stdio default (CC: `type` optional for stdio)
+    const kind = c.type ?? 'stdio';
     if (kind === 'stdio') {
         if (!c.command)
             return null;
@@ -46,10 +36,8 @@ export function mcpConfigToSpec(name, c) {
             ...transparentKeys(c),
         };
     }
-    // sse / sse-ide / ws / ws-ide → core McpServerSpec has no such transport (StreamableHTTP only) → skip.
     return null;
 }
-/** Project a `.mcp.json` server map → capped `McpServerSpec[]` (skips unsupported transports + malformed). */
 export function mcpConfigsToSpecs(servers) {
     const out = [];
     for (const [name, c] of Object.entries(servers ?? {})) {

package/dist/memoryComplianceCapability.d.ts

@@ -1,73 +1,19 @@
-/**
- * memoryComplianceCapability — `GET /v1/capabilities.memoryCompliance` 的三端共用读面(0.76.1 CC-97a;
- * 与 sql / writeProtection / webSearch.backend / executionLane / approvalsStreamLive /
- * deviceExecutor.management 诸只兄弟同一套四态词汇,四口走共用工厂 {@link createEngineCapReader})。
- *
- * ── 这一位答的是哪一个问题 ────────────────────────────────────────────────────────────────
- * 「**出处问询 / 抹除**两口(`GET /v1/memory/entries/:entryId/provenance` ·
- * `POST /v1/memory/erase`,operator 车道)在这台引擎上在不在」。引擎侧的谓词是**两项合取**:
- *  ① 合规面挂上了 —— 挂载期判后端自带引擎控制面归属,缺则整口不挂;
- *  ② 这台部署的 operator 名单**非空** —— 空名单下两口对任何身份恒 403。
- * ⚠️ 位为真**只**保证「门能过 + 面在场」,**不**保证这一次调用成功:控制面账本损坏是**运行期**事实
- *    (typed 500),引擎刻意不把它编进部署级布尔。
- * ⚠️ 与「治理携出 bundle」那一位**不同源**:两位的第一项查的是后端的**不同面**,一个部署可以有 bundle
- *    复合面而没有控制面归属,反之亦然 —— 任一侧都不许拿来替另一侧作答(合成一位会对其中一半撒谎)。
- * ⚠️ 与 `memoryOrigin`(外源标记人面三口)**同判据不同位**:两族今天查后端的同一个面,但它们是**两个
- *    产品面**,一个部署可以只开其中一族。引擎刻意不合并,即使今天两位恒同值 ⇒ **本包也不合并**:
- *    两只读器各持一张 per-baseUrl 表,一只收到读不懂的回体只删自己那一格
- *    ({@link observedMemoryOrigin} 的读数一字不变)。
- *
- * ── 🔴 读法 ─────────────────────────────────────────────────────────────────────────────────
- *  ① 引擎铸这一位时**恒在场**(一格布尔,不是条件在场)⇒ **键缺席 = 老引擎根本不报这一位** ⇒
- *     `not_reported`(判不出)。折成 `false` 就是替引擎断言「这台没有合规面」。
- *  ② `false` 是**明确的否** ⇒ `absent`。wire 上分不出「后端没有控制面归属」与「operator 名单为空」
- *     两种成因(引擎的谓词是合取,回体只有一格布尔)⇒ 措辞**不推因由**。
- *  ③ 严格布尔;`null` / 串 / `0` / `1` / 数组 / 对象一律畸形 ⇒ 删格 ⇒ `unobserved`,🔴 绝不折 `absent`
- *     (读不懂与「明确的否」是两回事)。
- *  ③b caps 回体本身不是对象(`null` / 数组 / 串 / 数)⇒ 畸形删格,**不是** `not_reported`(那一态只说「这是
- *      一份 caps,但没有这一格」)。
- *  ④ 判在场用 `hasOwn`:原型链上的同名键永远不会被序列化上 wire,把它读成在场就是凭空造一格读数。
- *  ⑤ 「两口能不能用」的判据归包:{@link memoryComplianceVerbsAvailable} —— 只有 `present` 才 `'yes'`,
- *     `absent` ⇒ `'no'`(明确的否),其余 ⇒ `'unknown'`(端按 501 试探,不预判)。
- */
-/**
- * 记忆治理面缺席时两族(合规两口 / 外源三口)共用的 501 码 —— **本包唯一铸点**,
- * {@link memoryComplianceDoctorDetail} 与 {@link import('./memoryOriginCapability.js')} 的措辞表都取这一个常量,
- * 两处不许各写一遍字面(码字面漂移时只有一处要改)。
- */
 export declare const MEMORY_ENGINE_REQUIRED_CODE = "capability.memory_engine_required";
-/** 四态读数。`unobserved` 由读口在这一格空缺时铸,不由投影铸。 */
 export type MemoryComplianceReading = {
     kind: 'unobserved';
-}
-/** 键缺席:老引擎不报这一位 ⇒ 判不出(**不是** `absent`)。 */
- | {
+} | {
     kind: 'not_reported';
-}
-/** 位在场且为 `false`:这台部署上两口用不了(成因在 wire 上不可分)。 */
- | {
+} | {
     kind: 'absent';
-}
-/** 位在场且为 `true`:门能过 + 面在场(不承诺这一次调用成功)。 */
- | {
+} | {
     kind: 'present';
 };
-/** caps 回体 → 本格读数;畸形一律 `undefined`(= 这一格不写 ⇒ 读口答 `unobserved`)。 */
 export declare function projectMemoryComplianceCapability(caps: unknown): MemoryComplianceReading | undefined;
-/** 宿主 caps probe 的读面 tee 落点(与诸只兄弟并列)。绝不 throw;畸形 ⇒ 删格;`opts.generation` 关掉旧探测覆盖新读数的竞态。 */
 export declare function noteEngineCapsForMemoryCompliance(baseUrl: string, caps: unknown, opts?: {
     generation?: number;
 }): void;
-/** 本进程观测到的读数;这一格空缺 ⇒ `{kind:'unobserved'}`。 */
 export declare function observedMemoryCompliance(baseUrl?: string | undefined): MemoryComplianceReading;
-/**
- * 「出处问询 / 抹除两口能不能用」的判据单源(三态):只有引擎明说在场才 `'yes'`;明说不在 ⇒ `'no'`;
- * 老引擎不报 / 从没观测 ⇒ `'unknown'`(端按 501 试探,不预判,也不预先藏掉入口)。
- */
 export declare function memoryComplianceVerbsAvailable(reading: MemoryComplianceReading): 'yes' | 'no' | 'unknown';
-/** doctor 那一行的 detail 串,唯一措辞真源。🔴 两种「读不出」的句子都不许暗示「这台没有合规面」。 */
 export declare function memoryComplianceDoctorDetail(reading: MemoryComplianceReading): string;
-/** 换代失效口(引擎温切成功后调):清成未观测。空串 ⇒ no-op;绝不 throw。 */
 export declare function forgetMemoryComplianceReading(baseUrl: string | undefined): void;
-/** 测试钩子。 */
 export declare function __resetMemoryComplianceReadingsForTests(): void;

package/dist/memoryComplianceCapability.js

@@ -1,53 +1,12 @@
-/**
- * memoryComplianceCapability — `GET /v1/capabilities.memoryCompliance` 的三端共用读面(0.76.1 CC-97a;
- * 与 sql / writeProtection / webSearch.backend / executionLane / approvalsStreamLive /
- * deviceExecutor.management 诸只兄弟同一套四态词汇,四口走共用工厂 {@link createEngineCapReader})。
- *
- * ── 这一位答的是哪一个问题 ────────────────────────────────────────────────────────────────
- * 「**出处问询 / 抹除**两口(`GET /v1/memory/entries/:entryId/provenance` ·
- * `POST /v1/memory/erase`,operator 车道)在这台引擎上在不在」。引擎侧的谓词是**两项合取**:
- *  ① 合规面挂上了 —— 挂载期判后端自带引擎控制面归属,缺则整口不挂;
- *  ② 这台部署的 operator 名单**非空** —— 空名单下两口对任何身份恒 403。
- * ⚠️ 位为真**只**保证「门能过 + 面在场」,**不**保证这一次调用成功:控制面账本损坏是**运行期**事实
- *    (typed 500),引擎刻意不把它编进部署级布尔。
- * ⚠️ 与「治理携出 bundle」那一位**不同源**:两位的第一项查的是后端的**不同面**,一个部署可以有 bundle
- *    复合面而没有控制面归属,反之亦然 —— 任一侧都不许拿来替另一侧作答(合成一位会对其中一半撒谎)。
- * ⚠️ 与 `memoryOrigin`(外源标记人面三口)**同判据不同位**:两族今天查后端的同一个面,但它们是**两个
- *    产品面**,一个部署可以只开其中一族。引擎刻意不合并,即使今天两位恒同值 ⇒ **本包也不合并**:
- *    两只读器各持一张 per-baseUrl 表,一只收到读不懂的回体只删自己那一格
- *    ({@link observedMemoryOrigin} 的读数一字不变)。
- *
- * ── 🔴 读法 ─────────────────────────────────────────────────────────────────────────────────
- *  ① 引擎铸这一位时**恒在场**(一格布尔,不是条件在场)⇒ **键缺席 = 老引擎根本不报这一位** ⇒
- *     `not_reported`(判不出)。折成 `false` 就是替引擎断言「这台没有合规面」。
- *  ② `false` 是**明确的否** ⇒ `absent`。wire 上分不出「后端没有控制面归属」与「operator 名单为空」
- *     两种成因(引擎的谓词是合取,回体只有一格布尔)⇒ 措辞**不推因由**。
- *  ③ 严格布尔;`null` / 串 / `0` / `1` / 数组 / 对象一律畸形 ⇒ 删格 ⇒ `unobserved`,🔴 绝不折 `absent`
- *     (读不懂与「明确的否」是两回事)。
- *  ③b caps 回体本身不是对象(`null` / 数组 / 串 / 数)⇒ 畸形删格,**不是** `not_reported`(那一态只说「这是
- *      一份 caps,但没有这一格」)。
- *  ④ 判在场用 `hasOwn`:原型链上的同名键永远不会被序列化上 wire,把它读成在场就是凭空造一格读数。
- *  ⑤ 「两口能不能用」的判据归包:{@link memoryComplianceVerbsAvailable} —— 只有 `present` 才 `'yes'`,
- *     `absent` ⇒ `'no'`(明确的否),其余 ⇒ `'unknown'`(端按 501 试探,不预判)。
- */
 import { engineWireTarget } from './engineWireTarget.js';
 import { createEngineCapReader } from './engineCapReader.js';
-/**
- * 记忆治理面缺席时两族(合规两口 / 外源三口)共用的 501 码 —— **本包唯一铸点**,
- * {@link memoryComplianceDoctorDetail} 与 {@link import('./memoryOriginCapability.js')} 的措辞表都取这一个常量,
- * 两处不许各写一遍字面(码字面漂移时只有一处要改)。
- */
 export const MEMORY_ENGINE_REQUIRED_CODE = 'capability.memory_engine_required';
-/** caps 回体 → 本格读数;畸形一律 `undefined`(= 这一格不写 ⇒ 读口答 `unobserved`)。 */
 export function projectMemoryComplianceCapability(caps) {
-    // 🔴 数组也是畸形:一个数组回体**不是**引擎对 caps 的回答,从它上面读出「老引擎不报这一位」是替引擎
-    //    编了一句它没说的话。`not_reported` 只留给**真的是 caps 对象、但这一格不在**那一形。
     if (caps === null || typeof caps !== 'object' || Array.isArray(caps))
         return undefined;
     const c = caps;
     if (!Object.hasOwn(c, 'memoryCompliance'))
         return { kind: 'not_reported' };
-    // 🔴 只读一次:校验与分臂若各读一次,变化的 getter 能让校验读到布尔、分臂读到别的东西。
     const v = c.memoryCompliance;
     if (v === undefined)
         return { kind: 'not_reported' };
@@ -55,30 +14,17 @@ export function projectMemoryComplianceCapability(caps) {
         return undefined;
     return v ? { kind: 'present' } : { kind: 'absent' };
 }
-/**
- * 本格的 per-baseUrl 读账 + tee / 读口 / 失效口 / 测试钩四口 —— 能力位读器**共用同一份实现**
- * ({@link createEngineCapReader});本文件只留这一格真正不同的部分:投影函数
- * {@link projectMemoryComplianceCapability}、doctor 措辞表与本位的判据助手。
- * 🔴 Map 在工厂闭包里,**一只读器一张**:收到读不懂的回体只删自己这一格,绝不连坐别的能力面
- * (尤其不连坐同判据的 `memoryOrigin`)。
- */
 const reader = createEngineCapReader({
     name: 'memoryCompliance',
     project: projectMemoryComplianceCapability,
     makeUnobserved: () => ({ kind: 'unobserved' }),
 });
-/** 宿主 caps probe 的读面 tee 落点(与诸只兄弟并列)。绝不 throw;畸形 ⇒ 删格;`opts.generation` 关掉旧探测覆盖新读数的竞态。 */
 export function noteEngineCapsForMemoryCompliance(baseUrl, caps, opts) {
     reader.note(baseUrl, caps, opts);
 }
-/** 本进程观测到的读数;这一格空缺 ⇒ `{kind:'unobserved'}`。 */
 export function observedMemoryCompliance(baseUrl = engineWireTarget()?.baseUrl) {
     return reader.observed(baseUrl);
 }
-/**
- * 「出处问询 / 抹除两口能不能用」的判据单源(三态):只有引擎明说在场才 `'yes'`;明说不在 ⇒ `'no'`;
- * 老引擎不报 / 从没观测 ⇒ `'unknown'`(端按 501 试探,不预判,也不预先藏掉入口)。
- */
 export function memoryComplianceVerbsAvailable(reading) {
     if (reading.kind === 'present')
         return 'yes';
@@ -86,7 +32,6 @@ export function memoryComplianceVerbsAvailable(reading) {
         return 'no';
     return 'unknown';
 }
-/** doctor 那一行的 detail 串,唯一措辞真源。🔴 两种「读不出」的句子都不许暗示「这台没有合规面」。 */
 export function memoryComplianceDoctorDetail(reading) {
     switch (reading.kind) {
         case 'unobserved':
@@ -99,11 +44,9 @@ export function memoryComplianceDoctorDetail(reading) {
             return 'memory compliance face on — the entry-provenance and erasure endpoints are mounted and the operator roster is non-empty on this engine; this says the door opens, not that any one call succeeds (a damaged control-plane ledger is a runtime fact and arrives as a typed 500)';
     }
 }
-/** 换代失效口(引擎温切成功后调):清成未观测。空串 ⇒ no-op;绝不 throw。 */
 export function forgetMemoryComplianceReading(baseUrl) {
     reader.forget(baseUrl);
 }
-/** 测试钩子。 */
 export function __resetMemoryComplianceReadingsForTests() {
     reader.__resetForTests();
 }