import type { CompiledCheckV2, CompiledDeliveryContractV2, DeliveryContractV2 } from "./long-task-delivery-types.js";
export interface CheckRevisionAnalysis {
    negative_assertions_removed: string[];
    acceptance_semantics_reduced: string[];
    proof_surfaces_changed: string[];
    runner_definitions_changed: string[];
    verification_inputs_added: string[];
    verification_inputs_removed_or_replaced: string[];
    input_paths_added: string[];
    input_paths_removed_or_narrowed: string[];
    expected_output_paths_removed_or_weakened: string[];
    artifacts_removed: string[];
    environment_requirements_removed: string[];
}
export declare function analyzeCheckRevisions(beforeChecks: Map<string, CompiledCheckV2>, afterChecks: Map<string, CompiledCheckV2>): CheckRevisionAnalysis;
export interface OutcomeRevisionAnalysis {
    owner_paths_expanded: string[];
    owner_context_refs_removed: string[];
    expected_change_paths_expanded: string[];
    allowed_paths_expanded: string[];
    forbidden_paths_removed: string[];
    bindings_removed_or_expanded: string[];
    obligations_removed_or_weakened: string[];
    rollback_or_recovery_weakened: string[];
    counterfactuals_removed: string[];
    population_weakened: string[];
}
export declare function analyzeOutcomeRevisions(previous: CompiledDeliveryContractV2, next: DeliveryContractV2): OutcomeRevisionAnalysis;
export declare function keyedAuthorityChanges(before: Array<{
    key: string;
}>, after: Array<{
    key: string;
}>): string[];
export declare function selectedRevisionReasons(entries: Array<[reason: string, changed: boolean | unknown[]]>): string[];