codeguardian-mcp 1.0.0

package/dist/tools/validation/unusedLocals.js

@@ -0,0 +1,333 @@
+/**
+ * AST-Based Unused Local Detection
+ *
+ * This module provides superior dead code detection using AST parsing instead of regex.
+ * It properly handles:
+ * - All naming conventions (camelCase, PascalCase, UPPER_SNAKE_CASE)
+ * - Both JavaScript/TypeScript AND Python
+ * - Exported vs non-exported symbols
+ * - Local function declarations, const/let/var, and Python def
+ * - React hooks and framework patterns
+ *
+ * @format
+ */
+import { extractSymbolsAST, extractUsagesAST, extractImportsAST, collectLocalDefinitionsAST, } from "./extractors/index.js";
+import { getParser } from "./parser.js";
+import { logger } from "../../utils/logger.js";
+/**
+ * Detect unused local functions and variables within a single file using AST parsing.
+ * This is the AST-based replacement for the regex-based detectUnusedLocals.
+ *
+ * Advantages over regex approach:
+ * - Handles all naming conventions (camelCase, PascalCase, UPPER_SNAKE_CASE)
+ * - Properly distinguishes exported vs non-exported symbols
+ * - Accurate line numbers from AST
+ * - Works for both JS/TS and Python with proper language support
+ * - Understands scope (won't flag parameters as unused when they're used in function body)
+ *
+ * @param code - The source code string to analyze
+ * @param filePath - Path to the file (used to determine language from extension)
+ * @returns Array of dead code issues found
+ */
+export function detectUnusedLocalsAST(code, filePath) {
+    const issues = [];
+    // Detect language from file extension
+    const language = detectFileLanguage(filePath);
+    if (language === "unknown") {
+        logger.debug(`Unknown language for file: ${filePath}`);
+        return issues;
+    }
+    try {
+        // Step 1: Extract all symbol definitions from the file
+        const symbols = extractSymbolsAST(code, filePath, language);
+        // Step 2: Extract all imports (to identify external symbols)
+        const imports = extractImportsAST(code, language);
+        const importedNames = new Set();
+        for (const imp of imports) {
+            for (const name of imp.names) {
+                importedNames.add(name.local);
+                // For Python dotted imports, also add base module
+                if (language === "python" && name.local.includes(".")) {
+                    importedNames.add(name.local.split(".")[0]);
+                }
+            }
+        }
+        // Step 3: Collect all locally-defined names (params, destructured vars, etc.)
+        // This prevents false positives on function parameters
+        const localDefinitions = collectLocalDefinitionsAST(code, language);
+        // Step 4: Extract all symbol usages (cross-file focused)
+        const usages = extractUsagesAST(code, language, imports);
+        const usedNames = new Set();
+        for (const usage of usages) {
+            usedNames.add(usage.name);
+        }
+        // Step 4b: Build a comprehensive set of ALL identifier references in the file.
+        // extractUsagesAST only tracks cross-file symbol usages (for hallucination detection),
+        // so we need our own set that includes local references like `resolve` in
+        // `new Promise(resolve => setTimeout(resolve, ms))` and `ProtectedComponent` in
+        // `return function ProtectedComponent(props) {...}`.
+        if (language === "typescript" || language === "javascript") {
+            try {
+                const parser = getParser(language);
+                const tree = parser.parse(code);
+                const collectRefs = (node) => {
+                    if (!node)
+                        return;
+                    if (node.type === "identifier" || node.type === "property_identifier" || node.type === "type_identifier") {
+                        const parentType = node.parent?.type;
+                        // Skip declaration positions (variable_declarator name, function declaration name)
+                        const isDecl = (parentType === "variable_declarator" && node.parent?.childForFieldName?.("name")?.id === node.id) ||
+                            ((parentType === "function_declaration" || parentType === "method_definition") &&
+                                node.parent?.childForFieldName?.("name")?.id === node.id);
+                        if (!isDecl) {
+                            const text = node.text || code.slice(node.startIndex, node.endIndex);
+                            if (text)
+                                usedNames.add(text);
+                        }
+                    }
+                    if (node.children) {
+                        for (const child of node.children)
+                            collectRefs(child);
+                    }
+                };
+                collectRefs(tree.rootNode);
+            }
+            catch {
+                // Best-effort
+            }
+        }
+        // Step 5: Check each local symbol to see if it's used
+        for (const sym of symbols) {
+            // Skip exported symbols - they may be used by other files
+            if (sym.isExported)
+                continue;
+            // Skip class/object methods and properties — they are NOT locals.
+            // They are accessed via their parent instance (e.g., spoonacularService.getRecipeDetails())
+            // and their usage is cross-file, not detectable by single-file analysis.
+            // Also skip ALL method-type symbols regardless of scope — they are always properties
+            // of an object literal (e.g., { queryFn: async () => {...} } inside useQuery()),
+            // consumed by the parent object, not standalone locals.
+            if (sym.scope || sym.type === "method")
+                continue;
+            // Python: Skip ALL module-level functions and classes.
+            // In Python, there is no `export` keyword — all module-level functions and classes
+            // are implicitly part of the module's public API and can be imported by other modules.
+            // Single-file analysis cannot determine if they're used elsewhere.
+            // Additionally, decorated functions (FastAPI routes, event handlers, etc.) are consumed
+            // by the framework at runtime and won't appear as local references.
+            // This is fundamentally different from JS/TS where `export` is explicit.
+            if (language === "python" && (sym.type === "function" || sym.type === "class"))
+                continue;
+            // Skip imported symbols
+            if (importedNames.has(sym.name))
+                continue;
+            // Skip React hooks and common framework patterns
+            if (shouldSkipFrameworkPattern(sym.name))
+                continue;
+            // Skip variable-type symbols that are local definitions (function params,
+            // destructured vars, catch clause vars, etc.) — these are inner-scope
+            // variables, not top-level locals worth flagging. We only skip "variable"
+            // types to preserve detection of unused function declarations.
+            if (sym.type === "variable" && localDefinitions.has(sym.name))
+                continue;
+            if (isParameterSymbol(sym, code, language))
+                continue;
+            // Check if the symbol is used
+            const isUsed = usedNames.has(sym.name);
+            if (!isUsed) {
+                const issueType = sym.type === "function" ? "unusedFunction" : "unusedExport";
+                const displayType = sym.type === "function" ? "Function" : "Variable";
+                issues.push({
+                    type: issueType,
+                    severity: "medium",
+                    name: sym.name,
+                    file: filePath,
+                    line: sym.line,
+                    message: `${displayType} '${sym.name}' is defined but never used in this file`,
+                });
+            }
+        }
+        // Step 6: Check for unused local definitions (const/let/var that aren't in symbols)
+        // This catches variables that might not be detected as symbols
+        const unusedLocals = findUnusedLocalDefinitions(code, filePath, language, usedNames, importedNames);
+        issues.push(...unusedLocals);
+    }
+    catch (error) {
+        logger.warn(`Error analyzing unused locals in ${filePath}:`, error);
+    }
+    return issues;
+}
+/**
+ * Detect file language from extension
+ */
+function detectFileLanguage(filePath) {
+    const ext = filePath.toLowerCase().split(".").pop();
+    switch (ext) {
+        case "ts":
+        case "tsx":
+            return "typescript";
+        case "js":
+        case "jsx":
+        case "mjs":
+        case "cjs":
+            return "javascript";
+        case "py":
+            return "python";
+        default:
+            return "unknown";
+    }
+}
+/**
+ * Check if a symbol should be skipped due to framework patterns
+ */
+function shouldSkipFrameworkPattern(name) {
+    // React hooks
+    if (name.startsWith("use") && name.length > 3 && /[A-Z]/.test(name[3])) {
+        return false; // Actually check these - they might be custom hooks
+    }
+    // Common framework patterns that are often auto-used
+    const skipPatterns = [
+        "default",
+        "constructor",
+        "render",
+        "componentDidMount",
+        "componentWillUnmount",
+        "getStaticProps",
+        "getServerSideProps",
+    ];
+    return skipPatterns.includes(name);
+}
+/**
+ * Check if a symbol is a function parameter (not a top-level definition)
+ */
+function isParameterSymbol(sym, code, language) {
+    // This is a heuristic - if the symbol type suggests it's a parameter, skip it
+    // The extractSymbolsAST should handle this, but we double-check here
+    return false; // Let the extractor handle this
+}
+/**
+ * Find unused local variable definitions that might not be in the symbol table
+ * This catches const/let/var declarations using AST parsing
+ */
+function findUnusedLocalDefinitions(code, filePath, language, usedNames, importedNames) {
+    const issues = [];
+    if (language !== "typescript" && language !== "javascript") {
+        return issues; // Python is handled by extractSymbolsAST
+    }
+    try {
+        const parser = getParser(language);
+        const tree = parser.parse(code);
+        // Build a comprehensive set of ALL identifier references in the file.
+        // extractUsagesAST only tracks cross-file symbol usages (for hallucination detection),
+        // so we need our own set that includes local references like `validAisles.includes(...)`.
+        const allReferences = new Set();
+        function collectReferences(node) {
+            if (!node)
+                return;
+            // Collect identifiers that are NOT in declaration positions
+            if (node.type === "identifier" || node.type === "property_identifier" || node.type === "type_identifier") {
+                const parentType = node.parent?.type;
+                // Skip if this is the NAME side of a variable_declarator (declaration, not usage)
+                const isDeclarationName = parentType === "variable_declarator" && node.parent?.childForFieldName?.("name")?.id === node.id;
+                // Skip if this is a function/method declaration name
+                const isFuncDeclName = (parentType === "function_declaration" || parentType === "method_definition") &&
+                    node.parent?.childForFieldName?.("name")?.id === node.id;
+                if (!isDeclarationName && !isFuncDeclName) {
+                    const text = node.text || getNodeText(node, code);
+                    if (text)
+                        allReferences.add(text);
+                }
+            }
+            if (node.children) {
+                for (const child of node.children) {
+                    collectReferences(child);
+                }
+            }
+        }
+        collectReferences(tree.rootNode);
+        // Merge with usedNames from extractUsagesAST
+        const combinedUsed = new Set([...usedNames, ...allReferences]);
+        // Only check MODULE-LEVEL variable declarations (direct children of program).
+        // Variables inside function/method bodies are local to that scope and their
+        // usage is NOT tracked by extractUsagesAST (which focuses on cross-file symbols).
+        // Recursing into function bodies would produce massive false positives
+        // (e.g., `const where = {}` inside an Express handler).
+        const root = tree.rootNode;
+        for (const topNode of root.children) {
+            // Handle both direct declarations and export_statement wrappers
+            const declNode = (topNode.type === "lexical_declaration" || topNode.type === "variable_declaration")
+                ? topNode
+                : (topNode.type === "export_statement"
+                    ? topNode.children?.find((c) => c.type === "lexical_declaration" || c.type === "variable_declaration")
+                    : null);
+            if (!declNode)
+                continue;
+            const isExported = declNode.parent?.type === "export_statement";
+            for (const child of declNode.children) {
+                if (child.type === "variable_declarator") {
+                    const nameNode = child.childForFieldName?.("name");
+                    if (nameNode && nameNode.type === "identifier") {
+                        const name = nameNode.text || getNodeText(nameNode, code);
+                        const line = nameNode.startPosition?.row + 1 || 1;
+                        // Skip if exported
+                        if (isExported)
+                            continue;
+                        // Skip if used (check both cross-file usages and local references)
+                        if (combinedUsed.has(name))
+                            continue;
+                        // Skip if imported
+                        if (importedNames.has(name))
+                            continue;
+                        // Skip if it starts with _ (intentionally unused)
+                        if (name.startsWith("_"))
+                            continue;
+                        // Skip React hooks (useXxx)
+                        if (name.startsWith("use") && name.length > 3 && /[A-Z]/.test(name[3]))
+                            continue;
+                        // Check if this is a function assignment (already handled by extractSymbolsAST)
+                        const valueNode = child.childForFieldName?.("value");
+                        if (valueNode && (valueNode.type === "arrow_function" ||
+                            valueNode.type === "function" ||
+                            valueNode.type === "function_expression")) {
+                            // Already handled by extractSymbolsAST
+                            continue;
+                        }
+                        // This is an unused variable
+                        issues.push({
+                            type: "unusedExport",
+                            severity: "medium",
+                            name,
+                            file: filePath,
+                            line,
+                            message: `Variable '${name}' is defined but never used in this file`,
+                        });
+                    }
+                }
+            }
+        }
+    }
+    catch (error) {
+        logger.debug(`Error in findUnusedLocalDefinitions for ${filePath}:`, error);
+    }
+    return issues;
+}
+/**
+ * Get text from an AST node
+ */
+function getNodeText(node, code) {
+    if (node.text)
+        return node.text;
+    if (node.startIndex !== undefined && node.endIndex !== undefined) {
+        return code.slice(node.startIndex, node.endIndex);
+    }
+    return "";
+}
+/**
+ * Backwards-compatible wrapper that uses AST-based detection
+ * This replaces the old regex-based detectUnusedLocals
+ */
+export function detectUnusedLocals(code, filePath) {
+    // Use the new AST-based implementation
+    return detectUnusedLocalsAST(code, filePath);
+}
+//# sourceMappingURL=unusedLocals.js.map

package/dist/tools/validation/unusedLocals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unusedLocals.js","sourceRoot":"","sources":["../../../src/tools/validation/unusedLocals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,iBAAiB,EACjB,0BAA0B,GAC3B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAE/C;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAY,EAAE,QAAgB;IAClE,MAAM,MAAM,GAAoB,EAAE,CAAC;IAEnC,sCAAsC;IACtC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,CAAC,KAAK,CAAC,8BAA8B,QAAQ,EAAE,CAAC,CAAC;QACvD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,CAAC;QACH,uDAAuD;QACvD,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAE5D,6DAA6D;QAC7D,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAClD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;QACxC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;gBAC7B,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC9B,kDAAkD;gBAClD,IAAI,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBACtD,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9C,CAAC;YACH,CAAC;QACH,CAAC;QAED,8EAA8E;QAC9E,uDAAuD;QACvD,MAAM,gBAAgB,GAAG,0BAA0B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAEpE,yDAAyD;QACzD,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QACzD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QACpC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QAED,+EAA+E;QAC/E,uFAAuF;QACvF,0EAA0E;QAC1E,gFAAgF;QAChF,qDAAqD;QACrD,IAAI,QAAQ,KAAK,YAAY,IAAI,QAAQ,KAAK,YAAY,EAAE,CAAC;YAC3D,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;gBACnC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAChC,MAAM,WAAW,GAAG,CAAC,IAAS,EAAE,EAAE;oBAChC,IAAI,CAAC,IAAI;wBAAE,OAAO;oBAClB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;wBACzG,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;wBACrC,mFAAmF;wBACnF,MAAM,MAAM,GACV,CAAC,UAAU,KAAK,qBAAqB,IAAI,IAAI,CAAC,MAAM,EAAE,iBAAiB,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;4BAClG,CAAC,CAAC,UAAU,KAAK,sBAAsB,IAAI,UAAU,KAAK,mBAAmB,CAAC;gCAC5E,IAAI,CAAC,MAAM,EAAE,iBAAiB,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;wBAC9D,IAAI,CAAC,MAAM,EAAE,CAAC;4BACZ,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;4BACrE,IAAI,IAAI;gCAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;wBAChC,CAAC;oBACH,CAAC;oBACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;wBAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ;4BAAE,WAAW,CAAC,KAAK,CAAC,CAAC;oBACxD,CAAC;gBACH,CAAC,CAAC;gBACF,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7B,CAAC;YAAC,MAAM,CAAC;gBACP,cAAc;YAChB,CAAC;QACH,CAAC;QAED,sDAAsD;QACtD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,0DAA0D;YAC1D,IAAI,GAAG,CAAC,UAAU;gBAAE,SAAS;YAE7B,kEAAkE;YAClE,4FAA4F;YAC5F,yEAAyE;YACzE,qFAAqF;YACrF,iFAAiF;YACjF,wDAAwD;YACxD,IAAI,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YAEjD,uDAAuD;YACvD,mFAAmF;YACnF,uFAAuF;YACvF,mEAAmE;YACnE,wFAAwF;YACxF,oEAAoE;YACpE,yEAAyE;YACzE,IAAI,QAAQ,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC;gBAAE,SAAS;YAEzF,wBAAwB;YACxB,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAE1C,iDAAiD;YACjD,IAAI,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAEnD,0EAA0E;YAC1E,sEAAsE;YACtE,0EAA0E;YAC1E,+DAA+D;YAC/D,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YACxE,IAAI,iBAAiB,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC;gBAAE,SAAS;YAErD,8BAA8B;YAC9B,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAEvC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,cAAc,CAAC;gBAC9E,MAAM,WAAW,GAAG,GAAG,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;gBAEtE,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,SAAS;oBACf,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,OAAO,EAAE,GAAG,WAAW,KAAK,GAAG,CAAC,IAAI,0CAA0C;iBAC/E,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,oFAAoF;QACpF,+DAA+D;QAC/D,MAAM,YAAY,GAAG,0BAA0B,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;QACpG,MAAM,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC;IAE/B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,CAAC,IAAI,CAAC,oCAAoC,QAAQ,GAAG,EAAE,KAAK,CAAC,CAAC;IACtE,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAC,QAAgB;IAC1C,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;IACpD,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,IAAI,CAAC;QACV,KAAK,KAAK;YACR,OAAO,YAAY,CAAC;QACtB,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,OAAO,YAAY,CAAC;QACtB,KAAK,IAAI;YACP,OAAO,QAAQ,CAAC;QAClB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,0BAA0B,CAAC,IAAY;IAC9C,cAAc;IACd,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,OAAO,KAAK,CAAC,CAAC,oDAAoD;IACpE,CAAC;IAED,qDAAqD;IACrD,MAAM,YAAY,GAAG;QACnB,SAAS;QACT,aAAa;QACb,QAAQ;QACR,mBAAmB;QACnB,sBAAsB;QACtB,gBAAgB;QAChB,oBAAoB;KACrB,CAAC;IAEF,OAAO,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACrC,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,GAAQ,EAAE,IAAY,EAAE,QAAgB;IACjE,8EAA8E;IAC9E,qEAAqE;IACrE,OAAO,KAAK,CAAC,CAAC,gCAAgC;AAChD,CAAC;AAED;;;GAGG;AACH,SAAS,0BAA0B,CACjC,IAAY,EACZ,QAAgB,EAChB,QAAgB,EAChB,SAAsB,EACtB,aAA0B;IAE1B,MAAM,MAAM,GAAoB,EAAE,CAAC;IAEnC,IAAI,QAAQ,KAAK,YAAY,IAAI,QAAQ,KAAK,YAAY,EAAE,CAAC;QAC3D,OAAO,MAAM,CAAC,CAAC,yCAAyC;IAC1D,CAAC;IAED,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAEhC,sEAAsE;QACtE,uFAAuF;QACvF,0FAA0F;QAC1F,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;QACxC,SAAS,iBAAiB,CAAC,IAAS;YAClC,IAAI,CAAC,IAAI;gBAAE,OAAO;YAClB,4DAA4D;YAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACzG,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;gBACrC,kFAAkF;gBAClF,MAAM,iBAAiB,GACrB,UAAU,KAAK,qBAAqB,IAAI,IAAI,CAAC,MAAM,EAAE,iBAAiB,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBACnG,qDAAqD;gBACrD,MAAM,cAAc,GAClB,CAAC,UAAU,KAAK,sBAAsB,IAAI,UAAU,KAAK,mBAAmB,CAAC;oBAC7E,IAAI,CAAC,MAAM,EAAE,iBAAiB,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;gBAC3D,IAAI,CAAC,iBAAiB,IAAI,CAAC,cAAc,EAAE,CAAC;oBAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;oBAClD,IAAI,IAAI;wBAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBAClC,iBAAiB,CAAC,KAAK,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;QACH,CAAC;QACD,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEjC,6CAA6C;QAC7C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC;QAE/D,8EAA8E;QAC9E,4EAA4E;QAC5E,kFAAkF;QAClF,uEAAuE;QACvE,wDAAwD;QACxD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC3B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,gEAAgE;YAChE,MAAM,QAAQ,GACZ,CAAC,OAAO,CAAC,IAAI,KAAK,qBAAqB,IAAI,OAAO,CAAC,IAAI,KAAK,sBAAsB,CAAC;gBACjF,CAAC,CAAC,OAAO;gBACT,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,kBAAkB;oBAClC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC;oBAC3G,CAAC,CAAC,IAAI,CAAC,CAAC;YAEhB,IAAI,CAAC,QAAQ;gBAAE,SAAS;YAExB,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,EAAE,IAAI,KAAK,kBAAkB,CAAC;YAEhE,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACtC,IAAI,KAAK,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,iBAAiB,EAAE,CAAC,MAAM,CAAC,CAAC;oBAEnD,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;wBAC/C,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,IAAI,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;wBAC1D,MAAM,IAAI,GAAG,QAAQ,CAAC,aAAa,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;wBAElD,mBAAmB;wBACnB,IAAI,UAAU;4BAAE,SAAS;wBAEzB,mEAAmE;wBACnE,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;4BAAE,SAAS;wBAErC,mBAAmB;wBACnB,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;4BAAE,SAAS;wBAEtC,kDAAkD;wBAClD,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;4BAAE,SAAS;wBAEnC,4BAA4B;wBAC5B,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;4BAAE,SAAS;wBAEjF,gFAAgF;wBAChF,MAAM,SAAS,GAAG,KAAK,CAAC,iBAAiB,EAAE,CAAC,OAAO,CAAC,CAAC;wBACrD,IAAI,SAAS,IAAI,CACf,SAAS,CAAC,IAAI,KAAK,gBAAgB;4BACnC,SAAS,CAAC,IAAI,KAAK,UAAU;4BAC7B,SAAS,CAAC,IAAI,KAAK,qBAAqB,CACzC,EAAE,CAAC;4BACF,uCAAuC;4BACvC,SAAS;wBACX,CAAC;wBAED,6BAA6B;wBAC7B,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,cAAc;4BACpB,QAAQ,EAAE,QAAQ;4BAClB,IAAI;4BACJ,IAAI,EAAE,QAAQ;4BACd,IAAI;4BACJ,OAAO,EAAE,aAAa,IAAI,0CAA0C;yBACrE,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IAEH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,CAAC,KAAK,CAAC,2CAA2C,QAAQ,GAAG,EAAE,KAAK,CAAC,CAAC;IAC9E,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,IAAS,EAAE,IAAY;IAC1C,IAAI,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAChC,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACjE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAY,EAAE,QAAgB;IAC/D,uCAAuC;IACvC,OAAO,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC/C,CAAC"}

package/dist/tools/validation/validation.d.ts

@@ -0,0 +1,98 @@
+/**
+ * Core Validation Logic Module
+ *
+ * This module contains the core validation algorithms for detecting hallucinations
+ * and validating symbols against the project context.
+ *
+ * Responsibilities:
+ * - Validate that imported packages exist in manifest files
+ * - Validate that used symbols exist in the project symbol table
+ * - Check parameter counts for function calls
+ * - Calculate confidence scores for validation issues
+ * - Generate reasoning explanations for each issue
+ * - Build symbol lookup tables from project context
+ * - Handle strict mode vs. non-strict mode validation
+ *
+ * @format
+ */
+import type { ProjectContext } from "../../context/projectContext.js";
+import type { ValidationIssue, ProjectSymbol, ManifestDependencies, ASTUsage, ASTImport, ASTTypeReference } from "./types.js";
+/**
+ * Validate that all imported packages exist in manifest files.
+ * Checks package.json for JavaScript/TypeScript and requirements.txt/pyproject.toml for Python.
+ *
+ * @param imports - Array of import statements extracted from code
+ * @param manifest - Manifest dependencies loaded from package files
+ * @param newCode - The source code being validated (for extracting line content)
+ * @param language - Programming language (default: typescript)
+ * @returns Array of validation issues for missing dependencies
+ */
+export declare function validateManifest(imports: ASTImport[], manifest: ManifestDependencies, newCode: string, language?: string, filePath?: string): Promise<ValidationIssue[]>;
+/**
+ * Extract a specific line from code by line number.
+ *
+ * @param code - The source code
+ * @param lineNum - Line number (1-indexed)
+ * @returns The trimmed line content
+ */
+export declare function getLineFromCode(code: string, lineNum: number): string;
+/**
+ * Build a symbol table from project context for validation.
+ * Converts the project context symbol index into a flat array of ProjectSymbol objects.
+ *
+ * @param context - The project context containing all symbols
+ * @param relevantSymbols - Optional list of symbol names to include (for smart context filtering)
+ * @returns Array of project symbols for validation
+ */
+export declare function buildSymbolTable(context: ProjectContext, relevantSymbols?: string[]): ProjectSymbol[];
+/**
+ * Calculate confidence score for a validation issue.
+ * Based on multiple factors: similarity to existing symbols, context, etc.
+ *
+ * @param options - Configuration for confidence calculation
+ * @returns Object containing confidence score (0-100) and reasoning explanation
+ */
+export declare function calculateConfidence(options: {
+    issueType: ValidationIssue["type"];
+    symbolName: string;
+    similarSymbols: string[];
+    existsInProject: boolean;
+    strictMode: boolean;
+}): {
+    confidence: number;
+    reasoning: string;
+};
+/**
+ * Validate that all used symbols exist in the project symbol table.
+ * Performs comprehensive validation including:
+ * - Function calls
+ * - Method calls
+ * - Class instantiations
+ * - Parameter count checking
+ * - Import validation
+ * - Python __all__ export validation
+ *
+ * @param usedSymbols - Array of symbol usages extracted from code
+ * @param symbolTable - Array of project symbols for validation
+ * @param newCode - The source code being validated
+ * @param language - Programming language ('python', 'javascript', 'typescript')
+ * @param strictMode - If true, requires explicit imports for all symbols
+ * @param imports - Array of import statements (for internal import validation)
+ * @param pythonExports - Map of Python module exports (for __all__ validation)
+ * @param typeReferences - Optional array of type references (for unused import detection)
+ * @returns Array of validation issues
+ */
+export declare function validateSymbols(usedSymbols: ASTUsage[], symbolTable: ProjectSymbol[], newCode: string, language: string, strictMode: boolean, imports?: ASTImport[], pythonExports?: Map<string, Set<string>>, context?: ProjectContext | null, // Added context
+filePath?: string, // Added file path
+missingPackages?: Set<string>, // Added missing packages for smart validation
+typeReferences?: ASTTypeReference[]): ValidationIssue[];
+/**
+ * Validate that usage of symbols follows established project patterns (Secret #5).
+ * Detects "ritual" deviations such as missing co-occurring calls.
+ *
+ * @param usedSymbols - Symbols used in the new code
+ * @param projectContext - Project context with symbol graph and patterns
+ * @returns Array of pattern deviation issues
+ */
+export declare function validateUsagePatterns(usedSymbols: ASTUsage[], projectContext: ProjectContext, filePath?: string): ValidationIssue[];
+//# sourceMappingURL=validation.d.ts.map

package/dist/tools/validation/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../src/tools/validation/validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,KAAK,EACV,eAAe,EACf,aAAa,EACb,oBAAoB,EACpB,QAAQ,EACR,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAyBpB;;;;;;;;;GASG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,SAAS,EAAE,EACpB,QAAQ,EAAE,oBAAoB,EAC9B,OAAO,EAAE,MAAM,EACf,QAAQ,GAAE,MAAqB,EAC/B,QAAQ,GAAE,MAAW,GACpB,OAAO,CAAC,eAAe,EAAE,CAAC,CA0F5B;AA4BD;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAGrE;AAMD;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,cAAc,EACvB,eAAe,CAAC,EAAE,MAAM,EAAE,GACzB,aAAa,EAAE,CAwBjB;AA+BD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE;IAC3C,SAAS,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,eAAe,EAAE,OAAO,CAAC;IACzB,UAAU,EAAE,OAAO,CAAC;CACrB,GAAG;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAiE5C;AAMD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,eAAe,CAC7B,WAAW,EAAE,QAAQ,EAAE,EACvB,WAAW,EAAE,aAAa,EAAE,EAC5B,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,OAAO,EACnB,OAAO,GAAE,SAAS,EAAO,EACzB,aAAa,GAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAa,EACnD,OAAO,GAAE,cAAc,GAAG,IAAW,EAAE,gBAAgB;AACvD,QAAQ,GAAE,MAAW,EAAE,kBAAkB;AACzC,eAAe,GAAE,GAAG,CAAC,MAAM,CAAa,EAAE,8CAA8C;AACxF,cAAc,GAAE,gBAAgB,EAAO,GACtC,eAAe,EAAE,CA0jDnB;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,WAAW,EAAE,QAAQ,EAAE,EACvB,cAAc,EAAE,cAAc,EAC9B,QAAQ,GAAE,MAAW,GACpB,eAAe,EAAE,CAkCnB"}