@jinn-network/client 0.1.9 → 0.2.0

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

@@ -0,0 +1,395 @@
+/**
+ * Canonical repeated differential evidence for hardened public-repository
+ * admission. This is evidence collection policy, not a grading semantic.
+ */
+import { z } from 'zod/v3';
+import { type CommandSpec, type TaskEnvironmentSpecV1 } from '../task-creator/environment/contracts.js';
+/** The public, versioned policy for repeated causal admission evidence. */
+export declare const DifferentialAdmissionPolicyV2: {
+    readonly admissionPolicyVersion: "swe-rebench-v2-differential-admission.v2";
+    readonly observationsPerSide: 2;
+    readonly requireFailToPassPerPath: true;
+    readonly requireGloballyUniqueRawAssertionIds: true;
+};
+export type DifferentialAdmissionPolicyV2 = typeof DifferentialAdmissionPolicyV2;
+export declare const TrustedParserObservationV1Schema: z.ZodEffects<z.ZodObject<{
+    passed: z.ZodArray<z.ZodString, "many">;
+    failed: z.ZodArray<z.ZodString, "many">;
+    passed_match: z.ZodBoolean;
+}, "strict", z.ZodTypeAny, {
+    failed: string[];
+    passed_match: boolean;
+    passed: string[];
+}, {
+    failed: string[];
+    passed_match: boolean;
+    passed: string[];
+}>, {
+    failed: string[];
+    passed_match: boolean;
+    passed: string[];
+}, {
+    failed: string[];
+    passed_match: boolean;
+    passed: string[];
+}>;
+export type TrustedParserObservationV1 = z.infer<typeof TrustedParserObservationV1Schema>;
+declare const DifferentialPathReceiptV2Schema: z.ZodObject<{
+    testPath: z.ZodString;
+    commandHash: z.ZodString;
+    broken: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        passed: z.ZodArray<z.ZodString, "many">;
+        failed: z.ZodArray<z.ZodString, "many">;
+        passed_match: z.ZodBoolean;
+    }, "strict", z.ZodTypeAny, {
+        failed: string[];
+        passed_match: boolean;
+        passed: string[];
+    }, {
+        failed: string[];
+        passed_match: boolean;
+        passed: string[];
+    }>, {
+        failed: string[];
+        passed_match: boolean;
+        passed: string[];
+    }, {
+        failed: string[];
+        passed_match: boolean;
+        passed: string[];
+    }>, "many">;
+    fixed: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        passed: z.ZodArray<z.ZodString, "many">;
+        failed: z.ZodArray<z.ZodString, "many">;
+        passed_match: z.ZodBoolean;
+    }, "strict", z.ZodTypeAny, {
+        failed: string[];
+        passed_match: boolean;
+        passed: string[];
+    }, {
+        failed: string[];
+        passed_match: boolean;
+        passed: string[];
+    }>, {
+        failed: string[];
+        passed_match: boolean;
+        passed: string[];
+    }, {
+        failed: string[];
+        passed_match: boolean;
+        passed: string[];
+    }>, "many">;
+    FAIL_TO_PASS: z.ZodArray<z.ZodString, "many">;
+    PASS_TO_PASS: z.ZodArray<z.ZodString, "many">;
+}, "strict", z.ZodTypeAny, {
+    fixed: {
+        failed: string[];
+        passed_match: boolean;
+        passed: string[];
+    }[];
+    FAIL_TO_PASS: string[];
+    PASS_TO_PASS: string[];
+    testPath: string;
+    commandHash: string;
+    broken: {
+        failed: string[];
+        passed_match: boolean;
+        passed: string[];
+    }[];
+}, {
+    fixed: {
+        failed: string[];
+        passed_match: boolean;
+        passed: string[];
+    }[];
+    FAIL_TO_PASS: string[];
+    PASS_TO_PASS: string[];
+    testPath: string;
+    commandHash: string;
+    broken: {
+        failed: string[];
+        passed_match: boolean;
+        passed: string[];
+    }[];
+}>;
+export type DifferentialAdmissionPathReceiptV2 = z.infer<typeof DifferentialPathReceiptV2Schema>;
+declare const DifferentialAdmissionReceiptV2Schema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"swe-rebench-v2-differential-admission-receipt.v2">;
+    admissionPolicyVersion: z.ZodLiteral<"swe-rebench-v2-differential-admission.v2">;
+    task: z.ZodObject<{
+        instanceId: z.ZodString;
+        repo: z.ZodString;
+        baseCommit: z.ZodString;
+        fixCommit: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        repo: string;
+        baseCommit: string;
+        instanceId: string;
+        fixCommit: string;
+    }, {
+        repo: string;
+        baseCommit: string;
+        instanceId: string;
+        fixCommit: string;
+    }>;
+    goldPatchHash: z.ZodString;
+    testPatchHash: z.ZodString;
+    testPaths: z.ZodArray<z.ZodObject<{
+        testPath: z.ZodString;
+        commandHash: z.ZodString;
+        broken: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            passed: z.ZodArray<z.ZodString, "many">;
+            failed: z.ZodArray<z.ZodString, "many">;
+            passed_match: z.ZodBoolean;
+        }, "strict", z.ZodTypeAny, {
+            failed: string[];
+            passed_match: boolean;
+            passed: string[];
+        }, {
+            failed: string[];
+            passed_match: boolean;
+            passed: string[];
+        }>, {
+            failed: string[];
+            passed_match: boolean;
+            passed: string[];
+        }, {
+            failed: string[];
+            passed_match: boolean;
+            passed: string[];
+        }>, "many">;
+        fixed: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            passed: z.ZodArray<z.ZodString, "many">;
+            failed: z.ZodArray<z.ZodString, "many">;
+            passed_match: z.ZodBoolean;
+        }, "strict", z.ZodTypeAny, {
+            failed: string[];
+            passed_match: boolean;
+            passed: string[];
+        }, {
+            failed: string[];
+            passed_match: boolean;
+            passed: string[];
+        }>, {
+            failed: string[];
+            passed_match: boolean;
+            passed: string[];
+        }, {
+            failed: string[];
+            passed_match: boolean;
+            passed: string[];
+        }>, "many">;
+        FAIL_TO_PASS: z.ZodArray<z.ZodString, "many">;
+        PASS_TO_PASS: z.ZodArray<z.ZodString, "many">;
+    }, "strict", z.ZodTypeAny, {
+        fixed: {
+            failed: string[];
+            passed_match: boolean;
+            passed: string[];
+        }[];
+        FAIL_TO_PASS: string[];
+        PASS_TO_PASS: string[];
+        testPath: string;
+        commandHash: string;
+        broken: {
+            failed: string[];
+            passed_match: boolean;
+            passed: string[];
+        }[];
+    }, {
+        fixed: {
+            failed: string[];
+            passed_match: boolean;
+            passed: string[];
+        }[];
+        FAIL_TO_PASS: string[];
+        PASS_TO_PASS: string[];
+        testPath: string;
+        commandHash: string;
+        broken: {
+            failed: string[];
+            passed_match: boolean;
+            passed: string[];
+        }[];
+    }>, "many">;
+    environment: z.ZodObject<{
+        environmentHash: z.ZodString;
+        image: z.ZodEffects<z.ZodObject<{
+            reference: z.ZodString;
+            digest: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            reference: string;
+            digest: string;
+        }, {
+            reference: string;
+            digest: string;
+        }>, {
+            reference: string;
+            digest: string;
+        }, {
+            reference: string;
+            digest: string;
+        }>;
+        parser: z.ZodObject<{
+            id: z.ZodString;
+            version: z.ZodString;
+            digest: z.ZodString;
+            bundleId: z.ZodString;
+        }, "strict", z.ZodTypeAny, {
+            id: string;
+            version: string;
+            digest: string;
+            bundleId: string;
+        }, {
+            id: string;
+            version: string;
+            digest: string;
+            bundleId: string;
+        }>;
+        platform: z.ZodLiteral<"linux/amd64">;
+    }, "strict", z.ZodTypeAny, {
+        image: {
+            reference: string;
+            digest: string;
+        };
+        platform: "linux/amd64";
+        parser: {
+            id: string;
+            version: string;
+            digest: string;
+            bundleId: string;
+        };
+        environmentHash: string;
+    }, {
+        image: {
+            reference: string;
+            digest: string;
+        };
+        platform: "linux/amd64";
+        parser: {
+            id: string;
+            version: string;
+            digest: string;
+            bundleId: string;
+        };
+        environmentHash: string;
+    }>;
+    evalSemanticsVersion: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    schemaVersion: "swe-rebench-v2-differential-admission-receipt.v2";
+    task: {
+        repo: string;
+        baseCommit: string;
+        instanceId: string;
+        fixCommit: string;
+    };
+    environment: {
+        image: {
+            reference: string;
+            digest: string;
+        };
+        platform: "linux/amd64";
+        parser: {
+            id: string;
+            version: string;
+            digest: string;
+            bundleId: string;
+        };
+        environmentHash: string;
+    };
+    admissionPolicyVersion: "swe-rebench-v2-differential-admission.v2";
+    goldPatchHash: string;
+    testPatchHash: string;
+    testPaths: {
+        fixed: {
+            failed: string[];
+            passed_match: boolean;
+            passed: string[];
+        }[];
+        FAIL_TO_PASS: string[];
+        PASS_TO_PASS: string[];
+        testPath: string;
+        commandHash: string;
+        broken: {
+            failed: string[];
+            passed_match: boolean;
+            passed: string[];
+        }[];
+    }[];
+    evalSemanticsVersion: string;
+}, {
+    schemaVersion: "swe-rebench-v2-differential-admission-receipt.v2";
+    task: {
+        repo: string;
+        baseCommit: string;
+        instanceId: string;
+        fixCommit: string;
+    };
+    environment: {
+        image: {
+            reference: string;
+            digest: string;
+        };
+        platform: "linux/amd64";
+        parser: {
+            id: string;
+            version: string;
+            digest: string;
+            bundleId: string;
+        };
+        environmentHash: string;
+    };
+    admissionPolicyVersion: "swe-rebench-v2-differential-admission.v2";
+    goldPatchHash: string;
+    testPatchHash: string;
+    testPaths: {
+        fixed: {
+            failed: string[];
+            passed_match: boolean;
+            passed: string[];
+        }[];
+        FAIL_TO_PASS: string[];
+        PASS_TO_PASS: string[];
+        testPath: string;
+        commandHash: string;
+        broken: {
+            failed: string[];
+            passed_match: boolean;
+            passed: string[];
+        }[];
+    }[];
+    evalSemanticsVersion: string;
+}>;
+export type DifferentialAdmissionReceiptV2 = z.infer<typeof DifferentialAdmissionReceiptV2Schema>;
+export interface DifferentialAdmissionPathObservationsV2 {
+    testPath: string;
+    broken: readonly TrustedParserObservationV1[];
+    fixed: readonly TrustedParserObservationV1[];
+}
+export interface CreateDifferentialAdmissionReceiptV2Input {
+    task: {
+        instanceId: string;
+        repo: string;
+        baseCommit: string;
+        fixCommit: string;
+    };
+    /** Deliberately a digest only: gold-patch contents are never public receipt data. */
+    goldPatchHash: `sha256:${string}`;
+    testPatchHash: `sha256:${string}`;
+    environment: TaskEnvironmentSpecV1;
+    evalSemanticsVersion: string;
+    testPaths: readonly DifferentialAdmissionPathObservationsV2[];
+}
+/**
+ * Select the only admissible command template and add exactly one path scoped
+ * to that command's working directory. The returned command remains
+ * structured until the evaluator edge serialises it.
+ */
+export declare function targetRecipeCommandForTestPath(environment: TaskEnvironmentSpecV1, repositoryRelativeTestPath: string): CommandSpec;
+/** Parse, re-derive, and validate a public receipt before it can be reused. */
+export declare function verifyDifferentialAdmissionReceiptV2(raw: unknown): DifferentialAdmissionReceiptV2;
+/** Canonical content hash used by IPFS/vetted-pool bindings; it is not self-referential receipt data. */
+export declare function hashDifferentialAdmissionReceiptV2(receipt: DifferentialAdmissionReceiptV2): `sha256:${string}`;
+/** Build one sanitised public receipt from trusted, per-path repeated observations. */
+export declare function createDifferentialAdmissionReceiptV2(input: CreateDifferentialAdmissionReceiptV2Input): DifferentialAdmissionReceiptV2;
+export {};

package/dist/solver-types/_swe-rebench-v2-differential-admission.js

@@ -0,0 +1,231 @@
+/**
+ * Canonical repeated differential evidence for hardened public-repository
+ * admission. This is evidence collection policy, not a grading semantic.
+ */
+import { createHash } from 'node:crypto';
+import { posix as path } from 'node:path';
+import { z } from 'zod/v3';
+import { canonicalJson } from '../harnesses/engine/canonical-json.js';
+import { DigestQualifiedImageV1Schema, TrustedParserIdentityV1Schema, } from '../task-creator/environment/contracts.js';
+const SHA256_RE = /^sha256:[0-9a-f]{64}$/u;
+const COMMIT_RE = /^[0-9a-f]{40}$/u;
+const SHA256_SCHEMA = z.string().regex(SHA256_RE);
+const NON_EMPTY = z.string().min(1);
+/** The public, versioned policy for repeated causal admission evidence. */
+export const DifferentialAdmissionPolicyV2 = {
+    admissionPolicyVersion: 'swe-rebench-v2-differential-admission.v2',
+    observationsPerSide: 2,
+    requireFailToPassPerPath: true,
+    requireGloballyUniqueRawAssertionIds: true,
+};
+export const TrustedParserObservationV1Schema = z.object({
+    passed: z.array(NON_EMPTY),
+    failed: z.array(NON_EMPTY),
+    passed_match: z.boolean(),
+}).strict().superRefine((observation, ctx) => {
+    const identifiers = new Set();
+    for (const identifier of [...observation.passed, ...observation.failed]) {
+        if (identifiers.has(identifier)) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: `parser observation repeats raw assertion identifier ${identifier}`,
+            });
+        }
+        identifiers.add(identifier);
+    }
+});
+const DifferentialPathReceiptV2Schema = z.object({
+    testPath: NON_EMPTY,
+    commandHash: SHA256_SCHEMA,
+    broken: z.array(TrustedParserObservationV1Schema).length(DifferentialAdmissionPolicyV2.observationsPerSide),
+    fixed: z.array(TrustedParserObservationV1Schema).length(DifferentialAdmissionPolicyV2.observationsPerSide),
+    FAIL_TO_PASS: z.array(NON_EMPTY),
+    PASS_TO_PASS: z.array(NON_EMPTY),
+}).strict();
+const DifferentialAdmissionReceiptV2Schema = z.object({
+    schemaVersion: z.literal('swe-rebench-v2-differential-admission-receipt.v2'),
+    admissionPolicyVersion: z.literal(DifferentialAdmissionPolicyV2.admissionPolicyVersion),
+    task: z.object({
+        instanceId: NON_EMPTY,
+        repo: NON_EMPTY,
+        baseCommit: z.string().regex(COMMIT_RE),
+        fixCommit: z.string().regex(COMMIT_RE),
+    }).strict(),
+    goldPatchHash: SHA256_SCHEMA,
+    testPatchHash: SHA256_SCHEMA,
+    testPaths: z.array(DifferentialPathReceiptV2Schema).min(1),
+    environment: z.object({
+        environmentHash: SHA256_SCHEMA,
+        image: DigestQualifiedImageV1Schema,
+        parser: TrustedParserIdentityV1Schema,
+        platform: z.literal('linux/amd64'),
+    }).strict(),
+    evalSemanticsVersion: NON_EMPTY,
+}).strict();
+function canonicalSha256(value) {
+    return `sha256:${createHash('sha256').update(canonicalJson(value)).digest('hex')}`;
+}
+function fail(message) {
+    throw new Error(`differential admission: ${message}`);
+}
+function validateRelativeSegments(rawPath, label) {
+    if (!rawPath)
+        fail(`${label} must not be empty`);
+    if (path.isAbsolute(rawPath))
+        fail(`${label} must be repository-relative, not absolute`);
+    const rawSegments = rawPath.split('/');
+    if (rawSegments.some((segment) => segment === '..'))
+        fail(`${label} must not contain traversal`);
+    if (rawSegments.some((segment) => segment.startsWith('-')))
+        fail(`${label} must not contain option-shaped segments`);
+    const normalized = path.normalize(rawPath);
+    if (normalized === '.' || normalized === '..' || normalized.startsWith('../')) {
+        fail(`${label} escapes the repository workspace`);
+    }
+    return normalized.split('/').filter((segment) => segment !== '.' && segment !== '');
+}
+function commandCwdSegments(environment, command) {
+    if (!command.cwd)
+        return [];
+    const workspace = environment.execution.workspace;
+    if (!path.isAbsolute(workspace) || workspace.split('/').includes('..')) {
+        fail('environment workspace is unsafe');
+    }
+    if (path.isAbsolute(command.cwd)) {
+        const normalizedWorkspace = path.normalize(workspace);
+        const normalizedCwd = path.normalize(command.cwd);
+        if (normalizedCwd === normalizedWorkspace)
+            return [];
+        if (!normalizedCwd.startsWith(`${normalizedWorkspace}/`)) {
+            fail('test command cwd escapes the repository workspace');
+        }
+        return validateRelativeSegments(normalizedCwd.slice(normalizedWorkspace.length + 1), 'test command cwd');
+    }
+    return validateRelativeSegments(command.cwd, 'test command cwd');
+}
+function isPrefix(prefix, value) {
+    return prefix.every((segment, index) => value[index] === segment);
+}
+/**
+ * Select the only admissible command template and add exactly one path scoped
+ * to that command's working directory. The returned command remains
+ * structured until the evaluator edge serialises it.
+ */
+export function targetRecipeCommandForTestPath(environment, repositoryRelativeTestPath) {
+    const templates = environment.execution.testCommands;
+    if (templates.length !== 1) {
+        fail('exactly one targetable test command template is required');
+    }
+    const template = templates[0];
+    if (!template)
+        fail('missing targetable test command template');
+    const pathSegments = validateRelativeSegments(repositoryRelativeTestPath, 'test path');
+    const cwdSegments = commandCwdSegments(environment, template);
+    if (!isPrefix(cwdSegments, pathSegments)) {
+        fail('test path is outside the test command workspace');
+    }
+    const targetSegments = pathSegments.slice(cwdSegments.length);
+    if (targetSegments.length === 0)
+        fail('test path must name a file below the test command workspace');
+    return {
+        ...template,
+        args: [...template.args, targetSegments.join('/')],
+        ...(template.environment ? { environment: { ...template.environment } } : {}),
+    };
+}
+function stableObservation(observations, side, testPath) {
+    if (observations.length !== DifferentialAdmissionPolicyV2.observationsPerSide) {
+        fail(`${side} observations for ${testPath} must have exactly ${DifferentialAdmissionPolicyV2.observationsPerSide} runs`);
+    }
+    const parsed = observations.map((observation) => TrustedParserObservationV1Schema.parse(observation));
+    const [first] = parsed;
+    if (!first)
+        fail(`${side} observations for ${testPath} are missing`);
+    if (parsed.some((observation) => canonicalJson(observation) !== canonicalJson(first))) {
+        fail(`${side} observations for ${testPath} are not stable`);
+    }
+    return first;
+}
+function deriveStableSets(before, after) {
+    const beforePassed = new Set(before.passed);
+    const afterPassed = new Set(after.passed);
+    const allTests = [...new Set([...before.passed, ...before.failed, ...after.passed, ...after.failed])];
+    return {
+        FAIL_TO_PASS: allTests.filter((identifier) => !beforePassed.has(identifier) && afterPassed.has(identifier)),
+        PASS_TO_PASS: allTests.filter((identifier) => beforePassed.has(identifier) && afterPassed.has(identifier)),
+    };
+}
+function validateReceiptPolicy(receipt) {
+    const seenPaths = new Set();
+    const rawIdOwners = new Map();
+    for (const testPath of receipt.testPaths) {
+        const normalized = validateRelativeSegments(testPath.testPath, 'receipt test path').join('/');
+        if (normalized !== testPath.testPath)
+            fail(`receipt test path ${testPath.testPath} is not normalized`);
+        if (seenPaths.has(testPath.testPath))
+            fail(`receipt repeats test path ${testPath.testPath}`);
+        seenPaths.add(testPath.testPath);
+        const broken = stableObservation(testPath.broken, 'broken', testPath.testPath);
+        const fixed = stableObservation(testPath.fixed, 'fixed', testPath.testPath);
+        const derived = deriveStableSets(broken, fixed);
+        if (canonicalJson(derived.FAIL_TO_PASS) !== canonicalJson(testPath.FAIL_TO_PASS) ||
+            canonicalJson(derived.PASS_TO_PASS) !== canonicalJson(testPath.PASS_TO_PASS)) {
+            fail(`stable F2P/P2P sets for ${testPath.testPath} do not match its observations`);
+        }
+        if (testPath.FAIL_TO_PASS.length === 0) {
+            fail(`test path ${testPath.testPath} has no fail-to-pass assertion`);
+        }
+        for (const identifier of new Set([...broken.passed, ...broken.failed, ...fixed.passed, ...fixed.failed])) {
+            const owner = rawIdOwners.get(identifier);
+            if (owner && owner !== testPath.testPath) {
+                fail(`duplicate raw assertion identifier ${identifier} in ${owner} and ${testPath.testPath}`);
+            }
+            rawIdOwners.set(identifier, testPath.testPath);
+        }
+    }
+}
+/** Parse, re-derive, and validate a public receipt before it can be reused. */
+export function verifyDifferentialAdmissionReceiptV2(raw) {
+    const receipt = DifferentialAdmissionReceiptV2Schema.parse(raw);
+    validateReceiptPolicy(receipt);
+    return receipt;
+}
+/** Canonical content hash used by IPFS/vetted-pool bindings; it is not self-referential receipt data. */
+export function hashDifferentialAdmissionReceiptV2(receipt) {
+    return canonicalSha256(verifyDifferentialAdmissionReceiptV2(receipt));
+}
+/** Build one sanitised public receipt from trusted, per-path repeated observations. */
+export function createDifferentialAdmissionReceiptV2(input) {
+    if (input.task.repo !== input.environment.source.repo || input.task.baseCommit !== input.environment.source.baseCommit) {
+        fail('task identity does not match the evaluator environment source');
+    }
+    const paths = input.testPaths.map((pathObservations) => {
+        const command = targetRecipeCommandForTestPath(input.environment, pathObservations.testPath);
+        const testPath = validateRelativeSegments(pathObservations.testPath, 'test path').join('/');
+        const broken = stableObservation(pathObservations.broken, 'broken', testPath);
+        const fixed = stableObservation(pathObservations.fixed, 'fixed', testPath);
+        return {
+            testPath,
+            commandHash: canonicalSha256(command),
+            broken: [broken, broken],
+            fixed: [fixed, fixed],
+            ...deriveStableSets(broken, fixed),
+        };
+    });
+    return verifyDifferentialAdmissionReceiptV2({
+        schemaVersion: 'swe-rebench-v2-differential-admission-receipt.v2',
+        admissionPolicyVersion: DifferentialAdmissionPolicyV2.admissionPolicyVersion,
+        task: input.task,
+        goldPatchHash: input.goldPatchHash,
+        testPatchHash: input.testPatchHash,
+        testPaths: paths,
+        environment: {
+            environmentHash: input.environment.attestation.environmentHash,
+            image: input.environment.execution.image,
+            parser: input.environment.execution.parser,
+            platform: input.environment.execution.platform,
+        },
+        evalSemanticsVersion: input.evalSemanticsVersion,
+    });
+}
+//# sourceMappingURL=_swe-rebench-v2-differential-admission.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"_swe-rebench-v2-differential-admission.js","sourceRoot":"","sources":["../../src/solver-types/_swe-rebench-v2-differential-admission.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,CAAC,EAAE,MAAM,QAAQ,CAAC;AAC3B,OAAO,EAAE,aAAa,EAAE,MAAM,uCAAuC,CAAC;AACtE,OAAO,EACL,4BAA4B,EAC5B,6BAA6B,GAG9B,MAAM,0CAA0C,CAAC;AAElD,MAAM,SAAS,GAAG,wBAAwB,CAAC;AAC3C,MAAM,SAAS,GAAG,iBAAiB,CAAC;AACpC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;AAClD,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAEpC,2EAA2E;AAC3E,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,sBAAsB,EAAE,0CAA0C;IAClE,mBAAmB,EAAE,CAAC;IACtB,wBAAwB,EAAE,IAAI;IAC9B,oCAAoC,EAAE,IAAI;CAClC,CAAC;AAGX,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC,MAAM,CAAC;IACvD,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC;IAC1B,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC;IAC1B,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE;CAC1B,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,GAAG,EAAE,EAAE;IAC3C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,UAAU,IAAI,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;QACxE,IAAI,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAChC,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,uDAAuD,UAAU,EAAE;aAC7E,CAAC,CAAC;QACL,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC,CAAC,CAAC;AAGH,MAAM,+BAA+B,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,QAAQ,EAAE,SAAS;IACnB,WAAW,EAAE,aAAa;IAC1B,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC,CAAC,MAAM,CAAC,6BAA6B,CAAC,mBAAmB,CAAC;IAC3G,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC,CAAC,MAAM,CAAC,6BAA6B,CAAC,mBAAmB,CAAC;IAC1G,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC;IAChC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC;CACjC,CAAC,CAAC,MAAM,EAAE,CAAC;AAGZ,MAAM,oCAAoC,GAAG,CAAC,CAAC,MAAM,CAAC;IACpD,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,kDAAkD,CAAC;IAC5E,sBAAsB,EAAE,CAAC,CAAC,OAAO,CAAC,6BAA6B,CAAC,sBAAsB,CAAC;IACvF,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACb,UAAU,EAAE,SAAS;QACrB,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC;QACvC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC;KACvC,CAAC,CAAC,MAAM,EAAE;IACX,aAAa,EAAE,aAAa;IAC5B,aAAa,EAAE,aAAa;IAC5B,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1D,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC;QACpB,eAAe,EAAE,aAAa;QAC9B,KAAK,EAAE,4BAA4B;QACnC,MAAM,EAAE,6BAA6B;QACrC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;KACnC,CAAC,CAAC,MAAM,EAAE;IACX,oBAAoB,EAAE,SAAS;CAChC,CAAC,CAAC,MAAM,EAAE,CAAC;AAwBZ,SAAS,eAAe,CAAC,KAAc;IACrC,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACrF,CAAC;AAED,SAAS,IAAI,CAAC,OAAe;IAC3B,MAAM,IAAI,KAAK,CAAC,2BAA2B,OAAO,EAAE,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAe,EAAE,KAAa;IAC9D,IAAI,CAAC,OAAO;QAAE,IAAI,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IACjD,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,IAAI,CAAC,GAAG,KAAK,4CAA4C,CAAC,CAAC;IACzF,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC;QAAE,IAAI,CAAC,GAAG,KAAK,6BAA6B,CAAC,CAAC;IACjG,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAAE,IAAI,CAAC,GAAG,KAAK,0CAA0C,CAAC,CAAC;IACrH,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC3C,IAAI,UAAU,KAAK,GAAG,IAAI,UAAU,KAAK,IAAI,IAAI,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9E,IAAI,CAAC,GAAG,KAAK,mCAAmC,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,EAAE,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,kBAAkB,CAAC,WAAkC,EAAE,OAAoB;IAClF,IAAI,CAAC,OAAO,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IAC5B,MAAM,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC,SAAS,CAAC;IAClD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACvE,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACtD,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAClD,IAAI,aAAa,KAAK,mBAAmB;YAAE,OAAO,EAAE,CAAC;QACrD,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,GAAG,mBAAmB,GAAG,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,mDAAmD,CAAC,CAAC;QAC5D,CAAC;QACD,OAAO,wBAAwB,CAAC,aAAa,CAAC,KAAK,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO,wBAAwB,CAAC,OAAO,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,QAAQ,CAAC,MAAyB,EAAE,KAAwB;IACnE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC,CAAC;AACpE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAC5C,WAAkC,EAClC,0BAAkC;IAElC,MAAM,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC,YAAY,CAAC;IACrD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,IAAI,CAAC,0DAA0D,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,CAAC,QAAQ;QAAE,IAAI,CAAC,0CAA0C,CAAC,CAAC;IAEhE,MAAM,YAAY,GAAG,wBAAwB,CAAC,0BAA0B,EAAE,WAAW,CAAC,CAAC;IACvF,MAAM,WAAW,GAAG,kBAAkB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IAC9D,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,iDAAiD,CAAC,CAAC;IAC1D,CAAC;IACD,MAAM,cAAc,GAAG,YAAY,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9D,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,CAAC,6DAA6D,CAAC,CAAC;IAErG,OAAO;QACL,GAAG,QAAQ;QACX,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClD,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,GAAG,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9E,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,YAAmD,EACnD,IAAwB,EACxB,QAAgB;IAEhB,IAAI,YAAY,CAAC,MAAM,KAAK,6BAA6B,CAAC,mBAAmB,EAAE,CAAC;QAC9E,IAAI,CAAC,GAAG,IAAI,qBAAqB,QAAQ,sBAAsB,6BAA6B,CAAC,mBAAmB,OAAO,CAAC,CAAC;IAC3H,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,gCAAgC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;IACtG,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC;IACvB,IAAI,CAAC,KAAK;QAAE,IAAI,CAAC,GAAG,IAAI,qBAAqB,QAAQ,cAAc,CAAC,CAAC;IACrE,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,aAAa,CAAC,WAAW,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACtF,IAAI,CAAC,GAAG,IAAI,qBAAqB,QAAQ,iBAAiB,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAkC,EAClC,KAAiC;IAEjC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1C,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,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC3G,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;KAC3G,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAuC;IACpE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,wBAAwB,CAAC,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9F,IAAI,UAAU,KAAK,QAAQ,CAAC,QAAQ;YAAE,IAAI,CAAC,qBAAqB,QAAQ,CAAC,QAAQ,oBAAoB,CAAC,CAAC;QACvG,IAAI,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,IAAI,CAAC,6BAA6B,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC7F,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAEjC,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC/E,MAAM,KAAK,GAAG,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC5E,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAChD,IAAI,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,aAAa,CAAC,QAAQ,CAAC,YAAY,CAAC;YAC5E,aAAa,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,aAAa,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YACjF,IAAI,CAAC,2BAA2B,QAAQ,CAAC,QAAQ,gCAAgC,CAAC,CAAC;QACrF,CAAC;QACD,IAAI,QAAQ,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,aAAa,QAAQ,CAAC,QAAQ,gCAAgC,CAAC,CAAC;QACvE,CAAC;QAED,KAAK,MAAM,UAAU,IAAI,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,EAAE,CAAC;YACzG,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC1C,IAAI,KAAK,IAAI,KAAK,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACzC,IAAI,CAAC,sCAAsC,UAAU,OAAO,KAAK,QAAQ,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;YAChG,CAAC;YACD,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,oCAAoC,CAAC,GAAY;IAC/D,MAAM,OAAO,GAAG,oCAAoC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAChE,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAC/B,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,yGAAyG;AACzG,MAAM,UAAU,kCAAkC,CAAC,OAAuC;IACxF,OAAO,eAAe,CAAC,oCAAoC,CAAC,OAAO,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,oCAAoC,CAClD,KAAgD;IAEhD,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QACvH,IAAI,CAAC,+DAA+D,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,gBAAgB,EAAE,EAAE;QACrD,MAAM,OAAO,GAAG,8BAA8B,CAAC,KAAK,CAAC,WAAW,EAAE,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAC7F,MAAM,QAAQ,GAAG,wBAAwB,CAAC,gBAAgB,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5F,MAAM,MAAM,GAAG,iBAAiB,CAAC,gBAAgB,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC9E,MAAM,KAAK,GAAG,iBAAiB,CAAC,gBAAgB,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC3E,OAAO;YACL,QAAQ;YACR,WAAW,EAAE,eAAe,CAAC,OAAO,CAAC;YACrC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;YACxB,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;YACrB,GAAG,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC;SACnC,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO,oCAAoC,CAAC;QAC1C,aAAa,EAAE,kDAAkD;QACjE,sBAAsB,EAAE,6BAA6B,CAAC,sBAAsB;QAC5E,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,SAAS,EAAE,KAAK;QAChB,WAAW,EAAE;YACX,eAAe,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW,CAAC,eAAe;YAC9D,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK;YACxC,MAAM,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM;YAC1C,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,QAAQ;SAC/C;QACD,oBAAoB,EAAE,KAAK,CAAC,oBAAoB;KACjD,CAAC,CAAC;AACL,CAAC"}

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

@@ -0,0 +1,47 @@
+/**
+ * Empirical F2P/P2P derivation — double-run Docker grading.
+ * Spec §5.3, PR 2.2.
+ */
+import type { EvalRunner } from '../harnesses/impls/swe-rebench-v2-evaluator/index.js';
+export interface EmpiricalTestDerivationInput {
+    instance_id: string;
+    repo: string;
+    image: string;
+    test_patch: string;
+    install?: string[];
+    test_cmd: string | string[];
+    log_parser: string;
+    gold_patch: string;
+    /** Patch that produces the broken state B' (may be empty for base). */
+    broken_patch: string;
+}
+export interface EmpiricalTestDerivationResult {
+    FAIL_TO_PASS: string[];
+    PASS_TO_PASS: string[];
+    dead: boolean;
+    /** Exact before/after observations for a bound evidence receipt. */
+    before?: EvalReportLike;
+    after?: EvalReportLike;
+}
+export interface EvalReportLike {
+    passed: string[];
+    failed: string[];
+    passed_match: boolean;
+}
+export interface TargetedEmpiricalTestDerivationInput extends EmpiricalTestDerivationInput {
+    /** Already-normalized repository path bound to the targeted test command. */
+    normalizedTestPath: string;
+}
+export interface TargetedEmpiricalTestDerivationResult {
+    testPath: string;
+    broken: [EvalReportLike, EvalReportLike];
+    fixed: [EvalReportLike, EvalReportLike];
+}
+export declare function deriveF2pP2pFromReports(before: EvalReportLike, after: EvalReportLike, allTests: string[]): EmpiricalTestDerivationResult;
+export declare function runEmpiricalTestDerivation(input: EmpiricalTestDerivationInput, runner: EvalRunner): Promise<EmpiricalTestDerivationResult>;
+/**
+ * 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 declare function runTargetedEmpiricalTestDerivation(input: TargetedEmpiricalTestDerivationInput, runner: EvalRunner): Promise<TargetedEmpiricalTestDerivationResult>;