ghagga-core 3.2.0 → 3.4.0

package/dist/graph/builder.js

@@ -34,6 +34,125 @@ export function isExcludedPath(filePath) {
 function hashContent(content) {
     return createHash('sha256').update(content).digest('hex');
 }
+/**
+ * Move one directory level up from a repo-relative dir path (`''`/`'.'` at
+ * the root, never past it). Used by the Python resolver below to walk
+ * package levels (relative-import dot count) and ancestor dirs (absolute
+ * import heuristic).
+ */
+function dirUp(dir) {
+    if (dir === '' || dir === '.')
+        return '';
+    const parent = path.posix.dirname(dir);
+    return parent === '.' ? '' : parent;
+}
+/**
+ * Try resolving a dotless, repo-relative Python module TARGET (already
+ * dot-converted to `/`) against `availableFiles`: as a `.py`/`.pyi` module
+ * file, then as a PACKAGE via its `__init__.py`/`__init__.pyi` barrel
+ * (BL-SCIP-BARREL-PYTHON-RUST — the gap this fixes: `__init__.py` was
+ * missing from index-file resolution entirely, on top of the dotted-import
+ * mishandling below), then as an exact match (rare). Returns `undefined`
+ * when nothing matches — the caller must NOT fabricate a path.
+ */
+function tryPythonTarget(target, availableFiles) {
+    // Root-level target ('' — e.g. `from . import x` at the repo root): the
+    // barrel candidate is `__init__.py`, NOT `/__init__.py` (a leading slash
+    // never matches a repo-relative path, so this case silently fell through
+    // before this fix).
+    const barrelPrefix = target ? `${target}/` : '';
+    if (target && availableFiles.has(`${target}.py`))
+        return `${target}.py`;
+    if (target && availableFiles.has(`${target}.pyi`))
+        return `${target}.pyi`;
+    if (availableFiles.has(`${barrelPrefix}__init__.py`))
+        return `${barrelPrefix}__init__.py`;
+    if (availableFiles.has(`${barrelPrefix}__init__.pyi`))
+        return `${barrelPrefix}__init__.pyi`;
+    if (target && availableFiles.has(target))
+        return target;
+    return undefined;
+}
+/**
+ * Count how many distinct real files in `availableFiles` could satisfy an
+ * ABSOLUTE Python import target (root-relative `target`, already
+ * dot-converted to `/`) — either as `target` itself resolved via
+ * `tryPythonTarget` (root-relative), OR as `target` resolved relative to
+ * ANY ancestor directory anywhere in the repo (i.e. some OTHER file tree
+ * also has a same-named package/module at `target`'s tail). Used to detect
+ * package-name collisions (R3-001): a `utils` package that exists under
+ * BOTH `services/billing/` and `shared/` must never be silently resolved to
+ * whichever one happens to be nearest — that is a WRONG edge, worse than no
+ * edge at all.
+ */
+function countPythonAbsoluteCandidates(target, availableFiles) {
+    const candidates = new Set();
+    const rootResolved = tryPythonTarget(target, availableFiles);
+    if (rootResolved)
+        candidates.add(rootResolved);
+    const suffixes = target
+        ? [`/${target}.py`, `/${target}.pyi`, `/${target}/__init__.py`, `/${target}/__init__.pyi`]
+        : [];
+    for (const f of availableFiles) {
+        if (suffixes.some((suffix) => f.endsWith(suffix))) {
+            candidates.add(f);
+        }
+    }
+    return candidates;
+}
+/**
+ * Resolve a Python import specifier to a repo-relative file path.
+ *
+ * Two forms, both mishandled before this fix:
+ *
+ * - RELATIVE (`from .sub import X`, `from ..sub import Y`): the leading dot
+ *   COUNT is significant — one dot means "the importer's own containing
+ *   package" (its dirname, whether the importer is `__init__.py` or a
+ *   regular sibling module — both cases the dirname already IS the
+ *   package), each additional dot climbs one more package level. The
+ *   previous code passed the specifier through the TS-style `path.join`
+ *   resolver, which treated `.sub` as a literal path SEGMENT (`pkg/.sub`)
+ *   rather than "same dir, name sub" — never matching any real file.
+ * - ABSOLUTE (`from pkg import X`, `import pkg.sub`): previously short-
+ *   circuited by the non-relative-imports-return-as-is branch (correct for
+ *   `lodash`-style external packages in OTHER languages, wrong for Python's
+ *   dotted own-package imports). Resolved here ONLY when the target is
+ *   UNAMBIGUOUS — exactly one file anywhere in `availableFiles` can satisfy
+ *   it (root-relative, or nested under exactly one ancestor tree). A
+ *   monorepo with duplicate package names (e.g. `services/billing/utils`
+ *   AND `shared/utils`) must NOT silently guess the nearest one — a WRONG
+ *   edge is worse than no edge (R3-001). Zero or multiple candidates fall
+ *   through unresolved and are returned unchanged, same as genuinely
+ *   external packages (e.g. `numpy`).
+ *
+ * Relative-import resolution failures (R3-002) return `undefined` — never a
+ * fabricated non-existent path — since a relative specifier (`.`, `..sub`)
+ * is never a meaningful external reference on its own; callers drop
+ * unresolved imports rather than recording a dangling/fabricated edge.
+ */
+function resolvePythonImportPath(importerPath, importSpecifier, availableFiles) {
+    const dotMatch = importSpecifier.match(/^\.+/);
+    const dotCount = dotMatch ? dotMatch[0].length : 0;
+    const rest = importSpecifier.slice(dotCount);
+    const restPath = rest ? rest.replace(/\./g, '/') : '';
+    if (dotCount > 0) {
+        let dir = path.posix.dirname(importerPath);
+        if (dir === '.')
+            dir = '';
+        for (let i = 0; i < dotCount - 1; i++) {
+            dir = dirUp(dir);
+        }
+        const target = restPath ? path.posix.join(dir, restPath) : dir;
+        return tryPythonTarget(target, availableFiles);
+    }
+    // Absolute dotted import: resolve ONLY when unambiguous.
+    const candidates = countPythonAbsoluteCandidates(restPath, availableFiles);
+    if (candidates.size === 1) {
+        const [only] = candidates;
+        return only;
+    }
+    return importSpecifier;
+}
 /**
  * Resolve a relative import path to an absolute path within the project.
  *
@@ -41,8 +160,23 @@ function hashContent(content) {
  * to a project-relative path. Only resolves relative imports (starting
  * with `.` or `..`). Non-relative imports (e.g., 'lodash') are returned
  * as-is since they refer to external packages.
+ *
+ * Python is special-cased (BL-SCIP-BARREL-PYTHON-RUST): both its relative
+ * (`.sub`/`..sub`) AND absolute (`pkg`/`pkg.sub`) dotted-module import forms
+ * are delegated to `resolvePythonImportPath` — see that function's doc
+ * comment for what's actually resolved vs. left as a documented heuristic
+ * gap. No other language's resolution changes.
+ *
+ * Returns `undefined` ONLY for the Python relative-import no-fabrication
+ * case (R3-002) — every other path (including unresolved Python absolute
+ * imports and non-Python external specifiers) always returns a string.
+ * Callers MUST drop `undefined` results rather than substitute a fabricated
+ * path.
  */
 export function resolveImportPath(importerPath, importSpecifier, availableFiles) {
+    if (detectLanguage(importerPath) === 'python') {
+        return resolvePythonImportPath(importerPath, importSpecifier, availableFiles);
+    }
     // Non-relative imports → return as-is
     if (!importSpecifier.startsWith('.')) {
         return importSpecifier;
@@ -87,6 +221,56 @@ export function resolveImportPath(importerPath, importSpecifier, availableFiles)
     // Return the original resolved path (without extension)
     return resolved;
 }
+/**
+ * Resolve a list of raw import specifiers, dropping any that
+ * `resolveImportPath` leaves unresolved (R3-002 no-fabrication contract —
+ * currently only the Python relative-import case can return `undefined`).
+ */
+function resolveImportPathList(importerPath, specifiers, availableFiles) {
+    const out = [];
+    for (const spec of specifiers) {
+        const resolved = resolveImportPath(importerPath, spec, availableFiles);
+        if (resolved !== undefined)
+            out.push(resolved);
+    }
+    return out;
+}
+// ─── Export Buckets (D3, D6) ─────────────────────────────────────
+/**
+ * Split a file's extracted `ExportInfo[]` into locally-defined exports vs
+ * the two re-export buckets (named/type-only symbols, and wildcard
+ * sources). Shared by BOTH `buildGraph` and `buildGraphIncremental` (D6
+ * parity) — factored out specifically so the barrel split can't drift
+ * between the two builder paths the way `extractImports`/`extractExports`
+ * calls historically have (see `stageImportSymbols`/`remapImportSymbols`
+ * for the analogous import-side precedent).
+ *
+ * `reExportsAllRaw` sources are UNRESOLVED module specifiers — the caller
+ * resolves them via `resolveImportPath` in whichever pass it already
+ * resolves `imports` in (Pass 2 for `buildGraph`, inline for
+ * `buildGraphIncremental`).
+ */
+function deriveExportBuckets(extractedExports) {
+    const exports = [];
+    const reExportedSymbols = [];
+    const reExportsAllRaw = [];
+    for (const exp of extractedExports) {
+        if (exp.source === undefined) {
+            exports.push(exp.name);
+        }
+        else if (exp.name === '*') {
+            reExportsAllRaw.push(exp.source);
+        }
+        else {
+            reExportedSymbols.push(exp.name);
+        }
+    }
+    return {
+        exports,
+        reExportedSymbols: reExportedSymbols.length > 0 ? reExportedSymbols : undefined,
+        reExportsAllRaw: reExportsAllRaw.length > 0 ? reExportsAllRaw : undefined,
+    };
+}
 // ─── Build Graph ────────────────────────────────────────────────
 /**
  * Build a complete dependency graph from a map of file paths → file content.
@@ -98,6 +282,16 @@ export function resolveImportPath(importerPath, importSpecifier, availableFiles)
 export function buildGraph(rootDir, files) {
     const nodes = {};
     const availableFiles = new Set(files.keys());
+    // Staged rawSource -> symbols per file, keyed BEFORE Pass-2 path
+    // resolution (`node.imports` still holds raw specifiers at this point).
+    // Remapped to resolved paths in Pass 2, alongside `node.imports` itself,
+    // so `importSymbols` ends up keyed in the SAME resolved-path space as
+    // `imports` (required for Slice 2 lookups to work).
+    const rawSymbolsByFile = new Map();
+    // Staged rawSource[] (wildcard re-export sources) per file, BEFORE Pass-2
+    // path resolution — resolved into `reExportsAll` alongside `imports` in
+    // Pass 2, mirroring `rawSymbolsByFile` above (D6).
+    const rawWildcardSourcesByFile = new Map();
     // Pass 1: Build nodes with raw imports
     for (const [filePath, content] of files) {
         // Skip excluded directories
@@ -107,18 +301,28 @@ export function buildGraph(rootDir, files) {
         const language = detectLanguage(filePath);
         if (!language)
             continue;
+        // SCIP-only languages (kotlin/csharp/php) have no regex extractor —
+        // the regex builder can't index them, so skip (no node, no throw).
+        const extractor = getExtractor(language);
+        if (!extractor)
+            continue;
         try {
-            const extractor = getExtractor(language);
             const extractedImports = extractor.extractImports(content);
             const extractedExports = extractor.extractExports(content);
+            const buckets = deriveExportBuckets(extractedExports);
             nodes[filePath] = {
                 hash: hashContent(content),
                 language,
                 imports: extractedImports.map((i) => i.source),
-                exports: extractedExports.map((e) => e.name),
+                exports: buckets.exports,
+                ...(buckets.reExportedSymbols ? { reExportedSymbols: buckets.reExportedSymbols } : {}),
                 calls: [],
                 isTest: isTestFile(filePath),
             };
+            if (buckets.reExportsAllRaw) {
+                rawWildcardSourcesByFile.set(filePath, buckets.reExportsAllRaw);
+            }
+            stageImportSymbols(rawSymbolsByFile, filePath, extractedImports);
         }
         catch {
             // Parse errors in individual files don't abort the build
@@ -135,7 +339,17 @@ export function buildGraph(rootDir, files) {
     }
     // Pass 2: Resolve relative imports to project-relative paths
     for (const [filePath, node] of Object.entries(nodes)) {
-        node.imports = node.imports.map((imp) => resolveImportPath(filePath, imp, availableFiles));
+        node.imports = resolveImportPathList(filePath, node.imports, availableFiles);
+        const rawSymbols = rawSymbolsByFile.get(filePath);
+        if (rawSymbols) {
+            const resolved = remapImportSymbols(filePath, rawSymbols, availableFiles);
+            if (resolved)
+                node.importSymbols = resolved;
+        }
+        const rawWildcardSources = rawWildcardSourcesByFile.get(filePath);
+        if (rawWildcardSources) {
+            node.reExportsAll = resolveImportPathList(filePath, rawWildcardSources, availableFiles);
+        }
     }
     return {
         version: GRAPH_VERSION,
@@ -143,6 +357,61 @@ export function buildGraph(rootDir, files) {
         nodes,
     };
 }
+// ─── importSymbols Helpers ──────────────────────────────────────
+/**
+ * Stage `rawSource -> symbols` for a file's extracted imports, BEFORE
+ * Pass-2 path resolution. Only sources with at least one named symbol are
+ * staged (omit-empty rule) — namespace/default/side-effect imports and
+ * extractors without symbol data (Python/Rust, most Go) never populate
+ * this map.
+ */
+function stageImportSymbols(rawSymbolsByFile, filePath, extractedImports) {
+    for (const { source, symbols } of extractedImports) {
+        if (symbols.length === 0)
+            continue;
+        let bySource = rawSymbolsByFile.get(filePath);
+        if (!bySource) {
+            bySource = new Map();
+            rawSymbolsByFile.set(filePath, bySource);
+        }
+        let set = bySource.get(source);
+        if (!set) {
+            set = new Set();
+            bySource.set(source, set);
+        }
+        for (const symbol of symbols)
+            set.add(symbol);
+    }
+}
+/**
+ * Remap a file's staged `rawSource -> symbols` map to the SAME resolved
+ * path space as `node.imports`, merging symbol sets when multiple raw
+ * specifiers resolve to the same target (e.g. `./b` and `./b.ts`).
+ * Returns `undefined` when there is nothing to record (omit-empty rule).
+ */
+function remapImportSymbols(filePath, rawSymbols, availableFiles) {
+    const result = {};
+    for (const [rawSource, symbols] of rawSymbols) {
+        const resolved = resolveImportPath(filePath, rawSource, availableFiles);
+        if (resolved === undefined)
+            continue;
+        const existing = result[resolved];
+        if (existing) {
+            for (const s of symbols)
+                existing.add(s);
+        }
+        else {
+            result[resolved] = new Set(symbols);
+        }
+    }
+    if (Object.keys(result).length === 0)
+        return undefined;
+    const out = {};
+    for (const [target, symbols] of Object.entries(result)) {
+        out[target] = Array.from(symbols);
+    }
+    return out;
+}
 // ─── Incremental Build ──────────────────────────────────────────
 /**
  * Update a dependency graph incrementally.
@@ -177,18 +446,48 @@ export function buildGraphIncremental(existing, changedFiles, deletedFiles) {
         const language = detectLanguage(filePath);
         if (!language)
             continue;
+        // SCIP-only languages (kotlin/csharp/php) have no regex extractor.
+        const extractor = getExtractor(language);
+        if (!extractor) {
+            delete nodes[filePath];
+            continue;
+        }
         try {
-            const extractor = getExtractor(language);
             const extractedImports = extractor.extractImports(content);
             const extractedExports = extractor.extractExports(content);
+            const buckets = deriveExportBuckets(extractedExports);
             nodes[filePath] = {
                 hash: hashContent(content),
                 language,
-                imports: extractedImports.map((i) => resolveImportPath(filePath, i.source, allFiles)),
-                exports: extractedExports.map((e) => e.name),
+                imports: resolveImportPathList(filePath, extractedImports.map((i) => i.source), allFiles),
+                exports: buckets.exports,
+                ...(buckets.reExportedSymbols ? { reExportedSymbols: buckets.reExportedSymbols } : {}),
+                ...(buckets.reExportsAllRaw
+                    ? {
+                        reExportsAll: resolveImportPathList(filePath, buckets.reExportsAllRaw, allFiles),
+                    }
+                    : {}),
                 calls: [],
                 isTest: isTestFile(filePath),
             };
+            // Resolves inline (no separate Pass 2 in the incremental path) —
+            // remap raw source -> symbols directly to the resolved path space,
+            // matching `node.imports` above.
+            const rawSymbols = new Map();
+            for (const { source, symbols } of extractedImports) {
+                if (symbols.length === 0)
+                    continue;
+                let set = rawSymbols.get(source);
+                if (!set) {
+                    set = new Set();
+                    rawSymbols.set(source, set);
+                }
+                for (const symbol of symbols)
+                    set.add(symbol);
+            }
+            const resolvedSymbols = remapImportSymbols(filePath, rawSymbols, allFiles);
+            if (resolvedSymbols)
+                nodes[filePath].importSymbols = resolvedSymbols;
         }
         catch {
             nodes[filePath] = {

package/dist/graph/builder.js.map

@@ -1 +1 @@
-{"version":3,"file":"builder.js","sourceRoot":"","sources":["../../src/graph/builder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAEL,aAAa,EACb,aAAa,EAEb,UAAU,EACV,mBAAmB,GAEpB,MAAM,aAAa,CAAC;AAErB,mEAAmE;AAEnE;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;IACjD,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC;AAClC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACrC,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AACxD,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,OAAe;IAClC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,YAAoB,EACpB,eAAuB,EACvB,cAA2B;IAE3B,sCAAsC;IACtC,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO,eAAe,CAAC;IACzB,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC/C,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC,CAAC;IAEnF,oBAAoB;IACpB,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC;IAED,wBAAwB;IACxB,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,mCAAmC;IACnC,MAAM,UAAU,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACxF,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,GAAG,QAAQ,GAAG,GAAG,EAAE,CAAC;QACpC,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,MAAM,UAAU,GAAG,CAAC,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IACtE,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,SAAS,GAAG,GAAG,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC7C,IAAI,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAClC,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,0FAA0F;IAC1F,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAChD,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAClD,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IAED,wDAAwD;IACxD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,mEAAmE;AAEnE;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,OAAe,EAAE,KAA0B;IACpE,MAAM,KAAK,GAA8B,EAAE,CAAC;IAC5C,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAE7C,uCAAuC;IACvC,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC;QACxC,4BAA4B;QAC5B,IAAI,cAAc,CAAC,QAAQ,CAAC;YAAE,SAAS;QAEvC,kBAAkB;QAClB,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC1C,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;YACzC,MAAM,gBAAgB,GAAG,SAAS,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;YAC3D,MAAM,gBAAgB,GAAG,SAAS,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;YAE3D,KAAK,CAAC,QAAQ,CAAC,GAAG;gBAChB,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC;gBAC1B,QAAQ;gBACR,OAAO,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;gBAC9C,OAAO,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC5C,KAAK,EAAE,EAAE;gBACT,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC;aAC7B,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,yDAAyD;YACzD,+DAA+D;YAC/D,KAAK,CAAC,QAAQ,CAAC,GAAG;gBAChB,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC;gBAC1B,QAAQ;gBACR,OAAO,EAAE,EAAE;gBACX,OAAO,EAAE,EAAE;gBACX,KAAK,EAAE,EAAE;gBACT,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC;aAC7B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,6DAA6D;IAC7D,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,QAAQ,EAAE,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC;IAC7F,CAAC;IAED,OAAO;QACL,OAAO,EAAE,aAAa;QACtB,OAAO;QACP,KAAK;KACN,CAAC;AACJ,CAAC;AAED,mEAAmE;AAEnE;;;;;;;;;;GAUG;AACH,MAAM,UAAU,qBAAqB,CACnC,QAAyB,EACzB,YAAiC,EACjC,YAAsB;IAEtB,sCAAsC;IACtC,MAAM,KAAK,GAA8B,EAAE,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC;IAE/D,uBAAuB;IACvB,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzB,CAAC;IAED,6DAA6D;IAC7D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7C,KAAK,MAAM,QAAQ,IAAI,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;QAC3C,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACzB,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QACpC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,wBAAwB;IACxB,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,YAAY,EAAE,CAAC;QAC/C,IAAI,cAAc,CAAC,QAAQ,CAAC;YAAE,SAAS;QAEvC,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC1C,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;YACzC,MAAM,gBAAgB,GAAG,SAAS,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;YAC3D,MAAM,gBAAgB,GAAG,SAAS,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;YAE3D,KAAK,CAAC,QAAQ,CAAC,GAAG;gBAChB,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC;gBAC1B,QAAQ;gBACR,OAAO,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;gBACrF,OAAO,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC5C,KAAK,EAAE,EAAE;gBACT,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC;aAC7B,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,KAAK,CAAC,QAAQ,CAAC,GAAG;gBAChB,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC;gBAC1B,QAAQ;gBACR,OAAO,EAAE,EAAE;gBACX,OAAO,EAAE,EAAE;gBACX,KAAK,EAAE,EAAE;gBACT,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC;aAC7B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,aAAa;QACtB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,KAAK;KACN,CAAC;AACJ,CAAC"}
+{"version":3,"file":"builder.js","sourceRoot":"","sources":["../../src/graph/builder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAEL,aAAa,EACb,aAAa,EAEb,UAAU,EACV,mBAAmB,GAEpB,MAAM,aAAa,CAAC;AAErB,mEAAmE;AAEnE;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;IACjD,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC;AAClC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACrC,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AACxD,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,OAAe;IAClC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5D,CAAC;AAED;;;;;GAKG;AACH,SAAS,KAAK,CAAC,GAAW;IACxB,IAAI,GAAG,KAAK,EAAE,IAAI,GAAG,KAAK,GAAG;QAAE,OAAO,EAAE,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACvC,OAAO,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AACtC,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,eAAe,CAAC,MAAc,EAAE,cAA2B;IAClE,wEAAwE;IACxE,yEAAyE;IACzE,yEAAyE;IACzE,oBAAoB;IACpB,MAAM,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAChD,IAAI,MAAM,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,MAAM,KAAK,CAAC;IACxE,IAAI,MAAM,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,MAAM,MAAM,CAAC;QAAE,OAAO,GAAG,MAAM,MAAM,CAAC;IAC1E,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,YAAY,aAAa,CAAC;QAAE,OAAO,GAAG,YAAY,aAAa,CAAC;IAC1F,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,YAAY,cAAc,CAAC;QAAE,OAAO,GAAG,YAAY,cAAc,CAAC;IAC5F,IAAI,MAAM,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC;IACxD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,6BAA6B,CAAC,MAAc,EAAE,cAA2B;IAChF,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAErC,MAAM,YAAY,GAAG,eAAe,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAC7D,IAAI,YAAY;QAAE,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAE/C,MAAM,QAAQ,GAAG,MAAM;QACrB,CAAC,CAAC,CAAC,IAAI,MAAM,KAAK,EAAE,IAAI,MAAM,MAAM,EAAE,IAAI,MAAM,cAAc,EAAE,IAAI,MAAM,eAAe,CAAC;QAC1F,CAAC,CAAC,EAAE,CAAC;IACP,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YAClD,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,SAAS,uBAAuB,CAC9B,YAAoB,EACpB,eAAuB,EACvB,cAA2B;IAE3B,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAEtD,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;QACjB,IAAI,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAC3C,IAAI,GAAG,KAAK,GAAG;YAAE,GAAG,GAAG,EAAE,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC/D,OAAO,eAAe,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACjD,CAAC;IAED,yDAAyD;IACzD,MAAM,UAAU,GAAG,6BAA6B,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC3E,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,eAAe,CAAC;AACzB,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,iBAAiB,CAC/B,YAAoB,EACpB,eAAuB,EACvB,cAA2B;IAE3B,IAAI,cAAc,CAAC,YAAY,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC9C,OAAO,uBAAuB,CAAC,YAAY,EAAE,eAAe,EAAE,cAAc,CAAC,CAAC;IAChF,CAAC;IAED,sCAAsC;IACtC,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO,eAAe,CAAC;IACzB,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC/C,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC,CAAC;IAEnF,oBAAoB;IACpB,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC;IAED,wBAAwB;IACxB,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,mCAAmC;IACnC,MAAM,UAAU,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IACxF,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,GAAG,QAAQ,GAAG,GAAG,EAAE,CAAC;QACpC,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,MAAM,UAAU,GAAG,CAAC,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IACtE,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,SAAS,GAAG,GAAG,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC7C,IAAI,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAClC,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,0FAA0F;IAC1F,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAChD,IAAI,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAClD,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,OAAO,OAAO,CAAC;QACjB,CAAC;IACH,CAAC;IAED,wDAAwD;IACxD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;GAIG;AACH,SAAS,qBAAqB,CAC5B,YAAoB,EACpB,UAAoB,EACpB,cAA2B;IAE3B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,YAAY,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;QACvE,IAAI,QAAQ,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oEAAoE;AAEpE;;;;;;;;;;;;;GAaG;AACH,SAAS,mBAAmB,CAAC,gBAA8B;IAKzD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,MAAM,eAAe,GAAa,EAAE,CAAC;IAErC,KAAK,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;QACnC,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,CAAC;YAC5B,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;aAAM,CAAC;YACN,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO;QACP,iBAAiB,EAAE,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS;QAC/E,eAAe,EAAE,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS;KAC1E,CAAC;AACJ,CAAC;AAED,mEAAmE;AAEnE;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,OAAe,EAAE,KAA0B;IACpE,MAAM,KAAK,GAA8B,EAAE,CAAC;IAC5C,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAE7C,iEAAiE;IACjE,wEAAwE;IACxE,yEAAyE;IACzE,sEAAsE;IACtE,oDAAoD;IACpD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAoC,CAAC;IAErE,0EAA0E;IAC1E,wEAAwE;IACxE,mDAAmD;IACnD,MAAM,wBAAwB,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE7D,uCAAuC;IACvC,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC;QACxC,4BAA4B;QAC5B,IAAI,cAAc,CAAC,QAAQ,CAAC;YAAE,SAAS;QAEvC,kBAAkB;QAClB,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC1C,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,oEAAoE;QACpE,mEAAmE;QACnE,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACzC,IAAI,CAAC,SAAS;YAAE,SAAS;QAEzB,IAAI,CAAC;YACH,MAAM,gBAAgB,GAAG,SAAS,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;YAC3D,MAAM,gBAAgB,GAAG,SAAS,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;YAC3D,MAAM,OAAO,GAAG,mBAAmB,CAAC,gBAAgB,CAAC,CAAC;YAEtD,KAAK,CAAC,QAAQ,CAAC,GAAG;gBAChB,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC;gBAC1B,QAAQ;gBACR,OAAO,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;gBAC9C,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtF,KAAK,EAAE,EAAE;gBACT,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC;aAC7B,CAAC;YAEF,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;gBAC5B,wBAAwB,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,CAAC;YAClE,CAAC;YAED,kBAAkB,CAAC,gBAAgB,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;QACnE,CAAC;QAAC,MAAM,CAAC;YACP,yDAAyD;YACzD,+DAA+D;YAC/D,KAAK,CAAC,QAAQ,CAAC,GAAG;gBAChB,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC;gBAC1B,QAAQ;gBACR,OAAO,EAAE,EAAE;gBACX,OAAO,EAAE,EAAE;gBACX,KAAK,EAAE,EAAE;gBACT,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC;aAC7B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,6DAA6D;IAC7D,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,OAAO,GAAG,qBAAqB,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QAE7E,MAAM,UAAU,GAAG,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;YAC1E,IAAI,QAAQ;gBAAE,IAAI,CAAC,aAAa,GAAG,QAAQ,CAAC;QAC9C,CAAC;QAED,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAClE,IAAI,kBAAkB,EAAE,CAAC;YACvB,IAAI,CAAC,YAAY,GAAG,qBAAqB,CAAC,QAAQ,EAAE,kBAAkB,EAAE,cAAc,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,aAAa;QACtB,OAAO;QACP,KAAK;KACN,CAAC;AACJ,CAAC;AAED,mEAAmE;AAEnE;;;;;;GAMG;AACH,SAAS,kBAAkB,CACzB,gBAAuD,EACvD,QAAgB,EAChB,gBAA8D;IAE9D,KAAK,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,gBAAgB,EAAE,CAAC;QACnD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEnC,IAAI,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;YACrB,gBAAgB,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC3C,CAAC;QACD,IAAI,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC;YAChB,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC5B,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,OAAO;YAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAChD,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CACzB,QAAgB,EAChB,UAAoC,EACpC,cAA2B;IAE3B,MAAM,MAAM,GAAgC,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,UAAU,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAG,iBAAiB,CAAC,QAAQ,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;QACxE,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS;QACrC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;QAClC,IAAI,QAAQ,EAAE,CAAC;YACb,KAAK,MAAM,CAAC,IAAI,OAAO;gBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEvD,MAAM,GAAG,GAA6B,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,mEAAmE;AAEnE;;;;;;;;;;GAUG;AACH,MAAM,UAAU,qBAAqB,CACnC,QAAyB,EACzB,YAAiC,EACjC,YAAsB;IAEtB,sCAAsC;IACtC,MAAM,KAAK,GAA8B,EAAE,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC;IAE/D,uBAAuB;IACvB,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QACpC,OAAO,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzB,CAAC;IAED,6DAA6D;IAC7D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7C,KAAK,MAAM,QAAQ,IAAI,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;QAC3C,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACzB,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QACpC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,wBAAwB;IACxB,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,YAAY,EAAE,CAAC;QAC/C,IAAI,cAAc,CAAC,QAAQ,CAAC;YAAE,SAAS;QAEvC,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC1C,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,mEAAmE;QACnE,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACzC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,KAAK,CAAC,QAAQ,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QAED,IAAI,CAAC;YACH,MAAM,gBAAgB,GAAG,SAAS,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;YAC3D,MAAM,gBAAgB,GAAG,SAAS,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;YAC3D,MAAM,OAAO,GAAG,mBAAmB,CAAC,gBAAgB,CAAC,CAAC;YAEtD,KAAK,CAAC,QAAQ,CAAC,GAAG;gBAChB,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC;gBAC1B,QAAQ;gBACR,OAAO,EAAE,qBAAqB,CAC5B,QAAQ,EACR,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EACrC,QAAQ,CACT;gBACD,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtF,GAAG,CAAC,OAAO,CAAC,eAAe;oBACzB,CAAC,CAAC;wBACE,YAAY,EAAE,qBAAqB,CAAC,QAAQ,EAAE,OAAO,CAAC,eAAe,EAAE,QAAQ,CAAC;qBACjF;oBACH,CAAC,CAAC,EAAE,CAAC;gBACP,KAAK,EAAE,EAAE;gBACT,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC;aAC7B,CAAC;YAEF,iEAAiE;YACjE,mEAAmE;YACnE,iCAAiC;YACjC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAuB,CAAC;YAClD,KAAK,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,gBAAgB,EAAE,CAAC;gBACnD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;oBAAE,SAAS;gBACnC,IAAI,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACjC,IAAI,CAAC,GAAG,EAAE,CAAC;oBACT,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC;oBAChB,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAC9B,CAAC;gBACD,KAAK,MAAM,MAAM,IAAI,OAAO;oBAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAChD,CAAC;YACD,MAAM,eAAe,GAAG,kBAAkB,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YAC3E,IAAI,eAAe;gBAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,aAAa,GAAG,eAAe,CAAC;QACvE,CAAC;QAAC,MAAM,CAAC;YACP,KAAK,CAAC,QAAQ,CAAC,GAAG;gBAChB,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC;gBAC1B,QAAQ;gBACR,OAAO,EAAE,EAAE;gBACX,OAAO,EAAE,EAAE;gBACX,KAAK,EAAE,EAAE;gBACT,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC;aAC7B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,aAAa;QACtB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,KAAK;KACN,CAAC;AACJ,CAAC"}

package/dist/graph/call-chain.d.ts

@@ -24,6 +24,33 @@ export interface CallChainBlastRadius {
     callChainGraph: CallChainGraph;
     depth: number;
 }
+/**
+ * Known residual limitations (deliberately not handled — lower-impact than
+ * the Go receiver-method case):
+ *  - `impl Display for MyStruct` currently extracts "Display" (the trait),
+ *    not "MyStruct" (the type being implemented).
+ *  - Generic bare declarations like `<T> T process` currently extract "T"
+ *    (the generic parameter), not "process".
+ * Same class of accepted residual as Java's `public static void main` -> "void".
+ */
+export declare function extractDeclaredSymbol(text: string): string | undefined;
+/**
+ * Extract diff hunk context to find symbols that had +/- lines.
+ * Returns the file path and approximate symbol name for each modified hunk.
+ *
+ * Exported (was module-private) for reuse by the Symbol Impact review
+ * context (`pipeline/prepare-graph.ts` step 2.6) — same diff-parsing logic,
+ * different consumer.
+ *
+ * DEPRECATED (scip-symbol-ranges D5): this is a declaration-level LOWER
+ * BOUND — it only sees hunk-header context and top-level declaration
+ * lines, so a body-only change to a symbol whose signature didn't change
+ * is invisible to it. `pipeline/prepare-graph.ts` now prefers
+ * `graph/changed-symbols.ts`'s `computeChangedSymbolsComplete` whenever
+ * the graph has SCIP `symbolRanges`; this function is kept ONLY as the
+ * no-symbolRanges fallback (regex-built graphs, C#/PHP) — do not remove.
+ */
+export declare function extractChangedSymbolsFromDiff(unifiedDiff: string): Map<string, Set<string>>;
 /**
  * Build a call-chain blast radius from a unified diff and file contents.
  *

package/dist/graph/call-chain.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"call-chain.d.ts","sourceRoot":"","sources":["../../src/graph/call-chain.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,UAAU,GAAG,QAAQ,GAAG,OAAO,GAAG,UAAU,CAAC;CACpD;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,aAAa,CAAC;IACpB,EAAE,EAAE,aAAa,CAAC;IAClB,IAAI,EAAE,OAAO,GAAG,SAAS,GAAG,SAAS,GAAG,YAAY,CAAC;CACtD;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,KAAK,EAAE,aAAa,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC,eAAe,EAAE,aAAa,EAAE,CAAC;IACjC,cAAc,EAAE,cAAc,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;CACf;AA8OD;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CACpC,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAChC,oBAAoB,CA+FtB"}
+{"version":3,"file":"call-chain.d.ts","sourceRoot":"","sources":["../../src/graph/call-chain.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,UAAU,GAAG,QAAQ,GAAG,OAAO,GAAG,UAAU,CAAC;CACpD;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,aAAa,CAAC;IACpB,EAAE,EAAE,aAAa,CAAC;IAClB,IAAI,EAAE,OAAO,GAAG,SAAS,GAAG,SAAS,GAAG,YAAY,CAAC;CACtD;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,KAAK,EAAE,aAAa,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC,eAAe,EAAE,aAAa,EAAE,CAAC;IACjC,cAAc,EAAE,cAAc,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;CACf;AAsFD;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAgBtE;AAyBD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,6BAA6B,CAAC,WAAW,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAoD3F;AAqID;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CACpC,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAChC,oBAAoB,CA+FtB"}

package/dist/graph/call-chain.js

@@ -26,11 +26,114 @@ const IMPORT_NAMED_RE = /import\s*\{([^}]+)\}\s*from\s*["'][^"']+["']/g;
 /** Matches: import X from "..." */
 const IMPORT_DEFAULT_RE = /import\s+([A-Za-z_$][A-Za-z0-9_$]*)\s+from\s*["'][^"']+["']/g;
 // ─── Helpers ─────────────────────────────────────────────────────
+/** Leading modifier keywords that precede a declaration but are never the symbol name. */
+const MODIFIER_KEYWORDS = new Set([
+    'export',
+    'default',
+    'public',
+    'private',
+    'protected',
+    'static',
+    'async',
+    'pub',
+    'final',
+    'abstract',
+]);
+/** Keywords that introduce a declaration — the symbol name is the token AFTER these. */
+const DECLARATION_KEYWORDS = new Set([
+    'function',
+    'func',
+    'fn',
+    'class',
+    'const',
+    'let',
+    'var',
+    'def',
+    'type',
+    'interface',
+    'enum',
+    'impl',
+    'struct',
+    'trait',
+]);
+/**
+ * Extract the declared/referenced symbol name from a snippet of code
+ * (e.g. a diff hunk-header context or a bare changed line).
+ *
+ * Skips leading modifier keywords (export, default, pub, async, ...). If the
+ * next token is a declaration keyword (function, class, const, ...), the
+ * symbol is the token AFTER it. Otherwise the symbol is the first
+ * non-modifier identifier (covers bare context lines like `someMethod(args)`).
+ */
+/**
+ * Matches the Go/Rust receiver-method declaration form:
+ *   func (r *Receiver) Method(...)
+ *   func (t Type) Value(...)
+ * The receiver group is skipped as a unit so the method name — not the
+ * receiver variable — is captured.
+ */
+const GO_RECEIVER_METHOD_RE = /^\s*(?:func|fn)\s*\([^)]*\)\s*([A-Za-z_$][A-Za-z0-9_$]*)/;
+/**
+ * Known residual limitations (deliberately not handled — lower-impact than
+ * the Go receiver-method case):
+ *  - `impl Display for MyStruct` currently extracts "Display" (the trait),
+ *    not "MyStruct" (the type being implemented).
+ *  - Generic bare declarations like `<T> T process` currently extract "T"
+ *    (the generic parameter), not "process".
+ * Same class of accepted residual as Java's `public static void main` -> "void".
+ */
+export function extractDeclaredSymbol(text) {
+    const receiverMatch = text.match(GO_RECEIVER_METHOD_RE);
+    if (receiverMatch)
+        return receiverMatch[1];
+    const tokens = text.trim().match(/[A-Za-z_$][A-Za-z0-9_$]*/g);
+    if (!tokens || tokens.length === 0)
+        return undefined;
+    let i = 0;
+    while (i < tokens.length && MODIFIER_KEYWORDS.has(tokens[i]))
+        i++;
+    if (i >= tokens.length)
+        return undefined;
+    const token = tokens[i];
+    if (DECLARATION_KEYWORDS.has(token)) {
+        return tokens[i + 1];
+    }
+    return token;
+}
+/** Regex alternation of DECLARATION_KEYWORDS, built once. */
+const DECLARATION_KEYWORDS_ALT = [...DECLARATION_KEYWORDS].join('|');
+/** Regex alternation of MODIFIER_KEYWORDS, built once. */
+const MODIFIER_KEYWORDS_ALT = [...MODIFIER_KEYWORDS].join('|');
+/**
+ * Matches a TOP-LEVEL declaration on a changed diff line: the line must
+ * start (no leading whitespace, beyond the +/- diff marker already
+ * stripped) with optional modifier keywords followed by a declaration
+ * keyword and a symbol name. Deliberately conservative — a `const local = …`
+ * indented inside a function body (leading whitespace present) will NOT
+ * match, avoiding false positives from mid-expression/nested declarations.
+ */
+const TOP_LEVEL_DECL_RE = new RegExp(`^(?:(?:${MODIFIER_KEYWORDS_ALT})\\s+)*(?:${DECLARATION_KEYWORDS_ALT})\\s+([A-Za-z_$][A-Za-z0-9_$]*)`);
+function extractTopLevelDeclaredSymbol(content) {
+    const m = content.match(TOP_LEVEL_DECL_RE);
+    return m?.[1];
+}
 /**
  * Extract diff hunk context to find symbols that had +/- lines.
  * Returns the file path and approximate symbol name for each modified hunk.
+ *
+ * Exported (was module-private) for reuse by the Symbol Impact review
+ * context (`pipeline/prepare-graph.ts` step 2.6) — same diff-parsing logic,
+ * different consumer.
+ *
+ * DEPRECATED (scip-symbol-ranges D5): this is a declaration-level LOWER
+ * BOUND — it only sees hunk-header context and top-level declaration
+ * lines, so a body-only change to a symbol whose signature didn't change
+ * is invisible to it. `pipeline/prepare-graph.ts` now prefers
+ * `graph/changed-symbols.ts`'s `computeChangedSymbolsComplete` whenever
+ * the graph has SCIP `symbolRanges`; this function is kept ONLY as the
+ * no-symbolRanges fallback (regex-built graphs, C#/PHP) — do not remove.
  */
-function extractChangedSymbolsFromDiff(unifiedDiff) {
+export function extractChangedSymbolsFromDiff(unifiedDiff) {
     const result = new Map();
     const lines = unifiedDiff.split('\n');
     let currentFile = '';
@@ -48,31 +151,23 @@ function extractChangedSymbolsFromDiff(unifiedDiff) {
         if (line.startsWith('@@')) {
             const m = line.match(/@@ .* @@ (.+)/);
             if (m?.[1]) {
-                const ctx = m[1].trim();
-                // Extract first identifier from the hunk context
-                const idMatch = ctx.match(/(?:function|class|const|let|var|async)?\s*([A-Za-z_$][A-Za-z0-9_$]*)/);
-                if (idMatch?.[1]) {
-                    currentSymbol = idMatch[1];
+                const symbol = extractDeclaredSymbol(m[1]);
+                if (symbol) {
+                    currentSymbol = symbol;
                 }
             }
             continue;
         }
-        // Changed lines (+ or -) that declare a function/class
+        // Changed lines (+ or -) that declare a top-level function/class/const/
+        // let/var/type/interface/enum.
         if ((line.startsWith('+') || line.startsWith('-')) &&
             !line.startsWith('+++') &&
             !line.startsWith('---')) {
             const content = line.slice(1);
-            // Check for function declarations in changed lines
-            const fnMatch = content.match(/(?:export\s+)?(?:async\s+)?function\s+([A-Za-z_$][A-Za-z0-9_$]*)\s*\(/);
-            if (fnMatch?.[1] && currentFile) {
-                result.get(currentFile)?.add(fnMatch[1]);
-                currentSymbol = fnMatch[1];
-            }
-            // Check for class declarations
-            const clsMatch = content.match(/(?:export\s+)?class\s+([A-Za-z_$][A-Za-z0-9_$]*)/);
-            if (clsMatch?.[1] && currentFile) {
-                result.get(currentFile)?.add(clsMatch[1]);
-                currentSymbol = clsMatch[1];
+            const declMatch = extractTopLevelDeclaredSymbol(content);
+            if (declMatch && currentFile) {
+                result.get(currentFile)?.add(declMatch);
+                currentSymbol = declMatch;
             }
         }
     }