@riddledc/riddle-proof 0.5.49 → 0.5.51

package/README.md

@@ -63,9 +63,11 @@ Codex/CLI-style testing:
 
 ```sh
 riddle-proof-loop run --request-json request.json --checkpoint-mode yield
+riddle-proof-loop checkpoint --state-path /tmp/riddle-proof-run.json
 riddle-proof-loop run --request-json request.json --agent local
 riddle-proof-loop status --state-path /tmp/riddle-proof-run.json
 riddle-proof-loop respond --state-path /tmp/riddle-proof-run.json --response-json response.json
+riddle-proof-loop respond --state-path /tmp/riddle-proof-run.json --decision ready_for_author --summary "Baseline is trustworthy."
 riddle-proof-loop doctor local
 ```
 
@@ -74,6 +76,13 @@ authoring, implementation, proof assessment, and evidence recovery. A host can
 answer those packets with `riddle-proof.checkpoint_response.v1` JSON without
 needing OpenClaw-specific proof semantics.
 
+For a sole-agent loop, keep the agent in charge of the checkpoint response:
+run until a checkpoint, inspect `riddle-proof-loop checkpoint` for the packet,
+act directly when the packet asks for implementation, then respond with either
+full `--response-json` or the shorter `--decision` / `--summary` /
+`--payload-json` flags. No local executor or OpenClaw surface is required for
+that base workflow.
+
 `--agent local` is the generic CLI executor slot. The current implementation
 uses the local Codex CLI adapter underneath, but the loop contract and CLI
 surface are intentionally not Codex-specific.

package/dist/checkpoint.cjs

@@ -39,6 +39,7 @@ __export(checkpoint_exports, {
   buildStageCheckpointPacket: () => buildStageCheckpointPacket,
   checkpointResponseIdentity: () => checkpointResponseIdentity,
   checkpointSummaryFromState: () => checkpointSummaryFromState,
+  createCheckpointResponseTemplate: () => createCheckpointResponseTemplate,
   isDuplicateCheckpointResponse: () => isDuplicateCheckpointResponse,
   normalizeCheckpointResponse: () => normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse: () => proofContractFromAuthorCheckpointResponse,
@@ -602,6 +603,80 @@ function normalizeCheckpointResponse(value) {
     created_at: nonEmptyString(record.created_at) || timestamp()
   });
 }
+function defaultContinueStage(packet, decision) {
+  if (decision === "ready_for_author" || decision === "author_packet" || decision === "needs_author") return "author";
+  if (decision === "implementation_complete") return "verify";
+  if (decision === "ready_to_ship") return "ship";
+  if (decision === "revise_capture") return "verify";
+  if (decision === "retry_recon" || decision === "recon_stuck" || decision === "needs_recon") return "recon";
+  if (decision === "needs_implementation") return "implement";
+  if (decision === "continue_stage" || decision === "retry_stage") return packet.stage;
+  return void 0;
+}
+function templatePayloadFor(packet, decision) {
+  if (packet.kind === "author_proof" || decision === "author_packet") {
+    return {
+      proof_plan: "TODO: describe the exact proof plan and stop condition.",
+      capture_script: "TODO: provide the capture script that collects required artifacts/evidence.",
+      summary: "TODO: summarize why this proof packet targets the requested change."
+    };
+  }
+  if (packet.kind === "implement_change" || decision === "implementation_complete") {
+    return {
+      changed_files: [],
+      tests_run: [],
+      implementation_notes: "TODO: summarize the direct edits made in the after worktree."
+    };
+  }
+  if (packet.kind === "assess_recon" || packet.stage === "recon") {
+    return {
+      baseline_understanding: {
+        reference: "TODO",
+        target_route: "TODO",
+        before_evidence_url: "TODO",
+        visible_before_state: "TODO",
+        relevant_elements: [],
+        requested_change: packet.change_request,
+        proof_focus: "TODO",
+        stop_condition: "TODO",
+        quality_risks: []
+      },
+      refined_inputs: {
+        server_path: null,
+        wait_for_selector: null,
+        reference: null
+      }
+    };
+  }
+  if (packet.kind === "assess_proof" || packet.kind === "recover_evidence" || packet.stage === "verify") {
+    return {
+      recommended_stage: defaultContinueStage(packet, decision) || packet.stage,
+      evidence_issue_code: packet.evidence_excerpt?.evidence_issue_code || null,
+      visual_delta: packet.evidence_excerpt?.visual_delta || null
+    };
+  }
+  return void 0;
+}
+function createCheckpointResponseTemplate(packet, input = {}) {
+  const allowed = Array.isArray(packet.allowed_decisions) ? packet.allowed_decisions : [];
+  const decision = input.decision && allowed.includes(input.decision) ? input.decision : allowed[0] || "blocked";
+  const continueStage = input.continue_with_stage || defaultContinueStage(packet, decision);
+  return compactRecord({
+    version: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
+    run_id: packet.run_id,
+    checkpoint: packet.checkpoint,
+    resume_token: packet.resume_token,
+    decision,
+    summary: input.summary || `TODO: explain checkpoint decision ${decision}.`,
+    payload: input.payload || templatePayloadFor(packet, decision),
+    reasons: input.reasons || ["TODO: replace with concrete reason(s)."],
+    continue_with_stage: continueStage,
+    source: {
+      kind: input.source_kind || "codex"
+    },
+    created_at: input.created_at || timestamp()
+  });
+}
 function checkpointSummaryFromState(state, engineStatePath) {
   const history = state.checkpoint_history || [];
   const packets = history.filter((entry) => entry.packet);
@@ -702,6 +777,7 @@ function proofContractFromAuthorCheckpointResponse(response, packet, payload) {
   buildStageCheckpointPacket,
   checkpointResponseIdentity,
   checkpointSummaryFromState,
+  createCheckpointResponseTemplate,
   isDuplicateCheckpointResponse,
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,

package/dist/checkpoint.d.cts

@@ -1,4 +1,4 @@
-import { RiddleProofCheckpointResponse, RiddleProofRunParams, RiddleProofRunState, RiddleProofCheckpointPacket, RiddleProofCheckpointSummary, RiddleProofProofContract, RiddleProofStatePaths } from './types.cjs';
+import { RiddleProofCheckpointResponse, RiddleProofRunParams, RiddleProofRunState, RiddleProofCheckpointPacket, RiddleProofCheckpointSummary, RiddleProofStage, RiddleProofProofContract, RiddleProofStatePaths } from './types.cjs';
 
 declare const RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION: "riddle-proof.checkpoint.v1";
 declare const RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION: "riddle-proof.checkpoint_response.v1";
@@ -61,10 +61,19 @@ declare function buildCheckpointPacketForEngineResult(input: {
     created_at?: string;
 }): RiddleProofCheckpointPacket;
 declare function normalizeCheckpointResponse(value: unknown): RiddleProofCheckpointResponse | null;
+declare function createCheckpointResponseTemplate(packet: RiddleProofCheckpointPacket, input?: {
+    decision?: string;
+    summary?: string;
+    payload?: Record<string, unknown>;
+    reasons?: string[];
+    continue_with_stage?: RiddleProofStage;
+    source_kind?: NonNullable<RiddleProofCheckpointResponse["source"]>["kind"];
+    created_at?: string;
+}): RiddleProofCheckpointResponse;
 declare function checkpointSummaryFromState(state: RiddleProofRunState, engineStatePath?: string | null): RiddleProofCheckpointSummary;
 declare function isDuplicateCheckpointResponse(state: RiddleProofRunState, response: RiddleProofCheckpointResponse): boolean;
 declare function checkpointResponseIdentity(response: RiddleProofCheckpointResponse): string;
 declare function authorPacketPayloadFromCheckpointResponse(response: RiddleProofCheckpointResponse): Record<string, unknown> | null;
 declare function proofContractFromAuthorCheckpointResponse(response: RiddleProofCheckpointResponse, packet: RiddleProofCheckpointPacket, payload: Record<string, unknown>): RiddleProofProofContract;
 
-export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointResponseIdentity, checkpointSummaryFromState, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState };
+export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointResponseIdentity, checkpointSummaryFromState, createCheckpointResponseTemplate, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState };

package/dist/checkpoint.d.ts

@@ -1,4 +1,4 @@
-import { RiddleProofCheckpointResponse, RiddleProofRunParams, RiddleProofRunState, RiddleProofCheckpointPacket, RiddleProofCheckpointSummary, RiddleProofProofContract, RiddleProofStatePaths } from './types.js';
+import { RiddleProofCheckpointResponse, RiddleProofRunParams, RiddleProofRunState, RiddleProofCheckpointPacket, RiddleProofCheckpointSummary, RiddleProofStage, RiddleProofProofContract, RiddleProofStatePaths } from './types.js';
 
 declare const RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION: "riddle-proof.checkpoint.v1";
 declare const RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION: "riddle-proof.checkpoint_response.v1";
@@ -61,10 +61,19 @@ declare function buildCheckpointPacketForEngineResult(input: {
     created_at?: string;
 }): RiddleProofCheckpointPacket;
 declare function normalizeCheckpointResponse(value: unknown): RiddleProofCheckpointResponse | null;
+declare function createCheckpointResponseTemplate(packet: RiddleProofCheckpointPacket, input?: {
+    decision?: string;
+    summary?: string;
+    payload?: Record<string, unknown>;
+    reasons?: string[];
+    continue_with_stage?: RiddleProofStage;
+    source_kind?: NonNullable<RiddleProofCheckpointResponse["source"]>["kind"];
+    created_at?: string;
+}): RiddleProofCheckpointResponse;
 declare function checkpointSummaryFromState(state: RiddleProofRunState, engineStatePath?: string | null): RiddleProofCheckpointSummary;
 declare function isDuplicateCheckpointResponse(state: RiddleProofRunState, response: RiddleProofCheckpointResponse): boolean;
 declare function checkpointResponseIdentity(response: RiddleProofCheckpointResponse): string;
 declare function authorPacketPayloadFromCheckpointResponse(response: RiddleProofCheckpointResponse): Record<string, unknown> | null;
 declare function proofContractFromAuthorCheckpointResponse(response: RiddleProofCheckpointResponse, packet: RiddleProofCheckpointPacket, payload: Record<string, unknown>): RiddleProofProofContract;
 
-export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointResponseIdentity, checkpointSummaryFromState, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState };
+export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointResponseIdentity, checkpointSummaryFromState, createCheckpointResponseTemplate, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState };

package/dist/checkpoint.js

@@ -8,11 +8,12 @@ import {
   buildStageCheckpointPacket,
   checkpointResponseIdentity,
   checkpointSummaryFromState,
+  createCheckpointResponseTemplate,
   isDuplicateCheckpointResponse,
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "./chunk-R6SCWJCI.js";
+} from "./chunk-36CBRVAK.js";
 import "./chunk-DUFDZJOF.js";
 export {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
@@ -24,6 +25,7 @@ export {
   buildStageCheckpointPacket,
   checkpointResponseIdentity,
   checkpointSummaryFromState,
+  createCheckpointResponseTemplate,
   isDuplicateCheckpointResponse,
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,

package/dist/{chunk-YW77WDTR.js → chunk-3266V3MO.js}

@@ -132,10 +132,11 @@ var PROOF_SCHEMA = {
     source: { type: "string", enum: ["supervising_agent"] }
   }
 };
-var PROMPT_STRING_LIMIT = 1400;
+var PROMPT_STRING_LIMIT = 1e3;
 var PROMPT_ARRAY_LIMIT = 8;
 var PROMPT_OBJECT_KEY_LIMIT = 50;
-var PROMPT_BLOCK_LIMIT = 7e4;
+var PROMPT_BLOCK_LIMIT = 16e3;
+var PROMPT_TOTAL_LIMIT = 58e3;
 var PROMPT_KEY_PRIORITY = [
   "ok",
   "status",
@@ -250,7 +251,7 @@ function resolveWorkdir(context, fallback = "/tmp") {
   return after || fallback;
 }
 function basePrompt(context, role) {
-  return [
+  const prompt = [
     role,
     "",
     "You are the supervising Codex worker inside the Riddle Proof harness.",
@@ -262,6 +263,9 @@ function basePrompt(context, role) {
     jsonBlock("Riddle checkpoint result", context.engineResult),
     jsonBlock("Full riddle state", context.fullRiddleState || {})
   ].join("\n");
+  if (prompt.length <= PROMPT_TOTAL_LIMIT) return prompt;
+  return `${prompt.slice(0, PROMPT_TOTAL_LIMIT).trimEnd()}
+...[truncated ${prompt.length - PROMPT_TOTAL_LIMIT} chars from total prompt]`;
 }
 function schemaRequiredKeys(schema) {
   const required = schema?.required;

package/dist/{chunk-R6SCWJCI.js → chunk-36CBRVAK.js}

@@ -549,6 +549,80 @@ function normalizeCheckpointResponse(value) {
     created_at: nonEmptyString(record.created_at) || timestamp()
   });
 }
+function defaultContinueStage(packet, decision) {
+  if (decision === "ready_for_author" || decision === "author_packet" || decision === "needs_author") return "author";
+  if (decision === "implementation_complete") return "verify";
+  if (decision === "ready_to_ship") return "ship";
+  if (decision === "revise_capture") return "verify";
+  if (decision === "retry_recon" || decision === "recon_stuck" || decision === "needs_recon") return "recon";
+  if (decision === "needs_implementation") return "implement";
+  if (decision === "continue_stage" || decision === "retry_stage") return packet.stage;
+  return void 0;
+}
+function templatePayloadFor(packet, decision) {
+  if (packet.kind === "author_proof" || decision === "author_packet") {
+    return {
+      proof_plan: "TODO: describe the exact proof plan and stop condition.",
+      capture_script: "TODO: provide the capture script that collects required artifacts/evidence.",
+      summary: "TODO: summarize why this proof packet targets the requested change."
+    };
+  }
+  if (packet.kind === "implement_change" || decision === "implementation_complete") {
+    return {
+      changed_files: [],
+      tests_run: [],
+      implementation_notes: "TODO: summarize the direct edits made in the after worktree."
+    };
+  }
+  if (packet.kind === "assess_recon" || packet.stage === "recon") {
+    return {
+      baseline_understanding: {
+        reference: "TODO",
+        target_route: "TODO",
+        before_evidence_url: "TODO",
+        visible_before_state: "TODO",
+        relevant_elements: [],
+        requested_change: packet.change_request,
+        proof_focus: "TODO",
+        stop_condition: "TODO",
+        quality_risks: []
+      },
+      refined_inputs: {
+        server_path: null,
+        wait_for_selector: null,
+        reference: null
+      }
+    };
+  }
+  if (packet.kind === "assess_proof" || packet.kind === "recover_evidence" || packet.stage === "verify") {
+    return {
+      recommended_stage: defaultContinueStage(packet, decision) || packet.stage,
+      evidence_issue_code: packet.evidence_excerpt?.evidence_issue_code || null,
+      visual_delta: packet.evidence_excerpt?.visual_delta || null
+    };
+  }
+  return void 0;
+}
+function createCheckpointResponseTemplate(packet, input = {}) {
+  const allowed = Array.isArray(packet.allowed_decisions) ? packet.allowed_decisions : [];
+  const decision = input.decision && allowed.includes(input.decision) ? input.decision : allowed[0] || "blocked";
+  const continueStage = input.continue_with_stage || defaultContinueStage(packet, decision);
+  return compactRecord({
+    version: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
+    run_id: packet.run_id,
+    checkpoint: packet.checkpoint,
+    resume_token: packet.resume_token,
+    decision,
+    summary: input.summary || `TODO: explain checkpoint decision ${decision}.`,
+    payload: input.payload || templatePayloadFor(packet, decision),
+    reasons: input.reasons || ["TODO: replace with concrete reason(s)."],
+    continue_with_stage: continueStage,
+    source: {
+      kind: input.source_kind || "codex"
+    },
+    created_at: input.created_at || timestamp()
+  });
+}
 function checkpointSummaryFromState(state, engineStatePath) {
   const history = state.checkpoint_history || [];
   const packets = history.filter((entry) => entry.packet);
@@ -648,6 +722,7 @@ export {
   buildProofAssessmentCheckpointPacket,
   buildCheckpointPacketForEngineResult,
   normalizeCheckpointResponse,
+  createCheckpointResponseTemplate,
   checkpointSummaryFromState,
   isDuplicateCheckpointResponse,
   checkpointResponseIdentity,

package/dist/{chunk-U7Q3RB5D.js → chunk-KLOSE27H.js}

@@ -1,6 +1,6 @@
 import {
   createRiddleProofRunCard
-} from "./chunk-CI2F66EE.js";
+} from "./chunk-T7YFCZND.js";
 import {
   compactRecord,
   isTerminalStatus,

package/dist/{chunk-722PW3X3.js → chunk-LBZWFSTU.js}

@@ -10,10 +10,10 @@ import {
   createRunStatusSnapshot,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-U7Q3RB5D.js";
+} from "./chunk-KLOSE27H.js";
 import {
   createRiddleProofRunCard
-} from "./chunk-CI2F66EE.js";
+} from "./chunk-T7YFCZND.js";
 import {
   authorPacketPayloadFromCheckpointResponse,
   buildCheckpointPacketForEngineResult,
@@ -23,7 +23,7 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "./chunk-R6SCWJCI.js";
+} from "./chunk-36CBRVAK.js";
 import {
   applyTerminalMetadata,
   compactRecord,

package/dist/{chunk-CI2F66EE.js → chunk-T7YFCZND.js}

@@ -1,6 +1,6 @@
 import {
   statePathsForRunState
-} from "./chunk-R6SCWJCI.js";
+} from "./chunk-36CBRVAK.js";
 import {
   compactRecord,
   isTerminalStatus,

package/dist/{chunk-YJPQOAZG.js → chunk-WKKMBN5S.js}

@@ -3,7 +3,7 @@ import {
   appendStageHeartbeat,
   createRunState,
   setRunStatus
-} from "./chunk-U7Q3RB5D.js";
+} from "./chunk-KLOSE27H.js";
 import {
   createRunResult
 } from "./chunk-DUFDZJOF.js";

package/dist/cli.cjs

@@ -3538,6 +3538,80 @@ function normalizeCheckpointResponse(value) {
     created_at: nonEmptyString(record.created_at) || timestamp()
   });
 }
+function defaultContinueStage(packet, decision) {
+  if (decision === "ready_for_author" || decision === "author_packet" || decision === "needs_author") return "author";
+  if (decision === "implementation_complete") return "verify";
+  if (decision === "ready_to_ship") return "ship";
+  if (decision === "revise_capture") return "verify";
+  if (decision === "retry_recon" || decision === "recon_stuck" || decision === "needs_recon") return "recon";
+  if (decision === "needs_implementation") return "implement";
+  if (decision === "continue_stage" || decision === "retry_stage") return packet.stage;
+  return void 0;
+}
+function templatePayloadFor(packet, decision) {
+  if (packet.kind === "author_proof" || decision === "author_packet") {
+    return {
+      proof_plan: "TODO: describe the exact proof plan and stop condition.",
+      capture_script: "TODO: provide the capture script that collects required artifacts/evidence.",
+      summary: "TODO: summarize why this proof packet targets the requested change."
+    };
+  }
+  if (packet.kind === "implement_change" || decision === "implementation_complete") {
+    return {
+      changed_files: [],
+      tests_run: [],
+      implementation_notes: "TODO: summarize the direct edits made in the after worktree."
+    };
+  }
+  if (packet.kind === "assess_recon" || packet.stage === "recon") {
+    return {
+      baseline_understanding: {
+        reference: "TODO",
+        target_route: "TODO",
+        before_evidence_url: "TODO",
+        visible_before_state: "TODO",
+        relevant_elements: [],
+        requested_change: packet.change_request,
+        proof_focus: "TODO",
+        stop_condition: "TODO",
+        quality_risks: []
+      },
+      refined_inputs: {
+        server_path: null,
+        wait_for_selector: null,
+        reference: null
+      }
+    };
+  }
+  if (packet.kind === "assess_proof" || packet.kind === "recover_evidence" || packet.stage === "verify") {
+    return {
+      recommended_stage: defaultContinueStage(packet, decision) || packet.stage,
+      evidence_issue_code: packet.evidence_excerpt?.evidence_issue_code || null,
+      visual_delta: packet.evidence_excerpt?.visual_delta || null
+    };
+  }
+  return void 0;
+}
+function createCheckpointResponseTemplate(packet, input = {}) {
+  const allowed = Array.isArray(packet.allowed_decisions) ? packet.allowed_decisions : [];
+  const decision = input.decision && allowed.includes(input.decision) ? input.decision : allowed[0] || "blocked";
+  const continueStage = input.continue_with_stage || defaultContinueStage(packet, decision);
+  return compactRecord({
+    version: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
+    run_id: packet.run_id,
+    checkpoint: packet.checkpoint,
+    resume_token: packet.resume_token,
+    decision,
+    summary: input.summary || `TODO: explain checkpoint decision ${decision}.`,
+    payload: input.payload || templatePayloadFor(packet, decision),
+    reasons: input.reasons || ["TODO: replace with concrete reason(s)."],
+    continue_with_stage: continueStage,
+    source: {
+      kind: input.source_kind || "codex"
+    },
+    created_at: input.created_at || timestamp()
+  });
+}
 function checkpointSummaryFromState(state, engineStatePath2) {
   const history = state.checkpoint_history || [];
   const packets = history.filter((entry) => entry.packet);
@@ -5609,10 +5683,11 @@ var PROOF_SCHEMA = {
     source: { type: "string", enum: ["supervising_agent"] }
   }
 };
-var PROMPT_STRING_LIMIT = 1400;
+var PROMPT_STRING_LIMIT = 1e3;
 var PROMPT_ARRAY_LIMIT = 8;
 var PROMPT_OBJECT_KEY_LIMIT = 50;
-var PROMPT_BLOCK_LIMIT = 7e4;
+var PROMPT_BLOCK_LIMIT = 16e3;
+var PROMPT_TOTAL_LIMIT = 58e3;
 var PROMPT_KEY_PRIORITY = [
   "ok",
   "status",
@@ -5727,7 +5802,7 @@ function resolveWorkdir(context, fallback = "/tmp") {
   return after || fallback;
 }
 function basePrompt(context, role) {
-  return [
+  const prompt = [
     role,
     "",
     "You are the supervising Codex worker inside the Riddle Proof harness.",
@@ -5739,6 +5814,9 @@ function basePrompt(context, role) {
     jsonBlock("Riddle checkpoint result", context.engineResult),
     jsonBlock("Full riddle state", context.fullRiddleState || {})
   ].join("\n");
+  if (prompt.length <= PROMPT_TOTAL_LIMIT) return prompt;
+  return `${prompt.slice(0, PROMPT_TOTAL_LIMIT).trimEnd()}
+...[truncated ${prompt.length - PROMPT_TOTAL_LIMIT} chars from total prompt]`;
 }
 function schemaRequiredKeys(schema) {
   const required = schema?.required;
@@ -6323,7 +6401,9 @@ function usage() {
   return [
     "Usage:",
     "  riddle-proof-loop run --request-json <file|json|-> [--agent disabled|local] [--checkpoint-mode yield|auto]",
+    "  riddle-proof-loop checkpoint --state-path <path> [--decision <decision>]",
     "  riddle-proof-loop respond --state-path <path> --response-json <file|json|->",
+    "  riddle-proof-loop respond --state-path <path> --decision <decision> --summary <text> [--payload-json <file|json|->]",
     "  riddle-proof-loop status --state-path <path>",
     "  riddle-proof-loop doctor local [--codex-command <path>]",
     "",
@@ -6367,6 +6447,18 @@ function readJsonValue(value, label) {
   }
   return parsed;
 }
+function readOptionalJsonRecord(value, label) {
+  if (!value) return void 0;
+  return readJsonValue(value, label);
+}
+function readOptionalJsonStringArray(value, label) {
+  if (!value) return void 0;
+  const parsed = value === "-" ? JSON.parse(readStdin()) : (0, import_node_fs5.existsSync)(value) ? JSON.parse((0, import_node_fs5.readFileSync)(value, "utf-8")) : JSON.parse(value);
+  if (!Array.isArray(parsed) || parsed.some((item) => typeof item !== "string")) {
+    throw new Error(`${label} must be a JSON array of strings.`);
+  }
+  return parsed;
+}
 function readRunState(statePath) {
   const parsed = readJsonValue(statePath, "--state-path");
   if (parsed.version !== "riddle-proof.run-state.v1" || !Array.isArray(parsed.events)) {
@@ -6374,6 +6466,29 @@ function readRunState(statePath) {
   }
   return parsed;
 }
+function checkpointResponseForFlags(statePath, options) {
+  const state = readRunState(statePath);
+  if (!state.checkpoint_packet) {
+    throw new Error(`${statePath} has no pending checkpoint packet. Use status to inspect the current run state.`);
+  }
+  const decision = optionString(options, "decision");
+  const summary = optionString(options, "summary");
+  if (!decision || !summary) {
+    throw new Error("--decision and --summary are required when --response-json is not supplied.");
+  }
+  if (!state.checkpoint_packet.allowed_decisions.includes(decision)) {
+    throw new Error(`--decision ${decision} is not allowed for ${state.checkpoint_packet.checkpoint}. Allowed decisions: ${state.checkpoint_packet.allowed_decisions.join(", ")}`);
+  }
+  return createCheckpointResponseTemplate(state.checkpoint_packet, {
+    decision,
+    summary,
+    payload: readOptionalJsonRecord(optionString(options, "payloadJson"), "--payload-json"),
+    reasons: readOptionalJsonStringArray(optionString(options, "reasonsJson"), "--reasons-json"),
+    continue_with_stage: optionString(options, "continueWithStage"),
+    source_kind: optionString(options, "sourceKind") || "codex",
+    created_at: optionString(options, "createdAt")
+  });
+}
 function codexConfig(options) {
   const codexFullAuto = optionString(options, "codexFullAuto");
   return {
@@ -6430,13 +6545,37 @@ async function main() {
     const snapshot = readRiddleProofRunStatus(statePath);
     if (!snapshot) throw new Error(`${statePath} is not a readable Riddle Proof run state.`);
     process.stdout.write(`${JSON.stringify(snapshot, null, 2)}
+`);
+    return;
+  }
+  if (command === "checkpoint") {
+    const statePath = optionString(options, "statePath");
+    if (!statePath) throw new Error("--state-path is required.");
+    const state = readRunState(statePath);
+    const snapshot = readRiddleProofRunStatus(statePath);
+    if (!state.checkpoint_packet) {
+      throw new Error(`${statePath} has no pending checkpoint packet.`);
+    }
+    const responseTemplate = createCheckpointResponseTemplate(state.checkpoint_packet, {
+      decision: optionString(options, "decision"),
+      source_kind: optionString(options, "sourceKind") || "codex"
+    });
+    process.stdout.write(`${JSON.stringify({
+      checkpoint_packet: state.checkpoint_packet,
+      run_card: snapshot?.run_card || state.run_card || null,
+      response_template: responseTemplate,
+      next_commands: [
+        `riddle-proof-loop respond --state-path ${statePath} --decision ${responseTemplate.decision} --summary <summary> --payload-json <file|json|->`,
+        `riddle-proof-loop status --state-path ${statePath}`
+      ]
+    }, null, 2)}
 `);
     return;
   }
   if (command === "run" || command === "respond") {
     const statePath = optionString(options, "statePath");
     const request = requestForRun(options);
-    const response = command === "respond" ? readJsonValue(optionString(options, "responseJson"), "--response-json") : void 0;
+    const response = command === "respond" ? optionString(options, "responseJson") ? readJsonValue(optionString(options, "responseJson"), "--response-json") : checkpointResponseForFlags(statePath || "", options) : void 0;
     const result = await runRiddleProofEngineHarness({
       request,
       state_path: statePath,

package/dist/cli.js

@@ -3,16 +3,18 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-722PW3X3.js";
+} from "./chunk-LBZWFSTU.js";
 import "./chunk-4ASMX4R6.js";
 import "./chunk-JFQXAJH2.js";
 import {
   createCodexExecAgentAdapter,
   runCodexExecAgentDoctor
-} from "./chunk-YW77WDTR.js";
-import "./chunk-U7Q3RB5D.js";
-import "./chunk-CI2F66EE.js";
-import "./chunk-R6SCWJCI.js";
+} from "./chunk-3266V3MO.js";
+import "./chunk-KLOSE27H.js";
+import "./chunk-T7YFCZND.js";
+import {
+  createCheckpointResponseTemplate
+} from "./chunk-36CBRVAK.js";
 import "./chunk-DUFDZJOF.js";
 
 // src/cli.ts
@@ -21,7 +23,9 @@ function usage() {
   return [
     "Usage:",
     "  riddle-proof-loop run --request-json <file|json|-> [--agent disabled|local] [--checkpoint-mode yield|auto]",
+    "  riddle-proof-loop checkpoint --state-path <path> [--decision <decision>]",
     "  riddle-proof-loop respond --state-path <path> --response-json <file|json|->",
+    "  riddle-proof-loop respond --state-path <path> --decision <decision> --summary <text> [--payload-json <file|json|->]",
     "  riddle-proof-loop status --state-path <path>",
     "  riddle-proof-loop doctor local [--codex-command <path>]",
     "",
@@ -65,6 +69,18 @@ function readJsonValue(value, label) {
   }
   return parsed;
 }
+function readOptionalJsonRecord(value, label) {
+  if (!value) return void 0;
+  return readJsonValue(value, label);
+}
+function readOptionalJsonStringArray(value, label) {
+  if (!value) return void 0;
+  const parsed = value === "-" ? JSON.parse(readStdin()) : existsSync(value) ? JSON.parse(readFileSync(value, "utf-8")) : JSON.parse(value);
+  if (!Array.isArray(parsed) || parsed.some((item) => typeof item !== "string")) {
+    throw new Error(`${label} must be a JSON array of strings.`);
+  }
+  return parsed;
+}
 function readRunState(statePath) {
   const parsed = readJsonValue(statePath, "--state-path");
   if (parsed.version !== "riddle-proof.run-state.v1" || !Array.isArray(parsed.events)) {
@@ -72,6 +88,29 @@ function readRunState(statePath) {
   }
   return parsed;
 }
+function checkpointResponseForFlags(statePath, options) {
+  const state = readRunState(statePath);
+  if (!state.checkpoint_packet) {
+    throw new Error(`${statePath} has no pending checkpoint packet. Use status to inspect the current run state.`);
+  }
+  const decision = optionString(options, "decision");
+  const summary = optionString(options, "summary");
+  if (!decision || !summary) {
+    throw new Error("--decision and --summary are required when --response-json is not supplied.");
+  }
+  if (!state.checkpoint_packet.allowed_decisions.includes(decision)) {
+    throw new Error(`--decision ${decision} is not allowed for ${state.checkpoint_packet.checkpoint}. Allowed decisions: ${state.checkpoint_packet.allowed_decisions.join(", ")}`);
+  }
+  return createCheckpointResponseTemplate(state.checkpoint_packet, {
+    decision,
+    summary,
+    payload: readOptionalJsonRecord(optionString(options, "payloadJson"), "--payload-json"),
+    reasons: readOptionalJsonStringArray(optionString(options, "reasonsJson"), "--reasons-json"),
+    continue_with_stage: optionString(options, "continueWithStage"),
+    source_kind: optionString(options, "sourceKind") || "codex",
+    created_at: optionString(options, "createdAt")
+  });
+}
 function codexConfig(options) {
   const codexFullAuto = optionString(options, "codexFullAuto");
   return {
@@ -128,13 +167,37 @@ async function main() {
     const snapshot = readRiddleProofRunStatus(statePath);
     if (!snapshot) throw new Error(`${statePath} is not a readable Riddle Proof run state.`);
     process.stdout.write(`${JSON.stringify(snapshot, null, 2)}
+`);
+    return;
+  }
+  if (command === "checkpoint") {
+    const statePath = optionString(options, "statePath");
+    if (!statePath) throw new Error("--state-path is required.");
+    const state = readRunState(statePath);
+    const snapshot = readRiddleProofRunStatus(statePath);
+    if (!state.checkpoint_packet) {
+      throw new Error(`${statePath} has no pending checkpoint packet.`);
+    }
+    const responseTemplate = createCheckpointResponseTemplate(state.checkpoint_packet, {
+      decision: optionString(options, "decision"),
+      source_kind: optionString(options, "sourceKind") || "codex"
+    });
+    process.stdout.write(`${JSON.stringify({
+      checkpoint_packet: state.checkpoint_packet,
+      run_card: snapshot?.run_card || state.run_card || null,
+      response_template: responseTemplate,
+      next_commands: [
+        `riddle-proof-loop respond --state-path ${statePath} --decision ${responseTemplate.decision} --summary <summary> --payload-json <file|json|->`,
+        `riddle-proof-loop status --state-path ${statePath}`
+      ]
+    }, null, 2)}
 `);
     return;
   }
   if (command === "run" || command === "respond") {
     const statePath = optionString(options, "statePath");
     const request = requestForRun(options);
-    const response = command === "respond" ? readJsonValue(optionString(options, "responseJson"), "--response-json") : void 0;
+    const response = command === "respond" ? optionString(options, "responseJson") ? readJsonValue(optionString(options, "responseJson"), "--response-json") : checkpointResponseForFlags(statePath || "", options) : void 0;
     const result = await runRiddleProofEngineHarness({
       request,
       state_path: statePath,

package/dist/codex-exec-agent.cjs

@@ -171,10 +171,11 @@ var PROOF_SCHEMA = {
     source: { type: "string", enum: ["supervising_agent"] }
   }
 };
-var PROMPT_STRING_LIMIT = 1400;
+var PROMPT_STRING_LIMIT = 1e3;
 var PROMPT_ARRAY_LIMIT = 8;
 var PROMPT_OBJECT_KEY_LIMIT = 50;
-var PROMPT_BLOCK_LIMIT = 7e4;
+var PROMPT_BLOCK_LIMIT = 16e3;
+var PROMPT_TOTAL_LIMIT = 58e3;
 var PROMPT_KEY_PRIORITY = [
   "ok",
   "status",
@@ -289,7 +290,7 @@ function resolveWorkdir(context, fallback = "/tmp") {
   return after || fallback;
 }
 function basePrompt(context, role) {
-  return [
+  const prompt = [
     role,
     "",
     "You are the supervising Codex worker inside the Riddle Proof harness.",
@@ -301,6 +302,9 @@ function basePrompt(context, role) {
     jsonBlock("Riddle checkpoint result", context.engineResult),
     jsonBlock("Full riddle state", context.fullRiddleState || {})
   ].join("\n");
+  if (prompt.length <= PROMPT_TOTAL_LIMIT) return prompt;
+  return `${prompt.slice(0, PROMPT_TOTAL_LIMIT).trimEnd()}
+...[truncated ${prompt.length - PROMPT_TOTAL_LIMIT} chars from total prompt]`;
 }
 function schemaRequiredKeys(schema) {
   const required = schema?.required;

package/dist/codex-exec-agent.js

@@ -2,7 +2,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "./chunk-YW77WDTR.js";
+} from "./chunk-3266V3MO.js";
 import "./chunk-DUFDZJOF.js";
 export {
   createCodexExecAgentAdapter,

package/dist/engine-harness.js

@@ -2,11 +2,11 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-722PW3X3.js";
+} from "./chunk-LBZWFSTU.js";
 import "./chunk-4ASMX4R6.js";
-import "./chunk-U7Q3RB5D.js";
-import "./chunk-CI2F66EE.js";
-import "./chunk-R6SCWJCI.js";
+import "./chunk-KLOSE27H.js";
+import "./chunk-T7YFCZND.js";
+import "./chunk-36CBRVAK.js";
 import "./chunk-DUFDZJOF.js";
 export {
   createDisabledRiddleProofAgentAdapter,

package/dist/index.cjs

@@ -2801,6 +2801,7 @@ __export(index_exports, {
   compactRecord: () => compactRecord,
   compareVisualProofSessionFingerprint: () => compareVisualProofSessionFingerprint,
   createCaptureDiagnostic: () => createCaptureDiagnostic,
+  createCheckpointResponseTemplate: () => createCheckpointResponseTemplate,
   createCodexExecAgentAdapter: () => createCodexExecAgentAdapter,
   createCodexExecJsonRunner: () => createCodexExecJsonRunner,
   createDisabledRiddleProofAgentAdapter: () => createDisabledRiddleProofAgentAdapter,
@@ -3598,6 +3599,80 @@ function normalizeCheckpointResponse(value) {
     created_at: nonEmptyString(record.created_at) || timestamp()
   });
 }
+function defaultContinueStage(packet, decision) {
+  if (decision === "ready_for_author" || decision === "author_packet" || decision === "needs_author") return "author";
+  if (decision === "implementation_complete") return "verify";
+  if (decision === "ready_to_ship") return "ship";
+  if (decision === "revise_capture") return "verify";
+  if (decision === "retry_recon" || decision === "recon_stuck" || decision === "needs_recon") return "recon";
+  if (decision === "needs_implementation") return "implement";
+  if (decision === "continue_stage" || decision === "retry_stage") return packet.stage;
+  return void 0;
+}
+function templatePayloadFor(packet, decision) {
+  if (packet.kind === "author_proof" || decision === "author_packet") {
+    return {
+      proof_plan: "TODO: describe the exact proof plan and stop condition.",
+      capture_script: "TODO: provide the capture script that collects required artifacts/evidence.",
+      summary: "TODO: summarize why this proof packet targets the requested change."
+    };
+  }
+  if (packet.kind === "implement_change" || decision === "implementation_complete") {
+    return {
+      changed_files: [],
+      tests_run: [],
+      implementation_notes: "TODO: summarize the direct edits made in the after worktree."
+    };
+  }
+  if (packet.kind === "assess_recon" || packet.stage === "recon") {
+    return {
+      baseline_understanding: {
+        reference: "TODO",
+        target_route: "TODO",
+        before_evidence_url: "TODO",
+        visible_before_state: "TODO",
+        relevant_elements: [],
+        requested_change: packet.change_request,
+        proof_focus: "TODO",
+        stop_condition: "TODO",
+        quality_risks: []
+      },
+      refined_inputs: {
+        server_path: null,
+        wait_for_selector: null,
+        reference: null
+      }
+    };
+  }
+  if (packet.kind === "assess_proof" || packet.kind === "recover_evidence" || packet.stage === "verify") {
+    return {
+      recommended_stage: defaultContinueStage(packet, decision) || packet.stage,
+      evidence_issue_code: packet.evidence_excerpt?.evidence_issue_code || null,
+      visual_delta: packet.evidence_excerpt?.visual_delta || null
+    };
+  }
+  return void 0;
+}
+function createCheckpointResponseTemplate(packet, input = {}) {
+  const allowed = Array.isArray(packet.allowed_decisions) ? packet.allowed_decisions : [];
+  const decision = input.decision && allowed.includes(input.decision) ? input.decision : allowed[0] || "blocked";
+  const continueStage = input.continue_with_stage || defaultContinueStage(packet, decision);
+  return compactRecord({
+    version: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
+    run_id: packet.run_id,
+    checkpoint: packet.checkpoint,
+    resume_token: packet.resume_token,
+    decision,
+    summary: input.summary || `TODO: explain checkpoint decision ${decision}.`,
+    payload: input.payload || templatePayloadFor(packet, decision),
+    reasons: input.reasons || ["TODO: replace with concrete reason(s)."],
+    continue_with_stage: continueStage,
+    source: {
+      kind: input.source_kind || "codex"
+    },
+    created_at: input.created_at || timestamp()
+  });
+}
 function checkpointSummaryFromState(state, engineStatePath2) {
   const history = state.checkpoint_history || [];
   const packets = history.filter((entry) => entry.packet);
@@ -6202,10 +6277,11 @@ var PROOF_SCHEMA = {
     source: { type: "string", enum: ["supervising_agent"] }
   }
 };
-var PROMPT_STRING_LIMIT = 1400;
+var PROMPT_STRING_LIMIT = 1e3;
 var PROMPT_ARRAY_LIMIT = 8;
 var PROMPT_OBJECT_KEY_LIMIT = 50;
-var PROMPT_BLOCK_LIMIT = 7e4;
+var PROMPT_BLOCK_LIMIT = 16e3;
+var PROMPT_TOTAL_LIMIT = 58e3;
 var PROMPT_KEY_PRIORITY = [
   "ok",
   "status",
@@ -6320,7 +6396,7 @@ function resolveWorkdir(context, fallback = "/tmp") {
   return after || fallback;
 }
 function basePrompt(context, role) {
-  return [
+  const prompt = [
     role,
     "",
     "You are the supervising Codex worker inside the Riddle Proof harness.",
@@ -6332,6 +6408,9 @@ function basePrompt(context, role) {
     jsonBlock("Riddle checkpoint result", context.engineResult),
     jsonBlock("Full riddle state", context.fullRiddleState || {})
   ].join("\n");
+  if (prompt.length <= PROMPT_TOTAL_LIMIT) return prompt;
+  return `${prompt.slice(0, PROMPT_TOTAL_LIMIT).trimEnd()}
+...[truncated ${prompt.length - PROMPT_TOTAL_LIMIT} chars from total prompt]`;
 }
 function schemaRequiredKeys(schema) {
   const required = schema?.required;
@@ -7549,6 +7628,7 @@ function parseJson(value) {
   compactRecord,
   compareVisualProofSessionFingerprint,
   createCaptureDiagnostic,
+  createCheckpointResponseTemplate,
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   createDisabledRiddleProofAgentAdapter,

package/dist/index.d.cts

@@ -1,7 +1,7 @@
 export { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofCheckpointArtifact, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, RiddleProofCheckpointRole, RiddleProofCheckpointRoutingHint, RiddleProofCheckpointSummary, RiddleProofCheckpointVisibility, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofProofContract, RiddleProofRunCard, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatePaths, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter } from './types.cjs';
 export { TerminalMetadataInput, applyTerminalMetadata, compactRecord, createRunResult, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue } from './result.cjs';
 export { CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, RunEventInput, appendRunEvent, appendStageHeartbeat, applyPrLifecycleState, createRunState, createRunStatusSnapshot, normalizeIntegrationContext, normalizePrLifecycleState, normalizeRunParams, setRunStatus } from './state.cjs';
-export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointResponseIdentity, checkpointSummaryFromState, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.cjs';
+export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointResponseIdentity, checkpointSummaryFromState, createCheckpointResponseTemplate, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.cjs';
 export { RIDDLE_PROOF_RUN_CARD_VERSION, createRiddleProofRunCard } from './run-card.cjs';
 export { RiddleProofRunnerAdapters, RunRiddleProofInput, runRiddleProof } from './runner.cjs';
 export { RiddleProofAgentAdapter, RiddleProofAgentPayload, RiddleProofCheckpointMode, RiddleProofEngine, RiddleProofEngineHarnessConfig, RiddleProofEngineHarnessContext, RiddleProofEngineResult, RiddleProofShipMode, RiddleProofWorkflowParams, RunRiddleProofEngineHarnessInput, createDisabledRiddleProofAgentAdapter, readRiddleProofRunStatus, runRiddleProofEngineHarness } from './engine-harness.cjs';

package/dist/index.d.ts

@@ -1,7 +1,7 @@
 export { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofCheckpointArtifact, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, RiddleProofCheckpointRole, RiddleProofCheckpointRoutingHint, RiddleProofCheckpointSummary, RiddleProofCheckpointVisibility, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofProofContract, RiddleProofRunCard, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatePaths, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter } from './types.js';
 export { TerminalMetadataInput, applyTerminalMetadata, compactRecord, createRunResult, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue } from './result.js';
 export { CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, RunEventInput, appendRunEvent, appendStageHeartbeat, applyPrLifecycleState, createRunState, createRunStatusSnapshot, normalizeIntegrationContext, normalizePrLifecycleState, normalizeRunParams, setRunStatus } from './state.js';
-export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointResponseIdentity, checkpointSummaryFromState, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.js';
+export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointResponseIdentity, checkpointSummaryFromState, createCheckpointResponseTemplate, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.js';
 export { RIDDLE_PROOF_RUN_CARD_VERSION, createRiddleProofRunCard } from './run-card.js';
 export { RiddleProofRunnerAdapters, RunRiddleProofInput, runRiddleProof } from './runner.js';
 export { RiddleProofAgentAdapter, RiddleProofAgentPayload, RiddleProofCheckpointMode, RiddleProofEngine, RiddleProofEngineHarnessConfig, RiddleProofEngineHarnessContext, RiddleProofEngineResult, RiddleProofShipMode, RiddleProofWorkflowParams, RunRiddleProofEngineHarnessInput, createDisabledRiddleProofAgentAdapter, readRiddleProofRunStatus, runRiddleProofEngineHarness } from './engine-harness.js';

package/dist/index.js

@@ -17,7 +17,7 @@ import {
 } from "./chunk-ODORKNSO.js";
 import {
   runRiddleProof
-} from "./chunk-YJPQOAZG.js";
+} from "./chunk-WKKMBN5S.js";
 import {
   DEFAULT_DIAGNOSTIC_ARRAY_LIMIT,
   DEFAULT_DIAGNOSTIC_HISTORY_LIMIT,
@@ -32,14 +32,14 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-722PW3X3.js";
+} from "./chunk-LBZWFSTU.js";
 import "./chunk-4ASMX4R6.js";
 import "./chunk-JFQXAJH2.js";
 import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "./chunk-YW77WDTR.js";
+} from "./chunk-3266V3MO.js";
 import {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
@@ -51,11 +51,11 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-U7Q3RB5D.js";
+} from "./chunk-KLOSE27H.js";
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "./chunk-CI2F66EE.js";
+} from "./chunk-T7YFCZND.js";
 import {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
@@ -66,11 +66,12 @@ import {
   buildStageCheckpointPacket,
   checkpointResponseIdentity,
   checkpointSummaryFromState,
+  createCheckpointResponseTemplate,
   isDuplicateCheckpointResponse,
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "./chunk-R6SCWJCI.js";
+} from "./chunk-36CBRVAK.js";
 import {
   applyTerminalMetadata,
   compactRecord,
@@ -111,6 +112,7 @@ export {
   compactRecord,
   compareVisualProofSessionFingerprint,
   createCaptureDiagnostic,
+  createCheckpointResponseTemplate,
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   createDisabledRiddleProofAgentAdapter,

package/dist/local-agent.cjs

@@ -173,10 +173,11 @@ var PROOF_SCHEMA = {
     source: { type: "string", enum: ["supervising_agent"] }
   }
 };
-var PROMPT_STRING_LIMIT = 1400;
+var PROMPT_STRING_LIMIT = 1e3;
 var PROMPT_ARRAY_LIMIT = 8;
 var PROMPT_OBJECT_KEY_LIMIT = 50;
-var PROMPT_BLOCK_LIMIT = 7e4;
+var PROMPT_BLOCK_LIMIT = 16e3;
+var PROMPT_TOTAL_LIMIT = 58e3;
 var PROMPT_KEY_PRIORITY = [
   "ok",
   "status",
@@ -291,7 +292,7 @@ function resolveWorkdir(context, fallback = "/tmp") {
   return after || fallback;
 }
 function basePrompt(context, role) {
-  return [
+  const prompt = [
     role,
     "",
     "You are the supervising Codex worker inside the Riddle Proof harness.",
@@ -303,6 +304,9 @@ function basePrompt(context, role) {
     jsonBlock("Riddle checkpoint result", context.engineResult),
     jsonBlock("Full riddle state", context.fullRiddleState || {})
   ].join("\n");
+  if (prompt.length <= PROMPT_TOTAL_LIMIT) return prompt;
+  return `${prompt.slice(0, PROMPT_TOTAL_LIMIT).trimEnd()}
+...[truncated ${prompt.length - PROMPT_TOTAL_LIMIT} chars from total prompt]`;
 }
 function schemaRequiredKeys(schema) {
   const required = schema?.required;

package/dist/local-agent.js

@@ -3,7 +3,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "./chunk-YW77WDTR.js";
+} from "./chunk-3266V3MO.js";
 import "./chunk-DUFDZJOF.js";
 export {
   createCodexExecAgentAdapter as createLocalAgentAdapter,

package/dist/openclaw.js

@@ -1,9 +1,9 @@
 import {
   normalizeIntegrationContext,
   normalizeRunParams
-} from "./chunk-U7Q3RB5D.js";
-import "./chunk-CI2F66EE.js";
-import "./chunk-R6SCWJCI.js";
+} from "./chunk-KLOSE27H.js";
+import "./chunk-T7YFCZND.js";
+import "./chunk-36CBRVAK.js";
 import {
   compactRecord
 } from "./chunk-DUFDZJOF.js";

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

@@ -115,7 +115,7 @@ declare function buildSetupArgs(params: WorkflowParams, config: ReturnType<typeo
     target_image_hash: string;
     viewport_matrix_json: string;
     deterministic_setup_json: string;
-    reference: "before" | "prod" | "both";
+    reference: "prod" | "before" | "both";
     base_branch: string;
     before_ref: string;
     allow_static_preview_fallback: string;

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

@@ -115,7 +115,7 @@ declare function buildSetupArgs(params: WorkflowParams, config: ReturnType<typeo
     target_image_hash: string;
     viewport_matrix_json: string;
     deterministic_setup_json: string;
-    reference: "before" | "prod" | "both";
+    reference: "prod" | "before" | "both";
     base_branch: string;
     before_ref: string;
     allow_static_preview_fallback: string;

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

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

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

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

package/dist/run-card.js

@@ -1,8 +1,8 @@
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "./chunk-CI2F66EE.js";
-import "./chunk-R6SCWJCI.js";
+} from "./chunk-T7YFCZND.js";
+import "./chunk-36CBRVAK.js";
 import "./chunk-DUFDZJOF.js";
 export {
   RIDDLE_PROOF_RUN_CARD_VERSION,

package/dist/runner.js

@@ -1,9 +1,9 @@
 import {
   runRiddleProof
-} from "./chunk-YJPQOAZG.js";
-import "./chunk-U7Q3RB5D.js";
-import "./chunk-CI2F66EE.js";
-import "./chunk-R6SCWJCI.js";
+} from "./chunk-WKKMBN5S.js";
+import "./chunk-KLOSE27H.js";
+import "./chunk-T7YFCZND.js";
+import "./chunk-36CBRVAK.js";
 import "./chunk-DUFDZJOF.js";
 export {
   runRiddleProof

package/dist/state.js

@@ -9,9 +9,9 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-U7Q3RB5D.js";
-import "./chunk-CI2F66EE.js";
-import "./chunk-R6SCWJCI.js";
+} from "./chunk-KLOSE27H.js";
+import "./chunk-T7YFCZND.js";
+import "./chunk-36CBRVAK.js";
 import "./chunk-DUFDZJOF.js";
 export {
   RIDDLE_PROOF_RUN_STATE_VERSION,

package/package.json

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