@jinn-network/client 0.1.9 → 0.2.0

package/dist/solver-types/_swe-rebench-v2-empirical-tests.js

@@ -0,0 +1,67 @@
+/**
+ * Empirical F2P/P2P derivation — double-run Docker grading.
+ * Spec §5.3, PR 2.2.
+ */
+function reportSnapshot(report) {
+    return { passed: report.passed, failed: report.failed, passed_match: report.passed_match };
+}
+export function deriveF2pP2pFromReports(before, after, allTests) {
+    const beforePass = new Set(before.passed);
+    const afterPass = new Set(after.passed);
+    const FAIL_TO_PASS = allTests.filter((t) => !beforePass.has(t) && afterPass.has(t));
+    const PASS_TO_PASS = allTests.filter((t) => beforePass.has(t) && afterPass.has(t));
+    return {
+        FAIL_TO_PASS,
+        PASS_TO_PASS,
+        dead: FAIL_TO_PASS.length === 0,
+    };
+}
+export async function runEmpiricalTestDerivation(input, runner) {
+    const baseArgs = {
+        instance_id: input.instance_id,
+        repo: input.repo,
+        image: input.image,
+        test_patch: input.test_patch,
+        install: input.install,
+        test_cmd: input.test_cmd,
+        log_parser: input.log_parser,
+        fail_to_pass: [],
+        pass_to_pass: [],
+    };
+    const before = await runner.runEval({ ...baseArgs, patch: input.broken_patch });
+    const after = await runner.runEval({ ...baseArgs, patch: input.gold_patch });
+    const allTests = [...new Set([...before.passed, ...before.failed, ...after.passed, ...after.failed])];
+    return {
+        ...deriveF2pP2pFromReports(before, after, allTests),
+        before: reportSnapshot(before),
+        after: reportSnapshot(after),
+    };
+}
+/**
+ * Execute the hardened evidence matrix for one already-targeted test command.
+ * Deliberately returns parser observations rather than deriving verdict sets:
+ * the differential receipt owns stability, uniqueness, and F2P policy.
+ */
+export async function runTargetedEmpiricalTestDerivation(input, runner) {
+    const baseArgs = {
+        instance_id: input.instance_id,
+        repo: input.repo,
+        image: input.image,
+        test_patch: input.test_patch,
+        install: input.install,
+        test_cmd: input.test_cmd,
+        log_parser: input.log_parser,
+        fail_to_pass: [],
+        pass_to_pass: [],
+    };
+    const firstBroken = reportSnapshot(await runner.runEval({ ...baseArgs, patch: input.broken_patch }));
+    const secondBroken = reportSnapshot(await runner.runEval({ ...baseArgs, patch: input.broken_patch }));
+    const firstFixed = reportSnapshot(await runner.runEval({ ...baseArgs, patch: input.gold_patch }));
+    const secondFixed = reportSnapshot(await runner.runEval({ ...baseArgs, patch: input.gold_patch }));
+    return {
+        testPath: input.normalizedTestPath,
+        broken: [firstBroken, secondBroken],
+        fixed: [firstFixed, secondFixed],
+    };
+}
+//# sourceMappingURL=_swe-rebench-v2-empirical-tests.js.map

package/dist/solver-types/_swe-rebench-v2-empirical-tests.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_swe-rebench-v2-empirical-tests.js","sourceRoot":"","sources":["../../src/solver-types/_swe-rebench-v2-empirical-tests.ts"],"names":[],"mappings":"AAAA;;;GAGG;AA2CH,SAAS,cAAc,CAAC,MAAqE;IAC3F,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,CAAC;AAC7F,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,MAAsB,EACtB,KAAqB,EACrB,QAAkB;IAElB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACnF,OAAO;QACL,YAAY;QACZ,YAAY;QACZ,IAAI,EAAE,YAAY,CAAC,MAAM,KAAK,CAAC;KAChC,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,KAAmC,EACnC,MAAkB;IAElB,MAAM,QAAQ,GAAG;QACf,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,YAAY,EAAE,EAAc;QAC5B,YAAY,EAAE,EAAc;KAC7B,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;IAChF,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;IAC7E,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACtG,OAAO;QACL,GAAG,uBAAuB,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC;QACnD,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC;QAC9B,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC;KAC7B,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,KAA2C,EAC3C,MAAkB;IAElB,MAAM,QAAQ,GAAG;QACf,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,YAAY,EAAE,EAAc;QAC5B,YAAY,EAAE,EAAc;KAC7B,CAAC;IACF,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IACrG,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IACtG,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAClG,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IACnG,OAAO;QACL,QAAQ,EAAE,KAAK,CAAC,kBAAkB;QAClC,MAAM,EAAE,CAAC,WAAW,EAAE,YAAY,CAAC;QACnC,KAAK,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC;KACjC,CAAC;AACJ,CAAC"}

package/dist/solver-types/_swe-rebench-v2-escrow.d.ts

@@ -25,3 +25,5 @@ export interface EscrowInputs {
     params: EscrowParams;
 }
 export declare function computeEscrowWei(input: EscrowInputs): bigint;
+/** D1: minted tasks use complexity-weighted escrow when eligibility requests it. */
+export declare function resolveMintedTaskDeliveryRate(defaultRate: bigint, eligibility: Record<string, unknown> | undefined): bigint;

package/dist/solver-types/_swe-rebench-v2-escrow.js

@@ -23,4 +23,17 @@ export function computeEscrowWei(input) {
     const cap = MAX_MULTIPLIER * params.base_escrow_wei;
     return result > cap ? cap : result;
 }
+/** D1: minted tasks use complexity-weighted escrow when eligibility requests it. */
+export function resolveMintedTaskDeliveryRate(defaultRate, eligibility) {
+    if (!eligibility?.['syntheticEscrow'])
+        return defaultRate;
+    const inputs = eligibility['syntheticEscrowInputs'];
+    const weights = eligibility['syntheticEscrowParams'];
+    if (!inputs || !weights)
+        return defaultRate;
+    return computeEscrowWei({
+        ...inputs,
+        params: { base_escrow_wei: defaultRate, ...weights },
+    });
+}
 //# sourceMappingURL=_swe-rebench-v2-escrow.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"_swe-rebench-v2-escrow.js","sourceRoot":"","sources":["../../src/solver-types/_swe-rebench-v2-escrow.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAmBH,MAAM,cAAc,GAAG,EAAE,CAAC;AAE1B,MAAM,UAAU,gBAAgB,CAAC,KAAmB;IAClD,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC5C,MAAM,OAAO,GAAG,GAAG,GAAG,MAAM,CAAC,cAAc,CAAC;IAC5C,MAAM,SAAS,GAAG,KAAK,GAAG,MAAM,CAAC,gBAAgB,CAAC;IAClD,MAAM,SAAS,GAAG,KAAK,GAAG,MAAM,CAAC,gBAAgB,CAAC;IAClD,MAAM,UAAU,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,GAAG,OAAO,GAAG,MAAM,CAAC,IAAI,GAAG,SAAS,GAAG,MAAM,CAAC,KAAK,GAAG,SAAS,CAAC;IACnG,+BAA+B;IAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,eAAe,GAAG,MAAM,CAAC,GAAG,QAAU,CAAC;IAC9D,+BAA+B;IAC/B,MAAM,GAAG,GAAG,cAAc,GAAG,MAAM,CAAC,eAAe,CAAC;IACpD,OAAO,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;AACrC,CAAC"}
+{"version":3,"file":"_swe-rebench-v2-escrow.js","sourceRoot":"","sources":["../../src/solver-types/_swe-rebench-v2-escrow.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAmBH,MAAM,cAAc,GAAG,EAAE,CAAC;AAE1B,MAAM,UAAU,gBAAgB,CAAC,KAAmB;IAClD,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC5C,MAAM,OAAO,GAAG,GAAG,GAAG,MAAM,CAAC,cAAc,CAAC;IAC5C,MAAM,SAAS,GAAG,KAAK,GAAG,MAAM,CAAC,gBAAgB,CAAC;IAClD,MAAM,SAAS,GAAG,KAAK,GAAG,MAAM,CAAC,gBAAgB,CAAC;IAClD,MAAM,UAAU,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,GAAG,OAAO,GAAG,MAAM,CAAC,IAAI,GAAG,SAAS,GAAG,MAAM,CAAC,KAAK,GAAG,SAAS,CAAC;IACnG,+BAA+B;IAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,eAAe,GAAG,MAAM,CAAC,GAAG,QAAU,CAAC;IAC9D,+BAA+B;IAC/B,MAAM,GAAG,GAAG,cAAc,GAAG,MAAM,CAAC,eAAe,CAAC;IACpD,OAAO,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;AACrC,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,6BAA6B,CAC3C,WAAmB,EACnB,WAAgD;IAEhD,IAAI,CAAC,WAAW,EAAE,CAAC,iBAAiB,CAAC;QAAE,OAAO,WAAW,CAAC;IAC1D,MAAM,MAAM,GAAG,WAAW,CAAC,uBAAuB,CAErC,CAAC;IACd,MAAM,OAAO,GAAG,WAAW,CAAC,uBAAuB,CAEtC,CAAC;IACd,IAAI,CAAC,MAAM,IAAI,CAAC,OAAO;QAAE,OAAO,WAAW,CAAC;IAC5C,OAAO,gBAAgB,CAAC;QACtB,GAAG,MAAM;QACT,MAAM,EAAE,EAAE,eAAe,EAAE,WAAW,EAAE,GAAG,OAAO,EAAE;KACrD,CAAC,CAAC;AACL,CAAC"}

package/dist/solver-types/_swe-rebench-v2-guards.d.ts

@@ -0,0 +1,44 @@
+/**
+ * Task-creator integrity guards — public-repo gate, repo-keyed exclusion,
+ * synthetic quota, informative-band stop. Spec §7, §10.1, D5.
+ */
+export declare const SYNTHETIC_POSTING_QUOTA_FRACTION = 0.25;
+export declare const INFORMATIVE_BAND_LOW = 0.1;
+export declare const INFORMATIVE_BAND_HIGH = 0.9;
+export interface RepoDenylist {
+    repos: Set<string>;
+}
+/** Union of active held-out slate repos and cap-v0 capability-slate repos (§11). */
+export declare function loadMintRepoDenylist(opts?: {
+    capabilitySlatesDir?: string;
+}): RepoDenylist;
+export declare function assertRepoAllowedForMint(repo: string, denylist: RepoDenylist): void;
+export interface PublicRepoChecker {
+    isPublic(repo: string): Promise<boolean>;
+}
+/** GitHub API probe. Visibility is deliberately fresh for every call. */
+export declare function createGitHubPublicRepoChecker(opts?: {
+    fetchImpl?: typeof fetch;
+    token?: string;
+}): PublicRepoChecker;
+export declare function assertPublicRepoForPublish(repo: string, checker: PublicRepoChecker): Promise<void>;
+export declare function inInformativeBand(solveRate: number): boolean;
+export declare function solveRate(passed: number, attempts: number): number;
+export declare function contestedBandDistance(solveRate: number): number;
+/** Cap synthetic postings in a batch. */
+export declare function applySyntheticQuota<T extends {
+    synthetic?: boolean;
+}>(selected: T[], batchSize: number): T[];
+export interface MintFamilyState {
+    family: string;
+    attempts: number;
+    passes: number;
+    halted: boolean;
+}
+export declare function updateMintFamilyState(state: MintFamilyState, passed: boolean): MintFamilyState;
+/** Families outside [10%,90%] solve rate after ≥5 attempts — stop posting. */
+export declare function computeHaltedMintFamilies(familyStats: Array<{
+    family: string;
+    posted: number;
+    successful: number;
+}>): Set<string>;

package/dist/solver-types/_swe-rebench-v2-guards.js

@@ -0,0 +1,111 @@
+/**
+ * Task-creator integrity guards — public-repo gate, repo-keyed exclusion,
+ * synthetic quota, informative-band stop. Spec §7, §10.1, D5.
+ */
+import { loadActiveHeldOutSlateIds, ACTIVE_HELD_OUT_SLATE_VERSIONS } from './_swe-rebench-v2-held-out-slate.js';
+import { loadCapabilitySlateRepos } from '../eval/capability-slate.js';
+export const SYNTHETIC_POSTING_QUOTA_FRACTION = 0.25;
+export const INFORMATIVE_BAND_LOW = 0.1;
+export const INFORMATIVE_BAND_HIGH = 0.9;
+const SWE_REBENCH_V2_SOLVER_TYPE = 'swe-rebench-v2.v1';
+/** Union of active held-out slate repos and cap-v0 capability-slate repos (§11). */
+export function loadMintRepoDenylist(opts = {}) {
+    const slateIds = loadActiveHeldOutSlateIds(SWE_REBENCH_V2_SOLVER_TYPE, ACTIVE_HELD_OUT_SLATE_VERSIONS);
+    const repos = new Set();
+    for (const id of slateIds) {
+        const repo = repoFromSweInstanceId(id);
+        if (repo)
+            repos.add(repo);
+    }
+    for (const repo of loadCapabilitySlateRepos(opts.capabilitySlatesDir))
+        repos.add(repo);
+    return { repos };
+}
+function repoFromSweInstanceId(instanceId) {
+    const m = /^(.+)__(.+)-\d+$/.exec(instanceId);
+    return m ? `${m[1]}/${m[2]}` : null;
+}
+export function assertRepoAllowedForMint(repo, denylist) {
+    if (denylist.repos.has(repo)) {
+        throw new Error(`mint refused: repo ${repo} is on the held-out denylist`);
+    }
+}
+/** GitHub API probe. Visibility is deliberately fresh for every call. */
+export function createGitHubPublicRepoChecker(opts = {}) {
+    const fetchImpl = opts.fetchImpl ?? fetch;
+    return {
+        async isPublic(repo) {
+            const parts = repo.split('/');
+            if (parts.length !== 2 || !parts[0] || !parts[1])
+                return false;
+            const [owner, name] = parts;
+            const headers = { Accept: 'application/vnd.github+json' };
+            if (opts.token)
+                headers.Authorization = `Bearer ${opts.token}`;
+            const res = await fetchImpl(`https://api.github.com/repos/${encodeURIComponent(owner)}/${encodeURIComponent(name)}`, { headers });
+            if (!res.ok)
+                return false;
+            const body = await res.json().catch(() => null);
+            return typeof body === 'object' && body !== null &&
+                body.private === false;
+        },
+    };
+}
+export async function assertPublicRepoForPublish(repo, checker) {
+    if (!(await checker.isPublic(repo))) {
+        throw new Error(`publish refused: repo ${repo} is not public (D5)`);
+    }
+}
+export function inInformativeBand(solveRate) {
+    return solveRate >= INFORMATIVE_BAND_LOW && solveRate <= INFORMATIVE_BAND_HIGH;
+}
+export function solveRate(passed, attempts) {
+    if (attempts === 0)
+        return 0;
+    return passed / attempts;
+}
+export function contestedBandDistance(solveRate) {
+    return Math.abs(solveRate - 0.5);
+}
+/** Cap synthetic postings in a batch. */
+export function applySyntheticQuota(selected, batchSize) {
+    const maxSynthetic = Math.floor(batchSize * SYNTHETIC_POSTING_QUOTA_FRACTION);
+    let syntheticCount = 0;
+    const out = [];
+    for (const item of selected) {
+        if (item.synthetic) {
+            if (syntheticCount >= maxSynthetic)
+                continue;
+            syntheticCount += 1;
+        }
+        out.push(item);
+        if (out.length >= batchSize)
+            break;
+    }
+    return out;
+}
+export function updateMintFamilyState(state, passed) {
+    const attempts = state.attempts + 1;
+    const passes = state.passes + (passed ? 1 : 0);
+    const rate = solveRate(passes, attempts);
+    const halted = attempts >= 5 && !inInformativeBand(rate);
+    return { ...state, attempts, passes, halted };
+}
+/** Families outside [10%,90%] solve rate after ≥5 attempts — stop posting. */
+export function computeHaltedMintFamilies(familyStats) {
+    const byFamily = new Map();
+    for (const row of familyStats) {
+        const cur = byFamily.get(row.family) ?? { posted: 0, successful: 0 };
+        cur.posted += row.posted;
+        cur.successful += row.successful;
+        byFamily.set(row.family, cur);
+    }
+    const halted = new Set();
+    for (const [family, stats] of byFamily) {
+        if (stats.posted >= 5 && !inInformativeBand(solveRate(stats.successful, stats.posted))) {
+            halted.add(family);
+        }
+    }
+    return halted;
+}
+//# sourceMappingURL=_swe-rebench-v2-guards.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"_swe-rebench-v2-guards.js","sourceRoot":"","sources":["../../src/solver-types/_swe-rebench-v2-guards.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,yBAAyB,EAAE,8BAA8B,EAAE,MAAM,qCAAqC,CAAC;AAChH,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAC;AAEvE,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,CAAC;AACrD,MAAM,CAAC,MAAM,oBAAoB,GAAG,GAAG,CAAC;AACxC,MAAM,CAAC,MAAM,qBAAqB,GAAG,GAAG,CAAC;AAMzC,MAAM,0BAA0B,GAAG,mBAAmB,CAAC;AAEvD,oFAAoF;AACpF,MAAM,UAAU,oBAAoB,CAAC,OAAyC,EAAE;IAC9E,MAAM,QAAQ,GAAG,yBAAyB,CAAC,0BAA0B,EAAE,8BAA8B,CAAC,CAAC;IACvG,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,qBAAqB,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,IAAI;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,wBAAwB,CAAC,IAAI,CAAC,mBAAmB,CAAC;QAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvF,OAAO,EAAE,KAAK,EAAE,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAAC,UAAkB;IAC/C,MAAM,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9C,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,IAAY,EAAE,QAAsB;IAC3E,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,8BAA8B,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC;AAMD,yEAAyE;AACzE,MAAM,UAAU,6BAA6B,CAAC,OAG1C,EAAE;IACJ,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,KAAK,CAAC;IAC1C,OAAO;QACL,KAAK,CAAC,QAAQ,CAAC,IAAY;YACzB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC/D,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,KAAyB,CAAC;YAChD,MAAM,OAAO,GAA2B,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC;YAClF,IAAI,IAAI,CAAC,KAAK;gBAAE,OAAO,CAAC,aAAa,GAAG,UAAU,IAAI,CAAC,KAAK,EAAE,CAAC;YAC/D,MAAM,GAAG,GAAG,MAAM,SAAS,CACzB,gCAAgC,kBAAkB,CAAC,KAAK,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,EACvF,EAAE,OAAO,EAAE,CACZ,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,EAAE;gBAAE,OAAO,KAAK,CAAC;YAC1B,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAY,CAAC;YAC3D,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;gBAC7C,IAA8B,CAAC,OAAO,KAAK,KAAK,CAAC;QACtD,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,IAAY,EACZ,OAA0B;IAE1B,IAAI,CAAC,CAAC,MAAM,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,qBAAqB,CAAC,CAAC;IACtE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,SAAS,IAAI,oBAAoB,IAAI,SAAS,IAAI,qBAAqB,CAAC;AACjF,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,MAAc,EAAE,QAAgB;IACxD,IAAI,QAAQ,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC7B,OAAO,MAAM,GAAG,QAAQ,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,SAAiB;IACrD,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC;AACnC,CAAC;AAED,yCAAyC;AACzC,MAAM,UAAU,mBAAmB,CACjC,QAAa,EACb,SAAiB;IAEjB,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,gCAAgC,CAAC,CAAC;IAC9E,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,MAAM,GAAG,GAAQ,EAAE,CAAC;IACpB,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,IAAI,cAAc,IAAI,YAAY;gBAAE,SAAS;YAC7C,cAAc,IAAI,CAAC,CAAC;QACtB,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,IAAI,GAAG,CAAC,MAAM,IAAI,SAAS;YAAE,MAAM;IACrC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AASD,MAAM,UAAU,qBAAqB,CACnC,KAAsB,EACtB,MAAe;IAEf,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,QAAQ,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACzD,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,yBAAyB,CACvC,WAA0E;IAE1E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkD,CAAC;IAC3E,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;QACrE,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC;QACzB,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,UAAU,CAAC;QACjC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAChC,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YACvF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/solver-types/_swe-rebench-v2-harvest-state.d.ts

@@ -0,0 +1,191 @@
+/**
+ * Durable commit-echo harvest state.
+ *
+ * The v2 file separates repository discovery cursors from independently
+ * resumable build/task jobs.  A candidate is written as a job in the same
+ * atomic file update that advances the cursor, so a process crash can create
+ * at worst a duplicate discovery attempt, never a lost commit.
+ */
+import type { DifferentialAdmissionReceiptV2 } from './_swe-rebench-v2-differential-admission.js';
+declare const SCHEMA_VERSION: "swe-rebench-v2-harvest-state.v2";
+export declare const MAX_HARVEST_INFRA_RETRIES = 3;
+/** Stable awaiting-input reason prefixes used to decide safe requeue policy. */
+export declare const AWAITING_RECIPE_REQUIRED: "awaiting_input:recipe-required";
+export declare const AWAITING_RECIPE_BINDING_MISMATCH: "awaiting_input:recipe-binding-mismatch";
+export declare const AWAITING_TEST_PATCH_REQUIRED: "awaiting_input:test-patch-required";
+export declare const AWAITING_TARGETED_TEST_COMMAND_REQUIRED: "awaiting_input:unsupported-test-targeting";
+/** A local receipt exists, but no public CID may be invented during --no-post harvesting. */
+export declare const AWAITING_RECEIPT_PUBLICATION_REQUIRED: "awaiting_input:receipt-publication-required";
+export declare function isRecipeAwaitingReason(reason: string | undefined): boolean;
+export interface HarvestRepoState {
+    lastScannedCommit: string;
+    /** Retained solely to read old v1 local state. New callers use jobs. */
+    rejected: Record<string, {
+        reason: string;
+        at: string;
+    }>;
+}
+export type HarvestJobStage = 'discovered' | 'recipe' | 'image' | 'environment' | 'empirical' | 'admission' | 'ipfs' | 'complete';
+export type HarvestJobDisposition = 'pending' | 'retrying' | 'admitted' | 'terminal_policy' | 'awaiting_input' | 'quarantined' | 'failed_infrastructure';
+/** Local-only candidate data required to resume a discovered task. */
+export interface HarvestJobCandidate {
+    instance_id: string;
+    repo: string;
+    base_commit: string;
+    fix_commit: string;
+    gold_patch: string;
+    test_patch: string;
+    test_paths: string[];
+    language: string;
+    problem_statement: string;
+}
+export interface HarvestJob {
+    taskKey: string;
+    buildKey: string;
+    repo: string;
+    baseCommit: string;
+    fixCommit: string;
+    recipeHash: string;
+    platform: 'linux/amd64';
+    stage: HarvestJobStage;
+    disposition: HarvestJobDisposition;
+    attempts: number;
+    nextAttemptAt?: string;
+    reason?: string;
+    candidate: HarvestJobCandidate;
+    artifactRefs: Record<string, string>;
+    resourceUse: Record<string, number>;
+    differentialAdmission?: DifferentialAdmissionEvidenceV2;
+    createdAt: string;
+    updatedAt: string;
+}
+export interface BoundEmpiricalEvidenceBindingV1 {
+    schemaVersion: 'swe-rebench-v2-empirical-evidence.v1';
+    task: {
+        instanceId: string;
+        repo: string;
+        baseCommit: string;
+        fixCommit: string;
+    };
+    image: {
+        reference: string;
+        digest: `sha256:${string}`;
+    };
+    environmentHash: string;
+    parser: {
+        id: string;
+        version: string;
+        digest: `sha256:${string}`;
+        bundleId: string;
+    };
+    testPatchHash: `sha256:${string}`;
+    evalSemanticsVersion: string;
+}
+export interface EmpiricalReportSnapshotV1 {
+    passed: string[];
+    failed: string[];
+    passed_match: boolean;
+}
+export interface BoundEmpiricalEvidenceV1 {
+    schemaVersion: 'swe-rebench-v2-empirical-evidence.v1';
+    binding: BoundEmpiricalEvidenceBindingV1;
+    before: EmpiricalReportSnapshotV1;
+    after: EmpiricalReportSnapshotV1;
+    recordedAt: string;
+}
+/**
+ * A separate v2 receipt checkpoint. It intentionally does not share either a
+ * key or shape with V1 empirical evidence, so hardened admission cannot treat
+ * the old one-before/one-after observation as repeated causal proof.
+ */
+export interface DifferentialAdmissionEvidenceV2 {
+    schemaVersion: 'swe-rebench-v2-differential-admission-evidence.v2';
+    admissionPolicyVersion: 'swe-rebench-v2-differential-admission.v2';
+    receiptHash: `sha256:${string}`;
+    /** Sanitised public receipt retained locally for restart-safe revalidation. */
+    receipt?: DifferentialAdmissionReceiptV2;
+    receiptCid?: string;
+    recordedAt: string;
+}
+export interface HarvestStateFile {
+    schemaVersion: typeof SCHEMA_VERSION;
+    updatedAt: string;
+    repos: Record<string, HarvestRepoState>;
+    jobs: Record<string, HarvestJob>;
+    empiricalEvidence: Record<string, BoundEmpiricalEvidenceV1>;
+}
+export declare function harvestTaskKey(repo: string, fixCommit: string): string;
+export declare function harvestBuildKey(repo: string, baseCommit: string, recipeHash: string, platform: 'linux/amd64'): string;
+export declare function empiricalEvidenceKey(binding: BoundEmpiricalEvidenceBindingV1): string;
+/** Classify a failed step without mistaking missing operator input for denial. */
+export declare function classifyHarvestFailure(reason: string): Exclude<HarvestJobDisposition, 'pending' | 'admitted'>;
+export declare class HarvestStateStore {
+    private readonly file;
+    private cache;
+    constructor(opts: {
+        stateDir: string;
+    });
+    private fresh;
+    private migrateV1;
+    private load;
+    private persist;
+    getRepo(repoKey: string): Promise<HarvestRepoState | null>;
+    setLastScannedCommit(repoKey: string, commit: string): Promise<void>;
+    /** Compatibility shim for old callers; v2 callers should record a job disposition. */
+    recordRejected(repoKey: string, instanceId: string, reason: string): Promise<void>;
+    isRejected(repoState: HarvestRepoState | null, instanceId: string): boolean;
+    /**
+     * Atomically write new task jobs before advancing a repo cursor. Existing
+     * task keys are preserved, making discovery idempotent after restart.
+     */
+    persistDiscoveredJobs(args: {
+        repo: string;
+        cursor: string;
+        candidates: HarvestJobCandidate[];
+        recipeHash?: string;
+        platform?: 'linux/amd64';
+    }): Promise<HarvestJob[]>;
+    getJob(taskKey: string): Promise<HarvestJob | null>;
+    getDueJobs(now?: Date): Promise<HarvestJob[]>;
+    /**
+     * Re-open only awaiting-input jobs whose newly supplied trusted recipe
+     * explicitly claims them. This never revives policy/quarantine failures and
+     * leaves an incompatible configuration inert, preventing per-tick churn.
+     */
+    resumeAwaitingInputJobs(args: {
+        repo: string;
+        recipeHash: string;
+        platform?: 'linux/amd64';
+        predicate: (job: Readonly<HarvestJob>) => boolean;
+    }): Promise<HarvestJob[]>;
+    /**
+     * Re-open local receipt evidence only when this tick is allowed to publish.
+     * Its environment/receipt binding remains intact; only the terminal waiting
+     * disposition changes, so no empirical evidence is rerun just to acquire a
+     * CID.
+     */
+    resumeAwaitingPublicationJobs(args: {
+        repo: string;
+        recipeHash: string;
+        predicate: (job: Readonly<HarvestJob>) => boolean;
+    }): Promise<HarvestJob[]>;
+    /**
+     * A retried job may receive a different explicit recipe for the same base
+     * commit. Its old checkpoint bindings must not cross that boundary: retain
+     * the task key, but start a fresh environment chain under the new build key.
+     */
+    rebindJobRecipe(args: {
+        taskKey: string;
+        recipeHash: string;
+        platform?: 'linux/amd64';
+    }): Promise<HarvestJob>;
+    updateJob(taskKey: string, update: Partial<Pick<HarvestJob, 'stage' | 'artifactRefs' | 'resourceUse' | 'reason' | 'nextAttemptAt' | 'differentialAdmission'>>): Promise<HarvestJob>;
+    markJobAdmitted(taskKey: string): Promise<HarvestJob>;
+    markJobFailure(taskKey: string, reason: string, opts?: {
+        now?: Date;
+        retryDelayMs?: number;
+    }): Promise<HarvestJob>;
+    getEmpiricalEvidence(binding: BoundEmpiricalEvidenceBindingV1): Promise<BoundEmpiricalEvidenceV1 | null>;
+    recordEmpiricalEvidence(evidence: BoundEmpiricalEvidenceV1): Promise<void>;
+}
+export {};