@jinn-network/client 0.1.6 → 0.1.7-canary.d4e4e183
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/CHANGELOG.md +33 -0
- package/deployments/deployment-jinn-mvi-l1-sepolia-fast.json +23 -4
- package/deployments/deployment-jinn-mvi-l1-sepolia.json +23 -4
- package/deployments/deployment-jinn-mvi-l2-baseSepolia.json +5 -4
- package/dist/adapters/mech/adapter.d.ts +38 -1
- package/dist/adapters/mech/adapter.js +241 -54
- package/dist/adapters/mech/adapter.js.map +1 -1
- package/dist/adapters/mech/contracts.d.ts +17 -4
- package/dist/adapters/mech/contracts.js +8 -2
- package/dist/adapters/mech/contracts.js.map +1 -1
- package/dist/adapters/mech/safe-revert.d.ts +20 -0
- package/dist/adapters/mech/safe-revert.js +12 -4
- package/dist/adapters/mech/safe-revert.js.map +1 -1
- package/dist/adapters/mech/safe.d.ts +5 -1
- package/dist/adapters/mech/safe.js +27 -8
- package/dist/adapters/mech/safe.js.map +1 -1
- package/dist/adapters/mech/verdict-code.d.ts +1 -0
- package/dist/adapters/mech/verdict-code.js +18 -0
- package/dist/adapters/mech/verdict-code.js.map +1 -1
- package/dist/api/admin-endpoint.d.ts +15 -3
- package/dist/api/admin-endpoint.js +24 -2
- package/dist/api/admin-endpoint.js.map +1 -1
- package/dist/api/bootstrap-endpoint.js +49 -0
- package/dist/api/bootstrap-endpoint.js.map +1 -1
- package/dist/api/codex-doctor-endpoint.d.ts +73 -0
- package/dist/api/codex-doctor-endpoint.js +177 -0
- package/dist/api/codex-doctor-endpoint.js.map +1 -0
- package/dist/api/discovery-endpoint.d.ts +1 -0
- package/dist/api/discovery-endpoint.js +26 -0
- package/dist/api/discovery-endpoint.js.map +1 -1
- package/dist/api/fleet-build.d.ts +1 -0
- package/dist/api/fleet-build.js +2 -1
- package/dist/api/fleet-build.js.map +1 -1
- package/dist/api/gather-status.d.ts +11 -0
- package/dist/api/gather-status.js +400 -4
- package/dist/api/gather-status.js.map +1 -1
- package/dist/api/hermes-doctor-endpoint.d.ts +117 -0
- package/dist/api/hermes-doctor-endpoint.js +229 -23
- package/dist/api/hermes-doctor-endpoint.js.map +1 -1
- package/dist/api/launcher-status.d.ts +21 -16
- package/dist/api/launcher-status.js +2 -1
- package/dist/api/launcher-status.js.map +1 -1
- package/dist/api/portfolio-v0-build.d.ts +10 -0
- package/dist/api/portfolio-v0-build.js +24 -5
- package/dist/api/portfolio-v0-build.js.map +1 -1
- package/dist/api/prediction-v1-build.d.ts +10 -0
- package/dist/api/prediction-v1-build.js +7 -1
- package/dist/api/prediction-v1-build.js.map +1 -1
- package/dist/api/server.d.ts +31 -1
- package/dist/api/server.js +68 -1
- package/dist/api/server.js.map +1 -1
- package/dist/api/setup-endpoints.d.ts +16 -0
- package/dist/api/setup-endpoints.js +78 -4
- package/dist/api/setup-endpoints.js.map +1 -1
- package/dist/api/setup-retry-endpoint.d.ts +19 -0
- package/dist/api/setup-retry-endpoint.js +32 -0
- package/dist/api/setup-retry-endpoint.js.map +1 -0
- package/dist/api/solvernets-endpoints.d.ts +8 -0
- package/dist/api/solvernets-endpoints.js +71 -43
- package/dist/api/solvernets-endpoints.js.map +1 -1
- package/dist/api/status-build.d.ts +72 -0
- package/dist/api/status-build.js +73 -18
- package/dist/api/status-build.js.map +1 -1
- package/dist/api/task-run-routing.d.ts +7 -0
- package/dist/api/task-run-routing.js +12 -0
- package/dist/api/task-run-routing.js.map +1 -0
- package/dist/api/task-runs-build.d.ts +21 -0
- package/dist/api/task-runs-build.js +14 -1
- package/dist/api/task-runs-build.js.map +1 -1
- package/dist/build-info.json +4 -4
- package/dist/build-meta.json +1 -1
- package/dist/chain-read-errors.d.ts +10 -0
- package/dist/chain-read-errors.js +15 -0
- package/dist/chain-read-errors.js.map +1 -1
- package/dist/cli/commands/auth.js +1 -1
- package/dist/cli/commands/auth.js.map +1 -1
- package/dist/cli/commands/create.js +3 -2
- package/dist/cli/commands/create.js.map +1 -1
- package/dist/cli/commands/doctor.d.ts +2 -0
- package/dist/cli/commands/doctor.js +2 -0
- package/dist/cli/commands/doctor.js.map +1 -1
- package/dist/cli/commands/rewards.js +11 -7
- package/dist/cli/commands/rewards.js.map +1 -1
- package/dist/cli/commands/solver-nets.js +24 -9
- package/dist/cli/commands/solver-nets.js.map +1 -1
- package/dist/cli/commands/status.js +1 -1
- package/dist/cli/commands/status.js.map +1 -1
- package/dist/cli/commands/tasks.js +86 -9
- package/dist/cli/commands/tasks.js.map +1 -1
- package/dist/cli/commands/update.d.ts +10 -0
- package/dist/cli/commands/update.js +36 -0
- package/dist/cli/commands/update.js.map +1 -1
- package/dist/cli/introspection-context.js +5 -0
- package/dist/cli/introspection-context.js.map +1 -1
- package/dist/cli/task-native-readiness.d.ts +3 -1
- package/dist/cli/task-native-readiness.js +28 -6
- package/dist/cli/task-native-readiness.js.map +1 -1
- package/dist/config.d.ts +106 -5
- package/dist/config.js +97 -18
- package/dist/config.js.map +1 -1
- package/dist/daemon/checkpoint-loop.d.ts +48 -0
- package/dist/daemon/checkpoint-loop.js +76 -0
- package/dist/daemon/checkpoint-loop.js.map +1 -0
- package/dist/daemon/creator.d.ts +1 -1
- package/dist/daemon/creator.js +7 -3
- package/dist/daemon/creator.js.map +1 -1
- package/dist/daemon/daemon.d.ts +19 -0
- package/dist/daemon/daemon.js +68 -1
- package/dist/daemon/daemon.js.map +1 -1
- package/dist/daemon/eviction-loop.d.ts +40 -0
- package/dist/daemon/eviction-loop.js +67 -0
- package/dist/daemon/eviction-loop.js.map +1 -0
- package/dist/daemon/jinn-claim-loop-wiring.d.ts +33 -0
- package/dist/daemon/jinn-claim-loop-wiring.js +40 -0
- package/dist/daemon/jinn-claim-loop-wiring.js.map +1 -0
- package/dist/daemon/jinn-claim-loop.d.ts +24 -17
- package/dist/daemon/jinn-claim-loop.js +77 -23
- package/dist/daemon/jinn-claim-loop.js.map +1 -1
- package/dist/daemon/skip-log-dedup.d.ts +69 -0
- package/dist/daemon/skip-log-dedup.js +106 -0
- package/dist/daemon/skip-log-dedup.js.map +1 -0
- package/dist/dashboard/assets/index-BUlE8F3Y.js +330 -0
- package/dist/dashboard/assets/index-blqc7eqq.css +32 -0
- package/dist/dashboard/index.html +2 -2
- package/dist/discovery/factory.d.ts +17 -5
- package/dist/discovery/factory.js +46 -18
- package/dist/discovery/factory.js.map +1 -1
- package/dist/discovery/http.js +142 -3
- package/dist/discovery/http.js.map +1 -1
- package/dist/discovery/onchain.d.ts +5 -0
- package/dist/discovery/onchain.js +407 -15
- package/dist/discovery/onchain.js.map +1 -1
- package/dist/discovery/types.d.ts +45 -1
- package/dist/discovery/types.js +8 -10
- package/dist/discovery/types.js.map +1 -1
- package/dist/discovery/with-fallback.d.ts +7 -0
- package/dist/discovery/with-fallback.js +10 -0
- package/dist/discovery/with-fallback.js.map +1 -1
- package/dist/earning/bootstrap.d.ts +92 -1
- package/dist/earning/bootstrap.js +203 -63
- package/dist/earning/bootstrap.js.map +1 -1
- package/dist/earning/contracts.d.ts +14 -0
- package/dist/earning/contracts.js +17 -5
- package/dist/earning/contracts.js.map +1 -1
- package/dist/earning/funding-plan.js +27 -18
- package/dist/earning/funding-plan.js.map +1 -1
- package/dist/earning/jinn-rewards.d.ts +46 -0
- package/dist/earning/jinn-rewards.js +32 -0
- package/dist/earning/jinn-rewards.js.map +1 -1
- package/dist/earning/safe-adapter.d.ts +2 -0
- package/dist/earning/safe-adapter.js +26 -12
- package/dist/earning/safe-adapter.js.map +1 -1
- package/dist/earning/store.d.ts +8 -0
- package/dist/earning/store.js.map +1 -1
- package/dist/earning/testnet-setup-migration.d.ts +12 -0
- package/dist/earning/testnet-setup-migration.js +27 -1
- package/dist/earning/testnet-setup-migration.js.map +1 -1
- package/dist/earning/types.d.ts +15 -0
- package/dist/erc8004/reputation.d.ts +8 -0
- package/dist/erc8004/reputation.js +22 -3
- package/dist/erc8004/reputation.js.map +1 -1
- package/dist/harnesses/cost-estimates.d.ts +145 -0
- package/dist/harnesses/cost-estimates.js +297 -0
- package/dist/harnesses/cost-estimates.js.map +1 -0
- package/dist/harnesses/engine/engine.d.ts +72 -0
- package/dist/harnesses/engine/engine.js +105 -8
- package/dist/harnesses/engine/engine.js.map +1 -1
- package/dist/harnesses/engine/persistence.d.ts +51 -1
- package/dist/harnesses/engine/persistence.js +118 -5
- package/dist/harnesses/engine/persistence.js.map +1 -1
- package/dist/harnesses/engine/work-dir-reaper.d.ts +65 -0
- package/dist/harnesses/engine/work-dir-reaper.js +100 -0
- package/dist/harnesses/engine/work-dir-reaper.js.map +1 -0
- package/dist/harnesses/impls/hermes-agent/adapter.js +40 -0
- package/dist/harnesses/impls/hermes-agent/adapter.js.map +1 -1
- package/dist/harnesses/impls/hermes-agent/bootstrap.d.ts +20 -0
- package/dist/harnesses/impls/hermes-agent/bootstrap.js +40 -6
- package/dist/harnesses/impls/hermes-agent/bootstrap.js.map +1 -1
- package/dist/harnesses/impls/hermes-agent/harness.d.ts +59 -1
- package/dist/harnesses/impls/hermes-agent/harness.js +104 -0
- package/dist/harnesses/impls/hermes-agent/harness.js.map +1 -1
- package/dist/harnesses/impls/index.d.ts +7 -0
- package/dist/harnesses/impls/index.js +16 -1
- package/dist/harnesses/impls/index.js.map +1 -1
- package/dist/harnesses/impls/learner/harness.d.ts +38 -4
- package/dist/harnesses/impls/learner/harness.js +96 -2
- package/dist/harnesses/impls/learner/harness.js.map +1 -1
- package/dist/harnesses/impls/learner/plugin-path.d.ts +0 -13
- package/dist/harnesses/impls/learner/plugin-path.js +35 -15
- package/dist/harnesses/impls/learner/plugin-path.js.map +1 -1
- package/dist/harnesses/impls/learner/types.d.ts +11 -0
- package/dist/harnesses/impls/stub.d.ts +58 -0
- package/dist/harnesses/impls/stub.js +89 -0
- package/dist/harnesses/impls/stub.js.map +1 -0
- package/dist/harnesses/impls/swe-rebench-v2-evaluator/eval-runner.d.ts +69 -50
- package/dist/harnesses/impls/swe-rebench-v2-evaluator/eval-runner.js +178 -93
- package/dist/harnesses/impls/swe-rebench-v2-evaluator/eval-runner.js.map +1 -1
- package/dist/harnesses/impls/swe-rebench-v2-evaluator/harness.d.ts +12 -1
- package/dist/harnesses/impls/swe-rebench-v2-evaluator/harness.js +121 -7
- package/dist/harnesses/impls/swe-rebench-v2-evaluator/harness.js.map +1 -1
- package/dist/harnesses/impls/swe-rebench-v2-evaluator/hf-fetcher.d.ts +15 -0
- package/dist/harnesses/impls/swe-rebench-v2-evaluator/hf-fetcher.js +54 -4
- package/dist/harnesses/impls/swe-rebench-v2-evaluator/hf-fetcher.js.map +1 -1
- package/dist/harnesses/impls/swe-rebench-v2-evaluator/index.d.ts +6 -0
- package/dist/harnesses/impls/swe-rebench-v2-evaluator/index.js +1 -1
- package/dist/harnesses/impls/swe-rebench-v2-evaluator/index.js.map +1 -1
- package/dist/harnesses/readiness-registry.js +9 -1
- package/dist/harnesses/readiness-registry.js.map +1 -1
- package/dist/main.js +371 -82
- package/dist/main.js.map +1 -1
- package/dist/observability/emit-event.d.ts +1 -1
- package/dist/observability/emit-event.js.map +1 -1
- package/dist/operator-errors.d.ts +7 -0
- package/dist/operator-errors.js +13 -1
- package/dist/operator-errors.js.map +1 -1
- package/dist/plugins/learner/.claude-plugin/plugin.json +9 -0
- package/dist/plugins/learner/.codex-plugin/plugin.json +39 -0
- package/dist/plugins/learner/AGENTS.md +40 -0
- package/dist/plugins/learner/CLAUDE.md +33 -0
- package/dist/plugins/learner/README.md +59 -0
- package/dist/plugins/learner/hooks/hooks.json +16 -0
- package/dist/plugins/learner/hooks/session-start +38 -0
- package/dist/plugins/learner/skills/learn/SKILL.md +412 -0
- package/dist/plugins/learner/skills/learn/analyst-prompt.md +68 -0
- package/dist/plugins/learner/skills/learn/consolidator-prompt.md +94 -0
- package/dist/plugins/learner/skills/learn/explorer-prompt.md +53 -0
- package/dist/plugins/learner/skills/learn/planner-prompt.md +87 -0
- package/dist/plugins/learner/skills/learn/promoter-prompt.md +113 -0
- package/dist/plugins/learner/skills/learn/step-worker-prompt.md +47 -0
- package/dist/plugins/learner/skills/learn/strategist-prompt.md +85 -0
- package/dist/restart-daemon.d.ts +90 -0
- package/dist/restart-daemon.js +95 -0
- package/dist/restart-daemon.js.map +1 -0
- package/dist/setup/halt-mode.d.ts +14 -0
- package/dist/setup/halt-mode.js +17 -0
- package/dist/setup/halt-mode.js.map +1 -0
- package/dist/solver-nets/prediction-operator-ux.js +43 -3
- package/dist/solver-nets/prediction-operator-ux.js.map +1 -1
- package/dist/solver-nets/registry.d.ts +1 -0
- package/dist/solver-nets/registry.js +1 -1
- package/dist/solver-nets/registry.js.map +1 -1
- package/dist/solver-types/_swe-rebench-v2-pool-cache.d.ts +58 -0
- package/dist/solver-types/_swe-rebench-v2-pool-cache.js +87 -0
- package/dist/solver-types/_swe-rebench-v2-pool-cache.js.map +1 -0
- package/dist/solver-types/_swe-rebench-v2-substrate.d.ts +1 -0
- package/dist/solver-types/_swe-rebench-v2-substrate.js +10 -0
- package/dist/solver-types/_swe-rebench-v2-substrate.js.map +1 -1
- package/dist/solver-types/_swe-rebench-v2-validated-pool.d.ts +65 -0
- package/dist/solver-types/_swe-rebench-v2-validated-pool.js +243 -26
- package/dist/solver-types/_swe-rebench-v2-validated-pool.js.map +1 -1
- package/dist/solver-types/swe-rebench-v2-auto.d.ts +22 -7
- package/dist/solver-types/swe-rebench-v2-auto.js +45 -20
- package/dist/solver-types/swe-rebench-v2-auto.js.map +1 -1
- package/dist/solver-types/swe-rebench-v2.d.ts +13 -2
- package/dist/solver-types/swe-rebench-v2.js +233 -94
- package/dist/solver-types/swe-rebench-v2.js.map +1 -1
- package/dist/solvernets/daemon-init.d.ts +10 -2
- package/dist/solvernets/daemon-init.js +22 -2
- package/dist/solvernets/daemon-init.js.map +1 -1
- package/dist/solvernets/launched-record-dispatcher.js +35 -7
- package/dist/solvernets/launched-record-dispatcher.js.map +1 -1
- package/dist/solvernets/store.d.ts +5 -0
- package/dist/solvernets/store.js +1 -0
- package/dist/solvernets/store.js.map +1 -1
- package/dist/store/store.d.ts +15 -0
- package/dist/store/store.js +118 -3
- package/dist/store/store.js.map +1 -1
- package/dist/tasks/sources.d.ts +18 -1
- package/dist/tasks/sources.js +33 -5
- package/dist/tasks/sources.js.map +1 -1
- package/dist/tx-retry.d.ts +151 -19
- package/dist/tx-retry.js +286 -32
- package/dist/tx-retry.js.map +1 -1
- package/dist/types/payloads/prediction-apy-v0.d.ts +5 -5
- package/dist/types/payloads/prediction-v0.d.ts +5 -5
- package/dist/types/task-document.d.ts +392 -0
- package/dist/types/task-document.js +10 -0
- package/dist/types/task-document.js.map +1 -1
- package/dist/types/task.d.ts +28 -0
- package/dist/util/extract-tx-hash.d.ts +14 -0
- package/dist/util/extract-tx-hash.js +19 -0
- package/dist/util/extract-tx-hash.js.map +1 -0
- package/dist/vendor/@jinn-network/sdk/dist/contracts.js +1 -1
- package/dist/vendor/@jinn-network/sdk/dist/solvernets/manifest-schema.d.ts +3 -0
- package/dist/vendor/@jinn-network/sdk/dist/solvernets/manifest-schema.js +1 -0
- package/package.json +29 -12
- package/dist/dashboard/assets/index-DOlzFN8a.css +0 -32
- package/dist/dashboard/assets/index-NkZ7CTAT.js +0 -140
|
@@ -20,10 +20,10 @@
|
|
|
20
20
|
* Refs: jinn-mono-uy6v.9.
|
|
21
21
|
*/
|
|
22
22
|
import { readFile, writeFile, mkdir, stat, rename, unlink } from 'node:fs/promises';
|
|
23
|
-
import { randomBytes } from 'node:crypto';
|
|
24
|
-
import { spawn } from 'node:child_process';
|
|
23
|
+
import { createHash, randomBytes } from 'node:crypto';
|
|
25
24
|
import { resolve as resolvePath, dirname, join } from 'node:path';
|
|
26
|
-
import { computeRowHash, resolveImageDigest, resolveUpstreamEvalCommit } from './_swe-rebench-v2-substrate.js';
|
|
25
|
+
import { computeRowHash, defaultCommandRunner, resolveImageDigest, resolveUpstreamEvalCommit, } from './_swe-rebench-v2-substrate.js';
|
|
26
|
+
import { canonicalJson } from '../harnesses/engine/canonical-json.js';
|
|
27
27
|
// In-process mutex map: serialises concurrent record() calls against the
|
|
28
28
|
// same file. Entries are never removed; bounded by the number of distinct
|
|
29
29
|
// validated-pool.json paths used in this process (typically 1).
|
|
@@ -58,6 +58,11 @@ function withWriteLock(file, fn) {
|
|
|
58
58
|
*/
|
|
59
59
|
export const EVAL_SEMANTICS_VERSION = '3';
|
|
60
60
|
const SCHEMA_VERSION = 'swe-rebench-v2-validated-pool.v1';
|
|
61
|
+
export const SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE = 'swe-rebench-v2-vetted-pool.v1';
|
|
62
|
+
export const SOLVERNET_ARTIFACT_REF_SCHEMA_VERSION = 'solvernet.artifact-ref.v1';
|
|
63
|
+
export const VETTED_POOL_REF_ELIGIBILITY_KEY = 'vettedPoolRef';
|
|
64
|
+
const PUBLICATION_SCHEMA_VERSION = 'swe-rebench-v2-vetted-pool-publication.v1';
|
|
65
|
+
const PUBLICATION_FILE = 'vetted-pool-artifact-publication.json';
|
|
61
66
|
function freshFile(evalSemanticsVersion) {
|
|
62
67
|
return { schemaVersion: SCHEMA_VERSION, evalSemanticsVersion, updatedAt: new Date().toISOString(), entries: {} };
|
|
63
68
|
}
|
|
@@ -67,6 +72,153 @@ function isValidFile(raw, evalSemanticsVersion) {
|
|
|
67
72
|
raw.evalSemanticsVersion === evalSemanticsVersion &&
|
|
68
73
|
typeof raw.entries === 'object' && raw.entries !== null);
|
|
69
74
|
}
|
|
75
|
+
function publicationPath(stateDir) {
|
|
76
|
+
return resolvePath(join(stateDir, PUBLICATION_FILE));
|
|
77
|
+
}
|
|
78
|
+
async function writeJsonAtomic(file, value) {
|
|
79
|
+
await mkdir(dirname(file), { recursive: true });
|
|
80
|
+
const tmp = `${file}.${randomBytes(6).toString('hex')}.tmp`;
|
|
81
|
+
await writeFile(tmp, JSON.stringify(value, null, 2));
|
|
82
|
+
try {
|
|
83
|
+
await rename(tmp, file); // POSIX rename is atomic
|
|
84
|
+
}
|
|
85
|
+
catch (err) {
|
|
86
|
+
// Best-effort tempfile cleanup — don't mask the original error.
|
|
87
|
+
await unlink(tmp).catch(() => undefined);
|
|
88
|
+
throw err;
|
|
89
|
+
}
|
|
90
|
+
}
|
|
91
|
+
function isObject(raw) {
|
|
92
|
+
return typeof raw === 'object' && raw !== null;
|
|
93
|
+
}
|
|
94
|
+
function isSha256(value) {
|
|
95
|
+
return typeof value === 'string' && /^sha256:[0-9a-f]{64}$/u.test(value);
|
|
96
|
+
}
|
|
97
|
+
function parseVettedPoolArtifactEntry(raw) {
|
|
98
|
+
if (!isObject(raw))
|
|
99
|
+
return null;
|
|
100
|
+
if (typeof raw['instance_id'] !== 'string' || raw['instance_id'].length === 0)
|
|
101
|
+
return null;
|
|
102
|
+
if (raw['scorable'] !== true)
|
|
103
|
+
return null;
|
|
104
|
+
if (typeof raw['reason'] !== 'string')
|
|
105
|
+
return null;
|
|
106
|
+
if (typeof raw['checkedAt'] !== 'string')
|
|
107
|
+
return null;
|
|
108
|
+
const entry = {
|
|
109
|
+
instance_id: raw['instance_id'],
|
|
110
|
+
scorable: true,
|
|
111
|
+
reason: raw['reason'],
|
|
112
|
+
checkedAt: raw['checkedAt'],
|
|
113
|
+
...(typeof raw['rowHash'] === 'string' ? { rowHash: raw['rowHash'] } : {}),
|
|
114
|
+
...(typeof raw['imageName'] === 'string' ? { imageName: raw['imageName'] } : {}),
|
|
115
|
+
...(typeof raw['imageDigest'] === 'string' ? { imageDigest: raw['imageDigest'] } : {}),
|
|
116
|
+
...(typeof raw['upstreamEvalCommit'] === 'string' ? { upstreamEvalCommit: raw['upstreamEvalCommit'] } : {}),
|
|
117
|
+
};
|
|
118
|
+
return entry;
|
|
119
|
+
}
|
|
120
|
+
export function parseVettedPoolArtifact(raw) {
|
|
121
|
+
if (!isObject(raw))
|
|
122
|
+
throw new Error('vetted pool artifact must be an object');
|
|
123
|
+
if (raw['schemaVersion'] !== SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE) {
|
|
124
|
+
throw new Error(`vetted pool artifact schemaVersion must be ${SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE}`);
|
|
125
|
+
}
|
|
126
|
+
if (typeof raw['evalSemanticsVersion'] !== 'string') {
|
|
127
|
+
throw new Error('vetted pool artifact evalSemanticsVersion must be a string');
|
|
128
|
+
}
|
|
129
|
+
if (typeof raw['generatedAt'] !== 'string') {
|
|
130
|
+
throw new Error('vetted pool artifact generatedAt must be a string');
|
|
131
|
+
}
|
|
132
|
+
if (!Array.isArray(raw['entries'])) {
|
|
133
|
+
throw new Error('vetted pool artifact entries must be an array');
|
|
134
|
+
}
|
|
135
|
+
const entries = raw['entries'].map(parseVettedPoolArtifactEntry);
|
|
136
|
+
if (entries.some((e) => e === null)) {
|
|
137
|
+
throw new Error('vetted pool artifact contains an invalid or unscorable entry');
|
|
138
|
+
}
|
|
139
|
+
return {
|
|
140
|
+
schemaVersion: SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE,
|
|
141
|
+
evalSemanticsVersion: raw['evalSemanticsVersion'],
|
|
142
|
+
generatedAt: raw['generatedAt'],
|
|
143
|
+
entries: entries.sort((a, b) => a.instance_id.localeCompare(b.instance_id)),
|
|
144
|
+
};
|
|
145
|
+
}
|
|
146
|
+
function normalizeVettedPoolArtifact(artifact) {
|
|
147
|
+
return {
|
|
148
|
+
schemaVersion: SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE,
|
|
149
|
+
evalSemanticsVersion: artifact.evalSemanticsVersion,
|
|
150
|
+
generatedAt: artifact.generatedAt,
|
|
151
|
+
entries: [...artifact.entries]
|
|
152
|
+
.map((entry) => ({ ...entry, scorable: true }))
|
|
153
|
+
.sort((a, b) => a.instance_id.localeCompare(b.instance_id)),
|
|
154
|
+
};
|
|
155
|
+
}
|
|
156
|
+
export function hashVettedPoolArtifact(artifact) {
|
|
157
|
+
const canonical = canonicalJson(normalizeVettedPoolArtifact(artifact));
|
|
158
|
+
return `sha256:${createHash('sha256').update(canonical).digest('hex')}`;
|
|
159
|
+
}
|
|
160
|
+
export function loadVettedPoolArtifactScorableEntries(raw) {
|
|
161
|
+
const artifact = parseVettedPoolArtifact(raw);
|
|
162
|
+
const byId = new Map();
|
|
163
|
+
for (const entry of artifact.entries) {
|
|
164
|
+
byId.set(entry.instance_id, entry);
|
|
165
|
+
}
|
|
166
|
+
return { ids: new Set(byId.keys()), byId };
|
|
167
|
+
}
|
|
168
|
+
export function createVettedPoolArtifactRef(args) {
|
|
169
|
+
return {
|
|
170
|
+
schemaVersion: SOLVERNET_ARTIFACT_REF_SCHEMA_VERSION,
|
|
171
|
+
manifestCid: args.manifestCid,
|
|
172
|
+
artifactType: SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE,
|
|
173
|
+
artifactCid: args.artifactCid,
|
|
174
|
+
artifactHash: args.artifactHash,
|
|
175
|
+
evalSemanticsVersion: args.evalSemanticsVersion,
|
|
176
|
+
publishedAt: args.publishedAt,
|
|
177
|
+
};
|
|
178
|
+
}
|
|
179
|
+
export function sweRebenchV2VettedPoolArtifactMetadataKey(manifestCid) {
|
|
180
|
+
return `solvernet-artifact:${manifestCid}:swe-rebench-v2-vetted-pool`;
|
|
181
|
+
}
|
|
182
|
+
export function parseVettedPoolArtifactRef(raw) {
|
|
183
|
+
if (!isObject(raw))
|
|
184
|
+
throw new Error('vetted pool artifact ref must be an object');
|
|
185
|
+
if (raw['schemaVersion'] !== SOLVERNET_ARTIFACT_REF_SCHEMA_VERSION) {
|
|
186
|
+
throw new Error(`vetted pool artifact ref schemaVersion must be ${SOLVERNET_ARTIFACT_REF_SCHEMA_VERSION}`);
|
|
187
|
+
}
|
|
188
|
+
if (raw['artifactType'] !== SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE) {
|
|
189
|
+
throw new Error(`vetted pool artifact ref artifactType must be ${SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE}`);
|
|
190
|
+
}
|
|
191
|
+
if (typeof raw['manifestCid'] !== 'string' || raw['manifestCid'].length === 0) {
|
|
192
|
+
throw new Error('vetted pool artifact ref manifestCid must be a string');
|
|
193
|
+
}
|
|
194
|
+
if (typeof raw['artifactCid'] !== 'string' || raw['artifactCid'].length === 0) {
|
|
195
|
+
throw new Error('vetted pool artifact ref artifactCid must be a string');
|
|
196
|
+
}
|
|
197
|
+
if (!isSha256(raw['artifactHash'])) {
|
|
198
|
+
throw new Error('vetted pool artifact ref artifactHash must be sha256:<64 hex>');
|
|
199
|
+
}
|
|
200
|
+
if (typeof raw['evalSemanticsVersion'] !== 'string') {
|
|
201
|
+
throw new Error('vetted pool artifact ref evalSemanticsVersion must be a string');
|
|
202
|
+
}
|
|
203
|
+
if (typeof raw['publishedAt'] !== 'string') {
|
|
204
|
+
throw new Error('vetted pool artifact ref publishedAt must be a string');
|
|
205
|
+
}
|
|
206
|
+
return {
|
|
207
|
+
schemaVersion: SOLVERNET_ARTIFACT_REF_SCHEMA_VERSION,
|
|
208
|
+
manifestCid: raw['manifestCid'],
|
|
209
|
+
artifactType: SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE,
|
|
210
|
+
artifactCid: raw['artifactCid'],
|
|
211
|
+
artifactHash: raw['artifactHash'],
|
|
212
|
+
evalSemanticsVersion: raw['evalSemanticsVersion'],
|
|
213
|
+
publishedAt: raw['publishedAt'],
|
|
214
|
+
};
|
|
215
|
+
}
|
|
216
|
+
export function vettedPoolArtifactRefFromEligibility(eligibility) {
|
|
217
|
+
const raw = eligibility?.[VETTED_POOL_REF_ELIGIBILITY_KEY];
|
|
218
|
+
if (raw === undefined)
|
|
219
|
+
return null;
|
|
220
|
+
return parseVettedPoolArtifactRef(raw);
|
|
221
|
+
}
|
|
70
222
|
export class ValidatedPoolStore {
|
|
71
223
|
file;
|
|
72
224
|
cache = null;
|
|
@@ -93,17 +245,7 @@ export class ValidatedPoolStore {
|
|
|
93
245
|
return this.cache;
|
|
94
246
|
}
|
|
95
247
|
async writeAtomic(file) {
|
|
96
|
-
await
|
|
97
|
-
const tmp = `${this.file}.${randomBytes(6).toString('hex')}.tmp`;
|
|
98
|
-
await writeFile(tmp, JSON.stringify(file, null, 2));
|
|
99
|
-
try {
|
|
100
|
-
await rename(tmp, this.file); // POSIX rename is atomic
|
|
101
|
-
}
|
|
102
|
-
catch (err) {
|
|
103
|
-
// Best-effort tempfile cleanup — don't mask the original error.
|
|
104
|
-
await unlink(tmp).catch(() => undefined);
|
|
105
|
-
throw err;
|
|
106
|
-
}
|
|
248
|
+
await writeJsonAtomic(this.file, file);
|
|
107
249
|
}
|
|
108
250
|
/** The set of instance ids known scorable for `evalSemanticsVersion`, or
|
|
109
251
|
* `null` if there is no validation data for this semantics version (the
|
|
@@ -122,6 +264,15 @@ export class ValidatedPoolStore {
|
|
|
122
264
|
this.scorableIdsCache = { mtimeMs, semanticsVersion: evalSemanticsVersion, ids };
|
|
123
265
|
return ids;
|
|
124
266
|
}
|
|
267
|
+
async getScorableEntries(evalSemanticsVersion) {
|
|
268
|
+
const raw = await this.readRaw();
|
|
269
|
+
if (!isValidFile(raw, evalSemanticsVersion))
|
|
270
|
+
return null;
|
|
271
|
+
return {
|
|
272
|
+
updatedAt: raw.updatedAt,
|
|
273
|
+
entries: Object.fromEntries(Object.entries(raw.entries).filter(([, entry]) => entry.scorable)),
|
|
274
|
+
};
|
|
275
|
+
}
|
|
125
276
|
/** The entry for `instanceId`, or `null` if not validated for this semantics version. */
|
|
126
277
|
async getEntry(instanceId, evalSemanticsVersion) {
|
|
127
278
|
const f = await this.loadForWrite(evalSemanticsVersion);
|
|
@@ -142,6 +293,80 @@ export class ValidatedPoolStore {
|
|
|
142
293
|
});
|
|
143
294
|
}
|
|
144
295
|
}
|
|
296
|
+
export async function exportScorableVettedPoolArtifact(store, evalSemanticsVersion, opts = {}) {
|
|
297
|
+
const scorable = await store.getScorableEntries(evalSemanticsVersion);
|
|
298
|
+
if (!scorable)
|
|
299
|
+
return null;
|
|
300
|
+
const entries = Object.entries(scorable.entries)
|
|
301
|
+
.map(([instance_id, entry]) => ({
|
|
302
|
+
instance_id,
|
|
303
|
+
scorable: true,
|
|
304
|
+
reason: entry.reason,
|
|
305
|
+
checkedAt: entry.checkedAt,
|
|
306
|
+
...(entry.rowHash ? { rowHash: entry.rowHash } : {}),
|
|
307
|
+
...(entry.imageName ? { imageName: entry.imageName } : {}),
|
|
308
|
+
...(entry.imageDigest ? { imageDigest: entry.imageDigest } : {}),
|
|
309
|
+
...(entry.upstreamEvalCommit ? { upstreamEvalCommit: entry.upstreamEvalCommit } : {}),
|
|
310
|
+
}))
|
|
311
|
+
.sort((a, b) => a.instance_id.localeCompare(b.instance_id));
|
|
312
|
+
return {
|
|
313
|
+
schemaVersion: SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE,
|
|
314
|
+
evalSemanticsVersion,
|
|
315
|
+
generatedAt: opts.generatedAt ?? scorable.updatedAt,
|
|
316
|
+
entries,
|
|
317
|
+
};
|
|
318
|
+
}
|
|
319
|
+
function parsePublication(raw) {
|
|
320
|
+
if (!isObject(raw) || raw['schemaVersion'] !== PUBLICATION_SCHEMA_VERSION) {
|
|
321
|
+
throw new Error(`vetted pool publication schemaVersion must be ${PUBLICATION_SCHEMA_VERSION}`);
|
|
322
|
+
}
|
|
323
|
+
if (typeof raw['updatedAt'] !== 'string') {
|
|
324
|
+
throw new Error('vetted pool publication updatedAt must be a string');
|
|
325
|
+
}
|
|
326
|
+
const ref = parseVettedPoolArtifactRef(raw['ref']);
|
|
327
|
+
const artifact = parseVettedPoolArtifact(raw['artifact']);
|
|
328
|
+
const actualHash = hashVettedPoolArtifact(artifact);
|
|
329
|
+
if (actualHash !== ref.artifactHash) {
|
|
330
|
+
throw new Error(`vetted pool publication hash mismatch: ref=${ref.artifactHash} artifact=${actualHash}`);
|
|
331
|
+
}
|
|
332
|
+
return {
|
|
333
|
+
schemaVersion: PUBLICATION_SCHEMA_VERSION,
|
|
334
|
+
updatedAt: raw['updatedAt'],
|
|
335
|
+
ref,
|
|
336
|
+
artifact,
|
|
337
|
+
};
|
|
338
|
+
}
|
|
339
|
+
export async function readVettedPoolArtifactPublication(args) {
|
|
340
|
+
let raw;
|
|
341
|
+
try {
|
|
342
|
+
raw = JSON.parse(await readFile(publicationPath(args.stateDir), 'utf8'));
|
|
343
|
+
}
|
|
344
|
+
catch {
|
|
345
|
+
return null;
|
|
346
|
+
}
|
|
347
|
+
const publication = parsePublication(raw);
|
|
348
|
+
if (args.manifestCid !== undefined && publication.ref.manifestCid !== args.manifestCid)
|
|
349
|
+
return null;
|
|
350
|
+
if (args.evalSemanticsVersion !== undefined && publication.ref.evalSemanticsVersion !== args.evalSemanticsVersion)
|
|
351
|
+
return null;
|
|
352
|
+
return publication;
|
|
353
|
+
}
|
|
354
|
+
export async function writeVettedPoolArtifactPublication(args) {
|
|
355
|
+
const artifact = parseVettedPoolArtifact(args.artifact);
|
|
356
|
+
const ref = parseVettedPoolArtifactRef(args.ref);
|
|
357
|
+
const artifactHash = hashVettedPoolArtifact(artifact);
|
|
358
|
+
if (artifactHash !== ref.artifactHash) {
|
|
359
|
+
throw new Error(`vetted pool publication hash mismatch: ref=${ref.artifactHash} artifact=${artifactHash}`);
|
|
360
|
+
}
|
|
361
|
+
const publication = {
|
|
362
|
+
schemaVersion: PUBLICATION_SCHEMA_VERSION,
|
|
363
|
+
updatedAt: args.updatedAt ?? new Date().toISOString(),
|
|
364
|
+
ref,
|
|
365
|
+
artifact,
|
|
366
|
+
};
|
|
367
|
+
await writeJsonAtomic(publicationPath(args.stateDir), publication);
|
|
368
|
+
return publication;
|
|
369
|
+
}
|
|
145
370
|
/**
|
|
146
371
|
* Restrict the generator's posting pool.
|
|
147
372
|
*
|
|
@@ -182,15 +407,6 @@ function looksPython(patch) {
|
|
|
182
407
|
// Match `--- a/<p>` / `+++ b/<p>` / `diff --git a/<p>` ending in .py
|
|
183
408
|
return /(?:^|\n)(?:---|\+\+\+|diff --git) [ab]\/\S+\.py(?:\s|$)/.test(patch);
|
|
184
409
|
}
|
|
185
|
-
const defaultCommandRunner = (bin, args, opts) => new Promise((resolve, reject) => {
|
|
186
|
-
const child = spawn(bin, args, { ...(opts ?? {}), stdio: ['ignore', 'pipe', 'pipe'] });
|
|
187
|
-
let stdout = '';
|
|
188
|
-
let stderr = '';
|
|
189
|
-
child.stdout?.on('data', (d) => { stdout += d.toString(); });
|
|
190
|
-
child.stderr?.on('data', (d) => { stderr += d.toString(); });
|
|
191
|
-
child.on('error', reject);
|
|
192
|
-
child.on('close', (code) => resolve({ exitCode: code ?? 1, stdout, stderr }));
|
|
193
|
-
});
|
|
194
410
|
function nameOf(err) {
|
|
195
411
|
return typeof err === 'object' && err !== null && typeof err.name === 'string'
|
|
196
412
|
? err.name : '';
|
|
@@ -268,9 +484,10 @@ export async function validatePoolInstances(pool, deps, opts = {}) {
|
|
|
268
484
|
pass_to_pass: row.PASS_TO_PASS,
|
|
269
485
|
});
|
|
270
486
|
const checkedAt = new Date().toISOString();
|
|
271
|
-
//
|
|
272
|
-
//
|
|
273
|
-
|
|
487
|
+
// Prefer the digest captured by a real runner before per-round pruning.
|
|
488
|
+
// Test runners that do not carry it still use the legacy post-eval
|
|
489
|
+
// Docker inspect fallback.
|
|
490
|
+
const imageDigest = res.imageDigest ?? await resolveImageDigest(row.image_name, runner);
|
|
274
491
|
const substrate = {
|
|
275
492
|
checkedAt,
|
|
276
493
|
rowHash,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"_swe-rebench-v2-validated-pool.js","sourceRoot":"","sources":["../../src/solver-types/_swe-rebench-v2-validated-pool.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACpF,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGlE,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,yBAAyB,EAAsB,MAAM,gCAAgC,CAAC;AAEnI,yEAAyE;AACzE,0EAA0E;AAC1E,gEAAgE;AAChE,EAAE;AACF,2EAA2E;AAC3E,yEAAyE;AACzE,iEAAiE;AACjE,oEAAoE;AACpE,oEAAoE;AACpE,uEAAuE;AACvE,aAAa;AACb,MAAM,UAAU,GAA+B,IAAI,GAAG,EAAE,CAAC;AACzD,SAAS,aAAa,CAAI,IAAY,EAAE,EAAoB;IAC1D,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;IACvD,IAAI,OAAoB,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,OAAO,CAAO,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAe,CAAC;AACtD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,CAAC;AAE1C,MAAM,cAAc,GAAG,kCAA2C,CAAC;AAwBnE,SAAS,SAAS,CAAC,oBAA4B;IAC7C,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,oBAAoB,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AACnH,CAAC;AAED,SAAS,WAAW,CAAC,GAAY,EAAE,oBAA4B;IAC7D,OAAO,CACL,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QACtC,GAAyB,CAAC,aAAa,KAAK,cAAc;QAC1D,GAAyB,CAAC,oBAAoB,KAAK,oBAAoB;QACxE,OAAQ,GAAyB,CAAC,OAAO,KAAK,QAAQ,IAAK,GAAyB,CAAC,OAAO,KAAK,IAAI,CACtG,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,kBAAkB;IACZ,IAAI,CAAS;IACtB,KAAK,GAA6B,IAAI,CAAC;IAC/C;;gEAE4D;IACpD,gBAAgB,GAAkF,IAAI,CAAC;IAE/G,YAAY,IAA0B;QACpC,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC,CAAC;IACtE,CAAC;IAEO,KAAK,CAAC,OAAO;QACnB,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACvD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,YAAY,CAAC,oBAA4B;QACrD,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,oBAAoB,KAAK,oBAAoB;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC;QAC9F,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC5F,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAEO,KAAK,CAAC,WAAW,CAAC,IAAuB;QAC/C,MAAM,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACrD,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;QACjE,MAAM,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACpD,IAAI,CAAC;YACH,MAAM,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,yBAAyB;QACzD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,gEAAgE;YAChE,MAAM,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;YACzC,MAAM,GAAG,CAAC;QACZ,CAAC;IACH,CAAC;IAED;;;8EAG0E;IAC1E,KAAK,CAAC,cAAc,CAAC,oBAA4B;QAC/C,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC;QACrC,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO,IAAI,MAAM,CAAC,gBAAgB,KAAK,oBAAoB,EAAE,CAAC;YAC7F,OAAO,MAAM,CAAC,GAAG,CAAC;QACpB,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,EAAE,oBAAoB,CAAC;YAChD,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YACtF,CAAC,CAAC,IAAI,CAAC;QACT,IAAI,CAAC,gBAAgB,GAAG,EAAE,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC;QACjF,OAAO,GAAG,CAAC;IACb,CAAC;IAED,yFAAyF;IACzF,KAAK,CAAC,QAAQ,CAAC,UAAkB,EAAE,oBAA4B;QAC7D,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,oBAAoB,CAAC,CAAC;QACxD,OAAO,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;IACvC,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,UAAkB,EAAE,KAAyB,EAAE,oBAA4B;QACtF,OAAO,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE;YACzC,yEAAyE;YACzE,0CAA0C;YAC1C,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;YAClB,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;YAC5F,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC;YACjC,IAAI,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAC1C,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QACpB,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AAID;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAgB,EAChB,WAA+B,EAC/B,gBAA+B,UAAU;IAEzC,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACzF,CAAC;IACD,IAAI,aAAa,KAAK,cAAc,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;IACvE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC;AAC1D,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAc;IACtC,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC5C,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,uDAAuD;IACvD,OAAO,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,WAAW,CAAC,KAAyB;IAC5C,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,qEAAqE;IACrE,OAAO,yDAAyD,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC/E,CAAC;AAED,MAAM,oBAAoB,GAAkB,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;IAC/F,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACvF,IAAI,MAAM,GAAG,EAAE,CAAC;IAAC,IAAI,MAAM,GAAG,EAAE,CAAC;IACjC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAS,EAAE,EAAE,GAAG,MAAM,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAS,EAAE,EAAE,GAAG,MAAM,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1B,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAmB,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AAC/F,CAAC,CAAC,CAAC;AAqBH,SAAS,MAAM,CAAC,GAAY;IAC1B,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,OAAQ,GAA0B,CAAC,IAAI,KAAK,QAAQ;QACpG,CAAC,CAAE,GAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;AAC1C,CAAC;AACD,SAAS,QAAQ,CAAC,GAAY;IAC5B,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,OAAQ,GAA4B,CAAC,MAAM,KAAK,QAAQ;QACxG,CAAC,CAAE,GAA0B,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AACrD,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,IAAgB,EAChB,IAAsB,EACtB,OAA4C,EAAE;IAE9C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,IAAI,oBAAoB,CAAC;IAC1D,MAAM,OAAO,GAAwB,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAE5F,6EAA6E;IAC7E,MAAM,kBAAkB,GAAG,MAAM,yBAAyB,CAAC,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;IAEzF,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,IAAI,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC,KAAK;YAAE,MAAM;QAE/D,6EAA6E;QAC7E,2EAA2E;QAC3E,0EAA0E;QAC1E,SAAS;QACT,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC7J,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;YACrB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC;YACxF,SAAS,CAAC,+CAA+C;QAC3D,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACpC,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,oBAAoB,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACzJ,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;YAAC,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;YAC9C,SAAS;QACX,CAAC;QAED,GAAG,CAAC,mBAAmB,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC;QAC7C,IAAI,GAAsB,CAAC;QAC3B,IAAI,OAA2B,CAAC;QAChC,IAAI,KAAyB,CAAC;QAC9B,IAAI,CAAC;YACH,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YAC/H,OAAO,GAAG,cAAc,CAAC;gBACvB,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI;gBAC3B,2EAA2E;gBAC3E,4EAA4E;gBAC5E,8EAA8E;gBAC9E,2EAA2E;gBAC3E,wEAAwE;gBACxE,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,0CAA0C;gBAC3E,UAAU,EAAE,GAAG,CAAC,UAAU;gBAC1B,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,GAAG,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU;gBAC7C,cAAc,EAAE,EAAE,GAAG,GAAG,CAAC,cAAc,EAAE,OAAO,EAAE,GAAG,CAAC,cAAc,CAAC,OAAO,IAAI,EAAE,EAAE;gBACpF,YAAY,EAAE,GAAG,CAAC,YAAY;gBAC9B,YAAY,EAAE,GAAG,CAAC,YAAY;aAC/B,CAAC,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;gBACpC,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI;gBAC3B,KAAK,EAAE,GAAG,CAAC,UAAU;gBACrB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,GAAG,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU;gBAC7C,OAAO,EAAE,GAAG,CAAC,cAAc,CAAC,OAAO;gBACnC,QAAQ,EAAE,GAAG,CAAC,cAAc,CAAC,QAAQ;gBACrC,UAAU,EAAE,GAAG,CAAC,cAAc,CAAC,UAAU;gBACzC,YAAY,EAAE,GAAG,CAAC,YAAY;gBAC9B,YAAY,EAAE,GAAG,CAAC,YAAY;aAC/B,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAC3C,0EAA0E;YAC1E,wDAAwD;YACxD,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YACrE,MAAM,SAAS,GAAG;gBAChB,SAAS;gBACT,OAAO;gBACP,SAAS,EAAE,GAAG,CAAC,UAAU;gBACzB,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvC,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACtD,CAAC;YACF,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,mEAAmE;gBACnE,KAAK,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,2BAA2B,EAAE,GAAG,SAAS,EAAE,CAAC;YACjF,CAAC;iBAAM,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;gBAC5B,KAAK,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB,EAAE,GAAG,SAAS,EAAE,CAAC;YAC1E,CAAC;iBAAM,CAAC;gBACN,KAAK,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,gCAAgC,GAAG,CAAC,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,EAAE,GAAG,SAAS,EAAE,CAAC;YAC1I,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,wBAAwB;gBACrD,CAAC,CAAC,eAAe,QAAQ,CAAC,GAAG,CAAC,EAAE;gBAChC,CAAC,CAAC,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YAChF,KAAK,GAAG;gBACN,QAAQ,EAAE,KAAK;gBACf,MAAM;gBACN,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACnC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/B,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7C,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACtD,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACxE,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;QACrB,IAAI,KAAK,CAAC,QAAQ;YAAE,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;;YAAM,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;QACxE,GAAG,CAAC,mBAAmB,IAAI,CAAC,WAAW,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/G,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}
|
|
1
|
+
{"version":3,"file":"_swe-rebench-v2-validated-pool.js","sourceRoot":"","sources":["../../src/solver-types/_swe-rebench-v2-validated-pool.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACpF,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGlE,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,kBAAkB,EAClB,yBAAyB,GAE1B,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AAEtE,yEAAyE;AACzE,0EAA0E;AAC1E,gEAAgE;AAChE,EAAE;AACF,2EAA2E;AAC3E,yEAAyE;AACzE,iEAAiE;AACjE,oEAAoE;AACpE,oEAAoE;AACpE,uEAAuE;AACvE,aAAa;AACb,MAAM,UAAU,GAA+B,IAAI,GAAG,EAAE,CAAC;AACzD,SAAS,aAAa,CAAI,IAAY,EAAE,EAAoB;IAC1D,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;IACvD,IAAI,OAAoB,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,OAAO,CAAO,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAe,CAAC;AACtD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,CAAC;AAE1C,MAAM,cAAc,GAAG,kCAA2C,CAAC;AACnE,MAAM,CAAC,MAAM,wCAAwC,GAAG,+BAAwC,CAAC;AACjG,MAAM,CAAC,MAAM,qCAAqC,GAAG,2BAAoC,CAAC;AAC1F,MAAM,CAAC,MAAM,+BAA+B,GAAG,eAAwB,CAAC;AACxE,MAAM,0BAA0B,GAAG,2CAAoD,CAAC;AACxF,MAAM,gBAAgB,GAAG,uCAAuC,CAAC;AA0DjE,SAAS,SAAS,CAAC,oBAA4B;IAC7C,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,oBAAoB,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AACnH,CAAC;AAED,SAAS,WAAW,CAAC,GAAY,EAAE,oBAA4B;IAC7D,OAAO,CACL,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QACtC,GAAyB,CAAC,aAAa,KAAK,cAAc;QAC1D,GAAyB,CAAC,oBAAoB,KAAK,oBAAoB;QACxE,OAAQ,GAAyB,CAAC,OAAO,KAAK,QAAQ,IAAK,GAAyB,CAAC,OAAO,KAAK,IAAI,CACtG,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,QAAgB;IACvC,OAAO,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,IAAY,EAAE,KAAc;IACzD,MAAM,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;IAC5D,MAAM,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACrD,IAAI,CAAC;QACH,MAAM,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,yBAAyB;IACpD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,gEAAgE;QAChE,MAAM,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACzC,MAAM,GAAG,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,GAAY;IAC5B,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,CAAC;AACjD,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,4BAA4B,CAAC,GAAY;IAChD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,OAAO,GAAG,CAAC,aAAa,CAAC,KAAK,QAAQ,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3F,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,OAAO,GAAG,CAAC,QAAQ,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,OAAO,GAAG,CAAC,WAAW,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,KAAK,GAAwC;QACjD,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC;QAC/B,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC;QACrB,SAAS,EAAE,GAAG,CAAC,WAAW,CAAC;QAC3B,GAAG,CAAC,OAAO,GAAG,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,OAAO,GAAG,CAAC,WAAW,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,GAAG,CAAC,OAAO,GAAG,CAAC,aAAa,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,GAAG,CAAC,OAAO,GAAG,CAAC,oBAAoB,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5G,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,GAAY;IAClD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC9E,IAAI,GAAG,CAAC,eAAe,CAAC,KAAK,wCAAwC,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,8CAA8C,wCAAwC,EAAE,CAAC,CAAC;IAC5G,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,sBAAsB,CAAC,KAAK,QAAQ,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,aAAa,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;IACjE,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;IAClF,CAAC;IACD,OAAO;QACL,aAAa,EAAE,wCAAwC;QACvD,oBAAoB,EAAE,GAAG,CAAC,sBAAsB,CAAC;QACjD,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC;QAC/B,OAAO,EAAG,OAAiD,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;KACvH,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,QAAwC;IAC3E,OAAO;QACL,aAAa,EAAE,wCAAwC;QACvD,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;QACnD,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC;aAC3B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,IAAa,EAAE,CAAC,CAAC;aACvD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;KAC9D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,QAAwC;IAC7E,MAAM,SAAS,GAAG,aAAa,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC,CAAC;IACvE,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,qCAAqC,CAAC,GAAY;IAChE,MAAM,QAAQ,GAAG,uBAAuB,CAAC,GAAG,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,EAA+C,CAAC;IACpE,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,IAM3C;IACC,OAAO;QACL,aAAa,EAAE,qCAAqC;QACpD,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,YAAY,EAAE,wCAAwC;QACtD,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;QAC/C,WAAW,EAAE,IAAI,CAAC,WAAW;KAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yCAAyC,CAAC,WAAmB;IAC3E,OAAO,sBAAsB,WAAW,6BAA6B,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,GAAY;IACrD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAClF,IAAI,GAAG,CAAC,eAAe,CAAC,KAAK,qCAAqC,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,kDAAkD,qCAAqC,EAAE,CAAC,CAAC;IAC7G,CAAC;IACD,IAAI,GAAG,CAAC,cAAc,CAAC,KAAK,wCAAwC,EAAE,CAAC;QACrE,MAAM,IAAI,KAAK,CAAC,iDAAiD,wCAAwC,EAAE,CAAC,CAAC;IAC/G,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,aAAa,CAAC,KAAK,QAAQ,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,aAAa,CAAC,KAAK,QAAQ,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,sBAAsB,CAAC,KAAK,QAAQ,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,aAAa,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO;QACL,aAAa,EAAE,qCAAqC;QACpD,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC;QAC/B,YAAY,EAAE,wCAAwC;QACtD,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC;QAC/B,YAAY,EAAE,GAAG,CAAC,cAAc,CAAC;QACjC,oBAAoB,EAAE,GAAG,CAAC,sBAAsB,CAAC;QACjD,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC;KAChC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oCAAoC,CAAC,WAAgD;IACnG,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC,+BAA+B,CAAC,CAAC;IAC3D,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,0BAA0B,CAAC,GAAG,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,OAAO,kBAAkB;IACZ,IAAI,CAAS;IACtB,KAAK,GAA6B,IAAI,CAAC;IAC/C;;gEAE4D;IACpD,gBAAgB,GAAkF,IAAI,CAAC;IAE/G,YAAY,IAA0B;QACpC,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC,CAAC;IACtE,CAAC;IAEO,KAAK,CAAC,OAAO;QACnB,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACvD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,YAAY,CAAC,oBAA4B;QACrD,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,oBAAoB,KAAK,oBAAoB;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC;QAC9F,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC5F,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAEO,KAAK,CAAC,WAAW,CAAC,IAAuB;QAC/C,MAAM,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzC,CAAC;IAED;;;8EAG0E;IAC1E,KAAK,CAAC,cAAc,CAAC,oBAA4B;QAC/C,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC;QACrC,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO,IAAI,MAAM,CAAC,gBAAgB,KAAK,oBAAoB,EAAE,CAAC;YAC7F,OAAO,MAAM,CAAC,GAAG,CAAC;QACpB,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,EAAE,oBAAoB,CAAC;YAChD,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YACtF,CAAC,CAAC,IAAI,CAAC;QACT,IAAI,CAAC,gBAAgB,GAAG,EAAE,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC;QACjF,OAAO,GAAG,CAAC;IACb,CAAC;IAED,KAAK,CAAC,kBAAkB,CAAC,oBAA4B;QAInD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,oBAAoB,CAAC;YAAE,OAAO,IAAI,CAAC;QACzD,OAAO;YACL,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;SAC/F,CAAC;IACJ,CAAC;IAED,yFAAyF;IACzF,KAAK,CAAC,QAAQ,CAAC,UAAkB,EAAE,oBAA4B;QAC7D,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,oBAAoB,CAAC,CAAC;QACxD,OAAO,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;IACvC,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,UAAkB,EAAE,KAAyB,EAAE,oBAA4B;QACtF,OAAO,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE;YACzC,yEAAyE;YACzE,0CAA0C;YAC1C,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;YAClB,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;YAC5F,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC;YACjC,IAAI,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAC1C,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QACpB,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AAED,MAAM,CAAC,KAAK,UAAU,gCAAgC,CACpD,KAAyB,EACzB,oBAA4B,EAC5B,OAAiC,EAAE;IAEnC,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,kBAAkB,CAAC,oBAAoB,CAAC,CAAC;IACtE,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;SAC7C,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,WAAW;QACX,QAAQ,EAAE,IAAa;QACvB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtF,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAC9D,OAAO;QACL,aAAa,EAAE,wCAAwC;QACvD,oBAAoB;QACpB,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,QAAQ,CAAC,SAAS;QACnD,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAY;IACpC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,eAAe,CAAC,KAAK,0BAA0B,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CAAC,iDAAiD,0BAA0B,EAAE,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,WAAW,CAAC,KAAK,QAAQ,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,GAAG,GAAG,0BAA0B,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACpD,IAAI,UAAU,KAAK,GAAG,CAAC,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,8CAA8C,GAAG,CAAC,YAAY,aAAa,UAAU,EAAE,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO;QACL,aAAa,EAAE,0BAA0B;QACzC,SAAS,EAAE,GAAG,CAAC,WAAW,CAAC;QAC3B,GAAG;QACH,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iCAAiC,CAAC,IAIvD;IACC,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,WAAW,KAAK,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IACpG,IAAI,IAAI,CAAC,oBAAoB,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,oBAAoB,KAAK,IAAI,CAAC,oBAAoB;QAAE,OAAO,IAAI,CAAC;IAC/H,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kCAAkC,CAAC,IAKxD;IACC,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,0BAA0B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,MAAM,YAAY,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,YAAY,KAAK,GAAG,CAAC,YAAY,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,8CAA8C,GAAG,CAAC,YAAY,aAAa,YAAY,EAAE,CAAC,CAAC;IAC7G,CAAC;IACD,MAAM,WAAW,GAAkC;QACjD,aAAa,EAAE,0BAA0B;QACzC,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrD,GAAG;QACH,QAAQ;KACT,CAAC;IACF,MAAM,eAAe,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAC;IACnE,OAAO,WAAW,CAAC;AACrB,CAAC;AAID;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAgB,EAChB,WAA+B,EAC/B,gBAA+B,UAAU;IAEzC,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACzF,CAAC;IACD,IAAI,aAAa,KAAK,cAAc,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;IACvE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC;AAC1D,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAc;IACtC,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC5C,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,uDAAuD;IACvD,OAAO,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,WAAW,CAAC,KAAyB;IAC5C,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,qEAAqE;IACrE,OAAO,yDAAyD,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC/E,CAAC;AAqBD,SAAS,MAAM,CAAC,GAAY;IAC1B,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,OAAQ,GAA0B,CAAC,IAAI,KAAK,QAAQ;QACpG,CAAC,CAAE,GAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;AAC1C,CAAC;AACD,SAAS,QAAQ,CAAC,GAAY;IAC5B,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,OAAQ,GAA4B,CAAC,MAAM,KAAK,QAAQ;QACxG,CAAC,CAAE,GAA0B,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AACrD,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,IAAgB,EAChB,IAAsB,EACtB,OAA4C,EAAE;IAE9C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,IAAI,oBAAoB,CAAC;IAC1D,MAAM,OAAO,GAAwB,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAE5F,6EAA6E;IAC7E,MAAM,kBAAkB,GAAG,MAAM,yBAAyB,CAAC,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;IAEzF,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,IAAI,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC,KAAK;YAAE,MAAM;QAE/D,6EAA6E;QAC7E,2EAA2E;QAC3E,0EAA0E;QAC1E,SAAS;QACT,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC7J,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;YACrB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC;YACxF,SAAS,CAAC,+CAA+C;QAC3D,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACpC,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,oBAAoB,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACzJ,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;YAAC,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;YAC9C,SAAS;QACX,CAAC;QAED,GAAG,CAAC,mBAAmB,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC;QAC7C,IAAI,GAAsB,CAAC;QAC3B,IAAI,OAA2B,CAAC;QAChC,IAAI,KAAyB,CAAC;QAC9B,IAAI,CAAC;YACH,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YAC/H,OAAO,GAAG,cAAc,CAAC;gBACvB,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI;gBAC3B,2EAA2E;gBAC3E,4EAA4E;gBAC5E,8EAA8E;gBAC9E,2EAA2E;gBAC3E,wEAAwE;gBACxE,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,0CAA0C;gBAC3E,UAAU,EAAE,GAAG,CAAC,UAAU;gBAC1B,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,GAAG,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU;gBAC7C,cAAc,EAAE,EAAE,GAAG,GAAG,CAAC,cAAc,EAAE,OAAO,EAAE,GAAG,CAAC,cAAc,CAAC,OAAO,IAAI,EAAE,EAAE;gBACpF,YAAY,EAAE,GAAG,CAAC,YAAY;gBAC9B,YAAY,EAAE,GAAG,CAAC,YAAY;aAC/B,CAAC,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;gBACpC,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI;gBAC3B,KAAK,EAAE,GAAG,CAAC,UAAU;gBACrB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,GAAG,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU;gBAC7C,OAAO,EAAE,GAAG,CAAC,cAAc,CAAC,OAAO;gBACnC,QAAQ,EAAE,GAAG,CAAC,cAAc,CAAC,QAAQ;gBACrC,UAAU,EAAE,GAAG,CAAC,cAAc,CAAC,UAAU;gBACzC,YAAY,EAAE,GAAG,CAAC,YAAY;gBAC9B,YAAY,EAAE,GAAG,CAAC,YAAY;aAC/B,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAC3C,wEAAwE;YACxE,mEAAmE;YACnE,2BAA2B;YAC3B,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,IAAI,MAAM,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YACxF,MAAM,SAAS,GAAG;gBAChB,SAAS;gBACT,OAAO;gBACP,SAAS,EAAE,GAAG,CAAC,UAAU;gBACzB,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvC,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACtD,CAAC;YACF,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,mEAAmE;gBACnE,KAAK,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,2BAA2B,EAAE,GAAG,SAAS,EAAE,CAAC;YACjF,CAAC;iBAAM,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;gBAC5B,KAAK,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB,EAAE,GAAG,SAAS,EAAE,CAAC;YAC1E,CAAC;iBAAM,CAAC;gBACN,KAAK,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,gCAAgC,GAAG,CAAC,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,EAAE,GAAG,SAAS,EAAE,CAAC;YAC1I,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,wBAAwB;gBACrD,CAAC,CAAC,eAAe,QAAQ,CAAC,GAAG,CAAC,EAAE;gBAChC,CAAC,CAAC,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YAChF,KAAK,GAAG;gBACN,QAAQ,EAAE,KAAK;gBACf,MAAM;gBACN,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACnC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/B,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7C,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACtD,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACxE,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;QACrB,IAAI,KAAK,CAAC,QAAQ;YAAE,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;;YAAM,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;QACxE,GAAG,CAAC,mBAAmB,IAAI,CAAC,WAAW,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/G,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}
|
|
@@ -1,9 +1,9 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* Task generator for the swe-rebench-v2.v1 SolverNet. Implements the
|
|
3
|
-
*
|
|
2
|
+
* Task generator policy for the swe-rebench-v2.v1 SolverNet. Implements the
|
|
3
|
+
* fill-the-pool + target-success claim cap policy from DR-2026-05-22-a.
|
|
4
4
|
*
|
|
5
5
|
* Spec: docs/superpowers/specs/2026-05-06-agent-harness-solvernet-design.md §3.6
|
|
6
|
-
* DR: log/decisions/2026-05-
|
|
6
|
+
* DR: log/decisions/2026-05-22-swe-rebench-v2-generation-claiming-semantics.md
|
|
7
7
|
*/
|
|
8
8
|
import type { PoolTask } from './_swe-rebench-v2-pool.js';
|
|
9
9
|
import type { TaskCounters } from './_swe-rebench-v2-state.js';
|
|
@@ -11,7 +11,10 @@ import type { AdmissionMode } from './_swe-rebench-v2-validated-pool.js';
|
|
|
11
11
|
export interface GeneratorConfig {
|
|
12
12
|
N_target_successes: number;
|
|
13
13
|
N_max_postings_per_task: number;
|
|
14
|
-
|
|
14
|
+
posting_window_ms: number;
|
|
15
|
+
post_batch_size: number;
|
|
16
|
+
maxClaimsPerOperator?: number;
|
|
17
|
+
claimLeaseTtlSeconds: number;
|
|
15
18
|
/** Controls pool filtering before posting. 'required' (default) blocks if no
|
|
16
19
|
* validation data exists; 'python-floor' falls back to Python-only subset.
|
|
17
20
|
* Set to 'python-floor' for local dev before running `jinn solver-nets
|
|
@@ -19,6 +22,16 @@ export interface GeneratorConfig {
|
|
|
19
22
|
admissionMode?: AdmissionMode;
|
|
20
23
|
}
|
|
21
24
|
export declare const DEFAULT_GENERATOR_CONFIG: GeneratorConfig;
|
|
25
|
+
export type SweRebenchV2PoolCountKind = 'unposted' | 'live' | 'repostable' | 'saturated' | 'abandoned';
|
|
26
|
+
export interface SweRebenchV2PoolCounts {
|
|
27
|
+
poolSize: number;
|
|
28
|
+
posted: number;
|
|
29
|
+
unposted: number;
|
|
30
|
+
live: number;
|
|
31
|
+
repostable: number;
|
|
32
|
+
saturated: number;
|
|
33
|
+
abandoned: number;
|
|
34
|
+
}
|
|
22
35
|
export interface SelectArgs {
|
|
23
36
|
pool: PoolTask[];
|
|
24
37
|
counters: Map<string, TaskCounters>;
|
|
@@ -28,17 +41,19 @@ export interface SelectArgs {
|
|
|
28
41
|
* language for round-robin balancing. */
|
|
29
42
|
lastPostedLanguage?: string;
|
|
30
43
|
}
|
|
44
|
+
export declare function classifyPoolTask(counters: TaskCounters, config: GeneratorConfig, now: number): SweRebenchV2PoolCountKind;
|
|
45
|
+
export declare function summarizePoolState(args: SelectArgs): SweRebenchV2PoolCounts;
|
|
31
46
|
/**
|
|
32
|
-
* Choose
|
|
33
|
-
* task is currently eligible (all saturated, in cooldown, or capped).
|
|
47
|
+
* Choose up to post_batch_size eligible tasks to post on JinnRouter.
|
|
34
48
|
*
|
|
35
49
|
* Eligibility filter:
|
|
36
50
|
* - successful_count[task] < N_target_successes
|
|
37
51
|
* - posted_count[task] < N_max_postings_per_task
|
|
38
|
-
* -
|
|
52
|
+
* - no live posting within posting_window_ms
|
|
39
53
|
*
|
|
40
54
|
* Among eligible tasks, prefer a different language than the last-posted one
|
|
41
55
|
* (simple round-robin balance). Tie-break by lower posted_count, then by
|
|
42
56
|
* earliest last_posted_at, then by instance_id (deterministic).
|
|
43
57
|
*/
|
|
58
|
+
export declare function selectNextPostingCandidates(args: SelectArgs): PoolTask[];
|
|
44
59
|
export declare function selectNextPostingCandidate(args: SelectArgs): PoolTask | undefined;
|
|
@@ -1,42 +1,64 @@
|
|
|
1
1
|
/**
|
|
2
|
-
* Task generator for the swe-rebench-v2.v1 SolverNet. Implements the
|
|
3
|
-
*
|
|
2
|
+
* Task generator policy for the swe-rebench-v2.v1 SolverNet. Implements the
|
|
3
|
+
* fill-the-pool + target-success claim cap policy from DR-2026-05-22-a.
|
|
4
4
|
*
|
|
5
5
|
* Spec: docs/superpowers/specs/2026-05-06-agent-harness-solvernet-design.md §3.6
|
|
6
|
-
* DR: log/decisions/2026-05-
|
|
6
|
+
* DR: log/decisions/2026-05-22-swe-rebench-v2-generation-claiming-semantics.md
|
|
7
7
|
*/
|
|
8
8
|
export const DEFAULT_GENERATOR_CONFIG = {
|
|
9
|
-
N_target_successes:
|
|
9
|
+
N_target_successes: 5,
|
|
10
10
|
N_max_postings_per_task: 10,
|
|
11
|
-
|
|
11
|
+
posting_window_ms: 24 * 60 * 60 * 1000,
|
|
12
|
+
post_batch_size: 25,
|
|
13
|
+
claimLeaseTtlSeconds: 60 * 60,
|
|
12
14
|
};
|
|
15
|
+
export function classifyPoolTask(counters, config, now) {
|
|
16
|
+
if (counters.successful >= config.N_target_successes)
|
|
17
|
+
return 'saturated';
|
|
18
|
+
if (counters.posted >= config.N_max_postings_per_task)
|
|
19
|
+
return 'abandoned';
|
|
20
|
+
if (counters.posted === 0 || counters.last_posted_at === 0)
|
|
21
|
+
return 'unposted';
|
|
22
|
+
return now - counters.last_posted_at >= config.posting_window_ms ? 'repostable' : 'live';
|
|
23
|
+
}
|
|
24
|
+
export function summarizePoolState(args) {
|
|
25
|
+
const counts = {
|
|
26
|
+
poolSize: args.pool.length,
|
|
27
|
+
posted: 0,
|
|
28
|
+
unposted: 0,
|
|
29
|
+
live: 0,
|
|
30
|
+
repostable: 0,
|
|
31
|
+
saturated: 0,
|
|
32
|
+
abandoned: 0,
|
|
33
|
+
};
|
|
34
|
+
for (const task of args.pool) {
|
|
35
|
+
const counters = args.counters.get(task.instance_id) ??
|
|
36
|
+
{ posted: 0, successful: 0, last_posted_at: 0 };
|
|
37
|
+
counts[classifyPoolTask(counters, args.config, args.now)] += 1;
|
|
38
|
+
}
|
|
39
|
+
return counts;
|
|
40
|
+
}
|
|
13
41
|
/**
|
|
14
|
-
* Choose
|
|
15
|
-
* task is currently eligible (all saturated, in cooldown, or capped).
|
|
42
|
+
* Choose up to post_batch_size eligible tasks to post on JinnRouter.
|
|
16
43
|
*
|
|
17
44
|
* Eligibility filter:
|
|
18
45
|
* - successful_count[task] < N_target_successes
|
|
19
46
|
* - posted_count[task] < N_max_postings_per_task
|
|
20
|
-
* -
|
|
47
|
+
* - no live posting within posting_window_ms
|
|
21
48
|
*
|
|
22
49
|
* Among eligible tasks, prefer a different language than the last-posted one
|
|
23
50
|
* (simple round-robin balance). Tie-break by lower posted_count, then by
|
|
24
51
|
* earliest last_posted_at, then by instance_id (deterministic).
|
|
25
52
|
*/
|
|
26
|
-
export function
|
|
53
|
+
export function selectNextPostingCandidates(args) {
|
|
27
54
|
const eligible = args.pool.filter((task) => {
|
|
28
|
-
const c = args.counters.get(task.instance_id) ??
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
return false;
|
|
33
|
-
// Tasks with last_posted_at=0 have never been posted, so skip cooldown check
|
|
34
|
-
if (c.last_posted_at > 0 && args.now - c.last_posted_at < args.config.cooldown_ms)
|
|
35
|
-
return false;
|
|
36
|
-
return true;
|
|
55
|
+
const c = args.counters.get(task.instance_id) ??
|
|
56
|
+
{ posted: 0, successful: 0, last_posted_at: 0 };
|
|
57
|
+
const kind = classifyPoolTask(c, args.config, args.now);
|
|
58
|
+
return kind === 'unposted' || kind === 'repostable';
|
|
37
59
|
});
|
|
38
60
|
if (eligible.length === 0)
|
|
39
|
-
return
|
|
61
|
+
return [];
|
|
40
62
|
// Round-robin language preference
|
|
41
63
|
const differentLanguage = args.lastPostedLanguage
|
|
42
64
|
? eligible.filter((t) => t.language !== args.lastPostedLanguage)
|
|
@@ -51,6 +73,9 @@ export function selectNextPostingCandidate(args) {
|
|
|
51
73
|
return cA.last_posted_at - cB.last_posted_at;
|
|
52
74
|
return a.instance_id.localeCompare(b.instance_id);
|
|
53
75
|
});
|
|
54
|
-
return candidates
|
|
76
|
+
return candidates.slice(0, args.config.post_batch_size);
|
|
77
|
+
}
|
|
78
|
+
export function selectNextPostingCandidate(args) {
|
|
79
|
+
return selectNextPostingCandidates({ ...args, config: { ...args.config, post_batch_size: 1 } })[0];
|
|
55
80
|
}
|
|
56
81
|
//# sourceMappingURL=swe-rebench-v2-auto.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"swe-rebench-v2-auto.js","sourceRoot":"","sources":["../../src/solver-types/swe-rebench-v2-auto.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;
|
|
1
|
+
{"version":3,"file":"swe-rebench-v2-auto.js","sourceRoot":"","sources":["../../src/solver-types/swe-rebench-v2-auto.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAoBH,MAAM,CAAC,MAAM,wBAAwB,GAAoB;IACvD,kBAAkB,EAAE,CAAC;IACrB,uBAAuB,EAAE,EAAE;IAC3B,iBAAiB,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI;IACtC,eAAe,EAAE,EAAE;IACnB,oBAAoB,EAAE,EAAE,GAAG,EAAE;CAC9B,CAAC;AA6BF,MAAM,UAAU,gBAAgB,CAC9B,QAAsB,EACtB,MAAuB,EACvB,GAAW;IAEX,IAAI,QAAQ,CAAC,UAAU,IAAI,MAAM,CAAC,kBAAkB;QAAE,OAAO,WAAW,CAAC;IACzE,IAAI,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,uBAAuB;QAAE,OAAO,WAAW,CAAC;IAC1E,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,cAAc,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IAC9E,OAAO,GAAG,GAAG,QAAQ,CAAC,cAAc,IAAI,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAgB;IACjD,MAAM,MAAM,GAA2B;QACrC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM;QAC1B,MAAM,EAAE,CAAC;QACT,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE,CAAC;QACP,UAAU,EAAE,CAAC;QACb,SAAS,EAAE,CAAC;QACZ,SAAS,EAAE,CAAC;KACb,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC;YACnC,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;QAClD,MAAM,CAAC,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,2BAA2B,CAAC,IAAgB;IAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QACzC,MAAM,CAAC,GACL,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC;YACnC,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACxD,OAAO,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,YAAY,CAAC;IACtD,CAAC,CAAC,CAAC;IACH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAErC,kCAAkC;IAClC,MAAM,iBAAiB,GAAG,IAAI,CAAC,kBAAkB;QAC/C,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,kBAAkB,CAAC;QAChE,CAAC,CAAC,QAAQ,CAAC;IACb,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC;IAE/E,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACvB,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;QAC/F,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;QAC/F,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC;QAC1D,IAAI,EAAE,CAAC,cAAc,KAAK,EAAE,CAAC,cAAc;YAAE,OAAO,EAAE,CAAC,cAAc,GAAG,EAAE,CAAC,cAAc,CAAC;QAC1F,OAAO,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,IAAgB;IACzD,OAAO,2BAA2B,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACrG,CAAC"}
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* SolverTypeDefinition for swe-rebench-v2.v1.
|
|
3
3
|
*
|
|
4
|
-
* Wires the pool builder, state store, and
|
|
4
|
+
* Wires the pool builder, state store, and selectNextPostingCandidates
|
|
5
5
|
* policy from the supporting modules (_swe-rebench-v2-pool, _swe-rebench-v2-state,
|
|
6
6
|
* swe-rebench-v2-auto) into the SolverTypeDefinition interface consumed by
|
|
7
7
|
* collectTestnetAutoTaskGenerators.
|
|
@@ -17,11 +17,17 @@ import { ValidatedPoolStore } from './_swe-rebench-v2-validated-pool.js';
|
|
|
17
17
|
import { type PoolTask } from './_swe-rebench-v2-pool.js';
|
|
18
18
|
export declare const HF_DATASET = "nebius/SWE-rebench-leaderboard";
|
|
19
19
|
export interface SweRebenchV2ClaimPolicyRuntimeConfig {
|
|
20
|
+
/** @deprecated maxClaims is derived per posting from remaining target successes. */
|
|
20
21
|
maxClaims?: number;
|
|
22
|
+
/** @deprecated use top-level maxClaimsPerOperator. */
|
|
21
23
|
maxClaimsPerOperator?: number;
|
|
24
|
+
/** @deprecated use top-level claimLeaseTtlSeconds. */
|
|
22
25
|
claimLeaseTtlSeconds?: number;
|
|
23
26
|
}
|
|
24
27
|
export type SweRebenchV2GeneratorRuntimeConfig = Partial<GeneratorConfig> & {
|
|
28
|
+
/** @deprecated ignored; posting_window_ms controls repost timing. */
|
|
29
|
+
cooldown_ms?: number;
|
|
30
|
+
/** @deprecated legacy nested shape tolerated on read and flattened on write. */
|
|
25
31
|
claimPolicy?: SweRebenchV2ClaimPolicyRuntimeConfig;
|
|
26
32
|
};
|
|
27
33
|
/** Config passed to buildGenerator — sourced from env or TestnetAutoContext. */
|
|
@@ -31,6 +37,7 @@ export interface SweRebenchV2AutoConfig {
|
|
|
31
37
|
}
|
|
32
38
|
export interface SweRebenchV2GeneratorStaticConfig {
|
|
33
39
|
stateDir?: string;
|
|
40
|
+
ipfsRegistryUrl?: string;
|
|
34
41
|
agentEoa?: `0x${string}`;
|
|
35
42
|
safeAddress?: `0x${string}`;
|
|
36
43
|
agentPrivateKey?: `0x${string}`;
|
|
@@ -50,7 +57,11 @@ export interface SweRebenchV2GeneratorStateSnapshot {
|
|
|
50
57
|
lastPollSummary?: {
|
|
51
58
|
poolSize: number;
|
|
52
59
|
posted: number;
|
|
53
|
-
|
|
60
|
+
unposted: number;
|
|
61
|
+
live: number;
|
|
62
|
+
repostable: number;
|
|
63
|
+
saturated: number;
|
|
64
|
+
abandoned: number;
|
|
54
65
|
};
|
|
55
66
|
lastError?: {
|
|
56
67
|
message: string;
|