@dewtech/dare-cli 3.1.0 → 3.3.0

package/dist/commands/bench.js

@@ -0,0 +1,64 @@
+import { Command } from 'commander';
+import chalk from 'chalk';
+import fs from 'fs-extra';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { buildReport } from '../verification/bench/report.js';
+import { runSuite } from '../verification/bench/harness.js';
+function defaultSuiteDir() {
+    const here = fileURLToPath(import.meta.url);
+    return path.resolve(path.dirname(here), '..', '..', 'fixtures', 'bench');
+}
+export const benchCommand = new Command('bench')
+    .description('Run verification bench fixtures (deterministic patch quality gate)')
+    .option('--suite <dir>', 'Directory with suite.json', defaultSuiteDir())
+    .option('--json', 'Emit JSON report on stdout', false)
+    .option('--baseline <file>', 'Baseline BenchReport JSON for regression comparison')
+    .option('--fail-on-regression <pp>', 'Fail if solve-rate drops more than N percentage points vs baseline', '3')
+    .option('--filter <glob>', 'Run only fixtures matching glob')
+    .action(async (options) => {
+    const suiteDir = path.resolve(process.cwd(), options.suite ?? defaultSuiteDir());
+    if (!(await fs.pathExists(path.join(suiteDir, 'suite.json')))) {
+        console.error(chalk.red(`Error: invalid or missing suite at ${suiteDir}`));
+        process.exit(2);
+    }
+    let baseline;
+    if (options.baseline) {
+        const baselinePath = path.resolve(process.cwd(), options.baseline);
+        if (!(await fs.pathExists(baselinePath))) {
+            console.error(chalk.red(`Error: baseline file not found: ${baselinePath}`));
+            process.exit(2);
+        }
+        baseline = (await fs.readJson(baselinePath));
+    }
+    const results = await runSuite(suiteDir, {
+        filter: options.filter,
+        deps: undefined,
+    });
+    const failPp = options.failOnRegression
+        ? parseInt(options.failOnRegression, 10)
+        : 3;
+    const report = buildReport(results, {
+        suite: path.relative(process.cwd(), suiteDir) || suiteDir,
+        baseline,
+        failOnRegressionPp: failPp,
+    });
+    if (options.json) {
+        console.log(JSON.stringify(report, null, 2));
+    }
+    else {
+        console.log(chalk.blue.bold('\n📊 DARE Bench Report\n'));
+        console.log(`  Suite: ${report.suite}`);
+        console.log(`  Solved: ${report.totals.solved}/${report.totals.fixtures} (${(report.totals.solveRate * 100).toFixed(1)}%)`);
+        if (report.regression) {
+            const icon = report.regression.failed ? chalk.red('❌') : chalk.green('✓');
+            console.log(`  Regression: ${icon} baseline ${(report.regression.baselineSolveRate * 100).toFixed(1)}% → delta ${report.regression.deltaPp.toFixed(1)}pp`);
+        }
+        console.log();
+    }
+    if (report.regression?.failed) {
+        process.exit(1);
+    }
+    process.exit(0);
+});
+//# sourceMappingURL=bench.js.map

package/dist/commands/bench.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bench.js","sourceRoot":"","sources":["../../src/commands/bench.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAE5D,SAAS,eAAe;IACtB,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;AAC3E,CAAC;AAUD,MAAM,CAAC,MAAM,YAAY,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC;KAC7C,WAAW,CAAC,oEAAoE,CAAC;KACjF,MAAM,CAAC,eAAe,EAAE,2BAA2B,EAAE,eAAe,EAAE,CAAC;KACvE,MAAM,CAAC,QAAQ,EAAE,4BAA4B,EAAE,KAAK,CAAC;KACrD,MAAM,CAAC,mBAAmB,EAAE,qDAAqD,CAAC;KAClF,MAAM,CACL,2BAA2B,EAC3B,oEAAoE,EACpE,GAAG,CACJ;KACA,MAAM,CAAC,iBAAiB,EAAE,iCAAiC,CAAC;KAC5D,MAAM,CAAC,KAAK,EAAE,OAAqB,EAAE,EAAE;IACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,KAAK,IAAI,eAAe,EAAE,CAAC,CAAC;IAEjF,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,sCAAsC,QAAQ,EAAE,CAAC,CAAC,CAAC;QAC3E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,IAAI,QAAQ,CAAC;IACb,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrB,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QACnE,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;YACzC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,mCAAmC,YAAY,EAAE,CAAC,CAAC,CAAC;YAC5E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,QAAQ,GAAG,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAmC,CAAC;IACjF,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE;QACvC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,IAAI,EAAE,SAAS;KAChB,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB;QACrC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC;QACxC,CAAC,CAAC,CAAC,CAAC;IAEN,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE;QAClC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,QAAQ,CAAC,IAAI,QAAQ;QACzD,QAAQ;QACR,kBAAkB,EAAE,MAAM;KAC3B,CAAC,CAAC;IAEH,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,CAAC;QACzD,OAAO,CAAC,GAAG,CAAC,YAAY,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QACxC,OAAO,CAAC,GAAG,CACT,aAAa,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAC/G,CAAC;QACF,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC1E,OAAO,CAAC,GAAG,CACT,iBAAiB,IAAI,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC,iBAAiB,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAC9I,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC,CAAC,CAAC"}

package/dist/commands/dna.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dna.d.ts","sourceRoot":"","sources":["../../src/commands/dna.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAapC,eAAO,MAAM,UAAU,SA6CnB,CAAC"}
+{"version":3,"file":"dna.d.ts","sourceRoot":"","sources":["../../src/commands/dna.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAcpC,eAAO,MAAM,UAAU,SAgDnB,CAAC"}

package/dist/commands/dna.js

@@ -5,6 +5,7 @@ import fs from 'fs-extra';
 import path from 'path';
 import { detectDna } from '../utils/dna-detector.js';
 import { renderDnaSkeleton } from '../utils/dna-facts.js';
+import { ensureDareSkills } from '../utils/project-generator.js';
 export const dnaCommand = new Command('dna')
     .description('Extract a legacy codebase\'s conventions into DARE/PROJECT-DNA.md (brownfield house-style ruleset)')
     .option('-d, --dir <path>', 'Target directory (default: current directory)')
@@ -13,6 +14,9 @@ export const dnaCommand = new Command('dna')
     const targetDir = path.resolve(opts.dir ?? process.cwd());
     console.log(chalk.blue.bold('\n🧬 DARE Framework - Project DNA (conventions)\n'));
     console.log(chalk.gray(`  Scanning: ${targetDir}\n`));
+    // --check is read-only detection; don't install skills then.
+    if (!opts.check)
+        await ensureDareSkills(targetDir);
     const spinner = ora('Extracting conventions...').start();
     const generatedAt = new Date().toISOString();
     const facts = await detectDna(targetDir, generatedAt);

package/dist/commands/dna.js.map

@@ -1 +1 @@
-{"version":3,"file":"dna.js","sourceRoot":"","sources":["../../src/commands/dna.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,GAAG,MAAM,KAAK,CAAC;AACtB,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,SAAS,EAAiB,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAO1D,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,OAAO,CAAC,KAAK,CAAC;KACzC,WAAW,CACV,oGAAoG,CACrG;KACA,MAAM,CAAC,kBAAkB,EAAE,+CAA+C,CAAC;KAC3E,MAAM,CAAC,SAAS,EAAE,0DAA0D,CAAC;KAC7E,MAAM,CAAC,KAAK,EAAE,IAAgB,EAAE,EAAE;IACjC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAE1D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC,CAAC;IAClF,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,SAAS,IAAI,CAAC,CAAC,CAAC;IAEtD,MAAM,OAAO,GAAG,GAAG,CAAC,2BAA2B,CAAC,CAAC,KAAK,EAAE,CAAC;IACzD,MAAM,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACtD,OAAO,CAAC,IAAI,EAAE,CAAC;IAEf,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;IACpC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC,CAAC;QACtE,OAAO;IACT,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,GAAG,CAAC,2BAA2B,CAAC,CAAC,KAAK,EAAE,CAAC;IAC9D,IAAI,CAAC;QACH,MAAM,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC5B,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/E,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,EAAE,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;QACnF,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,CAAC;IACjE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,+BAA+B,CAAC,CAAC,CAAC;QAC9D,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC;IAC7C,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAC9C,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,qEAAqE,CAAC,CAAC;IACxG,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,0EAA0E,CAAC,CAAC;IAC7G,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,sEAAsE,CAAC,CAAC;AAC3G,CAAC,CAAC,CAAC;AAEL,SAAS,eAAe,CAAC,KAAe;IACtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;IAC3E,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;IACjF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,OAAO,EAAE,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,UAAU,EAAE,CAAC,CAAC;IAC5D,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC;IAC3E,IAAI,KAAK,CAAC,YAAY,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,YAAY,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;IACxB,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,SAAS,IAAI,SAAS,KAAK,CAAC,CAAC,SAAS,WAAW,CAAC,CAAC,SAAS,gBAAgB,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;IACxI,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;IACjH,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IACtD,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,WAAW,KAAK,KAAK,CAAC,OAAO,CAAC,OAAO,WAAW,CAAC,CAAC;IACxJ,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;IACzF,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IACxD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
+{"version":3,"file":"dna.js","sourceRoot":"","sources":["../../src/commands/dna.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,GAAG,MAAM,KAAK,CAAC;AACtB,OAAO,EAAE,MAAM,UAAU,CAAC;AAC1B,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,SAAS,EAAiB,MAAM,0BAA0B,CAAC;AACpE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAOjE,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,OAAO,CAAC,KAAK,CAAC;KACzC,WAAW,CACV,oGAAoG,CACrG;KACA,MAAM,CAAC,kBAAkB,EAAE,+CAA+C,CAAC;KAC3E,MAAM,CAAC,SAAS,EAAE,0DAA0D,CAAC;KAC7E,MAAM,CAAC,KAAK,EAAE,IAAgB,EAAE,EAAE;IACjC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAE1D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC,CAAC;IAClF,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,SAAS,IAAI,CAAC,CAAC,CAAC;IAEtD,6DAA6D;IAC7D,IAAI,CAAC,IAAI,CAAC,KAAK;QAAE,MAAM,gBAAgB,CAAC,SAAS,CAAC,CAAC;IAEnD,MAAM,OAAO,GAAG,GAAG,CAAC,2BAA2B,CAAC,CAAC,KAAK,EAAE,CAAC;IACzD,MAAM,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC7C,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACtD,OAAO,CAAC,IAAI,EAAE,CAAC;IAEf,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;IACpC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC,CAAC;QACtE,OAAO;IACT,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAC7C,MAAM,YAAY,GAAG,GAAG,CAAC,2BAA2B,CAAC,CAAC,KAAK,EAAE,CAAC;IAC9D,IAAI,CAAC;QACH,MAAM,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC5B,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/E,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,EAAE,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;QACnF,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,CAAC;IACjE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,+BAA+B,CAAC,CAAC,CAAC;QAC9D,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC;IAC7C,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;IACxD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAC9C,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,qEAAqE,CAAC,CAAC;IACxG,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,0EAA0E,CAAC,CAAC;IAC7G,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,sEAAsE,CAAC,CAAC;AAC3G,CAAC,CAAC,CAAC;AAEL,SAAS,eAAe,CAAC,KAAe;IACtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;IAC3E,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;IACjF,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,OAAO,EAAE,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,UAAU,EAAE,CAAC,CAAC;IAC5D,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC;IAC3E,IAAI,KAAK,CAAC,YAAY,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,YAAY,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;IACxB,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,SAAS,IAAI,SAAS,KAAK,CAAC,CAAC,SAAS,WAAW,CAAC,CAAC,SAAS,gBAAgB,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;IACxI,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;IACjH,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IACtD,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,WAAW,KAAK,KAAK,CAAC,OAAO,CAAC,OAAO,WAAW,CAAC,CAAC;IACxJ,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;IACzF,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IACxD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/commands/execute-verification.d.ts

@@ -0,0 +1,51 @@
+import type { Aspect, LoopVerdict, VerificationConfig, VerificationResult } from '../verification/types.js';
+import { type RunVerificationOptions } from '../verification/runner.js';
+export declare const VERIFICATION_ARTIFACT_DIR = ".dare/verification";
+export declare function mutationToolErrorMessage(tool: string, stack: string): string;
+export declare function failToPassMissingMessage(taskId: string): string;
+export declare function shouldRunVerification(args: {
+    readonly verify?: boolean;
+    readonly noVerify?: boolean;
+    readonly configEnabled: boolean;
+}): boolean;
+export declare function applyFullMutationFlag(config: VerificationConfig, fullMutation?: boolean): VerificationConfig;
+export declare function validateBestOf(n: number, max: number): string | undefined;
+export declare function validatePolicy(policy: string): string | undefined;
+export declare function applyPolicyOverride(config: VerificationConfig, policy?: string): VerificationConfig;
+export declare function resolveBestOfCount(bestOfFlag: number | undefined, config: VerificationConfig): number;
+export declare function loadVerificationConfig(cwd: string, fullMutation?: boolean): Promise<VerificationConfig>;
+/** List changed files via git (argv, no shell). */
+export declare function gitChangedFiles(cwd: string): Promise<string[]>;
+export declare function persistVerificationArtifact(cwd: string, taskId: string, patch: Record<string, unknown>): Promise<void>;
+export declare function gateToAspect(gate?: string): Aspect;
+export declare function formatVerdictOutput(verdict: LoopVerdict, verdictJson?: boolean): void;
+export interface RecordFailureArgs {
+    readonly cwd: string;
+    readonly taskId: string;
+    readonly stack: string;
+    readonly passed: boolean;
+    readonly failedAspect?: Aspect;
+    readonly stderr?: string;
+    readonly loop: VerificationConfig['loop'];
+    readonly verdictJson?: boolean;
+}
+export declare function recordFailureAndVerdict(args: RecordFailureArgs): Promise<LoopVerdict>;
+export interface PostRalphVerificationArgs {
+    readonly taskId: string;
+    readonly cwd: string;
+    readonly stack: string;
+    readonly verify?: boolean;
+    readonly noVerify?: boolean;
+    readonly fullMutation?: boolean;
+    readonly verdictJson?: boolean;
+}
+export interface PostRalphVerificationResult {
+    readonly ran: boolean;
+    readonly passed: boolean;
+    readonly exitCode: number;
+    readonly errorMessage?: string;
+    readonly verificationResult?: VerificationResult;
+    readonly verdict?: LoopVerdict;
+}
+export declare function runPostRalphVerification(args: PostRalphVerificationArgs, runVerification?: (opts: RunVerificationOptions) => Promise<VerificationResult>): Promise<PostRalphVerificationResult>;
+//# sourceMappingURL=execute-verification.d.ts.map

package/dist/commands/execute-verification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"execute-verification.d.ts","sourceRoot":"","sources":["../../src/commands/execute-verification.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,MAAM,EAEN,WAAW,EACX,kBAAkB,EAClB,kBAAkB,EACnB,MAAM,0BAA0B,CAAC;AAMlC,OAAO,EAEL,KAAK,sBAAsB,EAC5B,MAAM,2BAA2B,CAAC;AAKnC,eAAO,MAAM,yBAAyB,uBAAuB,CAAC;AAE9D,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAE5E;AAED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE/D;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE;IAC1C,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC,GAAG,OAAO,CAIV;AAED,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,kBAAkB,EAC1B,YAAY,CAAC,EAAE,OAAO,GACrB,kBAAkB,CAMpB;AAED,wBAAgB,cAAc,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAKzE;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAKjE;AAED,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,kBAAkB,EAC1B,MAAM,CAAC,EAAE,MAAM,GACd,kBAAkB,CAMpB;AAED,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,MAAM,GAAG,SAAS,EAC9B,MAAM,EAAE,kBAAkB,GACzB,MAAM,CAER;AAED,wBAAsB,sBAAsB,CAC1C,GAAG,EAAE,MAAM,EACX,YAAY,CAAC,EAAE,OAAO,GACrB,OAAO,CAAC,kBAAkB,CAAC,CAI7B;AAED,mDAAmD;AACnD,wBAAsB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAWpE;AAED,wBAAsB,2BAA2B,CAC/C,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7B,OAAO,CAAC,IAAI,CAAC,CAOf;AAED,wBAAgB,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,CAGlD;AAED,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,EAAE,OAAO,GAAG,IAAI,CAQrF;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC1C,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC;AAED,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,iBAAiB,GACtB,OAAO,CAAC,WAAW,CAAC,CA2BtB;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACjD,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC;CAChC;AAED,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,yBAAyB,EAC/B,eAAe,gEAA0B,GACxC,OAAO,CAAC,2BAA2B,CAAC,CAmFtC"}

package/dist/commands/execute-verification.js

@@ -0,0 +1,201 @@
+import path from 'node:path';
+import fs from 'fs-extra';
+import { parseVerificationConfig } from '../verification/config.js';
+import { decideNextAction } from '../verification/decay/policy.js';
+import { failureSignature } from '../verification/decay/signature.js';
+import { FailToPassMissingError } from '../verification/gates/fail-to-pass.js';
+import { MutationToolNotFoundError } from '../verification/gates/mutation/adapter.js';
+import { createRunVerification, } from '../verification/runner.js';
+import { appendAttempt, getAttempts } from '../dag-runner/state-store.js';
+import { safeSpawn } from '../exec/safe-spawn.js';
+import { readProjectConfig } from '../utils/UpdateDetector.js';
+export const VERIFICATION_ARTIFACT_DIR = '.dare/verification';
+export function mutationToolErrorMessage(tool, stack) {
+    return `Error: mutation tool '${tool}' not found on PATH for stack '${stack}'. Install it or set verification.mutation.enabled=false.`;
+}
+export function failToPassMissingMessage(taskId) {
+    return `Error: fail-to-pass spec required but no baseline recorded for '${taskId}'. Generate EXECUTION/${taskId}.tests.* first.`;
+}
+export function shouldRunVerification(args) {
+    if (args.noVerify)
+        return false;
+    if (args.verify)
+        return true;
+    return args.configEnabled;
+}
+export function applyFullMutationFlag(config, fullMutation) {
+    if (!fullMutation)
+        return config;
+    return {
+        ...config,
+        mutation: { ...config.mutation, incremental: false },
+    };
+}
+export function validateBestOf(n, max) {
+    if (!Number.isInteger(n) || n < 1 || n > max) {
+        return `Error: --best-of must be between 1 and ${max} (got ${n})`;
+    }
+    return undefined;
+}
+export function validatePolicy(policy) {
+    if (policy !== 'decay' && policy !== 'fixed') {
+        return `Error: --policy must be 'decay' or 'fixed' (got '${policy}')`;
+    }
+    return undefined;
+}
+export function applyPolicyOverride(config, policy) {
+    if (!policy)
+        return config;
+    return {
+        ...config,
+        loop: { ...config.loop, policy: policy },
+    };
+}
+export function resolveBestOfCount(bestOfFlag, config) {
+    return bestOfFlag ?? config.bestOfN.default;
+}
+export async function loadVerificationConfig(cwd, fullMutation) {
+    const raw = await readProjectConfig(cwd);
+    const config = parseVerificationConfig(raw);
+    return applyFullMutationFlag(config, fullMutation);
+}
+/** List changed files via git (argv, no shell). */
+export async function gitChangedFiles(cwd) {
+    const result = await safeSpawn('git', ['diff', '--name-only'], {
+        cwd,
+        timeoutSeconds: 30,
+        maxChars: 500000,
+    });
+    if (result.code !== 0)
+        return [];
+    return result.stdout
+        .split('\n')
+        .map((line) => line.trim())
+        .filter(Boolean);
+}
+export async function persistVerificationArtifact(cwd, taskId, patch) {
+    const file = path.join(cwd, VERIFICATION_ARTIFACT_DIR, `${taskId}.json`);
+    await fs.ensureDir(path.dirname(file));
+    const prev = (await fs.pathExists(file))
+        ? (await fs.readJson(file))
+        : {};
+    await fs.writeJson(file, { ...prev, ...patch }, { spaces: 2 });
+}
+export function gateToAspect(gate) {
+    if (gate === 'build' || gate === 'test' || gate === 'lint')
+        return gate;
+    return 'test';
+}
+export function formatVerdictOutput(verdict, verdictJson) {
+    if (verdictJson) {
+        console.log(JSON.stringify(verdict));
+        return;
+    }
+    console.log(`Loop verdict: ${verdict.action} (attempt ${verdict.attempt}, saturated=${verdict.saturated}) — ${verdict.reason}`);
+}
+export async function recordFailureAndVerdict(args) {
+    const sig = args.passed || !args.stderr
+        ? undefined
+        : failureSignature({
+            failedAspect: args.failedAspect ?? 'test',
+            stderr: args.stderr,
+        });
+    const attempt = await appendAttempt(args.cwd, args.taskId, {
+        at: new Date().toISOString(),
+        passed: args.passed,
+        failureSignature: sig,
+        failedAspect: args.passed ? undefined : args.failedAspect,
+    });
+    const history = await getAttempts(args.cwd, args.taskId);
+    const verdict = decideNextAction({
+        result: { passed: args.passed, failedAspect: args.failedAspect },
+        current: attempt,
+        history,
+        loop: args.loop,
+    });
+    formatVerdictOutput(verdict, args.verdictJson);
+    await persistVerificationArtifact(args.cwd, args.taskId, { verdict });
+    return verdict;
+}
+export async function runPostRalphVerification(args, runVerification = createRunVerification()) {
+    const config = await loadVerificationConfig(args.cwd, args.fullMutation);
+    if (!shouldRunVerification({
+        verify: args.verify,
+        noVerify: args.noVerify,
+        configEnabled: config.enabled,
+    })) {
+        return { ran: false, passed: true, exitCode: 0 };
+    }
+    try {
+        const changedFiles = await gitChangedFiles(args.cwd);
+        const verificationResult = await runVerification({
+            taskId: args.taskId,
+            stack: args.stack,
+            cwd: args.cwd,
+            config,
+            changedFiles,
+        });
+        if (verificationResult.passed) {
+            const verdict = {
+                action: 'DONE',
+                attempt: (await getAttempts(args.cwd, args.taskId)).length || 1,
+                saturated: false,
+                reason: 'verification passed',
+            };
+            formatVerdictOutput(verdict, args.verdictJson);
+            await persistVerificationArtifact(args.cwd, args.taskId, {
+                verificationResult,
+                verdict,
+            });
+            return {
+                ran: true,
+                passed: true,
+                exitCode: 0,
+                verificationResult,
+                verdict,
+            };
+        }
+        const failedAspect = verificationResult.aspects.find((a) => a.verdict === 'FAIL')
+            ?.aspect;
+        const verdict = await recordFailureAndVerdict({
+            cwd: args.cwd,
+            taskId: args.taskId,
+            stack: args.stack,
+            passed: false,
+            failedAspect,
+            stderr: verificationResult.aspects
+                .filter((a) => a.verdict === 'FAIL')
+                .map((a) => a.reason)
+                .join('\n'),
+            loop: config.loop,
+            verdictJson: args.verdictJson,
+        });
+        return {
+            ran: true,
+            passed: false,
+            exitCode: 1,
+            verificationResult,
+            verdict,
+        };
+    }
+    catch (err) {
+        if (err instanceof FailToPassMissingError) {
+            return {
+                ran: true,
+                passed: false,
+                exitCode: 4,
+                errorMessage: failToPassMissingMessage(args.taskId),
+            };
+        }
+        if (err instanceof MutationToolNotFoundError) {
+            return {
+                ran: true,
+                passed: false,
+                exitCode: 3,
+                errorMessage: mutationToolErrorMessage(err.tool, args.stack),
+            };
+        }
+        throw err;
+    }
+}
+//# sourceMappingURL=execute-verification.js.map

package/dist/commands/execute-verification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"execute-verification.js","sourceRoot":"","sources":["../../src/commands/execute-verification.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,UAAU,CAAC;AAQ1B,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACtE,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,yBAAyB,EAAE,MAAM,2CAA2C,CAAC;AACtF,OAAO,EACL,qBAAqB,GAEtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAE/D,MAAM,CAAC,MAAM,yBAAyB,GAAG,oBAAoB,CAAC;AAE9D,MAAM,UAAU,wBAAwB,CAAC,IAAY,EAAE,KAAa;IAClE,OAAO,yBAAyB,IAAI,kCAAkC,KAAK,2DAA2D,CAAC;AACzI,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,MAAc;IACrD,OAAO,mEAAmE,MAAM,yBAAyB,MAAM,iBAAiB,CAAC;AACnI,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAIrC;IACC,IAAI,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAChC,IAAI,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC7B,OAAO,IAAI,CAAC,aAAa,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,MAA0B,EAC1B,YAAsB;IAEtB,IAAI,CAAC,YAAY;QAAE,OAAO,MAAM,CAAC;IACjC,OAAO;QACL,GAAG,MAAM;QACT,QAAQ,EAAE,EAAE,GAAG,MAAM,CAAC,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE;KACrD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,CAAS,EAAE,GAAW;IACnD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;QAC7C,OAAO,0CAA0C,GAAG,SAAS,CAAC,GAAG,CAAC;IACpE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,IAAI,MAAM,KAAK,OAAO,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QAC7C,OAAO,oDAAoD,MAAM,IAAI,CAAC;IACxE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,MAA0B,EAC1B,MAAe;IAEf,IAAI,CAAC,MAAM;QAAE,OAAO,MAAM,CAAC;IAC3B,OAAO;QACL,GAAG,MAAM;QACT,IAAI,EAAE,EAAE,GAAG,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAA8C,EAAE;KACjF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,UAA8B,EAC9B,MAA0B;IAE1B,OAAO,UAAU,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;AAC9C,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,GAAW,EACX,YAAsB;IAEtB,MAAM,GAAG,GAAG,MAAM,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,uBAAuB,CAAC,GAAG,CAAC,CAAC;IAC5C,OAAO,qBAAqB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;AACrD,CAAC;AAED,mDAAmD;AACnD,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,GAAW;IAC/C,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE;QAC7D,GAAG;QACH,cAAc,EAAE,EAAE;QAClB,QAAQ,EAAE,MAAO;KAClB,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,OAAO,MAAM,CAAC,MAAM;SACjB,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;SAC1B,MAAM,CAAC,OAAO,CAAC,CAAC;AACrB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,GAAW,EACX,MAAc,EACd,KAA8B;IAE9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,yBAAyB,EAAE,GAAG,MAAM,OAAO,CAAC,CAAC;IACzE,MAAM,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC,CAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAA6B;QACxD,CAAC,CAAC,EAAE,CAAC;IACP,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,MAAM,UAAU,YAAY,CAAC,IAAa;IACxC,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACxE,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAoB,EAAE,WAAqB;IAC7E,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;QACrC,OAAO;IACT,CAAC;IACD,OAAO,CAAC,GAAG,CACT,iBAAiB,OAAO,CAAC,MAAM,aAAa,OAAO,CAAC,OAAO,eAAe,OAAO,CAAC,SAAS,OAAO,OAAO,CAAC,MAAM,EAAE,CACnH,CAAC;AACJ,CAAC;AAaD,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAAuB;IAEvB,MAAM,GAAG,GACP,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM;QACzB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,gBAAgB,CAAC;YACf,YAAY,EAAE,IAAI,CAAC,YAAY,IAAI,MAAM;YACzC,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAC,CAAC;IAET,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;QACzD,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAC5B,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,gBAAgB,EAAE,GAAG;QACrB,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY;KAC1D,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,gBAAgB,CAAC;QAC/B,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE;QAChE,OAAO,EAAE,OAAO;QAChB,OAAO;QACP,IAAI,EAAE,IAAI,CAAC,IAAI;KAChB,CAAC,CAAC;IAEH,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IAC/C,MAAM,2BAA2B,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IACtE,OAAO,OAAO,CAAC;AACjB,CAAC;AAqBD,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,IAA+B,EAC/B,eAAe,GAAG,qBAAqB,EAAE;IAEzC,MAAM,MAAM,GAAG,MAAM,sBAAsB,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;IACzE,IAAI,CAAC,qBAAqB,CAAC;QACzB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,aAAa,EAAE,MAAM,CAAC,OAAO;KAC9B,CAAC,EAAE,CAAC;QACH,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACnD,CAAC;IAED,IAAI,CAAC;QACH,MAAM,YAAY,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrD,MAAM,kBAAkB,GAAG,MAAM,eAAe,CAAC;YAC/C,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,MAAM;YACN,YAAY;SACoB,CAAC,CAAC;QAEpC,IAAI,kBAAkB,CAAC,MAAM,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAgB;gBAC3B,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,CAAC,MAAM,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC;gBAC/D,SAAS,EAAE,KAAK;gBAChB,MAAM,EAAE,qBAAqB;aAC9B,CAAC;YACF,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;YAC/C,MAAM,2BAA2B,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;gBACvD,kBAAkB;gBAClB,OAAO;aACR,CAAC,CAAC;YACH,OAAO;gBACL,GAAG,EAAE,IAAI;gBACT,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,CAAC;gBACX,kBAAkB;gBAClB,OAAO;aACR,CAAC;QACJ,CAAC;QAED,MAAM,YAAY,GAAG,kBAAkB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC;YAC/E,EAAE,MAAM,CAAC;QACX,MAAM,OAAO,GAAG,MAAM,uBAAuB,CAAC;YAC5C,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,KAAK;YACb,YAAY;YACZ,MAAM,EAAE,kBAAkB,CAAC,OAAO;iBAC/B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC;iBACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;iBACpB,IAAI,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,WAAW,EAAE,IAAI,CAAC,WAAW;SAC9B,CAAC,CAAC;QAEH,OAAO;YACL,GAAG,EAAE,IAAI;YACT,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE,CAAC;YACX,kBAAkB;YAClB,OAAO;SACR,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,sBAAsB,EAAE,CAAC;YAC1C,OAAO;gBACL,GAAG,EAAE,IAAI;gBACT,MAAM,EAAE,KAAK;gBACb,QAAQ,EAAE,CAAC;gBACX,YAAY,EAAE,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC;aACpD,CAAC;QACJ,CAAC;QACD,IAAI,GAAG,YAAY,yBAAyB,EAAE,CAAC;YAC7C,OAAO;gBACL,GAAG,EAAE,IAAI;gBACT,MAAM,EAAE,KAAK;gBACb,QAAQ,EAAE,CAAC;gBACX,YAAY,EAAE,wBAAwB,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;aAC7D,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;AACH,CAAC"}

package/dist/commands/execute.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"execute.d.ts","sourceRoot":"","sources":["../../src/commands/execute.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAiEpC,eAAO,MAAM,cAAc,SAkDvB,CAAC"}
+{"version":3,"file":"execute.d.ts","sourceRoot":"","sources":["../../src/commands/execute.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAwFpC,eAAO,MAAM,cAAc,SAyDvB,CAAC"}

package/dist/commands/execute.js

@@ -9,6 +9,11 @@ import { DEFAULT_STATE_PATH, loadAndApplyState, saveState, } from '../dag-runner
 import { resolveStackFromConfig, runRalphLoop, } from '../dag-runner/ralph-loop.js';
 import { runReview } from '../utils/ReviewRunner.js';
 import { readProjectConfig } from '../utils/UpdateDetector.js';
+import { gateToAspect, loadVerificationConfig, recordFailureAndVerdict, runPostRalphVerification, shouldRunVerification, validateBestOf, validatePolicy, applyPolicyOverride, resolveBestOfCount, } from './execute-verification.js';
+import { recordVerification } from '../verification/telemetry.js';
+import { runBestOfN } from '../verification/best-of-n/runner.js';
+import { createLogger } from '../utils/logger.js';
+const execLog = createLogger('execute');
 export const executeCommand = new Command('execute')
     .description('Orchestrate DAG execution (the IDE agent runs each task)')
     .option('--dag <file>', 'Path to dare-dag.yaml', 'DARE/dare-dag.yaml')
@@ -24,6 +29,13 @@ export const executeCommand = new Command('execute')
     .option('--duration <ms>', 'Task duration in ms (used with --complete)')
     .option('--no-graph', 'Skip knowledge-graph ingestion for this call', false)
     .option('--parallel-hint', 'When using --next, mark every rank-equal task as RUNNING', false)
+    .option('--verify', 'Run verification core after Ralph Loop passes', false)
+    .option('--no-verify', 'Skip verification even when enabled in dare.config.json', false)
+    .option('--full-mutation', 'Disable incremental mutation for this completion', false)
+    .option('--verdict-json', 'Emit LoopVerdict as JSON on stdout', false)
+    .option('--best-of <n>', 'Run N verification candidates (best-of-N)')
+    .option('--policy <p>', 'Override loop policy (decay|fixed)')
+    .option('--prerank', 'Enable exec-free prerank ordering (never authorizes DONE)', false)
     .action(async (options) => {
     const cwd = process.cwd();
     const dagPath = path.resolve(cwd, options.dag);
@@ -137,6 +149,28 @@ async function handleComplete(dag, options, stateFile, canvasPath, graph) {
             `--- stderr ---`,
             (result.stderr ?? '').trim(),
         ].join('\n');
+        try {
+            const config = await loadVerificationConfig(cwd, options.fullMutation);
+            if (shouldRunVerification({
+                verify: options.verify,
+                noVerify: options.noVerify,
+                configEnabled: config.enabled,
+            })) {
+                await recordFailureAndVerdict({
+                    cwd,
+                    taskId,
+                    stack,
+                    passed: false,
+                    failedAspect: gateToAspect(result.failedAt),
+                    stderr: result.stderr ?? errorBody,
+                    loop: config.loop,
+                    verdictJson: options.verdictJson,
+                });
+            }
+        }
+        catch {
+            // decay is best-effort when config is invalid — Ralph failure still blocks DONE
+        }
         markFailed(dag, taskId, {
             error: errorBody,
             durationMs: reportedDuration ?? ralphMs,
@@ -169,14 +203,117 @@ async function handleComplete(dag, options, stateFile, canvasPath, graph) {
         await persist(dag, stateFile, canvasPath);
         process.exit(1);
     }
-    // Gates passed — mark DONE
+    let verificationConfig = await loadVerificationConfig(cwd, options.fullMutation);
+    if (options.policy) {
+        const policyErr = validatePolicy(options.policy);
+        if (policyErr) {
+            console.error(chalk.red(policyErr));
+            process.exit(1);
+        }
+        verificationConfig = applyPolicyOverride(verificationConfig, options.policy);
+    }
+    const bestOfN = options.bestOf
+        ? parseInt(options.bestOf, 10)
+        : resolveBestOfCount(undefined, verificationConfig);
+    const bestOfErr = validateBestOf(bestOfN, verificationConfig.bestOfN.max);
+    if (bestOfErr) {
+        console.error(chalk.red(bestOfErr));
+        process.exit(1);
+    }
+    if (options.prerank) {
+        verificationConfig = {
+            ...verificationConfig,
+            prerank: { enabled: true },
+        };
+    }
+    let verification;
+    if (bestOfN > 1 &&
+        shouldRunVerification({
+            verify: options.verify,
+            noVerify: options.noVerify,
+            configEnabled: verificationConfig.enabled,
+        })) {
+        try {
+            const { winner } = await runBestOfN({
+                taskId,
+                repoRoot: cwd,
+                n: bestOfN,
+                stack,
+                config: verificationConfig,
+                fillCandidate: async () => {
+                    /* Skill/agent fills worktrees; CLI only orchestrates verification. */
+                },
+            });
+            verification = {
+                ran: true,
+                passed: winner.verification.passed,
+                exitCode: winner.verification.passed ? 0 : 1,
+                verificationResult: winner.verification,
+            };
+        }
+        catch (err) {
+            const msg = err instanceof Error ? err.message : String(err);
+            console.error(chalk.red(`Error: best-of-N failed: ${msg}`));
+            markFailed(dag, taskId, { error: msg, durationMs: reportedDuration ?? ralphMs, graph });
+            await persist(dag, stateFile, canvasPath);
+            process.exit(1);
+        }
+    }
+    else {
+        verification = await runPostRalphVerification({
+            taskId,
+            cwd,
+            stack,
+            verify: options.verify,
+            noVerify: options.noVerify,
+            fullMutation: options.fullMutation,
+            verdictJson: options.verdictJson,
+        });
+    }
+    if (verification.errorMessage) {
+        console.error(chalk.red(verification.errorMessage));
+        markFailed(dag, taskId, {
+            error: verification.errorMessage,
+            durationMs: reportedDuration ?? ralphMs,
+            graph,
+        });
+        await persist(dag, stateFile, canvasPath);
+        process.exit(verification.exitCode);
+    }
+    if (verification.ran && !verification.passed) {
+        const failReason = verification.verificationResult?.aspects
+            .filter((a) => a.verdict === 'FAIL')
+            .map((a) => `${a.aspect}: ${a.reason}`)
+            .join('; ') ?? 'verification failed';
+        markFailed(dag, taskId, {
+            error: failReason,
+            durationMs: reportedDuration ?? ralphMs,
+            graph,
+        });
+        console.log(chalk.red.bold(`\n❌ ${taskId} FAILED — verification blocked DONE.`));
+        console.log(chalk.gray(`   ${failReason}`));
+        await persist(dag, stateFile, canvasPath);
+        process.exit(1);
+    }
+    if (verification.ran &&
+        verification.verificationResult &&
+        graph &&
+        !options.noGraph) {
+        try {
+            recordVerification(graph, verification.verificationResult);
+        }
+        catch (err) {
+            execLog.warn({ err: err instanceof Error ? err.message : String(err), taskId }, 'telemetry write failed (best-effort)');
+        }
+    }
     const task = markDone(dag, taskId, {
         output: options.output,
         tokens,
         durationMs: reportedDuration ?? ralphMs,
         graph,
     });
-    console.log(chalk.green.bold(`\n✅ ${task.id} DONE — Ralph Loop passed in ${ralphMs}ms.`));
+    const verifyNote = verification.ran ? ' + verification PASS' : '';
+    console.log(chalk.green.bold(`\n✅ ${task.id} DONE — Ralph Loop passed in ${ralphMs}ms${verifyNote}.`));
     if (task.tokens)
         console.log(chalk.gray(`   tokens: ${task.tokens}`));
     await persist(dag, stateFile, canvasPath);