@kalada/codemirror 0.1.0

package/README.md

@@ -0,0 +1,20 @@
+# @kalada/codemirror
+
+Thin CodeMirror 6 lifecycle and protocol translation for `@kalada/language-service`.
+
+```ts
+const session = createKaladaEditorSession({
+  service,
+  document: { uri: "memory:///expression.kalada", version: 1, text: "data." },
+});
+const view = new EditorView({ doc: "data.", extensions: [session.extension], parent });
+```
+
+One session exclusively owns one open URI and at most one attached view. Text-changing transactions,
+including undo and redo, become monotonic language-service revisions. `replaceDocument`, `format`,
+`refreshEnvironment`, and `dispose` preserve request identity and stale/cancellation checks. Dispose is
+idempotent; destroying a view detaches it without closing the session.
+
+CodeMirror packages are peers so consumers use one set of state classes. This package has no parser,
+schema traversal, inference, evaluation, filesystem, or network behavior. Tooltips use DOM text nodes,
+and the extension includes keyboard completion, keyboard hover, Escape handling, and accessible labels.

package/dist/index.cjs

@@ -0,0 +1,474 @@
+'use strict';
+
+var autocomplete = require('@codemirror/autocomplete');
+var commands = require('@codemirror/commands');
+var lint = require('@codemirror/lint');
+var state = require('@codemirror/state');
+var view = require('@codemirror/view');
+
+// src/session.ts
+function detectLineSeparator(text) {
+  if (text.includes("\r\n")) return "\r\n";
+  if (text.includes("\r")) return "\r";
+  return "\n";
+}
+function textForEditor(text) {
+  return state.Text.of(text.split(/\r\n|\r|\n/u));
+}
+function textFromEditor(document, lineSeparator) {
+  return document.sliceString(0, document.length, lineSeparator);
+}
+
+// src/render.ts
+function hoverTooltip(info, position) {
+  return {
+    pos: position,
+    above: true,
+    create(view) {
+      const document = view.dom.ownerDocument;
+      const dom = document.createElement("section");
+      dom.className = "cm-kalada-hover";
+      dom.setAttribute("role", "tooltip");
+      dom.setAttribute("aria-label", "Kalada expression information");
+      appendSection(document, dom, "Input editor shape", info.input.map(shapeText));
+      appendSection(document, dom, "Output Kalada semantic projection", [semanticText(info)]);
+      appendSection(document, dom, "Presence / branch conditions", [accessText(info)]);
+      appendSection(document, dom, "Limit/unknown evidence", info.evidence.map(evidenceText));
+      return { dom };
+    }
+  };
+}
+function appendSection(document, parent, heading, values) {
+  const title = document.createElement("strong");
+  title.textContent = heading;
+  parent.append(title);
+  const list = document.createElement("ul");
+  for (const value of values.length > 0 ? values : ["None"]) {
+    const item = document.createElement("li");
+    item.textContent = value;
+    list.append(item);
+  }
+  parent.append(list);
+}
+function shapeText(summary) {
+  const fields = summary.fields.map(
+    ({ name, presence, accessible }) => `${name} (${presence}, ${accessible ? "accessible" : "inspect only"})`
+  ).join(", ");
+  const scalar = summary.scalar ? ` ${summary.scalar}` : "";
+  return `${summary.kind}${scalar}; ${summary.presence}; fields: ${fields || "none"}`;
+}
+function semanticText(info) {
+  const type = info.output.type === "dynamic" ? "dynamic" : JSON.stringify(info.output.type);
+  return `${info.output.known ? "Known" : "Unknown"}: ${type}`;
+}
+function accessText(info) {
+  return `Access: ${info.access}`;
+}
+function evidenceText(evidence) {
+  return `${evidence.code} at ${evidence.path.join(".") || "root"}`;
+}
+
+// src/translation.ts
+function changesToEdits(startDoc, newDoc, changes, snapshot, lineSeparator = "\n") {
+  const offsets = [];
+  changes.iterChanges((fromA, toA, _fromB, _toB, inserted) => {
+    offsets.push({
+      from: fromA,
+      to: toA,
+      insert: inserted.sliceString(0, inserted.length, lineSeparator)
+    });
+  });
+  const coalesced = coalesceInserts(offsets);
+  const translated = coalesced.map((edit) => offsetEdit(edit, startDoc, snapshot.lineIndex));
+  if (translated.every((edit) => edit !== null)) return translated;
+  return [wholeDocumentEdit(snapshot, newDoc.sliceString(0, newDoc.length, lineSeparator))];
+}
+function rangeToOffsets(document, range) {
+  const from = offsetAt(document, range.start.line, range.start.character);
+  const to = offsetAt(document, range.end.line, range.end.character);
+  return from === null || to === null || from > to ? null : { from, to };
+}
+function diagnosticOffsets(document, range) {
+  return rangeToOffsets(document, range) ?? { from: 0, to: 0 };
+}
+function offsetEdit(edit, document, index) {
+  const start = positionAt(document, edit.from);
+  const end = positionAt(document, edit.to);
+  if (index.offsetAt(start) !== edit.from || index.offsetAt(end) !== edit.to) return null;
+  return { range: { start, end }, text: edit.insert };
+}
+function positionAt(document, offset) {
+  const line = document.lineAt(offset);
+  return { line: line.number - 1, character: offset - line.from };
+}
+function offsetAt(document, line, character) {
+  if (!Number.isSafeInteger(line) || !Number.isSafeInteger(character) || line < 0 || character < 0) {
+    return null;
+  }
+  if (line >= document.lines) return null;
+  const found = document.line(line + 1);
+  return character <= found.length ? found.from + character : null;
+}
+function coalesceInserts(edits) {
+  const output = [];
+  for (const edit of edits) {
+    const previous = output.at(-1);
+    if (previous && previous.from === edit.from && previous.to === edit.to && edit.from === edit.to) {
+      output[output.length - 1] = { ...previous, insert: `${previous.insert}${edit.insert}` };
+    } else output.push(edit);
+  }
+  return output;
+}
+function wholeDocumentEdit(snapshot, text) {
+  return {
+    range: {
+      start: { line: 0, character: 0 },
+      end: snapshot.lineIndex.positionAt(snapshot.text.length)
+    },
+    text
+  };
+}
+
+// src/session-helpers.ts
+function positionAt2(document, offset) {
+  const line = document.lineAt(offset);
+  return { line: line.number - 1, character: offset - line.from };
+}
+function translatedTooltip(result, view) {
+  const range = result.hover ? rangeToOffsets(view.state.doc, result.hover.range) : null;
+  if (!range || !result.hover) return null;
+  return { ...hoverTooltip(result.hover, range.from), end: range.to };
+}
+function translateDiagnostic(diagnostic, view) {
+  const range = diagnostic.source ? diagnosticOffsets(view.state.doc, diagnostic.source.range) : { from: 0, to: 0 };
+  return { ...range, severity: "error", message: diagnostic.message };
+}
+function animationWindow(view) {
+  const window = view.dom.ownerDocument.defaultView;
+  if (!window) throw new Error("CodeMirror view has no window");
+  return window;
+}
+function wholeReplacement(snapshot, text) {
+  return {
+    range: {
+      start: { line: 0, character: 0 },
+      end: snapshot.lineIndex.positionAt(snapshot.text.length)
+    },
+    text
+  };
+}
+var setKeyboardTooltip = state.StateEffect.define();
+var keyboardTooltipField = state.StateField.define({
+  create: () => [],
+  update(value, transaction) {
+    let next = value;
+    for (const effect of transaction.effects) {
+      if (effect.is(setKeyboardTooltip)) next = effect.value ? [effect.value] : [];
+    }
+    return next;
+  },
+  provide: (field) => view.showTooltip.computeN([field], (state) => state.field(field))
+});
+
+// src/session.ts
+function createKaladaEditorSession(options) {
+  return new EditorSession(options);
+}
+var EditorSession = class {
+  extension;
+  service;
+  uri;
+  onDocumentChange;
+  lineSeparator = new state.Compartment();
+  view = null;
+  expectedText;
+  revision;
+  disposed = false;
+  viewEpoch = 0;
+  completionEpoch = 0;
+  hoverEpoch = 0;
+  diagnosticsEpoch = 0;
+  diagnosticsFrame = null;
+  constructor(options) {
+    this.service = options.service;
+    this.uri = options.document.uri;
+    this.onDocumentChange = options.onDocumentChange;
+    const opened = this.service.openDocument(options.document);
+    this.expectedText = opened.text;
+    this.revision = opened.version;
+    this.extension = this.createExtension();
+  }
+  refreshEnvironment() {
+    this.assertOpen();
+    this.invalidateRequests();
+    const view = this.view;
+    if (!view) return;
+    this.clearEditor(view, false);
+    this.scheduleDiagnostics(view);
+  }
+  replaceDocument(text) {
+    this.assertOpen();
+    if (typeof text !== "string") throw new TypeError("Replacement text must be a string");
+    const view = this.view;
+    if (view) {
+      const separator = detectLineSeparator(text);
+      view.dispatch({
+        changes: { from: 0, to: view.state.doc.length, insert: textForEditor(text) },
+        selection: state.EditorSelection.cursor(0),
+        annotations: state.Transaction.addToHistory.of(true),
+        effects: separator === view.state.lineBreak ? void 0 : this.lineSeparator.reconfigure(state.EditorState.lineSeparator.of(separator))
+      });
+      return;
+    }
+    const current = this.requireDocument();
+    const snapshot = this.service.updateDocument({
+      uri: this.uri,
+      version: this.nextRevision(),
+      edits: [wholeReplacement(current, text)]
+    });
+    this.expectedText = snapshot.text;
+    this.invalidateRequests();
+    this.notify(snapshot);
+  }
+  format() {
+    this.assertOpen();
+    const view = this.view;
+    if (!view) return false;
+    const epoch = this.completionEpoch;
+    const result = this.service.format(this.uri, {
+      cancellation: this.cancellation("completion", epoch)
+    });
+    if (result.kind !== "format" || !result.edit || !this.publishable(result, view, epoch, "completion")) {
+      return false;
+    }
+    const range = rangeToOffsets(view.state.doc, result.edit.range);
+    if (!range) return false;
+    view.dispatch({
+      changes: { ...range, insert: textForEditor(result.edit.text) },
+      annotations: state.Transaction.addToHistory.of(true)
+    });
+    return true;
+  }
+  dispose() {
+    if (this.disposed) return;
+    this.disposed = true;
+    this.invalidateRequests();
+    this.cancelDiagnosticsFrame();
+    const view = this.view;
+    if (view) this.clearEditor(view, true);
+    this.view = null;
+    this.service.closeDocument(this.uri);
+  }
+  createExtension() {
+    const session = this;
+    const lifecycle = view.ViewPlugin.define((view) => {
+      session.attach(view);
+      return {
+        update(update) {
+          session.updateView(update);
+        },
+        destroy() {
+          session.detach(view);
+        }
+      };
+    });
+    return [
+      lifecycle,
+      this.lineSeparator.of(state.EditorState.lineSeparator.of(detectLineSeparator(this.expectedText))),
+      commands.history(),
+      autocomplete.autocompletion({ override: [(context) => this.complete(context)] }),
+      view.hoverTooltip((view, position) => this.pointerHover(view, position)),
+      keyboardTooltipField,
+      view.keymap.of([
+        ...autocomplete.completionKeymap,
+        ...commands.historyKeymap,
+        { key: "Mod-Shift-h", run: (view) => this.keyboardHover(view) },
+        { key: "Escape", run: (view) => this.clearInteractions(view) }
+      ]),
+      view.EditorView.contentAttributes.of({ "aria-label": "Kalada expression editor" })
+    ];
+  }
+  attach(view) {
+    this.assertOpen();
+    if (this.view && this.view !== view)
+      throw new Error("Kalada editor session already has a view");
+    if (textFromEditor(view.state.doc, view.state.lineBreak) !== this.expectedText) {
+      throw new Error("CodeMirror document does not match the opened Kalada document");
+    }
+    this.view = view;
+    this.viewEpoch += 1;
+    this.scheduleDiagnostics(view);
+  }
+  detach(view) {
+    if (this.view !== view) return;
+    this.cancelDiagnosticsFrame();
+    this.invalidateRequests();
+    this.view = null;
+    this.viewEpoch += 1;
+  }
+  updateView(update) {
+    if (this.disposed || !update.docChanged) return;
+    this.invalidateRequests();
+    for (const transaction of update.transactions) {
+      if (transaction.docChanged) this.applyTransaction(transaction);
+    }
+    this.expectedText = textFromEditor(update.state.doc, update.state.lineBreak);
+    this.scheduleDiagnostics(update.view);
+  }
+  applyTransaction(transaction) {
+    const current = this.requireDocument();
+    const startText = textFromEditor(transaction.startState.doc, transaction.startState.lineBreak);
+    if (current.text !== startText) {
+      throw new Error("CodeMirror and language-service snapshots diverged");
+    }
+    const edits = changesToEdits(
+      transaction.startState.doc,
+      transaction.newDoc,
+      transaction.changes,
+      current,
+      transaction.state.lineBreak
+    );
+    const snapshot = this.service.updateDocument({
+      uri: this.uri,
+      version: this.nextRevision(),
+      edits
+    });
+    if (snapshot.text !== textFromEditor(transaction.newDoc, transaction.state.lineBreak)) {
+      throw new Error("CodeMirror transaction translation changed document text");
+    }
+    this.expectedText = snapshot.text;
+    this.notify(snapshot);
+  }
+  complete(context) {
+    const view = this.view;
+    if (!view || view.state !== context.state || this.disposed) return null;
+    const epoch = ++this.completionEpoch;
+    const result = this.service.completion(this.uri, positionAt2(context.state.doc, context.pos), {
+      cancellation: this.cancellation("completion", epoch)
+    });
+    if (result.kind !== "completion" || !this.publishable(result, view, epoch, "completion")) {
+      return null;
+    }
+    const translated = result.items.map(
+      (item) => this.translateCompletion(item, result, view, epoch)
+    );
+    const available = translated.filter((entry) => entry !== null);
+    const first = available[0];
+    return first ? { from: first.from, to: first.to, options: available.map(({ option }) => option) } : null;
+  }
+  translateCompletion(item, identity, view, epoch) {
+    const range = rangeToOffsets(view.state.doc, item.edit.range);
+    if (!range) return null;
+    const option = {
+      label: item.label,
+      type: item.kind === "binding" ? "variable" : item.kind,
+      detail: `${item.support}, ${item.presence}`,
+      boost: item.support === "common" ? 10 : 0,
+      apply: (target) => this.applyCompletion(target, item, identity, epoch)
+    };
+    return { ...range, option };
+  }
+  applyCompletion(view, item, identity, epoch) {
+    if (!this.publishable(identity, view, epoch, "completion")) return;
+    const range = rangeToOffsets(view.state.doc, item.edit.range);
+    if (!range) return;
+    view.dispatch({ changes: { ...range, insert: item.edit.text } });
+  }
+  pointerHover(view, offset) {
+    return this.requestHover(view, offset);
+  }
+  keyboardHover(view) {
+    const tooltip = this.requestHover(view, view.state.selection.main.head);
+    if (!tooltip) return false;
+    view.dispatch({ effects: setKeyboardTooltip.of(tooltip) });
+    return true;
+  }
+  requestHover(view, offset) {
+    const epoch = ++this.hoverEpoch;
+    const result = this.service.hover(this.uri, positionAt2(view.state.doc, offset), {
+      cancellation: this.cancellation("hover", epoch)
+    });
+    if (result.kind !== "hover" || !result.hover || !this.publishable(result, view, epoch, "hover")) {
+      return null;
+    }
+    return translatedTooltip(result, view);
+  }
+  clearInteractions(view) {
+    this.clearEditor(view, false);
+    view.focus();
+    return true;
+  }
+  clearEditor(view$1, diagnostics) {
+    autocomplete.closeCompletion(view$1);
+    const interactions = { effects: [setKeyboardTooltip.of(null), view.closeHoverTooltips] };
+    if (diagnostics) view$1.dispatch(interactions, lint.setDiagnostics(view$1.state, []));
+    else view$1.dispatch(interactions);
+  }
+  scheduleDiagnostics(view) {
+    this.cancelDiagnosticsFrame();
+    const epoch = ++this.diagnosticsEpoch;
+    const viewEpoch = this.viewEpoch;
+    this.diagnosticsFrame = animationWindow(view).requestAnimationFrame(() => {
+      this.diagnosticsFrame = null;
+      const result = this.service.diagnostics(this.uri, {
+        cancellation: this.cancellation("diagnostics", epoch)
+      });
+      if (result.kind !== "diagnostics" || !this.publishable(result, view, epoch, "diagnostics"))
+        return;
+      if (this.viewEpoch !== viewEpoch) return;
+      view.dispatch(
+        lint.setDiagnostics(
+          view.state,
+          result.diagnostics.map((entry) => translateDiagnostic(entry, view))
+        )
+      );
+    });
+  }
+  cancelDiagnosticsFrame() {
+    if (this.diagnosticsFrame === null || !this.view) return;
+    animationWindow(this.view).cancelAnimationFrame(this.diagnosticsFrame);
+    this.diagnosticsFrame = null;
+  }
+  cancellation(kind, epoch) {
+    return {
+      isCancellationRequested: () => this.disposed || this.epoch(kind) !== epoch
+    };
+  }
+  publishable(identity, view, epoch, kind) {
+    return !this.disposed && this.view === view && this.epoch(kind) === epoch && "status" in identity && identity.status === "current" && this.service.isCurrent(identity);
+  }
+  epoch(kind) {
+    if (kind === "completion") return this.completionEpoch;
+    if (kind === "hover") return this.hoverEpoch;
+    return this.diagnosticsEpoch;
+  }
+  invalidateRequests() {
+    this.completionEpoch += 1;
+    this.hoverEpoch += 1;
+    this.diagnosticsEpoch += 1;
+  }
+  nextRevision() {
+    if (this.revision >= Number.MAX_SAFE_INTEGER)
+      throw new RangeError("Kalada document revision exhausted");
+    this.revision += 1;
+    return this.revision;
+  }
+  requireDocument() {
+    const document = this.service.getDocument(this.uri);
+    if (!document) throw new Error("Kalada editor document is not open");
+    return document;
+  }
+  notify(snapshot) {
+    try {
+      this.onDocumentChange?.(snapshot);
+    } catch {
+    }
+  }
+  assertOpen() {
+    if (this.disposed) throw new Error("Kalada editor session is disposed");
+  }
+};
+
+exports.createKaladaEditorSession = createKaladaEditorSession;
+//# sourceMappingURL=index.cjs.map
+//# sourceMappingURL=index.cjs.map

package/dist/index.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/line-separator.ts","../src/render.ts","../src/translation.ts","../src/session-helpers.ts","../src/tooltip-state.ts","../src/session.ts"],"names":["Text","positionAt","StateEffect","StateField","showTooltip","Compartment","EditorSelection","Transaction","EditorState","ViewPlugin","history","autocompletion","codeMirrorHover","keymap","completionKeymap","historyKeymap","EditorView","view","closeCompletion","closeHoverTooltips","setDiagnostics"],"mappings":";;;;;;;;;AAEO,SAAS,oBAAoB,IAAA,EAAsB;AACxD,EAAA,IAAI,IAAA,CAAK,QAAA,CAAS,MAAM,CAAA,EAAG,OAAO,MAAA;AAClC,EAAA,IAAI,IAAA,CAAK,QAAA,CAAS,IAAI,CAAA,EAAG,OAAO,IAAA;AAChC,EAAA,OAAO,IAAA;AACT;AAEO,SAAS,cAAc,IAAA,EAAoB;AAChD,EAAA,OAAOA,UAAA,CAAK,EAAA,CAAG,IAAA,CAAK,KAAA,CAAM,aAAa,CAAC,CAAA;AAC1C;AAEO,SAAS,cAAA,CAAe,UAAgB,aAAA,EAA+B;AAC5E,EAAA,OAAO,QAAA,CAAS,WAAA,CAAY,CAAA,EAAG,QAAA,CAAS,QAAQ,aAAa,CAAA;AAC/D;;;ACXO,SAAS,YAAA,CAAa,MAAiB,QAAA,EAA2B;AACvE,EAAA,OAAO;AAAA,IACL,GAAA,EAAK,QAAA;AAAA,IACL,KAAA,EAAO,IAAA;AAAA,IACP,OAAO,IAAA,EAAkB;AACvB,MAAA,MAAM,QAAA,GAAW,KAAK,GAAA,CAAI,aAAA;AAC1B,MAAA,MAAM,GAAA,GAAM,QAAA,CAAS,aAAA,CAAc,SAAS,CAAA;AAC5C,MAAA,GAAA,CAAI,SAAA,GAAY,iBAAA;AAChB,MAAA,GAAA,CAAI,YAAA,CAAa,QAAQ,SAAS,CAAA;AAClC,MAAA,GAAA,CAAI,YAAA,CAAa,cAAc,+BAA+B,CAAA;AAC9D,MAAA,aAAA,CAAc,UAAU,GAAA,EAAK,oBAAA,EAAsB,KAAK,KAAA,CAAM,GAAA,CAAI,SAAS,CAAC,CAAA;AAC5E,MAAA,aAAA,CAAc,UAAU,GAAA,EAAK,mCAAA,EAAqC,CAAC,YAAA,CAAa,IAAI,CAAC,CAAC,CAAA;AACtF,MAAA,aAAA,CAAc,UAAU,GAAA,EAAK,8BAAA,EAAgC,CAAC,UAAA,CAAW,IAAI,CAAC,CAAC,CAAA;AAC/E,MAAA,aAAA,CAAc,UAAU,GAAA,EAAK,wBAAA,EAA0B,KAAK,QAAA,CAAS,GAAA,CAAI,YAAY,CAAC,CAAA;AACtF,MAAA,OAAO,EAAE,GAAA,EAAI;AAAA,IACf;AAAA,GACF;AACF;AAEA,SAAS,aAAA,CACP,QAAA,EACA,MAAA,EACA,OAAA,EACA,MAAA,EACM;AACN,EAAA,MAAM,KAAA,GAAQ,QAAA,CAAS,aAAA,CAAc,QAAQ,CAAA;AAC7C,EAAA,KAAA,CAAM,WAAA,GAAc,OAAA;AACpB,EAAA,MAAA,CAAO,OAAO,KAAK,CAAA;AACnB,EAAA,MAAM,IAAA,GAAO,QAAA,CAAS,aAAA,CAAc,IAAI,CAAA;AACxC,EAAA,KAAA,MAAW,SAAS,MAAA,CAAO,MAAA,GAAS,IAAI,MAAA,GAAS,CAAC,MAAM,CAAA,EAAG;AACzD,IAAA,MAAM,IAAA,GAAO,QAAA,CAAS,aAAA,CAAc,IAAI,CAAA;AACxC,IAAA,IAAA,CAAK,WAAA,GAAc,KAAA;AACnB,IAAA,IAAA,CAAK,OAAO,IAAI,CAAA;AAAA,EAClB;AACA,EAAA,MAAA,CAAO,OAAO,IAAI,CAAA;AACpB;AAEA,SAAS,UAAU,OAAA,EAA+B;AAChD,EAAA,MAAM,MAAA,GAAS,QAAQ,MAAA,CACpB,GAAA;AAAA,IACC,CAAC,EAAE,IAAA,EAAM,QAAA,EAAU,UAAA,EAAW,KAC5B,CAAA,EAAG,IAAI,CAAA,EAAA,EAAK,QAAQ,CAAA,EAAA,EAAK,UAAA,GAAa,eAAe,cAAc,CAAA,CAAA;AAAA,GACvE,CACC,KAAK,IAAI,CAAA;AACZ,EAAA,MAAM,SAAS,OAAA,CAAQ,MAAA,GAAS,CAAA,CAAA,EAAI,OAAA,CAAQ,MAAM,CAAA,CAAA,GAAK,EAAA;AACvD,EAAA,OAAO,CAAA,EAAG,OAAA,CAAQ,IAAI,CAAA,EAAG,MAAM,KAAK,OAAA,CAAQ,QAAQ,CAAA,UAAA,EAAa,MAAA,IAAU,MAAM,CAAA,CAAA;AACnF;AAEA,SAAS,aAAa,IAAA,EAAyB;AAC7C,EAAA,MAAM,IAAA,GAAO,IAAA,CAAK,MAAA,CAAO,IAAA,KAAS,SAAA,GAAY,YAAY,IAAA,CAAK,SAAA,CAAU,IAAA,CAAK,MAAA,CAAO,IAAI,CAAA;AACzF,EAAA,OAAO,GAAG,IAAA,CAAK,MAAA,CAAO,QAAQ,OAAA,GAAU,SAAS,KAAK,IAAI,CAAA,CAAA;AAC5D;AAEA,SAAS,WAAW,IAAA,EAAyB;AAC3C,EAAA,OAAO,CAAA,QAAA,EAAW,KAAK,MAAM,CAAA,CAAA;AAC/B;AAEA,SAAS,aAAa,QAAA,EAAmC;AACvD,EAAA,OAAO,CAAA,EAAG,SAAS,IAAI,CAAA,IAAA,EAAO,SAAS,IAAA,CAAK,IAAA,CAAK,GAAG,CAAA,IAAK,MAAM,CAAA,CAAA;AACjE;;;ACrDO,SAAS,eACd,QAAA,EACA,MAAA,EACA,OAAA,EACA,QAAA,EACA,gBAAgB,IAAA,EACK;AACrB,EAAA,MAAM,UAAwB,EAAC;AAC/B,EAAA,OAAA,CAAQ,YAAY,CAAC,KAAA,EAAO,GAAA,EAAK,MAAA,EAAQ,MAAM,QAAA,KAAa;AAC1D,IAAA,OAAA,CAAQ,IAAA,CAAK;AAAA,MACX,IAAA,EAAM,KAAA;AAAA,MACN,EAAA,EAAI,GAAA;AAAA,MACJ,QAAQ,QAAA,CAAS,WAAA,CAAY,CAAA,EAAG,QAAA,CAAS,QAAQ,aAAa;AAAA,KAC/D,CAAA;AAAA,EACH,CAAC,CAAA;AACD,EAAA,MAAM,SAAA,GAAY,gBAAgB,OAAO,CAAA;AACzC,EAAA,MAAM,UAAA,GAAa,SAAA,CAAU,GAAA,CAAI,CAAC,IAAA,KAAS,WAAW,IAAA,EAAM,QAAA,EAAU,QAAA,CAAS,SAAS,CAAC,CAAA;AACzF,EAAA,IAAI,WAAW,KAAA,CAAM,CAAC,SAAS,IAAA,KAAS,IAAI,GAAG,OAAO,UAAA;AACtD,EAAA,OAAO,CAAC,iBAAA,CAAkB,QAAA,EAAU,MAAA,CAAO,WAAA,CAAY,GAAG,MAAA,CAAO,MAAA,EAAQ,aAAa,CAAC,CAAC,CAAA;AAC1F;AAEO,SAAS,cAAA,CACd,UACA,KAAA,EAC+C;AAC/C,EAAA,MAAM,IAAA,GAAO,SAAS,QAAA,EAAU,KAAA,CAAM,MAAM,IAAA,EAAM,KAAA,CAAM,MAAM,SAAS,CAAA;AACvE,EAAA,MAAM,EAAA,GAAK,SAAS,QAAA,EAAU,KAAA,CAAM,IAAI,IAAA,EAAM,KAAA,CAAM,IAAI,SAAS,CAAA;AACjE,EAAA,OAAO,IAAA,KAAS,QAAQ,EAAA,KAAO,IAAA,IAAQ,OAAO,EAAA,GAAK,IAAA,GAAO,EAAE,IAAA,EAAM,EAAA,EAAG;AACvE;AAEO,SAAS,iBAAA,CACd,UACA,KAAA,EACwC;AACxC,EAAA,OAAO,cAAA,CAAe,UAAU,KAAK,CAAA,IAAK,EAAE,IAAA,EAAM,CAAA,EAAG,IAAI,CAAA,EAAE;AAC7D;AAEA,SAAS,UAAA,CAAW,IAAA,EAAkB,QAAA,EAAgB,KAAA,EAAwC;AAC5F,EAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,QAAA,EAAU,IAAA,CAAK,IAAI,CAAA;AAC5C,EAAA,MAAM,GAAA,GAAM,UAAA,CAAW,QAAA,EAAU,IAAA,CAAK,EAAE,CAAA;AACxC,EAAA,IAAI,KAAA,CAAM,QAAA,CAAS,KAAK,CAAA,KAAM,IAAA,CAAK,IAAA,IAAQ,KAAA,CAAM,QAAA,CAAS,GAAG,CAAA,KAAM,IAAA,CAAK,EAAA,EAAI,OAAO,IAAA;AACnF,EAAA,OAAO,EAAE,OAAO,EAAE,KAAA,EAAO,KAAI,EAAG,IAAA,EAAM,KAAK,MAAA,EAAO;AACpD;AAEA,SAAS,UAAA,CAAW,UAAgB,MAAA,EAAgB;AAClD,EAAA,MAAM,IAAA,GAAO,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACnC,EAAA,OAAO,EAAE,MAAM,IAAA,CAAK,MAAA,GAAS,GAAG,SAAA,EAAW,MAAA,GAAS,KAAK,IAAA,EAAK;AAChE;AAEA,SAAS,QAAA,CAAS,QAAA,EAAgB,IAAA,EAAc,SAAA,EAAkC;AAChF,EAAA,IACE,CAAC,MAAA,CAAO,aAAA,CAAc,IAAI,CAAA,IAC1B,CAAC,MAAA,CAAO,aAAA,CAAc,SAAS,CAAA,IAC/B,IAAA,GAAO,CAAA,IACP,YAAY,CAAA,EACZ;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,IAAA,IAAQ,QAAA,CAAS,KAAA,EAAO,OAAO,IAAA;AACnC,EAAA,MAAM,KAAA,GAAQ,QAAA,CAAS,IAAA,CAAK,IAAA,GAAO,CAAC,CAAA;AACpC,EAAA,OAAO,SAAA,IAAa,KAAA,CAAM,MAAA,GAAS,KAAA,CAAM,OAAO,SAAA,GAAY,IAAA;AAC9D;AAEA,SAAS,gBAAgB,KAAA,EAA4C;AACnE,EAAA,MAAM,SAAuB,EAAC;AAC9B,EAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,IAAA,MAAM,QAAA,GAAW,MAAA,CAAO,EAAA,CAAG,EAAE,CAAA;AAC7B,IAAA,IACE,QAAA,IACA,QAAA,CAAS,IAAA,KAAS,IAAA,CAAK,IAAA,IACvB,QAAA,CAAS,EAAA,KAAO,IAAA,CAAK,EAAA,IACrB,IAAA,CAAK,IAAA,KAAS,IAAA,CAAK,EAAA,EACnB;AACA,MAAA,MAAA,CAAO,MAAA,CAAO,MAAA,GAAS,CAAC,CAAA,GAAI,EAAE,GAAG,QAAA,EAAU,MAAA,EAAQ,CAAA,EAAG,QAAA,CAAS,MAAM,CAAA,EAAG,IAAA,CAAK,MAAM,CAAA,CAAA,EAAG;AAAA,IACxF,CAAA,MAAO,MAAA,CAAO,IAAA,CAAK,IAAI,CAAA;AAAA,EACzB;AACA,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,iBAAA,CAAkB,UAA4B,IAAA,EAAwB;AAC7E,EAAA,OAAO;AAAA,IACL,KAAA,EAAO;AAAA,MACL,KAAA,EAAO,EAAE,IAAA,EAAM,CAAA,EAAG,WAAW,CAAA,EAAE;AAAA,MAC/B,KAAK,QAAA,CAAS,SAAA,CAAU,UAAA,CAAW,QAAA,CAAS,KAAK,MAAM;AAAA,KACzD;AAAA,IACA;AAAA,GACF;AACF;;;ACrFO,SAASC,WAAAA,CAAW,UAAgB,MAAA,EAAgB;AACzD,EAAA,MAAM,IAAA,GAAO,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACnC,EAAA,OAAO,EAAE,MAAM,IAAA,CAAK,MAAA,GAAS,GAAG,SAAA,EAAW,MAAA,GAAS,KAAK,IAAA,EAAK;AAChE;AAEO,SAAS,iBAAA,CACd,QACA,IAAA,EACA;AACA,EAAA,MAAM,KAAA,GAAQ,MAAA,CAAO,KAAA,GAAQ,cAAA,CAAe,IAAA,CAAK,MAAM,GAAA,EAAK,MAAA,CAAO,KAAA,CAAM,KAAK,CAAA,GAAI,IAAA;AAClF,EAAA,IAAI,CAAC,KAAA,IAAS,CAAC,MAAA,CAAO,OAAO,OAAO,IAAA;AACpC,EAAA,OAAO,EAAE,GAAG,YAAA,CAAa,MAAA,CAAO,KAAA,EAAO,MAAM,IAAI,CAAA,EAAG,GAAA,EAAK,KAAA,CAAM,EAAA,EAAG;AACpE;AAEO,SAAS,mBAAA,CACd,YACA,IAAA,EACY;AACZ,EAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,MAAA,GACrB,iBAAA,CAAkB,KAAK,KAAA,CAAM,GAAA,EAAK,UAAA,CAAW,MAAA,CAAO,KAAK,CAAA,GACzD,EAAE,IAAA,EAAM,CAAA,EAAG,IAAI,CAAA,EAAE;AACrB,EAAA,OAAO,EAAE,GAAG,KAAA,EAAO,UAAU,OAAA,EAAS,OAAA,EAAS,WAAW,OAAA,EAAQ;AACpE;AAEO,SAAS,gBAAgB,IAAA,EAA0B;AACxD,EAAA,MAAM,MAAA,GAAS,IAAA,CAAK,GAAA,CAAI,aAAA,CAAc,WAAA;AACtC,EAAA,IAAI,CAAC,MAAA,EAAQ,MAAM,IAAI,MAAM,+BAA+B,CAAA;AAC5D,EAAA,OAAO,MAAA;AACT;AAEO,SAAS,gBAAA,CAAiB,UAA4B,IAAA,EAAc;AACzE,EAAA,OAAO;AAAA,IACL,KAAA,EAAO;AAAA,MACL,KAAA,EAAO,EAAE,IAAA,EAAM,CAAA,EAAG,WAAW,CAAA,EAAE;AAAA,MAC/B,KAAK,QAAA,CAAS,SAAA,CAAU,UAAA,CAAW,QAAA,CAAS,KAAK,MAAM;AAAA,KACzD;AAAA,IACA;AAAA,GACF;AACF;AC9CO,IAAM,kBAAA,GAAqBC,kBAAY,MAAA,EAAuB;AAE9D,IAAM,oBAAA,GAAuBC,iBAAW,MAAA,CAA2B;AAAA,EACxE,MAAA,EAAQ,MAAM,EAAC;AAAA,EACf,MAAA,CAAO,OAAO,WAAA,EAAa;AACzB,IAAA,IAAI,IAAA,GAAO,KAAA;AACX,IAAA,KAAA,MAAW,MAAA,IAAU,YAAY,OAAA,EAAS;AACxC,MAAA,IAAI,MAAA,CAAO,EAAA,CAAG,kBAAkB,CAAA,EAAG,IAAA,GAAO,MAAA,CAAO,KAAA,GAAQ,CAAC,MAAA,CAAO,KAAK,CAAA,GAAI,EAAC;AAAA,IAC7E;AACA,IAAA,OAAO,IAAA;AAAA,EACT,CAAA;AAAA,EACA,OAAA,EAAS,CAAC,KAAA,KAAUC,gBAAA,CAAY,QAAA,CAAS,CAAC,KAAK,CAAA,EAAG,CAAC,KAAA,KAAU,KAAA,CAAM,KAAA,CAAM,KAAK,CAAC;AACjF,CAAC,CAAA;;;AC4BM,SAAS,0BACd,OAAA,EACqB;AACrB,EAAA,OAAO,IAAI,cAAc,OAAO,CAAA;AAClC;AACA,IAAM,gBAAN,MAAmD;AAAA,EACxC,SAAA;AAAA,EACQ,OAAA;AAAA,EACA,GAAA;AAAA,EACA,gBAAA;AAAA,EACA,aAAA,GAAgB,IAAIC,iBAAA,EAAY;AAAA,EACzC,IAAA,GAA0B,IAAA;AAAA,EAC1B,YAAA;AAAA,EACA,QAAA;AAAA,EACA,QAAA,GAAW,KAAA;AAAA,EACX,SAAA,GAAY,CAAA;AAAA,EACZ,eAAA,GAAkB,CAAA;AAAA,EAClB,UAAA,GAAa,CAAA;AAAA,EACb,gBAAA,GAAmB,CAAA;AAAA,EACnB,gBAAA,GAAkC,IAAA;AAAA,EAE1C,YAAY,OAAA,EAAqC;AAC/C,IAAA,IAAA,CAAK,UAAU,OAAA,CAAQ,OAAA;AACvB,IAAA,IAAA,CAAK,GAAA,GAAM,QAAQ,QAAA,CAAS,GAAA;AAC5B,IAAA,IAAA,CAAK,mBAAmB,OAAA,CAAQ,gBAAA;AAChC,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,OAAA,CAAQ,YAAA,CAAa,QAAQ,QAAQ,CAAA;AACzD,IAAA,IAAA,CAAK,eAAe,MAAA,CAAO,IAAA;AAC3B,IAAA,IAAA,CAAK,WAAW,MAAA,CAAO,OAAA;AACvB,IAAA,IAAA,CAAK,SAAA,GAAY,KAAK,eAAA,EAAgB;AAAA,EACxC;AAAA,EACA,kBAAA,GAA2B;AACzB,IAAA,IAAA,CAAK,UAAA,EAAW;AAChB,IAAA,IAAA,CAAK,kBAAA,EAAmB;AACxB,IAAA,MAAM,OAAO,IAAA,CAAK,IAAA;AAClB,IAAA,IAAI,CAAC,IAAA,EAAM;AACX,IAAA,IAAA,CAAK,WAAA,CAAY,MAAM,KAAK,CAAA;AAC5B,IAAA,IAAA,CAAK,oBAAoB,IAAI,CAAA;AAAA,EAC/B;AAAA,EACA,gBAAgB,IAAA,EAAoB;AAClC,IAAA,IAAA,CAAK,UAAA,EAAW;AAChB,IAAA,IAAI,OAAO,IAAA,KAAS,QAAA,EAAU,MAAM,IAAI,UAAU,mCAAmC,CAAA;AACrF,IAAA,MAAM,OAAO,IAAA,CAAK,IAAA;AAClB,IAAA,IAAI,IAAA,EAAM;AACR,MAAA,MAAM,SAAA,GAAY,oBAAoB,IAAI,CAAA;AAC1C,MAAA,IAAA,CAAK,QAAA,CAAS;AAAA,QACZ,OAAA,EAAS,EAAE,IAAA,EAAM,CAAA,EAAG,EAAA,EAAI,IAAA,CAAK,KAAA,CAAM,GAAA,CAAI,MAAA,EAAQ,MAAA,EAAQ,aAAA,CAAc,IAAI,CAAA,EAAE;AAAA,QAC3E,SAAA,EAAWC,qBAAA,CAAgB,MAAA,CAAO,CAAC,CAAA;AAAA,QACnC,WAAA,EAAaC,iBAAA,CAAY,YAAA,CAAa,EAAA,CAAG,IAAI,CAAA;AAAA,QAC7C,OAAA,EACE,SAAA,KAAc,IAAA,CAAK,KAAA,CAAM,SAAA,GACrB,MAAA,GACA,IAAA,CAAK,aAAA,CAAc,WAAA,CAAYC,iBAAA,CAAY,aAAA,CAAc,EAAA,CAAG,SAAS,CAAC;AAAA,OAC7E,CAAA;AACD,MAAA;AAAA,IACF;AACA,IAAA,MAAM,OAAA,GAAU,KAAK,eAAA,EAAgB;AACrC,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,OAAA,CAAQ,cAAA,CAAe;AAAA,MAC3C,KAAK,IAAA,CAAK,GAAA;AAAA,MACV,OAAA,EAAS,KAAK,YAAA,EAAa;AAAA,MAC3B,KAAA,EAAO,CAAC,gBAAA,CAAiB,OAAA,EAAS,IAAI,CAAC;AAAA,KACxC,CAAA;AACD,IAAA,IAAA,CAAK,eAAe,QAAA,CAAS,IAAA;AAC7B,IAAA,IAAA,CAAK,kBAAA,EAAmB;AACxB,IAAA,IAAA,CAAK,OAAO,QAAQ,CAAA;AAAA,EACtB;AAAA,EACA,MAAA,GAAkB;AAChB,IAAA,IAAA,CAAK,UAAA,EAAW;AAChB,IAAA,MAAM,OAAO,IAAA,CAAK,IAAA;AAClB,IAAA,IAAI,CAAC,MAAM,OAAO,KAAA;AAClB,IAAA,MAAM,QAAQ,IAAA,CAAK,eAAA;AACnB,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,OAAA,CAAQ,MAAA,CAAO,KAAK,GAAA,EAAK;AAAA,MAC3C,YAAA,EAAc,IAAA,CAAK,YAAA,CAAa,YAAA,EAAc,KAAK;AAAA,KACpD,CAAA;AACD,IAAA,IACE,MAAA,CAAO,IAAA,KAAS,QAAA,IAChB,CAAC,MAAA,CAAO,IAAA,IACR,CAAC,IAAA,CAAK,WAAA,CAAY,MAAA,EAAQ,IAAA,EAAM,KAAA,EAAO,YAAY,CAAA,EACnD;AACA,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,MAAM,QAAQ,cAAA,CAAe,IAAA,CAAK,MAAM,GAAA,EAAK,MAAA,CAAO,KAAK,KAAK,CAAA;AAC9D,IAAA,IAAI,CAAC,OAAO,OAAO,KAAA;AACnB,IAAA,IAAA,CAAK,QAAA,CAAS;AAAA,MACZ,OAAA,EAAS,EAAE,GAAG,KAAA,EAAO,QAAQ,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,IAAI,CAAA,EAAE;AAAA,MAC7D,WAAA,EAAaD,iBAAA,CAAY,YAAA,CAAa,EAAA,CAAG,IAAI;AAAA,KAC9C,CAAA;AACD,IAAA,OAAO,IAAA;AAAA,EACT;AAAA,EACA,OAAA,GAAgB;AACd,IAAA,IAAI,KAAK,QAAA,EAAU;AACnB,IAAA,IAAA,CAAK,QAAA,GAAW,IAAA;AAChB,IAAA,IAAA,CAAK,kBAAA,EAAmB;AACxB,IAAA,IAAA,CAAK,sBAAA,EAAuB;AAC5B,IAAA,MAAM,OAAO,IAAA,CAAK,IAAA;AAClB,IAAA,IAAI,IAAA,EAAM,IAAA,CAAK,WAAA,CAAY,IAAA,EAAM,IAAI,CAAA;AACrC,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,OAAA,CAAQ,aAAA,CAAc,IAAA,CAAK,GAAG,CAAA;AAAA,EACrC;AAAA,EAEQ,eAAA,GAAkB;AACxB,IAAA,MAAM,OAAA,GAAU,IAAA;AAChB,IAAA,MAAM,SAAA,GAAYE,eAAA,CAAW,MAAA,CAAO,CAAC,IAAA,KAAS;AAC5C,MAAA,OAAA,CAAQ,OAAO,IAAI,CAAA;AACnB,MAAA,OAAO;AAAA,QACL,OAAO,MAAA,EAA0B;AAC/B,UAAA,OAAA,CAAQ,WAAW,MAAM,CAAA;AAAA,QAC3B,CAAA;AAAA,QACA,OAAA,GAAgB;AACd,UAAA,OAAA,CAAQ,OAAO,IAAI,CAAA;AAAA,QACrB;AAAA,OACF;AAAA,IACF,CAAC,CAAA;AACD,IAAA,OAAO;AAAA,MACL,SAAA;AAAA,MACA,IAAA,CAAK,aAAA,CAAc,EAAA,CAAGD,iBAAA,CAAY,aAAA,CAAc,GAAG,mBAAA,CAAoB,IAAA,CAAK,YAAY,CAAC,CAAC,CAAA;AAAA,MAC1FE,gBAAA,EAAQ;AAAA,MACRC,2BAAA,CAAe,EAAE,QAAA,EAAU,CAAC,CAAC,OAAA,KAAY,IAAA,CAAK,QAAA,CAAS,OAAO,CAAC,CAAA,EAAG,CAAA;AAAA,MAClEC,iBAAA,CAAgB,CAAC,IAAA,EAAM,QAAA,KAAa,KAAK,YAAA,CAAa,IAAA,EAAM,QAAQ,CAAC,CAAA;AAAA,MACrE,oBAAA;AAAA,MACAC,YAAO,EAAA,CAAG;AAAA,QACR,GAAGC,6BAAA;AAAA,QACH,GAAGC,sBAAA;AAAA,QACH,EAAE,KAAK,aAAA,EAAe,GAAA,EAAK,CAAC,IAAA,KAAS,IAAA,CAAK,aAAA,CAAc,IAAI,CAAA,EAAE;AAAA,QAC9D,EAAE,KAAK,QAAA,EAAU,GAAA,EAAK,CAAC,IAAA,KAAS,IAAA,CAAK,iBAAA,CAAkB,IAAI,CAAA;AAAE,OAC9D,CAAA;AAAA,MACDC,gBAAW,iBAAA,CAAkB,EAAA,CAAG,EAAE,YAAA,EAAc,4BAA4B;AAAA,KAC9E;AAAA,EACF;AAAA,EAEQ,OAAO,IAAA,EAAwB;AACrC,IAAA,IAAA,CAAK,UAAA,EAAW;AAChB,IAAA,IAAI,IAAA,CAAK,IAAA,IAAQ,IAAA,CAAK,IAAA,KAAS,IAAA;AAC7B,MAAA,MAAM,IAAI,MAAM,0CAA0C,CAAA;AAC5D,IAAA,IAAI,cAAA,CAAe,KAAK,KAAA,CAAM,GAAA,EAAK,KAAK,KAAA,CAAM,SAAS,CAAA,KAAM,IAAA,CAAK,YAAA,EAAc;AAC9E,MAAA,MAAM,IAAI,MAAM,+DAA+D,CAAA;AAAA,IACjF;AACA,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,SAAA,IAAa,CAAA;AAClB,IAAA,IAAA,CAAK,oBAAoB,IAAI,CAAA;AAAA,EAC/B;AAAA,EAEQ,OAAO,IAAA,EAAwB;AACrC,IAAA,IAAI,IAAA,CAAK,SAAS,IAAA,EAAM;AACxB,IAAA,IAAA,CAAK,sBAAA,EAAuB;AAC5B,IAAA,IAAA,CAAK,kBAAA,EAAmB;AACxB,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,SAAA,IAAa,CAAA;AAAA,EACpB;AAAA,EAEQ,WAAW,MAAA,EAA0B;AAC3C,IAAA,IAAI,IAAA,CAAK,QAAA,IAAY,CAAC,MAAA,CAAO,UAAA,EAAY;AACzC,IAAA,IAAA,CAAK,kBAAA,EAAmB;AACxB,IAAA,KAAA,MAAW,WAAA,IAAe,OAAO,YAAA,EAAc;AAC7C,MAAA,IAAI,WAAA,CAAY,UAAA,EAAY,IAAA,CAAK,gBAAA,CAAiB,WAAW,CAAA;AAAA,IAC/D;AACA,IAAA,IAAA,CAAK,eAAe,cAAA,CAAe,MAAA,CAAO,MAAM,GAAA,EAAK,MAAA,CAAO,MAAM,SAAS,CAAA;AAC3E,IAAA,IAAA,CAAK,mBAAA,CAAoB,OAAO,IAAI,CAAA;AAAA,EACtC;AAAA,EAEQ,iBAAiB,WAAA,EAAsC;AAC7D,IAAA,MAAM,OAAA,GAAU,KAAK,eAAA,EAAgB;AACrC,IAAA,MAAM,YAAY,cAAA,CAAe,WAAA,CAAY,WAAW,GAAA,EAAK,WAAA,CAAY,WAAW,SAAS,CAAA;AAC7F,IAAA,IAAI,OAAA,CAAQ,SAAS,SAAA,EAAW;AAC9B,MAAA,MAAM,IAAI,MAAM,oDAAoD,CAAA;AAAA,IACtE;AACA,IAAA,MAAM,KAAA,GAAQ,cAAA;AAAA,MACZ,YAAY,UAAA,CAAW,GAAA;AAAA,MACvB,WAAA,CAAY,MAAA;AAAA,MACZ,WAAA,CAAY,OAAA;AAAA,MACZ,OAAA;AAAA,MACA,YAAY,KAAA,CAAM;AAAA,KACpB;AACA,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,OAAA,CAAQ,cAAA,CAAe;AAAA,MAC3C,KAAK,IAAA,CAAK,GAAA;AAAA,MACV,OAAA,EAAS,KAAK,YAAA,EAAa;AAAA,MAC3B;AAAA,KACD,CAAA;AACD,IAAA,IAAI,QAAA,CAAS,SAAS,cAAA,CAAe,WAAA,CAAY,QAAQ,WAAA,CAAY,KAAA,CAAM,SAAS,CAAA,EAAG;AACrF,MAAA,MAAM,IAAI,MAAM,0DAA0D,CAAA;AAAA,IAC5E;AACA,IAAA,IAAA,CAAK,eAAe,QAAA,CAAS,IAAA;AAC7B,IAAA,IAAA,CAAK,OAAO,QAAQ,CAAA;AAAA,EACtB;AAAA,EAEQ,SAAS,OAAA,EAA+D;AAC9E,IAAA,MAAM,OAAO,IAAA,CAAK,IAAA;AAClB,IAAA,IAAI,CAAC,QAAQ,IAAA,CAAK,KAAA,KAAU,QAAQ,KAAA,IAAS,IAAA,CAAK,UAAU,OAAO,IAAA;AACnE,IAAA,MAAM,KAAA,GAAQ,EAAE,IAAA,CAAK,eAAA;AACrB,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,OAAA,CAAQ,UAAA,CAAW,IAAA,CAAK,GAAA,EAAKf,WAAAA,CAAW,OAAA,CAAQ,KAAA,CAAM,GAAA,EAAK,OAAA,CAAQ,GAAG,CAAA,EAAG;AAAA,MAC3F,YAAA,EAAc,IAAA,CAAK,YAAA,CAAa,YAAA,EAAc,KAAK;AAAA,KACpD,CAAA;AACD,IAAA,IAAI,MAAA,CAAO,IAAA,KAAS,YAAA,IAAgB,CAAC,IAAA,CAAK,YAAY,MAAA,EAAQ,IAAA,EAAM,KAAA,EAAO,YAAY,CAAA,EAAG;AACxF,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,UAAA,GAAa,OAAO,KAAA,CAAM,GAAA;AAAA,MAAI,CAAC,IAAA,KACnC,IAAA,CAAK,oBAAoB,IAAA,EAAM,MAAA,EAAQ,MAAM,KAAK;AAAA,KACpD;AACA,IAAA,MAAM,YAAY,UAAA,CAAW,MAAA,CAAO,CAAC,KAAA,KAAU,UAAU,IAAI,CAAA;AAC7D,IAAA,MAAM,KAAA,GAAQ,UAAU,CAAC,CAAA;AACzB,IAAA,OAAO,QACH,EAAE,IAAA,EAAM,KAAA,CAAM,IAAA,EAAM,IAAI,KAAA,CAAM,EAAA,EAAI,OAAA,EAAS,SAAA,CAAU,IAAI,CAAC,EAAE,QAAO,KAAM,MAAM,GAAE,GACjF,IAAA;AAAA,EACN;AAAA,EAEQ,mBAAA,CACN,IAAA,EACA,QAAA,EACA,IAAA,EACA,KAAA,EACmE;AACnE,IAAA,MAAM,QAAQ,cAAA,CAAe,IAAA,CAAK,MAAM,GAAA,EAAK,IAAA,CAAK,KAAK,KAAK,CAAA;AAC5D,IAAA,IAAI,CAAC,OAAO,OAAO,IAAA;AACnB,IAAA,MAAM,MAAA,GAAqB;AAAA,MACzB,OAAO,IAAA,CAAK,KAAA;AAAA,MACZ,IAAA,EAAM,IAAA,CAAK,IAAA,KAAS,SAAA,GAAY,aAAa,IAAA,CAAK,IAAA;AAAA,MAClD,QAAQ,CAAA,EAAG,IAAA,CAAK,OAAO,CAAA,EAAA,EAAK,KAAK,QAAQ,CAAA,CAAA;AAAA,MACzC,KAAA,EAAO,IAAA,CAAK,OAAA,KAAY,QAAA,GAAW,EAAA,GAAK,CAAA;AAAA,MACxC,KAAA,EAAO,CAAC,MAAA,KAAW,IAAA,CAAK,gBAAgB,MAAA,EAAQ,IAAA,EAAM,UAAU,KAAK;AAAA,KACvE;AACA,IAAA,OAAO,EAAE,GAAG,KAAA,EAAO,MAAA,EAAO;AAAA,EAC5B;AAAA,EAEQ,eAAA,CACN,IAAA,EACA,IAAA,EACA,QAAA,EACA,KAAA,EACM;AACN,IAAA,IAAI,CAAC,IAAA,CAAK,WAAA,CAAY,UAAU,IAAA,EAAM,KAAA,EAAO,YAAY,CAAA,EAAG;AAC5D,IAAA,MAAM,QAAQ,cAAA,CAAe,IAAA,CAAK,MAAM,GAAA,EAAK,IAAA,CAAK,KAAK,KAAK,CAAA;AAC5D,IAAA,IAAI,CAAC,KAAA,EAAO;AACZ,IAAA,IAAA,CAAK,QAAA,CAAS,EAAE,OAAA,EAAS,EAAE,GAAG,KAAA,EAAO,MAAA,EAAQ,IAAA,CAAK,IAAA,CAAK,IAAA,EAAK,EAAG,CAAA;AAAA,EACjE;AAAA,EAEQ,YAAA,CAAa,MAAkB,MAAA,EAAgC;AACrE,IAAA,OAAO,IAAA,CAAK,YAAA,CAAa,IAAA,EAAM,MAAM,CAAA;AAAA,EACvC;AAAA,EAEQ,cAAc,IAAA,EAA2B;AAC/C,IAAA,MAAM,OAAA,GAAU,KAAK,YAAA,CAAa,IAAA,EAAM,KAAK,KAAA,CAAM,SAAA,CAAU,KAAK,IAAI,CAAA;AACtE,IAAA,IAAI,CAAC,SAAS,OAAO,KAAA;AACrB,IAAA,IAAA,CAAK,SAAS,EAAE,OAAA,EAAS,mBAAmB,EAAA,CAAG,OAAO,GAAG,CAAA;AACzD,IAAA,OAAO,IAAA;AAAA,EACT;AAAA,EAEQ,YAAA,CAAa,MAAkB,MAAA,EAAgC;AACrE,IAAA,MAAM,KAAA,GAAQ,EAAE,IAAA,CAAK,UAAA;AACrB,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,OAAA,CAAQ,KAAA,CAAM,IAAA,CAAK,GAAA,EAAKA,WAAAA,CAAW,IAAA,CAAK,KAAA,CAAM,GAAA,EAAK,MAAM,CAAA,EAAG;AAAA,MAC9E,YAAA,EAAc,IAAA,CAAK,YAAA,CAAa,OAAA,EAAS,KAAK;AAAA,KAC/C,CAAA;AACD,IAAA,IACE,MAAA,CAAO,IAAA,KAAS,OAAA,IAChB,CAAC,MAAA,CAAO,KAAA,IACR,CAAC,IAAA,CAAK,WAAA,CAAY,MAAA,EAAQ,IAAA,EAAM,KAAA,EAAO,OAAO,CAAA,EAC9C;AACA,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,OAAO,iBAAA,CAAkB,QAAQ,IAAI,CAAA;AAAA,EACvC;AAAA,EAEQ,kBAAkB,IAAA,EAA2B;AACnD,IAAA,IAAA,CAAK,WAAA,CAAY,MAAM,KAAK,CAAA;AAC5B,IAAA,IAAA,CAAK,KAAA,EAAM;AACX,IAAA,OAAO,IAAA;AAAA,EACT;AAAA,EAEQ,WAAA,CAAYgB,QAAkB,WAAA,EAA4B;AAChE,IAAAC,4BAAA,CAAgBD,MAAI,CAAA;AACpB,IAAA,MAAM,YAAA,GAAe,EAAE,OAAA,EAAS,CAAC,mBAAmB,EAAA,CAAG,IAAI,CAAA,EAAGE,uBAAkB,CAAA,EAAE;AAClF,IAAA,IAAI,WAAA,SAAkB,QAAA,CAAS,YAAA,EAAcC,oBAAeH,MAAA,CAAK,KAAA,EAAO,EAAE,CAAC,CAAA;AAAA,SACtEA,MAAA,CAAK,SAAS,YAAY,CAAA;AAAA,EACjC;AAAA,EACQ,oBAAoB,IAAA,EAAwB;AAClD,IAAA,IAAA,CAAK,sBAAA,EAAuB;AAC5B,IAAA,MAAM,KAAA,GAAQ,EAAE,IAAA,CAAK,gBAAA;AACrB,IAAA,MAAM,YAAY,IAAA,CAAK,SAAA;AACvB,IAAA,IAAA,CAAK,gBAAA,GAAmB,eAAA,CAAgB,IAAI,CAAA,CAAE,sBAAsB,MAAM;AACxE,MAAA,IAAA,CAAK,gBAAA,GAAmB,IAAA;AACxB,MAAA,MAAM,MAAA,GAAS,IAAA,CAAK,OAAA,CAAQ,WAAA,CAAY,KAAK,GAAA,EAAK;AAAA,QAChD,YAAA,EAAc,IAAA,CAAK,YAAA,CAAa,aAAA,EAAe,KAAK;AAAA,OACrD,CAAA;AACD,MAAA,IAAI,MAAA,CAAO,SAAS,aAAA,IAAiB,CAAC,KAAK,WAAA,CAAY,MAAA,EAAQ,IAAA,EAAM,KAAA,EAAO,aAAa,CAAA;AACvF,QAAA;AACF,MAAA,IAAI,IAAA,CAAK,cAAc,SAAA,EAAW;AAClC,MAAA,IAAA,CAAK,QAAA;AAAA,QACHG,mBAAA;AAAA,UACE,IAAA,CAAK,KAAA;AAAA,UACL,MAAA,CAAO,YAAY,GAAA,CAAI,CAAC,UAAU,mBAAA,CAAoB,KAAA,EAAO,IAAI,CAAC;AAAA;AACpE,OACF;AAAA,IACF,CAAC,CAAA;AAAA,EACH;AAAA,EACQ,sBAAA,GAA+B;AACrC,IAAA,IAAI,IAAA,CAAK,gBAAA,KAAqB,IAAA,IAAQ,CAAC,KAAK,IAAA,EAAM;AAClD,IAAA,eAAA,CAAgB,IAAA,CAAK,IAAI,CAAA,CAAE,oBAAA,CAAqB,KAAK,gBAAgB,CAAA;AACrE,IAAA,IAAA,CAAK,gBAAA,GAAmB,IAAA;AAAA,EAC1B;AAAA,EAEQ,YAAA,CAAa,MAAmB,KAAA,EAAe;AACrD,IAAA,OAAO;AAAA,MACL,yBAAyB,MAAM,IAAA,CAAK,YAAY,IAAA,CAAK,KAAA,CAAM,IAAI,CAAA,KAAM;AAAA,KACvE;AAAA,EACF;AAAA,EAEQ,WAAA,CACN,QAAA,EACA,IAAA,EACA,KAAA,EACA,IAAA,EACS;AACT,IAAA,OACE,CAAC,IAAA,CAAK,QAAA,IACN,KAAK,IAAA,KAAS,IAAA,IACd,KAAK,KAAA,CAAM,IAAI,MAAM,KAAA,IACrB,QAAA,IAAY,YACZ,QAAA,CAAS,MAAA,KAAW,aACpB,IAAA,CAAK,OAAA,CAAQ,UAAU,QAAQ,CAAA;AAAA,EAEnC;AAAA,EAEQ,MAAM,IAAA,EAA2B;AACvC,IAAA,IAAI,IAAA,KAAS,YAAA,EAAc,OAAO,IAAA,CAAK,eAAA;AACvC,IAAA,IAAI,IAAA,KAAS,OAAA,EAAS,OAAO,IAAA,CAAK,UAAA;AAClC,IAAA,OAAO,IAAA,CAAK,gBAAA;AAAA,EACd;AAAA,EAEQ,kBAAA,GAA2B;AACjC,IAAA,IAAA,CAAK,eAAA,IAAmB,CAAA;AACxB,IAAA,IAAA,CAAK,UAAA,IAAc,CAAA;AACnB,IAAA,IAAA,CAAK,gBAAA,IAAoB,CAAA;AAAA,EAC3B;AAAA,EAEQ,YAAA,GAAuB;AAC7B,IAAA,IAAI,IAAA,CAAK,YAAY,MAAA,CAAO,gBAAA;AAC1B,MAAA,MAAM,IAAI,WAAW,oCAAoC,CAAA;AAC3D,IAAA,IAAA,CAAK,QAAA,IAAY,CAAA;AACjB,IAAA,OAAO,IAAA,CAAK,QAAA;AAAA,EACd;AAAA,EAEQ,eAAA,GAAoC;AAC1C,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,OAAA,CAAQ,WAAA,CAAY,KAAK,GAAG,CAAA;AAClD,IAAA,IAAI,CAAC,QAAA,EAAU,MAAM,IAAI,MAAM,oCAAoC,CAAA;AACnE,IAAA,OAAO,QAAA;AAAA,EACT;AAAA,EAEQ,OAAO,QAAA,EAAkC;AAC/C,IAAA,IAAI;AACF,MAAA,IAAA,CAAK,mBAAmB,QAAQ,CAAA;AAAA,IAClC,CAAA,CAAA,MAAQ;AAAA,IAAC;AAAA,EACX;AAAA,EAEQ,UAAA,GAAmB;AACzB,IAAA,IAAI,IAAA,CAAK,QAAA,EAAU,MAAM,IAAI,MAAM,mCAAmC,CAAA;AAAA,EACxE;AACF,CAAA","file":"index.cjs","sourcesContent":["import { Text } from \"@codemirror/state\";\n\nexport function detectLineSeparator(text: string): string {\n  if (text.includes(\"\\r\\n\")) return \"\\r\\n\";\n  if (text.includes(\"\\r\")) return \"\\r\";\n  return \"\\n\";\n}\n\nexport function textForEditor(text: string): Text {\n  return Text.of(text.split(/\\r\\n|\\r|\\n/u));\n}\n\nexport function textFromEditor(document: Text, lineSeparator: string): string {\n  return document.sliceString(0, document.length, lineSeparator);\n}\n","import type { EditorView, Tooltip } from \"@codemirror/view\";\nimport type { HoverInfo, ShapeSummary, ToolingEvidence } from \"@kalada/language-service\";\n\nexport function hoverTooltip(info: HoverInfo, position: number): Tooltip {\n  return {\n    pos: position,\n    above: true,\n    create(view: EditorView) {\n      const document = view.dom.ownerDocument;\n      const dom = document.createElement(\"section\");\n      dom.className = \"cm-kalada-hover\";\n      dom.setAttribute(\"role\", \"tooltip\");\n      dom.setAttribute(\"aria-label\", \"Kalada expression information\");\n      appendSection(document, dom, \"Input editor shape\", info.input.map(shapeText));\n      appendSection(document, dom, \"Output Kalada semantic projection\", [semanticText(info)]);\n      appendSection(document, dom, \"Presence / branch conditions\", [accessText(info)]);\n      appendSection(document, dom, \"Limit/unknown evidence\", info.evidence.map(evidenceText));\n      return { dom };\n    },\n  };\n}\n\nfunction appendSection(\n  document: Document,\n  parent: HTMLElement,\n  heading: string,\n  values: readonly string[],\n): void {\n  const title = document.createElement(\"strong\");\n  title.textContent = heading;\n  parent.append(title);\n  const list = document.createElement(\"ul\");\n  for (const value of values.length > 0 ? values : [\"None\"]) {\n    const item = document.createElement(\"li\");\n    item.textContent = value;\n    list.append(item);\n  }\n  parent.append(list);\n}\n\nfunction shapeText(summary: ShapeSummary): string {\n  const fields = summary.fields\n    .map(\n      ({ name, presence, accessible }) =>\n        `${name} (${presence}, ${accessible ? \"accessible\" : \"inspect only\"})`,\n    )\n    .join(\", \");\n  const scalar = summary.scalar ? ` ${summary.scalar}` : \"\";\n  return `${summary.kind}${scalar}; ${summary.presence}; fields: ${fields || \"none\"}`;\n}\n\nfunction semanticText(info: HoverInfo): string {\n  const type = info.output.type === \"dynamic\" ? \"dynamic\" : JSON.stringify(info.output.type);\n  return `${info.output.known ? \"Known\" : \"Unknown\"}: ${type}`;\n}\n\nfunction accessText(info: HoverInfo): string {\n  return `Access: ${info.access}`;\n}\n\nfunction evidenceText(evidence: ToolingEvidence): string {\n  return `${evidence.code} at ${evidence.path.join(\".\") || \"root\"}`;\n}\n","import type { Text } from \"@codemirror/state\";\nimport type { DocumentSnapshot, TextEdit, Utf16LineIndex } from \"@kalada/language-service\";\n\ninterface OffsetEdit {\n  readonly from: number;\n  readonly to: number;\n  readonly insert: string;\n}\n\nexport function changesToEdits(\n  startDoc: Text,\n  newDoc: Text,\n  changes: Readonly<{ iterChanges: (callback: ChangeCallback) => void }>,\n  snapshot: DocumentSnapshot,\n  lineSeparator = \"\\n\",\n): readonly TextEdit[] {\n  const offsets: OffsetEdit[] = [];\n  changes.iterChanges((fromA, toA, _fromB, _toB, inserted) => {\n    offsets.push({\n      from: fromA,\n      to: toA,\n      insert: inserted.sliceString(0, inserted.length, lineSeparator),\n    });\n  });\n  const coalesced = coalesceInserts(offsets);\n  const translated = coalesced.map((edit) => offsetEdit(edit, startDoc, snapshot.lineIndex));\n  if (translated.every((edit) => edit !== null)) return translated as readonly TextEdit[];\n  return [wholeDocumentEdit(snapshot, newDoc.sliceString(0, newDoc.length, lineSeparator))];\n}\n\nexport function rangeToOffsets(\n  document: Text,\n  range: TextEdit[\"range\"],\n): Readonly<{ from: number; to: number }> | null {\n  const from = offsetAt(document, range.start.line, range.start.character);\n  const to = offsetAt(document, range.end.line, range.end.character);\n  return from === null || to === null || from > to ? null : { from, to };\n}\n\nexport function diagnosticOffsets(\n  document: Text,\n  range: TextEdit[\"range\"],\n): Readonly<{ from: number; to: number }> {\n  return rangeToOffsets(document, range) ?? { from: 0, to: 0 };\n}\n\nfunction offsetEdit(edit: OffsetEdit, document: Text, index: Utf16LineIndex): TextEdit | null {\n  const start = positionAt(document, edit.from);\n  const end = positionAt(document, edit.to);\n  if (index.offsetAt(start) !== edit.from || index.offsetAt(end) !== edit.to) return null;\n  return { range: { start, end }, text: edit.insert };\n}\n\nfunction positionAt(document: Text, offset: number) {\n  const line = document.lineAt(offset);\n  return { line: line.number - 1, character: offset - line.from };\n}\n\nfunction offsetAt(document: Text, line: number, character: number): number | null {\n  if (\n    !Number.isSafeInteger(line) ||\n    !Number.isSafeInteger(character) ||\n    line < 0 ||\n    character < 0\n  ) {\n    return null;\n  }\n  if (line >= document.lines) return null;\n  const found = document.line(line + 1);\n  return character <= found.length ? found.from + character : null;\n}\n\nfunction coalesceInserts(edits: readonly OffsetEdit[]): OffsetEdit[] {\n  const output: OffsetEdit[] = [];\n  for (const edit of edits) {\n    const previous = output.at(-1);\n    if (\n      previous &&\n      previous.from === edit.from &&\n      previous.to === edit.to &&\n      edit.from === edit.to\n    ) {\n      output[output.length - 1] = { ...previous, insert: `${previous.insert}${edit.insert}` };\n    } else output.push(edit);\n  }\n  return output;\n}\n\nfunction wholeDocumentEdit(snapshot: DocumentSnapshot, text: string): TextEdit {\n  return {\n    range: {\n      start: { line: 0, character: 0 },\n      end: snapshot.lineIndex.positionAt(snapshot.text.length),\n    },\n    text,\n  };\n}\n\ntype ChangeCallback = (\n  fromA: number,\n  toA: number,\n  fromB: number,\n  toB: number,\n  inserted: Text,\n) => void;\n","import type { Diagnostic } from \"@codemirror/lint\";\nimport type { Text } from \"@codemirror/state\";\nimport type { EditorView } from \"@codemirror/view\";\nimport type {\n  DocumentSnapshot,\n  HoverResult,\n  LanguageServiceDiagnostic,\n} from \"@kalada/language-service\";\nimport { hoverTooltip } from \"./render.js\";\nimport { diagnosticOffsets, rangeToOffsets } from \"./translation.js\";\n\nexport function positionAt(document: Text, offset: number) {\n  const line = document.lineAt(offset);\n  return { line: line.number - 1, character: offset - line.from };\n}\n\nexport function translatedTooltip(\n  result: Extract<HoverResult, { kind: \"hover\" }>,\n  view: EditorView,\n) {\n  const range = result.hover ? rangeToOffsets(view.state.doc, result.hover.range) : null;\n  if (!range || !result.hover) return null;\n  return { ...hoverTooltip(result.hover, range.from), end: range.to };\n}\n\nexport function translateDiagnostic(\n  diagnostic: LanguageServiceDiagnostic,\n  view: EditorView,\n): Diagnostic {\n  const range = diagnostic.source\n    ? diagnosticOffsets(view.state.doc, diagnostic.source.range)\n    : { from: 0, to: 0 };\n  return { ...range, severity: \"error\", message: diagnostic.message };\n}\n\nexport function animationWindow(view: EditorView): Window {\n  const window = view.dom.ownerDocument.defaultView;\n  if (!window) throw new Error(\"CodeMirror view has no window\");\n  return window;\n}\n\nexport function wholeReplacement(snapshot: DocumentSnapshot, text: string) {\n  return {\n    range: {\n      start: { line: 0, character: 0 },\n      end: snapshot.lineIndex.positionAt(snapshot.text.length),\n    },\n    text,\n  };\n}\n","import { StateEffect, StateField } from \"@codemirror/state\";\nimport { showTooltip, type Tooltip } from \"@codemirror/view\";\n\nexport const setKeyboardTooltip = StateEffect.define<Tooltip | null>();\n\nexport const keyboardTooltipField = StateField.define<readonly Tooltip[]>({\n  create: () => [],\n  update(value, transaction) {\n    let next = value;\n    for (const effect of transaction.effects) {\n      if (effect.is(setKeyboardTooltip)) next = effect.value ? [effect.value] : [];\n    }\n    return next;\n  },\n  provide: (field) => showTooltip.computeN([field], (state) => state.field(field)),\n});\n","import {\n  autocompletion,\n  type CompletionResult as CodeMirrorCompletionResult,\n  type Completion,\n  type CompletionContext,\n  closeCompletion,\n  completionKeymap,\n} from \"@codemirror/autocomplete\";\nimport { history, historyKeymap } from \"@codemirror/commands\";\nimport { setDiagnostics } from \"@codemirror/lint\";\nimport {\n  Compartment,\n  EditorSelection,\n  EditorState,\n  type Transaction as EditorTransaction,\n  Transaction,\n} from \"@codemirror/state\";\nimport {\n  closeHoverTooltips,\n  hoverTooltip as codeMirrorHover,\n  EditorView,\n  keymap,\n  type Tooltip,\n  ViewPlugin,\n  type ViewUpdate,\n} from \"@codemirror/view\";\nimport type {\n  CompletionItem,\n  DocumentSnapshot,\n  LanguageService,\n  SnapshotIdentity,\n} from \"@kalada/language-service\";\nimport type { KaladaEditorSession, KaladaEditorSessionOptions } from \"./contracts.js\";\nimport { detectLineSeparator, textForEditor, textFromEditor } from \"./line-separator.js\";\nimport {\n  animationWindow,\n  positionAt,\n  translateDiagnostic,\n  translatedTooltip,\n  wholeReplacement,\n} from \"./session-helpers.js\";\nimport { keyboardTooltipField, setKeyboardTooltip } from \"./tooltip-state.js\";\nimport { changesToEdits, rangeToOffsets } from \"./translation.js\";\nexport function createKaladaEditorSession(\n  options: KaladaEditorSessionOptions,\n): KaladaEditorSession {\n  return new EditorSession(options);\n}\nclass EditorSession implements KaladaEditorSession {\n  readonly extension;\n  private readonly service: LanguageService;\n  private readonly uri: string;\n  private readonly onDocumentChange?: (snapshot: DocumentSnapshot) => void;\n  private readonly lineSeparator = new Compartment();\n  private view: EditorView | null = null;\n  private expectedText: string;\n  private revision: number;\n  private disposed = false;\n  private viewEpoch = 0;\n  private completionEpoch = 0;\n  private hoverEpoch = 0;\n  private diagnosticsEpoch = 0;\n  private diagnosticsFrame: number | null = null;\n\n  constructor(options: KaladaEditorSessionOptions) {\n    this.service = options.service;\n    this.uri = options.document.uri;\n    this.onDocumentChange = options.onDocumentChange;\n    const opened = this.service.openDocument(options.document);\n    this.expectedText = opened.text;\n    this.revision = opened.version;\n    this.extension = this.createExtension();\n  }\n  refreshEnvironment(): void {\n    this.assertOpen();\n    this.invalidateRequests();\n    const view = this.view;\n    if (!view) return;\n    this.clearEditor(view, false);\n    this.scheduleDiagnostics(view);\n  }\n  replaceDocument(text: string): void {\n    this.assertOpen();\n    if (typeof text !== \"string\") throw new TypeError(\"Replacement text must be a string\");\n    const view = this.view;\n    if (view) {\n      const separator = detectLineSeparator(text);\n      view.dispatch({\n        changes: { from: 0, to: view.state.doc.length, insert: textForEditor(text) },\n        selection: EditorSelection.cursor(0),\n        annotations: Transaction.addToHistory.of(true),\n        effects:\n          separator === view.state.lineBreak\n            ? undefined\n            : this.lineSeparator.reconfigure(EditorState.lineSeparator.of(separator)),\n      });\n      return;\n    }\n    const current = this.requireDocument();\n    const snapshot = this.service.updateDocument({\n      uri: this.uri,\n      version: this.nextRevision(),\n      edits: [wholeReplacement(current, text)],\n    });\n    this.expectedText = snapshot.text;\n    this.invalidateRequests();\n    this.notify(snapshot);\n  }\n  format(): boolean {\n    this.assertOpen();\n    const view = this.view;\n    if (!view) return false;\n    const epoch = this.completionEpoch;\n    const result = this.service.format(this.uri, {\n      cancellation: this.cancellation(\"completion\", epoch),\n    });\n    if (\n      result.kind !== \"format\" ||\n      !result.edit ||\n      !this.publishable(result, view, epoch, \"completion\")\n    ) {\n      return false;\n    }\n    const range = rangeToOffsets(view.state.doc, result.edit.range);\n    if (!range) return false;\n    view.dispatch({\n      changes: { ...range, insert: textForEditor(result.edit.text) },\n      annotations: Transaction.addToHistory.of(true),\n    });\n    return true;\n  }\n  dispose(): void {\n    if (this.disposed) return;\n    this.disposed = true;\n    this.invalidateRequests();\n    this.cancelDiagnosticsFrame();\n    const view = this.view;\n    if (view) this.clearEditor(view, true);\n    this.view = null;\n    this.service.closeDocument(this.uri);\n  }\n\n  private createExtension() {\n    const session = this;\n    const lifecycle = ViewPlugin.define((view) => {\n      session.attach(view);\n      return {\n        update(update: ViewUpdate): void {\n          session.updateView(update);\n        },\n        destroy(): void {\n          session.detach(view);\n        },\n      };\n    });\n    return [\n      lifecycle,\n      this.lineSeparator.of(EditorState.lineSeparator.of(detectLineSeparator(this.expectedText))),\n      history(),\n      autocompletion({ override: [(context) => this.complete(context)] }),\n      codeMirrorHover((view, position) => this.pointerHover(view, position)),\n      keyboardTooltipField,\n      keymap.of([\n        ...completionKeymap,\n        ...historyKeymap,\n        { key: \"Mod-Shift-h\", run: (view) => this.keyboardHover(view) },\n        { key: \"Escape\", run: (view) => this.clearInteractions(view) },\n      ]),\n      EditorView.contentAttributes.of({ \"aria-label\": \"Kalada expression editor\" }),\n    ];\n  }\n\n  private attach(view: EditorView): void {\n    this.assertOpen();\n    if (this.view && this.view !== view)\n      throw new Error(\"Kalada editor session already has a view\");\n    if (textFromEditor(view.state.doc, view.state.lineBreak) !== this.expectedText) {\n      throw new Error(\"CodeMirror document does not match the opened Kalada document\");\n    }\n    this.view = view;\n    this.viewEpoch += 1;\n    this.scheduleDiagnostics(view);\n  }\n\n  private detach(view: EditorView): void {\n    if (this.view !== view) return;\n    this.cancelDiagnosticsFrame();\n    this.invalidateRequests();\n    this.view = null;\n    this.viewEpoch += 1;\n  }\n\n  private updateView(update: ViewUpdate): void {\n    if (this.disposed || !update.docChanged) return;\n    this.invalidateRequests();\n    for (const transaction of update.transactions) {\n      if (transaction.docChanged) this.applyTransaction(transaction);\n    }\n    this.expectedText = textFromEditor(update.state.doc, update.state.lineBreak);\n    this.scheduleDiagnostics(update.view);\n  }\n\n  private applyTransaction(transaction: EditorTransaction): void {\n    const current = this.requireDocument();\n    const startText = textFromEditor(transaction.startState.doc, transaction.startState.lineBreak);\n    if (current.text !== startText) {\n      throw new Error(\"CodeMirror and language-service snapshots diverged\");\n    }\n    const edits = changesToEdits(\n      transaction.startState.doc,\n      transaction.newDoc,\n      transaction.changes,\n      current,\n      transaction.state.lineBreak,\n    );\n    const snapshot = this.service.updateDocument({\n      uri: this.uri,\n      version: this.nextRevision(),\n      edits,\n    });\n    if (snapshot.text !== textFromEditor(transaction.newDoc, transaction.state.lineBreak)) {\n      throw new Error(\"CodeMirror transaction translation changed document text\");\n    }\n    this.expectedText = snapshot.text;\n    this.notify(snapshot);\n  }\n\n  private complete(context: CompletionContext): CodeMirrorCompletionResult | null {\n    const view = this.view;\n    if (!view || view.state !== context.state || this.disposed) return null;\n    const epoch = ++this.completionEpoch;\n    const result = this.service.completion(this.uri, positionAt(context.state.doc, context.pos), {\n      cancellation: this.cancellation(\"completion\", epoch),\n    });\n    if (result.kind !== \"completion\" || !this.publishable(result, view, epoch, \"completion\")) {\n      return null;\n    }\n    const translated = result.items.map((item) =>\n      this.translateCompletion(item, result, view, epoch),\n    );\n    const available = translated.filter((entry) => entry !== null);\n    const first = available[0];\n    return first\n      ? { from: first.from, to: first.to, options: available.map(({ option }) => option) }\n      : null;\n  }\n\n  private translateCompletion(\n    item: CompletionItem,\n    identity: SnapshotIdentity,\n    view: EditorView,\n    epoch: number,\n  ): Readonly<{ from: number; to: number; option: Completion }> | null {\n    const range = rangeToOffsets(view.state.doc, item.edit.range);\n    if (!range) return null;\n    const option: Completion = {\n      label: item.label,\n      type: item.kind === \"binding\" ? \"variable\" : item.kind,\n      detail: `${item.support}, ${item.presence}`,\n      boost: item.support === \"common\" ? 10 : 0,\n      apply: (target) => this.applyCompletion(target, item, identity, epoch),\n    };\n    return { ...range, option };\n  }\n\n  private applyCompletion(\n    view: EditorView,\n    item: CompletionItem,\n    identity: SnapshotIdentity,\n    epoch: number,\n  ): void {\n    if (!this.publishable(identity, view, epoch, \"completion\")) return;\n    const range = rangeToOffsets(view.state.doc, item.edit.range);\n    if (!range) return;\n    view.dispatch({ changes: { ...range, insert: item.edit.text } });\n  }\n\n  private pointerHover(view: EditorView, offset: number): Tooltip | null {\n    return this.requestHover(view, offset);\n  }\n\n  private keyboardHover(view: EditorView): boolean {\n    const tooltip = this.requestHover(view, view.state.selection.main.head);\n    if (!tooltip) return false;\n    view.dispatch({ effects: setKeyboardTooltip.of(tooltip) });\n    return true;\n  }\n\n  private requestHover(view: EditorView, offset: number): Tooltip | null {\n    const epoch = ++this.hoverEpoch;\n    const result = this.service.hover(this.uri, positionAt(view.state.doc, offset), {\n      cancellation: this.cancellation(\"hover\", epoch),\n    });\n    if (\n      result.kind !== \"hover\" ||\n      !result.hover ||\n      !this.publishable(result, view, epoch, \"hover\")\n    ) {\n      return null;\n    }\n    return translatedTooltip(result, view);\n  }\n\n  private clearInteractions(view: EditorView): boolean {\n    this.clearEditor(view, false);\n    view.focus();\n    return true;\n  }\n\n  private clearEditor(view: EditorView, diagnostics: boolean): void {\n    closeCompletion(view);\n    const interactions = { effects: [setKeyboardTooltip.of(null), closeHoverTooltips] };\n    if (diagnostics) view.dispatch(interactions, setDiagnostics(view.state, []));\n    else view.dispatch(interactions);\n  }\n  private scheduleDiagnostics(view: EditorView): void {\n    this.cancelDiagnosticsFrame();\n    const epoch = ++this.diagnosticsEpoch;\n    const viewEpoch = this.viewEpoch;\n    this.diagnosticsFrame = animationWindow(view).requestAnimationFrame(() => {\n      this.diagnosticsFrame = null;\n      const result = this.service.diagnostics(this.uri, {\n        cancellation: this.cancellation(\"diagnostics\", epoch),\n      });\n      if (result.kind !== \"diagnostics\" || !this.publishable(result, view, epoch, \"diagnostics\"))\n        return;\n      if (this.viewEpoch !== viewEpoch) return;\n      view.dispatch(\n        setDiagnostics(\n          view.state,\n          result.diagnostics.map((entry) => translateDiagnostic(entry, view)),\n        ),\n      );\n    });\n  }\n  private cancelDiagnosticsFrame(): void {\n    if (this.diagnosticsFrame === null || !this.view) return;\n    animationWindow(this.view).cancelAnimationFrame(this.diagnosticsFrame);\n    this.diagnosticsFrame = null;\n  }\n\n  private cancellation(kind: RequestKind, epoch: number) {\n    return {\n      isCancellationRequested: () => this.disposed || this.epoch(kind) !== epoch,\n    };\n  }\n\n  private publishable(\n    identity: SnapshotIdentity,\n    view: EditorView,\n    epoch: number,\n    kind: RequestKind,\n  ): boolean {\n    return (\n      !this.disposed &&\n      this.view === view &&\n      this.epoch(kind) === epoch &&\n      \"status\" in identity &&\n      identity.status === \"current\" &&\n      this.service.isCurrent(identity)\n    );\n  }\n\n  private epoch(kind: RequestKind): number {\n    if (kind === \"completion\") return this.completionEpoch;\n    if (kind === \"hover\") return this.hoverEpoch;\n    return this.diagnosticsEpoch;\n  }\n\n  private invalidateRequests(): void {\n    this.completionEpoch += 1;\n    this.hoverEpoch += 1;\n    this.diagnosticsEpoch += 1;\n  }\n\n  private nextRevision(): number {\n    if (this.revision >= Number.MAX_SAFE_INTEGER)\n      throw new RangeError(\"Kalada document revision exhausted\");\n    this.revision += 1;\n    return this.revision;\n  }\n\n  private requireDocument(): DocumentSnapshot {\n    const document = this.service.getDocument(this.uri);\n    if (!document) throw new Error(\"Kalada editor document is not open\");\n    return document;\n  }\n\n  private notify(snapshot: DocumentSnapshot): void {\n    try {\n      this.onDocumentChange?.(snapshot);\n    } catch {}\n  }\n\n  private assertOpen(): void {\n    if (this.disposed) throw new Error(\"Kalada editor session is disposed\");\n  }\n}\ntype RequestKind = \"completion\" | \"hover\" | \"diagnostics\";\n"]}

package/dist/index.d.cts

@@ -0,0 +1,19 @@
+import { Extension } from '@codemirror/state';
+import { LanguageService, DocumentOpen, DocumentSnapshot } from '@kalada/language-service';
+
+interface KaladaEditorSessionOptions {
+    readonly service: LanguageService;
+    readonly document: DocumentOpen;
+    readonly onDocumentChange?: (snapshot: DocumentSnapshot) => void;
+}
+interface KaladaEditorSession {
+    readonly extension: Extension;
+    readonly refreshEnvironment: () => void;
+    readonly replaceDocument: (text: string) => void;
+    readonly format: () => boolean;
+    readonly dispose: () => void;
+}
+
+declare function createKaladaEditorSession(options: KaladaEditorSessionOptions): KaladaEditorSession;
+
+export { type KaladaEditorSession, type KaladaEditorSessionOptions, createKaladaEditorSession };

package/dist/index.d.ts

@@ -0,0 +1,19 @@
+import { Extension } from '@codemirror/state';
+import { LanguageService, DocumentOpen, DocumentSnapshot } from '@kalada/language-service';
+
+interface KaladaEditorSessionOptions {
+    readonly service: LanguageService;
+    readonly document: DocumentOpen;
+    readonly onDocumentChange?: (snapshot: DocumentSnapshot) => void;
+}
+interface KaladaEditorSession {
+    readonly extension: Extension;
+    readonly refreshEnvironment: () => void;
+    readonly replaceDocument: (text: string) => void;
+    readonly format: () => boolean;
+    readonly dispose: () => void;
+}
+
+declare function createKaladaEditorSession(options: KaladaEditorSessionOptions): KaladaEditorSession;
+
+export { type KaladaEditorSession, type KaladaEditorSessionOptions, createKaladaEditorSession };

package/dist/index.js

@@ -0,0 +1,472 @@
+import { autocompletion, completionKeymap, closeCompletion } from '@codemirror/autocomplete';
+import { history, historyKeymap } from '@codemirror/commands';
+import { setDiagnostics } from '@codemirror/lint';
+import { StateEffect, StateField, Compartment, EditorState, Transaction, EditorSelection, Text } from '@codemirror/state';
+import { showTooltip, ViewPlugin, hoverTooltip as hoverTooltip$1, keymap, EditorView, closeHoverTooltips } from '@codemirror/view';
+
+// src/session.ts
+function detectLineSeparator(text) {
+  if (text.includes("\r\n")) return "\r\n";
+  if (text.includes("\r")) return "\r";
+  return "\n";
+}
+function textForEditor(text) {
+  return Text.of(text.split(/\r\n|\r|\n/u));
+}
+function textFromEditor(document, lineSeparator) {
+  return document.sliceString(0, document.length, lineSeparator);
+}
+
+// src/render.ts
+function hoverTooltip(info, position) {
+  return {
+    pos: position,
+    above: true,
+    create(view) {
+      const document = view.dom.ownerDocument;
+      const dom = document.createElement("section");
+      dom.className = "cm-kalada-hover";
+      dom.setAttribute("role", "tooltip");
+      dom.setAttribute("aria-label", "Kalada expression information");
+      appendSection(document, dom, "Input editor shape", info.input.map(shapeText));
+      appendSection(document, dom, "Output Kalada semantic projection", [semanticText(info)]);
+      appendSection(document, dom, "Presence / branch conditions", [accessText(info)]);
+      appendSection(document, dom, "Limit/unknown evidence", info.evidence.map(evidenceText));
+      return { dom };
+    }
+  };
+}
+function appendSection(document, parent, heading, values) {
+  const title = document.createElement("strong");
+  title.textContent = heading;
+  parent.append(title);
+  const list = document.createElement("ul");
+  for (const value of values.length > 0 ? values : ["None"]) {
+    const item = document.createElement("li");
+    item.textContent = value;
+    list.append(item);
+  }
+  parent.append(list);
+}
+function shapeText(summary) {
+  const fields = summary.fields.map(
+    ({ name, presence, accessible }) => `${name} (${presence}, ${accessible ? "accessible" : "inspect only"})`
+  ).join(", ");
+  const scalar = summary.scalar ? ` ${summary.scalar}` : "";
+  return `${summary.kind}${scalar}; ${summary.presence}; fields: ${fields || "none"}`;
+}
+function semanticText(info) {
+  const type = info.output.type === "dynamic" ? "dynamic" : JSON.stringify(info.output.type);
+  return `${info.output.known ? "Known" : "Unknown"}: ${type}`;
+}
+function accessText(info) {
+  return `Access: ${info.access}`;
+}
+function evidenceText(evidence) {
+  return `${evidence.code} at ${evidence.path.join(".") || "root"}`;
+}
+
+// src/translation.ts
+function changesToEdits(startDoc, newDoc, changes, snapshot, lineSeparator = "\n") {
+  const offsets = [];
+  changes.iterChanges((fromA, toA, _fromB, _toB, inserted) => {
+    offsets.push({
+      from: fromA,
+      to: toA,
+      insert: inserted.sliceString(0, inserted.length, lineSeparator)
+    });
+  });
+  const coalesced = coalesceInserts(offsets);
+  const translated = coalesced.map((edit) => offsetEdit(edit, startDoc, snapshot.lineIndex));
+  if (translated.every((edit) => edit !== null)) return translated;
+  return [wholeDocumentEdit(snapshot, newDoc.sliceString(0, newDoc.length, lineSeparator))];
+}
+function rangeToOffsets(document, range) {
+  const from = offsetAt(document, range.start.line, range.start.character);
+  const to = offsetAt(document, range.end.line, range.end.character);
+  return from === null || to === null || from > to ? null : { from, to };
+}
+function diagnosticOffsets(document, range) {
+  return rangeToOffsets(document, range) ?? { from: 0, to: 0 };
+}
+function offsetEdit(edit, document, index) {
+  const start = positionAt(document, edit.from);
+  const end = positionAt(document, edit.to);
+  if (index.offsetAt(start) !== edit.from || index.offsetAt(end) !== edit.to) return null;
+  return { range: { start, end }, text: edit.insert };
+}
+function positionAt(document, offset) {
+  const line = document.lineAt(offset);
+  return { line: line.number - 1, character: offset - line.from };
+}
+function offsetAt(document, line, character) {
+  if (!Number.isSafeInteger(line) || !Number.isSafeInteger(character) || line < 0 || character < 0) {
+    return null;
+  }
+  if (line >= document.lines) return null;
+  const found = document.line(line + 1);
+  return character <= found.length ? found.from + character : null;
+}
+function coalesceInserts(edits) {
+  const output = [];
+  for (const edit of edits) {
+    const previous = output.at(-1);
+    if (previous && previous.from === edit.from && previous.to === edit.to && edit.from === edit.to) {
+      output[output.length - 1] = { ...previous, insert: `${previous.insert}${edit.insert}` };
+    } else output.push(edit);
+  }
+  return output;
+}
+function wholeDocumentEdit(snapshot, text) {
+  return {
+    range: {
+      start: { line: 0, character: 0 },
+      end: snapshot.lineIndex.positionAt(snapshot.text.length)
+    },
+    text
+  };
+}
+
+// src/session-helpers.ts
+function positionAt2(document, offset) {
+  const line = document.lineAt(offset);
+  return { line: line.number - 1, character: offset - line.from };
+}
+function translatedTooltip(result, view) {
+  const range = result.hover ? rangeToOffsets(view.state.doc, result.hover.range) : null;
+  if (!range || !result.hover) return null;
+  return { ...hoverTooltip(result.hover, range.from), end: range.to };
+}
+function translateDiagnostic(diagnostic, view) {
+  const range = diagnostic.source ? diagnosticOffsets(view.state.doc, diagnostic.source.range) : { from: 0, to: 0 };
+  return { ...range, severity: "error", message: diagnostic.message };
+}
+function animationWindow(view) {
+  const window = view.dom.ownerDocument.defaultView;
+  if (!window) throw new Error("CodeMirror view has no window");
+  return window;
+}
+function wholeReplacement(snapshot, text) {
+  return {
+    range: {
+      start: { line: 0, character: 0 },
+      end: snapshot.lineIndex.positionAt(snapshot.text.length)
+    },
+    text
+  };
+}
+var setKeyboardTooltip = StateEffect.define();
+var keyboardTooltipField = StateField.define({
+  create: () => [],
+  update(value, transaction) {
+    let next = value;
+    for (const effect of transaction.effects) {
+      if (effect.is(setKeyboardTooltip)) next = effect.value ? [effect.value] : [];
+    }
+    return next;
+  },
+  provide: (field) => showTooltip.computeN([field], (state) => state.field(field))
+});
+
+// src/session.ts
+function createKaladaEditorSession(options) {
+  return new EditorSession(options);
+}
+var EditorSession = class {
+  extension;
+  service;
+  uri;
+  onDocumentChange;
+  lineSeparator = new Compartment();
+  view = null;
+  expectedText;
+  revision;
+  disposed = false;
+  viewEpoch = 0;
+  completionEpoch = 0;
+  hoverEpoch = 0;
+  diagnosticsEpoch = 0;
+  diagnosticsFrame = null;
+  constructor(options) {
+    this.service = options.service;
+    this.uri = options.document.uri;
+    this.onDocumentChange = options.onDocumentChange;
+    const opened = this.service.openDocument(options.document);
+    this.expectedText = opened.text;
+    this.revision = opened.version;
+    this.extension = this.createExtension();
+  }
+  refreshEnvironment() {
+    this.assertOpen();
+    this.invalidateRequests();
+    const view = this.view;
+    if (!view) return;
+    this.clearEditor(view, false);
+    this.scheduleDiagnostics(view);
+  }
+  replaceDocument(text) {
+    this.assertOpen();
+    if (typeof text !== "string") throw new TypeError("Replacement text must be a string");
+    const view = this.view;
+    if (view) {
+      const separator = detectLineSeparator(text);
+      view.dispatch({
+        changes: { from: 0, to: view.state.doc.length, insert: textForEditor(text) },
+        selection: EditorSelection.cursor(0),
+        annotations: Transaction.addToHistory.of(true),
+        effects: separator === view.state.lineBreak ? void 0 : this.lineSeparator.reconfigure(EditorState.lineSeparator.of(separator))
+      });
+      return;
+    }
+    const current = this.requireDocument();
+    const snapshot = this.service.updateDocument({
+      uri: this.uri,
+      version: this.nextRevision(),
+      edits: [wholeReplacement(current, text)]
+    });
+    this.expectedText = snapshot.text;
+    this.invalidateRequests();
+    this.notify(snapshot);
+  }
+  format() {
+    this.assertOpen();
+    const view = this.view;
+    if (!view) return false;
+    const epoch = this.completionEpoch;
+    const result = this.service.format(this.uri, {
+      cancellation: this.cancellation("completion", epoch)
+    });
+    if (result.kind !== "format" || !result.edit || !this.publishable(result, view, epoch, "completion")) {
+      return false;
+    }
+    const range = rangeToOffsets(view.state.doc, result.edit.range);
+    if (!range) return false;
+    view.dispatch({
+      changes: { ...range, insert: textForEditor(result.edit.text) },
+      annotations: Transaction.addToHistory.of(true)
+    });
+    return true;
+  }
+  dispose() {
+    if (this.disposed) return;
+    this.disposed = true;
+    this.invalidateRequests();
+    this.cancelDiagnosticsFrame();
+    const view = this.view;
+    if (view) this.clearEditor(view, true);
+    this.view = null;
+    this.service.closeDocument(this.uri);
+  }
+  createExtension() {
+    const session = this;
+    const lifecycle = ViewPlugin.define((view) => {
+      session.attach(view);
+      return {
+        update(update) {
+          session.updateView(update);
+        },
+        destroy() {
+          session.detach(view);
+        }
+      };
+    });
+    return [
+      lifecycle,
+      this.lineSeparator.of(EditorState.lineSeparator.of(detectLineSeparator(this.expectedText))),
+      history(),
+      autocompletion({ override: [(context) => this.complete(context)] }),
+      hoverTooltip$1((view, position) => this.pointerHover(view, position)),
+      keyboardTooltipField,
+      keymap.of([
+        ...completionKeymap,
+        ...historyKeymap,
+        { key: "Mod-Shift-h", run: (view) => this.keyboardHover(view) },
+        { key: "Escape", run: (view) => this.clearInteractions(view) }
+      ]),
+      EditorView.contentAttributes.of({ "aria-label": "Kalada expression editor" })
+    ];
+  }
+  attach(view) {
+    this.assertOpen();
+    if (this.view && this.view !== view)
+      throw new Error("Kalada editor session already has a view");
+    if (textFromEditor(view.state.doc, view.state.lineBreak) !== this.expectedText) {
+      throw new Error("CodeMirror document does not match the opened Kalada document");
+    }
+    this.view = view;
+    this.viewEpoch += 1;
+    this.scheduleDiagnostics(view);
+  }
+  detach(view) {
+    if (this.view !== view) return;
+    this.cancelDiagnosticsFrame();
+    this.invalidateRequests();
+    this.view = null;
+    this.viewEpoch += 1;
+  }
+  updateView(update) {
+    if (this.disposed || !update.docChanged) return;
+    this.invalidateRequests();
+    for (const transaction of update.transactions) {
+      if (transaction.docChanged) this.applyTransaction(transaction);
+    }
+    this.expectedText = textFromEditor(update.state.doc, update.state.lineBreak);
+    this.scheduleDiagnostics(update.view);
+  }
+  applyTransaction(transaction) {
+    const current = this.requireDocument();
+    const startText = textFromEditor(transaction.startState.doc, transaction.startState.lineBreak);
+    if (current.text !== startText) {
+      throw new Error("CodeMirror and language-service snapshots diverged");
+    }
+    const edits = changesToEdits(
+      transaction.startState.doc,
+      transaction.newDoc,
+      transaction.changes,
+      current,
+      transaction.state.lineBreak
+    );
+    const snapshot = this.service.updateDocument({
+      uri: this.uri,
+      version: this.nextRevision(),
+      edits
+    });
+    if (snapshot.text !== textFromEditor(transaction.newDoc, transaction.state.lineBreak)) {
+      throw new Error("CodeMirror transaction translation changed document text");
+    }
+    this.expectedText = snapshot.text;
+    this.notify(snapshot);
+  }
+  complete(context) {
+    const view = this.view;
+    if (!view || view.state !== context.state || this.disposed) return null;
+    const epoch = ++this.completionEpoch;
+    const result = this.service.completion(this.uri, positionAt2(context.state.doc, context.pos), {
+      cancellation: this.cancellation("completion", epoch)
+    });
+    if (result.kind !== "completion" || !this.publishable(result, view, epoch, "completion")) {
+      return null;
+    }
+    const translated = result.items.map(
+      (item) => this.translateCompletion(item, result, view, epoch)
+    );
+    const available = translated.filter((entry) => entry !== null);
+    const first = available[0];
+    return first ? { from: first.from, to: first.to, options: available.map(({ option }) => option) } : null;
+  }
+  translateCompletion(item, identity, view, epoch) {
+    const range = rangeToOffsets(view.state.doc, item.edit.range);
+    if (!range) return null;
+    const option = {
+      label: item.label,
+      type: item.kind === "binding" ? "variable" : item.kind,
+      detail: `${item.support}, ${item.presence}`,
+      boost: item.support === "common" ? 10 : 0,
+      apply: (target) => this.applyCompletion(target, item, identity, epoch)
+    };
+    return { ...range, option };
+  }
+  applyCompletion(view, item, identity, epoch) {
+    if (!this.publishable(identity, view, epoch, "completion")) return;
+    const range = rangeToOffsets(view.state.doc, item.edit.range);
+    if (!range) return;
+    view.dispatch({ changes: { ...range, insert: item.edit.text } });
+  }
+  pointerHover(view, offset) {
+    return this.requestHover(view, offset);
+  }
+  keyboardHover(view) {
+    const tooltip = this.requestHover(view, view.state.selection.main.head);
+    if (!tooltip) return false;
+    view.dispatch({ effects: setKeyboardTooltip.of(tooltip) });
+    return true;
+  }
+  requestHover(view, offset) {
+    const epoch = ++this.hoverEpoch;
+    const result = this.service.hover(this.uri, positionAt2(view.state.doc, offset), {
+      cancellation: this.cancellation("hover", epoch)
+    });
+    if (result.kind !== "hover" || !result.hover || !this.publishable(result, view, epoch, "hover")) {
+      return null;
+    }
+    return translatedTooltip(result, view);
+  }
+  clearInteractions(view) {
+    this.clearEditor(view, false);
+    view.focus();
+    return true;
+  }
+  clearEditor(view, diagnostics) {
+    closeCompletion(view);
+    const interactions = { effects: [setKeyboardTooltip.of(null), closeHoverTooltips] };
+    if (diagnostics) view.dispatch(interactions, setDiagnostics(view.state, []));
+    else view.dispatch(interactions);
+  }
+  scheduleDiagnostics(view) {
+    this.cancelDiagnosticsFrame();
+    const epoch = ++this.diagnosticsEpoch;
+    const viewEpoch = this.viewEpoch;
+    this.diagnosticsFrame = animationWindow(view).requestAnimationFrame(() => {
+      this.diagnosticsFrame = null;
+      const result = this.service.diagnostics(this.uri, {
+        cancellation: this.cancellation("diagnostics", epoch)
+      });
+      if (result.kind !== "diagnostics" || !this.publishable(result, view, epoch, "diagnostics"))
+        return;
+      if (this.viewEpoch !== viewEpoch) return;
+      view.dispatch(
+        setDiagnostics(
+          view.state,
+          result.diagnostics.map((entry) => translateDiagnostic(entry, view))
+        )
+      );
+    });
+  }
+  cancelDiagnosticsFrame() {
+    if (this.diagnosticsFrame === null || !this.view) return;
+    animationWindow(this.view).cancelAnimationFrame(this.diagnosticsFrame);
+    this.diagnosticsFrame = null;
+  }
+  cancellation(kind, epoch) {
+    return {
+      isCancellationRequested: () => this.disposed || this.epoch(kind) !== epoch
+    };
+  }
+  publishable(identity, view, epoch, kind) {
+    return !this.disposed && this.view === view && this.epoch(kind) === epoch && "status" in identity && identity.status === "current" && this.service.isCurrent(identity);
+  }
+  epoch(kind) {
+    if (kind === "completion") return this.completionEpoch;
+    if (kind === "hover") return this.hoverEpoch;
+    return this.diagnosticsEpoch;
+  }
+  invalidateRequests() {
+    this.completionEpoch += 1;
+    this.hoverEpoch += 1;
+    this.diagnosticsEpoch += 1;
+  }
+  nextRevision() {
+    if (this.revision >= Number.MAX_SAFE_INTEGER)
+      throw new RangeError("Kalada document revision exhausted");
+    this.revision += 1;
+    return this.revision;
+  }
+  requireDocument() {
+    const document = this.service.getDocument(this.uri);
+    if (!document) throw new Error("Kalada editor document is not open");
+    return document;
+  }
+  notify(snapshot) {
+    try {
+      this.onDocumentChange?.(snapshot);
+    } catch {
+    }
+  }
+  assertOpen() {
+    if (this.disposed) throw new Error("Kalada editor session is disposed");
+  }
+};
+
+export { createKaladaEditorSession };
+//# sourceMappingURL=index.js.map
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/line-separator.ts","../src/render.ts","../src/translation.ts","../src/session-helpers.ts","../src/tooltip-state.ts","../src/session.ts"],"names":["positionAt","codeMirrorHover"],"mappings":";;;;;;;AAEO,SAAS,oBAAoB,IAAA,EAAsB;AACxD,EAAA,IAAI,IAAA,CAAK,QAAA,CAAS,MAAM,CAAA,EAAG,OAAO,MAAA;AAClC,EAAA,IAAI,IAAA,CAAK,QAAA,CAAS,IAAI,CAAA,EAAG,OAAO,IAAA;AAChC,EAAA,OAAO,IAAA;AACT;AAEO,SAAS,cAAc,IAAA,EAAoB;AAChD,EAAA,OAAO,IAAA,CAAK,EAAA,CAAG,IAAA,CAAK,KAAA,CAAM,aAAa,CAAC,CAAA;AAC1C;AAEO,SAAS,cAAA,CAAe,UAAgB,aAAA,EAA+B;AAC5E,EAAA,OAAO,QAAA,CAAS,WAAA,CAAY,CAAA,EAAG,QAAA,CAAS,QAAQ,aAAa,CAAA;AAC/D;;;ACXO,SAAS,YAAA,CAAa,MAAiB,QAAA,EAA2B;AACvE,EAAA,OAAO;AAAA,IACL,GAAA,EAAK,QAAA;AAAA,IACL,KAAA,EAAO,IAAA;AAAA,IACP,OAAO,IAAA,EAAkB;AACvB,MAAA,MAAM,QAAA,GAAW,KAAK,GAAA,CAAI,aAAA;AAC1B,MAAA,MAAM,GAAA,GAAM,QAAA,CAAS,aAAA,CAAc,SAAS,CAAA;AAC5C,MAAA,GAAA,CAAI,SAAA,GAAY,iBAAA;AAChB,MAAA,GAAA,CAAI,YAAA,CAAa,QAAQ,SAAS,CAAA;AAClC,MAAA,GAAA,CAAI,YAAA,CAAa,cAAc,+BAA+B,CAAA;AAC9D,MAAA,aAAA,CAAc,UAAU,GAAA,EAAK,oBAAA,EAAsB,KAAK,KAAA,CAAM,GAAA,CAAI,SAAS,CAAC,CAAA;AAC5E,MAAA,aAAA,CAAc,UAAU,GAAA,EAAK,mCAAA,EAAqC,CAAC,YAAA,CAAa,IAAI,CAAC,CAAC,CAAA;AACtF,MAAA,aAAA,CAAc,UAAU,GAAA,EAAK,8BAAA,EAAgC,CAAC,UAAA,CAAW,IAAI,CAAC,CAAC,CAAA;AAC/E,MAAA,aAAA,CAAc,UAAU,GAAA,EAAK,wBAAA,EAA0B,KAAK,QAAA,CAAS,GAAA,CAAI,YAAY,CAAC,CAAA;AACtF,MAAA,OAAO,EAAE,GAAA,EAAI;AAAA,IACf;AAAA,GACF;AACF;AAEA,SAAS,aAAA,CACP,QAAA,EACA,MAAA,EACA,OAAA,EACA,MAAA,EACM;AACN,EAAA,MAAM,KAAA,GAAQ,QAAA,CAAS,aAAA,CAAc,QAAQ,CAAA;AAC7C,EAAA,KAAA,CAAM,WAAA,GAAc,OAAA;AACpB,EAAA,MAAA,CAAO,OAAO,KAAK,CAAA;AACnB,EAAA,MAAM,IAAA,GAAO,QAAA,CAAS,aAAA,CAAc,IAAI,CAAA;AACxC,EAAA,KAAA,MAAW,SAAS,MAAA,CAAO,MAAA,GAAS,IAAI,MAAA,GAAS,CAAC,MAAM,CAAA,EAAG;AACzD,IAAA,MAAM,IAAA,GAAO,QAAA,CAAS,aAAA,CAAc,IAAI,CAAA;AACxC,IAAA,IAAA,CAAK,WAAA,GAAc,KAAA;AACnB,IAAA,IAAA,CAAK,OAAO,IAAI,CAAA;AAAA,EAClB;AACA,EAAA,MAAA,CAAO,OAAO,IAAI,CAAA;AACpB;AAEA,SAAS,UAAU,OAAA,EAA+B;AAChD,EAAA,MAAM,MAAA,GAAS,QAAQ,MAAA,CACpB,GAAA;AAAA,IACC,CAAC,EAAE,IAAA,EAAM,QAAA,EAAU,UAAA,EAAW,KAC5B,CAAA,EAAG,IAAI,CAAA,EAAA,EAAK,QAAQ,CAAA,EAAA,EAAK,UAAA,GAAa,eAAe,cAAc,CAAA,CAAA;AAAA,GACvE,CACC,KAAK,IAAI,CAAA;AACZ,EAAA,MAAM,SAAS,OAAA,CAAQ,MAAA,GAAS,CAAA,CAAA,EAAI,OAAA,CAAQ,MAAM,CAAA,CAAA,GAAK,EAAA;AACvD,EAAA,OAAO,CAAA,EAAG,OAAA,CAAQ,IAAI,CAAA,EAAG,MAAM,KAAK,OAAA,CAAQ,QAAQ,CAAA,UAAA,EAAa,MAAA,IAAU,MAAM,CAAA,CAAA;AACnF;AAEA,SAAS,aAAa,IAAA,EAAyB;AAC7C,EAAA,MAAM,IAAA,GAAO,IAAA,CAAK,MAAA,CAAO,IAAA,KAAS,SAAA,GAAY,YAAY,IAAA,CAAK,SAAA,CAAU,IAAA,CAAK,MAAA,CAAO,IAAI,CAAA;AACzF,EAAA,OAAO,GAAG,IAAA,CAAK,MAAA,CAAO,QAAQ,OAAA,GAAU,SAAS,KAAK,IAAI,CAAA,CAAA;AAC5D;AAEA,SAAS,WAAW,IAAA,EAAyB;AAC3C,EAAA,OAAO,CAAA,QAAA,EAAW,KAAK,MAAM,CAAA,CAAA;AAC/B;AAEA,SAAS,aAAa,QAAA,EAAmC;AACvD,EAAA,OAAO,CAAA,EAAG,SAAS,IAAI,CAAA,IAAA,EAAO,SAAS,IAAA,CAAK,IAAA,CAAK,GAAG,CAAA,IAAK,MAAM,CAAA,CAAA;AACjE;;;ACrDO,SAAS,eACd,QAAA,EACA,MAAA,EACA,OAAA,EACA,QAAA,EACA,gBAAgB,IAAA,EACK;AACrB,EAAA,MAAM,UAAwB,EAAC;AAC/B,EAAA,OAAA,CAAQ,YAAY,CAAC,KAAA,EAAO,GAAA,EAAK,MAAA,EAAQ,MAAM,QAAA,KAAa;AAC1D,IAAA,OAAA,CAAQ,IAAA,CAAK;AAAA,MACX,IAAA,EAAM,KAAA;AAAA,MACN,EAAA,EAAI,GAAA;AAAA,MACJ,QAAQ,QAAA,CAAS,WAAA,CAAY,CAAA,EAAG,QAAA,CAAS,QAAQ,aAAa;AAAA,KAC/D,CAAA;AAAA,EACH,CAAC,CAAA;AACD,EAAA,MAAM,SAAA,GAAY,gBAAgB,OAAO,CAAA;AACzC,EAAA,MAAM,UAAA,GAAa,SAAA,CAAU,GAAA,CAAI,CAAC,IAAA,KAAS,WAAW,IAAA,EAAM,QAAA,EAAU,QAAA,CAAS,SAAS,CAAC,CAAA;AACzF,EAAA,IAAI,WAAW,KAAA,CAAM,CAAC,SAAS,IAAA,KAAS,IAAI,GAAG,OAAO,UAAA;AACtD,EAAA,OAAO,CAAC,iBAAA,CAAkB,QAAA,EAAU,MAAA,CAAO,WAAA,CAAY,GAAG,MAAA,CAAO,MAAA,EAAQ,aAAa,CAAC,CAAC,CAAA;AAC1F;AAEO,SAAS,cAAA,CACd,UACA,KAAA,EAC+C;AAC/C,EAAA,MAAM,IAAA,GAAO,SAAS,QAAA,EAAU,KAAA,CAAM,MAAM,IAAA,EAAM,KAAA,CAAM,MAAM,SAAS,CAAA;AACvE,EAAA,MAAM,EAAA,GAAK,SAAS,QAAA,EAAU,KAAA,CAAM,IAAI,IAAA,EAAM,KAAA,CAAM,IAAI,SAAS,CAAA;AACjE,EAAA,OAAO,IAAA,KAAS,QAAQ,EAAA,KAAO,IAAA,IAAQ,OAAO,EAAA,GAAK,IAAA,GAAO,EAAE,IAAA,EAAM,EAAA,EAAG;AACvE;AAEO,SAAS,iBAAA,CACd,UACA,KAAA,EACwC;AACxC,EAAA,OAAO,cAAA,CAAe,UAAU,KAAK,CAAA,IAAK,EAAE,IAAA,EAAM,CAAA,EAAG,IAAI,CAAA,EAAE;AAC7D;AAEA,SAAS,UAAA,CAAW,IAAA,EAAkB,QAAA,EAAgB,KAAA,EAAwC;AAC5F,EAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,QAAA,EAAU,IAAA,CAAK,IAAI,CAAA;AAC5C,EAAA,MAAM,GAAA,GAAM,UAAA,CAAW,QAAA,EAAU,IAAA,CAAK,EAAE,CAAA;AACxC,EAAA,IAAI,KAAA,CAAM,QAAA,CAAS,KAAK,CAAA,KAAM,IAAA,CAAK,IAAA,IAAQ,KAAA,CAAM,QAAA,CAAS,GAAG,CAAA,KAAM,IAAA,CAAK,EAAA,EAAI,OAAO,IAAA;AACnF,EAAA,OAAO,EAAE,OAAO,EAAE,KAAA,EAAO,KAAI,EAAG,IAAA,EAAM,KAAK,MAAA,EAAO;AACpD;AAEA,SAAS,UAAA,CAAW,UAAgB,MAAA,EAAgB;AAClD,EAAA,MAAM,IAAA,GAAO,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACnC,EAAA,OAAO,EAAE,MAAM,IAAA,CAAK,MAAA,GAAS,GAAG,SAAA,EAAW,MAAA,GAAS,KAAK,IAAA,EAAK;AAChE;AAEA,SAAS,QAAA,CAAS,QAAA,EAAgB,IAAA,EAAc,SAAA,EAAkC;AAChF,EAAA,IACE,CAAC,MAAA,CAAO,aAAA,CAAc,IAAI,CAAA,IAC1B,CAAC,MAAA,CAAO,aAAA,CAAc,SAAS,CAAA,IAC/B,IAAA,GAAO,CAAA,IACP,YAAY,CAAA,EACZ;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,IAAA,IAAQ,QAAA,CAAS,KAAA,EAAO,OAAO,IAAA;AACnC,EAAA,MAAM,KAAA,GAAQ,QAAA,CAAS,IAAA,CAAK,IAAA,GAAO,CAAC,CAAA;AACpC,EAAA,OAAO,SAAA,IAAa,KAAA,CAAM,MAAA,GAAS,KAAA,CAAM,OAAO,SAAA,GAAY,IAAA;AAC9D;AAEA,SAAS,gBAAgB,KAAA,EAA4C;AACnE,EAAA,MAAM,SAAuB,EAAC;AAC9B,EAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,IAAA,MAAM,QAAA,GAAW,MAAA,CAAO,EAAA,CAAG,EAAE,CAAA;AAC7B,IAAA,IACE,QAAA,IACA,QAAA,CAAS,IAAA,KAAS,IAAA,CAAK,IAAA,IACvB,QAAA,CAAS,EAAA,KAAO,IAAA,CAAK,EAAA,IACrB,IAAA,CAAK,IAAA,KAAS,IAAA,CAAK,EAAA,EACnB;AACA,MAAA,MAAA,CAAO,MAAA,CAAO,MAAA,GAAS,CAAC,CAAA,GAAI,EAAE,GAAG,QAAA,EAAU,MAAA,EAAQ,CAAA,EAAG,QAAA,CAAS,MAAM,CAAA,EAAG,IAAA,CAAK,MAAM,CAAA,CAAA,EAAG;AAAA,IACxF,CAAA,MAAO,MAAA,CAAO,IAAA,CAAK,IAAI,CAAA;AAAA,EACzB;AACA,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,iBAAA,CAAkB,UAA4B,IAAA,EAAwB;AAC7E,EAAA,OAAO;AAAA,IACL,KAAA,EAAO;AAAA,MACL,KAAA,EAAO,EAAE,IAAA,EAAM,CAAA,EAAG,WAAW,CAAA,EAAE;AAAA,MAC/B,KAAK,QAAA,CAAS,SAAA,CAAU,UAAA,CAAW,QAAA,CAAS,KAAK,MAAM;AAAA,KACzD;AAAA,IACA;AAAA,GACF;AACF;;;ACrFO,SAASA,WAAAA,CAAW,UAAgB,MAAA,EAAgB;AACzD,EAAA,MAAM,IAAA,GAAO,QAAA,CAAS,MAAA,CAAO,MAAM,CAAA;AACnC,EAAA,OAAO,EAAE,MAAM,IAAA,CAAK,MAAA,GAAS,GAAG,SAAA,EAAW,MAAA,GAAS,KAAK,IAAA,EAAK;AAChE;AAEO,SAAS,iBAAA,CACd,QACA,IAAA,EACA;AACA,EAAA,MAAM,KAAA,GAAQ,MAAA,CAAO,KAAA,GAAQ,cAAA,CAAe,IAAA,CAAK,MAAM,GAAA,EAAK,MAAA,CAAO,KAAA,CAAM,KAAK,CAAA,GAAI,IAAA;AAClF,EAAA,IAAI,CAAC,KAAA,IAAS,CAAC,MAAA,CAAO,OAAO,OAAO,IAAA;AACpC,EAAA,OAAO,EAAE,GAAG,YAAA,CAAa,MAAA,CAAO,KAAA,EAAO,MAAM,IAAI,CAAA,EAAG,GAAA,EAAK,KAAA,CAAM,EAAA,EAAG;AACpE;AAEO,SAAS,mBAAA,CACd,YACA,IAAA,EACY;AACZ,EAAA,MAAM,KAAA,GAAQ,UAAA,CAAW,MAAA,GACrB,iBAAA,CAAkB,KAAK,KAAA,CAAM,GAAA,EAAK,UAAA,CAAW,MAAA,CAAO,KAAK,CAAA,GACzD,EAAE,IAAA,EAAM,CAAA,EAAG,IAAI,CAAA,EAAE;AACrB,EAAA,OAAO,EAAE,GAAG,KAAA,EAAO,UAAU,OAAA,EAAS,OAAA,EAAS,WAAW,OAAA,EAAQ;AACpE;AAEO,SAAS,gBAAgB,IAAA,EAA0B;AACxD,EAAA,MAAM,MAAA,GAAS,IAAA,CAAK,GAAA,CAAI,aAAA,CAAc,WAAA;AACtC,EAAA,IAAI,CAAC,MAAA,EAAQ,MAAM,IAAI,MAAM,+BAA+B,CAAA;AAC5D,EAAA,OAAO,MAAA;AACT;AAEO,SAAS,gBAAA,CAAiB,UAA4B,IAAA,EAAc;AACzE,EAAA,OAAO;AAAA,IACL,KAAA,EAAO;AAAA,MACL,KAAA,EAAO,EAAE,IAAA,EAAM,CAAA,EAAG,WAAW,CAAA,EAAE;AAAA,MAC/B,KAAK,QAAA,CAAS,SAAA,CAAU,UAAA,CAAW,QAAA,CAAS,KAAK,MAAM;AAAA,KACzD;AAAA,IACA;AAAA,GACF;AACF;AC9CO,IAAM,kBAAA,GAAqB,YAAY,MAAA,EAAuB;AAE9D,IAAM,oBAAA,GAAuB,WAAW,MAAA,CAA2B;AAAA,EACxE,MAAA,EAAQ,MAAM,EAAC;AAAA,EACf,MAAA,CAAO,OAAO,WAAA,EAAa;AACzB,IAAA,IAAI,IAAA,GAAO,KAAA;AACX,IAAA,KAAA,MAAW,MAAA,IAAU,YAAY,OAAA,EAAS;AACxC,MAAA,IAAI,MAAA,CAAO,EAAA,CAAG,kBAAkB,CAAA,EAAG,IAAA,GAAO,MAAA,CAAO,KAAA,GAAQ,CAAC,MAAA,CAAO,KAAK,CAAA,GAAI,EAAC;AAAA,IAC7E;AACA,IAAA,OAAO,IAAA;AAAA,EACT,CAAA;AAAA,EACA,OAAA,EAAS,CAAC,KAAA,KAAU,WAAA,CAAY,QAAA,CAAS,CAAC,KAAK,CAAA,EAAG,CAAC,KAAA,KAAU,KAAA,CAAM,KAAA,CAAM,KAAK,CAAC;AACjF,CAAC,CAAA;;;AC4BM,SAAS,0BACd,OAAA,EACqB;AACrB,EAAA,OAAO,IAAI,cAAc,OAAO,CAAA;AAClC;AACA,IAAM,gBAAN,MAAmD;AAAA,EACxC,SAAA;AAAA,EACQ,OAAA;AAAA,EACA,GAAA;AAAA,EACA,gBAAA;AAAA,EACA,aAAA,GAAgB,IAAI,WAAA,EAAY;AAAA,EACzC,IAAA,GAA0B,IAAA;AAAA,EAC1B,YAAA;AAAA,EACA,QAAA;AAAA,EACA,QAAA,GAAW,KAAA;AAAA,EACX,SAAA,GAAY,CAAA;AAAA,EACZ,eAAA,GAAkB,CAAA;AAAA,EAClB,UAAA,GAAa,CAAA;AAAA,EACb,gBAAA,GAAmB,CAAA;AAAA,EACnB,gBAAA,GAAkC,IAAA;AAAA,EAE1C,YAAY,OAAA,EAAqC;AAC/C,IAAA,IAAA,CAAK,UAAU,OAAA,CAAQ,OAAA;AACvB,IAAA,IAAA,CAAK,GAAA,GAAM,QAAQ,QAAA,CAAS,GAAA;AAC5B,IAAA,IAAA,CAAK,mBAAmB,OAAA,CAAQ,gBAAA;AAChC,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,OAAA,CAAQ,YAAA,CAAa,QAAQ,QAAQ,CAAA;AACzD,IAAA,IAAA,CAAK,eAAe,MAAA,CAAO,IAAA;AAC3B,IAAA,IAAA,CAAK,WAAW,MAAA,CAAO,OAAA;AACvB,IAAA,IAAA,CAAK,SAAA,GAAY,KAAK,eAAA,EAAgB;AAAA,EACxC;AAAA,EACA,kBAAA,GAA2B;AACzB,IAAA,IAAA,CAAK,UAAA,EAAW;AAChB,IAAA,IAAA,CAAK,kBAAA,EAAmB;AACxB,IAAA,MAAM,OAAO,IAAA,CAAK,IAAA;AAClB,IAAA,IAAI,CAAC,IAAA,EAAM;AACX,IAAA,IAAA,CAAK,WAAA,CAAY,MAAM,KAAK,CAAA;AAC5B,IAAA,IAAA,CAAK,oBAAoB,IAAI,CAAA;AAAA,EAC/B;AAAA,EACA,gBAAgB,IAAA,EAAoB;AAClC,IAAA,IAAA,CAAK,UAAA,EAAW;AAChB,IAAA,IAAI,OAAO,IAAA,KAAS,QAAA,EAAU,MAAM,IAAI,UAAU,mCAAmC,CAAA;AACrF,IAAA,MAAM,OAAO,IAAA,CAAK,IAAA;AAClB,IAAA,IAAI,IAAA,EAAM;AACR,MAAA,MAAM,SAAA,GAAY,oBAAoB,IAAI,CAAA;AAC1C,MAAA,IAAA,CAAK,QAAA,CAAS;AAAA,QACZ,OAAA,EAAS,EAAE,IAAA,EAAM,CAAA,EAAG,EAAA,EAAI,IAAA,CAAK,KAAA,CAAM,GAAA,CAAI,MAAA,EAAQ,MAAA,EAAQ,aAAA,CAAc,IAAI,CAAA,EAAE;AAAA,QAC3E,SAAA,EAAW,eAAA,CAAgB,MAAA,CAAO,CAAC,CAAA;AAAA,QACnC,WAAA,EAAa,WAAA,CAAY,YAAA,CAAa,EAAA,CAAG,IAAI,CAAA;AAAA,QAC7C,OAAA,EACE,SAAA,KAAc,IAAA,CAAK,KAAA,CAAM,SAAA,GACrB,MAAA,GACA,IAAA,CAAK,aAAA,CAAc,WAAA,CAAY,WAAA,CAAY,aAAA,CAAc,EAAA,CAAG,SAAS,CAAC;AAAA,OAC7E,CAAA;AACD,MAAA;AAAA,IACF;AACA,IAAA,MAAM,OAAA,GAAU,KAAK,eAAA,EAAgB;AACrC,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,OAAA,CAAQ,cAAA,CAAe;AAAA,MAC3C,KAAK,IAAA,CAAK,GAAA;AAAA,MACV,OAAA,EAAS,KAAK,YAAA,EAAa;AAAA,MAC3B,KAAA,EAAO,CAAC,gBAAA,CAAiB,OAAA,EAAS,IAAI,CAAC;AAAA,KACxC,CAAA;AACD,IAAA,IAAA,CAAK,eAAe,QAAA,CAAS,IAAA;AAC7B,IAAA,IAAA,CAAK,kBAAA,EAAmB;AACxB,IAAA,IAAA,CAAK,OAAO,QAAQ,CAAA;AAAA,EACtB;AAAA,EACA,MAAA,GAAkB;AAChB,IAAA,IAAA,CAAK,UAAA,EAAW;AAChB,IAAA,MAAM,OAAO,IAAA,CAAK,IAAA;AAClB,IAAA,IAAI,CAAC,MAAM,OAAO,KAAA;AAClB,IAAA,MAAM,QAAQ,IAAA,CAAK,eAAA;AACnB,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,OAAA,CAAQ,MAAA,CAAO,KAAK,GAAA,EAAK;AAAA,MAC3C,YAAA,EAAc,IAAA,CAAK,YAAA,CAAa,YAAA,EAAc,KAAK;AAAA,KACpD,CAAA;AACD,IAAA,IACE,MAAA,CAAO,IAAA,KAAS,QAAA,IAChB,CAAC,MAAA,CAAO,IAAA,IACR,CAAC,IAAA,CAAK,WAAA,CAAY,MAAA,EAAQ,IAAA,EAAM,KAAA,EAAO,YAAY,CAAA,EACnD;AACA,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,MAAM,QAAQ,cAAA,CAAe,IAAA,CAAK,MAAM,GAAA,EAAK,MAAA,CAAO,KAAK,KAAK,CAAA;AAC9D,IAAA,IAAI,CAAC,OAAO,OAAO,KAAA;AACnB,IAAA,IAAA,CAAK,QAAA,CAAS;AAAA,MACZ,OAAA,EAAS,EAAE,GAAG,KAAA,EAAO,QAAQ,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,IAAI,CAAA,EAAE;AAAA,MAC7D,WAAA,EAAa,WAAA,CAAY,YAAA,CAAa,EAAA,CAAG,IAAI;AAAA,KAC9C,CAAA;AACD,IAAA,OAAO,IAAA;AAAA,EACT;AAAA,EACA,OAAA,GAAgB;AACd,IAAA,IAAI,KAAK,QAAA,EAAU;AACnB,IAAA,IAAA,CAAK,QAAA,GAAW,IAAA;AAChB,IAAA,IAAA,CAAK,kBAAA,EAAmB;AACxB,IAAA,IAAA,CAAK,sBAAA,EAAuB;AAC5B,IAAA,MAAM,OAAO,IAAA,CAAK,IAAA;AAClB,IAAA,IAAI,IAAA,EAAM,IAAA,CAAK,WAAA,CAAY,IAAA,EAAM,IAAI,CAAA;AACrC,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,OAAA,CAAQ,aAAA,CAAc,IAAA,CAAK,GAAG,CAAA;AAAA,EACrC;AAAA,EAEQ,eAAA,GAAkB;AACxB,IAAA,MAAM,OAAA,GAAU,IAAA;AAChB,IAAA,MAAM,SAAA,GAAY,UAAA,CAAW,MAAA,CAAO,CAAC,IAAA,KAAS;AAC5C,MAAA,OAAA,CAAQ,OAAO,IAAI,CAAA;AACnB,MAAA,OAAO;AAAA,QACL,OAAO,MAAA,EAA0B;AAC/B,UAAA,OAAA,CAAQ,WAAW,MAAM,CAAA;AAAA,QAC3B,CAAA;AAAA,QACA,OAAA,GAAgB;AACd,UAAA,OAAA,CAAQ,OAAO,IAAI,CAAA;AAAA,QACrB;AAAA,OACF;AAAA,IACF,CAAC,CAAA;AACD,IAAA,OAAO;AAAA,MACL,SAAA;AAAA,MACA,IAAA,CAAK,aAAA,CAAc,EAAA,CAAG,WAAA,CAAY,aAAA,CAAc,GAAG,mBAAA,CAAoB,IAAA,CAAK,YAAY,CAAC,CAAC,CAAA;AAAA,MAC1F,OAAA,EAAQ;AAAA,MACR,cAAA,CAAe,EAAE,QAAA,EAAU,CAAC,CAAC,OAAA,KAAY,IAAA,CAAK,QAAA,CAAS,OAAO,CAAC,CAAA,EAAG,CAAA;AAAA,MAClEC,cAAA,CAAgB,CAAC,IAAA,EAAM,QAAA,KAAa,KAAK,YAAA,CAAa,IAAA,EAAM,QAAQ,CAAC,CAAA;AAAA,MACrE,oBAAA;AAAA,MACA,OAAO,EAAA,CAAG;AAAA,QACR,GAAG,gBAAA;AAAA,QACH,GAAG,aAAA;AAAA,QACH,EAAE,KAAK,aAAA,EAAe,GAAA,EAAK,CAAC,IAAA,KAAS,IAAA,CAAK,aAAA,CAAc,IAAI,CAAA,EAAE;AAAA,QAC9D,EAAE,KAAK,QAAA,EAAU,GAAA,EAAK,CAAC,IAAA,KAAS,IAAA,CAAK,iBAAA,CAAkB,IAAI,CAAA;AAAE,OAC9D,CAAA;AAAA,MACD,WAAW,iBAAA,CAAkB,EAAA,CAAG,EAAE,YAAA,EAAc,4BAA4B;AAAA,KAC9E;AAAA,EACF;AAAA,EAEQ,OAAO,IAAA,EAAwB;AACrC,IAAA,IAAA,CAAK,UAAA,EAAW;AAChB,IAAA,IAAI,IAAA,CAAK,IAAA,IAAQ,IAAA,CAAK,IAAA,KAAS,IAAA;AAC7B,MAAA,MAAM,IAAI,MAAM,0CAA0C,CAAA;AAC5D,IAAA,IAAI,cAAA,CAAe,KAAK,KAAA,CAAM,GAAA,EAAK,KAAK,KAAA,CAAM,SAAS,CAAA,KAAM,IAAA,CAAK,YAAA,EAAc;AAC9E,MAAA,MAAM,IAAI,MAAM,+DAA+D,CAAA;AAAA,IACjF;AACA,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,SAAA,IAAa,CAAA;AAClB,IAAA,IAAA,CAAK,oBAAoB,IAAI,CAAA;AAAA,EAC/B;AAAA,EAEQ,OAAO,IAAA,EAAwB;AACrC,IAAA,IAAI,IAAA,CAAK,SAAS,IAAA,EAAM;AACxB,IAAA,IAAA,CAAK,sBAAA,EAAuB;AAC5B,IAAA,IAAA,CAAK,kBAAA,EAAmB;AACxB,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,SAAA,IAAa,CAAA;AAAA,EACpB;AAAA,EAEQ,WAAW,MAAA,EAA0B;AAC3C,IAAA,IAAI,IAAA,CAAK,QAAA,IAAY,CAAC,MAAA,CAAO,UAAA,EAAY;AACzC,IAAA,IAAA,CAAK,kBAAA,EAAmB;AACxB,IAAA,KAAA,MAAW,WAAA,IAAe,OAAO,YAAA,EAAc;AAC7C,MAAA,IAAI,WAAA,CAAY,UAAA,EAAY,IAAA,CAAK,gBAAA,CAAiB,WAAW,CAAA;AAAA,IAC/D;AACA,IAAA,IAAA,CAAK,eAAe,cAAA,CAAe,MAAA,CAAO,MAAM,GAAA,EAAK,MAAA,CAAO,MAAM,SAAS,CAAA;AAC3E,IAAA,IAAA,CAAK,mBAAA,CAAoB,OAAO,IAAI,CAAA;AAAA,EACtC;AAAA,EAEQ,iBAAiB,WAAA,EAAsC;AAC7D,IAAA,MAAM,OAAA,GAAU,KAAK,eAAA,EAAgB;AACrC,IAAA,MAAM,YAAY,cAAA,CAAe,WAAA,CAAY,WAAW,GAAA,EAAK,WAAA,CAAY,WAAW,SAAS,CAAA;AAC7F,IAAA,IAAI,OAAA,CAAQ,SAAS,SAAA,EAAW;AAC9B,MAAA,MAAM,IAAI,MAAM,oDAAoD,CAAA;AAAA,IACtE;AACA,IAAA,MAAM,KAAA,GAAQ,cAAA;AAAA,MACZ,YAAY,UAAA,CAAW,GAAA;AAAA,MACvB,WAAA,CAAY,MAAA;AAAA,MACZ,WAAA,CAAY,OAAA;AAAA,MACZ,OAAA;AAAA,MACA,YAAY,KAAA,CAAM;AAAA,KACpB;AACA,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,OAAA,CAAQ,cAAA,CAAe;AAAA,MAC3C,KAAK,IAAA,CAAK,GAAA;AAAA,MACV,OAAA,EAAS,KAAK,YAAA,EAAa;AAAA,MAC3B;AAAA,KACD,CAAA;AACD,IAAA,IAAI,QAAA,CAAS,SAAS,cAAA,CAAe,WAAA,CAAY,QAAQ,WAAA,CAAY,KAAA,CAAM,SAAS,CAAA,EAAG;AACrF,MAAA,MAAM,IAAI,MAAM,0DAA0D,CAAA;AAAA,IAC5E;AACA,IAAA,IAAA,CAAK,eAAe,QAAA,CAAS,IAAA;AAC7B,IAAA,IAAA,CAAK,OAAO,QAAQ,CAAA;AAAA,EACtB;AAAA,EAEQ,SAAS,OAAA,EAA+D;AAC9E,IAAA,MAAM,OAAO,IAAA,CAAK,IAAA;AAClB,IAAA,IAAI,CAAC,QAAQ,IAAA,CAAK,KAAA,KAAU,QAAQ,KAAA,IAAS,IAAA,CAAK,UAAU,OAAO,IAAA;AACnE,IAAA,MAAM,KAAA,GAAQ,EAAE,IAAA,CAAK,eAAA;AACrB,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,OAAA,CAAQ,UAAA,CAAW,IAAA,CAAK,GAAA,EAAKD,WAAAA,CAAW,OAAA,CAAQ,KAAA,CAAM,GAAA,EAAK,OAAA,CAAQ,GAAG,CAAA,EAAG;AAAA,MAC3F,YAAA,EAAc,IAAA,CAAK,YAAA,CAAa,YAAA,EAAc,KAAK;AAAA,KACpD,CAAA;AACD,IAAA,IAAI,MAAA,CAAO,IAAA,KAAS,YAAA,IAAgB,CAAC,IAAA,CAAK,YAAY,MAAA,EAAQ,IAAA,EAAM,KAAA,EAAO,YAAY,CAAA,EAAG;AACxF,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,MAAM,UAAA,GAAa,OAAO,KAAA,CAAM,GAAA;AAAA,MAAI,CAAC,IAAA,KACnC,IAAA,CAAK,oBAAoB,IAAA,EAAM,MAAA,EAAQ,MAAM,KAAK;AAAA,KACpD;AACA,IAAA,MAAM,YAAY,UAAA,CAAW,MAAA,CAAO,CAAC,KAAA,KAAU,UAAU,IAAI,CAAA;AAC7D,IAAA,MAAM,KAAA,GAAQ,UAAU,CAAC,CAAA;AACzB,IAAA,OAAO,QACH,EAAE,IAAA,EAAM,KAAA,CAAM,IAAA,EAAM,IAAI,KAAA,CAAM,EAAA,EAAI,OAAA,EAAS,SAAA,CAAU,IAAI,CAAC,EAAE,QAAO,KAAM,MAAM,GAAE,GACjF,IAAA;AAAA,EACN;AAAA,EAEQ,mBAAA,CACN,IAAA,EACA,QAAA,EACA,IAAA,EACA,KAAA,EACmE;AACnE,IAAA,MAAM,QAAQ,cAAA,CAAe,IAAA,CAAK,MAAM,GAAA,EAAK,IAAA,CAAK,KAAK,KAAK,CAAA;AAC5D,IAAA,IAAI,CAAC,OAAO,OAAO,IAAA;AACnB,IAAA,MAAM,MAAA,GAAqB;AAAA,MACzB,OAAO,IAAA,CAAK,KAAA;AAAA,MACZ,IAAA,EAAM,IAAA,CAAK,IAAA,KAAS,SAAA,GAAY,aAAa,IAAA,CAAK,IAAA;AAAA,MAClD,QAAQ,CAAA,EAAG,IAAA,CAAK,OAAO,CAAA,EAAA,EAAK,KAAK,QAAQ,CAAA,CAAA;AAAA,MACzC,KAAA,EAAO,IAAA,CAAK,OAAA,KAAY,QAAA,GAAW,EAAA,GAAK,CAAA;AAAA,MACxC,KAAA,EAAO,CAAC,MAAA,KAAW,IAAA,CAAK,gBAAgB,MAAA,EAAQ,IAAA,EAAM,UAAU,KAAK;AAAA,KACvE;AACA,IAAA,OAAO,EAAE,GAAG,KAAA,EAAO,MAAA,EAAO;AAAA,EAC5B;AAAA,EAEQ,eAAA,CACN,IAAA,EACA,IAAA,EACA,QAAA,EACA,KAAA,EACM;AACN,IAAA,IAAI,CAAC,IAAA,CAAK,WAAA,CAAY,UAAU,IAAA,EAAM,KAAA,EAAO,YAAY,CAAA,EAAG;AAC5D,IAAA,MAAM,QAAQ,cAAA,CAAe,IAAA,CAAK,MAAM,GAAA,EAAK,IAAA,CAAK,KAAK,KAAK,CAAA;AAC5D,IAAA,IAAI,CAAC,KAAA,EAAO;AACZ,IAAA,IAAA,CAAK,QAAA,CAAS,EAAE,OAAA,EAAS,EAAE,GAAG,KAAA,EAAO,MAAA,EAAQ,IAAA,CAAK,IAAA,CAAK,IAAA,EAAK,EAAG,CAAA;AAAA,EACjE;AAAA,EAEQ,YAAA,CAAa,MAAkB,MAAA,EAAgC;AACrE,IAAA,OAAO,IAAA,CAAK,YAAA,CAAa,IAAA,EAAM,MAAM,CAAA;AAAA,EACvC;AAAA,EAEQ,cAAc,IAAA,EAA2B;AAC/C,IAAA,MAAM,OAAA,GAAU,KAAK,YAAA,CAAa,IAAA,EAAM,KAAK,KAAA,CAAM,SAAA,CAAU,KAAK,IAAI,CAAA;AACtE,IAAA,IAAI,CAAC,SAAS,OAAO,KAAA;AACrB,IAAA,IAAA,CAAK,SAAS,EAAE,OAAA,EAAS,mBAAmB,EAAA,CAAG,OAAO,GAAG,CAAA;AACzD,IAAA,OAAO,IAAA;AAAA,EACT;AAAA,EAEQ,YAAA,CAAa,MAAkB,MAAA,EAAgC;AACrE,IAAA,MAAM,KAAA,GAAQ,EAAE,IAAA,CAAK,UAAA;AACrB,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,OAAA,CAAQ,KAAA,CAAM,IAAA,CAAK,GAAA,EAAKA,WAAAA,CAAW,IAAA,CAAK,KAAA,CAAM,GAAA,EAAK,MAAM,CAAA,EAAG;AAAA,MAC9E,YAAA,EAAc,IAAA,CAAK,YAAA,CAAa,OAAA,EAAS,KAAK;AAAA,KAC/C,CAAA;AACD,IAAA,IACE,MAAA,CAAO,IAAA,KAAS,OAAA,IAChB,CAAC,MAAA,CAAO,KAAA,IACR,CAAC,IAAA,CAAK,WAAA,CAAY,MAAA,EAAQ,IAAA,EAAM,KAAA,EAAO,OAAO,CAAA,EAC9C;AACA,MAAA,OAAO,IAAA;AAAA,IACT;AACA,IAAA,OAAO,iBAAA,CAAkB,QAAQ,IAAI,CAAA;AAAA,EACvC;AAAA,EAEQ,kBAAkB,IAAA,EAA2B;AACnD,IAAA,IAAA,CAAK,WAAA,CAAY,MAAM,KAAK,CAAA;AAC5B,IAAA,IAAA,CAAK,KAAA,EAAM;AACX,IAAA,OAAO,IAAA;AAAA,EACT;AAAA,EAEQ,WAAA,CAAY,MAAkB,WAAA,EAA4B;AAChE,IAAA,eAAA,CAAgB,IAAI,CAAA;AACpB,IAAA,MAAM,YAAA,GAAe,EAAE,OAAA,EAAS,CAAC,mBAAmB,EAAA,CAAG,IAAI,CAAA,EAAG,kBAAkB,CAAA,EAAE;AAClF,IAAA,IAAI,WAAA,OAAkB,QAAA,CAAS,YAAA,EAAc,eAAe,IAAA,CAAK,KAAA,EAAO,EAAE,CAAC,CAAA;AAAA,SACtE,IAAA,CAAK,SAAS,YAAY,CAAA;AAAA,EACjC;AAAA,EACQ,oBAAoB,IAAA,EAAwB;AAClD,IAAA,IAAA,CAAK,sBAAA,EAAuB;AAC5B,IAAA,MAAM,KAAA,GAAQ,EAAE,IAAA,CAAK,gBAAA;AACrB,IAAA,MAAM,YAAY,IAAA,CAAK,SAAA;AACvB,IAAA,IAAA,CAAK,gBAAA,GAAmB,eAAA,CAAgB,IAAI,CAAA,CAAE,sBAAsB,MAAM;AACxE,MAAA,IAAA,CAAK,gBAAA,GAAmB,IAAA;AACxB,MAAA,MAAM,MAAA,GAAS,IAAA,CAAK,OAAA,CAAQ,WAAA,CAAY,KAAK,GAAA,EAAK;AAAA,QAChD,YAAA,EAAc,IAAA,CAAK,YAAA,CAAa,aAAA,EAAe,KAAK;AAAA,OACrD,CAAA;AACD,MAAA,IAAI,MAAA,CAAO,SAAS,aAAA,IAAiB,CAAC,KAAK,WAAA,CAAY,MAAA,EAAQ,IAAA,EAAM,KAAA,EAAO,aAAa,CAAA;AACvF,QAAA;AACF,MAAA,IAAI,IAAA,CAAK,cAAc,SAAA,EAAW;AAClC,MAAA,IAAA,CAAK,QAAA;AAAA,QACH,cAAA;AAAA,UACE,IAAA,CAAK,KAAA;AAAA,UACL,MAAA,CAAO,YAAY,GAAA,CAAI,CAAC,UAAU,mBAAA,CAAoB,KAAA,EAAO,IAAI,CAAC;AAAA;AACpE,OACF;AAAA,IACF,CAAC,CAAA;AAAA,EACH;AAAA,EACQ,sBAAA,GAA+B;AACrC,IAAA,IAAI,IAAA,CAAK,gBAAA,KAAqB,IAAA,IAAQ,CAAC,KAAK,IAAA,EAAM;AAClD,IAAA,eAAA,CAAgB,IAAA,CAAK,IAAI,CAAA,CAAE,oBAAA,CAAqB,KAAK,gBAAgB,CAAA;AACrE,IAAA,IAAA,CAAK,gBAAA,GAAmB,IAAA;AAAA,EAC1B;AAAA,EAEQ,YAAA,CAAa,MAAmB,KAAA,EAAe;AACrD,IAAA,OAAO;AAAA,MACL,yBAAyB,MAAM,IAAA,CAAK,YAAY,IAAA,CAAK,KAAA,CAAM,IAAI,CAAA,KAAM;AAAA,KACvE;AAAA,EACF;AAAA,EAEQ,WAAA,CACN,QAAA,EACA,IAAA,EACA,KAAA,EACA,IAAA,EACS;AACT,IAAA,OACE,CAAC,IAAA,CAAK,QAAA,IACN,KAAK,IAAA,KAAS,IAAA,IACd,KAAK,KAAA,CAAM,IAAI,MAAM,KAAA,IACrB,QAAA,IAAY,YACZ,QAAA,CAAS,MAAA,KAAW,aACpB,IAAA,CAAK,OAAA,CAAQ,UAAU,QAAQ,CAAA;AAAA,EAEnC;AAAA,EAEQ,MAAM,IAAA,EAA2B;AACvC,IAAA,IAAI,IAAA,KAAS,YAAA,EAAc,OAAO,IAAA,CAAK,eAAA;AACvC,IAAA,IAAI,IAAA,KAAS,OAAA,EAAS,OAAO,IAAA,CAAK,UAAA;AAClC,IAAA,OAAO,IAAA,CAAK,gBAAA;AAAA,EACd;AAAA,EAEQ,kBAAA,GAA2B;AACjC,IAAA,IAAA,CAAK,eAAA,IAAmB,CAAA;AACxB,IAAA,IAAA,CAAK,UAAA,IAAc,CAAA;AACnB,IAAA,IAAA,CAAK,gBAAA,IAAoB,CAAA;AAAA,EAC3B;AAAA,EAEQ,YAAA,GAAuB;AAC7B,IAAA,IAAI,IAAA,CAAK,YAAY,MAAA,CAAO,gBAAA;AAC1B,MAAA,MAAM,IAAI,WAAW,oCAAoC,CAAA;AAC3D,IAAA,IAAA,CAAK,QAAA,IAAY,CAAA;AACjB,IAAA,OAAO,IAAA,CAAK,QAAA;AAAA,EACd;AAAA,EAEQ,eAAA,GAAoC;AAC1C,IAAA,MAAM,QAAA,GAAW,IAAA,CAAK,OAAA,CAAQ,WAAA,CAAY,KAAK,GAAG,CAAA;AAClD,IAAA,IAAI,CAAC,QAAA,EAAU,MAAM,IAAI,MAAM,oCAAoC,CAAA;AACnE,IAAA,OAAO,QAAA;AAAA,EACT;AAAA,EAEQ,OAAO,QAAA,EAAkC;AAC/C,IAAA,IAAI;AACF,MAAA,IAAA,CAAK,mBAAmB,QAAQ,CAAA;AAAA,IAClC,CAAA,CAAA,MAAQ;AAAA,IAAC;AAAA,EACX;AAAA,EAEQ,UAAA,GAAmB;AACzB,IAAA,IAAI,IAAA,CAAK,QAAA,EAAU,MAAM,IAAI,MAAM,mCAAmC,CAAA;AAAA,EACxE;AACF,CAAA","file":"index.js","sourcesContent":["import { Text } from \"@codemirror/state\";\n\nexport function detectLineSeparator(text: string): string {\n  if (text.includes(\"\\r\\n\")) return \"\\r\\n\";\n  if (text.includes(\"\\r\")) return \"\\r\";\n  return \"\\n\";\n}\n\nexport function textForEditor(text: string): Text {\n  return Text.of(text.split(/\\r\\n|\\r|\\n/u));\n}\n\nexport function textFromEditor(document: Text, lineSeparator: string): string {\n  return document.sliceString(0, document.length, lineSeparator);\n}\n","import type { EditorView, Tooltip } from \"@codemirror/view\";\nimport type { HoverInfo, ShapeSummary, ToolingEvidence } from \"@kalada/language-service\";\n\nexport function hoverTooltip(info: HoverInfo, position: number): Tooltip {\n  return {\n    pos: position,\n    above: true,\n    create(view: EditorView) {\n      const document = view.dom.ownerDocument;\n      const dom = document.createElement(\"section\");\n      dom.className = \"cm-kalada-hover\";\n      dom.setAttribute(\"role\", \"tooltip\");\n      dom.setAttribute(\"aria-label\", \"Kalada expression information\");\n      appendSection(document, dom, \"Input editor shape\", info.input.map(shapeText));\n      appendSection(document, dom, \"Output Kalada semantic projection\", [semanticText(info)]);\n      appendSection(document, dom, \"Presence / branch conditions\", [accessText(info)]);\n      appendSection(document, dom, \"Limit/unknown evidence\", info.evidence.map(evidenceText));\n      return { dom };\n    },\n  };\n}\n\nfunction appendSection(\n  document: Document,\n  parent: HTMLElement,\n  heading: string,\n  values: readonly string[],\n): void {\n  const title = document.createElement(\"strong\");\n  title.textContent = heading;\n  parent.append(title);\n  const list = document.createElement(\"ul\");\n  for (const value of values.length > 0 ? values : [\"None\"]) {\n    const item = document.createElement(\"li\");\n    item.textContent = value;\n    list.append(item);\n  }\n  parent.append(list);\n}\n\nfunction shapeText(summary: ShapeSummary): string {\n  const fields = summary.fields\n    .map(\n      ({ name, presence, accessible }) =>\n        `${name} (${presence}, ${accessible ? \"accessible\" : \"inspect only\"})`,\n    )\n    .join(\", \");\n  const scalar = summary.scalar ? ` ${summary.scalar}` : \"\";\n  return `${summary.kind}${scalar}; ${summary.presence}; fields: ${fields || \"none\"}`;\n}\n\nfunction semanticText(info: HoverInfo): string {\n  const type = info.output.type === \"dynamic\" ? \"dynamic\" : JSON.stringify(info.output.type);\n  return `${info.output.known ? \"Known\" : \"Unknown\"}: ${type}`;\n}\n\nfunction accessText(info: HoverInfo): string {\n  return `Access: ${info.access}`;\n}\n\nfunction evidenceText(evidence: ToolingEvidence): string {\n  return `${evidence.code} at ${evidence.path.join(\".\") || \"root\"}`;\n}\n","import type { Text } from \"@codemirror/state\";\nimport type { DocumentSnapshot, TextEdit, Utf16LineIndex } from \"@kalada/language-service\";\n\ninterface OffsetEdit {\n  readonly from: number;\n  readonly to: number;\n  readonly insert: string;\n}\n\nexport function changesToEdits(\n  startDoc: Text,\n  newDoc: Text,\n  changes: Readonly<{ iterChanges: (callback: ChangeCallback) => void }>,\n  snapshot: DocumentSnapshot,\n  lineSeparator = \"\\n\",\n): readonly TextEdit[] {\n  const offsets: OffsetEdit[] = [];\n  changes.iterChanges((fromA, toA, _fromB, _toB, inserted) => {\n    offsets.push({\n      from: fromA,\n      to: toA,\n      insert: inserted.sliceString(0, inserted.length, lineSeparator),\n    });\n  });\n  const coalesced = coalesceInserts(offsets);\n  const translated = coalesced.map((edit) => offsetEdit(edit, startDoc, snapshot.lineIndex));\n  if (translated.every((edit) => edit !== null)) return translated as readonly TextEdit[];\n  return [wholeDocumentEdit(snapshot, newDoc.sliceString(0, newDoc.length, lineSeparator))];\n}\n\nexport function rangeToOffsets(\n  document: Text,\n  range: TextEdit[\"range\"],\n): Readonly<{ from: number; to: number }> | null {\n  const from = offsetAt(document, range.start.line, range.start.character);\n  const to = offsetAt(document, range.end.line, range.end.character);\n  return from === null || to === null || from > to ? null : { from, to };\n}\n\nexport function diagnosticOffsets(\n  document: Text,\n  range: TextEdit[\"range\"],\n): Readonly<{ from: number; to: number }> {\n  return rangeToOffsets(document, range) ?? { from: 0, to: 0 };\n}\n\nfunction offsetEdit(edit: OffsetEdit, document: Text, index: Utf16LineIndex): TextEdit | null {\n  const start = positionAt(document, edit.from);\n  const end = positionAt(document, edit.to);\n  if (index.offsetAt(start) !== edit.from || index.offsetAt(end) !== edit.to) return null;\n  return { range: { start, end }, text: edit.insert };\n}\n\nfunction positionAt(document: Text, offset: number) {\n  const line = document.lineAt(offset);\n  return { line: line.number - 1, character: offset - line.from };\n}\n\nfunction offsetAt(document: Text, line: number, character: number): number | null {\n  if (\n    !Number.isSafeInteger(line) ||\n    !Number.isSafeInteger(character) ||\n    line < 0 ||\n    character < 0\n  ) {\n    return null;\n  }\n  if (line >= document.lines) return null;\n  const found = document.line(line + 1);\n  return character <= found.length ? found.from + character : null;\n}\n\nfunction coalesceInserts(edits: readonly OffsetEdit[]): OffsetEdit[] {\n  const output: OffsetEdit[] = [];\n  for (const edit of edits) {\n    const previous = output.at(-1);\n    if (\n      previous &&\n      previous.from === edit.from &&\n      previous.to === edit.to &&\n      edit.from === edit.to\n    ) {\n      output[output.length - 1] = { ...previous, insert: `${previous.insert}${edit.insert}` };\n    } else output.push(edit);\n  }\n  return output;\n}\n\nfunction wholeDocumentEdit(snapshot: DocumentSnapshot, text: string): TextEdit {\n  return {\n    range: {\n      start: { line: 0, character: 0 },\n      end: snapshot.lineIndex.positionAt(snapshot.text.length),\n    },\n    text,\n  };\n}\n\ntype ChangeCallback = (\n  fromA: number,\n  toA: number,\n  fromB: number,\n  toB: number,\n  inserted: Text,\n) => void;\n","import type { Diagnostic } from \"@codemirror/lint\";\nimport type { Text } from \"@codemirror/state\";\nimport type { EditorView } from \"@codemirror/view\";\nimport type {\n  DocumentSnapshot,\n  HoverResult,\n  LanguageServiceDiagnostic,\n} from \"@kalada/language-service\";\nimport { hoverTooltip } from \"./render.js\";\nimport { diagnosticOffsets, rangeToOffsets } from \"./translation.js\";\n\nexport function positionAt(document: Text, offset: number) {\n  const line = document.lineAt(offset);\n  return { line: line.number - 1, character: offset - line.from };\n}\n\nexport function translatedTooltip(\n  result: Extract<HoverResult, { kind: \"hover\" }>,\n  view: EditorView,\n) {\n  const range = result.hover ? rangeToOffsets(view.state.doc, result.hover.range) : null;\n  if (!range || !result.hover) return null;\n  return { ...hoverTooltip(result.hover, range.from), end: range.to };\n}\n\nexport function translateDiagnostic(\n  diagnostic: LanguageServiceDiagnostic,\n  view: EditorView,\n): Diagnostic {\n  const range = diagnostic.source\n    ? diagnosticOffsets(view.state.doc, diagnostic.source.range)\n    : { from: 0, to: 0 };\n  return { ...range, severity: \"error\", message: diagnostic.message };\n}\n\nexport function animationWindow(view: EditorView): Window {\n  const window = view.dom.ownerDocument.defaultView;\n  if (!window) throw new Error(\"CodeMirror view has no window\");\n  return window;\n}\n\nexport function wholeReplacement(snapshot: DocumentSnapshot, text: string) {\n  return {\n    range: {\n      start: { line: 0, character: 0 },\n      end: snapshot.lineIndex.positionAt(snapshot.text.length),\n    },\n    text,\n  };\n}\n","import { StateEffect, StateField } from \"@codemirror/state\";\nimport { showTooltip, type Tooltip } from \"@codemirror/view\";\n\nexport const setKeyboardTooltip = StateEffect.define<Tooltip | null>();\n\nexport const keyboardTooltipField = StateField.define<readonly Tooltip[]>({\n  create: () => [],\n  update(value, transaction) {\n    let next = value;\n    for (const effect of transaction.effects) {\n      if (effect.is(setKeyboardTooltip)) next = effect.value ? [effect.value] : [];\n    }\n    return next;\n  },\n  provide: (field) => showTooltip.computeN([field], (state) => state.field(field)),\n});\n","import {\n  autocompletion,\n  type CompletionResult as CodeMirrorCompletionResult,\n  type Completion,\n  type CompletionContext,\n  closeCompletion,\n  completionKeymap,\n} from \"@codemirror/autocomplete\";\nimport { history, historyKeymap } from \"@codemirror/commands\";\nimport { setDiagnostics } from \"@codemirror/lint\";\nimport {\n  Compartment,\n  EditorSelection,\n  EditorState,\n  type Transaction as EditorTransaction,\n  Transaction,\n} from \"@codemirror/state\";\nimport {\n  closeHoverTooltips,\n  hoverTooltip as codeMirrorHover,\n  EditorView,\n  keymap,\n  type Tooltip,\n  ViewPlugin,\n  type ViewUpdate,\n} from \"@codemirror/view\";\nimport type {\n  CompletionItem,\n  DocumentSnapshot,\n  LanguageService,\n  SnapshotIdentity,\n} from \"@kalada/language-service\";\nimport type { KaladaEditorSession, KaladaEditorSessionOptions } from \"./contracts.js\";\nimport { detectLineSeparator, textForEditor, textFromEditor } from \"./line-separator.js\";\nimport {\n  animationWindow,\n  positionAt,\n  translateDiagnostic,\n  translatedTooltip,\n  wholeReplacement,\n} from \"./session-helpers.js\";\nimport { keyboardTooltipField, setKeyboardTooltip } from \"./tooltip-state.js\";\nimport { changesToEdits, rangeToOffsets } from \"./translation.js\";\nexport function createKaladaEditorSession(\n  options: KaladaEditorSessionOptions,\n): KaladaEditorSession {\n  return new EditorSession(options);\n}\nclass EditorSession implements KaladaEditorSession {\n  readonly extension;\n  private readonly service: LanguageService;\n  private readonly uri: string;\n  private readonly onDocumentChange?: (snapshot: DocumentSnapshot) => void;\n  private readonly lineSeparator = new Compartment();\n  private view: EditorView | null = null;\n  private expectedText: string;\n  private revision: number;\n  private disposed = false;\n  private viewEpoch = 0;\n  private completionEpoch = 0;\n  private hoverEpoch = 0;\n  private diagnosticsEpoch = 0;\n  private diagnosticsFrame: number | null = null;\n\n  constructor(options: KaladaEditorSessionOptions) {\n    this.service = options.service;\n    this.uri = options.document.uri;\n    this.onDocumentChange = options.onDocumentChange;\n    const opened = this.service.openDocument(options.document);\n    this.expectedText = opened.text;\n    this.revision = opened.version;\n    this.extension = this.createExtension();\n  }\n  refreshEnvironment(): void {\n    this.assertOpen();\n    this.invalidateRequests();\n    const view = this.view;\n    if (!view) return;\n    this.clearEditor(view, false);\n    this.scheduleDiagnostics(view);\n  }\n  replaceDocument(text: string): void {\n    this.assertOpen();\n    if (typeof text !== \"string\") throw new TypeError(\"Replacement text must be a string\");\n    const view = this.view;\n    if (view) {\n      const separator = detectLineSeparator(text);\n      view.dispatch({\n        changes: { from: 0, to: view.state.doc.length, insert: textForEditor(text) },\n        selection: EditorSelection.cursor(0),\n        annotations: Transaction.addToHistory.of(true),\n        effects:\n          separator === view.state.lineBreak\n            ? undefined\n            : this.lineSeparator.reconfigure(EditorState.lineSeparator.of(separator)),\n      });\n      return;\n    }\n    const current = this.requireDocument();\n    const snapshot = this.service.updateDocument({\n      uri: this.uri,\n      version: this.nextRevision(),\n      edits: [wholeReplacement(current, text)],\n    });\n    this.expectedText = snapshot.text;\n    this.invalidateRequests();\n    this.notify(snapshot);\n  }\n  format(): boolean {\n    this.assertOpen();\n    const view = this.view;\n    if (!view) return false;\n    const epoch = this.completionEpoch;\n    const result = this.service.format(this.uri, {\n      cancellation: this.cancellation(\"completion\", epoch),\n    });\n    if (\n      result.kind !== \"format\" ||\n      !result.edit ||\n      !this.publishable(result, view, epoch, \"completion\")\n    ) {\n      return false;\n    }\n    const range = rangeToOffsets(view.state.doc, result.edit.range);\n    if (!range) return false;\n    view.dispatch({\n      changes: { ...range, insert: textForEditor(result.edit.text) },\n      annotations: Transaction.addToHistory.of(true),\n    });\n    return true;\n  }\n  dispose(): void {\n    if (this.disposed) return;\n    this.disposed = true;\n    this.invalidateRequests();\n    this.cancelDiagnosticsFrame();\n    const view = this.view;\n    if (view) this.clearEditor(view, true);\n    this.view = null;\n    this.service.closeDocument(this.uri);\n  }\n\n  private createExtension() {\n    const session = this;\n    const lifecycle = ViewPlugin.define((view) => {\n      session.attach(view);\n      return {\n        update(update: ViewUpdate): void {\n          session.updateView(update);\n        },\n        destroy(): void {\n          session.detach(view);\n        },\n      };\n    });\n    return [\n      lifecycle,\n      this.lineSeparator.of(EditorState.lineSeparator.of(detectLineSeparator(this.expectedText))),\n      history(),\n      autocompletion({ override: [(context) => this.complete(context)] }),\n      codeMirrorHover((view, position) => this.pointerHover(view, position)),\n      keyboardTooltipField,\n      keymap.of([\n        ...completionKeymap,\n        ...historyKeymap,\n        { key: \"Mod-Shift-h\", run: (view) => this.keyboardHover(view) },\n        { key: \"Escape\", run: (view) => this.clearInteractions(view) },\n      ]),\n      EditorView.contentAttributes.of({ \"aria-label\": \"Kalada expression editor\" }),\n    ];\n  }\n\n  private attach(view: EditorView): void {\n    this.assertOpen();\n    if (this.view && this.view !== view)\n      throw new Error(\"Kalada editor session already has a view\");\n    if (textFromEditor(view.state.doc, view.state.lineBreak) !== this.expectedText) {\n      throw new Error(\"CodeMirror document does not match the opened Kalada document\");\n    }\n    this.view = view;\n    this.viewEpoch += 1;\n    this.scheduleDiagnostics(view);\n  }\n\n  private detach(view: EditorView): void {\n    if (this.view !== view) return;\n    this.cancelDiagnosticsFrame();\n    this.invalidateRequests();\n    this.view = null;\n    this.viewEpoch += 1;\n  }\n\n  private updateView(update: ViewUpdate): void {\n    if (this.disposed || !update.docChanged) return;\n    this.invalidateRequests();\n    for (const transaction of update.transactions) {\n      if (transaction.docChanged) this.applyTransaction(transaction);\n    }\n    this.expectedText = textFromEditor(update.state.doc, update.state.lineBreak);\n    this.scheduleDiagnostics(update.view);\n  }\n\n  private applyTransaction(transaction: EditorTransaction): void {\n    const current = this.requireDocument();\n    const startText = textFromEditor(transaction.startState.doc, transaction.startState.lineBreak);\n    if (current.text !== startText) {\n      throw new Error(\"CodeMirror and language-service snapshots diverged\");\n    }\n    const edits = changesToEdits(\n      transaction.startState.doc,\n      transaction.newDoc,\n      transaction.changes,\n      current,\n      transaction.state.lineBreak,\n    );\n    const snapshot = this.service.updateDocument({\n      uri: this.uri,\n      version: this.nextRevision(),\n      edits,\n    });\n    if (snapshot.text !== textFromEditor(transaction.newDoc, transaction.state.lineBreak)) {\n      throw new Error(\"CodeMirror transaction translation changed document text\");\n    }\n    this.expectedText = snapshot.text;\n    this.notify(snapshot);\n  }\n\n  private complete(context: CompletionContext): CodeMirrorCompletionResult | null {\n    const view = this.view;\n    if (!view || view.state !== context.state || this.disposed) return null;\n    const epoch = ++this.completionEpoch;\n    const result = this.service.completion(this.uri, positionAt(context.state.doc, context.pos), {\n      cancellation: this.cancellation(\"completion\", epoch),\n    });\n    if (result.kind !== \"completion\" || !this.publishable(result, view, epoch, \"completion\")) {\n      return null;\n    }\n    const translated = result.items.map((item) =>\n      this.translateCompletion(item, result, view, epoch),\n    );\n    const available = translated.filter((entry) => entry !== null);\n    const first = available[0];\n    return first\n      ? { from: first.from, to: first.to, options: available.map(({ option }) => option) }\n      : null;\n  }\n\n  private translateCompletion(\n    item: CompletionItem,\n    identity: SnapshotIdentity,\n    view: EditorView,\n    epoch: number,\n  ): Readonly<{ from: number; to: number; option: Completion }> | null {\n    const range = rangeToOffsets(view.state.doc, item.edit.range);\n    if (!range) return null;\n    const option: Completion = {\n      label: item.label,\n      type: item.kind === \"binding\" ? \"variable\" : item.kind,\n      detail: `${item.support}, ${item.presence}`,\n      boost: item.support === \"common\" ? 10 : 0,\n      apply: (target) => this.applyCompletion(target, item, identity, epoch),\n    };\n    return { ...range, option };\n  }\n\n  private applyCompletion(\n    view: EditorView,\n    item: CompletionItem,\n    identity: SnapshotIdentity,\n    epoch: number,\n  ): void {\n    if (!this.publishable(identity, view, epoch, \"completion\")) return;\n    const range = rangeToOffsets(view.state.doc, item.edit.range);\n    if (!range) return;\n    view.dispatch({ changes: { ...range, insert: item.edit.text } });\n  }\n\n  private pointerHover(view: EditorView, offset: number): Tooltip | null {\n    return this.requestHover(view, offset);\n  }\n\n  private keyboardHover(view: EditorView): boolean {\n    const tooltip = this.requestHover(view, view.state.selection.main.head);\n    if (!tooltip) return false;\n    view.dispatch({ effects: setKeyboardTooltip.of(tooltip) });\n    return true;\n  }\n\n  private requestHover(view: EditorView, offset: number): Tooltip | null {\n    const epoch = ++this.hoverEpoch;\n    const result = this.service.hover(this.uri, positionAt(view.state.doc, offset), {\n      cancellation: this.cancellation(\"hover\", epoch),\n    });\n    if (\n      result.kind !== \"hover\" ||\n      !result.hover ||\n      !this.publishable(result, view, epoch, \"hover\")\n    ) {\n      return null;\n    }\n    return translatedTooltip(result, view);\n  }\n\n  private clearInteractions(view: EditorView): boolean {\n    this.clearEditor(view, false);\n    view.focus();\n    return true;\n  }\n\n  private clearEditor(view: EditorView, diagnostics: boolean): void {\n    closeCompletion(view);\n    const interactions = { effects: [setKeyboardTooltip.of(null), closeHoverTooltips] };\n    if (diagnostics) view.dispatch(interactions, setDiagnostics(view.state, []));\n    else view.dispatch(interactions);\n  }\n  private scheduleDiagnostics(view: EditorView): void {\n    this.cancelDiagnosticsFrame();\n    const epoch = ++this.diagnosticsEpoch;\n    const viewEpoch = this.viewEpoch;\n    this.diagnosticsFrame = animationWindow(view).requestAnimationFrame(() => {\n      this.diagnosticsFrame = null;\n      const result = this.service.diagnostics(this.uri, {\n        cancellation: this.cancellation(\"diagnostics\", epoch),\n      });\n      if (result.kind !== \"diagnostics\" || !this.publishable(result, view, epoch, \"diagnostics\"))\n        return;\n      if (this.viewEpoch !== viewEpoch) return;\n      view.dispatch(\n        setDiagnostics(\n          view.state,\n          result.diagnostics.map((entry) => translateDiagnostic(entry, view)),\n        ),\n      );\n    });\n  }\n  private cancelDiagnosticsFrame(): void {\n    if (this.diagnosticsFrame === null || !this.view) return;\n    animationWindow(this.view).cancelAnimationFrame(this.diagnosticsFrame);\n    this.diagnosticsFrame = null;\n  }\n\n  private cancellation(kind: RequestKind, epoch: number) {\n    return {\n      isCancellationRequested: () => this.disposed || this.epoch(kind) !== epoch,\n    };\n  }\n\n  private publishable(\n    identity: SnapshotIdentity,\n    view: EditorView,\n    epoch: number,\n    kind: RequestKind,\n  ): boolean {\n    return (\n      !this.disposed &&\n      this.view === view &&\n      this.epoch(kind) === epoch &&\n      \"status\" in identity &&\n      identity.status === \"current\" &&\n      this.service.isCurrent(identity)\n    );\n  }\n\n  private epoch(kind: RequestKind): number {\n    if (kind === \"completion\") return this.completionEpoch;\n    if (kind === \"hover\") return this.hoverEpoch;\n    return this.diagnosticsEpoch;\n  }\n\n  private invalidateRequests(): void {\n    this.completionEpoch += 1;\n    this.hoverEpoch += 1;\n    this.diagnosticsEpoch += 1;\n  }\n\n  private nextRevision(): number {\n    if (this.revision >= Number.MAX_SAFE_INTEGER)\n      throw new RangeError(\"Kalada document revision exhausted\");\n    this.revision += 1;\n    return this.revision;\n  }\n\n  private requireDocument(): DocumentSnapshot {\n    const document = this.service.getDocument(this.uri);\n    if (!document) throw new Error(\"Kalada editor document is not open\");\n    return document;\n  }\n\n  private notify(snapshot: DocumentSnapshot): void {\n    try {\n      this.onDocumentChange?.(snapshot);\n    } catch {}\n  }\n\n  private assertOpen(): void {\n    if (this.disposed) throw new Error(\"Kalada editor session is disposed\");\n  }\n}\ntype RequestKind = \"completion\" | \"hover\" | \"diagnostics\";\n"]}

package/package.json

@@ -0,0 +1,61 @@
+{
+  "name": "@kalada/codemirror",
+  "version": "0.1.0",
+  "description": "Thin CodeMirror 6 integration for the Kalada language service",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/surikaterna/kalada",
+    "directory": "packages/codemirror"
+  },
+  "type": "module",
+  "sideEffects": false,
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "main": "./dist/index.cjs",
+  "module": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": {
+        "types": "./dist/index.d.ts",
+        "default": "./dist/index.js"
+      },
+      "require": {
+        "types": "./dist/index.d.cts",
+        "default": "./dist/index.cjs"
+      }
+    },
+    "./package.json": "./package.json"
+  },
+  "scripts": {
+    "build": "tsup",
+    "test": "vitest run --config ../../vitest.config.ts src",
+    "typecheck": "tsc --noEmit"
+  },
+  "dependencies": {
+    "@kalada/language-service": "^0.1.0"
+  },
+  "peerDependencies": {
+    "@codemirror/autocomplete": "^6.20.3",
+    "@codemirror/commands": "^6.11.1",
+    "@codemirror/lint": "^6.9.7",
+    "@codemirror/state": "^6.7.6",
+    "@codemirror/view": "^6.43.13"
+  },
+  "devDependencies": {
+    "@codemirror/autocomplete": "6.20.3",
+    "@codemirror/commands": "6.11.1",
+    "@codemirror/lint": "6.9.7",
+    "@codemirror/state": "6.7.6",
+    "@codemirror/view": "6.43.13"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "engines": {
+    "node": ">=22.0.0"
+  }
+}