@scotthuang/agent-knock-knock 0.12.11 → 0.12.13

package/dist/src/native-thread-lifecycle-recovery-adapter.js

@@ -0,0 +1,154 @@
+import { withCodexCompanionFences } from "./terminal-authority-policy.js";
+import { isExactClaudeIdleComposer } from "./terminal-agent-bridge.js";
+export function lifecycleRecoveryTerminalFacts(terminal) {
+    return {
+        conversationId: terminal.conversationId,
+        agent: terminal.agent,
+        pid: terminal.pid,
+        terminalControl: terminal.terminalControl
+    };
+}
+export function codexComposerVisible(screen) {
+    return String(screen ?? "")
+        .split(/\r?\n/u)
+        .slice(-8)
+        .some((line) => /^[›»](?:\s|$)/u.test(line.trimEnd()));
+}
+export function codexComposerEmpty(screen) {
+    const composers = String(screen ?? "")
+        .split(/\r?\n/u)
+        .slice(-8)
+        .filter((line) => /^[›»](?:\s|$)/u.test(line.trimEnd()));
+    return composers.length === 1 && /^[›»]\s*$/u.test(composers[0].trimEnd());
+}
+export function claudeComposerVisible(screen) {
+    const lines = String(screen ?? "").split(/\r?\n/u);
+    while (lines.length > 0 && lines.at(-1)?.trim() === "") {
+        lines.pop();
+    }
+    return lines
+        .slice(-8)
+        .some((line) => /^\s*❯(?:\s|$)/u.test(line));
+}
+export function claudeComposerEmpty(screen) {
+    return isExactClaudeIdleComposer(String(screen ?? ""));
+}
+export function lifecycleRecoveryStatusFacts(agent, status) {
+    const screen = status.screen.excerpt;
+    return {
+        reachable: status.reachable,
+        activityState: status.activity_state,
+        approvalBlocked: status.approval_state.blocked,
+        composerVisible: agent === "codex"
+            ? codexComposerVisible(screen)
+            : claudeComposerVisible(screen),
+        composerEmpty: agent === "codex"
+            ? codexComposerEmpty(screen)
+            : claudeComposerEmpty(screen),
+        screenDigest: status.screen.digest
+    };
+}
+export function lifecycleRecoveryRuntime(base, context) {
+    return context.kind === "physical"
+        ? base
+        : withCodexCompanionFences({
+            ...base,
+            nativeProcessUuid: context.processUuid,
+            nativeProcessBirth: context.processBirth,
+            expectedNativeSessionId: context.expectedSessionId
+        }, context.companions);
+}
+export async function observeClaudeLifecycleRecovery(input) {
+    const rows = input.loadRows();
+    const observation = input.observe({
+        operation: input.operation,
+        phase: "before",
+        pid: input.pid,
+        processStartedAt: input.processStartedAt,
+        cwd: input.cwd,
+        agentRows: rows
+    });
+    return { kind: "claude_agents", observation };
+}
+export async function observeCodexLifecycleRecovery(input) {
+    const raw = await input.status();
+    const status = lifecycleRecoveryStatusFacts("codex", raw);
+    const fresh = status.reachable &&
+        status.activityState === "idle" &&
+        !status.approvalBlocked &&
+        Boolean(status.screenDigest) &&
+        status.screenDigest !== input.observationBaselineDigest;
+    const observation = fresh
+        ? input.observe({
+            operation: input.operation,
+            phase: "before",
+            screen: raw.screen.excerpt ?? ""
+        })
+        : undefined;
+    return { kind: "codex_status", status, observation };
+}
+export function createNativeThreadLifecycleRecoveryProbeAdapter(input) {
+    let preparedBridge;
+    let lifecycleCapability;
+    const bridge = () => {
+        if (!preparedBridge) {
+            throw new Error("lifecycle recovery terminal probe is not prepared");
+        }
+        return preparedBridge;
+    };
+    return {
+        prepare(canonicalStoreDir) {
+            preparedBridge = input.createBridge(canonicalStoreDir);
+        },
+        probe(version) {
+            lifecycleCapability = input.lifecycle.probeThreadLifecycle?.(version);
+            return lifecycleCapability ? { status: lifecycleCapability.status } : undefined;
+        },
+        plan(operation, capability) {
+            const raw = lifecycleCapability;
+            lifecycleCapability = undefined;
+            if (!raw || raw.status !== capability.status) {
+                return undefined;
+            }
+            const plan = input.lifecycle.planThreadLifecycle?.(operation, raw);
+            return plan ? { steps: plan.steps } : undefined;
+        },
+        observe(control, canonicalStoreDir, request) {
+            return request.kind === "claude_agents"
+                ? observeClaudeLifecycleRecovery({
+                    ...request,
+                    loadRows: () => input.loadClaudeRows(canonicalStoreDir),
+                    observe: (observation) => input.lifecycle.observeThreadLifecycle?.(observation)
+                })
+                : observeCodexLifecycleRecovery({
+                    operation: request.operation,
+                    observationBaselineDigest: request.observationBaselineDigest,
+                    status: () => bridge().status(input.agent, control, {
+                        runtime: input.runtime(control, request.context),
+                        scrollbackLines: request.observationScrollbackLines
+                    }),
+                    observe: (observation) => input.lifecycle.observeThreadLifecycle?.(observation)
+                });
+        },
+        async status(control, context, scrollbackLines) {
+            const raw = await bridge().status(input.agent, control, {
+                runtime: input.runtime(control, context),
+                ...(scrollbackLines === undefined ? {} : { scrollbackLines })
+            });
+            return lifecycleRecoveryStatusFacts(input.agent, raw);
+        },
+        clearInputLine(control, context) {
+            return bridge().clearInputLine(input.agent, control, {
+                runtime: input.runtime(control, context)
+            });
+        },
+        async submitCodexStatusProbe(control, version, context) {
+            const submission = await bridge().submitCodexStatusProbe(control, version, { runtime: input.runtime(control, context) });
+            return {
+                observationBaselineDigest: submission.observationBaselineDigest,
+                observationScrollbackLines: submission.observationScrollbackLines
+            };
+        }
+    };
+}
+//# sourceMappingURL=native-thread-lifecycle-recovery-adapter.js.map

package/dist/src/native-thread-lifecycle-recovery-adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-thread-lifecycle-recovery-adapter.js","sourceRoot":"","sources":["../../src/native-thread-lifecycle-recovery-adapter.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,OAAO,EACL,yBAAyB,EAI1B,MAAM,4BAA4B,CAAC;AAEpC,MAAM,UAAU,8BAA8B,CAC5C,QAAsC;IAEtC,OAAO;QACL,cAAc,EAAE,QAAQ,CAAC,cAAc;QACvC,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,GAAG,EAAE,QAAQ,CAAC,GAAG;QACjB,eAAe,EAAE,QAAQ,CAAC,eAAe;KAC1C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAA0B;IAC7D,OAAO,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;SACxB,KAAK,CAAC,QAAQ,CAAC;SACf,KAAK,CAAC,CAAC,CAAC,CAAC;SACT,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAA0B;IAC3D,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;SACnC,KAAK,CAAC,QAAQ,CAAC;SACf,KAAK,CAAC,CAAC,CAAC,CAAC;SACT,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC3D,OAAO,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAA0B;IAC9D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACnD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACvD,KAAK,CAAC,GAAG,EAAE,CAAC;IACd,CAAC;IACD,OAAO,KAAK;SACT,KAAK,CAAC,CAAC,CAAC,CAAC;SACT,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,MAA0B;IAC5D,OAAO,yBAAyB,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,KAAmB,EACnB,MAA4B;IAE5B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;IACrC,OAAO;QACL,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,aAAa,EAAE,MAAM,CAAC,cAAc;QACpC,eAAe,EAAE,MAAM,CAAC,cAAc,CAAC,OAAO;QAC9C,eAAe,EAAE,KAAK,KAAK,OAAO;YAChC,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC;YAC9B,CAAC,CAAC,qBAAqB,CAAC,MAAM,CAAC;QACjC,aAAa,EAAE,KAAK,KAAK,OAAO;YAC9B,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC;YAC5B,CAAC,CAAC,mBAAmB,CAAC,MAAM,CAAC;QAC/B,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM;KACnC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,IAA6B,EAC7B,OAA0C;IAE1C,OAAO,OAAO,CAAC,IAAI,KAAK,UAAU;QAChC,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,wBAAwB,CAAC;YACvB,GAAG,IAAI;YACP,iBAAiB,EAAE,OAAO,CAAC,WAAW;YACtC,kBAAkB,EAAE,OAAO,CAAC,YAAY;YACxC,uBAAuB,EAAE,OAAO,CAAC,iBAAiB;SACnD,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAAC,KASnD;IACA,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;IAC9B,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC;QAChC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,KAAK,EAAE,QAAQ;QACf,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,SAAS,EAAE,IAAI;KAChB,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,WAAW,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,6BAA6B,CAAC,KAOlD;IACA,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,MAAM,EAAE,CAAC;IACjC,MAAM,MAAM,GAAG,4BAA4B,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS;QAC5B,MAAM,CAAC,aAAa,KAAK,MAAM;QAC/B,CAAC,MAAM,CAAC,eAAe;QACvB,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC;QAC5B,MAAM,CAAC,YAAY,KAAK,KAAK,CAAC,yBAAyB,CAAC;IAC1D,MAAM,WAAW,GAAG,KAAK;QACvB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;YACZ,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,KAAK,EAAE,QAAQ;YACf,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE;SACjC,CAAC;QACJ,CAAC,CAAC,SAAS,CAAC;IACd,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;AACvD,CAAC;AAOD,MAAM,UAAU,+CAA+C,CAC7D,KAcE;IAEF,IAAI,cAA0C,CAAC;IAC/C,IAAI,mBAEO,CAAC;IACZ,MAAM,MAAM,GAAG,GAAmB,EAAE;QAClC,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;QACvE,CAAC;QACD,OAAO,cAAc,CAAC;IACxB,CAAC,CAAC;IACF,OAAO;QACL,OAAO,CAAC,iBAAyB;YAC/B,cAAc,GAAG,KAAK,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;QACzD,CAAC;QACD,KAAK,CAAC,OAA2B;YAE/B,mBAAmB,GAAG,KAAK,CAAC,SAAS,CAAC,oBAAoB,EAAE,CAAC,OAAO,CAAC,CAAC;YACtE,OAAO,mBAAmB,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,mBAAmB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAClF,CAAC;QACD,IAAI,CACF,SAAyC,EACzC,UAAgD;YAEhD,MAAM,GAAG,GAAG,mBAAmB,CAAC;YAChC,mBAAmB,GAAG,SAAS,CAAC;YAChC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM,EAAE,CAAC;gBAC7C,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,mBAAmB,EAAE,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACnE,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAClD,CAAC;QACD,OAAO,CACL,OAA2B,EAC3B,iBAAyB,EACzB,OAAgD;YAEhD,OAAO,OAAO,CAAC,IAAI,KAAK,eAAe;gBACrC,CAAC,CAAC,8BAA8B,CAAC;oBAC7B,GAAG,OAAO;oBACV,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,iBAAiB,CAAC;oBACvD,OAAO,EAAE,CAAC,WAAW,EAAE,EAAE,CACvB,KAAK,CAAC,SAAS,CAAC,sBAAsB,EAAE,CAAC,WAAW,CAAC;iBACxD,CAAC;gBACJ,CAAC,CAAC,6BAA6B,CAAC;oBAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;oBAC5B,yBAAyB,EAAE,OAAO,CAAC,yBAAyB;oBAC5D,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE;wBAClD,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC;wBAChD,eAAe,EAAE,OAAO,CAAC,0BAA0B;qBACpD,CAAC;oBACF,OAAO,EAAE,CAAC,WAAW,EAAE,EAAE,CACvB,KAAK,CAAC,SAAS,CAAC,sBAAsB,EAAE,CAAC,WAAW,CAAC;iBACxD,CAAC,CAAC;QACT,CAAC;QACD,KAAK,CAAC,MAAM,CACV,OAA2B,EAC3B,OAA0C,EAC1C,eAAwB;YAExB,MAAM,GAAG,GAAG,MAAM,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE;gBACtD,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC;gBACxC,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC;aAC9D,CAAC,CAAC;YACH,OAAO,4BAA4B,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACxD,CAAC;QACD,cAAc,CACZ,OAA2B,EAC3B,OAA0C;YAE1C,OAAO,MAAM,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE;gBACnD,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC;aACzC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,CAAC,sBAAsB,CAC1B,OAA2B,EAC3B,OAAe,EACf,OAGC;YAED,MAAM,UAAU,GAAG,MAAM,MAAM,EAAE,CAAC,sBAAsB,CACtD,OAAO,EACP,OAAO,EACP,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAC7C,CAAC;YACF,OAAO;gBACL,yBAAyB,EAAE,UAAU,CAAC,yBAAyB;gBAC/D,0BAA0B,EAAE,UAAU,CAAC,0BAA0B;aAClE,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/src/native-thread-lifecycle-recovery-service.d.ts

@@ -0,0 +1,211 @@
+import { type ManagedSessionState, type NativeThreadTransition } from "./managed-session.js";
+import type { TerminalControlRef } from "./terminal-control-ref.js";
+import { type NativeThreadLifecycleLedgerPhase, type TerminalDispatchLedgerDocument } from "./terminal-dispatch-ledger-codec.js";
+import type { CanonicalMutationResources, CanonicalMutationScopes } from "./mutation-transaction.js";
+import type { TerminalNativeIdentity as NativeAgentSessionIdentity, TerminalNativeIdentityFence as CodexCompanionIdentity } from "./terminal-binding-authority.js";
+type ScopeArgs = [CanonicalMutationScopes, CanonicalMutationResources];
+type Scoped<Args extends unknown[], Result> = (...args: [...ScopeArgs, ...Args]) => Result;
+export type NativeThreadLifecycleRecoveryAuthority = {
+    kind: "automatic";
+} | {
+    kind: "manual";
+    expectedTransitionId: string;
+};
+export type NativeThreadLifecycleRecoveryTerminalFacts = Readonly<{
+    conversationId: string;
+    agent: NativeThreadTransition["agent"];
+    pid: number;
+    terminalControl: TerminalControlRef;
+}>;
+export type NativeThreadLifecycleRecoveryRequest = Readonly<{
+    /** Fresh post-lock terminal facts; all effects remain capability-bound. */
+    terminal: NativeThreadLifecycleRecoveryTerminalFacts;
+}>;
+export type NativeThreadLifecycleReconcileRequest = NativeThreadLifecycleRecoveryRequest & Readonly<{
+    ledger: TerminalDispatchLedgerDocument;
+    authority?: NativeThreadLifecycleRecoveryAuthority;
+}>;
+export interface CodexCompanionSet {
+    primary?: CodexCompanionIdentity;
+    additional: CodexCompanionIdentity[];
+}
+export type NativeThreadLifecycleOperation = Readonly<{
+    kind: "new_thread";
+}> | Readonly<{
+    kind: "resume_thread";
+    nativeThreadId: string;
+}>;
+export type NativeThreadLifecycleCapabilityFacts = Readonly<{
+    status: "supported" | "unsupported" | "unknown";
+}>;
+export type NativeThreadLifecyclePlanFacts = Readonly<{
+    steps: readonly Readonly<{
+        kind: string;
+        command: string;
+        effect: string;
+        requiresIdle: true;
+    }>[];
+}>;
+export type NativeThreadLifecycleObservationFacts = Readonly<{
+    status: "observed" | "verified" | "missing" | "ambiguous" | "mismatch";
+    nativeThreadId?: string;
+    evidence?: string;
+    idle?: boolean;
+    reason?: string;
+}>;
+export type NativeThreadLifecycleProbeContext = Readonly<{
+    kind: "physical";
+}> | Readonly<{
+    kind: "codex_recovery";
+    processUuid: string;
+    processBirth: string | undefined;
+    expectedSessionId: string;
+    companions: CodexCompanionSet;
+}>;
+export type NativeThreadLifecycleStatusFacts = Readonly<{
+    reachable: boolean;
+    activityState: "awaiting_approval" | "working" | "idle" | "unknown";
+    approvalBlocked: boolean;
+    composerVisible: boolean;
+    composerEmpty: boolean;
+    screenDigest?: string;
+}>;
+export type NativeThreadLifecycleStatusProbeFacts = Readonly<{
+    observationBaselineDigest: string;
+    observationScrollbackLines: number;
+}>;
+export type NativeThreadLifecycleObservationRequest = Readonly<{
+    kind: "claude_agents";
+    operation: NativeThreadLifecycleOperation;
+    pid: number;
+    processStartedAt: number;
+    cwd: string;
+}> | Readonly<{
+    kind: "codex_status";
+    operation: NativeThreadLifecycleOperation;
+    context: Extract<NativeThreadLifecycleProbeContext, {
+        kind: "codex_recovery";
+    }>;
+    observationBaselineDigest: string;
+    observationScrollbackLines: number;
+}>;
+export type NativeThreadLifecycleObservationResult = Readonly<{
+    kind: "claude_agents";
+    observation: NativeThreadLifecycleObservationFacts | undefined;
+}> | Readonly<{
+    kind: "codex_status";
+    status: NativeThreadLifecycleStatusFacts;
+    observation: NativeThreadLifecycleObservationFacts | undefined;
+}>;
+type LedgerExpectation = Readonly<{
+    expectedTransitionId: string | null;
+    expectedStatus?: "prepared" | "dispatching" | "submitted";
+}>;
+export type NativeThreadLifecycleRecoveryPorts = Readonly<{
+    authority: Readonly<{
+        bind: Scoped<[], Readonly<{
+            terminalControl: TerminalControlRef;
+        }>>;
+    }>;
+    persistence: Readonly<{
+        listNativeThreadTransitions: Scoped<[], readonly NativeThreadTransition[]>;
+        loadManagedSession: Scoped<[string], ManagedSessionState>;
+        tryLoadManagedSession: Scoped<[string], ManagedSessionState | undefined>;
+        loadNativeThreadTransition: Scoped<[string], NativeThreadTransition>;
+        saveManagedSession: Scoped<[
+            ManagedSessionState,
+            Readonly<{
+                expectedRevision: number | null;
+            }>
+        ], ManagedSessionState>;
+        saveNativeThreadTransition: Scoped<[
+            NativeThreadTransition,
+            Readonly<{
+                expectedRevision: number | null;
+            }>
+        ], NativeThreadTransition>;
+        commitVerified: Scoped<[NativeThreadTransition, string], ManagedSessionState>;
+        loadLedger: Scoped<[], TerminalDispatchLedgerDocument | undefined>;
+        buildLedger: Scoped<[
+            NativeThreadTransition,
+            NativeThreadLifecycleLedgerPhase
+        ], TerminalDispatchLedgerDocument>;
+        saveLedger: Scoped<[
+            NativeThreadTransition,
+            NativeThreadLifecycleLedgerPhase,
+            LedgerExpectation
+        ], void>;
+        saveFailClosedLedger: Scoped<[
+            TerminalDispatchLedgerDocument,
+            string,
+            string,
+            string
+        ], void>;
+    }>;
+    terminal: Readonly<{
+        recoverDeferred: Scoped<[], Promise<void>>;
+        sameTerminalIncarnation: Scoped<[TerminalControlRef], boolean>;
+        aliasMatches: Scoped<[unknown, unknown, unknown], boolean>;
+        workspaceMatches: Scoped<[unknown], boolean>;
+        resolveIdentity: Scoped<[
+            string | undefined,
+            CodexCompanionSet
+        ], Promise<NativeAgentSessionIdentity | undefined>>;
+        observeExternalHandoff: Scoped<[
+            ManagedSessionState,
+            NativeAgentSessionIdentity | undefined
+        ], Promise<NativeAgentSessionIdentity | undefined>>;
+        assertExclusive: Scoped<[string, string | undefined], Promise<void>>;
+        assertTargetExclusive: Scoped<[NativeThreadTransition], Promise<void>>;
+        exactIdentity: Scoped<[
+            NativeAgentSessionIdentity
+        ], NativeAgentSessionIdentity>;
+        isProcessAlive: Scoped<[number], boolean>;
+        recordedStoreMatches: Scoped<[string], boolean>;
+        recordMatchesControl: Scoped<[TerminalDispatchLedgerDocument], boolean>;
+        runningVersion: Scoped<[], string | undefined>;
+        probeThreadLifecycle: Scoped<[
+            string | undefined
+        ], NativeThreadLifecycleCapabilityFacts | undefined>;
+        planThreadLifecycle: Scoped<[
+            NativeThreadLifecycleOperation,
+            NativeThreadLifecycleCapabilityFacts
+        ], NativeThreadLifecyclePlanFacts | undefined>;
+        observeThreadLifecycle: Scoped<[
+            NativeThreadLifecycleObservationRequest
+        ], Promise<NativeThreadLifecycleObservationResult>>;
+        prepareProbeBridge: Scoped<[], void>;
+        status: Scoped<[
+            NativeThreadLifecycleProbeContext,
+            number | undefined
+        ], Promise<NativeThreadLifecycleStatusFacts>>;
+        clearInputLine: Scoped<[NativeThreadLifecycleProbeContext], Promise<void>>;
+        submitCodexStatusProbe: Scoped<[
+            string,
+            Extract<NativeThreadLifecycleProbeContext, {
+                kind: "codex_recovery";
+            }>
+        ], Promise<NativeThreadLifecycleStatusProbeFacts>>;
+        assertResumedCodexCandidate: Scoped<[
+            NativeAgentSessionIdentity,
+            NativeThreadTransition["target_candidate_file_identity"]
+        ], void>;
+        codexKnownRoots: Scoped<[NativeThreadTransition], CodexCompanionSet>;
+        codexCompanionsExcludingPreferred: Scoped<[
+            CodexCompanionSet,
+            string
+        ], CodexCompanionSet>;
+        codexProcessBirth: Scoped<[], string>;
+        nativeIdentityMatches: Scoped<[
+            NativeAgentSessionIdentity | undefined,
+            CodexCompanionIdentity | undefined
+        ], boolean>;
+    }>;
+    runtime: Readonly<{
+        now(): Date;
+        sleep(milliseconds: number): Promise<void>;
+    }>;
+}>;
+export declare function recoverLifecycleFenceBeforeMutation(request: NativeThreadLifecycleRecoveryRequest, scopes: CanonicalMutationScopes, resources: CanonicalMutationResources, recoveryPorts: NativeThreadLifecycleRecoveryPorts): Promise<void>;
+export declare function reconcileLifecycleDispatchLedger(request: NativeThreadLifecycleReconcileRequest, scopes: CanonicalMutationScopes, resources: CanonicalMutationResources, recoveryPorts: NativeThreadLifecycleRecoveryPorts): Promise<TerminalDispatchLedgerDocument>;
+export {};