@riddledc/riddle-proof 0.8.28 → 0.8.30

package/dist/cli.cjs

@@ -2684,6 +2684,60 @@ ${implementRes.stderr || ""}`;
         verifyRes = runOne("verify");
         executed.push(executedStep(verifyRes));
         if (!verifyRes.ok || verifyRes.haltedForApproval) {
+          const failedVerifyState = readState(config.statePath);
+          const failedVerifyStatus = failedVerifyState?.verify_status || "";
+          if (!verifyRes.haltedForApproval && (failedVerifyStatus === "capture_incomplete" || failedVerifyStatus === "capture_error")) {
+            const verifyDecisionRequest2 = failedVerifyState?.verify_decision_request || null;
+            const captureQuality = verifyDecisionRequest2?.capture_quality || {};
+            const conclusiveVerifyBlockers2 = proofAssessmentHardBlockersForState({
+              ...failedVerifyState,
+              structured_interaction_capture_failure_summary: stringValue(verifyDecisionRequest2?.structured_interaction_capture_failure_summary) || stringValue(failedVerifyState?.structured_interaction_capture_failure_summary) || void 0,
+              structured_interaction_failure_summary: stringValue(verifyDecisionRequest2?.structured_interaction_failure_summary) || stringValue(failedVerifyState?.structured_interaction_failure_summary) || void 0
+            });
+            const structuredInteractionFailureSummary2 = stringValue(verifyDecisionRequest2?.structured_interaction_capture_failure_summary) || stringValue(verifyDecisionRequest2?.structured_interaction_failure_summary) || stringValue(failedVerifyState?.structured_interaction_capture_failure_summary) || stringValue(failedVerifyState?.structured_interaction_failure_summary) || stringValue(conclusiveVerifyBlockers2[0]);
+            const captureTerminalBlocker = failedVerifyStatus === "capture_error" || conclusiveVerifyBlockers2.length > 0 || Boolean(structuredInteractionFailureSummary2) || captureQuality?.terminal_blocker === true || captureQuality?.blocking === true;
+            const terminalCaptureQualitySummary = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true ? stringValue(captureQuality?.summary) : "";
+            const checkpointName = captureTerminalBlocker ? "verify_capture_blocked" : "verify_capture_retry";
+            const summary = terminalCaptureQualitySummary || structuredInteractionFailureSummary2 || stringValue(verifyDecisionRequest2?.summary) || stringValue(failedVerifyState?.verify_summary) || stringValue(failedVerifyState?.proof_summary) || stringValue(verifyRes.error) || "Verify capture failed before the evidence could be judged.";
+            const failedVerifyDetails = {
+              executed,
+              verifyStatus: failedVerifyStatus,
+              verifySummary: failedVerifyState?.verify_summary || failedVerifyState?.proof_summary || null,
+              afterCdn: failedVerifyState?.after_cdn || null,
+              mergeRecommendation: failedVerifyState?.merge_recommendation || null,
+              verifyDecisionRequest: verifyDecisionRequest2,
+              conclusiveVerifyBlockers: conclusiveVerifyBlockers2,
+              verifyError: verifyRes.error || null,
+              verifyStdout: verifyRes.stdout || "",
+              verifyStderr: verifyRes.stderr || ""
+            };
+            recordAttempt("verify", "checkpoint", summary, {
+              autoApproved: verifyRes.autoApproved || false,
+              checkpoint: checkpointName,
+              error: verifyRes.error || null,
+              details: failedVerifyDetails
+            });
+            return checkpoint(
+              "verify",
+              checkpointName,
+              summary,
+              {
+                ok: true,
+                nextActions: captureTerminalBlocker ? ["inspect_after_capture", "report_specific_browser_evidence_blocker", "start_a_new_run_after_the_product_or_script_is_fixed"] : ["inspect_after_capture", "continue_internal_loop_with_checkpoint", "return_to_recon_if_baseline_is_wrong"],
+                advanceOptions: needsImplementation ? ["author", "implement", "ship", "verify", "recon"] : ["author", "verify", "recon"],
+                recommendedAdvanceStage: captureTerminalBlocker ? null : verifyDecisionRequest2?.recommended_stage || verifyDecisionRequest2?.continue_with_stage || "author",
+                continueWithStage: captureTerminalBlocker ? null : verifyDecisionRequest2?.continue_with_stage || verifyDecisionRequest2?.recommended_stage || "author",
+                blocking: captureTerminalBlocker,
+                details: failedVerifyDetails,
+                verifyStatus: failedVerifyStatus,
+                verifySummary: failedVerifyDetails.verifySummary,
+                afterCdn: failedVerifyState?.after_cdn || null,
+                mergeRecommendation: failedVerifyState?.merge_recommendation || null,
+                verifyDecisionRequest: verifyDecisionRequest2,
+                executed
+              }
+            );
+          }
           return failedRun("verify", verifyRes.haltedForApproval ? "verify halted for approval" : "verify failed", verifyRes, {
             checkpoint: "verify_failed",
             details: { executed },
@@ -2737,8 +2791,9 @@ ${implementRes.stderr || ""}`;
           });
           state = readState(config.statePath);
         }
+        const terminalCaptureQualitySummary = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true ? stringValue(captureQuality?.summary) : "";
         const checkpointName = captureTerminalBlocker ? "verify_capture_blocked" : "verify_capture_retry";
-        const summary = structuredInteractionFailureSummary || stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
+        const summary = terminalCaptureQualitySummary || structuredInteractionFailureSummary || stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
         recordAttempt("verify", "checkpoint", summary, {
           autoApproved: verifyRes.autoApproved || false,
           checkpoint: checkpointName,
@@ -6238,7 +6293,7 @@ var DEFAULT_PROOF_PACKET_AUTHOR_TIMEOUT_MS = 18e4;
 var REFINED_INPUTS_SCHEMA = {
   type: "object",
   additionalProperties: false,
-  required: ["server_path", "wait_for_selector", "reference"],
+  required: ["server_path", "wait_for_selector", "reference", "expected_start_path", "expected_terminal_path"],
   properties: {
     server_path: { type: ["string", "null"] },
     wait_for_selector: { type: ["string", "null"] },
@@ -6248,8 +6303,9 @@ var REFINED_INPUTS_SCHEMA = {
   }
 };
 var INTERACTION_CONTRACT_SCHEMA = {
-  type: "object",
-  additionalProperties: true,
+  type: ["object", "null"],
+  additionalProperties: false,
+  required: ["start_path", "expected_terminal_path", "expected_url", "action", "assertions"],
   properties: {
     start_path: { type: ["string", "null"] },
     expected_terminal_path: { type: ["string", "null"] },
@@ -6316,6 +6372,8 @@ var AUTHOR_SCHEMA = {
     "capture_script",
     "baseline_understanding_used",
     "refined_inputs",
+    "expected_terminal_path",
+    "interaction_contract",
     "rationale",
     "confidence",
     "summary"
@@ -6935,8 +6993,8 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "Choose the evidence modality from verification_mode and success_criteria: screenshots for visual/UI proof, interactions plus screenshots for interaction proof, structured metrics/logs/JSON/audio analysis for non-visual proof.",
           "For playable/gameplay proof, treat screenshots as supporting artifacts only: start the game, send keyboard or pointer input, measure state before/after, measure non-HUD canvas/playfield pixel deltas across time, and return playability evidence with version riddle-proof.playability.v1.",
           "For interaction proof, author the browser action explicitly in capture_script; a wait-only script is invalid. Return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text.",
-          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
-          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash.",
+          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, expected_url when known, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
+          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash. For non-interaction proof, set expected_terminal_path and interaction_contract to null.",
           "Catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.",
           "For structured proof, collect meaningful measurements inside page.evaluate, assign them to an evidence variable, and return that object from capture_script. Screenshots are optional supporting context for data/audio/log/metric/custom modes.",
           "Do not assign globalThis.__riddleProofEvidence, window.__riddleProofEvidence, or self.__riddleProofEvidence in the worker context. Avoid global evidence assignment unless it is inside page.evaluate for compatibility with older packets.",

package/dist/cli.js

@@ -1,13 +1,13 @@
 #!/usr/bin/env node
-import "./chunk-27BG64ZG.js";
+import "./chunk-XJA2GDVN.js";
 import "./chunk-PEWAIEER.js";
 import "./chunk-TWTEUS7R.js";
-import "./chunk-AM3K5FPW.js";
+import "./chunk-UWO4YR7I.js";
 import "./chunk-ZQWVXQKJ.js";
 import "./chunk-RDPG554T.js";
 import "./chunk-K6HZUSHH.js";
 import "./chunk-OILKSY5J.js";
 import "./chunk-JFQXAJH2.js";
-import "./chunk-4PPJKW3Z.js";
+import "./chunk-73EBR3YL.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";

package/dist/codex-exec-agent.cjs

@@ -51,7 +51,7 @@ var DEFAULT_PROOF_PACKET_AUTHOR_TIMEOUT_MS = 18e4;
 var REFINED_INPUTS_SCHEMA = {
   type: "object",
   additionalProperties: false,
-  required: ["server_path", "wait_for_selector", "reference"],
+  required: ["server_path", "wait_for_selector", "reference", "expected_start_path", "expected_terminal_path"],
   properties: {
     server_path: { type: ["string", "null"] },
     wait_for_selector: { type: ["string", "null"] },
@@ -61,8 +61,9 @@ var REFINED_INPUTS_SCHEMA = {
   }
 };
 var INTERACTION_CONTRACT_SCHEMA = {
-  type: "object",
-  additionalProperties: true,
+  type: ["object", "null"],
+  additionalProperties: false,
+  required: ["start_path", "expected_terminal_path", "expected_url", "action", "assertions"],
   properties: {
     start_path: { type: ["string", "null"] },
     expected_terminal_path: { type: ["string", "null"] },
@@ -129,6 +130,8 @@ var AUTHOR_SCHEMA = {
     "capture_script",
     "baseline_understanding_used",
     "refined_inputs",
+    "expected_terminal_path",
+    "interaction_contract",
     "rationale",
     "confidence",
     "summary"
@@ -748,8 +751,8 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "Choose the evidence modality from verification_mode and success_criteria: screenshots for visual/UI proof, interactions plus screenshots for interaction proof, structured metrics/logs/JSON/audio analysis for non-visual proof.",
           "For playable/gameplay proof, treat screenshots as supporting artifacts only: start the game, send keyboard or pointer input, measure state before/after, measure non-HUD canvas/playfield pixel deltas across time, and return playability evidence with version riddle-proof.playability.v1.",
           "For interaction proof, author the browser action explicitly in capture_script; a wait-only script is invalid. Return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text.",
-          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
-          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash.",
+          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, expected_url when known, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
+          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash. For non-interaction proof, set expected_terminal_path and interaction_contract to null.",
           "Catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.",
           "For structured proof, collect meaningful measurements inside page.evaluate, assign them to an evidence variable, and return that object from capture_script. Screenshots are optional supporting context for data/audio/log/metric/custom modes.",
           "Do not assign globalThis.__riddleProofEvidence, window.__riddleProofEvidence, or self.__riddleProofEvidence in the worker context. Avoid global evidence assignment unless it is inside page.evaluate for compatibility with older packets.",

package/dist/codex-exec-agent.js

@@ -2,7 +2,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "./chunk-4PPJKW3Z.js";
+} from "./chunk-73EBR3YL.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/engine-harness.cjs

@@ -2684,6 +2684,60 @@ ${implementRes.stderr || ""}`;
         verifyRes = runOne("verify");
         executed.push(executedStep(verifyRes));
         if (!verifyRes.ok || verifyRes.haltedForApproval) {
+          const failedVerifyState = readState(config.statePath);
+          const failedVerifyStatus = failedVerifyState?.verify_status || "";
+          if (!verifyRes.haltedForApproval && (failedVerifyStatus === "capture_incomplete" || failedVerifyStatus === "capture_error")) {
+            const verifyDecisionRequest2 = failedVerifyState?.verify_decision_request || null;
+            const captureQuality = verifyDecisionRequest2?.capture_quality || {};
+            const conclusiveVerifyBlockers2 = proofAssessmentHardBlockersForState({
+              ...failedVerifyState,
+              structured_interaction_capture_failure_summary: stringValue(verifyDecisionRequest2?.structured_interaction_capture_failure_summary) || stringValue(failedVerifyState?.structured_interaction_capture_failure_summary) || void 0,
+              structured_interaction_failure_summary: stringValue(verifyDecisionRequest2?.structured_interaction_failure_summary) || stringValue(failedVerifyState?.structured_interaction_failure_summary) || void 0
+            });
+            const structuredInteractionFailureSummary2 = stringValue(verifyDecisionRequest2?.structured_interaction_capture_failure_summary) || stringValue(verifyDecisionRequest2?.structured_interaction_failure_summary) || stringValue(failedVerifyState?.structured_interaction_capture_failure_summary) || stringValue(failedVerifyState?.structured_interaction_failure_summary) || stringValue(conclusiveVerifyBlockers2[0]);
+            const captureTerminalBlocker = failedVerifyStatus === "capture_error" || conclusiveVerifyBlockers2.length > 0 || Boolean(structuredInteractionFailureSummary2) || captureQuality?.terminal_blocker === true || captureQuality?.blocking === true;
+            const terminalCaptureQualitySummary = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true ? stringValue(captureQuality?.summary) : "";
+            const checkpointName = captureTerminalBlocker ? "verify_capture_blocked" : "verify_capture_retry";
+            const summary = terminalCaptureQualitySummary || structuredInteractionFailureSummary2 || stringValue(verifyDecisionRequest2?.summary) || stringValue(failedVerifyState?.verify_summary) || stringValue(failedVerifyState?.proof_summary) || stringValue(verifyRes.error) || "Verify capture failed before the evidence could be judged.";
+            const failedVerifyDetails = {
+              executed,
+              verifyStatus: failedVerifyStatus,
+              verifySummary: failedVerifyState?.verify_summary || failedVerifyState?.proof_summary || null,
+              afterCdn: failedVerifyState?.after_cdn || null,
+              mergeRecommendation: failedVerifyState?.merge_recommendation || null,
+              verifyDecisionRequest: verifyDecisionRequest2,
+              conclusiveVerifyBlockers: conclusiveVerifyBlockers2,
+              verifyError: verifyRes.error || null,
+              verifyStdout: verifyRes.stdout || "",
+              verifyStderr: verifyRes.stderr || ""
+            };
+            recordAttempt("verify", "checkpoint", summary, {
+              autoApproved: verifyRes.autoApproved || false,
+              checkpoint: checkpointName,
+              error: verifyRes.error || null,
+              details: failedVerifyDetails
+            });
+            return checkpoint(
+              "verify",
+              checkpointName,
+              summary,
+              {
+                ok: true,
+                nextActions: captureTerminalBlocker ? ["inspect_after_capture", "report_specific_browser_evidence_blocker", "start_a_new_run_after_the_product_or_script_is_fixed"] : ["inspect_after_capture", "continue_internal_loop_with_checkpoint", "return_to_recon_if_baseline_is_wrong"],
+                advanceOptions: needsImplementation ? ["author", "implement", "ship", "verify", "recon"] : ["author", "verify", "recon"],
+                recommendedAdvanceStage: captureTerminalBlocker ? null : verifyDecisionRequest2?.recommended_stage || verifyDecisionRequest2?.continue_with_stage || "author",
+                continueWithStage: captureTerminalBlocker ? null : verifyDecisionRequest2?.continue_with_stage || verifyDecisionRequest2?.recommended_stage || "author",
+                blocking: captureTerminalBlocker,
+                details: failedVerifyDetails,
+                verifyStatus: failedVerifyStatus,
+                verifySummary: failedVerifyDetails.verifySummary,
+                afterCdn: failedVerifyState?.after_cdn || null,
+                mergeRecommendation: failedVerifyState?.merge_recommendation || null,
+                verifyDecisionRequest: verifyDecisionRequest2,
+                executed
+              }
+            );
+          }
           return failedRun("verify", verifyRes.haltedForApproval ? "verify halted for approval" : "verify failed", verifyRes, {
             checkpoint: "verify_failed",
             details: { executed },
@@ -2737,8 +2791,9 @@ ${implementRes.stderr || ""}`;
           });
           state = readState(config.statePath);
         }
+        const terminalCaptureQualitySummary = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true ? stringValue(captureQuality?.summary) : "";
         const checkpointName = captureTerminalBlocker ? "verify_capture_blocked" : "verify_capture_retry";
-        const summary = structuredInteractionFailureSummary || stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
+        const summary = terminalCaptureQualitySummary || structuredInteractionFailureSummary || stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
         recordAttempt("verify", "checkpoint", summary, {
           autoApproved: verifyRes.autoApproved || false,
           checkpoint: checkpointName,

package/dist/engine-harness.js

@@ -2,7 +2,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-AM3K5FPW.js";
+} from "./chunk-UWO4YR7I.js";
 import "./chunk-ZQWVXQKJ.js";
 import "./chunk-RDPG554T.js";
 import "./chunk-K6HZUSHH.js";

package/dist/index.cjs

@@ -2684,6 +2684,60 @@ ${implementRes.stderr || ""}`;
         verifyRes = runOne("verify");
         executed.push(executedStep(verifyRes));
         if (!verifyRes.ok || verifyRes.haltedForApproval) {
+          const failedVerifyState = readState(config.statePath);
+          const failedVerifyStatus = failedVerifyState?.verify_status || "";
+          if (!verifyRes.haltedForApproval && (failedVerifyStatus === "capture_incomplete" || failedVerifyStatus === "capture_error")) {
+            const verifyDecisionRequest2 = failedVerifyState?.verify_decision_request || null;
+            const captureQuality = verifyDecisionRequest2?.capture_quality || {};
+            const conclusiveVerifyBlockers2 = proofAssessmentHardBlockersForState({
+              ...failedVerifyState,
+              structured_interaction_capture_failure_summary: stringValue(verifyDecisionRequest2?.structured_interaction_capture_failure_summary) || stringValue(failedVerifyState?.structured_interaction_capture_failure_summary) || void 0,
+              structured_interaction_failure_summary: stringValue(verifyDecisionRequest2?.structured_interaction_failure_summary) || stringValue(failedVerifyState?.structured_interaction_failure_summary) || void 0
+            });
+            const structuredInteractionFailureSummary2 = stringValue(verifyDecisionRequest2?.structured_interaction_capture_failure_summary) || stringValue(verifyDecisionRequest2?.structured_interaction_failure_summary) || stringValue(failedVerifyState?.structured_interaction_capture_failure_summary) || stringValue(failedVerifyState?.structured_interaction_failure_summary) || stringValue(conclusiveVerifyBlockers2[0]);
+            const captureTerminalBlocker = failedVerifyStatus === "capture_error" || conclusiveVerifyBlockers2.length > 0 || Boolean(structuredInteractionFailureSummary2) || captureQuality?.terminal_blocker === true || captureQuality?.blocking === true;
+            const terminalCaptureQualitySummary = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true ? stringValue(captureQuality?.summary) : "";
+            const checkpointName = captureTerminalBlocker ? "verify_capture_blocked" : "verify_capture_retry";
+            const summary = terminalCaptureQualitySummary || structuredInteractionFailureSummary2 || stringValue(verifyDecisionRequest2?.summary) || stringValue(failedVerifyState?.verify_summary) || stringValue(failedVerifyState?.proof_summary) || stringValue(verifyRes.error) || "Verify capture failed before the evidence could be judged.";
+            const failedVerifyDetails = {
+              executed,
+              verifyStatus: failedVerifyStatus,
+              verifySummary: failedVerifyState?.verify_summary || failedVerifyState?.proof_summary || null,
+              afterCdn: failedVerifyState?.after_cdn || null,
+              mergeRecommendation: failedVerifyState?.merge_recommendation || null,
+              verifyDecisionRequest: verifyDecisionRequest2,
+              conclusiveVerifyBlockers: conclusiveVerifyBlockers2,
+              verifyError: verifyRes.error || null,
+              verifyStdout: verifyRes.stdout || "",
+              verifyStderr: verifyRes.stderr || ""
+            };
+            recordAttempt("verify", "checkpoint", summary, {
+              autoApproved: verifyRes.autoApproved || false,
+              checkpoint: checkpointName,
+              error: verifyRes.error || null,
+              details: failedVerifyDetails
+            });
+            return checkpoint(
+              "verify",
+              checkpointName,
+              summary,
+              {
+                ok: true,
+                nextActions: captureTerminalBlocker ? ["inspect_after_capture", "report_specific_browser_evidence_blocker", "start_a_new_run_after_the_product_or_script_is_fixed"] : ["inspect_after_capture", "continue_internal_loop_with_checkpoint", "return_to_recon_if_baseline_is_wrong"],
+                advanceOptions: needsImplementation ? ["author", "implement", "ship", "verify", "recon"] : ["author", "verify", "recon"],
+                recommendedAdvanceStage: captureTerminalBlocker ? null : verifyDecisionRequest2?.recommended_stage || verifyDecisionRequest2?.continue_with_stage || "author",
+                continueWithStage: captureTerminalBlocker ? null : verifyDecisionRequest2?.continue_with_stage || verifyDecisionRequest2?.recommended_stage || "author",
+                blocking: captureTerminalBlocker,
+                details: failedVerifyDetails,
+                verifyStatus: failedVerifyStatus,
+                verifySummary: failedVerifyDetails.verifySummary,
+                afterCdn: failedVerifyState?.after_cdn || null,
+                mergeRecommendation: failedVerifyState?.merge_recommendation || null,
+                verifyDecisionRequest: verifyDecisionRequest2,
+                executed
+              }
+            );
+          }
           return failedRun("verify", verifyRes.haltedForApproval ? "verify halted for approval" : "verify failed", verifyRes, {
             checkpoint: "verify_failed",
             details: { executed },
@@ -2737,8 +2791,9 @@ ${implementRes.stderr || ""}`;
           });
           state = readState(config.statePath);
         }
+        const terminalCaptureQualitySummary = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true ? stringValue(captureQuality?.summary) : "";
         const checkpointName = captureTerminalBlocker ? "verify_capture_blocked" : "verify_capture_retry";
-        const summary = structuredInteractionFailureSummary || stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
+        const summary = terminalCaptureQualitySummary || structuredInteractionFailureSummary || stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
         recordAttempt("verify", "checkpoint", summary, {
           autoApproved: verifyRes.autoApproved || false,
           checkpoint: checkpointName,
@@ -6900,7 +6955,7 @@ var DEFAULT_PROOF_PACKET_AUTHOR_TIMEOUT_MS = 18e4;
 var REFINED_INPUTS_SCHEMA = {
   type: "object",
   additionalProperties: false,
-  required: ["server_path", "wait_for_selector", "reference"],
+  required: ["server_path", "wait_for_selector", "reference", "expected_start_path", "expected_terminal_path"],
   properties: {
     server_path: { type: ["string", "null"] },
     wait_for_selector: { type: ["string", "null"] },
@@ -6910,8 +6965,9 @@ var REFINED_INPUTS_SCHEMA = {
   }
 };
 var INTERACTION_CONTRACT_SCHEMA = {
-  type: "object",
-  additionalProperties: true,
+  type: ["object", "null"],
+  additionalProperties: false,
+  required: ["start_path", "expected_terminal_path", "expected_url", "action", "assertions"],
   properties: {
     start_path: { type: ["string", "null"] },
     expected_terminal_path: { type: ["string", "null"] },
@@ -6978,6 +7034,8 @@ var AUTHOR_SCHEMA = {
     "capture_script",
     "baseline_understanding_used",
     "refined_inputs",
+    "expected_terminal_path",
+    "interaction_contract",
     "rationale",
     "confidence",
     "summary"
@@ -7597,8 +7655,8 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "Choose the evidence modality from verification_mode and success_criteria: screenshots for visual/UI proof, interactions plus screenshots for interaction proof, structured metrics/logs/JSON/audio analysis for non-visual proof.",
           "For playable/gameplay proof, treat screenshots as supporting artifacts only: start the game, send keyboard or pointer input, measure state before/after, measure non-HUD canvas/playfield pixel deltas across time, and return playability evidence with version riddle-proof.playability.v1.",
           "For interaction proof, author the browser action explicitly in capture_script; a wait-only script is invalid. Return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text.",
-          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
-          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash.",
+          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, expected_url when known, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
+          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash. For non-interaction proof, set expected_terminal_path and interaction_contract to null.",
           "Catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.",
           "For structured proof, collect meaningful measurements inside page.evaluate, assign them to an evidence variable, and return that object from capture_script. Screenshots are optional supporting context for data/audio/log/metric/custom modes.",
           "Do not assign globalThis.__riddleProofEvidence, window.__riddleProofEvidence, or self.__riddleProofEvidence in the worker context. Avoid global evidence assignment unless it is inside page.evaluate for compatibility with older packets.",

package/dist/index.js

@@ -95,7 +95,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-AM3K5FPW.js";
+} from "./chunk-UWO4YR7I.js";
 import {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
@@ -134,7 +134,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "./chunk-4PPJKW3Z.js";
+} from "./chunk-73EBR3YL.js";
 import {
   applyTerminalMetadata,
   compactRecord,

package/dist/local-agent.cjs

@@ -53,7 +53,7 @@ var DEFAULT_PROOF_PACKET_AUTHOR_TIMEOUT_MS = 18e4;
 var REFINED_INPUTS_SCHEMA = {
   type: "object",
   additionalProperties: false,
-  required: ["server_path", "wait_for_selector", "reference"],
+  required: ["server_path", "wait_for_selector", "reference", "expected_start_path", "expected_terminal_path"],
   properties: {
     server_path: { type: ["string", "null"] },
     wait_for_selector: { type: ["string", "null"] },
@@ -63,8 +63,9 @@ var REFINED_INPUTS_SCHEMA = {
   }
 };
 var INTERACTION_CONTRACT_SCHEMA = {
-  type: "object",
-  additionalProperties: true,
+  type: ["object", "null"],
+  additionalProperties: false,
+  required: ["start_path", "expected_terminal_path", "expected_url", "action", "assertions"],
   properties: {
     start_path: { type: ["string", "null"] },
     expected_terminal_path: { type: ["string", "null"] },
@@ -131,6 +132,8 @@ var AUTHOR_SCHEMA = {
     "capture_script",
     "baseline_understanding_used",
     "refined_inputs",
+    "expected_terminal_path",
+    "interaction_contract",
     "rationale",
     "confidence",
     "summary"
@@ -750,8 +753,8 @@ function createCodexExecAgentAdapter(config = {}, runner = createCodexExecJsonRu
           "Choose the evidence modality from verification_mode and success_criteria: screenshots for visual/UI proof, interactions plus screenshots for interaction proof, structured metrics/logs/JSON/audio analysis for non-visual proof.",
           "For playable/gameplay proof, treat screenshots as supporting artifacts only: start the game, send keyboard or pointer input, measure state before/after, measure non-HUD canvas/playfield pixel deltas across time, and return playability evidence with version riddle-proof.playability.v1.",
           "For interaction proof, author the browser action explicitly in capture_script; a wait-only script is invalid. Return a structured evidence object with start route/state, terminal route/state, action, assertions, and matched UI text.",
-          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
-          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash.",
+          "For route-changing interaction proof, set refined_inputs.expected_start_path and refined_inputs.expected_terminal_path, and include interaction_contract with start_path, expected_terminal_path, expected_url when known, action, and assertions. Keep refined_inputs.server_path on the start route; do not replace it with the terminal route.",
+          "If the original request or success_criteria names an expected terminal URL/path, preserve it exactly in refined_inputs.expected_terminal_path and in interaction_contract.expected_terminal_path, including query and hash. For non-interaction proof, set expected_terminal_path and interaction_contract to null.",
           "Catch waitForURL or selector timeouts and record them as failed assertions instead of throwing before evidence is emitted.",
           "For structured proof, collect meaningful measurements inside page.evaluate, assign them to an evidence variable, and return that object from capture_script. Screenshots are optional supporting context for data/audio/log/metric/custom modes.",
           "Do not assign globalThis.__riddleProofEvidence, window.__riddleProofEvidence, or self.__riddleProofEvidence in the worker context. Avoid global evidence assignment unless it is inside page.evaluate for compatibility with older packets.",

package/dist/local-agent.js

@@ -3,7 +3,7 @@ import {
   createCodexExecAgentAdapter,
   createCodexExecJsonRunner,
   runCodexExecAgentDoctor
-} from "./chunk-4PPJKW3Z.js";
+} from "./chunk-73EBR3YL.js";
 import "./chunk-VY4Y5U57.js";
 import "./chunk-MLKGABMK.js";
 export {

package/dist/proof-run-engine.cjs

@@ -2682,6 +2682,60 @@ ${implementRes.stderr || ""}`;
         verifyRes = runOne("verify");
         executed.push(executedStep(verifyRes));
         if (!verifyRes.ok || verifyRes.haltedForApproval) {
+          const failedVerifyState = readState(config.statePath);
+          const failedVerifyStatus = failedVerifyState?.verify_status || "";
+          if (!verifyRes.haltedForApproval && (failedVerifyStatus === "capture_incomplete" || failedVerifyStatus === "capture_error")) {
+            const verifyDecisionRequest2 = failedVerifyState?.verify_decision_request || null;
+            const captureQuality = verifyDecisionRequest2?.capture_quality || {};
+            const conclusiveVerifyBlockers2 = proofAssessmentHardBlockersForState({
+              ...failedVerifyState,
+              structured_interaction_capture_failure_summary: stringValue(verifyDecisionRequest2?.structured_interaction_capture_failure_summary) || stringValue(failedVerifyState?.structured_interaction_capture_failure_summary) || void 0,
+              structured_interaction_failure_summary: stringValue(verifyDecisionRequest2?.structured_interaction_failure_summary) || stringValue(failedVerifyState?.structured_interaction_failure_summary) || void 0
+            });
+            const structuredInteractionFailureSummary2 = stringValue(verifyDecisionRequest2?.structured_interaction_capture_failure_summary) || stringValue(verifyDecisionRequest2?.structured_interaction_failure_summary) || stringValue(failedVerifyState?.structured_interaction_capture_failure_summary) || stringValue(failedVerifyState?.structured_interaction_failure_summary) || stringValue(conclusiveVerifyBlockers2[0]);
+            const captureTerminalBlocker = failedVerifyStatus === "capture_error" || conclusiveVerifyBlockers2.length > 0 || Boolean(structuredInteractionFailureSummary2) || captureQuality?.terminal_blocker === true || captureQuality?.blocking === true;
+            const terminalCaptureQualitySummary = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true ? stringValue(captureQuality?.summary) : "";
+            const checkpointName = captureTerminalBlocker ? "verify_capture_blocked" : "verify_capture_retry";
+            const summary = terminalCaptureQualitySummary || structuredInteractionFailureSummary2 || stringValue(verifyDecisionRequest2?.summary) || stringValue(failedVerifyState?.verify_summary) || stringValue(failedVerifyState?.proof_summary) || stringValue(verifyRes.error) || "Verify capture failed before the evidence could be judged.";
+            const failedVerifyDetails = {
+              executed,
+              verifyStatus: failedVerifyStatus,
+              verifySummary: failedVerifyState?.verify_summary || failedVerifyState?.proof_summary || null,
+              afterCdn: failedVerifyState?.after_cdn || null,
+              mergeRecommendation: failedVerifyState?.merge_recommendation || null,
+              verifyDecisionRequest: verifyDecisionRequest2,
+              conclusiveVerifyBlockers: conclusiveVerifyBlockers2,
+              verifyError: verifyRes.error || null,
+              verifyStdout: verifyRes.stdout || "",
+              verifyStderr: verifyRes.stderr || ""
+            };
+            recordAttempt("verify", "checkpoint", summary, {
+              autoApproved: verifyRes.autoApproved || false,
+              checkpoint: checkpointName,
+              error: verifyRes.error || null,
+              details: failedVerifyDetails
+            });
+            return checkpoint(
+              "verify",
+              checkpointName,
+              summary,
+              {
+                ok: true,
+                nextActions: captureTerminalBlocker ? ["inspect_after_capture", "report_specific_browser_evidence_blocker", "start_a_new_run_after_the_product_or_script_is_fixed"] : ["inspect_after_capture", "continue_internal_loop_with_checkpoint", "return_to_recon_if_baseline_is_wrong"],
+                advanceOptions: needsImplementation ? ["author", "implement", "ship", "verify", "recon"] : ["author", "verify", "recon"],
+                recommendedAdvanceStage: captureTerminalBlocker ? null : verifyDecisionRequest2?.recommended_stage || verifyDecisionRequest2?.continue_with_stage || "author",
+                continueWithStage: captureTerminalBlocker ? null : verifyDecisionRequest2?.continue_with_stage || verifyDecisionRequest2?.recommended_stage || "author",
+                blocking: captureTerminalBlocker,
+                details: failedVerifyDetails,
+                verifyStatus: failedVerifyStatus,
+                verifySummary: failedVerifyDetails.verifySummary,
+                afterCdn: failedVerifyState?.after_cdn || null,
+                mergeRecommendation: failedVerifyState?.merge_recommendation || null,
+                verifyDecisionRequest: verifyDecisionRequest2,
+                executed
+              }
+            );
+          }
           return failedRun("verify", verifyRes.haltedForApproval ? "verify halted for approval" : "verify failed", verifyRes, {
             checkpoint: "verify_failed",
             details: { executed },
@@ -2735,8 +2789,9 @@ ${implementRes.stderr || ""}`;
           });
           state = readState(config.statePath);
         }
+        const terminalCaptureQualitySummary = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true ? stringValue(captureQuality?.summary) : "";
         const checkpointName = captureTerminalBlocker ? "verify_capture_blocked" : "verify_capture_retry";
-        const summary = structuredInteractionFailureSummary || stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
+        const summary = terminalCaptureQualitySummary || structuredInteractionFailureSummary || stringValue(proofAssessment.summary) || "Verify ran, but the proof packet still needs internal capture-plan work before it should ship.";
         recordAttempt("verify", "checkpoint", summary, {
           autoApproved: verifyRes.autoApproved || false,
           checkpoint: checkpointName,

package/dist/proof-run-engine.js

@@ -1,7 +1,7 @@
 import {
   createRiddleProofEngine,
   executeWorkflow
-} from "./chunk-YC77HZVF.js";
+} from "./chunk-32RE64IO.js";
 import "./chunk-K6HZUSHH.js";
 import "./chunk-MLKGABMK.js";
 export {

package/package.json

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

package/runtime/lib/author.py

@@ -89,10 +89,12 @@ def recon_baseline_understanding(state):
     return understanding if isinstance(understanding, dict) else {}
 
 
-def authored_capture_script(existing_script, wait_for_selector=''):
+def authored_capture_script(state, existing_script, wait_for_selector=''):
     script = (existing_script or '').strip()
     if script:
         return script
+    if is_interaction_mode(state):
+        return ''
     steps = ['await page.waitForTimeout(1500);']
     selector = (wait_for_selector or '').strip()
     if selector:
@@ -152,8 +154,10 @@ def author_request_payload(state, reference, baselines, current_plan, hypothesis
             'observations': item.get('observations'),
         })
 
-    fallback_capture_script = authored_capture_script(state.get('capture_script'), fallback_selector)
+    fallback_capture_script = authored_capture_script(state, state.get('capture_script'), fallback_selector)
     fallback_proof_plan = authored_proof_plan(state, reference, fallback_path, baselines, fallback_selector)
+    expected_start_path = state.get('expected_start_path') or fallback_path or '/'
+    expected_terminal_path = state.get('expected_terminal_path') or state.get('requested_expected_terminal_path') or ''
 
     return {
         'status': 'needs_supervisor_judgment',
@@ -174,6 +178,8 @@ def author_request_payload(state, reference, baselines, current_plan, hypothesis
             'wait_for_selector': fallback_selector,
             'capture_script': fallback_capture_script,
             'proof_plan': fallback_proof_plan,
+            'expected_start_path': expected_start_path,
+            'expected_terminal_path': expected_terminal_path,
         },
         'interaction_contract': optional_record(state.get('interaction_contract')),
         'proof_contract': optional_record(state.get('proof_contract')),
@@ -210,6 +216,7 @@ def author_request_payload(state, reference, baselines, current_plan, hypothesis
                 'server_path': 'string',
                 'wait_for_selector': 'string',
                 'reference': 'string',
+                'expected_start_path': 'string',
                 'expected_terminal_path': 'string',
             },
             'interaction_contract': {
@@ -245,7 +252,7 @@ default_path = normalize_path(first_non_empty(before_path, prod_path, current_pa
 
 default_selector = first_non_empty((s.get('wait_for_selector') or '').strip(), (current_plan.get('wait_for_selector') or '').strip())
 default_proof_plan = authored_proof_plan(s, reference, default_path, baselines, default_selector)
-default_capture_script = authored_capture_script(s.get('capture_script'), default_selector)
+default_capture_script = authored_capture_script(s, s.get('capture_script'), default_selector)
 
 supervisor_packet = s.get('supervisor_author_packet') or {}
 if not isinstance(supervisor_packet, dict):
@@ -333,6 +340,7 @@ authored_packet = {
         'server_path': refined_path,
         'wait_for_selector': refined_selector,
         'reference': refined_reference,
+        'expected_start_path': s.get('expected_start_path') or '',
         'expected_terminal_path': expected_terminal_path,
     },
     'interaction_contract': provided_payload['interaction_contract'],