import { W as WorkflowParams, r as resolveConfig, P as PluginConfig, a as WorkflowStage } from './proof-run-core-C8FDUhle.js';

declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, resolvedConfig?: ReturnType<typeof resolveConfig>): Promise<{
    ok: boolean;
    action: string;
    state_path: string;
    checkpoint: string;
    summary: string;
    state: null;
    nextAction: string;
    pr_state?: undefined;
    cleanup?: undefined;
} | {
    ok: boolean;
    action: string;
    state_path: string;
    checkpoint: string;
    summary: string;
    state: {
        workspace_ready: boolean;
        repo: any;
        branch: any;
        mode: any;
        workflow_mode: any;
        implementation_mode: any;
        require_diff: any;
        allow_code_changes: any;
        no_implementation_mode: boolean;
        reference: any;
        before_ref: any;
        allow_static_preview_fallback: boolean;
        commit_message: any;
        author_status: any;
        author_summary: any;
        author_request: any;
        proof_plan_status: any;
        proof_plan: any;
        proof_plan_request: any;
        proof_profile_applied: boolean;
        proof_profile: any;
        recon_status: any;
        recon_assessment: any;
        recon_assessment_request: any;
        recon_assessment_source: any;
        recon_decision_request: any;
        recon_attempts_used: any;
        recon_attempts_max: any;
        recon_hypothesis: any;
        implementation_status: any;
        implementation_summary: any;
        implementation_detection_summary: any;
        implementation_detection: any;
        implementation_environment_issues: any;
        verify_status: any;
        verify_summary: any;
        verify_decision_request: any;
        proof_assessment: any;
        proof_assessment_request: any;
        proof_assessment_source: any;
        merge_recommendation: any;
        before_cdn: any;
        after_cdn: any;
        prod_cdn: any;
        pr_url: any;
        pr_branch: any;
        pr_state: any;
        ship_commit: any;
        ship_remote_head: any;
        merge_commit: any;
        merged_at: any;
        ship_push: any;
        ship_report: any;
        cleanup_report: any;
        proof_comment_url: any;
        proof_assessment_comment_url: any;
        marked_ready: any;
        left_draft: any;
        ci_status: any;
        reviewer: any;
        active_checkpoint: any;
        active_checkpoint_stage: any;
        continue_with_stage: WorkflowStage | null;
        stage_decision_request: any;
        stage_attempt_counts: {
            [k: string]: number;
        };
        explicit_stage_gate: boolean;
        last_requested_advance_stage: any;
        recon_results: any;
        verify_results: any;
        proof_session: any;
        parent_proof_session: any;
        proof_session_artifact_url: any;
    } | null;
    pr_state: {
        status: string;
        pr_url: any;
        pr_number: string;
        repo: any;
        head_branch: any;
        base_branch: any;
        checked_at: string;
        source: string;
        sync_recoverable: boolean;
        sync_blocker: string;
        next_action: string;
    };
    nextAction: string;
    cleanup?: undefined;
} | {
    ok: boolean;
    action: string;
    state_path: string;
    checkpoint: string;
    summary: string;
    state: {
        workspace_ready: boolean;
        repo: any;
        branch: any;
        mode: any;
        workflow_mode: any;
        implementation_mode: any;
        require_diff: any;
        allow_code_changes: any;
        no_implementation_mode: boolean;
        reference: any;
        before_ref: any;
        allow_static_preview_fallback: boolean;
        commit_message: any;
        author_status: any;
        author_summary: any;
        author_request: any;
        proof_plan_status: any;
        proof_plan: any;
        proof_plan_request: any;
        proof_profile_applied: boolean;
        proof_profile: any;
        recon_status: any;
        recon_assessment: any;
        recon_assessment_request: any;
        recon_assessment_source: any;
        recon_decision_request: any;
        recon_attempts_used: any;
        recon_attempts_max: any;
        recon_hypothesis: any;
        implementation_status: any;
        implementation_summary: any;
        implementation_detection_summary: any;
        implementation_detection: any;
        implementation_environment_issues: any;
        verify_status: any;
        verify_summary: any;
        verify_decision_request: any;
        proof_assessment: any;
        proof_assessment_request: any;
        proof_assessment_source: any;
        merge_recommendation: any;
        before_cdn: any;
        after_cdn: any;
        prod_cdn: any;
        pr_url: any;
        pr_branch: any;
        pr_state: any;
        ship_commit: any;
        ship_remote_head: any;
        merge_commit: any;
        merged_at: any;
        ship_push: any;
        ship_report: any;
        cleanup_report: any;
        proof_comment_url: any;
        proof_assessment_comment_url: any;
        marked_ready: any;
        left_draft: any;
        ci_status: any;
        reviewer: any;
        active_checkpoint: any;
        active_checkpoint_stage: any;
        continue_with_stage: WorkflowStage | null;
        stage_decision_request: any;
        stage_attempt_counts: {
            [k: string]: number;
        };
        explicit_stage_gate: boolean;
        last_requested_advance_stage: any;
        recon_results: any;
        verify_results: any;
        proof_session: any;
        parent_proof_session: any;
        proof_session_artifact_url: any;
    } | null;
    pr_state: {
        status: string;
        pr_url: any;
        pr_number: string;
        repo: any;
        head_branch: any;
        base_branch: any;
        checked_at: string;
        source: string;
        next_action: string;
    };
    cleanup: any;
    nextAction: string;
} | {
    ok: boolean;
    action: string;
    state_path: string;
    checkpoint: string;
    summary: string;
    state: {
        workspace_ready: boolean;
        repo: any;
        branch: any;
        mode: any;
        workflow_mode: any;
        implementation_mode: any;
        require_diff: any;
        allow_code_changes: any;
        no_implementation_mode: boolean;
        reference: any;
        before_ref: any;
        allow_static_preview_fallback: boolean;
        commit_message: any;
        author_status: any;
        author_summary: any;
        author_request: any;
        proof_plan_status: any;
        proof_plan: any;
        proof_plan_request: any;
        proof_profile_applied: boolean;
        proof_profile: any;
        recon_status: any;
        recon_assessment: any;
        recon_assessment_request: any;
        recon_assessment_source: any;
        recon_decision_request: any;
        recon_attempts_used: any;
        recon_attempts_max: any;
        recon_hypothesis: any;
        implementation_status: any;
        implementation_summary: any;
        implementation_detection_summary: any;
        implementation_detection: any;
        implementation_environment_issues: any;
        verify_status: any;
        verify_summary: any;
        verify_decision_request: any;
        proof_assessment: any;
        proof_assessment_request: any;
        proof_assessment_source: any;
        merge_recommendation: any;
        before_cdn: any;
        after_cdn: any;
        prod_cdn: any;
        pr_url: any;
        pr_branch: any;
        pr_state: any;
        ship_commit: any;
        ship_remote_head: any;
        merge_commit: any;
        merged_at: any;
        ship_push: any;
        ship_report: any;
        cleanup_report: any;
        proof_comment_url: any;
        proof_assessment_comment_url: any;
        marked_ready: any;
        left_draft: any;
        ci_status: any;
        reviewer: any;
        active_checkpoint: any;
        active_checkpoint_stage: any;
        continue_with_stage: WorkflowStage | null;
        stage_decision_request: any;
        stage_attempt_counts: {
            [k: string]: number;
        };
        explicit_stage_gate: boolean;
        last_requested_advance_stage: any;
        recon_results: any;
        verify_results: any;
        proof_session: any;
        parent_proof_session: any;
        proof_session_artifact_url: any;
    } | null;
    pr_state: any;
    cleanup: Record<string, unknown> | null;
    nextAction: string;
} | {
    checkpoint: string | null;
    blocking?: boolean;
    details?: Record<string, unknown>;
    ok: boolean;
    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
    state_path: string;
    stage: any;
    summary: string;
    state: {
        workspace_ready: boolean;
        repo: any;
        branch: any;
        mode: any;
        workflow_mode: any;
        implementation_mode: any;
        require_diff: any;
        allow_code_changes: any;
        no_implementation_mode: boolean;
        reference: any;
        before_ref: any;
        allow_static_preview_fallback: boolean;
        commit_message: any;
        author_status: any;
        author_summary: any;
        author_request: any;
        proof_plan_status: any;
        proof_plan: any;
        proof_plan_request: any;
        proof_profile_applied: boolean;
        proof_profile: any;
        recon_status: any;
        recon_assessment: any;
        recon_assessment_request: any;
        recon_assessment_source: any;
        recon_decision_request: any;
        recon_attempts_used: any;
        recon_attempts_max: any;
        recon_hypothesis: any;
        implementation_status: any;
        implementation_summary: any;
        implementation_detection_summary: any;
        implementation_detection: any;
        implementation_environment_issues: any;
        verify_status: any;
        verify_summary: any;
        verify_decision_request: any;
        proof_assessment: any;
        proof_assessment_request: any;
        proof_assessment_source: any;
        merge_recommendation: any;
        before_cdn: any;
        after_cdn: any;
        prod_cdn: any;
        pr_url: any;
        pr_branch: any;
        pr_state: any;
        ship_commit: any;
        ship_remote_head: any;
        merge_commit: any;
        merged_at: any;
        ship_push: any;
        ship_report: any;
        cleanup_report: any;
        proof_comment_url: any;
        proof_assessment_comment_url: any;
        marked_ready: any;
        left_draft: any;
        ci_status: any;
        reviewer: any;
        active_checkpoint: any;
        active_checkpoint_stage: any;
        continue_with_stage: WorkflowStage | null;
        stage_decision_request: any;
        stage_attempt_counts: {
            [k: string]: number;
        };
        explicit_stage_gate: boolean;
        last_requested_advance_stage: any;
        recon_results: any;
        verify_results: any;
        proof_session: any;
        parent_proof_session: any;
        proof_session_artifact_url: any;
    } | null;
    approval: any;
    error: any;
} | {
    ok: boolean;
    nextActions?: string[];
    advanceOptions?: WorkflowStage[];
    recommendedAdvanceStage?: WorkflowStage | null;
    continueWithStage?: WorkflowStage | null;
    blocking?: boolean;
    details?: Record<string, unknown>;
    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
    state_path: string;
    stage: any;
    checkpoint: string;
    summary: string;
    state: {
        workspace_ready: boolean;
        repo: any;
        branch: any;
        mode: any;
        workflow_mode: any;
        implementation_mode: any;
        require_diff: any;
        allow_code_changes: any;
        no_implementation_mode: boolean;
        reference: any;
        before_ref: any;
        allow_static_preview_fallback: boolean;
        commit_message: any;
        author_status: any;
        author_summary: any;
        author_request: any;
        proof_plan_status: any;
        proof_plan: any;
        proof_plan_request: any;
        proof_profile_applied: boolean;
        proof_profile: any;
        recon_status: any;
        recon_assessment: any;
        recon_assessment_request: any;
        recon_assessment_source: any;
        recon_decision_request: any;
        recon_attempts_used: any;
        recon_attempts_max: any;
        recon_hypothesis: any;
        implementation_status: any;
        implementation_summary: any;
        implementation_detection_summary: any;
        implementation_detection: any;
        implementation_environment_issues: any;
        verify_status: any;
        verify_summary: any;
        verify_decision_request: any;
        proof_assessment: any;
        proof_assessment_request: any;
        proof_assessment_source: any;
        merge_recommendation: any;
        before_cdn: any;
        after_cdn: any;
        prod_cdn: any;
        pr_url: any;
        pr_branch: any;
        pr_state: any;
        ship_commit: any;
        ship_remote_head: any;
        merge_commit: any;
        merged_at: any;
        ship_push: any;
        ship_report: any;
        cleanup_report: any;
        proof_comment_url: any;
        proof_assessment_comment_url: any;
        marked_ready: any;
        left_draft: any;
        ci_status: any;
        reviewer: any;
        active_checkpoint: any;
        active_checkpoint_stage: any;
        continue_with_stage: WorkflowStage | null;
        stage_decision_request: any;
        stage_attempt_counts: {
            [k: string]: number;
        };
        explicit_stage_gate: boolean;
        last_requested_advance_stage: any;
        recon_results: any;
        verify_results: any;
        proof_session: any;
        parent_proof_session: any;
        proof_session_artifact_url: any;
    } | null;
    decisionRequest: any;
    checkpointContract: any;
} | {
    stage: string;
    summary: string;
    state: null;
    state_path: string;
    ok?: undefined;
    action?: undefined;
    checkpoint?: undefined;
    shipReport?: undefined;
    checkpointContract?: undefined;
    executed?: undefined;
    approval?: undefined;
    autoApproved?: undefined;
    error?: undefined;
} | {
    stage: any;
    summary: string;
    state: {
        workspace_ready: boolean;
        repo: any;
        branch: any;
        mode: any;
        workflow_mode: any;
        implementation_mode: any;
        require_diff: any;
        allow_code_changes: any;
        no_implementation_mode: boolean;
        reference: any;
        before_ref: any;
        allow_static_preview_fallback: boolean;
        commit_message: any;
        author_status: any;
        author_summary: any;
        author_request: any;
        proof_plan_status: any;
        proof_plan: any;
        proof_plan_request: any;
        proof_profile_applied: boolean;
        proof_profile: any;
        recon_status: any;
        recon_assessment: any;
        recon_assessment_request: any;
        recon_assessment_source: any;
        recon_decision_request: any;
        recon_attempts_used: any;
        recon_attempts_max: any;
        recon_hypothesis: any;
        implementation_status: any;
        implementation_summary: any;
        implementation_detection_summary: any;
        implementation_detection: any;
        implementation_environment_issues: any;
        verify_status: any;
        verify_summary: any;
        verify_decision_request: any;
        proof_assessment: any;
        proof_assessment_request: any;
        proof_assessment_source: any;
        merge_recommendation: any;
        before_cdn: any;
        after_cdn: any;
        prod_cdn: any;
        pr_url: any;
        pr_branch: any;
        pr_state: any;
        ship_commit: any;
        ship_remote_head: any;
        merge_commit: any;
        merged_at: any;
        ship_push: any;
        ship_report: any;
        cleanup_report: any;
        proof_comment_url: any;
        proof_assessment_comment_url: any;
        marked_ready: any;
        left_draft: any;
        ci_status: any;
        reviewer: any;
        active_checkpoint: any;
        active_checkpoint_stage: any;
        continue_with_stage: WorkflowStage | null;
        stage_decision_request: any;
        stage_attempt_counts: {
            [k: string]: number;
        };
        explicit_stage_gate: boolean;
        last_requested_advance_stage: any;
        recon_results: any;
        verify_results: any;
        proof_session: any;
        parent_proof_session: any;
        proof_session_artifact_url: any;
    };
    state_path: string;
    ok?: undefined;
    action?: undefined;
    checkpoint?: undefined;
    shipReport?: undefined;
    checkpointContract?: undefined;
    executed?: undefined;
    approval?: undefined;
    autoApproved?: undefined;
    error?: undefined;
} | {
    ok: boolean;
    action: "run";
    state_path: string;
    stage: any;
    checkpoint: string;
    summary: string;
    state: {
        workspace_ready: boolean;
        repo: any;
        branch: any;
        mode: any;
        workflow_mode: any;
        implementation_mode: any;
        require_diff: any;
        allow_code_changes: any;
        no_implementation_mode: boolean;
        reference: any;
        before_ref: any;
        allow_static_preview_fallback: boolean;
        commit_message: any;
        author_status: any;
        author_summary: any;
        author_request: any;
        proof_plan_status: any;
        proof_plan: any;
        proof_plan_request: any;
        proof_profile_applied: boolean;
        proof_profile: any;
        recon_status: any;
        recon_assessment: any;
        recon_assessment_request: any;
        recon_assessment_source: any;
        recon_decision_request: any;
        recon_attempts_used: any;
        recon_attempts_max: any;
        recon_hypothesis: any;
        implementation_status: any;
        implementation_summary: any;
        implementation_detection_summary: any;
        implementation_detection: any;
        implementation_environment_issues: any;
        verify_status: any;
        verify_summary: any;
        verify_decision_request: any;
        proof_assessment: any;
        proof_assessment_request: any;
        proof_assessment_source: any;
        merge_recommendation: any;
        before_cdn: any;
        after_cdn: any;
        prod_cdn: any;
        pr_url: any;
        pr_branch: any;
        pr_state: any;
        ship_commit: any;
        ship_remote_head: any;
        merge_commit: any;
        merged_at: any;
        ship_push: any;
        ship_report: any;
        cleanup_report: any;
        proof_comment_url: any;
        proof_assessment_comment_url: any;
        marked_ready: any;
        left_draft: any;
        ci_status: any;
        reviewer: any;
        active_checkpoint: any;
        active_checkpoint_stage: any;
        continue_with_stage: WorkflowStage | null;
        stage_decision_request: any;
        stage_attempt_counts: {
            [k: string]: number;
        };
        explicit_stage_gate: boolean;
        last_requested_advance_stage: any;
        recon_results: any;
        verify_results: any;
        proof_session: any;
        parent_proof_session: any;
        proof_session_artifact_url: any;
    } | null;
    shipReport: any;
    checkpointContract: Record<string, unknown>;
    executed: any[];
    approval?: undefined;
    autoApproved?: undefined;
    error?: undefined;
} | {
    ok: boolean;
    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup";
    state_path: string;
    stage: any;
    summary: string;
    state: {
        workspace_ready: boolean;
        repo: any;
        branch: any;
        mode: any;
        workflow_mode: any;
        implementation_mode: any;
        require_diff: any;
        allow_code_changes: any;
        no_implementation_mode: boolean;
        reference: any;
        before_ref: any;
        allow_static_preview_fallback: boolean;
        commit_message: any;
        author_status: any;
        author_summary: any;
        author_request: any;
        proof_plan_status: any;
        proof_plan: any;
        proof_plan_request: any;
        proof_profile_applied: boolean;
        proof_profile: any;
        recon_status: any;
        recon_assessment: any;
        recon_assessment_request: any;
        recon_assessment_source: any;
        recon_decision_request: any;
        recon_attempts_used: any;
        recon_attempts_max: any;
        recon_hypothesis: any;
        implementation_status: any;
        implementation_summary: any;
        implementation_detection_summary: any;
        implementation_detection: any;
        implementation_environment_issues: any;
        verify_status: any;
        verify_summary: any;
        verify_decision_request: any;
        proof_assessment: any;
        proof_assessment_request: any;
        proof_assessment_source: any;
        merge_recommendation: any;
        before_cdn: any;
        after_cdn: any;
        prod_cdn: any;
        pr_url: any;
        pr_branch: any;
        pr_state: any;
        ship_commit: any;
        ship_remote_head: any;
        merge_commit: any;
        merged_at: any;
        ship_push: any;
        ship_report: any;
        cleanup_report: any;
        proof_comment_url: any;
        proof_assessment_comment_url: any;
        marked_ready: any;
        left_draft: any;
        ci_status: any;
        reviewer: any;
        active_checkpoint: any;
        active_checkpoint_stage: any;
        continue_with_stage: WorkflowStage | null;
        stage_decision_request: any;
        stage_attempt_counts: {
            [k: string]: number;
        };
        explicit_stage_gate: boolean;
        last_requested_advance_stage: any;
        recon_results: any;
        verify_results: any;
        proof_session: any;
        parent_proof_session: any;
        proof_session_artifact_url: any;
    } | null;
    approval: null;
    autoApproved: any;
    error: null;
    checkpoint?: undefined;
    shipReport?: undefined;
    checkpointContract?: undefined;
    executed?: undefined;
}>;
interface RiddleProofEngine {
    execute(params: WorkflowParams): Promise<Record<string, unknown>>;
    status(statePath?: string): Promise<Record<string, unknown>>;
    resolveConfig(params?: Partial<Pick<WorkflowParams, "action" | "state_path">>): ReturnType<typeof resolveConfig>;
}
declare function createRiddleProofEngine(pluginConfig?: PluginConfig): RiddleProofEngine;

type proofRunEngine_RiddleProofEngine = RiddleProofEngine;
declare const proofRunEngine_createRiddleProofEngine: typeof createRiddleProofEngine;
declare const proofRunEngine_executeWorkflow: typeof executeWorkflow;
declare namespace proofRunEngine {
  export { type proofRunEngine_RiddleProofEngine as RiddleProofEngine, proofRunEngine_createRiddleProofEngine as createRiddleProofEngine, proofRunEngine_executeWorkflow as executeWorkflow };
}

export { type RiddleProofEngine as R, createRiddleProofEngine as c, executeWorkflow as e, proofRunEngine as p };
