@jinn-network/client 0.1.7 → 0.1.8-canary.09a3b2f6

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];

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

@@ -1 +1 @@
-{"version":3,"file":"swe-rebench-v2-auto.js","sourceRoot":"","sources":["../../src/solver-types/swe-rebench-v2-auto.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAoBH,MAAM,CAAC,MAAM,wBAAwB,GAAoB;IACvD,kBAAkB,EAAE,CAAC;IACrB,uBAAuB,EAAE,EAAE;IAC3B,iBAAiB,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI;IACtC,eAAe,EAAE,EAAE;IACnB,oBAAoB,EAAE,EAAE,GAAG,EAAE;CAC9B,CAAC;AA6BF,MAAM,UAAU,gBAAgB,CAC9B,QAAsB,EACtB,MAAuB,EACvB,GAAW;IAEX,IAAI,QAAQ,CAAC,UAAU,IAAI,MAAM,CAAC,kBAAkB;QAAE,OAAO,WAAW,CAAC;IACzE,IAAI,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,uBAAuB;QAAE,OAAO,WAAW,CAAC;IAC1E,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,cAAc,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC;IAC9E,OAAO,GAAG,GAAG,QAAQ,CAAC,cAAc,IAAI,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAgB;IACjD,MAAM,MAAM,GAA2B;QACrC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM;QAC1B,MAAM,EAAE,CAAC;QACT,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE,CAAC;QACP,UAAU,EAAE,CAAC;QACb,SAAS,EAAE,CAAC;QACZ,SAAS,EAAE,CAAC;KACb,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC;YACnC,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;QAClD,MAAM,CAAC,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,2BAA2B,CAAC,IAAgB;IAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QACzC,MAAM,CAAC,GACL,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC;YACnC,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACxD,OAAO,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,YAAY,CAAC;IACtD,CAAC,CAAC,CAAC;IACH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAErC,kCAAkC;IAClC,MAAM,iBAAiB,GAAG,IAAI,CAAC,kBAAkB;QAC/C,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,kBAAkB,CAAC;QAChE,CAAC,CAAC,QAAQ,CAAC;IACb,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC;IAE/E,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACvB,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;QAC/F,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;QAC/F,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC;QAC1D,IAAI,EAAE,CAAC,cAAc,KAAK,EAAE,CAAC,cAAc;YAAE,OAAO,EAAE,CAAC,cAAc,GAAG,EAAE,CAAC,cAAc,CAAC;QAC1F,OAAO,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,IAAgB;IACzD,OAAO,2BAA2B,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACrG,CAAC"}
+{"version":3,"file":"swe-rebench-v2-auto.js","sourceRoot":"","sources":["../../src/solver-types/swe-rebench-v2-auto.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAmBH,MAAM,CAAC,MAAM,wBAAwB,GAAoB;IACvD,kBAAkB,EAAE,CAAC;IACrB,8EAA8E;IAC9E,+EAA+E;IAC/E,kEAAkE;IAClE,iBAAiB,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,6CAA6C;IACrF,eAAe,EAAE,EAAE;IACnB,oBAAoB,EAAE,EAAE,GAAG,EAAE;CAC9B,CAAC;AAsCF,MAAM,UAAU,gBAAgB,CAC9B,QAAsB,EACtB,MAAuB,EACvB,KAAwC,EACxC,GAAW;IAEX,yDAAyD;IACzD,IAAI,QAAQ,CAAC,UAAU,IAAI,MAAM,CAAC,kBAAkB;QAAE,OAAO,WAAW,CAAC;IACzE,2BAA2B;IAC3B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY;QAAE,OAAO,UAAU,CAAC;IACvE,sEAAsE;IACtE,yEAAyE;IACzE,gEAAgE;IAChE,0EAA0E;IAC1E,8EAA8E;IAC9E,4EAA4E;IAC5E,6EAA6E;IAC7E,yCAAyC;IACzC,MAAM,aAAa,GAAG,GAAG,GAAG,QAAQ,CAAC,cAAc,IAAI,MAAM,CAAC,iBAAiB,CAAC;IAChF,yEAAyE;IACzE,yEAAyE;IACzE,2EAA2E;IAC3E,2EAA2E;IAC3E,8EAA8E;IAC9E,+EAA+E;IAC/E,+EAA+E;IAC/E,mEAAmE;IACnE,6EAA6E;IAC7E,8EAA8E;IAC9E,+EAA+E;IAC/E,+EAA+E;IAC/E,IAAI,CAAC,KAAK;QAAE,OAAO,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC;IACzD,8EAA8E;IAC9E,4CAA4C;IAC5C,OAAO,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,SAAS,IAAI,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAgB;IACjD,MAAM,MAAM,GAA2B;QACrC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM;QAC1B,MAAM,EAAE,CAAC;QACT,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE,CAAC;QACP,UAAU,EAAE,CAAC;QACb,SAAS,EAAE,CAAC;KACb,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC;YACnC,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;QAClD,MAAM,KAAK,GAAG,QAAQ,CAAC,YAAY;YACjC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC;YAC9C,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,CAAC,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,2BAA2B,CAAC,IAAgB;IAC1D,MAAM,QAAQ,GAAG,CAAC,UAAkB,EAAqC,EAAE;QACzE,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,YAAY,CAAC;QACxD,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtD,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QACzC,MAAM,CAAC,GACL,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC;YACnC,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACpF,OAAO,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,YAAY,CAAC;IACtD,CAAC,CAAC,CAAC;IACH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAErC,MAAM,iBAAiB,GAAG,IAAI,CAAC,kBAAkB;QAC/C,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,kBAAkB,CAAC;QAChE,CAAC,CAAC,QAAQ,CAAC;IACb,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC;IAE/E,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACvB,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;QAC/F,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;QAC/F,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC;QAC1D,IAAI,EAAE,CAAC,cAAc,KAAK,EAAE,CAAC,cAAc;YAAE,OAAO,EAAE,CAAC,cAAc,GAAG,EAAE,CAAC,cAAc,CAAC;QAC1F,OAAO,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,6EAA6E;IAC7E,0EAA0E;IAC1E,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,MAAM,QAAQ,GAAe,EAAE,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,eAAe;YAAE,MAAM;QAC1D,IAAI,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC;YAAE,SAAS;QACtD,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,IAAgB;IACzD,OAAO,2BAA2B,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACrG,CAAC"}

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

@@ -25,7 +25,9 @@ export interface SweRebenchV2ClaimPolicyRuntimeConfig {
     claimLeaseTtlSeconds?: number;
 }
 export type SweRebenchV2GeneratorRuntimeConfig = Partial<GeneratorConfig> & {
-    /** @deprecated ignored; posting_window_ms controls repost timing. */
+    /** @deprecated ignored. Reposts now trigger on claim-budget exhaustion
+     *  observed via the indexer (#802); posting_window_ms is only the on-chain
+     *  claim-window deadline, not a repost timer. */
     cooldown_ms?: number;
     /** @deprecated legacy nested shape tolerated on read and flattened on write. */
     claimPolicy?: SweRebenchV2ClaimPolicyRuntimeConfig;
@@ -38,9 +40,13 @@ export interface SweRebenchV2AutoConfig {
 export interface SweRebenchV2GeneratorStaticConfig {
     stateDir?: string;
     ipfsRegistryUrl?: string;
+    /** IPFS gateway for the fresh-volume pool-recovery fetch (#957). */
+    ipfsGatewayUrl?: string;
     agentEoa?: `0x${string}`;
     safeAddress?: `0x${string}`;
     agentPrivateKey?: `0x${string}`;
+    /** Optional DiscoveryAPI for network-truth success reconciliation (#669). */
+    discoveryApi?: import('../discovery/types.js').DiscoveryAPI;
 }
 export interface MakeSweRebenchV2GeneratorForLaunchedRecordOpts {
     recordRef: {
@@ -61,7 +67,6 @@ export interface SweRebenchV2GeneratorStateSnapshot {
         live: number;
         repostable: number;
         saturated: number;
-        abandoned: number;
     };
     lastError?: {
         message: string;
@@ -70,6 +75,9 @@ export interface SweRebenchV2GeneratorStateSnapshot {
     totalPosted: number;
     lastPostedInstanceId?: string;
     config: GeneratorConfig;
+    poolPublicationUpdatedAt?: string;
+    poolPublicationPriorSize?: number;
+    poolPublicationCurrentSize?: number;
 }
 export type SweRebenchV2GeneratorTick = TaskGenerator & {
     getState: () => SweRebenchV2GeneratorStateSnapshot;