@riddledc/riddle-proof 0.5.33 → 0.5.35

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 (41) hide show
  1. package/dist/{chunk-A5AWVY5A.js → chunk-4YCWZVBN.js} +20 -2
  2. package/dist/{chunk-CHKYSZLU.js → chunk-7R6ZQE3X.js} +5 -5
  3. package/dist/{chunk-TMMKRKY5.js → chunk-J2MERROF.js} +1 -0
  4. package/dist/{chunk-F6VFKS7K.js → chunk-MQ2BHHLX.js} +2 -2
  5. package/dist/{chunk-7ZJAUEUN.js → chunk-OASB3CYU.js} +6 -1
  6. package/dist/chunk-ODORKNSO.js +121 -0
  7. package/dist/engine-harness.cjs +26 -2
  8. package/dist/engine-harness.js +4 -4
  9. package/dist/index.cjs +154 -4
  10. package/dist/index.d.cts +2 -1
  11. package/dist/index.d.ts +2 -1
  12. package/dist/index.js +24 -8
  13. package/dist/openclaw.cjs +29 -0
  14. package/dist/openclaw.d.cts +7 -1
  15. package/dist/openclaw.d.ts +7 -1
  16. package/dist/openclaw.js +25 -2
  17. package/dist/proof-run-core.cjs +20 -2
  18. package/dist/proof-run-core.d.cts +16 -0
  19. package/dist/proof-run-core.d.ts +16 -0
  20. package/dist/proof-run-core.js +1 -1
  21. package/dist/proof-run-engine.cjs +20 -2
  22. package/dist/proof-run-engine.d.cts +24 -0
  23. package/dist/proof-run-engine.d.ts +24 -0
  24. package/dist/proof-run-engine.js +1 -1
  25. package/dist/proof-session.cjs +151 -0
  26. package/dist/proof-session.d.cts +37 -0
  27. package/dist/proof-session.d.ts +37 -0
  28. package/dist/proof-session.js +18 -0
  29. package/dist/result.cjs +1 -0
  30. package/dist/result.js +1 -1
  31. package/dist/runner.cjs +6 -0
  32. package/dist/runner.js +3 -3
  33. package/dist/state.cjs +5 -0
  34. package/dist/state.js +2 -2
  35. package/dist/types.d.cts +67 -1
  36. package/dist/types.d.ts +67 -1
  37. package/package.json +7 -2
  38. package/runtime/lib/preflight.py +42 -2
  39. package/runtime/lib/util.py +237 -0
  40. package/runtime/lib/verify.py +55 -2
  41. package/runtime/tests/recon_verify_smoke.py +120 -1
package/dist/index.js CHANGED
@@ -1,3 +1,6 @@
1
+ import {
2
+ runRiddleProof
3
+ } from "./chunk-MQ2BHHLX.js";
1
4
  import "./chunk-6F4PWJZI.js";
2
5
  import {
3
6
  DEFAULT_DIAGNOSTIC_ARRAY_LIMIT,
@@ -13,11 +16,7 @@ import {
13
16
  createDisabledRiddleProofAgentAdapter,
14
17
  readRiddleProofRunStatus,
15
18
  runRiddleProofEngineHarness
16
- } from "./chunk-CHKYSZLU.js";
17
- import "./chunk-A5AWVY5A.js";
18
- import {
19
- runRiddleProof
20
- } from "./chunk-F6VFKS7K.js";
19
+ } from "./chunk-7R6ZQE3X.js";
21
20
  import {
22
21
  RIDDLE_PROOF_RUN_STATE_VERSION,
23
22
  appendRunEvent,
@@ -29,7 +28,17 @@ import {
29
28
  normalizePrLifecycleState,
30
29
  normalizeRunParams,
31
30
  setRunStatus
32
- } from "./chunk-7ZJAUEUN.js";
31
+ } from "./chunk-OASB3CYU.js";
32
+ import "./chunk-4YCWZVBN.js";
33
+ import {
34
+ RIDDLE_PROOF_VISUAL_SESSION_FINGERPRINT_VERSION,
35
+ RIDDLE_PROOF_VISUAL_SESSION_VERSION,
36
+ buildVisualProofSession,
37
+ compareVisualProofSessionFingerprint,
38
+ parseVisualProofSession,
39
+ visualSessionFingerprint,
40
+ visualSessionFingerprintBasis
41
+ } from "./chunk-ODORKNSO.js";
33
42
  import {
34
43
  applyTerminalMetadata,
35
44
  compactRecord,
@@ -39,19 +48,23 @@ import {
39
48
  nonEmptyString,
40
49
  normalizeTerminalMetadata,
41
50
  recordValue
42
- } from "./chunk-TMMKRKY5.js";
51
+ } from "./chunk-J2MERROF.js";
43
52
  export {
44
53
  DEFAULT_DIAGNOSTIC_ARRAY_LIMIT,
45
54
  DEFAULT_DIAGNOSTIC_HISTORY_LIMIT,
46
55
  DEFAULT_DIAGNOSTIC_STRING_LIMIT,
47
56
  RIDDLE_PROOF_CAPTURE_DIAGNOSTIC_VERSION,
48
57
  RIDDLE_PROOF_RUN_STATE_VERSION,
58
+ RIDDLE_PROOF_VISUAL_SESSION_FINGERPRINT_VERSION,
59
+ RIDDLE_PROOF_VISUAL_SESSION_VERSION,
49
60
  appendCaptureDiagnostic,
50
61
  appendRunEvent,
51
62
  appendStageHeartbeat,
52
63
  applyPrLifecycleState,
53
64
  applyTerminalMetadata,
65
+ buildVisualProofSession,
54
66
  compactRecord,
67
+ compareVisualProofSessionFingerprint,
55
68
  createCaptureDiagnostic,
56
69
  createDisabledRiddleProofAgentAdapter,
57
70
  createRunResult,
@@ -64,11 +77,14 @@ export {
64
77
  normalizePrLifecycleState,
65
78
  normalizeRunParams,
66
79
  normalizeTerminalMetadata,
80
+ parseVisualProofSession,
67
81
  readRiddleProofRunStatus,
68
82
  recordValue,
69
83
  redactForProofDiagnostics,
70
84
  runRiddleProof,
71
85
  runRiddleProofEngineHarness,
72
86
  setRunStatus,
73
- summarizeCaptureArtifacts
87
+ summarizeCaptureArtifacts,
88
+ visualSessionFingerprint,
89
+ visualSessionFingerprintBasis
74
90
  };
package/dist/openclaw.cjs CHANGED
@@ -22,6 +22,7 @@ var openclaw_exports = {};
22
22
  __export(openclaw_exports, {
23
23
  openClawIntegrationContext: () => openClawIntegrationContext,
24
24
  parseOpenClawAssertions: () => parseOpenClawAssertions,
25
+ parseOpenClawJsonObjectOrArray: () => parseOpenClawJsonObjectOrArray,
25
26
  toRiddleProofRunParams: () => toRiddleProofRunParams
26
27
  });
27
28
  module.exports = __toCommonJS(openclaw_exports);
@@ -64,6 +65,11 @@ function normalizeRunParams(input) {
64
65
  success_criteria: input.success_criteria,
65
66
  assertions: input.assertions,
66
67
  verification_mode: input.verification_mode,
68
+ resume_session: input.resume_session,
69
+ target_image_url: input.target_image_url,
70
+ target_image_hash: input.target_image_hash,
71
+ viewport_matrix: input.viewport_matrix,
72
+ deterministic_setup: input.deterministic_setup,
67
73
  reference: input.reference,
68
74
  base_branch: input.base_branch,
69
75
  before_ref: input.before_ref,
@@ -106,6 +112,23 @@ function parseOpenClawAssertions(value) {
106
112
  return trimmed;
107
113
  }
108
114
  }
115
+ function parseOpenClawJsonObjectOrArray(value, name) {
116
+ if (value === void 0 || value === null || value === "") return void 0;
117
+ if (typeof value !== "string") return value;
118
+ const trimmed = value.trim();
119
+ if (!trimmed) return void 0;
120
+ let parsed;
121
+ try {
122
+ parsed = JSON.parse(trimmed);
123
+ } catch (error) {
124
+ const message = error instanceof Error ? error.message : String(error);
125
+ throw new Error(`${name} is not valid JSON: ${message}`);
126
+ }
127
+ if (parsed === null || typeof parsed !== "object" && !Array.isArray(parsed)) {
128
+ throw new Error(`${name} must decode to a JSON object or array.`);
129
+ }
130
+ return parsed;
131
+ }
109
132
  function normalizeOpenClawReference(value) {
110
133
  if (value !== "prod" && value !== "before" && value !== "both") return void 0;
111
134
  return value;
@@ -140,6 +163,11 @@ function toRiddleProofRunParams(params) {
140
163
  success_criteria: params.success_criteria,
141
164
  assertions: parseOpenClawAssertions(params.assertions_json),
142
165
  verification_mode: params.verification_mode,
166
+ resume_session: params.resume_session,
167
+ target_image_url: params.target_image_url,
168
+ target_image_hash: params.target_image_hash,
169
+ viewport_matrix: parseOpenClawJsonObjectOrArray(params.viewport_matrix_json, "viewport_matrix_json"),
170
+ deterministic_setup: parseOpenClawJsonObjectOrArray(params.deterministic_setup_json, "deterministic_setup_json"),
143
171
  reference: normalizeOpenClawReference(params.reference),
144
172
  base_branch: params.base_branch,
145
173
  before_ref: params.before_ref,
@@ -173,5 +201,6 @@ function toRiddleProofRunParams(params) {
173
201
  0 && (module.exports = {
174
202
  openClawIntegrationContext,
175
203
  parseOpenClawAssertions,
204
+ parseOpenClawJsonObjectOrArray,
176
205
  toRiddleProofRunParams
177
206
  });
@@ -10,6 +10,11 @@ interface OpenClawProofedChangeParams {
10
10
  success_criteria?: string;
11
11
  assertions_json?: string;
12
12
  verification_mode?: string;
13
+ resume_session?: string;
14
+ target_image_url?: string;
15
+ target_image_hash?: string;
16
+ viewport_matrix_json?: string;
17
+ deterministic_setup_json?: string;
13
18
  reference?: "prod" | "before" | "both" | (string & {});
14
19
  base_branch?: string;
15
20
  before_ref?: string;
@@ -43,7 +48,8 @@ interface OpenClawProofedChangeParams {
43
48
  discord_source_url?: string;
44
49
  }
45
50
  declare function parseOpenClawAssertions(value: unknown): JsonValue | undefined;
51
+ declare function parseOpenClawJsonObjectOrArray(value: unknown, name: string): JsonValue | undefined;
46
52
  declare function openClawIntegrationContext(params: OpenClawProofedChangeParams): IntegrationContext;
47
53
  declare function toRiddleProofRunParams(params: OpenClawProofedChangeParams): RiddleProofRunParams;
48
54
 
49
- export { type OpenClawProofedChangeParams, openClawIntegrationContext, parseOpenClawAssertions, toRiddleProofRunParams };
55
+ export { type OpenClawProofedChangeParams, openClawIntegrationContext, parseOpenClawAssertions, parseOpenClawJsonObjectOrArray, toRiddleProofRunParams };
@@ -10,6 +10,11 @@ interface OpenClawProofedChangeParams {
10
10
  success_criteria?: string;
11
11
  assertions_json?: string;
12
12
  verification_mode?: string;
13
+ resume_session?: string;
14
+ target_image_url?: string;
15
+ target_image_hash?: string;
16
+ viewport_matrix_json?: string;
17
+ deterministic_setup_json?: string;
13
18
  reference?: "prod" | "before" | "both" | (string & {});
14
19
  base_branch?: string;
15
20
  before_ref?: string;
@@ -43,7 +48,8 @@ interface OpenClawProofedChangeParams {
43
48
  discord_source_url?: string;
44
49
  }
45
50
  declare function parseOpenClawAssertions(value: unknown): JsonValue | undefined;
51
+ declare function parseOpenClawJsonObjectOrArray(value: unknown, name: string): JsonValue | undefined;
46
52
  declare function openClawIntegrationContext(params: OpenClawProofedChangeParams): IntegrationContext;
47
53
  declare function toRiddleProofRunParams(params: OpenClawProofedChangeParams): RiddleProofRunParams;
48
54
 
49
- export { type OpenClawProofedChangeParams, openClawIntegrationContext, parseOpenClawAssertions, toRiddleProofRunParams };
55
+ export { type OpenClawProofedChangeParams, openClawIntegrationContext, parseOpenClawAssertions, parseOpenClawJsonObjectOrArray, toRiddleProofRunParams };
package/dist/openclaw.js CHANGED
@@ -1,10 +1,10 @@
1
1
  import {
2
2
  normalizeIntegrationContext,
3
3
  normalizeRunParams
4
- } from "./chunk-7ZJAUEUN.js";
4
+ } from "./chunk-OASB3CYU.js";
5
5
  import {
6
6
  compactRecord
7
- } from "./chunk-TMMKRKY5.js";
7
+ } from "./chunk-J2MERROF.js";
8
8
 
9
9
  // src/openclaw.ts
10
10
  function parseOpenClawAssertions(value) {
@@ -18,6 +18,23 @@ function parseOpenClawAssertions(value) {
18
18
  return trimmed;
19
19
  }
20
20
  }
21
+ function parseOpenClawJsonObjectOrArray(value, name) {
22
+ if (value === void 0 || value === null || value === "") return void 0;
23
+ if (typeof value !== "string") return value;
24
+ const trimmed = value.trim();
25
+ if (!trimmed) return void 0;
26
+ let parsed;
27
+ try {
28
+ parsed = JSON.parse(trimmed);
29
+ } catch (error) {
30
+ const message = error instanceof Error ? error.message : String(error);
31
+ throw new Error(`${name} is not valid JSON: ${message}`);
32
+ }
33
+ if (parsed === null || typeof parsed !== "object" && !Array.isArray(parsed)) {
34
+ throw new Error(`${name} must decode to a JSON object or array.`);
35
+ }
36
+ return parsed;
37
+ }
21
38
  function normalizeOpenClawReference(value) {
22
39
  if (value !== "prod" && value !== "before" && value !== "both") return void 0;
23
40
  return value;
@@ -52,6 +69,11 @@ function toRiddleProofRunParams(params) {
52
69
  success_criteria: params.success_criteria,
53
70
  assertions: parseOpenClawAssertions(params.assertions_json),
54
71
  verification_mode: params.verification_mode,
72
+ resume_session: params.resume_session,
73
+ target_image_url: params.target_image_url,
74
+ target_image_hash: params.target_image_hash,
75
+ viewport_matrix: parseOpenClawJsonObjectOrArray(params.viewport_matrix_json, "viewport_matrix_json"),
76
+ deterministic_setup: parseOpenClawJsonObjectOrArray(params.deterministic_setup_json, "deterministic_setup_json"),
55
77
  reference: normalizeOpenClawReference(params.reference),
56
78
  base_branch: params.base_branch,
57
79
  before_ref: params.before_ref,
@@ -84,5 +106,6 @@ function toRiddleProofRunParams(params) {
84
106
  export {
85
107
  openClawIntegrationContext,
86
108
  parseOpenClawAssertions,
109
+ parseOpenClawJsonObjectOrArray,
87
110
  toRiddleProofRunParams
88
111
  };
@@ -122,6 +122,11 @@ function ensureAction(action) {
122
122
  function workflowFile(riddleProofDir, action) {
123
123
  return import_node_path.default.join(riddleProofDir, "pipelines", `riddle-proof-${action}.lobster`);
124
124
  }
125
+ function asJsonString(value) {
126
+ if (value === void 0 || value === null || value === "") return "";
127
+ if (typeof value === "string") return value;
128
+ return JSON.stringify(value);
129
+ }
125
130
  function buildSetupArgs(params, config) {
126
131
  if (!params.repo) throw new Error("repo is required for setup/run");
127
132
  if (!params.change_request) throw new Error("change_request is required for setup/run");
@@ -137,8 +142,13 @@ function buildSetupArgs(params, config) {
137
142
  prod_url: params.prod_url || "",
138
143
  capture_script: captureScript,
139
144
  success_criteria: params.success_criteria || "",
140
- assertions_json: params.assertions_json || "",
145
+ assertions_json: params.assertions_json || asJsonString(params.assertions),
141
146
  verification_mode: params.verification_mode || "proof",
147
+ resume_session: params.resume_session || "",
148
+ target_image_url: params.target_image_url || "",
149
+ target_image_hash: params.target_image_hash || "",
150
+ viewport_matrix_json: params.viewport_matrix_json || asJsonString(params.viewport_matrix),
151
+ deterministic_setup_json: params.deterministic_setup_json || asJsonString(params.deterministic_setup),
142
152
  reference: requestedReference,
143
153
  base_branch: params.base_branch || "main",
144
154
  before_ref: params.before_ref || "",
@@ -708,6 +718,11 @@ function mergeStateFromParams(statePath, params) {
708
718
  "success_criteria",
709
719
  "assertions_json",
710
720
  "verification_mode",
721
+ "resume_session",
722
+ "target_image_url",
723
+ "target_image_hash",
724
+ "viewport_matrix_json",
725
+ "deterministic_setup_json",
711
726
  "base_branch",
712
727
  "before_ref",
713
728
  "context",
@@ -939,7 +954,10 @@ function summarizeState(state) {
939
954
  explicit_stage_gate: Boolean(state.explicit_stage_gate),
940
955
  last_requested_advance_stage: state.last_requested_advance_stage || null,
941
956
  recon_results: state.recon_results || null,
942
- verify_results: state.verify_results || null
957
+ verify_results: state.verify_results || null,
958
+ proof_session: state.proof_session || null,
959
+ parent_proof_session: state.parent_proof_session || null,
960
+ proof_session_artifact_url: state.proof_session_artifact_url || null
943
961
  };
944
962
  const parts = [
945
963
  state.workspace_ready ? "workspace ready" : "workspace not ready",
@@ -10,8 +10,16 @@ interface WorkflowParams {
10
10
  prod_url?: string;
11
11
  capture_script?: string;
12
12
  success_criteria?: string;
13
+ assertions?: unknown;
13
14
  assertions_json?: string;
14
15
  verification_mode?: string;
16
+ resume_session?: string;
17
+ target_image_url?: string;
18
+ target_image_hash?: string;
19
+ viewport_matrix?: unknown;
20
+ viewport_matrix_json?: string;
21
+ deterministic_setup?: unknown;
22
+ deterministic_setup_json?: string;
15
23
  reference?: "prod" | "before" | "both";
16
24
  base_branch?: string;
17
25
  before_ref?: string;
@@ -102,6 +110,11 @@ declare function buildSetupArgs(params: WorkflowParams, config: ReturnType<typeo
102
110
  success_criteria: string;
103
111
  assertions_json: string;
104
112
  verification_mode: string;
113
+ resume_session: string;
114
+ target_image_url: string;
115
+ target_image_hash: string;
116
+ viewport_matrix_json: string;
117
+ deterministic_setup_json: string;
105
118
  reference: "prod" | "before" | "both";
106
119
  base_branch: string;
107
120
  before_ref: string;
@@ -287,6 +300,9 @@ declare function summarizeState(state: any): {
287
300
  last_requested_advance_stage: any;
288
301
  recon_results: any;
289
302
  verify_results: any;
303
+ proof_session: any;
304
+ parent_proof_session: any;
305
+ proof_session_artifact_url: any;
290
306
  };
291
307
  };
292
308
 
@@ -10,8 +10,16 @@ interface WorkflowParams {
10
10
  prod_url?: string;
11
11
  capture_script?: string;
12
12
  success_criteria?: string;
13
+ assertions?: unknown;
13
14
  assertions_json?: string;
14
15
  verification_mode?: string;
16
+ resume_session?: string;
17
+ target_image_url?: string;
18
+ target_image_hash?: string;
19
+ viewport_matrix?: unknown;
20
+ viewport_matrix_json?: string;
21
+ deterministic_setup?: unknown;
22
+ deterministic_setup_json?: string;
15
23
  reference?: "prod" | "before" | "both";
16
24
  base_branch?: string;
17
25
  before_ref?: string;
@@ -102,6 +110,11 @@ declare function buildSetupArgs(params: WorkflowParams, config: ReturnType<typeo
102
110
  success_criteria: string;
103
111
  assertions_json: string;
104
112
  verification_mode: string;
113
+ resume_session: string;
114
+ target_image_url: string;
115
+ target_image_hash: string;
116
+ viewport_matrix_json: string;
117
+ deterministic_setup_json: string;
105
118
  reference: "prod" | "before" | "both";
106
119
  base_branch: string;
107
120
  before_ref: string;
@@ -287,6 +300,9 @@ declare function summarizeState(state: any): {
287
300
  last_requested_advance_stage: any;
288
301
  recon_results: any;
289
302
  verify_results: any;
303
+ proof_session: any;
304
+ parent_proof_session: any;
305
+ proof_session_artifact_url: any;
290
306
  };
291
307
  };
292
308
 
@@ -24,7 +24,7 @@ import {
24
24
  visualDeltaShipGateReason,
25
25
  workflowFile,
26
26
  writeState
27
- } from "./chunk-A5AWVY5A.js";
27
+ } from "./chunk-4YCWZVBN.js";
28
28
  export {
29
29
  BUNDLED_RIDDLE_PROOF_DIR,
30
30
  CHECKPOINT_CONTRACT_VERSION,
@@ -104,6 +104,11 @@ function ensureAction(action) {
104
104
  function workflowFile(riddleProofDir, action) {
105
105
  return import_node_path.default.join(riddleProofDir, "pipelines", `riddle-proof-${action}.lobster`);
106
106
  }
107
+ function asJsonString(value) {
108
+ if (value === void 0 || value === null || value === "") return "";
109
+ if (typeof value === "string") return value;
110
+ return JSON.stringify(value);
111
+ }
107
112
  function buildSetupArgs(params, config) {
108
113
  if (!params.repo) throw new Error("repo is required for setup/run");
109
114
  if (!params.change_request) throw new Error("change_request is required for setup/run");
@@ -119,8 +124,13 @@ function buildSetupArgs(params, config) {
119
124
  prod_url: params.prod_url || "",
120
125
  capture_script: captureScript,
121
126
  success_criteria: params.success_criteria || "",
122
- assertions_json: params.assertions_json || "",
127
+ assertions_json: params.assertions_json || asJsonString(params.assertions),
123
128
  verification_mode: params.verification_mode || "proof",
129
+ resume_session: params.resume_session || "",
130
+ target_image_url: params.target_image_url || "",
131
+ target_image_hash: params.target_image_hash || "",
132
+ viewport_matrix_json: params.viewport_matrix_json || asJsonString(params.viewport_matrix),
133
+ deterministic_setup_json: params.deterministic_setup_json || asJsonString(params.deterministic_setup),
124
134
  reference: requestedReference,
125
135
  base_branch: params.base_branch || "main",
126
136
  before_ref: params.before_ref || "",
@@ -690,6 +700,11 @@ function mergeStateFromParams(statePath, params) {
690
700
  "success_criteria",
691
701
  "assertions_json",
692
702
  "verification_mode",
703
+ "resume_session",
704
+ "target_image_url",
705
+ "target_image_hash",
706
+ "viewport_matrix_json",
707
+ "deterministic_setup_json",
693
708
  "base_branch",
694
709
  "before_ref",
695
710
  "context",
@@ -921,7 +936,10 @@ function summarizeState(state) {
921
936
  explicit_stage_gate: Boolean(state.explicit_stage_gate),
922
937
  last_requested_advance_stage: state.last_requested_advance_stage || null,
923
938
  recon_results: state.recon_results || null,
924
- verify_results: state.verify_results || null
939
+ verify_results: state.verify_results || null,
940
+ proof_session: state.proof_session || null,
941
+ parent_proof_session: state.parent_proof_session || null,
942
+ proof_session_artifact_url: state.proof_session_artifact_url || null
925
943
  };
926
944
  const parts = [
927
945
  state.workspace_ready ? "workspace ready" : "workspace not ready",
@@ -83,6 +83,9 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
83
83
  last_requested_advance_stage: any;
84
84
  recon_results: any;
85
85
  verify_results: any;
86
+ proof_session: any;
87
+ parent_proof_session: any;
88
+ proof_session_artifact_url: any;
86
89
  } | null;
87
90
  pr_state: {
88
91
  status: string;
@@ -172,6 +175,9 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
172
175
  last_requested_advance_stage: any;
173
176
  recon_results: any;
174
177
  verify_results: any;
178
+ proof_session: any;
179
+ parent_proof_session: any;
180
+ proof_session_artifact_url: any;
175
181
  } | null;
176
182
  pr_state: {
177
183
  status: string;
@@ -259,6 +265,9 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
259
265
  last_requested_advance_stage: any;
260
266
  recon_results: any;
261
267
  verify_results: any;
268
+ proof_session: any;
269
+ parent_proof_session: any;
270
+ proof_session_artifact_url: any;
262
271
  } | null;
263
272
  pr_state: any;
264
273
  cleanup: Record<string, unknown> | null;
@@ -339,6 +348,9 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
339
348
  last_requested_advance_stage: any;
340
349
  recon_results: any;
341
350
  verify_results: any;
351
+ proof_session: any;
352
+ parent_proof_session: any;
353
+ proof_session_artifact_url: any;
342
354
  } | null;
343
355
  approval: any;
344
356
  error: any;
@@ -422,6 +434,9 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
422
434
  last_requested_advance_stage: any;
423
435
  recon_results: any;
424
436
  verify_results: any;
437
+ proof_session: any;
438
+ parent_proof_session: any;
439
+ proof_session_artifact_url: any;
425
440
  } | null;
426
441
  decisionRequest: any;
427
442
  checkpointContract: any;
@@ -509,6 +524,9 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
509
524
  last_requested_advance_stage: any;
510
525
  recon_results: any;
511
526
  verify_results: any;
527
+ proof_session: any;
528
+ parent_proof_session: any;
529
+ proof_session_artifact_url: any;
512
530
  };
513
531
  state_path: string;
514
532
  ok?: undefined;
@@ -594,6 +612,9 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
594
612
  last_requested_advance_stage: any;
595
613
  recon_results: any;
596
614
  verify_results: any;
615
+ proof_session: any;
616
+ parent_proof_session: any;
617
+ proof_session_artifact_url: any;
597
618
  } | null;
598
619
  shipReport: any;
599
620
  checkpointContract: Record<string, unknown>;
@@ -674,6 +695,9 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
674
695
  last_requested_advance_stage: any;
675
696
  recon_results: any;
676
697
  verify_results: any;
698
+ proof_session: any;
699
+ parent_proof_session: any;
700
+ proof_session_artifact_url: any;
677
701
  } | null;
678
702
  approval: null;
679
703
  autoApproved: any;
@@ -83,6 +83,9 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
83
83
  last_requested_advance_stage: any;
84
84
  recon_results: any;
85
85
  verify_results: any;
86
+ proof_session: any;
87
+ parent_proof_session: any;
88
+ proof_session_artifact_url: any;
86
89
  } | null;
87
90
  pr_state: {
88
91
  status: string;
@@ -172,6 +175,9 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
172
175
  last_requested_advance_stage: any;
173
176
  recon_results: any;
174
177
  verify_results: any;
178
+ proof_session: any;
179
+ parent_proof_session: any;
180
+ proof_session_artifact_url: any;
175
181
  } | null;
176
182
  pr_state: {
177
183
  status: string;
@@ -259,6 +265,9 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
259
265
  last_requested_advance_stage: any;
260
266
  recon_results: any;
261
267
  verify_results: any;
268
+ proof_session: any;
269
+ parent_proof_session: any;
270
+ proof_session_artifact_url: any;
262
271
  } | null;
263
272
  pr_state: any;
264
273
  cleanup: Record<string, unknown> | null;
@@ -339,6 +348,9 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
339
348
  last_requested_advance_stage: any;
340
349
  recon_results: any;
341
350
  verify_results: any;
351
+ proof_session: any;
352
+ parent_proof_session: any;
353
+ proof_session_artifact_url: any;
342
354
  } | null;
343
355
  approval: any;
344
356
  error: any;
@@ -422,6 +434,9 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
422
434
  last_requested_advance_stage: any;
423
435
  recon_results: any;
424
436
  verify_results: any;
437
+ proof_session: any;
438
+ parent_proof_session: any;
439
+ proof_session_artifact_url: any;
425
440
  } | null;
426
441
  decisionRequest: any;
427
442
  checkpointContract: any;
@@ -509,6 +524,9 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
509
524
  last_requested_advance_stage: any;
510
525
  recon_results: any;
511
526
  verify_results: any;
527
+ proof_session: any;
528
+ parent_proof_session: any;
529
+ proof_session_artifact_url: any;
512
530
  };
513
531
  state_path: string;
514
532
  ok?: undefined;
@@ -594,6 +612,9 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
594
612
  last_requested_advance_stage: any;
595
613
  recon_results: any;
596
614
  verify_results: any;
615
+ proof_session: any;
616
+ parent_proof_session: any;
617
+ proof_session_artifact_url: any;
597
618
  } | null;
598
619
  shipReport: any;
599
620
  checkpointContract: Record<string, unknown>;
@@ -674,6 +695,9 @@ declare function executeWorkflow(params: WorkflowParams, pluginConfig: any, reso
674
695
  last_requested_advance_stage: any;
675
696
  recon_results: any;
676
697
  verify_results: any;
698
+ proof_session: any;
699
+ parent_proof_session: any;
700
+ proof_session_artifact_url: any;
677
701
  } | null;
678
702
  approval: null;
679
703
  autoApproved: any;
@@ -14,7 +14,7 @@ import {
14
14
  validateShipGate,
15
15
  workflowFile,
16
16
  writeState
17
- } from "./chunk-A5AWVY5A.js";
17
+ } from "./chunk-4YCWZVBN.js";
18
18
 
19
19
  // src/proof-run-engine.ts
20
20
  import { execFileSync } from "child_process";