@rayfold/lsp 0.1.0

package/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/NOTICE

@@ -0,0 +1,10 @@
+Rayfold
+Copyright 2026 The Rayfold Authors
+
+This product is licensed under the Apache License, Version 2.0 (see LICENSE).
+
+The data in data/gutenberg.json.gz is derived from the Project Gutenberg catalogue
+(https://www.gutenberg.org/ebooks/offline_catalogs.html) and is not covered by this
+project's copyright. See data/README.md for its source. Project Gutenberg is a
+registered trademark of the Project Gutenberg Literary Archive Foundation; Rayfold is
+not affiliated with or endorsed by Project Gutenberg.

package/README.md

@@ -0,0 +1,40 @@
+# @rayfold/lsp
+
+A language server for [Rayfold](https://github.com/eddyboutros/rayfold) schemas. It reads `.rayfold` documents with the
+same parser and validator the runtime uses, so what an editor underlines is what `rayfold check` would report, in the
+same words.
+
+```sh
+npm install --save-dev @rayfold/lsp @rayfold/cli
+rayfold lsp        # speaks LSP over stdin and stdout
+```
+
+What it answers:
+
+| Request | What you get |
+| --- | --- |
+| diagnostics | every syntax error and every validation finding, placed on the declaration it is about |
+| completion | declaration keywords, annotations (with where each one is allowed), and type names in a type position |
+| hover | the declaration, its description and its annotations; an operation shows its signature, what it throws and what it emits |
+| definition | jump from a type reference to its declaration |
+| document symbols | an outline of types with their fields, and the operations |
+
+The server holds no dependencies of its own beyond `@rayfold/schema`, and speaks the protocol's `Content-Length`
+framing directly, so it runs anywhere Node does.
+
+## Without the CLI
+
+`serveStdio` puts it on any stream pair, and `RayfoldLanguageServer` is transport-free if you have a channel of your
+own:
+
+```ts
+import { serveStdio } from "@rayfold/lsp";
+
+serveStdio(process.stdin, process.stdout);
+```
+
+`diagnosticsFor(text)` returns the same findings as a plain function, for a check that is not an editor.
+
+Editor setup, including a TextMate grammar for highlighting, is in the [editor guide](../../docs/guide/editors.md).
+
+Apache-2.0.

package/index.d.ts

@@ -0,0 +1,41 @@
+import { type Range } from "./positions.js";
+export { declarationAt, indexDocument, rangeForPath, tokenAt, type Declaration, type DocumentIndex, type Position, type Range } from "./positions.js";
+export interface IncomingMessage {
+    jsonrpc?: string;
+    id?: number | string | null;
+    method?: string;
+    params?: unknown;
+}
+export type Send = (message: Record<string, unknown>) => void;
+export declare class RayfoldLanguageServer {
+    private readonly send;
+    private readonly onExit?;
+    private readonly documents;
+    /** [onExit] runs when the editor sends `exit`, so whatever hosts the server can stop with it. */
+    constructor(send: Send, onExit?: (() => void) | undefined);
+    /** One message from the editor. Responses and notifications go back through the send given to the constructor. */
+    receive(message: IncomingMessage): void;
+    /** The text the editor last sent for [uri], for a caller that keeps its own view of the workspace. */
+    document(uri: string): string | undefined;
+    private reply;
+    private publish;
+    private completion;
+    private hover;
+    private definition;
+    private symbols;
+}
+/** What the editor underlines: the syntax error, or every finding validation reports, placed in the text. */
+export declare function diagnosticsFor(text: string): Array<{
+    range: Range;
+    severity: number;
+    code?: string;
+    source: string;
+    message: string;
+}>;
+/**
+ * The server over a stream pair, framed as the protocol asks (`Content-Length`, then the JSON). `rayfold lsp` runs
+ * this on the process's own stdin and stdout.
+ */
+export declare function serveStdio(input: NodeJS.ReadableStream, output: NodeJS.WritableStream, options?: {
+    onExit?: () => void;
+}): RayfoldLanguageServer;

package/index.js

@@ -0,0 +1,307 @@
+/**
+ * A language server for `.rayfold` documents: diagnostics as you type, completion for keywords, annotations and type
+ * names, hover, go to definition, and an outline.
+ *
+ * The protocol handling is transport-free. [RayfoldLanguageServer] takes the messages an editor sends and calls back
+ * with the messages to send, so the same object serves over stdio (`rayfold lsp`) or any other channel, and a test
+ * can drive it without a process.
+ */
+import { BUILTIN_SCALARS, KNOWN_ANNOTATIONS, RayfoldSyntaxError, parseSchemaText, typeRefToString, validateIR, } from "@rayfold/schema";
+import { DEF_KEYWORDS, declarationAt, indexDocument, rangeForPath, tokenAt } from "./positions.js";
+export { declarationAt, indexDocument, rangeForPath, tokenAt } from "./positions.js";
+/** Severity as the protocol numbers it. */
+const ERROR = 1;
+const WARNING = 2;
+/** SymbolKind as the protocol numbers it. */
+const SYMBOL = { field: 8, function: 12, property: 7, enumMember: 22, struct: 23 };
+/** CompletionItemKind as the protocol numbers it. */
+const COMPLETION = { keyword: 14, class: 7, property: 10, value: 12 };
+const CAPABILITIES = {
+    textDocumentSync: 1, // full text on every change: a schema is small, and a full parse is what validation needs
+    completionProvider: { triggerCharacters: ["@", ":", "<", "|"] },
+    hoverProvider: true,
+    definitionProvider: true,
+    documentSymbolProvider: true,
+};
+const isIdentifier = (c) => (c >= "a" && c <= "z") || (c >= "A" && c <= "Z") || (c >= "0" && c <= "9") || c === "_";
+/** The word being typed, and the punctuation that introduced it. */
+function wordBefore(line, character) {
+    const end = Math.min(character, line.length);
+    let start = end;
+    while (start > 0 && isIdentifier(line[start - 1]))
+        start--;
+    let before = start;
+    while (before > 0 && (line[before - 1] === " " || line[before - 1] === "\t"))
+        before--;
+    return { word: line.slice(start, end), trigger: before > 0 ? line[before - 1] : "" };
+}
+const lines = (text) => text.split("\n").map((l) => (l.endsWith("\r") ? l.slice(0, -1) : l));
+export class RayfoldLanguageServer {
+    send;
+    onExit;
+    documents = new Map();
+    /** [onExit] runs when the editor sends `exit`, so whatever hosts the server can stop with it. */
+    constructor(send, onExit) {
+        this.send = send;
+        this.onExit = onExit;
+    }
+    /** One message from the editor. Responses and notifications go back through the send given to the constructor. */
+    receive(message) {
+        const id = message.id;
+        switch (message.method) {
+            case "initialize":
+                return this.reply(id, { capabilities: CAPABILITIES, serverInfo: { name: "rayfold", version: "0.1" } });
+            case "initialized":
+            case "$/cancelRequest":
+                return;
+            case "exit":
+                this.onExit?.();
+                return;
+            case "shutdown":
+                return this.reply(id, null);
+            case "textDocument/didOpen": {
+                const p = params(message);
+                this.documents.set(p.textDocument.uri, p.textDocument.text);
+                return this.publish(p.textDocument.uri);
+            }
+            case "textDocument/didChange": {
+                const p = params(message);
+                const last = p.contentChanges[p.contentChanges.length - 1];
+                if (!last)
+                    return;
+                this.documents.set(p.textDocument.uri, last.text);
+                return this.publish(p.textDocument.uri);
+            }
+            case "textDocument/didClose": {
+                const p = params(message);
+                this.documents.delete(p.textDocument.uri);
+                this.send({ jsonrpc: "2.0", method: "textDocument/publishDiagnostics", params: { uri: p.textDocument.uri, diagnostics: [] } });
+                return;
+            }
+            case "textDocument/completion": {
+                const p = params(message);
+                return this.reply(id, this.completion(p.textDocument.uri, p.position));
+            }
+            case "textDocument/hover": {
+                const p = params(message);
+                return this.reply(id, this.hover(p.textDocument.uri, p.position));
+            }
+            case "textDocument/definition": {
+                const p = params(message);
+                return this.reply(id, this.definition(p.textDocument.uri, p.position));
+            }
+            case "textDocument/documentSymbol": {
+                const p = params(message);
+                return this.reply(id, this.symbols(p.textDocument.uri));
+            }
+            default:
+                // a notification we do not know is ignored; a request always gets an answer
+                if (id !== undefined && id !== null) {
+                    this.send({ jsonrpc: "2.0", id, error: { code: -32601, message: `Method not found: ${String(message.method)}` } });
+                }
+        }
+    }
+    /** The text the editor last sent for [uri], for a caller that keeps its own view of the workspace. */
+    document(uri) {
+        return this.documents.get(uri);
+    }
+    reply(id, result) {
+        if (id === undefined || id === null)
+            return;
+        this.send({ jsonrpc: "2.0", id, result });
+    }
+    publish(uri) {
+        const text = this.documents.get(uri) ?? "";
+        this.send({ jsonrpc: "2.0", method: "textDocument/publishDiagnostics", params: { uri, diagnostics: diagnosticsFor(text) } });
+    }
+    completion(uri, position) {
+        const text = this.documents.get(uri);
+        if (text === undefined)
+            return [];
+        const line = lines(text)[position.line] ?? "";
+        const { trigger } = wordBefore(line, position.character);
+        const index = indexDocument(text);
+        if (trigger === "@") {
+            return Object.entries(KNOWN_ANNOTATIONS).map(([name, on]) => ({
+                label: name,
+                kind: COMPLETION.property,
+                detail: `@${name}`,
+                documentation: `Allowed on: ${[...on].join(", ")}.`,
+            }));
+        }
+        const types = index.declarations
+            .filter((d) => d.kind === "type")
+            .map((d) => ({ label: d.name, kind: COMPLETION.class, detail: d.keyword }));
+        if (trigger === ":" || trigger === "<" || trigger === "|" || trigger === ",") {
+            const builtins = BUILTIN_SCALARS.map((name) => ({ label: name, kind: COMPLETION.value, detail: "scalar" }));
+            return [...types, ...builtins];
+        }
+        const keywords = DEF_KEYWORDS.map((word) => ({ label: word, kind: COMPLETION.keyword, detail: "declaration" }));
+        return [...keywords, ...types];
+    }
+    hover(uri, position) {
+        const text = this.documents.get(uri);
+        if (text === undefined)
+            return null;
+        const index = indexDocument(text);
+        const token = tokenAt(index, position);
+        const declaration = declarationAt(index, position) ?? (token?.kind === "name" ? index.byPath.get(token.value) : undefined);
+        if (!declaration)
+            return null;
+        const ir = irOf(text);
+        const body = [];
+        if (declaration.kind === "op") {
+            const op = ir?.ops[declaration.name];
+            const signature = op
+                ? `${op.kind} ${op.name}(${op.args.map((a) => `${a.name}: ${typeRefToString(a.type)}`).join(", ")}): ${typeRefToString(op.returns)}`
+                : `${declaration.keyword} ${declaration.name}`;
+            body.push(code(signature));
+            if (op?.description)
+                body.push(op.description);
+            if (op?.throws.length)
+                body.push(`Fails with: ${op.throws.join(", ")}.`);
+            if (op?.emits.length)
+                body.push(`Emits: ${op.emits.join(", ")}.`);
+        }
+        else if (declaration.kind === "field" || declaration.kind === "enumValue") {
+            const owner = declaration.container ? ir?.types[declaration.container] : undefined;
+            const field = owner && "fields" in owner ? owner.fields.find((f) => f.name === declaration.name) : undefined;
+            body.push(code(field ? `${declaration.path}: ${typeRefToString(field.type)}` : declaration.path));
+            if (field?.description)
+                body.push(field.description);
+            const annotations = field?.annotations.map((a) => `@${a.name}`) ?? [];
+            if (annotations.length)
+                body.push(annotations.join(" "));
+        }
+        else {
+            const type = ir?.types[declaration.name];
+            body.push(code(`${declaration.keyword} ${declaration.name}`));
+            if (type?.description)
+                body.push(type.description);
+            const annotations = type?.annotations.map((a) => `@${a.name}`) ?? [];
+            if (annotations.length)
+                body.push(annotations.join(" "));
+        }
+        return { contents: { kind: "markdown", value: body.join("\n\n") }, range: declaration.range };
+    }
+    definition(uri, position) {
+        const text = this.documents.get(uri);
+        if (text === undefined)
+            return null;
+        const index = indexDocument(text);
+        const token = tokenAt(index, position);
+        if (!token || token.kind !== "name")
+            return null;
+        const declaration = index.byPath.get(token.value) ?? declarationAt(index, position);
+        return declaration ? { uri, range: declaration.range } : null;
+    }
+    symbols(uri) {
+        const text = this.documents.get(uri);
+        if (text === undefined)
+            return [];
+        const index = indexDocument(text);
+        const children = new Map();
+        for (const d of index.declarations) {
+            if (!d.container)
+                continue;
+            const kind = d.kind === "enumValue" ? SYMBOL.enumMember : d.kind === "view" ? SYMBOL.property : SYMBOL.field;
+            const list = children.get(d.container) ?? [];
+            list.push({ name: d.name, detail: d.keyword, kind, range: d.full, selectionRange: d.range });
+            children.set(d.container, list);
+        }
+        return index.declarations
+            .filter((d) => !d.container)
+            .map((d) => ({
+            name: d.name,
+            detail: d.keyword,
+            kind: d.kind === "op" ? SYMBOL.function : SYMBOL.struct,
+            range: d.full,
+            selectionRange: d.range,
+            children: children.get(d.name) ?? [],
+        }));
+    }
+}
+const params = (message) => (message.params ?? {});
+const code = (text) => ["```rayfold", text, "```"].join("\n");
+function irOf(text) {
+    try {
+        return parseSchemaText(text);
+    }
+    catch {
+        return undefined;
+    }
+}
+/** What the editor underlines: the syntax error, or every finding validation reports, placed in the text. */
+export function diagnosticsFor(text) {
+    let ir;
+    try {
+        ir = parseSchemaText(text);
+    }
+    catch (e) {
+        const start = e instanceof RayfoldSyntaxError ? { line: Math.max(0, e.line - 1), character: Math.max(0, e.col - 1) } : { line: 0, character: 0 };
+        return [{ range: { start, end: start }, severity: ERROR, source: "rayfold", message: e.message }];
+    }
+    const index = indexDocument(text);
+    return validateIR(ir).map((d) => ({
+        range: rangeForPath(index, d.at),
+        severity: d.severity === "error" ? ERROR : WARNING,
+        code: d.code,
+        source: "rayfold",
+        message: d.message,
+    }));
+}
+/**
+ * The server over a stream pair, framed as the protocol asks (`Content-Length`, then the JSON). `rayfold lsp` runs
+ * this on the process's own stdin and stdout.
+ */
+export function serveStdio(input, output, options = {}) {
+    const server = new RayfoldLanguageServer((message) => {
+        const body = Buffer.from(JSON.stringify(message), "utf8");
+        output.write(`Content-Length: ${body.length}\r\n\r\n`);
+        output.write(body);
+    }, options.onExit);
+    let buffer = Buffer.alloc(0);
+    input.on("data", (chunk) => {
+        buffer = Buffer.concat([buffer, typeof chunk === "string" ? Buffer.from(chunk, "utf8") : chunk]);
+        for (;;) {
+            const headerEnd = buffer.indexOf("\r\n\r\n");
+            if (headerEnd < 0)
+                return;
+            const header = buffer.subarray(0, headerEnd).toString("utf8");
+            const length = contentLength(header);
+            if (length === undefined) {
+                buffer = buffer.subarray(headerEnd + 4); // a header we cannot read: drop it rather than stall the stream
+                continue;
+            }
+            const start = headerEnd + 4;
+            if (buffer.length < start + length)
+                return;
+            const body = buffer.subarray(start, start + length).toString("utf8");
+            buffer = buffer.subarray(start + length);
+            let message;
+            try {
+                message = JSON.parse(body);
+            }
+            catch {
+                continue; // not our message to answer: there is no id to answer it with
+            }
+            server.receive(message);
+        }
+    });
+    input.on("end", () => options.onExit?.()); // the editor closed the pipe: there is nothing left to serve
+    return server;
+}
+function contentLength(header) {
+    for (const line of header.split("\r\n")) {
+        const colon = line.indexOf(":");
+        if (colon < 0)
+            continue;
+        if (line.slice(0, colon).trim().toLowerCase() !== "content-length")
+            continue;
+        const value = Number(line.slice(colon + 1).trim());
+        if (Number.isInteger(value) && value >= 0)
+            return value;
+    }
+    return undefined;
+}
+//# sourceMappingURL=index.js.map

package/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,UAAU,GAEX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,OAAO,EAA6B,MAAM,gBAAgB,CAAC;AAE9H,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,OAAO,EAAmE,MAAM,gBAAgB,CAAC;AAWtJ,2CAA2C;AAC3C,MAAM,KAAK,GAAG,CAAC,CAAC;AAChB,MAAM,OAAO,GAAG,CAAC,CAAC;AAElB,6CAA6C;AAC7C,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAW,CAAC;AAE5F,qDAAqD;AACrD,MAAM,UAAU,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAW,CAAC;AAE/E,MAAM,YAAY,GAAG;IACnB,gBAAgB,EAAE,CAAC,EAAE,0FAA0F;IAC/G,kBAAkB,EAAE,EAAE,iBAAiB,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE;IAC/D,aAAa,EAAE,IAAI;IACnB,kBAAkB,EAAE,IAAI;IACxB,sBAAsB,EAAE,IAAI;CAC7B,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC;AAErI,oEAAoE;AACpE,SAAS,UAAU,CAAC,IAAY,EAAE,SAAiB;IACjD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,KAAK,GAAG,GAAG,CAAC;IAChB,OAAO,KAAK,GAAG,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC;QAAE,KAAK,EAAE,CAAC;IAC5D,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,OAAO,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC;QAAE,MAAM,EAAE,CAAC;IACvF,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AACxF,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,IAAY,EAAY,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE/G,MAAM,OAAO,qBAAqB;IAKb,IAAI;IACJ,MAAM;IALR,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEvD,iGAAiG;IACjG,YACmB,IAAU,EACV,MAAmB;oBADnB,IAAI;sBACJ,MAAM;IACtB,CAAC;IAEJ,kHAAkH;IAClH,OAAO,CAAC,OAAwB;QAC9B,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;QACtB,QAAQ,OAAO,CAAC,MAAM,EAAE,CAAC;YACvB,KAAK,YAAY;gBACf,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACzG,KAAK,aAAa,CAAC;YACnB,KAAK,iBAAiB;gBACpB,OAAO;YACT,KAAK,MAAM;gBACT,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;gBAChB,OAAO;YACT,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC9B,KAAK,sBAAsB,EAAE,CAAC;gBAC5B,MAAM,CAAC,GAAG,MAAM,CAAkD,OAAO,CAAC,CAAC;gBAC3E,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBAC5D,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YAC1C,CAAC;YACD,KAAK,wBAAwB,EAAE,CAAC;gBAC9B,MAAM,CAAC,GAAG,MAAM,CAA6E,OAAO,CAAC,CAAC;gBACtG,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC3D,IAAI,CAAC,IAAI;oBAAE,OAAO;gBAClB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClD,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YAC1C,CAAC;YACD,KAAK,uBAAuB,EAAE,CAAC;gBAC7B,MAAM,CAAC,GAAG,MAAM,CAAoC,OAAO,CAAC,CAAC;gBAC7D,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;gBAC1C,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,iCAAiC,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC/H,OAAO;YACT,CAAC;YACD,KAAK,yBAAyB,EAAE,CAAC;gBAC/B,MAAM,CAAC,GAAG,MAAM,CAAuB,OAAO,CAAC,CAAC;gBAChD,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzE,CAAC;YACD,KAAK,oBAAoB,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,MAAM,CAAuB,OAAO,CAAC,CAAC;gBAChD,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACpE,CAAC;YACD,KAAK,yBAAyB,EAAE,CAAC;gBAC/B,MAAM,CAAC,GAAG,MAAM,CAAuB,OAAO,CAAC,CAAC;gBAChD,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACzE,CAAC;YACD,KAAK,6BAA6B,EAAE,CAAC;gBACnC,MAAM,CAAC,GAAG,MAAM,CAAoC,OAAO,CAAC,CAAC;gBAC7D,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1D,CAAC;YACD;gBACE,4EAA4E;gBAC5E,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;oBACpC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,qBAAqB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;gBACrH,CAAC;QACL,CAAC;IACH,CAAC;IAED,sGAAsG;IACtG,QAAQ,CAAC,GAAW;QAClB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC;IAEO,KAAK,CAAC,EAAsC,EAAE,MAAe;QACnE,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,IAAI;YAAE,OAAO;QAC5C,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IAC5C,CAAC;IAEO,OAAO,CAAC,GAAW;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,iCAAiC,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/H,CAAC;IAEO,UAAU,CAAC,GAAW,EAAE,QAAkB;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9C,MAAM,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAElC,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;YACpB,OAAO,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC5D,KAAK,EAAE,IAAI;gBACX,IAAI,EAAE,UAAU,CAAC,QAAQ;gBACzB,MAAM,EAAE,IAAI,IAAI,EAAE;gBAClB,aAAa,EAAE,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;aACpD,CAAC,CAAC,CAAC;QACN,CAAC;QAED,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY;aAC7B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;aAChC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAE9E,IAAI,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,GAAG,EAAE,CAAC;YAC7E,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;YAC5G,OAAO,CAAC,GAAG,KAAK,EAAE,GAAG,QAAQ,CAAC,CAAC;QACjC,CAAC;QAED,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;QAChH,OAAO,CAAC,GAAG,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC;IACjC,CAAC;IAEO,KAAK,CAAC,GAAW,EAAE,QAAkB;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACpC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACvC,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC3H,IAAI,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC;QAE9B,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,IAAI,WAAW,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC9B,MAAM,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACrC,MAAM,SAAS,GAAG,EAAE;gBAClB,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,eAAe,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE;gBACpI,CAAC,CAAC,GAAG,WAAW,CAAC,OAAO,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC;YACjD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YAC3B,IAAI,EAAE,EAAE,WAAW;gBAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;YAC/C,IAAI,EAAE,EAAE,MAAM,CAAC,MAAM;gBAAE,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACzE,IAAI,EAAE,EAAE,KAAK,CAAC,MAAM;gBAAE,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpE,CAAC;aAAM,IAAI,WAAW,CAAC,IAAI,KAAK,OAAO,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC5E,MAAM,KAAK,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACnF,MAAM,KAAK,GAAG,KAAK,IAAI,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC7G,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,KAAK,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;YAClG,IAAI,KAAK,EAAE,WAAW;gBAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YACrD,MAAM,WAAW,GAAG,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;YACtE,IAAI,WAAW,CAAC,MAAM;gBAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3D,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,EAAE,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,OAAO,IAAI,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAC9D,IAAI,IAAI,EAAE,WAAW;gBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACnD,MAAM,WAAW,GAAG,IAAI,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;YACrE,IAAI,WAAW,CAAC,MAAM;gBAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3D,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC;IAChG,CAAC;IAEO,UAAU,CAAC,GAAW,EAAE,QAAkB;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACpC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC;QACjD,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACpF,OAAO,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAChE,CAAC;IAEO,OAAO,CAAC,GAAW;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAqB,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;YACnC,IAAI,CAAC,CAAC,CAAC,SAAS;gBAAE,SAAS;YAC3B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;YAC7G,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YAC7C,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAC7F,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,KAAK,CAAC,YAAY;aACtB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;aAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,MAAM,EAAE,CAAC,CAAC,OAAO;YACjB,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM;YACvD,KAAK,EAAE,CAAC,CAAC,IAAI;YACb,cAAc,EAAE,CAAC,CAAC,KAAK;YACvB,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE;SACrC,CAAC,CAAC,CAAC;IACR,CAAC;CACF;AAOD,MAAM,MAAM,GAAG,CAAI,OAAwB,EAAK,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAM,CAAC;AAE/E,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAE9E,SAAS,IAAI,CAAC,IAAY;IACxB,IAAI,CAAC;QACH,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,6GAA6G;AAC7G,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,IAAI,EAAmB,CAAC;IACxB,IAAI,CAAC;QACH,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,KAAK,GACT,CAAC,YAAY,kBAAkB,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;QACrI,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAG,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/G,CAAC;IACD,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAClC,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChC,KAAK,EAAE,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;QAChC,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO;QAClD,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,MAAM,EAAE,SAAS;QACjB,OAAO,EAAE,CAAC,CAAC,OAAO;KACnB,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CACxB,KAA4B,EAC5B,MAA6B,EAC7B,OAAO,GAA4B,EAAE;IAErC,MAAM,MAAM,GAAG,IAAI,qBAAqB,CAAC,CAAC,OAAO,EAAE,EAAE;QACnD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,mBAAmB,IAAI,CAAC,MAAM,UAAU,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAEnB,IAAI,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7B,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAsB,EAAE,EAAE;QAC1C,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACjG,SAAS,CAAC;YACR,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAC7C,IAAI,SAAS,GAAG,CAAC;gBAAE,OAAO;YAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC9D,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;YACrC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,gEAAgE;gBACzG,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAAG,SAAS,GAAG,CAAC,CAAC;YAC5B,IAAI,MAAM,CAAC,MAAM,GAAG,KAAK,GAAG,MAAM;gBAAE,OAAO;YAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACrE,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC;YACzC,IAAI,OAAwB,CAAC;YAC7B,IAAI,CAAC;gBACH,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAoB,CAAC;YAChD,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS,CAAC,8DAA8D;YAC1E,CAAC;YACD,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC,CAAC,CAAC;IACH,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,6DAA6D;IACxG,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CAAC,MAAc;IACnC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,KAAK,GAAG,CAAC;YAAE,SAAS;QACxB,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,gBAAgB;YAAE,SAAS;QAC7E,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACnD,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;IAC1D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC","sourcesContent":["/**\n * A language server for `.rayfold` documents: diagnostics as you type, completion for keywords, annotations and type\n * names, hover, go to definition, and an outline.\n *\n * The protocol handling is transport-free. [RayfoldLanguageServer] takes the messages an editor sends and calls back\n * with the messages to send, so the same object serves over stdio (`rayfold lsp`) or any other channel, and a test\n * can drive it without a process.\n */\nimport {\n  BUILTIN_SCALARS,\n  KNOWN_ANNOTATIONS,\n  RayfoldSyntaxError,\n  parseSchemaText,\n  typeRefToString,\n  validateIR,\n  type RayfoldSchemaIR,\n} from \"@rayfold/schema\";\nimport { DEF_KEYWORDS, declarationAt, indexDocument, rangeForPath, tokenAt, type Position, type Range } from \"./positions.ts\";\n\nexport { declarationAt, indexDocument, rangeForPath, tokenAt, type Declaration, type DocumentIndex, type Position, type Range } from \"./positions.ts\";\n\nexport interface IncomingMessage {\n  jsonrpc?: string;\n  id?: number | string | null;\n  method?: string;\n  params?: unknown;\n}\n\nexport type Send = (message: Record<string, unknown>) => void;\n\n/** Severity as the protocol numbers it. */\nconst ERROR = 1;\nconst WARNING = 2;\n\n/** SymbolKind as the protocol numbers it. */\nconst SYMBOL = { field: 8, function: 12, property: 7, enumMember: 22, struct: 23 } as const;\n\n/** CompletionItemKind as the protocol numbers it. */\nconst COMPLETION = { keyword: 14, class: 7, property: 10, value: 12 } as const;\n\nconst CAPABILITIES = {\n  textDocumentSync: 1, // full text on every change: a schema is small, and a full parse is what validation needs\n  completionProvider: { triggerCharacters: [\"@\", \":\", \"<\", \"|\"] },\n  hoverProvider: true,\n  definitionProvider: true,\n  documentSymbolProvider: true,\n};\n\nconst isIdentifier = (c: string): boolean => (c >= \"a\" && c <= \"z\") || (c >= \"A\" && c <= \"Z\") || (c >= \"0\" && c <= \"9\") || c === \"_\";\n\n/** The word being typed, and the punctuation that introduced it. */\nfunction wordBefore(line: string, character: number): { word: string; trigger: string } {\n  const end = Math.min(character, line.length);\n  let start = end;\n  while (start > 0 && isIdentifier(line[start - 1]!)) start--;\n  let before = start;\n  while (before > 0 && (line[before - 1] === \" \" || line[before - 1] === \"\\t\")) before--;\n  return { word: line.slice(start, end), trigger: before > 0 ? line[before - 1]! : \"\" };\n}\n\nconst lines = (text: string): string[] => text.split(\"\\n\").map((l) => (l.endsWith(\"\\r\") ? l.slice(0, -1) : l));\n\nexport class RayfoldLanguageServer {\n  private readonly documents = new Map<string, string>();\n\n  /** [onExit] runs when the editor sends `exit`, so whatever hosts the server can stop with it. */\n  constructor(\n    private readonly send: Send,\n    private readonly onExit?: () => void,\n  ) {}\n\n  /** One message from the editor. Responses and notifications go back through the send given to the constructor. */\n  receive(message: IncomingMessage): void {\n    const id = message.id;\n    switch (message.method) {\n      case \"initialize\":\n        return this.reply(id, { capabilities: CAPABILITIES, serverInfo: { name: \"rayfold\", version: \"0.1\" } });\n      case \"initialized\":\n      case \"$/cancelRequest\":\n        return;\n      case \"exit\":\n        this.onExit?.();\n        return;\n      case \"shutdown\":\n        return this.reply(id, null);\n      case \"textDocument/didOpen\": {\n        const p = params<{ textDocument: { uri: string; text: string } }>(message);\n        this.documents.set(p.textDocument.uri, p.textDocument.text);\n        return this.publish(p.textDocument.uri);\n      }\n      case \"textDocument/didChange\": {\n        const p = params<{ textDocument: { uri: string }; contentChanges: Array<{ text: string }> }>(message);\n        const last = p.contentChanges[p.contentChanges.length - 1];\n        if (!last) return;\n        this.documents.set(p.textDocument.uri, last.text);\n        return this.publish(p.textDocument.uri);\n      }\n      case \"textDocument/didClose\": {\n        const p = params<{ textDocument: { uri: string } }>(message);\n        this.documents.delete(p.textDocument.uri);\n        this.send({ jsonrpc: \"2.0\", method: \"textDocument/publishDiagnostics\", params: { uri: p.textDocument.uri, diagnostics: [] } });\n        return;\n      }\n      case \"textDocument/completion\": {\n        const p = params<TextDocumentPosition>(message);\n        return this.reply(id, this.completion(p.textDocument.uri, p.position));\n      }\n      case \"textDocument/hover\": {\n        const p = params<TextDocumentPosition>(message);\n        return this.reply(id, this.hover(p.textDocument.uri, p.position));\n      }\n      case \"textDocument/definition\": {\n        const p = params<TextDocumentPosition>(message);\n        return this.reply(id, this.definition(p.textDocument.uri, p.position));\n      }\n      case \"textDocument/documentSymbol\": {\n        const p = params<{ textDocument: { uri: string } }>(message);\n        return this.reply(id, this.symbols(p.textDocument.uri));\n      }\n      default:\n        // a notification we do not know is ignored; a request always gets an answer\n        if (id !== undefined && id !== null) {\n          this.send({ jsonrpc: \"2.0\", id, error: { code: -32601, message: `Method not found: ${String(message.method)}` } });\n        }\n    }\n  }\n\n  /** The text the editor last sent for [uri], for a caller that keeps its own view of the workspace. */\n  document(uri: string): string | undefined {\n    return this.documents.get(uri);\n  }\n\n  private reply(id: number | string | null | undefined, result: unknown): void {\n    if (id === undefined || id === null) return;\n    this.send({ jsonrpc: \"2.0\", id, result });\n  }\n\n  private publish(uri: string): void {\n    const text = this.documents.get(uri) ?? \"\";\n    this.send({ jsonrpc: \"2.0\", method: \"textDocument/publishDiagnostics\", params: { uri, diagnostics: diagnosticsFor(text) } });\n  }\n\n  private completion(uri: string, position: Position): unknown[] {\n    const text = this.documents.get(uri);\n    if (text === undefined) return [];\n    const line = lines(text)[position.line] ?? \"\";\n    const { trigger } = wordBefore(line, position.character);\n    const index = indexDocument(text);\n\n    if (trigger === \"@\") {\n      return Object.entries(KNOWN_ANNOTATIONS).map(([name, on]) => ({\n        label: name,\n        kind: COMPLETION.property,\n        detail: `@${name}`,\n        documentation: `Allowed on: ${[...on].join(\", \")}.`,\n      }));\n    }\n\n    const types = index.declarations\n      .filter((d) => d.kind === \"type\")\n      .map((d) => ({ label: d.name, kind: COMPLETION.class, detail: d.keyword }));\n\n    if (trigger === \":\" || trigger === \"<\" || trigger === \"|\" || trigger === \",\") {\n      const builtins = BUILTIN_SCALARS.map((name) => ({ label: name, kind: COMPLETION.value, detail: \"scalar\" }));\n      return [...types, ...builtins];\n    }\n\n    const keywords = DEF_KEYWORDS.map((word) => ({ label: word, kind: COMPLETION.keyword, detail: \"declaration\" }));\n    return [...keywords, ...types];\n  }\n\n  private hover(uri: string, position: Position): unknown {\n    const text = this.documents.get(uri);\n    if (text === undefined) return null;\n    const index = indexDocument(text);\n    const token = tokenAt(index, position);\n    const declaration = declarationAt(index, position) ?? (token?.kind === \"name\" ? index.byPath.get(token.value) : undefined);\n    if (!declaration) return null;\n\n    const ir = irOf(text);\n    const body: string[] = [];\n    if (declaration.kind === \"op\") {\n      const op = ir?.ops[declaration.name];\n      const signature = op\n        ? `${op.kind} ${op.name}(${op.args.map((a) => `${a.name}: ${typeRefToString(a.type)}`).join(\", \")}): ${typeRefToString(op.returns)}`\n        : `${declaration.keyword} ${declaration.name}`;\n      body.push(code(signature));\n      if (op?.description) body.push(op.description);\n      if (op?.throws.length) body.push(`Fails with: ${op.throws.join(\", \")}.`);\n      if (op?.emits.length) body.push(`Emits: ${op.emits.join(\", \")}.`);\n    } else if (declaration.kind === \"field\" || declaration.kind === \"enumValue\") {\n      const owner = declaration.container ? ir?.types[declaration.container] : undefined;\n      const field = owner && \"fields\" in owner ? owner.fields.find((f) => f.name === declaration.name) : undefined;\n      body.push(code(field ? `${declaration.path}: ${typeRefToString(field.type)}` : declaration.path));\n      if (field?.description) body.push(field.description);\n      const annotations = field?.annotations.map((a) => `@${a.name}`) ?? [];\n      if (annotations.length) body.push(annotations.join(\" \"));\n    } else {\n      const type = ir?.types[declaration.name];\n      body.push(code(`${declaration.keyword} ${declaration.name}`));\n      if (type?.description) body.push(type.description);\n      const annotations = type?.annotations.map((a) => `@${a.name}`) ?? [];\n      if (annotations.length) body.push(annotations.join(\" \"));\n    }\n    return { contents: { kind: \"markdown\", value: body.join(\"\\n\\n\") }, range: declaration.range };\n  }\n\n  private definition(uri: string, position: Position): unknown {\n    const text = this.documents.get(uri);\n    if (text === undefined) return null;\n    const index = indexDocument(text);\n    const token = tokenAt(index, position);\n    if (!token || token.kind !== \"name\") return null;\n    const declaration = index.byPath.get(token.value) ?? declarationAt(index, position);\n    return declaration ? { uri, range: declaration.range } : null;\n  }\n\n  private symbols(uri: string): unknown[] {\n    const text = this.documents.get(uri);\n    if (text === undefined) return [];\n    const index = indexDocument(text);\n    const children = new Map<string, unknown[]>();\n    for (const d of index.declarations) {\n      if (!d.container) continue;\n      const kind = d.kind === \"enumValue\" ? SYMBOL.enumMember : d.kind === \"view\" ? SYMBOL.property : SYMBOL.field;\n      const list = children.get(d.container) ?? [];\n      list.push({ name: d.name, detail: d.keyword, kind, range: d.full, selectionRange: d.range });\n      children.set(d.container, list);\n    }\n    return index.declarations\n      .filter((d) => !d.container)\n      .map((d) => ({\n        name: d.name,\n        detail: d.keyword,\n        kind: d.kind === \"op\" ? SYMBOL.function : SYMBOL.struct,\n        range: d.full,\n        selectionRange: d.range,\n        children: children.get(d.name) ?? [],\n      }));\n  }\n}\n\ninterface TextDocumentPosition {\n  textDocument: { uri: string };\n  position: Position;\n}\n\nconst params = <T>(message: IncomingMessage): T => (message.params ?? {}) as T;\n\nconst code = (text: string): string => [\"```rayfold\", text, \"```\"].join(\"\\n\");\n\nfunction irOf(text: string): RayfoldSchemaIR | undefined {\n  try {\n    return parseSchemaText(text);\n  } catch {\n    return undefined;\n  }\n}\n\n/** What the editor underlines: the syntax error, or every finding validation reports, placed in the text. */\nexport function diagnosticsFor(text: string): Array<{ range: Range; severity: number; code?: string; source: string; message: string }> {\n  let ir: RayfoldSchemaIR;\n  try {\n    ir = parseSchemaText(text);\n  } catch (e) {\n    const start: Position =\n      e instanceof RayfoldSyntaxError ? { line: Math.max(0, e.line - 1), character: Math.max(0, e.col - 1) } : { line: 0, character: 0 };\n    return [{ range: { start, end: start }, severity: ERROR, source: \"rayfold\", message: (e as Error).message }];\n  }\n  const index = indexDocument(text);\n  return validateIR(ir).map((d) => ({\n    range: rangeForPath(index, d.at),\n    severity: d.severity === \"error\" ? ERROR : WARNING,\n    code: d.code,\n    source: \"rayfold\",\n    message: d.message,\n  }));\n}\n\n/**\n * The server over a stream pair, framed as the protocol asks (`Content-Length`, then the JSON). `rayfold lsp` runs\n * this on the process's own stdin and stdout.\n */\nexport function serveStdio(\n  input: NodeJS.ReadableStream,\n  output: NodeJS.WritableStream,\n  options: { onExit?: () => void } = {},\n): RayfoldLanguageServer {\n  const server = new RayfoldLanguageServer((message) => {\n    const body = Buffer.from(JSON.stringify(message), \"utf8\");\n    output.write(`Content-Length: ${body.length}\\r\\n\\r\\n`);\n    output.write(body);\n  }, options.onExit);\n\n  let buffer = Buffer.alloc(0);\n  input.on(\"data\", (chunk: Buffer | string) => {\n    buffer = Buffer.concat([buffer, typeof chunk === \"string\" ? Buffer.from(chunk, \"utf8\") : chunk]);\n    for (;;) {\n      const headerEnd = buffer.indexOf(\"\\r\\n\\r\\n\");\n      if (headerEnd < 0) return;\n      const header = buffer.subarray(0, headerEnd).toString(\"utf8\");\n      const length = contentLength(header);\n      if (length === undefined) {\n        buffer = buffer.subarray(headerEnd + 4); // a header we cannot read: drop it rather than stall the stream\n        continue;\n      }\n      const start = headerEnd + 4;\n      if (buffer.length < start + length) return;\n      const body = buffer.subarray(start, start + length).toString(\"utf8\");\n      buffer = buffer.subarray(start + length);\n      let message: IncomingMessage;\n      try {\n        message = JSON.parse(body) as IncomingMessage;\n      } catch {\n        continue; // not our message to answer: there is no id to answer it with\n      }\n      server.receive(message);\n    }\n  });\n  input.on(\"end\", () => options.onExit?.()); // the editor closed the pipe: there is nothing left to serve\n  return server;\n}\n\nfunction contentLength(header: string): number | undefined {\n  for (const line of header.split(\"\\r\\n\")) {\n    const colon = line.indexOf(\":\");\n    if (colon < 0) continue;\n    if (line.slice(0, colon).trim().toLowerCase() !== \"content-length\") continue;\n    const value = Number(line.slice(colon + 1).trim());\n    if (Number.isInteger(value) && value >= 0) return value;\n  }\n  return undefined;\n}\n"]}

package/package.json

@@ -0,0 +1,42 @@
+{
+  "name": "@rayfold/lsp",
+  "version": "0.1.0",
+  "description": "A language server for .rayfold schemas: diagnostics, completion, hover, go to definition and an outline, over stdio.",
+  "keywords": [
+    "rayfold",
+    "api",
+    "protocol",
+    "lsp",
+    "language-server",
+    "editor"
+  ],
+  "license": "Apache-2.0",
+  "homepage": "https://eddyboutros.github.io/rayfold/",
+  "bugs": {
+    "url": "https://github.com/eddyboutros/rayfold/issues"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/eddyboutros/rayfold.git",
+    "directory": "packages/lsp"
+  },
+  "type": "module",
+  "sideEffects": false,
+  "engines": {
+    "node": ">=22"
+  },
+  "main": "./index.js",
+  "types": "./index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./index.d.ts",
+      "default": "./index.js"
+    }
+  },
+  "dependencies": {
+    "@rayfold/schema": "^0.1.0"
+  },
+  "publishConfig": {
+    "access": "public"
+  }
+}

package/positions.d.ts

@@ -0,0 +1,52 @@
+/**
+ * Where each declaration sits in a `.rayfold` document.
+ *
+ * The IR carries no source positions, and `validateIR` reports its findings against paths ("Book.price", "books()").
+ * This walks the same token stream the parser reads and records a range for every declaration, so a diagnostic, a
+ * hover or a go-to-definition can be answered in the text the author is looking at.
+ */
+import { type Token } from "@rayfold/schema";
+/** LSP positions are zero-based; the lexer's are one-based. */
+export interface Position {
+    line: number;
+    character: number;
+}
+export interface Range {
+    start: Position;
+    end: Position;
+}
+export type DeclarationKind = "type" | "field" | "op" | "enumValue" | "view";
+export interface Declaration {
+    /** "Book", "Book.title", "books" - the path `validateIR` reports against, without the trailing (). */
+    path: string;
+    name: string;
+    kind: DeclarationKind;
+    /** what the source calls it: entity, object, query, command, ... */
+    keyword: string;
+    container?: string;
+    /** the identifier itself, for a selection or a jump */
+    range: Range;
+    /** the whole declaration, for an outline */
+    full: Range;
+}
+export interface DocumentIndex {
+    tokens: Token[];
+    declarations: Declaration[];
+    byPath: Map<string, Declaration>;
+}
+export declare const TYPE_KEYWORDS: readonly ["entity", "object", "input", "enum", "union", "scalar", "error", "event"];
+export declare const OP_KEYWORDS: readonly ["query", "command", "stream"];
+export declare const DEF_KEYWORDS: readonly ["entity", "object", "input", "enum", "union", "scalar", "error", "event", "query", "command", "stream", "view"];
+/** True when [position] falls inside [range], counting both ends so a cursor at either edge of a word still hits it. */
+export declare function contains(range: Range, position: Position): boolean;
+/**
+ * Every declaration in [text]. A document that cannot be tokenized at all (an unterminated string, say) indexes as
+ * empty: the syntax error is reported on its own, and half a token stream would only misplace things.
+ */
+export declare function indexDocument(text: string): DocumentIndex;
+/** The declaration whose identifier is under [position]. */
+export declare function declarationAt(index: DocumentIndex, position: Position): Declaration | undefined;
+/** The token under [position], which is what a hover or a completion is about. */
+export declare function tokenAt(index: DocumentIndex, position: Position): Token | undefined;
+/** Where a `validateIR` diagnostic belongs in the text; the first line when the path names nothing we found. */
+export declare function rangeForPath(index: DocumentIndex, path: string): Range;

package/positions.js

@@ -0,0 +1,174 @@
+/**
+ * Where each declaration sits in a `.rayfold` document.
+ *
+ * The IR carries no source positions, and `validateIR` reports its findings against paths ("Book.price", "books()").
+ * This walks the same token stream the parser reads and records a range for every declaration, so a diagnostic, a
+ * hover or a go-to-definition can be answered in the text the author is looking at.
+ */
+import { tokenize } from "@rayfold/schema";
+export const TYPE_KEYWORDS = ["entity", "object", "input", "enum", "union", "scalar", "error", "event"];
+export const OP_KEYWORDS = ["query", "command", "stream"];
+export const DEF_KEYWORDS = [...TYPE_KEYWORDS, ...OP_KEYWORDS, "view"];
+const TYPES = new Set(TYPE_KEYWORDS);
+const OPS = new Set(OP_KEYWORDS);
+const DEFS = new Set(DEF_KEYWORDS);
+const startOf = (t) => ({ line: t.line - 1, character: t.col - 1 });
+const rangeOf = (t) => ({ start: startOf(t), end: { line: t.line - 1, character: t.col - 1 + t.value.length } });
+/** True when [position] falls inside [range], counting both ends so a cursor at either edge of a word still hits it. */
+export function contains(range, position) {
+    if (position.line < range.start.line || position.line > range.end.line)
+        return false;
+    if (position.line === range.start.line && position.character < range.start.character)
+        return false;
+    if (position.line === range.end.line && position.character > range.end.character)
+        return false;
+    return true;
+}
+/**
+ * Every declaration in [text]. A document that cannot be tokenized at all (an unterminated string, say) indexes as
+ * empty: the syntax error is reported on its own, and half a token stream would only misplace things.
+ */
+export function indexDocument(text) {
+    let tokens;
+    try {
+        tokens = tokenize(text);
+    }
+    catch {
+        tokens = [];
+    }
+    const declarations = [];
+    let depth = 0; // brace depth, counted only outside argument lists
+    let paren = 0;
+    let container; // the type whose body we are in
+    let pending; // a type declaration waiting for its body
+    let openOp; // an operation, which has no body to close it
+    let afterAt = false;
+    let previous;
+    const closeOp = (end) => {
+        if (openOp && end)
+            openOp.full = { start: openOp.full.start, end: rangeOf(end).end };
+        openOp = undefined;
+    };
+    for (let i = 0; i < tokens.length; i++) {
+        const t = tokens[i];
+        if (t.kind === "eof")
+            break;
+        const next = tokens[i + 1];
+        if (t.kind === "punct") {
+            if (t.value === "@") {
+                afterAt = true;
+                previous = t;
+                continue;
+            }
+            if (paren === 0 && t.value === "{") {
+                depth++;
+                if (depth === 1 && pending) {
+                    container = pending;
+                    pending = undefined;
+                }
+            }
+            else if (paren === 0 && t.value === "}") {
+                depth--;
+                if (depth <= 0) {
+                    depth = 0;
+                    if (container)
+                        container.full = { start: container.full.start, end: rangeOf(t).end };
+                    container = undefined;
+                }
+            }
+            else if (t.value === "(") {
+                paren++;
+            }
+            else if (t.value === ")") {
+                paren = Math.max(0, paren - 1);
+            }
+            afterAt = false;
+            previous = t;
+            continue;
+        }
+        if (afterAt) {
+            afterAt = false; // the annotation's own name, not a member
+            previous = t;
+            continue;
+        }
+        if (t.kind === "name" && depth === 0 && paren === 0 && DEFS.has(t.value)) {
+            closeOp(previous);
+            if (t.value === "view") {
+                const owner = next;
+                const dot = tokens[i + 2];
+                const member = tokens[i + 3];
+                if (owner?.kind === "name" && dot?.kind === "punct" && dot.value === "." && member?.kind === "name") {
+                    declarations.push({
+                        path: `${owner.value}.${member.value}`,
+                        name: member.value,
+                        kind: "view",
+                        keyword: "view",
+                        container: owner.value,
+                        range: rangeOf(member),
+                        full: { start: startOf(t), end: rangeOf(member).end },
+                    });
+                }
+                previous = t;
+                continue;
+            }
+            if (next?.kind === "name") {
+                const declaration = {
+                    path: next.value,
+                    name: next.value,
+                    kind: OPS.has(t.value) ? "op" : "type",
+                    keyword: t.value,
+                    range: rangeOf(next),
+                    full: { start: startOf(t), end: rangeOf(next).end },
+                };
+                declarations.push(declaration);
+                if (TYPES.has(t.value))
+                    pending = declaration;
+                else
+                    openOp = declaration;
+            }
+            previous = t;
+            continue;
+        }
+        if (t.kind === "name" && depth === 1 && paren === 0 && container) {
+            const member = next?.kind === "punct" && (next.value === ":" || next.value === "(");
+            if (member || container.keyword === "enum") {
+                declarations.push({
+                    path: `${container.name}.${t.value}`,
+                    name: t.value,
+                    kind: member ? "field" : "enumValue",
+                    keyword: member ? "field" : "value",
+                    container: container.name,
+                    range: rangeOf(t),
+                    full: rangeOf(t),
+                });
+            }
+        }
+        previous = t;
+    }
+    closeOp(previous);
+    const byPath = new Map();
+    for (const d of declarations)
+        if (!byPath.has(d.path))
+            byPath.set(d.path, d);
+    return { tokens, declarations, byPath };
+}
+/** The declaration whose identifier is under [position]. */
+export function declarationAt(index, position) {
+    return index.declarations.find((d) => contains(d.range, position));
+}
+/** The token under [position], which is what a hover or a completion is about. */
+export function tokenAt(index, position) {
+    return index.tokens.find((t) => t.kind !== "eof" && contains(rangeOf(t), position));
+}
+/** Where a `validateIR` diagnostic belongs in the text; the first line when the path names nothing we found. */
+export function rangeForPath(index, path) {
+    const declaration = index.byPath.get(path.endsWith("()") ? path.slice(0, -2) : path);
+    if (declaration)
+        return declaration.range;
+    const owner = path.split(".")[0];
+    const type = owner ? index.byPath.get(owner) : undefined;
+    if (type)
+        return type.range;
+    return { start: { line: 0, character: 0 }, end: { line: 0, character: 0 } };
+}
+//# sourceMappingURL=positions.js.map

package/positions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"positions.js","sourceRoot":"","sources":["../src/positions.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,QAAQ,EAAc,MAAM,iBAAiB,CAAC;AAmCvD,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAU,CAAC;AACjH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAU,CAAC;AACnE,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,GAAG,aAAa,EAAE,GAAG,WAAW,EAAE,MAAM,CAAU,CAAC;AAEhF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,aAAa,CAAC,CAAC;AAC7C,MAAM,GAAG,GAAG,IAAI,GAAG,CAAS,WAAW,CAAC,CAAC;AACzC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,YAAY,CAAC,CAAC;AAE3C,MAAM,OAAO,GAAG,CAAC,CAAQ,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;AACrF,MAAM,OAAO,GAAG,CAAC,CAAQ,EAAS,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAE/H,wHAAwH;AACxH,MAAM,UAAU,QAAQ,CAAC,KAAY,EAAE,QAAkB;IACvD,IAAI,QAAQ,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACrF,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,QAAQ,CAAC,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IACnG,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,QAAQ,CAAC,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IAC/F,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,GAAG,EAAE,CAAC;IACd,CAAC;IAED,MAAM,YAAY,GAAkB,EAAE,CAAC;IACvC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,mDAAmD;IAClE,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,SAAkC,CAAC,CAAC,gCAAgC;IACxE,IAAI,OAAgC,CAAC,CAAC,0CAA0C;IAChF,IAAI,MAA+B,CAAC,CAAC,8CAA8C;IACnF,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,QAA2B,CAAC;IAEhC,MAAM,OAAO,GAAG,CAAC,GAAsB,EAAQ,EAAE;QAC/C,IAAI,MAAM,IAAI,GAAG;YAAE,MAAM,CAAC,IAAI,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;QACrF,MAAM,GAAG,SAAS,CAAC;IACrB,CAAC,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACrB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;YAAE,MAAM;QAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAE3B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvB,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBACpB,OAAO,GAAG,IAAI,CAAC;gBACf,QAAQ,GAAG,CAAC,CAAC;gBACb,SAAS;YACX,CAAC;YACD,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBACnC,KAAK,EAAE,CAAC;gBACR,IAAI,KAAK,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;oBAC3B,SAAS,GAAG,OAAO,CAAC;oBACpB,OAAO,GAAG,SAAS,CAAC;gBACtB,CAAC;YACH,CAAC;iBAAM,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBAC1C,KAAK,EAAE,CAAC;gBACR,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;oBACf,KAAK,GAAG,CAAC,CAAC;oBACV,IAAI,SAAS;wBAAE,SAAS,CAAC,IAAI,GAAG,EAAE,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;oBACrF,SAAS,GAAG,SAAS,CAAC;gBACxB,CAAC;YACH,CAAC;iBAAM,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBAC3B,KAAK,EAAE,CAAC;YACV,CAAC;iBAAM,IAAI,CAAC,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBAC3B,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACjC,CAAC;YACD,OAAO,GAAG,KAAK,CAAC;YAChB,QAAQ,GAAG,CAAC,CAAC;YACb,SAAS;QACX,CAAC;QAED,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,GAAG,KAAK,CAAC,CAAC,0CAA0C;YAC3D,QAAQ,GAAG,CAAC,CAAC;YACb,SAAS;QACX,CAAC;QAED,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACzE,OAAO,CAAC,QAAQ,CAAC,CAAC;YAClB,IAAI,CAAC,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;gBACvB,MAAM,KAAK,GAAG,IAAI,CAAC;gBACnB,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC7B,IAAI,KAAK,EAAE,IAAI,KAAK,MAAM,IAAI,GAAG,EAAE,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,KAAK,KAAK,GAAG,IAAI,MAAM,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;oBACpG,YAAY,CAAC,IAAI,CAAC;wBAChB,IAAI,EAAE,GAAG,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,EAAE;wBACtC,IAAI,EAAE,MAAM,CAAC,KAAK;wBAClB,IAAI,EAAE,MAAM;wBACZ,OAAO,EAAE,MAAM;wBACf,SAAS,EAAE,KAAK,CAAC,KAAK;wBACtB,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC;wBACtB,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE;qBACtD,CAAC,CAAC;gBACL,CAAC;gBACD,QAAQ,GAAG,CAAC,CAAC;gBACb,SAAS;YACX,CAAC;YACD,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC1B,MAAM,WAAW,GAAgB;oBAC/B,IAAI,EAAE,IAAI,CAAC,KAAK;oBAChB,IAAI,EAAE,IAAI,CAAC,KAAK;oBAChB,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM;oBACtC,OAAO,EAAE,CAAC,CAAC,KAAK;oBAChB,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC;oBACpB,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE;iBACpD,CAAC;gBACF,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC/B,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;oBAAE,OAAO,GAAG,WAAW,CAAC;;oBACzC,MAAM,GAAG,WAAW,CAAC;YAC5B,CAAC;YACD,QAAQ,GAAG,CAAC,CAAC;YACb,SAAS;QACX,CAAC;QAED,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,SAAS,EAAE,CAAC;YACjE,MAAM,MAAM,GAAG,IAAI,EAAE,IAAI,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG,IAAI,IAAI,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC;YACpF,IAAI,MAAM,IAAI,SAAS,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;gBAC3C,YAAY,CAAC,IAAI,CAAC;oBAChB,IAAI,EAAE,GAAG,SAAS,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE;oBACpC,IAAI,EAAE,CAAC,CAAC,KAAK;oBACb,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW;oBACpC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO;oBACnC,SAAS,EAAE,SAAS,CAAC,IAAI;oBACzB,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;oBACjB,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;iBACjB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,QAAQ,GAAG,CAAC,CAAC;IACf,CAAC;IACD,OAAO,CAAC,QAAQ,CAAC,CAAC;IAElB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,YAAY;QAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7E,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;AAC1C,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,aAAa,CAAC,KAAoB,EAAE,QAAkB;IACpE,OAAO,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,OAAO,CAAC,KAAoB,EAAE,QAAkB;IAC9D,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,gHAAgH;AAChH,MAAM,UAAU,YAAY,CAAC,KAAoB,EAAE,IAAY;IAC7D,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACrF,IAAI,WAAW;QAAE,OAAO,WAAW,CAAC,KAAK,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzD,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IAC5B,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;AAC9E,CAAC","sourcesContent":["/**\n * Where each declaration sits in a `.rayfold` document.\n *\n * The IR carries no source positions, and `validateIR` reports its findings against paths (\"Book.price\", \"books()\").\n * This walks the same token stream the parser reads and records a range for every declaration, so a diagnostic, a\n * hover or a go-to-definition can be answered in the text the author is looking at.\n */\nimport { tokenize, type Token } from \"@rayfold/schema\";\n\n/** LSP positions are zero-based; the lexer's are one-based. */\nexport interface Position {\n  line: number;\n  character: number;\n}\n\nexport interface Range {\n  start: Position;\n  end: Position;\n}\n\nexport type DeclarationKind = \"type\" | \"field\" | \"op\" | \"enumValue\" | \"view\";\n\nexport interface Declaration {\n  /** \"Book\", \"Book.title\", \"books\" - the path `validateIR` reports against, without the trailing (). */\n  path: string;\n  name: string;\n  kind: DeclarationKind;\n  /** what the source calls it: entity, object, query, command, ... */\n  keyword: string;\n  container?: string;\n  /** the identifier itself, for a selection or a jump */\n  range: Range;\n  /** the whole declaration, for an outline */\n  full: Range;\n}\n\nexport interface DocumentIndex {\n  tokens: Token[];\n  declarations: Declaration[];\n  byPath: Map<string, Declaration>;\n}\n\nexport const TYPE_KEYWORDS = [\"entity\", \"object\", \"input\", \"enum\", \"union\", \"scalar\", \"error\", \"event\"] as const;\nexport const OP_KEYWORDS = [\"query\", \"command\", \"stream\"] as const;\nexport const DEF_KEYWORDS = [...TYPE_KEYWORDS, ...OP_KEYWORDS, \"view\"] as const;\n\nconst TYPES = new Set<string>(TYPE_KEYWORDS);\nconst OPS = new Set<string>(OP_KEYWORDS);\nconst DEFS = new Set<string>(DEF_KEYWORDS);\n\nconst startOf = (t: Token): Position => ({ line: t.line - 1, character: t.col - 1 });\nconst rangeOf = (t: Token): Range => ({ start: startOf(t), end: { line: t.line - 1, character: t.col - 1 + t.value.length } });\n\n/** True when [position] falls inside [range], counting both ends so a cursor at either edge of a word still hits it. */\nexport function contains(range: Range, position: Position): boolean {\n  if (position.line < range.start.line || position.line > range.end.line) return false;\n  if (position.line === range.start.line && position.character < range.start.character) return false;\n  if (position.line === range.end.line && position.character > range.end.character) return false;\n  return true;\n}\n\n/**\n * Every declaration in [text]. A document that cannot be tokenized at all (an unterminated string, say) indexes as\n * empty: the syntax error is reported on its own, and half a token stream would only misplace things.\n */\nexport function indexDocument(text: string): DocumentIndex {\n  let tokens: Token[];\n  try {\n    tokens = tokenize(text);\n  } catch {\n    tokens = [];\n  }\n\n  const declarations: Declaration[] = [];\n  let depth = 0; // brace depth, counted only outside argument lists\n  let paren = 0;\n  let container: Declaration | undefined; // the type whose body we are in\n  let pending: Declaration | undefined; // a type declaration waiting for its body\n  let openOp: Declaration | undefined; // an operation, which has no body to close it\n  let afterAt = false;\n  let previous: Token | undefined;\n\n  const closeOp = (end: Token | undefined): void => {\n    if (openOp && end) openOp.full = { start: openOp.full.start, end: rangeOf(end).end };\n    openOp = undefined;\n  };\n\n  for (let i = 0; i < tokens.length; i++) {\n    const t = tokens[i]!;\n    if (t.kind === \"eof\") break;\n    const next = tokens[i + 1];\n\n    if (t.kind === \"punct\") {\n      if (t.value === \"@\") {\n        afterAt = true;\n        previous = t;\n        continue;\n      }\n      if (paren === 0 && t.value === \"{\") {\n        depth++;\n        if (depth === 1 && pending) {\n          container = pending;\n          pending = undefined;\n        }\n      } else if (paren === 0 && t.value === \"}\") {\n        depth--;\n        if (depth <= 0) {\n          depth = 0;\n          if (container) container.full = { start: container.full.start, end: rangeOf(t).end };\n          container = undefined;\n        }\n      } else if (t.value === \"(\") {\n        paren++;\n      } else if (t.value === \")\") {\n        paren = Math.max(0, paren - 1);\n      }\n      afterAt = false;\n      previous = t;\n      continue;\n    }\n\n    if (afterAt) {\n      afterAt = false; // the annotation's own name, not a member\n      previous = t;\n      continue;\n    }\n\n    if (t.kind === \"name\" && depth === 0 && paren === 0 && DEFS.has(t.value)) {\n      closeOp(previous);\n      if (t.value === \"view\") {\n        const owner = next;\n        const dot = tokens[i + 2];\n        const member = tokens[i + 3];\n        if (owner?.kind === \"name\" && dot?.kind === \"punct\" && dot.value === \".\" && member?.kind === \"name\") {\n          declarations.push({\n            path: `${owner.value}.${member.value}`,\n            name: member.value,\n            kind: \"view\",\n            keyword: \"view\",\n            container: owner.value,\n            range: rangeOf(member),\n            full: { start: startOf(t), end: rangeOf(member).end },\n          });\n        }\n        previous = t;\n        continue;\n      }\n      if (next?.kind === \"name\") {\n        const declaration: Declaration = {\n          path: next.value,\n          name: next.value,\n          kind: OPS.has(t.value) ? \"op\" : \"type\",\n          keyword: t.value,\n          range: rangeOf(next),\n          full: { start: startOf(t), end: rangeOf(next).end },\n        };\n        declarations.push(declaration);\n        if (TYPES.has(t.value)) pending = declaration;\n        else openOp = declaration;\n      }\n      previous = t;\n      continue;\n    }\n\n    if (t.kind === \"name\" && depth === 1 && paren === 0 && container) {\n      const member = next?.kind === \"punct\" && (next.value === \":\" || next.value === \"(\");\n      if (member || container.keyword === \"enum\") {\n        declarations.push({\n          path: `${container.name}.${t.value}`,\n          name: t.value,\n          kind: member ? \"field\" : \"enumValue\",\n          keyword: member ? \"field\" : \"value\",\n          container: container.name,\n          range: rangeOf(t),\n          full: rangeOf(t),\n        });\n      }\n    }\n    previous = t;\n  }\n  closeOp(previous);\n\n  const byPath = new Map<string, Declaration>();\n  for (const d of declarations) if (!byPath.has(d.path)) byPath.set(d.path, d);\n  return { tokens, declarations, byPath };\n}\n\n/** The declaration whose identifier is under [position]. */\nexport function declarationAt(index: DocumentIndex, position: Position): Declaration | undefined {\n  return index.declarations.find((d) => contains(d.range, position));\n}\n\n/** The token under [position], which is what a hover or a completion is about. */\nexport function tokenAt(index: DocumentIndex, position: Position): Token | undefined {\n  return index.tokens.find((t) => t.kind !== \"eof\" && contains(rangeOf(t), position));\n}\n\n/** Where a `validateIR` diagnostic belongs in the text; the first line when the path names nothing we found. */\nexport function rangeForPath(index: DocumentIndex, path: string): Range {\n  const declaration = index.byPath.get(path.endsWith(\"()\") ? path.slice(0, -2) : path);\n  if (declaration) return declaration.range;\n  const owner = path.split(\".\")[0];\n  const type = owner ? index.byPath.get(owner) : undefined;\n  if (type) return type.range;\n  return { start: { line: 0, character: 0 }, end: { line: 0, character: 0 } };\n}\n"]}