@riddledc/riddle-proof 0.6.0 → 0.7.1

package/dist/{chunk-RFJ5BQF6.js → chunk-FPD2RF3Q.js}

@@ -4,6 +4,25 @@ import { randomUUID } from "crypto";
 import path from "path";
 import { fileURLToPath } from "url";
 var WORKFLOW_STAGE_ORDER = ["setup", "recon", "author", "implement", "verify", "ship"];
+function normalizedMode(value) {
+  return typeof value === "string" ? value.trim().toLowerCase() : "";
+}
+function previewModeFromWorkflowMode(value) {
+  const mode = normalizedMode(value);
+  return mode === "server" || mode === "static" ? mode : void 0;
+}
+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;
+}
 var CHECKPOINT_CONTRACT_VERSION = "riddle-proof-run.checkpoint.v1";
 function currentDistDir() {
   const meta = typeof import.meta === "object" ? import.meta : {};
@@ -96,7 +115,7 @@ function buildSetupArgs(params, config) {
     allow_static_preview_fallback: params.allow_static_preview_fallback ? "true" : "",
     context: params.context || "",
     reviewer: params.reviewer || config.defaultReviewer,
-    mode: params.mode || "",
+    mode: previewModeFromWorkflowMode(params.mode) || "",
     build_command: params.build_command || "npm run build",
     build_output: params.build_output || "build",
     server_image: params.server_image || "node:20-slim",
@@ -699,7 +718,8 @@ function mergeStateFromParams(statePath, params) {
     "auth_cookies_json",
     "auth_headers_json",
     "proof_plan",
-    "implementation_notes"
+    "implementation_notes",
+    "implementation_mode"
   ];
   for (const field of stringFields) {
     if (params[field] !== void 0) {
@@ -714,7 +734,17 @@ function mergeStateFromParams(statePath, params) {
     if (issues.length) state.implementation_environment_issues = issues;
   }
   if (params.reference !== void 0) state.reference = params.reference;
-  if (params.mode !== void 0) state.mode = params.mode;
+  if (params.mode !== void 0) {
+    const previewMode = previewModeFromWorkflowMode(params.mode);
+    if (previewMode) {
+      state.mode = previewMode;
+    } else {
+      state.workflow_mode = normalizeOptionalString(params.mode);
+    }
+  }
+  if (params.implementation_mode !== void 0) state.implementation_mode = normalizeOptionalString(params.implementation_mode);
+  if (params.require_diff !== void 0) state.require_diff = params.require_diff;
+  if (params.allow_code_changes !== void 0) state.allow_code_changes = params.allow_code_changes;
   if (params.allow_static_preview_fallback !== void 0) {
     state.allow_static_preview_fallback = params.allow_static_preview_fallback;
   }
@@ -859,6 +889,11 @@ function summarizeState(state) {
     repo: state.repo || null,
     branch: state.branch || null,
     mode: state.mode || null,
+    workflow_mode: state.workflow_mode || null,
+    implementation_mode: state.implementation_mode || null,
+    require_diff: state.require_diff ?? null,
+    allow_code_changes: state.allow_code_changes ?? null,
+    no_implementation_mode: noImplementationModeFor(state),
     reference: state.reference || null,
     before_ref: state.before_ref || null,
     allow_static_preview_fallback: Boolean(state.allow_static_preview_fallback),
@@ -945,6 +980,8 @@ function summarizeState(state) {
 
 export {
   WORKFLOW_STAGE_ORDER,
+  previewModeFromWorkflowMode,
+  noImplementationModeFor,
   CHECKPOINT_CONTRACT_VERSION,
   BUNDLED_RIDDLE_PROOF_DIR,
   RIDDLE_PROOF_DIR_CANDIDATES,

package/dist/{chunk-RXFKKYWA.js → chunk-HIKFPDRO.js}

@@ -3,7 +3,10 @@ import {
   appendStageHeartbeat,
   createRunState,
   setRunStatus
-} from "./chunk-MO24D3PY.js";
+} from "./chunk-4DM3OTWH.js";
+import {
+  noImplementationModeFor
+} from "./chunk-FPD2RF3Q.js";
 import {
   createRunResult
 } from "./chunk-DUFDZJOF.js";
@@ -208,6 +211,7 @@ async function runRiddleProof(input) {
     }
   }
   const changeRequest = state.request.change_request?.trim();
+  const noImplementationMode = noImplementationModeFor(state.request);
   if (!changeRequest) {
     return blockRun({
       state,
@@ -215,14 +219,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",
@@ -248,57 +252,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/{chunk-2FBF2UDZ.js → chunk-N5BVCRKI.js}

@@ -5,15 +5,16 @@ import {
   createRunStatusSnapshot,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-MO24D3PY.js";
+} from "./chunk-4DM3OTWH.js";
 import {
+  createRiddleProofRunCard
+} from "./chunk-3UHWI3FO.js";
+import {
+  noImplementationModeFor,
   visualDeltaForState,
   visualDeltaRequiredForState,
   visualDeltaShipGateReason
-} from "./chunk-RFJ5BQF6.js";
-import {
-  createRiddleProofRunCard
-} from "./chunk-3UHWI3FO.js";
+} from "./chunk-FPD2RF3Q.js";
 import {
   authorPacketPayloadFromCheckpointResponse,
   buildCheckpointPacketForEngineResult,
@@ -223,7 +224,7 @@ function stageFromWorkflowParams(params) {
   if (params.ship_after_verify) return "ship";
   if (params.proof_assessment_json) return "verify";
   if (params.implementation_notes) return "verify";
-  if (params.author_packet_json) return "implement";
+  if (params.author_packet_json) return noImplementationModeFor(params) ? "verify" : "implement";
   if (params.recon_assessment_json) return "author";
   return "setup";
 }
@@ -253,6 +254,9 @@ function initialRunParams(request, input, state) {
     context: request.context,
     reviewer: request.reviewer,
     mode: request.mode,
+    implementation_mode: request.implementation_mode,
+    require_diff: request.require_diff,
+    allow_code_changes: request.allow_code_changes,
     build_command: request.build_command,
     build_output: request.build_output,
     server_image: request.server_image,