@jinn-network/client 0.1.7-canary.d4e4e183 → 0.1.7-canary.e68c8f43

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

@@ -55,14 +55,56 @@ function withWriteLock(file, fn) {
  *         `upstreamEvalCommit`) and extended ungradeable classifier
  *         (venv collision, missing pytest, dependency warnings, conftest
  *         import/setup failures) — jinn-mono-fufn.
+ *   '4' — adds the buildTestCommands pytest-install guard (#493): for
+ *         parse_log_pytest rows whose install_config.install does not
+ *         already mention pytest, prepend a best-effort install line so
+ *         the `ungradeable:pytest_missing` bucket (the highest-yield
+ *         capacity blocker on the Stage-1 histogram) becomes scorable.
+ *         The v3→v4 transition is a *targeted* migration, not a wholesale
+ *         invalidation: only `ungradeable:pytest_missing` entries can flip
+ *         under the install guard, so they alone are dropped (re-validated);
+ *         every other verdict (scorable, gold-patch-not-resolved,
+ *         transient/error/other ungradeable) is carried forward verbatim
+ *         (see {@link loadOrMigrateFile}).
  */
-export const EVAL_SEMANTICS_VERSION = '3';
+export const EVAL_SEMANTICS_VERSION = '4';
 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`;
+/**
+ * The operator-environment subset of `EvalCouldNotGradeError` reasons that are
+ * worth a bounded retry rather than being cached terminal (issue #811). These
+ * may differ on a later pass — Docker comes back, a stale `.venv` is cleaned,
+ * the host's missing venv is provisioned. `image_arch_mismatch` is fixed
+ * per-machine, but the bounded retry caps the waste: it converges to the
+ * terminal `ungradeable:` reason after {@link MAX_TRANSIENT_PASSES}, so there
+ * is no infinite loop.
+ *
+ * Every OTHER `EvalCouldNotGradeError` reason (pytest_missing,
+ * install_build_failed, conftest_import_error, requests_dep_mismatch,
+ * eval_setup_error, …) is a real per-instance problem where a blind retry
+ * won't help; those stay `ungradeable:` terminal. `pytest_missing` in
+ * particular needs the #493 code fix, not a retry.
+ */
+export const TRANSIENT_INFRA_REASONS = new Set([
+    'docker_unavailable',
+    'venv_collision',
+    'venv_missing',
+    'image_arch_mismatch',
+]);
 function freshFile(evalSemanticsVersion) {
     return { schemaVersion: SCHEMA_VERSION, evalSemanticsVersion, updatedAt: new Date().toISOString(), entries: {} };
 }
@@ -72,6 +114,59 @@ function isValidFile(raw, evalSemanticsVersion) {
         raw.evalSemanticsVersion === evalSemanticsVersion &&
         typeof raw.entries === 'object' && raw.entries !== null);
 }
+/** Structurally a `ValidatedPoolFile` at *any* semantics version (schema + entries shape). */
+function hasValidShape(raw) {
+    return (typeof raw === 'object' && raw !== null &&
+        raw.schemaVersion === SCHEMA_VERSION &&
+        typeof raw.evalSemanticsVersion === 'string' &&
+        typeof raw.entries === 'object' && raw.entries !== null);
+}
+/**
+ * Explicit, version-keyed carry-forward migrations. A migration maps the source
+ * version's entries onto the target version's entries; only verdict classes that
+ * the target's grading change could flip are dropped (so the validate loop
+ * re-processes them), everything else is carried forward verbatim.
+ *
+ * Why: the only thing the v4 buildTestCommands pytest-install guard can alter is a
+ * `parse_log_pytest` instance whose install lacked pytest — i.e. exactly the
+ * `ungradeable:pytest_missing` bucket. Every other verdict (scorable
+ * `gold-patch-resolves`, `gold-patch-not-resolved`, transient/error/other
+ * ungradeable) ran the test runner or is install-independent, so its verdict
+ * cannot change under v4 and is carried forward unchanged. A future v4→vN bump
+ * must add its own entry here choosing which verdicts it can flip — this is NOT a
+ * general "carry forward everything except pytest_missing" rule.
+ */
+const MIGRATIONS = {
+    // from version '3' → to version '4'
+    '3': {
+        '4': (entries) => Object.fromEntries(Object.entries(entries).filter(([, e]) => e.reason !== 'ungradeable:pytest_missing')),
+    },
+};
+/**
+ * Load `raw` for `targetVersion`, applying a defined migration where one exists.
+ * Pure — callers persist the result via their own write path.
+ *
+ *   - already valid at `targetVersion` → returned as-is.
+ *   - structurally valid at a prior version with a defined migration → migrated
+ *     file (carried-forward entries keep their original `checkedAt`/verdict).
+ *   - otherwise (unknown/unmapped version, wrong schema, garbage) → `freshFile`.
+ */
+function loadOrMigrateFile(raw, targetVersion) {
+    if (isValidFile(raw, targetVersion))
+        return raw;
+    if (hasValidShape(raw)) {
+        const migrate = MIGRATIONS[raw.evalSemanticsVersion]?.[targetVersion];
+        if (migrate) {
+            return {
+                schemaVersion: SCHEMA_VERSION,
+                evalSemanticsVersion: targetVersion,
+                updatedAt: new Date().toISOString(),
+                entries: migrate(raw.entries),
+            };
+        }
+    }
+    return freshFile(targetVersion);
+}
 function publicationPath(stateDir) {
     return resolvePath(join(stateDir, PUBLICATION_FILE));
 }
@@ -241,7 +336,7 @@ export class ValidatedPoolStore {
         if (this.cache && this.cache.evalSemanticsVersion === evalSemanticsVersion)
             return this.cache;
         const raw = await this.readRaw();
-        this.cache = isValidFile(raw, evalSemanticsVersion) ? raw : freshFile(evalSemanticsVersion);
+        this.cache = loadOrMigrateFile(raw, evalSemanticsVersion);
         return this.cache;
     }
     async writeAtomic(file) {
@@ -258,19 +353,23 @@ export class ValidatedPoolStore {
             return cached.ids;
         }
         const raw = await this.readRaw();
-        const ids = isValidFile(raw, evalSemanticsVersion)
-            ? new Set(Object.entries(raw.entries).filter(([, e]) => e.scorable).map(([id]) => id))
+        // No data on disk (or wrong schema/unmapped version) stays `null` — the
+        // generator's no-validation-data floor. A migratable prior version yields
+        // the carried-forward scorable set, never `null`.
+        const ids = (isValidFile(raw, evalSemanticsVersion) || (hasValidShape(raw) && MIGRATIONS[raw.evalSemanticsVersion]?.[evalSemanticsVersion]))
+            ? new Set(Object.entries(loadOrMigrateFile(raw, evalSemanticsVersion).entries).filter(([, e]) => e.scorable).map(([id]) => id))
             : null;
         this.scorableIdsCache = { mtimeMs, semanticsVersion: evalSemanticsVersion, ids };
         return ids;
     }
     async getScorableEntries(evalSemanticsVersion) {
         const raw = await this.readRaw();
-        if (!isValidFile(raw, evalSemanticsVersion))
+        if (!isValidFile(raw, evalSemanticsVersion) && !(hasValidShape(raw) && MIGRATIONS[raw.evalSemanticsVersion]?.[evalSemanticsVersion]))
             return null;
+        const file = loadOrMigrateFile(raw, evalSemanticsVersion);
         return {
-            updatedAt: raw.updatedAt,
-            entries: Object.fromEntries(Object.entries(raw.entries).filter(([, entry]) => entry.scorable)),
+            updatedAt: file.updatedAt,
+            entries: Object.fromEntries(Object.entries(file.entries).filter(([, entry]) => entry.scorable)),
         };
     }
     /** The entry for `instanceId`, or `null` if not validated for this semantics version. */
@@ -285,7 +384,7 @@ export class ValidatedPoolStore {
             this.cache = null;
             this.scorableIdsCache = null;
             const raw = await this.readRaw();
-            const file = isValidFile(raw, evalSemanticsVersion) ? raw : freshFile(evalSemanticsVersion);
+            const file = loadOrMigrateFile(raw, evalSemanticsVersion);
             file.entries[instanceId] = entry;
             file.updatedAt = new Date().toISOString();
             await this.writeAtomic(file);
@@ -293,6 +392,50 @@ export class ValidatedPoolStore {
         });
     }
 }
+/**
+ * Collapse a stored `reason` string into a histogram bucket. Diagnostic
+ * detail (`(f2p X, p2p_broke Y)`, the verbatim HF 429 message) is kept on
+ * the entry for debugging, but the bucket name is what matters for the
+ * #493 reason-histogram CLI. Unknown reasons pass through unchanged.
+ */
+export function normalizeReason(reason) {
+    if (reason.startsWith('gold-patch-not-resolved'))
+        return 'gold-patch-not-resolved';
+    if (reason.startsWith('transient:HF-429:'))
+        return 'transient:HF-429';
+    // Pre-#578 legacy: 429s recorded as `error:HF datasets-server returned 429 for ...`.
+    if (/^error:HF datasets-server returned 429\b/.test(reason))
+        return 'error:HF-429';
+    return reason;
+}
+/**
+ * Read-only summary of a `validated-pool.json` file. Counts entries by
+ * normalised reason (see {@link normalizeReason}) and returns the buckets
+ * sorted descending by count, with ties broken alphabetically by reason.
+ */
+export function summarizeValidatedPool(file) {
+    if (!isObject(file) || !isObject(file['entries'])) {
+        throw new Error('summarizeValidatedPool: file must include an `entries` object');
+    }
+    let scorable = 0;
+    let unscorable = 0;
+    const counts = new Map();
+    for (const entry of Object.values(file['entries'])) {
+        if (!isObject(entry))
+            continue;
+        const raw = typeof entry['reason'] === 'string' ? entry['reason'] : 'unknown';
+        const reason = normalizeReason(raw);
+        counts.set(reason, (counts.get(reason) ?? 0) + 1);
+        if (entry['scorable'] === true)
+            scorable += 1;
+        else
+            unscorable += 1;
+    }
+    const byReason = [...counts.entries()]
+        .map(([reason, count]) => ({ reason, count }))
+        .sort((a, b) => (b.count - a.count) || a.reason.localeCompare(b.reason));
+    return { totalEntries: scorable + unscorable, scorable, unscorable, byReason };
+}
 export async function exportScorableVettedPoolArtifact(store, evalSemanticsVersion, opts = {}) {
     const scorable = await store.getScorableEntries(evalSemanticsVersion);
     if (!scorable)
@@ -415,6 +558,28 @@ function reasonOf(err) {
     return typeof err === 'object' && err !== null && typeof err.reason === 'string'
         ? err.reason : 'unknown';
 }
+/**
+ * Build a bounded-transient `ValidatedPoolEntry`. Shared by the HF-429 branch
+ * and the operator-environment infra branch (issue #811): both record a
+ * `transient:` reason that the next non-force pass re-processes, bumping
+ * `transientRetryCount` until it reaches {@link MAX_TRANSIENT_PASSES}, at which
+ * point the reason converges to a permanent terminal so a permanently-broken
+ * instance stops churning.
+ */
+function buildBoundedTransientEntry(args) {
+    const next = args.priorCount + 1;
+    const reason = next >= MAX_TRANSIENT_PASSES ? args.permanentReason : args.transientReason;
+    return {
+        scorable: false,
+        reason,
+        checkedAt: args.checkedAt,
+        transientRetryCount: next,
+        lastTransientAt: args.checkedAt,
+        ...(args.rowHash ? { rowHash: args.rowHash } : {}),
+        ...(args.imageName ? { imageName: args.imageName } : {}),
+        ...(args.upstreamEvalCommit ? { upstreamEvalCommit: args.upstreamEvalCommit } : {}),
+    };
+}
 /**
  * Validate pool instances by running their gold patch through the eval harness.
  * Idempotent: instances already recorded for `semanticsVersion` are skipped
@@ -438,8 +603,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);
@@ -507,17 +683,62 @@ 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();
+            const evalInfraReason = nameOf(err) === 'EvalCouldNotGradeError' ? reasonOf(err) : null;
+            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 msg = (err instanceof Error ? err.message : String(err)).slice(0, 200);
+                entry = buildBoundedTransientEntry({
+                    priorCount: priorEntry?.transientRetryCount ?? 0,
+                    transientReason: `transient:HF-429:${msg}`,
+                    permanentReason: PERMANENT_HF_429_REASON,
+                    checkedAt,
+                    rowHash,
+                    imageName: row?.image_name,
+                    upstreamEvalCommit,
+                });
+            }
+            else if (evalInfraReason !== null && TRANSIENT_INFRA_REASONS.has(evalInfraReason)) {
+                // Operator-environment infra failure that may differ on a retry
+                // (issue #811). Route through the same bounded-transient path as
+                // HF-429 instead of caching it terminal. Re-read the prior entry so
+                // the count reflects persisted state. After MAX_TRANSIENT_PASSES it
+                // converges to the terminal `ungradeable:<reason>` — the same resting
+                // state today's code reaches immediately, just after bounded retries.
+                //
+                // Histogram: the transient reason is `transient:<infra_reason>` with no
+                // message suffix, so it is already a clean self-describing bucket and
+                // needs no normalize rule (unlike `transient:HF-429:<msg>`).
+                const priorEntry = await deps.store.getEntry(task.instance_id, deps.semanticsVersion);
+                entry = buildBoundedTransientEntry({
+                    priorCount: priorEntry?.transientRetryCount ?? 0,
+                    transientReason: `transient:${evalInfraReason}`,
+                    permanentReason: `ungradeable:${evalInfraReason}`,
+                    checkedAt,
+                    rowHash,
+                    imageName: row?.image_name,
+                    upstreamEvalCommit,
+                });
+            }
+            else {
+                const reason = evalInfraReason !== null
+                    ? `ungradeable:${evalInfraReason}`
+                    : `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,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGlE,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,kBAAkB,EAClB,yBAAyB,GAE1B,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AAEtE,yEAAyE;AACzE,0EAA0E;AAC1E,gEAAgE;AAChE,EAAE;AACF,2EAA2E;AAC3E,yEAAyE;AACzE,iEAAiE;AACjE,oEAAoE;AACpE,oEAAoE;AACpE,uEAAuE;AACvE,aAAa;AACb,MAAM,UAAU,GAA+B,IAAI,GAAG,EAAE,CAAC;AACzD,SAAS,aAAa,CAAI,IAAY,EAAE,EAAoB;IAC1D,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;IACvD,IAAI,OAAoB,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,OAAO,CAAO,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5D,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAe,CAAC;AACtD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,CAAC;AAE1C,MAAM,cAAc,GAAG,kCAA2C,CAAC;AACnE,MAAM,CAAC,MAAM,wCAAwC,GAAG,+BAAwC,CAAC;AACjG,MAAM,CAAC,MAAM,qCAAqC,GAAG,2BAAoC,CAAC;AAC1F,MAAM,CAAC,MAAM,+BAA+B,GAAG,eAAwB,CAAC;AACxE,MAAM,0BAA0B,GAAG,2CAAoD,CAAC;AACxF,MAAM,gBAAgB,GAAG,uCAAuC,CAAC;AA0DjE,SAAS,SAAS,CAAC,oBAA4B;IAC7C,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,oBAAoB,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AACnH,CAAC;AAED,SAAS,WAAW,CAAC,GAAY,EAAE,oBAA4B;IAC7D,OAAO,CACL,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QACtC,GAAyB,CAAC,aAAa,KAAK,cAAc;QAC1D,GAAyB,CAAC,oBAAoB,KAAK,oBAAoB;QACxE,OAAQ,GAAyB,CAAC,OAAO,KAAK,QAAQ,IAAK,GAAyB,CAAC,OAAO,KAAK,IAAI,CACtG,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,QAAgB;IACvC,OAAO,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,IAAY,EAAE,KAAc;IACzD,MAAM,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;IAC5D,MAAM,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACrD,IAAI,CAAC;QACH,MAAM,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,yBAAyB;IACpD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,gEAAgE;QAChE,MAAM,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACzC,MAAM,GAAG,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,GAAY;IAC5B,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,CAAC;AACjD,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,4BAA4B,CAAC,GAAY;IAChD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,OAAO,GAAG,CAAC,aAAa,CAAC,KAAK,QAAQ,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3F,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,OAAO,GAAG,CAAC,QAAQ,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,OAAO,GAAG,CAAC,WAAW,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,KAAK,GAAwC;QACjD,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC;QAC/B,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC;QACrB,SAAS,EAAE,GAAG,CAAC,WAAW,CAAC;QAC3B,GAAG,CAAC,OAAO,GAAG,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,OAAO,GAAG,CAAC,WAAW,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,GAAG,CAAC,OAAO,GAAG,CAAC,aAAa,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,GAAG,CAAC,OAAO,GAAG,CAAC,oBAAoB,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5G,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,GAAY;IAClD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC9E,IAAI,GAAG,CAAC,eAAe,CAAC,KAAK,wCAAwC,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,8CAA8C,wCAAwC,EAAE,CAAC,CAAC;IAC5G,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,sBAAsB,CAAC,KAAK,QAAQ,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,aAAa,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;IACjE,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;IAClF,CAAC;IACD,OAAO;QACL,aAAa,EAAE,wCAAwC;QACvD,oBAAoB,EAAE,GAAG,CAAC,sBAAsB,CAAC;QACjD,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC;QAC/B,OAAO,EAAG,OAAiD,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;KACvH,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,QAAwC;IAC3E,OAAO;QACL,aAAa,EAAE,wCAAwC;QACvD,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;QACnD,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,OAAO,EAAE,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC;aAC3B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,IAAa,EAAE,CAAC,CAAC;aACvD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;KAC9D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,QAAwC;IAC7E,MAAM,SAAS,GAAG,aAAa,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC,CAAC;IACvE,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,qCAAqC,CAAC,GAAY;IAChE,MAAM,QAAQ,GAAG,uBAAuB,CAAC,GAAG,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,EAA+C,CAAC;IACpE,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,IAM3C;IACC,OAAO;QACL,aAAa,EAAE,qCAAqC;QACpD,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,YAAY,EAAE,wCAAwC;QACtD,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;QAC/C,WAAW,EAAE,IAAI,CAAC,WAAW;KAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yCAAyC,CAAC,WAAmB;IAC3E,OAAO,sBAAsB,WAAW,6BAA6B,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,GAAY;IACrD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAClF,IAAI,GAAG,CAAC,eAAe,CAAC,KAAK,qCAAqC,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,kDAAkD,qCAAqC,EAAE,CAAC,CAAC;IAC7G,CAAC;IACD,IAAI,GAAG,CAAC,cAAc,CAAC,KAAK,wCAAwC,EAAE,CAAC;QACrE,MAAM,IAAI,KAAK,CAAC,iDAAiD,wCAAwC,EAAE,CAAC,CAAC;IAC/G,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,aAAa,CAAC,KAAK,QAAQ,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,aAAa,CAAC,KAAK,QAAQ,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,sBAAsB,CAAC,KAAK,QAAQ,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,aAAa,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO;QACL,aAAa,EAAE,qCAAqC;QACpD,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC;QAC/B,YAAY,EAAE,wCAAwC;QACtD,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC;QAC/B,YAAY,EAAE,GAAG,CAAC,cAAc,CAAC;QACjC,oBAAoB,EAAE,GAAG,CAAC,sBAAsB,CAAC;QACjD,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC;KAChC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oCAAoC,CAAC,WAAgD;IACnG,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC,+BAA+B,CAAC,CAAC;IAC3D,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,0BAA0B,CAAC,GAAG,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,OAAO,kBAAkB;IACZ,IAAI,CAAS;IACtB,KAAK,GAA6B,IAAI,CAAC;IAC/C;;gEAE4D;IACpD,gBAAgB,GAAkF,IAAI,CAAC;IAE/G,YAAY,IAA0B;QACpC,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC,CAAC;IACtE,CAAC;IAEO,KAAK,CAAC,OAAO;QACnB,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACvD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,YAAY,CAAC,oBAA4B;QACrD,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,oBAAoB,KAAK,oBAAoB;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC;QAC9F,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC5F,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAEO,KAAK,CAAC,WAAW,CAAC,IAAuB;QAC/C,MAAM,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzC,CAAC;IAED;;;8EAG0E;IAC1E,KAAK,CAAC,cAAc,CAAC,oBAA4B;QAC/C,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC;QACrC,IAAI,MAAM,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO,IAAI,MAAM,CAAC,gBAAgB,KAAK,oBAAoB,EAAE,CAAC;YAC7F,OAAO,MAAM,CAAC,GAAG,CAAC;QACpB,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,EAAE,oBAAoB,CAAC;YAChD,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YACtF,CAAC,CAAC,IAAI,CAAC;QACT,IAAI,CAAC,gBAAgB,GAAG,EAAE,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC;QACjF,OAAO,GAAG,CAAC;IACb,CAAC;IAED,KAAK,CAAC,kBAAkB,CAAC,oBAA4B;QAInD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,oBAAoB,CAAC;YAAE,OAAO,IAAI,CAAC;QACzD,OAAO;YACL,SAAS,EAAE,GAAG,CAAC,SAAS;YACxB,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;SAC/F,CAAC;IACJ,CAAC;IAED,yFAAyF;IACzF,KAAK,CAAC,QAAQ,CAAC,UAAkB,EAAE,oBAA4B;QAC7D,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,oBAAoB,CAAC,CAAC;QACxD,OAAO,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;IACvC,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,UAAkB,EAAE,KAAyB,EAAE,oBAA4B;QACtF,OAAO,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE;YACzC,yEAAyE;YACzE,0CAA0C;YAC1C,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;YAClB,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;YAC5F,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,KAAK,CAAC;YACjC,IAAI,CAAC,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAC1C,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QACpB,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AAED,MAAM,CAAC,KAAK,UAAU,gCAAgC,CACpD,KAAyB,EACzB,oBAA4B,EAC5B,OAAiC,EAAE;IAEnC,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,kBAAkB,CAAC,oBAAoB,CAAC,CAAC;IACtE,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;SAC7C,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,WAAW;QACX,QAAQ,EAAE,IAAa;QACvB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtF,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAC9D,OAAO;QACL,aAAa,EAAE,wCAAwC;QACvD,oBAAoB;QACpB,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,QAAQ,CAAC,SAAS;QACnD,OAAO;KACR,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAY;IACpC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,eAAe,CAAC,KAAK,0BAA0B,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CAAC,iDAAiD,0BAA0B,EAAE,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,WAAW,CAAC,KAAK,QAAQ,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,GAAG,GAAG,0BAA0B,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,uBAAuB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACpD,IAAI,UAAU,KAAK,GAAG,CAAC,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,8CAA8C,GAAG,CAAC,YAAY,aAAa,UAAU,EAAE,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO;QACL,aAAa,EAAE,0BAA0B;QACzC,SAAS,EAAE,GAAG,CAAC,WAAW,CAAC;QAC3B,GAAG;QACH,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iCAAiC,CAAC,IAIvD;IACC,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,WAAW,KAAK,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IACpG,IAAI,IAAI,CAAC,oBAAoB,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,oBAAoB,KAAK,IAAI,CAAC,oBAAoB;QAAE,OAAO,IAAI,CAAC;IAC/H,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kCAAkC,CAAC,IAKxD;IACC,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,0BAA0B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,MAAM,YAAY,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,YAAY,KAAK,GAAG,CAAC,YAAY,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,8CAA8C,GAAG,CAAC,YAAY,aAAa,YAAY,EAAE,CAAC,CAAC;IAC7G,CAAC;IACD,MAAM,WAAW,GAAkC;QACjD,aAAa,EAAE,0BAA0B;QACzC,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrD,GAAG;QACH,QAAQ;KACT,CAAC;IACF,MAAM,eAAe,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAC;IACnE,OAAO,WAAW,CAAC;AACrB,CAAC;AAID;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAgB,EAChB,WAA+B,EAC/B,gBAA+B,UAAU;IAEzC,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACzF,CAAC;IACD,IAAI,aAAa,KAAK,cAAc,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;IACvE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC;AAC1D,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAc;IACtC,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC5C,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,uDAAuD;IACvD,OAAO,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,WAAW,CAAC,KAAyB;IAC5C,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,qEAAqE;IACrE,OAAO,yDAAyD,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC/E,CAAC;AAqBD,SAAS,MAAM,CAAC,GAAY;IAC1B,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,OAAQ,GAA0B,CAAC,IAAI,KAAK,QAAQ;QACpG,CAAC,CAAE,GAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;AAC1C,CAAC;AACD,SAAS,QAAQ,CAAC,GAAY;IAC5B,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,OAAQ,GAA4B,CAAC,MAAM,KAAK,QAAQ;QACxG,CAAC,CAAE,GAA0B,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AACrD,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,IAAgB,EAChB,IAAsB,EACtB,OAA4C,EAAE;IAE9C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,IAAI,oBAAoB,CAAC;IAC1D,MAAM,OAAO,GAAwB,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAE5F,6EAA6E;IAC7E,MAAM,kBAAkB,GAAG,MAAM,yBAAyB,CAAC,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;IAEzF,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,IAAI,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC,KAAK;YAAE,MAAM;QAE/D,6EAA6E;QAC7E,2EAA2E;QAC3E,0EAA0E;QAC1E,SAAS;QACT,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC7J,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;YACrB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC;YACxF,SAAS,CAAC,+CAA+C;QAC3D,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACpC,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,oBAAoB,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;YACzJ,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;YAAC,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;YAC9C,SAAS;QACX,CAAC;QAED,GAAG,CAAC,mBAAmB,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC;QAC7C,IAAI,GAAsB,CAAC;QAC3B,IAAI,OAA2B,CAAC;QAChC,IAAI,KAAyB,CAAC;QAC9B,IAAI,CAAC;YACH,GAAG,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YAC/H,OAAO,GAAG,cAAc,CAAC;gBACvB,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI;gBAC3B,2EAA2E;gBAC3E,4EAA4E;gBAC5E,8EAA8E;gBAC9E,2EAA2E;gBAC3E,wEAAwE;gBACxE,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,0CAA0C;gBAC3E,UAAU,EAAE,GAAG,CAAC,UAAU;gBAC1B,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,GAAG,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU;gBAC7C,cAAc,EAAE,EAAE,GAAG,GAAG,CAAC,cAAc,EAAE,OAAO,EAAE,GAAG,CAAC,cAAc,CAAC,OAAO,IAAI,EAAE,EAAE;gBACpF,YAAY,EAAE,GAAG,CAAC,YAAY;gBAC9B,YAAY,EAAE,GAAG,CAAC,YAAY;aAC/B,CAAC,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;gBACpC,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI;gBAC3B,KAAK,EAAE,GAAG,CAAC,UAAU;gBACrB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,GAAG,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU;gBAC7C,OAAO,EAAE,GAAG,CAAC,cAAc,CAAC,OAAO;gBACnC,QAAQ,EAAE,GAAG,CAAC,cAAc,CAAC,QAAQ;gBACrC,UAAU,EAAE,GAAG,CAAC,cAAc,CAAC,UAAU;gBACzC,YAAY,EAAE,GAAG,CAAC,YAAY;gBAC9B,YAAY,EAAE,GAAG,CAAC,YAAY;aAC/B,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YAC3C,wEAAwE;YACxE,mEAAmE;YACnE,2BAA2B;YAC3B,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,IAAI,MAAM,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YACxF,MAAM,SAAS,GAAG;gBAChB,SAAS;gBACT,OAAO;gBACP,SAAS,EAAE,GAAG,CAAC,UAAU;gBACzB,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvC,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACtD,CAAC;YACF,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,mEAAmE;gBACnE,KAAK,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,2BAA2B,EAAE,GAAG,SAAS,EAAE,CAAC;YACjF,CAAC;iBAAM,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;gBAC5B,KAAK,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB,EAAE,GAAG,SAAS,EAAE,CAAC;YAC1E,CAAC;iBAAM,CAAC;gBACN,KAAK,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,gCAAgC,GAAG,CAAC,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,EAAE,GAAG,SAAS,EAAE,CAAC;YAC1I,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,wBAAwB;gBACrD,CAAC,CAAC,eAAe,QAAQ,CAAC,GAAG,CAAC,EAAE;gBAChC,CAAC,CAAC,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YAChF,KAAK,GAAG;gBACN,QAAQ,EAAE,KAAK;gBACf,MAAM;gBACN,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACnC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/B,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7C,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACtD,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACxE,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;QACrB,IAAI,KAAK,CAAC,QAAQ;YAAE,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;;YAAM,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;QACxE,GAAG,CAAC,mBAAmB,IAAI,CAAC,WAAW,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/G,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}
+{"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;;;;;;;;;;;;;;;;;;;;;;;GAuBG;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;AAE9F;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAwB,IAAI,GAAG,CAAC;IAClE,oBAAoB;IACpB,gBAAgB;IAChB,cAAc;IACd,qBAAqB;CACtB,CAAC,CAAC;AA2CH,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,8FAA8F;AAC9F,SAAS,aAAa,CAAC,GAAY;IACjC,OAAO,CACL,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QACtC,GAAyB,CAAC,aAAa,KAAK,cAAc;QAC3D,OAAQ,GAAyB,CAAC,oBAAoB,KAAK,QAAQ;QACnE,OAAQ,GAAyB,CAAC,OAAO,KAAK,QAAQ,IAAK,GAAyB,CAAC,OAAO,KAAK,IAAI,CACtG,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,GAAwH;IACtI,oCAAoC;IACpC,GAAG,EAAE;QACH,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAClC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,4BAA4B,CAAC,CACrF;KACF;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,SAAS,iBAAiB,CAAC,GAAY,EAAE,aAAqB;IAC5D,IAAI,WAAW,CAAC,GAAG,EAAE,aAAa,CAAC;QAAE,OAAO,GAAG,CAAC;IAChD,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;QACtE,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO;gBACL,aAAa,EAAE,cAAc;gBAC7B,oBAAoB,EAAE,aAAa;gBACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACnC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;aAC9B,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC,aAAa,CAAC,CAAC;AAClC,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,iBAAiB,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;QAC1D,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,wEAAwE;QACxE,0EAA0E;QAC1E,kDAAkD;QAClD,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;YAC1I,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,GAAG,EAAE,oBAAoB,CAAC,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;YAC/H,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,IAAI,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAClJ,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;QAC1D,OAAO;YACL,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;SAChG,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,iBAAiB,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;YAC1D,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;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,IAAI,MAAM,CAAC,UAAU,CAAC,yBAAyB,CAAC;QAAE,OAAO,yBAAyB,CAAC;IACnF,IAAI,MAAM,CAAC,UAAU,CAAC,mBAAmB,CAAC;QAAE,OAAO,kBAAkB,CAAC;IACtE,qFAAqF;IACrF,IAAI,0CAA0C,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,cAAc,CAAC;IACnF,OAAO,MAAM,CAAC;AAChB,CAAC;AAcD;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAa;IAClD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QACnD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QAC/B,MAAM,GAAG,GAAG,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9E,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAClD,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,IAAI;YAAE,QAAQ,IAAI,CAAC,CAAC;;YAAM,UAAU,IAAI,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;SACnC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;SAC7C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3E,OAAO,EAAE,YAAY,EAAE,QAAQ,GAAG,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;AACjF,CAAC;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;;;;;;;GAOG;AACH,SAAS,0BAA0B,CAAC,IAUnC;IACC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,IAAI,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC;IAC1F,OAAO;QACL,QAAQ,EAAE,KAAK;QACf,MAAM;QACN,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,mBAAmB,EAAE,IAAI;QACzB,eAAe,EAAE,IAAI,CAAC,SAAS;QAC/B,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClD,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxD,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,IAAI,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACpF,CAAC;AACJ,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,MAAM,eAAe,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,wBAAwB,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACxF,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,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,KAAK,GAAG,0BAA0B,CAAC;oBACjC,UAAU,EAAE,UAAU,EAAE,mBAAmB,IAAI,CAAC;oBAChD,eAAe,EAAE,oBAAoB,GAAG,EAAE;oBAC1C,eAAe,EAAE,uBAAuB;oBACxC,SAAS;oBACT,OAAO;oBACP,SAAS,EAAE,GAAG,EAAE,UAAU;oBAC1B,kBAAkB;iBACnB,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,eAAe,KAAK,IAAI,IAAI,uBAAuB,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;gBACpF,gEAAgE;gBAChE,iEAAiE;gBACjE,oEAAoE;gBACpE,oEAAoE;gBACpE,sEAAsE;gBACtE,sEAAsE;gBACtE,EAAE;gBACF,wEAAwE;gBACxE,sEAAsE;gBACtE,6DAA6D;gBAC7D,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;gBACtF,KAAK,GAAG,0BAA0B,CAAC;oBACjC,UAAU,EAAE,UAAU,EAAE,mBAAmB,IAAI,CAAC;oBAChD,eAAe,EAAE,aAAa,eAAe,EAAE;oBAC/C,eAAe,EAAE,eAAe,eAAe,EAAE;oBACjD,SAAS;oBACT,OAAO;oBACP,SAAS,EAAE,GAAG,EAAE,UAAU;oBAC1B,kBAAkB;iBACnB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GAAG,eAAe,KAAK,IAAI;oBACrC,CAAC,CAAC,eAAe,eAAe,EAAE;oBAClC,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

@@ -10,7 +10,6 @@ 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;
     posting_window_ms: number;
     post_batch_size: number;
     maxClaimsPerOperator?: number;
@@ -22,7 +21,7 @@ export interface GeneratorConfig {
     admissionMode?: AdmissionMode;
 }
 export declare const DEFAULT_GENERATOR_CONFIG: GeneratorConfig;
-export type SweRebenchV2PoolCountKind = 'unposted' | 'live' | 'repostable' | 'saturated' | 'abandoned';
+export type SweRebenchV2PoolCountKind = 'unposted' | 'live' | 'repostable' | 'saturated';
 export interface SweRebenchV2PoolCounts {
     poolSize: number;
     posted: number;
@@ -30,30 +29,40 @@ export interface SweRebenchV2PoolCounts {
     live: number;
     repostable: number;
     saturated: number;
-    abandoned: number;
+}
+/** Per-instance on-chain claim-budget snapshot, keyed by instance_id, derived
+ *  by the generator from DiscoveryAPI.getInstanceClaimCounts joined on the
+ *  instance's last_task_id (#802). */
+export interface InstanceClaimSnapshot {
+    consumed: number;
+    maxClaims: number;
 }
 export interface SelectArgs {
     pool: PoolTask[];
     counters: Map<string, TaskCounters>;
     config: GeneratorConfig;
     now: number;
+    /** Per-instance claim-budget snapshot (#802). Absent entry ⇒ no live posting
+     *  observed on-chain for that instance. */
+    claimCounts?: Map<string, InstanceClaimSnapshot>;
     /** Language of the most-recently-posted task; used to bias toward a different
      *  language for round-robin balancing. */
     lastPostedLanguage?: string;
 }
-export declare function classifyPoolTask(counters: TaskCounters, config: GeneratorConfig, now: number): SweRebenchV2PoolCountKind;
+export declare function classifyPoolTask(counters: TaskCounters, config: GeneratorConfig, claim: InstanceClaimSnapshot | undefined, now: number): SweRebenchV2PoolCountKind;
 export declare function summarizePoolState(args: SelectArgs): SweRebenchV2PoolCounts;
 /**
  * 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
- *   - no live posting within posting_window_ms
+ * Eligibility (#802):
+ *   - successful_count[task] < N_target_successes (else saturated)
+ *   - the instance has no live on-chain posting: either unposted, or its
+ *     last posting's claim budget is exhausted (consumed >= maxClaims) or has
+ *     left the claimable set.
  *
- * 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).
+ * Among eligible tasks, prefer a different language than the last-posted one.
+ * Tie-break by lower posted_count, then earliest last_posted_at, then
+ * 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

@@ -7,19 +7,46 @@
  */
 export const DEFAULT_GENERATOR_CONFIG = {
     N_target_successes: 5,
-    N_max_postings_per_task: 10,
-    posting_window_ms: 24 * 60 * 60 * 1000,
+    // #802: the repost trigger is claim-budget exhaustion (indexer-observed), not
+    // a posting count. The former N_max_postings_per_task abandon cap is removed —
+    // hard instances retry indefinitely until they reach N successes.
+    posting_window_ms: 24 * 60 * 60 * 1000, // on-chain claim-window deadline only (AC#5)
     post_batch_size: 25,
     claimLeaseTtlSeconds: 60 * 60,
 };
-export function classifyPoolTask(counters, config, now) {
+export function classifyPoolTask(counters, config, claim, now) {
+    // saturated is the first branch and is unchanged (AC#2).
     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)
+    // Never posted ⇒ unposted.
+    if (counters.posted === 0 || !counters.last_task_id)
         return 'unposted';
-    return now - counters.last_posted_at >= config.posting_window_ms ? 'repostable' : 'live';
+    // #826/#850 deadlock fix: the on-chain claim window (last_posted_at +
+    // posting_window_ms) closes independently of budget consumption. Once it
+    // passes, TaskCoordinator.claimTask reverts TCClaimWindowClosed
+    // (contracts/src/tasks/TaskCoordinator.sol:328) — the remaining slots are
+    // permanently unclaimable, so the exhaustion trigger below can never fire and
+    // the posting would strand `live` forever. Window expiry is NOT an on-chain
+    // event or state change (no event, no flag), so it must be computed locally.
+    // Repost on EITHER exhaustion OR expiry.
+    const windowExpired = now - counters.last_posted_at >= config.posting_window_ms;
+    // Posted, but the claim snapshot has no entry for this last_task_id. The
+    // indexer never deletes task rows (finalized/refunded are flags, and the
+    // leg-1 query carries no lifecycle filter, so a finalized/refunded task is
+    // still present with consumed >= maxClaims ⇒ classified repostable below).
+    // The usual cause of a missing entry for a known last_task_id is indexing lag
+    // (or a reorg): the task was posted on-chain but the indexer has not reflected
+    // it yet. Treat it as `live` (assume not-yet-indexed) — returning `repostable`
+    // here would re-post a just-posted task before the indexer sees it
+    // (double-post, #802 #3), and in onchain mode — where getInstanceClaimCounts
+    // is an empty-success floor — would storm every posting every tick (#802 #2).
+    // BUT if the posting window has already elapsed, the post is definitively dead
+    // (claims can no longer land) and must be reposted regardless of the snapshot.
+    if (!claim)
+        return windowExpired ? 'repostable' : 'live';
+    // Live while the on-chain claim budget has slots left AND the window is open;
+    // exhausted OR window-expired ⇒ repostable.
+    return claim.consumed >= claim.maxClaims || windowExpired ? 'repostable' : 'live';
 }
 export function summarizePoolState(args) {
     const counts = {
@@ -29,37 +56,43 @@ export function summarizePoolState(args) {
         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;
+        const claim = counters.last_task_id
+            ? args.claimCounts?.get(counters.last_task_id)
+            : undefined;
+        counts[classifyPoolTask(counters, args.config, claim, args.now)] += 1;
     }
     return counts;
 }
 /**
  * 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
- *   - no live posting within posting_window_ms
+ * Eligibility (#802):
+ *   - successful_count[task] < N_target_successes (else saturated)
+ *   - the instance has no live on-chain posting: either unposted, or its
+ *     last posting's claim budget is exhausted (consumed >= maxClaims) or has
+ *     left the claimable set.
  *
- * 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).
+ * Among eligible tasks, prefer a different language than the last-posted one.
+ * Tie-break by lower posted_count, then earliest last_posted_at, then
+ * instance_id (deterministic).
  */
 export function selectNextPostingCandidates(args) {
+    const claimFor = (instanceId) => {
+        const tid = args.counters.get(instanceId)?.last_task_id;
+        return tid ? args.claimCounts?.get(tid) : undefined;
+    };
     const eligible = args.pool.filter((task) => {
         const c = args.counters.get(task.instance_id) ??
             { posted: 0, successful: 0, last_posted_at: 0 };
-        const kind = classifyPoolTask(c, args.config, args.now);
+        const kind = classifyPoolTask(c, args.config, claimFor(task.instance_id), args.now);
         return kind === 'unposted' || kind === 'repostable';
     });
     if (eligible.length === 0)
         return [];
-    // Round-robin language preference
     const differentLanguage = args.lastPostedLanguage
         ? eligible.filter((t) => t.language !== args.lastPostedLanguage)
         : eligible;
@@ -73,7 +106,19 @@ export function selectNextPostingCandidates(args) {
             return cA.last_posted_at - cB.last_posted_at;
         return a.instance_id.localeCompare(b.instance_id);
     });
-    return candidates.slice(0, args.config.post_batch_size);
+    // De-dupe instance_ids within the batch (a pool may list an instance twice);
+    // each instance gets at most one posting per tick. No abandon cap (#802).
+    const seenInstance = new Set();
+    const selected = [];
+    for (const candidate of candidates) {
+        if (selected.length >= args.config.post_batch_size)
+            break;
+        if (seenInstance.has(candidate.instance_id))
+            continue;
+        seenInstance.add(candidate.instance_id);
+        selected.push(candidate);
+    }
+    return selected;
 }
 export function selectNextPostingCandidate(args) {
     return selectNextPostingCandidates({ ...args, config: { ...args.config, post_batch_size: 1 } })[0];