@riddledc/riddle-proof 0.8.69 → 0.8.71

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (66) hide show
  1. package/dist/adapters/codex-exec-agent.js +3 -3
  2. package/dist/adapters/codex.js +3 -3
  3. package/dist/adapters/local-agent.js +3 -3
  4. package/dist/adapters/openclaw.js +6 -6
  5. package/dist/advanced/engine-harness.cjs +19 -4
  6. package/dist/advanced/engine-harness.js +6 -6
  7. package/dist/advanced/index.cjs +19 -4
  8. package/dist/advanced/index.js +7 -7
  9. package/dist/advanced/runner.cjs +19 -4
  10. package/dist/advanced/runner.js +6 -6
  11. package/dist/checkpoint.js +3 -3
  12. package/dist/{chunk-NMQIWBSB.js → chunk-CGJX7LJO.js} +2 -2
  13. package/dist/{chunk-DTFSHRV5.js → chunk-CWRIXP5H.js} +1 -1
  14. package/dist/{chunk-ZB5XBHWD.js → chunk-DYE3URAQ.js} +1 -1
  15. package/dist/{chunk-WKNWMRDF.js → chunk-HNAMDVE3.js} +2 -2
  16. package/dist/{chunk-OD6OKXL2.js → chunk-KXLEN4SA.js} +1 -1
  17. package/dist/{chunk-UK7G4RKA.js → chunk-NKHZASNQ.js} +1 -1
  18. package/dist/{chunk-AF3KFD4A.js → chunk-RJVA5KKM.js} +4 -4
  19. package/dist/{chunk-2OTPBHSM.js → chunk-UTCL7FEZ.js} +2 -2
  20. package/dist/{chunk-P4BHU5NM.js → chunk-WLUMLHII.js} +4 -4
  21. package/dist/{chunk-LD2YTPD7.js → chunk-YH7ADFY4.js} +2 -2
  22. package/dist/{chunk-6PSM6KB2.js → chunk-ZAR7BWMN.js} +19 -4
  23. package/dist/cli/index.js +9 -9
  24. package/dist/cli.cjs +19 -4
  25. package/dist/cli.js +9 -9
  26. package/dist/codex-exec-agent.js +3 -3
  27. package/dist/engine-harness.cjs +19 -4
  28. package/dist/engine-harness.js +6 -6
  29. package/dist/index.cjs +19 -4
  30. package/dist/index.js +9 -9
  31. package/dist/local-agent.js +3 -3
  32. package/dist/openclaw.js +6 -6
  33. package/dist/pr-comment.cjs +19 -4
  34. package/dist/pr-comment.js +2 -2
  35. package/dist/public-state.cjs +19 -4
  36. package/dist/public-state.js +1 -1
  37. package/dist/result.cjs +19 -4
  38. package/dist/result.js +2 -2
  39. package/dist/run-card.cjs +19 -4
  40. package/dist/run-card.js +4 -4
  41. package/dist/runner.cjs +19 -4
  42. package/dist/runner.js +6 -6
  43. package/dist/spec/checkpoint.js +3 -3
  44. package/dist/spec/index.cjs +19 -4
  45. package/dist/spec/index.js +5 -5
  46. package/dist/spec/public-state.cjs +19 -4
  47. package/dist/spec/public-state.js +1 -1
  48. package/dist/spec/result.cjs +19 -4
  49. package/dist/spec/result.js +2 -2
  50. package/dist/spec/run-card.cjs +19 -4
  51. package/dist/spec/run-card.js +4 -4
  52. package/dist/spec/state.cjs +19 -4
  53. package/dist/spec/state.js +5 -5
  54. package/dist/state.cjs +19 -4
  55. package/dist/state.js +5 -5
  56. package/examples/neutral-fixture-site/README.md +19 -0
  57. package/examples/neutral-fixture-site/index.html +23 -0
  58. package/examples/neutral-fixture-site/pass.html +35 -0
  59. package/examples/neutral-fixture-site/styles.css +110 -0
  60. package/examples/profiles/neutral-fixture-pass.json +30 -0
  61. package/examples/profiles/neutral-fixture-product-regression.json +27 -0
  62. package/examples/story-matrices/README.md +5 -0
  63. package/examples/story-matrices/riddle-proof-bounded-loop.json +95 -0
  64. package/examples/story-matrices/riddle-proof-neutral-public-state-fixtures.json +144 -0
  65. package/examples/story-matrices/riddle-proof-ux-coverage.csv +13 -2
  66. package/package.json +1 -1
@@ -3,9 +3,9 @@ import {
3
3
  createCodexExecAgentAdapter,
4
4
  createCodexExecJsonRunner,
5
5
  runCodexExecAgentDoctor
6
- } from "../chunk-OD6OKXL2.js";
7
- import "../chunk-UK7G4RKA.js";
8
- import "../chunk-6PSM6KB2.js";
6
+ } from "../chunk-KXLEN4SA.js";
7
+ import "../chunk-NKHZASNQ.js";
8
+ import "../chunk-ZAR7BWMN.js";
9
9
  import "../chunk-MLKGABMK.js";
10
10
  export {
11
11
  createCodexExecAgentAdapter,
@@ -3,9 +3,9 @@ import {
3
3
  createCodexExecAgentAdapter,
4
4
  createCodexExecJsonRunner,
5
5
  runCodexExecAgentDoctor
6
- } from "../chunk-OD6OKXL2.js";
7
- import "../chunk-UK7G4RKA.js";
8
- import "../chunk-6PSM6KB2.js";
6
+ } from "../chunk-KXLEN4SA.js";
7
+ import "../chunk-NKHZASNQ.js";
8
+ import "../chunk-ZAR7BWMN.js";
9
9
  import "../chunk-MLKGABMK.js";
10
10
  export {
11
11
  createCodexExecAgentAdapter,
@@ -3,9 +3,9 @@ import {
3
3
  createCodexExecAgentAdapter,
4
4
  createCodexExecJsonRunner,
5
5
  runCodexExecAgentDoctor
6
- } from "../chunk-OD6OKXL2.js";
7
- import "../chunk-UK7G4RKA.js";
8
- import "../chunk-6PSM6KB2.js";
6
+ } from "../chunk-KXLEN4SA.js";
7
+ import "../chunk-NKHZASNQ.js";
8
+ import "../chunk-ZAR7BWMN.js";
9
9
  import "../chunk-MLKGABMK.js";
10
10
  export {
11
11
  createCodexExecAgentAdapter as createLocalAgentAdapter,
@@ -3,12 +3,12 @@ import {
3
3
  parseOpenClawAssertions,
4
4
  parseOpenClawJsonObjectOrArray,
5
5
  toRiddleProofRunParams
6
- } from "../chunk-WKNWMRDF.js";
7
- import "../chunk-NMQIWBSB.js";
8
- import "../chunk-2OTPBHSM.js";
9
- import "../chunk-ZB5XBHWD.js";
10
- import "../chunk-UK7G4RKA.js";
11
- import "../chunk-6PSM6KB2.js";
6
+ } from "../chunk-HNAMDVE3.js";
7
+ import "../chunk-CGJX7LJO.js";
8
+ import "../chunk-UTCL7FEZ.js";
9
+ import "../chunk-DYE3URAQ.js";
10
+ import "../chunk-NKHZASNQ.js";
11
+ import "../chunk-ZAR7BWMN.js";
12
12
  import "../chunk-MLKGABMK.js";
13
13
  export {
14
14
  openClawIntegrationContext,
@@ -3487,6 +3487,19 @@ function checkpointSummaryFrom(...values) {
3487
3487
  function uniqueStrings(values) {
3488
3488
  return [...new Set(values.filter(Boolean))];
3489
3489
  }
3490
+ function statusIsProofFailed(status) {
3491
+ return status === "failed" || status === "product_regression";
3492
+ }
3493
+ function statusIsProofBlocked(status) {
3494
+ return status === "blocked" || status === "proof_insufficient" || status === "environment_blocked" || status === "configuration_error" || status === "needs_human_review";
3495
+ }
3496
+ function statusRequiresDisclosure(status) {
3497
+ if (status === "proof_insufficient") return "proof_insufficient";
3498
+ if (status === "environment_blocked") return "environment_blocked";
3499
+ if (status === "configuration_error") return "configuration_error";
3500
+ if (status === "needs_human_review") return "human_review_required";
3501
+ return void 0;
3502
+ }
3490
3503
  function summarizeRiddleProofPublicState(input) {
3491
3504
  const record = asRecord(input);
3492
3505
  const runCard = asRecord(record.run_card);
@@ -3529,7 +3542,7 @@ function summarizeRiddleProofPublicState(input) {
3529
3542
  asRecord(record.details).checkpoint_summary,
3530
3543
  asRecord(raw.details).checkpoint_summary
3531
3544
  );
3532
- const blockedOrWaiting = status === "blocked" || status === "failed" || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
3545
+ const blockedOrWaiting = statusIsProofBlocked(status) || statusIsProofFailed(status) || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
3533
3546
  const proofPassed = Boolean(proofComplete && !blockedOrWaiting);
3534
3547
  const explicitMergeReady = firstBooleanValue(record.merge_ready, stopCondition.merge_ready, raw.merge_ready, handoff.merge_ready);
3535
3548
  const normalPrAllowed = firstBooleanValue(record.normal_pr_allowed, raw.normal_pr_allowed, handoff.normal_pr_allowed);
@@ -3538,8 +3551,8 @@ function summarizeRiddleProofPublicState(input) {
3538
3551
  const syncAllowed = mergeReady;
3539
3552
  let policyState = "unknown";
3540
3553
  if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") policyState = "awaiting_checkpoint";
3541
- else if (status === "failed" || handoffState === "proof_failed") policyState = "proof_failed";
3542
- else if (status === "blocked" || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
3554
+ else if (statusIsProofFailed(status) || handoffState === "proof_failed") policyState = "proof_failed";
3555
+ else if (statusIsProofBlocked(status) || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
3543
3556
  else if (handoffState === "proof_complete_ship_disabled") policyState = "proof_complete_ship_disabled";
3544
3557
  else if (proofComplete && shipHeld && !shipAuthorized) policyState = "proof_passed_ship_held";
3545
3558
  else if (proofComplete && shippingDisabled && !shipAuthorized) policyState = "proof_complete_ship_disabled";
@@ -3551,6 +3564,8 @@ function summarizeRiddleProofPublicState(input) {
3551
3564
  if (shippingDisabled) requiredDisclosures.push("shipping_disabled");
3552
3565
  if (checkpointSummary?.audit_disclosure_required) requiredDisclosures.push("checkpoint_audit_counters");
3553
3566
  if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") requiredDisclosures.push("checkpoint_required");
3567
+ const statusDisclosure = statusRequiresDisclosure(status);
3568
+ if (statusDisclosure) requiredDisclosures.push(statusDisclosure);
3554
3569
  const prohibitedClaims = [];
3555
3570
  if (!shipAuthorized || shipHeld || shippingDisabled) prohibitedClaims.push("ship_authorized", "shipped");
3556
3571
  if (!mergeReady) prohibitedClaims.push("merge_ready");
@@ -3561,7 +3576,7 @@ function summarizeRiddleProofPublicState(input) {
3561
3576
  if (checkpointSummary?.audit_disclosure_required) {
3562
3577
  prohibitedClaims.push("all_checkpoint_responses_accepted");
3563
3578
  }
3564
- 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";
3579
+ 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";
3565
3580
  return {
3566
3581
  status,
3567
3582
  ok,
@@ -2,13 +2,13 @@ import {
2
2
  createDisabledRiddleProofAgentAdapter,
3
3
  readRiddleProofRunStatus,
4
4
  runRiddleProofEngineHarness
5
- } from "../chunk-P4BHU5NM.js";
6
- import "../chunk-NMQIWBSB.js";
7
- import "../chunk-2OTPBHSM.js";
5
+ } from "../chunk-WLUMLHII.js";
6
+ import "../chunk-CGJX7LJO.js";
7
+ import "../chunk-UTCL7FEZ.js";
8
8
  import "../chunk-EKZXU6MU.js";
9
- import "../chunk-ZB5XBHWD.js";
10
- import "../chunk-UK7G4RKA.js";
11
- import "../chunk-6PSM6KB2.js";
9
+ import "../chunk-DYE3URAQ.js";
10
+ import "../chunk-NKHZASNQ.js";
11
+ import "../chunk-ZAR7BWMN.js";
12
12
  import "../chunk-MLKGABMK.js";
13
13
  export {
14
14
  createDisabledRiddleProofAgentAdapter,
@@ -3521,6 +3521,19 @@ function checkpointSummaryFrom(...values) {
3521
3521
  function uniqueStrings(values) {
3522
3522
  return [...new Set(values.filter(Boolean))];
3523
3523
  }
3524
+ function statusIsProofFailed(status) {
3525
+ return status === "failed" || status === "product_regression";
3526
+ }
3527
+ function statusIsProofBlocked(status) {
3528
+ return status === "blocked" || status === "proof_insufficient" || status === "environment_blocked" || status === "configuration_error" || status === "needs_human_review";
3529
+ }
3530
+ function statusRequiresDisclosure(status) {
3531
+ if (status === "proof_insufficient") return "proof_insufficient";
3532
+ if (status === "environment_blocked") return "environment_blocked";
3533
+ if (status === "configuration_error") return "configuration_error";
3534
+ if (status === "needs_human_review") return "human_review_required";
3535
+ return void 0;
3536
+ }
3524
3537
  function summarizeRiddleProofPublicState(input) {
3525
3538
  const record = asRecord(input);
3526
3539
  const runCard = asRecord(record.run_card);
@@ -3563,7 +3576,7 @@ function summarizeRiddleProofPublicState(input) {
3563
3576
  asRecord(record.details).checkpoint_summary,
3564
3577
  asRecord(raw.details).checkpoint_summary
3565
3578
  );
3566
- const blockedOrWaiting = status === "blocked" || status === "failed" || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
3579
+ const blockedOrWaiting = statusIsProofBlocked(status) || statusIsProofFailed(status) || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
3567
3580
  const proofPassed = Boolean(proofComplete && !blockedOrWaiting);
3568
3581
  const explicitMergeReady = firstBooleanValue(record.merge_ready, stopCondition.merge_ready, raw.merge_ready, handoff.merge_ready);
3569
3582
  const normalPrAllowed = firstBooleanValue(record.normal_pr_allowed, raw.normal_pr_allowed, handoff.normal_pr_allowed);
@@ -3572,8 +3585,8 @@ function summarizeRiddleProofPublicState(input) {
3572
3585
  const syncAllowed = mergeReady;
3573
3586
  let policyState = "unknown";
3574
3587
  if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") policyState = "awaiting_checkpoint";
3575
- else if (status === "failed" || handoffState === "proof_failed") policyState = "proof_failed";
3576
- else if (status === "blocked" || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
3588
+ else if (statusIsProofFailed(status) || handoffState === "proof_failed") policyState = "proof_failed";
3589
+ else if (statusIsProofBlocked(status) || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
3577
3590
  else if (handoffState === "proof_complete_ship_disabled") policyState = "proof_complete_ship_disabled";
3578
3591
  else if (proofComplete && shipHeld && !shipAuthorized) policyState = "proof_passed_ship_held";
3579
3592
  else if (proofComplete && shippingDisabled && !shipAuthorized) policyState = "proof_complete_ship_disabled";
@@ -3585,6 +3598,8 @@ function summarizeRiddleProofPublicState(input) {
3585
3598
  if (shippingDisabled) requiredDisclosures.push("shipping_disabled");
3586
3599
  if (checkpointSummary?.audit_disclosure_required) requiredDisclosures.push("checkpoint_audit_counters");
3587
3600
  if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") requiredDisclosures.push("checkpoint_required");
3601
+ const statusDisclosure = statusRequiresDisclosure(status);
3602
+ if (statusDisclosure) requiredDisclosures.push(statusDisclosure);
3588
3603
  const prohibitedClaims = [];
3589
3604
  if (!shipAuthorized || shipHeld || shippingDisabled) prohibitedClaims.push("ship_authorized", "shipped");
3590
3605
  if (!mergeReady) prohibitedClaims.push("merge_ready");
@@ -3595,7 +3610,7 @@ function summarizeRiddleProofPublicState(input) {
3595
3610
  if (checkpointSummary?.audit_disclosure_required) {
3596
3611
  prohibitedClaims.push("all_checkpoint_responses_accepted");
3597
3612
  }
3598
- 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";
3613
+ 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";
3599
3614
  return {
3600
3615
  status,
3601
3616
  ok,
@@ -3,18 +3,18 @@ import {
3
3
  } from "../chunk-VYJD6XYF.js";
4
4
  import {
5
5
  runner_exports
6
- } from "../chunk-LD2YTPD7.js";
6
+ } from "../chunk-YH7ADFY4.js";
7
7
  import {
8
8
  engine_harness_exports
9
- } from "../chunk-P4BHU5NM.js";
10
- import "../chunk-NMQIWBSB.js";
11
- import "../chunk-2OTPBHSM.js";
9
+ } from "../chunk-WLUMLHII.js";
10
+ import "../chunk-CGJX7LJO.js";
11
+ import "../chunk-UTCL7FEZ.js";
12
12
  import {
13
13
  proof_run_core_exports
14
14
  } from "../chunk-EKZXU6MU.js";
15
- import "../chunk-ZB5XBHWD.js";
16
- import "../chunk-UK7G4RKA.js";
17
- import "../chunk-6PSM6KB2.js";
15
+ import "../chunk-DYE3URAQ.js";
16
+ import "../chunk-NKHZASNQ.js";
17
+ import "../chunk-ZAR7BWMN.js";
18
18
  import "../chunk-MLKGABMK.js";
19
19
  export {
20
20
  engine_harness_exports as engineHarness,
@@ -102,6 +102,19 @@ function checkpointSummaryFrom(...values) {
102
102
  function uniqueStrings(values) {
103
103
  return [...new Set(values.filter(Boolean))];
104
104
  }
105
+ function statusIsProofFailed(status) {
106
+ return status === "failed" || status === "product_regression";
107
+ }
108
+ function statusIsProofBlocked(status) {
109
+ return status === "blocked" || status === "proof_insufficient" || status === "environment_blocked" || status === "configuration_error" || status === "needs_human_review";
110
+ }
111
+ function statusRequiresDisclosure(status) {
112
+ if (status === "proof_insufficient") return "proof_insufficient";
113
+ if (status === "environment_blocked") return "environment_blocked";
114
+ if (status === "configuration_error") return "configuration_error";
115
+ if (status === "needs_human_review") return "human_review_required";
116
+ return void 0;
117
+ }
105
118
  function summarizeRiddleProofPublicState(input) {
106
119
  const record = asRecord(input);
107
120
  const runCard = asRecord(record.run_card);
@@ -144,7 +157,7 @@ function summarizeRiddleProofPublicState(input) {
144
157
  asRecord(record.details).checkpoint_summary,
145
158
  asRecord(raw.details).checkpoint_summary
146
159
  );
147
- const blockedOrWaiting = status === "blocked" || status === "failed" || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
160
+ const blockedOrWaiting = statusIsProofBlocked(status) || statusIsProofFailed(status) || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
148
161
  const proofPassed = Boolean(proofComplete && !blockedOrWaiting);
149
162
  const explicitMergeReady = firstBooleanValue(record.merge_ready, stopCondition.merge_ready, raw.merge_ready, handoff.merge_ready);
150
163
  const normalPrAllowed = firstBooleanValue(record.normal_pr_allowed, raw.normal_pr_allowed, handoff.normal_pr_allowed);
@@ -153,8 +166,8 @@ function summarizeRiddleProofPublicState(input) {
153
166
  const syncAllowed = mergeReady;
154
167
  let policyState = "unknown";
155
168
  if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") policyState = "awaiting_checkpoint";
156
- else if (status === "failed" || handoffState === "proof_failed") policyState = "proof_failed";
157
- else if (status === "blocked" || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
169
+ else if (statusIsProofFailed(status) || handoffState === "proof_failed") policyState = "proof_failed";
170
+ else if (statusIsProofBlocked(status) || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
158
171
  else if (handoffState === "proof_complete_ship_disabled") policyState = "proof_complete_ship_disabled";
159
172
  else if (proofComplete && shipHeld && !shipAuthorized) policyState = "proof_passed_ship_held";
160
173
  else if (proofComplete && shippingDisabled && !shipAuthorized) policyState = "proof_complete_ship_disabled";
@@ -166,6 +179,8 @@ function summarizeRiddleProofPublicState(input) {
166
179
  if (shippingDisabled) requiredDisclosures.push("shipping_disabled");
167
180
  if (checkpointSummary?.audit_disclosure_required) requiredDisclosures.push("checkpoint_audit_counters");
168
181
  if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") requiredDisclosures.push("checkpoint_required");
182
+ const statusDisclosure = statusRequiresDisclosure(status);
183
+ if (statusDisclosure) requiredDisclosures.push(statusDisclosure);
169
184
  const prohibitedClaims = [];
170
185
  if (!shipAuthorized || shipHeld || shippingDisabled) prohibitedClaims.push("ship_authorized", "shipped");
171
186
  if (!mergeReady) prohibitedClaims.push("merge_ready");
@@ -176,7 +191,7 @@ function summarizeRiddleProofPublicState(input) {
176
191
  if (checkpointSummary?.audit_disclosure_required) {
177
192
  prohibitedClaims.push("all_checkpoint_responses_accepted");
178
193
  }
179
- 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";
194
+ 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";
180
195
  return {
181
196
  status,
182
197
  ok,
@@ -1,12 +1,12 @@
1
1
  import {
2
2
  runRiddleProof
3
- } from "../chunk-LD2YTPD7.js";
4
- import "../chunk-NMQIWBSB.js";
5
- import "../chunk-2OTPBHSM.js";
3
+ } from "../chunk-YH7ADFY4.js";
4
+ import "../chunk-CGJX7LJO.js";
5
+ import "../chunk-UTCL7FEZ.js";
6
6
  import "../chunk-EKZXU6MU.js";
7
- import "../chunk-ZB5XBHWD.js";
8
- import "../chunk-UK7G4RKA.js";
9
- import "../chunk-6PSM6KB2.js";
7
+ import "../chunk-DYE3URAQ.js";
8
+ import "../chunk-NKHZASNQ.js";
9
+ import "../chunk-ZAR7BWMN.js";
10
10
  import "../chunk-MLKGABMK.js";
11
11
  export {
12
12
  runRiddleProof
@@ -14,9 +14,9 @@ import {
14
14
  normalizeCheckpointResponse,
15
15
  proofContractFromAuthorCheckpointResponse,
16
16
  statePathsForRunState
17
- } from "./chunk-ZB5XBHWD.js";
18
- import "./chunk-UK7G4RKA.js";
19
- import "./chunk-6PSM6KB2.js";
17
+ } from "./chunk-DYE3URAQ.js";
18
+ import "./chunk-NKHZASNQ.js";
19
+ import "./chunk-ZAR7BWMN.js";
20
20
  import "./chunk-MLKGABMK.js";
21
21
  export {
22
22
  RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
@@ -1,6 +1,6 @@
1
1
  import {
2
2
  createRiddleProofRunCard
3
- } from "./chunk-2OTPBHSM.js";
3
+ } from "./chunk-UTCL7FEZ.js";
4
4
  import {
5
5
  compactRecord,
6
6
  isProtectedFinalStatus,
@@ -8,7 +8,7 @@ import {
8
8
  nonEmptyString,
9
9
  publicStateForRunState,
10
10
  recordValue
11
- } from "./chunk-UK7G4RKA.js";
11
+ } from "./chunk-NKHZASNQ.js";
12
12
 
13
13
  // src/state.ts
14
14
  var RIDDLE_PROOF_RUN_STATE_VERSION = "riddle-proof.run-state.v1";
@@ -2,7 +2,7 @@ import {
2
2
  riddleProofPublicStateAllowsMergeRecommendation,
3
3
  riddleProofPublicStateMergeRecommendation,
4
4
  summarizeRiddleProofPublicState
5
- } from "./chunk-6PSM6KB2.js";
5
+ } from "./chunk-ZAR7BWMN.js";
6
6
 
7
7
  // src/pr-comment.ts
8
8
  var RIDDLE_PROOF_PR_COMMENT_MARKER = "<!-- riddle-proof:pr-comment:v1 -->";
@@ -2,7 +2,7 @@ import {
2
2
  compactRecord,
3
3
  nonEmptyString,
4
4
  recordValue
5
- } from "./chunk-UK7G4RKA.js";
5
+ } from "./chunk-NKHZASNQ.js";
6
6
 
7
7
  // src/checkpoint.ts
8
8
  import crypto from "crypto";
@@ -1,10 +1,10 @@
1
1
  import {
2
2
  normalizeIntegrationContext,
3
3
  normalizeRunParams
4
- } from "./chunk-NMQIWBSB.js";
4
+ } from "./chunk-CGJX7LJO.js";
5
5
  import {
6
6
  compactRecord
7
- } from "./chunk-UK7G4RKA.js";
7
+ } from "./chunk-NKHZASNQ.js";
8
8
 
9
9
  // src/openclaw.ts
10
10
  function parseOpenClawAssertions(value) {
@@ -1,6 +1,6 @@
1
1
  import {
2
2
  compactRecord
3
- } from "./chunk-UK7G4RKA.js";
3
+ } from "./chunk-NKHZASNQ.js";
4
4
 
5
5
  // src/codex-exec-agent.ts
6
6
  import { execFileSync, spawnSync } from "child_process";
@@ -1,7 +1,7 @@
1
1
  import {
2
2
  riddleProofPublicStateMergeRecommendation,
3
3
  summarizeRiddleProofPublicState
4
- } from "./chunk-6PSM6KB2.js";
4
+ } from "./chunk-ZAR7BWMN.js";
5
5
 
6
6
  // src/result.ts
7
7
  function isTerminalStatus(status) {
@@ -8,7 +8,7 @@ import {
8
8
  RIDDLE_PROOF_PR_COMMENT_MARKER,
9
9
  buildRiddleProofPrCommentMarkdown,
10
10
  summarizeRiddleProofPrComment
11
- } from "./chunk-DTFSHRV5.js";
11
+ } from "./chunk-CWRIXP5H.js";
12
12
  import {
13
13
  suggestRiddleProofProfileChecks
14
14
  } from "./chunk-5Y4V2IXI.js";
@@ -32,14 +32,14 @@ import {
32
32
  createDisabledRiddleProofAgentAdapter,
33
33
  readRiddleProofRunStatus,
34
34
  runRiddleProofEngineHarness
35
- } from "./chunk-P4BHU5NM.js";
35
+ } from "./chunk-WLUMLHII.js";
36
36
  import {
37
37
  createCheckpointResponseTemplate
38
- } from "./chunk-ZB5XBHWD.js";
38
+ } from "./chunk-DYE3URAQ.js";
39
39
  import {
40
40
  createCodexExecAgentAdapter,
41
41
  runCodexExecAgentDoctor
42
- } from "./chunk-OD6OKXL2.js";
42
+ } from "./chunk-KXLEN4SA.js";
43
43
 
44
44
  // src/cli.ts
45
45
  import { spawnSync } from "child_process";
@@ -1,6 +1,6 @@
1
1
  import {
2
2
  statePathsForRunState
3
- } from "./chunk-ZB5XBHWD.js";
3
+ } from "./chunk-DYE3URAQ.js";
4
4
  import {
5
5
  compactRecord,
6
6
  isTerminalStatus,
@@ -8,7 +8,7 @@ import {
8
8
  publicMergeRecommendationForRunState,
9
9
  publicStateForRunState,
10
10
  recordValue
11
- } from "./chunk-UK7G4RKA.js";
11
+ } from "./chunk-NKHZASNQ.js";
12
12
 
13
13
  // src/run-card.ts
14
14
  var RIDDLE_PROOF_RUN_CARD_VERSION = "riddle-proof.run-card.v1";
@@ -5,10 +5,10 @@ import {
5
5
  createRunStatusSnapshot,
6
6
  normalizeRunParams,
7
7
  setRunStatus
8
- } from "./chunk-NMQIWBSB.js";
8
+ } from "./chunk-CGJX7LJO.js";
9
9
  import {
10
10
  createRiddleProofRunCard
11
- } from "./chunk-2OTPBHSM.js";
11
+ } from "./chunk-UTCL7FEZ.js";
12
12
  import {
13
13
  canonicalProofAssessmentStageForDecision,
14
14
  noImplementationModeFor,
@@ -27,7 +27,7 @@ import {
27
27
  normalizeCheckpointResponse,
28
28
  proofContractFromAuthorCheckpointResponse,
29
29
  statePathsForRunState
30
- } from "./chunk-ZB5XBHWD.js";
30
+ } from "./chunk-DYE3URAQ.js";
31
31
  import {
32
32
  applyShipControlState,
33
33
  applyTerminalMetadata,
@@ -37,7 +37,7 @@ import {
37
37
  nonEmptyString,
38
38
  normalizeTerminalMetadata,
39
39
  recordValue
40
- } from "./chunk-UK7G4RKA.js";
40
+ } from "./chunk-NKHZASNQ.js";
41
41
  import {
42
42
  __export
43
43
  } from "./chunk-MLKGABMK.js";
@@ -3,13 +3,13 @@ import {
3
3
  appendStageHeartbeat,
4
4
  createRunState,
5
5
  setRunStatus
6
- } from "./chunk-NMQIWBSB.js";
6
+ } from "./chunk-CGJX7LJO.js";
7
7
  import {
8
8
  noImplementationModeFor
9
9
  } from "./chunk-EKZXU6MU.js";
10
10
  import {
11
11
  createRunResult
12
- } from "./chunk-UK7G4RKA.js";
12
+ } from "./chunk-NKHZASNQ.js";
13
13
  import {
14
14
  __export
15
15
  } from "./chunk-MLKGABMK.js";
@@ -66,6 +66,19 @@ function checkpointSummaryFrom(...values) {
66
66
  function uniqueStrings(values) {
67
67
  return [...new Set(values.filter(Boolean))];
68
68
  }
69
+ function statusIsProofFailed(status) {
70
+ return status === "failed" || status === "product_regression";
71
+ }
72
+ function statusIsProofBlocked(status) {
73
+ return status === "blocked" || status === "proof_insufficient" || status === "environment_blocked" || status === "configuration_error" || status === "needs_human_review";
74
+ }
75
+ function statusRequiresDisclosure(status) {
76
+ if (status === "proof_insufficient") return "proof_insufficient";
77
+ if (status === "environment_blocked") return "environment_blocked";
78
+ if (status === "configuration_error") return "configuration_error";
79
+ if (status === "needs_human_review") return "human_review_required";
80
+ return void 0;
81
+ }
69
82
  function summarizeRiddleProofPublicState(input) {
70
83
  const record = asRecord(input);
71
84
  const runCard = asRecord(record.run_card);
@@ -108,7 +121,7 @@ function summarizeRiddleProofPublicState(input) {
108
121
  asRecord(record.details).checkpoint_summary,
109
122
  asRecord(raw.details).checkpoint_summary
110
123
  );
111
- const blockedOrWaiting = status === "blocked" || status === "failed" || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
124
+ const blockedOrWaiting = statusIsProofBlocked(status) || statusIsProofFailed(status) || status === "awaiting_checkpoint" || handoffState === "proof_blocked" || handoffState === "proof_review_required" || handoffState === "proof_failed" || handoffState === "proof_checkpoint_required";
112
125
  const proofPassed = Boolean(proofComplete && !blockedOrWaiting);
113
126
  const explicitMergeReady = firstBooleanValue(record.merge_ready, stopCondition.merge_ready, raw.merge_ready, handoff.merge_ready);
114
127
  const normalPrAllowed = firstBooleanValue(record.normal_pr_allowed, raw.normal_pr_allowed, handoff.normal_pr_allowed);
@@ -117,8 +130,8 @@ function summarizeRiddleProofPublicState(input) {
117
130
  const syncAllowed = mergeReady;
118
131
  let policyState = "unknown";
119
132
  if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") policyState = "awaiting_checkpoint";
120
- else if (status === "failed" || handoffState === "proof_failed") policyState = "proof_failed";
121
- else if (status === "blocked" || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
133
+ else if (statusIsProofFailed(status) || handoffState === "proof_failed") policyState = "proof_failed";
134
+ else if (statusIsProofBlocked(status) || handoffState === "proof_blocked" || handoffState === "proof_review_required") policyState = "proof_blocked";
122
135
  else if (handoffState === "proof_complete_ship_disabled") policyState = "proof_complete_ship_disabled";
123
136
  else if (proofComplete && shipHeld && !shipAuthorized) policyState = "proof_passed_ship_held";
124
137
  else if (proofComplete && shippingDisabled && !shipAuthorized) policyState = "proof_complete_ship_disabled";
@@ -130,6 +143,8 @@ function summarizeRiddleProofPublicState(input) {
130
143
  if (shippingDisabled) requiredDisclosures.push("shipping_disabled");
131
144
  if (checkpointSummary?.audit_disclosure_required) requiredDisclosures.push("checkpoint_audit_counters");
132
145
  if (status === "awaiting_checkpoint" || handoffState === "proof_checkpoint_required") requiredDisclosures.push("checkpoint_required");
146
+ const statusDisclosure = statusRequiresDisclosure(status);
147
+ if (statusDisclosure) requiredDisclosures.push(statusDisclosure);
133
148
  const prohibitedClaims = [];
134
149
  if (!shipAuthorized || shipHeld || shippingDisabled) prohibitedClaims.push("ship_authorized", "shipped");
135
150
  if (!mergeReady) prohibitedClaims.push("merge_ready");
@@ -140,7 +155,7 @@ function summarizeRiddleProofPublicState(input) {
140
155
  if (checkpointSummary?.audit_disclosure_required) {
141
156
  prohibitedClaims.push("all_checkpoint_responses_accepted");
142
157
  }
143
- 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";
158
+ 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";
144
159
  return {
145
160
  status,
146
161
  ok,
package/dist/cli/index.js CHANGED
@@ -1,15 +1,15 @@
1
- import "../chunk-AF3KFD4A.js";
1
+ import "../chunk-RJVA5KKM.js";
2
2
  import "../chunk-B2DP2LET.js";
3
- import "../chunk-DTFSHRV5.js";
3
+ import "../chunk-CWRIXP5H.js";
4
4
  import "../chunk-5Y4V2IXI.js";
5
5
  import "../chunk-EX7TO4I5.js";
6
- import "../chunk-P4BHU5NM.js";
7
- import "../chunk-NMQIWBSB.js";
8
- import "../chunk-2OTPBHSM.js";
6
+ import "../chunk-WLUMLHII.js";
7
+ import "../chunk-CGJX7LJO.js";
8
+ import "../chunk-UTCL7FEZ.js";
9
9
  import "../chunk-EKZXU6MU.js";
10
- import "../chunk-ZB5XBHWD.js";
10
+ import "../chunk-DYE3URAQ.js";
11
11
  import "../chunk-JFQXAJH2.js";
12
- import "../chunk-OD6OKXL2.js";
13
- import "../chunk-UK7G4RKA.js";
14
- import "../chunk-6PSM6KB2.js";
12
+ import "../chunk-KXLEN4SA.js";
13
+ import "../chunk-NKHZASNQ.js";
14
+ import "../chunk-ZAR7BWMN.js";
15
15
  import "../chunk-MLKGABMK.js";