@dewtech/dare-cli 3.2.0 → 3.4.0

package/dist/verification/bench/harness.js

@@ -0,0 +1,138 @@
+import path from 'node:path';
+import os from 'node:os';
+import fs from 'fs-extra';
+import { safeSpawn } from '../../exec/safe-spawn.js';
+import { assertRelativeSafe } from '../../utils/path-safety.js';
+import { testCommandFor } from '../gates/fail-to-pass.js';
+import { loadSuite } from './fixtures.js';
+import { computeFixtureResult, } from './report.js';
+function parseVitestJson(stdout) {
+    const passed = [];
+    const failed = [];
+    try {
+        const report = JSON.parse(stdout);
+        for (const fileResult of report.testResults ?? []) {
+            for (const assertion of fileResult.assertionResults ?? []) {
+                const name = assertion.fullName ?? 'unknown';
+                if (assertion.status === 'passed')
+                    passed.push(name);
+                else if (assertion.status === 'failed')
+                    failed.push(name);
+            }
+        }
+    }
+    catch {
+        // unstructured output
+    }
+    return { passed, failed };
+}
+async function defaultRunTestSuite(cwd, stack) {
+    const { command, args } = testCommandFor(stack, '**/*.{spec,test}.{ts,tsx,js}');
+    const result = await safeSpawn(command, args, {
+        cwd,
+        timeoutSeconds: 300,
+        maxChars: 200000,
+    });
+    return parseVitestJson(result.stdout);
+}
+function normalizePatch(content) {
+    return content
+        .replace(/^--- a\/repo\//gm, '--- a/')
+        .replace(/^\+\+\+ b\/repo\//gm, '+++ b/')
+        .replace(/^diff --git a\/repo\//gm, 'diff --git a/');
+}
+async function defaultApplyPatch(cwd, patchPath) {
+    const raw = await fs.readFile(patchPath, 'utf8');
+    const normalized = normalizePatch(raw);
+    const tmpPatch = path.join(cwd, '.dare-patch.tmp');
+    await fs.writeFile(tmpPatch, normalized);
+    const result = await safeSpawn('git', ['apply', '--whitespace=nowarn', tmpPatch], {
+        cwd,
+        timeoutSeconds: 60,
+        maxChars: 8000,
+    });
+    await fs.remove(tmpPatch).catch(() => undefined);
+    if (result.code !== 0) {
+        throw new Error(`patch apply failed: ${result.stderr.trim()}`);
+    }
+}
+async function readTestList(fixtureDir, file) {
+    const content = await fs.readFile(path.join(fixtureDir, file), 'utf8');
+    return content
+        .split('\n')
+        .map((l) => l.trim())
+        .filter(Boolean);
+}
+function countListedTests(listed, passed) {
+    let passCount = 0;
+    for (const name of listed) {
+        if (passed.some((p) => p.includes(name) || name.includes(p)))
+            passCount++;
+    }
+    return { passed: passCount, total: listed.length };
+}
+const defaultDeps = {
+    runTestSuite: defaultRunTestSuite,
+    copyRepo: async (src, dest) => fs.copy(src, dest),
+    applyPatch: defaultApplyPatch,
+};
+export function createRunFixture(deps = {}) {
+    const d = { ...defaultDeps, ...deps };
+    return async function runFixture(meta, baseDir) {
+        assertRelativeSafe(meta.id);
+        const fixtureDir = path.join(baseDir, meta.id);
+        const repoSrc = path.join(fixtureDir, 'repo');
+        const tmpDir = await fs.mkdtemp(path.join(os.tmpdir(), 'dare-bench-'));
+        const started = Date.now();
+        try {
+            await d.copyRepo(repoSrc, tmpDir);
+            await safeSpawn('git', ['init'], { cwd: tmpDir, timeoutSeconds: 30 });
+            await safeSpawn('git', ['add', '.'], { cwd: tmpDir, timeoutSeconds: 30 });
+            await safeSpawn('git', ['commit', '-m', 'baseline'], {
+                cwd: tmpDir,
+                timeoutSeconds: 30,
+                env: {
+                    ...process.env,
+                    GIT_AUTHOR_NAME: 'dare-bench',
+                    GIT_AUTHOR_EMAIL: 'bench@dare.local',
+                    GIT_COMMITTER_NAME: 'dare-bench',
+                    GIT_COMMITTER_EMAIL: 'bench@dare.local',
+                },
+            });
+            await d.applyPatch(tmpDir, path.join(fixtureDir, meta.patch));
+            const run = await d.runTestSuite(tmpDir, meta.stack);
+            const f2pList = await readTestList(fixtureDir, meta.failToPass);
+            const p2pList = await readTestList(fixtureDir, meta.passToPass);
+            const raw = {
+                id: meta.id,
+                stack: meta.stack,
+                failToPass: countListedTests(f2pList, run.passed),
+                passToPass: countListedTests(p2pList, run.passed),
+                durationMs: Date.now() - started,
+            };
+            return computeFixtureResult(raw);
+        }
+        finally {
+            await fs.remove(tmpDir).catch(() => undefined);
+        }
+    };
+}
+export const runFixture = createRunFixture();
+function matchesFilter(id, filter) {
+    if (!filter)
+        return true;
+    const re = new RegExp('^' + filter.replace(/\*/g, '.*').replace(/\?/g, '.') + '$');
+    return re.test(id);
+}
+export async function runSuite(suiteDir, opts = {}) {
+    const fixtures = await loadSuite(suiteDir);
+    const runOne = createRunFixture(opts.deps);
+    const results = [];
+    for (const meta of fixtures) {
+        if (!matchesFilter(meta.id, opts.filter))
+            continue;
+        results.push(await runOne(meta, suiteDir));
+    }
+    return results;
+}
+//# sourceMappingURL=harness.js.map

package/dist/verification/bench/harness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.js","sourceRoot":"","sources":["../../../src/verification/bench/harness.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE1D,OAAO,EAAe,SAAS,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EACL,oBAAoB,GAGrB,MAAM,aAAa,CAAC;AAuBrB,SAAS,eAAe,CAAC,MAAc;IACrC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAqB,CAAC;QACtD,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YAClD,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,gBAAgB,IAAI,EAAE,EAAE,CAAC;gBAC1D,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC;gBAC7C,IAAI,SAAS,CAAC,MAAM,KAAK,QAAQ;oBAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;qBAChD,IAAI,SAAS,CAAC,MAAM,KAAK,QAAQ;oBAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,sBAAsB;IACxB,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC;AAED,KAAK,UAAU,mBAAmB,CAChC,GAAW,EACX,KAAa;IAEb,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,cAAc,CAAC,KAAK,EAAE,8BAA8B,CAAC,CAAC;IAChF,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE;QAC5C,GAAG;QACH,cAAc,EAAE,GAAG;QACnB,QAAQ,EAAE,MAAO;KAClB,CAAC,CAAC;IACH,OAAO,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,cAAc,CAAC,OAAe;IACrC,OAAO,OAAO;SACX,OAAO,CAAC,kBAAkB,EAAE,QAAQ,CAAC;SACrC,OAAO,CAAC,qBAAqB,EAAE,QAAQ,CAAC;SACxC,OAAO,CAAC,yBAAyB,EAAE,eAAe,CAAC,CAAC;AACzD,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,GAAW,EAAE,SAAiB;IAC7D,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,iBAAiB,CAAC,CAAC;IACnD,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,qBAAqB,EAAE,QAAQ,CAAC,EAAE;QAChF,GAAG;QACH,cAAc,EAAE,EAAE;QAClB,QAAQ,EAAE,IAAI;KACf,CAAC,CAAC;IACH,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IACjD,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,uBAAuB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACjE,CAAC;AACH,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,UAAkB,EAAE,IAAY;IAC1D,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IACvE,OAAO,OAAO;SACX,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,OAAO,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,gBAAgB,CACvB,MAA6B,EAC7B,MAA6B;IAE7B,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS,EAAE,CAAC;IAC5E,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;AACrD,CAAC;AAED,MAAM,WAAW,GAAgB;IAC/B,YAAY,EAAE,mBAAmB;IACjC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC;IACjD,UAAU,EAAE,iBAAiB;CAC9B,CAAC;AAEF,MAAM,UAAU,gBAAgB,CAAC,OAA6B,EAAE;IAC9D,MAAM,CAAC,GAAG,EAAE,GAAG,WAAW,EAAE,GAAG,IAAI,EAAE,CAAC;IAEtC,OAAO,KAAK,UAAU,UAAU,CAC9B,IAAiB,EACjB,OAAe;QAEf,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5B,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;QACvE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE3B,IAAI,CAAC;YACH,MAAM,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAClC,MAAM,SAAS,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC;YACtE,MAAM,SAAS,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC;YAC1E,MAAM,SAAS,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE;gBACnD,GAAG,EAAE,MAAM;gBACX,cAAc,EAAE,EAAE;gBAClB,GAAG,EAAE;oBACH,GAAG,OAAO,CAAC,GAAG;oBACd,eAAe,EAAE,YAAY;oBAC7B,gBAAgB,EAAE,kBAAkB;oBACpC,kBAAkB,EAAE,YAAY;oBAChC,mBAAmB,EAAE,kBAAkB;iBACxC;aACF,CAAC,CAAC;YAEH,MAAM,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAE9D,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACrD,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YAChE,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YAEhE,MAAM,GAAG,GAAqB;gBAC5B,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,UAAU,EAAE,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC;gBACjD,UAAU,EAAE,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC;gBACjD,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO;aACjC,CAAC;YAEF,OAAO,oBAAoB,CAAC,GAAG,CAAC,CAAC;QACnC,CAAC;gBAAS,CAAC;YACT,MAAM,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACjD,CAAC;IACH,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,gBAAgB,EAAE,CAAC;AAO7C,SAAS,aAAa,CAAC,EAAU,EAAE,MAAe;IAChD,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,EAAE,GAAG,IAAI,MAAM,CACnB,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,GAAG,CAC5D,CAAC;IACF,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACrB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,QAAgB,EAChB,OAAwB,EAAE;IAE1B,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAoB,EAAE,CAAC;IAEpC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC;YAAE,SAAS;QACnD,OAAO,CAAC,IAAI,CAAC,MAAM,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/verification/bench/report.d.ts

@@ -0,0 +1,53 @@
+export interface FixtureResult {
+    readonly id: string;
+    readonly stack: string;
+    readonly fixRate: number;
+    readonly passToPassRegressed: boolean;
+    readonly solved: boolean;
+    readonly failToPass: {
+        readonly passed: number;
+        readonly total: number;
+    };
+    readonly passToPass: {
+        readonly passed: number;
+        readonly total: number;
+    };
+    readonly durationMs: number;
+}
+export interface BenchReport {
+    readonly schemaVersion: 1;
+    readonly ranAt: string;
+    readonly suite: string;
+    readonly totals: {
+        readonly fixtures: number;
+        readonly solved: number;
+        readonly solveRate: number;
+    };
+    readonly results: ReadonlyArray<FixtureResult>;
+    readonly regression?: {
+        readonly baselineSolveRate: number;
+        readonly deltaPp: number;
+        readonly failed: boolean;
+    };
+}
+export interface RawFixtureCounts {
+    readonly id: string;
+    readonly stack: string;
+    readonly failToPass: {
+        readonly passed: number;
+        readonly total: number;
+    };
+    readonly passToPass: {
+        readonly passed: number;
+        readonly total: number;
+    };
+    readonly durationMs: number;
+}
+export declare function computeFixtureResult(raw: RawFixtureCounts): FixtureResult;
+export declare function buildReport(results: ReadonlyArray<FixtureResult>, opts: {
+    readonly suite: string;
+    readonly baseline?: BenchReport;
+    readonly failOnRegressionPp?: number;
+    readonly ranAt?: string;
+}): BenchReport;
+//# sourceMappingURL=report.d.ts.map

package/dist/verification/bench/report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../../src/verification/bench/report.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACzE,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACzE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;KAC5B,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;IAC/C,QAAQ,CAAC,UAAU,CAAC,EAAE;QACpB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;QACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;KAC1B,CAAC;CACH;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACzE,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACzE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,gBAAgB,GAAG,aAAa,CAmBzE;AAED,wBAAgB,WAAW,CACzB,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,EACrC,IAAI,EAAE;IACJ,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC;IAChC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB,GACA,WAAW,CA4Bb"}

package/dist/verification/bench/report.js

@@ -0,0 +1,47 @@
+export function computeFixtureResult(raw) {
+    const passToPassRegressed = raw.passToPass.passed < raw.passToPass.total;
+    const fixRate = passToPassRegressed
+        ? 0
+        : raw.failToPass.total === 0
+            ? 1
+            : raw.failToPass.passed / raw.failToPass.total;
+    const solved = fixRate === 1 && !passToPassRegressed;
+    return {
+        id: raw.id,
+        stack: raw.stack,
+        fixRate,
+        passToPassRegressed,
+        solved,
+        failToPass: raw.failToPass,
+        passToPass: raw.passToPass,
+        durationMs: raw.durationMs,
+    };
+}
+export function buildReport(results, opts) {
+    const solved = results.filter((r) => r.solved).length;
+    const solveRate = results.length === 0 ? 0 : solved / results.length;
+    const regression = opts.baseline
+        ? (() => {
+            const deltaPp = (solveRate - opts.baseline.totals.solveRate) * 100;
+            const threshold = opts.failOnRegressionPp ?? 3;
+            return {
+                baselineSolveRate: opts.baseline.totals.solveRate,
+                deltaPp,
+                failed: -deltaPp > threshold,
+            };
+        })()
+        : undefined;
+    return {
+        schemaVersion: 1,
+        ranAt: opts.ranAt ?? new Date().toISOString(),
+        suite: opts.suite,
+        totals: {
+            fixtures: results.length,
+            solved,
+            solveRate,
+        },
+        results: [...results],
+        regression,
+    };
+}
+//# sourceMappingURL=report.js.map

package/dist/verification/bench/report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../../../src/verification/bench/report.ts"],"names":[],"mappings":"AAoCA,MAAM,UAAU,oBAAoB,CAAC,GAAqB;IACxD,MAAM,mBAAmB,GAAG,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;IACzE,MAAM,OAAO,GAAG,mBAAmB;QACjC,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,KAAK,CAAC;YAC1B,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;IACnD,MAAM,MAAM,GAAG,OAAO,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC;IAErD,OAAO;QACL,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,OAAO;QACP,mBAAmB;QACnB,MAAM;QACN,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,UAAU,EAAE,GAAG,CAAC,UAAU;KAC3B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,OAAqC,EACrC,IAKC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;IACtD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAErE,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ;QAC9B,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,MAAM,OAAO,GAAG,CAAC,SAAS,GAAG,IAAI,CAAC,QAAS,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC;YACpE,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,IAAI,CAAC,CAAC;YAC/C,OAAO;gBACL,iBAAiB,EAAE,IAAI,CAAC,QAAS,CAAC,MAAM,CAAC,SAAS;gBAClD,OAAO;gBACP,MAAM,EAAE,CAAC,OAAO,GAAG,SAAS;aAC7B,CAAC;QACJ,CAAC,CAAC,EAAE;QACN,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAC7C,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM,EAAE;YACN,QAAQ,EAAE,OAAO,CAAC,MAAM;YACxB,MAAM;YACN,SAAS;SACV;QACD,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC;QACrB,UAAU;KACX,CAAC;AACJ,CAAC"}

package/dist/verification/best-of-n/runner.d.ts

@@ -0,0 +1,29 @@
+import type { Candidate, VerificationConfig } from '../types.js';
+import { runVerification as defaultRunVerification } from '../runner.js';
+import { gitChangedFiles } from '../../commands/execute-verification.js';
+import { createWorktree as defaultCreateWorktree, removeWorktree as defaultRemoveWorktree, type Worktree } from './worktree.js';
+export interface RunBestOfNArgs {
+    readonly taskId: string;
+    readonly repoRoot: string;
+    readonly n: number;
+    readonly stack: string;
+    readonly config: VerificationConfig;
+    readonly fillCandidate: (wt: Worktree) => Promise<void>;
+}
+export interface RunBestOfNDeps {
+    readonly runVerification: typeof defaultRunVerification;
+    readonly createWorktree: typeof defaultCreateWorktree;
+    readonly removeWorktree: typeof defaultRemoveWorktree;
+    readonly gitChangedFiles: typeof gitChangedFiles;
+    readonly promoteWinner: (repoRoot: string, winner: Worktree) => Promise<void>;
+}
+export declare function promoteWinnerPatch(repoRoot: string, winner: Worktree): Promise<void>;
+export declare function createRunBestOfN(deps?: Partial<RunBestOfNDeps>): (args: RunBestOfNArgs) => Promise<{
+    winner: Candidate;
+    discarded: ReadonlyArray<Candidate>;
+}>;
+export declare const runBestOfN: (args: RunBestOfNArgs) => Promise<{
+    winner: Candidate;
+    discarded: ReadonlyArray<Candidate>;
+}>;
+//# sourceMappingURL=runner.d.ts.map

package/dist/verification/best-of-n/runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../../src/verification/best-of-n/runner.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACjE,OAAO,EAEL,eAAe,IAAI,sBAAsB,EAC1C,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,eAAe,EAAE,MAAM,wCAAwC,CAAC;AAGzE,OAAO,EACL,cAAc,IAAI,qBAAqB,EACvC,cAAc,IAAI,qBAAqB,EACvC,KAAK,QAAQ,EACd,MAAM,eAAe,CAAC;AAKvB,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,aAAa,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACzD;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,eAAe,EAAE,OAAO,sBAAsB,CAAC;IACxD,QAAQ,CAAC,cAAc,EAAE,OAAO,qBAAqB,CAAC;IACtD,QAAQ,CAAC,cAAc,EAAE,OAAO,qBAAqB,CAAC;IACtD,QAAQ,CAAC,eAAe,EAAE,OAAO,eAAe,CAAC;IACjD,QAAQ,CAAC,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CAC/E;AAED,wBAAsB,kBAAkB,CACtC,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,QAAQ,GACf,OAAO,CAAC,IAAI,CAAC,CAoBf;AAUD,wBAAgB,gBAAgB,CAC9B,IAAI,GAAE,OAAO,CAAC,cAAc,CAAM,GACjC,CAAC,IAAI,EAAE,cAAc,KAAK,OAAO,CAAC;IACnC,MAAM,EAAE,SAAS,CAAC;IAClB,SAAS,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;CACrC,CAAC,CA8CD;AAED,eAAO,MAAM,UAAU,SAnDb,cAAc,KAAK,OAAO,CAAC;IACnC,MAAM,EAAE,SAAS,CAAC;IAClB,SAAS,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;CACrC,CAgD2C,CAAC"}

package/dist/verification/best-of-n/runner.js

@@ -0,0 +1,76 @@
+import path from 'node:path';
+import fs from 'fs-extra';
+import { runVerification as defaultRunVerification, } from '../runner.js';
+import { gitChangedFiles } from '../../commands/execute-verification.js';
+import { safeSpawn } from '../../exec/safe-spawn.js';
+import { createLogger } from '../../utils/logger.js';
+import { createWorktree as defaultCreateWorktree, removeWorktree as defaultRemoveWorktree, } from './worktree.js';
+import { selectByPareto } from './selector/pareto.js';
+const log = createLogger('best-of-n');
+export async function promoteWinnerPatch(repoRoot, winner) {
+    const diff = await safeSpawn('git', ['diff', 'HEAD', winner.branch], {
+        cwd: repoRoot,
+        timeoutSeconds: 120,
+        maxChars: 500000,
+    });
+    if (!diff.stdout.trim())
+        return;
+    const patchPath = path.join(repoRoot, '.dare', 'winner.patch');
+    await fs.ensureDir(path.dirname(patchPath));
+    await fs.writeFile(patchPath, diff.stdout);
+    const apply = await safeSpawn('git', ['apply', patchPath], {
+        cwd: repoRoot,
+        timeoutSeconds: 120,
+        maxChars: 8000,
+    });
+    if (apply.code !== 0) {
+        throw new Error(`git apply failed: ${apply.stderr.trim()}`);
+    }
+}
+const defaultDeps = {
+    runVerification: defaultRunVerification,
+    createWorktree: defaultCreateWorktree,
+    removeWorktree: defaultRemoveWorktree,
+    gitChangedFiles,
+    promoteWinner: promoteWinnerPatch,
+};
+export function createRunBestOfN(deps = {}) {
+    const d = { ...defaultDeps, ...deps };
+    return async function runBestOfN(args) {
+        const worktrees = [];
+        const candidates = [];
+        const verifyConfig = { ...args.config, enabled: true };
+        try {
+            for (let i = 1; i <= args.n; i++) {
+                const id = `cand-${i}`;
+                const wt = await d.createWorktree(args.repoRoot, id);
+                worktrees.push(wt);
+                log.info({ id, path: wt.path }, 'worktree created');
+                await args.fillCandidate(wt);
+                const wtCwd = path.resolve(args.repoRoot, wt.path);
+                const changedFiles = await d.gitChangedFiles(wtCwd);
+                const verification = await d.runVerification({
+                    taskId: args.taskId,
+                    stack: args.stack,
+                    cwd: wtCwd,
+                    config: verifyConfig,
+                    changedFiles,
+                });
+                candidates.push({ id, worktree: wt, verification });
+            }
+            const winner = selectByPareto(candidates);
+            await d.promoteWinner(args.repoRoot, winner.worktree);
+            const discarded = candidates.filter((c) => c.id !== winner.id);
+            return { winner, discarded };
+        }
+        finally {
+            for (const wt of worktrees) {
+                await d.removeWorktree(args.repoRoot, wt).catch((err) => {
+                    log.warn({ id: wt.id, err: err instanceof Error ? err.message : String(err) }, 'worktree cleanup failed');
+                });
+            }
+        }
+    };
+}
+export const runBestOfN = createRunBestOfN();
+//# sourceMappingURL=runner.js.map

package/dist/verification/best-of-n/runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../../../src/verification/best-of-n/runner.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,UAAU,CAAC;AAE1B,OAAO,EAEL,eAAe,IAAI,sBAAsB,GAC1C,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,eAAe,EAAE,MAAM,wCAAwC,CAAC;AACzE,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EACL,cAAc,IAAI,qBAAqB,EACvC,cAAc,IAAI,qBAAqB,GAExC,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtD,MAAM,GAAG,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;AAmBtC,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,QAAgB,EAChB,MAAgB;IAEhB,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE;QACnE,GAAG,EAAE,QAAQ;QACb,cAAc,EAAE,GAAG;QACnB,QAAQ,EAAE,MAAO;KAClB,CAAC,CAAC;IACH,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE;QAAE,OAAO;IAEhC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;IAC/D,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IAC5C,MAAM,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAE3C,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE;QACzD,GAAG,EAAE,QAAQ;QACb,cAAc,EAAE,GAAG;QACnB,QAAQ,EAAE,IAAI;KACf,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,qBAAqB,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC;AAED,MAAM,WAAW,GAAmB;IAClC,eAAe,EAAE,sBAAsB;IACvC,cAAc,EAAE,qBAAqB;IACrC,cAAc,EAAE,qBAAqB;IACrC,eAAe;IACf,aAAa,EAAE,kBAAkB;CAClC,CAAC;AAEF,MAAM,UAAU,gBAAgB,CAC9B,OAAgC,EAAE;IAKlC,MAAM,CAAC,GAAG,EAAE,GAAG,WAAW,EAAE,GAAG,IAAI,EAAE,CAAC;IAEtC,OAAO,KAAK,UAAU,UAAU,CAAC,IAAoB;QACnD,MAAM,SAAS,GAAe,EAAE,CAAC;QACjC,MAAM,UAAU,GAAgB,EAAE,CAAC;QACnC,MAAM,YAAY,GAAuB,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAE3E,IAAI,CAAC;YACH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACjC,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC;gBACvB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;gBACrD,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACnB,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,kBAAkB,CAAC,CAAC;gBAEpD,MAAM,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;gBAE7B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;gBACnD,MAAM,YAAY,GAAG,MAAM,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;gBACpD,MAAM,YAAY,GAAG,MAAM,CAAC,CAAC,eAAe,CAAC;oBAC3C,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,GAAG,EAAE,KAAK;oBACV,MAAM,EAAE,YAAY;oBACpB,YAAY;iBACb,CAAC,CAAC;gBAEH,UAAU,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;YACtD,CAAC;YAED,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;YAC1C,MAAM,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;YAEtD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC;YAC/D,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QAC/B,CAAC;gBAAS,CAAC;YACT,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;gBAC3B,MAAM,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;oBACtD,GAAG,CAAC,IAAI,CACN,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EACpE,yBAAyB,CAC1B,CAAC;gBACJ,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,gBAAgB,EAAE,CAAC"}

package/dist/verification/best-of-n/selector/pareto.d.ts

@@ -0,0 +1,10 @@
+import type { Candidate } from '../../types.js';
+export declare class NoViableCandidateError extends Error {
+    constructor(message?: string);
+}
+/**
+ * Pareto-dominant candidate over test/lint/type/mutation aspects.
+ * Candidates with any FAIL aspect are discarded first.
+ */
+export declare function selectByPareto(candidates: ReadonlyArray<Candidate>): Candidate;
+//# sourceMappingURL=pareto.d.ts.map

package/dist/verification/best-of-n/selector/pareto.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pareto.d.ts","sourceRoot":"","sources":["../../../../src/verification/best-of-n/selector/pareto.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAU,SAAS,EAAsB,MAAM,gBAAgB,CAAC;AAK5E,qBAAa,sBAAuB,SAAQ,KAAK;gBACnC,OAAO,SAA8D;CAIlF;AA6CD;;;GAGG;AACH,wBAAgB,cAAc,CAAC,UAAU,EAAE,aAAa,CAAC,SAAS,CAAC,GAAG,SAAS,CAuB9E"}

package/dist/verification/best-of-n/selector/pareto.js

@@ -0,0 +1,65 @@
+const PARETO_ASPECTS = ['test', 'lint', 'type', 'mutation'];
+export class NoViableCandidateError extends Error {
+    constructor(message = 'no viable candidate: all candidates have a failing aspect') {
+        super(message);
+        this.name = 'NoViableCandidateError';
+    }
+}
+function hasFailingAspect(result) {
+    return result.aspects.some((a) => a.verdict === 'FAIL');
+}
+function aspectValue(result, aspect) {
+    if (aspect === 'mutation') {
+        const mut = result.aspects.find((a) => a.aspect === 'mutation');
+        return result.mutationScore ?? mut?.score ?? 0;
+    }
+    const row = result.aspects.find((a) => a.aspect === aspect);
+    if (!row || row.verdict === 'SKIP')
+        return 0.5;
+    if (row.verdict === 'PASS')
+        return 1;
+    return 0;
+}
+function aspectVector(result) {
+    return {
+        test: aspectValue(result, 'test'),
+        lint: aspectValue(result, 'lint'),
+        type: aspectValue(result, 'type'),
+        mutation: aspectValue(result, 'mutation'),
+    };
+}
+function dominates(a, b) {
+    let strictlyBetter = false;
+    for (const key of PARETO_ASPECTS) {
+        if (a[key] < b[key])
+            return false;
+        if (a[key] > b[key])
+            strictlyBetter = true;
+    }
+    return strictlyBetter;
+}
+function compareCandidates(a, b) {
+    const scoreA = a.verification.mutationScore ?? 0;
+    const scoreB = b.verification.mutationScore ?? 0;
+    if (scoreB !== scoreA)
+        return scoreB - scoreA;
+    return a.id.localeCompare(b.id);
+}
+/**
+ * Pareto-dominant candidate over test/lint/type/mutation aspects.
+ * Candidates with any FAIL aspect are discarded first.
+ */
+export function selectByPareto(candidates) {
+    const viable = candidates.filter((c) => !hasFailingAspect(c.verification));
+    if (viable.length === 0) {
+        throw new NoViableCandidateError();
+    }
+    const scored = viable.map((candidate) => ({
+        candidate,
+        vector: aspectVector(candidate.verification),
+    }));
+    const nonDominated = scored.filter(({ vector }, index) => !scored.some((other, otherIndex) => index !== otherIndex && dominates(other.vector, vector)));
+    const pool = nonDominated.length > 0 ? nonDominated.map((s) => s.candidate) : viable;
+    return [...pool].sort(compareCandidates)[0];
+}
+//# sourceMappingURL=pareto.js.map

package/dist/verification/best-of-n/selector/pareto.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pareto.js","sourceRoot":"","sources":["../../../../src/verification/best-of-n/selector/pareto.ts"],"names":[],"mappings":"AAEA,MAAM,cAAc,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,CAAU,CAAC;AAGrE,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IAC/C,YAAY,OAAO,GAAG,2DAA2D;QAC/E,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;IACvC,CAAC;CACF;AAED,SAAS,gBAAgB,CAAC,MAA0B;IAClD,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,WAAW,CAAC,MAA0B,EAAE,MAAoB;IACnE,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;QAChE,OAAO,MAAM,CAAC,aAAa,IAAI,GAAG,EAAE,KAAK,IAAI,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAC5D,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,KAAK,MAAM;QAAE,OAAO,GAAG,CAAC;IAC/C,IAAI,GAAG,CAAC,OAAO,KAAK,MAAM;QAAE,OAAO,CAAC,CAAC;IACrC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CAAC,MAA0B;IAC9C,OAAO;QACL,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC;QACjC,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC;QACjC,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC;QACjC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAChB,CAA+B,EAC/B,CAA+B;IAE/B,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAClC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;YAAE,cAAc,GAAG,IAAI,CAAC;IAC7C,CAAC;IACD,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAY,EAAE,CAAY;IACnD,MAAM,MAAM,GAAG,CAAC,CAAC,YAAY,CAAC,aAAa,IAAI,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,CAAC,CAAC,YAAY,CAAC,aAAa,IAAI,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,MAAM;QAAE,OAAO,MAAM,GAAG,MAAM,CAAC;IAC9C,OAAO,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAClC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,UAAoC;IACjE,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IAC3E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,sBAAsB,EAAE,CAAC;IACrC,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACxC,SAAS;QACT,MAAM,EAAE,YAAY,CAAC,SAAS,CAAC,YAAY,CAAC;KAC7C,CAAC,CAAC,CAAC;IAEJ,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAChC,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,CACpB,CAAC,MAAM,CAAC,IAAI,CACV,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,CACpB,KAAK,KAAK,UAAU,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAC1D,CACJ,CAAC;IAEF,MAAM,IAAI,GACR,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAE1E,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9C,CAAC"}

package/dist/verification/best-of-n/selector/prerank.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Exec-free candidate ordering (RF-09). RS-07: prerank NEVER authorizes DONE/PASS —
+ * it only produces scores in [0, 1] for reordering before verification.
+ */
+export interface PrerankInput {
+    readonly id: string;
+    readonly diff: string;
+}
+export interface PrerankScore {
+    readonly id: string;
+    readonly score: number;
+}
+/** Documented invariant for security tests (RS-07). */
+export declare const PRERANK_NEVER_AUTHORIZES_DONE: true;
+/**
+ * Deterministic heuristic: prefer smaller diffs, fewer hunks, and test-file touches.
+ */
+export declare function prerank(inputs: ReadonlyArray<PrerankInput>): PrerankScore[];
+/** Reorder items by prerank scores (descending). Does not mutate verification verdicts. */
+export declare function reorderByPrerank<T extends {
+    id: string;
+}>(items: ReadonlyArray<T>, scores: ReadonlyArray<PrerankScore>): T[];
+//# sourceMappingURL=prerank.d.ts.map

package/dist/verification/best-of-n/selector/prerank.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prerank.d.ts","sourceRoot":"","sources":["../../../../src/verification/best-of-n/selector/prerank.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,uDAAuD;AACvD,eAAO,MAAM,6BAA6B,EAAG,IAAa,CAAC;AAM3D;;GAEG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,aAAa,CAAC,YAAY,CAAC,GAAG,YAAY,EAAE,CAe3E;AAED,2FAA2F;AAC3F,wBAAgB,gBAAgB,CAAC,CAAC,SAAS;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,EACvD,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,EACvB,MAAM,EAAE,aAAa,CAAC,YAAY,CAAC,GAClC,CAAC,EAAE,CAKL"}

package/dist/verification/best-of-n/selector/prerank.js

@@ -0,0 +1,32 @@
+/**
+ * Exec-free candidate ordering (RF-09). RS-07: prerank NEVER authorizes DONE/PASS —
+ * it only produces scores in [0, 1] for reordering before verification.
+ */
+/** Documented invariant for security tests (RS-07). */
+export const PRERANK_NEVER_AUTHORIZES_DONE = true;
+function clamp01(n) {
+    return Math.max(0, Math.min(1, n));
+}
+/**
+ * Deterministic heuristic: prefer smaller diffs, fewer hunks, and test-file touches.
+ */
+export function prerank(inputs) {
+    return inputs.map(({ id, diff }) => {
+        const changedLines = diff
+            .split('\n')
+            .filter((l) => l.startsWith('+') || l.startsWith('-')).length;
+        const hunks = (diff.match(/^@@/gm) ?? []).length;
+        const testTouches = (diff.match(/\.(spec|test)\./gi) ?? []).length;
+        const sizePenalty = Math.min(1, changedLines / 200);
+        const hunkPenalty = Math.min(1, hunks / 20);
+        const testBonus = Math.min(0.3, testTouches * 0.1);
+        const score = clamp01(1 - sizePenalty * 0.5 - hunkPenalty * 0.2 + testBonus);
+        return { id, score };
+    });
+}
+/** Reorder items by prerank scores (descending). Does not mutate verification verdicts. */
+export function reorderByPrerank(items, scores) {
+    const scoreMap = new Map(scores.map((s) => [s.id, s.score]));
+    return [...items].sort((a, b) => (scoreMap.get(b.id) ?? 0) - (scoreMap.get(a.id) ?? 0));
+}
+//# sourceMappingURL=prerank.js.map

package/dist/verification/best-of-n/selector/prerank.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prerank.js","sourceRoot":"","sources":["../../../../src/verification/best-of-n/selector/prerank.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAYH,uDAAuD;AACvD,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAa,CAAC;AAE3D,SAAS,OAAO,CAAC,CAAS;IACxB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,OAAO,CAAC,MAAmC;IACzD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE;QACjC,MAAM,YAAY,GAAG,IAAI;aACtB,KAAK,CAAC,IAAI,CAAC;aACX,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;QAChE,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACjD,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAEnE,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,GAAG,GAAG,CAAC,CAAC;QACpD,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC,CAAC;QAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,GAAG,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,GAAG,WAAW,GAAG,GAAG,GAAG,WAAW,GAAG,GAAG,GAAG,SAAS,CAAC,CAAC;QAE7E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,gBAAgB,CAC9B,KAAuB,EACvB,MAAmC;IAEnC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7D,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CACpB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAChE,CAAC;AACJ,CAAC"}

package/dist/verification/best-of-n/worktree.d.ts

@@ -0,0 +1,9 @@
+export interface Worktree {
+    readonly id: string;
+    readonly path: string;
+    readonly branch: string;
+}
+export declare function createWorktree(repoRoot: string, id: string): Promise<Worktree>;
+export declare function removeWorktree(repoRoot: string, wt: Worktree): Promise<void>;
+export declare function listWorktrees(repoRoot: string): Promise<ReadonlyArray<Worktree>>;
+//# sourceMappingURL=worktree.d.ts.map

package/dist/verification/best-of-n/worktree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"worktree.d.ts","sourceRoot":"","sources":["../../../src/verification/best-of-n/worktree.ts"],"names":[],"mappings":"AAKA,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AA+BD,wBAAsB,cAAc,CAClC,QAAQ,EAAE,MAAM,EAChB,EAAE,EAAE,MAAM,GACT,OAAO,CAAC,QAAQ,CAAC,CAsBnB;AAED,wBAAsB,cAAc,CAClC,QAAQ,EAAE,MAAM,EAChB,EAAE,EAAE,QAAQ,GACX,OAAO,CAAC,IAAI,CAAC,CAaf;AAED,wBAAsB,aAAa,CACjC,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAkDlC"}

package/dist/verification/best-of-n/worktree.js

@@ -0,0 +1,100 @@
+import path from 'node:path';
+import fs from 'fs-extra';
+import { safeSpawn } from '../../exec/safe-spawn.js';
+import { assertRelativeSafe } from '../../utils/path-safety.js';
+const WORKTREE_ROOT = '.dare/worktrees';
+function worktreeRelPath(id) {
+    const rel = path.posix.join(WORKTREE_ROOT, id);
+    assertRelativeSafe(rel);
+    return rel;
+}
+function branchName(id) {
+    assertRelativeSafe(id);
+    if (id.includes('/') || id.includes('\\')) {
+        throw new Error(`unsafe worktree id: ${id}`);
+    }
+    return `dare/cand-${id}`;
+}
+async function git(repoRoot, args, timeoutSeconds = 120) {
+    const result = await safeSpawn('git', args, {
+        cwd: repoRoot,
+        timeoutSeconds,
+        maxChars: 8000,
+    });
+    return { code: result.code, stderr: result.stderr };
+}
+export async function createWorktree(repoRoot, id) {
+    const rel = worktreeRelPath(id);
+    const absPath = path.resolve(repoRoot, rel);
+    const branch = branchName(id);
+    await fs.ensureDir(path.dirname(absPath));
+    const add = await git(repoRoot, [
+        'worktree',
+        'add',
+        '-b',
+        branch,
+        absPath,
+        'HEAD',
+    ]);
+    if (add.code !== 0) {
+        throw new Error(`git worktree add failed for ${id}: ${add.stderr.trim()}`);
+    }
+    return { id, path: rel, branch };
+}
+export async function removeWorktree(repoRoot, wt) {
+    assertRelativeSafe(wt.path);
+    const absPath = path.resolve(repoRoot, wt.path);
+    const remove = await git(repoRoot, ['worktree', 'remove', '--force', absPath]);
+    if (remove.code !== 0) {
+        throw new Error(`git worktree remove failed for ${wt.id}: ${remove.stderr.trim()}`);
+    }
+    await git(repoRoot, ['branch', '-D', wt.branch]).catch(() => undefined);
+    await fs.remove(absPath).catch(() => undefined);
+}
+export async function listWorktrees(repoRoot) {
+    const result = await safeSpawn('git', ['worktree', 'list', '--porcelain'], { cwd: repoRoot, timeoutSeconds: 60, maxChars: 16000 });
+    if (result.code !== 0) {
+        throw new Error(`git worktree list failed: ${result.stderr.trim()}`);
+    }
+    const out = [];
+    const prefix = path.resolve(repoRoot, WORKTREE_ROOT) + path.sep;
+    let absPath = '';
+    let branch = '';
+    const flush = () => {
+        if (!absPath)
+            return;
+        const normalized = path.resolve(absPath);
+        if (!normalized.startsWith(prefix)) {
+            absPath = '';
+            branch = '';
+            return;
+        }
+        const rel = path.relative(repoRoot, normalized).replace(/\\/g, '/');
+        const id = path.basename(rel);
+        out.push({
+            id,
+            path: rel,
+            branch: branch || branchName(id),
+        });
+        absPath = '';
+        branch = '';
+    };
+    for (const line of result.stdout.split(/\r?\n/)) {
+        if (line.startsWith('worktree ')) {
+            flush();
+            absPath = line.slice('worktree '.length).trim();
+        }
+        else if (line.startsWith('branch ')) {
+            branch = line
+                .slice('branch '.length)
+                .trim()
+                .replace(/^refs\/heads\//, '');
+        }
+        else if (line === '') {
+            flush();
+        }
+    }
+    flush();
+    return out;
+}
+//# sourceMappingURL=worktree.js.map