@kernlang/test 3.4.0

package/README.md

@@ -0,0 +1,142 @@
+# @kernlang/test
+
+Native KERN structural test runner.
+
+Use it for KERN-level invariants that should be checked before generated code exists:
+
+- machine reachability and transition hygiene
+- derive graph cycles
+- guard exhaustiveness and guard configuration
+- API/MCP route and parameter safety
+- unguarded effects and async recovery debt
+
+## CLI
+
+```sh
+kern-test path/to/order.test.kern
+kern-test path/to/tests --json
+kern test path/to/order.test.kern
+kern test path/to/tests
+kern test path/to/tests --json
+kern test path/to/tests --grep Order
+kern test path/to/tests --bail
+kern test path/to/tests --watch
+kern test path/to/tests --format compact
+kern test path/to/tests --coverage
+kern test path/to/tests --min-coverage 80
+kern test path/to/tests --max-warnings 4
+kern test path/to/tests --write-baseline kern-test-baseline.json
+kern test path/to/tests --baseline kern-test-baseline.json
+kern test --list-rules
+kern test --explain-rule no:unguardedEffects
+kern test path/to/tests --pass-with-no-tests
+kern test path/to/tests --fail-on-warn
+```
+
+`kern-test` is the standalone binary shipped by `@kernlang/test`. `kern test` is the integrated command from `@kernlang/cli`; it supports the same native runner flags plus `--watch` and the legacy MCP Jest generator fallback. Single-file `kern test <file.kern>` inputs keep that legacy generator behavior when the file has no native `test` nodes. Directory inputs discover `.kern` files that contain native `test` nodes and run them as one aggregate suite. This repo's `examples/native-test` directory includes machine, MCP safety, permission-gated tool, runtime-function, and language-surface smoke tests for arrays, classes, and functions.
+
+## KERN Syntax
+
+```kern
+test name="Order invariants" target="./order.kern"
+  it name="reaches paid"
+    expect machine=Order reaches=paid via=confirm,capture
+    expect machine=Order from=confirmed reaches=paid via=capture maxSteps=1
+    expect machine=Order transition=capture from=confirmed to=paid guarded=true
+
+  it name="machine stays healthy"
+    expect preset=machine
+
+  it name="known migration debt stays visible"
+    expect no=deadStates severity=warn
+
+  it name="target still reaches core codegen"
+    expect no=codegenErrors
+
+  it name="KERN declaration shape stays stable"
+    expect node=interface name=Order child=field count=3
+    expect node=field name=status within=Order prop=type is=OrderState
+
+  it name="computed constants stay sane"
+    expect expr={{MAX_RETRIES > 0 && statuses.includes("paid")}}
+    expect expr={{MAX_RETRIES}} equals=3
+    expect expr={{status}} matches="^paid$"
+    expect expr={{JSON.parse("not-json")}} throws=SyntaxError
+
+  it name="order behavior is stable"
+    fixture name=paidOrder value={{({ items: [{ price: 20, qty: 2 }, { price: 5, qty: 1 }] })}}
+    fixture name=taxRate value=0.2
+    expect fn=orderSubtotal with=paidOrder equals=45
+    expect fn=addTax args={{[orderSubtotal(paidOrder), taxRate]}} equals=54
+    expect derive=total equals=54
+
+  it name="suite covers target surface"
+    expect preset=coverage
+```
+
+Presets expand into granular checks:
+
+- `machine`: `deadStates`, `duplicateTransitions`
+- `guard`: `invalidGuards`, `weakGuards`, `nonExhaustiveGuards`
+- `coverage`: `untestedTransitions`, `untestedGuards`
+- `apiSafety`: `duplicateRoutes`, `emptyRoutes`, `unvalidatedRoutes`, `unguardedEffects`, `uncheckedRoutePathParams`
+- `mcpSafety`: `duplicateParams`, `invalidGuards`, `unguardedToolParams`, `missingPathGuards`, `ssrfRisks`
+- `effects`: `unguardedEffects`, `sensitiveEffectsRequireAuth`, `effectWithoutCleanup`, `unrecoveredAsync`
+- `strict`: broad structural safety sweep
+
+Use `no=codegenErrors` as a smoke check when a suite should prove that valid KERN still reaches core code generation. It catches generator exceptions that parse/schema/semantic validation can miss.
+
+Use `expect machine=<Name> transition=<Transition>` for direct machine-edge assertions. Add `from=`, `to=`, and `guarded=true|false` when the transition contract matters independently from a full path. Reachability assertions can also start at a non-initial state with `from=`, require states with `through=`, forbid states with `avoid=`/`avoids=`, and cap path length with `maxSteps=`.
+
+Use `expect node=<type>` for KERN-native shape assertions over the target IR. Add `name=<name>` to narrow the node, `within=<ancestor-name-or-type>` to scope it under a parent declaration, `child=<type>` plus optional `childName=<name>` to assert direct children, `count=<n>` to assert cardinality, and `prop=<prop> is=<value>` to assert a KERN prop value. This is the preferred assertion when the invariant is about KERN declarations themselves, for example an interface field, machine state, class method, route param, or guard node.
+
+Use `no=nonExhaustiveGuards` to scan target-side variant guards that declare `covers=...`, `over=<Union>`, or `union=<Union>`. This is useful when Guard/Sight should catch a newly-added union variant before any backend compiler runs. Use `no=emptyRoutes` when route declarations must carry executable behavior through `handler`, `respond`, `derive`, `fmt`, `branch`, `each`, `collect`, or `effect`.
+
+Use `expect expr={{...}}` for small runtime assertions over referenced target-side `const`, `derive`, `let`, and pure `fn` bindings. Runtime `fn` handlers may use local statements, `if`, `return`, `throw`, and `async=true`/`await` over sandboxed values. Without a comparator, the expression must evaluate truthy. Add `equals=...` for deep equality, `matches="..."` for string/regex checks, or `throws=ErrorName` for expected exceptions.
+
+Use `fixture name=<id> value={{...}}` or `fixture name=<id> expr={{...}}` to define scoped runtime data inside `test`, `describe`, or `it`. Fixtures are visible to descendant assertions and do not leak into sibling cases.
+
+Use `expect fn=<name>` when the target KERN `fn` itself is the behavior under test. Add `with=<fixture-or-expression>` to pass one argument, or `args={{[...]}}` to spread an argument array into the function. Use `expect derive=<name>` to execute a target-side `derive` binding through the same runtime evaluator. Behavioral assertions support the same `equals=...`, `matches="..."`, and `throws=ErrorName` comparators as `expect expr={{...}}`. Failed behavior assertions report the generated call expression and fixture names so CI output points back to the KERN-native setup.
+
+Runtime assertions intentionally do not execute arbitrary application code. Multi-statement expressions and unsafe globals such as `process`, `require`, `eval`, `Function`, `fetch`, timers, and `WebSocket` are rejected before execution.
+
+Use `preset=coverage` when Guard/Sight need a native signal for untested KERN surface. Machine transition coverage is driven by explicit `via=...` reachability assertions. Guard coverage passes when guards have explicit `expect guard=<name> exhaustive=true` assertions or a guard-wide assertion such as `expect preset=guard`.
+
+Native effect checks follow same-file helper `fn` calls before classifying dangerous work, so a route/tool that calls `readSecret()` still gets flagged when `readSecret()` performs filesystem, database, network, shell, or email effects. They also recognize inline CLI permission gates shaped like a `checkPermission` function returning a `PermissionDecision` and returned from a tool factory. That lets KERN test AGON-style tool factories without forcing every permission check into a separate `guard` node.
+
+Use `--coverage` to print native transition/guard coverage. Use `--min-coverage <pct>` to fail CI when combined machine-transition and guard coverage drops below the threshold. JSON summaries always include the same `coverage` object.
+
+Use `severity=warn` for known migration debt that should stay visible without failing local runs. CI can promote warnings to failures with `kern test <file-or-dir> --fail-on-warn`.
+
+Use `--grep <pattern>` to run only matching suites, cases, assertions, rule IDs, messages, or files. The CLI exits nonzero when a grep run matches zero assertions. Use `--bail` to stop after the first failed native assertion.
+
+Use `--watch` during development to rerun native KERN tests when watched `.kern` files change. Directory inputs watch every `.kern` file under the directory. Single native test files watch the test file plus its current target files.
+
+Use `--format compact` (or `--compact`) in CI when you only want the aggregate line plus warning/failure details. JSON output is unchanged by format flags.
+
+Use `--max-warnings <n>` to enforce a warning budget during adoption. `--fail-on-warn` is equivalent to a zero-warning budget.
+
+Use `--write-baseline <file>` to snapshot current warning debt, then `--baseline <file>` in CI to fail when warnings are added or removed. Baseline entries key on suite, case, rule ID, assertion, and message, not line number, so moving tests does not churn the file.
+
+Use `--pass-with-no-tests` when wiring native tests into a repo before every package has `.test.kern` coverage. Without it, an empty native test run fails so missing tests stay visible.
+
+Text and JSON results include stable `ruleId` values such as `machine:reaches`, `guard:exhaustive`, and `no:deadstates`. Guard and Sight should key off those IDs instead of display messages.
+
+Use `--list-rules` and `--explain-rule <rule>` to inspect the native rule IDs that appear in text, JSON, and baselines.
+
+## Library API
+
+```ts
+import {
+  discoverNativeKernTestFiles,
+  formatNativeKernTestCoverage,
+  formatNativeKernTestRunSummary,
+  runNativeKernTestRun,
+  runNativeKernTests,
+} from '@kernlang/test';
+
+const fileSummary = runNativeKernTests('order.test.kern', { grep: 'Order', bail: true });
+const runSummary = runNativeKernTestRun('examples/native-test', { grep: /coverage|guard/i });
+console.log(formatNativeKernTestRunSummary(runSummary));
+console.log(formatNativeKernTestCoverage(runSummary.coverage));
+```

package/dist/cli.d.ts

@@ -0,0 +1,7 @@
+#!/usr/bin/env node
+interface NativeKernTestCliIO {
+    stdout: Pick<typeof process.stdout, 'write'>;
+    stderr: Pick<typeof process.stderr, 'write'>;
+}
+export declare function runNativeKernTestCli(args?: string[], io?: NativeKernTestCliIO): number;
+export {};

package/dist/cli.js

@@ -0,0 +1,216 @@
+#!/usr/bin/env node
+import { existsSync, readFileSync, statSync, writeFileSync } from 'fs';
+import { resolve } from 'path';
+import { fileURLToPath } from 'url';
+import { checkNativeKernTestBaseline, createNativeKernTestBaseline, explainNativeKernTestRule, formatNativeKernTestCoverage, formatNativeKernTestRunSummary, formatNativeKernTestSummary, listNativeKernTestRules, runNativeKernTestRun, runNativeKernTests, } from './index.js';
+const VALUE_FLAGS = new Set([
+    '--baseline',
+    '--explain-rule',
+    '--format',
+    '--grep',
+    '--max-warnings',
+    '--min-coverage',
+    '--write-baseline',
+]);
+function hasFlag(args, ...flags) {
+    return args.some((arg) => flags.includes(arg));
+}
+function hasValueFlag(args, flag) {
+    return args.includes(flag) || args.some((arg) => arg.startsWith(`${flag}=`));
+}
+function parseValueFlag(args, flag) {
+    const eqArg = args.find((arg) => arg.startsWith(`${flag}=`));
+    if (eqArg)
+        return eqArg.slice(flag.length + 1);
+    const index = args.indexOf(flag);
+    if (index === -1)
+        return undefined;
+    const next = args[index + 1];
+    if (!next || next.startsWith('--'))
+        return '';
+    return next;
+}
+function firstPositionalArg(args) {
+    for (let i = 0; i < args.length; i += 1) {
+        const arg = args[i];
+        if (arg.startsWith('--')) {
+            if (!arg.includes('=') && VALUE_FLAGS.has(arg))
+                i += 1;
+            continue;
+        }
+        return arg;
+    }
+    return undefined;
+}
+function requireValueFlag(args, flag, description, io) {
+    if (!hasValueFlag(args, flag))
+        return undefined;
+    const value = parseValueFlag(args, flag);
+    if (!value) {
+        io.stderr.write(`${flag} requires ${description}.\n`);
+        throw new Error('usage');
+    }
+    return value;
+}
+function loadNativeBaseline(path) {
+    const parsed = JSON.parse(readFileSync(path, 'utf-8'));
+    if (parsed.version !== 1 || !Array.isArray(parsed.warnings)) {
+        throw new Error('expected { "version": 1, "warnings": [...] }');
+    }
+    return parsed;
+}
+function isNativeRunSummary(summary) {
+    return 'files' in summary;
+}
+function usage() {
+    return [
+        'Usage: kern-test <file-or-dir> [--json] [--grep <pattern>] [--bail] [--fail-on-warn]',
+        '                 [--max-warnings <n>] [--coverage] [--min-coverage <pct>]',
+        '                 [--baseline <file>] [--write-baseline <file>] [--pass-with-no-tests]',
+        '                 [--format compact] [--compact] [--list-rules] [--explain-rule <rule>]',
+    ].join('\n');
+}
+function handleNativeBaseline(summary, opts, io) {
+    let failed = false;
+    if (opts.writeBaselinePath) {
+        writeFileSync(opts.writeBaselinePath, `${JSON.stringify(createNativeKernTestBaseline(summary), null, 2)}\n`);
+    }
+    if (opts.baselinePath) {
+        const check = checkNativeKernTestBaseline(summary, loadNativeBaseline(opts.baselinePath));
+        if (!check.ok) {
+            failed = true;
+            for (const warning of check.newWarnings) {
+                io.stderr.write(`New native warning: ${warning.suite} > ${warning.caseName}: ${warning.assertion} [${warning.ruleId}]${warning.message ? ` - ${warning.message}` : ''}\n`);
+            }
+            for (const warning of check.staleWarnings) {
+                io.stderr.write(`Stale native warning baseline: ${warning.suite} > ${warning.caseName}: ${warning.assertion} [${warning.ruleId}]${warning.message ? ` - ${warning.message}` : ''}\n`);
+            }
+        }
+    }
+    return failed;
+}
+function reportNativeSummary(summary, options, io) {
+    io.stdout.write(options.json
+        ? `${JSON.stringify(summary, null, 2)}\n`
+        : isNativeRunSummary(summary)
+            ? formatNativeKernTestRunSummary(summary, options.compact ? { format: 'compact' } : undefined)
+            : formatNativeKernTestSummary(summary, options.compact ? { format: 'compact' } : undefined));
+    if (options.coverage && !options.json)
+        io.stdout.write(formatNativeKernTestCoverage(summary.coverage));
+    const baselineFailed = handleNativeBaseline(summary, { baselinePath: options.baselinePath, writeBaselinePath: options.writeBaselinePath }, io);
+    const coverageFailed = options.minCoverage !== undefined && summary.coverage.percent < options.minCoverage;
+    if (coverageFailed) {
+        io.stderr.write(`Native coverage ${summary.coverage.percent}% is below --min-coverage ${options.minCoverage}%.\n`);
+    }
+    const grepMatchedNothing = Boolean(options.grep) &&
+        summary.total === 0 &&
+        !options.passWithNoTests &&
+        (!isNativeRunSummary(summary) || summary.files.length > 0);
+    const failed = summary.failed > 0 ||
+        baselineFailed ||
+        coverageFailed ||
+        (options.failOnWarn && summary.warnings > 0) ||
+        (options.maxWarnings !== undefined && summary.warnings > options.maxWarnings) ||
+        grepMatchedNothing;
+    return failed ? 1 : 0;
+}
+export function runNativeKernTestCli(args = process.argv.slice(2), io = { stdout: process.stdout, stderr: process.stderr }) {
+    try {
+        const json = hasFlag(args, '--json');
+        const listRules = hasFlag(args, '--list-rules');
+        const help = hasFlag(args, '--help', '-h');
+        if (help) {
+            io.stdout.write(`${usage()}\n`);
+            return 0;
+        }
+        if (listRules) {
+            const rules = listNativeKernTestRules();
+            io.stdout.write(json
+                ? `${JSON.stringify(rules, null, 2)}\n`
+                : `${rules.map((rule) => `${rule.ruleId} - ${rule.description}`).join('\n')}\n`);
+            return 0;
+        }
+        const explainRule = requireValueFlag(args, '--explain-rule', 'a rule ID', io);
+        if (explainRule) {
+            const rule = explainNativeKernTestRule(explainRule);
+            if (!rule) {
+                io.stderr.write(`Unknown native test rule: ${explainRule}\n`);
+                return 2;
+            }
+            io.stdout.write(json
+                ? `${JSON.stringify(rule, null, 2)}\n`
+                : `${rule.ruleId}\n${rule.description}${rule.presets?.length ? `\nPresets: ${rule.presets.join(', ')}` : ''}\n`);
+            return 0;
+        }
+        const input = firstPositionalArg(args);
+        if (!input) {
+            io.stderr.write(`${usage()}\n`);
+            return 1;
+        }
+        const grepFlagPresent = hasValueFlag(args, '--grep');
+        const grep = requireValueFlag(args, '--grep', 'a pattern', io);
+        const formatFlagPresent = hasValueFlag(args, '--format');
+        const requestedFormat = requireValueFlag(args, '--format', '"default" or "compact"', io);
+        const compact = hasFlag(args, '--compact') || requestedFormat === 'compact';
+        const maxWarningsRaw = requireValueFlag(args, '--max-warnings', 'a non-negative integer', io);
+        const minCoverageRaw = requireValueFlag(args, '--min-coverage', 'a percentage from 0 to 100', io);
+        const baselinePath = requireValueFlag(args, '--baseline', 'a file path', io);
+        const writeBaselinePath = requireValueFlag(args, '--write-baseline', 'a file path', io);
+        const maxWarnings = maxWarningsRaw === undefined ? undefined : Number(maxWarningsRaw);
+        const minCoverage = minCoverageRaw === undefined ? undefined : Number(minCoverageRaw);
+        if (grepFlagPresent && !grep) {
+            io.stderr.write('--grep requires a pattern.\n');
+            return 2;
+        }
+        if (formatFlagPresent && requestedFormat !== 'default' && requestedFormat !== 'compact') {
+            io.stderr.write('--format must be "default" or "compact".\n');
+            return 2;
+        }
+        if (maxWarnings !== undefined && (!Number.isInteger(maxWarnings) || maxWarnings < 0)) {
+            io.stderr.write('--max-warnings requires a non-negative integer.\n');
+            return 2;
+        }
+        if (minCoverage !== undefined && (Number.isNaN(minCoverage) || minCoverage < 0 || minCoverage > 100)) {
+            io.stderr.write('--min-coverage requires a percentage from 0 to 100.\n');
+            return 2;
+        }
+        if (baselinePath && writeBaselinePath) {
+            io.stderr.write('--baseline and --write-baseline cannot be used together.\n');
+            return 2;
+        }
+        const inputPath = resolve(input);
+        if (!existsSync(inputPath)) {
+            io.stderr.write(`Not found: ${input}\n`);
+            return 1;
+        }
+        const options = {
+            json,
+            compact,
+            coverage: hasFlag(args, '--coverage') || minCoverageRaw !== undefined,
+            baselinePath,
+            writeBaselinePath,
+            minCoverage,
+            failOnWarn: hasFlag(args, '--fail-on-warn'),
+            maxWarnings,
+            grep,
+            bail: hasFlag(args, '--bail'),
+            passWithNoTests: hasFlag(args, '--pass-with-no-tests'),
+        };
+        const stat = statSync(inputPath);
+        const summary = stat.isDirectory()
+            ? runNativeKernTestRun(inputPath, options)
+            : runNativeKernTests(inputPath, options);
+        return reportNativeSummary(summary, options, io);
+    }
+    catch (error) {
+        if (error instanceof Error && error.message === 'usage')
+            return 2;
+        io.stderr.write(`${error instanceof Error ? error.message : String(error)}\n`);
+        return 2;
+    }
+}
+const isEntrypoint = process.argv[1] && resolve(process.argv[1]) === fileURLToPath(import.meta.url);
+if (isEntrypoint) {
+    process.exitCode = runNativeKernTestCli();
+}
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,IAAI,CAAC;AACvE,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,EAC5B,yBAAyB,EACzB,4BAA4B,EAC5B,8BAA8B,EAC9B,2BAA2B,EAC3B,uBAAuB,EAIvB,oBAAoB,EACpB,kBAAkB,GACnB,MAAM,YAAY,CAAC;AAqBpB,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;IAC1B,YAAY;IACZ,gBAAgB;IAChB,UAAU;IACV,QAAQ;IACR,gBAAgB;IAChB,gBAAgB;IAChB,kBAAkB;CACnB,CAAC,CAAC;AAEH,SAAS,OAAO,CAAC,IAAc,EAAE,GAAG,KAAe;IACjD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,YAAY,CAAC,IAAc,EAAE,IAAY;IAChD,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,cAAc,CAAC,IAAc,EAAE,IAAY;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC;IAC7D,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAC7B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC9C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAc;IACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,CAAC,IAAI,CAAC,CAAC;YACvD,SAAS;QACX,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAc,EACd,IAAY,EACZ,WAAmB,EACnB,EAAuB;IAEvB,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACzC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,aAAa,WAAW,KAAK,CAAC,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY;IACtC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAA2B,CAAC;IACjF,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,kBAAkB,CACzB,OAAyD;IAEzD,OAAO,OAAO,IAAI,OAAO,CAAC;AAC5B,CAAC;AAED,SAAS,KAAK;IACZ,OAAO;QACL,sFAAsF;QACtF,2EAA2E;QAC3E,uFAAuF;QACvF,wFAAwF;KACzF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,oBAAoB,CAC3B,OAAyD,EACzD,IAA2D,EAC3D,EAAuB;IAEvB,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC3B,aAAa,CAAC,IAAI,CAAC,iBAAiB,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,4BAA4B,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/G,CAAC;IACD,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,2BAA2B,CAAC,OAAO,EAAE,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;QAC1F,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;YACd,MAAM,GAAG,IAAI,CAAC;YACd,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;gBACxC,EAAE,CAAC,MAAM,CAAC,KAAK,CACb,uBAAuB,OAAO,CAAC,KAAK,MAAM,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,SAAS,KAAK,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAC1J,CAAC;YACJ,CAAC;YACD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;gBAC1C,EAAE,CAAC,MAAM,CAAC,KAAK,CACb,kCAAkC,OAAO,CAAC,KAAK,MAAM,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,SAAS,KAAK,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CACrK,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,mBAAmB,CAC1B,OAAyD,EACzD,OAAiC,EACjC,EAAuB;IAEvB,EAAE,CAAC,MAAM,CAAC,KAAK,CACb,OAAO,CAAC,IAAI;QACV,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI;QACzC,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC;YAC3B,CAAC,CAAC,8BAA8B,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;YAC9F,CAAC,CAAC,2BAA2B,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAChG,CAAC;IACF,IAAI,OAAO,CAAC,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI;QAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,4BAA4B,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IAEvG,MAAM,cAAc,GAAG,oBAAoB,CACzC,OAAO,EACP,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,EAAE,EACpF,EAAE,CACH,CAAC;IACF,MAAM,cAAc,GAAG,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC;IAC3G,IAAI,cAAc,EAAE,CAAC;QACnB,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,mBAAmB,OAAO,CAAC,QAAQ,CAAC,OAAO,6BAA6B,OAAO,CAAC,WAAW,MAAM,CAAC,CAAC;IACrH,CAAC;IAED,MAAM,kBAAkB,GACtB,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC;QACrB,OAAO,CAAC,KAAK,KAAK,CAAC;QACnB,CAAC,OAAO,CAAC,eAAe;QACxB,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7D,MAAM,MAAM,GACV,OAAO,CAAC,MAAM,GAAG,CAAC;QAClB,cAAc;QACd,cAAc;QACd,CAAC,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC5C,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC;QAC7E,kBAAkB,CAAC;IACrB,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,OAAiB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EACtC,KAA0B,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAE5E,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACrC,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAE3C,IAAI,IAAI,EAAE,CAAC;YACT,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,CAAC;YAChC,OAAO,CAAC,CAAC;QACX,CAAC;QAED,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,uBAAuB,EAAE,CAAC;YACxC,EAAE,CAAC,MAAM,CAAC,KAAK,CACb,IAAI;gBACF,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI;gBACvC,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,MAAM,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAClF,CAAC;YACF,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;QAC9E,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,IAAI,GAAG,yBAAyB,CAAC,WAAW,CAAC,CAAC;YACpD,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,6BAA6B,WAAW,IAAI,CAAC,CAAC;gBAC9D,OAAO,CAAC,CAAC;YACX,CAAC;YACD,EAAE,CAAC,MAAM,CAAC,KAAK,CACb,IAAI;gBACF,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI;gBACtC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,cAAc,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAClH,CAAC;YACF,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,CAAC;YAChC,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,eAAe,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACrD,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;QAC/D,MAAM,iBAAiB,GAAG,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACzD,MAAM,eAAe,GAAG,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,wBAAwB,EAAE,EAAE,CAAC,CAAC;QACzF,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,eAAe,KAAK,SAAS,CAAC;QAC5E,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,EAAE,CAAC,CAAC;QAC9F,MAAM,cAAc,GAAG,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,EAAE,4BAA4B,EAAE,EAAE,CAAC,CAAC;QAClG,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,EAAE,YAAY,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;QAC7E,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,IAAI,EAAE,kBAAkB,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;QACxF,MAAM,WAAW,GAAG,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;QACtF,MAAM,WAAW,GAAG,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;QAEtF,IAAI,eAAe,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7B,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;YAChD,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,iBAAiB,IAAI,eAAe,KAAK,SAAS,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;YACxF,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,4CAA4C,CAAC,CAAC;YAC9D,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC,CAAC,EAAE,CAAC;YACrF,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,mDAAmD,CAAC,CAAC;YACrE,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC,IAAI,WAAW,GAAG,GAAG,CAAC,EAAE,CAAC;YACrG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,uDAAuD,CAAC,CAAC;YACzE,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,YAAY,IAAI,iBAAiB,EAAE,CAAC;YACtC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,4DAA4D,CAAC,CAAC;YAC9E,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC3B,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC;YACzC,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,OAAO,GAA6B;YACxC,IAAI;YACJ,OAAO;YACP,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,cAAc,KAAK,SAAS;YACrE,YAAY;YACZ,iBAAiB;YACjB,WAAW;YACX,UAAU,EAAE,OAAO,CAAC,IAAI,EAAE,gBAAgB,CAAC;YAC3C,WAAW;YACX,IAAI;YACJ,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC;YAC7B,eAAe,EAAE,OAAO,CAAC,IAAI,EAAE,sBAAsB,CAAC;SACvD,CAAC;QACF,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE;YAChC,CAAC,CAAC,oBAAoB,CAAC,SAAS,EAAE,OAAO,CAAC;YAC1C,CAAC,CAAC,kBAAkB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QAC3C,OAAO,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;IACnD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,KAAK,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO;YAAE,OAAO,CAAC,CAAC;QAClE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/E,OAAO,CAAC,CAAC;IACX,CAAC;AACH,CAAC;AAED,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACpG,IAAI,YAAY,EAAE,CAAC;IACjB,OAAO,CAAC,QAAQ,GAAG,oBAAoB,EAAE,CAAC;AAC5C,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,97 @@
+export type NativeKernTestStatus = 'passed' | 'failed' | 'warning';
+export type NativeKernTestSeverity = 'error' | 'warn';
+export interface NativeKernTestResult {
+    suite: string;
+    caseName: string;
+    ruleId: string;
+    assertion: string;
+    severity: NativeKernTestSeverity;
+    status: NativeKernTestStatus;
+    message?: string;
+    file?: string;
+    line?: number;
+    col?: number;
+}
+export interface NativeKernTestCoverageMetric {
+    total: number;
+    covered: number;
+    percent: number;
+    uncovered: string[];
+}
+export interface NativeKernTestCoverageTarget {
+    file: string;
+    transitions: NativeKernTestCoverageMetric;
+    guards: NativeKernTestCoverageMetric;
+}
+export interface NativeKernTestCoverageSummary {
+    total: number;
+    covered: number;
+    percent: number;
+    transitions: NativeKernTestCoverageMetric;
+    guards: NativeKernTestCoverageMetric;
+    targets: NativeKernTestCoverageTarget[];
+}
+export interface NativeKernTestSummary {
+    file: string;
+    targetFiles: string[];
+    total: number;
+    passed: number;
+    warnings: number;
+    failed: number;
+    results: NativeKernTestResult[];
+    coverage: NativeKernTestCoverageSummary;
+}
+export interface NativeKernTestRunSummary {
+    input: string;
+    testFiles: string[];
+    targetFiles: string[];
+    total: number;
+    passed: number;
+    warnings: number;
+    failed: number;
+    files: NativeKernTestSummary[];
+    coverage: NativeKernTestCoverageSummary;
+}
+export interface NativeKernTestBaselineEntry {
+    suite: string;
+    caseName: string;
+    ruleId: string;
+    assertion: string;
+    signature?: string;
+    message?: string;
+}
+export interface NativeKernTestBaseline {
+    version: 1;
+    warnings: NativeKernTestBaselineEntry[];
+}
+export interface NativeKernTestBaselineCheck {
+    ok: boolean;
+    knownWarnings: NativeKernTestBaselineEntry[];
+    newWarnings: NativeKernTestBaselineEntry[];
+    staleWarnings: NativeKernTestBaselineEntry[];
+}
+export interface NativeKernTestOptions {
+    grep?: string | RegExp;
+    bail?: boolean;
+    passWithNoTests?: boolean;
+}
+export type NativeKernTestFormat = 'default' | 'compact';
+export interface NativeKernTestFormatOptions {
+    format?: NativeKernTestFormat;
+}
+export interface NativeKernTestRule {
+    ruleId: string;
+    description: string;
+    presets?: string[];
+}
+export declare function listNativeKernTestRules(): NativeKernTestRule[];
+export declare function explainNativeKernTestRule(ruleId: string): NativeKernTestRule | undefined;
+export declare function hasNativeKernTests(source: string): boolean;
+export declare function discoverNativeKernTestFiles(input: string): string[];
+export declare function runNativeKernTests(file: string, options?: NativeKernTestOptions): NativeKernTestSummary;
+export declare function runNativeKernTestRun(input: string, options?: NativeKernTestOptions): NativeKernTestRunSummary;
+export declare function createNativeKernTestBaseline(summary: NativeKernTestSummary | NativeKernTestRunSummary): NativeKernTestBaseline;
+export declare function checkNativeKernTestBaseline(summary: NativeKernTestSummary | NativeKernTestRunSummary, baseline: NativeKernTestBaseline): NativeKernTestBaselineCheck;
+export declare function formatNativeKernTestCoverage(coverage: NativeKernTestCoverageSummary): string;
+export declare function formatNativeKernTestSummary(summary: NativeKernTestSummary, options?: NativeKernTestFormatOptions): string;
+export declare function formatNativeKernTestRunSummary(summary: NativeKernTestRunSummary, options?: NativeKernTestFormatOptions): string;