@lemmabase/lemma-engine 0.8.12 → 0.8.14

package/lemma_bg.wasm.d.ts

@@ -18,16 +18,20 @@ export const intounderlyingsink_write: (a: number, b: number) => number;
 export const intounderlyingsource_cancel: (a: number) => void;
 export const intounderlyingsource_pull: (a: number, b: number) => number;
 export const __wbg_engine_free: (a: number, b: number) => void;
+export const wasmengine_fetch: (a: number, b: number, c: number) => number;
 export const wasmengine_format: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
+export const wasmengine_format_repository: (a: number, b: number, c: number, d: number) => void;
 export const wasmengine_invert: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
 export const wasmengine_list: (a: number, b: number) => void;
-export const wasmengine_load: (a: number, b: number, c: number, d: number, e: number) => number;
+export const wasmengine_load: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
+export const wasmengine_load_batch: (a: number, b: number, c: number, d: number, e: number) => void;
 export const wasmengine_new: () => number;
-export const wasmengine_run: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => void;
-export const wasmengine_schema: (a: number, b: number, c: number, d: number, e: number, f: number) => void;
-export const __wasm_bindgen_func_elem_10686: (a: number, b: number, c: number, d: number) => void;
-export const __wasm_bindgen_func_elem_2761: (a: number, b: number, c: number, d: number) => void;
-export const __wasm_bindgen_func_elem_10704: (a: number, b: number, c: number, d: number) => void;
+export const wasmengine_repositories: (a: number, b: number) => void;
+export const wasmengine_run: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number, k: number) => void;
+export const wasmengine_schema: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number) => void;
+export const __wasm_bindgen_func_elem_11787: (a: number, b: number, c: number, d: number) => void;
+export const __wasm_bindgen_func_elem_2722: (a: number, b: number, c: number, d: number) => void;
+export const __wasm_bindgen_func_elem_11799: (a: number, b: number, c: number, d: number) => void;
 export const __wbindgen_export: (a: number, b: number) => number;
 export const __wbindgen_export2: (a: number, b: number, c: number, d: number) => number;
 export const __wbindgen_export3: (a: number) => void;

package/lsp-client.js

@@ -154,6 +154,15 @@ export class LspClient {
         });
     }
 
+    /**
+     * Notify the server that a file was closed.
+     */
+    didClose(uri) {
+        this.sendNotification('textDocument/didClose', {
+            textDocument: { uri: uri },
+        });
+    }
+
     /**
      * Request textDocument/formatting from the server.
      * Returns an array of TextEdit.

package/monaco.js

@@ -3,34 +3,120 @@
  * Syntax highlighting is provided by the Rust LSP via semantic tokens.
  */
 
+// Must stay in exact index order with TOKEN_TYPES in engine/lsp/src/semantic_tokens.rs.
 export const SEMANTIC_TOKEN_TYPES = [
-  'keyword',
-  'type',
-  'function',
-  'variable',
-  'number',
-  'string',
-  'comment',
-  'operator',
-  'enumMember',
-  'property',
+  'namespace',      // 0 — repo keyword + qualifier
+  'class',          // 1 — spec keyword + name
+  'property',       // 2 — data keyword + field path (before colon)
+  'function',       // 3 — rule keyword + rule name (colon is punctuation)
+  'string',         // 4 — values in rule body / defaults
+  'comment',        // 5
+  'keyword',        // 6 — type keywords, math functions
+  'operator',       // 7
+  'controlKeyword', // 8 — unless, then, uses, and, not, from, in, veto, …
+  'dataBody',       // 9 — data block after the colon
+  'punctuation',    // 10 — colons after data field and rule name
+  'reference',      // 11 — identifiers in spec/rule body
 ];
 
+export const SEMANTIC_TOKEN_MODIFIERS = [];
+
+/**
+ * Monaco theme rules for Lemma semantic tokens.
+ *
+ * Monaco standalone resolves semantic token colors via its TextMate rule
+ * matcher: getTokenStyleMetadata calls _match(type + '.' + modifier).
+ * Rules must therefore use the token type name (with optional .modifier suffix)
+ * and foreground values WITHOUT a leading '#'.
+ *
+ * Use in monaco.editor.defineTheme: { ..., rules: LEMMA_MONACO_RULES }
+ */
+export const LEMMA_MONACO_RULES = [
+  { token: 'namespace',      foreground: 'BD8EBB' }, // repo keyword + qualifier
+  { token: 'class',          foreground: '5DBDAA' }, // spec keyword + name
+  { token: 'property',       foreground: 'A3B5DF' }, // data header (keyword + field)
+  { token: 'function',       foreground: 'A3B5DF' }, // rule header (keyword + name)
+  { token: 'string',         foreground: 'D07868' }, // same as dataBody (values / literals bucket)
+  { token: 'comment',        foreground: '595945' },
+  { token: 'keyword',        foreground: '6BA0C2' }, // type + math keywords
+  { token: 'operator',       foreground: '80807A' },
+  { token: 'controlKeyword', foreground: '726B83' }, // unless, then, uses
+  { token: 'dataBody',       foreground: 'D07868' }, // data block after colon
+  { token: 'punctuation',    foreground: '79987F' }, // declaration colons
+  { token: 'reference',      foreground: 'A59582' }, // paths, aliases, …
+];
+
+/**
+ * Semantic token colours (Lemma dark theme).
+ * Monaco uses dot notation for modifier-qualified rules (type.modifier).
+ */
+export const LEMMA_SEMANTIC_COLORS = {
+  'namespace':      '#BD8EBB', // repo
+  'class':          '#5DBDAA', // spec
+  'property':       '#A3B5DF', // data header
+  'function':       '#A3B5DF', // rule header
+  'string':         '#D07868', // same hex as dataBody
+  'comment':        '#595945',
+  'keyword':        '#6BA0C2', // type + math keywords
+  'operator':       '#80807A',
+  'controlKeyword': '#726B83',
+  'dataBody':       '#D07868', // data after colon
+  'punctuation':    '#79987F', // data/rule colons
+  'reference':      '#A59582',
+};
+
+/**
+ * Complete Monaco theme built on the Lemma brand.
+ * Pass directly to monaco.editor.defineTheme:
+ *
+ *   monaco.editor.defineTheme('lemma-dark', LEMMA_MONACO_THEME);
+ *   monaco.editor.setTheme('lemma-dark');
+ *
+ * The editor background is set to transparent so the obsidian stone
+ * surface from the page shows through unbroken (matching .lemma-editor CSS).
+ * Set colors['editor.background'] to '#0B0B09' if you need an opaque editor.
+ */
+export const LEMMA_MONACO_THEME = {
+  base: 'vs-dark',
+  inherit: true,
+  rules: LEMMA_MONACO_RULES,
+  colors: {
+    // Background transparent — stone surface shows through.
+    // If you need opaque, override with '#0B0B09'.
+    'editor.background':                '#0B0B0900',
+    'editor.foreground':                '#EFE4C8', // soft ivory
+    'editorLineNumber.foreground':      '#4A4A42',
+    'editorLineNumber.activeForeground': '#8A8A78',
+    'editorCursor.foreground':          '#C2B295', // sandstone
+    'editor.selectionBackground':       '#C2B29530', // sandstone at ~19%
+    'editor.lineHighlightBackground':   '#27272410', // offset, very subtle
+    'editorIndentGuide.background1':    '#27272460',
+    'editorIndentGuide.activeBackground1': '#C2B29550',
+    'editorBracketMatch.background':    '#C2B29530',
+    'editorBracketMatch.border':        '#C2B295',
+    'scrollbarSlider.background':       '#C1C2BD20',
+    'scrollbarSlider.hoverBackground':  '#C1C2BD40',
+    'scrollbarSlider.activeBackground': '#C1C2BD60',
+  },
+};
+
 export function registerLemmaLanguage(monaco) {
   monaco.languages.register({ id: 'lemma' });
 
   monaco.languages.setLanguageConfiguration('lemma', {
     comments: { blockComment: ['"""', '"""'] },
-    brackets: [['(', ')'], ['[', ']']],
+    // brackets: [['(', ')'], ['[', ']']],
     autoClosingPairs: [
       { open: '(', close: ')' },
       { open: '[', close: ']' },
       { open: '"', close: '"' },
+      { open: '"""', close: '"""' },
     ],
     surroundingPairs: [
       { open: '(', close: ')' },
       { open: '[', close: ']' },
       { open: '"', close: '"' },
+      { open: '"""', close: '"""' },
     ],
   });
 }
@@ -46,7 +132,7 @@ export function registerLemmaLanguage(monaco) {
 export function registerLspProviders(monaco, lspClient) {
   monaco.languages.registerDocumentSemanticTokensProvider('lemma', {
     getLegend() {
-      return { tokenTypes: SEMANTIC_TOKEN_TYPES, tokenModifiers: [] };
+      return { tokenTypes: SEMANTIC_TOKEN_TYPES, tokenModifiers: SEMANTIC_TOKEN_MODIFIERS };
     },
     async provideDocumentSemanticTokens(model) {
       const uri = model.uri.toString();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lemmabase/lemma-engine",
-  "version": "0.8.12",
+  "version": "0.8.14",
   "description": "A language that means business. Also in the browser.",
   "type": "module",
   "main": "lemma.js",