@sema-agent/client-core 0.72.11 → 0.72.13

package/dist/executionLaneCapability.js

@@ -0,0 +1,125 @@
+/**
+ * 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 { engineCapsGeneration } from './engineCapsCache.js';
+/**
+ * caps 回体 → 本格读数;**畸形一律 `undefined`**(= 这一格不写 ⇒ 读口答 `unobserved`)。
+ * 键不在 / `undefined` ⇒ `not_reported`(老 server);`null` / 数组 / 非对象 / 缺任一座 / 座坏形 ⇒ 畸形。
+ */
+export function projectExecutionLaneCapability(caps) {
+    if (caps === null || typeof caps !== 'object')
+        return undefined;
+    if (!('executionLane' in caps))
+        return { kind: 'not_reported' };
+    const lane = caps.executionLane;
+    if (lane === undefined)
+        return { kind: 'not_reported' };
+    if (lane === null || typeof lane !== 'object' || Array.isArray(lane))
+        return undefined;
+    const provider = lane.provider;
+    const toolsOnThisHost = lane.toolsOnThisHost;
+    if (typeof provider !== 'string' || provider === '')
+        return undefined;
+    if (typeof toolsOnThisHost !== 'boolean')
+        return undefined;
+    return { kind: 'present', view: { provider, toolsOnThisHost } };
+}
+const readingByBase = new Map();
+/**
+ * 宿主 caps probe 的**读面 tee** 落点(与三只兄弟并列;宿主在同一处按序调)。绝不 throw。
+ * 投影 `undefined`(畸形)⇒ 这一格**被删**而不是留着上一台引擎的旧值;`opts.generation` 关掉「旧探测覆盖新读数」竞态。
+ */
+export function noteEngineCapsForExecutionLane(baseUrl, caps, opts) {
+    try {
+        if (typeof baseUrl !== 'string' || baseUrl === '')
+            return;
+        if (opts?.generation !== undefined && opts.generation !== engineCapsGeneration(baseUrl))
+            return;
+        const reading = projectExecutionLaneCapability(caps);
+        if (reading === undefined) {
+            readingByBase.delete(baseUrl);
+            return;
+        }
+        readingByBase.set(baseUrl, reading);
+    }
+    catch {
+        /* fail-soft:本 tee 任何分支都不许打断 caps 探测链 */
+    }
+}
+/** 本进程观测到的执行车道;这一格空缺 ⇒ `{kind:'unobserved'}`(**绝不**编一条车道)。 */
+export function observedExecutionLane(baseUrl = engineWireTarget()?.baseUrl) {
+    if (typeof baseUrl !== 'string' || baseUrl === '')
+        return { kind: 'unobserved' };
+    const hit = readingByBase.get(baseUrl);
+    if (hit !== undefined)
+        return hit;
+    return { kind: 'unobserved' };
+}
+/**
+ * 「工具是否跑在本机」的**判据单源**(此前三端各拼旁证三合取):读到位就用位 —— `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':
+            return ('execution lane not observed — the engine reports it on /v1/capabilities; ' +
+                'this process has not received a capabilities response from the engine yet');
+        case 'not_reported':
+            return ('execution lane not reported by this engine — only newer engines advertise it; ' +
+                'this does not say where tools run, so the client keeps inferring it the way it did before');
+        case 'present': {
+            const lane = capForDisplay(reading.view.provider, LANE_DETAIL_MAX);
+            if (reading.view.toolsOnThisHost) {
+                return `execution lane ${lane} — tools run on the engine host (same filesystem), so skills that have a directory of their own can carry a baseDir`;
+            }
+            return `execution lane ${lane} — tools run on a different machine than the engine, so skill baseDir is never sent on this deployment`;
+        }
+    }
+}
+/** **换代失效口**(由宿主在引擎温切成功后调):清成未观测,不是留旧值。空串 ⇒ no-op;绝不 throw。 */
+export function forgetExecutionLaneReading(baseUrl) {
+    if (typeof baseUrl !== 'string' || baseUrl === '')
+        return;
+    readingByBase.delete(baseUrl);
+}
+/** 测试钩子。 */
+export function __resetExecutionLaneReadingsForTests() {
+    readingByBase.clear();
+}

package/dist/fleet/fleetProjection.js

@@ -97,8 +97,15 @@ export function coerceWorkflowStatus(s) {
             return 'killed';
         case 'parked':
             return 'awaiting approval';
-        default:
+        case 'queued':
+            return 'queued';
+        case 'running':
             return 'running';
+        default:
+            // 0.72.12 CC-51(#64 同形):认不出的词不再谎报活跃 —— 与同文件 `coerceTaskStatus`(REF-CC-043)同律落
+            // 非活跃中性词 `idle`(FleetTaskStatus 是 wire 闭集,无 unknown 位;idle = 「活着但此刻没在推进」,
+            // 是闭集里唯一不断言方向的词)。
+            return 'idle';
     }
 }
 /**

package/dist/fleetAgentPanelProjection.d.ts

@@ -37,7 +37,7 @@ export interface FleetAgentRowLike {
      *  详情页 elapsed 只能锚「壳建行时刻」——遗留行上渲出 1h+ 的假时长。缺席=老引擎,消费端保持现状。 */
     startedAt?: number;
 }
-/** 行从投影集消失多久之后按 completed 兜底 settle(重连空窗 / snapshot 清表远小于此)。 */
+/** 行从投影集消失多久之后上报 `absent`(0.72.12 起不再 settle;重连空窗 / snapshot 清表远小于此)。名字沿用(公面导出)。 */
 export declare const ABSENT_SETTLE_MS = 30000;
 /**
  * 测试钩:清投影台账 —— **全部 sessionKey**,不是只清 default 桶。

package/dist/fleetAgentPanelProjection.js

@@ -36,20 +36,24 @@
  *    setAppState 全树重渲)。
  * ② 终态行发一次 `end`(幂等台账),并摘除常驻标 —— 与 bg_notification 合成链同一个 settle 边,
  *    两边先到先得,消费端 settle 本身幂等(running 才动)。
- * ③ 缺席兜底:行从投影集里消失且**超过宽限窗**仍没见终态 ⇒ 按 completed settle。诚实边界:这是
- *    安全网不是真相源(真终态来自行帧终态 / bg_notification),宽限窗内的重连空窗(snapshot 清表)
- *    不会误结。lastSeen 恒**先**按本次在场行刷新、再判缺席,所以 footer 长时间卸载后重挂也不误结。
+ * ③ 缺席上报(0.72.12 CC-50 改形):行从投影集里消失且**超过宽限窗**仍没见终态 ⇒ 经**独立缺席口**(`publishEngineAgentPanelAbsence`,0.72.13;不上主通道)
+ *    上报一条(**不是** `end`、**不** settle)。此前这里「按 completed settle」= 把「引擎不再上报这一行」
+ *    编成「成功」—— 本包手上没有任何载体说明它完没完成(test [7541] 两条现场腿秒级实测:屏上
+ *    ✔ Completed 的真实来源就是这一格;server [7545]:子行随父 run 离场被 `orphaned` 移除,真终局由
+ *    后续对账周期补发,结构性晚于这个窗)。真终态帧迟到照发那唯一一次 `end`;行回来照发 `fleet-row`。
+ *    宽限窗内的重连空窗(snapshot 清表)不上报;lastSeen 恒**先**按本次在场行刷新、再判缺席,所以
+ *    footer 长时间卸载后重挂也不误报。
  * ④ 行 id 尾段判(`${runId} ${taskId}` 复合形取尾;真机 1.277.4 上子行 id 是裸 a+16hex,复合形是
  *    run 发布器双生行的形)——REF-CC-042:与同包 `workflow.rowIdTail` 同一个函数(import,不再
  *    就地维护第二份;该函数出过等价性事故,0.1.1 修,见 `workflow.ts` 头注)。
  */
-import { publishEngineAgentPanelEvent } from './engineAgentPanelStore.js';
+import { publishEngineAgentPanelAbsence, publishEngineAgentPanelEvent } from './engineAgentPanelStore.js';
 import { rowIdTail } from './workflow.js';
 import { TERMINAL_FLEET_TASK_STATUSES } from './fleet/fleetProjection.js';
 import { DEFAULT_SESSION_KEY } from './sessionSlot.js';
 // L-215+(0.65.0;core [6908]):「非成功终局」的单铸谓词(与 notifications 的同名位同源)。
 import { isTerminalNotSuccess } from './runTerminal.js';
-/** 行从投影集消失多久之后按 completed 兜底 settle(重连空窗 / snapshot 清表远小于此)。 */
+/** 行从投影集消失多久之后上报 `absent`(0.72.12 起不再 settle;重连空窗 / snapshot 清表远小于此)。名字沿用(公面导出)。 */
 export const ABSENT_SETTLE_MS = 30_000;
 /** REF-CC-045(fleet2-07):settled 条目的回收期 —— settle 后这么久仍未再被投影 ⇒ 台账整条
  *  delete,给 `fleetAgentProjectionSizeFor()` 一个上界(此前 `seen` 只增不减,长会话里每个
@@ -177,6 +181,7 @@ export function projectFleetAgentRowsFor(sessionKey, rows, nowMs = Date.now()) {
                 settled: true,
                 // notif-F13:settle 时刻只在**首次** settle 时铸(重复投影的终态行不许一路续命回收期)。
                 settledAtMs: prev?.settled ? prev.settledAtMs : nowMs,
+                absentReportedAtMs: undefined,
             });
             continue;
         }
@@ -186,6 +191,7 @@ export function projectFleetAgentRowsFor(sessionKey, rows, nowMs = Date.now()) {
         //    值↔undefined 之间来回抖,每秒白发两次事件。
         if (!prev ||
             prev.settled ||
+            prev.absentReportedAtMs !== undefined || // 行回来了:即使值未变也发一条,消费端据此撤掉 absent 标
             prev.status !== status ||
             prev.tokens !== tokens ||
             (toolUses !== undefined && prev.toolUses !== toolUses) ||
@@ -216,29 +222,40 @@ export function projectFleetAgentRowsFor(sessionKey, rows, nowMs = Date.now()) {
             lastSeenAt: nowMs,
             settled: false,
             settledAtMs: undefined, // 又活了 ⇒ 回收钟归零(重新 settle 时重铸)
+            absentReportedAtMs: undefined, // 在场 ⇒ 缺席周期结束(下次再消失是新周期,会再上报一次)
         });
     }
-    // ③ 缺席兜底 —— 必须在【本次在场行全部刷完 lastSeen 之后】判,否则 footer 长时间卸载后重挂
-    //    会把仍在跑的行按「陈旧」误结。
+    // ③ 缺席上报 —— 必须在【本次在场行全部刷完 lastSeen 之后】判,否则 footer 长时间卸载后重挂
+    //    会把仍在跑的行按「陈旧」误报。🔴 0.72.12 CC-50:这里只发 `absent`,**不** settle、不铸 end ——
+    //    缺席不是终局,本包不替引擎下这个断言;真终态帧迟到照走 ② 发那唯一一次 end(去重记号不被缺席占用)。
     for (const [taskId, s] of seenMap) {
-        if (present.has(taskId) || s.settled)
+        if (present.has(taskId) || s.settled || s.absentReportedAtMs !== undefined)
             continue;
-        if (nowMs - s.lastSeenAt <= ABSENT_SETTLE_MS)
+        const absentForMs = nowMs - s.lastSeenAt;
+        if (absentForMs <= ABSENT_SETTLE_MS)
             continue;
-        publishEngineAgentPanelEvent({ kind: 'end', taskId, isError: false });
-        seenMap.set(taskId, { ...s, settled: true, settledAtMs: nowMs }); // notif-F13:settle 时刻按**现在**铸
+        // 🔴 0.72.13:走**独立缺席口**,不上主通道(老消费者的裸 else = sweep 体,会把新 kind 当 sweep;见 store 头注 / DS-07)。
+        publishEngineAgentPanelAbsence({ taskId, lastSeenAtMs: s.lastSeenAt, absentForMs });
+        seenMap.set(taskId, { ...s, absentReportedAtMs: nowMs });
     }
     // ④ REF-CC-045(fleet2-07):settled 条目回收 —— 给台账一个上界(此前只增不减)。settle 已发过
     //    事件,delete 对外无事件,消费端 settle 本身幂等。
     //    [2393] notif-F13/sweep-F7 两处纠(判据见 SETTLED_RETENTION_MS 头注):
     //      · 锚 `settledAtMs`(settle 那一刻)而不是 `lastSeenAt`(最后一次被投影);
     //      · 只回收**已不在场**的条目 —— 仍在场的终态行删了会每拍重发 end。
+    //    0.72.12:已上报 absent 且始终不再在场的条目同样有上界 —— 锚 `absentReportedAtMs`(上报那一刻),
+    //    回收后迟到的终态帧仍会发恰一次 end(prev 缺席 ⇒ 首次 settle),行回来则按新行重建。
     for (const [taskId, s] of seenMap) {
-        if (!s.settled || present.has(taskId))
+        if (present.has(taskId))
             continue;
-        const settledAt = s.settledAtMs ?? s.lastSeenAt;
-        if (nowMs - settledAt > SETTLED_RETENTION_MS)
+        if (s.settled) {
+            const settledAt = s.settledAtMs ?? s.lastSeenAt;
+            if (nowMs - settledAt > SETTLED_RETENTION_MS)
+                seenMap.delete(taskId);
+        }
+        else if (s.absentReportedAtMs !== undefined && nowMs - s.absentReportedAtMs > SETTLED_RETENTION_MS) {
             seenMap.delete(taskId);
+        }
     }
     if (seenMap.size === 0)
         seen.delete(sessionKey);

package/dist/hitl/hitlBridge.d.ts

@@ -138,7 +138,18 @@ export interface PlanReviewOutcome {
     decision: 'approve' | 'edit' | 'reject';
     editedPlan?: string;
     reason?: string;
+    /**
+     * 0.72.13 CC-46(engine ≥7.86.0;契约 §4c):批准之后这条任务继续用的 permission mode。**只配 `approve`**;
+     * 缺席 = 键不落(老壳姿势,引擎按 `default`)。🔴 适用面读不到 wire:只有**提交这条任务的那一方**知道它是不是
+     * `permissionMode:"plan"` 只读起步的 —— 不是只读起步的任务送这一位会吃 400 `request.field_conflict`,那次批准整个送不出去。
+     */
+    permissionModeAfter?: PlanReviewModeAfter;
 }
+/** 契约 §4c `permissionModeAfter` 的闭集两词(`acceptEdits` = 工作目录内的写不再逐次征询;`default` = 每次写照常征询)。 */
+export declare const PLAN_REVIEW_MODE_AFTER_WORDS: readonly ["default", "acceptEdits"];
+export type PlanReviewModeAfter = (typeof PLAN_REVIEW_MODE_AFTER_WORDS)[number];
+/** 这个值是不是闭集里的词(词表外 —— 含 `plan` / `bypassPermissions` / `auto` —— 引擎 400:一次批准不许顺带关掉征询面)。 */
+export declare function isPlanReviewModeAfter(v: string | undefined): v is PlanReviewModeAfter;
 /**
  * {@link HitlSafetyError.code} 的闭集(0.60.0 抽名,**成员一个没动**)。
  *
@@ -147,7 +158,7 @@ export interface PlanReviewOutcome {
  * ——抄一份就是给自己立第二个判官(B-025 的病形)。加员仍必须**同批**改齐
  * `parkResolver.GATE_FAILURE_CODES` 白名单(见下方原注)。
  */
-export type HitlSafetyCode = 'binding_mismatch' | 'no_pending' | 'wrong_gate' | 'bad_plan_edit' | 'empty_answer';
+export type HitlSafetyCode = 'binding_mismatch' | 'no_pending' | 'wrong_gate' | 'bad_plan_edit' | 'bad_plan_mode' | 'empty_answer';
 /**
  * 一次决断链失败**停在哪一段**(0.60.0;异源对抗复审 [medium] 采纳,B-037 候包件 ② 的完整兑现)。
  *

package/dist/hitl/hitlBridge.js

@@ -35,6 +35,12 @@ export function denyReasonForWire(reason, tag) {
         `(server caps approval reason at ${MAX_DENY_REASON_CHARS}; over-cap is a 413 reason_too_large that would drop the DECISION, not just the reason)`);
     return cut;
 }
+/** 契约 §4c `permissionModeAfter` 的闭集两词(`acceptEdits` = 工作目录内的写不再逐次征询;`default` = 每次写照常征询)。 */
+export const PLAN_REVIEW_MODE_AFTER_WORDS = Object.freeze(['default', 'acceptEdits']);
+/** 这个值是不是闭集里的词(词表外 —— 含 `plan` / `bypassPermissions` / `auto` —— 引擎 400:一次批准不许顺带关掉征询面)。 */
+export function isPlanReviewModeAfter(v) {
+    return v !== undefined && PLAN_REVIEW_MODE_AFTER_WORDS.includes(v);
+}
 /** A safety stop: a contract law was about to be violated (e.g. a binding mismatch, a wrong-gate route).
  *  The caller MUST re-present to the human or surface the error — NEVER silently retry or auto-decide
  *  (contract/04 §9.1 fail-closed law). */
@@ -603,7 +609,21 @@ export class HitlBridge {
         else if (outcome.editedPlan !== undefined) {
             throw new HitlSafetyError(`plan-review "${outcome.decision}" must NOT carry editedPlan`, 'bad_plan_edit');
         }
+        // 0.72.13 CC-46:permissionModeAfter invariant(契约 §4c)—— 只配 approve、闭集两词;坏形本地拦,一个字节都不出门
+        // (server 会 400 field_conflict / field_invalid,而那次决断就整个丢了)。拒文不回显调用方给的值。
+        const modeAfter = outcome.permissionModeAfter;
+        if (modeAfter !== undefined) {
+            if (outcome.decision !== 'approve') {
+                throw new HitlSafetyError(`plan-review "${outcome.decision}" must NOT carry permissionModeAfter (it only applies to an approval)`, 'bad_plan_mode');
+            }
+            if (!isPlanReviewModeAfter(modeAfter)) {
+                throw new HitlSafetyError('plan-review permissionModeAfter must be "default" or "acceptEdits"', 'bad_plan_mode');
+            }
+        }
+        // sdk 9.6.0 的 PlanReviewRequest 尚未声明 permissionModeAfter ⇒ 交集型加一可选位(不断言、不 any);缺席 = 键不落。
         const req = { decision: outcome.decision };
+        if (modeAfter !== undefined && isPlanReviewModeAfter(modeAfter))
+            req.permissionModeAfter = modeAfter;
         // eopt:上面的 invariant 检查已经保证 decision==='edit' ⇒ editedPlan 非空,但那道保证隔着一个
         // 已经关闭的 if 块,TS 不跨块记账——这里重新直接判一次 undefined,narrowing 与赋值同一表达式内完成
         // (PlanReviewRequest 是 SDK 外部 wire 型,不能改;诚实缺席 = 键不落,不传 `editedPlan: undefined`)。

package/dist/hitl/parkResolver.d.ts

@@ -45,7 +45,7 @@ export declare const MAX_TOTAL_PARKS = 64;
  * 双向钉住,任何一边加员而另一边不跟 ⇒ 编译红。此前两边靠人肉同步,而不同步的可观测后果是
  * 「新码被 `isGateFailureCode` 降成 undefined 后静默走文案兜底臂」—— 门里长得跟正常一模一样。
  */
-export declare const GATE_FAILURE_CODES: readonly ["no_pending", "binding_mismatch", "wrong_gate", "bad_plan_edit", "empty_answer"];
+export declare const GATE_FAILURE_CODES: readonly ["no_pending", "binding_mismatch", "wrong_gate", "bad_plan_edit", "bad_plan_mode", "empty_answer"];
 export type GateFailureCode = (typeof GATE_FAILURE_CODES)[number];
 export type GateOutcome = 
 /** `receipt`(B-070 / L-200,0.65.0):这次 decide 的 **200 回执读数** —— 与 fs 腿的

package/dist/hitl/parkResolver.js

@@ -98,6 +98,8 @@ export const GATE_FAILURE_CODES = [
     'binding_mismatch',
     'wrong_gate',
     'bad_plan_edit',
+    /** 0.72.13 CC-46:plan-review 的 permissionModeAfter 坏形(非 approve 带这一位 / 词表外)被本地拦下。 */
+    'bad_plan_mode',
     /** FIX②:空作答被本地拦下(空 answers[] / 空 selected[] / 空 header)。 */
     'empty_answer',
 ];

package/dist/hitl/planReviewWire.d.ts

@@ -37,6 +37,7 @@
  * app-state seam 不在本模块可达面,记 rc.47 接 REPL 层;engine 侧 handsReadOnly 已由 resume 处理。
  */
 import { type QuestionAnswer } from '../liveQuestionStore.js';
+import { type PlanReviewModeAfter } from './hitlBridge.js';
 import type { ReopenCardVerdict } from '../adapter/activeRunSelfHeal.js';
 /**
  * REF-CC-026:此前是 module-private 常量,唯一另一个消费者(cli `planReviewReopen.ts`)只能靠
@@ -46,6 +47,17 @@ import type { ReopenCardVerdict } from '../adapter/activeRunSelfHeal.js';
  */
 export declare const PLAN_REVIEW_APPROVE_LABEL = "Yes, approve and run the plan";
 export declare const PLAN_REVIEW_REJECT_LABEL = "No, reject it (keep planning)";
+/**
+ * 0.72.13 CC-46(engine ≥7.86.0 S-433;契约 §4c):三选卡的两个 Yes —— 对齐 CC `ExitPlanMode` 卡
+ * 「Yes, and auto-accept edits」/「Yes, and manually approve edits」。只在**双闸**都过时才出三选卡(见 {@link planReviewCardOptions}
+ * 的调用点):宿主声明这条任务是它自己用 `permissionMode:"plan"` 提交的(适用面读不到 wire)∧ 引擎版本证据 ≥7.86.0。
+ */
+export declare const PLAN_REVIEW_APPROVE_AUTO_LABEL = "Yes, and auto-accept edits";
+export declare const PLAN_REVIEW_APPROVE_MANUAL_LABEL = "Yes, and manually approve edits";
+/** `permissionModeAfter` 的引擎地板(server 7.86.0;更老的 server 静默丢这个键 = 承诺了却不兑现)。 */
+export declare const PLAN_REVIEW_MODE_AFTER_MIN_ENGINE: readonly [number, number, number];
+/** 引擎版本串够不够新:三态 —— 读不出(缺席 / 非 x.y.z)⇒ `unknown`,**不折 supported**(没证据不许出三选卡)。 */
+export declare function versionSupportsPlanReviewModeAfter(v: string | undefined): 'supported' | 'unsupported' | 'unknown';
 /**
  * REF-CC-026:三值判决(此前 `selected === APPROVE_LABEL ? 'approve' : 'reject'` 把「没读懂/没
  * 选」的第三种输入静默塌缩进危险的 reject 臂——overlay 的 dismiss/拒答语义是「送空 answers」,
@@ -53,7 +65,28 @@ export declare const PLAN_REVIEW_REJECT_LABEL = "No, reject it (keep planning)";
  * (含 undefined)落 `'dismissed'`,由调用方决定是保持 park 还是显式当 reject 处理——本函数只
  * 负责如实分类,不替调用方做选择。
  */
-export declare function planReviewDecisionFromAnswer(answer: QuestionAnswer | null | undefined): 'approve' | 'reject' | 'dismissed';
+export declare function planReviewDecisionFromAnswer(answer: QuestionAnswer | null | undefined, 
+/** 本次实际展示的那张卡的标签;不给 = 老两选(见 {@link planReviewChoiceFromAnswer})。 */
+shownLabels?: readonly string[]): 'approve' | 'reject' | 'dismissed';
+/** 0.72.13 CC-46:带批准后模式的判读(三选卡的两个 Yes 各带一档;老两选的 Yes 不带键)。标签显式等值比对,第三种输入 ⇒ dismissed。 */
+export type PlanReviewChoice = {
+    decision: 'approve';
+    permissionModeAfter?: PlanReviewModeAfter;
+} | {
+    decision: 'reject';
+};
+export declare function planReviewChoiceFromAnswer(answer: QuestionAnswer | null | undefined, 
+/**
+ * 本次**实际展示**的那张卡的标签(`planReviewCardOptions(offer).map(o => o.label)`);只认其中的标签。
+ * 🔴 **不给 = 老两选**:三选卡的两个 Yes 只有调用方显式说「我展示的是三选卡」才读得成批准 —— 缺省不许替老调用方
+ *    悄悄扩大批准的输入域(异源对抗复审:重开腿恒两选,缺省放行时一个没展示过的 auto 标签会被投递成 approve)。
+ */
+shownLabels?: readonly string[]): PlanReviewChoice | 'dismissed';
+/** 卡选项的**单源**:`offerModeAfter=false` ⇒ 老两选(逐字同旧);`true` ⇒ 三选(两个 Yes + No)。 */
+export declare function planReviewCardOptions(offerModeAfter: boolean): Array<{
+    label: string;
+    description: string;
+}>;
 /**
  * 推代的**门控口**(A-024.4;#244 F1 上收,语义照壳现实现):只有**决断性**作答(approve/
  * reject 标签命中 —— {@link planReviewDecisionFromAnswer} 的官方三值分类)才消费当代 plan 门。
@@ -85,13 +118,27 @@ export declare function _resetArmedPlanReviewsForTest(): void;
  * REF-CC-027 above); false = caller renders the terminal as usual. Fail-soft: any error inside must
  * never break the stream drain.
  */
-export declare function armPlanReviewApproval(result: unknown, sessionKey?: string): boolean;
+export declare function armPlanReviewApproval(result: unknown, sessionKey?: string, 
+/**
+ * 0.72.13 CC-46:`submittedInPlanMode: true` = 宿主声明「这条任务是我用 `permissionMode:"plan"` 提交的」(只读起步)。
+ * 🔴 这件事**读不到 wire 上**(契约 §4c:两种任务产出同一张卡),所以只能由提交方声明;不声明 / false ⇒ 老两选卡、决断体不带键。
+ * 声明了还要过第二道闸:本进程 caps 缓存里的引擎版本 ≥7.86.0(更老的 server 静默丢这个键 = 卡上承诺了却不兑现)。
+ */
+opts?: {
+    submittedInPlanMode?: boolean;
+}): boolean;
 /** POST the decision; on settle enqueue an isMeta turn so the model reports the resume outcome.
  *  SDK 宪法迁移批:SDK 0.0.52 assistant.planReview verb(同 wire `POST /v1/assistant/tasks/:id/
  *  plan_review` 同 body {decision})——raw fetch 退役。错误模型:非 2xx 抛 APIError(message =
  *  server body.error 原文)→ 同款「HTTP <status> <error>」outcome 文案;网络失败走原「could not
  *  reach the engine」臂。 */
-export declare function decidePlanReview(taskId: string, decision: 'approve' | 'reject'): Promise<void>;
+export declare function decidePlanReview(taskId: string, decision: 'approve' | 'reject', 
+/**
+ * 0.72.13 CC-46(engine ≥7.86.0;契约 §4c):批准之后用哪一档。缺席 ⇒ 体逐字节同旧 `{decision}`。只配 approve、闭集两词 ——
+ * 坏形本地拒(零 POST,outcome 如实说没送出去,不回显值)。引擎答 400 `request.field_conflict`(这条任务不是只读起步):
+ * `default` 与缺席同义 ⇒ 去键重发恰一次;`acceptEdits` **不**重发(不静默降成逐次征询),outcome 说批准没生效。
+ */
+permissionModeAfter?: string): Promise<void>;
 /**
  * {@link reopenPlanReviewCard} 的宿主参数。
  */