@memoarchitect/tools 0.6.7 → 0.8.7

package/packages/tools/lib/model/ir-identity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir-identity.d.ts","sourceRoot":"","sources":["../../src/model/ir-identity.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAEnE;;;;;;GAMG;AACH,qBAAa,oBAAqB,SAAQ,KAAK;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM;gBAAlB,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;CAO1D;AAED,8EAA8E;AAC9E,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAErD,6DAA6D;AAC7D,MAAM,WAAW,eAAe;IAC5B,QAAQ,EAAE,aAAa,CAAC;IACxB,sEAAsE;IACtE,aAAa,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,eAAe;IAC5B,4EAA4E;IAC5E,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,iDAAiD;IACjD,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CAC7D;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,OAAO,GAAG,SAAS,GAAG,eAAe,CAS7E;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,eAAe,GAAG,SAAS,GAAG,eAAe,CAU1F;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAS1E;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,EAAE,EAAE,OAAO,GAAG,SAAS,GAAG,eAAe,CAExE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC7B,KAAK,EAAE,eAAe,EACtB,UAAU,EAAE,MAAM,EAClB,qBAAqB,CAAC,EAAE,MAAM,GAC/B,eAAe,CAajB;AAED,yEAAyE;AACzE,wBAAgB,sBAAsB,CAClC,KAAK,EAAE,eAAe,EACtB,aAAa,EAAE,MAAM,GACtB,MAAM,GAAG,SAAS,CAEpB;AAID,mFAAmF;AACnF,wBAAgB,oBAAoB,CAAC,eAAe,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,SAAS,CAUlF;AAED,iFAAiF;AACjF,wBAAgB,YAAY,CAAC,QAAQ,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAI7F;AAED,yEAAyE;AACzE,wBAAgB,iBAAiB,CAC7B,QAAQ,EAAE,aAAa,EACvB,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,MAAM,GACrB,OAAO,CAET;AAED;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CACxC,IAAI,EAAE;IAAE,OAAO,CAAC,EAAE,OAAO,EAAE,CAAA;CAAE,EAC7B,QAAQ,EAAE,aAAa,GACxB;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,CAuBlF"}

package/packages/tools/lib/model/ir-identity.js

@@ -0,0 +1,178 @@
+// ─── IR identity: the address every authoring write is made against ──────────
+//
+// Session 3 made the canonical IR the ingestion boundary. Authoring still
+// addressed elements the old way — by authored name, matched with a regular
+// expression over the source text — so two declarations with the same name in
+// different namespaces were the same target as far as a write was concerned,
+// and a rename made the write silently miss.
+//
+// An IR identity is `file-URI + declaration path + metaclass`. It is positional
+// by construction, which is the point: inserting a declaration ahead of another
+// changes the second one's address, so an identity minted against an older
+// revision is *detectably* old rather than quietly pointing at a neighbour.
+// Every write therefore either resolves its identity against the current IR or
+// fails loudly — `StaleIrIdentityError`, naming the identity and what it found.
+//
+// Nothing here reads the filesystem or spawns anything: it is a resolver over
+// an IR that some lowering provider already produced.
+// ─────────────────────────────────────────────────────────────────────────────
+import { resolve } from 'node:path';
+import { pathToFileURL } from 'node:url';
+/**
+ * A write was made against an identity the current IR does not have.
+ *
+ * Loud on purpose. The alternative — falling back to a name lookup — is how a
+ * write ends up editing the wrong element, which is the failure this whole
+ * module exists to make impossible.
+ */
+export class StaleIrIdentityError extends Error {
+    identityId;
+    constructor(identityId, detail) {
+        super(`The edit targets "${identityId}", which is not in the current model revision: ${detail}. `
+            + 'Reload the element and repeat the edit; no file was written.');
+        this.identityId = identityId;
+        this.name = 'StaleIrIdentityError';
+    }
+}
+/**
+ * Index one IR for identity resolution.
+ *
+ * Both directions are needed and neither is derivable cheaply from the other:
+ * the client holds Memo element IDs and has to mint an identity from one, and
+ * the server holds an identity and has to find what it names.
+ */
+export function buildIrIdentityIndex(ir) {
+    const byMemoElement = {};
+    const byIdentity = new Map();
+    for (const element of ir?.elements ?? []) {
+        const memoElementId = element.kind === 'mapped' ? element.memoElementId : undefined;
+        byIdentity.set(element.identity.id, { identity: element.identity, memoElementId });
+        if (memoElementId)
+            byMemoElement[memoElementId] = element.identity.id;
+    }
+    return { byMemoElement, byIdentity };
+}
+/**
+ * Rebuild an index from the compact table alone.
+ *
+ * The whole IR is not shipped with a model update — `standardProperties` carry
+ * every declared property of every node, and a surface that only needs to
+ * *address* an element does not need its contents. The identity ID is a
+ * self-describing string, so the table is enough to reconstruct everything the
+ * resolver uses.
+ */
+export function indexFromIdentityTable(table) {
+    const byMemoElement = {};
+    const byIdentity = new Map();
+    for (const [memoElementId, identityId] of Object.entries(table ?? {})) {
+        const identity = parseSysmlIdentityId(identityId);
+        if (!identity)
+            continue;
+        byMemoElement[memoElementId] = identityId;
+        byIdentity.set(identityId, { identity, memoElementId });
+    }
+    return { byMemoElement, byIdentity };
+}
+/**
+ * Read an identity ID back into its parts.
+ *
+ * `file:///…/model/a.sysml#members[0]/members[2]:PartUsage`. The file URI may
+ * itself contain `#` only if percent-encoded, and the metaclass never contains
+ * `:`, so splitting at the first `#` and the last `:` is unambiguous.
+ */
+export function parseSysmlIdentityId(id) {
+    const hash = id.indexOf('#');
+    const colon = id.lastIndexOf(':');
+    if (hash < 0 || colon < hash)
+        return undefined;
+    const fileUri = id.slice(0, hash);
+    const declarationPath = id.slice(hash + 1, colon);
+    const metaclass = id.slice(colon + 1);
+    if (!fileUri || !declarationPath || !metaclass)
+        return undefined;
+    return { fileUri, declarationPath, metaclass, id };
+}
+/**
+ * The compact table shipped with a model update.
+ *
+ * The whole IR is not sent: its `standardProperties` carry every declared
+ * property of every node, and a client that only needs to address an element
+ * does not need its contents.
+ */
+export function irIdentityTable(ir) {
+    return buildIrIdentityIndex(ir).byMemoElement;
+}
+/**
+ * Resolve an identity ID against the current IR, or fail loudly.
+ *
+ * `expectedMemoElementId`, when given, is checked too: an identity that still
+ * exists but now names a different element is exactly as stale as one that has
+ * disappeared, and it is the more dangerous of the two.
+ */
+export function requireIrIdentity(index, identityId, expectedMemoElementId) {
+    const found = index.byIdentity.get(identityId);
+    if (!found) {
+        throw new StaleIrIdentityError(identityId, 'no declaration in the current IR has that identity');
+    }
+    if (expectedMemoElementId !== undefined && found.memoElementId !== expectedMemoElementId) {
+        throw new StaleIrIdentityError(identityId, `it now names ${found.memoElementId ? `element "${found.memoElementId}"` : 'a declaration Memo does not project'}, `
+            + `not "${expectedMemoElementId}"`);
+    }
+    return found;
+}
+/** The identity a client should quote when it writes to this element. */
+export function identityForMemoElement(index, memoElementId) {
+    return index.byMemoElement[memoElementId];
+}
+// ─── Locating the declaration an identity names ─────────────────────────────
+/** `members[3]/members[1]` → `[3, 1]`. Any other shape is not a path we minted. */
+export function parseDeclarationPath(declarationPath) {
+    const segments = declarationPath.split('/').filter(Boolean);
+    if (segments.length === 0)
+        return undefined;
+    const indexes = [];
+    for (const segment of segments) {
+        const match = /^members\[(\d+)\]$/.exec(segment);
+        if (!match)
+            return undefined;
+        indexes.push(Number(match[1]));
+    }
+    return indexes;
+}
+/** The project-relative file an identity's URI names, given the project root. */
+export function identityFile(identity, projectRoot) {
+    const roots = pathToFileURL(resolve(projectRoot)).href.replace(/\/$/, '');
+    if (!identity.fileUri.startsWith(`${roots}/`))
+        return undefined;
+    return decodeURIComponent(identity.fileUri.slice(roots.length + 1));
+}
+/** True when this identity was minted for that project-relative file. */
+export function identityNamesFile(identity, projectRoot, relativePath) {
+    return identityFile(identity, projectRoot) === relativePath.replaceAll('\\', '/');
+}
+/**
+ * Walk a parsed document to the declaration an identity addresses.
+ *
+ * The metaclass is verified, not assumed: a path that still resolves but to a
+ * different kind of declaration means the file was edited underneath this
+ * identity, and continuing would rewrite the wrong lines.
+ */
+export function resolveDeclarationByIdentity(root, identity) {
+    const path = parseDeclarationPath(identity.declarationPath);
+    if (!path) {
+        throw new StaleIrIdentityError(identity.id, `"${identity.declarationPath}" is not a declaration path`);
+    }
+    let node = root;
+    for (const [depth, index] of path.entries()) {
+        const members = node?.members;
+        if (!Array.isArray(members) || index >= members.length) {
+            throw new StaleIrIdentityError(identity.id, `the source no longer has a declaration at ${path.slice(0, depth + 1).map(i => `members[${i}]`).join('/')}`);
+        }
+        node = members[index];
+    }
+    if (node?.$type !== identity.metaclass) {
+        throw new StaleIrIdentityError(identity.id, `that position now holds a ${node?.$type ?? 'nothing'}, not a ${identity.metaclass}`);
+    }
+    return node;
+}
+//# sourceMappingURL=ir-identity.js.map

package/packages/tools/lib/model/ir-identity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir-identity.js","sourceRoot":"","sources":["../../src/model/ir-identity.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,0EAA0E;AAC1E,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,6CAA6C;AAC7C,EAAE;AACF,gFAAgF;AAChF,gFAAgF;AAChF,2EAA2E;AAC3E,4EAA4E;AAC5E,+EAA+E;AAC/E,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,sDAAsD;AACtD,gFAAgF;AAEhF,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAGzC;;;;;;GAMG;AACH,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IACtB;IAArB,YAAqB,UAAkB,EAAE,MAAc;QACnD,KAAK,CACD,qBAAqB,UAAU,kDAAkD,MAAM,IAAI;cACzF,8DAA8D,CACnE,CAAC;QAJe,eAAU,GAAV,UAAU,CAAQ;QAKnC,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACvC,CAAC;CACJ;AAmBD;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAuB;IACxD,MAAM,aAAa,GAAoB,EAAE,CAAC;IAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,EAA2B,CAAC;IACtD,KAAK,MAAM,OAAO,IAAI,EAAE,EAAE,QAAQ,IAAI,EAAE,EAAE,CAAC;QACvC,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;QACpF,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC;QACnF,IAAI,aAAa;YAAE,aAAa,CAAC,aAAa,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC1E,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAkC;IACrE,MAAM,aAAa,GAAoB,EAAE,CAAC;IAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,EAA2B,CAAC;IACtD,KAAK,MAAM,CAAC,aAAa,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACpE,MAAM,QAAQ,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,aAAa,CAAC,aAAa,CAAC,GAAG,UAAU,CAAC;QAC1C,UAAU,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAU;IAC3C,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,IAAI;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAClC,MAAM,eAAe,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,OAAO,IAAI,CAAC,eAAe,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IACjE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;AACvD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,EAAuB;IACnD,OAAO,oBAAoB,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC;AAClD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC7B,KAAsB,EACtB,UAAkB,EAClB,qBAA8B;IAE9B,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;QACT,MAAM,IAAI,oBAAoB,CAAC,UAAU,EAAE,oDAAoD,CAAC,CAAC;IACrG,CAAC;IACD,IAAI,qBAAqB,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,KAAK,qBAAqB,EAAE,CAAC;QACvF,MAAM,IAAI,oBAAoB,CAC1B,UAAU,EACV,gBAAgB,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC,qCAAqC,IAAI;cAClH,QAAQ,qBAAqB,GAAG,CACrC,CAAC;IACN,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,sBAAsB,CAClC,KAAsB,EACtB,aAAqB;IAErB,OAAO,KAAK,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC;AAC9C,CAAC;AAED,+EAA+E;AAE/E,mFAAmF;AACnF,MAAM,UAAU,oBAAoB,CAAC,eAAuB;IACxD,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC5D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjD,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,YAAY,CAAC,QAAuB,EAAE,WAAmB;IACrE,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC1E,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,KAAK,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAChE,OAAO,kBAAkB,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,iBAAiB,CAC7B,QAAuB,EACvB,WAAmB,EACnB,YAAoB;IAEpB,OAAO,YAAY,CAAC,QAAQ,EAAE,WAAW,CAAC,KAAK,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AACtF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CACxC,IAA6B,EAC7B,QAAuB;IAEvB,MAAM,IAAI,GAAG,oBAAoB,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IAC5D,IAAI,CAAC,IAAI,EAAE,CAAC;QACR,MAAM,IAAI,oBAAoB,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,QAAQ,CAAC,eAAe,6BAA6B,CAAC,CAAC;IAC3G,CAAC;IACD,IAAI,IAAI,GAAQ,IAAI,CAAC;IACrB,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAG,IAAI,EAAE,OAAO,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACrD,MAAM,IAAI,oBAAoB,CAC1B,QAAQ,CAAC,EAAE,EACX,6CAA6C,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAC9G,CAAC;QACN,CAAC;QACD,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,IAAI,EAAE,KAAK,KAAK,QAAQ,CAAC,SAAS,EAAE,CAAC;QACrC,MAAM,IAAI,oBAAoB,CAC1B,QAAQ,CAAC,EAAE,EACX,6BAA6B,IAAI,EAAE,KAAK,IAAI,SAAS,WAAW,QAAQ,CAAC,SAAS,EAAE,CACvF,CAAC;IACN,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC"}

package/packages/tools/lib/model/kind-registry.d.ts

@@ -1,4 +1,25 @@
-import type { KindDefinition, SysMLConstruct } from './config.js';
+import type { SysMLConstruct } from './config.js';
+/**
+ * A kind as the registry reports it.
+ *
+ * This shape used to live in `config.ts`, where a YAML `kinds:` block could
+ * declare one. Kinds come from the ontology's own `part def` / `item def`
+ * declarations now, so the shape belongs to the registry that derives it.
+ */
+export interface KindDefinition {
+    /** Human-readable label */
+    label: string;
+    /** Architecture layer this kind belongs to */
+    layer?: string;
+    /** SysML v2 construct this kind maps to */
+    sysmlConstruct: SysMLConstruct;
+    /** Icon identifier for the palette/diagram */
+    icon?: string;
+    /** Template file for new instances */
+    template?: string;
+    /** Default attributes for new instances */
+    defaultAttributes?: Record<string, string>;
+}
 import type { ParsedDocument } from './parser-utils.js';
 import type { KindDefinitionDTO } from './relationship-legality.js';
 /** Entry in the KindRegistry, matching KindDefinition shape */
@@ -25,6 +46,29 @@ export interface KindRegistryEntry {
     isAbstract?: boolean;
     /** Namespace segments mirrored by the ontology source folders. */
     namespace?: string[];
+    /**
+     * Fully qualified name, e.g. `memo::ontology::assurance::safety_risk::Hazard`.
+     *
+     * This is the registry's real identity. `name` is a short index into it,
+     * which resolves only while it is unambiguous — see `getCollisions`.
+     */
+    qualifiedName?: string;
+    /** Source file this definition was declared in. */
+    sourceFile?: string;
+}
+/**
+ * Two definitions sharing a short name.
+ *
+ * Previously the second silently replaced the first in a `Map` keyed by short
+ * name, so which one survived depended on file iteration order and the loss was
+ * invisible. Collisions are now recorded and surfaced as load diagnostics.
+ */
+export interface KindNameCollision {
+    shortName: string;
+    /** Qualified names competing for the short name, in discovery order. */
+    qualifiedNames: string[];
+    /** Files declaring them, aligned with `qualifiedNames`. */
+    sourceFiles: string[];
 }
 /**
  * Registry that discovers kinds from SysML AST Definition nodes.
@@ -32,6 +76,27 @@ export interface KindRegistryEntry {
  */
 export declare class KindRegistry {
     private readonly kinds;
+    /**
+     * Attribute values bound by a `view def`, keyed by definition name, with the
+     * definition's own supertype chain already merged in.
+     *
+     * A view usage inherits these — `view mainScreenLayout : MemoScreenLayoutView`
+     * gets that definition's `viewKind` without restating it, and SysIDE in fact
+     * REJECTS restating it ("Cannot override a binding feature value"). So the
+     * definition is the only place the value can live, and consumers resolve a
+     * usage's presentation by falling back here.
+     *
+     * View definitions are not registered as kinds: they classify views, not
+     * model elements, and adding them to the kind extent would put them in the
+     * Explorer and in kind counts where they do not belong.
+     */
+    private readonly viewDefaults;
+    private readonly viewSuperTypes;
+    /** short name → the qualified name it currently resolves to. */
+    private readonly byQualifiedName;
+    /** qualified name → declaring file, for collision diagnostics. */
+    private readonly sourceFiles;
+    private readonly collisions;
     /** Number of registered kinds */
     get size(): number;
     /**
@@ -39,6 +104,11 @@ export declare class KindRegistry {
      * Returns undefined if the kind is not registered.
      */
     getKind(name: string): KindRegistryEntry | undefined;
+    /**
+     * Attribute values a view usage inherits from its `view def`, resolved up
+     * the definition's specialization chain (nearest declaration wins).
+     */
+    getViewDefaults(viewDefName: string | undefined): Record<string, string> | undefined;
     /**
      * Convert a registry entry to a KindDefinition (for backward compat with builder).
      */
@@ -81,6 +151,44 @@ export declare class KindRegistry {
     }[];
     /** Register a kind manually (for testing or config fallback) */
     register(entry: KindRegistryEntry): void;
+    /**
+     * Track qualified identity alongside the short-name map.
+     *
+     * Short-name lookup is kept as-is so every existing caller keeps working;
+     * what changes is that a shadowed definition is no longer lost silently.
+     * A re-registration of the SAME qualified name is not a collision — that
+     * happens legitimately when a registry is copied in `withProjectExtensions`.
+     */
+    private recordIdentity;
+    /**
+     * Short names claimed by more than one qualified definition.
+     *
+     * Callers surface these as load diagnostics: a reference to an ambiguous
+     * short name cannot be resolved by load order and needs qualifying.
+     */
+    getCollisions(): KindNameCollision[];
+    /** Qualified name a short name currently resolves to. */
+    getQualifiedName(shortName: string): string | undefined;
+    /**
+     * Give a kind the placement of the kind it specializes, wherever its own
+     * declaring path could not supply one.
+     *
+     * Layer, namespace and standard are derived from the declaring file's path
+     * under `src/<layer>/`. An EXTENSION declares its types in
+     * `extensions/<name>/src/`, which matches no layer — so `RosNode`,
+     * `CloudService` and `AadlThread` all landed in `unknown` and a project
+     * that included one showed most of its model as unplaced.
+     *
+     * The placement is read from the specialization, not from any list of
+     * names: `RosNode : SoftwareComponent` is implementation because
+     * `SoftwareComponent` is. Resolution repeats so a chain works regardless
+     * of source-file order (`RosContainerImage -> ContainerImage ->
+     * DeploymentUnit`), and a kind that specializes nothing placed stays
+     * `unknown`, which is the honest answer.
+     *
+     * Must be called after populateFromDocuments() is complete.
+     */
+    inheritPlacementFromSuperTypes(): void;
     /**
      * Compute the derivedBy reverse-lookup for all kinds.
      * Must be called after populateFromDocuments() is complete.
@@ -94,4 +202,29 @@ export declare class KindRegistry {
     /** Walk a package declaration and register all Definition nodes */
     private walkPackage;
 }
+/**
+ * The ontology facts a formatter or importer needs, derived from the registries.
+ *
+ * Consumers used to take a `MEMOConfig` and read `config.kinds` and
+ * `config.relationshipTypes` off it, which meant a settings file could declare
+ * a kind the ontology never defined. They take this instead: it can only be
+ * built from what the resolved SysML declares.
+ */
+export interface OntologyView {
+    kinds: Record<string, KindDefinition>;
+    relationshipTypes: Array<{
+        name: string;
+        label: string;
+        layer: string;
+        color: string;
+    }>;
+}
+/** An empty view — what a caller has before any ontology is resolved. */
+export declare const EMPTY_ONTOLOGY_VIEW: OntologyView;
+/** Build a view from populated registries. */
+export declare function ontologyViewFrom(kindRegistry?: {
+    toKindsRecord(): Record<string, KindDefinition>;
+}, relationshipRegistry?: {
+    toRelationshipTypesArray(): OntologyView['relationshipTypes'];
+}): OntologyView;
 //# sourceMappingURL=kind-registry.d.ts.map

package/packages/tools/lib/model/kind-registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"kind-registry.d.ts","sourceRoot":"","sources":["../../src/model/kind-registry.ts"],"names":[],"mappings":"AA6BA,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAExD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAEpE,+DAA+D;AAC/D,MAAM,WAAW,iBAAiB;IAC9B,gCAAgC;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,2BAA2B;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,qDAAqD;IACrD,KAAK,EAAE,MAAM,CAAC;IACd,8BAA8B;IAC9B,cAAc,EAAE,cAAc,CAAC;IAC/B,2DAA2D;IAC3D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,mDAAmD;IACnD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,6DAA6D;IAC7D,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,yFAAyF;IACzF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,wFAAwF;IACxF,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,+EAA+E;IAC/E,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,kEAAkE;IAClE,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB;AAiBD;;;GAGG;AACH,qBAAa,YAAY;IACrB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAwC;IAE9D,iCAAiC;IACjC,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED;;;OAGG;IACH,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS;IAIpD;;OAEG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS;IAU1D;;;OAGG;IACH,aAAa,IAAI,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC;IAY/C,oCAAoC;IACpC,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAI1B,yBAAyB;IACzB,SAAS,IAAI,MAAM,EAAE;IAIrB,sBAAsB;IACtB,OAAO,IAAI,iBAAiB,EAAE;IAI9B;;;;;;;;;;;;OAYG;IACH,qBAAqB,CAAC,SAAS,EAAE,cAAc,EAAE,GAAG,YAAY;IAyDhE;;;;OAIG;IACH,gBAAgB,IAAI,iBAAiB,EAAE;IAYvC,wEAAwE;IACxE,mBAAmB,IAAI;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,iBAAiB,EAAE,CAAA;KAAE,EAAE;IAczE,gEAAgE;IAChE,QAAQ,CAAC,KAAK,EAAE,iBAAiB,GAAG,IAAI;IAIxC;;;OAGG;IACH,gBAAgB,IAAI,IAAI;IAiBxB;;;OAGG;IACH,qBAAqB,CAAC,SAAS,EAAE,cAAc,EAAE,GAAG,IAAI;IAexD,mEAAmE;IACnE,OAAO,CAAC,WAAW;CA4CtB"}
+{"version":3,"file":"kind-registry.d.ts","sourceRoot":"","sources":["../../src/model/kind-registry.ts"],"names":[],"mappings":"AA6BA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAElD;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC3B,2BAA2B;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,8CAA8C;IAC9C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,cAAc,EAAE,cAAc,CAAC;IAC/B,8CAA8C;IAC9C,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,sCAAsC;IACtC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,iBAAiB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9C;AACD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAExD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAEpE,+DAA+D;AAC/D,MAAM,WAAW,iBAAiB;IAC9B,gCAAgC;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,2BAA2B;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,qDAAqD;IACrD,KAAK,EAAE,MAAM,CAAC;IACd,8BAA8B;IAC9B,cAAc,EAAE,cAAc,CAAC;IAC/B,2DAA2D;IAC3D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,mDAAmD;IACnD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,6DAA6D;IAC7D,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,yFAAyF;IACzF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,wFAAwF;IACxF,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,+EAA+E;IAC/E,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,kEAAkE;IAClE,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB;;;;;OAKG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,mDAAmD;IACnD,UAAU,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,wEAAwE;IACxE,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,2DAA2D;IAC3D,WAAW,EAAE,MAAM,EAAE,CAAC;CACzB;AAuCD;;;GAGG;AACH,qBAAa,YAAY;IACrB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAwC;IAC9D;;;;;;;;;;;;;OAaG;IACH,OAAO,CAAC,QAAQ,CAAC,YAAY,CAA6C;IAC1E,OAAO,CAAC,QAAQ,CAAC,cAAc,CAA6B;IAC5D,gEAAgE;IAChE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA6B;IAC7D,kEAAkE;IAClE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA6B;IACzD,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAwC;IAEnE,iCAAiC;IACjC,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED;;;OAGG;IACH,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS;IAIpD;;;OAGG;IACH,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS;IAepF;;OAEG;IACH,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS;IAU1D;;;OAGG;IACH,aAAa,IAAI,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC;IAY/C,oCAAoC;IACpC,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAI1B,yBAAyB;IACzB,SAAS,IAAI,MAAM,EAAE;IAIrB,sBAAsB;IACtB,OAAO,IAAI,iBAAiB,EAAE;IAI9B;;;;;;;;;;;;OAYG;IACH,qBAAqB,CAAC,SAAS,EAAE,cAAc,EAAE,GAAG,YAAY;IA+DhE;;;;OAIG;IACH,gBAAgB,IAAI,iBAAiB,EAAE;IAYvC,wEAAwE;IACxE,mBAAmB,IAAI;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,iBAAiB,EAAE,CAAA;KAAE,EAAE;IAczE,gEAAgE;IAChE,QAAQ,CAAC,KAAK,EAAE,iBAAiB,GAAG,IAAI;IAKxC;;;;;;;OAOG;IACH,OAAO,CAAC,cAAc;IAmBtB;;;;;OAKG;IACH,aAAa,IAAI,iBAAiB,EAAE;IAKpC,yDAAyD;IACzD,gBAAgB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIvD;;;;;;;;;;;;;;;;;;OAkBG;IACH,8BAA8B,IAAI,IAAI;IAgBtC;;;OAGG;IACH,gBAAgB,IAAI,IAAI;IAiBxB;;;OAGG;IACH,qBAAqB,CAAC,SAAS,EAAE,cAAc,EAAE,GAAG,IAAI;IAexD,mEAAmE;IACnE,OAAO,CAAC,WAAW;CAmEtB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IACzB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACtC,iBAAiB,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC3F;AAED,yEAAyE;AACzE,eAAO,MAAM,mBAAmB,EAAE,YAAmD,CAAC;AAEtF,8CAA8C;AAC9C,wBAAgB,gBAAgB,CAC5B,YAAY,CAAC,EAAE;IAAE,aAAa,IAAI,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;CAAE,EAClE,oBAAoB,CAAC,EAAE;IAAE,wBAAwB,IAAI,YAAY,CAAC,mBAAmB,CAAC,CAAA;CAAE,GACzF,YAAY,CAKd"}

package/packages/tools/lib/model/kind-registry.js

@@ -14,6 +14,36 @@
 import { isPartDefinition, isRequirementDefinition, isVerificationDefinition, isStateDefinition, isUseCaseDeclaration, isActionDefinition, isItemDefinition, isPortDefinition, isInterfaceDefinition, isAttributeDefinition, isEnumDefinition, isPackageDeclaration, } from '../language/generated/ast.js';
 import { resolveLayerFromPath, resolveNamespaceFromPath, resolveStandardFromPath } from './layer-resolver.js';
 /** AST $type → SysMLConstruct mapping */
+/**
+ * Literal attribute values declared in a definition body. Only literals are
+ * read: an inherited presentation hint is always a literal, and anything else
+ * belongs to the usage.
+ */
+function extractBoundAttributes(body) {
+    const out = {};
+    for (const member of body ?? []) {
+        if (member?.$type !== 'AttributeMember' || !member.value || !member.name)
+            continue;
+        const v = member.value;
+        switch (v.$type) {
+            case 'StringValue':
+                out[member.name] = String(v.value).replace(/^"|"$/g, '');
+                break;
+            case 'IntValue':
+            case 'RealValue':
+                out[member.name] = String(v.value);
+                break;
+            case 'BooleanValue':
+                out[member.name] = String(v.value);
+                break;
+            case 'EnumValue':
+                out[member.name] = String(v.enumRef ?? '');
+                break;
+            default: break;
+        }
+    }
+    return out;
+}
 const AST_TYPE_TO_CONSTRUCT = {
     PartDefinition: 'part def',
     RequirementDefinition: 'requirement def',
@@ -33,6 +63,27 @@ const AST_TYPE_TO_CONSTRUCT = {
  */
 export class KindRegistry {
     kinds = new Map();
+    /**
+     * Attribute values bound by a `view def`, keyed by definition name, with the
+     * definition's own supertype chain already merged in.
+     *
+     * A view usage inherits these — `view mainScreenLayout : MemoScreenLayoutView`
+     * gets that definition's `viewKind` without restating it, and SysIDE in fact
+     * REJECTS restating it ("Cannot override a binding feature value"). So the
+     * definition is the only place the value can live, and consumers resolve a
+     * usage's presentation by falling back here.
+     *
+     * View definitions are not registered as kinds: they classify views, not
+     * model elements, and adding them to the kind extent would put them in the
+     * Explorer and in kind counts where they do not belong.
+     */
+    viewDefaults = new Map();
+    viewSuperTypes = new Map();
+    /** short name → the qualified name it currently resolves to. */
+    byQualifiedName = new Map();
+    /** qualified name → declaring file, for collision diagnostics. */
+    sourceFiles = new Map();
+    collisions = new Map();
     /** Number of registered kinds */
     get size() {
         return this.kinds.size;
@@ -44,6 +95,26 @@ export class KindRegistry {
     getKind(name) {
         return this.kinds.get(name);
     }
+    /**
+     * Attribute values a view usage inherits from its `view def`, resolved up
+     * the definition's specialization chain (nearest declaration wins).
+     */
+    getViewDefaults(viewDefName) {
+        if (!viewDefName)
+            return undefined;
+        const merged = {};
+        const seen = new Set();
+        let name = viewDefName;
+        while (name && !seen.has(name)) {
+            seen.add(name);
+            for (const [k, v] of Object.entries(this.viewDefaults.get(name) ?? {})) {
+                if (!(k in merged))
+                    merged[k] = v; // nearest declaration wins
+            }
+            name = this.viewSuperTypes.get(name);
+        }
+        return Object.keys(merged).length > 0 ? merged : undefined;
+    }
     /**
      * Convert a registry entry to a KindDefinition (for backward compat with builder).
      */
@@ -106,6 +177,12 @@ export class KindRegistry {
                 derivedBy: entry.derivedBy ? [...entry.derivedBy] : undefined,
             });
         }
+        for (const [name, defaults] of this.viewDefaults) {
+            result.viewDefaults.set(name, { ...defaults });
+        }
+        for (const [name, superType] of this.viewSuperTypes) {
+            result.viewSuperTypes.set(name, superType);
+        }
         const discovered = new KindRegistry();
         discovered.populateFromDocuments(documents);
         let pending = discovered.entries().filter(entry => !result.has(entry.name));
@@ -185,8 +262,88 @@ export class KindRegistry {
     }
     /** Register a kind manually (for testing or config fallback) */
     register(entry) {
+        this.recordIdentity(entry);
         this.kinds.set(entry.name, entry);
     }
+    /**
+     * Track qualified identity alongside the short-name map.
+     *
+     * Short-name lookup is kept as-is so every existing caller keeps working;
+     * what changes is that a shadowed definition is no longer lost silently.
+     * A re-registration of the SAME qualified name is not a collision — that
+     * happens legitimately when a registry is copied in `withProjectExtensions`.
+     */
+    recordIdentity(entry) {
+        const qualified = entry.qualifiedName ?? entry.name;
+        const existing = this.byQualifiedName.get(entry.name);
+        if (existing && existing !== qualified) {
+            const collision = this.collisions.get(entry.name) ?? {
+                shortName: entry.name,
+                qualifiedNames: [existing],
+                sourceFiles: [this.sourceFiles.get(existing) ?? '(unknown)'],
+            };
+            if (!collision.qualifiedNames.includes(qualified)) {
+                collision.qualifiedNames.push(qualified);
+                collision.sourceFiles.push(entry.sourceFile ?? '(unknown)');
+            }
+            this.collisions.set(entry.name, collision);
+        }
+        this.byQualifiedName.set(entry.name, qualified);
+        if (entry.sourceFile)
+            this.sourceFiles.set(qualified, entry.sourceFile);
+    }
+    /**
+     * Short names claimed by more than one qualified definition.
+     *
+     * Callers surface these as load diagnostics: a reference to an ambiguous
+     * short name cannot be resolved by load order and needs qualifying.
+     */
+    getCollisions() {
+        return [...this.collisions.values()]
+            .sort((a, b) => a.shortName.localeCompare(b.shortName));
+    }
+    /** Qualified name a short name currently resolves to. */
+    getQualifiedName(shortName) {
+        return this.byQualifiedName.get(shortName);
+    }
+    /**
+     * Give a kind the placement of the kind it specializes, wherever its own
+     * declaring path could not supply one.
+     *
+     * Layer, namespace and standard are derived from the declaring file's path
+     * under `src/<layer>/`. An EXTENSION declares its types in
+     * `extensions/<name>/src/`, which matches no layer — so `RosNode`,
+     * `CloudService` and `AadlThread` all landed in `unknown` and a project
+     * that included one showed most of its model as unplaced.
+     *
+     * The placement is read from the specialization, not from any list of
+     * names: `RosNode : SoftwareComponent` is implementation because
+     * `SoftwareComponent` is. Resolution repeats so a chain works regardless
+     * of source-file order (`RosContainerImage -> ContainerImage ->
+     * DeploymentUnit`), and a kind that specializes nothing placed stays
+     * `unknown`, which is the honest answer.
+     *
+     * Must be called after populateFromDocuments() is complete.
+     */
+    inheritPlacementFromSuperTypes() {
+        let progressed = true;
+        while (progressed) {
+            progressed = false;
+            for (const entry of this.kinds.values()) {
+                if (entry.layer !== 'unknown' || !entry.superType)
+                    continue;
+                const parent = this.kinds.get(entry.superType.split('::').pop() ?? '');
+                if (!parent || parent === entry || parent.layer === 'unknown')
+                    continue;
+                entry.layer = parent.layer;
+                if (!entry.namespace?.length && parent.namespace)
+                    entry.namespace = [...parent.namespace];
+                if (!entry.standard && parent.standard)
+                    entry.standard = parent.standard;
+                progressed = true;
+            }
+        }
+    }
     /**
      * Compute the derivedBy reverse-lookup for all kinds.
      * Must be called after populateFromDocuments() is complete.
@@ -220,16 +377,30 @@ export class KindRegistry {
             const namespace = resolveNamespaceFromPath(doc.filePath);
             for (const member of model.members) {
                 if (isPackageDeclaration(member)) {
-                    this.walkPackage(member, layer, standard, namespace);
+                    this.walkPackage(member, layer, standard, namespace, [], doc.filePath);
                 }
             }
         }
     }
     /** Walk a package declaration and register all Definition nodes */
-    walkPackage(pkg, layer, standard, namespace) {
+    walkPackage(pkg, layer, standard, namespace, packagePath = [], sourceFile) {
+        // A declaration's qualified name is the enclosing package chain, which
+        // is why nested package declarations are required: a file declaring
+        // `package a::b` gives no chain to walk.
+        const here = pkg.name ? [...packagePath, pkg.name] : packagePath;
         for (const member of pkg.members) {
             if (isPackageDeclaration(member)) {
-                this.walkPackage(member, layer, standard, namespace);
+                this.walkPackage(member, layer, standard, namespace, here, sourceFile);
+                continue;
+            }
+            if (member.$type === 'ViewDefinition') {
+                const viewName = member.name;
+                if (viewName) {
+                    this.viewDefaults.set(viewName, extractBoundAttributes(member.body));
+                    const sup = member.specialization?.superType;
+                    if (sup)
+                        this.viewSuperTypes.set(viewName, sup);
+                }
                 continue;
             }
             // Check each definition type
@@ -253,7 +424,7 @@ export class KindRegistry {
                 const superType = 'specialization' in member
                     ? member.specialization?.superType
                     : undefined;
-                this.kinds.set(name, {
+                this.register({
                     name,
                     label: name,
                     layer,
@@ -262,9 +433,20 @@ export class KindRegistry {
                     standard,
                     isAbstract: ('isAbstract' in member && member.isAbstract) || undefined,
                     namespace,
+                    qualifiedName: [...here, name].join('::'),
+                    sourceFile,
                 });
             }
         }
     }
 }
+/** An empty view — what a caller has before any ontology is resolved. */
+export const EMPTY_ONTOLOGY_VIEW = { kinds: {}, relationshipTypes: [] };
+/** Build a view from populated registries. */
+export function ontologyViewFrom(kindRegistry, relationshipRegistry) {
+    return {
+        kinds: kindRegistry?.toKindsRecord() ?? {},
+        relationshipTypes: relationshipRegistry?.toRelationshipTypesArray() ?? [],
+    };
+}
 //# sourceMappingURL=kind-registry.js.map