@grafema/core 0.2.5-beta → 0.2.7

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

@@ -0,0 +1,71 @@
+import { getLine } from '../utils/location.js';
+import { PropertyAccessVisitor } from '../visitors/index.js';
+import { FunctionBodyHandler } from './FunctionBodyHandler.js';
+export class PropertyAccessHandler extends FunctionBodyHandler {
+    getHandlers() {
+        const ctx = this.ctx;
+        const analyzer = this.analyzer;
+        return {
+            UpdateExpression: (updatePath) => {
+                const updateNode = updatePath.node;
+                // REG-288/REG-312: Collect update expression info for graph building
+                analyzer.collectUpdateExpression(updateNode, ctx.module, ctx.updateExpressions, ctx.getCurrentScopeId(), ctx.scopeTracker);
+                // Legacy behavior: update scope.modifies for IDENTIFIER targets
+                if (updateNode.argument.type === 'Identifier') {
+                    const varName = updateNode.argument.name;
+                    // Find variable by name - could be from parent scope or declarations
+                    const fromParentScope = Array.from(ctx.parentScopeVariables).find(v => v.name === varName);
+                    const fromDeclarations = ctx.variableDeclarations.find(v => v.name === varName);
+                    const variable = fromParentScope ?? fromDeclarations;
+                    if (variable) {
+                        const scope = ctx.scopes.find(s => s.id === ctx.parentScopeId);
+                        if (scope) {
+                            if (!scope.modifies)
+                                scope.modifies = [];
+                            scope.modifies.push({
+                                variableId: variable.id,
+                                variableName: varName,
+                                line: getLine(updateNode)
+                            });
+                        }
+                    }
+                }
+            },
+            // Property access expressions (REG-395)
+            // Shared handler for both MemberExpression and OptionalMemberExpression
+            MemberExpression: (memberPath) => {
+                // Initialize collections if needed
+                if (!ctx.collections.propertyAccesses) {
+                    ctx.collections.propertyAccesses = [];
+                }
+                if (!ctx.collections.propertyAccessCounterRef) {
+                    ctx.collections.propertyAccessCounterRef = { value: 0 };
+                }
+                PropertyAccessVisitor.extractPropertyAccesses(memberPath, memberPath.node, ctx.module, ctx.collections.propertyAccesses, ctx.collections.propertyAccessCounterRef, ctx.scopeTracker, ctx.currentFunctionId || ctx.getCurrentScopeId());
+            },
+            // OptionalMemberExpression: obj?.prop (same logic as MemberExpression)
+            OptionalMemberExpression: (memberPath) => {
+                // Initialize collections if needed
+                if (!ctx.collections.propertyAccesses) {
+                    ctx.collections.propertyAccesses = [];
+                }
+                if (!ctx.collections.propertyAccessCounterRef) {
+                    ctx.collections.propertyAccessCounterRef = { value: 0 };
+                }
+                PropertyAccessVisitor.extractPropertyAccesses(memberPath, memberPath.node, ctx.module, ctx.collections.propertyAccesses, ctx.collections.propertyAccessCounterRef, ctx.scopeTracker, ctx.currentFunctionId || ctx.getCurrentScopeId());
+            },
+            // MetaProperty: new.target (REG-301)
+            MetaProperty: (metaPath) => {
+                // Initialize collections if needed
+                if (!ctx.collections.propertyAccesses) {
+                    ctx.collections.propertyAccesses = [];
+                }
+                if (!ctx.collections.propertyAccessCounterRef) {
+                    ctx.collections.propertyAccessCounterRef = { value: 0 };
+                }
+                PropertyAccessVisitor.extractMetaProperty(metaPath.node, ctx.module, ctx.collections.propertyAccesses, ctx.collections.propertyAccessCounterRef, ctx.scopeTracker, ctx.currentFunctionId || ctx.getCurrentScopeId());
+            },
+        };
+    }
+}
+//# sourceMappingURL=PropertyAccessHandler.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PropertyAccessHandler.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/PropertyAccessHandler.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAE7D,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,gBAAgB,EAAE,CAAC,UAAwC,EAAE,EAAE;gBAC7D,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC;gBAEnC,qEAAqE;gBACrE,QAAQ,CAAC,uBAAuB,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,iBAAiB,EAAE,GAAG,CAAC,iBAAiB,EAAE,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;gBAE3H,gEAAgE;gBAChE,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;oBAC9C,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAEzC,qEAAqE;oBACrE,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;oBAC3F,MAAM,gBAAgB,GAAG,GAAG,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;oBAChF,MAAM,QAAQ,GAAG,eAAe,IAAI,gBAAgB,CAAC;oBAErD,IAAI,QAAQ,EAAE,CAAC;wBACb,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,aAAa,CAAC,CAAC;wBAC/D,IAAI,KAAK,EAAE,CAAC;4BACV,IAAI,CAAC,KAAK,CAAC,QAAQ;gCAAE,KAAK,CAAC,QAAQ,GAAG,EAAE,CAAC;4BACzC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;gCAClB,UAAU,EAAE,QAAQ,CAAC,EAAE;gCACvB,YAAY,EAAE,OAAO;gCACrB,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC;6BAC1B,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,wCAAwC;YACxC,wEAAwE;YACxE,gBAAgB,EAAE,CAAC,UAAwC,EAAE,EAAE;gBAC7D,mCAAmC;gBACnC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,gBAAgB,EAAE,CAAC;oBACtC,GAAG,CAAC,WAAW,CAAC,gBAAgB,GAAG,EAAE,CAAC;gBACxC,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,wBAAwB,EAAE,CAAC;oBAC9C,GAAG,CAAC,WAAW,CAAC,wBAAwB,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBAC1D,CAAC;gBAED,qBAAqB,CAAC,uBAAuB,CAC3C,UAAU,EACV,UAAU,CAAC,IAAI,EACf,GAAG,CAAC,MAAM,EACV,GAAG,CAAC,WAAW,CAAC,gBAAwC,EACxD,GAAG,CAAC,WAAW,CAAC,wBAAsC,EACtD,GAAG,CAAC,YAAY,EAChB,GAAG,CAAC,iBAAiB,IAAI,GAAG,CAAC,iBAAiB,EAAE,CACjD,CAAC;YACJ,CAAC;YACD,uEAAuE;YACvE,wBAAwB,EAAE,CAAC,UAAoB,EAAE,EAAE;gBACjD,mCAAmC;gBACnC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,gBAAgB,EAAE,CAAC;oBACtC,GAAG,CAAC,WAAW,CAAC,gBAAgB,GAAG,EAAE,CAAC;gBACxC,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,wBAAwB,EAAE,CAAC;oBAC9C,GAAG,CAAC,WAAW,CAAC,wBAAwB,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBAC1D,CAAC;gBAED,qBAAqB,CAAC,uBAAuB,CAC3C,UAAU,EACV,UAAU,CAAC,IAA0B,EACrC,GAAG,CAAC,MAAM,EACV,GAAG,CAAC,WAAW,CAAC,gBAAwC,EACxD,GAAG,CAAC,WAAW,CAAC,wBAAsC,EACtD,GAAG,CAAC,YAAY,EAChB,GAAG,CAAC,iBAAiB,IAAI,GAAG,CAAC,iBAAiB,EAAE,CACjD,CAAC;YACJ,CAAC;YACD,qCAAqC;YACrC,YAAY,EAAE,CAAC,QAAkC,EAAE,EAAE;gBACnD,mCAAmC;gBACnC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,gBAAgB,EAAE,CAAC;oBACtC,GAAG,CAAC,WAAW,CAAC,gBAAgB,GAAG,EAAE,CAAC;gBACxC,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,wBAAwB,EAAE,CAAC;oBAC9C,GAAG,CAAC,WAAW,CAAC,wBAAwB,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBAC1D,CAAC;gBAED,qBAAqB,CAAC,mBAAmB,CACvC,QAAQ,CAAC,IAAI,EACb,GAAG,CAAC,MAAM,EACV,GAAG,CAAC,WAAW,CAAC,gBAAwC,EACxD,GAAG,CAAC,WAAW,CAAC,wBAAsC,EACtD,GAAG,CAAC,YAAY,EAChB,GAAG,CAAC,iBAAiB,IAAI,GAAG,CAAC,iBAAiB,EAAE,CACjD,CAAC;YACJ,CAAC;SACF,CAAC;IACJ,CAAC;CACF"}

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

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

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

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

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

@@ -0,0 +1,135 @@
+import * as t from '@babel/types';
+import { getLine, getColumn } from '../utils/location.js';
+import { FunctionBodyHandler } from './FunctionBodyHandler.js';
+export class ReturnYieldHandler extends FunctionBodyHandler {
+    getHandlers() {
+        const ctx = this.ctx;
+        const analyzer = this.analyzer;
+        return {
+            // Handle return statements for RETURNS edges
+            ReturnStatement: (returnPath) => {
+                // Skip if we couldn't determine the function ID
+                if (!ctx.currentFunctionId) {
+                    return;
+                }
+                // Skip if this return is inside a nested function (not the function we're analyzing)
+                // Check if there's a function ancestor BETWEEN us and funcNode
+                // Stop checking once we reach funcNode - parents above funcNode are outside scope
+                let parent = returnPath.parentPath;
+                let isInsideConditional = false;
+                while (parent) {
+                    // If we've reached funcNode, we're done checking - this return belongs to funcNode
+                    if (parent.node === ctx.funcNode) {
+                        break;
+                    }
+                    if (t.isFunction(parent.node)) {
+                        // Found a function between returnPath and funcNode - this return is inside a nested function
+                        return;
+                    }
+                    // Track if return is inside a conditional block (if/else, switch case, loop, try/catch)
+                    if (t.isIfStatement(parent.node) ||
+                        t.isSwitchCase(parent.node) ||
+                        t.isLoop(parent.node) ||
+                        t.isTryStatement(parent.node) ||
+                        t.isCatchClause(parent.node)) {
+                        isInsideConditional = true;
+                    }
+                    parent = parent.parentPath;
+                }
+                // Phase 6 (REG-267): Track return count and early return detection
+                ctx.controlFlowState.returnCount++;
+                // A return is "early" if it's inside a conditional structure
+                // (More returns after this one indicate the function doesn't always end here)
+                if (isInsideConditional) {
+                    ctx.controlFlowState.hasEarlyReturn = true;
+                }
+                const returnNode = returnPath.node;
+                const returnLine = getLine(returnNode);
+                const returnColumn = getColumn(returnNode);
+                // Handle bare return; (no value)
+                if (!returnNode.argument) {
+                    // Skip - no data flow value
+                    return;
+                }
+                const arg = returnNode.argument;
+                // Extract expression-specific info using shared method
+                const exprInfo = analyzer.extractReturnExpressionInfo(arg, ctx.module, ctx.literals, ctx.literalCounterRef, returnLine, returnColumn, 'return');
+                const returnInfo = {
+                    parentFunctionId: ctx.currentFunctionId,
+                    file: ctx.module.file,
+                    line: returnLine,
+                    column: returnColumn,
+                    returnValueType: 'NONE',
+                    ...exprInfo,
+                };
+                ctx.returnStatements.push(returnInfo);
+            },
+            // Handle yield expressions for YIELDS/DELEGATES_TO edges (REG-270)
+            YieldExpression: (yieldPath) => {
+                // Skip if we couldn't determine the function ID
+                if (!ctx.currentFunctionId) {
+                    return;
+                }
+                // Skip if this yield is inside a nested function (not the function we're analyzing)
+                // Check if there's a function ancestor BETWEEN us and funcNode
+                let parent = yieldPath.parentPath;
+                while (parent) {
+                    // If we've reached funcNode, we're done checking - this yield belongs to funcNode
+                    if (parent.node === ctx.funcNode) {
+                        break;
+                    }
+                    if (t.isFunction(parent.node)) {
+                        // Found a function between yieldPath and funcNode - this yield is inside a nested function
+                        return;
+                    }
+                    parent = parent.parentPath;
+                }
+                const yieldNode = yieldPath.node;
+                const yieldLine = getLine(yieldNode);
+                const yieldColumn = getColumn(yieldNode);
+                const isDelegate = yieldNode.delegate ?? false;
+                // Handle bare yield; (no value) - only valid for non-delegate yield
+                if (!yieldNode.argument && !isDelegate) {
+                    // Skip - no data flow value
+                    return;
+                }
+                // For yield* without argument (syntax error in practice, but handle gracefully)
+                if (!yieldNode.argument) {
+                    return;
+                }
+                const arg = yieldNode.argument;
+                // Extract expression-specific info using shared method
+                // Note: We reuse extractReturnExpressionInfo since yield values have identical semantics
+                const exprInfo = analyzer.extractReturnExpressionInfo(arg, ctx.module, ctx.literals, ctx.literalCounterRef, yieldLine, yieldColumn, 'yield');
+                // Map ReturnStatementInfo fields to YieldExpressionInfo fields
+                const yieldInfo = {
+                    parentFunctionId: ctx.currentFunctionId,
+                    file: ctx.module.file,
+                    line: yieldLine,
+                    column: yieldColumn,
+                    isDelegate,
+                    yieldValueType: exprInfo.returnValueType ?? 'NONE',
+                    yieldValueName: exprInfo.returnValueName,
+                    yieldValueId: exprInfo.returnValueId,
+                    yieldValueLine: exprInfo.returnValueLine,
+                    yieldValueColumn: exprInfo.returnValueColumn,
+                    yieldValueCallName: exprInfo.returnValueCallName,
+                    expressionType: exprInfo.expressionType,
+                    operator: exprInfo.operator,
+                    leftSourceName: exprInfo.leftSourceName,
+                    rightSourceName: exprInfo.rightSourceName,
+                    consequentSourceName: exprInfo.consequentSourceName,
+                    alternateSourceName: exprInfo.alternateSourceName,
+                    object: exprInfo.object,
+                    property: exprInfo.property,
+                    computed: exprInfo.computed,
+                    objectSourceName: exprInfo.objectSourceName,
+                    expressionSourceNames: exprInfo.expressionSourceNames,
+                    unaryArgSourceName: exprInfo.unaryArgSourceName,
+                };
+                ctx.yieldExpressions.push(yieldInfo);
+            },
+        };
+    }
+}
+//# sourceMappingURL=ReturnYieldHandler.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ReturnYieldHandler.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/ReturnYieldHandler.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAE1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,MAAM,OAAO,kBAAmB,SAAQ,mBAAmB;IACzD,WAAW;QACT,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAE/B,OAAO;YACL,6CAA6C;YAC7C,eAAe,EAAE,CAAC,UAAuC,EAAE,EAAE;gBAC3D,gDAAgD;gBAChD,IAAI,CAAC,GAAG,CAAC,iBAAiB,EAAE,CAAC;oBAC3B,OAAO;gBACT,CAAC;gBAED,qFAAqF;gBACrF,+DAA+D;gBAC/D,kFAAkF;gBAClF,IAAI,MAAM,GAAoB,UAAU,CAAC,UAAU,CAAC;gBACpD,IAAI,mBAAmB,GAAG,KAAK,CAAC;gBAChC,OAAO,MAAM,EAAE,CAAC;oBACd,mFAAmF;oBACnF,IAAI,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,EAAE,CAAC;wBACjC,MAAM;oBACR,CAAC;oBACD,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC9B,6FAA6F;wBAC7F,OAAO;oBACT,CAAC;oBACD,wFAAwF;oBACxF,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC;wBAC5B,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;wBAC3B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;wBACrB,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC;wBAC7B,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;wBACjC,mBAAmB,GAAG,IAAI,CAAC;oBAC7B,CAAC;oBACD,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;gBAC7B,CAAC;gBAED,mEAAmE;gBACnE,GAAG,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;gBAEnC,6DAA6D;gBAC7D,8EAA8E;gBAC9E,IAAI,mBAAmB,EAAE,CAAC;oBACxB,GAAG,CAAC,gBAAgB,CAAC,cAAc,GAAG,IAAI,CAAC;gBAC7C,CAAC;gBAED,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC;gBACnC,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;gBACvC,MAAM,YAAY,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;gBAE3C,iCAAiC;gBACjC,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;oBACzB,4BAA4B;oBAC5B,OAAO;gBACT,CAAC;gBAED,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,CAAC;gBAEhC,uDAAuD;gBACvD,MAAM,QAAQ,GAAG,QAAQ,CAAC,2BAA2B,CACnD,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,iBAAiB,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,CACzF,CAAC;gBAEF,MAAM,UAAU,GAAwB;oBACtC,gBAAgB,EAAE,GAAG,CAAC,iBAAiB;oBACvC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oBACrB,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,YAAY;oBACpB,eAAe,EAAE,MAAM;oBACvB,GAAG,QAAQ;iBACZ,CAAC;gBAEF,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACxC,CAAC;YAED,mEAAmE;YACnE,eAAe,EAAE,CAAC,SAAsC,EAAE,EAAE;gBAC1D,gDAAgD;gBAChD,IAAI,CAAC,GAAG,CAAC,iBAAiB,EAAE,CAAC;oBAC3B,OAAO;gBACT,CAAC;gBAED,oFAAoF;gBACpF,+DAA+D;gBAC/D,IAAI,MAAM,GAAoB,SAAS,CAAC,UAAU,CAAC;gBACnD,OAAO,MAAM,EAAE,CAAC;oBACd,kFAAkF;oBAClF,IAAI,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,EAAE,CAAC;wBACjC,MAAM;oBACR,CAAC;oBACD,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC9B,2FAA2F;wBAC3F,OAAO;oBACT,CAAC;oBACD,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;gBAC7B,CAAC;gBAED,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC;gBACjC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;gBACrC,MAAM,WAAW,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;gBACzC,MAAM,UAAU,GAAG,SAAS,CAAC,QAAQ,IAAI,KAAK,CAAC;gBAE/C,oEAAoE;gBACpE,IAAI,CAAC,SAAS,CAAC,QAAQ,IAAI,CAAC,UAAU,EAAE,CAAC;oBACvC,4BAA4B;oBAC5B,OAAO;gBACT,CAAC;gBAED,gFAAgF;gBAChF,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;oBACxB,OAAO;gBACT,CAAC;gBAED,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC;gBAE/B,uDAAuD;gBACvD,yFAAyF;gBACzF,MAAM,QAAQ,GAAG,QAAQ,CAAC,2BAA2B,CACnD,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,iBAAiB,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,CACtF,CAAC;gBAEF,+DAA+D;gBAC/D,MAAM,SAAS,GAAwB;oBACrC,gBAAgB,EAAE,GAAG,CAAC,iBAAiB;oBACvC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oBACrB,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,WAAW;oBACnB,UAAU;oBACV,cAAc,EAAE,QAAQ,CAAC,eAAe,IAAI,MAAM;oBAClD,cAAc,EAAE,QAAQ,CAAC,eAAe;oBACxC,YAAY,EAAE,QAAQ,CAAC,aAAa;oBACpC,cAAc,EAAE,QAAQ,CAAC,eAAe;oBACxC,gBAAgB,EAAE,QAAQ,CAAC,iBAAiB;oBAC5C,kBAAkB,EAAE,QAAQ,CAAC,mBAAmB;oBAChD,cAAc,EAAE,QAAQ,CAAC,cAAc;oBACvC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;oBAC3B,cAAc,EAAE,QAAQ,CAAC,cAAc;oBACvC,eAAe,EAAE,QAAQ,CAAC,eAAe;oBACzC,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;oBACnD,mBAAmB,EAAE,QAAQ,CAAC,mBAAmB;oBACjD,MAAM,EAAE,QAAQ,CAAC,MAAM;oBACvB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;oBAC3B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;oBAC3B,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;oBAC3C,qBAAqB,EAAE,QAAQ,CAAC,qBAAqB;oBACrD,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;iBAChD,CAAC;gBAEF,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACvC,CAAC;SACF,CAAC;IACJ,CAAC;CACF"}

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

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

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

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

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

@@ -0,0 +1,82 @@
+import * as t from '@babel/types';
+import { getLine, getColumn } from '../utils/location.js';
+import { FunctionBodyHandler } from './FunctionBodyHandler.js';
+export class ThrowHandler extends FunctionBodyHandler {
+    getHandlers() {
+        const ctx = this.ctx;
+        const analyzer = this.analyzer;
+        return {
+            // Phase 6 (REG-267): Track throw statements for control flow metadata
+            // REG-311: Detect async_throw rejection patterns
+            // REG-286: Detect sync_throw patterns for ALL functions (THROWS edges)
+            ThrowStatement: (throwPath) => {
+                // Skip if this throw is inside a nested function (not the function we're analyzing)
+                let parent = throwPath.parentPath;
+                while (parent) {
+                    if (t.isFunction(parent.node) && parent.node !== ctx.funcNode) {
+                        // This throw is inside a nested function - skip it
+                        return;
+                    }
+                    parent = parent.parentPath;
+                }
+                ctx.controlFlowState.hasThrow = true;
+                // REG-286: Track throw patterns for ALL functions (sync and async)
+                // Async throws -> REJECTS edges, sync throws -> THROWS edges
+                const isAsyncFunction = ctx.functionNode?.async === true;
+                if (ctx.currentFunctionId && ctx.functionNode && ctx.functionPath) {
+                    const throwNode = throwPath.node;
+                    const arg = throwNode.argument;
+                    const throwLine = getLine(throwNode);
+                    const throwColumn = getColumn(throwNode);
+                    // Case 1: throw new Error() or throw new CustomError()
+                    if (arg && t.isNewExpression(arg) && t.isIdentifier(arg.callee)) {
+                        ctx.rejectionPatterns.push({
+                            functionId: ctx.currentFunctionId,
+                            errorClassName: arg.callee.name,
+                            rejectionType: isAsyncFunction ? 'async_throw' : 'sync_throw',
+                            isAsync: isAsyncFunction,
+                            file: ctx.module.file,
+                            line: throwLine,
+                            column: throwColumn
+                        });
+                    }
+                    // Case 2: throw identifier - needs micro-trace
+                    else if (arg && t.isIdentifier(arg)) {
+                        const varName = arg.name;
+                        // Check if it's a parameter
+                        const isParameter = ctx.functionNode.params.some(param => t.isIdentifier(param) && param.name === varName);
+                        if (isParameter) {
+                            // Parameter forwarding - can't resolve statically
+                            ctx.rejectionPatterns.push({
+                                functionId: ctx.currentFunctionId,
+                                errorClassName: null,
+                                rejectionType: 'variable_parameter',
+                                isAsync: isAsyncFunction,
+                                file: ctx.module.file,
+                                line: throwLine,
+                                column: throwColumn,
+                                sourceVariableName: varName
+                            });
+                        }
+                        else {
+                            // Try micro-trace
+                            const { errorClassName, tracePath } = analyzer.microTraceToErrorClass(varName, ctx.functionPath, ctx.variableDeclarations);
+                            ctx.rejectionPatterns.push({
+                                functionId: ctx.currentFunctionId,
+                                errorClassName,
+                                rejectionType: errorClassName ? 'variable_traced' : 'variable_unknown',
+                                isAsync: isAsyncFunction,
+                                file: ctx.module.file,
+                                line: throwLine,
+                                column: throwColumn,
+                                sourceVariableName: varName,
+                                tracePath
+                            });
+                        }
+                    }
+                }
+            },
+        };
+    }
+}
+//# sourceMappingURL=ThrowHandler.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ThrowHandler.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/ThrowHandler.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAC;AAClC,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,MAAM,OAAO,YAAa,SAAQ,mBAAmB;IACnD,WAAW;QACT,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAE/B,OAAO;YACL,sEAAsE;YACtE,iDAAiD;YACjD,uEAAuE;YACvE,cAAc,EAAE,CAAC,SAAqC,EAAE,EAAE;gBACxD,oFAAoF;gBACpF,IAAI,MAAM,GAAoB,SAAS,CAAC,UAAU,CAAC;gBACnD,OAAO,MAAM,EAAE,CAAC;oBACd,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,EAAE,CAAC;wBAC9D,mDAAmD;wBACnD,OAAO;oBACT,CAAC;oBACD,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;gBAC7B,CAAC;gBAED,GAAG,CAAC,gBAAgB,CAAC,QAAQ,GAAG,IAAI,CAAC;gBAErC,mEAAmE;gBACnE,6DAA6D;gBAC7D,MAAM,eAAe,GAAG,GAAG,CAAC,YAAY,EAAE,KAAK,KAAK,IAAI,CAAC;gBACzD,IAAI,GAAG,CAAC,iBAAiB,IAAI,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBAClE,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC;oBACjC,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC;oBAC/B,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;oBACrC,MAAM,WAAW,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;oBAEzC,uDAAuD;oBACvD,IAAI,GAAG,IAAI,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBAChE,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC;4BACzB,UAAU,EAAE,GAAG,CAAC,iBAAiB;4BACjC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;4BAC/B,aAAa,EAAE,eAAe,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY;4BAC7D,OAAO,EAAE,eAAe;4BACxB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;4BACrB,IAAI,EAAE,SAAS;4BACf,MAAM,EAAE,WAAW;yBACpB,CAAC,CAAC;oBACL,CAAC;oBACD,+CAA+C;yBAC1C,IAAI,GAAG,IAAI,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;wBACpC,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC;wBAEzB,4BAA4B;wBAC5B,MAAM,WAAW,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CACvD,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAChD,CAAC;wBAEF,IAAI,WAAW,EAAE,CAAC;4BAChB,kDAAkD;4BAClD,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC;gCACzB,UAAU,EAAE,GAAG,CAAC,iBAAiB;gCACjC,cAAc,EAAE,IAAI;gCACpB,aAAa,EAAE,oBAAoB;gCACnC,OAAO,EAAE,eAAe;gCACxB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;gCACrB,IAAI,EAAE,SAAS;gCACf,MAAM,EAAE,WAAW;gCACnB,kBAAkB,EAAE,OAAO;6BAC5B,CAAC,CAAC;wBACL,CAAC;6BAAM,CAAC;4BACN,kBAAkB;4BAClB,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC,sBAAsB,CACnE,OAAO,EACP,GAAG,CAAC,YAAY,EAChB,GAAG,CAAC,oBAAoB,CACzB,CAAC;4BAEF,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC;gCACzB,UAAU,EAAE,GAAG,CAAC,iBAAiB;gCACjC,cAAc;gCACd,aAAa,EAAE,cAAc,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,kBAAkB;gCACtE,OAAO,EAAE,eAAe;gCACxB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;gCACrB,IAAI,EAAE,SAAS;gCACf,MAAM,EAAE,WAAW;gCACnB,kBAAkB,EAAE,OAAO;gCAC3B,SAAS;6BACV,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;CACF"}

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

@@ -0,0 +1,14 @@
+/**
+ * TryCatchHandler -- handles try/catch/finally control flow nodes.
+ *
+ * Inlines the createTryStatementHandler and createCatchClauseHandler logic
+ * from JSASTAnalyzer (REG-422).
+ */
+import type { Visitor } from '@babel/traverse';
+import { FunctionBodyHandler } from './FunctionBodyHandler.js';
+export declare class TryCatchHandler extends FunctionBodyHandler {
+    getHandlers(): Visitor;
+    private createTryStatementVisitor;
+    private createCatchClauseVisitor;
+}
+//# sourceMappingURL=TryCatchHandler.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"TryCatchHandler.d.ts","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/TryCatchHandler.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,OAAO,EAAY,MAAM,iBAAiB,CAAC;AAIzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,qBAAa,eAAgB,SAAQ,mBAAmB;IACtD,WAAW,IAAI,OAAO;IAOtB,OAAO,CAAC,yBAAyB;IAmLjC,OAAO,CAAC,wBAAwB;CA8DjC"}

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

@@ -0,0 +1,220 @@
+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 TryCatchHandler extends FunctionBodyHandler {
+    getHandlers() {
+        return {
+            TryStatement: this.createTryStatementVisitor(),
+            CatchClause: this.createCatchClauseVisitor(),
+        };
+    }
+    createTryStatementVisitor() {
+        const ctx = this.ctx;
+        const analyzer = this.analyzer;
+        return {
+            enter: (tryPath) => {
+                const tryNode = tryPath.node;
+                // Phase 6 (REG-267): Mark that this function has try/catch
+                if (ctx.controlFlowState) {
+                    ctx.controlFlowState.hasTryCatch = true;
+                    // REG-311: Increment try block depth for O(1) isInsideTry detection
+                    ctx.controlFlowState.tryBlockDepth++;
+                }
+                // Determine actual parent - use stack for nested structures, otherwise original parentScopeId
+                const actualParentScopeId = (ctx.scopeIdStack && ctx.scopeIdStack.length > 0)
+                    ? ctx.scopeIdStack[ctx.scopeIdStack.length - 1]
+                    : ctx.parentScopeId;
+                // 1. Create TRY_BLOCK node
+                const tryBlockCounter = ctx.tryBlockCounterRef.value++;
+                const legacyTryBlockId = `${ctx.module.file}:TRY_BLOCK:${getLine(tryNode)}:${tryBlockCounter}`;
+                const tryBlockId = ctx.scopeTracker
+                    ? computeSemanticId('TRY_BLOCK', 'try', ctx.scopeTracker.getContext(), { discriminator: tryBlockCounter })
+                    : legacyTryBlockId;
+                ctx.tryBlocks.push({
+                    id: tryBlockId,
+                    semanticId: tryBlockId,
+                    type: 'TRY_BLOCK',
+                    file: ctx.module.file,
+                    line: getLine(tryNode),
+                    column: getColumn(tryNode),
+                    parentScopeId: actualParentScopeId
+                });
+                // 2. Create try-body SCOPE (backward compatibility)
+                // Parent is now TRY_BLOCK, not original parentScopeId
+                const tryScopeId = `SCOPE#try-block#${ctx.module.file}#${getLine(tryNode)}:${ctx.scopeCounterRef.value++}`;
+                const trySemanticId = analyzer.generateSemanticId('try-block', ctx.scopeTracker);
+                ctx.scopes.push({
+                    id: tryScopeId,
+                    type: 'SCOPE',
+                    scopeType: 'try-block',
+                    semanticId: trySemanticId,
+                    file: ctx.module.file,
+                    line: getLine(tryNode),
+                    parentScopeId: tryBlockId // Parent is TRY_BLOCK
+                });
+                // 3. Create CATCH_BLOCK and catch-body SCOPE if handler exists
+                let catchBlockId = null;
+                let catchScopeId = null;
+                if (tryNode.handler) {
+                    const catchClause = tryNode.handler;
+                    const catchBlockCounter = ctx.catchBlockCounterRef.value++;
+                    const legacyCatchBlockId = `${ctx.module.file}:CATCH_BLOCK:${getLine(catchClause)}:${catchBlockCounter}`;
+                    catchBlockId = ctx.scopeTracker
+                        ? computeSemanticId('CATCH_BLOCK', 'catch', ctx.scopeTracker.getContext(), { discriminator: catchBlockCounter })
+                        : legacyCatchBlockId;
+                    // Extract parameter name if present
+                    let parameterName;
+                    if (catchClause.param && t.isIdentifier(catchClause.param)) {
+                        parameterName = catchClause.param.name;
+                    }
+                    ctx.catchBlocks.push({
+                        id: catchBlockId,
+                        semanticId: catchBlockId,
+                        type: 'CATCH_BLOCK',
+                        file: ctx.module.file,
+                        line: getLine(catchClause),
+                        column: getColumn(catchClause),
+                        parentScopeId: ctx.parentScopeId,
+                        parentTryBlockId: tryBlockId,
+                        parameterName
+                    });
+                    // Create catch-body SCOPE (backward compatibility)
+                    catchScopeId = `SCOPE#catch-block#${ctx.module.file}#${getLine(catchClause)}:${ctx.scopeCounterRef.value++}`;
+                    const catchSemanticId = analyzer.generateSemanticId('catch-block', ctx.scopeTracker);
+                    ctx.scopes.push({
+                        id: catchScopeId,
+                        type: 'SCOPE',
+                        scopeType: 'catch-block',
+                        semanticId: catchSemanticId,
+                        file: ctx.module.file,
+                        line: getLine(catchClause),
+                        parentScopeId: catchBlockId // Parent is CATCH_BLOCK
+                    });
+                }
+                // 4. Create FINALLY_BLOCK and finally-body SCOPE if finalizer exists
+                let finallyBlockId = null;
+                let finallyScopeId = null;
+                if (tryNode.finalizer) {
+                    const finallyBlockCounter = ctx.finallyBlockCounterRef.value++;
+                    const legacyFinallyBlockId = `${ctx.module.file}:FINALLY_BLOCK:${getLine(tryNode.finalizer)}:${finallyBlockCounter}`;
+                    finallyBlockId = ctx.scopeTracker
+                        ? computeSemanticId('FINALLY_BLOCK', 'finally', ctx.scopeTracker.getContext(), { discriminator: finallyBlockCounter })
+                        : legacyFinallyBlockId;
+                    ctx.finallyBlocks.push({
+                        id: finallyBlockId,
+                        semanticId: finallyBlockId,
+                        type: 'FINALLY_BLOCK',
+                        file: ctx.module.file,
+                        line: getLine(tryNode.finalizer),
+                        column: getColumn(tryNode.finalizer),
+                        parentScopeId: ctx.parentScopeId,
+                        parentTryBlockId: tryBlockId
+                    });
+                    // Create finally-body SCOPE (backward compatibility)
+                    finallyScopeId = `SCOPE#finally-block#${ctx.module.file}#${getLine(tryNode.finalizer)}:${ctx.scopeCounterRef.value++}`;
+                    const finallySemanticId = analyzer.generateSemanticId('finally-block', ctx.scopeTracker);
+                    ctx.scopes.push({
+                        id: finallyScopeId,
+                        type: 'SCOPE',
+                        scopeType: 'finally-block',
+                        semanticId: finallySemanticId,
+                        file: ctx.module.file,
+                        line: getLine(tryNode.finalizer),
+                        parentScopeId: finallyBlockId // Parent is FINALLY_BLOCK
+                    });
+                }
+                // 5. Push try scope onto stack for CONTAINS edges
+                if (ctx.scopeIdStack) {
+                    ctx.scopeIdStack.push(tryScopeId);
+                }
+                // Enter try scope for semantic ID generation
+                if (ctx.scopeTracker) {
+                    ctx.scopeTracker.enterCountedScope('try');
+                }
+                // 6. Store scope info for catch/finally transitions
+                ctx.tryScopeMap.set(tryNode, {
+                    tryScopeId,
+                    catchScopeId,
+                    finallyScopeId,
+                    currentBlock: 'try',
+                    tryBlockId,
+                    catchBlockId,
+                    finallyBlockId
+                });
+            },
+            exit: (tryPath) => {
+                const tryNode = tryPath.node;
+                const _scopeInfo = ctx.tryScopeMap.get(tryNode);
+                // REG-311: Only decrement try block depth if we're still in 'try' block
+                // (not transitioned to catch/finally, where we already decremented)
+                if (ctx.controlFlowState && _scopeInfo?.currentBlock === 'try') {
+                    ctx.controlFlowState.tryBlockDepth--;
+                }
+                // Pop the current scope from stack (could be try, catch, or finally)
+                if (ctx.scopeIdStack) {
+                    ctx.scopeIdStack.pop();
+                }
+                // Exit the current scope
+                if (ctx.scopeTracker) {
+                    ctx.scopeTracker.exitScope();
+                }
+                // Clean up
+                ctx.tryScopeMap.delete(tryNode);
+            }
+        };
+    }
+    createCatchClauseVisitor() {
+        const ctx = this.ctx;
+        const analyzer = this.analyzer;
+        return {
+            enter: (catchPath) => {
+                const catchNode = catchPath.node;
+                const parent = catchPath.parent;
+                if (!t.isTryStatement(parent))
+                    return;
+                const scopeInfo = ctx.tryScopeMap.get(parent);
+                if (!scopeInfo || !scopeInfo.catchScopeId)
+                    return;
+                // Transition from try scope to catch scope
+                if (scopeInfo.currentBlock === 'try') {
+                    // Pop try scope, push catch scope
+                    if (ctx.scopeIdStack) {
+                        ctx.scopeIdStack.pop();
+                        ctx.scopeIdStack.push(scopeInfo.catchScopeId);
+                    }
+                    // Exit try scope, enter catch scope for semantic ID
+                    if (ctx.scopeTracker) {
+                        ctx.scopeTracker.exitScope();
+                        ctx.scopeTracker.enterCountedScope('catch');
+                    }
+                    // REG-311: Decrement tryBlockDepth when leaving try block for catch
+                    // Calls in catch block should NOT have isInsideTry=true
+                    if (ctx.controlFlowState) {
+                        ctx.controlFlowState.tryBlockDepth--;
+                    }
+                    scopeInfo.currentBlock = 'catch';
+                }
+                // Handle catch parameter (e.g., catch (e) or catch ({ message }))
+                if (catchNode.param) {
+                    const errorVarInfo = analyzer.extractVariableNamesFromPattern(catchNode.param);
+                    errorVarInfo.forEach(varInfo => {
+                        const legacyId = `VARIABLE#${varInfo.name}#${ctx.module.file}#${varInfo.loc.start.line}:${varInfo.loc.start.column}:${ctx.varDeclCounterRef.value++}`;
+                        const varId = ctx.scopeTracker
+                            ? computeSemanticId('VARIABLE', varInfo.name, ctx.scopeTracker.getContext())
+                            : legacyId;
+                        ctx.variableDeclarations.push({
+                            id: varId,
+                            type: 'VARIABLE',
+                            name: varInfo.name,
+                            file: ctx.module.file,
+                            line: varInfo.loc.start.line,
+                            parentScopeId: scopeInfo.catchScopeId
+                        });
+                    });
+                }
+            }
+        };
+    }
+}
+//# sourceMappingURL=TryCatchHandler.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"TryCatchHandler.js","sourceRoot":"","sources":["../../../../../src/plugins/analysis/ast/handlers/TryCatchHandler.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,0BAA0B,CAAC;AAE/D,MAAM,OAAO,eAAgB,SAAQ,mBAAmB;IACtD,WAAW;QACT,OAAO;YACL,YAAY,EAAE,IAAI,CAAC,yBAAyB,EAAE;YAC9C,WAAW,EAAE,IAAI,CAAC,wBAAwB,EAAE;SAC7C,CAAC;IACJ,CAAC;IAEO,yBAAyB;QAI/B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAE/B,OAAO;YACL,KAAK,EAAE,CAAC,OAAiC,EAAE,EAAE;gBAC3C,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;gBAE7B,2DAA2D;gBAC3D,IAAI,GAAG,CAAC,gBAAgB,EAAE,CAAC;oBACzB,GAAG,CAAC,gBAAgB,CAAC,WAAW,GAAG,IAAI,CAAC;oBACxC,oEAAoE;oBACpE,GAAG,CAAC,gBAAgB,CAAC,aAAa,EAAE,CAAC;gBACvC,CAAC;gBAED,8FAA8F;gBAC9F,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,2BAA2B;gBAC3B,MAAM,eAAe,GAAG,GAAG,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;gBACvD,MAAM,gBAAgB,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,cAAc,OAAO,CAAC,OAAO,CAAC,IAAI,eAAe,EAAE,CAAC;gBAC/F,MAAM,UAAU,GAAG,GAAG,CAAC,YAAY;oBACjC,CAAC,CAAC,iBAAiB,CAAC,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,eAAe,EAAE,CAAC;oBAC1G,CAAC,CAAC,gBAAgB,CAAC;gBAErB,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;oBACjB,EAAE,EAAE,UAAU;oBACd,UAAU,EAAE,UAAU;oBACtB,IAAI,EAAE,WAAW;oBACjB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oBACrB,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC;oBACtB,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC;oBAC1B,aAAa,EAAE,mBAAmB;iBACnC,CAAC,CAAC;gBAEH,oDAAoD;gBACpD,sDAAsD;gBACtD,MAAM,UAAU,GAAG,mBAAmB,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,CAAC;gBAC3G,MAAM,aAAa,GAAG,QAAQ,CAAC,kBAAkB,CAAC,WAAW,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;gBACjF,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;oBACd,EAAE,EAAE,UAAU;oBACd,IAAI,EAAE,OAAO;oBACb,SAAS,EAAE,WAAW;oBACtB,UAAU,EAAE,aAAa;oBACzB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;oBACrB,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC;oBACtB,aAAa,EAAE,UAAU,CAAE,sBAAsB;iBAClD,CAAC,CAAC;gBAEH,+DAA+D;gBAC/D,IAAI,YAAY,GAAkB,IAAI,CAAC;gBACvC,IAAI,YAAY,GAAkB,IAAI,CAAC;gBACvC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;oBACpB,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC;oBACpC,MAAM,iBAAiB,GAAG,GAAG,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC;oBAC3D,MAAM,kBAAkB,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,gBAAgB,OAAO,CAAC,WAAW,CAAC,IAAI,iBAAiB,EAAE,CAAC;oBACzG,YAAY,GAAG,GAAG,CAAC,YAAY;wBAC7B,CAAC,CAAC,iBAAiB,CAAC,aAAa,EAAE,OAAO,EAAE,GAAG,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,iBAAiB,EAAE,CAAC;wBAChH,CAAC,CAAC,kBAAkB,CAAC;oBAEvB,oCAAoC;oBACpC,IAAI,aAAiC,CAAC;oBACtC,IAAI,WAAW,CAAC,KAAK,IAAI,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;wBAC3D,aAAa,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC;oBACzC,CAAC;oBAED,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC;wBACnB,EAAE,EAAE,YAAY;wBAChB,UAAU,EAAE,YAAY;wBACxB,IAAI,EAAE,aAAa;wBACnB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;wBACrB,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC;wBAC1B,MAAM,EAAE,SAAS,CAAC,WAAW,CAAC;wBAC9B,aAAa,EAAE,GAAG,CAAC,aAAa;wBAChC,gBAAgB,EAAE,UAAU;wBAC5B,aAAa;qBACd,CAAC,CAAC;oBAEH,mDAAmD;oBACnD,YAAY,GAAG,qBAAqB,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,CAAC;oBAC7G,MAAM,eAAe,GAAG,QAAQ,CAAC,kBAAkB,CAAC,aAAa,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;oBACrF,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;wBACd,EAAE,EAAE,YAAY;wBAChB,IAAI,EAAE,OAAO;wBACb,SAAS,EAAE,aAAa;wBACxB,UAAU,EAAE,eAAe;wBAC3B,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;wBACrB,IAAI,EAAE,OAAO,CAAC,WAAW,CAAC;wBAC1B,aAAa,EAAE,YAAY,CAAE,wBAAwB;qBACtD,CAAC,CAAC;gBACL,CAAC;gBAED,qEAAqE;gBACrE,IAAI,cAAc,GAAkB,IAAI,CAAC;gBACzC,IAAI,cAAc,GAAkB,IAAI,CAAC;gBACzC,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;oBACtB,MAAM,mBAAmB,GAAG,GAAG,CAAC,sBAAsB,CAAC,KAAK,EAAE,CAAC;oBAC/D,MAAM,oBAAoB,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,kBAAkB,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,mBAAmB,EAAE,CAAC;oBACrH,cAAc,GAAG,GAAG,CAAC,YAAY;wBAC/B,CAAC,CAAC,iBAAiB,CAAC,eAAe,EAAE,SAAS,EAAE,GAAG,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,mBAAmB,EAAE,CAAC;wBACtH,CAAC,CAAC,oBAAoB,CAAC;oBAEzB,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC;wBACrB,EAAE,EAAE,cAAc;wBAClB,UAAU,EAAE,cAAc;wBAC1B,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;wBACrB,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC;wBAChC,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC;wBACpC,aAAa,EAAE,GAAG,CAAC,aAAa;wBAChC,gBAAgB,EAAE,UAAU;qBAC7B,CAAC,CAAC;oBAEH,qDAAqD;oBACrD,cAAc,GAAG,uBAAuB,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,EAAE,CAAC;oBACvH,MAAM,iBAAiB,GAAG,QAAQ,CAAC,kBAAkB,CAAC,eAAe,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;oBACzF,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;wBACd,EAAE,EAAE,cAAc;wBAClB,IAAI,EAAE,OAAO;wBACb,SAAS,EAAE,eAAe;wBAC1B,UAAU,EAAE,iBAAiB;wBAC7B,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;wBACrB,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC;wBAChC,aAAa,EAAE,cAAc,CAAE,0BAA0B;qBAC1D,CAAC,CAAC;gBACL,CAAC;gBAED,kDAAkD;gBAClD,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACrB,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACpC,CAAC;gBAED,6CAA6C;gBAC7C,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACrB,GAAG,CAAC,YAAY,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;gBAC5C,CAAC;gBAED,oDAAoD;gBACpD,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE;oBAC3B,UAAU;oBACV,YAAY;oBACZ,cAAc;oBACd,YAAY,EAAE,KAAK;oBACnB,UAAU;oBACV,YAAY;oBACZ,cAAc;iBACf,CAAC,CAAC;YACL,CAAC;YACD,IAAI,EAAE,CAAC,OAAiC,EAAE,EAAE;gBAC1C,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;gBAC7B,MAAM,UAAU,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAEhD,wEAAwE;gBACxE,oEAAoE;gBACpE,IAAI,GAAG,CAAC,gBAAgB,IAAI,UAAU,EAAE,YAAY,KAAK,KAAK,EAAE,CAAC;oBAC/D,GAAG,CAAC,gBAAgB,CAAC,aAAa,EAAE,CAAC;gBACvC,CAAC;gBAED,qEAAqE;gBACrE,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACrB,GAAG,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC;gBACzB,CAAC;gBAED,yBAAyB;gBACzB,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;oBACrB,GAAG,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC;gBAC/B,CAAC;gBAED,WAAW;gBACX,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAClC,CAAC;SACF,CAAC;IACJ,CAAC;IAEO,wBAAwB;QAG9B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;QACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAE/B,OAAO;YACL,KAAK,EAAE,CAAC,SAAkC,EAAE,EAAE;gBAC5C,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC;gBACjC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;gBAEhC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC;oBAAE,OAAO;gBAEtC,MAAM,SAAS,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAC9C,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,YAAY;oBAAE,OAAO;gBAElD,2CAA2C;gBAC3C,IAAI,SAAS,CAAC,YAAY,KAAK,KAAK,EAAE,CAAC;oBACrC,kCAAkC;oBAClC,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;wBACrB,GAAG,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC;wBACvB,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;oBAChD,CAAC;oBAED,oDAAoD;oBACpD,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;wBACrB,GAAG,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC;wBAC7B,GAAG,CAAC,YAAY,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;oBAC9C,CAAC;oBAED,oEAAoE;oBACpE,wDAAwD;oBACxD,IAAI,GAAG,CAAC,gBAAgB,EAAE,CAAC;wBACzB,GAAG,CAAC,gBAAgB,CAAC,aAAa,EAAE,CAAC;oBACvC,CAAC;oBAED,SAAS,CAAC,YAAY,GAAG,OAAO,CAAC;gBACnC,CAAC;gBAED,kEAAkE;gBAClE,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;oBACpB,MAAM,YAAY,GAAG,QAAQ,CAAC,+BAA+B,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;oBAE/E,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;wBAC7B,MAAM,QAAQ,GAAG,YAAY,OAAO,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,GAAG,CAAC,iBAAiB,CAAC,KAAK,EAAE,EAAE,CAAC;wBACtJ,MAAM,KAAK,GAAG,GAAG,CAAC,YAAY;4BAC5B,CAAC,CAAC,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC;4BAC5E,CAAC,CAAC,QAAQ,CAAC;wBAEb,GAAG,CAAC,oBAAoB,CAAC,IAAI,CAAC;4BAC5B,EAAE,EAAE,KAAK;4BACT,IAAI,EAAE,UAAU;4BAChB,IAAI,EAAE,OAAO,CAAC,IAAI;4BAClB,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI;4BACrB,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI;4BAC5B,aAAa,EAAE,SAAS,CAAC,YAAa;yBACvC,CAAC,CAAC;oBACL,CAAC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;CACF"}

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

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

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

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