@dewtech/dare-cli 3.2.0 → 3.3.0

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"decay-policy.test.js","sourceRoot":"","sources":["../../../src/verification/__tests__/decay-policy.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAGnE,MAAM,QAAQ,GAAe;IAC3B,MAAM,EAAE,OAAO;IACf,WAAW,EAAE,CAAC;IACd,gBAAgB,EAAE,CAAC;IACnB,YAAY,EAAE,aAAa;CAC5B,CAAC;AAEF,SAAS,OAAO,CACd,CAAS,EACT,MAAe,EACf,SAAkB;IAElB,OAAO;QACL,CAAC;QACD,EAAE,EAAE,kBAAkB,CAAC,MAAM;QAC7B,MAAM;QACN,gBAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;QAChD,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;KAC1C,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,OAAO,GAAG;YACd,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;YAC7B,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;SAC9B,CAAC;QACF,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CACtE,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,OAAO,GAAG;YACd,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;YAC7B,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;YAC7B,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;SAC9B,CAAC;QACF,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,gBAAgB,CAAC;YAC/B,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;YACxB,OAAO;YACP,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,OAAO,CAAC;YAC5C,IAAI,EAAE,QAAQ;SACf,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,gBAAgB,CAAC;YAC/B,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE;YAC/C,OAAO;YACP,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC1C,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAClC;YACD,IAAI,EAAE,QAAQ;SACf,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,OAAO,GAAG;YACd,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;YAC7B,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;YAC7B,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;SAC9B,CAAC;QACF,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,gBAAgB,CAAC;YAC/B,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE;YACzB,OAAO;YACP,OAAO;YACP,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,YAAY,EAAE,aAAa,EAAE;SACnD,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC3C,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,OAAO,GAAG;YACd,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;YAC7B,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;YAC7B,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;SAC9B,CAAC;QACF,MAAM,OAAO,GAAG,gBAAgB,CAAC;YAC/B,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE;YACzB,OAAO,EAAE,OAAO,CAAC,CAAC,CAAE;YACpB,OAAO;YACP,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE;SAC9C,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,OAAO,GAAG;YACd,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;YAC7B,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;YAC7B,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC;SAC9B,CAAC;QACF,MAAM,OAAO,GAAG,gBAAgB,CAAC;YAC/B,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE;YACzB,OAAO,EAAE,OAAO,CAAC,CAAC,CAAE;YACpB,OAAO;YACP,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE;SAChD,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,gBAAgB,CAAC;YAC/B,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE;YACzB,OAAO;YACP,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,EAAE,OAAO,CAAC;YACjD,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE;SACvC,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACtD,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,gBAAgB,CAAC;YAC/B,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE;YACzB,OAAO;YACP,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC;YAC9C,IAAI,EAAE,QAAQ;SACf,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/verification/__tests__/fail-to-pass.test.d.ts

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

package/dist/verification/__tests__/fail-to-pass.test.d.ts.map

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

package/dist/verification/__tests__/fail-to-pass.test.js

@@ -0,0 +1,107 @@
+import { describe, it, expect, beforeEach, afterEach, vi } from 'vitest';
+import fs from 'fs-extra';
+import path from 'node:path';
+import os from 'node:os';
+import * as safeSpawnMod from '../../exec/safe-spawn.js';
+import { recordFailToPassBaseline, checkFailToPass, testCommandFor, } from '../gates/fail-to-pass.js';
+const FAIL_JSON = JSON.stringify({
+    testResults: [
+        {
+            name: 'fail-to-pass.fixture.test.ts',
+            assertionResults: [
+                { fullName: 'should fail before impl', status: 'failed' },
+            ],
+        },
+    ],
+});
+const PASS_JSON = JSON.stringify({
+    testResults: [
+        {
+            name: 'fail-to-pass.fixture.test.ts',
+            assertionResults: [
+                { fullName: 'should fail before impl', status: 'passed' },
+            ],
+        },
+    ],
+});
+const GIT_OK = {
+    code: 0,
+    stdout: 'abc123\n',
+    stderr: '',
+    timedOut: false,
+};
+function mockSafeSpawn(...testRuns) {
+    let idx = 0;
+    vi.spyOn(safeSpawnMod, 'safeSpawn').mockImplementation(async (command) => {
+        if (command === 'git')
+            return GIT_OK;
+        const run = testRuns[idx++] ?? testRuns[testRuns.length - 1];
+        return {
+            code: run.code,
+            stdout: run.stdout,
+            stderr: run.stderr ?? '',
+            timedOut: false,
+        };
+    });
+}
+describe('fail-to-pass', () => {
+    let cwd;
+    const taskId = 'task-ftptest';
+    const specRel = 'fail-to-pass.fixture.test.ts';
+    beforeEach(async () => {
+        cwd = await fs.mkdtemp(path.join(os.tmpdir(), 'dare-ftp-'));
+        await fs.writeJson(path.join(cwd, 'dare.config.json'), {
+            structure: 'mcp-server',
+            mcpLanguage: 'node-ts',
+        });
+        await fs.writeFile(path.join(cwd, specRel), '// fixture\n');
+        vi.restoreAllMocks();
+    });
+    afterEach(async () => {
+        vi.restoreAllMocks();
+        await fs.remove(cwd).catch(() => undefined);
+    });
+    it('should_record_allFailed_baseline', async () => {
+        mockSafeSpawn({ code: 1, stdout: FAIL_JSON });
+        const baseline = await recordFailToPassBaseline({
+            taskId,
+            cwd,
+            specGlob: specRel,
+        });
+        expect(baseline.allFailed).toBe(true);
+        expect(baseline.failed[0]).toContain('fail-to-pass.fixture.test.ts');
+        const stored = await fs.readJson(path.join(cwd, '.dare/verification', `${taskId}.json`));
+        expect(stored.failToPassBaseline.allFailed).toBe(true);
+    });
+    it('should_fail_when_baseline_missing', async () => {
+        const result = await checkFailToPass({ taskId, cwd });
+        expect(result.verdict).toBe('FAIL');
+        expect(result.reason).toBe('no baseline recorded');
+        expect(result.aspect).toBe('fail-to-pass');
+    });
+    it('should_pass_when_spec_passes_after_impl', async () => {
+        mockSafeSpawn({ code: 1, stdout: FAIL_JSON }, { code: 0, stdout: PASS_JSON });
+        await recordFailToPassBaseline({ taskId, cwd, specGlob: specRel });
+        const result = await checkFailToPass({ taskId, cwd });
+        expect(result.verdict).toBe('PASS');
+        expect(result.reason).toBe('all baseline tests now pass');
+    });
+    it('should_fail_if_some_still_failing', async () => {
+        mockSafeSpawn({ code: 1, stdout: FAIL_JSON }, { code: 1, stdout: FAIL_JSON });
+        await recordFailToPassBaseline({ taskId, cwd, specGlob: specRel });
+        const result = await checkFailToPass({ taskId, cwd });
+        expect(result.verdict).toBe('FAIL');
+        expect(result.reason).toContain('still failing');
+        expect(result.reason).toContain('should fail before impl');
+    });
+});
+describe('testCommandFor', () => {
+    it('maps node stack to vitest via npm exec', () => {
+        const cmd = testCommandFor('mcp-server-node-ts', 'x.test.ts');
+        expect(cmd.args).toContain('exec');
+        expect(cmd.args).toContain('vitest');
+        expect(cmd.args).toContain('x.test.ts');
+        expect(cmd.args).toContain('--reporter=json');
+    });
+});
+//# sourceMappingURL=fail-to-pass.test.js.map

package/dist/verification/__tests__/fail-to-pass.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fail-to-pass.test.js","sourceRoot":"","sources":["../../../src/verification/__tests__/fail-to-pass.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACzE,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,KAAK,YAAY,MAAM,0BAA0B,CAAC;AACzD,OAAO,EACL,wBAAwB,EACxB,eAAe,EACf,cAAc,GACf,MAAM,0BAA0B,CAAC;AAElC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/B,WAAW,EAAE;QACX;YACE,IAAI,EAAE,8BAA8B;YACpC,gBAAgB,EAAE;gBAChB,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,EAAE,QAAQ,EAAE;aAC1D;SACF;KACF;CACF,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/B,WAAW,EAAE;QACX;YACE,IAAI,EAAE,8BAA8B;YACpC,gBAAgB,EAAE;gBAChB,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,EAAE,QAAQ,EAAE;aAC1D;SACF;KACF;CACF,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,CAAC;IACP,MAAM,EAAE,UAAU;IAClB,MAAM,EAAE,EAAE;IACV,QAAQ,EAAE,KAAK;CAChB,CAAC;AAEF,SAAS,aAAa,CACpB,GAAG,QAID;IAEF,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,EAAE,CAAC,KAAK,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QACvE,IAAI,OAAO,KAAK,KAAK;YAAE,OAAO,MAAM,CAAC;QACrC,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC7D,OAAO;YACL,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,MAAM,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE;YACxB,QAAQ,EAAE,KAAK;SAChB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAI,GAAW,CAAC;IAChB,MAAM,MAAM,GAAG,cAAc,CAAC;IAC9B,MAAM,OAAO,GAAG,8BAA8B,CAAC;IAE/C,UAAU,CAAC,KAAK,IAAI,EAAE;QACpB,GAAG,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,WAAW,CAAC,CAAC,CAAC;QAC5D,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,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,cAAc,CAAC,CAAC;QAC5D,EAAE,CAAC,eAAe,EAAE,CAAC;IACvB,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,kCAAkC,EAAE,KAAK,IAAI,EAAE;QAChD,aAAa,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAE9C,MAAM,QAAQ,GAAG,MAAM,wBAAwB,CAAC;YAC9C,MAAM;YACN,GAAG;YACH,QAAQ,EAAE,OAAO;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,8BAA8B,CAAC,CAAC;QAErE,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,QAAQ,CAC9B,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,oBAAoB,EAAE,GAAG,MAAM,OAAO,CAAC,CACvD,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;QACjD,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,KAAK,IAAI,EAAE;QACvD,aAAa,CACX,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,EAC9B,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAC/B,CAAC;QAEF,MAAM,wBAAwB,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QACnE,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;QACjD,aAAa,CACX,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,EAC9B,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAC/B,CAAC;QAEF,MAAM,wBAAwB,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QACnE,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,cAAc,CAAC,oBAAoB,EAAE,WAAW,CAAC,CAAC;QAC9D,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/verification/__tests__/failure-signature.test.d.ts

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

package/dist/verification/__tests__/failure-signature.test.d.ts.map

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

package/dist/verification/__tests__/failure-signature.test.js

@@ -0,0 +1,40 @@
+import { describe, it, expect } from 'vitest';
+import { failureSignature } from '../decay/signature.js';
+describe('failureSignature', () => {
+    it('should_be_stable_across_paths_and_lines', () => {
+        const a = failureSignature({
+            failedAspect: 'test',
+            stderr: 'Error at /home/user/proj/src/foo.ts:42:10 TypeError',
+        });
+        const b = failureSignature({
+            failedAspect: 'test',
+            stderr: 'Error at C:\\Users\\proj\\src\\foo.ts:99:10 TypeError',
+        });
+        expect(a).toBe(b);
+    });
+    it('should_differ_for_different_errors', () => {
+        const a = failureSignature({
+            failedAspect: 'test',
+            stderr: 'TypeError: boom',
+        });
+        const b = failureSignature({
+            failedAspect: 'test',
+            stderr: 'AssertionError: expected 1',
+        });
+        expect(a).not.toBe(b);
+    });
+    it('should_be_8_hex', () => {
+        const sig = failureSignature({
+            failedAspect: 'mutation',
+            stderr: 'failed',
+        });
+        expect(sig).toMatch(/^[0-9a-f]{8}$/);
+    });
+    it('should_factor_in_aspect', () => {
+        const stderr = 'same error message';
+        const a = failureSignature({ failedAspect: 'test', stderr });
+        const b = failureSignature({ failedAspect: 'lint', stderr });
+        expect(a).not.toBe(b);
+    });
+});
+//# sourceMappingURL=failure-signature.test.js.map

package/dist/verification/__tests__/failure-signature.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"failure-signature.test.js","sourceRoot":"","sources":["../../../src/verification/__tests__/failure-signature.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzD,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,gBAAgB,CAAC;YACzB,YAAY,EAAE,MAAM;YACpB,MAAM,EAAE,qDAAqD;SAC9D,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,gBAAgB,CAAC;YACzB,YAAY,EAAE,MAAM;YACpB,MAAM,EAAE,uDAAuD;SAChE,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,gBAAgB,CAAC;YACzB,YAAY,EAAE,MAAM;YACpB,MAAM,EAAE,iBAAiB;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,gBAAgB,CAAC;YACzB,YAAY,EAAE,MAAM;YACpB,MAAM,EAAE,4BAA4B;SACrC,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,GAAG,GAAG,gBAAgB,CAAC;YAC3B,YAAY,EAAE,UAAU;YACxB,MAAM,EAAE,QAAQ;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,MAAM,GAAG,oBAAoB,CAAC;QACpC,MAAM,CAAC,GAAG,gBAAgB,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,gBAAgB,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC7D,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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

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

@@ -0,0 +1,23 @@
+import { describe, it, expect, vi, afterEach } from 'vitest';
+describe('logger', () => {
+    const prev = process.env.DARE_LOG_LEVEL;
+    afterEach(() => {
+        vi.resetModules();
+        if (prev === undefined)
+            delete process.env.DARE_LOG_LEVEL;
+        else
+            process.env.DARE_LOG_LEVEL = prev;
+    });
+    it('should_create_child_with_scope', async () => {
+        const { createLogger } = await import('../../utils/logger.js');
+        const child = createLogger('verification');
+        expect(child.bindings().scope).toBe('verification');
+    });
+    it('should_respect_level_env', async () => {
+        process.env.DARE_LOG_LEVEL = 'warn';
+        vi.resetModules();
+        const { createLogger } = await import('../../utils/logger.js');
+        expect(createLogger('test-level').level).toBe('warn');
+    });
+});
+//# sourceMappingURL=logger.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"logger.test.js","sourceRoot":"","sources":["../../../src/verification/__tests__/logger.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AAE7D,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;IAExC,SAAS,CAAC,GAAG,EAAE;QACb,EAAE,CAAC,YAAY,EAAE,CAAC;QAClB,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;;YACrD,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,IAAI,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,KAAK,IAAI,EAAE;QAC9C,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,CAAC;QAC/D,MAAM,KAAK,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,KAAK,IAAI,EAAE;QACxC,OAAO,CAAC,GAAG,CAAC,cAAc,GAAG,MAAM,CAAC;QACpC,EAAE,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,CAAC;QAC/D,MAAM,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/verification/__tests__/mutation-cargo-mutants.test.d.ts

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

package/dist/verification/__tests__/mutation-cargo-mutants.test.d.ts.map

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