@riddledc/riddle-proof 0.5.47 → 0.5.48

package/dist/{chunk-ALP5KOS2.js → chunk-2RS4PBYK.js}

@@ -281,6 +281,20 @@ function checkpointContinueStage(result) {
   const resume = recordValue(result.checkpointContract?.resume);
   return nonEmptyString(resume?.continue_with_stage);
 }
+function checkpointRecommendedStage(result) {
+  const resumeStage = checkpointContinueStage(result);
+  if (resumeStage) return resumeStage;
+  return nonEmptyString(result.checkpointContract?.recommended_advance_stage) || nonEmptyString(result.decisionRequest?.continue_with_stage) || nonEmptyString(result.decisionRequest?.recommended_advance_stage) || nonEmptyString(recordValue(result.decisionRequest)?.continueWithStage) || nonEmptyString(recordValue(result.decisionRequest)?.recommendedAdvanceStage);
+}
+function stageCheckpointContinuation(result) {
+  const stage = checkpointRecommendedStage(result);
+  if (!stage) return null;
+  return {
+    action: "run",
+    state_path: String(result.state_path || ""),
+    advance_stage: stage
+  };
+}
 function recommendedContinuation(result) {
   const continueStage = checkpointContinueStage(result);
   if (!continueStage) return null;
@@ -323,6 +337,18 @@ function defaultStageForProofCheckpointDecision(decision) {
   if (decision === "needs_richer_proof") return "author";
   return null;
 }
+function checkpointContractFromPacket(packet) {
+  return recordValue(packet.evidence_excerpt?.checkpoint_contract) || recordValue(recordValue(packet.state_excerpt?.stage_decision_request)?.checkpoint_contract) || null;
+}
+function stageFromCheckpointResponse(response, packet) {
+  if (response.decision === "needs_recon") return "recon";
+  if (response.decision === "needs_implementation") return "implement";
+  const payload = recordValue(response.payload) || {};
+  const contract = checkpointContractFromPacket(packet);
+  const resume = recordValue(contract?.resume);
+  const stage = response.continue_with_stage || nonEmptyString(payload.continue_with_stage) || nonEmptyString(payload.recommended_stage) || nonEmptyString(resume?.continue_with_stage) || (response.decision === "retry_stage" ? packet.stage : "");
+  return stage ? stage : null;
+}
 function proofAssessmentPayloadFromCheckpointResponse(response) {
   if (![
     "ready_to_ship",
@@ -425,6 +451,13 @@ function visualDeltaEvidenceRecoveryAssessment(state, payload, blocker) {
     blockers: [...blockers, blocker]
   };
 }
+function isRecoverableStageCheckpoint(checkpoint) {
+  return [
+    "ship_gate_blocked",
+    "verify_required",
+    "verify_supervisor_judgment_required"
+  ].includes(checkpoint);
+}
 function contextFor(request, state, result) {
   return {
     request,
@@ -771,6 +804,18 @@ function checkpointResponseContinuation(state, value) {
       };
     }
   }
+  if (response.decision === "continue_stage" || response.decision === "retry_stage" || response.decision === "needs_implementation") {
+    const stage = stageFromCheckpointResponse(response, packet);
+    if (stage) {
+      appendCheckpointResponse(state, response);
+      return {
+        next: {
+          ...base,
+          advance_stage: stage
+        }
+      };
+    }
+  }
   appendCheckpointResponse(state, response, { clear_packet: false });
   return {
     blocker: {
@@ -893,18 +938,23 @@ async function handleImplementation(request, state, result, agent) {
         adapter_details: implementation.details || null
       })
     });
-    return {
-      blocker: {
-        code: "implementation_diff_missing",
+    recordEvent(state, {
+      kind: "agent.implementation.retry_requested",
+      checkpoint: result.checkpoint || null,
+      stage: "implement",
+      summary: "Implementation adapter left no detectable diff; retrying the implement checkpoint inside the bounded loop.",
+      details: compactRecord({
+        worktree_path: workdir || null,
         checkpoint: result.checkpoint || null,
-        message: "The implementation adapter returned, but the after worktree has no detectable git diff. The harness will not advance to verify.",
-        details: compactRecord({
-          worktree_path: workdir || null,
-          changed_files: implementation.changedFiles || [],
-          tests_run: implementation.testsRun || [],
-          implementation_notes: implementation.implementationNotes || null,
-          adapter_details: implementation.details || null
-        })
+        next_stage: "implement"
+      })
+    });
+    return {
+      next: {
+        action: "run",
+        state_path: String(result.state_path || ""),
+        advance_stage: "implement",
+        implementation_notes: implementation.implementationNotes || implementation.summary || "Implementation adapter returned without a detectable git diff; retry the implement checkpoint."
       }
     };
   }
@@ -940,16 +990,32 @@ async function routeCheckpoint(request, state, result, agent, input) {
       terminal: terminalResult(state, "completed", result, result.summary || "Riddle Proof engine completed.")
     };
   }
+  if (isRecoverableStageCheckpoint(checkpoint) && !input.dry_run && !request.dry_run) {
+    if (input.checkpoint_mode === "yield") {
+      return { terminal: checkpointAwaitingResult(state, result, input.checkpoint_visibility) };
+    }
+    const next = stageCheckpointContinuation(result);
+    if (next) {
+      recordEvent(state, {
+        kind: "checkpoint.recovery_continuation",
+        checkpoint,
+        stage: stageFromCheckpoint(result),
+        summary: `Routing recoverable checkpoint ${checkpoint} back to ${next.advance_stage}.`,
+        details: {
+          next,
+          checkpointContract: result.checkpointContract || null
+        }
+      });
+      return { next };
+    }
+  }
   const failureBlocker = engineFailureBlocker(result, checkpoint);
   if (failureBlocker) {
     return { blocker: failureBlocker };
   }
   if ([
     "recon_human_escalation",
-    "verify_human_escalation",
-    "ship_gate_blocked",
-    "verify_required",
-    "verify_supervisor_judgment_required"
+    "verify_human_escalation"
   ].includes(checkpoint) && result.ok === false) {
     return {
       blocker: {

package/dist/cli.cjs

@@ -1747,9 +1747,27 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
     }
     return "inspect the ship gate details, repair the missing invariant, then resume the run";
   };
+  const shipGateRecoveryStage = (shipGate) => {
+    const reasons = shipGate.reasons || [];
+    if (reasons.some((reason) => reason.includes("before_cdn") || reason.includes("prod_cdn") || reason.includes("prod_url"))) {
+      return "recon";
+    }
+    if (reasons.some((reason) => reason.includes("implementation"))) {
+      return "implement";
+    }
+    if (reasons.some((reason) => reason.includes("after_cdn") || reason.includes("verify_status") || reason.includes("visual_delta"))) {
+      return "verify";
+    }
+    if (reasons.some((reason) => reason.includes("proof_assessment"))) {
+      return "verify";
+    }
+    return "verify";
+  };
   const shipGateBlocked = (state, executed, details = {}) => {
     const shipGate = validateShipGate(state);
     const nextAction = primaryShipGateNextAction(shipGate);
+    const recoveryStage = shipGateRecoveryStage(shipGate);
+    const advanceOptions = Array.from(/* @__PURE__ */ new Set([recoveryStage, "verify", "author", "implement", "recon", "ship"]));
     return checkpoint(
       "verify",
       "ship_gate_blocked",
@@ -1757,12 +1775,13 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
       {
         ok: false,
         nextActions: ["inspect_ship_gate", "advance_run_to_verify", "supply_proof_assessment_json", "return_to_recon_if_baseline_is_missing"],
-        advanceOptions: ["verify", "author", "implement", "recon"],
-        recommendedAdvanceStage: "verify",
-        continueWithStage: "verify",
+        advanceOptions,
+        recommendedAdvanceStage: recoveryStage,
+        continueWithStage: recoveryStage,
         blocking: true,
-        details: { ...details, shipGate, next_action: nextAction, executed },
+        details: { ...details, shipGate, next_action: nextAction, recovery_stage: recoveryStage, executed },
         nextAction,
+        recoveryStage,
         shipGate,
         verifyStatus: state?.verify_status || null,
         mergeRecommendation: state?.merge_recommendation || null,
@@ -4180,6 +4199,20 @@ function checkpointContinueStage2(result) {
   const resume = recordValue(result.checkpointContract?.resume);
   return nonEmptyString(resume?.continue_with_stage);
 }
+function checkpointRecommendedStage(result) {
+  const resumeStage = checkpointContinueStage2(result);
+  if (resumeStage) return resumeStage;
+  return nonEmptyString(result.checkpointContract?.recommended_advance_stage) || nonEmptyString(result.decisionRequest?.continue_with_stage) || nonEmptyString(result.decisionRequest?.recommended_advance_stage) || nonEmptyString(recordValue(result.decisionRequest)?.continueWithStage) || nonEmptyString(recordValue(result.decisionRequest)?.recommendedAdvanceStage);
+}
+function stageCheckpointContinuation(result) {
+  const stage = checkpointRecommendedStage(result);
+  if (!stage) return null;
+  return {
+    action: "run",
+    state_path: String(result.state_path || ""),
+    advance_stage: stage
+  };
+}
 function recommendedContinuation(result) {
   const continueStage = checkpointContinueStage2(result);
   if (!continueStage) return null;
@@ -4222,6 +4255,18 @@ function defaultStageForProofCheckpointDecision(decision) {
   if (decision === "needs_richer_proof") return "author";
   return null;
 }
+function checkpointContractFromPacket(packet) {
+  return recordValue(packet.evidence_excerpt?.checkpoint_contract) || recordValue(recordValue(packet.state_excerpt?.stage_decision_request)?.checkpoint_contract) || null;
+}
+function stageFromCheckpointResponse(response, packet) {
+  if (response.decision === "needs_recon") return "recon";
+  if (response.decision === "needs_implementation") return "implement";
+  const payload = recordValue(response.payload) || {};
+  const contract = checkpointContractFromPacket(packet);
+  const resume = recordValue(contract?.resume);
+  const stage = response.continue_with_stage || nonEmptyString(payload.continue_with_stage) || nonEmptyString(payload.recommended_stage) || nonEmptyString(resume?.continue_with_stage) || (response.decision === "retry_stage" ? packet.stage : "");
+  return stage ? stage : null;
+}
 function proofAssessmentPayloadFromCheckpointResponse(response) {
   if (![
     "ready_to_ship",
@@ -4324,6 +4369,13 @@ function visualDeltaEvidenceRecoveryAssessment(state, payload, blocker) {
     blockers: [...blockers, blocker]
   };
 }
+function isRecoverableStageCheckpoint(checkpoint) {
+  return [
+    "ship_gate_blocked",
+    "verify_required",
+    "verify_supervisor_judgment_required"
+  ].includes(checkpoint);
+}
 function contextFor(request, state, result) {
   return {
     request,
@@ -4670,6 +4722,18 @@ function checkpointResponseContinuation(state, value) {
       };
     }
   }
+  if (response.decision === "continue_stage" || response.decision === "retry_stage" || response.decision === "needs_implementation") {
+    const stage = stageFromCheckpointResponse(response, packet);
+    if (stage) {
+      appendCheckpointResponse(state, response);
+      return {
+        next: {
+          ...base,
+          advance_stage: stage
+        }
+      };
+    }
+  }
   appendCheckpointResponse(state, response, { clear_packet: false });
   return {
     blocker: {
@@ -4792,18 +4856,23 @@ async function handleImplementation(request, state, result, agent) {
         adapter_details: implementation.details || null
       })
     });
-    return {
-      blocker: {
-        code: "implementation_diff_missing",
+    recordEvent(state, {
+      kind: "agent.implementation.retry_requested",
+      checkpoint: result.checkpoint || null,
+      stage: "implement",
+      summary: "Implementation adapter left no detectable diff; retrying the implement checkpoint inside the bounded loop.",
+      details: compactRecord({
+        worktree_path: workdir || null,
         checkpoint: result.checkpoint || null,
-        message: "The implementation adapter returned, but the after worktree has no detectable git diff. The harness will not advance to verify.",
-        details: compactRecord({
-          worktree_path: workdir || null,
-          changed_files: implementation.changedFiles || [],
-          tests_run: implementation.testsRun || [],
-          implementation_notes: implementation.implementationNotes || null,
-          adapter_details: implementation.details || null
-        })
+        next_stage: "implement"
+      })
+    });
+    return {
+      next: {
+        action: "run",
+        state_path: String(result.state_path || ""),
+        advance_stage: "implement",
+        implementation_notes: implementation.implementationNotes || implementation.summary || "Implementation adapter returned without a detectable git diff; retry the implement checkpoint."
       }
     };
   }
@@ -4839,16 +4908,32 @@ async function routeCheckpoint(request, state, result, agent, input) {
       terminal: terminalResult(state, "completed", result, result.summary || "Riddle Proof engine completed.")
     };
   }
+  if (isRecoverableStageCheckpoint(checkpoint) && !input.dry_run && !request.dry_run) {
+    if (input.checkpoint_mode === "yield") {
+      return { terminal: checkpointAwaitingResult(state, result, input.checkpoint_visibility) };
+    }
+    const next = stageCheckpointContinuation(result);
+    if (next) {
+      recordEvent(state, {
+        kind: "checkpoint.recovery_continuation",
+        checkpoint,
+        stage: stageFromCheckpoint2(result),
+        summary: `Routing recoverable checkpoint ${checkpoint} back to ${next.advance_stage}.`,
+        details: {
+          next,
+          checkpointContract: result.checkpointContract || null
+        }
+      });
+      return { next };
+    }
+  }
   const failureBlocker = engineFailureBlocker(result, checkpoint);
   if (failureBlocker) {
     return { blocker: failureBlocker };
   }
   if ([
     "recon_human_escalation",
-    "verify_human_escalation",
-    "ship_gate_blocked",
-    "verify_required",
-    "verify_supervisor_judgment_required"
+    "verify_human_escalation"
   ].includes(checkpoint) && result.ok === false) {
     return {
       blocker: {

package/dist/cli.js

@@ -3,7 +3,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-ALP5KOS2.js";
+} from "./chunk-2RS4PBYK.js";
 import "./chunk-4ASMX4R6.js";
 import "./chunk-JFQXAJH2.js";
 import {

package/dist/engine-harness.cjs

@@ -1747,9 +1747,27 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
     }
     return "inspect the ship gate details, repair the missing invariant, then resume the run";
   };
+  const shipGateRecoveryStage = (shipGate) => {
+    const reasons = shipGate.reasons || [];
+    if (reasons.some((reason) => reason.includes("before_cdn") || reason.includes("prod_cdn") || reason.includes("prod_url"))) {
+      return "recon";
+    }
+    if (reasons.some((reason) => reason.includes("implementation"))) {
+      return "implement";
+    }
+    if (reasons.some((reason) => reason.includes("after_cdn") || reason.includes("verify_status") || reason.includes("visual_delta"))) {
+      return "verify";
+    }
+    if (reasons.some((reason) => reason.includes("proof_assessment"))) {
+      return "verify";
+    }
+    return "verify";
+  };
   const shipGateBlocked = (state, executed, details = {}) => {
     const shipGate = validateShipGate(state);
     const nextAction = primaryShipGateNextAction(shipGate);
+    const recoveryStage = shipGateRecoveryStage(shipGate);
+    const advanceOptions = Array.from(/* @__PURE__ */ new Set([recoveryStage, "verify", "author", "implement", "recon", "ship"]));
     return checkpoint(
       "verify",
       "ship_gate_blocked",
@@ -1757,12 +1775,13 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
       {
         ok: false,
         nextActions: ["inspect_ship_gate", "advance_run_to_verify", "supply_proof_assessment_json", "return_to_recon_if_baseline_is_missing"],
-        advanceOptions: ["verify", "author", "implement", "recon"],
-        recommendedAdvanceStage: "verify",
-        continueWithStage: "verify",
+        advanceOptions,
+        recommendedAdvanceStage: recoveryStage,
+        continueWithStage: recoveryStage,
         blocking: true,
-        details: { ...details, shipGate, next_action: nextAction, executed },
+        details: { ...details, shipGate, next_action: nextAction, recovery_stage: recoveryStage, executed },
         nextAction,
+        recoveryStage,
         shipGate,
         verifyStatus: state?.verify_status || null,
         mergeRecommendation: state?.merge_recommendation || null,
@@ -4184,6 +4203,20 @@ function checkpointContinueStage2(result) {
   const resume = recordValue(result.checkpointContract?.resume);
   return nonEmptyString(resume?.continue_with_stage);
 }
+function checkpointRecommendedStage(result) {
+  const resumeStage = checkpointContinueStage2(result);
+  if (resumeStage) return resumeStage;
+  return nonEmptyString(result.checkpointContract?.recommended_advance_stage) || nonEmptyString(result.decisionRequest?.continue_with_stage) || nonEmptyString(result.decisionRequest?.recommended_advance_stage) || nonEmptyString(recordValue(result.decisionRequest)?.continueWithStage) || nonEmptyString(recordValue(result.decisionRequest)?.recommendedAdvanceStage);
+}
+function stageCheckpointContinuation(result) {
+  const stage = checkpointRecommendedStage(result);
+  if (!stage) return null;
+  return {
+    action: "run",
+    state_path: String(result.state_path || ""),
+    advance_stage: stage
+  };
+}
 function recommendedContinuation(result) {
   const continueStage = checkpointContinueStage2(result);
   if (!continueStage) return null;
@@ -4226,6 +4259,18 @@ function defaultStageForProofCheckpointDecision(decision) {
   if (decision === "needs_richer_proof") return "author";
   return null;
 }
+function checkpointContractFromPacket(packet) {
+  return recordValue(packet.evidence_excerpt?.checkpoint_contract) || recordValue(recordValue(packet.state_excerpt?.stage_decision_request)?.checkpoint_contract) || null;
+}
+function stageFromCheckpointResponse(response, packet) {
+  if (response.decision === "needs_recon") return "recon";
+  if (response.decision === "needs_implementation") return "implement";
+  const payload = recordValue(response.payload) || {};
+  const contract = checkpointContractFromPacket(packet);
+  const resume = recordValue(contract?.resume);
+  const stage = response.continue_with_stage || nonEmptyString(payload.continue_with_stage) || nonEmptyString(payload.recommended_stage) || nonEmptyString(resume?.continue_with_stage) || (response.decision === "retry_stage" ? packet.stage : "");
+  return stage ? stage : null;
+}
 function proofAssessmentPayloadFromCheckpointResponse(response) {
   if (![
     "ready_to_ship",
@@ -4328,6 +4373,13 @@ function visualDeltaEvidenceRecoveryAssessment(state, payload, blocker) {
     blockers: [...blockers, blocker]
   };
 }
+function isRecoverableStageCheckpoint(checkpoint) {
+  return [
+    "ship_gate_blocked",
+    "verify_required",
+    "verify_supervisor_judgment_required"
+  ].includes(checkpoint);
+}
 function contextFor(request, state, result) {
   return {
     request,
@@ -4674,6 +4726,18 @@ function checkpointResponseContinuation(state, value) {
       };
     }
   }
+  if (response.decision === "continue_stage" || response.decision === "retry_stage" || response.decision === "needs_implementation") {
+    const stage = stageFromCheckpointResponse(response, packet);
+    if (stage) {
+      appendCheckpointResponse(state, response);
+      return {
+        next: {
+          ...base,
+          advance_stage: stage
+        }
+      };
+    }
+  }
   appendCheckpointResponse(state, response, { clear_packet: false });
   return {
     blocker: {
@@ -4796,18 +4860,23 @@ async function handleImplementation(request, state, result, agent) {
         adapter_details: implementation.details || null
       })
     });
-    return {
-      blocker: {
-        code: "implementation_diff_missing",
+    recordEvent(state, {
+      kind: "agent.implementation.retry_requested",
+      checkpoint: result.checkpoint || null,
+      stage: "implement",
+      summary: "Implementation adapter left no detectable diff; retrying the implement checkpoint inside the bounded loop.",
+      details: compactRecord({
+        worktree_path: workdir || null,
         checkpoint: result.checkpoint || null,
-        message: "The implementation adapter returned, but the after worktree has no detectable git diff. The harness will not advance to verify.",
-        details: compactRecord({
-          worktree_path: workdir || null,
-          changed_files: implementation.changedFiles || [],
-          tests_run: implementation.testsRun || [],
-          implementation_notes: implementation.implementationNotes || null,
-          adapter_details: implementation.details || null
-        })
+        next_stage: "implement"
+      })
+    });
+    return {
+      next: {
+        action: "run",
+        state_path: String(result.state_path || ""),
+        advance_stage: "implement",
+        implementation_notes: implementation.implementationNotes || implementation.summary || "Implementation adapter returned without a detectable git diff; retry the implement checkpoint."
       }
     };
   }
@@ -4843,16 +4912,32 @@ async function routeCheckpoint(request, state, result, agent, input) {
       terminal: terminalResult(state, "completed", result, result.summary || "Riddle Proof engine completed.")
     };
   }
+  if (isRecoverableStageCheckpoint(checkpoint) && !input.dry_run && !request.dry_run) {
+    if (input.checkpoint_mode === "yield") {
+      return { terminal: checkpointAwaitingResult(state, result, input.checkpoint_visibility) };
+    }
+    const next = stageCheckpointContinuation(result);
+    if (next) {
+      recordEvent(state, {
+        kind: "checkpoint.recovery_continuation",
+        checkpoint,
+        stage: stageFromCheckpoint2(result),
+        summary: `Routing recoverable checkpoint ${checkpoint} back to ${next.advance_stage}.`,
+        details: {
+          next,
+          checkpointContract: result.checkpointContract || null
+        }
+      });
+      return { next };
+    }
+  }
   const failureBlocker = engineFailureBlocker(result, checkpoint);
   if (failureBlocker) {
     return { blocker: failureBlocker };
   }
   if ([
     "recon_human_escalation",
-    "verify_human_escalation",
-    "ship_gate_blocked",
-    "verify_required",
-    "verify_supervisor_judgment_required"
+    "verify_human_escalation"
   ].includes(checkpoint) && result.ok === false) {
     return {
       blocker: {

package/dist/engine-harness.js

@@ -2,7 +2,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-ALP5KOS2.js";
+} from "./chunk-2RS4PBYK.js";
 import "./chunk-4ASMX4R6.js";
 import "./chunk-JOXTKWX6.js";
 import "./chunk-PLSGW2GI.js";

package/dist/index.cjs

@@ -1747,9 +1747,27 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
     }
     return "inspect the ship gate details, repair the missing invariant, then resume the run";
   };
+  const shipGateRecoveryStage = (shipGate) => {
+    const reasons = shipGate.reasons || [];
+    if (reasons.some((reason) => reason.includes("before_cdn") || reason.includes("prod_cdn") || reason.includes("prod_url"))) {
+      return "recon";
+    }
+    if (reasons.some((reason) => reason.includes("implementation"))) {
+      return "implement";
+    }
+    if (reasons.some((reason) => reason.includes("after_cdn") || reason.includes("verify_status") || reason.includes("visual_delta"))) {
+      return "verify";
+    }
+    if (reasons.some((reason) => reason.includes("proof_assessment"))) {
+      return "verify";
+    }
+    return "verify";
+  };
   const shipGateBlocked = (state, executed, details = {}) => {
     const shipGate = validateShipGate(state);
     const nextAction = primaryShipGateNextAction(shipGate);
+    const recoveryStage = shipGateRecoveryStage(shipGate);
+    const advanceOptions = Array.from(/* @__PURE__ */ new Set([recoveryStage, "verify", "author", "implement", "recon", "ship"]));
     return checkpoint(
       "verify",
       "ship_gate_blocked",
@@ -1757,12 +1775,13 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
       {
         ok: false,
         nextActions: ["inspect_ship_gate", "advance_run_to_verify", "supply_proof_assessment_json", "return_to_recon_if_baseline_is_missing"],
-        advanceOptions: ["verify", "author", "implement", "recon"],
-        recommendedAdvanceStage: "verify",
-        continueWithStage: "verify",
+        advanceOptions,
+        recommendedAdvanceStage: recoveryStage,
+        continueWithStage: recoveryStage,
         blocking: true,
-        details: { ...details, shipGate, next_action: nextAction, executed },
+        details: { ...details, shipGate, next_action: nextAction, recovery_stage: recoveryStage, executed },
         nextAction,
+        recoveryStage,
         shipGate,
         verifyStatus: state?.verify_status || null,
         mergeRecommendation: state?.merge_recommendation || null,
@@ -4773,6 +4792,20 @@ function checkpointContinueStage2(result) {
   const resume = recordValue(result.checkpointContract?.resume);
   return nonEmptyString(resume?.continue_with_stage);
 }
+function checkpointRecommendedStage(result) {
+  const resumeStage = checkpointContinueStage2(result);
+  if (resumeStage) return resumeStage;
+  return nonEmptyString(result.checkpointContract?.recommended_advance_stage) || nonEmptyString(result.decisionRequest?.continue_with_stage) || nonEmptyString(result.decisionRequest?.recommended_advance_stage) || nonEmptyString(recordValue(result.decisionRequest)?.continueWithStage) || nonEmptyString(recordValue(result.decisionRequest)?.recommendedAdvanceStage);
+}
+function stageCheckpointContinuation(result) {
+  const stage = checkpointRecommendedStage(result);
+  if (!stage) return null;
+  return {
+    action: "run",
+    state_path: String(result.state_path || ""),
+    advance_stage: stage
+  };
+}
 function recommendedContinuation(result) {
   const continueStage = checkpointContinueStage2(result);
   if (!continueStage) return null;
@@ -4815,6 +4848,18 @@ function defaultStageForProofCheckpointDecision(decision) {
   if (decision === "needs_richer_proof") return "author";
   return null;
 }
+function checkpointContractFromPacket(packet) {
+  return recordValue(packet.evidence_excerpt?.checkpoint_contract) || recordValue(recordValue(packet.state_excerpt?.stage_decision_request)?.checkpoint_contract) || null;
+}
+function stageFromCheckpointResponse(response, packet) {
+  if (response.decision === "needs_recon") return "recon";
+  if (response.decision === "needs_implementation") return "implement";
+  const payload = recordValue(response.payload) || {};
+  const contract = checkpointContractFromPacket(packet);
+  const resume = recordValue(contract?.resume);
+  const stage = response.continue_with_stage || nonEmptyString(payload.continue_with_stage) || nonEmptyString(payload.recommended_stage) || nonEmptyString(resume?.continue_with_stage) || (response.decision === "retry_stage" ? packet.stage : "");
+  return stage ? stage : null;
+}
 function proofAssessmentPayloadFromCheckpointResponse(response) {
   if (![
     "ready_to_ship",
@@ -4917,6 +4962,13 @@ function visualDeltaEvidenceRecoveryAssessment(state, payload, blocker) {
     blockers: [...blockers, blocker]
   };
 }
+function isRecoverableStageCheckpoint(checkpoint) {
+  return [
+    "ship_gate_blocked",
+    "verify_required",
+    "verify_supervisor_judgment_required"
+  ].includes(checkpoint);
+}
 function contextFor(request, state, result) {
   return {
     request,
@@ -5263,6 +5315,18 @@ function checkpointResponseContinuation(state, value) {
       };
     }
   }
+  if (response.decision === "continue_stage" || response.decision === "retry_stage" || response.decision === "needs_implementation") {
+    const stage = stageFromCheckpointResponse(response, packet);
+    if (stage) {
+      appendCheckpointResponse(state, response);
+      return {
+        next: {
+          ...base,
+          advance_stage: stage
+        }
+      };
+    }
+  }
   appendCheckpointResponse(state, response, { clear_packet: false });
   return {
     blocker: {
@@ -5385,18 +5449,23 @@ async function handleImplementation(request, state, result, agent) {
         adapter_details: implementation.details || null
       })
     });
-    return {
-      blocker: {
-        code: "implementation_diff_missing",
+    recordEvent(state, {
+      kind: "agent.implementation.retry_requested",
+      checkpoint: result.checkpoint || null,
+      stage: "implement",
+      summary: "Implementation adapter left no detectable diff; retrying the implement checkpoint inside the bounded loop.",
+      details: compactRecord({
+        worktree_path: workdir || null,
         checkpoint: result.checkpoint || null,
-        message: "The implementation adapter returned, but the after worktree has no detectable git diff. The harness will not advance to verify.",
-        details: compactRecord({
-          worktree_path: workdir || null,
-          changed_files: implementation.changedFiles || [],
-          tests_run: implementation.testsRun || [],
-          implementation_notes: implementation.implementationNotes || null,
-          adapter_details: implementation.details || null
-        })
+        next_stage: "implement"
+      })
+    });
+    return {
+      next: {
+        action: "run",
+        state_path: String(result.state_path || ""),
+        advance_stage: "implement",
+        implementation_notes: implementation.implementationNotes || implementation.summary || "Implementation adapter returned without a detectable git diff; retry the implement checkpoint."
       }
     };
   }
@@ -5432,16 +5501,32 @@ async function routeCheckpoint(request, state, result, agent, input) {
       terminal: terminalResult(state, "completed", result, result.summary || "Riddle Proof engine completed.")
     };
   }
+  if (isRecoverableStageCheckpoint(checkpoint) && !input.dry_run && !request.dry_run) {
+    if (input.checkpoint_mode === "yield") {
+      return { terminal: checkpointAwaitingResult(state, result, input.checkpoint_visibility) };
+    }
+    const next = stageCheckpointContinuation(result);
+    if (next) {
+      recordEvent(state, {
+        kind: "checkpoint.recovery_continuation",
+        checkpoint,
+        stage: stageFromCheckpoint2(result),
+        summary: `Routing recoverable checkpoint ${checkpoint} back to ${next.advance_stage}.`,
+        details: {
+          next,
+          checkpointContract: result.checkpointContract || null
+        }
+      });
+      return { next };
+    }
+  }
   const failureBlocker = engineFailureBlocker(result, checkpoint);
   if (failureBlocker) {
     return { blocker: failureBlocker };
   }
   if ([
     "recon_human_escalation",
-    "verify_human_escalation",
-    "ship_gate_blocked",
-    "verify_required",
-    "verify_supervisor_judgment_required"
+    "verify_human_escalation"
   ].includes(checkpoint) && result.ok === false) {
     return {
       blocker: {

package/dist/index.js

@@ -32,7 +32,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-ALP5KOS2.js";
+} from "./chunk-2RS4PBYK.js";
 import "./chunk-4ASMX4R6.js";
 import "./chunk-JFQXAJH2.js";
 import {

package/dist/proof-run-engine.cjs

@@ -1745,9 +1745,27 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
     }
     return "inspect the ship gate details, repair the missing invariant, then resume the run";
   };
+  const shipGateRecoveryStage = (shipGate) => {
+    const reasons = shipGate.reasons || [];
+    if (reasons.some((reason) => reason.includes("before_cdn") || reason.includes("prod_cdn") || reason.includes("prod_url"))) {
+      return "recon";
+    }
+    if (reasons.some((reason) => reason.includes("implementation"))) {
+      return "implement";
+    }
+    if (reasons.some((reason) => reason.includes("after_cdn") || reason.includes("verify_status") || reason.includes("visual_delta"))) {
+      return "verify";
+    }
+    if (reasons.some((reason) => reason.includes("proof_assessment"))) {
+      return "verify";
+    }
+    return "verify";
+  };
   const shipGateBlocked = (state, executed, details = {}) => {
     const shipGate = validateShipGate(state);
     const nextAction = primaryShipGateNextAction(shipGate);
+    const recoveryStage = shipGateRecoveryStage(shipGate);
+    const advanceOptions = Array.from(/* @__PURE__ */ new Set([recoveryStage, "verify", "author", "implement", "recon", "ship"]));
     return checkpoint(
       "verify",
       "ship_gate_blocked",
@@ -1755,12 +1773,13 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
       {
         ok: false,
         nextActions: ["inspect_ship_gate", "advance_run_to_verify", "supply_proof_assessment_json", "return_to_recon_if_baseline_is_missing"],
-        advanceOptions: ["verify", "author", "implement", "recon"],
-        recommendedAdvanceStage: "verify",
-        continueWithStage: "verify",
+        advanceOptions,
+        recommendedAdvanceStage: recoveryStage,
+        continueWithStage: recoveryStage,
         blocking: true,
-        details: { ...details, shipGate, next_action: nextAction, executed },
+        details: { ...details, shipGate, next_action: nextAction, recovery_stage: recoveryStage, executed },
         nextAction,
+        recoveryStage,
         shipGate,
         verifyStatus: state?.verify_status || null,
         mergeRecommendation: state?.merge_recommendation || null,

package/dist/proof-run-engine.js

@@ -781,9 +781,27 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
     }
     return "inspect the ship gate details, repair the missing invariant, then resume the run";
   };
+  const shipGateRecoveryStage = (shipGate) => {
+    const reasons = shipGate.reasons || [];
+    if (reasons.some((reason) => reason.includes("before_cdn") || reason.includes("prod_cdn") || reason.includes("prod_url"))) {
+      return "recon";
+    }
+    if (reasons.some((reason) => reason.includes("implementation"))) {
+      return "implement";
+    }
+    if (reasons.some((reason) => reason.includes("after_cdn") || reason.includes("verify_status") || reason.includes("visual_delta"))) {
+      return "verify";
+    }
+    if (reasons.some((reason) => reason.includes("proof_assessment"))) {
+      return "verify";
+    }
+    return "verify";
+  };
   const shipGateBlocked = (state, executed, details = {}) => {
     const shipGate = validateShipGate(state);
     const nextAction = primaryShipGateNextAction(shipGate);
+    const recoveryStage = shipGateRecoveryStage(shipGate);
+    const advanceOptions = Array.from(/* @__PURE__ */ new Set([recoveryStage, "verify", "author", "implement", "recon", "ship"]));
     return checkpoint(
       "verify",
       "ship_gate_blocked",
@@ -791,12 +809,13 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
       {
         ok: false,
         nextActions: ["inspect_ship_gate", "advance_run_to_verify", "supply_proof_assessment_json", "return_to_recon_if_baseline_is_missing"],
-        advanceOptions: ["verify", "author", "implement", "recon"],
-        recommendedAdvanceStage: "verify",
-        continueWithStage: "verify",
+        advanceOptions,
+        recommendedAdvanceStage: recoveryStage,
+        continueWithStage: recoveryStage,
         blocking: true,
-        details: { ...details, shipGate, next_action: nextAction, executed },
+        details: { ...details, shipGate, next_action: nextAction, recovery_stage: recoveryStage, executed },
         nextAction,
+        recoveryStage,
         shipGate,
         verifyStatus: state?.verify_status || null,
         mergeRecommendation: state?.merge_recommendation || null,

package/package.json

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