@grafema/core 0.2.4-beta → 0.2.6-beta

package/dist/plugins/analysis/ast/builders/MutationBuilder.js

@@ -0,0 +1,264 @@
+/**
+ * MutationBuilder - buffers FLOWS_INTO edges for array mutations, object mutations,
+ * and variable reassignments.
+ *
+ * Extracted from GraphBuilder: bufferArrayMutationEdges, bufferObjectMutationEdges,
+ * bufferVariableReassignmentEdges (REG-422).
+ */
+import { basename } from 'path';
+import { NodeFactory } from '../../../../core/NodeFactory.js';
+export class MutationBuilder {
+    ctx;
+    constructor(ctx) {
+        this.ctx = ctx;
+    }
+    buffer(module, data) {
+        const { arrayMutations = [], objectMutations = [], variableReassignments = [], variableDeclarations = [], parameters = [], literals = [], objectLiterals = [], arrayLiterals = [], callSites = [], methodCalls = [], functions = [], classDeclarations = [], } = data;
+        this.bufferArrayMutationEdges(arrayMutations, variableDeclarations, parameters, literals, objectLiterals, arrayLiterals, callSites);
+        this.bufferObjectMutationEdges(objectMutations, variableDeclarations, parameters, functions, classDeclarations);
+        this.bufferVariableReassignmentEdges(variableReassignments, variableDeclarations, callSites, methodCalls, parameters);
+    }
+    /**
+     * Buffer FLOWS_INTO edges for array mutations (push, unshift, splice, indexed assignment)
+     * Creates edges from inserted values to the array variable.
+     *
+     * REG-117: Handles nested mutations like obj.arr.push(item)
+     * REG-392: Handles non-variable values (LITERAL, OBJECT_LITERAL, ARRAY_LITERAL, CALL)
+     */
+    bufferArrayMutationEdges(arrayMutations, variableDeclarations, parameters, literals, objectLiterals, arrayLiterals, callSites) {
+        for (const mutation of arrayMutations) {
+            const { arrayName, mutationScopePath, mutationMethod, insertedValues, file, isNested, baseObjectName, propertyName } = mutation;
+            const scopePath = mutationScopePath ?? [];
+            // REG-117: For nested mutations (obj.arr.push), resolve target node
+            let targetNodeId = null;
+            let nestedProperty;
+            if (isNested && baseObjectName) {
+                // Skip 'this.items.push' - 'this' is not a variable node
+                if (baseObjectName === 'this')
+                    continue;
+                // Nested mutation: try base object lookup with scope chain (REG-309)
+                const baseVar = this.ctx.resolveVariableInScope(baseObjectName, scopePath, file, variableDeclarations);
+                const baseParam = !baseVar ? this.ctx.resolveParameterInScope(baseObjectName, scopePath, file, parameters) : null;
+                targetNodeId = baseVar?.id ?? baseParam?.id ?? null;
+                nestedProperty = propertyName;
+            }
+            else {
+                // Direct mutation: arr.push() (REG-309)
+                const arrayVar = this.ctx.resolveVariableInScope(arrayName, scopePath, file, variableDeclarations);
+                const arrayParam = !arrayVar ? this.ctx.resolveParameterInScope(arrayName, scopePath, file, parameters) : null;
+                targetNodeId = arrayVar?.id ?? arrayParam?.id ?? null;
+            }
+            if (!targetNodeId)
+                continue;
+            // Create FLOWS_INTO edges for each inserted value
+            for (const arg of insertedValues) {
+                let sourceNodeId;
+                if (arg.valueType === 'VARIABLE' && arg.valueName) {
+                    // Scope-aware lookup for source variable (REG-309)
+                    const sourceVar = this.ctx.resolveVariableInScope(arg.valueName, scopePath, file, variableDeclarations);
+                    const sourceParam = !sourceVar ? this.ctx.resolveParameterInScope(arg.valueName, scopePath, file, parameters) : null;
+                    sourceNodeId = sourceVar?.id ?? sourceParam?.id;
+                }
+                else if (arg.valueNodeId) {
+                    // REG-392: Direct node ID for indexed assignments (LITERAL, OBJECT_LITERAL, ARRAY_LITERAL)
+                    sourceNodeId = arg.valueNodeId;
+                }
+                else if (arg.valueType === 'LITERAL' && arg.valueLine !== undefined && arg.valueColumn !== undefined) {
+                    // REG-392: Find LITERAL node by coordinates (push/unshift — nodes created by extractArguments)
+                    const literalNode = literals.find(l => l.line === arg.valueLine && l.column === arg.valueColumn && l.file === file);
+                    sourceNodeId = literalNode?.id;
+                }
+                else if (arg.valueType === 'OBJECT_LITERAL' && arg.valueLine !== undefined && arg.valueColumn !== undefined) {
+                    // REG-392: Find OBJECT_LITERAL node by coordinates
+                    const objNode = objectLiterals.find(o => o.line === arg.valueLine && o.column === arg.valueColumn && o.file === file);
+                    sourceNodeId = objNode?.id;
+                }
+                else if (arg.valueType === 'ARRAY_LITERAL' && arg.valueLine !== undefined && arg.valueColumn !== undefined) {
+                    // REG-392: Find ARRAY_LITERAL node by coordinates
+                    const arrNode = arrayLiterals.find(a => a.line === arg.valueLine && a.column === arg.valueColumn && a.file === file);
+                    sourceNodeId = arrNode?.id;
+                }
+                else if (arg.valueType === 'CALL' && arg.callLine !== undefined && arg.callColumn !== undefined) {
+                    // REG-392: Find CALL_SITE node by coordinates
+                    const callSite = callSites.find(cs => cs.line === arg.callLine && cs.column === arg.callColumn && cs.file === file);
+                    sourceNodeId = callSite?.id;
+                }
+                if (sourceNodeId) {
+                    const edgeData = {
+                        type: 'FLOWS_INTO',
+                        src: sourceNodeId,
+                        dst: targetNodeId,
+                        mutationMethod,
+                        argIndex: arg.argIndex
+                    };
+                    if (arg.isSpread) {
+                        edgeData.isSpread = true;
+                    }
+                    if (nestedProperty) {
+                        edgeData.nestedProperty = nestedProperty;
+                    }
+                    this.ctx.bufferEdge(edgeData);
+                }
+            }
+        }
+    }
+    /**
+     * Buffer FLOWS_INTO edges for object mutations (property assignment, Object.assign)
+     * Creates edges from source values to the object variable being mutated.
+     *
+     * REG-152: For 'this.prop = value' patterns inside classes, creates edges
+     * to the CLASS node with mutationType: 'this_property'.
+     */
+    bufferObjectMutationEdges(objectMutations, variableDeclarations, parameters, functions, classDeclarations) {
+        for (const mutation of objectMutations) {
+            const { objectName, mutationScopePath, propertyName, mutationType, computedPropertyVar, value, file, enclosingClassName } = mutation;
+            const scopePath = mutationScopePath ?? [];
+            // Find the target node (object variable, parameter, or class for 'this')
+            let objectNodeId = null;
+            let effectiveMutationType = mutationType;
+            if (objectName !== 'this') {
+                // Regular object - find variable, parameter, or function using scope chain (REG-309)
+                const objectVar = this.ctx.resolveVariableInScope(objectName, scopePath, file, variableDeclarations);
+                const objectParam = !objectVar ? this.ctx.resolveParameterInScope(objectName, scopePath, file, parameters) : null;
+                const objectFunc = !objectVar && !objectParam ? functions.find(f => f.name === objectName && f.file === file) : null;
+                objectNodeId = objectVar?.id ?? objectParam?.id ?? objectFunc?.id ?? null;
+                if (!objectNodeId)
+                    continue;
+            }
+            else {
+                // REG-152: 'this' mutations - find the CLASS node
+                if (!enclosingClassName)
+                    continue; // Skip if no class context (e.g., standalone function)
+                // Compare using basename since classes use scopeTracker.file (basename)
+                // but mutations use module.file (full path)
+                const fileBasename = basename(file);
+                const classDecl = classDeclarations.find(c => c.name === enclosingClassName && c.file === fileBasename);
+                objectNodeId = classDecl?.id ?? null;
+                if (!objectNodeId)
+                    continue; // Skip if class not found
+                // Use special mutation type to distinguish from regular property mutations
+                effectiveMutationType = 'this_property';
+            }
+            // Create FLOWS_INTO edge for VARIABLE value type
+            if (value.valueType === 'VARIABLE' && value.valueName) {
+                // Find the source: can be variable, parameter, or function using scope chain (REG-309)
+                const sourceVar = this.ctx.resolveVariableInScope(value.valueName, scopePath, file, variableDeclarations);
+                const sourceParam = !sourceVar ? this.ctx.resolveParameterInScope(value.valueName, scopePath, file, parameters) : null;
+                const sourceFunc = !sourceVar && !sourceParam ? functions.find(f => f.name === value.valueName && f.file === file) : null;
+                const sourceNodeId = sourceVar?.id ?? sourceParam?.id ?? sourceFunc?.id;
+                if (sourceNodeId && objectNodeId) {
+                    const edgeData = {
+                        type: 'FLOWS_INTO',
+                        src: sourceNodeId,
+                        dst: objectNodeId,
+                        mutationType: effectiveMutationType,
+                        propertyName,
+                        computedPropertyVar // For enrichment phase resolution
+                    };
+                    if (value.argIndex !== undefined) {
+                        edgeData.argIndex = value.argIndex;
+                    }
+                    if (value.isSpread) {
+                        edgeData.isSpread = true;
+                    }
+                    this.ctx.bufferEdge(edgeData);
+                }
+            }
+            // For literals, object literals, etc. - we just track variable -> object flows for now
+        }
+    }
+    /**
+     * Buffer FLOWS_INTO edges for variable reassignments.
+     * Handles: x = y, x += y (when x is already declared, not initialization)
+     *
+     * Edge patterns:
+     * - Simple assignment (=): source --FLOWS_INTO--> variable
+     * - Compound operators (+=, -=, etc.):
+     *   - source --FLOWS_INTO--> variable (write new value)
+     *   - variable --READS_FROM--> variable (self-loop: reads current value before write)
+     *
+     * REG-309: Uses scope-aware variable lookup via resolveVariableInScope().
+     *
+     * REG-290: Complete implementation with inline node creation (no continue statements).
+     */
+    bufferVariableReassignmentEdges(variableReassignments, variableDeclarations, callSites, methodCalls, parameters) {
+        // Note: No longer using Map-based cache - scope-aware lookup requires scope chain walk
+        // Performance: O(n*m*s) where s = scope depth (typically 2-3), acceptable for correctness
+        for (const reassignment of variableReassignments) {
+            const { variableName, mutationScopePath, valueType, valueName, valueId, callLine, callColumn, operator, literalValue, expressionType, expressionMetadata, file, line, column } = reassignment;
+            // Find target variable node using scope chain resolution (REG-309)
+            const scopePath = mutationScopePath ?? [];
+            const targetVar = this.ctx.resolveVariableInScope(variableName, scopePath, file, variableDeclarations);
+            const targetParam = !targetVar ? this.ctx.resolveParameterInScope(variableName, scopePath, file, parameters) : null;
+            const targetNodeId = targetVar?.id ?? targetParam?.id;
+            if (!targetNodeId) {
+                // Variable not found - could be external reference
+                continue;
+            }
+            // Resolve source node based on value type
+            let sourceNodeId = null;
+            // LITERAL: Create node inline (NO CONTINUE STATEMENT)
+            if (valueType === 'LITERAL' && valueId) {
+                // Create LITERAL node
+                this.ctx.bufferNode({
+                    type: 'LITERAL',
+                    id: valueId,
+                    value: literalValue,
+                    file,
+                    line,
+                    column
+                });
+                sourceNodeId = valueId;
+            }
+            // VARIABLE: Look up existing variable/parameter node using scope chain (REG-309)
+            else if (valueType === 'VARIABLE' && valueName) {
+                const sourceVar = this.ctx.resolveVariableInScope(valueName, scopePath, file, variableDeclarations);
+                const sourceParam = !sourceVar ? this.ctx.resolveParameterInScope(valueName, scopePath, file, parameters) : null;
+                sourceNodeId = sourceVar?.id ?? sourceParam?.id ?? null;
+            }
+            // CALL_SITE: Look up existing call node
+            else if (valueType === 'CALL_SITE' && callLine && callColumn) {
+                const callSite = callSites.find(cs => cs.line === callLine && cs.column === callColumn && cs.file === file);
+                sourceNodeId = callSite?.id ?? null;
+            }
+            // METHOD_CALL: Look up existing method call node
+            else if (valueType === 'METHOD_CALL' && callLine && callColumn) {
+                const methodCall = methodCalls.find(mc => mc.line === callLine && mc.column === callColumn && mc.file === file);
+                sourceNodeId = methodCall?.id ?? null;
+            }
+            // EXPRESSION: Create node inline (NO CONTINUE STATEMENT)
+            else if (valueType === 'EXPRESSION' && valueId && expressionType) {
+                // Create EXPRESSION node using NodeFactory
+                const expressionNode = NodeFactory.createExpressionFromMetadata(expressionType, file, line, column, {
+                    id: valueId, // ID from JSASTAnalyzer
+                    object: expressionMetadata?.object,
+                    property: expressionMetadata?.property,
+                    computed: expressionMetadata?.computed,
+                    computedPropertyVar: expressionMetadata?.computedPropertyVar ?? undefined,
+                    operator: expressionMetadata?.operator
+                });
+                this.ctx.bufferNode(expressionNode);
+                sourceNodeId = valueId;
+            }
+            // Create edges if source found
+            if (sourceNodeId && targetNodeId) {
+                // For compound operators (operator !== '='), LHS reads its own current value
+                // Create READS_FROM self-loop (Linus requirement)
+                if (operator !== '=') {
+                    this.ctx.bufferEdge({
+                        type: 'READS_FROM',
+                        src: targetNodeId, // Variable reads from...
+                        dst: targetNodeId // ...itself (self-loop)
+                    });
+                }
+                // RHS flows into LHS (write side)
+                this.ctx.bufferEdge({
+                    type: 'FLOWS_INTO',
+                    src: sourceNodeId,
+                    dst: targetNodeId
+                });
+            }
+        }
+    }
+}
+//# sourceMappingURL=MutationBuilder.js.map

package/dist/plugins/analysis/ast/builders/MutationBuilder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MutationBuilder.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/MutationBuilder.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAChC,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAoB9D,MAAM,OAAO,eAAe;IACN;IAApB,YAAoB,GAAmB;QAAnB,QAAG,GAAH,GAAG,CAAgB;IAAG,CAAC;IAE3C,MAAM,CAAC,MAAkB,EAAE,IAAoB;QAC7C,MAAM,EACJ,cAAc,GAAG,EAAE,EACnB,eAAe,GAAG,EAAE,EACpB,qBAAqB,GAAG,EAAE,EAC1B,oBAAoB,GAAG,EAAE,EACzB,UAAU,GAAG,EAAE,EACf,QAAQ,GAAG,EAAE,EACb,cAAc,GAAG,EAAE,EACnB,aAAa,GAAG,EAAE,EAClB,SAAS,GAAG,EAAE,EACd,WAAW,GAAG,EAAE,EAChB,SAAS,GAAG,EAAE,EACd,iBAAiB,GAAG,EAAE,GACvB,GAAG,IAAI,CAAC;QAET,IAAI,CAAC,wBAAwB,CAC3B,cAAc,EAAE,oBAAoB,EAAE,UAAU,EAChD,QAAQ,EAAE,cAAc,EAAE,aAAa,EAAE,SAAS,CACnD,CAAC;QACF,IAAI,CAAC,yBAAyB,CAC5B,eAAe,EAAE,oBAAoB,EAAE,UAAU,EACjD,SAAS,EAAE,iBAAiB,CAC7B,CAAC;QACF,IAAI,CAAC,+BAA+B,CAClC,qBAAqB,EAAE,oBAAoB,EAAE,SAAS,EACtD,WAAW,EAAE,UAAU,CACxB,CAAC;IACJ,CAAC;IAED;;;;;;OAMG;IACK,wBAAwB,CAC9B,cAAmC,EACnC,oBAA+C,EAC/C,UAA2B,EAC3B,QAAuB,EACvB,cAAmC,EACnC,aAAiC,EACjC,SAAyB;QAEzB,KAAK,MAAM,QAAQ,IAAI,cAAc,EAAE,CAAC;YACtC,MAAM,EAAE,SAAS,EAAE,iBAAiB,EAAE,cAAc,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC;YAEhI,MAAM,SAAS,GAAG,iBAAiB,IAAI,EAAE,CAAC;YAE1C,oEAAoE;YACpE,IAAI,YAAY,GAAkB,IAAI,CAAC;YACvC,IAAI,cAAkC,CAAC;YAEvC,IAAI,QAAQ,IAAI,cAAc,EAAE,CAAC;gBAC/B,yDAAyD;gBACzD,IAAI,cAAc,KAAK,MAAM;oBAAE,SAAS;gBAExC,qEAAqE;gBACrE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,cAAc,EAAE,SAAS,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC;gBACvG,MAAM,SAAS,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,cAAc,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAClH,YAAY,GAAG,OAAO,EAAE,EAAE,IAAI,SAAS,EAAE,EAAE,IAAI,IAAI,CAAC;gBACpD,cAAc,GAAG,YAAY,CAAC;YAChC,CAAC;iBAAM,CAAC;gBACN,wCAAwC;gBACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC;gBACnG,MAAM,UAAU,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC/G,YAAY,GAAG,QAAQ,EAAE,EAAE,IAAI,UAAU,EAAE,EAAE,IAAI,IAAI,CAAC;YACxD,CAAC;YAED,IAAI,CAAC,YAAY;gBAAE,SAAS;YAE5B,kDAAkD;YAClD,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;gBACjC,IAAI,YAAgC,CAAC;gBAErC,IAAI,GAAG,CAAC,SAAS,KAAK,UAAU,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;oBAClD,mDAAmD;oBACnD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC;oBACxG,MAAM,WAAW,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBACrH,YAAY,GAAG,SAAS,EAAE,EAAE,IAAI,WAAW,EAAE,EAAE,CAAC;gBAClD,CAAC;qBAAM,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;oBAC3B,2FAA2F;oBAC3F,YAAY,GAAG,GAAG,CAAC,WAAW,CAAC;gBACjC,CAAC;qBAAM,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;oBACvG,+FAA+F;oBAC/F,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACpC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAC5E,CAAC;oBACF,YAAY,GAAG,WAAW,EAAE,EAAE,CAAC;gBACjC,CAAC;qBAAM,IAAI,GAAG,CAAC,SAAS,KAAK,gBAAgB,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;oBAC9G,mDAAmD;oBACnD,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACtC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAC5E,CAAC;oBACF,YAAY,GAAG,OAAO,EAAE,EAAE,CAAC;gBAC7B,CAAC;qBAAM,IAAI,GAAG,CAAC,SAAS,KAAK,eAAe,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;oBAC7G,kDAAkD;oBAClD,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACrC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAC5E,CAAC;oBACF,YAAY,GAAG,OAAO,EAAE,EAAE,CAAC;gBAC7B,CAAC;qBAAM,IAAI,GAAG,CAAC,SAAS,KAAK,MAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;oBAClG,8CAA8C;oBAC9C,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CACnC,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,MAAM,KAAK,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,CAC7E,CAAC;oBACF,YAAY,GAAG,QAAQ,EAAE,EAAE,CAAC;gBAC9B,CAAC;gBAED,IAAI,YAAY,EAAE,CAAC;oBACjB,MAAM,QAAQ,GAAc;wBAC1B,IAAI,EAAE,YAAY;wBAClB,GAAG,EAAE,YAAY;wBACjB,GAAG,EAAE,YAAY;wBACjB,cAAc;wBACd,QAAQ,EAAE,GAAG,CAAC,QAAQ;qBACvB,CAAC;oBACF,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;wBACjB,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC;oBAC3B,CAAC;oBACD,IAAI,cAAc,EAAE,CAAC;wBACnB,QAAQ,CAAC,cAAc,GAAG,cAAc,CAAC;oBAC3C,CAAC;oBACD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBAChC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;;OAMG;IACK,yBAAyB,CAC/B,eAAqC,EACrC,oBAA+C,EAC/C,UAA2B,EAC3B,SAAyB,EACzB,iBAAyC;QAEzC,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;YACvC,MAAM,EAAE,UAAU,EAAE,iBAAiB,EAAE,YAAY,EAAE,YAAY,EAAE,mBAAmB,EAAE,KAAK,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,QAAQ,CAAC;YAErI,MAAM,SAAS,GAAG,iBAAiB,IAAI,EAAE,CAAC;YAE1C,yEAAyE;YACzE,IAAI,YAAY,GAAkB,IAAI,CAAC;YACvC,IAAI,qBAAqB,GAAoE,YAAY,CAAC;YAE1G,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;gBAC1B,qFAAqF;gBACrF,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC;gBACrG,MAAM,WAAW,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAClH,MAAM,UAAU,GAAG,CAAC,SAAS,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBACrH,YAAY,GAAG,SAAS,EAAE,EAAE,IAAI,WAAW,EAAE,EAAE,IAAI,UAAU,EAAE,EAAE,IAAI,IAAI,CAAC;gBAC1E,IAAI,CAAC,YAAY;oBAAE,SAAS;YAC9B,CAAC;iBAAM,CAAC;gBACN,kDAAkD;gBAClD,IAAI,CAAC,kBAAkB;oBAAE,SAAS,CAAE,uDAAuD;gBAE3F,wEAAwE;gBACxE,4CAA4C;gBAC5C,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACpC,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;gBACxG,YAAY,GAAG,SAAS,EAAE,EAAE,IAAI,IAAI,CAAC;gBAErC,IAAI,CAAC,YAAY;oBAAE,SAAS,CAAE,0BAA0B;gBAExD,2EAA2E;gBAC3E,qBAAqB,GAAG,eAAe,CAAC;YAC1C,CAAC;YAED,iDAAiD;YACjD,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBACtD,uFAAuF;gBACvF,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,KAAK,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC;gBAC1G,MAAM,WAAW,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,KAAK,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBACvH,MAAM,UAAU,GAAG,CAAC,SAAS,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC1H,MAAM,YAAY,GAAG,SAAS,EAAE,EAAE,IAAI,WAAW,EAAE,EAAE,IAAI,UAAU,EAAE,EAAE,CAAC;gBAExE,IAAI,YAAY,IAAI,YAAY,EAAE,CAAC;oBACjC,MAAM,QAAQ,GAAc;wBAC1B,IAAI,EAAE,YAAY;wBAClB,GAAG,EAAE,YAAY;wBACjB,GAAG,EAAE,YAAY;wBACjB,YAAY,EAAE,qBAAqB;wBACnC,YAAY;wBACZ,mBAAmB,CAAE,kCAAkC;qBACxD,CAAC;oBACF,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;wBACjC,QAAQ,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;oBACrC,CAAC;oBACD,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;wBACnB,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC;oBAC3B,CAAC;oBACD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBAChC,CAAC;YACH,CAAC;YACD,uFAAuF;QACzF,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;OAaG;IACK,+BAA+B,CACrC,qBAAiD,EACjD,oBAA+C,EAC/C,SAAyB,EACzB,WAA6B,EAC7B,UAA2B;QAE3B,uFAAuF;QACvF,0FAA0F;QAE1F,KAAK,MAAM,YAAY,IAAI,qBAAqB,EAAE,CAAC;YACjD,MAAM,EACJ,YAAY,EACZ,iBAAiB,EACjB,SAAS,EACT,SAAS,EACT,OAAO,EACP,QAAQ,EACR,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,kBAAkB,EAClB,IAAI,EACJ,IAAI,EACJ,MAAM,EACP,GAAG,YAAY,CAAC;YAEjB,mEAAmE;YACnE,MAAM,SAAS,GAAG,iBAAiB,IAAI,EAAE,CAAC;YAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC;YACvG,MAAM,WAAW,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACpH,MAAM,YAAY,GAAG,SAAS,EAAE,EAAE,IAAI,WAAW,EAAE,EAAE,CAAC;YAEtD,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,mDAAmD;gBACnD,SAAS;YACX,CAAC;YAED,0CAA0C;YAC1C,IAAI,YAAY,GAAkB,IAAI,CAAC;YAEvC,sDAAsD;YACtD,IAAI,SAAS,KAAK,SAAS,IAAI,OAAO,EAAE,CAAC;gBACvC,sBAAsB;gBACtB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,OAAO;oBACX,KAAK,EAAE,YAAY;oBACnB,IAAI;oBACJ,IAAI;oBACJ,MAAM;iBACP,CAAC,CAAC;gBACH,YAAY,GAAG,OAAO,CAAC;YACzB,CAAC;YACD,iFAAiF;iBAC5E,IAAI,SAAS,KAAK,UAAU,IAAI,SAAS,EAAE,CAAC;gBAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,sBAAsB,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC;gBACpG,MAAM,WAAW,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBACjH,YAAY,GAAG,SAAS,EAAE,EAAE,IAAI,WAAW,EAAE,EAAE,IAAI,IAAI,CAAC;YAC1D,CAAC;YACD,wCAAwC;iBACnC,IAAI,SAAS,KAAK,WAAW,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;gBAC7D,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CACnC,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,KAAK,UAAU,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,CACrE,CAAC;gBACF,YAAY,GAAG,QAAQ,EAAE,EAAE,IAAI,IAAI,CAAC;YACtC,CAAC;YACD,iDAAiD;iBAC5C,IAAI,SAAS,KAAK,aAAa,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;gBAC/D,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CACvC,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,KAAK,UAAU,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,CACrE,CAAC;gBACF,YAAY,GAAG,UAAU,EAAE,EAAE,IAAI,IAAI,CAAC;YACxC,CAAC;YACD,yDAAyD;iBACpD,IAAI,SAAS,KAAK,YAAY,IAAI,OAAO,IAAI,cAAc,EAAE,CAAC;gBACjE,2CAA2C;gBAC3C,MAAM,cAAc,GAAG,WAAW,CAAC,4BAA4B,CAC7D,cAAc,EACd,IAAI,EACJ,IAAI,EACJ,MAAM,EACN;oBACE,EAAE,EAAE,OAAO,EAAG,wBAAwB;oBACtC,MAAM,EAAE,kBAAkB,EAAE,MAAM;oBAClC,QAAQ,EAAE,kBAAkB,EAAE,QAAQ;oBACtC,QAAQ,EAAE,kBAAkB,EAAE,QAAQ;oBACtC,mBAAmB,EAAE,kBAAkB,EAAE,mBAAmB,IAAI,SAAS;oBACzE,QAAQ,EAAE,kBAAkB,EAAE,QAAQ;iBACvC,CACF,CAAC;gBAEF,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;gBACpC,YAAY,GAAG,OAAO,CAAC;YACzB,CAAC;YAED,+BAA+B;YAC/B,IAAI,YAAY,IAAI,YAAY,EAAE,CAAC;gBACjC,6EAA6E;gBAC7E,kDAAkD;gBAClD,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;oBACrB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;wBAClB,IAAI,EAAE,YAAY;wBAClB,GAAG,EAAE,YAAY,EAAG,yBAAyB;wBAC7C,GAAG,EAAE,YAAY,CAAG,wBAAwB;qBAC7C,CAAC,CAAC;gBACL,CAAC;gBAED,kCAAkC;gBAClC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,YAAY;oBAClB,GAAG,EAAE,YAAY;oBACjB,GAAG,EAAE,YAAY;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;CACF"}

package/dist/plugins/analysis/ast/builders/ReturnBuilder.d.ts

@@ -0,0 +1,23 @@
+/**
+ * ReturnBuilder - buffers RETURNS edges connecting return expressions to their containing functions.
+ *
+ * Extracted from GraphBuilder.bufferReturnEdges (REG-422).
+ */
+import type { ModuleNode, ASTCollections } from '../types.js';
+import type { BuilderContext, DomainBuilder } from './types.js';
+export declare class ReturnBuilder implements DomainBuilder {
+    private ctx;
+    constructor(ctx: BuilderContext);
+    buffer(module: ModuleNode, data: ASTCollections): void;
+    /**
+     * Buffer RETURNS edges connecting return expressions to their containing functions.
+     *
+     * Edge direction: returnExpression --RETURNS--> function
+     *
+     * This enables tracing data flow through function calls:
+     * - Query: "What does formatDate return?"
+     * - Answer: Follow RETURNS edges from function to see all possible return values
+     */
+    private bufferReturnEdges;
+}
+//# sourceMappingURL=ReturnBuilder.d.ts.map

package/dist/plugins/analysis/ast/builders/ReturnBuilder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ReturnBuilder.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/ReturnBuilder.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EACV,UAAU,EACV,cAAc,EAMf,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhE,qBAAa,aAAc,YAAW,aAAa;IACrC,OAAO,CAAC,GAAG;gBAAH,GAAG,EAAE,cAAc;IAEvC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,GAAG,IAAI;IAWtD;;;;;;;;OAQG;IACH,OAAO,CAAC,iBAAiB;CA6O1B"}

package/dist/plugins/analysis/ast/builders/ReturnBuilder.js

@@ -0,0 +1,206 @@
+/**
+ * ReturnBuilder - buffers RETURNS edges connecting return expressions to their containing functions.
+ *
+ * Extracted from GraphBuilder.bufferReturnEdges (REG-422).
+ */
+import { NodeFactory } from '../../../../core/NodeFactory.js';
+export class ReturnBuilder {
+    ctx;
+    constructor(ctx) {
+        this.ctx = ctx;
+    }
+    buffer(module, data) {
+        const { returnStatements = [], callSites = [], methodCalls = [], variableDeclarations = [], parameters = [], } = data;
+        this.bufferReturnEdges(returnStatements, callSites, methodCalls, variableDeclarations, parameters);
+    }
+    /**
+     * Buffer RETURNS edges connecting return expressions to their containing functions.
+     *
+     * Edge direction: returnExpression --RETURNS--> function
+     *
+     * This enables tracing data flow through function calls:
+     * - Query: "What does formatDate return?"
+     * - Answer: Follow RETURNS edges from function to see all possible return values
+     */
+    bufferReturnEdges(returnStatements, callSites, methodCalls, variableDeclarations, parameters) {
+        for (const ret of returnStatements) {
+            const { parentFunctionId, returnValueType, file } = ret;
+            // Skip if no value returned (bare return;)
+            if (returnValueType === 'NONE') {
+                continue;
+            }
+            let sourceNodeId = null;
+            switch (returnValueType) {
+                case 'LITERAL':
+                    // Direct reference to literal node
+                    sourceNodeId = ret.returnValueId ?? null;
+                    break;
+                case 'VARIABLE': {
+                    // Find variable declaration by name in same file
+                    const varName = ret.returnValueName;
+                    if (varName) {
+                        const sourceVar = variableDeclarations.find(v => v.name === varName && v.file === file);
+                        if (sourceVar) {
+                            sourceNodeId = sourceVar.id;
+                        }
+                        else {
+                            // Check parameters
+                            const sourceParam = parameters.find(p => p.name === varName && p.file === file);
+                            if (sourceParam) {
+                                sourceNodeId = sourceParam.id;
+                            }
+                        }
+                    }
+                    break;
+                }
+                case 'CALL_SITE': {
+                    // Find call site by coordinates
+                    const { returnValueLine, returnValueColumn, returnValueCallName } = ret;
+                    if (returnValueLine && returnValueColumn) {
+                        const callSite = callSites.find(cs => cs.line === returnValueLine &&
+                            cs.column === returnValueColumn &&
+                            (returnValueCallName ? cs.name === returnValueCallName : true));
+                        if (callSite) {
+                            sourceNodeId = callSite.id;
+                        }
+                    }
+                    break;
+                }
+                case 'METHOD_CALL': {
+                    // Find method call by coordinates and method name
+                    const { returnValueLine, returnValueColumn, returnValueCallName } = ret;
+                    if (returnValueLine && returnValueColumn) {
+                        const methodCall = methodCalls.find(mc => mc.line === returnValueLine &&
+                            mc.column === returnValueColumn &&
+                            mc.file === file &&
+                            (returnValueCallName ? mc.method === returnValueCallName : true));
+                        if (methodCall) {
+                            sourceNodeId = methodCall.id;
+                        }
+                    }
+                    break;
+                }
+                case 'EXPRESSION': {
+                    // REG-276: Create EXPRESSION node and DERIVES_FROM edges for return expressions
+                    const { expressionType, returnValueId, returnValueLine, returnValueColumn, operator, object, property, computed, objectSourceName, leftSourceName, rightSourceName, consequentSourceName, alternateSourceName, expressionSourceNames, unaryArgSourceName } = ret;
+                    // Skip if no expression ID was generated
+                    if (!returnValueId) {
+                        break;
+                    }
+                    // Create EXPRESSION node using NodeFactory
+                    const expressionNode = NodeFactory.createExpressionFromMetadata(expressionType || 'Unknown', file, returnValueLine || ret.line, returnValueColumn || ret.column, {
+                        id: returnValueId,
+                        object,
+                        property,
+                        computed,
+                        operator
+                    });
+                    this.ctx.bufferNode(expressionNode);
+                    sourceNodeId = returnValueId;
+                    // Buffer DERIVES_FROM edges based on expression type
+                    // Helper function to find source variable or parameter
+                    const findSource = (name) => {
+                        const variable = variableDeclarations.find(v => v.name === name && v.file === file);
+                        if (variable)
+                            return variable.id;
+                        const param = parameters.find(p => p.name === name && p.file === file);
+                        if (param)
+                            return param.id;
+                        return null;
+                    };
+                    // MemberExpression: derives from the object
+                    if (expressionType === 'MemberExpression' && objectSourceName) {
+                        const sourceId = findSource(objectSourceName);
+                        if (sourceId) {
+                            this.ctx.bufferEdge({
+                                type: 'DERIVES_FROM',
+                                src: returnValueId,
+                                dst: sourceId
+                            });
+                        }
+                    }
+                    // BinaryExpression / LogicalExpression: derives from left and right operands
+                    if (expressionType === 'BinaryExpression' || expressionType === 'LogicalExpression') {
+                        if (leftSourceName) {
+                            const sourceId = findSource(leftSourceName);
+                            if (sourceId) {
+                                this.ctx.bufferEdge({
+                                    type: 'DERIVES_FROM',
+                                    src: returnValueId,
+                                    dst: sourceId
+                                });
+                            }
+                        }
+                        if (rightSourceName) {
+                            const sourceId = findSource(rightSourceName);
+                            if (sourceId) {
+                                this.ctx.bufferEdge({
+                                    type: 'DERIVES_FROM',
+                                    src: returnValueId,
+                                    dst: sourceId
+                                });
+                            }
+                        }
+                    }
+                    // ConditionalExpression: derives from consequent and alternate
+                    if (expressionType === 'ConditionalExpression') {
+                        if (consequentSourceName) {
+                            const sourceId = findSource(consequentSourceName);
+                            if (sourceId) {
+                                this.ctx.bufferEdge({
+                                    type: 'DERIVES_FROM',
+                                    src: returnValueId,
+                                    dst: sourceId
+                                });
+                            }
+                        }
+                        if (alternateSourceName) {
+                            const sourceId = findSource(alternateSourceName);
+                            if (sourceId) {
+                                this.ctx.bufferEdge({
+                                    type: 'DERIVES_FROM',
+                                    src: returnValueId,
+                                    dst: sourceId
+                                });
+                            }
+                        }
+                    }
+                    // UnaryExpression: derives from the argument
+                    if (expressionType === 'UnaryExpression' && unaryArgSourceName) {
+                        const sourceId = findSource(unaryArgSourceName);
+                        if (sourceId) {
+                            this.ctx.bufferEdge({
+                                type: 'DERIVES_FROM',
+                                src: returnValueId,
+                                dst: sourceId
+                            });
+                        }
+                    }
+                    // TemplateLiteral: derives from all embedded expressions
+                    if (expressionType === 'TemplateLiteral' && expressionSourceNames && expressionSourceNames.length > 0) {
+                        for (const sourceName of expressionSourceNames) {
+                            const sourceId = findSource(sourceName);
+                            if (sourceId) {
+                                this.ctx.bufferEdge({
+                                    type: 'DERIVES_FROM',
+                                    src: returnValueId,
+                                    dst: sourceId
+                                });
+                            }
+                        }
+                    }
+                    break;
+                }
+            }
+            // Create RETURNS edge if we found a source node
+            if (sourceNodeId && parentFunctionId) {
+                this.ctx.bufferEdge({
+                    type: 'RETURNS',
+                    src: sourceNodeId,
+                    dst: parentFunctionId
+                });
+            }
+        }
+    }
+}
+//# sourceMappingURL=ReturnBuilder.js.map

package/dist/plugins/analysis/ast/builders/ReturnBuilder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ReturnBuilder.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/ReturnBuilder.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAY9D,MAAM,OAAO,aAAa;IACJ;IAApB,YAAoB,GAAmB;QAAnB,QAAG,GAAH,GAAG,CAAgB;IAAG,CAAC;IAE3C,MAAM,CAAC,MAAkB,EAAE,IAAoB;QAC7C,MAAM,EACJ,gBAAgB,GAAG,EAAE,EACrB,SAAS,GAAG,EAAE,EACd,WAAW,GAAG,EAAE,EAChB,oBAAoB,GAAG,EAAE,EACzB,UAAU,GAAG,EAAE,GAChB,GAAG,IAAI,CAAC;QACT,IAAI,CAAC,iBAAiB,CAAC,gBAAgB,EAAE,SAAS,EAAE,WAAW,EAAE,oBAAoB,EAAE,UAAU,CAAC,CAAC;IACrG,CAAC;IAED;;;;;;;;OAQG;IACK,iBAAiB,CACvB,gBAAuC,EACvC,SAAyB,EACzB,WAA6B,EAC7B,oBAA+C,EAC/C,UAA2B;QAE3B,KAAK,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;YACnC,MAAM,EAAE,gBAAgB,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;YAExD,2CAA2C;YAC3C,IAAI,eAAe,KAAK,MAAM,EAAE,CAAC;gBAC/B,SAAS;YACX,CAAC;YAED,IAAI,YAAY,GAAkB,IAAI,CAAC;YAEvC,QAAQ,eAAe,EAAE,CAAC;gBACxB,KAAK,SAAS;oBACZ,mCAAmC;oBACnC,YAAY,GAAG,GAAG,CAAC,aAAa,IAAI,IAAI,CAAC;oBACzC,MAAM;gBAER,KAAK,UAAU,CAAC,CAAC,CAAC;oBAChB,iDAAiD;oBACjD,MAAM,OAAO,GAAG,GAAG,CAAC,eAAe,CAAC;oBACpC,IAAI,OAAO,EAAE,CAAC;wBACZ,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC9C,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CACtC,CAAC;wBACF,IAAI,SAAS,EAAE,CAAC;4BACd,YAAY,GAAG,SAAS,CAAC,EAAE,CAAC;wBAC9B,CAAC;6BAAM,CAAC;4BACN,mBAAmB;4BACnB,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACtC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CACtC,CAAC;4BACF,IAAI,WAAW,EAAE,CAAC;gCAChB,YAAY,GAAG,WAAW,CAAC,EAAE,CAAC;4BAChC,CAAC;wBACH,CAAC;oBACH,CAAC;oBACD,MAAM;gBACR,CAAC;gBAED,KAAK,WAAW,CAAC,CAAC,CAAC;oBACjB,gCAAgC;oBAChC,MAAM,EAAE,eAAe,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,GAAG,GAAG,CAAC;oBACxE,IAAI,eAAe,IAAI,iBAAiB,EAAE,CAAC;wBACzC,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CACnC,EAAE,CAAC,IAAI,KAAK,eAAe;4BAC3B,EAAE,CAAC,MAAM,KAAK,iBAAiB;4BAC/B,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CAC/D,CAAC;wBACF,IAAI,QAAQ,EAAE,CAAC;4BACb,YAAY,GAAG,QAAQ,CAAC,EAAE,CAAC;wBAC7B,CAAC;oBACH,CAAC;oBACD,MAAM;gBACR,CAAC;gBAED,KAAK,aAAa,CAAC,CAAC,CAAC;oBACnB,kDAAkD;oBAClD,MAAM,EAAE,eAAe,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,GAAG,GAAG,CAAC;oBACxE,IAAI,eAAe,IAAI,iBAAiB,EAAE,CAAC;wBACzC,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CACvC,EAAE,CAAC,IAAI,KAAK,eAAe;4BAC3B,EAAE,CAAC,MAAM,KAAK,iBAAiB;4BAC/B,EAAE,CAAC,IAAI,KAAK,IAAI;4BAChB,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,KAAK,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,CACjE,CAAC;wBACF,IAAI,UAAU,EAAE,CAAC;4BACf,YAAY,GAAG,UAAU,CAAC,EAAE,CAAC;wBAC/B,CAAC;oBACH,CAAC;oBACD,MAAM;gBACR,CAAC;gBAED,KAAK,YAAY,CAAC,CAAC,CAAC;oBAClB,gFAAgF;oBAChF,MAAM,EACJ,cAAc,EACd,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,QAAQ,EACR,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,gBAAgB,EAChB,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,mBAAmB,EACnB,qBAAqB,EACrB,kBAAkB,EACnB,GAAG,GAAG,CAAC;oBAER,yCAAyC;oBACzC,IAAI,CAAC,aAAa,EAAE,CAAC;wBACnB,MAAM;oBACR,CAAC;oBAED,2CAA2C;oBAC3C,MAAM,cAAc,GAAG,WAAW,CAAC,4BAA4B,CAC7D,cAAc,IAAI,SAAS,EAC3B,IAAI,EACJ,eAAe,IAAI,GAAG,CAAC,IAAI,EAC3B,iBAAiB,IAAI,GAAG,CAAC,MAAM,EAC/B;wBACE,EAAE,EAAE,aAAa;wBACjB,MAAM;wBACN,QAAQ;wBACR,QAAQ;wBACR,QAAQ;qBACT,CACF,CAAC;oBAEF,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;oBACpC,YAAY,GAAG,aAAa,CAAC;oBAE7B,qDAAqD;oBACrD,uDAAuD;oBACvD,MAAM,UAAU,GAAG,CAAC,IAAY,EAAiB,EAAE;wBACjD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC7C,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CACnC,CAAC;wBACF,IAAI,QAAQ;4BAAE,OAAO,QAAQ,CAAC,EAAE,CAAC;wBAEjC,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAChC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CACnC,CAAC;wBACF,IAAI,KAAK;4BAAE,OAAO,KAAK,CAAC,EAAE,CAAC;wBAE3B,OAAO,IAAI,CAAC;oBACd,CAAC,CAAC;oBAEF,4CAA4C;oBAC5C,IAAI,cAAc,KAAK,kBAAkB,IAAI,gBAAgB,EAAE,CAAC;wBAC9D,MAAM,QAAQ,GAAG,UAAU,CAAC,gBAAgB,CAAC,CAAC;wBAC9C,IAAI,QAAQ,EAAE,CAAC;4BACb,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gCAClB,IAAI,EAAE,cAAc;gCACpB,GAAG,EAAE,aAAa;gCAClB,GAAG,EAAE,QAAQ;6BACd,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;oBAED,6EAA6E;oBAC7E,IAAI,cAAc,KAAK,kBAAkB,IAAI,cAAc,KAAK,mBAAmB,EAAE,CAAC;wBACpF,IAAI,cAAc,EAAE,CAAC;4BACnB,MAAM,QAAQ,GAAG,UAAU,CAAC,cAAc,CAAC,CAAC;4BAC5C,IAAI,QAAQ,EAAE,CAAC;gCACb,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oCAClB,IAAI,EAAE,cAAc;oCACpB,GAAG,EAAE,aAAa;oCAClB,GAAG,EAAE,QAAQ;iCACd,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;wBACD,IAAI,eAAe,EAAE,CAAC;4BACpB,MAAM,QAAQ,GAAG,UAAU,CAAC,eAAe,CAAC,CAAC;4BAC7C,IAAI,QAAQ,EAAE,CAAC;gCACb,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oCAClB,IAAI,EAAE,cAAc;oCACpB,GAAG,EAAE,aAAa;oCAClB,GAAG,EAAE,QAAQ;iCACd,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;oBACH,CAAC;oBAED,+DAA+D;oBAC/D,IAAI,cAAc,KAAK,uBAAuB,EAAE,CAAC;wBAC/C,IAAI,oBAAoB,EAAE,CAAC;4BACzB,MAAM,QAAQ,GAAG,UAAU,CAAC,oBAAoB,CAAC,CAAC;4BAClD,IAAI,QAAQ,EAAE,CAAC;gCACb,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oCAClB,IAAI,EAAE,cAAc;oCACpB,GAAG,EAAE,aAAa;oCAClB,GAAG,EAAE,QAAQ;iCACd,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;wBACD,IAAI,mBAAmB,EAAE,CAAC;4BACxB,MAAM,QAAQ,GAAG,UAAU,CAAC,mBAAmB,CAAC,CAAC;4BACjD,IAAI,QAAQ,EAAE,CAAC;gCACb,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oCAClB,IAAI,EAAE,cAAc;oCACpB,GAAG,EAAE,aAAa;oCAClB,GAAG,EAAE,QAAQ;iCACd,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;oBACH,CAAC;oBAED,6CAA6C;oBAC7C,IAAI,cAAc,KAAK,iBAAiB,IAAI,kBAAkB,EAAE,CAAC;wBAC/D,MAAM,QAAQ,GAAG,UAAU,CAAC,kBAAkB,CAAC,CAAC;wBAChD,IAAI,QAAQ,EAAE,CAAC;4BACb,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gCAClB,IAAI,EAAE,cAAc;gCACpB,GAAG,EAAE,aAAa;gCAClB,GAAG,EAAE,QAAQ;6BACd,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;oBAED,yDAAyD;oBACzD,IAAI,cAAc,KAAK,iBAAiB,IAAI,qBAAqB,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBACtG,KAAK,MAAM,UAAU,IAAI,qBAAqB,EAAE,CAAC;4BAC/C,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;4BACxC,IAAI,QAAQ,EAAE,CAAC;gCACb,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oCAClB,IAAI,EAAE,cAAc;oCACpB,GAAG,EAAE,aAAa;oCAClB,GAAG,EAAE,QAAQ;iCACd,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;oBACH,CAAC;oBAED,MAAM;gBACR,CAAC;YACH,CAAC;YAED,gDAAgD;YAChD,IAAI,YAAY,IAAI,gBAAgB,EAAE,CAAC;gBACrC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,SAAS;oBACf,GAAG,EAAE,YAAY;oBACjB,GAAG,EAAE,gBAAgB;iBACtB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;CACF"}

package/dist/plugins/analysis/ast/builders/TypeSystemBuilder.d.ts

@@ -0,0 +1,64 @@
+/**
+ * TypeSystemBuilder - buffers class declarations, interfaces, type aliases,
+ * enums, decorators, type parameters, and promise resolution edges.
+ *
+ * Extracted from GraphBuilder: bufferClassDeclarationNodes, bufferClassNodes,
+ * bufferImplementsEdges, bufferInterfaceNodes, bufferTypeParameterNodes,
+ * bufferTypeAliasNodes, bufferEnumNodes, bufferDecoratorNodes,
+ * bufferPromiseResolutionEdges.
+ */
+import type { ModuleNode, ASTCollections } from '../types.js';
+import type { BuilderContext, DomainBuilder } from './types.js';
+export declare class TypeSystemBuilder implements DomainBuilder {
+    private ctx;
+    constructor(ctx: BuilderContext);
+    buffer(module: ModuleNode, data: ASTCollections): void;
+    private bufferClassDeclarationNodes;
+    private bufferClassNodes;
+    private bufferInterfaceNodes;
+    /**
+     * Buffer TYPE_PARAMETER nodes, HAS_TYPE_PARAMETER edges, and EXTENDS edges for constraints.
+     *
+     * For each type parameter:
+     * 1. Creates TYPE_PARAMETER node with constraint/default/variance metadata
+     * 2. Creates HAS_TYPE_PARAMETER edge: parent -> TYPE_PARAMETER
+     * 3. If constraint is a non-primitive type reference, creates EXTENDS edge
+     *    using external reference nodes (same pattern as bufferInterfaceNodes)
+     */
+    private bufferTypeParameterNodes;
+    /**
+     * Buffer TYPE alias nodes
+     */
+    private bufferTypeAliasNodes;
+    /**
+     * Buffer ENUM nodes
+     * Uses EnumNode.create() to ensure consistent ID format (colon separator)
+     */
+    private bufferEnumNodes;
+    /**
+     * Buffer DECORATOR nodes and DECORATED_BY edges
+     */
+    private bufferDecoratorNodes;
+    /**
+     * Buffer IMPLEMENTS edges (CLASS -> INTERFACE)
+     */
+    private bufferImplementsEdges;
+    /**
+     * Buffer RESOLVES_TO edges for Promise resolution data flow (REG-334).
+     *
+     * Links resolve/reject CALL nodes to their parent Promise CONSTRUCTOR_CALL.
+     * This enables traceValues to follow Promise data flow:
+     *
+     * Example:
+     * ```
+     * const result = new Promise((resolve) => {
+     *   resolve(42);  // CALL[resolve] --RESOLVES_TO--> CONSTRUCTOR_CALL[Promise]
+     * });
+     * ```
+     *
+     * The edge direction (CALL -> CONSTRUCTOR_CALL) matches data flow semantics:
+     * data flows FROM resolve(value) TO the Promise result.
+     */
+    private bufferPromiseResolutionEdges;
+}
+//# sourceMappingURL=TypeSystemBuilder.d.ts.map

package/dist/plugins/analysis/ast/builders/TypeSystemBuilder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeSystemBuilder.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/TypeSystemBuilder.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAUH,OAAO,KAAK,EACV,UAAU,EASV,cAAc,EAEf,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAahE,qBAAa,iBAAkB,YAAW,aAAa;IACzC,OAAO,CAAC,GAAG;gBAAH,GAAG,EAAE,cAAc;IAEvC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,GAAG,IAAI;IAuBtD,OAAO,CAAC,2BAA2B;IA+DnC,OAAO,CAAC,gBAAgB;IAmCxB,OAAO,CAAC,oBAAoB;IA8D5B;;;;;;;;OAQG;IACH,OAAO,CAAC,wBAAwB;IAyEhC;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAmC5B;;;OAGG;IACH,OAAO,CAAC,eAAe;IA0BvB;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAwB5B;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAoC7B;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,4BAA4B;CAYrC"}