@kernlang/review 3.3.4 → 3.3.6

package/dist/rules/suggest-kern-primitive.js

@@ -0,0 +1,543 @@
+/**
+ * suggest-kern-primitive — migration rule that flags JS patterns where an
+ * equivalent KERN primitive exists (array methods + fmt + conditional + async).
+ *
+ * Fires as `info` / precision=`experimental` so kern-sight hides it by default.
+ * Opt in with `--rule suggest-kern-primitive` for a one-shot migration scan.
+ *
+ * Covers the 22 shipped array primitives (post PR #93 + #103 + PR C):
+ *   filter, find, some, every, findIndex, reduce, map, flatMap, flat, slice,
+ *   at, sort, reverse, join, includes, indexOf, lastIndexOf, concat, forEach,
+ *   compact, pluck, unique.
+ *
+ * Plus three structural primitives:
+ *   - Template literal in `const` → `fmt name=x template="…"`
+ *   - JSX ternary in `{…}`       → `conditional if="…"` + handler/else
+ *   - async fn with try/catch    → `async name=X` + `recover`/`strategy`
+ *
+ * Special-cased shapes (route to the narrower primitive rather than the generic one):
+ *   - `.filter(Boolean)`              → `compact`
+ *   - `.map(x => x.prop[.chain])`     → `pluck`
+ *   - `[...new Set(coll)]`            → `unique`
+ *
+ * Immutability note: TS `.sort()` and `.reverse()` mutate; KERN emits the
+ * immutable `[...coll].sort(...)` / `[...coll].reverse()` shape. Suggestions
+ * for those two methods include a callout so authors can audit callers before
+ * migrating.
+ */
+import { Node, SyntaxKind } from 'ts-morph';
+import { finding } from './utils.js';
+const ARRAY_METHODS = {
+    filter: { kernNode: 'filter', shape: 'predicate' },
+    find: { kernNode: 'find', shape: 'predicate' },
+    some: { kernNode: 'some', shape: 'predicate' },
+    every: { kernNode: 'every', shape: 'predicate' },
+    findIndex: { kernNode: 'findIndex', shape: 'predicate' },
+    map: { kernNode: 'map', shape: 'expr' },
+    flatMap: { kernNode: 'flatMap', shape: 'expr' },
+    reduce: { kernNode: 'reduce', shape: 'reduce' },
+    slice: { kernNode: 'slice', shape: 'slice' },
+    at: { kernNode: 'at', shape: 'at' },
+    flat: { kernNode: 'flat', shape: 'flat' },
+    join: { kernNode: 'join', shape: 'join' },
+    includes: { kernNode: 'includes', shape: 'value' },
+    indexOf: { kernNode: 'indexOf', shape: 'value' },
+    lastIndexOf: { kernNode: 'lastIndexOf', shape: 'value' },
+    concat: { kernNode: 'concat', shape: 'concat' },
+    forEach: { kernNode: 'forEach', shape: 'forEach' },
+    sort: { kernNode: 'sort', shape: 'sort' },
+    reverse: { kernNode: 'reverse', shape: 'reverse' },
+};
+// Node kinds whose descendants should be skipped — don't flag opportunities
+// inside test files, type-only files, or generated code paths by path hint.
+function shouldSkipFile(ctx) {
+    const p = ctx.filePath.toLowerCase();
+    if (p.endsWith('.d.ts'))
+        return true;
+    if (p.includes('/node_modules/'))
+        return true;
+    if (p.includes('/dist/') || p.includes('/build/'))
+        return true;
+    if (p.includes('/generated/'))
+        return true;
+    return false;
+}
+function isArrowLike(n) {
+    return !!n && (Node.isArrowFunction(n) || Node.isFunctionExpression(n));
+}
+/**
+ * Extract an arrow/function body as a single expression string.
+ * Returns null for block bodies (multi-statement), which aren't a clean fit
+ * for an inline `where=` / `expr=` suggestion — those need a handler block.
+ */
+function extractSingleExprBody(arrow) {
+    const body = arrow.getBody();
+    if (Node.isBlock(body))
+        return null;
+    return body.getText();
+}
+function escapeKernString(s) {
+    return s.replace(/\\/g, '\\\\').replace(/"/g, '\\"').replace(/\r?\n/g, ' ').replace(/\s+/g, ' ').trim();
+}
+/**
+ * Template-content escape: preserve whitespace (template body is significant)
+ * but neutralise characters that would break out of a double-quoted `template=`
+ * prop. `${…}` placeholders pass through untouched — that's the whole reason
+ * `fmt` exists.
+ */
+function escapeKernTemplate(s) {
+    return s.replace(/\\/g, '\\\\').replace(/"/g, '\\"');
+}
+function isJsxLike(n) {
+    return Node.isJsxElement(n) || Node.isJsxFragment(n) || Node.isJsxSelfClosingElement(n);
+}
+function paramName(arrow, idx) {
+    const params = arrow.getParameters();
+    if (params.length <= idx)
+        return null;
+    const name = params[idx].getName();
+    // Destructured or rest parameters — skip, they don't round-trip into a bare identifier binding.
+    if (name.startsWith('{') || name.startsWith('[') || name.startsWith('...'))
+        return null;
+    return name;
+}
+/**
+ * Is the arrow a Boolean-coercion shape `x => !!x` or `x => Boolean(x)` where
+ * the coerced expression is just the first parameter? These are the two
+ * common handwritten equivalents of `.filter(Boolean)` and route to `compact`.
+ *
+ * Only matches when the arrow's body references the parameter directly — not
+ * a property access or a computed expression — so we don't silently rewrite
+ * `x => !!x.active` (which is `filter where="x.active"`, not `compact`).
+ */
+function isBooleanCoercionOfFirstParam(arrow) {
+    if (arrow.getParameters().length !== 1)
+        return false;
+    const param = paramName(arrow, 0);
+    if (!param)
+        return false;
+    const body = arrow.getBody();
+    if (Node.isBlock(body))
+        return false;
+    // `!!x` — PrefixUnaryExpression(!, PrefixUnaryExpression(!, <Identifier param>))
+    if (Node.isPrefixUnaryExpression(body) && body.getOperatorToken() === SyntaxKind.ExclamationToken) {
+        const inner = body.getOperand();
+        if (Node.isPrefixUnaryExpression(inner) && inner.getOperatorToken() === SyntaxKind.ExclamationToken) {
+            const innermost = inner.getOperand();
+            if (Node.isIdentifier(innermost) && innermost.getText() === param)
+                return true;
+        }
+    }
+    // `Boolean(x)` — CallExpression where callee is Identifier "Boolean" and sole arg is the param.
+    if (Node.isCallExpression(body)) {
+        const callee = body.getExpression();
+        if (Node.isIdentifier(callee) && callee.getText() === 'Boolean') {
+            const args = body.getArguments();
+            if (args.length === 1 && Node.isIdentifier(args[0]) && args[0].getText() === param)
+                return true;
+        }
+    }
+    return false;
+}
+/**
+ * If the arrow body is a property-access chain rooted at `item` (the first
+ * parameter), return the dot-path without the item prefix. Returns null for
+ * anything else — computed access, method calls, nested expressions, or
+ * optional-chain segments (since `pluck` emits plain dot-access that would
+ * throw if an intermediate is nullish).
+ *
+ *   item => item.name                 → "name"
+ *   u    => u.profile.address.city    → "profile.address.city"
+ *   u    => u.profile?.name           → null  (optional chain; kern `pluck` emits plain `.`)
+ *   x    => x.toUpperCase()           → null  (method call, not property chain)
+ *   x    => x[0]                      → null  (computed, index access)
+ *   x    => x                         → null  (just the parameter, no projection)
+ */
+function propertyAccessChainFromItem(arrow, itemName) {
+    const body = arrow.getBody();
+    if (Node.isBlock(body))
+        return null;
+    if (!Node.isPropertyAccessExpression(body))
+        return null;
+    const segments = [];
+    let cur = body;
+    while (Node.isPropertyAccessExpression(cur)) {
+        // Optional-chain segments would require KERN to emit `item.a?.b`, which
+        // the current `pluck` lowering does not support. Fall back to `map`.
+        if (cur.hasQuestionDotToken())
+            return null;
+        segments.unshift(cur.getName());
+        cur = cur.getExpression();
+    }
+    if (!Node.isIdentifier(cur) || cur.getText() !== itemName)
+        return null;
+    return segments.join('.');
+}
+/**
+ * Is the TS text safe to inject into a KERN bare prop value (after `prop=`)?
+ * KERN's bare-prop parser stops at whitespace, `{`, and `$`. Anything else
+ * must be wrapped in a raw-expression form `{{ … }}` so the receiver survives
+ * parsing intact.
+ */
+function isBareKernValue(s) {
+    return /^[A-Za-z_$][\w.$[\]]*$/.test(s);
+}
+/**
+ * Wrap a TS expression text for use as a KERN bare prop value. Identifiers
+ * and simple property paths pass through; anything else becomes a raw-
+ * expression block so whitespace/operators/calls don't break parsing.
+ */
+function toKernInValue(s) {
+    return isBareKernValue(s) ? s : `{{ ${s} }}`;
+}
+/**
+ * Build the KERN primitive suggestion string for a single JS call site.
+ * Returns null when the call shape can't be cleanly migrated (e.g. block body,
+ * missing required args) — caller should skip silently in those cases.
+ */
+function buildSuggestion(spec, collection, call) {
+    const args = call.getArguments();
+    const name = '<name>';
+    // Wrap non-bare receivers (chained calls, parenthesized, whitespace) so
+    // KERN bare-prop parsing doesn't truncate at the first space.
+    const inVal = toKernInValue(collection);
+    switch (spec.shape) {
+        case 'predicate': {
+            // Skip arrows whose body references the second (index) parameter —
+            // KERN's predicate-form primitives don't bind an index, so migrating
+            // `(x, i) => i === 0` would silently drop `i`.
+            if (args.length !== 1 || !isArrowLike(args[0]))
+                return null;
+            const arrow = args[0];
+            if (arrow.getParameters().length > 1)
+                return null;
+            const item = paramName(arrow, 0);
+            if (!item)
+                return null;
+            const body = extractSingleExprBody(arrow);
+            if (body === null)
+                return null;
+            const itemProp = item === 'item' ? '' : ` item=${item}`;
+            return `${spec.kernNode} name=${name} in=${inVal}${itemProp} where="${escapeKernString(body)}"`;
+        }
+        case 'expr': {
+            if (args.length !== 1 || !isArrowLike(args[0]))
+                return null;
+            const arrow = args[0];
+            if (arrow.getParameters().length > 1)
+                return null;
+            const item = paramName(arrow, 0);
+            if (!item)
+                return null;
+            const body = extractSingleExprBody(arrow);
+            if (body === null)
+                return null;
+            const itemProp = item === 'item' ? '' : ` item=${item}`;
+            return `${spec.kernNode} name=${name} in=${inVal}${itemProp} expr="${escapeKernString(body)}"`;
+        }
+        case 'reduce': {
+            if (args.length < 1 || !isArrowLike(args[0]))
+                return null;
+            const arrow = args[0];
+            if (arrow.getParameters().length > 2)
+                return null;
+            const acc = paramName(arrow, 0);
+            const item = paramName(arrow, 1);
+            if (!acc || !item)
+                return null;
+            const body = extractSingleExprBody(arrow);
+            if (body === null)
+                return null;
+            const initial = args[1]?.getText();
+            if (!initial)
+                return null;
+            const accProp = acc === 'acc' ? '' : ` acc=${acc}`;
+            const itemProp = item === 'item' ? '' : ` item=${item}`;
+            return `reduce name=${name} in=${inVal}${accProp}${itemProp} initial="${escapeKernString(initial)}" expr="${escapeKernString(body)}"`;
+        }
+        case 'slice': {
+            const parts = [`slice name=${name} in=${inVal}`];
+            const start = args[0]?.getText();
+            const end = args[1]?.getText();
+            if (start)
+                parts.push(`start=${start}`);
+            if (end)
+                parts.push(`end=${end}`);
+            return parts.join(' ');
+        }
+        case 'at': {
+            const index = args[0]?.getText();
+            if (!index)
+                return null;
+            return `at name=${name} in=${inVal} index=${index}`;
+        }
+        case 'flat': {
+            const depth = args[0]?.getText();
+            return depth ? `flat name=${name} in=${inVal} depth=${depth}` : `flat name=${name} in=${inVal}`;
+        }
+        case 'join': {
+            const arg = args[0];
+            if (!arg)
+                return `join name=${name} in=${inVal}`;
+            // Only string literals are safe as bare `separator=` props. Non-
+            // literal separators need the raw-expression form; skip everything
+            // else so the suggestion never changes runtime behavior.
+            if (Node.isStringLiteral(arg) || Node.isNoSubstitutionTemplateLiteral(arg)) {
+                return `join name=${name} in=${inVal} separator=${arg.getText()}`;
+            }
+            return `join name=${name} in=${inVal} separator={{ ${arg.getText()} }}`;
+        }
+        case 'value': {
+            const arg = args[0];
+            if (!arg)
+                return null;
+            const value = arg.getText();
+            // String literals can safely ride inside the double-quoted `value=`
+            // prop (with escaping). Non-literal values need the raw-expression
+            // form so the parser doesn't treat an identifier as a literal string.
+            const valueProp = Node.isStringLiteral(arg) || Node.isNoSubstitutionTemplateLiteral(arg)
+                ? `value="${escapeKernString(value)}"`
+                : `value={{ ${value} }}`;
+            const from = args[1]?.getText();
+            const fromProp = from ? ` from=${from}` : '';
+            return `${spec.kernNode} name=${name} in=${inVal} ${valueProp}${fromProp}`;
+        }
+        case 'concat': {
+            if (args.length < 1)
+                return null;
+            const withArg = args.map((a) => a.getText()).join(', ');
+            return `concat name=${name} in=${inVal} with={{ ${withArg} }}`;
+        }
+        case 'forEach': {
+            if (args.length !== 1 || !isArrowLike(args[0]))
+                return null;
+            const arrow = args[0];
+            const item = paramName(arrow, 0);
+            if (!item)
+                return null;
+            const idx = paramName(arrow, 1);
+            const idxProp = idx ? ` index=${idx}` : '';
+            const itemProp = item === 'item' ? '' : ` item=${item}`;
+            return `forEach in=${inVal}${itemProp}${idxProp}\n  handler <<<\n    ...\n  >>>`;
+        }
+        case 'sort': {
+            if (args.length === 0) {
+                return `sort name=${name} in=${inVal}  # NOTE: kern sort is immutable (spread source); TS .sort() mutates in place`;
+            }
+            if (!isArrowLike(args[0]))
+                return null;
+            const arrow = args[0];
+            const a = paramName(arrow, 0);
+            const b = paramName(arrow, 1);
+            if (!a || !b)
+                return null;
+            const body = extractSingleExprBody(arrow);
+            if (body === null)
+                return null;
+            const aProp = a === 'a' ? '' : ` a=${a}`;
+            const bProp = b === 'b' ? '' : ` b=${b}`;
+            return `sort name=${name} in=${inVal}${aProp}${bProp} compare="${escapeKernString(body)}"  # NOTE: kern sort is immutable`;
+        }
+        case 'reverse': {
+            if (args.length !== 0)
+                return null;
+            return `reverse name=${name} in=${inVal}  # NOTE: kern reverse is immutable`;
+        }
+    }
+}
+export function suggestKernPrimitive(ctx) {
+    if (shouldSkipFile(ctx))
+        return [];
+    const findings = [];
+    // `[...new Set(coll)]` → route to the dedicated `unique` primitive.
+    for (const arr of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.ArrayLiteralExpression)) {
+        const elements = arr.getElements();
+        if (elements.length !== 1)
+            continue;
+        const first = elements[0];
+        if (!Node.isSpreadElement(first))
+            continue;
+        const spread = first.getExpression();
+        if (!Node.isNewExpression(spread))
+            continue;
+        if (spread.getExpression().getText() !== 'Set')
+            continue;
+        const args = spread.getArguments();
+        if (args.length !== 1)
+            continue;
+        const source = args[0].getText();
+        findings.push(finding('suggest-kern-primitive', 'info', 'pattern', 'JS [...new Set(...)] could migrate to KERN `unique` — named primitive for dedup', ctx.filePath, arr.getStartLineNumber(), 1, { suggestion: `unique name=<name> in=${toKernInValue(source)}` }));
+    }
+    for (const call of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.CallExpression)) {
+        const callee = call.getExpression();
+        if (!Node.isPropertyAccessExpression(callee))
+            continue;
+        const methodName = callee.getName();
+        const spec = ARRAY_METHODS[methodName];
+        if (!spec)
+            continue;
+        const collection = callee.getExpression().getText();
+        const collectionIn = toKernInValue(collection);
+        // `.filter(Boolean)`, `.filter(x => !!x)`, `.filter(x => Boolean(x))` →
+        // route to the dedicated `compact` primitive. The three shapes are all
+        // equivalent drop-falsy idioms; KERN prefers the named primitive.
+        if (methodName === 'filter' && call.getArguments().length === 1) {
+            const arg = call.getArguments()[0];
+            const isBooleanRef = Node.isIdentifier(arg) && arg.getText() === 'Boolean';
+            const isCoercionArrow = isArrowLike(arg) && isBooleanCoercionOfFirstParam(arg);
+            if (isBooleanRef || isCoercionArrow) {
+                findings.push(finding('suggest-kern-primitive', 'info', 'pattern', 'JS drop-falsy filter could migrate to KERN `compact` — named primitive for drop-falsy', ctx.filePath, call.getStartLineNumber(), 1, { suggestion: `compact name=<name> in=${collectionIn}` }));
+                continue;
+            }
+        }
+        // `.map(x => x.prop[.chain])` → route to the dedicated `pluck` primitive.
+        // Only fires on single-param arrows (to skip `(x, i) => ...` which KERN
+        // can't represent) and non-optional property chains.
+        if (methodName === 'map' && call.getArguments().length === 1) {
+            const arg = call.getArguments()[0];
+            if (isArrowLike(arg) && arg.getParameters().length === 1) {
+                const item = paramName(arg, 0);
+                if (item) {
+                    const path = propertyAccessChainFromItem(arg, item);
+                    if (path) {
+                        findings.push(finding('suggest-kern-primitive', 'info', 'pattern', 'JS .map(x => x.<prop>) could migrate to KERN `pluck` — named primitive for property extraction', ctx.filePath, call.getStartLineNumber(), 1, {
+                            suggestion: item === 'item'
+                                ? `pluck name=<name> in=${collectionIn} prop=${path}`
+                                : `pluck name=<name> in=${collectionIn} item=${item} prop=${path}`,
+                        }));
+                        continue;
+                    }
+                }
+            }
+        }
+        const suggestion = buildSuggestion(spec, collection, call);
+        if (!suggestion)
+            continue;
+        findings.push(finding('suggest-kern-primitive', 'info', 'pattern', `JS .${methodName}(…) could migrate to KERN \`${spec.kernNode}\` — one declarative binding instead of a handler-embedded call`, ctx.filePath, call.getStartLineNumber(), call.getStart() - call.getSourceFile().getFullText().lastIndexOf('\n', call.getStart()), { suggestion }));
+    }
+    // ── fmt detector ───────────────────────────────────────────────────────
+    // Two call sites map cleanly to KERN's `fmt` primitive:
+    //
+    //   const label = `${count} files`;         → fmt name=label template="…"
+    //   return `${msg} (${code})`;               → fmt name=<result> template="…"; return <result>
+    //
+    // Only fires on TemplateExpression (has substitutions); plain backtick
+    // strings are NoSubstitutionTemplateLiteral and don't need fmt.
+    // Single-line only — multiline templates have meaningful whitespace that's
+    // awkward to round-trip through a one-line suggestion.
+    for (const tpl of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.TemplateExpression)) {
+        const parent = tpl.getParent();
+        if (!parent)
+            continue;
+        const fullText = tpl.getText();
+        if (!fullText.startsWith('`') || !fullText.endsWith('`') || fullText.length < 2)
+            continue;
+        const body = fullText.slice(1, -1);
+        if (body.includes('\n'))
+            continue;
+        // Shape A — const initializer: `const x = \`…\`;`
+        if (Node.isVariableDeclaration(parent) && parent.getInitializer() === tpl) {
+            const nameNode = parent.getNameNode();
+            if (!Node.isIdentifier(nameNode))
+                continue; // skip destructured bindings
+            const name = nameNode.getText();
+            findings.push(finding('suggest-kern-primitive', 'info', 'pattern', 'JS template literal could migrate to KERN `fmt` — named primitive for string interpolation', ctx.filePath, tpl.getStartLineNumber(), 1, { suggestion: `fmt name=${name} template="${escapeKernTemplate(body)}"` }));
+            continue;
+        }
+        // Shape B — return value: `return \`…\`;`
+        // Migration is a two-step: bind the formatted string to a named `fmt`
+        // node first, then `return` that name. The suggestion shows both lines
+        // so authors can paste directly.
+        if (Node.isReturnStatement(parent) && parent.getExpression() === tpl) {
+            findings.push(finding('suggest-kern-primitive', 'info', 'pattern', 'JS template literal in return position could migrate to KERN `fmt` — bind to a name, then return it', ctx.filePath, tpl.getStartLineNumber(), 1, { suggestion: `fmt name=<result> template="${escapeKernTemplate(body)}"\nreturn <result>` }));
+            continue;
+        }
+    }
+    // ── conditional JSX detector ───────────────────────────────────────────
+    // `{cond ? <A /> : <B />}` inside JSX → `conditional if="cond"` + two
+    // handler children. Only fires when BOTH branches are JSX (skips the
+    // `cond ? <A /> : null` case — that's a then-only `{cond && <A />}` shape).
+    // Only fires when the ternary sits inside a JsxExpression container — a
+    // top-level `return cond ? <A /> : <B />` doesn't cleanly map to a
+    // conditional node (the whole return would need rewrapping).
+    for (const cond of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.ConditionalExpression)) {
+        const whenTrue = cond.getWhenTrue();
+        const whenFalse = cond.getWhenFalse();
+        if (!isJsxLike(whenTrue) || !isJsxLike(whenFalse))
+            continue;
+        const parent = cond.getParent();
+        if (!parent || !Node.isJsxExpression(parent))
+            continue;
+        const condText = cond.getCondition().getText();
+        const suggestion = `conditional if="${escapeKernString(condText)}"\n` +
+            `  handler <<<\n    ${whenTrue.getText()}\n  >>>\n` +
+            `  else\n    handler <<<\n      ${whenFalse.getText()}\n    >>>`;
+        findings.push(finding('suggest-kern-primitive', 'info', 'pattern', 'JSX ternary could migrate to KERN `conditional` — declarative if/else render branch', ctx.filePath, cond.getStartLineNumber(), 1, { suggestion }));
+    }
+    // ── async try/catch detector ───────────────────────────────────────────
+    // `async function f() { try { await … } catch (e) { … } }` → `async name=f`
+    // with a handler child for the try body and a `recover`/`strategy` pair for
+    // the catch body.
+    //
+    // Only fires when:
+    //   - the function is `async`
+    //   - its body is a single TryStatement (so the full body maps to the async node)
+    //   - the try block contains at least one `await` (else there's no async shape)
+    //   - a catch clause is present (else there's no recovery to migrate)
+    const asyncFns = [
+        ...ctx.sourceFile.getDescendantsOfKind(SyntaxKind.FunctionDeclaration),
+        ...ctx.sourceFile.getDescendantsOfKind(SyntaxKind.FunctionExpression),
+        ...ctx.sourceFile.getDescendantsOfKind(SyntaxKind.ArrowFunction),
+    ];
+    for (const fn of asyncFns) {
+        if (!fn.isAsync())
+            continue;
+        const body = fn.getBody();
+        if (!body || !Node.isBlock(body))
+            continue;
+        const stmts = body.getStatements();
+        if (stmts.length !== 1)
+            continue;
+        const tryStmt = stmts[0];
+        if (!Node.isTryStatement(tryStmt))
+            continue;
+        const tryBlock = tryStmt.getTryBlock();
+        const catchClause = tryStmt.getCatchClause();
+        if (!catchClause)
+            continue;
+        if (tryBlock.getDescendantsOfKind(SyntaxKind.AwaitExpression).length === 0)
+            continue;
+        let name = '<name>';
+        if (Node.isFunctionDeclaration(fn)) {
+            name = fn.getName() ?? '<name>';
+        }
+        else {
+            const p = fn.getParent();
+            if (p && Node.isVariableDeclaration(p)) {
+                const n = p.getNameNode();
+                if (Node.isIdentifier(n))
+                    name = n.getText();
+            }
+        }
+        const indent = (text, spaces) => text
+            .split('\n')
+            .map((line) => ' '.repeat(spaces) + line)
+            .join('\n');
+        const tryText = tryBlock
+            .getStatements()
+            .map((s) => s.getText())
+            .join('\n');
+        const catchText = catchClause
+            .getBlock()
+            .getStatements()
+            .map((s) => s.getText())
+            .join('\n');
+        const suggestion = `async name=${name}\n` +
+            `  handler <<<\n${indent(tryText, 4)}\n  >>>\n` +
+            `  recover\n    strategy <<<\n${indent(catchText, 6)}\n    >>>`;
+        findings.push(finding('suggest-kern-primitive', 'info', 'pattern', 'async try/catch could migrate to KERN `async` — named primitive with `recover`/`strategy` child', ctx.filePath, fn.getStartLineNumber(), 1, { suggestion }));
+    }
+    return findings;
+}
+export const suggestKernPrimitiveRules = [suggestKernPrimitive];
+//# sourceMappingURL=suggest-kern-primitive.js.map

package/dist/rules/suggest-kern-primitive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"suggest-kern-primitive.js","sourceRoot":"","sources":["../../src/rules/suggest-kern-primitive.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAGH,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAE5C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAqBrC,MAAM,aAAa,GAA+B;IAChD,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE;IAClD,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE;IAC9C,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE;IAC9C,KAAK,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE;IAChD,SAAS,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE;IACxD,GAAG,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE;IACvC,OAAO,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE;IAC/C,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE;IAC/C,KAAK,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;IAC5C,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;IACnC,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE;IACzC,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE;IACzC,QAAQ,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE;IAClD,OAAO,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE;IAChD,WAAW,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,EAAE;IACxD,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE;IAC/C,OAAO,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE;IAClD,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE;IACzC,OAAO,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE;CACnD,CAAC;AAEF,4EAA4E;AAC5E,4EAA4E;AAC5E,SAAS,cAAc,CAAC,GAAgB;IACtC,MAAM,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;IACrC,IAAI,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,IAAI,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,CAAqB;IACxC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED;;;;GAIG;AACH,SAAS,qBAAqB,CAAC,KAAyC;IACtE,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;IAC7B,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;AACxB,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAS;IACjC,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1G,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,CAAS;IACnC,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,SAAS,CAAC,CAAS;IAC1B,OAAO,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC;AAC1F,CAAC;AAED,SAAS,SAAS,CAAC,KAAyC,EAAE,GAAW;IACvE,MAAM,MAAM,GAAG,KAAK,CAAC,aAAa,EAAE,CAAC;IACrC,IAAI,MAAM,CAAC,MAAM,IAAI,GAAG;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;IACnC,gGAAgG;IAChG,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,6BAA6B,CAAC,KAAyC;IAC9E,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;IAC7B,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAErC,iFAAiF;IACjF,IAAI,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,gBAAgB,EAAE,KAAK,UAAU,CAAC,gBAAgB,EAAE,CAAC;QAClG,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,gBAAgB,EAAE,KAAK,UAAU,CAAC,gBAAgB,EAAE,CAAC;YACpG,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC;QACjF,CAAC;IACH,CAAC;IAED,gGAAgG;IAChG,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,SAAS,EAAE,CAAC;YAChE,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC;QAClG,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,2BAA2B,CAAC,KAAyC,EAAE,QAAgB;IAC9F,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;IAC7B,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAExD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,GAAG,GAAW,IAAI,CAAC;IACvB,OAAO,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5C,wEAAwE;QACxE,qEAAqE;QACrE,IAAI,GAAG,CAAC,mBAAmB,EAAE;YAAE,OAAO,IAAI,CAAC;QAC3C,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;QAChC,GAAG,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC;IAC5B,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvE,OAAO,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CAAC,CAAS;IAChC,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,CAAS;IAC9B,OAAO,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;AAC/C,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,IAAgB,EAAE,UAAkB,EAAE,IAAoB;IACjF,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,QAAQ,CAAC;IACtB,wEAAwE;IACxE,8DAA8D;IAC9D,MAAM,KAAK,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;IAExC,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,mEAAmE;YACnE,qEAAqE;YACrE,+CAA+C;YAC/C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClD,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvB,MAAM,IAAI,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC/B,MAAM,QAAQ,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC;YACxD,OAAO,GAAG,IAAI,CAAC,QAAQ,SAAS,IAAI,OAAO,KAAK,GAAG,QAAQ,WAAW,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC;QAClG,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClD,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvB,MAAM,IAAI,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC/B,MAAM,QAAQ,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC;YACxD,OAAO,GAAG,IAAI,CAAC,QAAQ,SAAS,IAAI,OAAO,KAAK,GAAG,QAAQ,UAAU,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC;QACjG,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YAClD,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAChC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC/B,MAAM,IAAI,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;YACnC,IAAI,CAAC,OAAO;gBAAE,OAAO,IAAI,CAAC;YAC1B,MAAM,OAAO,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,EAAE,CAAC;YACnD,MAAM,QAAQ,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC;YACxD,OAAO,eAAe,IAAI,OAAO,KAAK,GAAG,OAAO,GAAG,QAAQ,aAAa,gBAAgB,CAAC,OAAO,CAAC,WAAW,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC;QACxI,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,KAAK,GAAa,CAAC,cAAc,IAAI,OAAO,KAAK,EAAE,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;YACjC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;YAC/B,IAAI,KAAK;gBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC;YACxC,IAAI,GAAG;gBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;YAClC,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzB,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;YACjC,IAAI,CAAC,KAAK;gBAAE,OAAO,IAAI,CAAC;YACxB,OAAO,WAAW,IAAI,OAAO,KAAK,UAAU,KAAK,EAAE,CAAC;QACtD,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;YACjC,OAAO,KAAK,CAAC,CAAC,CAAC,aAAa,IAAI,OAAO,KAAK,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,aAAa,IAAI,OAAO,KAAK,EAAE,CAAC;QAClG,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,GAAG;gBAAE,OAAO,aAAa,IAAI,OAAO,KAAK,EAAE,CAAC;YACjD,iEAAiE;YACjE,mEAAmE;YACnE,yDAAyD;YACzD,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,+BAA+B,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3E,OAAO,aAAa,IAAI,OAAO,KAAK,cAAc,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YACpE,CAAC;YACD,OAAO,aAAa,IAAI,OAAO,KAAK,iBAAiB,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC;QAC1E,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,GAAG;gBAAE,OAAO,IAAI,CAAC;YACtB,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;YAC5B,oEAAoE;YACpE,mEAAmE;YACnE,sEAAsE;YACtE,MAAM,SAAS,GACb,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,+BAA+B,CAAC,GAAG,CAAC;gBACpE,CAAC,CAAC,UAAU,gBAAgB,CAAC,KAAK,CAAC,GAAG;gBACtC,CAAC,CAAC,YAAY,KAAK,KAAK,CAAC;YAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;YAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,OAAO,GAAG,IAAI,CAAC,QAAQ,SAAS,IAAI,OAAO,KAAK,IAAI,SAAS,GAAG,QAAQ,EAAE,CAAC;QAC7E,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACjC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxD,OAAO,eAAe,IAAI,OAAO,KAAK,YAAY,OAAO,KAAK,CAAC;QACjE,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5D,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvB,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAChC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3C,MAAM,QAAQ,GAAG,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC;YACxD,OAAO,cAAc,KAAK,GAAG,QAAQ,GAAG,OAAO,iCAAiC,CAAC;QACnF,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACtB,OAAO,aAAa,IAAI,OAAO,KAAK,+EAA+E,CAAC;YACtH,CAAC;YACD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACvC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAC9B,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC1B,MAAM,IAAI,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;YAC1C,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAC/B,MAAM,KAAK,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YACzC,MAAM,KAAK,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YACzC,OAAO,aAAa,IAAI,OAAO,KAAK,GAAG,KAAK,GAAG,KAAK,aAAa,gBAAgB,CAAC,IAAI,CAAC,mCAAmC,CAAC;QAC7H,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACnC,OAAO,gBAAgB,IAAI,OAAO,KAAK,qCAAqC,CAAC;QAC/E,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,GAAgB;IACnD,IAAI,cAAc,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,oEAAoE;IACpE,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,sBAAsB,CAAC,EAAE,CAAC;QACzF,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;QACnC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC;YAAE,SAAS;QAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,aAAa,EAAE,CAAC;QACrC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC;YAAE,SAAS;QAC5C,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,KAAK,KAAK;YAAE,SAAS;QACzD,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACjC,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,wBAAwB,EACxB,MAAM,EACN,SAAS,EACT,iFAAiF,EACjF,GAAG,CAAC,QAAQ,EACZ,GAAG,CAAC,kBAAkB,EAAE,EACxB,CAAC,EACD,EAAE,UAAU,EAAE,yBAAyB,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,CACjE,CACF,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAClF,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,MAAM,CAAC;YAAE,SAAS;QAEvD,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,MAAM,UAAU,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC;QACpD,MAAM,YAAY,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;QAE/C,wEAAwE;QACxE,uEAAuE;QACvE,kEAAkE;QAClE,IAAI,UAAU,KAAK,QAAQ,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChE,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,KAAK,SAAS,CAAC;YAC3E,MAAM,eAAe,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,6BAA6B,CAAC,GAAG,CAAC,CAAC;YAC/E,IAAI,YAAY,IAAI,eAAe,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,wBAAwB,EACxB,MAAM,EACN,SAAS,EACT,uFAAuF,EACvF,GAAG,CAAC,QAAQ,EACZ,IAAI,CAAC,kBAAkB,EAAE,EACzB,CAAC,EACD,EAAE,UAAU,EAAE,0BAA0B,YAAY,EAAE,EAAE,CACzD,CACF,CAAC;gBACF,SAAS;YACX,CAAC;QACH,CAAC;QAED,0EAA0E;QAC1E,wEAAwE;QACxE,qDAAqD;QACrD,IAAI,UAAU,KAAK,KAAK,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7D,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;YACnC,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACzD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC/B,IAAI,IAAI,EAAE,CAAC;oBACT,MAAM,IAAI,GAAG,2BAA2B,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;oBACpD,IAAI,IAAI,EAAE,CAAC;wBACT,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,wBAAwB,EACxB,MAAM,EACN,SAAS,EACT,gGAAgG,EAChG,GAAG,CAAC,QAAQ,EACZ,IAAI,CAAC,kBAAkB,EAAE,EACzB,CAAC,EACD;4BACE,UAAU,EACR,IAAI,KAAK,MAAM;gCACb,CAAC,CAAC,wBAAwB,YAAY,SAAS,IAAI,EAAE;gCACrD,CAAC,CAAC,wBAAwB,YAAY,SAAS,IAAI,SAAS,IAAI,EAAE;yBACvE,CACF,CACF,CAAC;wBACF,SAAS;oBACX,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QAC3D,IAAI,CAAC,UAAU;YAAE,SAAS;QAE1B,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,wBAAwB,EACxB,MAAM,EACN,SAAS,EACT,OAAO,UAAU,+BAA+B,IAAI,CAAC,QAAQ,iEAAiE,EAC9H,GAAG,CAAC,QAAQ,EACZ,IAAI,CAAC,kBAAkB,EAAE,EACzB,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,EACvF,EAAE,UAAU,EAAE,CACf,CACF,CAAC;IACJ,CAAC;IAED,0EAA0E;IAC1E,wDAAwD;IACxD,EAAE;IACF,0EAA0E;IAC1E,+FAA+F;IAC/F,EAAE;IACF,uEAAuE;IACvE,gEAAgE;IAChE,2EAA2E;IAC3E,uDAAuD;IACvD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC;QACrF,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC,MAAM;YAAE,SAAS;QAEtB,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;QAC/B,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC1F,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS;QAElC,kDAAkD;QAClD,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,cAAc,EAAE,KAAK,GAAG,EAAE,CAAC;YAC1E,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;YACtC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC;gBAAE,SAAS,CAAC,6BAA6B;YACzE,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,wBAAwB,EACxB,MAAM,EACN,SAAS,EACT,4FAA4F,EAC5F,GAAG,CAAC,QAAQ,EACZ,GAAG,CAAC,kBAAkB,EAAE,EACxB,CAAC,EACD,EAAE,UAAU,EAAE,YAAY,IAAI,cAAc,kBAAkB,CAAC,IAAI,CAAC,GAAG,EAAE,CAC1E,CACF,CAAC;YACF,SAAS;QACX,CAAC;QAED,0CAA0C;QAC1C,sEAAsE;QACtE,uEAAuE;QACvE,iCAAiC;QACjC,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,aAAa,EAAE,KAAK,GAAG,EAAE,CAAC;YACrE,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,wBAAwB,EACxB,MAAM,EACN,SAAS,EACT,qGAAqG,EACrG,GAAG,CAAC,QAAQ,EACZ,GAAG,CAAC,kBAAkB,EAAE,EACxB,CAAC,EACD,EAAE,UAAU,EAAE,+BAA+B,kBAAkB,CAAC,IAAI,CAAC,oBAAoB,EAAE,CAC5F,CACF,CAAC;YACF,SAAS;QACX,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,sEAAsE;IACtE,qEAAqE;IACrE,4EAA4E;IAC5E,wEAAwE;IACxE,mEAAmE;IACnE,6DAA6D;IAC7D,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,qBAAqB,CAAC,EAAE,CAAC;QACzF,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACpC,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACtC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;YAAE,SAAS;QAE5D,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAChC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC;YAAE,SAAS;QAEvD,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,OAAO,EAAE,CAAC;QAC/C,MAAM,UAAU,GACd,mBAAmB,gBAAgB,CAAC,QAAQ,CAAC,KAAK;YAClD,sBAAsB,QAAQ,CAAC,OAAO,EAAE,WAAW;YACnD,kCAAkC,SAAS,CAAC,OAAO,EAAE,WAAW,CAAC;QAEnE,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,wBAAwB,EACxB,MAAM,EACN,SAAS,EACT,qFAAqF,EACrF,GAAG,CAAC,QAAQ,EACZ,IAAI,CAAC,kBAAkB,EAAE,EACzB,CAAC,EACD,EAAE,UAAU,EAAE,CACf,CACF,CAAC;IACJ,CAAC;IAED,0EAA0E;IAC1E,4EAA4E;IAC5E,4EAA4E;IAC5E,kBAAkB;IAClB,EAAE;IACF,mBAAmB;IACnB,8BAA8B;IAC9B,kFAAkF;IAClF,gFAAgF;IAChF,sEAAsE;IACtE,MAAM,QAAQ,GAAoE;QAChF,GAAG,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,mBAAmB,CAAC;QACtE,GAAG,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,kBAAkB,CAAC;QACrE,GAAG,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,aAAa,CAAC;KACjE,CAAC;IACF,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE;YAAE,SAAS;QAE5B,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,SAAS;QAE3C,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACjC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC;YAAE,SAAS;QAE5C,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC;QACvC,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;QAC7C,IAAI,CAAC,WAAW;YAAE,SAAS;QAC3B,IAAI,QAAQ,CAAC,oBAAoB,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAErF,IAAI,IAAI,GAAG,QAAQ,CAAC;QACpB,IAAI,IAAI,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,CAAC;YACnC,IAAI,GAAG,EAAE,CAAC,OAAO,EAAE,IAAI,QAAQ,CAAC;QAClC,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvC,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;gBAC1B,IAAI,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;oBAAE,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;YAC/C,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,MAAc,EAAU,EAAE,CACtD,IAAI;aACD,KAAK,CAAC,IAAI,CAAC;aACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;aACxC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEhB,MAAM,OAAO,GAAG,QAAQ;aACrB,aAAa,EAAE;aACf,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;aACvB,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,SAAS,GAAG,WAAW;aAC1B,QAAQ,EAAE;aACV,aAAa,EAAE;aACf,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;aACvB,IAAI,CAAC,IAAI,CAAC,CAAC;QAEd,MAAM,UAAU,GACd,cAAc,IAAI,IAAI;YACtB,kBAAkB,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,WAAW;YAC/C,gCAAgC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC;QAElE,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,wBAAwB,EACxB,MAAM,EACN,SAAS,EACT,iGAAiG,EACjG,GAAG,CAAC,QAAQ,EACZ,EAAE,CAAC,kBAAkB,EAAE,EACvB,CAAC,EACD,EAAE,UAAU,EAAE,CACf,CACF,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,CAAC,MAAM,yBAAyB,GAAiB,CAAC,oBAAoB,CAAC,CAAC"}

package/dist/types.d.ts

@@ -282,6 +282,8 @@ export interface ReviewConfig {
     graphFileMap?: Map<string, GraphFile>;
     /** Path to host project's tsconfig.json — loaded into the ts-morph Project so jsx/paths/lib/allowJs match the real build. */
     tsConfigFilePath?: string;
+    /** When true, emit the `missing-confidence` finding for .kern files without confidence annotations. Default: false (opt-in) — teams that don't use confidence annotations see no noise. */
+    requireConfidenceAnnotations?: boolean;
     /** Override what dead-export treats as intentional public API. */
     publicApi?: {
         /** Absolute or projectRoot-relative paths whose exports are all public. */

package/dist/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAsaH,4EAA4E;AAE5E;sEACsE;AACtE,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,SAAiB,EAAE,QAAgB;IACnF,OAAO,GAAG,MAAM,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;AAC9C,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAwaH,4EAA4E;AAE5E;sEACsE;AACtE,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,SAAiB,EAAE,QAAgB;IACnF,OAAO,GAAG,MAAM,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;AAC9C,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kernlang/review",
-  "version": "3.3.4",
+  "version": "3.3.6",
   "description": "Kern Review — scan TS, infer .kern IR, roundtrip diff, report",
   "type": "module",
   "main": "./dist/index.js",
@@ -26,7 +26,7 @@
   "license": "AGPL-3.0",
   "dependencies": {
     "ts-morph": "^28.0.0",
-    "@kernlang/core": "3.3.4"
+    "@kernlang/core": "3.3.6"
   },
   "scripts": {
     "build": "tsc -b",