/**
 * Eight-Exit Runtime — pure deterministic evaluator.
 *
 * EXIT_PRECEDENCE rationale (product decision — see contracts/exits.ts for rationale;
 * any change to this array requires updating that paragraph in the same commit):
 *   human_interrupt > external_event > wall_clock > budget_cap > turn_cap >
 *   goal_met > error_threshold > no_progress
 */
import type { ExitEvaluationV1, ExitPolicyV1, ExitSnapshotV1, LoopBudget, LoopLifecycleState, LoopStatus } from "../contracts/index.js";
export interface LegacyExitDecision {
    shouldExit: boolean;
    lifecycleState: LoopLifecycleState;
    status: LoopStatus;
    reason: string;
    reasonCode?: string;
    failureClass?: string;
    safetySurface?: string;
    exitEvaluation: ExitEvaluationV1;
}
export interface ExitPolicyOverrides {
    goal?: Partial<ExitPolicyV1["goal"]>;
    turns?: Partial<ExitPolicyV1["turns"]>;
    budget?: Partial<ExitPolicyV1["budget"]>;
    wallClock?: Partial<ExitPolicyV1["wallClock"]>;
    progress?: Partial<ExitPolicyV1["progress"]>;
    errors?: Partial<ExitPolicyV1["errors"]>;
    humanInterrupt?: Partial<ExitPolicyV1["humanInterrupt"]>;
    externalEvent?: Partial<ExitPolicyV1["externalEvent"]>;
}
export declare function createDefaultExitPolicy(budget: LoopBudget, overrides?: ExitPolicyOverrides): ExitPolicyV1;
export declare function validateExitPolicy(policy: ExitPolicyV1): void;
export declare function evaluateExitPolicy(policy: ExitPolicyV1, snapshot: ExitSnapshotV1): ExitEvaluationV1;
export declare function toLegacyExitDecision(evaluation: ExitEvaluationV1, externalDisposition?: "satisfied" | "superseded" | "cancelled"): LegacyExitDecision;
/**
 * Hash the meaningful workspace/verification state for no-progress detection.
 * Excludes timestamps, cost counters, prose summaries — only structural changes count.
 */
export declare function hashProgressState(value: unknown): string;
/** @deprecated Use evaluateExitPolicy instead. Retained for downstream compatibility. */
export { inferExitCompat as inferExitCompat };
declare function inferExitCompat(_unused: unknown): never;