botmux 3.10.0 → 3.11.0

package/dist/utils/codex-app-turn-dispatch.js

@@ -0,0 +1,141 @@
+/**
+ * Worker-owned attribution for Codex App's serial runner queue.
+ *
+ * The runner can echo a stable clientUserMessageId, but it must never choose
+ * the daemon delivery attempt.  A worker may also finish writing turn N+1
+ * before turn N's final transaction arrives, so the mutable "current turn"
+ * globals are not an attribution boundary.  Reserve one immutable entry per
+ * control-line write and settle final transactions strictly from the head.
+ */
+export class CodexAppTurnDispatchQueue {
+    queue = [];
+    nextHandle = 1;
+    reserve(turnId, dispatchAttempt, dispatchId, recovered = false, replyTurnId, codexAppSteerable) {
+        if (!turnId)
+            throw new Error('Codex App dispatch turn id must be non-empty');
+        const reservation = {
+            handle: this.nextHandle++,
+            ...(dispatchId ? { dispatchId } : {}),
+            turnId,
+            ...(replyTurnId ? { replyTurnId } : {}),
+            ...(dispatchAttempt !== undefined ? { dispatchAttempt } : {}),
+            ...(recovered ? { recovered: true } : {}),
+            ...(codexAppSteerable ? { codexAppSteerable: true } : {}),
+        };
+        this.queue.push(reservation);
+        return { ...reservation };
+    }
+    /**
+     * A replacement worker cannot recover the old in-memory queue.  It may
+     * recover exactly the daemon-frozen active identity supplied in `init`, and
+     * only while no locally submitted entry exists.  A runner marker still has
+     * to assert equality before this entry can settle.
+     */
+    recoverWarmReattach(turnId, dispatchAttempt, dispatchId, replyTurnId) {
+        if (!turnId || this.queue.length > 0)
+            return undefined;
+        return this.reserve(turnId, dispatchAttempt, dispatchId, true, replyTurnId);
+    }
+    restore(entries) {
+        if (this.queue.length > 0)
+            throw new Error('Codex App dispatch queue is already populated');
+        for (const entry of entries) {
+            this.reserve(entry.turnId, entry.dispatchAttempt, entry.dispatchId, true, entry.replyTurnId, entry.codexAppSteerable);
+        }
+    }
+    recoveredPrefix() {
+        const prefix = [];
+        for (const entry of this.queue) {
+            if (!entry.recovered)
+                break;
+            prefix.push({ ...entry });
+        }
+        return prefix;
+    }
+    /** Remove the exact write that threw or reported submitted=false. */
+    cancelExact(handle) {
+        const index = this.queue.findIndex(entry => entry.handle === handle);
+        if (index < 0)
+            return false;
+        this.queue.splice(index, 1);
+        return true;
+    }
+    markRecovered(handle) {
+        const entry = this.queue.find(candidate => candidate.handle === handle);
+        if (!entry)
+            return false;
+        entry.recovered = true;
+        return true;
+    }
+    findExact(turnId, dispatchAttempt) {
+        const entry = this.queue.find(candidate => candidate.turnId === turnId
+            && candidate.dispatchAttempt === dispatchAttempt);
+        return entry ? { ...entry } : undefined;
+    }
+    /**
+     * Validate and consume one complete final transaction.  The head remains in
+     * place on every rejection, so a stale/mismatched marker cannot steal the
+     * next turn or advance the FIFO.
+     */
+    settleFinal(payload, consume = true) {
+        const head = this.queue[0];
+        if (!head)
+            return { ok: false, reason: 'no_pending_turn' };
+        const markerTurnId = typeof payload.turnId === 'string' && payload.turnId.length > 0
+            ? payload.turnId
+            : undefined;
+        if (markerTurnId && markerTurnId !== head.turnId) {
+            return {
+                ok: false,
+                reason: 'turn_mismatch',
+                markerTurnId,
+                expectedTurnId: head.turnId,
+            };
+        }
+        // Attempt identity is worker-owned.  A runner may redundantly assert it,
+        // but an assertion of any other value (including a malformed one) is a
+        // rejection and can never select another queue entry.
+        if (payload.dispatchAttempt !== undefined
+            && payload.dispatchAttempt !== head.dispatchAttempt) {
+            return {
+                ok: false,
+                reason: 'dispatch_attempt_mismatch',
+                markerDispatchAttempt: payload.dispatchAttempt,
+                ...(head.dispatchAttempt !== undefined
+                    ? { expectedDispatchAttempt: head.dispatchAttempt }
+                    : {}),
+            };
+        }
+        const nativeTurnId = typeof payload.nativeTurnId === 'string' && payload.nativeTurnId.length > 0
+            ? payload.nativeTurnId
+            : undefined;
+        if (consume)
+            this.queue.shift();
+        return {
+            ok: true,
+            handle: head.handle,
+            ...(head.dispatchId ? { dispatchId: head.dispatchId } : {}),
+            turnId: head.turnId,
+            ...(head.replyTurnId ? { replyTurnId: head.replyTurnId } : {}),
+            ...(head.dispatchAttempt !== undefined
+                ? { dispatchAttempt: head.dispatchAttempt }
+                : {}),
+            ...(nativeTurnId ? { nativeTurnId } : {}),
+            ...(head.codexAppSteerable ? { codexAppSteerable: true } : {}),
+            remaining: this.queue.length - (consume ? 0 : 1),
+        };
+    }
+    commitExactHead(handle) {
+        if (this.queue[0]?.handle !== handle)
+            return false;
+        this.queue.shift();
+        return true;
+    }
+    size() {
+        return this.queue.length;
+    }
+    clear() {
+        this.queue.length = 0;
+    }
+}
+//# sourceMappingURL=codex-app-turn-dispatch.js.map

package/dist/utils/codex-app-turn-dispatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codex-app-turn-dispatch.js","sourceRoot":"","sources":["../../src/utils/codex-app-turn-dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAoCH,MAAM,OAAO,yBAAyB;IACnB,KAAK,GAAsC,EAAE,CAAC;IACvD,UAAU,GAAG,CAAC,CAAC;IAEvB,OAAO,CACL,MAAc,EACd,eAAwB,EACxB,UAAmB,EACnB,SAAS,GAAG,KAAK,EACjB,WAAoB,EACpB,iBAAwB;QAExB,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAC7E,MAAM,WAAW,GAAG;YAClB,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE;YACzB,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrC,MAAM;YACN,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvC,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACnE,CAAC;QACF,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7B,OAAO,EAAE,GAAG,WAAW,EAAE,CAAC;IAC5B,CAAC;IAED;;;;;OAKG;IACH,mBAAmB,CACjB,MAA0B,EAC1B,eAAwB,EACxB,UAAmB,EACnB,WAAoB;QAEpB,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QACvD,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,eAAe,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC9E,CAAC;IAED,OAAO,CAAC,OAMN;QACA,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QAC5F,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC;QACxH,CAAC;IACH,CAAC;IAED,eAAe;QACb,MAAM,MAAM,GAAsC,EAAE,CAAC;QACrD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,CAAC,SAAS;gBAAE,MAAM;YAC5B,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,qEAAqE;IACrE,WAAW,CAAC,MAAc;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QACrE,IAAI,KAAK,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,aAAa,CAAC,MAAc;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QACxE,IAAI,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QACzB,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC;QACvB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,CACP,MAAc,EACd,eAAwB;QAExB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,MAAM;eACjE,SAAS,CAAC,eAAe,KAAK,eAAe,CAAC,CAAC;QACpD,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1C,CAAC;IAED;;;;OAIG;IACH,WAAW,CAAC,OAIX,EAAE,OAAO,GAAG,IAAI;QACf,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,IAAI;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;QAE3D,MAAM,YAAY,GAAG,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAClF,CAAC,CAAC,OAAO,CAAC,MAAM;YAChB,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,YAAY,IAAI,YAAY,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACjD,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,eAAe;gBACvB,YAAY;gBACZ,cAAc,EAAE,IAAI,CAAC,MAAM;aAC5B,CAAC;QACJ,CAAC;QAED,yEAAyE;QACzE,uEAAuE;QACvE,sDAAsD;QACtD,IAAI,OAAO,CAAC,eAAe,KAAK,SAAS;eAClC,OAAO,CAAC,eAAe,KAAK,IAAI,CAAC,eAAe,EAAE,CAAC;YACxD,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,2BAA2B;gBACnC,qBAAqB,EAAE,OAAO,CAAC,eAAe;gBAC9C,GAAG,CAAC,IAAI,CAAC,eAAe,KAAK,SAAS;oBACpC,CAAC,CAAC,EAAE,uBAAuB,EAAE,IAAI,CAAC,eAAe,EAAE;oBACnD,CAAC,CAAC,EAAE,CAAC;aACR,CAAC;QACJ,CAAC;QAED,MAAM,YAAY,GAAG,OAAO,OAAO,CAAC,YAAY,KAAK,QAAQ,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;YAC9F,CAAC,CAAC,OAAO,CAAC,YAAY;YACtB,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,OAAO;YAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,OAAO;YACL,EAAE,EAAE,IAAI;YACR,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3D,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,GAAG,CAAC,IAAI,CAAC,eAAe,KAAK,SAAS;gBACpC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE;gBAC3C,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvE,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACjD,CAAC;IACJ,CAAC;IAED,eAAe,CAAC,MAAc;QAC5B,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM;YAAE,OAAO,KAAK,CAAC;QACnD,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI;QACF,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;IAC3B,CAAC;IAED,KAAK;QACH,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACxB,CAAC;CACF"}

package/dist/utils/codex-app-turn-liveness.d.ts

@@ -0,0 +1,125 @@
+import type { BackendType } from '../adapters/backend/types.js';
+/**
+ * Codex App turn liveness, driven by the app-server runner's explicit turn
+ * activity markers.  This deliberately reports "no observable progress"
+ * rather than failure: a long-running tool may recover and emit activity
+ * later, at which point the stalled projection clears without replaying work.
+ */
+export declare const CODEX_APP_NO_PROGRESS_TIMEOUT_MS = 90000;
+/**
+ * Decide whether an existing persistent pane needs a synthetic observation.
+ * This deliberately does not depend on pipe mode: Zellij reattaches through
+ * its own PTY (`isPipeMode=false`) but preserves the same running CLI.
+ */
+export declare function shouldBeginCodexAppReattachObservation(input: {
+    cliId?: string;
+    backendType: BackendType;
+    isReattach: boolean;
+}): boolean;
+export interface CodexAppLivenessPoll {
+    active: boolean;
+    stalled: boolean;
+    /** True only on the working -> stalled edge. */
+    newlyStalled: boolean;
+    /** True at most once for one submitted turn, even if it later recovers. */
+    shouldNotify: boolean;
+    turnId?: string;
+}
+export interface CodexAppActivityApplyResult {
+    accepted: boolean;
+    phase?: 'submitted' | 'progress' | 'completed';
+    /** A previously rejected inter-turn prompt became authoritative. */
+    shouldReplayPrompt?: boolean;
+}
+export interface CodexAppStateApplyResult {
+    accepted: boolean;
+    busy?: boolean;
+    tracksTurn?: boolean;
+    /** Signed idle arrived after the tracker's explicit queue drained. */
+    shouldPublishReady?: boolean;
+    atMs?: number;
+}
+/**
+ * Signed runner state is the Codex App ready authority. Terminal prompt bytes
+ * remain useful as a recovery hint, but PTY/tmux/Herdr/Zellij delivery can be
+ * delayed or lost and must never publish idle ahead of the signed final queue.
+ */
+export declare class CodexAppReadyAuthority {
+    private signedIdle;
+    private latePromptRecoveryArmed;
+    reset(): void;
+    beginWork(): void;
+    /** Returns true only for an authenticated runner's idle boundary. */
+    noteSignedState(busy: boolean): boolean;
+    canPublishPromptReady(): boolean;
+    /** Arm only after the worker cancels the exact local submit slot. */
+    armLatePromptRecovery(): void;
+    /**
+     * Consume one late terminal prompt after the cancelled slot left no tracked
+     * work. New work, authenticated activity/state, or reset clears the arm.
+     */
+    consumeLatePromptRecovery(trackerEmpty: boolean): boolean;
+}
+/** Apply a state payload from an already authenticated runner connection. */
+export declare function applyTrustedCodexAppStateMarker(tracker: CodexAppTurnLiveness, authority: CodexAppReadyAuthority, payload: unknown, receivedAtMs?: number): CodexAppStateApplyResult;
+export declare class CodexAppTurnLiveness {
+    private readonly timeoutMs;
+    private readonly turns;
+    private nextHandle;
+    private promptDeferred;
+    constructor(timeoutMs?: number);
+    /**
+     * Queue one Botmux input immediately before its control line is submitted.
+     * Codex App's runner is serial, so only the head turn owns activity/stall
+     * state; queued turns get a fresh clock when the head completes.
+     */
+    begin(turnId?: string, nowMs?: number): number;
+    /** Observe an authenticated runner whose in-memory turn state survived reattach. */
+    beginReattachObservation(nowMs?: number): number | undefined;
+    /** Drop only the synthetic reconnect slot when signed state identifies work
+     * as a native Goal continuation rather than a Botmux-owned turn. */
+    discardReattachObservation(): void;
+    /**
+     * Record runner/app-server activity. Activity after a stall makes the turn
+     * working again, but the same turn will not notify the user a second time.
+     */
+    noteActivity(nowMs?: number): void;
+    /**
+     * A signed submitted record can be the first event after worker reattach.
+     * Recover an explicit slot when no local flush state survived the restart.
+     */
+    noteSubmitted(nowMs?: number): void;
+    /** Complete only the runner's current turn and activate the next queued one. */
+    completeCurrent(nowMs?: number): boolean;
+    /** Remove the exact control-line submission that failed, preserving peers. */
+    cancelExact(handle: number, nowMs?: number): {
+        cancelled: boolean;
+        shouldReplayPrompt: boolean;
+    };
+    /** Backwards-compatible shorthand for callers that only need replay state. */
+    cancel(handle: number, nowMs?: number): boolean;
+    /**
+     * A prompt is authoritative only for the synthetic reattach observation.
+     * Returns whether no explicit/queued turn remains, so the worker can reject
+     * a transient inter-turn prompt instead of publishing prompt_ready / idle.
+     */
+    notePrompt(nowMs?: number): boolean;
+    hasActiveTurn(): boolean;
+    /** Drop every queued turn on CLI exit, kill, or worker reinitialization. */
+    clear(): void;
+    poll(nowMs?: number): CodexAppLivenessPoll;
+    private consumeDeferredPrompt;
+}
+/**
+ * One flush may cancel a queued liveness slot because writeInput throws or
+ * it returns submitted=false. Preserve the deferred real prompt across that
+ * async boundary, but replay it only after every peer slot has drained.
+ */
+export declare class CodexAppFlushPromptReplay {
+    private replayRequested;
+    cancelSubmission(tracker: CodexAppTurnLiveness, authority: CodexAppReadyAuthority, handle: number | undefined, nowMs?: number): void;
+    consumeAfterFlush(tracker: CodexAppTurnLiveness): boolean;
+}
+/** Apply an activity payload whose signed socket connection was authenticated. */
+export declare function applyTrustedCodexAppActivityMarker(tracker: CodexAppTurnLiveness, payload: unknown, receivedAtMs?: number): CodexAppActivityApplyResult;
+//# sourceMappingURL=codex-app-turn-liveness.d.ts.map

package/dist/utils/codex-app-turn-liveness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codex-app-turn-liveness.d.ts","sourceRoot":"","sources":["../../src/utils/codex-app-turn-liveness.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAEhE;;;;;GAKG;AAEH,eAAO,MAAM,gCAAgC,QAAS,CAAC;AAIvD;;;;GAIG;AACH,wBAAgB,sCAAsC,CAAC,KAAK,EAAE;IAC5D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,WAAW,CAAC;IACzB,UAAU,EAAE,OAAO,CAAC;CACrB,GAAG,OAAO,CAIV;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,OAAO,CAAC;IACjB,gDAAgD;IAChD,YAAY,EAAE,OAAO,CAAC;IACtB,2EAA2E;IAC3E,YAAY,EAAE,OAAO,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,EAAE,OAAO,CAAC;IAClB,KAAK,CAAC,EAAE,WAAW,GAAG,UAAU,GAAG,WAAW,CAAC;IAC/C,oEAAoE;IACpE,kBAAkB,CAAC,EAAE,OAAO,CAAC;CAC9B;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,EAAE,OAAO,CAAC;IAClB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,sEAAsE;IACtE,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;;;GAIG;AACH,qBAAa,sBAAsB;IACjC,OAAO,CAAC,UAAU,CAAS;IAC3B,OAAO,CAAC,uBAAuB,CAAS;IAExC,KAAK,IAAI,IAAI;IAKb,SAAS,IAAI,IAAI;IAKjB,qEAAqE;IACrE,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO;IAMvC,qBAAqB,IAAI,OAAO;IAIhC,qEAAqE;IACrE,qBAAqB,IAAI,IAAI;IAK7B;;;OAGG;IACH,yBAAyB,CAAC,YAAY,EAAE,OAAO,GAAG,OAAO;CAK1D;AAED,6EAA6E;AAC7E,wBAAgB,+BAA+B,CAC7C,OAAO,EAAE,oBAAoB,EAC7B,SAAS,EAAE,sBAAsB,EACjC,OAAO,EAAE,OAAO,EAChB,YAAY,SAAa,GACxB,wBAAwB,CAwB1B;AAWD,qBAAa,oBAAoB;IAKnB,OAAO,CAAC,QAAQ,CAAC,SAAS;IAJtC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAoB;IAC1C,OAAO,CAAC,UAAU,CAAK;IACvB,OAAO,CAAC,cAAc,CAAS;gBAEF,SAAS,SAAmC;IAMzE;;;;OAIG;IACH,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,SAAa,GAAG,MAAM;IAelD,oFAAoF;IACpF,wBAAwB,CAAC,KAAK,SAAa,GAAG,MAAM,GAAG,SAAS;IAahE;wEACoE;IACpE,0BAA0B,IAAI,IAAI;IAMlC;;;OAGG;IACH,YAAY,CAAC,KAAK,SAAa,GAAG,IAAI;IAYtC;;;OAGG;IACH,aAAa,CAAC,KAAK,SAAa,GAAG,IAAI;IAMvC,gFAAgF;IAChF,eAAe,CAAC,KAAK,SAAa,GAAG,OAAO;IAY5C,8EAA8E;IAC9E,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,SAAa,GAAG;QAC/C,SAAS,EAAE,OAAO,CAAC;QACnB,kBAAkB,EAAE,OAAO,CAAC;KAC7B;IAYD,8EAA8E;IAC9E,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,SAAa,GAAG,OAAO;IAInD;;;;OAIG;IACH,UAAU,CAAC,KAAK,SAAa,GAAG,OAAO;IAUvC,aAAa,IAAI,OAAO;IAIxB,4EAA4E;IAC5E,KAAK,IAAI,IAAI;IAKb,IAAI,CAAC,KAAK,SAAa,GAAG,oBAAoB;IAoB9C,OAAO,CAAC,qBAAqB;CAK9B;AAED;;;;GAIG;AACH,qBAAa,yBAAyB;IACpC,OAAO,CAAC,eAAe,CAAS;IAEhC,gBAAgB,CACd,OAAO,EAAE,oBAAoB,EAC7B,SAAS,EAAE,sBAAsB,EACjC,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,KAAK,SAAa,GACjB,IAAI;IAQP,iBAAiB,CAAC,OAAO,EAAE,oBAAoB,GAAG,OAAO;CAK1D;AAED,kFAAkF;AAClF,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,oBAAoB,EAC7B,OAAO,EAAE,OAAO,EAChB,YAAY,SAAa,GACxB,2BAA2B,CAuB7B"}

package/dist/utils/codex-app-turn-liveness.js

@@ -0,0 +1,301 @@
+/**
+ * Codex App turn liveness, driven by the app-server runner's explicit turn
+ * activity markers.  This deliberately reports "no observable progress"
+ * rather than failure: a long-running tool may recover and emit activity
+ * later, at which point the stalled projection clears without replaying work.
+ */
+export const CODEX_APP_NO_PROGRESS_TIMEOUT_MS = 90_000;
+const PERSISTENT_BACKEND_TYPES = new Set(['tmux', 'herdr', 'zellij']);
+/**
+ * Decide whether an existing persistent pane needs a synthetic observation.
+ * This deliberately does not depend on pipe mode: Zellij reattaches through
+ * its own PTY (`isPipeMode=false`) but preserves the same running CLI.
+ */
+export function shouldBeginCodexAppReattachObservation(input) {
+    return input.cliId === 'codex-app'
+        && input.isReattach
+        && PERSISTENT_BACKEND_TYPES.has(input.backendType);
+}
+/**
+ * Signed runner state is the Codex App ready authority. Terminal prompt bytes
+ * remain useful as a recovery hint, but PTY/tmux/Herdr/Zellij delivery can be
+ * delayed or lost and must never publish idle ahead of the signed final queue.
+ */
+export class CodexAppReadyAuthority {
+    signedIdle = false;
+    latePromptRecoveryArmed = false;
+    reset() {
+        this.signedIdle = false;
+        this.latePromptRecoveryArmed = false;
+    }
+    beginWork() {
+        this.signedIdle = false;
+        this.latePromptRecoveryArmed = false;
+    }
+    /** Returns true only for an authenticated runner's idle boundary. */
+    noteSignedState(busy) {
+        this.latePromptRecoveryArmed = false;
+        this.signedIdle = !busy;
+        return this.signedIdle;
+    }
+    canPublishPromptReady() {
+        return this.signedIdle;
+    }
+    /** Arm only after the worker cancels the exact local submit slot. */
+    armLatePromptRecovery() {
+        this.signedIdle = false;
+        this.latePromptRecoveryArmed = true;
+    }
+    /**
+     * Consume one late terminal prompt after the cancelled slot left no tracked
+     * work. New work, authenticated activity/state, or reset clears the arm.
+     */
+    consumeLatePromptRecovery(trackerEmpty) {
+        if (!trackerEmpty || !this.latePromptRecoveryArmed)
+            return false;
+        this.latePromptRecoveryArmed = false;
+        return true;
+    }
+}
+/** Apply a state payload from an already authenticated runner connection. */
+export function applyTrustedCodexAppStateMarker(tracker, authority, payload, receivedAtMs = Date.now()) {
+    if (!payload || typeof payload !== 'object')
+        return { accepted: false };
+    const marker = payload;
+    if (typeof marker.busy !== 'boolean')
+        return { accepted: false };
+    const runnerAtMs = typeof marker.atMs === 'number' && Number.isFinite(marker.atMs)
+        ? Math.min(marker.atMs, receivedAtMs)
+        : receivedAtMs;
+    if (marker.busy) {
+        authority.noteSignedState(true);
+        // Goal auto-continuations are native work but do not own a Botmux dispatch
+        // slot. Tracking them as a synthetic user turn would leave an extra slot
+        // after a later Lark message steers the same native turn and completes.
+        const tracksTurn = marker.tracksTurn !== false;
+        if (tracksTurn)
+            tracker.noteSubmitted(runnerAtMs);
+        else
+            tracker.discardReattachObservation();
+        return { accepted: true, busy: true, tracksTurn, shouldPublishReady: false, atMs: runnerAtMs };
+    }
+    authority.noteSignedState(false);
+    return {
+        accepted: true,
+        busy: false,
+        shouldPublishReady: tracker.notePrompt(runnerAtMs),
+        atMs: runnerAtMs,
+    };
+}
+export class CodexAppTurnLiveness {
+    timeoutMs;
+    turns = [];
+    nextHandle = 1;
+    promptDeferred = false;
+    constructor(timeoutMs = CODEX_APP_NO_PROGRESS_TIMEOUT_MS) {
+        this.timeoutMs = timeoutMs;
+        if (!Number.isFinite(timeoutMs) || timeoutMs <= 0) {
+            throw new Error('Codex App liveness timeout must be a positive finite number');
+        }
+    }
+    /**
+     * Queue one Botmux input immediately before its control line is submitted.
+     * Codex App's runner is serial, so only the head turn owns activity/stall
+     * state; queued turns get a fresh clock when the head completes.
+     */
+    begin(turnId, nowMs = Date.now()) {
+        // A prompt deferred for an earlier queue has no authority over a new queue.
+        if (this.turns.length === 0)
+            this.promptDeferred = false;
+        const handle = this.nextHandle++;
+        this.turns.push({
+            handle,
+            turnId,
+            lastActivityAtMs: nowMs,
+            stalled: false,
+            notified: false,
+            reattachObservation: false,
+        });
+        return handle;
+    }
+    /** Observe an authenticated runner whose in-memory turn state survived reattach. */
+    beginReattachObservation(nowMs = Date.now()) {
+        if (this.turns.length > 0)
+            return undefined;
+        const handle = this.nextHandle++;
+        this.turns.push({
+            handle,
+            lastActivityAtMs: nowMs,
+            stalled: false,
+            notified: false,
+            reattachObservation: true,
+        });
+        return handle;
+    }
+    /** Drop only the synthetic reconnect slot when signed state identifies work
+     * as a native Goal continuation rather than a Botmux-owned turn. */
+    discardReattachObservation() {
+        if (!this.turns[0]?.reattachObservation)
+            return;
+        this.turns.shift();
+        this.promptDeferred = false;
+    }
+    /**
+     * Record runner/app-server activity. Activity after a stall makes the turn
+     * working again, but the same turn will not notify the user a second time.
+     */
+    noteActivity(nowMs = Date.now()) {
+        const active = this.turns[0];
+        if (!active)
+            return;
+        // Real work for the head turn supersedes a prompt rendered in the narrow
+        // inter-turn gap before its chunked control line finished arriving.
+        this.promptDeferred = false;
+        // Signed socket records can be buffered behind other process work. Never
+        // let an older runner timestamp move the worker's clock backwards.
+        active.lastActivityAtMs = Math.max(active.lastActivityAtMs, nowMs);
+        active.stalled = false;
+    }
+    /**
+     * A signed submitted record can be the first event after worker reattach.
+     * Recover an explicit slot when no local flush state survived the restart.
+     */
+    noteSubmitted(nowMs = Date.now()) {
+        if (this.turns.length === 0)
+            this.begin(undefined, nowMs);
+        else if (this.turns[0].reattachObservation)
+            this.turns[0].reattachObservation = false;
+        this.noteActivity(nowMs);
+    }
+    /** Complete only the runner's current turn and activate the next queued one. */
+    completeCurrent(nowMs = Date.now()) {
+        if (this.turns.length === 0)
+            return false;
+        this.turns.shift();
+        const next = this.turns[0];
+        if (!next)
+            return this.consumeDeferredPrompt();
+        // Time spent waiting behind the previous turn is not lack of progress for
+        // this turn. Its own timeout begins when it becomes runner-current.
+        next.lastActivityAtMs = Math.max(next.lastActivityAtMs, nowMs);
+        next.stalled = false;
+        return false;
+    }
+    /** Remove the exact control-line submission that failed, preserving peers. */
+    cancelExact(handle, nowMs = Date.now()) {
+        const index = this.turns.findIndex(turn => turn.handle === handle);
+        if (index < 0)
+            return { cancelled: false, shouldReplayPrompt: false };
+        const wasCurrent = index === 0;
+        this.turns.splice(index, 1);
+        if (wasCurrent && this.turns[0]) {
+            this.turns[0].lastActivityAtMs = Math.max(this.turns[0].lastActivityAtMs, nowMs);
+            this.turns[0].stalled = false;
+        }
+        return { cancelled: true, shouldReplayPrompt: this.consumeDeferredPrompt() };
+    }
+    /** Backwards-compatible shorthand for callers that only need replay state. */
+    cancel(handle, nowMs = Date.now()) {
+        return this.cancelExact(handle, nowMs).shouldReplayPrompt;
+    }
+    /**
+     * A prompt is authoritative only for the synthetic reattach observation.
+     * Returns whether no explicit/queued turn remains, so the worker can reject
+     * a transient inter-turn prompt instead of publishing prompt_ready / idle.
+     */
+    notePrompt(nowMs = Date.now()) {
+        if (this.turns[0]?.reattachObservation)
+            this.completeCurrent(nowMs);
+        if (this.turns.length === 0) {
+            this.promptDeferred = false;
+            return true;
+        }
+        this.promptDeferred = true;
+        return false;
+    }
+    hasActiveTurn() {
+        return this.turns.length > 0;
+    }
+    /** Drop every queued turn on CLI exit, kill, or worker reinitialization. */
+    clear() {
+        this.turns.length = 0;
+        this.promptDeferred = false;
+    }
+    poll(nowMs = Date.now()) {
+        const active = this.turns[0];
+        if (!active)
+            return { active: false, stalled: false, newlyStalled: false, shouldNotify: false };
+        const timedOut = nowMs - active.lastActivityAtMs >= this.timeoutMs;
+        const newlyStalled = timedOut && !active.stalled;
+        if (newlyStalled)
+            active.stalled = true;
+        const shouldNotify = newlyStalled && !active.notified;
+        if (shouldNotify)
+            active.notified = true;
+        return {
+            active: true,
+            stalled: active.stalled,
+            newlyStalled,
+            shouldNotify,
+            turnId: active.turnId,
+        };
+    }
+    consumeDeferredPrompt() {
+        if (this.turns.length > 0 || !this.promptDeferred)
+            return false;
+        this.promptDeferred = false;
+        return true;
+    }
+}
+/**
+ * One flush may cancel a queued liveness slot because writeInput throws or
+ * it returns submitted=false. Preserve the deferred real prompt across that
+ * async boundary, but replay it only after every peer slot has drained.
+ */
+export class CodexAppFlushPromptReplay {
+    replayRequested = false;
+    cancelSubmission(tracker, authority, handle, nowMs = Date.now()) {
+        if (handle === undefined)
+            return;
+        const cancelled = tracker.cancelExact(handle, nowMs);
+        if (!cancelled.cancelled)
+            return;
+        authority.armLatePromptRecovery();
+        if (cancelled.shouldReplayPrompt)
+            this.replayRequested = true;
+    }
+    consumeAfterFlush(tracker) {
+        const shouldReplay = this.replayRequested && !tracker.hasActiveTurn();
+        this.replayRequested = false;
+        return shouldReplay;
+    }
+}
+/** Apply an activity payload whose signed socket connection was authenticated. */
+export function applyTrustedCodexAppActivityMarker(tracker, payload, receivedAtMs = Date.now()) {
+    if (!payload || typeof payload !== 'object')
+        return { accepted: false };
+    const marker = payload;
+    const phase = marker.phase;
+    if (phase !== 'submitted' && phase !== 'progress' && phase !== 'completed') {
+        return { accepted: false };
+    }
+    const runnerAtMs = typeof marker.atMs === 'number' && Number.isFinite(marker.atMs)
+        ? marker.atMs
+        : receivedAtMs;
+    // Runner and worker share one host clock. A marker may arrive late, but it
+    // may never push the activity clock into the future and suppress stalls.
+    const atMs = Math.min(runnerAtMs, receivedAtMs);
+    if (phase === 'completed') {
+        return {
+            accepted: true,
+            phase,
+            shouldReplayPrompt: tracker.completeCurrent(atMs),
+        };
+    }
+    if (phase === 'submitted')
+        tracker.noteSubmitted(atMs);
+    else
+        tracker.noteActivity(atMs);
+    return { accepted: true, phase };
+}
+//# sourceMappingURL=codex-app-turn-liveness.js.map

package/dist/utils/codex-app-turn-liveness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codex-app-turn-liveness.js","sourceRoot":"","sources":["../../src/utils/codex-app-turn-liveness.ts"],"names":[],"mappings":"AAEA;;;;;GAKG;AAEH,MAAM,CAAC,MAAM,gCAAgC,GAAG,MAAM,CAAC;AAEvD,MAAM,wBAAwB,GAA6B,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEhG;;;;GAIG;AACH,MAAM,UAAU,sCAAsC,CAAC,KAItD;IACC,OAAO,KAAK,CAAC,KAAK,KAAK,WAAW;WAC7B,KAAK,CAAC,UAAU;WAChB,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;AACvD,CAAC;AA4BD;;;;GAIG;AACH,MAAM,OAAO,sBAAsB;IACzB,UAAU,GAAG,KAAK,CAAC;IACnB,uBAAuB,GAAG,KAAK,CAAC;IAExC,KAAK;QACH,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC;QACxB,IAAI,CAAC,uBAAuB,GAAG,KAAK,CAAC;IACvC,CAAC;IAED,SAAS;QACP,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC;QACxB,IAAI,CAAC,uBAAuB,GAAG,KAAK,CAAC;IACvC,CAAC;IAED,qEAAqE;IACrE,eAAe,CAAC,IAAa;QAC3B,IAAI,CAAC,uBAAuB,GAAG,KAAK,CAAC;QACrC,IAAI,CAAC,UAAU,GAAG,CAAC,IAAI,CAAC;QACxB,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,qBAAqB;QACnB,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,qEAAqE;IACrE,qBAAqB;QACnB,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC;QACxB,IAAI,CAAC,uBAAuB,GAAG,IAAI,CAAC;IACtC,CAAC;IAED;;;OAGG;IACH,yBAAyB,CAAC,YAAqB;QAC7C,IAAI,CAAC,YAAY,IAAI,CAAC,IAAI,CAAC,uBAAuB;YAAE,OAAO,KAAK,CAAC;QACjE,IAAI,CAAC,uBAAuB,GAAG,KAAK,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED,6EAA6E;AAC7E,MAAM,UAAU,+BAA+B,CAC7C,OAA6B,EAC7B,SAAiC,EACjC,OAAgB,EAChB,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE;IAEzB,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACxE,MAAM,MAAM,GAAG,OAAkC,CAAC;IAClD,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACjE,MAAM,UAAU,GAAG,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;QAChF,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC;QACrC,CAAC,CAAC,YAAY,CAAC;IACjB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAChC,2EAA2E;QAC3E,yEAAyE;QACzE,wEAAwE;QACxE,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,KAAK,KAAK,CAAC;QAC/C,IAAI,UAAU;YAAE,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;;YAC7C,OAAO,CAAC,0BAA0B,EAAE,CAAC;QAC1C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,kBAAkB,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IACjG,CAAC;IACD,SAAS,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IACjC,OAAO;QACL,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,KAAK;QACX,kBAAkB,EAAE,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC;QAClD,IAAI,EAAE,UAAU;KACjB,CAAC;AACJ,CAAC;AAWD,MAAM,OAAO,oBAAoB;IAKF;IAJZ,KAAK,GAAiB,EAAE,CAAC;IAClC,UAAU,GAAG,CAAC,CAAC;IACf,cAAc,GAAG,KAAK,CAAC;IAE/B,YAA6B,YAAY,gCAAgC;QAA5C,cAAS,GAAT,SAAS,CAAmC;QACvE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,MAAe,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE;QACvC,4EAA4E;QAC5E,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,IAAI,CAAC,cAAc,GAAG,KAAK,CAAC;QACzD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YACd,MAAM;YACN,MAAM;YACN,gBAAgB,EAAE,KAAK;YACvB,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,KAAK;YACf,mBAAmB,EAAE,KAAK;SAC3B,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,oFAAoF;IACpF,wBAAwB,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE;QACzC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YACd,MAAM;YACN,gBAAgB,EAAE,KAAK;YACvB,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,KAAK;YACf,mBAAmB,EAAE,IAAI;SAC1B,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;wEACoE;IACpE,0BAA0B;QACxB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,mBAAmB;YAAE,OAAO;QAChD,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,cAAc,GAAG,KAAK,CAAC;IAC9B,CAAC;IAED;;;OAGG;IACH,YAAY,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,yEAAyE;QACzE,oEAAoE;QACpE,IAAI,CAAC,cAAc,GAAG,KAAK,CAAC;QAC5B,yEAAyE;QACzE,mEAAmE;QACnE,MAAM,CAAC,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;QACnE,MAAM,CAAC,OAAO,GAAG,KAAK,CAAC;IACzB,CAAC;IAED;;;OAGG;IACH,aAAa,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE;QAC9B,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;aACrD,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,mBAAmB;YAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,mBAAmB,GAAG,KAAK,CAAC;QACtF,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IAED,gFAAgF;IAChF,eAAe,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE;QAChC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1C,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC/C,0EAA0E;QAC1E,oEAAoE;QACpE,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;QAC/D,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;QACrB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,8EAA8E;IAC9E,WAAW,CAAC,MAAc,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE;QAI5C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QACnE,IAAI,KAAK,GAAG,CAAC;YAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;QACtE,MAAM,UAAU,GAAG,KAAK,KAAK,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC5B,IAAI,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;YACjF,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,KAAK,CAAC;QAChC,CAAC;QACD,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,CAAC,qBAAqB,EAAE,EAAE,CAAC;IAC/E,CAAC;IAED,8EAA8E;IAC9E,MAAM,CAAC,MAAc,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE;QACvC,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,kBAAkB,CAAC;IAC5D,CAAC;IAED;;;;OAIG;IACH,UAAU,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE;QAC3B,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,mBAAmB;YAAE,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QACpE,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,cAAc,GAAG,KAAK,CAAC;YAC5B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,aAAa;QACX,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED,4EAA4E;IAC5E,KAAK;QACH,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACtB,IAAI,CAAC,cAAc,GAAG,KAAK,CAAC;IAC9B,CAAC;IAED,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE;QACrB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,MAAM;YAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;QAEhG,MAAM,QAAQ,GAAG,KAAK,GAAG,MAAM,CAAC,gBAAgB,IAAI,IAAI,CAAC,SAAS,CAAC;QACnE,MAAM,YAAY,GAAG,QAAQ,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;QACjD,IAAI,YAAY;YAAE,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC;QAExC,MAAM,YAAY,GAAG,YAAY,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;QACtD,IAAI,YAAY;YAAE,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC;QAEzC,OAAO;YACL,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,YAAY;YACZ,YAAY;YACZ,MAAM,EAAE,MAAM,CAAC,MAAM;SACtB,CAAC;IACJ,CAAC;IAEO,qBAAqB;QAC3B,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc;YAAE,OAAO,KAAK,CAAC;QAChE,IAAI,CAAC,cAAc,GAAG,KAAK,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,yBAAyB;IAC5B,eAAe,GAAG,KAAK,CAAC;IAEhC,gBAAgB,CACd,OAA6B,EAC7B,SAAiC,EACjC,MAA0B,EAC1B,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE;QAElB,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO;QACjC,MAAM,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,CAAC,SAAS;YAAE,OAAO;QACjC,SAAS,CAAC,qBAAqB,EAAE,CAAC;QAClC,IAAI,SAAS,CAAC,kBAAkB;YAAE,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC;IAChE,CAAC;IAED,iBAAiB,CAAC,OAA6B;QAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC;QACtE,IAAI,CAAC,eAAe,GAAG,KAAK,CAAC;QAC7B,OAAO,YAAY,CAAC;IACtB,CAAC;CACF;AAED,kFAAkF;AAClF,MAAM,UAAU,kCAAkC,CAChD,OAA6B,EAC7B,OAAgB,EAChB,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE;IAEzB,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACxE,MAAM,MAAM,GAAG,OAAkC,CAAC;IAClD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IAC3B,IAAI,KAAK,KAAK,WAAW,IAAI,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QAC3E,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC7B,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;QAChF,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,YAAY,CAAC;IACjB,2EAA2E;IAC3E,yEAAyE;IACzE,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAChD,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QAC1B,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,KAAK;YACL,kBAAkB,EAAE,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC;SAClD,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,KAAK,WAAW;QAAE,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;;QAClD,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACnC,CAAC"}

package/dist/utils/idle-detector.d.ts

@@ -15,6 +15,18 @@ export declare class IdleDetector {
     constructor(cli: CliAdapter);
     onIdle(cb: (source: IdleEvidenceSource) => void): void;
     onBusy(cb: () => void): void;
+    /**
+     * Seed readyPattern evidence for a prompt that IS on screen but was rendered
+     * before resetReadyEvidence() cleared the flag. A new session (SessionStart
+     * source=startup) never redraws after that boundary, so Strategy 2's
+     * `!readySeen` early return would suppress quiescence detection forever.
+     *
+     * The caller must first confirm the PTY is quiet AND the current rendered
+     * screen matches readyPattern. This only restores readySeen — a full
+     * quiescence check (spinner guard included) still runs on top of it, so no
+     * existing check is bypassed.
+     */
+    seedReadyEvidence(): boolean;
     feed(data: string): void;
     reset(): void;
     /**

package/dist/utils/idle-detector.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"idle-detector.d.ts","sourceRoot":"","sources":["../../src/utils/idle-detector.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAE3D,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,UAAU,CAAC;AAYvD,qBAAa,YAAY;IACvB,OAAO,CAAC,UAAU,CAAM;IACxB,OAAO,CAAC,aAAa,CAAK;IAC1B,OAAO,CAAC,eAAe,CAA8C;IACrE,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,YAAY,CAAuD;IAC3E,OAAO,CAAC,YAAY,CAA6B;IACjD,OAAO,CAAC,iBAAiB,CAAqB;IAC9C,OAAO,CAAC,iBAAiB,CAAqB;IAC9C,OAAO,CAAC,mBAAmB,CAAS;IACpC,OAAO,CAAC,YAAY,CAAqB;IACzC,OAAO,CAAC,SAAS,CAAS;gBAEd,GAAG,EAAE,UAAU;IAM3B,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,kBAAkB,KAAK,IAAI,GAAG,IAAI;IAItD,MAAM,CAAC,EAAE,EAAE,MAAM,IAAI,GAAG,IAAI;IAI5B,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAqExB,KAAK,IAAI,IAAI;IASb;;;;;OAKG;IACH,kBAAkB,IAAI,IAAI;IAS1B;;;;4EAIwE;IACxE,QAAQ,IAAI,IAAI;IAKhB,OAAO,IAAI,IAAI;IAOf,OAAO,CAAC,eAAe;IAcvB,OAAO,CAAC,QAAQ;IAUhB,OAAO,CAAC,UAAU;IAOlB,OAAO,CAAC,SAAS;CAKlB"}
+{"version":3,"file":"idle-detector.d.ts","sourceRoot":"","sources":["../../src/utils/idle-detector.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAE3D,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,UAAU,CAAC;AAYvD,qBAAa,YAAY;IACvB,OAAO,CAAC,UAAU,CAAM;IACxB,OAAO,CAAC,aAAa,CAAK;IAC1B,OAAO,CAAC,eAAe,CAA8C;IACrE,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,YAAY,CAAuD;IAC3E,OAAO,CAAC,YAAY,CAA6B;IACjD,OAAO,CAAC,iBAAiB,CAAqB;IAC9C,OAAO,CAAC,iBAAiB,CAAqB;IAC9C,OAAO,CAAC,mBAAmB,CAAS;IACpC,OAAO,CAAC,YAAY,CAAqB;IACzC,OAAO,CAAC,SAAS,CAAS;gBAEd,GAAG,EAAE,UAAU;IAM3B,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,kBAAkB,KAAK,IAAI,GAAG,IAAI;IAItD,MAAM,CAAC,EAAE,EAAE,MAAM,IAAI,GAAG,IAAI;IAI5B;;;;;;;;;;OAUG;IACH,iBAAiB,IAAI,OAAO;IAQ5B,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAqExB,KAAK,IAAI,IAAI;IASb;;;;;OAKG;IACH,kBAAkB,IAAI,IAAI;IAS1B;;;;4EAIwE;IACxE,QAAQ,IAAI,IAAI;IAKhB,OAAO,IAAI,IAAI;IAOf,OAAO,CAAC,eAAe;IAcvB,OAAO,CAAC,QAAQ;IAUhB,OAAO,CAAC,UAAU;IAOlB,OAAO,CAAC,SAAS;CAKlB"}

package/dist/utils/idle-detector.js

@@ -29,6 +29,25 @@ export class IdleDetector {
     onBusy(cb) {
         this.busyCallback = cb;
     }
+    /**
+     * Seed readyPattern evidence for a prompt that IS on screen but was rendered
+     * before resetReadyEvidence() cleared the flag. A new session (SessionStart
+     * source=startup) never redraws after that boundary, so Strategy 2's
+     * `!readySeen` early return would suppress quiescence detection forever.
+     *
+     * The caller must first confirm the PTY is quiet AND the current rendered
+     * screen matches readyPattern. This only restores readySeen — a full
+     * quiescence check (spinner guard included) still runs on top of it, so no
+     * existing check is bypassed.
+     */
+    seedReadyEvidence() {
+        if (this.isIdle || this.readySeen)
+            return false;
+        this.readySeen = true;
+        this.clearTimer();
+        this.quiescenceCheck();
+        return true;
+    }
     feed(data) {
         // A botmux-owned submit calls reset() before writing input, but adopted
         // panes can also receive local terminal input while we are already idle.