@sema-agent/client-core 0.77.1 → 0.77.2

package/dist/request/taskRequest.d.ts

@@ -1,67 +1,18 @@
-/**
- * request/taskRequest.ts — **请求面合一**(B4,多端改造设计稿 §3 B4 第二件 + §8-5 裁决)。
- *
- * ## 它解决的是什么
- *
- * 搬迁前壳里有 **三个**独立的请求构造器,谁也不知道对方长什么样:
- *   · `S/seamQuery.toTaskRequest`(:535-869)—— 交互 REPL 车道;
- *   · `S/seamQueryEngine`(:546-578)—— headless `-p` 车道,**自己另拼一份**;
- *   · `S/liveClient.toLiveRequest`(:322-448)—— 两条车道共用的 live 兜底层。
- *
- * census §3.4 实测的漂移(B4 复核确认,逐字段见 `REQUEST_FIELD_MATRIX`):
- *   · **print 独有** `finalVerification` / `limits` / `interactiveTools`;
- *   · **TUI 独有** `ultracode` / `systemPrompt` / `reasoningEffort` / `images` / `model` /
- *     rewind 三件 / `clientContext` / `scratchpadDir` / 已解析 settings。
- *     (最后一项 2026-08-17 已补齐两车道 —— #292 P1,理由见矩阵里那一行的行注:它的缺席是
- *     **权限方向**的,不是排版问题。)
- * 这不是「两条车道本来就该不同」——里面**一部分是有理由的,一部分纯粹是漏了**。合一的目的不是
- * 把它们抹平(那是行为改动),而是把「谁有谁没有、为什么」变成**一张表**:再漏就会在 diff 里显形。
- *
- * ## 分工铁律
- *
- * 🔴 本模块**零 env、零全局状态、零 IO**——所有值由端解析好之后放进 `TaskRequestInput`。
- * 壳读 `process.env` / `getAppState()` / `getSessionId()` / `process.argv`,web 读 BFF 下发的配置,
- * 桌面读主进程。包只负责三件**端无关**的事:
- *   ① **字段集**:哪条车道 stamp 哪些字段(`REQUEST_FIELD_MATRIX`,带逐条理由);
- *   ② **合并语义**:`settings` 四源合并、objective 的一次性装饰序、sessionId 三态;
- *   ③ **live 门**:一个 `input.live` 布尔,替掉壳里散落的 20 处 `process.env.SEMA_LIVE_BASEURL` 判读。
- */
 import type { TaskRequest } from '@sema-agent/sdk';
-/** 请求车道(§8-5:print lane 收编进来,但 stderr 分诊文案与 PrintStreamProjector 留壳)。 */
 export type RequestLane = 'interactive' | 'print';
-/** `TaskRequest` 的可写投影(包内按结构操作;SDK 型只做出口约束)。 */
 export type TaskRequestLike = Record<string, unknown>;
-/**
- * 字段矩阵的一条 —— **这就是「不许静默统一」的载体**。
- *
- * `lanes` 是**事实**(今天哪条车道 stamp 它),`why` 是**理由**(为什么另一条没有)。
- * 两者分开写:`lanes` 变了会被下面的自洽断言逮住,`why` 让下一棒知道该不该补齐。
- * `gap:true` = 这条差异**没有正当理由,是漏的**(候补齐;补齐是行为改动,要单独一条测试)。
- */
 export interface RequestFieldSpec {
     field: string;
     lanes: readonly RequestLane[];
-    /** 仅在 live 车道 stamp(mock/pty fixture 车道请求形状恒不变)。 */
     live: boolean;
     why: string;
     gap?: true;
 }
-/**
- * 逐字段对照表(B4 从三个构造器**逐行**读出来的,不是设计出来的)。
- *
- * 读法:`lanes` 只有一条 = 今天的漂移面;`gap:true` = 我判它是**漏**而不是**设计**。
- * 🔴 `gap` 是【判断】不是【事实】——补齐任何一条都要按宪法三问单独立项,别当 B4 的收尾顺手做。
- */
 export declare const REQUEST_FIELD_MATRIX: readonly RequestFieldSpec[];
-/** live 兜底层(`toLiveRequest`)追加的字段 —— 两条车道**都**经过,故不进上表。 */
 export declare const LIVE_DEFAULT_FIELDS: readonly ["cwd", "additionalDirectories", "additionalReadDirectories", "forwardSubagentEvents", "retainSubagentSessions", "agents", "appendSystemPrompt|settings.outputStyle", "suggestNextPrompts", "compactionModel", "sessionId(三态解析)"];
-/** 端解析好的输入 —— 每一项都是**值**,不是取值方式(取值方式属端)。 */
 export interface TaskRequestInput {
-    /** 本 turn 的模型面输入(已含 slash-skill 正文 / 注入式 meta / 历史种子等端侧组装)。 */
     objective: string;
-    /** 壳会话 id(单命名空间);print 非 live 车道传 mock 常量。 */
     sessionId: string;
-    /** live 车道(= 壳的 `process.env.SEMA_LIVE_BASEURL` 判真)。false ⇒ 全部 live-gated 字段不 stamp。 */
     live: boolean;
     scenario?: string;
     systemPrompt?: string;
@@ -80,53 +31,25 @@ export interface TaskRequestInput {
     promptProfile?: string;
     enableFork?: boolean;
     attachments?: Record<string, unknown>;
-    /** 预上传附件句柄(`uploadAttachment` 回执 id)。空数组 = 没带附件 ⇒ 整键不 stamp。 */
     attachmentIds?: readonly string[];
-    /** 排除工具名单(SDK 真 wire 键;desktop 座位面在发)。空数组 = 不排除 ⇒ 整键不 stamp。 */
     excludeTools?: readonly string[];
     finalVerification?: boolean;
     limits?: Record<string, unknown>;
     interactiveTools?: false;
-    /** 一次性提交声明(`true|undefined` 型:opt-out=不传,绝不发 false——wire 上与缺席同义,发小的那个)。 */
     oneShot?: true;
-    /** 结构化输出约束(0.77.0;形 = sdk `TaskRequest.outputSchema` 本尊,原样透传;print 车道有座,见矩阵行)。 */
     outputSchema?: NonNullable<TaskRequest['outputSchema']>;
-    /**
-     * 花费上限声明(0.77.0;美元,请求体顶层位;print 车道有座)。
-     * 🔴 只接受**有限正数**或缺席:别的值(数字串 / `NaN` / `0` / 负数 / `Infinity`)构造器响亮拒,理由见 `refuseBadMaxCostUsd`。
-     */
     maxCostUsd?: number;
-    /** 整任务 token 预算(`--task-budget <tokens>` 一类旗的意图)。上游无对位 ⇒ 恒不发,回执答 `upstream_absent`。 */
     taskBudget?: number;
-    /** 主模型过载时的后备模型(`--fallback-model <model>` 一类旗的意图)。上游无对位 ⇒ 恒不发,回执答 `upstream_absent`。 */
     fallbackModel?: string;
-    /** 思考 token 数上限(`--max-thinking-tokens <tokens>` 一类旗的意图)。上游只有档位词(`reasoningEffort`),没有 token 数这一位 ⇒ 恒不发。 */
     maxThinkingTokens?: number;
-    /**
-     * 「本会话永远不进长期记忆」的**声明形**([7226] ⑤;server §12.4)。
-     * 🔴 型面就写成 `'off'`:上游是**单成员闭集**(没有 `"on"`),给它一个宽串型等于邀请调用方发
-     * 一个 400 回来。JS 调用方(本包是发出去的 npm 公开面)绕过型面时由构造器再判一次值。
-     */
     memoryCapture?: 'off';
-    /**
-     * 「这一次别给我记忆」的**请求级整面关**(CC-39③;server §12.7 姊妹键)。单成员闭集 `'off'`,缺席 = 记忆照常挂。
-     * 型面同 {@link TaskRequestInput.memoryCapture}:给它一个宽串型等于邀请调用方发一个 400 回来;JS 调用方由构造器再判一次值。
-     */
     memory?: 'off';
-    /** rewind 三件(E18);端自己判空。 */
     rewind?: Record<string, unknown>;
-    /** 仓库坐标串(scan/code-review 场景;今日唯一供给方 web 的 Repository 输入=url/`owner/name` 串。
-     *  server 是权威校验方;若 server 侧扩结构形,这里随提货单扩,不预铸。 */
     repo?: string;
-    /** council 形开关(server 读 `=== true`)。 */
     council?: boolean;
-    /** debate 变体开关(server 读 `=== true`)。 */
     debate?: boolean;
-    /** debate 轮数(server clamp [1,3])。 */
     rounds?: number;
-    /** 镜头名集(code-review 场景;web 进阶项发镜头名列表。语义/合法词表归 server 场景定义)。 */
     lenses?: readonly string[];
-    /** `settings` 的四个来源(端各自解析;本模块只负责合并序与「全空则不 stamp」)。 */
     settings?: {
         resolved?: Record<string, unknown>;
         webSearch?: Record<string, unknown>;
@@ -135,47 +58,16 @@ export interface TaskRequestInput {
         outputStyle?: string;
     };
 }
-/**
- * 「入参里在场、却没上请求体」的**成因词表**(冻结)。🔴 词序就是判定序(先中先得),判定逐词走
- * {@link OMISSION_JUDGES} —— 那张判官表的键型就是本词表的成员型:加词不加判官 / 加判官不加词,编译当场红。
- *
- *   · `upstream_absent` —— 本包认识这个意图,但上游没有对位(sdk 型面无具名位,提交体与引擎 spec 也不读)。
- *                          见 {@link UPSTREAM_ABSENT_REQUEST_INTENTS}。恒不发,与车道 / live 无关。
- *   · `other_channel`   —— 是请求体上的真位,但**不归本构造器**盖:归 live 兜底层({@link LIVE_DEFAULT_FIELDS},
- *                          端在构造之后经 {@link applyLiveRequestDefaults} 落位)。塞进本构造器的入参 = 没发出去。
- *   · `off_lane`        —— 在车道表里,但本车道不在那一行的 `lanes` 里(理由读那一行的 `why`)。
- *   · `not_live`        —— 本车道有座,但那一行是 live 门后的位,而这一次 `input.live` 为假(mock / fixture 车道)。
- *
- * 🔴 本词表只答「**本构造器**这一次带没带」。带了 ≠ 引擎兑现了:老版本上游静默忽略新键、部署策略拒、
- *    能力位没开,那些只有引擎知道 —— 端不许拿「回执里没有这一键」去渲一句「已生效」。
- * ⚠️ **值级等价缺席不入回执**:空数组 / `council:false` / `oneShot` 非 `true` 这类值在 wire 上与缺席同义
- *    (构造器发小的那个),没有意图被丢,报它们只是噪音。
- */
 export declare const TASK_REQUEST_OMISSION_CAUSES: readonly ["upstream_absent", "other_channel", "off_lane", "not_live"];
 export type TaskRequestOmissionCause = (typeof TASK_REQUEST_OMISSION_CAUSES)[number];
-/** 回执的一行:入参键名(不是 wire 键名 —— `rewind` / `settings.resolved` 这类入参键在 wire 上是摊开的)+ 成因。 */
 export interface TaskRequestOmission {
     readonly key: string;
     readonly cause: TaskRequestOmissionCause;
 }
-/**
- * {@link assembleTaskRequest} 的产物:请求体与回执出自**同一次装配、同一只判官**。
- *   · `request` —— 与 {@link buildTaskRequest} 逐字节同一份(刻意**不冻结**:端在构造之后还要经 live 兜底层落位)。
- *   · `omitted` —— 冻结;序 = 入参型的声明序(不是调用方的书写序),其后才是入参型之外的 live 兜底键。
- *                  `[]` 是**肯定断言**(看过了,在场的键全上了请求体),不是「没算」。
- */
 export interface TaskRequestAssembly {
     readonly request: TaskRequestLike;
     readonly omitted: readonly TaskRequestOmission[];
 }
-/**
- * 一个入参键在一条车道上的**座位读数** —— 三个答案,刻意分开:
- *   · `seated`  —— 有座;`liveGated` 为真 ⇒ 还要 `input.live` 为真才上请求体;
- *   · `none`    —— 明确没座,带成因(`not_live` 是逐次请求的事实,不属于座位读数,故型上排除);
- *   · `unknown` —— 本包的表里**没有这一键**:不知道它是什么,也就不知道上游有没有对位。
- *                  🔴 它不是 `none` 的一种 —— 装配口对这一档是响亮拒,不是给一行回执。
- * ⚠️ `live` 是装配控制位(决定 live 门)不是请求键:读数答 `seated`(装配恒按它行事),它永不进回执。
- */
 export type TaskRequestSeatReading = {
     readonly seat: 'seated';
     readonly liveGated: boolean;
@@ -185,183 +77,42 @@ export type TaskRequestSeatReading = {
 } | {
     readonly seat: 'unknown';
 };
-/**
- * 上游今天**没有对位**的请求意图(由 {@link INPUT_KEY_ROUTES} 派生,不另抄一份)。
- *
- * 🔴 每一行都是一条**核过的否定事实**,不是「还没做」:登记判据 = 装着的 sdk `TaskRequest` 型面上没有这一键的
- *    具名声明(包侧门直读盘上的 `.d.ts` 钉住;哪天上游铸了同名位,门当场红,提示重核三层再加座)。
- * 🔴 核不出的键**不进本表** —— 它们在装配口是「不认识」那一档(响亮拒),不许借本表的成因词冒充「明确不带」。
- */
 export interface UpstreamAbsentRequestIntent {
     readonly key: string;
     readonly why: string;
 }
 export declare const UPSTREAM_ABSENT_REQUEST_INTENTS: readonly UpstreamAbsentRequestIntent[];
-/**
- * 座位读数(静态口:不装配请求就能问「这一键在这条车道上有没有座」)。`key` 是**入参键名**
- * (`settings` 的子键写点分名 `settings.ultracode`);与装配口同读一张路由表、同一只判官。
- */
 export declare function taskRequestSeatOf(key: string, lane: RequestLane): TaskRequestSeatReading;
-/**
- * 合一后的请求构造器 —— **按车道出两形**,字段集差异全部由 `REQUEST_FIELD_MATRIX` 决定。
- *
- * 🔴 行为纪律:本函数**不做任何统一**。print 没有 `ultracode` 就是没有(表里 `gap:true` 记着账),
- * 补齐要另立项 —— 在这里顺手加一行,就是把「合一」偷换成「行为改动」。
- */
-/**
- * ⑤ 的**响亮拒**([7226] 包侧缺口 ⑤;异源对抗复审轮五 finding① 采纳)。
- *
- * 🔴 修前这里是「不是 `'off'` 就整键不 stamp」——**静默删键**,而删掉的恰是一条**隐私声明**:
- *    一个把 `/memory-capture off` 打成 `OFF` 的会话,请求照发、引擎照常采集,**没有任何人会知道**。
- * 🔴 上游把这条写死了(装机 core `dist/core/memory.d.ts` 的 `capture?: "off"` 头注**逐字**):
- *    「Any other value — `"on"`, `"OFF"`, booleans, garbage — is REFUSED loudly
- *    (`config.memory_capture_spelling`), never read as either state (**a privacy request must not be
- *    dropped by a typo**, and capture must not be switched off by one either)」;server 契约 §12.4
- *    同样写明坏拼写 400 `request.field_invalid`,并点名「把一条隐私请求按打字错误静默丢掉恰是**禁的方向**」。
- *    ⇒ 提前删键 = 把上游那道响亮门**绕过去**,方向正好反了。
- * 🔴 与本文件 `resolvedSnapshotForWire` 对畸形权限快照的处置**同一条纪律**(那里也是抛,理由逐字
- *    是「降空 = 让请求带着被剥掉的权限面发出去」)——两处都是**声明方向**的位:丢了没人看得见。
- * ⚠️ `undefined` / `null` = **合法缺席**(端没有这个入口 / 没有声明),照旧不 stamp,不拒。
- * ⚠️ **不分车道、不受 live 门**:拒绝不是「stamp 一个键」,不改请求形状;而一条打错字的隐私声明
- *    在哪条车道上都不该被默默放行。
- * (本包是发出去的 npm 公开面:JS 调用方与版本偏斜的宿主都到得了这里,型面拦不住。)
- */
-/**
- * wire 上那个**单成员闭集**的唯一字面(server §12.4)。导出它是为了让端的断言/门有一个机读锚,
- * 🔴 **不是**为了让端拿它去自己拼请求 —— 拼请求走 {@link memoryCaptureDeclarationField}。
- */
 export declare const MEMORY_CAPTURE_OFF: "off";
-/**
- * 「本会话声明过 opt-out 没有」这个**意图位** → 提交腿的 spread-ready 片段(L-316,0.68.2)。
- *
- * ── 为什么这一只在包里(归层,不是搬家)────────────────────────────────────────────────────
- * 端手里只有一个**布尔**:「这条会话敲过 `/memory-capture off` 没有」。而 wire 上那个值是
- * **单成员闭集**的一个字面串 —— 谁铸这个串,谁就得同时承担「拼错了会被 400 响亮拒、而且这是
- * 一条**隐私**声明、拼错即静默失效」这件事。cli 1.0.x 起这个串在壳里另有一处铸点
- * (`memoryCaptureOptOut.memoryCaptureRequestField`),web / desktop 接这条腿时会各铸第三、第四处
- * —— 三端各写一个字面量,正是本层存在的理由(与 `taskNotificationToPrintFrame` 同一条先例)。
- * ⇒ 端交**意图位**,值由本层唯一铸出;拼写门与 {@link buildTaskRequest} 的响亮拒共用同一个字面。
- *
- * 🔴 **`false` ⇒ 整键缺席**,不是 `{ memoryCapture: undefined }`、更不是某个「on」值:wire 上
- *    压根没有那个值(单成员闭集),**缺席就是「照常采集」的唯一写法**。所以未启用时本片段对
- *    wire 字节零影响。
- * 🔴 **本层只答「下一条提交带不带这一键」,不答「采集关没关」**:后者只有引擎知道(老 worker
- *    静默忽略本键 / 部署策略 403 / 控制面写失败),任何端都不许拿这一位去渲一句「已经关了」。
- *
- * 用法(端逐字照抄,别在外面再包一层字面量):
- * ```ts
- * buildTaskRequest({ …, ...memoryCaptureDeclarationField(declaredForThisSession) }, 'interactive')
- * ```
- */
 export declare function memoryCaptureDeclarationField(declared: boolean): {
     memoryCapture: 'off';
 } | Record<string, never>;
-/** `memory: "off"` 的唯一字面(server §12.7;core #863 W3)。 */
 export declare const MEMORY_OFF: "off";
-/**
- * 「这一次别给我记忆」的**意图位** → 提交腿的 spread-ready 片段(CC-39③,0.72.8;与 {@link memoryCaptureDeclarationField} 同律)。
- * 🔴 `false` ⇒ 整键缺席(= 记忆照常挂的唯一写法),不是 `{ memory: undefined }`、更不是某个「on」值。
- * 🔴 本层只答「下一条提交带不带这一键」,不答「这次真的没挂记忆面」:后者只有引擎知道(老 server 400 / 更老 worker 静默忽略);
- *    终局 memory 状态词 `disabled`(不是 `no-spec`)才是引擎的答案,端别拿这一位去渲「已关」。
- * 🔴 两键同发(`memoryCapture:"off"` + `memory:"off"`)时 capture 的单向记录**不落**(core 只在挂引擎时记)—— 契约 §12.7 写真话,
- *    不许拿 `memory:"off"` 当隐私声明;要「别记住我」用 memoryCapture 那一键。
- */
 export declare function memoryOffDeclarationField(declared: boolean): {
     memory: 'off';
 } | Record<string, never>;
-/**
- * 端的两个入口 → 「这一次别给我记忆」的**意图位**(cli [7510]:发口投影归包,三端同判、壳零自判)。
- *   · `flag`:CLI 旗 `--memory <word>` 的原词 —— **只认恰 `'off'`**(单成员闭集;`'on'` / 大小写 / 带空格一律不认,
- *     那些拼法上 wire 会被 server 400,而本层不替它买路也不替它编);
- *   · `settingsMemory`:settings 的 CC 形 `memory` 段 —— **只认严格 `{ enabled: false }`**(`"false"` / `0` / 缺席 = 沉默不是关,
- *     与 core `ParentSpecSeat.memoryOff` 只从显式 `enabled: false` 铸同律)。
- * 任一成立 ⇒ `true`;其余 / 坏形 / 非对象入参 ⇒ `false`(= 键缺席,记忆照常挂)。喂给 {@link memoryOffDeclarationField}。
- */
 export declare function memoryOffDeclared(input: {
     flag?: unknown;
     settingsMemory?: unknown;
 } | null | undefined): boolean;
-/**
- * **装配口**(0.77.0):请求体 + 逐键回执,同一次装配、同一只判官。
- *
- * 与 {@link buildTaskRequest} 的关系:后者**就是**本函数的 `.request`(一行转调)—— 两个口不可能装出两份
- * 不同的请求体。要知道「我给的键这一次到底发没发」的端用本口;只要请求体的端两个口随意。
- *
- * 🔴 两个口的**拒绝面完全相同**(拒绝发生在装配里,不在回执里):
- *   · 表外的车道词 ⇒ `TypeError`;
- *   · 入参(或 `settings`)上**在场**的、本包不认识的键 ⇒ `TypeError`,点名键名(值为 `undefined` / `null` 的键
- *     = 缺席,不算);
- *   · `settings` 在场却不是对象 ⇒ `TypeError`;
- *   · `memoryCapture` / `memory` 坏拼写、`maxCostUsd` 坏值、畸形权限快照 ⇒ `TypeError`(各见其注)。
- * 🔴 入参的每个已知键**恰读一次**,装配与回执共用那一份快照:带 getter / proxy 的入参在两次读取之间可以变值,
- *    那样回执说的与请求体带的就可以不是同一件事(`memoryCapture` 那条「校验与 stamp 共用同一次读取」的推广)。
- */
 export declare function assembleTaskRequest(input: TaskRequestInput, lane: RequestLane): TaskRequestAssembly;
-/**
- * 只要请求体的口 —— **就是** {@link assembleTaskRequest} 的 `.request`(拒绝面完全相同,见那里的头注)。
- * ⚠️ 本口没有回执通道:认识而没带的键(车道不符 / live 门没开 / 上游无对位)在这里照旧没有信号。要逐键答案
- *    用装配口;要在不装配的情况下问一个键有没有座用 {@link taskRequestSeatOf}。
- */
 export declare function buildTaskRequest(input: TaskRequestInput, lane: RequestLane): TaskRequestLike;
-/** `applyLiveRequestDefaults` 的宿主输入(端解析好的值,同样零取值方式)。 */
 export interface LiveDefaultsInput {
     cwd?: string;
     additionalDirectories?: readonly string[];
-    /** 只读面宽根(A-028.9 补位,壳 #257 真行为上收):配置目录 + tmp 族等**主机自身姿态**的
-     *  read-boundary 根。值(广度闸/realpath 判决)归端算,包只做「缺席时补位」。
-     *  🔴 只宽读不宽写:与 `additionalDirectories`(/add-dir 用户显式写授权)是分开的两个口。 */
     additionalReadDirectories?: readonly string[];
     agents?: unknown;
-    /** 引擎 caps 判真 ⇒ 走 `appendSystemPrompt` 一等位;否则借道 `settings.outputStyle`。 */
     appendSystemPromptCapable: boolean;
-    /** 自我认知块的合并结果(端把既有值传进来,包只决定落哪个位)。 */
     selfKnowledge?: {
         forAppend: string;
         forOutputStyle: string;
     };
-    /** E12 opt-in(缺省关 —— 开着 = 每个 completed run 后端多跑一次 LLM pass)。 */
     suggestNextPrompts?: boolean;
-    /** 三重门都过之后的 cheap 槽模型名;端负责 caps + 配置 + 目录同步校验。 */
     compactionModel?: string;
-    /** 前一 turn 捕获的引擎 session id(连续性最高优先)。 */
     capturedSessionId?: string;
-    /** 端的 mock session 常量(命中 ⇒ 删 sessionId 让引擎新铸)。 */
     mockSessionIdConstant?: string;
-    /** 需要从 scenario 位剔除的 mock 关键字。 */
     mockScenarioKeys?: ReadonlySet<string>;
 }
-/**
- * live 兜底层(cli `liveClient.toLiveRequest` 的**包内半场**)—— 两条车道共用。
- *
- * 🔴 与 cli 的差分记账:cli 版在函数体里直接读 `process.cwd()` / `getAppStateStoreRef()` /
- * `getLiveModelCatalog()` / `engineCapTrue()`。这些是**取值方式**,全部上移到 `LiveDefaultsInput`。
- * 「调用方已带值就不覆盖」的语义(cli 每条都是 `if (out.X === undefined)`)在这里逐条保留。
- */
 export declare function applyLiveRequestDefaults(req: TaskRequestLike, host: LiveDefaultsInput): TaskRequestLike;
-/** 出口约束:构造结果确实是一个 `TaskRequest`(型只在这里碰 SDK,运行时零依赖)。 */
 export type BuiltTaskRequest = TaskRequest;
-/**
- * ⇄ B8(§8-5 请求拼装合一的**可执行判据**)—— 一份请求体里出现了**没进车道表**的键就点名它。
- *
- * 为什么要有:B4 把字段集做成了 `REQUEST_FIELD_MATRIX` 这张表,但表当时只管住了
- * `buildTaskRequest` 自己;端上真正上 wire 的那份请求仍可以在构造器之外多塞一个键(print lane
- * 修前正是「自己另拼一份」),于是「表说了算」就退化成一句注释。本函数让**真上 wire 的那份**
- * 也过一遍表:print lane 收编之后,`-p` 的请求体逐键都能报出登记出处,再漏就当场红。
- *
- * 判据口径(三类不点名):
- *   ① 车道表里的字段(`lanes` 含本车道);② `LIVE_DEFAULT_FIELDS` —— live 兜底层追加、两条车道
- *   都经过,故本就不进车道表;③ `settings` 的子键按表认(`settings.<sub>`)—— 登记了
- *   `settings.<resolved>` 的车道(#292 P1 起 = **两条**)那份 resolver effective 快照是**开放集**,
- *   所以**表外**子键(permissions/env/model/… 不可枚举)放行。
- *
- * 🔴 开放集**不是**整只 `settings` 免检(#292 P1 对抗复审第二轮 [medium] 采纳):表里点名了、
- * 而 lanes 不含本车道的子键(如 print 车道的 `settings.ultracode`)照旧**点名** —— 那些键是
- * **可枚举的已知量**,放过它们等于让「ultracode 仅 interactive」这条登记在真 wire 面失效。
- * `buildTaskRequest` 内的 `resolvedSnapshotForWire` 只管住构造器自己那一份;端在构造之后仍能往请求体上
- * 塞键(print lane 修前正是「自己另拼一份」),而本函数的整个存在理由就是替**真上 wire 的那份**
- * 过表。两道门缺一不可。
- *
- * 🔴 它**不判**「该不该有」——只判「有没有登记」。补齐一条真实差异要改表(带理由),
- * 而不是绕过本函数:改表这个动作本身就会在 diff 里显形,这正是本判据存在的意义。
- */
 export declare function unregisteredRequestKeys(req: TaskRequestLike, lane: RequestLane): string[];