@riddledc/riddle-proof 0.8.11 → 0.8.12

package/dist/advanced/proof-run-engine.cjs

@@ -507,6 +507,25 @@ function visualDeltaShipGateReason(state = {}) {
   if (reason) return `visual_delta.status=${status} blocks ready_to_ship for visual/UI proof: ${reason}`;
   return `visual_delta.status=${status} blocks ready_to_ship for visual/UI proof`;
 }
+function proofAssessmentHardBlockersForState(state = {}) {
+  const request = objectValue(state?.proof_assessment_request);
+  const blockers = [];
+  const add = (value) => {
+    if (typeof value !== "string") return;
+    const trimmed = value.trim();
+    if (trimmed && !blockers.includes(trimmed)) blockers.push(trimmed);
+  };
+  if (Array.isArray(request.hard_blockers)) {
+    for (const blocker of request.hard_blockers) add(blocker);
+  }
+  add(state?.structured_interaction_capture_failure_summary);
+  add(state?.structured_interaction_failure_summary);
+  const mergeRecommendation = String(state?.merge_recommendation || "").trim();
+  if (mergeRecommendation === "do-not-merge" && blockers.length) {
+    add("merge_recommendation=do-not-merge because the proof bundle contains hard blockers.");
+  }
+  return blockers;
+}
 function visualDeltaEvidenceIssueCode(state = {}, blocker = "") {
   const visualDelta = visualDeltaForState(state || {});
   const status = String(visualDelta.status || "").trim();
@@ -541,6 +560,7 @@ function validateShipGate(state = {}) {
   const visualDelta = visualDeltaForState(state);
   const visualDeltaRequired = visualDeltaRequiredForState(state);
   const visualDeltaBlocker = visualDeltaShipGateReason(state);
+  const hardBlockers = proofAssessmentHardBlockersForState(state);
   const reasons = [];
   if (!["before", "prod", "both"].includes(reference)) {
     reasons.push(`reference must be before, prod, or both; got ${reference}`);
@@ -572,6 +592,9 @@ function validateShipGate(state = {}) {
   if (visualDeltaBlocker) {
     reasons.push(visualDeltaBlocker);
   }
+  for (const blocker of hardBlockers) {
+    reasons.push(`proof hard blocker prevents ready_to_ship: ${blocker}`);
+  }
   return {
     ok: reasons.length === 0,
     reasons,
@@ -588,7 +611,8 @@ function validateShipGate(state = {}) {
       proof_assessment_source: proofAssessment.source,
       visual_delta_required: visualDeltaRequired,
       visual_delta_status: typeof visualDelta.status === "string" ? visualDelta.status : null,
-      visual_delta_passed: typeof visualDelta.passed === "boolean" ? visualDelta.passed : null
+      visual_delta_passed: typeof visualDelta.passed === "boolean" ? visualDelta.passed : null,
+      hard_blockers: hardBlockers
     }
   };
 }
@@ -702,6 +726,10 @@ var CHECKPOINT_CONTRACT_SPECS = {
     }],
     required_state: ["verify_decision_request"]
   },
+  verify_capture_blocked: {
+    purpose: "Verify capture produced conclusive failed browser evidence and should stop instead of retrying proof authoring.",
+    required_state: ["verify_decision_request"]
+  },
   verify_supervisor_judgment: {
     purpose: "Supervising agent judges whether captured evidence proves the change is ready to ship.",
     accepted_inputs: [{
@@ -1286,14 +1314,18 @@ function verifyAssessment(state) {
     };
   }
   if (state?.verify_status === "capture_incomplete") {
+    const captureQuality = verifyDecision?.capture_quality || {};
+    const terminalBlocker = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true;
+    const recommendedStage = terminalBlocker ? null : verifyDecision?.continue_with_stage || verifyDecision?.recommended_stage || "author";
+    const continueWithStage = terminalBlocker ? null : verifyDecision?.continue_with_stage || verifyDecision?.recommended_stage || "author";
     return {
-      decision: verifyDecision?.capture_quality?.decision || "revise_capture",
+      decision: captureQuality?.decision || "revise_capture",
       summary: verifyDecision?.summary || "Verify needs another internal capture iteration before the evidence can be judged.",
-      recommendedStage: verifyDecision?.continue_with_stage || verifyDecision?.recommended_stage || "author",
-      continueWithStage: verifyDecision?.continue_with_stage || verifyDecision?.recommended_stage || "author",
+      recommendedStage,
+      continueWithStage,
       escalationTarget: "agent",
-      reasons: Array.isArray(verifyDecision?.capture_quality?.reasons) ? verifyDecision.capture_quality.reasons : [],
-      raw: verifyDecision?.capture_quality || verifyDecision,
+      reasons: Array.isArray(captureQuality?.reasons) ? captureQuality.reasons : [],
+      raw: captureQuality || verifyDecision,
       source: "workflow_capture"
     };
   }
@@ -2513,7 +2545,9 @@ ${implementRes.stderr || ""}`;
         convergenceSignals
       };
       if (verifyStatus !== "evidence_captured") {
-        if ((verifyContinueWithStage || verifyRecommendedStage || "author") === "author") {
+        const captureQuality = verifyDecisionRequest?.capture_quality || {};
+        const captureTerminalBlocker = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true;
+        if (!captureTerminalBlocker && (verifyContinueWithStage || verifyRecommendedStage || "author") === "author") {
           updateState(config.statePath, (currentState) => {
             currentState.author_status = "needs_authoring";
             currentState.proof_plan_status = "needs_authoring";
@@ -2521,7 +2555,7 @@ ${implementRes.stderr || ""}`;
           });
           state = readState(config.statePath);
         }
-        const checkpointName = "verify_capture_retry";
+        const checkpointName = captureTerminalBlocker ? "verify_capture_blocked" : "verify_capture_retry";
         const summary = 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,
@@ -2534,11 +2568,11 @@ ${implementRes.stderr || ""}`;
           summary,
           {
             ok: true,
-            nextActions: ["inspect_after_capture", "continue_internal_loop_with_checkpoint", "return_to_recon_if_baseline_is_wrong"],
+            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: verifyLoopAdvanceOptions,
-            recommendedAdvanceStage: verifyRecommendedStage || "author",
-            continueWithStage: verifyContinueWithStage || "author",
-            blocking: false,
+            recommendedAdvanceStage: captureTerminalBlocker ? null : verifyRecommendedStage || "author",
+            continueWithStage: captureTerminalBlocker ? null : verifyContinueWithStage || "author",
+            blocking: captureTerminalBlocker,
             details: verifyDetails,
             verifyStatus,
             verifySummary,

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

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

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

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

package/dist/advanced/proof-run-engine.js

@@ -1,8 +1,8 @@
 import {
   createRiddleProofEngine,
   executeWorkflow
-} from "../chunk-46DDSZJR.js";
-import "../chunk-5N5QFI2S.js";
+} from "../chunk-JBY2SU5U.js";
+import "../chunk-7GZY5PLT.js";
 import "../chunk-MLKGABMK.js";
 export {
   createRiddleProofEngine,

package/dist/advanced/runner.js

@@ -1,9 +1,9 @@
 import {
   runRiddleProof
-} from "../chunk-5N6MQCLC.js";
+} from "../chunk-NGX4SUQN.js";
 import "../chunk-YZUVEJ5B.js";
 import "../chunk-FMOYUYH2.js";
-import "../chunk-5N5QFI2S.js";
+import "../chunk-7GZY5PLT.js";
 import "../chunk-4FOHZ7JG.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";

package/dist/{chunk-5N5QFI2S.js → chunk-7GZY5PLT.js}

@@ -19,6 +19,7 @@ __export(proof_run_core_exports, {
   mergeStateFromParams: () => mergeStateFromParams,
   noImplementationModeFor: () => noImplementationModeFor,
   previewModeFromWorkflowMode: () => previewModeFromWorkflowMode,
+  proofAssessmentHardBlockersForState: () => proofAssessmentHardBlockersForState,
   readState: () => readState,
   recordStageAttempt: () => recordStageAttempt,
   requiredBaselineLabelsForState: () => requiredBaselineLabelsForState,
@@ -498,6 +499,25 @@ function visualDeltaShipGateReason(state = {}) {
   if (reason) return `visual_delta.status=${status} blocks ready_to_ship for visual/UI proof: ${reason}`;
   return `visual_delta.status=${status} blocks ready_to_ship for visual/UI proof`;
 }
+function proofAssessmentHardBlockersForState(state = {}) {
+  const request = objectValue(state?.proof_assessment_request);
+  const blockers = [];
+  const add = (value) => {
+    if (typeof value !== "string") return;
+    const trimmed = value.trim();
+    if (trimmed && !blockers.includes(trimmed)) blockers.push(trimmed);
+  };
+  if (Array.isArray(request.hard_blockers)) {
+    for (const blocker of request.hard_blockers) add(blocker);
+  }
+  add(state?.structured_interaction_capture_failure_summary);
+  add(state?.structured_interaction_failure_summary);
+  const mergeRecommendation = String(state?.merge_recommendation || "").trim();
+  if (mergeRecommendation === "do-not-merge" && blockers.length) {
+    add("merge_recommendation=do-not-merge because the proof bundle contains hard blockers.");
+  }
+  return blockers;
+}
 function visualDeltaEvidenceIssueCode(state = {}, blocker = "") {
   const visualDelta = visualDeltaForState(state || {});
   const status = String(visualDelta.status || "").trim();
@@ -532,6 +552,7 @@ function validateShipGate(state = {}) {
   const visualDelta = visualDeltaForState(state);
   const visualDeltaRequired = visualDeltaRequiredForState(state);
   const visualDeltaBlocker = visualDeltaShipGateReason(state);
+  const hardBlockers = proofAssessmentHardBlockersForState(state);
   const reasons = [];
   if (!["before", "prod", "both"].includes(reference)) {
     reasons.push(`reference must be before, prod, or both; got ${reference}`);
@@ -563,6 +584,9 @@ function validateShipGate(state = {}) {
   if (visualDeltaBlocker) {
     reasons.push(visualDeltaBlocker);
   }
+  for (const blocker of hardBlockers) {
+    reasons.push(`proof hard blocker prevents ready_to_ship: ${blocker}`);
+  }
   return {
     ok: reasons.length === 0,
     reasons,
@@ -579,7 +603,8 @@ function validateShipGate(state = {}) {
       proof_assessment_source: proofAssessment.source,
       visual_delta_required: visualDeltaRequired,
       visual_delta_status: typeof visualDelta.status === "string" ? visualDelta.status : null,
-      visual_delta_passed: typeof visualDelta.passed === "boolean" ? visualDelta.passed : null
+      visual_delta_passed: typeof visualDelta.passed === "boolean" ? visualDelta.passed : null,
+      hard_blockers: hardBlockers
     }
   };
 }
@@ -693,6 +718,10 @@ var CHECKPOINT_CONTRACT_SPECS = {
     }],
     required_state: ["verify_decision_request"]
   },
+  verify_capture_blocked: {
+    purpose: "Verify capture produced conclusive failed browser evidence and should stop instead of retrying proof authoring.",
+    required_state: ["verify_decision_request"]
+  },
   verify_supervisor_judgment: {
     purpose: "Supervising agent judges whether captured evidence proves the change is ready to ship.",
     accepted_inputs: [{
@@ -1117,6 +1146,7 @@ export {
   visualDeltaRequiredForState,
   visualDeltaForState,
   visualDeltaShipGateReason,
+  proofAssessmentHardBlockersForState,
   requiredBaselineLabelsForState,
   validateShipGate,
   buildCheckpointContract,

package/dist/{chunk-46DDSZJR.js → chunk-JBY2SU5U.js}

@@ -15,7 +15,7 @@ import {
   validateShipGate,
   workflowFile,
   writeState
-} from "./chunk-5N5QFI2S.js";
+} from "./chunk-7GZY5PLT.js";
 import {
   __export
 } from "./chunk-MLKGABMK.js";
@@ -211,14 +211,18 @@ function verifyAssessment(state) {
     };
   }
   if (state?.verify_status === "capture_incomplete") {
+    const captureQuality = verifyDecision?.capture_quality || {};
+    const terminalBlocker = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true;
+    const recommendedStage = terminalBlocker ? null : verifyDecision?.continue_with_stage || verifyDecision?.recommended_stage || "author";
+    const continueWithStage = terminalBlocker ? null : verifyDecision?.continue_with_stage || verifyDecision?.recommended_stage || "author";
     return {
-      decision: verifyDecision?.capture_quality?.decision || "revise_capture",
+      decision: captureQuality?.decision || "revise_capture",
       summary: verifyDecision?.summary || "Verify needs another internal capture iteration before the evidence can be judged.",
-      recommendedStage: verifyDecision?.continue_with_stage || verifyDecision?.recommended_stage || "author",
-      continueWithStage: verifyDecision?.continue_with_stage || verifyDecision?.recommended_stage || "author",
+      recommendedStage,
+      continueWithStage,
       escalationTarget: "agent",
-      reasons: Array.isArray(verifyDecision?.capture_quality?.reasons) ? verifyDecision.capture_quality.reasons : [],
-      raw: verifyDecision?.capture_quality || verifyDecision,
+      reasons: Array.isArray(captureQuality?.reasons) ? captureQuality.reasons : [],
+      raw: captureQuality || verifyDecision,
       source: "workflow_capture"
     };
   }
@@ -1438,7 +1442,9 @@ ${implementRes.stderr || ""}`;
         convergenceSignals
       };
       if (verifyStatus !== "evidence_captured") {
-        if ((verifyContinueWithStage || verifyRecommendedStage || "author") === "author") {
+        const captureQuality = verifyDecisionRequest?.capture_quality || {};
+        const captureTerminalBlocker = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true;
+        if (!captureTerminalBlocker && (verifyContinueWithStage || verifyRecommendedStage || "author") === "author") {
           updateState(config.statePath, (currentState) => {
             currentState.author_status = "needs_authoring";
             currentState.proof_plan_status = "needs_authoring";
@@ -1446,7 +1452,7 @@ ${implementRes.stderr || ""}`;
           });
           state = readState(config.statePath);
         }
-        const checkpointName = "verify_capture_retry";
+        const checkpointName = captureTerminalBlocker ? "verify_capture_blocked" : "verify_capture_retry";
         const summary = 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,
@@ -1459,11 +1465,11 @@ ${implementRes.stderr || ""}`;
           summary,
           {
             ok: true,
-            nextActions: ["inspect_after_capture", "continue_internal_loop_with_checkpoint", "return_to_recon_if_baseline_is_wrong"],
+            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: verifyLoopAdvanceOptions,
-            recommendedAdvanceStage: verifyRecommendedStage || "author",
-            continueWithStage: verifyContinueWithStage || "author",
-            blocking: false,
+            recommendedAdvanceStage: captureTerminalBlocker ? null : verifyRecommendedStage || "author",
+            continueWithStage: captureTerminalBlocker ? null : verifyContinueWithStage || "author",
+            blocking: captureTerminalBlocker,
             details: verifyDetails,
             verifyStatus,
             verifySummary,

package/dist/{chunk-5N6MQCLC.js → chunk-NGX4SUQN.js}

@@ -6,7 +6,7 @@ import {
 } from "./chunk-YZUVEJ5B.js";
 import {
   noImplementationModeFor
-} from "./chunk-5N5QFI2S.js";
+} from "./chunk-7GZY5PLT.js";
 import {
   createRunResult
 } from "./chunk-VY4Y5U57.js";

package/dist/{chunk-BBUO7HM4.js → chunk-RTLA6CPP.js}

@@ -11,10 +11,11 @@ import {
 } from "./chunk-FMOYUYH2.js";
 import {
   noImplementationModeFor,
+  proofAssessmentHardBlockersForState,
   visualDeltaForState,
   visualDeltaRequiredForState,
   visualDeltaShipGateReason
-} from "./chunk-5N5QFI2S.js";
+} from "./chunk-7GZY5PLT.js";
 import {
   authorPacketPayloadFromCheckpointResponse,
   buildCheckpointPacketForEngineResult,
@@ -348,6 +349,17 @@ function proofAssessmentRequestsShip(payload) {
   const continueStage = String(payload.continue_with_stage || "");
   return decision === "ready_to_ship" || recommendedStage === "ship" || continueStage === "ship";
 }
+function proofAssessmentHardBlockers(state, payload) {
+  const blockers = proofAssessmentHardBlockersForState(state || {});
+  if (Array.isArray(payload.hard_blockers)) {
+    for (const blocker of payload.hard_blockers) {
+      if (typeof blocker !== "string") continue;
+      const trimmed = blocker.trim();
+      if (trimmed && !blockers.includes(trimmed)) blockers.push(trimmed);
+    }
+  }
+  return blockers;
+}
 function proofAssessmentContinuation(result, payload) {
   const proof_assessment_json = jsonParam(payload);
   return { ...baseContinuation(result), proof_assessment_json };
@@ -1287,6 +1299,33 @@ async function routeCheckpoint(request, state, result, agent, input) {
         adapter_details: assessment.details || null
       })
     });
+    const hardBlockers = proofAssessmentHardBlockers(context.fullRiddleState || {}, payload);
+    if (proofAssessmentRequestsShip(payload) && hardBlockers.length) {
+      const summary = hardBlockers[0];
+      recordEvent(state, {
+        kind: "agent.proof_assessment.hard_blocked",
+        checkpoint,
+        stage: "verify",
+        summary,
+        details: compactRecord({
+          hard_blockers: hardBlockers,
+          proof_assessment: payload,
+          agent_duration_ms: durationMs
+        })
+      });
+      return {
+        blocker: {
+          code: "proof_hard_blocker",
+          checkpoint,
+          message: "Riddle Proof cannot mark ready_to_ship while the proof bundle contains a hard blocker: " + summary,
+          details: compactRecord({
+            hard_blockers: hardBlockers,
+            proofAssessment: payload,
+            verifyDecisionRequest: context.fullRiddleState?.verify_decision_request || result.verifyDecisionRequest || result.checkpointContract?.verify_decision_request || null
+          })
+        }
+      };
+    }
     const visualBlocker = proofAssessmentVisualBlocker({
       ...context.fullRiddleState || {},
       verification_mode: context.fullRiddleState?.verification_mode || request.verification_mode
@@ -1344,6 +1383,19 @@ async function routeCheckpoint(request, state, result, agent, input) {
       }
     };
   }
+  if (checkpoint === "verify_capture_blocked") {
+    return {
+      blocker: {
+        code: "verify_capture_blocked",
+        checkpoint,
+        message: result.summary || "Verify captured conclusive failed browser evidence and stopped instead of retrying proof authoring.",
+        details: compactRecord({
+          verifyDecisionRequest: result.verifyDecisionRequest || result.checkpointContract?.verify_decision_request || null,
+          checkpointContract: result.checkpointContract || null
+        })
+      }
+    };
+  }
   if (checkpoint === "awaiting_stage_advance") {
     const next = recommendedContinuation(result) || defaultAwaitingStageContinuation(result);
     if (next) {

package/dist/{chunk-2PXL3RDB.js → chunk-SZUC4MDN.js}

@@ -22,7 +22,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-BBUO7HM4.js";
+} from "./chunk-RTLA6CPP.js";
 import {
   createCheckpointResponseTemplate
 } from "./chunk-4FOHZ7JG.js";

package/dist/cli/index.js

@@ -1,10 +1,10 @@
-import "../chunk-2PXL3RDB.js";
+import "../chunk-SZUC4MDN.js";
 import "../chunk-PEWAIEER.js";
 import "../chunk-TWTEUS7R.js";
-import "../chunk-BBUO7HM4.js";
+import "../chunk-RTLA6CPP.js";
 import "../chunk-YZUVEJ5B.js";
 import "../chunk-FMOYUYH2.js";
-import "../chunk-5N5QFI2S.js";
+import "../chunk-7GZY5PLT.js";
 import "../chunk-4FOHZ7JG.js";
 import "../chunk-JFQXAJH2.js";
 import "../chunk-EEIYUZXE.js";

package/dist/cli.cjs

@@ -471,6 +471,25 @@ function visualDeltaShipGateReason(state = {}) {
   if (reason) return `visual_delta.status=${status} blocks ready_to_ship for visual/UI proof: ${reason}`;
   return `visual_delta.status=${status} blocks ready_to_ship for visual/UI proof`;
 }
+function proofAssessmentHardBlockersForState(state = {}) {
+  const request = objectValue(state?.proof_assessment_request);
+  const blockers = [];
+  const add = (value) => {
+    if (typeof value !== "string") return;
+    const trimmed = value.trim();
+    if (trimmed && !blockers.includes(trimmed)) blockers.push(trimmed);
+  };
+  if (Array.isArray(request.hard_blockers)) {
+    for (const blocker of request.hard_blockers) add(blocker);
+  }
+  add(state?.structured_interaction_capture_failure_summary);
+  add(state?.structured_interaction_failure_summary);
+  const mergeRecommendation = String(state?.merge_recommendation || "").trim();
+  if (mergeRecommendation === "do-not-merge" && blockers.length) {
+    add("merge_recommendation=do-not-merge because the proof bundle contains hard blockers.");
+  }
+  return blockers;
+}
 function visualDeltaEvidenceIssueCode(state = {}, blocker = "") {
   const visualDelta = visualDeltaForState(state || {});
   const status = String(visualDelta.status || "").trim();
@@ -505,6 +524,7 @@ function validateShipGate(state = {}) {
   const visualDelta = visualDeltaForState(state);
   const visualDeltaRequired = visualDeltaRequiredForState(state);
   const visualDeltaBlocker = visualDeltaShipGateReason(state);
+  const hardBlockers = proofAssessmentHardBlockersForState(state);
   const reasons = [];
   if (!["before", "prod", "both"].includes(reference)) {
     reasons.push(`reference must be before, prod, or both; got ${reference}`);
@@ -536,6 +556,9 @@ function validateShipGate(state = {}) {
   if (visualDeltaBlocker) {
     reasons.push(visualDeltaBlocker);
   }
+  for (const blocker of hardBlockers) {
+    reasons.push(`proof hard blocker prevents ready_to_ship: ${blocker}`);
+  }
   return {
     ok: reasons.length === 0,
     reasons,
@@ -552,7 +575,8 @@ function validateShipGate(state = {}) {
       proof_assessment_source: proofAssessment.source,
       visual_delta_required: visualDeltaRequired,
       visual_delta_status: typeof visualDelta.status === "string" ? visualDelta.status : null,
-      visual_delta_passed: typeof visualDelta.passed === "boolean" ? visualDelta.passed : null
+      visual_delta_passed: typeof visualDelta.passed === "boolean" ? visualDelta.passed : null,
+      hard_blockers: hardBlockers
     }
   };
 }
@@ -1038,6 +1062,10 @@ var init_proof_run_core = __esm({
         }],
         required_state: ["verify_decision_request"]
       },
+      verify_capture_blocked: {
+        purpose: "Verify capture produced conclusive failed browser evidence and should stop instead of retrying proof authoring.",
+        required_state: ["verify_decision_request"]
+      },
       verify_supervisor_judgment: {
         purpose: "Supervising agent judges whether captured evidence proves the change is ready to ship.",
         accepted_inputs: [{
@@ -1286,14 +1314,18 @@ function verifyAssessment(state) {
     };
   }
   if (state?.verify_status === "capture_incomplete") {
+    const captureQuality = verifyDecision?.capture_quality || {};
+    const terminalBlocker = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true;
+    const recommendedStage = terminalBlocker ? null : verifyDecision?.continue_with_stage || verifyDecision?.recommended_stage || "author";
+    const continueWithStage = terminalBlocker ? null : verifyDecision?.continue_with_stage || verifyDecision?.recommended_stage || "author";
     return {
-      decision: verifyDecision?.capture_quality?.decision || "revise_capture",
+      decision: captureQuality?.decision || "revise_capture",
       summary: verifyDecision?.summary || "Verify needs another internal capture iteration before the evidence can be judged.",
-      recommendedStage: verifyDecision?.continue_with_stage || verifyDecision?.recommended_stage || "author",
-      continueWithStage: verifyDecision?.continue_with_stage || verifyDecision?.recommended_stage || "author",
+      recommendedStage,
+      continueWithStage,
       escalationTarget: "agent",
-      reasons: Array.isArray(verifyDecision?.capture_quality?.reasons) ? verifyDecision.capture_quality.reasons : [],
-      raw: verifyDecision?.capture_quality || verifyDecision,
+      reasons: Array.isArray(captureQuality?.reasons) ? captureQuality.reasons : [],
+      raw: captureQuality || verifyDecision,
       source: "workflow_capture"
     };
   }
@@ -2513,7 +2545,9 @@ ${implementRes.stderr || ""}`;
         convergenceSignals
       };
       if (verifyStatus !== "evidence_captured") {
-        if ((verifyContinueWithStage || verifyRecommendedStage || "author") === "author") {
+        const captureQuality = verifyDecisionRequest?.capture_quality || {};
+        const captureTerminalBlocker = captureQuality?.terminal_blocker === true || captureQuality?.blocking === true;
+        if (!captureTerminalBlocker && (verifyContinueWithStage || verifyRecommendedStage || "author") === "author") {
           updateState(config.statePath, (currentState) => {
             currentState.author_status = "needs_authoring";
             currentState.proof_plan_status = "needs_authoring";
@@ -2521,7 +2555,7 @@ ${implementRes.stderr || ""}`;
           });
           state = readState(config.statePath);
         }
-        const checkpointName = "verify_capture_retry";
+        const checkpointName = captureTerminalBlocker ? "verify_capture_blocked" : "verify_capture_retry";
         const summary = 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,
@@ -2534,11 +2568,11 @@ ${implementRes.stderr || ""}`;
           summary,
           {
             ok: true,
-            nextActions: ["inspect_after_capture", "continue_internal_loop_with_checkpoint", "return_to_recon_if_baseline_is_wrong"],
+            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: verifyLoopAdvanceOptions,
-            recommendedAdvanceStage: verifyRecommendedStage || "author",
-            continueWithStage: verifyContinueWithStage || "author",
-            blocking: false,
+            recommendedAdvanceStage: captureTerminalBlocker ? null : verifyRecommendedStage || "author",
+            continueWithStage: captureTerminalBlocker ? null : verifyContinueWithStage || "author",
+            blocking: captureTerminalBlocker,
             details: verifyDetails,
             verifyStatus,
             verifySummary,
@@ -4673,6 +4707,17 @@ function proofAssessmentRequestsShip(payload) {
   const continueStage = String(payload.continue_with_stage || "");
   return decision === "ready_to_ship" || recommendedStage === "ship" || continueStage === "ship";
 }
+function proofAssessmentHardBlockers(state, payload) {
+  const blockers = proofAssessmentHardBlockersForState(state || {});
+  if (Array.isArray(payload.hard_blockers)) {
+    for (const blocker of payload.hard_blockers) {
+      if (typeof blocker !== "string") continue;
+      const trimmed = blocker.trim();
+      if (trimmed && !blockers.includes(trimmed)) blockers.push(trimmed);
+    }
+  }
+  return blockers;
+}
 function proofAssessmentContinuation(result, payload) {
   const proof_assessment_json = jsonParam(payload);
   return { ...baseContinuation(result), proof_assessment_json };
@@ -5612,6 +5657,33 @@ async function routeCheckpoint(request, state, result, agent, input) {
         adapter_details: assessment.details || null
       })
     });
+    const hardBlockers = proofAssessmentHardBlockers(context.fullRiddleState || {}, payload);
+    if (proofAssessmentRequestsShip(payload) && hardBlockers.length) {
+      const summary = hardBlockers[0];
+      recordEvent(state, {
+        kind: "agent.proof_assessment.hard_blocked",
+        checkpoint,
+        stage: "verify",
+        summary,
+        details: compactRecord({
+          hard_blockers: hardBlockers,
+          proof_assessment: payload,
+          agent_duration_ms: durationMs
+        })
+      });
+      return {
+        blocker: {
+          code: "proof_hard_blocker",
+          checkpoint,
+          message: "Riddle Proof cannot mark ready_to_ship while the proof bundle contains a hard blocker: " + summary,
+          details: compactRecord({
+            hard_blockers: hardBlockers,
+            proofAssessment: payload,
+            verifyDecisionRequest: context.fullRiddleState?.verify_decision_request || result.verifyDecisionRequest || result.checkpointContract?.verify_decision_request || null
+          })
+        }
+      };
+    }
     const visualBlocker = proofAssessmentVisualBlocker({
       ...context.fullRiddleState || {},
       verification_mode: context.fullRiddleState?.verification_mode || request.verification_mode
@@ -5669,6 +5741,19 @@ async function routeCheckpoint(request, state, result, agent, input) {
       }
     };
   }
+  if (checkpoint === "verify_capture_blocked") {
+    return {
+      blocker: {
+        code: "verify_capture_blocked",
+        checkpoint,
+        message: result.summary || "Verify captured conclusive failed browser evidence and stopped instead of retrying proof authoring.",
+        details: compactRecord({
+          verifyDecisionRequest: result.verifyDecisionRequest || result.checkpointContract?.verify_decision_request || null,
+          checkpointContract: result.checkpointContract || null
+        })
+      }
+    };
+  }
   if (checkpoint === "awaiting_stage_advance") {
     const next = recommendedContinuation(result) || defaultAwaitingStageContinuation(result);
     if (next) {

package/dist/cli.js

@@ -1,11 +1,11 @@
 #!/usr/bin/env node
-import "./chunk-2PXL3RDB.js";
+import "./chunk-SZUC4MDN.js";
 import "./chunk-PEWAIEER.js";
 import "./chunk-TWTEUS7R.js";
-import "./chunk-BBUO7HM4.js";
+import "./chunk-RTLA6CPP.js";
 import "./chunk-YZUVEJ5B.js";
 import "./chunk-FMOYUYH2.js";
-import "./chunk-5N5QFI2S.js";
+import "./chunk-7GZY5PLT.js";
 import "./chunk-4FOHZ7JG.js";
 import "./chunk-JFQXAJH2.js";
 import "./chunk-EEIYUZXE.js";