@grafema/core 0.1.0-alpha.5 → 0.1.1-alpha

package/dist/plugins/enrichment/ImportExportLinker.js

@@ -22,28 +22,29 @@ export class ImportExportLinker extends Plugin {
             priority: 90, // Run early in enrichment, after analysis
             creates: {
                 nodes: [],
-                edges: ['IMPORTS_FROM']
+                edges: ['IMPORTS', 'IMPORTS_FROM']
             },
             dependencies: ['JSASTAnalyzer'] // Requires IMPORT and EXPORT nodes
         };
     }
     async execute(context) {
         const { graph, onProgress } = context;
-        console.log('[ImportExportLinker] Starting import-export linking...');
+        const logger = this.log(context);
+        logger.info('Starting import-export linking');
         const startTime = Date.now();
         // Step 1: Build EXPORT index - Map<file, Map<exportKey, exportNode>>
         const exportIndex = await this.buildExportIndex(graph);
         const indexTime = Date.now() - startTime;
-        console.log(`[ImportExportLinker] Indexed exports from ${exportIndex.size} files in ${indexTime}ms`);
+        logger.debug('Indexed exports', { files: exportIndex.size, time: `${indexTime}ms` });
         // Step 2: Build MODULE lookup - Map<file, moduleNode>
         const modulesByFile = await this.buildModuleLookup(graph);
-        console.log(`[ImportExportLinker] Indexed ${modulesByFile.size} modules`);
+        logger.debug('Indexed modules', { count: modulesByFile.size });
         // Step 3: Process all IMPORT nodes
         const imports = [];
         for await (const node of graph.queryNodes({ nodeType: 'IMPORT' })) {
             imports.push(node);
         }
-        console.log(`[ImportExportLinker] Found ${imports.length} imports to link`);
+        logger.info('Found imports to link', { count: imports.length });
         let edgesCreated = 0;
         let skipped = 0;
         let notFound = 0;
@@ -90,6 +91,17 @@ export class ImportExportLinker extends Plugin {
                 notFound++;
                 continue;
             }
+            // Create MODULE -> IMPORTS -> MODULE edge for relative imports
+            const sourceModule = modulesByFile.get(imp.file);
+            const targetModule = modulesByFile.get(targetFile);
+            if (sourceModule && targetModule) {
+                await graph.addEdge({
+                    type: 'IMPORTS',
+                    src: sourceModule.id,
+                    dst: targetModule.id
+                });
+                edgesCreated++;
+            }
             // Find matching export based on import type
             const importType = imp.importType; // 'default', 'named', or 'namespace'
             let targetExport;
@@ -120,7 +132,12 @@ export class ImportExportLinker extends Plugin {
             }
         }
         const totalTime = ((Date.now() - startTime) / 1000).toFixed(2);
-        console.log(`[ImportExportLinker] Complete: ${edgesCreated} edges created, ${skipped} skipped, ${notFound} not found (${totalTime}s)`);
+        logger.info('Complete', {
+            edgesCreated,
+            skipped,
+            notFound,
+            time: `${totalTime}s`
+        });
         return createSuccessResult({ nodes: 0, edges: edgesCreated }, {
             importsProcessed: imports.length,
             edgesCreated,

package/dist/plugins/enrichment/MethodCallResolver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"MethodCallResolver.d.ts","sourceRoot":"","sources":["../../../src/plugins/enrichment/MethodCallResolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,MAAM,EAAuB,MAAM,cAAc,CAAC;AAC3D,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAmBhF,qBAAa,kBAAmB,SAAQ,MAAM;IAC5C,OAAO,CAAC,qBAAqB,CAAC,CAAqC;IAEnE,IAAI,QAAQ,IAAI,cAAc,CAU7B;IAEK,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;IA8F5D;;OAEG;YACW,qBAAqB;IA0CnC;;OAEG;YACW,sBAAsB;IAkBpC;;OAEG;YACW,iBAAiB;IA0D/B;;OAEG;YACW,mBAAmB;YAqBnB,4BAA4B;IAyB1C;;OAEG;IACH,OAAO,CAAC,gBAAgB;CAWzB"}
+{"version":3,"file":"MethodCallResolver.d.ts","sourceRoot":"","sources":["../../../src/plugins/enrichment/MethodCallResolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,MAAM,EAAuB,MAAM,cAAc,CAAC;AAC3D,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAmBhF,qBAAa,kBAAmB,SAAQ,MAAM;IAC5C,OAAO,CAAC,qBAAqB,CAAC,CAAqC;IAEnE,IAAI,QAAQ,IAAI,cAAc,CAU7B;IAEK,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;IAoG5D;;OAEG;YACW,qBAAqB;IA0CnC;;OAEG;YACW,sBAAsB;IAkBpC;;OAEG;YACW,iBAAiB;IA0D/B;;OAEG;YACW,mBAAmB;YAqBnB,4BAA4B;IAyB1C;;OAEG;IACH,OAAO,CAAC,gBAAgB;CAWzB"}

package/dist/plugins/enrichment/MethodCallResolver.js

@@ -26,7 +26,8 @@ export class MethodCallResolver extends Plugin {
     }
     async execute(context) {
         const { graph, onProgress } = context;
-        console.log('[MethodCallResolver] Starting method call resolution...');
+        const logger = this.log(context);
+        logger.info('Starting method call resolution');
         let methodCallsProcessed = 0;
         let edgesCreated = 0;
         let unresolved = 0;
@@ -38,12 +39,12 @@ export class MethodCallResolver extends Plugin {
                 methodCalls.push(callNode);
             }
         }
-        console.log(`[MethodCallResolver] Found ${methodCalls.length} method calls to resolve`);
+        logger.info('Found method calls to resolve', { count: methodCalls.length });
         // Собираем все классы и их методы для быстрого поиска
-        const classMethodIndex = await this.buildClassMethodIndex(graph);
-        console.log(`[MethodCallResolver] Indexed ${classMethodIndex.size} classes`);
+        const classMethodIndex = await this.buildClassMethodIndex(graph, logger);
+        logger.info('Indexed classes', { count: classMethodIndex.size });
         // Собираем переменные и их типы (если известны)
-        const variableTypes = await this.buildVariableTypeIndex(graph);
+        const variableTypes = await this.buildVariableTypeIndex(graph, logger);
         const startTime = Date.now();
         for (const methodCall of methodCalls) {
             methodCallsProcessed++;
@@ -62,7 +63,12 @@ export class MethodCallResolver extends Plugin {
             if (methodCallsProcessed % 10 === 0) {
                 const elapsed = ((Date.now() - startTime) / 1000).toFixed(1);
                 const avgTime = ((Date.now() - startTime) / methodCallsProcessed).toFixed(0);
-                console.log(`[MethodCallResolver] Progress: ${methodCallsProcessed}/${methodCalls.length} (${elapsed}s, avg ${avgTime}ms/call)`);
+                logger.debug('Progress', {
+                    processed: methodCallsProcessed,
+                    total: methodCalls.length,
+                    elapsed: `${elapsed}s`,
+                    avgTime: `${avgTime}ms/call`
+                });
             }
             // Пропускаем внешние методы (console, Array.prototype, etc.)
             if (this.isExternalMethod(methodCall.object, methodCall.method)) {
@@ -93,20 +99,20 @@ export class MethodCallResolver extends Plugin {
             unresolved,
             classesIndexed: classMethodIndex.size
         };
-        console.log('[MethodCallResolver] Summary:', summary);
+        logger.info('Summary', summary);
         return createSuccessResult({ nodes: 0, edges: edgesCreated }, summary);
     }
     /**
      * Строит индекс классов и их методов
      */
-    async buildClassMethodIndex(graph) {
+    async buildClassMethodIndex(graph, logger) {
         const index = new Map();
         const startTime = Date.now();
         let classCount = 0;
         for await (const classNode of graph.queryNodes({ nodeType: 'CLASS' })) {
             classCount++;
             if (classCount % 50 === 0) {
-                console.log(`[MethodCallResolver] Indexing classes: ${classCount}...`);
+                logger.debug('Indexing classes', { count: classCount });
             }
             const className = classNode.name;
             if (!className)
@@ -130,13 +136,13 @@ export class MethodCallResolver extends Plugin {
             index.set(fileKey, classEntry);
         }
         const totalTime = ((Date.now() - startTime) / 1000).toFixed(1);
-        console.log(`[MethodCallResolver] Indexed ${index.size} class entries in ${totalTime}s`);
+        logger.debug('Indexed class entries', { count: index.size, time: `${totalTime}s` });
         return index;
     }
     /**
      * Строит индекс переменных и их типов (из INSTANCE_OF рёбер)
      */
-    async buildVariableTypeIndex(graph) {
+    async buildVariableTypeIndex(graph, logger) {
         const startTime = Date.now();
         const index = new Map();
         for await (const classNode of graph.queryNodes({ nodeType: 'CLASS' })) {
@@ -148,7 +154,7 @@ export class MethodCallResolver extends Plugin {
             }
         }
         const elapsed = ((Date.now() - startTime) / 1000).toFixed(1);
-        console.log(`[MethodCallResolver] Built variable type index: ${index.size} entries in ${elapsed}s`);
+        logger.debug('Built variable type index', { entries: index.size, time: `${elapsed}s` });
         return index;
     }
     /**

package/dist/plugins/enrichment/MountPointResolver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"MountPointResolver.d.ts","sourceRoot":"","sources":["../../../src/plugins/enrichment/MountPointResolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,YAAY,EAAgB,MAAM,gBAAgB,CAAC;AAuBhG,qBAAa,kBAAmB,SAAQ,MAAM;IAC5C,IAAI,QAAQ,IAAI,cAAc,CAW7B;IAEK,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;IA6F5D;;OAEG;YACW,iBAAiB;IAsF/B;;OAEG;YACW,SAAS;CA2BxB"}
+{"version":3,"file":"MountPointResolver.d.ts","sourceRoot":"","sources":["../../../src/plugins/enrichment/MountPointResolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,YAAY,EAAgB,MAAM,gBAAgB,CAAC;AAuBhG,qBAAa,kBAAmB,SAAQ,MAAM;IAC5C,IAAI,QAAQ,IAAI,cAAc,CAW7B;IAEK,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;IAkG5D;;OAEG;YACW,iBAAiB;IAsF/B;;OAEG;YACW,SAAS;CA2BxB"}

package/dist/plugins/enrichment/MountPointResolver.js

@@ -27,12 +27,13 @@ export class MountPointResolver extends Plugin {
     async execute(context) {
         try {
             const { graph } = context;
+            const logger = this.log(context);
             let endpointsUpdated = 0;
             let mountPointsProcessed = 0;
             // Find all MOUNT_POINT nodes
             const allNodes = await graph.getAllNodes();
             const mountPoints = allNodes.filter(node => node.type === 'MOUNT_POINT');
-            console.log(`[MountPointResolver] Found ${mountPoints.length} mount points`);
+            logger.info('Found mount points', { count: mountPoints.length });
             // For each top-level mount point (from app.use in index.js)
             // apply recursive resolver
             const processedMountPoints = new Set();
@@ -89,11 +90,15 @@ export class MountPointResolver extends Plugin {
                 }
                 mountPointsProcessed++;
             }
-            console.log(`[MountPointResolver] Updated ${endpointsUpdated} endpoints from ${mountPointsProcessed} mount points`);
+            logger.info('Updated endpoints', {
+                endpoints: endpointsUpdated,
+                mountPoints: mountPointsProcessed
+            });
             return createSuccessResult({ nodes: 0, edges: 0 }, { endpointsUpdated, mountPointsProcessed });
         }
         catch (error) {
-            console.error(`[MountPointResolver] Error:`, error);
+            const logger = this.log(context);
+            logger.error('Error in MountPointResolver', { error });
             return createErrorResult(error);
         }
     }

package/dist/plugins/enrichment/PrefixEvaluator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"PrefixEvaluator.d.ts","sourceRoot":"","sources":["../../../src/plugins/enrichment/PrefixEvaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,MAAM,EAA0C,MAAM,cAAc,CAAC;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEhF,OAAO,KAAK,EAAE,WAAW,EAAgB,MAAM,eAAe,CAAC;AAE/D,OAAO,KAAK,EACV,IAAI,EACJ,IAAI,EAEJ,gBAAgB,EAKhB,gBAAgB,EAEhB,eAAe,EAGhB,MAAM,cAAc,CAAC;AAGtB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAmBjD,UAAU,UAAU;IAClB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED,UAAU,IAAI;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,UAAU,YAAY;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,UAAU,KAAK;IACb,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG;QAAE,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAC;QAAC,MAAM,IAAI,QAAQ,CAAC,UAAU,CAAC,CAAA;KAAE,CAAC;IAC7G,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAA;KAAE,CAAC;CACzD;AAED,qBAAa,eAAgB,SAAQ,MAAM;IACzC,IAAI,QAAQ,IAAI,cAAc,CAW7B;IAEK,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;IAyF5D;;OAEG;IACG,cAAc,CAClB,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,EACtB,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IAczB;;OAEG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IA0CrE;;OAEG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IAsCnE;;OAEG;IACH,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IAgCpE;;OAEG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IA6CrE;;OAEG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IA4BnE;;OAEG;IACH,uBAAuB,CAAC,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IAgEtF;;OAEG;IACH,wBAAwB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAkBzE;;OAEG;IACH,uBAAuB,CAAC,IAAI,EAAE,eAAe,GAAG,MAAM,EAAE;IAUxD;;OAEG;IACH,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,GAAG,IAAI,EAAE;CAkBxD"}
+{"version":3,"file":"PrefixEvaluator.d.ts","sourceRoot":"","sources":["../../../src/plugins/enrichment/PrefixEvaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,MAAM,EAA0C,MAAM,cAAc,CAAC;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEhF,OAAO,KAAK,EAAE,WAAW,EAAgB,MAAM,eAAe,CAAC;AAE/D,OAAO,KAAK,EACV,IAAI,EACJ,IAAI,EAEJ,gBAAgB,EAKhB,gBAAgB,EAEhB,eAAe,EAGhB,MAAM,cAAc,CAAC;AAGtB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAmBjD,UAAU,UAAU;IAClB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED,UAAU,IAAI;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,UAAU,YAAY;IACpB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,UAAU,KAAK;IACb,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG;QAAE,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAC;QAAC,MAAM,IAAI,QAAQ,CAAC,UAAU,CAAC,CAAA;KAAE,CAAC;IAC7G,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAA;KAAE,CAAC;CACzD;AAED,qBAAa,eAAgB,SAAQ,MAAM;IACzC,IAAI,QAAQ,IAAI,cAAc,CAW7B;IAEK,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;IAkG5D;;OAEG;IACG,cAAc,CAClB,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,EACtB,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC;IAczB;;OAEG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IA0CrE;;OAEG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IAsCnE;;OAEG;IACH,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IAgCpE;;OAEG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IA6CrE;;OAEG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IA4BnE;;OAEG;IACH,uBAAuB,CAAC,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI;IAgEtF;;OAEG;IACH,wBAAwB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAkBzE;;OAEG;IACH,uBAAuB,CAAC,IAAI,EAAE,eAAe,GAAG,MAAM,EAAE;IAUxD;;OAEG;IACH,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,GAAG,IAAI,EAAE;CAkBxD"}

package/dist/plugins/enrichment/PrefixEvaluator.js

@@ -32,6 +32,7 @@ export class PrefixEvaluator extends Plugin {
     async execute(context) {
         try {
             const { graph } = context;
+            const logger = this.log(context);
             const graphTyped = graph;
             let mountPointsEvaluated = 0;
             let successfulEvaluations = 0;
@@ -47,7 +48,7 @@ export class PrefixEvaluator extends Plugin {
                     }
                 }
             }
-            console.log(`[PrefixEvaluator] Found ${mountPoints.length} mount points with placeholders`);
+            logger.info('Found mount points with placeholders', { count: mountPoints.length });
             // For each mount point try to evaluate prefix
             for (const mountPoint of mountPoints) {
                 mountPointsEvaluated++;
@@ -57,13 +58,13 @@ export class PrefixEvaluator extends Plugin {
                     dst: mountPoint.id
                 });
                 if (definesEdges.length === 0) {
-                    console.log(`[PrefixEvaluator] No DEFINES edge for mount point ${mountPoint.id}`);
+                    logger.debug('No DEFINES edge for mount point', { mountPointId: mountPoint.id });
                     continue;
                 }
                 const moduleId = definesEdges[0].fromId;
                 const module = graphTyped.nodes.get(moduleId);
                 if (!module || module.type !== 'MODULE') {
-                    console.log(`[PrefixEvaluator] Module not found for ${mountPoint.id}`);
+                    logger.debug('Module not found for mount point', { mountPointId: mountPoint.id });
                     continue;
                 }
                 // Parse module AST
@@ -77,7 +78,7 @@ export class PrefixEvaluator extends Plugin {
                 }
                 catch (error) {
                     const err = error;
-                    console.log(`[PrefixEvaluator] Failed to parse ${module.file}:`, err.message);
+                    logger.debug('Failed to parse file', { file: module.file, error: err.message });
                     continue;
                 }
                 // Try to evaluate prefix based on placeholder type
@@ -86,14 +87,22 @@ export class PrefixEvaluator extends Plugin {
                     mountPoint.prefix = evaluatedPrefix;
                     mountPoint.evaluated = true;
                     successfulEvaluations++;
-                    console.log(`[PrefixEvaluator] Resolved ${mountPoint.file}:${mountPoint.line}: ${evaluatedPrefix}`);
+                    logger.debug('Resolved prefix', {
+                        file: mountPoint.file,
+                        line: mountPoint.line,
+                        prefix: evaluatedPrefix
+                    });
                 }
             }
-            console.log(`[PrefixEvaluator] Evaluated ${successfulEvaluations}/${mountPointsEvaluated} mount points`);
+            logger.info('Evaluated mount points', {
+                successful: successfulEvaluations,
+                total: mountPointsEvaluated
+            });
             return createSuccessResult({ nodes: 0, edges: 0 }, { mountPointsEvaluated, successfulEvaluations });
         }
         catch (error) {
-            console.error(`[PrefixEvaluator] Error:`, error);
+            const logger = this.log(context);
+            logger.error('Error in PrefixEvaluator', { error });
             return createErrorResult(error);
         }
     }

package/dist/plugins/enrichment/RustFFIEnricher.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"RustFFIEnricher.d.ts","sourceRoot":"","sources":["../../../src/plugins/enrichment/RustFFIEnricher.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAuB,MAAM,cAAc,CAAC;AAC3D,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAoBhF,qBAAa,eAAgB,SAAQ,MAAM;IACzC,IAAI,QAAQ,IAAI,cAAc,CAW7B;IAEK,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;YA+C9C,cAAc;YAiCd,sBAAsB;IAuCpC,OAAO,CAAC,iBAAiB;IAyCzB;;;;OAIG;IACH,OAAO,CAAC,YAAY;IAIpB;;;OAGG;IACH,OAAO,CAAC,YAAY;CAIrB"}
+{"version":3,"file":"RustFFIEnricher.d.ts","sourceRoot":"","sources":["../../../src/plugins/enrichment/RustFFIEnricher.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAuB,MAAM,cAAc,CAAC;AAC3D,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAoBhF,qBAAa,eAAgB,SAAQ,MAAM;IACzC,IAAI,QAAQ,IAAI,cAAc,CAW7B;IAEK,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;YAgD9C,cAAc;YAiCd,sBAAsB;IAuCpC,OAAO,CAAC,iBAAiB;IAyCzB;;;;OAIG;IACH,OAAO,CAAC,YAAY;IAIpB;;;OAGG;IACH,OAAO,CAAC,YAAY;CAIrB"}

package/dist/plugins/enrichment/RustFFIEnricher.js

@@ -18,16 +18,17 @@ export class RustFFIEnricher extends Plugin {
     }
     async execute(context) {
         const { graph } = context;
+        const logger = this.log(context);
         // 1. Build index of NAPI-exported Rust functions/methods
         const napiIndex = await this.buildNapiIndex(graph);
         if (napiIndex.size === 0) {
-            console.log('[RustFFIEnricher] No NAPI exports found, skipping');
+            logger.info('No NAPI exports found, skipping');
             return createSuccessResult({ nodes: 0, edges: 0 }, { skipped: true, reason: 'No NAPI exports' });
         }
-        console.log(`[RustFFIEnricher] Indexed ${napiIndex.size} NAPI exports`);
+        logger.debug('Indexed NAPI exports', { count: napiIndex.size });
         // 2. Find JS CALL nodes that target Rust
         const jsCalls = await this.findRustCallingJsCalls(graph);
-        console.log(`[RustFFIEnricher] Found ${jsCalls.length} candidate JS calls`);
+        logger.debug('Found candidate JS calls', { count: jsCalls.length });
         // 3. Match and create FFI_CALLS edges
         let edgesCreated = 0;
         const unmatched = [];
@@ -49,9 +50,9 @@ export class RustFFIEnricher extends Plugin {
             }
         }
         if (unmatched.length > 0 && unmatched.length <= 20) {
-            console.log(`[RustFFIEnricher] Unmatched calls:`, unmatched.slice(0, 10));
+            logger.debug('Unmatched calls', { calls: unmatched.slice(0, 10) });
         }
-        console.log(`[RustFFIEnricher] Created ${edgesCreated} FFI_CALLS edges`);
+        logger.info('Created FFI_CALLS edges', { count: edgesCreated, unmatched: unmatched.length });
         return createSuccessResult({ nodes: 0, edges: edgesCreated }, { unmatched: unmatched.length });
     }
     async buildNapiIndex(graph) {

package/dist/plugins/enrichment/ValueDomainAnalyzer.d.ts

@@ -65,6 +65,7 @@ interface Graph {
         type: string;
         metadata?: Record<string, unknown>;
     }): Promise<void> | void;
+    deleteEdge?(src: string, dst: string, type: string): Promise<void>;
 }
 export declare class ValueDomainAnalyzer extends Plugin {
     static MAX_DEPTH: number;
@@ -109,6 +110,22 @@ export declare class ValueDomainAnalyzer extends Plugin {
      * Find method by object name and method name
      */
     findMethod(objectName: string, methodName: string, file: string, graph: Graph): Promise<NodeRecord | null>;
+    /**
+     * Resolve computed property names for object mutations.
+     * Finds FLOWS_INTO edges with mutationType: 'computed' and resolves
+     * the property name using value set tracing.
+     *
+     * @param graph - Graph backend with edge operations
+     * @returns Statistics about resolution
+     */
+    resolveComputedMutations(graph: Graph, logger: ReturnType<typeof this.log>): Promise<{
+        resolved: number;
+        conditional: number;
+        unknownParameter: number;
+        unknownRuntime: number;
+        deferredCrossFile: number;
+        total: number;
+    }>;
 }
 export default ValueDomainAnalyzer;
 //# sourceMappingURL=ValueDomainAnalyzer.d.ts.map

package/dist/plugins/enrichment/ValueDomainAnalyzer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ValueDomainAnalyzer.d.ts","sourceRoot":"","sources":["../../../src/plugins/enrichment/ValueDomainAnalyzer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,MAAM,EAAuB,MAAM,cAAc,CAAC;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAChF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AA0BjD,UAAU,cAAc;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE;QACN,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,CAAC;CACH;AAcD,UAAU,UAAU;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC;IACnB,IAAI,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC;IACpB,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC;CAC5B;AAED,UAAU,cAAc;IACtB,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,UAAU,oBAAqB,SAAQ,cAAc;IACnD,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,EAAE,OAAO,EAAE,CAAC;IACxB,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED,UAAU,uBAAuB;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,UAAU,KAAK;IACb,UAAU,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;IACpE,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC;IAChD,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IACxD,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IACxD,OAAO,CAAC,IAAI,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;CACrH;AAYD,qBAAa,mBAAoB,SAAQ,MAAM;IAC7C,MAAM,CAAC,SAAS,SAAM;IAItB,MAAM,CAAC,yBAAyB,EAAE,uBAAuB,EAAE,CAiBzD;IAGF,MAAM,CAAC,wBAAwB,EAAE,MAAM,EAAE,CAOvC;IAEF,IAAI,QAAQ,IAAI,cAAc,CAU7B;IAEK,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;IA0G5D;;OAEG;IACG,WAAW,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC;IAuD5F;;;OAGG;IACG,iBAAiB,CACrB,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,UAAU,GAAG;QAAE,aAAa,CAAC,EAAE,MAAM,CAAA;KAAE,EAC7C,KAAK,EAAE,KAAK,GACX,OAAO,CAAC,oBAAoB,CAAC;IA2BhC;;OAEG;IACG,sBAAsB,CAC1B,IAAI,EAAE,UAAU,GAAG;QAAE,aAAa,CAAC,EAAE,MAAM,CAAA;KAAE,EAC7C,KAAK,EAAE,KAAK,GACX,OAAO,CAAC,UAAU,EAAE,CAAC;IAkCxB;;OAEG;IACH,gBAAgB,CACd,QAAQ,EAAE,cAAc,EACxB,WAAW,EAAE,UAAU,EAAE,EACzB,YAAY,EAAE,MAAM,GACnB,cAAc;IAiBjB;;OAEG;IACH,qBAAqB,CACnB,QAAQ,EAAE,cAAc,EACxB,UAAU,EAAE,UAAU,EACtB,YAAY,EAAE,MAAM,GACnB,cAAc;IA2EjB;;OAEG;IACH,4BAA4B,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO;IA+B3D;;OAEG;IACG,aAAa,CACjB,IAAI,EAAE,UAAU,EAChB,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EACpB,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,cAAc,CAAC;IA0F1B;;OAEG;IACG,UAAU,CACd,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,KAAK,GACX,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;CAiC9B;AAED,eAAe,mBAAmB,CAAC"}
+{"version":3,"file":"ValueDomainAnalyzer.d.ts","sourceRoot":"","sources":["../../../src/plugins/enrichment/ValueDomainAnalyzer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,MAAM,EAAuB,MAAM,cAAc,CAAC;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAChF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AA0BjD,UAAU,cAAc;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE;QACN,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,CAAC;CACH;AAaD,UAAU,UAAU;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC;IACnB,IAAI,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC;IACpB,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC;CAC5B;AAED,UAAU,cAAc;IACtB,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,UAAU,oBAAqB,SAAQ,cAAc;IACnD,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,EAAE,OAAO,EAAE,CAAC;IACxB,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED,UAAU,uBAAuB;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,UAAU,KAAK;IACb,UAAU,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;IACpE,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC;IAChD,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IACxD,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IACxD,OAAO,CAAC,IAAI,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACpH,UAAU,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CACpE;AAYD,qBAAa,mBAAoB,SAAQ,MAAM;IAC7C,MAAM,CAAC,SAAS,SAAM;IAItB,MAAM,CAAC,yBAAyB,EAAE,uBAAuB,EAAE,CAiBzD;IAGF,MAAM,CAAC,wBAAwB,EAAE,MAAM,EAAE,CAOvC;IAEF,IAAI,QAAQ,IAAI,cAAc,CAU7B;IAEK,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;IAiH5D;;OAEG;IACG,WAAW,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,cAAc,CAAC;IAoD5F;;;OAGG;IACG,iBAAiB,CACrB,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,UAAU,GAAG;QAAE,aAAa,CAAC,EAAE,MAAM,CAAA;KAAE,EAC7C,KAAK,EAAE,KAAK,GACX,OAAO,CAAC,oBAAoB,CAAC;IA2BhC;;OAEG;IACG,sBAAsB,CAC1B,IAAI,EAAE,UAAU,GAAG;QAAE,aAAa,CAAC,EAAE,MAAM,CAAA;KAAE,EAC7C,KAAK,EAAE,KAAK,GACX,OAAO,CAAC,UAAU,EAAE,CAAC;IAiCxB;;OAEG;IACH,gBAAgB,CACd,QAAQ,EAAE,cAAc,EACxB,WAAW,EAAE,UAAU,EAAE,EACzB,YAAY,EAAE,MAAM,GACnB,cAAc;IAiBjB;;OAEG;IACH,qBAAqB,CACnB,QAAQ,EAAE,cAAc,EACxB,UAAU,EAAE,UAAU,EACtB,YAAY,EAAE,MAAM,GACnB,cAAc;IA2EjB;;OAEG;IACH,4BAA4B,CAAC,IAAI,EAAE,cAAc,GAAG,OAAO;IA+B3D;;OAEG;IACG,aAAa,CACjB,IAAI,EAAE,UAAU,EAChB,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,EACpB,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,cAAc,CAAC;IA0F1B;;OAEG;IACG,UAAU,CACd,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,KAAK,GACX,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IAkC7B;;;;;;;OAOG;IACG,wBAAwB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC;QACzF,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,CAAC;QACpB,gBAAgB,EAAE,MAAM,CAAC;QACzB,cAAc,EAAE,MAAM,CAAC;QACvB,iBAAiB,EAAE,MAAM,CAAC;QAC1B,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;CAsHH;AAED,eAAe,mBAAmB,CAAC"}

package/dist/plugins/enrichment/ValueDomainAnalyzer.js

@@ -51,15 +51,16 @@ export class ValueDomainAnalyzer extends Plugin {
             priority: 65, // After AliasTracker (60)
             creates: {
                 nodes: [],
-                edges: ['CALLS']
+                edges: ['CALLS', 'FLOWS_INTO'] // Added FLOWS_INTO (modifies existing)
             }
         };
     }
     async execute(context) {
         const { graph } = context;
+        const logger = this.log(context);
         const onProgress = context.onProgress;
         const graphTyped = graph;
-        console.log('[ValueDomainAnalyzer] Starting value domain analysis...');
+        logger.info('Starting value domain analysis');
         let callsProcessed = 0;
         let callsResolved = 0;
         let edgesCreated = 0;
@@ -74,7 +75,7 @@ export class ValueDomainAnalyzer extends Plugin {
                 computedCalls.push(callNode);
             }
         }
-        console.log(`[ValueDomainAnalyzer] Found ${computedCalls.length} computed member calls`);
+        logger.info('Found computed member calls', { count: computedCalls.length });
         // 2. For each computed call get value set
         for (const call of computedCalls) {
             callsProcessed++;
@@ -130,15 +131,20 @@ export class ValueDomainAnalyzer extends Plugin {
                 }
             }
         }
+        // 5. Resolve computed property mutations in FLOWS_INTO edges
+        logger.debug('Resolving computed property mutations');
+        const mutationStats = await this.resolveComputedMutations(graphTyped, logger);
+        logger.debug('Mutation resolution stats', mutationStats);
         const summary = {
             callsProcessed,
             callsResolved,
             edgesCreated,
             conditionalCalls,
-            partialCalls
+            partialCalls,
+            computedMutations: mutationStats
         };
-        console.log('[ValueDomainAnalyzer] Summary:', summary);
-        return createSuccessResult({ nodes: 0, edges: edgesCreated }, summary);
+        logger.info('Summary', summary);
+        return createSuccessResult({ nodes: 0, edges: edgesCreated + mutationStats.resolved + mutationStats.conditional }, summary);
     }
     /**
      * Get set of possible values for a variable
@@ -167,11 +173,9 @@ export class ValueDomainAnalyzer extends Plugin {
             }
         }
         if (variables.length === 0) {
-            console.log(`[ValueDomainAnalyzer] No variable found for ${variableName} in ${file}`);
             result.hasUnknown = true;
             return result;
         }
-        console.log(`[ValueDomainAnalyzer] Found ${variables.length} variable(s) for ${variableName}`);
         // Trace ASSIGNED_FROM to LITERAL or nondeterministic sources
         const visited = new Set();
         const valueSet = new Set();
@@ -223,8 +227,7 @@ export class ValueDomainAnalyzer extends Plugin {
             for await (const s of graph.queryNodes({ nodeType: 'SCOPE' })) {
                 const scopeNode = s;
                 if (scopeNode.id === currentScopeId ||
-                    scopeNode.originalId === currentScopeId ||
-                    scopeNode.stableId === currentScopeId) {
+                    scopeNode.originalId === currentScopeId) {
                     scope = scopeNode;
                     break;
                 }
@@ -460,5 +463,121 @@ export class ValueDomainAnalyzer extends Plugin {
         }
         return null;
     }
+    /**
+     * Resolve computed property names for object mutations.
+     * Finds FLOWS_INTO edges with mutationType: 'computed' and resolves
+     * the property name using value set tracing.
+     *
+     * @param graph - Graph backend with edge operations
+     * @returns Statistics about resolution
+     */
+    async resolveComputedMutations(graph, logger) {
+        const stats = {
+            resolved: 0,
+            conditional: 0,
+            unknownParameter: 0,
+            unknownRuntime: 0,
+            deferredCrossFile: 0,
+            total: 0
+        };
+        // Process edges by finding all VARIABLE and CONSTANT nodes and checking their outgoing edges
+        const processedEdges = new Set();
+        // Helper to process a node's outgoing edges
+        const processNodeEdges = async (node) => {
+            const outgoing = await graph.getOutgoingEdges(node.id);
+            for (const edge of outgoing) {
+                const edgeType = edge.edgeType ||
+                    edge.edge_type ||
+                    edge.type;
+                if (edgeType !== 'FLOWS_INTO')
+                    continue;
+                const edgeKey = `${edge.src}->${edge.dst}:FLOWS_INTO`;
+                if (processedEdges.has(edgeKey))
+                    continue;
+                processedEdges.add(edgeKey);
+                const mutationType = edge.mutationType;
+                const computedPropertyVar = edge.computedPropertyVar;
+                if (mutationType !== 'computed' || !computedPropertyVar)
+                    continue;
+                stats.total++;
+                // Get file from source node
+                const sourceNode = await graph.getNode(edge.src);
+                const file = sourceNode?.file;
+                if (!file)
+                    continue;
+                // Resolve the computed property variable using existing getValueSet
+                const valueSet = await this.getValueSet(computedPropertyVar, file, graph);
+                // Check if the variable is a PARAMETER node
+                let isParameter = false;
+                for await (const node of graph.queryNodes({ nodeType: 'PARAMETER' })) {
+                    const paramNode = node;
+                    const nodeName = paramNode.name || paramNode.attrs?.name;
+                    const nodeFile = paramNode.file || paramNode.attrs?.file;
+                    if (nodeName === computedPropertyVar && nodeFile === file) {
+                        isParameter = true;
+                        break;
+                    }
+                }
+                // Determine resolution status based on value set
+                let resolutionStatus;
+                let resolvedPropertyNames = [];
+                if (valueSet.values.length === 0 && isParameter) {
+                    // Variable is a function parameter - cannot be statically resolved
+                    resolutionStatus = 'UNKNOWN_PARAMETER';
+                    stats.unknownParameter++;
+                }
+                else if (valueSet.values.length === 0 && valueSet.hasUnknown) {
+                    // Completely nondeterministic - runtime value (function call result, etc.)
+                    resolutionStatus = 'UNKNOWN_RUNTIME';
+                    stats.unknownRuntime++;
+                }
+                else if (valueSet.values.length === 0) {
+                    // No values found at all - treat as unknown
+                    resolutionStatus = 'UNKNOWN_RUNTIME';
+                    stats.unknownRuntime++;
+                }
+                else if (valueSet.values.length === 1 && !valueSet.hasUnknown) {
+                    // Single deterministic value
+                    resolutionStatus = 'RESOLVED';
+                    resolvedPropertyNames = valueSet.values.map(v => String(v));
+                    stats.resolved++;
+                }
+                else {
+                    // Multiple values (conditional) or partial resolution
+                    resolutionStatus = 'RESOLVED_CONDITIONAL';
+                    resolvedPropertyNames = valueSet.values.map(v => String(v));
+                    stats.conditional++;
+                }
+                // Update edge: delete old, create new with resolved data
+                // Following the same pattern as InstanceOfResolver
+                if (graph.deleteEdge) {
+                    await graph.deleteEdge(edge.src, edge.dst, 'FLOWS_INTO');
+                }
+                // Preserve original edge data and add resolution info
+                // For UNKNOWN cases, keep propertyName as '<computed>' and resolvedPropertyNames empty
+                await graph.addEdge({
+                    src: edge.src,
+                    dst: edge.dst,
+                    type: 'FLOWS_INTO',
+                    metadata: {
+                        mutationType,
+                        propertyName: resolvedPropertyNames[0] || '<computed>',
+                        computedPropertyVar,
+                        resolvedPropertyNames,
+                        resolutionStatus
+                    }
+                });
+            }
+        };
+        // Process VARIABLE nodes
+        for await (const node of graph.queryNodes({ nodeType: 'VARIABLE' })) {
+            await processNodeEdges(node);
+        }
+        // Process CONSTANT nodes
+        for await (const node of graph.queryNodes({ nodeType: 'CONSTANT' })) {
+            await processNodeEdges(node);
+        }
+        return stats;
+    }
 }
 export default ValueDomainAnalyzer;

package/dist/plugins/indexing/IncrementalModuleIndexer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"IncrementalModuleIndexer.d.ts","sourceRoot":"","sources":["../../../src/plugins/indexing/IncrementalModuleIndexer.ts"],"names":[],"mappings":"AAAA;;;GAGG;AASH,OAAO,EAAE,MAAM,EAA0C,MAAM,cAAc,CAAC;AAC9E,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAyBhF,qBAAa,wBAAyB,SAAQ,MAAM;IAClD,IAAI,QAAQ,IAAI,cAAc,CAU7B;IAED;;OAEG;IACH,OAAO,CAAC,aAAa;IA0BrB;;OAEG;IACH,OAAO,CAAC,UAAU;IAuBlB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IASzB;;OAEG;IACH,OAAO,CAAC,YAAY;IAqCd,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;CAgI7D"}
+{"version":3,"file":"IncrementalModuleIndexer.d.ts","sourceRoot":"","sources":["../../../src/plugins/indexing/IncrementalModuleIndexer.ts"],"names":[],"mappings":"AAAA;;;GAGG;AASH,OAAO,EAAE,MAAM,EAA0C,MAAM,cAAc,CAAC;AAC9E,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAyBhF,qBAAa,wBAAyB,SAAQ,MAAM;IAClD,IAAI,QAAQ,IAAI,cAAc,CAU7B;IAED;;OAEG;IACH,OAAO,CAAC,aAAa;IA0BrB;;OAEG;IACH,OAAO,CAAC,UAAU;IAuBlB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IASzB;;OAEG;IACH,OAAO,CAAC,YAAY;IAqCd,OAAO,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,YAAY,CAAC;CAyI7D"}