@riddledc/riddle-proof 0.8.30 → 0.8.31

package/dist/advanced/engine-harness.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,
@@ -4849,6 +4928,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,
@@ -4861,6 +4941,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);
@@ -5385,6 +5477,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") {
@@ -5635,6 +5749,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,
@@ -5666,6 +5783,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.")
     };
@@ -5701,9 +5821,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") {
@@ -5994,18 +6112,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: {
@@ -6031,6 +6150,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/advanced/engine-harness.js

@@ -2,10 +2,10 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "../chunk-UWO4YR7I.js";
+} from "../chunk-ZREWMTFA.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";

package/dist/advanced/index.cjs

@@ -188,6 +188,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" : ""
   };
 }
@@ -777,7 +778,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) {
@@ -1396,6 +1398,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);
@@ -1962,6 +2030,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,
@@ -5386,6 +5465,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,
@@ -5398,6 +5478,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);
@@ -5922,6 +6014,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") {
@@ -6172,6 +6286,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,
@@ -6203,6 +6320,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.")
     };
@@ -6238,9 +6358,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") {
@@ -6531,18 +6649,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: {
@@ -6568,6 +6687,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/advanced/index.d.cts

@@ -1,5 +1,5 @@
 export { b as runner } from '../runner-4LJ5z0D-.cjs';
 export { l as engineHarness } from '../engine-harness-LBfqbFSe.cjs';
-export { p as proofRunCore } from '../proof-run-core-C8FDUhle.cjs';
-export { p as proofRunEngine } from '../proof-run-engine-D80hVFMf.cjs';
+export { p as proofRunCore } from '../proof-run-core-B1GeqkR8.cjs';
+export { p as proofRunEngine } from '../proof-run-engine-4dM37pEx.cjs';
 import '../types.cjs';

package/dist/advanced/index.d.ts

@@ -1,5 +1,5 @@
 export { b as runner } from '../runner-BdQpOkZD.js';
 export { l as engineHarness } from '../engine-harness-CMACHP6A.js';
-export { p as proofRunCore } from '../proof-run-core-C8FDUhle.js';
-export { p as proofRunEngine } from '../proof-run-engine-By7oLsF-.js';
+export { p as proofRunCore } from '../proof-run-core-B1GeqkR8.js';
+export { p as proofRunEngine } from '../proof-run-engine-BqaeqAze.js';
 import '../types.js';

package/dist/advanced/index.js

@@ -1,17 +1,17 @@
 import {
   proof_run_engine_exports
-} from "../chunk-32RE64IO.js";
+} from "../chunk-IOI6QR3B.js";
 import {
   runner_exports
-} from "../chunk-3OTO7IDH.js";
+} from "../chunk-C2NHHBFV.js";
 import {
   engine_harness_exports
-} from "../chunk-UWO4YR7I.js";
+} from "../chunk-ZREWMTFA.js";
 import "../chunk-ZQWVXQKJ.js";
 import "../chunk-RDPG554T.js";
 import {
   proof_run_core_exports
-} from "../chunk-K6HZUSHH.js";
+} from "../chunk-X7SQTCIQ.js";
 import "../chunk-OILKSY5J.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";

package/dist/advanced/proof-run-core.cjs

@@ -203,6 +203,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" : ""
   };
 }
@@ -974,7 +975,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/advanced/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/advanced/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/advanced/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/advanced/proof-run-engine.cjs

@@ -182,6 +182,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" : ""
   };
 }
@@ -953,7 +954,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 @@ 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);
@@ -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,

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

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

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

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