import type { ClaimCoverageSummaryV2, DeliveryContractV2, SourceClaimV2 } from "./long-task-delivery-types.js";
export declare function explainSourceLinks(contract: DeliveryContractV2, coverage: ClaimCoverageSummaryV2, source: SourceClaimV2): ({
    type: "acceptance" | "claim" | "decision_required" | "external_confirmation" | "global_constraint" | "outcome_result" | "risk_fact";
    reason: string | null;
} | {
    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[];
    }[];
    canonical_target: import("./long-task-source-target-index.js").CanonicalSourceTarget | null;
} | {
    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[];
    canonical_target: import("./long-task-source-target-index.js").CanonicalSourceTarget | null;
} | {
    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)[];
    canonical_target: import("./long-task-source-target-index.js").CanonicalSourceTarget | null;
} | {
    type: "outcome_result";
    reference: string;
    source_backed: boolean;
    checks: string[];
    canonical_target: import("./long-task-source-target-index.js").CanonicalSourceTarget | null;
} | {
    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;
    }[];
    canonical_target: import("./long-task-source-target-index.js").CanonicalSourceTarget | null;
} | {
    type: "external_confirmation";
    reference: string;
    canonical_target: import("./long-task-source-target-index.js").CanonicalSourceTarget | null;
} | {
    type: "risk_fact";
    reference: string;
    risk_fact: string;
    affected_outcome: string;
    effective_risk: import("./long-task-risk-types.js").EffectiveRiskLevel;
    risk_reasons: ("critical_user_path" | "data_migration" | "full_population_operation" | "irreversible_external_effect" | "multi_repository_change" | "permission_boundary_change" | "persistent_data_change" | "public_api_or_schema_change" | "security_boundary_change" | "weak_observability")[];
    canonical_target: import("./long-task-source-target-index.js").CanonicalSourceTarget | null;
})[];