@jinn-network/client 0.1.9 → 0.2.0

package/dist/solver-types/_swe-rebench-v2-verifier-facts.js

@@ -0,0 +1,583 @@
+/**
+ * Source-proof verifier facts for SWE-rebench v2 corpus episodes.
+ *
+ * The resolver deliberately has no local-semantics or empty-array fallback.
+ * It returns F2P/P2P and the evaluator-semantics version as one atomic value
+ * only after the signed task, its published vetted-pool proof, and its exact
+ * HF or minted row all agree.
+ */
+import { z } from 'zod/v3';
+import { keccak256, recoverAddress, sha256, toBytes } from 'viem';
+import { SweRebenchV2TaskSchema } from '../vendor/@jinn-network/sdk/dist/solvernets/swe-rebench-v2.js';
+import { cidToDigestHex } from '../adapters/mech/ipfs.js';
+import { canonicalJson } from '../harnesses/engine/canonical-json.js';
+import { fetchHfWithRetry, } from '../harnesses/impls/swe-rebench-v2-evaluator/hf-fetcher.js';
+import { isIpfsCid } from '../task-creator/proofs/ipfs-cid.js';
+import { SignedTaskV1Schema } from '../types/task-document.js';
+import { hashMintedPoolArtifact, parseMintedPoolArtifact, parseMintedIpfsDataset, } from './_swe-rebench-v2-minted-pool.js';
+import { computeRowHash } from './_swe-rebench-v2-substrate.js';
+import { hashVettedPoolArtifact, parseVettedPoolArtifact, vettedPoolArtifactRefFromEligibility, } from './_swe-rebench-v2-validated-pool.js';
+export const SWE_REBENCH_V2_VERIFIER_FACT_MAX_BYTES = 2_000_000;
+const DEFAULT_HF_ROWS_URL = 'https://datasets-server.huggingface.co/rows';
+async function readBoundedJson(response, maxBytes) {
+    if (!Number.isSafeInteger(maxBytes) || maxBytes <= 0) {
+        throw new Error('HF row byte cap must be a positive safe integer');
+    }
+    const declaredLength = Number(response.headers.get('content-length'));
+    if (Number.isFinite(declaredLength) && declaredLength > maxBytes) {
+        throw new Error(`HF rows response is too large: content-length ${declaredLength} exceeds byte cap ${maxBytes}`);
+    }
+    if (!response.body)
+        throw new Error('HF rows response has no body');
+    const reader = response.body.getReader();
+    const chunks = [];
+    let length = 0;
+    try {
+        while (true) {
+            const next = await reader.read();
+            if (next.done)
+                break;
+            length += next.value.byteLength;
+            if (length > maxBytes) {
+                await reader.cancel('HF rows response exceeded byte cap');
+                throw new Error(`HF rows response exceeded byte cap ${maxBytes}`);
+            }
+            chunks.push(next.value);
+        }
+    }
+    finally {
+        reader.releaseLock();
+    }
+    const bytes = new Uint8Array(length);
+    let offset = 0;
+    for (const chunk of chunks) {
+        bytes.set(chunk, offset);
+        offset += chunk.byteLength;
+    }
+    let text;
+    try {
+        text = new TextDecoder('utf-8', { fatal: true }).decode(bytes);
+    }
+    catch (error) {
+        throw new Error(`HF rows response is not valid UTF-8: ${error instanceof Error ? error.message : String(error)}`);
+    }
+    try {
+        return JSON.parse(text);
+    }
+    catch (error) {
+        throw new Error(`HF rows response is not valid JSON: ${error instanceof Error ? error.message : String(error)}`);
+    }
+}
+function parseRawHfPage(body, requestedLength) {
+    if (body === null || typeof body !== 'object' || Array.isArray(body)) {
+        throw new Error('HF rows response must be an object');
+    }
+    const rawRows = body['rows'];
+    if (!Array.isArray(rawRows)) {
+        throw new Error('HF rows response must contain a rows array');
+    }
+    if (rawRows.length > requestedLength) {
+        throw new Error(`HF rows response returned ${rawRows.length} rows for requested length ${requestedLength}`);
+    }
+    return rawRows.map((item, index) => {
+        if (item === null || typeof item !== 'object' || Array.isArray(item)) {
+            throw new Error(`HF rows response item ${index} must be an object`);
+        }
+        const row = item['row'];
+        if (row === null || typeof row !== 'object' || Array.isArray(row)) {
+            throw new Error(`HF rows response item ${index}.row must be an object`);
+        }
+        return row;
+    });
+}
+/**
+ * Production-capable raw HF port. It reuses the daemon's shared retry/rate
+ * limiter, walks a finite number of finite pages, enforces a decoded response
+ * byte cap on every page, and returns the exact unprojected source row.
+ */
+export function createBoundedRawHfRowFetcher(options = {}) {
+    const baseUrl = options.baseUrl ?? DEFAULT_HF_ROWS_URL;
+    const pageSize = Math.min(options.pageSize ?? 100, 100);
+    const maxRows = options.maxRows ?? 1000;
+    const requestTimeoutMs = options.requestTimeoutMs ?? 30_000;
+    if (!Number.isSafeInteger(pageSize) || pageSize <= 0) {
+        throw new Error('HF verifier pageSize must be a positive integer');
+    }
+    if (!Number.isSafeInteger(maxRows) || maxRows <= 0) {
+        throw new Error('HF verifier maxRows must be a positive integer');
+    }
+    if (!Number.isSafeInteger(requestTimeoutMs) || requestTimeoutMs <= 0) {
+        throw new Error('HF verifier requestTimeoutMs must be a positive integer');
+    }
+    const upstreamFetch = options.fetchImpl ?? fetch.bind(globalThis);
+    const timedFetch = (input, init) => upstreamFetch(input, {
+        ...init,
+        // A fresh signal is created per retry attempt. It stays live after headers
+        // arrive, so a stalled response body is bounded too.
+        signal: AbortSignal.timeout(requestTimeoutMs),
+    });
+    const retryOptions = {
+        ...options,
+        fetchImpl: timedFetch,
+    };
+    return async ({ dataset, split, instanceId, maxBytes }) => {
+        let offset = 0;
+        while (offset < maxRows) {
+            const requestedLength = Math.min(pageSize, maxRows - offset);
+            const url = new URL(baseUrl);
+            url.searchParams.set('dataset', dataset);
+            url.searchParams.set('config', 'default');
+            url.searchParams.set('split', split);
+            url.searchParams.set('offset', String(offset));
+            url.searchParams.set('length', String(requestedLength));
+            let response;
+            try {
+                response = await fetchHfWithRetry(url.toString(), retryOptions);
+            }
+            catch (error) {
+                const status = error?.httpStatus;
+                if (typeof status === 'number') {
+                    throw Object.assign(new Error(`HF datasets-server returned ${status} for ${dataset}/${split}`), { httpStatus: status });
+                }
+                throw error;
+            }
+            if (!response.ok) {
+                throw Object.assign(new Error(`HF datasets-server returned ${response.status} for ${dataset}/${split}`), { httpStatus: response.status });
+            }
+            const rows = parseRawHfPage(await readBoundedJson(response, maxBytes), requestedLength);
+            for (const row of rows) {
+                if (row['instance_id'] === instanceId)
+                    return row;
+            }
+            if (rows.length < requestedLength)
+                break;
+            offset += rows.length;
+        }
+        throw new Error(`instance_id ${instanceId} not found in ${dataset}/${split} (scanned up to ${maxRows} rows)`);
+    };
+}
+const NonEmpty = z.string().min(1);
+const Commit = z.string().regex(/^[0-9a-f]{40}$/u);
+const StringList = z.array(NonEmpty);
+const Command = z.union([z.string(), z.array(z.string())]);
+const InstallConfig = z.object({
+    install: Command.optional(),
+    test_cmd: Command,
+    log_parser: NonEmpty,
+}).passthrough();
+/**
+ * This is intentionally wider than HfRow only in allowing unrelated source
+ * columns. Every field consumed by computeRowHash is required and parsed from
+ * the raw HF row before projection.
+ */
+const RawHfRowSchema = z.object({
+    instance_id: NonEmpty,
+    repo: NonEmpty,
+    base_commit: Commit,
+    image_name: NonEmpty,
+    patch: z.string(),
+    test_patch: z.string(),
+    install_config: InstallConfig,
+    FAIL_TO_PASS: StringList,
+    PASS_TO_PASS: StringList,
+}).passthrough();
+/**
+ * Immutable v1 artifacts predate the strict public v2 schema. For proof
+ * extraction we use a strict reader instead of the historical compatibility
+ * cast: local-only or malformed fields may not silently become verifier facts.
+ * A base_commit is required here even though the old TypeScript interface made
+ * it optional; without it the row cannot be bound to the signed task.
+ */
+const MintedPoolRowV1ProofSchema = z.object({
+    instance_id: NonEmpty,
+    repo: NonEmpty,
+    base_commit: Commit,
+    language: NonEmpty,
+    problem_statement: z.string().optional(),
+    image_name: NonEmpty,
+    FAIL_TO_PASS: StringList,
+    PASS_TO_PASS: StringList,
+    test_patch: z.string(),
+    install_config: InstallConfig.strict(),
+}).strict();
+const MintedPoolArtifactV1ProofSchema = z.object({
+    schemaVersion: z.literal('swe-rebench-v2-minted-pool.v1'),
+    evalSemanticsVersion: NonEmpty,
+    generatedAt: NonEmpty,
+    rows: z.array(MintedPoolRowV1ProofSchema),
+}).strict();
+function parseStrictMintedPoolArtifact(raw) {
+    if (raw !== null
+        && typeof raw === 'object'
+        && raw['schemaVersion'] === 'swe-rebench-v2-minted-pool.v1') {
+        return MintedPoolArtifactV1ProofSchema.parse(raw);
+    }
+    return parseMintedPoolArtifact(raw);
+}
+function requireExactAdmissionEntry(entries, instanceId) {
+    const matches = entries.filter((entry) => entry.instance_id === instanceId && entry.scorable === true);
+    if (matches.length !== 1) {
+        throw new Error(`vetted pool proof must contain exactly one scorable entry for ${instanceId}; found ${matches.length}`);
+    }
+    return matches[0];
+}
+function assertTaskIdentity(row, task) {
+    if (row.instance_id !== task.instance_id) {
+        throw new Error(`row instance_id ${row.instance_id} does not match signed task ${task.instance_id}`);
+    }
+    if (row.repo !== task.repo) {
+        throw new Error(`row repo ${row.repo} does not match signed task ${task.repo}`);
+    }
+    if (row.base_commit !== task.base_commit) {
+        throw new Error(`row base_commit ${row.base_commit ?? '<missing>'} does not match signed task ${task.base_commit}`);
+    }
+}
+function assertEligibilityIdentity(eligibility, task) {
+    for (const key of ['hf_dataset', 'hf_split', 'instance_id']) {
+        if (eligibility[key] !== task[key]) {
+            throw new Error(`signed task eligibility ${key} does not match signed SWE task spec`);
+        }
+    }
+}
+function assertMintedTaskIdentity(row, task) {
+    assertTaskIdentity(row, task);
+    if (row.language !== task.language) {
+        throw new Error(`row language ${row.language ?? '<missing>'} does not match signed task ${task.language}`);
+    }
+}
+function assertCanonicalCid(artifact, cid) {
+    if (!isIpfsCid(cid)) {
+        throw new Error('signed minted hf_dataset must contain a valid IPFS CID');
+    }
+    const expected = hashMintedPoolArtifact(artifact).slice('sha256:'.length);
+    let actual;
+    try {
+        actual = cidToDigestHex(cid).slice(2).toLowerCase();
+    }
+    catch (error) {
+        throw new Error(`signed minted CID does not encode a canonical sha2-256 digest: ${error instanceof Error ? error.message : String(error)}`);
+    }
+    if (actual !== expected) {
+        throw new Error('minted artifact canonical content digest does not match signed CID');
+    }
+}
+function sameOptionalCanonical(left, right) {
+    if (left === undefined || right === undefined)
+        return left === right;
+    return canonicalJson(left) === canonicalJson(right);
+}
+function assertV2Admission(row, entry) {
+    const admittedEnvironment = entry.v2Environment;
+    const rowEnvironment = {
+        environmentSpecCid: row.environment.environmentSpecCid,
+        environmentHash: row.environment.environmentHash,
+        parser: row.environment.parser,
+        image: row.environment.image,
+        platform: row.environment.platform,
+    };
+    if (entry.rowHashVersion !== 2
+        || entry.publicRowHash !== row.publicRowHash
+        || !admittedEnvironment
+        || canonicalJson(admittedEnvironment) !== canonicalJson(rowEnvironment)
+        || entry.v2FixCommit !== row.fix_commit
+        || !sameOptionalCanonical(entry.differentialAdmission, row.differentialAdmission)) {
+        throw new Error(`minted v2 vetted admission/environment binding mismatch for ${row.instance_id}`);
+    }
+}
+function facts(row, evalSemanticsVersion, task) {
+    return {
+        failToPass: [...row.FAIL_TO_PASS],
+        passToPass: [...row.PASS_TO_PASS],
+        evalSemanticsVersion,
+        task: { ...task },
+    };
+}
+async function authenticateSignedTask(rawSignedTask, signedTask) {
+    if (rawSignedTask === null
+        || typeof rawSignedTask !== 'object'
+        || Array.isArray(rawSignedTask)) {
+        throw new Error('signed task must be an object');
+    }
+    const { signature: _signature, ...unsignedTask } = rawSignedTask;
+    const canonicalHash = keccak256(toBytes(canonicalJson(unsignedTask)));
+    if (canonicalHash.toLowerCase() !== signedTask.signature.hash.toLowerCase()) {
+        throw new Error(`signed task signature.hash does not authenticate the canonical unsigned task: expected ${canonicalHash}`);
+    }
+    let recovered;
+    try {
+        recovered = await recoverAddress({
+            hash: canonicalHash,
+            signature: signedTask.signature.sig,
+        });
+    }
+    catch (error) {
+        throw new Error(`signed task signature recovery failed: ${error instanceof Error ? error.message : String(error)}`);
+    }
+    if (recovered.toLowerCase() !== signedTask.signature.signer.toLowerCase()) {
+        throw new Error(`signed task recovered signer ${recovered} does not match declared signer ${signedTask.signature.signer}`);
+    }
+    if (recovered.toLowerCase() !== signedTask.creator.agentEoa.toLowerCase()) {
+        throw new Error(`signed task recovered signer ${recovered} does not match creator.agentEoa ${signedTask.creator.agentEoa}`);
+    }
+}
+function exactHex(value, bytes, sourceName) {
+    const pattern = new RegExp(`^0x[0-9a-fA-F]{${bytes * 2}}$`, 'u');
+    if (typeof value !== 'string' || !pattern.test(value)) {
+        throw new Error(`${sourceName} must be an exact ${bytes}-byte hex value`);
+    }
+    return value;
+}
+function exactSafe(value, sourceName) {
+    return exactHex(value, 20, sourceName);
+}
+function exactDigest(value, sourceName) {
+    return exactHex(value, 32, sourceName);
+}
+function sameHex(left, right) {
+    return left.toLowerCase() === right.toLowerCase();
+}
+async function authenticateAuthoritativeOriginalTask(args) {
+    let evaluationWrapper;
+    try {
+        evaluationWrapper = SignedTaskV1Schema.parse(args.rawEvaluationWrapper);
+        await authenticateSignedTask(args.rawEvaluationWrapper, evaluationWrapper);
+    }
+    catch (error) {
+        throw new Error(`evaluation wrapper authentication failed: ${error instanceof Error ? error.message : String(error)}`);
+    }
+    if (evaluationWrapper.role !== 'evaluation') {
+        throw new Error('evaluation wrapper must have role=evaluation');
+    }
+    const evaluatorSafe = exactSafe(args.authority.evaluatorSafe, 'authoritative evaluator Safe');
+    const wrapperCreatorSafe = exactSafe(evaluationWrapper.creator.safeAddress, 'evaluation wrapper creator Safe');
+    if (!sameHex(wrapperCreatorSafe, evaluatorSafe)) {
+        throw new Error('evaluation wrapper creator Safe does not match the on-chain evaluator');
+    }
+    const rawWrapper = args.rawEvaluationWrapper !== null
+        && typeof args.rawEvaluationWrapper === 'object'
+        && !Array.isArray(args.rawEvaluationWrapper)
+        ? args.rawEvaluationWrapper
+        : undefined;
+    const rawContext = rawWrapper?.['context'] !== null
+        && typeof rawWrapper?.['context'] === 'object'
+        && !Array.isArray(rawWrapper?.['context'])
+        ? rawWrapper['context']
+        : undefined;
+    const originalTaskCid = rawContext?.['solutionTaskCid'];
+    if (typeof originalTaskCid !== 'string' || originalTaskCid.length === 0) {
+        throw new Error('authenticated evaluation wrapper context.solutionTaskCid must be nonempty');
+    }
+    if (!(/^f01551220[0-9a-f]{64}$/u.test(originalTaskCid)
+        || /^F01551220[0-9A-F]{64}$/u.test(originalTaskCid)
+        || (originalTaskCid.length === 59
+            && originalTaskCid.startsWith('bafk')
+            && isIpfsCid(originalTaskCid)))) {
+        throw new Error('authenticated original task CID must be a canonical raw CIDv1');
+    }
+    const authoritativeTaskCidDigest = exactDigest(args.authority.taskCidDigest, 'authoritative TaskCreated.taskCidDigest');
+    let actualTaskCidDigest;
+    try {
+        actualTaskCidDigest = exactDigest(cidToDigestHex(originalTaskCid), 'evaluation wrapper solutionTaskCid digest');
+    }
+    catch (error) {
+        throw new Error(`evaluation wrapper solutionTaskCid is not a canonical content CID: ${error instanceof Error ? error.message : String(error)}`);
+    }
+    if (!sameHex(actualTaskCidDigest, authoritativeTaskCidDigest)) {
+        throw new Error('evaluation wrapper original task CID digest does not match '
+            + 'TaskCreated.taskCidDigest');
+    }
+    const rawOriginalTask = await args.ports.fetchIpfsJson({
+        cid: originalTaskCid,
+        maxBytes: SWE_REBENCH_V2_VERIFIER_FACT_MAX_BYTES,
+    });
+    // Production task publications are raw CIDv1 objects whose digest is the
+    // sha2-256 of the exact RFC 8785 bytes uploaded by uploadToIpfs. The bounded
+    // live port checks the fetched bytes before parsing; repeat the binding over
+    // canonical JSON here so alternate/injected ports cannot substitute another
+    // otherwise-valid signed task under the authoritative CID.
+    if (!sameHex(sha256(toBytes(canonicalJson(rawOriginalTask))), actualTaskCidDigest)) {
+        throw new Error('original task canonical content digest does not match its authenticated CID');
+    }
+    let originalTask;
+    try {
+        originalTask = SignedTaskV1Schema.parse(rawOriginalTask);
+        await authenticateSignedTask(rawOriginalTask, originalTask);
+    }
+    catch (error) {
+        throw new Error(`original task authentication failed: ${error instanceof Error ? error.message : String(error)}`);
+    }
+    if (originalTask.role !== 'restoration') {
+        throw new Error('authenticated original task must have role=restoration');
+    }
+    const authoritativeCreatorSafe = exactSafe(args.authority.creatorSafe, 'authoritative TaskCreated creator Safe');
+    const originalCreatorSafe = exactSafe(originalTask.creator.safeAddress, 'original task creator Safe');
+    if (!sameHex(originalCreatorSafe, authoritativeCreatorSafe)) {
+        throw new Error('original task creator Safe does not match TaskCreated creator');
+    }
+    const authoritativeManifestDigest = exactDigest(args.authority.manifestDigest, 'authoritative TaskCreated.manifestDigest');
+    const actualManifestDigest = keccak256(toBytes(originalTask.solverNetManifestCid));
+    if (!sameHex(actualManifestDigest, authoritativeManifestDigest)) {
+        throw new Error('original task manifest does not match TaskCreated manifestDigest');
+    }
+    return {
+        rawOriginalTask,
+        provenance: {
+            originalTaskCid,
+            creatorSafe: originalCreatorSafe,
+            manifestDigest: actualManifestDigest,
+            description: originalTask.description,
+        },
+    };
+}
+export async function resolveSweRebenchV2VerifierFacts(args) {
+    const signedTask = SignedTaskV1Schema.parse(args.signedTask);
+    await authenticateSignedTask(args.signedTask, signedTask);
+    if (signedTask.solverType !== 'swe-rebench-v2.v1'
+        || signedTask.contractId !== 'swe-rebench-v2'
+        || signedTask.contractVersion !== 'v1') {
+        throw new Error('signed task is not the swe-rebench-v2.v1 contract');
+    }
+    const task = SweRebenchV2TaskSchema.parse(signedTask.spec);
+    const taskProvenance = {
+        solverType: signedTask.solverType,
+        instanceId: task.instance_id,
+        repo: task.repo,
+        baseCommit: task.base_commit,
+        createdAt: signedTask.createdAt,
+    };
+    if (task.instance_id !== args.expectedInstanceId) {
+        throw new Error(`expected instance ${args.expectedInstanceId} does not match signed task ${task.instance_id}`);
+    }
+    assertEligibilityIdentity(signedTask.eligibility, task);
+    const ref = vettedPoolArtifactRefFromEligibility(signedTask.eligibility);
+    if (!ref) {
+        throw new Error('signed task eligibility has no vettedPoolRef proof');
+    }
+    if (ref.manifestCid !== signedTask.solverNetManifestCid) {
+        throw new Error(`vettedPoolRef manifest ${ref.manifestCid} does not match signed task ${signedTask.solverNetManifestCid}`);
+    }
+    if (!ref.evalSemanticsVersion) {
+        throw new Error('vettedPoolRef evalSemanticsVersion must be nonempty');
+    }
+    if (!isIpfsCid(ref.artifactCid)) {
+        throw new Error('vettedPoolRef artifactCid must be a valid IPFS CID');
+    }
+    const rawVetted = await args.ports.fetchIpfsJson({
+        cid: ref.artifactCid,
+        maxBytes: SWE_REBENCH_V2_VERIFIER_FACT_MAX_BYTES,
+    });
+    const vetted = parseVettedPoolArtifact(rawVetted);
+    if (hashVettedPoolArtifact(vetted) !== ref.artifactHash) {
+        throw new Error('vetted pool artifact hash does not match signed vettedPoolRef');
+    }
+    if (vetted.evalSemanticsVersion !== ref.evalSemanticsVersion) {
+        throw new Error('vetted pool artifact semantics do not match signed vettedPoolRef');
+    }
+    const admission = requireExactAdmissionEntry(vetted.entries, task.instance_id);
+    const mintedCid = parseMintedIpfsDataset(task.hf_dataset);
+    if (mintedCid === null) {
+        const rawRow = await args.ports.fetchHfRawRow({
+            dataset: task.hf_dataset,
+            split: task.hf_split,
+            instanceId: task.instance_id,
+            maxBytes: SWE_REBENCH_V2_VERIFIER_FACT_MAX_BYTES,
+        });
+        const row = RawHfRowSchema.parse(rawRow);
+        assertTaskIdentity(row, task);
+        if (!admission.rowHash || !/^sha256:[0-9a-f]{64}$/u.test(admission.rowHash)) {
+            throw new Error(`vetted pool entry for ${task.instance_id} has no exact rowHash proof`);
+        }
+        const actualRowHash = computeRowHash({
+            hf_dataset: task.hf_dataset,
+            hf_split: task.hf_split,
+            instance_id: row.instance_id,
+            repo: row.repo,
+            base_commit: row.base_commit,
+            image_name: row.image_name,
+            patch: row.patch,
+            test_patch: row.test_patch,
+            install_config: {
+                install: row.install_config.install ?? [],
+                test_cmd: row.install_config.test_cmd,
+                log_parser: row.install_config.log_parser,
+            },
+            FAIL_TO_PASS: row.FAIL_TO_PASS,
+            PASS_TO_PASS: row.PASS_TO_PASS,
+        });
+        if (actualRowHash !== admission.rowHash) {
+            throw new Error(`raw HF rowHash ${actualRowHash} does not match vetted proof ${admission.rowHash}`);
+        }
+        return facts(row, ref.evalSemanticsVersion, taskProvenance);
+    }
+    if (task.hf_split !== 'minted') {
+        throw new Error('signed minted task must use hf_split=minted');
+    }
+    if (!isIpfsCid(mintedCid)) {
+        throw new Error('signed minted hf_dataset must contain a valid IPFS CID');
+    }
+    const rawMinted = await args.ports.fetchIpfsJson({
+        cid: mintedCid,
+        maxBytes: SWE_REBENCH_V2_VERIFIER_FACT_MAX_BYTES,
+    });
+    const minted = parseStrictMintedPoolArtifact(rawMinted);
+    assertCanonicalCid(minted, mintedCid);
+    if (minted.evalSemanticsVersion !== ref.evalSemanticsVersion) {
+        throw new Error('minted artifact semantics do not match signed vettedPoolRef');
+    }
+    const matchingRows = minted.rows.filter((row) => row.instance_id === task.instance_id);
+    if (matchingRows.length !== 1) {
+        throw new Error(`minted artifact must contain exactly one row for ${task.instance_id}; found ${matchingRows.length}`);
+    }
+    const row = matchingRows[0];
+    assertMintedTaskIdentity(row, task);
+    if (minted.schemaVersion !== 'swe-rebench-v2-minted-pool.v2') {
+        throw new Error('minted v1 artifact has no authenticated admission-row binding');
+    }
+    assertV2Admission(row, admission);
+    return facts(row, ref.evalSemanticsVersion, taskProvenance);
+}
+/**
+ * Curried composition-root adapter. Runtime Task objects carry the canonical
+ * wire document under `signedTask`; direct callers may pass that wire document
+ * itself.
+ */
+export function createSweRebenchV2VerifierFactsResolver(ports) {
+    return async (taskDocument, expectedInstanceId, authority) => {
+        const wrapped = taskDocument !== null
+            && typeof taskDocument === 'object'
+            && !Array.isArray(taskDocument)
+            ? taskDocument['signedTask']
+            : undefined;
+        const rawEvaluationOrTask = wrapped ?? taskDocument;
+        if (!authority) {
+            return resolveSweRebenchV2VerifierFacts({
+                signedTask: rawEvaluationOrTask,
+                expectedInstanceId,
+                ports,
+            });
+        }
+        const authoritative = await authenticateAuthoritativeOriginalTask({
+            rawEvaluationWrapper: rawEvaluationOrTask,
+            authority,
+            ports,
+        });
+        const authoritativeOriginal = SignedTaskV1Schema.parse(authoritative.rawOriginalTask);
+        const authoritativeSpec = SweRebenchV2TaskSchema.parse(authoritativeOriginal.spec);
+        const resolved = await resolveSweRebenchV2VerifierFacts({
+            signedTask: authoritative.rawOriginalTask,
+            // Indexer enrichment projections are discovery hints, not authority.
+            // Once TaskCreated lineage is supplied, derive instance identity from
+            // the authenticated original restoration task itself.
+            expectedInstanceId: authoritativeSpec.instance_id,
+            ports,
+        });
+        return {
+            ...resolved,
+            task: {
+                ...resolved.task,
+                ...authoritative.provenance,
+            },
+        };
+    };
+}
+//# sourceMappingURL=_swe-rebench-v2-verifier-facts.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"_swe-rebench-v2-verifier-facts.js","sourceRoot":"","sources":["../../src/solver-types/_swe-rebench-v2-verifier-facts.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,QAAQ,CAAC;AAC3B,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAY,MAAM,MAAM,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,6CAA6C,CAAC;AACrF,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,EACL,gBAAgB,GAEjB,MAAM,2DAA2D,CAAC;AACnE,OAAO,EAAE,SAAS,EAAE,MAAM,oCAAoC,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,sBAAsB,GAKvB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,oCAAoC,GAErC,MAAM,qCAAqC,CAAC;AAE7C,MAAM,CAAC,MAAM,sCAAsC,GAAG,SAAS,CAAC;AAqEhE,MAAM,mBAAmB,GAAG,6CAA6C,CAAC;AAE1E,KAAK,UAAU,eAAe,CAAC,QAAkB,EAAE,QAAgB;IACjE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACrE,CAAC;IACD,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACtE,IAAI,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,cAAc,GAAG,QAAQ,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CACb,iDAAiD,cAAc,qBAAqB,QAAQ,EAAE,CAC/F,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAEpE,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;IACzC,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,CAAC;QACH,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,IAAI;gBAAE,MAAM;YACrB,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;YAChC,IAAI,MAAM,GAAG,QAAQ,EAAE,CAAC;gBACtB,MAAM,MAAM,CAAC,MAAM,CAAC,oCAAoC,CAAC,CAAC;gBAC1D,MAAM,IAAI,KAAK,CAAC,sCAAsC,QAAQ,EAAE,CAAC,CAAC;YACpE,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,WAAW,EAAE,CAAC;IACvB,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC;IAC7B,CAAC;IACD,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,wCAAwC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CACjG,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;IACrC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,uCAAuC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAChG,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,IAAa,EAAE,eAAuB;IAC5D,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACxD,CAAC;IACD,MAAM,OAAO,GAAI,IAAgC,CAAC,MAAM,CAAC,CAAC;IAC1D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,eAAe,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CACb,6BAA6B,OAAO,CAAC,MAAM,8BAA8B,eAAe,EAAE,CAC3F,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACjC,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACrE,MAAM,IAAI,KAAK,CAAC,yBAAyB,KAAK,oBAAoB,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,GAAG,GAAI,IAAgC,CAAC,KAAK,CAAC,CAAC;QACrD,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,KAAK,CAAC,yBAAyB,KAAK,wBAAwB,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,GAA8B,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAC1C,UAAyC,EAAE;IAE3C,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,mBAAmB,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,GAAG,EAAE,GAAG,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC;IACxC,MAAM,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,IAAI,MAAM,CAAC;IAC5D,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,gBAAgB,CAAC,IAAI,gBAAgB,IAAI,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,aAAa,GAAG,OAAO,CAAC,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClE,MAAM,UAAU,GAAiB,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE;QACrE,GAAG,IAAI;QACP,2EAA2E;QAC3E,qDAAqD;QACrD,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,gBAAgB,CAAC;KAC9C,CAAC,CAAC;IACH,MAAM,YAAY,GAA4B;QAC5C,GAAG,OAAO;QACV,SAAS,EAAE,UAAU;KACtB,CAAC;IAEF,OAAO,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,EAAE;QACxD,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,OAAO,MAAM,GAAG,OAAO,EAAE,CAAC;YACxB,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,GAAG,MAAM,CAAC,CAAC;YAC7D,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;YAC7B,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YACzC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC1C,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACrC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YAC/C,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC;YAExD,IAAI,QAAkB,CAAC;YACvB,IAAI,CAAC;gBACH,QAAQ,GAAG,MAAM,gBAAgB,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,YAAY,CAAC,CAAC;YAClE,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,MAAM,GAAI,KAAyC,EAAE,UAAU,CAAC;gBACtE,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;oBAC/B,MAAM,MAAM,CAAC,MAAM,CACjB,IAAI,KAAK,CAAC,+BAA+B,MAAM,QAAQ,OAAO,IAAI,KAAK,EAAE,CAAC,EAC1E,EAAE,UAAU,EAAE,MAAM,EAAE,CACvB,CAAC;gBACJ,CAAC;gBACD,MAAM,KAAK,CAAC;YACd,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;gBACjB,MAAM,MAAM,CAAC,MAAM,CACjB,IAAI,KAAK,CAAC,+BAA+B,QAAQ,CAAC,MAAM,QAAQ,OAAO,IAAI,KAAK,EAAE,CAAC,EACnF,EAAE,UAAU,EAAE,QAAQ,CAAC,MAAM,EAAE,CAChC,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,GAAG,cAAc,CACzB,MAAM,eAAe,CAAC,QAAQ,EAAE,QAAQ,CAAC,EACzC,eAAe,CAChB,CAAC;YACF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,IAAI,GAAG,CAAC,aAAa,CAAC,KAAK,UAAU;oBAAE,OAAO,GAAG,CAAC;YACpD,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,GAAG,eAAe;gBAAE,MAAM;YACzC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC;QACxB,CAAC;QACD,MAAM,IAAI,KAAK,CACb,eAAe,UAAU,iBAAiB,OAAO,IAAI,KAAK,mBAAmB,OAAO,QAAQ,CAC7F,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACnC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;AACnD,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;AACrC,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAC3D,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7B,OAAO,EAAE,OAAO,CAAC,QAAQ,EAAE;IAC3B,QAAQ,EAAE,OAAO;IACjB,UAAU,EAAE,QAAQ;CACrB,CAAC,CAAC,WAAW,EAAE,CAAC;AAEjB;;;;GAIG;AACH,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9B,WAAW,EAAE,QAAQ;IACrB,IAAI,EAAE,QAAQ;IACd,WAAW,EAAE,MAAM;IACnB,UAAU,EAAE,QAAQ;IACpB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,cAAc,EAAE,aAAa;IAC7B,YAAY,EAAE,UAAU;IACxB,YAAY,EAAE,UAAU;CACzB,CAAC,CAAC,WAAW,EAAE,CAAC;AAEjB;;;;;;GAMG;AACH,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,WAAW,EAAE,QAAQ;IACrB,IAAI,EAAE,QAAQ;IACd,WAAW,EAAE,MAAM;IACnB,QAAQ,EAAE,QAAQ;IAClB,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACxC,UAAU,EAAE,QAAQ;IACpB,YAAY,EAAE,UAAU;IACxB,YAAY,EAAE,UAAU;IACxB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,cAAc,EAAE,aAAa,CAAC,MAAM,EAAE;CACvC,CAAC,CAAC,MAAM,EAAE,CAAC;AAEZ,MAAM,+BAA+B,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC;IACzD,oBAAoB,EAAE,QAAQ;IAC9B,WAAW,EAAE,QAAQ;IACrB,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC;CAC1C,CAAC,CAAC,MAAM,EAAE,CAAC;AAMZ,SAAS,6BAA6B,CAAC,GAAY;IACjD,IACE,GAAG,KAAK,IAAI;WACT,OAAO,GAAG,KAAK,QAAQ;WACtB,GAA+B,CAAC,eAAe,CAAC,KAAK,+BAA+B,EACxF,CAAC;QACD,OAAO,+BAA+B,CAAC,KAAK,CAAC,GAAG,CAAqC,CAAC;IACxF,CAAC;IACD,OAAO,uBAAuB,CAAC,GAAG,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,0BAA0B,CACjC,OAA8C,EAC9C,UAAkB;IAElB,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAC5B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,CACvE,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CACb,iEAAiE,UAAU,WAAW,OAAO,CAAC,MAAM,EAAE,CACvG,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC,CAAC,CAAE,CAAC;AACrB,CAAC;AAED,SAAS,kBAAkB,CACzB,GAAgE,EAChE,IAAgE;IAEhE,IAAI,GAAG,CAAC,WAAW,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CACb,mBAAmB,GAAG,CAAC,WAAW,+BAA+B,IAAI,CAAC,WAAW,EAAE,CACpF,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,YAAY,GAAG,CAAC,IAAI,+BAA+B,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,GAAG,CAAC,WAAW,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CACb,mBAAmB,GAAG,CAAC,WAAW,IAAI,WAAW,+BAA+B,IAAI,CAAC,WAAW,EAAE,CACnG,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAChC,WAAoC,EACpC,IAAmE;IAEnE,KAAK,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,UAAU,EAAE,aAAa,CAAU,EAAE,CAAC;QACrE,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CACb,2BAA2B,GAAG,sCAAsC,CACrE,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAC/B,GAKC,EACD,IAKC;IAED,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC9B,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CACb,gBAAgB,GAAG,CAAC,QAAQ,IAAI,WAAW,+BAA+B,IAAI,CAAC,QAAQ,EAAE,CAC1F,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAkC,EAAE,GAAW;IACzE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC1E,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IACtD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,kEACE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CACvD,EAAE,CACH,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;IACxF,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAa,EAAE,KAAc;IAC1D,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,KAAK,KAAK,CAAC;IACrE,OAAO,aAAa,CAAC,IAAI,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,iBAAiB,CACxB,GAAoB,EACpB,KAA0C;IAE1C,MAAM,mBAAmB,GAAG,KAAK,CAAC,aAAa,CAAC;IAChD,MAAM,cAAc,GAAG;QACrB,kBAAkB,EAAE,GAAG,CAAC,WAAW,CAAC,kBAAkB;QACtD,eAAe,EAAE,GAAG,CAAC,WAAW,CAAC,eAAe;QAChD,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,MAAM;QAC9B,KAAK,EAAE,GAAG,CAAC,WAAW,CAAC,KAAK;QAC5B,QAAQ,EAAE,GAAG,CAAC,WAAW,CAAC,QAAQ;KACnC,CAAC;IACF,IACE,KAAK,CAAC,cAAc,KAAK,CAAC;WACvB,KAAK,CAAC,aAAa,KAAK,GAAG,CAAC,aAAa;WACzC,CAAC,mBAAmB;WACpB,aAAa,CAAC,mBAAmB,CAAC,KAAK,aAAa,CAAC,cAAc,CAAC;WACpE,KAAK,CAAC,WAAW,KAAK,GAAG,CAAC,UAAU;WACpC,CAAC,qBAAqB,CAAC,KAAK,CAAC,qBAAqB,EAAE,GAAG,CAAC,qBAAqB,CAAC,EACjF,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,+DAA+D,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;IACpG,CAAC;AACH,CAAC;AAED,SAAS,KAAK,CACZ,GAAyD,EACzD,oBAA4B,EAC5B,IAAuC;IAEvC,OAAO;QACL,UAAU,EAAE,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC;QACjC,UAAU,EAAE,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC;QACjC,oBAAoB;QACpB,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE;KAClB,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,sBAAsB,CACnC,aAAsB,EACtB,UAAuD;IAEvD,IACE,aAAa,KAAK,IAAI;WACnB,OAAO,aAAa,KAAK,QAAQ;WACjC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,EAC/B,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACnD,CAAC;IACD,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,YAAY,EAAE,GAC9C,aAAwC,CAAC;IAC3C,MAAM,aAAa,GAAG,SAAS,CAAC,OAAO,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,aAAa,CAAC,WAAW,EAAE,KAAK,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QAC5E,MAAM,IAAI,KAAK,CACb,0FAA0F,aAAa,EAAE,CAC1G,CAAC;IACJ,CAAC;IAED,IAAI,SAAwB,CAAC;IAC7B,IAAI,CAAC;QACH,SAAS,GAAG,MAAM,cAAc,CAAC;YAC/B,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,UAAU,CAAC,SAAS,CAAC,GAAU;SAC3C,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,0CACE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CACvD,EAAE,CACH,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,WAAW,EAAE,KAAK,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CACb,gCAAgC,SAAS,mCAAmC,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE,CAC1G,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,WAAW,EAAE,KAAK,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CACb,gCAAgC,SAAS,oCAAoC,UAAU,CAAC,OAAO,CAAC,QAAQ,EAAE,CAC3G,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CACf,KAAc,EACd,KAAa,EACb,UAAkB;IAElB,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,kBAAkB,KAAK,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACjE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,GAAG,UAAU,qBAAqB,KAAK,iBAAiB,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,UAAkB;IACnD,OAAO,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,UAAkB;IACrD,OAAO,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,KAAa;IAC1C,OAAO,IAAI,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC;AACpD,CAAC;AAED,KAAK,UAAU,qCAAqC,CAAC,IAIpD;IAOC,IAAI,iBAA8D,CAAC;IACnE,IAAI,CAAC;QACH,iBAAiB,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACxE,MAAM,sBAAsB,CAAC,IAAI,CAAC,oBAAoB,EAAE,iBAAiB,CAAC,CAAC;IAC7E,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,6CACE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CACvD,EAAE,CACH,CAAC;IACJ,CAAC;IACD,IAAI,iBAAiB,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,aAAa,GAAG,SAAS,CAC7B,IAAI,CAAC,SAAS,CAAC,aAAa,EAC5B,8BAA8B,CAC/B,CAAC;IACF,MAAM,kBAAkB,GAAG,SAAS,CAClC,iBAAiB,CAAC,OAAO,CAAC,WAAW,EACrC,iCAAiC,CAClC,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,aAAa,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CACb,uEAAuE,CACxE,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GACd,IAAI,CAAC,oBAAoB,KAAK,IAAI;WAC/B,OAAO,IAAI,CAAC,oBAAoB,KAAK,QAAQ;WAC7C,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC;QAC1C,CAAC,CAAC,IAAI,CAAC,oBAA+C;QACtD,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,UAAU,GACd,UAAU,EAAE,CAAC,SAAS,CAAC,KAAK,IAAI;WAC7B,OAAO,UAAU,EAAE,CAAC,SAAS,CAAC,KAAK,QAAQ;WAC3C,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,SAAS,CAAC,CAAC;QACxC,CAAC,CAAC,UAAU,CAAC,SAAS,CAA4B;QAClD,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,eAAe,GAAG,UAAU,EAAE,CAAC,iBAAiB,CAAC,CAAC;IACxD,IAAI,OAAO,eAAe,KAAK,QAAQ,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CACb,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IACD,IACE,CAAC,CACC,0BAA0B,CAAC,IAAI,CAAC,eAAe,CAAC;WAC7C,0BAA0B,CAAC,IAAI,CAAC,eAAe,CAAC;WAChD,CACD,eAAe,CAAC,MAAM,KAAK,EAAE;eAC1B,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC;eAClC,SAAS,CAAC,eAAe,CAAC,CAC9B,CACF,EACD,CAAC;QACD,MAAM,IAAI,KAAK,CACb,+DAA+D,CAChE,CAAC;IACJ,CAAC;IAED,MAAM,0BAA0B,GAAG,WAAW,CAC5C,IAAI,CAAC,SAAS,CAAC,aAAa,EAC5B,yCAAyC,CAC1C,CAAC;IACF,IAAI,mBAA2B,CAAC;IAChC,IAAI,CAAC;QACH,mBAAmB,GAAG,WAAW,CAC/B,cAAc,CAAC,eAAe,CAAC,EAC/B,2CAA2C,CAC5C,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,sEACE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CACvD,EAAE,CACH,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,0BAA0B,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CACb,6DAA6D;cAC3D,2BAA2B,CAC9B,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC;QACrD,GAAG,EAAE,eAAe;QACpB,QAAQ,EAAE,sCAAsC;KACjD,CAAC,CAAC;IACH,yEAAyE;IACzE,6EAA6E;IAC7E,6EAA6E;IAC7E,4EAA4E;IAC5E,2DAA2D;IAC3D,IACE,CAAC,OAAO,CACN,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,CAAC,EAC/C,mBAAmB,CACpB,EACD,CAAC;QACD,MAAM,IAAI,KAAK,CACb,6EAA6E,CAC9E,CAAC;IACJ,CAAC;IACD,IAAI,YAAyD,CAAC;IAC9D,IAAI,CAAC;QACH,YAAY,GAAG,kBAAkB,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACzD,MAAM,sBAAsB,CAAC,eAAe,EAAE,YAAY,CAAC,CAAC;IAC9D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,KAAK,CACb,wCACE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CACvD,EAAE,CACH,CAAC;IACJ,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACxC,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IAED,MAAM,wBAAwB,GAAG,SAAS,CACxC,IAAI,CAAC,SAAS,CAAC,WAAW,EAC1B,wCAAwC,CACzC,CAAC;IACF,MAAM,mBAAmB,GAAG,SAAS,CACnC,YAAY,CAAC,OAAO,CAAC,WAAW,EAChC,4BAA4B,CAC7B,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,wBAAwB,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CACb,+DAA+D,CAChE,CAAC;IACJ,CAAC;IAED,MAAM,2BAA2B,GAAG,WAAW,CAC7C,IAAI,CAAC,SAAS,CAAC,cAAc,EAC7B,0CAA0C,CAC3C,CAAC;IACF,MAAM,oBAAoB,GAAG,SAAS,CACpC,OAAO,CAAC,YAAY,CAAC,oBAAoB,CAAC,CAC3C,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,2BAA2B,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CACb,kEAAkE,CACnE,CAAC;IACJ,CAAC;IAED,OAAO;QACL,eAAe;QACf,UAAU,EAAE;YACV,eAAe;YACf,WAAW,EAAE,mBAAmB;YAChC,cAAc,EAAE,oBAAoB;YACpC,WAAW,EAAE,YAAY,CAAC,WAAW;SACtC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gCAAgC,CAAC,IAItD;IACC,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7D,MAAM,sBAAsB,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAC1D,IACE,UAAU,CAAC,UAAU,KAAK,mBAAmB;WAC1C,UAAU,CAAC,UAAU,KAAK,gBAAgB;WAC1C,UAAU,CAAC,eAAe,KAAK,IAAI,EACtC,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,IAAI,GAAG,sBAAsB,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,cAAc,GAAsC;QACxD,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,UAAU,EAAE,IAAI,CAAC,WAAW;QAC5B,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,UAAU,EAAE,IAAI,CAAC,WAAW;QAC5B,SAAS,EAAE,UAAU,CAAC,SAAS;KAChC,CAAC;IACF,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACjD,MAAM,IAAI,KAAK,CACb,qBAAqB,IAAI,CAAC,kBAAkB,+BAA+B,IAAI,CAAC,WAAW,EAAE,CAC9F,CAAC;IACJ,CAAC;IACD,yBAAyB,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAExD,MAAM,GAAG,GAAG,oCAAoC,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IACzE,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,GAAG,CAAC,WAAW,KAAK,UAAU,CAAC,oBAAoB,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CACb,0BAA0B,GAAG,CAAC,WAAW,+BAA+B,UAAU,CAAC,oBAAoB,EAAE,CAC1G,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,oBAAoB,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC;QAC/C,GAAG,EAAE,GAAG,CAAC,WAAW;QACpB,QAAQ,EAAE,sCAAsC;KACjD,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,sBAAsB,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,YAAY,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,MAAM,CAAC,oBAAoB,KAAK,GAAG,CAAC,oBAAoB,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,kEAAkE,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,SAAS,GAAG,0BAA0B,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IAE/E,MAAM,SAAS,GAAG,sBAAsB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1D,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC;YAC5C,OAAO,EAAE,IAAI,CAAC,UAAU;YACxB,KAAK,EAAE,IAAI,CAAC,QAAQ;YACpB,UAAU,EAAE,IAAI,CAAC,WAAW;YAC5B,QAAQ,EAAE,sCAAsC;SACjD,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACzC,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,SAAS,CAAC,OAAO,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5E,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,CAAC,WAAW,6BAA6B,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,aAAa,GAAG,cAAc,CAAC;YACnC,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,cAAc,EAAE;gBACd,OAAO,EAAE,GAAG,CAAC,cAAc,CAAC,OAAO,IAAI,EAAE;gBACzC,QAAQ,EAAE,GAAG,CAAC,cAAc,CAAC,QAAQ;gBACrC,UAAU,EAAE,GAAG,CAAC,cAAc,CAAC,UAAU;aAC1C;YACD,YAAY,EAAE,GAAG,CAAC,YAAY;YAC9B,YAAY,EAAE,GAAG,CAAC,YAAY;SAC/B,CAAC,CAAC;QACH,IAAI,aAAa,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CACb,kBAAkB,aAAa,gCAAgC,SAAS,CAAC,OAAO,EAAE,CACnF,CAAC;QACJ,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,oBAAoB,EAAE,cAAc,CAAC,CAAC;IAC9D,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC;QAC/C,GAAG,EAAE,SAAS;QACd,QAAQ,EAAE,sCAAsC;KACjD,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,6BAA6B,CAAC,SAAS,CAAC,CAAC;IACxD,kBAAkB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACtC,IAAI,MAAM,CAAC,oBAAoB,KAAK,GAAG,CAAC,oBAAoB,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,KAAK,IAAI,CAAC,WAAW,CAAC,CAAC;IACvF,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CACb,oDAAoD,IAAI,CAAC,WAAW,WAAW,YAAY,CAAC,MAAM,EAAE,CACrG,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAE,CAAC;IAC7B,wBAAwB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,IAAI,MAAM,CAAC,aAAa,KAAK,+BAA+B,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IACD,iBAAiB,CAAC,GAAsB,EAAE,SAAS,CAAC,CAAC;IACrD,OAAO,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,oBAAoB,EAAE,cAAc,CAAC,CAAC;AAC9D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uCAAuC,CACrD,KAAoC;IAMpC,OAAO,KAAK,EAAE,YAAY,EAAE,kBAAkB,EAAE,SAAS,EAAE,EAAE;QAC3D,MAAM,OAAO,GACX,YAAY,KAAK,IAAI;eAClB,OAAO,YAAY,KAAK,QAAQ;eAChC,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC;YAC7B,CAAC,CAAE,YAAwC,CAAC,YAAY,CAAC;YACzD,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,mBAAmB,GAAG,OAAO,IAAI,YAAY,CAAC;QACpD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,gCAAgC,CAAC;gBACtC,UAAU,EAAE,mBAAmB;gBAC/B,kBAAkB;gBAClB,KAAK;aACN,CAAC,CAAC;QACL,CAAC;QAED,MAAM,aAAa,GAAG,MAAM,qCAAqC,CAAC;YAChE,oBAAoB,EAAE,mBAAmB;YACzC,SAAS;YACT,KAAK;SACN,CAAC,CAAC;QACH,MAAM,qBAAqB,GAAG,kBAAkB,CAAC,KAAK,CACpD,aAAa,CAAC,eAAe,CAC9B,CAAC;QACF,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,KAAK,CACpD,qBAAqB,CAAC,IAAI,CAC3B,CAAC;QACF,MAAM,QAAQ,GAAG,MAAM,gCAAgC,CAAC;YACtD,UAAU,EAAE,aAAa,CAAC,eAAe;YACzC,qEAAqE;YACrE,sEAAsE;YACtE,sDAAsD;YACtD,kBAAkB,EAAE,iBAAiB,CAAC,WAAW;YACjD,KAAK;SACN,CAAC,CAAC;QACH,OAAO;YACL,GAAG,QAAQ;YACX,IAAI,EAAE;gBACJ,GAAG,QAAQ,CAAC,IAAI;gBAChB,GAAG,aAAa,CAAC,UAAU;aAC5B;SACF,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC"}

package/dist/solver-types/_swe-rebench-v2-yield-report-data.d.ts

@@ -0,0 +1,5 @@
+/**
+ * Yield report data loader — operator supplies stats via env for v0 CLI.
+ */
+import type { InstanceVerdictStats } from './_swe-rebench-v2-yield.js';
+export declare function loadYieldStatsFromEnv(): InstanceVerdictStats[];

package/dist/solver-types/_swe-rebench-v2-yield-report-data.js

@@ -0,0 +1,16 @@
+/**
+ * Yield report data loader — operator supplies stats via env for v0 CLI.
+ */
+export function loadYieldStatsFromEnv() {
+    const raw = process.env.JINN_YIELD_STATS_JSON;
+    if (!raw)
+        return [];
+    try {
+        const parsed = JSON.parse(raw);
+        return Array.isArray(parsed) ? parsed : [];
+    }
+    catch {
+        return [];
+    }
+}
+//# sourceMappingURL=_swe-rebench-v2-yield-report-data.js.map

package/dist/solver-types/_swe-rebench-v2-yield-report-data.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_swe-rebench-v2-yield-report-data.js","sourceRoot":"","sources":["../../src/solver-types/_swe-rebench-v2-yield-report-data.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,MAAM,UAAU,qBAAqB;IACnC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC;IAC9C,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAA2B,CAAC;QACzD,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC"}