@riddledc/riddle-proof 0.8.69 → 0.8.71

package/dist/run-card.cjs

@@ -103,6 +103,19 @@ function checkpointSummaryFrom(...values) {
 function uniqueStrings(values) {
   return [...new Set(values.filter(Boolean))];
 }
+function statusIsProofFailed(status) {
+  return status === "failed" || status === "product_regression";
+}
+function statusIsProofBlocked(status) {
+  return status === "blocked" || status === "proof_insufficient" || status === "environment_blocked" || status === "configuration_error" || status === "needs_human_review";
+}
+function statusRequiresDisclosure(status) {
+  if (status === "proof_insufficient") return "proof_insufficient";
+  if (status === "environment_blocked") return "environment_blocked";
+  if (status === "configuration_error") return "configuration_error";
+  if (status === "needs_human_review") return "human_review_required";
+  return void 0;
+}
 function summarizeRiddleProofPublicState(input) {
   const record = asRecord(input);
   const runCard = asRecord(record.run_card);
@@ -145,7 +158,7 @@ function summarizeRiddleProofPublicState(input) {
     asRecord(record.details).checkpoint_summary,
     asRecord(raw.details).checkpoint_summary
   );
-  const blockedOrWaiting = status === "blocked" || status === "failed" || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
+  const blockedOrWaiting = statusIsProofBlocked(status) || statusIsProofFailed(status) || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
   const proofPassed = Boolean(proofComplete && !blockedOrWaiting);
   const explicitMergeReady = firstBooleanValue(record.merge_ready, stopCondition.merge_ready, raw.merge_ready, handoff.merge_ready);
   const normalPrAllowed = firstBooleanValue(record.normal_pr_allowed, raw.normal_pr_allowed, handoff.normal_pr_allowed);
@@ -154,8 +167,8 @@ function summarizeRiddleProofPublicState(input) {
   const syncAllowed = mergeReady;
   let policyState = "unknown";
   if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") policyState = "awaiting_checkpoint";
-  else if (status === "failed" || handoffState === "proof_failed") policyState = "proof_failed";
-  else if (status === "blocked" || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
+  else if (statusIsProofFailed(status) || handoffState === "proof_failed") policyState = "proof_failed";
+  else if (statusIsProofBlocked(status) || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
   else if (handoffState === "proof_complete_ship_disabled") policyState = "proof_complete_ship_disabled";
   else if (proofComplete && shipHeld && !shipAuthorized) policyState = "proof_passed_ship_held";
   else if (proofComplete && shippingDisabled && !shipAuthorized) policyState = "proof_complete_ship_disabled";
@@ -167,6 +180,8 @@ function summarizeRiddleProofPublicState(input) {
   if (shippingDisabled) requiredDisclosures.push("shipping_disabled");
   if (checkpointSummary?.audit_disclosure_required) requiredDisclosures.push("checkpoint_audit_counters");
   if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") requiredDisclosures.push("checkpoint_required");
+  const statusDisclosure = statusRequiresDisclosure(status);
+  if (statusDisclosure) requiredDisclosures.push(statusDisclosure);
   const prohibitedClaims = [];
   if (!shipAuthorized || shipHeld || shippingDisabled) prohibitedClaims.push("ship_authorized", "shipped");
   if (!mergeReady) prohibitedClaims.push("merge_ready");
@@ -177,7 +192,7 @@ function summarizeRiddleProofPublicState(input) {
   if (checkpointSummary?.audit_disclosure_required) {
     prohibitedClaims.push("all_checkpoint_responses_accepted");
   }
-  const resultLabel = policyState === "awaiting_checkpoint" ? "checkpoint required" : policyState === "proof_blocked" ? "blocked" : policyState === "proof_failed" ? "failed" : policyState === "proof_complete_ship_disabled" ? "proof complete; shipping disabled" : policyState === "proof_passed_ship_held" ? "proof passed; ship held" : policyState === "ship_authorized" ? status === "shipped" ? "shipped" : "ship authorized" : policyState === "proof_passed" ? "passed" : policyState === "proof_in_progress" ? "running" : status || "recorded";
+  const resultLabel = status === "product_regression" ? "product_regression" : status === "proof_insufficient" ? "proof_insufficient" : status === "environment_blocked" ? "environment_blocked" : status === "configuration_error" ? "configuration_error" : status === "needs_human_review" ? "needs_human_review" : policyState === "awaiting_checkpoint" ? "checkpoint required" : policyState === "proof_blocked" ? "blocked" : policyState === "proof_failed" ? "failed" : policyState === "proof_complete_ship_disabled" ? "proof complete; shipping disabled" : policyState === "proof_passed_ship_held" ? "proof passed; ship held" : policyState === "ship_authorized" ? status === "shipped" ? "shipped" : "ship authorized" : policyState === "proof_passed" ? "passed" : policyState === "proof_in_progress" ? "running" : status || "recorded";
   return {
     status,
     ok,

package/dist/run-card.js

@@ -1,10 +1,10 @@
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "./chunk-2OTPBHSM.js";
-import "./chunk-ZB5XBHWD.js";
-import "./chunk-UK7G4RKA.js";
-import "./chunk-6PSM6KB2.js";
+} from "./chunk-UTCL7FEZ.js";
+import "./chunk-DYE3URAQ.js";
+import "./chunk-NKHZASNQ.js";
+import "./chunk-ZAR7BWMN.js";
 import "./chunk-MLKGABMK.js";
 export {
   RIDDLE_PROOF_RUN_CARD_VERSION,

package/dist/runner.cjs

@@ -102,6 +102,19 @@ function checkpointSummaryFrom(...values) {
 function uniqueStrings(values) {
   return [...new Set(values.filter(Boolean))];
 }
+function statusIsProofFailed(status) {
+  return status === "failed" || status === "product_regression";
+}
+function statusIsProofBlocked(status) {
+  return status === "blocked" || status === "proof_insufficient" || status === "environment_blocked" || status === "configuration_error" || status === "needs_human_review";
+}
+function statusRequiresDisclosure(status) {
+  if (status === "proof_insufficient") return "proof_insufficient";
+  if (status === "environment_blocked") return "environment_blocked";
+  if (status === "configuration_error") return "configuration_error";
+  if (status === "needs_human_review") return "human_review_required";
+  return void 0;
+}
 function summarizeRiddleProofPublicState(input) {
   const record = asRecord(input);
   const runCard = asRecord(record.run_card);
@@ -144,7 +157,7 @@ function summarizeRiddleProofPublicState(input) {
     asRecord(record.details).checkpoint_summary,
     asRecord(raw.details).checkpoint_summary
   );
-  const blockedOrWaiting = status === "blocked" || status === "failed" || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
+  const blockedOrWaiting = statusIsProofBlocked(status) || statusIsProofFailed(status) || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
   const proofPassed = Boolean(proofComplete && !blockedOrWaiting);
   const explicitMergeReady = firstBooleanValue(record.merge_ready, stopCondition.merge_ready, raw.merge_ready, handoff.merge_ready);
   const normalPrAllowed = firstBooleanValue(record.normal_pr_allowed, raw.normal_pr_allowed, handoff.normal_pr_allowed);
@@ -153,8 +166,8 @@ function summarizeRiddleProofPublicState(input) {
   const syncAllowed = mergeReady;
   let policyState = "unknown";
   if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") policyState = "awaiting_checkpoint";
-  else if (status === "failed" || handoffState === "proof_failed") policyState = "proof_failed";
-  else if (status === "blocked" || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
+  else if (statusIsProofFailed(status) || handoffState === "proof_failed") policyState = "proof_failed";
+  else if (statusIsProofBlocked(status) || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
   else if (handoffState === "proof_complete_ship_disabled") policyState = "proof_complete_ship_disabled";
   else if (proofComplete && shipHeld && !shipAuthorized) policyState = "proof_passed_ship_held";
   else if (proofComplete && shippingDisabled && !shipAuthorized) policyState = "proof_complete_ship_disabled";
@@ -166,6 +179,8 @@ function summarizeRiddleProofPublicState(input) {
   if (shippingDisabled) requiredDisclosures.push("shipping_disabled");
   if (checkpointSummary?.audit_disclosure_required) requiredDisclosures.push("checkpoint_audit_counters");
   if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") requiredDisclosures.push("checkpoint_required");
+  const statusDisclosure = statusRequiresDisclosure(status);
+  if (statusDisclosure) requiredDisclosures.push(statusDisclosure);
   const prohibitedClaims = [];
   if (!shipAuthorized || shipHeld || shippingDisabled) prohibitedClaims.push("ship_authorized", "shipped");
   if (!mergeReady) prohibitedClaims.push("merge_ready");
@@ -176,7 +191,7 @@ function summarizeRiddleProofPublicState(input) {
   if (checkpointSummary?.audit_disclosure_required) {
     prohibitedClaims.push("all_checkpoint_responses_accepted");
   }
-  const resultLabel = policyState === "awaiting_checkpoint" ? "checkpoint required" : policyState === "proof_blocked" ? "blocked" : policyState === "proof_failed" ? "failed" : policyState === "proof_complete_ship_disabled" ? "proof complete; shipping disabled" : policyState === "proof_passed_ship_held" ? "proof passed; ship held" : policyState === "ship_authorized" ? status === "shipped" ? "shipped" : "ship authorized" : policyState === "proof_passed" ? "passed" : policyState === "proof_in_progress" ? "running" : status || "recorded";
+  const resultLabel = status === "product_regression" ? "product_regression" : status === "proof_insufficient" ? "proof_insufficient" : status === "environment_blocked" ? "environment_blocked" : status === "configuration_error" ? "configuration_error" : status === "needs_human_review" ? "needs_human_review" : policyState === "awaiting_checkpoint" ? "checkpoint required" : policyState === "proof_blocked" ? "blocked" : policyState === "proof_failed" ? "failed" : policyState === "proof_complete_ship_disabled" ? "proof complete; shipping disabled" : policyState === "proof_passed_ship_held" ? "proof passed; ship held" : policyState === "ship_authorized" ? status === "shipped" ? "shipped" : "ship authorized" : policyState === "proof_passed" ? "passed" : policyState === "proof_in_progress" ? "running" : status || "recorded";
   return {
     status,
     ok,

package/dist/runner.js

@@ -1,12 +1,12 @@
 import {
   runRiddleProof
-} from "./chunk-LD2YTPD7.js";
-import "./chunk-NMQIWBSB.js";
-import "./chunk-2OTPBHSM.js";
+} from "./chunk-YH7ADFY4.js";
+import "./chunk-CGJX7LJO.js";
+import "./chunk-UTCL7FEZ.js";
 import "./chunk-EKZXU6MU.js";
-import "./chunk-ZB5XBHWD.js";
-import "./chunk-UK7G4RKA.js";
-import "./chunk-6PSM6KB2.js";
+import "./chunk-DYE3URAQ.js";
+import "./chunk-NKHZASNQ.js";
+import "./chunk-ZAR7BWMN.js";
 import "./chunk-MLKGABMK.js";
 export {
   runRiddleProof

package/dist/spec/checkpoint.js

@@ -14,9 +14,9 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "../chunk-ZB5XBHWD.js";
-import "../chunk-UK7G4RKA.js";
-import "../chunk-6PSM6KB2.js";
+} from "../chunk-DYE3URAQ.js";
+import "../chunk-NKHZASNQ.js";
+import "../chunk-ZAR7BWMN.js";
 import "../chunk-MLKGABMK.js";
 export {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,

package/dist/spec/index.cjs

@@ -148,6 +148,19 @@ function checkpointSummaryFrom(...values) {
 function uniqueStrings(values) {
   return [...new Set(values.filter(Boolean))];
 }
+function statusIsProofFailed(status) {
+  return status === "failed" || status === "product_regression";
+}
+function statusIsProofBlocked(status) {
+  return status === "blocked" || status === "proof_insufficient" || status === "environment_blocked" || status === "configuration_error" || status === "needs_human_review";
+}
+function statusRequiresDisclosure(status) {
+  if (status === "proof_insufficient") return "proof_insufficient";
+  if (status === "environment_blocked") return "environment_blocked";
+  if (status === "configuration_error") return "configuration_error";
+  if (status === "needs_human_review") return "human_review_required";
+  return void 0;
+}
 function summarizeRiddleProofPublicState(input) {
   const record = asRecord(input);
   const runCard = asRecord(record.run_card);
@@ -190,7 +203,7 @@ function summarizeRiddleProofPublicState(input) {
     asRecord(record.details).checkpoint_summary,
     asRecord(raw.details).checkpoint_summary
   );
-  const blockedOrWaiting = status === "blocked" || status === "failed" || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
+  const blockedOrWaiting = statusIsProofBlocked(status) || statusIsProofFailed(status) || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
   const proofPassed = Boolean(proofComplete && !blockedOrWaiting);
   const explicitMergeReady = firstBooleanValue(record.merge_ready, stopCondition.merge_ready, raw.merge_ready, handoff.merge_ready);
   const normalPrAllowed = firstBooleanValue(record.normal_pr_allowed, raw.normal_pr_allowed, handoff.normal_pr_allowed);
@@ -199,8 +212,8 @@ function summarizeRiddleProofPublicState(input) {
   const syncAllowed = mergeReady;
   let policyState = "unknown";
   if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") policyState = "awaiting_checkpoint";
-  else if (status === "failed" || handoffState === "proof_failed") policyState = "proof_failed";
-  else if (status === "blocked" || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
+  else if (statusIsProofFailed(status) || handoffState === "proof_failed") policyState = "proof_failed";
+  else if (statusIsProofBlocked(status) || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
   else if (handoffState === "proof_complete_ship_disabled") policyState = "proof_complete_ship_disabled";
   else if (proofComplete && shipHeld && !shipAuthorized) policyState = "proof_passed_ship_held";
   else if (proofComplete && shippingDisabled && !shipAuthorized) policyState = "proof_complete_ship_disabled";
@@ -212,6 +225,8 @@ function summarizeRiddleProofPublicState(input) {
   if (shippingDisabled) requiredDisclosures.push("shipping_disabled");
   if (checkpointSummary?.audit_disclosure_required) requiredDisclosures.push("checkpoint_audit_counters");
   if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") requiredDisclosures.push("checkpoint_required");
+  const statusDisclosure = statusRequiresDisclosure(status);
+  if (statusDisclosure) requiredDisclosures.push(statusDisclosure);
   const prohibitedClaims = [];
   if (!shipAuthorized || shipHeld || shippingDisabled) prohibitedClaims.push("ship_authorized", "shipped");
   if (!mergeReady) prohibitedClaims.push("merge_ready");
@@ -222,7 +237,7 @@ function summarizeRiddleProofPublicState(input) {
   if (checkpointSummary?.audit_disclosure_required) {
     prohibitedClaims.push("all_checkpoint_responses_accepted");
   }
-  const resultLabel = policyState === "awaiting_checkpoint" ? "checkpoint required" : policyState === "proof_blocked" ? "blocked" : policyState === "proof_failed" ? "failed" : policyState === "proof_complete_ship_disabled" ? "proof complete; shipping disabled" : policyState === "proof_passed_ship_held" ? "proof passed; ship held" : policyState === "ship_authorized" ? status === "shipped" ? "shipped" : "ship authorized" : policyState === "proof_passed" ? "passed" : policyState === "proof_in_progress" ? "running" : status || "recorded";
+  const resultLabel = status === "product_regression" ? "product_regression" : status === "proof_insufficient" ? "proof_insufficient" : status === "environment_blocked" ? "environment_blocked" : status === "configuration_error" ? "configuration_error" : status === "needs_human_review" ? "needs_human_review" : policyState === "awaiting_checkpoint" ? "checkpoint required" : policyState === "proof_blocked" ? "blocked" : policyState === "proof_failed" ? "failed" : policyState === "proof_complete_ship_disabled" ? "proof complete; shipping disabled" : policyState === "proof_passed_ship_held" ? "proof passed; ship held" : policyState === "ship_authorized" ? status === "shipped" ? "shipped" : "ship authorized" : policyState === "proof_passed" ? "passed" : policyState === "proof_in_progress" ? "running" : status || "recorded";
   return {
     status,
     ok,

package/dist/spec/index.js

@@ -10,11 +10,11 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "../chunk-NMQIWBSB.js";
+} from "../chunk-CGJX7LJO.js";
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "../chunk-2OTPBHSM.js";
+} from "../chunk-UTCL7FEZ.js";
 import {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
   RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
@@ -31,7 +31,7 @@ import {
   normalizeCheckpointResponse,
   proofContractFromAuthorCheckpointResponse,
   statePathsForRunState
-} from "../chunk-ZB5XBHWD.js";
+} from "../chunk-DYE3URAQ.js";
 import {
   applyShipControlState,
   applyTerminalMetadata,
@@ -46,7 +46,7 @@ import {
   publicStateForRunState,
   recordValue,
   shipControlStateFor
-} from "../chunk-UK7G4RKA.js";
+} from "../chunk-NKHZASNQ.js";
 import {
   riddleProofPublicStateAllowsClaim,
   riddleProofPublicStateAllowsMergeRecommendation,
@@ -55,7 +55,7 @@ import {
   summarizeRiddleProofHostedProofViewSurface,
   summarizeRiddleProofPublicConsumerSurface,
   summarizeRiddleProofPublicState
-} from "../chunk-6PSM6KB2.js";
+} from "../chunk-ZAR7BWMN.js";
 import "../chunk-MLKGABMK.js";
 export {
   RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,

package/dist/spec/public-state.cjs

@@ -98,6 +98,19 @@ function checkpointSummaryFrom(...values) {
 function uniqueStrings(values) {
   return [...new Set(values.filter(Boolean))];
 }
+function statusIsProofFailed(status) {
+  return status === "failed" || status === "product_regression";
+}
+function statusIsProofBlocked(status) {
+  return status === "blocked" || status === "proof_insufficient" || status === "environment_blocked" || status === "configuration_error" || status === "needs_human_review";
+}
+function statusRequiresDisclosure(status) {
+  if (status === "proof_insufficient") return "proof_insufficient";
+  if (status === "environment_blocked") return "environment_blocked";
+  if (status === "configuration_error") return "configuration_error";
+  if (status === "needs_human_review") return "human_review_required";
+  return void 0;
+}
 function summarizeRiddleProofPublicState(input) {
   const record = asRecord(input);
   const runCard = asRecord(record.run_card);
@@ -140,7 +153,7 @@ function summarizeRiddleProofPublicState(input) {
     asRecord(record.details).checkpoint_summary,
     asRecord(raw.details).checkpoint_summary
   );
-  const blockedOrWaiting = status === "blocked" || status === "failed" || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
+  const blockedOrWaiting = statusIsProofBlocked(status) || statusIsProofFailed(status) || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
   const proofPassed = Boolean(proofComplete && !blockedOrWaiting);
   const explicitMergeReady = firstBooleanValue(record.merge_ready, stopCondition.merge_ready, raw.merge_ready, handoff.merge_ready);
   const normalPrAllowed = firstBooleanValue(record.normal_pr_allowed, raw.normal_pr_allowed, handoff.normal_pr_allowed);
@@ -149,8 +162,8 @@ function summarizeRiddleProofPublicState(input) {
   const syncAllowed = mergeReady;
   let policyState = "unknown";
   if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") policyState = "awaiting_checkpoint";
-  else if (status === "failed" || handoffState === "proof_failed") policyState = "proof_failed";
-  else if (status === "blocked" || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
+  else if (statusIsProofFailed(status) || handoffState === "proof_failed") policyState = "proof_failed";
+  else if (statusIsProofBlocked(status) || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
   else if (handoffState === "proof_complete_ship_disabled") policyState = "proof_complete_ship_disabled";
   else if (proofComplete && shipHeld && !shipAuthorized) policyState = "proof_passed_ship_held";
   else if (proofComplete && shippingDisabled && !shipAuthorized) policyState = "proof_complete_ship_disabled";
@@ -162,6 +175,8 @@ function summarizeRiddleProofPublicState(input) {
   if (shippingDisabled) requiredDisclosures.push("shipping_disabled");
   if (checkpointSummary?.audit_disclosure_required) requiredDisclosures.push("checkpoint_audit_counters");
   if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") requiredDisclosures.push("checkpoint_required");
+  const statusDisclosure = statusRequiresDisclosure(status);
+  if (statusDisclosure) requiredDisclosures.push(statusDisclosure);
   const prohibitedClaims = [];
   if (!shipAuthorized || shipHeld || shippingDisabled) prohibitedClaims.push("ship_authorized", "shipped");
   if (!mergeReady) prohibitedClaims.push("merge_ready");
@@ -172,7 +187,7 @@ function summarizeRiddleProofPublicState(input) {
   if (checkpointSummary?.audit_disclosure_required) {
     prohibitedClaims.push("all_checkpoint_responses_accepted");
   }
-  const resultLabel = policyState === "awaiting_checkpoint" ? "checkpoint required" : policyState === "proof_blocked" ? "blocked" : policyState === "proof_failed" ? "failed" : policyState === "proof_complete_ship_disabled" ? "proof complete; shipping disabled" : policyState === "proof_passed_ship_held" ? "proof passed; ship held" : policyState === "ship_authorized" ? status === "shipped" ? "shipped" : "ship authorized" : policyState === "proof_passed" ? "passed" : policyState === "proof_in_progress" ? "running" : status || "recorded";
+  const resultLabel = status === "product_regression" ? "product_regression" : status === "proof_insufficient" ? "proof_insufficient" : status === "environment_blocked" ? "environment_blocked" : status === "configuration_error" ? "configuration_error" : status === "needs_human_review" ? "needs_human_review" : policyState === "awaiting_checkpoint" ? "checkpoint required" : policyState === "proof_blocked" ? "blocked" : policyState === "proof_failed" ? "failed" : policyState === "proof_complete_ship_disabled" ? "proof complete; shipping disabled" : policyState === "proof_passed_ship_held" ? "proof passed; ship held" : policyState === "ship_authorized" ? status === "shipped" ? "shipped" : "ship authorized" : policyState === "proof_passed" ? "passed" : policyState === "proof_in_progress" ? "running" : status || "recorded";
   return {
     status,
     ok,

package/dist/spec/public-state.js

@@ -6,7 +6,7 @@ import {
   summarizeRiddleProofHostedProofViewSurface,
   summarizeRiddleProofPublicConsumerSurface,
   summarizeRiddleProofPublicState
-} from "../chunk-6PSM6KB2.js";
+} from "../chunk-ZAR7BWMN.js";
 import "../chunk-MLKGABMK.js";
 export {
   riddleProofPublicStateAllowsClaim,

package/dist/spec/result.cjs

@@ -104,6 +104,19 @@ function checkpointSummaryFrom(...values) {
 function uniqueStrings(values) {
   return [...new Set(values.filter(Boolean))];
 }
+function statusIsProofFailed(status) {
+  return status === "failed" || status === "product_regression";
+}
+function statusIsProofBlocked(status) {
+  return status === "blocked" || status === "proof_insufficient" || status === "environment_blocked" || status === "configuration_error" || status === "needs_human_review";
+}
+function statusRequiresDisclosure(status) {
+  if (status === "proof_insufficient") return "proof_insufficient";
+  if (status === "environment_blocked") return "environment_blocked";
+  if (status === "configuration_error") return "configuration_error";
+  if (status === "needs_human_review") return "human_review_required";
+  return void 0;
+}
 function summarizeRiddleProofPublicState(input) {
   const record = asRecord(input);
   const runCard = asRecord(record.run_card);
@@ -146,7 +159,7 @@ function summarizeRiddleProofPublicState(input) {
     asRecord(record.details).checkpoint_summary,
     asRecord(raw.details).checkpoint_summary
   );
-  const blockedOrWaiting = status === "blocked" || status === "failed" || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
+  const blockedOrWaiting = statusIsProofBlocked(status) || statusIsProofFailed(status) || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
   const proofPassed = Boolean(proofComplete && !blockedOrWaiting);
   const explicitMergeReady = firstBooleanValue(record.merge_ready, stopCondition.merge_ready, raw.merge_ready, handoff.merge_ready);
   const normalPrAllowed = firstBooleanValue(record.normal_pr_allowed, raw.normal_pr_allowed, handoff.normal_pr_allowed);
@@ -155,8 +168,8 @@ function summarizeRiddleProofPublicState(input) {
   const syncAllowed = mergeReady;
   let policyState = "unknown";
   if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") policyState = "awaiting_checkpoint";
-  else if (status === "failed" || handoffState === "proof_failed") policyState = "proof_failed";
-  else if (status === "blocked" || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
+  else if (statusIsProofFailed(status) || handoffState === "proof_failed") policyState = "proof_failed";
+  else if (statusIsProofBlocked(status) || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
   else if (handoffState === "proof_complete_ship_disabled") policyState = "proof_complete_ship_disabled";
   else if (proofComplete && shipHeld && !shipAuthorized) policyState = "proof_passed_ship_held";
   else if (proofComplete && shippingDisabled && !shipAuthorized) policyState = "proof_complete_ship_disabled";
@@ -168,6 +181,8 @@ function summarizeRiddleProofPublicState(input) {
   if (shippingDisabled) requiredDisclosures.push("shipping_disabled");
   if (checkpointSummary?.audit_disclosure_required) requiredDisclosures.push("checkpoint_audit_counters");
   if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") requiredDisclosures.push("checkpoint_required");
+  const statusDisclosure = statusRequiresDisclosure(status);
+  if (statusDisclosure) requiredDisclosures.push(statusDisclosure);
   const prohibitedClaims = [];
   if (!shipAuthorized || shipHeld || shippingDisabled) prohibitedClaims.push("ship_authorized", "shipped");
   if (!mergeReady) prohibitedClaims.push("merge_ready");
@@ -178,7 +193,7 @@ function summarizeRiddleProofPublicState(input) {
   if (checkpointSummary?.audit_disclosure_required) {
     prohibitedClaims.push("all_checkpoint_responses_accepted");
   }
-  const resultLabel = policyState === "awaiting_checkpoint" ? "checkpoint required" : policyState === "proof_blocked" ? "blocked" : policyState === "proof_failed" ? "failed" : policyState === "proof_complete_ship_disabled" ? "proof complete; shipping disabled" : policyState === "proof_passed_ship_held" ? "proof passed; ship held" : policyState === "ship_authorized" ? status === "shipped" ? "shipped" : "ship authorized" : policyState === "proof_passed" ? "passed" : policyState === "proof_in_progress" ? "running" : status || "recorded";
+  const resultLabel = status === "product_regression" ? "product_regression" : status === "proof_insufficient" ? "proof_insufficient" : status === "environment_blocked" ? "environment_blocked" : status === "configuration_error" ? "configuration_error" : status === "needs_human_review" ? "needs_human_review" : policyState === "awaiting_checkpoint" ? "checkpoint required" : policyState === "proof_blocked" ? "blocked" : policyState === "proof_failed" ? "failed" : policyState === "proof_complete_ship_disabled" ? "proof complete; shipping disabled" : policyState === "proof_passed_ship_held" ? "proof passed; ship held" : policyState === "ship_authorized" ? status === "shipped" ? "shipped" : "ship authorized" : policyState === "proof_passed" ? "passed" : policyState === "proof_in_progress" ? "running" : status || "recorded";
   return {
     status,
     ok,

package/dist/spec/result.js

@@ -12,8 +12,8 @@ import {
   publicStateForRunState,
   recordValue,
   shipControlStateFor
-} from "../chunk-UK7G4RKA.js";
-import "../chunk-6PSM6KB2.js";
+} from "../chunk-NKHZASNQ.js";
+import "../chunk-ZAR7BWMN.js";
 import "../chunk-MLKGABMK.js";
 export {
   applyShipControlState,

package/dist/spec/run-card.cjs

@@ -103,6 +103,19 @@ function checkpointSummaryFrom(...values) {
 function uniqueStrings(values) {
   return [...new Set(values.filter(Boolean))];
 }
+function statusIsProofFailed(status) {
+  return status === "failed" || status === "product_regression";
+}
+function statusIsProofBlocked(status) {
+  return status === "blocked" || status === "proof_insufficient" || status === "environment_blocked" || status === "configuration_error" || status === "needs_human_review";
+}
+function statusRequiresDisclosure(status) {
+  if (status === "proof_insufficient") return "proof_insufficient";
+  if (status === "environment_blocked") return "environment_blocked";
+  if (status === "configuration_error") return "configuration_error";
+  if (status === "needs_human_review") return "human_review_required";
+  return void 0;
+}
 function summarizeRiddleProofPublicState(input) {
   const record = asRecord(input);
   const runCard = asRecord(record.run_card);
@@ -145,7 +158,7 @@ function summarizeRiddleProofPublicState(input) {
     asRecord(record.details).checkpoint_summary,
     asRecord(raw.details).checkpoint_summary
   );
-  const blockedOrWaiting = status === "blocked" || status === "failed" || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
+  const blockedOrWaiting = statusIsProofBlocked(status) || statusIsProofFailed(status) || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
   const proofPassed = Boolean(proofComplete && !blockedOrWaiting);
   const explicitMergeReady = firstBooleanValue(record.merge_ready, stopCondition.merge_ready, raw.merge_ready, handoff.merge_ready);
   const normalPrAllowed = firstBooleanValue(record.normal_pr_allowed, raw.normal_pr_allowed, handoff.normal_pr_allowed);
@@ -154,8 +167,8 @@ function summarizeRiddleProofPublicState(input) {
   const syncAllowed = mergeReady;
   let policyState = "unknown";
   if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") policyState = "awaiting_checkpoint";
-  else if (status === "failed" || handoffState === "proof_failed") policyState = "proof_failed";
-  else if (status === "blocked" || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
+  else if (statusIsProofFailed(status) || handoffState === "proof_failed") policyState = "proof_failed";
+  else if (statusIsProofBlocked(status) || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
   else if (handoffState === "proof_complete_ship_disabled") policyState = "proof_complete_ship_disabled";
   else if (proofComplete && shipHeld && !shipAuthorized) policyState = "proof_passed_ship_held";
   else if (proofComplete && shippingDisabled && !shipAuthorized) policyState = "proof_complete_ship_disabled";
@@ -167,6 +180,8 @@ function summarizeRiddleProofPublicState(input) {
   if (shippingDisabled) requiredDisclosures.push("shipping_disabled");
   if (checkpointSummary?.audit_disclosure_required) requiredDisclosures.push("checkpoint_audit_counters");
   if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") requiredDisclosures.push("checkpoint_required");
+  const statusDisclosure = statusRequiresDisclosure(status);
+  if (statusDisclosure) requiredDisclosures.push(statusDisclosure);
   const prohibitedClaims = [];
   if (!shipAuthorized || shipHeld || shippingDisabled) prohibitedClaims.push("ship_authorized", "shipped");
   if (!mergeReady) prohibitedClaims.push("merge_ready");
@@ -177,7 +192,7 @@ function summarizeRiddleProofPublicState(input) {
   if (checkpointSummary?.audit_disclosure_required) {
     prohibitedClaims.push("all_checkpoint_responses_accepted");
   }
-  const resultLabel = policyState === "awaiting_checkpoint" ? "checkpoint required" : policyState === "proof_blocked" ? "blocked" : policyState === "proof_failed" ? "failed" : policyState === "proof_complete_ship_disabled" ? "proof complete; shipping disabled" : policyState === "proof_passed_ship_held" ? "proof passed; ship held" : policyState === "ship_authorized" ? status === "shipped" ? "shipped" : "ship authorized" : policyState === "proof_passed" ? "passed" : policyState === "proof_in_progress" ? "running" : status || "recorded";
+  const resultLabel = status === "product_regression" ? "product_regression" : status === "proof_insufficient" ? "proof_insufficient" : status === "environment_blocked" ? "environment_blocked" : status === "configuration_error" ? "configuration_error" : status === "needs_human_review" ? "needs_human_review" : policyState === "awaiting_checkpoint" ? "checkpoint required" : policyState === "proof_blocked" ? "blocked" : policyState === "proof_failed" ? "failed" : policyState === "proof_complete_ship_disabled" ? "proof complete; shipping disabled" : policyState === "proof_passed_ship_held" ? "proof passed; ship held" : policyState === "ship_authorized" ? status === "shipped" ? "shipped" : "ship authorized" : policyState === "proof_passed" ? "passed" : policyState === "proof_in_progress" ? "running" : status || "recorded";
   return {
     status,
     ok,

package/dist/spec/run-card.js

@@ -1,10 +1,10 @@
 import {
   RIDDLE_PROOF_RUN_CARD_VERSION,
   createRiddleProofRunCard
-} from "../chunk-2OTPBHSM.js";
-import "../chunk-ZB5XBHWD.js";
-import "../chunk-UK7G4RKA.js";
-import "../chunk-6PSM6KB2.js";
+} from "../chunk-UTCL7FEZ.js";
+import "../chunk-DYE3URAQ.js";
+import "../chunk-NKHZASNQ.js";
+import "../chunk-ZAR7BWMN.js";
 import "../chunk-MLKGABMK.js";
 export {
   RIDDLE_PROOF_RUN_CARD_VERSION,

package/dist/spec/state.cjs

@@ -111,6 +111,19 @@ function checkpointSummaryFrom(...values) {
 function uniqueStrings(values) {
   return [...new Set(values.filter(Boolean))];
 }
+function statusIsProofFailed(status) {
+  return status === "failed" || status === "product_regression";
+}
+function statusIsProofBlocked(status) {
+  return status === "blocked" || status === "proof_insufficient" || status === "environment_blocked" || status === "configuration_error" || status === "needs_human_review";
+}
+function statusRequiresDisclosure(status) {
+  if (status === "proof_insufficient") return "proof_insufficient";
+  if (status === "environment_blocked") return "environment_blocked";
+  if (status === "configuration_error") return "configuration_error";
+  if (status === "needs_human_review") return "human_review_required";
+  return void 0;
+}
 function summarizeRiddleProofPublicState(input) {
   const record = asRecord(input);
   const runCard = asRecord(record.run_card);
@@ -153,7 +166,7 @@ function summarizeRiddleProofPublicState(input) {
     asRecord(record.details).checkpoint_summary,
     asRecord(raw.details).checkpoint_summary
   );
-  const blockedOrWaiting = status === "blocked" || status === "failed" || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
+  const blockedOrWaiting = statusIsProofBlocked(status) || statusIsProofFailed(status) || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
   const proofPassed = Boolean(proofComplete && !blockedOrWaiting);
   const explicitMergeReady = firstBooleanValue(record.merge_ready, stopCondition.merge_ready, raw.merge_ready, handoff.merge_ready);
   const normalPrAllowed = firstBooleanValue(record.normal_pr_allowed, raw.normal_pr_allowed, handoff.normal_pr_allowed);
@@ -162,8 +175,8 @@ function summarizeRiddleProofPublicState(input) {
   const syncAllowed = mergeReady;
   let policyState = "unknown";
   if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") policyState = "awaiting_checkpoint";
-  else if (status === "failed" || handoffState === "proof_failed") policyState = "proof_failed";
-  else if (status === "blocked" || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
+  else if (statusIsProofFailed(status) || handoffState === "proof_failed") policyState = "proof_failed";
+  else if (statusIsProofBlocked(status) || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
   else if (handoffState === "proof_complete_ship_disabled") policyState = "proof_complete_ship_disabled";
   else if (proofComplete && shipHeld && !shipAuthorized) policyState = "proof_passed_ship_held";
   else if (proofComplete && shippingDisabled && !shipAuthorized) policyState = "proof_complete_ship_disabled";
@@ -175,6 +188,8 @@ function summarizeRiddleProofPublicState(input) {
   if (shippingDisabled) requiredDisclosures.push("shipping_disabled");
   if (checkpointSummary?.audit_disclosure_required) requiredDisclosures.push("checkpoint_audit_counters");
   if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") requiredDisclosures.push("checkpoint_required");
+  const statusDisclosure = statusRequiresDisclosure(status);
+  if (statusDisclosure) requiredDisclosures.push(statusDisclosure);
   const prohibitedClaims = [];
   if (!shipAuthorized || shipHeld || shippingDisabled) prohibitedClaims.push("ship_authorized", "shipped");
   if (!mergeReady) prohibitedClaims.push("merge_ready");
@@ -185,7 +200,7 @@ function summarizeRiddleProofPublicState(input) {
   if (checkpointSummary?.audit_disclosure_required) {
     prohibitedClaims.push("all_checkpoint_responses_accepted");
   }
-  const resultLabel = policyState === "awaiting_checkpoint" ? "checkpoint required" : policyState === "proof_blocked" ? "blocked" : policyState === "proof_failed" ? "failed" : policyState === "proof_complete_ship_disabled" ? "proof complete; shipping disabled" : policyState === "proof_passed_ship_held" ? "proof passed; ship held" : policyState === "ship_authorized" ? status === "shipped" ? "shipped" : "ship authorized" : policyState === "proof_passed" ? "passed" : policyState === "proof_in_progress" ? "running" : status || "recorded";
+  const resultLabel = status === "product_regression" ? "product_regression" : status === "proof_insufficient" ? "proof_insufficient" : status === "environment_blocked" ? "environment_blocked" : status === "configuration_error" ? "configuration_error" : status === "needs_human_review" ? "needs_human_review" : policyState === "awaiting_checkpoint" ? "checkpoint required" : policyState === "proof_blocked" ? "blocked" : policyState === "proof_failed" ? "failed" : policyState === "proof_complete_ship_disabled" ? "proof complete; shipping disabled" : policyState === "proof_passed_ship_held" ? "proof passed; ship held" : policyState === "ship_authorized" ? status === "shipped" ? "shipped" : "ship authorized" : policyState === "proof_passed" ? "passed" : policyState === "proof_in_progress" ? "running" : status || "recorded";
   return {
     status,
     ok,

package/dist/spec/state.js

@@ -9,11 +9,11 @@ import {
   normalizePrLifecycleState,
   normalizeRunParams,
   setRunStatus
-} from "../chunk-NMQIWBSB.js";
-import "../chunk-2OTPBHSM.js";
-import "../chunk-ZB5XBHWD.js";
-import "../chunk-UK7G4RKA.js";
-import "../chunk-6PSM6KB2.js";
+} from "../chunk-CGJX7LJO.js";
+import "../chunk-UTCL7FEZ.js";
+import "../chunk-DYE3URAQ.js";
+import "../chunk-NKHZASNQ.js";
+import "../chunk-ZAR7BWMN.js";
 import "../chunk-MLKGABMK.js";
 export {
   RIDDLE_PROOF_RUN_STATE_VERSION,