import type { DeliveryAssertionV2, DeliveryContractV2, ProductClaimV2, ProofSurface } from "./long-task-delivery-types.js";
export declare function validateDeclaredCheckSafety(contract: DeliveryContractV2, report?: (message: string) => void): void;
export declare function validateClaimAssertionOperator(claim: ProductClaimV2, assertion: DeliveryAssertionV2, proofSurface: ProofSurface, outcomeKey: string, checkKey: string): void;
export declare function validateGlobalAssertionOperator(assertion: DeliveryAssertionV2, checkKey: string): void;