import type { CompiledCheckV2, CompiledDeliveryContractV2 } from "./long-task-delivery-types.js";
export interface VerificationExecutionPreviewV1 {
    schema_version: "long-task-verification-preview-v1";
    compiled_identity: string;
    authority_revision: number;
    acceptance_authorized: false;
    executes_checks: false;
    writes_progress: false;
    selected_outcome: string | null;
    selected_check: string | null;
    main_raw_executions: MainRawExecutionPreviewV1[];
    counterfactual_executions: CounterfactualExecutionPreviewV1[];
    summary: {
        selected_checks: number;
        unique_main_runner_invocations: number;
        counterfactual_runner_invocation_upper_bound: number;
        declared_runner_invocation_upper_bound: number;
        declared_command_attempt_upper_bound: number;
    };
    limitations: string[];
}
interface MainRawExecutionPreviewV1 {
    raw_execution_identity: string;
    check_refs: string[];
    execution_target: CompiledCheckV2["execution_target"];
    execution_target_definition: CompiledCheckV2["execution_target_definition"];
    runner: RunnerPreviewV1;
    environment_requirements: CompiledCheckV2["environment_requirements"];
}
interface CounterfactualExecutionPreviewV1 {
    scope: "global" | "outcome";
    outcome_key: string | null;
    control_key: string;
    check_ref: string;
    raw_execution_identity: string;
    mutation: {
        type: "remove_paths";
        paths: string[];
    } | {
        type: "replace_file";
        path: string;
        fixture_path: string;
    } | {
        type: "replace_json_value";
        path: string;
        pointer: string;
        value: unknown;
    } | {
        type: "replace_text";
        path: string;
        match: string;
        replacement: string;
    };
    runner: RunnerPreviewV1;
}
type RunnerPreviewV1 = Pick<CompiledCheckV2["runner"], "type" | "target" | "argv" | "cwd" | "timeout_ms" | "effect" | "retry_policy" | "idempotent" | "resolved_cwd" | "resolved_target" | "definition_sha256">;
export declare function previewVerificationExecution(workdirInput: string, selection?: {
    outcome?: string;
    check?: string;
}): Promise<VerificationExecutionPreviewV1>;
export declare function projectVerificationExecutionPreview(compiled: CompiledDeliveryContractV2, authorityRevision: number, selection?: {
    outcome?: string;
    check?: string;
}): VerificationExecutionPreviewV1;
export {};