@grafema/core 0.2.5-beta → 0.2.7

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

@@ -0,0 +1,191 @@
+/**
+ * UpdateExpressionBuilder - buffers UPDATE_EXPRESSION nodes and edges.
+ *
+ * Handles: increment/decrement operations for identifiers and member expressions.
+ */
+import { basename } from 'path';
+export class UpdateExpressionBuilder {
+    ctx;
+    constructor(ctx) {
+        this.ctx = ctx;
+    }
+    buffer(module, data) {
+        const { variableDeclarations, updateExpressions = [], parameters = [], classDeclarations = [], } = data;
+        this.bufferUpdateExpressionEdges(updateExpressions, variableDeclarations, parameters, classDeclarations);
+    }
+    /**
+     * Buffer UPDATE_EXPRESSION nodes and edges for increment/decrement operations.
+     *
+     * Handles two target types:
+     * - IDENTIFIER: Simple variable (i++, --count)
+     * - MEMBER_EXPRESSION: Object property (obj.prop++, arr[i]++, this.count++)
+     *
+     * Creates:
+     * - UPDATE_EXPRESSION node with operator and target metadata
+     * - MODIFIES edge: UPDATE_EXPRESSION -> target (VARIABLE, PARAMETER, or CLASS)
+     * - READS_FROM self-loop: target -> target (reads current value before update)
+     * - CONTAINS edge: SCOPE -> UPDATE_EXPRESSION
+     *
+     * REG-288: Initial implementation for IDENTIFIER targets
+     * REG-312: Extended for MEMBER_EXPRESSION targets
+     */
+    bufferUpdateExpressionEdges(updateExpressions, variableDeclarations, parameters, classDeclarations) {
+        // Build lookup caches: O(n) instead of O(n*m)
+        const varLookup = new Map();
+        for (const v of variableDeclarations) {
+            varLookup.set(`${v.file}:${v.name}`, v);
+        }
+        const paramLookup = new Map();
+        for (const p of parameters) {
+            paramLookup.set(`${p.file}:${p.name}`, p);
+        }
+        for (const update of updateExpressions) {
+            if (update.targetType === 'IDENTIFIER') {
+                // REG-288: Simple identifier (i++, --count)
+                this.bufferIdentifierUpdate(update, varLookup, paramLookup);
+            }
+            else if (update.targetType === 'MEMBER_EXPRESSION') {
+                // REG-312: Member expression (obj.prop++, arr[i]++)
+                this.bufferMemberExpressionUpdate(update, varLookup, paramLookup, classDeclarations);
+            }
+        }
+    }
+    /**
+     * Buffer UPDATE_EXPRESSION node and edges for simple identifier updates (i++, --count)
+     * REG-288: Original implementation extracted for clarity
+     */
+    bufferIdentifierUpdate(update, varLookup, paramLookup) {
+        const { variableName, operator, prefix, file, line, column, parentScopeId } = update;
+        if (!variableName)
+            return;
+        // Find target variable node
+        const targetVar = varLookup.get(`${file}:${variableName}`);
+        const targetParam = !targetVar ? paramLookup.get(`${file}:${variableName}`) : null;
+        const targetNodeId = targetVar?.id ?? targetParam?.id;
+        if (!targetNodeId) {
+            // Variable not found - could be module-level or external reference
+            return;
+        }
+        // Create UPDATE_EXPRESSION node
+        const updateId = `${file}:UPDATE_EXPRESSION:${operator}:${line}:${column}`;
+        this.ctx.bufferNode({
+            type: 'UPDATE_EXPRESSION',
+            id: updateId,
+            name: `${prefix ? operator : ''}${variableName}${prefix ? '' : operator}`,
+            targetType: 'IDENTIFIER',
+            operator,
+            prefix,
+            variableName,
+            file,
+            line,
+            column
+        });
+        // Create READS_FROM self-loop
+        this.ctx.bufferEdge({
+            type: 'READS_FROM',
+            src: targetNodeId,
+            dst: targetNodeId
+        });
+        // Create MODIFIES edge
+        this.ctx.bufferEdge({
+            type: 'MODIFIES',
+            src: updateId,
+            dst: targetNodeId
+        });
+        // Create CONTAINS edge
+        if (parentScopeId) {
+            this.ctx.bufferEdge({
+                type: 'CONTAINS',
+                src: parentScopeId,
+                dst: updateId
+            });
+        }
+    }
+    /**
+     * Buffer UPDATE_EXPRESSION node and edges for member expression updates (obj.prop++, arr[i]++)
+     * REG-312: New implementation for member expression targets
+     *
+     * Creates:
+     * - UPDATE_EXPRESSION node with member expression metadata
+     * - MODIFIES edge: UPDATE_EXPRESSION -> VARIABLE(object) or CLASS (for this.prop++)
+     * - READS_FROM self-loop: VARIABLE(object) -> VARIABLE(object)
+     * - CONTAINS edge: SCOPE -> UPDATE_EXPRESSION
+     */
+    bufferMemberExpressionUpdate(update, varLookup, paramLookup, classDeclarations) {
+        const { objectName, propertyName, mutationType, computedPropertyVar, enclosingClassName, operator, prefix, file, line, column, parentScopeId } = update;
+        if (!objectName || !propertyName)
+            return;
+        // Find target object node
+        let objectNodeId = null;
+        if (objectName !== 'this') {
+            // Regular object: obj.prop++, arr[i]++
+            const targetVar = varLookup.get(`${file}:${objectName}`);
+            const targetParam = !targetVar ? paramLookup.get(`${file}:${objectName}`) : null;
+            objectNodeId = targetVar?.id ?? targetParam?.id ?? null;
+        }
+        else {
+            // this.prop++ - follow REG-152 pattern from bufferObjectMutationEdges
+            if (!enclosingClassName)
+                return;
+            const fileBasename = basename(file);
+            const classDecl = classDeclarations.find(c => c.name === enclosingClassName && c.file === fileBasename);
+            objectNodeId = classDecl?.id ?? null;
+        }
+        if (!objectNodeId) {
+            // Object not found - external reference or scope issue
+            return;
+        }
+        // Create UPDATE_EXPRESSION node
+        const updateId = `${file}:UPDATE_EXPRESSION:${operator}:${line}:${column}`;
+        // Display name: "obj.prop++" or "this.count++" or "arr[i]++"
+        const displayName = (() => {
+            const opStr = prefix ? operator : '';
+            const postOpStr = prefix ? '' : operator;
+            if (objectName === 'this') {
+                return `${opStr}this.${propertyName}${postOpStr}`;
+            }
+            if (mutationType === 'computed') {
+                const computedPart = computedPropertyVar || '?';
+                return `${opStr}${objectName}[${computedPart}]${postOpStr}`;
+            }
+            return `${opStr}${objectName}.${propertyName}${postOpStr}`;
+        })();
+        this.ctx.bufferNode({
+            type: 'UPDATE_EXPRESSION',
+            id: updateId,
+            name: displayName,
+            targetType: 'MEMBER_EXPRESSION',
+            operator,
+            prefix,
+            objectName,
+            propertyName,
+            mutationType,
+            computedPropertyVar,
+            enclosingClassName,
+            file,
+            line,
+            column
+        });
+        // Create READS_FROM self-loop (object reads from itself)
+        this.ctx.bufferEdge({
+            type: 'READS_FROM',
+            src: objectNodeId,
+            dst: objectNodeId
+        });
+        // Create MODIFIES edge (UPDATE_EXPRESSION modifies object)
+        this.ctx.bufferEdge({
+            type: 'MODIFIES',
+            src: updateId,
+            dst: objectNodeId
+        });
+        // Create CONTAINS edge
+        if (parentScopeId) {
+            this.ctx.bufferEdge({
+                type: 'CONTAINS',
+                src: parentScopeId,
+                dst: updateId
+            });
+        }
+    }
+}
+//# sourceMappingURL=UpdateExpressionBuilder.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"UpdateExpressionBuilder.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/UpdateExpressionBuilder.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAYhC,MAAM,OAAO,uBAAuB;IACd;IAApB,YAAoB,GAAmB;QAAnB,QAAG,GAAH,GAAG,CAAgB;IAAG,CAAC;IAE3C,MAAM,CAAC,MAAkB,EAAE,IAAoB;QAC7C,MAAM,EACJ,oBAAoB,EACpB,iBAAiB,GAAG,EAAE,EACtB,UAAU,GAAG,EAAE,EACf,iBAAiB,GAAG,EAAE,GACvB,GAAG,IAAI,CAAC;QAET,IAAI,CAAC,2BAA2B,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,UAAU,EAAE,iBAAiB,CAAC,CAAC;IAC3G,CAAC;IAED;;;;;;;;;;;;;;;OAeG;IACK,2BAA2B,CACjC,iBAAyC,EACzC,oBAA+C,EAC/C,UAA2B,EAC3B,iBAAyC;QAEzC,8CAA8C;QAC9C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAmC,CAAC;QAC7D,KAAK,MAAM,CAAC,IAAI,oBAAoB,EAAE,CAAC;YACrC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QAC1C,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;QACrD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5C,CAAC;QAED,KAAK,MAAM,MAAM,IAAI,iBAAiB,EAAE,CAAC;YACvC,IAAI,MAAM,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;gBACvC,4CAA4C;gBAC5C,IAAI,CAAC,sBAAsB,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;YAC9D,CAAC;iBAAM,IAAI,MAAM,CAAC,UAAU,KAAK,mBAAmB,EAAE,CAAC;gBACrD,oDAAoD;gBACpD,IAAI,CAAC,4BAA4B,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC;YACvF,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;OAGG;IACK,sBAAsB,CAC5B,MAA4B,EAC5B,SAA+C,EAC/C,WAAuC;QAEvC,MAAM,EACJ,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,aAAa,EACd,GAAG,MAAM,CAAC;QAEX,IAAI,CAAC,YAAY;YAAE,OAAO;QAE1B,4BAA4B;QAC5B,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,YAAY,EAAE,CAAC,CAAC;QAC3D,MAAM,WAAW,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACnF,MAAM,YAAY,GAAG,SAAS,EAAE,EAAE,IAAI,WAAW,EAAE,EAAE,CAAC;QAEtD,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,mEAAmE;YACnE,OAAO;QACT,CAAC;QAED,gCAAgC;QAChC,MAAM,QAAQ,GAAG,GAAG,IAAI,sBAAsB,QAAQ,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;QAE3E,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;YAClB,IAAI,EAAE,mBAAmB;YACzB,EAAE,EAAE,QAAQ;YACZ,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE;YACzE,UAAU,EAAE,YAAY;YACxB,QAAQ;YACR,MAAM;YACN,YAAY;YACZ,IAAI;YACJ,IAAI;YACJ,MAAM;SACM,CAAC,CAAC;QAEhB,8BAA8B;QAC9B,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;YAClB,IAAI,EAAE,YAAY;YAClB,GAAG,EAAE,YAAY;YACjB,GAAG,EAAE,YAAY;SAClB,CAAC,CAAC;QAEH,uBAAuB;QACvB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;YAClB,IAAI,EAAE,UAAU;YAChB,GAAG,EAAE,QAAQ;YACb,GAAG,EAAE,YAAY;SAClB,CAAC,CAAC;QAEH,uBAAuB;QACvB,IAAI,aAAa,EAAE,CAAC;YAClB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,aAAa;gBAClB,GAAG,EAAE,QAAQ;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED;;;;;;;;;OASG;IACK,4BAA4B,CAClC,MAA4B,EAC5B,SAA+C,EAC/C,WAAuC,EACvC,iBAAyC;QAEzC,MAAM,EACJ,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,mBAAmB,EACnB,kBAAkB,EAClB,QAAQ,EACR,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,aAAa,EACd,GAAG,MAAM,CAAC;QAEX,IAAI,CAAC,UAAU,IAAI,CAAC,YAAY;YAAE,OAAO;QAEzC,0BAA0B;QAC1B,IAAI,YAAY,GAAkB,IAAI,CAAC;QAEvC,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;YAC1B,uCAAuC;YACvC,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,UAAU,EAAE,CAAC,CAAC;YACzD,MAAM,WAAW,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,IAAI,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACjF,YAAY,GAAG,SAAS,EAAE,EAAE,IAAI,WAAW,EAAE,EAAE,IAAI,IAAI,CAAC;QAC1D,CAAC;aAAM,CAAC;YACN,sEAAsE;YACtE,IAAI,CAAC,kBAAkB;gBAAE,OAAO;YAEhC,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YACpC,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC3C,CAAC,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CACzD,CAAC;YACF,YAAY,GAAG,SAAS,EAAE,EAAE,IAAI,IAAI,CAAC;QACvC,CAAC;QAED,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,uDAAuD;YACvD,OAAO;QACT,CAAC;QAED,gCAAgC;QAChC,MAAM,QAAQ,GAAG,GAAG,IAAI,sBAAsB,QAAQ,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;QAE3E,6DAA6D;QAC7D,MAAM,WAAW,GAAG,CAAC,GAAG,EAAE;YACxB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACrC,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;YAEzC,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;gBAC1B,OAAO,GAAG,KAAK,QAAQ,YAAY,GAAG,SAAS,EAAE,CAAC;YACpD,CAAC;YACD,IAAI,YAAY,KAAK,UAAU,EAAE,CAAC;gBAChC,MAAM,YAAY,GAAG,mBAAmB,IAAI,GAAG,CAAC;gBAChD,OAAO,GAAG,KAAK,GAAG,UAAU,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;YAC9D,CAAC;YACD,OAAO,GAAG,KAAK,GAAG,UAAU,IAAI,YAAY,GAAG,SAAS,EAAE,CAAC;QAC7D,CAAC,CAAC,EAAE,CAAC;QAEL,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;YAClB,IAAI,EAAE,mBAAmB;YACzB,EAAE,EAAE,QAAQ;YACZ,IAAI,EAAE,WAAW;YACjB,UAAU,EAAE,mBAAmB;YAC/B,QAAQ;YACR,MAAM;YACN,UAAU;YACV,YAAY;YACZ,YAAY;YACZ,mBAAmB;YACnB,kBAAkB;YAClB,IAAI;YACJ,IAAI;YACJ,MAAM;SACM,CAAC,CAAC;QAEhB,yDAAyD;QACzD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;YAClB,IAAI,EAAE,YAAY;YAClB,GAAG,EAAE,YAAY;YACjB,GAAG,EAAE,YAAY;SAClB,CAAC,CAAC;QAEH,2DAA2D;QAC3D,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;YAClB,IAAI,EAAE,UAAU;YAChB,GAAG,EAAE,QAAQ;YACb,GAAG,EAAE,YAAY;SAClB,CAAC,CAAC;QAEH,uBAAuB;QACvB,IAAI,aAAa,EAAE,CAAC;YAClB,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gBAClB,IAAI,EAAE,UAAU;gBAChB,GAAG,EAAE,aAAa;gBAClB,GAAG,EAAE,QAAQ;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC;CACF"}

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

@@ -0,0 +1,30 @@
+/**
+ * YieldBuilder - buffers YIELDS and DELEGATES_TO edges connecting yield expressions
+ * to their generator functions.
+ *
+ * Extracted from GraphBuilder.bufferYieldEdges (REG-422).
+ */
+import type { ModuleNode, ASTCollections } from '../types.js';
+import type { BuilderContext, DomainBuilder } from './types.js';
+export declare class YieldBuilder implements DomainBuilder {
+    private ctx;
+    constructor(ctx: BuilderContext);
+    buffer(module: ModuleNode, data: ASTCollections): void;
+    /**
+     * Buffer YIELDS and DELEGATES_TO edges connecting yield expressions to their generator functions.
+     *
+     * Edge direction:
+     * - For yield:  yieldedExpression --YIELDS--> generatorFunction
+     * - For yield*: delegatedCall --DELEGATES_TO--> generatorFunction
+     *
+     * This enables tracing data flow through generator functions:
+     * - Query: "What does this generator yield?"
+     * - Answer: Follow YIELDS edges from function to see all possible yielded values
+     * - Query: "What generators does this delegate to?"
+     * - Answer: Follow DELEGATES_TO edges from function
+     *
+     * REG-270: Generator yield tracking
+     */
+    private bufferYieldEdges;
+}
+//# sourceMappingURL=YieldBuilder.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"YieldBuilder.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/YieldBuilder.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EACV,UAAU,EACV,cAAc,EAMf,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhE,qBAAa,YAAa,YAAW,aAAa;IACpC,OAAO,CAAC,GAAG;gBAAH,GAAG,EAAE,cAAc;IAEvC,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,GAAG,IAAI;IAWtD;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,gBAAgB;CA8OzB"}

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

@@ -0,0 +1,214 @@
+/**
+ * YieldBuilder - buffers YIELDS and DELEGATES_TO edges connecting yield expressions
+ * to their generator functions.
+ *
+ * Extracted from GraphBuilder.bufferYieldEdges (REG-422).
+ */
+import { NodeFactory } from '../../../../core/NodeFactory.js';
+export class YieldBuilder {
+    ctx;
+    constructor(ctx) {
+        this.ctx = ctx;
+    }
+    buffer(module, data) {
+        const { yieldExpressions = [], callSites = [], methodCalls = [], variableDeclarations = [], parameters = [], } = data;
+        this.bufferYieldEdges(yieldExpressions, callSites, methodCalls, variableDeclarations, parameters);
+    }
+    /**
+     * Buffer YIELDS and DELEGATES_TO edges connecting yield expressions to their generator functions.
+     *
+     * Edge direction:
+     * - For yield:  yieldedExpression --YIELDS--> generatorFunction
+     * - For yield*: delegatedCall --DELEGATES_TO--> generatorFunction
+     *
+     * This enables tracing data flow through generator functions:
+     * - Query: "What does this generator yield?"
+     * - Answer: Follow YIELDS edges from function to see all possible yielded values
+     * - Query: "What generators does this delegate to?"
+     * - Answer: Follow DELEGATES_TO edges from function
+     *
+     * REG-270: Generator yield tracking
+     */
+    bufferYieldEdges(yieldExpressions, callSites, methodCalls, variableDeclarations, parameters) {
+        for (const yld of yieldExpressions) {
+            const { parentFunctionId, yieldValueType, file, isDelegate } = yld;
+            // Skip if no value yielded (bare yield;)
+            if (yieldValueType === 'NONE') {
+                continue;
+            }
+            let sourceNodeId = null;
+            switch (yieldValueType) {
+                case 'LITERAL':
+                    // Direct reference to literal node
+                    sourceNodeId = yld.yieldValueId ?? null;
+                    break;
+                case 'VARIABLE': {
+                    // Find variable declaration by name in same file
+                    const varName = yld.yieldValueName;
+                    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 { yieldValueLine, yieldValueColumn, yieldValueCallName } = yld;
+                    if (yieldValueLine && yieldValueColumn) {
+                        const callSite = callSites.find(cs => cs.line === yieldValueLine &&
+                            cs.column === yieldValueColumn &&
+                            (yieldValueCallName ? cs.name === yieldValueCallName : true));
+                        if (callSite) {
+                            sourceNodeId = callSite.id;
+                        }
+                    }
+                    break;
+                }
+                case 'METHOD_CALL': {
+                    // Find method call by coordinates and method name
+                    const { yieldValueLine, yieldValueColumn, yieldValueCallName } = yld;
+                    if (yieldValueLine && yieldValueColumn) {
+                        const methodCall = methodCalls.find(mc => mc.line === yieldValueLine &&
+                            mc.column === yieldValueColumn &&
+                            mc.file === file &&
+                            (yieldValueCallName ? mc.method === yieldValueCallName : true));
+                        if (methodCall) {
+                            sourceNodeId = methodCall.id;
+                        }
+                    }
+                    break;
+                }
+                case 'EXPRESSION': {
+                    // Create EXPRESSION node and DERIVES_FROM edges for yield expressions
+                    const { expressionType, yieldValueId, yieldValueLine, yieldValueColumn, operator, object, property, computed, objectSourceName, leftSourceName, rightSourceName, consequentSourceName, alternateSourceName, expressionSourceNames, unaryArgSourceName } = yld;
+                    // Skip if no expression ID was generated
+                    if (!yieldValueId) {
+                        break;
+                    }
+                    // Create EXPRESSION node using NodeFactory
+                    const expressionNode = NodeFactory.createExpressionFromMetadata(expressionType || 'Unknown', file, yieldValueLine || yld.line, yieldValueColumn || yld.column, {
+                        id: yieldValueId,
+                        object,
+                        property,
+                        computed,
+                        operator
+                    });
+                    this.ctx.bufferNode(expressionNode);
+                    sourceNodeId = yieldValueId;
+                    // 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 srcId = findSource(objectSourceName);
+                        if (srcId) {
+                            this.ctx.bufferEdge({
+                                type: 'DERIVES_FROM',
+                                src: yieldValueId,
+                                dst: srcId
+                            });
+                        }
+                    }
+                    // BinaryExpression / LogicalExpression: derives from left and right operands
+                    if (expressionType === 'BinaryExpression' || expressionType === 'LogicalExpression') {
+                        if (leftSourceName) {
+                            const srcId = findSource(leftSourceName);
+                            if (srcId) {
+                                this.ctx.bufferEdge({
+                                    type: 'DERIVES_FROM',
+                                    src: yieldValueId,
+                                    dst: srcId
+                                });
+                            }
+                        }
+                        if (rightSourceName) {
+                            const srcId = findSource(rightSourceName);
+                            if (srcId) {
+                                this.ctx.bufferEdge({
+                                    type: 'DERIVES_FROM',
+                                    src: yieldValueId,
+                                    dst: srcId
+                                });
+                            }
+                        }
+                    }
+                    // ConditionalExpression: derives from consequent and alternate
+                    if (expressionType === 'ConditionalExpression') {
+                        if (consequentSourceName) {
+                            const srcId = findSource(consequentSourceName);
+                            if (srcId) {
+                                this.ctx.bufferEdge({
+                                    type: 'DERIVES_FROM',
+                                    src: yieldValueId,
+                                    dst: srcId
+                                });
+                            }
+                        }
+                        if (alternateSourceName) {
+                            const srcId = findSource(alternateSourceName);
+                            if (srcId) {
+                                this.ctx.bufferEdge({
+                                    type: 'DERIVES_FROM',
+                                    src: yieldValueId,
+                                    dst: srcId
+                                });
+                            }
+                        }
+                    }
+                    // UnaryExpression: derives from the argument
+                    if (expressionType === 'UnaryExpression' && unaryArgSourceName) {
+                        const srcId = findSource(unaryArgSourceName);
+                        if (srcId) {
+                            this.ctx.bufferEdge({
+                                type: 'DERIVES_FROM',
+                                src: yieldValueId,
+                                dst: srcId
+                            });
+                        }
+                    }
+                    // TemplateLiteral: derives from all embedded expressions
+                    if (expressionType === 'TemplateLiteral' && expressionSourceNames && expressionSourceNames.length > 0) {
+                        for (const sourceName of expressionSourceNames) {
+                            const srcId = findSource(sourceName);
+                            if (srcId) {
+                                this.ctx.bufferEdge({
+                                    type: 'DERIVES_FROM',
+                                    src: yieldValueId,
+                                    dst: srcId
+                                });
+                            }
+                        }
+                    }
+                    break;
+                }
+            }
+            // Create YIELDS or DELEGATES_TO edge if we found a source node
+            if (sourceNodeId && parentFunctionId) {
+                const edgeType = isDelegate ? 'DELEGATES_TO' : 'YIELDS';
+                this.ctx.bufferEdge({
+                    type: edgeType,
+                    src: sourceNodeId,
+                    dst: parentFunctionId
+                });
+            }
+        }
+    }
+}
+//# sourceMappingURL=YieldBuilder.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"YieldBuilder.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/YieldBuilder.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAY9D,MAAM,OAAO,YAAY;IACH;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,gBAAgB,CAAC,gBAAgB,EAAE,SAAS,EAAE,WAAW,EAAE,oBAAoB,EAAE,UAAU,CAAC,CAAC;IACpG,CAAC;IAED;;;;;;;;;;;;;;OAcG;IACK,gBAAgB,CACtB,gBAAuC,EACvC,SAAyB,EACzB,WAA6B,EAC7B,oBAA+C,EAC/C,UAA2B;QAE3B,KAAK,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;YACnC,MAAM,EAAE,gBAAgB,EAAE,cAAc,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,GAAG,CAAC;YAEnE,yCAAyC;YACzC,IAAI,cAAc,KAAK,MAAM,EAAE,CAAC;gBAC9B,SAAS;YACX,CAAC;YAED,IAAI,YAAY,GAAkB,IAAI,CAAC;YAEvC,QAAQ,cAAc,EAAE,CAAC;gBACvB,KAAK,SAAS;oBACZ,mCAAmC;oBACnC,YAAY,GAAG,GAAG,CAAC,YAAY,IAAI,IAAI,CAAC;oBACxC,MAAM;gBAER,KAAK,UAAU,CAAC,CAAC,CAAC;oBAChB,iDAAiD;oBACjD,MAAM,OAAO,GAAG,GAAG,CAAC,cAAc,CAAC;oBACnC,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,cAAc,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,GAAG,GAAG,CAAC;oBACrE,IAAI,cAAc,IAAI,gBAAgB,EAAE,CAAC;wBACvC,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CACnC,EAAE,CAAC,IAAI,KAAK,cAAc;4BAC1B,EAAE,CAAC,MAAM,KAAK,gBAAgB;4BAC9B,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAC7D,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,cAAc,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,GAAG,GAAG,CAAC;oBACrE,IAAI,cAAc,IAAI,gBAAgB,EAAE,CAAC;wBACvC,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CACvC,EAAE,CAAC,IAAI,KAAK,cAAc;4BAC1B,EAAE,CAAC,MAAM,KAAK,gBAAgB;4BAC9B,EAAE,CAAC,IAAI,KAAK,IAAI;4BAChB,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAC/D,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,sEAAsE;oBACtE,MAAM,EACJ,cAAc,EACd,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,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,YAAY,EAAE,CAAC;wBAClB,MAAM;oBACR,CAAC;oBAED,2CAA2C;oBAC3C,MAAM,cAAc,GAAG,WAAW,CAAC,4BAA4B,CAC7D,cAAc,IAAI,SAAS,EAC3B,IAAI,EACJ,cAAc,IAAI,GAAG,CAAC,IAAI,EAC1B,gBAAgB,IAAI,GAAG,CAAC,MAAM,EAC9B;wBACE,EAAE,EAAE,YAAY;wBAChB,MAAM;wBACN,QAAQ;wBACR,QAAQ;wBACR,QAAQ;qBACT,CACF,CAAC;oBAEF,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;oBACpC,YAAY,GAAG,YAAY,CAAC;oBAE5B,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,KAAK,GAAG,UAAU,CAAC,gBAAgB,CAAC,CAAC;wBAC3C,IAAI,KAAK,EAAE,CAAC;4BACV,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gCAClB,IAAI,EAAE,cAAc;gCACpB,GAAG,EAAE,YAAY;gCACjB,GAAG,EAAE,KAAK;6BACX,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,KAAK,GAAG,UAAU,CAAC,cAAc,CAAC,CAAC;4BACzC,IAAI,KAAK,EAAE,CAAC;gCACV,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oCAClB,IAAI,EAAE,cAAc;oCACpB,GAAG,EAAE,YAAY;oCACjB,GAAG,EAAE,KAAK;iCACX,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;wBACD,IAAI,eAAe,EAAE,CAAC;4BACpB,MAAM,KAAK,GAAG,UAAU,CAAC,eAAe,CAAC,CAAC;4BAC1C,IAAI,KAAK,EAAE,CAAC;gCACV,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oCAClB,IAAI,EAAE,cAAc;oCACpB,GAAG,EAAE,YAAY;oCACjB,GAAG,EAAE,KAAK;iCACX,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,KAAK,GAAG,UAAU,CAAC,oBAAoB,CAAC,CAAC;4BAC/C,IAAI,KAAK,EAAE,CAAC;gCACV,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oCAClB,IAAI,EAAE,cAAc;oCACpB,GAAG,EAAE,YAAY;oCACjB,GAAG,EAAE,KAAK;iCACX,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;wBACD,IAAI,mBAAmB,EAAE,CAAC;4BACxB,MAAM,KAAK,GAAG,UAAU,CAAC,mBAAmB,CAAC,CAAC;4BAC9C,IAAI,KAAK,EAAE,CAAC;gCACV,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oCAClB,IAAI,EAAE,cAAc;oCACpB,GAAG,EAAE,YAAY;oCACjB,GAAG,EAAE,KAAK;iCACX,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;oBACH,CAAC;oBAED,6CAA6C;oBAC7C,IAAI,cAAc,KAAK,iBAAiB,IAAI,kBAAkB,EAAE,CAAC;wBAC/D,MAAM,KAAK,GAAG,UAAU,CAAC,kBAAkB,CAAC,CAAC;wBAC7C,IAAI,KAAK,EAAE,CAAC;4BACV,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;gCAClB,IAAI,EAAE,cAAc;gCACpB,GAAG,EAAE,YAAY;gCACjB,GAAG,EAAE,KAAK;6BACX,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,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;4BACrC,IAAI,KAAK,EAAE,CAAC;gCACV,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oCAClB,IAAI,EAAE,cAAc;oCACpB,GAAG,EAAE,YAAY;oCACjB,GAAG,EAAE,KAAK;iCACX,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;oBACH,CAAC;oBAED,MAAM;gBACR,CAAC;YACH,CAAC;YAED,+DAA+D;YAC/D,IAAI,YAAY,IAAI,gBAAgB,EAAE,CAAC;gBACrC,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACxD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;oBAClB,IAAI,EAAE,QAAQ;oBACd,GAAG,EAAE,YAAY;oBACjB,GAAG,EAAE,gBAAgB;iBACtB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;CACF"}

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

@@ -0,0 +1,12 @@
+export { CoreBuilder } from './CoreBuilder.js';
+export { ControlFlowBuilder } from './ControlFlowBuilder.js';
+export { AssignmentBuilder } from './AssignmentBuilder.js';
+export { CallFlowBuilder } from './CallFlowBuilder.js';
+export { MutationBuilder } from './MutationBuilder.js';
+export { UpdateExpressionBuilder } from './UpdateExpressionBuilder.js';
+export { ReturnBuilder } from './ReturnBuilder.js';
+export { YieldBuilder } from './YieldBuilder.js';
+export { TypeSystemBuilder } from './TypeSystemBuilder.js';
+export { ModuleRuntimeBuilder } from './ModuleRuntimeBuilder.js';
+export type { BuilderContext, DomainBuilder } from './types.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC"}

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

@@ -0,0 +1,11 @@
+export { CoreBuilder } from './CoreBuilder.js';
+export { ControlFlowBuilder } from './ControlFlowBuilder.js';
+export { AssignmentBuilder } from './AssignmentBuilder.js';
+export { CallFlowBuilder } from './CallFlowBuilder.js';
+export { MutationBuilder } from './MutationBuilder.js';
+export { UpdateExpressionBuilder } from './UpdateExpressionBuilder.js';
+export { ReturnBuilder } from './ReturnBuilder.js';
+export { YieldBuilder } from './YieldBuilder.js';
+export { TypeSystemBuilder } from './TypeSystemBuilder.js';
+export { ModuleRuntimeBuilder } from './ModuleRuntimeBuilder.js';
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC"}

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

@@ -0,0 +1,30 @@
+/**
+ * Shared types for domain-specific graph builders.
+ *
+ * Each builder buffers nodes/edges for a specific domain (core, control flow,
+ * data flow, etc.) using the BuilderContext for shared operations.
+ */
+import type { ModuleNode, FunctionInfo, VariableDeclarationInfo, ParameterInfo, ASTCollections, GraphNode, GraphEdge } from '../types.js';
+/**
+ * Shared context passed to all domain builders.
+ * Provides access to buffers, singleton tracking, and scope resolution utilities.
+ */
+export interface BuilderContext {
+    bufferNode(node: GraphNode): void;
+    bufferEdge(edge: GraphEdge): void;
+    isCreated(singletonKey: string): boolean;
+    markCreated(singletonKey: string): void;
+    findBufferedNode(id: string): GraphNode | undefined;
+    findFunctionByName(functions: FunctionInfo[], name: string | undefined, file: string, callScopeId: string): FunctionInfo | undefined;
+    resolveVariableInScope(name: string, scopePath: string[], file: string, variables: VariableDeclarationInfo[]): VariableDeclarationInfo | null;
+    resolveParameterInScope(name: string, scopePath: string[], file: string, parameters: ParameterInfo[]): ParameterInfo | null;
+    scopePathsMatch(a: string[], b: string[]): boolean;
+}
+/**
+ * Interface for domain-specific graph builders.
+ * Each builder is responsible for buffering nodes/edges for one domain.
+ */
+export interface DomainBuilder {
+    buffer(module: ModuleNode, data: ASTCollections): void;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,UAAU,EACV,YAAY,EACZ,uBAAuB,EACvB,aAAa,EACb,cAAc,EACd,SAAS,EACT,SAAS,EACV,MAAM,aAAa,CAAC;AAErB;;;GAGG;AACH,MAAM,WAAW,cAAc;IAE7B,UAAU,CAAC,IAAI,EAAE,SAAS,GAAG,IAAI,CAAC;IAClC,UAAU,CAAC,IAAI,EAAE,SAAS,GAAG,IAAI,CAAC;IAGlC,SAAS,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC;IACzC,WAAW,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAGxC,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;IAGpD,kBAAkB,CAChB,SAAS,EAAE,YAAY,EAAE,EACzB,IAAI,EAAE,MAAM,GAAG,SAAS,EACxB,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,GAClB,YAAY,GAAG,SAAS,CAAC;IAE5B,sBAAsB,CACpB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EAAE,EACnB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,uBAAuB,EAAE,GACnC,uBAAuB,GAAG,IAAI,CAAC;IAElC,uBAAuB,CACrB,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EAAE,EACnB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,aAAa,EAAE,GAC1B,aAAa,GAAG,IAAI,CAAC;IAExB,eAAe,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;CACpD;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,GAAG,IAAI,CAAC;CACxD"}

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

@@ -0,0 +1,8 @@
+/**
+ * Shared types for domain-specific graph builders.
+ *
+ * Each builder buffers nodes/edges for a specific domain (core, control flow,
+ * data flow, etc.) using the BuilderContext for shared operations.
+ */
+export {};
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/builders/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}

package/dist/plugins/analysis/ast/handlers/AnalyzerDelegate.d.ts

@@ -0,0 +1,50 @@
+/**
+ * AnalyzerDelegate — interface capturing all JSASTAnalyzer methods
+ * called from within the analyzeFunctionBody() traverse block.
+ *
+ * During the handler extraction refactoring (REG-422), extracted handler
+ * classes call these methods on the delegate instead of `this`. The delegate
+ * is the JSASTAnalyzer instance itself (it implements this interface).
+ */
+import type { NodePath } from '@babel/traverse';
+import type * as t from '@babel/types';
+import type { ScopeTracker } from '../../../../core/ScopeTracker.js';
+import type { VariableDeclarationInfo, ClassInstantiationInfo, LiteralInfo, VariableAssignmentInfo, CounterRef, ObjectLiteralInfo, ObjectPropertyInfo, CallSiteInfo, MethodCallInfo, ConstructorCallInfo, CatchBlockInfo, CatchesFromInfo, UpdateExpressionInfo, ArrayMutationInfo, ObjectMutationInfo, VariableReassignmentInfo, ReturnStatementInfo, ExtractedVariable } from '../types.js';
+import type { VisitorModule, VisitorCollections } from '../visitors/index.js';
+export interface AnalyzerDelegate {
+    handleVariableDeclaration(varPath: NodePath<t.VariableDeclaration>, parentScopeId: string, module: VisitorModule, variableDeclarations: VariableDeclarationInfo[], classInstantiations: ClassInstantiationInfo[], literals: LiteralInfo[], variableAssignments: VariableAssignmentInfo[], varDeclCounterRef: CounterRef, literalCounterRef: CounterRef, scopeTracker: ScopeTracker | undefined, parentScopeVariables: Set<{
+        name: string;
+        id: string;
+        scopeId: string;
+    }>, objectLiterals: ObjectLiteralInfo[], objectProperties: ObjectPropertyInfo[], objectLiteralCounterRef: CounterRef): void;
+    detectVariableReassignment(assignNode: t.AssignmentExpression, module: VisitorModule, variableReassignments: VariableReassignmentInfo[], scopeTracker?: ScopeTracker): void;
+    detectIndexedArrayAssignment(assignNode: t.AssignmentExpression, module: VisitorModule, arrayMutations: ArrayMutationInfo[], scopeTracker?: ScopeTracker, collections?: VisitorCollections): void;
+    detectObjectPropertyAssignment(assignNode: t.AssignmentExpression, module: VisitorModule, objectMutations: ObjectMutationInfo[], scopeTracker?: ScopeTracker): void;
+    extractReturnExpressionInfo(expr: t.Expression, module: {
+        file: string;
+    }, literals: LiteralInfo[], literalCounterRef: CounterRef, baseLine: number, baseColumn: number, literalIdSuffix?: 'return' | 'implicit_return' | 'yield'): Partial<ReturnStatementInfo>;
+    microTraceToErrorClass(variableName: string, funcPath: NodePath<t.Function>, variableDeclarations: VariableDeclarationInfo[]): {
+        errorClassName: string | null;
+        tracePath: string[];
+    };
+    handleSwitchStatement(switchPath: NodePath<t.SwitchStatement>, parentScopeId: string, module: VisitorModule, collections: VisitorCollections, scopeTracker: ScopeTracker | undefined, controlFlowState?: {
+        branchCount: number;
+        caseCount: number;
+    }): void;
+    generateAnonymousName(scopeTracker: ScopeTracker | undefined): string;
+    generateSemanticId(scopeType: string, scopeTracker: ScopeTracker | undefined): string | undefined;
+    analyzeFunctionBody(funcPath: NodePath<t.Function | t.StaticBlock>, parentScopeId: string, module: VisitorModule, collections: VisitorCollections): void;
+    collectUpdateExpression(updateNode: t.UpdateExpression, module: VisitorModule, updateExpressions: UpdateExpressionInfo[], parentScopeId: string | undefined, scopeTracker?: ScopeTracker): void;
+    countLogicalOperators(node: t.Expression): number;
+    handleCallExpression(callNode: t.CallExpression, processedCallSites: Set<string>, processedMethodCalls: Set<string>, callSites: CallSiteInfo[], methodCalls: MethodCallInfo[], module: VisitorModule, callSiteCounterRef: CounterRef, scopeTracker: ScopeTracker | undefined, parentScopeId: string, collections: VisitorCollections, isAwaited?: boolean, isInsideTry?: boolean, isInsideLoop?: boolean): void;
+    collectCatchesFromInfo(funcPath: NodePath<t.Function>, catchBlocks: CatchBlockInfo[], callSites: CallSiteInfo[], methodCalls: MethodCallInfo[], constructorCalls: ConstructorCallInfo[], catchesFromInfos: CatchesFromInfo[], module: VisitorModule): void;
+    memberExpressionToString(expr: t.MemberExpression): string;
+    extractDiscriminantExpression(discriminant: t.Expression, module: VisitorModule): {
+        id: string;
+        expressionType: string;
+        line: number;
+        column: number;
+    };
+    extractVariableNamesFromPattern(pattern: t.Node | null | undefined, variables?: ExtractedVariable[], propertyPath?: string[]): ExtractedVariable[];
+}
+//# sourceMappingURL=AnalyzerDelegate.d.ts.map

package/dist/plugins/analysis/ast/handlers/AnalyzerDelegate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AnalyzerDelegate.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/AnalyzerDelegate.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,KAAK,CAAC,MAAM,cAAc,CAAC;AACvC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AACrE,OAAO,KAAK,EACV,uBAAuB,EACvB,sBAAsB,EACtB,WAAW,EACX,sBAAsB,EACtB,UAAU,EACV,iBAAiB,EACjB,kBAAkB,EAClB,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,wBAAwB,EACxB,mBAAmB,EACnB,iBAAiB,EAClB,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE9E,MAAM,WAAW,gBAAgB;IAG/B,yBAAyB,CACvB,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,EACxC,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,aAAa,EACrB,oBAAoB,EAAE,uBAAuB,EAAE,EAC/C,mBAAmB,EAAE,sBAAsB,EAAE,EAC7C,QAAQ,EAAE,WAAW,EAAE,EACvB,mBAAmB,EAAE,sBAAsB,EAAE,EAC7C,iBAAiB,EAAE,UAAU,EAC7B,iBAAiB,EAAE,UAAU,EAC7B,YAAY,EAAE,YAAY,GAAG,SAAS,EACtC,oBAAoB,EAAE,GAAG,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,EACxE,cAAc,EAAE,iBAAiB,EAAE,EACnC,gBAAgB,EAAE,kBAAkB,EAAE,EACtC,uBAAuB,EAAE,UAAU,GAClC,IAAI,CAAC;IAER,0BAA0B,CACxB,UAAU,EAAE,CAAC,CAAC,oBAAoB,EAClC,MAAM,EAAE,aAAa,EACrB,qBAAqB,EAAE,wBAAwB,EAAE,EACjD,YAAY,CAAC,EAAE,YAAY,GAC1B,IAAI,CAAC;IAIR,4BAA4B,CAC1B,UAAU,EAAE,CAAC,CAAC,oBAAoB,EAClC,MAAM,EAAE,aAAa,EACrB,cAAc,EAAE,iBAAiB,EAAE,EACnC,YAAY,CAAC,EAAE,YAAY,EAC3B,WAAW,CAAC,EAAE,kBAAkB,GAC/B,IAAI,CAAC;IAER,8BAA8B,CAC5B,UAAU,EAAE,CAAC,CAAC,oBAAoB,EAClC,MAAM,EAAE,aAAa,EACrB,eAAe,EAAE,kBAAkB,EAAE,EACrC,YAAY,CAAC,EAAE,YAAY,GAC1B,IAAI,CAAC;IAIR,2BAA2B,CACzB,IAAI,EAAE,CAAC,CAAC,UAAU,EAClB,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,EACxB,QAAQ,EAAE,WAAW,EAAE,EACvB,iBAAiB,EAAE,UAAU,EAC7B,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,eAAe,CAAC,EAAE,QAAQ,GAAG,iBAAiB,GAAG,OAAO,GACvD,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAEhC,sBAAsB,CACpB,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,EAC9B,oBAAoB,EAAE,uBAAuB,EAAE,GAC9C;QAAE,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IAI1D,qBAAqB,CACnB,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,EACvC,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,aAAa,EACrB,WAAW,EAAE,kBAAkB,EAC/B,YAAY,EAAE,YAAY,GAAG,SAAS,EACtC,gBAAgB,CAAC,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,GAC5D,IAAI,CAAC;IAIR,qBAAqB,CAAC,YAAY,EAAE,YAAY,GAAG,SAAS,GAAG,MAAM,CAAC;IAEtE,kBAAkB,CAChB,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,YAAY,GAAG,SAAS,GACrC,MAAM,GAAG,SAAS,CAAC;IAItB,mBAAmB,CACjB,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,WAAW,CAAC,EAC9C,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,aAAa,EACrB,WAAW,EAAE,kBAAkB,GAC9B,IAAI,CAAC;IAIR,uBAAuB,CACrB,UAAU,EAAE,CAAC,CAAC,gBAAgB,EAC9B,MAAM,EAAE,aAAa,EACrB,iBAAiB,EAAE,oBAAoB,EAAE,EACzC,aAAa,EAAE,MAAM,GAAG,SAAS,EACjC,YAAY,CAAC,EAAE,YAAY,GAC1B,IAAI,CAAC;IAIR,qBAAqB,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,GAAG,MAAM,CAAC;IAIlD,oBAAoB,CAClB,QAAQ,EAAE,CAAC,CAAC,cAAc,EAC1B,kBAAkB,EAAE,GAAG,CAAC,MAAM,CAAC,EAC/B,oBAAoB,EAAE,GAAG,CAAC,MAAM,CAAC,EACjC,SAAS,EAAE,YAAY,EAAE,EACzB,WAAW,EAAE,cAAc,EAAE,EAC7B,MAAM,EAAE,aAAa,EACrB,kBAAkB,EAAE,UAAU,EAC9B,YAAY,EAAE,YAAY,GAAG,SAAS,EACtC,aAAa,EAAE,MAAM,EACrB,WAAW,EAAE,kBAAkB,EAC/B,SAAS,CAAC,EAAE,OAAO,EACnB,WAAW,CAAC,EAAE,OAAO,EACrB,YAAY,CAAC,EAAE,OAAO,GACrB,IAAI,CAAC;IAIR,sBAAsB,CACpB,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,EAC9B,WAAW,EAAE,cAAc,EAAE,EAC7B,SAAS,EAAE,YAAY,EAAE,EACzB,WAAW,EAAE,cAAc,EAAE,EAC7B,gBAAgB,EAAE,mBAAmB,EAAE,EACvC,gBAAgB,EAAE,eAAe,EAAE,EACnC,MAAM,EAAE,aAAa,GACpB,IAAI,CAAC;IAIR,wBAAwB,CAAC,IAAI,EAAE,CAAC,CAAC,gBAAgB,GAAG,MAAM,CAAC;IAE3D,6BAA6B,CAC3B,YAAY,EAAE,CAAC,CAAC,UAAU,EAC1B,MAAM,EAAE,aAAa,GACpB;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAExE,+BAA+B,CAC7B,OAAO,EAAE,CAAC,CAAC,IAAI,GAAG,IAAI,GAAG,SAAS,EAClC,SAAS,CAAC,EAAE,iBAAiB,EAAE,EAC/B,YAAY,CAAC,EAAE,MAAM,EAAE,GACtB,iBAAiB,EAAE,CAAC;CACxB"}

package/dist/plugins/analysis/ast/handlers/AnalyzerDelegate.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=AnalyzerDelegate.js.map

package/dist/plugins/analysis/ast/handlers/AnalyzerDelegate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AnalyzerDelegate.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/AnalyzerDelegate.ts"],"names":[],"mappings":""}

package/dist/plugins/analysis/ast/handlers/BranchHandler.d.ts

@@ -0,0 +1,18 @@
+/**
+ * BranchHandler -- handles branching control flow nodes: if/else,
+ * ternary expressions, block statements (for scope transitions),
+ * and switch statements.
+ *
+ * Inlines the createIfStatementHandler, createConditionalExpressionHandler,
+ * createBlockStatementHandler logic and SwitchStatement delegation
+ * from JSASTAnalyzer (REG-422).
+ */
+import type { Visitor } from '@babel/traverse';
+import { FunctionBodyHandler } from './FunctionBodyHandler.js';
+export declare class BranchHandler extends FunctionBodyHandler {
+    getHandlers(): Visitor;
+    private createIfStatementVisitor;
+    private createConditionalExpressionVisitor;
+    private createBlockStatementVisitor;
+}
+//# sourceMappingURL=BranchHandler.d.ts.map

package/dist/plugins/analysis/ast/handlers/BranchHandler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"BranchHandler.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/BranchHandler.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAAE,OAAO,EAAY,MAAM,iBAAiB,CAAC;AAMzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,qBAAa,aAAc,SAAQ,mBAAmB;IACpD,WAAW,IAAI,OAAO;IAyBtB,OAAO,CAAC,wBAAwB;IA0JhC,OAAO,CAAC,kCAAkC;IAkE1C,OAAO,CAAC,2BAA2B;CAiDpC"}