@opensip-cli/graph-typescript 0.1.0

package/dist/edges.d.ts

@@ -0,0 +1,65 @@
+/**
+ * Stage 2 — Edge resolution.
+ *
+ * Walks every file's AST: for each function-shaped node we hash and
+ * find the matching catalog entry. We then collect call sites in
+ * that function's body (skipping nested functions, which own their
+ * own bodies). For each call site, dispatch to the appropriate
+ * resolver and append the CallEdge to the catalog entry's calls[].
+ *
+ * Top-level statements (statements not inside any function-shaped
+ * node) own a synthetic module-init occurrence (synthesized in stage
+ * 1).
+ */
+import ts from 'typescript';
+import type { CallSiteRecord } from './walk.js';
+import type { Catalog, ResolutionStats } from '@opensip-cli/graph';
+/** Output of TS edge resolution: catalog (with edges populated) and per-stage stats. */
+export interface EdgeResolutionOutput {
+    readonly catalog: Catalog;
+    readonly resolutionStats: ResolutionStats;
+}
+/** Input for re-resolving edges from cached {@link CallSiteRecord} arrays (warm path). */
+export interface EdgeResolutionFromRecordsInput {
+    readonly catalog: Catalog;
+    readonly program: ts.Program;
+    readonly projectDirAbs: string;
+    readonly callSites: readonly CallSiteRecord[];
+}
+/**
+ * Stage 2 entry point: resolve a pre-collected list of call-site records
+ * produced by `walkProgram` (no AST re-descent). The orchestrator's
+ * `resolveCallSitesAdapter` drives this directly with the records the walk
+ * already emitted.
+ */
+export declare function resolveEdgesFromRecords(input: EdgeResolutionFromRecordsInput): Promise<EdgeResolutionOutput>;
+/** Input for the fast (syntactic, checker-free) resolve path. */
+export interface EdgeResolutionSyntacticInput {
+    readonly catalog: Catalog;
+    readonly projectDirAbs: string;
+    readonly callSites: readonly CallSiteRecord[];
+}
+/**
+ * Fast-tier Stage 2 entry point: resolve the same pre-collected call-site
+ * records WITHOUT a `ts.Program` or type checker. Creation edges are
+ * static and handled identically to the exact path; call edges are
+ * resolved syntactically (callee name + the file's import graph) and
+ * labeled `resolution: 'syntactic'` with capped confidence (never
+ * `'high'`). The output shape is identical to {@link resolveEdgesFromRecords}
+ * — only the verdicts differ — so the catalog stitches the same way.
+ *
+ * Stats stay honest: fast edges land in `resolvedMedium`/`resolvedLow`/
+ * `unresolved`, never `resolvedHigh`.
+ */
+export declare function resolveEdgesSyntactic(input: EdgeResolutionSyntacticInput): Promise<EdgeResolutionOutput>;
+/**
+ * The call's return value is discarded when the call expression is the
+ * entire expression of an ExpressionStatement (`foo();`). Anything else
+ * — assignment RHS, return value, argument, conditional, member chain
+ * — consumes the return value.
+ *
+ * `await foo()` and `(foo())` wrappers are unwrapped so the underlying
+ * intent is preserved.
+ */
+export declare function isReturnValueDiscarded(node: ts.Node): boolean;
+//# sourceMappingURL=edges.d.ts.map

package/dist/edges.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"edges.d.ts","sourceRoot":"","sources":["../src/edges.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;GAYG;AAaH,OAAO,EAAE,MAAM,YAAY,CAAC;AA0B5B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,KAAK,EAEV,OAAO,EAGP,eAAe,EAEhB,MAAM,oBAAoB,CAAC;AAmC5B,wFAAwF;AACxF,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;CAC3C;AAED,0FAA0F;AAC1F,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CAC/C;AAED;;;;;GAKG;AACH,wBAAsB,uBAAuB,CAC3C,KAAK,EAAE,8BAA8B,GACpC,OAAO,CAAC,oBAAoB,CAAC,CA0E/B;AAED,iEAAiE;AACjE,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CAC/C;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,qBAAqB,CACzC,KAAK,EAAE,4BAA4B,GAClC,OAAO,CAAC,oBAAoB,CAAC,CAwD/B;AAkND;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAU7D"}

package/dist/edges.js

@@ -0,0 +1,392 @@
+// @fitness-ignore-file file-length-limit -- Stage 2 edge resolver covering call+import+dependency edges in one cohesive pass; the resolution logic is contiguous and a split would push state across module boundaries.
+/**
+ * Stage 2 — Edge resolution.
+ *
+ * Walks every file's AST: for each function-shaped node we hash and
+ * find the matching catalog entry. We then collect call sites in
+ * that function's body (skipping nested functions, which own their
+ * own bodies). For each call site, dispatch to the appropriate
+ * resolver and append the CallEdge to the catalog entry's calls[].
+ *
+ * Top-level statements (statements not inside any function-shaped
+ * node) own a synthetic module-init occurrence (synthesized in stage
+ * 1).
+ */
+import { relative, sep } from 'node:path';
+import { logger } from '@opensip-cli/core';
+import { appendEdge, createMutableStats, ownerEdgeKey, pushCreationEdge as pushSharedCreationEdge, resolveSpecifierToPackage, truncateForCallEdge, } from '@opensip-cli/graph';
+import ts from 'typescript';
+import { buildCrossPackageContext } from './edge-helpers/cross-package-context.js';
+import { DeclShape, functionLikeFromDeclaration } from './edge-helpers/declaration-to-node.js';
+import { unaliasSymbol } from './edge-helpers/unalias-symbol.js';
+import { resolveByCatalogFallback } from './edge-resolvers/catalog-fallback.js';
+import { resolveDirectCall } from './edge-resolvers/direct-call.js';
+import { resolveJsxElement } from './edge-resolvers/jsx-element.js';
+import { resolveNewExpression } from './edge-resolvers/new-expression.js';
+import { resolvePolymorphicCall } from './edge-resolvers/polymorphic.js';
+import { resolvePropertyAccessCall } from './edge-resolvers/property-access.js';
+import { buildImportIndex, buildImportSpecifierIndex, calleeAnchorNode, collectKnownFiles, resolveSyntactic, } from './edge-resolvers/syntactic.js';
+import { isValueReference, resolveShorthandAssignment, resolveValueReference, } from './edges-value-reference.js';
+/** How many call sites to process between cooperative event-loop yields. Tuned
+ *  so the live view's 80ms clock ticks several times per second during a long
+ *  resolve, while keeping the macrotask-hop count (and its overhead) tiny. */
+const YIELD_EVERY_CALL_SITES = 250;
+/** Yield to the event loop once (a macrotask hop), so the in-process live view
+ *  can paint a frame mid-stage (ADR-0016). */
+function yieldToEventLoop() {
+    return new Promise((resolve) => {
+        setImmediate(resolve);
+    });
+}
+function tsPosition(node, sourceFile) {
+    // Anchor the edge identity at the CALLEE token (method name / callee / class),
+    // not the whole expression's start — so chained calls `a().b()` don't collide
+    // on one (line,column) key. The display TEXT stays the whole expression.
+    const anchor = calleeAnchorNode(node).getStart(sourceFile);
+    const anchorLC = sourceFile.getLineAndCharacterOfPosition(anchor);
+    return {
+        line: anchorLC.line + 1,
+        column: anchorLC.character,
+        text: sourceFile.text.slice(node.getStart(sourceFile), node.getEnd()),
+    };
+}
+/**
+ * Stage 2 entry point: resolve a pre-collected list of call-site records
+ * produced by `walkProgram` (no AST re-descent). The orchestrator's
+ * `resolveCallSitesAdapter` drives this directly with the records the walk
+ * already emitted.
+ */
+export async function resolveEdgesFromRecords(input) {
+    logger.info({ evt: 'graph.edges.start', module: 'graph:edges' });
+    const checker = input.program.getTypeChecker();
+    const callsByHash = new Map();
+    const stats = createMutableStats();
+    const sink = { edgesByOwner: callsByHash, stats };
+    // Cross-package resolution context (export index + manifest index) — the SAME
+    // model the sharded linker uses. Built once for the whole resolve stage so a
+    // workspace `@scope/pkg` call resolves to the SOURCE occurrence instead of the
+    // type checker's bodiless `dist/*.d.ts` declaration (ADR — exact↔sharded
+    // convergence). The per-file raw-import-specifier index (binding name → raw
+    // specifier) is built lazily and cached, mirroring the boundary extractor.
+    const crossPackage = buildCrossPackageContext(input.catalog, input.projectDirAbs);
+    // One import-specifier index per source file, built lazily and cached inline in
+    // the loop below (the cache Map is a local of THIS function, like the fast
+    // path's `importIndexByFile`).
+    const importSpecifiersByFile = new Map();
+    let processed = 0;
+    for (const r of input.callSites) {
+        // Cooperative yield (ADR-0016): resolve is the heaviest stage (tens of
+        // thousands of sites). Yielding to the event loop every N sites lets the
+        // in-process live view's 80ms clock tick, so the spinner animates instead
+        // of freezing for the whole stage. The macrotask hops (~1 per N sites) are
+        // negligible against the per-site type-checker work.
+        if (processed > 0 && processed % YIELD_EVERY_CALL_SITES === 0)
+            await yieldToEventLoop();
+        processed += 1;
+        // Bucket edges per OWNER OCCURRENCE (bodyHash + file), not bodyHash alone:
+        // body-twin functions in different files share a hash, and a hash-only
+        // bucket would union their edges into phantom cross-package calls.
+        const ownerKey = ownerEdgeKey(r.ownerHash, relative(input.projectDirAbs, r.sourceFile.fileName));
+        if (r.kind === 'creation') {
+            if (r.childHash === undefined)
+                continue;
+            // @fitness-ignore-next-line detached-promises -- pushCallEdge/pushSharedCreationEdge return void (synchronous edge-sink writes), not promises
+            pushSharedCreationEdge(tsPosition(r.node, r.sourceFile), ownerKey, r.childHash, sink);
+            continue;
+        }
+        let importSpecifiers = importSpecifiersByFile.get(r.sourceFile);
+        if (importSpecifiers === undefined) {
+            importSpecifiers = buildImportSpecifierIndex(r.sourceFile);
+            importSpecifiersByFile.set(r.sourceFile, importSpecifiers);
+        }
+        const ctx = {
+            catalog: input.catalog,
+            program: input.program,
+            typeChecker: checker,
+            sourceFile: r.sourceFile,
+            projectDirAbs: input.projectDirAbs,
+            crossPackage,
+            importSpecifiers,
+        };
+        const verdict = computeVerdict(r.node, ctx);
+        if (verdict === null)
+            continue;
+        // @fitness-ignore-next-line detached-promises -- pushCallEdge/pushSharedCreationEdge return void (synchronous edge-sink writes), not promises
+        pushCallEdge(r.node, r.sourceFile, verdict, ownerKey, sink);
+    }
+    const newCatalog = rebuildCatalog(input.catalog, callsByHash);
+    logger.info({
+        evt: 'graph.edges.complete',
+        module: 'graph:edges',
+        totalCallSites: stats.totalCallSites,
+        resolvedHigh: stats.resolvedHigh,
+        resolvedMedium: stats.resolvedMedium,
+        resolvedLow: stats.resolvedLow,
+        unresolved: stats.unresolved,
+    });
+    return { catalog: newCatalog, resolutionStats: stats };
+}
+/**
+ * Fast-tier Stage 2 entry point: resolve the same pre-collected call-site
+ * records WITHOUT a `ts.Program` or type checker. Creation edges are
+ * static and handled identically to the exact path; call edges are
+ * resolved syntactically (callee name + the file's import graph) and
+ * labeled `resolution: 'syntactic'` with capped confidence (never
+ * `'high'`). The output shape is identical to {@link resolveEdgesFromRecords}
+ * — only the verdicts differ — so the catalog stitches the same way.
+ *
+ * Stats stay honest: fast edges land in `resolvedMedium`/`resolvedLow`/
+ * `unresolved`, never `resolvedHigh`.
+ */
+export async function resolveEdgesSyntactic(input) {
+    logger.info({ evt: 'graph.edges.syntactic.start', module: 'graph:edges' });
+    const callsByHash = new Map();
+    const stats = createMutableStats();
+    const sink = { edgesByOwner: callsByHash, stats };
+    const knownFiles = collectKnownFiles(input.catalog);
+    // One import index per source file — cached across that file's sites.
+    const importIndexByFile = new Map();
+    let processed = 0;
+    for (const r of input.callSites) {
+        // Cooperative yield — see resolveEdgesFromRecords (ADR-0016).
+        // @fitness-ignore-next-line performance-anti-patterns -- cooperative yield (ADR-0016) runs once per N call-sites so the live view stays responsive; intentionally serial, not parallelizable
+        if (processed > 0 && processed % YIELD_EVERY_CALL_SITES === 0)
+            await yieldToEventLoop();
+        processed += 1;
+        // Per-owner-occurrence bucket key (see resolveEdgesFromRecords).
+        const ownerKey = ownerEdgeKey(r.ownerHash, relative(input.projectDirAbs, r.sourceFile.fileName));
+        if (r.kind === 'creation') {
+            if (r.childHash === undefined)
+                continue;
+            // @fitness-ignore-next-line detached-promises -- pushCallEdge/pushSharedCreationEdge return void (synchronous edge-sink writes), not promises
+            pushSharedCreationEdge(tsPosition(r.node, r.sourceFile), ownerKey, r.childHash, sink);
+            continue;
+        }
+        let importIndex = importIndexByFile.get(r.sourceFile);
+        if (importIndex === undefined) {
+            importIndex = buildImportIndex(r.sourceFile, input.projectDirAbs, knownFiles);
+            importIndexByFile.set(r.sourceFile, importIndex);
+        }
+        const currentFileRel = relative(input.projectDirAbs, r.sourceFile.fileName)
+            .split(sep)
+            .join('/');
+        const verdict = resolveSyntactic(r.node, {
+            catalog: input.catalog,
+            currentFileRel,
+            importIndex,
+        });
+        if (verdict === null)
+            continue;
+        // @fitness-ignore-next-line detached-promises -- pushCallEdge/pushSharedCreationEdge return void (synchronous edge-sink writes), not promises
+        pushCallEdge(r.node, r.sourceFile, verdict, ownerKey, sink);
+    }
+    const newCatalog = rebuildCatalog(input.catalog, callsByHash);
+    logger.info({
+        evt: 'graph.edges.syntactic.complete',
+        module: 'graph:edges',
+        totalCallSites: stats.totalCallSites,
+        resolvedMedium: stats.resolvedMedium,
+        resolvedLow: stats.resolvedLow,
+        unresolved: stats.unresolved,
+    });
+    return { catalog: newCatalog, resolutionStats: stats };
+}
+/**
+ * Append an ordinary call/new/jsx/value-reference edge from a resolver
+ * verdict. Bumps `totalCallSites` directly (every call expression is
+ * a site, even unresolved-by-shape ones); delegates per-confidence
+ * classification to `stats.apply`.
+ */
+function pushCallEdge(node, sourceFile, verdict, ownerKey, sink) {
+    const { edgesByOwner: callsByHash, stats } = sink;
+    stats.totalCallSites++;
+    const pos = tsPosition(node, sourceFile);
+    const edge = {
+        to: verdict.to,
+        line: pos.line,
+        column: pos.column,
+        resolution: verdict.resolution,
+        confidence: verdict.confidence,
+        text: truncateForCallEdge(pos.text),
+        discarded: isReturnValueDiscarded(node),
+    };
+    appendEdge(callsByHash, ownerKey, edge);
+    stats.apply(edge);
+}
+function verdictEntry(predicate, resolve) {
+    return { predicate, resolve: (n, c) => resolve(n, c) };
+}
+const isJsxLikeOpening = (n) => ts.isJsxOpeningElement(n) || ts.isJsxSelfClosingElement(n);
+const isValueRefIdentifier = (n) => ts.isIdentifier(n) && isValueReference(n);
+const VERDICT_TABLE = [
+    verdictEntry(ts.isCallExpression, (n, c) => dispatchCall(n, c)),
+    verdictEntry(ts.isNewExpression, (n, c) => resolveNewExpression(n, c)),
+    verdictEntry(isJsxLikeOpening, (n, c) => resolveJsxElement(n, c)),
+    verdictEntry(isValueRefIdentifier, (n, c) => {
+        const v = resolveValueReference(n, c);
+        return v.to.length > 0 ? v : null;
+    }),
+    verdictEntry(ts.isShorthandPropertyAssignment, (n, c) => {
+        const v = resolveShorthandAssignment(n, c);
+        return v.to.length > 0 ? v : null;
+    }),
+];
+/** Returns null if `node` is not a call/new/jsx/value-reference site. */
+function computeVerdict(node, ctx) {
+    for (const entry of VERDICT_TABLE) {
+        if (entry.predicate(node))
+            return entry.resolve(node, ctx);
+    }
+    return null;
+}
+function dispatchCall(node, ctx) {
+    // Direct identifier call: foo()
+    if (ts.isIdentifier(node.expression)) {
+        const direct = resolveDirectCall(node, ctx);
+        if (direct.to.length > 0)
+            return direct;
+        return fallbackWithBinding(node.expression, node.expression.text, ctx);
+    }
+    // Property access call: obj.method()
+    if (ts.isPropertyAccessExpression(node.expression)) {
+        const direct = resolvePropertyAccessCall(node, ctx);
+        if (direct.to.length > 0)
+            return direct;
+        const poly = resolvePolymorphicCall(node, ctx);
+        if (poly.to.length > 0)
+            return poly;
+        // Fallback: look up by the rightmost simple name (binding-gated).
+        return fallbackWithBinding(node.expression, node.expression.name.text, ctx);
+    }
+    return { to: [], resolution: 'unknown', confidence: 'low' };
+}
+const UNRESOLVED_VERDICT = { to: [], resolution: 'unknown', confidence: 'low' };
+/**
+ * Binding-gated catalog fallback. The unique-name catalog lookup
+ * ({@link resolveByCatalogFallback}) only fires when the call site has a binding
+ * that points INTO the project. A project binding is any of:
+ *
+ *   - the callee expression's resolved symbol has an IN-PROJECT SOURCE
+ *     declaration (a `.ts(x)` file, not a `.d.ts`). This is the receiver/type
+ *     case the import graph can't see: `g.greet()` where `g: Greeter` resolves
+ *     to the interface method declared in a project source file, even though
+ *     `greet` was never imported by name;
+ *   - the name is imported via a RELATIVE specifier (`./x`) — intra-package; or
+ *   - the name is imported via a WORKSPACE specifier (`@scope/pkg`) the manifest
+ *     index knows — inter-package.
+ *
+ * A callee whose symbol resolves only into an EXTERNAL/ambient `.d.ts` (Vitest's
+ * `describe`, `process.cwd`, a `Map`'s `.set`/`.get`) has NO project binding:
+ * the real target is outside the catalog, so a unique project function sharing
+ * the simple name would be a phantom. Without a project binding we decline —
+ * decline-beats-guess.
+ *
+ * NOTE: a same-named function merely EXISTING in the caller's file is NOT a
+ * binding — its presence is no evidence THIS call targets it. The former
+ * same-file name-presence branch let `process.send()` / `arr.push()` /
+ * `new Map().has()` / core `logger.info()` enter the name-only catalog fallback,
+ * which then resolved by SHARD-SCOPED catalog uniqueness — unsound under sharding
+ * (unique-in-shard ≠ unique-in-repo). That fabricated 33 local same-name edges on
+ * this repo (a cross-package/external method call → a same-file same-name
+ * function) that the whole-program checker correctly declines. Removed:
+ * decline-beats-guess. (Genuine cross-package edges sharded *does* resolve come
+ * from the type-checker resolvers' `.d.ts`→source hop, not this fallback, so they
+ * are unaffected.)
+ */
+function fallbackWithBinding(calleeExpr, name, ctx) {
+    if (!hasProjectBinding(calleeExpr, name, ctx))
+        return UNRESOLVED_VERDICT;
+    return resolveByCatalogFallback(name, ctx.catalog);
+}
+/** True when the call's callee binds into the project (see {@link fallbackWithBinding}). */
+function hasProjectBinding(calleeExpr, name, ctx) {
+    if (symbolHasInProjectSourceDecl(calleeExpr, ctx))
+        return true;
+    const spec = ctx.importSpecifiers.get(name);
+    if (spec !== undefined) {
+        if (spec.startsWith('.'))
+            return true; // relative → intra-project
+        // Bare specifier → only a project binding if it resolves to a workspace pkg.
+        return resolveSpecifierToPackage(spec, ctx.crossPackage.manifestIndex) !== undefined;
+    }
+    // No type-checked in-project binding and no import specifier ⇒ no binding.
+    // (A same-named function merely existing in this file is not a binding — see
+    // the fallbackWithBinding doc. Declining here is the decline-beats-guess floor.)
+    return false;
+}
+/** Concrete-callable declaration shapes a name-only fallback may resolve against
+ *  — excludes parameters / property- and method-signatures (a function-TYPED
+ *  binding whose actual target the fallback cannot know). Mirrors the
+ *  property-access resolver's ACCEPT set. */
+const CALLABLE_DECL = DeclShape.FunctionDeclaration |
+    DeclShape.ArrowFunction |
+    DeclShape.FunctionExpression |
+    DeclShape.MethodDeclaration |
+    DeclShape.ConstructorDeclaration |
+    DeclShape.Accessor |
+    DeclShape.VariableInitializer |
+    DeclShape.PropertyAssignmentInitializer;
+/**
+ * True when the callee expression's resolved symbol has at least one declaration
+ * in an IN-PROJECT SOURCE file (a non-`.d.ts` source file in the program). This
+ * is the binding the import graph can't express: a receiver-typed method call
+ * (`g.greet()` where `g: Greeter`) whose target is declared in project source,
+ * even though the method name was never imported. A symbol that resolves only
+ * into `.d.ts` (external / ambient) declarations fails this check, so the
+ * name-only fallback stays declined for globals.
+ */
+function symbolHasInProjectSourceDecl(calleeExpr, ctx) {
+    const symbol = ctx.typeChecker.getSymbolAtLocation(calleeExpr);
+    if (!symbol)
+        return false;
+    const real = unaliasSymbol(symbol, ctx.typeChecker);
+    for (const d of real.getDeclarations() ?? []) {
+        // Only a CONCRETE CALLABLE source declaration is a binding the name-only
+        // fallback may resolve against. A parameter / property-signature / method-
+        // signature (`options.shouldNotRetry?.()`, `push: PushViolation`) is NOT —
+        // the call's real target is whatever VALUE flows into it, which the shard-
+        // scoped name fallback cannot know, so it guesses a same-name occurrence
+        // (resolved when unique IN THE SHARD, declined when ambiguous WHOLE-PROGRAM
+        // — the exact↔sharded divergence). Gating to a callable decl declines those
+        // guesses in BOTH engines: decline-beats-guess, and convergent.
+        if (!d.getSourceFile().isDeclarationFile &&
+            functionLikeFromDeclaration(d, CALLABLE_DECL) !== null) {
+            return true;
+        }
+    }
+    return false;
+}
+/**
+ * The call's return value is discarded when the call expression is the
+ * entire expression of an ExpressionStatement (`foo();`). Anything else
+ * — assignment RHS, return value, argument, conditional, member chain
+ * — consumes the return value.
+ *
+ * `await foo()` and `(foo())` wrappers are unwrapped so the underlying
+ * intent is preserved.
+ */
+export function isReturnValueDiscarded(node) {
+    let parent = node.parent;
+    while (parent) {
+        if (ts.isParenthesizedExpression(parent) || ts.isAwaitExpression(parent)) {
+            parent = parent.parent;
+            continue;
+        }
+        return ts.isExpressionStatement(parent);
+    }
+    return false;
+}
+function rebuildCatalog(catalog, callsByHash) {
+    const functions = Object.create(null);
+    for (const name of Object.keys(catalog.functions)) {
+        const occs = catalog.functions[name];
+        if (!occs)
+            continue;
+        functions[name] = occs.map((o) => ({
+            ...o,
+            calls: callsByHash.get(ownerEdgeKey(o.bodyHash, o.filePath)) ?? [],
+        }));
+    }
+    return { ...catalog, functions };
+}
+//# sourceMappingURL=edges.js.map

package/dist/edges.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"edges.js","sourceRoot":"","sources":["../src/edges.ts"],"names":[],"mappings":"AAAA,wNAAwN;AACxN;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EACL,UAAU,EACV,kBAAkB,EAClB,YAAY,EACZ,gBAAgB,IAAI,sBAAsB,EAC1C,yBAAyB,EACzB,mBAAmB,GACpB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,wBAAwB,EAAE,MAAM,yCAAyC,CAAC;AACnF,OAAO,EAAE,SAAS,EAAE,2BAA2B,EAAE,MAAM,uCAAuC,CAAC;AAC/F,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AACjE,OAAO,EAAE,wBAAwB,EAAE,MAAM,sCAAsC,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAChF,OAAO,EACL,gBAAgB,EAChB,yBAAyB,EACzB,gBAAgB,EAChB,iBAAiB,EACjB,gBAAgB,GAEjB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,gBAAgB,EAChB,0BAA0B,EAC1B,qBAAqB,GACtB,MAAM,4BAA4B,CAAC;AAapC;;8EAE8E;AAC9E,MAAM,sBAAsB,GAAG,GAAG,CAAC;AAEnC;8CAC8C;AAC9C,SAAS,gBAAgB;IACvB,OAAO,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;QACnC,YAAY,CAAC,OAAO,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CACjB,IAAa,EACb,UAAyB;IAMzB,+EAA+E;IAC/E,8EAA8E;IAC9E,yEAAyE;IACzE,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,UAAU,CAAC,6BAA6B,CAAC,MAAM,CAAC,CAAC;IAClE,OAAO;QACL,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC;QACvB,MAAM,EAAE,QAAQ,CAAC,SAAS;QAC1B,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;KACtE,CAAC;AACJ,CAAC;AAgBD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,KAAqC;IAErC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,mBAAmB,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;IAC/C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAsB,CAAC;IAClD,MAAM,KAAK,GAAG,kBAAkB,EAAE,CAAC;IACnC,MAAM,IAAI,GAAa,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAE5D,8EAA8E;IAC9E,6EAA6E;IAC7E,+EAA+E;IAC/E,yEAAyE;IACzE,4EAA4E;IAC5E,2EAA2E;IAC3E,MAAM,YAAY,GAAG,wBAAwB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IAClF,gFAAgF;IAChF,2EAA2E;IAC3E,+BAA+B;IAC/B,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAA8C,CAAC;IAErF,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAChC,uEAAuE;QACvE,yEAAyE;QACzE,0EAA0E;QAC1E,2EAA2E;QAC3E,qDAAqD;QACrD,IAAI,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,sBAAsB,KAAK,CAAC;YAAE,MAAM,gBAAgB,EAAE,CAAC;QACxF,SAAS,IAAI,CAAC,CAAC;QACf,2EAA2E;QAC3E,uEAAuE;QACvE,mEAAmE;QACnE,MAAM,QAAQ,GAAG,YAAY,CAC3B,CAAC,CAAC,SAAS,EACX,QAAQ,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CACrD,CAAC;QACF,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;gBAAE,SAAS;YACxC,8IAA8I;YAC9I,sBAAsB,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACtF,SAAS;QACX,CAAC;QACD,IAAI,gBAAgB,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAChE,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACnC,gBAAgB,GAAG,yBAAyB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YAC3D,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;QAC7D,CAAC;QACD,MAAM,GAAG,GAAoB;YAC3B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,WAAW,EAAE,OAAO;YACpB,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,YAAY;YACZ,gBAAgB;SACjB,CAAC;QACF,MAAM,OAAO,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,IAAI;YAAE,SAAS;QAC/B,8IAA8I;QAC9I,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC;IAED,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAE9D,MAAM,CAAC,IAAI,CAAC;QACV,GAAG,EAAE,sBAAsB;QAC3B,MAAM,EAAE,aAAa;QACrB,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC;IAEH,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;AACzD,CAAC;AASD;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,KAAmC;IAEnC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,6BAA6B,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;IAC3E,MAAM,WAAW,GAAG,IAAI,GAAG,EAAsB,CAAC;IAClD,MAAM,KAAK,GAAG,kBAAkB,EAAE,CAAC;IACnC,MAAM,IAAI,GAAa,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAC5D,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpD,sEAAsE;IACtE,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAA8B,CAAC;IAEhE,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAChC,8DAA8D;QAC9D,6LAA6L;QAC7L,IAAI,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,sBAAsB,KAAK,CAAC;YAAE,MAAM,gBAAgB,EAAE,CAAC;QACxF,SAAS,IAAI,CAAC,CAAC;QACf,iEAAiE;QACjE,MAAM,QAAQ,GAAG,YAAY,CAC3B,CAAC,CAAC,SAAS,EACX,QAAQ,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CACrD,CAAC;QACF,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;gBAAE,SAAS;YACxC,8IAA8I;YAC9I,sBAAsB,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACtF,SAAS;QACX,CAAC;QACD,IAAI,WAAW,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACtD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,WAAW,GAAG,gBAAgB,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;YAC9E,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QACnD,CAAC;QACD,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC;aACxE,KAAK,CAAC,GAAG,CAAC;aACV,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE;YACvC,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,cAAc;YACd,WAAW;SACZ,CAAC,CAAC;QACH,IAAI,OAAO,KAAK,IAAI;YAAE,SAAS;QAC/B,8IAA8I;QAC9I,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC;IAED,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAE9D,MAAM,CAAC,IAAI,CAAC;QACV,GAAG,EAAE,gCAAgC;QACrC,MAAM,EAAE,aAAa;QACrB,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC;IAEH,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;AACzD,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CACnB,IAAa,EACb,UAAyB,EACzB,OAAwB,EACxB,QAAgB,EAChB,IAAc;IAEd,MAAM,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;IAClD,KAAK,CAAC,cAAc,EAAE,CAAC;IACvB,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACzC,MAAM,IAAI,GAAa;QACrB,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,IAAI,EAAE,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC;QACnC,SAAS,EAAE,sBAAsB,CAAC,IAAI,CAAC;KACxC,CAAC;IACF,UAAU,CAAC,WAAW,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AACpB,CAAC;AAuBD,SAAS,YAAY,CACnB,SAAuC,EACvC,OAAkE;IAElE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAM,EAAE,CAAC,CAAC,EAAE,CAAC;AAC9D,CAAC;AAED,MAAM,gBAAgB,GAAG,CAAC,CAAU,EAAwD,EAAE,CAC5F,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC;AAE7D,MAAM,oBAAoB,GAAG,CAAC,CAAU,EAAsB,EAAE,CAC9D,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC;AAE5C,MAAM,aAAa,GAA4B;IAC7C,YAAY,CAAC,EAAE,CAAC,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/D,YAAY,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtE,YAAY,CAAC,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjE,YAAY,CAAC,oBAAoB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC1C,MAAM,CAAC,GAAG,qBAAqB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,OAAO,CAAC,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpC,CAAC,CAAC;IACF,YAAY,CAAC,EAAE,CAAC,6BAA6B,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACtD,MAAM,CAAC,GAAG,0BAA0B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,OAAO,CAAC,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpC,CAAC,CAAC;CACH,CAAC;AAEF,yEAAyE;AACzE,SAAS,cAAc,CAAC,IAAa,EAAE,GAAoB;IACzD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,IAAuB,EAAE,GAAoB;IACjE,gCAAgC;IAChC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5C,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC;QACxC,OAAO,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzE,CAAC;IACD,qCAAqC;IACrC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACnD,MAAM,MAAM,GAAG,yBAAyB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACpD,IAAI,MAAM,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,IAAI,GAAG,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACpC,kEAAkE;QAClE,OAAO,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AAC9D,CAAC;AAED,MAAM,kBAAkB,GAAoB,EAAE,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AAEjG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,SAAS,mBAAmB,CAC1B,UAAyB,EACzB,IAAY,EACZ,GAAoB;IAEpB,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC;QAAE,OAAO,kBAAkB,CAAC;IACzE,OAAO,wBAAwB,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;AACrD,CAAC;AAED,4FAA4F;AAC5F,SAAS,iBAAiB,CAAC,UAAyB,EAAE,IAAY,EAAE,GAAoB;IACtF,IAAI,4BAA4B,CAAC,UAAU,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/D,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,2BAA2B;QAClE,6EAA6E;QAC7E,OAAO,yBAAyB,CAAC,IAAI,EAAE,GAAG,CAAC,YAAY,CAAC,aAAa,CAAC,KAAK,SAAS,CAAC;IACvF,CAAC;IACD,2EAA2E;IAC3E,6EAA6E;IAC7E,iFAAiF;IACjF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;6CAG6C;AAC7C,MAAM,aAAa,GACjB,SAAS,CAAC,mBAAmB;IAC7B,SAAS,CAAC,aAAa;IACvB,SAAS,CAAC,kBAAkB;IAC5B,SAAS,CAAC,iBAAiB;IAC3B,SAAS,CAAC,sBAAsB;IAChC,SAAS,CAAC,QAAQ;IAClB,SAAS,CAAC,mBAAmB;IAC7B,SAAS,CAAC,6BAA6B,CAAC;AAE1C;;;;;;;;GAQG;AACH,SAAS,4BAA4B,CAAC,UAAyB,EAAE,GAAoB;IACnF,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAC/D,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC;IACpD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,eAAe,EAAE,IAAI,EAAE,EAAE,CAAC;QAC7C,yEAAyE;QACzE,2EAA2E;QAC3E,2EAA2E;QAC3E,2EAA2E;QAC3E,yEAAyE;QACzE,4EAA4E;QAC5E,4EAA4E;QAC5E,gEAAgE;QAChE,IACE,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,iBAAiB;YACpC,2BAA2B,CAAC,CAAC,EAAE,aAAa,CAAC,KAAK,IAAI,EACtD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAa;IAClD,IAAI,MAAM,GAAwB,IAAI,CAAC,MAAM,CAAC;IAC9C,OAAO,MAAM,EAAE,CAAC;QACd,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;YACzE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;YACvB,SAAS;QACX,CAAC;QACD,OAAO,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CACrB,OAAgB,EAChB,WAAqD;IAErD,MAAM,SAAS,GAAkD,MAAM,CAAC,MAAM,CAAC,IAAI,CAGlF,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,GAA8C,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAChF,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,GAAG,CAAC;YACJ,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE;SACnE,CAAC,CAAC,CAAC;IACN,CAAC;IACD,OAAO,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,CAAC;AACnC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,47 @@
+/**
+ * @opensip-cli/graph — TypeScript language adapter.
+ *
+ * Lands in PR 3 of plan docs/plans/10-graph-language-pluggability.md.
+ * Exposes `typescriptGraphAdapter`, the GraphLanguageAdapter
+ * implementation that wraps the existing TypeScript-specific
+ * walk/discover/edges machinery into the contract surface defined
+ * by `lang-adapter/types.ts`.
+ *
+ * The contract surface is intentionally small (six methods); each
+ * one delegates to the TypeScript-specific implementation and
+ * translates I/O shapes:
+ *
+ *   discoverFiles    → ./discover.ts:discoverFiles
+ *   parseProject     → ./parse.ts:parseProject
+ *   walkProject      → ./walk.ts:walkProgram, with CallSiteRecord
+ *                      translation (node/sourceFile → nodeRef/sourceFileRef)
+ *   resolveCallSites → ./edges.ts:resolveEdgesFromRecords
+ *   cacheKey         → ./cache-key.ts:cacheKey
+ *   ruleHints        → starter list of side-effect primitives + the
+ *                      `isTestFile` predicate previously inlined in walk.ts
+ *
+ * Files outside this subtree are forbidden from importing the
+ * TypeScript compiler API directly; the dep-cruiser rule
+ * `graph-no-typescript-import-outside-lang-typescript` enforces it.
+ */
+import type { TsParsed } from './parse.js';
+import type { GraphLanguageAdapter } from '@opensip-cli/graph';
+export declare const typescriptGraphAdapter: GraphLanguageAdapter<TsParsed>;
+/**
+ * Discovery contract: external adapter packs export `adapter` (the
+ * GraphLanguageAdapter) and `metadata` (a small descriptor used by
+ * the CLI for diagnostics). The CLI bootstrap registers `adapter` into
+ * the adapter registry after a successful `import()`.
+ */
+export { typescriptGraphAdapter as adapter };
+export declare const metadata: {
+    readonly id: string;
+    readonly displayName: string | undefined;
+    readonly fileExtensions: readonly string[];
+};
+export type { TsParsed, TypescriptParsedProject } from './parse.js';
+export type { TypescriptFastParsedProject } from './parse-fast.js';
+export type { EdgeResolver, ResolverContext } from './edge-resolvers/types.js';
+export type { InventoryVisitor, VisitorContext } from './inventory-visitors/types.js';
+export { isTypescriptTestFile } from './test-file.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAiBH,OAAO,KAAK,EAAE,QAAQ,EAA2B,MAAM,YAAY,CAAC;AAKpE,OAAO,KAAK,EAMV,oBAAoB,EASrB,MAAM,oBAAoB,CAAC;AAoV5B,eAAO,MAAM,sBAAsB,EAAE,oBAAoB,CAAC,QAAQ,CAcjE,CAAC;AAEF;;;;;GAKG;AACH,OAAO,EAAE,sBAAsB,IAAI,OAAO,EAAE,CAAC;AAC7C,eAAO,MAAM,QAAQ;;;;CAIX,CAAC;AAIX,YAAY,EAAE,QAAQ,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACpE,YAAY,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AACnE,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC/E,YAAY,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AACtF,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC"}