@dewtech/dare-cli 3.1.0 → 3.3.0

package/dist/verification/__tests__/telemetry.test.js

@@ -0,0 +1,116 @@
+import { describe, it, expect, beforeEach, afterEach } from 'vitest';
+import os from 'node:os';
+import path from 'node:path';
+import fs from 'fs-extra';
+import { JsonGraph } from '../../graphrag/json-graph.js';
+import { recordVerification } from '../telemetry.js';
+function sampleResult(taskId) {
+    return {
+        taskId,
+        passed: true,
+        aspects: [
+            { aspect: 'test', verdict: 'PASS', reason: 'ok', durationMs: 2 },
+            { aspect: 'mutation', verdict: 'PASS', score: 0.82, reason: 'ok', durationMs: 3 },
+        ],
+        mutationScore: 0.82,
+        durationMs: 10,
+    };
+}
+class RejectingGraph {
+    constructor(filePath) {
+        this.rejectNewTypes = true;
+        this.inner = new JsonGraph(filePath);
+    }
+    async init() {
+        await this.inner.init();
+    }
+    setRejectNewTypes(value) {
+        this.rejectNewTypes = value;
+    }
+    addNode(node) {
+        if (this.rejectNewTypes && node.type === 'gate') {
+            throw new Error('unsupported node type: gate');
+        }
+        this.inner.addNode(node);
+    }
+    getNode(id) {
+        return this.inner.getNode(id);
+    }
+    queryNodes(type, limit) {
+        return this.inner.queryNodes(type, limit);
+    }
+    searchNodes(query, limit) {
+        return this.inner.searchNodes(query, limit);
+    }
+    deleteNode(id) {
+        this.inner.deleteNode(id);
+    }
+    addEdge(edge) {
+        if (this.rejectNewTypes && edge.type === 'verified_by') {
+            throw new Error('unsupported edge type: verified_by');
+        }
+        this.inner.addEdge(edge);
+    }
+    getEdges(nodeId, direction) {
+        return this.inner.getEdges(nodeId, direction);
+    }
+    getNodeDependencies(nodeId, depth) {
+        return this.inner.getNodeDependencies(nodeId, depth);
+    }
+    getStatistics() {
+        return this.inner.getStatistics();
+    }
+    exportToJson() {
+        return this.inner.exportToJson();
+    }
+    importFromJson(data) {
+        this.inner.importFromJson(data);
+    }
+    close() {
+        this.inner.close();
+    }
+}
+describe('recordVerification', () => {
+    let filePath;
+    let graph;
+    beforeEach(async () => {
+        filePath = path.join(os.tmpdir(), `dare-telemetry-${Date.now()}-${Math.random().toString(36).slice(2)}.json`);
+        graph = new JsonGraph(filePath);
+        await graph.init();
+        graph.addNode({ id: 'task:task-070', type: 'task', label: 'task-070' });
+    });
+    afterEach(async () => {
+        await fs.remove(filePath).catch(() => undefined);
+    });
+    it('should_add_gate_node_and_verified_by_edge', () => {
+        recordVerification(graph, sampleResult('task-070'));
+        const gate = graph.getNode('gate:task-070');
+        expect(gate?.type).toBe('gate');
+        expect(gate?.metadata?.passed).toBe(true);
+        expect(gate?.metadata?.mutationScore).toBe(0.82);
+        const edges = graph.getEdges('task:task-070', 'out');
+        expect(edges).toHaveLength(1);
+        expect(edges[0].type).toBe('verified_by');
+        expect(edges[0].targetId).toBe('gate:task-070');
+    });
+    it('should_fallback_to_task_metadata', async () => {
+        const rejecting = new RejectingGraph(filePath);
+        await rejecting.init();
+        rejecting.addNode({ id: 'task:task-fb', type: 'task', label: 'task-fb' });
+        recordVerification(rejecting, sampleResult('task-fb'));
+        const task = rejecting.getNode('task:task-fb');
+        const verification = task?.metadata?.verification;
+        expect(verification.passed).toBe(true);
+        expect(rejecting.getNode('gate:task-fb')).toBeNull();
+    });
+    it('should_be_idempotent', () => {
+        const result = sampleResult('task-idem');
+        graph.addNode({ id: 'task:task-idem', type: 'task', label: 'task-idem' });
+        recordVerification(graph, result);
+        recordVerification(graph, result);
+        const stats = graph.getStatistics();
+        expect(stats.nodesByType.gate).toBe(1);
+        expect(stats.edgesByType.verified_by).toBe(1);
+    });
+});
+//# sourceMappingURL=telemetry.test.js.map

package/dist/verification/__tests__/telemetry.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"telemetry.test.js","sourceRoot":"","sources":["../../../src/verification/__tests__/telemetry.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAIzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAErD,SAAS,YAAY,CAAC,MAAc;IAClC,OAAO;QACL,MAAM;QACN,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE;YACP,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE;YAChE,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE;SAClF;QACD,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,EAAE;KACf,CAAC;AACJ,CAAC;AAED,MAAM,cAAc;IAIlB,YAAY,QAAgB;QAFpB,mBAAc,GAAG,IAAI,CAAC;QAG5B,IAAI,CAAC,KAAK,GAAG,IAAI,SAAS,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAED,KAAK,CAAC,IAAI;QACR,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IAC1B,CAAC;IAED,iBAAiB,CAAC,KAAc;QAC9B,IAAI,CAAC,cAAc,GAAG,KAAK,CAAC;IAC9B,CAAC;IAED,OAAO,CAAC,IAAe;QACrB,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IAED,OAAO,CAAC,EAAU;QAChB,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC;IAED,UAAU,CAAC,IAAwB,EAAE,KAAc;QACjD,OAAO,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC;IAED,WAAW,CAAC,KAAa,EAAE,KAAc;QACvC,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9C,CAAC;IAED,UAAU,CAAC,EAAU;QACnB,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,OAAO,CAAC,IAAe;QACrB,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACvD,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IAED,QAAQ,CAAC,MAAc,EAAE,SAAiC;QACxD,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAChD,CAAC;IAED,mBAAmB,CAAC,MAAc,EAAE,KAAc;QAChD,OAAO,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACvD,CAAC;IAED,aAAa;QACX,OAAO,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;IACpC,CAAC;IAED,YAAY;QACV,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;IACnC,CAAC;IAED,cAAc,CAAC,IAAgD;QAC7D,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IAED,KAAK;QACH,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;IACrB,CAAC;CACF;AAED,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAI,QAAgB,CAAC;IACrB,IAAI,KAAgB,CAAC;IAErB,UAAU,CAAC,KAAK,IAAI,EAAE;QACpB,QAAQ,GAAG,IAAI,CAAC,IAAI,CAClB,EAAE,CAAC,MAAM,EAAE,EACX,kBAAkB,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAC3E,CAAC;QACF,KAAK,GAAG,IAAI,SAAS,CAAC,QAAQ,CAAC,CAAC;QAChC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,KAAK,IAAI,EAAE;QACnB,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,kBAAkB,CAAC,KAAK,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC;QAEpD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QAC5C,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEjD,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;QAChD,MAAM,SAAS,GAAG,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC/C,MAAM,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,SAAS,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAE1E,kBAAkB,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC;QAEvD,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAC/C,MAAM,YAAY,GAAG,IAAI,EAAE,QAAQ,EAAE,YAAmC,CAAC;QACzE,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,MAAM,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;QACzC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;QAE1E,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAClC,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAElC,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa,EAAE,CAAC;QACpC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/verification/__tests__/type-check.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=type-check.test.d.ts.map

package/dist/verification/__tests__/type-check.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-check.test.d.ts","sourceRoot":"","sources":["../../../src/verification/__tests__/type-check.test.ts"],"names":[],"mappings":""}

package/dist/verification/__tests__/type-check.test.js

@@ -0,0 +1,52 @@
+import { describe, it, expect, vi, afterEach } from 'vitest';
+import * as safeSpawnMod from '../../exec/safe-spawn.js';
+import { checkTypes, typeCommandFor } from '../gates/type-check.js';
+describe('typeCommandFor', () => {
+    it('should_return_null_for_rust_stack', () => {
+        expect(typeCommandFor('rust-axum', '/tmp')).toBeNull();
+    });
+});
+describe('checkTypes', () => {
+    afterEach(() => {
+        vi.restoreAllMocks();
+    });
+    it('should_skip_when_unavailable', async () => {
+        const result = await checkTypes({
+            stack: 'rust-axum',
+            cwd: '/tmp',
+            timeoutSeconds: 30,
+        });
+        expect(result.verdict).toBe('SKIP');
+        expect(result.reason).toContain('no type-checker');
+    });
+    it('should_pass_on_clean_ts', async () => {
+        vi.spyOn(safeSpawnMod, 'safeSpawn').mockResolvedValue({
+            code: 0,
+            stdout: '',
+            stderr: '',
+            timedOut: false,
+        });
+        const result = await checkTypes({
+            stack: 'mcp-server-node-ts',
+            cwd: '/tmp',
+            timeoutSeconds: 60,
+        });
+        expect(result.verdict).toBe('PASS');
+    });
+    it('should_fail_on_type_error', async () => {
+        vi.spyOn(safeSpawnMod, 'safeSpawn').mockResolvedValue({
+            code: 2,
+            stdout: '',
+            stderr: 'error TS2322: Type string is not assignable to type number',
+            timedOut: false,
+        });
+        const result = await checkTypes({
+            stack: 'mcp-server-node-ts',
+            cwd: '/tmp',
+            timeoutSeconds: 60,
+        });
+        expect(result.verdict).toBe('FAIL');
+        expect(result.reason).toContain('TS2322');
+    });
+});
+//# sourceMappingURL=type-check.test.js.map

package/dist/verification/__tests__/type-check.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-check.test.js","sourceRoot":"","sources":["../../../src/verification/__tests__/type-check.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAC7D,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAEpE,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,cAAc,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,SAAS,CAAC,GAAG,EAAE;QACb,EAAE,CAAC,eAAe,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,KAAK,IAAI,EAAE;QAC5C,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC;YAC9B,KAAK,EAAE,WAAW;YAClB,GAAG,EAAE,MAAM;YACX,cAAc,EAAE,EAAE;SACnB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,KAAK,IAAI,EAAE;QACvC,EAAE,CAAC,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC,iBAAiB,CAAC;YACpD,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC;YAC9B,KAAK,EAAE,oBAAoB;YAC3B,GAAG,EAAE,MAAM;YACX,cAAc,EAAE,EAAE;SACnB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,KAAK,IAAI,EAAE;QACzC,EAAE,CAAC,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC,iBAAiB,CAAC;YACpD,IAAI,EAAE,CAAC;YACP,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,4DAA4D;YACpE,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC;YAC9B,KAAK,EAAE,oBAAoB;YAC3B,GAAG,EAAE,MAAM;YACX,cAAc,EAAE,EAAE;SACnB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/verification/__tests__/worktree.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=worktree.test.d.ts.map

package/dist/verification/__tests__/worktree.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"worktree.test.d.ts","sourceRoot":"","sources":["../../../src/verification/__tests__/worktree.test.ts"],"names":[],"mappings":""}

package/dist/verification/__tests__/worktree.test.js

@@ -0,0 +1,41 @@
+import { describe, it, expect, beforeEach, afterEach } from 'vitest';
+import fs from 'fs-extra';
+import path from 'node:path';
+import os from 'node:os';
+import { execSync } from 'node:child_process';
+import { createWorktree, listWorktrees, removeWorktree, } from '../best-of-n/worktree.js';
+function runGit(cwd, args) {
+    execSync(`git ${args}`, { cwd, stdio: 'pipe' });
+}
+describe('worktree', () => {
+    let repoRoot;
+    beforeEach(async () => {
+        repoRoot = await fs.mkdtemp(path.join(os.tmpdir(), 'dare-wt-'));
+        runGit(repoRoot, 'init');
+        runGit(repoRoot, 'config user.email "test@dare.local"');
+        runGit(repoRoot, 'config user.name "DARE Test"');
+        await fs.writeFile(path.join(repoRoot, 'README.md'), '# tmp\n');
+        runGit(repoRoot, 'add README.md');
+        runGit(repoRoot, 'commit -m "init"');
+    });
+    afterEach(async () => {
+        await fs.remove(repoRoot).catch(() => undefined);
+    });
+    it('should_create_and_list_worktree', async () => {
+        const wt = await createWorktree(repoRoot, 'cand-a');
+        expect(wt.path).toBe('.dare/worktrees/cand-a');
+        expect(wt.branch).toBe('dare/cand-cand-a');
+        const listed = await listWorktrees(repoRoot);
+        expect(listed.some((w) => w.id === 'cand-a')).toBe(true);
+    });
+    it('should_remove_worktree', async () => {
+        const wt = await createWorktree(repoRoot, 'cand-b');
+        await removeWorktree(repoRoot, wt);
+        const listed = await listWorktrees(repoRoot);
+        expect(listed.some((w) => w.id === 'cand-b')).toBe(false);
+    });
+    it('should_reject_unsafe_id', async () => {
+        await expect(createWorktree(repoRoot, '../evil')).rejects.toThrow(/must not contain|unsafe/i);
+    });
+});
+//# sourceMappingURL=worktree.test.js.map

package/dist/verification/__tests__/worktree.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"worktree.test.js","sourceRoot":"","sources":["../../../src/verification/__tests__/worktree.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EACL,cAAc,EACd,aAAa,EACb,cAAc,GACf,MAAM,0BAA0B,CAAC;AAElC,SAAS,MAAM,CAAC,GAAW,EAAE,IAAY;IACvC,QAAQ,CAAC,OAAO,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;AAClD,CAAC;AAED,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAI,QAAgB,CAAC;IAErB,UAAU,CAAC,KAAK,IAAI,EAAE;QACpB,QAAQ,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QAChE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACzB,MAAM,CAAC,QAAQ,EAAE,qCAAqC,CAAC,CAAC;QACxD,MAAM,CAAC,QAAQ,EAAE,8BAA8B,CAAC,CAAC;QACjD,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,SAAS,CAAC,CAAC;QAChE,MAAM,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;QAClC,MAAM,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,KAAK,IAAI,EAAE;QACnB,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;QAC/C,MAAM,EAAE,GAAG,MAAM,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACpD,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAE3C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,KAAK,IAAI,EAAE;QACtC,MAAM,EAAE,GAAG,MAAM,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACpD,MAAM,cAAc,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,KAAK,IAAI,EAAE;QACvC,MAAM,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAC/D,0BAA0B,CAC3B,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,11 @@
+export interface FixtureMeta {
+    readonly id: string;
+    readonly stack: string;
+    readonly description: string;
+    readonly patch: string;
+    readonly failToPass: string;
+    readonly passToPass: string;
+}
+export declare function loadFixture(suiteDir: string, id: string): Promise<FixtureMeta>;
+export declare function loadSuite(suiteDir: string): Promise<ReadonlyArray<FixtureMeta>>;
+//# sourceMappingURL=fixtures.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fixtures.d.ts","sourceRoot":"","sources":["../../../src/verification/bench/fixtures.ts"],"names":[],"mappings":"AAIA,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AA6CD,wBAAsB,WAAW,CAC/B,QAAQ,EAAE,MAAM,EAChB,EAAE,EAAE,MAAM,GACT,OAAO,CAAC,WAAW,CAAC,CAiBtB;AAED,wBAAsB,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAiBrF"}

package/dist/verification/bench/fixtures.js

@@ -0,0 +1,66 @@
+import path from 'node:path';
+import fs from 'fs-extra';
+import { assertRelativeSafe } from '../../utils/path-safety.js';
+const REQUIRED_FILES = [
+    'meta.json',
+    'patch.diff',
+    'fail_to_pass.txt',
+    'pass_to_pass.txt',
+];
+function fixtureDir(suiteDir, id) {
+    assertRelativeSafe(id);
+    return path.join(suiteDir, id);
+}
+async function assertFixtureFiles(suiteDir, id) {
+    const dir = fixtureDir(suiteDir, id);
+    for (const file of REQUIRED_FILES) {
+        const rel = path.posix.join(id, file);
+        assertRelativeSafe(rel);
+        const abs = path.join(dir, file);
+        if (!(await fs.pathExists(abs))) {
+            throw new Error(`fixture '${id}' missing required file: ${file}`);
+        }
+    }
+    const repoDir = path.join(dir, 'repo');
+    if (!(await fs.pathExists(repoDir))) {
+        throw new Error(`fixture '${id}' missing required directory: repo/`);
+    }
+    const repoEntries = await fs.readdir(repoDir);
+    if (repoEntries.length === 0) {
+        throw new Error(`fixture '${id}' repo/ must not be empty`);
+    }
+    return dir;
+}
+export async function loadFixture(suiteDir, id) {
+    await assertFixtureFiles(suiteDir, id);
+    const dir = fixtureDir(suiteDir, id);
+    const meta = (await fs.readJson(path.join(dir, 'meta.json')));
+    if (meta.id !== id) {
+        throw new Error(`fixture meta id mismatch: expected '${id}', got '${meta.id}'`);
+    }
+    return {
+        id: meta.id,
+        stack: meta.stack,
+        description: meta.description,
+        patch: 'patch.diff',
+        failToPass: 'fail_to_pass.txt',
+        passToPass: 'pass_to_pass.txt',
+    };
+}
+export async function loadSuite(suiteDir) {
+    const suitePath = path.join(suiteDir, 'suite.json');
+    if (!(await fs.pathExists(suitePath))) {
+        throw new Error(`suite.json not found in ${suiteDir}`);
+    }
+    const suite = (await fs.readJson(suitePath));
+    if (!Array.isArray(suite.fixtures) || suite.fixtures.length === 0) {
+        throw new Error(`suite.json in ${suiteDir} has no fixtures`);
+    }
+    const out = [];
+    for (const entry of suite.fixtures) {
+        assertRelativeSafe(entry.id);
+        out.push(await loadFixture(suiteDir, entry.id));
+    }
+    return out;
+}
+//# sourceMappingURL=fixtures.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fixtures.js","sourceRoot":"","sources":["../../../src/verification/bench/fixtures.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAqBhE,MAAM,cAAc,GAAG;IACrB,WAAW;IACX,YAAY;IACZ,kBAAkB;IAClB,kBAAkB;CACV,CAAC;AAEX,SAAS,UAAU,CAAC,QAAgB,EAAE,EAAU;IAC9C,kBAAkB,CAAC,EAAE,CAAC,CAAC;IACvB,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AACjC,CAAC;AAED,KAAK,UAAU,kBAAkB,CAAC,QAAgB,EAAE,EAAU;IAC5D,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACtC,kBAAkB,CAAC,GAAG,CAAC,CAAC;QACxB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,4BAA4B,IAAI,EAAE,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,qCAAqC,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9C,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,YAAY,EAAE,2BAA2B,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,QAAgB,EAChB,EAAU;IAEV,MAAM,kBAAkB,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAe,CAAC;IAE5E,IAAI,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,uCAAuC,EAAE,WAAW,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;IAClF,CAAC;IAED,OAAO;QACL,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,KAAK,EAAE,YAAY;QACnB,UAAU,EAAE,kBAAkB;QAC9B,UAAU,EAAE,kBAAkB;KAC/B,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,QAAgB;IAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IACpD,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,2BAA2B,QAAQ,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,KAAK,GAAG,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAc,CAAC;IAC1D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,iBAAiB,QAAQ,kBAAkB,CAAC,CAAC;IAC/D,CAAC;IAED,MAAM,GAAG,GAAkB,EAAE,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnC,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC7B,GAAG,CAAC,IAAI,CAAC,MAAM,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

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

@@ -0,0 +1,19 @@
+import type { FixtureMeta } from './fixtures.js';
+import { type FixtureResult } from './report.js';
+export interface SuiteRunResult {
+    readonly passed: string[];
+    readonly failed: string[];
+}
+export interface HarnessDeps {
+    readonly runTestSuite: (cwd: string, stack: string) => Promise<SuiteRunResult>;
+    readonly copyRepo: (src: string, dest: string) => Promise<void>;
+    readonly applyPatch: (cwd: string, patchPath: string) => Promise<void>;
+}
+export declare function createRunFixture(deps?: Partial<HarnessDeps>): (meta: FixtureMeta, baseDir: string) => Promise<FixtureResult>;
+export declare const runFixture: (meta: FixtureMeta, baseDir: string) => Promise<FixtureResult>;
+export interface RunSuiteOptions {
+    readonly filter?: string;
+    readonly deps?: Partial<HarnessDeps>;
+}
+export declare function runSuite(suiteDir: string, opts?: RunSuiteOptions): Promise<FixtureResult[]>;
+//# sourceMappingURL=harness.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"harness.d.ts","sourceRoot":"","sources":["../../../src/verification/bench/harness.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAEjD,OAAO,EAEL,KAAK,aAAa,EAEnB,MAAM,aAAa,CAAC;AASrB,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,YAAY,EAAE,CACrB,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,MAAM,KACV,OAAO,CAAC,cAAc,CAAC,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAChE,QAAQ,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACxE;AAiFD,wBAAgB,gBAAgB,CAAC,IAAI,GAAE,OAAO,CAAC,WAAW,CAAM,IAI5D,MAAM,WAAW,EACjB,SAAS,MAAM,KACd,OAAO,CAAC,aAAa,CAAC,CA0C1B;AAED,eAAO,MAAM,UAAU,SA9Cb,WAAW,WACR,MAAM,KACd,OAAO,CAAC,aAAa,CA4CkB,CAAC;AAE7C,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;CACtC;AAUD,wBAAsB,QAAQ,CAC5B,QAAQ,EAAE,MAAM,EAChB,IAAI,GAAE,eAAoB,GACzB,OAAO,CAAC,aAAa,EAAE,CAAC,CAW1B"}

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"}