@riddledc/riddle-proof 0.5.8 → 0.5.9

package/dist/{chunk-GC7C2NRA.js → chunk-CNKNPJAF.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();
 }
@@ -633,7 +644,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 +677,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 +736,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 +762,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();
 }
@@ -3603,7 +3614,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 +3647,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 +3706,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 +3732,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-CNKNPJAF.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();
 }
@@ -4162,7 +4173,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 +4206,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 +4265,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 +4291,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-CNKNPJAF.js";
 import {
   runRiddleProof
 } from "./chunk-VSEKLCNU.js";

package/package.json

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