@riddledc/riddle-proof 0.8.51 → 0.8.53

package/dist/cli.cjs

@@ -31,6 +31,24 @@ var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__ge
 ));
 
 // src/proof-run-core.ts
+function canonicalProofAssessmentStageForDecision(decision) {
+  const normalized = typeof decision === "string" ? decision.trim() : "";
+  if (normalized === "ready_to_ship") return "ship";
+  if (normalized === "needs_richer_proof") return "author";
+  if (normalized === "revise_capture") return "verify";
+  if (normalized === "needs_recon") return "recon";
+  if (normalized === "needs_implementation") return "implement";
+  return null;
+}
+function normalizeProofAssessmentStageFields(assessment) {
+  const canonicalStage = canonicalProofAssessmentStageForDecision(assessment.decision);
+  if (!canonicalStage) return assessment;
+  return {
+    ...assessment,
+    recommended_stage: canonicalStage,
+    continue_with_stage: canonicalStage
+  };
+}
 function normalizedMode(value) {
   return typeof value === "string" ? value.trim().toLowerCase() : "";
 }
@@ -866,10 +884,10 @@ function mergeStateFromParams(statePath, params) {
       state.proof_assessment_source = null;
     } else {
       const parsed = JSON.parse(raw);
-      const assessment = {
+      const assessment = normalizeProofAssessmentStageFields({
         ...parsed,
         source: (parsed?.source || "supervising_agent").toString()
-      };
+      });
       const readyBlocker = assessment?.decision === "ready_to_ship" ? visualDeltaShipGateReason({ ...state, proof_assessment: assessment, proof_assessment_source: assessment.source }) : null;
       if (readyBlocker) {
         assessment.blocked_decision = assessment.decision;
@@ -3660,12 +3678,13 @@ function statePathsForRunState(state, engineStatePath2) {
 function responseSchemaForAuthorPacket() {
   return {
     type: "object",
-    required: ["version", "run_id", "checkpoint", "decision", "summary", "payload", "created_at"],
+    required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "payload", "created_at"],
     additionalProperties: false,
     properties: {
       version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
       run_id: { type: "string" },
       checkpoint: { type: "string" },
+      packet_id: { type: "string" },
       resume_token: { type: "string" },
       decision: {
         type: "string",
@@ -3693,12 +3712,13 @@ function responseSchemaForAuthorPacket() {
 function responseSchemaForProofAssessmentPacket() {
   return {
     type: "object",
-    required: ["version", "run_id", "checkpoint", "decision", "summary", "created_at"],
+    required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "created_at"],
     additionalProperties: false,
     properties: {
       version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
       run_id: { type: "string" },
       checkpoint: { type: "string" },
+      packet_id: { type: "string" },
       resume_token: { type: "string" },
       decision: {
         type: "string",
@@ -3734,12 +3754,13 @@ function responseSchemaForProofAssessmentPacket() {
 function responseSchemaForReconPacket() {
   return {
     type: "object",
-    required: ["version", "run_id", "checkpoint", "decision", "summary", "created_at"],
+    required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "created_at"],
     additionalProperties: false,
     properties: {
       version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
       run_id: { type: "string" },
       checkpoint: { type: "string" },
+      packet_id: { type: "string" },
       resume_token: { type: "string" },
       decision: {
         type: "string",
@@ -3767,12 +3788,13 @@ function responseSchemaForReconPacket() {
 function responseSchemaForImplementationPacket() {
   return {
     type: "object",
-    required: ["version", "run_id", "checkpoint", "decision", "summary", "created_at"],
+    required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "created_at"],
     additionalProperties: false,
     properties: {
       version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
       run_id: { type: "string" },
       checkpoint: { type: "string" },
+      packet_id: { type: "string" },
       resume_token: { type: "string" },
       decision: {
         type: "string",
@@ -3800,12 +3822,13 @@ function responseSchemaForImplementationPacket() {
 function responseSchemaForAdvancePacket(stage) {
   return {
     type: "object",
-    required: ["version", "run_id", "checkpoint", "decision", "summary", "created_at"],
+    required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "created_at"],
     additionalProperties: false,
     properties: {
       version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
       run_id: { type: "string" },
       checkpoint: { type: "string" },
+      packet_id: { type: "string" },
       resume_token: { type: "string" },
       decision: {
         type: "string",
@@ -3831,6 +3854,20 @@ function resumeTokenFor(input) {
   const hash = import_node_crypto.default.createHash("sha256").update(JSON.stringify(input)).digest("hex").slice(0, 24);
   return `rpchk_${hash}`;
 }
+function packetIdentityPayload(packet) {
+  const { packet_id: _packetId, ...identityPayload } = packet;
+  return identityPayload;
+}
+function checkpointPacketIdentity(packet) {
+  const hash = import_node_crypto.default.createHash("sha256").update(stableJson(packetIdentityPayload(packet))).digest("hex").slice(0, 24);
+  return `rppkt_${hash}`;
+}
+function withPacketIdentity(packet) {
+  return {
+    ...packet,
+    packet_id: checkpointPacketIdentity(packet)
+  };
+}
 function artifactsFromState(state) {
   const artifacts = [];
   for (const role of ["before", "prod", "after"]) {
@@ -3903,7 +3940,7 @@ function buildStageCheckpointPacket(input) {
   const checkpointContract = recordValue(input.engineResult.checkpointContract);
   const summary = nonEmptyString(input.engineResult.summary) || nonEmptyString(fullState.stage_summary) || `${stage} checkpoint needs a supervising decision.`;
   const kind = packetKindForStage(stage, checkpoint);
-  return {
+  return withPacketIdentity({
     version: RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
     run_id: runId,
     state_path: input.runState.state_path,
@@ -3952,7 +3989,7 @@ function buildStageCheckpointPacket(input) {
       stage
     }),
     created_at: input.created_at || timestamp()
-  };
+  });
 }
 function buildAuthorCheckpointPacket(input) {
   const checkpoint = nonEmptyString(input.engineResult.checkpoint) || "author_supervisor_judgment";
@@ -3965,7 +4002,7 @@ function buildAuthorCheckpointPacket(input) {
   const reconResults = recordValue(fullState.recon_results);
   const checkpointContract = recordValue(input.engineResult.checkpointContract);
   const summary = nonEmptyString(input.engineResult.summary) || nonEmptyString(fullState.author_summary) || "Author checkpoint needs a supervising proof packet.";
-  return {
+  return withPacketIdentity({
     version: RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
     run_id: runId,
     state_path: input.runState.state_path,
@@ -4014,7 +4051,7 @@ function buildAuthorCheckpointPacket(input) {
       stage
     }),
     created_at: input.created_at || timestamp()
-  };
+  });
 }
 function visualDeltaFromState(fullState) {
   const bundle = recordValue(fullState.evidence_bundle);
@@ -4085,7 +4122,7 @@ function buildProofAssessmentCheckpointPacket(input) {
   const evidenceIssueCode2 = visualDeltaIssueCode(visualDelta, visualDeltaRequired);
   const summary = nonEmptyString(input.engineResult.summary) || nonEmptyString(fullState.verify_summary) || "Verify captured evidence and needs a supervising proof assessment.";
   const recoveryHint = evidenceIssueCode2 ? "Required visual_delta evidence is incomplete. Keep this same run in verify/evidence recovery with decision=revise_capture and continue_with_stage=verify unless the evidence proves an implementation or recon problem." : "Assess whether the current artifacts prove the requested change, then choose the next stage.";
-  return {
+  return withPacketIdentity({
     version: RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
     run_id: runId,
     state_path: input.runState.state_path,
@@ -4145,7 +4182,7 @@ function buildProofAssessmentCheckpointPacket(input) {
       stage
     }),
     created_at: input.created_at || timestamp()
-  };
+  });
 }
 function buildCheckpointPacketForEngineResult(input) {
   const checkpoint = nonEmptyString(input.engineResult.checkpoint) || "";
@@ -4174,6 +4211,7 @@ function normalizeCheckpointResponse(value) {
     version: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
     run_id: runId,
     checkpoint,
+    packet_id: nonEmptyString(record.packet_id),
     resume_token: nonEmptyString(record.resume_token),
     decision,
     summary,
@@ -4261,6 +4299,7 @@ function createCheckpointResponseTemplate(packet, input = {}) {
     version: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
     run_id: packet.run_id,
     checkpoint: packet.checkpoint,
+    packet_id: packet.packet_id,
     resume_token: packet.resume_token,
     decision,
     summary: input.summary || `TODO: explain checkpoint decision ${decision}.`,
@@ -4294,6 +4333,9 @@ function checkpointSummaryFromState(state, engineStatePath2) {
   const latestResponseEntry = [...responses].reverse().find((entry) => entry.response);
   const latestPacket = state.checkpoint_packet || latestPacketEntry?.packet;
   const latestResponse = latestResponseEntry?.response;
+  const latestPacketId = latestPacket?.packet_id || null;
+  const latestResponsePacketId = latestResponse?.packet_id || null;
+  const packetIdMatches = !latestResponse ? null : latestPacketId && latestResponsePacketId ? latestPacketId === latestResponsePacketId : latestPacketId || latestResponsePacketId ? false : null;
   const latestResumeToken = latestPacket?.resume_token || null;
   const latestResponseToken = latestResponse?.resume_token || null;
   const tokenMatches = !latestResponse ? null : latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
@@ -4308,6 +4350,9 @@ function checkpointSummaryFromState(state, engineStatePath2) {
     latest_decision: latestResponse?.decision || null,
     latest_packet_summary: latestPacket?.summary || null,
     latest_response_summary: latestResponse?.summary || null,
+    latest_packet_id: latestPacketId,
+    latest_response_packet_id: latestResponsePacketId,
+    packet_id_matches: packetIdMatches,
     latest_resume_token: latestResumeToken,
     latest_response_token: latestResponseToken,
     token_matches: tokenMatches,
@@ -4324,6 +4369,7 @@ function checkpointResponseIdentity(response) {
   const logicalResponse = compactRecord({
     run_id: response.run_id,
     checkpoint: response.checkpoint,
+    packet_id: response.packet_id,
     resume_token: response.resume_token,
     decision: response.decision,
     summary: response.summary,
@@ -5095,10 +5141,7 @@ function isReadyShipGate(result) {
   return Boolean(gate && gate.ok === true);
 }
 function proofAssessmentRequestsShip(payload) {
-  const decision = String(payload.decision || "");
-  const recommendedStage = String(payload.recommended_stage || "");
-  const continueStage = String(payload.continue_with_stage || "");
-  return decision === "ready_to_ship" || recommendedStage === "ship" || continueStage === "ship";
+  return String(payload.decision || "").trim() === "ready_to_ship";
 }
 function proofAssessmentHardBlockers(state, payload) {
   const blockers = proofAssessmentHardBlockersForState(state || {});
@@ -5116,12 +5159,7 @@ function proofAssessmentContinuation(result, payload) {
   return { ...baseContinuation(result), proof_assessment_json };
 }
 function defaultStageForProofCheckpointDecision(decision) {
-  if (decision === "ready_to_ship") return "ship";
-  if (decision === "needs_implementation") return "implement";
-  if (decision === "needs_recon") return "recon";
-  if (decision === "revise_capture") return "verify";
-  if (decision === "needs_richer_proof") return "author";
-  return null;
+  return canonicalProofAssessmentStageForDecision(decision);
 }
 function checkpointContractFromPacket(packet) {
   return recordValue(packet.evidence_excerpt?.checkpoint_contract) || recordValue(recordValue(packet.state_excerpt?.stage_decision_request)?.checkpoint_contract) || null;
@@ -5147,7 +5185,7 @@ function proofAssessmentPayloadFromCheckpointResponse(response) {
   }
   const payload = recordValue(response.payload) || {};
   const stage = nonEmptyString(payload.continue_with_stage) || response.continue_with_stage || nonEmptyString(payload.recommended_stage) || defaultStageForProofCheckpointDecision(response.decision);
-  return compactRecord({
+  return normalizeProofAssessmentStageFields(compactRecord({
     ...payload,
     decision: response.decision,
     summary: response.summary,
@@ -5158,7 +5196,7 @@ function proofAssessmentPayloadFromCheckpointResponse(response) {
     source: "supervising_agent",
     checkpoint_response_source: response.source || null,
     checkpoint_response_created_at: response.created_at
-  });
+  }));
 }
 function reconAssessmentPayloadFromCheckpointResponse(response) {
   if (![
@@ -5482,6 +5520,22 @@ function checkpointResponseContinuation(state, value) {
       }
     };
   }
+  if (packet.packet_id && response.packet_id !== packet.packet_id) {
+    return {
+      blocker: {
+        code: "checkpoint_response_packet_id_mismatch",
+        checkpoint: packet.checkpoint,
+        message: "Checkpoint response packet_id does not match the pending checkpoint packet.",
+        details: {
+          stage: packet.stage,
+          expected_packet_id: packet.packet_id,
+          actual_packet_id: response.packet_id || null,
+          expected_resume_token: packet.resume_token || null,
+          actual_resume_token: response.resume_token || null
+        }
+      }
+    };
+  }
   if (!packet.allowed_decisions.includes(response.decision)) {
     return {
       blocker: {
@@ -6108,7 +6162,7 @@ async function routeCheckpoint(request, state, result, agent, input) {
       }
       return { blocker };
     }
-    const payload = assessment.payload;
+    const payload = normalizeProofAssessmentStageFields(assessment.payload);
     recordEvent(state, {
       kind: "agent.proof_assessment.completed",
       checkpoint,
@@ -18750,6 +18804,7 @@ function formatCheckpointMarkdown(input) {
     `Status: ${input.status || "awaiting_checkpoint"}`,
     `Stage: ${packet.stage}`,
     `Checkpoint: ${packet.checkpoint}`,
+    `Packet ID: ${packet.packet_id || "legacy"}`,
     `Kind: ${packet.kind}`,
     "",
     "## Goal",

package/dist/cli.js

@@ -1,13 +1,13 @@
 #!/usr/bin/env node
-import "./chunk-AWM2BKDF.js";
+import "./chunk-2ALMXMFZ.js";
 import "./chunk-DI2XNGEZ.js";
 import "./chunk-6KYXX4OE.js";
 import "./chunk-EX7TO4I5.js";
-import "./chunk-ZHTJEZH5.js";
-import "./chunk-M3IE3VNC.js";
-import "./chunk-RBAU2M4S.js";
-import "./chunk-X7SQTCIQ.js";
-import "./chunk-AXWJJ2LC.js";
+import "./chunk-ZLBOGPUL.js";
+import "./chunk-WDIKPIMB.js";
+import "./chunk-JJ4IWRMJ.js";
+import "./chunk-EKZXU6MU.js";
+import "./chunk-BLM5EIBA.js";
 import "./chunk-JFQXAJH2.js";
 import "./chunk-73EBR3YL.js";
 import "./chunk-VY4Y5U57.js";

package/dist/engine-harness.cjs

@@ -31,6 +31,24 @@ var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__ge
 var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
 
 // src/proof-run-core.ts
+function canonicalProofAssessmentStageForDecision(decision) {
+  const normalized = typeof decision === "string" ? decision.trim() : "";
+  if (normalized === "ready_to_ship") return "ship";
+  if (normalized === "needs_richer_proof") return "author";
+  if (normalized === "revise_capture") return "verify";
+  if (normalized === "needs_recon") return "recon";
+  if (normalized === "needs_implementation") return "implement";
+  return null;
+}
+function normalizeProofAssessmentStageFields(assessment) {
+  const canonicalStage = canonicalProofAssessmentStageForDecision(assessment.decision);
+  if (!canonicalStage) return assessment;
+  return {
+    ...assessment,
+    recommended_stage: canonicalStage,
+    continue_with_stage: canonicalStage
+  };
+}
 function normalizedMode(value) {
   return typeof value === "string" ? value.trim().toLowerCase() : "";
 }
@@ -866,10 +884,10 @@ function mergeStateFromParams(statePath, params) {
       state.proof_assessment_source = null;
     } else {
       const parsed = JSON.parse(raw);
-      const assessment = {
+      const assessment = normalizeProofAssessmentStageFields({
         ...parsed,
         source: (parsed?.source || "supervising_agent").toString()
-      };
+      });
       const readyBlocker = assessment?.decision === "ready_to_ship" ? visualDeltaShipGateReason({ ...state, proof_assessment: assessment, proof_assessment_source: assessment.source }) : null;
       if (readyBlocker) {
         assessment.blocked_decision = assessment.decision;
@@ -3662,12 +3680,13 @@ function statePathsForRunState(state, engineStatePath2) {
 function responseSchemaForAuthorPacket() {
   return {
     type: "object",
-    required: ["version", "run_id", "checkpoint", "decision", "summary", "payload", "created_at"],
+    required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "payload", "created_at"],
     additionalProperties: false,
     properties: {
       version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
       run_id: { type: "string" },
       checkpoint: { type: "string" },
+      packet_id: { type: "string" },
       resume_token: { type: "string" },
       decision: {
         type: "string",
@@ -3695,12 +3714,13 @@ function responseSchemaForAuthorPacket() {
 function responseSchemaForProofAssessmentPacket() {
   return {
     type: "object",
-    required: ["version", "run_id", "checkpoint", "decision", "summary", "created_at"],
+    required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "created_at"],
     additionalProperties: false,
     properties: {
       version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
       run_id: { type: "string" },
       checkpoint: { type: "string" },
+      packet_id: { type: "string" },
       resume_token: { type: "string" },
       decision: {
         type: "string",
@@ -3736,12 +3756,13 @@ function responseSchemaForProofAssessmentPacket() {
 function responseSchemaForReconPacket() {
   return {
     type: "object",
-    required: ["version", "run_id", "checkpoint", "decision", "summary", "created_at"],
+    required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "created_at"],
     additionalProperties: false,
     properties: {
       version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
       run_id: { type: "string" },
       checkpoint: { type: "string" },
+      packet_id: { type: "string" },
       resume_token: { type: "string" },
       decision: {
         type: "string",
@@ -3769,12 +3790,13 @@ function responseSchemaForReconPacket() {
 function responseSchemaForImplementationPacket() {
   return {
     type: "object",
-    required: ["version", "run_id", "checkpoint", "decision", "summary", "created_at"],
+    required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "created_at"],
     additionalProperties: false,
     properties: {
       version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
       run_id: { type: "string" },
       checkpoint: { type: "string" },
+      packet_id: { type: "string" },
       resume_token: { type: "string" },
       decision: {
         type: "string",
@@ -3802,12 +3824,13 @@ function responseSchemaForImplementationPacket() {
 function responseSchemaForAdvancePacket(stage) {
   return {
     type: "object",
-    required: ["version", "run_id", "checkpoint", "decision", "summary", "created_at"],
+    required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "created_at"],
     additionalProperties: false,
     properties: {
       version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
       run_id: { type: "string" },
       checkpoint: { type: "string" },
+      packet_id: { type: "string" },
       resume_token: { type: "string" },
       decision: {
         type: "string",
@@ -3833,6 +3856,20 @@ function resumeTokenFor(input) {
   const hash = import_node_crypto.default.createHash("sha256").update(JSON.stringify(input)).digest("hex").slice(0, 24);
   return `rpchk_${hash}`;
 }
+function packetIdentityPayload(packet) {
+  const { packet_id: _packetId, ...identityPayload } = packet;
+  return identityPayload;
+}
+function checkpointPacketIdentity(packet) {
+  const hash = import_node_crypto.default.createHash("sha256").update(stableJson(packetIdentityPayload(packet))).digest("hex").slice(0, 24);
+  return `rppkt_${hash}`;
+}
+function withPacketIdentity(packet) {
+  return {
+    ...packet,
+    packet_id: checkpointPacketIdentity(packet)
+  };
+}
 function artifactsFromState(state) {
   const artifacts = [];
   for (const role of ["before", "prod", "after"]) {
@@ -3905,7 +3942,7 @@ function buildStageCheckpointPacket(input) {
   const checkpointContract = recordValue(input.engineResult.checkpointContract);
   const summary = nonEmptyString(input.engineResult.summary) || nonEmptyString(fullState.stage_summary) || `${stage} checkpoint needs a supervising decision.`;
   const kind = packetKindForStage(stage, checkpoint);
-  return {
+  return withPacketIdentity({
     version: RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
     run_id: runId,
     state_path: input.runState.state_path,
@@ -3954,7 +3991,7 @@ function buildStageCheckpointPacket(input) {
       stage
     }),
     created_at: input.created_at || timestamp()
-  };
+  });
 }
 function buildAuthorCheckpointPacket(input) {
   const checkpoint = nonEmptyString(input.engineResult.checkpoint) || "author_supervisor_judgment";
@@ -3967,7 +4004,7 @@ function buildAuthorCheckpointPacket(input) {
   const reconResults = recordValue(fullState.recon_results);
   const checkpointContract = recordValue(input.engineResult.checkpointContract);
   const summary = nonEmptyString(input.engineResult.summary) || nonEmptyString(fullState.author_summary) || "Author checkpoint needs a supervising proof packet.";
-  return {
+  return withPacketIdentity({
     version: RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
     run_id: runId,
     state_path: input.runState.state_path,
@@ -4016,7 +4053,7 @@ function buildAuthorCheckpointPacket(input) {
       stage
     }),
     created_at: input.created_at || timestamp()
-  };
+  });
 }
 function visualDeltaFromState(fullState) {
   const bundle = recordValue(fullState.evidence_bundle);
@@ -4087,7 +4124,7 @@ function buildProofAssessmentCheckpointPacket(input) {
   const evidenceIssueCode2 = visualDeltaIssueCode(visualDelta, visualDeltaRequired);
   const summary = nonEmptyString(input.engineResult.summary) || nonEmptyString(fullState.verify_summary) || "Verify captured evidence and needs a supervising proof assessment.";
   const recoveryHint = evidenceIssueCode2 ? "Required visual_delta evidence is incomplete. Keep this same run in verify/evidence recovery with decision=revise_capture and continue_with_stage=verify unless the evidence proves an implementation or recon problem." : "Assess whether the current artifacts prove the requested change, then choose the next stage.";
-  return {
+  return withPacketIdentity({
     version: RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
     run_id: runId,
     state_path: input.runState.state_path,
@@ -4147,7 +4184,7 @@ function buildProofAssessmentCheckpointPacket(input) {
       stage
     }),
     created_at: input.created_at || timestamp()
-  };
+  });
 }
 function buildCheckpointPacketForEngineResult(input) {
   const checkpoint = nonEmptyString(input.engineResult.checkpoint) || "";
@@ -4176,6 +4213,7 @@ function normalizeCheckpointResponse(value) {
     version: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
     run_id: runId,
     checkpoint,
+    packet_id: nonEmptyString(record.packet_id),
     resume_token: nonEmptyString(record.resume_token),
     decision,
     summary,
@@ -4207,6 +4245,9 @@ function checkpointSummaryFromState(state, engineStatePath2) {
   const latestResponseEntry = [...responses].reverse().find((entry) => entry.response);
   const latestPacket = state.checkpoint_packet || latestPacketEntry?.packet;
   const latestResponse = latestResponseEntry?.response;
+  const latestPacketId = latestPacket?.packet_id || null;
+  const latestResponsePacketId = latestResponse?.packet_id || null;
+  const packetIdMatches = !latestResponse ? null : latestPacketId && latestResponsePacketId ? latestPacketId === latestResponsePacketId : latestPacketId || latestResponsePacketId ? false : null;
   const latestResumeToken = latestPacket?.resume_token || null;
   const latestResponseToken = latestResponse?.resume_token || null;
   const tokenMatches = !latestResponse ? null : latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
@@ -4221,6 +4262,9 @@ function checkpointSummaryFromState(state, engineStatePath2) {
     latest_decision: latestResponse?.decision || null,
     latest_packet_summary: latestPacket?.summary || null,
     latest_response_summary: latestResponse?.summary || null,
+    latest_packet_id: latestPacketId,
+    latest_response_packet_id: latestResponsePacketId,
+    packet_id_matches: packetIdMatches,
     latest_resume_token: latestResumeToken,
     latest_response_token: latestResponseToken,
     token_matches: tokenMatches,
@@ -4237,6 +4281,7 @@ function checkpointResponseIdentity(response) {
   const logicalResponse = compactRecord({
     run_id: response.run_id,
     checkpoint: response.checkpoint,
+    packet_id: response.packet_id,
     resume_token: response.resume_token,
     decision: response.decision,
     summary: response.summary,
@@ -5008,10 +5053,7 @@ function isReadyShipGate(result) {
   return Boolean(gate && gate.ok === true);
 }
 function proofAssessmentRequestsShip(payload) {
-  const decision = String(payload.decision || "");
-  const recommendedStage = String(payload.recommended_stage || "");
-  const continueStage = String(payload.continue_with_stage || "");
-  return decision === "ready_to_ship" || recommendedStage === "ship" || continueStage === "ship";
+  return String(payload.decision || "").trim() === "ready_to_ship";
 }
 function proofAssessmentHardBlockers(state, payload) {
   const blockers = proofAssessmentHardBlockersForState(state || {});
@@ -5029,12 +5071,7 @@ function proofAssessmentContinuation(result, payload) {
   return { ...baseContinuation(result), proof_assessment_json };
 }
 function defaultStageForProofCheckpointDecision(decision) {
-  if (decision === "ready_to_ship") return "ship";
-  if (decision === "needs_implementation") return "implement";
-  if (decision === "needs_recon") return "recon";
-  if (decision === "revise_capture") return "verify";
-  if (decision === "needs_richer_proof") return "author";
-  return null;
+  return canonicalProofAssessmentStageForDecision(decision);
 }
 function checkpointContractFromPacket(packet) {
   return recordValue(packet.evidence_excerpt?.checkpoint_contract) || recordValue(recordValue(packet.state_excerpt?.stage_decision_request)?.checkpoint_contract) || null;
@@ -5060,7 +5097,7 @@ function proofAssessmentPayloadFromCheckpointResponse(response) {
   }
   const payload = recordValue(response.payload) || {};
   const stage = nonEmptyString(payload.continue_with_stage) || response.continue_with_stage || nonEmptyString(payload.recommended_stage) || defaultStageForProofCheckpointDecision(response.decision);
-  return compactRecord({
+  return normalizeProofAssessmentStageFields(compactRecord({
     ...payload,
     decision: response.decision,
     summary: response.summary,
@@ -5071,7 +5108,7 @@ function proofAssessmentPayloadFromCheckpointResponse(response) {
     source: "supervising_agent",
     checkpoint_response_source: response.source || null,
     checkpoint_response_created_at: response.created_at
-  });
+  }));
 }
 function reconAssessmentPayloadFromCheckpointResponse(response) {
   if (![
@@ -5395,6 +5432,22 @@ function checkpointResponseContinuation(state, value) {
       }
     };
   }
+  if (packet.packet_id && response.packet_id !== packet.packet_id) {
+    return {
+      blocker: {
+        code: "checkpoint_response_packet_id_mismatch",
+        checkpoint: packet.checkpoint,
+        message: "Checkpoint response packet_id does not match the pending checkpoint packet.",
+        details: {
+          stage: packet.stage,
+          expected_packet_id: packet.packet_id,
+          actual_packet_id: response.packet_id || null,
+          expected_resume_token: packet.resume_token || null,
+          actual_resume_token: response.resume_token || null
+        }
+      }
+    };
+  }
   if (!packet.allowed_decisions.includes(response.decision)) {
     return {
       blocker: {
@@ -6021,7 +6074,7 @@ async function routeCheckpoint(request, state, result, agent, input) {
       }
       return { blocker };
     }
-    const payload = assessment.payload;
+    const payload = normalizeProofAssessmentStageFields(assessment.payload);
     recordEvent(state, {
       kind: "agent.proof_assessment.completed",
       checkpoint,

package/dist/engine-harness.js

@@ -2,11 +2,11 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-ZHTJEZH5.js";
-import "./chunk-M3IE3VNC.js";
-import "./chunk-RBAU2M4S.js";
-import "./chunk-X7SQTCIQ.js";
-import "./chunk-AXWJJ2LC.js";
+} from "./chunk-ZLBOGPUL.js";
+import "./chunk-WDIKPIMB.js";
+import "./chunk-JJ4IWRMJ.js";
+import "./chunk-EKZXU6MU.js";
+import "./chunk-BLM5EIBA.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {