@sema-agent/client-core 0.77.0 → 0.77.2

package/dist/interactiveHalt.d.ts

@@ -1,173 +1,25 @@
-/**
- * interactiveHalt — 交互 **Esc** 的停止判定层(#363 件③,0.47.0;三端公共判定上收)。
- *
- * ── 收的是哪一件事 ────────────────────────────────────────────────────────────────────────
- * 「用户按 Esc ⇒ 先发 **turn 级 halt**;升级成 **run 级 cancel** 恰有**三格**:
- *   ① 引擎自己回了升级闭集里的 **409**(它在说「这里没有在飞 turn 可切,run 级停止请用 cancel」);
- *   ② 这一发**连判决都没拿到**(传输失败/超时/未武装)**且**屏上确实挂着审批卡(`parked`);
- *   ③ 这一发连判决都没拿到 **且** 这条 run 武装了 **detach**(断连不再收 run,0.62.0 新格)。
- * 其余一律不升级。」—— 这条判定 TUI / desktop / web **三端都要**(三端都会 Esc、都会撞
- * 同一个 parked 格),此前整条住在 cli 壳里(`src/sema/seamQuery.ts` 的 `bestEffortInteractiveHalt`
- * + `src/sema/interruptWire.ts` 的 `needsRunLevelStop`)。本模块把**判据**搬进来;
- * **发射**(裸 fetch / SDK verb)、台账、留痕、UI 反馈仍归各端。
- * ⚠️ 别把①漏掉(异源复审 [medium] 采纳的原文歧义):只写「拿不到判决且 parked 才升级」的话,
- *    端会漏接**引擎明确指路**那一格 —— parked run 的会话锁不放,下一条消息照样撞「Session busy」。
- *
- * ── 两个动词各自唯一能做到的格(**cancel 绝不删**,本模块存在的前提)──────────────────────
- *   · `interrupt`(turn 级,bare 形 = core `stream.halt()`「切 + 停」)—— 需要一条**活的、在飞的
- *     turn**。这是 Esc 的正题:切掉这一轮,run 在边界上终局、同 session 下一 submit 照常续。
- *   · `cancel`(run 级)—— 显式整 run 终局手势,而且它是**唯一**能把一条停在审批门上的
- *     `suspended`/`needs_review` run 就地终态化、把会话锁放开的动词(server [868] 起的语义)。
- * ⇒ 无条件把 cancel 换成 interrupt = 审批卡挂着按 Esc 的主场景当场回归成「Session busy」病;
- *   无条件补 cancel = 同一条 run 上别的在飞工具(后台 bash 等)被连坐拆掉(#324 的病形)。
- *   本判定就是这两条之间那道**不对称**的闸。
- *
- * ── 🔴 不对称是刻意的(方向安全,两条代价不等价)────────────────────────────────────────
- * 判**不**升级的代价 = 用户退回既有的「Session busy」卡,自己再选一次(**可恢复**);
- * 判**错**升级的代价 = 拆掉一条其实还活着的 run,连坐它身上所有在飞工具(**不可恢复**)。
- * ⇒ 闸往严的一侧设,宁可少升一次;凡「证不出来」一律落**不升级**侧。
- *
- * ── 判据锚在哪 ────────────────────────────────────────────────────────────────────────────
- *   · 升级的**第一判据 = 引擎自己的机器码**({@link RUN_LEVEL_STOP_ERROR_CODES} × 409),
- *     不是壳对 UI 状态的猜测([anchor-on-the-deciding-quantity]);
- *   · 只有当**引擎连判决都没给**(传输失败/超时/根本没武装)时,才轮到壳自己独立知道的那个
- *     事实(`parked` = 这一拍屏上确实挂着审批卡 ⇒ 那条 run 停在 pending 决断上 ⇒ 本来就没有
- *     在飞 turn 可切 ⇒ 补 cancel 不构成连坐)。
- *
- * 🔴 **纯判定**:零 IO、零 import、零 module 级状态,同一入参恒同一出参。
- */
-/**
- * server 在 interrupt 腿上表达「**这条 run 已经 parked、没有在飞 turn 可切**」的 409 机器码
- * (engine 7.52.0 `dist/http/routes/runs.js` 真字节,`sendNoLiveTurn` 的 `isParkedRunStatus` 分支)。
- *   · `interrupt.nothing_in_flight` —— run 停在 pending 决断上。**审批卡挂着按 Esc 的主场景就是
- *     这一格**,server 的原话直接指路 steer/cancel。
- *
- * 🔴 **闭集只收这一员**,另外两个 409 都刻意在外:
- *   · `interrupt.not_held` —— **不收**。语义是「**本副本**手上没有可切的 live turn face」,而 server
- *     自己的两条原话把它拆得很清楚:一条是「run is live on **another replica**」,另一条是
- *     verify/cascade 车道不暴露 live stream。**两条都不证明「全局没有在飞 turn」** —— 尤其第一条,
- *     那条 run 正在别的副本上跑得好好的。对它升级 = 把 **turn 级** Esc 放大成**整 run 终止**。
- *     server 提示「run-level stop 可用 cancel」是在告诉你**有这个动词**,不等于用户授权了 run 级停止。
- *   · `steering.not_running` —— 不收。run 已终局,没有任何东西要停,补一发 cancel 是纯噪声。
- * ⇒ 只有「引擎结构化地证明了 run 已 parked」这一格才允许升级。等上游给出 owner/parked 判别位
- *   (或跨副本路由)之后,`not_held` 才谈得上有安全的处置。
- *
- * 🔴 **为什么是 `Object.freeze` 的数组而不是 `ReadonlySet`**(异源复审 [high] 采纳,真病):
- * `ReadonlySet<string>` 只在**类型面**只读 —— 运行期它就是一只普通 `Set`,而判定查的是**同一个
- * 实例**。任何 JS 消费者(或本包将来某处的一行手滑)`.add('interrupt.not_held')` 之后,同一份入参
- * 就会从 `none` 变成 `escalate-cancel`,把一条**还活着**的 run 不可恢复地拆掉 —— 这正是本模块整段
- * 头注在防的那个方向,却被自己的导出形留了后门;而「纯判定、零 module 级可变态」那句承诺也当场
- * 变成假话。冻结数组在**运行期**真的改不动(ESM 恒 strict:`push`/下标赋值直接抛),于是「公开
- * 面」与「判定源」可以安全地是同一个物,不必铸第二份(两份才会漂)。
- * ⚠️ 判据形随之从 `.has()` 改成 `.includes()` —— 与同仓 `parkResolver.GATE_FAILURE_CODES` 的
- *    `as const` 数组 + `includes` 逐字同姿势。闭集只有一员,查找成本不是这里的量。
- */
 export declare const RUN_LEVEL_STOP_ERROR_CODES: readonly string[];
-/**
- * 一发 bare interrupt 的归一结局(端把自己的发射结果折成这个形喂进来;**绝不是**异常)。
- * 形与 cli `src/sema/interruptWire.ts` 的 `InterruptOutcome` 逐字同形 —— 壳换装时直接对接。
- */
-export type InteractiveHaltInterruptOutcome = 
-/** 2xx:切 + 停受理。`turnCut` = 这一发有没有真切到一轮(重复调用第二次诚实 `false`;
- *  读不出 ⇒ `undefined`,**不硬造 false**)。本判定不读它 —— 受理即受理。 */
-{
+export type InteractiveHaltInterruptOutcome = {
     kind: 'halted';
     turnCut?: boolean | undefined;
-}
-/** 非 2xx:引擎**给了判决**。带机器码与状态码,升级闸只认这一类。 */
- | {
+} | {
     kind: 'refused';
     errorCode?: string | undefined;
     status: number;
-}
-/** 没武装(mock 车道 / live client 还没建)⇒ 一枪没打,**没有判决**。 */
- | {
+} | {
     kind: 'unarmed';
-}
-/** 传输层失败(超时、连接断)⇒ 一样是**没拿到服务端判决**。 */
- | {
+} | {
     kind: 'transport';
     detail?: string | undefined;
 };
-/** 本判定的入参。 */
 export interface InteractiveHaltInput {
-    /**
-     * **这一拍屏上是否挂着审批卡**(壳自己独立知道的事实:cli = `focusedInputDialog === 'tool-permission'`)。
-     * 🔴 它只在「interrupt 连判决都没拿到」那一格起作用 —— 见 {@link planInteractiveHalt} 的分支表。
-     * 🔴 缺席 / 非 `true` 一律按**非 parked** 处理(fail-closed:证不出 parked 就不给升级资格)。
-     */
     readonly parked?: boolean | undefined;
-    /**
-     * **这条 run 武装了 detach 吗**(壳自己独立知道的第二个事实:出站时给了「断连不收 run」的那一位)。
-     *
-     * 🔴 为什么它会改变判决(0.62.0 新格):撕 SSE 的**后果**因它而变。老形态下交互车道零 detach ——
-     *    撕流 = server 按断连语义当场把那条 run 收尾,所以「interrupt 那一发没落地」还有一层兜底
-     *    (用户按 Esc、壳撕流,run 也就停了)。detach 武装之后,撕流只断开**观看**,run 会一路跑到
-     *    turn 结束:此时 interrupt 自身失败(传输失败/超时/未武装)= 用户按下的 Esc **一点效果都没有**,
-     *    而屏上没有任何东西会告诉他这件事。这一格就是那层兜底消失后留下的洞。
-     * 🔴 它**只在「连判决都没拿到」那一格**被读 —— 与 {@link InteractiveHaltInput.parked} 同一条纪律:
-     *    引擎给了判决时判决说了算,壳自己知道的事实不许骑到引擎的结构化答复上。
-     * 🔴 **缺席 / 非 `true` 一律按未武装处理**(fail-closed,与 `parked` 同尺):证不出 detach 就不给
-     *    升级资格。⇒ 不传这个键的宿主行为与上一版**逐格相同**(门里有全格穷举的零差断言)。
-     */
     readonly detachArmed?: boolean | undefined;
-    /**
-     * 首发 interrupt 的结局。**缺席 = 这一发还没打** ⇒ 本函数判 `interrupt`(首发恒行,无条件)。
-     * 在场 ⇒ 本函数回答的是「接着还要不要升级」。
-     */
     readonly interruptOutcome?: InteractiveHaltInterruptOutcome | undefined;
 }
-/**
- * 判决的**机读因由**(闭集;人话文案归端,别拿它当展示串 —— [machine-readable-signal-not-visual-anchor])。
- */
-export type InteractiveHaltReason = 
-/** 还没发过 interrupt ⇒ 首发恒行(这一步不看 `parked`,不看任何东西)。 */
-'first-shot'
-/** 202 受理:这一轮已被切掉,run 在边界上终局 ⇒ 无事可做。 */
- | 'halted'
-/** 引擎**自己**回了升级闭集里的 409 码 ⇒ 它在说「run 级停止请用 cancel」。 */
- | 'engine-says-run-level'
-/** 连判决都没拿到(传输失败/超时/未武装),但壳自证屏上挂着审批卡 ⇒ 这一格本来就没有在飞 turn。 */
- | 'no-verdict-on-parked-card'
-/** 连判决都没拿到、也没有审批卡,但这条 run 武装了 detach ⇒ 撕流不会收它,不升级 = Esc 零效果。 */
- | 'no-verdict-detach-armed'
-/** 连判决都没拿到、且两个壳侧事实都不成立 ⇒ 那里真可能有在飞工具,凭一次超时拆整条 run 正是要消除的病。 */
- | 'no-verdict-not-parked'
-/** 引擎给了判决,但不在升级闭集里(404 / 400 / 非 409 / `steering.not_running` / 码读不出)。 */
- | 'refused-no-escalation'
-/** 入参不是本模块认得的任何一种结局形 ⇒ fail-closed 不升级(宿主传了新形/坏形)。 */
- | 'unknown-outcome';
-/** 判决值:做什么 + 为什么(机读)。 */
+export type InteractiveHaltReason = 'first-shot' | 'halted' | 'engine-says-run-level' | 'no-verdict-on-parked-card' | 'no-verdict-detach-armed' | 'no-verdict-not-parked' | 'refused-no-escalation' | 'unknown-outcome';
 export interface InteractiveHaltPlan {
     readonly action: 'interrupt' | 'escalate-cancel' | 'none';
     readonly reason: InteractiveHaltReason;
 }
-/**
- * Esc 停止弧的**唯一判定口**。
- *
- * ── 分支表(逐条 = 一条行为承诺)──────────────────────────────────────────────────────────
- * | `interruptOutcome`                         | `parked` | `detachArmed` | 判决              | reason |
- * |--------------------------------------------|----------|---------------|-------------------|--------|
- * | 缺席(还没打)                              | 任意     | 任意          | `interrupt`       | `first-shot` |
- * | `halted`                                    | 任意     | 任意          | `none`            | `halted` |
- * | `refused` + 409 + 升级闭集码                 | 任意     | 任意          | `escalate-cancel` | `engine-says-run-level` |
- * | `refused`(其余:非 409 / 码不在闭集 / 码缺席)| 任意     | 任意          | `none`            | `refused-no-escalation` |
- * | `transport` / `unarmed`                     | `true`   | 任意          | `escalate-cancel` | `no-verdict-on-parked-card` |
- * | `transport` / `unarmed`                     | 其余     | `true`        | `escalate-cancel` | `no-verdict-detach-armed` |
- * | `transport` / `unarmed`                     | 其余     | 其余          | `none`            | `no-verdict-not-parked` |
- * | 认不得的形                                   | 任意     | 任意          | `none`            | `unknown-outcome` |
- *
- * 🔴 **`parked` 与 `detachArmed` 只在「没有判决」那两格被读**:引擎给了判决时,判决说了算 ——
- *    壳的 UI 状态不许覆盖引擎的结构化答复(反过来也一样:引擎说 parked 时,`parked=false` 不阻止升级)。
- * 🔴 **两个壳侧事实的先后是刻意的**:`parked` 先判,所以老宿主(只传 `parked`)的 reason 逐字不变;
- *    两者同时为 `true` 时报 `no-verdict-on-parked-card` —— 那一格的处置与文案本来就成立,新键不改口。
- * 🔴 **`detachArmed` 缺席 = 老语义零差**:不传这个键时整张表与上一版逐格相同(门里有全格穷举断言)。
- * 🔴 **首发无条件**:`first-shot` 那一格刻意不看 `parked`。审批卡挂着时首发 interrupt 会吃一个
- *    409,那正是升级闸要的**判决**;为了省一次往返而直接跳到 cancel,等于把判据从引擎搬回壳里猜。
- * 🔴 **顺序契约(端必读,不是本函数能保证的那半)**:这一发必须排在「撕 SSE」**之前**。
- *    · **未武装 detach** 的车道上,先撕流 = server 按断连语义当场收尾那条 run,随后落地的 interrupt
- *      只会拿到 409 `steering.not_running`(真机实测:同步撕流形每一轮都是它)。
- *    · **武装了 detach** 的车道上,撕流只断开观看、run 照跑 —— 顺序不再影响 interrupt 拿到什么,
- *      但它让「interrupt 没落地」变成一个**没有兜底**的结局,那正是 `detachArmed` 这一格要接的洞。
- */
 export declare function planInteractiveHalt(input: InteractiveHaltInput): InteractiveHaltPlan;

package/dist/interactiveHalt.js

@@ -1,80 +1,7 @@
-/**
- * interactiveHalt — 交互 **Esc** 的停止判定层(#363 件③,0.47.0;三端公共判定上收)。
- *
- * ── 收的是哪一件事 ────────────────────────────────────────────────────────────────────────
- * 「用户按 Esc ⇒ 先发 **turn 级 halt**;升级成 **run 级 cancel** 恰有**三格**:
- *   ① 引擎自己回了升级闭集里的 **409**(它在说「这里没有在飞 turn 可切,run 级停止请用 cancel」);
- *   ② 这一发**连判决都没拿到**(传输失败/超时/未武装)**且**屏上确实挂着审批卡(`parked`);
- *   ③ 这一发连判决都没拿到 **且** 这条 run 武装了 **detach**(断连不再收 run,0.62.0 新格)。
- * 其余一律不升级。」—— 这条判定 TUI / desktop / web **三端都要**(三端都会 Esc、都会撞
- * 同一个 parked 格),此前整条住在 cli 壳里(`src/sema/seamQuery.ts` 的 `bestEffortInteractiveHalt`
- * + `src/sema/interruptWire.ts` 的 `needsRunLevelStop`)。本模块把**判据**搬进来;
- * **发射**(裸 fetch / SDK verb)、台账、留痕、UI 反馈仍归各端。
- * ⚠️ 别把①漏掉(异源复审 [medium] 采纳的原文歧义):只写「拿不到判决且 parked 才升级」的话,
- *    端会漏接**引擎明确指路**那一格 —— parked run 的会话锁不放,下一条消息照样撞「Session busy」。
- *
- * ── 两个动词各自唯一能做到的格(**cancel 绝不删**,本模块存在的前提)──────────────────────
- *   · `interrupt`(turn 级,bare 形 = core `stream.halt()`「切 + 停」)—— 需要一条**活的、在飞的
- *     turn**。这是 Esc 的正题:切掉这一轮,run 在边界上终局、同 session 下一 submit 照常续。
- *   · `cancel`(run 级)—— 显式整 run 终局手势,而且它是**唯一**能把一条停在审批门上的
- *     `suspended`/`needs_review` run 就地终态化、把会话锁放开的动词(server [868] 起的语义)。
- * ⇒ 无条件把 cancel 换成 interrupt = 审批卡挂着按 Esc 的主场景当场回归成「Session busy」病;
- *   无条件补 cancel = 同一条 run 上别的在飞工具(后台 bash 等)被连坐拆掉(#324 的病形)。
- *   本判定就是这两条之间那道**不对称**的闸。
- *
- * ── 🔴 不对称是刻意的(方向安全,两条代价不等价)────────────────────────────────────────
- * 判**不**升级的代价 = 用户退回既有的「Session busy」卡,自己再选一次(**可恢复**);
- * 判**错**升级的代价 = 拆掉一条其实还活着的 run,连坐它身上所有在飞工具(**不可恢复**)。
- * ⇒ 闸往严的一侧设,宁可少升一次;凡「证不出来」一律落**不升级**侧。
- *
- * ── 判据锚在哪 ────────────────────────────────────────────────────────────────────────────
- *   · 升级的**第一判据 = 引擎自己的机器码**({@link RUN_LEVEL_STOP_ERROR_CODES} × 409),
- *     不是壳对 UI 状态的猜测([anchor-on-the-deciding-quantity]);
- *   · 只有当**引擎连判决都没给**(传输失败/超时/根本没武装)时,才轮到壳自己独立知道的那个
- *     事实(`parked` = 这一拍屏上确实挂着审批卡 ⇒ 那条 run 停在 pending 决断上 ⇒ 本来就没有
- *     在飞 turn 可切 ⇒ 补 cancel 不构成连坐)。
- *
- * 🔴 **纯判定**:零 IO、零 import、零 module 级状态,同一入参恒同一出参。
- */
-/**
- * server 在 interrupt 腿上表达「**这条 run 已经 parked、没有在飞 turn 可切**」的 409 机器码
- * (engine 7.52.0 `dist/http/routes/runs.js` 真字节,`sendNoLiveTurn` 的 `isParkedRunStatus` 分支)。
- *   · `interrupt.nothing_in_flight` —— run 停在 pending 决断上。**审批卡挂着按 Esc 的主场景就是
- *     这一格**,server 的原话直接指路 steer/cancel。
- *
- * 🔴 **闭集只收这一员**,另外两个 409 都刻意在外:
- *   · `interrupt.not_held` —— **不收**。语义是「**本副本**手上没有可切的 live turn face」,而 server
- *     自己的两条原话把它拆得很清楚:一条是「run is live on **another replica**」,另一条是
- *     verify/cascade 车道不暴露 live stream。**两条都不证明「全局没有在飞 turn」** —— 尤其第一条,
- *     那条 run 正在别的副本上跑得好好的。对它升级 = 把 **turn 级** Esc 放大成**整 run 终止**。
- *     server 提示「run-level stop 可用 cancel」是在告诉你**有这个动词**,不等于用户授权了 run 级停止。
- *   · `steering.not_running` —— 不收。run 已终局,没有任何东西要停,补一发 cancel 是纯噪声。
- * ⇒ 只有「引擎结构化地证明了 run 已 parked」这一格才允许升级。等上游给出 owner/parked 判别位
- *   (或跨副本路由)之后,`not_held` 才谈得上有安全的处置。
- *
- * 🔴 **为什么是 `Object.freeze` 的数组而不是 `ReadonlySet`**(异源复审 [high] 采纳,真病):
- * `ReadonlySet<string>` 只在**类型面**只读 —— 运行期它就是一只普通 `Set`,而判定查的是**同一个
- * 实例**。任何 JS 消费者(或本包将来某处的一行手滑)`.add('interrupt.not_held')` 之后,同一份入参
- * 就会从 `none` 变成 `escalate-cancel`,把一条**还活着**的 run 不可恢复地拆掉 —— 这正是本模块整段
- * 头注在防的那个方向,却被自己的导出形留了后门;而「纯判定、零 module 级可变态」那句承诺也当场
- * 变成假话。冻结数组在**运行期**真的改不动(ESM 恒 strict:`push`/下标赋值直接抛),于是「公开
- * 面」与「判定源」可以安全地是同一个物,不必铸第二份(两份才会漂)。
- * ⚠️ 判据形随之从 `.has()` 改成 `.includes()` —— 与同仓 `parkResolver.GATE_FAILURE_CODES` 的
- *    `as const` 数组 + `includes` 逐字同姿势。闭集只有一员,查找成本不是这里的量。
- */
 export const RUN_LEVEL_STOP_ERROR_CODES = Object.freeze([
     'interrupt.nothing_in_flight',
 ]);
-/** 升级闭集的码在 wire 上**只以 409 出现**(engine 7.52.0 `sendNoLiveTurn` 两分支逐字)。 */
 const RUN_LEVEL_STOP_STATUS = 409;
-/**
- * 这一发 interrupt 的结局是不是在说「**改用 run 级停止**」。
- *
- * 判据 = **码闭集({@link RUN_LEVEL_STOP_ERROR_CODES})与 409 状态的合取**,两个条件都必要:
- * · 只认码不认状态 ⇒ 一只 5xx(引擎内部错、代理改写体、老版本复用同名码)只要正文里带上那个码,
- *   就能把我们骗去打一发 **run 级 cancel** —— 那是**破坏性**动作,而它当时其实没有任何判决依据。
- * · 只认 409 不认码 ⇒ `steering.not_running`(run 已终局)也会被升级,对着一条已经结束的 run 补枪。
- */
 function enginePointsToRunLevelStop(outcome) {
     const o = outcome;
     return (o?.kind === 'refused' &&
@@ -82,43 +9,10 @@ function enginePointsToRunLevelStop(outcome) {
         typeof o.errorCode === 'string' &&
         RUN_LEVEL_STOP_ERROR_CODES.includes(o.errorCode));
 }
-/**
- * Esc 停止弧的**唯一判定口**。
- *
- * ── 分支表(逐条 = 一条行为承诺)──────────────────────────────────────────────────────────
- * | `interruptOutcome`                         | `parked` | `detachArmed` | 判决              | reason |
- * |--------------------------------------------|----------|---------------|-------------------|--------|
- * | 缺席(还没打)                              | 任意     | 任意          | `interrupt`       | `first-shot` |
- * | `halted`                                    | 任意     | 任意          | `none`            | `halted` |
- * | `refused` + 409 + 升级闭集码                 | 任意     | 任意          | `escalate-cancel` | `engine-says-run-level` |
- * | `refused`(其余:非 409 / 码不在闭集 / 码缺席)| 任意     | 任意          | `none`            | `refused-no-escalation` |
- * | `transport` / `unarmed`                     | `true`   | 任意          | `escalate-cancel` | `no-verdict-on-parked-card` |
- * | `transport` / `unarmed`                     | 其余     | `true`        | `escalate-cancel` | `no-verdict-detach-armed` |
- * | `transport` / `unarmed`                     | 其余     | 其余          | `none`            | `no-verdict-not-parked` |
- * | 认不得的形                                   | 任意     | 任意          | `none`            | `unknown-outcome` |
- *
- * 🔴 **`parked` 与 `detachArmed` 只在「没有判决」那两格被读**:引擎给了判决时,判决说了算 ——
- *    壳的 UI 状态不许覆盖引擎的结构化答复(反过来也一样:引擎说 parked 时,`parked=false` 不阻止升级)。
- * 🔴 **两个壳侧事实的先后是刻意的**:`parked` 先判,所以老宿主(只传 `parked`)的 reason 逐字不变;
- *    两者同时为 `true` 时报 `no-verdict-on-parked-card` —— 那一格的处置与文案本来就成立,新键不改口。
- * 🔴 **`detachArmed` 缺席 = 老语义零差**:不传这个键时整张表与上一版逐格相同(门里有全格穷举断言)。
- * 🔴 **首发无条件**:`first-shot` 那一格刻意不看 `parked`。审批卡挂着时首发 interrupt 会吃一个
- *    409,那正是升级闸要的**判决**;为了省一次往返而直接跳到 cancel,等于把判据从引擎搬回壳里猜。
- * 🔴 **顺序契约(端必读,不是本函数能保证的那半)**:这一发必须排在「撕 SSE」**之前**。
- *    · **未武装 detach** 的车道上,先撕流 = server 按断连语义当场收尾那条 run,随后落地的 interrupt
- *      只会拿到 409 `steering.not_running`(真机实测:同步撕流形每一轮都是它)。
- *    · **武装了 detach** 的车道上,撕流只断开观看、run 照跑 —— 顺序不再影响 interrupt 拿到什么,
- *      但它让「interrupt 没落地」变成一个**没有兜底**的结局,那正是 `detachArmed` 这一格要接的洞。
- */
 export function planInteractiveHalt(input) {
     const outcome = input.interruptOutcome;
-    // 首发恒行:一发都还没打的时候,没有任何东西需要判。
-    // 🔴 `null` 与 `undefined` **同判「还没打」**(两种缺席形;宿主用哪一种写「没有结局」都算数)——
-    //    而不是落 fail-closed 的 `unknown-outcome`:那会让 Esc 一发都不打(interrupt 是**非破坏性**
-    //    动词,把它扣下来比多打一发更坏)。fail-closed 守的是**升级**那一侧,不是首发。
     if (outcome === undefined || outcome === null)
         return { action: 'interrupt', reason: 'first-shot' };
-    // 防御读:wire/宿主形在运行期不存在类型(M0/M1),`kind` 可能是新词、可能压根不是对象。
     const kind = outcome.kind;
     if (kind === 'halted')
         return { action: 'none', reason: 'halted' };
@@ -128,16 +22,11 @@ export function planInteractiveHalt(input) {
             : { action: 'none', reason: 'refused-no-escalation' };
     }
     if (kind === 'transport' || kind === 'unarmed') {
-        // 没拿到判决。只有壳能**独立证明**的两个事实之一成立才升级(理由见顶注的不对称段)。
-        // 🔴 `parked` 先判:老宿主只传它,先判保证那一格的 reason 逐字不漂。
         if (input.parked === true)
             return { action: 'escalate-cancel', reason: 'no-verdict-on-parked-card' };
-        // 🔴 detach 武装 ⇒ 撕流不再收 run,不升级 = 用户按下的 Esc 一点效果都没有。
-        //    严格 `=== true`(与 parked 同尺):证不出来就不给升级资格。
         if (input.detachArmed === true)
             return { action: 'escalate-cancel', reason: 'no-verdict-detach-armed' };
         return { action: 'none', reason: 'no-verdict-not-parked' };
     }
-    // 宿主传了本模块认不得的形(新 kind / 坏对象)。fail-closed:不对一个读不懂的结局动手。
     return { action: 'none', reason: 'unknown-outcome' };
 }

package/dist/interactiveToolsWire.d.ts

@@ -1,74 +1,12 @@
-/**
- * src/sema/interactiveToolsWire.ts — headless `-p` 的 TaskRequest.interactiveTools:false stamp
- * ([909]B 件3,采 [911]② core 正解,2026-07-16)。
- *
- * WHY:core 1.296 起 TaskSpec 有 `interactiveTools?: boolean` 三态旋钮(dist/core/types.d.ts:241);
- * prepare-task.js 两处消费:
- *   :635 plan 门   `spec.enablePlanMode === true && spec.interactiveTools !== false`
- *   :974 AskUserQuestion roster `interactiveTools === true || (interactiveTools !== false &&
- *        (onQuestion !== undefined || durableQuestionFace))`
- * ⇒ `-p` 无人值守姿势 stamp `false`,AskUserQuestion/plan 门从 roster【源头】全灭(模型压根看不到
- * 该工具)= [909]A3(headless EnterPlanMode→park 弃 86% 预算)类事故的根治,比 [884]A1 的
- * park→error 终帧防御纵深更靠前(现在根本不 park)。
- *
- * 🆕 **core 5.10.0 把这一 stamp 的作用域从「本 run」扩到「本 run 及其全部委派子代」**
- * ([2575] 消费端自查④,委托继承收窄五座之②):此前子代 roster 是「**恒无** AskUserQuestion」,
- * 5.10.0 起改成「**父面允许才有**」——`onQuestion` 在 prepare 期解析一次并**原样**传给子代
- * (父子共用同一个函数对象)。对本模块是**净收益且零改动**:`-p` stamp `false` 之后,硬 headless
- * 父的子代**压根不挂** AskUserQuestion,而不是挂了再靠子代自己的判断兜。同族一并单向收紧的还有
- * `handsReadOnly`(只读父 ⇒ 子代无写手)与 `oneShot`(true 向传播)。
- * 🔴 给下一棒的判据纪律:因此**别再用闭包身份判「谁在问」** —— 父子是同一个 `onQuestion` 函数对象,
- * 闭包身份在 5.10.0 上不再有判别力;判身要读 `AskQuestionRequest.sourceTaskId` / `principal`
- * (本包 hitl 面已是这个姿势,见 `hitl/toolApprovalWire.ts` 的 `sourceTaskId` 位)。
- *
- * 语义(headlessPermissionModeWire 同点同型 wire):
- *   · 仅 headless `-p` 车道(本模块只被 seamQueryEngine.ask import;交互 REPL 一根毛不动);
- *   · 显式交互意图恒赢:CLI 无 --interactive-tools 类旗(gap-check 2026-07-16:上游 CC 2.1.207
- *     与本壳 argv 面均无,不发明);既有旗里唯一表达「我要交互门」的是 `--permission-mode plan`
- *     (plan 流程本身要 plan-review 交互)——该旗在场时不 stamp(维持引擎缺省判据);
- *   · SEMA_HEADLESS_INTERACTIVE_TOOLS 部署旋钮(settings env 车道,拼写集 = envFlagOn/envFlagOff、
- *     REF-CC-141 dup-02 单源):真值拼写 = 不 stamp(回引擎缺省判据),假值拼写 = 显式 stamp false
- *     (与缺省同效,显式垫);非法值一次性 warn + 回缺省;
- *     🔴 [2393] sweep-F9(2026-08-03 全窗复审)**记一笔默认翻面**:dup-02 单源化把真值拼写集从
- *     `{true,1}` 扩到 `{true,1,yes,on}`(假值集同批扩到 `{false,0,no,off,none}`)。收编**前**
- *     `SEMA_HEADLESS_INTERACTIVE_TOOLS=yes` 落进 warn 分支 ⇒ `{interactiveTools:false}` = **显式 OFF**;
- *     收编**后**它命中真值拼写 ⇒ `{}` = **不 stamp = 由引擎缺省决定**。方向说得通(用户写 yes 就是
- *     要交互工具),但这是 headless `-p` 车道上一次真实的默认翻面,不能只活在拼写集的 diff 里。
- *   · 缺省(env 缺席/空串)= stamp false(无人值守正解);
- *   · 旧 server 白名单 fail-soft:server resolveSpec 逐字段白名单拼 TaskSpec,未知 body 字段静默
- *     忽略(limits wire 同款勘察结论)——本字段发了白发不炸。gap-check 实拆 server 1.210.0 dist:
- *     resolveSpec(main.js:1233-)【不】读 body.interactiveTools ⇒ 需 server 半场补一行白名单,
- *     壳先备(协作板记账)。
- */
 import { type EnvLike } from './hostEnv.js';
-/** 部署旋钮 env 键名(settings.json env 块 → 1a-envseed → process.env 同车道)。 */
 export declare const HEADLESS_INTERACTIVE_TOOLS_ENV = "SEMA_HEADLESS_INTERACTIVE_TOOLS";
 export type InteractiveToolsResolution = {
-    /** 直接展开进 TaskRequest 的字段({} = 不 stamp)。 */
     fields: {
         interactiveTools?: false;
     };
     source: 'default' | 'env' | 'plan-flag';
-    /** 非法 env 值的告警文案(调用层一次性打 stderr)。 */
     warning?: string;
 };
-/**
- * argv 里是否显式要了 plan 交互意图(`--permission-mode plan` / `--permission-mode=plan`;
- * 后出现者赢,commander 同语义;`--` 之后不是 flag)。
- *
- * REF-CC-143(dup-10)收编,2026-08-01:这个函数原本自带一份与 headlessPermissionModeWire.
- * permissionModeFromArgv 逐字重复的 argv 扫描循环(两个 headless 旋钮读的是同一个 `--permission-mode`
- * flag,必须是同一份读法)。dup-10 证明过等价性:`permissionModeFromArgv` 的
- * `--dangerously-skip-permissions` 分支只在没有显式 `--permission-mode` 时才返回
- * `'bypassPermissions'`,那个值永远不等于 `'plan'`,所以对任意 argv 恒有
- * `planModeExplicitlyRequested(argv) === (permissionModeFromArgv(argv) === 'plan')`——折成薄壳,
- * 循环整个消失,而不只是「提取逻辑」被共享。
- */
 export declare function planModeExplicitlyRequested(argv: readonly string[]): boolean;
-/**
- * 解析 headless `-p` 的 interactiveTools stamp。纯函数除告警 latch。
- * 调用方(seamQueryEngine.ask)live-gated:mock/pty 车道永不经过这里。
- */
 export declare function resolveHeadlessInteractiveTools(argv: readonly string[], env?: EnvLike): InteractiveToolsResolution;
-/** 测试钩子:重置一次性告警 latch。 */
 export declare function _resetInteractiveToolsWireForTest(): void;

package/dist/interactiveToolsWire.js

@@ -1,83 +1,19 @@
-/**
- * src/sema/interactiveToolsWire.ts — headless `-p` 的 TaskRequest.interactiveTools:false stamp
- * ([909]B 件3,采 [911]② core 正解,2026-07-16)。
- *
- * WHY:core 1.296 起 TaskSpec 有 `interactiveTools?: boolean` 三态旋钮(dist/core/types.d.ts:241);
- * prepare-task.js 两处消费:
- *   :635 plan 门   `spec.enablePlanMode === true && spec.interactiveTools !== false`
- *   :974 AskUserQuestion roster `interactiveTools === true || (interactiveTools !== false &&
- *        (onQuestion !== undefined || durableQuestionFace))`
- * ⇒ `-p` 无人值守姿势 stamp `false`,AskUserQuestion/plan 门从 roster【源头】全灭(模型压根看不到
- * 该工具)= [909]A3(headless EnterPlanMode→park 弃 86% 预算)类事故的根治,比 [884]A1 的
- * park→error 终帧防御纵深更靠前(现在根本不 park)。
- *
- * 🆕 **core 5.10.0 把这一 stamp 的作用域从「本 run」扩到「本 run 及其全部委派子代」**
- * ([2575] 消费端自查④,委托继承收窄五座之②):此前子代 roster 是「**恒无** AskUserQuestion」,
- * 5.10.0 起改成「**父面允许才有**」——`onQuestion` 在 prepare 期解析一次并**原样**传给子代
- * (父子共用同一个函数对象)。对本模块是**净收益且零改动**:`-p` stamp `false` 之后,硬 headless
- * 父的子代**压根不挂** AskUserQuestion,而不是挂了再靠子代自己的判断兜。同族一并单向收紧的还有
- * `handsReadOnly`(只读父 ⇒ 子代无写手)与 `oneShot`(true 向传播)。
- * 🔴 给下一棒的判据纪律:因此**别再用闭包身份判「谁在问」** —— 父子是同一个 `onQuestion` 函数对象,
- * 闭包身份在 5.10.0 上不再有判别力;判身要读 `AskQuestionRequest.sourceTaskId` / `principal`
- * (本包 hitl 面已是这个姿势,见 `hitl/toolApprovalWire.ts` 的 `sourceTaskId` 位)。
- *
- * 语义(headlessPermissionModeWire 同点同型 wire):
- *   · 仅 headless `-p` 车道(本模块只被 seamQueryEngine.ask import;交互 REPL 一根毛不动);
- *   · 显式交互意图恒赢:CLI 无 --interactive-tools 类旗(gap-check 2026-07-16:上游 CC 2.1.207
- *     与本壳 argv 面均无,不发明);既有旗里唯一表达「我要交互门」的是 `--permission-mode plan`
- *     (plan 流程本身要 plan-review 交互)——该旗在场时不 stamp(维持引擎缺省判据);
- *   · SEMA_HEADLESS_INTERACTIVE_TOOLS 部署旋钮(settings env 车道,拼写集 = envFlagOn/envFlagOff、
- *     REF-CC-141 dup-02 单源):真值拼写 = 不 stamp(回引擎缺省判据),假值拼写 = 显式 stamp false
- *     (与缺省同效,显式垫);非法值一次性 warn + 回缺省;
- *     🔴 [2393] sweep-F9(2026-08-03 全窗复审)**记一笔默认翻面**:dup-02 单源化把真值拼写集从
- *     `{true,1}` 扩到 `{true,1,yes,on}`(假值集同批扩到 `{false,0,no,off,none}`)。收编**前**
- *     `SEMA_HEADLESS_INTERACTIVE_TOOLS=yes` 落进 warn 分支 ⇒ `{interactiveTools:false}` = **显式 OFF**;
- *     收编**后**它命中真值拼写 ⇒ `{}` = **不 stamp = 由引擎缺省决定**。方向说得通(用户写 yes 就是
- *     要交互工具),但这是 headless `-p` 车道上一次真实的默认翻面,不能只活在拼写集的 diff 里。
- *   · 缺省(env 缺席/空串)= stamp false(无人值守正解);
- *   · 旧 server 白名单 fail-soft:server resolveSpec 逐字段白名单拼 TaskSpec,未知 body 字段静默
- *     忽略(limits wire 同款勘察结论)——本字段发了白发不炸。gap-check 实拆 server 1.210.0 dist:
- *     resolveSpec(main.js:1233-)【不】读 body.interactiveTools ⇒ 需 server 半场补一行白名单,
- *     壳先备(协作板记账)。
- */
 import { hostEnv } from './hostEnv.js';
 import { envFlagOff, envFlagOn } from './envFlag.js';
 import { permissionModeFromArgv } from './headlessPermissionModeWire.js';
-/** 部署旋钮 env 键名(settings.json env 块 → 1a-envseed → process.env 同车道)。 */
 export const HEADLESS_INTERACTIVE_TOOLS_ENV = 'SEMA_HEADLESS_INTERACTIVE_TOOLS';
-/**
- * argv 里是否显式要了 plan 交互意图(`--permission-mode plan` / `--permission-mode=plan`;
- * 后出现者赢,commander 同语义;`--` 之后不是 flag)。
- *
- * REF-CC-143(dup-10)收编,2026-08-01:这个函数原本自带一份与 headlessPermissionModeWire.
- * permissionModeFromArgv 逐字重复的 argv 扫描循环(两个 headless 旋钮读的是同一个 `--permission-mode`
- * flag,必须是同一份读法)。dup-10 证明过等价性:`permissionModeFromArgv` 的
- * `--dangerously-skip-permissions` 分支只在没有显式 `--permission-mode` 时才返回
- * `'bypassPermissions'`,那个值永远不等于 `'plan'`,所以对任意 argv 恒有
- * `planModeExplicitlyRequested(argv) === (permissionModeFromArgv(argv) === 'plan')`——折成薄壳,
- * 循环整个消失,而不只是「提取逻辑」被共享。
- */
 export function planModeExplicitlyRequested(argv) {
     return permissionModeFromArgv(argv) === 'plan';
 }
-// 一次性告警 latch(-p 是 one-shot 进程;测试钩子可重置)
 let warnedInvalidEnv = false;
-/**
- * 解析 headless `-p` 的 interactiveTools stamp。纯函数除告警 latch。
- * 调用方(seamQueryEngine.ask)live-gated:mock/pty 车道永不经过这里。
- */
 export function resolveHeadlessInteractiveTools(argv, env = hostEnv()) {
-    // 1) 显式交互意图恒赢:--permission-mode plan ⇒ 不 stamp(plan 流程要 plan-review 门)。
     if (planModeExplicitlyRequested(argv)) {
         return { fields: {}, source: 'plan-flag' };
     }
-    // 2) 部署旋钮。拼写集 = envFlagOn/envFlagOff(REF-CC-141 dup-02 单源)—— 修前本处是四份重复
-    //    实现里唯一不 lowercase 的一份(`raw==='true'||raw==='1'`),`SEMA_HEADLESS_INTERACTIVE_
-    //    TOOLS=False` 会落进下面的「不是布尔值」warn 分支,现改为大小写不敏感 + 拼写集与其它九处同源。
     const raw = env[HEADLESS_INTERACTIVE_TOOLS_ENV]?.trim();
     if (raw !== undefined && raw !== '') {
         if (envFlagOn(raw))
-            return { fields: {}, source: 'env' }; // 回引擎缺省判据
+            return { fields: {}, source: 'env' };
         if (envFlagOff(raw))
             return { fields: { interactiveTools: false }, source: 'env' };
         const resolution = {
@@ -90,10 +26,8 @@ export function resolveHeadlessInteractiveTools(argv, env = hostEnv()) {
         }
         return resolution;
     }
-    // 3) 缺省:无人值守 stamp false(AskUserQuestion/plan 门 roster 源头全灭)。
     return { fields: { interactiveTools: false }, source: 'default' };
 }
-/** 测试钩子:重置一次性告警 latch。 */
 export function _resetInteractiveToolsWireForTest() {
     warnedInvalidEnv = false;
 }

package/dist/leaderConflict.d.ts

@@ -1,68 +1,22 @@
-/**
- * leaderConflict — leader run 终局 `needs_human` + `result.conflict` 的**三端共用读面**(0.72.10;server ≥7.83.0 C-R63 ④;
- * 契约 §15;sdk `LeaderRecord.result` 声明为 `unknown`,本读器是它在客户端的唯一形)。
- *
- * ── 这一口答的是哪件事 ────────────────────────────────────────────────────────────────────
- * 7.83.0 起 worker 分支合不上时,leader run **不再**起任何模型去解冲突,而是把冲突**列给用户**:`status:"needs_human"` +
- * `result.conflict { baseSha, files[], filesTruncated?, workers[], rejHead? }` + `result.salvaged[]`(全部 worker 各一份补丁,尽力而为)。
- * 壳只有「列出来 + 把补丁落盘」两件事;缺席语义 / 坏形判别 / 措辞三端各写一遍必各错一遍 ⇒ 归包。
- *
- * ── 🔴 五条契约读法(§15 逐字)──────────────────────────────────────────────────────────────
- *  ① **缺席不可分**:`result` 无 `conflict` 键 = 这一趟没有冲突,**或**对面是老 server(<7.83.0,那时冲突走别的终局)。
- *     两者 wire 上不可区分 ⇒ 读数 `none`,措辞把两种可能都摆出来,不替 server 断言其中一种。
- *  ② **在场但读不懂 ≠ 缺席**:`conflict` 在场但必填座缺 / 形坏 ⇒ `unreadable`。它和 `none` 是两个词 —— server 明明报了冲突,
- *     壳若因读不懂而渲成「没冲突」,用户会把一棵带冲突标记的树当干净树用。
- *  ③ **`filesTruncated` 只在清单被截断时在场且恒 `true`;缺席 = 这就是全部**。在场却不是 `true` ⇒ unreadable,不编「全部」也不编「截断」。
- *  ④ **`workers[].applied` 是布尔事实**:`false` = 这只 worker 的补丁没进树(冲突者本人,或排在它后面没轮到的)。`salvaged[].patch`
- *     是**工件**(给落盘口),原样透传、不消毒、不截断;`rejHead` 是**屏上诊断片段**(server 已脱敏 ≤2 KiB),呈前按 UNTRUSTED-for-display
- *     再过一次(转义控制符 + 封长)。两者在 server 侧走同一只脱敏口,客户端只按用途分「落盘 / 上屏」,不再加第二套判据。
- *  ⑤ **`needs_human` 是「等人」不是「失败」**:契约明令不许据它自动重试一条 leader run。措辞单源 {@link leaderConflictDetail},
- *     句子里不出现重试;壳零自拼句子。
- *
- * ── 防御读纪律(与 `mcpReconnect` / `sessionMemoryStatus` 同律)─────────────────────────────
- *  · 永不抛:载体非对象 / 敌意 getter ⇒ `undefined`(记录本身不成形);`status` 缺席或非串 ⇒ `undefined`;
- *  · `status` 按**开集**透传(契约闭集四词,但客户端不替 server 断言闭集 —— 新词照带,壳 switch 必带 default);
- *  · 多余成员不过境,数组是新拷贝(壳改视图不回写 wire 体)。
- */
-/** 契约 §15 `GET /v1/leader/:id` 的 `status` 四词(仅作词表;读器按开集透传)。 */
 export declare const LEADER_RUN_STATUSES: readonly string[];
-/** `rejHead` 上屏封长(显示字符;server 侧已 ≤2 KiB,这里是呈前的第二道,与工件字节无关)。 */
 export declare const LEADER_REJ_HEAD_DISPLAY_MAX = 2048;
-/** `conflict.workers[]` 一行:全部 completed worker;`applied:false` = 这只的补丁没进树。 */
 export interface LeaderConflictWorkerView {
     workerId: string;
     branch: string;
     applied: boolean;
 }
-/** `result.conflict` 段(契约 §15 表)。`filesTruncated` 只在为 `true` 时在场;`rejHead` 已按 UNTRUSTED-for-display 处理。 */
 export interface LeaderConflictSectionView {
-    /** 用户侧的合并基点 = 这一趟的 durable base。 */
     baseSha: string;
-    /** 有冲突标记 / `.rej` 的路径(只有路径,不含内容);可为空数组。 */
     files: string[];
-    /** 在场恒 `true` = 清单被截断(缺的一条是未证明缺席);缺席 = 这就是全部。 */
     filesTruncated?: true;
     workers: LeaderConflictWorkerView[];
-    /** `.rej` 头,给人看冲突长什么样;已转义控制符并封长 ≤ {@link LEADER_REJ_HEAD_DISPLAY_MAX}。 */
     rejHead?: string;
 }
-/** `result.salvaged[]` 一行:一只 worker 的补丁(工件,原样;给落盘口,不上屏)。 */
 export interface LeaderSalvagedPatchView {
     workerId: string;
     sessionId: string;
     patch: string;
 }
-/**
- * 三形:
- *  · `none` —— `result` 无 `conflict` 键(未冲突 或 老 server,不可分);
- *  · `unreadable` —— `conflict` 在场但读不出(必填座缺 / 形坏);
- *  · `conflict` —— 读出来了。
- * 三形都带 `status`(开集原样)与 `salvaged`(非冲突终局也可含未完成 worker 的补丁;缺席 = 空数组)+ `salvagedIncomplete?`。
- *
- * 🔴 `salvagedIncomplete`(异源对抗复审采纳):`salvaged` **在场但读不全**(不是数组 / 非空却全是坏行 / 好坏混合)⇒ 在场恒 `true`,
- *    好行照常保留。它和「没有补丁」是两件事 —— 契约 §15 明说集成沙箱在 run 结束时销毁、分支不承诺可 fetch,`salvaged[]` 是冲突终局下
- *    的**唯一补偿**;把一张读不出的表渲成「没有补丁」会让用户放弃去找原始结果。缺席 / `[]` / 全好 ⇒ 键不在场。
- */
 export type LeaderConflictView = {
     kind: 'none';
     status: string;
@@ -80,18 +34,5 @@ export type LeaderConflictView = {
     salvaged: LeaderSalvagedPatchView[];
     salvagedIncomplete?: true;
 };
-/**
- * 把 `GET /v1/leader/:id` 的记录(sdk `LeaderRecord`,`result` 为 `unknown`)投成 {@link LeaderConflictView}。
- * 永不抛;记录本身不成形(非对象 / `status` 缺席或非串 / 敌意 getter)⇒ `undefined`。
- */
 export declare function projectLeaderConflict(record: unknown): LeaderConflictView | undefined;
-/**
- * 一句措辞的**唯一铸点**(三端共用;壳零自拼)。
- *  · `conflict`:等人 + 基点短 sha + 冲突文件数(截断则明说)+ 哪几支进了树 / 没进 + 打捞补丁句;
- *  · `none`:只说「没有报告冲突详情」,🔴 **明说这不证明已经合并**(异源对抗复审采纳:`running` 与未进合并的 `failed` 也走这句,
- *    缺席只证明没有冲突报告,不证明执行过合并 —— 说成「已无冲突合并」会让用户以为工作已合入而不去恢复);
- *  · `unreadable`:server 报了冲突但读不出,让用户去 server 侧看。
- * 三句都带同一条打捞补丁句(有数带数 / 零则如实说没有 / 读不全则说材料存在但读不出,绝不说「没有」)。
- * 🔴 句子里不出现重试(契约:`needs_human` 在等人)。`rejHead` / `patch` 一个字节都不进句子。
- */
 export declare function leaderConflictDetail(view: LeaderConflictView): string;