@kernlang/cli 3.5.9-canary.220.1.c398cd95 → 4.0.0

package/dist/cli.js

@@ -1,5 +1,6 @@
 #!/usr/bin/env node
 import { runApply } from './commands/apply.js';
+import { runCheck } from './commands/check.js';
 import { runCompile } from './commands/compile.js';
 import { runConfidence } from './commands/confidence.js';
 import { runContext } from './commands/context.js';
@@ -21,6 +22,7 @@ const cmd = args[0];
 // ── Command registry ─────────────────────────────────────────────────────
 const COMMANDS = {
     dev: runDev,
+    check: runCheck,
     compile: runCompile,
     init: runInit,
     test: runTest,

package/dist/cli.js.map

@@ -1 +1 @@
-{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAElE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACnC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;AAEpB,4EAA4E;AAE5E,MAAM,QAAQ,GAA6D;IACzE,GAAG,EAAE,MAAM;IACX,OAAO,EAAE,UAAU;IACnB,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,OAAO;IACb,gBAAgB,EAAE,gBAAgB;IAClC,MAAM,EAAE,SAAS;IACjB,OAAO,EAAE,UAAU;IACnB,MAAM,EAAE,SAAS;IACjB,OAAO,EAAE,UAAU;IACnB,KAAK,EAAE,QAAQ;IACf,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,SAAS;IACjB,eAAe,EAAE,eAAe;IAChC,iBAAiB,EAAE,iBAAiB;CACrC,CAAC;AAEF,KAAK,UAAU,IAAI;IACjB,IAAI,CAAC;QACH,4CAA4C;QAC5C,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,EAAE,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YACnD,MAAM,WAAW,CAAC,IAAI,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QAED,0BAA0B;QAC1B,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChD,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;YACpB,OAAO;QACT,CAAC;QAED,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,wBAAwB,EAAE,UAAU,CAAC,CAAC,CAAC;QAC5G,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAC/B,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC5C,CAAC,EAAE,CAAC;gBACN,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,YAAY,GAAG,IAAI,CAAC;gBACpB,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,SAAS,EAAE,CAAC;YACZ,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QAED,oCAAoC;QACpC,YAAY,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,KAAK,CAAE,GAAa,CAAC,OAAO,CAAC,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,MAAM,IAAI,EAAE,CAAC"}
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAElE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACnC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;AAEpB,4EAA4E;AAE5E,MAAM,QAAQ,GAA6D;IACzE,GAAG,EAAE,MAAM;IACX,KAAK,EAAE,QAAQ;IACf,OAAO,EAAE,UAAU;IACnB,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,OAAO;IACb,gBAAgB,EAAE,gBAAgB;IAClC,MAAM,EAAE,SAAS;IACjB,OAAO,EAAE,UAAU;IACnB,MAAM,EAAE,SAAS;IACjB,OAAO,EAAE,UAAU;IACnB,KAAK,EAAE,QAAQ;IACf,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,SAAS;IACjB,eAAe,EAAE,eAAe;IAChC,iBAAiB,EAAE,iBAAiB;CACrC,CAAC;AAEF,KAAK,UAAU,IAAI;IACjB,IAAI,CAAC;QACH,4CAA4C;QAC5C,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,EAAE,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YACnD,MAAM,WAAW,CAAC,IAAI,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QAED,0BAA0B;QAC1B,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChD,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;YACpB,OAAO;QACT,CAAC;QAED,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,wBAAwB,EAAE,UAAU,CAAC,CAAC,CAAC;QAC5G,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAC/B,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC5C,CAAC,EAAE,CAAC;gBACN,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,YAAY,GAAG,IAAI,CAAC;gBACpB,MAAM;YACR,CAAC;QACH,CAAC;QAED,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,SAAS,EAAE,CAAC;YACZ,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QAED,oCAAoC;QACpC,YAAY,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,KAAK,CAAE,GAAa,CAAC,OAAO,CAAC,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,MAAM,IAAI,EAAE,CAAC"}

package/dist/commands/check.d.ts

@@ -0,0 +1,60 @@
+export type CheckSeverity = 'error' | 'warning';
+export type CheckCategory = 'declaration' | 'call' | 'return' | 'parse' | 'semantic';
+/** A single CLI-level diagnostic, normalized across every library checker. */
+export interface CheckDiagnosticOut {
+    /** Path relative to the resolved scan root. */
+    file: string;
+    /** 1-based line, or null when the library diagnostic carries no location. */
+    line: number | null;
+    /** 1-based column, or null when unavailable. */
+    column: number | null;
+    severity: CheckSeverity;
+    category: CheckCategory;
+    /** Library rule id, verbatim. */
+    rule: string;
+    /** Human-readable reason, verbatim from the library diagnostic. */
+    message: string;
+}
+export interface CheckSummary {
+    filesScanned: number;
+    filesWithParseErrors: number;
+    diagnosticCount: number;
+    errorCount: number;
+    warningCount: number;
+    returnChecksRun: number;
+    durationMs: number;
+}
+export interface CheckReport {
+    schemaVersion: '1.0';
+    tool: 'kern-check';
+    checkerVersion: string;
+    root: string;
+    diagnostics: CheckDiagnosticOut[];
+    summary: CheckSummary;
+}
+export interface RunCheckOptions {
+    withSemantics: boolean;
+}
+/**
+ * Pure exit-code decision. Unit-testable without IO.
+ *
+ * - ≥1 error-severity diagnostic → 1
+ * - ≥1 warning-severity diagnostic AND `strict` → 1
+ * - otherwise → 0
+ */
+export declare function exitCodeFor(summary: CheckSummary, strict: boolean): 0 | 1;
+/**
+ * Read the version of `@kernlang/check` from its installed package.json by
+ * ascending from this module's directory to the nearest
+ * `node_modules/@kernlang/check/package.json`. The package's `exports` map does
+ * not expose `./package.json`, so we read the file directly rather than via
+ * module resolution. Falls back to `'unknown'` if it cannot be located.
+ */
+export declare function readCheckerVersion(): string;
+/**
+ * Run the type-checker (and, optionally, semantic validation) over a file or
+ * directory and produce the stable {@link CheckReport}. Pure with respect to
+ * process state apart from reading the filesystem.
+ */
+export declare function collectCheck(target: string, opts: RunCheckOptions): CheckReport;
+export declare function runCheck(args: string[]): Promise<void>;

package/dist/commands/check.js

@@ -0,0 +1,296 @@
+import { checkCalls, checkProgram, checkReturns } from '@kernlang/check';
+import { parseDocumentWithDiagnostics, validateSemantics } from '@kernlang/core';
+import { existsSync, readFileSync, statSync } from 'fs';
+import { dirname, join, relative, resolve } from 'path';
+import { fileURLToPath } from 'url';
+import { findKernFiles, hasFlag } from '../shared.js';
+// Mirror the discovery filter used by `commands/self-coverage.ts`.
+const SKIP_DIRS = new Set(['build', '.kern-gaps', 'coverage', '.next', '.turbo', '.vercel', 'generated']);
+/**
+ * Pure exit-code decision. Unit-testable without IO.
+ *
+ * - ≥1 error-severity diagnostic → 1
+ * - ≥1 warning-severity diagnostic AND `strict` → 1
+ * - otherwise → 0
+ */
+export function exitCodeFor(summary, strict) {
+    if (summary.errorCount > 0)
+        return 1;
+    if (strict && summary.warningCount > 0)
+        return 1;
+    return 0;
+}
+/**
+ * Read the version of `@kernlang/check` from its installed package.json by
+ * ascending from this module's directory to the nearest
+ * `node_modules/@kernlang/check/package.json`. The package's `exports` map does
+ * not expose `./package.json`, so we read the file directly rather than via
+ * module resolution. Falls back to `'unknown'` if it cannot be located.
+ */
+export function readCheckerVersion() {
+    let dir;
+    try {
+        dir = dirname(fileURLToPath(import.meta.url));
+    }
+    catch {
+        dir = process.cwd();
+    }
+    while (true) {
+        const candidate = join(dir, 'node_modules', '@kernlang', 'check', 'package.json');
+        if (existsSync(candidate)) {
+            try {
+                const pkg = JSON.parse(readFileSync(candidate, 'utf-8'));
+                if (typeof pkg.version === 'string')
+                    return pkg.version;
+            }
+            catch {
+                // fall through to keep ascending
+            }
+        }
+        const parent = dirname(dir);
+        if (parent === dir)
+            break;
+        dir = parent;
+    }
+    return 'unknown';
+}
+function listKernFiles(root) {
+    return (findKernFiles(root)
+        .filter((file) => !relative(root, file)
+        .split(/[\\/]/)
+        .some((part) => SKIP_DIRS.has(part)))
+        // `findKernFiles` matches any entry whose name ends in `.kern`, including
+        // DIRECTORIES named `*.kern` (the repo has a `.kern/` config dir). Those are
+        // not source files — drop them so the per-file read never hits EISDIR.
+        .filter((file) => statSync(file).isFile())
+        .sort((a, b) => a.localeCompare(b)));
+}
+function mapDeclaration(rel, diagnostic) {
+    return {
+        file: rel,
+        line: null,
+        column: null,
+        severity: 'error',
+        category: 'declaration',
+        rule: diagnostic.rule,
+        message: diagnostic.reason,
+    };
+}
+function mapCall(rel, diagnostic) {
+    return {
+        file: rel,
+        line: null,
+        column: null,
+        severity: 'error',
+        category: 'call',
+        rule: diagnostic.rule,
+        message: diagnostic.reason,
+    };
+}
+function mapReturn(rel, diagnostic) {
+    return {
+        file: rel,
+        line: null,
+        column: null,
+        severity: 'error',
+        category: 'return',
+        rule: diagnostic.rule,
+        message: diagnostic.reason,
+    };
+}
+/** Stable ordering: file, then category, then rule, then message. */
+function sortDiagnostics(diagnostics) {
+    return [...diagnostics].sort((a, b) => a.file.localeCompare(b.file) ||
+        a.category.localeCompare(b.category) ||
+        a.rule.localeCompare(b.rule) ||
+        a.message.localeCompare(b.message));
+}
+/**
+ * Run the type-checker (and, optionally, semantic validation) over a file or
+ * directory and produce the stable {@link CheckReport}. Pure with respect to
+ * process state apart from reading the filesystem.
+ */
+export function collectCheck(target, opts) {
+    const start = Date.now();
+    const resolved = resolve(target);
+    const isDirectory = statSync(resolved).isDirectory();
+    const scanRoot = isDirectory ? resolved : dirname(resolved);
+    const files = isDirectory ? listKernFiles(resolved) : [resolved];
+    const diagnostics = [];
+    const filesWithParseErrors = new Set();
+    let returnChecksRun = 0;
+    for (const file of files) {
+        const rel = relative(scanRoot, file) || file;
+        let source;
+        try {
+            source = readFileSync(file, 'utf-8');
+        }
+        catch (err) {
+            // Unreadable file is an operational failure — surface it to the caller.
+            throw new Error(`kern check: cannot read file '${file}': ${err.message}`);
+        }
+        const { root, diagnostics: parseDiagnostics } = parseDocumentWithDiagnostics(source);
+        let fileHasParseError = false;
+        for (const diagnostic of parseDiagnostics) {
+            if (diagnostic.severity !== 'error')
+                continue;
+            fileHasParseError = true;
+            diagnostics.push({
+                file: rel,
+                line: diagnostic.line,
+                column: diagnostic.col,
+                severity: 'error',
+                category: 'parse',
+                rule: 'parse-error',
+                message: diagnostic.message,
+            });
+        }
+        // Report-and-continue: a file with parse errors is excluded from
+        // type-checking but every other file still runs.
+        if (fileHasParseError) {
+            filesWithParseErrors.add(rel);
+            continue;
+        }
+        for (const diagnostic of checkProgram(root))
+            diagnostics.push(mapDeclaration(rel, diagnostic));
+        for (const diagnostic of checkCalls(root))
+            diagnostics.push(mapCall(rel, diagnostic));
+        const returnResult = checkReturns(root);
+        returnChecksRun += returnResult.returnChecksRun;
+        for (const diagnostic of returnResult.diagnostics)
+            diagnostics.push(mapReturn(rel, diagnostic));
+        if (opts.withSemantics) {
+            for (const violation of validateSemantics(root)) {
+                diagnostics.push({
+                    file: rel,
+                    line: violation.line ?? null,
+                    column: violation.col ?? null,
+                    // The semantic validator emits no severity field; every violation it
+                    // reports is a hard rule violation, so it maps to `error`.
+                    severity: 'error',
+                    category: 'semantic',
+                    rule: violation.rule,
+                    message: violation.message,
+                });
+            }
+        }
+    }
+    const sorted = sortDiagnostics(diagnostics);
+    const errorCount = sorted.filter((d) => d.severity === 'error').length;
+    const warningCount = sorted.filter((d) => d.severity === 'warning').length;
+    return {
+        schemaVersion: '1.0',
+        tool: 'kern-check',
+        checkerVersion: readCheckerVersion(),
+        root: scanRoot,
+        diagnostics: sorted,
+        summary: {
+            filesScanned: files.length,
+            filesWithParseErrors: filesWithParseErrors.size,
+            diagnosticCount: sorted.length,
+            errorCount,
+            warningCount,
+            returnChecksRun,
+            durationMs: Date.now() - start,
+        },
+    };
+}
+function printHumanReport(report, quiet) {
+    const { diagnostics, summary } = report;
+    if (!quiet && diagnostics.length > 0) {
+        const byFile = new Map();
+        for (const diagnostic of diagnostics) {
+            const bucket = byFile.get(diagnostic.file);
+            if (bucket)
+                bucket.push(diagnostic);
+            else
+                byFile.set(diagnostic.file, [diagnostic]);
+        }
+        const ruleWidth = Math.max(...diagnostics.map((d) => d.rule.length));
+        for (const [file, fileDiagnostics] of byFile) {
+            process.stdout.write(`${file}\n`);
+            for (const diagnostic of fileDiagnostics) {
+                const locator = diagnostic.line !== null ? `${diagnostic.category}, line ${diagnostic.line}` : diagnostic.category;
+                process.stdout.write(`  ${diagnostic.severity.padEnd(7)}${diagnostic.rule.padEnd(ruleWidth + 2)}${diagnostic.message}  (${locator})\n`);
+            }
+            process.stdout.write('\n');
+        }
+    }
+    if (diagnostics.length === 0) {
+        process.stdout.write(`✓ ${summary.filesScanned} files checked, no issues (returnChecksRun: ${summary.returnChecksRun})\n`);
+        return;
+    }
+    const errorWord = summary.errorCount === 1 ? 'error' : 'errors';
+    const fileCount = new Set(diagnostics.map((d) => d.file)).size;
+    const fileWord = fileCount === 1 ? 'file' : 'files';
+    process.stdout.write(`✗ ${summary.errorCount} ${errorWord} in ${fileCount} ${fileWord} ` +
+        `(${summary.filesScanned} files scanned, ${summary.warningCount} warnings)\n`);
+}
+function printCheckHelp() {
+    process.stdout.write([
+        'Usage: kern check [path] [--json] [--quiet] [--strict] [--with-semantics]',
+        '',
+        'Run the KERN nominal type-checker over a file or directory (defaults to cwd).',
+        '',
+        '  --json             machine-readable output on stdout (schemaVersion 1.0)',
+        '  --quiet            human mode: print only the summary line (ignored under --json)',
+        '  --strict           warnings also cause a non-zero exit',
+        '  --with-semantics   also run semantic validation (category: "semantic")',
+        '',
+    ].join('\n'));
+}
+/**
+ * Operational failure: exit 2 directly (distinct from diagnostic-driven exit 1
+ * routed through the cli.ts catch handler).
+ */
+function operationalFailure(message) {
+    process.stderr.write(`${message}\n`);
+    process.exit(2);
+}
+export async function runCheck(args) {
+    if (hasFlag(args, '--help', '-h')) {
+        printCheckHelp();
+        return;
+    }
+    const rest = args[0] === 'check' ? args.slice(1) : args;
+    const known = new Set(['--json', '--quiet', '--strict', '--with-semantics']);
+    const positionals = [];
+    for (const arg of rest) {
+        if (arg.startsWith('-')) {
+            if (!known.has(arg))
+                operationalFailure(`kern check: unknown flag '${arg}'`);
+        }
+        else {
+            positionals.push(arg);
+        }
+    }
+    if (positionals.length > 1) {
+        operationalFailure(`kern check: expected at most one path, got ${positionals.length}`);
+    }
+    const json = hasFlag(rest, '--json');
+    const quiet = hasFlag(rest, '--quiet');
+    const strict = hasFlag(rest, '--strict');
+    const withSemantics = hasFlag(rest, '--with-semantics');
+    const targetArg = positionals[0] ?? process.cwd();
+    const resolved = resolve(targetArg);
+    if (!existsSync(resolved)) {
+        operationalFailure(`kern check: path does not exist: ${targetArg}`);
+    }
+    let report;
+    try {
+        report = collectCheck(resolved, { withSemantics });
+    }
+    catch (err) {
+        operationalFailure(err.message);
+    }
+    if (json) {
+        process.stdout.write(`${JSON.stringify(report, null, 2)}\n`);
+    }
+    else {
+        printHumanReport(report, quiet);
+    }
+    const code = exitCodeFor(report.summary, strict);
+    if (code !== 0)
+        process.exit(code);
+}
+//# sourceMappingURL=check.js.map

package/dist/commands/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACzE,OAAO,EAAE,4BAA4B,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACjF,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,IAAI,CAAC;AACxD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AACxD,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEtD,mEAAmE;AACnE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;AA4C1G;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,OAAqB,EAAE,MAAe;IAChE,IAAI,OAAO,CAAC,UAAU,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACrC,IAAI,MAAM,IAAI,OAAO,CAAC,YAAY,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACjD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB;IAChC,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAChD,CAAC;IAAC,MAAM,CAAC;QACP,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC;IACD,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;QAClF,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAyB,CAAC;gBACjF,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;oBAAE,OAAO,GAAG,CAAC,OAAO,CAAC;YAC1D,CAAC;YAAC,MAAM,CAAC;gBACP,iCAAiC;YACnC,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG;YAAE,MAAM;QAC1B,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,aAAa,CAAC,IAAY;IACjC,OAAO,CACL,aAAa,CAAC,IAAI,CAAC;SAChB,MAAM,CACL,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;SAClB,KAAK,CAAC,OAAO,CAAC;SACd,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CACzC;QACD,0EAA0E;QAC1E,6EAA6E;QAC7E,uEAAuE;SACtE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;SACzC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CACtC,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,GAAW,EAAE,UAA2B;IAC9D,OAAO;QACL,IAAI,EAAE,GAAG;QACT,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,aAAa;QACvB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,OAAO,EAAE,UAAU,CAAC,MAAM;KAC3B,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,GAAW,EAAE,UAA+B;IAC3D,OAAO;QACL,IAAI,EAAE,GAAG;QACT,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,MAAM;QAChB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,OAAO,EAAE,UAAU,CAAC,MAAM;KAC3B,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,GAAW,EAAE,UAAiC;IAC/D,OAAO;QACL,IAAI,EAAE,GAAG;QACT,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,IAAI;QACZ,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,QAAQ;QAClB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,OAAO,EAAE,UAAU,CAAC,MAAM;KAC3B,CAAC;AACJ,CAAC;AAED,qEAAqE;AACrE,SAAS,eAAe,CAAC,WAAiC;IACxD,OAAO,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAC1B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5B,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC;QACpC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5B,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CACrC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,IAAqB;IAChE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,WAAW,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;IACrD,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAEjE,MAAM,WAAW,GAAyB,EAAE,CAAC;IAC7C,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/C,IAAI,eAAe,GAAG,CAAC,CAAC;IAExB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC;QAC7C,IAAI,MAAc,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACvC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,wEAAwE;YACxE,MAAM,IAAI,KAAK,CAAC,iCAAiC,IAAI,MAAO,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QACvF,CAAC;QAED,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,gBAAgB,EAAE,GAAG,4BAA4B,CAAC,MAAM,CAAC,CAAC;QAErF,IAAI,iBAAiB,GAAG,KAAK,CAAC;QAC9B,KAAK,MAAM,UAAU,IAAI,gBAAgB,EAAE,CAAC;YAC1C,IAAI,UAAU,CAAC,QAAQ,KAAK,OAAO;gBAAE,SAAS;YAC9C,iBAAiB,GAAG,IAAI,CAAC;YACzB,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,GAAG;gBACT,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,MAAM,EAAE,UAAU,CAAC,GAAG;gBACtB,QAAQ,EAAE,OAAO;gBACjB,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,UAAU,CAAC,OAAO;aAC5B,CAAC,CAAC;QACL,CAAC;QAED,iEAAiE;QACjE,iDAAiD;QACjD,IAAI,iBAAiB,EAAE,CAAC;YACtB,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC9B,SAAS;QACX,CAAC;QAED,KAAK,MAAM,UAAU,IAAI,YAAY,CAAC,IAAI,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;QAC/F,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,IAAI,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;QACtF,MAAM,YAAY,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACxC,eAAe,IAAI,YAAY,CAAC,eAAe,CAAC;QAChD,KAAK,MAAM,UAAU,IAAI,YAAY,CAAC,WAAW;YAAE,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;QAEhG,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,KAAK,MAAM,SAAS,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChD,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,GAAG;oBACT,IAAI,EAAE,SAAS,CAAC,IAAI,IAAI,IAAI;oBAC5B,MAAM,EAAE,SAAS,CAAC,GAAG,IAAI,IAAI;oBAC7B,qEAAqE;oBACrE,2DAA2D;oBAC3D,QAAQ,EAAE,OAAO;oBACjB,QAAQ,EAAE,UAAU;oBACpB,IAAI,EAAE,SAAS,CAAC,IAAI;oBACpB,OAAO,EAAE,SAAS,CAAC,OAAO;iBAC3B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IACvE,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IAE3E,OAAO;QACL,aAAa,EAAE,KAAK;QACpB,IAAI,EAAE,YAAY;QAClB,cAAc,EAAE,kBAAkB,EAAE;QACpC,IAAI,EAAE,QAAQ;QACd,WAAW,EAAE,MAAM;QACnB,OAAO,EAAE;YACP,YAAY,EAAE,KAAK,CAAC,MAAM;YAC1B,oBAAoB,EAAE,oBAAoB,CAAC,IAAI;YAC/C,eAAe,EAAE,MAAM,CAAC,MAAM;YAC9B,UAAU;YACV,YAAY;YACZ,eAAe;YACf,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAC/B;KACF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAmB,EAAE,KAAc;IAC3D,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAExC,IAAI,CAAC,KAAK,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;QACvD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAC3C,IAAI,MAAM;gBAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;;gBAC/B,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QACrE,KAAK,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,MAAM,EAAE,CAAC;YAC7C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC;YAClC,KAAK,MAAM,UAAU,IAAI,eAAe,EAAE,CAAC;gBACzC,MAAM,OAAO,GACX,UAAU,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,QAAQ,UAAU,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;gBACrG,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,KAAK,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,MAAM,OAAO,KAAK,CAClH,CAAC;YACJ,CAAC;YACD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,KAAK,OAAO,CAAC,YAAY,+CAA+C,OAAO,CAAC,eAAe,KAAK,CACrG,CAAC;QACF,OAAO;IACT,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;IAChE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/D,MAAM,QAAQ,GAAG,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IACpD,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,KAAK,OAAO,CAAC,UAAU,IAAI,SAAS,OAAO,SAAS,IAAI,QAAQ,GAAG;QACjE,IAAI,OAAO,CAAC,YAAY,mBAAmB,OAAO,CAAC,YAAY,cAAc,CAChF,CAAC;AACJ,CAAC;AAED,SAAS,cAAc;IACrB,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB;QACE,2EAA2E;QAC3E,EAAE;QACF,+EAA+E;QAC/E,EAAE;QACF,4EAA4E;QAC5E,qFAAqF;QACrF,0DAA0D;QAC1D,0EAA0E;QAC1E,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,kBAAkB,CAAC,OAAe;IACzC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,IAAI,CAAC,CAAC;IACrC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAc;IAC3C,IAAI,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;QAClC,cAAc,EAAE,CAAC;QACjB,OAAO;IACT,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAExD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,kBAAkB,CAAC,CAAC,CAAC;IAC7E,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,kBAAkB,CAAC,6BAA6B,GAAG,GAAG,CAAC,CAAC;QAC/E,CAAC;aAAM,CAAC;YACN,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,kBAAkB,CAAC,8CAA8C,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;IACzF,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACzC,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;IAExD,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IAClD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IACpC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1B,kBAAkB,CAAC,oCAAoC,SAAS,EAAE,CAAC,CAAC;IACtE,CAAC;IAED,IAAI,MAAmB,CAAC;IACxB,IAAI,CAAC;QACH,MAAM,GAAG,YAAY,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC;IACrD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,kBAAkB,CAAE,GAAa,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC;SAAM,CAAC;QACN,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;IAED,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACjD,IAAI,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrC,CAAC"}

package/dist/shared.d.ts

@@ -1,5 +1,5 @@
 import type { IRNode, KernTarget, ParseDiagnostic, ResolvedKernConfig, SchemaViolation, ShadowAnalyzeOptions, ShadowDiagnostic } from '@kernlang/core';
-export declare const GENERATED_HEADER = "// @generated by kern v3.5.9-canary.220.1.c398cd95 \u2014 DO NOT EDIT. Source: ";
+export declare const GENERATED_HEADER = "// @generated by kern v4.0.0 \u2014 DO NOT EDIT. Source: ";
 export declare function parseCompilerVersion(version: string): [number, number, number] | null;
 /**
  * Check the existing output file's @generated stamp against the current compiler version.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kernlang/cli",
-  "version": "3.5.9-canary.220.1.c398cd95",
+  "version": "4.0.0",
   "description": "KERN CLI — transpile, compile, minify, and analyze .kern files",
   "type": "module",
   "main": "./dist/index.js",
@@ -29,21 +29,22 @@
     "chokidar": "^5.0.0",
     "jiti": "^2.7.0",
     "typescript": "^6.0.3",
-    "@kernlang/codemod": "3.5.9-canary.220.1.c398cd95",
-    "@kernlang/core": "3.5.9-canary.220.1.c398cd95",
-    "@kernlang/express": "3.5.9-canary.220.1.c398cd95",
-    "@kernlang/go": "3.5.9-canary.220.1.c398cd95",
-    "@kernlang/native": "3.5.9-canary.220.1.c398cd95",
-    "@kernlang/mcp": "3.5.9-canary.220.1.c398cd95",
-    "@kernlang/metrics": "3.5.9-canary.220.1.c398cd95",
-    "@kernlang/evolve": "3.5.9-canary.220.1.c398cd95",
-    "@kernlang/react": "3.5.9-canary.220.1.c398cd95",
-    "@kernlang/review": "3.5.9-canary.220.1.c398cd95",
-    "@kernlang/review-mcp": "3.5.9-canary.220.1.c398cd95",
-    "@kernlang/test": "3.5.9-canary.220.1.c398cd95",
-    "@kernlang/vue": "3.5.9-canary.220.1.c398cd95",
-    "@kernlang/python": "3.5.9-canary.220.1.c398cd95",
-    "@kernlang/terminal": "3.5.9-canary.220.1.c398cd95"
+    "@kernlang/check": "4.0.0",
+    "@kernlang/codemod": "4.0.0",
+    "@kernlang/core": "4.0.0",
+    "@kernlang/evolve": "4.0.0",
+    "@kernlang/express": "4.0.0",
+    "@kernlang/python": "4.0.0",
+    "@kernlang/mcp": "4.0.0",
+    "@kernlang/metrics": "4.0.0",
+    "@kernlang/native": "4.0.0",
+    "@kernlang/review": "4.0.0",
+    "@kernlang/react": "4.0.0",
+    "@kernlang/review-mcp": "4.0.0",
+    "@kernlang/test": "4.0.0",
+    "@kernlang/go": "4.0.0",
+    "@kernlang/vue": "4.0.0",
+    "@kernlang/terminal": "4.0.0"
   },
   "scripts": {
     "build": "tsc -b",