@dewtech/dare-cli 3.2.0 → 3.4.0

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

package/dist/verification/types.d.ts

@@ -0,0 +1,89 @@
+export type LoopPolicy = 'decay' | 'fixed';
+export type SaturationAction = 'fresh-start' | 'replan' | 'escalate';
+export type MutationTool = 'stryker' | 'mutmut' | 'cargo-mutants' | 'infection';
+export interface MutationConfig {
+    readonly enabled: boolean;
+    /** 0..1. Bloqueia DONE se score < minScore. Default 0.70. */
+    readonly minScore: number;
+    /** Só muta arquivos do git diff da task. Default true (RNF-01). */
+    readonly incremental: boolean;
+    /** Teto de mutantes por execução. Default 200. */
+    readonly maxMutants: number;
+    /** Timeout total do gate de mutação, em segundos. Default 900. */
+    readonly timeoutSeconds: number;
+}
+export interface LoopConfig {
+    readonly policy: LoopPolicy;
+    /** Teto duro de tentativas. Veredito ESCALATE ao atingir. Default 5. */
+    readonly maxAttempts: number;
+    /** Nº de tentativas com a MESMA assinatura → saturado. Default 3 (≤3, idea-3). */
+    readonly saturationWindow: number;
+    /** Ação ao saturar antes do teto. Default 'fresh-start'. */
+    readonly onSaturation: SaturationAction;
+}
+export interface BestOfNConfig {
+    readonly default: number;
+    readonly max: number;
+    /** Orçamento de tokens (null = sem teto no CLI; agente respeita). */
+    readonly budgetTokens: number | null;
+}
+export interface VerificationConfig {
+    readonly enabled: boolean;
+    readonly mutation: MutationConfig;
+    readonly failToPass: {
+        readonly required: boolean;
+    };
+    readonly antiTamper: {
+        readonly enabled: boolean;
+    };
+    readonly typeCheck: {
+        readonly enabled: boolean;
+    };
+    readonly loop: LoopConfig;
+    readonly bestOfN: BestOfNConfig;
+    readonly prerank: {
+        readonly enabled: boolean;
+    };
+}
+export type Aspect = 'build' | 'test' | 'lint' | 'type' | 'fail-to-pass' | 'anti-tamper' | 'mutation';
+export type Verdict = 'PASS' | 'FAIL' | 'SKIP';
+export interface AspectResult {
+    readonly aspect: Aspect;
+    readonly verdict: Verdict;
+    readonly score?: number;
+    readonly reason: string;
+    readonly durationMs: number;
+}
+export interface VerificationResult {
+    readonly taskId: string;
+    readonly passed: boolean;
+    readonly aspects: ReadonlyArray<AspectResult>;
+    readonly mutationScore?: number;
+    readonly durationMs: number;
+}
+export type LoopAction = 'CONTINUE' | 'FRESH_START' | 'REPLAN' | 'ESCALATE' | 'DONE';
+export interface AttemptRecord {
+    readonly n: number;
+    readonly at: string;
+    readonly passed: boolean;
+    readonly failureSignature?: string;
+    readonly failedAspect?: Aspect;
+}
+export interface LoopVerdict {
+    readonly action: LoopAction;
+    readonly attempt: number;
+    readonly saturated: boolean;
+    readonly reason: string;
+    readonly failureSignature?: string;
+}
+export interface CandidateWorktree {
+    readonly id: string;
+    readonly path: string;
+    readonly branch: string;
+}
+export interface Candidate {
+    readonly id: string;
+    readonly worktree: CandidateWorktree;
+    readonly verification: VerificationResult;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/verification/types.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,OAAO,CAAC;AAC3C,MAAM,MAAM,gBAAgB,GAAG,aAAa,GAAG,QAAQ,GAAG,UAAU,CAAC;AACrE,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,QAAQ,GAAG,eAAe,GAAG,WAAW,CAAC;AAEhF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,6DAA6D;IAC7D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,mEAAmE;IACnE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,kDAAkD;IAClD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,kEAAkE;IAClE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,wEAAwE;IACxE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,kFAAkF;IAClF,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,4DAA4D;IAC5D,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;CACzC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,qEAAqE;IACrE,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;CACtC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC;IACpD,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IACnD,QAAQ,CAAC,SAAS,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IAClD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;CACjD;AAID,MAAM,MAAM,MAAM,GACd,OAAO,GACP,MAAM,GACN,MAAM,GACN,MAAM,GACN,cAAc,GACd,aAAa,GACb,UAAU,CAAC;AACf,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;AAE/C,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC;IAC9C,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAID,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,aAAa,GAAG,QAAQ,GAAG,UAAU,GAAG,MAAM,CAAC;AAErF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CACpC;AAID,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC;CAC3C"}

package/dist/verification/types.js

@@ -0,0 +1,3 @@
+/* ── Config (validada por zod em config.ts) ─────────────────────────── */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/verification/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/verification/types.ts"],"names":[],"mappings":"AAAA,2EAA2E"}

package/package.json

@@ -1,91 +1,96 @@
-{
-  "name": "@dewtech/dare-cli",
-  "version": "3.2.0",
-  "description": "DARE Framework - CLI, GraphRAG engine, MCP server and shared types in a single package",
-  "type": "module",
-  "main": "./dist/index.js",
-  "types": "./dist/index.d.ts",
-  "bin": {
-    "dare": "./dist/bin/dare.js",
-    "dare-mcp-server": "./dist/mcp-server/bin/server.js"
-  },
-  "exports": {
-    ".": {
-      "import": "./dist/index.js",
-      "types": "./dist/index.d.ts"
-    }
-  },
-  "files": [
-    "dist",
-    "templates"
-  ],
-  "scripts": {
-    "sync": "tsx scripts/sync-implementations.ts",
-    "build": "tsx scripts/sync-implementations.ts && tsc && node -e \"require('fs-extra').copySync('src/skills/registry-mock.json','dist/skills/registry-mock.json')\"",
-    "dev": "tsx watch src/bin/dare.ts",
-    "test": "vitest run",
-    "lint": "eslint src --ext .ts",
-    "format": "prettier --write src"
-  },
-  "dependencies": {
-    "chalk": "^5.3.0",
-    "commander": "^11.0.0",
-    "cors": "^2.8.5",
-    "express": "^4.18.0",
-    "figlet": "^1.7.0",
-    "fs-extra": "^11.1.1",
-    "gradient-string": "^2.0.2",
-    "handlebars": "^4.7.8",
-    "inquirer": "^9.2.0",
-    "js-yaml": "^4.1.0",
-    "mustache": "^4.2.0",
-    "nunjucks": "^3.2.4",
-    "ora": "^7.0.1",
-    "pino": "^8.16.0",
-    "pino-pretty": "^10.2.0",
-    "sql.js": "^1.11.0",
-    "yaml": "^2.3.1"
-  },
-  "devDependencies": {
-    "@types/cors": "^2.8.13",
-    "@types/express": "^4.17.0",
-    "@types/figlet": "^1.5.8",
-    "@types/fs-extra": "^11.0.1",
-    "@types/gradient-string": "^1.1.6",
-    "@types/inquirer": "^9.0.3",
-    "@types/js-yaml": "^4.0.5",
-    "@types/mustache": "^4.2.6",
-    "@types/node": "^20.0.0",
-    "@types/nunjucks": "^3.2.6",
-    "@types/sql.js": "^1.4.9",
-    "@types/supertest": "^7.2.0",
-    "@typescript-eslint/eslint-plugin": "^6.0.0",
-    "@typescript-eslint/parser": "^6.0.0",
-    "eslint": "^8.0.0",
-    "prettier": "^3.0.0",
-    "supertest": "^7.2.2",
-    "tsx": "^4.0.0",
-    "typescript": "^5.0.0",
-    "vitest": "^1.0.0"
-  },
-  "keywords": [
-    "dare",
-    "cli",
-    "ai-assisted",
-    "development",
-    "mcp",
-    "knowledge-graph",
-    "graphrag",
-    "model-context-protocol"
-  ],
-  "author": "Dewtech Technologies",
-  "license": "MIT",
-  "repository": {
-    "type": "git",
-    "url": "https://github.com/dewtech-technologies/dare-method.git",
-    "directory": "packages/cli"
-  },
-  "engines": {
-    "node": ">=18.0.0"
-  }
-}
+{
+  "name": "@dewtech/dare-cli",
+  "version": "3.4.0",
+  "description": "DARE Framework - CLI, GraphRAG engine, MCP server and shared types in a single package",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "bin": {
+    "dare": "./dist/bin/dare.js",
+    "dare-mcp-server": "./dist/mcp-server/bin/server.js"
+  },
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    }
+  },
+  "files": [
+    "dist",
+    "templates"
+  ],
+  "dependencies": {
+    "chalk": "^5.3.0",
+    "commander": "^11.0.0",
+    "cors": "^2.8.5",
+    "express": "^4.18.0",
+    "figlet": "^1.7.0",
+    "fs-extra": "^11.1.1",
+    "gradient-string": "^2.0.2",
+    "handlebars": "^4.7.8",
+    "helmet": "^8.2.0",
+    "inquirer": "^9.2.0",
+    "js-yaml": "^4.1.0",
+    "mustache": "^4.2.0",
+    "nunjucks": "^3.2.4",
+    "ora": "^7.0.1",
+    "pino": "^8.16.0",
+    "pino-pretty": "^10.2.0",
+    "sql.js": "^1.11.0",
+    "yaml": "^2.3.1",
+    "zod": "^3.23.8"
+  },
+  "devDependencies": {
+    "@stryker-mutator/core": "8.7.1",
+    "@types/cors": "^2.8.13",
+    "@types/express": "^4.17.0",
+    "@types/figlet": "^1.5.8",
+    "@types/fs-extra": "^11.0.1",
+    "@types/gradient-string": "^1.1.6",
+    "@types/helmet": "^4.0.0",
+    "@types/inquirer": "^9.0.3",
+    "@types/js-yaml": "^4.0.5",
+    "@types/mustache": "^4.2.6",
+    "@types/node": "^20.0.0",
+    "@types/nunjucks": "^3.2.6",
+    "@types/sql.js": "^1.4.9",
+    "@types/supertest": "^7.2.0",
+    "@typescript-eslint/eslint-plugin": "^6.0.0",
+    "@typescript-eslint/parser": "^6.0.0",
+    "@vitest/coverage-v8": "1.6.1",
+    "eslint": "^8.0.0",
+    "prettier": "^3.0.0",
+    "supertest": "^7.2.2",
+    "tsx": "^4.0.0",
+    "typescript": "^5.0.0",
+    "vitest": "^1.0.0"
+  },
+  "keywords": [
+    "dare",
+    "cli",
+    "ai-assisted",
+    "development",
+    "mcp",
+    "knowledge-graph",
+    "graphrag",
+    "model-context-protocol"
+  ],
+  "author": "Dewtech Technologies",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/dewtech-technologies/dare-method.git",
+    "directory": "packages/cli"
+  },
+  "engines": {
+    "node": ">=18.0.0"
+  },
+  "scripts": {
+    "sync": "tsx scripts/sync-implementations.ts",
+    "build": "tsx scripts/sync-implementations.ts && tsc && node -e \"require('fs-extra').copySync('src/skills/registry-mock.json','dist/skills/registry-mock.json')\"",
+    "dev": "tsx watch src/bin/dare.ts",
+    "test": "vitest run",
+    "lint": "eslint src",
+    "format": "prettier --write src"
+  }
+}