@riddledc/riddle-proof 0.8.11 → 0.8.13

package/dist/advanced/engine-harness.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,
@@ -4604,6 +4638,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 };
@@ -5543,6 +5588,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
@@ -5600,6 +5672,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/advanced/engine-harness.js

@@ -2,10 +2,10 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "../chunk-BBUO7HM4.js";
+} from "../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-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";

package/dist/advanced/index.cjs

@@ -47,6 +47,7 @@ __export(proof_run_core_exports, {
   mergeStateFromParams: () => mergeStateFromParams,
   noImplementationModeFor: () => noImplementationModeFor,
   previewModeFromWorkflowMode: () => previewModeFromWorkflowMode,
+  proofAssessmentHardBlockersForState: () => proofAssessmentHardBlockersForState,
   readState: () => readState,
   recordStageAttempt: () => recordStageAttempt,
   requiredBaselineLabelsForState: () => requiredBaselineLabelsForState,
@@ -501,6 +502,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();
@@ -535,6 +555,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}`);
@@ -566,6 +587,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,
@@ -582,7 +606,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
     }
   };
 }
@@ -1068,6 +1093,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: [{
@@ -1316,14 +1345,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"
     };
   }
@@ -2543,7 +2576,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";
@@ -2551,7 +2586,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,
@@ -2564,11 +2599,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,
@@ -5140,6 +5175,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 };
@@ -6079,6 +6125,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
@@ -6136,6 +6209,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/advanced/index.d.cts

@@ -1,5 +1,5 @@
 export { b as runner } from '../runner-4LJ5z0D-.cjs';
 export { l as engineHarness } from '../engine-harness-LBfqbFSe.cjs';
-export { p as proofRunCore } from '../proof-run-core-CE0jx7wL.cjs';
-export { p as proofRunEngine } from '../proof-run-engine-B7DCPzpK.cjs';
+export { p as proofRunCore } from '../proof-run-core-C8FDUhle.cjs';
+export { p as proofRunEngine } from '../proof-run-engine-D80hVFMf.cjs';
 import '../types.cjs';

package/dist/advanced/index.d.ts

@@ -1,5 +1,5 @@
 export { b as runner } from '../runner-BdQpOkZD.js';
 export { l as engineHarness } from '../engine-harness-CMACHP6A.js';
-export { p as proofRunCore } from '../proof-run-core-CE0jx7wL.js';
-export { p as proofRunEngine } from '../proof-run-engine-BomAcXhA.js';
+export { p as proofRunCore } from '../proof-run-core-C8FDUhle.js';
+export { p as proofRunEngine } from '../proof-run-engine-By7oLsF-.js';
 import '../types.js';

package/dist/advanced/index.js

@@ -1,17 +1,17 @@
 import {
   proof_run_engine_exports
-} from "../chunk-46DDSZJR.js";
+} from "../chunk-JBY2SU5U.js";
 import {
   runner_exports
-} from "../chunk-5N6MQCLC.js";
+} from "../chunk-NGX4SUQN.js";
 import {
   engine_harness_exports
-} from "../chunk-BBUO7HM4.js";
+} from "../chunk-RTLA6CPP.js";
 import "../chunk-YZUVEJ5B.js";
 import "../chunk-FMOYUYH2.js";
 import {
   proof_run_core_exports
-} from "../chunk-5N5QFI2S.js";
+} from "../chunk-7GZY5PLT.js";
 import "../chunk-4FOHZ7JG.js";
 import "../chunk-VY4Y5U57.js";
 import "../chunk-MLKGABMK.js";

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

@@ -44,6 +44,7 @@ __export(proof_run_core_exports, {
   mergeStateFromParams: () => mergeStateFromParams,
   noImplementationModeFor: () => noImplementationModeFor,
   previewModeFromWorkflowMode: () => previewModeFromWorkflowMode,
+  proofAssessmentHardBlockersForState: () => proofAssessmentHardBlockersForState,
   readState: () => readState,
   recordStageAttempt: () => recordStageAttempt,
   requiredBaselineLabelsForState: () => requiredBaselineLabelsForState,
@@ -527,6 +528,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();
@@ -561,6 +581,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}`);
@@ -592,6 +613,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,
@@ -608,7 +632,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
     }
   };
 }
@@ -722,6 +747,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: [{
@@ -1138,6 +1167,7 @@ function summarizeState(state) {
   mergeStateFromParams,
   noImplementationModeFor,
   previewModeFromWorkflowMode,
+  proofAssessmentHardBlockersForState,
   readState,
   recordStageAttempt,
   requiredBaselineLabelsForState,

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

@@ -1 +1 @@
-export { B as BUNDLED_RIDDLE_PROOF_DIR, C as CHECKPOINT_CONTRACT_VERSION, b as CheckpointInputContract, P as PluginConfig, R as RIDDLE_PROOF_DIR_CANDIDATES, S as ShipGateValidation, c as WORKFLOW_STAGE_ORDER, d as WorkflowAction, W as WorkflowParams, a as WorkflowStage, e as buildCheckpointContract, f as buildSetupArgs, g as checkpointContinueStage, h as clearStageDecisionRequest, i as ensureAction, j as ensureStageLoopState, k as invalidateVerifyEvidence, m as mergeStateFromParams, n as noImplementationModeFor, l as previewModeFromWorkflowMode, o as readState, q as recordStageAttempt, s as requiredBaselineLabelsForState, r as resolveConfig, t as resolveRiddleProofDir, u as setStageDecisionRequest, v as summarizeState, w as validateShipGate, x as visualDeltaForState, y as visualDeltaRequiredForState, z as visualDeltaShipGateReason, A as workflowFile, D as writeState } from '../proof-run-core-CE0jx7wL.cjs';
+export { B as BUNDLED_RIDDLE_PROOF_DIR, C as CHECKPOINT_CONTRACT_VERSION, b as CheckpointInputContract, P as PluginConfig, R as RIDDLE_PROOF_DIR_CANDIDATES, S as ShipGateValidation, c as WORKFLOW_STAGE_ORDER, d as WorkflowAction, W as WorkflowParams, a as WorkflowStage, e as buildCheckpointContract, f as buildSetupArgs, g as checkpointContinueStage, h as clearStageDecisionRequest, i as ensureAction, j as ensureStageLoopState, k as invalidateVerifyEvidence, m as mergeStateFromParams, n as noImplementationModeFor, l as previewModeFromWorkflowMode, o as proofAssessmentHardBlockersForState, q as readState, s as recordStageAttempt, t as requiredBaselineLabelsForState, r as resolveConfig, u as resolveRiddleProofDir, v as setStageDecisionRequest, w as summarizeState, x as validateShipGate, y as visualDeltaForState, z as visualDeltaRequiredForState, A as visualDeltaShipGateReason, D as workflowFile, E as writeState } from '../proof-run-core-C8FDUhle.cjs';

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

@@ -1 +1 @@
-export { B as BUNDLED_RIDDLE_PROOF_DIR, C as CHECKPOINT_CONTRACT_VERSION, b as CheckpointInputContract, P as PluginConfig, R as RIDDLE_PROOF_DIR_CANDIDATES, S as ShipGateValidation, c as WORKFLOW_STAGE_ORDER, d as WorkflowAction, W as WorkflowParams, a as WorkflowStage, e as buildCheckpointContract, f as buildSetupArgs, g as checkpointContinueStage, h as clearStageDecisionRequest, i as ensureAction, j as ensureStageLoopState, k as invalidateVerifyEvidence, m as mergeStateFromParams, n as noImplementationModeFor, l as previewModeFromWorkflowMode, o as readState, q as recordStageAttempt, s as requiredBaselineLabelsForState, r as resolveConfig, t as resolveRiddleProofDir, u as setStageDecisionRequest, v as summarizeState, w as validateShipGate, x as visualDeltaForState, y as visualDeltaRequiredForState, z as visualDeltaShipGateReason, A as workflowFile, D as writeState } from '../proof-run-core-CE0jx7wL.js';
+export { B as BUNDLED_RIDDLE_PROOF_DIR, C as CHECKPOINT_CONTRACT_VERSION, b as CheckpointInputContract, P as PluginConfig, R as RIDDLE_PROOF_DIR_CANDIDATES, S as ShipGateValidation, c as WORKFLOW_STAGE_ORDER, d as WorkflowAction, W as WorkflowParams, a as WorkflowStage, e as buildCheckpointContract, f as buildSetupArgs, g as checkpointContinueStage, h as clearStageDecisionRequest, i as ensureAction, j as ensureStageLoopState, k as invalidateVerifyEvidence, m as mergeStateFromParams, n as noImplementationModeFor, l as previewModeFromWorkflowMode, o as proofAssessmentHardBlockersForState, q as readState, s as recordStageAttempt, t as requiredBaselineLabelsForState, r as resolveConfig, u as resolveRiddleProofDir, v as setStageDecisionRequest, w as summarizeState, x as validateShipGate, y as visualDeltaForState, z as visualDeltaRequiredForState, A as visualDeltaShipGateReason, D as workflowFile, E as writeState } from '../proof-run-core-C8FDUhle.js';

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

@@ -13,6 +13,7 @@ import {
   mergeStateFromParams,
   noImplementationModeFor,
   previewModeFromWorkflowMode,
+  proofAssessmentHardBlockersForState,
   readState,
   recordStageAttempt,
   requiredBaselineLabelsForState,
@@ -26,7 +27,7 @@ import {
   visualDeltaShipGateReason,
   workflowFile,
   writeState
-} from "../chunk-5N5QFI2S.js";
+} from "../chunk-7GZY5PLT.js";
 import "../chunk-MLKGABMK.js";
 export {
   BUNDLED_RIDDLE_PROOF_DIR,
@@ -43,6 +44,7 @@ export {
   mergeStateFromParams,
   noImplementationModeFor,
   previewModeFromWorkflowMode,
+  proofAssessmentHardBlockersForState,
   readState,
   recordStageAttempt,
   requiredBaselineLabelsForState,