@riddledc/riddle-proof 0.7.225 → 0.7.227

package/dist/proof-run-engine-CSSc0mNn.d.ts

@@ -0,0 +1,764 @@
+import { W as WorkflowParams, r as resolveConfig, P as PluginConfig, a as WorkflowStage } from './proof-run-core-CE0jx7wL.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" | "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: 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 };