@dewtech/dare-cli 3.1.0 → 3.3.0

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

package/dist/verification/registry.js

@@ -0,0 +1,49 @@
+import { UnknownMutationStackError } from './gates/mutation/adapter.js';
+const STACK_TO_TOOL = {
+    'node-nestjs': 'stryker',
+    react: 'stryker',
+    vue: 'stryker',
+    'mcp-server-node-ts': 'stryker',
+    'python-fastapi': 'mutmut',
+    'mcp-server-python': 'mutmut',
+    'rust-axum': 'cargo-mutants',
+    'rust-leptos': 'cargo-mutants',
+    'rust-leptos-csr': 'cargo-mutants',
+    'php-laravel': 'infection',
+};
+const TOOL_LOADERS = {
+    stryker: async () => (await import('./gates/mutation/stryker.js')).adapter,
+    mutmut: async () => (await import('./gates/mutation/mutmut.js')).adapter,
+    'cargo-mutants': async () => (await import('./gates/mutation/cargo-mutants.js')).adapter,
+    infection: async () => (await import('./gates/mutation/infection.js')).adapter,
+};
+const TOOL_ORDER = [
+    'stryker',
+    'mutmut',
+    'cargo-mutants',
+    'infection',
+];
+const adapterCache = new Map();
+async function loadAdapter(tool) {
+    let cached = adapterCache.get(tool);
+    if (cached)
+        return cached;
+    cached = await TOOL_LOADERS[tool]();
+    adapterCache.set(tool, cached);
+    return cached;
+}
+function toolForStack(stack) {
+    return STACK_TO_TOOL[stack];
+}
+/** Resolve mutation adapter for a project stack (lazy-loaded per tool). */
+export async function adapterForStack(stack) {
+    const tool = toolForStack(stack);
+    if (!tool)
+        throw new UnknownMutationStackError(stack);
+    return loadAdapter(tool);
+}
+/** All registered mutation adapters (loads each tool at most once). */
+export async function listMutationAdapters() {
+    return Promise.all(TOOL_ORDER.map((tool) => loadAdapter(tool)));
+}
+//# sourceMappingURL=registry.js.map

package/dist/verification/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/verification/registry.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAExE,MAAM,aAAa,GAA2C;IAC5D,aAAa,EAAE,SAAS;IACxB,KAAK,EAAE,SAAS;IAChB,GAAG,EAAE,SAAS;IACd,oBAAoB,EAAE,SAAS;IAC/B,gBAAgB,EAAE,QAAQ;IAC1B,mBAAmB,EAAE,QAAQ;IAC7B,WAAW,EAAE,eAAe;IAC5B,aAAa,EAAE,eAAe;IAC9B,iBAAiB,EAAE,eAAe;IAClC,aAAa,EAAE,WAAW;CAC3B,CAAC;AAEF,MAAM,YAAY,GAEd;IACF,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,MAAM,CAAC,6BAA6B,CAAC,CAAC,CAAC,OAAO;IAC1E,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,MAAM,CAAC,4BAA4B,CAAC,CAAC,CAAC,OAAO;IACxE,eAAe,EAAE,KAAK,IAAI,EAAE,CAC1B,CAAC,MAAM,MAAM,CAAC,mCAAmC,CAAC,CAAC,CAAC,OAAO;IAC7D,SAAS,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,MAAM,CAAC,+BAA+B,CAAC,CAAC,CAAC,OAAO;CAC/E,CAAC;AAEF,MAAM,UAAU,GAAgC;IAC9C,SAAS;IACT,QAAQ;IACR,eAAe;IACf,WAAW;CACZ,CAAC;AAEF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAiC,CAAC;AAE9D,KAAK,UAAU,WAAW,CAAC,IAAkB;IAC3C,IAAI,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;IACpC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC/B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,2EAA2E;AAC3E,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,KAAa;IAEb,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,yBAAyB,CAAC,KAAK,CAAC,CAAC;IACtD,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC;AAC3B,CAAC;AAED,uEAAuE;AACvE,MAAM,CAAC,KAAK,UAAU,oBAAoB;IAGxC,OAAO,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC"}

package/dist/verification/runner.d.ts

@@ -0,0 +1,27 @@
+import type { VerificationConfig, VerificationResult } from './types.js';
+import { checkFailToPass, readVerificationArtifact } from './gates/fail-to-pass.js';
+import { checkAntiTamper } from './gates/anti-tamper.js';
+import { checkTypes } from './gates/type-check.js';
+import { adapterForStack } from './registry.js';
+export interface RunVerificationOptions {
+    readonly taskId: string;
+    readonly stack: string;
+    readonly cwd: string;
+    readonly config: VerificationConfig;
+    readonly changedFiles: ReadonlyArray<string>;
+    readonly onProgress?: (e: {
+        aspect: string;
+        phase: 'start' | 'pass' | 'fail' | 'skip';
+    }) => void;
+}
+export interface VerificationDeps {
+    readonly readArtifact: typeof readVerificationArtifact;
+    readonly checkFailToPass: typeof checkFailToPass;
+    readonly checkAntiTamper: typeof checkAntiTamper;
+    readonly checkTypes: typeof checkTypes;
+    readonly adapterForStack: typeof adapterForStack;
+}
+export declare const defaultVerificationDeps: VerificationDeps;
+export declare function createRunVerification(deps?: VerificationDeps): (opts: RunVerificationOptions) => Promise<VerificationResult>;
+export declare const runVerification: (opts: RunVerificationOptions) => Promise<VerificationResult>;
+//# sourceMappingURL=runner.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../src/verification/runner.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,kBAAkB,EAClB,kBAAkB,EACnB,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,eAAe,EAEf,wBAAwB,EACzB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAOhD,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC7C,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE;QACxB,MAAM,EAAE,MAAM,CAAC;QACf,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;KAC3C,KAAK,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IACvD,QAAQ,CAAC,eAAe,EAAE,OAAO,eAAe,CAAC;IACjD,QAAQ,CAAC,eAAe,EAAE,OAAO,eAAe,CAAC;IACjD,QAAQ,CAAC,UAAU,EAAE,OAAO,UAAU,CAAC;IACvC,QAAQ,CAAC,eAAe,EAAE,OAAO,eAAe,CAAC;CAClD;AAED,eAAO,MAAM,uBAAuB,EAAE,gBAMrC,CAAC;AA8FF,wBAAgB,qBAAqB,CACnC,IAAI,GAAE,gBAA0C,GAC/C,CAAC,IAAI,EAAE,sBAAsB,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAkH/D;AAED,eAAO,MAAM,eAAe,SApHlB,sBAAsB,KAAK,OAAO,CAAC,kBAAkB,CAoHT,CAAC"}

package/dist/verification/runner.js

@@ -0,0 +1,173 @@
+import { checkFailToPass, FailToPassMissingError, readVerificationArtifact, } from './gates/fail-to-pass.js';
+import { checkAntiTamper } from './gates/anti-tamper.js';
+import { checkTypes } from './gates/type-check.js';
+import { adapterForStack } from './registry.js';
+import { MutationToolNotFoundError } from './gates/mutation/adapter.js';
+import { createLogger } from '../utils/logger.js';
+const log = createLogger('verification');
+export const defaultVerificationDeps = {
+    readArtifact: readVerificationArtifact,
+    checkFailToPass,
+    checkAntiTamper,
+    checkTypes,
+    adapterForStack,
+};
+function notify(onProgress, aspect, phase) {
+    onProgress?.({ aspect, phase });
+}
+function logAspect(result) {
+    log.info({
+        aspect: result.aspect,
+        verdict: result.verdict,
+        score: result.score,
+        reason: result.reason,
+        durationMs: result.durationMs,
+    }, 'verification aspect');
+}
+function computePassed(aspects) {
+    return aspects.every((a) => a.verdict === 'PASS' || a.verdict === 'SKIP');
+}
+function finish(taskId, aspects, startedAt) {
+    const mutation = aspects.find((a) => a.aspect === 'mutation');
+    return {
+        taskId,
+        passed: computePassed(aspects),
+        aspects,
+        mutationScore: mutation?.score,
+        durationMs: Date.now() - startedAt,
+    };
+}
+async function runMutationAspect(opts, deps) {
+    const start = Date.now();
+    const { config, stack, cwd, changedFiles } = opts;
+    const adapter = await deps.adapterForStack(stack);
+    const available = await adapter.isAvailable(cwd);
+    if (!available) {
+        throw new MutationToolNotFoundError(adapter.tool);
+    }
+    const output = await adapter.run({
+        cwd,
+        changedFiles,
+        incremental: config.mutation.incremental,
+        maxMutants: config.mutation.maxMutants,
+        timeoutSeconds: config.mutation.timeoutSeconds,
+    });
+    const durationMs = Date.now() - start;
+    if (Number.isNaN(output.score)) {
+        return {
+            aspect: 'mutation',
+            verdict: 'SKIP',
+            reason: 'zero mutants evaluated',
+            durationMs,
+        };
+    }
+    if (output.score < config.mutation.minScore) {
+        return {
+            aspect: 'mutation',
+            verdict: 'FAIL',
+            score: output.score,
+            reason: `mutation score ${output.score.toFixed(4)} < minScore ${config.mutation.minScore}`,
+            durationMs,
+        };
+    }
+    return {
+        aspect: 'mutation',
+        verdict: 'PASS',
+        score: output.score,
+        reason: `mutation score ${output.score.toFixed(4)}`,
+        durationMs,
+    };
+}
+export function createRunVerification(deps = defaultVerificationDeps) {
+    return async function runVerification(opts) {
+        const startedAt = Date.now();
+        const { taskId, cwd, config } = opts;
+        const aspects = [];
+        if (!config.enabled) {
+            return {
+                taskId,
+                passed: true,
+                aspects: [],
+                durationMs: Date.now() - startedAt,
+            };
+        }
+        const artifact = await deps.readArtifact(cwd, taskId);
+        if (config.failToPass.required) {
+            notify(opts.onProgress, 'fail-to-pass', 'start');
+            if (!artifact?.failToPassBaseline || !artifact.specGlob) {
+                throw new FailToPassMissingError(taskId);
+            }
+            const ftp = await deps.checkFailToPass({ taskId, cwd });
+            aspects.push(ftp);
+            logAspect(ftp);
+            notify(opts.onProgress, 'fail-to-pass', ftp.verdict === 'PASS' ? 'pass' : 'fail');
+            if (ftp.verdict === 'FAIL') {
+                return finish(taskId, aspects, startedAt);
+            }
+        }
+        if (config.antiTamper.enabled) {
+            notify(opts.onProgress, 'anti-tamper', 'start');
+            if (!artifact?.tamperSnapshot) {
+                const skipped = {
+                    aspect: 'anti-tamper',
+                    verdict: 'SKIP',
+                    reason: 'no tamper snapshot',
+                    durationMs: 0,
+                };
+                aspects.push(skipped);
+                logAspect(skipped);
+                notify(opts.onProgress, 'anti-tamper', 'skip');
+            }
+            else {
+                const testGlob = artifact.specGlob ?? '**/*.test.ts';
+                const at = await deps.checkAntiTamper({
+                    baseline: artifact.tamperSnapshot,
+                    cwd,
+                    testGlob,
+                });
+                aspects.push(at);
+                logAspect(at);
+                notify(opts.onProgress, 'anti-tamper', at.verdict === 'PASS'
+                    ? 'pass'
+                    : at.verdict === 'SKIP'
+                        ? 'skip'
+                        : 'fail');
+                if (at.verdict === 'FAIL') {
+                    return finish(taskId, aspects, startedAt);
+                }
+            }
+        }
+        if (config.typeCheck.enabled) {
+            notify(opts.onProgress, 'type', 'start');
+            const tc = await deps.checkTypes({
+                stack: opts.stack,
+                cwd,
+                timeoutSeconds: 120,
+            });
+            aspects.push(tc);
+            logAspect(tc);
+            notify(opts.onProgress, 'type', tc.verdict === 'PASS'
+                ? 'pass'
+                : tc.verdict === 'SKIP'
+                    ? 'skip'
+                    : 'fail');
+            if (tc.verdict === 'FAIL') {
+                return finish(taskId, aspects, startedAt);
+            }
+        }
+        if (config.mutation.enabled) {
+            notify(opts.onProgress, 'mutation', 'start');
+            const mut = await runMutationAspect(opts, deps);
+            aspects.push(mut);
+            logAspect(mut);
+            notify(opts.onProgress, 'mutation', mut.verdict === 'PASS'
+                ? 'pass'
+                : mut.verdict === 'SKIP'
+                    ? 'skip'
+                    : 'fail');
+        }
+        return finish(taskId, aspects, startedAt);
+    };
+}
+export const runVerification = createRunVerification();
+//# sourceMappingURL=runner.js.map

package/dist/verification/runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../../src/verification/runner.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,OAAO,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,MAAM,GAAG,GAAG,YAAY,CAAC,cAAc,CAAC,CAAC;AAsBzC,MAAM,CAAC,MAAM,uBAAuB,GAAqB;IACvD,YAAY,EAAE,wBAAwB;IACtC,eAAe;IACf,eAAe;IACf,UAAU;IACV,eAAe;CAChB,CAAC;AAEF,SAAS,MAAM,CACb,UAAgD,EAChD,MAAc,EACd,KAAyC;IAEzC,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,SAAS,CAAC,MAAoB;IACrC,GAAG,CAAC,IAAI,CACN;QACE,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,UAAU,EAAE,MAAM,CAAC,UAAU;KAC9B,EACD,qBAAqB,CACtB,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,OAAoC;IACzD,OAAO,OAAO,CAAC,KAAK,CAClB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM,CACpD,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CACb,MAAc,EACd,OAAuB,EACvB,SAAiB;IAEjB,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAC9D,OAAO;QACL,MAAM;QACN,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC;QAC9B,OAAO;QACP,aAAa,EAAE,QAAQ,EAAE,KAAK;QAC9B,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;KACnC,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,iBAAiB,CAC9B,IAA4B,EAC5B,IAAsB;IAEtB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC;IAElD,MAAM,OAAO,GAAoB,MAAM,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IACnE,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACjD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,yBAAyB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC/B,GAAG;QACH,YAAY;QACZ,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,WAAW;QACxC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU;QACtC,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,cAAc;KAC/C,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;IAEtC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,wBAAwB;YAChC,UAAU;SACX,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC5C,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,MAAM;YACf,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,MAAM,EAAE,kBAAkB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE;YAC1F,UAAU;SACX,CAAC;IACJ,CAAC;IAED,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,MAAM;QACf,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,MAAM,EAAE,kBAAkB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;QACnD,UAAU;KACX,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,OAAyB,uBAAuB;IAEhD,OAAO,KAAK,UAAU,eAAe,CACnC,IAA4B;QAE5B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;QACrC,MAAM,OAAO,GAAmB,EAAE,CAAC;QAEnC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACpB,OAAO;gBACL,MAAM;gBACN,MAAM,EAAE,IAAI;gBACZ,OAAO,EAAE,EAAE;gBACX,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;aACnC,CAAC;QACJ,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAEtD,IAAI,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;YACjD,IAAI,CAAC,QAAQ,EAAE,kBAAkB,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACxD,MAAM,IAAI,sBAAsB,CAAC,MAAM,CAAC,CAAC;YAC3C,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;YACxD,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClB,SAAS,CAAC,GAAG,CAAC,CAAC;YACf,MAAM,CACJ,IAAI,CAAC,UAAU,EACf,cAAc,EACd,GAAG,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CACzC,CAAC;YACF,IAAI,GAAG,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;gBAC3B,OAAO,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QAED,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,EAAE,OAAO,CAAC,CAAC;YAChD,IAAI,CAAC,QAAQ,EAAE,cAAc,EAAE,CAAC;gBAC9B,MAAM,OAAO,GAAiB;oBAC5B,MAAM,EAAE,aAAa;oBACrB,OAAO,EAAE,MAAM;oBACf,MAAM,EAAE,oBAAoB;oBAC5B,UAAU,EAAE,CAAC;iBACd,CAAC;gBACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACtB,SAAS,CAAC,OAAO,CAAC,CAAC;gBACnB,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;YACjD,CAAC;iBAAM,CAAC;gBACN,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,IAAI,cAAc,CAAC;gBACrD,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC;oBACpC,QAAQ,EAAE,QAAQ,CAAC,cAAc;oBACjC,GAAG;oBACH,QAAQ;iBACT,CAAC,CAAC;gBACH,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACjB,SAAS,CAAC,EAAE,CAAC,CAAC;gBACd,MAAM,CACJ,IAAI,CAAC,UAAU,EACf,aAAa,EACb,EAAE,CAAC,OAAO,KAAK,MAAM;oBACnB,CAAC,CAAC,MAAM;oBACR,CAAC,CAAC,EAAE,CAAC,OAAO,KAAK,MAAM;wBACrB,CAAC,CAAC,MAAM;wBACR,CAAC,CAAC,MAAM,CACb,CAAC;gBACF,IAAI,EAAE,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;oBAC1B,OAAO,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;gBAC5C,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YACzC,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC;gBAC/B,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,GAAG;gBACH,cAAc,EAAE,GAAG;aACpB,CAAC,CAAC;YACH,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,SAAS,CAAC,EAAE,CAAC,CAAC;YACd,MAAM,CACJ,IAAI,CAAC,UAAU,EACf,MAAM,EACN,EAAE,CAAC,OAAO,KAAK,MAAM;gBACnB,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,EAAE,CAAC,OAAO,KAAK,MAAM;oBACrB,CAAC,CAAC,MAAM;oBACR,CAAC,CAAC,MAAM,CACb,CAAC;YACF,IAAI,EAAE,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;gBAC1B,OAAO,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QAED,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;YAC7C,MAAM,GAAG,GAAG,MAAM,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAChD,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClB,SAAS,CAAC,GAAG,CAAC,CAAC;YACf,MAAM,CACJ,IAAI,CAAC,UAAU,EACf,UAAU,EACV,GAAG,CAAC,OAAO,KAAK,MAAM;gBACpB,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,GAAG,CAAC,OAAO,KAAK,MAAM;oBACtB,CAAC,CAAC,MAAM;oBACR,CAAC,CAAC,MAAM,CACb,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IAC5C,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,qBAAqB,EAAE,CAAC"}

package/dist/verification/telemetry.d.ts

@@ -0,0 +1,18 @@
+import type { KnowledgeGraph } from '../graphrag/knowledge-graph.js';
+import type { VerificationResult } from './types.js';
+export interface VerificationTelemetrySummary {
+    readonly passed: boolean;
+    readonly mutationScore?: number;
+    readonly aspects: ReadonlyArray<{
+        readonly aspect: string;
+        readonly verdict: string;
+        readonly score?: number;
+    }>;
+    readonly durationMs: number;
+}
+/**
+ * Records verification verdict in GraphRAG: gate node + verified_by edge.
+ * Falls back to task.metadata.verification when the backend rejects new types.
+ */
+export declare function recordVerification(graph: KnowledgeGraph, result: VerificationResult): void;
+//# sourceMappingURL=telemetry.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"telemetry.d.ts","sourceRoot":"","sources":["../../src/verification/telemetry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAErE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAKrD,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;KACzB,CAAC,CAAC;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAkED;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,cAAc,EACrB,MAAM,EAAE,kBAAkB,GACzB,IAAI,CASN"}

package/dist/verification/telemetry.js

@@ -0,0 +1,71 @@
+const GATE_NODE_TYPE = 'gate';
+const VERIFIED_BY_EDGE = 'verified_by';
+function summarizeResult(result) {
+    return {
+        passed: result.passed,
+        mutationScore: result.mutationScore,
+        aspects: result.aspects.map((a) => ({
+            aspect: a.aspect,
+            verdict: a.verdict,
+            score: a.score,
+        })),
+        durationMs: result.durationMs,
+    };
+}
+function gateNode(taskId, result) {
+    return {
+        id: `gate:${taskId}`,
+        type: GATE_NODE_TYPE,
+        label: `verification ${taskId}`,
+        metadata: {
+            passed: result.passed,
+            mutationScore: result.mutationScore,
+            aspects: result.aspects,
+            durationMs: result.durationMs,
+        },
+    };
+}
+function verifiedByEdge(taskId) {
+    return {
+        id: `edge:${taskId}:verified_by`,
+        sourceId: `task:${taskId}`,
+        targetId: `gate:${taskId}`,
+        type: VERIFIED_BY_EDGE,
+    };
+}
+function fallbackToTaskMetadata(graph, taskId, result) {
+    const taskNodeId = `task:${taskId}`;
+    const existing = graph.getNode(taskNodeId);
+    const summary = summarizeResult(result);
+    if (!existing) {
+        graph.addNode({
+            id: taskNodeId,
+            type: 'task',
+            label: taskId,
+            metadata: { verification: summary },
+        });
+        return;
+    }
+    graph.addNode({
+        ...existing,
+        metadata: {
+            ...existing.metadata,
+            verification: summary,
+        },
+    });
+}
+/**
+ * Records verification verdict in GraphRAG: gate node + verified_by edge.
+ * Falls back to task.metadata.verification when the backend rejects new types.
+ */
+export function recordVerification(graph, result) {
+    const taskId = result.taskId;
+    try {
+        graph.addNode(gateNode(taskId, result));
+        graph.addEdge(verifiedByEdge(taskId));
+    }
+    catch {
+        fallbackToTaskMetadata(graph, taskId, result);
+    }
+}
+//# sourceMappingURL=telemetry.js.map

package/dist/verification/telemetry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"telemetry.js","sourceRoot":"","sources":["../../src/verification/telemetry.ts"],"names":[],"mappings":"AAIA,MAAM,cAAc,GAAG,MAAe,CAAC;AACvC,MAAM,gBAAgB,GAAG,aAAsB,CAAC;AAahD,SAAS,eAAe,CAAC,MAA0B;IACjD,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAClC,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,KAAK,EAAE,CAAC,CAAC,KAAK;SACf,CAAC,CAAC;QACH,UAAU,EAAE,MAAM,CAAC,UAAU;KAC9B,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,MAAc,EAAE,MAA0B;IAC1D,OAAO;QACL,EAAE,EAAE,QAAQ,MAAM,EAAE;QACpB,IAAI,EAAE,cAAc;QACpB,KAAK,EAAE,gBAAgB,MAAM,EAAE;QAC/B,QAAQ,EAAE;YACR,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,UAAU,EAAE,MAAM,CAAC,UAAU;SAC9B;KACF,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,MAAc;IACpC,OAAO;QACL,EAAE,EAAE,QAAQ,MAAM,cAAc;QAChC,QAAQ,EAAE,QAAQ,MAAM,EAAE;QAC1B,QAAQ,EAAE,QAAQ,MAAM,EAAE;QAC1B,IAAI,EAAE,gBAAgB;KACvB,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAqB,EACrB,MAAc,EACd,MAA0B;IAE1B,MAAM,UAAU,GAAG,QAAQ,MAAM,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAExC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,KAAK,CAAC,OAAO,CAAC;YACZ,EAAE,EAAE,UAAU;YACd,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,MAAM;YACb,QAAQ,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE;SACpC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,KAAK,CAAC,OAAO,CAAC;QACZ,GAAG,QAAQ;QACX,QAAQ,EAAE;YACR,GAAG,QAAQ,CAAC,QAAQ;YACpB,YAAY,EAAE,OAAO;SACtB;KACF,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAqB,EACrB,MAA0B;IAE1B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAE7B,IAAI,CAAC;QACH,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACxC,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;IACxC,CAAC;IAAC,MAAM,CAAC;QACP,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC;AACH,CAAC"}