@riddledc/riddle-proof 0.5.8 → 0.5.10

package/dist/{chunk-GC7C2NRA.js → chunk-7KP34QRG.js}

@@ -27,6 +27,17 @@ import {
 } from "fs";
 import path from "path";
 import crypto from "crypto";
+var DEFAULT_MAX_ITERATIONS = 12;
+var DEFAULT_STAGE_ITERATION_LIMITS = {
+  setup: 2,
+  recon: 4,
+  author: 3,
+  implement: 3,
+  prove: 3,
+  verify: 4,
+  ship: 2,
+  notify: 2
+};
 function timestamp() {
   return (/* @__PURE__ */ new Date()).toISOString();
 }
@@ -254,17 +265,9 @@ function proofAssessmentRequestsShip(payload) {
   const continueStage = String(payload.continue_with_stage || "");
   return decision === "ready_to_ship" || recommendedStage === "ship" || continueStage === "ship";
 }
-function proofAssessmentContinuation(request, result, payload, config) {
+function proofAssessmentContinuation(result, payload) {
   const proof_assessment_json = jsonParam(payload);
-  if (effectiveShipMode(request, config) === "ship" || !proofAssessmentRequestsShip(payload)) {
-    return { ...baseContinuation(result), proof_assessment_json };
-  }
-  return {
-    action: "run",
-    state_path: String(result.state_path || ""),
-    advance_stage: "verify",
-    proof_assessment_json
-  };
+  return { ...baseContinuation(result), proof_assessment_json };
 }
 function contextFor(request, state, result) {
   return {
@@ -588,7 +591,21 @@ async function routeCheckpoint(request, state, result, agent, input) {
       summary: assessment.summary,
       details: { payload }
     });
-    return { next: proofAssessmentContinuation(request, result, payload, input.config) };
+    if (effectiveShipMode(request, input.config) !== "ship" && proofAssessmentRequestsShip(payload)) {
+      return {
+        terminal: terminalResult(
+          state,
+          "ready_to_ship",
+          result,
+          assessment.summary || result.summary || "Riddle Proof is ready to ship.",
+          {
+            ship_held: true,
+            proof_assessment: payload
+          }
+        )
+      };
+    }
+    return { next: proofAssessmentContinuation(result, payload) };
   }
   if (checkpoint === "verify_agent_retry") {
     const next = recommendedContinuation(result);
@@ -633,7 +650,7 @@ async function runRiddleProofEngineHarness(input) {
   const agent = input.agent || createDisabledRiddleProofAgentAdapter();
   const maxIterations = Math.max(
     1,
-    Math.trunc(input.max_iterations ?? request.max_iterations ?? input.config?.defaultMaxIterations ?? 8)
+    Math.trunc(input.max_iterations ?? request.max_iterations ?? input.config?.defaultMaxIterations ?? DEFAULT_MAX_ITERATIONS)
   );
   state.status = "running";
   state.ok = void 0;
@@ -666,6 +683,7 @@ async function runRiddleProofEngineHarness(input) {
   }
   let nextParams = input.resume_params || initialRunParams(request, input, state);
   let lastResult = null;
+  const stageIterations = {};
   for (let index = 0; index < maxIterations; index += 1) {
     if (request.leave_draft && nextParams.leave_draft === void 0) {
       nextParams = { ...nextParams, leave_draft: true };
@@ -724,6 +742,7 @@ async function runRiddleProofEngineHarness(input) {
     if (engineState) state.request.engine_state_path = engineState;
     state.last_checkpoint = result.checkpoint || state.last_checkpoint || null;
     const resultStage = stageFromCheckpoint(result);
+    stageIterations[resultStage] = (stageIterations[resultStage] || 0) + 1;
     heartbeat(state, {
       stage: resultStage,
       summary: `${resultStage} stage is active.`,
@@ -749,6 +768,22 @@ async function runRiddleProofEngineHarness(input) {
         finished_at: timestamp()
       }
     });
+    const stageLimit = DEFAULT_STAGE_ITERATION_LIMITS[resultStage];
+    if (stageLimit && stageIterations[resultStage] > stageLimit) {
+      return blockerResult(state, result, {
+        code: "stage_iteration_limit_reached",
+        checkpoint: result.checkpoint || null,
+        message: `The harness exceeded the ${resultStage} stage iteration limit before the proof was ready or shipped.`,
+        details: {
+          stage: resultStage,
+          stage_iterations: stageIterations[resultStage],
+          stage_iteration_limit: stageLimit,
+          max_iterations: maxIterations,
+          lastCheckpoint: result.checkpoint || null,
+          lastSummary: result.summary || null
+        }
+      });
+    }
     const routed = await routeCheckpoint(request, state, result, agent, input);
     if (routed.terminal) return routed.terminal;
     if (routed.blocker) return blockerResult(state, result, routed.blocker);

package/dist/engine-harness.cjs

@@ -2997,6 +2997,17 @@ function setRunStatus(state, status, at = timestamp()) {
 }
 
 // src/engine-harness.ts
+var DEFAULT_MAX_ITERATIONS = 12;
+var DEFAULT_STAGE_ITERATION_LIMITS = {
+  setup: 2,
+  recon: 4,
+  author: 3,
+  implement: 3,
+  prove: 3,
+  verify: 4,
+  ship: 2,
+  notify: 2
+};
 function timestamp2() {
   return (/* @__PURE__ */ new Date()).toISOString();
 }
@@ -3224,17 +3235,9 @@ function proofAssessmentRequestsShip(payload) {
   const continueStage = String(payload.continue_with_stage || "");
   return decision === "ready_to_ship" || recommendedStage === "ship" || continueStage === "ship";
 }
-function proofAssessmentContinuation(request, result, payload, config) {
+function proofAssessmentContinuation(result, payload) {
   const proof_assessment_json = jsonParam(payload);
-  if (effectiveShipMode(request, config) === "ship" || !proofAssessmentRequestsShip(payload)) {
-    return { ...baseContinuation(result), proof_assessment_json };
-  }
-  return {
-    action: "run",
-    state_path: String(result.state_path || ""),
-    advance_stage: "verify",
-    proof_assessment_json
-  };
+  return { ...baseContinuation(result), proof_assessment_json };
 }
 function contextFor(request, state, result) {
   return {
@@ -3558,7 +3561,21 @@ async function routeCheckpoint(request, state, result, agent, input) {
       summary: assessment.summary,
       details: { payload }
     });
-    return { next: proofAssessmentContinuation(request, result, payload, input.config) };
+    if (effectiveShipMode(request, input.config) !== "ship" && proofAssessmentRequestsShip(payload)) {
+      return {
+        terminal: terminalResult(
+          state,
+          "ready_to_ship",
+          result,
+          assessment.summary || result.summary || "Riddle Proof is ready to ship.",
+          {
+            ship_held: true,
+            proof_assessment: payload
+          }
+        )
+      };
+    }
+    return { next: proofAssessmentContinuation(result, payload) };
   }
   if (checkpoint === "verify_agent_retry") {
     const next = recommendedContinuation(result);
@@ -3603,7 +3620,7 @@ async function runRiddleProofEngineHarness(input) {
   const agent = input.agent || createDisabledRiddleProofAgentAdapter();
   const maxIterations = Math.max(
     1,
-    Math.trunc(input.max_iterations ?? request.max_iterations ?? input.config?.defaultMaxIterations ?? 8)
+    Math.trunc(input.max_iterations ?? request.max_iterations ?? input.config?.defaultMaxIterations ?? DEFAULT_MAX_ITERATIONS)
   );
   state.status = "running";
   state.ok = void 0;
@@ -3636,6 +3653,7 @@ async function runRiddleProofEngineHarness(input) {
   }
   let nextParams = input.resume_params || initialRunParams(request, input, state);
   let lastResult = null;
+  const stageIterations = {};
   for (let index = 0; index < maxIterations; index += 1) {
     if (request.leave_draft && nextParams.leave_draft === void 0) {
       nextParams = { ...nextParams, leave_draft: true };
@@ -3694,6 +3712,7 @@ async function runRiddleProofEngineHarness(input) {
     if (engineState) state.request.engine_state_path = engineState;
     state.last_checkpoint = result.checkpoint || state.last_checkpoint || null;
     const resultStage = stageFromCheckpoint(result);
+    stageIterations[resultStage] = (stageIterations[resultStage] || 0) + 1;
     heartbeat(state, {
       stage: resultStage,
       summary: `${resultStage} stage is active.`,
@@ -3719,6 +3738,22 @@ async function runRiddleProofEngineHarness(input) {
         finished_at: timestamp2()
       }
     });
+    const stageLimit = DEFAULT_STAGE_ITERATION_LIMITS[resultStage];
+    if (stageLimit && stageIterations[resultStage] > stageLimit) {
+      return blockerResult(state, result, {
+        code: "stage_iteration_limit_reached",
+        checkpoint: result.checkpoint || null,
+        message: `The harness exceeded the ${resultStage} stage iteration limit before the proof was ready or shipped.`,
+        details: {
+          stage: resultStage,
+          stage_iterations: stageIterations[resultStage],
+          stage_iteration_limit: stageLimit,
+          max_iterations: maxIterations,
+          lastCheckpoint: result.checkpoint || null,
+          lastSummary: result.summary || null
+        }
+      });
+    }
     const routed = await routeCheckpoint(request, state, result, agent, input);
     if (routed.terminal) return routed.terminal;
     if (routed.blocker) return blockerResult(state, result, routed.blocker);

package/dist/engine-harness.js

@@ -2,7 +2,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-GC7C2NRA.js";
+} from "./chunk-7KP34QRG.js";
 import "./chunk-GVPCSXN7.js";
 import "./chunk-TMMKRKY5.js";
 export {

package/dist/index.cjs

@@ -3556,6 +3556,17 @@ var import_node_child_process2 = require("child_process");
 var import_node_fs3 = require("fs");
 var import_node_path3 = __toESM(require("path"), 1);
 var import_node_crypto2 = __toESM(require("crypto"), 1);
+var DEFAULT_MAX_ITERATIONS = 12;
+var DEFAULT_STAGE_ITERATION_LIMITS = {
+  setup: 2,
+  recon: 4,
+  author: 3,
+  implement: 3,
+  prove: 3,
+  verify: 4,
+  ship: 2,
+  notify: 2
+};
 function timestamp2() {
   return (/* @__PURE__ */ new Date()).toISOString();
 }
@@ -3783,17 +3794,9 @@ function proofAssessmentRequestsShip(payload) {
   const continueStage = String(payload.continue_with_stage || "");
   return decision === "ready_to_ship" || recommendedStage === "ship" || continueStage === "ship";
 }
-function proofAssessmentContinuation(request, result, payload, config) {
+function proofAssessmentContinuation(result, payload) {
   const proof_assessment_json = jsonParam(payload);
-  if (effectiveShipMode(request, config) === "ship" || !proofAssessmentRequestsShip(payload)) {
-    return { ...baseContinuation(result), proof_assessment_json };
-  }
-  return {
-    action: "run",
-    state_path: String(result.state_path || ""),
-    advance_stage: "verify",
-    proof_assessment_json
-  };
+  return { ...baseContinuation(result), proof_assessment_json };
 }
 function contextFor(request, state, result) {
   return {
@@ -4117,7 +4120,21 @@ async function routeCheckpoint(request, state, result, agent, input) {
       summary: assessment.summary,
       details: { payload }
     });
-    return { next: proofAssessmentContinuation(request, result, payload, input.config) };
+    if (effectiveShipMode(request, input.config) !== "ship" && proofAssessmentRequestsShip(payload)) {
+      return {
+        terminal: terminalResult(
+          state,
+          "ready_to_ship",
+          result,
+          assessment.summary || result.summary || "Riddle Proof is ready to ship.",
+          {
+            ship_held: true,
+            proof_assessment: payload
+          }
+        )
+      };
+    }
+    return { next: proofAssessmentContinuation(result, payload) };
   }
   if (checkpoint === "verify_agent_retry") {
     const next = recommendedContinuation(result);
@@ -4162,7 +4179,7 @@ async function runRiddleProofEngineHarness(input) {
   const agent = input.agent || createDisabledRiddleProofAgentAdapter();
   const maxIterations = Math.max(
     1,
-    Math.trunc(input.max_iterations ?? request.max_iterations ?? input.config?.defaultMaxIterations ?? 8)
+    Math.trunc(input.max_iterations ?? request.max_iterations ?? input.config?.defaultMaxIterations ?? DEFAULT_MAX_ITERATIONS)
   );
   state.status = "running";
   state.ok = void 0;
@@ -4195,6 +4212,7 @@ async function runRiddleProofEngineHarness(input) {
   }
   let nextParams = input.resume_params || initialRunParams(request, input, state);
   let lastResult = null;
+  const stageIterations = {};
   for (let index = 0; index < maxIterations; index += 1) {
     if (request.leave_draft && nextParams.leave_draft === void 0) {
       nextParams = { ...nextParams, leave_draft: true };
@@ -4253,6 +4271,7 @@ async function runRiddleProofEngineHarness(input) {
     if (engineState) state.request.engine_state_path = engineState;
     state.last_checkpoint = result.checkpoint || state.last_checkpoint || null;
     const resultStage = stageFromCheckpoint(result);
+    stageIterations[resultStage] = (stageIterations[resultStage] || 0) + 1;
     heartbeat(state, {
       stage: resultStage,
       summary: `${resultStage} stage is active.`,
@@ -4278,6 +4297,22 @@ async function runRiddleProofEngineHarness(input) {
         finished_at: timestamp2()
       }
     });
+    const stageLimit = DEFAULT_STAGE_ITERATION_LIMITS[resultStage];
+    if (stageLimit && stageIterations[resultStage] > stageLimit) {
+      return blockerResult(state, result, {
+        code: "stage_iteration_limit_reached",
+        checkpoint: result.checkpoint || null,
+        message: `The harness exceeded the ${resultStage} stage iteration limit before the proof was ready or shipped.`,
+        details: {
+          stage: resultStage,
+          stage_iterations: stageIterations[resultStage],
+          stage_iteration_limit: stageLimit,
+          max_iterations: maxIterations,
+          lastCheckpoint: result.checkpoint || null,
+          lastSummary: result.summary || null
+        }
+      });
+    }
     const routed = await routeCheckpoint(request, state, result, agent, input);
     if (routed.terminal) return routed.terminal;
     if (routed.blocker) return blockerResult(state, result, routed.blocker);

package/dist/index.js

@@ -13,7 +13,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-GC7C2NRA.js";
+} from "./chunk-7KP34QRG.js";
 import {
   runRiddleProof
 } from "./chunk-VSEKLCNU.js";

package/dist/proof-run-engine.d.cts

@@ -262,7 +262,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     blocking?: boolean;
     details?: Record<string, unknown>;
     ok: boolean;
-    action: "ship" | "setup" | "recon" | "author" | "implement" | "verify" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     summary: string;
@@ -342,7 +342,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     continueWithStage?: WorkflowStage | null;
     blocking?: boolean;
     details?: Record<string, unknown>;
-    action: "ship" | "setup" | "recon" | "author" | "implement" | "verify" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     checkpoint: string;
@@ -589,7 +589,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     error?: undefined;
 } | {
     ok: boolean;
-    action: "ship" | "setup" | "recon" | "author" | "implement" | "verify" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     summary: string;

package/dist/proof-run-engine.d.ts

@@ -262,7 +262,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     blocking?: boolean;
     details?: Record<string, unknown>;
     ok: boolean;
-    action: "ship" | "setup" | "recon" | "author" | "implement" | "verify" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     summary: string;
@@ -342,7 +342,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     continueWithStage?: WorkflowStage | null;
     blocking?: boolean;
     details?: Record<string, unknown>;
-    action: "ship" | "setup" | "recon" | "author" | "implement" | "verify" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     checkpoint: string;
@@ -589,7 +589,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     error?: undefined;
 } | {
     ok: boolean;
-    action: "ship" | "setup" | "recon" | "author" | "implement" | "verify" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     summary: string;

package/package.json

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