@dewtech/dare-cli 3.2.0 → 3.3.0

package/dist/commands/__tests__/execute.best-of.spec.js

@@ -0,0 +1,24 @@
+import { describe, it, expect } from 'vitest';
+import { validateBestOf, validatePolicy, applyPolicyOverride, resolveBestOfCount, } from '../execute-verification.js';
+import { DEFAULTS } from '../../verification/config.js';
+describe('execute best-of flags', () => {
+    it('should_reject_best_of_out_of_range', () => {
+        expect(validateBestOf(0, 5)).toBe('Error: --best-of must be between 1 and 5 (got 0)');
+        expect(validateBestOf(6, 5)).toBe('Error: --best-of must be between 1 and 5 (got 6)');
+        expect(validateBestOf(3, 5)).toBeUndefined();
+    });
+    it('should_reject_invalid_policy', () => {
+        expect(validatePolicy('linear')).toBe("Error: --policy must be 'decay' or 'fixed' (got 'linear')");
+        expect(validatePolicy('decay')).toBeUndefined();
+        expect(validatePolicy('fixed')).toBeUndefined();
+    });
+    it('should_apply_policy_override', () => {
+        const cfg = applyPolicyOverride(DEFAULTS, 'fixed');
+        expect(cfg.loop.policy).toBe('fixed');
+    });
+    it('should_default_best_of_from_config', () => {
+        expect(resolveBestOfCount(undefined, DEFAULTS)).toBe(1);
+        expect(resolveBestOfCount(3, DEFAULTS)).toBe(3);
+    });
+});
+//# sourceMappingURL=execute.best-of.spec.js.map

package/dist/commands/__tests__/execute.best-of.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"execute.best-of.spec.js","sourceRoot":"","sources":["../../../src/commands/__tests__/execute.best-of.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAA6B,MAAM,QAAQ,CAAC;AACzE,OAAO,EACL,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAExD,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;QACtF,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;QACtF,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CACnC,2DAA2D,CAC5D,CAAC;QACF,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QAChD,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,kBAAkB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,kBAAkB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/commands/__tests__/execute.telemetry.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=execute.telemetry.spec.d.ts.map

package/dist/commands/__tests__/execute.telemetry.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"execute.telemetry.spec.d.ts","sourceRoot":"","sources":["../../../src/commands/__tests__/execute.telemetry.spec.ts"],"names":[],"mappings":""}

package/dist/commands/__tests__/execute.telemetry.spec.js

@@ -0,0 +1,93 @@
+import { describe, it, expect, beforeEach, afterEach } from 'vitest';
+import fs from 'fs-extra';
+import path from 'node:path';
+import os from 'node:os';
+import { JsonGraph } from '../../graphrag/json-graph.js';
+import { recordVerification } from '../../verification/telemetry.js';
+function sampleResult(taskId) {
+    return {
+        taskId,
+        passed: true,
+        aspects: [{ aspect: 'mutation', verdict: 'PASS', score: 0.9, reason: 'ok', durationMs: 1 }],
+        mutationScore: 0.9,
+        durationMs: 10,
+    };
+}
+class RejectingGraph {
+    constructor(filePath) {
+        this.inner = new JsonGraph(filePath);
+    }
+    async init() {
+        await this.inner.init();
+    }
+    addNode(node) {
+        if (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 (edge.type === 'verified_by')
+            throw new Error('unsupported edge type');
+        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('execute telemetry wire (RF-10)', () => {
+    let filePath;
+    let graph;
+    beforeEach(async () => {
+        filePath = path.join(os.tmpdir(), `dare-exec-tel-${Date.now()}.json`);
+        graph = new JsonGraph(filePath);
+        await graph.init();
+        graph.addNode({ id: 'task:task-075', type: 'task', label: 'task-075' });
+    });
+    afterEach(async () => {
+        graph.close();
+        await fs.remove(filePath).catch(() => undefined);
+    });
+    it('should_record_gate_and_verified_by_on_done', () => {
+        recordVerification(graph, sampleResult('task-075'));
+        expect(graph.getNode('gate:task-075')).toBeDefined();
+        const edges = graph.getEdges('task:task-075', 'out');
+        expect(edges.some((e) => e.type === 'verified_by')).toBe(true);
+    });
+    it('should_fallback_without_failing_task', 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');
+        expect((task?.metadata?.verification).passed).toBe(true);
+        expect(rejecting.getNode('gate:task-fb')).toBeNull();
+    });
+});
+//# sourceMappingURL=execute.telemetry.spec.js.map

package/dist/commands/__tests__/execute.telemetry.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"execute.telemetry.spec.js","sourceRoot":"","sources":["../../../src/commands/__tests__/execute.telemetry.spec.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,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAGzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAGrE,SAAS,YAAY,CAAC,MAAc;IAClC,OAAO;QACL,MAAM;QACN,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;QAC3F,aAAa,EAAE,GAAG;QAClB,UAAU,EAAE,EAAE;KACf,CAAC;AACJ,CAAC;AAED,MAAM,cAAc;IAGlB,YAAY,QAAgB;QAC1B,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,OAAO,CAAC,IAAe;QACrB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACzE,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,IAAI,KAAK,aAAa;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC1E,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,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAI,QAAgB,CAAC;IACrB,IAAI,KAAgB,CAAC;IAErB,UAAU,CAAC,KAAK,IAAI,EAAE;QACpB,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,iBAAiB,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACtE,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,KAAK,CAAC,KAAK,EAAE,CAAC;QACd,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,kBAAkB,CAAC,KAAK,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;QACpD,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,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAoC,CAAA,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/commands/__tests__/execute.verify.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=execute.verify.spec.d.ts.map

package/dist/commands/__tests__/execute.verify.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"execute.verify.spec.d.ts","sourceRoot":"","sources":["../../../src/commands/__tests__/execute.verify.spec.ts"],"names":[],"mappings":""}

package/dist/commands/__tests__/execute.verify.spec.js

@@ -0,0 +1,150 @@
+import { describe, it, expect, vi, beforeEach, afterEach } from 'vitest';
+import fs from 'fs-extra';
+import path from 'node:path';
+import os from 'node:os';
+import { FailToPassMissingError } from '../../verification/gates/fail-to-pass.js';
+import { MutationToolNotFoundError } from '../../verification/gates/mutation/adapter.js';
+import { DEFAULTS } from '../../verification/config.js';
+import { shouldRunVerification, failToPassMissingMessage, mutationToolErrorMessage, runPostRalphVerification, formatVerdictOutput, } from '../execute-verification.js';
+function passVerification(taskId) {
+    return {
+        taskId,
+        passed: true,
+        aspects: [{ aspect: 'mutation', verdict: 'PASS', score: 0.9, reason: 'ok', durationMs: 1 }],
+        mutationScore: 0.9,
+        durationMs: 10,
+    };
+}
+function failMutation(taskId) {
+    return {
+        taskId,
+        passed: false,
+        aspects: [
+            {
+                aspect: 'mutation',
+                verdict: 'FAIL',
+                score: 0.2,
+                reason: 'mutation score 0.2000 < minScore 0.7',
+                durationMs: 1,
+            },
+        ],
+        mutationScore: 0.2,
+        durationMs: 10,
+    };
+}
+describe('execute verification wiring', () => {
+    let cwd;
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+    let logSpy;
+    beforeEach(async () => {
+        cwd = await fs.mkdtemp(path.join(os.tmpdir(), 'dare-exec-verify-'));
+        await fs.writeJson(path.join(cwd, 'dare.config.json'), {
+            structure: 'mcp-server',
+            mcpLanguage: 'node-ts',
+            verification: { ...DEFAULTS, enabled: true },
+        });
+        logSpy = vi.spyOn(console, 'log').mockImplementation(() => undefined);
+    });
+    afterEach(async () => {
+        vi.restoreAllMocks();
+        await fs.remove(cwd).catch(() => undefined);
+    });
+    it('should_skip_verification_with_--no-verify', async () => {
+        const result = await runPostRalphVerification({
+            taskId: 'task-x',
+            cwd,
+            stack: 'mcp-server-node-ts',
+            noVerify: true,
+        });
+        expect(result.ran).toBe(false);
+        expect(result.passed).toBe(true);
+        expect(result.exitCode).toBe(0);
+    });
+    it('should_mark_done_when_ralph_and_verification_pass', async () => {
+        const runVerification = vi.fn(async () => passVerification('task-pass'));
+        const result = await runPostRalphVerification({
+            taskId: 'task-pass',
+            cwd,
+            stack: 'mcp-server-node-ts',
+            verify: true,
+        }, runVerification);
+        expect(result.ran).toBe(true);
+        expect(result.passed).toBe(true);
+        expect(result.exitCode).toBe(0);
+        expect(runVerification).toHaveBeenCalledOnce();
+        expect(result.verdict?.action).toBe('DONE');
+    });
+    it('should_exit_1_and_fail_when_mutation_below_minScore', async () => {
+        const result = await runPostRalphVerification({
+            taskId: 'task-fail',
+            cwd,
+            stack: 'mcp-server-node-ts',
+            verify: true,
+        }, vi.fn(async () => failMutation('task-fail')));
+        expect(result.ran).toBe(true);
+        expect(result.passed).toBe(false);
+        expect(result.exitCode).toBe(1);
+        expect(result.verificationResult?.passed).toBe(false);
+    });
+    it('should_exit_4_when_fail_to_pass_missing', async () => {
+        const result = await runPostRalphVerification({
+            taskId: 'task-ftp',
+            cwd,
+            stack: 'mcp-server-node-ts',
+            verify: true,
+        }, vi.fn(async () => {
+            throw new FailToPassMissingError('task-ftp');
+        }));
+        expect(result.exitCode).toBe(4);
+        expect(result.errorMessage).toBe(failToPassMissingMessage('task-ftp'));
+    });
+    it('should_exit_3_when_mutation_tool_missing', async () => {
+        const result = await runPostRalphVerification({
+            taskId: 'task-mut',
+            cwd,
+            stack: 'mcp-server-node-ts',
+            verify: true,
+        }, vi.fn(async () => {
+            throw new MutationToolNotFoundError('stryker');
+        }));
+        expect(result.exitCode).toBe(3);
+        expect(result.errorMessage).toBe(mutationToolErrorMessage('stryker', 'mcp-server-node-ts'));
+    });
+    it('should_emit_verdict_json', () => {
+        formatVerdictOutput({
+            action: 'CONTINUE',
+            attempt: 2,
+            saturated: false,
+            reason: 'decay policy: continue',
+        }, true);
+        expect(logSpy).toHaveBeenCalledWith(JSON.stringify({
+            action: 'CONTINUE',
+            attempt: 2,
+            saturated: false,
+            reason: 'decay policy: continue',
+        }));
+    });
+    it('should_run_verification_when_config_enabled_without_flag', async () => {
+        const runVerification = vi.fn(async () => passVerification('task-cfg'));
+        const result = await runPostRalphVerification({ taskId: 'task-cfg', cwd, stack: 'mcp-server-node-ts' }, runVerification);
+        expect(result.ran).toBe(true);
+        expect(runVerification).toHaveBeenCalled();
+    });
+    it('should_not_run_when_verification_disabled', async () => {
+        await fs.writeJson(path.join(cwd, 'dare.config.json'), {
+            structure: 'mcp-server',
+            mcpLanguage: 'node-ts',
+        });
+        const runVerification = vi.fn();
+        const result = await runPostRalphVerification({ taskId: 'task-off', cwd, stack: 'mcp-server-node-ts' }, runVerification);
+        expect(result.ran).toBe(false);
+        expect(runVerification).not.toHaveBeenCalled();
+    });
+});
+describe('shouldRunVerification', () => {
+    it('respects no-verify over verify and config', () => {
+        expect(shouldRunVerification({ verify: true, noVerify: true, configEnabled: true })).toBe(false);
+        expect(shouldRunVerification({ verify: false, noVerify: false, configEnabled: true })).toBe(true);
+    });
+});
+//# sourceMappingURL=execute.verify.spec.js.map

package/dist/commands/__tests__/execute.verify.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"execute.verify.spec.js","sourceRoot":"","sources":["../../../src/commands/__tests__/execute.verify.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACzE,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,sBAAsB,EAAE,MAAM,0CAA0C,CAAC;AAClF,OAAO,EAAE,yBAAyB,EAAE,MAAM,8CAA8C,CAAC;AACzF,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAExD,OAAO,EACL,qBAAqB,EACrB,wBAAwB,EACxB,wBAAwB,EACxB,wBAAwB,EACxB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AAEpC,SAAS,gBAAgB,CAAC,MAAc;IACtC,OAAO;QACL,MAAM;QACN,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;QAC3F,aAAa,EAAE,GAAG;QAClB,UAAU,EAAE,EAAE;KACf,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,MAAc;IAClC,OAAO;QACL,MAAM;QACN,MAAM,EAAE,KAAK;QACb,OAAO,EAAE;YACP;gBACE,MAAM,EAAE,UAAU;gBAClB,OAAO,EAAE,MAAM;gBACf,KAAK,EAAE,GAAG;gBACV,MAAM,EAAE,sCAAsC;gBAC9C,UAAU,EAAE,CAAC;aACd;SACF;QACD,aAAa,EAAE,GAAG;QAClB,UAAU,EAAE,EAAE;KACf,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAI,GAAW,CAAC;IAChB,8DAA8D;IAC9D,IAAI,MAAW,CAAC;IAEhB,UAAU,CAAC,KAAK,IAAI,EAAE;QACpB,GAAG,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;QACpE,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,EAAE;YACrD,SAAS,EAAE,YAAY;YACvB,WAAW,EAAE,SAAS;YACtB,YAAY,EAAE,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE;SAC7C,CAAC,CAAC;QACH,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,KAAK,IAAI,EAAE;QACnB,EAAE,CAAC,eAAe,EAAE,CAAC;QACrB,MAAM,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAAC;YAC5C,MAAM,EAAE,QAAQ;YAChB,GAAG;YACH,KAAK,EAAE,oBAAoB;YAC3B,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;QACjE,MAAM,eAAe,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC;QACzE,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAC3C;YACE,MAAM,EAAE,WAAW;YACnB,GAAG;YACH,KAAK,EAAE,oBAAoB;YAC3B,MAAM,EAAE,IAAI;SACb,EACD,eAAe,CAChB,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,eAAe,CAAC,CAAC,oBAAoB,EAAE,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,KAAK,IAAI,EAAE;QACnE,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAC3C;YACE,MAAM,EAAE,WAAW;YACnB,GAAG;YACH,KAAK,EAAE,oBAAoB;YAC3B,MAAM,EAAE,IAAI;SACb,EACD,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,CAC7C,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,KAAK,IAAI,EAAE;QACvD,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAC3C;YACE,MAAM,EAAE,UAAU;YAClB,GAAG;YACH,KAAK,EAAE,oBAAoB;YAC3B,MAAM,EAAE,IAAI;SACb,EACD,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE;YACf,MAAM,IAAI,sBAAsB,CAAC,UAAU,CAAC,CAAC;QAC/C,CAAC,CAAC,CACH,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,UAAU,CAAC,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,KAAK,IAAI,EAAE;QACxD,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAC3C;YACE,MAAM,EAAE,UAAU;YAClB,GAAG;YACH,KAAK,EAAE,oBAAoB;YAC3B,MAAM,EAAE,IAAI;SACb,EACD,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE;YACf,MAAM,IAAI,yBAAyB,CAAC,SAAS,CAAC,CAAC;QACjD,CAAC,CAAC,CACH,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAC9B,wBAAwB,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAC1D,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,mBAAmB,CACjB;YACE,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,CAAC;YACV,SAAS,EAAE,KAAK;YAChB,MAAM,EAAE,wBAAwB;SACjC,EACD,IAAI,CACL,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,oBAAoB,CACjC,IAAI,CAAC,SAAS,CAAC;YACb,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,CAAC;YACV,SAAS,EAAE,KAAK;YAChB,MAAM,EAAE,wBAAwB;SACjC,CAAC,CACH,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;QACxE,MAAM,eAAe,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;QACxE,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAC3C,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,KAAK,EAAE,oBAAoB,EAAE,EACxD,eAAe,CAChB,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,eAAe,CAAC,CAAC,gBAAgB,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,EAAE;YACrD,SAAS,EAAE,YAAY;YACvB,WAAW,EAAE,SAAS;SACvB,CAAC,CAAC;QACH,MAAM,eAAe,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAC3C,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,KAAK,EAAE,oBAAoB,EAAE,EACxD,eAAe,CAChB,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CACJ,qBAAqB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAC7E,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACd,MAAM,CACJ,qBAAqB,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAC/E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/commands/bench.d.ts

@@ -0,0 +1,10 @@
+import { Command } from 'commander';
+export interface BenchOptions {
+    suite?: string;
+    json?: boolean;
+    baseline?: string;
+    failOnRegression?: string;
+    filter?: string;
+}
+export declare const benchCommand: Command;
+//# sourceMappingURL=bench.d.ts.map

package/dist/commands/bench.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bench.d.ts","sourceRoot":"","sources":["../../src/commands/bench.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAapC,MAAM,WAAW,YAAY;IAC3B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,eAAO,MAAM,YAAY,SAiErB,CAAC"}

package/dist/commands/bench.js

@@ -0,0 +1,64 @@
+import { Command } from 'commander';
+import chalk from 'chalk';
+import fs from 'fs-extra';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { buildReport } from '../verification/bench/report.js';
+import { runSuite } from '../verification/bench/harness.js';
+function defaultSuiteDir() {
+    const here = fileURLToPath(import.meta.url);
+    return path.resolve(path.dirname(here), '..', '..', 'fixtures', 'bench');
+}
+export const benchCommand = new Command('bench')
+    .description('Run verification bench fixtures (deterministic patch quality gate)')
+    .option('--suite <dir>', 'Directory with suite.json', defaultSuiteDir())
+    .option('--json', 'Emit JSON report on stdout', false)
+    .option('--baseline <file>', 'Baseline BenchReport JSON for regression comparison')
+    .option('--fail-on-regression <pp>', 'Fail if solve-rate drops more than N percentage points vs baseline', '3')
+    .option('--filter <glob>', 'Run only fixtures matching glob')
+    .action(async (options) => {
+    const suiteDir = path.resolve(process.cwd(), options.suite ?? defaultSuiteDir());
+    if (!(await fs.pathExists(path.join(suiteDir, 'suite.json')))) {
+        console.error(chalk.red(`Error: invalid or missing suite at ${suiteDir}`));
+        process.exit(2);
+    }
+    let baseline;
+    if (options.baseline) {
+        const baselinePath = path.resolve(process.cwd(), options.baseline);
+        if (!(await fs.pathExists(baselinePath))) {
+            console.error(chalk.red(`Error: baseline file not found: ${baselinePath}`));
+            process.exit(2);
+        }
+        baseline = (await fs.readJson(baselinePath));
+    }
+    const results = await runSuite(suiteDir, {
+        filter: options.filter,
+        deps: undefined,
+    });
+    const failPp = options.failOnRegression
+        ? parseInt(options.failOnRegression, 10)
+        : 3;
+    const report = buildReport(results, {
+        suite: path.relative(process.cwd(), suiteDir) || suiteDir,
+        baseline,
+        failOnRegressionPp: failPp,
+    });
+    if (options.json) {
+        console.log(JSON.stringify(report, null, 2));
+    }
+    else {
+        console.log(chalk.blue.bold('\n📊 DARE Bench Report\n'));
+        console.log(`  Suite: ${report.suite}`);
+        console.log(`  Solved: ${report.totals.solved}/${report.totals.fixtures} (${(report.totals.solveRate * 100).toFixed(1)}%)`);
+        if (report.regression) {
+            const icon = report.regression.failed ? chalk.red('❌') : chalk.green('✓');
+            console.log(`  Regression: ${icon} baseline ${(report.regression.baselineSolveRate * 100).toFixed(1)}% → delta ${report.regression.deltaPp.toFixed(1)}pp`);
+        }
+        console.log();
+    }
+    if (report.regression?.failed) {
+        process.exit(1);
+    }
+    process.exit(0);
+});
+//# sourceMappingURL=bench.js.map

package/dist/commands/bench.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bench.js","sourceRoot":"","sources":["../../src/commands/bench.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAE5D,SAAS,eAAe;IACtB,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;AAC3E,CAAC;AAUD,MAAM,CAAC,MAAM,YAAY,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC;KAC7C,WAAW,CAAC,oEAAoE,CAAC;KACjF,MAAM,CAAC,eAAe,EAAE,2BAA2B,EAAE,eAAe,EAAE,CAAC;KACvE,MAAM,CAAC,QAAQ,EAAE,4BAA4B,EAAE,KAAK,CAAC;KACrD,MAAM,CAAC,mBAAmB,EAAE,qDAAqD,CAAC;KAClF,MAAM,CACL,2BAA2B,EAC3B,oEAAoE,EACpE,GAAG,CACJ;KACA,MAAM,CAAC,iBAAiB,EAAE,iCAAiC,CAAC;KAC5D,MAAM,CAAC,KAAK,EAAE,OAAqB,EAAE,EAAE;IACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,KAAK,IAAI,eAAe,EAAE,CAAC,CAAC;IAEjF,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,sCAAsC,QAAQ,EAAE,CAAC,CAAC,CAAC;QAC3E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,QAAQ,CAAC;IACb,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QACnE,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;YACzC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,mCAAmC,YAAY,EAAE,CAAC,CAAC,CAAC;YAC5E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,QAAQ,GAAG,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAmC,CAAC;IACjF,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE;QACvC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,IAAI,EAAE,SAAS;KAChB,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB;QACrC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC;QACxC,CAAC,CAAC,CAAC,CAAC;IAEN,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE;QAClC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,CAAC,IAAI,QAAQ;QACzD,QAAQ;QACR,kBAAkB,EAAE,MAAM;KAC3B,CAAC,CAAC;IAEH,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,CAAC;QACzD,OAAO,CAAC,GAAG,CAAC,YAAY,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QACxC,OAAO,CAAC,GAAG,CACT,aAAa,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAC/G,CAAC;QACF,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC1E,OAAO,CAAC,GAAG,CACT,iBAAiB,IAAI,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC,iBAAiB,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAC9I,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC,CAAC,CAAC"}

package/dist/commands/execute-verification.d.ts

@@ -0,0 +1,51 @@
+import type { Aspect, LoopVerdict, VerificationConfig, VerificationResult } from '../verification/types.js';
+import { type RunVerificationOptions } from '../verification/runner.js';
+export declare const VERIFICATION_ARTIFACT_DIR = ".dare/verification";
+export declare function mutationToolErrorMessage(tool: string, stack: string): string;
+export declare function failToPassMissingMessage(taskId: string): string;
+export declare function shouldRunVerification(args: {
+    readonly verify?: boolean;
+    readonly noVerify?: boolean;
+    readonly configEnabled: boolean;
+}): boolean;
+export declare function applyFullMutationFlag(config: VerificationConfig, fullMutation?: boolean): VerificationConfig;
+export declare function validateBestOf(n: number, max: number): string | undefined;
+export declare function validatePolicy(policy: string): string | undefined;
+export declare function applyPolicyOverride(config: VerificationConfig, policy?: string): VerificationConfig;
+export declare function resolveBestOfCount(bestOfFlag: number | undefined, config: VerificationConfig): number;
+export declare function loadVerificationConfig(cwd: string, fullMutation?: boolean): Promise<VerificationConfig>;
+/** List changed files via git (argv, no shell). */
+export declare function gitChangedFiles(cwd: string): Promise<string[]>;
+export declare function persistVerificationArtifact(cwd: string, taskId: string, patch: Record<string, unknown>): Promise<void>;
+export declare function gateToAspect(gate?: string): Aspect;
+export declare function formatVerdictOutput(verdict: LoopVerdict, verdictJson?: boolean): void;
+export interface RecordFailureArgs {
+    readonly cwd: string;
+    readonly taskId: string;
+    readonly stack: string;
+    readonly passed: boolean;
+    readonly failedAspect?: Aspect;
+    readonly stderr?: string;
+    readonly loop: VerificationConfig['loop'];
+    readonly verdictJson?: boolean;
+}
+export declare function recordFailureAndVerdict(args: RecordFailureArgs): Promise<LoopVerdict>;
+export interface PostRalphVerificationArgs {
+    readonly taskId: string;
+    readonly cwd: string;
+    readonly stack: string;
+    readonly verify?: boolean;
+    readonly noVerify?: boolean;
+    readonly fullMutation?: boolean;
+    readonly verdictJson?: boolean;
+}
+export interface PostRalphVerificationResult {
+    readonly ran: boolean;
+    readonly passed: boolean;
+    readonly exitCode: number;
+    readonly errorMessage?: string;
+    readonly verificationResult?: VerificationResult;
+    readonly verdict?: LoopVerdict;
+}
+export declare function runPostRalphVerification(args: PostRalphVerificationArgs, runVerification?: (opts: RunVerificationOptions) => Promise<VerificationResult>): Promise<PostRalphVerificationResult>;
+//# sourceMappingURL=execute-verification.d.ts.map

package/dist/commands/execute-verification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"execute-verification.d.ts","sourceRoot":"","sources":["../../src/commands/execute-verification.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,MAAM,EAEN,WAAW,EACX,kBAAkB,EAClB,kBAAkB,EACnB,MAAM,0BAA0B,CAAC;AAMlC,OAAO,EAEL,KAAK,sBAAsB,EAC5B,MAAM,2BAA2B,CAAC;AAKnC,eAAO,MAAM,yBAAyB,uBAAuB,CAAC;AAE9D,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAE5E;AAED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE/D;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE;IAC1C,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC,GAAG,OAAO,CAIV;AAED,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,kBAAkB,EAC1B,YAAY,CAAC,EAAE,OAAO,GACrB,kBAAkB,CAMpB;AAED,wBAAgB,cAAc,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAKzE;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAKjE;AAED,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,kBAAkB,EAC1B,MAAM,CAAC,EAAE,MAAM,GACd,kBAAkB,CAMpB;AAED,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,MAAM,GAAG,SAAS,EAC9B,MAAM,EAAE,kBAAkB,GACzB,MAAM,CAER;AAED,wBAAsB,sBAAsB,CAC1C,GAAG,EAAE,MAAM,EACX,YAAY,CAAC,EAAE,OAAO,GACrB,OAAO,CAAC,kBAAkB,CAAC,CAI7B;AAED,mDAAmD;AACnD,wBAAsB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAWpE;AAED,wBAAsB,2BAA2B,CAC/C,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7B,OAAO,CAAC,IAAI,CAAC,CAOf;AAED,wBAAgB,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,CAGlD;AAED,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,EAAE,OAAO,GAAG,IAAI,CAQrF;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC1C,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC;AAED,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,iBAAiB,GACtB,OAAO,CAAC,WAAW,CAAC,CA2BtB;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACjD,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC;CAChC;AAED,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,yBAAyB,EAC/B,eAAe,gEAA0B,GACxC,OAAO,CAAC,2BAA2B,CAAC,CAmFtC"}

package/dist/commands/execute-verification.js

@@ -0,0 +1,201 @@
+import path from 'node:path';
+import fs from 'fs-extra';
+import { parseVerificationConfig } from '../verification/config.js';
+import { decideNextAction } from '../verification/decay/policy.js';
+import { failureSignature } from '../verification/decay/signature.js';
+import { FailToPassMissingError } from '../verification/gates/fail-to-pass.js';
+import { MutationToolNotFoundError } from '../verification/gates/mutation/adapter.js';
+import { createRunVerification, } from '../verification/runner.js';
+import { appendAttempt, getAttempts } from '../dag-runner/state-store.js';
+import { safeSpawn } from '../exec/safe-spawn.js';
+import { readProjectConfig } from '../utils/UpdateDetector.js';
+export const VERIFICATION_ARTIFACT_DIR = '.dare/verification';
+export function mutationToolErrorMessage(tool, stack) {
+    return `Error: mutation tool '${tool}' not found on PATH for stack '${stack}'. Install it or set verification.mutation.enabled=false.`;
+}
+export function failToPassMissingMessage(taskId) {
+    return `Error: fail-to-pass spec required but no baseline recorded for '${taskId}'. Generate EXECUTION/${taskId}.tests.* first.`;
+}
+export function shouldRunVerification(args) {
+    if (args.noVerify)
+        return false;
+    if (args.verify)
+        return true;
+    return args.configEnabled;
+}
+export function applyFullMutationFlag(config, fullMutation) {
+    if (!fullMutation)
+        return config;
+    return {
+        ...config,
+        mutation: { ...config.mutation, incremental: false },
+    };
+}
+export function validateBestOf(n, max) {
+    if (!Number.isInteger(n) || n < 1 || n > max) {
+        return `Error: --best-of must be between 1 and ${max} (got ${n})`;
+    }
+    return undefined;
+}
+export function validatePolicy(policy) {
+    if (policy !== 'decay' && policy !== 'fixed') {
+        return `Error: --policy must be 'decay' or 'fixed' (got '${policy}')`;
+    }
+    return undefined;
+}
+export function applyPolicyOverride(config, policy) {
+    if (!policy)
+        return config;
+    return {
+        ...config,
+        loop: { ...config.loop, policy: policy },
+    };
+}
+export function resolveBestOfCount(bestOfFlag, config) {
+    return bestOfFlag ?? config.bestOfN.default;
+}
+export async function loadVerificationConfig(cwd, fullMutation) {
+    const raw = await readProjectConfig(cwd);
+    const config = parseVerificationConfig(raw);
+    return applyFullMutationFlag(config, fullMutation);
+}
+/** List changed files via git (argv, no shell). */
+export async function gitChangedFiles(cwd) {
+    const result = await safeSpawn('git', ['diff', '--name-only'], {
+        cwd,
+        timeoutSeconds: 30,
+        maxChars: 500000,
+    });
+    if (result.code !== 0)
+        return [];
+    return result.stdout
+        .split('\n')
+        .map((line) => line.trim())
+        .filter(Boolean);
+}
+export async function persistVerificationArtifact(cwd, taskId, patch) {
+    const file = path.join(cwd, VERIFICATION_ARTIFACT_DIR, `${taskId}.json`);
+    await fs.ensureDir(path.dirname(file));
+    const prev = (await fs.pathExists(file))
+        ? (await fs.readJson(file))
+        : {};
+    await fs.writeJson(file, { ...prev, ...patch }, { spaces: 2 });
+}
+export function gateToAspect(gate) {
+    if (gate === 'build' || gate === 'test' || gate === 'lint')
+        return gate;
+    return 'test';
+}
+export function formatVerdictOutput(verdict, verdictJson) {
+    if (verdictJson) {
+        console.log(JSON.stringify(verdict));
+        return;
+    }
+    console.log(`Loop verdict: ${verdict.action} (attempt ${verdict.attempt}, saturated=${verdict.saturated}) — ${verdict.reason}`);
+}
+export async function recordFailureAndVerdict(args) {
+    const sig = args.passed || !args.stderr
+        ? undefined
+        : failureSignature({
+            failedAspect: args.failedAspect ?? 'test',
+            stderr: args.stderr,
+        });
+    const attempt = await appendAttempt(args.cwd, args.taskId, {
+        at: new Date().toISOString(),
+        passed: args.passed,
+        failureSignature: sig,
+        failedAspect: args.passed ? undefined : args.failedAspect,
+    });
+    const history = await getAttempts(args.cwd, args.taskId);
+    const verdict = decideNextAction({
+        result: { passed: args.passed, failedAspect: args.failedAspect },
+        current: attempt,
+        history,
+        loop: args.loop,
+    });
+    formatVerdictOutput(verdict, args.verdictJson);
+    await persistVerificationArtifact(args.cwd, args.taskId, { verdict });
+    return verdict;
+}
+export async function runPostRalphVerification(args, runVerification = createRunVerification()) {
+    const config = await loadVerificationConfig(args.cwd, args.fullMutation);
+    if (!shouldRunVerification({
+        verify: args.verify,
+        noVerify: args.noVerify,
+        configEnabled: config.enabled,
+    })) {
+        return { ran: false, passed: true, exitCode: 0 };
+    }
+    try {
+        const changedFiles = await gitChangedFiles(args.cwd);
+        const verificationResult = await runVerification({
+            taskId: args.taskId,
+            stack: args.stack,
+            cwd: args.cwd,
+            config,
+            changedFiles,
+        });
+        if (verificationResult.passed) {
+            const verdict = {
+                action: 'DONE',
+                attempt: (await getAttempts(args.cwd, args.taskId)).length || 1,
+                saturated: false,
+                reason: 'verification passed',
+            };
+            formatVerdictOutput(verdict, args.verdictJson);
+            await persistVerificationArtifact(args.cwd, args.taskId, {
+                verificationResult,
+                verdict,
+            });
+            return {
+                ran: true,
+                passed: true,
+                exitCode: 0,
+                verificationResult,
+                verdict,
+            };
+        }
+        const failedAspect = verificationResult.aspects.find((a) => a.verdict === 'FAIL')
+            ?.aspect;
+        const verdict = await recordFailureAndVerdict({
+            cwd: args.cwd,
+            taskId: args.taskId,
+            stack: args.stack,
+            passed: false,
+            failedAspect,
+            stderr: verificationResult.aspects
+                .filter((a) => a.verdict === 'FAIL')
+                .map((a) => a.reason)
+                .join('\n'),
+            loop: config.loop,
+            verdictJson: args.verdictJson,
+        });
+        return {
+            ran: true,
+            passed: false,
+            exitCode: 1,
+            verificationResult,
+            verdict,
+        };
+    }
+    catch (err) {
+        if (err instanceof FailToPassMissingError) {
+            return {
+                ran: true,
+                passed: false,
+                exitCode: 4,
+                errorMessage: failToPassMissingMessage(args.taskId),
+            };
+        }
+        if (err instanceof MutationToolNotFoundError) {
+            return {
+                ran: true,
+                passed: false,
+                exitCode: 3,
+                errorMessage: mutationToolErrorMessage(err.tool, args.stack),
+            };
+        }
+        throw err;
+    }
+}
+//# sourceMappingURL=execute-verification.js.map