export declare const TERMINAL_MODEL_CONTROL_TRANSACTION_PHASES: readonly ["no_input", "reversible_input", "commit_attempted", "postcondition_proven"];
export type TerminalModelControlTransactionPhase = typeof TERMINAL_MODEL_CONTROL_TRANSACTION_PHASES[number];
export type TerminalModelControlTransactionEvent = "reversible_input_attempted" | "commit_attempted" | "postcondition_proven";
export type TerminalModelControlCleanupOutcome = "not_attempted" | "proven" | "failed";
export interface TerminalModelControlFailureDecision {
    readonly unwind: boolean;
    readonly outcome: "throw" | "uncertain";
    readonly doNotRetry: boolean;
    /** Repair authority can only come from a later exact live residual scan. */
    readonly residualRepair: "none" | "fresh_inspection_required";
}
/** Pure monotonic reducer for every native model-control input boundary. */
export declare function reduceTerminalModelControlTransactionPhase(phase: TerminalModelControlTransactionPhase, event: TerminalModelControlTransactionEvent): TerminalModelControlTransactionPhase;
/**
 * One failure policy for unwind, uncertainty and automatic-retry safety.
 * A failed cleanup never grants repair directly; List must freshly inspect an
 * exact residual before advertising its separately fenced repair action.
 */
export declare function decideTerminalModelControlFailure(phase: TerminalModelControlTransactionPhase, cleanup: TerminalModelControlCleanupOutcome): TerminalModelControlFailureDecision;