@riddledc/riddle-proof 0.7.227 → 0.8.2

package/dist/cli.cjs

@@ -645,6 +645,12 @@ function mergeStateFromParams(statePath, params) {
       if (parsed?.baseline_understanding_used && typeof parsed.baseline_understanding_used === "object") {
         state.author_baseline_understanding_used = parsed.baseline_understanding_used;
       }
+      if (parsed?.interaction_contract && typeof parsed.interaction_contract === "object") {
+        state.interaction_contract = parsed.interaction_contract;
+      }
+      if (parsed?.proof_contract && typeof parsed.proof_contract === "object") {
+        state.proof_contract = parsed.proof_contract;
+      }
       const refined = parsed?.refined_inputs || {};
       if (typeof refined?.server_path === "string") {
         state.server_path = normalizeOptionalString(refined.server_path) || "";
@@ -652,6 +658,12 @@ function mergeStateFromParams(statePath, params) {
       }
       if (typeof refined?.wait_for_selector === "string") state.wait_for_selector = normalizeOptionalString(refined.wait_for_selector) || "";
       if (typeof refined?.reference === "string" && refined.reference.trim()) state.reference = refined.reference.trim();
+      if (typeof refined?.expected_terminal_path === "string") {
+        state.expected_terminal_path = normalizeOptionalString(refined.expected_terminal_path) || "";
+      }
+      if (typeof parsed?.expected_terminal_path === "string") {
+        state.expected_terminal_path = normalizeOptionalString(parsed.expected_terminal_path) || "";
+      }
       if (typeof parsed?.confidence === "string") state.supervisor_author_confidence = normalizeOptionalString(parsed.confidence) || null;
       if (parsed?.rationale !== void 0) state.supervisor_author_rationale = parsed.rationale;
       if (typeof parsed?.summary === "string") state.supervisor_author_summary = normalizeOptionalString(parsed.summary) || null;
@@ -1659,6 +1671,13 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
     const args = step === "setup" ? buildSetupArgs(params, config) : {};
     const stepWorkflowFile = workflowFile(config.riddleProofDir, step);
     const timer = beginRuntimeStep(config.statePath, action, step, stepWorkflowFile);
+    if (!(0, import_node_fs2.existsSync)(stepWorkflowFile)) {
+      return finishRuntimeStep(config.statePath, action, {
+        ok: false,
+        step,
+        error: `Riddle Proof workflow file missing for ${step}: ${stepWorkflowFile}`
+      }, timer);
+    }
     let output;
     try {
       if (step === "setup") {
@@ -3850,12 +3869,14 @@ function proofContractFromAuthorCheckpointResponse(response, packet, payload) {
     capture_script: nonEmptyString(payload.capture_script),
     artifact_contract: jsonCloneRecord(payload.artifact_contract),
     assertions: jsonCloneValue(payload.assertions),
+    interaction_contract: jsonCloneRecord(payload.interaction_contract) || jsonCloneRecord(payload.interactionContract),
     baseline_understanding: jsonCloneRecord(payload.baseline_understanding) || jsonCloneRecord(payload.recon_baseline_understanding) || jsonCloneRecord(packet.state_excerpt?.recon_baseline_understanding),
     route_assumptions: compactRecord({
       server_path: nonEmptyString(refinedInputs.server_path) || nonEmptyString(payload.server_path) || nonEmptyString(packet.state_excerpt?.server_path),
       wait_for_selector: nonEmptyString(refinedInputs.wait_for_selector) || nonEmptyString(payload.wait_for_selector) || nonEmptyString(packet.state_excerpt?.wait_for_selector),
       reference: nonEmptyString(refinedInputs.reference) || nonEmptyString(payload.reference),
-      expected_path: nonEmptyString(payload.expected_path) || nonEmptyString(refinedInputs.expected_path)
+      expected_path: nonEmptyString(payload.expected_path) || nonEmptyString(refinedInputs.expected_path),
+      expected_terminal_path: nonEmptyString(refinedInputs.expected_terminal_path) || nonEmptyString(payload.expected_terminal_path) || nonEmptyString(refinedInputs.expected_after_path) || nonEmptyString(payload.expected_after_path)
     }),
     stop_condition: nonEmptyString(payload.stop_condition),
     rationale: jsonCloneValue(payload.rationale),
@@ -5320,7 +5341,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 is ready to ship.", {
+      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
       })
     };
@@ -5543,7 +5564,7 @@ async function routeCheckpoint(request, state, result, agent, input) {
           state,
           "ready_to_ship",
           result,
-          assessment.summary || result.summary || "Riddle Proof is ready to ship.",
+          assessment.summary || result.summary || "Riddle Proof evidence is approved, but ship_mode=none is holding before PR/ship.",
           {
             ship_held: true,
             proof_assessment: payload
@@ -5562,7 +5583,7 @@ async function routeCheckpoint(request, state, result, agent, input) {
     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 is ready to ship.", {
+          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
           })
         };

package/dist/cli.js

@@ -1,12 +1,12 @@
 #!/usr/bin/env node
-import "./chunk-VZD5LH7U.js";
+import "./chunk-OIFHYMHP.js";
 import "./chunk-PEWAIEER.js";
 import "./chunk-TWTEUS7R.js";
-import "./chunk-IWLQQ5S5.js";
-import "./chunk-OHJQRDST.js";
-import "./chunk-Y2KTBACQ.js";
-import "./chunk-TJ63IE65.js";
-import "./chunk-2CFVREFI.js";
+import "./chunk-YB5ACBZE.js";
+import "./chunk-TNCDVE5O.js";
+import "./chunk-U4FUFBSH.js";
+import "./chunk-RV6LK7HU.js";
+import "./chunk-SKIAZTQ7.js";
 import "./chunk-JFQXAJH2.js";
 import "./chunk-7F5LNUGR.js";
 import "./chunk-VY4Y5U57.js";

package/dist/engine-harness.cjs

@@ -645,6 +645,12 @@ function mergeStateFromParams(statePath, params) {
       if (parsed?.baseline_understanding_used && typeof parsed.baseline_understanding_used === "object") {
         state.author_baseline_understanding_used = parsed.baseline_understanding_used;
       }
+      if (parsed?.interaction_contract && typeof parsed.interaction_contract === "object") {
+        state.interaction_contract = parsed.interaction_contract;
+      }
+      if (parsed?.proof_contract && typeof parsed.proof_contract === "object") {
+        state.proof_contract = parsed.proof_contract;
+      }
       const refined = parsed?.refined_inputs || {};
       if (typeof refined?.server_path === "string") {
         state.server_path = normalizeOptionalString(refined.server_path) || "";
@@ -652,6 +658,12 @@ function mergeStateFromParams(statePath, params) {
       }
       if (typeof refined?.wait_for_selector === "string") state.wait_for_selector = normalizeOptionalString(refined.wait_for_selector) || "";
       if (typeof refined?.reference === "string" && refined.reference.trim()) state.reference = refined.reference.trim();
+      if (typeof refined?.expected_terminal_path === "string") {
+        state.expected_terminal_path = normalizeOptionalString(refined.expected_terminal_path) || "";
+      }
+      if (typeof parsed?.expected_terminal_path === "string") {
+        state.expected_terminal_path = normalizeOptionalString(parsed.expected_terminal_path) || "";
+      }
       if (typeof parsed?.confidence === "string") state.supervisor_author_confidence = normalizeOptionalString(parsed.confidence) || null;
       if (parsed?.rationale !== void 0) state.supervisor_author_rationale = parsed.rationale;
       if (typeof parsed?.summary === "string") state.supervisor_author_summary = normalizeOptionalString(parsed.summary) || null;
@@ -1659,6 +1671,13 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
     const args = step === "setup" ? buildSetupArgs(params, config) : {};
     const stepWorkflowFile = workflowFile(config.riddleProofDir, step);
     const timer = beginRuntimeStep(config.statePath, action, step, stepWorkflowFile);
+    if (!(0, import_node_fs2.existsSync)(stepWorkflowFile)) {
+      return finishRuntimeStep(config.statePath, action, {
+        ok: false,
+        step,
+        error: `Riddle Proof workflow file missing for ${step}: ${stepWorkflowFile}`
+      }, timer);
+    }
     let output;
     try {
       if (step === "setup") {
@@ -3779,12 +3798,14 @@ function proofContractFromAuthorCheckpointResponse(response, packet, payload) {
     capture_script: nonEmptyString(payload.capture_script),
     artifact_contract: jsonCloneRecord(payload.artifact_contract),
     assertions: jsonCloneValue(payload.assertions),
+    interaction_contract: jsonCloneRecord(payload.interaction_contract) || jsonCloneRecord(payload.interactionContract),
     baseline_understanding: jsonCloneRecord(payload.baseline_understanding) || jsonCloneRecord(payload.recon_baseline_understanding) || jsonCloneRecord(packet.state_excerpt?.recon_baseline_understanding),
     route_assumptions: compactRecord({
       server_path: nonEmptyString(refinedInputs.server_path) || nonEmptyString(payload.server_path) || nonEmptyString(packet.state_excerpt?.server_path),
       wait_for_selector: nonEmptyString(refinedInputs.wait_for_selector) || nonEmptyString(payload.wait_for_selector) || nonEmptyString(packet.state_excerpt?.wait_for_selector),
       reference: nonEmptyString(refinedInputs.reference) || nonEmptyString(payload.reference),
-      expected_path: nonEmptyString(payload.expected_path) || nonEmptyString(refinedInputs.expected_path)
+      expected_path: nonEmptyString(payload.expected_path) || nonEmptyString(refinedInputs.expected_path),
+      expected_terminal_path: nonEmptyString(refinedInputs.expected_terminal_path) || nonEmptyString(payload.expected_terminal_path) || nonEmptyString(refinedInputs.expected_after_path) || nonEmptyString(payload.expected_after_path)
     }),
     stop_condition: nonEmptyString(payload.stop_condition),
     rationale: jsonCloneValue(payload.rationale),
@@ -5249,7 +5270,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 is ready to ship.", {
+      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
       })
     };
@@ -5472,7 +5493,7 @@ async function routeCheckpoint(request, state, result, agent, input) {
           state,
           "ready_to_ship",
           result,
-          assessment.summary || result.summary || "Riddle Proof is ready to ship.",
+          assessment.summary || result.summary || "Riddle Proof evidence is approved, but ship_mode=none is holding before PR/ship.",
           {
             ship_held: true,
             proof_assessment: payload
@@ -5491,7 +5512,7 @@ async function routeCheckpoint(request, state, result, agent, input) {
     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 is ready to ship.", {
+          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
           })
         };

package/dist/engine-harness.js

@@ -2,11 +2,11 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-IWLQQ5S5.js";
-import "./chunk-OHJQRDST.js";
-import "./chunk-Y2KTBACQ.js";
-import "./chunk-TJ63IE65.js";
-import "./chunk-2CFVREFI.js";
+} from "./chunk-YB5ACBZE.js";
+import "./chunk-TNCDVE5O.js";
+import "./chunk-U4FUFBSH.js";
+import "./chunk-RV6LK7HU.js";
+import "./chunk-SKIAZTQ7.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/index.cjs

@@ -645,6 +645,12 @@ function mergeStateFromParams(statePath, params) {
       if (parsed?.baseline_understanding_used && typeof parsed.baseline_understanding_used === "object") {
         state.author_baseline_understanding_used = parsed.baseline_understanding_used;
       }
+      if (parsed?.interaction_contract && typeof parsed.interaction_contract === "object") {
+        state.interaction_contract = parsed.interaction_contract;
+      }
+      if (parsed?.proof_contract && typeof parsed.proof_contract === "object") {
+        state.proof_contract = parsed.proof_contract;
+      }
       const refined = parsed?.refined_inputs || {};
       if (typeof refined?.server_path === "string") {
         state.server_path = normalizeOptionalString(refined.server_path) || "";
@@ -652,6 +658,12 @@ function mergeStateFromParams(statePath, params) {
       }
       if (typeof refined?.wait_for_selector === "string") state.wait_for_selector = normalizeOptionalString(refined.wait_for_selector) || "";
       if (typeof refined?.reference === "string" && refined.reference.trim()) state.reference = refined.reference.trim();
+      if (typeof refined?.expected_terminal_path === "string") {
+        state.expected_terminal_path = normalizeOptionalString(refined.expected_terminal_path) || "";
+      }
+      if (typeof parsed?.expected_terminal_path === "string") {
+        state.expected_terminal_path = normalizeOptionalString(parsed.expected_terminal_path) || "";
+      }
       if (typeof parsed?.confidence === "string") state.supervisor_author_confidence = normalizeOptionalString(parsed.confidence) || null;
       if (parsed?.rationale !== void 0) state.supervisor_author_rationale = parsed.rationale;
       if (typeof parsed?.summary === "string") state.supervisor_author_summary = normalizeOptionalString(parsed.summary) || null;
@@ -1659,6 +1671,13 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
     const args = step === "setup" ? buildSetupArgs(params, config) : {};
     const stepWorkflowFile = workflowFile(config.riddleProofDir, step);
     const timer = beginRuntimeStep(config.statePath, action, step, stepWorkflowFile);
+    if (!(0, import_node_fs2.existsSync)(stepWorkflowFile)) {
+      return finishRuntimeStep(config.statePath, action, {
+        ok: false,
+        step,
+        error: `Riddle Proof workflow file missing for ${step}: ${stepWorkflowFile}`
+      }, timer);
+    }
     let output;
     try {
       if (step === "setup") {
@@ -3967,12 +3986,14 @@ function proofContractFromAuthorCheckpointResponse(response, packet, payload) {
     capture_script: nonEmptyString(payload.capture_script),
     artifact_contract: jsonCloneRecord(payload.artifact_contract),
     assertions: jsonCloneValue(payload.assertions),
+    interaction_contract: jsonCloneRecord(payload.interaction_contract) || jsonCloneRecord(payload.interactionContract),
     baseline_understanding: jsonCloneRecord(payload.baseline_understanding) || jsonCloneRecord(payload.recon_baseline_understanding) || jsonCloneRecord(packet.state_excerpt?.recon_baseline_understanding),
     route_assumptions: compactRecord({
       server_path: nonEmptyString(refinedInputs.server_path) || nonEmptyString(payload.server_path) || nonEmptyString(packet.state_excerpt?.server_path),
       wait_for_selector: nonEmptyString(refinedInputs.wait_for_selector) || nonEmptyString(payload.wait_for_selector) || nonEmptyString(packet.state_excerpt?.wait_for_selector),
       reference: nonEmptyString(refinedInputs.reference) || nonEmptyString(payload.reference),
-      expected_path: nonEmptyString(payload.expected_path) || nonEmptyString(refinedInputs.expected_path)
+      expected_path: nonEmptyString(payload.expected_path) || nonEmptyString(refinedInputs.expected_path),
+      expected_terminal_path: nonEmptyString(refinedInputs.expected_terminal_path) || nonEmptyString(payload.expected_terminal_path) || nonEmptyString(refinedInputs.expected_after_path) || nonEmptyString(payload.expected_after_path)
     }),
     stop_condition: nonEmptyString(payload.stop_condition),
     rationale: jsonCloneValue(payload.rationale),
@@ -5983,7 +6004,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 is ready to ship.", {
+      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
       })
     };
@@ -6206,7 +6227,7 @@ async function routeCheckpoint(request, state, result, agent, input) {
           state,
           "ready_to_ship",
           result,
-          assessment.summary || result.summary || "Riddle Proof is ready to ship.",
+          assessment.summary || result.summary || "Riddle Proof evidence is approved, but ship_mode=none is holding before PR/ship.",
           {
             ship_held: true,
             proof_assessment: payload
@@ -6225,7 +6246,7 @@ async function routeCheckpoint(request, state, result, agent, input) {
     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 is ready to ship.", {
+          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
           })
         };

package/dist/index.js

@@ -1,6 +1,6 @@
 import {
   runRiddleProof
-} from "./chunk-COERZX63.js";
+} from "./chunk-ZX45XGDJ.js";
 import "./chunk-6F4PWJZI.js";
 import {
   RIDDLE_PROOF_PLAYABILITY_ASSESSMENT_VERSION,
@@ -95,7 +95,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-IWLQQ5S5.js";
+} from "./chunk-YB5ACBZE.js";
 import {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
@@ -107,12 +107,12 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-OHJQRDST.js";
+} from "./chunk-TNCDVE5O.js";
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "./chunk-Y2KTBACQ.js";
-import "./chunk-TJ63IE65.js";
+} from "./chunk-U4FUFBSH.js";
+import "./chunk-RV6LK7HU.js";
 import {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
@@ -128,7 +128,7 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "./chunk-2CFVREFI.js";
+} from "./chunk-SKIAZTQ7.js";
 import "./chunk-JFQXAJH2.js";
 import {
   createCodexExecAgentAdapter,

package/dist/openclaw.js

@@ -3,10 +3,10 @@ import {
   parseOpenClawAssertions,
   parseOpenClawJsonObjectOrArray,
   toRiddleProofRunParams
-} from "./chunk-BTN76IGW.js";
-import "./chunk-OHJQRDST.js";
-import "./chunk-Y2KTBACQ.js";
-import "./chunk-2CFVREFI.js";
+} from "./chunk-SMBZT46I.js";
+import "./chunk-TNCDVE5O.js";
+import "./chunk-U4FUFBSH.js";
+import "./chunk-SKIAZTQ7.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/proof-run-core.cjs

@@ -866,6 +866,12 @@ function mergeStateFromParams(statePath, params) {
       if (parsed?.baseline_understanding_used && typeof parsed.baseline_understanding_used === "object") {
         state.author_baseline_understanding_used = parsed.baseline_understanding_used;
       }
+      if (parsed?.interaction_contract && typeof parsed.interaction_contract === "object") {
+        state.interaction_contract = parsed.interaction_contract;
+      }
+      if (parsed?.proof_contract && typeof parsed.proof_contract === "object") {
+        state.proof_contract = parsed.proof_contract;
+      }
       const refined = parsed?.refined_inputs || {};
       if (typeof refined?.server_path === "string") {
         state.server_path = normalizeOptionalString(refined.server_path) || "";
@@ -873,6 +879,12 @@ function mergeStateFromParams(statePath, params) {
       }
       if (typeof refined?.wait_for_selector === "string") state.wait_for_selector = normalizeOptionalString(refined.wait_for_selector) || "";
       if (typeof refined?.reference === "string" && refined.reference.trim()) state.reference = refined.reference.trim();
+      if (typeof refined?.expected_terminal_path === "string") {
+        state.expected_terminal_path = normalizeOptionalString(refined.expected_terminal_path) || "";
+      }
+      if (typeof parsed?.expected_terminal_path === "string") {
+        state.expected_terminal_path = normalizeOptionalString(parsed.expected_terminal_path) || "";
+      }
       if (typeof parsed?.confidence === "string") state.supervisor_author_confidence = normalizeOptionalString(parsed.confidence) || null;
       if (parsed?.rationale !== void 0) state.supervisor_author_rationale = parsed.rationale;
       if (typeof parsed?.summary === "string") state.supervisor_author_summary = normalizeOptionalString(parsed.summary) || null;

package/dist/proof-run-core.js

@@ -26,7 +26,7 @@ import {
   visualDeltaShipGateReason,
   workflowFile,
   writeState
-} from "./chunk-TJ63IE65.js";
+} from "./chunk-RV6LK7HU.js";
 import "./chunk-MLKGABMK.js";
 export {
   BUNDLED_RIDDLE_PROOF_DIR,

package/dist/{proof-run-engine-CSSc0mNn.d.ts → proof-run-engine-BVkeO-Yo.d.ts}

@@ -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: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "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: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "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" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     summary: string;

package/dist/{proof-run-engine-HSRpUeBi.d.cts → proof-run-engine-CVnboNHj.d.cts}

@@ -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: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "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: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "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" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     summary: string;

package/dist/proof-run-engine.cjs

@@ -846,6 +846,12 @@ function mergeStateFromParams(statePath, params) {
       if (parsed?.baseline_understanding_used && typeof parsed.baseline_understanding_used === "object") {
         state.author_baseline_understanding_used = parsed.baseline_understanding_used;
       }
+      if (parsed?.interaction_contract && typeof parsed.interaction_contract === "object") {
+        state.interaction_contract = parsed.interaction_contract;
+      }
+      if (parsed?.proof_contract && typeof parsed.proof_contract === "object") {
+        state.proof_contract = parsed.proof_contract;
+      }
       const refined = parsed?.refined_inputs || {};
       if (typeof refined?.server_path === "string") {
         state.server_path = normalizeOptionalString(refined.server_path) || "";
@@ -853,6 +859,12 @@ function mergeStateFromParams(statePath, params) {
       }
       if (typeof refined?.wait_for_selector === "string") state.wait_for_selector = normalizeOptionalString(refined.wait_for_selector) || "";
       if (typeof refined?.reference === "string" && refined.reference.trim()) state.reference = refined.reference.trim();
+      if (typeof refined?.expected_terminal_path === "string") {
+        state.expected_terminal_path = normalizeOptionalString(refined.expected_terminal_path) || "";
+      }
+      if (typeof parsed?.expected_terminal_path === "string") {
+        state.expected_terminal_path = normalizeOptionalString(parsed.expected_terminal_path) || "";
+      }
       if (typeof parsed?.confidence === "string") state.supervisor_author_confidence = normalizeOptionalString(parsed.confidence) || null;
       if (parsed?.rationale !== void 0) state.supervisor_author_rationale = parsed.rationale;
       if (typeof parsed?.summary === "string") state.supervisor_author_summary = normalizeOptionalString(parsed.summary) || null;
@@ -1657,6 +1669,13 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
     const args = step === "setup" ? buildSetupArgs(params, config) : {};
     const stepWorkflowFile = workflowFile(config.riddleProofDir, step);
     const timer = beginRuntimeStep(config.statePath, action, step, stepWorkflowFile);
+    if (!(0, import_node_fs2.existsSync)(stepWorkflowFile)) {
+      return finishRuntimeStep(config.statePath, action, {
+        ok: false,
+        step,
+        error: `Riddle Proof workflow file missing for ${step}: ${stepWorkflowFile}`
+      }, timer);
+    }
     let output;
     try {
       if (step === "setup") {

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

@@ -1,2 +1,2 @@
 import './proof-run-core-CE0jx7wL.cjs';
-export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-HSRpUeBi.cjs';
+export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-CVnboNHj.cjs';

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

@@ -1,2 +1,2 @@
 import './proof-run-core-CE0jx7wL.js';
-export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-CSSc0mNn.js';
+export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-BVkeO-Yo.js';

package/dist/proof-run-engine.js

@@ -1,8 +1,8 @@
 import {
   createRiddleProofEngine,
   executeWorkflow
-} from "./chunk-BHL4JSGM.js";
-import "./chunk-TJ63IE65.js";
+} from "./chunk-TZ3YMCDM.js";
+import "./chunk-RV6LK7HU.js";
 import "./chunk-MLKGABMK.js";
 export {
   createRiddleProofEngine,

package/dist/run-card.js

@@ -1,8 +1,8 @@
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "./chunk-Y2KTBACQ.js";
-import "./chunk-2CFVREFI.js";
+} from "./chunk-U4FUFBSH.js";
+import "./chunk-SKIAZTQ7.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/runner.js

@@ -1,10 +1,10 @@
 import {
   runRiddleProof
-} from "./chunk-COERZX63.js";
-import "./chunk-OHJQRDST.js";
-import "./chunk-Y2KTBACQ.js";
-import "./chunk-TJ63IE65.js";
-import "./chunk-2CFVREFI.js";
+} from "./chunk-ZX45XGDJ.js";
+import "./chunk-TNCDVE5O.js";
+import "./chunk-U4FUFBSH.js";
+import "./chunk-RV6LK7HU.js";
+import "./chunk-SKIAZTQ7.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/spec/checkpoint.cjs

@@ -774,12 +774,14 @@ function proofContractFromAuthorCheckpointResponse(response, packet, payload) {
     capture_script: nonEmptyString(payload.capture_script),
     artifact_contract: jsonCloneRecord(payload.artifact_contract),
     assertions: jsonCloneValue(payload.assertions),
+    interaction_contract: jsonCloneRecord(payload.interaction_contract) || jsonCloneRecord(payload.interactionContract),
     baseline_understanding: jsonCloneRecord(payload.baseline_understanding) || jsonCloneRecord(payload.recon_baseline_understanding) || jsonCloneRecord(packet.state_excerpt?.recon_baseline_understanding),
     route_assumptions: compactRecord({
       server_path: nonEmptyString(refinedInputs.server_path) || nonEmptyString(payload.server_path) || nonEmptyString(packet.state_excerpt?.server_path),
       wait_for_selector: nonEmptyString(refinedInputs.wait_for_selector) || nonEmptyString(payload.wait_for_selector) || nonEmptyString(packet.state_excerpt?.wait_for_selector),
       reference: nonEmptyString(refinedInputs.reference) || nonEmptyString(payload.reference),
-      expected_path: nonEmptyString(payload.expected_path) || nonEmptyString(refinedInputs.expected_path)
+      expected_path: nonEmptyString(payload.expected_path) || nonEmptyString(refinedInputs.expected_path),
+      expected_terminal_path: nonEmptyString(refinedInputs.expected_terminal_path) || nonEmptyString(payload.expected_terminal_path) || nonEmptyString(refinedInputs.expected_after_path) || nonEmptyString(payload.expected_after_path)
     }),
     stop_condition: nonEmptyString(payload.stop_condition),
     rationale: jsonCloneValue(payload.rationale),

package/dist/spec/checkpoint.js

@@ -13,7 +13,7 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "../chunk-2CFVREFI.js";
+} from "../chunk-SKIAZTQ7.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/spec/index.cjs

@@ -997,12 +997,14 @@ function proofContractFromAuthorCheckpointResponse(response, packet, payload) {
     capture_script: nonEmptyString(payload.capture_script),
     artifact_contract: jsonCloneRecord(payload.artifact_contract),
     assertions: jsonCloneValue(payload.assertions),
+    interaction_contract: jsonCloneRecord(payload.interaction_contract) || jsonCloneRecord(payload.interactionContract),
     baseline_understanding: jsonCloneRecord(payload.baseline_understanding) || jsonCloneRecord(payload.recon_baseline_understanding) || jsonCloneRecord(packet.state_excerpt?.recon_baseline_understanding),
     route_assumptions: compactRecord({
       server_path: nonEmptyString(refinedInputs.server_path) || nonEmptyString(payload.server_path) || nonEmptyString(packet.state_excerpt?.server_path),
       wait_for_selector: nonEmptyString(refinedInputs.wait_for_selector) || nonEmptyString(payload.wait_for_selector) || nonEmptyString(packet.state_excerpt?.wait_for_selector),
       reference: nonEmptyString(refinedInputs.reference) || nonEmptyString(payload.reference),
-      expected_path: nonEmptyString(payload.expected_path) || nonEmptyString(refinedInputs.expected_path)
+      expected_path: nonEmptyString(payload.expected_path) || nonEmptyString(refinedInputs.expected_path),
+      expected_terminal_path: nonEmptyString(refinedInputs.expected_terminal_path) || nonEmptyString(payload.expected_terminal_path) || nonEmptyString(refinedInputs.expected_after_path) || nonEmptyString(payload.expected_after_path)
     }),
     stop_condition: nonEmptyString(payload.stop_condition),
     rationale: jsonCloneValue(payload.rationale),

package/dist/spec/index.js

@@ -10,11 +10,11 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "../chunk-OHJQRDST.js";
+} from "../chunk-TNCDVE5O.js";
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "../chunk-Y2KTBACQ.js";
+} from "../chunk-U4FUFBSH.js";
 import {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
@@ -30,7 +30,7 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "../chunk-2CFVREFI.js";
+} from "../chunk-SKIAZTQ7.js";
 import {
   applyTerminalMetadata,
   compactRecord,

package/dist/spec/run-card.js

@@ -1,8 +1,8 @@
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "../chunk-Y2KTBACQ.js";
-import "../chunk-2CFVREFI.js";
+} from "../chunk-U4FUFBSH.js";
+import "../chunk-SKIAZTQ7.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/spec/state.js

@@ -9,9 +9,9 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "../chunk-OHJQRDST.js";
-import "../chunk-Y2KTBACQ.js";
-import "../chunk-2CFVREFI.js";
+} from "../chunk-TNCDVE5O.js";
+import "../chunk-U4FUFBSH.js";
+import "../chunk-SKIAZTQ7.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/state.js

@@ -9,9 +9,9 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-OHJQRDST.js";
-import "./chunk-Y2KTBACQ.js";
-import "./chunk-2CFVREFI.js";
+} from "./chunk-TNCDVE5O.js";
+import "./chunk-U4FUFBSH.js";
+import "./chunk-SKIAZTQ7.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {