import type { ClaimProofV2, DeliveryContractV2, DeliveryOutcomeV2, GlobalClaimV2, ProductClaimV2 } from "./long-task-delivery-types.js";
export declare function generateClaims(outcome: DeliveryOutcomeV2): ProductClaimV2[];
export declare function generateGlobalClaims(global: DeliveryContractV2["global"]): GlobalClaimV2[];
export declare function validateGlobalProofPolarity(claim: GlobalClaimV2, proof: ClaimProofV2): void;
export declare function validateProofSurface(claim: ProductClaimV2, proof: ClaimProofV2, outcomeKey: string): void;
export declare function assertAllClaimsCovered(uncovered: string[]): void;
export declare function assertAllGlobalClaimsCovered(uncovered: string[]): void;