@riddledc/riddle-proof 0.7.226 → 0.7.227

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

@@ -1,757 +1,2 @@
-import { WorkflowParams, resolveConfig, PluginConfig, WorkflowStage } from './proof-run-core.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;
-
-export { type RiddleProofEngine, createRiddleProofEngine, executeWorkflow };
+import './proof-run-core-CE0jx7wL.js';
+export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-CSSc0mNn.js';