@dewtech/dare-cli 3.1.0 → 3.3.0

package/dist/verification/decay/policy.js

@@ -0,0 +1,64 @@
+const SATURATION_ACTION = {
+    'fresh-start': 'FRESH_START',
+    replan: 'REPLAN',
+    escalate: 'ESCALATE',
+};
+/** True when the last `window` attempts share the same non-null failureSignature. */
+export function isSaturated(history, window) {
+    if (window < 1 || history.length < window)
+        return false;
+    const slice = history.slice(-window);
+    const signature = slice[0]?.failureSignature;
+    if (!signature)
+        return false;
+    return slice.every((record) => record.failureSignature === signature);
+}
+/** Canonical loop decision (RF-06) — deterministic, no LLM. */
+export function decideNextAction(args) {
+    const { result, current, history, loop } = args;
+    if (result.passed) {
+        return {
+            action: 'DONE',
+            attempt: current.n,
+            saturated: false,
+            reason: 'verification passed',
+        };
+    }
+    if (current.n >= loop.maxAttempts) {
+        return {
+            action: 'ESCALATE',
+            attempt: current.n,
+            saturated: false,
+            reason: 'max attempts reached',
+            failureSignature: current.failureSignature,
+        };
+    }
+    const saturated = isSaturated(history, loop.saturationWindow);
+    if (saturated) {
+        const action = SATURATION_ACTION[loop.onSaturation];
+        return {
+            action,
+            attempt: current.n,
+            saturated: true,
+            reason: `failure saturation: ${loop.onSaturation}`,
+            failureSignature: current.failureSignature,
+        };
+    }
+    if (loop.policy === 'fixed' && current.n < loop.maxAttempts) {
+        return {
+            action: 'CONTINUE',
+            attempt: current.n,
+            saturated: false,
+            reason: 'fixed policy: continue',
+            failureSignature: current.failureSignature,
+        };
+    }
+    return {
+        action: 'CONTINUE',
+        attempt: current.n,
+        saturated: false,
+        reason: 'decay policy: continue',
+        failureSignature: current.failureSignature,
+    };
+}
+//# sourceMappingURL=policy.js.map

package/dist/verification/decay/policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.js","sourceRoot":"","sources":["../../../src/verification/decay/policy.ts"],"names":[],"mappings":"AAYA,MAAM,iBAAiB,GAEnB;IACF,aAAa,EAAE,aAAa;IAC5B,MAAM,EAAE,QAAQ;IAChB,QAAQ,EAAE,UAAU;CACrB,CAAC;AAEF,qFAAqF;AACrF,MAAM,UAAU,WAAW,CACzB,OAAqC,EACrC,MAAc;IAEd,IAAI,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,MAAM;QAAE,OAAO,KAAK,CAAC;IAExD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC;IAC7C,IAAI,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IAE7B,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC;AACxE,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,gBAAgB,CAAC,IAKhC;IACC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IAEhD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO;YACL,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,OAAO,CAAC,CAAC;YAClB,SAAS,EAAE,KAAK;YAChB,MAAM,EAAE,qBAAqB;SAC9B,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QAClC,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,OAAO,CAAC,CAAC;YAClB,SAAS,EAAE,KAAK;YAChB,MAAM,EAAE,sBAAsB;YAC9B,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;SAC3C,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC9D,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACpD,OAAO;YACL,MAAM;YACN,OAAO,EAAE,OAAO,CAAC,CAAC;YAClB,SAAS,EAAE,IAAI;YACf,MAAM,EAAE,uBAAuB,IAAI,CAAC,YAAY,EAAE;YAClD,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;SAC3C,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAC5D,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,OAAO,CAAC,CAAC;YAClB,SAAS,EAAE,KAAK;YAChB,MAAM,EAAE,wBAAwB;YAChC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;SAC3C,CAAC;IACJ,CAAC;IAED,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,OAAO,CAAC,CAAC;QAClB,SAAS,EAAE,KAAK;QAChB,MAAM,EAAE,wBAAwB;QAChC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;KAC3C,CAAC;AACJ,CAAC"}

package/dist/verification/decay/signature.d.ts

@@ -0,0 +1,6 @@
+/** Stable 8-hex failure signature for saturation detection (RF-06). */
+export declare function failureSignature(input: {
+    readonly failedAspect: string;
+    readonly stderr: string;
+}): string;
+//# sourceMappingURL=signature.d.ts.map

package/dist/verification/decay/signature.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"signature.d.ts","sourceRoot":"","sources":["../../../src/verification/decay/signature.ts"],"names":[],"mappings":"AAsBA,uEAAuE;AACvE,wBAAgB,gBAAgB,CAAC,KAAK,EAAE;IACtC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,GAAG,MAAM,CAIT"}

package/dist/verification/decay/signature.js

@@ -0,0 +1,18 @@
+import { createHash } from 'node:crypto';
+function normalizeStderr(stderr) {
+    let normalized = stderr.toLowerCase();
+    normalized = normalized.replace(/\/(?:[\w.-]+\/)+[\w.-]+/g, '<path>');
+    normalized = normalized.replace(/[a-z]:\\(?:[\w.-]+\\)+[\w.-]*/gi, '<path>');
+    normalized = normalized.replace(/\d{4}-\d{2}-\d{2}t[\d:.]+z?/g, '<ts>');
+    normalized = normalized.replace(/\b[0-9a-f]{8,}\b/g, '<hex>');
+    normalized = normalized.replace(/:\d+:/g, ':<line>:');
+    normalized = normalized.replace(/\s+/g, ' ').trim();
+    return normalized;
+}
+/** Stable 8-hex failure signature for saturation detection (RF-06). */
+export function failureSignature(input) {
+    const normalized = normalizeStderr(input.stderr);
+    const payload = `${input.failedAspect}\n${normalized}`;
+    return createHash('sha256').update(payload).digest('hex').slice(0, 8);
+}
+//# sourceMappingURL=signature.js.map

package/dist/verification/decay/signature.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"signature.js","sourceRoot":"","sources":["../../../src/verification/decay/signature.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,SAAS,eAAe,CAAC,MAAc;IACrC,IAAI,UAAU,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;IACtC,UAAU,GAAG,UAAU,CAAC,OAAO,CAC7B,0BAA0B,EAC1B,QAAQ,CACT,CAAC;IACF,UAAU,GAAG,UAAU,CAAC,OAAO,CAC7B,iCAAiC,EACjC,QAAQ,CACT,CAAC;IACF,UAAU,GAAG,UAAU,CAAC,OAAO,CAC7B,8BAA8B,EAC9B,MAAM,CACP,CAAC;IACF,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,mBAAmB,EAAE,OAAO,CAAC,CAAC;IAC9D,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtD,UAAU,GAAG,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACpD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,gBAAgB,CAAC,KAGhC;IACC,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,GAAG,KAAK,CAAC,YAAY,KAAK,UAAU,EAAE,CAAC;IACvD,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACxE,CAAC"}

package/dist/verification/gates/anti-tamper.d.ts

@@ -0,0 +1,16 @@
+import type { AspectResult } from '../types.js';
+export interface TamperSnapshot {
+    readonly assertionCount: number;
+    readonly testFiles: ReadonlyArray<string>;
+    readonly coveragePct?: number;
+}
+export declare function snapshotTests(args: {
+    readonly cwd: string;
+    readonly testGlob: string;
+}): Promise<TamperSnapshot>;
+export declare function checkAntiTamper(args: {
+    readonly baseline: TamperSnapshot;
+    readonly cwd: string;
+    readonly testGlob: string;
+}): Promise<AspectResult>;
+//# sourceMappingURL=anti-tamper.d.ts.map

package/dist/verification/gates/anti-tamper.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"anti-tamper.d.ts","sourceRoot":"","sources":["../../../src/verification/gates/anti-tamper.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC1C,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AA+FD,wBAAsB,aAAa,CAAC,IAAI,EAAE;IACxC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,GAAG,OAAO,CAAC,cAAc,CAAC,CAU1B;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE;IAC1C,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,GAAG,OAAO,CAAC,YAAY,CAAC,CAwDxB"}

package/dist/verification/gates/anti-tamper.js

@@ -0,0 +1,142 @@
+import path from 'node:path';
+import fs from 'fs-extra';
+const SKIP_PATTERNS = [
+    /\bit\.skip\s*\(/,
+    /\bit\.only\s*\(/,
+    /\bdescribe\.only\s*\(/,
+    /\bdescribe\.skip\s*\(/,
+    /\bxit\s*\(/,
+    /\bxdescribe\s*\(/,
+    /@pytest\.mark\.skip/,
+];
+function stripJsComments(content) {
+    return content
+        .replace(/\/\*[\s\S]*?\*\//g, '')
+        .replace(/\/\/.*$/gm, '');
+}
+function hasSkipMarker(content) {
+    return SKIP_PATTERNS.some((pattern) => pattern.test(content));
+}
+function countAssertions(content, ext) {
+    if (ext === '.py') {
+        const assertKw = (content.match(/\bassert\b/g) ?? []).length;
+        const selfAssert = (content.match(/\bself\.assert\w+/g) ?? []).length;
+        const pytestRaises = (content.match(/pytest\.raises\s*\(/g) ?? []).length;
+        return assertKw + selfAssert + pytestRaises;
+    }
+    if (ext === '.rs') {
+        return (content.match(/\bassert(?:_eq|_ne)?!\s*\(/g) ?? []).length;
+    }
+    if (ext === '.php') {
+        return (content.match(/\$this->assert\w+/g) ?? []).length;
+    }
+    const stripped = stripJsComments(content);
+    const expect = (stripped.match(/\bexpect\s*\(/g) ?? []).length;
+    const assertCalls = (stripped.match(/\bassert\s*\(/g) ?? []).length;
+    const matchers = (stripped.match(/\.to(?:Be|Equal|StrictEqual|Throw|Match|Contain)\s*\(/g) ??
+        []).length;
+    return expect + assertCalls + matchers;
+}
+function fileExt(file) {
+    return path.extname(file).toLowerCase();
+}
+async function collectTestFiles(cwd, testGlob) {
+    const direct = path.join(cwd, testGlob);
+    if (await fs.pathExists(direct)) {
+        const stat = await fs.stat(direct);
+        if (stat.isFile())
+            return [testGlob.replace(/\\/g, '/')];
+    }
+    const found = [];
+    const suffixes = [
+        '.test.ts',
+        '.test.js',
+        '.spec.ts',
+        '.spec.js',
+        '_test.py',
+        '_test.rs',
+    ];
+    async function walk(dir) {
+        let entries;
+        try {
+            entries = await fs.readdir(dir, { withFileTypes: true });
+        }
+        catch {
+            return;
+        }
+        for (const entry of entries) {
+            if (entry.name === 'node_modules' || entry.name === '.git')
+                continue;
+            const abs = path.join(dir, entry.name);
+            if (entry.isDirectory()) {
+                await walk(abs);
+                continue;
+            }
+            const rel = path.relative(cwd, abs).replace(/\\/g, '/');
+            if (suffixes.some((s) => rel.endsWith(s)))
+                found.push(rel);
+        }
+    }
+    await walk(cwd);
+    return [...new Set(found)].sort();
+}
+export async function snapshotTests(args) {
+    const testFiles = await collectTestFiles(args.cwd, args.testGlob);
+    let assertionCount = 0;
+    for (const file of testFiles) {
+        const content = await fs.readFile(path.join(args.cwd, file), 'utf8');
+        assertionCount += countAssertions(content, fileExt(file));
+    }
+    return { assertionCount, testFiles };
+}
+export async function checkAntiTamper(args) {
+    const start = Date.now();
+    const current = await snapshotTests({
+        cwd: args.cwd,
+        testGlob: args.testGlob,
+    });
+    for (const file of args.baseline.testFiles) {
+        if (!current.testFiles.includes(file)) {
+            return {
+                aspect: 'anti-tamper',
+                verdict: 'FAIL',
+                reason: `test file removed: ${file}`,
+                durationMs: Date.now() - start,
+            };
+        }
+        const content = await fs.readFile(path.join(args.cwd, file), 'utf8');
+        if (hasSkipMarker(content)) {
+            return {
+                aspect: 'anti-tamper',
+                verdict: 'FAIL',
+                reason: `test weakened with skip/only in ${file}`,
+                durationMs: Date.now() - start,
+            };
+        }
+    }
+    if (current.assertionCount < args.baseline.assertionCount) {
+        return {
+            aspect: 'anti-tamper',
+            verdict: 'FAIL',
+            reason: `assertion count dropped: ${args.baseline.assertionCount} → ${current.assertionCount}`,
+            durationMs: Date.now() - start,
+        };
+    }
+    if (args.baseline.coveragePct !== undefined &&
+        current.coveragePct !== undefined &&
+        current.coveragePct < args.baseline.coveragePct - 1) {
+        return {
+            aspect: 'anti-tamper',
+            verdict: 'FAIL',
+            reason: `coverage dropped: ${args.baseline.coveragePct}% → ${current.coveragePct}%`,
+            durationMs: Date.now() - start,
+        };
+    }
+    return {
+        aspect: 'anti-tamper',
+        verdict: 'PASS',
+        reason: 'test suite not weakened',
+        durationMs: Date.now() - start,
+    };
+}
+//# sourceMappingURL=anti-tamper.js.map

package/dist/verification/gates/anti-tamper.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anti-tamper.js","sourceRoot":"","sources":["../../../src/verification/gates/anti-tamper.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,UAAU,CAAC;AAS1B,MAAM,aAAa,GAAG;IACpB,iBAAiB;IACjB,iBAAiB;IACjB,uBAAuB;IACvB,uBAAuB;IACvB,YAAY;IACZ,kBAAkB;IAClB,qBAAqB;CACtB,CAAC;AAEF,SAAS,eAAe,CAAC,OAAe;IACtC,OAAO,OAAO;SACX,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC;SAChC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,aAAa,CAAC,OAAe;IACpC,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,eAAe,CAAC,OAAe,EAAE,GAAW;IACnD,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;QAClB,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAC7D,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,oBAAoB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACtE,MAAM,YAAY,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,sBAAsB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAC1E,OAAO,QAAQ,GAAG,UAAU,GAAG,YAAY,CAAC;IAC9C,CAAC;IAED,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;QAClB,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,6BAA6B,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACrE,CAAC;IAED,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACnB,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,oBAAoB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IAC5D,CAAC;IAED,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IAC/D,MAAM,WAAW,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACpE,MAAM,QAAQ,GAAG,CACf,QAAQ,CAAC,KAAK,CAAC,wDAAwD,CAAC;QACxE,EAAE,CACH,CAAC,MAAM,CAAC;IACT,OAAO,MAAM,GAAG,WAAW,GAAG,QAAQ,CAAC;AACzC,CAAC;AAED,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;AAC1C,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,GAAW,EACX,QAAgB;IAEhB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IACxC,IAAI,MAAM,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,IAAI,CAAC,MAAM,EAAE;YAAE,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAG;QACf,UAAU;QACV,UAAU;QACV,UAAU;QACV,UAAU;QACV,UAAU;QACV,UAAU;KACX,CAAC;IAEF,KAAK,UAAU,IAAI,CAAC,GAAW;QAC7B,IAAI,OAAO,CAAC;QACZ,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3D,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;QACT,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;gBAAE,SAAS;YACrE,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC;gBAChB,SAAS;YACX,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACxD,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IAED,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACpC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAGnC;IACC,MAAM,SAAS,GAAG,MAAM,gBAAgB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClE,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;QACrE,cAAc,IAAI,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5D,CAAC;IAED,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAIrC;IACC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC;QAClC,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,QAAQ,EAAE,IAAI,CAAC,QAAQ;KACxB,CAAC,CAAC;IAEH,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;QAC3C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,OAAO;gBACL,MAAM,EAAE,aAAa;gBACrB,OAAO,EAAE,MAAM;gBACf,MAAM,EAAE,sBAAsB,IAAI,EAAE;gBACpC,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAC/B,CAAC;QACJ,CAAC;QAED,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;QACrE,IAAI,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,OAAO;gBACL,MAAM,EAAE,aAAa;gBACrB,OAAO,EAAE,MAAM;gBACf,MAAM,EAAE,mCAAmC,IAAI,EAAE;gBACjD,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAC/B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC;QAC1D,OAAO;YACL,MAAM,EAAE,aAAa;YACrB,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,4BAA4B,IAAI,CAAC,QAAQ,CAAC,cAAc,MAAM,OAAO,CAAC,cAAc,EAAE;YAC9F,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAC/B,CAAC;IACJ,CAAC;IAED,IACE,IAAI,CAAC,QAAQ,CAAC,WAAW,KAAK,SAAS;QACvC,OAAO,CAAC,WAAW,KAAK,SAAS;QACjC,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,GAAG,CAAC,EACnD,CAAC;QACD,OAAO;YACL,MAAM,EAAE,aAAa;YACrB,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,qBAAqB,IAAI,CAAC,QAAQ,CAAC,WAAW,OAAO,OAAO,CAAC,WAAW,GAAG;YACnF,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAC/B,CAAC;IACJ,CAAC;IAED,OAAO;QACL,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,yBAAyB;QACjC,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;KAC/B,CAAC;AACJ,CAAC"}

package/dist/verification/gates/fail-to-pass.d.ts

@@ -0,0 +1,39 @@
+import type { AspectResult } from '../types.js';
+import type { TamperSnapshot } from './anti-tamper.js';
+export interface FailToPassBaseline {
+    readonly recordedAt: string;
+    readonly ranAgainst: string;
+    readonly failed: ReadonlyArray<string>;
+    readonly allFailed: boolean;
+}
+export interface VerificationArtifact {
+    readonly specGlob?: string;
+    readonly failToPassBaseline?: FailToPassBaseline;
+    readonly tamperSnapshot?: TamperSnapshot;
+}
+export declare class FailToPassMissingError extends Error {
+    readonly taskId: string;
+    constructor(taskId: string);
+}
+export declare function readVerificationArtifact(cwd: string, taskId: string): Promise<VerificationArtifact | undefined>;
+/** Map stack → test runner argv for a spec glob/path. */
+export declare function testCommandFor(stack: string, specGlob: string): {
+    command: string;
+    args: string[];
+};
+/**
+ * Record baseline: spec must fail entirely against pre-implementation code.
+ */
+export declare function recordFailToPassBaseline(args: {
+    readonly taskId: string;
+    readonly cwd: string;
+    readonly specGlob: string;
+}): Promise<FailToPassBaseline>;
+/**
+ * Verify fail-to-pass gate at task completion.
+ */
+export declare function checkFailToPass(args: {
+    readonly taskId: string;
+    readonly cwd: string;
+}): Promise<AspectResult>;
+//# sourceMappingURL=fail-to-pass.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fail-to-pass.d.ts","sourceRoot":"","sources":["../../../src/verification/gates/fail-to-pass.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEvD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACjD,QAAQ,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC;CAC1C;AAED,qBAAa,sBAAuB,SAAQ,KAAK;IAC/C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;gBAEZ,MAAM,EAAE,MAAM;CAK3B;AAQD,wBAAsB,wBAAwB,CAC5C,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,oBAAoB,GAAG,SAAS,CAAC,CAI3C;AA8BD,yDAAyD;AACzD,wBAAgB,cAAc,CAC5B,KAAK,EAAE,MAAM,EACb,QAAQ,EAAE,MAAM,GACf;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAA;CAAE,CAyBrC;AA+DD;;GAEG;AACH,wBAAsB,wBAAwB,CAAC,IAAI,EAAE;IACnD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,GAAG,OAAO,CAAC,kBAAkB,CAAC,CA4B9B;AAoBD;;GAEG;AACH,wBAAsB,eAAe,CAAC,IAAI,EAAE;IAC1C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,GAAG,OAAO,CAAC,YAAY,CAAC,CAiCxB"}

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