@dewtech/dare-cli 3.2.0 → 3.4.0

package/dist/verification/gates/fail-to-pass.js

@@ -0,0 +1,173 @@
+import path from 'node:path';
+import fs from 'fs-extra';
+import { safeSpawn } from '../../exec/safe-spawn.js';
+import { npmInvoke } from '../../exec/npm-invoke.js';
+import { resolveStackFromConfig } from '../../dag-runner/ralph-loop.js';
+export class FailToPassMissingError extends Error {
+    constructor(taskId) {
+        super(`fail-to-pass baseline missing for task ${taskId}`);
+        this.name = 'FailToPassMissingError';
+        this.taskId = taskId;
+    }
+}
+const BASELINE_DIR = '.dare/verification';
+function artifactPath(cwd, taskId) {
+    return path.join(cwd, BASELINE_DIR, `${taskId}.json`);
+}
+export async function readVerificationArtifact(cwd, taskId) {
+    const file = artifactPath(cwd, taskId);
+    if (!(await fs.pathExists(file)))
+        return undefined;
+    return (await fs.readJson(file));
+}
+async function readArtifact(cwd, taskId) {
+    return readVerificationArtifact(cwd, taskId);
+}
+async function writeArtifact(cwd, taskId, patch) {
+    const file = artifactPath(cwd, taskId);
+    await fs.ensureDir(path.dirname(file));
+    const prev = (await readArtifact(cwd, taskId)) ?? {};
+    await fs.writeJson(file, { ...prev, ...patch }, { spaces: 2 });
+}
+async function gitHead(cwd) {
+    const result = await safeSpawn('git', ['rev-parse', 'HEAD'], {
+        cwd,
+        timeoutSeconds: 30,
+        maxChars: 200,
+    });
+    if (result.code === 0)
+        return result.stdout.trim();
+    return 'unknown';
+}
+/** Map stack → test runner argv for a spec glob/path. */
+export function testCommandFor(stack, specGlob) {
+    switch (stack) {
+        case 'node-nestjs':
+        case 'react':
+        case 'vue':
+        case 'mcp-server-node-ts':
+            return npmInvoke(['exec', 'vitest', 'run', specGlob, '--reporter=json']);
+        case 'python-fastapi':
+        case 'mcp-server-python':
+            return {
+                command: 'pytest',
+                args: [specGlob, '-q', '--tb=short'],
+            };
+        case 'rust-axum':
+        case 'rust-leptos':
+        case 'rust-leptos-csr':
+            return { command: 'cargo', args: ['test', '--quiet', specGlob] };
+        case 'php-laravel':
+            return { command: 'php', args: ['artisan', 'test', specGlob] };
+        case 'go-gin':
+        case 'go-stdlib':
+            return { command: 'go', args: ['test', specGlob] };
+        default:
+            throw new Error(`No fail-to-pass test runner for stack: ${stack}`);
+    }
+}
+function testId(file, name) {
+    return `${file}::${name}`;
+}
+function parseVitestJson(stdout) {
+    const passed = [];
+    const failed = [];
+    try {
+        const report = JSON.parse(stdout);
+        for (const fileResult of report.testResults ?? []) {
+            const file = fileResult.name ?? 'unknown';
+            for (const assertion of fileResult.assertionResults ?? []) {
+                const id = testId(file, assertion.fullName ?? 'unknown');
+                if (assertion.status === 'passed')
+                    passed.push(id);
+                else if (assertion.status === 'failed')
+                    failed.push(id);
+            }
+        }
+    }
+    catch {
+        // fallback: no structured results
+    }
+    return { passed, failed };
+}
+async function runSpecSuite(cwd, stack, specGlob) {
+    const { command, args } = testCommandFor(stack, specGlob);
+    const result = await safeSpawn(command, args, {
+        cwd,
+        timeoutSeconds: 300,
+        maxChars: 200000,
+    });
+    const { passed, failed } = parseVitestJson(result.stdout);
+    return {
+        exitCode: result.code,
+        passed,
+        failed,
+        stderr: result.stderr,
+    };
+}
+/**
+ * Record baseline: spec must fail entirely against pre-implementation code.
+ */
+export async function recordFailToPassBaseline(args) {
+    const stack = await resolveStackFromConfig(args.cwd);
+    const run = await runSpecSuite(args.cwd, stack, args.specGlob);
+    if (run.passed.length > 0) {
+        throw new Error(`fail-to-pass baseline requires all tests to fail; passed: ${run.passed.join(', ')}`);
+    }
+    if (run.failed.length === 0 && run.exitCode === 0) {
+        throw new Error('fail-to-pass baseline requires a failing spec (all tests must fail before implementation)');
+    }
+    const baseline = {
+        recordedAt: new Date().toISOString(),
+        ranAgainst: await gitHead(args.cwd),
+        failed: run.failed.length > 0 ? run.failed : [`${args.specGlob}::(suite)`],
+        allFailed: true,
+    };
+    await writeArtifact(args.cwd, args.taskId, {
+        specGlob: args.specGlob,
+        failToPassBaseline: baseline,
+    });
+    return baseline;
+}
+function failAspect(reason, durationMs = 0) {
+    return {
+        aspect: 'fail-to-pass',
+        verdict: 'FAIL',
+        reason,
+        durationMs,
+    };
+}
+function passAspect(reason, durationMs) {
+    return {
+        aspect: 'fail-to-pass',
+        verdict: 'PASS',
+        reason,
+        durationMs,
+    };
+}
+/**
+ * Verify fail-to-pass gate at task completion.
+ */
+export async function checkFailToPass(args) {
+    const start = Date.now();
+    const artifact = await readArtifact(args.cwd, args.taskId);
+    const baseline = artifact?.failToPassBaseline;
+    const specGlob = artifact?.specGlob;
+    if (!baseline || !specGlob) {
+        return failAspect('no baseline recorded');
+    }
+    const stack = await resolveStackFromConfig(args.cwd);
+    const run = await runSpecSuite(args.cwd, stack, specGlob);
+    const durationMs = Date.now() - start;
+    if (run.failed.length > 0) {
+        return failAspect(`tests still failing: ${run.failed.join(', ')}`, durationMs);
+    }
+    if (run.exitCode !== 0) {
+        return failAspect(`spec suite did not pass (exit ${run.exitCode})`, durationMs);
+    }
+    if (!baseline.allFailed) {
+        return failAspect('baseline was not allFailed', durationMs);
+    }
+    return passAspect('all baseline tests now pass', durationMs);
+}
+//# sourceMappingURL=fail-to-pass.js.map

package/dist/verification/gates/fail-to-pass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fail-to-pass.js","sourceRoot":"","sources":["../../../src/verification/gates/fail-to-pass.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAiBxE,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IAG/C,YAAY,MAAc;QACxB,KAAK,CAAC,0CAA0C,MAAM,EAAE,CAAC,CAAC;QAC1D,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAE1C,SAAS,YAAY,CAAC,GAAW,EAAE,MAAc;IAC/C,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,MAAM,OAAO,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,GAAW,EACX,MAAc;IAEd,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACnD,OAAO,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAyB,CAAC;AAC3D,CAAC;AAED,KAAK,UAAU,YAAY,CACzB,GAAW,EACX,MAAc;IAEd,OAAO,wBAAwB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;AAC/C,CAAC;AAED,KAAK,UAAU,aAAa,CAC1B,GAAW,EACX,MAAc,EACd,KAAoC;IAEpC,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACvC,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,CAAC,MAAM,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IACrD,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;AACjE,CAAC;AAED,KAAK,UAAU,OAAO,CAAC,GAAW;IAChC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE;QAC3D,GAAG;QACH,cAAc,EAAE,EAAE;QAClB,QAAQ,EAAE,GAAG;KACd,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACnD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,cAAc,CAC5B,KAAa,EACb,QAAgB;IAEhB,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,aAAa,CAAC;QACnB,KAAK,OAAO,CAAC;QACb,KAAK,KAAK,CAAC;QACX,KAAK,oBAAoB;YACvB,OAAO,SAAS,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAAC;QAC3E,KAAK,gBAAgB,CAAC;QACtB,KAAK,mBAAmB;YACtB,OAAO;gBACL,OAAO,EAAE,QAAQ;gBACjB,IAAI,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,YAAY,CAAC;aACrC,CAAC;QACJ,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,iBAAiB;YACpB,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;QACnE,KAAK,aAAa;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;QACjE,KAAK,QAAQ,CAAC;QACd,KAAK,WAAW;YACd,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC;QACrD;YACE,MAAM,IAAI,KAAK,CAAC,0CAA0C,KAAK,EAAE,CAAC,CAAC;IACvE,CAAC;AACH,CAAC;AAmBD,SAAS,MAAM,CAAC,IAAY,EAAE,IAAY;IACxC,OAAO,GAAG,IAAI,KAAK,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,eAAe,CAAC,MAAc;IACrC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAqB,CAAC;QACtD,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YAClD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,IAAI,SAAS,CAAC;YAC1C,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,gBAAgB,IAAI,EAAE,EAAE,CAAC;gBAC1D,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,CAAC;gBACzD,IAAI,SAAS,CAAC,MAAM,KAAK,QAAQ;oBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;qBAC9C,IAAI,SAAS,CAAC,MAAM,KAAK,QAAQ;oBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,kCAAkC;IACpC,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC;AAED,KAAK,UAAU,YAAY,CACzB,GAAW,EACX,KAAa,EACb,QAAgB;IAEhB,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE;QAC5C,GAAG;QACH,cAAc,EAAE,GAAG;QACnB,QAAQ,EAAE,MAAO;KAClB,CAAC,CAAC;IAEH,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1D,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,IAAI;QACrB,MAAM;QACN,MAAM;QACN,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,IAI9C;IACC,MAAM,KAAK,GAAG,MAAM,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAE/D,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACb,6DAA6D,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACrF,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,2FAA2F,CAC5F,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAuB;QACnC,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACpC,UAAU,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC;QACnC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,WAAW,CAAC;QAC1E,SAAS,EAAE,IAAI;KAChB,CAAC;IAEF,MAAM,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;QACzC,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,kBAAkB,EAAE,QAAQ;KAC7B,CAAC,CAAC;IAEH,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,UAAU,CAAC,MAAc,EAAE,UAAU,GAAG,CAAC;IAChD,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,OAAO,EAAE,MAAM;QACf,MAAM;QACN,UAAU;KACX,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,MAAc,EAAE,UAAkB;IACpD,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,OAAO,EAAE,MAAM;QACf,MAAM;QACN,UAAU;KACX,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAGrC;IACC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,QAAQ,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,QAAQ,EAAE,kBAAkB,CAAC;IAC9C,MAAM,QAAQ,GAAG,QAAQ,EAAE,QAAQ,CAAC;IAEpC,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC3B,OAAO,UAAU,CAAC,sBAAsB,CAAC,CAAC;IAC5C,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;IAEtC,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,UAAU,CACf,wBAAwB,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAC/C,UAAU,CACX,CAAC;IACJ,CAAC;IAED,IAAI,GAAG,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,UAAU,CACf,iCAAiC,GAAG,CAAC,QAAQ,GAAG,EAChD,UAAU,CACX,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;QACxB,OAAO,UAAU,CAAC,4BAA4B,EAAE,UAAU,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,UAAU,CAAC,6BAA6B,EAAE,UAAU,CAAC,CAAC;AAC/D,CAAC"}

package/dist/verification/gates/mutation/adapter.d.ts

@@ -0,0 +1,34 @@
+import type { MutationTool } from '../../types.js';
+export interface MutationRunInput {
+    readonly cwd: string;
+    readonly changedFiles: ReadonlyArray<string>;
+    readonly incremental: boolean;
+    readonly maxMutants: number;
+    readonly timeoutSeconds: number;
+}
+export interface MutationRunOutput {
+    /** killed/(killed+survived). NaN when no mutants — caller treats as SKIP. */
+    readonly score: number;
+    readonly killed: number;
+    readonly survived: number;
+    readonly noCoverage: number;
+    readonly timedOut: boolean;
+    readonly tool: MutationTool;
+}
+export interface MutationAdapter {
+    readonly tool: MutationTool;
+    readonly stacks: ReadonlyArray<string>;
+    isAvailable(cwd: string): Promise<boolean>;
+    run(input: MutationRunInput): Promise<MutationRunOutput>;
+}
+export declare class MutationToolNotFoundError extends Error {
+    readonly tool: MutationTool;
+    constructor(tool: MutationTool);
+}
+export declare class UnknownMutationStackError extends Error {
+    readonly stack: string;
+    constructor(stack: string);
+}
+/** Normalized mutation score for reporting gates. */
+export declare function mutationScore(output: MutationRunOutput): number;
+//# sourceMappingURL=adapter.d.ts.map

package/dist/verification/gates/mutation/adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../../../../src/verification/gates/mutation/adapter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAEnD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,iBAAiB;IAChC,6EAA6E;IAC7E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;CAC7B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC3C,GAAG,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;CAC1D;AAED,qBAAa,yBAA0B,SAAQ,KAAK;IAClD,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;gBAEhB,IAAI,EAAE,YAAY;CAK/B;AAED,qBAAa,yBAA0B,SAAQ,KAAK;IAClD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;gBAEX,KAAK,EAAE,MAAM;CAK1B;AAED,qDAAqD;AACrD,wBAAgB,aAAa,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAI/D"}

package/dist/verification/gates/mutation/adapter.js

@@ -0,0 +1,22 @@
+export class MutationToolNotFoundError extends Error {
+    constructor(tool) {
+        super(`Mutation tool not available: ${tool}`);
+        this.name = 'MutationToolNotFoundError';
+        this.tool = tool;
+    }
+}
+export class UnknownMutationStackError extends Error {
+    constructor(stack) {
+        super(`No mutation adapter registered for stack: ${stack}`);
+        this.name = 'UnknownMutationStackError';
+        this.stack = stack;
+    }
+}
+/** Normalized mutation score for reporting gates. */
+export function mutationScore(output) {
+    const denom = output.killed + output.survived;
+    if (denom === 0)
+        return Number.NaN;
+    return output.killed / denom;
+}
+//# sourceMappingURL=adapter.js.map

package/dist/verification/gates/mutation/adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../../../../src/verification/gates/mutation/adapter.ts"],"names":[],"mappings":"AA2BA,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IAGlD,YAAY,IAAkB;QAC5B,KAAK,CAAC,gCAAgC,IAAI,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;QACxC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AAED,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IAGlD,YAAY,KAAa;QACvB,KAAK,CAAC,6CAA6C,KAAK,EAAE,CAAC,CAAC;QAC5D,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;QACxC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;CACF;AAED,qDAAqD;AACrD,MAAM,UAAU,aAAa,CAAC,MAAyB;IACrD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC9C,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC;IACnC,OAAO,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC;AAC/B,CAAC"}

package/dist/verification/gates/mutation/cargo-mutants.d.ts

@@ -0,0 +1,28 @@
+import type { MutationAdapter, MutationRunInput, MutationRunOutput } from './adapter.js';
+export declare const OUTCOMES_REL: string;
+interface CargoMutantsSummary {
+    readonly caught?: number;
+    readonly missed?: number;
+    readonly unviable?: number;
+    readonly timeout?: number;
+}
+interface CargoMutantsOutcomeEntry {
+    readonly outcome?: string;
+}
+export interface CargoMutantsOutcomesFile {
+    readonly summary?: CargoMutantsSummary;
+    readonly outcomes?: ReadonlyArray<CargoMutantsOutcomeEntry>;
+    readonly caught?: number;
+    readonly missed?: number;
+    readonly unviable?: number;
+    readonly timeout?: number;
+}
+/** Parse `mutants.out/outcomes.json` into normalized output. */
+export declare function parseCargoMutantsReport(report: CargoMutantsOutcomesFile, timedOut?: boolean): MutationRunOutput;
+/** Build `cargo mutants` argv (exported for tests). */
+export declare function buildCargoMutantsArgv(input: MutationRunInput, inDiffPath?: string): string[];
+export declare const cargoMutantsAdapter: MutationAdapter;
+/** Registry export (task-030). */
+export declare const adapter: MutationAdapter;
+export {};
+//# sourceMappingURL=cargo-mutants.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"cargo-mutants.d.ts","sourceRoot":"","sources":["../../../../src/verification/gates/mutation/cargo-mutants.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EAClB,MAAM,cAAc,CAAC;AAMtB,eAAO,MAAM,YAAY,QAA4C,CAAC;AAMtE,UAAU,mBAAmB;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,UAAU,wBAAwB;IAChC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,OAAO,CAAC,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,wBAAwB,CAAC,CAAC;IAC5D,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AA2BD,gEAAgE;AAChE,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,wBAAwB,EAChC,QAAQ,UAAQ,GACf,iBAAiB,CAwCnB;AAED,uDAAuD;AACvD,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,gBAAgB,EACvB,UAAU,CAAC,EAAE,MAAM,GAClB,MAAM,EAAE,CAaV;AAwDD,eAAO,MAAM,mBAAmB,EAAE,eA8CjC,CAAC;AAEF,kCAAkC;AAClC,eAAO,MAAM,OAAO,iBAAsB,CAAC"}

package/dist/verification/gates/mutation/cargo-mutants.js

@@ -0,0 +1,170 @@
+import path from 'node:path';
+import fs from 'fs-extra';
+import { safeSpawn } from '../../../exec/safe-spawn.js';
+import { MutationToolNotFoundError, mutationScore, } from './adapter.js';
+export const OUTCOMES_REL = path.join('mutants.out', 'outcomes.json');
+const IN_DIFF_REL = path.join('.dare', 'mutation-in-diff.patch');
+const MIN_CARGO_MUTANTS_VERSION = [25, 0, 0];
+const RS_EXT = /\.rs$/i;
+function parseVersionTuple(text) {
+    const match = text.match(/(\d+)\.(\d+)\.(\d+)/);
+    if (!match)
+        return null;
+    return [Number(match[1]), Number(match[2]), Number(match[3])];
+}
+function versionGte(version, minimum) {
+    for (let i = 0; i < 3; i += 1) {
+        if (version[i] > minimum[i])
+            return true;
+        if (version[i] < minimum[i])
+            return false;
+    }
+    return true;
+}
+function classifyOutcome(raw) {
+    const status = raw.toLowerCase();
+    if (status === 'caught' || status === 'timeout')
+        return 'killed';
+    if (status === 'missed')
+        return 'survived';
+    if (status === 'unviable')
+        return 'noCoverage';
+    return null;
+}
+/** Parse `mutants.out/outcomes.json` into normalized output. */
+export function parseCargoMutantsReport(report, timedOut = false) {
+    let killed = 0;
+    let survived = 0;
+    let noCoverage = 0;
+    if (report.summary) {
+        killed =
+            (report.summary.caught ?? 0) + (report.summary.timeout ?? 0);
+        survived = report.summary.missed ?? 0;
+        noCoverage = report.summary.unviable ?? 0;
+    }
+    else if (report.outcomes?.length) {
+        for (const entry of report.outcomes) {
+            const kind = classifyOutcome(entry.outcome ?? '');
+            if (kind === 'killed')
+                killed += 1;
+            else if (kind === 'survived')
+                survived += 1;
+            else if (kind === 'noCoverage')
+                noCoverage += 1;
+        }
+    }
+    else {
+        killed = (report.caught ?? 0) + (report.timeout ?? 0);
+        survived = report.missed ?? 0;
+        noCoverage = report.unviable ?? 0;
+    }
+    const output = {
+        killed,
+        survived,
+        noCoverage,
+        timedOut,
+        tool: 'cargo-mutants',
+        score: mutationScore({
+            killed,
+            survived,
+            noCoverage,
+            timedOut,
+            tool: 'cargo-mutants',
+            score: 0,
+        }),
+    };
+    return output;
+}
+/** Build `cargo mutants` argv (exported for tests). */
+export function buildCargoMutantsArgv(input, inDiffPath) {
+    const argv = [
+        'mutants',
+        '--json',
+        '--timeout',
+        String(input.timeoutSeconds),
+    ];
+    if (input.incremental && inDiffPath) {
+        argv.push('--in-diff', inDiffPath);
+    }
+    return argv;
+}
+function diffPaths(changedFiles) {
+    const rustFiles = [
+        ...new Set(changedFiles.filter((f) => RS_EXT.test(f))),
+    ];
+    return rustFiles.length > 0 ? rustFiles : [...new Set(changedFiles)];
+}
+async function collectGitDiff(cwd, changedFiles) {
+    const paths = diffPaths(changedFiles);
+    if (paths.length === 0)
+        return null;
+    const result = await safeSpawn('git', ['diff', '--', ...paths], {
+        cwd,
+        timeoutSeconds: 60,
+        maxChars: 500000,
+    });
+    if (result.code !== 0 || !result.stdout.trim())
+        return null;
+    return result.stdout;
+}
+async function writeInDiffFile(cwd, diff) {
+    const abs = path.join(cwd, IN_DIFF_REL);
+    await fs.ensureDir(path.dirname(abs));
+    await fs.writeFile(abs, diff, 'utf8');
+    return IN_DIFF_REL;
+}
+async function probeCargoMutants(cwd) {
+    const result = await safeSpawn('cargo', ['mutants', '--version'], {
+        cwd,
+        timeoutSeconds: 30,
+        maxChars: 2000,
+    });
+    if (result.code !== 0)
+        return false;
+    const version = parseVersionTuple(`${result.stdout}\n${result.stderr}`);
+    if (!version)
+        return true;
+    return versionGte(version, MIN_CARGO_MUTANTS_VERSION);
+}
+async function readOutcomesReport(cwd) {
+    const reportPath = path.join(cwd, OUTCOMES_REL);
+    if (!(await fs.pathExists(reportPath))) {
+        return {};
+    }
+    return (await fs.readJson(reportPath));
+}
+export const cargoMutantsAdapter = {
+    tool: 'cargo-mutants',
+    stacks: ['rust-axum', 'rust-leptos', 'rust-leptos-csr'],
+    async isAvailable(cwd) {
+        return probeCargoMutants(cwd);
+    },
+    async run(input) {
+        if (!(await probeCargoMutants(input.cwd))) {
+            throw new MutationToolNotFoundError('cargo-mutants');
+        }
+        let inDiffPath;
+        if (input.incremental && input.changedFiles.length > 0) {
+            const diff = await collectGitDiff(input.cwd, input.changedFiles);
+            if (diff) {
+                inDiffPath = await writeInDiffFile(input.cwd, diff);
+            }
+        }
+        const spawnResult = await safeSpawn('cargo', buildCargoMutantsArgv(input, inDiffPath), {
+            cwd: input.cwd,
+            timeoutSeconds: input.timeoutSeconds,
+            maxChars: 8000,
+        });
+        const report = await readOutcomesReport(input.cwd);
+        const output = parseCargoMutantsReport(report, spawnResult.timedOut);
+        if (spawnResult.code !== 0 &&
+            !spawnResult.timedOut &&
+            output.killed + output.survived === 0) {
+            throw new Error(`cargo mutants exited with code ${spawnResult.code}: ${spawnResult.stderr.trim()}`);
+        }
+        return output;
+    },
+};
+/** Registry export (task-030). */
+export const adapter = cargoMutantsAdapter;
+//# sourceMappingURL=cargo-mutants.js.map

package/dist/verification/gates/mutation/cargo-mutants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cargo-mutants.js","sourceRoot":"","sources":["../../../../src/verification/gates/mutation/cargo-mutants.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAMxD,OAAO,EACL,yBAAyB,EACzB,aAAa,GACd,MAAM,cAAc,CAAC;AAEtB,MAAM,CAAC,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;AACtE,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,wBAAwB,CAAC,CAAC;AAEjE,MAAM,yBAAyB,GAAsC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAChF,MAAM,MAAM,GAAG,QAAQ,CAAC;AAsBxB,SAAS,iBAAiB,CAAC,IAAY;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IAChD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,UAAU,CACjB,OAAiC,EACjC,OAA0C;IAE1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACzC,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAC5C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,GAAW;IAClC,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;IACjC,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IACjE,IAAI,MAAM,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC;IAC3C,IAAI,MAAM,KAAK,UAAU;QAAE,OAAO,YAAY,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,uBAAuB,CACrC,MAAgC,EAChC,QAAQ,GAAG,KAAK;IAEhB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,MAAM;YACJ,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;QAC/D,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC;QACtC,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC;IAC5C,CAAC;SAAM,IAAI,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QACnC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAClD,IAAI,IAAI,KAAK,QAAQ;gBAAE,MAAM,IAAI,CAAC,CAAC;iBAC9B,IAAI,IAAI,KAAK,UAAU;gBAAE,QAAQ,IAAI,CAAC,CAAC;iBACvC,IAAI,IAAI,KAAK,YAAY;gBAAE,UAAU,IAAI,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;QACtD,QAAQ,GAAG,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;QAC9B,UAAU,GAAG,MAAM,CAAC,QAAQ,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,MAAM,MAAM,GAAsB;QAChC,MAAM;QACN,QAAQ;QACR,UAAU;QACV,QAAQ;QACR,IAAI,EAAE,eAAe;QACrB,KAAK,EAAE,aAAa,CAAC;YACnB,MAAM;YACN,QAAQ;YACR,UAAU;YACV,QAAQ;YACR,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,CAAC;SACT,CAAC;KACH,CAAC;IAEF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,uDAAuD;AACvD,MAAM,UAAU,qBAAqB,CACnC,KAAuB,EACvB,UAAmB;IAEnB,MAAM,IAAI,GAAG;QACX,SAAS;QACT,QAAQ;QACR,WAAW;QACX,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC;KAC7B,CAAC;IAEF,IAAI,KAAK,CAAC,WAAW,IAAI,UAAU,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,SAAS,CAAC,YAAmC;IACpD,MAAM,SAAS,GAAG;QAChB,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;KACvD,CAAC;IACF,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,KAAK,UAAU,cAAc,CAC3B,GAAW,EACX,YAAmC;IAEnC,MAAM,KAAK,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEpC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,EAAE;QAC9D,GAAG;QACH,cAAc,EAAE,EAAE;QAClB,QAAQ,EAAE,MAAO;KAClB,CAAC,CAAC;IAEH,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE;QAAE,OAAO,IAAI,CAAC;IAC5D,OAAO,MAAM,CAAC,MAAM,CAAC;AACvB,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,GAAW,EAAE,IAAY;IACtD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IACxC,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IACtC,MAAM,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACtC,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,GAAW;IAC1C,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,OAAO,EAAE,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE;QAChE,GAAG;QACH,cAAc,EAAE,EAAE;QAClB,QAAQ,EAAE,IAAI;KACf,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAEpC,MAAM,OAAO,GAAG,iBAAiB,CAAC,GAAG,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACxE,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,OAAO,UAAU,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC;AACxD,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,GAAW;IAEX,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;IAChD,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QACvC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAA6B,CAAC;AACrE,CAAC;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAoB;IAClD,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,CAAC,WAAW,EAAE,aAAa,EAAE,iBAAiB,CAAC;IAEvD,KAAK,CAAC,WAAW,CAAC,GAAW;QAC3B,OAAO,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,KAAuB;QAC/B,IAAI,CAAC,CAAC,MAAM,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,yBAAyB,CAAC,eAAe,CAAC,CAAC;QACvD,CAAC;QAED,IAAI,UAA8B,CAAC;QACnC,IAAI,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,GAAG,MAAM,cAAc,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;YACjE,IAAI,IAAI,EAAE,CAAC;gBACT,UAAU,GAAG,MAAM,eAAe,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;QAED,MAAM,WAAW,GAAG,MAAM,SAAS,CACjC,OAAO,EACP,qBAAqB,CAAC,KAAK,EAAE,UAAU,CAAC,EACxC;YACE,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,cAAc,EAAE,KAAK,CAAC,cAAc;YACpC,QAAQ,EAAE,IAAI;SACf,CACF,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,uBAAuB,CAAC,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC;QAErE,IACE,WAAW,CAAC,IAAI,KAAK,CAAC;YACtB,CAAC,WAAW,CAAC,QAAQ;YACrB,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,QAAQ,KAAK,CAAC,EACrC,CAAC;YACD,MAAM,IAAI,KAAK,CACb,kCAAkC,WAAW,CAAC,IAAI,KAAK,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CACnF,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC;AAEF,kCAAkC;AAClC,MAAM,CAAC,MAAM,OAAO,GAAG,mBAAmB,CAAC"}

package/dist/verification/gates/mutation/infection.d.ts

@@ -0,0 +1,28 @@
+import type { MutationAdapter, MutationRunInput, MutationRunOutput } from './adapter.js';
+export declare const INFECTION_REPORT_REL = "infection.json";
+interface InfectionStats {
+    readonly killedCount?: number;
+    readonly escapedCount?: number;
+    readonly notTestedCount?: number;
+    readonly timeOutCount?: number;
+    readonly errorCount?: number;
+}
+export interface InfectionReport {
+    readonly stats?: InfectionStats;
+    readonly killed?: ReadonlyArray<unknown> | number;
+    readonly escaped?: ReadonlyArray<unknown> | number;
+    readonly timeouted?: ReadonlyArray<unknown>;
+    readonly uncovered?: ReadonlyArray<unknown>;
+    readonly notCovered?: ReadonlyArray<unknown> | number;
+}
+/** Parse `infection.json` logger output into normalized output. */
+export declare function parseInfectionReport(report: InfectionReport, timedOut?: boolean): MutationRunOutput;
+/** Resolve Infection binary: project vendor first, then global. */
+export declare function resolveInfectionBin(cwd: string): string;
+/** Build Infection argv (exported for tests). */
+export declare function buildInfectionArgv(input: MutationRunInput): string[];
+export declare const infectionAdapter: MutationAdapter;
+/** Registry export (task-030). */
+export declare const adapter: MutationAdapter;
+export {};
+//# sourceMappingURL=infection.d.ts.map

package/dist/verification/gates/mutation/infection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"infection.d.ts","sourceRoot":"","sources":["../../../../src/verification/gates/mutation/infection.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EAClB,MAAM,cAAc,CAAC;AAMtB,eAAO,MAAM,oBAAoB,mBAAmB,CAAC;AAKrD,UAAU,cAAc;IACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC;IAClD,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC;IACnD,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IAC5C,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC;CACvD;AAuBD,mEAAmE;AACnE,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,eAAe,EACvB,QAAQ,UAAQ,GACf,iBAAiB,CAkDnB;AAMD,mEAAmE;AACnE,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAMvD;AAED,iDAAiD;AACjD,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,EAAE,CAcpE;AAwBD,eAAO,MAAM,gBAAgB,EAAE,eAmC9B,CAAC;AAEF,kCAAkC;AAClC,eAAO,MAAM,OAAO,iBAAmB,CAAC"}

package/dist/verification/gates/mutation/infection.js

@@ -0,0 +1,149 @@
+import path from 'node:path';
+import fs from 'fs-extra';
+import { safeSpawn } from '../../../exec/safe-spawn.js';
+import { MutationToolNotFoundError, mutationScore, } from './adapter.js';
+export const INFECTION_REPORT_REL = 'infection.json';
+const MIN_INFECTION_VERSION = [0, 29, 0];
+const PHP_EXT = /\.php$/i;
+function parseVersionTuple(text) {
+    const match = text.match(/(\d+)\.(\d+)\.(\d+)/);
+    if (!match)
+        return null;
+    return [Number(match[1]), Number(match[2]), Number(match[3])];
+}
+function versionGte(version, minimum) {
+    for (let i = 0; i < 3; i += 1) {
+        if (version[i] > minimum[i])
+            return true;
+        if (version[i] < minimum[i])
+            return false;
+    }
+    return true;
+}
+function arrayLen(value) {
+    return value?.length ?? 0;
+}
+/** Parse `infection.json` logger output into normalized output. */
+export function parseInfectionReport(report, timedOut = false) {
+    let killed = 0;
+    let survived = 0;
+    let noCoverage = 0;
+    if (report.stats) {
+        killed =
+            (report.stats.killedCount ?? 0) +
+                (report.stats.timeOutCount ?? 0) +
+                (report.stats.errorCount ?? 0);
+        survived = report.stats.escapedCount ?? 0;
+        noCoverage = report.stats.notTestedCount ?? 0;
+    }
+    else if (typeof report.killed === 'number') {
+        killed = report.killed;
+        survived =
+            typeof report.escaped === 'number' ? report.escaped : 0;
+        noCoverage =
+            typeof report.notCovered === 'number' ? report.notCovered : 0;
+    }
+    else {
+        killed =
+            arrayLen(Array.isArray(report.killed) ? report.killed : undefined) +
+                arrayLen(report.timeouted);
+        survived = arrayLen(Array.isArray(report.escaped) ? report.escaped : undefined);
+        noCoverage = arrayLen(report.uncovered);
+        if (noCoverage === 0) {
+            noCoverage = arrayLen(Array.isArray(report.notCovered) ? report.notCovered : undefined);
+        }
+    }
+    const output = {
+        killed,
+        survived,
+        noCoverage,
+        timedOut,
+        tool: 'infection',
+        score: mutationScore({
+            killed,
+            survived,
+            noCoverage,
+            timedOut,
+            tool: 'infection',
+            score: 0,
+        }),
+    };
+    return output;
+}
+function mutablePhpFiles(changedFiles) {
+    return [...new Set(changedFiles.filter((f) => PHP_EXT.test(f)))];
+}
+/** Resolve Infection binary: project vendor first, then global. */
+export function resolveInfectionBin(cwd) {
+    const winBat = path.join(cwd, 'vendor', 'bin', 'infection.bat');
+    const vendorBin = path.join(cwd, 'vendor', 'bin', 'infection');
+    if (fs.existsSync(winBat))
+        return winBat;
+    if (fs.existsSync(vendorBin))
+        return vendorBin;
+    return 'infection';
+}
+/** Build Infection argv (exported for tests). */
+export function buildInfectionArgv(input) {
+    const argv = [
+        '--only-covering-test-cases',
+        '--logger-json=infection.json',
+        '--no-progress',
+    ];
+    if (input.incremental) {
+        for (const file of mutablePhpFiles(input.changedFiles)) {
+            argv.push(`--filter=${file}`);
+        }
+    }
+    return argv;
+}
+async function probeInfection(cwd) {
+    const bin = resolveInfectionBin(cwd);
+    const result = await safeSpawn(bin, ['--version'], {
+        cwd,
+        timeoutSeconds: 30,
+        maxChars: 2000,
+    });
+    if (result.code !== 0)
+        return false;
+    const version = parseVersionTuple(`${result.stdout}\n${result.stderr}`);
+    if (!version)
+        return true;
+    return versionGte(version, MIN_INFECTION_VERSION);
+}
+async function readInfectionReport(cwd) {
+    const reportPath = path.join(cwd, INFECTION_REPORT_REL);
+    if (!(await fs.pathExists(reportPath))) {
+        return {};
+    }
+    return (await fs.readJson(reportPath));
+}
+export const infectionAdapter = {
+    tool: 'infection',
+    stacks: ['php-laravel'],
+    async isAvailable(cwd) {
+        return probeInfection(cwd);
+    },
+    async run(input) {
+        if (!(await probeInfection(input.cwd))) {
+            throw new MutationToolNotFoundError('infection');
+        }
+        const bin = resolveInfectionBin(input.cwd);
+        const spawnResult = await safeSpawn(bin, buildInfectionArgv(input), {
+            cwd: input.cwd,
+            timeoutSeconds: input.timeoutSeconds,
+            maxChars: 8000,
+        });
+        const report = await readInfectionReport(input.cwd);
+        const output = parseInfectionReport(report, spawnResult.timedOut);
+        if (spawnResult.code !== 0 &&
+            !spawnResult.timedOut &&
+            output.killed + output.survived === 0) {
+            throw new Error(`Infection exited with code ${spawnResult.code}: ${spawnResult.stderr.trim()}`);
+        }
+        return output;
+    },
+};
+/** Registry export (task-030). */
+export const adapter = infectionAdapter;
+//# sourceMappingURL=infection.js.map

package/dist/verification/gates/mutation/infection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"infection.js","sourceRoot":"","sources":["../../../../src/verification/gates/mutation/infection.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAMxD,OAAO,EACL,yBAAyB,EACzB,aAAa,GACd,MAAM,cAAc,CAAC;AAEtB,MAAM,CAAC,MAAM,oBAAoB,GAAG,gBAAgB,CAAC;AAErD,MAAM,qBAAqB,GAAsC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AAC5E,MAAM,OAAO,GAAG,SAAS,CAAC;AAmB1B,SAAS,iBAAiB,CAAC,IAAY;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IAChD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,UAAU,CACjB,OAAiC,EACjC,OAA0C;IAE1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACzC,IAAI,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAC5C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,KAAyC;IACzD,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,oBAAoB,CAClC,MAAuB,EACvB,QAAQ,GAAG,KAAK;IAEhB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,MAAM;YACJ,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC,CAAC;gBAC/B,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,IAAI,CAAC,CAAC;gBAChC,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC;QACjC,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,IAAI,CAAC,CAAC;QAC1C,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,IAAI,CAAC,CAAC;IAChD,CAAC;SAAM,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC7C,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QACvB,QAAQ;YACN,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,UAAU;YACR,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC;SAAM,CAAC;QACN,MAAM;YACJ,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;gBAClE,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC7B,QAAQ,GAAG,QAAQ,CACjB,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAC3D,CAAC;QACF,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;YACrB,UAAU,GAAG,QAAQ,CACnB,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CACjE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAsB;QAChC,MAAM;QACN,QAAQ;QACR,UAAU;QACV,QAAQ;QACR,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,aAAa,CAAC;YACnB,MAAM;YACN,QAAQ;YACR,UAAU;YACV,QAAQ;YACR,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC;SACT,CAAC;KACH,CAAC;IAEF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,eAAe,CAAC,YAAmC;IAC1D,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,mBAAmB,CAAC,GAAW;IAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;IAChE,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;IAC/D,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IACzC,IAAI,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,kBAAkB,CAAC,KAAuB;IACxD,MAAM,IAAI,GAAG;QACX,4BAA4B;QAC5B,8BAA8B;QAC9B,eAAe;KAChB,CAAC;IAEF,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtB,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;YACvD,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,GAAW;IACvC,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,EAAE;QACjD,GAAG;QACH,cAAc,EAAE,EAAE;QAClB,QAAQ,EAAE,IAAI;KACf,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAEpC,MAAM,OAAO,GAAG,iBAAiB,CAAC,GAAG,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IACxE,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,OAAO,UAAU,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC;AACpD,CAAC;AAED,KAAK,UAAU,mBAAmB,CAAC,GAAW;IAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;IACxD,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QACvC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAoB,CAAC;AAC5D,CAAC;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAoB;IAC/C,IAAI,EAAE,WAAW;IACjB,MAAM,EAAE,CAAC,aAAa,CAAC;IAEvB,KAAK,CAAC,WAAW,CAAC,GAAW;QAC3B,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,KAAuB;QAC/B,IAAI,CAAC,CAAC,MAAM,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,yBAAyB,CAAC,WAAW,CAAC,CAAC;QACnD,CAAC;QAED,MAAM,GAAG,GAAG,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3C,MAAM,WAAW,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,EAAE;YAClE,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,cAAc,EAAE,KAAK,CAAC,cAAc;YACpC,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC;QAElE,IACE,WAAW,CAAC,IAAI,KAAK,CAAC;YACtB,CAAC,WAAW,CAAC,QAAQ;YACrB,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,QAAQ,KAAK,CAAC,EACrC,CAAC;YACD,MAAM,IAAI,KAAK,CACb,8BAA8B,WAAW,CAAC,IAAI,KAAK,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAC/E,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC;AAEF,kCAAkC;AAClC,MAAM,CAAC,MAAM,OAAO,GAAG,gBAAgB,CAAC"}