@riddledc/riddle-proof 0.8.29 → 0.8.31

package/dist/index.cjs

@@ -157,6 +157,7 @@ function buildSetupArgs(params, config) {
     discord_thread_id: params.discord_thread_id || "",
     discord_message_id: params.discord_message_id || "",
     discord_source_url: params.discord_source_url || "",
+    ship_mode: params.ship_mode || "",
     leave_draft: params.leave_draft ? "true" : ""
   };
 }
@@ -746,7 +747,8 @@ function mergeStateFromParams(statePath, params) {
     "auth_headers_json",
     "proof_plan",
     "implementation_notes",
-    "implementation_mode"
+    "implementation_mode",
+    "ship_mode"
   ];
   for (const field of stringFields) {
     if (params[field] !== void 0) {
@@ -1365,6 +1367,72 @@ function updateState(statePath, mutate) {
 function nowIso() {
   return (/* @__PURE__ */ new Date()).toISOString();
 }
+function missingExecutableError(error) {
+  return error?.code === "ENOENT" || /\bENOENT\b/.test(String(error?.message || error || ""));
+}
+function pythonScriptsForBundledStage(step) {
+  if (step === "setup") return ["preflight.py", "setup.py"];
+  if (step === "recon") return ["recon.py"];
+  if (step === "author") return ["author.py"];
+  if (step === "implement") return ["implement.py"];
+  if (step === "verify") return ["verify.py"];
+  if (step === "ship") return ["ship.py"];
+  return [];
+}
+function runBundledPythonStage(step, runtimeDir, env) {
+  const scripts = pythonScriptsForBundledStage(step);
+  if (!scripts.length) {
+    return {
+      ok: false,
+      error: `No bundled Python fallback is defined for ${step}.`
+    };
+  }
+  const pythonCommand = process.env.RIDDLE_PROOF_PYTHON_COMMAND || "python3";
+  const libDir = import_node_path2.default.join(runtimeDir, "lib");
+  const stdout = [];
+  const stderr = [];
+  const executed = [];
+  try {
+    for (const script of scripts) {
+      const scriptPath = import_node_path2.default.join(libDir, script);
+      if (!(0, import_node_fs2.existsSync)(scriptPath)) {
+        return {
+          ok: false,
+          stdout: stdout.join(""),
+          stderr: stderr.join(""),
+          error: `Riddle Proof bundled Python fallback missing ${scriptPath}`
+        };
+      }
+      executed.push(script);
+      stdout.push((0, import_node_child_process.execFileSync)(pythonCommand, [scriptPath], {
+        encoding: "utf-8",
+        env,
+        stdio: ["ignore", "pipe", "pipe"]
+      }));
+    }
+  } catch (error) {
+    return {
+      ok: false,
+      stdout: `${stdout.join("")}${String(error?.stdout || "")}`,
+      stderr: `${stderr.join("")}${String(error?.stderr || "")}`,
+      error: error?.message || String(error),
+      raw: {
+        runner: "bundled_python_fallback",
+        scripts: executed
+      }
+    };
+  }
+  return {
+    ok: true,
+    stdout: stdout.join(""),
+    stderr: stderr.join(""),
+    raw: {
+      ok: true,
+      runner: "bundled_python_fallback",
+      scripts: executed
+    }
+  };
+}
 function appendRuntimeEventToState(state, event) {
   const events = Array.isArray(state.runtime_events) ? state.runtime_events : [];
   state.runtime_events = [...events, event].slice(-RUNTIME_EVENT_LIMIT);
@@ -1931,6 +1999,17 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
         })
       );
     } catch (error) {
+      if (!process.env.RIDDLE_PROOF_LOBSTER_SCRIPT && missingExecutableError(error)) {
+        const fallback = runBundledPythonStage(step, config.riddleProofDir, env);
+        return finishRuntimeStep(config.statePath, action, {
+          ok: fallback.ok,
+          step,
+          raw: fallback.raw,
+          stdout: fallback.stdout,
+          stderr: fallback.stderr,
+          error: fallback.error
+        }, timer);
+      }
       return finishRuntimeStep(config.statePath, action, {
         ok: false,
         step,
@@ -2684,6 +2763,60 @@ ${implementRes.stderr || ""}`;
         verifyRes = runOne("verify");
         executed.push(executedStep(verifyRes));
         if (!verifyRes.ok || verifyRes.haltedForApproval) {
+          const failedVerifyState = readState(config.statePath);
+          const failedVerifyStatus = failedVerifyState?.verify_status || "";
+          if (!verifyRes.haltedForApproval && (failedVerifyStatus === "capture_incomplete" || failedVerifyStatus === "capture_error")) {
+            const verifyDecisionRequest2 = failedVerifyState?.verify_decision_request || null;
+            const captureQuality = verifyDecisionRequest2?.capture_quality || {};
+            const conclusiveVerifyBlockers2 = proofAssessmentHardBlockersForState({
+              ...failedVerifyState,
+              structured_interaction_capture_failure_summary: stringValue(verifyDecisionRequest2?.structured_interaction_capture_failure_summary) || stringValue(failedVerifyState?.structured_interaction_capture_failure_summary) || void 0,
+              structured_interaction_failure_summary: stringValue(verifyDecisionRequest2?.structured_interaction_failure_summary) || stringValue(failedVerifyState?.structured_interaction_failure_summary) || void 0
+            });
+            const structuredInteractionFailureSummary2 = stringValue(verifyDecisionRequest2?.structured_interaction_capture_failure_summary) || stringValue(verifyDecisionRequest2?.structured_interaction_failure_summary) || stringValue(failedVerifyState?.structured_interaction_capture_failure_summary) || stringValue(failedVerifyState?.structured_interaction_failure_summary) || stringValue(conclusiveVerifyBlockers2[0]);
+            const captureTerminalBlocker = failedVerifyStatus === "capture_error" || conclusiveVerifyBlockers2.length > 0 || Boolean(structuredInteractionFailureSummary2) || captureQuality?.terminal_blocker === true || captureQuality?.blocking === true;
+            const terminalCaptureQualitySummary = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true ? stringValue(captureQuality?.summary) : "";
+            const checkpointName = captureTerminalBlocker ? "verify_capture_blocked" : "verify_capture_retry";
+            const summary = terminalCaptureQualitySummary || structuredInteractionFailureSummary2 || stringValue(verifyDecisionRequest2?.summary) || stringValue(failedVerifyState?.verify_summary) || stringValue(failedVerifyState?.proof_summary) || stringValue(verifyRes.error) || "Verify capture failed before the evidence could be judged.";
+            const failedVerifyDetails = {
+              executed,
+              verifyStatus: failedVerifyStatus,
+              verifySummary: failedVerifyState?.verify_summary || failedVerifyState?.proof_summary || null,
+              afterCdn: failedVerifyState?.after_cdn || null,
+              mergeRecommendation: failedVerifyState?.merge_recommendation || null,
+              verifyDecisionRequest: verifyDecisionRequest2,
+              conclusiveVerifyBlockers: conclusiveVerifyBlockers2,
+              verifyError: verifyRes.error || null,
+              verifyStdout: verifyRes.stdout || "",
+              verifyStderr: verifyRes.stderr || ""
+            };
+            recordAttempt("verify", "checkpoint", summary, {
+              autoApproved: verifyRes.autoApproved || false,
+              checkpoint: checkpointName,
+              error: verifyRes.error || null,
+              details: failedVerifyDetails
+            });
+            return checkpoint(
+              "verify",
+              checkpointName,
+              summary,
+              {
+                ok: true,
+                nextActions: captureTerminalBlocker ? ["inspect_after_capture", "report_specific_browser_evidence_blocker", "start_a_new_run_after_the_product_or_script_is_fixed"] : ["inspect_after_capture", "continue_internal_loop_with_checkpoint", "return_to_recon_if_baseline_is_wrong"],
+                advanceOptions: needsImplementation ? ["author", "implement", "ship", "verify", "recon"] : ["author", "verify", "recon"],
+                recommendedAdvanceStage: captureTerminalBlocker ? null : verifyDecisionRequest2?.recommended_stage || verifyDecisionRequest2?.continue_with_stage || "author",
+                continueWithStage: captureTerminalBlocker ? null : verifyDecisionRequest2?.continue_with_stage || verifyDecisionRequest2?.recommended_stage || "author",
+                blocking: captureTerminalBlocker,
+                details: failedVerifyDetails,
+                verifyStatus: failedVerifyStatus,
+                verifySummary: failedVerifyDetails.verifySummary,
+                afterCdn: failedVerifyState?.after_cdn || null,
+                mergeRecommendation: failedVerifyState?.merge_recommendation || null,
+                verifyDecisionRequest: verifyDecisionRequest2,
+                executed
+              }
+            );
+          }
           return failedRun("verify", verifyRes.haltedForApproval ? "verify halted for approval" : "verify failed", verifyRes, {
             checkpoint: "verify_failed",
             details: { executed },
@@ -2737,8 +2870,9 @@ ${implementRes.stderr || ""}`;
           });
           state = readState(config.statePath);
         }
+        const terminalCaptureQualitySummary = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true ? stringValue(captureQuality?.summary) : "";
         const checkpointName = captureTerminalBlocker ? "verify_capture_blocked" : "verify_capture_retry";
-        const summary = structuredInteractionFailureSummary || stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
+        const summary = terminalCaptureQualitySummary || structuredInteractionFailureSummary || stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
         recordAttempt("verify", "checkpoint", summary, {
           autoApproved: verifyRes.autoApproved || false,
           checkpoint: checkpointName,
@@ -5541,6 +5675,7 @@ function initialRunParams(request, input, state) {
     auth_headers_json: request.auth_headers_json,
     color_scheme: request.color_scheme,
     wait_for_selector: request.wait_for_selector,
+    ship_mode: request.ship_mode,
     leave_draft: request.leave_draft || void 0,
     discord_channel: request.integration_context?.channel_id,
     discord_thread_id: request.integration_context?.thread_id,
@@ -5553,6 +5688,18 @@ function initialRunParams(request, input, state) {
 function effectiveShipMode(request, config) {
   return request.ship_mode || config?.defaultShipMode || "ship";
 }
+function continuationRequestsShip(next) {
+  return Boolean(next && (next.advance_stage === "ship" || next.ship_after_verify === true));
+}
+function shipHeldTerminal(state, result) {
+  return terminalResult(
+    state,
+    "ready_to_ship",
+    result,
+    result.summary || "Riddle Proof evidence is approved, but ship_mode=none is holding before PR/ship.",
+    { ship_held: true }
+  );
+}
 function checkpointContinueStage2(result) {
   const resume = recordValue(result.checkpointContract?.resume);
   return nonEmptyString(resume?.continue_with_stage);
@@ -6077,6 +6224,28 @@ function checkpointResponseContinuation(state, value) {
     const assessment = proofAssessmentPayloadFromCheckpointResponse(response);
     if (assessment) {
       appendCheckpointResponse(state, response);
+      if (state.request.ship_mode !== "ship" && proofAssessmentRequestsShip(assessment)) {
+        const result = {
+          ok: true,
+          state_path: state.request.engine_state_path || packet.state_path || "",
+          checkpoint: packet.checkpoint,
+          stage: packet.stage,
+          summary: response.summary,
+          checkpointContract: checkpointContractFromPacket(packet) || null
+        };
+        return {
+          terminal: terminalResult(
+            state,
+            "ready_to_ship",
+            result,
+            response.summary || "Riddle Proof evidence is approved, but ship_mode=none is holding before PR/ship.",
+            {
+              ship_held: true,
+              proof_assessment: assessment
+            }
+          )
+        };
+      }
       return { next: { ...base, proof_assessment_json: jsonParam(assessment) } };
     }
     if (response.decision === "blocked" || response.decision === "human_review") {
@@ -6327,6 +6496,9 @@ async function routeCheckpoint(request, state, result, agent, input) {
     }
     const next = stageCheckpointContinuation(result);
     if (next) {
+      if (continuationRequestsShip(next) && effectiveShipMode(request, input.config) !== "ship") {
+        return { terminal: shipHeldTerminal(state, result) };
+      }
       recordEvent(state, {
         kind: "checkpoint.recovery_continuation",
         checkpoint,
@@ -6358,6 +6530,9 @@ async function routeCheckpoint(request, state, result, agent, input) {
     };
   }
   if (checkpoint === "ship_review") {
+    if (effectiveShipMode(request, input.config) !== "ship") {
+      return { terminal: shipHeldTerminal(state, result) };
+    }
     return {
       terminal: terminalResult(state, "shipped", result, result.summary || "Riddle Proof shipped.")
     };
@@ -6393,9 +6568,7 @@ async function routeCheckpoint(request, state, result, agent, input) {
       return { next: { ...baseContinuation(result), ship_after_verify: true } };
     }
     return {
-      terminal: terminalResult(state, "ready_to_ship", result, result.summary || "Riddle Proof evidence is approved, but ship_mode=none is holding before PR/ship.", {
-        ship_held: true
-      })
+      terminal: shipHeldTerminal(state, result)
     };
   }
   if (checkpoint === "verify_audit_complete") {
@@ -6686,18 +6859,19 @@ async function routeCheckpoint(request, state, result, agent, input) {
     const next = recommendedContinuation(result) || defaultAwaitingStageContinuation(result);
     if (next) {
       if (String(next.advance_stage || "") === "ship" && effectiveShipMode(request, input.config) !== "ship") {
-        return {
-          terminal: terminalResult(state, "ready_to_ship", result, result.summary || "Riddle Proof evidence is approved, but ship_mode=none is holding before PR/ship.", {
-            ship_held: true
-          })
-        };
+        return { terminal: shipHeldTerminal(state, result) };
       }
       return { next };
     }
   }
   if (checkpoint.endsWith("_review")) {
     const next = recommendedContinuation(result);
-    if (next) return { next };
+    if (next) {
+      if (continuationRequestsShip(next) && effectiveShipMode(request, input.config) !== "ship") {
+        return { terminal: shipHeldTerminal(state, result) };
+      }
+      return { next };
+    }
   }
   return {
     blocker: {
@@ -6723,6 +6897,9 @@ async function runRiddleProofEngineHarness(input) {
   if (checkpointContinuation.blocker) {
     return blockerResult(state, null, checkpointContinuation.blocker);
   }
+  if (checkpointContinuation.terminal) {
+    return checkpointContinuation.terminal;
+  }
   const request = state.request;
   const agent = input.agent || createDisabledRiddleProofAgentAdapter();
   const maxIterations = Math.max(

package/dist/index.js

@@ -1,6 +1,6 @@
 import {
   runRiddleProof
-} from "./chunk-3OTO7IDH.js";
+} from "./chunk-C2NHHBFV.js";
 import "./chunk-6F4PWJZI.js";
 import {
   RIDDLE_PROOF_PLAYABILITY_ASSESSMENT_VERSION,
@@ -95,7 +95,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-AM3K5FPW.js";
+} from "./chunk-ZREWMTFA.js";
 import {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
@@ -112,7 +112,7 @@ import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
 } from "./chunk-RDPG554T.js";
-import "./chunk-K6HZUSHH.js";
+import "./chunk-X7SQTCIQ.js";
 import {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,

package/dist/{proof-run-core-C8FDUhle.d.cts → proof-run-core-B1GeqkR8.d.cts}

@@ -55,6 +55,7 @@ interface WorkflowParams {
     auto_approve?: boolean;
     continue_from_checkpoint?: boolean;
     ship_after_verify?: boolean;
+    ship_mode?: "none" | "ship";
     leave_draft?: boolean;
     cleanup_merged_pr?: boolean;
     fetch_base?: boolean;
@@ -148,6 +149,7 @@ declare function buildSetupArgs(params: WorkflowParams, config: ReturnType<typeo
     discord_thread_id: string;
     discord_message_id: string;
     discord_source_url: string;
+    ship_mode: string;
     leave_draft: string;
 };
 declare function readState(statePath: string): any;

package/dist/{proof-run-core-C8FDUhle.d.ts → proof-run-core-B1GeqkR8.d.ts}

@@ -55,6 +55,7 @@ interface WorkflowParams {
     auto_approve?: boolean;
     continue_from_checkpoint?: boolean;
     ship_after_verify?: boolean;
+    ship_mode?: "none" | "ship";
     leave_draft?: boolean;
     cleanup_merged_pr?: boolean;
     fetch_base?: boolean;
@@ -148,6 +149,7 @@ declare function buildSetupArgs(params: WorkflowParams, config: ReturnType<typeo
     discord_thread_id: string;
     discord_message_id: string;
     discord_source_url: string;
+    ship_mode: string;
     leave_draft: string;
 };
 declare function readState(statePath: string): any;

package/dist/proof-run-core.cjs

@@ -201,6 +201,7 @@ function buildSetupArgs(params, config) {
     discord_thread_id: params.discord_thread_id || "",
     discord_message_id: params.discord_message_id || "",
     discord_source_url: params.discord_source_url || "",
+    ship_mode: params.ship_mode || "",
     leave_draft: params.leave_draft ? "true" : ""
   };
 }
@@ -972,7 +973,8 @@ function mergeStateFromParams(statePath, params) {
     "auth_headers_json",
     "proof_plan",
     "implementation_notes",
-    "implementation_mode"
+    "implementation_mode",
+    "ship_mode"
   ];
   for (const field of stringFields) {
     if (params[field] !== void 0) {

package/dist/proof-run-core.d.cts

@@ -1 +1 @@
-export { B as BUNDLED_RIDDLE_PROOF_DIR, C as CHECKPOINT_CONTRACT_VERSION, b as CheckpointInputContract, P as PluginConfig, R as RIDDLE_PROOF_DIR_CANDIDATES, S as ShipGateValidation, c as WORKFLOW_STAGE_ORDER, d as WorkflowAction, W as WorkflowParams, a as WorkflowStage, e as buildCheckpointContract, f as buildSetupArgs, g as checkpointContinueStage, h as clearStageDecisionRequest, i as ensureAction, j as ensureStageLoopState, k as invalidateVerifyEvidence, m as mergeStateFromParams, n as noImplementationModeFor, l as previewModeFromWorkflowMode, o as proofAssessmentHardBlockersForState, q as readState, s as recordStageAttempt, t as requiredBaselineLabelsForState, r as resolveConfig, u as resolveRiddleProofDir, v as setStageDecisionRequest, w as summarizeState, x as validateShipGate, y as visualDeltaForState, z as visualDeltaRequiredForState, A as visualDeltaShipGateReason, D as workflowFile, E as writeState } from './proof-run-core-C8FDUhle.cjs';
+export { B as BUNDLED_RIDDLE_PROOF_DIR, C as CHECKPOINT_CONTRACT_VERSION, b as CheckpointInputContract, P as PluginConfig, R as RIDDLE_PROOF_DIR_CANDIDATES, S as ShipGateValidation, c as WORKFLOW_STAGE_ORDER, d as WorkflowAction, W as WorkflowParams, a as WorkflowStage, e as buildCheckpointContract, f as buildSetupArgs, g as checkpointContinueStage, h as clearStageDecisionRequest, i as ensureAction, j as ensureStageLoopState, k as invalidateVerifyEvidence, m as mergeStateFromParams, n as noImplementationModeFor, l as previewModeFromWorkflowMode, o as proofAssessmentHardBlockersForState, q as readState, s as recordStageAttempt, t as requiredBaselineLabelsForState, r as resolveConfig, u as resolveRiddleProofDir, v as setStageDecisionRequest, w as summarizeState, x as validateShipGate, y as visualDeltaForState, z as visualDeltaRequiredForState, A as visualDeltaShipGateReason, D as workflowFile, E as writeState } from './proof-run-core-B1GeqkR8.cjs';

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

@@ -1 +1 @@
-export { B as BUNDLED_RIDDLE_PROOF_DIR, C as CHECKPOINT_CONTRACT_VERSION, b as CheckpointInputContract, P as PluginConfig, R as RIDDLE_PROOF_DIR_CANDIDATES, S as ShipGateValidation, c as WORKFLOW_STAGE_ORDER, d as WorkflowAction, W as WorkflowParams, a as WorkflowStage, e as buildCheckpointContract, f as buildSetupArgs, g as checkpointContinueStage, h as clearStageDecisionRequest, i as ensureAction, j as ensureStageLoopState, k as invalidateVerifyEvidence, m as mergeStateFromParams, n as noImplementationModeFor, l as previewModeFromWorkflowMode, o as proofAssessmentHardBlockersForState, q as readState, s as recordStageAttempt, t as requiredBaselineLabelsForState, r as resolveConfig, u as resolveRiddleProofDir, v as setStageDecisionRequest, w as summarizeState, x as validateShipGate, y as visualDeltaForState, z as visualDeltaRequiredForState, A as visualDeltaShipGateReason, D as workflowFile, E as writeState } from './proof-run-core-C8FDUhle.js';
+export { B as BUNDLED_RIDDLE_PROOF_DIR, C as CHECKPOINT_CONTRACT_VERSION, b as CheckpointInputContract, P as PluginConfig, R as RIDDLE_PROOF_DIR_CANDIDATES, S as ShipGateValidation, c as WORKFLOW_STAGE_ORDER, d as WorkflowAction, W as WorkflowParams, a as WorkflowStage, e as buildCheckpointContract, f as buildSetupArgs, g as checkpointContinueStage, h as clearStageDecisionRequest, i as ensureAction, j as ensureStageLoopState, k as invalidateVerifyEvidence, m as mergeStateFromParams, n as noImplementationModeFor, l as previewModeFromWorkflowMode, o as proofAssessmentHardBlockersForState, q as readState, s as recordStageAttempt, t as requiredBaselineLabelsForState, r as resolveConfig, u as resolveRiddleProofDir, v as setStageDecisionRequest, w as summarizeState, x as validateShipGate, y as visualDeltaForState, z as visualDeltaRequiredForState, A as visualDeltaShipGateReason, D as workflowFile, E as writeState } from './proof-run-core-B1GeqkR8.js';

package/dist/proof-run-core.js

@@ -27,7 +27,7 @@ import {
   visualDeltaShipGateReason,
   workflowFile,
   writeState
-} from "./chunk-K6HZUSHH.js";
+} from "./chunk-X7SQTCIQ.js";
 import "./chunk-MLKGABMK.js";
 export {
   BUNDLED_RIDDLE_PROOF_DIR,

package/dist/{proof-run-engine-D80hVFMf.d.cts → proof-run-engine-4dM37pEx.d.cts}

@@ -1,4 +1,4 @@
-import { W as WorkflowParams, r as resolveConfig, P as PluginConfig, a as WorkflowStage } from './proof-run-core-C8FDUhle.cjs';
+import { W as WorkflowParams, r as resolveConfig, P as PluginConfig, a as WorkflowStage } from './proof-run-core-B1GeqkR8.cjs';
 
 declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, resolvedConfig?: ReturnType<typeof resolveConfig>): Promise<{
     ok: boolean;

package/dist/{proof-run-engine-By7oLsF-.d.ts → proof-run-engine-BqaeqAze.d.ts}

@@ -1,4 +1,4 @@
-import { W as WorkflowParams, r as resolveConfig, P as PluginConfig, a as WorkflowStage } from './proof-run-core-C8FDUhle.js';
+import { W as WorkflowParams, r as resolveConfig, P as PluginConfig, a as WorkflowStage } from './proof-run-core-B1GeqkR8.js';
 
 declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, resolvedConfig?: ReturnType<typeof resolveConfig>): Promise<{
     ok: boolean;

package/dist/proof-run-engine.cjs

@@ -180,6 +180,7 @@ function buildSetupArgs(params, config) {
     discord_thread_id: params.discord_thread_id || "",
     discord_message_id: params.discord_message_id || "",
     discord_source_url: params.discord_source_url || "",
+    ship_mode: params.ship_mode || "",
     leave_draft: params.leave_draft ? "true" : ""
   };
 }
@@ -951,7 +952,8 @@ function mergeStateFromParams(statePath, params) {
     "auth_headers_json",
     "proof_plan",
     "implementation_notes",
-    "implementation_mode"
+    "implementation_mode",
+    "ship_mode"
   ];
   for (const field of stringFields) {
     if (params[field] !== void 0) {
@@ -1363,6 +1365,72 @@ var RUNTIME_EVENT_LIMIT = 100;
 function nowIso() {
   return (/* @__PURE__ */ new Date()).toISOString();
 }
+function missingExecutableError(error) {
+  return error?.code === "ENOENT" || /\bENOENT\b/.test(String(error?.message || error || ""));
+}
+function pythonScriptsForBundledStage(step) {
+  if (step === "setup") return ["preflight.py", "setup.py"];
+  if (step === "recon") return ["recon.py"];
+  if (step === "author") return ["author.py"];
+  if (step === "implement") return ["implement.py"];
+  if (step === "verify") return ["verify.py"];
+  if (step === "ship") return ["ship.py"];
+  return [];
+}
+function runBundledPythonStage(step, runtimeDir, env) {
+  const scripts = pythonScriptsForBundledStage(step);
+  if (!scripts.length) {
+    return {
+      ok: false,
+      error: `No bundled Python fallback is defined for ${step}.`
+    };
+  }
+  const pythonCommand = process.env.RIDDLE_PROOF_PYTHON_COMMAND || "python3";
+  const libDir = import_node_path2.default.join(runtimeDir, "lib");
+  const stdout = [];
+  const stderr = [];
+  const executed = [];
+  try {
+    for (const script of scripts) {
+      const scriptPath = import_node_path2.default.join(libDir, script);
+      if (!(0, import_node_fs2.existsSync)(scriptPath)) {
+        return {
+          ok: false,
+          stdout: stdout.join(""),
+          stderr: stderr.join(""),
+          error: `Riddle Proof bundled Python fallback missing ${scriptPath}`
+        };
+      }
+      executed.push(script);
+      stdout.push((0, import_node_child_process.execFileSync)(pythonCommand, [scriptPath], {
+        encoding: "utf-8",
+        env,
+        stdio: ["ignore", "pipe", "pipe"]
+      }));
+    }
+  } catch (error) {
+    return {
+      ok: false,
+      stdout: `${stdout.join("")}${String(error?.stdout || "")}`,
+      stderr: `${stderr.join("")}${String(error?.stderr || "")}`,
+      error: error?.message || String(error),
+      raw: {
+        runner: "bundled_python_fallback",
+        scripts: executed
+      }
+    };
+  }
+  return {
+    ok: true,
+    stdout: stdout.join(""),
+    stderr: stderr.join(""),
+    raw: {
+      ok: true,
+      runner: "bundled_python_fallback",
+      scripts: executed
+    }
+  };
+}
 function appendRuntimeEventToState(state, event) {
   const events = Array.isArray(state.runtime_events) ? state.runtime_events : [];
   state.runtime_events = [...events, event].slice(-RUNTIME_EVENT_LIMIT);
@@ -1929,6 +1997,17 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
         })
       );
     } catch (error) {
+      if (!process.env.RIDDLE_PROOF_LOBSTER_SCRIPT && missingExecutableError(error)) {
+        const fallback = runBundledPythonStage(step, config.riddleProofDir, env);
+        return finishRuntimeStep(config.statePath, action, {
+          ok: fallback.ok,
+          step,
+          raw: fallback.raw,
+          stdout: fallback.stdout,
+          stderr: fallback.stderr,
+          error: fallback.error
+        }, timer);
+      }
       return finishRuntimeStep(config.statePath, action, {
         ok: false,
         step,
@@ -2682,6 +2761,60 @@ ${implementRes.stderr || ""}`;
         verifyRes = runOne("verify");
         executed.push(executedStep(verifyRes));
         if (!verifyRes.ok || verifyRes.haltedForApproval) {
+          const failedVerifyState = readState(config.statePath);
+          const failedVerifyStatus = failedVerifyState?.verify_status || "";
+          if (!verifyRes.haltedForApproval && (failedVerifyStatus === "capture_incomplete" || failedVerifyStatus === "capture_error")) {
+            const verifyDecisionRequest2 = failedVerifyState?.verify_decision_request || null;
+            const captureQuality = verifyDecisionRequest2?.capture_quality || {};
+            const conclusiveVerifyBlockers2 = proofAssessmentHardBlockersForState({
+              ...failedVerifyState,
+              structured_interaction_capture_failure_summary: stringValue(verifyDecisionRequest2?.structured_interaction_capture_failure_summary) || stringValue(failedVerifyState?.structured_interaction_capture_failure_summary) || void 0,
+              structured_interaction_failure_summary: stringValue(verifyDecisionRequest2?.structured_interaction_failure_summary) || stringValue(failedVerifyState?.structured_interaction_failure_summary) || void 0
+            });
+            const structuredInteractionFailureSummary2 = stringValue(verifyDecisionRequest2?.structured_interaction_capture_failure_summary) || stringValue(verifyDecisionRequest2?.structured_interaction_failure_summary) || stringValue(failedVerifyState?.structured_interaction_capture_failure_summary) || stringValue(failedVerifyState?.structured_interaction_failure_summary) || stringValue(conclusiveVerifyBlockers2[0]);
+            const captureTerminalBlocker = failedVerifyStatus === "capture_error" || conclusiveVerifyBlockers2.length > 0 || Boolean(structuredInteractionFailureSummary2) || captureQuality?.terminal_blocker === true || captureQuality?.blocking === true;
+            const terminalCaptureQualitySummary = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true ? stringValue(captureQuality?.summary) : "";
+            const checkpointName = captureTerminalBlocker ? "verify_capture_blocked" : "verify_capture_retry";
+            const summary = terminalCaptureQualitySummary || structuredInteractionFailureSummary2 || stringValue(verifyDecisionRequest2?.summary) || stringValue(failedVerifyState?.verify_summary) || stringValue(failedVerifyState?.proof_summary) || stringValue(verifyRes.error) || "Verify capture failed before the evidence could be judged.";
+            const failedVerifyDetails = {
+              executed,
+              verifyStatus: failedVerifyStatus,
+              verifySummary: failedVerifyState?.verify_summary || failedVerifyState?.proof_summary || null,
+              afterCdn: failedVerifyState?.after_cdn || null,
+              mergeRecommendation: failedVerifyState?.merge_recommendation || null,
+              verifyDecisionRequest: verifyDecisionRequest2,
+              conclusiveVerifyBlockers: conclusiveVerifyBlockers2,
+              verifyError: verifyRes.error || null,
+              verifyStdout: verifyRes.stdout || "",
+              verifyStderr: verifyRes.stderr || ""
+            };
+            recordAttempt("verify", "checkpoint", summary, {
+              autoApproved: verifyRes.autoApproved || false,
+              checkpoint: checkpointName,
+              error: verifyRes.error || null,
+              details: failedVerifyDetails
+            });
+            return checkpoint(
+              "verify",
+              checkpointName,
+              summary,
+              {
+                ok: true,
+                nextActions: captureTerminalBlocker ? ["inspect_after_capture", "report_specific_browser_evidence_blocker", "start_a_new_run_after_the_product_or_script_is_fixed"] : ["inspect_after_capture", "continue_internal_loop_with_checkpoint", "return_to_recon_if_baseline_is_wrong"],
+                advanceOptions: needsImplementation ? ["author", "implement", "ship", "verify", "recon"] : ["author", "verify", "recon"],
+                recommendedAdvanceStage: captureTerminalBlocker ? null : verifyDecisionRequest2?.recommended_stage || verifyDecisionRequest2?.continue_with_stage || "author",
+                continueWithStage: captureTerminalBlocker ? null : verifyDecisionRequest2?.continue_with_stage || verifyDecisionRequest2?.recommended_stage || "author",
+                blocking: captureTerminalBlocker,
+                details: failedVerifyDetails,
+                verifyStatus: failedVerifyStatus,
+                verifySummary: failedVerifyDetails.verifySummary,
+                afterCdn: failedVerifyState?.after_cdn || null,
+                mergeRecommendation: failedVerifyState?.merge_recommendation || null,
+                verifyDecisionRequest: verifyDecisionRequest2,
+                executed
+              }
+            );
+          }
           return failedRun("verify", verifyRes.haltedForApproval ? "verify halted for approval" : "verify failed", verifyRes, {
             checkpoint: "verify_failed",
             details: { executed },
@@ -2735,8 +2868,9 @@ ${implementRes.stderr || ""}`;
           });
           state = readState(config.statePath);
         }
+        const terminalCaptureQualitySummary = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true ? stringValue(captureQuality?.summary) : "";
         const checkpointName = captureTerminalBlocker ? "verify_capture_blocked" : "verify_capture_retry";
-        const summary = structuredInteractionFailureSummary || stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
+        const summary = terminalCaptureQualitySummary || structuredInteractionFailureSummary || stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
         recordAttempt("verify", "checkpoint", summary, {
           autoApproved: verifyRes.autoApproved || false,
           checkpoint: checkpointName,

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

@@ -1,2 +1,2 @@
-import './proof-run-core-C8FDUhle.cjs';
-export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-D80hVFMf.cjs';
+import './proof-run-core-B1GeqkR8.cjs';
+export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-4dM37pEx.cjs';

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

@@ -1,2 +1,2 @@
-import './proof-run-core-C8FDUhle.js';
-export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-By7oLsF-.js';
+import './proof-run-core-B1GeqkR8.js';
+export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-BqaeqAze.js';

package/dist/proof-run-engine.js

@@ -1,8 +1,8 @@
 import {
   createRiddleProofEngine,
   executeWorkflow
-} from "./chunk-YC77HZVF.js";
-import "./chunk-K6HZUSHH.js";
+} from "./chunk-IOI6QR3B.js";
+import "./chunk-X7SQTCIQ.js";
 import "./chunk-MLKGABMK.js";
 export {
   createRiddleProofEngine,

package/dist/runner.js

@@ -1,9 +1,9 @@
 import {
   runRiddleProof
-} from "./chunk-3OTO7IDH.js";
+} from "./chunk-C2NHHBFV.js";
 import "./chunk-ZQWVXQKJ.js";
 import "./chunk-RDPG554T.js";
-import "./chunk-K6HZUSHH.js";
+import "./chunk-X7SQTCIQ.js";
 import "./chunk-OILKSY5J.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";