@kernlang/review 2.0.0

package/dist/llm-review.js

@@ -0,0 +1,197 @@
+/**
+ * LLM Review — structured prompt builder and response parser.
+ *
+ * Builds a KERN IR prompt with short aliases (N1, N2, ...) for LLM review.
+ * Parses strict JSON schema responses, validates nodeIds, rejects unknowns.
+ *
+ * Phase 4 of the review pipeline.
+ */
+import { createFingerprint } from './types.js';
+// ── Export KERN IR (v1 compat + v2 enhanced) ─────────────────────────────
+/**
+ * Export KERN IR with prompt aliases for AI review.
+ * v2: Includes nodeId aliases and handler bodies.
+ */
+export function exportKernIR(inferred, templateMatches) {
+    const lines = [];
+    lines.push('// KERN IR — inferred from TypeScript source');
+    lines.push('// Send this to AI for structural review (5x smaller than original TS)');
+    lines.push('');
+    for (const r of inferred) {
+        if (r.node.type === 'import')
+            continue; // skip imports for brevity
+        lines.push(`// [${r.promptAlias}] L${r.startLine}-${r.endLine} (${r.confidencePct}% confidence)`);
+        lines.push(serializeNode(r.node, ''));
+        lines.push('');
+    }
+    for (const t of templateMatches) {
+        if (t.suggestedKern) {
+            lines.push(`// L${t.startLine}-${t.endLine} — ${t.libraryName} (${t.confidencePct}%)`);
+            lines.push(t.suggestedKern);
+            lines.push('');
+        }
+    }
+    return lines.join('\n');
+}
+// ── LLM Prompt Builder ───────────────────────────────────────────────────
+/**
+ * Build a structured prompt with short aliases for LLM code review.
+ * Handler bodies are included so the LLM can review actual logic.
+ */
+export function buildLLMPrompt(inferred, templateMatches) {
+    const lines = [];
+    // Valid aliases list (for the LLM to reference)
+    const aliases = inferred
+        .filter(r => r.node.type !== 'import')
+        .map(r => r.promptAlias);
+    lines.push('Review this KERN IR. Return ONLY a JSON array of findings.');
+    lines.push(`Schema: [{"nodeAlias":"N3","severity":"warning","category":"structure","message":"...","evidence":"..."}]`);
+    lines.push('');
+    lines.push(`Valid aliases: ${aliases.join(', ')}`);
+    lines.push('Any alias not in this list will be rejected.');
+    lines.push('');
+    lines.push('Categories: bug, type, pattern, style, structure');
+    lines.push('Severities: error, warning, info');
+    lines.push('');
+    lines.push('KERN IR:');
+    for (const r of inferred) {
+        if (r.node.type === 'import')
+            continue;
+        lines.push(`[${r.promptAlias}] ${serializeNodeWithBody(r.node, '')}`);
+    }
+    for (const t of templateMatches) {
+        if (t.suggestedKern) {
+            lines.push(`// template: ${t.suggestedKern}`);
+        }
+    }
+    return lines.join('\n');
+}
+/**
+ * Parse strict JSON response from LLM, validate nodeIds, reject unknowns.
+ * Returns unified ReviewFinding[] mapped back to TS source spans.
+ */
+export function parseLLMResponse(response, inferred) {
+    // Build alias → InferResult lookup
+    const aliasMap = new Map();
+    for (const r of inferred) {
+        aliasMap.set(r.promptAlias, r);
+    }
+    const validAliases = new Set(aliasMap.keys());
+    // Extract JSON array from response (might be wrapped in markdown code blocks)
+    let jsonStr = response.trim();
+    // Strip markdown code fences
+    if (jsonStr.startsWith('```')) {
+        jsonStr = jsonStr.replace(/^```(?:json)?\s*\n?/, '').replace(/\n?```\s*$/, '');
+    }
+    let parsed;
+    try {
+        parsed = JSON.parse(jsonStr);
+    }
+    catch {
+        return [{
+                source: 'llm',
+                ruleId: 'parse-error',
+                severity: 'error',
+                category: 'bug',
+                message: `Failed to parse LLM response as JSON: ${jsonStr.substring(0, 100)}...`,
+                primarySpan: { file: '', startLine: 0, startCol: 0, endLine: 0, endCol: 0 },
+                fingerprint: createFingerprint('parse-error', 0, 0),
+            }];
+    }
+    if (!Array.isArray(parsed)) {
+        return [{
+                source: 'llm',
+                ruleId: 'parse-error',
+                severity: 'error',
+                category: 'bug',
+                message: 'LLM response is not a JSON array',
+                primarySpan: { file: '', startLine: 0, startCol: 0, endLine: 0, endCol: 0 },
+                fingerprint: createFingerprint('parse-error', 0, 1),
+            }];
+    }
+    const findings = [];
+    const validSeverities = new Set(['error', 'warning', 'info']);
+    const validCategories = new Set(['bug', 'type', 'pattern', 'style', 'structure']);
+    for (const item of parsed) {
+        // Validate nodeAlias
+        if (!item.nodeAlias || !validAliases.has(item.nodeAlias)) {
+            continue; // reject unknown aliases silently
+        }
+        // Validate severity and category
+        if (!validSeverities.has(item.severity))
+            continue;
+        if (!validCategories.has(item.category))
+            continue;
+        if (!item.message || typeof item.message !== 'string')
+            continue;
+        // Sanitize message: strip ANSI escape codes and control characters
+        const message = item.message
+            .replace(/\x1b\[[0-9;]*[a-zA-Z]/g, '') // ANSI escape sequences
+            .replace(/\x1b\][^\x07]*\x07/g, '') // OSC sequences (title bar injection)
+            .replace(/[\x00-\x08\x0b\x0c\x0e-\x1f]/g, ''); // control chars (keep \t \n \r)
+        const node = aliasMap.get(item.nodeAlias);
+        const primarySpan = node.sourceSpans[0] || {
+            file: '',
+            startLine: node.startLine,
+            startCol: 1,
+            endLine: node.endLine,
+            endCol: 1,
+        };
+        findings.push({
+            source: 'llm',
+            ruleId: `llm-${item.category}`,
+            severity: item.severity,
+            category: item.category,
+            message,
+            primarySpan,
+            nodeIds: [node.nodeId],
+            confidence: 0.7, // LLM findings get lower confidence
+            fingerprint: createFingerprint(`llm-${item.category}`, primarySpan.startLine, primarySpan.startCol),
+        });
+    }
+    return findings;
+}
+// ── Node Serialization ───────────────────────────────────────────────────
+function serializeNode(node, indent) {
+    const parts = [node.type];
+    if (node.props) {
+        for (const [k, v] of Object.entries(node.props)) {
+            if (k === 'code')
+                continue; // skip handler bodies for brevity in export mode
+            if (typeof v === 'string') {
+                parts.push(v.includes(' ') ? `${k}="${v}"` : `${k}=${v}`);
+            }
+        }
+    }
+    let result = indent + parts.join(' ');
+    if (node.children) {
+        for (const child of node.children) {
+            result += '\n' + serializeNode(child, indent + '  ');
+        }
+    }
+    return result;
+}
+function serializeNodeWithBody(node, indent) {
+    const parts = [node.type];
+    if (node.props) {
+        for (const [k, v] of Object.entries(node.props)) {
+            if (typeof v === 'string') {
+                if (k === 'code') {
+                    // Include handler bodies in LLM prompt (wrapped in <<<>>>)
+                    parts.push(`<<<\n${v}\n>>>`);
+                }
+                else {
+                    parts.push(v.includes(' ') ? `${k}="${v}"` : `${k}=${v}`);
+                }
+            }
+        }
+    }
+    let result = indent + parts.join(' ');
+    if (node.children) {
+        for (const child of node.children) {
+            result += '\n' + serializeNodeWithBody(child, indent + '  ');
+        }
+    }
+    return result;
+}
+//# sourceMappingURL=llm-review.js.map

package/dist/llm-review.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"llm-review.js","sourceRoot":"","sources":["../src/llm-review.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAE/C,4EAA4E;AAE5E;;;GAGG;AACH,MAAM,UAAU,YAAY,CAC1B,QAAuB,EACvB,eAAgC;IAEhC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;IAC3D,KAAK,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC;IACrF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS,CAAC,2BAA2B;QAEnE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,WAAW,MAAM,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,aAAa,eAAe,CAAC,CAAC;QAClG,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC;YACvF,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,4EAA4E;AAE5E;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC5B,QAAuB,EACvB,eAAgC;IAEhC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,gDAAgD;IAChD,MAAM,OAAO,GAAG,QAAQ;SACrB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;SACrC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;IACzE,KAAK,CAAC,IAAI,CAAC,2GAA2G,CAAC,CAAC;IACxH,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,kBAAkB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnD,KAAK,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;IAC3D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;IAC/D,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAC/C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAEvB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QAEvC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,KAAK,qBAAqB,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IACxE,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAYD;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAAgB,EAChB,QAAuB;IAEvB,mCAAmC;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAE9C,8EAA8E;IAC9E,IAAI,OAAO,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC9B,6BAA6B;IAC7B,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;IACjF,CAAC;IAED,IAAI,MAAoB,CAAC;IACzB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC;gBACN,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,aAAa;gBACrB,QAAQ,EAAE,OAAO;gBACjB,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,yCAAyC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK;gBAChF,WAAW,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;gBAC3E,WAAW,EAAE,iBAAiB,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;aACpD,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,OAAO,CAAC;gBACN,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,aAAa;gBACrB,QAAQ,EAAE,OAAO;gBACjB,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,kCAAkC;gBAC3C,WAAW,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE;gBAC3E,WAAW,EAAE,iBAAiB,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;aACpD,CAAC,CAAC;IACL,CAAC;IAED,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9D,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;IAElF,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,qBAAqB;QACrB,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,kCAAkC;QAC9C,CAAC;QAED,iCAAiC;QACjC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,SAAS;QAClD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,SAAS;QAClD,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ;YAAE,SAAS;QAEhE,mEAAmE;QACnE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO;aACzB,OAAO,CAAC,wBAAwB,EAAE,EAAE,CAAC,CAAC,wBAAwB;aAC9D,OAAO,CAAC,qBAAqB,EAAE,EAAE,CAAC,CAAK,sCAAsC;aAC7E,OAAO,CAAC,+BAA+B,EAAE,EAAE,CAAC,CAAC,CAAC,gCAAgC;QAEjF,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAE,CAAC;QAC3C,MAAM,WAAW,GAAe,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI;YACrD,IAAI,EAAE,EAAE;YACR,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,QAAQ,EAAE,CAAC;YACX,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,MAAM,EAAE,CAAC;SACV,CAAC;QAEF,QAAQ,CAAC,IAAI,CAAC;YACZ,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,OAAO,IAAI,CAAC,QAAQ,EAAE;YAC9B,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,OAAO;YACP,WAAW;YACX,OAAO,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;YACtB,UAAU,EAAE,GAAG,EAAE,oCAAoC;YACrD,WAAW,EAAE,iBAAiB,CAAC,OAAO,IAAI,CAAC,QAAQ,EAAE,EAAE,WAAW,CAAC,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC;SACpG,CAAC,CAAC;IACL,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4EAA4E;AAE5E,SAAS,aAAa,CAAC,IAAqC,EAAE,MAAc;IAC1E,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAChD,IAAI,CAAC,KAAK,MAAM;gBAAE,SAAS,CAAC,iDAAiD;YAC7E,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAC1B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,MAAM,GAAG,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,MAAM,IAAI,IAAI,GAAG,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAqC,EAAE,MAAc;IAClF,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAChD,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAC1B,IAAI,CAAC,KAAK,MAAM,EAAE,CAAC;oBACjB,2DAA2D;oBAC3D,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;gBAC/B,CAAC;qBAAM,CAAC;oBACN,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,MAAM,GAAG,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,MAAM,IAAI,IAAI,GAAG,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/quality-rules.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Quality Rules — delegates to rule layers based on config.target.
+ *
+ * v2: Thin orchestrator. Actual rules live in ./rules/*.ts
+ */
+import type { SourceFile } from 'ts-morph';
+import type { InferResult, TemplateMatch, ReviewConfig, ReviewFinding } from './types.js';
+/**
+ * Run all active quality rules against a source file.
+ * Returns unified ReviewFinding[] sorted by severity then line.
+ */
+export declare function runQualityRules(sourceFile: SourceFile, inferred: InferResult[], templateMatches: TemplateMatch[], config?: ReviewConfig): ReviewFinding[];

package/dist/quality-rules.js

@@ -0,0 +1,28 @@
+/**
+ * Quality Rules — delegates to rule layers based on config.target.
+ *
+ * v2: Thin orchestrator. Actual rules live in ./rules/*.ts
+ */
+import { getActiveRules } from './rules/index.js';
+/**
+ * Run all active quality rules against a source file.
+ * Returns unified ReviewFinding[] sorted by severity then line.
+ */
+export function runQualityRules(sourceFile, inferred, templateMatches, config) {
+    const filePath = sourceFile.getFilePath() || 'input.ts';
+    const rules = getActiveRules(config?.target);
+    const findings = [];
+    for (const rule of rules) {
+        findings.push(...rule({ sourceFile, inferred, templateMatches, config, filePath }));
+    }
+    // Sort by severity (error > warning > info), then by line
+    const severityOrder = { error: 0, warning: 1, info: 2 };
+    findings.sort((a, b) => {
+        const sd = severityOrder[a.severity] - severityOrder[b.severity];
+        if (sd !== 0)
+            return sd;
+        return a.primarySpan.startLine - b.primarySpan.startLine;
+    });
+    return findings;
+}
+//# sourceMappingURL=quality-rules.js.map

package/dist/quality-rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"quality-rules.js","sourceRoot":"","sources":["../src/quality-rules.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,UAAsB,EACtB,QAAuB,EACvB,eAAgC,EAChC,MAAqB;IAErB,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC;IACxD,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAE7C,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;IACtF,CAAC;IAED,0DAA0D;IAC1D,MAAM,aAAa,GAA2B,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IAChF,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACrB,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACjE,IAAI,EAAE,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACxB,OAAO,CAAC,CAAC,WAAW,CAAC,SAAS,GAAG,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/reporter.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Reporter — formats review reports for CLI output, JSON, and enforcement.
+ *
+ * v2: Unified multi-source report with source tags [kern] [eslint] [tsc] [llm].
+ *     Dedup across sources. Fingerprint-based cross-run stability.
+ */
+import type { ReviewReport, ReviewStats, ReviewFinding, InferResult, TemplateMatch, EnforceResult, ReviewConfig } from './types.js';
+export declare function calculateStats(inferred: InferResult[], templateMatches: TemplateMatch[], findings: ReviewFinding[], totalLines: number): ReviewStats;
+/** Deduplicate findings: same line + similar message from different sources → collapse */
+export declare function dedup(findings: ReviewFinding[]): ReviewFinding[];
+export declare function checkEnforcement(report: ReviewReport, config: ReviewConfig): EnforceResult;
+export declare function formatReport(report: ReviewReport): string;
+export declare function formatEnforcement(result: EnforceResult): string;
+export declare function formatReportJSON(report: ReviewReport): string;
+export declare function formatSummary(reports: ReviewReport[]): string;

package/dist/reporter.js

@@ -0,0 +1,217 @@
+/**
+ * Reporter — formats review reports for CLI output, JSON, and enforcement.
+ *
+ * v2: Unified multi-source report with source tags [kern] [eslint] [tsc] [llm].
+ *     Dedup across sources. Fingerprint-based cross-run stability.
+ */
+// ── Stats Calculation ────────────────────────────────────────────────────
+export function calculateStats(inferred, templateMatches, findings, totalLines) {
+    const coveredLineSet = new Set();
+    for (const r of inferred) {
+        for (let i = r.startLine; i <= r.endLine; i++) {
+            coveredLineSet.add(i);
+        }
+    }
+    // Also count template match coverage (the library code bodies)
+    for (const t of templateMatches) {
+        if (t.suggestedKern) {
+            for (let i = t.startLine; i <= t.endLine; i++) {
+                coveredLineSet.add(i);
+            }
+        }
+    }
+    const coveredLines = coveredLineSet.size;
+    const coveragePct = totalLines > 0 ? Math.round((coveredLines / totalLines) * 100) : 0;
+    let totalTsTokens = inferred.reduce((sum, r) => sum + r.tsTokens, 0);
+    let totalKernTokens = inferred.reduce((sum, r) => sum + r.kernTokens, 0);
+    // Add template match token savings
+    for (const t of templateMatches) {
+        if (t.suggestedKern && t.kernTokens && t.tsTokens) {
+            totalTsTokens += t.tsTokens;
+            totalKernTokens += t.kernTokens;
+        }
+    }
+    const reductionPct = totalTsTokens > 0
+        ? Math.round((1 - totalKernTokens / totalTsTokens) * 100)
+        : 0;
+    return {
+        totalLines,
+        coveredLines,
+        coveragePct,
+        totalTsTokens,
+        totalKernTokens,
+        reductionPct,
+        constructCount: inferred.length + templateMatches.filter(t => t.suggestedKern).length,
+    };
+}
+// ── Dedup ────────────────────────────────────────────────────────────────
+/** Deduplicate findings: same line + similar message from different sources → collapse */
+export function dedup(findings) {
+    const seen = new Map();
+    for (const f of findings) {
+        // Dedup key: line + message prefix (collapses same message from different sources,
+        // but keeps different findings at the same line separate)
+        const key = `${f.primarySpan.startLine}:${f.message.substring(0, 60)}`;
+        const existing = seen.get(key);
+        if (existing) {
+            // Keep the higher-severity finding
+            const order = { error: 0, warning: 1, info: 2 };
+            if (order[f.severity] < order[existing.severity]) {
+                seen.set(key, f);
+            }
+        }
+        else {
+            seen.set(key, f);
+        }
+    }
+    return [...seen.values()];
+}
+// ── Enforcement ──────────────────────────────────────────────────────────
+export function checkEnforcement(report, config) {
+    const minCoverage = config.minCoverage ?? 0;
+    const actualCoverage = report.stats.coveragePct;
+    const templateViolations = [];
+    if (config.enforceTemplates) {
+        const registeredSet = new Set(config.registeredTemplates || []);
+        for (const t of report.templateMatches) {
+            if (registeredSet.has(t.templateName) && !t.suggestedKern) {
+                templateViolations.push(`${t.libraryName} pattern detected but not using KERN template '${t.templateName}'`);
+            }
+        }
+    }
+    const passed = actualCoverage >= minCoverage && templateViolations.length === 0;
+    return { passed, minCoverage, actualCoverage, templateViolations };
+}
+// ── CLI Format ───────────────────────────────────────────────────────────
+const SOURCE_TAGS = {
+    kern: '[kern]',
+    eslint: '[eslint]',
+    tsc: '[tsc]',
+    llm: '[llm]',
+};
+export function formatReport(report) {
+    const lines = [];
+    lines.push(`  @kernlang/review — analyzing ${report.filePath}`);
+    lines.push('');
+    if (report.inferred.length > 0) {
+        lines.push(`  KERN-expressible (${report.inferred.length} constructs):`);
+        for (const r of report.inferred) {
+            const loc = r.startLine === r.endLine
+                ? `L${r.startLine}`
+                : `L${r.startLine}-${r.endLine}`;
+            const padLoc = loc.padEnd(12);
+            const padSummary = r.summary.substring(0, 50).padEnd(50);
+            const conf = `(${r.confidencePct}%)`;
+            lines.push(`    ${padLoc}${padSummary} ${conf}`);
+        }
+        lines.push('');
+    }
+    if (report.templateMatches.length > 0) {
+        const withSuggestions = report.templateMatches.filter(t => t.suggestedKern);
+        const withoutSuggestions = report.templateMatches.filter(t => !t.suggestedKern);
+        if (withSuggestions.length > 0) {
+            lines.push(`  Suggested .kern rewrites (${withSuggestions.length}):`);
+            for (const t of withSuggestions) {
+                const savings = t.tsTokens && t.kernTokens
+                    ? ` (${t.tsTokens} → ${t.kernTokens} tokens)`
+                    : '';
+                lines.push(`    ${t.templateName.padEnd(25)} → ${t.suggestedKern}${savings}`);
+            }
+            lines.push('');
+        }
+        if (withoutSuggestions.length > 0) {
+            lines.push(`  Template matches (${withoutSuggestions.length}):`);
+            for (const t of withoutSuggestions) {
+                lines.push(`    ${t.templateName.padEnd(25)} ${t.libraryName.padEnd(20)} (${t.confidencePct}%)`);
+            }
+            lines.push('');
+        }
+    }
+    // Unified findings — sorted by severity, with source tags
+    const allFindings = dedup(report.findings);
+    if (allFindings.length > 0) {
+        const errors = allFindings.filter(f => f.severity === 'error');
+        const warnings = allFindings.filter(f => f.severity === 'warning');
+        const infos = allFindings.filter(f => f.severity === 'info');
+        if (errors.length > 0) {
+            lines.push(`  BUGS (${errors.length}):`);
+            for (const f of errors) {
+                const tag = SOURCE_TAGS[f.source] || '';
+                lines.push(`    ! L${f.primarySpan.startLine}: ${tag} [${f.ruleId}] ${f.message}`);
+                if (f.suggestion)
+                    lines.push(`      Fix: ${f.suggestion}`);
+            }
+            lines.push('');
+        }
+        if (warnings.length > 0) {
+            lines.push(`  WARNINGS (${warnings.length}):`);
+            for (const f of warnings) {
+                const tag = SOURCE_TAGS[f.source] || '';
+                lines.push(`    ~ L${f.primarySpan.startLine}: ${tag} [${f.ruleId}] ${f.message}`);
+                if (f.suggestion)
+                    lines.push(`      Suggestion: ${f.suggestion}`);
+            }
+            lines.push('');
+        }
+        if (infos.length > 0) {
+            lines.push(`  INFO (${infos.length}):`);
+            for (const f of infos) {
+                const tag = SOURCE_TAGS[f.source] || '';
+                lines.push(`    - L${f.primarySpan.startLine}: ${tag} [${f.ruleId}] ${f.message}`);
+            }
+            lines.push('');
+        }
+    }
+    const s = report.stats;
+    lines.push(`  Summary: ${s.coveragePct}% KERN coverage, ~${s.totalTsTokens} → ${s.totalKernTokens} KERN tokens (${s.reductionPct}% reduction)`);
+    return lines.join('\n');
+}
+// ── Enforcement Format ───────────────────────────────────────────────────
+export function formatEnforcement(result) {
+    const lines = [];
+    if (result.passed) {
+        lines.push(`  Enforcement: PASS (${result.actualCoverage}% >= ${result.minCoverage}% min)`);
+    }
+    else {
+        lines.push(`  Enforcement: FAIL`);
+        if (result.actualCoverage < result.minCoverage) {
+            lines.push(`    Coverage ${result.actualCoverage}% < ${result.minCoverage}% minimum`);
+        }
+        for (const v of result.templateViolations) {
+            lines.push(`    Template: ${v}`);
+        }
+    }
+    return lines.join('\n');
+}
+// ── JSON Format ──────────────────────────────────────────────────────────
+export function formatReportJSON(report) {
+    return JSON.stringify(report, null, 2);
+}
+// ── Multi-file Summary ───────────────────────────────────────────────────
+export function formatSummary(reports) {
+    const lines = [];
+    let totalConstructs = 0;
+    let totalTsTokens = 0;
+    let totalKernTokens = 0;
+    let totalLines = 0;
+    let coveredLines = 0;
+    let totalFindings = 0;
+    for (const r of reports) {
+        totalConstructs += r.stats.constructCount;
+        totalTsTokens += r.stats.totalTsTokens;
+        totalKernTokens += r.stats.totalKernTokens;
+        totalLines += r.stats.totalLines;
+        coveredLines += r.stats.coveredLines;
+        totalFindings += r.findings.length;
+    }
+    const coveragePct = totalLines > 0 ? Math.round((coveredLines / totalLines) * 100) : 0;
+    const reductionPct = totalTsTokens > 0 ? Math.round((1 - totalKernTokens / totalTsTokens) * 100) : 0;
+    lines.push(`  @kernlang/review — ${reports.length} files analyzed`);
+    lines.push('');
+    lines.push(`  Total constructs: ${totalConstructs}`);
+    lines.push(`  Coverage:         ${coveragePct}%`);
+    lines.push(`  Token reduction:  ${reductionPct}% (~${totalTsTokens} → ${totalKernTokens} KERN tokens)`);
+    lines.push(`  Findings:         ${totalFindings}`);
+    return lines.join('\n');
+}
+//# sourceMappingURL=reporter.js.map

package/dist/reporter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reporter.js","sourceRoot":"","sources":["../src/reporter.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,4EAA4E;AAE5E,MAAM,UAAU,cAAc,CAC5B,QAAuB,EACvB,eAAgC,EAChC,QAAyB,EACzB,UAAkB;IAElB,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,+DAA+D;IAC/D,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;YACpB,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC9C,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,cAAc,CAAC,IAAI,CAAC;IACzC,MAAM,WAAW,GAAG,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,YAAY,GAAG,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvF,IAAI,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IACrE,IAAI,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAEzE,mCAAmC;IACnC,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAClD,aAAa,IAAI,CAAC,CAAC,QAAQ,CAAC;YAC5B,eAAe,IAAI,CAAC,CAAC,UAAU,CAAC;QAClC,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,aAAa,GAAG,CAAC;QACpC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,eAAe,GAAG,aAAa,CAAC,GAAG,GAAG,CAAC;QACzD,CAAC,CAAC,CAAC,CAAC;IAEN,OAAO;QACL,UAAU;QACV,YAAY;QACZ,WAAW;QACX,aAAa;QACb,eAAe;QACf,YAAY;QACZ,cAAc,EAAE,QAAQ,CAAC,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,MAAM;KACtF,CAAC;AACJ,CAAC;AAED,4EAA4E;AAE5E,0FAA0F;AAC1F,MAAM,UAAU,KAAK,CAAC,QAAyB;IAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAyB,CAAC;IAE9C,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,mFAAmF;QACnF,0DAA0D;QAC1D,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;QACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAE/B,IAAI,QAAQ,EAAE,CAAC;YACb,mCAAmC;YACnC,MAAM,KAAK,GAA2B,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YACxE,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACjD,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AAC5B,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,gBAAgB,CAC9B,MAAoB,EACpB,MAAoB;IAEpB,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,IAAI,CAAC,CAAC;IAC5C,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC;IAChD,MAAM,kBAAkB,GAAa,EAAE,CAAC;IAExC,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC5B,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC;QAChE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;YACvC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;gBAC1D,kBAAkB,CAAC,IAAI,CACrB,GAAG,CAAC,CAAC,WAAW,kDAAkD,CAAC,CAAC,YAAY,GAAG,CACpF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,cAAc,IAAI,WAAW,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,CAAC;IAEhF,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAAC;AACrE,CAAC;AAED,4EAA4E;AAE5E,MAAM,WAAW,GAA2B;IAC1C,IAAI,EAAE,QAAQ;IACd,MAAM,EAAE,UAAU;IAClB,GAAG,EAAE,OAAO;IACZ,GAAG,EAAE,OAAO;CACb,CAAC;AAEF,MAAM,UAAU,YAAY,CAAC,MAAoB;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,kCAAkC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,uBAAuB,MAAM,CAAC,QAAQ,CAAC,MAAM,eAAe,CAAC,CAAC;QACzE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,OAAO;gBACnC,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE;gBACnB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC9B,MAAM,UAAU,GAAG,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACzD,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,aAAa,IAAI,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,GAAG,UAAU,IAAI,IAAI,EAAE,CAAC,CAAC;QACnD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,eAAe,GAAG,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;QAC5E,MAAM,kBAAkB,GAAG,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;QAEhF,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,+BAA+B,eAAe,CAAC,MAAM,IAAI,CAAC,CAAC;YACtE,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;gBAChC,MAAM,OAAO,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,UAAU;oBACxC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,UAAU,UAAU;oBAC7C,CAAC,CAAC,EAAE,CAAC;gBACP,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,aAAa,GAAG,OAAO,EAAE,CAAC,CAAC;YAChF,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;QAED,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,uBAAuB,kBAAkB,CAAC,MAAM,IAAI,CAAC,CAAC;YACjE,KAAK,MAAM,CAAC,IAAI,kBAAkB,EAAE,CAAC;gBACnC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC;YACnG,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,0DAA0D;IAC1D,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;QACnE,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;QAE7D,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;YACzC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,WAAW,CAAC,SAAS,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;gBACnF,IAAI,CAAC,CAAC,UAAU;oBAAE,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;YAC7D,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;QAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,eAAe,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC;YAC/C,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,WAAW,CAAC,SAAS,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;gBACnF,IAAI,CAAC,CAAC,UAAU;oBAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;YACpE,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACtB,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,WAAW,CAAC,SAAS,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACrF,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,WAAW,qBAAqB,CAAC,CAAC,aAAa,MAAM,CAAC,CAAC,eAAe,iBAAiB,CAAC,CAAC,YAAY,cAAc,CAAC,CAAC;IAEhJ,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,iBAAiB,CAAC,MAAqB;IACrD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,cAAc,QAAQ,MAAM,CAAC,WAAW,QAAQ,CAAC,CAAC;IAC9F,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAClC,IAAI,MAAM,CAAC,cAAc,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,gBAAgB,MAAM,CAAC,cAAc,OAAO,MAAM,CAAC,WAAW,WAAW,CAAC,CAAC;QACxF,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;YAC1C,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,gBAAgB,CAAC,MAAoB;IACnD,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,aAAa,CAAC,OAAuB;IACnD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,aAAa,GAAG,CAAC,CAAC;IAEtB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,eAAe,IAAI,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;QAC1C,aAAa,IAAI,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;QACvC,eAAe,IAAI,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC;QAC3C,UAAU,IAAI,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC;QACjC,YAAY,IAAI,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC;QACrC,aAAa,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;IACrC,CAAC;IAED,MAAM,WAAW,GAAG,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,YAAY,GAAG,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,MAAM,YAAY,GAAG,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,eAAe,GAAG,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAErG,KAAK,CAAC,IAAI,CAAC,wBAAwB,OAAO,CAAC,MAAM,iBAAiB,CAAC,CAAC;IACpE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,uBAAuB,eAAe,EAAE,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,uBAAuB,WAAW,GAAG,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,uBAAuB,YAAY,OAAO,aAAa,MAAM,eAAe,eAAe,CAAC,CAAC;IACxG,KAAK,CAAC,IAAI,CAAC,uBAAuB,aAAa,EAAE,CAAC,CAAC;IAEnD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/rules/base.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Base review rules — always active, universal TS/KERN rules.
+ *
+ * These rules leverage the KERN IR for structural analysis.
+ * AST-level rules that duplicate ESLint are excluded.
+ */
+import type { ReviewFinding, RuleContext } from '../types.js';
+declare function floatingPromise(ctx: RuleContext): ReviewFinding[];
+export declare const baseRules: (typeof floatingPromise)[];
+export {};