@riddledc/riddle-proof 0.8.30 → 0.8.32

package/dist/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,
@@ -4847,6 +4926,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,
@@ -4859,6 +4939,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);
@@ -5383,6 +5475,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") {
@@ -5633,6 +5747,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,
@@ -5664,6 +5781,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.")
     };
@@ -5699,9 +5819,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") {
@@ -5992,18 +6110,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: {
@@ -6029,6 +6148,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/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/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,
@@ -5596,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,
@@ -5608,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);
@@ -6132,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") {
@@ -6382,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,
@@ -6413,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.")
     };
@@ -6448,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") {
@@ -6741,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: {
@@ -6778,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-UWO4YR7I.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-By7oLsF-.d.ts → proof-run-engine-DYfmd8d7.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;
@@ -292,7 +292,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     blocking?: boolean;
     details?: Record<string, unknown>;
     ok: boolean;
-    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
+    action: "recon" | "author" | "ship" | "implement" | "verify" | "setup" | "run";
     state_path: string;
     stage: any;
     summary: string;
@@ -382,7 +382,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     continueWithStage?: WorkflowStage | null;
     blocking?: boolean;
     details?: Record<string, unknown>;
-    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
+    action: "recon" | "author" | "ship" | "implement" | "verify" | "setup" | "run";
     state_path: string;
     stage: any;
     checkpoint: string;
@@ -659,7 +659,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     error?: undefined;
 } | {
     ok: boolean;
-    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup";
+    action: "recon" | "author" | "ship" | "implement" | "verify" | "setup";
     state_path: string;
     stage: any;
     summary: string;

package/dist/{proof-run-engine-D80hVFMf.d.cts → proof-run-engine-DeHxtGnW.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;
@@ -292,7 +292,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     blocking?: boolean;
     details?: Record<string, unknown>;
     ok: boolean;
-    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
+    action: "recon" | "author" | "ship" | "implement" | "verify" | "setup" | "run";
     state_path: string;
     stage: any;
     summary: string;
@@ -382,7 +382,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     continueWithStage?: WorkflowStage | null;
     blocking?: boolean;
     details?: Record<string, unknown>;
-    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
+    action: "recon" | "author" | "ship" | "implement" | "verify" | "setup" | "run";
     state_path: string;
     stage: any;
     checkpoint: string;
@@ -659,7 +659,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     error?: undefined;
 } | {
     ok: boolean;
-    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup";
+    action: "recon" | "author" | "ship" | "implement" | "verify" | "setup";
     state_path: string;
     stage: any;
     summary: string;