import type { ClaimCoverageSummaryV2, DeliveryContractV2, SourceClaimV2 } from "./long-task-delivery-types.js";
type ClaimDisposition = Extract<SourceClaimV2["disposition"], {
    type: "claim";
}>;
type GlobalDisposition = Extract<SourceClaimV2["disposition"], {
    type: "global_constraint";
}>;
type ResultDisposition = Extract<SourceClaimV2["disposition"], {
    type: "outcome_result";
}>;
export declare function explainOutcomeClaimLinks(contract: DeliveryContractV2, coverage: ClaimCoverageSummaryV2, disposition: ClaimDisposition): {
    type: "claim";
    reference: string;
    source_backed: boolean;
    checks: string[];
    assertions: (string | null)[];
    required_proof_surfaces: import("./long-task-contract-types.js").ProofSurface[];
    covered_proof_surfaces: import("./long-task-contract-types.js").ProofSurface[];
    evidence_adapters: (import("./long-task-evidence-adapter-types.js").EvidenceAdapter | null)[];
}[];
export declare function explainOutcomeResultLinks(contract: DeliveryContractV2, coverage: ClaimCoverageSummaryV2, disposition: ResultDisposition): {
    type: "outcome_result";
    reference: string;
    source_backed: boolean;
    checks: string[];
}[];
export declare function explainGlobalClaimLinks(contract: DeliveryContractV2, coverage: ClaimCoverageSummaryV2, disposition: GlobalDisposition): {
    type: "global_constraint";
    reference: string;
    source_backed: boolean;
    checks: string[];
    assertions: (string | null)[];
    evidence_adapters: (import("./long-task-evidence-adapter-types.js").EvidenceAdapter | null)[];
    counterfactuals: {
        key: string;
        check_key: string;
        binding_ref: string;
        owning_outcome: string;
        owner_paths: string[];
        carrier_paths: string[];
        expected_assertion_failures: string[];
        preserved_assertions: string[];
        allowed_fanout_assertions: string[];
        mutation: import("./long-task-counterfactual-types.js").CounterfactualMutationV2;
    }[];
}[];
export {};