@dxos/diagram 0.11.1 → 0.14.0

package/src/dsl/dsl.test.ts

@@ -0,0 +1,286 @@
+//
+// Copyright 2026 DXOS.org
+//
+
+import { describe, test } from 'vitest';
+
+import * as MermaidEngine from '../mermaid-engine.ts';
+import type * as Scene from '../scene.ts';
+import { BASIC } from '../testing.ts';
+import { parse, parseScene, toScene } from './parse.ts';
+import { print, printCommands } from './print.ts';
+
+/** Every element kind, every attribute family, in canonical form. */
+const KITCHEN_SINK = `object pkgA @ -24,-24 scale=2 index="a1" ref="dxn:echo:@:01ABC" {
+  rect frame 0,0 248x172 "Package A" rotation=45 corners=top color=grey stroke=dashed
+  ellipse blob 4,4 20x10 fill=pattern
+  diamond gate 0,0 30x30
+  triangle warn 0,0 30x30 weight=xl
+  circle dot 10,10 4 "o" color=red
+  line path 0,0 10,10 20,0 closed=true stroke=dotted
+  curve wave 0,0 10,10 20,0
+  arc smile 50,50 20 0..180
+  text note 4,4 "A label" w=120 weight=s
+  arrow bound A/box -> B/box#left "extends" head=triangle tail=circle
+  arrow free 10,20 -> 30,40
+  arrow half A/box -> _
+  portal inner 0,0 240x160 "Inner" ref="dxn:echo:@:01XYZ"
+}
+`;
+
+const COMMANDS = `object A @ 0,0 {
+  rect box 0,0 100x50 "A"
+}
+
+elements A {
+  rect extra 0,0 5x5
+}
+
+move A @ 10,20
+
+remove elements A extra
+
+remove object A
+`;
+
+/** Ids the grammar reserves or cannot lex bare; the printer has to quote them back. */
+const AWKWARD_IDS = `object "1st" @ 0,0 {
+  rect "rect" 0,0 10x10 "quote \\" and \\\\ and \\n"
+  rect "has space" 0,0 10x10
+}
+`;
+
+const NEGATIVES = `object neg @ -1.5,-2 scale=0.25 {
+  rect box -10,-20 -30x-40
+  arc back 0,0 5 -90..270
+}
+`;
+
+const roundTrip = (source: string) => printCommands(parse(source).commands);
+
+describe('dsl round trip', () => {
+  for (const [name, source] of Object.entries({ KITCHEN_SINK, COMMANDS, AWKWARD_IDS, NEGATIVES })) {
+    test(`print(parse(x)) === x — ${name}`, ({ expect }) => {
+      expect(parse(source).problems).toEqual([]);
+      expect(roundTrip(source)).toEqual(source);
+    });
+  }
+
+  test('an empty document is empty', ({ expect }) => {
+    expect(roundTrip('')).toEqual('');
+    expect(roundTrip('# just a comment\n')).toEqual('');
+  });
+
+  test('comments parse and are dropped, as documented', ({ expect }) => {
+    const { commands, problems } = parse(`
+      # leading
+      object A @ 0,0 {   # trailing
+        rect box 0,0 10x10
+      }
+    `);
+    expect(problems).toEqual([]);
+    expect(print(toScene(commands))).toEqual('object A @ 0,0 {\n  rect box 0,0 10x10\n}\n');
+  });
+
+  test('whitespace is insignificant', ({ expect }) => {
+    const dense = 'object A @ 0,0 {rect box 0,0 10x10 "hi" color=red}';
+    const loose = 'object   A\n  @ 0 , 0\n{\n  rect\n    box\n    0,0\n    10x10\n    "hi"\n    color=red\n}\n';
+    expect(roundTrip(dense)).toEqual(roundTrip(loose));
+  });
+});
+
+describe('dsl scene mapping', () => {
+  test('bound arrow ends survive, with ports', ({ expect }) => {
+    const { scene } = parseScene('object e @ 0,0 {\n  arrow a A/box#left -> B/box\n}\n');
+    const [arrow] = scene.objects[0].elements;
+    expect(arrow).toEqual({ kind: 'arrow', id: 'a', from: 'A/box#left', to: 'B/box' });
+  });
+
+  test('an unbound end is absent, not a point', ({ expect }) => {
+    const { scene } = parseScene('object e @ 0,0 {\n  arrow a _ -> 1,2\n}\n');
+    expect(scene.objects[0].elements[0]).toEqual({ kind: 'arrow', id: 'a', end: { x: 1, y: 2 } });
+  });
+
+  test('a portal carries its target', ({ expect }) => {
+    const { scene } = parseScene('object p @ 0,0 {\n  portal win 0,0 10x10 "T" ref="dxn:echo:@:01"\n}\n');
+    expect(scene.objects[0].elements[0]).toEqual({
+      kind: 'portal',
+      id: 'win',
+      x: 0,
+      y: 0,
+      w: 10,
+      h: 10,
+      ref: 'dxn:echo:@:01',
+      text: 'T',
+    });
+  });
+
+  test('omitting @ leaves the object where it is', ({ expect }) => {
+    const { scene } = parseScene('object A {\n  rect box 0,0 10x10\n}\n');
+    expect(scene.objects[0].origin).toBeUndefined();
+  });
+
+  test('commands apply in order', ({ expect }) => {
+    const { scene } = parseScene(COMMANDS);
+    expect(scene.objects).toEqual([]);
+  });
+
+  test('upsert-elements replaces by id and keeps the rest', ({ expect }) => {
+    const { scene } = parseScene(
+      'object A @ 0,0 {\n  rect a 0,0 1x1\n  rect b 0,0 1x1\n}\n\nelements A {\n  rect b 5,5 2x2\n}\n',
+    );
+    expect(scene.objects[0].elements.map((element) => element.id)).toEqual(['a', 'b']);
+    expect(scene.objects[0].elements[1]).toMatchObject({ x: 5, y: 5, w: 2, h: 2 });
+  });
+});
+
+describe('dsl diagnostics', () => {
+  test('an unknown attribute is reported, not fatal', ({ expect }) => {
+    const { commands, problems } = parse('object A @ 0,0 {\n  rect box 0,0 10x10 colour=red\n}\n');
+    expect(problems).toHaveLength(1);
+    expect(problems[0].message).toContain('Unknown attribute "colour"');
+    expect(commands).toHaveLength(1);
+  });
+
+  test('a value outside the schema literals is reported', ({ expect }) => {
+    const { problems } = parse('object A @ 0,0 {\n  rect box 0,0 10x10 color=puce\n}\n');
+    expect(problems).toHaveLength(1);
+    expect(problems[0].message).toContain('"color" takes one of');
+  });
+
+  test('a portal without a ref is reported', ({ expect }) => {
+    const { problems } = parse('object A @ 0,0 {\n  portal p 0,0 10x10\n}\n');
+    expect(problems.map(({ message }) => message)).toContain(
+      'portal "p" needs ref="<dxn>": it is the drawing shown inside the frame.',
+    );
+  });
+
+  test('ranges point at the statement and the element a layout report names', ({ expect }) => {
+    const source = 'object A @ 0,0 {\n  rect box 0,0 10x10\n}\n';
+    const { ranges } = parse(source);
+    expect(source.slice(ranges.get('A')!.from, ranges.get('A')!.to)).toEqual(
+      'object A @ 0,0 {\n  rect box 0,0 10x10\n}',
+    );
+    expect(source.slice(ranges.get('A/box')!.from, ranges.get('A/box')!.to)).toEqual('rect box 0,0 10x10');
+  });
+
+  //
+  // Recovered nodes can hold one number where the grammar wants two. Every one of these threw a
+  // TypeError out of `parse` before the readers were guarded, which would have broken the promise
+  // that `parse` reports rather than throws.
+  //
+  for (const [name, source] of Object.entries({
+    'half a point': 'object A @ 0, {\n  rect b 0,0 1x1\n}\n',
+    'half an element point': 'object A @ 0,0 {\n  rect b 0, 1x1\n}\n',
+    'half a range': 'object A @ 0,0 {\n  arc a 0,0 5 90..\n}\n',
+    'half a move': 'move A @ 1,\n',
+    'half a line point': 'object A @ 0,0 {\n  line l 0,0 10,\n}\n',
+  })) {
+    test(`an incomplete ${name} reports instead of throwing`, ({ expect }) => {
+      const { problems } = parse(source);
+      expect(problems.length).toBeGreaterThan(0);
+    });
+  }
+
+  test('a syntax error is located', ({ expect }) => {
+    const { problems } = parse('object A @ 0,0 {\n  rect box 0,0\n}\n');
+    expect(problems.length).toBeGreaterThan(0);
+    expect(problems[0].to).toBeGreaterThan(problems[0].from);
+  });
+});
+
+describe('dsl round-trip hazards', () => {
+  test('an upsert without @ keeps the position the object already had', ({ expect }) => {
+    const { scene } = parseScene('object A @ 10,20 {\n  rect b 0,0 1x1\n}\n\nobject A {\n  rect b 0,0 2x2\n}\n');
+    // `WorldObject.origin` says "omit on upsert to keep the current position".
+    expect(scene.objects[0].origin).toEqual({ x: 10, y: 20 });
+    expect(scene.objects[0].elements[0]).toMatchObject({ w: 2, h: 2 });
+  });
+
+  test('a ref whose id cannot lex bare round-trips quoted', ({ expect }) => {
+    // Mermaid ids may start with a digit, so `1st/box` is reachable from a real dialect.
+    const scene: Scene.Scene = {
+      objects: [{ id: 'edges', origin: { x: 0, y: 0 }, elements: [{ kind: 'arrow', id: 'e', from: '1st/box' }] }],
+    };
+    const text = print(scene);
+    expect(text).toContain('"1st/box"');
+    expect(parse(text).problems).toEqual([]);
+    expect(toScene(parse(text).commands)).toEqual(scene);
+  });
+
+  test('exponent notation survives the round trip', ({ expect }) => {
+    // `String(1e-7)` is "1e-7", which the grammar had to learn to read back.
+    const scene: Scene.Scene = {
+      objects: [
+        { id: 'A', origin: { x: 1e-7, y: 1e21 }, elements: [{ kind: 'rect', id: 'b', x: 0, y: 0, w: 1, h: 1 }] },
+      ],
+    };
+    const text = print(scene);
+    expect(parse(text).problems).toEqual([]);
+    expect(toScene(parse(text).commands)).toEqual(scene);
+  });
+
+  //
+  // The exponent support the printer needs also admits `1e309`, which `parseFloat` turns into
+  // Infinity — an infinite coordinate poisons layout and cannot be printed back, so `parse` must
+  // refuse what `print` refuses.
+  //
+  for (const [name, source] of Object.entries({
+    origin: 'object A @ 1e309,0 {\n  rect b 0,0 1x1\n}\n',
+    size: 'object A @ 0,0 {\n  rect b 0,0 1e309x1\n}\n',
+    radius: 'object A @ 0,0 {\n  circle c 0,0 1e309\n}\n',
+    range: 'object A @ 0,0 {\n  arc a 0,0 5 0..1e309\n}\n',
+    attribute: 'object A @ 0,0 {\n  rect b 0,0 1x1 rotation=1e309\n}\n',
+  })) {
+    test(`an overflowing ${name} is reported, not silently Infinity`, ({ expect }) => {
+      const { commands, problems } = parse(source);
+      expect(problems.length).toBeGreaterThan(0);
+      // Nothing infinite may reach a command, since `Draw` would apply it and `print` could not
+      // write it back.
+      expect(JSON.stringify(commands)).not.toContain('null');
+    });
+  }
+
+  test('a non-finite coordinate is refused rather than printed unreadably', ({ expect }) => {
+    const scene: Scene.Scene = {
+      objects: [{ id: 'A', origin: { x: Number.NaN, y: 0 }, elements: [] }],
+    };
+    expect(() => print(scene)).toThrow(TypeError);
+  });
+});
+
+describe('dsl over the reference fixture', () => {
+  test('BASIC survives a mermaid compile, a print, and a reparse', async ({ expect }) => {
+    const commands = await MermaidEngine.compile(BASIC.trim());
+    const upserts = commands.filter((command) => command.op === 'upsert-object');
+    expect(upserts).toHaveLength(commands.length);
+
+    const text = printCommands(commands);
+    const { commands: reparsed, problems } = parse(text);
+    expect(problems).toEqual([]);
+
+    // Text identity: the printed form is canonical, so a second pass changes nothing.
+    expect(printCommands(reparsed)).toEqual(text);
+    // Scene identity: the model survives the text, not merely its formatting.
+    expect(toScene(reparsed)).toEqual(toScene(commands));
+  });
+
+  test('BASIC prints objects a reviewer can read', async ({ expect }) => {
+    const text = printCommands(await MermaidEngine.compile(BASIC.trim()));
+    // The frames, the type boxes, and the one `edges` object holding the routes.
+    expect(text).toMatch(/^object pkgA @ /m);
+    expect(text).toMatch(/^ {2}rect frame 0,0 \d/m);
+    expect(text).toMatch(/^object edges @ /m);
+    expect(text).toMatch(/ -> /);
+  });
+});
+
+describe('dsl scene printing', () => {
+  test('print emits only object statements', ({ expect }) => {
+    const scene: Scene.Scene = {
+      objects: [{ id: 'A', origin: { x: 1, y: 2 }, elements: [{ kind: 'rect', id: 'box', x: 0, y: 0, w: 3, h: 4 }] }],
+    };
+    expect(print(scene)).toEqual('object A @ 1,2 {\n  rect box 0,0 3x4\n}\n');
+    expect(toScene(parse(print(scene)).commands)).toEqual(scene);
+  });
+});

package/src/dsl/gen/diagram.ts

@@ -0,0 +1,22 @@
+// This file was generated by lezer-generator. You probably shouldn't edit it.
+import {LRParser} from "@lezer/lr"
+const spec_name = {__proto__:null,object:8, elements:42, move:44, remove:46, rect:48, ellipse:50, diamond:52, triangle:54, circle:56, line:58, curve:60, arc:62, text:64, arrow:66, portal:68, diagram:70, group:72, node:74, edge:76, cell:78, via:80, bus:82, compact:84, _:124}
+export const parser = LRParser.deserialize({
+  version: 14,
+  states: ":WQYQPOOOOQO'#Eq'#EqOOQO'#E`'#E`QYQPOOOtQPO'#C_OtQPO'#DoOtQPO'#DpO|QPO'#DqO!UQPO'#DsOtQPO'#D{OtQPO'#EROtQPO'#DtOOQO-E8^-E8^OOQO'#Ca'#CaO!yQPO,58yO#UQPO,5:ZO#ZQPO,5:[OtQPO,5:]OtQPO,5:^O#`QPO'#CdOOQO'#Cj'#CjO#eQPO'#CiOOQO'#Ef'#EfO#jQPO,5:_O$_QPO,5:gO%]QPO'#ETO&jQPO'#ESO'tQPO,5:mO(SQPO,5:`OOQO'#Cc'#CcOOQO'#Ea'#EaO!yQPO1G.eO)YQPO'#DZOOQO1G.e1G.eOOQO1G/u1G/uOOQO1G/v1G/vOOQO1G/w1G/wOtQPO1G/xOOQO'#Cg'#CgO)aQPO'#CfOOQO,59O,59OO)fQPO,59TOOQO-E8d-E8dO+]QPO'#CjOOQO'#D_'#D_OOQO'#Dv'#DvOtQPO'#DuO+hQPO'#DuO+mQPO'#D|OOQO'#Ei'#EiO+uQPO1G0RO+uQPO1G0RO,pQPO,5:oOtQPO'#EkO,xQPO,5:nOOQO'#E['#E[OOQO'#EX'#EXOtQPO1G0XOOQO'#Eg'#EgO(VQPO1G/zO.SQPO'#DzOOQO'#Dy'#DyOOQO1G/z1G/zO(VQPO1G/zOOQO-E8_-E8_OOQO7+$P7+$POtQPO'#D]OtQPO'#DaOOQO'#D['#D[OOQO'#Eb'#EbO.bQPO,59uOOQO,59u,59uOOQO'#D^'#D^OtQPO'#D`OOQO'#Db'#DbOtQPO'#DcOtQPO'#DfOtQPO'#DgOtQPO'#DnOOQO'#Ee'#EeO.iQPO7+%dO#`QPO,59QOOQO'#Cm'#CmO/^QPO'#ClOOQO'#Cp'#CpOOQO'#Cl'#ClOOQO1G.o1G.oOOQO,5:a,5:aOOQO'#Dx'#DxOtQPO,5:aOOQO,5:h,5:hO1ZQPO'#EOOOQO-E8g-E8gO1`QPO7+%mOOQO'#EV'#EVO2ZQPO'#EUOOQO1G0Z1G0ZO,sQPO1G0ZOOQO,5;V,5;VOOQO-E8i-E8iO3hQPO7+%sOOQO-E8e-E8eOOQO7+%f7+%fOOQO'#Eh'#EhO4fQPO,5:fOOQO,5:f,5:fO(VQPO7+%fO#`QPO,59wO#`QPO,59{OOQO-E8`-E8`OOQO1G/a1G/aO#`QPO,59zO#`QPO,59}O#`QPO,5:QO4tQPO,5:RO#`QPO,5:YOOQO-E8c-E8cOOQO1G.l1G.lO#`QPO,59YOOQO1G/{1G/{O5SQPO,5:jO,sQPO'#EjO5[QPO,5:pOOQO7+%u7+%uOOQO'#El'#ElO6iQPO<<I_O7dQPO'#E]O7oQPO'#E_O6iQPO<<I_OOQO-E8f-E8fOOQO1G0Q1G0QOOQO<<IQ<<IQO+WQPO1G/cO#`QPO1G/gO#`QPO1G/fO#`QPO1G/iO8mQPO1G/lOOQO'#Dj'#DjOOQO'#Di'#DiO8rQPO'#DhOOQO'#Dk'#DkO8wQPO1G/mO+WQPO1G/tOOQO1G.t1G.tOOQO'#EQ'#EQO9uQPO1G0UOOQO,5;U,5;UOOQO-E8h-E8hOOQO-E8j-E8jO9zQPO'#E^OOQO'#E^'#E^OOQO'#Em'#EmO:PQPO,5:wOtQPO,5:yO;TQPOAN>yO<OQPO7+$}OOQO'#Ed'#EdO<|QPO7+%RO=zQPO7+%QO#`QPO7+%TO>xQPO7+%WO4tQPO,5:SOOQO'#Ec'#EcO?sQPO7+%XO?sQPO7+%XO@nQPO7+%`O5SQPO7+%pO5SQPO,5:xOOQO-E8k-E8kOOQO1G0e1G0eOAlQPO<<HiOAlQPO<<HiOBgQPO<<HmOOQO-E8b-E8bOCbQPO<<HlOCbQPO<<HlOD]QPO'#DdODbQPO<<HoOE]QPO<<HrOOQO1G/n1G/nOOQO-E8a-E8aOFWQPO<<HsOGRQPO<<HzOGRQPO<<HzOG|QPO<<I[OOQO1G0d1G0dOHRQPOAN>TOH|QPOAN>WO#`QPO,5:OOIwQPOAN>ZOJrQPOAN>fOOQOAN>vAN>vOOQO1G/j1G/j",
+  stateData: "Ks~O#dOSPOS~OSSOeTOfUOgVOsWOtZOuXOvYO~OU]O#f]O~OSaOebO~OXcO#fdOS!gXe!gXf!gXg!gXs!gXt!gXu!gXv!gX#b!gX~OXcO|pO#fdO~O|pO~OXcO~O#gvO~O_yO~OXcO#fdOS!gae!gaf!gag!gas!gat!gau!gav!ga#b!ga~OU|OX!QO!k}O#f{OS!oae!oaf!oag!oas!oat!oau!oav!oa#b!oa{!oa~Oc!UO[!wX!a!wX!|!wX!}!wX#f!wXS!wXU!wXe!wXf!wXg!wXs!wXt!wXu!wXv!wXx!wXy!wX#b!wX{!wX~O[!VO!a!vX!|!vX!}!vX#f!vXS!vXU!vXe!vXf!vXg!vXs!vXt!vXu!vXv!vXx!vXy!vX#b!vX{!vX~O!a!YO!|!YO!}!YO#f!XO~OU|Oz!_O|!^O!k}O#f{O~Oh!jOi!jOj!jOk!jOl!kOm!lOn!lOo!mOp!nOq!oOr!pO~O{!iO~P(eO[!sO~OS!vOU!wOe!vOf!vOg!vOh!vOi!vOj!vOk!vOl!vOm!vOn!vOo!vOp!vOq!vOr!vOs!vOt!vOu!vOv!vOw!vOx!vOy!vOz!vO#f!vO#gvO#h!tO~OU!lX_^X#f!lX~O#f!zO~Ow!}O#gvO~OX!QO!k}O#f{OS!oie!oif!oig!ois!oit!oiu!oiv!oi#b!oi{!oi~O!k}O#f#QO~O[!VO!a!va!|!va!}!va#f!vaS!vaU!vae!vaf!vag!vas!vat!vau!vav!vax!vay!va#b!va{!va~OtZOuXOvYO{#]O~O{#bO~P(eOU]O#f]OS!fqe!fqf!fqg!fqs!fqt!fqu!fqv!fq#b!fq~Oc#jOS`XX`Xe`Xf`Xg`Xs`Xt`Xu`Xv`X#b`X#f`X|`X!k`Xz`Xx`Xy`X{`Xh`Xi`Xj`Xk`Xl`Xm`Xn`Xo`Xp`Xq`Xr`X~O!s#lO~OX!QO!k}O#f{OS!oqe!oqf!oqg!oqs!oqt!oqu!oqv!oq#b!oq{!oq~O!z#mO[!xX!a!xX!|!xX!}!xX#f!xXS!xXU!xXe!xXf!xXg!xXs!xXt!xXu!xXv!xXx!xXy!xX#b!xX{!xX~OU|Ox#rOy#sO#fdOS!uqe!uqf!uqg!uqs!uqt!uqu!uqv!uq#b!uq{!uq~OtZOuXOvYO{#vO~OU#}O!`$QO#f#}O#gvO~O!`$QO#gvO~O!z#mO[!xa!a!xa!|!xa!}!xa#f!xaS!xaU!xae!xaf!xag!xas!xat!xau!xav!xax!xay!xa#b!xa{!xa~Ox#rOy#sO#fdOS!uye!uyf!uyg!uys!uyt!uyu!uyv!uy#b!uy{!uy~Ow!}O!`$QO#gvO~O_$_OS#RXe#RXf#RXg#RXs#RXt#RXu#RXv#RXx#RXy#RX#b#RX#f#RX{#RX~OU|O~O!a$gO~OU|O#fdOh!Zii!Zij!Zik!Zil!Zim!Zin!Zio!Zip!Ziq!Zir!Zi{!Zi~O[$lO~O[$mO~Ow!}O!`$QO#gvOS#Pae#Paf#Pag#Pas#Pat#Pau#Pav#Pax#Pay#Pa#b#Pa#f#Pa{#Pa~Ox#rOy#sO#fdOS!u!Re!u!Rf!u!Rg!u!Rs!u!Rt!u!Ru!u!Rv!u!R#b!u!R{!u!R~OU|O#fdOh!Pqi!Pqj!Pqk!Pql!Pqm!Pqn!Pqo!Pqp!Pqq!Pqr!Pq{!Pq~O#fdO#gvOh!Tqi!Tqj!Tqk!Tql!Tqm!Tqn!Tqo!Tqp!Tqq!Tqr!Tq{!Tq~OU|O#fdOh!Sqi!Sqj!Sqk!Sql!Sqm!Sqn!Sqo!Sqp!Sqq!Sqr!Sq{!Sq~O#fdOh!Yqi!Yqj!Yqk!Yql!Yqm!Yqn!Yqo!Yqp!Yqq!Yqr!Yq{!Yq~O#fdOh!Zqi!Zqj!Zqk!Zql!Zqm!Zqn!Zqo!Zqp!Zqq!Zqr!Zq{!Zq~OU|O#fdOh!bqi!bqj!bqk!bql!bqm!bqn!bqo!bqp!bqq!bqr!bq{!bq~O#fdOh!Pyi!Pyj!Pyk!Pyl!Pym!Pyn!Pyo!Pyp!Pyq!Pyr!Py{!Py~O#fdOh!Tyi!Tyj!Tyk!Tyl!Tym!Tyn!Tyo!Typ!Tyq!Tyr!Ty{!Ty~O#fdOh!Syi!Syj!Syk!Syl!Sym!Syn!Syo!Syp!Syq!Syr!Sy{!Sy~O!X%SO~O#fdOh!Vyi!Vyj!Vyk!Vyl!Vym!Vyn!Vyo!Vyp!Vyq!Vyr!Vy{!Vy~O#fdOh!Yyi!Yyj!Yyk!Yyl!Yym!Yyn!Yyo!Yyp!Yyq!Yyr!Yy{!Yy~O#fdOh!Zyi!Zyj!Zyk!Zyl!Zym!Zyn!Zyo!Zyp!Zyq!Zyr!Zy{!Zy~O#fdOh!byi!byj!byk!byl!bym!byn!byo!byp!byq!byr!by{!by~O!q%VO~O#fdOh!P!Ri!P!Rj!P!Rk!P!Rl!P!Rm!P!Rn!P!Ro!P!Rp!P!Rq!P!Rr!P!R{!P!R~O#fdOh!S!Ri!S!Rj!S!Rk!S!Rl!S!Rm!S!Rn!S!Ro!S!Rp!S!Rq!S!Rr!S!R{!S!R~O#fdOh!V!Ri!V!Rj!V!Rk!V!Rl!V!Rm!V!Rn!V!Ro!V!Rp!V!Rq!V!Rr!V!R{!V!R~O#fdOh!b!Ri!b!Rj!b!Rk!b!Rl!b!Rm!b!Rn!b!Ro!b!Rp!b!Rq!b!Rr!b!R{!b!R~O#h#g#fP#f~",
+  goto: "0g#fPPP#gP#kP$y$}P%Y%zP&v'zP(t(w)QP)QPPPPPPPPPPPPPPPPPPPPPPPP)T)^)b)f)j)b)b*S)b*WP)b)b*Z*^*d*hPP)b#g#g#g#g#g*s*{+XP+f+R+s*s+}P,TP,[*s,i,o,v,|P-TPP-W-Z-a-Z-e-k-q-w.w.}/T/Z/e/k/u/{0R0]PPP0cTPORQ^SQ_TQ`UQhXUiY!V!ZQlZQtaQubS!qu!rQ!y!OQ#_!dQ#`!eQ#c!kQ#d!mQ#e!nQ#f!oQ#g!pQ#k!{R$o$_Tn^oSfWgSm^oRs`QxcQ!|!QQ#x#_Q#y#`Q#z#cQ#{#dQ#|#eS$O#f$gQ$S#gT$b#y$chwc!Q#_#`#c#d#e#f#g#y$c$gQ!uyQ#i!sQ$T#jY$U#l#r$^$l$mQ$d#zQ$e#{Q$v$eR%W%SSfWgSm^oW!Rh!S!T#PW![l!]!a#^W#p#W#q#t$`}$h$R$a$c$d$f$i$j$k$p$q$r$t$u$w$x${$|$}%Q%R%T%U!oeW^ghlo!S!T!]!a#P#W#^#q#t$R$`$a$c$d$f$i$j$k$p$q$r$t$u$w$x${$|$}%Q%R%T%UR!xyQ!wyQ$a#xR$k$SR!wyQq^Qr_R!coT!gp!hT!fp!hT!dp!hQ!ThQ!alQ#t#WQ$f#|Q$j$RQ$q$aQ$u$dR$}$kT!ep!hR$w$eR$R#fQ$P#fR$y$gT$O#f$gS$O#f$gZ$U#l#r$^$l$mSPORT#Z!^#[W!Rh!S!T#PX![l!]!a#^`!Phl!S!T!]!a#P#^R#T!U`!Ohl!S!T!]!a#P#^R!{!PQ!`lS#Y!]!aR#w#^X!Rh!S!T#PQ!|!QT$[#r$^Q$V#lS$Z#r$^Q%O$lR%P$mQkYR#W!ZSjY!ZR#U!VQ#S!UR#o#TS#R!U#TR$W#mR!ZkR!YkX#p#W#q#t$`T$]#r$^QROR[RQo^R!boQ!hpR#a!hQ$i$RQ$p$aQ$r$cQ$t$dQ$x$ff$z$i$p$r$t$x${$|%Q%R%T%UQ${$jQ$|$kQ%Q$qQ%R$uQ%T$wR%U$}Q$c#yR$s$cQ!ruR#h!rQgWRzgQ!]lS#X!]#^R#^!aQ#[!^R#u#[Q!ShS#O!S#PR#P!TQ#n#RR$X#nQ!WjR#V!WQ#q#WS$Y#q$`R$`#tQ$^#rR$n$^TQOR",
+  nodeNames: "⚠ Comment Document ObjectDecl object Id String ObjectAttr Origin @ Point Number , Attribute AttrName = AttrValue Size Ratio : Word elements move remove rect ellipse diamond triangle circle line curve arc text arrow portal diagram group node edge cell via bus compact } { Body Element BoxElement BoxKind Label CircleElement PathElement PathKind ArcElement Range .. TextElement ArrowElement Connection Endpoint Ref Unbound _ -> PortalElement ElementsDecl MoveStmt RemoveObjectStmt RemoveElementsStmt DiagramDecl GroupDecl Relation Soft ~ RelationKind Compact GroupBody NodeDecl Pin ) CellRef ( Coord EdgeDecl EndList EdgeEnd SideList Side | EdgeOp <-> -- RelationWord Via Waypoint Bus",
+  maxTerm: 116,
+  nodeProps: [
+    ["openedBy", 43,"{"],
+    ["closedBy", 44,"}"]
+  ],
+  skippedNodes: [0,1],
+  repeatNodeCount: 14,
+  tokenData: ",g~RgXY!jYZ!j]^!jpq!jrs!{st$ixy%Qyz%V|}%[}!O%a!O!P)T!Q![%r![!])`!^!_)e!_!`)v!b!c){!c!}*Q#R#S*Q#T#o*Q#o#p,R#p#q,W#q#r,]#r#s,b~!oS#d~XY!jYZ!j]^!jpq!j~#OVOr!{rs#es#O!{#O#P#j#P;'S!{;'S;=`$c<%lO!{~#jOU~~#mRO;'S!{;'S;=`#v;=`O!{~#yWOr!{rs#es#O!{#O#P#j#P;'S!{;'S;=`$c;=`<%l!{<%lO!{~$fP;=`<%l!{~$nSP~OY$iZ;'S$i;'S;=`$z<%lO$i~$}P;=`<%l$i~%VO!s~~%[O!q~~%aO[~~%dR}!O%m!Q![%r!`!a)O~%rO!}~~%wT#g~!O!P&W!Q![%r!g!h&o#X#Y&o#l#m'^~&ZP!Q![&^~&cS#g~!Q![&^!g!h&o#X#Y&o#l#m'^~&rR{|&{}!O&{!Q!['R~'OP!Q!['R~'WQ#g~!Q!['R#l#m'^~'aQ}!O'g!Q!['m~'jP!Q!['m~'rS#h~!O!P(O!Q!['m!g!h(d#X#Y(d~(RP!Q![(U~(ZR#h~!Q![(U!g!h(d#X#Y(d~(gR{|(p}!O(p!Q![(v~(sP!Q![(v~({P#h~!Q![(v~)TO!a~~)WP!O!P)Z~)`O!X~~)eOc~~)hP}!O)k~)nP!`!a)q~)vO!|~~){O_~~*QOX~~*VV#f~st*l}!O*Q!P!Q+^!Q![*Q!c!}*Q#R#S*Q#T#o*Q~*oR!c!}*x#R#S*x#T#o*x~*}T#f~}!O*x!Q![*x!c!}*x#R#S*x#T#o*x~+aR!c!}+j#R#S+j#T#o+j~+oU#f~st*l}!O+j!Q![+j!c!}+j#R#S+j#T#o+j~,WO|~~,]O!z~~,bO{~~,gO!k~",
+  tokenizers: [0],
+  topRules: {"Document":[0,2]},
+  specialized: [{term: 114, get: (value: keyof typeof spec_name) => spec_name[value] || -1}],
+  tokenPrec: 1961
+})

package/src/dsl/index.ts

@@ -0,0 +1,44 @@
+//
+// Copyright 2026 DXOS.org
+//
+
+export {
+  type ConvertOptions,
+  type Source,
+  SOURCES,
+  UndetectedSourceError,
+  UnknownSourceError,
+  convert,
+  detect,
+} from './convert.ts';
+export { type CompileOptions, compile } from './compile.ts';
+export {
+  type ParseResult,
+  type Problem,
+  type Range,
+  type Reading,
+  parse,
+  parseScene,
+  read,
+  toScene,
+  withLayout,
+} from './parse.ts';
+export { formatCommand, formatElement, formatId, formatObject, formatString, print, printCommands } from './print.ts';
+export {
+  type AttrSpec,
+  type AttrType,
+  CLAUSE_KEYWORDS,
+  DIAGRAM_ATTRS,
+  EDGE_ATTRS,
+  ELEMENT_ATTRS,
+  ELEMENT_KINDS,
+  type ElementKind,
+  GROUP_ATTRS,
+  NODE_ATTRS,
+  OBJECT_ATTRS,
+  RELATION_WORDS,
+  RESERVED,
+  SEMANTIC_KEYWORDS,
+  STATEMENT_KEYWORDS,
+} from './vocabulary.ts';
+export { parser } from './gen/diagram.ts';