@riddledc/riddle-proof 0.8.1 → 0.8.3

package/dist/adapters/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/advanced/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") {
@@ -3781,12 +3800,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),
@@ -5251,7 +5272,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
       })
     };
@@ -5474,7 +5495,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
@@ -5493,7 +5514,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/advanced/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/advanced/index.cjs

@@ -675,6 +675,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) || "";
@@ -682,6 +688,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;
@@ -1689,6 +1701,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") {
@@ -3812,12 +3831,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),
@@ -5787,7 +5808,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
       })
     };
@@ -6010,7 +6031,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
@@ -6029,7 +6050,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/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-CE0jx7wL.cjs';
-export { p as proofRunEngine } from '../proof-run-engine-HSRpUeBi.cjs';
+export { p as proofRunEngine } from '../proof-run-engine-Rkd_hXB-.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-CE0jx7wL.js';
-export { p as proofRunEngine } from '../proof-run-engine-CSSc0mNn.js';
+export { p as proofRunEngine } from '../proof-run-engine-DxWW1VX1.js';
 import '../types.js';

package/dist/advanced/index.js

@@ -1,18 +1,18 @@
 import {
   proof_run_engine_exports
-} from "../chunk-BHL4JSGM.js";
+} from "../chunk-TZ3YMCDM.js";
 import {
   runner_exports
-} from "../chunk-COERZX63.js";
+} from "../chunk-ZX45XGDJ.js";
 import {
   engine_harness_exports
-} from "../chunk-IWLQQ5S5.js";
-import "../chunk-OHJQRDST.js";
-import "../chunk-Y2KTBACQ.js";
+} from "../chunk-YB5ACBZE.js";
+import "../chunk-TNCDVE5O.js";
+import "../chunk-U4FUFBSH.js";
 import {
   proof_run_core_exports
-} from "../chunk-TJ63IE65.js";
-import "../chunk-2CFVREFI.js";
+} from "../chunk-RV6LK7HU.js";
+import "../chunk-SKIAZTQ7.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

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

@@ -868,6 +868,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) || "";
@@ -875,6 +881,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/advanced/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/advanced/proof-run-engine.cjs

@@ -848,6 +848,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) || "";
@@ -855,6 +861,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") {

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-HSRpUeBi.cjs';
+export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from '../proof-run-engine-Rkd_hXB-.cjs';
 import '../proof-run-core-CE0jx7wL.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-CSSc0mNn.js';
+export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from '../proof-run-engine-DxWW1VX1.js';
 import '../proof-run-core-CE0jx7wL.js';

package/dist/advanced/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/advanced/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/checkpoint.cjs

@@ -772,12 +772,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/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/{chunk-VZD5LH7U.js → chunk-OIFHYMHP.js}

@@ -22,10 +22,10 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-IWLQQ5S5.js";
+} from "./chunk-YB5ACBZE.js";
 import {
   createCheckpointResponseTemplate
-} from "./chunk-2CFVREFI.js";
+} from "./chunk-SKIAZTQ7.js";
 import {
   createCodexExecAgentAdapter,
   runCodexExecAgentDoctor

package/dist/{chunk-TJ63IE65.js → chunk-RV6LK7HU.js}

@@ -839,6 +839,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) || "";
@@ -846,6 +852,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/{chunk-2CFVREFI.js → chunk-SKIAZTQ7.js}

@@ -718,12 +718,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/{chunk-BTN76IGW.js → chunk-SMBZT46I.js}

@@ -1,7 +1,7 @@
 import {
   normalizeIntegrationContext,
   normalizeRunParams
-} from "./chunk-OHJQRDST.js";
+} from "./chunk-TNCDVE5O.js";
 import {
   compactRecord
 } from "./chunk-VY4Y5U57.js";

package/dist/{chunk-OHJQRDST.js → chunk-TNCDVE5O.js}

@@ -1,6 +1,6 @@
 import {
   createRiddleProofRunCard
-} from "./chunk-Y2KTBACQ.js";
+} from "./chunk-U4FUFBSH.js";
 import {
   compactRecord,
   isTerminalStatus,

package/dist/{chunk-BHL4JSGM.js → chunk-TZ3YMCDM.js}

@@ -15,7 +15,7 @@ import {
   validateShipGate,
   workflowFile,
   writeState
-} from "./chunk-TJ63IE65.js";
+} from "./chunk-RV6LK7HU.js";
 import {
   __export
 } from "./chunk-MLKGABMK.js";
@@ -653,6 +653,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 (!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/{chunk-Y2KTBACQ.js → chunk-U4FUFBSH.js}

@@ -1,6 +1,6 @@
 import {
   statePathsForRunState
-} from "./chunk-2CFVREFI.js";
+} from "./chunk-SKIAZTQ7.js";
 import {
   compactRecord,
   isTerminalStatus,

package/dist/{chunk-IWLQQ5S5.js → chunk-YB5ACBZE.js}

@@ -5,16 +5,16 @@ import {
   createRunStatusSnapshot,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-OHJQRDST.js";
+} from "./chunk-TNCDVE5O.js";
 import {
   createRiddleProofRunCard
-} from "./chunk-Y2KTBACQ.js";
+} from "./chunk-U4FUFBSH.js";
 import {
   noImplementationModeFor,
   visualDeltaForState,
   visualDeltaRequiredForState,
   visualDeltaShipGateReason
-} from "./chunk-TJ63IE65.js";
+} from "./chunk-RV6LK7HU.js";
 import {
   authorPacketPayloadFromCheckpointResponse,
   buildCheckpointPacketForEngineResult,
@@ -24,7 +24,7 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "./chunk-2CFVREFI.js";
+} from "./chunk-SKIAZTQ7.js";
 import {
   applyTerminalMetadata,
   compactRecord,
@@ -1095,7 +1095,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
       })
     };
@@ -1318,7 +1318,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
@@ -1337,7 +1337,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/{chunk-COERZX63.js → chunk-ZX45XGDJ.js}

@@ -3,10 +3,10 @@ import {
   appendStageHeartbeat,
   createRunState,
   setRunStatus
-} from "./chunk-OHJQRDST.js";
+} from "./chunk-TNCDVE5O.js";
 import {
   noImplementationModeFor
-} from "./chunk-TJ63IE65.js";
+} from "./chunk-RV6LK7HU.js";
 import {
   createRunResult
 } from "./chunk-VY4Y5U57.js";

package/dist/cli/index.js

@@ -1,11 +1,11 @@
-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";