@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,18 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
var __defProp = Object.defineProperty;
|
|
3
|
+
var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
|
|
4
|
+
var __getOwnPropNames = Object.getOwnPropertyNames;
|
|
5
|
+
var __hasOwnProp = Object.prototype.hasOwnProperty;
|
|
6
|
+
var __copyProps = (to, from, except, desc) => {
|
|
7
|
+
if (from && typeof from === "object" || typeof from === "function") {
|
|
8
|
+
for (let key of __getOwnPropNames(from))
|
|
9
|
+
if (!__hasOwnProp.call(to, key) && key !== except)
|
|
10
|
+
__defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
|
|
11
|
+
}
|
|
12
|
+
return to;
|
|
13
|
+
};
|
|
14
|
+
var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
|
|
15
|
+
|
|
16
|
+
// src/cli/index.ts
|
|
17
|
+
var cli_exports = {};
|
|
18
|
+
module.exports = __toCommonJS(cli_exports);
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
import "../chunk-VZD5LH7U.js";
|
|
2
|
+
import "../chunk-PEWAIEER.js";
|
|
3
|
+
import "../chunk-TWTEUS7R.js";
|
|
4
|
+
import "../chunk-IWLQQ5S5.js";
|
|
5
|
+
import "../chunk-OHJQRDST.js";
|
|
6
|
+
import "../chunk-Y2KTBACQ.js";
|
|
7
|
+
import "../chunk-TJ63IE65.js";
|
|
8
|
+
import "../chunk-2CFVREFI.js";
|
|
9
|
+
import "../chunk-JFQXAJH2.js";
|
|
10
|
+
import "../chunk-7F5LNUGR.js";
|
|
11
|
+
import "../chunk-VY4Y5U57.js";
|
|
12
|
+
import "../chunk-MLKGABMK.js";
|
package/dist/cli.cjs
CHANGED
|
@@ -1661,6 +1661,10 @@ async function executeWorkflow(params, pluginConfig, resolvedConfig) {
|
|
|
1661
1661
|
const timer = beginRuntimeStep(config.statePath, action, step, stepWorkflowFile);
|
|
1662
1662
|
let output;
|
|
1663
1663
|
try {
|
|
1664
|
+
if (step === "setup") {
|
|
1665
|
+
(0, import_node_fs2.mkdirSync)(import_node_path2.default.dirname(config.argsPath), { recursive: true });
|
|
1666
|
+
(0, import_node_fs2.writeFileSync)(config.argsPath, JSON.stringify(args, null, 2));
|
|
1667
|
+
}
|
|
1664
1668
|
output = JSON.parse(
|
|
1665
1669
|
(0, import_node_child_process.execFileSync)(lobsterCommand, [...lobsterPrefix, "run", "--file", stepWorkflowFile, "--args-json", JSON.stringify(args)], {
|
|
1666
1670
|
encoding: "utf-8",
|
|
@@ -4465,6 +4469,16 @@ function baseContinuation(result) {
|
|
|
4465
4469
|
continue_from_checkpoint: true
|
|
4466
4470
|
};
|
|
4467
4471
|
}
|
|
4472
|
+
function carryRequestControlFlags(params, request) {
|
|
4473
|
+
if (!noImplementationModeFor(request)) return params;
|
|
4474
|
+
return compactRecord({
|
|
4475
|
+
...params,
|
|
4476
|
+
mode: request.mode,
|
|
4477
|
+
implementation_mode: request.implementation_mode || "none",
|
|
4478
|
+
require_diff: request.require_diff ?? false,
|
|
4479
|
+
allow_code_changes: request.allow_code_changes ?? false
|
|
4480
|
+
});
|
|
4481
|
+
}
|
|
4468
4482
|
function initialRunParams(request, input, state) {
|
|
4469
4483
|
return compactRecord({
|
|
4470
4484
|
action: "run",
|
|
@@ -5619,7 +5633,10 @@ async function runRiddleProofEngineHarness(input) {
|
|
|
5619
5633
|
message
|
|
5620
5634
|
});
|
|
5621
5635
|
}
|
|
5622
|
-
let nextParams =
|
|
5636
|
+
let nextParams = carryRequestControlFlags(
|
|
5637
|
+
input.resume_params || checkpointContinuation.next || initialRunParams(request, input, state),
|
|
5638
|
+
request
|
|
5639
|
+
);
|
|
5623
5640
|
let lastResult = null;
|
|
5624
5641
|
const stageIterations = {};
|
|
5625
5642
|
for (let index = 0; index < maxIterations; index += 1) {
|
|
@@ -5732,7 +5749,7 @@ async function runRiddleProofEngineHarness(input) {
|
|
|
5732
5749
|
message: "The harness route returned no next step."
|
|
5733
5750
|
});
|
|
5734
5751
|
}
|
|
5735
|
-
nextParams = routed.next;
|
|
5752
|
+
nextParams = carryRequestControlFlags(routed.next, request);
|
|
5736
5753
|
}
|
|
5737
5754
|
return blockerResult(state, lastResult, {
|
|
5738
5755
|
code: "max_iterations_reached",
|
package/dist/cli.d.cts
CHANGED
package/dist/cli.d.ts
CHANGED