@riddledc/riddle-proof 0.7.0 → 0.7.1

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

@@ -21,6 +21,11 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
         repo: any;
         branch: any;
         mode: any;
+        workflow_mode: any;
+        implementation_mode: any;
+        require_diff: any;
+        allow_code_changes: any;
+        no_implementation_mode: boolean;
         reference: any;
         before_ref: any;
         allow_static_preview_fallback: boolean;
@@ -113,6 +118,11 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
         repo: any;
         branch: any;
         mode: any;
+        workflow_mode: any;
+        implementation_mode: any;
+        require_diff: any;
+        allow_code_changes: any;
+        no_implementation_mode: boolean;
         reference: any;
         before_ref: any;
         allow_static_preview_fallback: boolean;
@@ -203,6 +213,11 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
         repo: any;
         branch: any;
         mode: any;
+        workflow_mode: any;
+        implementation_mode: any;
+        require_diff: any;
+        allow_code_changes: any;
+        no_implementation_mode: boolean;
         reference: any;
         before_ref: any;
         allow_static_preview_fallback: boolean;
@@ -277,7 +292,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     blocking?: boolean;
     details?: Record<string, unknown>;
     ok: boolean;
-    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     summary: string;
@@ -286,6 +301,11 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
         repo: any;
         branch: any;
         mode: any;
+        workflow_mode: any;
+        implementation_mode: any;
+        require_diff: any;
+        allow_code_changes: any;
+        no_implementation_mode: boolean;
         reference: any;
         before_ref: any;
         allow_static_preview_fallback: boolean;
@@ -362,7 +382,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     continueWithStage?: WorkflowStage | null;
     blocking?: boolean;
     details?: Record<string, unknown>;
-    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     checkpoint: string;
@@ -372,6 +392,11 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
         repo: any;
         branch: any;
         mode: any;
+        workflow_mode: any;
+        implementation_mode: any;
+        require_diff: any;
+        allow_code_changes: any;
+        no_implementation_mode: boolean;
         reference: any;
         before_ref: any;
         allow_static_preview_fallback: boolean;
@@ -462,6 +487,11 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
         repo: any;
         branch: any;
         mode: any;
+        workflow_mode: any;
+        implementation_mode: any;
+        require_diff: any;
+        allow_code_changes: any;
+        no_implementation_mode: boolean;
         reference: any;
         before_ref: any;
         allow_static_preview_fallback: boolean;
@@ -550,6 +580,11 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
         repo: any;
         branch: any;
         mode: any;
+        workflow_mode: any;
+        implementation_mode: any;
+        require_diff: any;
+        allow_code_changes: any;
+        no_implementation_mode: boolean;
         reference: any;
         before_ref: any;
         allow_static_preview_fallback: boolean;
@@ -624,7 +659,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
     error?: undefined;
 } | {
     ok: boolean;
-    action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
+    action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
     state_path: string;
     stage: any;
     summary: string;
@@ -633,6 +668,11 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
         repo: any;
         branch: any;
         mode: any;
+        workflow_mode: any;
+        implementation_mode: any;
+        require_diff: any;
+        allow_code_changes: any;
+        no_implementation_mode: boolean;
         reference: any;
         before_ref: any;
         allow_static_preview_fallback: boolean;

package/dist/proof-run-engine.js

@@ -6,6 +6,7 @@ import {
   ensureAction,
   invalidateVerifyEvidence,
   mergeStateFromParams,
+  noImplementationModeFor,
   readState,
   recordStageAttempt,
   resolveConfig,
@@ -14,7 +15,7 @@ import {
   validateShipGate,
   workflowFile,
   writeState
-} from "./chunk-RFJ5BQF6.js";
+} from "./chunk-FPD2RF3Q.js";
 
 // src/proof-run-engine.ts
 import { execFileSync } from "child_process";
@@ -29,8 +30,11 @@ function authorReady(state) {
 function implementationReady(state) {
   return ["changes_detected", "completed"].includes(state?.implementation_status || "");
 }
-function stageAfterAuthor(state) {
-  return implementationReady(state) ? "verify" : "implement";
+function implementationRequired(params, state) {
+  return !noImplementationModeFor(params, state);
+}
+function stageAfterAuthor(state, params) {
+  return implementationReady(state) || !implementationRequired(params, state) ? "verify" : "implement";
 }
 function latestReconAttempt(state) {
   const history = Array.isArray(state?.recon_results?.attempt_history) ? state.recon_results.attempt_history : [];
@@ -241,7 +245,7 @@ function recommendedAdvanceStage(state) {
   if (!state?.workspace_ready) return "setup";
   if (!state?.recon_results || ["needs_agent_decision", "needs_supervisor_judgment"].includes(state?.recon_status || "")) return "recon";
   if (!authorReady(state)) return "author";
-  if (!implementationReady(state)) return "implement";
+  if (!implementationReady(state) && !noImplementationModeFor(state)) return "implement";
   if (state?.verify_status === "capture_incomplete") return verifyAssessment(state).continueWithStage || verifyAssessment(state).recommendedStage || "author";
   if (state?.verify_status === "evidence_captured") return verifyAssessment(state).continueWithStage || verifyAssessment(state).recommendedStage;
   if (!(state?.after_cdn || "").trim()) return "verify";
@@ -866,6 +870,7 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
         checkpoint: params.advance_stage === "setup" ? "setup_review" : null,
         autoApproved: setupRes.autoApproved || false
       });
+      mergeStateFromParams(config.statePath, params);
       state = readState(config.statePath);
       if (params.advance_stage === "setup") {
         return checkpoint(
@@ -1163,7 +1168,8 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
           }
         );
       }
-      const authorNextStage = stageAfterAuthor(state);
+      const noImplementationMode = !implementationRequired(params, state);
+      const authorNextStage = stageAfterAuthor(state, params);
       const explicitAuthorDebug = params.advance_stage === "author";
       recordAttempt("author", "completed", "Author applied the supervising agent's proof packet to recon observations.", {
         autoApproved: authorRes.autoApproved || false,
@@ -1181,7 +1187,7 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
         return checkpoint(
           "author",
           "author_review",
-          authorNextStage === "verify" ? "Author applied the supervising agent's proof packet. Because implementation is already recorded, you can continue straight into verify." : "Author applied the supervising agent's proof packet. Inspect it if needed, then continue into implement.",
+          authorNextStage === "verify" ? noImplementationMode ? "Author applied the supervising agent's proof packet. Audit/no-diff mode disables implementation, so you can continue straight into verify." : "Author applied the supervising agent's proof packet. Because implementation is already recorded, you can continue straight into verify." : "Author applied the supervising agent's proof packet. Inspect it if needed, then continue into implement.",
           {
             nextActions: authorNextStage === "verify" ? ["inspect_proof_packet", "advance_run_to_verify", "rerun_author"] : ["inspect_proof_packet", "advance_run_to_implement", "rerun_author"],
             advanceOptions: authorNextStage === "verify" ? ["author", "verify", "recon"] : ["author", "implement", "recon"],
@@ -1214,13 +1220,14 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
     }
     if (!effectiveAdvanceStage) {
       const recommended = recommendedAdvanceStage(state);
+      const noImplementationMode = !implementationRequired(params, state);
       return checkpoint(
-        recommended || "implement",
+        recommended || (noImplementationMode ? "verify" : "implement"),
         "awaiting_stage_advance",
         "Proof authoring is ready. The wrapper will not guess the next stage from here, explicitly choose whether to revisit recon/author, validate implementation, capture verify evidence, or ship.",
         {
           nextActions: ["inspect_state", "set_advance_stage", "resume_run"],
-          advanceOptions: ["recon", "author", "implement", "verify", "ship"],
+          advanceOptions: noImplementationMode ? ["recon", "author", "verify", "ship"] : ["recon", "author", "implement", "verify", "ship"],
           recommendedAdvanceStage: recommended,
           details: { executed },
           executed
@@ -1228,6 +1235,26 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
       );
     }
     if (effectiveAdvanceStage === "implement") {
+      if (!implementationRequired(params, state)) {
+        recordAttempt("implement", "checkpoint", "Implementation stage was skipped because audit/no-diff mode disables code changes.", {
+          checkpoint: "implement_disabled_for_audit",
+          details: { executed }
+        });
+        return checkpoint(
+          "verify",
+          "implement_disabled_for_audit",
+          "Audit/no-diff mode disables implementation. Continue to verify against the existing target; do not launch an implementation agent or require a git diff.",
+          {
+            nextActions: ["advance_run_to_verify", "inspect_author_packet", "rerun_recon_if_target_changed"],
+            advanceOptions: ["verify", "author", "recon"],
+            recommendedAdvanceStage: "verify",
+            continueWithStage: "verify",
+            blocking: false,
+            details: { executed },
+            executed
+          }
+        );
+      }
       const implementRes = runOne("implement");
       executed.push(executedStep(implementRes));
       if (implementRes.haltedForApproval) {
@@ -1318,7 +1345,8 @@ ${implementRes.stderr || ""}`;
     }
     if (effectiveAdvanceStage === "verify") {
       state = readState(config.statePath);
-      if (!["changes_detected", "completed"].includes(state?.implementation_status || "")) {
+      const needsImplementation = implementationRequired(params, state);
+      if (needsImplementation && !implementationReady(state)) {
         return checkpoint(
           "implement",
           "implement_required",
@@ -1335,6 +1363,18 @@ ${implementRes.stderr || ""}`;
           }
         );
       }
+      if (!needsImplementation && !implementationReady(state)) {
+        recordAttempt("implement", "completed", "Implementation stage is not required for this audit/no-diff run.", {
+          checkpoint: "implementation_not_required",
+          details: { executed }
+        });
+        state = updateState(config.statePath, (currentState) => {
+          currentState.implementation_status = "not_required";
+          currentState.implementation_mode = currentState.implementation_mode || "none";
+          if (currentState.require_diff === void 0) currentState.require_diff = false;
+          if (currentState.allow_code_changes === void 0) currentState.allow_code_changes = false;
+        });
+      }
       const hasIncomingProofAssessment = typeof params.proof_assessment_json === "string" && params.proof_assessment_json.trim().length > 0;
       const canReuseVerifyEvidence = (params.advance_stage !== "verify" || hasIncomingProofAssessment) && state?.verify_status === "evidence_captured" && Boolean((state?.after_cdn || "").trim()) && (state?.active_checkpoint === "verify_supervisor_judgment" || hasSupervisorProofAssessment(state));
       let verifyRes = { ok: true, step: "verify", reusedEvidence: canReuseVerifyEvidence };
@@ -1357,8 +1397,13 @@ ${implementRes.stderr || ""}`;
       const verifySummary = state?.verify_summary || state?.proof_summary || null;
       const proofAssessment = verifyAssessment(state);
       const convergenceSignals = nonConvergenceSignals(state, proofAssessment);
-      const verifyRecommendedStage = proofAssessment.recommendedStage || null;
-      const verifyContinueWithStage = shouldEscalateVerifyToHuman(state, proofAssessment) ? null : proofAssessment.continueWithStage || verifyRecommendedStage || null;
+      const rawVerifyRecommendedStage = proofAssessment.recommendedStage || null;
+      const verifyRecommendedStage = !needsImplementation && rawVerifyRecommendedStage === "implement" ? "verify" : rawVerifyRecommendedStage;
+      const rawVerifyContinueWithStage = shouldEscalateVerifyToHuman(state, proofAssessment) ? null : proofAssessment.continueWithStage || verifyRecommendedStage || null;
+      const verifyContinueWithStage = !needsImplementation && rawVerifyContinueWithStage === "implement" ? "verify" : rawVerifyContinueWithStage;
+      const verifyLoopAdvanceOptions = needsImplementation ? ["author", "verify", "implement", "recon"] : ["author", "verify", "recon"];
+      const verifyReviewAdvanceOptions = needsImplementation ? ["verify", "author", "implement", "recon", "ship"] : ["verify", "author", "recon"];
+      const verifyRetryAdvanceOptions = needsImplementation ? ["author", "implement", "ship", "verify", "recon"] : ["author", "verify", "recon"];
       const verifyDetails = {
         executed,
         verifyStatus,
@@ -1396,7 +1441,7 @@ ${implementRes.stderr || ""}`;
           {
             ok: true,
             nextActions: ["inspect_after_capture", "continue_internal_loop_with_checkpoint", "return_to_recon_if_baseline_is_wrong"],
-            advanceOptions: ["author", "verify", "implement", "recon"],
+            advanceOptions: verifyLoopAdvanceOptions,
             recommendedAdvanceStage: verifyRecommendedStage || "author",
             continueWithStage: verifyContinueWithStage || "author",
             blocking: false,
@@ -1424,7 +1469,7 @@ ${implementRes.stderr || ""}`;
           summary,
           {
             nextActions: ["inspect_evidence", "author_proof_assessment_json", "continue_internal_loop_with_checkpoint"],
-            advanceOptions: ["verify", "author", "implement", "recon", "ship"],
+            advanceOptions: verifyReviewAdvanceOptions,
             recommendedAdvanceStage: "verify",
             continueWithStage: "verify",
             blocking: false,
@@ -1454,7 +1499,7 @@ ${implementRes.stderr || ""}`;
           {
             ok: false,
             nextActions: ["inspect_retry_history", "summarize_internal_loop", "ask_human_for_direction"],
-            advanceOptions: ["author", "implement", "ship", "verify", "recon"],
+            advanceOptions: verifyRetryAdvanceOptions,
             recommendedAdvanceStage: null,
             continueWithStage: null,
             blocking: true,
@@ -1469,7 +1514,7 @@ ${implementRes.stderr || ""}`;
           }
         );
       }
-      const shouldAutoShip = verifyContinueWithStage === "ship" && (params.ship_after_verify || params.continue_from_checkpoint || params.advance_stage !== "verify");
+      const shouldAutoShip = verifyContinueWithStage === "ship" && needsImplementation && (params.ship_after_verify || params.continue_from_checkpoint || params.advance_stage !== "verify");
       if (shouldAutoShip) {
         const shipGate = validateShipGate(state);
         if (!shipGate.ok) {
@@ -1527,6 +1572,33 @@ ${implementRes.stderr || ""}`;
         };
       }
       if (proofAssessment.decision === "ready_to_ship") {
+        if (!needsImplementation) {
+          recordAttempt("verify", "completed", "Verify captured a proof packet for audit/no-diff mode; shipping remains disabled.", {
+            autoApproved: verifyRes.autoApproved || false,
+            checkpoint: "verify_audit_complete",
+            details: verifyDetails
+          });
+          return checkpoint(
+            "verify",
+            "verify_audit_complete",
+            "The supervising agent judged the audit proof sufficient. Audit/no-diff mode disables ship, PR creation, implementation agents, and git-diff requirements.",
+            {
+              nextActions: ["inspect_evidence", "report_audit_result", "rerun_verify_if_needed"],
+              advanceOptions: ["verify", "author", "recon"],
+              recommendedAdvanceStage: "verify",
+              continueWithStage: null,
+              blocking: false,
+              details: verifyDetails,
+              verifyStatus,
+              verifySummary,
+              afterCdn: state?.after_cdn || null,
+              mergeRecommendation: state?.merge_recommendation || null,
+              verifyDecisionRequest,
+              proofAssessment: proofAssessment.raw,
+              executed
+            }
+          );
+        }
         const shipGate = validateShipGate(state);
         if (!shipGate.ok) {
           recordAttempt("verify", "checkpoint", "Verify cannot mark ship ready because the hard ship gate is missing required evidence or approval.", {
@@ -1583,8 +1655,8 @@ ${implementRes.stderr || ""}`;
         unresolvedSummary,
         {
           ok: true,
-          nextActions: convergenceSignals.warning ? ["inspect_retry_history", "decide_whether_to_keep_iterating_or_escalate", "continue_internal_loop_with_checkpoint"] : ["inspect_proof_assessment", "continue_internal_loop_with_checkpoint", "return_to_implement_if_fix_failed"],
-          advanceOptions: ["author", "implement", "ship", "verify", "recon"],
+          nextActions: convergenceSignals.warning ? ["inspect_retry_history", "decide_whether_to_keep_iterating_or_escalate", "continue_internal_loop_with_checkpoint"] : needsImplementation ? ["inspect_proof_assessment", "continue_internal_loop_with_checkpoint", "return_to_implement_if_fix_failed"] : ["inspect_proof_assessment", "continue_internal_loop_with_checkpoint", "rerun_author_if_proof_contract_is_wrong"],
+          advanceOptions: verifyRetryAdvanceOptions,
           recommendedAdvanceStage: verifyRecommendedStage,
           continueWithStage: verifyContinueWithStage,
           blocking: false,
@@ -1601,6 +1673,23 @@ ${implementRes.stderr || ""}`;
     }
     if (effectiveAdvanceStage === "ship") {
       state = readState(config.statePath);
+      if (!implementationRequired(params, state)) {
+        return checkpoint(
+          "verify",
+          "ship_disabled_for_audit",
+          "Audit/no-diff mode disables ship and PR creation. Report the audit result from verify evidence instead.",
+          {
+            ok: false,
+            nextActions: ["inspect_verify_state", "report_audit_result"],
+            advanceOptions: ["verify", "author", "recon"],
+            recommendedAdvanceStage: "verify",
+            continueWithStage: "verify",
+            blocking: true,
+            details: { executed },
+            executed
+          }
+        );
+      }
       const shipAssessment = verifyAssessment(state);
       const shipGate = validateShipGate(state);
       if (state?.verify_status !== "evidence_captured") {

package/dist/runner.cjs

@@ -1,7 +1,9 @@
 "use strict";
+var __create = Object.create;
 var __defProp = Object.defineProperty;
 var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
 var __getOwnPropNames = Object.getOwnPropertyNames;
+var __getProtoOf = Object.getPrototypeOf;
 var __hasOwnProp = Object.prototype.hasOwnProperty;
 var __export = (target, all) => {
   for (var name in all)
@@ -15,6 +17,14 @@ var __copyProps = (to, from, except, desc) => {
   }
   return to;
 };
+var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
+  // If the importer is in node compatibility mode or this is not an ESM
+  // file that has been converted to a CommonJS file using a Babel-
+  // compatible transform (i.e. "__esModule" has not been set), then set
+  // "default" to the CommonJS "module.exports" for node compatibility.
+  isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
+  mod
+));
 var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
 
 // src/runner.ts
@@ -188,6 +198,9 @@ function normalizeRunParams(input) {
     context: input.context,
     reviewer: input.reviewer,
     mode: input.mode,
+    implementation_mode: input.implementation_mode,
+    require_diff: input.require_diff,
+    allow_code_changes: input.allow_code_changes,
     build_command: input.build_command,
     build_output: input.build_output,
     server_image: input.server_image,
@@ -285,6 +298,41 @@ function setRunStatus(state, status, at = timestamp()) {
   return state;
 }
 
+// src/proof-run-core.ts
+var import_node_fs = require("fs");
+var import_node_crypto = require("crypto");
+var import_node_path = __toESM(require("path"), 1);
+var import_node_url = require("url");
+var import_meta = {};
+function normalizedMode(value) {
+  return typeof value === "string" ? value.trim().toLowerCase() : "";
+}
+function noImplementationModeInput(value) {
+  return value && typeof value === "object" ? value : {};
+}
+function noImplementationModeFor(params, state) {
+  const input = noImplementationModeInput(params);
+  const stateInput = noImplementationModeInput(state);
+  const mode = normalizedMode(input.mode ?? input.workflow_mode ?? stateInput.mode ?? stateInput.workflow_mode);
+  const implementationMode = normalizedMode(input.implementation_mode ?? stateInput.implementation_mode);
+  const requireDiff = input.require_diff ?? stateInput.require_diff;
+  const allowCodeChanges = input.allow_code_changes ?? stateInput.allow_code_changes;
+  return mode === "audit" || mode === "profile" || implementationMode === "none" || requireDiff === false || allowCodeChanges === false;
+}
+function currentDistDir() {
+  const meta = typeof import_meta === "object" ? import_meta : {};
+  if (typeof meta.url === "string" && meta.url) {
+    return import_node_path.default.dirname((0, import_node_url.fileURLToPath)(meta.url));
+  }
+  if (typeof __dirname === "string") return __dirname;
+  return process.cwd();
+}
+var BUNDLED_RIDDLE_PROOF_DIR = import_node_path.default.resolve(
+  currentDistDir(),
+  "..",
+  "runtime"
+);
+
 // src/runner.ts
 function errorDetails(error) {
   if (error instanceof Error) {
@@ -485,6 +533,7 @@ async function runRiddleProof(input) {
     }
   }
   const changeRequest = state.request.change_request?.trim();
+  const noImplementationMode = noImplementationModeFor(state.request);
   if (!changeRequest) {
     return blockRun({
       state,
@@ -492,14 +541,14 @@ async function runRiddleProof(input) {
       blocker: adapterBlocker("change_request_required", "A change request is required before implementation.", "request_invalid")
     });
   }
-  if (!workdir) {
+  if (!noImplementationMode && !workdir) {
     return blockRun({
       state,
       stage: "setup",
       blocker: adapterBlocker("workdir_not_configured", "A workdir or setup adapter result is required before implementation.", "setup_required")
     });
   }
-  if (!adapters.implementation) {
+  if (!noImplementationMode && !adapters.implementation) {
     return blockRun({
       state,
       stage: "implement",
@@ -525,57 +574,68 @@ async function runRiddleProof(input) {
   let assessment;
   for (let attempt = 0; attempt < maxIterations; attempt += 1) {
     state.iterations += 1;
-    appendStageHeartbeat(state, {
-      stage: "implement",
-      summary: "Implementation stage is active.",
-      details: { iteration: state.iterations }
-    });
-    appendRunEvent(state, {
-      kind: "implementation.started",
-      checkpoint: "implementation_started",
-      stage: "implement",
-      summary: "Implementation adapter started.",
-      details: { iteration: state.iterations }
-    });
-    try {
-      implementation = await adapters.implementation.implement({
-        workdir,
-        change_request: changeRequest,
-        evidence_context: evidenceContext,
-        state
+    if (noImplementationMode) {
+      state.implementation_status = "not_required";
+      appendRunEvent(state, {
+        kind: "implementation.skipped",
+        checkpoint: "implementation_not_required",
+        stage: "implement",
+        summary: "Implementation stage skipped because audit/no-diff mode disables code changes.",
+        details: { iteration: state.iterations }
       });
-    } catch (error) {
-      return blockRun({
-        state,
+    } else {
+      appendStageHeartbeat(state, {
         stage: "implement",
-        blocker: adapterBlocker("implementation_exception", "The implementation adapter threw an exception.", "implementation_failed", errorDetails(error)),
-        evidence_bundle: evidenceBundle
+        summary: "Implementation stage is active.",
+        details: { iteration: state.iterations }
       });
-    }
-    if (!implementation.ok) {
-      return blockRun({
-        state,
+      appendRunEvent(state, {
+        kind: "implementation.started",
+        checkpoint: "implementation_started",
         stage: "implement",
-        blocker: adapterBlocker(
-          "implementation_failed",
-          "The implementation adapter did not complete successfully.",
-          "implementation_failed",
-          { blockers: implementation.blockers }
-        ),
-        evidence_bundle: evidenceBundle,
-        raw: { implementation }
+        summary: "Implementation adapter started.",
+        details: { iteration: state.iterations }
       });
-    }
-    appendRunEvent(state, {
-      kind: "implementation.completed",
-      checkpoint: "implementation_completed",
-      stage: "implement",
-      summary: "Implementation adapter completed.",
-      details: {
-        changed_files: implementation.changed_files,
-        tests_run: implementation.tests_run
+      try {
+        implementation = await adapters.implementation.implement({
+          workdir,
+          change_request: changeRequest,
+          evidence_context: evidenceContext,
+          state
+        });
+      } catch (error) {
+        return blockRun({
+          state,
+          stage: "implement",
+          blocker: adapterBlocker("implementation_exception", "The implementation adapter threw an exception.", "implementation_failed", errorDetails(error)),
+          evidence_bundle: evidenceBundle
+        });
       }
-    });
+      if (!implementation.ok) {
+        return blockRun({
+          state,
+          stage: "implement",
+          blocker: adapterBlocker(
+            "implementation_failed",
+            "The implementation adapter did not complete successfully.",
+            "implementation_failed",
+            { blockers: implementation.blockers }
+          ),
+          evidence_bundle: evidenceBundle,
+          raw: { implementation }
+        });
+      }
+      appendRunEvent(state, {
+        kind: "implementation.completed",
+        checkpoint: "implementation_completed",
+        stage: "implement",
+        summary: "Implementation adapter completed.",
+        details: {
+          changed_files: implementation.changed_files,
+          tests_run: implementation.tests_run
+        }
+      });
+    }
     appendStageHeartbeat(state, {
       stage: "prove",
       summary: "Proof capture stage is active.",

package/dist/runner.js

@@ -1,8 +1,9 @@
 import {
   runRiddleProof
-} from "./chunk-RXFKKYWA.js";
-import "./chunk-MO24D3PY.js";
+} from "./chunk-HIKFPDRO.js";
+import "./chunk-4DM3OTWH.js";
 import "./chunk-3UHWI3FO.js";
+import "./chunk-FPD2RF3Q.js";
 import "./chunk-33XO42CY.js";
 import "./chunk-DUFDZJOF.js";
 export {

package/dist/state.cjs

@@ -361,6 +361,9 @@ function normalizeRunParams(input) {
     context: input.context,
     reviewer: input.reviewer,
     mode: input.mode,
+    implementation_mode: input.implementation_mode,
+    require_diff: input.require_diff,
+    allow_code_changes: input.allow_code_changes,
     build_command: input.build_command,
     build_output: input.build_output,
     server_image: input.server_image,

package/dist/state.js

@@ -9,7 +9,7 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-MO24D3PY.js";
+} from "./chunk-4DM3OTWH.js";
 import "./chunk-3UHWI3FO.js";
 import "./chunk-33XO42CY.js";
 import "./chunk-DUFDZJOF.js";

package/dist/types.d.cts

@@ -31,6 +31,9 @@ interface RiddleProofRunParams {
     context?: string;
     reviewer?: string;
     mode?: string;
+    implementation_mode?: "change" | "none" | (string & {});
+    require_diff?: boolean;
+    allow_code_changes?: boolean;
     build_command?: string;
     build_output?: string;
     server_image?: string;

package/dist/types.d.ts

@@ -31,6 +31,9 @@ interface RiddleProofRunParams {
     context?: string;
     reviewer?: string;
     mode?: string;
+    implementation_mode?: "change" | "none" | (string & {});
+    require_diff?: boolean;
+    allow_code_changes?: boolean;
     build_command?: string;
     build_output?: string;
     server_image?: string;

package/package.json

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