@jinn-network/client 0.1.9 → 0.2.0

package/dist/solver-types/_swe-rebench-v2-session-echo.js

@@ -0,0 +1,193 @@
+/**
+ * Session-echo miner — mints locally captured task-creator sessions
+ * (`MineableTraceRecord`s, Task 6) into mint candidates. Spec §5.2/§7/§10.
+ *
+ * v0 is session-echo only (whole `acceptedDiff` as gold, one candidate per
+ * record) — see {@link buildSessionEchoMintCandidate} in
+ * `_swe-rebench-v2-harvest.ts`. Structurally mirrors `runHarvestTick`
+ * (`../daemon/harvest-loop.ts`): per record, denylist gate → find source
+ * instance → build candidate → admit → `markMined`, so a record is never
+ * reprocessed regardless of outcome.
+ */
+import { mineableTraceRecordFromStored, } from './_swe-rebench-v2-mineable-store.js';
+import { admitBuiltMintCandidates, buildSessionEchoMintCandidate, findSourceInstanceForRepo, sessionEchoInstanceId, } from './_swe-rebench-v2-harvest.js';
+import { assertPublicRepoForPublish, assertRepoAllowedForMint, loadMintRepoDenylist, } from './_swe-rebench-v2-guards.js';
+import { mintedIpfsDatasetCid, parseMintedIpfsDataset } from './_swe-rebench-v2-minted-pool.js';
+import { uploadToIpfs } from '../adapters/mech/ipfs.js';
+import { EVAL_SEMANTICS_VERSION } from './_swe-rebench-v2-validated-pool.js';
+export async function mineSessionEchoes(deps) {
+    const scorableIds = await deps.validatedStore.getScorableIds(EVAL_SEMANTICS_VERSION);
+    if (!scorableIds || scorableIds.size === 0) {
+        return { discovered: 0, admitted: [], rejected: [], skipped: ['no-validated-pool'] };
+    }
+    // Newly recorded candidates always run through local mining, even when
+    // sharing is disabled. A locally minted candidate is revisited only when a
+    // preview acknowledgement (or the persisted standing acknowledgement for a
+    // later candidate) has moved its publication axis to queued.
+    const pending = (await deps.mineableStore.list()).filter((record) => record.localState === 'recorded' ||
+        (Boolean(deps.publish) && record.localState === 'minted' && record.publicationState === 'queued'));
+    const records = pending.map(mineableTraceRecordFromStored);
+    const denylist = loadMintRepoDenylist();
+    const admitted = [];
+    const rejected = [];
+    for (const record of records) {
+        const stored = pending.find((candidate) => candidate.recordId === record.sourceId);
+        if (!stored)
+            continue;
+        const provisionalId = sessionEchoInstanceId(record.repo, record.sourceId);
+        const rejectAndFinish = async (reason) => {
+            rejected.push({ instance_id: provisionalId, reason });
+            if (stored.localState === 'recorded') {
+                await deps.mineableStore.markRejected(record.sourceId, reason);
+            }
+            else {
+                // The local mint remains useful, but a failed final publication gate
+                // must not retry outbound forever.
+                await deps.mineableStore.veto(record.sourceId);
+            }
+        };
+        try {
+            assertRepoAllowedForMint(record.repo, denylist);
+        }
+        catch (err) {
+            await rejectAndFinish(err instanceof Error ? err.message : String(err));
+            continue;
+        }
+        // Belt-and-braces against second-generation echoes (spec §7): if this
+        // record's source task was itself a synthetic mint (its instance_id
+        // already lives in the minted pool), refuse before spending any Docker
+        // time building a candidate. The engine's pack()-hook skip is the
+        // primary guard; this catches records that predate that fix or that
+        // otherwise slipped through.
+        if (record.sourceInstanceId) {
+            const mintedEntries = await deps.mintedStore.listEntries(EVAL_SEMANTICS_VERSION);
+            const sourceIsSynthetic = mintedEntries.some((entry) => entry.row.instance_id === record.sourceInstanceId);
+            if (sourceIsSynthetic) {
+                await rejectAndFinish('synthetic-source');
+                continue;
+            }
+        }
+        // A prior tick may have committed the local mint (or even its IPFS
+        // artifact) before the contribution record advanced. Resume from that
+        // durable state without repeating Docker evaluation or overwriting it.
+        const existingMint = await deps.mintedStore.getEntry(provisionalId, EVAL_SEMANTICS_VERSION);
+        if (existingMint) {
+            admitted.push(provisionalId);
+            if (stored.publicationState === 'queued' && deps.publish) {
+                try {
+                    await deps.mineableStore.publishAuthorized(record.sourceId, async () => {
+                        let publicationRef = existingMint.published
+                            ? existingMint.hf_dataset
+                            : undefined;
+                        if (existingMint.published && !parseMintedIpfsDataset(existingMint.hf_dataset)) {
+                            throw new Error(`published mint ${provisionalId} has no IPFS artifact reference`);
+                        }
+                        if (!publicationRef) {
+                            const artifact = await deps.mintedStore.exportArtifact(EVAL_SEMANTICS_VERSION, {
+                                generatedAt: existingMint.mintedAt,
+                                includeIds: [provisionalId],
+                            });
+                            await assertPublicRepoForPublish(record.repo, deps.publicRepoChecker);
+                            const cid = await uploadToIpfs(deps.ipfsRegistryUrl, artifact);
+                            await deps.mintedStore.setPublishedArtifact(EVAL_SEMANTICS_VERSION, cid, [provisionalId], { rowHashVersion: 1 });
+                            await deps.progress?.onIpfsPublished?.({
+                                instanceIds: [provisionalId],
+                                rowHashVersion: 1,
+                                artifactCid: cid,
+                            });
+                            publicationRef = mintedIpfsDatasetCid(cid);
+                        }
+                        return {
+                            value: undefined,
+                            mintRef: provisionalId,
+                            publicationRef,
+                        };
+                    });
+                }
+                catch (error) {
+                    rejected.push({
+                        instance_id: provisionalId,
+                        reason: error instanceof Error ? error.message : String(error),
+                    });
+                    // The local mint remains useful even when consent/repo publication
+                    // authorization disappeared before outbound I/O.
+                    await deps.mineableStore.markMinted(record.sourceId, provisionalId);
+                }
+            }
+            else if (stored.localState !== 'minted') {
+                await deps.mineableStore.markMinted(record.sourceId, provisionalId);
+            }
+            continue;
+        }
+        const source = findSourceInstanceForRepo(deps.pool, scorableIds, record.repo);
+        if (!source) {
+            await rejectAndFinish(`no admitted source instance for repo ${record.repo}`);
+            continue;
+        }
+        const builtResult = await buildSessionEchoMintCandidate({
+            record,
+            source,
+            fetcher: deps.hfFetcher,
+            runner: deps.runner,
+            minterSafe: deps.minterSafe,
+            operatorSafe: deps.operatorSafe,
+        });
+        if (!builtResult.built) {
+            await rejectAndFinish(builtResult.reason ?? 'build-failed');
+            continue;
+        }
+        // Publication is a persisted state transition, not a process-local
+        // interpretation of the old consent boolean. Disabled, preview-required,
+        // and vetoed candidates may mint locally but cause zero outbound I/O.
+        const publish = Boolean(deps.publish) && stored.publicationState === 'queued';
+        let mintResult;
+        try {
+            mintResult = await admitBuiltMintCandidates([builtResult.built], {
+                ...deps,
+                publish,
+                ...(publish ? {
+                    withPublicationAuthorization: async (_args, publishArtifact) => deps.mineableStore.publishAuthorized(record.sourceId, async () => {
+                        const cid = await publishArtifact();
+                        return {
+                            value: cid,
+                            mintRef: builtResult.built.poolTask.instance_id,
+                            publicationRef: mintedIpfsDatasetCid(cid),
+                        };
+                    }),
+                } : {}),
+            });
+        }
+        catch (error) {
+            const reason = error instanceof Error ? error.message : String(error);
+            const durableMint = await deps.mintedStore.getEntry(provisionalId, EVAL_SEMANTICS_VERSION);
+            if (durableMint) {
+                if (!admitted.includes(provisionalId))
+                    admitted.push(provisionalId);
+                rejected.push({ instance_id: provisionalId, reason });
+                await deps.mineableStore.markMinted(record.sourceId, provisionalId);
+            }
+            else {
+                await rejectAndFinish(reason);
+            }
+            continue;
+        }
+        for (const id of mintResult.admitted)
+            admitted.push(id);
+        for (const r of mintResult.rejected)
+            rejected.push(r);
+        const admittedId = mintResult.admitted[0];
+        if (admittedId) {
+            if (!publish) {
+                await deps.mineableStore.markMinted(record.sourceId, admittedId);
+            }
+        }
+        else if (stored.localState === 'recorded') {
+            await deps.mineableStore.markRejected(record.sourceId, mintResult.rejected[0]?.reason ?? 'admission-failed');
+        }
+        else if (mintResult.rejected.length > 0) {
+            await deps.mineableStore.veto(record.sourceId);
+        }
+    }
+    return { discovered: records.length, admitted, rejected, skipped: [] };
+}
+//# sourceMappingURL=_swe-rebench-v2-session-echo.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"_swe-rebench-v2-session-echo.js","sourceRoot":"","sources":["../../src/solver-types/_swe-rebench-v2-session-echo.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EACL,6BAA6B,GAC9B,MAAM,qCAAqC,CAAC;AAiB7C,OAAO,EACL,wBAAwB,EACxB,6BAA6B,EAC7B,yBAAyB,EACzB,qBAAqB,GAEtB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,0BAA0B,EAC1B,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,kCAAkC,CAAC;AAChG,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAc7E,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAyB;IAC/D,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,cAAc,CAAC,cAAc,CAAC,sBAAsB,CAAC,CAAC;IACrF,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;IACvF,CAAC;IAED,uEAAuE;IACvE,2EAA2E;IAC3E,2EAA2E;IAC3E,6DAA6D;IAC7D,MAAM,OAAO,GAAG,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAClE,MAAM,CAAC,UAAU,KAAK,UAAU;QAChC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,QAAQ,IAAI,MAAM,CAAC,gBAAgB,KAAK,QAAQ,CAAC,CAClG,CAAC;IACF,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,oBAAoB,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAmD,EAAE,CAAC;IAEpE,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,CAAC,CAAC;QACnF,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,aAAa,GAAG,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QAE1E,MAAM,eAAe,GAAG,KAAK,EAAE,MAAc,EAAiB,EAAE;YAC9D,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;YACtD,IAAI,MAAM,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBACrC,MAAM,IAAI,CAAC,aAAa,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACjE,CAAC;iBAAM,CAAC;gBACN,qEAAqE;gBACrE,mCAAmC;gBACnC,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACjD,CAAC;QACH,CAAC,CAAC;QAEF,IAAI,CAAC;YACH,wBAAwB,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAClD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,eAAe,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YACxE,SAAS;QACX,CAAC;QAED,sEAAsE;QACtE,oEAAoE;QACpE,uEAAuE;QACvE,kEAAkE;QAClE,oEAAoE;QACpE,6BAA6B;QAC7B,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;YAC5B,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,sBAAsB,CAAC,CAAC;YACjF,MAAM,iBAAiB,GAAG,aAAa,CAAC,IAAI,CAC1C,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,KAAK,MAAM,CAAC,gBAAgB,CAC7D,CAAC;YACF,IAAI,iBAAiB,EAAE,CAAC;gBACtB,MAAM,eAAe,CAAC,kBAAkB,CAAC,CAAC;gBAC1C,SAAS;YACX,CAAC;QACH,CAAC;QAED,mEAAmE;QACnE,sEAAsE;QACtE,uEAAuE;QACvE,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,aAAa,EAAE,sBAAsB,CAAC,CAAC;QAC5F,IAAI,YAAY,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YAC7B,IAAI,MAAM,CAAC,gBAAgB,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACzD,IAAI,CAAC;oBACH,MAAM,IAAI,CAAC,aAAa,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,IAAI,EAAE;wBACrE,IAAI,cAAc,GAAG,YAAY,CAAC,SAAS;4BACzC,CAAC,CAAC,YAAY,CAAC,UAAU;4BACzB,CAAC,CAAC,SAAS,CAAC;wBACd,IAAI,YAAY,CAAC,SAAS,IAAI,CAAC,sBAAsB,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;4BAC/E,MAAM,IAAI,KAAK,CAAC,kBAAkB,aAAa,iCAAiC,CAAC,CAAC;wBACpF,CAAC;wBACD,IAAI,CAAC,cAAc,EAAE,CAAC;4BACpB,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,sBAAsB,EAAE;gCAC7E,WAAW,EAAE,YAAY,CAAC,QAAQ;gCAClC,UAAU,EAAE,CAAC,aAAa,CAAC;6BAC5B,CAAC,CAAC;4BACH,MAAM,0BAA0B,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,iBAAiB,CAAC,CAAC;4BACtE,MAAM,GAAG,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;4BAC/D,MAAM,IAAI,CAAC,WAAW,CAAC,oBAAoB,CACzC,sBAAsB,EACtB,GAAG,EACH,CAAC,aAAa,CAAC,EACf,EAAE,cAAc,EAAE,CAAC,EAAE,CACtB,CAAC;4BACF,MAAM,IAAI,CAAC,QAAQ,EAAE,eAAe,EAAE,CAAC;gCACrC,WAAW,EAAE,CAAC,aAAa,CAAC;gCAC5B,cAAc,EAAE,CAAC;gCACjB,WAAW,EAAE,GAAG;6BACjB,CAAC,CAAC;4BACH,cAAc,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;wBAC7C,CAAC;wBACD,OAAO;4BACL,KAAK,EAAE,SAAS;4BAChB,OAAO,EAAE,aAAa;4BACtB,cAAc;yBACf,CAAC;oBACJ,CAAC,CAAC,CAAC;gBACL,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,QAAQ,CAAC,IAAI,CAAC;wBACZ,WAAW,EAAE,aAAa;wBAC1B,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;qBAC/D,CAAC,CAAC;oBACH,mEAAmE;oBACnE,iDAAiD;oBACjD,MAAM,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;gBACtE,CAAC;YACH,CAAC;iBAAM,IAAI,MAAM,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;gBAC1C,MAAM,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;YACtE,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,yBAAyB,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9E,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,eAAe,CAAC,wCAAwC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QAED,MAAM,WAAW,GAAG,MAAM,6BAA6B,CAAC;YACtD,MAAM;YACN,MAAM;YACN,OAAO,EAAE,IAAI,CAAC,SAAS;YACvB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,YAAY,EAAE,IAAI,CAAC,YAAY;SAChC,CAAC,CAAC;QACH,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YACvB,MAAM,eAAe,CAAC,WAAW,CAAC,MAAM,IAAI,cAAc,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QAED,mEAAmE;QACnE,yEAAyE;QACzE,sEAAsE;QACtE,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,gBAAgB,KAAK,QAAQ,CAAC;QAE9E,IAAI,UAAU,CAAC;QACf,IAAI,CAAC;YACH,UAAU,GAAG,MAAM,wBAAwB,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE;gBAC/D,GAAG,IAAI;gBACP,OAAO;gBACP,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;oBACZ,4BAA4B,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,EAAE,EAAE,CAC7D,IAAI,CAAC,aAAa,CAAC,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,KAAK,IAAI,EAAE;wBAC/D,MAAM,GAAG,GAAG,MAAM,eAAe,EAAE,CAAC;wBACpC,OAAO;4BACL,KAAK,EAAE,GAAG;4BACV,OAAO,EAAE,WAAW,CAAC,KAAM,CAAC,QAAQ,CAAC,WAAW;4BAChD,cAAc,EAAE,oBAAoB,CAAC,GAAG,CAAC;yBAC1C,CAAC;oBACJ,CAAC,CAAC;iBACL,CAAC,CAAC,CAAC,EAAE,CAAC;aACR,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,MAAM,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACtE,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,aAAa,EAAE,sBAAsB,CAAC,CAAC;YAC3F,IAAI,WAAW,EAAE,CAAC;gBAChB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC;oBAAE,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;gBACpE,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;gBACtD,MAAM,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;YACtE,CAAC;iBAAM,CAAC;gBACN,MAAM,eAAe,CAAC,MAAM,CAAC,CAAC;YAChC,CAAC;YACD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxD,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAI,UAAU,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,MAAM,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YAC5C,MAAM,IAAI,CAAC,aAAa,CAAC,YAAY,CACnC,MAAM,CAAC,QAAQ,EACf,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,kBAAkB,CACrD,CAAC;QACJ,CAAC;aAAM,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AACzE,CAAC"}

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

@@ -46,6 +46,17 @@ export declare const defaultCommandRunner: CommandRunner;
  * (e.g. local-only images that haven't been pulled from a registry).
  */
 export declare function resolveImageDigest(imageName: string, runner: CommandRunner): Promise<string | null>;
+/** Pull only a digest-qualified OCI reference before explicit-environment
+ * rechecks. Callers already bind the digest in a signed public artifact; this
+ * guard prevents the runner from treating arbitrary mutable image names as a
+ * pre-grade fetch target. */
+export declare function pullDigestQualifiedImage(imageName: string, runner: CommandRunner): Promise<boolean>;
+/**
+ * Resolve the OS/architecture of a local Docker image. Unlike the legacy
+ * benchmark recheck, explicit-environment v2 rows fail closed when this is not
+ * observable: their artifact promises a Linux/amd64 evaluator environment.
+ */
+export declare function resolveImagePlatform(imageName: string, runner: CommandRunner): Promise<'linux/amd64' | null>;
 /**
  * Resolve the upstream SWE-rebench-V2 repo's HEAD commit via `git rev-parse`.
  * Returns null when git fails (not a repo, missing, etc.).

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

@@ -72,6 +72,30 @@ export async function resolveImageDigest(imageName, runner) {
     // site relies on the digest being a comparable `sha256:` value.
     return /^sha256:[0-9a-f]{64}$/.test(digest) ? digest : null;
 }
+/** Pull only a digest-qualified OCI reference before explicit-environment
+ * rechecks. Callers already bind the digest in a signed public artifact; this
+ * guard prevents the runner from treating arbitrary mutable image names as a
+ * pre-grade fetch target. */
+export async function pullDigestQualifiedImage(imageName, runner) {
+    if (!/^.+@sha256:[0-9a-f]{64}$/u.test(imageName))
+        return false;
+    const res = await runner('docker', ['pull', imageName]);
+    return res.exitCode === 0;
+}
+/**
+ * Resolve the OS/architecture of a local Docker image. Unlike the legacy
+ * benchmark recheck, explicit-environment v2 rows fail closed when this is not
+ * observable: their artifact promises a Linux/amd64 evaluator environment.
+ */
+export async function resolveImagePlatform(imageName, runner) {
+    const res = await runner('docker', [
+        'image', 'inspect', imageName, '--format', '{{.Os}}/{{.Architecture}}',
+    ]);
+    if (res.exitCode !== 0)
+        return null;
+    const platform = res.stdout.trim();
+    return platform === 'linux/amd64' ? platform : null;
+}
 /**
  * Resolve the upstream SWE-rebench-V2 repo's HEAD commit via `git rev-parse`.
  * Returns null when git fails (not a repo, missing, etc.).

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

@@ -1 +1 @@
-{"version":3,"file":"_swe-rebench-v2-substrate.js","sourceRoot":"","sources":["../../src/solver-types/_swe-rebench-v2-substrate.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAoB3C;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,GAAiB;IAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACjE,OAAO,UAAU,GAAG,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,KAAc;IAC9C,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,MAAM,GAAG,GAAG,KAAgC,CAAC;QAC7C,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE;YAAE,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAaD,MAAM,CAAC,MAAM,oBAAoB,GAAkB,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;IACtG,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACvF,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAS,EAAE,EAAE,GAAG,MAAM,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAS,EAAE,EAAE,GAAG,MAAM,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1B,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAmB,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AAC/F,CAAC,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,SAAiB,EACjB,MAAqB;IAErB,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE;QACjC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,uBAAuB;KACnE,CAAC,CAAC;IACH,IAAI,GAAG,CAAC,QAAQ,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;IACtE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,mEAAmE;IACnE,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,EAAE,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACnC,2EAA2E;IAC3E,0EAA0E;IAC1E,gEAAgE;IAChE,OAAO,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9D,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,eAAuB,EACvB,MAAqB;IAErB,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,eAAe,EAAE,CAAC,CAAC;IACjF,IAAI,GAAG,CAAC,QAAQ,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC9B,OAAO,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC"}
+{"version":3,"file":"_swe-rebench-v2-substrate.js","sourceRoot":"","sources":["../../src/solver-types/_swe-rebench-v2-substrate.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAoB3C;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,GAAiB;IAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACjE,OAAO,UAAU,GAAG,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,KAAc;IAC9C,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,MAAM,GAAG,GAAG,KAAgC,CAAC;QAC7C,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE;YAAE,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAaD,MAAM,CAAC,MAAM,oBAAoB,GAAkB,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;IACtG,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACvF,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAS,EAAE,EAAE,GAAG,MAAM,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAS,EAAE,EAAE,GAAG,MAAM,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1B,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAmB,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AAC/F,CAAC,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,SAAiB,EACjB,MAAqB;IAErB,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE;QACjC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,uBAAuB;KACnE,CAAC,CAAC;IACH,IAAI,GAAG,CAAC,QAAQ,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;IACtE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,mEAAmE;IACnE,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,EAAE,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACnC,2EAA2E;IAC3E,0EAA0E;IAC1E,gEAAgE;IAChE,OAAO,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9D,CAAC;AAED;;;6BAG6B;AAC7B,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,SAAiB,EACjB,MAAqB;IAErB,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/D,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACxD,OAAO,GAAG,CAAC,QAAQ,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,SAAiB,EACjB,MAAqB;IAErB,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,QAAQ,EAAE;QACjC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,2BAA2B;KACvE,CAAC,CAAC;IACH,IAAI,GAAG,CAAC,QAAQ,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACnC,OAAO,QAAQ,KAAK,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,eAAuB,EACvB,MAAqB;IAErB,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,eAAe,EAAE,CAAC,CAAC;IACjF,IAAI,GAAG,CAAC,QAAQ,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC9B,OAAO,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC"}

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

@@ -0,0 +1,9 @@
+/**
+ * Synthetic task claim eligibility — minter≠solver, sourceSolver≠solver (§7).
+ */
+export interface SyntheticTaskProvenance {
+    synthetic?: boolean;
+    minterSafe?: string;
+    sourceSolverSafe?: string;
+}
+export declare function syntheticClaimBlocked(provenance: SyntheticTaskProvenance | undefined, operatorSafe: string): string | null;

package/dist/solver-types/_swe-rebench-v2-synthetic-claim.js

@@ -0,0 +1,16 @@
+/**
+ * Synthetic task claim eligibility — minter≠solver, sourceSolver≠solver (§7).
+ */
+export function syntheticClaimBlocked(provenance, operatorSafe) {
+    if (!provenance?.synthetic)
+        return null;
+    const op = operatorSafe.toLowerCase();
+    if (provenance.minterSafe && provenance.minterSafe.toLowerCase() === op) {
+        return 'synthetic task: minter cannot claim own mint';
+    }
+    if (provenance.sourceSolverSafe && provenance.sourceSolverSafe.toLowerCase() === op) {
+        return 'synthetic task: source solver cannot claim echo';
+    }
+    return null;
+}
+//# sourceMappingURL=_swe-rebench-v2-synthetic-claim.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"_swe-rebench-v2-synthetic-claim.js","sourceRoot":"","sources":["../../src/solver-types/_swe-rebench-v2-synthetic-claim.ts"],"names":[],"mappings":"AAAA;;GAEG;AAQH,MAAM,UAAU,qBAAqB,CACnC,UAA+C,EAC/C,YAAoB;IAEpB,IAAI,CAAC,UAAU,EAAE,SAAS;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,EAAE,GAAG,YAAY,CAAC,WAAW,EAAE,CAAC;IACtC,IAAI,UAAU,CAAC,UAAU,IAAI,UAAU,CAAC,UAAU,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,CAAC;QACxE,OAAO,8CAA8C,CAAC;IACxD,CAAC;IACD,IAAI,UAAU,CAAC,gBAAgB,IAAI,UAAU,CAAC,gBAAgB,CAAC,WAAW,EAAE,KAAK,EAAE,EAAE,CAAC;QACpF,OAAO,iDAAiD,CAAC;IAC3D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

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

@@ -20,8 +20,9 @@
  * Refs: jinn-mono-uy6v.9.
  */
 import type { PoolTask } from './_swe-rebench-v2-pool.js';
-import type { EvalRunner, HfFetcher } from '../harnesses/impls/swe-rebench-v2-evaluator/index.js';
+import type { EvalRunner, HfFetcher, HfRow } from '../harnesses/impls/swe-rebench-v2-evaluator/index.js';
 import { type CommandRunner } from './_swe-rebench-v2-substrate.js';
+import { DifferentialAdmissionPolicyV2 } from './_swe-rebench-v2-differential-admission.js';
 /**
  * Bump when the eval grading semantics change (verdict re-derivation,
  * ungradeable classification, test-command construction) so cached validation
@@ -51,6 +52,28 @@ export declare const SWE_REBENCH_V2_VETTED_POOL_ARTIFACT_TYPE: "swe-rebench-v2-v
 export declare const SOLVERNET_ARTIFACT_REF_SCHEMA_VERSION: "solvernet.artifact-ref.v1";
 export declare const VETTED_POOL_REF_ELIGIBILITY_KEY: "vettedPoolRef";
 declare const PUBLICATION_SCHEMA_VERSION: "swe-rebench-v2-vetted-pool-publication.v1";
+/** Public admission binding for an explicit-environment minted-pool.v2 row. */
+export interface V2MintedEnvironmentAdmissionBinding {
+    environmentSpecCid: string;
+    environmentHash: `sha256:${string}`;
+    parser: {
+        id: string;
+        version: string;
+        digest: `sha256:${string}`;
+        bundleId: string;
+    };
+    image: {
+        reference: string;
+        digest: `sha256:${string}`;
+    };
+    platform: 'linux/amd64';
+}
+/** Public receipt pointer mirrored from a hardened minted-pool.v2 row. */
+export interface V2DifferentialAdmissionBinding {
+    admissionPolicyVersion: typeof DifferentialAdmissionPolicyV2.admissionPolicyVersion;
+    receiptCid: string;
+    receiptHash: `sha256:${string}`;
+}
 export interface ValidatedPoolEntry {
     scorable: boolean;
     /**
@@ -83,7 +106,28 @@ export interface ValidatedPoolEntry {
     transientRetryCount?: number;
     /** ISO timestamp of the most recent transient pass. Undefined for non-transient entries. */
     lastTransientAt?: string;
+    /**
+     * Whether a known-bad patch (empty patch) is rejected by the grader. v5+ /
+     * task-creator rung 0 (D3). `unchecked` for entries validated before the
+     * discrimination check existed.
+     */
+    discrimination?: 'pass' | 'fail' | 'unchecked';
+    /**
+     * v2 public-repository admission. It is intentionally separate from the
+     * legacy HF `rowHash`: `publicRowHash` excludes gold material and binds the
+     * explicit evaluator environment instead.
+     */
+    rowHashVersion?: 2;
+    publicRowHash?: `sha256:${string}`;
+    v2Environment?: V2MintedEnvironmentAdmissionBinding;
+    /** Public fix identity mirrored from a hardened minted-pool.v2 row. */
+    v2FixCommit?: string;
+    differentialAdmission?: V2DifferentialAdmissionBinding;
 }
+/** Instances whose known-bad patch passes are weak-suite — excluded from
+ *  distillation and contested-band targeting; minted instances are hard-rejected. */
+export declare const WEAK_SUITE_REASON: "weak-suite";
+export type ValidatePoolSource = 'benchmark' | 'minted';
 /**
  * Cap on consecutive transient passes before an instance flips to the
  * terminal `error:HF-429-permanent-after-5-passes` reason. Issue #578: the
@@ -141,6 +185,36 @@ export interface ScorableVettedPoolArtifactEntries {
 export declare function parseVettedPoolArtifact(raw: unknown): SweRebenchV2VettedPoolArtifact;
 export declare function hashVettedPoolArtifact(artifact: SweRebenchV2VettedPoolArtifact): `sha256:${string}`;
 export declare function loadVettedPoolArtifactScorableEntries(raw: unknown): ScorableVettedPoolArtifactEntries;
+/**
+ * Substrate-level held-out exclusion (#986). Returns a copy of the artifact with
+ * the `excludeIds` instances dropped, so the PUBLISHED vetted-pool artifact — the
+ * shared substrate every generator can source its postable set from — never lists
+ * the held-out exam. This moves the exclusion up from each generator's posting
+ * decision (which only a generator running the slate code honours) to the artifact
+ * itself, so a fresh-recovery / independent / unguarded generator that reads the
+ * artifact cannot post the exam tasks either. Pure; never mutates its input. The
+ * caller re-hashes via `hashVettedPoolArtifact`.
+ */
+export declare function excludeFromVettedPoolArtifact(artifact: SweRebenchV2VettedPoolArtifact, excludeIds: ReadonlySet<string>): SweRebenchV2VettedPoolArtifact;
+/**
+ * Republication decision (#986). The published artifact is authoritative and
+ * write-once: it is NOT re-synced to local scorable unless the validated pool is
+ * strictly newer (the prior timestamp-gated behaviour, preserved here). But a
+ * timestamp-only check never fires when the *held-out set* changes while the
+ * validated pool is unchanged — so adding the exclusion in code, or activating a
+ * new slate version (e.g. `v3`), would leave the live artifact stale (still
+ * listing now-held-out instances) indefinitely. The narrow extra trigger:
+ * republish when the existing publication is CONTAMINATED — it still lists a
+ * now-held-out instance. This forces exactly the rollout / slate-bump refresh
+ * and nothing more (it does NOT republish merely because the publication diverges
+ * from local scorable, which would break the write-once / published-authoritative
+ * contract other operators recover against).
+ */
+export declare function shouldRepublishVettedPool(args: {
+    existingIds: ReadonlySet<string> | null;
+    heldOutIds: ReadonlySet<string>;
+    validatedNewer: boolean;
+}): boolean;
 export declare function createVettedPoolArtifactRef(args: {
     manifestCid: string;
     artifactCid: string;
@@ -196,6 +270,7 @@ export declare class ValidatedPoolStore {
     } | null>;
     /** The entry for `instanceId`, or `null` if not validated for this semantics version. */
     getEntry(instanceId: string, evalSemanticsVersion: string): Promise<ValidatedPoolEntry | null>;
+    getDiscriminationFailIds(evalSemanticsVersion: string): Promise<Set<string>>;
     record(instanceId: string, entry: ValidatedPoolEntry, evalSemanticsVersion: string): Promise<void>;
 }
 /**
@@ -236,6 +311,26 @@ export interface ValidatedPoolSummary {
  * sorted descending by count, with ties broken alphabetically by reason.
  */
 export declare function summarizeValidatedPool(file: unknown): ValidatedPoolSummary;
+export interface WeakSuiteSummary {
+    /** Scorable entries with a discrimination verdict (`'pass'` or `'fail'`). */
+    checked: number;
+    /** Of those, `discrimination === 'fail'` — the weak-suite count. */
+    flagged: number;
+    /** Scorable entries with `discrimination === undefined` — not yet
+     *  discrimination-checked (predates the check, or awaiting a recheck). */
+    unchecked: number;
+    /** `flagged / checked`, or `null` when `checked === 0`. */
+    rate: number | null;
+}
+/**
+ * D3 second half: the weak-suite rate — the fraction of scorable pool
+ * entries whose known-bad patch incorrectly passes — over entries that carry
+ * a discrimination verdict. Entries still `discrimination: undefined` are
+ * reported as `unchecked` and excluded from the rate (see
+ * {@link recheckDiscrimination}); unscorable entries never carry a
+ * discrimination verdict for the benchmark pool and are excluded entirely.
+ */
+export declare function summarizeWeakSuite(file: unknown): WeakSuiteSummary;
 export declare function exportScorableVettedPoolArtifact(store: ValidatedPoolStore, evalSemanticsVersion: string, opts?: {
     generatedAt?: string;
 }): Promise<SweRebenchV2VettedPoolArtifact | null>;
@@ -289,6 +384,51 @@ export interface ValidatePoolSummary {
     unscorable: number;
     skipped: number;
 }
+/** Known-bad patch for discrimination: empty unified diff must not resolve. */
+export declare const KNOWN_BAD_DISCRIMINATION_PATCH = "";
+export declare function runDiscriminationCheck(args: {
+    task: PoolTask;
+    row: HfRow;
+    runner: EvalRunner;
+    poolSource: ValidatePoolSource;
+    substrate: Pick<ValidatedPoolEntry, 'checkedAt' | 'rowHash' | 'imageName' | 'imageDigest' | 'upstreamEvalCommit'>;
+}): Promise<Pick<ValidatedPoolEntry, 'scorable' | 'reason' | 'discrimination'>>;
+export interface RecheckDiscriminationOpts {
+    /** Same `PoolTask[]` `validatePoolInstances` consumes — a `ValidatedPoolEntry`
+     *  doesn't itself carry `hf_dataset`/`hf_split`, so the pool is needed to
+     *  re-fetch each instance's HF row for the eval. */
+    pool: PoolTask[];
+    store: ValidatedPoolStore;
+    fetcher: HfFetcher;
+    runner: EvalRunner;
+    semanticsVersion: string;
+    /** Optional batch bound for long pools. */
+    limit?: number;
+    log?: (msg: string) => void;
+}
+export interface RecheckDiscriminationSummary {
+    checked: number;
+    flagged: string[];
+    skipped: number;
+}
+/**
+ * D3 second half: retroactively run the known-bad discrimination eval
+ * ({@link runDiscriminationCheck}) against already-scorable entries validated
+ * before the check existed (`discrimination === undefined`). Never re-runs
+ * the gold patch — only the cheap known-bad-patch eval.
+ *
+ * Benchmark pool ⇒ flag only: a flagged entry keeps `scorable: true` (matches
+ * `runDiscriminationCheck`'s `poolSource: 'benchmark'` branch) — existing pool
+ * entries are never hard-rejected by a recheck.
+ *
+ * Entries already carrying a verdict (`discrimination === 'pass' | 'fail'`)
+ * are skipped, as are entries with no matching `PoolTask` in `pool` (nothing
+ * to re-fetch the HF row with) and entries beyond `opts.limit`. A fetch/eval
+ * error for one instance is logged and counted as skipped rather than
+ * aborting the whole pass — the entry's `discrimination` stays `undefined`
+ * so a future recheck retries it.
+ */
+export declare function recheckDiscrimination(opts: RecheckDiscriminationOpts): Promise<RecheckDiscriminationSummary>;
 /**
  * Validate pool instances by running their gold patch through the eval harness.
  * Idempotent: instances already recorded for `semanticsVersion` are skipped
@@ -297,5 +437,8 @@ export interface ValidatePoolSummary {
 export declare function validatePoolInstances(pool: PoolTask[], deps: ValidatePoolDeps, opts?: {
     limit?: number;
     force?: boolean;
+    poolSource?: ValidatePoolSource;
+    /** Explicit G0b environments have an admitted non-pytest parser. */
+    allowNonPythonInstanceIds?: ReadonlySet<string>;
 }): Promise<ValidatePoolSummary>;
 export {};