@kernlang/review 2.0.0

package/dist/rules/vue.js

@@ -0,0 +1,198 @@
+/**
+ * Vue review rules — active when target = vue | nuxt.
+ *
+ * Catches Vue 3 Composition API pitfalls.
+ */
+import { SyntaxKind } from 'ts-morph';
+import { createFingerprint } from '../types.js';
+function span(file, line, col = 1) {
+    return { file, startLine: line, startCol: col, endLine: line, endCol: col };
+}
+function finding(ruleId, severity, category, message, file, line, extra) {
+    return {
+        source: 'kern',
+        ruleId,
+        severity,
+        category,
+        message,
+        primarySpan: span(file, line),
+        fingerprint: createFingerprint(ruleId, line, 1),
+        ...extra,
+    };
+}
+// ── Rule 17: missing-ref-value ───────────────────────────────────────────
+// Using ref() result without .value in script setup
+function missingRefValue(ctx) {
+    const findings = [];
+    // AST-based: find ref() declarations via variable statements
+    const refVarNames = new Map(); // name → declaration line
+    for (const stmt of ctx.sourceFile.getVariableStatements()) {
+        for (const decl of stmt.getDeclarations()) {
+            const init = decl.getInitializer();
+            if (!init)
+                continue;
+            // Match ref() or ref<T>() calls
+            if (init.getKind() === SyntaxKind.CallExpression) {
+                const call = init;
+                const calleeName = call.getExpression().getText();
+                if (calleeName === 'ref') {
+                    refVarNames.set(decl.getName(), stmt.getStartLineNumber());
+                }
+            }
+        }
+    }
+    if (refVarNames.size === 0)
+        return findings;
+    // Walk all identifiers and check if ref vars are used without .value
+    for (const ident of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.Identifier)) {
+        const name = ident.getText();
+        if (!refVarNames.has(name))
+            continue;
+        // Skip the declaration itself
+        if (ident.getStartLineNumber() === refVarNames.get(name))
+            continue;
+        const parent = ident.getParent();
+        if (!parent)
+            continue;
+        // If parent is PropertyAccessExpression and ident is the object, check if accessing .value
+        if (parent.getKind() === SyntaxKind.PropertyAccessExpression) {
+            const propAccess = parent;
+            if (propAccess.getExpression() === ident) {
+                if (propAccess.getName() === 'value')
+                    continue; // correct: ref.value
+                // Accessing some other property on ref without .value — still a bug
+            }
+        }
+        // Skip if ref is passed as a function argument (intentional: watch(myRef), toRef(myRef))
+        if (parent.getKind() === SyntaxKind.CallExpression)
+            continue;
+        // Also skip if it's an argument in a call's argument list
+        const grandparent = parent.getParent();
+        if (grandparent?.getKind() === SyntaxKind.CallExpression)
+            continue;
+        // Skip type contexts
+        if (parent.getKind() === SyntaxKind.TypeReference)
+            continue;
+        if (parent.getKind() === SyntaxKind.TypeQuery)
+            continue;
+        // Skip shorthand property assignments: { count } in object literals
+        if (parent.getKind() === SyntaxKind.ShorthandPropertyAssignment)
+            continue;
+        // Skip imports and variable declarations
+        if (parent.getKind() === SyntaxKind.ImportSpecifier)
+            continue;
+        if (parent.getKind() === SyntaxKind.VariableDeclaration)
+            continue;
+        // Likely a bug: ref used in expression context without .value
+        if (parent.getKind() === SyntaxKind.BinaryExpression ||
+            parent.getKind() === SyntaxKind.ConditionalExpression ||
+            parent.getKind() === SyntaxKind.TemplateSpan ||
+            parent.getKind() === SyntaxKind.ReturnStatement ||
+            parent.getKind() === SyntaxKind.ElementAccessExpression) {
+            findings.push(finding('missing-ref-value', 'warning', 'bug', `'${name}' is a ref — did you mean '${name}.value'?`, ctx.filePath, ident.getStartLineNumber(), { suggestion: `${name}.value` }));
+            // One finding per ref variable to avoid noise
+            refVarNames.delete(name);
+        }
+    }
+    return findings;
+}
+// ── Rule 18: missing-onUnmounted ─────────────────────────────────────────
+// watch/addEventListener without cleanup in onUnmounted
+function missingOnUnmounted(ctx) {
+    const findings = [];
+    // AST pre-check: find onUnmounted/onBeforeUnmount CallExpressions
+    let hasLifecycleCleanup = false;
+    for (const call of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.CallExpression)) {
+        const callee = call.getExpression();
+        if (callee.getKind() === SyntaxKind.Identifier) {
+            const name = callee.getText();
+            if (name === 'onUnmounted' || name === 'onBeforeUnmount') {
+                hasLifecycleCleanup = true;
+                break;
+            }
+        }
+    }
+    // Check for watch() calls via AST
+    for (const call of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.CallExpression)) {
+        const callee = call.getExpression();
+        if (callee.getKind() !== SyntaxKind.Identifier || callee.getText() !== 'watch')
+            continue;
+        // Check if parent is VariableDeclaration (stop handle assigned)
+        const parent = call.getParent();
+        const hasStopHandle = parent?.getKind() === SyntaxKind.VariableDeclaration;
+        if (!hasStopHandle && !hasLifecycleCleanup) {
+            findings.push(finding('missing-onUnmounted', 'error', 'bug', 'watch() without stop handle or onUnmounted cleanup — potential memory leak', ctx.filePath, call.getStartLineNumber(), { suggestion: 'Assign watch to a variable and call stop() in onUnmounted, or use watchEffect (auto-stops)' }));
+        }
+    }
+    // Check for addEventListener via AST
+    let hasRemoveListener = false;
+    for (const call of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.CallExpression)) {
+        const callee = call.getExpression();
+        if (callee.getKind() === SyntaxKind.PropertyAccessExpression) {
+            const pa = callee;
+            if (pa.getName() === 'removeEventListener') {
+                hasRemoveListener = true;
+                break;
+            }
+        }
+    }
+    for (const call of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.CallExpression)) {
+        const callee = call.getExpression();
+        if (callee.getKind() !== SyntaxKind.PropertyAccessExpression)
+            continue;
+        const pa = callee;
+        if (pa.getName() !== 'addEventListener')
+            continue;
+        if (!hasRemoveListener && !hasLifecycleCleanup) {
+            findings.push(finding('missing-onUnmounted', 'error', 'bug', 'addEventListener without removeEventListener in onUnmounted — memory leak', ctx.filePath, call.getStartLineNumber(), { suggestion: 'Clean up event listeners in onUnmounted()' }));
+        }
+    }
+    return findings;
+}
+// ── Rule 19: setup-side-effect ───────────────────────────────────────────
+// Async call in setup() without onMounted wrapper
+function setupSideEffect(ctx) {
+    const findings = [];
+    const fullText = ctx.sourceFile.getFullText();
+    // Detect <script setup> or setup() function
+    const isScriptSetup = fullText.includes('<script setup') || fullText.includes('defineComponent');
+    if (!isScriptSetup)
+        return findings;
+    // Check for top-level await without onMounted
+    const hasOnMounted = fullText.includes('onMounted');
+    const awaitRegex = /(?:^|\n)\s*(?:const|let|var)?\s*\w*\s*=?\s*await\s/g;
+    let match;
+    while ((match = awaitRegex.exec(fullText)) !== null) {
+        const line = fullText.substring(0, match.index).split('\n').length;
+        // Skip if inside a function body
+        const lineText = fullText.split('\n')[line - 1] || '';
+        if (lineText.trim().startsWith('//') || lineText.trim().startsWith('*'))
+            continue;
+        if (!hasOnMounted) {
+            findings.push(finding('setup-side-effect', 'warning', 'pattern', 'Top-level await in setup — consider wrapping in onMounted() for SSR compatibility', ctx.filePath, line, { suggestion: 'onMounted(async () => { ... })' }));
+        }
+    }
+    return findings;
+}
+// ── Rule 20: reactive-destructure ────────────────────────────────────────
+// Destructuring reactive() loses reactivity
+function reactiveDestructure(ctx) {
+    const findings = [];
+    const fullText = ctx.sourceFile.getFullText();
+    // Find const { ... } = reactive(...)
+    const destructRegex = /(?:const|let)\s*\{[^}]+\}\s*=\s*reactive\s*\(/g;
+    let match;
+    while ((match = destructRegex.exec(fullText)) !== null) {
+        const line = fullText.substring(0, match.index).split('\n').length;
+        findings.push(finding('reactive-destructure', 'warning', 'bug', 'Destructuring reactive() loses reactivity — use toRefs() or access properties directly', ctx.filePath, line, { suggestion: 'const state = reactive({...}); use state.prop, or const { prop } = toRefs(state)' }));
+    }
+    return findings;
+}
+// ── Exported Vue Rules ───────────────────────────────────────────────────
+export const vueRules = [
+    missingRefValue,
+    missingOnUnmounted,
+    setupSideEffect,
+    reactiveDestructure,
+];
+//# sourceMappingURL=vue.js.map

package/dist/rules/vue.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"vue.js","sourceRoot":"","sources":["../../src/rules/vue.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAEtC,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAEhD,SAAS,IAAI,CAAC,IAAY,EAAE,IAAY,EAAE,GAAG,GAAG,CAAC;IAC/C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC9E,CAAC;AAED,SAAS,OAAO,CACd,MAAc,EACd,QAAsC,EACtC,QAAmC,EACnC,OAAe,EACf,IAAY,EACZ,IAAY,EACZ,KAA8B;IAE9B,OAAO;QACL,MAAM,EAAE,MAAM;QACd,MAAM;QACN,QAAQ;QACR,QAAQ;QACR,OAAO;QACP,WAAW,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC;QAC7B,WAAW,EAAE,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/C,GAAG,KAAK;KACT,CAAC;AACJ,CAAC;AAED,4EAA4E;AAC5E,oDAAoD;AAEpD,SAAS,eAAe,CAAC,GAAgB;IACvC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,6DAA6D;IAC7D,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,0BAA0B;IAEzE,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,qBAAqB,EAAE,EAAE,CAAC;QAC1D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;YACnC,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,gCAAgC;YAChC,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,cAAc,EAAE,CAAC;gBACjD,MAAM,IAAI,GAAG,IAAyC,CAAC;gBACvD,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC;gBAClD,IAAI,UAAU,KAAK,KAAK,EAAE,CAAC;oBACzB,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,kBAAkB,EAAE,CAAC,CAAC;gBAC7D,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAE5C,qEAAqE;IACrE,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/E,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAErC,8BAA8B;QAC9B,IAAI,KAAK,CAAC,kBAAkB,EAAE,KAAK,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAEnE,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,MAAM;YAAE,SAAS;QAEtB,2FAA2F;QAC3F,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,wBAAwB,EAAE,CAAC;YAC7D,MAAM,UAAU,GAAG,MAAqD,CAAC;YACzE,IAAI,UAAU,CAAC,aAAa,EAAE,KAAK,KAAK,EAAE,CAAC;gBACzC,IAAI,UAAU,CAAC,OAAO,EAAE,KAAK,OAAO;oBAAE,SAAS,CAAC,qBAAqB;gBACrE,oEAAoE;YACtE,CAAC;QACH,CAAC;QAED,yFAAyF;QACzF,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,cAAc;YAAE,SAAS;QAC7D,0DAA0D;QAC1D,MAAM,WAAW,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;QACvC,IAAI,WAAW,EAAE,OAAO,EAAE,KAAK,UAAU,CAAC,cAAc;YAAE,SAAS;QAEnE,qBAAqB;QACrB,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,aAAa;YAAE,SAAS;QAC5D,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,SAAS;YAAE,SAAS;QAExD,oEAAoE;QACpE,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,2BAA2B;YAAE,SAAS;QAE1E,yCAAyC;QACzC,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,eAAe;YAAE,SAAS;QAC9D,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,mBAAmB;YAAE,SAAS;QAElE,8DAA8D;QAC9D,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,gBAAgB;YAChD,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,qBAAqB;YACrD,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,YAAY;YAC5C,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,eAAe;YAC/C,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,uBAAuB,EAAE,CAAC;YAC5D,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,SAAS,EAAE,KAAK,EACzD,IAAI,IAAI,8BAA8B,IAAI,UAAU,EACpD,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,kBAAkB,EAAE,EACxC,EAAE,UAAU,EAAE,GAAG,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC;YACpC,8CAA8C;YAC9C,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,wDAAwD;AAExD,SAAS,kBAAkB,CAAC,GAAgB;IAC1C,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,kEAAkE;IAClE,IAAI,mBAAmB,GAAG,KAAK,CAAC;IAChC,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,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;YAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;YAC9B,IAAI,IAAI,KAAK,aAAa,IAAI,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACzD,mBAAmB,GAAG,IAAI,CAAC;gBAC3B,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,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,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,UAAU,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,OAAO;YAAE,SAAS;QAEzF,gEAAgE;QAChE,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAChC,MAAM,aAAa,GAAG,MAAM,EAAE,OAAO,EAAE,KAAK,UAAU,CAAC,mBAAmB,CAAC;QAE3E,IAAI,CAAC,aAAa,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC3C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,OAAO,EAAE,KAAK,EACzD,4EAA4E,EAC5E,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,kBAAkB,EAAE,EACvC,EAAE,UAAU,EAAE,4FAA4F,EAAE,CAAC,CAAC,CAAC;QACnH,CAAC;IACH,CAAC;IAED,qCAAqC;IACrC,IAAI,iBAAiB,GAAG,KAAK,CAAC;IAC9B,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,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,wBAAwB,EAAE,CAAC;YAC7D,MAAM,EAAE,GAAG,MAAqD,CAAC;YACjE,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,qBAAqB,EAAE,CAAC;gBAC3C,iBAAiB,GAAG,IAAI,CAAC;gBACzB,MAAM;YACR,CAAC;QACH,CAAC;IACH,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,MAAM,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,wBAAwB;YAAE,SAAS;QACvE,MAAM,EAAE,GAAG,MAAqD,CAAC;QACjE,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,kBAAkB;YAAE,SAAS;QAElD,IAAI,CAAC,iBAAiB,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC/C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,OAAO,EAAE,KAAK,EACzD,2EAA2E,EAC3E,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,kBAAkB,EAAE,EACvC,EAAE,UAAU,EAAE,2CAA2C,EAAE,CAAC,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,kDAAkD;AAElD,SAAS,eAAe,CAAC,GAAgB;IACvC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;IAE9C,4CAA4C;IAC5C,MAAM,aAAa,GAAG,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;IAEjG,IAAI,CAAC,aAAa;QAAE,OAAO,QAAQ,CAAC;IAEpC,8CAA8C;IAC9C,MAAM,YAAY,GAAG,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,qDAAqD,CAAC;IACzE,IAAI,KAAK,CAAC;IAEV,OAAO,CAAC,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;QACnE,iCAAiC;QACjC,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACtD,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAElF,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,SAAS,EAAE,SAAS,EAC7D,mFAAmF,EACnF,GAAG,CAAC,QAAQ,EAAE,IAAI,EAClB,EAAE,UAAU,EAAE,gCAAgC,EAAE,CAAC,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,4CAA4C;AAE5C,SAAS,mBAAmB,CAAC,GAAgB;IAC3C,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;IAE9C,qCAAqC;IACrC,MAAM,aAAa,GAAG,gDAAgD,CAAC;IACvE,IAAI,KAAK,CAAC;IAEV,OAAO,CAAC,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACvD,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;QACnE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,sBAAsB,EAAE,SAAS,EAAE,KAAK,EAC5D,wFAAwF,EACxF,GAAG,CAAC,QAAQ,EAAE,IAAI,EAClB,EAAE,UAAU,EAAE,kFAAkF,EAAE,CAAC,CAAC,CAAC;IACzG,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAE5E,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,eAAe;IACf,kBAAkB;IAClB,eAAe;IACf,mBAAmB;CACpB,CAAC"}

package/dist/template-detector.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Template Detector — matches code against known library patterns.
+ *
+ * Import-anchored detection: look at import sources to identify libraries,
+ * then pattern-match the usage and extract slot values for .kern rewrites.
+ *
+ * When registeredTemplates are provided (from kern.config.ts), the detector
+ * generates suggested .kern rewrites with actual slot values filled in.
+ */
+import { SourceFile } from 'ts-morph';
+import type { TemplateMatch, ReviewConfig } from './types.js';
+export declare function detectTemplates(sourceFile: SourceFile, config?: ReviewConfig): TemplateMatch[];

package/dist/template-detector.js

@@ -0,0 +1,225 @@
+/**
+ * Template Detector — matches code against known library patterns.
+ *
+ * Import-anchored detection: look at import sources to identify libraries,
+ * then pattern-match the usage and extract slot values for .kern rewrites.
+ *
+ * When registeredTemplates are provided (from kern.config.ts), the detector
+ * generates suggested .kern rewrites with actual slot values filled in.
+ */
+import { countTokens } from '@kernlang/core';
+// ── Slot Extractors ──────────────────────────────────────────────────────
+function extractZustandSlots(sourceFile, fullText) {
+    // Pattern: const useXStore = create<StateType>((set, get) => ({...}))
+    // or: export const useXStore = create<StateType>()(...)
+    const match = fullText.match(/(?:export\s+)?const\s+use(\w+)Store\s*=\s*create\s*<\s*(\w+)\s*>/);
+    if (match) {
+        return { storeName: match[1], stateType: match[2] };
+    }
+    // Fallback: look for create<X> without the useXStore naming
+    const match2 = fullText.match(/create\s*<\s*(\w+)\s*>/);
+    if (match2) {
+        // Try to find the variable name
+        const varMatch = fullText.match(/(?:export\s+)?const\s+(\w+)\s*=\s*create/);
+        const storeName = varMatch ? varMatch[1].replace(/^use/, '').replace(/Store$/, '') : match2[1];
+        return { storeName, stateType: match2[1] };
+    }
+    return null;
+}
+function extractSwrSlots(sourceFile, fullText) {
+    // Pattern: function useX() { ... useSWR(key, fetcher) ... }
+    const fnMatch = fullText.match(/function\s+(use\w+)\s*\(/);
+    const swrMatch = fullText.match(/useSWR\s*\(\s*([^,)]+)/);
+    if (fnMatch && swrMatch) {
+        return { hookName: fnMatch[1], cacheKey: swrMatch[1].trim() };
+    }
+    return null;
+}
+function extractQuerySlots(sourceFile, fullText) {
+    const fnMatch = fullText.match(/function\s+(use\w+)\s*\(/);
+    const keyMatch = fullText.match(/queryKey\s*:\s*\[([^\]]+)\]/);
+    const fnBodyMatch = fullText.match(/queryFn\s*:\s*(\w+)/);
+    if (fnMatch && keyMatch) {
+        return {
+            hookName: fnMatch[1],
+            queryKey: keyMatch[1].trim(),
+            ...(fnBodyMatch ? { queryFn: fnBodyMatch[1] } : {}),
+        };
+    }
+    return null;
+}
+function extractJotaiSlots(sourceFile, fullText) {
+    const match = fullText.match(/(?:export\s+)?const\s+(\w+)Atom\s*=\s*atom\s*<\s*(\w+)\s*>\s*\(\s*([^)]+)\s*\)/);
+    if (match) {
+        return { atomName: match[1], atomType: match[2], initialValue: match[3].trim() };
+    }
+    return null;
+}
+function extractZodSlots(sourceFile, fullText) {
+    const match = fullText.match(/(?:export\s+)?const\s+(\w+)(?:Schema)?\s*=\s*z\.object\s*\(/);
+    if (match) {
+        return { schemaName: match[1] };
+    }
+    return null;
+}
+// ── Patterns ─────────────────────────────────────────────────────────────
+const PATTERNS = [
+    {
+        templateName: 'zustand-store',
+        libraryName: 'zustand',
+        importSource: 'zustand',
+        anchorImport: 'create',
+        bodyHint: /create\s*(<|[\s(])/,
+        confidencePct: 92,
+        extractSlots: extractZustandSlots,
+    },
+    {
+        templateName: 'zustand-selector',
+        libraryName: 'zustand',
+        importSource: 'zustand',
+        anchorImport: 'create',
+        bodyHint: /useStore\s*\(\s*\(\s*state\s*\)/,
+        confidencePct: 85,
+    },
+    {
+        templateName: 'swr-hook',
+        libraryName: 'SWR',
+        importSource: 'swr',
+        anchorImport: 'useSWR',
+        bodyHint: /useSWR\s*\(/,
+        confidencePct: 90,
+        extractSlots: extractSwrSlots,
+    },
+    {
+        templateName: 'query-hook',
+        libraryName: 'TanStack Query',
+        importSource: /tanstack\/.*query/,
+        anchorImport: 'useQuery',
+        bodyHint: /useQuery\s*\(\s*\{/,
+        confidencePct: 90,
+        extractSlots: extractQuerySlots,
+    },
+    {
+        templateName: 'mutation-hook',
+        libraryName: 'TanStack Query',
+        importSource: /tanstack\/.*query/,
+        anchorImport: 'useMutation',
+        bodyHint: /useMutation\s*\(\s*\{/,
+        confidencePct: 88,
+    },
+    {
+        templateName: 'xstate-machine',
+        libraryName: 'XState',
+        importSource: 'xstate',
+        anchorImport: 'createMachine',
+        bodyHint: /createMachine\s*\(/,
+        confidencePct: 90,
+    },
+    {
+        templateName: 'jotai-atom',
+        libraryName: 'Jotai',
+        importSource: 'jotai',
+        anchorImport: 'atom',
+        bodyHint: /atom\s*(<|\()/,
+        confidencePct: 88,
+        extractSlots: extractJotaiSlots,
+    },
+    {
+        templateName: 'trpc-router',
+        libraryName: 'tRPC',
+        importSource: /@trpc/,
+        anchorImport: 'router',
+        bodyHint: /\.router\s*\(/,
+        confidencePct: 85,
+    },
+    {
+        templateName: 'zod-schema',
+        libraryName: 'Zod',
+        importSource: 'zod',
+        anchorImport: 'z',
+        bodyHint: /z\.object\s*\(/,
+        confidencePct: 88,
+        extractSlots: extractZodSlots,
+    },
+];
+// ── Build .kern suggestion ───────────────────────────────────────────────
+function buildKernSuggestion(templateName, slots) {
+    const parts = [templateName];
+    for (const [key, value] of Object.entries(slots)) {
+        if (value.includes(' ')) {
+            parts.push(`${key}="${value}"`);
+        }
+        else {
+            parts.push(`${key}=${value}`);
+        }
+    }
+    return parts.join(' ');
+}
+// ── Main Detector ────────────────────────────────────────────────────────
+export function detectTemplates(sourceFile, config) {
+    const results = [];
+    const fullText = sourceFile.getFullText();
+    const totalTokens = countTokens(fullText);
+    const imports = sourceFile.getImportDeclarations();
+    const registeredTemplates = new Set(config?.registeredTemplates || []);
+    for (const pattern of PATTERNS) {
+        const matchingImport = imports.find(imp => {
+            const source = imp.getModuleSpecifierValue();
+            if (typeof pattern.importSource === 'string') {
+                return source === pattern.importSource || source.startsWith(pattern.importSource + '/');
+            }
+            return pattern.importSource.test(source);
+        });
+        if (!matchingImport)
+            continue;
+        const namedImports = matchingImport.getNamedImports().map(n => n.getName());
+        const defaultImport = matchingImport.getDefaultImport()?.getText();
+        const hasAnchor = namedImports.includes(pattern.anchorImport) ||
+            defaultImport === pattern.anchorImport;
+        if (!hasAnchor)
+            continue;
+        let confidence = pattern.confidencePct;
+        if (pattern.bodyHint) {
+            const bodyMatches = typeof pattern.bodyHint === 'string'
+                ? fullText.includes(pattern.bodyHint)
+                : pattern.bodyHint.test(fullText);
+            if (!bodyMatches) {
+                confidence -= 15;
+            }
+        }
+        if (confidence < 50)
+            continue;
+        const startLine = matchingImport.getStartLineNumber();
+        const endLine = sourceFile.getEndLineNumber();
+        // Extract slot values if extractor exists
+        const slotValues = pattern.extractSlots
+            ? pattern.extractSlots(sourceFile, fullText) ?? undefined
+            : undefined;
+        // Build .kern suggestion if template is registered and slots extracted
+        let suggestedKern;
+        let kernTokens;
+        const isRegistered = registeredTemplates.has(pattern.templateName);
+        if (slotValues) {
+            suggestedKern = buildKernSuggestion(pattern.templateName, slotValues);
+            kernTokens = countTokens(suggestedKern);
+            // Boost confidence when template is registered
+            if (isRegistered) {
+                confidence = Math.min(confidence + 5, 99);
+            }
+        }
+        results.push({
+            templateName: pattern.templateName,
+            libraryName: pattern.libraryName,
+            anchorImport: pattern.anchorImport,
+            confidencePct: confidence,
+            startLine,
+            endLine,
+            slotValues,
+            suggestedKern,
+            kernTokens,
+            tsTokens: totalTokens,
+        });
+    }
+    return results;
+}
+//# sourceMappingURL=template-detector.js.map

package/dist/template-detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"template-detector.js","sourceRoot":"","sources":["../src/template-detector.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAc7C,4EAA4E;AAE5E,SAAS,mBAAmB,CAAC,UAAsB,EAAE,QAAgB;IACnE,sEAAsE;IACtE,wDAAwD;IACxD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,kEAAkE,CAAC,CAAC;IACjG,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACtD,CAAC;IACD,4DAA4D;IAC5D,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;IACxD,IAAI,MAAM,EAAE,CAAC;QACX,gCAAgC;QAChC,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAC5E,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/F,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,UAAsB,EAAE,QAAgB;IAC/D,4DAA4D;IAC5D,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC1D,IAAI,OAAO,IAAI,QAAQ,EAAE,CAAC;QACxB,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;IAChE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAsB,EAAE,QAAgB;IACjE,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;IAC/D,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IAC1D,IAAI,OAAO,IAAI,QAAQ,EAAE,CAAC;QACxB,OAAO;YACL,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;YACpB,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;YAC5B,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpD,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAsB,EAAE,QAAgB;IACjE,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,gFAAgF,CAAC,CAAC;IAC/G,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;IACnF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,UAAsB,EAAE,QAAgB;IAC/D,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,6DAA6D,CAAC,CAAC;IAC5F,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAClC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,4EAA4E;AAE5E,MAAM,QAAQ,GAAsB;IAClC;QACE,YAAY,EAAE,eAAe;QAC7B,WAAW,EAAE,SAAS;QACtB,YAAY,EAAE,SAAS;QACvB,YAAY,EAAE,QAAQ;QACtB,QAAQ,EAAE,oBAAoB;QAC9B,aAAa,EAAE,EAAE;QACjB,YAAY,EAAE,mBAAmB;KAClC;IACD;QACE,YAAY,EAAE,kBAAkB;QAChC,WAAW,EAAE,SAAS;QACtB,YAAY,EAAE,SAAS;QACvB,YAAY,EAAE,QAAQ;QACtB,QAAQ,EAAE,iCAAiC;QAC3C,aAAa,EAAE,EAAE;KAClB;IACD;QACE,YAAY,EAAE,UAAU;QACxB,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,KAAK;QACnB,YAAY,EAAE,QAAQ;QACtB,QAAQ,EAAE,aAAa;QACvB,aAAa,EAAE,EAAE;QACjB,YAAY,EAAE,eAAe;KAC9B;IACD;QACE,YAAY,EAAE,YAAY;QAC1B,WAAW,EAAE,gBAAgB;QAC7B,YAAY,EAAE,mBAAmB;QACjC,YAAY,EAAE,UAAU;QACxB,QAAQ,EAAE,oBAAoB;QAC9B,aAAa,EAAE,EAAE;QACjB,YAAY,EAAE,iBAAiB;KAChC;IACD;QACE,YAAY,EAAE,eAAe;QAC7B,WAAW,EAAE,gBAAgB;QAC7B,YAAY,EAAE,mBAAmB;QACjC,YAAY,EAAE,aAAa;QAC3B,QAAQ,EAAE,uBAAuB;QACjC,aAAa,EAAE,EAAE;KAClB;IACD;QACE,YAAY,EAAE,gBAAgB;QAC9B,WAAW,EAAE,QAAQ;QACrB,YAAY,EAAE,QAAQ;QACtB,YAAY,EAAE,eAAe;QAC7B,QAAQ,EAAE,oBAAoB;QAC9B,aAAa,EAAE,EAAE;KAClB;IACD;QACE,YAAY,EAAE,YAAY;QAC1B,WAAW,EAAE,OAAO;QACpB,YAAY,EAAE,OAAO;QACrB,YAAY,EAAE,MAAM;QACpB,QAAQ,EAAE,eAAe;QACzB,aAAa,EAAE,EAAE;QACjB,YAAY,EAAE,iBAAiB;KAChC;IACD;QACE,YAAY,EAAE,aAAa;QAC3B,WAAW,EAAE,MAAM;QACnB,YAAY,EAAE,OAAO;QACrB,YAAY,EAAE,QAAQ;QACtB,QAAQ,EAAE,eAAe;QACzB,aAAa,EAAE,EAAE;KAClB;IACD;QACE,YAAY,EAAE,YAAY;QAC1B,WAAW,EAAE,KAAK;QAClB,YAAY,EAAE,KAAK;QACnB,YAAY,EAAE,GAAG;QACjB,QAAQ,EAAE,gBAAgB;QAC1B,aAAa,EAAE,EAAE;QACjB,YAAY,EAAE,eAAe;KAC9B;CACF,CAAC;AAEF,4EAA4E;AAE5E,SAAS,mBAAmB,CAC1B,YAAoB,EACpB,KAA6B;IAE7B,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,CAAC;IAC7B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,KAAK,GAAG,CAAC,CAAC;QAClC,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,eAAe,CAC7B,UAAsB,EACtB,MAAqB;IAErB,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;IAC1C,MAAM,WAAW,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,UAAU,CAAC,qBAAqB,EAAE,CAAC;IACnD,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,MAAM,EAAE,mBAAmB,IAAI,EAAE,CAAC,CAAC;IAEvE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;YACxC,MAAM,MAAM,GAAG,GAAG,CAAC,uBAAuB,EAAE,CAAC;YAC7C,IAAI,OAAO,OAAO,CAAC,YAAY,KAAK,QAAQ,EAAE,CAAC;gBAC7C,OAAO,MAAM,KAAK,OAAO,CAAC,YAAY,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,YAAY,GAAG,GAAG,CAAC,CAAC;YAC1F,CAAC;YACD,OAAO,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,cAAc;YAAE,SAAS;QAE9B,MAAM,YAAY,GAAG,cAAc,CAAC,eAAe,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5E,MAAM,aAAa,GAAG,cAAc,CAAC,gBAAgB,EAAE,EAAE,OAAO,EAAE,CAAC;QACnE,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC;YAC3C,aAAa,KAAK,OAAO,CAAC,YAAY,CAAC;QAEzD,IAAI,CAAC,SAAS;YAAE,SAAS;QAEzB,IAAI,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC;QACvC,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACrB,MAAM,WAAW,GAAG,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ;gBACtD,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC;gBACrC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACpC,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,UAAU,IAAI,EAAE,CAAC;YACnB,CAAC;QACH,CAAC;QAED,IAAI,UAAU,GAAG,EAAE;YAAE,SAAS;QAE9B,MAAM,SAAS,GAAG,cAAc,CAAC,kBAAkB,EAAE,CAAC;QACtD,MAAM,OAAO,GAAG,UAAU,CAAC,gBAAgB,EAAE,CAAC;QAE9C,0CAA0C;QAC1C,MAAM,UAAU,GAAG,OAAO,CAAC,YAAY;YACrC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,SAAS;YACzD,CAAC,CAAC,SAAS,CAAC;QAEd,uEAAuE;QACvE,IAAI,aAAiC,CAAC;QACtC,IAAI,UAA8B,CAAC;QACnC,MAAM,YAAY,GAAG,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAEnE,IAAI,UAAU,EAAE,CAAC;YACf,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YACtE,UAAU,GAAG,WAAW,CAAC,aAAa,CAAC,CAAC;YAExC,+CAA+C;YAC/C,IAAI,YAAY,EAAE,CAAC;gBACjB,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QAED,OAAO,CAAC,IAAI,CAAC;YACX,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,aAAa,EAAE,UAAU;YACzB,SAAS;YACT,OAAO;YACP,UAAU;YACV,aAAa;YACb,UAAU;YACV,QAAQ,EAAE,WAAW;SACtB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,152 @@
+/**
+ * Types for @kernlang/review — TS → .kern inference, review pipeline, unified findings.
+ *
+ * v2: Unified ReviewFinding replaces QualityFinding + DiffFinding.
+ *     InferResult gains stable nodeId + promptAlias + sourceSpans.
+ */
+import type { IRNode } from '@kernlang/core';
+/** Exact location in a source file */
+export interface SourceSpan {
+    file: string;
+    startLine: number;
+    startCol: number;
+    endLine: number;
+    endCol: number;
+}
+/** Unified finding from any review layer */
+export interface ReviewFinding {
+    /** Which layer produced this finding */
+    source: 'kern' | 'eslint' | 'tsc' | 'llm';
+    /** Rule identifier (e.g., 'memory-leak', 'floating-promise') */
+    ruleId: string;
+    /** Severity level */
+    severity: 'error' | 'warning' | 'info';
+    /** Finding category */
+    category: 'bug' | 'type' | 'pattern' | 'style' | 'structure';
+    /** Human-readable message */
+    message: string;
+    /** Primary source location */
+    primarySpan: SourceSpan;
+    /** Related locations (e.g., definition + usage) */
+    relatedSpans?: SourceSpan[];
+    /** Associated KERN nodeIds */
+    nodeIds?: string[];
+    /** Fix suggestion */
+    suggestion?: string;
+    /** Confidence (0-1, for LLM findings) */
+    confidence?: number;
+    /** Stable fingerprint for dedup across sources */
+    fingerprint: string;
+}
+/** Confidence level for an inference match */
+export type Confidence = 'high' | 'medium' | 'low';
+/** Result of inferring a single TS construct as a KERN node */
+export interface InferResult {
+    /** The inferred KERN IR node */
+    node: IRNode;
+    /** Stable internal ID: file#type:name@offset */
+    nodeId: string;
+    /** Short alias for LLM prompts: "N1", "N2", etc. (assigned after sort) */
+    promptAlias: string;
+    /** Source location in the original TS file */
+    startLine: number;
+    endLine: number;
+    /** Exact TS source spans for this construct */
+    sourceSpans: SourceSpan[];
+    /** What was detected (human-readable summary) */
+    summary: string;
+    /** Confidence of the inference */
+    confidence: Confidence;
+    /** Confidence percentage (0-100) */
+    confidencePct: number;
+    /** KERN token count for this construct */
+    kernTokens: number;
+    /** Original TS token count for this construct */
+    tsTokens: number;
+}
+/** A template pattern match */
+export interface TemplateMatch {
+    /** Template name (e.g., 'zustand-store', 'swr-hook') */
+    templateName: string;
+    /** Library name (e.g., 'zustand', 'swr') */
+    libraryName: string;
+    /** Import that anchored the detection */
+    anchorImport: string;
+    /** Confidence percentage */
+    confidencePct: number;
+    /** Source location */
+    startLine: number;
+    endLine: number;
+    /** Suggested .kern rewrite (when template is registered) */
+    suggestedKern?: string;
+    /** Extracted slot values from code analysis */
+    slotValues?: Record<string, string>;
+    /** Estimated KERN tokens for the suggested rewrite */
+    kernTokens?: number;
+    /** Original TS tokens covered by this match */
+    tsTokens?: number;
+}
+/** Full review report for a single file */
+export interface ReviewReport {
+    /** File path that was reviewed */
+    filePath: string;
+    /** Inferred KERN constructs */
+    inferred: InferResult[];
+    /** Template pattern matches */
+    templateMatches: TemplateMatch[];
+    /** All findings from every review layer (unified) */
+    findings: ReviewFinding[];
+    /** Summary stats */
+    stats: ReviewStats;
+}
+/** Summary statistics for a review */
+export interface ReviewStats {
+    /** Total lines in the original file */
+    totalLines: number;
+    /** Lines covered by KERN inferences */
+    coveredLines: number;
+    /** Coverage percentage */
+    coveragePct: number;
+    /** Total TS tokens */
+    totalTsTokens: number;
+    /** Total KERN tokens (if re-expressed as .kern) */
+    totalKernTokens: number;
+    /** Token reduction percentage */
+    reductionPct: number;
+    /** Number of KERN-expressible constructs */
+    constructCount: number;
+}
+/** Enforcement result for CI */
+export interface EnforceResult {
+    /** Whether enforcement passed */
+    passed: boolean;
+    /** Minimum coverage threshold */
+    minCoverage: number;
+    /** Actual coverage */
+    actualCoverage: number;
+    /** Template violations (detected pattern but no KERN template used) */
+    templateViolations: string[];
+}
+/** Configuration for the review pipeline */
+export interface ReviewConfig {
+    /** Registered template names (from kern.config.ts templates) */
+    registeredTemplates?: string[];
+    /** Minimum coverage for enforcement */
+    minCoverage?: number;
+    /** Require detected library patterns to use KERN templates */
+    enforceTemplates?: boolean;
+    /** Build target — activates framework-specific rules */
+    target?: string;
+}
+/** Context passed to each review rule */
+export interface RuleContext {
+    sourceFile: import('ts-morph').SourceFile;
+    inferred: InferResult[];
+    templateMatches: TemplateMatch[];
+    config?: ReviewConfig;
+    filePath: string;
+}
+/** A review rule function */
+export type ReviewRule = (ctx: RuleContext) => ReviewFinding[];
+/** Create a stable fingerprint for dedup across sources and runs */
+export declare function createFingerprint(ruleId: string, startLine: number, startCol: number): string;

package/dist/types.js

@@ -0,0 +1,17 @@
+/**
+ * Types for @kernlang/review — TS → .kern inference, review pipeline, unified findings.
+ *
+ * v2: Unified ReviewFinding replaces QualityFinding + DiffFinding.
+ *     InferResult gains stable nodeId + promptAlias + sourceSpans.
+ */
+// ── Helpers ──────────────────────────────────────────────────────────────
+/** Create a stable fingerprint for dedup across sources and runs */
+export function createFingerprint(ruleId, startLine, startCol) {
+    const input = `${ruleId}:${startLine}:${startCol}`;
+    let hash = 0;
+    for (let i = 0; i < input.length; i++) {
+        hash = ((hash << 5) - hash + input.charCodeAt(i)) | 0;
+    }
+    return Math.abs(hash).toString(36);
+}
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AA8KH,4EAA4E;AAE5E,oEAAoE;AACpE,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,SAAiB,EAAE,QAAgB;IACnF,MAAM,KAAK,GAAG,GAAG,MAAM,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;IACnD,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;AACrC,CAAC"}

package/package.json

@@ -0,0 +1,23 @@
+{
+  "name": "@kernlang/review",
+  "version": "2.0.0",
+  "description": "Kern Review — scan TS, infer .kern IR, roundtrip diff, report",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": "./dist/index.js"
+  },
+  "files": [
+    "dist"
+  ],
+  "license": "AGPL-3.0",
+  "dependencies": {
+    "ts-morph": "^24.0.0",
+    "@kernlang/core": "2.0.0"
+  },
+  "scripts": {
+    "build": "tsc -b",
+    "test": "node --experimental-vm-modules ../../node_modules/jest/bin/jest.js --forceExit --config jest.config.js"
+  }
+}