@riddledc/riddle-proof 0.8.61 → 0.8.63

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 (54) 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.js +6 -6
  6. package/dist/advanced/index.cjs +25 -1
  7. package/dist/advanced/index.js +7 -7
  8. package/dist/advanced/runner.cjs +25 -1
  9. package/dist/advanced/runner.js +6 -6
  10. package/dist/checkpoint.js +3 -3
  11. package/dist/{chunk-NXEAFQYZ.js → chunk-2OTPBHSM.js} +2 -2
  12. package/dist/{chunk-WKIIJX3O.js → chunk-6PSM6KB2.js} +66 -1
  13. package/dist/{chunk-NQ5HPAZD.js → chunk-DDAV6D6K.js} +4 -4
  14. package/dist/{chunk-XKNJ5OE4.js → chunk-LD2YTPD7.js} +27 -3
  15. package/dist/{chunk-UEY5SJG5.js → chunk-NMQIWBSB.js} +2 -2
  16. package/dist/{chunk-QPKY767W.js → chunk-OD6OKXL2.js} +1 -1
  17. package/dist/{chunk-HD46EEUV.js → chunk-P4BHU5NM.js} +4 -4
  18. package/dist/{chunk-K6VYKOIM.js → chunk-RZ3GXSXQ.js} +1 -1
  19. package/dist/{chunk-QGMSN34W.js → chunk-UK7G4RKA.js} +1 -1
  20. package/dist/{chunk-3FK5HZHK.js → chunk-WKNWMRDF.js} +2 -2
  21. package/dist/{chunk-FX2CB4MG.js → chunk-ZB5XBHWD.js} +1 -1
  22. package/dist/cli/index.js +9 -9
  23. package/dist/cli.js +9 -9
  24. package/dist/codex-exec-agent.js +3 -3
  25. package/dist/engine-harness.js +6 -6
  26. package/dist/index.cjs +93 -1
  27. package/dist/index.d.cts +1 -1
  28. package/dist/index.d.ts +1 -1
  29. package/dist/index.js +15 -9
  30. package/dist/local-agent.js +3 -3
  31. package/dist/openclaw.js +6 -6
  32. package/dist/pr-comment.js +2 -2
  33. package/dist/public-state.cjs +68 -0
  34. package/dist/public-state.d.cts +41 -1
  35. package/dist/public-state.d.ts +41 -1
  36. package/dist/public-state.js +7 -1
  37. package/dist/result.js +2 -2
  38. package/dist/run-card.js +4 -4
  39. package/dist/runner.cjs +25 -1
  40. package/dist/runner.js +6 -6
  41. package/dist/spec/checkpoint.js +3 -3
  42. package/dist/spec/index.cjs +68 -0
  43. package/dist/spec/index.d.cts +1 -1
  44. package/dist/spec/index.d.ts +1 -1
  45. package/dist/spec/index.js +11 -5
  46. package/dist/spec/public-state.cjs +68 -0
  47. package/dist/spec/public-state.d.cts +1 -1
  48. package/dist/spec/public-state.d.ts +1 -1
  49. package/dist/spec/public-state.js +7 -1
  50. package/dist/spec/result.js +2 -2
  51. package/dist/spec/run-card.js +4 -4
  52. package/dist/spec/state.js +5 -5
  53. package/dist/state.js +5 -5
  54. package/package.json +1 -1
package/dist/index.cjs CHANGED
@@ -3538,8 +3538,11 @@ __export(index_exports, {
3538
3538
  slugifyRiddleProofProfileName: () => slugifyRiddleProofProfileName,
3539
3539
  statePathsForRunState: () => statePathsForRunState,
3540
3540
  summarizeCaptureArtifacts: () => summarizeCaptureArtifacts,
3541
+ summarizeRiddleProofAgentSummarySurface: () => summarizeRiddleProofAgentSummarySurface,
3542
+ summarizeRiddleProofHostedProofViewSurface: () => summarizeRiddleProofHostedProofViewSurface,
3541
3543
  summarizeRiddleProofPrComment: () => summarizeRiddleProofPrComment,
3542
3544
  summarizeRiddleProofProfileResult: () => summarizeRiddleProofProfileResult,
3545
+ summarizeRiddleProofPublicConsumerSurface: () => summarizeRiddleProofPublicConsumerSurface,
3543
3546
  summarizeRiddleProofPublicState: () => summarizeRiddleProofPublicState,
3544
3547
  visualSessionFingerprint: () => visualSessionFingerprint,
3545
3548
  visualSessionFingerprintBasis: () => visualSessionFingerprintBasis
@@ -3706,6 +3709,68 @@ function summarizeRiddleProofPublicState(input) {
3706
3709
  prohibited_claims: uniqueStrings(prohibitedClaims)
3707
3710
  };
3708
3711
  }
3712
+ function summarizeRiddleProofPublicConsumerSurface(input, options = {}) {
3713
+ const record = asRecord(input);
3714
+ const runCard = asRecord(record.run_card);
3715
+ const stopCondition = asRecord(runCard.stop_condition);
3716
+ const raw = asRecord(record.raw);
3717
+ const publicState = summarizeRiddleProofPublicState(input);
3718
+ const checkpointAudit = publicState.checkpoint_summary;
3719
+ const mergeRecommendation = riddleProofPublicStateMergeRecommendation(
3720
+ publicState,
3721
+ firstStringValue(
3722
+ options.merge_recommendation,
3723
+ record.merge_recommendation,
3724
+ stopCondition.merge_recommendation,
3725
+ raw.merge_recommendation
3726
+ )
3727
+ );
3728
+ const checkpointAuditRequired = publicState.required_disclosures.includes("checkpoint_audit_counters");
3729
+ return {
3730
+ kind: options.kind || "run_result",
3731
+ status: publicState.status,
3732
+ result_label: publicState.result_label,
3733
+ policy_state: publicState.policy_state,
3734
+ proof_complete: publicState.proof_complete,
3735
+ claims: {
3736
+ proof_passed: publicState.proof_passed,
3737
+ ship_authorized: publicState.ship_authorized,
3738
+ merge_ready: publicState.merge_ready,
3739
+ sync_allowed: publicState.sync_allowed,
3740
+ all_checkpoint_responses_accepted: checkpointAudit ? !checkpointAudit.audit_disclosure_required : false
3741
+ },
3742
+ ship_control: {
3743
+ ship_held: publicState.ship_held,
3744
+ shipping_disabled: publicState.shipping_disabled,
3745
+ ship_authorized: publicState.ship_authorized
3746
+ },
3747
+ handoff: {
3748
+ merge_ready: publicState.merge_ready,
3749
+ sync_allowed: publicState.sync_allowed,
3750
+ merge_recommendation: mergeRecommendation
3751
+ },
3752
+ checkpoint_audit: checkpointAudit,
3753
+ disclosures: {
3754
+ ship_control: true,
3755
+ checkpoint_audit: !checkpointAuditRequired || Boolean(checkpointAudit),
3756
+ required: [...publicState.required_disclosures],
3757
+ prohibited_claims: [...publicState.prohibited_claims]
3758
+ },
3759
+ public_state: publicState
3760
+ };
3761
+ }
3762
+ function summarizeRiddleProofHostedProofViewSurface(input, options = {}) {
3763
+ return summarizeRiddleProofPublicConsumerSurface(input, {
3764
+ ...options,
3765
+ kind: "hosted_proof_view"
3766
+ });
3767
+ }
3768
+ function summarizeRiddleProofAgentSummarySurface(input, options = {}) {
3769
+ return summarizeRiddleProofPublicConsumerSurface(input, {
3770
+ ...options,
3771
+ kind: "agent_summary"
3772
+ });
3773
+ }
3709
3774
 
3710
3775
  // src/result.ts
3711
3776
  function isTerminalStatus(status) {
@@ -5337,6 +5402,9 @@ function shouldIterate(assessment) {
5337
5402
  const nextStage = assessment.continue_with_stage || assessment.recommended_stage;
5338
5403
  return nextStage === "implement" || nextStage === "author";
5339
5404
  }
5405
+ function hasTrustedReadySource(assessment) {
5406
+ return assessment.source === "supervising_agent" || assessment.source === "supervisor";
5407
+ }
5340
5408
  async function notifyIfConfigured(input) {
5341
5409
  if (!input.notification) return input.result;
5342
5410
  try {
@@ -5672,6 +5740,7 @@ async function runRiddleProof(input) {
5672
5740
  decision: assessment.decision,
5673
5741
  recommended_stage: assessment.recommended_stage,
5674
5742
  continue_with_stage: assessment.continue_with_stage,
5743
+ source: assessment.source,
5675
5744
  reasons: assessment.reasons
5676
5745
  }
5677
5746
  });
@@ -5683,7 +5752,27 @@ async function runRiddleProof(input) {
5683
5752
  evidence_bundle: evidenceBundle
5684
5753
  });
5685
5754
  }
5686
- if (assessment.decision === "ready_to_ship") break;
5755
+ if (assessment.decision === "ready_to_ship") {
5756
+ if (!hasTrustedReadySource(assessment)) {
5757
+ return blockRun({
5758
+ state,
5759
+ stage: "verify",
5760
+ blocker: adapterBlocker(
5761
+ "proof_assessment_untrusted_source",
5762
+ "A ready_to_ship proof assessment must come from a supervising source.",
5763
+ "judge_completed",
5764
+ {
5765
+ decision: assessment.decision,
5766
+ source: assessment.source || null,
5767
+ trusted_sources: ["supervising_agent", "supervisor"]
5768
+ }
5769
+ ),
5770
+ evidence_bundle: evidenceBundle,
5771
+ raw: { assessment }
5772
+ });
5773
+ }
5774
+ break;
5775
+ }
5687
5776
  if (attempt + 1 < maxIterations && shouldIterate(assessment)) {
5688
5777
  evidenceContext = evidenceBundle;
5689
5778
  appendRunEvent(state, {
@@ -20621,8 +20710,11 @@ function buildRiddleProofPrCommentMarkdown(input) {
20621
20710
  slugifyRiddleProofProfileName,
20622
20711
  statePathsForRunState,
20623
20712
  summarizeCaptureArtifacts,
20713
+ summarizeRiddleProofAgentSummarySurface,
20714
+ summarizeRiddleProofHostedProofViewSurface,
20624
20715
  summarizeRiddleProofPrComment,
20625
20716
  summarizeRiddleProofProfileResult,
20717
+ summarizeRiddleProofPublicConsumerSurface,
20626
20718
  summarizeRiddleProofPublicState,
20627
20719
  visualSessionFingerprint,
20628
20720
  visualSessionFingerprintBasis
package/dist/index.d.cts CHANGED
@@ -3,7 +3,7 @@ export { RiddleProofShipControlState, TerminalMetadataInput, applyShipControlSta
3
3
  export { CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, RunEventInput, appendRunEvent, appendStageHeartbeat, applyPrLifecycleState, createRunState, createRunStatusSnapshot, normalizeIntegrationContext, normalizePrLifecycleState, normalizeRunParams, setRunStatus } from './state.cjs';
4
4
  export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointPacketIdentity, checkpointResponseIdentity, checkpointSummaryFromState, createCheckpointResponseTemplate, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.cjs';
5
5
  export { RIDDLE_PROOF_RUN_CARD_VERSION, createRiddleProofRunCard } from './run-card.cjs';
6
- export { RiddleProofPublicCheckpointSummary, RiddleProofPublicPolicyState, RiddleProofPublicStateSummary, riddleProofPublicStateAllowsClaim, riddleProofPublicStateAllowsMergeRecommendation, riddleProofPublicStateMergeRecommendation, summarizeRiddleProofPublicState } from './public-state.cjs';
6
+ export { RiddleProofPublicCheckpointSummary, RiddleProofPublicConsumerSurface, RiddleProofPublicConsumerSurfaceKind, RiddleProofPublicConsumerSurfaceOptions, RiddleProofPublicPolicyState, RiddleProofPublicStateSummary, riddleProofPublicStateAllowsClaim, riddleProofPublicStateAllowsMergeRecommendation, riddleProofPublicStateMergeRecommendation, summarizeRiddleProofAgentSummarySurface, summarizeRiddleProofHostedProofViewSurface, summarizeRiddleProofPublicConsumerSurface, summarizeRiddleProofPublicState } from './public-state.cjs';
7
7
  export { R as RiddleProofRunnerAdapters, a as RunRiddleProofInput, r as runRiddleProof } from './runner-4LJ5z0D-.cjs';
8
8
  export { R as RiddleProofAgentAdapter, a as RiddleProofAgentPayload, b as RiddleProofCheckpointMode, c as RiddleProofEngine, d as RiddleProofEngineHarnessConfig, e as RiddleProofEngineHarnessContext, f as RiddleProofEngineResult, g as RiddleProofShipMode, h as RiddleProofWorkflowParams, i as RunRiddleProofEngineHarnessInput, j as createDisabledRiddleProofAgentAdapter, r as readRiddleProofRunStatus, k as runRiddleProofEngineHarness } from './engine-harness-LBfqbFSe.cjs';
9
9
  export { CodexExecAgentConfig, CodexJsonRequest, CodexJsonResult, CodexJsonRunner, CodexExecAgentConfig as LocalAgentConfig, CodexJsonRequest as LocalAgentJsonRequest, CodexJsonResult as LocalAgentJsonResult, CodexJsonRunner as LocalAgentJsonRunner, createCodexExecAgentAdapter, createCodexExecJsonRunner, createCodexExecAgentAdapter as createLocalAgentAdapter, createCodexExecJsonRunner as createLocalAgentJsonRunner, runCodexExecAgentDoctor, runCodexExecAgentDoctor as runLocalAgentDoctor } from './codex-exec-agent.cjs';
package/dist/index.d.ts CHANGED
@@ -3,7 +3,7 @@ export { RiddleProofShipControlState, TerminalMetadataInput, applyShipControlSta
3
3
  export { CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, RunEventInput, appendRunEvent, appendStageHeartbeat, applyPrLifecycleState, createRunState, createRunStatusSnapshot, normalizeIntegrationContext, normalizePrLifecycleState, normalizeRunParams, setRunStatus } from './state.js';
4
4
  export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointPacketIdentity, checkpointResponseIdentity, checkpointSummaryFromState, createCheckpointResponseTemplate, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.js';
5
5
  export { RIDDLE_PROOF_RUN_CARD_VERSION, createRiddleProofRunCard } from './run-card.js';
6
- export { RiddleProofPublicCheckpointSummary, RiddleProofPublicPolicyState, RiddleProofPublicStateSummary, riddleProofPublicStateAllowsClaim, riddleProofPublicStateAllowsMergeRecommendation, riddleProofPublicStateMergeRecommendation, summarizeRiddleProofPublicState } from './public-state.js';
6
+ export { RiddleProofPublicCheckpointSummary, RiddleProofPublicConsumerSurface, RiddleProofPublicConsumerSurfaceKind, RiddleProofPublicConsumerSurfaceOptions, RiddleProofPublicPolicyState, RiddleProofPublicStateSummary, riddleProofPublicStateAllowsClaim, riddleProofPublicStateAllowsMergeRecommendation, riddleProofPublicStateMergeRecommendation, summarizeRiddleProofAgentSummarySurface, summarizeRiddleProofHostedProofViewSurface, summarizeRiddleProofPublicConsumerSurface, summarizeRiddleProofPublicState } from './public-state.js';
7
7
  export { R as RiddleProofRunnerAdapters, a as RunRiddleProofInput, r as runRiddleProof } from './runner-BdQpOkZD.js';
8
8
  export { R as RiddleProofAgentAdapter, a as RiddleProofAgentPayload, b as RiddleProofCheckpointMode, c as RiddleProofEngine, d as RiddleProofEngineHarnessConfig, e as RiddleProofEngineHarnessContext, f as RiddleProofEngineResult, g as RiddleProofShipMode, h as RiddleProofWorkflowParams, i as RunRiddleProofEngineHarnessInput, j as createDisabledRiddleProofAgentAdapter, r as readRiddleProofRunStatus, k as runRiddleProofEngineHarness } from './engine-harness-CMACHP6A.js';
9
9
  export { CodexExecAgentConfig, CodexJsonRequest, CodexJsonResult, CodexJsonRunner, CodexExecAgentConfig as LocalAgentConfig, CodexJsonRequest as LocalAgentJsonRequest, CodexJsonResult as LocalAgentJsonResult, CodexJsonRunner as LocalAgentJsonRunner, createCodexExecAgentAdapter, createCodexExecJsonRunner, createCodexExecAgentAdapter as createLocalAgentAdapter, createCodexExecJsonRunner as createLocalAgentJsonRunner, runCodexExecAgentDoctor, runCodexExecAgentDoctor as runLocalAgentDoctor } from './codex-exec-agent.js';
package/dist/index.js CHANGED
@@ -1,6 +1,6 @@
1
1
  import {
2
2
  runRiddleProof
3
- } from "./chunk-XKNJ5OE4.js";
3
+ } from "./chunk-LD2YTPD7.js";
4
4
  import "./chunk-6F4PWJZI.js";
5
5
  import {
6
6
  RIDDLE_PROOF_PLAYABILITY_ASSESSMENT_VERSION,
@@ -59,7 +59,7 @@ import {
59
59
  RIDDLE_PROOF_PR_COMMENT_MARKER,
60
60
  buildRiddleProofPrCommentMarkdown,
61
61
  summarizeRiddleProofPrComment
62
- } from "./chunk-K6VYKOIM.js";
62
+ } from "./chunk-RZ3GXSXQ.js";
63
63
  import {
64
64
  RIDDLE_PROOF_PROFILE_CHECK_TYPES,
65
65
  RIDDLE_PROOF_PROFILE_EVIDENCE_VERSION,
@@ -102,7 +102,7 @@ import {
102
102
  createDisabledRiddleProofAgentAdapter,
103
103
  readRiddleProofRunStatus,
104
104
  runRiddleProofEngineHarness
105
- } from "./chunk-HD46EEUV.js";
105
+ } from "./chunk-P4BHU5NM.js";
106
106
  import {
107
107
  RIDDLE_PROOF_RUN_STATE_VERSION,
108
108
  appendRunEvent,
@@ -114,11 +114,11 @@ import {
114
114
  normalizePrLifecycleState,
115
115
  normalizeRunParams,
116
116
  setRunStatus
117
- } from "./chunk-UEY5SJG5.js";
117
+ } from "./chunk-NMQIWBSB.js";
118
118
  import {
119
119
  RIDDLE_PROOF_RUN_CARD_VERSION,
120
120
  createRiddleProofRunCard
121
- } from "./chunk-NXEAFQYZ.js";
121
+ } from "./chunk-2OTPBHSM.js";
122
122
  import "./chunk-EKZXU6MU.js";
123
123
  import {
124
124
  RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
@@ -136,13 +136,13 @@ import {
136
136
  normalizeCheckpointResponse,
137
137
  proofContractFromAuthorCheckpointResponse,
138
138
  statePathsForRunState
139
- } from "./chunk-FX2CB4MG.js";
139
+ } from "./chunk-ZB5XBHWD.js";
140
140
  import "./chunk-JFQXAJH2.js";
141
141
  import {
142
142
  createCodexExecAgentAdapter,
143
143
  createCodexExecJsonRunner,
144
144
  runCodexExecAgentDoctor
145
- } from "./chunk-QPKY767W.js";
145
+ } from "./chunk-OD6OKXL2.js";
146
146
  import {
147
147
  applyShipControlState,
148
148
  applyTerminalMetadata,
@@ -157,13 +157,16 @@ import {
157
157
  publicStateForRunState,
158
158
  recordValue,
159
159
  shipControlStateFor
160
- } from "./chunk-QGMSN34W.js";
160
+ } from "./chunk-UK7G4RKA.js";
161
161
  import {
162
162
  riddleProofPublicStateAllowsClaim,
163
163
  riddleProofPublicStateAllowsMergeRecommendation,
164
164
  riddleProofPublicStateMergeRecommendation,
165
+ summarizeRiddleProofAgentSummarySurface,
166
+ summarizeRiddleProofHostedProofViewSurface,
167
+ summarizeRiddleProofPublicConsumerSurface,
165
168
  summarizeRiddleProofPublicState
166
- } from "./chunk-WKIIJX3O.js";
169
+ } from "./chunk-6PSM6KB2.js";
167
170
  import "./chunk-MLKGABMK.js";
168
171
  export {
169
172
  BASIC_GAMEPLAY_ACTION_TYPES,
@@ -297,8 +300,11 @@ export {
297
300
  slugifyRiddleProofProfileName,
298
301
  statePathsForRunState,
299
302
  summarizeCaptureArtifacts,
303
+ summarizeRiddleProofAgentSummarySurface,
304
+ summarizeRiddleProofHostedProofViewSurface,
300
305
  summarizeRiddleProofPrComment,
301
306
  summarizeRiddleProofProfileResult,
307
+ summarizeRiddleProofPublicConsumerSurface,
302
308
  summarizeRiddleProofPublicState,
303
309
  visualSessionFingerprint,
304
310
  visualSessionFingerprintBasis
@@ -3,9 +3,9 @@ import {
3
3
  createCodexExecAgentAdapter,
4
4
  createCodexExecJsonRunner,
5
5
  runCodexExecAgentDoctor
6
- } from "./chunk-QPKY767W.js";
7
- import "./chunk-QGMSN34W.js";
8
- import "./chunk-WKIIJX3O.js";
6
+ } from "./chunk-OD6OKXL2.js";
7
+ import "./chunk-UK7G4RKA.js";
8
+ import "./chunk-6PSM6KB2.js";
9
9
  import "./chunk-MLKGABMK.js";
10
10
  export {
11
11
  createCodexExecAgentAdapter as createLocalAgentAdapter,
package/dist/openclaw.js CHANGED
@@ -3,12 +3,12 @@ import {
3
3
  parseOpenClawAssertions,
4
4
  parseOpenClawJsonObjectOrArray,
5
5
  toRiddleProofRunParams
6
- } from "./chunk-3FK5HZHK.js";
7
- import "./chunk-UEY5SJG5.js";
8
- import "./chunk-NXEAFQYZ.js";
9
- import "./chunk-FX2CB4MG.js";
10
- import "./chunk-QGMSN34W.js";
11
- import "./chunk-WKIIJX3O.js";
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";
12
12
  import "./chunk-MLKGABMK.js";
13
13
  export {
14
14
  openClawIntegrationContext,
@@ -2,8 +2,8 @@ import {
2
2
  RIDDLE_PROOF_PR_COMMENT_MARKER,
3
3
  buildRiddleProofPrCommentMarkdown,
4
4
  summarizeRiddleProofPrComment
5
- } from "./chunk-K6VYKOIM.js";
6
- import "./chunk-WKIIJX3O.js";
5
+ } from "./chunk-RZ3GXSXQ.js";
6
+ import "./chunk-6PSM6KB2.js";
7
7
  import "./chunk-MLKGABMK.js";
8
8
  export {
9
9
  RIDDLE_PROOF_PR_COMMENT_MARKER,
@@ -23,6 +23,9 @@ __export(public_state_exports, {
23
23
  riddleProofPublicStateAllowsClaim: () => riddleProofPublicStateAllowsClaim,
24
24
  riddleProofPublicStateAllowsMergeRecommendation: () => riddleProofPublicStateAllowsMergeRecommendation,
25
25
  riddleProofPublicStateMergeRecommendation: () => riddleProofPublicStateMergeRecommendation,
26
+ summarizeRiddleProofAgentSummarySurface: () => summarizeRiddleProofAgentSummarySurface,
27
+ summarizeRiddleProofHostedProofViewSurface: () => summarizeRiddleProofHostedProofViewSurface,
28
+ summarizeRiddleProofPublicConsumerSurface: () => summarizeRiddleProofPublicConsumerSurface,
26
29
  summarizeRiddleProofPublicState: () => summarizeRiddleProofPublicState
27
30
  });
28
31
  module.exports = __toCommonJS(public_state_exports);
@@ -185,10 +188,75 @@ function summarizeRiddleProofPublicState(input) {
185
188
  prohibited_claims: uniqueStrings(prohibitedClaims)
186
189
  };
187
190
  }
191
+ function summarizeRiddleProofPublicConsumerSurface(input, options = {}) {
192
+ const record = asRecord(input);
193
+ const runCard = asRecord(record.run_card);
194
+ const stopCondition = asRecord(runCard.stop_condition);
195
+ const raw = asRecord(record.raw);
196
+ const publicState = summarizeRiddleProofPublicState(input);
197
+ const checkpointAudit = publicState.checkpoint_summary;
198
+ const mergeRecommendation = riddleProofPublicStateMergeRecommendation(
199
+ publicState,
200
+ firstStringValue(
201
+ options.merge_recommendation,
202
+ record.merge_recommendation,
203
+ stopCondition.merge_recommendation,
204
+ raw.merge_recommendation
205
+ )
206
+ );
207
+ const checkpointAuditRequired = publicState.required_disclosures.includes("checkpoint_audit_counters");
208
+ return {
209
+ kind: options.kind || "run_result",
210
+ status: publicState.status,
211
+ result_label: publicState.result_label,
212
+ policy_state: publicState.policy_state,
213
+ proof_complete: publicState.proof_complete,
214
+ claims: {
215
+ proof_passed: publicState.proof_passed,
216
+ ship_authorized: publicState.ship_authorized,
217
+ merge_ready: publicState.merge_ready,
218
+ sync_allowed: publicState.sync_allowed,
219
+ all_checkpoint_responses_accepted: checkpointAudit ? !checkpointAudit.audit_disclosure_required : false
220
+ },
221
+ ship_control: {
222
+ ship_held: publicState.ship_held,
223
+ shipping_disabled: publicState.shipping_disabled,
224
+ ship_authorized: publicState.ship_authorized
225
+ },
226
+ handoff: {
227
+ merge_ready: publicState.merge_ready,
228
+ sync_allowed: publicState.sync_allowed,
229
+ merge_recommendation: mergeRecommendation
230
+ },
231
+ checkpoint_audit: checkpointAudit,
232
+ disclosures: {
233
+ ship_control: true,
234
+ checkpoint_audit: !checkpointAuditRequired || Boolean(checkpointAudit),
235
+ required: [...publicState.required_disclosures],
236
+ prohibited_claims: [...publicState.prohibited_claims]
237
+ },
238
+ public_state: publicState
239
+ };
240
+ }
241
+ function summarizeRiddleProofHostedProofViewSurface(input, options = {}) {
242
+ return summarizeRiddleProofPublicConsumerSurface(input, {
243
+ ...options,
244
+ kind: "hosted_proof_view"
245
+ });
246
+ }
247
+ function summarizeRiddleProofAgentSummarySurface(input, options = {}) {
248
+ return summarizeRiddleProofPublicConsumerSurface(input, {
249
+ ...options,
250
+ kind: "agent_summary"
251
+ });
252
+ }
188
253
  // Annotate the CommonJS export names for ESM import in node:
189
254
  0 && (module.exports = {
190
255
  riddleProofPublicStateAllowsClaim,
191
256
  riddleProofPublicStateAllowsMergeRecommendation,
192
257
  riddleProofPublicStateMergeRecommendation,
258
+ summarizeRiddleProofAgentSummarySurface,
259
+ summarizeRiddleProofHostedProofViewSurface,
260
+ summarizeRiddleProofPublicConsumerSurface,
193
261
  summarizeRiddleProofPublicState
194
262
  });
@@ -24,9 +24,49 @@ interface RiddleProofPublicStateSummary {
24
24
  required_disclosures: string[];
25
25
  prohibited_claims: string[];
26
26
  }
27
+ type RiddleProofPublicConsumerSurfaceKind = "run_status" | "run_result" | "run_card" | "pr_comment" | "hosted_proof_view" | "agent_summary" | (string & {});
28
+ interface RiddleProofPublicConsumerSurface {
29
+ kind: RiddleProofPublicConsumerSurfaceKind;
30
+ status?: string;
31
+ result_label: string;
32
+ policy_state: RiddleProofPublicPolicyState;
33
+ proof_complete: boolean;
34
+ claims: {
35
+ proof_passed: boolean;
36
+ ship_authorized: boolean;
37
+ merge_ready: boolean;
38
+ sync_allowed: boolean;
39
+ all_checkpoint_responses_accepted: boolean;
40
+ };
41
+ ship_control: {
42
+ ship_held: boolean;
43
+ shipping_disabled: boolean;
44
+ ship_authorized: boolean;
45
+ };
46
+ handoff: {
47
+ merge_ready: boolean;
48
+ sync_allowed: boolean;
49
+ merge_recommendation?: string;
50
+ };
51
+ checkpoint_audit?: RiddleProofPublicCheckpointSummary;
52
+ disclosures: {
53
+ ship_control: boolean;
54
+ checkpoint_audit: boolean;
55
+ required: string[];
56
+ prohibited_claims: string[];
57
+ };
58
+ public_state: RiddleProofPublicStateSummary;
59
+ }
60
+ interface RiddleProofPublicConsumerSurfaceOptions {
61
+ kind?: RiddleProofPublicConsumerSurfaceKind;
62
+ merge_recommendation?: string;
63
+ }
27
64
  declare function riddleProofPublicStateAllowsClaim(summary: RiddleProofPublicStateSummary | undefined, claim: string): boolean;
28
65
  declare function riddleProofPublicStateAllowsMergeRecommendation(summary: RiddleProofPublicStateSummary | undefined): boolean;
29
66
  declare function riddleProofPublicStateMergeRecommendation(summary: RiddleProofPublicStateSummary | undefined, recommendation: string | undefined): string | undefined;
30
67
  declare function summarizeRiddleProofPublicState(input: unknown): RiddleProofPublicStateSummary;
68
+ declare function summarizeRiddleProofPublicConsumerSurface(input: unknown, options?: RiddleProofPublicConsumerSurfaceOptions): RiddleProofPublicConsumerSurface;
69
+ declare function summarizeRiddleProofHostedProofViewSurface(input: unknown, options?: Omit<RiddleProofPublicConsumerSurfaceOptions, "kind">): RiddleProofPublicConsumerSurface;
70
+ declare function summarizeRiddleProofAgentSummarySurface(input: unknown, options?: Omit<RiddleProofPublicConsumerSurfaceOptions, "kind">): RiddleProofPublicConsumerSurface;
31
71
 
32
- export { type RiddleProofPublicCheckpointSummary, type RiddleProofPublicPolicyState, type RiddleProofPublicStateSummary, riddleProofPublicStateAllowsClaim, riddleProofPublicStateAllowsMergeRecommendation, riddleProofPublicStateMergeRecommendation, summarizeRiddleProofPublicState };
72
+ export { type RiddleProofPublicCheckpointSummary, type RiddleProofPublicConsumerSurface, type RiddleProofPublicConsumerSurfaceKind, type RiddleProofPublicConsumerSurfaceOptions, type RiddleProofPublicPolicyState, type RiddleProofPublicStateSummary, riddleProofPublicStateAllowsClaim, riddleProofPublicStateAllowsMergeRecommendation, riddleProofPublicStateMergeRecommendation, summarizeRiddleProofAgentSummarySurface, summarizeRiddleProofHostedProofViewSurface, summarizeRiddleProofPublicConsumerSurface, summarizeRiddleProofPublicState };
@@ -24,9 +24,49 @@ interface RiddleProofPublicStateSummary {
24
24
  required_disclosures: string[];
25
25
  prohibited_claims: string[];
26
26
  }
27
+ type RiddleProofPublicConsumerSurfaceKind = "run_status" | "run_result" | "run_card" | "pr_comment" | "hosted_proof_view" | "agent_summary" | (string & {});
28
+ interface RiddleProofPublicConsumerSurface {
29
+ kind: RiddleProofPublicConsumerSurfaceKind;
30
+ status?: string;
31
+ result_label: string;
32
+ policy_state: RiddleProofPublicPolicyState;
33
+ proof_complete: boolean;
34
+ claims: {
35
+ proof_passed: boolean;
36
+ ship_authorized: boolean;
37
+ merge_ready: boolean;
38
+ sync_allowed: boolean;
39
+ all_checkpoint_responses_accepted: boolean;
40
+ };
41
+ ship_control: {
42
+ ship_held: boolean;
43
+ shipping_disabled: boolean;
44
+ ship_authorized: boolean;
45
+ };
46
+ handoff: {
47
+ merge_ready: boolean;
48
+ sync_allowed: boolean;
49
+ merge_recommendation?: string;
50
+ };
51
+ checkpoint_audit?: RiddleProofPublicCheckpointSummary;
52
+ disclosures: {
53
+ ship_control: boolean;
54
+ checkpoint_audit: boolean;
55
+ required: string[];
56
+ prohibited_claims: string[];
57
+ };
58
+ public_state: RiddleProofPublicStateSummary;
59
+ }
60
+ interface RiddleProofPublicConsumerSurfaceOptions {
61
+ kind?: RiddleProofPublicConsumerSurfaceKind;
62
+ merge_recommendation?: string;
63
+ }
27
64
  declare function riddleProofPublicStateAllowsClaim(summary: RiddleProofPublicStateSummary | undefined, claim: string): boolean;
28
65
  declare function riddleProofPublicStateAllowsMergeRecommendation(summary: RiddleProofPublicStateSummary | undefined): boolean;
29
66
  declare function riddleProofPublicStateMergeRecommendation(summary: RiddleProofPublicStateSummary | undefined, recommendation: string | undefined): string | undefined;
30
67
  declare function summarizeRiddleProofPublicState(input: unknown): RiddleProofPublicStateSummary;
68
+ declare function summarizeRiddleProofPublicConsumerSurface(input: unknown, options?: RiddleProofPublicConsumerSurfaceOptions): RiddleProofPublicConsumerSurface;
69
+ declare function summarizeRiddleProofHostedProofViewSurface(input: unknown, options?: Omit<RiddleProofPublicConsumerSurfaceOptions, "kind">): RiddleProofPublicConsumerSurface;
70
+ declare function summarizeRiddleProofAgentSummarySurface(input: unknown, options?: Omit<RiddleProofPublicConsumerSurfaceOptions, "kind">): RiddleProofPublicConsumerSurface;
31
71
 
32
- export { type RiddleProofPublicCheckpointSummary, type RiddleProofPublicPolicyState, type RiddleProofPublicStateSummary, riddleProofPublicStateAllowsClaim, riddleProofPublicStateAllowsMergeRecommendation, riddleProofPublicStateMergeRecommendation, summarizeRiddleProofPublicState };
72
+ export { type RiddleProofPublicCheckpointSummary, type RiddleProofPublicConsumerSurface, type RiddleProofPublicConsumerSurfaceKind, type RiddleProofPublicConsumerSurfaceOptions, type RiddleProofPublicPolicyState, type RiddleProofPublicStateSummary, riddleProofPublicStateAllowsClaim, riddleProofPublicStateAllowsMergeRecommendation, riddleProofPublicStateMergeRecommendation, summarizeRiddleProofAgentSummarySurface, summarizeRiddleProofHostedProofViewSurface, summarizeRiddleProofPublicConsumerSurface, summarizeRiddleProofPublicState };
@@ -2,12 +2,18 @@ import {
2
2
  riddleProofPublicStateAllowsClaim,
3
3
  riddleProofPublicStateAllowsMergeRecommendation,
4
4
  riddleProofPublicStateMergeRecommendation,
5
+ summarizeRiddleProofAgentSummarySurface,
6
+ summarizeRiddleProofHostedProofViewSurface,
7
+ summarizeRiddleProofPublicConsumerSurface,
5
8
  summarizeRiddleProofPublicState
6
- } from "./chunk-WKIIJX3O.js";
9
+ } from "./chunk-6PSM6KB2.js";
7
10
  import "./chunk-MLKGABMK.js";
8
11
  export {
9
12
  riddleProofPublicStateAllowsClaim,
10
13
  riddleProofPublicStateAllowsMergeRecommendation,
11
14
  riddleProofPublicStateMergeRecommendation,
15
+ summarizeRiddleProofAgentSummarySurface,
16
+ summarizeRiddleProofHostedProofViewSurface,
17
+ summarizeRiddleProofPublicConsumerSurface,
12
18
  summarizeRiddleProofPublicState
13
19
  };
package/dist/result.js CHANGED
@@ -12,8 +12,8 @@ import {
12
12
  publicStateForRunState,
13
13
  recordValue,
14
14
  shipControlStateFor
15
- } from "./chunk-QGMSN34W.js";
16
- import "./chunk-WKIIJX3O.js";
15
+ } from "./chunk-UK7G4RKA.js";
16
+ import "./chunk-6PSM6KB2.js";
17
17
  import "./chunk-MLKGABMK.js";
18
18
  export {
19
19
  applyShipControlState,
package/dist/run-card.js CHANGED
@@ -1,10 +1,10 @@
1
1
  import {
2
2
  RIDDLE_PROOF_RUN_CARD_VERSION,
3
3
  createRiddleProofRunCard
4
- } from "./chunk-NXEAFQYZ.js";
5
- import "./chunk-FX2CB4MG.js";
6
- import "./chunk-QGMSN34W.js";
7
- import "./chunk-WKIIJX3O.js";
4
+ } from "./chunk-2OTPBHSM.js";
5
+ import "./chunk-ZB5XBHWD.js";
6
+ import "./chunk-UK7G4RKA.js";
7
+ import "./chunk-6PSM6KB2.js";
8
8
  import "./chunk-MLKGABMK.js";
9
9
  export {
10
10
  RIDDLE_PROOF_RUN_CARD_VERSION,
package/dist/runner.cjs CHANGED
@@ -633,6 +633,9 @@ function shouldIterate(assessment) {
633
633
  const nextStage = assessment.continue_with_stage || assessment.recommended_stage;
634
634
  return nextStage === "implement" || nextStage === "author";
635
635
  }
636
+ function hasTrustedReadySource(assessment) {
637
+ return assessment.source === "supervising_agent" || assessment.source === "supervisor";
638
+ }
636
639
  async function notifyIfConfigured(input) {
637
640
  if (!input.notification) return input.result;
638
641
  try {
@@ -968,6 +971,7 @@ async function runRiddleProof(input) {
968
971
  decision: assessment.decision,
969
972
  recommended_stage: assessment.recommended_stage,
970
973
  continue_with_stage: assessment.continue_with_stage,
974
+ source: assessment.source,
971
975
  reasons: assessment.reasons
972
976
  }
973
977
  });
@@ -979,7 +983,27 @@ async function runRiddleProof(input) {
979
983
  evidence_bundle: evidenceBundle
980
984
  });
981
985
  }
982
- if (assessment.decision === "ready_to_ship") break;
986
+ if (assessment.decision === "ready_to_ship") {
987
+ if (!hasTrustedReadySource(assessment)) {
988
+ return blockRun({
989
+ state,
990
+ stage: "verify",
991
+ blocker: adapterBlocker(
992
+ "proof_assessment_untrusted_source",
993
+ "A ready_to_ship proof assessment must come from a supervising source.",
994
+ "judge_completed",
995
+ {
996
+ decision: assessment.decision,
997
+ source: assessment.source || null,
998
+ trusted_sources: ["supervising_agent", "supervisor"]
999
+ }
1000
+ ),
1001
+ evidence_bundle: evidenceBundle,
1002
+ raw: { assessment }
1003
+ });
1004
+ }
1005
+ break;
1006
+ }
983
1007
  if (attempt + 1 < maxIterations && shouldIterate(assessment)) {
984
1008
  evidenceContext = evidenceBundle;
985
1009
  appendRunEvent(state, {
package/dist/runner.js CHANGED
@@ -1,12 +1,12 @@
1
1
  import {
2
2
  runRiddleProof
3
- } from "./chunk-XKNJ5OE4.js";
4
- import "./chunk-UEY5SJG5.js";
5
- import "./chunk-NXEAFQYZ.js";
3
+ } from "./chunk-LD2YTPD7.js";
4
+ import "./chunk-NMQIWBSB.js";
5
+ import "./chunk-2OTPBHSM.js";
6
6
  import "./chunk-EKZXU6MU.js";
7
- import "./chunk-FX2CB4MG.js";
8
- import "./chunk-QGMSN34W.js";
9
- import "./chunk-WKIIJX3O.js";
7
+ import "./chunk-ZB5XBHWD.js";
8
+ import "./chunk-UK7G4RKA.js";
9
+ import "./chunk-6PSM6KB2.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-FX2CB4MG.js";
18
- import "../chunk-QGMSN34W.js";
19
- import "../chunk-WKIIJX3O.js";
17
+ } from "../chunk-ZB5XBHWD.js";
18
+ import "../chunk-UK7G4RKA.js";
19
+ import "../chunk-6PSM6KB2.js";
20
20
  import "../chunk-MLKGABMK.js";
21
21
  export {
22
22
  RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,