@kernlang/review 2.0.0

package/dist/differ.js

@@ -0,0 +1,132 @@
+/**
+ * Differ — compares original TS with recompiled TS from inferred KERN nodes.
+ *
+ * v2: Returns unified ReviewFinding[] instead of DiffFinding[].
+ */
+import { generateCoreNode, isCoreNode } from '@kernlang/core';
+import { createFingerprint } from './types.js';
+function span(file, line, col = 1) {
+    return { file, startLine: line, startCol: col, endLine: line, endCol: col };
+}
+/**
+ * Perform a structural diff between original source and what KERN would generate.
+ * Returns unified ReviewFinding[] tagged with source='kern'.
+ */
+export function structuralDiff(originalSource, inferred, filePath = 'input.ts') {
+    const findings = [];
+    const originalLines = originalSource.split('\n');
+    const totalLines = originalLines.length;
+    // Track which lines are covered by inferred constructs
+    const coveredLines = new Set();
+    for (const r of inferred) {
+        for (let i = r.startLine; i <= r.endLine; i++) {
+            coveredLines.add(i);
+        }
+    }
+    // Find uncovered non-trivial lines (potential dead code or non-KERN patterns)
+    let consecutiveUncovered = 0;
+    let uncoveredStart = 0;
+    for (let i = 1; i <= totalLines; i++) {
+        const line = originalLines[i - 1];
+        const trimmed = line.trim();
+        const isTrivial = !trimmed ||
+            trimmed.startsWith('//') ||
+            trimmed.startsWith('/*') ||
+            trimmed.startsWith('*') ||
+            trimmed === '*/';
+        if (!coveredLines.has(i) && !isTrivial) {
+            if (consecutiveUncovered === 0)
+                uncoveredStart = i;
+            consecutiveUncovered++;
+        }
+        else {
+            if (consecutiveUncovered >= 3) {
+                findings.push({
+                    source: 'kern',
+                    ruleId: 'extra-code',
+                    severity: 'info',
+                    category: 'structure',
+                    message: `${consecutiveUncovered} uncovered lines (L${uncoveredStart}-${uncoveredStart + consecutiveUncovered - 1}) — not expressible as KERN`,
+                    primarySpan: span(filePath, uncoveredStart),
+                    fingerprint: createFingerprint('extra-code', uncoveredStart, 1),
+                });
+            }
+            consecutiveUncovered = 0;
+        }
+    }
+    // Flush remaining
+    if (consecutiveUncovered >= 3) {
+        findings.push({
+            source: 'kern',
+            ruleId: 'extra-code',
+            severity: 'info',
+            category: 'structure',
+            message: `${consecutiveUncovered} uncovered lines (L${uncoveredStart}-${uncoveredStart + consecutiveUncovered - 1}) — not expressible as KERN`,
+            primarySpan: span(filePath, uncoveredStart),
+            fingerprint: createFingerprint('extra-code', uncoveredStart, 1),
+        });
+    }
+    // Check for inconsistent patterns in inferred constructs
+    for (const r of inferred) {
+        if (r.node.type === 'interface' && r.node.children) {
+            const fields = r.node.children.filter(c => c.type === 'field');
+            const optionalFields = fields.filter(f => f.props?.optional === 'true');
+            if (fields.length > 5 && optionalFields.length === 0) {
+                findings.push({
+                    source: 'kern',
+                    ruleId: 'inconsistent-pattern',
+                    severity: 'info',
+                    category: 'pattern',
+                    message: `Interface ${r.node.props?.name} has ${fields.length} fields but none optional — consider which fields are truly required`,
+                    primarySpan: span(filePath, r.startLine),
+                    fingerprint: createFingerprint('inconsistent-pattern', r.startLine, 1),
+                    nodeIds: [r.nodeId],
+                });
+            }
+        }
+        if (r.node.type === 'fn') {
+            if (!r.node.props?.returns) {
+                findings.push({
+                    source: 'kern',
+                    ruleId: 'missing-type',
+                    severity: 'warning',
+                    category: 'type',
+                    message: `Function ${r.node.props?.name} has no explicit return type`,
+                    primarySpan: span(filePath, r.startLine),
+                    fingerprint: createFingerprint('missing-type', r.startLine, 1),
+                    nodeIds: [r.nodeId],
+                });
+            }
+        }
+    }
+    // Roundtrip comparison: recompile inferred nodes and compare
+    for (const r of inferred) {
+        if (!isCoreNode(r.node.type))
+            continue;
+        try {
+            const recompiled = generateCoreNode(r.node);
+            if (recompiled.length === 0)
+                continue;
+            const originalLineCount = r.endLine - r.startLine + 1;
+            const recompiledLineCount = recompiled.length;
+            const delta = Math.abs(originalLineCount - recompiledLineCount);
+            if (delta > originalLineCount * 0.5 && originalLineCount > 5) {
+                findings.push({
+                    source: 'kern',
+                    ruleId: 'style-difference',
+                    severity: 'info',
+                    category: 'style',
+                    message: `${r.node.props?.name}: roundtrip diff — original ${originalLineCount} lines vs recompiled ${recompiledLineCount} lines`,
+                    primarySpan: span(filePath, r.startLine),
+                    fingerprint: createFingerprint('style-difference', r.startLine, 1),
+                    nodeIds: [r.nodeId],
+                });
+            }
+        }
+        catch {
+            // Recompilation failed — the inference was probably incomplete
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=differ.js.map

package/dist/differ.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"differ.js","sourceRoot":"","sources":["../src/differ.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAE9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAE/C,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;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC5B,cAAsB,EACtB,QAAuB,EACvB,QAAQ,GAAG,UAAU;IAErB,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,aAAa,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC;IAExC,uDAAuD;IACvD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,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,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,8EAA8E;IAC9E,IAAI,oBAAoB,GAAG,CAAC,CAAC;IAC7B,IAAI,cAAc,GAAG,CAAC,CAAC;IAEvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAE5B,MAAM,SAAS,GAAG,CAAC,OAAO;YACxB,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;YACxB,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;YACxB,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;YACvB,OAAO,KAAK,IAAI,CAAC;QAEnB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YACvC,IAAI,oBAAoB,KAAK,CAAC;gBAAE,cAAc,GAAG,CAAC,CAAC;YACnD,oBAAoB,EAAE,CAAC;QACzB,CAAC;aAAM,CAAC;YACN,IAAI,oBAAoB,IAAI,CAAC,EAAE,CAAC;gBAC9B,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,MAAM;oBACd,MAAM,EAAE,YAAY;oBACpB,QAAQ,EAAE,MAAM;oBAChB,QAAQ,EAAE,WAAW;oBACrB,OAAO,EAAE,GAAG,oBAAoB,sBAAsB,cAAc,IAAI,cAAc,GAAG,oBAAoB,GAAG,CAAC,6BAA6B;oBAC9I,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,cAAc,CAAC;oBAC3C,WAAW,EAAE,iBAAiB,CAAC,YAAY,EAAE,cAAc,EAAE,CAAC,CAAC;iBAChE,CAAC,CAAC;YACL,CAAC;YACD,oBAAoB,GAAG,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,kBAAkB;IAClB,IAAI,oBAAoB,IAAI,CAAC,EAAE,CAAC;QAC9B,QAAQ,CAAC,IAAI,CAAC;YACZ,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,YAAY;YACpB,QAAQ,EAAE,MAAM;YAChB,QAAQ,EAAE,WAAW;YACrB,OAAO,EAAE,GAAG,oBAAoB,sBAAsB,cAAc,IAAI,cAAc,GAAG,oBAAoB,GAAG,CAAC,6BAA6B;YAC9I,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,cAAc,CAAC;YAC3C,WAAW,EAAE,iBAAiB,CAAC,YAAY,EAAE,cAAc,EAAE,CAAC,CAAC;SAChE,CAAC,CAAC;IACL,CAAC;IAED,yDAAyD;IACzD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnD,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;YAC/D,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,KAAK,MAAM,CAAC,CAAC;YACxE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACrD,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,MAAM;oBACd,MAAM,EAAE,sBAAsB;oBAC9B,QAAQ,EAAE,MAAM;oBAChB,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,QAAQ,MAAM,CAAC,MAAM,sEAAsE;oBACnI,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC;oBACxC,WAAW,EAAE,iBAAiB,CAAC,sBAAsB,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;oBACtE,OAAO,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;iBACpB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC;gBAC3B,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,MAAM;oBACd,MAAM,EAAE,cAAc;oBACtB,QAAQ,EAAE,SAAS;oBACnB,QAAQ,EAAE,MAAM;oBAChB,OAAO,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,8BAA8B;oBACrE,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC;oBACxC,WAAW,EAAE,iBAAiB,CAAC,cAAc,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;oBAC9D,OAAO,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;iBACpB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,6DAA6D;IAC7D,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAEvC,IAAI,CAAC;YACH,MAAM,UAAU,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAEtC,MAAM,iBAAiB,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;YACtD,MAAM,mBAAmB,GAAG,UAAU,CAAC,MAAM,CAAC;YAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,iBAAiB,GAAG,mBAAmB,CAAC,CAAC;YAEhE,IAAI,KAAK,GAAG,iBAAiB,GAAG,GAAG,IAAI,iBAAiB,GAAG,CAAC,EAAE,CAAC;gBAC7D,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,MAAM;oBACd,MAAM,EAAE,kBAAkB;oBAC1B,QAAQ,EAAE,MAAM;oBAChB,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,+BAA+B,iBAAiB,wBAAwB,mBAAmB,QAAQ;oBACjI,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC;oBACxC,WAAW,EAAE,iBAAiB,CAAC,kBAAkB,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;oBAClE,OAAO,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;iBACpB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,+DAA+D;QACjE,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/external-tools.d.ts

@@ -0,0 +1,32 @@
+/**
+ * External Tools — ESLint Node API + ts-morph diagnostics integration.
+ *
+ * Uses Node APIs (not child processes). Batched per tsconfig.
+ * ESLint is an optional peer dependency — gracefully degrades if not available.
+ *
+ * Phase 3 of the review pipeline.
+ */
+import type { Project } from 'ts-morph';
+import type { InferResult, ReviewFinding } from './types.js';
+/**
+ * Run ESLint on given file paths using the Node API.
+ * Returns normalized ReviewFinding[] with source='eslint'.
+ * Returns empty array if ESLint is not installed.
+ */
+export declare function runESLint(filePaths: string[], cwd: string): Promise<ReviewFinding[]>;
+/**
+ * Run TypeScript compiler diagnostics using ts-morph's existing Project.
+ * Reuses the Project already created by the inferrer — no extra compilation.
+ */
+export declare function runTSCDiagnostics(project: Project): ReviewFinding[];
+/**
+ * Run TypeScript compiler diagnostics from file paths (no pre-existing Project).
+ * Creates a real-filesystem Project, adds files, runs diagnostics.
+ * Used by the CLI --lint path where only file paths are available.
+ */
+export declare function runTSCDiagnosticsFromPaths(filePaths: string[]): ReviewFinding[];
+/**
+ * For each external finding, find the inferred node whose sourceSpan contains it.
+ * Attaches nodeId to the finding for cross-referencing.
+ */
+export declare function linkToNodes(findings: ReviewFinding[], inferred: InferResult[]): ReviewFinding[];

package/dist/external-tools.js

@@ -0,0 +1,173 @@
+/**
+ * External Tools — ESLint Node API + ts-morph diagnostics integration.
+ *
+ * Uses Node APIs (not child processes). Batched per tsconfig.
+ * ESLint is an optional peer dependency — gracefully degrades if not available.
+ *
+ * Phase 3 of the review pipeline.
+ */
+import { createFingerprint } from './types.js';
+import { createProject } from './inferrer.js';
+// ── ESLint via Node API ──────────────────────────────────────────────────
+/**
+ * Run ESLint on given file paths using the Node API.
+ * Returns normalized ReviewFinding[] with source='eslint'.
+ * Returns empty array if ESLint is not installed.
+ */
+export async function runESLint(filePaths, cwd) {
+    try {
+        // Dynamic import — ESLint is an optional peer dep
+        const eslintModuleName = 'eslint';
+        const eslintModule = await import(eslintModuleName);
+        const ESLint = eslintModule.ESLint || eslintModule.default?.ESLint;
+        if (!ESLint)
+            return [];
+        const eslint = new ESLint({ cwd });
+        const results = await eslint.lintFiles(filePaths);
+        const findings = [];
+        for (const result of results) {
+            for (const msg of result.messages) {
+                const severity = msg.severity === 2 ? 'error' : msg.severity === 1 ? 'warning' : 'info';
+                const primarySpan = {
+                    file: result.filePath,
+                    startLine: msg.line,
+                    startCol: msg.column,
+                    endLine: msg.endLine ?? msg.line,
+                    endCol: msg.endColumn ?? msg.column,
+                };
+                findings.push({
+                    source: 'eslint',
+                    ruleId: msg.ruleId || 'eslint-unknown',
+                    severity,
+                    category: categorizeESLintRule(msg.ruleId || ''),
+                    message: msg.message,
+                    primarySpan,
+                    suggestion: msg.fix ? 'Auto-fixable' : undefined,
+                    fingerprint: createFingerprint(msg.ruleId || 'eslint', msg.line, msg.column),
+                });
+            }
+        }
+        return findings;
+    }
+    catch {
+        // ESLint not installed or failed to load
+        return [];
+    }
+}
+/**
+ * Map ESLint rule IDs to ReviewFinding categories.
+ */
+function categorizeESLintRule(ruleId) {
+    if (ruleId.includes('no-unused') || ruleId.includes('prefer-'))
+        return 'style';
+    if (ruleId.includes('no-undef') || ruleId.includes('type'))
+        return 'type';
+    if (ruleId.includes('security') || ruleId.includes('injection'))
+        return 'bug';
+    if (ruleId.includes('import') || ruleId.includes('module'))
+        return 'structure';
+    return 'pattern';
+}
+// ── tsc Diagnostics via ts-morph ─────────────────────────────────────────
+/**
+ * Run TypeScript compiler diagnostics using ts-morph's existing Project.
+ * Reuses the Project already created by the inferrer — no extra compilation.
+ */
+export function runTSCDiagnostics(project) {
+    const findings = [];
+    try {
+        const diagnostics = project.getPreEmitDiagnostics();
+        for (const diag of diagnostics) {
+            const sourceFile = diag.getSourceFile();
+            if (!sourceFile)
+                continue;
+            const filePath = sourceFile.getFilePath();
+            const start = diag.getStart();
+            const length = diag.getLength();
+            let startLine = 1;
+            let startCol = 1;
+            let endLine = 1;
+            let endCol = 1;
+            if (start !== undefined) {
+                const startPos = sourceFile.getLineAndColumnAtPos(start);
+                startLine = startPos.line;
+                startCol = startPos.column;
+                if (length !== undefined) {
+                    const endPos = sourceFile.getLineAndColumnAtPos(start + length);
+                    endLine = endPos.line;
+                    endCol = endPos.column;
+                }
+                else {
+                    endLine = startLine;
+                    endCol = startCol;
+                }
+            }
+            const category = diag.getCategory();
+            const severity = category === 1 /* Error */ ? 'error' :
+                category === 0 /* Warning */ ? 'warning' : 'info';
+            const code = diag.getCode();
+            const message = diag.getMessageText();
+            const messageStr = typeof message === 'string' ? message : message.getMessageText();
+            findings.push({
+                source: 'tsc',
+                ruleId: `ts${code}`,
+                severity,
+                category: 'type',
+                message: messageStr,
+                primarySpan: {
+                    file: filePath,
+                    startLine,
+                    startCol,
+                    endLine,
+                    endCol,
+                },
+                fingerprint: createFingerprint(`ts${code}`, startLine, startCol),
+            });
+        }
+    }
+    catch {
+        // Diagnostics collection failed — skip
+    }
+    return findings;
+}
+// ── tsc Diagnostics from file paths ───────────────────────────────────
+/**
+ * Run TypeScript compiler diagnostics from file paths (no pre-existing Project).
+ * Creates a real-filesystem Project, adds files, runs diagnostics.
+ * Used by the CLI --lint path where only file paths are available.
+ */
+export function runTSCDiagnosticsFromPaths(filePaths) {
+    if (filePaths.length === 0)
+        return [];
+    try {
+        const project = createProject();
+        for (const fp of filePaths) {
+            try {
+                project.addSourceFileAtPath(fp);
+            }
+            catch { /* skip unreadable files */ }
+        }
+        return runTSCDiagnostics(project);
+    }
+    catch {
+        return [];
+    }
+}
+// ── Link External Findings to KERN NodeIds ───────────────────────────────
+/**
+ * For each external finding, find the inferred node whose sourceSpan contains it.
+ * Attaches nodeId to the finding for cross-referencing.
+ */
+export function linkToNodes(findings, inferred) {
+    for (const f of findings) {
+        if (f.nodeIds && f.nodeIds.length > 0)
+            continue; // already linked
+        const line = f.primarySpan.startLine;
+        const matchingNode = inferred.find(r => r.startLine <= line && r.endLine >= line);
+        if (matchingNode) {
+            f.nodeIds = [matchingNode.nodeId];
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=external-tools.js.map

package/dist/external-tools.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"external-tools.js","sourceRoot":"","sources":["../src/external-tools.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,4EAA4E;AAE5E;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,SAAmB,EAAE,GAAW;IAC9D,IAAI,CAAC;QACH,kDAAkD;QAClD,MAAM,gBAAgB,GAAG,QAAQ,CAAC;QAClC,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,gBAAgB,CAAQ,CAAC;QAC3D,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,IAAI,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC;QACnE,IAAI,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC;QAEvB,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAElD,MAAM,QAAQ,GAAoB,EAAE,CAAC;QAErC,KAAK,MAAM,MAAM,IAAI,OAAgB,EAAE,CAAC;YACtC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,QAAiB,EAAE,CAAC;gBAC3C,MAAM,QAAQ,GACZ,GAAG,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;gBAEzE,MAAM,WAAW,GAAe;oBAC9B,IAAI,EAAE,MAAM,CAAC,QAAQ;oBACrB,SAAS,EAAE,GAAG,CAAC,IAAI;oBACnB,QAAQ,EAAE,GAAG,CAAC,MAAM;oBACpB,OAAO,EAAE,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,IAAI;oBAChC,MAAM,EAAE,GAAG,CAAC,SAAS,IAAI,GAAG,CAAC,MAAM;iBACpC,CAAC;gBAEF,QAAQ,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,QAAQ;oBAChB,MAAM,EAAE,GAAG,CAAC,MAAM,IAAI,gBAAgB;oBACtC,QAAQ;oBACR,QAAQ,EAAE,oBAAoB,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC;oBAChD,OAAO,EAAE,GAAG,CAAC,OAAO;oBACpB,WAAW;oBACX,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;oBAChD,WAAW,EAAE,iBAAiB,CAAC,GAAG,CAAC,MAAM,IAAI,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC;iBAC7E,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAAC,MAAM,CAAC;QACP,yCAAyC;QACzC,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,MAAc;IAC1C,IAAI,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,OAAO,CAAC;IAC/E,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IAC1E,IAAI,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9E,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,WAAW,CAAC;IAC/E,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,4EAA4E;AAE5E;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAgB;IAChD,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,IAAI,CAAC;QACH,MAAM,WAAW,GAAG,OAAO,CAAC,qBAAqB,EAAE,CAAC;QAEpD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;YACxC,IAAI,CAAC,UAAU;gBAAE,SAAS;YAE1B,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAEhC,IAAI,SAAS,GAAG,CAAC,CAAC;YAClB,IAAI,QAAQ,GAAG,CAAC,CAAC;YACjB,IAAI,OAAO,GAAG,CAAC,CAAC;YAChB,IAAI,MAAM,GAAG,CAAC,CAAC;YAEf,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,QAAQ,GAAG,UAAU,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;gBACzD,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC;gBAC1B,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC;gBAE3B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,MAAM,MAAM,GAAG,UAAU,CAAC,qBAAqB,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC;oBAChE,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC;oBACtB,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;gBACzB,CAAC;qBAAM,CAAC;oBACN,OAAO,GAAG,SAAS,CAAC;oBACpB,MAAM,GAAG,QAAQ,CAAC;gBACpB,CAAC;YACH,CAAC;YAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;YACpC,MAAM,QAAQ,GACZ,QAAQ,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;gBACtC,QAAQ,KAAK,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;YAEpD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;YACtC,MAAM,UAAU,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;YAEpF,QAAQ,CAAC,IAAI,CAAC;gBACZ,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,KAAK,IAAI,EAAE;gBACnB,QAAQ;gBACR,QAAQ,EAAE,MAAM;gBAChB,OAAO,EAAE,UAAU;gBACnB,WAAW,EAAE;oBACX,IAAI,EAAE,QAAQ;oBACd,SAAS;oBACT,QAAQ;oBACR,OAAO;oBACP,MAAM;iBACP;gBACD,WAAW,EAAE,iBAAiB,CAAC,KAAK,IAAI,EAAE,EAAE,SAAS,EAAE,QAAQ,CAAC;aACjE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,uCAAuC;IACzC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,yEAAyE;AAEzE;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CAAC,SAAmB;IAC5D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEtC,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;QAChC,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC;gBAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,2BAA2B,CAAC,CAAC;QAChF,CAAC;QACD,OAAO,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,4EAA4E;AAE5E;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,QAAyB,EAAE,QAAuB;IAC5E,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS,CAAC,iBAAiB;QAElE,MAAM,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC;QACrC,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACrC,CAAC,CAAC,SAAS,IAAI,IAAI,IAAI,CAAC,CAAC,OAAO,IAAI,IAAI,CACzC,CAAC;QAEF,IAAI,YAAY,EAAE,CAAC;YACjB,CAAC,CAAC,OAAO,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,33 @@
+/**
+ * @kernlang/review — Scan TS, infer .kern IR, review pipeline, report.
+ *
+ * Public API:
+ *   reviewFile(filePath, config?)     — review a single file
+ *   reviewSource(source, filePath?, config?) — review source string
+ *   reviewDirectory(dirPath, config?) — review all .ts/.tsx files
+ *
+ * v2: Unified ReviewFinding pipeline. All findings merged into single array.
+ */
+import type { ReviewReport, ReviewConfig } from './types.js';
+export type { ReviewReport, InferResult, TemplateMatch, ReviewFinding, SourceSpan } from './types.js';
+export type { ReviewStats, Confidence, ReviewConfig, EnforceResult, RuleContext, ReviewRule } from './types.js';
+export { createFingerprint } from './types.js';
+export { inferFromSource, inferFromFile } from './inferrer.js';
+export { detectTemplates } from './template-detector.js';
+export { structuralDiff } from './differ.js';
+export { runQualityRules } from './quality-rules.js';
+export { calculateStats, formatReport, formatReportJSON, formatSummary, checkEnforcement, formatEnforcement, dedup } from './reporter.js';
+export { exportKernIR, buildLLMPrompt, parseLLMResponse } from './llm-review.js';
+export { runESLint, runTSCDiagnostics, runTSCDiagnosticsFromPaths, linkToNodes } from './external-tools.js';
+/**
+ * Review a single TypeScript file.
+ */
+export declare function reviewFile(filePath: string, config?: ReviewConfig): ReviewReport;
+/**
+ * Review TypeScript source code (string).
+ */
+export declare function reviewSource(source: string, filePath?: string, config?: ReviewConfig): ReviewReport;
+/**
+ * Review all .ts/.tsx files in a directory.
+ */
+export declare function reviewDirectory(dirPath: string, recursive?: boolean, config?: ReviewConfig): ReviewReport[];

package/dist/index.js

@@ -0,0 +1,98 @@
+/**
+ * @kernlang/review — Scan TS, infer .kern IR, review pipeline, report.
+ *
+ * Public API:
+ *   reviewFile(filePath, config?)     — review a single file
+ *   reviewSource(source, filePath?, config?) — review source string
+ *   reviewDirectory(dirPath, config?) — review all .ts/.tsx files
+ *
+ * v2: Unified ReviewFinding pipeline. All findings merged into single array.
+ */
+import { readFileSync, readdirSync, statSync } from 'fs';
+import { relative, join } from 'path';
+import { inferFromSource, createInMemoryProject } from './inferrer.js';
+import { detectTemplates } from './template-detector.js';
+import { structuralDiff } from './differ.js';
+import { runQualityRules } from './quality-rules.js';
+import { calculateStats, dedup } from './reporter.js';
+export { createFingerprint } from './types.js';
+export { inferFromSource, inferFromFile } from './inferrer.js';
+export { detectTemplates } from './template-detector.js';
+export { structuralDiff } from './differ.js';
+export { runQualityRules } from './quality-rules.js';
+export { calculateStats, formatReport, formatReportJSON, formatSummary, checkEnforcement, formatEnforcement, dedup } from './reporter.js';
+export { exportKernIR, buildLLMPrompt, parseLLMResponse } from './llm-review.js';
+export { runESLint, runTSCDiagnostics, runTSCDiagnosticsFromPaths, linkToNodes } from './external-tools.js';
+/**
+ * Review a single TypeScript file.
+ */
+export function reviewFile(filePath, config) {
+    const source = readFileSync(filePath, 'utf-8');
+    return reviewSource(source, filePath, config);
+}
+/**
+ * Review TypeScript source code (string).
+ */
+export function reviewSource(source, filePath = 'input.ts', config) {
+    const totalLines = source.split('\n').length;
+    // Phase 1+2: Infer KERN constructs (with nodeIds + sourceSpans)
+    const inferred = inferFromSource(source, filePath);
+    // Phase 3: Template detection (config-aware)
+    const project = createInMemoryProject();
+    const sourceFile = project.createSourceFile(filePath, source);
+    const templateMatches = detectTemplates(sourceFile, config);
+    // Phase 4: Structural diff → unified findings
+    const diffFindings = structuralDiff(source, inferred, filePath);
+    // Phase 5: Quality rules → unified findings
+    const qualityFindings = runQualityRules(sourceFile, inferred, templateMatches, config);
+    // Merge all findings into single unified array
+    const findings = dedup([...diffFindings, ...qualityFindings]);
+    // Sort: 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;
+    });
+    // Calculate stats
+    const stats = calculateStats(inferred, templateMatches, findings, totalLines);
+    return {
+        filePath,
+        inferred,
+        templateMatches,
+        findings,
+        stats,
+    };
+}
+/**
+ * Review all .ts/.tsx files in a directory.
+ */
+export function reviewDirectory(dirPath, recursive = false, config) {
+    const reports = [];
+    const files = collectTsFiles(dirPath, recursive);
+    for (const file of files) {
+        try {
+            reports.push(reviewFile(file, config));
+        }
+        catch (err) {
+            console.error(`  Skipping ${relative(process.cwd(), file)}: ${err.message}`);
+        }
+    }
+    return reports;
+}
+function collectTsFiles(dirPath, recursive) {
+    const files = [];
+    for (const entry of readdirSync(dirPath)) {
+        const full = join(dirPath, entry);
+        const stat = statSync(full);
+        if (stat.isDirectory() && recursive && !entry.startsWith('.') && entry !== 'node_modules' && entry !== 'dist') {
+            files.push(...collectTsFiles(full, true));
+        }
+        else if ((entry.endsWith('.ts') || entry.endsWith('.tsx')) && !entry.endsWith('.d.ts') && !entry.endsWith('.test.ts') && !entry.endsWith('.test.tsx')) {
+            files.push(full);
+        }
+    }
+    return files;
+}
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,IAAI,CAAC;AACzD,OAAO,EAAW,QAAQ,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAiB,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACtF,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAsF,KAAK,EAAE,MAAM,eAAe,CAAC;AAM1I,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,gBAAgB,EAAE,aAAa,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAC1I,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACjF,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,0BAA0B,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAE5G;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,QAAgB,EAAE,MAAqB;IAChE,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC/C,OAAO,YAAY,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;AAChD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,QAAQ,GAAG,UAAU,EAAE,MAAqB;IACvF,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;IAE7C,gEAAgE;IAChE,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAEnD,6CAA6C;IAC7C,MAAM,OAAO,GAAG,qBAAqB,EAAE,CAAC;IACxC,MAAM,UAAU,GAAG,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC9D,MAAM,eAAe,GAAG,eAAe,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAE5D,8CAA8C;IAC9C,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAEhE,4CAA4C;IAC5C,MAAM,eAAe,GAAG,eAAe,CAAC,UAAU,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IAEvF,+CAA+C;IAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,GAAG,YAAY,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC;IAE9D,wDAAwD;IACxD,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,kBAAkB;IAClB,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IAE9E,OAAO;QACL,QAAQ;QACR,QAAQ;QACR,eAAe;QACf,QAAQ;QACR,KAAK;KACN,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,OAAe,EAAE,SAAS,GAAG,KAAK,EAAE,MAAqB;IACvF,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAEjD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC;YACH,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACzC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CAAC,cAAc,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,KAAM,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,cAAc,CAAC,OAAe,EAAE,SAAkB;IACzD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,IAAI,CAAC,WAAW,EAAE,IAAI,SAAS,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,cAAc,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;YAC9G,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5C,CAAC;aAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACxJ,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/inferrer.d.ts

@@ -0,0 +1,15 @@
+/**
+ * TS → .kern Inferrer — scans TypeScript AST and infers KERN IR nodes.
+ *
+ * Phase 1 (deterministic): type, interface, fn, error, import, const
+ * Phase 2 (composite): machine, config, event, module
+ *
+ * v2: Adds stable nodeId, promptAlias, sourceSpans to InferResult.
+ */
+import { Project, SourceFile } from 'ts-morph';
+import type { InferResult } from './types.js';
+export declare function createProject(): Project;
+export declare function createInMemoryProject(): Project;
+export declare function inferFromSource(source: string, filePath?: string): InferResult[];
+export declare function inferFromFile(filePath: string): InferResult[];
+export declare function inferFromSourceFile(sourceFile: SourceFile): InferResult[];