@riddledc/riddle-proof 0.8.2 → 0.8.4

package/dist/{chunk-TNCDVE5O.js → chunk-YZUVEJ5B.js}

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

package/dist/cli/index.js

@@ -1,11 +1,11 @@
-import "../chunk-OIFHYMHP.js";
+import "../chunk-LZFCIHDT.js";
 import "../chunk-PEWAIEER.js";
 import "../chunk-TWTEUS7R.js";
-import "../chunk-YB5ACBZE.js";
-import "../chunk-TNCDVE5O.js";
-import "../chunk-U4FUFBSH.js";
+import "../chunk-IP64JLLR.js";
+import "../chunk-YZUVEJ5B.js";
+import "../chunk-FMOYUYH2.js";
 import "../chunk-RV6LK7HU.js";
-import "../chunk-SKIAZTQ7.js";
+import "../chunk-4FOHZ7JG.js";
 import "../chunk-JFQXAJH2.js";
 import "../chunk-7F5LNUGR.js";
 import "../chunk-VY4Y5U57.js";

package/dist/cli.cjs

@@ -1927,9 +1927,9 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
     state = readState(config.statePath);
     const continuedStage = params.continue_from_checkpoint ? checkpointContinueStage(state) : null;
     if (params.continue_from_checkpoint && !params.advance_stage && !continuedStage) {
-      const recommended = recommendedAdvanceStage(state);
+      const recommended2 = recommendedAdvanceStage(state);
       return checkpoint(
-        state?.active_checkpoint_stage || recommended || "recon",
+        state?.active_checkpoint_stage || recommended2 || "recon",
         "continue_unavailable",
         "This run call asked to continue from a checkpoint, but the current state has no resumable checkpoint. Inspect status or set advance_stage explicitly.",
         {
@@ -1941,9 +1941,9 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
           details: {
             executed,
             activeCheckpoint: state?.active_checkpoint || null,
-            suggestedAdvanceStage: recommended || null
+            suggestedAdvanceStage: recommended2 || null
           },
-          suggestedAdvanceStage: recommended || null,
+          suggestedAdvanceStage: recommended2 || null,
           executed
         }
       );
@@ -2207,7 +2207,7 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
       }
       const noImplementationMode = !implementationRequired(params, state);
       const authorNextStage = stageAfterAuthor(state, params);
-      const explicitAuthorDebug = params.advance_stage === "author";
+      const explicitAuthorDebug = params.advance_stage === "author" && !params.continue_from_checkpoint;
       recordAttempt("author", "completed", "Author applied the supervising agent's proof packet to recon observations.", {
         autoApproved: authorRes.autoApproved || false,
         checkpoint: explicitAuthorDebug ? "author_review" : "author_auto_continue",
@@ -2256,16 +2256,16 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
       state = readState(config.statePath);
     }
     if (!effectiveAdvanceStage) {
-      const recommended = recommendedAdvanceStage(state);
+      const recommended2 = recommendedAdvanceStage(state);
       const noImplementationMode = !implementationRequired(params, state);
       return checkpoint(
-        recommended || (noImplementationMode ? "verify" : "implement"),
+        recommended2 || (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: noImplementationMode ? ["recon", "author", "verify", "ship"] : ["recon", "author", "implement", "verify", "ship"],
-          recommendedAdvanceStage: recommended,
+          recommendedAdvanceStage: recommended2,
           details: { executed },
           executed
         }
@@ -2821,6 +2821,26 @@ ${implementRes.stderr || ""}`;
         }
       );
     }
+    state = readState(config.statePath);
+    const recommended = recommendedAdvanceStage(state);
+    const fallbackStage = recommended || (implementationRequired(params, state) ? "implement" : "verify");
+    return checkpoint(
+      fallbackStage,
+      "awaiting_stage_advance",
+      "The requested run continuation finished its immediate work but did not resolve to verify or ship. Choose the next workflow stage explicitly.",
+      {
+        nextActions: ["inspect_state", "set_advance_stage", "resume_run"],
+        advanceOptions: implementationRequired(params, state) ? ["recon", "author", "implement", "verify", "ship"] : ["recon", "author", "verify"],
+        recommendedAdvanceStage: fallbackStage,
+        continueWithStage: fallbackStage,
+        blocking: false,
+        details: {
+          executed,
+          requestedAdvanceStage: effectiveAdvanceStage
+        },
+        executed
+      }
+    );
   }
   if (action === "ship") {
     const state = readState(config.statePath);
@@ -3216,7 +3236,7 @@ function responseSchemaForAuthorPacket() {
       summary: { type: "string" },
       payload: {
         type: "object",
-        description: "For decision=author_packet, provide the proof packet itself or {author_packet:{...}} with proof_plan and capture_script."
+        description: "For decision=author_packet, provide the proof packet itself or {author_packet:{...}} with proof_plan, capture_script, and refined_inputs.expected_terminal_path when the proof changes route, query, or hash."
       },
       reasons: { type: "array", items: { type: "string" } },
       continue_with_stage: { type: "string", enum: ["author", "recon"] },
@@ -3523,9 +3543,11 @@ function buildAuthorCheckpointPacket(input) {
       repo: input.request.repo || fullState.repo,
       branch: input.request.branch || fullState.branch,
       verification_mode: input.request.verification_mode || fullState.verification_mode,
+      success_criteria: fullState.success_criteria,
       reference: input.request.reference || fullState.reference,
       server_path: fullState.server_path,
       wait_for_selector: fullState.wait_for_selector,
+      route_expectation: jsonCloneRecord(fullState.route_expectation),
       author_summary: fullState.author_summary,
       author_request: jsonCloneRecord(authorRequest),
       recon_baseline_understanding: jsonCloneRecord(fullState.recon_baseline_understanding),
@@ -4984,7 +5006,7 @@ function checkpointResponseContinuation(state, value) {
     }
     state.proof_contract = proofContractFromAuthorCheckpointResponse(response, packet, payload);
     appendCheckpointResponse(state, response);
-    return { next: { ...base, author_packet_json: jsonParam(payload) } };
+    return { next: { ...base, advance_stage: "author", author_packet_json: jsonParam(payload) } };
   }
   if (packet.kind === "assess_recon" || packet.stage === "recon") {
     const assessment = reconAssessmentPayloadFromCheckpointResponse(response);
@@ -5463,7 +5485,7 @@ async function routeCheckpoint(request, state, result, agent, input) {
       })
     });
     return {
-      next: { ...baseContinuation(result), author_packet_json: jsonParam(packet.payload) }
+      next: { ...baseContinuation(result), advance_stage: "author", author_packet_json: jsonParam(packet.payload) }
     };
   }
   if (checkpoint === "implement_changes_missing" || checkpoint === "implement_required" || checkpoint === "verify_agent_retry" && continueStage === "implement") {

package/dist/cli.js

@@ -1,12 +1,12 @@
 #!/usr/bin/env node
-import "./chunk-OIFHYMHP.js";
+import "./chunk-LZFCIHDT.js";
 import "./chunk-PEWAIEER.js";
 import "./chunk-TWTEUS7R.js";
-import "./chunk-YB5ACBZE.js";
-import "./chunk-TNCDVE5O.js";
-import "./chunk-U4FUFBSH.js";
+import "./chunk-IP64JLLR.js";
+import "./chunk-YZUVEJ5B.js";
+import "./chunk-FMOYUYH2.js";
 import "./chunk-RV6LK7HU.js";
-import "./chunk-SKIAZTQ7.js";
+import "./chunk-4FOHZ7JG.js";
 import "./chunk-JFQXAJH2.js";
 import "./chunk-7F5LNUGR.js";
 import "./chunk-VY4Y5U57.js";

package/dist/engine-harness.cjs

@@ -1927,9 +1927,9 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
     state = readState(config.statePath);
     const continuedStage = params.continue_from_checkpoint ? checkpointContinueStage(state) : null;
     if (params.continue_from_checkpoint && !params.advance_stage && !continuedStage) {
-      const recommended = recommendedAdvanceStage(state);
+      const recommended2 = recommendedAdvanceStage(state);
       return checkpoint(
-        state?.active_checkpoint_stage || recommended || "recon",
+        state?.active_checkpoint_stage || recommended2 || "recon",
         "continue_unavailable",
         "This run call asked to continue from a checkpoint, but the current state has no resumable checkpoint. Inspect status or set advance_stage explicitly.",
         {
@@ -1941,9 +1941,9 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
           details: {
             executed,
             activeCheckpoint: state?.active_checkpoint || null,
-            suggestedAdvanceStage: recommended || null
+            suggestedAdvanceStage: recommended2 || null
           },
-          suggestedAdvanceStage: recommended || null,
+          suggestedAdvanceStage: recommended2 || null,
           executed
         }
       );
@@ -2207,7 +2207,7 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
       }
       const noImplementationMode = !implementationRequired(params, state);
       const authorNextStage = stageAfterAuthor(state, params);
-      const explicitAuthorDebug = params.advance_stage === "author";
+      const explicitAuthorDebug = params.advance_stage === "author" && !params.continue_from_checkpoint;
       recordAttempt("author", "completed", "Author applied the supervising agent's proof packet to recon observations.", {
         autoApproved: authorRes.autoApproved || false,
         checkpoint: explicitAuthorDebug ? "author_review" : "author_auto_continue",
@@ -2256,16 +2256,16 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
       state = readState(config.statePath);
     }
     if (!effectiveAdvanceStage) {
-      const recommended = recommendedAdvanceStage(state);
+      const recommended2 = recommendedAdvanceStage(state);
       const noImplementationMode = !implementationRequired(params, state);
       return checkpoint(
-        recommended || (noImplementationMode ? "verify" : "implement"),
+        recommended2 || (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: noImplementationMode ? ["recon", "author", "verify", "ship"] : ["recon", "author", "implement", "verify", "ship"],
-          recommendedAdvanceStage: recommended,
+          recommendedAdvanceStage: recommended2,
           details: { executed },
           executed
         }
@@ -2821,6 +2821,26 @@ ${implementRes.stderr || ""}`;
         }
       );
     }
+    state = readState(config.statePath);
+    const recommended = recommendedAdvanceStage(state);
+    const fallbackStage = recommended || (implementationRequired(params, state) ? "implement" : "verify");
+    return checkpoint(
+      fallbackStage,
+      "awaiting_stage_advance",
+      "The requested run continuation finished its immediate work but did not resolve to verify or ship. Choose the next workflow stage explicitly.",
+      {
+        nextActions: ["inspect_state", "set_advance_stage", "resume_run"],
+        advanceOptions: implementationRequired(params, state) ? ["recon", "author", "implement", "verify", "ship"] : ["recon", "author", "verify"],
+        recommendedAdvanceStage: fallbackStage,
+        continueWithStage: fallbackStage,
+        blocking: false,
+        details: {
+          executed,
+          requestedAdvanceStage: effectiveAdvanceStage
+        },
+        executed
+      }
+    );
   }
   if (action === "ship") {
     const state = readState(config.statePath);
@@ -3219,7 +3239,7 @@ function responseSchemaForAuthorPacket() {
       summary: { type: "string" },
       payload: {
         type: "object",
-        description: "For decision=author_packet, provide the proof packet itself or {author_packet:{...}} with proof_plan and capture_script."
+        description: "For decision=author_packet, provide the proof packet itself or {author_packet:{...}} with proof_plan, capture_script, and refined_inputs.expected_terminal_path when the proof changes route, query, or hash."
       },
       reasons: { type: "array", items: { type: "string" } },
       continue_with_stage: { type: "string", enum: ["author", "recon"] },
@@ -3526,9 +3546,11 @@ function buildAuthorCheckpointPacket(input) {
       repo: input.request.repo || fullState.repo,
       branch: input.request.branch || fullState.branch,
       verification_mode: input.request.verification_mode || fullState.verification_mode,
+      success_criteria: fullState.success_criteria,
       reference: input.request.reference || fullState.reference,
       server_path: fullState.server_path,
       wait_for_selector: fullState.wait_for_selector,
+      route_expectation: jsonCloneRecord(fullState.route_expectation),
       author_summary: fullState.author_summary,
       author_request: jsonCloneRecord(authorRequest),
       recon_baseline_understanding: jsonCloneRecord(fullState.recon_baseline_understanding),
@@ -4913,7 +4935,7 @@ function checkpointResponseContinuation(state, value) {
     }
     state.proof_contract = proofContractFromAuthorCheckpointResponse(response, packet, payload);
     appendCheckpointResponse(state, response);
-    return { next: { ...base, author_packet_json: jsonParam(payload) } };
+    return { next: { ...base, advance_stage: "author", author_packet_json: jsonParam(payload) } };
   }
   if (packet.kind === "assess_recon" || packet.stage === "recon") {
     const assessment = reconAssessmentPayloadFromCheckpointResponse(response);
@@ -5392,7 +5414,7 @@ async function routeCheckpoint(request, state, result, agent, input) {
       })
     });
     return {
-      next: { ...baseContinuation(result), author_packet_json: jsonParam(packet.payload) }
+      next: { ...baseContinuation(result), advance_stage: "author", author_packet_json: jsonParam(packet.payload) }
     };
   }
   if (checkpoint === "implement_changes_missing" || checkpoint === "implement_required" || checkpoint === "verify_agent_retry" && continueStage === "implement") {

package/dist/engine-harness.js

@@ -2,11 +2,11 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-YB5ACBZE.js";
-import "./chunk-TNCDVE5O.js";
-import "./chunk-U4FUFBSH.js";
+} from "./chunk-IP64JLLR.js";
+import "./chunk-YZUVEJ5B.js";
+import "./chunk-FMOYUYH2.js";
 import "./chunk-RV6LK7HU.js";
-import "./chunk-SKIAZTQ7.js";
+import "./chunk-4FOHZ7JG.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/index.cjs

@@ -1927,9 +1927,9 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
     state = readState(config.statePath);
     const continuedStage = params.continue_from_checkpoint ? checkpointContinueStage(state) : null;
     if (params.continue_from_checkpoint && !params.advance_stage && !continuedStage) {
-      const recommended = recommendedAdvanceStage(state);
+      const recommended2 = recommendedAdvanceStage(state);
       return checkpoint(
-        state?.active_checkpoint_stage || recommended || "recon",
+        state?.active_checkpoint_stage || recommended2 || "recon",
         "continue_unavailable",
         "This run call asked to continue from a checkpoint, but the current state has no resumable checkpoint. Inspect status or set advance_stage explicitly.",
         {
@@ -1941,9 +1941,9 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
           details: {
             executed,
             activeCheckpoint: state?.active_checkpoint || null,
-            suggestedAdvanceStage: recommended || null
+            suggestedAdvanceStage: recommended2 || null
           },
-          suggestedAdvanceStage: recommended || null,
+          suggestedAdvanceStage: recommended2 || null,
           executed
         }
       );
@@ -2207,7 +2207,7 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
       }
       const noImplementationMode = !implementationRequired(params, state);
       const authorNextStage = stageAfterAuthor(state, params);
-      const explicitAuthorDebug = params.advance_stage === "author";
+      const explicitAuthorDebug = params.advance_stage === "author" && !params.continue_from_checkpoint;
       recordAttempt("author", "completed", "Author applied the supervising agent's proof packet to recon observations.", {
         autoApproved: authorRes.autoApproved || false,
         checkpoint: explicitAuthorDebug ? "author_review" : "author_auto_continue",
@@ -2256,16 +2256,16 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
       state = readState(config.statePath);
     }
     if (!effectiveAdvanceStage) {
-      const recommended = recommendedAdvanceStage(state);
+      const recommended2 = recommendedAdvanceStage(state);
       const noImplementationMode = !implementationRequired(params, state);
       return checkpoint(
-        recommended || (noImplementationMode ? "verify" : "implement"),
+        recommended2 || (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: noImplementationMode ? ["recon", "author", "verify", "ship"] : ["recon", "author", "implement", "verify", "ship"],
-          recommendedAdvanceStage: recommended,
+          recommendedAdvanceStage: recommended2,
           details: { executed },
           executed
         }
@@ -2821,6 +2821,26 @@ ${implementRes.stderr || ""}`;
         }
       );
     }
+    state = readState(config.statePath);
+    const recommended = recommendedAdvanceStage(state);
+    const fallbackStage = recommended || (implementationRequired(params, state) ? "implement" : "verify");
+    return checkpoint(
+      fallbackStage,
+      "awaiting_stage_advance",
+      "The requested run continuation finished its immediate work but did not resolve to verify or ship. Choose the next workflow stage explicitly.",
+      {
+        nextActions: ["inspect_state", "set_advance_stage", "resume_run"],
+        advanceOptions: implementationRequired(params, state) ? ["recon", "author", "implement", "verify", "ship"] : ["recon", "author", "verify"],
+        recommendedAdvanceStage: fallbackStage,
+        continueWithStage: fallbackStage,
+        blocking: false,
+        details: {
+          executed,
+          requestedAdvanceStage: effectiveAdvanceStage
+        },
+        executed
+      }
+    );
   }
   if (action === "ship") {
     const state = readState(config.statePath);
@@ -3333,7 +3353,7 @@ function responseSchemaForAuthorPacket() {
       summary: { type: "string" },
       payload: {
         type: "object",
-        description: "For decision=author_packet, provide the proof packet itself or {author_packet:{...}} with proof_plan and capture_script."
+        description: "For decision=author_packet, provide the proof packet itself or {author_packet:{...}} with proof_plan, capture_script, and refined_inputs.expected_terminal_path when the proof changes route, query, or hash."
       },
       reasons: { type: "array", items: { type: "string" } },
       continue_with_stage: { type: "string", enum: ["author", "recon"] },
@@ -3640,9 +3660,11 @@ function buildAuthorCheckpointPacket(input) {
       repo: input.request.repo || fullState.repo,
       branch: input.request.branch || fullState.branch,
       verification_mode: input.request.verification_mode || fullState.verification_mode,
+      success_criteria: fullState.success_criteria,
       reference: input.request.reference || fullState.reference,
       server_path: fullState.server_path,
       wait_for_selector: fullState.wait_for_selector,
+      route_expectation: jsonCloneRecord(fullState.route_expectation),
       author_summary: fullState.author_summary,
       author_request: jsonCloneRecord(authorRequest),
       recon_baseline_understanding: jsonCloneRecord(fullState.recon_baseline_understanding),
@@ -5647,7 +5669,7 @@ function checkpointResponseContinuation(state, value) {
     }
     state.proof_contract = proofContractFromAuthorCheckpointResponse(response, packet, payload);
     appendCheckpointResponse(state, response);
-    return { next: { ...base, author_packet_json: jsonParam(payload) } };
+    return { next: { ...base, advance_stage: "author", author_packet_json: jsonParam(payload) } };
   }
   if (packet.kind === "assess_recon" || packet.stage === "recon") {
     const assessment = reconAssessmentPayloadFromCheckpointResponse(response);
@@ -6126,7 +6148,7 @@ async function routeCheckpoint(request, state, result, agent, input) {
       })
     });
     return {
-      next: { ...baseContinuation(result), author_packet_json: jsonParam(packet.payload) }
+      next: { ...baseContinuation(result), advance_stage: "author", author_packet_json: jsonParam(packet.payload) }
     };
   }
   if (checkpoint === "implement_changes_missing" || checkpoint === "implement_required" || checkpoint === "verify_agent_retry" && continueStage === "implement") {

package/dist/index.js

@@ -1,6 +1,6 @@
 import {
   runRiddleProof
-} from "./chunk-ZX45XGDJ.js";
+} from "./chunk-UIJ7X63P.js";
 import "./chunk-6F4PWJZI.js";
 import {
   RIDDLE_PROOF_PLAYABILITY_ASSESSMENT_VERSION,
@@ -95,7 +95,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-YB5ACBZE.js";
+} from "./chunk-IP64JLLR.js";
 import {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
@@ -107,11 +107,11 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "./chunk-TNCDVE5O.js";
+} from "./chunk-YZUVEJ5B.js";
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "./chunk-U4FUFBSH.js";
+} from "./chunk-FMOYUYH2.js";
 import "./chunk-RV6LK7HU.js";
 import {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
@@ -128,7 +128,7 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "./chunk-SKIAZTQ7.js";
+} from "./chunk-4FOHZ7JG.js";
 import "./chunk-JFQXAJH2.js";
 import {
   createCodexExecAgentAdapter,

package/dist/openclaw.js

@@ -3,10 +3,10 @@ import {
   parseOpenClawAssertions,
   parseOpenClawJsonObjectOrArray,
   toRiddleProofRunParams
-} from "./chunk-SMBZT46I.js";
-import "./chunk-TNCDVE5O.js";
-import "./chunk-U4FUFBSH.js";
-import "./chunk-SKIAZTQ7.js";
+} from "./chunk-RBWSCU6V.js";
+import "./chunk-YZUVEJ5B.js";
+import "./chunk-FMOYUYH2.js";
+import "./chunk-4FOHZ7JG.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/{proof-run-engine-CVnboNHj.d.cts → proof-run-engine-B7DCPzpK.d.cts}

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

package/dist/{proof-run-engine-BVkeO-Yo.d.ts → proof-run-engine-BomAcXhA.d.ts}

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

package/dist/proof-run-engine.cjs

@@ -1925,9 +1925,9 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
     state = readState(config.statePath);
     const continuedStage = params.continue_from_checkpoint ? checkpointContinueStage(state) : null;
     if (params.continue_from_checkpoint && !params.advance_stage && !continuedStage) {
-      const recommended = recommendedAdvanceStage(state);
+      const recommended2 = recommendedAdvanceStage(state);
       return checkpoint(
-        state?.active_checkpoint_stage || recommended || "recon",
+        state?.active_checkpoint_stage || recommended2 || "recon",
         "continue_unavailable",
         "This run call asked to continue from a checkpoint, but the current state has no resumable checkpoint. Inspect status or set advance_stage explicitly.",
         {
@@ -1939,9 +1939,9 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
           details: {
             executed,
             activeCheckpoint: state?.active_checkpoint || null,
-            suggestedAdvanceStage: recommended || null
+            suggestedAdvanceStage: recommended2 || null
           },
-          suggestedAdvanceStage: recommended || null,
+          suggestedAdvanceStage: recommended2 || null,
           executed
         }
       );
@@ -2205,7 +2205,7 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
       }
       const noImplementationMode = !implementationRequired(params, state);
       const authorNextStage = stageAfterAuthor(state, params);
-      const explicitAuthorDebug = params.advance_stage === "author";
+      const explicitAuthorDebug = params.advance_stage === "author" && !params.continue_from_checkpoint;
       recordAttempt("author", "completed", "Author applied the supervising agent's proof packet to recon observations.", {
         autoApproved: authorRes.autoApproved || false,
         checkpoint: explicitAuthorDebug ? "author_review" : "author_auto_continue",
@@ -2254,16 +2254,16 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
       state = readState(config.statePath);
     }
     if (!effectiveAdvanceStage) {
-      const recommended = recommendedAdvanceStage(state);
+      const recommended2 = recommendedAdvanceStage(state);
       const noImplementationMode = !implementationRequired(params, state);
       return checkpoint(
-        recommended || (noImplementationMode ? "verify" : "implement"),
+        recommended2 || (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: noImplementationMode ? ["recon", "author", "verify", "ship"] : ["recon", "author", "implement", "verify", "ship"],
-          recommendedAdvanceStage: recommended,
+          recommendedAdvanceStage: recommended2,
           details: { executed },
           executed
         }
@@ -2819,6 +2819,26 @@ ${implementRes.stderr || ""}`;
         }
       );
     }
+    state = readState(config.statePath);
+    const recommended = recommendedAdvanceStage(state);
+    const fallbackStage = recommended || (implementationRequired(params, state) ? "implement" : "verify");
+    return checkpoint(
+      fallbackStage,
+      "awaiting_stage_advance",
+      "The requested run continuation finished its immediate work but did not resolve to verify or ship. Choose the next workflow stage explicitly.",
+      {
+        nextActions: ["inspect_state", "set_advance_stage", "resume_run"],
+        advanceOptions: implementationRequired(params, state) ? ["recon", "author", "implement", "verify", "ship"] : ["recon", "author", "verify"],
+        recommendedAdvanceStage: fallbackStage,
+        continueWithStage: fallbackStage,
+        blocking: false,
+        details: {
+          executed,
+          requestedAdvanceStage: effectiveAdvanceStage
+        },
+        executed
+      }
+    );
   }
   if (action === "ship") {
     const state = readState(config.statePath);

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

@@ -1,2 +1,2 @@
 import './proof-run-core-CE0jx7wL.cjs';
-export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-CVnboNHj.cjs';
+export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-B7DCPzpK.cjs';

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

@@ -1,2 +1,2 @@
 import './proof-run-core-CE0jx7wL.js';
-export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-BVkeO-Yo.js';
+export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-BomAcXhA.js';

package/dist/proof-run-engine.js

@@ -1,7 +1,7 @@
 import {
   createRiddleProofEngine,
   executeWorkflow
-} from "./chunk-TZ3YMCDM.js";
+} from "./chunk-P22V26PS.js";
 import "./chunk-RV6LK7HU.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/run-card.js

@@ -1,8 +1,8 @@
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "./chunk-U4FUFBSH.js";
-import "./chunk-SKIAZTQ7.js";
+} from "./chunk-FMOYUYH2.js";
+import "./chunk-4FOHZ7JG.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {