@riddledc/riddle-proof 0.5.39 → 0.5.40

package/dist/engine-harness.cjs

@@ -2946,6 +2946,9 @@ function createRunResult(input) {
     finalized: state.finalized,
     blocker: state.blocker,
     checkpoint_packet: state.checkpoint_packet,
+    checkpoint_summary: state.checkpoint_summary,
+    state_paths: state.state_paths,
+    proof_contract: state.proof_contract,
     proof_session: state.proof_session,
     evidence_bundle: input.evidence_bundle,
     raw: input.raw
@@ -3045,6 +3048,9 @@ function createRunState(input) {
     iterations: input.iterations ?? 0,
     last_checkpoint: input.last_checkpoint ?? null,
     checkpoint_packet: input.checkpoint_packet,
+    checkpoint_summary: input.checkpoint_summary,
+    state_paths: input.state_paths,
+    proof_contract: input.proof_contract,
     checkpoint_history: input.checkpoint_history,
     events: input.events ? [...input.events] : []
   });
@@ -3120,6 +3126,9 @@ function createRunStatusSnapshot(state, at = timestamp()) {
     stage_elapsed_ms: elapsedMs(state.stage_started_at, at),
     blocker: state.blocker,
     checkpoint_packet: state.checkpoint_packet,
+    checkpoint_summary: state.checkpoint_summary,
+    state_paths: state.state_paths,
+    proof_contract: state.proof_contract,
     latest_event: latestEvent
   });
 }
@@ -3146,11 +3155,26 @@ function jsonCloneRecord(value) {
     return { ...record };
   }
 }
+function jsonCloneValue(value) {
+  if (value === void 0 || value === null) return void 0;
+  try {
+    return JSON.parse(JSON.stringify(value));
+  } catch {
+    return value;
+  }
+}
 function compactText(value, limit = 1600) {
   const text = nonEmptyString(value);
   if (!text) return void 0;
   return text.length <= limit ? text : `${text.slice(0, limit - 20).trimEnd()}...`;
 }
+function statePathsForRunState(state, engineStatePath2) {
+  return compactRecord({
+    wrapper_state_path: state.state_path || state.request.harness_state_path || null,
+    engine_state_path: engineStatePath2 || state.request.engine_state_path || null,
+    resume_state_path: engineStatePath2 || state.request.engine_state_path || null
+  });
+}
 function responseSchemaForAuthorPacket() {
   return {
     type: "object",
@@ -3292,6 +3316,40 @@ function normalizeCheckpointResponse(value) {
     created_at: nonEmptyString(record.created_at) || timestamp2()
   });
 }
+function checkpointSummaryFromState(state, engineStatePath2) {
+  const history = state.checkpoint_history || [];
+  const packets = history.filter((entry) => entry.packet);
+  const responses = history.filter((entry) => entry.response);
+  const latestPacketEntry = [...history].reverse().find((entry) => entry.packet);
+  const latestResponseEntry = [...history].reverse().find((entry) => entry.response);
+  const latestPacket = state.checkpoint_packet || latestPacketEntry?.packet;
+  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;
+  return compactRecord({
+    pending: Boolean(state.checkpoint_packet),
+    packet_count: packets.length,
+    response_count: responses.length,
+    latest_checkpoint: state.checkpoint_packet?.checkpoint || latestResponse?.checkpoint || state.last_checkpoint || null,
+    latest_stage: state.checkpoint_packet?.stage || latestResponse?.continue_with_stage || state.current_stage || null,
+    latest_kind: state.checkpoint_packet?.kind || latestPacket?.kind || null,
+    latest_decision: latestResponse?.decision || null,
+    latest_packet_summary: latestPacket?.summary || null,
+    latest_response_summary: latestResponse?.summary || null,
+    latest_resume_token: latestResumeToken,
+    latest_response_token: latestResponseToken,
+    token_matches: tokenMatches,
+    last_packet_at: latestPacketEntry?.ts || null,
+    last_response_at: latestResponseEntry?.ts || null,
+    state_paths: statePathsForRunState(state, engineStatePath2)
+  });
+}
+function isDuplicateCheckpointResponse(state, response) {
+  const latestResponse = [...state.checkpoint_history || []].reverse().find((entry) => entry.response)?.response;
+  if (!latestResponse) return false;
+  return latestResponse.run_id === response.run_id && latestResponse.checkpoint === response.checkpoint && latestResponse.resume_token === response.resume_token && latestResponse.decision === response.decision;
+}
 function authorPacketPayloadFromCheckpointResponse(response) {
   if (response.decision !== "author_packet") return null;
   const payload = recordValue(response.payload);
@@ -3301,6 +3359,37 @@ function authorPacketPayloadFromCheckpointResponse(response) {
   if (!nonEmptyString(candidate.proof_plan) || !nonEmptyString(candidate.capture_script)) return null;
   return candidate;
 }
+function proofContractFromAuthorCheckpointResponse(response, packet, payload) {
+  const refinedInputs = recordValue(payload.refined_inputs) || {};
+  return compactRecord({
+    version: "riddle-proof.proof-contract.v1",
+    checkpoint: packet.checkpoint,
+    source_response: compactRecord({
+      run_id: response.run_id,
+      checkpoint: response.checkpoint,
+      resume_token: response.resume_token,
+      decision: response.decision,
+      summary: response.summary,
+      created_at: response.created_at
+    }),
+    proof_plan: nonEmptyString(payload.proof_plan),
+    capture_script: nonEmptyString(payload.capture_script),
+    artifact_contract: jsonCloneRecord(payload.artifact_contract),
+    assertions: jsonCloneValue(payload.assertions),
+    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)
+    }),
+    stop_condition: nonEmptyString(payload.stop_condition),
+    rationale: jsonCloneValue(payload.rationale),
+    verdict_dimensions: jsonCloneRecord(payload.verdict_dimensions),
+    payload: jsonCloneRecord(payload),
+    created_at: timestamp2()
+  });
+}
 
 // src/engine-harness.ts
 init_proof_run_core();
@@ -3377,6 +3466,8 @@ function shouldPreserveFinalizedRunState(filePath, incoming) {
   return !(existing.status === "ready_to_ship" && incoming.status === "shipped");
 }
 function persist(state) {
+  state.state_paths = statePathsForRunState(state);
+  state.checkpoint_summary = checkpointSummaryFromState(state);
   if (!state.state_path) return;
   if (shouldPreserveFinalizedRunState(state.state_path, state)) return;
   writeJson(state.state_path, state);
@@ -3633,6 +3724,10 @@ function engineFailureBlocker(result, checkpoint) {
   };
 }
 function terminalResult(state, status, result, summary, raw = {}) {
+  if (result) {
+    const terminalStage = stageFromCheckpoint(result);
+    if (terminalStage !== "setup") state.current_stage = terminalStage;
+  }
   setRunStatus(state, status);
   if (isProtectedFinalStatus(status)) state.finalized = true;
   const metadata = normalizeTerminalMetadata({
@@ -3655,10 +3750,12 @@ function terminalResult(state, status, result, summary, raw = {}) {
 }
 function blockerResult(state, result, blocker) {
   state.blocker = blocker;
+  const blockerStage = nonEmptyString(recordValue(blocker.details)?.stage);
+  const stage = blockerStage || stageFromCheckpoint(result || { checkpoint: blocker.checkpoint || void 0 });
   recordEvent(state, {
     kind: "run.blocked",
     checkpoint: blocker.checkpoint || result?.checkpoint || null,
-    stage: stageFromCheckpoint(result || {}),
+    stage,
     summary: blocker.message,
     details: {
       code: blocker.code,
@@ -3750,17 +3847,30 @@ function checkpointResponseContinuation(state, value) {
         code: "checkpoint_response_invalid",
         checkpoint: packet?.checkpoint || state.last_checkpoint || null,
         message: "Checkpoint response was not a valid riddle-proof.checkpoint_response.v1 object.",
-        details: { checkpoint_packet: packet || null }
+        details: { checkpoint_packet: packet || null, checkpoint_summary: checkpointSummaryFromState(state) }
       }
     };
   }
   if (!packet) {
+    if (isDuplicateCheckpointResponse(state, response)) {
+      return {
+        blocker: {
+          code: "checkpoint_response_duplicate",
+          checkpoint: response.checkpoint,
+          message: "Checkpoint response was already accepted and there is no pending checkpoint packet to resume.",
+          details: {
+            response,
+            checkpoint_summary: checkpointSummaryFromState(state)
+          }
+        }
+      };
+    }
     return {
       blocker: {
         code: "checkpoint_response_without_packet",
         checkpoint: response.checkpoint,
         message: "A checkpoint response was supplied, but the run state has no pending checkpoint packet.",
-        details: { response }
+        details: { response, checkpoint_summary: checkpointSummaryFromState(state) }
       }
     };
   }
@@ -3771,6 +3881,7 @@ function checkpointResponseContinuation(state, value) {
         checkpoint: packet.checkpoint,
         message: "Checkpoint response does not match the pending checkpoint packet.",
         details: {
+          stage: packet.stage,
           expected: { run_id: packet.run_id, checkpoint: packet.checkpoint },
           actual: { run_id: response.run_id, checkpoint: response.checkpoint }
         }
@@ -3783,7 +3894,11 @@ function checkpointResponseContinuation(state, value) {
         code: "checkpoint_response_resume_token_mismatch",
         checkpoint: packet.checkpoint,
         message: "Checkpoint response resume_token does not match the pending checkpoint packet.",
-        details: { expected_resume_token: packet.resume_token, actual_resume_token: response.resume_token || null }
+        details: {
+          stage: packet.stage,
+          expected_resume_token: packet.resume_token,
+          actual_resume_token: response.resume_token || null
+        }
       }
     };
   }
@@ -3800,10 +3915,11 @@ function checkpointResponseContinuation(state, value) {
           code: "checkpoint_author_packet_missing",
           checkpoint: packet.checkpoint,
           message: "Checkpoint response decision=author_packet did not include a proof_plan and capture_script payload.",
-          details: { response }
+          details: { stage: packet.stage, response }
         }
       };
     }
+    state.proof_contract = proofContractFromAuthorCheckpointResponse(response, packet, payload);
     appendCheckpointResponse(state, response);
     return { next: { ...base, author_packet_json: jsonParam(payload) } };
   }
@@ -3817,7 +3933,7 @@ function checkpointResponseContinuation(state, value) {
       code: `checkpoint_response_${response.decision}`,
       checkpoint: packet.checkpoint,
       message: response.summary || `Checkpoint response stopped the run with decision=${response.decision}.`,
-      details: { response }
+      details: { stage: packet.stage, response }
     }
   };
 }

package/dist/engine-harness.js

@@ -2,10 +2,10 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-ORRP7CXT.js";
-import "./chunk-UQPTCP4D.js";
-import "./chunk-Z3BWCHFV.js";
-import "./chunk-Z7QUCDPT.js";
+} from "./chunk-COFOLRUW.js";
+import "./chunk-5LVCGDSD.js";
+import "./chunk-7S7O3NKF.js";
+import "./chunk-W7VTDN4T.js";
 import "./chunk-4YCWZVBN.js";
 export {
   createDisabledRiddleProofAgentAdapter,

package/dist/index.cjs

@@ -2751,6 +2751,7 @@ __export(index_exports, {
   authorPacketPayloadFromCheckpointResponse: () => authorPacketPayloadFromCheckpointResponse,
   buildAuthorCheckpointPacket: () => buildAuthorCheckpointPacket,
   buildVisualProofSession: () => buildVisualProofSession,
+  checkpointSummaryFromState: () => checkpointSummaryFromState,
   compactRecord: () => compactRecord,
   compareVisualProofSessionFingerprint: () => compareVisualProofSessionFingerprint,
   createCaptureDiagnostic: () => createCaptureDiagnostic,
@@ -2759,6 +2760,7 @@ __export(index_exports, {
   createRunState: () => createRunState,
   createRunStatusSnapshot: () => createRunStatusSnapshot,
   extractPlayabilityEvidence: () => extractPlayabilityEvidence,
+  isDuplicateCheckpointResponse: () => isDuplicateCheckpointResponse,
   isRiddleProofPlayabilityMode: () => isRiddleProofPlayabilityMode,
   isSuccessfulStatus: () => isSuccessfulStatus,
   isTerminalStatus: () => isTerminalStatus,
@@ -2769,12 +2771,14 @@ __export(index_exports, {
   normalizeRunParams: () => normalizeRunParams,
   normalizeTerminalMetadata: () => normalizeTerminalMetadata,
   parseVisualProofSession: () => parseVisualProofSession,
+  proofContractFromAuthorCheckpointResponse: () => proofContractFromAuthorCheckpointResponse,
   readRiddleProofRunStatus: () => readRiddleProofRunStatus,
   recordValue: () => recordValue,
   redactForProofDiagnostics: () => redactForProofDiagnostics,
   runRiddleProof: () => runRiddleProof,
   runRiddleProofEngineHarness: () => runRiddleProofEngineHarness,
   setRunStatus: () => setRunStatus,
+  statePathsForRunState: () => statePathsForRunState,
   summarizeCaptureArtifacts: () => summarizeCaptureArtifacts,
   visualSessionFingerprint: () => visualSessionFingerprint,
   visualSessionFingerprintBasis: () => visualSessionFingerprintBasis
@@ -2986,6 +2990,9 @@ function createRunResult(input) {
     finalized: state.finalized,
     blocker: state.blocker,
     checkpoint_packet: state.checkpoint_packet,
+    checkpoint_summary: state.checkpoint_summary,
+    state_paths: state.state_paths,
+    proof_contract: state.proof_contract,
     proof_session: state.proof_session,
     evidence_bundle: input.evidence_bundle,
     raw: input.raw
@@ -3115,6 +3122,9 @@ function createRunState(input) {
     iterations: input.iterations ?? 0,
     last_checkpoint: input.last_checkpoint ?? null,
     checkpoint_packet: input.checkpoint_packet,
+    checkpoint_summary: input.checkpoint_summary,
+    state_paths: input.state_paths,
+    proof_contract: input.proof_contract,
     checkpoint_history: input.checkpoint_history,
     events: input.events ? [...input.events] : []
   });
@@ -3190,6 +3200,9 @@ function createRunStatusSnapshot(state, at = timestamp()) {
     stage_elapsed_ms: elapsedMs(state.stage_started_at, at),
     blocker: state.blocker,
     checkpoint_packet: state.checkpoint_packet,
+    checkpoint_summary: state.checkpoint_summary,
+    state_paths: state.state_paths,
+    proof_contract: state.proof_contract,
     latest_event: latestEvent
   });
 }
@@ -3233,11 +3246,26 @@ function jsonCloneRecord(value) {
     return { ...record };
   }
 }
+function jsonCloneValue(value) {
+  if (value === void 0 || value === null) return void 0;
+  try {
+    return JSON.parse(JSON.stringify(value));
+  } catch {
+    return value;
+  }
+}
 function compactText(value, limit = 1600) {
   const text = nonEmptyString(value);
   if (!text) return void 0;
   return text.length <= limit ? text : `${text.slice(0, limit - 20).trimEnd()}...`;
 }
+function statePathsForRunState(state, engineStatePath2) {
+  return compactRecord({
+    wrapper_state_path: state.state_path || state.request.harness_state_path || null,
+    engine_state_path: engineStatePath2 || state.request.engine_state_path || null,
+    resume_state_path: engineStatePath2 || state.request.engine_state_path || null
+  });
+}
 function responseSchemaForAuthorPacket() {
   return {
     type: "object",
@@ -3379,6 +3407,40 @@ function normalizeCheckpointResponse(value) {
     created_at: nonEmptyString(record.created_at) || timestamp2()
   });
 }
+function checkpointSummaryFromState(state, engineStatePath2) {
+  const history = state.checkpoint_history || [];
+  const packets = history.filter((entry) => entry.packet);
+  const responses = history.filter((entry) => entry.response);
+  const latestPacketEntry = [...history].reverse().find((entry) => entry.packet);
+  const latestResponseEntry = [...history].reverse().find((entry) => entry.response);
+  const latestPacket = state.checkpoint_packet || latestPacketEntry?.packet;
+  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;
+  return compactRecord({
+    pending: Boolean(state.checkpoint_packet),
+    packet_count: packets.length,
+    response_count: responses.length,
+    latest_checkpoint: state.checkpoint_packet?.checkpoint || latestResponse?.checkpoint || state.last_checkpoint || null,
+    latest_stage: state.checkpoint_packet?.stage || latestResponse?.continue_with_stage || state.current_stage || null,
+    latest_kind: state.checkpoint_packet?.kind || latestPacket?.kind || null,
+    latest_decision: latestResponse?.decision || null,
+    latest_packet_summary: latestPacket?.summary || null,
+    latest_response_summary: latestResponse?.summary || null,
+    latest_resume_token: latestResumeToken,
+    latest_response_token: latestResponseToken,
+    token_matches: tokenMatches,
+    last_packet_at: latestPacketEntry?.ts || null,
+    last_response_at: latestResponseEntry?.ts || null,
+    state_paths: statePathsForRunState(state, engineStatePath2)
+  });
+}
+function isDuplicateCheckpointResponse(state, response) {
+  const latestResponse = [...state.checkpoint_history || []].reverse().find((entry) => entry.response)?.response;
+  if (!latestResponse) return false;
+  return latestResponse.run_id === response.run_id && latestResponse.checkpoint === response.checkpoint && latestResponse.resume_token === response.resume_token && latestResponse.decision === response.decision;
+}
 function authorPacketPayloadFromCheckpointResponse(response) {
   if (response.decision !== "author_packet") return null;
   const payload = recordValue(response.payload);
@@ -3388,6 +3450,37 @@ function authorPacketPayloadFromCheckpointResponse(response) {
   if (!nonEmptyString(candidate.proof_plan) || !nonEmptyString(candidate.capture_script)) return null;
   return candidate;
 }
+function proofContractFromAuthorCheckpointResponse(response, packet, payload) {
+  const refinedInputs = recordValue(payload.refined_inputs) || {};
+  return compactRecord({
+    version: "riddle-proof.proof-contract.v1",
+    checkpoint: packet.checkpoint,
+    source_response: compactRecord({
+      run_id: response.run_id,
+      checkpoint: response.checkpoint,
+      resume_token: response.resume_token,
+      decision: response.decision,
+      summary: response.summary,
+      created_at: response.created_at
+    }),
+    proof_plan: nonEmptyString(payload.proof_plan),
+    capture_script: nonEmptyString(payload.capture_script),
+    artifact_contract: jsonCloneRecord(payload.artifact_contract),
+    assertions: jsonCloneValue(payload.assertions),
+    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)
+    }),
+    stop_condition: nonEmptyString(payload.stop_condition),
+    rationale: jsonCloneValue(payload.rationale),
+    verdict_dimensions: jsonCloneRecord(payload.verdict_dimensions),
+    payload: jsonCloneRecord(payload),
+    created_at: timestamp2()
+  });
+}
 
 // src/runner.ts
 function errorDetails(error) {
@@ -3950,6 +4043,8 @@ function shouldPreserveFinalizedRunState(filePath, incoming) {
   return !(existing.status === "ready_to_ship" && incoming.status === "shipped");
 }
 function persist(state) {
+  state.state_paths = statePathsForRunState(state);
+  state.checkpoint_summary = checkpointSummaryFromState(state);
   if (!state.state_path) return;
   if (shouldPreserveFinalizedRunState(state.state_path, state)) return;
   writeJson(state.state_path, state);
@@ -4206,6 +4301,10 @@ function engineFailureBlocker(result, checkpoint) {
   };
 }
 function terminalResult(state, status, result, summary, raw = {}) {
+  if (result) {
+    const terminalStage = stageFromCheckpoint(result);
+    if (terminalStage !== "setup") state.current_stage = terminalStage;
+  }
   setRunStatus(state, status);
   if (isProtectedFinalStatus(status)) state.finalized = true;
   const metadata = normalizeTerminalMetadata({
@@ -4228,10 +4327,12 @@ function terminalResult(state, status, result, summary, raw = {}) {
 }
 function blockerResult(state, result, blocker) {
   state.blocker = blocker;
+  const blockerStage = nonEmptyString(recordValue(blocker.details)?.stage);
+  const stage = blockerStage || stageFromCheckpoint(result || { checkpoint: blocker.checkpoint || void 0 });
   recordEvent(state, {
     kind: "run.blocked",
     checkpoint: blocker.checkpoint || result?.checkpoint || null,
-    stage: stageFromCheckpoint(result || {}),
+    stage,
     summary: blocker.message,
     details: {
       code: blocker.code,
@@ -4323,17 +4424,30 @@ function checkpointResponseContinuation(state, value) {
         code: "checkpoint_response_invalid",
         checkpoint: packet?.checkpoint || state.last_checkpoint || null,
         message: "Checkpoint response was not a valid riddle-proof.checkpoint_response.v1 object.",
-        details: { checkpoint_packet: packet || null }
+        details: { checkpoint_packet: packet || null, checkpoint_summary: checkpointSummaryFromState(state) }
       }
     };
   }
   if (!packet) {
+    if (isDuplicateCheckpointResponse(state, response)) {
+      return {
+        blocker: {
+          code: "checkpoint_response_duplicate",
+          checkpoint: response.checkpoint,
+          message: "Checkpoint response was already accepted and there is no pending checkpoint packet to resume.",
+          details: {
+            response,
+            checkpoint_summary: checkpointSummaryFromState(state)
+          }
+        }
+      };
+    }
     return {
       blocker: {
         code: "checkpoint_response_without_packet",
         checkpoint: response.checkpoint,
         message: "A checkpoint response was supplied, but the run state has no pending checkpoint packet.",
-        details: { response }
+        details: { response, checkpoint_summary: checkpointSummaryFromState(state) }
       }
     };
   }
@@ -4344,6 +4458,7 @@ function checkpointResponseContinuation(state, value) {
         checkpoint: packet.checkpoint,
         message: "Checkpoint response does not match the pending checkpoint packet.",
         details: {
+          stage: packet.stage,
           expected: { run_id: packet.run_id, checkpoint: packet.checkpoint },
           actual: { run_id: response.run_id, checkpoint: response.checkpoint }
         }
@@ -4356,7 +4471,11 @@ function checkpointResponseContinuation(state, value) {
         code: "checkpoint_response_resume_token_mismatch",
         checkpoint: packet.checkpoint,
         message: "Checkpoint response resume_token does not match the pending checkpoint packet.",
-        details: { expected_resume_token: packet.resume_token, actual_resume_token: response.resume_token || null }
+        details: {
+          stage: packet.stage,
+          expected_resume_token: packet.resume_token,
+          actual_resume_token: response.resume_token || null
+        }
       }
     };
   }
@@ -4373,10 +4492,11 @@ function checkpointResponseContinuation(state, value) {
           code: "checkpoint_author_packet_missing",
           checkpoint: packet.checkpoint,
           message: "Checkpoint response decision=author_packet did not include a proof_plan and capture_script payload.",
-          details: { response }
+          details: { stage: packet.stage, response }
         }
       };
     }
+    state.proof_contract = proofContractFromAuthorCheckpointResponse(response, packet, payload);
     appendCheckpointResponse(state, response);
     return { next: { ...base, author_packet_json: jsonParam(payload) } };
   }
@@ -4390,7 +4510,7 @@ function checkpointResponseContinuation(state, value) {
       code: `checkpoint_response_${response.decision}`,
       checkpoint: packet.checkpoint,
       message: response.summary || `Checkpoint response stopped the run with decision=${response.decision}.`,
-      details: { response }
+      details: { stage: packet.stage, response }
     }
   };
 }
@@ -5541,6 +5661,7 @@ function parseJson(value) {
   authorPacketPayloadFromCheckpointResponse,
   buildAuthorCheckpointPacket,
   buildVisualProofSession,
+  checkpointSummaryFromState,
   compactRecord,
   compareVisualProofSessionFingerprint,
   createCaptureDiagnostic,
@@ -5549,6 +5670,7 @@ function parseJson(value) {
   createRunState,
   createRunStatusSnapshot,
   extractPlayabilityEvidence,
+  isDuplicateCheckpointResponse,
   isRiddleProofPlayabilityMode,
   isSuccessfulStatus,
   isTerminalStatus,
@@ -5559,12 +5681,14 @@ function parseJson(value) {
   normalizeRunParams,
   normalizeTerminalMetadata,
   parseVisualProofSession,
+  proofContractFromAuthorCheckpointResponse,
   readRiddleProofRunStatus,
   recordValue,
   redactForProofDiagnostics,
   runRiddleProof,
   runRiddleProofEngineHarness,
   setRunStatus,
+  statePathsForRunState,
   summarizeCaptureArtifacts,
   visualSessionFingerprint,
   visualSessionFingerprintBasis

package/dist/index.d.cts

@@ -1,7 +1,7 @@
-export { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofCheckpointArtifact, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, RiddleProofCheckpointRole, RiddleProofCheckpointRoutingHint, RiddleProofCheckpointVisibility, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter } from './types.cjs';
+export { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofCheckpointArtifact, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, RiddleProofCheckpointRole, RiddleProofCheckpointRoutingHint, RiddleProofCheckpointSummary, RiddleProofCheckpointVisibility, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofProofContract, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatePaths, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter } from './types.cjs';
 export { TerminalMetadataInput, applyTerminalMetadata, compactRecord, createRunResult, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue } from './result.cjs';
 export { CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, RunEventInput, appendRunEvent, appendStageHeartbeat, applyPrLifecycleState, createRunState, createRunStatusSnapshot, normalizeIntegrationContext, normalizePrLifecycleState, normalizeRunParams, setRunStatus } from './state.cjs';
-export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, normalizeCheckpointResponse } from './checkpoint.cjs';
+export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, checkpointSummaryFromState, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.cjs';
 export { RiddleProofRunnerAdapters, RunRiddleProofInput, runRiddleProof } from './runner.cjs';
 export { RiddleProofAgentAdapter, RiddleProofAgentPayload, RiddleProofCheckpointMode, RiddleProofEngine, RiddleProofEngineHarnessConfig, RiddleProofEngineHarnessContext, RiddleProofEngineResult, RiddleProofShipMode, RiddleProofWorkflowParams, RunRiddleProofEngineHarnessInput, createDisabledRiddleProofAgentAdapter, readRiddleProofRunStatus, runRiddleProofEngineHarness } from './engine-harness.cjs';
 export { CreateCaptureDiagnosticInput, DEFAULT_DIAGNOSTIC_ARRAY_LIMIT, DEFAULT_DIAGNOSTIC_HISTORY_LIMIT, DEFAULT_DIAGNOSTIC_STRING_LIMIT, RIDDLE_PROOF_CAPTURE_DIAGNOSTIC_VERSION, RiddleProofArtifactSummary, RiddleProofCaptureArtifactSummary, RiddleProofCaptureDiagnostic, RiddleProofDiagnosticRedactionOptions, appendCaptureDiagnostic, createCaptureDiagnostic, redactForProofDiagnostics, summarizeCaptureArtifacts } from './diagnostics.cjs';

package/dist/index.d.ts

@@ -1,7 +1,7 @@
-export { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofCheckpointArtifact, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, RiddleProofCheckpointRole, RiddleProofCheckpointRoutingHint, RiddleProofCheckpointVisibility, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter } from './types.js';
+export { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofCheckpointArtifact, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, RiddleProofCheckpointRole, RiddleProofCheckpointRoutingHint, RiddleProofCheckpointSummary, RiddleProofCheckpointVisibility, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofProofContract, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatePaths, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter } from './types.js';
 export { TerminalMetadataInput, applyTerminalMetadata, compactRecord, createRunResult, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue } from './result.js';
 export { CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, RunEventInput, appendRunEvent, appendStageHeartbeat, applyPrLifecycleState, createRunState, createRunStatusSnapshot, normalizeIntegrationContext, normalizePrLifecycleState, normalizeRunParams, setRunStatus } from './state.js';
-export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, normalizeCheckpointResponse } from './checkpoint.js';
+export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, checkpointSummaryFromState, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.js';
 export { RiddleProofRunnerAdapters, RunRiddleProofInput, runRiddleProof } from './runner.js';
 export { RiddleProofAgentAdapter, RiddleProofAgentPayload, RiddleProofCheckpointMode, RiddleProofEngine, RiddleProofEngineHarnessConfig, RiddleProofEngineHarnessContext, RiddleProofEngineResult, RiddleProofShipMode, RiddleProofWorkflowParams, RunRiddleProofEngineHarnessInput, createDisabledRiddleProofAgentAdapter, readRiddleProofRunStatus, runRiddleProofEngineHarness } from './engine-harness.js';
 export { CreateCaptureDiagnosticInput, DEFAULT_DIAGNOSTIC_ARRAY_LIMIT, DEFAULT_DIAGNOSTIC_HISTORY_LIMIT, DEFAULT_DIAGNOSTIC_STRING_LIMIT, RIDDLE_PROOF_CAPTURE_DIAGNOSTIC_VERSION, RiddleProofArtifactSummary, RiddleProofCaptureArtifactSummary, RiddleProofCaptureDiagnostic, RiddleProofDiagnosticRedactionOptions, appendCaptureDiagnostic, createCaptureDiagnostic, redactForProofDiagnostics, summarizeCaptureArtifacts } from './diagnostics.js';

package/dist/index.js

@@ -9,7 +9,7 @@ import {
 } from "./chunk-ODORKNSO.js";
 import {
   runRiddleProof
-} from "./chunk-RDTMR7XR.js";
+} from "./chunk-MRSYJMF4.js";
 import "./chunk-6F4PWJZI.js";
 import {
   DEFAULT_DIAGNOSTIC_ARRAY_LIMIT,
@@ -25,14 +25,18 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-ORRP7CXT.js";
+} from "./chunk-COFOLRUW.js";
 import {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
   authorPacketPayloadFromCheckpointResponse,
   buildAuthorCheckpointPacket,
-  normalizeCheckpointResponse
-} from "./chunk-UQPTCP4D.js";
+  checkpointSummaryFromState,
+  isDuplicateCheckpointResponse,
+  normalizeCheckpointResponse,
+  proofContractFromAuthorCheckpointResponse,
+  statePathsForRunState
+} from "./chunk-5LVCGDSD.js";
 import {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
@@ -44,7 +48,7 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-Z3BWCHFV.js";
+} from "./chunk-7S7O3NKF.js";
 import {
   applyTerminalMetadata,
   compactRecord,
@@ -54,7 +58,7 @@ import {
   nonEmptyString,
   normalizeTerminalMetadata,
   recordValue
-} from "./chunk-Z7QUCDPT.js";
+} from "./chunk-W7VTDN4T.js";
 import {
   RIDDLE_PROOF_PLAYABILITY_ASSESSMENT_VERSION,
   RIDDLE_PROOF_PLAYABILITY_VERSION,
@@ -84,6 +88,7 @@ export {
   authorPacketPayloadFromCheckpointResponse,
   buildAuthorCheckpointPacket,
   buildVisualProofSession,
+  checkpointSummaryFromState,
   compactRecord,
   compareVisualProofSessionFingerprint,
   createCaptureDiagnostic,
@@ -92,6 +97,7 @@ export {
   createRunState,
   createRunStatusSnapshot,
   extractPlayabilityEvidence,
+  isDuplicateCheckpointResponse,
   isRiddleProofPlayabilityMode,
   isSuccessfulStatus,
   isTerminalStatus,
@@ -102,12 +108,14 @@ export {
   normalizeRunParams,
   normalizeTerminalMetadata,
   parseVisualProofSession,
+  proofContractFromAuthorCheckpointResponse,
   readRiddleProofRunStatus,
   recordValue,
   redactForProofDiagnostics,
   runRiddleProof,
   runRiddleProofEngineHarness,
   setRunStatus,
+  statePathsForRunState,
   summarizeCaptureArtifacts,
   visualSessionFingerprint,
   visualSessionFingerprintBasis