@riddledc/riddle-proof 0.8.11 → 0.8.12

package/dist/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,
@@ -4602,6 +4636,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 };
@@ -5541,6 +5586,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
@@ -5598,6 +5670,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/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/index.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,
@@ -5336,6 +5370,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 };
@@ -6275,6 +6320,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
@@ -6332,6 +6404,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/index.js

@@ -1,6 +1,6 @@
 import {
   runRiddleProof
-} from "./chunk-5N6MQCLC.js";
+} from "./chunk-NGX4SUQN.js";
 import "./chunk-6F4PWJZI.js";
 import {
   RIDDLE_PROOF_PLAYABILITY_ASSESSMENT_VERSION,
@@ -95,7 +95,7 @@ import {
   createDisabledRiddleProofAgentAdapter,
   readRiddleProofRunStatus,
   runRiddleProofEngineHarness
-} from "./chunk-BBUO7HM4.js";
+} from "./chunk-RTLA6CPP.js";
 import {
   RIDDLE_PROOF_RUN_STATE_VERSION,
   appendRunEvent,
@@ -112,7 +112,7 @@ import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
 } from "./chunk-FMOYUYH2.js";
-import "./chunk-5N5QFI2S.js";
+import "./chunk-7GZY5PLT.js";
 import {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,

package/dist/{proof-run-core-CE0jx7wL.d.cts → proof-run-core-CrpYH-qH.d.cts}

@@ -94,6 +94,7 @@ interface ShipGateValidation {
         visual_delta_required: boolean;
         visual_delta_status: string | null;
         visual_delta_passed: boolean | null;
+        hard_blockers?: string[];
     };
 }
 declare function resolveRiddleProofDir(config?: PluginConfig): string;
@@ -120,7 +121,7 @@ declare function buildSetupArgs(params: WorkflowParams, config: ReturnType<typeo
     target_image_hash: string;
     viewport_matrix_json: string;
     deterministic_setup_json: string;
-    reference: "before" | "prod" | "both";
+    reference: "prod" | "before" | "both";
     base_branch: string;
     before_ref: string;
     allow_static_preview_fallback: string;
@@ -220,6 +221,7 @@ declare function invalidateVerifyEvidence(state?: any): {
 declare function visualDeltaRequiredForState(state?: any): boolean;
 declare function visualDeltaForState(state?: any): Record<string, any>;
 declare function visualDeltaShipGateReason(state?: any): string | null;
+declare function proofAssessmentHardBlockersForState(state?: any): string[];
 declare function requiredBaselineLabelsForState(state?: any): string[];
 declare function validateShipGate(state?: any): ShipGateValidation;
 declare function buildCheckpointContract(state: any, request: {
@@ -339,6 +341,7 @@ declare const proofRunCore_invalidateVerifyEvidence: typeof invalidateVerifyEvid
 declare const proofRunCore_mergeStateFromParams: typeof mergeStateFromParams;
 declare const proofRunCore_noImplementationModeFor: typeof noImplementationModeFor;
 declare const proofRunCore_previewModeFromWorkflowMode: typeof previewModeFromWorkflowMode;
+declare const proofRunCore_proofAssessmentHardBlockersForState: typeof proofAssessmentHardBlockersForState;
 declare const proofRunCore_readState: typeof readState;
 declare const proofRunCore_recordStageAttempt: typeof recordStageAttempt;
 declare const proofRunCore_requiredBaselineLabelsForState: typeof requiredBaselineLabelsForState;
@@ -353,7 +356,7 @@ declare const proofRunCore_visualDeltaShipGateReason: typeof visualDeltaShipGate
 declare const proofRunCore_workflowFile: typeof workflowFile;
 declare const proofRunCore_writeState: typeof writeState;
 declare namespace proofRunCore {
-  export { proofRunCore_BUNDLED_RIDDLE_PROOF_DIR as BUNDLED_RIDDLE_PROOF_DIR, proofRunCore_CHECKPOINT_CONTRACT_VERSION as CHECKPOINT_CONTRACT_VERSION, type proofRunCore_CheckpointInputContract as CheckpointInputContract, type proofRunCore_PluginConfig as PluginConfig, proofRunCore_RIDDLE_PROOF_DIR_CANDIDATES as RIDDLE_PROOF_DIR_CANDIDATES, type proofRunCore_ShipGateValidation as ShipGateValidation, proofRunCore_WORKFLOW_STAGE_ORDER as WORKFLOW_STAGE_ORDER, type proofRunCore_WorkflowAction as WorkflowAction, type proofRunCore_WorkflowParams as WorkflowParams, type proofRunCore_WorkflowStage as WorkflowStage, proofRunCore_buildCheckpointContract as buildCheckpointContract, proofRunCore_buildSetupArgs as buildSetupArgs, proofRunCore_checkpointContinueStage as checkpointContinueStage, proofRunCore_clearStageDecisionRequest as clearStageDecisionRequest, proofRunCore_ensureAction as ensureAction, proofRunCore_ensureStageLoopState as ensureStageLoopState, proofRunCore_invalidateVerifyEvidence as invalidateVerifyEvidence, proofRunCore_mergeStateFromParams as mergeStateFromParams, proofRunCore_noImplementationModeFor as noImplementationModeFor, proofRunCore_previewModeFromWorkflowMode as previewModeFromWorkflowMode, proofRunCore_readState as readState, proofRunCore_recordStageAttempt as recordStageAttempt, proofRunCore_requiredBaselineLabelsForState as requiredBaselineLabelsForState, proofRunCore_resolveConfig as resolveConfig, proofRunCore_resolveRiddleProofDir as resolveRiddleProofDir, proofRunCore_setStageDecisionRequest as setStageDecisionRequest, proofRunCore_summarizeState as summarizeState, proofRunCore_validateShipGate as validateShipGate, proofRunCore_visualDeltaForState as visualDeltaForState, proofRunCore_visualDeltaRequiredForState as visualDeltaRequiredForState, proofRunCore_visualDeltaShipGateReason as visualDeltaShipGateReason, proofRunCore_workflowFile as workflowFile, proofRunCore_writeState as writeState };
+  export { proofRunCore_BUNDLED_RIDDLE_PROOF_DIR as BUNDLED_RIDDLE_PROOF_DIR, proofRunCore_CHECKPOINT_CONTRACT_VERSION as CHECKPOINT_CONTRACT_VERSION, type proofRunCore_CheckpointInputContract as CheckpointInputContract, type proofRunCore_PluginConfig as PluginConfig, proofRunCore_RIDDLE_PROOF_DIR_CANDIDATES as RIDDLE_PROOF_DIR_CANDIDATES, type proofRunCore_ShipGateValidation as ShipGateValidation, proofRunCore_WORKFLOW_STAGE_ORDER as WORKFLOW_STAGE_ORDER, type proofRunCore_WorkflowAction as WorkflowAction, type proofRunCore_WorkflowParams as WorkflowParams, type proofRunCore_WorkflowStage as WorkflowStage, proofRunCore_buildCheckpointContract as buildCheckpointContract, proofRunCore_buildSetupArgs as buildSetupArgs, proofRunCore_checkpointContinueStage as checkpointContinueStage, proofRunCore_clearStageDecisionRequest as clearStageDecisionRequest, proofRunCore_ensureAction as ensureAction, proofRunCore_ensureStageLoopState as ensureStageLoopState, proofRunCore_invalidateVerifyEvidence as invalidateVerifyEvidence, proofRunCore_mergeStateFromParams as mergeStateFromParams, proofRunCore_noImplementationModeFor as noImplementationModeFor, proofRunCore_previewModeFromWorkflowMode as previewModeFromWorkflowMode, proofRunCore_proofAssessmentHardBlockersForState as proofAssessmentHardBlockersForState, proofRunCore_readState as readState, proofRunCore_recordStageAttempt as recordStageAttempt, proofRunCore_requiredBaselineLabelsForState as requiredBaselineLabelsForState, proofRunCore_resolveConfig as resolveConfig, proofRunCore_resolveRiddleProofDir as resolveRiddleProofDir, proofRunCore_setStageDecisionRequest as setStageDecisionRequest, proofRunCore_summarizeState as summarizeState, proofRunCore_validateShipGate as validateShipGate, proofRunCore_visualDeltaForState as visualDeltaForState, proofRunCore_visualDeltaRequiredForState as visualDeltaRequiredForState, proofRunCore_visualDeltaShipGateReason as visualDeltaShipGateReason, proofRunCore_workflowFile as workflowFile, proofRunCore_writeState as writeState };
 }
 
-export { workflowFile as A, BUNDLED_RIDDLE_PROOF_DIR as B, CHECKPOINT_CONTRACT_VERSION as C, writeState as D, type PluginConfig as P, RIDDLE_PROOF_DIR_CANDIDATES as R, type ShipGateValidation as S, type WorkflowParams as W, type WorkflowStage as a, type CheckpointInputContract as b, WORKFLOW_STAGE_ORDER as c, type WorkflowAction as d, buildCheckpointContract as e, buildSetupArgs as f, checkpointContinueStage as g, clearStageDecisionRequest as h, ensureAction as i, ensureStageLoopState as j, invalidateVerifyEvidence as k, previewModeFromWorkflowMode as l, mergeStateFromParams as m, noImplementationModeFor as n, readState as o, proofRunCore as p, recordStageAttempt as q, resolveConfig as r, requiredBaselineLabelsForState as s, resolveRiddleProofDir as t, setStageDecisionRequest as u, summarizeState as v, validateShipGate as w, visualDeltaForState as x, visualDeltaRequiredForState as y, visualDeltaShipGateReason as z };
+export { visualDeltaShipGateReason as A, BUNDLED_RIDDLE_PROOF_DIR as B, CHECKPOINT_CONTRACT_VERSION as C, workflowFile as D, writeState as E, type PluginConfig as P, RIDDLE_PROOF_DIR_CANDIDATES as R, type ShipGateValidation as S, type WorkflowParams as W, type WorkflowStage as a, type CheckpointInputContract as b, WORKFLOW_STAGE_ORDER as c, type WorkflowAction as d, buildCheckpointContract as e, buildSetupArgs as f, checkpointContinueStage as g, clearStageDecisionRequest as h, ensureAction as i, ensureStageLoopState as j, invalidateVerifyEvidence as k, previewModeFromWorkflowMode as l, mergeStateFromParams as m, noImplementationModeFor as n, proofAssessmentHardBlockersForState as o, proofRunCore as p, readState as q, resolveConfig as r, recordStageAttempt as s, requiredBaselineLabelsForState as t, resolveRiddleProofDir as u, setStageDecisionRequest as v, summarizeState as w, validateShipGate as x, visualDeltaForState as y, visualDeltaRequiredForState as z };

package/dist/{proof-run-core-CE0jx7wL.d.ts → proof-run-core-CrpYH-qH.d.ts}

@@ -94,6 +94,7 @@ interface ShipGateValidation {
         visual_delta_required: boolean;
         visual_delta_status: string | null;
         visual_delta_passed: boolean | null;
+        hard_blockers?: string[];
     };
 }
 declare function resolveRiddleProofDir(config?: PluginConfig): string;
@@ -120,7 +121,7 @@ declare function buildSetupArgs(params: WorkflowParams, config: ReturnType<typeo
     target_image_hash: string;
     viewport_matrix_json: string;
     deterministic_setup_json: string;
-    reference: "before" | "prod" | "both";
+    reference: "prod" | "before" | "both";
     base_branch: string;
     before_ref: string;
     allow_static_preview_fallback: string;
@@ -220,6 +221,7 @@ declare function invalidateVerifyEvidence(state?: any): {
 declare function visualDeltaRequiredForState(state?: any): boolean;
 declare function visualDeltaForState(state?: any): Record<string, any>;
 declare function visualDeltaShipGateReason(state?: any): string | null;
+declare function proofAssessmentHardBlockersForState(state?: any): string[];
 declare function requiredBaselineLabelsForState(state?: any): string[];
 declare function validateShipGate(state?: any): ShipGateValidation;
 declare function buildCheckpointContract(state: any, request: {
@@ -339,6 +341,7 @@ declare const proofRunCore_invalidateVerifyEvidence: typeof invalidateVerifyEvid
 declare const proofRunCore_mergeStateFromParams: typeof mergeStateFromParams;
 declare const proofRunCore_noImplementationModeFor: typeof noImplementationModeFor;
 declare const proofRunCore_previewModeFromWorkflowMode: typeof previewModeFromWorkflowMode;
+declare const proofRunCore_proofAssessmentHardBlockersForState: typeof proofAssessmentHardBlockersForState;
 declare const proofRunCore_readState: typeof readState;
 declare const proofRunCore_recordStageAttempt: typeof recordStageAttempt;
 declare const proofRunCore_requiredBaselineLabelsForState: typeof requiredBaselineLabelsForState;
@@ -353,7 +356,7 @@ declare const proofRunCore_visualDeltaShipGateReason: typeof visualDeltaShipGate
 declare const proofRunCore_workflowFile: typeof workflowFile;
 declare const proofRunCore_writeState: typeof writeState;
 declare namespace proofRunCore {
-  export { proofRunCore_BUNDLED_RIDDLE_PROOF_DIR as BUNDLED_RIDDLE_PROOF_DIR, proofRunCore_CHECKPOINT_CONTRACT_VERSION as CHECKPOINT_CONTRACT_VERSION, type proofRunCore_CheckpointInputContract as CheckpointInputContract, type proofRunCore_PluginConfig as PluginConfig, proofRunCore_RIDDLE_PROOF_DIR_CANDIDATES as RIDDLE_PROOF_DIR_CANDIDATES, type proofRunCore_ShipGateValidation as ShipGateValidation, proofRunCore_WORKFLOW_STAGE_ORDER as WORKFLOW_STAGE_ORDER, type proofRunCore_WorkflowAction as WorkflowAction, type proofRunCore_WorkflowParams as WorkflowParams, type proofRunCore_WorkflowStage as WorkflowStage, proofRunCore_buildCheckpointContract as buildCheckpointContract, proofRunCore_buildSetupArgs as buildSetupArgs, proofRunCore_checkpointContinueStage as checkpointContinueStage, proofRunCore_clearStageDecisionRequest as clearStageDecisionRequest, proofRunCore_ensureAction as ensureAction, proofRunCore_ensureStageLoopState as ensureStageLoopState, proofRunCore_invalidateVerifyEvidence as invalidateVerifyEvidence, proofRunCore_mergeStateFromParams as mergeStateFromParams, proofRunCore_noImplementationModeFor as noImplementationModeFor, proofRunCore_previewModeFromWorkflowMode as previewModeFromWorkflowMode, proofRunCore_readState as readState, proofRunCore_recordStageAttempt as recordStageAttempt, proofRunCore_requiredBaselineLabelsForState as requiredBaselineLabelsForState, proofRunCore_resolveConfig as resolveConfig, proofRunCore_resolveRiddleProofDir as resolveRiddleProofDir, proofRunCore_setStageDecisionRequest as setStageDecisionRequest, proofRunCore_summarizeState as summarizeState, proofRunCore_validateShipGate as validateShipGate, proofRunCore_visualDeltaForState as visualDeltaForState, proofRunCore_visualDeltaRequiredForState as visualDeltaRequiredForState, proofRunCore_visualDeltaShipGateReason as visualDeltaShipGateReason, proofRunCore_workflowFile as workflowFile, proofRunCore_writeState as writeState };
+  export { proofRunCore_BUNDLED_RIDDLE_PROOF_DIR as BUNDLED_RIDDLE_PROOF_DIR, proofRunCore_CHECKPOINT_CONTRACT_VERSION as CHECKPOINT_CONTRACT_VERSION, type proofRunCore_CheckpointInputContract as CheckpointInputContract, type proofRunCore_PluginConfig as PluginConfig, proofRunCore_RIDDLE_PROOF_DIR_CANDIDATES as RIDDLE_PROOF_DIR_CANDIDATES, type proofRunCore_ShipGateValidation as ShipGateValidation, proofRunCore_WORKFLOW_STAGE_ORDER as WORKFLOW_STAGE_ORDER, type proofRunCore_WorkflowAction as WorkflowAction, type proofRunCore_WorkflowParams as WorkflowParams, type proofRunCore_WorkflowStage as WorkflowStage, proofRunCore_buildCheckpointContract as buildCheckpointContract, proofRunCore_buildSetupArgs as buildSetupArgs, proofRunCore_checkpointContinueStage as checkpointContinueStage, proofRunCore_clearStageDecisionRequest as clearStageDecisionRequest, proofRunCore_ensureAction as ensureAction, proofRunCore_ensureStageLoopState as ensureStageLoopState, proofRunCore_invalidateVerifyEvidence as invalidateVerifyEvidence, proofRunCore_mergeStateFromParams as mergeStateFromParams, proofRunCore_noImplementationModeFor as noImplementationModeFor, proofRunCore_previewModeFromWorkflowMode as previewModeFromWorkflowMode, proofRunCore_proofAssessmentHardBlockersForState as proofAssessmentHardBlockersForState, proofRunCore_readState as readState, proofRunCore_recordStageAttempt as recordStageAttempt, proofRunCore_requiredBaselineLabelsForState as requiredBaselineLabelsForState, proofRunCore_resolveConfig as resolveConfig, proofRunCore_resolveRiddleProofDir as resolveRiddleProofDir, proofRunCore_setStageDecisionRequest as setStageDecisionRequest, proofRunCore_summarizeState as summarizeState, proofRunCore_validateShipGate as validateShipGate, proofRunCore_visualDeltaForState as visualDeltaForState, proofRunCore_visualDeltaRequiredForState as visualDeltaRequiredForState, proofRunCore_visualDeltaShipGateReason as visualDeltaShipGateReason, proofRunCore_workflowFile as workflowFile, proofRunCore_writeState as writeState };
 }
 
-export { workflowFile as A, BUNDLED_RIDDLE_PROOF_DIR as B, CHECKPOINT_CONTRACT_VERSION as C, writeState as D, type PluginConfig as P, RIDDLE_PROOF_DIR_CANDIDATES as R, type ShipGateValidation as S, type WorkflowParams as W, type WorkflowStage as a, type CheckpointInputContract as b, WORKFLOW_STAGE_ORDER as c, type WorkflowAction as d, buildCheckpointContract as e, buildSetupArgs as f, checkpointContinueStage as g, clearStageDecisionRequest as h, ensureAction as i, ensureStageLoopState as j, invalidateVerifyEvidence as k, previewModeFromWorkflowMode as l, mergeStateFromParams as m, noImplementationModeFor as n, readState as o, proofRunCore as p, recordStageAttempt as q, resolveConfig as r, requiredBaselineLabelsForState as s, resolveRiddleProofDir as t, setStageDecisionRequest as u, summarizeState as v, validateShipGate as w, visualDeltaForState as x, visualDeltaRequiredForState as y, visualDeltaShipGateReason as z };
+export { visualDeltaShipGateReason as A, BUNDLED_RIDDLE_PROOF_DIR as B, CHECKPOINT_CONTRACT_VERSION as C, workflowFile as D, writeState as E, type PluginConfig as P, RIDDLE_PROOF_DIR_CANDIDATES as R, type ShipGateValidation as S, type WorkflowParams as W, type WorkflowStage as a, type CheckpointInputContract as b, WORKFLOW_STAGE_ORDER as c, type WorkflowAction as d, buildCheckpointContract as e, buildSetupArgs as f, checkpointContinueStage as g, clearStageDecisionRequest as h, ensureAction as i, ensureStageLoopState as j, invalidateVerifyEvidence as k, previewModeFromWorkflowMode as l, mergeStateFromParams as m, noImplementationModeFor as n, proofAssessmentHardBlockersForState as o, proofRunCore as p, readState as q, resolveConfig as r, recordStageAttempt as s, requiredBaselineLabelsForState as t, resolveRiddleProofDir as u, setStageDecisionRequest as v, summarizeState as w, validateShipGate as x, visualDeltaForState as y, visualDeltaRequiredForState as z };

package/dist/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,
@@ -525,6 +526,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();
@@ -559,6 +579,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}`);
@@ -590,6 +611,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,
@@ -606,7 +630,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
     }
   };
 }
@@ -720,6 +745,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: [{
@@ -1136,6 +1165,7 @@ function summarizeState(state) {
   mergeStateFromParams,
   noImplementationModeFor,
   previewModeFromWorkflowMode,
+  proofAssessmentHardBlockersForState,
   readState,
   recordStageAttempt,
   requiredBaselineLabelsForState,

package/dist/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-CrpYH-qH.cjs';

package/dist/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-CrpYH-qH.js';

package/dist/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,