@riddledc/riddle-proof 0.8.46 → 0.8.47

package/dist/adapters/openclaw.js

@@ -3,8 +3,8 @@ import {
   parseOpenClawAssertions,
   parseOpenClawJsonObjectOrArray,
   toRiddleProofRunParams
-} from "../chunk-73K5UYI2.js";
-import "../chunk-Z7BSDAOE.js";
+} from "../chunk-JP7ZBCDC.js";
+import "../chunk-PMLEZU7J.js";
 import "../chunk-DZLBYXL3.js";
 import "../chunk-4D76AYZW.js";
 import "../chunk-VY4Y5U57.js";

package/dist/advanced/engine-harness.cjs

@@ -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,8 +2,8 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "../chunk-6BFLSCBD.js";
-import "../chunk-Z7BSDAOE.js";
+} from "../chunk-32TJQ5TQ.js";
+import "../chunk-PMLEZU7J.js";
 import "../chunk-DZLBYXL3.js";
 import "../chunk-X7SQTCIQ.js";
 import "../chunk-4D76AYZW.js";

package/dist/advanced/index.cjs

@@ -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,11 +3,11 @@ import {
 } from "../chunk-IOI6QR3B.js";
 import {
   runner_exports
-} from "../chunk-HMEYW33D.js";
+} from "../chunk-UBDJBUBV.js";
 import {
   engine_harness_exports
-} from "../chunk-6BFLSCBD.js";
-import "../chunk-Z7BSDAOE.js";
+} from "../chunk-32TJQ5TQ.js";
+import "../chunk-PMLEZU7J.js";
 import "../chunk-DZLBYXL3.js";
 import {
   proof_run_core_exports

package/dist/advanced/runner.js

@@ -1,7 +1,7 @@
 import {
   runRiddleProof
-} from "../chunk-HMEYW33D.js";
-import "../chunk-Z7BSDAOE.js";
+} from "../chunk-UBDJBUBV.js";
+import "../chunk-PMLEZU7J.js";
 import "../chunk-DZLBYXL3.js";
 import "../chunk-X7SQTCIQ.js";
 import "../chunk-4D76AYZW.js";

package/dist/{chunk-6BFLSCBD.js → chunk-32TJQ5TQ.js}

@@ -5,7 +5,7 @@ import {
   createRunStatusSnapshot,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-Z7BSDAOE.js";
+} from "./chunk-PMLEZU7J.js";
 import {
   createRiddleProofRunCard
 } from "./chunk-DZLBYXL3.js";
@@ -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-JP7ZBCDC.js}

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

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

@@ -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-HMEYW33D.js → chunk-UBDJBUBV.js}

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

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

@@ -28,7 +28,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-6BFLSCBD.js";
+} from "./chunk-32TJQ5TQ.js";
 import {
   createCheckpointResponseTemplate
 } from "./chunk-4D76AYZW.js";

package/dist/cli/index.js

@@ -1,9 +1,9 @@
-import "../chunk-HJ2FNDJ4.js";
+import "../chunk-ZDK2GQ4Q.js";
 import "../chunk-DI2XNGEZ.js";
 import "../chunk-6KYXX4OE.js";
 import "../chunk-EX7TO4I5.js";
-import "../chunk-6BFLSCBD.js";
-import "../chunk-Z7BSDAOE.js";
+import "../chunk-32TJQ5TQ.js";
+import "../chunk-PMLEZU7J.js";
 import "../chunk-DZLBYXL3.js";
 import "../chunk-X7SQTCIQ.js";
 import "../chunk-4D76AYZW.js";

package/dist/cli.cjs

@@ -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,10 +1,10 @@
 #!/usr/bin/env node
-import "./chunk-HJ2FNDJ4.js";
+import "./chunk-ZDK2GQ4Q.js";
 import "./chunk-DI2XNGEZ.js";
 import "./chunk-6KYXX4OE.js";
 import "./chunk-EX7TO4I5.js";
-import "./chunk-6BFLSCBD.js";
-import "./chunk-Z7BSDAOE.js";
+import "./chunk-32TJQ5TQ.js";
+import "./chunk-PMLEZU7J.js";
 import "./chunk-DZLBYXL3.js";
 import "./chunk-X7SQTCIQ.js";
 import "./chunk-4D76AYZW.js";

package/dist/engine-harness.cjs

@@ -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,8 +2,8 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-6BFLSCBD.js";
-import "./chunk-Z7BSDAOE.js";
+} from "./chunk-32TJQ5TQ.js";
+import "./chunk-PMLEZU7J.js";
 import "./chunk-DZLBYXL3.js";
 import "./chunk-X7SQTCIQ.js";
 import "./chunk-4D76AYZW.js";

package/dist/index.cjs

@@ -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-UBDJBUBV.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-32TJQ5TQ.js";
 import {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
@@ -114,7 +114,7 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-Z7BSDAOE.js";
+} from "./chunk-PMLEZU7J.js";
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard

package/dist/openclaw.js

@@ -3,8 +3,8 @@ import {
   parseOpenClawAssertions,
   parseOpenClawJsonObjectOrArray,
   toRiddleProofRunParams
-} from "./chunk-73K5UYI2.js";
-import "./chunk-Z7BSDAOE.js";
+} from "./chunk-JP7ZBCDC.js";
+import "./chunk-PMLEZU7J.js";
 import "./chunk-DZLBYXL3.js";
 import "./chunk-4D76AYZW.js";
 import "./chunk-VY4Y5U57.js";

package/dist/runner.js

@@ -1,7 +1,7 @@
 import {
   runRiddleProof
-} from "./chunk-HMEYW33D.js";
-import "./chunk-Z7BSDAOE.js";
+} from "./chunk-UBDJBUBV.js";
+import "./chunk-PMLEZU7J.js";
 import "./chunk-DZLBYXL3.js";
 import "./chunk-X7SQTCIQ.js";
 import "./chunk-4D76AYZW.js";

package/dist/spec/index.cjs

@@ -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,7 +10,7 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "../chunk-Z7BSDAOE.js";
+} from "../chunk-PMLEZU7J.js";
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard

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,7 +9,7 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "../chunk-Z7BSDAOE.js";
+} from "../chunk-PMLEZU7J.js";
 import "../chunk-DZLBYXL3.js";
 import "../chunk-4D76AYZW.js";
 import "../chunk-VY4Y5U57.js";

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,7 +9,7 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-Z7BSDAOE.js";
+} from "./chunk-PMLEZU7J.js";
 import "./chunk-DZLBYXL3.js";
 import "./chunk-4D76AYZW.js";
 import "./chunk-VY4Y5U57.js";

package/package.json

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