@sema-agent/client-core 0.12.1 → 0.13.0

package/dist/hitl/toolApprovalWire.d.ts

@@ -1,3 +1,66 @@
+/**
+ * ⇄ B7 批搬迁(2026-07-27,设计稿 §3 B7):cli `src/sema/liveToolApprovalWire.ts`(508 行)——
+ *    **拆**(设计稿原文:「liveToolApprovalWire.ts | 509 | …… | **拆分**,B7;工具 schema 属
+ *    agent-types 域」)。
+ *
+ * ── 拆缝在哪 ────────────────────────────────────────────────────────────────────────────────
+ * **进包(本文件)**:gate 判定(`isFsApprovalGate` / `toolNameIsFsWrite`)· 结构等值
+ *   (`structurallyEqual`,ctrl+g amend 的「真编辑过」判据)· 同步帧契约与判别式
+ *   (`ToolApprovalFrame` / `isToolApprovalFrame` / `isFromSubagent`)· 徽章合成
+ *   (`subagentBadgeFor`)· gate 文案兜 path(`pathFromGateMessage`)· **两条决断腿的编排**
+ *   (`surfaceFsApprovalAndDecide` durable-park 腿 / `surfaceToolApprovalFrameAndRespond` 同步帧腿)。
+ * **留宿主**:**卡本身**(`surfaceApprovalCard`)—— 它要 leader `ToolUseConfirm` 队列、壳的
+ *   vendored `Tool` 注册表(`FileWriteTool`/`FileEditTool`/`NotebookEditTool`/`EngineWorkflowTool`)、
+ *   `applyPermissionUpdates` 与 `AppState.toolPermissionContext`。那是**端的渲染与权限态**,
+ *   web/桌面各有各的形(浏览器根本没有 Ink 三选卡)。落点 = 下面的 `ApprovalCardPort`。
+ *
+ * 🔴 **拆缝的失效形**([paired-mechanisms-must-share-premise]):卡口没装 ⇒ 两条腿都拿不到人的
+ *   决断。**这不是「静默不启用」可以接受的面** —— 同步帧腿上引擎正同步阻塞着,不 respond 就干等
+ *   TTL;durable 腿上 run 卡在 suspended。所以本口:
+ *     · **计 miss**(`approvalCardPortMisses()`,宿主自检恒应为 0);
+ *     · 缺席时返回 `{kind:'failed', reason:'no approval card port installed …'}` —— 与壳原文
+ *       「no leader ToolUseConfirm queue registered(print/non-REPL mode)」**同一条 fail-soft 语义**
+ *       (print/headless 本来就没有卡面),调用方照旧走 fail-closed deny / 诚实红。
+ *
+ * 🔴 搬迁差分(逐条,零行为变化):
+ *   1. `toolForName`(4 个 `require('../tools/…')`)整条留宿主 —— 工具注册表是壳资产。
+ *   2. `getLeaderToolUseConfirmQueue` / `getLeaderSetToolPermissionContext` / `applyPermissionUpdates` /
+ *      `getAppStateStoreRef` / `syntheticAssistantMessage` / `stubToolUseContext` 全部随卡留宿主。
+ *   3. `logForDebugging` → `hostLog('debug'|'error', …)`(本包零 `utils/debug`,portability 门盯着)。
+ *   4. `require('./fleetClient.js').readEngineActiveBgTasks()` → 静态 import 包内
+ *      `fleet/fleetLedger.js` 的同名读口(B6 已搬入;延迟 require 的理由「纯 wire 模块不背 fleet 图
+ *      冷启动」在包内不成立 —— 同一个包)。⚠️ try/catch 保留:台账不可用时兜 taskId 短形那一支
+ *      仍要成立。
+ *
+ * ── 以下为原文件的领域说明(逐字保留)────────────────────────────────────────────────────────
+ *
+ * liveToolApprovalWire — 权限三选卡的壳侧半场([816] 壳侧承诺① / [819]② / [820] 四模式表,2026-07-14)。
+ *
+ * WIRE(server 1.191 已到货,[830]①):引擎对 fs 写工具(Write/Edit/NotebookEdit)出 ask ——
+ * 真腿=同步 `tool_approval` 帧(named SSE,redactDeep+16KiB 帽)→ 三选卡 → POST
+ * /v1/tool-approvals/:id/respond {allow|allow_session|deny}(本文件下半)。durable park 腿
+ * (checkpointGate → approvals.decide)🔴 **现势(REF-CC-023/031,2026-08-02)**:不是「旧引擎兜底」——
+ * [2150] S1 半场(83-87 行)证实产品默认 durable 投递下,引擎对 Bash 出的 durable park 就是**活路径**
+ * (r1 E5 fail-stuck 实例);synthApprovalProbe 合成单测仍在,但这条腿今天会被真用户真流量走到。
+ * 本模块把 gate 面翻成壳的 VENDORED CC 权限对话框(PermissionRequest → FileWritePermissionRequest,
+ * 三选文案逐字 CC 207:`Yes` / `Yes, allow all edits during this session (shift+tab)`[cwd 外变体带
+ * dirname] / `No`,题干 `Do you want to create <basename>?` verb=create/overwrite/write to)——零新 UI,
+ * 键行为(1/2/3、shift+tab 聚焦第 2 项、esc=reject)全部继承 vendor 组件。
+ *
+ * 决断腿:
+ *  - Yes(accept-once)→ HitlBridge.decideTool({decision:'approve'})(D-1 绑定 verbatim,合 [819]②)。
+ *  - Yes-allow-all(accept-session)→ 同 approve,且 permissionUpdates 里 vendor 产出的
+ *    `{type:'setMode', mode:'acceptEdits', destination:'session'}` 经 leader setter 落壳 AppState →
+ *    seamQuery 的 permissionModeField 下一 turn 起 stamp `permissionMode:"acceptEdits"`([816] 壳侧
+ *    承诺②:accept-session=升 intent,wire 已通)。cwd 外变体还带 addDirectories(session)——照 CC 收。
+ *  - No(reject)→ decideTool({decision:'deny'});调用方(liveHitlAskWire)对该 call 的重放 tool_end
+ *    stamp REJECT_MESSAGE,vendor 的 renderToolUseRejectedMessage 渲 `User rejected <op> to <path>`
+ *    (subtle 色,CC 逐字)。
+ *
+ * 🔴 fail-soft 铁律(与 ask 桥同款):leader 队列未注册(print/非 REPL)、pending 蒸发、decide 409/404
+ *   都返回 failed —— 调用方回退「flush + 原样终帧」的诚实红,绝不更糟。
+ * 🔴 UNTRUSTED:gate args 为模型作文(service 已 redact),只渲染绝不回喂;决断只带 decision 枚举。
+ */
 import { type HitlClientLike } from './hitlBridge.js';
 /** fs 写权限 gate 判定:未来的一等 kind(tool_approval)或按 toolName(server 桥首批=fs 写三件,
  *  [820] 表)。AskUserQuestion 永不进这里(ask 桥先判)。 */
@@ -19,14 +82,14 @@ export declare function isToolApprovalGate(gate: {
 } | undefined | null): boolean;
 export type FsApprovalOutcome = {
     kind: 'decided';
-    gatedCallId?: string;
-    denied?: boolean;
+    gatedCallId?: string | undefined;
+    denied?: boolean | undefined;
 } | {
     kind: 'aborted';
-    gatedCallId?: string;
+    gatedCallId?: string | undefined;
 } | {
     kind: 'failed';
-    gatedCallId?: string;
+    gatedCallId?: string | undefined;
     reason: string;
 };
 /** 本桥消费的 wire 面(liveHitlAskWire 的 AskGateWireDeps 同形切片,mock 可注入)。 */

package/dist/hitl/toolApprovalWire.js

@@ -1,7 +1,71 @@
-import { HitlBridge } from './hitlBridge.js';
+/**
+ * ⇄ B7 批搬迁(2026-07-27,设计稿 §3 B7):cli `src/sema/liveToolApprovalWire.ts`(508 行)——
+ *    **拆**(设计稿原文:「liveToolApprovalWire.ts | 509 | …… | **拆分**,B7;工具 schema 属
+ *    agent-types 域」)。
+ *
+ * ── 拆缝在哪 ────────────────────────────────────────────────────────────────────────────────
+ * **进包(本文件)**:gate 判定(`isFsApprovalGate` / `toolNameIsFsWrite`)· 结构等值
+ *   (`structurallyEqual`,ctrl+g amend 的「真编辑过」判据)· 同步帧契约与判别式
+ *   (`ToolApprovalFrame` / `isToolApprovalFrame` / `isFromSubagent`)· 徽章合成
+ *   (`subagentBadgeFor`)· gate 文案兜 path(`pathFromGateMessage`)· **两条决断腿的编排**
+ *   (`surfaceFsApprovalAndDecide` durable-park 腿 / `surfaceToolApprovalFrameAndRespond` 同步帧腿)。
+ * **留宿主**:**卡本身**(`surfaceApprovalCard`)—— 它要 leader `ToolUseConfirm` 队列、壳的
+ *   vendored `Tool` 注册表(`FileWriteTool`/`FileEditTool`/`NotebookEditTool`/`EngineWorkflowTool`)、
+ *   `applyPermissionUpdates` 与 `AppState.toolPermissionContext`。那是**端的渲染与权限态**,
+ *   web/桌面各有各的形(浏览器根本没有 Ink 三选卡)。落点 = 下面的 `ApprovalCardPort`。
+ *
+ * 🔴 **拆缝的失效形**([paired-mechanisms-must-share-premise]):卡口没装 ⇒ 两条腿都拿不到人的
+ *   决断。**这不是「静默不启用」可以接受的面** —— 同步帧腿上引擎正同步阻塞着,不 respond 就干等
+ *   TTL;durable 腿上 run 卡在 suspended。所以本口:
+ *     · **计 miss**(`approvalCardPortMisses()`,宿主自检恒应为 0);
+ *     · 缺席时返回 `{kind:'failed', reason:'no approval card port installed …'}` —— 与壳原文
+ *       「no leader ToolUseConfirm queue registered(print/non-REPL mode)」**同一条 fail-soft 语义**
+ *       (print/headless 本来就没有卡面),调用方照旧走 fail-closed deny / 诚实红。
+ *
+ * 🔴 搬迁差分(逐条,零行为变化):
+ *   1. `toolForName`(4 个 `require('../tools/…')`)整条留宿主 —— 工具注册表是壳资产。
+ *   2. `getLeaderToolUseConfirmQueue` / `getLeaderSetToolPermissionContext` / `applyPermissionUpdates` /
+ *      `getAppStateStoreRef` / `syntheticAssistantMessage` / `stubToolUseContext` 全部随卡留宿主。
+ *   3. `logForDebugging` → `hostLog('debug'|'error', …)`(本包零 `utils/debug`,portability 门盯着)。
+ *   4. `require('./fleetClient.js').readEngineActiveBgTasks()` → 静态 import 包内
+ *      `fleet/fleetLedger.js` 的同名读口(B6 已搬入;延迟 require 的理由「纯 wire 模块不背 fleet 图
+ *      冷启动」在包内不成立 —— 同一个包)。⚠️ try/catch 保留:台账不可用时兜 taskId 短形那一支
+ *      仍要成立。
+ *
+ * ── 以下为原文件的领域说明(逐字保留)────────────────────────────────────────────────────────
+ *
+ * liveToolApprovalWire — 权限三选卡的壳侧半场([816] 壳侧承诺① / [819]② / [820] 四模式表,2026-07-14)。
+ *
+ * WIRE(server 1.191 已到货,[830]①):引擎对 fs 写工具(Write/Edit/NotebookEdit)出 ask ——
+ * 真腿=同步 `tool_approval` 帧(named SSE,redactDeep+16KiB 帽)→ 三选卡 → POST
+ * /v1/tool-approvals/:id/respond {allow|allow_session|deny}(本文件下半)。durable park 腿
+ * (checkpointGate → approvals.decide)🔴 **现势(REF-CC-023/031,2026-08-02)**:不是「旧引擎兜底」——
+ * [2150] S1 半场(83-87 行)证实产品默认 durable 投递下,引擎对 Bash 出的 durable park 就是**活路径**
+ * (r1 E5 fail-stuck 实例);synthApprovalProbe 合成单测仍在,但这条腿今天会被真用户真流量走到。
+ * 本模块把 gate 面翻成壳的 VENDORED CC 权限对话框(PermissionRequest → FileWritePermissionRequest,
+ * 三选文案逐字 CC 207:`Yes` / `Yes, allow all edits during this session (shift+tab)`[cwd 外变体带
+ * dirname] / `No`,题干 `Do you want to create <basename>?` verb=create/overwrite/write to)——零新 UI,
+ * 键行为(1/2/3、shift+tab 聚焦第 2 项、esc=reject)全部继承 vendor 组件。
+ *
+ * 决断腿:
+ *  - Yes(accept-once)→ HitlBridge.decideTool({decision:'approve'})(D-1 绑定 verbatim,合 [819]②)。
+ *  - Yes-allow-all(accept-session)→ 同 approve,且 permissionUpdates 里 vendor 产出的
+ *    `{type:'setMode', mode:'acceptEdits', destination:'session'}` 经 leader setter 落壳 AppState →
+ *    seamQuery 的 permissionModeField 下一 turn 起 stamp `permissionMode:"acceptEdits"`([816] 壳侧
+ *    承诺②:accept-session=升 intent,wire 已通)。cwd 外变体还带 addDirectories(session)——照 CC 收。
+ *  - No(reject)→ decideTool({decision:'deny'});调用方(liveHitlAskWire)对该 call 的重放 tool_end
+ *    stamp REJECT_MESSAGE,vendor 的 renderToolUseRejectedMessage 渲 `User rejected <op> to <path>`
+ *    (subtle 色,CC 逐字)。
+ *
+ * 🔴 fail-soft 铁律(与 ask 桥同款):leader 队列未注册(print/非 REPL)、pending 蒸发、decide 409/404
+ *   都返回 failed —— 调用方回退「flush + 原样终帧」的诚实红,绝不更糟。
+ * 🔴 UNTRUSTED:gate args 为模型作文(service 已 redact),只渲染绝不回喂;决断只带 decision 枚举。
+ */
+import { HitlBridge, findPendingForTask } from './hitlBridge.js';
 import { hostLog } from '../host.js';
 import { createSessionSlot, DEFAULT_SESSION_KEY } from '../sessionSlot.js';
 import { readEngineActiveBgTasks } from '../fleet/fleetLedger.js';
+import { observeCancelByDeny } from './hitlHostSurface.js';
 /** fs 写权限 gate 判定:未来的一等 kind(tool_approval)或按 toolName(server 桥首批=fs 写三件,
  *  [820] 表)。AskUserQuestion 永不进这里(ask 桥先判)。 */
 export function isFsApprovalGate(gate) {
@@ -105,13 +169,32 @@ export function surfaceApprovalCard(req) {
     const cardPort = approvalCardPortFor(DEFAULT_SESSION_KEY);
     if (cardPort === null) {
         bumpCardPortMiss(DEFAULT_SESSION_KEY);
-        return Promise.resolve({
-            kind: 'failed',
-            reason: 'no approval card port installed (print/non-REPL mode, or host forgot installApprovalCardPort)',
-        });
+        return Promise.resolve({ kind: 'failed', reason: cardPortMissReason() });
     }
     return cardPort(req);
 }
+/**
+ * REF-CC-030(2026-08-02):三个决断入口(`surfaceApprovalCard` 本身 / `surfaceFsApprovalAndDecide` /
+ * `surfaceToolApprovalFrameAndRespond`,后两者都经 `surfaceApprovalCard`)今天全硬读
+ * DEFAULT_SESSION_KEY——keyed 卡口 API(`installApprovalCardPortFor` 等)建好了但没有任何调用点
+ * 带非默认键透传。多会话宿主如果照 W1 文档按会话键装口,会 100% miss 在默认键上,而它那边
+ * 「我装了啊」——原文案 `host forgot installApprovalCardPort` 会把这个键不匹配误导成没装。
+ * 这里在 miss 发生时顺手核一眼「是不是有别的键装了口」,点名两种不同的失效,而不需要先把三个
+ * 决断入口的签名都改成 `sessionKey?: string` 透传(那是更大的一次改动,候 W1 消费者真正到位)。
+ */
+function cardPortMissReason() {
+    // 🔴 判「装了没」必须读**值**,不能只读键:`installApprovalCardPortFor(key, null)` 是文档化的
+    // 卸口姿势(签名 `ApprovalCardPort | null`),而 SessionSlot.set 只对 `undefined` 删键 —— 卸完
+    // 键还在、值为 null。只看 `keys()` 会把「卸干净了、谁都没装」误诊成「装在别的键上」,恰好把这张
+    // 卡要分开说的两种失效说反。
+    const otherKeysInstalled = cardPortByKey
+        .keys()
+        .some((k) => k !== DEFAULT_SESSION_KEY && cardPortByKey.get(k) != null);
+    if (otherKeysInstalled) {
+        return 'no approval card port installed for the default session key, but a non-default sessionKey has one — likely a keyed-install/default-read mismatch (installApprovalCardPortFor vs the zero-arg default-key read), not a missing install';
+    }
+    return 'no approval card port installed (print/non-REPL mode, or host forgot installApprovalCardPort)';
+}
 /**
  * 弹 CC 三选卡 → 等决断 → 经 HitlBridge decide(durable park 腿,server 桥前的 checkpointGate 面;
  * 合成单测/旧引擎兜底保留)。decide 成功即引擎驱到下一状态(sync);调用方随后 attach runs.events
@@ -120,24 +203,20 @@ export function surfaceApprovalCard(req) {
  * @param argsByCall tool_start.args(toolCallId → args)——题干/diff 的一手源;缺则 pending.input。
  */
 export async function surfaceFsApprovalAndDecide(deps, taskId, argsByCall, signal) {
-    if (!hasApprovalCardPort()) {
-        bumpCardPortMiss(DEFAULT_SESSION_KEY);
-        return { kind: 'failed', reason: 'no approval card port installed (print/non-REPL mode)' };
-    }
-    // pending 行 = gate 的权威源 + D-1 绑定 surface(与 ask 桥同姿势)。
-    let pending;
-    try {
-        const rows = (await deps.client.approvals.list(signal ? { signal } : undefined)).pending;
-        pending =
-            rows.find(r => r.taskId === taskId && typeof r.toolName === 'string' && (toolNameIsFsWrite(r.toolName) || toolNameIsShellExec(r.toolName))) ??
-                rows.find(r => r.taskId === taskId);
-    }
-    catch (e) {
-        return { kind: 'failed', reason: `approvals.list failed: ${String(e)}` };
-    }
-    if (!pending)
-        return { kind: 'failed', reason: 'no pending checkpoint for this run (resolved/expired?)' };
-    const gatedCallId = pending.toolCallId ?? pending.boundCallId ?? undefined;
+    // REF-CC-031(2026-08-02):卡口缺席判据不在此前置重复一遍 —— `surfaceApprovalCard`(下方调用)
+    // 已经计 miss + 出 typed `{kind:'failed', reason:...}`,card.kind==='failed' 走既有汇流分支
+    // (下面 switch 的 'failed' 臂);两处各写一份文案会在 SEMA_DEBUG 里出现两种措辞,取决于走的是
+    // 哪条腿。文案单源 = `surfaceApprovalCard` 那一份。
+    // pending 行 = gate 的权威源 + D-1 绑定 surface(与 ask 桥同姿势)。REF-CC-029(2026-08-02):
+    // 单源取件 —— 这里取到的行原样传进下面**四条决断腿的每一次** `bridge.decideTool(...)`
+    // (preResolvedPending 入参:aborted / allow+remember / allow 纯批 / deny),不再让 bridge 自己
+    // 二次 list(),消掉 hitl2-01/hitl2-08 的 TOCTOU 窗。
+    // 🔴 常驻判据不是「看得见 pending 这个实参」,是 pure 门那四条「approvals.list 全程恰好 1 次」——
+    // 漏传一条腿,形状断言全绿而计数当场翻红(回炉车前的实况:只有 aborted 臂传了)。
+    const found = await findPendingForTask(deps.client, taskId, (toolName) => toolName !== undefined && (toolNameIsFsWrite(toolName) || toolNameIsShellExec(toolName)), signal ? { signal } : undefined);
+    if (!found.ok)
+        return { kind: 'failed', reason: found.reason };
+    const { pending, gatedCallId } = found;
     const toolName = typeof pending.toolName === 'string' ? pending.toolName : '';
     // 工具入参:优先流上 tool_start.args(完整、零额外语义);缺则 pending.input(service 已 redact+限长
     // ——大 Write 的 content 可能被截,对话框 diff 退化但仍可决断)。
@@ -159,8 +238,10 @@ export async function surfaceFsApprovalAndDecide(deps, taskId, argsByCall, signa
         case 'failed':
             return { kind: 'failed', gatedCallId, reason: card.reason };
         case 'aborted':
-            // turn 被中断(Esc/Ctrl+C):cancel-by-deny(contract/04 §2.4),best-effort fire-and-forget。
-            void bridge.decideTool({ decision: 'deny', reason: 'Interrupted by user' }, gatedCallId).catch(() => { });
+            // turn 被中断(Esc/Ctrl+C):cancel-by-deny(contract/04 §2.4)。REF-CC-023(2026-08-02):
+            // 有界观察(observeCancelByDeny)取代裸 `.catch(()=>{})` 全吞 —— 与 askGateWire.ts 同款
+            // reason 文案,同一次事故(件3,中断事故修复批 G,2026-07-15)的两条腿现在共用同一个观察器。
+            observeCancelByDeny(bridge.decideTool({ decision: 'deny', reason: 'Interrupted by user' }, gatedCallId, undefined, pending), taskId);
             return { kind: 'aborted', gatedCallId };
         case 'allow':
             try {
@@ -171,14 +252,14 @@ export async function surfaceFsApprovalAndDecide(deps, taskId, argsByCall, signa
                 // 修复前行为,fail-soft 不更糟)。
                 if (card.allowSession) {
                     try {
-                        await bridge.decideTool({ decision: 'approve', remember: 'session', ...(card.updatedInput !== undefined ? { updatedInput: card.updatedInput } : {}) }, gatedCallId, signal ? { signal } : undefined);
+                        await bridge.decideTool({ decision: 'approve', remember: 'session', ...(card.updatedInput !== undefined ? { updatedInput: card.updatedInput } : {}) }, gatedCallId, signal ? { signal } : undefined, pending);
                         return { kind: 'decided', gatedCallId };
                     }
                     catch (e) {
                         hostLog('debug', `liveToolApprovalWire: decide(approve+remember) failed (${String(e)}) — falling back to plain approve`);
                     }
                 }
-                await bridge.decideTool({ decision: 'approve', ...(card.updatedInput !== undefined ? { updatedInput: card.updatedInput } : {}) }, gatedCallId, signal ? { signal } : undefined);
+                await bridge.decideTool({ decision: 'approve', ...(card.updatedInput !== undefined ? { updatedInput: card.updatedInput } : {}) }, gatedCallId, signal ? { signal } : undefined, pending);
                 return { kind: 'decided', gatedCallId };
             }
             catch (e) {
@@ -186,7 +267,7 @@ export async function surfaceFsApprovalAndDecide(deps, taskId, argsByCall, signa
             }
         case 'deny':
             try {
-                await bridge.decideTool({ decision: 'deny', reason: 'The user rejected this tool use' }, gatedCallId, signal ? { signal } : undefined);
+                await bridge.decideTool({ decision: 'deny', reason: 'The user rejected this tool use' }, gatedCallId, signal ? { signal } : undefined, pending);
                 return { kind: 'decided', gatedCallId, denied: true };
             }
             catch (e) {
@@ -229,11 +310,18 @@ export function isToolApprovalFrame(ev) {
         typeof e.approvalId === 'string' &&
         e.approvalId.length > 0);
 }
+/** core `fs-write-gate-policy` 的 ask 文案(逐字,具名常量便于对表)。 */
+const FS_WRITE_GATE_ASK_PATTERN = /^approve write to "([^"]+)"\?$/;
 /** 从 gate 的 ask 文案(core fs-write-gate-policy `approve write to "<path>"?`)兜出 path——argsOmitted
- *  且流上无 tool_start.args 时的最后退化(卡仍可弹,diff 退化为空写)。 */
+ *  且流上无 tool_start.args 时的最后退化(卡仍可弹,diff 退化为空写)。
+ *  REF-CC-035(2026-08-02):锚定 core 的精确文案前缀,不是「任意一对引号」—— 旧正则
+ *  `/"([^"]+)"/` 对任何含引号的 gate 文案都会命中并**静默给错 path**(不是不命中,是给错值,
+ *  而 path 是审批卡展示给用户做安全决策的对象)。锚定失败即诚实缺席(返回 undefined,调用方
+ *  落回 `{}` 空写而不是猜一个;[honest-absence-not-fabricated-zero] 同族)。 */
 function pathFromGateMessage(message) {
-    const m = typeof message === 'string' ? /"([^"]+)"/.exec(message) : null;
-    return m?.[1];
+    if (typeof message !== 'string')
+        return undefined;
+    return FS_WRITE_GATE_ASK_PATTERN.exec(message)?.[1];
 }
 /** 子代审批帧的归属徽章([1535] cli 半场):名一手源=帧上 sourceAgentName(core 1.378 RB-39②
  *  显式展示身份,server redact 后透传,候 server 班车到货即亮);缺席退 fleet 在飞台账行名

package/dist/hooksWireCaps.d.ts

@@ -1,87 +1,6 @@
-import { type EnvLike } from './hostEnv.js';
 import type { WireHooksConfig } from './finalVerifyWire.js';
+export { GOAL_STOP_HOOK_WIRE_ENV, CC_STOP_SEMANTICS_MIN_SERVER, ccStopSemanticsFromVersion, engineCcStopSemantics, isGoalStopHookWireArmed, setWireSessionStopHook, getWireSessionStopHook, getWireSessionStopHookCcSemantics, buildGoalStopHookPrompt, } from './goalStopHook.js';
 export type { WireHooksConfig };
-/** The env ESCAPE HATCH for the engine leg (see the block comment above). */
-export declare const GOAL_STOP_HOOK_WIRE_ENV = "SEMA_GOAL_STOP_HOOK_WIRE";
-export declare const CC_STOP_SEMANTICS_MIN_SERVER = "1.279.3";
-/**
- * 引擎自报版本是否达到 CC Stop 语义线({@link CC_STOP_SEMANTICS_MIN_SERVER})。
- *
- * 🔴 三条纪律:
- *   · **数值比较**,不是字典序(`1.9.0` < `1.279.0`,字符串比较会判反);
- *   · **预发版不算达标**(`1.279.0-rc.1` 里那套可能还在改)——正则只认三段纯数字,带 `-` 的直接落
- *     null ⇒ false;
- *   · 读不出/探不到 ⇒ **false**(降级方向恒安全:老形在新引擎上仍能拦,新形在老引擎上一次都拦不住)。
- */
-export declare function ccStopSemanticsFromVersion(version: string | undefined | null): boolean;
-/**
- * 本会话连着的引擎是否具备 CC Stop 语义?判据 = live 车道的 `/v1/capabilities` 自报 `version`
- * (engineCapsCache 的 boot-kick 缓存,与 `/health.version` 同源)。
- *
- * 🔴 「未判即降级」:caps 探测是构造期 fire-and-forget,`/goal` 真被敲下时通常早已落袋;万一没落袋
- * 就按老引擎走(meta 也同步退档)——**宁可少承诺,不可多承诺**。
- */
-export declare function engineCcStopSemantics(env?: EnvLike): boolean;
-/**
- * Is the `/goal` Stop-hook engine leg armed? **Default ON** since 2026-07-26 — both of the premises
- * that kept it opt-in were disproved by server-side behavior evidence ([1721]) and re-verified against
- * a real engine + real model (cli scripts/run-goal-stop-hook-live-test.mjs). Set
- * `SEMA_GOAL_STOP_HOOK_WIRE=0|false|no|off` to disarm (an operator escape hatch, not a default).
- */
-export declare function isGoalStopHookWireArmed(env?: EnvLike): boolean;
-/**
- * Register (or clear, with `null`) the session-scoped `/goal` Stop prompt hook that rides
- * `settings.hooks.Stop` to the engine. Single-valued: a new goal replaces the previous one,
- * exactly like CC 220's `Xdr` (remove-then-add). Projection is gated by
- * {@link isGoalStopHookWireArmed} — storing is always safe, sending is not (yet).
- */
-export declare function setWireSessionStopHook(prompt: string | null, opts?: {
-    /**
-     * 这条目标登记时,引擎是否已判定为 CC 语义档({@link engineCcStopSemantics})?
-     *
-     * 🔴 **为什么要在 set 那一刻锁存,而不是在 {@link hooksForWire} 里现读**:`/goal` 的 meta
-     * (对模型讲「会不会拦到条件成立为止」)是在 set 那一刻发出去的,而投影发生在随后每个 turn。
-     * 两处各读一次的话,caps 探测中途落袋就会造出「meta 承诺拦到底、投出去的却还是老门」的错配 ——
-     * 判据必须锚在**真正决定结果的那个量**上,而它只有一个:**这条目标登记时的档位**。
-     * 缺省 false ⇒ 不传就是老引擎档:翻档只能靠证据打开,不能靠默认值。
-     */
-    ccSemantics?: boolean;
-}): void;
-/** The currently registered `/goal` Stop prompt, or null (registered ≠ projected — see the gate). */
-export declare function getWireSessionStopHook(): string | null;
-/** 当前这条目标登记时锁存的档位(真 = 投裸条件,假 = 投壳自造的门)。 */
-export declare function getWireSessionStopHookCcSemantics(): boolean;
-/**
- * 把 `/goal` 的**原始条件**包成一条对引擎 prompt 载体**可执行**的 Stop 门 prompt。
- *
- * 🔴 适用面(2026-07-26 提货批后):**只用于未达标线的引擎档**(见 {@link CC_STOP_SEMANTICS_MIN_SERVER})。
- * 达标档起引擎自己按 CC
- * 220 逐字组装(系统提示 + 会话转录 + `wrapCondition`),那一档投的是**裸条件** —— 见
- * {@link ccStopSemanticsFromVersion} 与 {@link hooksForWire} 的分道。本函数保留,是 tolerate-absent
- * 的实体:老引擎上退回它,仍能拦一次;删掉它等于在老引擎上静默失效。
- *
- * 🔴 为什么必须包(2026-07-26 live 围栏实测,不是设计偏好):CC 单进程的 prompt 钩子执行器
- * (`src/utils/hooks/execPromptHook.ts`)会给条件**套一层系统提示**(「You are evaluating a hook…
- * 回 `{ok:true}` / `{ok:false,reason}`」)**并把整段会话前置**,所以裸条件在 CC 那边能被真评估。
- * 引擎侧的载体两样都没有:
- *   · 无系统提示、无会话历史;
- *   · Stop payload 的 `transcript_path` 是**空串**(server basePayload),评估者对本会话是**瞎的**;
- *   · 判据 schema 也不同 —— core 只认 stdout JSON 的 `decision:"block"`。
- * 实测(钉版 server 1.277.1 + core 1.416 + 真模型):裸条件 `the project contains a file named
- * DONE.txt` 送过去,载体照样被调用,模型回的是**散文**(「I don't have direct access to your file
- * system…」)⇒ `parseHookStdout` 拿不到 decision ⇒ **一次都不拦**。即:不包 = 每次停机白烧一次
- * 模型调用、零效果。
- *
- * 所以这里把条件包成引擎契约里**能落地**的形状。诚实标注它**够不到 CC 的完整语义**:
- *   · 能做到:每个 turn 的**第一次**停机尝试被拦下,目标原文重新注入给模型,逼它自查后再收尾
- *     (`stop_hook_active` 为真时门自己收手 ⇒ 不会无限拦停);真正「条件是否成立」的判断交给
- *     **有会话、有工具的主模型**,而不是让瞎的评估者假装判断;
- *   · 做不到:CC 那种「拦到条件真成立为止」(需要引擎把 transcript 交给载体)、以及「条件满足后
- *     自动清除目标」。这两条是**等件**,meta 文案因此不照抄 CC `Pwo`(见 cmd-goal.tsx)。
- *
- * 台账仍存**原始条件**({@link getWireSessionStopHook}),所以 `/goal clear` 读回的是用户写的那句。
- */
-export declare function buildGoalStopHookPrompt(condition: string): string;
 /**
  * The merged, GOVERNANCE-GATED settings-file hooks for the wire, or undefined when none apply.
  * Per-event arrays concatenate across sources (policy → user → project → local).