@dewtech/dare-cli 3.2.0 → 3.3.0

package/dist/verification/best-of-n/selector/pareto.d.ts

@@ -0,0 +1,10 @@
+import type { Candidate } from '../../types.js';
+export declare class NoViableCandidateError extends Error {
+    constructor(message?: string);
+}
+/**
+ * Pareto-dominant candidate over test/lint/type/mutation aspects.
+ * Candidates with any FAIL aspect are discarded first.
+ */
+export declare function selectByPareto(candidates: ReadonlyArray<Candidate>): Candidate;
+//# sourceMappingURL=pareto.d.ts.map

package/dist/verification/best-of-n/selector/pareto.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pareto.d.ts","sourceRoot":"","sources":["../../../../src/verification/best-of-n/selector/pareto.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAU,SAAS,EAAsB,MAAM,gBAAgB,CAAC;AAK5E,qBAAa,sBAAuB,SAAQ,KAAK;gBACnC,OAAO,SAA8D;CAIlF;AA6CD;;;GAGG;AACH,wBAAgB,cAAc,CAAC,UAAU,EAAE,aAAa,CAAC,SAAS,CAAC,GAAG,SAAS,CAuB9E"}

package/dist/verification/best-of-n/selector/pareto.js

@@ -0,0 +1,65 @@
+const PARETO_ASPECTS = ['test', 'lint', 'type', 'mutation'];
+export class NoViableCandidateError extends Error {
+    constructor(message = 'no viable candidate: all candidates have a failing aspect') {
+        super(message);
+        this.name = 'NoViableCandidateError';
+    }
+}
+function hasFailingAspect(result) {
+    return result.aspects.some((a) => a.verdict === 'FAIL');
+}
+function aspectValue(result, aspect) {
+    if (aspect === 'mutation') {
+        const mut = result.aspects.find((a) => a.aspect === 'mutation');
+        return result.mutationScore ?? mut?.score ?? 0;
+    }
+    const row = result.aspects.find((a) => a.aspect === aspect);
+    if (!row || row.verdict === 'SKIP')
+        return 0.5;
+    if (row.verdict === 'PASS')
+        return 1;
+    return 0;
+}
+function aspectVector(result) {
+    return {
+        test: aspectValue(result, 'test'),
+        lint: aspectValue(result, 'lint'),
+        type: aspectValue(result, 'type'),
+        mutation: aspectValue(result, 'mutation'),
+    };
+}
+function dominates(a, b) {
+    let strictlyBetter = false;
+    for (const key of PARETO_ASPECTS) {
+        if (a[key] < b[key])
+            return false;
+        if (a[key] > b[key])
+            strictlyBetter = true;
+    }
+    return strictlyBetter;
+}
+function compareCandidates(a, b) {
+    const scoreA = a.verification.mutationScore ?? 0;
+    const scoreB = b.verification.mutationScore ?? 0;
+    if (scoreB !== scoreA)
+        return scoreB - scoreA;
+    return a.id.localeCompare(b.id);
+}
+/**
+ * Pareto-dominant candidate over test/lint/type/mutation aspects.
+ * Candidates with any FAIL aspect are discarded first.
+ */
+export function selectByPareto(candidates) {
+    const viable = candidates.filter((c) => !hasFailingAspect(c.verification));
+    if (viable.length === 0) {
+        throw new NoViableCandidateError();
+    }
+    const scored = viable.map((candidate) => ({
+        candidate,
+        vector: aspectVector(candidate.verification),
+    }));
+    const nonDominated = scored.filter(({ vector }, index) => !scored.some((other, otherIndex) => index !== otherIndex && dominates(other.vector, vector)));
+    const pool = nonDominated.length > 0 ? nonDominated.map((s) => s.candidate) : viable;
+    return [...pool].sort(compareCandidates)[0];
+}
+//# sourceMappingURL=pareto.js.map

package/dist/verification/best-of-n/selector/pareto.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pareto.js","sourceRoot":"","sources":["../../../../src/verification/best-of-n/selector/pareto.ts"],"names":[],"mappings":"AAEA,MAAM,cAAc,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,CAAU,CAAC;AAGrE,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IAC/C,YAAY,OAAO,GAAG,2DAA2D;QAC/E,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;IACvC,CAAC;CACF;AAED,SAAS,gBAAgB,CAAC,MAA0B;IAClD,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,WAAW,CAAC,MAA0B,EAAE,MAAoB;IACnE,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;QAChE,OAAO,MAAM,CAAC,aAAa,IAAI,GAAG,EAAE,KAAK,IAAI,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAC5D,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,KAAK,MAAM;QAAE,OAAO,GAAG,CAAC;IAC/C,IAAI,GAAG,CAAC,OAAO,KAAK,MAAM;QAAE,OAAO,CAAC,CAAC;IACrC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CAAC,MAA0B;IAC9C,OAAO;QACL,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC;QACjC,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC;QACjC,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC;QACjC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAChB,CAA+B,EAC/B,CAA+B;IAE/B,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAClC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC;YAAE,cAAc,GAAG,IAAI,CAAC;IAC7C,CAAC;IACD,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAY,EAAE,CAAY;IACnD,MAAM,MAAM,GAAG,CAAC,CAAC,YAAY,CAAC,aAAa,IAAI,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,CAAC,CAAC,YAAY,CAAC,aAAa,IAAI,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,MAAM;QAAE,OAAO,MAAM,GAAG,MAAM,CAAC;IAC9C,OAAO,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAClC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,UAAoC;IACjE,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IAC3E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,sBAAsB,EAAE,CAAC;IACrC,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACxC,SAAS;QACT,MAAM,EAAE,YAAY,CAAC,SAAS,CAAC,YAAY,CAAC;KAC7C,CAAC,CAAC,CAAC;IAEJ,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAChC,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,CACpB,CAAC,MAAM,CAAC,IAAI,CACV,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,CACpB,KAAK,KAAK,UAAU,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAC1D,CACJ,CAAC;IAEF,MAAM,IAAI,GACR,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAE1E,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9C,CAAC"}

package/dist/verification/best-of-n/selector/prerank.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Exec-free candidate ordering (RF-09). RS-07: prerank NEVER authorizes DONE/PASS —
+ * it only produces scores in [0, 1] for reordering before verification.
+ */
+export interface PrerankInput {
+    readonly id: string;
+    readonly diff: string;
+}
+export interface PrerankScore {
+    readonly id: string;
+    readonly score: number;
+}
+/** Documented invariant for security tests (RS-07). */
+export declare const PRERANK_NEVER_AUTHORIZES_DONE: true;
+/**
+ * Deterministic heuristic: prefer smaller diffs, fewer hunks, and test-file touches.
+ */
+export declare function prerank(inputs: ReadonlyArray<PrerankInput>): PrerankScore[];
+/** Reorder items by prerank scores (descending). Does not mutate verification verdicts. */
+export declare function reorderByPrerank<T extends {
+    id: string;
+}>(items: ReadonlyArray<T>, scores: ReadonlyArray<PrerankScore>): T[];
+//# sourceMappingURL=prerank.d.ts.map

package/dist/verification/best-of-n/selector/prerank.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prerank.d.ts","sourceRoot":"","sources":["../../../../src/verification/best-of-n/selector/prerank.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,uDAAuD;AACvD,eAAO,MAAM,6BAA6B,EAAG,IAAa,CAAC;AAM3D;;GAEG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,aAAa,CAAC,YAAY,CAAC,GAAG,YAAY,EAAE,CAe3E;AAED,2FAA2F;AAC3F,wBAAgB,gBAAgB,CAAC,CAAC,SAAS;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,EACvD,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,EACvB,MAAM,EAAE,aAAa,CAAC,YAAY,CAAC,GAClC,CAAC,EAAE,CAKL"}

package/dist/verification/best-of-n/selector/prerank.js

@@ -0,0 +1,32 @@
+/**
+ * Exec-free candidate ordering (RF-09). RS-07: prerank NEVER authorizes DONE/PASS —
+ * it only produces scores in [0, 1] for reordering before verification.
+ */
+/** Documented invariant for security tests (RS-07). */
+export const PRERANK_NEVER_AUTHORIZES_DONE = true;
+function clamp01(n) {
+    return Math.max(0, Math.min(1, n));
+}
+/**
+ * Deterministic heuristic: prefer smaller diffs, fewer hunks, and test-file touches.
+ */
+export function prerank(inputs) {
+    return inputs.map(({ id, diff }) => {
+        const changedLines = diff
+            .split('\n')
+            .filter((l) => l.startsWith('+') || l.startsWith('-')).length;
+        const hunks = (diff.match(/^@@/gm) ?? []).length;
+        const testTouches = (diff.match(/\.(spec|test)\./gi) ?? []).length;
+        const sizePenalty = Math.min(1, changedLines / 200);
+        const hunkPenalty = Math.min(1, hunks / 20);
+        const testBonus = Math.min(0.3, testTouches * 0.1);
+        const score = clamp01(1 - sizePenalty * 0.5 - hunkPenalty * 0.2 + testBonus);
+        return { id, score };
+    });
+}
+/** Reorder items by prerank scores (descending). Does not mutate verification verdicts. */
+export function reorderByPrerank(items, scores) {
+    const scoreMap = new Map(scores.map((s) => [s.id, s.score]));
+    return [...items].sort((a, b) => (scoreMap.get(b.id) ?? 0) - (scoreMap.get(a.id) ?? 0));
+}
+//# sourceMappingURL=prerank.js.map

package/dist/verification/best-of-n/selector/prerank.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prerank.js","sourceRoot":"","sources":["../../../../src/verification/best-of-n/selector/prerank.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAYH,uDAAuD;AACvD,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAa,CAAC;AAE3D,SAAS,OAAO,CAAC,CAAS;IACxB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,OAAO,CAAC,MAAmC;IACzD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE;QACjC,MAAM,YAAY,GAAG,IAAI;aACtB,KAAK,CAAC,IAAI,CAAC;aACX,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;QAChE,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACjD,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAEnE,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,YAAY,GAAG,GAAG,CAAC,CAAC;QACpD,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC,CAAC;QAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,GAAG,CAAC,CAAC;QACnD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,GAAG,WAAW,GAAG,GAAG,GAAG,WAAW,GAAG,GAAG,GAAG,SAAS,CAAC,CAAC;QAE7E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,gBAAgB,CAC9B,KAAuB,EACvB,MAAmC;IAEnC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7D,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CACpB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAChE,CAAC;AACJ,CAAC"}

package/dist/verification/best-of-n/worktree.d.ts

@@ -0,0 +1,9 @@
+export interface Worktree {
+    readonly id: string;
+    readonly path: string;
+    readonly branch: string;
+}
+export declare function createWorktree(repoRoot: string, id: string): Promise<Worktree>;
+export declare function removeWorktree(repoRoot: string, wt: Worktree): Promise<void>;
+export declare function listWorktrees(repoRoot: string): Promise<ReadonlyArray<Worktree>>;
+//# sourceMappingURL=worktree.d.ts.map

package/dist/verification/best-of-n/worktree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"worktree.d.ts","sourceRoot":"","sources":["../../../src/verification/best-of-n/worktree.ts"],"names":[],"mappings":"AAKA,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AA+BD,wBAAsB,cAAc,CAClC,QAAQ,EAAE,MAAM,EAChB,EAAE,EAAE,MAAM,GACT,OAAO,CAAC,QAAQ,CAAC,CAsBnB;AAED,wBAAsB,cAAc,CAClC,QAAQ,EAAE,MAAM,EAChB,EAAE,EAAE,QAAQ,GACX,OAAO,CAAC,IAAI,CAAC,CAaf;AAED,wBAAsB,aAAa,CACjC,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAkDlC"}

package/dist/verification/best-of-n/worktree.js

@@ -0,0 +1,100 @@
+import path from 'node:path';
+import fs from 'fs-extra';
+import { safeSpawn } from '../../exec/safe-spawn.js';
+import { assertRelativeSafe } from '../../utils/path-safety.js';
+const WORKTREE_ROOT = '.dare/worktrees';
+function worktreeRelPath(id) {
+    const rel = path.posix.join(WORKTREE_ROOT, id);
+    assertRelativeSafe(rel);
+    return rel;
+}
+function branchName(id) {
+    assertRelativeSafe(id);
+    if (id.includes('/') || id.includes('\\')) {
+        throw new Error(`unsafe worktree id: ${id}`);
+    }
+    return `dare/cand-${id}`;
+}
+async function git(repoRoot, args, timeoutSeconds = 120) {
+    const result = await safeSpawn('git', args, {
+        cwd: repoRoot,
+        timeoutSeconds,
+        maxChars: 8000,
+    });
+    return { code: result.code, stderr: result.stderr };
+}
+export async function createWorktree(repoRoot, id) {
+    const rel = worktreeRelPath(id);
+    const absPath = path.resolve(repoRoot, rel);
+    const branch = branchName(id);
+    await fs.ensureDir(path.dirname(absPath));
+    const add = await git(repoRoot, [
+        'worktree',
+        'add',
+        '-b',
+        branch,
+        absPath,
+        'HEAD',
+    ]);
+    if (add.code !== 0) {
+        throw new Error(`git worktree add failed for ${id}: ${add.stderr.trim()}`);
+    }
+    return { id, path: rel, branch };
+}
+export async function removeWorktree(repoRoot, wt) {
+    assertRelativeSafe(wt.path);
+    const absPath = path.resolve(repoRoot, wt.path);
+    const remove = await git(repoRoot, ['worktree', 'remove', '--force', absPath]);
+    if (remove.code !== 0) {
+        throw new Error(`git worktree remove failed for ${wt.id}: ${remove.stderr.trim()}`);
+    }
+    await git(repoRoot, ['branch', '-D', wt.branch]).catch(() => undefined);
+    await fs.remove(absPath).catch(() => undefined);
+}
+export async function listWorktrees(repoRoot) {
+    const result = await safeSpawn('git', ['worktree', 'list', '--porcelain'], { cwd: repoRoot, timeoutSeconds: 60, maxChars: 16000 });
+    if (result.code !== 0) {
+        throw new Error(`git worktree list failed: ${result.stderr.trim()}`);
+    }
+    const out = [];
+    const prefix = path.resolve(repoRoot, WORKTREE_ROOT) + path.sep;
+    let absPath = '';
+    let branch = '';
+    const flush = () => {
+        if (!absPath)
+            return;
+        const normalized = path.resolve(absPath);
+        if (!normalized.startsWith(prefix)) {
+            absPath = '';
+            branch = '';
+            return;
+        }
+        const rel = path.relative(repoRoot, normalized).replace(/\\/g, '/');
+        const id = path.basename(rel);
+        out.push({
+            id,
+            path: rel,
+            branch: branch || branchName(id),
+        });
+        absPath = '';
+        branch = '';
+    };
+    for (const line of result.stdout.split(/\r?\n/)) {
+        if (line.startsWith('worktree ')) {
+            flush();
+            absPath = line.slice('worktree '.length).trim();
+        }
+        else if (line.startsWith('branch ')) {
+            branch = line
+                .slice('branch '.length)
+                .trim()
+                .replace(/^refs\/heads\//, '');
+        }
+        else if (line === '') {
+            flush();
+        }
+    }
+    flush();
+    return out;
+}
+//# sourceMappingURL=worktree.js.map

package/dist/verification/best-of-n/worktree.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"worktree.js","sourceRoot":"","sources":["../../../src/verification/best-of-n/worktree.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,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAQhE,MAAM,aAAa,GAAG,iBAAiB,CAAC;AAExC,SAAS,eAAe,CAAC,EAAU;IACjC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IAC/C,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACxB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,UAAU,CAAC,EAAU;IAC5B,kBAAkB,CAAC,EAAE,CAAC,CAAC;IACvB,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,uBAAuB,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,aAAa,EAAE,EAAE,CAAC;AAC3B,CAAC;AAED,KAAK,UAAU,GAAG,CAChB,QAAgB,EAChB,IAA2B,EAC3B,cAAc,GAAG,GAAG;IAEpB,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE;QAC1C,GAAG,EAAE,QAAQ;QACb,cAAc;QACd,QAAQ,EAAE,IAAI;KACf,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;AACtD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,QAAgB,EAChB,EAAU;IAEV,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;IAE9B,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IAE1C,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,QAAQ,EAAE;QAC9B,UAAU;QACV,KAAK;QACL,IAAI;QACJ,MAAM;QACN,OAAO;QACP,MAAM;KACP,CAAC,CAAC;IACH,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CACb,+BAA+B,EAAE,KAAK,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAC1D,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,QAAgB,EAChB,EAAY;IAEZ,kBAAkB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IAEhD,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/E,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CACb,kCAAkC,EAAE,CAAC,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CACnE,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IACxE,MAAM,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;AAClD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,QAAgB;IAEhB,MAAM,MAAM,GAAG,MAAM,SAAS,CAC5B,KAAK,EACL,CAAC,UAAU,EAAE,MAAM,EAAE,aAAa,CAAC,EACnC,EAAE,GAAG,EAAE,QAAQ,EAAE,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CACvD,CAAC;IACF,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,6BAA6B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACvE,CAAC;IAED,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,aAAa,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC;IAChE,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,MAAM,GAAG,EAAE,CAAC;IAEhB,MAAM,KAAK,GAAG,GAAS,EAAE;QACvB,IAAI,CAAC,OAAO;YAAE,OAAO;QACrB,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,GAAG,EAAE,CAAC;YACZ,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC9B,GAAG,CAAC,IAAI,CAAC;YACP,EAAE;YACF,IAAI,EAAE,GAAG;YACT,MAAM,EAAE,MAAM,IAAI,UAAU,CAAC,EAAE,CAAC;SACjC,CAAC,CAAC;QACH,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,GAAG,EAAE,CAAC;IACd,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAChD,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YACjC,KAAK,EAAE,CAAC;YACR,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QAClD,CAAC;aAAM,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YACtC,MAAM,GAAG,IAAI;iBACV,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;iBACvB,IAAI,EAAE;iBACN,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;QACnC,CAAC;aAAM,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YACvB,KAAK,EAAE,CAAC;QACV,CAAC;IACH,CAAC;IACD,KAAK,EAAE,CAAC;IAER,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/verification/config.d.ts

@@ -0,0 +1,24 @@
+import type { VerificationConfig } from './types.js';
+export declare const DEFAULTS: VerificationConfig;
+export declare class VerificationConfigError extends Error {
+    readonly issues: ReadonlyArray<{
+        path: string;
+        message: string;
+    }>;
+    constructor(issues: ReadonlyArray<{
+        path: string;
+        message: string;
+    }>);
+}
+/**
+ * Parse and validate `verification` from an already-parsed dare.config.json object.
+ */
+/** Serializable defaults for dare.config.json (new projects + migrations). */
+export declare function defaultVerificationConfigForProject(): VerificationConfig;
+/**
+ * Inserts the verification block when absent (opt-in: enabled stays false).
+ * Returns true when the block was added.
+ */
+export declare function seedVerificationDefaultsIfAbsent(cfg: Record<string, unknown>): boolean;
+export declare function parseVerificationConfig(raw: unknown): VerificationConfig;
+//# sourceMappingURL=config.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/verification/config.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAErD,eAAO,MAAM,QAAQ,EAAE,kBAwBtB,CAAC;AAkGF,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;gBAEtD,MAAM,EAAE,aAAa,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CAOrE;AAkBD;;GAEG;AACH,8EAA8E;AAC9E,wBAAgB,mCAAmC,IAAI,kBAAkB,CAExE;AAED;;;GAGG;AACH,wBAAgB,gCAAgC,CAC9C,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC3B,OAAO,CAIT;AAED,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,OAAO,GAAG,kBAAkB,CAWxE"}

package/dist/verification/config.js

@@ -0,0 +1,168 @@
+import { z } from 'zod';
+export const DEFAULTS = {
+    enabled: false,
+    mutation: {
+        enabled: true,
+        minScore: 0.7,
+        incremental: true,
+        maxMutants: 200,
+        timeoutSeconds: 900,
+    },
+    failToPass: { required: true },
+    antiTamper: { enabled: true },
+    typeCheck: { enabled: false },
+    loop: {
+        policy: 'decay',
+        maxAttempts: 5,
+        saturationWindow: 3,
+        onSaturation: 'fresh-start',
+    },
+    bestOfN: {
+        default: 1,
+        max: 5,
+        budgetTokens: null,
+    },
+    prerank: { enabled: false },
+};
+const loopPolicySchema = z.enum(['decay', 'fixed']);
+const saturationActionSchema = z.enum(['fresh-start', 'replan', 'escalate']);
+const verificationConfigSchema = z
+    .object({
+    enabled: z.boolean().default(DEFAULTS.enabled),
+    mutation: z
+        .object({
+        enabled: z.boolean().default(DEFAULTS.mutation.enabled),
+        minScore: z
+            .number()
+            .min(0, 'minScore must be between 0 and 1')
+            .max(1, 'minScore must be between 0 and 1')
+            .default(DEFAULTS.mutation.minScore),
+        incremental: z.boolean().default(DEFAULTS.mutation.incremental),
+        maxMutants: z
+            .number()
+            .int()
+            .positive()
+            .default(DEFAULTS.mutation.maxMutants),
+        timeoutSeconds: z
+            .number()
+            .int()
+            .positive()
+            .default(DEFAULTS.mutation.timeoutSeconds),
+    })
+        .default({ ...DEFAULTS.mutation }),
+    failToPass: z
+        .object({
+        required: z.boolean().default(DEFAULTS.failToPass.required),
+    })
+        .default({ ...DEFAULTS.failToPass }),
+    antiTamper: z
+        .object({
+        enabled: z.boolean().default(DEFAULTS.antiTamper.enabled),
+    })
+        .default({ ...DEFAULTS.antiTamper }),
+    typeCheck: z
+        .object({
+        enabled: z.boolean().default(DEFAULTS.typeCheck.enabled),
+    })
+        .default({ ...DEFAULTS.typeCheck }),
+    loop: z
+        .object({
+        policy: loopPolicySchema.default(DEFAULTS.loop.policy),
+        maxAttempts: z
+            .number()
+            .int()
+            .min(1, 'maxAttempts must be at least 1')
+            .default(DEFAULTS.loop.maxAttempts),
+        saturationWindow: z
+            .number()
+            .int()
+            .min(1, 'saturationWindow must be at least 1')
+            .default(DEFAULTS.loop.saturationWindow),
+        onSaturation: saturationActionSchema.default(DEFAULTS.loop.onSaturation),
+    })
+        .default({ ...DEFAULTS.loop }),
+    bestOfN: z
+        .object({
+        default: z
+            .number()
+            .int()
+            .min(1, 'bestOfN.default must be at least 1')
+            .default(DEFAULTS.bestOfN.default),
+        max: z
+            .number()
+            .int()
+            .min(1, 'bestOfN.max must be at least 1')
+            .default(DEFAULTS.bestOfN.max),
+        budgetTokens: z
+            .number()
+            .int()
+            .nullable()
+            .default(DEFAULTS.bestOfN.budgetTokens),
+    })
+        .default({ ...DEFAULTS.bestOfN })
+        .superRefine((b, ctx) => {
+        if (b.default > b.max) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: 'bestOfN.default must be <= bestOfN.max',
+                path: ['default'],
+            });
+        }
+    }),
+    prerank: z
+        .object({
+        enabled: z.boolean().default(DEFAULTS.prerank.enabled),
+    })
+        .default({ ...DEFAULTS.prerank }),
+})
+    .strict();
+export class VerificationConfigError extends Error {
+    constructor(issues) {
+        super(`Invalid verification config: ${issues.map((i) => `${i.path}: ${i.message}`).join('; ')}`);
+        this.name = 'VerificationConfigError';
+        this.issues = issues;
+    }
+}
+function isVerificationBlockAbsent(raw) {
+    if (raw === undefined || raw === null)
+        return true;
+    if (typeof raw !== 'object')
+        return false;
+    const rec = raw;
+    return !('verification' in rec) || rec.verification === undefined;
+}
+function zodIssues(error) {
+    return error.issues.map((issue) => ({
+        path: issue.path.length > 0 ? issue.path.join('.') : '(root)',
+        message: issue.message,
+    }));
+}
+/**
+ * Parse and validate `verification` from an already-parsed dare.config.json object.
+ */
+/** Serializable defaults for dare.config.json (new projects + migrations). */
+export function defaultVerificationConfigForProject() {
+    return structuredClone(DEFAULTS);
+}
+/**
+ * Inserts the verification block when absent (opt-in: enabled stays false).
+ * Returns true when the block was added.
+ */
+export function seedVerificationDefaultsIfAbsent(cfg) {
+    if (cfg.verification !== undefined)
+        return false;
+    cfg.verification = defaultVerificationConfigForProject();
+    return true;
+}
+export function parseVerificationConfig(raw) {
+    if (isVerificationBlockAbsent(raw)) {
+        return { ...DEFAULTS, enabled: false };
+    }
+    const block = raw.verification;
+    const result = verificationConfigSchema.safeParse(block);
+    if (!result.success) {
+        throw new VerificationConfigError(zodIssues(result.error));
+    }
+    return result.data;
+}
+//# sourceMappingURL=config.js.map

package/dist/verification/config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/verification/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,MAAM,CAAC,MAAM,QAAQ,GAAuB;IAC1C,OAAO,EAAE,KAAK;IACd,QAAQ,EAAE;QACR,OAAO,EAAE,IAAI;QACb,QAAQ,EAAE,GAAG;QACb,WAAW,EAAE,IAAI;QACjB,UAAU,EAAE,GAAG;QACf,cAAc,EAAE,GAAG;KACpB;IACD,UAAU,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE;IAC9B,UAAU,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE;IAC7B,SAAS,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;IAC7B,IAAI,EAAE;QACJ,MAAM,EAAE,OAAO;QACf,WAAW,EAAE,CAAC;QACd,gBAAgB,EAAE,CAAC;QACnB,YAAY,EAAE,aAAa;KAC5B;IACD,OAAO,EAAE;QACP,OAAO,EAAE,CAAC;QACV,GAAG,EAAE,CAAC;QACN,YAAY,EAAE,IAAI;KACnB;IACD,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;CAC5B,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AACpD,MAAM,sBAAsB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;AAE7E,MAAM,wBAAwB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;IAC9C,QAAQ,EAAE,CAAC;SACR,MAAM,CAAC;QACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;QACvD,QAAQ,EAAE,CAAC;aACR,MAAM,EAAE;aACR,GAAG,CAAC,CAAC,EAAE,kCAAkC,CAAC;aAC1C,GAAG,CAAC,CAAC,EAAE,kCAAkC,CAAC;aAC1C,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACtC,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;QAC/D,UAAU,EAAE,CAAC;aACV,MAAM,EAAE;aACR,GAAG,EAAE;aACL,QAAQ,EAAE;aACV,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC;QACxC,cAAc,EAAE,CAAC;aACd,MAAM,EAAE;aACR,GAAG,EAAE;aACL,QAAQ,EAAE;aACV,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;KAC7C,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC;IACpC,UAAU,EAAE,CAAC;SACV,MAAM,CAAC;QACN,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC;KAC5D,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC;IACtC,UAAU,EAAE,CAAC;SACV,MAAM,CAAC;QACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC;KAC1D,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC;IACtC,SAAS,EAAE,CAAC;SACT,MAAM,CAAC;QACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC;KACzD,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,CAAC;IACrC,IAAI,EAAE,CAAC;SACJ,MAAM,CAAC;QACN,MAAM,EAAE,gBAAgB,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;QACtD,WAAW,EAAE,CAAC;aACX,MAAM,EAAE;aACR,GAAG,EAAE;aACL,GAAG,CAAC,CAAC,EAAE,gCAAgC,CAAC;aACxC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC;QACrC,gBAAgB,EAAE,CAAC;aAChB,MAAM,EAAE;aACR,GAAG,EAAE;aACL,GAAG,CAAC,CAAC,EAAE,qCAAqC,CAAC;aAC7C,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC;QAC1C,YAAY,EAAE,sBAAsB,CAAC,OAAO,CAC1C,QAAQ,CAAC,IAAI,CAAC,YAAY,CAC3B;KACF,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAChC,OAAO,EAAE,CAAC;SACP,MAAM,CAAC;QACN,OAAO,EAAE,CAAC;aACP,MAAM,EAAE;aACR,GAAG,EAAE;aACL,GAAG,CAAC,CAAC,EAAE,oCAAoC,CAAC;aAC5C,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC;QACpC,GAAG,EAAE,CAAC;aACH,MAAM,EAAE;aACR,GAAG,EAAE;aACL,GAAG,CAAC,CAAC,EAAE,gCAAgC,CAAC;aACxC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC;QAChC,YAAY,EAAE,CAAC;aACZ,MAAM,EAAE;aACR,GAAG,EAAE;aACL,QAAQ,EAAE;aACV,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC;KAC1C,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;SAChC,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;QACtB,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACtB,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,wCAAwC;gBACjD,IAAI,EAAE,CAAC,SAAS,CAAC;aAClB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC;IACJ,OAAO,EAAE,CAAC;SACP,MAAM,CAAC;QACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC;KACvD,CAAC;SACD,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;CACpC,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IAGhD,YAAY,MAAwD;QAClE,KAAK,CACH,gCAAgC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC1F,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;QACtC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED,SAAS,yBAAyB,CAAC,GAAY;IAC7C,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,GAAG,GAAG,GAA8B,CAAC;IAC3C,OAAO,CAAC,CAAC,cAAc,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC;AACpE,CAAC;AAED,SAAS,SAAS,CAChB,KAAiB;IAEjB,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAClC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ;QAC7D,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;GAEG;AACH,8EAA8E;AAC9E,MAAM,UAAU,mCAAmC;IACjD,OAAO,eAAe,CAAC,QAAQ,CAAC,CAAC;AACnC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gCAAgC,CAC9C,GAA4B;IAE5B,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACjD,GAAG,CAAC,YAAY,GAAG,mCAAmC,EAAE,CAAC;IACzD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,GAAY;IAClD,IAAI,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACzC,CAAC;IAED,MAAM,KAAK,GAAI,GAA+B,CAAC,YAAY,CAAC;IAC5D,MAAM,MAAM,GAAG,wBAAwB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,uBAAuB,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC"}

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

@@ -0,0 +1,16 @@
+import type { AttemptRecord, LoopConfig, LoopVerdict, VerificationResult } from '../types.js';
+type DecayResult = VerificationResult | {
+    readonly passed: boolean;
+    readonly failedAspect?: string;
+};
+/** True when the last `window` attempts share the same non-null failureSignature. */
+export declare function isSaturated(history: ReadonlyArray<AttemptRecord>, window: number): boolean;
+/** Canonical loop decision (RF-06) — deterministic, no LLM. */
+export declare function decideNextAction(args: {
+    readonly result: DecayResult;
+    readonly current: AttemptRecord;
+    readonly history: ReadonlyArray<AttemptRecord>;
+    readonly loop: LoopConfig;
+}): LoopVerdict;
+export {};
+//# sourceMappingURL=policy.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"policy.d.ts","sourceRoot":"","sources":["../../../src/verification/decay/policy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,aAAa,EACb,UAAU,EACV,WAAW,EAEX,kBAAkB,EACnB,MAAM,aAAa,CAAC;AAErB,KAAK,WAAW,GACZ,kBAAkB,GAClB;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAUjE,qFAAqF;AACrF,wBAAgB,WAAW,CACzB,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,EACrC,MAAM,EAAE,MAAM,GACb,OAAO,CAQT;AAED,+DAA+D;AAC/D,wBAAgB,gBAAgB,CAAC,IAAI,EAAE;IACrC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;IAC/C,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B,GAAG,WAAW,CAmDd"}

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