@sema-agent/client-core 0.77.0 → 0.77.2

package/dist/sessionPolicyCapability.js

@@ -1,45 +1,11 @@
-/**
- * sessionPolicyCapability — `GET /v1/capabilities.sessionPolicy` 的三端共用四态读面(0.77.0 CC-105;
- * 与 sql / writeProtection / webSearch.backend / executionLane / approvalsStreamLive /
- * deviceExecutor.management / peerLane / permissionRulesWrite / memoryCompliance / memoryOrigin
- * 各只兄弟同一套四态词汇,四口走共用工厂)。引擎的 wire 型面里这一位已声明为可选布尔,读法仍按结构走
- * (声明形与在场性是两件事:声明说「型上可以有」,回体才说「这台有没有」)。
- *
- * ── 这一位答的是哪一个问题 ────────────────────────────────────────────────────────────────
- * 「per-session 工具规则的那一对读写口(`GET` / `PUT /v1/sessions/:id/policy`)在**这台引擎**上挂没挂」。
- * 上游的铸点是一次**设施在场判**(会话规则店接线了没),不是一次身份判:
- *   · 值为真 ⇒ 规则店在场,这对口有人应答(某一次调用成不成功仍由那一次的应答逐次回答:
- *     无主会话 409、非属主 404、放宽方向 403、CAS 不符 409 —— 这一位一个都不预告);
- *   · 值为假 ⇒ 本部署**没有**会话规则店,这对口恒以「这台没有这一面」拒,写入口该藏起来。
- *
- * ── 🔴 四态,不是两态 ───────────────────────────────────────────────────────────────────────
- *   ① `unobserved`   —— 本进程一次能力回体都没观测到。**不是**引擎说过的话。
- *   ② `not_reported` —— 回体观测到了,而**没有**这个键 ⇒ 这份二进制比这一位本身还老。
- *   ③ `absent`       —— 键在、值明确是 `false`:这台没有会话规则店。**正面事实**,与 ② 是两件事。
- *   ④ `present`      —— 键在、值为 `true`:这一面在这台引擎上挂着。
- * 值既不是 `true` 也不是 `false`(`null` / 串 / 数 / 数组 / 对象)⇒ 畸形 ⇒ **删格**(⇒ `unobserved`);
- * 能力回体整只不是对象同判畸形。🔴 三种「没有」(`unobserved` / `not_reported` / `absent`)**不许互折**。
- * 判在场用 `hasOwn`:原型链上继承来的同名键不算这台引擎说过话。
- *
- * ── 🔴 「藏入口」与「别发请求」是两个问题,判官也是两个 ─────────────────────────────────────
- * 本文件只铸前者:{@link sessionPolicyFaceAvailable} 回答「要不要渲这个写入口」,
- * 保守方向 —— 只有明说在场才 `'yes'`,明说不在与「比这一位还老的二进制」都 `'no'`,从没观测过才 `'unknown'`。
- * 后者(「这次编排该不该把请求发出去」)在会话策略写端口那一侧,它拿的是**同一只读数**、不另开一张表,
- * 判据与本函数刻意分开写:一个决定界面长什么样,一个决定要不要动网络,两者对 `unobserved` 的答案
- * 本来就该不同(界面保守地不渲,而一次用户已经点过的动作不该因为「本进程没探过能力面」被凭空挡住)。
- */
 import { engineWireTarget } from './engineWireTarget.js';
 import { createEngineCapReader } from './engineCapReader.js';
-/** 能力回体 → 本格读数;畸形一律 `undefined`(= 这一格不写 ⇒ 读口答 `unobserved`)。 */
 export function projectSessionPolicyCapability(caps) {
-    // 🔴 数组也是畸形:一个数组回体**不是**引擎对能力面的回答,从它上面读出「这份二进制比这一位老」
-    //    是替引擎编了一句它没说的话。`not_reported` 只留给**真的是能力对象、但这一格不在**那一形。
     if (caps === null || typeof caps !== 'object' || Array.isArray(caps))
         return undefined;
     const c = caps;
     if (!Object.hasOwn(c, 'sessionPolicy'))
         return { kind: 'not_reported' };
-    // 🔴 只读一次:在场判据与取值同一次读(变化的 getter 会让校验读到布尔、返回读到别的东西)。
     const v = c.sessionPolicy;
     if (v === undefined)
         return { kind: 'not_reported' };
@@ -47,32 +13,17 @@ export function projectSessionPolicyCapability(caps) {
         return undefined;
     return v ? { kind: 'present' } : { kind: 'absent' };
 }
-/**
- * 本格的 per-baseUrl 读账 + tee / 读口 / 失效口 / 测试钩四口 —— 各只能力位读器**共用同一份实现**
- * ({@link createEngineCapReader});本文件只留这一格真正不同的部分:投影函数
- * {@link projectSessionPolicyCapability}、判据单源与 doctor 措辞表。
- * 🔴 Map 在工厂闭包里,**一只读器一张**:收到读不懂的回体只删自己这一格,绝不连坐别的能力面。
- */
 const reader = createEngineCapReader({
     name: 'sessionPolicy',
     project: projectSessionPolicyCapability,
     makeUnobserved: () => ({ kind: 'unobserved' }),
 });
-/** 宿主 caps probe 的读面 tee 落点。绝不 throw;畸形 ⇒ 删格;`opts.generation` 关掉旧探测覆盖新读数的竞态。 */
 export function noteEngineCapsForSessionPolicy(baseUrl, caps, opts) {
     reader.note(baseUrl, caps, opts);
 }
-/** 本进程观测到的读数;这一格空缺 ⇒ `{kind:'unobserved'}`。 */
 export function observedSessionPolicy(baseUrl = engineWireTarget()?.baseUrl) {
     return reader.observed(baseUrl);
 }
-/**
- * 「要不要渲会话规则的写入口」的判据单源(三态)。
- * 🔴 只有引擎明说在场(`present`)才 `'yes'`;明说不在(`absent`)与「这份二进制比这一位老」
- * (`not_reported`)都是 `'no'` —— 后者不是在说这一面不存在,是在说**这台说不出**,而一个说不出
- * 的写入口按假 affordance 纪律不渲(真要试,走读口,读是无副作用的那一半)。从没观测过 ⇒ `'unknown'`,
- * 端自己决定渲不渲(它既不是引擎的否定,也不是引擎的肯定)。
- */
 export function sessionPolicyFaceAvailable(reading) {
     if (reading.kind === 'present')
         return 'yes';
@@ -80,7 +31,6 @@ export function sessionPolicyFaceAvailable(reading) {
         return 'no';
     return 'unknown';
 }
-/** doctor 那一行的 detail 串,唯一措辞真源。🔴 两种「读不出」都不许暗示「这一面在」或「这一面不在」。 */
 export function sessionPolicyDoctorDetail(reading) {
     switch (reading.kind) {
         case 'unobserved':
@@ -93,11 +43,9 @@ export function sessionPolicyDoctorDetail(reading) {
             return 'per-session rule face on — this session’s tool rules can be read, and a tightening write is accepted or refused by the engine call by call';
     }
 }
-/** 换代失效口(引擎温切成功后调):清成未观测。空串 ⇒ no-op;绝不 throw。 */
 export function forgetSessionPolicyReading(baseUrl) {
     reader.forget(baseUrl);
 }
-/** 测试钩子。 */
 export function __resetSessionPolicyReadingsForTests() {
     reader.__resetForTests();
 }

package/dist/sessionSlot.d.ts

@@ -1,34 +1,8 @@
-/**
- * sessionSlot.ts — W1(design/161):包内「模块级可变单槽位」的 per-session 注册表最小工厂。
- *
- * 背景(design/161 复审 r1 E2):包内五个模块级单槽位(host.ts `host` / askGateWire
- * `hostSurface` / toolApprovalWire `cardPort` / liveQuestionStore `frameHandler` /
- * engineWireTarget `installed`)与多会话宿主(desktop)正面冲突 —— 两个并行会话互相顶盖
- * (A 会话的审批卡弹到 B 的面上 / B 的 responder 覆盖 A 的)。W1 把这五个槽位改成
- * `Map<sessionKey, T>` 注册表:
- *   · **零参旧 API = DEFAULT_SESSION_KEY 兼容层**(cli 的 module-load 装配一行不动,
- *     default 键路径与改前单变量行为逐字节等价);
- *   · 带 key 的 `*For(sessionKey, …)` 变体给多会话宿主用,每会话一键,互不顶盖。
- * 契约锚 = `agentSession/contract.ts` 的 `AgentSessionConfig.sessionKey`。
- *
- * 🔴 本文件只管「存取」,不带任何业务语义 —— miss 计数、fail-soft 文言、还原/合并语义都留在
- * 各槽位模块里(五个槽位形状略异,强行归一就是过度设计)。
- */
-/** 零参旧 API 的兼容键(cli 单会话装配走它;多会话宿主每会话一键,别用这个值当会话 id)。 */
 export declare const DEFAULT_SESSION_KEY = "__default__";
-/** per-session 槽位存取面。`get` 未装过 = undefined(各槽位模块自己 `?? null` 归一)。 */
 export interface SessionSlot<T> {
     get(key: string): T | undefined;
-    /** `undefined` = 卸下该键(与「从未装过」同态 —— 槽位模块的 prev-还原语义靠它闭合)。 */
     set(key: string, value: T | undefined): void;
     clear(): void;
-    /** 当前**有条目**的键 —— 注意不等于「装了口的键」:`T` 含 `null`(卡口槽位就是
-     *  `ApprovalCardPort | null`)时,用 `null` 卸下的键仍留在这里(只有 `undefined` 删键)。
-     *  消费方判「装了没」必须再读一次 `get(k)`,别只数键。
-     *  (REF-CC-030,2026-08-02:三个 keyed 卡口决断入口今天全硬读
-     *  DEFAULT_SESSION_KEY——一个非默认键上真装了口时,默认键仍会 miss;这个读口让
-     *  miss 文案能把「没人装」与「装错键」分开说,而不用先把三个入口的签名都改成
-     *  `sessionKey?: string` 透传)。 */
     keys(): string[];
 }
 export declare function createSessionSlot<T>(): SessionSlot<T>;

package/dist/sessionSlot.js

@@ -1,20 +1,3 @@
-/**
- * sessionSlot.ts — W1(design/161):包内「模块级可变单槽位」的 per-session 注册表最小工厂。
- *
- * 背景(design/161 复审 r1 E2):包内五个模块级单槽位(host.ts `host` / askGateWire
- * `hostSurface` / toolApprovalWire `cardPort` / liveQuestionStore `frameHandler` /
- * engineWireTarget `installed`)与多会话宿主(desktop)正面冲突 —— 两个并行会话互相顶盖
- * (A 会话的审批卡弹到 B 的面上 / B 的 responder 覆盖 A 的)。W1 把这五个槽位改成
- * `Map<sessionKey, T>` 注册表:
- *   · **零参旧 API = DEFAULT_SESSION_KEY 兼容层**(cli 的 module-load 装配一行不动,
- *     default 键路径与改前单变量行为逐字节等价);
- *   · 带 key 的 `*For(sessionKey, …)` 变体给多会话宿主用,每会话一键,互不顶盖。
- * 契约锚 = `agentSession/contract.ts` 的 `AgentSessionConfig.sessionKey`。
- *
- * 🔴 本文件只管「存取」,不带任何业务语义 —— miss 计数、fail-soft 文言、还原/合并语义都留在
- * 各槽位模块里(五个槽位形状略异,强行归一就是过度设计)。
- */
-/** 零参旧 API 的兼容键(cli 单会话装配走它;多会话宿主每会话一键,别用这个值当会话 id)。 */
 export const DEFAULT_SESSION_KEY = '__default__';
 export function createSessionSlot() {
     const values = new Map();

package/dist/skillsWireCaps.d.ts

@@ -1,110 +1,23 @@
-/**
- * ⇄ B2 批搬迁(2026-07-27,多端改造设计稿 §3 B2):cli src/sema/skillsWireCaps.ts 逐字搬入(只 import SDK)。
- */
-/**
- * src/sema/skillsWireCaps.ts — the PURE projection + server caps for the skills engine wire.
- *
- * Split out from skillsWire.ts so this logic (the part worth pinning) is testable WITHOUT the heavy on-disk
- * loader graph (loadSkillsDir / loadPluginCommands pull analytics/signals/fs). It imports ONLY the `SkillSpec`
- * type (erased at build), so a test can esbuild-bundle THIS file alone — no runtime side effects.
- *
- * 0.70.0(CC-04,server 7.78.1 + core 7.19.0):the ONLY remaining cap is `content` ≤1MB (the engine's skill load
- * door — over it is rejected outright, so we truncate HERE to keep that field well-formed by construction).
- * The item-count cap (10), the name-length cap (64) and the description-length cap (1024) are RETIRED: server
- * 7.78.1 `validateUserSkills` no longer rejects on any of them, and the engine's `<skills>` listing (core 7.19.0)
- * fits descriptions to a byte budget itself and ANNOUNCES it (`skills.listing_truncated`, see
- * `readSkillsListingTruncated`). Pre-truncating below a door that no longer exists would be a silent cut nobody
- * could see — the exact disease the `content` cap once had at 32768.
- *
- * 🔴 措辞收窄(2026-08-08 对抗复审命中):原文写「make the live request well-formed by construction」——
- * 那是**过头的承诺**,本模块只管每个字段的**逐字段**帽,管不到整请求。server 那边 10 项 × 1MB 与
- * 它自己 8MB 的 `MAX_BODY` 是两个互不知情的帽,所以极端技能集仍可能整请求 400/413。本层不加
- * 「按剩余预算偷偷多截一点」的聚合补偿:那恰好把一个响亮的 400 换回一次静默截断(= 本次修掉的病)。
- * 该治的是 server 两帽的一致性;此处只把承诺说准。
- */
 import type { SkillSpec } from '@sema-agent/sdk';
-/**
- * Caps for `TaskRequest.skills` — 0.70.0 起只剩 `content`(违反 = 400 / 引擎整拒)。
- *
- * 🔴 **0.70.0 退役三键 `items` / `name` / `description`**(CC-04;C-R41 / C-R43 ①):server 7.78.1 的
- *    `validateUserSkills` 直读 dist 已无条数帽、无 name / description 长度帽(7.78.0 及以前仍有);引擎侧
- *    (core 7.19.0)`<skills>` 清单按字节预算自己裁描述 / 退成 name-only,并发 `skills.listing_truncated`
- *    通告。本包再按 10 / 64 / 1024 预截 = 在一道已不存在的门下面静默切字节,链上没有任何一层会响。
- *    读这三键的消费端(cli `skillsWireOverflow`)与本版同窗退役。
- *
- * 🔴 对照坐标(取证方式 = 直读 shipped 产物,不信任何注释):
- *   · `content` —— server `MAX_SKILL_CONTENT_CHARS = 1_048_576`(`dist/http/server.js`),它自己的
- *     头注点名这是 core `SKILL_CONTENT_MAX_CHARS` 的同值孪生(core `dist/core/runner/synthetic-tools.js`
- *     的 `SKILL_CONTENT_MAX_CHARS = 1024 * 1024`);core 1.293 起技能正文**零截断、超 1MB 整拒**。
- *
- * 🔴 此前这一键钉 `32768` —— 那不是「上游改小了」,而是**一开始就抄错**:32768 是 server 的
- * `MAX_OUTPUT_SCHEMA_CHARS`(另一个量)。错值的后果不是 400、是**静默截到 1/32**:`toCappedSpec`
- * 在发请求前就把技能正文切掉,模型看见的 SKILL.md 少一大截,而链上任何一层都不会响一声。
- *
- * 反漂移腿:`scripts/run-engine-vocab-floor-test.mjs` 的 G2-a 段拿本键对**实装 @sema-agent/core**
- * 的 `SKILL_CONTENT_MAX_CHARS` 逐值对账(devDep 钉在本仓,不靠兄弟树物料)——上游改门,那边先红。
- *
- * ⚠️ 留给上游的一处**上游内部张力**(如实记录,本层不代偿):技能条数已无帽,N 条 × 1MB 对上 server
- * 自己的整体 body 帽 8MB(`MAX_BODY`)—— 极端组合会整请求 400/413。这是 server 的事,壳侧不做「按剩余
- * 预算偷偷多截一点」的补偿:那正好会把一个**响亮的 400** 换回一次**静默截断**。
- */
 export declare const SKILL_CAPS: {
     readonly content: 1048576;
 };
-/** The minimal shape of a loaded skill `Command` this projection reads (a structural subset of CC's Command,
- *  cast at the call site so we stay decoupled from the wide Command union). */
 export interface SkillCmdLike {
     type?: string;
     name?: string;
     description?: string;
     whenToUse?: string;
-    /** loader origin ('builtin' | 'plugin' | SettingSource…) — read by the skillOverrides four-state
-     *  resolution when the wire prunes hidden skills (skillsWire.ts). */
     source?: string;
     disableModelInvocation?: boolean;
-    /** the skill's own directory (`createSkillCommand` baseDir → command.skillRoot); SKILL.md lives at root/SKILL.md. */
     skillRoot?: string;
 }
-/** Build one `SkillSpec`, or null when there is no usable name/body. description folds in `whenToUse`
- *  (CC's progressive-disclosure metadata is name+description+whenToUse) so the engine's Skill tool can select
- *  it. 0.70.0: only `content` is capped (engine load door); name / description go through untouched — the
- *  engine's listing budget fits the description and announces when it had to (`skills.listing_truncated`). */
 export declare function toCappedSpec(name: string, description: string, whenToUse: string, body: string): SkillSpec | null;
-/**
- * PURE projection: loaded skill commands → `SkillSpec[]` (content-capped, deduped by name; 0.70.0: NO item cap —
- * every eligible skill goes on the wire, the engine budgets the listing). `resolveBody`
- * supplies each command's raw SKILL.md body (null ⇒ skip); injecting it keeps this function IO-free and
- * unit-testable. Only MODEL-INVOCABLE prompt skills are sent — UI-only / `disableModelInvocation` commands
- * are excluded (engine injection feeds the model's Skill tool, not the slash menu).
- */
-/** `SkillSpec` 上 wire 的形:0.72.1 起可带 `baseDir`(server ≥7.80.1 / core 7.20.0 #799;sdk 9.6.0 的 `SkillSpec` 还没声明它,
- *  所以本包用交叉型出口 —— 赋给 `TaskRequestBody.skills: SkillSpec[]` 零摩擦)。 */
 export type SkillSpecOnWire = SkillSpec & {
     baseDir?: string;
 };
-/** {@link skillCommandsToSpecs} 的开关。 */
 export interface SkillSpecsOptions {
-    /**
-     * 工具是否跑在**加载这些技能的这台机器**上(单用户 host 车道 = true)。
-     * 🔴 只有 true 才带 `baseDir`:它是「工具执行环境那台机器上的坐标」,沙箱 / 远端车道(k8s / e2b / ssh / device)上
-     *    本机路径在那边不存在,带过去只是假线索 ⇒ 缺席(fail-closed,与 server 出厂自扫技能在那些车道上不带同律)。
-     *    缺席 = 引擎不加首行、不做 `${SKILL_ROOT}` 替换,结果与 0.72.0 之前逐字节相同。
-     */
     toolsRunHere?: boolean;
-    /**
-     * server 判 `baseDir` 用的是它自己那台机器上的 `node:path.isAbsolute`(平台相关):Linux / macOS 上 `C:\\x` **不是**绝对路径
-     * (整条提交 400),Windows 上 UNC `\\\\host\\share\\x` 才算。本包不知道 server 跑在哪个平台 ⇒ 由调用方声明;缺席 = `'posix'`
-     * (server 出厂镜像与三端 host 车道的常态)。声明错 = server 400 整拒,不是静默降级。
-     */
     platform?: 'posix' | 'win32';
 }
-/**
- * `SkillSpec.baseDir` 的窄读:与 server 顶层门**同一只**结构判据(绝对路径、无 `..` 段、无 NUL、≤ 4096 字符;**不做存在性检查**)。
- * 🔴 「绝对路径」按 **server 所在平台**的 `node:path.isAbsolute` 判(异源对抗复审实抓:此前把盘符路径在 posix 上也放行 = 送出去必 400):
- *    · `'posix'`(默认):只有 `/…` 算;`C:\\x` / `\\\\host\\share` 都不算;
- *    · `..` 段检查两个平台都按 `/` **与** `\\` 拆(server `isValidCwd` 在所有平台都这么拆);
- *    · `'win32'`:`X:\\…` / `X:/…` 与 UNC `\\\\host\\share\\…` 算;段按 `\\` 与 `/` 切。
- * 不合判据 ⇒ `undefined`(不发假坐标;在本包拦下比让 server 400 整拒更诚实)。
- */
 export declare function skillBaseDirOf(skillRoot: string | undefined, platform?: 'posix' | 'win32'): string | undefined;
 export declare function skillCommandsToSpecs(cmds: SkillCmdLike[], resolveBody: (cmd: SkillCmdLike) => string | null, opts?: SkillSpecsOptions): SkillSpecOnWire[];

package/dist/skillsWireCaps.js

@@ -1,33 +1,4 @@
-/**
- * Caps for `TaskRequest.skills` — 0.70.0 起只剩 `content`(违反 = 400 / 引擎整拒)。
- *
- * 🔴 **0.70.0 退役三键 `items` / `name` / `description`**(CC-04;C-R41 / C-R43 ①):server 7.78.1 的
- *    `validateUserSkills` 直读 dist 已无条数帽、无 name / description 长度帽(7.78.0 及以前仍有);引擎侧
- *    (core 7.19.0)`<skills>` 清单按字节预算自己裁描述 / 退成 name-only,并发 `skills.listing_truncated`
- *    通告。本包再按 10 / 64 / 1024 预截 = 在一道已不存在的门下面静默切字节,链上没有任何一层会响。
- *    读这三键的消费端(cli `skillsWireOverflow`)与本版同窗退役。
- *
- * 🔴 对照坐标(取证方式 = 直读 shipped 产物,不信任何注释):
- *   · `content` —— server `MAX_SKILL_CONTENT_CHARS = 1_048_576`(`dist/http/server.js`),它自己的
- *     头注点名这是 core `SKILL_CONTENT_MAX_CHARS` 的同值孪生(core `dist/core/runner/synthetic-tools.js`
- *     的 `SKILL_CONTENT_MAX_CHARS = 1024 * 1024`);core 1.293 起技能正文**零截断、超 1MB 整拒**。
- *
- * 🔴 此前这一键钉 `32768` —— 那不是「上游改小了」,而是**一开始就抄错**:32768 是 server 的
- * `MAX_OUTPUT_SCHEMA_CHARS`(另一个量)。错值的后果不是 400、是**静默截到 1/32**:`toCappedSpec`
- * 在发请求前就把技能正文切掉,模型看见的 SKILL.md 少一大截,而链上任何一层都不会响一声。
- *
- * 反漂移腿:`scripts/run-engine-vocab-floor-test.mjs` 的 G2-a 段拿本键对**实装 @sema-agent/core**
- * 的 `SKILL_CONTENT_MAX_CHARS` 逐值对账(devDep 钉在本仓,不靠兄弟树物料)——上游改门,那边先红。
- *
- * ⚠️ 留给上游的一处**上游内部张力**(如实记录,本层不代偿):技能条数已无帽,N 条 × 1MB 对上 server
- * 自己的整体 body 帽 8MB(`MAX_BODY`)—— 极端组合会整请求 400/413。这是 server 的事,壳侧不做「按剩余
- * 预算偷偷多截一点」的补偿:那正好会把一个**响亮的 400** 换回一次**静默截断**。
- */
 export const SKILL_CAPS = { content: 1_048_576 };
-/** Build one `SkillSpec`, or null when there is no usable name/body. description folds in `whenToUse`
- *  (CC's progressive-disclosure metadata is name+description+whenToUse) so the engine's Skill tool can select
- *  it. 0.70.0: only `content` is capped (engine load door); name / description go through untouched — the
- *  engine's listing budget fits the description and announces when it had to (`skills.listing_truncated`). */
 export function toCappedSpec(name, description, whenToUse, body) {
     const n = name.trim();
     const c = body.trim().slice(0, SKILL_CAPS.content);
@@ -38,14 +9,6 @@ export function toCappedSpec(name, description, whenToUse, body) {
         .join(' — ');
     return { name: n, description: desc, content: c };
 }
-/**
- * `SkillSpec.baseDir` 的窄读:与 server 顶层门**同一只**结构判据(绝对路径、无 `..` 段、无 NUL、≤ 4096 字符;**不做存在性检查**)。
- * 🔴 「绝对路径」按 **server 所在平台**的 `node:path.isAbsolute` 判(异源对抗复审实抓:此前把盘符路径在 posix 上也放行 = 送出去必 400):
- *    · `'posix'`(默认):只有 `/…` 算;`C:\\x` / `\\\\host\\share` 都不算;
- *    · `..` 段检查两个平台都按 `/` **与** `\\` 拆(server `isValidCwd` 在所有平台都这么拆);
- *    · `'win32'`:`X:\\…` / `X:/…` 与 UNC `\\\\host\\share\\…` 算;段按 `\\` 与 `/` 切。
- * 不合判据 ⇒ `undefined`(不发假坐标;在本包拦下比让 server 400 整拒更诚实)。
- */
 export function skillBaseDirOf(skillRoot, platform = 'posix') {
     if (skillRoot === undefined || skillRoot.length === 0 || skillRoot.length > 4096)
         return undefined;
@@ -60,7 +23,6 @@ export function skillBaseDirOf(skillRoot, platform = 'posix') {
     }
     if (!skillRoot.startsWith('/'))
         return undefined;
-    // `..` 段两种分隔符都拆(server isValidCwd 在所有平台都按 /[/\\]/ 拆段;POSIX 文件名可含反斜杠 —— 复审第 2 轮实抓)
     if (skillRoot.split(/[\\/]/).includes('..'))
         return undefined;
     return skillRoot;

package/dist/sqlEngineCapability.d.ts

@@ -1,65 +1,8 @@
-/**
- * sqlEngineCapability — S-131「SQL 引擎姿态」的**三端共用读面**(server ≥7.60.0 的
- * `GET /v1/capabilities` 新增 `sql` 位;sdk 8.3.0 `Capabilities.sql`)。
- *
- * ── 归层出身(不掩盖:这份窄读器**本来就该在这里**)────────────────────────────────────────
- * 0.58.0 时本件写在壳里(cli `src/sema/sqlEngineCapability.ts`),理由是当时 client-core 的
- * `engineCapsCache` 公面只到「平铺布尔 / 平铺串 / 嵌套布尔」三形,**没有嵌套对象的读口** ⇒ 这一格
- * 在包侧结构上读不出来。0.59.0 两件同批补齐:`engineCapsCache` 加四态读口
- * {@link import("./engineCapsCache.js").engineCapValue},本模块把壳那份窄读器**逐字上收**。
- * 🔴 **导出名与壳侧那份逐字相同**,这是 drift-lock:包一发同名符号,壳的
- * `run-layer-shadow-export-gate-test.mjs`(同名影子导出门)当场红,逼那份壳侧副本换装成
- * `export { … } from '@sema-agent/client-core'`,而不是两边各自演进(DISEASE-SHAPES S37 的病形
- * 正是「包侧有了、壳侧没删」)。
- *
- * ── 上游事实(fixture 直证,不采信 CHANGELOG)──────────────────────────────────────────────
- * `@sema-agent/server/dist/http/routes/capabilities.js` 的回体里多一位
- * `sql: projectSqlEngineCapability(deps.sqlEngineFacts?.())`;7.59.0 的同一文件**没有这个键**。
- * 值的形(`server/dist/sql-engine-posture.d.ts` 逐字):
- *   · `{ engine, isolation, txnMode }` —— 驱动在**真连接**上 `SET` 完之后**回读**的值
- *     (「取实例真值,不按配置推断」);
- *   · `null` —— **本部署没有 SQL 后端**(env-only / local 文件后端)。逐字:「缺席就是缺席…
- *     不铸一个看起来像答案的空壳」。
- *
- * ── 🔴 四态,不是两态([honest-absence-not-fabricated-zero])────────────────────────────────
- * 这一格上有**四件互不相同**的事,消费端一件都不许折进另一件:
- *   ① `unobserved` —— **本进程一次 caps 响应都没观测到**。一次性 `sema doctor` 就是这一档
- *      (它不起 live client ⇒ caps tee 从来没触发过)。它**不是**「引擎没有 SQL」。
- *   ② `not_reported` —— caps 观测到了,而回体上**没有** `sql` 这个键 ⇒ 老引擎(<7.60.0)。
- *      它**不是**「这台部署没有 SQL 后端」—— 老引擎有没有库,这个读面答不了。
- *   ③ `none` —— 引擎**明确说** `null`:这台部署没有 SQL 后端。这是一个**正面事实**,不是缺席;
- *      把它渲成「未观测」等于把引擎真给的答案丢掉(壳自 spawn 的单机形恒落这一档,是常态读数)。
- *   ④ `present` —— 三座俱全,原样渲。
- * 🔴 **绝不渲 0 / 绝不编一个姿态**:读不出来就说读不出来,哪一种读不出来也要分清楚。
- * ⇄ 这四个词与 {@link import("./engineCapsCache.js").EngineCapValueState} 的四态**同一套词汇**
- *   (`unobserved` / `not_reported` / `null`→`none` / `value`→`present`):通用读口答「这一格上有
- *   没有值」,本模块答「这一格的值成不成形」,刻意分层 —— 通用口不认识 `sql` 的三座,窄读器不该
- *   重新实现一遍缓存与代际。
- *
- * ── 🔴 UNTRUSTED-for-display ──────────────────────────────────────────────────────────────
- * `isolation` 是从**数据库服务器**变量里回读的串(`@@transaction_isolation` 一族),不是引擎铸的
- * 闭词;三座一律只渲染、绝不参与任何判定,呈现前过本包的单行消毒 + 封长单源
- * ({@link capForDisplay}:先转义、后按转义结果封长)。
- */
-/**
- * 三座俱全时的读数(server `SqlEngineCapability` 逐字同形)。
- *
- * 🔴 **`txnMode` 的域含 `null`,而 `null` 不是缺席**(fixture `sql-driver.d.ts` 逐字:
- *    「TiDB's session `tidb_txn_mode`; `null` = this engine has no such indicator (**NOT**
- *    "optimistic")」;铸点逐字 `txnMode: engine === "tidb" ? "pessimistic" : null`)⇒
- *    **三种引擎里有两种(`innodb` / `pg`)这一位恒 `null`**。把 `null` 判成畸形 = 两种正常部署
- *    的完整读数被整条丢掉、doctor 错报「没有引擎响应」—— 那正是 B-025 的病形(消费域比铸点域
- *    更窄)在新件上复发。
- * 🔴 型写 `string | null` 而**不是**手抄上游那个 `'pessimistic' | null` 闭词:抄一份就是给自己
- *    立第二个判官(上游哪天给别的引擎加一个指示词,手抄的那份会把它判畸形)。窄读域只许**等于
- *    或宽于**铸点域。
- */
 export interface SqlEngineCapabilityView {
     engine: string;
     isolation: string;
     txnMode: string | null;
 }
-/** 四态读数(见文件头)。`unobserved` 由**读口**在这一格空缺时铸,不由投影铸。 */
 export type SqlEngineReading = {
     kind: 'unobserved';
 } | {
@@ -70,72 +13,11 @@ export type SqlEngineReading = {
     kind: 'present';
     view: SqlEngineCapabilityView;
 };
-/**
- * caps 回体 → 本格读数;**畸形一律 `undefined`**(= 这一格不写 ⇒ 读口答 `unobserved`)。
- *
- * 🔴 `undefined`(键不在)与 `null`(引擎说没有)**是两件事**,本函数是本包唯一区分它们的地方:
- *    前者 ⇒ `not_reported`(老引擎),后者 ⇒ `none`(这台部署没库)。用 `??` / falsy 判会把
- *    两者压成一件,而它们对运维的意思完全不同。
- * 🔴 三座**任一**不是非空串 ⇒ 整条判畸形(`undefined`)。绝不留一个缺座的对象:一行写着
- *    「isolation: 」的诊断比不渲这一行更坏(它看起来像一个答案)。
- */
 export declare function projectSqlEngineCapability(caps: unknown): SqlEngineReading | undefined;
-/**
- * 宿主 caps probe 的**读面 tee** 落点(壳侧与 mcpGate / sessionBackground / projectContext /
- * crashConverged / workflowsGate 五条并列)。绝不 throw —— 读面腿不许反噬 caps 探测链。
- *
- * 🔴 投影 `undefined`(caps 畸形)⇒ 这一格**被删**而不是留着上一台引擎的旧值 —— 留旧值 = 拿一台
- *    已经不在的引擎的读数去回答「这台现在是什么姿态」。
- * ⚠️ **这一条只覆盖「收到了一份读不懂的回体」**。「同端口 respawn / 版本回滚之后新探测**失败或
- *    还在飞**」是**另一条路** —— 那时本 tee 一次都不触发,挡不住旧读数继续被当成当代事实。
- *    那一形由 {@link forgetSqlEngineReading} 在装配口(宿主的引擎温切臂)上收。
- * 🔴 **不按 principal 分域**:SQL 姿态是**这台 worker 的连接事实**,与调用者是谁无关
- *    (与 `workflows` 那种 per-caller 的位刻意不同)—— 加一个用不上的去重域只会造出一条
- *    「换主体就读不到」的假缺席。
- *
- * 🔴 **`opts.generation` = 关掉「旧探测覆盖新读数」那条竞态的唯一正确供给**(0.60.0;异源对抗复审
- *    [medium] 采纳,真病):`kickEngineCapsProbe` 的代际闸在 **probe 返回之后**才跑,而本 tee 是在
- *    probe **内部**落地的 ⇒ 一次慢的旧探测能在 `invalidateEngineCaps` + 新探测都走完之后才返回,
- *    把**上一台引擎**的读数重新写回来。宿主在**起探测那一刻**调 `engineCapsGeneration(baseUrl)` 抓号、
- *    在这里原样交回,陈旧那一发就会被整只丢掉。
- *    ⚠️ **不传 = 与本位到货之前逐字节同行为**(照写)—— additive 供给,不是强制门;端没跟上之前不会
- *    有任何东西变坏。🔴 **tee 自己抓号是假判据**(陈旧那一发在这里读到的是新代号,永远像当代的)。
- */
 export declare function noteEngineCapsForSqlEngine(baseUrl: string, caps: unknown, opts?: {
     generation?: number;
 }): void;
-/**
- * 本进程观测到的 SQL 姿态;这一格空缺 ⇒ `{kind:'unobserved'}`(**绝不**折成 `none`)。
- *
- * 缺省读锚 = {@link engineWireTarget} 的 `baseUrl`(本包零 `process` —— portability 门盯着;
- * 壳那份直读 `process.env.SEMA_LIVE_BASEURL`,而 `engineWireTarget()` 的 env 臂读的就是同一个变量
- * ⇒ Node 壳上行为一字节不变,浏览器/桌面宿主则由 `installEngineWireTarget()` 显式装)。
- */
 export declare function observedSqlEngine(baseUrl?: string | undefined): SqlEngineReading;
-/**
- * 四态 → doctor 那一行的 detail 串。**唯一措辞真源**(三端共用一句话;别在各端的行装配里另写
- * 一遍 —— 那正是这次上收要消灭的东西)。
- *
- * 🔴 三座是 UNTRUSTED-for-display(`isolation` 是从**数据库服务器**变量里回读的串):呈前消毒 +
- *    封长。消毒放在这一处而不是各呈现点,是因为本函数的产物就是屏上那一串(单一出口)。
- * 🔴 四句话刻意**互不相同、也互不蕴含**:「未观测」不许说成「没有库」,「老引擎不报」也不许
- *    说成「没有库」—— 三种「读不出」对运维是三条不同的下一步。
- */
 export declare function sqlEngineDoctorDetail(reading: SqlEngineReading): string;
-/**
- * **换代失效口**(与 {@link import("./engineCapsCache.js").invalidateEngineCaps} 并列,由宿主在
- * 引擎温切成功后调)。
- *
- * 🔴 **代际闸挡不住这一形**:那道闸挡的是「旧响应**写脏**新一代」(tee 只在确认代际仍当代之后
- *    才落地),而本格的病是反过来的 —— 新一代的探测**根本没成功**(超时 / reject / 还在飞),
- *    tee 于是一次都没触发,上一台引擎留在同一端口上的读数就继续被 {@link observedSqlEngine}
- *    当成**当代事实**答出去。同端口 respawn / 版本回滚 / 引擎起不来三条路都走这里,而它在
- *    doctor 上的形态最坏:一行**肯定句**(「这台部署是 tidb 悲观事务」/「这台引擎不报这一位,
- *    要升级」),说的却是一台已经不在的引擎。
- * 🔴 处置是**清成未观测**,不是留旧值也不是铸一个 `none` —— 「我这一代还没听到答案」是这一格
- *    唯一诚实的话(与 {@link noteEngineCapsForSqlEngine} 对畸形回体的处置同向)。
- * 空串 ⇒ no-op;绝不 throw(它跑在引擎温切路径上)。
- */
 export declare function forgetSqlEngineReading(baseUrl: string | undefined): void;
-/** 测试钩子。 */
 export declare function __resetSqlEngineReadingsForTests(): void;