@sema-agent/client-core 0.77.0 → 0.77.2

package/dist/executionLaneCapability.d.ts

@@ -1,34 +1,7 @@
-/**
- * executionLaneCapability — **本部署的执行车道自述**的三端共用读面(0.72.13;server ≥7.86.0 / S-426 的
- * `GET /v1/capabilities.executionLane`,契约附录 B.1;sdk 9.6.0 的 `Capabilities` 尚未声明该键)。
- *
- * ── 这一格答的是哪一个问题 ────────────────────────────────────────────────────────────────
- * 「工具跑的那台机器就是这台 server 吗」(文件系统同一性)。它决定技能的 `baseDir` 能不能发:此前消费端只能拿
- * 旁证三合取(本壳 spawn ∧ 无远端 URL ∧ `REMOTE_EXEC` ∈ {空, host})去猜,`-p` / mock 两条车道因此发不出 `baseDir`。
- * 7.86.0 起 server 自己说:`{ provider, toolsOnThisHost }`。
- *
- * ── 🔴 三条契约读法(附录 B.1 逐字)────────────────────────────────────────────────────────
- *  ① **键缺席 ≠「不是本机车道」**:老 server(<7.86.0)不报这一位 ⇒ `not_reported`,只能按改前的旁证判。读成 false
- *     会让老 server 上的 host 部署一律欠报 `baseDir`,还渲错车道。
- *  ② **蕴含单向,别读成等价**:`toolsOnThisHost:false` ⇒ `baseDir` 恒不发(本位的承诺);`true` 只是**必要条件** ——
- *     扁平形技能与插件来源技能在任何车道上都不带,`baseDir` 一律按 present-iff 读。
- *  ③ **只出词,不出内情**:apiUrl / host / serial / 镜像 / 凭据 / `mountPath` 契约上一个字都不上 wire;真出现了也不是
- *     本读面该带出去的东西 ⇒ 多余成员不过境。它也**不是**权限位(`cwdHonored` 才是),不许拿它顶替。
- *
- * ── 四态读数(与 sql / writeProtection / webSearch.backend 三只兄弟同一套词汇)──────────────
- *   `unobserved`(本进程一次 caps 都没观测到)/ `not_reported`(观测到了、回体无此键 = 老 server)/ `present`。
- *   本位没有 `none` 档:铸点恒铸对象(`REMOTE_EXEC` 未设折 `"host"`),`null` / 缺座 / 坏形 ⇒ 畸形(删格 ⇒ `unobserved`)。
- *
- * ── 🔴 窄读域只许等于或宽于铸点域 ────────────────────────────────────────────────────────────
- * `provider` 的闭集取型自 server 的 `RemoteExecProvider`(加一条车道那张表自动跟着长)。本包**不**手抄那几个词当判据
- * (抄一份 = 给自己立第二个判官,上游加车道那天把新词判成畸形):按**非空串**读,上屏前按 UNTRUSTED-for-display 消毒封长。
- */
-/** `present` 时的读数:车道词(开集)+ 文件系统同一性位(严格布尔)。 */
 export interface ExecutionLaneCapabilityView {
     provider: string;
     toolsOnThisHost: boolean;
 }
-/** 四态读数(见文件头)。`unobserved` 由**读口**在这一格空缺时铸,不由投影铸。 */
 export type ExecutionLaneReading = {
     kind: 'unobserved';
 } | {
@@ -37,33 +10,12 @@ export type ExecutionLaneReading = {
     kind: 'present';
     view: ExecutionLaneCapabilityView;
 };
-/**
- * caps 回体 → 本格读数;**畸形一律 `undefined`**(= 这一格不写 ⇒ 读口答 `unobserved`)。
- * 键不在 / `undefined` ⇒ `not_reported`(老 server);`null` / 数组 / 非对象 / 缺任一座 / 座坏形 ⇒ 畸形。
- */
 export declare function projectExecutionLaneCapability(caps: unknown): ExecutionLaneReading | undefined;
-/**
- * 宿主 caps probe 的**读面 tee** 落点(与三只兄弟并列;宿主在同一处按序调)。绝不 throw。
- * 投影 `undefined`(畸形)⇒ 这一格**被删**而不是留着上一台引擎的旧值;`opts.generation` 关掉「旧探测覆盖新读数」竞态。
- */
 export declare function noteEngineCapsForExecutionLane(baseUrl: string, caps: unknown, opts?: {
     generation?: number;
 }): void;
-/** 本进程观测到的执行车道;这一格空缺 ⇒ `{kind:'unobserved'}`(**绝不**编一条车道)。 */
 export declare function observedExecutionLane(baseUrl?: string | undefined): ExecutionLaneReading;
-/**
- * 「工具是否跑在本机」的**判据单源**(此前三端各拼旁证三合取):读到位就用位 —— `true` 是发 `baseDir` 的必要条件、
- * `false` 是「恒不发」的承诺;读不到(`not_reported` / `unobserved`)⇒ **原样**用调用方的旁证,绝不折 false
- * (契约 🔴:老 server 上只能按改前的办法判)。
- */
 export declare function toolsRunHereFromExecutionLane(reading: ExecutionLaneReading, legacyInference: boolean): boolean;
-/**
- * 三态(+未观测)→ doctor 那一行的 detail 串。**唯一措辞真源**(三端共用;端只拼接不另写)。
- * 🔴 `not_reported` 那一句**不许**暗示「不是本机车道」;`present` 的 false 那一句把「技能 baseDir 不发」说出来
- *    (用户看到技能相对路径解析不了时,这就是原因)。
- */
 export declare function executionLaneDoctorDetail(reading: ExecutionLaneReading): string;
-/** **换代失效口**(由宿主在引擎温切成功后调):清成未观测,不是留旧值。空串 ⇒ no-op;绝不 throw。 */
 export declare function forgetExecutionLaneReading(baseUrl: string | undefined): void;
-/** 测试钩子。 */
 export declare function __resetExecutionLaneReadingsForTests(): void;

package/dist/executionLaneCapability.js

@@ -1,40 +1,9 @@
-/**
- * executionLaneCapability — **本部署的执行车道自述**的三端共用读面(0.72.13;server ≥7.86.0 / S-426 的
- * `GET /v1/capabilities.executionLane`,契约附录 B.1;sdk 9.6.0 的 `Capabilities` 尚未声明该键)。
- *
- * ── 这一格答的是哪一个问题 ────────────────────────────────────────────────────────────────
- * 「工具跑的那台机器就是这台 server 吗」(文件系统同一性)。它决定技能的 `baseDir` 能不能发:此前消费端只能拿
- * 旁证三合取(本壳 spawn ∧ 无远端 URL ∧ `REMOTE_EXEC` ∈ {空, host})去猜,`-p` / mock 两条车道因此发不出 `baseDir`。
- * 7.86.0 起 server 自己说:`{ provider, toolsOnThisHost }`。
- *
- * ── 🔴 三条契约读法(附录 B.1 逐字)────────────────────────────────────────────────────────
- *  ① **键缺席 ≠「不是本机车道」**:老 server(<7.86.0)不报这一位 ⇒ `not_reported`,只能按改前的旁证判。读成 false
- *     会让老 server 上的 host 部署一律欠报 `baseDir`,还渲错车道。
- *  ② **蕴含单向,别读成等价**:`toolsOnThisHost:false` ⇒ `baseDir` 恒不发(本位的承诺);`true` 只是**必要条件** ——
- *     扁平形技能与插件来源技能在任何车道上都不带,`baseDir` 一律按 present-iff 读。
- *  ③ **只出词,不出内情**:apiUrl / host / serial / 镜像 / 凭据 / `mountPath` 契约上一个字都不上 wire;真出现了也不是
- *     本读面该带出去的东西 ⇒ 多余成员不过境。它也**不是**权限位(`cwdHonored` 才是),不许拿它顶替。
- *
- * ── 四态读数(与 sql / writeProtection / webSearch.backend 三只兄弟同一套词汇)──────────────
- *   `unobserved`(本进程一次 caps 都没观测到)/ `not_reported`(观测到了、回体无此键 = 老 server)/ `present`。
- *   本位没有 `none` 档:铸点恒铸对象(`REMOTE_EXEC` 未设折 `"host"`),`null` / 缺座 / 坏形 ⇒ 畸形(删格 ⇒ `unobserved`)。
- *
- * ── 🔴 窄读域只许等于或宽于铸点域 ────────────────────────────────────────────────────────────
- * `provider` 的闭集取型自 server 的 `RemoteExecProvider`(加一条车道那张表自动跟着长)。本包**不**手抄那几个词当判据
- * (抄一份 = 给自己立第二个判官,上游加车道那天把新词判成畸形):按**非空串**读,上屏前按 UNTRUSTED-for-display 消毒封长。
- */
 import { capForDisplay } from './fleetTaskDesc.js';
 import { engineWireTarget } from './engineWireTarget.js';
 import { createEngineCapReader } from './engineCapReader.js';
-/**
- * caps 回体 → 本格读数;**畸形一律 `undefined`**(= 这一格不写 ⇒ 读口答 `unobserved`)。
- * 键不在 / `undefined` ⇒ `not_reported`(老 server);`null` / 数组 / 非对象 / 缺任一座 / 座坏形 ⇒ 畸形。
- */
 export function projectExecutionLaneCapability(caps) {
     if (caps === null || typeof caps !== 'object')
         return undefined;
-    // 0.77.0 整族改齐:① 非对象 / 数组 caps 不是能力表 ⇒ 畸形(投影答 undefined ⇒ 删格 ⇒ 读口答 unobserved),不再答 not_reported
-    //    (那是把「取不到」冒充「报了但没提」);② 在场判据改 hasOwn —— 原型链上的同名键永远不会被序列化上 wire,读成在场 = 凭空造一格。
     if (caps === null || typeof caps !== 'object' || Array.isArray(caps))
         return undefined;
     if (!Object.hasOwn(caps, 'executionLane'))
@@ -52,44 +21,23 @@ export function projectExecutionLaneCapability(caps) {
         return undefined;
     return { kind: 'present', view: { provider, toolsOnThisHost } };
 }
-/**
- * 本格的 per-baseUrl 读账 + tee / 读口 / 失效口 / 测试钩四口 —— 各只能力位读器**共用同一份实现**
- * ({@link createEngineCapReader});本文件只留这一格真正不同的部分:投影函数 {@link projectExecutionLaneCapability}、doctor 措辞表,以及本位自己的判据助手(如有)。
- * 🔴 Map 在工厂闭包里,**一只读器一张**:收到读不懂的回体只删自己这一格,绝不连坐别的能力面。
- */
 const reader = createEngineCapReader({
     name: 'executionLane',
     project: projectExecutionLaneCapability,
     makeUnobserved: () => ({ kind: 'unobserved' }),
 });
-/**
- * 宿主 caps probe 的**读面 tee** 落点(与三只兄弟并列;宿主在同一处按序调)。绝不 throw。
- * 投影 `undefined`(畸形)⇒ 这一格**被删**而不是留着上一台引擎的旧值;`opts.generation` 关掉「旧探测覆盖新读数」竞态。
- */
 export function noteEngineCapsForExecutionLane(baseUrl, caps, opts) {
     reader.note(baseUrl, caps, opts);
 }
-/** 本进程观测到的执行车道;这一格空缺 ⇒ `{kind:'unobserved'}`(**绝不**编一条车道)。 */
 export function observedExecutionLane(baseUrl = engineWireTarget()?.baseUrl) {
     return reader.observed(baseUrl);
 }
-/**
- * 「工具是否跑在本机」的**判据单源**(此前三端各拼旁证三合取):读到位就用位 —— `true` 是发 `baseDir` 的必要条件、
- * `false` 是「恒不发」的承诺;读不到(`not_reported` / `unobserved`)⇒ **原样**用调用方的旁证,绝不折 false
- * (契约 🔴:老 server 上只能按改前的办法判)。
- */
 export function toolsRunHereFromExecutionLane(reading, legacyInference) {
     if (reading.kind === 'present')
         return reading.view.toolsOnThisHost;
     return legacyInference;
 }
-/** 车道词的展示上限(UTF-16 单元;与三只兄弟同值同理由)。 */
 const LANE_DETAIL_MAX = 40;
-/**
- * 三态(+未观测)→ doctor 那一行的 detail 串。**唯一措辞真源**(三端共用;端只拼接不另写)。
- * 🔴 `not_reported` 那一句**不许**暗示「不是本机车道」;`present` 的 false 那一句把「技能 baseDir 不发」说出来
- *    (用户看到技能相对路径解析不了时,这就是原因)。
- */
 export function executionLaneDoctorDetail(reading) {
     switch (reading.kind) {
         case 'unobserved':
@@ -107,11 +55,9 @@ export function executionLaneDoctorDetail(reading) {
         }
     }
 }
-/** **换代失效口**(由宿主在引擎温切成功后调):清成未观测,不是留旧值。空串 ⇒ no-op;绝不 throw。 */
 export function forgetExecutionLaneReading(baseUrl) {
     reader.forget(baseUrl);
 }
-/** 测试钩子。 */
 export function __resetExecutionLaneReadingsForTests() {
     reader.__resetForTests();
 }

package/dist/finalVerifyWire.d.ts

@@ -1,80 +1,13 @@
-/**
- * src/sema/finalVerifyWire.ts — headless `-p` finalVerification wire(TB2.0 反馈批 A · P1-1 建,
- * 2026-07-15 DEFAULT ON;**clay 裁定 2026-08-04 翻面 DEFAULT OFF**,[2561]→[2562]/[2563] 案)。
- *
- * 为什么默认关(裁定理由,按案情留档):机制是 TB 应试期为「模型自吹已完成」建的遗产;core 面
- * 本就 opt-in([2562]:默认开是本消费层的选择,消费层持有重估义务);实锤=git-multibranch 一题
- * 已构建出会通过验收的正确终态,终验注入后模型用自造哨兵串把正确产出覆盖坏(reward 1→0),注入
- * 文案的两条护栏无代码强制力。配套的时间预算感知已被 design/164 拆除——**时间失明是设计内**,
- * clay 同案否决了 core 的两个补偿选项(walltime 回 approach-notice / 注入带预算快照),不接。
- * 引擎能力保留(core stop-gate 机制原样),要终验的场景显式开。
- *
- * PRECEDENCE(off 优先;显式 on 才可能 stamp;否则默认 false):
- *  a) `--no-final-verify` flag                         → off(显式关,恒赢)。
- *  b) `SEMA_HEADLESS_FINAL_VERIFY` env OFF 拼写(envFlagOff,REF-CC-141 dup-02 单源)→ off。
- *  c) 显式 on:`--final-verify` flag / env ON 拼写(envFlagOn)——此时若用户配置了 Stop hook
- *     (settings hooks.Stop,经 hooksForWire 投影)仍**让位**(#106 裁 B:引擎 finalVerification
- *     分支在 Stop hook 查询之前 return(runtask.js:1430-1443),开着会把用户 Stop hook 延迟至多
- *     2 turn)+ stderr 告知;无 Stop hook → on。
- *  d) 都没有                                           → false(默认关,静默,无告知——没开过的
- *     东西无从让位,让位告知仅在显式 on 被 Stop hook 压下时出现)。
- *
- * LIVE-GATE:与 scenarioWire 同款——调用点(seamQueryEngine.ask)以 SEMA_LIVE_BASEURL 为门,
- * mock/pty fixture 车道永不 stamp 该字段(离线投影字节等价)。
- *
- * 语义澄清(分诊报告):finalVerification 是同会话 stop-gate 追加,不是独立上下文 verifier;
- * 纯读任务(wroteThisRun gate)与 structured-output 任务被 core 自身豁免,回归面天然收窄。
- */
 import type { SemaSettings } from '@sema-agent/sdk';
 import { type EnvLike } from './hostEnv.js';
-/**
- * B5:`hooksWireCaps` 的宿主耦合半场(settings 三层合并 + trust 门)还没搬,但这个**纯类型**
- * 先落本包 —— 它就是 SDK 的 `settings.hooks`,与 hooksWireCaps 无耦合。
- * 🔴 hooksWireCaps 后续进包时 **import 本条**,别再定义第二份(两份类型 = 漂移温床)。
- */
 export type WireHooksConfig = NonNullable<SemaSettings['hooks']>;
-/** Settings-lane env knob(settings.json `env` 块 → 1a-envseed → process.env)。'false'/'0' = off。 */
 export declare const HEADLESS_FINAL_VERIFY_ENV = "SEMA_HEADLESS_FINAL_VERIFY";
-/**
- * Parse `--no-final-verify` out of an argv slice(everything before a bare `--` — positionals are
- * never flags,scenarioWire 同款纪律)。Boolean flag,无值形态,重复无害。
- */
 export declare function parseNoFinalVerifyArgv(argv: string[]): boolean;
-/**
- * The settings-lane off-switch:`SEMA_HEADLESS_FINAL_VERIFY` 设成 {@link envFlagOff} 拼写集
- * (REF-CC-141 dup-02 单源:`0`/`false`/`no`/`off`/`none`,大小写不敏感)disables the stamp。
- * 其它任何值(含空串/'true'/typo)= 默认态 on——fail-soft:一个 settings typo 只会落回默认开,
- * 绝不 brick 任何 run(scenarioWire 的 settings-lane 纪律)。
- *
- * 🔴 [2393] sweep-F12(2026-08-03 全窗复审)**承诺范围如实**(与 detachWire 同形):上面这句是在
- * off 集只有 `{false,0}` 的时代写的;REF-CC-141 扩到五词之后,`no`/`off`/`none` 三个拼写**已经**
- * 会真的关掉这一 stamp,不再落回「默认开」。「typo 只会落回默认开」现在指的是
- * `{false,0,no,off,none}` **之外**的拼写。
- */
 export declare function headlessFinalVerifyDisabledByEnv(env?: EnvLike): boolean;
-/**
- * 用户 Stop hook 在场判定:hooksForWire() 投影(policy→user→project→local 合并、trust/managed 门后)
- * 里 `Stop` 事件带 ≥1 个 matcher 组即认定。判定输入用 wire 投影而非裸 settings——被 trust/
- * disableAllHooks 门掉的 Stop hook 引擎侧同样不会 fire,不构成让位理由。
- */
 export declare function hasUserStopHook(wireHooks: WireHooksConfig | undefined): boolean;
-/**
- * Resolve the finalVerification stamp for a headless `-p` submit:**默认 false**(clay 裁定
- * 2026-08-04,头注案情);仅显式 `--final-verify` / env ON 拼写才可能 on,且 Stop hook 仍让位。
- * 调用点必须 live-gate(SEMA_LIVE_BASEURL)——mock/offline 形状不变。
- */
 export declare function resolveHeadlessFinalVerify(argv: string[], env?: EnvLike, wireHooks?: WireHooksConfig): boolean;
-/**
- * #106 裁 B(clay 2026-07-26)让位+告知维持,但默认臂已按 2026-08-04 裁定翻转(头注案情):
- * 默认 off 且**无 offReason**(静默——没开过的东西无从让位,告知只在显式 on 被 Stop hook
- * 压下时出现);flag/env 显式关同样不聒噪。detail 形不动(offReason 词表原样)。
- */
 export declare function resolveHeadlessFinalVerifyDetail(argv: string[], env?: EnvLike, wireHooks?: WireHooksConfig): {
     on: boolean;
     offReason?: 'flag' | 'env' | 'stop-hook';
 };
-/**
- * stop-hook 让位的告知文案(单一措辞源;stderr 一行)。措辞纪律与 hook_notice 同族:
- * 「让位/接管」向,绝不写「守卫失效」向 —— 后者会让用户以为链路坏了。
- */
 export declare const FINAL_VERIFY_YIELD_NOTICE = "final verification is off for this run \u2014 a Stop hook is active and takes over end-of-turn gating (it would otherwise be delayed by up to 2 turns)";

package/dist/finalVerifyWire.js

@@ -1,70 +1,34 @@
 import { hostEnv } from './hostEnv.js';
 import { envFlagOff, envFlagOn } from './envFlag.js';
-/** Settings-lane env knob(settings.json `env` 块 → 1a-envseed → process.env)。'false'/'0' = off。 */
 export const HEADLESS_FINAL_VERIFY_ENV = 'SEMA_HEADLESS_FINAL_VERIFY';
-/**
- * Parse `--no-final-verify` out of an argv slice(everything before a bare `--` — positionals are
- * never flags,scenarioWire 同款纪律)。Boolean flag,无值形态,重复无害。
- */
 export function parseNoFinalVerifyArgv(argv) {
     for (const a of argv) {
         if (a === '--')
-            break; // positionals — never flags
+            break;
         if (a === '--no-final-verify')
             return true;
     }
     return false;
 }
-/**
- * Parse the explicit opt-in `--final-verify` out of an argv slice(同 `--no-final-verify` 的扫描
- * 纪律:bare `--` 后是 positionals)。默认关时代的唯一 flag 开口;`--no-final-verify` 恒赢它
- * (off 优先纪律)。壳侧 commander 需在 0.17.x 提货时注册本 flag(提货单点名)。
- */
 function parseFinalVerifyArgv(argv) {
     for (const a of argv) {
         if (a === '--')
-            break; // positionals — never flags
+            break;
         if (a === '--final-verify')
             return true;
     }
     return false;
 }
-/**
- * The settings-lane off-switch:`SEMA_HEADLESS_FINAL_VERIFY` 设成 {@link envFlagOff} 拼写集
- * (REF-CC-141 dup-02 单源:`0`/`false`/`no`/`off`/`none`,大小写不敏感)disables the stamp。
- * 其它任何值(含空串/'true'/typo)= 默认态 on——fail-soft:一个 settings typo 只会落回默认开,
- * 绝不 brick 任何 run(scenarioWire 的 settings-lane 纪律)。
- *
- * 🔴 [2393] sweep-F12(2026-08-03 全窗复审)**承诺范围如实**(与 detachWire 同形):上面这句是在
- * off 集只有 `{false,0}` 的时代写的;REF-CC-141 扩到五词之后,`no`/`off`/`none` 三个拼写**已经**
- * 会真的关掉这一 stamp,不再落回「默认开」。「typo 只会落回默认开」现在指的是
- * `{false,0,no,off,none}` **之外**的拼写。
- */
 export function headlessFinalVerifyDisabledByEnv(env = hostEnv()) {
     return envFlagOff(env[HEADLESS_FINAL_VERIFY_ENV]);
 }
-/**
- * 用户 Stop hook 在场判定:hooksForWire() 投影(policy→user→project→local 合并、trust/managed 门后)
- * 里 `Stop` 事件带 ≥1 个 matcher 组即认定。判定输入用 wire 投影而非裸 settings——被 trust/
- * disableAllHooks 门掉的 Stop hook 引擎侧同样不会 fire,不构成让位理由。
- */
 export function hasUserStopHook(wireHooks) {
     const groups = wireHooks?.['Stop'];
     return Array.isArray(groups) && groups.length > 0;
 }
-/**
- * Resolve the finalVerification stamp for a headless `-p` submit:**默认 false**(clay 裁定
- * 2026-08-04,头注案情);仅显式 `--final-verify` / env ON 拼写才可能 on,且 Stop hook 仍让位。
- * 调用点必须 live-gate(SEMA_LIVE_BASEURL)——mock/offline 形状不变。
- */
 export function resolveHeadlessFinalVerify(argv, env = hostEnv(), wireHooks) {
     return resolveHeadlessFinalVerifyDetail(argv, env, wireHooks).on;
 }
-/**
- * #106 裁 B(clay 2026-07-26)让位+告知维持,但默认臂已按 2026-08-04 裁定翻转(头注案情):
- * 默认 off 且**无 offReason**(静默——没开过的东西无从让位,告知只在显式 on 被 Stop hook
- * 压下时出现);flag/env 显式关同样不聒噪。detail 形不动(offReason 词表原样)。
- */
 export function resolveHeadlessFinalVerifyDetail(argv, env = hostEnv(), wireHooks) {
     if (parseNoFinalVerifyArgv(argv))
         return { on: false, offReason: 'flag' };
@@ -76,10 +40,6 @@ export function resolveHeadlessFinalVerifyDetail(argv, env = hostEnv(), wireHook
             return { on: false, offReason: 'stop-hook' };
         return { on: true };
     }
-    return { on: false }; // 默认关(clay 裁定 2026-08-04):无 offReason = 静默缺省态
+    return { on: false };
 }
-/**
- * stop-hook 让位的告知文案(单一措辞源;stderr 一行)。措辞纪律与 hook_notice 同族:
- * 「让位/接管」向,绝不写「守卫失效」向 —— 后者会让用户以为链路坏了。
- */
 export const FINAL_VERIFY_YIELD_NOTICE = 'final verification is off for this run — a Stop hook is active and takes over end-of-turn gating (it would otherwise be delayed by up to 2 turns)';