@milehimikey/em 0.1.0

package/dist/layout/grid.js

@@ -0,0 +1,101 @@
+// SPDX-License-Identifier: MIT
+// Turns a normalized model into a rigid R x C grid.
+//
+// Rows (bands), top -> bottom:
+//   0. header        (slice names — one visible cell per column)
+//   1. automation    (single row, only if the model uses automation elements)
+//   2. ui            (one row per persona)
+//   3. api           (commands + read models share one row — the system's API)
+//   4. event         (one row per context/concept)
+//
+// Columns = slices, in declaration order (time, left -> right).
+//
+// Every (row, col) without a real element becomes an invisible placeholder so
+// that rank chains and weighted column edges keep the grid perfectly aligned.
+export const HEADER_KEY = "__header";
+export function placeholderId(row, col) {
+    return `__ph_${row}_${col}`;
+}
+export function headerCellId(col) {
+    return `__hdr_${col}`;
+}
+/** Node id at a grid coordinate (header cell, element, or placeholder). */
+export function nodeIdAt(grid, row, col) {
+    if (grid.rows[row].band === "header")
+        return headerCellId(col);
+    const el = grid.cells[row][col];
+    return el ? el.id : placeholderId(row, col);
+}
+function rowKeyForElement(el) {
+    switch (el.kind) {
+        case "ui":
+            return `ui:${el.persona}`;
+        case "command":
+        case "view":
+            return "api";
+        case "event":
+            return `event:${el.context}`;
+        case "automation":
+        case "processor":
+        case "saga":
+        case "translation":
+            return "automation";
+    }
+}
+export function layout(model, opts = {}) {
+    const rows = [];
+    rows.push({ key: HEADER_KEY, label: "", band: "header" });
+    if (model.hasAutomation) {
+        rows.push({ key: "automation", label: "Automation", band: "automation" });
+    }
+    for (const persona of model.personas) {
+        rows.push({ key: `ui:${persona}`, label: persona, band: "ui" });
+    }
+    rows.push({ key: "api", label: "API", band: "api" });
+    for (const context of model.contexts) {
+        rows.push({ key: `event:${context}`, label: context, band: "event" });
+    }
+    const indexOf = new Map();
+    rows.forEach((r, i) => indexOf.set(r.key, i));
+    const cols = model.slices.length;
+    const cells = rows.map(() => new Array(cols).fill(null));
+    const collisions = [];
+    for (const el of model.elements) {
+        const r = indexOf.get(rowKeyForElement(el));
+        if (r === undefined)
+            continue; // unreachable, rows cover all kinds
+        const c = el.sliceIndex;
+        if (cells[r][c]) {
+            collisions.push({ rowKey: rows[r].key, col: c, kept: cells[r][c], dropped: el });
+            continue;
+        }
+        cells[r][c] = el;
+    }
+    // Collapse the API lane only if the model has no commands or read models.
+    const keep = rows.map((row, r) => {
+        if (opts.keepEmptyLanes)
+            return true;
+        if (row.band !== "api")
+            return true;
+        return cells[r].some((c) => c !== null);
+    });
+    const keptRows = [];
+    const keptCells = [];
+    rows.forEach((row, r) => {
+        if (keep[r]) {
+            keptRows.push(row);
+            keptCells.push(cells[r]);
+        }
+    });
+    const rowIndexByKey = new Map();
+    keptRows.forEach((r, i) => rowIndexByKey.set(r.key, i));
+    return {
+        rows: keptRows,
+        cols,
+        sliceNames: model.slices.map((s) => s.name),
+        cells: keptCells,
+        rowIndexByKey,
+        collisions,
+    };
+}
+//# sourceMappingURL=grid.js.map

package/dist/layout/grid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"grid.js","sourceRoot":"","sources":["../../src/layout/grid.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,oDAAoD;AACpD,EAAE;AACF,+BAA+B;AAC/B,iEAAiE;AACjE,8EAA8E;AAC9E,2CAA2C;AAC3C,+EAA+E;AAC/E,mDAAmD;AACnD,EAAE;AACF,gEAAgE;AAChE,EAAE;AACF,8EAA8E;AAC9E,8EAA8E;AAM9E,MAAM,CAAC,MAAM,UAAU,GAAG,UAAU,CAAC;AA+BrC,MAAM,UAAU,aAAa,CAAC,GAAW,EAAE,GAAW;IACpD,OAAO,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,GAAW;IACtC,OAAO,SAAS,GAAG,EAAE,CAAC;AACxB,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,QAAQ,CAAC,IAAU,EAAE,GAAW,EAAE,GAAW;IAC3D,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC;IAC/D,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IAChC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,gBAAgB,CAAC,EAAW;IACnC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,IAAI;YACP,OAAO,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC;QAC5B,KAAK,SAAS,CAAC;QACf,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;QACf,KAAK,OAAO;YACV,OAAO,SAAS,EAAE,CAAC,OAAO,EAAE,CAAC;QAC/B,KAAK,YAAY,CAAC;QAClB,KAAK,WAAW,CAAC;QACjB,KAAK,MAAM,CAAC;QACZ,KAAK,aAAa;YAChB,OAAO,YAAY,CAAC;IACxB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,KAAsB,EAAE,OAAsB,EAAE;IACrE,MAAM,IAAI,GAAc,EAAE,CAAC;IAE3B,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC1D,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,OAAO,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACrD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,SAAS,OAAO,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAE9C,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACjC,MAAM,KAAK,GAAyB,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAChD,IAAI,KAAK,CAAiB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAC3C,CAAC;IACF,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,SAAS;YAAE,SAAS,CAAC,oCAAoC;QACnE,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC;QACxB,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAChB,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YAClF,SAAS;QACX,CAAC;QACD,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACnB,CAAC;IAED,0EAA0E;IAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QAC/B,IAAI,IAAI,CAAC,cAAc;YAAE,OAAO,IAAI,CAAC;QACrC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACpC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,SAAS,GAAyB,EAAE,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACtB,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACZ,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnB,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAExD,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3C,KAAK,EAAE,SAAS;QAChB,aAAa;QACb,UAAU;KACX,CAAC;AACJ,CAAC"}

package/dist/model/edges.d.ts

@@ -0,0 +1,8 @@
+import { NormalizedModel } from "./model.js";
+export interface SemanticEdge {
+    from: string;
+    to: string;
+    color: string;
+}
+/** Infer pattern arrows from each slice plus cross-slice `from` sources. */
+export declare function semanticEdges(model: NormalizedModel): SemanticEdge[];

package/dist/model/edges.js

@@ -0,0 +1,78 @@
+// SPDX-License-Identifier: MIT
+// The semantic edges of a model: which arrows exist and their colour. This is
+// the single source of truth for the diagram's arrows, decoupled from how they
+// are drawn (the renderer turns these into SVG paths over the Graphviz grid).
+import { AUTOMATION_KINDS } from "../parser/ast.js";
+import { normalizeName } from "./model.js";
+import { edgeColorFor } from "../emit/theme.js";
+/** Infer pattern arrows from each slice plus cross-slice `from` sources. */
+export function semanticEdges(model) {
+    const edges = [];
+    const seen = new Set();
+    const add = (from, to, kind) => {
+        if (from === to)
+            return;
+        const key = `${from}>${to}`;
+        if (seen.has(key))
+            return;
+        seen.add(key);
+        edges.push({ from, to, color: edgeColorFor(kind) });
+    };
+    model.slices.forEach((slice, i) => {
+        const uis = slice.elements.filter((e) => e.kind === "ui");
+        const command = slice.elements.find((e) => e.kind === "command");
+        const view = slice.elements.find((e) => e.kind === "view");
+        const events = slice.elements.filter((e) => e.kind === "event");
+        const auto = slice.elements.find((e) => AUTOMATION_KINDS.has(e.kind));
+        // Input pattern: UI -> command -> event(s)
+        if (command) {
+            for (const ui of uis)
+                add(ui.id, command.id, "ui");
+            for (const ev of events)
+                add(command.id, ev.id, "command");
+        }
+        // Automation/translation: it reads the read model in its own slice, then
+        // triggers the command in the next slice.
+        if (auto) {
+            if (view)
+                add(view.id, auto.id, "view");
+            const nextCommand = model.slices[i + 1]?.elements.find((e) => e.kind === "command");
+            if (nextCommand)
+                add(auto.id, nextCommand.id, auto.kind);
+            else
+                for (const ev of events)
+                    add(auto.id, ev.id, auto.kind);
+        }
+        // Output pattern: view -> UI (read model feeds the screen)
+        if (view) {
+            for (const ui of uis)
+                add(view.id, ui.id, "view");
+            if ((view.from ?? []).length === 0) {
+                for (const ev of events)
+                    add(ev.id, view.id, "event");
+            }
+        }
+    });
+    // Cross-slice `from` wiring:
+    //   view       from event(s)      -> event -> view
+    //   automation from read model(s) -> view  -> automation
+    for (const el of model.elements) {
+        for (const name of el.from ?? []) {
+            const bucket = model.byName.get(normalizeName(name));
+            if (!bucket)
+                continue;
+            const src = el.kind === "view"
+                ? bucket.find((x) => x.kind === "event") ?? bucket[0]
+                : bucket.find((x) => x.kind === "view") ?? bucket[0];
+            if (src)
+                add(src.id, el.id, src.kind);
+        }
+    }
+    // Explicit arrows from the DSL.
+    for (const a of model.arrows) {
+        if (a.fromId && a.toId)
+            add(a.fromId, a.toId, model.byId.get(a.fromId)?.kind);
+    }
+    return edges;
+}
+//# sourceMappingURL=edges.js.map

package/dist/model/edges.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"edges.js","sourceRoot":"","sources":["../../src/model/edges.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,8EAA8E;AAC9E,+EAA+E;AAC/E,8EAA8E;AAE9E,OAAO,EAAE,gBAAgB,EAAe,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAAmB,aAAa,EAAE,MAAM,YAAY,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAQhD,4EAA4E;AAC5E,MAAM,UAAU,aAAa,CAAC,KAAsB;IAClD,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,EAAU,EAAE,IAA6B,EAAE,EAAE;QACtE,IAAI,IAAI,KAAK,EAAE;YAAE,OAAO;QACxB,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,EAAE,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC;IAEF,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAChC,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QAChE,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAEtE,2CAA2C;QAC3C,IAAI,OAAO,EAAE,CAAC;YACZ,KAAK,MAAM,EAAE,IAAI,GAAG;gBAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACnD,KAAK,MAAM,EAAE,IAAI,MAAM;gBAAE,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAC7D,CAAC;QAED,yEAAyE;QACzE,0CAA0C;QAC1C,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,IAAI;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YACxC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CACpD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,IAAI,WAAW;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;;gBACpD,KAAK,MAAM,EAAE,IAAI,MAAM;oBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,CAAC;QAED,2DAA2D;QAC3D,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,EAAE,IAAI,GAAG;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnC,KAAK,MAAM,EAAE,IAAI,MAAM;oBAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,6BAA6B;IAC7B,mDAAmD;IACnD,yDAAyD;IACzD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAChC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;YACrD,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,MAAM,GAAG,GACP,EAAE,CAAC,IAAI,KAAK,MAAM;gBAChB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC;gBACrD,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;YACzD,IAAI,GAAG;gBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,gCAAgC;IAChC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI;YAAE,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;IAChF,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/model/model.d.ts

@@ -0,0 +1,49 @@
+import { ElementKind, Field, ModelNode } from "../parser/ast.js";
+export declare const DEFAULT_PERSONA = "User";
+export declare const DEFAULT_CONTEXT = "Domain";
+export interface Element {
+    id: string;
+    kind: ElementKind;
+    name: string;
+    /** Resolved persona lane (ui only). */
+    persona?: string;
+    /** Resolved context lane (event only). */
+    context?: string;
+    /** Source event names (view only). */
+    from?: string[];
+    /** Markdown file holding this element's notes, relative to the .em file. */
+    note?: string;
+    /** Data attributes declared on the element. */
+    fields?: Field[];
+    sliceIndex: number;
+    line: number;
+}
+export interface Slice {
+    name: string;
+    index: number;
+    elements: Element[];
+    line: number;
+}
+export interface ResolvedArrow {
+    from: string;
+    to: string;
+    fromId?: string;
+    toId?: string;
+    line: number;
+}
+export interface NormalizedModel {
+    name: string;
+    personas: string[];
+    contexts: string[];
+    hasAutomation: boolean;
+    slices: Slice[];
+    elements: Element[];
+    byId: Map<string, Element>;
+    /** Normalized display name -> elements with that name (across slices). */
+    byName: Map<string, Element[]>;
+    arrows: ResolvedArrow[];
+}
+export declare function normalizeName(name: string): string;
+export declare function normalize(ast: ModelNode): NormalizedModel;
+/** Resolve an arrow endpoint (given by display name) to an element id. */
+export declare function resolveByName(byName: Map<string, Element[]>, name: string): string | undefined;

package/dist/model/model.js

@@ -0,0 +1,109 @@
+// SPDX-License-Identifier: MIT
+// Normalizes a parsed AST into a resolved model: stable ids, resolved
+// persona/context lanes, and lookup indexes used by layout and validation.
+import { AUTOMATION_KINDS } from "../parser/ast.js";
+export const DEFAULT_PERSONA = "User";
+export const DEFAULT_CONTEXT = "Domain";
+export function normalizeName(name) {
+    return name.trim().toLowerCase().replace(/\s+/g, " ");
+}
+function slug(name) {
+    const s = name
+        .trim()
+        .toLowerCase()
+        .replace(/[^a-z0-9]+/g, "_")
+        .replace(/^_+|_+$/g, "");
+    return s || "n";
+}
+export function normalize(ast) {
+    const personas = [...ast.personas];
+    const contexts = [...ast.contexts];
+    const slices = [];
+    const elements = [];
+    const byId = new Map();
+    const byName = new Map();
+    const usedIds = new Set();
+    let hasAutomation = false;
+    const makeId = (name) => {
+        const base = slug(name);
+        let id = base;
+        let n = 2;
+        while (usedIds.has(id))
+            id = `${base}_${n++}`;
+        usedIds.add(id);
+        return id;
+    };
+    ast.slices.forEach((sliceNode, sliceIndex) => {
+        const slice = {
+            name: sliceNode.name,
+            index: sliceIndex,
+            elements: [],
+            line: sliceNode.line,
+        };
+        for (const el of sliceNode.elements) {
+            const element = {
+                id: makeId(el.name),
+                kind: el.kind,
+                name: el.name,
+                sliceIndex,
+                line: el.line,
+                from: el.from,
+                note: el.note,
+                fields: el.fields,
+            };
+            if (el.kind === "ui") {
+                const persona = el.persona ?? personas[0] ?? DEFAULT_PERSONA;
+                if (!personas.includes(persona))
+                    personas.push(persona);
+                element.persona = persona;
+            }
+            else if (el.kind === "event") {
+                const context = el.context ?? contexts[0] ?? DEFAULT_CONTEXT;
+                if (!contexts.includes(context))
+                    contexts.push(context);
+                element.context = context;
+            }
+            else if (AUTOMATION_KINDS.has(el.kind)) {
+                hasAutomation = true;
+            }
+            slice.elements.push(element);
+            elements.push(element);
+            byId.set(element.id, element);
+            const key = normalizeName(element.name);
+            const bucket = byName.get(key);
+            if (bucket)
+                bucket.push(element);
+            else
+                byName.set(key, [element]);
+        }
+        slices.push(slice);
+    });
+    if (personas.length === 0)
+        personas.push(DEFAULT_PERSONA);
+    if (contexts.length === 0)
+        contexts.push(DEFAULT_CONTEXT);
+    const arrows = ast.arrows.map((a) => ({
+        from: a.from,
+        to: a.to,
+        fromId: resolveByName(byName, a.from),
+        toId: resolveByName(byName, a.to),
+        line: a.line,
+    }));
+    return {
+        name: ast.name,
+        personas,
+        contexts,
+        hasAutomation,
+        slices,
+        elements,
+        byId,
+        byName,
+        arrows,
+    };
+}
+/** Resolve an arrow endpoint (given by display name) to an element id. */
+export function resolveByName(byName, name) {
+    const bucket = byName.get(normalizeName(name));
+    return bucket && bucket.length > 0 ? bucket[0].id : undefined;
+}
+//# sourceMappingURL=model.js.map

package/dist/model/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/model/model.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,sEAAsE;AACtE,2EAA2E;AAE3E,OAAO,EAAE,gBAAgB,EAAiC,MAAM,kBAAkB,CAAC;AAEnF,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC;AACtC,MAAM,CAAC,MAAM,eAAe,GAAG,QAAQ,CAAC;AAgDxC,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,IAAI,CAAC,IAAY;IACxB,MAAM,CAAC,GAAG,IAAI;SACX,IAAI,EAAE;SACN,WAAW,EAAE;SACb,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;SAC3B,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAC3B,OAAO,CAAC,IAAI,GAAG,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,GAAc;IACtC,MAAM,QAAQ,GAAG,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,aAAa,GAAG,KAAK,CAAC;IAE1B,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,EAAE,GAAG,IAAI,CAAC;QACd,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,EAAE,GAAG,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;QAC9C,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChB,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IAEF,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,UAAU,EAAE,EAAE;QAC3C,MAAM,KAAK,GAAU;YACnB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,KAAK,EAAE,UAAU;YACjB,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,SAAS,CAAC,IAAI;SACrB,CAAC;QAEF,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,QAAQ,EAAE,CAAC;YACpC,MAAM,OAAO,GAAY;gBACvB,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC;gBACnB,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,UAAU;gBACV,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,MAAM,EAAE,EAAE,CAAC,MAAM;aAClB,CAAC;YAEF,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBACrB,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC;gBAC7D,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;oBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACxD,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC;YAC5B,CAAC;iBAAM,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC/B,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC;gBAC7D,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;oBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACxD,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC;YAC5B,CAAC;iBAAM,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzC,aAAa,GAAG,IAAI,CAAC;YACvB,CAAC;YAED,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC7B,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvB,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;YAC9B,MAAM,GAAG,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC/B,IAAI,MAAM;gBAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;gBAC5B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAClC,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC,CAAC,CAAC;IAEH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC1D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAE1D,MAAM,MAAM,GAAoB,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrD,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,MAAM,EAAE,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC;QACrC,IAAI,EAAE,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;QACjC,IAAI,EAAE,CAAC,CAAC,IAAI;KACb,CAAC,CAAC,CAAC;IAEJ,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,QAAQ;QACR,QAAQ;QACR,aAAa;QACb,MAAM;QACN,QAAQ;QACR,IAAI;QACJ,MAAM;QACN,MAAM;KACP,CAAC;AACJ,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,aAAa,CAC3B,MAA8B,EAC9B,IAAY;IAEZ,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/C,OAAO,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAChE,CAAC"}

package/dist/model/validate.d.ts

@@ -0,0 +1,13 @@
+import { Grid } from "../layout/grid.js";
+import { Element, NormalizedModel } from "./model.js";
+export type Severity = "error" | "warning";
+export interface Diagnostic {
+    severity: Severity;
+    message: string;
+    line?: number;
+}
+export declare function validate(model: NormalizedModel, grid: Grid): Diagnostic[];
+export declare function hasErrors(diags: Diagnostic[]): boolean;
+/** Pretty one-line diagnostic for terminal output. */
+export declare function formatDiagnostic(d: Diagnostic): string;
+export type { Element };

package/dist/model/validate.js

@@ -0,0 +1,127 @@
+// SPDX-License-Identifier: MIT
+// Event-modeling rule checks over the normalized model + grid.
+import { AUTOMATION_KINDS } from "../parser/ast.js";
+import { normalizeName } from "./model.js";
+export function validate(model, grid) {
+    const diags = [];
+    // Grid collisions: two elements of the same band landed in one slice cell.
+    for (const c of grid.collisions) {
+        diags.push({
+            severity: "error",
+            message: `"${c.dropped.name}" collides with "${c.kept.name}" in the same ` +
+                `slice/lane (${c.rowKey}); split them into separate slices`,
+            line: c.dropped.line,
+        });
+    }
+    for (const slice of model.slices) {
+        const command = slice.elements.find((e) => e.kind === "command");
+        const events = slice.elements.filter((e) => e.kind === "event");
+        const views = slice.elements.filter((e) => e.kind === "view");
+        const auto = slice.elements.find((e) => AUTOMATION_KINDS.has(e.kind));
+        // An automation/translation slice holds only the read model + the
+        // automation; the command it triggers belongs in the next slice.
+        if (auto && command) {
+            diags.push({
+                severity: "warning",
+                message: `${auto.kind} "${auto.name}" shares slice "${slice.name}" with command ` +
+                    `"${command.name}"; put the triggered command in the next slice`,
+                line: command.line,
+            });
+        }
+        // A command should record at least one event.
+        if (command && events.length === 0) {
+            diags.push({
+                severity: "warning",
+                message: `command "${command.name}" produces no event in slice "${slice.name}"`,
+                line: command.line,
+            });
+        }
+        // A read model must derive from at least one event.
+        for (const view of views) {
+            const hasFrom = (view.from ?? []).length > 0;
+            if (!hasFrom && events.length === 0) {
+                diags.push({
+                    severity: "warning",
+                    message: `read model "${view.name}" has no source event ` +
+                        `(add \`from "Event"\` or place it in a slice with an event)`,
+                    line: view.line,
+                });
+            }
+            for (const src of view.from ?? []) {
+                const bucket = model.byName.get(normalizeName(src));
+                const evt = bucket?.find((e) => e.kind === "event");
+                if (!evt) {
+                    diags.push({
+                        severity: "error",
+                        message: `read model "${view.name}" references unknown event "${src}"`,
+                        line: view.line,
+                    });
+                }
+            }
+        }
+    }
+    // Automation/translation consumes a read model via `from`.
+    for (const el of model.elements) {
+        if (!AUTOMATION_KINDS.has(el.kind))
+            continue;
+        for (const src of el.from ?? []) {
+            const bucket = model.byName.get(normalizeName(src));
+            if (!bucket?.some((e) => e.kind === "view")) {
+                diags.push({
+                    severity: "error",
+                    message: `${el.kind} "${el.name}" references unknown read model "${src}"`,
+                    line: el.line,
+                });
+            }
+        }
+    }
+    // Explicit arrow endpoints must resolve.
+    for (const a of model.arrows) {
+        if (!a.fromId)
+            diags.push({
+                severity: "error",
+                message: `arrow source "${a.from}" does not match any element`,
+                line: a.line,
+            });
+        if (!a.toId)
+            diags.push({
+                severity: "error",
+                message: `arrow target "${a.to}" does not match any element`,
+                line: a.line,
+            });
+    }
+    // Ambiguous names (used by arrows / view sources) get a heads-up.
+    for (const [key, els] of model.byName) {
+        if (els.length > 1 && isReferenced(model, key)) {
+            diags.push({
+                severity: "warning",
+                message: `name "${els[0].name}" is defined ${els.length} times; ` +
+                    `references resolve to the first occurrence`,
+                line: els[0].line,
+            });
+        }
+    }
+    return diags;
+}
+function isReferenced(model, key) {
+    for (const a of model.arrows) {
+        if (normalizeName(a.from) === key || normalizeName(a.to) === key)
+            return true;
+    }
+    for (const el of model.elements) {
+        for (const f of el.from ?? [])
+            if (normalizeName(f) === key)
+                return true;
+    }
+    return false;
+}
+export function hasErrors(diags) {
+    return diags.some((d) => d.severity === "error");
+}
+/** Pretty one-line diagnostic for terminal output. */
+export function formatDiagnostic(d) {
+    const where = d.line ? `:${d.line}` : "";
+    const tag = d.severity === "error" ? "error" : "warn ";
+    return `  ${tag}${where} ${d.message}`;
+}
+//# sourceMappingURL=validate.js.map

package/dist/model/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/model/validate.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,+DAA+D;AAE/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,EAA4B,aAAa,EAAE,MAAM,YAAY,CAAC;AAUrE,MAAM,UAAU,QAAQ,CAAC,KAAsB,EAAE,IAAU;IACzD,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,2EAA2E;IAC3E,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,OAAO;YACjB,OAAO,EACL,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,oBAAoB,CAAC,CAAC,IAAI,CAAC,IAAI,gBAAgB;gBACjE,eAAe,CAAC,CAAC,MAAM,oCAAoC;YAC7D,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI;SACrB,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAC9D,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAEtE,kEAAkE;QAClE,iEAAiE;QACjE,IAAI,IAAI,IAAI,OAAO,EAAE,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC;gBACT,QAAQ,EAAE,SAAS;gBACnB,OAAO,EACL,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,mBAAmB,KAAK,CAAC,IAAI,iBAAiB;oBACxE,IAAI,OAAO,CAAC,IAAI,gDAAgD;gBAClE,IAAI,EAAE,OAAO,CAAC,IAAI;aACnB,CAAC,CAAC;QACL,CAAC;QAED,8CAA8C;QAC9C,IAAI,OAAO,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC;gBACT,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,YAAY,OAAO,CAAC,IAAI,iCAAiC,KAAK,CAAC,IAAI,GAAG;gBAC/E,IAAI,EAAE,OAAO,CAAC,IAAI;aACnB,CAAC,CAAC;QACL,CAAC;QAED,oDAAoD;QACpD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;YAC7C,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CAAC;oBACT,QAAQ,EAAE,SAAS;oBACnB,OAAO,EACL,eAAe,IAAI,CAAC,IAAI,wBAAwB;wBAChD,6DAA6D;oBAC/D,IAAI,EAAE,IAAI,CAAC,IAAI;iBAChB,CAAC,CAAC;YACL,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;gBAClC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;gBACpD,MAAM,GAAG,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;gBACpD,IAAI,CAAC,GAAG,EAAE,CAAC;oBACT,KAAK,CAAC,IAAI,CAAC;wBACT,QAAQ,EAAE,OAAO;wBACjB,OAAO,EAAE,eAAe,IAAI,CAAC,IAAI,+BAA+B,GAAG,GAAG;wBACtE,IAAI,EAAE,IAAI,CAAC,IAAI;qBAChB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,2DAA2D;IAC3D,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,SAAS;QAC7C,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;YACpD,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;gBAC5C,KAAK,CAAC,IAAI,CAAC;oBACT,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,oCAAoC,GAAG,GAAG;oBACzE,IAAI,EAAE,EAAE,CAAC,IAAI;iBACd,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,yCAAyC;IACzC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,CAAC,MAAM;YACX,KAAK,CAAC,IAAI,CAAC;gBACT,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,iBAAiB,CAAC,CAAC,IAAI,8BAA8B;gBAC9D,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;QACL,IAAI,CAAC,CAAC,CAAC,IAAI;YACT,KAAK,CAAC,IAAI,CAAC;gBACT,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,iBAAiB,CAAC,CAAC,EAAE,8BAA8B;gBAC5D,IAAI,EAAE,CAAC,CAAC,IAAI;aACb,CAAC,CAAC;IACP,CAAC;IAED,kEAAkE;IAClE,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACtC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC;gBACT,QAAQ,EAAE,SAAS;gBACnB,OAAO,EACL,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,gBAAgB,GAAG,CAAC,MAAM,UAAU;oBACxD,4CAA4C;gBAC9C,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI;aAClB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,KAAsB,EAAE,GAAW;IACvD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7B,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC;IAChF,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE;YAAE,IAAI,aAAa,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,OAAO,IAAI,CAAC;IAC3E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,KAAmB;IAC3C,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;AACnD,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,gBAAgB,CAAC,CAAa;IAC5C,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACzC,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;IACvD,OAAO,KAAK,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;AACzC,CAAC"}

package/dist/parser/ast.d.ts

@@ -0,0 +1,44 @@
+export type ElementKind = "ui" | "command" | "view" | "event" | "automation" | "processor" | "saga" | "translation";
+/** Element keywords that live in the automation band (top). */
+export declare const AUTOMATION_KINDS: ReadonlySet<ElementKind>;
+/** A data attribute on an element, e.g. `total: Money`. */
+export interface Field {
+    name: string;
+    /** Optional type annotation after a `:`. */
+    type?: string;
+}
+export interface ElementNode {
+    kind: ElementKind;
+    name: string;
+    /** @Persona tag — only meaningful for `ui`. */
+    persona?: string;
+    /** @Context tag — only meaningful for `event`. */
+    context?: string;
+    /** `from "Event", "Event2"` — only meaningful for `view`. */
+    from?: string[];
+    /** `note "path.md"` — markdown file holding this element's notes. */
+    note?: string;
+    /** Data attributes declared in a `{ … }` block on the element. */
+    fields?: Field[];
+    line: number;
+}
+export interface SliceNode {
+    name: string;
+    elements: ElementNode[];
+    line: number;
+}
+export interface ArrowNode {
+    from: string;
+    to: string;
+    line: number;
+}
+export interface ModelNode {
+    name: string;
+    /** Declared persona lanes, in order. */
+    personas: string[];
+    /** Declared context/concept lanes, in order. */
+    contexts: string[];
+    slices: SliceNode[];
+    /** Explicit top-level arrows (e.g. read-model feedback to a UI). */
+    arrows: ArrowNode[];
+}

package/dist/parser/ast.js

@@ -0,0 +1,10 @@
+// SPDX-License-Identifier: MIT
+// Abstract syntax tree produced by the parser.
+/** Element keywords that live in the automation band (top). */
+export const AUTOMATION_KINDS = new Set([
+    "automation",
+    "processor",
+    "saga",
+    "translation",
+]);
+//# sourceMappingURL=ast.js.map

package/dist/parser/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/parser/ast.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,+CAA+C;AAY/C,+DAA+D;AAC/D,MAAM,CAAC,MAAM,gBAAgB,GAA6B,IAAI,GAAG,CAAC;IAChE,YAAY;IACZ,WAAW;IACX,MAAM;IACN,aAAa;CACd,CAAC,CAAC"}

package/dist/parser/lexer.d.ts

@@ -0,0 +1,6 @@
+/** Remove a trailing `# comment`, ignoring `#` inside double quotes. */
+export declare function stripComment(line: string): string;
+/** Strip a single pair of surrounding double quotes, if present. */
+export declare function unquote(s: string): string;
+/** Split a comma-separated list, honouring quotes, returning trimmed unquoted items. */
+export declare function splitQuotedList(s: string): string[];

package/dist/parser/lexer.js

@@ -0,0 +1,46 @@
+// SPDX-License-Identifier: MIT
+// Small lexing helpers shared by the line-oriented parser.
+/** Remove a trailing `# comment`, ignoring `#` inside double quotes. */
+export function stripComment(line) {
+    let inQuote = false;
+    for (let i = 0; i < line.length; i++) {
+        const c = line[i];
+        if (c === '"')
+            inQuote = !inQuote;
+        else if (c === "#" && !inQuote)
+            return line.slice(0, i);
+    }
+    return line;
+}
+/** Strip a single pair of surrounding double quotes, if present. */
+export function unquote(s) {
+    const t = s.trim();
+    if (t.length >= 2 && t.startsWith('"') && t.endsWith('"')) {
+        return t.slice(1, -1);
+    }
+    return t;
+}
+/** Split a comma-separated list, honouring quotes, returning trimmed unquoted items. */
+export function splitQuotedList(s) {
+    const items = [];
+    let cur = "";
+    let inQuote = false;
+    for (let i = 0; i < s.length; i++) {
+        const c = s[i];
+        if (c === '"') {
+            inQuote = !inQuote;
+            cur += c;
+        }
+        else if (c === "," && !inQuote) {
+            items.push(unquote(cur));
+            cur = "";
+        }
+        else {
+            cur += c;
+        }
+    }
+    if (cur.trim().length > 0)
+        items.push(unquote(cur));
+    return items.filter((x) => x.length > 0);
+}
+//# sourceMappingURL=lexer.js.map

package/dist/parser/lexer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.js","sourceRoot":"","sources":["../../src/parser/lexer.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,2DAA2D;AAE3D,wEAAwE;AACxE,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,CAAC,KAAK,GAAG;YAAE,OAAO,GAAG,CAAC,OAAO,CAAC;aAC7B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,OAAO,CAAC,CAAS;IAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnB,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1D,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,eAAe,CAAC,CAAS;IACvC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACf,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,OAAO,GAAG,CAAC,OAAO,CAAC;YACnB,GAAG,IAAI,CAAC,CAAC;QACX,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,GAAG,GAAG,EAAE,CAAC;QACX,CAAC;aAAM,CAAC;YACN,GAAG,IAAI,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IACpD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC3C,CAAC"}

package/dist/parser/parser.d.ts

@@ -0,0 +1,6 @@
+import { ModelNode } from "./ast.js";
+export declare class ParseError extends Error {
+    line: number;
+    constructor(message: string, line: number);
+}
+export declare function parse(source: string): ModelNode;