aontu 0.45.1 → 0.48.0

package/dist/lsp-server.js

@@ -0,0 +1,87 @@
+#!/usr/bin/env node
+"use strict";
+/* Copyright (c) 2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.FrameCodec = void 0;
+// Aontu Language Server (stdio).
+//
+//   aontu-lsp
+//
+// Speaks LSP over stdio (JSON-RPC with Content-Length framing) and
+// publishes unification diagnostics as `.aontu` files are edited. This
+// binary is intentionally thin: all protocol logic lives in the reusable
+// library ./lsp (LspHandler + computeDiagnostics). See docs/lsp.md for
+// editor configuration.
+const lsp_1 = require("./lsp");
+// A byte-level LSP framing codec: feed it incoming chunks, give it a
+// handler, and it decodes Content-Length frames, dispatches them, and
+// writes framed replies. Kept transport-injectable (write/onExit) so it
+// can be unit-tested without real stdio.
+class FrameCodec {
+    constructor(handler, write, onExit) {
+        this.handler = handler;
+        this.write = write;
+        this.onExit = onExit;
+        this.buffer = Buffer.alloc(0);
+    }
+    // Feed a chunk of incoming bytes; processes any complete frames.
+    push(chunk) {
+        this.buffer = Buffer.concat([this.buffer, chunk]);
+        this.drain();
+    }
+    // Called when the input stream ends.
+    end() {
+        this.onExit(this.handler.exitCode);
+    }
+    drain() {
+        for (;;) {
+            const headerEnd = this.buffer.indexOf('\r\n\r\n');
+            if (headerEnd < 0)
+                return;
+            const header = this.buffer.subarray(0, headerEnd).toString('ascii');
+            const match = /Content-Length:\s*(\d+)/i.exec(header);
+            if (null == match) {
+                // Malformed header block: skip past it and continue.
+                this.buffer = this.buffer.subarray(headerEnd + 4);
+                continue;
+            }
+            const length = parseInt(match[1], 10);
+            const bodyStart = headerEnd + 4;
+            if (this.buffer.length < bodyStart + length)
+                return; // need more bytes
+            const body = this.buffer.subarray(bodyStart, bodyStart + length).toString('utf8');
+            this.buffer = this.buffer.subarray(bodyStart + length);
+            let msg;
+            try {
+                msg = JSON.parse(body);
+            }
+            catch {
+                continue; // ignore unparseable frame
+            }
+            for (const out of this.handler.handle(msg)) {
+                this.send(out);
+            }
+            if (this.handler.shouldExit) {
+                this.onExit(this.handler.exitCode);
+                return;
+            }
+        }
+    }
+    send(out) {
+        const body = Buffer.from(JSON.stringify(out), 'utf8');
+        this.write(Buffer.from('Content-Length: ' + body.length + '\r\n\r\n', 'ascii'));
+        this.write(body);
+    }
+}
+exports.FrameCodec = FrameCodec;
+function main() {
+    const handler = new lsp_1.LspHandler();
+    const codec = new FrameCodec(handler, (chunk) => process.stdout.write(chunk), (code) => process.exit(code));
+    process.stdin.on('data', (chunk) => codec.push(chunk));
+    process.stdin.on('end', () => codec.end());
+}
+// Only auto-run when invoked as a program, not when imported by tests.
+if (require.main === module) {
+    main();
+}
+//# sourceMappingURL=lsp-server.js.map

package/dist/lsp-server.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lsp-server.js","sourceRoot":"","sources":["../src/lsp-server.ts"],"names":[],"mappings":";;AACA,oDAAoD;;;AAEpD,iCAAiC;AACjC,EAAE;AACF,cAAc;AACd,EAAE;AACF,mEAAmE;AACnE,uEAAuE;AACvE,yEAAyE;AACzE,uEAAuE;AACvE,wBAAwB;AAExB,+BAAuD;AAGvD,qEAAqE;AACrE,sEAAsE;AACtE,wEAAwE;AACxE,yCAAyC;AACzC,MAAM,UAAU;IAGd,YACU,OAAmB,EACnB,KAA8B,EAC9B,MAA8B;QAF9B,YAAO,GAAP,OAAO,CAAY;QACnB,UAAK,GAAL,KAAK,CAAyB;QAC9B,WAAM,GAAN,MAAM,CAAwB;QALhC,WAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAM5B,CAAC;IAEL,iEAAiE;IACjE,IAAI,CAAC,KAAa;QAChB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAA;QACjD,IAAI,CAAC,KAAK,EAAE,CAAA;IACd,CAAC;IAED,qCAAqC;IACrC,GAAG;QACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;IACpC,CAAC;IAEO,KAAK;QACX,SAAU,CAAC;YACT,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;YACjD,IAAI,SAAS,GAAG,CAAC;gBAAE,OAAM;YAEzB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YACnE,MAAM,KAAK,GAAG,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACrD,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;gBAClB,qDAAqD;gBACrD,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,GAAG,CAAC,CAAC,CAAA;gBACjD,SAAQ;YACV,CAAC;YAED,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;YACrC,MAAM,SAAS,GAAG,SAAS,GAAG,CAAC,CAAA;YAC/B,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,SAAS,GAAG,MAAM;gBAAE,OAAM,CAAC,kBAAkB;YAEtE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,GAAG,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;YACjF,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,GAAG,MAAM,CAAC,CAAA;YAEtD,IAAI,GAAY,CAAA;YAChB,IAAI,CAAC;gBACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YACxB,CAAC;YACD,MAAM,CAAC;gBACL,SAAQ,CAAC,2BAA2B;YACtC,CAAC;YAED,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAChB,CAAC;YAED,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;gBAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;gBAClC,OAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAEO,IAAI,CAAC,GAAe;QAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAA;QACrD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC,MAAM,GAAG,UAAU,EAAE,OAAO,CAAC,CAAC,CAAA;QAC/E,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAClB,CAAC;CACF;AAuBC,gCAAU;AApBZ,SAAS,IAAI;IACX,MAAM,OAAO,GAAG,IAAI,gBAAU,EAAE,CAAA;IAChC,MAAM,KAAK,GAAG,IAAI,UAAU,CAC1B,OAAO,EACP,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EACtC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAC7B,CAAA;IAED,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAa,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;IAC9D,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAA;AAC5C,CAAC;AAGD,uEAAuE;AACvE,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;IAC5B,IAAI,EAAE,CAAA;AACR,CAAC"}

package/dist/lsp.d.ts

@@ -0,0 +1,71 @@
+import type { Val } from './type';
+declare const SEVERITY_ERROR = 1;
+declare const SEVERITY_WARNING = 2;
+declare const SEVERITY_INFORMATION = 3;
+declare const SEVERITY_HINT = 4;
+declare const LSP_VERSION = "0.1.0";
+type Position = {
+    line: number;
+    character: number;
+};
+type Range = {
+    start: Position;
+    end: Position;
+};
+type Diagnostic = {
+    range: Range;
+    severity: number;
+    code?: string;
+    source: string;
+    message: string;
+};
+type Message = {
+    jsonrpc?: string;
+    id?: number | string | null;
+    method?: string;
+    params?: any;
+};
+type OutMessage = {
+    jsonrpc: string;
+    id?: number | string | null;
+    method?: string;
+    params?: any;
+    result?: any;
+    error?: {
+        code: number;
+        message: string;
+    };
+};
+declare function computeDiagnostics(src: string, opts?: {
+    vars?: Record<string, Val>;
+}): Diagnostic[];
+type MarkupContent = {
+    kind: 'markdown' | 'plaintext';
+    value: string;
+};
+type Hover = {
+    contents: MarkupContent;
+    range?: Range;
+};
+declare function computeHover(src: string, position: Position): Hover | null;
+type CompletionItem = {
+    label: string;
+    kind?: number;
+    detail?: string;
+};
+declare const COMPLETION_FUNCTION = 3;
+declare const COMPLETION_KEYWORD = 14;
+declare const BUILTIN_FUNCS: string[];
+declare function computeCompletions(): CompletionItem[];
+declare class LspHandler {
+    private docs;
+    private shutdownOK;
+    private exited;
+    get shouldExit(): boolean;
+    get exitCode(): number;
+    doc(uri: string): string | undefined;
+    handle(msg: Message): OutMessage[];
+    private publish;
+}
+export { computeDiagnostics, computeHover, computeCompletions, LspHandler, LSP_VERSION, BUILTIN_FUNCS, SEVERITY_ERROR, SEVERITY_WARNING, SEVERITY_INFORMATION, SEVERITY_HINT, COMPLETION_FUNCTION, COMPLETION_KEYWORD, };
+export type { Position, Range, Diagnostic, Message, OutMessage, Hover, MarkupContent, CompletionItem, };

package/dist/lsp.js

@@ -0,0 +1,375 @@
+"use strict";
+/* Copyright (c) 2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.COMPLETION_KEYWORD = exports.COMPLETION_FUNCTION = exports.SEVERITY_HINT = exports.SEVERITY_INFORMATION = exports.SEVERITY_WARNING = exports.SEVERITY_ERROR = exports.BUILTIN_FUNCS = exports.LSP_VERSION = exports.LspHandler = void 0;
+exports.computeDiagnostics = computeDiagnostics;
+exports.computeHover = computeHover;
+exports.computeCompletions = computeCompletions;
+const aontu_1 = require("./aontu");
+const err_1 = require("./err");
+// LSP DiagnosticSeverity subset.
+const SEVERITY_ERROR = 1;
+exports.SEVERITY_ERROR = SEVERITY_ERROR;
+const SEVERITY_WARNING = 2;
+exports.SEVERITY_WARNING = SEVERITY_WARNING;
+const SEVERITY_INFORMATION = 3;
+exports.SEVERITY_INFORMATION = SEVERITY_INFORMATION;
+const SEVERITY_HINT = 4;
+exports.SEVERITY_HINT = SEVERITY_HINT;
+// Reported to the client in the initialize response.
+const LSP_VERSION = '0.1.0';
+exports.LSP_VERSION = LSP_VERSION;
+// Compute LSP diagnostics for a unit of Aontu source. A valid document —
+// including a non-concrete schema such as `a:string` — returns an empty
+// array; only genuine errors (conflicts, unresolved references, unknown
+// functions, syntax errors) produce diagnostics.
+function computeDiagnostics(src, opts) {
+    const aontu = new aontu_1.Aontu();
+    let root;
+    try {
+        const ac = aontu.ctx({ collect: true });
+        if (opts?.vars) {
+            Object.assign(ac.vars, opts.vars);
+        }
+        root = aontu.unify(src, { collect: true }, ac);
+    }
+    catch (err) {
+        // Hard parse/syntax failure: report a single diagnostic. jsonic
+        // errors may carry 1-based line/col; fall back to the document start.
+        return [parseErrorDiagnostic(err)];
+    }
+    const nils = [];
+    walkNils(root, nils, new Set());
+    return nils.map(nilToDiagnostic);
+}
+// Walk a unified Val tree collecting every NilVal exactly once. A NilVal
+// in the result always represents an error; valid non-concrete values
+// (scalar kinds, refs, conjuncts) are never NilVals.
+function walkNils(v, out, seen) {
+    if (null == v || 'object' !== typeof v || true !== v.isVal)
+        return;
+    if (seen.has(v))
+        return;
+    seen.add(v);
+    if (v.isNil) {
+        out.push(v);
+        return;
+    }
+    const peg = v.peg;
+    if (Array.isArray(peg)) {
+        for (const c of peg)
+            walkNils(c, out, seen);
+    }
+    else if (null != peg && 'object' === typeof peg) {
+        for (const k in peg)
+            walkNils(peg[k], out, seen);
+    }
+    // Spread constraints live off-peg on Map/List Vals.
+    const spreadCj = v.spread?.cj;
+    if (spreadCj)
+        walkNils(spreadCj, out, seen);
+}
+// Convert a NilVal (1-based site row/col) to an LSP diagnostic (0-based
+// line/character).
+function nilToDiagnostic(nil) {
+    const row = nil.site?.row ?? -1;
+    const col = nil.site?.col ?? -1;
+    let start;
+    let end;
+    if (row >= 1 && col >= 1) {
+        start = { line: row - 1, character: col - 1 };
+        const len = labelLength(nil);
+        end = { line: row - 1, character: col - 1 + len };
+    }
+    else {
+        start = { line: 0, character: 0 };
+        end = { line: 0, character: 1 };
+    }
+    return {
+        range: { start, end },
+        severity: SEVERITY_ERROR,
+        code: nil.why,
+        source: 'aontu',
+        message: nilMessage(nil),
+    };
+}
+// Length (UTF-16 units, like LSP characters) of the offending value's
+// canonical form, used to size the diagnostic range (minimum 1).
+function labelLength(nil) {
+    const c = nil.primary?.canon;
+    return 'string' === typeof c && c.length > 0 ? c.length : 1;
+}
+// Build the human-readable message. Kept identical to the Go port's
+// NilVal.Message() (go/val.go) so diagnostics match across
+// implementations: "Cannot <attempt> value: X with value: Y\n<hint>".
+function nilMessage(nil) {
+    if (nil.msg)
+        return nil.msg;
+    const attempt = nil.attempt ?? (null == nil.secondary ? 'resolve' : 'unify');
+    let msg = 'Cannot ' + attempt + ' value';
+    if (null != nil.primary) {
+        msg += ': ' + nil.primary.canon;
+        if (null != nil.secondary) {
+            msg += ' with value: ' + nil.secondary.canon;
+        }
+    }
+    const hint = (0, err_1.getHint)(nil.why, nil.details);
+    if (hint) {
+        msg += '\n' + hint;
+    }
+    return msg;
+}
+function parseErrorDiagnostic(err) {
+    // jsonic/AontuError may expose 1-based line/col.
+    const row = err?.lineNumber ?? err?.row ?? err?.line ?? -1;
+    const col = err?.column ?? err?.col ?? -1;
+    const start = row >= 1 && col >= 1
+        ? { line: row - 1, character: col - 1 }
+        : { line: 0, character: 0 };
+    return {
+        range: { start, end: { line: start.line, character: start.character + 1 } },
+        severity: SEVERITY_ERROR,
+        code: 'parse',
+        source: 'aontu',
+        message: ('string' === typeof err?.message ? err.message : String(err)),
+    };
+}
+// initialize result: advertise full-text document sync feeding diagnostics.
+function initializeResult() {
+    return {
+        capabilities: {
+            // 1 = TextDocumentSyncKind.Full
+            textDocumentSync: 1,
+            hoverProvider: true,
+            completionProvider: {},
+        },
+        serverInfo: {
+            name: 'aontu-lsp',
+            version: LSP_VERSION,
+        },
+    };
+}
+function publishDiagnosticsMsg(uri, diagnostics) {
+    return {
+        jsonrpc: '2.0',
+        method: 'textDocument/publishDiagnostics',
+        params: { uri, diagnostics },
+    };
+}
+// Resolve the value under the cursor and describe it. Returns null when
+// the position is not over a value with a known source location. Because
+// hover reads the *unified* tree, a literal shows its resolved value and
+// kind (e.g. a reference target resolves to the value it points at).
+function computeHover(src, position) {
+    let root;
+    try {
+        root = new aontu_1.Aontu().unify(src, { collect: true });
+    }
+    catch {
+        return null;
+    }
+    const cands = [];
+    collectHoverCandidates(root, cands, new Set());
+    let best = null;
+    for (const c of cands) {
+        if (c.line === position.line &&
+            c.start <= position.character && position.character < c.end) {
+            // Most specific (smallest) span wins.
+            if (null == best || (c.end - c.start) < (best.end - best.start))
+                best = c;
+        }
+    }
+    if (null == best)
+        return null;
+    return {
+        contents: { kind: 'markdown', value: hoverMarkdown(best.val) },
+        range: {
+            start: { line: best.line, character: best.start },
+            end: { line: best.line, character: best.end },
+        },
+    };
+}
+function collectHoverCandidates(v, out, seen) {
+    if (null == v || 'object' !== typeof v || true !== v.isVal)
+        return;
+    if (seen.has(v))
+        return;
+    seen.add(v);
+    const row = v.site?.row ?? -1;
+    const col = v.site?.col ?? -1;
+    let canon = '';
+    try {
+        canon = v.canon;
+    }
+    catch {
+        canon = '';
+    }
+    // Hover targets concrete values (scalars, kinds, refs, …), not
+    // containers: a map/list source span is not reliably reconstructable
+    // from a single site, and the same restriction in the Go port keeps
+    // hover behaviour identical across implementations. The walk still
+    // recurses into containers below to reach their leaf values. Canon is
+    // single-line, so its length approximates the on-line source span.
+    if (row >= 1 && col >= 1 && canon.length > 0 && !canon.includes('\n') &&
+        !v.isMap && !v.isList) {
+        out.push({ val: v, line: row - 1, start: col - 1, end: col - 1 + canon.length });
+    }
+    const peg = v.peg;
+    if (Array.isArray(peg)) {
+        for (const c of peg)
+            collectHoverCandidates(c, out, seen);
+    }
+    else if (null != peg && 'object' === typeof peg) {
+        for (const k in peg)
+            collectHoverCandidates(peg[k], out, seen);
+    }
+    const spreadCj = v.spread?.cj;
+    if (spreadCj)
+        collectHoverCandidates(spreadCj, out, seen);
+}
+function hoverMarkdown(val) {
+    let canon = '';
+    try {
+        canon = val.canon;
+    }
+    catch {
+        canon = '';
+    }
+    return '```aontu\n' + canon + '\n```\n\n' + '*' + valKind(val) + '*';
+}
+// A short human description of a Val's kind, shown under the hover canon.
+function valKind(val) {
+    if (val.isNil)
+        return 'error';
+    if (val.isScalarKind)
+        return 'type';
+    if (val.isMap)
+        return 'map';
+    if (val.isList)
+        return 'list';
+    if (val.isRef)
+        return 'reference';
+    if (val.isInteger)
+        return 'integer';
+    if (val.isNumber)
+        return 'number';
+    if (val.isString)
+        return 'string';
+    if (val.isBoolean)
+        return 'boolean';
+    if (val.isScalar)
+        return 'scalar';
+    return val.constructor.name.replace(/Val$/, '').toLowerCase();
+}
+// LSP CompletionItemKind subset.
+const COMPLETION_FUNCTION = 3;
+exports.COMPLETION_FUNCTION = COMPLETION_FUNCTION;
+const COMPLETION_KEYWORD = 14;
+exports.COMPLETION_KEYWORD = COMPLETION_KEYWORD;
+// The twelve built-in functions. Kept in sync with the engine by
+// `lsp.test.ts`, which asserts each is recognised and no others are.
+const BUILTIN_FUNCS = [
+    'close', 'copy', 'hide', 'key', 'lower', 'move',
+    'open', 'path', 'pref', 'super', 'type', 'upper',
+];
+exports.BUILTIN_FUNCS = BUILTIN_FUNCS;
+// Scalar-kind and literal keywords.
+const KIND_KEYWORDS = ['string', 'number', 'integer', 'boolean'];
+const LITERAL_KEYWORDS = ['true', 'false', 'null', 'top'];
+// Context-free completion: the built-in functions, scalar-kind keywords
+// and literals. Clients filter by the typed prefix.
+function computeCompletions() {
+    const out = [];
+    for (const f of BUILTIN_FUNCS) {
+        out.push({ label: f, kind: COMPLETION_FUNCTION, detail: 'Aontu built-in function' });
+    }
+    for (const k of KIND_KEYWORDS) {
+        out.push({ label: k, kind: COMPLETION_KEYWORD, detail: 'scalar kind' });
+    }
+    for (const k of LITERAL_KEYWORDS) {
+        out.push({ label: k, kind: COMPLETION_KEYWORD, detail: 'keyword' });
+    }
+    return out;
+}
+// Transport-agnostic LSP message dispatcher. Consumes decoded JSON-RPC
+// messages and returns the messages to send back, tracking open document
+// text and recomputing diagnostics on open/change/close. Not safe for
+// concurrent use; drive it from a single loop (as the stdio server does).
+class LspHandler {
+    constructor() {
+        this.docs = new Map();
+        this.shutdownOK = false;
+        this.exited = false;
+    }
+    // True once an `exit` notification has been received.
+    get shouldExit() { return this.exited; }
+    // Process exit code per the LSP spec: 0 if `shutdown` preceded `exit`,
+    // else 1.
+    get exitCode() { return this.shutdownOK ? 0 : 1; }
+    // Current text of an open document, or undefined.
+    doc(uri) { return this.docs.get(uri); }
+    // Process one incoming message, returning zero or more to send.
+    handle(msg) {
+        switch (msg.method) {
+            case 'initialize':
+                return [{ jsonrpc: '2.0', id: msg.id, result: initializeResult() }];
+            case 'initialized':
+                return [];
+            case 'shutdown':
+                this.shutdownOK = true;
+                return [{ jsonrpc: '2.0', id: msg.id, result: null }];
+            case 'exit':
+                this.exited = true;
+                return [];
+            case 'textDocument/didOpen': {
+                const td = msg.params?.textDocument;
+                if (null == td?.uri)
+                    return [];
+                this.docs.set(td.uri, td.text ?? '');
+                return [this.publish(td.uri)];
+            }
+            case 'textDocument/didChange': {
+                const uri = msg.params?.textDocument?.uri;
+                const changes = msg.params?.contentChanges;
+                if (null == uri || !Array.isArray(changes) || 0 === changes.length)
+                    return [];
+                // Full document sync: the last change holds the entire new text.
+                this.docs.set(uri, changes[changes.length - 1].text ?? '');
+                return [this.publish(uri)];
+            }
+            case 'textDocument/didClose': {
+                const uri = msg.params?.textDocument?.uri;
+                if (null == uri)
+                    return [];
+                this.docs.delete(uri);
+                // Clear diagnostics for the closed document.
+                return [publishDiagnosticsMsg(uri, [])];
+            }
+            case 'textDocument/hover': {
+                const uri = msg.params?.textDocument?.uri;
+                const pos = msg.params?.position;
+                const text = null != uri ? this.docs.get(uri) : undefined;
+                const hover = (null != text && null != pos) ? computeHover(text, pos) : null;
+                return [{ jsonrpc: '2.0', id: msg.id, result: hover }];
+            }
+            case 'textDocument/completion':
+                return [{ jsonrpc: '2.0', id: msg.id, result: computeCompletions() }];
+            default:
+                // Unknown request (has an id): reply method-not-found. Unknown
+                // notification: ignore.
+                if (null != msg.id) {
+                    return [{
+                            jsonrpc: '2.0',
+                            id: msg.id,
+                            error: { code: -32601, message: 'method not found: ' + msg.method },
+                        }];
+                }
+                return [];
+        }
+    }
+    publish(uri) {
+        return publishDiagnosticsMsg(uri, computeDiagnostics(this.docs.get(uri) ?? ''));
+    }
+}
+exports.LspHandler = LspHandler;
+//# sourceMappingURL=lsp.js.map

package/dist/lsp.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lsp.js","sourceRoot":"","sources":["../src/lsp.ts"],"names":[],"mappings":";AAAA,oDAAoD;;;AA8clD,gDAAkB;AAClB,oCAAY;AACZ,gDAAkB;AA5bpB,mCAA+B;AAC/B,+BAA+B;AAG/B,iCAAiC;AACjC,MAAM,cAAc,GAAG,CAAC,CAAA;AA2btB,wCAAc;AA1bhB,MAAM,gBAAgB,GAAG,CAAC,CAAA;AA2bxB,4CAAgB;AA1blB,MAAM,oBAAoB,GAAG,CAAC,CAAA;AA2b5B,oDAAoB;AA1btB,MAAM,aAAa,GAAG,CAAC,CAAA;AA2brB,sCAAa;AAzbf,qDAAqD;AACrD,MAAM,WAAW,GAAG,OAAO,CAAA;AAmbzB,kCAAW;AA7Yb,yEAAyE;AACzE,wEAAwE;AACxE,wEAAwE;AACxE,iDAAiD;AACjD,SAAS,kBAAkB,CACzB,GAAW,EACX,IAAqC;IAErC,MAAM,KAAK,GAAG,IAAI,aAAK,EAAE,CAAA;IAEzB,IAAI,IAAS,CAAA;IACb,IAAI,CAAC;QACH,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;QACvC,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC;YACf,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;QACnC,CAAC;QACD,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAA;IAChD,CAAC;IACD,OAAO,GAAQ,EAAE,CAAC;QAChB,gEAAgE;QAChE,sEAAsE;QACtE,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAA;IACpC,CAAC;IAED,MAAM,IAAI,GAAU,EAAE,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;IAE/B,OAAO,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,CAAA;AAClC,CAAC;AAGD,yEAAyE;AACzE,sEAAsE;AACtE,qDAAqD;AACrD,SAAS,QAAQ,CAAC,CAAM,EAAE,GAAU,EAAE,IAAc;IAClD,IAAI,IAAI,IAAI,CAAC,IAAI,QAAQ,KAAK,OAAO,CAAC,IAAI,IAAI,KAAK,CAAC,CAAC,KAAK;QAAE,OAAM;IAClE,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAAE,OAAM;IACvB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAEX,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;QACZ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACX,OAAM;IACR,CAAC;IAED,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAA;IACjB,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,GAAG;YAAE,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;IAC7C,CAAC;SACI,IAAI,IAAI,IAAI,GAAG,IAAI,QAAQ,KAAK,OAAO,GAAG,EAAE,CAAC;QAChD,KAAK,MAAM,CAAC,IAAI,GAAG;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;IAClD,CAAC;IAED,oDAAoD;IACpD,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAA;IAC7B,IAAI,QAAQ;QAAE,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;AAC7C,CAAC;AAGD,wEAAwE;AACxE,mBAAmB;AACnB,SAAS,eAAe,CAAC,GAAQ;IAC/B,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;IAC/B,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;IAE/B,IAAI,KAAe,CAAA;IACnB,IAAI,GAAa,CAAA;IACjB,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACzB,KAAK,GAAG,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,EAAE,CAAA;QAC7C,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;QAC5B,GAAG,GAAG,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,GAAG,GAAG,EAAE,CAAA;IACnD,CAAC;SACI,CAAC;QACJ,KAAK,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAA;QACjC,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAA;IACjC,CAAC;IAED,OAAO;QACL,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE;QACrB,QAAQ,EAAE,cAAc;QACxB,IAAI,EAAE,GAAG,CAAC,GAAG;QACb,MAAM,EAAE,OAAO;QACf,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC;KACzB,CAAA;AACH,CAAC;AAGD,sEAAsE;AACtE,iEAAiE;AACjE,SAAS,WAAW,CAAC,GAAQ;IAC3B,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,KAAK,CAAA;IAC5B,OAAO,QAAQ,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AAC7D,CAAC;AAGD,oEAAoE;AACpE,2DAA2D;AAC3D,sEAAsE;AACtE,SAAS,UAAU,CAAC,GAAQ;IAC1B,IAAI,GAAG,CAAC,GAAG;QAAE,OAAO,GAAG,CAAC,GAAG,CAAA;IAE3B,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;IAC5E,IAAI,GAAG,GAAG,SAAS,GAAG,OAAO,GAAG,QAAQ,CAAA;IACxC,IAAI,IAAI,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QACxB,GAAG,IAAI,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,CAAA;QAC/B,IAAI,IAAI,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YAC1B,GAAG,IAAI,eAAe,GAAG,GAAG,CAAC,SAAS,CAAC,KAAK,CAAA;QAC9C,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,IAAA,aAAO,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,CAAA;IAC1C,IAAI,IAAI,EAAE,CAAC;QACT,GAAG,IAAI,IAAI,GAAG,IAAI,CAAA;IACpB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAGD,SAAS,oBAAoB,CAAC,GAAQ;IACpC,iDAAiD;IACjD,MAAM,GAAG,GAAG,GAAG,EAAE,UAAU,IAAI,GAAG,EAAE,GAAG,IAAI,GAAG,EAAE,IAAI,IAAI,CAAC,CAAC,CAAA;IAC1D,MAAM,GAAG,GAAG,GAAG,EAAE,MAAM,IAAI,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;IACzC,MAAM,KAAK,GAAa,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QAC1C,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC,EAAE;QACvC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAA;IAC7B,OAAO;QACL,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,GAAG,CAAC,EAAE,EAAE;QAC3E,QAAQ,EAAE,cAAc;QACxB,IAAI,EAAE,OAAO;QACb,MAAM,EAAE,OAAO;QACf,OAAO,EAAE,CAAC,QAAQ,KAAK,OAAO,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;KACxE,CAAA;AACH,CAAC;AAGD,4EAA4E;AAC5E,SAAS,gBAAgB;IACvB,OAAO;QACL,YAAY,EAAE;YACZ,gCAAgC;YAChC,gBAAgB,EAAE,CAAC;YACnB,aAAa,EAAE,IAAI;YACnB,kBAAkB,EAAE,EAAE;SACvB;QACD,UAAU,EAAE;YACV,IAAI,EAAE,WAAW;YACjB,OAAO,EAAE,WAAW;SACrB;KACF,CAAA;AACH,CAAC;AAGD,SAAS,qBAAqB,CAAC,GAAW,EAAE,WAAyB;IACnE,OAAO;QACL,OAAO,EAAE,KAAK;QACd,MAAM,EAAE,iCAAiC;QACzC,MAAM,EAAE,EAAE,GAAG,EAAE,WAAW,EAAE;KAC7B,CAAA;AACH,CAAC;AASD,wEAAwE;AACxE,yEAAyE;AACzE,yEAAyE;AACzE,qEAAqE;AACrE,SAAS,YAAY,CAAC,GAAW,EAAE,QAAkB;IACnD,IAAI,IAAS,CAAA;IACb,IAAI,CAAC;QACH,IAAI,GAAG,IAAI,aAAK,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;IAClD,CAAC;IACD,MAAM,CAAC;QACL,OAAO,IAAI,CAAA;IACb,CAAC;IAED,MAAM,KAAK,GAA6D,EAAE,CAAA;IAC1E,sBAAsB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;IAE9C,IAAI,IAAI,GAAkE,IAAI,CAAA;IAC9E,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;YAC1B,CAAC,CAAC,KAAK,IAAI,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YAC9D,sCAAsC;YACtC,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;gBAAE,IAAI,GAAG,CAAC,CAAA;QAC3E,CAAC;IACH,CAAC;IACD,IAAI,IAAI,IAAI,IAAI;QAAE,OAAO,IAAI,CAAA;IAE7B,OAAO;QACL,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QAC9D,KAAK,EAAE;YACL,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,KAAK,EAAE;YACjD,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;SAC9C;KACF,CAAA;AACH,CAAC;AAGD,SAAS,sBAAsB,CAC7B,CAAM,EACN,GAA6D,EAC7D,IAAc;IAEd,IAAI,IAAI,IAAI,CAAC,IAAI,QAAQ,KAAK,OAAO,CAAC,IAAI,IAAI,KAAK,CAAC,CAAC,KAAK;QAAE,OAAM;IAClE,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAAE,OAAM;IACvB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAEX,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;IAC7B,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;IAC7B,IAAI,KAAK,GAAG,EAAE,CAAA;IACd,IAAI,CAAC;QAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAA;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,KAAK,GAAG,EAAE,CAAA;IAAC,CAAC;IAC5C,+DAA+D;IAC/D,qEAAqE;IACrE,oEAAoE;IACpE,mEAAmE;IACnE,sEAAsE;IACtE,mEAAmE;IACnE,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QACnE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QACxB,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;IAClF,CAAC;IAED,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAA;IACjB,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,GAAG;YAAE,sBAAsB,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;IAC3D,CAAC;SACI,IAAI,IAAI,IAAI,GAAG,IAAI,QAAQ,KAAK,OAAO,GAAG,EAAE,CAAC;QAChD,KAAK,MAAM,CAAC,IAAI,GAAG;YAAE,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;IAChE,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAA;IAC7B,IAAI,QAAQ;QAAE,sBAAsB,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;AAC3D,CAAC;AAGD,SAAS,aAAa,CAAC,GAAQ;IAC7B,IAAI,KAAK,GAAG,EAAE,CAAA;IACd,IAAI,CAAC;QAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAA;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,KAAK,GAAG,EAAE,CAAA;IAAC,CAAC;IAC9C,OAAO,YAAY,GAAG,KAAK,GAAG,WAAW,GAAG,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,GAAG,CAAA;AACtE,CAAC;AAGD,0EAA0E;AAC1E,SAAS,OAAO,CAAC,GAAQ;IACvB,IAAI,GAAG,CAAC,KAAK;QAAE,OAAO,OAAO,CAAA;IAC7B,IAAI,GAAG,CAAC,YAAY;QAAE,OAAO,MAAM,CAAA;IACnC,IAAI,GAAG,CAAC,KAAK;QAAE,OAAO,KAAK,CAAA;IAC3B,IAAI,GAAG,CAAC,MAAM;QAAE,OAAO,MAAM,CAAA;IAC7B,IAAI,GAAG,CAAC,KAAK;QAAE,OAAO,WAAW,CAAA;IACjC,IAAI,GAAG,CAAC,SAAS;QAAE,OAAO,SAAS,CAAA;IACnC,IAAI,GAAG,CAAC,QAAQ;QAAE,OAAO,QAAQ,CAAA;IACjC,IAAI,GAAG,CAAC,QAAQ;QAAE,OAAO,QAAQ,CAAA;IACjC,IAAI,GAAG,CAAC,SAAS;QAAE,OAAO,SAAS,CAAA;IACnC,IAAI,GAAG,CAAC,QAAQ;QAAE,OAAO,QAAQ,CAAA;IACjC,OAAO,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAA;AAC/D,CAAC;AAWD,iCAAiC;AACjC,MAAM,mBAAmB,GAAG,CAAC,CAAA;AAsI3B,kDAAmB;AArIrB,MAAM,kBAAkB,GAAG,EAAE,CAAA;AAsI3B,gDAAkB;AApIpB,iEAAiE;AACjE,qEAAqE;AACrE,MAAM,aAAa,GAAG;IACpB,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM;IAC/C,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO;CACjD,CAAA;AAyHC,sCAAa;AAvHf,oCAAoC;AACpC,MAAM,aAAa,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAA;AAChE,MAAM,gBAAgB,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;AAGzD,wEAAwE;AACxE,oDAAoD;AACpD,SAAS,kBAAkB;IACzB,MAAM,GAAG,GAAqB,EAAE,CAAA;IAChC,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,yBAAyB,EAAE,CAAC,CAAA;IACtF,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAA;IACzE,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;QACjC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;IACrE,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAGD,uEAAuE;AACvE,yEAAyE;AACzE,sEAAsE;AACtE,0EAA0E;AAC1E,MAAM,UAAU;IAAhB;QACU,SAAI,GAAG,IAAI,GAAG,EAAkB,CAAA;QAChC,eAAU,GAAG,KAAK,CAAA;QAClB,WAAM,GAAG,KAAK,CAAA;IAiFxB,CAAC;IA/EC,sDAAsD;IACtD,IAAI,UAAU,KAAc,OAAO,IAAI,CAAC,MAAM,CAAA,CAAC,CAAC;IAEhD,uEAAuE;IACvE,UAAU;IACV,IAAI,QAAQ,KAAa,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA,CAAC,CAAC;IAEzD,kDAAkD;IAClD,GAAG,CAAC,GAAW,IAAwB,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA,CAAC,CAAC;IAElE,gEAAgE;IAChE,MAAM,CAAC,GAAY;QACjB,QAAQ,GAAG,CAAC,MAAM,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,OAAO,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,EAAE,CAAC,CAAA;YAErE,KAAK,aAAa;gBAChB,OAAO,EAAE,CAAA;YAEX,KAAK,UAAU;gBACb,IAAI,CAAC,UAAU,GAAG,IAAI,CAAA;gBACtB,OAAO,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;YAEvD,KAAK,MAAM;gBACT,IAAI,CAAC,MAAM,GAAG,IAAI,CAAA;gBAClB,OAAO,EAAE,CAAA;YAEX,KAAK,sBAAsB,CAAC,CAAC,CAAC;gBAC5B,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,YAAY,CAAA;gBACnC,IAAI,IAAI,IAAI,EAAE,EAAE,GAAG;oBAAE,OAAO,EAAE,CAAA;gBAC9B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,CAAA;gBACpC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;YAC/B,CAAC;YAED,KAAK,wBAAwB,CAAC,CAAC,CAAC;gBAC9B,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,CAAA;gBACzC,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,EAAE,cAAc,CAAA;gBAC1C,IAAI,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,MAAM;oBAAE,OAAO,EAAE,CAAA;gBAC7E,iEAAiE;gBACjE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAA;gBAC1D,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAA;YAC5B,CAAC;YAED,KAAK,uBAAuB,CAAC,CAAC,CAAC;gBAC7B,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,CAAA;gBACzC,IAAI,IAAI,IAAI,GAAG;oBAAE,OAAO,EAAE,CAAA;gBAC1B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBACrB,6CAA6C;gBAC7C,OAAO,CAAC,qBAAqB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAA;YACzC,CAAC;YAED,KAAK,oBAAoB,CAAC,CAAC,CAAC;gBAC1B,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,CAAA;gBACzC,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAA;gBAChC,MAAM,IAAI,GAAG,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;gBACzD,MAAM,KAAK,GAAG,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;gBAC5E,OAAO,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;YACxD,CAAC;YAED,KAAK,yBAAyB;gBAC5B,OAAO,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,EAAE,CAAC,CAAA;YAEvE;gBACE,+DAA+D;gBAC/D,wBAAwB;gBACxB,IAAI,IAAI,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC;oBACnB,OAAO,CAAC;4BACN,OAAO,EAAE,KAAK;4BACd,EAAE,EAAE,GAAG,CAAC,EAAE;4BACV,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,oBAAoB,GAAG,GAAG,CAAC,MAAM,EAAE;yBACpE,CAAC,CAAA;gBACJ,CAAC;gBACD,OAAO,EAAE,CAAA;QACb,CAAC;IACH,CAAC;IAEO,OAAO,CAAC,GAAW;QACzB,OAAO,qBAAqB,CAAC,GAAG,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IACjF,CAAC;CACF;AAOC,gCAAU"}

package/dist/tsconfig.tsbuildinfo

@@ -1 +1 @@
-{"root":["../src/aontu.ts","../src/ctx.ts","../src/err.ts","../src/hints.ts","../src/lang.ts","../src/site.ts","../src/type.ts","../src/unify.ts","../src/utility.ts","../src/val/bagval.ts","../src/val/booleanval.ts","../src/val/closefuncval.ts","../src/val/conjunctval.ts","../src/val/copyfuncval.ts","../src/val/disjunctval.ts","../src/val/expectval.ts","../src/val/featureval.ts","../src/val/funcbaseval.ts","../src/val/hidefuncval.ts","../src/val/integerval.ts","../src/val/junctionval.ts","../src/val/keyfuncval.ts","../src/val/listval.ts","../src/val/lowerfuncval.ts","../src/val/mapval.ts","../src/val/movefuncval.ts","../src/val/nilval.ts","../src/val/nullval.ts","../src/val/numberval.ts","../src/val/opbaseval.ts","../src/val/openfuncval.ts","../src/val/pathfuncval.ts","../src/val/plusopval.ts","../src/val/preffuncval.ts","../src/val/prefval.ts","../src/val/refval.ts","../src/val/scalarkindval.ts","../src/val/scalarval.ts","../src/val/stringval.ts","../src/val/superfuncval.ts","../src/val/topval.ts","../src/val/typefuncval.ts","../src/val/upperfuncval.ts","../src/val/val.ts","../src/val/varval.ts","../src/val/top.ts","../src/val/valutil.ts"],"version":"6.0.3"}
+{"root":["../src/aontu.ts","../src/cli.ts","../src/ctx.ts","../src/err.ts","../src/hints.ts","../src/lang.ts","../src/lsp-server.ts","../src/lsp.ts","../src/site.ts","../src/type.ts","../src/unify.ts","../src/utility.ts","../src/val/bagval.ts","../src/val/booleanval.ts","../src/val/closefuncval.ts","../src/val/conjunctval.ts","../src/val/copyfuncval.ts","../src/val/disjunctval.ts","../src/val/expectval.ts","../src/val/featureval.ts","../src/val/funcbaseval.ts","../src/val/hidefuncval.ts","../src/val/integerval.ts","../src/val/junctionval.ts","../src/val/keyfuncval.ts","../src/val/listval.ts","../src/val/lowerfuncval.ts","../src/val/mapval.ts","../src/val/movefuncval.ts","../src/val/nilval.ts","../src/val/nullval.ts","../src/val/numberval.ts","../src/val/opbaseval.ts","../src/val/openfuncval.ts","../src/val/pathfuncval.ts","../src/val/plusopval.ts","../src/val/preffuncval.ts","../src/val/prefval.ts","../src/val/refval.ts","../src/val/scalarkindval.ts","../src/val/scalarval.ts","../src/val/stringval.ts","../src/val/superfuncval.ts","../src/val/topval.ts","../src/val/typefuncval.ts","../src/val/upperfuncval.ts","../src/val/val.ts","../src/val/varval.ts","../src/val/top.ts","../src/val/valutil.ts"],"version":"6.0.3"}

package/dist/type.d.ts

@@ -1,5 +1,5 @@
 import * as Fs from 'node:fs';
-import { Resolver } from '@jsonic/multisource';
+import { Resolver } from '@tabnas/multisource';
 import { Val, DONE, SPREAD } from './val/Val';
 import type { ValMark, ValSpec } from './val/Val';
 type FST = typeof Fs;

package/dist/unify.js

@@ -130,13 +130,39 @@ const unite = (ctx, a, b, whence) => {
             // because the branch that set `out = X.unify(Y, ctx)` already
             // ran that Val's own unify logic.
             if (!out.done && !unified) {
-                out = out.unify((0, top_1.top)(), te ? ctx.clone({ explain: (0, utility_1.ec)(te, 'ND') }) : ctx);
-                why += 'T';
+                // Once per pass per (Val, path): within a single fixpoint pass
+                // nothing external to the subtree changes, so repeating the TOP
+                // self-unify — which conjunct folds otherwise trigger once per
+                // fold term — is pure re-work, and on large models (hundreds of
+                // sibling terms) the repeats trip the MAXCYCLE guard as a false
+                // positive. The path is part of the key: a shared Val can
+                // resolve path-dependent content differently per location.
+                if (undefined !== ctx.cc
+                    && out._tcc === ctx.cc && out._tpi === ctx.pathidx) {
+                    why += 't';
+                }
+                else {
+                    out = out.unify((0, top_1.top)(), te ? ctx.clone({ explain: (0, utility_1.ec)(te, 'ND') }) : ctx);
+                    if (!out.done && undefined !== ctx.cc) {
+                        ;
+                        out._tcc = ctx.cc;
+                        out._tpi = ctx.pathidx;
+                    }
+                    why += 'T';
+                }
             }
         }
         catch (err) {
-            // TODO: handle unexpected
-            out = (0, err_1.makeNilErr)(ctx, 'internal', a, b);
+            // This catch-all converts an unexpected exception into an 'internal'
+            // Nil so one bad node doesn't crash a whole unify. To avoid fully
+            // masking regressions, preserve the original error message (and a
+            // RangeError flag — i.e. stack overflow from runaway recursion) on
+            // the Nil's details so it surfaces in the formatted error rather
+            // than vanishing. See err.ts (descErr) for how details render.
+            out = (0, err_1.makeNilErr)(ctx, 'internal', a, b, undefined, {
+                error: String(err?.message ?? err),
+                ...(err instanceof RangeError ? { overflow: true } : {}),
+            });
         }
     }
     ctx.explain && (0, utility_1.explainClose)(te, out);
@@ -183,6 +209,7 @@ class Unify {
             // uctx.seterr(this.err)
             uctx.err = this.err;
             uctx.explain = this.explain;
+            uctx.snapmap = new Map();
             const explain = null == ctx?.explain ? undefined : ctx?.explain;
             const te = explain && (0, utility_1.explainOpen)(uctx, explain, 'root', res);
             // NOTE: if true === res.done already, then this loop never needs to run.