@dewtech/dare-cli 3.2.0 → 3.4.0

package/dist/verification/__tests__/anti-tamper.test.d.ts

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

package/dist/verification/__tests__/anti-tamper.test.d.ts.map

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

package/dist/verification/__tests__/anti-tamper.test.js

@@ -0,0 +1,73 @@
+import { describe, it, expect, beforeEach, afterEach } from 'vitest';
+import fs from 'fs-extra';
+import path from 'node:path';
+import os from 'node:os';
+import { snapshotTests, checkAntiTamper, } from '../gates/anti-tamper.js';
+describe('anti-tamper', () => {
+    let cwd;
+    beforeEach(async () => {
+        cwd = await fs.mkdtemp(path.join(os.tmpdir(), 'dare-tamper-'));
+    });
+    afterEach(async () => {
+        await fs.remove(cwd).catch(() => undefined);
+    });
+    it('should_count_assertions_js', async () => {
+        await fs.writeFile(path.join(cwd, 'sample.test.ts'), `
+        // expect(1) in comment should not count
+        it('x', () => {
+          expect(1).toBe(1);
+          expect(2).toEqual(2);
+          assert(true);
+        });
+      `);
+        const snap = await snapshotTests({ cwd, testGlob: 'sample.test.ts' });
+        expect(snap.assertionCount).toBe(5);
+    });
+    it('should_count_assertions_py', async () => {
+        await fs.writeFile(path.join(cwd, 'sample_test.py'), `
+def test_x():
+    assert 1 == 1
+    self.assertTrue(True)
+    with pytest.raises(ValueError):
+        raise ValueError()
+      `);
+        const snap = await snapshotTests({ cwd, testGlob: 'sample_test.py' });
+        expect(snap.assertionCount).toBe(3);
+    });
+    it('should_fail_when_assertion_removed', async () => {
+        const file = 'suite.test.ts';
+        await fs.writeFile(path.join(cwd, file), `it('a', () => { expect(1).toBe(1); expect(2).toBe(2); });`);
+        const baseline = await snapshotTests({ cwd, testGlob: file });
+        await fs.writeFile(path.join(cwd, file), `it('a', () => { expect(1).toBe(1); });`);
+        const result = await checkAntiTamper({ baseline, cwd, testGlob: file });
+        expect(result.verdict).toBe('FAIL');
+        expect(result.reason).toContain('assertion count dropped');
+    });
+    it('should_fail_on_skip', async () => {
+        const file = 'skip.test.ts';
+        await fs.writeFile(path.join(cwd, file), `it('a', () => { expect(1).toBe(1); });`);
+        const baseline = await snapshotTests({ cwd, testGlob: file });
+        await fs.writeFile(path.join(cwd, file), `it.skip('a', () => { expect(1).toBe(1); });`);
+        const result = await checkAntiTamper({ baseline, cwd, testGlob: file });
+        expect(result.verdict).toBe('FAIL');
+        expect(result.reason).toContain(file);
+    });
+    it('should_fail_when_file_deleted', async () => {
+        const file = 'gone.test.ts';
+        await fs.writeFile(path.join(cwd, file), `it('a', () => { expect(1).toBe(1); });`);
+        const baseline = await snapshotTests({ cwd, testGlob: file });
+        await fs.remove(path.join(cwd, file));
+        const result = await checkAntiTamper({ baseline, cwd, testGlob: file });
+        expect(result.verdict).toBe('FAIL');
+        expect(result.reason).toContain('test file removed');
+    });
+    it('should_pass_when_unchanged_or_strengthened', async () => {
+        const file = 'strong.test.ts';
+        await fs.writeFile(path.join(cwd, file), `it('a', () => { expect(1).toBe(1); });`);
+        const baseline = await snapshotTests({ cwd, testGlob: file });
+        await fs.writeFile(path.join(cwd, file), `it('a', () => { expect(1).toBe(1); expect(2).toEqual(2); });`);
+        const result = await checkAntiTamper({ baseline, cwd, testGlob: file });
+        expect(result.verdict).toBe('PASS');
+    });
+});
+//# sourceMappingURL=anti-tamper.test.js.map

package/dist/verification/__tests__/anti-tamper.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anti-tamper.test.js","sourceRoot":"","sources":["../../../src/verification/__tests__/anti-tamper.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,EACL,aAAa,EACb,eAAe,GAChB,MAAM,yBAAyB,CAAC;AAEjC,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,IAAI,GAAW,CAAC;IAEhB,UAAU,CAAC,KAAK,IAAI,EAAE;QACpB,GAAG,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,KAAK,IAAI,EAAE;QACnB,MAAM,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,KAAK,IAAI,EAAE;QAC1C,MAAM,EAAE,CAAC,SAAS,CAChB,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,EAChC;;;;;;;OAOC,CACF,CAAC;QAEF,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACtE,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,KAAK,IAAI,EAAE;QAC1C,MAAM,EAAE,CAAC,SAAS,CAChB,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,EAChC;;;;;;OAMC,CACF,CAAC;QAEF,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACtE,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,KAAK,IAAI,EAAE;QAClD,MAAM,IAAI,GAAG,eAAe,CAAC;QAC7B,MAAM,EAAE,CAAC,SAAS,CAChB,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EACpB,2DAA2D,CAC5D,CAAC;QACF,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAE9D,MAAM,EAAE,CAAC,SAAS,CAChB,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EACpB,wCAAwC,CACzC,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,KAAK,IAAI,EAAE;QACnC,MAAM,IAAI,GAAG,cAAc,CAAC;QAC5B,MAAM,EAAE,CAAC,SAAS,CAChB,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EACpB,wCAAwC,CACzC,CAAC;QACF,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAE9D,MAAM,EAAE,CAAC,SAAS,CAChB,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EACpB,6CAA6C,CAC9C,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,KAAK,IAAI,EAAE;QAC7C,MAAM,IAAI,GAAG,cAAc,CAAC;QAC5B,MAAM,EAAE,CAAC,SAAS,CAChB,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EACpB,wCAAwC,CACzC,CAAC;QACF,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QAEtC,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,KAAK,IAAI,EAAE;QAC1D,MAAM,IAAI,GAAG,gBAAgB,CAAC;QAC9B,MAAM,EAAE,CAAC,SAAS,CAChB,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EACpB,wCAAwC,CACzC,CAAC;QACF,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAE9D,MAAM,EAAE,CAAC,SAAS,CAChB,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EACpB,8DAA8D,CAC/D,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/verification/__tests__/bench-fixtures.test.d.ts

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

package/dist/verification/__tests__/bench-fixtures.test.d.ts.map

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

package/dist/verification/__tests__/bench-fixtures.test.js

@@ -0,0 +1,35 @@
+import { describe, it, expect, beforeEach, afterEach } from 'vitest';
+import path from 'node:path';
+import fs from 'fs-extra';
+import os from 'node:os';
+import { fileURLToPath } from 'node:url';
+import { loadFixture, loadSuite } from '../bench/fixtures.js';
+const packagedSuiteDir = path.join(path.dirname(fileURLToPath(import.meta.url)), '../../../fixtures/bench');
+describe('bench fixtures loader', () => {
+    it('should_load_valid_suite', async () => {
+        const fixtures = await loadSuite(packagedSuiteDir);
+        expect(fixtures.length).toBeGreaterThanOrEqual(6);
+        const ids = fixtures.map((f) => f.id);
+        expect(ids).toContain('fix-001-nest-correct');
+        expect(ids).toContain('fix-002-nest-weak-test');
+        expect(ids).toContain('fix-006-fastapi-weak-test');
+    });
+});
+describe('bench fixtures validation', () => {
+    let tmpSuite;
+    beforeEach(async () => {
+        tmpSuite = await fs.mkdtemp(path.join(os.tmpdir(), 'dare-bench-fixtures-'));
+        await fs.copy(packagedSuiteDir, tmpSuite);
+    });
+    afterEach(async () => {
+        await fs.remove(tmpSuite).catch(() => undefined);
+    });
+    it('should_reject_missing_files', async () => {
+        await fs.remove(path.join(tmpSuite, 'fix-001-nest-correct', 'fail_to_pass.txt'));
+        await expect(loadFixture(tmpSuite, 'fix-001-nest-correct')).rejects.toThrow(/missing required file: fail_to_pass\.txt/);
+    });
+    it('should_reject_unsafe_paths', async () => {
+        await expect(loadFixture(tmpSuite, '../escape')).rejects.toThrow(/must not contain '\.\.'/);
+    });
+});
+//# sourceMappingURL=bench-fixtures.test.js.map

package/dist/verification/__tests__/bench-fixtures.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bench-fixtures.test.js","sourceRoot":"","sources":["../../../src/verification/__tests__/bench-fixtures.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAE9D,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAChC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAC5C,yBAAyB,CAC1B,CAAC;AAEF,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,yBAAyB,EAAE,KAAK,IAAI,EAAE;QACvC,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,gBAAgB,CAAC,CAAC;QACnD,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;QAChD,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,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,sBAAsB,CAAC,CAAC,CAAC;QAC5E,MAAM,EAAE,CAAC,IAAI,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC;IAC5C,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,6BAA6B,EAAE,KAAK,IAAI,EAAE;QAC3C,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,sBAAsB,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACjF,MAAM,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CACzE,0CAA0C,CAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,KAAK,IAAI,EAAE;QAC1C,MAAM,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/verification/__tests__/bench-harness.test.d.ts

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

package/dist/verification/__tests__/bench-harness.test.d.ts.map

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

package/dist/verification/__tests__/bench-harness.test.js

@@ -0,0 +1,75 @@
+import { describe, it, expect, afterEach } from 'vitest';
+import fs from 'fs-extra';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { createRunFixture } from '../bench/harness.js';
+import { loadFixture } from '../bench/fixtures.js';
+const packagedSuiteDir = path.join(path.dirname(fileURLToPath(import.meta.url)), '../../../fixtures/bench');
+describe('bench harness', () => {
+    const tmpDirs = [];
+    afterEach(async () => {
+        for (const d of tmpDirs)
+            await fs.remove(d).catch(() => undefined);
+        tmpDirs.length = 0;
+    });
+    it('should_mark_solved_when_f2p_and_p2p_pass', async () => {
+        const meta = await loadFixture(packagedSuiteDir, 'fix-001-nest-correct');
+        const runFixture = createRunFixture({
+            runTestSuite: async () => ({
+                passed: ['add sums two numbers', 'add handles zero'],
+                failed: [],
+            }),
+            applyPatch: async () => undefined,
+            copyRepo: async (src, dest) => fs.copy(src, dest),
+        });
+        const result = await runFixture(meta, packagedSuiteDir);
+        expect(result.solved).toBe(true);
+        expect(result.fixRate).toBe(1);
+        expect(result.passToPassRegressed).toBe(false);
+    });
+    it('should_zero_fix_rate_on_p2p_regression', async () => {
+        const meta = await loadFixture(packagedSuiteDir, 'fix-004-fastapi-regression');
+        const runFixture = createRunFixture({
+            runTestSuite: async () => ({
+                passed: ['test_add'],
+                failed: [],
+            }),
+            applyPatch: async () => undefined,
+            copyRepo: async (src, dest) => fs.copy(src, dest),
+        });
+        const result = await runFixture(meta, packagedSuiteDir);
+        expect(result.passToPassRegressed).toBe(true);
+        expect(result.fixRate).toBe(0);
+        expect(result.solved).toBe(false);
+    });
+    it('should_cleanup_temp_dir', async () => {
+        const meta = await loadFixture(packagedSuiteDir, 'fix-001-nest-correct');
+        let capturedTmp = '';
+        const runFixture = createRunFixture({
+            copyRepo: async (src, dest) => {
+                capturedTmp = dest;
+                tmpDirs.push(dest);
+                await fs.copy(src, dest);
+            },
+            applyPatch: async () => undefined,
+            runTestSuite: async () => ({ passed: ['add sums two numbers', 'add handles zero'], failed: [] }),
+        });
+        await runFixture(meta, packagedSuiteDir);
+        expect(capturedTmp).toBeTruthy();
+        expect(await fs.pathExists(capturedTmp)).toBe(false);
+    });
+    it('should_reject_weak_test_fixture_as_unsolved', async () => {
+        const meta = await loadFixture(packagedSuiteDir, 'fix-002-nest-weak-test');
+        const runFixture = createRunFixture({
+            runTestSuite: async () => ({
+                passed: ['weak test only'],
+                failed: ['real assertion'],
+            }),
+            applyPatch: async () => undefined,
+            copyRepo: async (src, dest) => fs.copy(src, dest),
+        });
+        const result = await runFixture(meta, packagedSuiteDir);
+        expect(result.solved).toBe(false);
+    });
+});
+//# sourceMappingURL=bench-harness.test.js.map

package/dist/verification/__tests__/bench-harness.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bench-harness.test.js","sourceRoot":"","sources":["../../../src/verification/__tests__/bench-harness.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACzD,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAEnD,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAChC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAC5C,yBAAyB,CAC1B,CAAC;AAEF,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,SAAS,CAAC,KAAK,IAAI,EAAE;QACnB,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACnE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IACrB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,KAAK,IAAI,EAAE;QACxD,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,CAAC;QACzE,MAAM,UAAU,GAAG,gBAAgB,CAAC;YAClC,YAAY,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;gBACzB,MAAM,EAAE,CAAC,sBAAsB,EAAE,kBAAkB,CAAC;gBACpD,MAAM,EAAE,EAAE;aACX,CAAC;YACF,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC,SAAS;YACjC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC;SAClD,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,KAAK,IAAI,EAAE;QACtD,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,gBAAgB,EAAE,4BAA4B,CAAC,CAAC;QAC/E,MAAM,UAAU,GAAG,gBAAgB,CAAC;YAClC,YAAY,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;gBACzB,MAAM,EAAE,CAAC,UAAU,CAAC;gBACpB,MAAM,EAAE,EAAE;aACX,CAAC;YACF,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC,SAAS;YACjC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC;SAClD,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,KAAK,IAAI,EAAE;QACvC,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,CAAC;QACzE,IAAI,WAAW,GAAG,EAAE,CAAC;QACrB,MAAM,UAAU,GAAG,gBAAgB,CAAC;YAClC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE;gBAC5B,WAAW,GAAG,IAAI,CAAC;gBACnB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnB,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC3B,CAAC;YACD,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC,SAAS;YACjC,YAAY,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,sBAAsB,EAAE,kBAAkB,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;SACjG,CAAC,CAAC;QAEH,MAAM,UAAU,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACzC,MAAM,CAAC,WAAW,CAAC,CAAC,UAAU,EAAE,CAAC;QACjC,MAAM,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,KAAK,IAAI,EAAE;QAC3D,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,gBAAgB,EAAE,wBAAwB,CAAC,CAAC;QAC3E,MAAM,UAAU,GAAG,gBAAgB,CAAC;YAClC,YAAY,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;gBACzB,MAAM,EAAE,CAAC,gBAAgB,CAAC;gBAC1B,MAAM,EAAE,CAAC,gBAAgB,CAAC;aAC3B,CAAC;YACF,UAAU,EAAE,KAAK,IAAI,EAAE,CAAC,SAAS;YACjC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC;SAClD,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/verification/__tests__/bench-report.test.d.ts

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

package/dist/verification/__tests__/bench-report.test.d.ts.map

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

package/dist/verification/__tests__/bench-report.test.js

@@ -0,0 +1,73 @@
+import { describe, it, expect } from 'vitest';
+import { buildReport, computeFixtureResult, } from '../bench/report.js';
+function fixture(id, failToPass, passToPass) {
+    return computeFixtureResult({
+        id,
+        stack: 'node-nestjs',
+        failToPass,
+        passToPass,
+        durationMs: 100,
+    });
+}
+describe('computeFixtureResult', () => {
+    it('should_zero_fixrate_on_p2p_regression', () => {
+        const result = fixture('fix-reg', { passed: 3, total: 3 }, { passed: 2, total: 3 });
+        expect(result.passToPassRegressed).toBe(true);
+        expect(result.fixRate).toBe(0);
+        expect(result.solved).toBe(false);
+    });
+});
+describe('buildReport', () => {
+    it('should_compute_solve_rate', () => {
+        const results = [
+            fixture('a', { passed: 2, total: 2 }, { passed: 1, total: 1 }),
+            fixture('b', { passed: 1, total: 2 }, { passed: 1, total: 1 }),
+        ];
+        const report = buildReport(results, { suite: 'fixtures/bench', ranAt: '2026-06-04T20:00:00Z' });
+        expect(report.totals.fixtures).toBe(2);
+        expect(report.totals.solved).toBe(1);
+        expect(report.totals.solveRate).toBe(0.5);
+        expect(report.schemaVersion).toBe(1);
+    });
+    it('should_flag_regression_beyond_threshold', () => {
+        const baseline = {
+            schemaVersion: 1,
+            ranAt: '2026-06-01T00:00:00Z',
+            suite: 'fixtures/bench',
+            totals: { fixtures: 2, solved: 2, solveRate: 1 },
+            results: [],
+        };
+        const results = [
+            fixture('a', { passed: 2, total: 2 }, { passed: 1, total: 1 }),
+            fixture('b', { passed: 0, total: 2 }, { passed: 1, total: 1 }),
+        ];
+        const report = buildReport(results, {
+            suite: 'fixtures/bench',
+            baseline,
+            failOnRegressionPp: 3,
+            ranAt: '2026-06-04T20:00:00Z',
+        });
+        expect(report.regression?.deltaPp).toBe(-50);
+        expect(report.regression?.failed).toBe(true);
+    });
+    it('should_not_flag_within_threshold', () => {
+        const baseline = {
+            schemaVersion: 1,
+            ranAt: '2026-06-01T00:00:00Z',
+            suite: 'fixtures/bench',
+            totals: { fixtures: 10, solved: 9, solveRate: 0.9 },
+            results: [],
+        };
+        const results = Array.from({ length: 10 }, (_, i) => fixture(`f-${i}`, { passed: i === 0 ? 1 : 2, total: 2 }, { passed: 1, total: 1 }));
+        const report = buildReport(results, {
+            suite: 'fixtures/bench',
+            baseline,
+            failOnRegressionPp: 3,
+            ranAt: '2026-06-04T20:00:00Z',
+        });
+        expect(report.totals.solveRate).toBe(0.9);
+        expect(report.regression?.deltaPp).toBe(0);
+        expect(report.regression?.failed).toBe(false);
+    });
+});
+//# sourceMappingURL=bench-report.test.js.map

package/dist/verification/__tests__/bench-report.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bench-report.test.js","sourceRoot":"","sources":["../../../src/verification/__tests__/bench-report.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,WAAW,EACX,oBAAoB,GAGrB,MAAM,oBAAoB,CAAC;AAE5B,SAAS,OAAO,CACd,EAAU,EACV,UAA6C,EAC7C,UAA6C;IAE7C,OAAO,oBAAoB,CAAC;QAC1B,EAAE;QACF,KAAK,EAAE,aAAa;QACpB,UAAU;QACV,UAAU;QACV,UAAU,EAAE,GAAG;KAChB,CAAC,CAAC;AACL,CAAC;AAED,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACpF,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,OAAO,GAAG;YACd,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YAC9D,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SAC/D,CAAC;QACF,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,KAAK,EAAE,sBAAsB,EAAE,CAAC,CAAC;QAChG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,QAAQ,GAAgB;YAC5B,aAAa,EAAE,CAAC;YAChB,KAAK,EAAE,sBAAsB;YAC7B,KAAK,EAAE,gBAAgB;YACvB,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE;YAChD,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,OAAO,GAAG;YACd,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YAC9D,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SAC/D,CAAC;QACF,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE;YAClC,KAAK,EAAE,gBAAgB;YACvB,QAAQ;YACR,kBAAkB,EAAE,CAAC;YACrB,KAAK,EAAE,sBAAsB;SAC9B,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,QAAQ,GAAgB;YAC5B,aAAa,EAAE,CAAC;YAChB,KAAK,EAAE,sBAAsB;YAC7B,KAAK,EAAE,gBAAgB;YACvB,MAAM,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE;YACnD,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAClD,OAAO,CACL,KAAK,CAAC,EAAE,EACR,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EACrC,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CACxB,CACF,CAAC;QACF,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE;YAClC,KAAK,EAAE,gBAAgB;YACvB,QAAQ;YACR,kBAAkB,EAAE,CAAC;YACrB,KAAK,EAAE,sBAAsB;SAC9B,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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

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

@@ -0,0 +1,94 @@
+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 { execSync } from 'node:child_process';
+import { createRunBestOfN, promoteWinnerPatch, } from '../best-of-n/runner.js';
+import { createWorktree } from '../best-of-n/worktree.js';
+function runGit(cwd, args) {
+    execSync(`git ${args}`, { cwd, stdio: 'pipe' });
+}
+function passResult(taskId, score) {
+    return {
+        taskId,
+        passed: true,
+        aspects: [
+            { aspect: 'test', verdict: 'PASS', reason: 'ok', durationMs: 1 },
+            { aspect: 'mutation', verdict: 'PASS', score, reason: 'ok', durationMs: 1 },
+        ],
+        mutationScore: score,
+        durationMs: 5,
+    };
+}
+describe('runBestOfN', () => {
+    let repoRoot;
+    beforeEach(async () => {
+        repoRoot = await fs.mkdtemp(path.join(os.tmpdir(), 'dare-bon-'));
+        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'), '# base\n');
+        runGit(repoRoot, 'add README.md');
+        runGit(repoRoot, 'commit -m "init"');
+    });
+    afterEach(async () => {
+        await fs.remove(repoRoot).catch(() => undefined);
+    });
+    it('should_select_winner_and_cleanup_worktrees', async () => {
+        const removed = [];
+        const runBestOfN = createRunBestOfN({
+            runVerification: vi.fn(async () => passResult('task-bon', 0.5)),
+            promoteWinner: vi.fn(async () => undefined),
+            removeWorktree: vi.fn(async (_root, wt) => {
+                removed.push(wt.id);
+            }),
+        });
+        const fillCandidate = vi.fn(async (wt) => {
+            const file = path.join(repoRoot, wt.path, 'cand.txt');
+            await fs.ensureDir(path.dirname(file));
+            await fs.writeFile(file, wt.id);
+        });
+        const { winner, discarded } = await runBestOfN({
+            taskId: 'task-bon',
+            repoRoot,
+            n: 2,
+            stack: 'node-nestjs',
+            config: {
+                enabled: false,
+                mutation: {
+                    enabled: true,
+                    minScore: 0.7,
+                    incremental: true,
+                    maxMutants: 200,
+                    timeoutSeconds: 900,
+                },
+                failToPass: { required: false },
+                antiTamper: { enabled: false },
+                typeCheck: { enabled: false },
+                loop: {
+                    policy: 'decay',
+                    maxAttempts: 5,
+                    saturationWindow: 3,
+                    onSaturation: 'fresh-start',
+                },
+                bestOfN: { default: 1, max: 5, budgetTokens: null },
+                prerank: { enabled: false },
+            },
+            fillCandidate,
+        });
+        expect(winner.id).toBeDefined();
+        expect(discarded.length).toBe(1);
+        expect(fillCandidate).toHaveBeenCalledTimes(2);
+        expect(removed.length).toBe(2);
+    });
+    it('should_promote_winner_patch_to_main', async () => {
+        const wt = await createWorktree(repoRoot, 'cand-1');
+        const wtCwd = path.join(repoRoot, wt.path);
+        await fs.writeFile(path.join(wtCwd, 'winner.txt'), 'picked\n');
+        runGit(wtCwd, 'add winner.txt');
+        runGit(wtCwd, 'commit -m "candidate change"');
+        await promoteWinnerPatch(repoRoot, wt);
+        expect(await fs.pathExists(path.join(repoRoot, 'winner.txt'))).toBe(true);
+    });
+});
+//# sourceMappingURL=best-of-n-runner.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"best-of-n-runner.test.js","sourceRoot":"","sources":["../../../src/verification/__tests__/best-of-n-runner.test.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,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EACL,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,cAAc,EAAiB,MAAM,0BAA0B,CAAC;AAGzE,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,SAAS,UAAU,CAAC,MAAc,EAAE,KAAa;IAC/C,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,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE;SAC5E;QACD,aAAa,EAAE,KAAK;QACpB,UAAU,EAAE,CAAC;KACd,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,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,WAAW,CAAC,CAAC,CAAC;QACjE,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,UAAU,CAAC,CAAC;QACjE,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,4CAA4C,EAAE,KAAK,IAAI,EAAE;QAC1D,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,gBAAgB,CAAC;YAClC,eAAe,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC/D,aAAa,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS,CAAC;YAC3C,cAAc,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE;gBACxC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACtB,CAAC,CAAC;SACH,CAAC,CAAC;QAEH,MAAM,aAAa,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,EAAY,EAAE,EAAE;YACjD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACtD,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;YACvC,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,UAAU,CAAC;YAC7C,MAAM,EAAE,UAAU;YAClB,QAAQ;YACR,CAAC,EAAE,CAAC;YACJ,KAAK,EAAE,aAAa;YACpB,MAAM,EAAE;gBACN,OAAO,EAAE,KAAK;gBACd,QAAQ,EAAE;oBACR,OAAO,EAAE,IAAI;oBACb,QAAQ,EAAE,GAAG;oBACb,WAAW,EAAE,IAAI;oBACjB,UAAU,EAAE,GAAG;oBACf,cAAc,EAAE,GAAG;iBACpB;gBACD,UAAU,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE;gBAC/B,UAAU,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC9B,SAAS,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;gBAC7B,IAAI,EAAE;oBACJ,MAAM,EAAE,OAAO;oBACf,WAAW,EAAE,CAAC;oBACd,gBAAgB,EAAE,CAAC;oBACnB,YAAY,EAAE,aAAa;iBAC5B;gBACD,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE;gBACnD,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;aAC5B;YACD,aAAa;SACd,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,aAAa,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;QACnD,MAAM,EAAE,GAAG,MAAM,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE,UAAU,CAAC,CAAC;QAC/D,MAAM,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,EAAE,8BAA8B,CAAC,CAAC;QAE9C,MAAM,kBAAkB,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAEvC,MAAM,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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

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

@@ -0,0 +1,50 @@
+import { describe, it, expect } from 'vitest';
+import { DEFAULTS, parseVerificationConfig, VerificationConfigError, } from '../config.js';
+describe('parseVerificationConfig', () => {
+    it('should_default_disabled_when_block_absent', () => {
+        expect(parseVerificationConfig({})).toEqual({
+            ...DEFAULTS,
+            enabled: false,
+        });
+        expect(parseVerificationConfig(undefined)).toEqual({
+            ...DEFAULTS,
+            enabled: false,
+        });
+    });
+    it('should_merge_partial_block', () => {
+        const cfg = parseVerificationConfig({
+            verification: {
+                enabled: true,
+                mutation: { minScore: 0.9 },
+            },
+        });
+        expect(cfg.enabled).toBe(true);
+        expect(cfg.mutation.minScore).toBe(0.9);
+        expect(cfg.mutation.incremental).toBe(DEFAULTS.mutation.incremental);
+        expect(cfg.loop.maxAttempts).toBe(DEFAULTS.loop.maxAttempts);
+    });
+    it('should_throw_on_invalid', () => {
+        expect(() => parseVerificationConfig({
+            verification: { mutation: { minScore: '70' } },
+        })).toThrow(VerificationConfigError);
+        try {
+            parseVerificationConfig({
+                verification: { mutation: { minScore: '70' } },
+            });
+        }
+        catch (err) {
+            expect(err).toBeInstanceOf(VerificationConfigError);
+            const issues = err.issues;
+            expect(issues[0]?.path).toBe('mutation.minScore');
+        }
+    });
+    it('should_reject_out_of_range', () => {
+        expect(() => parseVerificationConfig({
+            verification: { mutation: { minScore: 1.5 } },
+        })).toThrow(VerificationConfigError);
+        expect(() => parseVerificationConfig({
+            verification: { bestOfN: { default: 6, max: 3 } },
+        })).toThrow(VerificationConfigError);
+    });
+});
+//# sourceMappingURL=config.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"config.test.js","sourceRoot":"","sources":["../../../src/verification/__tests__/config.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,QAAQ,EACR,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,cAAc,CAAC;AAEtB,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,uBAAuB,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YAC1C,GAAG,QAAQ;YACX,OAAO,EAAE,KAAK;SACf,CAAC,CAAC;QACH,MAAM,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;YACjD,GAAG,QAAQ;YACX,OAAO,EAAE,KAAK;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG,uBAAuB,CAAC;YAClC,YAAY,EAAE;gBACZ,OAAO,EAAE,IAAI;gBACb,QAAQ,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE;aAC5B;SACF,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACrE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,EAAE,CACV,uBAAuB,CAAC;YACtB,YAAY,EAAE,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE;SAC/C,CAAC,CACH,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QAEnC,IAAI,CAAC;YACH,uBAAuB,CAAC;gBACtB,YAAY,EAAE,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE;aAC/C,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,uBAAuB,CAAC,CAAC;YACpD,MAAM,MAAM,GAAI,GAA+B,CAAC,MAAM,CAAC;YACvD,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,EAAE,CACV,uBAAuB,CAAC;YACtB,YAAY,EAAE,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE;SAC9C,CAAC,CACH,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;QAEnC,MAAM,CAAC,GAAG,EAAE,CACV,uBAAuB,CAAC;YACtB,YAAY,EAAE,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;SAClD,CAAC,CACH,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/verification/__tests__/decay-policy.test.d.ts

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

package/dist/verification/__tests__/decay-policy.test.d.ts.map

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

package/dist/verification/__tests__/decay-policy.test.js

@@ -0,0 +1,130 @@
+import { describe, it, expect } from 'vitest';
+import { decideNextAction, isSaturated } from '../decay/policy.js';
+const loopBase = {
+    policy: 'decay',
+    maxAttempts: 5,
+    saturationWindow: 3,
+    onSaturation: 'fresh-start',
+};
+function attempt(n, passed, signature) {
+    return {
+        n,
+        at: `2026-06-04T10:0${n}:00Z`,
+        passed,
+        failureSignature: passed ? undefined : signature,
+        failedAspect: passed ? undefined : 'test',
+    };
+}
+describe('isSaturated', () => {
+    it('should_require_exact_window_with_same_signature', () => {
+        const history = [
+            attempt(1, false, 'abc12345'),
+            attempt(2, false, 'abc12345'),
+        ];
+        expect(isSaturated(history, 3)).toBe(false);
+        expect(isSaturated([...history, attempt(3, false, 'abc12345')], 3)).toBe(true);
+    });
+    it('should_not_saturate_when_signatures_differ', () => {
+        const history = [
+            attempt(1, false, 'aaaa1111'),
+            attempt(2, false, 'bbbb2222'),
+            attempt(3, false, 'aaaa1111'),
+        ];
+        expect(isSaturated(history, 3)).toBe(false);
+    });
+});
+describe('decideNextAction', () => {
+    it('should_return_DONE_when_passed', () => {
+        const current = attempt(2, true);
+        const verdict = decideNextAction({
+            result: { passed: true },
+            current,
+            history: [attempt(1, false, 'sig'), current],
+            loop: loopBase,
+        });
+        expect(verdict.action).toBe('DONE');
+        expect(verdict.reason).toBe('verification passed');
+    });
+    it('should_ESCALATE_at_max_attempts', () => {
+        const current = attempt(5, false, 'deadbeef');
+        const verdict = decideNextAction({
+            result: { passed: false, failedAspect: 'test' },
+            current,
+            history: Array.from({ length: 5 }, (_, i) => attempt(i + 1, false, 'deadbeef')),
+            loop: loopBase,
+        });
+        expect(verdict.action).toBe('ESCALATE');
+        expect(verdict.reason).toBe('max attempts reached');
+    });
+    it('should_FRESH_START_on_saturation', () => {
+        const history = [
+            attempt(1, false, 'cafebabe'),
+            attempt(2, false, 'cafebabe'),
+            attempt(3, false, 'cafebabe'),
+        ];
+        const current = history[2];
+        const verdict = decideNextAction({
+            result: { passed: false },
+            current,
+            history,
+            loop: { ...loopBase, onSaturation: 'fresh-start' },
+        });
+        expect(verdict.action).toBe('FRESH_START');
+        expect(verdict.saturated).toBe(true);
+        expect(verdict.reason).toBe('failure saturation: fresh-start');
+    });
+    it('should_REPLAN_on_saturation', () => {
+        const history = [
+            attempt(1, false, '11111111'),
+            attempt(2, false, '11111111'),
+            attempt(3, false, '11111111'),
+        ];
+        const verdict = decideNextAction({
+            result: { passed: false },
+            current: history[2],
+            history,
+            loop: { ...loopBase, onSaturation: 'replan' },
+        });
+        expect(verdict.action).toBe('REPLAN');
+        expect(verdict.reason).toBe('failure saturation: replan');
+    });
+    it('should_ESCALATE_on_saturation_when_configured', () => {
+        const history = [
+            attempt(1, false, '22222222'),
+            attempt(2, false, '22222222'),
+            attempt(3, false, '22222222'),
+        ];
+        const verdict = decideNextAction({
+            result: { passed: false },
+            current: history[2],
+            history,
+            loop: { ...loopBase, onSaturation: 'escalate' },
+        });
+        expect(verdict.action).toBe('ESCALATE');
+        expect(verdict.reason).toBe('failure saturation: escalate');
+    });
+    it('should_CONTINUE_under_fixed_policy', () => {
+        const current = attempt(2, false, 'abcd0001');
+        const verdict = decideNextAction({
+            result: { passed: false },
+            current,
+            history: [attempt(1, false, 'abcd0002'), current],
+            loop: { ...loopBase, policy: 'fixed' },
+        });
+        expect(verdict.action).toBe('CONTINUE');
+        expect(verdict.reason).toBe('fixed policy: continue');
+        expect(verdict.saturated).toBe(false);
+    });
+    it('should_CONTINUE_when_not_saturated_decay', () => {
+        const current = attempt(2, false, 'sig-a');
+        const verdict = decideNextAction({
+            result: { passed: false },
+            current,
+            history: [attempt(1, false, 'sig-b'), current],
+            loop: loopBase,
+        });
+        expect(verdict.action).toBe('CONTINUE');
+        expect(verdict.reason).toBe('decay policy: continue');
+    });
+});
+//# sourceMappingURL=decay-policy.test.js.map