@riddledc/riddle-proof 0.8.52 → 0.8.54

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 (51) hide show
  1. package/dist/adapters/openclaw.js +4 -4
  2. package/dist/advanced/engine-harness.cjs +117 -12
  3. package/dist/advanced/engine-harness.js +4 -4
  4. package/dist/advanced/index.cjs +117 -12
  5. package/dist/advanced/index.d.cts +1 -1
  6. package/dist/advanced/index.d.ts +1 -1
  7. package/dist/advanced/index.js +5 -5
  8. package/dist/advanced/proof-run-engine.d.cts +1 -1
  9. package/dist/advanced/proof-run-engine.d.ts +1 -1
  10. package/dist/advanced/runner.js +4 -4
  11. package/dist/checkpoint.cjs +41 -11
  12. package/dist/checkpoint.d.cts +2 -1
  13. package/dist/checkpoint.d.ts +2 -1
  14. package/dist/checkpoint.js +3 -1
  15. package/dist/{chunk-AXWJJ2LC.js → chunk-BLM5EIBA.js} +40 -11
  16. package/dist/{chunk-FWHJN3QG.js → chunk-ECLGGGAI.js} +3 -2
  17. package/dist/{chunk-WURLFN72.js → chunk-IV4DVWPR.js} +82 -4
  18. package/dist/{chunk-RBAU2M4S.js → chunk-JJ4IWRMJ.js} +1 -1
  19. package/dist/{chunk-OYWZGDTS.js → chunk-LNWJAHAQ.js} +1 -1
  20. package/dist/{chunk-2CZORYB7.js → chunk-S5DX7Z6X.js} +1 -1
  21. package/dist/{chunk-M3IE3VNC.js → chunk-WDIKPIMB.js} +1 -1
  22. package/dist/cli/index.js +5 -5
  23. package/dist/cli.cjs +119 -12
  24. package/dist/cli.js +5 -5
  25. package/dist/engine-harness.cjs +117 -12
  26. package/dist/engine-harness.js +4 -4
  27. package/dist/index.cjs +120 -12
  28. package/dist/index.d.cts +1 -1
  29. package/dist/index.d.ts +1 -1
  30. package/dist/index.js +7 -5
  31. package/dist/openclaw.js +4 -4
  32. package/dist/{proof-run-engine-DpChFR5H.d.cts → proof-run-engine-Baiv6l3A.d.cts} +3 -3
  33. package/dist/{proof-run-engine-BqRoA3Do.d.ts → proof-run-engine-MiKZt9oY.d.ts} +3 -3
  34. package/dist/proof-run-engine.d.cts +1 -1
  35. package/dist/proof-run-engine.d.ts +1 -1
  36. package/dist/run-card.js +2 -2
  37. package/dist/runner.js +4 -4
  38. package/dist/spec/checkpoint.cjs +41 -11
  39. package/dist/spec/checkpoint.d.cts +1 -1
  40. package/dist/spec/checkpoint.d.ts +1 -1
  41. package/dist/spec/checkpoint.js +3 -1
  42. package/dist/spec/index.cjs +41 -11
  43. package/dist/spec/index.d.cts +1 -1
  44. package/dist/spec/index.d.ts +1 -1
  45. package/dist/spec/index.js +5 -3
  46. package/dist/spec/run-card.js +2 -2
  47. package/dist/spec/state.js +3 -3
  48. package/dist/state.js +3 -3
  49. package/dist/types.d.cts +5 -0
  50. package/dist/types.d.ts +5 -0
  51. package/package.json +1 -1
@@ -2,11 +2,11 @@ import {
2
2
  createDisabledRiddleProofAgentAdapter,
3
3
  readRiddleProofRunStatus,
4
4
  runRiddleProofEngineHarness
5
- } from "./chunk-WURLFN72.js";
6
- import "./chunk-M3IE3VNC.js";
7
- import "./chunk-RBAU2M4S.js";
5
+ } from "./chunk-IV4DVWPR.js";
6
+ import "./chunk-WDIKPIMB.js";
7
+ import "./chunk-JJ4IWRMJ.js";
8
8
  import "./chunk-EKZXU6MU.js";
9
- import "./chunk-AXWJJ2LC.js";
9
+ import "./chunk-BLM5EIBA.js";
10
10
  import "./chunk-VY4Y5U57.js";
11
11
  import "./chunk-MLKGABMK.js";
12
12
  export {
package/dist/index.cjs CHANGED
@@ -3458,6 +3458,7 @@ __export(index_exports, {
3458
3458
  buildRiddleProofProfileScript: () => buildRiddleProofProfileScript,
3459
3459
  buildStageCheckpointPacket: () => buildStageCheckpointPacket,
3460
3460
  buildVisualProofSession: () => buildVisualProofSession,
3461
+ checkpointPacketIdentity: () => checkpointPacketIdentity,
3461
3462
  checkpointResponseIdentity: () => checkpointResponseIdentity,
3462
3463
  checkpointSummaryFromState: () => checkpointSummaryFromState,
3463
3464
  collectRiddlePreviewDeployWarnings: () => collectRiddlePreviewDeployWarnings,
@@ -3799,12 +3800,13 @@ function statePathsForRunState(state, engineStatePath2) {
3799
3800
  function responseSchemaForAuthorPacket() {
3800
3801
  return {
3801
3802
  type: "object",
3802
- required: ["version", "run_id", "checkpoint", "decision", "summary", "payload", "created_at"],
3803
+ required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "payload", "created_at"],
3803
3804
  additionalProperties: false,
3804
3805
  properties: {
3805
3806
  version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
3806
3807
  run_id: { type: "string" },
3807
3808
  checkpoint: { type: "string" },
3809
+ packet_id: { type: "string" },
3808
3810
  resume_token: { type: "string" },
3809
3811
  decision: {
3810
3812
  type: "string",
@@ -3832,12 +3834,13 @@ function responseSchemaForAuthorPacket() {
3832
3834
  function responseSchemaForProofAssessmentPacket() {
3833
3835
  return {
3834
3836
  type: "object",
3835
- required: ["version", "run_id", "checkpoint", "decision", "summary", "created_at"],
3837
+ required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "created_at"],
3836
3838
  additionalProperties: false,
3837
3839
  properties: {
3838
3840
  version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
3839
3841
  run_id: { type: "string" },
3840
3842
  checkpoint: { type: "string" },
3843
+ packet_id: { type: "string" },
3841
3844
  resume_token: { type: "string" },
3842
3845
  decision: {
3843
3846
  type: "string",
@@ -3873,12 +3876,13 @@ function responseSchemaForProofAssessmentPacket() {
3873
3876
  function responseSchemaForReconPacket() {
3874
3877
  return {
3875
3878
  type: "object",
3876
- required: ["version", "run_id", "checkpoint", "decision", "summary", "created_at"],
3879
+ required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "created_at"],
3877
3880
  additionalProperties: false,
3878
3881
  properties: {
3879
3882
  version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
3880
3883
  run_id: { type: "string" },
3881
3884
  checkpoint: { type: "string" },
3885
+ packet_id: { type: "string" },
3882
3886
  resume_token: { type: "string" },
3883
3887
  decision: {
3884
3888
  type: "string",
@@ -3906,12 +3910,13 @@ function responseSchemaForReconPacket() {
3906
3910
  function responseSchemaForImplementationPacket() {
3907
3911
  return {
3908
3912
  type: "object",
3909
- required: ["version", "run_id", "checkpoint", "decision", "summary", "created_at"],
3913
+ required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "created_at"],
3910
3914
  additionalProperties: false,
3911
3915
  properties: {
3912
3916
  version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
3913
3917
  run_id: { type: "string" },
3914
3918
  checkpoint: { type: "string" },
3919
+ packet_id: { type: "string" },
3915
3920
  resume_token: { type: "string" },
3916
3921
  decision: {
3917
3922
  type: "string",
@@ -3939,12 +3944,13 @@ function responseSchemaForImplementationPacket() {
3939
3944
  function responseSchemaForAdvancePacket(stage) {
3940
3945
  return {
3941
3946
  type: "object",
3942
- required: ["version", "run_id", "checkpoint", "decision", "summary", "created_at"],
3947
+ required: ["version", "run_id", "checkpoint", "packet_id", "decision", "summary", "created_at"],
3943
3948
  additionalProperties: false,
3944
3949
  properties: {
3945
3950
  version: { const: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION },
3946
3951
  run_id: { type: "string" },
3947
3952
  checkpoint: { type: "string" },
3953
+ packet_id: { type: "string" },
3948
3954
  resume_token: { type: "string" },
3949
3955
  decision: {
3950
3956
  type: "string",
@@ -3970,6 +3976,20 @@ function resumeTokenFor(input) {
3970
3976
  const hash = import_node_crypto.default.createHash("sha256").update(JSON.stringify(input)).digest("hex").slice(0, 24);
3971
3977
  return `rpchk_${hash}`;
3972
3978
  }
3979
+ function packetIdentityPayload(packet) {
3980
+ const { packet_id: _packetId, ...identityPayload } = packet;
3981
+ return identityPayload;
3982
+ }
3983
+ function checkpointPacketIdentity(packet) {
3984
+ const hash = import_node_crypto.default.createHash("sha256").update(stableJson(packetIdentityPayload(packet))).digest("hex").slice(0, 24);
3985
+ return `rppkt_${hash}`;
3986
+ }
3987
+ function withPacketIdentity(packet) {
3988
+ return {
3989
+ ...packet,
3990
+ packet_id: checkpointPacketIdentity(packet)
3991
+ };
3992
+ }
3973
3993
  function artifactsFromState(state) {
3974
3994
  const artifacts = [];
3975
3995
  for (const role of ["before", "prod", "after"]) {
@@ -4042,7 +4062,7 @@ function buildStageCheckpointPacket(input) {
4042
4062
  const checkpointContract = recordValue(input.engineResult.checkpointContract);
4043
4063
  const summary = nonEmptyString(input.engineResult.summary) || nonEmptyString(fullState.stage_summary) || `${stage} checkpoint needs a supervising decision.`;
4044
4064
  const kind = packetKindForStage(stage, checkpoint);
4045
- return {
4065
+ return withPacketIdentity({
4046
4066
  version: RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
4047
4067
  run_id: runId,
4048
4068
  state_path: input.runState.state_path,
@@ -4091,7 +4111,7 @@ function buildStageCheckpointPacket(input) {
4091
4111
  stage
4092
4112
  }),
4093
4113
  created_at: input.created_at || timestamp()
4094
- };
4114
+ });
4095
4115
  }
4096
4116
  function buildAuthorCheckpointPacket(input) {
4097
4117
  const checkpoint = nonEmptyString(input.engineResult.checkpoint) || "author_supervisor_judgment";
@@ -4104,7 +4124,7 @@ function buildAuthorCheckpointPacket(input) {
4104
4124
  const reconResults = recordValue(fullState.recon_results);
4105
4125
  const checkpointContract = recordValue(input.engineResult.checkpointContract);
4106
4126
  const summary = nonEmptyString(input.engineResult.summary) || nonEmptyString(fullState.author_summary) || "Author checkpoint needs a supervising proof packet.";
4107
- return {
4127
+ return withPacketIdentity({
4108
4128
  version: RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
4109
4129
  run_id: runId,
4110
4130
  state_path: input.runState.state_path,
@@ -4153,7 +4173,7 @@ function buildAuthorCheckpointPacket(input) {
4153
4173
  stage
4154
4174
  }),
4155
4175
  created_at: input.created_at || timestamp()
4156
- };
4176
+ });
4157
4177
  }
4158
4178
  function visualDeltaFromState(fullState) {
4159
4179
  const bundle = recordValue(fullState.evidence_bundle);
@@ -4224,7 +4244,7 @@ function buildProofAssessmentCheckpointPacket(input) {
4224
4244
  const evidenceIssueCode2 = visualDeltaIssueCode(visualDelta, visualDeltaRequired);
4225
4245
  const summary = nonEmptyString(input.engineResult.summary) || nonEmptyString(fullState.verify_summary) || "Verify captured evidence and needs a supervising proof assessment.";
4226
4246
  const recoveryHint = evidenceIssueCode2 ? "Required visual_delta evidence is incomplete. Keep this same run in verify/evidence recovery with decision=revise_capture and continue_with_stage=verify unless the evidence proves an implementation or recon problem." : "Assess whether the current artifacts prove the requested change, then choose the next stage.";
4227
- return {
4247
+ return withPacketIdentity({
4228
4248
  version: RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
4229
4249
  run_id: runId,
4230
4250
  state_path: input.runState.state_path,
@@ -4284,7 +4304,7 @@ function buildProofAssessmentCheckpointPacket(input) {
4284
4304
  stage
4285
4305
  }),
4286
4306
  created_at: input.created_at || timestamp()
4287
- };
4307
+ });
4288
4308
  }
4289
4309
  function buildCheckpointPacketForEngineResult(input) {
4290
4310
  const checkpoint = nonEmptyString(input.engineResult.checkpoint) || "";
@@ -4313,6 +4333,7 @@ function normalizeCheckpointResponse(value) {
4313
4333
  version: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
4314
4334
  run_id: runId,
4315
4335
  checkpoint,
4336
+ packet_id: nonEmptyString(record.packet_id),
4316
4337
  resume_token: nonEmptyString(record.resume_token),
4317
4338
  decision,
4318
4339
  summary,
@@ -4400,6 +4421,7 @@ function createCheckpointResponseTemplate(packet, input = {}) {
4400
4421
  version: RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION,
4401
4422
  run_id: packet.run_id,
4402
4423
  checkpoint: packet.checkpoint,
4424
+ packet_id: packet.packet_id,
4403
4425
  resume_token: packet.resume_token,
4404
4426
  decision,
4405
4427
  summary: input.summary || `TODO: explain checkpoint decision ${decision}.`,
@@ -4433,6 +4455,9 @@ function checkpointSummaryFromState(state, engineStatePath2) {
4433
4455
  const latestResponseEntry = [...responses].reverse().find((entry) => entry.response);
4434
4456
  const latestPacket = state.checkpoint_packet || latestPacketEntry?.packet;
4435
4457
  const latestResponse = latestResponseEntry?.response;
4458
+ const latestPacketId = latestPacket?.packet_id || null;
4459
+ const latestResponsePacketId = latestResponse?.packet_id || null;
4460
+ const packetIdMatches = !latestResponse ? null : latestPacketId && latestResponsePacketId ? latestPacketId === latestResponsePacketId : latestPacketId || latestResponsePacketId ? false : null;
4436
4461
  const latestResumeToken = latestPacket?.resume_token || null;
4437
4462
  const latestResponseToken = latestResponse?.resume_token || null;
4438
4463
  const tokenMatches = !latestResponse ? null : latestResumeToken && latestResponseToken ? latestResumeToken === latestResponseToken : latestResumeToken || latestResponseToken ? false : null;
@@ -4447,6 +4472,9 @@ function checkpointSummaryFromState(state, engineStatePath2) {
4447
4472
  latest_decision: latestResponse?.decision || null,
4448
4473
  latest_packet_summary: latestPacket?.summary || null,
4449
4474
  latest_response_summary: latestResponse?.summary || null,
4475
+ latest_packet_id: latestPacketId,
4476
+ latest_response_packet_id: latestResponsePacketId,
4477
+ packet_id_matches: packetIdMatches,
4450
4478
  latest_resume_token: latestResumeToken,
4451
4479
  latest_response_token: latestResponseToken,
4452
4480
  token_matches: tokenMatches,
@@ -4463,6 +4491,7 @@ function checkpointResponseIdentity(response) {
4463
4491
  const logicalResponse = compactRecord({
4464
4492
  run_id: response.run_id,
4465
4493
  checkpoint: response.checkpoint,
4494
+ packet_id: response.packet_id,
4466
4495
  resume_token: response.resume_token,
4467
4496
  decision: response.decision,
4468
4497
  summary: response.summary,
@@ -5782,6 +5811,32 @@ function isReadyShipGate(result) {
5782
5811
  function proofAssessmentRequestsShip(payload) {
5783
5812
  return String(payload.decision || "").trim() === "ready_to_ship";
5784
5813
  }
5814
+ var TRUSTED_PROOF_ASSESSMENT_READY_SOURCES = /* @__PURE__ */ new Set([
5815
+ "supervising_agent",
5816
+ "supervisor",
5817
+ "openclaw_auto_ship_mode_none"
5818
+ ]);
5819
+ function proofAssessmentSourceTrustedForShip(payload) {
5820
+ const source = nonEmptyString(payload.source)?.toLowerCase();
5821
+ if (!source) return true;
5822
+ return TRUSTED_PROOF_ASSESSMENT_READY_SOURCES.has(source);
5823
+ }
5824
+ function proofAssessmentSourceBlocker(input) {
5825
+ if (!proofAssessmentRequestsShip(input.payload)) return null;
5826
+ if (proofAssessmentSourceTrustedForShip(input.payload)) return null;
5827
+ const source = nonEmptyString(input.payload.source) || "unknown";
5828
+ return {
5829
+ code: input.code || "proof_assessment_source_not_trusted",
5830
+ checkpoint: input.checkpoint || null,
5831
+ message: `Riddle Proof cannot mark ready_to_ship from untrusted proof assessment source: ${source}.`,
5832
+ details: compactRecord({
5833
+ stage: input.stage || null,
5834
+ proofAssessment: input.payload,
5835
+ checkpoint_response_source: input.response?.source || null,
5836
+ response: input.response || null
5837
+ })
5838
+ };
5839
+ }
5785
5840
  function proofAssessmentHardBlockers(state, payload) {
5786
5841
  const blockers = proofAssessmentHardBlockersForState(state || {});
5787
5842
  if (Array.isArray(payload.hard_blockers)) {
@@ -5812,6 +5867,15 @@ function stageFromCheckpointResponse(response, packet) {
5812
5867
  const stage = response.continue_with_stage || nonEmptyString(payload.continue_with_stage) || nonEmptyString(payload.recommended_stage) || nonEmptyString(resume?.continue_with_stage) || (response.decision === "retry_stage" ? packet.stage : "");
5813
5868
  return stage ? stage : null;
5814
5869
  }
5870
+ function proofAssessmentSourceFromCheckpointResponse(response) {
5871
+ const kind = nonEmptyString(response.source?.kind)?.toLowerCase();
5872
+ if (!kind) return "supervising_agent";
5873
+ if (kind === "human") return "supervisor";
5874
+ if (kind === "codex" || kind === "openclaw-main" || kind === "claude-code") {
5875
+ return "supervising_agent";
5876
+ }
5877
+ return `checkpoint_response:${kind}`;
5878
+ }
5815
5879
  function proofAssessmentPayloadFromCheckpointResponse(response) {
5816
5880
  if (![
5817
5881
  "ready_to_ship",
@@ -5832,7 +5896,7 @@ function proofAssessmentPayloadFromCheckpointResponse(response) {
5832
5896
  continue_with_stage: stage || void 0,
5833
5897
  escalation_target: nonEmptyString(payload.escalation_target) || "agent",
5834
5898
  reasons: Array.isArray(response.reasons) ? response.reasons : Array.isArray(payload.reasons) ? payload.reasons : [],
5835
- source: "supervising_agent",
5899
+ source: proofAssessmentSourceFromCheckpointResponse(response),
5836
5900
  checkpoint_response_source: response.source || null,
5837
5901
  checkpoint_response_created_at: response.created_at
5838
5902
  }));
@@ -6159,6 +6223,22 @@ function checkpointResponseContinuation(state, value) {
6159
6223
  }
6160
6224
  };
6161
6225
  }
6226
+ if (packet.packet_id && response.packet_id !== packet.packet_id) {
6227
+ return {
6228
+ blocker: {
6229
+ code: "checkpoint_response_packet_id_mismatch",
6230
+ checkpoint: packet.checkpoint,
6231
+ message: "Checkpoint response packet_id does not match the pending checkpoint packet.",
6232
+ details: {
6233
+ stage: packet.stage,
6234
+ expected_packet_id: packet.packet_id,
6235
+ actual_packet_id: response.packet_id || null,
6236
+ expected_resume_token: packet.resume_token || null,
6237
+ actual_resume_token: response.resume_token || null
6238
+ }
6239
+ }
6240
+ };
6241
+ }
6162
6242
  if (!packet.allowed_decisions.includes(response.decision)) {
6163
6243
  return {
6164
6244
  blocker: {
@@ -6267,6 +6347,14 @@ function checkpointResponseContinuation(state, value) {
6267
6347
  if (packet.kind === "assess_proof" || packet.kind === "recover_evidence" || packet.stage === "verify") {
6268
6348
  const assessment = proofAssessmentPayloadFromCheckpointResponse(response);
6269
6349
  if (assessment) {
6350
+ const sourceBlocker = proofAssessmentSourceBlocker({
6351
+ checkpoint: packet.checkpoint,
6352
+ stage: packet.stage,
6353
+ payload: assessment,
6354
+ response,
6355
+ code: "checkpoint_response_source_not_trusted"
6356
+ });
6357
+ if (sourceBlocker) return { blocker: sourceBlocker };
6270
6358
  appendCheckpointResponse(state, response);
6271
6359
  if (state.request.ship_mode !== "ship" && proofAssessmentRequestsShip(assessment)) {
6272
6360
  const result = {
@@ -6825,6 +6913,25 @@ async function routeCheckpoint(request, state, result, agent, input) {
6825
6913
  }
6826
6914
  };
6827
6915
  }
6916
+ const sourceBlocker = proofAssessmentSourceBlocker({
6917
+ checkpoint,
6918
+ stage: "verify",
6919
+ payload,
6920
+ code: "proof_assessment_source_not_trusted"
6921
+ });
6922
+ if (sourceBlocker) {
6923
+ recordEvent(state, {
6924
+ kind: "agent.proof_assessment.source_blocked",
6925
+ checkpoint,
6926
+ stage: "verify",
6927
+ summary: sourceBlocker.message,
6928
+ details: compactRecord({
6929
+ proof_assessment: payload,
6930
+ agent_duration_ms: durationMs
6931
+ })
6932
+ });
6933
+ return { blocker: sourceBlocker };
6934
+ }
6828
6935
  const visualBlocker = proofAssessmentVisualBlocker({
6829
6936
  ...context.fullRiddleState || {},
6830
6937
  verification_mode: context.fullRiddleState?.verification_mode || request.verification_mode
@@ -19959,6 +20066,7 @@ function buildRiddleProofPrCommentMarkdown(input) {
19959
20066
  buildRiddleProofProfileScript,
19960
20067
  buildStageCheckpointPacket,
19961
20068
  buildVisualProofSession,
20069
+ checkpointPacketIdentity,
19962
20070
  checkpointResponseIdentity,
19963
20071
  checkpointSummaryFromState,
19964
20072
  collectRiddlePreviewDeployWarnings,
package/dist/index.d.cts CHANGED
@@ -1,7 +1,7 @@
1
1
  export { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofCheckpointArtifact, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, RiddleProofCheckpointRole, RiddleProofCheckpointRoutingHint, RiddleProofCheckpointSummary, RiddleProofCheckpointVisibility, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofProofContract, RiddleProofRunCard, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatePaths, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofViewportCapture, RiddleProofViewportMatrixStatus, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter } from './types.cjs';
2
2
  export { TerminalMetadataInput, applyTerminalMetadata, compactRecord, createRunResult, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue } from './result.cjs';
3
3
  export { CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, RunEventInput, appendRunEvent, appendStageHeartbeat, applyPrLifecycleState, createRunState, createRunStatusSnapshot, normalizeIntegrationContext, normalizePrLifecycleState, normalizeRunParams, setRunStatus } from './state.cjs';
4
- export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointResponseIdentity, checkpointSummaryFromState, createCheckpointResponseTemplate, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.cjs';
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
6
  export { R as RiddleProofRunnerAdapters, a as RunRiddleProofInput, r as runRiddleProof } from './runner-4LJ5z0D-.cjs';
7
7
  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';
package/dist/index.d.ts CHANGED
@@ -1,7 +1,7 @@
1
1
  export { EvidenceArtifact, EvidenceReference, ImplementationAdapter, ImplementationAdapterInput, ImplementationAdapterResult, IntegrationContext, JsonObject, JsonPrimitive, JsonValue, JudgeAdapter, NotificationAdapter, PreflightAdapter, PreflightAdapterInput, PreflightAdapterResult, ProofAdapter, ProofAdapterInput, ProofAdapterResult, RiddleProofArtifactRole, RiddleProofAssessment, RiddleProofBlocker, RiddleProofCheckpointArtifact, RiddleProofCheckpointPacket, RiddleProofCheckpointResponse, RiddleProofCheckpointRole, RiddleProofCheckpointRoutingHint, RiddleProofCheckpointSummary, RiddleProofCheckpointVisibility, RiddleProofDecision, RiddleProofEvent, RiddleProofEvidenceBundle, RiddleProofPrLifecycleState, RiddleProofPrLifecycleStatus, RiddleProofProofContract, RiddleProofRunCard, RiddleProofRunParams, RiddleProofRunResult, RiddleProofRunState, RiddleProofRunStatusSnapshot, RiddleProofStage, RiddleProofStatePaths, RiddleProofStatus, RiddleProofTerminalMetadata, RiddleProofVerificationMode, RiddleProofViewportCapture, RiddleProofViewportMatrixStatus, RiddleProofVisualSession, RiddleProofVisualSessionFingerprintBasis, SetupAdapter, SetupAdapterInput, SetupAdapterResult, ShipAdapter } from './types.js';
2
2
  export { TerminalMetadataInput, applyTerminalMetadata, compactRecord, createRunResult, isSuccessfulStatus, isTerminalStatus, nonEmptyString, normalizeTerminalMetadata, recordValue } from './result.js';
3
3
  export { CreateRunStateInput, RIDDLE_PROOF_RUN_STATE_VERSION, RunEventInput, appendRunEvent, appendStageHeartbeat, applyPrLifecycleState, createRunState, createRunStatusSnapshot, normalizeIntegrationContext, normalizePrLifecycleState, normalizeRunParams, setRunStatus } from './state.js';
4
- export { RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION, RIDDLE_PROOF_CHECKPOINT_RESPONSE_VERSION, authorPacketPayloadFromCheckpointResponse, buildAuthorCheckpointPacket, buildCheckpointPacketForEngineResult, buildProofAssessmentCheckpointPacket, buildStageCheckpointPacket, checkpointResponseIdentity, checkpointSummaryFromState, createCheckpointResponseTemplate, isDuplicateCheckpointResponse, normalizeCheckpointResponse, proofContractFromAuthorCheckpointResponse, statePathsForRunState } from './checkpoint.js';
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
6
  export { R as RiddleProofRunnerAdapters, a as RunRiddleProofInput, r as runRiddleProof } from './runner-BdQpOkZD.js';
7
7
  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';
package/dist/index.js CHANGED
@@ -1,6 +1,6 @@
1
1
  import {
2
2
  runRiddleProof
3
- } from "./chunk-2CZORYB7.js";
3
+ } from "./chunk-S5DX7Z6X.js";
4
4
  import "./chunk-6F4PWJZI.js";
5
5
  import {
6
6
  RIDDLE_PROOF_PLAYABILITY_ASSESSMENT_VERSION,
@@ -102,7 +102,7 @@ import {
102
102
  createDisabledRiddleProofAgentAdapter,
103
103
  readRiddleProofRunStatus,
104
104
  runRiddleProofEngineHarness
105
- } from "./chunk-WURLFN72.js";
105
+ } from "./chunk-IV4DVWPR.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-M3IE3VNC.js";
117
+ } from "./chunk-WDIKPIMB.js";
118
118
  import {
119
119
  RIDDLE_PROOF_RUN_CARD_VERSION,
120
120
  createRiddleProofRunCard
121
- } from "./chunk-RBAU2M4S.js";
121
+ } from "./chunk-JJ4IWRMJ.js";
122
122
  import "./chunk-EKZXU6MU.js";
123
123
  import {
124
124
  RIDDLE_PROOF_CHECKPOINT_PACKET_VERSION,
@@ -128,6 +128,7 @@ import {
128
128
  buildCheckpointPacketForEngineResult,
129
129
  buildProofAssessmentCheckpointPacket,
130
130
  buildStageCheckpointPacket,
131
+ checkpointPacketIdentity,
131
132
  checkpointResponseIdentity,
132
133
  checkpointSummaryFromState,
133
134
  createCheckpointResponseTemplate,
@@ -135,7 +136,7 @@ import {
135
136
  normalizeCheckpointResponse,
136
137
  proofContractFromAuthorCheckpointResponse,
137
138
  statePathsForRunState
138
- } from "./chunk-AXWJJ2LC.js";
139
+ } from "./chunk-BLM5EIBA.js";
139
140
  import "./chunk-JFQXAJH2.js";
140
141
  import {
141
142
  createCodexExecAgentAdapter,
@@ -205,6 +206,7 @@ export {
205
206
  buildRiddleProofProfileScript,
206
207
  buildStageCheckpointPacket,
207
208
  buildVisualProofSession,
209
+ checkpointPacketIdentity,
208
210
  checkpointResponseIdentity,
209
211
  checkpointSummaryFromState,
210
212
  collectRiddlePreviewDeployWarnings,
package/dist/openclaw.js CHANGED
@@ -3,10 +3,10 @@ import {
3
3
  parseOpenClawAssertions,
4
4
  parseOpenClawJsonObjectOrArray,
5
5
  toRiddleProofRunParams
6
- } from "./chunk-OYWZGDTS.js";
7
- import "./chunk-M3IE3VNC.js";
8
- import "./chunk-RBAU2M4S.js";
9
- import "./chunk-AXWJJ2LC.js";
6
+ } from "./chunk-LNWJAHAQ.js";
7
+ import "./chunk-WDIKPIMB.js";
8
+ import "./chunk-JJ4IWRMJ.js";
9
+ import "./chunk-BLM5EIBA.js";
10
10
  import "./chunk-VY4Y5U57.js";
11
11
  import "./chunk-MLKGABMK.js";
12
12
  export {
@@ -292,7 +292,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
292
292
  blocking?: boolean;
293
293
  details?: Record<string, unknown>;
294
294
  ok: boolean;
295
- action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
295
+ action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
296
296
  state_path: string;
297
297
  stage: any;
298
298
  summary: string;
@@ -382,7 +382,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
382
382
  continueWithStage?: WorkflowStage | null;
383
383
  blocking?: boolean;
384
384
  details?: Record<string, unknown>;
385
- action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
385
+ action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
386
386
  state_path: string;
387
387
  stage: any;
388
388
  checkpoint: string;
@@ -659,7 +659,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
659
659
  error?: undefined;
660
660
  } | {
661
661
  ok: boolean;
662
- action: "author" | "recon" | "ship" | "implement" | "verify" | "setup";
662
+ action: "setup" | "recon" | "author" | "implement" | "verify" | "ship";
663
663
  state_path: string;
664
664
  stage: any;
665
665
  summary: string;
@@ -292,7 +292,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
292
292
  blocking?: boolean;
293
293
  details?: Record<string, unknown>;
294
294
  ok: boolean;
295
- action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
295
+ action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
296
296
  state_path: string;
297
297
  stage: any;
298
298
  summary: string;
@@ -382,7 +382,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
382
382
  continueWithStage?: WorkflowStage | null;
383
383
  blocking?: boolean;
384
384
  details?: Record<string, unknown>;
385
- action: "author" | "recon" | "ship" | "implement" | "verify" | "setup" | "run";
385
+ action: "setup" | "recon" | "author" | "implement" | "verify" | "ship" | "run";
386
386
  state_path: string;
387
387
  stage: any;
388
388
  checkpoint: string;
@@ -659,7 +659,7 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
659
659
  error?: undefined;
660
660
  } | {
661
661
  ok: boolean;
662
- action: "author" | "recon" | "ship" | "implement" | "verify" | "setup";
662
+ action: "setup" | "recon" | "author" | "implement" | "verify" | "ship";
663
663
  state_path: string;
664
664
  stage: any;
665
665
  summary: string;
@@ -1,2 +1,2 @@
1
1
  import './proof-run-core-7Dqm7RKM.cjs';
2
- export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-DpChFR5H.cjs';
2
+ export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-Baiv6l3A.cjs';
@@ -1,2 +1,2 @@
1
1
  import './proof-run-core-7Dqm7RKM.js';
2
- export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-BqRoA3Do.js';
2
+ export { R as RiddleProofEngine, c as createRiddleProofEngine, e as executeWorkflow } from './proof-run-engine-MiKZt9oY.js';
package/dist/run-card.js CHANGED
@@ -1,8 +1,8 @@
1
1
  import {
2
2
  RIDDLE_PROOF_RUN_CARD_VERSION,
3
3
  createRiddleProofRunCard
4
- } from "./chunk-RBAU2M4S.js";
5
- import "./chunk-AXWJJ2LC.js";
4
+ } from "./chunk-JJ4IWRMJ.js";
5
+ import "./chunk-BLM5EIBA.js";
6
6
  import "./chunk-VY4Y5U57.js";
7
7
  import "./chunk-MLKGABMK.js";
8
8
  export {
package/dist/runner.js CHANGED
@@ -1,10 +1,10 @@
1
1
  import {
2
2
  runRiddleProof
3
- } from "./chunk-2CZORYB7.js";
4
- import "./chunk-M3IE3VNC.js";
5
- import "./chunk-RBAU2M4S.js";
3
+ } from "./chunk-S5DX7Z6X.js";
4
+ import "./chunk-WDIKPIMB.js";
5
+ import "./chunk-JJ4IWRMJ.js";
6
6
  import "./chunk-EKZXU6MU.js";
7
- import "./chunk-AXWJJ2LC.js";
7
+ import "./chunk-BLM5EIBA.js";
8
8
  import "./chunk-VY4Y5U57.js";
9
9
  import "./chunk-MLKGABMK.js";
10
10
  export {