@milehimikey/em 1.9.1 → 1.11.0

package/dist/model/edges.js

@@ -1,22 +1,48 @@
 // 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).
+// The semantic edges of a model: which connections exist, and where each came from. This is
+// the single source of truth for the graph — the renderer draws exactly these (colouring each
+// by its source element's kind at the call site, render/drawEdges.ts), `em query`'s ModelIndex
+// traverses exactly these (model/queryIndex.ts), and `em export` serializes exactly these as
+// `model.edges` (emit/json.ts, schema 1.10 / MIL-191). One derivation, three consumers: the guards below (the misplaced-ui rule, the
+// same-slice-only event->view rule, the pair dedup) are judgment calls invisible in the data,
+// so a second walk re-deriving them would drift — it did once already (the MIL-162 portal
+// spike re-derived independently).
 import { AUTOMATION_KINDS } from "../parser/ast.js";
 import { normalizeName } from "./model.js";
-import { edgeColorFor } from "../emit/theme.js";
+/** The legal connection type for an endpoint-kind pair, or undefined when no such connection
+ *  is legal — the relationship is a pure function of the two kinds, so edges carry no `kind`
+ *  of their own (validate.ts's illegal-pair rule and query's edge labels both derive from
+ *  here). */
+export function connectionKind(from, to) {
+    if (from === "ui")
+        return to === "command" ? "ui->command" : undefined; // State Change
+    if (from === "command")
+        return to === "event" ? "command->event" : undefined; // State Change
+    if (from === "event")
+        return to === "view" ? "event->view" : undefined; // State View
+    if (from === "view") {
+        if (to === "ui")
+            return "view->ui"; // State View
+        if (AUTOMATION_KINDS.has(to))
+            return "view->reaction"; // Automation / Translation
+        return undefined;
+    }
+    if (AUTOMATION_KINDS.has(from))
+        return to === "command" ? "reaction->command" : undefined; // reactions always go through a command
+    return undefined;
+}
 /** 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) => {
+    const add = (from, to, source) => {
         if (from === to)
             return;
         const key = `${from}>${to}`;
         if (seen.has(key))
             return;
         seen.add(key);
-        edges.push({ from, to, color: edgeColorFor(kind) });
+        edges.push({ from, to, source });
     };
     for (const slice of model.slices) {
         const uis = slice.elements.filter((e) => e.kind === "ui");
@@ -31,25 +57,25 @@ export function semanticEdges(model) {
         if (command) {
             if (!auto)
                 for (const ui of uis)
-                    add(ui.id, command.id, "ui");
+                    add(ui.id, command.id, "pattern");
             for (const ev of events)
-                add(command.id, ev.id, "command");
+                add(command.id, ev.id, "pattern");
         }
         // Automation/translation: it triggers the command in this same slice — the
         // reaction is to a command what a `ui` is in the State Change pattern. If it
         // also reads a read model that happens to share this slice, wire that too;
         // the far more common cross-slice case is handled by the `from` loop below.
         if (auto && command)
-            add(auto.id, command.id, auto.kind);
+            add(auto.id, command.id, "pattern");
         if (auto && view)
-            add(view.id, auto.id, "view");
+            add(view.id, auto.id, "pattern");
         // Output pattern: view -> UI (read model feeds the screen)
         if (view) {
             for (const ui of uis)
-                add(view.id, ui.id, "view");
+                add(view.id, ui.id, "pattern");
             if ((view.from ?? []).length === 0) {
                 for (const ev of events)
-                    add(ev.id, view.id, "event");
+                    add(ev.id, view.id, "pattern");
             }
         }
     }
@@ -60,7 +86,22 @@ export function semanticEdges(model) {
         for (const name of el.from ?? []) {
             const src = resolveFromSource(model, el, name);
             if (src)
-                add(src.id, el.id, src.kind);
+                add(src.id, el.id, "from");
+        }
+    }
+    // Loop-back wiring (MIL-199): an event's `loops-to "View"` clause re-feeds an earlier read
+    // model — validate.ts has already confirmed each name resolves to a `view` strictly earlier
+    // on the timeline before this ever runs (a model with diagnostics still compiles/exports;
+    // an event whose target doesn't resolve simply contributes no loop edge here). Added after
+    // the pattern/`from` wiring above, in `model.elements` declaration order, so a model's edge
+    // list stays deterministic regardless of how many loops-to clauses exist or where they land.
+    for (const el of model.elements) {
+        if (el.kind !== "event")
+            continue;
+        for (const name of el.loopsTo ?? []) {
+            const target = resolveLoopsToTarget(model, el, name);
+            if (target)
+                add(el.id, target.id, "loops-to");
         }
     }
     // Note: instances of the same logical read model (`view X again`) are deliberately NOT
@@ -69,11 +110,13 @@ export function semanticEdges(model) {
     // inbound event arrows are what show how the view changes over time. A view->view arrow
     // would be a modelling error — and, since commands and read models share the API lane,
     // it also renders as a flat line through any command box between the two instances,
-    // reading as an illegal command->read-model connection.
+    // reading as an illegal command->read-model connection. (Traversal that needs to follow a
+    // read model across its instances — `em query`'s closures — does so via `logicalId`, as a
+    // query-engine rule, not as an edge.)
     // 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);
+            add(a.fromId, a.toId, "arrow");
     }
     return edges;
 }
@@ -101,4 +144,23 @@ function nearestViewAtOrBefore(bucket, sliceIndex) {
         .filter((x) => x.kind === "view" && x.sliceIndex <= sliceIndex)
         .sort((a, b) => b.sliceIndex - a.sliceIndex)[0];
 }
+/**
+ * Resolve one event's `loops-to "View"` target (MIL-199): the LATEST `view` instance strictly
+ * EARLIER on the timeline (`sliceIndex < event.sliceIndex`) sharing the normalized name — the
+ * opposite selection direction from a reaction's `from` (which wants the nearest instance
+ * at-or-before its own slice, `nearestViewAtOrBefore` above): a loop back must land on a
+ * genuinely earlier instance, never the same slice, since same-slice-or-later is what an
+ * ordinary forward `from` on a later `view … again` instance is for. Returns `undefined` both
+ * when no view of that name exists at all and when one exists but only at-or-after the
+ * event's own slice — `validate.ts` tells those two cases apart for its own error messages by
+ * checking whether ANY view shares the name before calling this.
+ */
+export function resolveLoopsToTarget(model, event, name) {
+    const bucket = model.byName.get(normalizeName(name));
+    if (!bucket)
+        return undefined;
+    return bucket
+        .filter((x) => x.kind === "view" && x.sliceIndex < event.sliceIndex)
+        .sort((a, b) => b.sliceIndex - a.sliceIndex)[0];
+}
 //# sourceMappingURL=edges.js.map

package/dist/model/edges.js.map

@@ -1 +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,EAA4B,aAAa,EAAE,MAAM,YAAY,CAAC;AACrE,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,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,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,sFAAsF;QACtF,yFAAyF;QACzF,yFAAyF;QACzF,2FAA2F;QAC3F,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC,IAAI;gBAAE,KAAK,MAAM,EAAE,IAAI,GAAG;oBAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC9D,KAAK,MAAM,EAAE,IAAI,MAAM;gBAAE,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAC7D,CAAC;QAED,2EAA2E;QAC3E,6EAA6E;QAC7E,2EAA2E;QAC3E,4EAA4E;QAC5E,IAAI,IAAI,IAAI,OAAO;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,IAAI,IAAI,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAEhD,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;IAED,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,GAAG,GAAG,iBAAiB,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;YAC/C,IAAI,GAAG;gBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,uFAAuF;IACvF,sFAAsF;IACtF,uFAAuF;IACvF,wFAAwF;IACxF,uFAAuF;IACvF,oFAAoF;IACpF,wDAAwD;IAExD,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;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB,EAAE,EAAW,EAAE,IAAY;IACjF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;IACrD,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,EAAE,CAAC,IAAI,KAAK,MAAM;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC;QACrD,CAAC,CAAC,qBAAqB,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;AACzG,CAAC;AAED,+FAA+F;AAC/F,SAAS,qBAAqB,CAAC,MAAiB,EAAE,UAAkB;IAClE,OAAO,MAAM;SACV,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,IAAI,UAAU,CAAC;SAC9D,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC"}
+{"version":3,"file":"edges.js","sourceRoot":"","sources":["../../src/model/edges.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,4FAA4F;AAC5F,8FAA8F;AAC9F,+FAA+F;AAC/F,6FAA6F;AAC7F,qIAAqI;AACrI,8FAA8F;AAC9F,0FAA0F;AAC1F,mCAAmC;AAEnC,OAAO,EAAE,gBAAgB,EAAe,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAA4B,aAAa,EAAE,MAAM,YAAY,CAAC;AAyBrE;;;aAGa;AACb,MAAM,UAAU,cAAc,CAAC,IAAiB,EAAE,EAAe;IAC/D,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,eAAe;IACvF,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,eAAe;IAC7F,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,aAAa;IACrF,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,IAAI,EAAE,KAAK,IAAI;YAAE,OAAO,UAAU,CAAC,CAAC,aAAa;QACjD,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,gBAAgB,CAAC,CAAC,2BAA2B;QAClF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,wCAAwC;IACnI,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,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,MAAkB,EAAE,EAAE;QAC3D,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,MAAM,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,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,sFAAsF;QACtF,yFAAyF;QACzF,yFAAyF;QACzF,2FAA2F;QAC3F,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC,IAAI;gBAAE,KAAK,MAAM,EAAE,IAAI,GAAG;oBAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;YACnE,KAAK,MAAM,EAAE,IAAI,MAAM;gBAAE,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAC7D,CAAC;QAED,2EAA2E;QAC3E,6EAA6E;QAC7E,2EAA2E;QAC3E,4EAA4E;QAC5E,IAAI,IAAI,IAAI,OAAO;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QACzD,IAAI,IAAI,IAAI,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAEnD,2DAA2D;QAC3D,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,EAAE,IAAI,GAAG;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;YACrD,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,SAAS,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;IACH,CAAC;IAED,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,GAAG,GAAG,iBAAiB,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;YAC/C,IAAI,GAAG;gBAAE,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACtC,CAAC;IACH,CAAC;IAED,2FAA2F;IAC3F,4FAA4F;IAC5F,0FAA0F;IAC1F,2FAA2F;IAC3F,4FAA4F;IAC5F,6FAA6F;IAC7F,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO;YAAE,SAAS;QAClC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;YACrD,IAAI,MAAM;gBAAE,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED,uFAAuF;IACvF,sFAAsF;IACtF,uFAAuF;IACvF,wFAAwF;IACxF,uFAAuF;IACvF,oFAAoF;IACpF,0FAA0F;IAC1F,0FAA0F;IAC1F,sCAAsC;IAEtC,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,OAAO,CAAC,CAAC;IACzD,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB,EAAE,EAAW,EAAE,IAAY;IACjF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;IACrD,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,EAAE,CAAC,IAAI,KAAK,MAAM;QACvB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC;QACrD,CAAC,CAAC,qBAAqB,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;AACzG,CAAC;AAED,+FAA+F;AAC/F,SAAS,qBAAqB,CAAC,MAAiB,EAAE,UAAkB;IAClE,OAAO,MAAM;SACV,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,IAAI,UAAU,CAAC;SAC9D,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAsB,EAAE,KAAc,EAAE,IAAY;IACvF,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;IACrD,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,MAAM;SACV,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;SACnE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC"}

package/dist/model/model.d.ts

@@ -47,6 +47,10 @@ export interface Element {
      *  (MIL-68). `undefined` when absent. Purely export/codegen metadata: `em diff` never reads
      *  this, and continues reporting a rename as remove+add. */
     renamedFrom?: string[];
+    /** `loops-to "View"` clause(s) — event only (MIL-199): the name(s) of an earlier read model
+     *  this event re-feeds. `undefined` when absent. See `model/edges.ts`'s
+     *  `resolveLoopsToTarget` for resolution and `model/validate.ts` for the earlier-only rule. */
+    loopsTo?: string[];
     /** id of the first instance of this logical element (== id for everything except later view instances). */
     logicalId: string;
 }
@@ -89,6 +93,8 @@ export interface ResolvedArrow {
 }
 export interface NormalizedModel {
     name: string;
+    /** Whether `name` came from a `model "Name"` declaration (see `ModelNode.nameDeclared`). */
+    nameDeclared: boolean;
     personas: string[];
     contexts: string[];
     hasAutomation: boolean;

package/dist/model/model.js

@@ -85,6 +85,7 @@ export function normalize(ast) {
                 fields: el.fields,
                 tags: el.tags,
                 renamedFrom: el.renamedFrom,
+                loopsTo: el.loopsTo,
             };
             if (el.kind === "ui") {
                 const persona = el.persona ?? personas[0] ?? DEFAULT_PERSONA;
@@ -136,6 +137,7 @@ export function normalize(ast) {
     }));
     return {
         name: ast.name,
+        nameDeclared: ast.nameDeclared,
         personas,
         contexts,
         hasAutomation,

package/dist/model/model.js.map

@@ -1 +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,EAA4C,MAAM,kBAAkB,CAAC;AAC9F,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAkB/C,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC;AACtC,MAAM,CAAC,MAAM,eAAe,GAAG,QAAQ,CAAC;AAmDxC;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CAAC,OAAgB;IAC1C,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3G,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;;YAClH,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,IAAI,EAAE,CAAC,CAAC;IACxG,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAqCD,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,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,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpD,IAAI,aAAa,GAAG,KAAK,CAAC;IAE1B,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IAE1E,gFAAgF;IAChF,iFAAiF;IACjF,wEAAwE;IACxE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;IAClF,MAAM,KAAK,GAAe,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9C,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;QACtB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,IAAI,EAAE,CAAC,CAAC,IAAI;KACb,CAAC,CAAC,CAAC;IACJ,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,yBAAyB;IAC/E,CAAC;IAED,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,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,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,SAAS,EAAE,EAAE;gBACb,KAAK,EAAE,EAAE,CAAC,KAAK;gBACf,MAAM,EAAE,EAAE,CAAC,MAAM;gBACjB,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,KAAK,EAAE,EAAE,CAAC,KAAK;gBACf,UAAU,EAAE,EAAE,CAAC,UAAU;gBACzB,MAAM,EAAE,EAAE,CAAC,MAAM;gBACjB,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,WAAW,EAAE,EAAE,CAAC,WAAW;aAC5B,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,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACzC,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC1C,OAAO,CAAC,SAAS,GAAG,KAAK,IAAI,OAAO,CAAC,EAAE,CAAC;gBACxC,IAAI,CAAC,KAAK;oBAAE,iBAAiB,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;YACtD,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,SAAS,GAAG,OAAO,CAAC,EAAE,CAAC;YACjC,CAAC;YACD,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;QACN,KAAK;QACL,WAAW;KACZ,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,OAA2B,EAC3B,WAAkC;IAElC,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7D,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/C,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"}
+{"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,EAA4C,MAAM,kBAAkB,CAAC;AAC9F,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAkB/C,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC;AACtC,MAAM,CAAC,MAAM,eAAe,GAAG,QAAQ,CAAC;AAuDxC;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CAAC,OAAgB;IAC1C,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3G,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;QACnC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;;YAClH,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,IAAI,EAAE,CAAC,CAAC;IACxG,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAuCD,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,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,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpD,IAAI,aAAa,GAAG,KAAK,CAAC;IAE1B,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IAE1E,gFAAgF;IAChF,iFAAiF;IACjF,wEAAwE;IACxE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;IAClF,MAAM,KAAK,GAAe,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9C,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;QACtB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,IAAI,EAAE,CAAC,CAAC,IAAI;KACb,CAAC,CAAC,CAAC;IACJ,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,yBAAyB;IAC/E,CAAC;IAED,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,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,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,SAAS,EAAE,EAAE;gBACb,KAAK,EAAE,EAAE,CAAC,KAAK;gBACf,MAAM,EAAE,EAAE,CAAC,MAAM;gBACjB,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,KAAK,EAAE,EAAE,CAAC,KAAK;gBACf,UAAU,EAAE,EAAE,CAAC,UAAU;gBACzB,MAAM,EAAE,EAAE,CAAC,MAAM;gBACjB,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,WAAW,EAAE,EAAE,CAAC,WAAW;gBAC3B,OAAO,EAAE,EAAE,CAAC,OAAO;aACpB,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,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACzC,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC1C,OAAO,CAAC,SAAS,GAAG,KAAK,IAAI,OAAO,CAAC,EAAE,CAAC;gBACxC,IAAI,CAAC,KAAK;oBAAE,iBAAiB,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;YACtD,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,SAAS,GAAG,OAAO,CAAC,EAAE,CAAC;YACjC,CAAC;YACD,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,YAAY,EAAE,GAAG,CAAC,YAAY;QAC9B,QAAQ;QACR,QAAQ;QACR,aAAa;QACb,MAAM;QACN,QAAQ;QACR,IAAI;QACJ,MAAM;QACN,MAAM;QACN,KAAK;QACL,WAAW;KACZ,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,OAA2B,EAC3B,WAAkC;IAElC,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7D,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,OAAO,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/C,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/qualifiedRef.d.ts

@@ -0,0 +1,47 @@
+import { NormalizedModel } from "./model.js";
+import type { Diagnostic } from "./validate.js";
+/** The model-key shape: a kebab slug (`kebabSlug()`'s output) with an optional `~n` collision
+ *  suffix. Anchored; the single definition `parseQualifiedRef`/`isQualifiedRef` split on. */
+export declare const MODEL_KEY_RE: RegExp;
+/**
+ * A model's own key: `kebabSlug(model.name)` when the name was declared (`model "Name"`);
+ * otherwise the kebab-slugged basename of `fallbackFile` (extension stripped) when one is
+ * given; otherwise the slug of the parser's default title. Never deduped — collisions are a
+ * multi-model concern, see `computeModelKeys()`.
+ */
+export declare function computeModelKey(model: NormalizedModel, fallbackFile?: string): string;
+export interface ModelKeysResult {
+    /** One key per entry, same order/index as the input. */
+    keys: string[];
+    /** `duplicate-model-key` warnings, one per entry that had to take a `~n` suffix. */
+    diagnostics: Diagnostic[];
+}
+/**
+ * Keys for every model of one multi-model invocation: `computeModelKey()` each, then dedupe
+ * with `~2`, `~3`, … in input order (the first entry to claim a key keeps it bare) and warn
+ * on every collision. Order-stable: a consumer that always lists its files the same way gets
+ * the same keys back.
+ */
+export declare function computeModelKeys(entries: Array<{
+    model: NormalizedModel;
+    file: string;
+}>): ModelKeysResult;
+/** `<modelKey>:<ref>` — the one place the qualifier separator is spelled. `ref` is an
+ *  element ref, a bare slice key, or a type ref, unchanged. */
+export declare function formatQualifiedRef(modelKey: string, ref: string): string;
+export interface ParsedQualifiedRef {
+    /** The qualifier, or `null` when `input` carried none (or its prefix isn't a model-key shape). */
+    modelKey: string | null;
+    /** The model-unqualified remainder — `input` itself when unqualified. */
+    ref: string;
+}
+/**
+ * Split `<modelKey>:<ref>` on the FIRST colon, but only when the prefix has the model-key
+ * shape (`MODEL_KEY_RE`); anything else is returned intact as an unqualified ref — a display
+ * name ("Order: Paid") may legitimately contain a colon, and callers resolving names must not
+ * lose it. Shape-only: whether the key names a model this caller actually has is its own
+ * question (`em query`'s `resolveElement` checks that and reports an unknown prefix).
+ */
+export declare function parseQualifiedRef(input: string): ParsedQualifiedRef;
+/** True when `parseQualifiedRef(input)` would find a model-key-shaped qualifier. */
+export declare function isQualifiedRef(input: string): boolean;

package/dist/model/qualifiedRef.js

@@ -0,0 +1,100 @@
+// SPDX-License-Identifier: MIT
+// Model-qualified addressing (MIL-193): the ONE grammar for naming a slice, element, or type
+// that lives in another model. Export refs (`<sliceKey>/<kind>.<slug>`, `computeRefs()`) are
+// deliberately model-unqualified and stay valid everywhere they are today; any artifact that
+// crosses a model boundary — `em query`'s multi-model output, `em export`'s own `model.key`,
+// MIL-194's seam manifest, em-portal deep links, em-tracker-bridge — prefixes them with a
+// `modelKey` using exactly this module, so the "one addressing scheme" constraint (MIL-162)
+// can't die by each consumer inventing its own qualifier.
+//
+//   <modelKey>:<sliceKey>/<kind>.<slug>   element
+//   <modelKey>:<sliceKey>                 slice
+//   <modelKey>:types/<slug>               type
+//
+// `modelKey` is the kebab-slug of the DECLARED model name (`model "Name"`) — the same
+// `kebabSlug()` every other export identity derives from — never a path: it survives file
+// moves and renames, and a single-model `em export` can carry it with no system context. A
+// file that declares no name falls back to its kebab-slugged basename (extension stripped);
+// two models in one multi-model invocation that mint the same key are deduped `~2`, `~3`, …
+// in file-list order (first wins the bare key) with a `duplicate-model-key` warning naming
+// both files — the same posture as `computeRefs()`'s `duplicate-slice-name`.
+//
+// Lives in model/ for the same layering reason as refs.ts: a pure function of NormalizedModel
+// (no fs, no JSON shape), consumed by emit/, query/, and — via the package's `./refs` subpath
+// export — by external packages, which must never grow a second parser for this grammar.
+import { pushDiag } from "./rules.js";
+import { dedupe, kebabSlug } from "../util/slug.js";
+/** The model-key shape: a kebab slug (`kebabSlug()`'s output) with an optional `~n` collision
+ *  suffix. Anchored; the single definition `parseQualifiedRef`/`isQualifiedRef` split on. */
+export const MODEL_KEY_RE = /^[a-z0-9]+(?:-[a-z0-9]+)*(?:~\d+)?$/;
+/** Strip a path to its kebab-slugged basename, extension removed — the no-declared-name
+ *  fallback. Pure string work (no fs, and both `/` and `\` separators) so the module stays
+ *  usable from a browser bundle. */
+function fileBasenameKey(file) {
+    const base = file.split(/[\\/]/).pop() ?? file;
+    const dot = base.lastIndexOf(".");
+    return kebabSlug(dot > 0 ? base.slice(0, dot) : base);
+}
+/**
+ * A model's own key: `kebabSlug(model.name)` when the name was declared (`model "Name"`);
+ * otherwise the kebab-slugged basename of `fallbackFile` (extension stripped) when one is
+ * given; otherwise the slug of the parser's default title. Never deduped — collisions are a
+ * multi-model concern, see `computeModelKeys()`.
+ */
+export function computeModelKey(model, fallbackFile) {
+    if (!model.nameDeclared && fallbackFile)
+        return fileBasenameKey(fallbackFile);
+    return kebabSlug(model.name);
+}
+/**
+ * Keys for every model of one multi-model invocation: `computeModelKey()` each, then dedupe
+ * with `~2`, `~3`, … in input order (the first entry to claim a key keeps it bare) and warn
+ * on every collision. Order-stable: a consumer that always lists its files the same way gets
+ * the same keys back.
+ */
+export function computeModelKeys(entries) {
+    const diagnostics = [];
+    const used = new Set();
+    const firstFileByKey = new Map();
+    const keys = entries.map(({ model, file }) => {
+        const base = computeModelKey(model, file);
+        const key = dedupe(base, used, "~");
+        if (key === base) {
+            firstFileByKey.set(base, file);
+        }
+        else {
+            pushDiag(diagnostics, "duplicate-model-key", {
+                message: `duplicate model key "${base}" (${firstFileByKey.get(base)} and ${file} both derive it); give each model a unique \`model "Name"\` so cross-model refs stay stable — ${file} is addressed as "${key}" in this run`,
+                refs: [key, base],
+            });
+        }
+        return key;
+    });
+    return { keys, diagnostics };
+}
+/** `<modelKey>:<ref>` — the one place the qualifier separator is spelled. `ref` is an
+ *  element ref, a bare slice key, or a type ref, unchanged. */
+export function formatQualifiedRef(modelKey, ref) {
+    return `${modelKey}:${ref}`;
+}
+/**
+ * Split `<modelKey>:<ref>` on the FIRST colon, but only when the prefix has the model-key
+ * shape (`MODEL_KEY_RE`); anything else is returned intact as an unqualified ref — a display
+ * name ("Order: Paid") may legitimately contain a colon, and callers resolving names must not
+ * lose it. Shape-only: whether the key names a model this caller actually has is its own
+ * question (`em query`'s `resolveElement` checks that and reports an unknown prefix).
+ */
+export function parseQualifiedRef(input) {
+    const colon = input.indexOf(":");
+    if (colon <= 0)
+        return { modelKey: null, ref: input };
+    const prefix = input.slice(0, colon);
+    if (!MODEL_KEY_RE.test(prefix))
+        return { modelKey: null, ref: input };
+    return { modelKey: prefix, ref: input.slice(colon + 1) };
+}
+/** True when `parseQualifiedRef(input)` would find a model-key-shaped qualifier. */
+export function isQualifiedRef(input) {
+    return parseQualifiedRef(input).modelKey !== null;
+}
+//# sourceMappingURL=qualifiedRef.js.map

package/dist/model/qualifiedRef.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"qualifiedRef.js","sourceRoot":"","sources":["../../src/model/qualifiedRef.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,6FAA6F;AAC7F,6FAA6F;AAC7F,6FAA6F;AAC7F,6FAA6F;AAC7F,0FAA0F;AAC1F,4FAA4F;AAC5F,0DAA0D;AAC1D,EAAE;AACF,kDAAkD;AAClD,gDAAgD;AAChD,+CAA+C;AAC/C,EAAE;AACF,sFAAsF;AACtF,0FAA0F;AAC1F,2FAA2F;AAC3F,4FAA4F;AAC5F,4FAA4F;AAC5F,2FAA2F;AAC3F,6EAA6E;AAC7E,EAAE;AACF,8FAA8F;AAC9F,8FAA8F;AAC9F,yFAAyF;AAIzF,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEpD;6FAC6F;AAC7F,MAAM,CAAC,MAAM,YAAY,GAAG,qCAAqC,CAAC;AAElE;;oCAEoC;AACpC,SAAS,eAAe,CAAC,IAAY;IACnC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC;IAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,OAAO,SAAS,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACxD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,KAAsB,EAAE,YAAqB;IAC3E,IAAI,CAAC,KAAK,CAAC,YAAY,IAAI,YAAY;QAAE,OAAO,eAAe,CAAC,YAAY,CAAC,CAAC;IAC9E,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AASD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAwD;IACvF,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE;QAC3C,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACpC,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACjC,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,WAAW,EAAE,qBAAqB,EAAE;gBAC3C,OAAO,EAAE,wBAAwB,IAAI,MAAM,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,iGAAiG,IAAI,qBAAqB,GAAG,eAAe;gBAC3N,IAAI,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC;aAClB,CAAC,CAAC;QACL,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAC/B,CAAC;AAED;+DAC+D;AAC/D,MAAM,UAAU,kBAAkB,CAAC,QAAgB,EAAE,GAAW;IAC9D,OAAO,GAAG,QAAQ,IAAI,GAAG,EAAE,CAAC;AAC9B,CAAC;AASD;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IACtD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IACtE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC;AACpD,CAAC"}

package/dist/model/queryIndex.d.ts

@@ -0,0 +1,53 @@
+import { Element, NormalizedModel } from "./model.js";
+import { RefsResult } from "./refs.js";
+import { ConnectionKind } from "./edges.js";
+import { SliceQueryDoc } from "./sliceDocIndex.js";
+/** What a query result arrived by: one of the six legal connections, `view-instance` (the
+ *  zero-cost hop between two timeline instances of one read model — not an edge), `loops-to`
+ *  (MIL-199: an event's `loops-to "View"` edge — structurally an `event->view` pair like an
+ *  ordinary `from`-derived one, but labeled distinctly here so `downstream`/`upstream` results
+ *  can tell "re-feeds an earlier to-do list" apart from "projects into a new one"), or `other`
+ *  for an edge whose endpoint kinds form no legal connection (only reachable through a `from`
+ *  clause resolving to a non-event; an explicit `arrow` between such a pair is a compile error
+ *  query refuses on). */
+export type QueryEdgeKind = ConnectionKind | "view-instance" | "loops-to" | "other";
+export interface IndexEdge {
+    ref: string;
+    kind: QueryEdgeKind;
+}
+export interface SliceIndexFact {
+    key: string;
+    name: string;
+    index: number;
+    line: number;
+    doc: SliceQueryDoc;
+}
+export interface InvariantIndexEntry {
+    id: string;
+    sliceKey: string;
+}
+export interface ModelIndex {
+    model: NormalizedModel;
+    refs: RefsResult;
+    baseDir: string;
+    /** Export ref -> Element, in `model.elements` order (== document order: slice, then
+     *  within-slice declaration order) — the same order every query verb sorts its results by,
+     *  for free, via Map iteration order. */
+    byRef: Map<string, Element>;
+    out: Map<string, IndexEdge[]>;
+    in: Map<string, IndexEdge[]>;
+    /** Ref of a repeated read model instance -> refs of its OTHER instances (same `logicalId`),
+     *  in document order. Only populated for views declared more than once; a single-instance
+     *  element has no entry. */
+    instances: Map<string, string[]>;
+    /** Slice export key -> its doc-join facts, in `model.slices` order. */
+    sliceFacts: Map<string, SliceIndexFact>;
+    /** INV-* id -> the slice that declares it. A doc is scanned once per slice it resolves for
+     *  (its own canonical slice, plus every slice it ratifies via MIL-121 `covers:`), so the
+     *  CANONICAL binding (`doc.path === slices/<thisSliceKey>.md`) always owns the id, whatever
+     *  the slices' document order; a cross-bound slice claims an id only when no canonical slice
+     *  for that doc exists in the model. Two canonical docs declaring the same id is first-wins
+     *  in slice order — a bug in the model, not something query silently resolves further. */
+    invariants: Map<string, InvariantIndexEntry>;
+}
+export declare function buildModelIndex(model: NormalizedModel, refs: RefsResult, baseDir: string): ModelIndex;

package/dist/model/queryIndex.js

@@ -0,0 +1,114 @@
+// SPDX-License-Identifier: MIT
+// `ModelIndex` (MIL-168): the one graph index `em query`'s verbs all reduce to a map hit or a
+// BFS over — built once per compiled model (see ../query/pipeline.ts's sub-pipeline) and shared
+// by the CLI and the MCP `query` tool (both call `buildModelIndex()`, never a second traversal
+// implementation — MCP parity, docs/mcp.md).
+//
+//  - `byRef`: the inverse of `RefsResult.refById` — the compiled model has never had this
+//    before (`NormalizedModel.byName` is the only lookup table, keyed by display name, not ref).
+//  - `out`/`in`: adjacency over `semanticEdges()` (model/edges.ts — the SAME edge list the
+//    renderer draws, so query and diagram can't disagree on what connects), keyed by export ref
+//    so query never has to re-resolve an internal Element.id. Each edge is labeled with its
+//    connection kind, a pure function of the endpoint kinds (`connectionKind()`).
+//  - `instances`: repeated read-model instances (`view X again`) grouped by `logicalId` — never
+//    edges (see edges.ts's note on why instances don't connect), but the thing closures/paths
+//    follow so "what's downstream of this event" reaches every later timeline instance of a
+//    read model it feeds, not just the first (MIL-191's design note: a query-engine rule).
+//  - `sliceFacts`: the doc join done once via `sliceDocIndex.ts`'s single `readdirSync`.
+//  - `invariants`: INV-* id -> declaring slice, extracted from EVERY found slice doc's body
+//    regardless of its status — reuses `cli/coverage.ts`'s extraction (never re-derives the
+//    ownership-heading / structural-line rules a second time), but NOT coverage's in-scope
+//    status gate: that gate decides which invariants must be cited by tests, whereas a lookup
+//    ("which slice declares INV-X?") has to find a draft doc's invariant too, and reports the
+//    doc's status alongside it. Test citations are NOT precomputed here (a query run only ever
+//    asks about one ID at a time — see `em query invariant`) — the CLI/MCP layer calls
+//    `scanTestCitations()` (also coverage.ts) directly when `--tests` is given.
+import { semanticEdges, connectionKind } from "./edges.js";
+import { loadSliceDocsOnce, joinSliceDocFast } from "./sliceDocIndex.js";
+import { extractInvariantIds } from "../cli/coverage.js";
+function pushEdge(map, key, edge) {
+    const bucket = map.get(key);
+    if (bucket)
+        bucket.push(edge);
+    else
+        map.set(key, [edge]);
+}
+export function buildModelIndex(model, refs, baseDir) {
+    const byRef = new Map();
+    for (const el of model.elements) {
+        const ref = refs.refById.get(el.id);
+        if (ref)
+            byRef.set(ref, el);
+    }
+    const out = new Map();
+    const inMap = new Map();
+    for (const e of semanticEdges(model)) {
+        const fromRef = refs.refById.get(e.from);
+        const toRef = refs.refById.get(e.to);
+        const fromEl = model.byId.get(e.from);
+        const toEl = model.byId.get(e.to);
+        if (!fromRef || !toRef || !fromEl || !toEl)
+            continue;
+        // A `loops-to` edge is structurally `event->view`, indistinguishable from an ordinary
+        // `from`-derived one by endpoint kinds alone — check the edge's own provenance (MIL-199)
+        // before falling through to connectionKind()'s pure endpoint-kind function.
+        const kind = e.source === "loops-to" ? "loops-to" : connectionKind(fromEl.kind, toEl.kind) ?? "other";
+        pushEdge(out, fromRef, { ref: toRef, kind });
+        pushEdge(inMap, toRef, { ref: fromRef, kind });
+    }
+    const byLogical = new Map();
+    for (const el of model.elements) {
+        if (el.kind !== "view")
+            continue;
+        const ref = refs.refById.get(el.id);
+        if (!ref)
+            continue;
+        const bucket = byLogical.get(el.logicalId);
+        if (bucket)
+            bucket.push(ref);
+        else
+            byLogical.set(el.logicalId, [ref]);
+    }
+    const instances = new Map();
+    for (const group of byLogical.values()) {
+        if (group.length < 2)
+            continue;
+        for (const ref of group)
+            instances.set(ref, group.filter((r) => r !== ref));
+    }
+    const docsByKey = loadSliceDocsOnce(baseDir);
+    const sliceFacts = new Map();
+    model.slices.forEach((slice, i) => {
+        const key = refs.sliceKeys[i];
+        const doc = joinSliceDocFast(slice, key, docsByKey);
+        sliceFacts.set(key, { key, name: slice.name, index: i, line: slice.line, doc });
+    });
+    // Two passes, canonical bindings first, so a doc's own slice owns its invariants no matter
+    // where a slice it also `covers:` sits in document order (see the `invariants` field doc).
+    // A doc that resolves for several slices (its own plus every one it `covers:`) is scanned
+    // once, keyed by path — the ids are a property of the doc, not of the slice asking.
+    const invariants = new Map();
+    const idsByDocPath = new Map();
+    const idsOf = (doc) => {
+        let ids = idsByDocPath.get(doc.path);
+        if (!ids) {
+            ids = extractInvariantIds(doc.body);
+            idsByDocPath.set(doc.path, ids);
+        }
+        return ids;
+    };
+    const claim = (canonical) => {
+        for (const { key, doc } of sliceFacts.values()) {
+            if (doc.body === null || (doc.path === `slices/${key}.md`) !== canonical)
+                continue;
+            for (const id of idsOf(doc)) {
+                if (!invariants.has(id))
+                    invariants.set(id, { id, sliceKey: key });
+            }
+        }
+    };
+    claim(true);
+    claim(false);
+    return { model, refs, baseDir, byRef, out, in: inMap, instances, sliceFacts, invariants };
+}
+//# sourceMappingURL=queryIndex.js.map

package/dist/model/queryIndex.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"queryIndex.js","sourceRoot":"","sources":["../../src/model/queryIndex.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,8FAA8F;AAC9F,gGAAgG;AAChG,+FAA+F;AAC/F,6CAA6C;AAC7C,EAAE;AACF,0FAA0F;AAC1F,iGAAiG;AACjG,2FAA2F;AAC3F,gGAAgG;AAChG,4FAA4F;AAC5F,kFAAkF;AAClF,gGAAgG;AAChG,8FAA8F;AAC9F,4FAA4F;AAC5F,2FAA2F;AAC3F,yFAAyF;AACzF,4FAA4F;AAC5F,4FAA4F;AAC5F,2FAA2F;AAC3F,8FAA8F;AAC9F,8FAA8F;AAC9F,+FAA+F;AAC/F,uFAAuF;AACvF,gFAAgF;AAIhF,OAAO,EAAE,aAAa,EAAE,cAAc,EAAkB,MAAM,YAAY,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAiB,MAAM,oBAAoB,CAAC;AACxF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAuDzD,SAAS,QAAQ,CAAC,GAA6B,EAAE,GAAW,EAAE,IAAe;IAC3E,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5B,IAAI,MAAM;QAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;QACzB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAsB,EAAE,IAAgB,EAAE,OAAe;IACvF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACpC,IAAI,GAAG;YAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClC,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI;YAAE,SAAS;QACrD,sFAAsF;QACtF,yFAAyF;QACzF,4EAA4E;QAC5E,MAAM,IAAI,GACR,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC;QAC3F,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7C,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACjD,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACjC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACpC,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAC3C,IAAI,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;YACxB,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC/B,KAAK,MAAM,GAAG,IAAI,KAAK;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAC9E,CAAC;IAED,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,IAAI,GAAG,EAA0B,CAAC;IACrD,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAChC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,gBAAgB,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACpD,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,2FAA2F;IAC3F,2FAA2F;IAC3F,0FAA0F;IAC1F,oFAAoF;IACpF,MAAM,UAAU,GAAG,IAAI,GAAG,EAA+B,CAAC;IAC1D,MAAM,YAAY,GAAG,IAAI,GAAG,EAAoB,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,GAAkB,EAAY,EAAE;QAC7C,IAAI,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,IAAK,CAAC,CAAC;YACrC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,SAAkB,EAAE,EAAE;QACnC,KAAK,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;YAC/C,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,UAAU,GAAG,KAAK,CAAC,KAAK,SAAS;gBAAE,SAAS;YACnF,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAE,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,KAAK,CAAC,KAAK,CAAC,CAAC;IAEb,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;AAC5F,CAAC"}