@opencodereview/core 1.9.1

package/dist/detectors/v4/context-coherence.js

@@ -0,0 +1,319 @@
+/**
+ * ContextCoherenceDetector — V4 detector for AI context window issues.
+ *
+ * Detects logic inconsistencies that arise from AI context window limitations.
+ * When AI models generate long code, they lose track of what they've already
+ * defined, used, or imported — leading to coherence issues.
+ *
+ * V4 improvements over V3:
+ * - Operates on CodeUnit IR (definitions, references, imports) instead of regex
+ * - Cross-unit analysis for referenced-but-undefined symbols
+ * - Structural analysis using definitions/references instead of source text
+ * - Dramatically reduced false positives
+ *
+ * @since 0.4.0
+ */
+// ─── Detector ──────────────────────────────────────────────────────
+export class ContextCoherenceDetector {
+    id = 'context-coherence';
+    name = 'Context Coherence Detector';
+    category = 'context-coherence';
+    supportedLanguages = [];
+    async detect(units, context) {
+        const results = [];
+        // Analysis 1: Unused non-exported definitions
+        this.detectUnusedDefinitions(units, results);
+        // Analysis 2: Inconsistent import patterns within same file
+        this.detectInconsistentImports(units, results);
+        // Analysis 3: Duplicate function names in same scope
+        this.detectDuplicateFunctionNames(units, results);
+        // Analysis 4: Referenced but undefined symbols (cross-unit)
+        this.detectUndefinedReferences(units, results);
+        return results;
+    }
+    /**
+     * Analysis 1: Detect functions/classes/types defined but never used and not exported.
+     *
+     * AI models sometimes define helper functions that are never called,
+     * or define types/interfaces that are never used — a sign of context loss.
+     */
+    detectUnusedDefinitions(units, results) {
+        // Build a set of all referenced symbol names across all units
+        const allReferencedNames = new Set();
+        const allCalledNames = new Set();
+        for (const unit of units) {
+            for (const ref of unit.references) {
+                allReferencedNames.add(ref.name);
+            }
+            for (const call of unit.calls) {
+                allCalledNames.add(call.method);
+                if (call.callee) {
+                    allCalledNames.add(call.callee);
+                }
+            }
+            // Also count imports as usage context
+            for (const imp of unit.imports) {
+                for (const sym of imp.symbols) {
+                    allReferencedNames.add(sym);
+                }
+            }
+        }
+        // Check each definition
+        for (const unit of units) {
+            for (const def of unit.definitions) {
+                // Skip exported definitions — they're intended for external use
+                if (def.exported)
+                    continue;
+                // Only flag functions, classes, types, interfaces
+                if (!['function', 'class', 'type', 'interface'].includes(def.kind))
+                    continue;
+                // Check if the symbol is referenced anywhere
+                const isReferenced = allReferencedNames.has(def.name) || allCalledNames.has(def.name);
+                if (!isReferenced) {
+                    results.push({
+                        detectorId: this.id,
+                        severity: 'info',
+                        category: this.category,
+                        messageKey: 'context-coherence.unused-definition',
+                        message: `${this.capitalizeKind(def.kind)} "${def.name}" is defined but never used and not exported. This may indicate a context window issue.`,
+                        file: unit.file,
+                        line: def.line + 1, // 0-based to 1-based
+                        confidence: 0.6,
+                        metadata: {
+                            symbolName: def.name,
+                            symbolKind: def.kind,
+                            analysisType: 'unused-definition',
+                        },
+                    });
+                }
+            }
+        }
+    }
+    /**
+     * Analysis 2: Detect inconsistent import patterns within the same file.
+     *
+     * When AI loses context mid-generation, it may import the same functionality
+     * from different modules in different parts of the file. For example:
+     * - import { readFile } from 'fs' AND import { readFile } from 'fs/promises'
+     * - import lodash AND import underscore (same purpose)
+     */
+    detectInconsistentImports(units, results) {
+        for (const unit of units) {
+            if (unit.kind !== 'file')
+                continue;
+            if (unit.imports.length < 2)
+                continue;
+            // Check for duplicate symbol imports from different modules
+            const symbolToModules = new Map();
+            for (const imp of unit.imports) {
+                for (const sym of imp.symbols) {
+                    if (!symbolToModules.has(sym)) {
+                        symbolToModules.set(sym, []);
+                    }
+                    symbolToModules.get(sym).push({ module: imp.module, line: imp.line });
+                }
+            }
+            for (const [symbol, sources] of symbolToModules.entries()) {
+                // Get unique modules importing the same symbol
+                const uniqueModules = [...new Set(sources.map(s => s.module))];
+                if (uniqueModules.length > 1) {
+                    results.push({
+                        detectorId: this.id,
+                        severity: 'warning',
+                        category: this.category,
+                        messageKey: 'context-coherence.inconsistent-import',
+                        message: `Symbol "${symbol}" is imported from multiple modules: ${uniqueModules.map(m => `"${m}"`).join(', ')}. This may indicate a context window inconsistency.`,
+                        file: unit.file,
+                        line: sources[1].line + 1, // Report on the second occurrence
+                        confidence: 0.75,
+                        metadata: {
+                            symbol,
+                            modules: uniqueModules,
+                            analysisType: 'inconsistent-import',
+                        },
+                    });
+                }
+            }
+        }
+    }
+    /**
+     * Analysis 3: Detect duplicate function names in the same scope.
+     *
+     * AI may re-define the same function name multiple times in a file
+     * when it loses track of what it has already generated.
+     */
+    detectDuplicateFunctionNames(units, results) {
+        // Group units by parent (same scope) and file
+        const scopeMap = new Map();
+        for (const unit of units) {
+            // Group functions/methods by their parent scope
+            if (unit.kind === 'function' || unit.kind === 'method') {
+                const scopeKey = `${unit.file}:${unit.parentId || 'file'}`;
+                if (!scopeMap.has(scopeKey)) {
+                    scopeMap.set(scopeKey, []);
+                }
+                scopeMap.get(scopeKey).push(unit);
+            }
+        }
+        for (const [, scopeUnits] of scopeMap) {
+            const nameToUnits = this.groupByFunctionName(scopeUnits);
+            this.reportDuplicates(nameToUnits, results);
+        }
+    }
+    /** Group code units by their function/method definition names. */
+    groupByFunctionName(scopeUnits) {
+        const nameToUnits = new Map();
+        for (const unit of scopeUnits) {
+            for (const def of unit.definitions) {
+                if (def.kind !== 'function' && def.kind !== 'method')
+                    continue;
+                if (!nameToUnits.has(def.name))
+                    nameToUnits.set(def.name, []);
+                nameToUnits.get(def.name).push(unit);
+            }
+        }
+        return nameToUnits;
+    }
+    /** Report duplicate function definitions within the same scope. */
+    reportDuplicates(nameToUnits, results) {
+        for (const [name, duplicateUnits] of nameToUnits) {
+            if (duplicateUnits.length <= 1)
+                continue;
+            for (let i = 1; i < duplicateUnits.length; i++) {
+                const unit = duplicateUnits[i];
+                results.push({
+                    detectorId: this.id,
+                    severity: 'warning',
+                    category: this.category,
+                    messageKey: 'context-coherence.duplicate-function',
+                    message: `Function "${name}" is defined ${duplicateUnits.length} times in the same scope. This likely indicates an AI context window issue.`,
+                    file: unit.file,
+                    line: unit.location.startLine + 1,
+                    confidence: 0.85,
+                    metadata: {
+                        functionName: name,
+                        occurrences: duplicateUnits.length,
+                        analysisType: 'duplicate-function',
+                    },
+                });
+            }
+        }
+    }
+    /**
+     * Analysis 4: Detect referenced but undefined symbols across units within a file.
+     *
+     * If a symbol is referenced but never defined (and not imported),
+     * the AI may have "forgotten" to include the definition.
+     */
+    detectUndefinedReferences(units, results) {
+        // Group units by file
+        const fileUnits = new Map();
+        for (const unit of units) {
+            if (!fileUnits.has(unit.file)) {
+                fileUnits.set(unit.file, []);
+            }
+            fileUnits.get(unit.file).push(unit);
+        }
+        for (const [file, fileUnitList] of fileUnits) {
+            // Collect all definitions and imports in this file
+            const definedNames = new Set();
+            const importedNames = new Set();
+            for (const unit of fileUnitList) {
+                for (const def of unit.definitions) {
+                    definedNames.add(def.name);
+                }
+                for (const imp of unit.imports) {
+                    for (const sym of imp.symbols) {
+                        importedNames.add(sym);
+                    }
+                    // Whole module imports
+                    if (imp.symbols.length === 0) {
+                        // The module name itself is available
+                        const parts = imp.module.split(/[./]/);
+                        importedNames.add(parts[parts.length - 1]);
+                    }
+                }
+            }
+            // Check for unresolved references
+            for (const unit of fileUnitList) {
+                for (const ref of unit.references) {
+                    if (ref.resolved)
+                        continue; // Already resolved by the parser
+                    if (definedNames.has(ref.name))
+                        continue;
+                    if (importedNames.has(ref.name))
+                        continue;
+                    // Common globals that should not be flagged
+                    if (this.isWellKnownGlobal(ref.name, unit.language))
+                        continue;
+                    results.push({
+                        detectorId: this.id,
+                        severity: 'warning',
+                        category: this.category,
+                        messageKey: 'context-coherence.undefined-reference',
+                        message: `Symbol "${ref.name}" is referenced but never defined or imported in file "${file}". The AI may have lost context.`,
+                        file,
+                        line: ref.line + 1, // 0-based to 1-based
+                        confidence: 0.7,
+                        metadata: {
+                            symbolName: ref.name,
+                            analysisType: 'undefined-reference',
+                        },
+                    });
+                }
+            }
+        }
+    }
+    /**
+     * Check if a name is a well-known global (e.g., console, window, process).
+     */
+    isWellKnownGlobal(name, language) {
+        const globals = {
+            typescript: new Set([
+                'console', 'window', 'document', 'process', 'global', 'globalThis',
+                'setTimeout', 'setInterval', 'clearTimeout', 'clearInterval',
+                'Promise', 'Map', 'Set', 'Array', 'Object', 'String', 'Number',
+                'Boolean', 'Error', 'JSON', 'Math', 'Date', 'RegExp', 'Symbol',
+                'undefined', 'null', 'NaN', 'Infinity', 'Buffer', 'require',
+                'module', 'exports', '__dirname', '__filename',
+            ]),
+            javascript: new Set([
+                'console', 'window', 'document', 'process', 'global', 'globalThis',
+                'setTimeout', 'setInterval', 'clearTimeout', 'clearInterval',
+                'Promise', 'Map', 'Set', 'Array', 'Object', 'String', 'Number',
+                'Boolean', 'Error', 'JSON', 'Math', 'Date', 'RegExp', 'Symbol',
+                'undefined', 'null', 'NaN', 'Infinity', 'Buffer', 'require',
+                'module', 'exports', '__dirname', '__filename',
+            ]),
+            python: new Set([
+                'print', 'len', 'range', 'type', 'str', 'int', 'float', 'list',
+                'dict', 'set', 'tuple', 'bool', 'None', 'True', 'False',
+                'isinstance', 'issubclass', 'super', 'self', 'cls',
+                'Exception', 'ValueError', 'TypeError', 'KeyError',
+            ]),
+            java: new Set([
+                'System', 'String', 'Integer', 'Long', 'Double', 'Float',
+                'Object', 'Class', 'Exception', 'RuntimeException',
+                'this', 'super', 'null', 'true', 'false',
+            ]),
+            go: new Set([
+                'fmt', 'error', 'nil', 'true', 'false', 'make', 'len', 'cap',
+                'append', 'copy', 'delete', 'new', 'panic', 'recover', 'close',
+                'string', 'int', 'int64', 'float64', 'bool', 'byte', 'rune',
+            ]),
+            kotlin: new Set([
+                'println', 'print', 'this', 'super', 'null', 'true', 'false',
+                'String', 'Int', 'Long', 'Double', 'Float', 'Boolean',
+                'Any', 'Unit', 'Nothing', 'it', 'listOf', 'mapOf', 'setOf',
+            ]),
+        };
+        return globals[language]?.has(name) ?? false;
+    }
+    /**
+     * Capitalize a symbol kind for display.
+     */
+    capitalizeKind(kind) {
+        return kind.charAt(0).toUpperCase() + kind.slice(1);
+    }
+}
+//# sourceMappingURL=context-coherence.js.map

package/dist/detectors/v4/context-coherence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-coherence.js","sourceRoot":"","sources":["../../../src/detectors/v4/context-coherence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAKH,sEAAsE;AAEtE,MAAM,OAAO,wBAAwB;IAC1B,EAAE,GAAG,mBAAmB,CAAC;IACzB,IAAI,GAAG,4BAA4B,CAAC;IACpC,QAAQ,GAAqB,mBAAmB,CAAC;IACjD,kBAAkB,GAAwB,EAAE,CAAC;IAEtD,KAAK,CAAC,MAAM,CAAC,KAAiB,EAAE,OAAwB;QACtD,MAAM,OAAO,GAAqB,EAAE,CAAC;QAErC,8CAA8C;QAC9C,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAE7C,4DAA4D;QAC5D,IAAI,CAAC,yBAAyB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAE/C,qDAAqD;QACrD,IAAI,CAAC,4BAA4B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAElD,4DAA4D;QAC5D,IAAI,CAAC,yBAAyB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAE/C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;;;OAKG;IACK,uBAAuB,CAAC,KAAiB,EAAE,OAAyB;QAC1E,8DAA8D;QAC9D,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;QAC7C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;QAEzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAClC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnC,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAChC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBAChB,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAClC,CAAC;YACH,CAAC;YACD,sCAAsC;YACtC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC/B,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;oBAC9B,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC9B,CAAC;YACH,CAAC;QACH,CAAC;QAED,wBAAwB;QACxB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACnC,gEAAgE;gBAChE,IAAI,GAAG,CAAC,QAAQ;oBAAE,SAAS;gBAE3B,kDAAkD;gBAClD,IAAI,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAE7E,6CAA6C;gBAC7C,MAAM,YAAY,GAAG,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAEtF,IAAI,CAAC,YAAY,EAAE,CAAC;oBAClB,OAAO,CAAC,IAAI,CAAC;wBACX,UAAU,EAAE,IAAI,CAAC,EAAE;wBACnB,QAAQ,EAAE,MAAM;wBAChB,QAAQ,EAAE,IAAI,CAAC,QAAQ;wBACvB,UAAU,EAAE,qCAAqC;wBACjD,OAAO,EAAE,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,yFAAyF;wBAC/I,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,qBAAqB;wBACzC,UAAU,EAAE,GAAG;wBACf,QAAQ,EAAE;4BACR,UAAU,EAAE,GAAG,CAAC,IAAI;4BACpB,UAAU,EAAE,GAAG,CAAC,IAAI;4BACpB,YAAY,EAAE,mBAAmB;yBAClC;qBACF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;;;OAOG;IACK,yBAAyB,CAAC,KAAiB,EAAE,OAAyB;QAC5E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,SAAS;YACnC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YAEtC,4DAA4D;YAC5D,MAAM,eAAe,GAAG,IAAI,GAAG,EAA8C,CAAC;YAE9E,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC/B,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;oBAC9B,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC9B,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;oBAC/B,CAAC;oBACD,eAAe,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;gBACzE,CAAC;YACH,CAAC;YAED,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,eAAe,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC1D,+CAA+C;gBAC/C,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBAC/D,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC7B,OAAO,CAAC,IAAI,CAAC;wBACX,UAAU,EAAE,IAAI,CAAC,EAAE;wBACnB,QAAQ,EAAE,SAAS;wBACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;wBACvB,UAAU,EAAE,uCAAuC;wBACnD,OAAO,EAAE,WAAW,MAAM,wCAAwC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qDAAqD;wBAClK,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,kCAAkC;wBAC7D,UAAU,EAAE,IAAI;wBAChB,QAAQ,EAAE;4BACR,MAAM;4BACN,OAAO,EAAE,aAAa;4BACtB,YAAY,EAAE,qBAAqB;yBACpC;qBACF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACK,4BAA4B,CAAC,KAAiB,EAAE,OAAyB;QAC/E,8CAA8C;QAC9C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAC;QAE/C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,gDAAgD;YAChD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACvD,MAAM,QAAQ,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,IAAI,MAAM,EAAE,CAAC;gBAC3D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC5B,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;gBAC7B,CAAC;gBACD,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;QAED,KAAK,MAAM,CAAC,EAAE,UAAU,CAAC,IAAI,QAAQ,EAAE,CAAC;YACtC,MAAM,WAAW,GAAG,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;YACzD,IAAI,CAAC,gBAAgB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,kEAAkE;IAC1D,mBAAmB,CAAC,UAAsB;QAChD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAsB,CAAC;QAClD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACnC,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;oBAAE,SAAS;gBAC/D,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAC9D,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,mEAAmE;IAC3D,gBAAgB,CACtB,WAAoC,EACpC,OAAyB;QAEzB,KAAK,MAAM,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,WAAW,EAAE,CAAC;YACjD,IAAI,cAAc,CAAC,MAAM,IAAI,CAAC;gBAAE,SAAS;YACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;gBAC/B,OAAO,CAAC,IAAI,CAAC;oBACX,UAAU,EAAE,IAAI,CAAC,EAAE;oBACnB,QAAQ,EAAE,SAAS;oBACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,UAAU,EAAE,sCAAsC;oBAClD,OAAO,EAAE,aAAa,IAAI,gBAAgB,cAAc,CAAC,MAAM,6EAA6E;oBAC5I,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS,GAAG,CAAC;oBACjC,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE;wBACR,YAAY,EAAE,IAAI;wBAClB,WAAW,EAAE,cAAc,CAAC,MAAM;wBAClC,YAAY,EAAE,oBAAoB;qBACnC;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACK,yBAAyB,CAAC,KAAiB,EAAE,OAAyB;QAC5E,sBAAsB;QACtB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAsB,CAAC;QAChD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC/B,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,SAAS,EAAE,CAAC;YAC7C,mDAAmD;YACnD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;YACvC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;YAExC,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;gBAChC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACnC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC7B,CAAC;gBACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBAC/B,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;wBAC9B,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACzB,CAAC;oBACD,uBAAuB;oBACvB,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAC7B,sCAAsC;wBACtC,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;wBACvC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;oBAC7C,CAAC;gBACH,CAAC;YACH,CAAC;YAED,kCAAkC;YAClC,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;gBAChC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBAClC,IAAI,GAAG,CAAC,QAAQ;wBAAE,SAAS,CAAC,iCAAiC;oBAC7D,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;wBAAE,SAAS;oBACzC,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;wBAAE,SAAS;oBAE1C,4CAA4C;oBAC5C,IAAI,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC;wBAAE,SAAS;oBAE9D,OAAO,CAAC,IAAI,CAAC;wBACX,UAAU,EAAE,IAAI,CAAC,EAAE;wBACnB,QAAQ,EAAE,SAAS;wBACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;wBACvB,UAAU,EAAE,uCAAuC;wBACnD,OAAO,EAAE,WAAW,GAAG,CAAC,IAAI,0DAA0D,IAAI,kCAAkC;wBAC5H,IAAI;wBACJ,IAAI,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,qBAAqB;wBACzC,UAAU,EAAE,GAAG;wBACf,QAAQ,EAAE;4BACR,UAAU,EAAE,GAAG,CAAC,IAAI;4BACpB,YAAY,EAAE,qBAAqB;yBACpC;qBACF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,IAAY,EAAE,QAA2B;QACjE,MAAM,OAAO,GAAgC;YAC3C,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY;gBAClE,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,eAAe;gBAC5D,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ;gBAC9D,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ;gBAC9D,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS;gBAC3D,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY;aAC/C,CAAC;YACF,UAAU,EAAE,IAAI,GAAG,CAAC;gBAClB,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY;gBAClE,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,eAAe;gBAC5D,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ;gBAC9D,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ;gBAC9D,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS;gBAC3D,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY;aAC/C,CAAC;YACF,MAAM,EAAE,IAAI,GAAG,CAAC;gBACd,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM;gBAC9D,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO;gBACvD,YAAY,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK;gBAClD,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU;aACnD,CAAC;YACF,IAAI,EAAE,IAAI,GAAG,CAAC;gBACZ,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO;gBACxD,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,kBAAkB;gBAClD,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO;aACzC,CAAC;YACF,EAAE,EAAE,IAAI,GAAG,CAAC;gBACV,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK;gBAC5D,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO;gBAC9D,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;aAC5D,CAAC;YACF,MAAM,EAAE,IAAI,GAAG,CAAC;gBACd,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO;gBAC5D,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS;gBACrD,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO;aAC3D,CAAC;SACH,CAAC;QAEF,OAAO,OAAO,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;IAC/C,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,IAAY;QACjC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC;CACF"}

package/dist/detectors/v4/hallucinated-import.d.ts

@@ -0,0 +1,52 @@
+/**
+ * HallucinatedImportDetector — V4 detector for hallucinated imports.
+ *
+ * Detects imports of packages/modules that don't exist in the package registry.
+ * This is THE core differentiator of Open Code Review: AI code generators
+ * frequently hallucinate package names that look plausible but don't exist.
+ *
+ * V4 improvements over V3:
+ * - Uses dynamic registry verification (npm, PyPI, Maven, Go proxy) instead of hardcoded whitelists
+ * - Operates on CodeUnit IR instead of raw source
+ * - Language-aware built-in module filtering
+ * - Batch verification to minimize HTTP calls
+ *
+ * @since 0.4.0
+ */
+import type { CodeUnit, SupportedLanguage } from '../../ir/types.js';
+import type { V4Detector, DetectorResult, DetectorCategory, DetectorContext } from './types.js';
+/** Tracks an import occurrence for hallucination detection. */
+export interface ImportOccurrence {
+    file: string;
+    line: number;
+    raw: string;
+}
+export declare class HallucinatedImportDetector implements V4Detector {
+    readonly id = "hallucinated-import";
+    readonly name = "Hallucinated Import Detector";
+    readonly category: DetectorCategory;
+    readonly supportedLanguages: SupportedLanguage[];
+    detect(units: CodeUnit[], context: DetectorContext): Promise<DetectorResult[]>;
+    /**
+     * Group imports from all CodeUnits by language and package name.
+     * Returns Map<language, Map<packageName, occurrences[]>>.
+     */
+    private groupImportsByLanguage;
+    /**
+     * Extract the top-level package name from an import path.
+     * - npm: "lodash/fp" → "lodash", "@scope/name/sub" → "@scope/name"
+     * - python: "flask.blueprints" → "flask"
+     * - java: "com.google.gson.Gson" → "com.google.gson"
+     * - go: "github.com/gin-gonic/gin/binding" → "github.com/gin-gonic/gin"
+     */
+    private extractPackageName;
+    /**
+     * Check if an import is a language built-in module.
+     */
+    private isBuiltin;
+    /**
+     * Get a human-readable registry name for a language.
+     */
+    private getRegistryName;
+}
+//# sourceMappingURL=hallucinated-import.d.ts.map

package/dist/detectors/v4/hallucinated-import.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hallucinated-import.d.ts","sourceRoot":"","sources":["../../../src/detectors/v4/hallucinated-import.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,iBAAiB,EAAc,MAAM,mBAAmB,CAAC;AACjF,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAoBhG,+DAA+D;AAC/D,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACb;AAID,qBAAa,0BAA2B,YAAW,UAAU;IAC3D,QAAQ,CAAC,EAAE,yBAAyB;IACpC,QAAQ,CAAC,IAAI,kCAAkC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAqB;IACxD,QAAQ,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,CAAM;IAEhD,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IA+DpF;;;OAGG;IACH,OAAO,CAAC,sBAAsB;IAkC9B;;;;;;OAMG;IACH,OAAO,CAAC,kBAAkB;IAyC1B;;OAEG;IACH,OAAO,CAAC,SAAS;IA0BjB;;OAEG;IACH,OAAO,CAAC,eAAe;CAgBxB"}

package/dist/detectors/v4/hallucinated-import.js

@@ -0,0 +1,206 @@
+/**
+ * HallucinatedImportDetector — V4 detector for hallucinated imports.
+ *
+ * Detects imports of packages/modules that don't exist in the package registry.
+ * This is THE core differentiator of Open Code Review: AI code generators
+ * frequently hallucinate package names that look plausible but don't exist.
+ *
+ * V4 improvements over V3:
+ * - Uses dynamic registry verification (npm, PyPI, Maven, Go proxy) instead of hardcoded whitelists
+ * - Operates on CodeUnit IR instead of raw source
+ * - Language-aware built-in module filtering
+ * - Batch verification to minimize HTTP calls
+ *
+ * @since 0.4.0
+ */
+import { NODE_BUILTINS } from '../../registry/builtins/node-builtins.js';
+import { PYTHON_BUILTINS } from '../../registry/builtins/python-builtins.js';
+import { JAVA_BUILTINS } from '../../registry/builtins/java-builtins.js';
+import { GO_BUILTINS } from '../../registry/builtins/go-builtins.js';
+import { KOTLIN_BUILTINS } from '../../registry/builtins/kotlin-builtins.js';
+// ─── Built-in module sets by language ──────────────────────────────
+const BUILTIN_SETS = {
+    typescript: NODE_BUILTINS,
+    javascript: NODE_BUILTINS,
+    python: PYTHON_BUILTINS,
+    java: JAVA_BUILTINS,
+    go: GO_BUILTINS,
+    kotlin: KOTLIN_BUILTINS,
+};
+// ─── Detector ──────────────────────────────────────────────────────
+export class HallucinatedImportDetector {
+    id = 'hallucinated-import';
+    name = 'Hallucinated Import Detector';
+    category = 'ai-faithfulness';
+    supportedLanguages = []; // All languages
+    async detect(units, context) {
+        // If no registry manager is provided (offline mode), skip detection
+        if (!context.registryManager) {
+            return [];
+        }
+        const results = [];
+        // Group imports by language, deduplicating by package name
+        const importsByLanguage = this.groupImportsByLanguage(units);
+        for (const [language, packageMap] of importsByLanguage.entries()) {
+            const builtins = BUILTIN_SETS[language];
+            if (!builtins)
+                continue;
+            // Collect non-relative, non-builtin package names
+            const packagesToVerify = [];
+            for (const [packageName] of packageMap) {
+                if (!this.isBuiltin(packageName, language, builtins)) {
+                    packagesToVerify.push(packageName);
+                }
+            }
+            if (packagesToVerify.length === 0)
+                continue;
+            // Batch verify against registry
+            const verifyResults = await context.registryManager.verifyBatch(language, packagesToVerify);
+            // Generate results for packages that don't exist
+            for (const [packageName, verifyResult] of verifyResults.entries()) {
+                if (!verifyResult.exists) {
+                    const occurrences = packageMap.get(packageName);
+                    if (!occurrences)
+                        continue;
+                    // Create a result for each occurrence
+                    for (const occurrence of occurrences) {
+                        results.push({
+                            detectorId: this.id,
+                            severity: 'error',
+                            category: this.category,
+                            messageKey: 'hallucinated-import.package-not-found',
+                            message: `Import "${packageName}" does not exist in the ${this.getRegistryName(language)} registry. This may be a hallucinated package name.`,
+                            file: occurrence.file,
+                            line: occurrence.line + 1, // Convert 0-based to 1-based
+                            confidence: 0.9,
+                            metadata: {
+                                packageName,
+                                language,
+                                registry: this.getRegistryName(language),
+                                raw: occurrence.raw,
+                            },
+                        });
+                    }
+                }
+            }
+        }
+        return results;
+    }
+    /**
+     * Group imports from all CodeUnits by language and package name.
+     * Returns Map<language, Map<packageName, occurrences[]>>.
+     */
+    groupImportsByLanguage(units) {
+        const result = new Map();
+        for (const unit of units) {
+            // Only process file-level units (imports are at file level)
+            if (unit.kind !== 'file')
+                continue;
+            for (const imp of unit.imports) {
+                // Skip relative imports
+                if (imp.isRelative)
+                    continue;
+                const packageName = this.extractPackageName(imp.module, unit.language);
+                if (!result.has(unit.language)) {
+                    result.set(unit.language, new Map());
+                }
+                const langMap = result.get(unit.language);
+                if (!langMap.has(packageName)) {
+                    langMap.set(packageName, []);
+                }
+                langMap.get(packageName).push({
+                    file: unit.file,
+                    line: imp.line,
+                    raw: imp.raw,
+                });
+            }
+        }
+        return result;
+    }
+    /**
+     * Extract the top-level package name from an import path.
+     * - npm: "lodash/fp" → "lodash", "@scope/name/sub" → "@scope/name"
+     * - python: "flask.blueprints" → "flask"
+     * - java: "com.google.gson.Gson" → "com.google.gson"
+     * - go: "github.com/gin-gonic/gin/binding" → "github.com/gin-gonic/gin"
+     */
+    extractPackageName(module, language) {
+        switch (language) {
+            case 'typescript':
+            case 'javascript': {
+                // Scoped packages: @scope/name
+                if (module.startsWith('@')) {
+                    const parts = module.split('/');
+                    return parts.length >= 2 ? `${parts[0]}/${parts[1]}` : module;
+                }
+                // Regular packages: name/subpath → name
+                return module.split('/')[0];
+            }
+            case 'python': {
+                // Python: package.submodule → package
+                return module.split('.')[0];
+            }
+            case 'java':
+            case 'kotlin': {
+                // Java/Kotlin: use the full module path as-is for registry lookup
+                // The registry adapter handles groupId:artifactId mapping
+                return module;
+            }
+            case 'go': {
+                // Go: github.com/user/repo/subpkg → github.com/user/repo
+                const parts = module.split('/');
+                if (parts.length >= 3 && module.includes('.')) {
+                    // Looks like a URL-based import: take first 3 segments
+                    return parts.slice(0, 3).join('/');
+                }
+                // Standard library or short path
+                return parts[0];
+            }
+            default:
+                return module;
+        }
+    }
+    /**
+     * Check if an import is a language built-in module.
+     */
+    isBuiltin(packageName, language, builtins) {
+        // Direct match
+        if (builtins.has(packageName))
+            return true;
+        // For Java/Kotlin, check prefix match (e.g., "java.util.List" matches "java.util")
+        if (language === 'java' || language === 'kotlin') {
+            for (const builtin of builtins) {
+                if (packageName.startsWith(builtin + '.') || packageName === builtin) {
+                    return true;
+                }
+            }
+        }
+        // For Go, check prefix match (e.g., "net/http" matches "net")
+        if (language === 'go') {
+            const topLevel = packageName.split('/')[0];
+            if (builtins.has(topLevel))
+                return true;
+        }
+        return false;
+    }
+    /**
+     * Get a human-readable registry name for a language.
+     */
+    getRegistryName(language) {
+        switch (language) {
+            case 'typescript':
+            case 'javascript':
+                return 'npm';
+            case 'python':
+                return 'PyPI';
+            case 'java':
+            case 'kotlin':
+                return 'Maven Central';
+            case 'go':
+                return 'Go module proxy';
+            default:
+                return 'package';
+        }
+    }
+}
+//# sourceMappingURL=hallucinated-import.js.map

package/dist/detectors/v4/hallucinated-import.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hallucinated-import.js","sourceRoot":"","sources":["../../../src/detectors/v4/hallucinated-import.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAIH,OAAO,EAAE,aAAa,EAAE,MAAM,0CAA0C,CAAC;AACzE,OAAO,EAAE,eAAe,EAAE,MAAM,4CAA4C,CAAC;AAC7E,OAAO,EAAE,aAAa,EAAE,MAAM,0CAA0C,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,MAAM,wCAAwC,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,4CAA4C,CAAC;AAE7E,sEAAsE;AAEtE,MAAM,YAAY,GAAgC;IAChD,UAAU,EAAE,aAAa;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,eAAe;IACvB,IAAI,EAAE,aAAa;IACnB,EAAE,EAAE,WAAW;IACf,MAAM,EAAE,eAAe;CACxB,CAAC;AAWF,sEAAsE;AAEtE,MAAM,OAAO,0BAA0B;IAC5B,EAAE,GAAG,qBAAqB,CAAC;IAC3B,IAAI,GAAG,8BAA8B,CAAC;IACtC,QAAQ,GAAqB,iBAAiB,CAAC;IAC/C,kBAAkB,GAAwB,EAAE,CAAC,CAAC,gBAAgB;IAEvE,KAAK,CAAC,MAAM,CAAC,KAAiB,EAAE,OAAwB;QACtD,oEAAoE;QACpE,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;YAC7B,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,OAAO,GAAqB,EAAE,CAAC;QAErC,2DAA2D;QAC3D,MAAM,iBAAiB,GAAG,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC;QAE7D,KAAK,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,iBAAiB,CAAC,OAAO,EAAE,EAAE,CAAC;YACjE,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;YACxC,IAAI,CAAC,QAAQ;gBAAE,SAAS;YAExB,kDAAkD;YAClD,MAAM,gBAAgB,GAAa,EAAE,CAAC;YACtC,KAAK,MAAM,CAAC,WAAW,CAAC,IAAI,UAAU,EAAE,CAAC;gBACvC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;oBACrD,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC;YAED,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAE5C,gCAAgC;YAChC,MAAM,aAAa,GAAG,MAAM,OAAO,CAAC,eAAe,CAAC,WAAW,CAC7D,QAAQ,EACR,gBAAgB,CACjB,CAAC;YAEF,iDAAiD;YACjD,KAAK,MAAM,CAAC,WAAW,EAAE,YAAY,CAAC,IAAI,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC;gBAClE,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;oBACzB,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;oBAChD,IAAI,CAAC,WAAW;wBAAE,SAAS;oBAE3B,sCAAsC;oBACtC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;wBACrC,OAAO,CAAC,IAAI,CAAC;4BACX,UAAU,EAAE,IAAI,CAAC,EAAE;4BACnB,QAAQ,EAAE,OAAO;4BACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;4BACvB,UAAU,EAAE,uCAAuC;4BACnD,OAAO,EAAE,WAAW,WAAW,2BAA2B,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,qDAAqD;4BAC7I,IAAI,EAAE,UAAU,CAAC,IAAI;4BACrB,IAAI,EAAE,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,6BAA6B;4BACxD,UAAU,EAAE,GAAG;4BACf,QAAQ,EAAE;gCACR,WAAW;gCACX,QAAQ;gCACR,QAAQ,EAAE,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC;gCACxC,GAAG,EAAE,UAAU,CAAC,GAAG;6BACpB;yBACF,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;OAGG;IACK,sBAAsB,CAC5B,KAAiB;QAEjB,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2C,CAAC;QAElE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,4DAA4D;YAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,SAAS;YAEnC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC/B,wBAAwB;gBACxB,IAAI,GAAG,CAAC,UAAU;oBAAE,SAAS;gBAE7B,MAAM,WAAW,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAEvE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC/B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;gBACvC,CAAC;gBACD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAE,CAAC;gBAE3C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;oBAC9B,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;gBAC/B,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,WAAW,CAAE,CAAC,IAAI,CAAC;oBAC7B,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,GAAG,EAAE,GAAG,CAAC,GAAG;iBACb,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;;;OAMG;IACK,kBAAkB,CAAC,MAAc,EAAE,QAA2B;QACpE,QAAQ,QAAQ,EAAE,CAAC;YACjB,KAAK,YAAY,CAAC;YAClB,KAAK,YAAY,CAAC,CAAC,CAAC;gBAClB,+BAA+B;gBAC/B,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBAChC,OAAO,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;gBAChE,CAAC;gBACD,wCAAwC;gBACxC,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9B,CAAC;YAED,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,sCAAsC;gBACtC,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9B,CAAC;YAED,KAAK,MAAM,CAAC;YACZ,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,kEAAkE;gBAClE,0DAA0D;gBAC1D,OAAO,MAAM,CAAC;YAChB,CAAC;YAED,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,yDAAyD;gBACzD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAChC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC9C,uDAAuD;oBACvD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACrC,CAAC;gBACD,iCAAiC;gBACjC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;YAClB,CAAC;YAED;gBACE,OAAO,MAAM,CAAC;QAClB,CAAC;IACH,CAAC;IAED;;OAEG;IACK,SAAS,CACf,WAAmB,EACnB,QAAgB,EAChB,QAAqB;QAErB,eAAe;QACf,IAAI,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC;YAAE,OAAO,IAAI,CAAC;QAE3C,mFAAmF;QACnF,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACjD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,IAAI,WAAW,CAAC,UAAU,CAAC,OAAO,GAAG,GAAG,CAAC,IAAI,WAAW,KAAK,OAAO,EAAE,CAAC;oBACrE,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;QAED,8DAA8D;QAC9D,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAI,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC1C,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,QAAgB;QACtC,QAAQ,QAAQ,EAAE,CAAC;YACjB,KAAK,YAAY,CAAC;YAClB,KAAK,YAAY;gBACf,OAAO,KAAK,CAAC;YACf,KAAK,QAAQ;gBACX,OAAO,MAAM,CAAC;YAChB,KAAK,MAAM,CAAC;YACZ,KAAK,QAAQ;gBACX,OAAO,eAAe,CAAC;YACzB,KAAK,IAAI;gBACP,OAAO,iBAAiB,CAAC;YAC3B;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;CACF"}

package/dist/detectors/v4/index.d.ts

@@ -0,0 +1,28 @@
+/**
+ * V4 Detector Module — AI-unique detectors operating on CodeUnit IR.
+ *
+ * V4 keeps only detectors that target AI-specific code quality issues:
+ * - HallucinatedImportDetector: Detects imports of non-existent packages
+ * - StaleAPIDetector: Detects deprecated/outdated API usage
+ * - ContextCoherenceDetector: Detects AI context window inconsistencies
+ * - OverEngineeringDetector: Detects over-engineered code patterns
+ * - SecurityPatternDetector: Detects security anti-patterns common in AI code
+ *
+ * Traditional lint concerns (duplication, type safety) are excluded.
+ *
+ * @since 0.4.0
+ */
+export type { V4Detector, DetectorResult as V4DetectorResult, DetectorCategory, DetectorContext, } from './types.js';
+export { HallucinatedImportDetector } from './hallucinated-import.js';
+export { StaleAPIDetector } from './stale-api.js';
+export { ContextCoherenceDetector } from './context-coherence.js';
+export { OverEngineeringDetector } from './over-engineering.js';
+export { SecurityPatternDetector } from './security-pattern.js';
+import type { V4Detector } from './types.js';
+/**
+ * Create all V4 detectors with default configuration.
+ *
+ * @returns Array of all V4 detector instances
+ */
+export declare function createV4Detectors(): V4Detector[];
+//# sourceMappingURL=index.d.ts.map

package/dist/detectors/v4/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/detectors/v4/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,YAAY,EACV,UAAU,EACV,cAAc,IAAI,gBAAgB,EAClC,gBAAgB,EAChB,eAAe,GAChB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAIhE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAO7C;;;;GAIG;AACH,wBAAgB,iBAAiB,IAAI,UAAU,EAAE,CAQhD"}