import type { PreparedCallback } from "./callback-outbox-service.js";
import { type Conversation } from "./protocol.js";
import type { TerminalControlRef } from "./terminal-agent-adapter.js";
import { type TerminalDispatchLedgerDocument } from "./terminal-dispatch-ledger-codec.js";
import type { TerminalDispatchRepositoryCliAdapter } from "./terminal-dispatch-repository-cli-adapter.js";
import { type LocalCompletionRecoveryResult, type TerminalBindingLedgerFacts, type TerminalSubmissionRecoveryFacts, type VerifiedDeadRecoveryResult } from "./terminal-dispatch-recovery-service.js";
import type { TerminalSubmissionAcceptanceEvidence } from "./terminal-submission-facts.js";
export interface VerifiedDeadDispatchRequest {
    terminalControl: TerminalControlRef;
    conversation: Conversation;
    storeDir: string;
    statePath: string;
    logPath: string;
    expectedMessageId: string;
}
export declare function submissionFacts(value: unknown): TerminalSubmissionRecoveryFacts;
export declare function bindingCompatible(ledger: TerminalDispatchLedgerDocument, binding: TerminalBindingLedgerFacts): boolean;
export declare function acceptanceProjection(conversation: Conversation, requestText: string, ledgerStatus: string, submission: TerminalDispatchLedgerDocument | undefined, ledger: TerminalDispatchLedgerDocument): {
    state?: TerminalSubmissionAcceptanceEvidence;
    ledger?: TerminalSubmissionAcceptanceEvidence;
    ledgerError?: string;
};
export declare function acceptedTurnCanBeStalled(storeDir: string, conversation: Conversation): boolean;
export declare function unchangedVerifiedDead(conversation: Conversation, reason: string): VerifiedDeadRecoveryResult<PreparedCallback>;
export declare function localNotApplicable(): LocalCompletionRecoveryResult;
export declare function takeoverFor(conversation: Conversation): import("./value-guards.js").UnknownRecord | undefined;
export declare function completionClaim(conversation: Conversation): import("./value-guards.js").UnknownRecord | undefined;
export declare function processDisposition(conversation: Conversation | Record<string, any>): import("./value-guards.js").UnknownRecord | undefined;
export declare function validTimestamp(value: string): boolean;
export declare function required<Value>(value: Value | null | undefined, message: string): Value;
export declare function acceptedDispatchExpectation(input: VerifiedDeadDispatchRequest, takeover: Record<string, unknown> | undefined, submission: TerminalDispatchLedgerDocument | undefined): {
    requestText: string;
    sessionId: string;
    turnId: string;
    bindingId: string | undefined;
    bindingGeneration: number;
    nativeThreadId: string | undefined;
    endpointAnchor: number | undefined;
    submission: TerminalDispatchLedgerDocument | undefined;
};
export declare function stateDispatchCoreAuthorityExact(input: VerifiedDeadDispatchRequest, submission: TerminalDispatchLedgerDocument | undefined, expected: ReturnType<typeof acceptedDispatchExpectation>): boolean;
export declare function stateDispatchReceiptAuthorityExact(input: VerifiedDeadDispatchRequest, submission: TerminalDispatchLedgerDocument | undefined): boolean;
export declare function ledgerDispatchCoreAuthorityExact(input: VerifiedDeadDispatchRequest, ledger: TerminalDispatchLedgerDocument | undefined, expected: ReturnType<typeof acceptedDispatchExpectation>, repository: TerminalDispatchRepositoryCliAdapter): boolean;
export declare function ledgerDispatchReceiptAuthority(input: VerifiedDeadDispatchRequest, ledger: TerminalDispatchLedgerDocument, expected: ReturnType<typeof acceptedDispatchExpectation>, repository: TerminalDispatchRepositoryCliAdapter): {
    exact: boolean;
    receipt?: TerminalDispatchLedgerDocument;
};
export declare function stateDispatchAuthorityError(conversationId: string): Error;
export declare function ledgerDispatchAuthorityError(conversationId: string): Error;
export declare function acceptanceAgreement(conversation: Conversation, requestText: string, stateValue: unknown, ledgerValue: unknown, receiptValue: unknown): {
    status: "valid";
    allEqual: boolean;
} | {
    status: "invalid";
    reason: string;
};