@sema-agent/client-core 0.77.1 → 0.78.0

package/dist/classifierVerdictWire.d.ts

@@ -1,67 +1,13 @@
-/**
- * ⇄ B2 批搬迁(2026-07-27,多端改造设计稿 §3 B2):cli src/sema/classifierVerdictWire.ts 的
- * **判定半场**搬入(帧识别 + 文案),`surfaceClassifierDeny()` 的**执行半场**留宿主
- * (它写 Ink `AppState.notifications` 并 lazy `require('../utils/autoModeDenials.js')`——
- * 两者都是 TUI/Node 私有面,进不了端无关包)。
- * 🔴 本文件零模块级可变状态(只有常量),故不受 B1「写读口必须同实例」纪律约束:壳侧留
- * 执行半场、判定走本包,是安全的拆缝(B6 T35/T36/T44 同款「判定半场搬入」姿势)。
- * 逐字纪律:CLASSIFIER_DENY_SIGNATURE / NOTICE_REASON_MAX(80)/ 通知行三段格式一字节不改。
- */
-/** core hooks.js 分类器 deny message 的机器签名(逐字锚;lockstep:core 改文案这里必须跟)。 */
 export declare const CLASSIFIER_DENY_SIGNATURE = "auto-mode classifier blocked this call";
 export interface ClassifierDenyVerdict {
-    /** core 裁决原文(已去 system-reminder 包裹),= render 面 stamp 体。 */
     message: string;
-    /** 签名后的 reason 尾巴(`: ` 之后),无则 undefined。 */
     reason?: string;
 }
-/**
- * 结构性识别一张 tool_end 帧是否为分类器 deny 裁决帧。
- * 判定 = isError:true ∧ 错误体(去包裹后)以 core 机器签名开头。识别不中 ⇒ undefined(原路)。
- */
 export declare function classifierDenyFromToolEnd(ev: {
     type?: unknown;
     isError?: unknown;
     output?: unknown;
 }): ClassifierDenyVerdict | undefined;
-/**
- * {@link classifierDenyDisplay} 的返回上界(字符数,含末尾省略号)。
- *
- * 🔴 为什么必须有界:入参 `args` 是**模型产出**的工具入参(UNTRUSTED),`Bash.command` 与
- *    `Write.file_path` 都可以是任意长度的串。呈现面(cli 的 /permissions Recent Denials 是一行、
- *    `wrap="truncate"`)自己也会截,但**库不许交出一个没有上限的串** —— 端把它塞进别的容器
- *    (通知行、日志、剪贴板)时那道呈现截断就不在了。
- * 🔴 **本上界量的是「交出去的原文长度」,不是端渲出来那一行的最终宽度**(异源对抗复审 R1
- *    finding③ 采纳的措辞订正):控制符 / 双向符 / 换行的可见化是**展示消毒**,归端
- *    (cli `cleanUntrustedForDisplay`),而消毒会**变长** —— 200 个 ESC 在这里长度是 200,端把它们
- *    逐个转成 `\u001B` 之后是 1200。⇒ **端在自己消毒之后必须再按自己的行宽兜一次底**,别把本常量
- *    读成「拿到手就一定不超过 200 个显示格」。
- * 🔴 那为什么库不干脆先消毒再截(那样最终宽度就守得住)?因为消毒的字符集只能有**一份**:库里消
- *    一遍、端再消一遍,两份字符集必然漂([machine-readable-signal-not-visual-anchor] 同族),而
- *    端那一份还要管别的载体(hook 名 / fleet 行标签)。分工是刻意的:库守「原文不无限长」,
- *    端守「渲出来那一行不超宽」。
- */
 export declare const CLASSIFIER_DENY_DISPLAY_MAX = 200;
-/**
- * 一条分类器拒绝行的**显示名**:三端同形的「这一行说的是哪条命令 / 哪个文件」判定。
- *
- * 为什么在库里(而不是各端自己拼):端要渲的是同一件事(Recent Denials 行 / 通知行 / retry 提示),
- * 判据(读哪个入参键、什么算「在场」、上界多少)三端各写一遍必然各错一遍;而这是**纯判定**、零 IO、
- * 零展示——正合本包的归层。
- *
- * 判据(逐条):
- *   · `Bash` ⇒ `args.command`;`Read`/`Write`/`Edit`/`MultiEdit` ⇒ `args.file_path`;
- *     `NotebookEdit` ⇒ `args.notebook_path`(见 {@link DISPLAY_ARG_KEY_BY_TOOL});表外工具 ⇒ 工具名;
- *   · 取到的值**必须是非空串**(trim 后非空)——非串 / 缺席 / 空串 / 纯空白一律回落工具名。
- *     🔴 回落**不是**「渲一个空行」:一个空的显示名会让那一行看起来像坏了,而工具名至少是真的;
- *   · 工具名自身为空 ⇒ `'tool'`(与同文件 {@link classifierDenyNoticeText} 的兜底逐字同款);
- *   · 结果长度上界 {@link CLASSIFIER_DENY_DISPLAY_MAX}(超出 ⇒ 截到上界、末位换 `…`)。
- *
- * 🔴 **绝不**在这里做展示消毒(控制符/双向符/换行)——那是端的事,理由见
- *    {@link CLASSIFIER_DENY_DISPLAY_MAX} 头注。返回值仍然是 **UNTRUSTED-for-display**。
- * 🔴 本函数**不**回答 retry 粒度:重试哪一只调用、按什么规则铸,是端侧规则面的事
- *    (身份锚 = `ClassifierDenyContext.toolCallId`)。
- */
 export declare function classifierDenyDisplay(toolName: string, args: unknown): string;
-/** 通知行文案(exported for tests;CC 207 三段 text 化)。 */
 export declare function classifierDenyNoticeText(toolName: string, reason: string | undefined): string;

package/dist/classifierVerdictWire.js

@@ -1,43 +1,6 @@
-/**
- * ⇄ B2 批搬迁(2026-07-27,多端改造设计稿 §3 B2):cli src/sema/classifierVerdictWire.ts 的
- * **判定半场**搬入(帧识别 + 文案),`surfaceClassifierDeny()` 的**执行半场**留宿主
- * (它写 Ink `AppState.notifications` 并 lazy `require('../utils/autoModeDenials.js')`——
- * 两者都是 TUI/Node 私有面,进不了端无关包)。
- * 🔴 本文件零模块级可变状态(只有常量),故不受 B1「写读口必须同实例」纪律约束:壳侧留
- * 执行半场、判定走本包,是安全的拆缝(B6 T35/T36/T44 同款「判定半场搬入」姿势)。
- * 逐字纪律:CLASSIFIER_DENY_SIGNATURE / NOTICE_REASON_MAX(80)/ 通知行三段格式一字节不改。
- */
-/**
- * src/sema/classifierVerdictWire.ts — auto-mode 分类器裁决帧的壳侧消费(分类器批3 壳半场,[907])。
- *
- * WIRE 形状(gap-check 2026-07-16 实勘,core 1.279 dist 亲核):
- *   引擎侧分类器 block(core hooks.js runToolGate)→ decision = deny + decisionReason:"classifier",
- *   permissionDenied 钩子收 source:"classifier"(server 1.209 只作 metrics 计量,不出独立 deny 帧)——
- *   壳能看见的唯一 wire 事实 = `tool_end` 帧:
- *     { type:'tool_end', isError:true, output: [{type:'text', text:'<system-reminder>\n
- *       auto-mode classifier blocked this call[: <reason>|: [<category>]]\n</system-reminder>'}] }
- *   (core hooks.js L138 deny message 逐字 + formatHookFeedback 包 system-reminder;
- *    agent-loop createErrorToolResult 落 content 数组;runtask toolOutputFrom 原样上 wire。)
- *   ⇒ 消费面按此签名结构性识别,等价于「deny 帧带 source:'classifier'」的判定(签名字符串是
- *   core 的机器产文面,非模型作文——模型 echo 不会以该签名做 tool_end 错误体开头)。
- *
- * 🔴 fail-soft 铁律:识别不中一律静默走原路,绝不伤害事件流。
- * 🔴 UNTRUSTED:reason 为分类器(模型)产文,只渲染绝不回喂;通知行截断 ≤80(207 同款)。
- */
-/**
- * 🟢 B8 ALLOW 清单登记(REF-CC-域词表-05,属主=client-core 规范重构轮,到期复议=core 改这句
- * deny message 文案时或 2026-Q4 复审以先到者为准):文本匹配 + 非文本结构性合取前置
- * (`ev.type==='tool_end' && ev.isError===true`,见 `classifierDenyFromToolEnd`)。同批同表的
- * 另两处:`detachWire.ts` `DETACH_DURABLE_OFF_400_ANCHOR`(server 契约话)、
- * `subagent/engineTaskHandleWire.ts` `STOP_CONFLICT_CODES`(SDK typed 缺席回落)——三处互指,
- * 理由逐条写在各自站点。
- */
 import { unwrapSystemReminder } from './systemReminderTag.js';
-/** core hooks.js 分类器 deny message 的机器签名(逐字锚;lockstep:core 改文案这里必须跟)。 */
 export const CLASSIFIER_DENY_SIGNATURE = 'auto-mode classifier blocked this call';
-/** 通知 reason 段截断(CC 207 L696763 同款 80 → 79+…)。 */
 const NOTICE_REASON_MAX = 80;
-/** wire tool_end.output → 文本(string / content 块数组 / {content} 三形;识别用,轻量本地版)。 */
 function textFromWireOutput(output) {
     if (typeof output === 'string')
         return output;
@@ -53,40 +16,18 @@ function textFromWireOutput(output) {
         .filter((t) => t !== undefined);
     return texts.length > 0 ? texts.join('\n') : undefined;
 }
-/**
- * core 分类器 deny 的**三个**铸点(core 5.52.0 dist 逐字枚举,候选③ [4974]):
- *   ① `core/hooks.js:606`                    —— 基础形;
- *   ② `core/runner/prepare-task.js:3103/3192` —— 继承自祖先层形;
- *   ③ `core/runner/prepare-task.js:3023`      —— 「批准过的编辑」在祖先层被拦形。
- * 三者尾巴同形:`: ${reason}` 或 `: [${category}]`(都没有时整条到此为止)。
- *
- * 🔴 **顺序即语义**:① 是 ② 的**前缀**,短的排在后面 —— 反过来的话 ② 会被 ① 蒙对,而 `tail` 变成
- * ` at an inherited ancestor layer: …`,不以 `': '` 开头 ⇒ **reason 整条丢失**(修前实况)。
- * 🔴 逐字锚,不做模糊匹配(B8 ALLOW 登记的既有纪律):core 改文案这里必须跟车。
- */
 const CLASSIFIER_DENY_FORMS = [
     'auto-mode classifier blocked the approved edit at an inherited ancestor layer',
     'auto-mode classifier blocked this call at an inherited ancestor layer',
     CLASSIFIER_DENY_SIGNATURE,
 ];
-/**
- * 结构性识别一张 tool_end 帧是否为分类器 deny 裁决帧。
- * 判定 = isError:true ∧ 错误体(去包裹后)以 core 机器签名开头。识别不中 ⇒ undefined(原路)。
- */
 export function classifierDenyFromToolEnd(ev) {
     if (!ev || ev.type !== 'tool_end' || ev.isError !== true)
         return undefined;
     const raw = textFromWireOutput(ev.output);
     if (raw === undefined)
         return undefined;
-    // 件⑥([4974]):剥壳走**单一闸口** —— core ≥5.46 的开标签恒带 `mark="…"`,而这里原来锚的是
-    // 裸开标签 ⇒ 恒剥不掉 ⇒ 下面的 startsWith 恒不成立 ⇒ 整条 auto-deny 呈现面静默失效。
-    // 口径与另一座位(`subagent/engineDelegatedPrompt`)共用一份,见该模块头注。
     const message = unwrapSystemReminder(raw).trim();
-    // 🔴 前缀**不是**语法(七审 finding③):命中之后还要看**边界**。core 的铸点尾巴只有两种形 ——
-    //    到此为止,或紧跟 `': '`(reason / `[category]` 都走这一个分隔)。少了这条,
-    //    `…ancestor layerX` 这类近似串也会被判成分类器裁决,而那条路径会 `markEnded` + 摘 HOLD +
-    //    写 Recent Denials + 用裁决原文覆盖渲染 —— 任何能产出工具错误正文的工具都能伪造。
     const form = CLASSIFIER_DENY_FORMS.find((f) => message.startsWith(f) && (message.length === f.length || message.startsWith(': ', f.length)));
     if (form === undefined)
         return undefined;
@@ -94,37 +35,7 @@ export function classifierDenyFromToolEnd(ev) {
     const reason = tail.startsWith(': ') ? tail.slice(2).trim() : undefined;
     return { message, ...(reason !== undefined && reason.length > 0 ? { reason } : {}) };
 }
-// ── L-69⑨(0.52.0):被拒行的**行文案判定**(三端同形)────────────────────────────────────────
-/**
- * {@link classifierDenyDisplay} 的返回上界(字符数,含末尾省略号)。
- *
- * 🔴 为什么必须有界:入参 `args` 是**模型产出**的工具入参(UNTRUSTED),`Bash.command` 与
- *    `Write.file_path` 都可以是任意长度的串。呈现面(cli 的 /permissions Recent Denials 是一行、
- *    `wrap="truncate"`)自己也会截,但**库不许交出一个没有上限的串** —— 端把它塞进别的容器
- *    (通知行、日志、剪贴板)时那道呈现截断就不在了。
- * 🔴 **本上界量的是「交出去的原文长度」,不是端渲出来那一行的最终宽度**(异源对抗复审 R1
- *    finding③ 采纳的措辞订正):控制符 / 双向符 / 换行的可见化是**展示消毒**,归端
- *    (cli `cleanUntrustedForDisplay`),而消毒会**变长** —— 200 个 ESC 在这里长度是 200,端把它们
- *    逐个转成 `\u001B` 之后是 1200。⇒ **端在自己消毒之后必须再按自己的行宽兜一次底**,别把本常量
- *    读成「拿到手就一定不超过 200 个显示格」。
- * 🔴 那为什么库不干脆先消毒再截(那样最终宽度就守得住)?因为消毒的字符集只能有**一份**:库里消
- *    一遍、端再消一遍,两份字符集必然漂([machine-readable-signal-not-visual-anchor] 同族),而
- *    端那一份还要管别的载体(hook 名 / fleet 行标签)。分工是刻意的:库守「原文不无限长」,
- *    端守「渲出来那一行不超宽」。
- */
 export const CLASSIFIER_DENY_DISPLAY_MAX = 200;
-/**
- * 每只工具「拿哪个入参当行文案」的表(逐字锚 CC/sema 的工具入参键名,实测直证 sema-cli
- * `src/tools/*`:`BashTool` = `command`、`FileReadTool`/`FileWriteTool`/`FileEditTool` = `file_path`、
- * `NotebookEditTool` = **`notebook_path`**)。
- *
- * 🔴 `NotebookEdit` 的键**不是** `file_path`(它是 `notebook_path`)—— 写成 `file_path` 不会报错,
- *    只会让这只工具**永远**落回工具名兜底,而那正好和「没实现」长得一模一样(静默无效)。
- * 🔴 键名归一按 `toolNameKey`(去空白/下划线/连字符 + 小写),与本仓 `toolNameIsFsWrite` /
- *    `toolNameIsShellExec` 的归一姿势逐字同款 —— 引擎侧工具名的书写形不由本包决定。
- * 🔴 表**外**的工具一律回落工具名:这是一张**识别表**,不是「合法工具只有这些」
- *    (`engineErrorCodes` 的开集纪律同族)。
- */
 const DISPLAY_ARG_KEY_BY_TOOL = new Map([
     ['bash', 'command'],
     ['read', 'file_path'],
@@ -136,30 +47,9 @@ const DISPLAY_ARG_KEY_BY_TOOL = new Map([
     ['multiedit', 'file_path'],
     ['notebookedit', 'notebook_path'],
 ]);
-/** 工具名归一(与 `hitl/toolApprovalWire.ts` 的两个谓词逐字同款)。 */
 function toolNameKey(name) {
     return name.replace(/[\s_-]+/g, '').toLowerCase();
 }
-/**
- * 一条分类器拒绝行的**显示名**:三端同形的「这一行说的是哪条命令 / 哪个文件」判定。
- *
- * 为什么在库里(而不是各端自己拼):端要渲的是同一件事(Recent Denials 行 / 通知行 / retry 提示),
- * 判据(读哪个入参键、什么算「在场」、上界多少)三端各写一遍必然各错一遍;而这是**纯判定**、零 IO、
- * 零展示——正合本包的归层。
- *
- * 判据(逐条):
- *   · `Bash` ⇒ `args.command`;`Read`/`Write`/`Edit`/`MultiEdit` ⇒ `args.file_path`;
- *     `NotebookEdit` ⇒ `args.notebook_path`(见 {@link DISPLAY_ARG_KEY_BY_TOOL});表外工具 ⇒ 工具名;
- *   · 取到的值**必须是非空串**(trim 后非空)——非串 / 缺席 / 空串 / 纯空白一律回落工具名。
- *     🔴 回落**不是**「渲一个空行」:一个空的显示名会让那一行看起来像坏了,而工具名至少是真的;
- *   · 工具名自身为空 ⇒ `'tool'`(与同文件 {@link classifierDenyNoticeText} 的兜底逐字同款);
- *   · 结果长度上界 {@link CLASSIFIER_DENY_DISPLAY_MAX}(超出 ⇒ 截到上界、末位换 `…`)。
- *
- * 🔴 **绝不**在这里做展示消毒(控制符/双向符/换行)——那是端的事,理由见
- *    {@link CLASSIFIER_DENY_DISPLAY_MAX} 头注。返回值仍然是 **UNTRUSTED-for-display**。
- * 🔴 本函数**不**回答 retry 粒度:重试哪一只调用、按什么规则铸,是端侧规则面的事
- *    (身份锚 = `ClassifierDenyContext.toolCallId`)。
- */
 export function classifierDenyDisplay(toolName, args) {
     const fallback = toolName.length > 0 ? toolName : 'tool';
     const key = DISPLAY_ARG_KEY_BY_TOOL.get(toolNameKey(toolName));
@@ -172,40 +62,17 @@ export function classifierDenyDisplay(toolName, args) {
         return bounded(fallback);
     return bounded(raw);
 }
-/**
- * 上界裁剪(超限 ⇒ 截到上界、末位换 `…`;与 {@link classifierDenyNoticeText} 的截法同形)。
- *
- * 🔴 **本函数守的是「截断不制造畸形」,不是「输出一定 well-formed」**(措辞由异源对抗复审 R2
- *    finding 订正 —— 上一版写成「绝不交出孤代理项」是**过度声称**)。两件事必须分开:
- *      · **截断制造的**孤高代理项 = 本函数的责任。`slice` 按 UTF-16 码元切,边界正好落在一个 emoji /
- *        星平面字符的**代理对中间**时,交出去的是一个本来不存在的畸形串 —— 那是本层自己弄坏的,
- *        必须自己不弄坏(少切一个码元、结果短一格)。
- *      · **输入里本来就有的**孤代理项(高或低)= **原样透出**,与本文件其余 UNTRUSTED 位一个待遇。
- *        `JSON.parse('"\ud800"')` 完全合法,所以这种入参是真实存在的;而把它「修好」就是**展示消毒**
- *        —— 那一份在本包里已有唯一真源:{@link escapeDisplayControlChars}(`fleetTaskDesc.ts`,公面导出),
- *        它的头注逐字点名这一族:「孤代理项:上游可能本来就送半只,或被列宽截断劈开」。在这里再消一遍
- *        = 第二份字符集,正是那条单源纪律要防的事。
- * 🔴 因此只回退**末位的高代理项**这一形:那是本函数唯一可能自己造出来的畸形(切的永远是前缀,
- *    所以断口只在尾部)。末位是低代理项 ⇒ 要么它的高位还在串里(配对完整),要么它在输入里本来就是
- *    孤的(上一条,原样透出)。
- * 🔴 组合记号 / 变体选择符 / ZWJ 序列被切开只是「显示成两个字」,仍是合法 Unicode —— 本函数不做
- *    字素簇分段(那要一整份 grapheme 表,且属于**渲染**面,与本文件的分工线一致)。
- */
 function bounded(s) {
     if (s.length <= CLASSIFIER_DENY_DISPLAY_MAX)
         return s;
     const keep = CLASSIFIER_DENY_DISPLAY_MAX - 1;
     let cut = s.slice(0, keep);
     const last = cut.charCodeAt(cut.length - 1);
-    // 🔴 只有「末位是高代理项 **且** 原串紧接着的那个码元是低代理项」才是被截断劈开的合法代理对(本层
-    //    自己造的畸形,少切一格);末位高代理项后面跟的不是低代理项 ⇒ 它在输入里本来就是孤的 ⇒ 原样透出
-    //    (对抗复审 r3 [medium]:无条件回退会静默删掉输入自带的孤高代理项,违反上面的分工线)。
     const next = s.charCodeAt(keep);
     if (last >= 0xd800 && last <= 0xdbff && next >= 0xdc00 && next <= 0xdfff)
         cut = cut.slice(0, -1);
     return `${cut}\u2026`;
 }
-/** 通知行文案(exported for tests;CC 207 三段 text 化)。 */
 export function classifierDenyNoticeText(toolName, reason) {
     let r = reason ?? '';
     if (r.length > NOTICE_REASON_MAX)

package/dist/clientContextWireCaps.d.ts

@@ -1,46 +1,9 @@
-/**
- * ⇄ B2 批搬迁(2026-07-27,多端改造设计稿 §3 B2):cli src/sema/clientContextWireCaps.ts 逐字搬入(零依赖)。
- */
-/**
- * src/sema/clientContextWireCaps.ts — PURE projection: the user's LOCAL identity facts (time zone + optional
- * email) → the `TaskRequest.clientContext` object the SERVICE relays to core `TaskSpec.clientContext`.
- *
- * THE GAP THIS CLOSES (design/112, core/search AI 2026-06-30 — core 1.181): the worker container runs UTC and
- * knows neither the user's time zone nor their identity. Without this, core renders the `# Environment` block's
- * "today" in CONTAINER time (UTC) — a TOB-fleet user in Asia/Tokyo sees the wrong date, and the model has no
- * email to attribute work. core 1.181 added the seam `TaskSpec.clientContext?: { timeZone?, userEmail? }`; the
- * CLIENT half is the shell stamping the user's real IANA zone (+ email when known) onto every request, so core
- * localizes "today" to the user's zone and ANNOTATES it (e.g. `(Asia/Tokyo)`); absent ⇒ core annotates `(UTC)`.
- *
- * SECURITY/CONTRACT (core 1.186 hardening, blackboard 2026-06-30):
- *   - The `locale` field was a DEAD (zero-consumer) field in 1.181 and was DELETED in 1.186 — we NEVER set it
- *     (only `timeZone` + `userEmail` actually drive rendering). An invalid IANA zone is core's problem to
- *     validate (1.186: a malformed zone falls back to UTC + `(UTC)` rather than lying); the shell just forwards
- *     what `Intl` resolved (always a valid zone on a real host).
- *   - `userEmail` is benign identity metadata, NOT a secret/token (TaskRequest secret discipline still holds —
- *     no tokens cross here). Sourced from `SEMA_USER_EMAIL` only when the shell actually knows it; absent ⇒ omit.
- *
- * PURE — no module-scope IO of its OWN beyond the caller-supplied `timeZone` + `env`, so it bundles + unit-tests
- * without the heavy settings/Intl graph (the caller passes the cached `getTimeZone()` from utils/intl). Mirrors
- * the other *WireCaps projection modules (selfOrchestration/webSearch).
- */
 import { type EnvLike } from './hostEnv.js';
-/** The env key the shell reads for the user's email (optional). SEMA_-namespaced. */
 export declare const USER_EMAIL_ENV: "SEMA_USER_EMAIL";
-/** The `clientContext` shape the SDK exposes (core 1.186: ONLY timeZone + userEmail are live fields). */
 export interface ClientContext {
     timeZone?: string;
     userEmail?: string;
 }
-/**
- * Build the `{ clientContext }` partial for `toTaskRequest` to spread.
- *   - `timeZone`: the caller's resolved IANA zone (utils/intl `getTimeZone()` — always a valid zone on a host).
- *     Omitted only if the host has no resolvable zone (degenerate stripped-ICU) so core annotates `(UTC)`.
- *   - `userEmail`: trimmed `SEMA_USER_EMAIL`, only when non-empty. Never the empty string (that would read as a
- *     present-but-blank email to core). Absent env ⇒ omitted.
- * Returns `{}` (no `clientContext` key) only when BOTH are absent, so a zone-less + email-less host keeps the
- * request shape unchanged (core defaults to UTC annotation).
- */
 export declare function clientContextField(timeZone: string | undefined, env?: EnvLike): {
     clientContext?: ClientContext;
 };

package/dist/clientContextWireCaps.js

@@ -1,41 +1,5 @@
-/**
- * ⇄ B2 批搬迁(2026-07-27,多端改造设计稿 §3 B2):cli src/sema/clientContextWireCaps.ts 逐字搬入(零依赖)。
- */
-/**
- * src/sema/clientContextWireCaps.ts — PURE projection: the user's LOCAL identity facts (time zone + optional
- * email) → the `TaskRequest.clientContext` object the SERVICE relays to core `TaskSpec.clientContext`.
- *
- * THE GAP THIS CLOSES (design/112, core/search AI 2026-06-30 — core 1.181): the worker container runs UTC and
- * knows neither the user's time zone nor their identity. Without this, core renders the `# Environment` block's
- * "today" in CONTAINER time (UTC) — a TOB-fleet user in Asia/Tokyo sees the wrong date, and the model has no
- * email to attribute work. core 1.181 added the seam `TaskSpec.clientContext?: { timeZone?, userEmail? }`; the
- * CLIENT half is the shell stamping the user's real IANA zone (+ email when known) onto every request, so core
- * localizes "today" to the user's zone and ANNOTATES it (e.g. `(Asia/Tokyo)`); absent ⇒ core annotates `(UTC)`.
- *
- * SECURITY/CONTRACT (core 1.186 hardening, blackboard 2026-06-30):
- *   - The `locale` field was a DEAD (zero-consumer) field in 1.181 and was DELETED in 1.186 — we NEVER set it
- *     (only `timeZone` + `userEmail` actually drive rendering). An invalid IANA zone is core's problem to
- *     validate (1.186: a malformed zone falls back to UTC + `(UTC)` rather than lying); the shell just forwards
- *     what `Intl` resolved (always a valid zone on a real host).
- *   - `userEmail` is benign identity metadata, NOT a secret/token (TaskRequest secret discipline still holds —
- *     no tokens cross here). Sourced from `SEMA_USER_EMAIL` only when the shell actually knows it; absent ⇒ omit.
- *
- * PURE — no module-scope IO of its OWN beyond the caller-supplied `timeZone` + `env`, so it bundles + unit-tests
- * without the heavy settings/Intl graph (the caller passes the cached `getTimeZone()` from utils/intl). Mirrors
- * the other *WireCaps projection modules (selfOrchestration/webSearch).
- */
 import { hostEnv } from './hostEnv.js';
-/** The env key the shell reads for the user's email (optional). SEMA_-namespaced. */
 export const USER_EMAIL_ENV = 'SEMA_USER_EMAIL';
-/**
- * Build the `{ clientContext }` partial for `toTaskRequest` to spread.
- *   - `timeZone`: the caller's resolved IANA zone (utils/intl `getTimeZone()` — always a valid zone on a host).
- *     Omitted only if the host has no resolvable zone (degenerate stripped-ICU) so core annotates `(UTC)`.
- *   - `userEmail`: trimmed `SEMA_USER_EMAIL`, only when non-empty. Never the empty string (that would read as a
- *     present-but-blank email to core). Absent env ⇒ omitted.
- * Returns `{}` (no `clientContext` key) only when BOTH are absent, so a zone-less + email-less host keeps the
- * request shape unchanged (core defaults to UTC annotation).
- */
 export function clientContextField(timeZone, env = hostEnv()) {
     const rawEmail = env[USER_EMAIL_ENV];
     const userEmail = typeof rawEmail === 'string' ? rawEmail.trim() : '';

package/dist/clientSlice.d.ts

@@ -1,100 +1,50 @@
-/**
- * clientSlice.ts — **verb 门面接口定型**(B4,设计稿 §8-1 裁决:「要,但只定接口不定实现」)。
- *
- * ## 为什么要有这一层
- *
- * §6.1.4 解包 CC 桌面端量到 **854 条 IPC 通道**(`ns_$_Service_$_method`),其中会话相关的
- * `LocalSessions` 一族就有 212 个 verb。那一层客观存在而且很大 —— **不定接口,每端会各长一套**,
- * 于是 HITL 权威登记、通知直结这些「必须只有一个落点」的东西会被重写三遍。
- *
- * ## 但它**只是接口**
- *
- * 🔴 本文件不导出任何 IPC / HTTP / SDK 实现,一行运行时代码都没有(编译产物只有类型)。
- * 依据公理一:CC 的皮肤形状不进 wire ⇒ **IPC 的形状同样不该进 wire**。谁来实现:
- *   · TUI  = 直接把 `@sema-agent/sdk` 的 AgentClient 方法接上;
- *   · web  = BFF 转发(逐请求注入 principal);
- *   · 桌面 = 主进程 IPC(CC 同款 `ns_$_Service_$_method` 形)。
- *
- * ## 判据:什么进这个接口
- *
- * **会话运行时自己会调的 verb 才进**。纯 UI 触发、端各自决定的动作(开面板、切主题、选文件)
- * 不进 —— 那些是端的事。今天这张表按 cli 现役会话链路归纳,`additive` 演进(只增不改),
- * 与 `CHROME_ARMS` 一样做成可断言的数据出口。
- */
-/** 一个 verb 的登记项(覆盖率断言用;与 `CHROME_ARMS` 同形)。 */
 export interface ClientVerbSpec {
-    /** `ClientSliceLike` 上的方法名。 */
     verb: string;
-    /** 缺它会让**已发生的行为丢失**(而不是少个装饰)⇒ required。 */
     required: boolean;
     duty: string;
 }
-/**
- * 会话运行时需要宿主提供的 verb 集合(**结构型**:实现方不必 implements,形状对上即可)。
- *
- * 全部返回 Promise —— 三端里有两端是跨进程/跨网络的,同步形会逼 web/桌面造假。
- */
 export interface ClientSliceLike {
-    /** 发起一个 turn,拿到 wire 帧流(喂给 `adapt()`)。 */
     streamTask(req: unknown, opts?: {
         signal?: {
             readonly aborted: boolean;
         };
     }): AsyncIterable<unknown>;
-    /** 取消在跑的 run(Esc / `-p` 的信号兜底)。 */
     cancelRun(runId: string): Promise<void>;
-    /** 工具审批决断。`boundCallId` / `boundInputHash` **必须原样回显**,一个字节不改。 */
     respondApproval(input: {
         approvalId: string;
         decision: 'allow' | 'deny';
         boundCallId: string;
         boundInputHash: string;
     }): Promise<void>;
-    /** AskUserQuestion 应答。 */
     respondQuestion(input: {
         questionId: string;
         answer: unknown;
     }): Promise<void>;
-    /** plan-review 决断(`done{status:"needs_review"}` + gate `plan_review` 的 resume 腿)。 */
     respondPlanReview(input: {
         taskId: string;
         approved: boolean;
         feedback?: string;
     }): Promise<void>;
-    /** 后台子代的实时转录尾巴(查看态)。 */
     tailSubagent(taskId: string): AsyncIterable<unknown>;
-    /** 给在跑的子代插话(steer)。 */
     steerSubagent(input: {
         taskId: string;
         text: string;
     }): Promise<void>;
-    /** 唤醒已停机的保留子代(design/144 `retainSubagentSessions` 的兑现面)。 */
     wakeSubagent(input: {
         taskId: string;
         message: string;
     }): Promise<void>;
-    /** fleet 行帧流(常开;后台子代唯一在场的 lane)。 */
     streamFleet(): AsyncIterable<unknown>;
-    /** 列会话(resume 选单)。 */
     listSessions(input?: {
         limit?: number;
     }): Promise<unknown>;
-    /** 读一个会话的转录(桌面与 TUI 共享 `~/.claude/projects/**` 的先例,§8-11)。 */
     readSession(sessionId: string): Promise<unknown>;
-    /** 引擎 caps(壳侧所有 `engineCapTrue` 门的数据源)。 */
     capabilities(): Promise<unknown>;
-    /** 健康探测(🔴 语义差见 `probeHealth` 记账:SDK 要求 `status==='ok'`,壳现实现只要 `res.ok`)。 */
     probeHealth(): Promise<{
         ok: boolean;
         version?: string;
     }>;
 }
-/**
- * verb 覆盖率断言出口(§8-1 的另一半)。
- *
- * 宿主自检遍历本表,对 `required:true` 的逐条断言"我实现了"。不实现 ≠ 报错,是**那个面在该端是哑的**
- * —— 与 `CHROME_ARMS` 同一套纪律:把义务做成数据,而不是散落在注释里。
- */
 export declare const CLIENT_VERBS: readonly [{
     readonly verb: "streamTask";
     readonly required: true;
@@ -152,18 +102,5 @@ type _MissingFromTable = Exclude<keyof ClientSliceLike, (typeof CLIENT_VERBS)[nu
 type _ExtraInTable = Exclude<(typeof CLIENT_VERBS)[number]['verb'], keyof ClientSliceLike>;
 type _MustBeNever<T extends never> = T;
 export type _VerbTableClosure = [_MustBeNever<_MissingFromTable>, _MustBeNever<_ExtraInTable>];
-/**
- * 🔴 `probeHealth` 的**行为差记账**(B4,设计稿 §3 B4 第四件明确要求先保旧行为)。
- *
- * 壳里两处手拼 `/health`(`S/limitsWire.ts:225`、`S/detachWire.ts:82`)判的是 **`res.ok`**
- * (HTTP 2xx 即算活);SDK 的 `probeHealth` 额外要求 **`body.status === 'ok'`**。
- * 差异面:引擎起来了但自报 degraded(2xx + `status!=='ok'`)时 —— 手拼判**活**,SDK 判**死**。
- *
- * B4 的处置:**先保旧行为**(不换,两处仍判 `res.ok`),差异记在这里候裁。
- * 换的话是行为改动,要按宪法三问单独立项:
- *   · 谁需要:degraded 引擎上 `--max-*` 版本门与 detach 头版本门本就该保守拒发 ⇒ SDK 语义更对;
- *   · 谁受害:自报 degraded 但功能其实在线的引擎,`-p` 会少发 detach 头(断连即杀 run)⇒ 真回归;
- *   · 补偿:换之前先量一次"degraded 但可用"在真部署里出不出现。
- */
 export declare const PROBE_HEALTH_DIVERGENCE: string;
 export {};

package/dist/clientSlice.js

@@ -1,35 +1,3 @@
-/**
- * clientSlice.ts — **verb 门面接口定型**(B4,设计稿 §8-1 裁决:「要,但只定接口不定实现」)。
- *
- * ## 为什么要有这一层
- *
- * §6.1.4 解包 CC 桌面端量到 **854 条 IPC 通道**(`ns_$_Service_$_method`),其中会话相关的
- * `LocalSessions` 一族就有 212 个 verb。那一层客观存在而且很大 —— **不定接口,每端会各长一套**,
- * 于是 HITL 权威登记、通知直结这些「必须只有一个落点」的东西会被重写三遍。
- *
- * ## 但它**只是接口**
- *
- * 🔴 本文件不导出任何 IPC / HTTP / SDK 实现,一行运行时代码都没有(编译产物只有类型)。
- * 依据公理一:CC 的皮肤形状不进 wire ⇒ **IPC 的形状同样不该进 wire**。谁来实现:
- *   · TUI  = 直接把 `@sema-agent/sdk` 的 AgentClient 方法接上;
- *   · web  = BFF 转发(逐请求注入 principal);
- *   · 桌面 = 主进程 IPC(CC 同款 `ns_$_Service_$_method` 形)。
- *
- * ## 判据:什么进这个接口
- *
- * **会话运行时自己会调的 verb 才进**。纯 UI 触发、端各自决定的动作(开面板、切主题、选文件)
- * 不进 —— 那些是端的事。今天这张表按 cli 现役会话链路归纳,`additive` 演进(只增不改),
- * 与 `CHROME_ARMS` 一样做成可断言的数据出口。
- */
-/**
- * verb 覆盖率断言出口(§8-1 的另一半)。
- *
- * 宿主自检遍历本表,对 `required:true` 的逐条断言"我实现了"。不实现 ≠ 报错,是**那个面在该端是哑的**
- * —— 与 `CHROME_ARMS` 同一套纪律:把义务做成数据,而不是散落在注释里。
- */
-// 🔴 **不要**给这个 const 加 `: readonly ClientVerbSpec[]` 注解 —— 注解会把 `verb` 拓宽成 `string`,
-// 下面那道编译期双向闭合门就变成恒真的空转(B4 首写时正是这么写的,加注解后 `Exclude` 恒为 `string`
-// ⇒ 门当场红且删表项也红,红得毫无判别力)。用 `as const satisfies` 既约束形状又保住字面量类型。
 export const CLIENT_VERBS = [
     { verb: 'streamTask', required: true, duty: '发起 turn 并回 wire 帧流(会话运行时的入口)' },
     { verb: 'cancelRun', required: true, duty: '取消在跑的 run(不实现 = Esc 只停渲染,引擎照跑)' },
@@ -45,18 +13,5 @@ export const CLIENT_VERBS = [
     { verb: 'capabilities', required: true, duty: '引擎 caps(所有能力门的数据源;不实现 = 门全判假)' },
     { verb: 'probeHealth', required: false, duty: '健康探测' },
 ];
-/**
- * 🔴 `probeHealth` 的**行为差记账**(B4,设计稿 §3 B4 第四件明确要求先保旧行为)。
- *
- * 壳里两处手拼 `/health`(`S/limitsWire.ts:225`、`S/detachWire.ts:82`)判的是 **`res.ok`**
- * (HTTP 2xx 即算活);SDK 的 `probeHealth` 额外要求 **`body.status === 'ok'`**。
- * 差异面:引擎起来了但自报 degraded(2xx + `status!=='ok'`)时 —— 手拼判**活**,SDK 判**死**。
- *
- * B4 的处置:**先保旧行为**(不换,两处仍判 `res.ok`),差异记在这里候裁。
- * 换的话是行为改动,要按宪法三问单独立项:
- *   · 谁需要:degraded 引擎上 `--max-*` 版本门与 detach 头版本门本就该保守拒发 ⇒ SDK 语义更对;
- *   · 谁受害:自报 degraded 但功能其实在线的引擎,`-p` 会少发 detach 头(断连即杀 run)⇒ 真回归;
- *   · 补偿:换之前先量一次"degraded 但可用"在真部署里出不出现。
- */
 export const PROBE_HEALTH_DIVERGENCE = 'probeHealth: SDK 要求 status==="ok",壳侧 limitsWire:225 / detachWire:82 手拼只要 res.ok。' +
     'B4 保旧行为(res.ok),差异候裁 —— 换成 SDK 语义会让"自报 degraded 但可用"的引擎少发 detach 头。';