import type { CheckExecutionResultV2, CompiledCheckV2, CompiledDeliveryContractV2, LongTaskFindingV2, TargetedVerificationResultV2, WorkspaceManifestV2 } from "./long-task-delivery-types.js";
import { type WorkspaceSnapshotV2 } from "./long-task-workspace.js";
export interface DeliveryRunV2 {
    snapshot: WorkspaceManifestV2;
    check_results: CheckExecutionResultV2[];
    findings: LongTaskFindingV2[];
}
export declare function verifyDeliveryContract(workdir: string, selection?: {
    outcome?: string;
    check?: string;
}): Promise<TargetedVerificationResultV2>;
export declare function runDeliveryChecks(compiled: CompiledDeliveryContractV2, snapshot: WorkspaceSnapshotV2, checks: CompiledCheckV2[], includeCounterfactuals: boolean, finalGate?: boolean): Promise<DeliveryRunV2>;
export declare function allCompiledChecks(compiled: CompiledDeliveryContractV2): CompiledCheckV2[];
export declare function selectChecks(compiled: CompiledDeliveryContractV2, selection: {
    outcome?: string;
    check?: string;
}): CompiledCheckV2[];