@nanonets/graft 0.9.1 → 0.10.1

package/dist/graph/lsp/client.d.ts

@@ -0,0 +1,43 @@
+export interface LspPosition {
+    line: number;
+    character: number;
+}
+export interface LspRange {
+    start: LspPosition;
+    end: LspPosition;
+}
+export interface CallHierarchyItem {
+    name: string;
+    kind: number;
+    uri: string;
+    range: LspRange;
+    selectionRange: LspRange;
+}
+export declare class LspClient {
+    private readonly root;
+    private readonly languageId;
+    private readonly callTimeoutMs;
+    private proc;
+    private conn;
+    private opened;
+    private ready;
+    private spawnFailed;
+    constructor(command: string, args: string[], root: string, languageId: string, callTimeoutMs?: number);
+    /** Safe to write to the server's stdin right now? */
+    private canWrite;
+    /** A request with a timeout so a wedged server can't hang the whole build. */
+    private call;
+    initialize(): Promise<boolean>;
+    /** Open a document (idempotent). Servers resolve cross-file refs from disk, but
+     * the LSP spec wants the queried document opened first. */
+    didOpen(abs: string): void;
+    /** Poll one probe position until call-hierarchy returns something — servers
+     * like rust-analyzer/clangd index AFTER `initialized` and answer empty until
+     * ready. Returns true once ready (or false at the cap). */
+    waitUntilReady(abs: string, pos: LspPosition, maxMs?: number): Promise<boolean>;
+    prepareCallHierarchy(abs: string, pos: LspPosition): Promise<CallHierarchyItem[]>;
+    /** The callees of an item — returns each outgoing call's `to` target. */
+    outgoingCalls(item: CallHierarchyItem): Promise<CallHierarchyItem[]>;
+    dispose(): Promise<void>;
+}
+//# sourceMappingURL=client.d.ts.map

package/dist/graph/lsp/client.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.d.ts","sourceRoot":"","sources":["../../../src/graph/lsp/client.ts"],"names":[],"mappings":"AAkBA,MAAM,WAAW,WAAW;IAAG,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE;AAChE,MAAM,WAAW,QAAQ;IAAG,KAAK,EAAE,WAAW,CAAC;IAAC,GAAG,EAAE,WAAW,CAAA;CAAE;AAClE,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,QAAQ,CAAC;IAChB,cAAc,EAAE,QAAQ,CAAC;CAC1B;AAID,qBAAa,SAAS;IAUlB,OAAO,CAAC,QAAQ,CAAC,IAAI;IACrB,OAAO,CAAC,QAAQ,CAAC,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,aAAa;IAXhC,OAAO,CAAC,IAAI,CAAiC;IAC7C,OAAO,CAAC,IAAI,CAAoB;IAChC,OAAO,CAAC,MAAM,CAAqB;IACnC,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,WAAW,CAAS;gBAG1B,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EAAE,EACG,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,EAClB,aAAa,SAAQ;IAkCxC,qDAAqD;IACrD,OAAO,CAAC,QAAQ;IAIhB,8EAA8E;IAC9E,OAAO,CAAC,IAAI;IAYN,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC;IA6BpC;+DAC2D;IAC3D,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI;IAY1B;;+DAE2D;IACrD,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,SAAQ,GAAG,OAAO,CAAC,OAAO,CAAC;IAW9E,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,GAAG,OAAO,CAAC,iBAAiB,EAAE,CAAC;IASvF,yEAAyE;IACnE,aAAa,CAAC,IAAI,EAAE,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,EAAE,CAAC;IAMpE,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CAS/B"}

package/dist/graph/lsp/client.js

@@ -0,0 +1,179 @@
+/**
+ * A minimal LSP client for the opt-in `--lsp` enrichment pass — just enough to
+ * pull compiler-grade call edges out of a language server: spawn it over stdio,
+ * initialize, open documents, and run the call-hierarchy requests. Built on
+ * `vscode-jsonrpc` (we don't hand-roll the framing). Everything is best-effort:
+ * a server that is missing, slow, or errors degrades to "no enrichment", never a
+ * crash — the AST graph stands on its own.
+ */
+import { spawn } from "node:child_process";
+import { pathToFileURL } from "node:url";
+import { readFileSync } from "node:fs";
+import { createMessageConnection, StreamMessageReader, StreamMessageWriter, } from "vscode-jsonrpc/node.js";
+const uriOf = (abs) => pathToFileURL(abs).toString();
+export class LspClient {
+    root;
+    languageId;
+    callTimeoutMs;
+    proc;
+    conn;
+    opened = new Set();
+    ready = false;
+    spawnFailed = false;
+    constructor(command, args, root, languageId, callTimeoutMs = 15000) {
+        this.root = root;
+        this.languageId = languageId;
+        this.callTimeoutMs = callTimeoutMs;
+        this.proc = spawn(command, args, { cwd: root, stdio: ["pipe", "pipe", "pipe"] });
+        // ENOENT (bad path) OR an immediate exit (e.g. a rustup shim whose component
+        // isn't installed) must fail fast, not hang a request for the full timeout.
+        this.proc.on("error", () => { this.spawnFailed = true; });
+        // An immediate exit (shim without its component, crash on startup) must fail
+        // fast so initialize bails instead of waiting out the timeout; once we've
+        // marked !ready, in-flight queries no-op. Firing during dispose is harmless.
+        this.proc.on("exit", () => { this.spawnFailed = true; this.ready = false; });
+        this.proc.stderr.resume(); // drain; servers are chatty on stderr
+        // Swallow write-after-destroy (EPIPE / ERR_STREAM_DESTROYED) when the server
+        // closes its stdin during/after shutdown — otherwise it surfaces as an
+        // unhandled stream error and taints the process exit code.
+        this.proc.stdin.on("error", () => { });
+        this.conn = createMessageConnection(new StreamMessageReader(this.proc.stdout), new StreamMessageWriter(this.proc.stdin));
+        // Answer the reverse-RPC requests every server makes during startup so it
+        // doesn't block waiting on us; we take defaults for all of them.
+        this.conn.onRequest("workspace/configuration", (p) => (p.items ?? []).map(() => ({})));
+        this.conn.onRequest("client/registerCapability", () => null);
+        this.conn.onRequest("window/workDoneProgress/create", () => null);
+        this.conn.onRequest("workspace/applyEdit", () => ({ applied: false }));
+        this.conn.onNotification(() => { }); // swallow all notifications (diagnostics, progress, logs)
+        // The connection/streams can error or close asynchronously (server exits,
+        // stdin destroyed) — absorb both so a late write never becomes an unhandled
+        // exception that taints the build's exit code.
+        this.conn.onError(() => { this.ready = false; });
+        this.conn.onClose(() => { this.ready = false; });
+        this.conn.listen();
+    }
+    /** Safe to write to the server's stdin right now? */
+    canWrite() {
+        return this.ready && this.proc.stdin.writable && !this.proc.stdin.destroyed;
+    }
+    /** A request with a timeout so a wedged server can't hang the whole build. */
+    call(method, params) {
+        if (!this.canWrite())
+            return Promise.resolve(null);
+        return new Promise((resolve) => {
+            let done = false;
+            const t = setTimeout(() => { if (!done) {
+                done = true;
+                resolve(null);
+            } }, this.callTimeoutMs);
+            this.conn.sendRequest(method, params).then((r) => { if (!done) {
+                done = true;
+                clearTimeout(t);
+                resolve(r);
+            } }, () => { if (!done) {
+                done = true;
+                clearTimeout(t);
+                resolve(null);
+            } });
+        });
+    }
+    async initialize() {
+        // Let a synchronous spawn failure (ENOENT) surface before we wait on a
+        // response that will never come.
+        await new Promise((r) => setTimeout(r, 50));
+        if (this.spawnFailed || this.proc.pid === undefined)
+            return false;
+        const rootUri = uriOf(this.root);
+        // Cold-workspace load (rust-analyzer/clangd index the project) can take a
+        // while — give initialize a generous timeout, separate from per-request.
+        const init = await new Promise((resolve) => {
+            const t = setTimeout(() => resolve(null), 120000);
+            this.conn.sendRequest("initialize", {
+                processId: process.pid,
+                rootUri,
+                workspaceFolders: [{ uri: rootUri, name: "root" }],
+                capabilities: {
+                    textDocument: {
+                        callHierarchy: { dynamicRegistration: false },
+                        synchronization: { dynamicRegistration: false },
+                    },
+                    workspace: { workspaceFolders: true, configuration: true },
+                },
+            }).then((r) => { clearTimeout(t); resolve(r); }, () => { clearTimeout(t); resolve(null); });
+        });
+        if (!init)
+            return false;
+        this.conn.sendNotification("initialized", {});
+        this.ready = true;
+        return true;
+    }
+    /** Open a document (idempotent). Servers resolve cross-file refs from disk, but
+     * the LSP spec wants the queried document opened first. */
+    didOpen(abs) {
+        if (!this.canWrite() || this.opened.has(abs))
+            return;
+        let text = "";
+        try {
+            text = readFileSync(abs, "utf8");
+        }
+        catch {
+            return;
+        }
+        this.opened.add(abs);
+        try {
+            this.conn.sendNotification("textDocument/didOpen", {
+                textDocument: { uri: uriOf(abs), languageId: this.languageId, version: 1, text },
+            });
+        }
+        catch { /* stream closed mid-write */ }
+    }
+    /** Poll one probe position until call-hierarchy returns something — servers
+     * like rust-analyzer/clangd index AFTER `initialized` and answer empty until
+     * ready. Returns true once ready (or false at the cap). */
+    async waitUntilReady(abs, pos, maxMs = 90000) {
+        this.didOpen(abs);
+        const deadline = Date.now() + maxMs;
+        while (Date.now() < deadline) {
+            const items = await this.prepareCallHierarchy(abs, pos);
+            if (items.length)
+                return true;
+            await new Promise((r) => setTimeout(r, 2000));
+        }
+        return false;
+    }
+    async prepareCallHierarchy(abs, pos) {
+        if (!this.ready)
+            return [];
+        const r = await this.call("textDocument/prepareCallHierarchy", {
+            textDocument: { uri: uriOf(abs) },
+            position: pos,
+        });
+        return r ?? [];
+    }
+    /** The callees of an item — returns each outgoing call's `to` target. */
+    async outgoingCalls(item) {
+        if (!this.ready)
+            return [];
+        const r = await this.call("callHierarchy/outgoingCalls", { item });
+        return (r ?? []).map((c) => c.to).filter(Boolean);
+    }
+    async dispose() {
+        // Skip the graceful LSP shutdown/exit handshake: writing `exit` to a server
+        // that has already closed its stdin throws ERR_STREAM_DESTROYED and taints
+        // the exit code. The graph is already built; just tear the process down.
+        this.ready = false;
+        try {
+            this.conn.dispose();
+        }
+        catch { /* ignore */ }
+        try {
+            this.proc.stdin.destroy();
+        }
+        catch { /* ignore */ }
+        try {
+            this.proc.kill("SIGKILL");
+        }
+        catch { /* ignore */ }
+    }
+}
+//# sourceMappingURL=client.js.map

package/dist/graph/lsp/client.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.js","sourceRoot":"","sources":["../../../src/graph/lsp/client.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,KAAK,EAAuC,MAAM,oBAAoB,CAAC;AAChF,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EACL,uBAAuB,EACvB,mBAAmB,EACnB,mBAAmB,GAEpB,MAAM,wBAAwB,CAAC;AAYhC,MAAM,KAAK,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;AAErE,MAAM,OAAO,SAAS;IAUD;IACA;IACA;IAXX,IAAI,CAAiC;IACrC,IAAI,CAAoB;IACxB,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3B,KAAK,GAAG,KAAK,CAAC;IACd,WAAW,GAAG,KAAK,CAAC;IAE5B,YACE,OAAe,EACf,IAAc,EACG,IAAY,EACZ,UAAkB,EAClB,gBAAgB,KAAK;QAFrB,SAAI,GAAJ,IAAI,CAAQ;QACZ,eAAU,GAAV,UAAU,CAAQ;QAClB,kBAAa,GAAb,aAAa,CAAQ;QAEtC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;QACjF,6EAA6E;QAC7E,4EAA4E;QAC5E,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,6EAA6E;QAC7E,0EAA0E;QAC1E,6EAA6E;QAC7E,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7E,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,sCAAsC;QACjE,6EAA6E;QAC7E,uEAAuE;QACvE,2DAA2D;QAC3D,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,IAAI,GAAG,uBAAuB,CACjC,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EACzC,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CACzC,CAAC;QACF,0EAA0E;QAC1E,iEAAiE;QACjE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,yBAAyB,EAAE,CAAC,CAAuB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7G,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,2BAA2B,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,gCAAgC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAClE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,qBAAqB,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACvE,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC,CAAC,0DAA0D;QAC9F,0EAA0E;QAC1E,4EAA4E;QAC5E,+CAA+C;QAC/C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACrB,CAAC;IAED,qDAAqD;IAC7C,QAAQ;QACd,OAAO,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;IAC9E,CAAC;IAED,8EAA8E;IACtE,IAAI,CAAI,MAAc,EAAE,MAAe;QAC7C,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE;YAAE,OAAO,OAAO,CAAC,OAAO,CAAC,IAAS,CAAC,CAAC;QACxD,OAAO,IAAI,OAAO,CAAI,CAAC,OAAO,EAAE,EAAE;YAChC,IAAI,IAAI,GAAG,KAAK,CAAC;YACjB,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAAC,IAAI,GAAG,IAAI,CAAC;gBAAC,OAAO,CAAC,IAAS,CAAC,CAAC;YAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;YACpG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAI,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAC3C,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAAC,IAAI,GAAG,IAAI,CAAC;gBAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAAC,CAAC,CAAC,CAAC,EACnE,GAAG,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAAC,IAAI,GAAG,IAAI,CAAC;gBAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAAC,OAAO,CAAC,IAAS,CAAC,CAAC;YAAC,CAAC,CAAC,CAAC,CAC3E,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,UAAU;QACd,uEAAuE;QACvE,iCAAiC;QACjC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5C,IAAI,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAClE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,0EAA0E;QAC1E,yEAAyE;QACzE,MAAM,IAAI,GAAG,MAAM,IAAI,OAAO,CAAU,CAAC,OAAO,EAAE,EAAE;YAClD,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,EAAE;gBAClC,SAAS,EAAE,OAAO,CAAC,GAAG;gBACtB,OAAO;gBACP,gBAAgB,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gBAClD,YAAY,EAAE;oBACZ,YAAY,EAAE;wBACZ,aAAa,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE;wBAC7C,eAAe,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE;qBAChD;oBACD,SAAS,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE;iBAC3D;aACF,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9F,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IAED;+DAC2D;IAC3D,OAAO,CAAC,GAAW;QACjB,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QACrD,IAAI,IAAI,GAAG,EAAE,CAAC;QACd,IAAI,CAAC;YAAC,IAAI,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,OAAO;QAAC,CAAC;QAC3D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,CAAC;YACH,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,sBAAsB,EAAE;gBACjD,YAAY,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE;aACjF,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC,CAAC,6BAA6B,CAAC,CAAC;IAC3C,CAAC;IAED;;+DAE2D;IAC3D,KAAK,CAAC,cAAc,CAAC,GAAW,EAAE,GAAgB,EAAE,KAAK,GAAG,KAAK;QAC/D,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;QACpC,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,QAAQ,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACxD,IAAI,KAAK,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC9B,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,CAAC,oBAAoB,CAAC,GAAW,EAAE,GAAgB;QACtD,IAAI,CAAC,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,IAAI,CAA6B,mCAAmC,EAAE;YACzF,YAAY,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE;YACjC,QAAQ,EAAE,GAAG;SACd,CAAC,CAAC;QACH,OAAO,CAAC,IAAI,EAAE,CAAC;IACjB,CAAC;IAED,yEAAyE;IACzE,KAAK,CAAC,aAAa,CAAC,IAAuB;QACzC,IAAI,CAAC,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,IAAI,CAA0C,6BAA6B,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5G,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACpD,CAAC;IAED,KAAK,CAAC,OAAO;QACX,4EAA4E;QAC5E,2EAA2E;QAC3E,yEAAyE;QACzE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC;QACnD,IAAI,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC;QACzD,IAAI,CAAC;YAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC;IAC3D,CAAC;CACF"}

package/dist/graph/lsp/enrich.d.ts

@@ -0,0 +1,11 @@
+import type { GraphV1 } from "../types.js";
+export interface LspEnrichResult {
+    added: number;
+    queried: number;
+    server: string | null;
+}
+export declare function enrichWithLsp(graph: GraphV1, root: string, opts?: {
+    onProgress?: (done: number, total: number) => void;
+    maxNodes?: number;
+}): Promise<LspEnrichResult>;
+//# sourceMappingURL=enrich.d.ts.map

package/dist/graph/lsp/enrich.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"enrich.d.ts","sourceRoot":"","sources":["../../../src/graph/lsp/enrich.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,OAAO,EAAkB,MAAM,aAAa,CAAC;AAe3D,MAAM,WAAW,eAAe;IAAG,KAAK,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE;AAE1F,wBAAsB,aAAa,CACjC,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,MAAM,EACZ,IAAI,GAAE;IAAE,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAO,GACnF,OAAO,CAAC,eAAe,CAAC,CAqG1B"}

package/dist/graph/lsp/enrich.js

@@ -0,0 +1,155 @@
+/**
+ * Opt-in LSP enrichment (`graft build --lsp`): add compiler-grade call edges the
+ * AST resolver couldn't — chiefly member calls (`obj.foo()`) whose receiver type
+ * graft can't infer, and every call in the generic breadth tier (which has no
+ * receiver typing at all). For each function/method node we ask the language
+ * server for its outgoing calls (call hierarchy) and map each callee's definition
+ * back to a graft node, adding a `calls` edge stamped `lsp_resolved`. Precision is
+ * the server's (compiler-grade), so this closes the edge-recall gap WITHOUT the
+ * name-guessing that halved precision (see resolve.ts). Best-effort: no server /
+ * a timeout / an error → the graph is returned unchanged.
+ */
+import { join } from "node:path";
+import { readFileSync, realpathSync } from "node:fs";
+import { fileURLToPath } from "node:url";
+import { relPosix } from "../../util/paths.js";
+import { languageLabelOf } from "../extract.js";
+import { genericLangOf } from "../generic.js";
+import { LspClient } from "./client.js";
+import { pickServer } from "./registry.js";
+const CALLABLE = new Set(["function", "method"]);
+const DEFN = new Set(["function", "method", "class", "struct", "interface", "type", "enum"]);
+const langOf = (path) => genericLangOf(path)?.name ?? languageLabelOf(path);
+const parseSpan = (s) => {
+    const m = /^L(\d+)-L(\d+)$/.exec(s);
+    return m ? [Number(m[1]), Number(m[2])] : null;
+};
+export async function enrichWithLsp(graph, root, opts = {}) {
+    const languagesPresent = new Set();
+    for (const n of graph.nodes) {
+        const l = langOf(n.path);
+        if (l)
+            languagesPresent.add(l);
+    }
+    const server = pickServer(languagesPresent);
+    if (!server)
+        return { added: 0, queried: 0, server: null };
+    // Canonicalize the root: servers (rust-analyzer/clangd) report callee URIs
+    // against the REAL path, so under a symlinked checkout (macOS /tmp →
+    // /private/tmp, common in CI) an un-resolved root would fail the in-repo test
+    // for every callee and silently zero out enrichment.
+    const realRoot = (() => { try {
+        return realpathSync(root);
+    }
+    catch {
+        return root;
+    } })();
+    root = realRoot;
+    // Index nodes by file for both source selection and callee→node mapping.
+    const byId = new Map(graph.nodes.map((n) => [n.id, n]));
+    const spansByFile = new Map();
+    for (const n of graph.nodes) {
+        if (n.kind === "file" || !DEFN.has(n.kind))
+            continue;
+        const sp = parseSpan(n.span);
+        if (!sp)
+            continue;
+        const list = spansByFile.get(n.path) ?? [];
+        list.push({ node: n, from: sp[0], to: sp[1] });
+        spansByFile.set(n.path, list);
+    }
+    // The definition node covering a 1-indexed line in a file: innermost (smallest span).
+    const nodeAt = (rel, line) => {
+        const cands = (spansByFile.get(rel) ?? []).filter((s) => s.from <= line && line <= s.to);
+        if (!cands.length)
+            return null;
+        return cands.sort((a, b) => (a.to - a.from) - (b.to - b.from))[0].node;
+    };
+    // Source nodes to query: callable nodes in files this server handles.
+    const serverLangs = new Set(server.languages);
+    let sources = graph.nodes.filter((n) => CALLABLE.has(n.kind) && serverLangs.has(langOf(n.path) ?? ""));
+    if (opts.maxNodes && sources.length > opts.maxNodes)
+        sources = sources.slice(0, opts.maxNodes);
+    const client = new LspClient(server.command, server.args, root, server.languageId);
+    if (!(await client.initialize())) {
+        await client.dispose();
+        return { added: 0, queried: 0, server: server.command };
+    }
+    const existing = new Set(graph.edges.map((e) => `${e.source}\0${e.relation}\0${e.target}`));
+    const fileLines = new Map();
+    const linesOf = (rel) => {
+        if (!fileLines.has(rel)) {
+            try {
+                fileLines.set(rel, readFileSync(join(root, rel), "utf8").split("\n"));
+            }
+            catch {
+                fileLines.set(rel, []);
+            }
+        }
+        return fileLines.get(rel);
+    };
+    // The name-token position of a definition (0-indexed), scanning its first few
+    // lines for the name — call hierarchy needs a position ON the symbol.
+    const namePos = (src) => {
+        const sp = parseSpan(src.span);
+        if (!sp)
+            return null;
+        const lines = linesOf(src.path);
+        for (let ln = sp[0] - 1; ln < Math.min(sp[0] + 2, lines.length); ln++) {
+            const c = (lines[ln] ?? "").indexOf(src.name);
+            if (c >= 0)
+                return { line: ln, character: c };
+        }
+        return null;
+    };
+    // Wait for the server to finish indexing (it answers call-hierarchy empty
+    // until ready). Warm up on the first source node that has a findable position.
+    const warm = sources.find((s) => namePos(s));
+    if (warm) {
+        const wp = namePos(warm);
+        if (!(await client.waitUntilReady(join(root, warm.path), wp))) {
+            await client.dispose();
+            return { added: 0, queried: 0, server: server.command }; // never became ready
+        }
+    }
+    let added = 0, queried = 0;
+    for (const src of sources) {
+        const abs = join(root, src.path);
+        client.didOpen(abs);
+        const pos = namePos(src);
+        if (!pos)
+            continue;
+        const items = await client.prepareCallHierarchy(abs, pos);
+        if (!items.length)
+            continue;
+        queried++;
+        opts.onProgress?.(queried, sources.length);
+        const callees = await client.outgoingCalls(items[0]);
+        for (const callee of callees) {
+            let calleeAbs;
+            try {
+                calleeAbs = fileURLToPath(callee.uri);
+            }
+            catch {
+                continue;
+            }
+            const rel = relPosix(root, calleeAbs);
+            // In-repo iff the repo-relative path doesn't escape the root. (A raw
+            // `startsWith(root)` is separator-unsafe: root=/a/foo matches /a/foo-bar.)
+            if (rel.startsWith("..") || rel.startsWith("/"))
+                continue; // external/dependency
+            const target = nodeAt(rel, (callee.selectionRange?.start.line ?? callee.range.start.line) + 1);
+            if (!target || target.id === src.id)
+                continue;
+            const key = `${src.id}\0calls\0${target.id}`;
+            if (existing.has(key))
+                continue;
+            existing.add(key);
+            graph.edges.push({ source: src.id, target: target.id, relation: "calls", confidence: "lsp_resolved" });
+            added++;
+        }
+    }
+    await client.dispose();
+    return { added, queried, server: server.command };
+}
+//# sourceMappingURL=enrich.js.map

package/dist/graph/lsp/enrich.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"enrich.js","sourceRoot":"","sources":["../../../src/graph/lsp/enrich.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,OAAO,EAAE,SAAS,EAA0B,MAAM,aAAa,CAAC;AAChE,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAE3C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAiB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;AACjE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAE7G,MAAM,MAAM,GAAG,CAAC,IAAY,EAAiB,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC;AAGnG,MAAM,SAAS,GAAG,CAAC,CAAS,EAA2B,EAAE;IACvD,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC,CAAC;AAIF,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,KAAc,EACd,IAAY,EACZ,OAAkF,EAAE;IAEpF,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAAC,IAAI,CAAC;YAAE,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,UAAU,CAAC,gBAAgB,CAAC,CAAC;IAC5C,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAE3D,2EAA2E;IAC3E,qEAAqE;IACrE,8EAA8E;IAC9E,qDAAqD;IACrD,MAAM,QAAQ,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;QAAC,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACzF,IAAI,GAAG,QAAQ,CAAC;IAEhB,yEAAyE;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QACrD,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAAC,IAAI,CAAC,EAAE;YAAE,SAAS;QAChD,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/C,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IACD,sFAAsF;IACtF,MAAM,MAAM,GAAG,CAAC,GAAW,EAAE,IAAY,EAAiB,EAAE;QAC1D,MAAM,KAAK,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;QACzF,IAAI,CAAC,KAAK,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAC/B,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzE,CAAC,CAAC;IAEF,sEAAsE;IACtE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACvG,IAAI,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,QAAQ;QAAE,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAE/F,MAAM,MAAM,GAAG,IAAI,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IACnF,IAAI,CAAC,CAAC,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC;QAAC,MAAM,MAAM,CAAC,OAAO,EAAE,CAAC;QAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IAAC,CAAC;IAEtH,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC5F,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,MAAM,OAAO,GAAG,CAAC,GAAW,EAAY,EAAE;QACxC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC;gBAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YAAC,CAAC;YAC9E,MAAM,CAAC;gBAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,CAAC;QACnC,CAAC;QACD,OAAO,SAAS,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;IAC7B,CAAC,CAAC;IAEF,8EAA8E;IAC9E,sEAAsE;IACtE,MAAM,OAAO,GAAG,CAAC,GAAW,EAA8C,EAAE;QAC1E,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAAC,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QACrD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,KAAK,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC;YACtE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;QAChD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,0EAA0E;IAC1E,+EAA+E;IAC/E,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,MAAM,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;YAC9D,MAAM,MAAM,CAAC,OAAO,EAAE,CAAC;YACvB,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,qBAAqB;QAChF,CAAC;IACH,CAAC;IAED,IAAI,KAAK,GAAG,CAAC,EAAE,OAAO,GAAG,CAAC,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QACzB,IAAI,CAAC,GAAG;YAAE,SAAS;QAEnB,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC1D,IAAI,CAAC,KAAK,CAAC,MAAM;YAAE,SAAS;QAC5B,OAAO,EAAE,CAAC;QACV,IAAI,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,SAAiB,CAAC;YACtB,IAAI,CAAC;gBAAC,SAAS,GAAG,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAAC,CAAC;YAAC,MAAM,CAAC;gBAAC,SAAS;YAAC,CAAC;YAClE,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACtC,qEAAqE;YACrE,2EAA2E;YAC3E,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS,CAAC,sBAAsB;YACjF,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,cAAc,EAAE,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC/F,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE;gBAAE,SAAS;YAC9C,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,EAAE,YAAY,MAAM,CAAC,EAAE,EAAE,CAAC;YAC7C,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAChC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAY,CAAC,CAAC;YACjH,KAAK,EAAE,CAAC;QACV,CAAC;IACH,CAAC;IACD,MAAM,MAAM,CAAC,OAAO,EAAE,CAAC;IACvB,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;AACpD,CAAC"}

package/dist/graph/lsp/registry.d.ts

@@ -0,0 +1,15 @@
+export interface LspServer {
+    /** graft language names (as produced by languageLabelOf/genericLangOf) this serves. */
+    languages: string[];
+    command: string;
+    args: string[];
+    /** the LSP `languageId` to tag opened documents with. */
+    languageId: string;
+}
+/** First-match-wins; ordering is priority. Extend by adding a row. */
+export declare const LSP_SERVERS: readonly LspServer[];
+/** Pick the highest-priority installed server that covers at least one of the
+ * languages present in the repo, with `command` resolved to an absolute path.
+ * Returns null if none is installed. */
+export declare function pickServer(languagesPresent: Set<string>): LspServer | null;
+//# sourceMappingURL=registry.d.ts.map

package/dist/graph/lsp/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../../src/graph/lsp/registry.ts"],"names":[],"mappings":"AAOA,MAAM,WAAW,SAAS;IACxB,uFAAuF;IACvF,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,yDAAyD;IACzD,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,sEAAsE;AACtE,eAAO,MAAM,WAAW,EAAE,SAAS,SAAS,EAM3C,CAAC;AAeF;;wCAEwC;AACxC,wBAAgB,UAAU,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,SAAS,GAAG,IAAI,CAO1E"}

package/dist/graph/lsp/registry.js

@@ -0,0 +1,46 @@
+/**
+ * LSP server registry — maps graft language names to a language server command.
+ * Only servers whose binary is actually on PATH are eligible; a missing binary
+ * simply means that language gets no LSP enrichment (the AST graph stands alone).
+ */
+import { execSync } from "node:child_process";
+/** First-match-wins; ordering is priority. Extend by adding a row. */
+export const LSP_SERVERS = [
+    { languages: ["rust"], command: "rust-analyzer", args: [], languageId: "rust" },
+    { languages: ["cpp", "c"], command: "clangd", args: ["--background-index"], languageId: "cpp" },
+    { languages: ["go"], command: "gopls", args: [], languageId: "go" },
+    { languages: ["python"], command: "pyright-langserver", args: ["--stdio"], languageId: "python" },
+    { languages: ["typescript", "javascript", "tsx"], command: "typescript-language-server", args: ["--stdio"], languageId: "typescript" },
+];
+const resolved = new Map();
+/** Resolve a command to its ABSOLUTE path via the login shell's PATH. `spawn`
+ * resolves against `process.env.PATH`, which often omits `~/.cargo/bin`,
+ * `~/go/bin`, etc. where these servers live — so `command -v` can find a server
+ * that `spawn(cmd)` then can't. Spawning the absolute path avoids that mismatch. */
+function resolveCommand(cmd) {
+    if (resolved.has(cmd))
+        return resolved.get(cmd);
+    let abs = null;
+    try {
+        abs = execSync(`command -v ${cmd}`, { encoding: "utf8" }).trim() || null;
+    }
+    catch {
+        abs = null;
+    }
+    resolved.set(cmd, abs);
+    return abs;
+}
+/** Pick the highest-priority installed server that covers at least one of the
+ * languages present in the repo, with `command` resolved to an absolute path.
+ * Returns null if none is installed. */
+export function pickServer(languagesPresent) {
+    for (const s of LSP_SERVERS) {
+        if (!s.languages.some((l) => languagesPresent.has(l)))
+            continue;
+        const abs = resolveCommand(s.command);
+        if (abs)
+            return { ...s, command: abs };
+    }
+    return null;
+}
+//# sourceMappingURL=registry.js.map

package/dist/graph/lsp/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../../src/graph/lsp/registry.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAW9C,sEAAsE;AACtE,MAAM,CAAC,MAAM,WAAW,GAAyB;IAC/C,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE;IAC/E,EAAE,SAAS,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,oBAAoB,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;IAC/F,EAAE,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE;IACnE,EAAE,SAAS,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;IACjG,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,YAAY,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,4BAA4B,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,YAAY,EAAE;CACvI,CAAC;AAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;AAClD;;;oFAGoF;AACpF,SAAS,cAAc,CAAC,GAAW;IACjC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;IACjD,IAAI,GAAG,GAAkB,IAAI,CAAC;IAC9B,IAAI,CAAC;QAAC,GAAG,GAAG,QAAQ,CAAC,cAAc,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,IAAI,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,GAAG,GAAG,IAAI,CAAC;IAAC,CAAC;IACvG,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACvB,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;wCAEwC;AACxC,MAAM,UAAU,UAAU,CAAC,gBAA6B;IACtD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS;QAChE,MAAM,GAAG,GAAG,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACtC,IAAI,GAAG;YAAE,OAAO,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/graph/queries/c.scm

@@ -0,0 +1,13 @@
+(struct_specifier name: (type_identifier) @name body:(_)) @definition.class
+
+(declaration type: (union_specifier name: (type_identifier) @name)) @definition.class
+
+(function_declarator declarator: (identifier) @name) @definition.function
+
+(type_definition declarator: (type_identifier) @name) @definition.type
+
+(enum_specifier name: (type_identifier) @name) @definition.type
+
+; graft: call sites (upstream c tags.scm is definition-only)
+(call_expression
+  function: (identifier) @name) @reference.call

package/dist/graph/queries/c_sharp.scm

@@ -0,0 +1,19 @@
+; C# tags — minimal, matched to the tree-sitter-wasms c_sharp grammar node types.
+; (Upstream tree-sitter-c-sharp tags.scm references node types the bundled wasm
+;  grammar version lacks — "Bad node name 'type'" — so graft ships this instead.)
+
+(class_declaration name: (identifier) @name) @definition.class
+(interface_declaration name: (identifier) @name) @definition.interface
+(struct_declaration (identifier) @name) @definition.struct
+(enum_declaration name: (identifier) @name) @definition.enum
+(record_declaration (identifier) @name) @definition.class
+(method_declaration name: (identifier) @name) @definition.method
+(constructor_declaration (identifier) @name) @definition.method
+(property_declaration name: (identifier) @name) @definition.variable
+(namespace_declaration name: (identifier) @name) @definition.module
+
+(invocation_expression
+  function: [
+    (identifier) @name
+    (member_access_expression name: (identifier) @name)
+  ]) @reference.call

package/dist/graph/queries/cpp.scm

@@ -0,0 +1,23 @@
+(struct_specifier name: (type_identifier) @name body:(_)) @definition.class
+
+(declaration type: (union_specifier name: (type_identifier) @name)) @definition.class
+
+(function_declarator declarator: (identifier) @name) @definition.function
+
+(function_declarator declarator: (field_identifier) @name) @definition.function
+
+(function_declarator declarator: (qualified_identifier scope: (namespace_identifier) @local.scope name: (identifier) @name)) @definition.method
+
+(type_definition declarator: (type_identifier) @name) @definition.type
+
+(enum_specifier name: (type_identifier) @name) @definition.type
+
+(class_specifier name: (type_identifier) @name) @definition.class
+
+; graft: call sites (upstream cpp tags.scm is definition-only)
+(call_expression
+  function: [
+    (identifier) @name
+    (field_expression field: (field_identifier) @name)
+    (qualified_identifier name: (identifier) @name)
+  ]) @reference.call

package/dist/graph/queries/elixir.scm

@@ -0,0 +1,54 @@
+; Definitions
+
+; * modules and protocols
+(call
+  target: (identifier) @ignore
+  (arguments (alias) @name)
+  (#any-of? @ignore "defmodule" "defprotocol")) @definition.module
+
+; * functions/macros
+(call
+  target: (identifier) @ignore
+  (arguments
+    [
+      ; zero-arity functions with no parentheses
+      (identifier) @name
+      ; regular function clause
+      (call target: (identifier) @name)
+      ; function clause with a guard clause
+      (binary_operator
+        left: (call target: (identifier) @name)
+        operator: "when")
+    ])
+  (#any-of? @ignore "def" "defp" "defdelegate" "defguard" "defguardp" "defmacro" "defmacrop" "defn" "defnp")) @definition.function
+
+; References
+
+; ignore calls to kernel/special-forms keywords
+(call
+  target: (identifier) @ignore
+  (#any-of? @ignore "def" "defp" "defdelegate" "defguard" "defguardp" "defmacro" "defmacrop" "defn" "defnp" "defmodule" "defprotocol" "defimpl" "defstruct" "defexception" "defoverridable" "alias" "case" "cond" "else" "for" "if" "import" "quote" "raise" "receive" "require" "reraise" "super" "throw" "try" "unless" "unquote" "unquote_splicing" "use" "with"))
+
+; ignore module attributes
+(unary_operator
+  operator: "@"
+  operand: (call
+    target: (identifier) @ignore))
+
+; * function call
+(call
+  target: [
+   ; local
+   (identifier) @name
+   ; remote
+   (dot
+     right: (identifier) @name)
+  ]) @reference.call
+
+; * pipe into function call
+(binary_operator
+  operator: "|>"
+  right: (identifier) @name) @reference.call
+
+; * modules
+(alias) @name @reference.module

package/dist/graph/queries/java.scm

@@ -0,0 +1,20 @@
+(class_declaration
+  name: (identifier) @name) @definition.class
+
+(method_declaration
+  name: (identifier) @name) @definition.method
+
+(method_invocation
+  name: (identifier) @name
+  arguments: (argument_list) @reference.call)
+
+(interface_declaration
+  name: (identifier) @name) @definition.interface
+
+(type_list
+  (type_identifier) @name) @reference.implementation
+
+(object_creation_expression
+  type: (type_identifier) @name) @reference.class
+
+(superclass (type_identifier) @name) @reference.class