ts-knowledge-graph 0.1.2 → 0.1.6

package/dist/extract/config_extractor.js

@@ -0,0 +1,61 @@
+import { Node, SyntaxKind } from 'ts-morph';
+import { NodeId } from './node_id.js';
+import { ScopeResolver } from './scope_resolver.js';
+/**
+ * Detects configuration reads — `process.env.NAME` and `process.env['NAME']` —
+ * and emits one `ConfigFlag` node per distinct variable plus a `READS_CONFIG`
+ * edge from the enclosing declaration that performs the read. A variable read in
+ * several places collapses to one node (keyed by name) with one counted edge per
+ * reading scope.
+ *
+ * The detection is purely syntactic (no symbol resolution), so it runs in the
+ * structural pass and is always emitted. A project that never touches
+ * `process.env` produces no config nodes or edges, leaving its graph unchanged.
+ */
+export class ConfigExtractor {
+    static extract(sourceFile, rootPath) {
+        const nodes = [];
+        const edges = [];
+        const moduleId = NodeId.forModule(sourceFile.getFilePath(), rootPath);
+        for (const access of sourceFile.getDescendantsOfKind(SyntaxKind.PropertyAccessExpression)) {
+            if (ConfigExtractor.isProcessEnv(access.getExpression()) === true) {
+                ConfigExtractor.emit(access, access.getName(), moduleId, rootPath, nodes, edges);
+            }
+        }
+        for (const access of sourceFile.getDescendantsOfKind(SyntaxKind.ElementAccessExpression)) {
+            if (ConfigExtractor.isProcessEnv(access.getExpression()) === false) {
+                continue;
+            }
+            const name = ConfigExtractor.stringArgument(access);
+            if (name !== undefined) {
+                ConfigExtractor.emit(access, name, moduleId, rootPath, nodes, edges);
+            }
+        }
+        return { nodes, edges };
+    }
+    static emit(access, name, moduleId, rootPath, nodes, edges) {
+        if (name === '') {
+            return;
+        }
+        const flagId = NodeId.forConfigFlag(name);
+        nodes.push({ id: flagId, kind: 'ConfigFlag', name, filePath: 'process.env' });
+        const scopeId = ScopeResolver.enclosingId(access, moduleId, rootPath);
+        edges.push({ id: `READS_CONFIG:${scopeId}->${flagId}`, kind: 'READS_CONFIG', from: scopeId, to: flagId });
+    }
+    /** Whether a node is the `process.env` member access (`process` identifier, `env` name). */
+    static isProcessEnv(node) {
+        const access = node.asKind(SyntaxKind.PropertyAccessExpression);
+        if (access === undefined || access.getName() !== 'env') {
+            return false;
+        }
+        const target = access.getExpression();
+        return Node.isIdentifier(target) === true && target.getText() === 'process';
+    }
+    /** The literal key of `process.env['NAME']`, or undefined when the key is computed. */
+    static stringArgument(access) {
+        const element = access.asKind(SyntaxKind.ElementAccessExpression);
+        const literal = element?.getArgumentExpression()?.asKind(SyntaxKind.StringLiteral);
+        return literal?.getLiteralText();
+    }
+}
+//# sourceMappingURL=config_extractor.js.map

package/dist/extract/config_extractor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"config_extractor.js","sourceRoot":"","sources":["../../src/extract/config_extractor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAc,UAAU,EAAE,MAAM,UAAU,CAAC;AAGxD,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAGpD;;;;;;;;;;GAUG;AACH,MAAM,OAAO,eAAe;IAC3B,MAAM,CAAC,OAAO,CAAC,UAAsB,EAAE,QAAgB;QACtD,MAAM,KAAK,GAAgB,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAgB,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,QAAQ,CAAC,CAAC;QAEtE,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,wBAAwB,CAAC,EAAE,CAAC;YAC3F,IAAI,eAAe,CAAC,YAAY,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;gBACnE,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YAClF,CAAC;QACF,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,uBAAuB,CAAC,EAAE,CAAC;YAC1F,IAAI,eAAe,CAAC,YAAY,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,KAAK,KAAK,EAAE,CAAC;gBACpE,SAAS;YACV,CAAC;YACD,MAAM,IAAI,GAAG,eAAe,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;YACpD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACxB,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YACtE,CAAC;QACF,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACzB,CAAC;IAEO,MAAM,CAAC,IAAI,CAClB,MAAY,EACZ,IAAY,EACZ,QAAgB,EAChB,QAAgB,EAChB,KAAkB,EAClB,KAAkB;QAElB,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YACjB,OAAO;QACR,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC;QAC9E,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACtE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,gBAAgB,OAAO,KAAK,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3G,CAAC;IAED,4FAA4F;IACpF,MAAM,CAAC,YAAY,CAAC,IAAU;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,wBAAwB,CAAC,CAAC;QAChE,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,KAAK,EAAE,CAAC;YACxD,OAAO,KAAK,CAAC;QACd,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,KAAK,SAAS,CAAC;IAC7E,CAAC;IAED,uFAAuF;IAC/E,MAAM,CAAC,cAAc,CAAC,MAAY;QACzC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,uBAAuB,CAAC,CAAC;QAClE,MAAM,OAAO,GAAG,OAAO,EAAE,qBAAqB,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QACnF,OAAO,OAAO,EAAE,cAAc,EAAE,CAAC;IAClC,CAAC;CACD"}

package/dist/extract/endpoint_extractor.d.ts

@@ -0,0 +1,36 @@
+import { SourceFile } from 'ts-morph';
+import { Extraction } from './structural_extractor.js';
+/**
+ * Detects HTTP route registrations in the Express/Fastify style —
+ * `app.get('/path', handler)`, `router.post('/path', mw, handler)` — and emits an
+ * `Endpoint` node (keyed by method + path) plus a `HANDLES` edge from the endpoint
+ * to the function that handles it.
+ *
+ * A route is recognised syntactically: the callee is `<obj>.<verb>` for an HTTP
+ * verb, the first argument is a string-literal path, and the last argument is a
+ * handler — an inline function, or a name/member that resolves to an in-project
+ * callable. Resolving the named handler is why this runs in the semantic pass; an
+ * inline handler yields the `Endpoint` node alone (it has no declaration to point
+ * at).
+ *
+ * The match is a heuristic (it does not prove `obj` is an Express app), but the
+ * verb + string path + resolvable-handler combination is specific, so a project
+ * with no such call sites is unchanged. Other routers (Nest decorators, …) are out
+ * of scope for now — Express/Fastify first (#31 Part 3).
+ */
+export declare class EndpointExtractor {
+    static extract(sourceFile: SourceFile, rootPath: string): Extraction;
+    private static extractRoute;
+    /**
+     * Classifies the last argument of a route call. An inline function is a valid
+     * handler with no node to point at; a name/member that resolves to an in-project
+     * callable is a valid handler whose emitted declaration becomes the `HANDLES`
+     * target; anything else means this is not a route.
+     */
+    private static classifyHandler;
+    /** Resolves a handler name/member to the in-project function, method, or function-valued variable it refers to. */
+    private static resolveCallable;
+    private static resolve;
+    private static inProject;
+}
+//# sourceMappingURL=endpoint_extractor.d.ts.map

package/dist/extract/endpoint_extractor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"endpoint_extractor.d.ts","sourceRoot":"","sources":["../../src/extract/endpoint_extractor.ts"],"names":[],"mappings":"AACA,OAAO,EAAwB,UAAU,EAAc,MAAM,UAAU,CAAC;AAKxE,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAQvD;;;;;;;;;;;;;;;;;GAiBG;AACH,qBAAa,iBAAiB;IAC7B,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU;IASpE,OAAO,CAAC,MAAM,CAAC,YAAY;IAoC3B;;;;;OAKG;IACH,OAAO,CAAC,MAAM,CAAC,eAAe;IAc9B,mHAAmH;IACnH,OAAO,CAAC,MAAM,CAAC,eAAe;IAkB9B,OAAO,CAAC,MAAM,CAAC,OAAO;IAMtB,OAAO,CAAC,MAAM,CAAC,SAAS;CAKxB"}

package/dist/extract/endpoint_extractor.js

@@ -0,0 +1,117 @@
+import { relative } from 'node:path';
+import { Node, SyntaxKind } from 'ts-morph';
+import { NodeId } from './node_id.js';
+import { ScopeResolver } from './scope_resolver.js';
+/** HTTP-verb method names that register a route on an Express/Fastify app or router. */
+const HTTP_METHODS = new Set(['get', 'post', 'put', 'delete', 'patch', 'options', 'head', 'all']);
+/**
+ * Detects HTTP route registrations in the Express/Fastify style —
+ * `app.get('/path', handler)`, `router.post('/path', mw, handler)` — and emits an
+ * `Endpoint` node (keyed by method + path) plus a `HANDLES` edge from the endpoint
+ * to the function that handles it.
+ *
+ * A route is recognised syntactically: the callee is `<obj>.<verb>` for an HTTP
+ * verb, the first argument is a string-literal path, and the last argument is a
+ * handler — an inline function, or a name/member that resolves to an in-project
+ * callable. Resolving the named handler is why this runs in the semantic pass; an
+ * inline handler yields the `Endpoint` node alone (it has no declaration to point
+ * at).
+ *
+ * The match is a heuristic (it does not prove `obj` is an Express app), but the
+ * verb + string path + resolvable-handler combination is specific, so a project
+ * with no such call sites is unchanged. Other routers (Nest decorators, …) are out
+ * of scope for now — Express/Fastify first (#31 Part 3).
+ */
+export class EndpointExtractor {
+    static extract(sourceFile, rootPath) {
+        const nodes = [];
+        const edges = [];
+        for (const call of sourceFile.getDescendantsOfKind(SyntaxKind.CallExpression)) {
+            EndpointExtractor.extractRoute(call, rootPath, nodes, edges);
+        }
+        return { nodes, edges };
+    }
+    static extractRoute(call, rootPath, nodes, edges) {
+        const callee = call.getExpression().asKind(SyntaxKind.PropertyAccessExpression);
+        if (callee === undefined || HTTP_METHODS.has(callee.getName()) === false) {
+            return;
+        }
+        const args = call.getArguments();
+        if (args.length < 2) {
+            return;
+        }
+        const pathLiteral = args[0].asKind(SyntaxKind.StringLiteral);
+        if (pathLiteral === undefined) {
+            return;
+        }
+        const handler = EndpointExtractor.classifyHandler(args[args.length - 1], rootPath);
+        if (handler.valid === false) {
+            return;
+        }
+        const method = callee.getName().toUpperCase();
+        const endpointId = NodeId.forEndpoint(method, pathLiteral.getLiteralText());
+        nodes.push({
+            id: endpointId,
+            kind: 'Endpoint',
+            name: `${method} ${pathLiteral.getLiteralText()}`,
+            filePath: relative(rootPath, call.getSourceFile().getFilePath()),
+            range: {
+                startLine: call.getStartLineNumber(),
+                startColumn: 0,
+                endLine: call.getEndLineNumber(),
+                endColumn: 0,
+            },
+        });
+        if (handler.id !== undefined) {
+            edges.push({ id: `HANDLES:${endpointId}->${handler.id}`, kind: 'HANDLES', from: endpointId, to: handler.id });
+        }
+    }
+    /**
+     * Classifies the last argument of a route call. An inline function is a valid
+     * handler with no node to point at; a name/member that resolves to an in-project
+     * callable is a valid handler whose emitted declaration becomes the `HANDLES`
+     * target; anything else means this is not a route.
+     */
+    static classifyHandler(handler, rootPath) {
+        if (Node.isArrowFunction(handler) === true || Node.isFunctionExpression(handler) === true) {
+            return { valid: true };
+        }
+        const declaration = EndpointExtractor.resolveCallable(handler);
+        if (declaration === undefined) {
+            return { valid: false };
+        }
+        if (ScopeResolver.isEmitted(declaration) === true) {
+            return { valid: true, id: NodeId.forDeclaration(declaration, rootPath) };
+        }
+        return { valid: true };
+    }
+    /** Resolves a handler name/member to the in-project function, method, or function-valued variable it refers to. */
+    static resolveCallable(node) {
+        const declaration = EndpointExtractor.resolve(node);
+        if (declaration === undefined || EndpointExtractor.inProject(declaration) === false) {
+            return undefined;
+        }
+        const kind = declaration.getKind();
+        if (kind === SyntaxKind.FunctionDeclaration || kind === SyntaxKind.MethodDeclaration) {
+            return declaration;
+        }
+        if (kind === SyntaxKind.VariableDeclaration) {
+            const initializer = declaration.asKind(SyntaxKind.VariableDeclaration)?.getInitializer();
+            if (initializer !== undefined && (Node.isArrowFunction(initializer) === true || Node.isFunctionExpression(initializer) === true)) {
+                return declaration;
+            }
+        }
+        return undefined;
+    }
+    static resolve(node) {
+        const symbol = node.getSymbol();
+        const resolved = symbol?.getAliasedSymbol() ?? symbol;
+        return resolved?.getDeclarations()[0];
+    }
+    static inProject(node) {
+        const sourceFile = node.getSourceFile();
+        return sourceFile.getFilePath().includes('/node_modules/') === false
+            && sourceFile.isDeclarationFile() === false;
+    }
+}
+//# sourceMappingURL=endpoint_extractor.js.map

package/dist/extract/endpoint_extractor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"endpoint_extractor.js","sourceRoot":"","sources":["../../src/extract/endpoint_extractor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAkB,IAAI,EAAc,UAAU,EAAE,MAAM,UAAU,CAAC;AAGxE,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAGpD,wFAAwF;AACxF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAKlG;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,OAAO,iBAAiB;IAC7B,MAAM,CAAC,OAAO,CAAC,UAAsB,EAAE,QAAgB;QACtD,MAAM,KAAK,GAAgB,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAgB,EAAE,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;YAC/E,iBAAiB,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9D,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACzB,CAAC;IAEO,MAAM,CAAC,YAAY,CAAC,IAAoB,EAAE,QAAgB,EAAE,KAAkB,EAAE,KAAkB;QACzG,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,wBAAwB,CAAC,CAAC;QAChF,IAAI,MAAM,KAAK,SAAS,IAAI,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,KAAK,EAAE,CAAC;YAC1E,OAAO;QACR,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,OAAO;QACR,CAAC;QACD,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QAC7D,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO;QACR,CAAC;QACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QACnF,IAAI,OAAO,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YAC7B,OAAO;QACR,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,CAAC;QAC9C,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,cAAc,EAAE,CAAC,CAAC;QAC5E,KAAK,CAAC,IAAI,CAAC;YACV,EAAE,EAAE,UAAU;YACd,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,GAAG,MAAM,IAAI,WAAW,CAAC,cAAc,EAAE,EAAE;YACjD,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,CAAC;YAChE,KAAK,EAAE;gBACN,SAAS,EAAE,IAAI,CAAC,kBAAkB,EAAE;gBACpC,WAAW,EAAE,CAAC;gBACd,OAAO,EAAE,IAAI,CAAC,gBAAgB,EAAE;gBAChC,SAAS,EAAE,CAAC;aACZ;SACD,CAAC,CAAC;QACH,IAAI,OAAO,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,WAAW,UAAU,KAAK,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/G,CAAC;IACF,CAAC;IAED;;;;;OAKG;IACK,MAAM,CAAC,eAAe,CAAC,OAAa,EAAE,QAAgB;QAC7D,IAAI,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;YAC3F,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QACxB,CAAC;QACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;QAC/D,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACzB,CAAC;QACD,IAAI,aAAa,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC;YACnD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,cAAc,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC1E,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACxB,CAAC;IAED,mHAAmH;IAC3G,MAAM,CAAC,eAAe,CAAC,IAAU;QACxC,MAAM,WAAW,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,WAAW,KAAK,SAAS,IAAI,iBAAiB,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,KAAK,EAAE,CAAC;YACrF,OAAO,SAAS,CAAC;QAClB,CAAC;QACD,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,IAAI,KAAK,UAAU,CAAC,mBAAmB,IAAI,IAAI,KAAK,UAAU,CAAC,iBAAiB,EAAE,CAAC;YACtF,OAAO,WAAW,CAAC;QACpB,CAAC;QACD,IAAI,IAAI,KAAK,UAAU,CAAC,mBAAmB,EAAE,CAAC;YAC7C,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,cAAc,EAAE,CAAC;YACzF,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,oBAAoB,CAAC,WAAW,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;gBAClI,OAAO,WAAW,CAAC;YACpB,CAAC;QACF,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;IAEO,MAAM,CAAC,OAAO,CAAC,IAAU;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,MAAM,EAAE,gBAAgB,EAAE,IAAI,MAAM,CAAC;QACtD,OAAO,QAAQ,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC;IAEO,MAAM,CAAC,SAAS,CAAC,IAAU;QAClC,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACxC,OAAO,UAAU,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,KAAK,KAAK;eAChE,UAAU,CAAC,iBAAiB,EAAE,KAAK,KAAK,CAAC;IAC9C,CAAC;CACD"}

package/dist/extract/git_source.d.ts

@@ -0,0 +1,23 @@
+import { SourceManifest } from '../schema/source_manifest.js';
+/**
+ * Resolves the Git provenance of an analysed project — its GitHub repository, the
+ * commit being parsed, and the project root's path within the repository — so the
+ * graph can later link each file to its exact source on GitHub.
+ */
+export declare class GitSource {
+    /**
+     * Detects the GitHub repository, HEAD commit, and in-repo path prefix for `dir`.
+     * Returns `undefined` when `dir` is not a Git work tree, has no GitHub `origin`
+     * remote, or Git is unavailable.
+     */
+    static detect(dir: string): Promise<SourceManifest | undefined>;
+    /**
+     * Normalises a Git `origin` URL to its GitHub web base
+     * (`https://<host>/<owner>/<repo>`), or `undefined` for non-GitHub remotes.
+     * Handles the SCP-like (`git@host:owner/repo.git`), `https://`, `git://`, and
+     * `ssh://` forms, with or without a trailing `.git`. The host is kept as-is so
+     * GitHub Enterprise remotes resolve to their own domain.
+     */
+    static githubBaseUrl(remoteUrl: string): string | undefined;
+}
+//# sourceMappingURL=git_source.d.ts.map

package/dist/extract/git_source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"git_source.d.ts","sourceRoot":"","sources":["../../src/extract/git_source.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAI9D;;;;GAIG;AACH,qBAAa,SAAS;IACrB;;;;OAIG;WACU,MAAM,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,GAAG,SAAS,CAAC;IAsBrE;;;;;;OAMG;IACH,MAAM,CAAC,aAAa,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;CA6B3D"}

package/dist/extract/git_source.js

@@ -0,0 +1,75 @@
+import { execFile } from 'node:child_process';
+import { promisify } from 'node:util';
+const execFileAsync = promisify(execFile);
+/**
+ * Resolves the Git provenance of an analysed project — its GitHub repository, the
+ * commit being parsed, and the project root's path within the repository — so the
+ * graph can later link each file to its exact source on GitHub.
+ */
+export class GitSource {
+    /**
+     * Detects the GitHub repository, HEAD commit, and in-repo path prefix for `dir`.
+     * Returns `undefined` when `dir` is not a Git work tree, has no GitHub `origin`
+     * remote, or Git is unavailable.
+     */
+    static async detect(dir) {
+        const git = async (...args) => {
+            try {
+                const { stdout } = await execFileAsync('git', ['-C', dir, ...args]);
+                return stdout.trim();
+            }
+            catch {
+                return undefined;
+            }
+        };
+        if (await git('rev-parse', '--is-inside-work-tree') !== 'true') {
+            return undefined;
+        }
+        const remoteUrl = await git('remote', 'get-url', 'origin');
+        const commit = await git('rev-parse', 'HEAD');
+        const baseUrl = remoteUrl === undefined ? undefined : GitSource.githubBaseUrl(remoteUrl);
+        if (baseUrl === undefined || commit === undefined) {
+            return undefined;
+        }
+        return { baseUrl, commit, prefix: await git('rev-parse', '--show-prefix') ?? '' };
+    }
+    /**
+     * Normalises a Git `origin` URL to its GitHub web base
+     * (`https://<host>/<owner>/<repo>`), or `undefined` for non-GitHub remotes.
+     * Handles the SCP-like (`git@host:owner/repo.git`), `https://`, `git://`, and
+     * `ssh://` forms, with or without a trailing `.git`. The host is kept as-is so
+     * GitHub Enterprise remotes resolve to their own domain.
+     */
+    static githubBaseUrl(remoteUrl) {
+        const trimmed = remoteUrl.trim();
+        let host;
+        let path;
+        if (trimmed.includes('://') === true) {
+            try {
+                const parsed = new URL(trimmed);
+                host = parsed.host;
+                path = parsed.pathname;
+            }
+            catch {
+                return undefined;
+            }
+        }
+        else {
+            const scpMatch = trimmed.match(/^[^@]+@([^:]+):(.+)$/);
+            if (scpMatch === null) {
+                return undefined;
+            }
+            host = scpMatch[1];
+            path = scpMatch[2];
+        }
+        if (host.toLowerCase().includes('github') === false) {
+            return undefined;
+        }
+        const segments = path.replace(/\.git$/, '').split('/').filter((segment) => segment.length > 0);
+        if (segments.length < 2) {
+            return undefined;
+        }
+        return `https://${host}/${segments[0]}/${segments[1]}`;
+    }
+}
+//# sourceMappingURL=git_source.js.map

package/dist/extract/git_source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"git_source.js","sourceRoot":"","sources":["../../src/extract/git_source.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAGtC,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAE1C;;;;GAIG;AACH,MAAM,OAAO,SAAS;IACrB;;;;OAIG;IACH,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAW;QAC9B,MAAM,GAAG,GAAG,KAAK,EAAE,GAAG,IAAc,EAA+B,EAAE;YACpE,IAAI,CAAC;gBACJ,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;gBACpE,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;YACtB,CAAC;YAAC,MAAM,CAAC;gBACR,OAAO,SAAS,CAAC;YAClB,CAAC;QACF,CAAC,CAAC;QAEF,IAAI,MAAM,GAAG,CAAC,WAAW,EAAE,uBAAuB,CAAC,KAAK,MAAM,EAAE,CAAC;YAChE,OAAO,SAAS,CAAC;QAClB,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QACzF,IAAI,OAAO,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACnD,OAAO,SAAS,CAAC;QAClB,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,WAAW,EAAE,eAAe,CAAC,IAAI,EAAE,EAAE,CAAC;IACnF,CAAC;IAED;;;;;;OAMG;IACH,MAAM,CAAC,aAAa,CAAC,SAAiB;QACrC,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC;QACjC,IAAI,IAAY,CAAC;QACjB,IAAI,IAAY,CAAC;QACjB,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;YACtC,IAAI,CAAC;gBACJ,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;gBAChC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;gBACnB,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC;YACxB,CAAC;YAAC,MAAM,CAAC;gBACR,OAAO,SAAS,CAAC;YAClB,CAAC;QACF,CAAC;aAAM,CAAC;YACP,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;YACvD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACvB,OAAO,SAAS,CAAC;YAClB,CAAC;YACD,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YACnB,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,KAAK,EAAE,CAAC;YACrD,OAAO,SAAS,CAAC;QAClB,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC/F,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,OAAO,SAAS,CAAC;QAClB,CAAC;QACD,OAAO,WAAW,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,CAAC;CACD"}

package/dist/extract/graph_builder.d.ts

@@ -11,6 +11,14 @@ export declare class GraphBuilder {
     getNodes(): GraphNode[];
     getEdges(): GraphEdge[];
     private merge;
+    /**
+     * Adds an edge, collapsing duplicates by id while counting how many times the
+     * relationship occurs in source. The first occurrence is stored with
+     * `metadata.count = 1`; each later occurrence increments that count instead of
+     * overwriting the edge. Any pre-existing metadata (such as the `specifier` on
+     * an `IMPORTS` edge) is preserved.
+     */
+    private addEdge;
     private static isProjectFile;
 }
 //# sourceMappingURL=graph_builder.d.ts.map

package/dist/extract/graph_builder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"graph_builder.d.ts","sourceRoot":"","sources":["../../src/extract/graph_builder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAI9C,MAAM,MAAM,YAAY,GAAG;IAC1B,QAAQ,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF,qBAAa,YAAY;IACxB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAgC;IACtD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAgC;IAEtD,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,GAAG,IAAI;IAetE,QAAQ,IAAI,SAAS,EAAE;IAIvB,QAAQ,IAAI,SAAS,EAAE;IAIvB,OAAO,CAAC,KAAK;IASb,OAAO,CAAC,MAAM,CAAC,aAAa;CAG5B"}
+{"version":3,"file":"graph_builder.d.ts","sourceRoot":"","sources":["../../src/extract/graph_builder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAO9C,MAAM,MAAM,YAAY,GAAG;IAC1B,QAAQ,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF,qBAAa,YAAY;IACxB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAgC;IACtD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAgC;IAEtD,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,GAAG,IAAI;IAkBtE,QAAQ,IAAI,SAAS,EAAE;IAIvB,QAAQ,IAAI,SAAS,EAAE;IAIvB,OAAO,CAAC,KAAK;IASb;;;;;;OAMG;IACH,OAAO,CAAC,OAAO;IAUf,OAAO,CAAC,MAAM,CAAC,aAAa;CAG5B"}

package/dist/extract/graph_builder.js

@@ -1,3 +1,6 @@
+import { ApiExtractor } from './api_extractor.js';
+import { ConfigExtractor } from './config_extractor.js';
+import { EndpointExtractor } from './endpoint_extractor.js';
 import { SemanticExtractor } from './semantic_extractor.js';
 import { StructuralExtractor } from './structural_extractor.js';
 export class GraphBuilder {
@@ -11,10 +14,13 @@ export class GraphBuilder {
             .filter((file) => GraphBuilder.isProjectFile(file.getFilePath()));
         for (const sourceFile of sourceFiles) {
             this.merge(StructuralExtractor.extract(sourceFile, rootPath));
+            this.merge(ConfigExtractor.extract(sourceFile, rootPath));
+            this.merge(ApiExtractor.extract(sourceFile, rootPath));
         }
         if (options.semantic === true) {
             for (const sourceFile of sourceFiles) {
                 this.merge(SemanticExtractor.extract(sourceFile, rootPath));
+                this.merge(EndpointExtractor.extract(sourceFile, rootPath));
             }
         }
     }
@@ -29,9 +35,25 @@ export class GraphBuilder {
             this.nodes.set(node.id, node);
         }
         for (const edge of extraction.edges) {
-            this.edges.set(edge.id, edge);
+            this.addEdge(edge);
         }
     }
+    /**
+     * Adds an edge, collapsing duplicates by id while counting how many times the
+     * relationship occurs in source. The first occurrence is stored with
+     * `metadata.count = 1`; each later occurrence increments that count instead of
+     * overwriting the edge. Any pre-existing metadata (such as the `specifier` on
+     * an `IMPORTS` edge) is preserved.
+     */
+    addEdge(edge) {
+        const existing = this.edges.get(edge.id);
+        if (existing === undefined) {
+            this.edges.set(edge.id, { ...edge, metadata: { ...edge.metadata, count: 1 } });
+            return;
+        }
+        const current = typeof existing.metadata?.count === 'number' ? existing.metadata.count : 1;
+        existing.metadata = { ...existing.metadata, count: current + 1 };
+    }
     static isProjectFile(filePath) {
         return filePath.includes('/node_modules/') === false && filePath.endsWith('.d.ts') === false;
     }

package/dist/extract/graph_builder.js.map

@@ -1 +1 @@
-{"version":3,"file":"graph_builder.js","sourceRoot":"","sources":["../../src/extract/graph_builder.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAc,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAM5E,MAAM,OAAO,YAAY;IAAzB;QACkB,UAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;QACrC,UAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAqCvD,CAAC;IAnCA,KAAK,CAAC,OAAgB,EAAE,QAAgB,EAAE,OAAqB;QAC9D,MAAM,WAAW,GAAG,OAAO;aACzB,cAAc,EAAE;aAChB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAEnE,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACtC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC/B,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;gBACtC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC7D,CAAC;QACF,CAAC;IACF,CAAC;IAED,QAAQ;QACP,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACjC,CAAC;IAED,QAAQ;QACP,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACjC,CAAC;IAEO,KAAK,CAAC,UAAsB;QACnC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC;IACF,CAAC;IAEO,MAAM,CAAC,aAAa,CAAC,QAAgB;QAC5C,OAAO,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC,KAAK,KAAK,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC;IAC9F,CAAC;CACD"}
+{"version":3,"file":"graph_builder.js","sourceRoot":"","sources":["../../src/extract/graph_builder.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAc,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAM5E,MAAM,OAAO,YAAY;IAAzB;QACkB,UAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;QACrC,UAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAyDvD,CAAC;IAvDA,KAAK,CAAC,OAAgB,EAAE,QAAgB,EAAE,OAAqB;QAC9D,MAAM,WAAW,GAAG,OAAO;aACzB,cAAc,EAAE;aAChB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAEnE,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACtC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC9D,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC1D,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC/B,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;gBACtC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;gBAC5D,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC7D,CAAC;QACF,CAAC;IACF,CAAC;IAED,QAAQ;QACP,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACjC,CAAC;IAED,QAAQ;QACP,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACjC,CAAC;IAEO,KAAK,CAAC,UAAsB;QACnC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACrC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;IACF,CAAC;IAED;;;;;;OAMG;IACK,OAAO,CAAC,IAAe;QAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/E,OAAO;QACR,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,QAAQ,CAAC,QAAQ,EAAE,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,QAAQ,CAAC,QAAQ,GAAG,EAAE,GAAG,QAAQ,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,CAAC,EAAE,CAAC;IAClE,CAAC;IAEO,MAAM,CAAC,aAAa,CAAC,QAAgB;QAC5C,OAAO,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC,KAAK,KAAK,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC;IAC9F,CAAC;CACD"}

package/dist/extract/node_id.d.ts

@@ -3,6 +3,22 @@ export declare class NodeId {
     static forModule(filePath: string, rootPath: string): string;
     static forDeclaration(node: Node, rootPath: string): string;
     static forExternalModule(specifier: string): string;
+    /**
+     * A graph-wide id for a configuration variable (e.g. `process.env.PORT`), keyed
+     * by name so the same variable read across many files collapses to one node.
+     */
+    static forConfigFlag(name: string): string;
+    /**
+     * A graph-wide id for an external HTTP target, keyed by host (e.g. the
+     * `api.example.com` of a `fetch('https://api.example.com/…')`) so every call to
+     * the same service collapses to one node.
+     */
+    static forExternalApi(host: string): string;
+    /**
+     * A graph-wide id for an HTTP endpoint, keyed by method and route path (e.g.
+     * `Endpoint:GET /users/:id`) so a route registered once is one node.
+     */
+    static forEndpoint(method: string, path: string): string;
     static nameOf(node: Node): string;
 }
 //# sourceMappingURL=node_id.d.ts.map

package/dist/extract/node_id.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"node_id.d.ts","sourceRoot":"","sources":["../../src/extract/node_id.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAEhC,qBAAa,MAAM;IAClB,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM;IAI5D,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM;IAK3D,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM;IAInD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;CAQjC"}
+{"version":3,"file":"node_id.d.ts","sourceRoot":"","sources":["../../src/extract/node_id.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAEhC,qBAAa,MAAM;IAClB,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM;IAI5D,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM;IAK3D,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM;IAInD;;;OAGG;IACH,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAI1C;;;;OAIG;IACH,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAI3C;;;OAGG;IACH,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM;IAIxD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;CAQjC"}

package/dist/extract/node_id.js

@@ -10,6 +10,28 @@ export class NodeId {
     static forExternalModule(specifier) {
         return `External:${specifier}`;
     }
+    /**
+     * A graph-wide id for a configuration variable (e.g. `process.env.PORT`), keyed
+     * by name so the same variable read across many files collapses to one node.
+     */
+    static forConfigFlag(name) {
+        return `Config:${name}`;
+    }
+    /**
+     * A graph-wide id for an external HTTP target, keyed by host (e.g. the
+     * `api.example.com` of a `fetch('https://api.example.com/…')`) so every call to
+     * the same service collapses to one node.
+     */
+    static forExternalApi(host) {
+        return `Api:${host}`;
+    }
+    /**
+     * A graph-wide id for an HTTP endpoint, keyed by method and route path (e.g.
+     * `Endpoint:GET /users/:id`) so a route registered once is one node.
+     */
+    static forEndpoint(method, path) {
+        return `Endpoint:${method} ${path}`;
+    }
     static nameOf(node) {
         const probe = node;
         if (typeof probe.getName !== 'function') {

package/dist/extract/node_id.js.map

@@ -1 +1 @@
-{"version":3,"file":"node_id.js","sourceRoot":"","sources":["../../src/extract/node_id.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAGrC,MAAM,OAAO,MAAM;IAClB,MAAM,CAAC,SAAS,CAAC,QAAgB,EAAE,QAAgB;QAClD,OAAO,UAAU,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;IACjD,CAAC;IAED,MAAM,CAAC,cAAc,CAAC,IAAU,EAAE,QAAgB;QACjD,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;QACxE,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,kBAAkB,EAAE,EAAE,CAAC;IAChG,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,SAAiB;QACzC,OAAO,YAAY,SAAS,EAAE,CAAC;IAChC,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,IAAU;QACvB,MAAM,KAAK,GAAG,IAA8C,CAAC;QAC7D,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YACzC,OAAO,WAAW,CAAC;QACpB,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;QAC7B,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/D,CAAC;CACD"}
+{"version":3,"file":"node_id.js","sourceRoot":"","sources":["../../src/extract/node_id.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAGrC,MAAM,OAAO,MAAM;IAClB,MAAM,CAAC,SAAS,CAAC,QAAgB,EAAE,QAAgB;QAClD,OAAO,UAAU,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;IACjD,CAAC;IAED,MAAM,CAAC,cAAc,CAAC,IAAU,EAAE,QAAgB;QACjD,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;QACxE,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,IAAI,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,kBAAkB,EAAE,EAAE,CAAC;IAChG,CAAC;IAED,MAAM,CAAC,iBAAiB,CAAC,SAAiB;QACzC,OAAO,YAAY,SAAS,EAAE,CAAC;IAChC,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,aAAa,CAAC,IAAY;QAChC,OAAO,UAAU,IAAI,EAAE,CAAC;IACzB,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,cAAc,CAAC,IAAY;QACjC,OAAO,OAAO,IAAI,EAAE,CAAC;IACtB,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,WAAW,CAAC,MAAc,EAAE,IAAY;QAC9C,OAAO,YAAY,MAAM,IAAI,IAAI,EAAE,CAAC;IACrC,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,IAAU;QACvB,MAAM,KAAK,GAAG,IAA8C,CAAC;QAC7D,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YACzC,OAAO,WAAW,CAAC;QACpB,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;QAC7B,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/D,CAAC;CACD"}

package/dist/extract/scope_resolver.d.ts

@@ -0,0 +1,22 @@
+import { Node } from 'ts-morph';
+/**
+ * Resolves the graph node a free-standing expression (a `process.env` read, a
+ * `fetch` call) should be attributed to: the id of the nearest enclosing
+ * declaration the structural extractor actually emits, falling back to the module.
+ *
+ * Because a node nested inside a function (a local, a nested function, an arrow) is
+ * not itself a graph node, the walk skips past it to the enclosing top-level
+ * function/variable/class or class member — so the returned id always exists in the
+ * graph and the edge built from it is never dropped at load.
+ */
+export declare class ScopeResolver {
+    static enclosingId(node: Node, moduleId: string, rootPath: string): string;
+    /**
+     * Whether the structural extractor emits this declaration as a graph node — a
+     * class/interface member, or a top-level function/variable/class/etc. Used both
+     * to find an enclosing scope and to check that a resolved handler is a real node
+     * before pointing an edge at it.
+     */
+    static isEmitted(node: Node): boolean;
+}
+//# sourceMappingURL=scope_resolver.d.ts.map

package/dist/extract/scope_resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope_resolver.d.ts","sourceRoot":"","sources":["../../src/extract/scope_resolver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAc,MAAM,UAAU,CAAC;AAkB5C;;;;;;;;;GASG;AACH,qBAAa,aAAa;IACzB,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM;IAK1E;;;;;OAKG;IACH,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO;CAcrC"}

package/dist/extract/scope_resolver.js

@@ -0,0 +1,53 @@
+import { SyntaxKind } from 'ts-morph';
+import { NodeId } from './node_id.js';
+/**
+ * Top-level declaration kinds the structural extractor emits as nodes. Used to
+ * attribute a free-standing expression to an *emitted* scope: a node nested inside
+ * a function (a local, a nested function) is not a graph node, so the walk skips
+ * past it to the nearest enclosing emitted declaration.
+ */
+const TOP_LEVEL_SCOPE_KINDS = new Set([
+    SyntaxKind.FunctionDeclaration,
+    SyntaxKind.VariableDeclaration,
+    SyntaxKind.ClassDeclaration,
+    SyntaxKind.InterfaceDeclaration,
+    SyntaxKind.EnumDeclaration,
+    SyntaxKind.TypeAliasDeclaration,
+]);
+/**
+ * Resolves the graph node a free-standing expression (a `process.env` read, a
+ * `fetch` call) should be attributed to: the id of the nearest enclosing
+ * declaration the structural extractor actually emits, falling back to the module.
+ *
+ * Because a node nested inside a function (a local, a nested function, an arrow) is
+ * not itself a graph node, the walk skips past it to the enclosing top-level
+ * function/variable/class or class member — so the returned id always exists in the
+ * graph and the edge built from it is never dropped at load.
+ */
+export class ScopeResolver {
+    static enclosingId(node, moduleId, rootPath) {
+        const scope = node.getFirstAncestor((ancestor) => ScopeResolver.isEmitted(ancestor));
+        return scope === undefined ? moduleId : NodeId.forDeclaration(scope, rootPath);
+    }
+    /**
+     * Whether the structural extractor emits this declaration as a graph node — a
+     * class/interface member, or a top-level function/variable/class/etc. Used both
+     * to find an enclosing scope and to check that a resolved handler is a real node
+     * before pointing an edge at it.
+     */
+    static isEmitted(node) {
+        const kind = node.getKind();
+        if (kind === SyntaxKind.MethodDeclaration || kind === SyntaxKind.PropertyDeclaration) {
+            return true;
+        }
+        if (TOP_LEVEL_SCOPE_KINDS.has(kind) === false) {
+            return false;
+        }
+        if (kind === SyntaxKind.VariableDeclaration) {
+            const statement = node.asKind(SyntaxKind.VariableDeclaration)?.getVariableStatement();
+            return statement?.getParent()?.getKind() === SyntaxKind.SourceFile;
+        }
+        return node.getParent()?.getKind() === SyntaxKind.SourceFile;
+    }
+}
+//# sourceMappingURL=scope_resolver.js.map

package/dist/extract/scope_resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope_resolver.js","sourceRoot":"","sources":["../../src/extract/scope_resolver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,UAAU,EAAE,MAAM,UAAU,CAAC;AAC5C,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC;;;;;GAKG;AACH,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAa;IACjD,UAAU,CAAC,mBAAmB;IAC9B,UAAU,CAAC,mBAAmB;IAC9B,UAAU,CAAC,gBAAgB;IAC3B,UAAU,CAAC,oBAAoB;IAC/B,UAAU,CAAC,eAAe;IAC1B,UAAU,CAAC,oBAAoB;CAC/B,CAAC,CAAC;AAEH;;;;;;;;;GASG;AACH,MAAM,OAAO,aAAa;IACzB,MAAM,CAAC,WAAW,CAAC,IAAU,EAAE,QAAgB,EAAE,QAAgB;QAChE,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrF,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAChF,CAAC;IAED;;;;;OAKG;IACH,MAAM,CAAC,SAAS,CAAC,IAAU;QAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,IAAI,KAAK,UAAU,CAAC,iBAAiB,IAAI,IAAI,KAAK,UAAU,CAAC,mBAAmB,EAAE,CAAC;YACtF,OAAO,IAAI,CAAC;QACb,CAAC;QACD,IAAI,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;YAC/C,OAAO,KAAK,CAAC;QACd,CAAC;QACD,IAAI,IAAI,KAAK,UAAU,CAAC,mBAAmB,EAAE,CAAC;YAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,oBAAoB,EAAE,CAAC;YACtF,OAAO,SAAS,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,KAAK,UAAU,CAAC,UAAU,CAAC;QACpE,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,KAAK,UAAU,CAAC,UAAU,CAAC;IAC9D,CAAC;CACD"}

package/dist/extract/semantic_extractor.d.ts

@@ -3,6 +3,14 @@ import { Extraction } from './structural_extractor.js';
 export declare class SemanticExtractor {
     static extract(sourceFile: SourceFile, rootPath: string): Extraction;
     private static extractClass;
+    /**
+     * Emit an `OVERRIDES` edge from a class method to the member it overrides:
+     * the nearest base-class method of the same name, and any implemented
+     * interface method of the same name. The target id is computed with
+     * {@link NodeId.forDeclaration} on the resolved declaration, so it matches
+     * the node the structural extractor already emitted for that member.
+     */
+    private static extractOverrides;
     private static extractInterface;
     private static extractSignature;
     private static addTypeEdges;
@@ -10,7 +18,24 @@ export declare class SemanticExtractor {
     private static extractCalls;
     private static extractInstantiations;
     private static extractReads;
+    private static extractWrites;
+    /**
+     * Emits a value-access edge from the enclosing scope to each in-project,
+     * module-level value declaration an identifier touches. `accesses` selects the
+     * identifiers (a read or a write) and `kind` is the edge emitted; the rest — the
+     * target must be an emitted top-level value declaration, a declaration's own name
+     * is skipped, self-edges are dropped — is shared by both. Repeated accesses
+     * collapse into one counted edge in {@link GraphBuilder}.
+     */
+    private static extractValueAccess;
     private static isValueRead;
+    /**
+     * Whether an identifier is written: the left-hand side of an assignment
+     * (`x = …`, `x += …`) or the operand of a `++`/`--`. A compound assignment and an
+     * increment also read the old value, so {@link isValueRead} reports those
+     * identifiers too; a plain `x = …` is a write only.
+     */
+    private static isValueWrite;
     private static isDeclarationName;
     private static isEmittedTarget;
     private static readerScope;

package/dist/extract/semantic_extractor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"semantic_extractor.d.ts","sourceRoot":"","sources":["../../src/extract/semantic_extractor.ts"],"names":[],"mappings":"AAAA,OAAO,EAON,UAAU,EAGV,MAAM,UAAU,CAAC;AAGlB,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAqCvD,qBAAa,iBAAiB;IAC7B,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU;IAuBpE,OAAO,CAAC,MAAM,CAAC,YAAY;IAoB3B,OAAO,CAAC,MAAM,CAAC,gBAAgB;IAe/B,OAAO,CAAC,MAAM,CAAC,gBAAgB;IAQ/B,OAAO,CAAC,MAAM,CAAC,YAAY;IAkB3B,OAAO,CAAC,MAAM,CAAC,eAAe;IAkB9B,OAAO,CAAC,MAAM,CAAC,YAAY;IAqB3B,OAAO,CAAC,MAAM,CAAC,qBAAqB;IAqBpC,OAAO,CAAC,MAAM,CAAC,YAAY;IA2B3B,OAAO,CAAC,MAAM,CAAC,WAAW;IA6B1B,OAAO,CAAC,MAAM,CAAC,iBAAiB;IAKhC,OAAO,CAAC,MAAM,CAAC,eAAe;IAQ9B,OAAO,CAAC,MAAM,CAAC,WAAW;IAW1B,OAAO,CAAC,MAAM,CAAC,oBAAoB;IAOnC,OAAO,CAAC,MAAM,CAAC,OAAO;IAUtB,OAAO,CAAC,MAAM,CAAC,SAAS;IAMxB,OAAO,CAAC,MAAM,CAAC,IAAI;CAGnB"}
+{"version":3,"file":"semantic_extractor.d.ts","sourceRoot":"","sources":["../../src/extract/semantic_extractor.ts"],"names":[],"mappings":"AAAA,OAAO,EAON,UAAU,EAGV,MAAM,UAAU,CAAC;AAGlB,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAyDvD,qBAAa,iBAAiB;IAC7B,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU;IAwBpE,OAAO,CAAC,MAAM,CAAC,YAAY;IAqB3B;;;;;;OAMG;IACH,OAAO,CAAC,MAAM,CAAC,gBAAgB;IAkC/B,OAAO,CAAC,MAAM,CAAC,gBAAgB;IAe/B,OAAO,CAAC,MAAM,CAAC,gBAAgB;IAQ/B,OAAO,CAAC,MAAM,CAAC,YAAY;IAkB3B,OAAO,CAAC,MAAM,CAAC,eAAe;IAkB9B,OAAO,CAAC,MAAM,CAAC,YAAY;IAqB3B,OAAO,CAAC,MAAM,CAAC,qBAAqB;IAqBpC,OAAO,CAAC,MAAM,CAAC,YAAY;IAI3B,OAAO,CAAC,MAAM,CAAC,aAAa;IAI5B;;;;;;;OAOG;IACH,OAAO,CAAC,MAAM,CAAC,kBAAkB;IAiCjC,OAAO,CAAC,MAAM,CAAC,WAAW;IAiC1B;;;;;OAKG;IACH,OAAO,CAAC,MAAM,CAAC,YAAY;IAiB3B,OAAO,CAAC,MAAM,CAAC,iBAAiB;IAKhC,OAAO,CAAC,MAAM,CAAC,eAAe;IAQ9B,OAAO,CAAC,MAAM,CAAC,WAAW;IAW1B,OAAO,CAAC,MAAM,CAAC,oBAAoB;IAOnC,OAAO,CAAC,MAAM,CAAC,OAAO;IAUtB,OAAO,CAAC,MAAM,CAAC,SAAS;IAMxB,OAAO,CAAC,MAAM,CAAC,IAAI;CAGnB"}