@kernlang/cli 3.1.6 → 3.1.8

package/dist/cli.js

@@ -1,2450 +1,50 @@
 #!/usr/bin/env node
-import { readFileSync, writeFileSync, existsSync, mkdirSync, readdirSync, statSync, unlinkSync } from 'fs';
-import { resolve, basename, dirname, relative } from 'path';
-import { createJiti } from 'jiti';
-import { parseWithDiagnostics, decompile, resolveConfig, VALID_TARGETS, VALID_STRUCTURES, generateCoreNode, isCoreNode, detectVersionsFromPackageJson, scanProject, generateConfigSource, formatScanSummary, registerTemplate, isTemplateNode, expandTemplateNode, clearTemplates, detectTemplates, COMMON_TEMPLATES, collectCoverageGaps, writeCoverageGaps, NODE_TYPES } from '@kernlang/core';
-import { generateReactNode, isReactNode } from '@kernlang/react';
-import { transpile } from '@kernlang/native';
-import { transpileWeb, transpileTailwind, transpileNextjs } from '@kernlang/react';
-import { transpileExpress } from '@kernlang/express';
-import { transpileFastAPI } from '@kernlang/fastapi';
-import { transpileMCP } from '@kernlang/mcp';
-import { transpileCliApp } from './transpiler-cli.js';
-import { transpileTerminal, transpileInk } from '@kernlang/terminal';
-import { transpileVue, transpileNuxt } from '@kernlang/vue';
-import { collectLanguageMetrics } from '@kernlang/metrics';
-import { reviewFile, reviewGraph, resolveImportGraph, formatReport, formatSARIF, formatSummary, checkEnforcement, formatEnforcement, exportKernIR, buildLLMPrompt, dedup, runESLint, runTSCDiagnosticsFromPaths, linkToNodes, runLLMReview, isLLMAvailable, analyzeTaint, checkSpecFiles, specViolationsToFindings, clearReviewCache, getRuleRegistry } from '@kernlang/review';
-import { evolve, loadBuiltinDetectors, listStaged, updateStagedStatus, promoteLocal, cleanRejected, formatSplitView, loadEvolvedNodes, runGoldenTests, formatGoldenTestResults, rollbackNode, restoreNode, readEvolvedManifest, buildDiscoveryPrompt, parseDiscoveryResponse, selectRepresentativeFiles, collectTsFiles, estimateTokens, createLLMProvider, TokenBudget, validateEvolveProposal, graduateNode, compileCodegenToJS, stageEvolveV4Proposal, listStagedEvolveV4, getStagedEvolveV4, updateStagedEvolveV4Status, cleanRejectedEvolveV4, cleanApprovedEvolveV4, formatEvolveV4SplitView, promoteNode, pruneNodes, detectCollisions, renameEvolvedNode, readNodeDefinition, buildBackfillPrompt, buildRetryPrompt, rebuildEvolvedManifest } from '@kernlang/evolve';
+import { runCompile } from './commands/compile.js';
+import { runConfidence } from './commands/confidence.js';
+import { runDev } from './commands/dev.js';
+import { routeEvolve } from './commands/evolve/index.js';
+import { runImport } from './commands/import.js';
+import { runInit } from './commands/init.js';
+import { runReview } from './commands/review.js';
+import { runInitTemplates, runScan } from './commands/scan.js';
+import { runSchema } from './commands/schema.js';
+import { runTest } from './commands/test.js';
+import { printHelp, runTranspile } from './commands/transpile.js';
 const args = process.argv.slice(2);
-const GENERATED_HEADER = '// Generated by KERN — do not edit. Source: ';
-function surfaceParseDiagnostics(diagnostics, file) {
-    if (diagnostics.length === 0)
+const cmd = args[0];
+// ── Command registry ─────────────────────────────────────────────────────
+const COMMANDS = {
+    dev: runDev,
+    compile: runCompile,
+    init: runInit,
+    test: runTest,
+    scan: runScan,
+    'init-templates': runInitTemplates,
+    import: runImport,
+    review: runReview,
+    confidence: runConfidence,
+    schema: runSchema,
+};
+async function main() {
+    // Route evolve commands (evolve + evolve:*)
+    if (cmd === 'evolve' || cmd?.startsWith('evolve:')) {
+        await routeEvolve(args);
         return;
-    const prefix = file ? `${file}: ` : '';
-    for (const diagnostic of diagnostics) {
-        const tag = diagnostic.severity === 'error' ? 'ERROR' : diagnostic.severity === 'warning' ? 'WARN' : 'INFO';
-        console.error(`  ${prefix}[${tag}] ${diagnostic.code}: ${diagnostic.message}`);
     }
-}
-function parseAndSurface(source, file) {
-    const result = parseWithDiagnostics(source);
-    surfaceParseDiagnostics(result.diagnostics, file);
-    return result.root;
-}
-// ── kern dev <dir|file> [--target=...] [--outdir=...] ─────────────────
-if (args[0] === 'dev') {
-    const devInput = args[1];
-    if (!devInput) {
-        console.error('Usage: kern dev <file.kern|dir> [--target=nextjs] [--outdir=<dir>]');
-        process.exit(1);
-    }
-    const inputPath = resolve(devInput);
-    const stat = existsSync(inputPath) ? statSync(inputPath) : null;
-    if (!stat) {
-        console.error(`Not found: ${devInput}`);
-        process.exit(1);
-    }
-    const watchDir = stat.isDirectory() ? inputPath : dirname(inputPath);
-    const watchPattern = stat.isDirectory() ? undefined : basename(inputPath);
-    // Load config
-    const devConfig = loadConfig();
-    // CLI overrides
-    const devCliTarget = args.find(a => a.startsWith('--target='))?.split('=')[1];
-    if (devCliTarget) {
-        if (!VALID_TARGETS.includes(devCliTarget)) {
-            console.error(`Unknown target: '${devCliTarget}'.`);
-            process.exit(1);
-        }
-        devConfig.target = devCliTarget;
-    }
-    const devOutDir = args.find(a => a.startsWith('--outdir='))?.split('=')[1];
-    // Auto-detect framework versions from nearest package.json (walk up from watchDir)
-    const pkgPath = findNearestPackageJson(watchDir);
-    if (pkgPath && Object.keys(devConfig.frameworkVersions).length === 0) {
-        try {
-            const pkg = JSON.parse(readFileSync(pkgPath, 'utf-8'));
-            const detected = detectVersionsFromPackageJson(pkg);
-            if (detected.tailwind || detected.nextjs) {
-                devConfig.frameworkVersions = { ...devConfig.frameworkVersions, ...detected };
-                const parts = [];
-                if (detected.tailwind)
-                    parts.push(`Tailwind ${detected.tailwind}`);
-                if (detected.nextjs)
-                    parts.push(`Next.js ${detected.nextjs}`);
-                console.log(`  Auto-detected: ${parts.join(', ')}`);
-            }
-        }
-        catch {
-            // Intentional: package.json detection is optional — build continues without it
-        }
-    }
-    // Load templates before compilation
-    loadTemplates(devConfig);
-    // Load evolved nodes (v4) — graduated nodes from .kern/evolved/
-    const evolvedResult = loadEvolvedNodes(process.cwd(), args.includes('--verify'));
-    if (evolvedResult.loaded > 0) {
-        console.log(`  Evolved nodes: ${evolvedResult.loaded} loaded`);
-    }
-    console.log(`\n  KERN dev — watching for changes`);
-    console.log(`  Target: ${devConfig.target}`);
-    console.log(`  Watch:  ${relative(process.cwd(), watchDir) || '.'}`);
-    console.log('');
-    // Initial build of all .kern files
-    const initialFiles = findKernFiles(watchDir, watchPattern);
-    for (const file of initialFiles) {
-        transpileAndWrite(file, devConfig, devOutDir, watchDir);
-    }
-    if (initialFiles.length > 0) {
-        console.log(`  ${initialFiles.length} file(s) compiled.\n`);
-    }
-    // Watch for changes
-    import('chokidar').then(({ watch }) => {
-        const globPattern = watchPattern
-            ? resolve(watchDir, watchPattern)
-            : resolve(watchDir, '**/*.kern');
-        const watcher = watch(globPattern, {
-            ignoreInitial: true,
-            awaitWriteFinish: { stabilityThreshold: 100, pollInterval: 50 },
-        });
-        watcher.on('change', (filePath) => {
-            const rel = relative(process.cwd(), filePath);
-            const start = performance.now();
-            try {
-                transpileAndWrite(filePath, devConfig, devOutDir, watchDir);
-                const ms = Math.round(performance.now() - start);
-                console.log(`  ${rel} → compiled (${ms}ms)`);
-            }
-            catch (err) {
-                console.error(`  ${rel} → ERROR: ${err.message}`);
-            }
-        });
-        watcher.on('add', (filePath) => {
-            const rel = relative(process.cwd(), filePath);
-            const start = performance.now();
-            try {
-                transpileAndWrite(filePath, devConfig, devOutDir, watchDir);
-                const ms = Math.round(performance.now() - start);
-                console.log(`  ${rel} → compiled (${ms}ms)`);
-            }
-            catch (err) {
-                console.error(`  ${rel} → ERROR: ${err.message}`);
-            }
-        });
-        watcher.on('unlink', (filePath) => {
-            const rel = relative(process.cwd(), filePath);
-            const ext = filePath.endsWith('.kern') ? '.kern' : '.ir';
-            const fileBaseName = basename(filePath, ext);
-            const unlinkRelDir = relative(resolve(watchDir), dirname(filePath));
-            const unlinkBaseDir = devOutDir ? resolve(resolve(devOutDir), unlinkRelDir) : dirname(filePath);
-            const outDir = resolve(unlinkBaseDir, devConfig.output.outDir);
-            const outExt = devConfig.target === 'fastapi' ? '.py'
-                : (devConfig.target === 'vue' || devConfig.target === 'nuxt') ? '.vue'
-                    : (devConfig.target === 'express' || devConfig.target === 'cli' || devConfig.target === 'terminal') ? '.ts' : '.tsx';
-            const outFile = resolve(outDir, `${fileBaseName}${outExt}`);
-            try {
-                if (existsSync(outFile)) {
-                    unlinkSync(outFile);
-                    console.log(`  ${rel} → deleted generated file`);
-                }
-            }
-            catch (err) {
-                console.error(`  ${rel} → ERROR deleting: ${err.message}`);
-            }
-        });
-        console.log('  Watching for changes... (Ctrl+C to stop)\n');
-    }).catch((err) => {
-        console.error(`kern dev requires chokidar: npm install chokidar`);
-        process.exit(1);
-    });
-    // Keep process alive
-    process.on('SIGINT', () => {
-        console.log('\n  KERN dev stopped.');
-        process.exit(0);
-    });
-    // Don't fall through to standard transpile
-    // Keep event loop running by not calling process.exit()
-    await new Promise(() => { }); // eslint-disable-line @typescript-eslint/no-empty-function
-}
-function findNearestPackageJson(startDir) {
-    let dir = startDir;
-    while (true) {
-        const candidate = resolve(dir, 'package.json');
-        if (existsSync(candidate))
-            return candidate;
-        const parent = dirname(dir);
-        if (parent === dir)
-            return null; // hit root
-        dir = parent;
-    }
-}
-function findKernFiles(dir, singleFile) {
-    if (singleFile)
-        return [resolve(dir, singleFile)];
-    const files = [];
-    function walk(d) {
-        for (const entry of readdirSync(d)) {
-            const full = resolve(d, entry);
-            const s = statSync(full);
-            if (s.isDirectory() && !entry.startsWith('.') && entry !== 'node_modules' && entry !== 'dist') {
-                walk(full);
-            }
-            else if (entry.endsWith('.kern')) {
-                files.push(full);
-            }
-        }
-    }
-    walk(dir);
-    return files;
-}
-function transpileAndWrite(file, cfg, outDirOverride, inputBase) {
-    const source = readFileSync(file, 'utf-8');
-    const ast = parseAndSurface(source, file);
-    const ext = file.endsWith('.kern') ? '.kern' : '.ir';
-    const name = basename(file, ext);
-    const target = cfg.target;
-    const relSource = relative(process.cwd(), file);
-    const header = GENERATED_HEADER + relSource + '\n\n';
-    // Emit coverage gaps unless --no-gaps
-    if (!args.includes('--no-gaps')) {
-        const gaps = collectCoverageGaps(ast, file);
-        if (gaps.length > 0) {
-            writeCoverageGaps(gaps, resolve(process.cwd(), '.kern-gaps'));
-        }
-    }
-    const result = target === 'native'
-        ? transpile(ast, cfg)
-        : target === 'web'
-            ? transpileWeb(ast, cfg)
-            : target === 'tailwind'
-                ? transpileTailwind(ast, cfg)
-                : target === 'mcp'
-                    ? transpileMCP(ast, cfg)
-                    : target === 'express'
-                        ? transpileExpress(ast, cfg)
-                        : target === 'fastapi'
-                            ? transpileFastAPI(ast, cfg)
-                            : target === 'cli'
-                                ? transpileCliApp(ast, cfg)
-                                : target === 'terminal'
-                                    ? transpileTerminal(ast, cfg)
-                                    : target === 'ink'
-                                        ? transpileInk(ast, cfg)
-                                        : target === 'vue'
-                                            ? transpileVue(ast, cfg)
-                                            : target === 'nuxt'
-                                                ? transpileNuxt(ast, cfg)
-                                                : transpileNextjs(ast, cfg);
-    // Preserve relative directory structure when outDirOverride is set
-    // e.g. kern/llm/patterns.kern with --outdir=app/ → app/llm/page.tsx (not app/page.tsx)
-    const relDir = inputBase ? relative(resolve(inputBase), dirname(file)) : '';
-    const baseDir = outDirOverride ? resolve(resolve(outDirOverride), relDir) : dirname(file);
-    const outDir = resolve(baseDir, cfg.output.outDir);
-    mkdirSync(outDir, { recursive: true });
-    if (result.artifacts && result.artifacts.length > 0 && cfg.structure !== 'flat') {
-        for (const artifact of result.artifacts) {
-            const artifactPath = resolve(outDir, artifact.path);
-            mkdirSync(dirname(artifactPath), { recursive: true });
-            writeFileSync(artifactPath, header + artifact.content);
-        }
-    }
-    else {
-        const outExt = target === 'fastapi' ? '.py'
-            : (target === 'vue' || target === 'nuxt') ? '.vue'
-                : (target === 'express' || target === 'cli' || target === 'terminal' || target === 'mcp') ? '.ts'
-                    : '.tsx';
-        // For Next.js target, use the file convention name from the transpiler result (page.tsx, layout.tsx, etc.)
-        const resultWithFiles = result;
-        const outFileName = (target === 'nextjs' && resultWithFiles.files && resultWithFiles.files.length > 0)
-            ? resultWithFiles.files[0].path
-            : `${name}${outExt}`;
-        const outFilePath = resolve(outDir, outFileName);
-        mkdirSync(dirname(outFilePath), { recursive: true });
-        writeFileSync(outFilePath, header + result.code);
-        if (result.artifacts) {
-            for (const artifact of result.artifacts) {
-                const artifactPath = resolve(outDir, artifact.path);
-                mkdirSync(dirname(artifactPath), { recursive: true });
-                writeFileSync(artifactPath, header + artifact.content);
-            }
-        }
-    }
-}
-function loadConfig() {
-    const configPath = resolve(process.cwd(), 'kern.config.ts');
-    if (existsSync(configPath)) {
-        try {
-            const jiti = createJiti(import.meta.url);
-            const mod = jiti(configPath);
-            const userConfig = mod.default ?? mod;
-            return resolveConfig(userConfig);
-        }
-        catch (err) {
-            console.error(`Warning: Failed to load kern.config.ts: ${err.message}`);
-        }
-    }
-    // No kern.config.ts — auto-detect target from package.json
-    const autoDetected = autoDetectTarget();
-    return resolveConfig(autoDetected ? { target: autoDetected } : {});
-}
-function autoDetectTarget() {
-    const pkgPath = resolve(process.cwd(), 'package.json');
-    if (!existsSync(pkgPath))
-        return null;
-    try {
-        const pkg = JSON.parse(readFileSync(pkgPath, 'utf-8'));
-        const allDeps = { ...pkg.dependencies, ...pkg.devDependencies };
-        // Priority: most specific first
-        if (allDeps['next'])
-            return 'nextjs';
-        if (allDeps['nuxt'])
-            return 'nuxt';
-        if (allDeps['vue'])
-            return 'vue';
-        if (allDeps['react-native'])
-            return 'native';
-        if (allDeps['fastapi'])
-            return 'fastapi';
-        if (allDeps['flask'] || allDeps['django']) {
-            console.warn(`Warning: ${allDeps['flask'] ? 'Flask' : 'Django'} detected but no dedicated target — falling back to 'express' (generates TypeScript, not Python). Use --target=fastapi for Python output.`);
-            return 'express';
-        }
-        if (allDeps['express'] || allDeps['fastify'] || allDeps['koa'] || allDeps['hono'])
-            return 'express';
-        if (allDeps['tailwindcss'] && allDeps['react'])
-            return 'tailwind';
-        if (allDeps['react'])
-            return 'web';
-        return null;
-    }
-    catch {
-        return null;
-    }
-}
-function loadTemplates(cfg) {
-    clearTemplates();
-    if (!cfg.templates || cfg.templates.length === 0)
+    // Route standard commands
+    const handler = cmd ? COMMANDS[cmd] : undefined;
+    if (handler) {
+        await handler(args);
         return;
-    for (const templatePath of cfg.templates) {
-        const resolved = resolve(process.cwd(), templatePath);
-        if (!existsSync(resolved))
-            continue;
-        const stat = statSync(resolved);
-        const files = [];
-        if (stat.isDirectory()) {
-            for (const entry of readdirSync(resolved)) {
-                if (entry.endsWith('.kern'))
-                    files.push(resolve(resolved, entry));
-            }
-        }
-        else if (resolved.endsWith('.kern')) {
-            files.push(resolved);
-        }
-        for (const file of files) {
-            try {
-                const source = readFileSync(file, 'utf-8');
-                const ast = parseAndSurface(source, file);
-                // Register top-level template nodes
-                const nodes = ast.type === 'template' ? [ast] : (ast.children || []).filter(n => n.type === 'template');
-                for (const node of nodes) {
-                    registerTemplate(node, file);
-                }
-            }
-            catch (err) {
-                console.error(`  Warning: Failed to load template ${basename(file)}: ${err.message}`);
-            }
-        }
-    }
-}
-// ── kern compile <dir|file> --outdir=<dir> ────────────────────────────
-if (args[0] === 'compile') {
-    const compileInput = args[1];
-    const outDirArg = args.find(a => a.startsWith('--outdir='))?.split('=')[1];
-    if (!compileInput) {
-        console.error('Usage: kern compile <file.kern|dir> --outdir=<dir>');
-        process.exit(1);
-    }
-    const outDir = resolve(outDirArg || 'generated');
-    mkdirSync(outDir, { recursive: true });
-    const inputPath = resolve(compileInput);
-    const stat = existsSync(inputPath) ? statSync(inputPath) : null;
-    const kernFiles = [];
-    if (stat && stat.isDirectory()) {
-        for (const f of readdirSync(inputPath)) {
-            if (f.endsWith('.kern'))
-                kernFiles.push(resolve(inputPath, f));
-        }
-    }
-    else if (stat && stat.isFile()) {
-        kernFiles.push(inputPath);
-    }
-    else {
-        console.error(`Not found: ${compileInput}`);
-        process.exit(1);
-    }
-    if (kernFiles.length === 0) {
-        console.error(`No .kern files found in: ${compileInput}`);
-        process.exit(1);
-    }
-    // Load templates from config before compile
-    const compileConfig = loadConfig();
-    loadTemplates(compileConfig);
-    let compiled = 0;
-    for (const file of kernFiles) {
-        const source = readFileSync(file, 'utf-8');
-        const ast = parseAndSurface(source, file);
-        const lines = [];
-        let hasReactNodes = false;
-        // Generate TypeScript for all core + React + template nodes (root + children)
-        function processNode(node) {
-            if (isCoreNode(node.type)) {
-                lines.push(...generateCoreNode(node));
-                lines.push('');
-                // hook generates React imports, so flag it
-                if (node.type === 'hook')
-                    hasReactNodes = true;
-            }
-            else if (isTemplateNode(node.type)) {
-                lines.push(...expandTemplateNode(node));
-                lines.push('');
-            }
-            else if (isReactNode(node.type)) {
-                lines.push(...generateReactNode(node));
-                lines.push('');
-                hasReactNodes = true;
-            }
-        }
-        processNode(ast);
-        if (ast.children) {
-            for (const child of ast.children) {
-                processNode(child);
-            }
-        }
-        if (lines.length > 0) {
-            // Use .tsx for files with React nodes (JSX output), .ts otherwise
-            const ext = hasReactNodes ? '.tsx' : '.ts';
-            const outName = basename(file, '.kern') + ext;
-            const outFile = resolve(outDir, outName);
-            writeFileSync(outFile, lines.join('\n') + '\n');
-            console.log(`  ${basename(file)} → ${outName}`);
-            compiled++;
-        }
-        else {
-            console.log(`  ${basename(file)} → (no core nodes, skipped)`);
-        }
-    }
-    console.log(`\nCompiled ${compiled}/${kernFiles.length} files → ${outDir}`);
-    process.exit(0);
-}
-// ── kern scan [--force] [--dry-run] ─────────────────────────────────────
-if (args[0] === 'scan') {
-    const scanCwd = process.cwd();
-    const force = args.includes('--force');
-    const dryRun = args.includes('--dry-run');
-    const result = scanProject(scanCwd);
-    console.log(formatScanSummary(result));
-    if (dryRun) {
-        console.log('  --dry-run: no files written.\n');
-        console.log(generateConfigSource(result));
-        process.exit(0);
-    }
-    const configOutPath = resolve(scanCwd, 'kern.config.ts');
-    if (existsSync(configOutPath) && !force) {
-        console.log('  kern.config.ts already exists. Use --force to overwrite.\n');
-        process.exit(0);
-    }
-    writeFileSync(configOutPath, generateConfigSource(result));
-    console.log('  Written: kern.config.ts\n');
-    process.exit(0);
-}
-// ── kern init-templates [--force] [--dry-run] ───────────────────────────
-if (args[0] === 'init-templates') {
-    const force = args.includes('--force');
-    const dryRun = args.includes('--dry-run');
-    const initCwd = process.cwd();
-    const templatesDir = resolve(initCwd, 'templates');
-    // Find package.json
-    const pkgPath = findNearestPackageJson(initCwd);
-    if (!pkgPath) {
-        console.error('No package.json found. Run this in a project directory.');
-        process.exit(1);
-    }
-    const pkg = JSON.parse(readFileSync(pkgPath, 'utf-8'));
-    const detected = detectTemplates(pkg);
-    console.log('\n  KERN init-templates — scanning dependencies\n');
-    if (detected.length === 0 && !force) {
-        console.log('  No recognized libraries detected.');
-        console.log('  Common templates (arrow-fn, window-event) will still be created.\n');
-    }
-    // Collect all template files to write
-    const filesToWrite = { ...COMMON_TEMPLATES };
-    for (const entry of detected) {
-        console.log(`  Detected: ${entry.libraryName} (${entry.packageName})`);
-        Object.assign(filesToWrite, entry.templates);
-    }
-    if (dryRun) {
-        console.log(`\n  --dry-run: would create ${Object.keys(filesToWrite).length} template files in templates/\n`);
-        for (const name of Object.keys(filesToWrite).sort()) {
-            console.log(`    templates/${name}`);
-        }
-        process.exit(0);
-    }
-    mkdirSync(templatesDir, { recursive: true });
-    let written = 0;
-    let skipped = 0;
-    for (const [name, content] of Object.entries(filesToWrite)) {
-        const outPath = resolve(templatesDir, name);
-        if (existsSync(outPath) && !force) {
-            console.log(`  skip: templates/${name} (exists, use --force)`);
-            skipped++;
-            continue;
-        }
-        writeFileSync(outPath, content);
-        console.log(`  wrote: templates/${name}`);
-        written++;
-    }
-    // Update kern.config.ts to include templates path
-    const configPath = resolve(initCwd, 'kern.config.ts');
-    if (existsSync(configPath)) {
-        const configContent = readFileSync(configPath, 'utf-8');
-        if (!configContent.includes('templates')) {
-            console.log('\n  Note: Add templates to your kern.config.ts:');
-            console.log("    templates: ['./templates/'],\n");
-        }
-    }
-    else {
-        // Create a minimal kern.config.ts
-        const configSource = [
-            'export default {',
-            "  target: 'web',",
-            "  templates: ['./templates/'],",
-            '};',
-            '',
-        ].join('\n');
-        writeFileSync(configPath, configSource);
-        console.log('  wrote: kern.config.ts');
-        written++;
-    }
-    console.log(`\n  Done: ${written} written, ${skipped} skipped.`);
-    if (detected.length > 0) {
-        console.log(`  Templates ready for: ${detected.map(d => d.libraryName).join(', ')}`);
-    }
-    console.log('');
-    process.exit(0);
-}
-async function runReviewPipeline(reviewConfig, entryFilePaths, modes) {
-    const { graphMode, batchMode, llmMode, cloudMode, securityMode, mcpMode, specMode, fixMode, autofixMode, lintMode, exportKern, enforce, jsonOutput, sarifOutput, maxDepth, batchSize, tsconfigPath, specFile, minCoverageArg, maxComplexityArg, maxErrorsArg, maxWarningsArg, showConfidence } = modes;
-    let reports = [];
-    if (graphMode && entryFilePaths.length > 0) {
-        // --graph: resolve import graph, review all files with provenance
-        const graphOpts = { maxDepth, tsConfigFilePath: tsconfigPath ? resolve(tsconfigPath) : undefined };
-        const graph = resolveImportGraph(entryFilePaths, graphOpts);
-        console.log(`  Graph: ${graph.totalFiles} files resolved (${graph.skipped} skipped, depth ${maxDepth})`);
-        reports = reviewGraph(entryFilePaths, reviewConfig, graphOpts);
-    }
-    else if (batchMode && entryFilePaths.length > batchSize) {
-        // --batch: process in chunks for large repos
-        const totalBatches = Math.ceil(entryFilePaths.length / batchSize);
-        for (let i = 0; i < entryFilePaths.length; i += batchSize) {
-            const batch = entryFilePaths.slice(i, i + batchSize);
-            const batchNum = Math.floor(i / batchSize) + 1;
-            for (const f of batch) {
-                try {
-                    reports.push(reviewFile(f, reviewConfig));
-                }
-                catch (e) {
-                    console.error(`  Review error in ${f}: ${e.message}`);
-                }
-            }
-            const batchFindings = reports.slice(-batch.length).reduce((sum, r) => sum + r.findings.length, 0);
-            console.log(`  Batch ${batchNum}/${totalBatches}: ${batch.length} files reviewed (${batchFindings} findings)`);
-        }
-    }
-    else {
-        // Standard mode: review each file individually
-        for (const f of entryFilePaths) {
-            try {
-                reports.push(reviewFile(f, reviewConfig));
-            }
-            catch (e) {
-                console.error(`  Review error in ${f}: ${e.message}`);
-            }
-        }
-    }
-    if (reports.length === 0) {
-        console.log('  No reviewable files found (.ts/.tsx/.py/.kern).');
-        return { reports, exitCode: 0 };
-    }
-    // MCP security review — --mcp flag or auto-detect MCP server files
-    try {
-        const { reviewIfMCP, reviewMCPSource } = await import('@kernlang/review-mcp');
-        let mcpFileCount = 0;
-        for (const report of reports) {
-            const source = readFileSync(report.filePath, 'utf-8');
-            const mcpFindings = mcpMode
-                ? reviewMCPSource(source, report.filePath)
-                : reviewIfMCP(source, report.filePath);
-            if (mcpFindings && mcpFindings.length > 0) {
-                report.findings.push(...mcpFindings);
-                mcpFileCount++;
-            }
-        }
-        if (mcpFileCount > 0 && !jsonOutput && !sarifOutput) {
-            console.log(`  MCP security: ${mcpFileCount} server file(s) scanned`);
-        }
     }
-    catch {
-        // @kernlang/review-mcp not installed — skip silently
-        if (mcpMode) {
-            console.error('  @kernlang/review-mcp not installed. Run: pnpm add @kernlang/review-mcp');
-        }
-    }
-    // --export-kern: output KERN IR for AI review (v1 compat)
-    if (exportKern) {
-        for (const report of reports) {
-            console.log(`\n// ── ${report.filePath} ──`);
-            console.log(exportKernIR(report.inferred, report.templateMatches));
-        }
-        return { reports, exitCode: 0 };
-    }
-    // --spec: verify .kern spec contracts against .ts implementation
-    if (specMode && specFile) {
-        const kernFilePath = resolve(specFile);
-        if (!existsSync(kernFilePath)) {
-            console.error(`  .kern spec file not found: ${specFile}`);
-            return { reports, exitCode: 1 };
-        }
-        console.log(`\n  KERN spec check: ${specFile} → ${reports.length} implementation files\n`);
-        let totalViolations = 0;
-        for (const report of reports) {
-            const result = checkSpecFiles(kernFilePath, report.filePath);
-            if (result.violations.length > 0) {
-                const findings = specViolationsToFindings(result);
-                totalViolations += findings.length;
-                report.findings.push(...findings);
-                report.findings = dedup(report.findings);
-                for (const v of result.violations) {
-                    const icon = v.kind.includes('missing') || v.kind === 'spec-unimplemented' ? '✗' : '~';
-                    const sev = v.kind === 'spec-auth-missing' || v.kind === 'spec-unimplemented' ? 'ERROR' : v.kind === 'spec-undeclared' ? 'INFO' : 'WARN';
-                    console.log(`    ${icon} [${sev}] ${v.kind}: ${v.detail}`);
-                    if (v.suggestion)
-                        console.log(`      → ${v.suggestion}`);
-                }
-            }
-            if (result.matched.length > 0) {
-                const satisfied = result.matched.length - result.violations.filter(v => v.kind !== 'spec-undeclared' && v.kind !== 'spec-unimplemented').length;
-                console.log(`\n  Matched: ${result.matched.length} routes | Satisfied: ${satisfied} | Violations: ${totalViolations}`);
-                if (result.unmatchedSpecs.length > 0)
-                    console.log(`  Unimplemented: ${result.unmatchedSpecs.map(s => s.routeKey).join(', ')}`);
-                if (result.unmatchedImpls.length > 0)
-                    console.log(`  Undeclared: ${result.unmatchedImpls.map(i => i.routeKey).join(', ')}`);
-            }
-        }
-        if (totalViolations === 0) {
-            console.log('  All spec contracts satisfied.');
-        }
-        console.log('');
-        // Fall through to normal output
-    }
-    // --security: show only security-related findings
-    if (securityMode) {
-        const SECURITY_RULES = new Set([
-            'xss-unsafe-html', 'hardcoded-secret', 'command-injection', 'no-eval',
-            'insecure-random', 'cors-wildcard', 'helmet-missing', 'open-redirect',
-            'jwt-weak-verification', 'cookie-hardening', 'csrf-detection', 'csp-strength',
-            'path-traversal', 'weak-password-hashing', 'regex-dos', 'missing-input-validation',
-            'prototype-pollution', 'information-exposure', 'prompt-injection',
-            'taint-command', 'taint-fs', 'taint-sql', 'taint-redirect', 'taint-eval',
-            'taint-insufficient-sanitizer', 'taint-crossfile-command', 'taint-crossfile-fs',
-            'taint-crossfile-sql', 'taint-crossfile-redirect', 'taint-crossfile-eval',
-            'spec-auth-missing', 'spec-validate-missing', 'spec-guard-missing',
-            'spec-middleware-missing', 'spec-unimplemented',
-        ]);
-        console.log('\n  KERN Security Report\n');
-        let totalSec = 0;
-        for (const report of reports) {
-            const secFindings = report.findings.filter(f => SECURITY_RULES.has(f.ruleId));
-            if (secFindings.length === 0)
-                continue;
-            totalSec += secFindings.length;
-            const rel = relative(process.cwd(), report.filePath);
-            console.log(`  ${rel}:`);
-            for (const f of secFindings) {
-                const icon = f.severity === 'error' ? '✗' : f.severity === 'warning' ? '~' : '-';
-                console.log(`    ${icon} L${f.primarySpan.startLine}: [${f.ruleId}] ${f.message}`);
-                if (f.suggestion)
-                    console.log(`      → ${f.suggestion}`);
-            }
-            console.log('');
-        }
-        if (totalSec === 0) {
-            console.log('  No security issues found.');
-        }
-        else {
-            const errors = reports.flatMap(r => r.findings).filter(f => SECURITY_RULES.has(f.ruleId) && f.severity === 'error').length;
-            const warnings = reports.flatMap(r => r.findings).filter(f => SECURITY_RULES.has(f.ruleId) && f.severity === 'warning').length;
-            console.log(`  Total: ${totalSec} security findings (${errors} errors, ${warnings} warnings)`);
-        }
-        console.log('  Rules: OWASP Top 10, OWASP LLM Top 10, Taint Tracking, Spec Contracts');
-        console.log('');
-        return { reports, exitCode: 0 };
-    }
-    // --cloud: KERN Pro cloud review (coming soon)
-    if (cloudMode) {
-        console.log('');
-        console.log('  KERN Pro — Cloud-powered AI review');
-        console.log('');
-        console.log('  Coming soon. Cloud review will provide:');
-        console.log('    • LLM-powered security analysis without an AI IDE');
-        console.log('    • Team dashboard with trend tracking');
-        console.log('    • Custom rule engine for enterprise');
-        console.log('    • CI/CD integration with quality gates');
-        console.log('');
-        console.log('  For now, use --llm with your AI assistant (Claude Code, Cursor, etc.)');
-        console.log('  The assistant reads the KERN IR output and performs the AI review.');
-        console.log('');
-        console.log('  → kern review src/ --llm');
-        console.log('');
-        console.log('  Join the waitlist: https://kernlang.dev/pro');
-        console.log('');
-        return { reports, exitCode: 0 };
-    }
-    // --llm: LLM-assisted security review (batch file check)
-    if (llmMode) {
-        // Build graph context for LLM markers if --graph is active
-        const llmGraphContext = graphMode ? (() => {
-            const fileDistances = new Map();
-            for (const report of reports) {
-                const finding = report.findings[0];
-                const distance = finding?.distance ?? 0;
-                fileDistances.set(report.filePath, distance);
-            }
-            for (const ep of entryFilePaths) {
-                fileDistances.set(ep, 0);
-            }
-            return { fileDistances };
-        })() : undefined;
-        if (isLLMAvailable()) {
-            // Phase 3: actual LLM API call with taint context
-            console.log('  LLM review: calling API...');
-            const llmInputs = reports.map(report => ({
-                filePath: report.filePath,
-                inferred: report.inferred,
-                templateMatches: report.templateMatches,
-                taintResults: analyzeTaint(report.inferred, report.filePath),
-                graphContext: llmGraphContext,
-            }));
-            try {
-                const llmFindings = await runLLMReview(llmInputs);
-                console.log(`  LLM review: ${llmFindings.length} findings from AI`);
-                // Merge LLM findings into reports
-                for (const f of llmFindings) {
-                    const report = reports.find(r => r.filePath === f.primarySpan.file);
-                    if (report) {
-                        report.findings.push(f);
-                    }
-                    else if (reports.length > 0) {
-                        reports[0].findings.push(f);
-                    }
-                }
-                // Dedup after merge
-                for (const report of reports) {
-                    report.findings = dedup(report.findings);
-                }
-            }
-            catch (err) {
-                console.error(`  LLM review failed: ${err.message}`);
-            }
-            // Fall through to normal output (don't exit — show merged findings)
-        }
-        else {
-            // No cloud API key — output static findings + KERN IR for the AI assistant
-            // The LLM running this command (Claude Code, Cursor, etc.) IS the reviewer
-            console.log('\n  ── KERN IR for LLM review ──\n');
-            for (const report of reports) {
-                console.log(`// ── ${report.filePath} ──`);
-                console.log(buildLLMPrompt(report.inferred, report.templateMatches, llmGraphContext));
-                // Include taint analysis context
-                const taintResults = analyzeTaint(report.inferred, report.filePath);
-                if (taintResults.length > 0) {
-                    console.log('\n// Taint analysis:');
-                    for (const t of taintResults) {
-                        for (const p of t.paths) {
-                            const status = p.sanitized ? `SANITIZED (${p.sanitizer})` : 'UNSANITIZED';
-                            console.log(`//   ${t.fnName}: ${p.source.origin} → ${p.sink.name}() [${status}]`);
-                        }
-                    }
-                }
-                console.log('');
-            }
-            // Show static findings summary
-            const totalFindings = reports.reduce((sum, r) => sum + r.findings.length, 0);
-            const errors = reports.reduce((sum, r) => sum + r.findings.filter(f => f.severity === 'error').length, 0);
-            const warnings = reports.reduce((sum, r) => sum + r.findings.filter(f => f.severity === 'warning').length, 0);
-            console.log(`  Static analysis: ${totalFindings} findings (${errors} errors, ${warnings} warnings)`);
-            console.log('  Review the KERN IR above for security issues the static rules may have missed.');
-            console.log('');
-        }
-        // Fall through to normal output — show full report with static findings
-    }
-    // --fix: auto-migration — write .kern files from template suggestions, verify roundtrip
-    if (fixMode) {
-        let fixed = 0;
-        let verified = 0;
-        for (const report of reports) {
-            for (const t of report.templateMatches) {
-                if (!t.suggestedKern)
-                    continue;
-                const kernFileName = report.filePath.replace(/\.tsx?$/, '.kern');
-                try {
-                    writeFileSync(kernFileName, t.suggestedKern + '\n');
-                    // Verify roundtrip: parse the written .kern file
-                    try {
-                        parseAndSurface(readFileSync(kernFileName, 'utf-8'), kernFileName);
-                        console.log(`  ${report.filePath} → ${kernFileName} (verified)`);
-                        verified++;
-                    }
-                    catch (parseErr) {
-                        console.error(`  ${kernFileName} written but parse failed: ${parseErr.message}`);
-                    }
-                    fixed++;
-                }
-                catch (err) {
-                    console.error(`  Failed to write ${kernFileName}: ${err.message}`);
-                }
-            }
-        }
-        if (fixed === 0) {
-            console.log('  No template suggestions to fix — nothing to migrate.');
-        }
-        else {
-            console.log(`\n  ${fixed} .kern file(s) written, ${verified} verified.`);
-        }
-        return { reports, exitCode: 0 };
-    }
-    // --autofix: apply structured source edits from finding autofixes
-    if (autofixMode) {
-        // Collect all findings with autofix, grouped by file
-        const fixesByFile = new Map();
-        for (const report of reports) {
-            for (const f of report.findings) {
-                if (!f.autofix)
-                    continue;
-                const file = f.autofix.span.file || report.filePath;
-                if (!fixesByFile.has(file))
-                    fixesByFile.set(file, []);
-                fixesByFile.get(file).push({ finding: f, fix: f.autofix });
-            }
-        }
-        if (fixesByFile.size === 0) {
-            console.log('  No autofixes available in findings.');
-            return { reports, exitCode: 0 };
-        }
-        let totalApplied = 0;
-        let totalSkipped = 0;
-        for (const [file, fixes] of fixesByFile) {
-            if (!existsSync(file)) {
-                console.error(`  Skipping ${file} — file not found`);
-                totalSkipped += fixes.length;
-                continue;
-            }
-            // Sort bottom-up: highest line first, then highest col, to avoid offset shifts
-            fixes.sort((a, b) => {
-                const lineDiff = b.fix.span.startLine - a.fix.span.startLine;
-                if (lineDiff !== 0)
-                    return lineDiff;
-                return b.fix.span.startCol - a.fix.span.startCol;
-            });
-            // Detect overlapping fixes — skip later ones that overlap with already-applied spans
-            const appliedSpans = [];
-            function overlaps(sl, el) {
-                return appliedSpans.some(s => sl <= s.el && el >= s.sl);
-            }
-            const lines = readFileSync(file, 'utf-8').split('\n');
-            let applied = 0;
-            for (const { finding, fix } of fixes) {
-                const { startLine, startCol, endLine, endCol } = fix.span;
-                // Lines are 1-indexed, array is 0-indexed
-                const sl = startLine - 1;
-                const el = endLine - 1;
-                if (sl < 0 || el >= lines.length) {
-                    console.error(`  Skipping ${finding.ruleId}@${startLine}:${startCol} — span out of range`);
-                    totalSkipped++;
-                    continue;
-                }
-                if (overlaps(sl, el)) {
-                    console.error(`  Skipping ${finding.ruleId}@${startLine}:${startCol} — overlaps with a previously applied fix`);
-                    totalSkipped++;
-                    continue;
-                }
-                if (fix.type === 'replace') {
-                    const before = lines[sl].slice(0, startCol - 1);
-                    const after = lines[el].slice(endCol - 1);
-                    const replacementLines = fix.replacement.split('\n');
-                    replacementLines[0] = before + replacementLines[0];
-                    replacementLines[replacementLines.length - 1] += after;
-                    lines.splice(sl, el - sl + 1, ...replacementLines);
-                }
-                else if (fix.type === 'insert-before') {
-                    lines.splice(sl, 0, fix.replacement);
-                }
-                else if (fix.type === 'insert-after') {
-                    lines.splice(el + 1, 0, fix.replacement);
-                }
-                else if (fix.type === 'remove') {
-                    lines.splice(sl, el - sl + 1);
-                }
-                else if (fix.type === 'wrap') {
-                    const original = lines.slice(sl, el + 1).join('\n');
-                    const wrapped = fix.replacement.replace('$0', original);
-                    lines.splice(sl, el - sl + 1, ...wrapped.split('\n'));
-                }
-                appliedSpans.push({ sl, el });
-                applied++;
-            }
-            writeFileSync(file, lines.join('\n'));
-            console.log(`  ${file}: ${applied} fix${applied === 1 ? '' : 'es'} applied`);
-            totalApplied += applied;
-        }
-        console.log(`\n  ${totalApplied} autofix${totalApplied === 1 ? '' : 'es'} applied, ${totalSkipped} skipped.`);
-        return { reports, exitCode: 0 };
-    }
-    // --lint: run ESLint + tsc diagnostics and merge into findings
-    if (lintMode) {
-        const filePaths = reports.map(r => r.filePath).filter(f => existsSync(f));
-        // ESLint pass
-        const eslintFindings = await runESLint(filePaths, process.cwd());
-        if (eslintFindings.length > 0) {
-            console.log(`  ESLint: ${eslintFindings.length} findings`);
-            for (const report of reports) {
-                const fileFindings = eslintFindings.filter(f => f.primarySpan.file === report.filePath);
-                const linked = linkToNodes(fileFindings, report.inferred);
-                report.findings = dedup([...report.findings, ...linked]);
-            }
-        }
-        else {
-            console.log('  ESLint: no findings (or not installed)');
-        }
-        // tsc pass
-        const tscFindings = runTSCDiagnosticsFromPaths(filePaths);
-        if (tscFindings.length > 0) {
-            console.log(`  tsc: ${tscFindings.length} findings`);
-            for (const report of reports) {
-                const fileFindings = tscFindings.filter(f => f.primarySpan.file === report.filePath);
-                const linked = linkToNodes(fileFindings, report.inferred);
-                report.findings = dedup([...report.findings, ...linked]);
-            }
-        }
-        else {
-            console.log('  tsc: no findings');
-        }
-    }
-    if (jsonOutput) {
-        // Include KERN IR + LLM prompt in JSON so the calling AI can review
-        const enriched = reports.map(report => {
-            const llmPrompt = buildLLMPrompt(report.inferred, report.templateMatches);
-            const kernIR = exportKernIR(report.inferred, report.templateMatches);
-            return { ...report, kernIR, llmPrompt };
-        });
-        console.log(JSON.stringify(enriched.length === 1 ? enriched[0] : enriched, null, 2));
-    }
-    else if (sarifOutput) {
-        console.log(formatSARIF(reports));
-    }
-    else {
-        for (const report of reports) {
-            console.log('');
-            console.log(formatReport(report, reviewConfig));
-        }
-        if (reports.length > 1) {
-            console.log('');
-            console.log(formatSummary(reports));
-        }
-        // Enforcement
-        const hasThresholds = minCoverageArg !== undefined || maxComplexityArg !== undefined || maxErrorsArg !== undefined || maxWarningsArg !== undefined;
-        if (enforce || hasThresholds) {
-            console.log('');
-            let allPassed = true;
-            for (const report of reports) {
-                const result = checkEnforcement(report, reviewConfig);
-                if (!result.passed) {
-                    allPassed = false;
-                    console.log(`  File: ${report.filePath}`);
-                    console.log(formatEnforcement(result));
-                    console.log('');
-                }
-            }
-            if (allPassed) {
-                console.log(`  Enforcement: PASS (all files checked against thresholds)`);
-            }
-            else {
-                return { reports, exitCode: 1 };
-            }
-        }
-    }
-    return { reports, exitCode: 0 };
-}
-// ── kern review <file|dir|--diff base> [--json] [--sarif] [--recursive] [--enforce] [--strict-parse] [--min-coverage=N] [--max-complexity=N] [--export-kern] [--llm] [--fix] [--autofix] [--lint] ──
-if (args[0] === 'review') {
-    const jsonOutput = args.includes('--json');
-    const sarifOutput = args.includes('--sarif') || args.includes('--format=sarif');
-    const recursive = args.includes('--recursive') || args.includes('-r');
-    const enforce = args.includes('--enforce');
-    const exportKern = args.includes('--export-kern');
-    const llmMode = args.includes('--llm');
-    const cloudMode = args.includes('--cloud');
-    const securityMode = args.includes('--security');
-    const mcpMode = args.includes('--mcp');
-    const specMode = args.includes('--spec');
-    const specFile = args.find(a => a.endsWith('.kern') && a !== 'review');
-    const fixMode = args.includes('--fix');
-    const autofixMode = args.includes('--autofix');
-    const lintMode = args.includes('--lint');
-    const graphMode = args.includes('--graph');
-    const batchMode = args.includes('--batch');
-    const maxDepthArg = args.find(a => a.startsWith('--max-depth='))?.split('=')[1];
-    const maxDepth = maxDepthArg ? Number(maxDepthArg) : 3;
-    const batchSizeArg = args.find(a => a.startsWith('--batch-size='))?.split('=')[1];
-    const batchSize = batchSizeArg ? Number(batchSizeArg) : 20;
-    const tsconfigPath = args.find(a => a.startsWith('--tsconfig='))?.split('=')[1];
-    const minCoverageArg = args.find(a => a.startsWith('--min-coverage='))?.split('=')[1];
-    const minCoverage = minCoverageArg ? Number(minCoverageArg) : undefined;
-    const maxComplexityArg = args.find(a => a.startsWith('--max-complexity='))?.split('=')[1];
-    const maxComplexity = maxComplexityArg ? Number(maxComplexityArg) : 15;
-    const maxErrorsArg = args.find(a => a.startsWith('--max-errors='))?.split('=')[1];
-    const maxErrors = maxErrorsArg ? Number(maxErrorsArg) : 0;
-    const maxWarningsArg = args.find(a => a.startsWith('--max-warnings='))?.split('=')[1];
-    const maxWarnings = maxWarningsArg ? Number(maxWarningsArg) : undefined;
-    const showConfidence = args.includes('--confidence');
-    const minConfidenceArg = args.find(a => a.startsWith('--min-confidence='))?.split('=')[1];
-    const minConfidence = minConfidenceArg ? Number(minConfidenceArg) : undefined;
-    const disableRuleArgs = args.filter(a => a.startsWith('--disable-rule=')).map(a => a.split('=')[1]);
-    // --rules-dir: collect custom rule directories (supports --rules-dir=dir and --rules-dir dir)
-    const rulesDirs = [];
-    for (let i = 0; i < args.length; i++) {
-        if (args[i] === '--rules-dir' && args[i + 1] && !args[i + 1].startsWith('--')) {
-            rulesDirs.push(resolve(args[i + 1]));
-            i++; // skip next
-        }
-        else if (args[i].startsWith('--rules-dir=')) {
-            rulesDirs.push(resolve(args[i].split('=')[1]));
-        }
-    }
-    const strictArg = args.find(a => a === '--strict' || a.startsWith('--strict='));
-    const strict = strictArg === '--strict' ? 'inline' : strictArg === '--strict=all' ? 'all' : false;
-    const strictParse = args.includes('--strict-parse');
-    const listRules = args.includes('--list-rules');
-    const diffBase = args.find(a => a.startsWith('--diff'))
-        ? (args.find(a => a.startsWith('--diff='))?.split('=')[1] || args[args.indexOf('--diff') + 1] || 'origin/main')
-        : undefined;
-    // --list-rules: print all active rules and exit
-    if (listRules) {
-        const reviewCfg = loadConfig();
-        const targetArg = args.find(a => a.startsWith('--target='))?.split('=')[1];
-        const target = targetArg || reviewCfg.target;
-        const rules = getRuleRegistry(target);
-        const layers = new Map();
-        for (const r of rules) {
-            if (!layers.has(r.layer))
-                layers.set(r.layer, []);
-            layers.get(r.layer).push(r);
-        }
-        console.log(`\n  KERN Review Rules (target: ${target}) — ${rules.length} rules active\n`);
-        for (const [layer, layerRules] of layers) {
-            console.log(`  [${layer}] (${layerRules.length} rules)`);
-            for (const r of layerRules) {
-                const sev = r.severity === 'error' ? 'ERR' : r.severity === 'warning' ? 'WRN' : 'INF';
-                console.log(`    ${sev}  ${r.id.padEnd(30)} ${r.description}`);
-            }
-            console.log();
-        }
-        process.exit(0);
-    }
-    // --diff mode: get changed files from git
-    const reviewInputs = args.filter(a => !a.startsWith('--') && a !== 'review');
-    let reviewInput = reviewInputs[0];
-    if (diffBase && !reviewInput) {
-        try {
-            const { execFileSync } = await import('child_process');
-            const sanitizedBase = diffBase.replace(/[^a-zA-Z0-9_.\/\-~]/g, '');
-            const diffFiles = execFileSync('git', ['diff', '--name-only', '--diff-filter=ACMR', sanitizedBase], { encoding: 'utf-8' })
-                .trim()
-                .split('\n')
-                .filter(f => f.endsWith('.ts') || f.endsWith('.tsx'))
-                .filter(f => !f.endsWith('.d.ts') && !f.endsWith('.test.ts'));
-            if (diffFiles.length === 0) {
-                console.log('  No changed .ts/.tsx files since ' + diffBase);
-                process.exit(0);
-            }
-            console.log(`  Reviewing ${diffFiles.length} changed files (diff from ${diffBase})\n`);
-            // Process each file individually below
-            reviewInput = '__diff__';
-            globalThis.__diffFiles = diffFiles;
-        }
-        catch (err) {
-            console.error(`  git diff failed: ${err.message}`);
-            process.exit(1);
-        }
-    }
-    if (!reviewInput) {
-        console.error('Usage: kern review <file.ts|dir> [--security] [--mcp] [--llm] [--spec file.kern] [--cloud]');
-        console.error('       [--diff base] [--json] [--sarif] [--recursive] [--enforce] [--strict-parse] [--fix] [--autofix] [--rules-dir <dir>]');
+    // No command match — default to transpile mode (kern <file.kern> [options])
+    // or show help if no input file given
+    if (!cmd || cmd.startsWith('--')) {
+        printHelp();
         process.exit(1);
     }
-    // Skip stat check for --diff mode (files are resolved individually below)
-    if (reviewInput !== '__diff__') {
-        const reviewPath = resolve(reviewInput);
-        const stat = existsSync(reviewPath) ? statSync(reviewPath) : null;
-        if (!stat) {
-            console.error(`Not found: ${reviewInput}`);
-            process.exit(1);
-        }
-    }
-    // Load kern.config.ts to get registered templates and target
-    // Auto-detects target from package.json if no config exists
-    const reviewCfg = loadConfig();
-    if (!VALID_TARGETS.includes(reviewCfg.target)) {
-        console.error(`Invalid target '${reviewCfg.target}' in config. Valid: ${VALID_TARGETS.join(', ')}`);
-        process.exit(1);
-    }
-    if (!jsonOutput && !sarifOutput) {
-        const configExists = existsSync(resolve(process.cwd(), 'kern.config.ts'));
-        if (!configExists) {
-            console.log(`  Target: ${reviewCfg.target} (auto-detected from package.json)`);
-        }
-    }
-    // Merge disabledRules from config + CLI flags
-    const cfgDisabledRules = reviewCfg.review.disabledRules ?? [];
-    const mergedDisabledRules = [...new Set([...cfgDisabledRules, ...disableRuleArgs])];
-    const reviewConfig = {
-        registeredTemplates: [],
-        minCoverage: minCoverage ?? 0,
-        enforceTemplates: enforce,
-        maxComplexity: maxComplexity ?? reviewCfg.review.maxComplexity,
-        maxErrors,
-        maxWarnings,
-        target: reviewCfg.target,
-        showConfidence: showConfidence || reviewCfg.review.showConfidence,
-        minConfidence: minConfidence ?? reviewCfg.review.minConfidence,
-        disabledRules: mergedDisabledRules.length > 0 ? mergedDisabledRules : undefined,
-        rulesDirs: rulesDirs.length > 0 ? rulesDirs : undefined,
-        strict,
-        strictParse,
-    };
-    // Load templates and collect their names
-    if (reviewCfg.templates && reviewCfg.templates.length > 0) {
-        clearTemplates();
-        for (const templatePath of reviewCfg.templates) {
-            const resolvedTpl = resolve(process.cwd(), templatePath);
-            if (!existsSync(resolvedTpl))
-                continue;
-            const tplStat = statSync(resolvedTpl);
-            const tplFiles = [];
-            if (tplStat.isDirectory()) {
-                for (const entry of readdirSync(resolvedTpl)) {
-                    if (entry.endsWith('.kern'))
-                        tplFiles.push(resolve(resolvedTpl, entry));
-                }
-            }
-            else if (resolvedTpl.endsWith('.kern')) {
-                tplFiles.push(resolvedTpl);
-            }
-            for (const file of tplFiles) {
-                try {
-                    const source = readFileSync(file, 'utf-8');
-                    const ast = parseAndSurface(source, file);
-                    const nodes = ast.type === 'template' ? [ast] : (ast.children || []).filter(n => n.type === 'template');
-                    for (const node of nodes) {
-                        const tplName = node.props?.name;
-                        if (tplName)
-                            reviewConfig.registeredTemplates.push(tplName);
-                        registerTemplate(node, file);
-                    }
-                }
-                catch (e) {
-                    console.error(`  Warning: Failed to parse template ${basename(file)}: ${e.message}`);
-                }
-            }
-        }
-        if (reviewConfig.registeredTemplates.length > 0) {
-            console.log(`  Templates loaded: ${reviewConfig.registeredTemplates.join(', ')}`);
-        }
-    }
-    // Collect reports from diff, directory, or single file
-    let reports = [];
-    // Collect entry file paths for --graph mode
-    let entryFilePaths = [];
-    if (reviewInput === '__diff__') {
-        const diffFiles = globalThis.__diffFiles;
-        entryFilePaths = diffFiles.map(f => resolve(f)).filter(f => existsSync(f));
-    }
-    else {
-        const paths = reviewInputs.length > 0 ? reviewInputs : [reviewInput];
-        for (const p of paths) {
-            const rPath = resolve(p);
-            if (!existsSync(rPath))
-                continue;
-            const rStat = statSync(rPath);
-            if (rStat.isDirectory()) {
-                // Collect files from directory for graph seeding
-                entryFilePaths.push(...collectTsFilesFlat(rPath, recursive));
-            }
-            else {
-                entryFilePaths.push(rPath);
-            }
-        }
-    }
-    const modes = {
-        graphMode, batchMode, llmMode, cloudMode, securityMode, mcpMode, specMode, fixMode, autofixMode, lintMode, exportKern, enforce,
-        jsonOutput, sarifOutput, strictParse, maxDepth, batchSize, tsconfigPath, specFile, minCoverageArg, maxComplexityArg,
-        maxErrorsArg, maxWarningsArg, showConfidence
-    };
-    const noCache = args.includes('--no-cache');
-    if (noCache) {
-        clearReviewCache();
-        reviewConfig.noCache = true;
-    }
-    const watchMode = args.includes('--watch') || args.includes('-w');
-    if (watchMode) {
-        const chokidar = await import('chokidar');
-        console.log(`\n  KERN review — watching ${entryFilePaths.length} entry points`);
-        let debounceTimer = null;
-        const run = async (paths) => {
-            console.clear();
-            console.log(`\n  KERN review — watching (${paths.length} file${paths.length === 1 ? '' : 's'})\n`);
-            const watchModes = { ...modes, llmMode: false, enforce: false };
-            await runReviewPipeline(reviewConfig, paths, watchModes);
-            console.log('\n  Watching for changes...');
-        };
-        const watcher = chokidar.watch(entryFilePaths, {
-            persistent: true,
-            awaitWriteFinish: { stabilityThreshold: 300 }
-        });
-        watcher.on('change', (path) => {
-            if (debounceTimer)
-                clearTimeout(debounceTimer);
-            debounceTimer = setTimeout(() => run([path]), 300);
-        });
-        // Initial run
-        await run(entryFilePaths);
-    }
-    else {
-        const result = await runReviewPipeline(reviewConfig, entryFilePaths, modes);
-        process.exit(result.exitCode);
-    }
-}
-// ── kern evolve <dir|file> [options] ──────────────────────────────────
-if (args[0] === 'evolve' && args[1] !== undefined && !args[1].startsWith('evolve:')) {
-    const evolveInput = args[1];
-    if (!evolveInput || evolveInput.startsWith('--')) {
-        console.error('Usage: kern evolve <dir|file> [--recursive] [--preview] [--min-confidence=N] [--min-support=N] [--json]');
-        process.exit(1);
-    }
-    const evolvePath = resolve(evolveInput);
-    const stat = existsSync(evolvePath) ? statSync(evolvePath) : null;
-    if (!stat) {
-        console.error(`Not found: ${evolveInput}`);
-        process.exit(1);
-    }
-    const recursive = args.includes('--recursive') || args.includes('-r');
-    const preview = args.includes('--preview');
-    const jsonOutput = args.includes('--json');
-    const minConfArg = args.find(a => a.startsWith('--min-confidence='))?.split('=')[1];
-    const minSupportArg = args.find(a => a.startsWith('--min-support='))?.split('=')[1];
-    const enableNodes = args.includes('--nodes') || args.includes('--from-gaps');
-    const evolveOptions = {
-        recursive,
-        preview,
-        enableNodeProposals: enableNodes,
-        thresholds: {
-            ...(minConfArg ? { minConfidence: Number(minConfArg) } : {}),
-            ...(minSupportArg ? { minSupport: Number(minSupportArg) } : {}),
-        },
-    };
-    // Load built-in detectors
-    await loadBuiltinDetectors();
-    console.log(`\n  KERN evolve — scanning for template gaps\n`);
-    console.log(`  Input: ${relative(process.cwd(), evolvePath) || '.'}`);
-    console.log(`  Mode:  ${preview ? 'preview (no staging)' : 'detect + stage'}`);
-    console.log('');
-    const result = evolve(evolvePath, evolveOptions);
-    if (jsonOutput) {
-        console.log(JSON.stringify(result, null, 2));
-    }
-    else {
-        console.log(`  Gaps detected:       ${result.gaps.length}`);
-        if (result.conceptSummary) {
-            console.log(`  ${result.conceptSummary.formatted}`);
-        }
-        console.log(`  Patterns analyzed:   ${result.analyzed.length}`);
-        console.log(`  Templates proposed:  ${result.proposals.length}`);
-        console.log(`  Validated:           ${result.validated.filter(v => v.validation.parseOk && v.validation.expansionOk).length}/${result.validated.length}`);
-        if (!preview && result.staged.length > 0) {
-            console.log(`  Staged for review:   ${result.staged.length}`);
-            console.log(`\n  Run 'kern evolve:review --list' to review proposals.`);
-        }
-        if (result.proposals.length > 0 && !jsonOutput) {
-            console.log('\n  Proposed templates:');
-            for (const p of result.proposals) {
-                const v = result.validated.find(v => v.proposal.id === p.id);
-                const status = v ? (v.validation.parseOk && v.validation.expansionOk ? '✓' : '✗') : '?';
-                console.log(`    ${status} ${p.templateName} (${p.namespace}) — score: ${p.qualityScore.overallScore}, instances: ${p.instanceCount}`);
-            }
-        }
-        // v3: Node proposals
-        if (result.nodeProposals && result.nodeProposals.length > 0 && !jsonOutput) {
-            console.log(`\n  Node proposals (v3): ${result.nodeProposals.length}`);
-            for (const np of result.nodeProposals) {
-                const nv = result.nodeValidated?.find(v => v.proposal.id === np.id);
-                const status = nv ? (nv.validation.parseOk && nv.validation.codegenOk ? '✓' : '✗') : '?';
-                console.log(`    ${status} ${np.nodeName} — express: ${np.expressibilityScore.overall}, freq: ${np.frequency}, score: ${np.qualityScore}`);
-            }
-            if (result.stagedNodes && result.stagedNodes.length > 0) {
-                console.log(`  Staged nodes:        ${result.stagedNodes.length}`);
-            }
-        }
-    }
-    console.log('');
-    process.exit(0);
-}
-// ── kern evolve:review [options] ─────────────────────────────────────
-if (args[0] === 'evolve:review') {
-    const listMode = args.includes('--list') || args.length === 1;
-    const approveId = (() => {
-        const eqArg = args.find(a => a.startsWith('--approve='));
-        if (eqArg)
-            return eqArg.split('=')[1];
-        const idx = args.indexOf('--approve');
-        return idx !== -1 && idx + 1 < args.length ? args[idx + 1] : undefined;
-    })();
-    const rejectId = (() => {
-        const eqArg = args.find(a => a.startsWith('--reject='));
-        if (eqArg)
-            return eqArg.split('=')[1];
-        const idx = args.indexOf('--reject');
-        return idx !== -1 && idx + 1 < args.length ? args[idx + 1] : undefined;
-    })();
-    const promoteMode = args.includes('--promote');
-    const isLocal = args.includes('--local') || !args.includes('--catalog');
-    if (approveId) {
-        const updated = updateStagedStatus(approveId, 'approved');
-        if (updated) {
-            console.log(`  Approved: ${approveId}`);
-        }
-        else {
-            console.error(`  Not found: ${approveId}`);
-            process.exit(1);
-        }
-        process.exit(0);
-    }
-    if (rejectId) {
-        const updated = updateStagedStatus(rejectId, 'rejected');
-        if (updated) {
-            console.log(`  Rejected: ${rejectId}`);
-            cleanRejected();
-        }
-        else {
-            console.error(`  Not found: ${rejectId}`);
-            process.exit(1);
-        }
-        process.exit(0);
-    }
-    if (promoteMode) {
-        if (!isLocal) {
-            console.log('  Catalog promotion is for contributors who want to upstream templates.');
-            console.log('  Use --local (default) to write templates to your project.');
-            process.exit(0);
-        }
-        const promoted = promoteLocal();
-        if (promoted.length === 0) {
-            console.log('  No approved proposals to promote.');
-        }
-        else {
-            console.log(`  Promoted ${promoted.length} template(s) to templates/:`);
-            for (const name of promoted) {
-                console.log(`    ${name}`);
-            }
-        }
-        process.exit(0);
-    }
-    // Default: list mode
-    const staged = listStaged();
-    if (staged.length === 0) {
-        console.log('  No staged proposals. Run \'kern evolve <dir>\' to detect gaps.');
-        process.exit(0);
-    }
-    console.log(`\n  KERN evolve:review — ${staged.length} proposal(s)\n`);
-    for (const s of staged) {
-        console.log(formatSplitView(s));
-        console.log('');
-    }
-    process.exit(0);
-}
-// ── kern evolve:discover <dir> [--recursive] [--provider=openai|ollama] [--max-tokens=N] ──
-if (args[0] === 'evolve:discover') {
-    const discoverInput = args[1];
-    if (!discoverInput || discoverInput.startsWith('--')) {
-        console.error('Usage: kern evolve:discover <dir> [--recursive] [--provider=openai|anthropic|ollama] [--max-tokens=N]');
-        process.exit(1);
-    }
-    const discoverPath = resolve(discoverInput);
-    if (!existsSync(discoverPath)) {
-        console.error(`Not found: ${discoverInput}`);
-        process.exit(1);
-    }
-    const recursive = args.includes('--recursive') || args.includes('-r');
-    const providerArg = args.find(a => a.startsWith('--provider='))?.split('=')[1];
-    const maxTokensArg = args.find(a => a.startsWith('--max-tokens='))?.split('=')[1];
-    const maxTokens = maxTokensArg ? Number(maxTokensArg) : 100000;
-    console.log(`\n  KERN evolve:discover — LLM pattern discovery\n`);
-    console.log(`  Input: ${relative(process.cwd(), discoverPath) || '.'}`);
-    // Collect files and batch
-    const tsFiles = collectTsFiles(discoverPath, recursive);
-    console.log(`  Files found: ${tsFiles.length}`);
-    if (tsFiles.length === 0) {
-        console.log('  No TypeScript files to analyze.');
-        process.exit(0);
-    }
-    const batches = selectRepresentativeFiles(tsFiles);
-    console.log(`  Batches: ${batches.length} (sampling representative files)`);
-    // Load existing evolved keywords for dedup
-    const manifest = readEvolvedManifest();
-    const evolvedKeywords = manifest ? Object.keys(manifest.nodes) : [];
-    // Create LLM provider
-    let provider;
-    try {
-        provider = createLLMProvider({ provider: providerArg });
-    }
-    catch (err) {
-        console.error(`  ${err.message}`);
-        process.exit(1);
-    }
-    console.log(`  Provider: ${provider.name}`);
-    const budget = new TokenBudget(maxTokens);
-    const allProposals = [];
-    const runId = `run-${Date.now()}`;
-    for (let i = 0; i < batches.length; i++) {
-        if (budget.exhausted) {
-            console.log(`  Token budget exhausted (${budget}). Stopping.`);
-            break;
-        }
-        const batch = batches[i];
-        const files = batch.map(fp => ({
-            path: relative(process.cwd(), fp),
-            content: readFileSync(fp, 'utf-8'),
-        }));
-        const prompt = buildDiscoveryPrompt(files, NODE_TYPES, evolvedKeywords);
-        budget.add(estimateTokens(prompt));
-        console.log(`  Batch ${i + 1}/${batches.length}: ${files.map(f => f.path).join(', ')}`);
-        try {
-            const response = await provider.complete(prompt);
-            budget.add(estimateTokens(response));
-            const proposals = parseDiscoveryResponse(response, runId);
-            allProposals.push(...proposals);
-            if (proposals.length > 0) {
-                console.log(`    → ${proposals.length} pattern(s) found: ${proposals.map(p => p.keyword).join(', ')}`);
-            }
-        }
-        catch (err) {
-            console.error(`    → Error: ${err.message}`);
-        }
-    }
-    // Dedup across batches
-    const seen = new Set();
-    const uniqueProposals = allProposals.filter(p => {
-        if (seen.has(p.keyword))
-            return false;
-        seen.add(p.keyword);
-        return true;
-    });
-    console.log(`\n  Discovery complete.`);
-    console.log(`  Tokens used: ${budget}`);
-    console.log(`  Proposals: ${uniqueProposals.length}\n`);
-    // Validate and stage proposals (with LLM retry on failure, max 2 retries)
-    const existingKw = [...NODE_TYPES, ...evolvedKeywords];
-    let stagedCount = 0;
-    const maxRetries = 2;
-    for (let pi = 0; pi < uniqueProposals.length; pi++) {
-        let proposal = uniqueProposals[pi];
-        // Assign ID if missing
-        if (!proposal.id) {
-            proposal.id = `${proposal.keyword}-${Date.now()}`;
-        }
-        let validation = validateEvolveProposal(proposal, existingKw);
-        let allOk = validation.schemaOk && validation.keywordOk && validation.parseOk && validation.codegenCompileOk && validation.codegenRunOk;
-        // Retry on fixable failures (parse, codegen, typescript, golden diff)
-        const isFixable = validation.schemaOk && validation.keywordOk && !allOk;
-        if (!allOk && isFixable && provider) {
-            for (let retry = 1; retry <= maxRetries; retry++) {
-                console.log(`  \u21BB ${proposal.keyword} — retry ${retry}/${maxRetries} (feeding errors to LLM)`);
-                try {
-                    const retryPrompt = buildRetryPrompt(proposal, validation.errors);
-                    budget.add(estimateTokens(retryPrompt));
-                    const retryResponse = await provider.complete(retryPrompt);
-                    if (!retryResponse || typeof retryResponse !== 'string')
-                        throw new Error('LLM returned empty or invalid response');
-                    budget.add(estimateTokens(retryResponse));
-                    // Parse retry response as single object
-                    let json = retryResponse.trim();
-                    const fenceMatch = json.match(/```(?:json)?\s*\n?([\s\S]*?)```/);
-                    if (fenceMatch)
-                        json = fenceMatch[1].trim();
-                    const objStart = json.indexOf('{');
-                    const objEnd = json.lastIndexOf('}');
-                    if (objStart !== -1 && objEnd > objStart)
-                        json = json.slice(objStart, objEnd + 1);
-                    const fixed = JSON.parse(json);
-                    if (typeof fixed !== 'object' || fixed === null)
-                        throw new Error('LLM retry response is not a JSON object');
-                    // Merge fixes into proposal
-                    if (typeof fixed.kernExample === 'string')
-                        proposal.kernExample = fixed.kernExample;
-                    if (typeof fixed.expectedOutput === 'string')
-                        proposal.expectedOutput = fixed.expectedOutput;
-                    if (typeof fixed.codegenSource === 'string')
-                        proposal.codegenSource = fixed.codegenSource;
-                    validation = validateEvolveProposal(proposal, existingKw);
-                    allOk = validation.schemaOk && validation.keywordOk && validation.parseOk && validation.codegenCompileOk && validation.codegenRunOk;
-                    if (allOk)
-                        break;
-                }
-                catch (e) {
-                    console.error(`    Retry ${retry} failed: ${e.message}`);
-                }
-            }
-        }
-        const status = allOk ? '\u2713' : '\u2717';
-        console.log(`  ${status} ${proposal.keyword} — ${proposal.reason.observation}`);
-        if (validation.errors.length > 0) {
-            for (const err of validation.errors.slice(0, 3)) {
-                console.log(`    ${err}`);
-            }
-        }
-        // Stage proposals for review (including failed ones — user can inspect)
-        validation.retryCount = allOk ? 0 : maxRetries;
-        stageEvolveV4Proposal(proposal, validation);
-        stagedCount++;
-    }
-    if (stagedCount > 0) {
-        console.log(`\n  Staged ${stagedCount} proposal(s).`);
-        console.log(`  Run 'kern evolve:review-v4' to review and graduate proposals.`);
-    }
-    console.log('');
-    process.exit(0);
-}
-// ── kern evolve:review-v4 [--list] [--approve=<id>] [--reject=<id>] [--detail=<id>] ──
-if (args[0] === 'evolve:review-v4') {
-    const approveV4Id = (() => {
-        const eqArg = args.find(a => a.startsWith('--approve='));
-        if (eqArg)
-            return eqArg.split('=')[1];
-        const idx = args.indexOf('--approve');
-        return idx !== -1 && idx + 1 < args.length ? args[idx + 1] : undefined;
-    })();
-    const rejectV4Id = (() => {
-        const eqArg = args.find(a => a.startsWith('--reject='));
-        if (eqArg)
-            return eqArg.split('=')[1];
-        const idx = args.indexOf('--reject');
-        return idx !== -1 && idx + 1 < args.length ? args[idx + 1] : undefined;
-    })();
-    const detailV4Id = (() => {
-        const eqArg = args.find(a => a.startsWith('--detail='));
-        if (eqArg)
-            return eqArg.split('=')[1];
-        const idx = args.indexOf('--detail');
-        return idx !== -1 && idx + 1 < args.length ? args[idx + 1] : undefined;
-    })();
-    if (approveV4Id) {
-        // Approve → validate → compile → graduate
-        const staged = getStagedEvolveV4(approveV4Id);
-        if (!staged) {
-            console.error(`  Not found: ${approveV4Id}`);
-            process.exit(1);
-        }
-        const { proposal, validation } = staged;
-        const allOk = validation.schemaOk && validation.keywordOk && validation.parseOk && validation.codegenCompileOk && validation.codegenRunOk;
-        if (!allOk) {
-            console.error(`  Cannot approve — validation failed for '${proposal.keyword}':`);
-            for (const err of validation.errors) {
-                console.error(`    ${err}`);
-            }
-            process.exit(1);
-        }
-        // Compile codegen source to JS
-        let compiledJs;
-        try {
-            compiledJs = compileCodegenToJS(proposal.codegenSource);
-        }
-        catch (err) {
-            console.error(`  Failed to compile codegen for '${proposal.keyword}': ${err.message}`);
-            process.exit(1);
-        }
-        // Graduate the node
-        const result = graduateNode(proposal, compiledJs);
-        if (result.success) {
-            updateStagedEvolveV4Status(approveV4Id, 'approved');
-            cleanApprovedEvolveV4(approveV4Id);
-            console.log(`  Graduated '${proposal.keyword}' → ${result.path}`);
-            console.log(`  The node is now available in kern compile and kern dev.`);
-        }
-        else {
-            console.error(`  Graduation failed: ${result.error}`);
-            process.exit(1);
-        }
-        process.exit(0);
-    }
-    if (rejectV4Id) {
-        const updated = updateStagedEvolveV4Status(rejectV4Id, 'rejected');
-        if (updated) {
-            console.log(`  Rejected: ${updated.proposal.keyword} (${rejectV4Id})`);
-            cleanRejectedEvolveV4();
-        }
-        else {
-            console.error(`  Not found: ${rejectV4Id}`);
-            process.exit(1);
-        }
-        process.exit(0);
-    }
-    if (detailV4Id) {
-        const staged = getStagedEvolveV4(detailV4Id);
-        if (!staged) {
-            console.error(`  Not found: ${detailV4Id}`);
-            process.exit(1);
-        }
-        const { proposal, validation } = staged;
-        console.log(`\n  DETAIL: ${proposal.keyword} (${proposal.displayName})\n`);
-        console.log(`  Description: ${proposal.description}`);
-        console.log(`  Props: ${proposal.props.map(p => `${p.name}:${p.type}${p.required ? '*' : ''}`).join(', ')}`);
-        console.log(`  Child types: ${proposal.childTypes.join(', ') || '(none)'}`);
-        console.log(`  Codegen tier: ${proposal.codegenTier}`);
-        console.log(`  Run ID: ${proposal.evolveRunId}`);
-        if (proposal.parserHints) {
-            console.log(`  Parser hints: ${JSON.stringify(proposal.parserHints)}`);
-        }
-        console.log(`\n  --- Codegen Source ---`);
-        console.log(proposal.codegenSource);
-        console.log(`  --- Instances (${proposal.reason.instances.length}) ---`);
-        for (const inst of proposal.reason.instances.slice(0, 10)) {
-            console.log(`    ${inst}`);
-        }
-        if (validation.errors.length > 0) {
-            console.log(`\n  --- Validation Errors ---`);
-            for (const err of validation.errors) {
-                console.log(`    ${err}`);
-            }
-        }
-        console.log('');
-        process.exit(0);
-    }
-    // Default: interactive review or list mode
-    const stagedV4 = listStagedEvolveV4();
-    const pendingV4 = stagedV4.filter(s => s.status === 'pending');
-    if (pendingV4.length === 0) {
-        console.log('  No pending v4 proposals. Run \'kern evolve:discover <dir>\' to find patterns.');
-        process.exit(0);
-    }
-    const listOnly = args.includes('--list');
-    if (listOnly) {
-        console.log(`\n  KERN evolve:review-v4 — ${pendingV4.length} proposal(s)\n`);
-        for (const s of pendingV4) {
-            console.log(formatEvolveV4SplitView(s));
-            console.log('');
-        }
-        process.exit(0);
-    }
-    // Interactive review — walk through each proposal
-    const { createInterface } = await import('readline');
-    const rl = createInterface({ input: process.stdin, output: process.stdout });
-    const ask = (q) => new Promise(res => rl.question(q, res));
-    console.log(`\n  KERN evolve:review-v4 — ${pendingV4.length} proposal(s)\n`);
-    for (const staged of pendingV4) {
-        console.log(formatEvolveV4SplitView(staged));
-        console.log('');
-        let decided = false;
-        while (!decided) {
-            const answer = (await ask('  [a]pprove  [r]eject  [s]kip  [d]etail  [q]uit > ')).trim().toLowerCase();
-            if (answer === 'a' || answer === 'approve') {
-                const { proposal, validation } = staged;
-                const allOk = validation.schemaOk && validation.keywordOk && validation.parseOk && validation.codegenCompileOk && validation.codegenRunOk;
-                if (!allOk) {
-                    console.log(`  Cannot approve — validation failed. Use [d]etail to see errors.\n`);
-                    continue;
-                }
-                try {
-                    const compiledJs = compileCodegenToJS(proposal.codegenSource);
-                    const result = graduateNode(proposal, compiledJs);
-                    if (result.success) {
-                        updateStagedEvolveV4Status(staged.id, 'approved');
-                        cleanApprovedEvolveV4(staged.id);
-                        console.log(`  \u2713 Graduated '${proposal.keyword}'\n`);
-                    }
-                    else {
-                        console.log(`  Graduation failed: ${result.error}\n`);
-                    }
-                }
-                catch (err) {
-                    console.log(`  Error: ${err.message}\n`);
-                }
-                decided = true;
-            }
-            else if (answer === 'r' || answer === 'reject') {
-                updateStagedEvolveV4Status(staged.id, 'rejected');
-                cleanRejectedEvolveV4();
-                console.log(`  \u2717 Rejected '${staged.proposal.keyword}'\n`);
-                decided = true;
-            }
-            else if (answer === 's' || answer === 'skip') {
-                console.log(`  Skipped.\n`);
-                decided = true;
-            }
-            else if (answer === 'd' || answer === 'detail') {
-                const { proposal, validation } = staged;
-                console.log(`\n  --- Codegen Source ---`);
-                console.log(proposal.codegenSource);
-                console.log(`  --- Instances (${proposal.reason.instances.length}) ---`);
-                for (const inst of proposal.reason.instances.slice(0, 5)) {
-                    console.log(`    ${inst}`);
-                }
-                if (validation.errors.length > 0) {
-                    console.log(`  --- Errors ---`);
-                    for (const err of validation.errors) {
-                        console.log(`    ${err}`);
-                    }
-                }
-                console.log('');
-            }
-            else if (answer === 'q' || answer === 'quit') {
-                rl.close();
-                process.exit(0);
-            }
-        }
-    }
-    rl.close();
-    console.log('  Review complete.\n');
-    process.exit(0);
-}
-// ── kern evolve:test ─────────────────────────────────────────────────
-if (args[0] === 'evolve:test') {
-    console.log('\n  KERN evolve:test — golden test runner\n');
-    const results = runGoldenTests();
-    console.log(formatGoldenTestResults(results));
-    const failed = results.filter(r => !r.pass).length;
-    console.log('');
-    process.exit(failed > 0 ? 1 : 0);
-}
-// ── kern evolve:rollback <keyword> [--force] ─────────────────────────
-if (args[0] === 'evolve:rollback') {
-    const keyword = args[1];
-    if (!keyword || keyword.startsWith('--')) {
-        console.error('Usage: kern evolve:rollback <keyword> [--force]');
-        process.exit(1);
-    }
-    const force = args.includes('--force');
-    const result = rollbackNode(keyword, process.cwd(), force);
-    if (result.success) {
-        console.log(`  Rolled back '${keyword}' (moved to .trash/).`);
-        console.log(`  Restore with: kern evolve:restore ${keyword}`);
-    }
-    else {
-        console.error(`  Failed: ${result.error}`);
-        if (result.usageFiles) {
-            console.error('  Used in:');
-            for (const f of result.usageFiles.slice(0, 5)) {
-                console.error(`    ${relative(process.cwd(), f)}`);
-            }
-        }
-        process.exit(1);
-    }
-    process.exit(0);
-}
-// ── kern evolve:restore <keyword> ────────────────────────────────────
-if (args[0] === 'evolve:restore') {
-    const keyword = args[1];
-    if (!keyword) {
-        console.error('Usage: kern evolve:restore <keyword>');
-        process.exit(1);
-    }
-    const result = restoreNode(keyword);
-    if (result.success) {
-        console.log(`  Restored '${keyword}'.`);
-    }
-    else {
-        console.error(`  Failed: ${result.error}`);
-        process.exit(1);
-    }
-    process.exit(0);
-}
-// ── kern evolve:list ─────────────────────────────────────────────────
-if (args[0] === 'evolve:list') {
-    const manifest = readEvolvedManifest();
-    if (!manifest || Object.keys(manifest.nodes).length === 0) {
-        console.log('\n  No evolved nodes graduated. Run \'kern evolve:discover\' to start.\n');
-        process.exit(0);
-    }
-    console.log(`\n  KERN evolved nodes — ${Object.keys(manifest.nodes).length} graduated\n`);
-    for (const [keyword, entry] of Object.entries(manifest.nodes)) {
-        console.log(`  ${keyword} — ${entry.displayName} (graduated ${entry.graduatedAt.split('T')[0]} by ${entry.graduatedBy})`);
-    }
-    console.log('');
-    process.exit(0);
-}
-// ── kern evolve:promote <keyword> ────────────────────────────────────
-if (args[0] === 'evolve:promote') {
-    const promoteKeyword = args[1];
-    if (!promoteKeyword || promoteKeyword.startsWith('--')) {
-        console.error('Usage: kern evolve:promote <keyword>');
-        console.error('  Reads codegen from .kern/evolved/<keyword>/ and outputs what to add to core.');
-        process.exit(1);
-    }
-    const result = promoteNode(promoteKeyword);
-    if (!result.success) {
-        console.error(`  Failed: ${result.error}`);
-        process.exit(1);
-    }
-    const fnName = 'generate' + promoteKeyword.split('-').map(w => w[0].toUpperCase() + w.slice(1)).join('');
-    console.log(`\n  KERN evolve:promote — ${promoteKeyword}\n`);
-    console.log('  To promote this node to core, apply these changes:\n');
-    console.log(`  1. Add '${promoteKeyword}' to NODE_TYPES in packages/core/src/spec.ts`);
-    console.log(`  2. Create packages/core/src/generators/${fnName}.ts with:`);
-    console.log(`     ──────────────────────────────`);
-    for (const line of (result.codegenTs || '').split('\n').slice(0, 20)) {
-        console.log(`     ${line}`);
-    }
-    if ((result.codegenTs || '').split('\n').length > 20) {
-        console.log(`     ... (${(result.codegenTs || '').split('\n').length - 20} more lines)`);
-    }
-    console.log(`     ──────────────────────────────`);
-    console.log(`  3. Add case '${promoteKeyword}': return ${fnName}(node); to generateCoreNode() in codegen-core.ts`);
-    if (result.goldenKern) {
-        console.log(`  4. Move golden test to packages/core/tests/`);
-    }
-    console.log(`  5. Run: kern evolve:rollback ${promoteKeyword} --force`);
-    console.log('');
-    process.exit(0);
-}
-// ── kern evolve:backfill <keyword> --target=<target> [--provider=...] ──
-if (args[0] === 'evolve:backfill') {
-    const backfillKeyword = args[1];
-    if (!backfillKeyword || backfillKeyword.startsWith('--')) {
-        console.error('Usage: kern evolve:backfill <keyword> --target=<target> [--provider=openai|anthropic|ollama]');
-        process.exit(1);
-    }
-    const backfillTarget = args.find(a => a.startsWith('--target='))?.split('=')[1];
-    if (!backfillTarget) {
-        console.error('  --target=<target> is required');
-        process.exit(1);
-    }
-    const def = readNodeDefinition(backfillKeyword);
-    if (!def) {
-        console.error(`  Node '${backfillKeyword}' is not graduated.`);
-        process.exit(1);
-    }
-    // Read current codegen source
-    const codegenTsPath = resolve('.kern', 'evolved', backfillKeyword, 'codegen.ts');
-    if (!existsSync(codegenTsPath)) {
-        console.error(`  Missing codegen.ts for '${backfillKeyword}'`);
-        process.exit(1);
-    }
-    const codegenSource = readFileSync(codegenTsPath, 'utf-8');
-    const templateKernPath = resolve('.kern', 'evolved', backfillKeyword, 'template.kern');
-    const kernExample = existsSync(templateKernPath) ? readFileSync(templateKernPath, 'utf-8') : '';
-    const expectedOutputPath = resolve('.kern', 'evolved', backfillKeyword, 'expected-output.ts');
-    const expectedOutput = existsSync(expectedOutputPath) ? readFileSync(expectedOutputPath, 'utf-8') : '';
-    console.log(`\n  KERN evolve:backfill — ${backfillKeyword} → ${backfillTarget}\n`);
-    const providerArg = args.find(a => a.startsWith('--provider='))?.split('=')[1];
-    let provider;
-    try {
-        provider = createLLMProvider({ provider: providerArg });
-    }
-    catch (err) {
-        console.error(`  ${err.message}`);
-        process.exit(1);
-    }
-    console.log(`  Provider: ${provider.name}`);
-    const prompt = buildBackfillPrompt(backfillKeyword, {
-        props: def.props,
-        childTypes: def.childTypes,
-        kernExample,
-        codegenSource,
-        expectedOutput,
-    }, backfillTarget);
-    try {
-        const response = await provider.complete(prompt);
-        // Parse JSON response
-        let json = response.trim();
-        const fenceMatch = json.match(/```(?:json)?\s*\n?([\s\S]*?)```/);
-        if (fenceMatch)
-            json = fenceMatch[1].trim();
-        const objStart = json.indexOf('{');
-        const objEnd = json.lastIndexOf('}');
-        if (objStart !== -1 && objEnd > objStart)
-            json = json.slice(objStart, objEnd + 1);
-        const parsed = JSON.parse(json);
-        if (typeof parsed !== 'object' || parsed === null) {
-            console.error('  LLM response is not a JSON object');
-            process.exit(1);
-        }
-        const targetCodegen = typeof parsed.codegenSource === 'string' ? parsed.codegenSource : undefined;
-        if (!targetCodegen) {
-            console.error('  LLM did not return codegenSource');
-            process.exit(1);
-        }
-        // Write target override
-        const targetsDir = resolve('.kern', 'evolved', backfillKeyword, 'targets');
-        mkdirSync(targetsDir, { recursive: true });
-        writeFileSync(resolve(targetsDir, `${backfillTarget}.js`), targetCodegen);
-        console.log(`  Written: .kern/evolved/${backfillKeyword}/targets/${backfillTarget}.js`);
-        if (parsed.expectedOutput) {
-            console.log(`  Expected output preview:`);
-            for (const line of parsed.expectedOutput.split('\n').slice(0, 10)) {
-                console.log(`    ${line}`);
-            }
-        }
-        console.log(`\n  Review the generated codegen before using in production.`);
-    }
-    catch (err) {
-        console.error(`  Error: ${err.message}`);
-        process.exit(1);
-    }
-    console.log('');
-    process.exit(0);
-}
-// ── kern evolve:prune [--dry-run] [--days=N] ─────────────────────────
-if (args[0] === 'evolve:prune') {
-    const dryRun = args.includes('--dry-run');
-    const daysArg = args.find(a => a.startsWith('--days='))?.split('=')[1];
-    const thresholdDays = daysArg ? Number(daysArg) : 90;
-    console.log(`\n  KERN evolve:prune — removing unused nodes (>${thresholdDays}d)\n`);
-    const results = pruneNodes(process.cwd(), thresholdDays, dryRun);
-    if (results.length === 0) {
-        console.log('  No nodes eligible for pruning.');
-        process.exit(0);
-    }
-    for (const r of results) {
-        if (dryRun) {
-            console.log(`  Would prune: ${r.keyword} (${r.daysUnused}d unused)`);
-        }
-        else if (r.pruned) {
-            console.log(`  Pruned: ${r.keyword} (${r.daysUnused}d unused) → .trash/`);
-        }
-        else {
-            console.log(`  Failed: ${r.keyword} — ${r.error}`);
-        }
-    }
-    if (dryRun) {
-        console.log(`\n  Dry run — no changes made. Remove --dry-run to prune.`);
-    }
-    console.log('');
-    process.exit(0);
-}
-// ── kern evolve:migrate ──────────────────────────────────────────────
-if (args[0] === 'evolve:migrate') {
-    console.log(`\n  KERN evolve:migrate — checking for keyword collisions\n`);
-    const collisions = detectCollisions(NODE_TYPES);
-    if (collisions.length === 0) {
-        console.log('  No collisions. All evolved nodes are compatible with core.');
-        process.exit(0);
-    }
-    console.log(`  Found ${collisions.length} collision(s):\n`);
-    for (const c of collisions) {
-        console.log(`  ${c.keyword} (graduated ${c.graduatedAt.split('T')[0]})`);
-        console.log(`    This keyword now exists in core NODE_TYPES.`);
-        console.log(`    Options:`);
-        console.log(`      kern evolve:migrate --rename=${c.keyword} --to=<new-name>`);
-        console.log(`      kern evolve:migrate --remove=${c.keyword}  (core version supersedes)`);
-        console.log('');
-    }
-    // Handle --rename and --remove flags
-    const renameArg = args.find(a => a.startsWith('--rename='))?.split('=')[1];
-    const toArg = args.find(a => a.startsWith('--to='))?.split('=')[1];
-    const removeArg = args.find(a => a.startsWith('--remove='))?.split('=')[1];
-    if (renameArg && toArg) {
-        const result = renameEvolvedNode(renameArg, toArg);
-        if (result.success) {
-            console.log(`  Renamed '${renameArg}' → '${toArg}'`);
-            console.log(`  Update your .kern files: replace '${renameArg}' with '${toArg}'.`);
-        }
-        else {
-            console.error(`  Rename failed: ${result.error}`);
-            process.exit(1);
-        }
-    }
-    if (removeArg) {
-        const result = rollbackNode(removeArg, process.cwd(), true);
-        if (result.success) {
-            console.log(`  Removed evolved '${removeArg}' — core version will be used.`);
-        }
-        else {
-            console.error(`  Remove failed: ${result.error}`);
-            process.exit(1);
-        }
-    }
-    console.log('');
-    process.exit(0);
-}
-// ── kern evolve:rebuild ─────────────────────────────────────────────
-if (args[0] === 'evolve:rebuild') {
-    console.log(`\n  KERN evolve:rebuild — rebuilding manifest from disk\n`);
-    const result = rebuildEvolvedManifest();
-    if (result.errors.length > 0) {
-        for (const err of result.errors) {
-            console.log(`  ⚠  ${err}`);
-        }
-        console.log('');
-    }
-    if (result.rebuilt === 0 && result.errors.length > 0) {
-        console.error('  No nodes rebuilt.');
-        process.exit(1);
-    }
-    console.log(`  manifest.json rebuilt with ${result.rebuilt} node(s).`);
-    console.log('');
-    process.exit(0);
-}
-// ── kern confidence <file.kern|dir> ──────────────────────────────────
-if (args[0] === 'confidence') {
-    const confInput = args[1];
-    if (!confInput) {
-        console.error('Usage: kern confidence <file.kern|dir>');
-        console.error('  Builds and displays the confidence graph for .kern file(s).');
-        process.exit(1);
-    }
-    const confPath = resolve(confInput);
-    if (!existsSync(confPath)) {
-        console.error(`Not found: ${confInput}`);
-        process.exit(1);
-    }
-    const { buildConfidenceGraph, buildMultiFileConfidenceGraph, flattenIR, lintMultiFileConfidenceGraph } = await import('@kernlang/review');
-    const confStat = statSync(confPath);
-    const isDir = confStat.isDirectory();
-    // Collect .kern files
-    const kernFiles = isDir ? findKernFiles(confPath) : [confPath];
-    if (kernFiles.length === 0) {
-        console.log('  No .kern files found.');
-        process.exit(0);
-    }
-    // Parse all files, skip those without confidence (fast early exit)
-    const fileMap = new Map();
-    for (const file of kernFiles.sort()) {
-        const source = readFileSync(file, 'utf-8');
-        if (!source.includes('confidence='))
-            continue;
-        const ast = parseAndSurface(source, file);
-        fileMap.set(file, flattenIR(ast));
-    }
-    if (fileMap.size === 0) {
-        console.log(`\n  No confidence declarations found in ${isDir ? confInput : basename(confInput)}`);
-        process.exit(0);
-    }
-    // Build graph (single-file or multi-file)
-    const graph = fileMap.size === 1
-        ? buildConfidenceGraph([...fileMap.values()][0])
-        : buildMultiFileConfidenceGraph(fileMap);
-    const isMulti = fileMap.size > 1;
-    console.log(`\n  Confidence Graph (${graph.nodes.size} nodes, ${graph.topoOrder.length} resolved${isMulti ? `, ${fileMap.size} files` : ''}):\n`);
-    if (isMulti) {
-        // Group by source file
-        const byFile = new Map();
-        for (const cnode of graph.nodes.values()) {
-            const file = cnode.sourceFile || 'unknown';
-            if (!byFile.has(file))
-                byFile.set(file, []);
-            byFile.get(file).push(cnode);
-        }
-        for (const [file, nodes] of byFile) {
-            const rel = relative(process.cwd(), file) || file;
-            console.log(`  ${rel} (${nodes.length} nodes):`);
-            for (const cnode of nodes) {
-                const resolvedStr = cnode.resolved !== null ? cnode.resolved.toFixed(2) : 'null';
-                const specStr = cnode.spec.kind === 'literal'
-                    ? 'declared'
-                    : `from: ${cnode.spec.sources?.join(', ')}, ${cnode.spec.strategy}`;
-                const crossFile = cnode.spec.sources?.some(s => {
-                    const src = graph.nodes.get(s);
-                    return src && src.sourceFile !== cnode.sourceFile;
-                });
-                const crossTag = crossFile ? ' [cross-file]' : '';
-                const cycleTag = cnode.inCycle ? ' [CYCLE]' : '';
-                console.log(`    ${cnode.name.padEnd(20)} ${resolvedStr.padEnd(8)} (${specStr})${crossTag}${cycleTag}`);
-            }
-            console.log('');
-        }
-    }
-    else {
-        for (const [name, cnode] of graph.nodes) {
-            const resolvedStr = cnode.resolved !== null ? cnode.resolved.toFixed(2) : 'null';
-            const specStr = cnode.spec.kind === 'literal'
-                ? 'declared'
-                : `from: ${cnode.spec.sources?.join(', ')}, ${cnode.spec.strategy}`;
-            const cycleTag = cnode.inCycle ? ' [CYCLE]' : '';
-            console.log(`    ${name.padEnd(20)} ${resolvedStr.padEnd(8)} (${specStr})${cycleTag}`);
-        }
-    }
-    // Unresolved needs
-    const unresolvedNeeds = [];
-    for (const [name, cnode] of graph.nodes) {
-        for (const need of cnode.needs) {
-            if (!need.resolved) {
-                unresolvedNeeds.push({ name, what: need.what, wouldRaiseTo: need.wouldRaiseTo });
-            }
-        }
-    }
-    if (unresolvedNeeds.length > 0) {
-        console.log(`  Unresolved needs (${unresolvedNeeds.length}):`);
-        for (const n of unresolvedNeeds) {
-            const raise = n.wouldRaiseTo !== undefined ? ` → would raise to ${n.wouldRaiseTo}` : '';
-            console.log(`    ${n.name}: "${n.what}"${raise}`);
-        }
-    }
-    if (graph.cycles.length > 0) {
-        console.log(`\n  Cycles (${graph.cycles.length}):`);
-        for (const cycle of graph.cycles) {
-            console.log(`    ${cycle.join(' → ')}`);
-        }
-    }
-    // Duplicates (multi-file only)
-    const dupes = 'duplicates' in graph ? graph.duplicates : [];
-    if (dupes.length > 0) {
-        console.log(`\n  Duplicate names (${dupes.length}):`);
-        for (const dup of dupes) {
-            console.log(`    ${dup.name}: ${dup.files.map((f) => relative(process.cwd(), f) || f).join(', ')}`);
-        }
-    }
-    console.log('');
-    process.exit(0);
-}
-// ── Standard transpile mode ────────────────────────────────────────────
-const inputFile = args.find(a => !a.startsWith('--'));
-if (!inputFile) {
-    console.log('Usage: kern <file.kern> [--target=nextjs|tailwind|web|native|express|cli] [options]');
-    console.log('');
-    console.log('Commands:');
-    console.log('  dev <dir|file> [--target=...] [--outdir=...]  Watch & hot-transpile .kern files');
-    console.log('  compile <dir|file> --outdir=<dir>             Compile .kern → .ts (core nodes)');
-    console.log('  scan [--force] [--dry-run]                    Detect project → generate kern.config.ts');
-    console.log('  init-templates [--force] [--dry-run]          Scan deps → scaffold template .kern files');
-    console.log('  review <file.ts|dir> [options]                Static analysis, Cognitive Complexity & CI Gate');
-    console.log('  evolve <dir|file> [options]                   Detect gaps → propose templates');
-    console.log('  evolve:review [options]                       Review staged template proposals');
-    console.log('  evolve:review-v4 [options]                    Review & graduate v4 node proposals');
-    console.log('  evolve:promote <keyword>                      Show steps to move evolved → core');
-    console.log('  evolve:backfill <kw> --target=<t>             LLM generates target-specific codegen');
-    console.log('  evolve:prune [--dry-run] [--days=N]           Remove unused nodes (default 90d)');
-    console.log('  evolve:migrate                                Detect & resolve keyword collisions');
-    console.log('  evolve:rebuild                                Rebuild manifest.json from disk definitions');
-    console.log('  confidence <file.kern>                        Display confidence graph for a .kern file');
-    console.log('');
-    console.log('Targets:');
-    console.log('  nextjs    Next.js App Router (default)');
-    console.log('  tailwind  React + Tailwind CSS');
-    console.log('  web       React with inline styles');
-    console.log('  vue       Vue 3 Single File Component');
-    console.log('  nuxt      Nuxt 3 (pages, layouts, server routes)');
-    console.log('  native    React Native component');
-    console.log('  express   Express TypeScript backend');
-    console.log('  cli       Commander.js CLI app');
-    console.log('  terminal  ANSI terminal rendering');
-    console.log('');
-    console.log('Options:');
-    console.log('  --structure=flat|bulletproof|atomic|kern  Output structure pattern (React targets)');
-    console.log('  --decompile  Output human-readable pseudocode');
-    console.log('  --minify     Output minified single-line Kern (LLM wire format)');
-    console.log('  --pretty     Expand minified Kern back to indented format');
-    console.log('  --metrics    Show language metrics (escape ratio, coverage, etc.)');
-    console.log('');
-    console.log('Structures (React targets only):');
-    console.log('  flat         Single .tsx file (default)');
-    console.log('  bulletproof  Feature-based folder structure');
-    console.log('  atomic       Atomic Design hierarchy (pages/templates/organisms/molecules/atoms)');
-    console.log('  kern         KERN-native (surfaces/blocks/signals/tokens/models)');
-    process.exit(1);
-}
-// ── Load config via jiti (supports .ts config at runtime) ────────────────
-let config;
-const configPath = resolve(process.cwd(), 'kern.config.ts');
-if (existsSync(configPath)) {
-    try {
-        const jiti = createJiti(import.meta.url);
-        const mod = jiti(configPath);
-        const userConfig = mod.default ?? mod;
-        config = resolveConfig(userConfig);
-    }
-    catch (err) {
-        console.error(`Warning: Failed to load kern.config.ts: ${err.message}`);
-        config = resolveConfig({});
-    }
-}
-else {
-    config = resolveConfig({});
-}
-// Load templates before transpile
-loadTemplates(config);
-// Load evolved nodes (v4) — graduated nodes from .kern/evolved/
-loadEvolvedNodes(process.cwd(), args.includes('--verify'));
-// CLI flags override config — target
-const cliTarget = args.find(a => a.startsWith('--target='))?.split('=')[1];
-if (cliTarget) {
-    if (!VALID_TARGETS.includes(cliTarget)) {
-        console.error(`Unknown target: '${cliTarget}'. Valid targets: ${VALID_TARGETS.join(', ')}`);
-        process.exit(1);
-    }
-    config = { ...config, target: cliTarget };
-}
-const target = config.target;
-// CLI flags override config — structure
-const cliStructure = args.find(a => a.startsWith('--structure='))?.split('=')[1];
-if (cliStructure) {
-    if (!VALID_STRUCTURES.includes(cliStructure)) {
-        console.error(`Unknown structure: '${cliStructure}'. Valid structures: ${VALID_STRUCTURES.join(', ')}`);
-        process.exit(1);
-    }
-    config = { ...config, structure: cliStructure };
-}
-const irSource = readFileSync(resolve(inputFile), 'utf-8');
-const ast = parseAndSurface(irSource, inputFile);
-const ext = inputFile.endsWith('.kern') ? '.kern' : '.ir';
-const name = basename(inputFile, ext);
-// ── Minify: indented Kern → single-line wire format ─────────────────────
-if (args.includes('--minify')) {
-    const minified = minifyKern(ast);
-    const outFile = resolve(dirname(inputFile), `${name}.min.kern`);
-    writeFileSync(outFile, minified);
-    const savings = Math.round((1 - minified.length / irSource.length) * 100);
-    console.log(`Minified: ${inputFile} → ${outFile}`);
-    console.log(`Chars:    ${irSource.length} → ${minified.length} (${savings}% smaller)`);
-    process.exit(0);
-}
-// ── Pretty: re-indent (useful after minify or messy edits) ──────────────
-if (args.includes('--pretty')) {
-    const pretty = prettyKern(ast);
-    const outFile = resolve(dirname(inputFile), `${name}.kern`);
-    writeFileSync(outFile, pretty);
-    console.log(`Formatted: ${inputFile} → ${outFile}`);
-    process.exit(0);
-}
-// ── Decompile: Kern → human-readable pseudocode ─────────────────────────
-if (args.includes('--decompile')) {
-    const result = decompile(ast);
-    console.log(result.code);
-    process.exit(0);
-}
-// ── Metrics: analyze language coverage ────────────────────────────────────
-if (args.includes('--metrics')) {
-    const metrics = collectLanguageMetrics(ast);
-    console.log(`Metrics: ${inputFile}`);
-    console.log(`  Nodes:        ${metrics.nodeCount} (${metrics.nodeTypes.length} types)`);
-    console.log(`  Styles:       ${metrics.styleMetrics.totalStyleDecls} declarations`);
-    console.log(`  Mapped:       ${metrics.styleMetrics.mappedStyleDecls} (${Math.round((1 - metrics.styleMetrics.escapeRatio) * 100)}%)`);
-    console.log(`  Escaped:      ${metrics.styleMetrics.escapedStyleDecls} (${Math.round(metrics.styleMetrics.escapeRatio * 100)}%)`);
-    if (metrics.styleMetrics.escapedKeys.length > 0) {
-        console.log(`  Escape keys:  ${metrics.styleMetrics.escapedKeys.join(', ')}`);
-    }
-    console.log(`  Shorthand:    ${Math.round(metrics.shorthandCoverage * 100)}% coverage`);
-    console.log(`  Theme refs:   ${metrics.themeRefCount}`);
-    console.log(`  Pseudo:       ${metrics.pseudoStyleCount}`);
-    if (metrics.unknownNodeCount > 0) {
-        console.log(`  Unknown nodes: ${metrics.unknownNodeCount}`);
-    }
-    console.log('');
-    console.log('  Node types:');
-    for (const nt of metrics.nodeTypes.slice(0, 10)) {
-        console.log(`    ${nt.type}: ${nt.count} (${nt.styleDecls} styles)`);
-    }
-    process.exit(0);
-}
-// ── Transpile: Kern → target code ───────────────────────────────────────
-const result = target === 'native'
-    ? transpile(ast, config)
-    : target === 'web'
-        ? transpileWeb(ast, config)
-        : target === 'tailwind'
-            ? transpileTailwind(ast, config)
-            : target === 'mcp'
-                ? transpileMCP(ast, config)
-                : target === 'express'
-                    ? transpileExpress(ast, config)
-                    : target === 'fastapi'
-                        ? transpileFastAPI(ast, config)
-                        : target === 'cli'
-                            ? transpileCliApp(ast, config)
-                            : target === 'terminal'
-                                ? transpileTerminal(ast, config)
-                                : target === 'ink'
-                                    ? transpileInk(ast, config)
-                                    : target === 'vue'
-                                        ? transpileVue(ast, config)
-                                        : target === 'nuxt'
-                                            ? transpileNuxt(ast, config)
-                                            : transpileNextjs(ast, config);
-const outDir = resolve(dirname(inputFile), config.output.outDir);
-const isStructured = config.structure !== 'flat' && result.artifacts && result.artifacts.length > 0;
-if (isStructured) {
-    // Structured output: write all artifacts, entry code comes from artifacts
-    for (const artifact of result.artifacts) {
-        const artifactPath = resolve(outDir, artifact.path);
-        mkdirSync(dirname(artifactPath), { recursive: true });
-        writeFileSync(artifactPath, artifact.content);
-    }
-    // Find entry file path for display
-    const entryArtifact = result.artifacts.find(a => a.type === 'entry' || a.type === 'page');
-    const displayPath = entryArtifact ? resolve(outDir, entryArtifact.path) : resolve(outDir, `${name}.tsx`);
-    console.log(`Transpiled: ${inputFile} → ${displayPath}`);
-}
-else {
-    // Flat output: single file
-    const outExt = target === 'fastapi' ? '.py'
-        : (target === 'vue' || target === 'nuxt') ? '.vue'
-            : (target === 'express' || target === 'cli' || target === 'terminal') ? '.ts'
-                : '.tsx';
-    const outFile = resolve(outDir, `${name}${outExt}`);
-    mkdirSync(dirname(outFile), { recursive: true });
-    writeFileSync(outFile, result.code);
-    if (result.artifacts) {
-        for (const artifact of result.artifacts) {
-            const artifactPath = resolve(outDir, artifact.path);
-            mkdirSync(dirname(artifactPath), { recursive: true });
-            writeFileSync(artifactPath, artifact.content);
-        }
-    }
-    console.log(`Transpiled: ${inputFile} → ${outFile}`);
-}
-const targetNames = { native: 'React Native', web: 'React (inline)', tailwind: 'React + Tailwind', nextjs: 'Next.js App Router', express: 'Express TypeScript', fastapi: 'FastAPI Python', cli: 'Commander.js CLI', terminal: 'ANSI Terminal', ink: 'Ink (React for Terminals)', vue: 'Vue 3 SFC', nuxt: 'Nuxt 3' };
-console.log(`Target:     ${targetNames[target] || target}`);
-if (config.structure !== 'flat') {
-    const structureNames = { bulletproof: 'Bulletproof React', atomic: 'Atomic Design', kern: 'KERN Native' };
-    console.log(`Structure:  ${structureNames[config.structure] || config.structure}`);
-}
-console.log(`IR tokens:  ${result.irTokenCount}`);
-console.log(`TS tokens:  ${result.tsTokenCount}`);
-console.log(`Reduction:  ${result.tokenReduction}%`);
-console.log(`Source map: ${result.sourceMap.length} entries`);
-if (result.artifacts) {
-    console.log(`Artifacts:  ${result.artifacts.length}`);
-}
-if (result.diagnostics && result.diagnostics.length > 0) {
-    const counts = {};
-    for (const d of result.diagnostics)
-        counts[d.outcome] = (counts[d.outcome] || 0) + 1;
-    const parts = Object.entries(counts).map(([k, v]) => `${v} ${k}`);
-    console.log(`Diagnostics: ${parts.join(', ')}`);
-    const unsupported = result.diagnostics.filter(d => d.outcome === 'unsupported');
-    if (unsupported.length > 0) {
-        for (const d of unsupported) {
-            const loc = d.loc ? `:${d.loc.line}` : '';
-            const lost = d.childrenLost ? ` (+${d.childrenLost} children)` : '';
-            console.log(`  ⚠ ${d.nodeType}${loc} — unsupported in ${d.target}${lost}`);
-        }
-    }
-}
-// ── Minify/Pretty implementations ───────────────────────────────────────
-function minifyKern(node) {
-    const type = node.type;
-    const props = node.props || {};
-    let head = type;
-    // Serialize props (theme name is bare word, not key=value)
-    for (const [k, v] of Object.entries(props)) {
-        if (['styles', 'pseudoStyles', 'themeRefs'].includes(k))
-            continue;
-        if (type === 'theme' && k === 'name') {
-            head += ` ${v}`;
-            continue;
-        }
-        if (typeof v === 'object' && v !== null && '__expr' in v) {
-            head += ` ${k}={{ ${v.code} }}`;
-            continue;
-        }
-        const val = typeof v === 'string' && v.includes(' ') ? `"${v}"` : String(v);
-        head += ` ${k}=${val}`;
-    }
-    // Serialize styles
-    if (props.styles) {
-        const pairs = Object.entries(props.styles)
-            .map(([k, v]) => v.includes(' ') || v.includes(',') ? `"${k}":"${v}"` : `${k}:${v}`);
-        head += ` {${pairs.join(',')}}`;
-    }
-    // Serialize pseudo styles
-    if (props.pseudoStyles) {
-        const pseudo = props.pseudoStyles;
-        for (const [state, styles] of Object.entries(pseudo)) {
-            for (const [k, v] of Object.entries(styles)) {
-                head += ` {:${state}:${k}:${v}}`;
-            }
-        }
-    }
-    // Theme refs
-    if (props.themeRefs) {
-        for (const ref of props.themeRefs) {
-            head += ` $${ref}`;
-        }
-    }
-    // Children → S-expression style
-    if (node.children && node.children.length > 0) {
-        const kids = node.children.map(c => minifyKern(c)).join(',');
-        return `${head}(${kids})`;
-    }
-    return head;
-}
-function collectTsFilesFlat(dirPath, recursive) {
-    const files = [];
-    for (const entry of readdirSync(dirPath)) {
-        const full = resolve(dirPath, entry);
-        const s = statSync(full);
-        if (s.isDirectory() && recursive && !entry.startsWith('.') && entry !== 'node_modules' && entry !== 'dist') {
-            files.push(...collectTsFilesFlat(full, true));
-        }
-        else if ((entry.endsWith('.ts') || entry.endsWith('.tsx')) && !entry.endsWith('.d.ts') && !entry.endsWith('.test.ts')) {
-            files.push(full);
-        }
-        else if (entry.endsWith('.kern')) {
-            files.push(full);
-        }
-        else if (entry.endsWith('.py') && !entry.startsWith('test_') && !entry.endsWith('_test.py')) {
-            files.push(full);
-        }
-    }
-    return files;
-}
-function prettyKern(node, indent = '') {
-    const type = node.type;
-    const props = node.props || {};
-    let line = `${indent}${type}`;
-    for (const [k, v] of Object.entries(props)) {
-        if (['styles', 'pseudoStyles', 'themeRefs'].includes(k))
-            continue;
-        if (type === 'theme' && k === 'name') {
-            line += ` ${v}`;
-            continue;
-        }
-        if (typeof v === 'object' && v !== null && '__expr' in v) {
-            line += ` ${k}={{ ${v.code} }}`;
-            continue;
-        }
-        const val = typeof v === 'string' && v.includes(' ') ? `"${v}"` : String(v);
-        line += ` ${k}=${val}`;
-    }
-    if (props.styles) {
-        const pairs = Object.entries(props.styles)
-            .map(([k, v]) => v.includes(' ') || v.includes(',') ? `"${k}":"${v}"` : `${k}:${v}`);
-        line += ` {${pairs.join(',')}}`;
-    }
-    if (props.pseudoStyles) {
-        const pseudo = props.pseudoStyles;
-        for (const [state, styles] of Object.entries(pseudo)) {
-            for (const [k, v] of Object.entries(styles)) {
-                line += `,${`:${state}:${k}:${v}`}`;
-            }
-        }
-    }
-    if (props.themeRefs) {
-        for (const ref of props.themeRefs) {
-            line += ` $${ref}`;
-        }
-    }
-    let result = line + '\n';
-    if (node.children) {
-        for (const child of node.children) {
-            result += prettyKern(child, indent + '  ');
-        }
-    }
-    return result;
+    // Treat as file input for transpile
+    runTranspile(args);
 }
+await main();
 //# sourceMappingURL=cli.js.map