@jinn-network/client 0.1.6 → 0.1.7-canary.17a8ecb8

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

@@ -20,10 +20,10 @@
  * Refs: jinn-mono-uy6v.9.
  */
 import { readFile, writeFile, mkdir, stat, rename, unlink } from 'node:fs/promises';
-import { randomBytes } from 'node:crypto';
-import { spawn } from 'node:child_process';
+import { createHash, randomBytes } from 'node:crypto';
 import { resolve as resolvePath, dirname, join } from 'node:path';
-import { computeRowHash, resolveImageDigest, resolveUpstreamEvalCommit } from './_swe-rebench-v2-substrate.js';
+import { computeRowHash, defaultCommandRunner, resolveImageDigest, resolveUpstreamEvalCommit, } from './_swe-rebench-v2-substrate.js';
+import { canonicalJson } from '../harnesses/engine/canonical-json.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).
@@ -58,6 +58,21 @@ function withWriteLock(file, fn) {
  */
 export const EVAL_SEMANTICS_VERSION = '3';
 const SCHEMA_VERSION = 'swe-rebench-v2-validated-pool.v1';
+export const SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE = 'swe-rebench-v2-vetted-pool.v1';
+export const SOLVERNET_ARTIFACT_REF_SCHEMA_VERSION = 'solvernet.artifact-ref.v1';
+export const VETTED_POOL_REF_ELIGIBILITY_KEY = 'vettedPoolRef';
+const PUBLICATION_SCHEMA_VERSION = 'swe-rebench-v2-vetted-pool-publication.v1';
+const PUBLICATION_FILE = 'vetted-pool-artifact-publication.json';
+/**
+ * Cap on consecutive transient passes before an instance flips to the
+ * terminal `error:HF-429-permanent-after-5-passes` reason. Issue #578: the
+ * AC says "the failure is still recorded for visibility, but the validation
+ * pipeline distinguishes transient from permanent so the next run reprocesses
+ * these instances"; this is the convergence boundary that keeps a
+ * permanently-broken split from churning forever.
+ */
+export const MAX_TRANSIENT_PASSES = 5;
+const PERMANENT_HF_429_REASON = `error:HF-429-permanent-after-${MAX_TRANSIENT_PASSES}-passes`;
 function freshFile(evalSemanticsVersion) {
     return { schemaVersion: SCHEMA_VERSION, evalSemanticsVersion, updatedAt: new Date().toISOString(), entries: {} };
 }
@@ -67,6 +82,153 @@ function isValidFile(raw, evalSemanticsVersion) {
         raw.evalSemanticsVersion === evalSemanticsVersion &&
         typeof raw.entries === 'object' && raw.entries !== null);
 }
+function publicationPath(stateDir) {
+    return resolvePath(join(stateDir, PUBLICATION_FILE));
+}
+async function writeJsonAtomic(file, value) {
+    await mkdir(dirname(file), { recursive: true });
+    const tmp = `${file}.${randomBytes(6).toString('hex')}.tmp`;
+    await writeFile(tmp, JSON.stringify(value, null, 2));
+    try {
+        await rename(tmp, file); // POSIX rename is atomic
+    }
+    catch (err) {
+        // Best-effort tempfile cleanup — don't mask the original error.
+        await unlink(tmp).catch(() => undefined);
+        throw err;
+    }
+}
+function isObject(raw) {
+    return typeof raw === 'object' && raw !== null;
+}
+function isSha256(value) {
+    return typeof value === 'string' && /^sha256:[0-9a-f]{64}$/u.test(value);
+}
+function parseVettedPoolArtifactEntry(raw) {
+    if (!isObject(raw))
+        return null;
+    if (typeof raw['instance_id'] !== 'string' || raw['instance_id'].length === 0)
+        return null;
+    if (raw['scorable'] !== true)
+        return null;
+    if (typeof raw['reason'] !== 'string')
+        return null;
+    if (typeof raw['checkedAt'] !== 'string')
+        return null;
+    const entry = {
+        instance_id: raw['instance_id'],
+        scorable: true,
+        reason: raw['reason'],
+        checkedAt: raw['checkedAt'],
+        ...(typeof raw['rowHash'] === 'string' ? { rowHash: raw['rowHash'] } : {}),
+        ...(typeof raw['imageName'] === 'string' ? { imageName: raw['imageName'] } : {}),
+        ...(typeof raw['imageDigest'] === 'string' ? { imageDigest: raw['imageDigest'] } : {}),
+        ...(typeof raw['upstreamEvalCommit'] === 'string' ? { upstreamEvalCommit: raw['upstreamEvalCommit'] } : {}),
+    };
+    return entry;
+}
+export function parseVettedPoolArtifact(raw) {
+    if (!isObject(raw))
+        throw new Error('vetted pool artifact must be an object');
+    if (raw['schemaVersion'] !== SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE) {
+        throw new Error(`vetted pool artifact schemaVersion must be ${SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE}`);
+    }
+    if (typeof raw['evalSemanticsVersion'] !== 'string') {
+        throw new Error('vetted pool artifact evalSemanticsVersion must be a string');
+    }
+    if (typeof raw['generatedAt'] !== 'string') {
+        throw new Error('vetted pool artifact generatedAt must be a string');
+    }
+    if (!Array.isArray(raw['entries'])) {
+        throw new Error('vetted pool artifact entries must be an array');
+    }
+    const entries = raw['entries'].map(parseVettedPoolArtifactEntry);
+    if (entries.some((e) => e === null)) {
+        throw new Error('vetted pool artifact contains an invalid or unscorable entry');
+    }
+    return {
+        schemaVersion: SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE,
+        evalSemanticsVersion: raw['evalSemanticsVersion'],
+        generatedAt: raw['generatedAt'],
+        entries: entries.sort((a, b) => a.instance_id.localeCompare(b.instance_id)),
+    };
+}
+function normalizeVettedPoolArtifact(artifact) {
+    return {
+        schemaVersion: SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE,
+        evalSemanticsVersion: artifact.evalSemanticsVersion,
+        generatedAt: artifact.generatedAt,
+        entries: [...artifact.entries]
+            .map((entry) => ({ ...entry, scorable: true }))
+            .sort((a, b) => a.instance_id.localeCompare(b.instance_id)),
+    };
+}
+export function hashVettedPoolArtifact(artifact) {
+    const canonical = canonicalJson(normalizeVettedPoolArtifact(artifact));
+    return `sha256:${createHash('sha256').update(canonical).digest('hex')}`;
+}
+export function loadVettedPoolArtifactScorableEntries(raw) {
+    const artifact = parseVettedPoolArtifact(raw);
+    const byId = new Map();
+    for (const entry of artifact.entries) {
+        byId.set(entry.instance_id, entry);
+    }
+    return { ids: new Set(byId.keys()), byId };
+}
+export function createVettedPoolArtifactRef(args) {
+    return {
+        schemaVersion: SOLVERNET_ARTIFACT_REF_SCHEMA_VERSION,
+        manifestCid: args.manifestCid,
+        artifactType: SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE,
+        artifactCid: args.artifactCid,
+        artifactHash: args.artifactHash,
+        evalSemanticsVersion: args.evalSemanticsVersion,
+        publishedAt: args.publishedAt,
+    };
+}
+export function sweRebenchV2VettedPoolArtifactMetadataKey(manifestCid) {
+    return `solvernet-artifact:${manifestCid}:swe-rebench-v2-vetted-pool`;
+}
+export function parseVettedPoolArtifactRef(raw) {
+    if (!isObject(raw))
+        throw new Error('vetted pool artifact ref must be an object');
+    if (raw['schemaVersion'] !== SOLVERNET_ARTIFACT_REF_SCHEMA_VERSION) {
+        throw new Error(`vetted pool artifact ref schemaVersion must be ${SOLVERNET_ARTIFACT_REF_SCHEMA_VERSION}`);
+    }
+    if (raw['artifactType'] !== SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE) {
+        throw new Error(`vetted pool artifact ref artifactType must be ${SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE}`);
+    }
+    if (typeof raw['manifestCid'] !== 'string' || raw['manifestCid'].length === 0) {
+        throw new Error('vetted pool artifact ref manifestCid must be a string');
+    }
+    if (typeof raw['artifactCid'] !== 'string' || raw['artifactCid'].length === 0) {
+        throw new Error('vetted pool artifact ref artifactCid must be a string');
+    }
+    if (!isSha256(raw['artifactHash'])) {
+        throw new Error('vetted pool artifact ref artifactHash must be sha256:<64 hex>');
+    }
+    if (typeof raw['evalSemanticsVersion'] !== 'string') {
+        throw new Error('vetted pool artifact ref evalSemanticsVersion must be a string');
+    }
+    if (typeof raw['publishedAt'] !== 'string') {
+        throw new Error('vetted pool artifact ref publishedAt must be a string');
+    }
+    return {
+        schemaVersion: SOLVERNET_ARTIFACT_REF_SCHEMA_VERSION,
+        manifestCid: raw['manifestCid'],
+        artifactType: SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE,
+        artifactCid: raw['artifactCid'],
+        artifactHash: raw['artifactHash'],
+        evalSemanticsVersion: raw['evalSemanticsVersion'],
+        publishedAt: raw['publishedAt'],
+    };
+}
+export function vettedPoolArtifactRefFromEligibility(eligibility) {
+    const raw = eligibility?.[VETTED_POOL_REF_ELIGIBILITY_KEY];
+    if (raw === undefined)
+        return null;
+    return parseVettedPoolArtifactRef(raw);
+}
 export class ValidatedPoolStore {
     file;
     cache = null;
@@ -93,17 +255,7 @@ export class ValidatedPoolStore {
         return this.cache;
     }
     async writeAtomic(file) {
-        await mkdir(dirname(this.file), { recursive: true });
-        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;
-        }
+        await writeJsonAtomic(this.file, file);
     }
     /** The set of instance ids known scorable for `evalSemanticsVersion`, or
      *  `null` if there is no validation data for this semantics version (the
@@ -122,6 +274,15 @@ export class ValidatedPoolStore {
         this.scorableIdsCache = { mtimeMs, semanticsVersion: evalSemanticsVersion, ids };
         return ids;
     }
+    async getScorableEntries(evalSemanticsVersion) {
+        const raw = await this.readRaw();
+        if (!isValidFile(raw, evalSemanticsVersion))
+            return null;
+        return {
+            updatedAt: raw.updatedAt,
+            entries: Object.fromEntries(Object.entries(raw.entries).filter(([, entry]) => entry.scorable)),
+        };
+    }
     /** The entry for `instanceId`, or `null` if not validated for this semantics version. */
     async getEntry(instanceId, evalSemanticsVersion) {
         const f = await this.loadForWrite(evalSemanticsVersion);
@@ -142,6 +303,80 @@ export class ValidatedPoolStore {
         });
     }
 }
+export async function exportScorableVettedPoolArtifact(store, evalSemanticsVersion, opts = {}) {
+    const scorable = await store.getScorableEntries(evalSemanticsVersion);
+    if (!scorable)
+        return null;
+    const entries = Object.entries(scorable.entries)
+        .map(([instance_id, entry]) => ({
+        instance_id,
+        scorable: true,
+        reason: entry.reason,
+        checkedAt: entry.checkedAt,
+        ...(entry.rowHash ? { rowHash: entry.rowHash } : {}),
+        ...(entry.imageName ? { imageName: entry.imageName } : {}),
+        ...(entry.imageDigest ? { imageDigest: entry.imageDigest } : {}),
+        ...(entry.upstreamEvalCommit ? { upstreamEvalCommit: entry.upstreamEvalCommit } : {}),
+    }))
+        .sort((a, b) => a.instance_id.localeCompare(b.instance_id));
+    return {
+        schemaVersion: SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE,
+        evalSemanticsVersion,
+        generatedAt: opts.generatedAt ?? scorable.updatedAt,
+        entries,
+    };
+}
+function parsePublication(raw) {
+    if (!isObject(raw) || raw['schemaVersion'] !== PUBLICATION_SCHEMA_VERSION) {
+        throw new Error(`vetted pool publication schemaVersion must be ${PUBLICATION_SCHEMA_VERSION}`);
+    }
+    if (typeof raw['updatedAt'] !== 'string') {
+        throw new Error('vetted pool publication updatedAt must be a string');
+    }
+    const ref = parseVettedPoolArtifactRef(raw['ref']);
+    const artifact = parseVettedPoolArtifact(raw['artifact']);
+    const actualHash = hashVettedPoolArtifact(artifact);
+    if (actualHash !== ref.artifactHash) {
+        throw new Error(`vetted pool publication hash mismatch: ref=${ref.artifactHash} artifact=${actualHash}`);
+    }
+    return {
+        schemaVersion: PUBLICATION_SCHEMA_VERSION,
+        updatedAt: raw['updatedAt'],
+        ref,
+        artifact,
+    };
+}
+export async function readVettedPoolArtifactPublication(args) {
+    let raw;
+    try {
+        raw = JSON.parse(await readFile(publicationPath(args.stateDir), 'utf8'));
+    }
+    catch {
+        return null;
+    }
+    const publication = parsePublication(raw);
+    if (args.manifestCid !== undefined && publication.ref.manifestCid !== args.manifestCid)
+        return null;
+    if (args.evalSemanticsVersion !== undefined && publication.ref.evalSemanticsVersion !== args.evalSemanticsVersion)
+        return null;
+    return publication;
+}
+export async function writeVettedPoolArtifactPublication(args) {
+    const artifact = parseVettedPoolArtifact(args.artifact);
+    const ref = parseVettedPoolArtifactRef(args.ref);
+    const artifactHash = hashVettedPoolArtifact(artifact);
+    if (artifactHash !== ref.artifactHash) {
+        throw new Error(`vetted pool publication hash mismatch: ref=${ref.artifactHash} artifact=${artifactHash}`);
+    }
+    const publication = {
+        schemaVersion: PUBLICATION_SCHEMA_VERSION,
+        updatedAt: args.updatedAt ?? new Date().toISOString(),
+        ref,
+        artifact,
+    };
+    await writeJsonAtomic(publicationPath(args.stateDir), publication);
+    return publication;
+}
 /**
  * Restrict the generator's posting pool.
  *
@@ -182,15 +417,6 @@ 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 : '';
@@ -222,8 +448,19 @@ export async function validatePoolInstances(pool, deps, opts = {}) {
             summary.skipped += 1;
             continue;
         }
-        if (!opts.force && (await deps.store.getEntry(task.instance_id, deps.semanticsVersion))) {
-            continue; // already validated for this semantics version
+        if (!opts.force) {
+            const priorEntry = await deps.store.getEntry(task.instance_id, deps.semanticsVersion);
+            if (priorEntry !== null) {
+                // Transient entries below the convergence boundary are intentionally
+                // re-processed on the next pass (issue #578 AC2 — "the next run
+                // reprocesses these instances"). Everything else (terminal) is
+                // skipped under the existing idempotence guard.
+                const isTransient = priorEntry.reason.startsWith('transient:');
+                const count = priorEntry.transientRetryCount ?? 0;
+                if (!(isTransient && count < MAX_TRANSIENT_PASSES)) {
+                    continue; // already validated (terminal) for this semantics version
+                }
+            }
         }
         if (!task.patch || !task.test_patch) {
             await deps.store.record(task.instance_id, { scorable: false, reason: 'missing-gold-patch', checkedAt: new Date().toISOString() }, deps.semanticsVersion);
@@ -268,9 +505,10 @@ export async function validatePoolInstances(pool, deps, opts = {}) {
                 pass_to_pass: row.PASS_TO_PASS,
             });
             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);
+            // Prefer the digest captured by a real runner before per-round pruning.
+            // Test runners that do not carry it still use the legacy post-eval
+            // Docker inspect fallback.
+            const imageDigest = res.imageDigest ?? await resolveImageDigest(row.image_name, runner);
             const substrate = {
                 checkedAt,
                 rowHash,
@@ -290,17 +528,45 @@ export async function validatePoolInstances(pool, deps, opts = {}) {
             }
         }
         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(),
-                ...(rowHash ? { rowHash } : {}),
-                ...(row ? { imageName: row.image_name } : {}),
-                ...(upstreamEvalCommit ? { upstreamEvalCommit } : {}),
-            };
+            const httpStatus = typeof err?.httpStatus === 'number'
+                ? err.httpStatus
+                : undefined;
+            const checkedAt = new Date().toISOString();
+            if (httpStatus === 429) {
+                // Transient HF rate-limit: classify so the next pass re-processes
+                // (issue #578). Re-read the prior entry inside the catch so the
+                // count reflects the persisted state, not a stale in-memory copy.
+                const priorEntry = await deps.store.getEntry(task.instance_id, deps.semanticsVersion);
+                const prior = priorEntry?.transientRetryCount ?? 0;
+                const next = prior + 1;
+                const msg = (err instanceof Error ? err.message : String(err)).slice(0, 200);
+                const reason = next >= MAX_TRANSIENT_PASSES
+                    ? PERMANENT_HF_429_REASON
+                    : `transient:HF-429:${msg}`;
+                entry = {
+                    scorable: false,
+                    reason,
+                    checkedAt,
+                    transientRetryCount: next,
+                    lastTransientAt: checkedAt,
+                    ...(rowHash ? { rowHash } : {}),
+                    ...(row ? { imageName: row.image_name } : {}),
+                    ...(upstreamEvalCommit ? { upstreamEvalCommit } : {}),
+                };
+            }
+            else {
+                const reason = nameOf(err) === 'EvalCouldNotGradeError'
+                    ? `ungradeable:${reasonOf(err)}`
+                    : `error:${(err instanceof Error ? err.message : String(err)).slice(0, 200)}`;
+                entry = {
+                    scorable: false,
+                    reason,
+                    checkedAt,
+                    ...(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,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"}
+{"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;AAoCjE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC;AACtC,MAAM,uBAAuB,GAAG,gCAAgC,oBAAoB,SAAS,CAAC;AA2C9F,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,EAAE,CAAC;YAChB,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACtF,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;gBACxB,qEAAqE;gBACrE,gEAAgE;gBAChE,+DAA+D;gBAC/D,gDAAgD;gBAChD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;gBAC/D,MAAM,KAAK,GAAG,UAAU,CAAC,mBAAmB,IAAI,CAAC,CAAC;gBAClD,IAAI,CAAC,CAAC,WAAW,IAAI,KAAK,GAAG,oBAAoB,CAAC,EAAE,CAAC;oBACnD,SAAS,CAAC,0DAA0D;gBACtE,CAAC;YACH,CAAC;QACH,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,UAAU,GAAG,OAAQ,GAAuC,EAAE,UAAU,KAAK,QAAQ;gBACzF,CAAC,CAAE,GAA8B,CAAC,UAAU;gBAC5C,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAC3C,IAAI,UAAU,KAAK,GAAG,EAAE,CAAC;gBACvB,kEAAkE;gBAClE,gEAAgE;gBAChE,kEAAkE;gBAClE,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;gBACtF,MAAM,KAAK,GAAG,UAAU,EAAE,mBAAmB,IAAI,CAAC,CAAC;gBACnD,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC;gBACvB,MAAM,GAAG,GAAG,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,CAAC;gBAC7E,MAAM,MAAM,GAAG,IAAI,IAAI,oBAAoB;oBACzC,CAAC,CAAC,uBAAuB;oBACzB,CAAC,CAAC,oBAAoB,GAAG,EAAE,CAAC;gBAC9B,KAAK,GAAG;oBACN,QAAQ,EAAE,KAAK;oBACf,MAAM;oBACN,SAAS;oBACT,mBAAmB,EAAE,IAAI;oBACzB,eAAe,EAAE,SAAS;oBAC1B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/B,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC7C,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACtD,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,wBAAwB;oBACrD,CAAC,CAAC,eAAe,QAAQ,CAAC,GAAG,CAAC,EAAE;oBAChC,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;gBAChF,KAAK,GAAG;oBACN,QAAQ,EAAE,KAAK;oBACf,MAAM;oBACN,SAAS;oBACT,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/B,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC7C,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACtD,CAAC;YACJ,CAAC;QACH,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

@@ -1,9 +1,9 @@
 /**
- * Task generator for the swe-rebench-v2.v1 SolverNet. Implements the
- * full-historical-pool + post-until-target-successes policy from DR-i.
+ * Task generator policy for the swe-rebench-v2.v1 SolverNet. Implements the
+ * fill-the-pool + target-success claim cap policy from DR-2026-05-22-a.
  *
  * Spec: docs/superpowers/specs/2026-05-06-agent-harness-solvernet-design.md §3.6
- * DR: log/decisions/2026-05-06-task-generator-success-cap.md (P5)
+ * DR: log/decisions/2026-05-22-swe-rebench-v2-generation-claiming-semantics.md
  */
 import type { PoolTask } from './_swe-rebench-v2-pool.js';
 import type { TaskCounters } from './_swe-rebench-v2-state.js';
@@ -11,7 +11,10 @@ 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;
+    posting_window_ms: number;
+    post_batch_size: number;
+    maxClaimsPerOperator?: number;
+    claimLeaseTtlSeconds: 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
@@ -19,6 +22,16 @@ export interface GeneratorConfig {
     admissionMode?: AdmissionMode;
 }
 export declare const DEFAULT_GENERATOR_CONFIG: GeneratorConfig;
+export type SweRebenchV2PoolCountKind = 'unposted' | 'live' | 'repostable' | 'saturated' | 'abandoned';
+export interface SweRebenchV2PoolCounts {
+    poolSize: number;
+    posted: number;
+    unposted: number;
+    live: number;
+    repostable: number;
+    saturated: number;
+    abandoned: number;
+}
 export interface SelectArgs {
     pool: PoolTask[];
     counters: Map<string, TaskCounters>;
@@ -28,17 +41,19 @@ export interface SelectArgs {
      *  language for round-robin balancing. */
     lastPostedLanguage?: string;
 }
+export declare function classifyPoolTask(counters: TaskCounters, config: GeneratorConfig, now: number): SweRebenchV2PoolCountKind;
+export declare function summarizePoolState(args: SelectArgs): SweRebenchV2PoolCounts;
 /**
- * Choose the next eligible task to post on JinnRouter, or undefined if no
- * task is currently eligible (all saturated, in cooldown, or capped).
+ * Choose up to post_batch_size eligible tasks to post on JinnRouter.
  *
  * Eligibility filter:
  *   - successful_count[task] < N_target_successes
  *   - posted_count[task] < N_max_postings_per_task
- *   - now - last_posted_at[task] >= cooldown_ms
+ *   - no live posting within posting_window_ms
  *
  * Among eligible tasks, prefer a different language than the last-posted one
  * (simple round-robin balance). Tie-break by lower posted_count, then by
  * earliest last_posted_at, then by instance_id (deterministic).
  */
+export declare function selectNextPostingCandidates(args: SelectArgs): PoolTask[];
 export declare function selectNextPostingCandidate(args: SelectArgs): PoolTask | undefined;

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

@@ -1,42 +1,64 @@
 /**
- * Task generator for the swe-rebench-v2.v1 SolverNet. Implements the
- * full-historical-pool + post-until-target-successes policy from DR-i.
+ * Task generator policy for the swe-rebench-v2.v1 SolverNet. Implements the
+ * fill-the-pool + target-success claim cap policy from DR-2026-05-22-a.
  *
  * Spec: docs/superpowers/specs/2026-05-06-agent-harness-solvernet-design.md §3.6
- * DR: log/decisions/2026-05-06-task-generator-success-cap.md (P5)
+ * DR: log/decisions/2026-05-22-swe-rebench-v2-generation-claiming-semantics.md
  */
 export const DEFAULT_GENERATOR_CONFIG = {
-    N_target_successes: 3,
+    N_target_successes: 5,
     N_max_postings_per_task: 10,
-    cooldown_ms: 24 * 60 * 60 * 1000,
+    posting_window_ms: 24 * 60 * 60 * 1000,
+    post_batch_size: 25,
+    claimLeaseTtlSeconds: 60 * 60,
 };
+export function classifyPoolTask(counters, config, now) {
+    if (counters.successful >= config.N_target_successes)
+        return 'saturated';
+    if (counters.posted >= config.N_max_postings_per_task)
+        return 'abandoned';
+    if (counters.posted === 0 || counters.last_posted_at === 0)
+        return 'unposted';
+    return now - counters.last_posted_at >= config.posting_window_ms ? 'repostable' : 'live';
+}
+export function summarizePoolState(args) {
+    const counts = {
+        poolSize: args.pool.length,
+        posted: 0,
+        unposted: 0,
+        live: 0,
+        repostable: 0,
+        saturated: 0,
+        abandoned: 0,
+    };
+    for (const task of args.pool) {
+        const counters = args.counters.get(task.instance_id) ??
+            { posted: 0, successful: 0, last_posted_at: 0 };
+        counts[classifyPoolTask(counters, args.config, args.now)] += 1;
+    }
+    return counts;
+}
 /**
- * Choose the next eligible task to post on JinnRouter, or undefined if no
- * task is currently eligible (all saturated, in cooldown, or capped).
+ * Choose up to post_batch_size eligible tasks to post on JinnRouter.
  *
  * Eligibility filter:
  *   - successful_count[task] < N_target_successes
  *   - posted_count[task] < N_max_postings_per_task
- *   - now - last_posted_at[task] >= cooldown_ms
+ *   - no live posting within posting_window_ms
  *
  * Among eligible tasks, prefer a different language than the last-posted one
  * (simple round-robin balance). Tie-break by lower posted_count, then by
  * earliest last_posted_at, then by instance_id (deterministic).
  */
-export function selectNextPostingCandidate(args) {
+export function selectNextPostingCandidates(args) {
     const eligible = args.pool.filter((task) => {
-        const c = args.counters.get(task.instance_id) ?? { posted: 0, successful: 0, last_posted_at: 0 };
-        if (c.successful >= args.config.N_target_successes)
-            return false;
-        if (c.posted >= args.config.N_max_postings_per_task)
-            return false;
-        // Tasks with last_posted_at=0 have never been posted, so skip cooldown check
-        if (c.last_posted_at > 0 && args.now - c.last_posted_at < args.config.cooldown_ms)
-            return false;
-        return true;
+        const c = args.counters.get(task.instance_id) ??
+            { posted: 0, successful: 0, last_posted_at: 0 };
+        const kind = classifyPoolTask(c, args.config, args.now);
+        return kind === 'unposted' || kind === 'repostable';
     });
     if (eligible.length === 0)
-        return undefined;
+        return [];
     // Round-robin language preference
     const differentLanguage = args.lastPostedLanguage
         ? eligible.filter((t) => t.language !== args.lastPostedLanguage)
@@ -51,6 +73,9 @@ export function selectNextPostingCandidate(args) {
             return cA.last_posted_at - cB.last_posted_at;
         return a.instance_id.localeCompare(b.instance_id);
     });
-    return candidates[0];
+    return candidates.slice(0, args.config.post_batch_size);
+}
+export function selectNextPostingCandidate(args) {
+    return selectNextPostingCandidates({ ...args, config: { ...args.config, post_batch_size: 1 } })[0];
 }
 //# sourceMappingURL=swe-rebench-v2-auto.js.map