@riddledc/riddle-proof 0.5.7 → 0.5.9

package/README.md

@@ -78,6 +78,19 @@ way to a ready PR after proof and CI; `leave_draft: true` is only an explicit
 debug or user-request escape hatch. The notification adapter is where a host
 updates Discord, OpenClaw, GitHub, or another integration.
 
+## Runtime Scratch Space
+
+The packaged proof-run setup uses isolated git worktrees for before and after
+states. By default those worktrees now live under
+`/tmp/.riddle-proof-worktrees`, with dependency caches under the matching local
+temp root. This keeps repeated `node_modules` cache materialization on local
+scratch storage instead of walking large dependency trees on EFS or other shared
+workspace filesystems.
+
+Set `RIDDLE_PROOF_WORKTREE_ROOT` to choose an explicit location. Set
+`RIDDLE_PROOF_USE_WORKSPACE_WORKTREE_ROOT=1` to keep the previous behavior of
+placing proof worktrees next to the active repository.
+
 ## Capture Diagnostics
 
 `@riddledc/riddle-proof/diagnostics` standardizes the evidence contract around

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.7",
+  "version": "0.5.9",
   "description": "Reusable Riddle Proof contracts and helpers for evidence-backed agent changes.",
   "license": "MIT",
   "author": "RiddleDC",

package/runtime/lib/setup.py

@@ -1,12 +1,12 @@
 """Setup: create worktrees, install deps, validate args, write state.
 
 Idempotent — safe to re-run. Creates per-run worktrees under the active
-workspace root by default:
-  <workspace>/.riddle-proof-worktrees/riddle-proof-<run_id>-before
-  <workspace>/.riddle-proof-worktrees/riddle-proof-<run_id>-after
+local temp storage by default:
+  /tmp/.riddle-proof-worktrees/riddle-proof-<run_id>-before
+  /tmp/.riddle-proof-worktrees/riddle-proof-<run_id>-after
 """
 
-import json, subprocess as sp, os, sys, shutil, time
+import json, subprocess as sp, os, sys, shutil, time, tempfile
 sys.path.insert(0, os.path.dirname(os.path.abspath(__file__)))
 from util import load_state, save_state, git, shell_quote
 
@@ -160,8 +160,14 @@ def resolve_worktree_root(repo_dir):
     configured = (s.get('worktree_root') or os.environ.get('RIDDLE_PROOF_WORKTREE_ROOT') or '').strip()
     if configured:
         return os.path.abspath(os.path.expanduser(configured))
-    repo_parent = os.path.dirname(os.path.abspath(repo_dir))
-    return os.path.join(repo_parent, '.riddle-proof-worktrees')
+    if os.environ.get('RIDDLE_PROOF_USE_WORKSPACE_WORKTREE_ROOT', '').strip().lower() in ('1', 'true', 'yes'):
+        repo_parent = os.path.dirname(os.path.abspath(repo_dir))
+        return os.path.join(repo_parent, '.riddle-proof-worktrees')
+
+    # Proof worktrees are scratch data. Keep them on local temp storage by
+    # default so dependency cache materialization does not crawl across EFS or
+    # other shared workspace filesystems.
+    return os.path.join(tempfile.gettempdir(), '.riddle-proof-worktrees')
 
 
 def cleanup_legacy_branch_worktrees(repo_dir, branch_name):