@riddledc/riddle-proof 0.8.46 → 0.8.48

package/dist/adapters/openclaw.js

@@ -3,10 +3,10 @@ import {
   parseOpenClawAssertions,
   parseOpenClawJsonObjectOrArray,
   toRiddleProofRunParams
-} from "../chunk-73K5UYI2.js";
-import "../chunk-Z7BSDAOE.js";
-import "../chunk-DZLBYXL3.js";
-import "../chunk-4D76AYZW.js";
+} from "../chunk-2PHYFVTY.js";
+import "../chunk-EMWF2575.js";
+import "../chunk-L7U7QZYH.js";
+import "../chunk-U46KE6JZ.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/advanced/engine-harness.cjs

@@ -4199,7 +4199,7 @@ function checkpointSummaryFromState(state, engineStatePath2) {
   const latestResponse = latestResponseEntry?.response;
   const latestResumeToken = latestPacket?.resume_token || null;
   const latestResponseToken = latestResponse?.resume_token || null;
-  const tokenMatches = latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
+  const tokenMatches = !latestResponse ? null : latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
   return compactRecord({
     pending: Boolean(state.checkpoint_packet),
     packet_count: packets.length,
@@ -4652,6 +4652,8 @@ function appendStageHeartbeat(state, input) {
 function createRunStatusSnapshot(state, at = timestamp2()) {
   const latestEvent = state.events[state.events.length - 1];
   const runId = state.run_id || "unknown";
+  const existingRunCardCurrent = state.run_card?.status === state.status && state.run_card.stop_condition?.status === state.status && state.run_card.stop_condition?.terminal === isTerminalStatus(state.status) && state.run_card.stop_condition?.monitor_should_continue === !isTerminalStatus(state.status);
+  const runCard = existingRunCardCurrent ? state.run_card : createRiddleProofRunCard(state, { at });
   return compactRecord({
     run_id: runId,
     status: state.status,
@@ -4681,7 +4683,7 @@ function createRunStatusSnapshot(state, at = timestamp2()) {
     checkpoint_summary: state.checkpoint_summary,
     state_paths: state.state_paths,
     proof_contract: state.proof_contract,
-    run_card: state.run_card || createRiddleProofRunCard(state, { at }),
+    run_card: runCard,
     viewport_matrix_status: state.viewport_matrix_status,
     latest_event: latestEvent
   });
@@ -5383,6 +5385,21 @@ function checkpointResponseContinuation(state, value) {
       }
     };
   }
+  if (!packet.allowed_decisions.includes(response.decision)) {
+    return {
+      blocker: {
+        code: "checkpoint_response_decision_not_allowed",
+        checkpoint: packet.checkpoint,
+        message: "Checkpoint response decision is not advertised by the pending checkpoint packet.",
+        details: {
+          stage: packet.stage,
+          decision: response.decision,
+          allowed_decisions: packet.allowed_decisions,
+          response
+        }
+      }
+    };
+  }
   const base = {
     action: "run",
     state_path: state.request.engine_state_path || packet.state_path || "",

package/dist/advanced/engine-harness.js

@@ -2,11 +2,11 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "../chunk-6BFLSCBD.js";
-import "../chunk-Z7BSDAOE.js";
-import "../chunk-DZLBYXL3.js";
+} from "../chunk-2KEYWZY5.js";
+import "../chunk-EMWF2575.js";
+import "../chunk-L7U7QZYH.js";
 import "../chunk-X7SQTCIQ.js";
-import "../chunk-4D76AYZW.js";
+import "../chunk-U46KE6JZ.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/advanced/index.cjs

@@ -4231,7 +4231,7 @@ function checkpointSummaryFromState(state, engineStatePath2) {
   const latestResponse = latestResponseEntry?.response;
   const latestResumeToken = latestPacket?.resume_token || null;
   const latestResponseToken = latestResponse?.resume_token || null;
-  const tokenMatches = latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
+  const tokenMatches = !latestResponse ? null : latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
   return compactRecord({
     pending: Boolean(state.checkpoint_packet),
     packet_count: packets.length,
@@ -4684,6 +4684,8 @@ function appendStageHeartbeat(state, input) {
 function createRunStatusSnapshot(state, at = timestamp2()) {
   const latestEvent = state.events[state.events.length - 1];
   const runId = state.run_id || "unknown";
+  const existingRunCardCurrent = state.run_card?.status === state.status && state.run_card.stop_condition?.status === state.status && state.run_card.stop_condition?.terminal === isTerminalStatus(state.status) && state.run_card.stop_condition?.monitor_should_continue === !isTerminalStatus(state.status);
+  const runCard = existingRunCardCurrent ? state.run_card : createRiddleProofRunCard(state, { at });
   return compactRecord({
     run_id: runId,
     status: state.status,
@@ -4713,7 +4715,7 @@ function createRunStatusSnapshot(state, at = timestamp2()) {
     checkpoint_summary: state.checkpoint_summary,
     state_paths: state.state_paths,
     proof_contract: state.proof_contract,
-    run_card: state.run_card || createRiddleProofRunCard(state, { at }),
+    run_card: runCard,
     viewport_matrix_status: state.viewport_matrix_status,
     latest_event: latestEvent
   });
@@ -5920,6 +5922,21 @@ function checkpointResponseContinuation(state, value) {
       }
     };
   }
+  if (!packet.allowed_decisions.includes(response.decision)) {
+    return {
+      blocker: {
+        code: "checkpoint_response_decision_not_allowed",
+        checkpoint: packet.checkpoint,
+        message: "Checkpoint response decision is not advertised by the pending checkpoint packet.",
+        details: {
+          stage: packet.stage,
+          decision: response.decision,
+          allowed_decisions: packet.allowed_decisions,
+          response
+        }
+      }
+    };
+  }
   const base = {
     action: "run",
     state_path: state.request.engine_state_path || packet.state_path || "",

package/dist/advanced/index.js

@@ -3,16 +3,16 @@ import {
 } from "../chunk-IOI6QR3B.js";
 import {
   runner_exports
-} from "../chunk-HMEYW33D.js";
+} from "../chunk-UKGDVNGI.js";
 import {
   engine_harness_exports
-} from "../chunk-6BFLSCBD.js";
-import "../chunk-Z7BSDAOE.js";
-import "../chunk-DZLBYXL3.js";
+} from "../chunk-2KEYWZY5.js";
+import "../chunk-EMWF2575.js";
+import "../chunk-L7U7QZYH.js";
 import {
   proof_run_core_exports
 } from "../chunk-X7SQTCIQ.js";
-import "../chunk-4D76AYZW.js";
+import "../chunk-U46KE6JZ.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/advanced/runner.js

@@ -1,10 +1,10 @@
 import {
   runRiddleProof
-} from "../chunk-HMEYW33D.js";
-import "../chunk-Z7BSDAOE.js";
-import "../chunk-DZLBYXL3.js";
+} from "../chunk-UKGDVNGI.js";
+import "../chunk-EMWF2575.js";
+import "../chunk-L7U7QZYH.js";
 import "../chunk-X7SQTCIQ.js";
-import "../chunk-4D76AYZW.js";
+import "../chunk-U46KE6JZ.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/checkpoint.cjs

@@ -729,7 +729,7 @@ function checkpointSummaryFromState(state, engineStatePath) {
   const latestResponse = latestResponseEntry?.response;
   const latestResumeToken = latestPacket?.resume_token || null;
   const latestResponseToken = latestResponse?.resume_token || null;
-  const tokenMatches = latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
+  const tokenMatches = !latestResponse ? null : latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
   return compactRecord({
     pending: Boolean(state.checkpoint_packet),
     packet_count: packets.length,

package/dist/checkpoint.js

@@ -13,7 +13,7 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "./chunk-4D76AYZW.js";
+} from "./chunk-U46KE6JZ.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/{chunk-6BFLSCBD.js → chunk-2KEYWZY5.js}

@@ -5,10 +5,10 @@ import {
   createRunStatusSnapshot,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-Z7BSDAOE.js";
+} from "./chunk-EMWF2575.js";
 import {
   createRiddleProofRunCard
-} from "./chunk-DZLBYXL3.js";
+} from "./chunk-L7U7QZYH.js";
 import {
   noImplementationModeFor,
   proofAssessmentHardBlockersForState,
@@ -25,7 +25,7 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "./chunk-4D76AYZW.js";
+} from "./chunk-U46KE6JZ.js";
 import {
   applyTerminalMetadata,
   compactRecord,
@@ -744,6 +744,21 @@ function checkpointResponseContinuation(state, value) {
       }
     };
   }
+  if (!packet.allowed_decisions.includes(response.decision)) {
+    return {
+      blocker: {
+        code: "checkpoint_response_decision_not_allowed",
+        checkpoint: packet.checkpoint,
+        message: "Checkpoint response decision is not advertised by the pending checkpoint packet.",
+        details: {
+          stage: packet.stage,
+          decision: response.decision,
+          allowed_decisions: packet.allowed_decisions,
+          response
+        }
+      }
+    };
+  }
   const base = {
     action: "run",
     state_path: state.request.engine_state_path || packet.state_path || "",

package/dist/{chunk-73K5UYI2.js → chunk-2PHYFVTY.js}

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

package/dist/{chunk-Z7BSDAOE.js → chunk-EMWF2575.js}

@@ -1,6 +1,6 @@
 import {
   createRiddleProofRunCard
-} from "./chunk-DZLBYXL3.js";
+} from "./chunk-L7U7QZYH.js";
 import {
   compactRecord,
   isTerminalStatus,
@@ -188,6 +188,8 @@ function appendStageHeartbeat(state, input) {
 function createRunStatusSnapshot(state, at = timestamp()) {
   const latestEvent = state.events[state.events.length - 1];
   const runId = state.run_id || "unknown";
+  const existingRunCardCurrent = state.run_card?.status === state.status && state.run_card.stop_condition?.status === state.status && state.run_card.stop_condition?.terminal === isTerminalStatus(state.status) && state.run_card.stop_condition?.monitor_should_continue === !isTerminalStatus(state.status);
+  const runCard = existingRunCardCurrent ? state.run_card : createRiddleProofRunCard(state, { at });
   return compactRecord({
     run_id: runId,
     status: state.status,
@@ -217,7 +219,7 @@ function createRunStatusSnapshot(state, at = timestamp()) {
     checkpoint_summary: state.checkpoint_summary,
     state_paths: state.state_paths,
     proof_contract: state.proof_contract,
-    run_card: state.run_card || createRiddleProofRunCard(state, { at }),
+    run_card: runCard,
     viewport_matrix_status: state.viewport_matrix_status,
     latest_event: latestEvent
   });

package/dist/{chunk-DZLBYXL3.js → chunk-L7U7QZYH.js}

@@ -1,6 +1,6 @@
 import {
   statePathsForRunState
-} from "./chunk-4D76AYZW.js";
+} from "./chunk-U46KE6JZ.js";
 import {
   compactRecord,
   isTerminalStatus,

package/dist/{chunk-HJ2FNDJ4.js → chunk-TO3VKAG2.js}

@@ -28,10 +28,10 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-6BFLSCBD.js";
+} from "./chunk-2KEYWZY5.js";
 import {
   createCheckpointResponseTemplate
-} from "./chunk-4D76AYZW.js";
+} from "./chunk-U46KE6JZ.js";
 import {
   createCodexExecAgentAdapter,
   runCodexExecAgentDoctor

package/dist/{chunk-4D76AYZW.js → chunk-U46KE6JZ.js}

@@ -675,7 +675,7 @@ function checkpointSummaryFromState(state, engineStatePath) {
   const latestResponse = latestResponseEntry?.response;
   const latestResumeToken = latestPacket?.resume_token || null;
   const latestResponseToken = latestResponse?.resume_token || null;
-  const tokenMatches = latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
+  const tokenMatches = !latestResponse ? null : latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
   return compactRecord({
     pending: Boolean(state.checkpoint_packet),
     packet_count: packets.length,

package/dist/{chunk-HMEYW33D.js → chunk-UKGDVNGI.js}

@@ -3,7 +3,7 @@ import {
   appendStageHeartbeat,
   createRunState,
   setRunStatus
-} from "./chunk-Z7BSDAOE.js";
+} from "./chunk-EMWF2575.js";
 import {
   noImplementationModeFor
 } from "./chunk-X7SQTCIQ.js";

package/dist/cli/index.js

@@ -1,12 +1,12 @@
-import "../chunk-HJ2FNDJ4.js";
+import "../chunk-TO3VKAG2.js";
 import "../chunk-DI2XNGEZ.js";
 import "../chunk-6KYXX4OE.js";
 import "../chunk-EX7TO4I5.js";
-import "../chunk-6BFLSCBD.js";
-import "../chunk-Z7BSDAOE.js";
-import "../chunk-DZLBYXL3.js";
+import "../chunk-2KEYWZY5.js";
+import "../chunk-EMWF2575.js";
+import "../chunk-L7U7QZYH.js";
 import "../chunk-X7SQTCIQ.js";
-import "../chunk-4D76AYZW.js";
+import "../chunk-U46KE6JZ.js";
 import "../chunk-JFQXAJH2.js";
 import "../chunk-73EBR3YL.js";
 import "../chunk-VY4Y5U57.js";

package/dist/cli.cjs

@@ -4284,7 +4284,7 @@ function checkpointSummaryFromState(state, engineStatePath2) {
   const latestResponse = latestResponseEntry?.response;
   const latestResumeToken = latestPacket?.resume_token || null;
   const latestResponseToken = latestResponse?.resume_token || null;
-  const tokenMatches = latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
+  const tokenMatches = !latestResponse ? null : latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
   return compactRecord({
     pending: Boolean(state.checkpoint_packet),
     packet_count: packets.length,
@@ -4737,6 +4737,8 @@ function appendStageHeartbeat(state, input) {
 function createRunStatusSnapshot(state, at = timestamp2()) {
   const latestEvent = state.events[state.events.length - 1];
   const runId = state.run_id || "unknown";
+  const existingRunCardCurrent = state.run_card?.status === state.status && state.run_card.stop_condition?.status === state.status && state.run_card.stop_condition?.terminal === isTerminalStatus(state.status) && state.run_card.stop_condition?.monitor_should_continue === !isTerminalStatus(state.status);
+  const runCard = existingRunCardCurrent ? state.run_card : createRiddleProofRunCard(state, { at });
   return compactRecord({
     run_id: runId,
     status: state.status,
@@ -4766,7 +4768,7 @@ function createRunStatusSnapshot(state, at = timestamp2()) {
     checkpoint_summary: state.checkpoint_summary,
     state_paths: state.state_paths,
     proof_contract: state.proof_contract,
-    run_card: state.run_card || createRiddleProofRunCard(state, { at }),
+    run_card: runCard,
     viewport_matrix_status: state.viewport_matrix_status,
     latest_event: latestEvent
   });
@@ -5468,6 +5470,21 @@ function checkpointResponseContinuation(state, value) {
       }
     };
   }
+  if (!packet.allowed_decisions.includes(response.decision)) {
+    return {
+      blocker: {
+        code: "checkpoint_response_decision_not_allowed",
+        checkpoint: packet.checkpoint,
+        message: "Checkpoint response decision is not advertised by the pending checkpoint packet.",
+        details: {
+          stage: packet.stage,
+          decision: response.decision,
+          allowed_decisions: packet.allowed_decisions,
+          response
+        }
+      }
+    };
+  }
   const base = {
     action: "run",
     state_path: state.request.engine_state_path || packet.state_path || "",

package/dist/cli.js

@@ -1,13 +1,13 @@
 #!/usr/bin/env node
-import "./chunk-HJ2FNDJ4.js";
+import "./chunk-TO3VKAG2.js";
 import "./chunk-DI2XNGEZ.js";
 import "./chunk-6KYXX4OE.js";
 import "./chunk-EX7TO4I5.js";
-import "./chunk-6BFLSCBD.js";
-import "./chunk-Z7BSDAOE.js";
-import "./chunk-DZLBYXL3.js";
+import "./chunk-2KEYWZY5.js";
+import "./chunk-EMWF2575.js";
+import "./chunk-L7U7QZYH.js";
 import "./chunk-X7SQTCIQ.js";
-import "./chunk-4D76AYZW.js";
+import "./chunk-U46KE6JZ.js";
 import "./chunk-JFQXAJH2.js";
 import "./chunk-73EBR3YL.js";
 import "./chunk-VY4Y5U57.js";

package/dist/engine-harness.cjs

@@ -4197,7 +4197,7 @@ function checkpointSummaryFromState(state, engineStatePath2) {
   const latestResponse = latestResponseEntry?.response;
   const latestResumeToken = latestPacket?.resume_token || null;
   const latestResponseToken = latestResponse?.resume_token || null;
-  const tokenMatches = latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
+  const tokenMatches = !latestResponse ? null : latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
   return compactRecord({
     pending: Boolean(state.checkpoint_packet),
     packet_count: packets.length,
@@ -4650,6 +4650,8 @@ function appendStageHeartbeat(state, input) {
 function createRunStatusSnapshot(state, at = timestamp2()) {
   const latestEvent = state.events[state.events.length - 1];
   const runId = state.run_id || "unknown";
+  const existingRunCardCurrent = state.run_card?.status === state.status && state.run_card.stop_condition?.status === state.status && state.run_card.stop_condition?.terminal === isTerminalStatus(state.status) && state.run_card.stop_condition?.monitor_should_continue === !isTerminalStatus(state.status);
+  const runCard = existingRunCardCurrent ? state.run_card : createRiddleProofRunCard(state, { at });
   return compactRecord({
     run_id: runId,
     status: state.status,
@@ -4679,7 +4681,7 @@ function createRunStatusSnapshot(state, at = timestamp2()) {
     checkpoint_summary: state.checkpoint_summary,
     state_paths: state.state_paths,
     proof_contract: state.proof_contract,
-    run_card: state.run_card || createRiddleProofRunCard(state, { at }),
+    run_card: runCard,
     viewport_matrix_status: state.viewport_matrix_status,
     latest_event: latestEvent
   });
@@ -5381,6 +5383,21 @@ function checkpointResponseContinuation(state, value) {
       }
     };
   }
+  if (!packet.allowed_decisions.includes(response.decision)) {
+    return {
+      blocker: {
+        code: "checkpoint_response_decision_not_allowed",
+        checkpoint: packet.checkpoint,
+        message: "Checkpoint response decision is not advertised by the pending checkpoint packet.",
+        details: {
+          stage: packet.stage,
+          decision: response.decision,
+          allowed_decisions: packet.allowed_decisions,
+          response
+        }
+      }
+    };
+  }
   const base = {
     action: "run",
     state_path: state.request.engine_state_path || packet.state_path || "",

package/dist/engine-harness.js

@@ -2,11 +2,11 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-6BFLSCBD.js";
-import "./chunk-Z7BSDAOE.js";
-import "./chunk-DZLBYXL3.js";
+} from "./chunk-2KEYWZY5.js";
+import "./chunk-EMWF2575.js";
+import "./chunk-L7U7QZYH.js";
 import "./chunk-X7SQTCIQ.js";
-import "./chunk-4D76AYZW.js";
+import "./chunk-U46KE6JZ.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/index.cjs

@@ -4405,7 +4405,7 @@ function checkpointSummaryFromState(state, engineStatePath2) {
   const latestResponse = latestResponseEntry?.response;
   const latestResumeToken = latestPacket?.resume_token || null;
   const latestResponseToken = latestResponse?.resume_token || null;
-  const tokenMatches = latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
+  const tokenMatches = !latestResponse ? null : latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
   return compactRecord({
     pending: Boolean(state.checkpoint_packet),
     packet_count: packets.length,
@@ -4888,6 +4888,8 @@ function appendStageHeartbeat(state, input) {
 function createRunStatusSnapshot(state, at = timestamp2()) {
   const latestEvent = state.events[state.events.length - 1];
   const runId = state.run_id || "unknown";
+  const existingRunCardCurrent = state.run_card?.status === state.status && state.run_card.stop_condition?.status === state.status && state.run_card.stop_condition?.terminal === isTerminalStatus(state.status) && state.run_card.stop_condition?.monitor_should_continue === !isTerminalStatus(state.status);
+  const runCard = existingRunCardCurrent ? state.run_card : createRiddleProofRunCard(state, { at });
   return compactRecord({
     run_id: runId,
     status: state.status,
@@ -4917,7 +4919,7 @@ function createRunStatusSnapshot(state, at = timestamp2()) {
     checkpoint_summary: state.checkpoint_summary,
     state_paths: state.state_paths,
     proof_contract: state.proof_contract,
-    run_card: state.run_card || createRiddleProofRunCard(state, { at }),
+    run_card: runCard,
     viewport_matrix_status: state.viewport_matrix_status,
     latest_event: latestEvent
   });
@@ -6135,6 +6137,21 @@ function checkpointResponseContinuation(state, value) {
       }
     };
   }
+  if (!packet.allowed_decisions.includes(response.decision)) {
+    return {
+      blocker: {
+        code: "checkpoint_response_decision_not_allowed",
+        checkpoint: packet.checkpoint,
+        message: "Checkpoint response decision is not advertised by the pending checkpoint packet.",
+        details: {
+          stage: packet.stage,
+          decision: response.decision,
+          allowed_decisions: packet.allowed_decisions,
+          response
+        }
+      }
+    };
+  }
   const base = {
     action: "run",
     state_path: state.request.engine_state_path || packet.state_path || "",

package/dist/index.js

@@ -1,6 +1,6 @@
 import {
   runRiddleProof
-} from "./chunk-HMEYW33D.js";
+} from "./chunk-UKGDVNGI.js";
 import "./chunk-6F4PWJZI.js";
 import {
   RIDDLE_PROOF_PLAYABILITY_ASSESSMENT_VERSION,
@@ -102,7 +102,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-6BFLSCBD.js";
+} from "./chunk-2KEYWZY5.js";
 import {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
@@ -114,11 +114,11 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-Z7BSDAOE.js";
+} from "./chunk-EMWF2575.js";
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "./chunk-DZLBYXL3.js";
+} from "./chunk-L7U7QZYH.js";
 import "./chunk-X7SQTCIQ.js";
 import {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
@@ -135,7 +135,7 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "./chunk-4D76AYZW.js";
+} from "./chunk-U46KE6JZ.js";
 import "./chunk-JFQXAJH2.js";
 import {
   createCodexExecAgentAdapter,

package/dist/openclaw.js

@@ -3,10 +3,10 @@ import {
   parseOpenClawAssertions,
   parseOpenClawJsonObjectOrArray,
   toRiddleProofRunParams
-} from "./chunk-73K5UYI2.js";
-import "./chunk-Z7BSDAOE.js";
-import "./chunk-DZLBYXL3.js";
-import "./chunk-4D76AYZW.js";
+} from "./chunk-2PHYFVTY.js";
+import "./chunk-EMWF2575.js";
+import "./chunk-L7U7QZYH.js";
+import "./chunk-U46KE6JZ.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/run-card.js

@@ -1,8 +1,8 @@
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "./chunk-DZLBYXL3.js";
-import "./chunk-4D76AYZW.js";
+} from "./chunk-L7U7QZYH.js";
+import "./chunk-U46KE6JZ.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/runner.js

@@ -1,10 +1,10 @@
 import {
   runRiddleProof
-} from "./chunk-HMEYW33D.js";
-import "./chunk-Z7BSDAOE.js";
-import "./chunk-DZLBYXL3.js";
+} from "./chunk-UKGDVNGI.js";
+import "./chunk-EMWF2575.js";
+import "./chunk-L7U7QZYH.js";
 import "./chunk-X7SQTCIQ.js";
-import "./chunk-4D76AYZW.js";
+import "./chunk-U46KE6JZ.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/spec/checkpoint.cjs

@@ -731,7 +731,7 @@ function checkpointSummaryFromState(state, engineStatePath) {
   const latestResponse = latestResponseEntry?.response;
   const latestResumeToken = latestPacket?.resume_token || null;
   const latestResponseToken = latestResponse?.resume_token || null;
-  const tokenMatches = latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
+  const tokenMatches = !latestResponse ? null : latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
   return compactRecord({
     pending: Boolean(state.checkpoint_packet),
     packet_count: packets.length,

package/dist/spec/checkpoint.js

@@ -13,7 +13,7 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "../chunk-4D76AYZW.js";
+} from "../chunk-U46KE6JZ.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/spec/index.cjs

@@ -954,7 +954,7 @@ function checkpointSummaryFromState(state, engineStatePath) {
   const latestResponse = latestResponseEntry?.response;
   const latestResumeToken = latestPacket?.resume_token || null;
   const latestResponseToken = latestResponse?.resume_token || null;
-  const tokenMatches = latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
+  const tokenMatches = !latestResponse ? null : latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
   return compactRecord({
     pending: Boolean(state.checkpoint_packet),
     packet_count: packets.length,
@@ -1437,6 +1437,8 @@ function appendStageHeartbeat(state, input) {
 function createRunStatusSnapshot(state, at = timestamp2()) {
   const latestEvent = state.events[state.events.length - 1];
   const runId = state.run_id || "unknown";
+  const existingRunCardCurrent = state.run_card?.status === state.status && state.run_card.stop_condition?.status === state.status && state.run_card.stop_condition?.terminal === isTerminalStatus(state.status) && state.run_card.stop_condition?.monitor_should_continue === !isTerminalStatus(state.status);
+  const runCard = existingRunCardCurrent ? state.run_card : createRiddleProofRunCard(state, { at });
   return compactRecord({
     run_id: runId,
     status: state.status,
@@ -1466,7 +1468,7 @@ function createRunStatusSnapshot(state, at = timestamp2()) {
     checkpoint_summary: state.checkpoint_summary,
     state_paths: state.state_paths,
     proof_contract: state.proof_contract,
-    run_card: state.run_card || createRiddleProofRunCard(state, { at }),
+    run_card: runCard,
     viewport_matrix_status: state.viewport_matrix_status,
     latest_event: latestEvent
   });

package/dist/spec/index.js

@@ -10,11 +10,11 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "../chunk-Z7BSDAOE.js";
+} from "../chunk-EMWF2575.js";
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "../chunk-DZLBYXL3.js";
+} from "../chunk-L7U7QZYH.js";
 import {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
@@ -30,7 +30,7 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "../chunk-4D76AYZW.js";
+} from "../chunk-U46KE6JZ.js";
 import {
   applyTerminalMetadata,
   compactRecord,

package/dist/spec/run-card.js

@@ -1,8 +1,8 @@
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "../chunk-DZLBYXL3.js";
-import "../chunk-4D76AYZW.js";
+} from "../chunk-L7U7QZYH.js";
+import "../chunk-U46KE6JZ.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/spec/state.cjs

@@ -469,6 +469,8 @@ function appendStageHeartbeat(state, input) {
 function createRunStatusSnapshot(state, at = timestamp()) {
   const latestEvent = state.events[state.events.length - 1];
   const runId = state.run_id || "unknown";
+  const existingRunCardCurrent = state.run_card?.status === state.status && state.run_card.stop_condition?.status === state.status && state.run_card.stop_condition?.terminal === isTerminalStatus(state.status) && state.run_card.stop_condition?.monitor_should_continue === !isTerminalStatus(state.status);
+  const runCard = existingRunCardCurrent ? state.run_card : createRiddleProofRunCard(state, { at });
   return compactRecord({
     run_id: runId,
     status: state.status,
@@ -498,7 +500,7 @@ function createRunStatusSnapshot(state, at = timestamp()) {
     checkpoint_summary: state.checkpoint_summary,
     state_paths: state.state_paths,
     proof_contract: state.proof_contract,
-    run_card: state.run_card || createRiddleProofRunCard(state, { at }),
+    run_card: runCard,
     viewport_matrix_status: state.viewport_matrix_status,
     latest_event: latestEvent
   });

package/dist/spec/state.js

@@ -9,9 +9,9 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "../chunk-Z7BSDAOE.js";
-import "../chunk-DZLBYXL3.js";
-import "../chunk-4D76AYZW.js";
+} from "../chunk-EMWF2575.js";
+import "../chunk-L7U7QZYH.js";
+import "../chunk-U46KE6JZ.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";
 export {

package/dist/state.cjs

@@ -469,6 +469,8 @@ function appendStageHeartbeat(state, input) {
 function createRunStatusSnapshot(state, at = timestamp()) {
   const latestEvent = state.events[state.events.length - 1];
   const runId = state.run_id || "unknown";
+  const existingRunCardCurrent = state.run_card?.status === state.status && state.run_card.stop_condition?.status === state.status && state.run_card.stop_condition?.terminal === isTerminalStatus(state.status) && state.run_card.stop_condition?.monitor_should_continue === !isTerminalStatus(state.status);
+  const runCard = existingRunCardCurrent ? state.run_card : createRiddleProofRunCard(state, { at });
   return compactRecord({
     run_id: runId,
     status: state.status,
@@ -498,7 +500,7 @@ function createRunStatusSnapshot(state, at = timestamp()) {
     checkpoint_summary: state.checkpoint_summary,
     state_paths: state.state_paths,
     proof_contract: state.proof_contract,
-    run_card: state.run_card || createRiddleProofRunCard(state, { at }),
+    run_card: runCard,
     viewport_matrix_status: state.viewport_matrix_status,
     latest_event: latestEvent
   });

package/dist/state.js

@@ -9,9 +9,9 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-Z7BSDAOE.js";
-import "./chunk-DZLBYXL3.js";
-import "./chunk-4D76AYZW.js";
+} from "./chunk-EMWF2575.js";
+import "./chunk-L7U7QZYH.js";
+import "./chunk-U46KE6JZ.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@riddledc/riddle-proof",
-  "version": "0.8.46",
+  "version": "0.8.48",
   "description": "Reusable Riddle Proof contracts and helpers for evidence-backed agent changes.",
   "license": "MIT",
   "author": "RiddleDC",