@scotthuang/agent-knock-knock 0.12.11 → 0.12.13

package/dist/src/terminal-dispatch-recovery-service.js

@@ -0,0 +1,374 @@
+import { decideVerifiedDeadAgentCompletion, decideVerifiedDeadAgentProcess, verifiedDeadTerminalAgentProcessEvidenceId } from "./verified-dead-agent-policy.js";
+/** Decide prepared-ledger crash recovery without reading state or writing I/O. */
+export function decidePreparedDispatchRecovery(input) {
+    const { ledger, owner } = input;
+    if (ledger.lifecycle)
+        return { action: "keep" };
+    if (ledger.status !== "prepared") {
+        return { action: "reconcile_lagging" };
+    }
+    if (ledger.dispatcherActive || !ledger.statePath || !ledger.messageId) {
+        return { action: "keep" };
+    }
+    if (owner.status === "unreadable")
+        return { action: "keep" };
+    if (owner.status === "mismatch")
+        return { action: "keep" };
+    if (owner.status === "missing") {
+        return resolvedPreparedMutation(input.now(), "dispatcher exited before the prepared owner state existed; no terminal input was possible");
+    }
+    if (owner.storedMessageId === ledger.messageId &&
+        owner.submission.messageId === ledger.messageId) {
+        return recoverCurrentPreparedGeneration(input, owner);
+    }
+    return recoverPreviousPreparedGeneration(input, owner);
+}
+function recoverCurrentPreparedGeneration(input, owner) {
+    const submission = owner.submission;
+    if (![
+        "submitted",
+        "text_injected",
+        "enter_dispatched",
+        "agent_accepted"
+    ].includes(submission.status ?? "")) {
+        return {
+            action: "save_ledger",
+            mutation: {
+                status: "uncertain",
+                uncertain_at: input.now(),
+                reason: "dispatcher exited after the prepared state became durable; terminal submission cannot be proven"
+            }
+        };
+    }
+    const at = submission.agentAcceptedAt ?? submission.enterDispatchedAt ??
+        submission.textInjectedAt ?? submission.submittedAt ?? owner.updatedAt ??
+        input.now();
+    return {
+        action: "save_ledger",
+        mutation: {
+            status: submission.status,
+            ...(submission.textInjectedAt
+                ? { text_injected_at: submission.textInjectedAt }
+                : {}),
+            ...(submission.enterDispatchedAt
+                ? { enter_dispatched_at: submission.enterDispatchedAt }
+                : {}),
+            ...(submission.status === "agent_accepted"
+                ? {
+                    agent_accepted_at: at,
+                    acceptance_evidence: submission.acceptanceEvidence
+                }
+                : submission.status === "submitted"
+                    ? { submitted_at: at }
+                    : {}),
+            reason: "recovered from the durable conversation submission receipt"
+        }
+    };
+}
+function recoverPreviousPreparedGeneration(input, owner) {
+    const submission = owner.submission;
+    const messageId = owner.storedMessageId;
+    if (messageId &&
+        submission.messageId === messageId &&
+        ["submitted", "agent_accepted"].includes(submission.status ?? "")) {
+        return {
+            action: "replace_ledger",
+            mutation: {
+                ...owner.binding,
+                status: submission.status,
+                generation_id: messageId,
+                conversation_id: owner.conversationId,
+                message_id: messageId,
+                ...(submission.status && owner.binding.message_type
+                    ? { message_type: owner.binding.message_type }
+                    : {}),
+                request_hash: owner.requestHash,
+                prepared_at: submission.preparedAt ?? owner.updatedAt,
+                ...(submission.status === "agent_accepted"
+                    ? {
+                        agent_accepted_at: submission.agentAcceptedAt ?? owner.updatedAt,
+                        acceptance_evidence: submission.acceptanceEvidence
+                    }
+                    : { submitted_at: submission.submittedAt ?? owner.updatedAt }),
+                dispatcher_pid: null,
+                state_path: owner.statePath,
+                event_log_path: input.ledger.eventLogPath ?? owner.eventLogPath,
+                callback_expected: owner.callbackExpected,
+                reason: "restored the prior durable generation after a pre-submit dispatcher exit"
+            }
+        };
+    }
+    return resolvedPreparedMutation(input.now(), "dispatcher exited before the prepared generation reached durable state; no terminal input was possible");
+}
+function resolvedPreparedMutation(now, reason) {
+    return {
+        action: "save_ledger",
+        mutation: { status: "resolved", resolved_at: now, reason }
+    };
+}
+/** Select the strongest durable proof without authorizing terminal replay. */
+export function decideLaggingDispatchRecovery(input) {
+    if (!input.eligible)
+        return { action: "keep" };
+    if (input.ledgerAcceptance) {
+        if (input.stateAcceptance)
+            return { action: "keep" };
+        return {
+            action: "save_turn_accepted",
+            acceptedAt: input.ledgerAgentAcceptedAt ?? input.now,
+            acceptanceEvidence: input.ledgerAcceptance
+        };
+    }
+    if (input.stateAcceptance) {
+        return {
+            action: "save_ledger",
+            mutation: acceptedLedgerMutation(input)
+        };
+    }
+    if (input.ledgerStatus === "agent_accepted") {
+        return invalidAcceptanceDecision(input);
+    }
+    return strongerStateDecision(input);
+}
+function acceptedLedgerMutation(input) {
+    return {
+        ...input.binding,
+        status: "agent_accepted",
+        text_injected_at: input.submission.textInjectedAt,
+        enter_dispatched_at: input.submission.enterDispatchedAt,
+        agent_accepted_at: input.submission.agentAcceptedAt ?? input.now,
+        acceptance_evidence: input.stateAcceptance,
+        dispatcher_pid: null,
+        reason: "recovered the strongest durable native acceptance receipt"
+    };
+}
+function invalidAcceptanceDecision(input) {
+    const reason = input.ledgerAcceptanceError ??
+        "stored native acceptance evidence is invalid";
+    return {
+        action: "save_turn_uncertain_and_ledger",
+        uncertainAt: input.now,
+        reason,
+        ledger: {
+            ...input.binding,
+            status: "uncertain",
+            uncertain_at: input.now,
+            dispatcher_pid: null,
+            reason: "stored native acceptance evidence is invalid"
+        }
+    };
+}
+function strongerStateDecision(input) {
+    const stateStatus = input.stateStatus ?? "";
+    const stateRank = terminalSubmissionProofRank(stateStatus, input.submission.lastProvenStage);
+    const ledgerRank = terminalSubmissionProofRank(input.ledgerStatus ?? "", input.ledgerLastProvenStage);
+    const terminal = ["not_accepted", "uncertain", "aborted"].includes(stateStatus);
+    if ((!terminal && stateRank <= ledgerRank) || ![
+        "text_injected",
+        "enter_dispatched",
+        "submitted",
+        "not_accepted",
+        "uncertain",
+        "aborted"
+    ].includes(stateStatus)) {
+        return { action: "keep" };
+    }
+    return {
+        action: "save_ledger",
+        mutation: {
+            ...input.binding,
+            status: stateStatus,
+            text_injected_at: input.submission.textInjectedAt,
+            enter_dispatched_at: input.submission.enterDispatchedAt,
+            submitted_at: input.submission.submittedAt,
+            not_accepted_at: input.submission.notAcceptedAt,
+            uncertain_at: input.submission.uncertainAt,
+            aborted_at: input.submission.abortedAt,
+            last_proven_stage: input.submission.lastProvenStage,
+            ...(terminal ? { dispatcher_pid: null } : {}),
+            reason: "recovered the strongest durable conversation proof level"
+        }
+    };
+}
+function terminalSubmissionProofRank(status, lastProven) {
+    if (status === "agent_accepted" || lastProven === "agent_accepted")
+        return 3;
+    if (["enter_dispatched", "submitted", "not_accepted"].includes(status) ||
+        lastProven === "enter_dispatched")
+        return 2;
+    return status === "text_injected" || lastProven === "text_injected" ? 1 : 0;
+}
+export function assertVerifiedDeadDispatchAuthorityFacts(facts) {
+    if (!facts.stateAuthorityExact) {
+        throw new Error(`verified-dead Turn ${facts.conversationId} has no exact accepted submission authority`);
+    }
+    if (!facts.ledgerAuthorityExact) {
+        throw new Error(`verified-dead Turn ${facts.conversationId} no longer owns one exact terminal dispatch receipt`);
+    }
+    if (facts.acceptance.status === "invalid") {
+        throw new Error(`verified-dead Turn ${facts.conversationId} has invalid native acceptance evidence: ` +
+            facts.acceptance.reason);
+    }
+    if (!facts.acceptance.allEqual) {
+        throw new Error(`verified-dead Turn ${facts.conversationId} has conflicting native acceptance receipts`);
+    }
+    return { resolved: facts.ledgerResolved };
+}
+/** Own verified-dead and callbackless completion effect ordering. */
+export class TerminalDispatchRecoveryService {
+    #ports;
+    constructor(ports) {
+        this.#ports = ports;
+    }
+    stallAcceptedForVerifiedDead(request) {
+        return this.#ports.transaction.verifiedDead(request, (context) => this.#recoverVerifiedDead(context));
+    }
+    settleLocalCompletion(request) {
+        return this.#ports.transaction.localCompletion(request, (context) => {
+            const authority = this.#ports.authority.assertLocalCompletion(context);
+            if (authority.ledgerResolved) {
+                return {
+                    handled: true,
+                    recovered: false,
+                    reason: "local_terminal_completion_already_settled"
+                };
+            }
+            this.#ports.state.settleLocalCompletion(context);
+            return {
+                handled: true,
+                recovered: true,
+                reason: "local_terminal_completion_ledger_recovered"
+            };
+        });
+    }
+    async #recoverVerifiedDead(context) {
+        this.#ports.authority.assertBinding(context);
+        if (!this.#ports.authority.basicAcceptedDispatch(context)) {
+            return unchangedVerifiedDeadResult(context, "dead_process_stall_dispatch_changed");
+        }
+        try {
+            this.#ports.authority.assertAcceptedDispatch(context);
+        }
+        catch (error) {
+            return unchangedVerifiedDeadResult(context, "dead_process_stall_dispatch_changed: " + errorMessage(error));
+        }
+        const persisted = this.#ports.authority.persistedDeath(context);
+        const processDecision = await this.#decideProcess(context, persisted);
+        if (processDecision.status !== "verified_dead") {
+            return unchangedVerifiedDeadResult(context, processDecision.reason);
+        }
+        return this.#recoverFromProof(context, persisted, processDecision.proof);
+    }
+    async #decideProcess(context, persisted) {
+        const persistedDecision = decideVerifiedDeadAgentProcess({
+            persistedAuthority: persisted
+        });
+        if (persistedDecision.status === "invalid") {
+            return {
+                status: "other",
+                reason: `bound_agent_process_evidence_invalid: ${persistedDecision.reason}`
+            };
+        }
+        if (persistedDecision.status === "verified_dead") {
+            return { status: "verified_dead", proof: persistedDecision.proof };
+        }
+        const observed = decideVerifiedDeadAgentProcess({
+            persistedAuthority: { status: "absent" },
+            observation: await this.#ports.authority.observeDeath(context)
+        });
+        if (observed.status === "verified_dead") {
+            return { status: "verified_dead", proof: observed.proof };
+        }
+        return {
+            status: "other",
+            reason: observed.status === "alive"
+                ? "bound_agent_process_alive"
+                : `bound_agent_process_unverifiable: ${observed.reason}`
+        };
+    }
+    async #recoverFromProof(context, persisted, proof) {
+        const stalledReason = "bound terminal agent process is verified dead";
+        const evidenceId = verifiedDeadTerminalAgentProcessEvidenceId(proof);
+        const prior = this.#ports.authority.priorStall({
+            context,
+            proof,
+            evidenceId,
+            reason: stalledReason
+        });
+        if (prior.status === "invalid") {
+            return unchangedVerifiedDeadResult(context, `bound_agent_process_evidence_invalid: ${prior.reason}`);
+        }
+        if (prior.status === "valid") {
+            return this.#resumePriorStall(context, persisted, prior, stalledReason);
+        }
+        const completion = decideVerifiedDeadAgentCompletion(await this.#ports.authority.durableCompletion(context));
+        if (completion.action === "complete") {
+            const prepared = this.#ports.completion.prepareAfterStateRelease(context, completion.completion);
+            return {
+                stalled: false,
+                conversation: prepared.conversation,
+                reason: prepared.claimed
+                    ? "bound_agent_process_dead_completion_prepared"
+                    : `bound_agent_process_dead_completion_${prepared.reason}`,
+                completionPreparation: prepared
+            };
+        }
+        return this.#persistFreshStall(context, proof, stalledReason, completion.completionObservation, completion.resultReason);
+    }
+    #resumePriorStall(context, persisted, prior, reason) {
+        if (persisted.status !== "valid") {
+            return unchangedVerifiedDeadResult(context, "bound_agent_process_evidence_invalid: the stalled decision has no exact death event");
+        }
+        const stalled = stalledConversation(context.conversation, persisted.proof, persisted.evidenceId, persisted.recordedAt, reason, prior.completionObservation);
+        this.#ports.state.save(context, stalled);
+        return {
+            stalled: true,
+            conversation: stalled,
+            reason: prior.completionObservation === "unverifiable"
+                ? "bound_agent_process_verified_dead_completion_unverifiable"
+                : "bound_agent_process_verified_dead"
+        };
+    }
+    #persistFreshStall(context, proof, reason, completionObservation, resultReason) {
+        const audit = this.#ports.evidence.ensureDeath({ context, proof });
+        this.#ports.evidence.ensureStall({
+            context,
+            proof: audit.proof,
+            evidenceId: audit.evidenceId,
+            reason,
+            completionObservation
+        });
+        this.#ports.state.crashAfterStallEvents();
+        const stalled = stalledConversation(context.conversation, audit.proof, audit.evidenceId, audit.recordedAt, reason, completionObservation);
+        this.#ports.state.save(context, stalled);
+        this.#ports.state.logDeath({
+            context,
+            proof: audit.proof,
+            reason
+        });
+        return { stalled: true, conversation: stalled, reason: resultReason };
+    }
+}
+function stalledConversation(conversation, proof, evidenceId, recordedAt, reason, completionObservation) {
+    return {
+        ...conversation,
+        status: "stalled",
+        stalled_at: recordedAt,
+        stalled_reason: reason,
+        terminal_agent_process_disposition: {
+            status: "verified_dead",
+            proof,
+            evidence_id: evidenceId,
+            recorded_at: recordedAt,
+            completion_observation: { status: completionObservation }
+        },
+        updated_at: recordedAt
+    };
+}
+function unchangedVerifiedDeadResult(context, reason) {
+    return { stalled: false, conversation: context.conversation, reason };
+}
+function errorMessage(error) {
+    return error instanceof Error ? error.message : String(error);
+}
+//# sourceMappingURL=terminal-dispatch-recovery-service.js.map

package/dist/src/terminal-dispatch-recovery-service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"terminal-dispatch-recovery-service.js","sourceRoot":"","sources":["../../src/terminal-dispatch-recovery-service.ts"],"names":[],"mappings":"AAOA,OAAO,EACL,iCAAiC,EACjC,8BAA8B,EAC9B,0CAA0C,EAK3C,MAAM,iCAAiC,CAAC;AA6FzC,kFAAkF;AAClF,MAAM,UAAU,8BAA8B,CAC5C,KAAoC;IAEpC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAChC,IAAI,MAAM,CAAC,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAChD,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACjC,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;IACzC,CAAC;IACD,IAAI,MAAM,CAAC,gBAAgB,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;QACtE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC5B,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY;QAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC7D,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC3D,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,wBAAwB,CAC7B,KAAK,CAAC,GAAG,EAAE,EACX,2FAA2F,CAC5F,CAAC;IACJ,CAAC;IACD,IACE,KAAK,CAAC,eAAe,KAAK,MAAM,CAAC,SAAS;QAC1C,KAAK,CAAC,UAAU,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,EAC/C,CAAC;QACD,OAAO,gCAAgC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,iCAAiC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,gCAAgC,CACvC,KAAoC,EACpC,KAAgE;IAEhE,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;IACpC,IAAI,CAAC;QACH,WAAW;QACX,eAAe;QACf,kBAAkB;QAClB,gBAAgB;KACjB,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,CAAC;QACpC,OAAO;YACL,MAAM,EAAE,aAAa;YACrB,QAAQ,EAAE;gBACR,MAAM,EAAE,WAAW;gBACnB,YAAY,EAAE,KAAK,CAAC,GAAG,EAAE;gBACzB,MAAM,EACJ,iGAAiG;aACpG;SACF,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,GAAG,UAAU,CAAC,eAAe,IAAI,UAAU,CAAC,iBAAiB;QACnE,UAAU,CAAC,cAAc,IAAI,UAAU,CAAC,WAAW,IAAI,KAAK,CAAC,SAAS;QACtE,KAAK,CAAC,GAAG,EAAE,CAAC;IACd,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,QAAQ,EAAE;YACR,MAAM,EAAE,UAAU,CAAC,MAAO;YAC1B,GAAG,CAAC,UAAU,CAAC,cAAc;gBAC3B,CAAC,CAAC,EAAE,gBAAgB,EAAE,UAAU,CAAC,cAAc,EAAE;gBACjD,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,UAAU,CAAC,iBAAiB;gBAC9B,CAAC,CAAC,EAAE,mBAAmB,EAAE,UAAU,CAAC,iBAAiB,EAAE;gBACvD,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,gBAAgB;gBACxC,CAAC,CAAC;oBACE,iBAAiB,EAAE,EAAE;oBACrB,mBAAmB,EAAE,UAAU,CAAC,kBAAkB;iBACnD;gBACH,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,WAAW;oBACjC,CAAC,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE;oBACtB,CAAC,CAAC,EAAE,CAAC;YACT,MAAM,EAAE,4DAA4D;SACrE;KACF,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC,CACxC,KAAoC,EACpC,KAAgE;IAEhE,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;IACpC,MAAM,SAAS,GAAG,KAAK,CAAC,eAAe,CAAC;IACxC,IACE,SAAS;QACT,UAAU,CAAC,SAAS,KAAK,SAAS;QAClC,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,IAAI,EAAE,CAAC,EACjE,CAAC;QACD,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,QAAQ,EAAE;gBACR,GAAG,KAAK,CAAC,OAAO;gBAChB,MAAM,EAAE,UAAU,CAAC,MAAO;gBAC1B,aAAa,EAAE,SAAS;gBACxB,eAAe,EAAE,KAAK,CAAC,cAAc;gBACrC,UAAU,EAAE,SAAS;gBACrB,GAAG,CAAC,UAAU,CAAC,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY;oBACjD,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE;oBAC9C,CAAC,CAAC,EAAE,CAAC;gBACP,YAAY,EAAE,KAAK,CAAC,WAAW;gBAC/B,WAAW,EAAE,UAAU,CAAC,UAAU,IAAI,KAAK,CAAC,SAAS;gBACrD,GAAG,CAAC,UAAU,CAAC,MAAM,KAAK,gBAAgB;oBACxC,CAAC,CAAC;wBACE,iBAAiB,EAAE,UAAU,CAAC,eAAe,IAAI,KAAK,CAAC,SAAS;wBAChE,mBAAmB,EAAE,UAAU,CAAC,kBAAkB;qBACnD;oBACH,CAAC,CAAC,EAAE,YAAY,EAAE,UAAU,CAAC,WAAW,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBAChE,cAAc,EAAE,IAAI;gBACpB,UAAU,EAAE,KAAK,CAAC,SAAS;gBAC3B,cAAc,EAAE,KAAK,CAAC,MAAM,CAAC,YAAY,IAAI,KAAK,CAAC,YAAY;gBAC/D,iBAAiB,EAAE,KAAK,CAAC,gBAAgB;gBACzC,MAAM,EACJ,0EAA0E;aAC7E;SACF,CAAC;IACJ,CAAC;IACD,OAAO,wBAAwB,CAC7B,KAAK,CAAC,GAAG,EAAE,EACX,wGAAwG,CACzG,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,GAAW,EACX,MAAc;IAEd,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,QAAQ,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3D,CAAC;AACJ,CAAC;AA+BD,8EAA8E;AAC9E,MAAM,UAAU,6BAA6B,CAC3C,KAAmC;IAEnC,IAAI,CAAC,KAAK,CAAC,QAAQ;QAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC/C,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,eAAe;YAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QACrD,OAAO;YACL,MAAM,EAAE,oBAAoB;YAC5B,UAAU,EAAE,KAAK,CAAC,qBAAqB,IAAI,KAAK,CAAC,GAAG;YACpD,kBAAkB,EAAE,KAAK,CAAC,gBAAgB;SAC3C,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QAC1B,OAAO;YACL,MAAM,EAAE,aAAa;YACrB,QAAQ,EAAE,sBAAsB,CAAC,KAAK,CAAC;SACxC,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,KAAK,gBAAgB,EAAE,CAAC;QAC5C,OAAO,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,qBAAqB,CAAC,KAAK,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAmC;IAEnC,OAAO;QACL,GAAG,KAAK,CAAC,OAAO;QAChB,MAAM,EAAE,gBAAgB;QACxB,gBAAgB,EAAE,KAAK,CAAC,UAAU,CAAC,cAAc;QACjD,mBAAmB,EAAE,KAAK,CAAC,UAAU,CAAC,iBAAiB;QACvD,iBAAiB,EAAE,KAAK,CAAC,UAAU,CAAC,eAAe,IAAI,KAAK,CAAC,GAAG;QAChE,mBAAmB,EAAE,KAAK,CAAC,eAAe;QAC1C,cAAc,EAAE,IAAI;QACpB,MAAM,EAAE,2DAA2D;KACpE,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAmC;IAEnC,MAAM,MAAM,GAAG,KAAK,CAAC,qBAAqB;QACxC,8CAA8C,CAAC;IACjD,OAAO;QACL,MAAM,EAAE,gCAAgC;QACxC,WAAW,EAAE,KAAK,CAAC,GAAG;QACtB,MAAM;QACN,MAAM,EAAE;YACN,GAAG,KAAK,CAAC,OAAO;YAChB,MAAM,EAAE,WAAW;YACnB,YAAY,EAAE,KAAK,CAAC,GAAG;YACvB,cAAc,EAAE,IAAI;YACpB,MAAM,EAAE,8CAA8C;SACvD;KACF,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAmC;IAEnC,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC;IAC5C,MAAM,SAAS,GAAG,2BAA2B,CAC3C,WAAW,EACX,KAAK,CAAC,UAAU,CAAC,eAAe,CACjC,CAAC;IACF,MAAM,UAAU,GAAG,2BAA2B,CAC5C,KAAK,CAAC,YAAY,IAAI,EAAE,EACxB,KAAK,CAAC,qBAAqB,CAC5B,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,cAAc,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC,QAAQ,CAChE,WAAW,CACZ,CAAC;IACF,IAAI,CAAC,CAAC,QAAQ,IAAI,SAAS,IAAI,UAAU,CAAC,IAAI,CAAC;QAC7C,eAAe;QACf,kBAAkB;QAClB,WAAW;QACX,cAAc;QACd,WAAW;QACX,SAAS;KACV,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC5B,CAAC;IACD,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,QAAQ,EAAE;YACR,GAAG,KAAK,CAAC,OAAO;YAChB,MAAM,EAAE,WAAW;YACnB,gBAAgB,EAAE,KAAK,CAAC,UAAU,CAAC,cAAc;YACjD,mBAAmB,EAAE,KAAK,CAAC,UAAU,CAAC,iBAAiB;YACvD,YAAY,EAAE,KAAK,CAAC,UAAU,CAAC,WAAW;YAC1C,eAAe,EAAE,KAAK,CAAC,UAAU,CAAC,aAAa;YAC/C,YAAY,EAAE,KAAK,CAAC,UAAU,CAAC,WAAW;YAC1C,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,SAAS;YACtC,iBAAiB,EAAE,KAAK,CAAC,UAAU,CAAC,eAAe;YACnD,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,MAAM,EAAE,0DAA0D;SACnE;KACF,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,MAAc,EACd,UAAmB;IAEnB,IAAI,MAAM,KAAK,gBAAgB,IAAI,UAAU,KAAK,gBAAgB;QAAE,OAAO,CAAC,CAAC;IAC7E,IACE,CAAC,kBAAkB,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;QAClE,UAAU,KAAK,kBAAkB;QACjC,OAAO,CAAC,CAAC;IACX,OAAO,MAAM,KAAK,eAAe,IAAI,UAAU,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9E,CAAC;AAYD,MAAM,UAAU,wCAAwC,CACtD,KAAyC;IAEzC,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACb,sBAAsB,KAAK,CAAC,cAAc,6CAA6C,CACxF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,sBAAsB,KAAK,CAAC,cAAc,qDAAqD,CAChG,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CACb,sBAAsB,KAAK,CAAC,cAAc,2CAA2C;YACnF,KAAK,CAAC,UAAU,CAAC,MAAM,CAC1B,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACb,sBAAsB,KAAK,CAAC,cAAc,6CAA6C,CACxF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC;AAC5C,CAAC;AA4HD,qEAAqE;AACrE,MAAM,OAAO,+BAA+B;IACjC,MAAM,CAA0C;IAEzD,YAAY,KAA8C;QACxD,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IACtB,CAAC;IAED,4BAA4B,CAAC,OAM5B;QACC,OAAO,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,YAAY,CACzC,OAAO,EACP,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAChD,CAAC;IACJ,CAAC;IAED,qBAAqB,CAAC,OAIrB;QACC,OAAO,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE;YAClE,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC;YACvE,IAAI,SAAS,CAAC,cAAc,EAAE,CAAC;gBAC7B,OAAO;oBACL,OAAO,EAAE,IAAI;oBACb,SAAS,EAAE,KAAK;oBAChB,MAAM,EAAE,2CAA2C;iBACpD,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC;YACjD,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,SAAS,EAAE,IAAI;gBACf,MAAM,EAAE,4CAA4C;aACrD,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,oBAAoB,CACxB,OAAoC;QAEpC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1D,OAAO,2BAA2B,CAChC,OAAO,EACP,qCAAqC,CACtC,CAAC;QACJ,CAAC;QACD,IAAI,CAAC;YACH,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC;QACxD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,2BAA2B,CAChC,OAAO,EACP,uCAAuC,GAAG,YAAY,CAAC,KAAK,CAAC,CAC9D,CAAC;QACJ,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;QAChE,MAAM,eAAe,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACtE,IAAI,eAAe,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;YAC/C,OAAO,2BAA2B,CAAC,OAAO,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC;IAC3E,CAAC;IAED,KAAK,CAAC,cAAc,CAClB,OAAoC,EACpC,SAA6C;QAK7C,MAAM,iBAAiB,GAAG,8BAA8B,CAAC;YACvD,kBAAkB,EAAE,SAAS;SAC9B,CAAC,CAAC;QACH,IAAI,iBAAiB,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC3C,OAAO;gBACL,MAAM,EAAE,OAAO;gBACf,MAAM,EAAE,yCAAyC,iBAAiB,CAAC,MAAM,EAAE;aAC5E,CAAC;QACJ,CAAC;QACD,IAAI,iBAAiB,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;YACjD,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,iBAAiB,CAAC,KAAK,EAAE,CAAC;QACrE,CAAC;QACD,MAAM,QAAQ,GAAG,8BAA8B,CAAC;YAC9C,kBAAkB,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;YACxC,WAAW,EAAE,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,OAAO,CAAC;SAC/D,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;YACxC,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;QAC5D,CAAC;QACD,OAAO;YACL,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,QAAQ,CAAC,MAAM,KAAK,OAAO;gBACjC,CAAC,CAAC,2BAA2B;gBAC7B,CAAC,CAAC,qCAAqC,QAAQ,CAAC,MAAM,EAAE;SAC3D,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,iBAAiB,CACrB,OAAoC,EACpC,SAA6C,EAC7C,KAA4C;QAE5C,MAAM,aAAa,GAAG,+CAA+C,CAAC;QACtE,MAAM,UAAU,GAAG,0CAA0C,CAAC,KAAK,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC;YAC7C,OAAO;YACP,KAAK;YACL,UAAU;YACV,MAAM,EAAE,aAAa;SACtB,CAAC,CAAC;QACH,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,2BAA2B,CAChC,OAAO,EACP,yCAAyC,KAAK,CAAC,MAAM,EAAE,CACxD,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;YAC7B,OAAO,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,UAAU,GAAG,iCAAiC,CAClD,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,iBAAiB,CAAC,OAAO,CAAC,CACvD,CAAC;QACF,IAAI,UAAU,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,wBAAwB,CAC9D,OAAO,EACP,UAAU,CAAC,UAAU,CACtB,CAAC;YACF,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,YAAY,EAAE,QAAQ,CAAC,YAAY;gBACnC,MAAM,EAAE,QAAQ,CAAC,OAAO;oBACtB,CAAC,CAAC,8CAA8C;oBAChD,CAAC,CAAC,uCAAuC,QAAQ,CAAC,MAAM,EAAE;gBAC5D,qBAAqB,EAAE,QAAQ;aAChC,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC,kBAAkB,CAC5B,OAAO,EACP,KAAK,EACL,aAAa,EACb,UAAU,CAAC,qBAAqB,EAChC,UAAU,CAAC,YAAY,CACxB,CAAC;IACJ,CAAC;IAED,iBAAiB,CACf,OAAoC,EACpC,SAA6C,EAC7C,KAA4E,EAC5E,MAAc;QAEd,IAAI,SAAS,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;YACjC,OAAO,2BAA2B,CAChC,OAAO,EACP,qFAAqF,CACtF,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,mBAAmB,CACjC,OAAO,CAAC,YAAY,EACpB,SAAS,CAAC,KAAK,EACf,SAAS,CAAC,UAAU,EACpB,SAAS,CAAC,UAAU,EACpB,MAAM,EACN,KAAK,CAAC,qBAAqB,CAC5B,CAAC;QACF,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACzC,OAAO;YACL,OAAO,EAAE,IAAI;YACb,YAAY,EAAE,OAAO;YACrB,MAAM,EAAE,KAAK,CAAC,qBAAqB,KAAK,cAAc;gBACpD,CAAC,CAAC,2DAA2D;gBAC7D,CAAC,CAAC,mCAAmC;SACxC,CAAC;IACJ,CAAC;IAED,kBAAkB,CAChB,OAAoC,EACpC,KAA4C,EAC5C,MAAc,EACd,qBAAgD,EAChD,YAAoB;QAEpB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACnE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC;YAC/B,OAAO;YACP,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,MAAM;YACN,qBAAqB;SACtB,CAAC,CAAC;QACH,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,qBAAqB,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,mBAAmB,CACjC,OAAO,CAAC,YAAY,EACpB,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,UAAU,EAChB,MAAM,EACN,qBAAqB,CACtB,CAAC;QACF,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACzC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC;YACzB,OAAO;YACP,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM;SACP,CAAC,CAAC;QACH,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IACxE,CAAC;CACF;AAED,SAAS,mBAAmB,CAC1B,YAA0B,EAC1B,KAA4C,EAC5C,UAAkB,EAClB,UAAkB,EAClB,MAAc,EACd,qBAAgD;IAEhD,OAAO;QACL,GAAG,YAAY;QACf,MAAM,EAAE,SAAS;QACjB,UAAU,EAAE,UAAU;QACtB,cAAc,EAAE,MAAM;QACtB,kCAAkC,EAAE;YAClC,MAAM,EAAE,eAAe;YACvB,KAAK;YACL,WAAW,EAAE,UAAU;YACvB,WAAW,EAAE,UAAU;YACvB,sBAAsB,EAAE,EAAE,MAAM,EAAE,qBAAqB,EAAE;SAC1D;QACD,UAAU,EAAE,UAAU;KACvB,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,OAAoC,EACpC,MAAc;IAEd,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC"}

package/dist/src/terminal-dispatch-repository-cli-adapter.d.ts

@@ -0,0 +1,35 @@
+import { type FileLockAcquisitionOptions } from "./file-lock-cli-adapter.js";
+import type { TerminalControlRef } from "./terminal-agent-adapter.js";
+import { type TerminalDispatchLedgerDocument } from "./terminal-dispatch-ledger-codec.js";
+export interface TerminalDispatchResolveRequest {
+    conversation: Readonly<{
+        conversation_id: string;
+    }>;
+    expectedMessageId?: string;
+    reason: string;
+}
+export interface TerminalDispatchRepositoryCliAdapter {
+    acquire(storeDir: string, terminalControl: TerminalControlRef, options?: FileLockAcquisitionOptions): () => void;
+    runtimeDir(): string;
+    runtimeKey(terminalControl: TerminalControlRef): string;
+    load(terminalControl: TerminalControlRef): TerminalDispatchLedgerDocument | undefined;
+    save(terminalControl: TerminalControlRef, ledger: TerminalDispatchLedgerDocument): void;
+    restore(input: {
+        terminalControl: TerminalControlRef;
+        previousLedger?: TerminalDispatchLedgerDocument;
+        reason: string;
+    }): void;
+    resolve(terminalControl: TerminalControlRef, request: TerminalDispatchResolveRequest): boolean;
+    reconcileIncarnation(terminalControl: TerminalControlRef, ledger?: TerminalDispatchLedgerDocument): TerminalDispatchLedgerDocument | undefined;
+    matchesControl(ledger: TerminalDispatchLedgerDocument | undefined, terminalControl: TerminalControlRef, options?: {
+        requireCurrentRoute?: boolean;
+        requireProcessAnchor?: boolean;
+    }): boolean;
+    processAnchor(ledger: TerminalDispatchLedgerDocument): number | undefined;
+}
+/**
+ * Own the raw filesystem, lock-path, and byte-level persistence boundary for
+ * ordinary terminal dispatch ledgers. Product recovery policy stays outside
+ * this adapter.
+ */
+export declare function createTerminalDispatchRepositoryCliAdapter(): TerminalDispatchRepositoryCliAdapter;