import type { AdaptiveRemediationContract, AdaptiveRemediationFailureCode, AdaptiveRemediationIteration } from "./types.js";
export type AdaptiveProgressionRejectionCode = "iteration-sequence-mismatch" | "iteration-count-mismatch" | "validation-count-mismatch" | "selection-metrics-mismatch" | "iteration-state-mismatch" | "cleanup-state-mismatch" | "convergence-state-mismatch" | "review-state-mismatch" | "promotion-state-mismatch" | "verification-state-mismatch";
export type AdaptiveProgressionHoldReason = "standard-mode" | "initial-iteration-pending" | "review-remediation-required";
export type AdaptiveProgressionRequest = {
    readonly phase: "probe";
    readonly iteration: AdaptiveRemediationIteration["iteration"];
} | {
    readonly phase: "full-validation";
} | {
    readonly phase: "review";
} | {
    readonly phase: "promotion";
    readonly expected_target_head: string;
    readonly candidate_head: string;
} | {
    readonly phase: "post-merge-validation";
};
export type AdaptiveProgressionDecision = {
    readonly kind: "rejected";
    readonly code: AdaptiveProgressionRejectionCode;
    readonly detail: string;
} | {
    readonly kind: "hold";
    readonly reason: AdaptiveProgressionHoldReason;
} | {
    readonly kind: "request";
    readonly request: AdaptiveProgressionRequest;
} | {
    readonly kind: "stop";
    readonly reason: AdaptiveRemediationFailureCode;
} | {
    readonly kind: "complete";
};
/** Pure consistency guard mirroring the executing runtime's non-skippable stage order. */
export declare function decideAdaptiveProgression(contract: AdaptiveRemediationContract): AdaptiveProgressionDecision;