@dewtech/dare-cli 3.2.0 → 3.3.0

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

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

@@ -0,0 +1,23 @@
+import type { MutationAdapter, MutationRunInput, MutationRunOutput } from './adapter.js';
+export declare const MUTMUT_CICD_STATS_REL: string;
+interface MutmutCicdStats {
+    readonly killed?: number;
+    readonly survived?: number;
+    readonly skipped?: number;
+    readonly timeout?: number;
+    readonly no_tests?: number;
+    readonly total?: number;
+}
+interface MutmutResultEntry {
+    readonly status?: string;
+}
+export type MutmutReport = MutmutCicdStats | ReadonlyArray<MutmutResultEntry>;
+/** Parse mutmut JSON report (`results --json` or cicd stats) into normalized output. */
+export declare function parseMutmutReport(report: MutmutReport, timedOut?: boolean): MutationRunOutput;
+/** Build argv for `mutmut run` (exported for tests). */
+export declare function buildMutmutArgv(input: MutationRunInput): string[];
+export declare const mutmutAdapter: MutationAdapter;
+/** Registry export (task-030). */
+export declare const adapter: MutationAdapter;
+export {};
+//# sourceMappingURL=mutmut.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"mutmut.d.ts","sourceRoot":"","sources":["../../../../src/verification/gates/mutation/mutmut.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EAClB,MAAM,cAAc,CAAC;AAMtB,eAAO,MAAM,qBAAqB,QAGjC,CAAC;AAKF,UAAU,eAAe;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,UAAU,iBAAiB;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,YAAY,GAAG,eAAe,GAAG,aAAa,CAAC,iBAAiB,CAAC,CAAC;AAwB9E,wFAAwF;AACxF,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,YAAY,EACpB,QAAQ,UAAQ,GACf,iBAAiB,CAoCnB;AAQD,wDAAwD;AACxD,wBAAgB,eAAe,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,EAAE,CAUjE;AAmDD,eAAO,MAAM,aAAa,EAAE,eAuC3B,CAAC;AAEF,kCAAkC;AAClC,eAAO,MAAM,OAAO,iBAAgB,CAAC"}

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

@@ -0,0 +1,148 @@
+import path from 'node:path';
+import fs from 'fs-extra';
+import { safeSpawn } from '../../../exec/safe-spawn.js';
+import { resolvePythonBin } from '../../../dag-runner/ralph-loop.js';
+import { MutationToolNotFoundError, mutationScore, } from './adapter.js';
+export const MUTMUT_CICD_STATS_REL = path.join('mutants', 'mutmut-cicd-stats.json');
+const MIN_MUTMUT_VERSION = [3, 2, 0];
+const PY_EXT = /\.py$/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 isKilledStatus(status) {
+    const normalized = status.toLowerCase();
+    return normalized === 'killed' || normalized === 'timeout';
+}
+/** Parse mutmut JSON report (`results --json` or cicd stats) into normalized output. */
+export function parseMutmutReport(report, timedOut = false) {
+    let killed = 0;
+    let survived = 0;
+    let noCoverage = 0;
+    if (Array.isArray(report)) {
+        for (const entry of report) {
+            const status = (entry.status ?? '').toLowerCase();
+            if (isKilledStatus(status))
+                killed += 1;
+            else if (status === 'survived')
+                survived += 1;
+            else if (status === 'no tests' || status === 'no_tests')
+                noCoverage += 1;
+        }
+    }
+    else {
+        const stats = report;
+        killed = (stats.killed ?? 0) + (stats.timeout ?? 0);
+        survived = stats.survived ?? 0;
+        noCoverage = stats.no_tests ?? 0;
+    }
+    const output = {
+        killed,
+        survived,
+        noCoverage,
+        timedOut,
+        tool: 'mutmut',
+        score: mutationScore({
+            killed,
+            survived,
+            noCoverage,
+            timedOut,
+            tool: 'mutmut',
+            score: 0,
+        }),
+    };
+    return output;
+}
+function mutableChangedFiles(changedFiles) {
+    return [...new Set(changedFiles.filter((f) => PY_EXT.test(f)))];
+}
+/** Build argv for `mutmut run` (exported for tests). */
+export function buildMutmutArgv(input) {
+    const argv = ['run'];
+    if (input.incremental) {
+        for (const file of mutableChangedFiles(input.changedFiles)) {
+            argv.push('--paths-to-mutate', file);
+        }
+    }
+    return argv;
+}
+async function probeMutmut(cwd) {
+    const bin = resolvePythonBin(cwd, 'mutmut');
+    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_MUTMUT_VERSION);
+}
+async function readMutmutReport(cwd, bin, timeoutSeconds) {
+    const resultsTimeout = Math.min(timeoutSeconds, 120);
+    const jsonResult = await safeSpawn(bin, ['results', '--json'], {
+        cwd,
+        timeoutSeconds: resultsTimeout,
+        maxChars: 500000,
+    });
+    if (jsonResult.code === 0 && jsonResult.stdout.trim()) {
+        try {
+            return JSON.parse(jsonResult.stdout);
+        }
+        catch {
+            // fall through to cicd stats
+        }
+    }
+    await safeSpawn(bin, ['export_cicd_stats'], {
+        cwd,
+        timeoutSeconds: resultsTimeout,
+        maxChars: 8000,
+    });
+    const statsPath = path.join(cwd, MUTMUT_CICD_STATS_REL);
+    if (await fs.pathExists(statsPath)) {
+        return (await fs.readJson(statsPath));
+    }
+    return { killed: 0, survived: 0, skipped: 0 };
+}
+export const mutmutAdapter = {
+    tool: 'mutmut',
+    stacks: ['python-fastapi', 'mcp-server-python'],
+    async isAvailable(cwd) {
+        return probeMutmut(cwd);
+    },
+    async run(input) {
+        if (!(await probeMutmut(input.cwd))) {
+            throw new MutationToolNotFoundError('mutmut');
+        }
+        const bin = resolvePythonBin(input.cwd, 'mutmut');
+        const spawnResult = await safeSpawn(bin, buildMutmutArgv(input), {
+            cwd: input.cwd,
+            timeoutSeconds: input.timeoutSeconds,
+            maxChars: 8000,
+        });
+        const report = await readMutmutReport(input.cwd, bin, input.timeoutSeconds);
+        const output = parseMutmutReport(report, spawnResult.timedOut);
+        if (spawnResult.code !== 0 &&
+            !spawnResult.timedOut &&
+            output.killed + output.survived === 0) {
+            throw new Error(`mutmut exited with code ${spawnResult.code}: ${spawnResult.stderr.trim()}`);
+        }
+        return output;
+    },
+};
+/** Registry export (task-030). */
+export const adapter = mutmutAdapter;
+//# sourceMappingURL=mutmut.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"mutmut.js","sourceRoot":"","sources":["../../../../src/verification/gates/mutation/mutmut.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAMrE,OAAO,EACL,yBAAyB,EACzB,aAAa,GACd,MAAM,cAAc,CAAC;AAEtB,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,IAAI,CAC5C,SAAS,EACT,wBAAwB,CACzB,CAAC;AAEF,MAAM,kBAAkB,GAAsC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACxE,MAAM,MAAM,GAAG,QAAQ,CAAC;AAiBxB,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,cAAc,CAAC,MAAc;IACpC,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACxC,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,SAAS,CAAC;AAC7D,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,iBAAiB,CAC/B,MAAoB,EACpB,QAAQ,GAAG,KAAK;IAEhB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;YAClD,IAAI,cAAc,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,CAAC,CAAC;iBACnC,IAAI,MAAM,KAAK,UAAU;gBAAE,QAAQ,IAAI,CAAC,CAAC;iBACzC,IAAI,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,UAAU;gBAAE,UAAU,IAAI,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAG,MAAyB,CAAC;QACxC,MAAM,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;QACpD,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC;QAC/B,UAAU,GAAG,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,MAAM,MAAM,GAAsB;QAChC,MAAM;QACN,QAAQ;QACR,UAAU;QACV,QAAQ;QACR,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,aAAa,CAAC;YACnB,MAAM;YACN,QAAQ;YACR,UAAU;YACV,QAAQ;YACR,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,CAAC;SACT,CAAC;KACH,CAAC;IAEF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,mBAAmB,CAC1B,YAAmC;IAEnC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,eAAe,CAAC,KAAuB;IACrD,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAErB,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtB,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;YAC3D,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,GAAW;IACpC,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC5C,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,kBAAkB,CAAC,CAAC;AACjD,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,GAAW,EACX,GAAW,EACX,cAAsB;IAEtB,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;IAErD,MAAM,UAAU,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE;QAC7D,GAAG;QACH,cAAc,EAAE,cAAc;QAC9B,QAAQ,EAAE,MAAO;KAClB,CAAC,CAAC;IAEH,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QACtD,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAiB,CAAC;QACvD,CAAC;QAAC,MAAM,CAAC;YACP,6BAA6B;QAC/B,CAAC;IACH,CAAC;IAED,MAAM,SAAS,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,EAAE;QAC1C,GAAG;QACH,cAAc,EAAE,cAAc;QAC9B,QAAQ,EAAE,IAAI;KACf,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,qBAAqB,CAAC,CAAC;IACxD,IAAI,MAAM,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,OAAO,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAoB,CAAC;IAC3D,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAoB;IAC5C,IAAI,EAAE,QAAQ;IACd,MAAM,EAAE,CAAC,gBAAgB,EAAE,mBAAmB,CAAC;IAE/C,KAAK,CAAC,WAAW,CAAC,GAAW;QAC3B,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,KAAuB;QAC/B,IAAI,CAAC,CAAC,MAAM,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACpC,MAAM,IAAI,yBAAyB,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;QAED,MAAM,GAAG,GAAG,gBAAgB,CAAC,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAClD,MAAM,WAAW,GAAG,MAAM,SAAS,CAAC,GAAG,EAAE,eAAe,CAAC,KAAK,CAAC,EAAE;YAC/D,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,cAAc,EAAE,KAAK,CAAC,cAAc;YACpC,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,gBAAgB,CACnC,KAAK,CAAC,GAAG,EACT,GAAG,EACH,KAAK,CAAC,cAAc,CACrB,CAAC;QACF,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC;QAE/D,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,2BAA2B,WAAW,CAAC,IAAI,KAAK,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAC5E,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC;AAEF,kCAAkC;AAClC,MAAM,CAAC,MAAM,OAAO,GAAG,aAAa,CAAC"}

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

@@ -0,0 +1,19 @@
+import type { MutationAdapter, MutationRunInput, MutationRunOutput } from './adapter.js';
+export declare const STRYKER_REPORT_REL: string;
+interface StrykerMutant {
+    readonly status?: string;
+}
+interface StrykerReport {
+    readonly files?: Record<string, {
+        readonly mutants?: ReadonlyArray<StrykerMutant>;
+    }>;
+}
+/** Parse Stryker JSON report (mutation-testing-report-schema) into normalized output. */
+export declare function parseStrykerReport(report: StrykerReport, timedOut?: boolean): MutationRunOutput;
+/** Build npm exec argv for `stryker run` (exported for tests). */
+export declare function buildStrykerArgv(input: MutationRunInput): string[];
+export declare const strykerAdapter: MutationAdapter;
+/** Registry export (task-030). */
+export declare const adapter: MutationAdapter;
+export {};
+//# sourceMappingURL=stryker.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"stryker.d.ts","sourceRoot":"","sources":["../../../../src/verification/gates/mutation/stryker.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EAClB,MAAM,cAAc,CAAC;AAMtB,eAAO,MAAM,kBAAkB,QAI9B,CAAC;AAIF,UAAU,aAAa;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,UAAU,aAAa;IACrB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CACrB,MAAM,EACN;QAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;KAAE,CACpD,CAAC;CACH;AAMD,yFAAyF;AACzF,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,aAAa,EACrB,QAAQ,UAAQ,GACf,iBAAiB,CA+BnB;AAQD,kEAAkE;AAClE,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,EAAE,CAelE;AAoBD,eAAO,MAAM,cAAc,EAAE,eA+B5B,CAAC;AAEF,kCAAkC;AAClC,eAAO,MAAM,OAAO,iBAAiB,CAAC"}

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

@@ -0,0 +1,103 @@
+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 { MutationToolNotFoundError, mutationScore, } from './adapter.js';
+export const STRYKER_REPORT_REL = path.join('reports', 'mutation', 'mutation.json');
+const MUTATABLE_EXT = /\.(tsx?|jsx?|mjs|cjs)$/i;
+function isKilledStatus(status) {
+    return status === 'Killed' || status === 'Timeout';
+}
+/** Parse Stryker JSON report (mutation-testing-report-schema) into normalized output. */
+export function parseStrykerReport(report, timedOut = false) {
+    let killed = 0;
+    let survived = 0;
+    let noCoverage = 0;
+    for (const file of Object.values(report.files ?? {})) {
+        for (const mutant of file.mutants ?? []) {
+            const status = mutant.status ?? '';
+            if (isKilledStatus(status))
+                killed += 1;
+            else if (status === 'Survived')
+                survived += 1;
+            else if (status === 'NoCoverage')
+                noCoverage += 1;
+        }
+    }
+    const output = {
+        killed,
+        survived,
+        noCoverage,
+        timedOut,
+        tool: 'stryker',
+        score: mutationScore({
+            killed,
+            survived,
+            noCoverage,
+            timedOut,
+            tool: 'stryker',
+            score: 0,
+        }),
+    };
+    return output;
+}
+function mutableChangedFiles(changedFiles) {
+    return changedFiles.filter((f) => MUTATABLE_EXT.test(f));
+}
+/** Build npm exec argv for `stryker run` (exported for tests). */
+export function buildStrykerArgv(input) {
+    const argv = ['exec', '--no', 'stryker', 'run', '--reporters', 'json'];
+    if (input.maxMutants > 0) {
+        argv.push('--maxMutants', String(input.maxMutants));
+    }
+    if (input.incremental) {
+        argv.push('--incremental');
+        for (const file of mutableChangedFiles(input.changedFiles)) {
+            argv.push('--mutate', file);
+        }
+    }
+    return argv;
+}
+async function probeStryker(cwd) {
+    const npm = npmInvoke(['exec', '--no', 'stryker', '--version']);
+    const result = await safeSpawn(npm.command, npm.args, {
+        cwd,
+        timeoutSeconds: 30,
+        maxChars: 2000,
+    });
+    return result.code === 0;
+}
+async function readStrykerReport(cwd) {
+    const reportPath = path.join(cwd, STRYKER_REPORT_REL);
+    if (!(await fs.pathExists(reportPath))) {
+        return { files: {} };
+    }
+    return (await fs.readJson(reportPath));
+}
+export const strykerAdapter = {
+    tool: 'stryker',
+    stacks: ['node-nestjs', 'react', 'vue', 'mcp-server-node-ts'],
+    async isAvailable(cwd) {
+        return probeStryker(cwd);
+    },
+    async run(input) {
+        if (!(await probeStryker(input.cwd))) {
+            throw new MutationToolNotFoundError('stryker');
+        }
+        const npm = npmInvoke(buildStrykerArgv(input));
+        const spawnResult = await safeSpawn(npm.command, npm.args, {
+            cwd: input.cwd,
+            timeoutSeconds: input.timeoutSeconds,
+            maxChars: 8000,
+        });
+        const report = await readStrykerReport(input.cwd);
+        const output = parseStrykerReport(report, spawnResult.timedOut);
+        if (spawnResult.code !== 0 && !spawnResult.timedOut && output.killed + output.survived === 0) {
+            throw new Error(`Stryker exited with code ${spawnResult.code}: ${spawnResult.stderr.trim()}`);
+        }
+        return output;
+    },
+};
+/** Registry export (task-030). */
+export const adapter = strykerAdapter;
+//# sourceMappingURL=stryker.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"stryker.js","sourceRoot":"","sources":["../../../../src/verification/gates/mutation/stryker.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAMxD,OAAO,EACL,yBAAyB,EACzB,aAAa,GACd,MAAM,cAAc,CAAC;AAEtB,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,IAAI,CACzC,SAAS,EACT,UAAU,EACV,eAAe,CAChB,CAAC;AAEF,MAAM,aAAa,GAAG,yBAAyB,CAAC;AAahD,SAAS,cAAc,CAAC,MAAc;IACpC,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,SAAS,CAAC;AACrD,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,kBAAkB,CAChC,MAAqB,EACrB,QAAQ,GAAG,KAAK;IAEhB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACrD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;YACnC,IAAI,cAAc,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,CAAC,CAAC;iBACnC,IAAI,MAAM,KAAK,UAAU;gBAAE,QAAQ,IAAI,CAAC,CAAC;iBACzC,IAAI,MAAM,KAAK,YAAY;gBAAE,UAAU,IAAI,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAsB;QAChC,MAAM;QACN,QAAQ;QACR,UAAU;QACV,QAAQ;QACR,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,aAAa,CAAC;YACnB,MAAM;YACN,QAAQ;YACR,UAAU;YACV,QAAQ;YACR,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,CAAC;SACT,CAAC;KACH,CAAC;IAEF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,mBAAmB,CAC1B,YAAmC;IAEnC,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,gBAAgB,CAAC,KAAuB;IACtD,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;IAEvE,IAAI,KAAK,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IACtD,CAAC;IAED,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtB,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC3B,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;YAC3D,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,GAAW;IACrC,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE;QACpD,GAAG;QACH,cAAc,EAAE,EAAE;QAClB,QAAQ,EAAE,IAAI;KACf,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,GAAW;IAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;IACtD,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QACvC,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IACvB,CAAC;IACD,OAAO,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAkB,CAAC;AAC1D,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAAoB;IAC7C,IAAI,EAAE,SAAS;IACf,MAAM,EAAE,CAAC,aAAa,EAAE,OAAO,EAAE,KAAK,EAAE,oBAAoB,CAAC;IAE7D,KAAK,CAAC,WAAW,CAAC,GAAW;QAC3B,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IAED,KAAK,CAAC,GAAG,CAAC,KAAuB;QAC/B,IAAI,CAAC,CAAC,MAAM,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,yBAAyB,CAAC,SAAS,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,GAAG,GAAG,SAAS,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;QAC/C,MAAM,WAAW,GAAG,MAAM,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE;YACzD,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,cAAc,EAAE,KAAK,CAAC,cAAc;YACpC,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC;QAEhE,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;YAC7F,MAAM,IAAI,KAAK,CACb,4BAA4B,WAAW,CAAC,IAAI,KAAK,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAC7E,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC;AAEF,kCAAkC;AAClC,MAAM,CAAC,MAAM,OAAO,GAAG,cAAc,CAAC"}

package/dist/verification/gates/type-check.d.ts

@@ -0,0 +1,11 @@
+import type { AspectResult } from '../types.js';
+export declare function typeCommandFor(stack: string, cwd: string): {
+    command: string;
+    args: string[];
+} | null;
+export declare function checkTypes(args: {
+    readonly stack: string;
+    readonly cwd: string;
+    readonly timeoutSeconds: number;
+}): Promise<AspectResult>;
+//# sourceMappingURL=type-check.d.ts.map

package/dist/verification/gates/type-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-check.d.ts","sourceRoot":"","sources":["../../../src/verification/gates/type-check.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhD,wBAAgB,cAAc,CAC5B,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,GACV;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAyB5C;AAcD,wBAAsB,UAAU,CAAC,IAAI,EAAE;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC,GAAG,OAAO,CAAC,YAAY,CAAC,CAgDxB"}

package/dist/verification/gates/type-check.js

@@ -0,0 +1,84 @@
+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 { resolvePythonBin } from '../../dag-runner/ralph-loop.js';
+export function typeCommandFor(stack, cwd) {
+    switch (stack) {
+        case 'node-nestjs':
+        case 'react':
+        case 'vue':
+        case 'mcp-server-node-ts': {
+            const npm = npmInvoke(['exec', 'tsc', '--noEmit']);
+            return { command: npm.command, args: npm.args };
+        }
+        case 'python-fastapi':
+        case 'mcp-server-python':
+            return {
+                command: resolvePythonBin(cwd, 'mypy'),
+                args: ['.'],
+            };
+        case 'php-laravel': {
+            const phpstan = path.join(cwd, 'vendor', 'bin', 'phpstan');
+            const phpstanBat = `${phpstan}.bat`;
+            if (fs.existsSync(phpstanBat))
+                return { command: phpstanBat, args: ['analyse'] };
+            if (fs.existsSync(phpstan))
+                return { command: phpstan, args: ['analyse'] };
+            return null;
+        }
+        default:
+            return null;
+    }
+}
+async function isToolPresent(command, cwd) {
+    const result = await safeSpawn(command, ['--version'], {
+        cwd,
+        timeoutSeconds: 15,
+        maxChars: 1000,
+    });
+    return result.code === 0;
+}
+export async function checkTypes(args) {
+    const start = Date.now();
+    const cmd = typeCommandFor(args.stack, args.cwd);
+    if (!cmd) {
+        return {
+            aspect: 'type',
+            verdict: 'SKIP',
+            reason: `no type-checker for ${args.stack}`,
+            durationMs: Date.now() - start,
+        };
+    }
+    if ((args.stack === 'python-fastapi' || args.stack === 'mcp-server-python') &&
+        !(await isToolPresent(cmd.command, args.cwd))) {
+        return {
+            aspect: 'type',
+            verdict: 'SKIP',
+            reason: 'mypy not available',
+            durationMs: Date.now() - start,
+        };
+    }
+    const result = await safeSpawn(cmd.command, cmd.args, {
+        cwd: args.cwd,
+        timeoutSeconds: args.timeoutSeconds,
+        maxChars: 4000,
+    });
+    const durationMs = Date.now() - start;
+    if (result.code === 0) {
+        return {
+            aspect: 'type',
+            verdict: 'PASS',
+            reason: 'type-check passed',
+            durationMs,
+        };
+    }
+    const detail = (result.stderr || result.stdout).trim().slice(0, 500);
+    return {
+        aspect: 'type',
+        verdict: 'FAIL',
+        reason: detail || `type-check failed (exit ${result.code})`,
+        durationMs,
+    };
+}
+//# sourceMappingURL=type-check.js.map

package/dist/verification/gates/type-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-check.js","sourceRoot":"","sources":["../../../src/verification/gates/type-check.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,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAGlE,MAAM,UAAU,cAAc,CAC5B,KAAa,EACb,GAAW;IAEX,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,aAAa,CAAC;QACnB,KAAK,OAAO,CAAC;QACb,KAAK,KAAK,CAAC;QACX,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;YACnD,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;QACD,KAAK,gBAAgB,CAAC;QACtB,KAAK,mBAAmB;YACtB,OAAO;gBACL,OAAO,EAAE,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC;gBACtC,IAAI,EAAE,CAAC,GAAG,CAAC;aACZ,CAAC;QACJ,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;YAC3D,MAAM,UAAU,GAAG,GAAG,OAAO,MAAM,CAAC;YACpC,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;gBAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;YACjF,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;gBAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3E,OAAO,IAAI,CAAC;QACd,CAAC;QACD;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,KAAK,UAAU,aAAa,CAC1B,OAAe,EACf,GAAW;IAEX,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC,EAAE;QACrD,GAAG;QACH,cAAc,EAAE,EAAE;QAClB,QAAQ,EAAE,IAAI;KACf,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAIhC;IACC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IAEjD,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO;YACL,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,uBAAuB,IAAI,CAAC,KAAK,EAAE;YAC3C,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAC/B,CAAC;IACJ,CAAC;IAED,IACE,CAAC,IAAI,CAAC,KAAK,KAAK,gBAAgB,IAAI,IAAI,CAAC,KAAK,KAAK,mBAAmB,CAAC;QACvE,CAAC,CAAC,MAAM,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAC7C,CAAC;QACD,OAAO;YACL,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,oBAAoB;YAC5B,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAC/B,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE;QACpD,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,QAAQ,EAAE,IAAI;KACf,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;IAEtC,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO;YACL,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,mBAAmB;YAC3B,UAAU;SACX,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACrE,OAAO;QACL,MAAM,EAAE,MAAM;QACd,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,MAAM,IAAI,2BAA2B,MAAM,CAAC,IAAI,GAAG;QAC3D,UAAU;KACX,CAAC;AACJ,CAAC"}

package/dist/verification/registry.d.ts

@@ -0,0 +1,6 @@
+import type { MutationAdapter } from './gates/mutation/adapter.js';
+/** Resolve mutation adapter for a project stack (lazy-loaded per tool). */
+export declare function adapterForStack(stack: string): Promise<MutationAdapter>;
+/** All registered mutation adapters (loads each tool at most once). */
+export declare function listMutationAdapters(): Promise<ReadonlyArray<MutationAdapter>>;
+//# sourceMappingURL=registry.d.ts.map

package/dist/verification/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/verification/registry.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AA+CnE,2EAA2E;AAC3E,wBAAsB,eAAe,CACnC,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,eAAe,CAAC,CAI1B;AAED,uEAAuE;AACvE,wBAAsB,oBAAoB,IAAI,OAAO,CACnD,aAAa,CAAC,eAAe,CAAC,CAC/B,CAEA"}