import type { ClaimCoverageSummaryV2, DeliveryContractV2, SourceClaimV2 } from "./long-task-delivery-types.js";
type AcceptanceDisposition = Extract<SourceClaimV2["disposition"], {
    type: "acceptance";
}>;
export declare function explainAcceptanceLinks(contract: DeliveryContractV2, coverage: ClaimCoverageSummaryV2, disposition: AcceptanceDisposition): ({
    type: "acceptance";
    reference: string;
    scope: "global" | "outcome";
    outcome_key: string | null;
    criterion: string | null;
    claims: string[];
    source_backed_claims: string[];
    required_proof_surfaces: Record<string, string[]>;
    covered_proof_surfaces: Record<string, string[]>;
    proof_surface: import("./long-task-contract-types.js").ProofSurface;
    evidence_adapter: import("./long-task-evidence-adapter-types.js").EvidenceAdapter;
    observation: string;
    counterfactuals: {
        key: string;
        claims: string[];
        binding_ref: string;
        owning_outcome_key: string;
        expected_assertion_failures: string[];
        preserved_assertions: string[];
        allowed_fanout_assertions: string[];
    }[] | {
        key: string;
        claims: string[];
        binding_key: string;
        owning_outcome_key: string | null;
        expected_assertion_failures: string[];
        preserved_assertions: string[];
        allowed_fanout_assertions: string[];
    }[];
} | {
    type: string;
    reference: string;
    scope: null;
    outcome_key: null;
    criterion: null;
    claims: never[];
    source_backed_claims: never[];
    required_proof_surfaces: {};
    covered_proof_surfaces: {};
    proof_surface: null;
    evidence_adapter: null;
    observation: null;
    counterfactuals: never[];
})[];
export {};