@riddledc/riddle-proof 0.7.225 → 0.7.227
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.
- package/dist/adapters/codex-exec-agent.cjs +893 -0
- package/dist/adapters/codex-exec-agent.d.cts +3 -0
- package/dist/adapters/codex-exec-agent.d.ts +3 -0
- package/dist/adapters/codex-exec-agent.js +13 -0
- package/dist/adapters/codex.cjs +893 -0
- package/dist/adapters/codex.d.cts +3 -0
- package/dist/adapters/codex.d.ts +3 -0
- package/dist/adapters/codex.js +13 -0
- package/dist/adapters/local-agent.cjs +893 -0
- package/dist/adapters/local-agent.d.cts +3 -0
- package/dist/adapters/local-agent.d.ts +3 -0
- package/dist/adapters/local-agent.js +13 -0
- package/dist/adapters/openclaw.cjs +213 -0
- package/dist/adapters/openclaw.d.cts +2 -0
- package/dist/adapters/openclaw.d.ts +2 -0
- package/dist/adapters/openclaw.js +17 -0
- package/dist/advanced/engine-harness.cjs +5701 -0
- package/dist/advanced/engine-harness.d.cts +2 -0
- package/dist/advanced/engine-harness.d.ts +2 -0
- package/dist/advanced/engine-harness.js +16 -0
- package/dist/advanced/index.cjs +6242 -0
- package/dist/advanced/index.d.cts +5 -0
- package/dist/advanced/index.d.ts +5 -0
- package/dist/advanced/index.js +23 -0
- package/dist/advanced/proof-run-core.cjs +1085 -0
- package/dist/advanced/proof-run-core.d.cts +1 -0
- package/dist/advanced/proof-run-core.d.ts +1 -0
- package/dist/advanced/proof-run-core.js +59 -0
- package/dist/advanced/proof-run-engine.cjs +2905 -0
- package/dist/advanced/proof-run-engine.d.cts +2 -0
- package/dist/advanced/proof-run-engine.d.ts +2 -0
- package/dist/advanced/proof-run-engine.js +10 -0
- package/dist/advanced/runner.cjs +833 -0
- package/dist/advanced/runner.d.cts +2 -0
- package/dist/advanced/runner.d.ts +2 -0
- package/dist/advanced/runner.js +12 -0
- package/dist/app-contract/index.cjs +24 -0
- package/dist/app-contract/index.d.cts +1 -0
- package/dist/app-contract/index.d.ts +1 -0
- package/dist/app-contract/index.js +2 -0
- package/dist/basic-gameplay.js +1 -0
- package/dist/checkpoint.js +1 -0
- package/dist/chunk-BHL4JSGM.js +1900 -0
- package/dist/chunk-BTN76IGW.js +115 -0
- package/dist/{chunk-TGHTM66Z.js → chunk-COERZX63.js} +10 -2
- package/dist/{chunk-4DRRIJDX.js → chunk-IWLQQ5S5.js} +27 -4
- package/dist/chunk-MLKGABMK.js +9 -0
- package/dist/chunk-OFSECTSC.js +0 -0
- package/dist/{chunk-GBVEQQIM.js → chunk-TJ63IE65.js} +36 -1
- package/dist/chunk-VZD5LH7U.js +4138 -0
- package/dist/cli/index.cjs +18 -0
- package/dist/cli/index.d.cts +2 -0
- package/dist/cli/index.d.ts +2 -0
- package/dist/cli/index.js +12 -0
- package/dist/cli.cjs +19 -2
- package/dist/cli.d.cts +1 -0
- package/dist/cli.d.ts +1 -0
- package/dist/cli.js +8 -4139
- package/dist/codex-exec-agent.d.cts +1 -1
- package/dist/codex-exec-agent.d.ts +1 -1
- package/dist/codex-exec-agent.js +1 -0
- package/dist/diagnostics.js +1 -0
- package/dist/engine-harness-CMACHP6A.d.ts +96 -0
- package/dist/engine-harness-LBfqbFSe.d.cts +96 -0
- package/dist/engine-harness.cjs +19 -2
- package/dist/engine-harness.d.cts +2 -79
- package/dist/engine-harness.d.ts +2 -79
- package/dist/engine-harness.js +3 -2
- package/dist/index.cjs +19 -2
- package/dist/index.d.cts +2 -2
- package/dist/index.d.ts +2 -2
- package/dist/index.js +4 -3
- package/dist/local-agent.d.cts +1 -1
- package/dist/local-agent.d.ts +1 -1
- package/dist/local-agent.js +1 -0
- package/dist/openclaw.js +8 -107
- package/dist/playability.js +1 -0
- package/dist/profile/index.cjs +9403 -0
- package/dist/profile/index.d.cts +2 -0
- package/dist/profile/index.d.ts +2 -0
- package/dist/profile/index.js +53 -0
- package/dist/profile.js +1 -0
- package/dist/proof-run-core-CE0jx7wL.d.cts +359 -0
- package/dist/proof-run-core-CE0jx7wL.d.ts +359 -0
- package/dist/proof-run-core.d.cts +1 -322
- package/dist/proof-run-core.d.ts +1 -322
- package/dist/proof-run-core.js +2 -1
- package/dist/proof-run-engine-CSSc0mNn.d.ts +764 -0
- package/dist/proof-run-engine-HSRpUeBi.d.cts +764 -0
- package/dist/proof-run-engine.cjs +4 -0
- package/dist/proof-run-engine.d.cts +2 -757
- package/dist/proof-run-engine.d.ts +2 -757
- package/dist/proof-run-engine.js +5 -1881
- package/dist/proof-session.js +1 -0
- package/dist/result.js +1 -0
- package/dist/riddle-client.js +1 -0
- package/dist/run-card.js +1 -0
- package/dist/runner-4LJ5z0D-.d.cts +29 -0
- package/dist/runner-BdQpOkZD.d.ts +29 -0
- package/dist/runner.d.cts +2 -22
- package/dist/runner.d.ts +2 -22
- package/dist/runner.js +3 -2
- package/dist/runtime/index.cjs +528 -0
- package/dist/runtime/index.d.cts +1 -0
- package/dist/runtime/index.d.ts +1 -0
- package/dist/runtime/index.js +37 -0
- package/dist/runtime/riddle-client.cjs +528 -0
- package/dist/runtime/riddle-client.d.cts +1 -0
- package/dist/runtime/riddle-client.d.ts +1 -0
- package/dist/runtime/riddle-client.js +37 -0
- package/dist/spec/checkpoint.cjs +807 -0
- package/dist/spec/checkpoint.d.cts +2 -0
- package/dist/spec/checkpoint.d.ts +2 -0
- package/dist/spec/checkpoint.js +34 -0
- package/dist/spec/index.cjs +1510 -0
- package/dist/spec/index.d.cts +5 -0
- package/dist/spec/index.d.ts +5 -0
- package/dist/spec/index.js +80 -0
- package/dist/spec/result.cjs +259 -0
- package/dist/spec/result.d.cts +2 -0
- package/dist/spec/result.d.ts +2 -0
- package/dist/spec/result.js +21 -0
- package/dist/spec/run-card.cjs +287 -0
- package/dist/spec/run-card.d.cts +2 -0
- package/dist/spec/run-card.d.ts +2 -0
- package/dist/spec/run-card.js +11 -0
- package/dist/spec/state.cjs +541 -0
- package/dist/spec/state.d.cts +2 -0
- package/dist/spec/state.d.ts +2 -0
- package/dist/spec/state.js +28 -0
- package/dist/spec/types.cjs +18 -0
- package/dist/spec/types.d.cts +1 -0
- package/dist/spec/types.d.ts +1 -0
- package/dist/spec/types.js +1 -0
- package/dist/state.js +1 -0
- package/package.json +95 -2
- package/runtime/lib/verify.py +53 -3
- package/runtime/pipelines/riddle-proof-setup.lobster +45 -41
- package/runtime/tests/recon_verify_smoke.py +41 -0
|
@@ -0,0 +1,115 @@
|
|
|
1
|
+
import {
|
|
2
|
+
normalizeIntegrationContext,
|
|
3
|
+
normalizeRunParams
|
|
4
|
+
} from "./chunk-OHJQRDST.js";
|
|
5
|
+
import {
|
|
6
|
+
compactRecord
|
|
7
|
+
} from "./chunk-VY4Y5U57.js";
|
|
8
|
+
|
|
9
|
+
// src/openclaw.ts
|
|
10
|
+
function parseOpenClawAssertions(value) {
|
|
11
|
+
if (value === void 0 || value === null || value === "") return void 0;
|
|
12
|
+
if (typeof value !== "string") return value;
|
|
13
|
+
const trimmed = value.trim();
|
|
14
|
+
if (!trimmed) return void 0;
|
|
15
|
+
try {
|
|
16
|
+
return JSON.parse(trimmed);
|
|
17
|
+
} catch {
|
|
18
|
+
return trimmed;
|
|
19
|
+
}
|
|
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
|
+
}
|
|
38
|
+
function normalizeOpenClawReference(value) {
|
|
39
|
+
if (value !== "prod" && value !== "before" && value !== "both") return void 0;
|
|
40
|
+
return value;
|
|
41
|
+
}
|
|
42
|
+
function ignoredOpenClawReference(value) {
|
|
43
|
+
if (value === void 0 || value === null || value === "") return void 0;
|
|
44
|
+
return normalizeOpenClawReference(value) ? void 0 : String(value);
|
|
45
|
+
}
|
|
46
|
+
function openClawIntegrationContext(params) {
|
|
47
|
+
const hasDiscordContext = Boolean(params.discord_channel || params.discord_thread_id || params.discord_message_id || params.discord_source_url);
|
|
48
|
+
return normalizeIntegrationContext({
|
|
49
|
+
source: hasDiscordContext ? "discord" : "openclaw",
|
|
50
|
+
channel_id: params.discord_channel,
|
|
51
|
+
thread_id: params.discord_thread_id,
|
|
52
|
+
message_id: params.discord_message_id,
|
|
53
|
+
source_url: params.discord_source_url,
|
|
54
|
+
metadata: compactRecord({
|
|
55
|
+
wrapper: "openclaw",
|
|
56
|
+
tool: "riddle_proof_change",
|
|
57
|
+
reference_input_ignored: ignoredOpenClawReference(params.reference)
|
|
58
|
+
})
|
|
59
|
+
}, "openclaw");
|
|
60
|
+
}
|
|
61
|
+
function toRiddleProofRunParams(params) {
|
|
62
|
+
return normalizeRunParams({
|
|
63
|
+
repo: params.repo,
|
|
64
|
+
branch: params.branch,
|
|
65
|
+
change_request: params.change_request,
|
|
66
|
+
commit_message: params.commit_message,
|
|
67
|
+
prod_url: params.prod_url,
|
|
68
|
+
capture_script: params.capture_script,
|
|
69
|
+
success_criteria: params.success_criteria,
|
|
70
|
+
assertions: parseOpenClawAssertions(params.assertions_json),
|
|
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"),
|
|
77
|
+
reference: normalizeOpenClawReference(params.reference),
|
|
78
|
+
base_branch: params.base_branch,
|
|
79
|
+
before_ref: params.before_ref,
|
|
80
|
+
allow_static_preview_fallback: params.allow_static_preview_fallback,
|
|
81
|
+
context: params.context,
|
|
82
|
+
reviewer: params.reviewer,
|
|
83
|
+
mode: params.mode,
|
|
84
|
+
implementation_mode: params.implementation_mode,
|
|
85
|
+
require_diff: params.require_diff,
|
|
86
|
+
allow_code_changes: params.allow_code_changes,
|
|
87
|
+
build_command: params.build_command,
|
|
88
|
+
build_output: params.build_output,
|
|
89
|
+
server_image: params.server_image,
|
|
90
|
+
server_command: params.server_command,
|
|
91
|
+
server_port: params.server_port,
|
|
92
|
+
server_path: params.server_path,
|
|
93
|
+
use_auth: params.use_auth,
|
|
94
|
+
auth_localStorage_json: params.auth_localStorage_json,
|
|
95
|
+
auth_cookies_json: params.auth_cookies_json,
|
|
96
|
+
auth_headers_json: params.auth_headers_json,
|
|
97
|
+
color_scheme: params.color_scheme,
|
|
98
|
+
wait_for_selector: params.wait_for_selector,
|
|
99
|
+
ship_mode: params.ship_mode || (params.ship_after_verify ? "ship" : void 0),
|
|
100
|
+
leave_draft: params.leave_draft,
|
|
101
|
+
engine_state_path: params.state_path,
|
|
102
|
+
harness_state_path: params.harness_state_path,
|
|
103
|
+
max_iterations: params.max_iterations,
|
|
104
|
+
auto_approve: params.auto_approve,
|
|
105
|
+
dry_run: params.dry_run,
|
|
106
|
+
integration_context: openClawIntegrationContext(params)
|
|
107
|
+
});
|
|
108
|
+
}
|
|
109
|
+
|
|
110
|
+
export {
|
|
111
|
+
parseOpenClawAssertions,
|
|
112
|
+
parseOpenClawJsonObjectOrArray,
|
|
113
|
+
openClawIntegrationContext,
|
|
114
|
+
toRiddleProofRunParams
|
|
115
|
+
};
|
|
@@ -6,12 +6,19 @@ import {
|
|
|
6
6
|
} from "./chunk-OHJQRDST.js";
|
|
7
7
|
import {
|
|
8
8
|
noImplementationModeFor
|
|
9
|
-
} from "./chunk-
|
|
9
|
+
} from "./chunk-TJ63IE65.js";
|
|
10
10
|
import {
|
|
11
11
|
createRunResult
|
|
12
12
|
} from "./chunk-VY4Y5U57.js";
|
|
13
|
+
import {
|
|
14
|
+
__export
|
|
15
|
+
} from "./chunk-MLKGABMK.js";
|
|
13
16
|
|
|
14
17
|
// src/runner.ts
|
|
18
|
+
var runner_exports = {};
|
|
19
|
+
__export(runner_exports, {
|
|
20
|
+
runRiddleProof: () => runRiddleProof
|
|
21
|
+
});
|
|
15
22
|
function errorDetails(error) {
|
|
16
23
|
if (error instanceof Error) {
|
|
17
24
|
return {
|
|
@@ -506,5 +513,6 @@ async function runRiddleProof(input) {
|
|
|
506
513
|
}
|
|
507
514
|
|
|
508
515
|
export {
|
|
509
|
-
runRiddleProof
|
|
516
|
+
runRiddleProof,
|
|
517
|
+
runner_exports
|
|
510
518
|
};
|
|
@@ -14,7 +14,7 @@ import {
|
|
|
14
14
|
visualDeltaForState,
|
|
15
15
|
visualDeltaRequiredForState,
|
|
16
16
|
visualDeltaShipGateReason
|
|
17
|
-
} from "./chunk-
|
|
17
|
+
} from "./chunk-TJ63IE65.js";
|
|
18
18
|
import {
|
|
19
19
|
authorPacketPayloadFromCheckpointResponse,
|
|
20
20
|
buildCheckpointPacketForEngineResult,
|
|
@@ -33,8 +33,17 @@ import {
|
|
|
33
33
|
normalizeTerminalMetadata,
|
|
34
34
|
recordValue
|
|
35
35
|
} from "./chunk-VY4Y5U57.js";
|
|
36
|
+
import {
|
|
37
|
+
__export
|
|
38
|
+
} from "./chunk-MLKGABMK.js";
|
|
36
39
|
|
|
37
40
|
// src/engine-harness.ts
|
|
41
|
+
var engine_harness_exports = {};
|
|
42
|
+
__export(engine_harness_exports, {
|
|
43
|
+
createDisabledRiddleProofAgentAdapter: () => createDisabledRiddleProofAgentAdapter,
|
|
44
|
+
readRiddleProofRunStatus: () => readRiddleProofRunStatus,
|
|
45
|
+
runRiddleProofEngineHarness: () => runRiddleProofEngineHarness
|
|
46
|
+
});
|
|
38
47
|
import { execFileSync } from "child_process";
|
|
39
48
|
import {
|
|
40
49
|
existsSync,
|
|
@@ -235,6 +244,16 @@ function baseContinuation(result) {
|
|
|
235
244
|
continue_from_checkpoint: true
|
|
236
245
|
};
|
|
237
246
|
}
|
|
247
|
+
function carryRequestControlFlags(params, request) {
|
|
248
|
+
if (!noImplementationModeFor(request)) return params;
|
|
249
|
+
return compactRecord({
|
|
250
|
+
...params,
|
|
251
|
+
mode: request.mode,
|
|
252
|
+
implementation_mode: request.implementation_mode || "none",
|
|
253
|
+
require_diff: request.require_diff ?? false,
|
|
254
|
+
allow_code_changes: request.allow_code_changes ?? false
|
|
255
|
+
});
|
|
256
|
+
}
|
|
238
257
|
function initialRunParams(request, input, state) {
|
|
239
258
|
return compactRecord({
|
|
240
259
|
action: "run",
|
|
@@ -1389,7 +1408,10 @@ async function runRiddleProofEngineHarness(input) {
|
|
|
1389
1408
|
message
|
|
1390
1409
|
});
|
|
1391
1410
|
}
|
|
1392
|
-
let nextParams =
|
|
1411
|
+
let nextParams = carryRequestControlFlags(
|
|
1412
|
+
input.resume_params || checkpointContinuation.next || initialRunParams(request, input, state),
|
|
1413
|
+
request
|
|
1414
|
+
);
|
|
1393
1415
|
let lastResult = null;
|
|
1394
1416
|
const stageIterations = {};
|
|
1395
1417
|
for (let index = 0; index < maxIterations; index += 1) {
|
|
@@ -1502,7 +1524,7 @@ async function runRiddleProofEngineHarness(input) {
|
|
|
1502
1524
|
message: "The harness route returned no next step."
|
|
1503
1525
|
});
|
|
1504
1526
|
}
|
|
1505
|
-
nextParams = routed.next;
|
|
1527
|
+
nextParams = carryRequestControlFlags(routed.next, request);
|
|
1506
1528
|
}
|
|
1507
1529
|
return blockerResult(state, lastResult, {
|
|
1508
1530
|
code: "max_iterations_reached",
|
|
@@ -1519,5 +1541,6 @@ async function runRiddleProofEngineHarness(input) {
|
|
|
1519
1541
|
export {
|
|
1520
1542
|
createDisabledRiddleProofAgentAdapter,
|
|
1521
1543
|
readRiddleProofRunStatus,
|
|
1522
|
-
runRiddleProofEngineHarness
|
|
1544
|
+
runRiddleProofEngineHarness,
|
|
1545
|
+
engine_harness_exports
|
|
1523
1546
|
};
|
|
File without changes
|
|
@@ -1,4 +1,38 @@
|
|
|
1
|
+
import {
|
|
2
|
+
__export
|
|
3
|
+
} from "./chunk-MLKGABMK.js";
|
|
4
|
+
|
|
1
5
|
// src/proof-run-core.ts
|
|
6
|
+
var proof_run_core_exports = {};
|
|
7
|
+
__export(proof_run_core_exports, {
|
|
8
|
+
BUNDLED_RIDDLE_PROOF_DIR: () => BUNDLED_RIDDLE_PROOF_DIR,
|
|
9
|
+
CHECKPOINT_CONTRACT_VERSION: () => CHECKPOINT_CONTRACT_VERSION,
|
|
10
|
+
RIDDLE_PROOF_DIR_CANDIDATES: () => RIDDLE_PROOF_DIR_CANDIDATES,
|
|
11
|
+
WORKFLOW_STAGE_ORDER: () => WORKFLOW_STAGE_ORDER,
|
|
12
|
+
buildCheckpointContract: () => buildCheckpointContract,
|
|
13
|
+
buildSetupArgs: () => buildSetupArgs,
|
|
14
|
+
checkpointContinueStage: () => checkpointContinueStage,
|
|
15
|
+
clearStageDecisionRequest: () => clearStageDecisionRequest,
|
|
16
|
+
ensureAction: () => ensureAction,
|
|
17
|
+
ensureStageLoopState: () => ensureStageLoopState,
|
|
18
|
+
invalidateVerifyEvidence: () => invalidateVerifyEvidence,
|
|
19
|
+
mergeStateFromParams: () => mergeStateFromParams,
|
|
20
|
+
noImplementationModeFor: () => noImplementationModeFor,
|
|
21
|
+
previewModeFromWorkflowMode: () => previewModeFromWorkflowMode,
|
|
22
|
+
readState: () => readState,
|
|
23
|
+
recordStageAttempt: () => recordStageAttempt,
|
|
24
|
+
requiredBaselineLabelsForState: () => requiredBaselineLabelsForState,
|
|
25
|
+
resolveConfig: () => resolveConfig,
|
|
26
|
+
resolveRiddleProofDir: () => resolveRiddleProofDir,
|
|
27
|
+
setStageDecisionRequest: () => setStageDecisionRequest,
|
|
28
|
+
summarizeState: () => summarizeState,
|
|
29
|
+
validateShipGate: () => validateShipGate,
|
|
30
|
+
visualDeltaForState: () => visualDeltaForState,
|
|
31
|
+
visualDeltaRequiredForState: () => visualDeltaRequiredForState,
|
|
32
|
+
visualDeltaShipGateReason: () => visualDeltaShipGateReason,
|
|
33
|
+
workflowFile: () => workflowFile,
|
|
34
|
+
writeState: () => writeState
|
|
35
|
+
});
|
|
2
36
|
import { readFileSync, existsSync, writeFileSync } from "fs";
|
|
3
37
|
import { randomUUID } from "crypto";
|
|
4
38
|
import path from "path";
|
|
@@ -1018,5 +1052,6 @@ export {
|
|
|
1018
1052
|
validateShipGate,
|
|
1019
1053
|
buildCheckpointContract,
|
|
1020
1054
|
mergeStateFromParams,
|
|
1021
|
-
summarizeState
|
|
1055
|
+
summarizeState,
|
|
1056
|
+
proof_run_core_exports
|
|
1022
1057
|
};
|