@grafema/core 0.2.5-beta → 0.2.7

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

@@ -0,0 +1,13 @@
+/**
+ * LoopHandler -- handles loop control flow nodes: for, for-in, for-of,
+ * while, and do-while statements.
+ *
+ * Inlines the createLoopScopeHandler logic from JSASTAnalyzer (REG-422).
+ */
+import type { Visitor } from '@babel/traverse';
+import { FunctionBodyHandler } from './FunctionBodyHandler.js';
+export declare class LoopHandler extends FunctionBodyHandler {
+    getHandlers(): Visitor;
+    private createLoopHandler;
+}
+//# sourceMappingURL=LoopHandler.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"LoopHandler.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/LoopHandler.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,OAAO,EAAY,MAAM,iBAAiB,CAAC;AAKzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,qBAAa,WAAY,SAAQ,mBAAmB;IAClD,WAAW,IAAI,OAAO;IAUtB,OAAO,CAAC,iBAAiB;CAuN1B"}

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

@@ -0,0 +1,207 @@
+import * as t from '@babel/types';
+import { getLine, getColumn } from '../utils/location.js';
+import { computeSemanticId } from '../../../../core/SemanticId.js';
+import { ExpressionNode } from '../../../../core/nodes/ExpressionNode.js';
+import { FunctionBodyHandler } from './FunctionBodyHandler.js';
+export class LoopHandler extends FunctionBodyHandler {
+    getHandlers() {
+        return {
+            ForStatement: this.createLoopHandler('for', 'for-loop', 'for'),
+            ForInStatement: this.createLoopHandler('for-in', 'for-in-loop', 'for-in'),
+            ForOfStatement: this.createLoopHandler('for-of', 'for-of-loop', 'for-of'),
+            WhileStatement: this.createLoopHandler('while', 'while-loop', 'while'),
+            DoWhileStatement: this.createLoopHandler('do-while', 'do-while-loop', 'do-while'),
+        };
+    }
+    createLoopHandler(trackerScopeType, scopeType, loopType) {
+        const ctx = this.ctx;
+        const analyzer = this.analyzer;
+        return {
+            enter: (path) => {
+                const node = path.node;
+                // Phase 6 (REG-267): Increment loop count for cyclomatic complexity
+                if (ctx.controlFlowState) {
+                    ctx.controlFlowState.loopCount++;
+                    // REG-298: Track loop nesting depth for isInsideLoop detection
+                    ctx.controlFlowState.loopDepth++;
+                }
+                // 1. Create LOOP node
+                const loopCounter = ctx.loopCounterRef.value++;
+                const legacyLoopId = `${ctx.module.file}:LOOP:${loopType}:${getLine(node)}:${loopCounter}`;
+                const loopId = ctx.scopeTracker
+                    ? computeSemanticId('LOOP', loopType, ctx.scopeTracker.getContext(), { discriminator: loopCounter })
+                    : legacyLoopId;
+                // 2. Extract iteration target for for-in/for-of
+                let iteratesOverName;
+                let iteratesOverLine;
+                let iteratesOverColumn;
+                if (loopType === 'for-in' || loopType === 'for-of') {
+                    const loopNode = node;
+                    if (t.isIdentifier(loopNode.right)) {
+                        iteratesOverName = loopNode.right.name;
+                        iteratesOverLine = getLine(loopNode.right);
+                        iteratesOverColumn = getColumn(loopNode.right);
+                    }
+                    else if (t.isMemberExpression(loopNode.right)) {
+                        iteratesOverName = analyzer.memberExpressionToString(loopNode.right);
+                        iteratesOverLine = getLine(loopNode.right);
+                        iteratesOverColumn = getColumn(loopNode.right);
+                    }
+                }
+                // 2b. Extract init/test/update for classic for loops and test for while/do-while (REG-282)
+                let initVariableName;
+                let initLine;
+                let testExpressionId;
+                let testExpressionType;
+                let testLine;
+                let testColumn;
+                let updateExpressionId;
+                let updateExpressionType;
+                let updateLine;
+                let updateColumn;
+                if (loopType === 'for') {
+                    const forNode = node;
+                    // Extract init: let i = 0
+                    if (forNode.init) {
+                        initLine = getLine(forNode.init);
+                        if (t.isVariableDeclaration(forNode.init)) {
+                            // Get name of first declared variable
+                            const firstDeclarator = forNode.init.declarations[0];
+                            if (t.isIdentifier(firstDeclarator.id)) {
+                                initVariableName = firstDeclarator.id.name;
+                            }
+                        }
+                    }
+                    // Extract test: i < 10
+                    if (forNode.test) {
+                        testLine = getLine(forNode.test);
+                        testColumn = getColumn(forNode.test);
+                        testExpressionType = forNode.test.type;
+                        testExpressionId = ExpressionNode.generateId(forNode.test.type, ctx.module.file, testLine, testColumn);
+                    }
+                    // Extract update: i++
+                    if (forNode.update) {
+                        updateLine = getLine(forNode.update);
+                        updateColumn = getColumn(forNode.update);
+                        updateExpressionType = forNode.update.type;
+                        updateExpressionId = ExpressionNode.generateId(forNode.update.type, ctx.module.file, updateLine, updateColumn);
+                    }
+                }
+                // Extract test condition for while and do-while loops
+                if (loopType === 'while' || loopType === 'do-while') {
+                    const condLoop = node;
+                    if (condLoop.test) {
+                        testLine = getLine(condLoop.test);
+                        testColumn = getColumn(condLoop.test);
+                        testExpressionType = condLoop.test.type;
+                        testExpressionId = ExpressionNode.generateId(condLoop.test.type, ctx.module.file, testLine, testColumn);
+                    }
+                }
+                // Extract async flag for for-await-of (REG-284)
+                let isAsync;
+                if (loopType === 'for-of') {
+                    const forOfNode = node;
+                    isAsync = forOfNode.await === true ? true : undefined;
+                }
+                // 3. Determine actual parent - use stack for nested loops, otherwise original parentScopeId
+                const actualParentScopeId = (ctx.scopeIdStack && ctx.scopeIdStack.length > 0)
+                    ? ctx.scopeIdStack[ctx.scopeIdStack.length - 1]
+                    : ctx.parentScopeId;
+                // 3.5. Extract condition expression for while/do-while/for loops (REG-280)
+                // Note: for-in and for-of don't have test expressions (they use ITERATES_OVER instead)
+                let conditionExpressionId;
+                let conditionExpressionType;
+                let conditionLine;
+                let conditionColumn;
+                if (loopType === 'while' || loopType === 'do-while') {
+                    const testNode = node.test;
+                    if (testNode) {
+                        const condResult = analyzer.extractDiscriminantExpression(testNode, ctx.module);
+                        conditionExpressionId = condResult.id;
+                        conditionExpressionType = condResult.expressionType;
+                        conditionLine = condResult.line;
+                        conditionColumn = condResult.column;
+                    }
+                }
+                else if (loopType === 'for') {
+                    const forNode = node;
+                    // for loop test may be null (infinite loop: for(;;))
+                    if (forNode.test) {
+                        const condResult = analyzer.extractDiscriminantExpression(forNode.test, ctx.module);
+                        conditionExpressionId = condResult.id;
+                        conditionExpressionType = condResult.expressionType;
+                        conditionLine = condResult.line;
+                        conditionColumn = condResult.column;
+                    }
+                }
+                // 4. Push LOOP info
+                ctx.loops.push({
+                    id: loopId,
+                    semanticId: loopId,
+                    type: 'LOOP',
+                    loopType,
+                    file: ctx.module.file,
+                    line: getLine(node),
+                    column: getColumn(node),
+                    parentScopeId: actualParentScopeId,
+                    iteratesOverName,
+                    iteratesOverLine,
+                    iteratesOverColumn,
+                    conditionExpressionId,
+                    conditionExpressionType,
+                    conditionLine,
+                    conditionColumn,
+                    // REG-282: init/test/update for classic for loops
+                    initVariableName,
+                    initLine,
+                    testExpressionId,
+                    testExpressionType,
+                    testLine,
+                    testColumn,
+                    updateExpressionId,
+                    updateExpressionType,
+                    updateLine,
+                    updateColumn,
+                    // REG-284: async flag for for-await-of
+                    async: isAsync
+                });
+                // 5. Create body SCOPE (backward compatibility)
+                const scopeId = `SCOPE#${scopeType}#${ctx.module.file}#${getLine(node)}:${ctx.scopeCounterRef.value++}`;
+                const semanticId = analyzer.generateSemanticId(scopeType, ctx.scopeTracker);
+                ctx.scopes.push({
+                    id: scopeId,
+                    type: 'SCOPE',
+                    scopeType,
+                    semanticId,
+                    file: ctx.module.file,
+                    line: getLine(node),
+                    parentScopeId: loopId // Parent is LOOP, not original parentScopeId
+                });
+                // 6. Push body SCOPE to scopeIdStack (for CONTAINS edges to nested items)
+                // The body scope is the container for nested loops, not the LOOP itself
+                if (ctx.scopeIdStack) {
+                    ctx.scopeIdStack.push(scopeId);
+                }
+                // Enter scope for semantic ID generation
+                if (ctx.scopeTracker) {
+                    ctx.scopeTracker.enterCountedScope(trackerScopeType);
+                }
+            },
+            exit: () => {
+                // REG-298: Decrement loop depth counter
+                if (ctx.controlFlowState) {
+                    ctx.controlFlowState.loopDepth--;
+                }
+                // Pop loop scope from stack
+                if (ctx.scopeIdStack) {
+                    ctx.scopeIdStack.pop();
+                }
+                // Exit scope
+                if (ctx.scopeTracker) {
+                    ctx.scopeTracker.exitScope();
+                }
+            }
+        };
+    }
+}
+//# sourceMappingURL=LoopHandler.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"LoopHandler.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/LoopHandler.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,MAAM,OAAO,WAAY,SAAQ,mBAAmB;IAClD,WAAW;QACT,OAAO;YACL,YAAY,EAAE,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC;YAC9D,cAAc,EAAE,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,CAAC;YACzE,cAAc,EAAE,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,CAAC;YACzE,cAAc,EAAE,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC;YACtE,gBAAgB,EAAE,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,eAAe,EAAE,UAAU,CAAC;SAClF,CAAC;IACJ,CAAC;IAEO,iBAAiB,CACvB,gBAAwB,EACxB,SAAiB,EACjB,QAA4D;QAE5D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAE/B,OAAO;YACL,KAAK,EAAE,CAAC,IAAsB,EAAE,EAAE;gBAChC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;gBAEvB,oEAAoE;gBACpE,IAAI,GAAG,CAAC,gBAAgB,EAAE,CAAC;oBACzB,GAAG,CAAC,gBAAgB,CAAC,SAAS,EAAE,CAAC;oBACjC,+DAA+D;oBAC/D,GAAG,CAAC,gBAAgB,CAAC,SAAS,EAAE,CAAC;gBACnC,CAAC;gBAED,sBAAsB;gBACtB,MAAM,WAAW,GAAG,GAAG,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;gBAC/C,MAAM,YAAY,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,SAAS,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC3F,MAAM,MAAM,GAAG,GAAG,CAAC,YAAY;oBAC7B,CAAC,CAAC,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,CAAC;oBACpG,CAAC,CAAC,YAAY,CAAC;gBAEjB,gDAAgD;gBAChD,IAAI,gBAAoC,CAAC;gBACzC,IAAI,gBAAoC,CAAC;gBACzC,IAAI,kBAAsC,CAAC;gBAE3C,IAAI,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;oBACnD,MAAM,QAAQ,GAAG,IAA2C,CAAC;oBAC7D,IAAI,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;wBACnC,gBAAgB,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;wBACvC,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;wBAC3C,kBAAkB,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;oBACjD,CAAC;yBAAM,IAAI,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;wBAChD,gBAAgB,GAAG,QAAQ,CAAC,wBAAwB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;wBACrE,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;wBAC3C,kBAAkB,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;oBACjD,CAAC;gBACH,CAAC;gBAED,2FAA2F;gBAC3F,IAAI,gBAAoC,CAAC;gBACzC,IAAI,QAA4B,CAAC;gBAEjC,IAAI,gBAAoC,CAAC;gBACzC,IAAI,kBAAsC,CAAC;gBAC3C,IAAI,QAA4B,CAAC;gBACjC,IAAI,UAA8B,CAAC;gBAEnC,IAAI,kBAAsC,CAAC;gBAC3C,IAAI,oBAAwC,CAAC;gBAC7C,IAAI,UAA8B,CAAC;gBACnC,IAAI,YAAgC,CAAC;gBAErC,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;oBACvB,MAAM,OAAO,GAAG,IAAsB,CAAC;oBAEvC,0BAA0B;oBAC1B,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;wBACjB,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;wBACjC,IAAI,CAAC,CAAC,qBAAqB,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;4BAC1C,sCAAsC;4BACtC,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;4BACrD,IAAI,CAAC,CAAC,YAAY,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,CAAC;gCACvC,gBAAgB,GAAG,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC;4BAC7C,CAAC;wBACH,CAAC;oBACH,CAAC;oBAED,uBAAuB;oBACvB,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;wBACjB,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;wBACjC,UAAU,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;wBACrC,kBAAkB,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;wBACvC,gBAAgB,GAAG,cAAc,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;oBACzG,CAAC;oBAED,sBAAsB;oBACtB,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;wBACnB,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;wBACrC,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;wBACzC,oBAAoB,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;wBAC3C,kBAAkB,GAAG,cAAc,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;oBACjH,CAAC;gBACH,CAAC;gBAED,sDAAsD;gBACtD,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;oBACpD,MAAM,QAAQ,GAAG,IAA6C,CAAC;oBAC/D,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;wBAClB,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;wBAClC,UAAU,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;wBACtC,kBAAkB,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;wBACxC,gBAAgB,GAAG,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;oBAC1G,CAAC;gBACH,CAAC;gBAED,gDAAgD;gBAChD,IAAI,OAA4B,CAAC;gBACjC,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;oBAC1B,MAAM,SAAS,GAAG,IAAwB,CAAC;oBAC3C,OAAO,GAAG,SAAS,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;gBACxD,CAAC;gBAED,4FAA4F;gBAC5F,MAAM,mBAAmB,GAAG,CAAC,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;oBAC3E,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;oBAC/C,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC;gBAEtB,2EAA2E;gBAC3E,uFAAuF;gBACvF,IAAI,qBAAyC,CAAC;gBAC9C,IAAI,uBAA2C,CAAC;gBAChD,IAAI,aAAiC,CAAC;gBACtC,IAAI,eAAmC,CAAC;gBAExC,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;oBACpD,MAAM,QAAQ,GAAI,IAA8C,CAAC,IAAI,CAAC;oBACtE,IAAI,QAAQ,EAAE,CAAC;wBACb,MAAM,UAAU,GAAG,QAAQ,CAAC,6BAA6B,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;wBAChF,qBAAqB,GAAG,UAAU,CAAC,EAAE,CAAC;wBACtC,uBAAuB,GAAG,UAAU,CAAC,cAAc,CAAC;wBACpD,aAAa,GAAG,UAAU,CAAC,IAAI,CAAC;wBAChC,eAAe,GAAG,UAAU,CAAC,MAAM,CAAC;oBACtC,CAAC;gBACH,CAAC;qBAAM,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;oBAC9B,MAAM,OAAO,GAAG,IAAsB,CAAC;oBACvC,qDAAqD;oBACrD,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;wBACjB,MAAM,UAAU,GAAG,QAAQ,CAAC,6BAA6B,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;wBACpF,qBAAqB,GAAG,UAAU,CAAC,EAAE,CAAC;wBACtC,uBAAuB,GAAG,UAAU,CAAC,cAAc,CAAC;wBACpD,aAAa,GAAG,UAAU,CAAC,IAAI,CAAC;wBAChC,eAAe,GAAG,UAAU,CAAC,MAAM,CAAC;oBACtC,CAAC;gBACH,CAAC;gBAED,oBAAoB;gBACpB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;oBACb,EAAE,EAAE,MAAM;oBACV,UAAU,EAAE,MAAM;oBAClB,IAAI,EAAE,MAAM;oBACZ,QAAQ;oBACR,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oBACrB,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;oBACnB,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC;oBACvB,aAAa,EAAE,mBAAmB;oBAClC,gBAAgB;oBAChB,gBAAgB;oBAChB,kBAAkB;oBAClB,qBAAqB;oBACrB,uBAAuB;oBACvB,aAAa;oBACb,eAAe;oBACf,kDAAkD;oBAClD,gBAAgB;oBAChB,QAAQ;oBACR,gBAAgB;oBAChB,kBAAkB;oBAClB,QAAQ;oBACR,UAAU;oBACV,kBAAkB;oBAClB,oBAAoB;oBACpB,UAAU;oBACV,YAAY;oBACZ,uCAAuC;oBACvC,KAAK,EAAE,OAAO;iBACf,CAAC,CAAC;gBAEH,gDAAgD;gBAChD,MAAM,OAAO,GAAG,SAAS,SAAS,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,CAAC;gBACxG,MAAM,UAAU,GAAG,QAAQ,CAAC,kBAAkB,CAAC,SAAS,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC5E,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;oBACd,EAAE,EAAE,OAAO;oBACX,IAAI,EAAE,OAAO;oBACb,SAAS;oBACT,UAAU;oBACV,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oBACrB,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;oBACnB,aAAa,EAAE,MAAM,CAAE,6CAA6C;iBACrE,CAAC,CAAC;gBAEH,0EAA0E;gBAC1E,wEAAwE;gBACxE,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACrB,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACjC,CAAC;gBAED,yCAAyC;gBACzC,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACrB,GAAG,CAAC,YAAY,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;gBACvD,CAAC;YACH,CAAC;YACD,IAAI,EAAE,GAAG,EAAE;gBACT,wCAAwC;gBACxC,IAAI,GAAG,CAAC,gBAAgB,EAAE,CAAC;oBACzB,GAAG,CAAC,gBAAgB,CAAC,SAAS,EAAE,CAAC;gBACnC,CAAC;gBAED,4BAA4B;gBAC5B,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACrB,GAAG,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC;gBACzB,CAAC;gBAED,aAAa;gBACb,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACrB,GAAG,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC;gBAC/B,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;CACF"}

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

@@ -0,0 +1,13 @@
+/**
+ * NestedFunctionHandler — handles FunctionDeclaration, FunctionExpression,
+ * and ArrowFunctionExpression nodes found inside a function body.
+ *
+ * Mechanical extraction from analyzeFunctionBody() (REG-422).
+ * Original source: JSASTAnalyzer.ts lines ~4108-4285.
+ */
+import type { Visitor } from '@babel/traverse';
+import { FunctionBodyHandler } from './FunctionBodyHandler.js';
+export declare class NestedFunctionHandler extends FunctionBodyHandler {
+    getHandlers(): Visitor;
+}
+//# sourceMappingURL=NestedFunctionHandler.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"NestedFunctionHandler.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/NestedFunctionHandler.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,OAAO,EAAY,MAAM,iBAAiB,CAAC;AAKzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,qBAAa,qBAAsB,SAAQ,mBAAmB;IAC5D,WAAW,IAAI,OAAO;CAyLvB"}

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

@@ -0,0 +1,174 @@
+import * as t from '@babel/types';
+import { getLine, getColumn } from '../utils/location.js';
+import { computeSemanticId } from '../../../../core/SemanticId.js';
+import { FunctionBodyHandler } from './FunctionBodyHandler.js';
+export class NestedFunctionHandler extends FunctionBodyHandler {
+    getHandlers() {
+        const ctx = this.ctx;
+        const analyzer = this.analyzer;
+        return {
+            FunctionDeclaration: (funcDeclPath) => {
+                const node = funcDeclPath.node;
+                const funcName = node.id ? node.id.name : analyzer.generateAnonymousName(ctx.scopeTracker);
+                // Use semantic ID as primary ID when scopeTracker available
+                const legacyId = `FUNCTION#${funcName}#${ctx.module.file}#${getLine(node)}:${getColumn(node)}:${ctx.functionCounterRef.value++}`;
+                const functionId = ctx.scopeTracker
+                    ? computeSemanticId('FUNCTION', funcName, ctx.scopeTracker.getContext())
+                    : legacyId;
+                ctx.functions.push({
+                    id: functionId,
+                    type: 'FUNCTION',
+                    name: funcName,
+                    file: ctx.module.file,
+                    line: getLine(node),
+                    column: getColumn(node),
+                    async: node.async || false,
+                    generator: node.generator || false,
+                    parentScopeId: ctx.parentScopeId
+                });
+                const nestedScopeId = `SCOPE#${funcName}:body#${ctx.module.file}#${getLine(node)}`;
+                const closureSemanticId = analyzer.generateSemanticId('closure', ctx.scopeTracker);
+                ctx.scopes.push({
+                    id: nestedScopeId,
+                    type: 'SCOPE',
+                    scopeType: 'closure',
+                    name: `${funcName}:body`,
+                    semanticId: closureSemanticId,
+                    conditional: false,
+                    file: ctx.module.file,
+                    line: getLine(node),
+                    parentFunctionId: functionId,
+                    capturesFrom: ctx.parentScopeId
+                });
+                // Enter nested function scope for semantic ID generation
+                if (ctx.scopeTracker) {
+                    ctx.scopeTracker.enterScope(funcName, 'function');
+                }
+                analyzer.analyzeFunctionBody(funcDeclPath, nestedScopeId, ctx.module, ctx.collections);
+                if (ctx.scopeTracker) {
+                    ctx.scopeTracker.exitScope();
+                }
+                funcDeclPath.skip();
+            },
+            FunctionExpression: (funcPath) => {
+                const node = funcPath.node;
+                const funcName = node.id ? node.id.name : analyzer.generateAnonymousName(ctx.scopeTracker);
+                // Use semantic ID as primary ID when scopeTracker available
+                const legacyId = `FUNCTION#${funcName}#${ctx.module.file}#${getLine(node)}:${getColumn(node)}:${ctx.functionCounterRef.value++}`;
+                const functionId = ctx.scopeTracker
+                    ? computeSemanticId('FUNCTION', funcName, ctx.scopeTracker.getContext())
+                    : legacyId;
+                ctx.functions.push({
+                    id: functionId,
+                    type: 'FUNCTION',
+                    name: funcName,
+                    file: ctx.module.file,
+                    line: getLine(node),
+                    column: getColumn(node),
+                    async: node.async || false,
+                    generator: node.generator || false,
+                    parentScopeId: ctx.parentScopeId
+                });
+                const nestedScopeId = `SCOPE#${funcName}:body#${ctx.module.file}#${getLine(node)}`;
+                const closureSemanticId = analyzer.generateSemanticId('closure', ctx.scopeTracker);
+                ctx.scopes.push({
+                    id: nestedScopeId,
+                    type: 'SCOPE',
+                    scopeType: 'closure',
+                    name: `${funcName}:body`,
+                    semanticId: closureSemanticId,
+                    conditional: false,
+                    file: ctx.module.file,
+                    line: getLine(node),
+                    parentFunctionId: functionId,
+                    capturesFrom: ctx.parentScopeId
+                });
+                // Enter nested function scope for semantic ID generation
+                if (ctx.scopeTracker) {
+                    ctx.scopeTracker.enterScope(funcName, 'function');
+                }
+                analyzer.analyzeFunctionBody(funcPath, nestedScopeId, ctx.module, ctx.collections);
+                if (ctx.scopeTracker) {
+                    ctx.scopeTracker.exitScope();
+                }
+                funcPath.skip();
+            },
+            ArrowFunctionExpression: (arrowPath) => {
+                const node = arrowPath.node;
+                const line = getLine(node);
+                const column = getColumn(node);
+                // Determine name (anonymous if not assigned to variable)
+                const parent = arrowPath.parent;
+                let funcName;
+                if (t.isVariableDeclarator(parent) && t.isIdentifier(parent.id)) {
+                    funcName = parent.id.name;
+                }
+                else {
+                    // Use scope-level counter for stable semanticId
+                    funcName = analyzer.generateAnonymousName(ctx.scopeTracker);
+                }
+                // Use semantic ID as primary ID when scopeTracker available
+                const legacyId = `FUNCTION#${funcName}:${line}:${column}:${ctx.functionCounterRef.value++}`;
+                const functionId = ctx.scopeTracker
+                    ? computeSemanticId('FUNCTION', funcName, ctx.scopeTracker.getContext())
+                    : legacyId;
+                ctx.functions.push({
+                    id: functionId,
+                    type: 'FUNCTION',
+                    name: funcName,
+                    file: ctx.module.file,
+                    line,
+                    column,
+                    async: node.async || false,
+                    arrowFunction: true,
+                    parentScopeId: ctx.parentScopeId
+                });
+                if (node.body.type === 'BlockStatement') {
+                    const nestedScopeId = `SCOPE#${funcName}:body#${ctx.module.file}#${line}`;
+                    const arrowSemanticId = analyzer.generateSemanticId('arrow_body', ctx.scopeTracker);
+                    ctx.scopes.push({
+                        id: nestedScopeId,
+                        type: 'SCOPE',
+                        scopeType: 'arrow_body',
+                        name: `${funcName}:body`,
+                        semanticId: arrowSemanticId,
+                        conditional: false,
+                        file: ctx.module.file,
+                        line,
+                        parentFunctionId: functionId,
+                        capturesFrom: ctx.parentScopeId
+                    });
+                    // Enter arrow function scope for semantic ID generation
+                    if (ctx.scopeTracker) {
+                        ctx.scopeTracker.enterScope(funcName, 'arrow');
+                    }
+                    analyzer.analyzeFunctionBody(arrowPath, nestedScopeId, ctx.module, ctx.collections);
+                    if (ctx.scopeTracker) {
+                        ctx.scopeTracker.exitScope();
+                    }
+                }
+                else {
+                    // Arrow function with expression body (implicit return)
+                    // e.g., x => x * 2, () => 42
+                    const bodyExpr = node.body;
+                    const bodyLine = getLine(bodyExpr);
+                    const bodyColumn = getColumn(bodyExpr);
+                    // Extract expression-specific info using shared method
+                    const exprInfo = analyzer.extractReturnExpressionInfo(bodyExpr, ctx.module, ctx.literals, ctx.literalCounterRef, line, column, 'implicit_return');
+                    const returnInfo = {
+                        parentFunctionId: functionId,
+                        file: ctx.module.file,
+                        line: bodyLine,
+                        column: bodyColumn,
+                        returnValueType: 'NONE',
+                        isImplicitReturn: true,
+                        ...exprInfo,
+                    };
+                    ctx.returnStatements.push(returnInfo);
+                }
+                arrowPath.skip();
+            },
+        };
+    }
+}
+//# sourceMappingURL=NestedFunctionHandler.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"NestedFunctionHandler.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/NestedFunctionHandler.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAEnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,MAAM,OAAO,qBAAsB,SAAQ,mBAAmB;IAC5D,WAAW;QACT,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAE/B,OAAO;YACL,mBAAmB,EAAE,CAAC,YAA6C,EAAE,EAAE;gBACrE,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC;gBAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC3F,4DAA4D;gBAC5D,MAAM,QAAQ,GAAG,YAAY,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,kBAAkB,CAAC,KAAK,EAAE,EAAE,CAAC;gBACjI,MAAM,UAAU,GAAG,GAAG,CAAC,YAAY;oBACjC,CAAC,CAAC,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC;oBACxE,CAAC,CAAC,QAAQ,CAAC;gBAEb,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;oBACjB,EAAE,EAAE,UAAU;oBACd,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oBACrB,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;oBACnB,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC;oBACvB,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,KAAK;oBAC1B,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,KAAK;oBAClC,aAAa,EAAE,GAAG,CAAC,aAAa;iBACjC,CAAC,CAAC;gBAEH,MAAM,aAAa,GAAG,SAAS,QAAQ,SAAS,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnF,MAAM,iBAAiB,GAAG,QAAQ,CAAC,kBAAkB,CAAC,SAAS,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;gBACnF,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;oBACd,EAAE,EAAE,aAAa;oBACjB,IAAI,EAAE,OAAO;oBACb,SAAS,EAAE,SAAS;oBACpB,IAAI,EAAE,GAAG,QAAQ,OAAO;oBACxB,UAAU,EAAE,iBAAiB;oBAC7B,WAAW,EAAE,KAAK;oBAClB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oBACrB,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;oBACnB,gBAAgB,EAAE,UAAU;oBAC5B,YAAY,EAAE,GAAG,CAAC,aAAa;iBAChC,CAAC,CAAC;gBAEH,yDAAyD;gBACzD,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACrB,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;gBACpD,CAAC;gBACD,QAAQ,CAAC,mBAAmB,CAAC,YAAY,EAAE,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;gBACvF,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACrB,GAAG,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC;gBAC/B,CAAC;gBACD,YAAY,CAAC,IAAI,EAAE,CAAC;YACtB,CAAC;YAED,kBAAkB,EAAE,CAAC,QAAwC,EAAE,EAAE;gBAC/D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;gBAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC3F,4DAA4D;gBAC5D,MAAM,QAAQ,GAAG,YAAY,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,kBAAkB,CAAC,KAAK,EAAE,EAAE,CAAC;gBACjI,MAAM,UAAU,GAAG,GAAG,CAAC,YAAY;oBACjC,CAAC,CAAC,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC;oBACxE,CAAC,CAAC,QAAQ,CAAC;gBAEb,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;oBACjB,EAAE,EAAE,UAAU;oBACd,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oBACrB,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;oBACnB,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC;oBACvB,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,KAAK;oBAC1B,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,KAAK;oBAClC,aAAa,EAAE,GAAG,CAAC,aAAa;iBACjC,CAAC,CAAC;gBAEH,MAAM,aAAa,GAAG,SAAS,QAAQ,SAAS,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnF,MAAM,iBAAiB,GAAG,QAAQ,CAAC,kBAAkB,CAAC,SAAS,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;gBACnF,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;oBACd,EAAE,EAAE,aAAa;oBACjB,IAAI,EAAE,OAAO;oBACb,SAAS,EAAE,SAAS;oBACpB,IAAI,EAAE,GAAG,QAAQ,OAAO;oBACxB,UAAU,EAAE,iBAAiB;oBAC7B,WAAW,EAAE,KAAK;oBAClB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oBACrB,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC;oBACnB,gBAAgB,EAAE,UAAU;oBAC5B,YAAY,EAAE,GAAG,CAAC,aAAa;iBAChC,CAAC,CAAC;gBAEH,yDAAyD;gBACzD,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACrB,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;gBACpD,CAAC;gBACD,QAAQ,CAAC,mBAAmB,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;gBACnF,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACrB,GAAG,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC;gBAC/B,CAAC;gBACD,QAAQ,CAAC,IAAI,EAAE,CAAC;YAClB,CAAC;YAED,uBAAuB,EAAE,CAAC,SAA8C,EAAE,EAAE;gBAC1E,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC;gBAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC3B,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;gBAE/B,yDAAyD;gBACzD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;gBAChC,IAAI,QAAgB,CAAC;gBACrB,IAAI,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;oBAChE,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC;gBAC5B,CAAC;qBAAM,CAAC;oBACN,gDAAgD;oBAChD,QAAQ,GAAG,QAAQ,CAAC,qBAAqB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC9D,CAAC;gBAED,4DAA4D;gBAC5D,MAAM,QAAQ,GAAG,YAAY,QAAQ,IAAI,IAAI,IAAI,MAAM,IAAI,GAAG,CAAC,kBAAkB,CAAC,KAAK,EAAE,EAAE,CAAC;gBAC5F,MAAM,UAAU,GAAG,GAAG,CAAC,YAAY;oBACjC,CAAC,CAAC,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC;oBACxE,CAAC,CAAC,QAAQ,CAAC;gBAEb,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;oBACjB,EAAE,EAAE,UAAU;oBACd,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oBACrB,IAAI;oBACJ,MAAM;oBACN,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,KAAK;oBAC1B,aAAa,EAAE,IAAI;oBACnB,aAAa,EAAE,GAAG,CAAC,aAAa;iBACjC,CAAC,CAAC;gBAEH,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;oBACxC,MAAM,aAAa,GAAG,SAAS,QAAQ,SAAS,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;oBAC1E,MAAM,eAAe,GAAG,QAAQ,CAAC,kBAAkB,CAAC,YAAY,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;oBACpF,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;wBACd,EAAE,EAAE,aAAa;wBACjB,IAAI,EAAE,OAAO;wBACb,SAAS,EAAE,YAAY;wBACvB,IAAI,EAAE,GAAG,QAAQ,OAAO;wBACxB,UAAU,EAAE,eAAe;wBAC3B,WAAW,EAAE,KAAK;wBAClB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;wBACrB,IAAI;wBACJ,gBAAgB,EAAE,UAAU;wBAC5B,YAAY,EAAE,GAAG,CAAC,aAAa;qBAChC,CAAC,CAAC;oBAEH,wDAAwD;oBACxD,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;wBACrB,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;oBACjD,CAAC;oBACD,QAAQ,CAAC,mBAAmB,CAAC,SAAS,EAAE,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;oBACpF,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;wBACrB,GAAG,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC;oBAC/B,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,wDAAwD;oBACxD,6BAA6B;oBAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC;oBAC3B,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;oBACnC,MAAM,UAAU,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;oBAEvC,uDAAuD;oBACvD,MAAM,QAAQ,GAAG,QAAQ,CAAC,2BAA2B,CACnD,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,iBAAiB,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAiB,CAC3F,CAAC;oBAEF,MAAM,UAAU,GAAwB;wBACtC,gBAAgB,EAAE,UAAU;wBAC5B,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;wBACrB,IAAI,EAAE,QAAQ;wBACd,MAAM,EAAE,UAAU;wBAClB,eAAe,EAAE,MAAM;wBACvB,gBAAgB,EAAE,IAAI;wBACtB,GAAG,QAAQ;qBACZ,CAAC;oBAEF,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACxC,CAAC;gBAED,SAAS,CAAC,IAAI,EAAE,CAAC;YACnB,CAAC;SACF,CAAC;IACJ,CAAC;CACF"}

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

@@ -0,0 +1,12 @@
+/**
+ * NewExpressionHandler — handles NewExpression nodes (constructor calls).
+ *
+ * Mechanical extraction from analyzeFunctionBody() (REG-422).
+ * Original source: JSASTAnalyzer.ts lines ~4679-4816.
+ */
+import type { Visitor } from '@babel/traverse';
+import { FunctionBodyHandler } from './FunctionBodyHandler.js';
+export declare class NewExpressionHandler extends FunctionBodyHandler {
+    getHandlers(): Visitor;
+}
+//# sourceMappingURL=NewExpressionHandler.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"NewExpressionHandler.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/NewExpressionHandler.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,OAAO,EAAY,MAAM,iBAAiB,CAAC;AAKzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,qBAAa,oBAAqB,SAAQ,mBAAmB;IAC3D,WAAW,IAAI,OAAO;CAgJvB"}

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

@@ -0,0 +1,135 @@
+import * as t from '@babel/types';
+import { getLine, getColumn } from '../utils/location.js';
+import { computeSemanticId } from '../../../../core/SemanticId.js';
+import { ConstructorCallNode } from '../../../../core/nodes/ConstructorCallNode.js';
+import { FunctionBodyHandler } from './FunctionBodyHandler.js';
+export class NewExpressionHandler extends FunctionBodyHandler {
+    getHandlers() {
+        const ctx = this.ctx;
+        return {
+            // NewExpression (constructor calls)
+            NewExpression: (newPath) => {
+                const newNode = newPath.node;
+                const nodeKey = `new:${newNode.start}:${newNode.end}`;
+                // Determine className from callee
+                let className = null;
+                if (newNode.callee.type === 'Identifier') {
+                    className = newNode.callee.name;
+                }
+                else if (newNode.callee.type === 'MemberExpression' && newNode.callee.property.type === 'Identifier') {
+                    className = newNode.callee.property.name;
+                }
+                // Create CONSTRUCTOR_CALL node (always, for all NewExpressions)
+                if (className) {
+                    const constructorKey = `constructor:${nodeKey}`;
+                    if (!ctx.processedCallSites.has(constructorKey)) {
+                        ctx.processedCallSites.add(constructorKey);
+                        const line = getLine(newNode);
+                        const column = getColumn(newNode);
+                        const constructorCallId = ConstructorCallNode.generateId(className, ctx.module.file, line, column);
+                        const isBuiltin = ConstructorCallNode.isBuiltinConstructor(className);
+                        ctx.constructorCalls.push({
+                            id: constructorCallId,
+                            type: 'CONSTRUCTOR_CALL',
+                            className,
+                            isBuiltin,
+                            file: ctx.module.file,
+                            line,
+                            column
+                        });
+                        // REG-334: If this is Promise constructor with executor callback,
+                        // register the context for resolve/reject detection
+                        if (className === 'Promise' && newNode.arguments.length > 0) {
+                            const executorArg = newNode.arguments[0];
+                            // Only handle inline function expressions (not variable references)
+                            if (t.isArrowFunctionExpression(executorArg) || t.isFunctionExpression(executorArg)) {
+                                // Extract resolve/reject parameter names
+                                let resolveName;
+                                let rejectName;
+                                if (executorArg.params.length > 0 && t.isIdentifier(executorArg.params[0])) {
+                                    resolveName = executorArg.params[0].name;
+                                }
+                                if (executorArg.params.length > 1 && t.isIdentifier(executorArg.params[1])) {
+                                    rejectName = executorArg.params[1].name;
+                                }
+                                if (resolveName) {
+                                    // Key by function node position to allow nested Promise detection
+                                    const funcKey = `${executorArg.start}:${executorArg.end}`;
+                                    ctx.promiseExecutorContexts.set(funcKey, {
+                                        constructorCallId,
+                                        resolveName,
+                                        rejectName,
+                                        file: ctx.module.file,
+                                        line,
+                                        // REG-311: Store the ID of the function that creates the Promise
+                                        creatorFunctionId: ctx.currentFunctionId || undefined
+                                    });
+                                }
+                            }
+                        }
+                    }
+                }
+                // Handle simple constructor: new Foo()
+                if (newNode.callee.type === 'Identifier') {
+                    if (ctx.processedCallSites.has(nodeKey)) {
+                        return;
+                    }
+                    ctx.processedCallSites.add(nodeKey);
+                    // Generate semantic ID (primary) or legacy ID (fallback)
+                    const constructorName = newNode.callee.name;
+                    const legacyId = `CALL#new:${constructorName}#${ctx.module.file}#${getLine(newNode)}:${getColumn(newNode)}:${ctx.callSiteCounterRef.value++}`;
+                    let newCallId = legacyId;
+                    if (ctx.scopeTracker) {
+                        const discriminator = ctx.scopeTracker.getItemCounter(`CALL:new:${constructorName}`);
+                        newCallId = computeSemanticId('CALL', `new:${constructorName}`, ctx.scopeTracker.getContext(), { discriminator });
+                    }
+                    ctx.callSites.push({
+                        id: newCallId,
+                        type: 'CALL',
+                        name: constructorName,
+                        file: ctx.module.file,
+                        line: getLine(newNode),
+                        parentScopeId: ctx.getCurrentScopeId(),
+                        targetFunctionName: constructorName,
+                        isNew: true
+                    });
+                }
+                // Handle namespaced constructor: new ns.Constructor()
+                else if (newNode.callee.type === 'MemberExpression') {
+                    const memberCallee = newNode.callee;
+                    const object = memberCallee.object;
+                    const property = memberCallee.property;
+                    if (object.type === 'Identifier' && property.type === 'Identifier') {
+                        if (ctx.processedMethodCalls.has(nodeKey)) {
+                            return;
+                        }
+                        ctx.processedMethodCalls.add(nodeKey);
+                        const objectName = object.name;
+                        const constructorName = property.name;
+                        const fullName = `${objectName}.${constructorName}`;
+                        // Generate semantic ID for method-style constructor call
+                        const legacyId = `CALL#new:${fullName}#${ctx.module.file}#${getLine(newNode)}:${getColumn(newNode)}:${ctx.callSiteCounterRef.value++}`;
+                        let newMethodCallId = legacyId;
+                        if (ctx.scopeTracker) {
+                            const discriminator = ctx.scopeTracker.getItemCounter(`CALL:new:${fullName}`);
+                            newMethodCallId = computeSemanticId('CALL', `new:${fullName}`, ctx.scopeTracker.getContext(), { discriminator });
+                        }
+                        ctx.methodCalls.push({
+                            id: newMethodCallId,
+                            type: 'CALL',
+                            name: fullName,
+                            object: objectName,
+                            method: constructorName,
+                            file: ctx.module.file,
+                            line: getLine(newNode),
+                            column: getColumn(newNode),
+                            parentScopeId: ctx.getCurrentScopeId(),
+                            isNew: true
+                        });
+                    }
+                }
+            },
+        };
+    }
+}
+//# sourceMappingURL=NewExpressionHandler.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"NewExpressionHandler.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/NewExpressionHandler.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,+CAA+C,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,MAAM,OAAO,oBAAqB,SAAQ,mBAAmB;IAC3D,WAAW;QACT,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QAErB,OAAO;YACL,oCAAoC;YACpC,aAAa,EAAE,CAAC,OAAkC,EAAE,EAAE;gBACpD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;gBAC7B,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;gBAEtD,kCAAkC;gBAClC,IAAI,SAAS,GAAkB,IAAI,CAAC;gBACpC,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBACzC,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;gBAClC,CAAC;qBAAM,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB,IAAI,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBACvG,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAC3C,CAAC;gBAED,gEAAgE;gBAChE,IAAI,SAAS,EAAE,CAAC;oBACd,MAAM,cAAc,GAAG,eAAe,OAAO,EAAE,CAAC;oBAChD,IAAI,CAAC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;wBAChD,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;wBAE3C,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;wBAC9B,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;wBAClC,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,UAAU,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;wBACnG,MAAM,SAAS,GAAG,mBAAmB,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC;wBAEtE,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC;4BACxB,EAAE,EAAE,iBAAiB;4BACrB,IAAI,EAAE,kBAAkB;4BACxB,SAAS;4BACT,SAAS;4BACT,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;4BACrB,IAAI;4BACJ,MAAM;yBACP,CAAC,CAAC;wBAEH,kEAAkE;wBAClE,oDAAoD;wBACpD,IAAI,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;4BAC5D,MAAM,WAAW,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;4BAEzC,oEAAoE;4BACpE,IAAI,CAAC,CAAC,yBAAyB,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,oBAAoB,CAAC,WAAW,CAAC,EAAE,CAAC;gCACpF,yCAAyC;gCACzC,IAAI,WAA+B,CAAC;gCACpC,IAAI,UAA8B,CAAC;gCAEnC,IAAI,WAAW,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oCAC3E,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gCAC3C,CAAC;gCACD,IAAI,WAAW,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oCAC3E,UAAU,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gCAC1C,CAAC;gCAED,IAAI,WAAW,EAAE,CAAC;oCAChB,kEAAkE;oCAClE,MAAM,OAAO,GAAG,GAAG,WAAW,CAAC,KAAK,IAAI,WAAW,CAAC,GAAG,EAAE,CAAC;oCAC1D,GAAG,CAAC,uBAAuB,CAAC,GAAG,CAAC,OAAO,EAAE;wCACvC,iBAAiB;wCACjB,WAAW;wCACX,UAAU;wCACV,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;wCACrB,IAAI;wCACJ,iEAAiE;wCACjE,iBAAiB,EAAE,GAAG,CAAC,iBAAiB,IAAI,SAAS;qCACtD,CAAC,CAAC;gCACL,CAAC;4BACH,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,uCAAuC;gBACvC,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBACzC,IAAI,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;wBACxC,OAAO;oBACT,CAAC;oBACD,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;oBAEpC,yDAAyD;oBACzD,MAAM,eAAe,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;oBAC5C,MAAM,QAAQ,GAAG,YAAY,eAAe,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,kBAAkB,CAAC,KAAK,EAAE,EAAE,CAAC;oBAE9I,IAAI,SAAS,GAAG,QAAQ,CAAC;oBACzB,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;wBACrB,MAAM,aAAa,GAAG,GAAG,CAAC,YAAY,CAAC,cAAc,CAAC,YAAY,eAAe,EAAE,CAAC,CAAC;wBACrF,SAAS,GAAG,iBAAiB,CAAC,MAAM,EAAE,OAAO,eAAe,EAAE,EAAE,GAAG,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC;oBACpH,CAAC;oBAED,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;wBACjB,EAAE,EAAE,SAAS;wBACb,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;wBACrB,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC;wBACtB,aAAa,EAAE,GAAG,CAAC,iBAAiB,EAAE;wBACtC,kBAAkB,EAAE,eAAe;wBACnC,KAAK,EAAE,IAAI;qBACZ,CAAC,CAAC;gBACL,CAAC;gBACD,sDAAsD;qBACjD,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;oBACpD,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC;oBACpC,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC;oBACnC,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC;oBAEvC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;wBACnE,IAAI,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;4BAC1C,OAAO;wBACT,CAAC;wBACD,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;wBAEtC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;wBAC/B,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,CAAC;wBACtC,MAAM,QAAQ,GAAG,GAAG,UAAU,IAAI,eAAe,EAAE,CAAC;wBAEpD,yDAAyD;wBACzD,MAAM,QAAQ,GAAG,YAAY,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,kBAAkB,CAAC,KAAK,EAAE,EAAE,CAAC;wBAEvI,IAAI,eAAe,GAAG,QAAQ,CAAC;wBAC/B,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;4BACrB,MAAM,aAAa,GAAG,GAAG,CAAC,YAAY,CAAC,cAAc,CAAC,YAAY,QAAQ,EAAE,CAAC,CAAC;4BAC9E,eAAe,GAAG,iBAAiB,CAAC,MAAM,EAAE,OAAO,QAAQ,EAAE,EAAE,GAAG,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC;wBACnH,CAAC;wBAED,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC;4BACnB,EAAE,EAAE,eAAe;4BACnB,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,QAAQ;4BACd,MAAM,EAAE,UAAU;4BAClB,MAAM,EAAE,eAAe;4BACvB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;4BACrB,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC;4BACtB,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC;4BAC1B,aAAa,EAAE,GAAG,CAAC,iBAAiB,EAAE;4BACtC,KAAK,EAAE,IAAI;yBACZ,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;CACF"}

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

@@ -0,0 +1,13 @@
+/**
+ * PropertyAccessHandler — handles MemberExpression, OptionalMemberExpression,
+ * MetaProperty, and UpdateExpression nodes.
+ *
+ * Mechanical extraction from analyzeFunctionBody() (REG-422).
+ * Original source: JSASTAnalyzer.ts lines ~4287-4877.
+ */
+import type { Visitor } from '@babel/traverse';
+import { FunctionBodyHandler } from './FunctionBodyHandler.js';
+export declare class PropertyAccessHandler extends FunctionBodyHandler {
+    getHandlers(): Visitor;
+}
+//# sourceMappingURL=PropertyAccessHandler.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PropertyAccessHandler.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/PropertyAccessHandler.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,OAAO,EAAY,MAAM,iBAAiB,CAAC;AAKzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,qBAAa,qBAAsB,SAAQ,mBAAmB;IAC5D,WAAW,IAAI,OAAO;CAgGvB"}