@kernlang/review 3.1.5 → 3.1.7

package/dist/rules/vue.js

@@ -3,38 +3,18 @@
  *
  * 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,
-    };
-}
+import { Node, SyntaxKind } from 'ts-morph';
+import { finding } from './utils.js';
 // ── 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
+    const refVarNames = new Map();
     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 (init && Node.isCallExpression(init)) {
+                const calleeName = init.getExpression().getText();
                 if (calleeName === 'ref') {
                     refVarNames.set(decl.getName(), stmt.getStartLineNumber());
                 }
@@ -43,134 +23,111 @@ function missingRefValue(ctx) {
     }
     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
-            }
+        if (Node.isPropertyAccessExpression(parent)) {
+            if (parent.getExpression() === ident && parent.getName() === 'value')
+                continue;
         }
-        // Skip if ref is passed as a function argument (intentional: watch(myRef), toRef(myRef))
-        if (parent.getKind() === SyntaxKind.CallExpression)
+        if (Node.isCallExpression(parent))
             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)
+        if (grandparent && Node.isCallExpression(grandparent))
             continue;
-        // Skip shorthand property assignments: { count } in object literals
-        if (parent.getKind() === SyntaxKind.ShorthandPropertyAssignment)
+        if (Node.isTypeReference(parent) || Node.isTypeQuery(parent))
             continue;
-        // Skip imports and variable declarations
-        if (parent.getKind() === SyntaxKind.ImportSpecifier)
+        if (Node.isShorthandPropertyAssignment(parent))
             continue;
-        if (parent.getKind() === SyntaxKind.VariableDeclaration)
+        if (Node.isImportSpecifier(parent) || Node.isVariableDeclaration(parent))
             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
+        if (Node.isBinaryExpression(parent) ||
+            Node.isConditionalExpression(parent) ||
+            Node.isTemplateSpan(parent) ||
+            Node.isReturnStatement(parent) ||
+            Node.isElementAccessExpression(parent)) {
+            findings.push(finding('missing-ref-value', 'warning', 'bug', `'${name}' is a ref — did you mean '${name}.value'?`, ctx.filePath, ident.getStartLineNumber(), 1, { suggestion: `${name}.value` }));
             refVarNames.delete(name);
         }
     }
     return findings;
 }
 // ── Rule 18: missing-onUnmounted ─────────────────────────────────────────
-// watch/addEventListener without cleanup in onUnmounted
+// watch/watchEffect/addEventListener without cleanup in onUnmounted
+const WATCH_FUNCTIONS = new Set(['watch', 'watchEffect', 'watchSyncEffect', 'watchPostEffect']);
 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;
-            }
+        const callee = call.getExpression().getText();
+        if (callee === 'onUnmounted' || callee === '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')
+        const callee = call.getExpression().getText();
+        if (!WATCH_FUNCTIONS.has(callee))
             continue;
-        // Check if parent is VariableDeclaration (stop handle assigned)
         const parent = call.getParent();
-        const hasStopHandle = parent?.getKind() === SyntaxKind.VariableDeclaration;
+        const hasStopHandle = Node.isVariableDeclaration(parent);
         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)' }));
+            findings.push(finding('missing-onUnmounted', 'error', 'bug', `${callee}() without stop handle or onUnmounted cleanup — potential memory leak`, ctx.filePath, call.getStartLineNumber(), 1, { suggestion: `Assign ${callee} to a variable and call stop() in onUnmounted` }));
         }
     }
-    // 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;
-            }
+        if (Node.isPropertyAccessExpression(callee) && callee.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')
+        if (!Node.isPropertyAccessExpression(callee) || callee.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()' }));
+            findings.push(finding('missing-onUnmounted', 'error', 'bug', 'addEventListener without removeEventListener in onUnmounted — memory leak', ctx.filePath, call.getStartLineNumber(), 1, { suggestion: 'Clean up event listeners in onUnmounted()' }));
         }
     }
     return findings;
 }
 // ── Rule 19: setup-side-effect ───────────────────────────────────────────
-// Async call in setup() without onMounted wrapper
+// Top-level await in setup without onMounted wrapper (SSR safety)
 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)
+    const isVueFile = ctx.filePath.endsWith('.vue') || fullText.includes('defineComponent');
+    if (!isVueFile)
+        return findings;
+    const hasOnMounted = ctx.sourceFile
+        .getDescendantsOfKind(SyntaxKind.CallExpression)
+        .some((c) => Node.isIdentifier(c.getExpression()) && c.getExpression().getText() === 'onMounted');
+    if (hasOnMounted)
         return findings;
-    // Check for top-level await without onMounted
-    const hasOnMounted = fullText.includes('onMounted');
-    const awaitRegex = /(?:^|\n)[ \t]{0,20}(?:(?:const|let|var) \w+ ?= ?)?await /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 () => { ... })' }));
+    for (const awaitExpr of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.AwaitExpression)) {
+        let isInsideFunction = false;
+        let cur = awaitExpr.getParent();
+        while (cur && cur !== ctx.sourceFile) {
+            if (Node.isArrowFunction(cur) || Node.isFunctionExpression(cur) || Node.isFunctionDeclaration(cur)) {
+                isInsideFunction = true;
+                break;
+            }
+            // MethodDeclaration with name 'setup' counts as top-level setup scope
+            if (Node.isMethodDeclaration(cur) && cur.getName() === 'setup')
+                break;
+            cur = cur.getParent();
         }
+        if (isInsideFunction)
+            continue;
+        findings.push(finding('setup-side-effect', 'warning', 'pattern', 'Top-level await in setup — consider wrapping in onMounted() for SSR compatibility', ctx.filePath, awaitExpr.getStartLineNumber(), 1, { suggestion: 'onMounted(async () => { ... })' }));
     }
     return findings;
 }
@@ -178,13 +135,109 @@ function setupSideEffect(ctx) {
 // 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)' }));
+    for (const decl of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.VariableDeclaration)) {
+        const nameNode = decl.getNameNode();
+        if (!Node.isObjectBindingPattern(nameNode))
+            continue;
+        const init = decl.getInitializer();
+        if (init && Node.isCallExpression(init)) {
+            const callee = init.getExpression().getText();
+            if (callee === 'reactive') {
+                findings.push(finding('reactive-destructure', 'warning', 'bug', 'Destructuring reactive() loses reactivity — use toRefs() or access properties directly', ctx.filePath, decl.getStartLineNumber(), 1, { suggestion: 'const state = reactive({...}); use state.prop, or const { prop } = toRefs(state)' }));
+            }
+        }
+    }
+    return findings;
+}
+// ── Rule: computed-side-effect ───────────────────────────────────────────
+// Side effects inside computed() properties
+function computedSideEffect(ctx) {
+    const findings = [];
+    for (const call of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.CallExpression)) {
+        if (call.getExpression().getText() !== 'computed')
+            continue;
+        const args = call.getArguments();
+        if (args.length === 0)
+            continue;
+        const getter = args[0];
+        if (!Node.isArrowFunction(getter) && !Node.isFunctionExpression(getter))
+            continue;
+        // Detect side-effect calls: fetch, axios.*, set* (state setters)
+        const sideEffectCalls = getter.getDescendantsOfKind(SyntaxKind.CallExpression).filter((c) => {
+            const name = c.getExpression().getText();
+            return name === 'fetch' || name.startsWith('axios.');
+        });
+        // Detect mutations: assignments (=, +=, -=, etc.) and ++/--
+        const mutations = getter.getDescendantsOfKind(SyntaxKind.BinaryExpression).filter((b) => {
+            const op = b.getOperatorToken().getKind();
+            return op === SyntaxKind.EqualsToken || op === SyntaxKind.PlusEqualsToken || op === SyntaxKind.MinusEqualsToken;
+        });
+        const prefixMutations = getter.getDescendantsOfKind(SyntaxKind.PrefixUnaryExpression).filter((p) => {
+            const op = p.getOperatorToken();
+            return op === SyntaxKind.PlusPlusToken || op === SyntaxKind.MinusMinusToken;
+        });
+        const postfixMutations = getter.getDescendantsOfKind(SyntaxKind.PostfixUnaryExpression).filter((p) => {
+            const op = p.getOperatorToken();
+            return op === SyntaxKind.PlusPlusToken || op === SyntaxKind.MinusMinusToken;
+        });
+        if (sideEffectCalls.length > 0 ||
+            mutations.length > 0 ||
+            prefixMutations.length > 0 ||
+            postfixMutations.length > 0) {
+            findings.push(finding('computed-side-effect', 'warning', 'bug', 'Side effect detected inside computed property — computed should be pure', ctx.filePath, call.getStartLineNumber(), 1, { suggestion: 'Move side effects to watch() or a method' }));
+        }
+    }
+    return findings;
+}
+// ── Rule: shallow-ref-mutation ───────────────────────────────────────────
+// Deep mutation on shallowRef without triggerRef — change won't be reactive
+// Source: vuejs.org/api/reactivity-advanced.html#shallowref
+function shallowRefMutation(ctx) {
+    const findings = [];
+    // Collect shallowRef variable names
+    const shallowRefs = new Set();
+    for (const decl of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.VariableDeclaration)) {
+        const init = decl.getInitializer();
+        if (init && Node.isCallExpression(init) && init.getExpression().getText() === 'shallowRef') {
+            shallowRefs.add(decl.getName());
+        }
+    }
+    if (shallowRefs.size === 0)
+        return findings;
+    // Collect which shallowRefs have matching triggerRef(refName) calls
+    const triggeredRefs = new Set();
+    for (const call of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.CallExpression)) {
+        if (call.getExpression().getText() !== 'triggerRef')
+            continue;
+        const args = call.getArguments();
+        if (args.length > 0 && Node.isIdentifier(args[0])) {
+            triggeredRefs.add(args[0].getText());
+        }
+    }
+    // Find deep property access: state.value.prop = ... (not state.value = ...)
+    for (const bin of ctx.sourceFile.getDescendantsOfKind(SyntaxKind.BinaryExpression)) {
+        const op = bin.getOperatorToken().getKind();
+        if (op !== SyntaxKind.EqualsToken && op !== SyntaxKind.PlusEqualsToken && op !== SyntaxKind.MinusEqualsToken)
+            continue;
+        const left = bin.getLeft();
+        if (!Node.isPropertyAccessExpression(left))
+            continue;
+        // Check for pattern: shallowRef.value.deepProp = ...
+        const obj = left.getExpression();
+        if (!Node.isPropertyAccessExpression(obj))
+            continue;
+        if (obj.getName() !== 'value')
+            continue;
+        const root = obj.getExpression();
+        if (!Node.isIdentifier(root) || !shallowRefs.has(root.getText()))
+            continue;
+        const refName = root.getText();
+        // Only suppress if triggerRef is called on THIS specific ref
+        if (!triggeredRefs.has(refName)) {
+            findings.push(finding('shallow-ref-mutation', 'warning', 'bug', `Deep mutation on shallowRef '${refName}' won't trigger reactivity — use triggerRef() or reassign .value`, ctx.filePath, bin.getStartLineNumber(), 1, {
+                suggestion: `Use ${refName}.value = { ...${refName}.value, ${left.getName()}: newVal } or call triggerRef(${refName})`,
+            }));
+        }
     }
     return findings;
 }
@@ -194,5 +247,7 @@ export const vueRules = [
     missingOnUnmounted,
     setupSideEffect,
     reactiveDestructure,
+    computedSideEffect,
+    shallowRefMutation,
 ];
 //# sourceMappingURL=vue.js.map

package/dist/rules/vue.js.map

@@ -1 +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,2DAA2D,CAAC;IAC/E,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"}
+{"version":3,"file":"vue.js","sourceRoot":"","sources":["../../src/rules/vue.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAE5C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAErC,4EAA4E;AAC5E,oDAAoD;AAEpD,SAAS,eAAe,CAAC,GAAgB;IACvC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE9C,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,IAAI,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,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,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;QACrC,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,IAAI,IAAI,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5C,IAAI,MAAM,CAAC,aAAa,EAAE,KAAK,KAAK,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,OAAO;gBAAE,SAAS;QACjF,CAAC;QAED,IAAI,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC;YAAE,SAAS;QAC5C,MAAM,WAAW,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;QACvC,IAAI,WAAW,IAAI,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC;YAAE,SAAS;QAChE,IAAI,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;YAAE,SAAS;QACvE,IAAI,IAAI,CAAC,6BAA6B,CAAC,MAAM,CAAC;YAAE,SAAS;QACzD,IAAI,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAAE,SAAS;QAEnF,IACE,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC;YAC/B,IAAI,CAAC,uBAAuB,CAAC,MAAM,CAAC;YACpC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC;YAC3B,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC;YAC9B,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC,EACtC,CAAC;YACD,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,mBAAmB,EACnB,SAAS,EACT,KAAK,EACL,IAAI,IAAI,8BAA8B,IAAI,UAAU,EACpD,GAAG,CAAC,QAAQ,EACZ,KAAK,CAAC,kBAAkB,EAAE,EAC1B,CAAC,EACD,EAAE,UAAU,EAAE,GAAG,IAAI,QAAQ,EAAE,CAChC,CACF,CAAC;YACF,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,oEAAoE;AAEpE,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,iBAAiB,CAAC,CAAC,CAAC;AAEhG,SAAS,kBAAkB,CAAC,GAAgB;IAC1C,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,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,OAAO,EAAE,CAAC;QAC9C,IAAI,MAAM,KAAK,aAAa,IAAI,MAAM,KAAK,iBAAiB,EAAE,CAAC;YAC7D,mBAAmB,GAAG,IAAI,CAAC;YAC3B,MAAM;QACR,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,OAAO,EAAE,CAAC;QAC9C,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAS;QAE3C,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAChC,MAAM,aAAa,GAAG,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC;QAEzD,IAAI,CAAC,aAAa,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC3C,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,qBAAqB,EACrB,OAAO,EACP,KAAK,EACL,GAAG,MAAM,uEAAuE,EAChF,GAAG,CAAC,QAAQ,EACZ,IAAI,CAAC,kBAAkB,EAAE,EACzB,CAAC,EACD,EAAE,UAAU,EAAE,UAAU,MAAM,+CAA+C,EAAE,CAChF,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,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,IAAI,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,qBAAqB,EAAE,CAAC;YAC1F,iBAAiB,GAAG,IAAI,CAAC;YACzB,MAAM;QACR,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,CAAC,IAAI,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,kBAAkB;YAAE,SAAS;QAElG,IAAI,CAAC,iBAAiB,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC/C,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,qBAAqB,EACrB,OAAO,EACP,KAAK,EACL,2EAA2E,EAC3E,GAAG,CAAC,QAAQ,EACZ,IAAI,CAAC,kBAAkB,EAAE,EACzB,CAAC,EACD,EAAE,UAAU,EAAE,2CAA2C,EAAE,CAC5D,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,kEAAkE;AAElE,SAAS,eAAe,CAAC,GAAgB;IACvC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;IAE9C,MAAM,SAAS,GAAG,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;IACxF,IAAI,CAAC,SAAS;QAAE,OAAO,QAAQ,CAAC;IAEhC,MAAM,YAAY,GAAG,GAAG,CAAC,UAAU;SAChC,oBAAoB,CAAC,UAAU,CAAC,cAAc,CAAC;SAC/C,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,KAAK,WAAW,CAAC,CAAC;IAEpG,IAAI,YAAY;QAAE,OAAO,QAAQ,CAAC;IAElC,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;QACxF,IAAI,gBAAgB,GAAG,KAAK,CAAC;QAC7B,IAAI,GAAG,GAAwC,SAAS,CAAC,SAAS,EAAE,CAAC;QACrE,OAAO,GAAG,IAAI,GAAG,KAAK,GAAG,CAAC,UAAU,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnG,gBAAgB,GAAG,IAAI,CAAC;gBACxB,MAAM;YACR,CAAC;YACD,sEAAsE;YACtE,IAAI,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,KAAK,OAAO;gBAAE,MAAM;YACtE,GAAG,GAAG,GAAG,CAAC,SAAS,EAAE,CAAC;QACxB,CAAC;QACD,IAAI,gBAAgB;YAAE,SAAS;QAE/B,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,mBAAmB,EACnB,SAAS,EACT,SAAS,EACT,mFAAmF,EACnF,GAAG,CAAC,QAAQ,EACZ,SAAS,CAAC,kBAAkB,EAAE,EAC9B,CAAC,EACD,EAAE,UAAU,EAAE,gCAAgC,EAAE,CACjD,CACF,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,4CAA4C;AAE5C,SAAS,mBAAmB,CAAC,GAAgB;IAC3C,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACvF,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC;YAAE,SAAS;QAErD,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACnC,IAAI,IAAI,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC;YAC9C,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;gBAC1B,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,sBAAsB,EACtB,SAAS,EACT,KAAK,EACL,wFAAwF,EACxF,GAAG,CAAC,QAAQ,EACZ,IAAI,CAAC,kBAAkB,EAAE,EACzB,CAAC,EACD,EAAE,UAAU,EAAE,kFAAkF,EAAE,CACnG,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,4CAA4C;AAE5C,SAAS,kBAAkB,CAAC,GAAgB;IAC1C,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAClF,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,KAAK,UAAU;YAAE,SAAS;QAE5D,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC;YAAE,SAAS;QAElF,iEAAiE;QACjE,MAAM,eAAe,GAAG,MAAM,CAAC,oBAAoB,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YAC1F,MAAM,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC;YACzC,OAAO,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,4DAA4D;QAC5D,MAAM,SAAS,GAAG,MAAM,CAAC,oBAAoB,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YACtF,MAAM,EAAE,GAAG,CAAC,CAAC,gBAAgB,EAAE,CAAC,OAAO,EAAE,CAAC;YAC1C,OAAO,EAAE,KAAK,UAAU,CAAC,WAAW,IAAI,EAAE,KAAK,UAAU,CAAC,eAAe,IAAI,EAAE,KAAK,UAAU,CAAC,gBAAgB,CAAC;QAClH,CAAC,CAAC,CAAC;QACH,MAAM,eAAe,GAAG,MAAM,CAAC,oBAAoB,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YACjG,MAAM,EAAE,GAAG,CAAC,CAAC,gBAAgB,EAAE,CAAC;YAChC,OAAO,EAAE,KAAK,UAAU,CAAC,aAAa,IAAI,EAAE,KAAK,UAAU,CAAC,eAAe,CAAC;QAC9E,CAAC,CAAC,CAAC;QACH,MAAM,gBAAgB,GAAG,MAAM,CAAC,oBAAoB,CAAC,UAAU,CAAC,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YACnG,MAAM,EAAE,GAAG,CAAC,CAAC,gBAAgB,EAAE,CAAC;YAChC,OAAO,EAAE,KAAK,UAAU,CAAC,aAAa,IAAI,EAAE,KAAK,UAAU,CAAC,eAAe,CAAC;QAC9E,CAAC,CAAC,CAAC;QAEH,IACE,eAAe,CAAC,MAAM,GAAG,CAAC;YAC1B,SAAS,CAAC,MAAM,GAAG,CAAC;YACpB,eAAe,CAAC,MAAM,GAAG,CAAC;YAC1B,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAC3B,CAAC;YACD,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,sBAAsB,EACtB,SAAS,EACT,KAAK,EACL,yEAAyE,EACzE,GAAG,CAAC,QAAQ,EACZ,IAAI,CAAC,kBAAkB,EAAE,EACzB,CAAC,EACD,EAAE,UAAU,EAAE,0CAA0C,EAAE,CAC3D,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,4EAA4E;AAC5E,4DAA4D;AAE5D,SAAS,kBAAkB,CAAC,GAAgB;IAC1C,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,oCAAoC;IACpC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACvF,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACnC,IAAI,IAAI,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,KAAK,YAAY,EAAE,CAAC;YAC3F,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAE5C,oEAAoE;IACpE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;QAClF,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,KAAK,YAAY;YAAE,SAAS;QAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACnF,MAAM,EAAE,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC,OAAO,EAAE,CAAC;QAC5C,IAAI,EAAE,KAAK,UAAU,CAAC,WAAW,IAAI,EAAE,KAAK,UAAU,CAAC,eAAe,IAAI,EAAE,KAAK,UAAU,CAAC,gBAAgB;YAC1G,SAAS;QAEX,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC;YAAE,SAAS;QAErD,qDAAqD;QACrD,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC;YAAE,SAAS;QACpD,IAAI,GAAG,CAAC,OAAO,EAAE,KAAK,OAAO;YAAE,SAAS;QAExC,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAAE,SAAS;QAC3E,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAE/B,6DAA6D;QAC7D,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,sBAAsB,EACtB,SAAS,EACT,KAAK,EACL,gCAAgC,OAAO,kEAAkE,EACzG,GAAG,CAAC,QAAQ,EACZ,GAAG,CAAC,kBAAkB,EAAE,EACxB,CAAC,EACD;gBACE,UAAU,EAAE,OAAO,OAAO,iBAAiB,OAAO,WAAW,IAAI,CAAC,OAAO,EAAE,iCAAiC,OAAO,GAAG;aACvH,CACF,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAE5E,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,eAAe;IACf,kBAAkB;IAClB,eAAe;IACf,mBAAmB;IACnB,kBAAkB;IAClB,kBAAkB;CACnB,CAAC"}

package/dist/semantic-diff.d.ts

@@ -0,0 +1,52 @@
+/**
+ * Semantic Diff — detects behavior changes between old and new versions of code.
+ *
+ * Compares IR (InferResult[]) and concept maps (ConceptMap) between git versions
+ * to detect guard removals, error handling changes, new effects, param changes, etc.
+ *
+ * Used in `kern review --diff <base>` to augment line-level diffs with
+ * semantic understanding of WHAT changed.
+ */
+import type { ConceptMap } from '@kernlang/core';
+import type { InferResult } from './types.js';
+export type SemanticChangeType = 'guard-removed' | 'guard-added' | 'error-handling-removed' | 'error-handling-added' | 'effect-added' | 'effect-removed' | 'return-type-changed' | 'new-code-path' | 'param-changed';
+export interface SemanticChange {
+    type: SemanticChangeType;
+    severity: 'error' | 'warning' | 'info';
+    functionName: string;
+    filePath: string;
+    line: number;
+    description: string;
+    oldValue?: string;
+    newValue?: string;
+}
+/**
+ * Get the old version of a file from git.
+ * Returns null for new files (no old version exists).
+ */
+export declare function getOldFileContent(filePath: string, baseRef: string): string | null;
+/**
+ * Compute semantic differences between old and new versions of a file.
+ *
+ * Compares:
+ * - Functions (InferResult[]) for parameter and return type changes
+ * - Concepts (ConceptMap) for guard, error handling, and effect changes
+ * - New functions in the new version
+ */
+export declare function computeSemanticDiff(oldInferred: InferResult[], newInferred: InferResult[], oldConcepts: ConceptMap | undefined, newConcepts: ConceptMap | undefined, filePath: string): SemanticChange[];
+/**
+ * Compute semantic diff given old source string and new report data.
+ *
+ * This is the main entry point for the CLI — handles IR inference and
+ * concept extraction from both old and new source internally.
+ *
+ * @param oldSource - Source code from the base version
+ * @param newInferred - Inferred IR from the new version (from review pipeline)
+ * @param filePath - Relative or absolute file path
+ * @param newSource - New source code (used to extract concepts if provided)
+ */
+export declare function computeSemanticDiffFromSource(oldSource: string, newInferred: InferResult[], filePath: string, newSource?: string): SemanticChange[];
+/** Format semantic changes as a <kern-diff> section for LLM review. */
+export declare function formatSemanticDiff(changes: SemanticChange[], filePath: string): string;
+/** Convert semantic changes to ReviewFindings for inclusion in reports. */
+export declare function semanticChangesToFindings(changes: SemanticChange[]): import('./types.js').ReviewFinding[];