import type { CompiledClaimsV2 } from "./long-task-claims.js";
import type { DeliveryCheckV2, DeliveryOutcomeV2, ProductClaimV2, ProofSurface } from "./long-task-delivery-types.js";
export type Reporter = (message: string) => void;
export declare function bindingCarriers(routeRef: string, componentRefs: string[], bindings: Map<string, DeliveryOutcomeV2["technical"]["bindings"][number]>, label: string, report?: Reporter, options?: {
    allowEmptyComponentRefs?: boolean;
}): string[];
export declare function validateRootJourney(binding: DeliveryOutcomeV2["product"]["surface_bindings"][number], check: DeliveryCheckV2, label: string, report?: Reporter): void;
export declare function validateTargetLocalClaimProof(outcome: DeliveryOutcomeV2, claim: ProductClaimV2, targetRef: string, expectedSurface: ProofSurface | null, claims: CompiledClaimsV2, checks: Map<string, DeliveryCheckV2>, label: string, report?: Reporter): void;
export declare function expectedControlProofSurface(runtimeFamily: string | undefined): ProofSurface;
export declare function controlClaims(claims: Map<string, ProductClaimV2>, controlRef: string): ProductClaimV2[];
export declare function validateCarrierInputs(check: DeliveryCheckV2, carriers: string[], label: string, report?: Reporter): void;
export declare function unique(values: string[], code: string, detail: string, report?: Reporter): void;
export declare function issue(report: Reporter | undefined, code: string, detail: string): void;