@riddledc/riddle-proof 0.5.39 → 0.5.41

package/dist/checkpoint.cjs

@@ -34,7 +34,12 @@ __export(checkpoint_exports, {
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION: () => RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
   authorPacketPayloadFromCheckpointResponse: () => authorPacketPayloadFromCheckpointResponse,
   buildAuthorCheckpointPacket: () => buildAuthorCheckpointPacket,
-  normalizeCheckpointResponse: () => normalizeCheckpointResponse
+  checkpointResponseIdentity: () => checkpointResponseIdentity,
+  checkpointSummaryFromState: () => checkpointSummaryFromState,
+  isDuplicateCheckpointResponse: () => isDuplicateCheckpointResponse,
+  normalizeCheckpointResponse: () => normalizeCheckpointResponse,
+  proofContractFromAuthorCheckpointResponse: () => proofContractFromAuthorCheckpointResponse,
+  statePathsForRunState: () => statePathsForRunState
 });
 module.exports = __toCommonJS(checkpoint_exports);
 var import_node_crypto = __toESM(require("crypto"), 1);
@@ -65,11 +70,34 @@ 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 stableJson(value) {
+  if (Array.isArray(value)) return `[${value.map(stableJson).join(",")}]`;
+  const record = recordValue(value);
+  if (record) {
+    return `{${Object.keys(record).sort().map((key) => `${JSON.stringify(key)}:${stableJson(record[key])}`).join(",")}}`;
+  }
+  return JSON.stringify(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, engineStatePath) {
+  return compactRecord({
+    wrapper_state_path: state.state_path || state.request.harness_state_path || null,
+    engine_state_path: engineStatePath || state.request.engine_state_path || null,
+    resume_state_path: engineStatePath || state.request.engine_state_path || null
+  });
+}
 function responseSchemaForAuthorPacket() {
   return {
     type: "object",
@@ -211,6 +239,55 @@ function normalizeCheckpointResponse(value) {
     created_at: nonEmptyString(record.created_at) || timestamp()
   });
 }
+function checkpointSummaryFromState(state, engineStatePath) {
+  const history = state.checkpoint_history || [];
+  const packets = history.filter((entry) => entry.packet);
+  const responses = history.filter((entry) => entry.response);
+  const duplicateResponses = (state.events || []).filter((event) => event.kind === "checkpoint.response.duplicate");
+  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,
+    duplicate_response_count: duplicateResponses.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, engineStatePath)
+  });
+}
+function isDuplicateCheckpointResponse(state, response) {
+  const identity = checkpointResponseIdentity(response);
+  return (state.checkpoint_history || []).some((entry) => entry.response ? checkpointResponseIdentity(entry.response) === identity : false);
+}
+function checkpointResponseIdentity(response) {
+  const logicalResponse = compactRecord({
+    run_id: response.run_id,
+    checkpoint: response.checkpoint,
+    resume_token: response.resume_token,
+    decision: response.decision,
+    summary: response.summary,
+    payload: response.payload,
+    reasons: response.reasons,
+    continue_with_stage: response.continue_with_stage,
+    source: response.source
+  });
+  return import_node_crypto.default.createHash("sha256").update(stableJson(logicalResponse)).digest("hex").slice(0, 24);
+}
 function authorPacketPayloadFromCheckpointResponse(response) {
   if (response.decision !== "author_packet") return null;
   const payload = recordValue(response.payload);
@@ -220,11 +297,47 @@ 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: timestamp()
+  });
+}
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
   authorPacketPayloadFromCheckpointResponse,
   buildAuthorCheckpointPacket,
-  normalizeCheckpointResponse
+  checkpointResponseIdentity,
+  checkpointSummaryFromState,
+  isDuplicateCheckpointResponse,
+  normalizeCheckpointResponse,
+  proofContractFromAuthorCheckpointResponse,
+  statePathsForRunState
 });

package/dist/checkpoint.d.cts

@@ -1,7 +1,8 @@
-import { RiddleProofCheckpointResponse, RiddleProofRunParams, RiddleProofRunState, RiddleProofCheckpointPacket } from './types.cjs';
+import { RiddleProofCheckpointResponse, RiddleProofRunParams, RiddleProofRunState, RiddleProofCheckpointPacket, RiddleProofCheckpointSummary, RiddleProofProofContract, RiddleProofStatePaths } from './types.cjs';
 
 declare const RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION: "riddle-proof.checkpoint.v1";
 declare const RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION: "riddle-proof.checkpoint_response.v1";
+declare function statePathsForRunState(state: RiddleProofRunState, engineStatePath?: string | null): RiddleProofStatePaths;
 declare function buildAuthorCheckpointPacket(input: {
     request: RiddleProofRunParams;
     runState: RiddleProofRunState;
@@ -17,6 +18,10 @@ declare function buildAuthorCheckpointPacket(input: {
     created_at?: string;
 }): RiddleProofCheckpointPacket;
 declare function normalizeCheckpointResponse(value: unknown): RiddleProofCheckpointResponse | null;
+declare function checkpointSummaryFromState(state: RiddleProofRunState, engineStatePath?: string | null): RiddleProofCheckpointSummary;
+declare function isDuplicateCheckpointResponse(state: RiddleProofRunState, response: RiddleProofCheckpointResponse): boolean;
+declare function checkpointResponseIdentity(response: RiddleProofCheckpointResponse): string;
 declare function authorPacketPayloadFromCheckpointResponse(response: RiddleProofCheckpointResponse): Record<string, unknown> | null;
+declare function proofContractFromAuthorCheckpointResponse(response: RiddleProofCheckpointResponse, packet: RiddleProofCheckpointPacket, payload: Record<string, unknown>): RiddleProofProofContract;
 
-export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, normalizeCheckpointResponse };
+export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, checkpointResponseIdentity, checkpointSummaryFromState, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState };

package/dist/checkpoint.d.ts

@@ -1,7 +1,8 @@
-import { RiddleProofCheckpointResponse, RiddleProofRunParams, RiddleProofRunState, RiddleProofCheckpointPacket } from './types.js';
+import { RiddleProofCheckpointResponse, RiddleProofRunParams, RiddleProofRunState, RiddleProofCheckpointPacket, RiddleProofCheckpointSummary, RiddleProofProofContract, RiddleProofStatePaths } from './types.js';
 
 declare const RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION: "riddle-proof.checkpoint.v1";
 declare const RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION: "riddle-proof.checkpoint_response.v1";
+declare function statePathsForRunState(state: RiddleProofRunState, engineStatePath?: string | null): RiddleProofStatePaths;
 declare function buildAuthorCheckpointPacket(input: {
     request: RiddleProofRunParams;
     runState: RiddleProofRunState;
@@ -17,6 +18,10 @@ declare function buildAuthorCheckpointPacket(input: {
     created_at?: string;
 }): RiddleProofCheckpointPacket;
 declare function normalizeCheckpointResponse(value: unknown): RiddleProofCheckpointResponse | null;
+declare function checkpointSummaryFromState(state: RiddleProofRunState, engineStatePath?: string | null): RiddleProofCheckpointSummary;
+declare function isDuplicateCheckpointResponse(state: RiddleProofRunState, response: RiddleProofCheckpointResponse): boolean;
+declare function checkpointResponseIdentity(response: RiddleProofCheckpointResponse): string;
 declare function authorPacketPayloadFromCheckpointResponse(response: RiddleProofCheckpointResponse): Record<string, unknown> | null;
+declare function proofContractFromAuthorCheckpointResponse(response: RiddleProofCheckpointResponse, packet: RiddleProofCheckpointPacket, payload: Record<string, unknown>): RiddleProofProofContract;
 
-export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, normalizeCheckpointResponse };
+export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, checkpointResponseIdentity, checkpointSummaryFromState, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState };

package/dist/checkpoint.js

@@ -3,13 +3,23 @@ import {
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
   authorPacketPayloadFromCheckpointResponse,
   buildAuthorCheckpointPacket,
-  normalizeCheckpointResponse
-} from "./chunk-UQPTCP4D.js";
-import "./chunk-Z7QUCDPT.js";
+  checkpointResponseIdentity,
+  checkpointSummaryFromState,
+  isDuplicateCheckpointResponse,
+  normalizeCheckpointResponse,
+  proofContractFromAuthorCheckpointResponse,
+  statePathsForRunState
+} from "./chunk-RI25RGQP.js";
+import "./chunk-W7VTDN4T.js";
 export {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
   authorPacketPayloadFromCheckpointResponse,
   buildAuthorCheckpointPacket,
-  normalizeCheckpointResponse
+  checkpointResponseIdentity,
+  checkpointSummaryFromState,
+  isDuplicateCheckpointResponse,
+  normalizeCheckpointResponse,
+  proofContractFromAuthorCheckpointResponse,
+  statePathsForRunState
 };

package/dist/{chunk-Z3BWCHFV.js → chunk-7S7O3NKF.js}

@@ -3,7 +3,7 @@ import {
   isTerminalStatus,
   nonEmptyString,
   recordValue
-} from "./chunk-Z7QUCDPT.js";
+} from "./chunk-W7VTDN4T.js";
 
 // src/state.ts
 var RIDDLE_PROOF_RUN_STATE_VERSION = "riddle-proof.run-state.v1";
@@ -128,6 +128,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] : []
   });
@@ -203,6 +206,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
   });
 }

package/dist/{chunk-RDTMR7XR.js → chunk-MRSYJMF4.js}

@@ -3,10 +3,10 @@ import {
   appendStageHeartbeat,
   createRunState,
   setRunStatus
-} from "./chunk-Z3BWCHFV.js";
+} from "./chunk-7S7O3NKF.js";
 import {
   createRunResult
-} from "./chunk-Z7QUCDPT.js";
+} from "./chunk-W7VTDN4T.js";
 
 // src/runner.ts
 function errorDetails(error) {

package/dist/{chunk-UQPTCP4D.js → chunk-RI25RGQP.js}

@@ -2,7 +2,7 @@ import {
   compactRecord,
   nonEmptyString,
   recordValue
-} from "./chunk-Z7QUCDPT.js";
+} from "./chunk-W7VTDN4T.js";
 
 // src/checkpoint.ts
 import crypto from "crypto";
@@ -20,11 +20,34 @@ 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 stableJson(value) {
+  if (Array.isArray(value)) return `[${value.map(stableJson).join(",")}]`;
+  const record = recordValue(value);
+  if (record) {
+    return `{${Object.keys(record).sort().map((key) => `${JSON.stringify(key)}:${stableJson(record[key])}`).join(",")}}`;
+  }
+  return JSON.stringify(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, engineStatePath) {
+  return compactRecord({
+    wrapper_state_path: state.state_path || state.request.harness_state_path || null,
+    engine_state_path: engineStatePath || state.request.engine_state_path || null,
+    resume_state_path: engineStatePath || state.request.engine_state_path || null
+  });
+}
 function responseSchemaForAuthorPacket() {
   return {
     type: "object",
@@ -166,6 +189,55 @@ function normalizeCheckpointResponse(value) {
     created_at: nonEmptyString(record.created_at) || timestamp()
   });
 }
+function checkpointSummaryFromState(state, engineStatePath) {
+  const history = state.checkpoint_history || [];
+  const packets = history.filter((entry) => entry.packet);
+  const responses = history.filter((entry) => entry.response);
+  const duplicateResponses = (state.events || []).filter((event) => event.kind === "checkpoint.response.duplicate");
+  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,
+    duplicate_response_count: duplicateResponses.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, engineStatePath)
+  });
+}
+function isDuplicateCheckpointResponse(state, response) {
+  const identity = checkpointResponseIdentity(response);
+  return (state.checkpoint_history || []).some((entry) => entry.response ? checkpointResponseIdentity(entry.response) === identity : false);
+}
+function checkpointResponseIdentity(response) {
+  const logicalResponse = compactRecord({
+    run_id: response.run_id,
+    checkpoint: response.checkpoint,
+    resume_token: response.resume_token,
+    decision: response.decision,
+    summary: response.summary,
+    payload: response.payload,
+    reasons: response.reasons,
+    continue_with_stage: response.continue_with_stage,
+    source: response.source
+  });
+  return crypto.createHash("sha256").update(stableJson(logicalResponse)).digest("hex").slice(0, 24);
+}
 function authorPacketPayloadFromCheckpointResponse(response) {
   if (response.decision !== "author_packet") return null;
   const payload = recordValue(response.payload);
@@ -175,11 +247,47 @@ 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: timestamp()
+  });
+}
 
 export {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
+  statePathsForRunState,
   buildAuthorCheckpointPacket,
   normalizeCheckpointResponse,
-  authorPacketPayloadFromCheckpointResponse
+  checkpointSummaryFromState,
+  isDuplicateCheckpointResponse,
+  checkpointResponseIdentity,
+  authorPacketPayloadFromCheckpointResponse,
+  proofContractFromAuthorCheckpointResponse
 };

package/dist/{chunk-Z7QUCDPT.js → chunk-W7VTDN4T.js}

@@ -203,6 +203,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

package/dist/{chunk-ORRP7CXT.js → chunk-ZBM67XGB.js}

@@ -1,8 +1,13 @@
 import {
   authorPacketPayloadFromCheckpointResponse,
   buildAuthorCheckpointPacket,
-  normalizeCheckpointResponse
-} from "./chunk-UQPTCP4D.js";
+  checkpointResponseIdentity,
+  checkpointSummaryFromState,
+  isDuplicateCheckpointResponse,
+  normalizeCheckpointResponse,
+  proofContractFromAuthorCheckpointResponse,
+  statePathsForRunState
+} from "./chunk-RI25RGQP.js";
 import {
   appendRunEvent,
   appendStageHeartbeat,
@@ -10,7 +15,7 @@ import {
   createRunStatusSnapshot,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-Z3BWCHFV.js";
+} from "./chunk-7S7O3NKF.js";
 import {
   applyTerminalMetadata,
   compactRecord,
@@ -18,7 +23,7 @@ import {
   nonEmptyString,
   normalizeTerminalMetadata,
   recordValue
-} from "./chunk-Z7QUCDPT.js";
+} from "./chunk-W7VTDN4T.js";
 import {
   visualDeltaShipGateReason
 } from "./chunk-4YCWZVBN.js";
@@ -108,6 +113,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);
@@ -364,6 +371,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({
@@ -386,10 +397,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,
@@ -481,7 +494,35 @@ 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 (isDuplicateCheckpointResponse(state, response)) {
+    const stage = packet?.stage || state.current_stage || "author";
+    recordEvent(state, {
+      kind: "checkpoint.response.duplicate",
+      checkpoint: response.checkpoint,
+      stage,
+      summary: "Duplicate checkpoint response ignored.",
+      details: compactRecord({
+        decision: response.decision,
+        resume_token: response.resume_token,
+        response_identity: checkpointResponseIdentity(response)
+      })
+    });
+    return {
+      blocker: {
+        code: "checkpoint_response_duplicate",
+        checkpoint: response.checkpoint,
+        message: "Checkpoint response was already accepted for this run/checkpoint/resume token and was not applied again.",
+        details: {
+          stage,
+          duplicate: true,
+          response,
+          response_identity: checkpointResponseIdentity(response),
+          checkpoint_summary: checkpointSummaryFromState(state)
+        }
       }
     };
   }
@@ -491,7 +532,7 @@ function checkpointResponseContinuation(state, value) {
         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) }
       }
     };
   }
@@ -502,6 +543,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 }
         }
@@ -514,7 +556,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
+        }
       }
     };
   }
@@ -531,10 +577,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) } };
   }
@@ -548,7 +595,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 }
     }
   };
 }