@jinn-network/client 0.1.5 → 0.1.6-canary.118cd4d0

package/dist/solver-types/_swe-rebench-v2-validated-pool.js

@@ -19,16 +19,44 @@
  *
  * Refs: jinn-mono-uy6v.9.
  */
-import { readFile, writeFile, mkdir, stat } from 'node:fs/promises';
-import { dirname, join } from 'node:path';
+import { readFile, writeFile, mkdir, stat, rename, unlink } from 'node:fs/promises';
+import { randomBytes } from 'node:crypto';
+import { spawn } from 'node:child_process';
+import { resolve as resolvePath, dirname, join } from 'node:path';
+import { computeRowHash, resolveImageDigest, resolveUpstreamEvalCommit } from './_swe-rebench-v2-substrate.js';
+// In-process mutex map: serialises concurrent record() calls against the
+// same file. Entries are never removed; bounded by the number of distinct
+// validated-pool.json paths used in this process (typically 1).
+//
+// Cross-process safety is NOT provided: if two separate node processes run
+// `jinn solver-nets validate-pool` simultaneously against the same file,
+// the atomic POSIX rename guarantees only that the file is never
+// torn — one of the concurrent writes may still clobber the other's
+// entries. This is an acceptable limitation for a manual admin CLI;
+// operators should not run validate-pool concurrently against the same
+// state dir.
+const writeLocks = new Map();
+function withWriteLock(file, fn) {
+    const prev = writeLocks.get(file) ?? Promise.resolve();
+    let release;
+    const next = new Promise((res) => { release = res; });
+    writeLocks.set(file, next);
+    return prev.then(fn).finally(release);
+}
 /**
  * Bump when the eval grading semantics change (verdict re-derivation,
  * ungradeable classification, test-command construction) so cached validation
- * results from an older harness are treated as stale and re-checked. `'2'` =
- * the SWE-bench "resolved" semantics + run-the-named-tests `test_cmd` override
- * (jinn-mono-uy6v.8); `'1'` was the original exact-set `passed_match`.
+ * results from an older harness are treated as stale and re-checked.
+ *
+ *   '1' — original exact-set `passed_match`.
+ *   '2' — SWE-bench "resolved" semantics + run-the-named-tests `test_cmd`
+ *         override (jinn-mono-uy6v.8).
+ *   '3' — adds verdict-time substrate recheck (`rowHash`, `imageDigest`,
+ *         `upstreamEvalCommit`) and extended ungradeable classifier
+ *         (venv collision, missing pytest, dependency warnings, conftest
+ *         import/setup failures) — jinn-mono-fufn.
  */
-export const EVAL_SEMANTICS_VERSION = '2';
+export const EVAL_SEMANTICS_VERSION = '3';
 const SCHEMA_VERSION = 'swe-rebench-v2-validated-pool.v1';
 function freshFile(evalSemanticsVersion) {
     return { schemaVersion: SCHEMA_VERSION, evalSemanticsVersion, updatedAt: new Date().toISOString(), entries: {} };
@@ -47,7 +75,7 @@ export class ValidatedPoolStore {
      *  `validate-pool` CLI runs. Invalidate on mtime change. */
     scorableIdsCache = null;
     constructor(opts) {
-        this.file = join(opts.stateDir, 'validated-pool.json');
+        this.file = resolvePath(join(opts.stateDir, 'validated-pool.json'));
     }
     async readRaw() {
         try {
@@ -64,12 +92,18 @@ export class ValidatedPoolStore {
         this.cache = isValidFile(raw, evalSemanticsVersion) ? raw : freshFile(evalSemanticsVersion);
         return this.cache;
     }
-    async save() {
-        if (!this.cache)
-            return;
-        this.cache.updatedAt = new Date().toISOString();
+    async writeAtomic(file) {
         await mkdir(dirname(this.file), { recursive: true });
-        await writeFile(this.file, JSON.stringify(this.cache, null, 2));
+        const tmp = `${this.file}.${randomBytes(6).toString('hex')}.tmp`;
+        await writeFile(tmp, JSON.stringify(file, null, 2));
+        try {
+            await rename(tmp, this.file); // POSIX rename is atomic
+        }
+        catch (err) {
+            // Best-effort tempfile cleanup — don't mask the original error.
+            await unlink(tmp).catch(() => undefined);
+            throw err;
+        }
     }
     /** The set of instance ids known scorable for `evalSemanticsVersion`, or
      *  `null` if there is no validation data for this semantics version (the
@@ -94,27 +128,45 @@ export class ValidatedPoolStore {
         return f.entries[instanceId] ?? null;
     }
     async record(instanceId, entry, evalSemanticsVersion) {
-        const f = await this.loadForWrite(evalSemanticsVersion);
-        f.entries[instanceId] = entry;
-        await this.save();
+        return withWriteLock(this.file, async () => {
+            // Reload from disk so a concurrent write isn't lost. The in-memory cache
+            // is invalidated; the next read re-loads.
+            this.cache = null;
+            this.scorableIdsCache = null;
+            const raw = await this.readRaw();
+            const file = isValidFile(raw, evalSemanticsVersion) ? raw : freshFile(evalSemanticsVersion);
+            file.entries[instanceId] = entry;
+            file.updatedAt = new Date().toISOString();
+            await this.writeAtomic(file);
+            this.cache = file;
+        });
     }
 }
 /**
- * Restrict the generator's posting pool to instances we can actually score.
- * With validation data (`scorableIds` non-null): keep only the scorable set.
- * Without it: fall back to Python-only instances — the conservative floor our
- * pytest `test_cmd` override supports — and the caller should warn that the
- * full gate (`jinn solver-nets validate-pool swe-rebench-v2`) hasn't been run.
+ * Restrict the generator's posting pool.
+ *
+ * Required mode (default for launched/public generators): only admitted
+ * scorable instances are eligible. Absent or stale admission data → empty
+ * pool. The generator is expected to surface a startup warning instructing
+ * the operator to run `jinn solver-nets validate-pool`.
+ *
+ * Python-floor mode (local/dev opt-in): if admission data is present, use
+ * it; otherwise fall back to Python-only instances (today's pre-fufn
+ * behaviour). Preserved so contributors can iterate without running a
+ * full validation pass.
  *
  * The `nebius/SWE-rebench-leaderboard` rows don't carry an explicit `language`
  * field (it's `undefined`/`null` on every row), so we also infer from the
  * patch file extensions — mirroring `inferLanguageFromPatch` in the solver-type.
  */
-export function filterToScorablePool(pool, scorableIds) {
+export function filterToScorablePool(pool, scorableIds, admissionMode = 'required') {
     if (scorableIds) {
         return { pool: pool.filter((t) => scorableIds.has(t.instance_id)), mode: 'validated' };
     }
-    return { pool: pool.filter(isPythonInstance), mode: 'python-floor' };
+    if (admissionMode === 'python-floor') {
+        return { pool: pool.filter(isPythonInstance), mode: 'python-floor' };
+    }
+    return { pool: [], mode: 'admission-required-no-data' };
 }
 function isPythonInstance(task) {
     if (task.language === 'python')
@@ -130,6 +182,15 @@ function looksPython(patch) {
     // Match `--- a/<p>` / `+++ b/<p>` / `diff --git a/<p>` ending in .py
     return /(?:^|\n)(?:---|\+\+\+|diff --git) [ab]\/\S+\.py(?:\s|$)/.test(patch);
 }
+const defaultCommandRunner = (bin, args, opts) => new Promise((resolve, reject) => {
+    const child = spawn(bin, args, { ...(opts ?? {}), stdio: ['ignore', 'pipe', 'pipe'] });
+    let stdout = '';
+    let stderr = '';
+    child.stdout?.on('data', (d) => { stdout += d.toString(); });
+    child.stderr?.on('data', (d) => { stderr += d.toString(); });
+    child.on('error', reject);
+    child.on('close', (code) => resolve({ exitCode: code ?? 1, stdout, stderr }));
+});
 function nameOf(err) {
     return typeof err === 'object' && err !== null && typeof err.name === 'string'
         ? err.name : '';
@@ -145,7 +206,10 @@ function reasonOf(err) {
  */
 export async function validatePoolInstances(pool, deps, opts = {}) {
     const log = deps.log ?? (() => { });
+    const runner = deps.commandRunner ?? defaultCommandRunner;
     const summary = { checked: 0, scorable: 0, unscorable: 0, skipped: 0 };
+    // Resolve the upstream eval commit once per run — it doesn't change mid-run.
+    const upstreamEvalCommit = await resolveUpstreamEvalCommit(deps.upstreamRepoDir, runner);
     for (const task of pool) {
         if (opts.limit != null && summary.checked >= opts.limit)
             break;
@@ -168,9 +232,29 @@ export async function validatePoolInstances(pool, deps, opts = {}) {
             continue;
         }
         log(`[validate-pool] ${task.instance_id} …`);
+        let row;
+        let rowHash;
         let entry;
         try {
-            const row = await deps.fetcher.fetchTaskRow({ hf_dataset: task.hf_dataset, hf_split: task.hf_split, instance_id: task.instance_id });
+            row = await deps.fetcher.fetchTaskRow({ hf_dataset: task.hf_dataset, hf_split: task.hf_split, instance_id: task.instance_id });
+            rowHash = computeRowHash({
+                hf_dataset: task.hf_dataset,
+                hf_split: task.hf_split,
+                instance_id: task.instance_id,
+                repo: task.repo ?? row.repo,
+                // PoolTask.base_commit is optional in the schema but in practice is always
+                // present for SWE-rebench leaderboard rows. Falling back to the 40-hex zero
+                // sentinel matches what the task generator stamps on-chain for rows that lack
+                // a base_commit, ensuring the stored rowHash is byte-identical to the hash
+                // recheckSubstrate recomputes at verdict time from the Zod-parsed task.
+                base_commit: task.base_commit ?? '0000000000000000000000000000000000000000',
+                image_name: row.image_name,
+                patch: task.patch,
+                test_patch: row.test_patch ?? task.test_patch,
+                install_config: { ...row.install_config, install: row.install_config.install ?? [] },
+                FAIL_TO_PASS: row.FAIL_TO_PASS,
+                PASS_TO_PASS: row.PASS_TO_PASS,
+            });
             const res = await deps.runner.runEval({
                 instance_id: task.instance_id,
                 repo: task.repo ?? row.repo,
@@ -183,15 +267,40 @@ export async function validatePoolInstances(pool, deps, opts = {}) {
                 fail_to_pass: row.FAIL_TO_PASS,
                 pass_to_pass: row.PASS_TO_PASS,
             });
-            entry = res.passed_match
-                ? { scorable: true, reason: 'gold-patch-resolves', checkedAt: new Date().toISOString() }
-                : { scorable: false, reason: `gold-patch-not-resolved (f2p ${res.passed.length}, p2p_broke ${res.failed.length})`, checkedAt: new Date().toISOString() };
+            const checkedAt = new Date().toISOString();
+            // Resolve digest AFTER the eval ran — that's when the image is guaranteed
+            // to be present locally with its RepoDigests populated.
+            const imageDigest = await resolveImageDigest(row.image_name, runner);
+            const substrate = {
+                checkedAt,
+                rowHash,
+                imageName: row.image_name,
+                ...(imageDigest ? { imageDigest } : {}),
+                ...(upstreamEvalCommit ? { upstreamEvalCommit } : {}),
+            };
+            if (!imageDigest) {
+                // Every admission must carry a digest. No digest → not admissible.
+                entry = { scorable: false, reason: 'unresolvable-image-digest', ...substrate };
+            }
+            else if (res.passed_match) {
+                entry = { scorable: true, reason: 'gold-patch-resolves', ...substrate };
+            }
+            else {
+                entry = { scorable: false, reason: `gold-patch-not-resolved (f2p ${res.passed.length}, p2p_broke ${res.failed.length})`, ...substrate };
+            }
         }
         catch (err) {
             const reason = nameOf(err) === 'EvalCouldNotGradeError'
                 ? `ungradeable:${reasonOf(err)}`
                 : `error:${(err instanceof Error ? err.message : String(err)).slice(0, 200)}`;
-            entry = { scorable: false, reason, checkedAt: new Date().toISOString() };
+            entry = {
+                scorable: false,
+                reason,
+                checkedAt: new Date().toISOString(),
+                ...(rowHash ? { rowHash } : {}),
+                ...(row ? { imageName: row.image_name } : {}),
+                ...(upstreamEvalCommit ? { upstreamEvalCommit } : {}),
+            };
         }
         await deps.store.record(task.instance_id, entry, deps.semanticsVersion);
         summary.checked += 1;

package/dist/solver-types/_swe-rebench-v2-validated-pool.js.map

@@ -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,kBAAkB,CAAC;AACpE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAI1C;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,CAAC;AAE1C,MAAM,cAAc,GAAG,kCAA2C,CAAC;AAgBnE,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,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC;IACzD,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,IAAI;QAChB,IAAI,CAAC,IAAI,CAAC,KAAK;YAAE,OAAO;QACxB,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAChD,MAAM,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACrD,MAAM,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAClE,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,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,oBAAoB,CAAC,CAAC;QACxD,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC;QAC9B,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC;IACpB,CAAC;CACF;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAgB,EAChB,WAA+B;IAE/B,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,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;AACvE,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;AAiBD,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,OAAO,GAAwB,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC5F,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,KAAyB,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,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;YACrI,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,KAAK,GAAG,GAAG,CAAC,YAAY;gBACtB,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE;gBACxF,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,gCAAgC,GAAG,CAAC,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;QAC7J,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,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;QAC3E,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"}
+{"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"}

package/dist/solver-types/swe-rebench-v2-auto.d.ts

@@ -7,10 +7,16 @@
  */
 import type { PoolTask } from './_swe-rebench-v2-pool.js';
 import type { TaskCounters } from './_swe-rebench-v2-state.js';
+import type { AdmissionMode } from './_swe-rebench-v2-validated-pool.js';
 export interface GeneratorConfig {
     N_target_successes: number;
     N_max_postings_per_task: number;
     cooldown_ms: number;
+    /** Controls pool filtering before posting. 'required' (default) blocks if no
+     *  validation data exists; 'python-floor' falls back to Python-only subset.
+     *  Set to 'python-floor' for local dev before running `jinn solver-nets
+     *  validate-pool swe-rebench-v2 --seed-positive`. */
+    admissionMode?: AdmissionMode;
 }
 export declare const DEFAULT_GENERATOR_CONFIG: GeneratorConfig;
 export interface SelectArgs {

package/dist/solver-types/swe-rebench-v2-auto.js.map

@@ -1 +1 @@
-{"version":3,"file":"swe-rebench-v2-auto.js","sourceRoot":"","sources":["../../src/solver-types/swe-rebench-v2-auto.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAWH,MAAM,CAAC,MAAM,wBAAwB,GAAoB;IACvD,kBAAkB,EAAE,CAAC;IACrB,uBAAuB,EAAE,EAAE;IAC3B,WAAW,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI;CACjC,CAAC;AAYF;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,0BAA0B,CAAC,IAAgB;IACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QACzC,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;QACjG,IAAI,CAAC,CAAC,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,kBAAkB;YAAE,OAAO,KAAK,CAAC;QACjE,IAAI,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,uBAAuB;YAAE,OAAO,KAAK,CAAC;QAClE,6EAA6E;QAC7E,IAAI,CAAC,CAAC,cAAc,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW;YAAE,OAAO,KAAK,CAAC;QAChG,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IACH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE5C,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,CAAC,CAAC,CAAC;AACvB,CAAC"}
+{"version":3,"file":"swe-rebench-v2-auto.js","sourceRoot":"","sources":["../../src/solver-types/swe-rebench-v2-auto.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAiBH,MAAM,CAAC,MAAM,wBAAwB,GAAoB;IACvD,kBAAkB,EAAE,CAAC;IACrB,uBAAuB,EAAE,EAAE;IAC3B,WAAW,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI;CACjC,CAAC;AAYF;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,0BAA0B,CAAC,IAAgB;IACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QACzC,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;QACjG,IAAI,CAAC,CAAC,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,kBAAkB;YAAE,OAAO,KAAK,CAAC;QACjE,IAAI,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,uBAAuB;YAAE,OAAO,KAAK,CAAC;QAClE,6EAA6E;QAC7E,IAAI,CAAC,CAAC,cAAc,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW;YAAE,OAAO,KAAK,CAAC;QAChG,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IACH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE5C,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,CAAC,CAAC,CAAC;AACvB,CAAC"}

package/dist/solver-types/swe-rebench-v2.d.ts

@@ -63,6 +63,7 @@ export interface SweRebenchV2GeneratorStateSnapshot {
 export type SweRebenchV2GeneratorTick = TaskGenerator & {
     getState: () => SweRebenchV2GeneratorStateSnapshot;
 };
+export declare function defaultStateDir(): string;
 /**
  * Load the full historical SWE-rebench v2 pool from the HF datasets-server.
  * Throws if the splits listing is empty or unreachable. Shared by the

package/dist/solver-types/swe-rebench-v2.js

@@ -24,7 +24,7 @@ const CONTRACT_ID = 'swe-rebench-v2';
 const CONTRACT_VERSION = 'v1';
 /** How long the pool is cached before a full refresh (24 h). */
 const POOL_REFRESH_MS = 24 * 60 * 60 * 1000;
-function defaultStateDir() {
+export function defaultStateDir() {
     return join(process.env['HOME'] ?? homedir(), '.jinn-client', 'swe-rebench-v2');
 }
 /**
@@ -57,16 +57,20 @@ function positiveInt(value, fallback) {
 function nonNegativeInt(value, fallback) {
     return typeof value === 'number' && Number.isInteger(value) && value >= 0 ? value : fallback;
 }
+const DEFAULT_ADMISSION_MODE = 'required';
 function normalizeGeneratorConfig(raw) {
     const cfg = typeof raw === 'object' && raw !== null
         ? raw
         : {};
     const N_target_successes = positiveInt(cfg['N_target_successes'], DEFAULT_GENERATOR_CONFIG.N_target_successes);
     const N_max_postings_per_task = Math.max(N_target_successes, positiveInt(cfg['N_max_postings_per_task'], DEFAULT_GENERATOR_CONFIG.N_max_postings_per_task));
+    const rawMode = cfg['admissionMode'];
+    const admissionMode = rawMode === 'python-floor' ? 'python-floor' : DEFAULT_ADMISSION_MODE;
     return {
         N_target_successes,
         N_max_postings_per_task,
         cooldown_ms: nonNegativeInt(cfg['cooldown_ms'], DEFAULT_GENERATOR_CONFIG.cooldown_ms),
+        admissionMode,
     };
 }
 function inferLanguageFromPatch(patch) {
@@ -214,14 +218,23 @@ function makeSweRebenchV2Generator(config) {
             return null;
         }
         lastPollAt = new Date(now).toISOString();
-        // Restrict to instances we can actually score (validated gold-patch pool),
-        // or — absent validation data — to Python instances (the floor our pytest
-        // test_cmd override supports). See jinn-mono-uy6v.9.
+        // Restrict to instances we can actually score (validated gold-patch pool).
+        // In required mode (default): absent or stale admission data → empty pool,
+        // emit a startup warning. In python-floor mode (local/dev opt-in): fall
+        // back to Python-only instances when no validation data exists.
+        // See jinn-mono-uy6v.9.
         const scorableIds = await validatedPoolStore.getScorableIds(EVAL_SEMANTICS_VERSION);
-        const { pool: eligiblePool, mode: poolMode } = filterToScorablePool(pool, scorableIds);
+        const { pool: eligiblePool, mode: poolMode } = filterToScorablePool(pool, scorableIds, genConfig.admissionMode);
+        if (poolMode === 'admission-required-no-data' && !floorWarned) {
+            floorWarned = true;
+            console.warn(`[swe-rebench-v2-gen] no pool-validation data — admissionMode='required' is fail-closed.\n` +
+                `  Run:  jinn solver-nets validate-pool swe-rebench-v2 --seed-positive --known-bad\n` +
+                `  Expected duration: ~1-2h (one gold-patch eval per seed instance).\n` +
+                `  For local development, set solverNets.<name>.taskGenerator.admissionMode = "python-floor".`);
+        }
         if (poolMode === 'python-floor' && !floorWarned) {
             floorWarned = true;
-            console.warn(`[swe-rebench-v2-gen] no pool-validation data — restricting to ${eligiblePool.length} Python instance(s) of ${pool.length}; run \`jinn solver-nets validate-pool swe-rebench-v2\` to validate the full pool.`);
+            console.warn(`[swe-rebench-v2-gen] admissionMode='python-floor' (local/dev): restricting to ${eligiblePool.length} Python instance(s) of ${pool.length}; run \`jinn solver-nets validate-pool swe-rebench-v2 --seed-positive\` to advance to required mode.`);
         }
         if (eligiblePool.length === 0) {
             lastPollSummary = { poolSize: 0, posted: 0, skipped: 0 };

package/dist/solver-types/swe-rebench-v2.js.map

@@ -1 +1 @@
-{"version":3,"file":"swe-rebench-v2.js","sourceRoot":"","sources":["../../src/solver-types/swe-rebench-v2.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,sBAAsB,EAAE,MAAM,6CAA6C,CAAC;AAIrF,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAGjD,OAAO,EACL,0BAA0B,EAC1B,wBAAwB,GAEzB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,qBAAqB,GAEtB,MAAM,2BAA2B,CAAC;AAEnC,MAAM,CAAC,MAAM,UAAU,GAAG,gCAAgC,CAAC;AAC3D,MAAM,WAAW,GAAG,mBAAmB,CAAC;AACxC,MAAM,WAAW,GAAG,gBAAgB,CAAC;AACrC,MAAM,gBAAgB,GAAG,IAAI,CAAC;AAE9B,gEAAgE;AAChE,MAAM,eAAe,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAuD5C,SAAS,eAAe;IACtB,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,EAAE,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAC;AAClF,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB;IACxC,MAAM,SAAS,GAAG,yDAAyD,kBAAkB,CAAC,UAAU,CAAC,EAAE,CAAC;IAC5G,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,SAAS,CAAC,CAAC;IACxC,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAChF,MAAM,IAAI,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAA0C,CAAC;IAC9E,MAAM,MAAM,GAAG,qBAAqB,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,+EAA+E,CAAC,CAAC;IACnG,CAAC;IACD,OAAO,mBAAmB,CAAC;QACzB,MAAM;QACN,UAAU,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;KAChF,CAAC,CAAC;AACL,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,iCAAiC,CAAC,QAAiB;IACjE,OAAO,IAAI,kBAAkB,CAAC,EAAE,QAAQ,EAAE,QAAQ,IAAI,eAAe,EAAE,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,QAAgB;IACnD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC9F,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,QAAgB;IACtD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC/F,CAAC;AAED,SAAS,wBAAwB,CAAC,GAAY;IAC5C,MAAM,GAAG,GAAG,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QACjD,CAAC,CAAC,GAA8B;QAChC,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,kBAAkB,GAAG,WAAW,CACpC,GAAG,CAAC,oBAAoB,CAAC,EACzB,wBAAwB,CAAC,kBAAkB,CAC5C,CAAC;IACF,MAAM,uBAAuB,GAAG,IAAI,CAAC,GAAG,CACtC,kBAAkB,EAClB,WAAW,CACT,GAAG,CAAC,yBAAyB,CAAC,EAC9B,wBAAwB,CAAC,uBAAuB,CACjD,CACF,CAAC;IACF,OAAO;QACL,kBAAkB;QAClB,uBAAuB;QACvB,WAAW,EAAE,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,wBAAwB,CAAC,WAAW,CAAC;KACtF,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAyB;IACvD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,WAAW,GAAG,KAAK,CAAC,QAAQ,CAAC,wCAAwC,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,GAAG,CAAC,cAAc,CAAC;QAAE,OAAO,YAAY,CAAC;IAC7C,IAAI,GAAG,CAAC,sBAAsB,CAAC;QAAE,OAAO,YAAY,CAAC;IACrD,IAAI,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,GAAG,CAAC,6BAA6B,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,IAAI,GAAG,CAAC,WAAW,CAAC;QAAE,OAAO,GAAG,CAAC;IACjC,IAAI,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,MAAM,CAAC;IACnC,IAAI,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,MAAM,CAAC;IACjC,IAAI,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,MAAM,CAAC;IACnC,IAAI,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IACnC,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAc;IAEd,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC3G,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpE,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;AACjD,CAAC;AAED,SAAS,kBAAkB,CAAC,UAAkB;IAC5C,MAAM,CAAC,GAAG,EAAE,YAAY,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY;QAAE,OAAO,iBAAiB,CAAC;IACpD,MAAM,OAAO,GAAG,YAAY,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;IACzE,OAAO,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,4BAA4B;IACnC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,QAAQ,EAAE,mBAAmB,CAAC;IAC/C,OAAO;QACL,IAAI,EAAE,QAAQ,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU;QAC5D,SAAS,EAAE,QAAQ,EAAE,SAAS,IAAI,EAAE;QACpC,oBAAoB,EAAE,QAAQ,EAAE,oBAAoB,IAAI,CAAC;QACzD,oBAAoB,EAAE,QAAQ,EAAE,oBAAoB,IAAI,EAAE,GAAG,EAAE;KAChE,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,GAAY;IACxC,MAAM,QAAQ,GAAG,4BAA4B,EAAE,CAAC;IAChD,MAAM,GAAG,GAAG,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QACjD,CAAC,CAAC,GAAgC;QAClC,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,MAAM,GAAG,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ,IAAI,GAAG,CAAC,WAAW,KAAK,IAAI;QAC5E,CAAC,CAAC,GAAG,CAAC,WAAsC;QAC5C,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACpE,MAAM,oBAAoB,GAAG,IAAI,CAAC,GAAG,CACnC,SAAS,EACT,WAAW,CAAC,MAAM,CAAC,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB,CAAC,CACxE,CAAC;IACF,OAAO;QACL,GAAG,QAAQ;QACX,SAAS;QACT,oBAAoB;QACpB,oBAAoB,EAAE,WAAW,CAC/B,MAAM,CAAC,oBAAoB,EAC3B,QAAQ,CAAC,oBAAoB,CAC9B;KACF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,aAAa,CAC1B,IAAU,EACV,IAGC;IAED,IACE,CAAC,IAAI,CAAC,oBAAoB;QAC1B,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ;QACvB,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW;QACzB,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAC7B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAW;QACtB,aAAa,EAAE,SAAS;QACxB,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,WAAW;QAC1C,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,WAAW;QAC1C,eAAe,EAAE,IAAI,CAAC,eAAe,IAAI,gBAAgB;QACzD,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;QAC/C,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,aAAa;QAChC,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,MAAM,EAAE,IAAI,CAAC,MAAO;QACpB,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE;QACrB,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,EAAE;QACnC,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,oBAAoB,CAAC,SAAS,CAAC;QAChE,OAAO,EAAE;YACP,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW;YACrC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ;SAChC;QACD,SAAS,EAAE,IAAI,CAAC,SAAS;KAC1B,CAAC;IACF,OAAO;QACL,GAAG,IAAI;QACP,UAAU,EAAE,MAAM,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC;KACpE,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,yBAAyB,CAAC,MAA2C;IAC5E,MAAM,UAAU,GAAG,IAAI,mBAAmB,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC1E,MAAM,kBAAkB,GAAG,IAAI,kBAAkB,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IAEjF,IAAI,IAAI,GAAe,EAAE,CAAC;IAC1B,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,kBAAsC,CAAC;IAC3C,IAAI,UAA8B,CAAC;IACnC,IAAI,eAAsE,CAAC;IAC3E,IAAI,SAA0D,CAAC;IAC/D,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,oBAAwC,CAAC;IAE7C,KAAK,UAAU,WAAW;QACxB,IAAI,CAAC;YACH,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;YACpC,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC5B,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,sDAAsD;YACtD,SAAS,GAAG;gBACV,OAAO,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;gBACzD,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aAC7B,CAAC;YACF,OAAO,CAAC,IAAI,CACV,mDAAmD,IAAI,CAAC,MAAM,iBAAiB,EAC/E,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CACjD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,IAA0B,EAAE;QAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,MAAM,aAAa,GAAG,MAAM,CAAC,kBAAkB;YAC7C,CAAC,CAAC,MAAM,CAAC,kBAAkB,EAAE;YAC7B,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC;QAC3B,MAAM,SAAS,GAAG,wBAAwB,CAAC,aAAa,CAAC,CAAC;QAC1D,MAAM,WAAW,GAAG,oBAAoB,CAAC,aAAa,CAAC,CAAC;QAExD,iCAAiC;QACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,GAAG,YAAY,GAAG,eAAe,EAAE,CAAC;YAC9D,MAAM,WAAW,EAAE,CAAC;QACtB,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,eAAe,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;YACzD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,UAAU,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAEzC,2EAA2E;QAC3E,0EAA0E;QAC1E,qDAAqD;QACrD,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAAC,cAAc,CAAC,sBAAsB,CAAC,CAAC;QACpF,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,oBAAoB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACvF,IAAI,QAAQ,KAAK,cAAc,IAAI,CAAC,WAAW,EAAE,CAAC;YAChD,WAAW,GAAG,IAAI,CAAC;YACnB,OAAO,CAAC,IAAI,CACV,iEAAiE,YAAY,CAAC,MAAM,0BAA0B,IAAI,CAAC,MAAM,oFAAoF,CAC9M,CAAC;QACJ,CAAC;QACD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,eAAe,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;YACzD,SAAS,GAAG,SAAS,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,uCAAuC;QACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0E,CAAC;QACnG,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;QACjF,CAAC;QAED,MAAM,kBAAkB,GAAG,IAAI,CAAC,GAAG,CACjC,CAAC,EACD,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAC1D,CAAC;QACF,IAAI,kBAAkB,GAAG,CAAC,IAAI,GAAG,GAAG,kBAAkB,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;YAC/E,eAAe,GAAG,EAAE,QAAQ,EAAE,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC;YAC7F,SAAS,GAAG,SAAS,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,SAAS,GAAG,0BAA0B,CAAC;YAC3C,IAAI,EAAE,YAAY;YAClB,QAAQ;YACR,MAAM,EAAE,SAAS;YACjB,GAAG;YACH,kBAAkB;SACnB,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,eAAe,GAAG,EAAE,QAAQ,EAAE,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC;YAC7F,SAAS,GAAG,SAAS,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,qBAAqB;QACrB,MAAM,UAAU,CAAC,YAAY,CAAC,SAAS,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAC1D,kBAAkB,GAAG,SAAS,CAAC,QAAQ,CAAC;QACxC,WAAW,IAAI,CAAC,CAAC;QACjB,oBAAoB,GAAG,SAAS,CAAC,WAAW,CAAC;QAE7C,iBAAiB;QACjB,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,eAAe;QACxF,MAAM,UAAU,GAAG,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxD,MAAM,WAAW,GAAG,YAAY,GAAG,IAAI,CAAC;QAExC,MAAM,IAAI,GAAG,sBAAsB,CAAC,KAAK,CAAC;YACxC,aAAa,EAAE,mBAAmB;YAClC,WAAW,EAAE,SAAS,CAAC,WAAW;YAClC,IAAI,EAAE,SAAS,CAAC,IAAI,IAAI,kBAAkB,CAAC,SAAS,CAAC,WAAW,CAAC;YACjE,WAAW,EAAE,SAAS,CAAC,WAAW,IAAI,0CAA0C;YAChF,QAAQ,EAAE,iBAAiB,CAAC,SAAS,CAAC;YACtC,iBAAiB,EACf,SAAS,CAAC,iBAAiB,IAAI,4BAA4B,SAAS,CAAC,WAAW,EAAE;YACpF,SAAS,EAAE,SAAS,CAAC,SAAS,IAAI,EAAE;YACpC,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,aAAa,EAAE,YAAY;YAC3B,WAAW,EAAE,UAAU;SACxB,CAAC,CAAC;QAEH,MAAM,IAAI,GAAS;YACjB,EAAE,EAAE,UAAU,EAAE;YAChB,WAAW,EAAE,mBAAmB,SAAS,CAAC,WAAW,EAAE;YACvD,UAAU,EAAE,WAAW;YACvB,UAAU,EAAE,WAAW;YACvB,eAAe,EAAE,gBAAgB;YACjC,GAAG,CAAC,MAAM,CAAC,oBAAoB;gBAC7B,CAAC,CAAC,EAAE,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,EAAE;gBACvD,CAAC,CAAC,EAAE,CAAC;YACP,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE;gBACN,OAAO,EAAE,GAAG;gBACZ,KAAK,EAAE,WAAW;aACnB;YACD,WAAW;YACX,IAAI;YACJ,WAAW,EAAE;gBACX,UAAU,EAAE,SAAS,CAAC,UAAU;gBAChC,QAAQ,EAAE,SAAS,CAAC,QAAQ;gBAC5B,WAAW,EAAE,SAAS,CAAC,WAAW;gBAClC,eAAe,EAAE,SAAS;aAC3B;SACF,CAAC;QAEF,OAAO,CAAC,GAAG,CAAC,gCAAgC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;QACrE,eAAe,GAAG,EAAE,QAAQ,EAAE,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC3E,SAAS,GAAG,SAAS,CAAC;QACtB,OAAO,aAAa,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;IAC1E,CAAC,CAAC;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE;QACzB,QAAQ;YACN,MAAM,UAAU,GAAG,wBAAwB,CACzC,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,eAAe,CACjF,CAAC;YACF,OAAO;gBACL,IAAI,EAAE,gBAAgB;gBACtB,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,WAAW;gBACX,oBAAoB;gBACpB,MAAM,EAAE,UAAU;aACnB,CAAC;QACJ,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAiD;IACxE,UAAU,EAAE,mBAAmB;IAC/B,KAAK,CAAC,SAAS,CAAC,GAAG;QACjB,MAAM,IAAI,GAAG,sBAAsB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/C,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,IAAI,EAAE,IAAI;YACV,WAAW,EAAE,EAAE;SAChB,CAAC;IACJ,CAAC;IACD,cAAc,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;IAC7D,oBAAoB,EAAE,CAAC,GAAG,EAAE,EAAE;QAC5B,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAChD,sDAAsD;QACtD,IAAI,OAAO,CAAC,GAAG,CAAC,sCAAsC,CAAC,KAAK,GAAG;YAAE,OAAO,SAAS,CAAC;QAClF,MAAM,QAAQ,GACZ,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC;YAC5C,eAAe,EAAE,CAAC;QACpB,OAAO,EAAE,QAAQ,EAAE,CAAC;IACtB,CAAC;IACD,EAAE,EAAE;QACF,WAAW,EAAE,uDAAuD;QACpE,QAAQ,EAAE,MAAM;KACjB;CACF,CAAC;AAEF,MAAM,UAAU,0CAA0C,CACxD,IAAoD;IAEpD,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC;IACzD,MAAM,QAAQ,GACZ,YAAY,CAAC,QAAQ;QACrB,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC;QAC5C,eAAe,EAAE,CAAC;IAEpB,MAAM,SAAS,GAAG,yBAAyB,CAAC;QAC1C,QAAQ;QACR,kBAAkB,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO;QAC3C,oBAAoB,EAAE,SAAS,CAAC,OAAO,CAAC,WAAW;QACnD,OAAO,EAAE;YACP,QAAQ,EAAE,YAAY,CAAC,QAAQ;YAC/B,WAAW,EAAE,YAAY,CAAC,WAAW;YACrC,eAAe,EAAE,YAAY,CAAC,eAAe;SAC9C;KACF,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,KAAK,IAAmC,EAAE;QAC1D,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC;QACjC,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC;QAC9C,IAAI,CAAC,MAAM,CAAC,gBAAgB;YAAE,OAAO,IAAI,CAAC;QAC1C,OAAO,SAAS,EAAE,CAAC;IACrB,CAAC,CAAC;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE;QAC9B,QAAQ;YACN,OAAO,SAAS,CAAC,QAAQ,EAAE,CAAC;QAC9B,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,QAAiB;IACzD,MAAM,GAAG,GACP,QAAQ;QACR,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC;QAC5C,eAAe,EAAE,CAAC;IACpB,OAAO,IAAI,mBAAmB,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;AACpD,CAAC"}
+{"version":3,"file":"swe-rebench-v2.js","sourceRoot":"","sources":["../../src/solver-types/swe-rebench-v2.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,sBAAsB,EAAE,MAAM,6CAA6C,CAAC;AAIrF,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAGjD,OAAO,EACL,0BAA0B,EAC1B,wBAAwB,GAEzB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,sBAAsB,GAEvB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACL,mBAAmB,EACnB,YAAY,EACZ,qBAAqB,GAEtB,MAAM,2BAA2B,CAAC;AAEnC,MAAM,CAAC,MAAM,UAAU,GAAG,gCAAgC,CAAC;AAC3D,MAAM,WAAW,GAAG,mBAAmB,CAAC;AACxC,MAAM,WAAW,GAAG,gBAAgB,CAAC;AACrC,MAAM,gBAAgB,GAAG,IAAI,CAAC;AAE9B,gEAAgE;AAChE,MAAM,eAAe,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAuD5C,MAAM,UAAU,eAAe;IAC7B,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,EAAE,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAC;AAClF,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB;IACxC,MAAM,SAAS,GAAG,yDAAyD,kBAAkB,CAAC,UAAU,CAAC,EAAE,CAAC;IAC5G,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,SAAS,CAAC,CAAC;IACxC,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAChF,MAAM,IAAI,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAA0C,CAAC;IAC9E,MAAM,MAAM,GAAG,qBAAqB,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,+EAA+E,CAAC,CAAC;IACnG,CAAC;IACD,OAAO,mBAAmB,CAAC;QACzB,MAAM;QACN,UAAU,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;KAChF,CAAC,CAAC;AACL,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,iCAAiC,CAAC,QAAiB;IACjE,OAAO,IAAI,kBAAkB,CAAC,EAAE,QAAQ,EAAE,QAAQ,IAAI,eAAe,EAAE,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,QAAgB;IACnD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC9F,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,QAAgB;IACtD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC/F,CAAC;AAED,MAAM,sBAAsB,GAAkB,UAAU,CAAC;AAEzD,SAAS,wBAAwB,CAAC,GAAY;IAC5C,MAAM,GAAG,GAAG,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QACjD,CAAC,CAAC,GAA8B;QAChC,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,kBAAkB,GAAG,WAAW,CACpC,GAAG,CAAC,oBAAoB,CAAC,EACzB,wBAAwB,CAAC,kBAAkB,CAC5C,CAAC;IACF,MAAM,uBAAuB,GAAG,IAAI,CAAC,GAAG,CACtC,kBAAkB,EAClB,WAAW,CACT,GAAG,CAAC,yBAAyB,CAAC,EAC9B,wBAAwB,CAAC,uBAAuB,CACjD,CACF,CAAC;IACF,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC,CAAC;IACrC,MAAM,aAAa,GACjB,OAAO,KAAK,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,sBAAsB,CAAC;IACvE,OAAO;QACL,kBAAkB;QAClB,uBAAuB;QACvB,WAAW,EAAE,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,wBAAwB,CAAC,WAAW,CAAC;QACrF,aAAa;KACd,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAyB;IACvD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,WAAW,GAAG,KAAK,CAAC,QAAQ,CAAC,wCAAwC,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,GAAG,CAAC,cAAc,CAAC;QAAE,OAAO,YAAY,CAAC;IAC7C,IAAI,GAAG,CAAC,sBAAsB,CAAC;QAAE,OAAO,YAAY,CAAC;IACrD,IAAI,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,GAAG,CAAC,6BAA6B,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,IAAI,GAAG,CAAC,WAAW,CAAC;QAAE,OAAO,GAAG,CAAC;IACjC,IAAI,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,MAAM,CAAC;IACnC,IAAI,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,MAAM,CAAC;IACjC,IAAI,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,MAAM,CAAC;IACnC,IAAI,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IACnC,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CACxB,IAAc;IAEd,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC3G,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpE,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;AACjD,CAAC;AAED,SAAS,kBAAkB,CAAC,UAAkB;IAC5C,MAAM,CAAC,GAAG,EAAE,YAAY,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY;QAAE,OAAO,iBAAiB,CAAC;IACpD,MAAM,OAAO,GAAG,YAAY,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;IACzE,OAAO,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,4BAA4B;IACnC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,QAAQ,EAAE,mBAAmB,CAAC;IAC/C,OAAO;QACL,IAAI,EAAE,QAAQ,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU;QAC5D,SAAS,EAAE,QAAQ,EAAE,SAAS,IAAI,EAAE;QACpC,oBAAoB,EAAE,QAAQ,EAAE,oBAAoB,IAAI,CAAC;QACzD,oBAAoB,EAAE,QAAQ,EAAE,oBAAoB,IAAI,EAAE,GAAG,EAAE;KAChE,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,GAAY;IACxC,MAAM,QAAQ,GAAG,4BAA4B,EAAE,CAAC;IAChD,MAAM,GAAG,GAAG,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QACjD,CAAC,CAAC,GAAgC;QAClC,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,MAAM,GAAG,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ,IAAI,GAAG,CAAC,WAAW,KAAK,IAAI;QAC5E,CAAC,CAAC,GAAG,CAAC,WAAsC;QAC5C,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACpE,MAAM,oBAAoB,GAAG,IAAI,CAAC,GAAG,CACnC,SAAS,EACT,WAAW,CAAC,MAAM,CAAC,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB,CAAC,CACxE,CAAC;IACF,OAAO;QACL,GAAG,QAAQ;QACX,SAAS;QACT,oBAAoB;QACpB,oBAAoB,EAAE,WAAW,CAC/B,MAAM,CAAC,oBAAoB,EAC3B,QAAQ,CAAC,oBAAoB,CAC9B;KACF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,aAAa,CAC1B,IAAU,EACV,IAGC;IAED,IACE,CAAC,IAAI,CAAC,oBAAoB;QAC1B,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ;QACvB,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW;QACzB,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,EAC7B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAW;QACtB,aAAa,EAAE,SAAS;QACxB,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,WAAW;QAC1C,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,WAAW;QAC1C,eAAe,EAAE,IAAI,CAAC,eAAe,IAAI,gBAAgB;QACzD,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;QAC/C,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,aAAa;QAChC,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,MAAM,EAAE,IAAI,CAAC,MAAO;QACpB,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE;QACrB,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,EAAE;QACnC,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,oBAAoB,CAAC,SAAS,CAAC;QAChE,OAAO,EAAE;YACP,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW;YACrC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ;SAChC;QACD,SAAS,EAAE,IAAI,CAAC,SAAS;KAC1B,CAAC;IACF,OAAO;QACL,GAAG,IAAI;QACP,UAAU,EAAE,MAAM,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC;KACpE,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,yBAAyB,CAAC,MAA2C;IAC5E,MAAM,UAAU,GAAG,IAAI,mBAAmB,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC1E,MAAM,kBAAkB,GAAG,IAAI,kBAAkB,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IAEjF,IAAI,IAAI,GAAe,EAAE,CAAC;IAC1B,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,kBAAsC,CAAC;IAC3C,IAAI,UAA8B,CAAC;IACnC,IAAI,eAAsE,CAAC;IAC3E,IAAI,SAA0D,CAAC;IAC/D,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,oBAAwC,CAAC;IAE7C,KAAK,UAAU,WAAW;QACxB,IAAI,CAAC;YACH,IAAI,GAAG,MAAM,oBAAoB,EAAE,CAAC;YACpC,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC5B,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,sDAAsD;YACtD,SAAS,GAAG;gBACV,OAAO,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;gBACzD,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aAC7B,CAAC;YACF,OAAO,CAAC,IAAI,CACV,mDAAmD,IAAI,CAAC,MAAM,iBAAiB,EAC/E,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CACjD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,IAA0B,EAAE;QAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,MAAM,aAAa,GAAG,MAAM,CAAC,kBAAkB;YAC7C,CAAC,CAAC,MAAM,CAAC,kBAAkB,EAAE;YAC7B,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC;QAC3B,MAAM,SAAS,GAAG,wBAAwB,CAAC,aAAa,CAAC,CAAC;QAC1D,MAAM,WAAW,GAAG,oBAAoB,CAAC,aAAa,CAAC,CAAC;QAExD,iCAAiC;QACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,GAAG,YAAY,GAAG,eAAe,EAAE,CAAC;YAC9D,MAAM,WAAW,EAAE,CAAC;QACtB,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,eAAe,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;YACzD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,UAAU,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAEzC,2EAA2E;QAC3E,2EAA2E;QAC3E,wEAAwE;QACxE,gEAAgE;QAChE,wBAAwB;QACxB,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAAC,cAAc,CAAC,sBAAsB,CAAC,CAAC;QACpF,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,oBAAoB,CACjE,IAAI,EACJ,WAAW,EACX,SAAS,CAAC,aAAa,CACxB,CAAC;QACF,IAAI,QAAQ,KAAK,4BAA4B,IAAI,CAAC,WAAW,EAAE,CAAC;YAC9D,WAAW,GAAG,IAAI,CAAC;YACnB,OAAO,CAAC,IAAI,CACV,2FAA2F;gBAC3F,qFAAqF;gBACrF,uEAAuE;gBACvE,8FAA8F,CAC/F,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,KAAK,cAAc,IAAI,CAAC,WAAW,EAAE,CAAC;YAChD,WAAW,GAAG,IAAI,CAAC;YACnB,OAAO,CAAC,IAAI,CACV,iFAAiF,YAAY,CAAC,MAAM,0BAA0B,IAAI,CAAC,MAAM,sGAAsG,CAChP,CAAC;QACJ,CAAC;QACD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,eAAe,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;YACzD,SAAS,GAAG,SAAS,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,uCAAuC;QACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0E,CAAC;QACnG,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;QACjF,CAAC;QAED,MAAM,kBAAkB,GAAG,IAAI,CAAC,GAAG,CACjC,CAAC,EACD,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAC1D,CAAC;QACF,IAAI,kBAAkB,GAAG,CAAC,IAAI,GAAG,GAAG,kBAAkB,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;YAC/E,eAAe,GAAG,EAAE,QAAQ,EAAE,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC;YAC7F,SAAS,GAAG,SAAS,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,SAAS,GAAG,0BAA0B,CAAC;YAC3C,IAAI,EAAE,YAAY;YAClB,QAAQ;YACR,MAAM,EAAE,SAAS;YACjB,GAAG;YACH,kBAAkB;SACnB,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,eAAe,GAAG,EAAE,QAAQ,EAAE,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC;YAC7F,SAAS,GAAG,SAAS,CAAC;YACtB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,qBAAqB;QACrB,MAAM,UAAU,CAAC,YAAY,CAAC,SAAS,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAC1D,kBAAkB,GAAG,SAAS,CAAC,QAAQ,CAAC;QACxC,WAAW,IAAI,CAAC,CAAC;QACjB,oBAAoB,GAAG,SAAS,CAAC,WAAW,CAAC;QAE7C,iBAAiB;QACjB,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,eAAe;QACxF,MAAM,UAAU,GAAG,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxD,MAAM,WAAW,GAAG,YAAY,GAAG,IAAI,CAAC;QAExC,MAAM,IAAI,GAAG,sBAAsB,CAAC,KAAK,CAAC;YACxC,aAAa,EAAE,mBAAmB;YAClC,WAAW,EAAE,SAAS,CAAC,WAAW;YAClC,IAAI,EAAE,SAAS,CAAC,IAAI,IAAI,kBAAkB,CAAC,SAAS,CAAC,WAAW,CAAC;YACjE,WAAW,EAAE,SAAS,CAAC,WAAW,IAAI,0CAA0C;YAChF,QAAQ,EAAE,iBAAiB,CAAC,SAAS,CAAC;YACtC,iBAAiB,EACf,SAAS,CAAC,iBAAiB,IAAI,4BAA4B,SAAS,CAAC,WAAW,EAAE;YACpF,SAAS,EAAE,SAAS,CAAC,SAAS,IAAI,EAAE;YACpC,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,aAAa,EAAE,YAAY;YAC3B,WAAW,EAAE,UAAU;SACxB,CAAC,CAAC;QAEH,MAAM,IAAI,GAAS;YACjB,EAAE,EAAE,UAAU,EAAE;YAChB,WAAW,EAAE,mBAAmB,SAAS,CAAC,WAAW,EAAE;YACvD,UAAU,EAAE,WAAW;YACvB,UAAU,EAAE,WAAW;YACvB,eAAe,EAAE,gBAAgB;YACjC,GAAG,CAAC,MAAM,CAAC,oBAAoB;gBAC7B,CAAC,CAAC,EAAE,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,EAAE;gBACvD,CAAC,CAAC,EAAE,CAAC;YACP,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE;gBACN,OAAO,EAAE,GAAG;gBACZ,KAAK,EAAE,WAAW;aACnB;YACD,WAAW;YACX,IAAI;YACJ,WAAW,EAAE;gBACX,UAAU,EAAE,SAAS,CAAC,UAAU;gBAChC,QAAQ,EAAE,SAAS,CAAC,QAAQ;gBAC5B,WAAW,EAAE,SAAS,CAAC,WAAW;gBAClC,eAAe,EAAE,SAAS;aAC3B;SACF,CAAC;QAEF,OAAO,CAAC,GAAG,CAAC,gCAAgC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;QACrE,eAAe,GAAG,EAAE,QAAQ,EAAE,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC3E,SAAS,GAAG,SAAS,CAAC;QACtB,OAAO,aAAa,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;IAC1E,CAAC,CAAC;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE;QACzB,QAAQ;YACN,MAAM,UAAU,GAAG,wBAAwB,CACzC,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,eAAe,CACjF,CAAC;YACF,OAAO;gBACL,IAAI,EAAE,gBAAgB;gBACtB,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,WAAW;gBACX,oBAAoB;gBACpB,MAAM,EAAE,UAAU;aACnB,CAAC;QACJ,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAiD;IACxE,UAAU,EAAE,mBAAmB;IAC/B,KAAK,CAAC,SAAS,CAAC,GAAG;QACjB,MAAM,IAAI,GAAG,sBAAsB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/C,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,IAAI,EAAE,IAAI;YACV,WAAW,EAAE,EAAE;SAChB,CAAC;IACJ,CAAC;IACD,cAAc,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;IAC7D,oBAAoB,EAAE,CAAC,GAAG,EAAE,EAAE;QAC5B,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAChD,sDAAsD;QACtD,IAAI,OAAO,CAAC,GAAG,CAAC,sCAAsC,CAAC,KAAK,GAAG;YAAE,OAAO,SAAS,CAAC;QAClF,MAAM,QAAQ,GACZ,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC;YAC5C,eAAe,EAAE,CAAC;QACpB,OAAO,EAAE,QAAQ,EAAE,CAAC;IACtB,CAAC;IACD,EAAE,EAAE;QACF,WAAW,EAAE,uDAAuD;QACpE,QAAQ,EAAE,MAAM;KACjB;CACF,CAAC;AAEF,MAAM,UAAU,0CAA0C,CACxD,IAAoD;IAEpD,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,YAAY,GAAG,EAAE,EAAE,GAAG,IAAI,CAAC;IACzD,MAAM,QAAQ,GACZ,YAAY,CAAC,QAAQ;QACrB,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC;QAC5C,eAAe,EAAE,CAAC;IAEpB,MAAM,SAAS,GAAG,yBAAyB,CAAC;QAC1C,QAAQ;QACR,kBAAkB,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO;QAC3C,oBAAoB,EAAE,SAAS,CAAC,OAAO,CAAC,WAAW;QACnD,OAAO,EAAE;YACP,QAAQ,EAAE,YAAY,CAAC,QAAQ;YAC/B,WAAW,EAAE,YAAY,CAAC,WAAW;YACrC,eAAe,EAAE,YAAY,CAAC,eAAe;SAC9C;KACF,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,KAAK,IAAmC,EAAE;QAC1D,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC;QACjC,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC;QAC9C,IAAI,CAAC,MAAM,CAAC,gBAAgB;YAAE,OAAO,IAAI,CAAC;QAC1C,OAAO,SAAS,EAAE,CAAC;IACrB,CAAC,CAAC;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE;QAC9B,QAAQ;YACN,OAAO,SAAS,CAAC,QAAQ,EAAE,CAAC;QAC9B,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,QAAiB;IACzD,MAAM,GAAG,GACP,QAAQ;QACR,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC;QAC5C,eAAe,EAAE,CAAC;IACpB,OAAO,IAAI,mBAAmB,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;AACpD,CAAC"}

package/dist/store/store.js

@@ -2,6 +2,7 @@ import Database from 'better-sqlite3';
 import { mkdirSync } from 'node:fs';
 import { dirname } from 'node:path';
 import { TASK_RUNS_SCHEMA } from '../harnesses/engine/persistence.js';
+import { normalizeEnvelopeRole } from '../types/envelope.js';
 function readClaimPolicyMaxClaims(taskPayload) {
     if (!taskPayload)
         return undefined;
@@ -1282,7 +1283,7 @@ export class Store {
                 envelopeSha256: p.envelopeSha256,
                 signatureHash: p.signatureHash,
                 solverType: p.solverType,
-                role: p.role,
+                role: normalizeEnvelopeRole(p.role),
                 taskCid: p.taskCid,
                 taskId: p.taskId,
                 requestId: p.requestId,
@@ -1332,8 +1333,15 @@ export class Store {
             params['solverType'] = query.solverType;
         }
         if (query.role) {
-            conditions.push('role = @role');
-            params['role'] = query.role;
+            const role = normalizeEnvelopeRole(query.role);
+            if (role === 'solution') {
+                conditions.push('(role = @role OR role = @legacyRole)');
+                params['legacyRole'] = 'restoration';
+            }
+            else {
+                conditions.push('role = @role');
+            }
+            params['role'] = role;
         }
         if (query.taskCid) {
             conditions.push('task_cid = @taskCid');
@@ -1407,7 +1415,7 @@ function rowToEnvelopeProjection(row) {
         envelopeSha256: row.envelope_sha256,
         signatureHash: row.signature_hash,
         solverType: row.solver_type,
-        role: row.role,
+        role: normalizeEnvelopeRole(row.role),
         taskCid: row.task_cid,
         taskId: row.task_id,
         requestId: row.request_id,