@memoarchitect/tools 0.13.0 → 0.15.0

package/packages/tools/lib/model/selector-vocabulary.d.ts

@@ -0,0 +1,47 @@
+import type { MemoModel } from './semantic.js';
+import type { KindRegistry } from './kind-registry.js';
+import type { RelationshipRegistry } from './relationship-registry.js';
+/** Diagnostic code for a selector naming something the ontology never declared. */
+export declare const SELECTOR_UNDECLARED_NAME = "selector-undeclared-name";
+/** Which registry a selector's names are drawn from. */
+export type SelectorVocabulary = 'kind' | 'relationship' | 'attribute';
+/**
+ * Relationship types the BUILDER emits directly rather than from a
+ * `connection def`, so the relationship registry does not list them.
+ *
+ * A view that selects `flow` is selecting something the model really contains;
+ * checking it against the registry alone would report the correct spelling as
+ * an error. They are enumerated here rather than inferred from the model
+ * because the check must not depend on a project happening to contain one.
+ */
+export declare const BUILDER_NATIVE_RELATION_TYPES: readonly string[];
+/** A selector naming something no registry declares. */
+export interface SelectorVocabularyDiagnostic {
+    code: typeof SELECTOR_UNDECLARED_NAME;
+    /** Project-relative file declaring the element that carries the selector. */
+    file: string;
+    /** Element id of the view, rule or legend the selector is written on. */
+    elementId: string;
+    /** Attribute key the selector was read from. */
+    selector: string;
+    /** The offending name, as written. */
+    name: string;
+    vocabulary: SelectorVocabulary;
+    /** Declared name this looks like a misspelling of, when one stands out. */
+    suggestion?: string;
+    message: string;
+}
+/** Registries the check reads. Both optional: an unresolved ontology checks nothing. */
+export interface SelectorVocabularyRegistries {
+    kindRegistry?: KindRegistry;
+    relationshipRegistry?: RelationshipRegistry;
+}
+/**
+ * Check every selector in the model against the registries.
+ *
+ * Returns one diagnostic per offending name. An empty result means every
+ * selector names something declared — or that no ontology was resolved, in
+ * which case there is nothing to check against and nothing is reported.
+ */
+export declare function checkSelectorVocabulary(model: MemoModel, registries?: SelectorVocabularyRegistries): SelectorVocabularyDiagnostic[];
+//# sourceMappingURL=selector-vocabulary.d.ts.map

package/packages/tools/lib/model/selector-vocabulary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"selector-vocabulary.d.ts","sourceRoot":"","sources":["../../src/model/selector-vocabulary.ts"],"names":[],"mappings":"AA8BA,OAAO,KAAK,EAAE,SAAS,EAAe,MAAM,eAAe,CAAC;AAC5D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAGvE,mFAAmF;AACnF,eAAO,MAAM,wBAAwB,6BAA6B,CAAC;AAEnE,wDAAwD;AACxD,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,cAAc,GAAG,WAAW,CAAC;AAEvE;;;;;;;;GAQG;AACH,eAAO,MAAM,6BAA6B,EAAE,SAAS,MAAM,EAK1D,CAAC;AAmCF,wDAAwD;AACxD,MAAM,WAAW,4BAA4B;IACzC,IAAI,EAAE,OAAO,wBAAwB,CAAC;IACtC,6EAA6E;IAC7E,IAAI,EAAE,MAAM,CAAC;IACb,yEAAyE;IACzE,SAAS,EAAE,MAAM,CAAC;IAClB,gDAAgD;IAChD,QAAQ,EAAE,MAAM,CAAC;IACjB,sCAAsC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,kBAAkB,CAAC;IAC/B,2EAA2E;IAC3E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;CACnB;AAED,wFAAwF;AACxF,MAAM,WAAW,4BAA4B;IACzC,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;CAC/C;AAmCD;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CACnC,KAAK,EAAE,SAAS,EAChB,UAAU,CAAC,EAAE,4BAA4B,GAC1C,4BAA4B,EAAE,CAwEhC"}

package/packages/tools/lib/model/selector-vocabulary.js

@@ -0,0 +1,181 @@
+// ─── Selector Vocabulary Check ───────────────────────────────────────────────
+//
+// A selector is a string in the model that NAMES part of the ontology's
+// vocabulary: the kinds a view admits, the relationships it draws, the
+// attribute a legend colours by. Every one of them is matched against the built
+// model by name, and a name the ontology never declared matches nothing.
+//
+// Matching nothing is indistinguishable from having nothing to match. A view
+// selecting `Supports` renders empty in a model with no supports relations and
+// in a model with a thousand of them, because no such relation was ever
+// declared — so the feature reads as "no data" everywhere and stays broken
+// until someone happens to compare the selector against the ontology by hand.
+// Measured twice on 2026-09-19 in Architect's Use Cases view: four undeclared
+// names, every model rendering "No workflows".
+//
+// The registries already know every declared name, so the check costs a set
+// lookup. It belongs at the point the project is built, not at the point a view
+// is rendered, because the author is who can fix it.
+//
+// A name hardcoded in a CONSUMER's TypeScript is the other half, and a model-side
+// check cannot see it: Architect's views select relationships through
+// `relationshipsOfType` (relation-selection.ts), which reports an undeclared
+// name when a view runs, and `architect-relation-literals.test.ts` checks every
+// literal at those call sites against the resolved ontology. Kinds and
+// attributes a consumer names are NOT covered by either.
+//
+// This covers selectors the MODEL authors, which is where the ontology's
+// vocabulary is spelled out by people who are not reading the registry either.
+// ─────────────────────────────────────────────────────────────────────────────
+import { toModelType } from './naming.js';
+/** Diagnostic code for a selector naming something the ontology never declared. */
+export const SELECTOR_UNDECLARED_NAME = 'selector-undeclared-name';
+/**
+ * Relationship types the BUILDER emits directly rather than from a
+ * `connection def`, so the relationship registry does not list them.
+ *
+ * A view that selects `flow` is selecting something the model really contains;
+ * checking it against the registry alone would report the correct spelling as
+ * an error. They are enumerated here rather than inferred from the model
+ * because the check must not depend on a project happening to contain one.
+ */
+export const BUILDER_NATIVE_RELATION_TYPES = [
+    // `connect` is what an UNTYPED `connection ... connect a to b` builds, so it
+    // is the commonest of these and the one a view is most likely to select.
+    // `interface` is what a typed `interface x : T connect a to b` builds.
+    'connect', 'flow', 'bind', 'succession', 'variant', 'interface',
+];
+/**
+ * The selectors this check knows about.
+ *
+ * `selectionQuery.includeElementIds` is absent on purpose: it names elements,
+ * not vocabulary, and an unresolved one is already reported as an unresolved
+ * reference. `selectionQuery.includeLayers` is absent because a layer is
+ * derived from a source directory rather than declared, so there is no registry
+ * to check it against.
+ */
+const SELECTORS = [
+    { attribute: 'selectionQuery.includeElementKinds', vocabulary: 'kind' },
+    { attribute: 'selectionQuery.includeRelationshipKinds', vocabulary: 'relationship' },
+    // ViewRule (viewpoints) and the methodology profiles' rules both spell a
+    // type this way, as a comma-separated list.
+    { attribute: 'elementTypeName', vocabulary: 'kind' },
+    { attribute: 'relationTypeName', vocabulary: 'relationship' },
+    // MemoLegend: one of the two names the key is built from.
+    { attribute: 'attributeName', vocabulary: 'attribute' },
+    // An `enum def` is registered as a kind, so the kind registry answers this.
+    { attribute: 'enumerationName', vocabulary: 'kind' },
+    // A method step names the kinds it takes and produces (`MethodologyWorkflowStep`): a kind the ontology
+    // never declared is a step that can never be done, and nothing else would say so.
+    { attribute: 'inputKinds', vocabulary: 'kind' },
+    { attribute: 'outputKinds', vocabulary: 'kind' },
+];
+/**
+ * A value the builder wrote for an attribute that was DECLARED and not given.
+ *
+ * `attribute elementTypeName : String;` in a `part def` records `<String>`, so
+ * every definition of a selector-carrying type looks like a selector naming a
+ * type called "String". That is the declaration, not a selector.
+ */
+function isUnvaluedDeclaration(raw) {
+    return /^<[^>]*>$/.test(raw);
+}
+function splitList(raw) {
+    if (!raw || isUnvaluedDeclaration(raw.trim()))
+        return [];
+    return raw.split(',').map(s => s.trim()).filter(Boolean);
+}
+/**
+ * The declared name a misspelling most likely meant.
+ *
+ * Two cheap rules, both drawn from the defects that prompted this: a difference
+ * of case only (`Includes` for `includes`), and a declared name that extends
+ * what was written (`Includes` for `includesStep`). Anything further apart gets
+ * no suggestion rather than a guess — a wrong suggestion is read as an
+ * instruction.
+ */
+function suggest(name, declared) {
+    const lower = name.toLowerCase();
+    const caseOnly = declared.find(d => d.toLowerCase() === lower);
+    if (caseOnly)
+        return caseOnly;
+    const extension = declared.filter(d => d.toLowerCase().startsWith(lower));
+    return extension.length === 1 ? extension[0] : undefined;
+}
+/**
+ * Check every selector in the model against the registries.
+ *
+ * Returns one diagnostic per offending name. An empty result means every
+ * selector names something declared — or that no ontology was resolved, in
+ * which case there is nothing to check against and nothing is reported.
+ */
+export function checkSelectorVocabulary(model, registries) {
+    const kindRegistry = registries?.kindRegistry;
+    const relationshipRegistry = registries?.relationshipRegistry;
+    const diagnostics = [];
+    const declaredKinds = kindRegistry?.kindNames() ?? [];
+    const declaredViewDefinitions = kindRegistry?.viewDefinitionNames() ?? [];
+    const declaredRelations = [
+        ...(relationshipRegistry?.relTypeNames() ?? []),
+        ...BUILDER_NATIVE_RELATION_TYPES,
+    ];
+    const declaredAttributes = kindRegistry?.attributeNames() ?? [];
+    const relationKeys = new Set(declaredRelations.map(toModelType));
+    for (const element of model.elements.values()) {
+        for (const spec of SELECTORS) {
+            const names = splitList(element.attributes[spec.attribute]);
+            for (const name of names) {
+                const declared = isDeclared(name, spec.vocabulary);
+                if (declared === undefined)
+                    continue; // no registry for this vocabulary
+                if (declared)
+                    continue;
+                diagnostics.push(diagnostic(element, spec, name));
+            }
+        }
+    }
+    return diagnostics;
+    /** `undefined` when the registry that would answer was not supplied. */
+    function isDeclared(name, vocabulary) {
+        switch (vocabulary) {
+            case 'kind':
+                if (!kindRegistry)
+                    return undefined;
+                // A `view def` is declared vocabulary a selection query may
+                // legitimately name, though it is not registered as a kind.
+                return kindRegistry.has(name) || kindRegistry.hasViewDefinition(name);
+            case 'relationship':
+                // A selector spells a relation the way SOURCE does — `Composes`
+                // for a connection def, `flow` for a keyword — and the model
+                // keys them lowerCamelCase, so both sides normalize.
+                return relationshipRegistry ? relationKeys.has(toModelType(name)) : undefined;
+            case 'attribute':
+                return kindRegistry ? kindRegistry.declaresAttribute(name) : undefined;
+        }
+    }
+    function diagnostic(element, spec, name) {
+        const pool = spec.vocabulary === 'kind' ? [...declaredKinds, ...declaredViewDefinitions]
+            : spec.vocabulary === 'relationship' ? declaredRelations
+                : declaredAttributes;
+        const suggestion = suggest(name, pool);
+        const noun = spec.vocabulary === 'kind' ? 'kind or enumeration'
+            : spec.vocabulary === 'relationship' ? 'relationship' : 'attribute';
+        return {
+            code: SELECTOR_UNDECLARED_NAME,
+            file: element.file,
+            elementId: element.id,
+            selector: spec.attribute,
+            name,
+            vocabulary: spec.vocabulary,
+            ...(suggestion ? { suggestion } : {}),
+            message: `${element.id}: \`${spec.attribute}\` names "${name}", which no resolved `
+                + `ontology declares as a ${noun}. The selector matches nothing, in every `
+                + `model.${suggestion ? ` Did you mean "${suggestion}"?` : ''}`
+                + (name.includes('[')
+                    ? ' A selector is a list of names: no reader parses a `[attribute=value]`'
+                        + ' filter, so the brackets are part of the name being looked up.'
+                    : ''),
+        };
+    }
+}
+//# sourceMappingURL=selector-vocabulary.js.map

package/packages/tools/lib/model/selector-vocabulary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"selector-vocabulary.js","sourceRoot":"","sources":["../../src/model/selector-vocabulary.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,wEAAwE;AACxE,uEAAuE;AACvE,gFAAgF;AAChF,yEAAyE;AACzE,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,wEAAwE;AACxE,2EAA2E;AAC3E,8EAA8E;AAC9E,8EAA8E;AAC9E,+CAA+C;AAC/C,EAAE;AACF,4EAA4E;AAC5E,gFAAgF;AAChF,qDAAqD;AACrD,EAAE;AACF,kFAAkF;AAClF,sEAAsE;AACtE,6EAA6E;AAC7E,gFAAgF;AAChF,uEAAuE;AACvE,yDAAyD;AACzD,EAAE;AACF,yEAAyE;AACzE,+EAA+E;AAC/E,gFAAgF;AAKhF,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,mFAAmF;AACnF,MAAM,CAAC,MAAM,wBAAwB,GAAG,0BAA0B,CAAC;AAKnE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAsB;IAC5D,6EAA6E;IAC7E,yEAAyE;IACzE,uEAAuE;IACvE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,WAAW;CAClE,CAAC;AASF;;;;;;;;GAQG;AACH,MAAM,SAAS,GAA4B;IACvC,EAAE,SAAS,EAAE,oCAAoC,EAAE,UAAU,EAAE,MAAM,EAAE;IACvE,EAAE,SAAS,EAAE,yCAAyC,EAAE,UAAU,EAAE,cAAc,EAAE;IACpF,yEAAyE;IACzE,4CAA4C;IAC5C,EAAE,SAAS,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,EAAE;IACpD,EAAE,SAAS,EAAE,kBAAkB,EAAE,UAAU,EAAE,cAAc,EAAE;IAC7D,0DAA0D;IAC1D,EAAE,SAAS,EAAE,eAAe,EAAE,UAAU,EAAE,WAAW,EAAE;IACvD,4EAA4E;IAC5E,EAAE,SAAS,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,EAAE;IACpD,uGAAuG;IACvG,kFAAkF;IAClF,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE;IAC/C,EAAE,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,EAAE;CACnD,CAAC;AAyBF;;;;;;GAMG;AACH,SAAS,qBAAqB,CAAC,GAAW;IACtC,OAAO,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,SAAS,CAAC,GAAuB;IACtC,IAAI,CAAC,GAAG,IAAI,qBAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAAE,OAAO,EAAE,CAAC;IACzD,OAAO,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAC7D,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,OAAO,CAAC,IAAY,EAAE,QAA2B;IACtD,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,CAAC;IAC/D,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1E,OAAO,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CACnC,KAAgB,EAChB,UAAyC;IAEzC,MAAM,YAAY,GAAG,UAAU,EAAE,YAAY,CAAC;IAC9C,MAAM,oBAAoB,GAAG,UAAU,EAAE,oBAAoB,CAAC;IAC9D,MAAM,WAAW,GAAmC,EAAE,CAAC;IAEvD,MAAM,aAAa,GAAG,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACtD,MAAM,uBAAuB,GAAG,YAAY,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC;IAC1E,MAAM,iBAAiB,GAAG;QACtB,GAAG,CAAC,oBAAoB,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QAC/C,GAAG,6BAA6B;KACnC,CAAC;IACF,MAAM,kBAAkB,GAAG,YAAY,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC;IAChE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;IAEjE,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YAC5D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACvB,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;gBACnD,IAAI,QAAQ,KAAK,SAAS;oBAAE,SAAS,CAAC,kCAAkC;gBACxE,IAAI,QAAQ;oBAAE,SAAS;gBACvB,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YACtD,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,WAAW,CAAC;IAEnB,wEAAwE;IACxE,SAAS,UAAU,CAAC,IAAY,EAAE,UAA8B;QAC5D,QAAQ,UAAU,EAAE,CAAC;YACjB,KAAK,MAAM;gBACP,IAAI,CAAC,YAAY;oBAAE,OAAO,SAAS,CAAC;gBACpC,4DAA4D;gBAC5D,4DAA4D;gBAC5D,OAAO,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAC1E,KAAK,cAAc;gBACf,gEAAgE;gBAChE,6DAA6D;gBAC7D,qDAAqD;gBACrD,OAAO,oBAAoB,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAClF,KAAK,WAAW;gBACZ,OAAO,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/E,CAAC;IACL,CAAC;IAED,SAAS,UAAU,CACf,OAAoB,EAAE,IAAkB,EAAE,IAAY;QAEtD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,uBAAuB,CAAC;YACpF,CAAC,CAAC,IAAI,CAAC,UAAU,KAAK,cAAc,CAAC,CAAC,CAAC,iBAAiB;gBACpD,CAAC,CAAC,kBAAkB,CAAC;QAC7B,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,qBAAqB;YAC3D,CAAC,CAAC,IAAI,CAAC,UAAU,KAAK,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC;QACxE,OAAO;YACH,IAAI,EAAE,wBAAwB;YAC9B,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,SAAS,EAAE,OAAO,CAAC,EAAE;YACrB,QAAQ,EAAE,IAAI,CAAC,SAAS;YACxB,IAAI;YACJ,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrC,OAAO,EACH,GAAG,OAAO,CAAC,EAAE,OAAO,IAAI,CAAC,SAAS,aAAa,IAAI,uBAAuB;kBACxE,0BAA0B,IAAI,2CAA2C;kBACzE,SAAS,UAAU,CAAC,CAAC,CAAC,kBAAkB,UAAU,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;kBAC7D,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;oBACjB,CAAC,CAAC,wEAAwE;0BACxE,gEAAgE;oBAClE,CAAC,CAAC,EAAE,CAAC;SAChB,CAAC;IACN,CAAC;AACL,CAAC"}

package/packages/tools/lib/model/semantic.d.ts

@@ -1,5 +1,6 @@
 import type { OntologyRegistriesDTO } from './relationship-legality.js';
 import type { SemanticElementProvenance } from './source-provenance.js';
+import { ElementIndex } from './element-index.js';
 /** Direction of a port or action parameter */
 export type ParameterDirection = 'in' | 'out' | 'inout';
 /** Port specification on a port usage element */
@@ -29,7 +30,7 @@ export interface ActionParameter {
  * separates them. That pairing is what replaced looking a metaclass name up as
  * though it were a MEMO kind.
  */
-export declare const MEMO_CONSTRUCTS: readonly ["part", "item", "port", "interface", "connection", "action", "state", "transition", "use case", "requirement", "verification", "concern", "actor", "stakeholder", "attribute", "enumeration", "view", "viewpoint", "package", "model"];
+export declare const MEMO_CONSTRUCTS: readonly ["part", "item", "port", "interface", "connection", "flow", "action", "state", "transition", "use case", "requirement", "verification", "concern", "actor", "stakeholder", "attribute", "enumeration", "view", "viewpoint", "package", "model"];
 export type MemoConstruct = typeof MEMO_CONSTRUCTS[number];
 /**
  * The usage keyword for a declaration construct: `part def` → `part`.
@@ -43,8 +44,28 @@ export type MemoConstruct = typeof MEMO_CONSTRUCTS[number];
  */
 export declare function usageKeyword(construct: string | undefined): MemoConstruct;
 export interface MemoElement {
-    /** Unique element identifier (usage name from SysML) */
+    /**
+     * Unique element identifier: the QUALIFIED name, owner chain and all,
+     * rooted at the declaring package —
+     * `memo_examples_ros_mobile_robot::nodeSafetyMonitor::scanSubscriber`.
+     *
+     * It was the short name alone, which is not unique: SysML scopes a name to
+     * its owner, so two parts may each own a port called `scanSubscriber` and
+     * one of them used to silently win the map entry. Anything holding an id
+     * from outside the model — a `.viewlayout`, `memo.identity.yaml`, a
+     * reference a person typed — resolves it through `ElementIndex.lookup`,
+     * which accepts a trailing part of a qualified name or an unambiguous
+     * short name.
+     */
     id: string;
+    /**
+     * The name as DECLARED, the last segment of `id`.
+     *
+     * What a reader should be shown, and what the source says. Distinct from
+     * `name`, which is the human label an `attribute redefines name` may
+     * override, and from `id`, which is for identity alone.
+     */
+    shortName?: string;
     /** Stable short ID for deep-linking, e.g. "SW-REQ-4291" (set by builder) */
     shortId?: string;
     /** Stable technical UUID assigned during compilation; never used as a display label. */
@@ -116,11 +137,34 @@ export interface MemoPackageDTO {
     parent?: string;
     /** Project-relative file declaring it. */
     file: string;
+    /** Metadata the package carries, such as `@ImportSource` (absent when it carries none). */
+    attributes?: Record<string, string>;
 }
 /** A typed relationship between two elements */
 export interface MemoRelationship {
-    /** Unique relationship id (auto-generated) */
+    /**
+     * Unique relationship id.
+     *
+     * For a NAMED declaration this is the QUALIFIED name, owner chain and all,
+     * exactly as an element's is — `gpca_pump::exDoseCommand`. It used to be
+     * the bare declared name, which is not unique: two packages may each
+     * declare a flow `exDose`, and one of them would silently answer to a
+     * reference meant for the other. Anonymous declarations still get a
+     * positional `rel-N`, which addresses nothing and is not meant to.
+     *
+     * This is also the id a relationship is TARGETED by. A named flow is a
+     * referenceable identity, not only an edge, so an `allocate`, `satisfy`
+     * or `verify` naming it resolves here.
+     */
     id: string;
+    /**
+     * The name as DECLARED, the last segment of `id`, on a named declaration.
+     *
+     * What the source says, and therefore what a writer editing or deleting
+     * the declaration must match on — the qualified `id` is a model address
+     * and appears nowhere in the file.
+     */
+    shortName?: string;
     /** Relationship type name (lowercase), e.g. "mitigates", "traceTo", "flow", "succession" */
     type: string;
     /** Source element id */
@@ -144,6 +188,24 @@ export interface MemoRelationship {
      * connections get a positional id instead and cannot be edited by id.
      */
     named?: boolean;
+    /**
+     * The DECLARED domain type of a named relationship — the `flow def` or
+     * `interface def` a typed usage names, as in
+     * `flow lfDose : FunctionalExchange from … to …`.
+     *
+     * Distinct from `type`, which stays the native relationship keyword
+     * (`flow`, `bind`, `connect`). The two answer different questions: `type`
+     * says what kind of link this is in the language, `kind` says what
+     * contract the model declares it honours. A typed `connection : Mitigates`
+     * has no `kind`, because a connection definition IS a relation definition
+     * and its name becomes the `type`; a flow definition is not — it is an
+     * occurrence definition classifying a transfer that is a flow either way.
+     *
+     * This is what lets a rule say `appliesTo = "FunctionalExchange"` and
+     * reach the edge, through the read-only subject projection in
+     * `relationship-subjects.ts`, without a proxy part beside it.
+     */
+    kind?: string;
     /** Item type being transported (for flow relationships) */
     flowItem?: string;
     /** Source port element ID (when connection endpoint is a port) */
@@ -161,6 +223,12 @@ export interface ParseError {
     file: string;
     /** Error message */
     message: string;
+    /**
+     * A stable identifier for the KIND of diagnostic, for the readers that have
+     * to tell them apart without matching on prose. Absent on a parse error
+     * proper — the parser's complaints are one kind and need no code.
+     */
+    code?: string;
     /** Line number (1-based) */
     line?: number;
     /** Column number (1-based) */
@@ -178,8 +246,14 @@ export interface UnresolvedReference {
 }
 /** The complete semantic model — serializable for WebSocket transport */
 export interface MemoModel {
-    /** All elements indexed by id */
-    elements: Map<string, MemoElement>;
+    /**
+     * All elements by qualified id.
+     *
+     * `get` is exact — it takes an id the model itself produced. A name that
+     * came from source text or from a person goes through `lookup`, which
+     * accepts a trailing part of a qualified name or an unambiguous short one.
+     */
+    elements: ElementIndex;
     /** All relationships */
     relationships: MemoRelationship[];
     /** Parse errors encountered */
@@ -202,6 +276,8 @@ export interface MemoModel {
 /** Viewpoint definition (serializable subset of config) */
 export interface ViewpointDTO {
     id: string;
+    /** The name the viewpoint is written with in source (`vpRiskChain`), which a method's role view names it by. */
+    name?: string;
     label: string;
     /** Optional ontology-authored grouping used by Memo Architect. */
     group?: string;
@@ -213,6 +289,13 @@ export interface ViewpointDTO {
      * — so a consumer builds the tree without re-resolving anything.
      */
     parentId?: string;
+    /**
+     * Who the viewpoint is written for: the usage names its `stakeholders`
+     * binds (`safetyEngineer`), from the project's own viewpoint or, for one the
+     * library declares, from the library. Empty when it names none. A role
+     * picks its viewpoints through `viewpointsForRole`.
+     */
+    stakeholders?: string[];
     visibleKinds: string[];
     visibleRelationships: string[];
     visibleLayers: string[];
@@ -286,7 +369,9 @@ export interface ArchLayerDTO {
 }
 /** Model metadata for version/attribution */
 export interface ModelMetadata {
-    /** Project name from config */
+    /** The model's name, from its settings */
+    modelName?: string;
+    /** @deprecated 0.14.0: the former name of `modelName`, same value. Deleted in 0.15.0. */
     projectName?: string;
     /** Semantic version (from config or auto-incremented) */
     version?: string;
@@ -346,7 +431,7 @@ export interface MemoModelDTO {
      */
     irIdentities?: Record<string, string>;
     /**
-     * Clause coverage report — the same computation `memo standards check`
+     * Clause coverage report — the same computation `memo validate --standards`
      * prints. The dev server computes it once per rebuild and ships it here so
      * the Architect can badge document cards with gap counts without a second
      * request and without a second computation.
@@ -355,6 +440,12 @@ export interface MemoModelDTO {
      * not compute it (e.g. a static export build that does not need the badges).
      */
     standardsReport?: import('../dhf/standards-report.js').StandardsReport;
+    /**
+     * Which workspace (the system of systems, or one system) holds each element, computed from
+     * the links by `workspace-membership.ts` (plan T2). Absent when the model was built
+     * without the ontology registries.
+     */
+    workspaceMembership?: import('./workspace-membership.js').WorkspaceMembershipDTO;
 }
 /** A SysML enum and its literals, preserved for view declarations. */
 export interface EnumDefinitionDTO {
@@ -372,6 +463,7 @@ export declare function modelToDTO(model: MemoModel, options?: {
     sourceHashes?: Record<string, string>;
     irIdentities?: Record<string, string>;
     enumerations?: EnumDefinitionDTO[];
+    workspaceMembership?: import('./workspace-membership.js').WorkspaceMembershipDTO;
 }): MemoModelDTO;
 /** Reconstruct a MemoModel from a DTO (e.g. received over WebSocket) */
 export declare function dtoToModel(dto: MemoModelDTO): MemoModel;

package/packages/tools/lib/model/semantic.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"semantic.d.ts","sourceRoot":"","sources":["../../src/model/semantic.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AAExE,8CAA8C;AAC9C,MAAM,MAAM,kBAAkB,GAAG,IAAI,GAAG,KAAK,GAAG,OAAO,CAAC;AAExD,iDAAiD;AACjD,MAAM,WAAW,QAAQ;IACrB,iCAAiC;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,4DAA4D;IAC5D,SAAS,CAAC,EAAE,kBAAkB,CAAC;IAC/B,6BAA6B;IAC7B,YAAY,EAAE,OAAO,CAAC;CACzB;AAED,gDAAgD;AAChD,MAAM,WAAW,eAAe;IAC5B,qBAAqB;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,mCAAmC;IACnC,SAAS,EAAE,kBAAkB,CAAC;IAC9B,4BAA4B;IAC5B,IAAI,EAAE,MAAM,CAAC;CAChB;AAED,oEAAoE;AACpE;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,kPAWlB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC;AAE3D;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa,CAKzE;AAED,MAAM,WAAW,WAAW;IACxB,wDAAwD;IACxD,EAAE,EAAE,MAAM,CAAC;IACX,4EAA4E;IAC5E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,wFAAwF;IACxF,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,wEAAwE;IACxE,IAAI,EAAE,MAAM,CAAC;IACb,uEAAuE;IACvE,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;;;;OASG;IACH,SAAS,EAAE,aAAa,CAAC;IACzB,kEAAkE;IAClE,KAAK,EAAE,MAAM,CAAC;IACd,kCAAkC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,wCAAwC;IACxC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,6BAA6B;IAC7B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb;;;;;;;OAOG;IACH,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,wDAAwD;IACxD,UAAU,CAAC,EAAE,eAAe,EAAE,CAAC;IAC/B,kDAAkD;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,6EAA6E;IAC7E,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,8DAA8D;IAC9D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,6EAA6E;IAC7E,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,mDAAmD;IACnD,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,2DAA2D;IAC3D,UAAU,CAAC,EAAE,yBAAyB,CAAC;CAC1C;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc;IAC3B,6CAA6C;IAC7C,aAAa,EAAE,MAAM,CAAC;IACtB,2DAA2D;IAC3D,IAAI,EAAE,MAAM,CAAC;IACb,yEAAyE;IACzE,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,IAAI,EAAE,MAAM,CAAC;CAChB;AAED,gDAAgD;AAChD,MAAM,WAAW,gBAAgB;IAC7B,8CAA8C;IAC9C,EAAE,EAAE,MAAM,CAAC;IACX,4FAA4F;IAC5F,IAAI,EAAE,MAAM,CAAC;IACb,wBAAwB;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,4DAA4D;IAC5D,SAAS,EAAE,MAAM,CAAC;IAClB,wBAAwB;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,2DAA2D;IAC3D,SAAS,EAAE,MAAM,CAAC;IAClB,kCAAkC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,WAAW,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACjD;;;;OAIG;IACH,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,2DAA2D;IAC3D,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,mDAAmD;IACnD,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,8DAA8D;IAC9D,UAAU,CAAC,EAAE,yBAAyB,CAAC;CAC1C;AAED,yCAAyC;AACzC,MAAM,WAAW,UAAU;IACvB,gBAAgB;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,4BAA4B;IAC5B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,8BAA8B;IAC9B,MAAM,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,mFAAmF;AACnF,MAAM,WAAW,mBAAmB;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;CAChB;AAED,yEAAyE;AACzE,MAAM,WAAW,SAAS;IACtB,iCAAiC;IACjC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACnC,wBAAwB;IACxB,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,+BAA+B;IAC/B,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,iEAAiE;IACjE,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,+EAA+E;IAC/E,oBAAoB,CAAC,EAAE,mBAAmB,EAAE,CAAC;IAI7C,+BAA+B;IAC/B,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;IAC3C,6CAA6C;IAC7C,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;IAC5C,oCAAoC;IACpC,mBAAmB,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;IACrD,6CAA6C;IAC7C,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAC1C,2CAA2C;IAC3C,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;CAC7C;AAED,2DAA2D;AAC3D,MAAM,WAAW,YAAY;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,kEAAkE;IAClE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,iEAAiE;IACjE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,2EAA2E;IAC3E,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;CACpC;AAED,gEAAgE;AAChE,MAAM,WAAW,UAAU;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,6EAA6E;IAC7E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,+EAA+E;IAC/E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,8FAA8F;IAC9F,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,qDAAqD;IACrD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,mEAAmE;IACnE,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,IAAI,EAAE,OAAO,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,sEAAsE;IACtE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,6EAA6E;IAC7E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC3B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACvC;AAED,8DAA8D;AAC9D,MAAM,WAAW,YAAY;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;CACjB;AAED,6CAA6C;AAC7C,MAAM,WAAW,aAAa;IAC1B,+BAA+B;IAC/B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,yDAAyD;IACzD,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,sCAAsC;IACtC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,sBAAsB;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,6BAA6B;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,OAAO,CAAC;CACtB;AAED,2DAA2D;AAC3D,MAAM,WAAW,YAAY;IACzB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACtC,8EAA8E;IAC9E,YAAY,CAAC,EAAE,iBAAiB,EAAE,CAAC;IACnC,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,iEAAiE;IACjE,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC;IAC5B,oEAAoE;IACpE,UAAU,CAAC,EAAE,YAAY,EAAE,CAAC;IAC5B,iDAAiD;IACjD,kBAAkB,CAAC,EAAE,YAAY,EAAE,CAAC;IACpC,iDAAiD;IACjD,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC;IACxB,oDAAoD;IACpD,QAAQ,CAAC,EAAE,aAAa,CAAC;IACzB;;;;OAIG;IACH,UAAU,CAAC,EAAE,qBAAqB,CAAC;IACnC;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;OAGG;IACH,WAAW,CAAC,EAAE,cAAc,CAAC;IAC7B,kEAAkE;IAClE,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,6EAA6E;IAC7E,OAAO,CAAC,EAAE,OAAO,sBAAsB,EAAE,OAAO,CAAC;IACjD;;;;;;OAMG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC;;;;;;;;OAQG;IACH,eAAe,CAAC,EAAE,OAAO,4BAA4B,EAAE,eAAe,CAAC;CAC1E;AAED,sEAAsE;AACtE,MAAM,WAAW,iBAAiB;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,4DAA4D;AAC5D,wBAAgB,UAAU,CACtB,KAAK,EAAE,SAAS,EAChB,OAAO,CAAC,EAAE;IACN,UAAU,CAAC,EAAE,YAAY,EAAE,CAAC;IAC5B,kBAAkB,CAAC,EAAE,YAAY,EAAE,CAAC;IACpC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC;IACxB,UAAU,CAAC,EAAE,qBAAqB,CAAC;IACnC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,cAAc,CAAC;IAC7B,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,YAAY,CAAC,EAAE,iBAAiB,EAAE,CAAC;CACtC,GACF,YAAY,CAqBd;AAED,wEAAwE;AACxE,wBAAgB,UAAU,CAAC,GAAG,EAAE,YAAY,GAAG,SAAS,CAoCvD"}
+{"version":3,"file":"semantic.d.ts","sourceRoot":"","sources":["../../src/model/semantic.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,8CAA8C;AAC9C,MAAM,MAAM,kBAAkB,GAAG,IAAI,GAAG,KAAK,GAAG,OAAO,CAAC;AAExD,iDAAiD;AACjD,MAAM,WAAW,QAAQ;IACrB,iCAAiC;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,4DAA4D;IAC5D,SAAS,CAAC,EAAE,kBAAkB,CAAC;IAC/B,6BAA6B;IAC7B,YAAY,EAAE,OAAO,CAAC;CACzB;AAED,gDAAgD;AAChD,MAAM,WAAW,eAAe;IAC5B,qBAAqB;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,mCAAmC;IACnC,SAAS,EAAE,kBAAkB,CAAC;IAC9B,4BAA4B;IAC5B,IAAI,EAAE,MAAM,CAAC;CAChB;AAED,oEAAoE;AACpE;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,0PAgBlB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC;AAE3D;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,GAAG,aAAa,CAKzE;AAED,MAAM,WAAW,WAAW;IACxB;;;;;;;;;;;;OAYG;IACH,EAAE,EAAE,MAAM,CAAC;IACX;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,4EAA4E;IAC5E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,wFAAwF;IACxF,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,wEAAwE;IACxE,IAAI,EAAE,MAAM,CAAC;IACb,uEAAuE;IACvE,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;;;;OASG;IACH,SAAS,EAAE,aAAa,CAAC;IACzB,kEAAkE;IAClE,KAAK,EAAE,MAAM,CAAC;IACd,kCAAkC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,wCAAwC;IACxC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,6BAA6B;IAC7B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb;;;;;;;OAOG;IACH,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,wDAAwD;IACxD,UAAU,CAAC,EAAE,eAAe,EAAE,CAAC;IAC/B,kDAAkD;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,6EAA6E;IAC7E,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,8DAA8D;IAC9D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,6EAA6E;IAC7E,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,mDAAmD;IACnD,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,2DAA2D;IAC3D,UAAU,CAAC,EAAE,yBAAyB,CAAC;CAC1C;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc;IAC3B,6CAA6C;IAC7C,aAAa,EAAE,MAAM,CAAC;IACtB,2DAA2D;IAC3D,IAAI,EAAE,MAAM,CAAC;IACb,yEAAyE;IACzE,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,IAAI,EAAE,MAAM,CAAC;IACb,2FAA2F;IAC3F,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACvC;AAED,gDAAgD;AAChD,MAAM,WAAW,gBAAgB;IAC7B;;;;;;;;;;;;;OAaG;IACH,EAAE,EAAE,MAAM,CAAC;IACX;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,4FAA4F;IAC5F,IAAI,EAAE,MAAM,CAAC;IACb,wBAAwB;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,4DAA4D;IAC5D,SAAS,EAAE,MAAM,CAAC;IAClB,wBAAwB;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,2DAA2D;IAC3D,SAAS,EAAE,MAAM,CAAC;IAClB,kCAAkC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,WAAW,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACjD;;;;OAIG;IACH,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB;;;;;;;;;;;;;;;;OAgBG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,2DAA2D;IAC3D,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,mDAAmD;IACnD,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,8DAA8D;IAC9D,UAAU,CAAC,EAAE,yBAAyB,CAAC;CAC1C;AAED,yCAAyC;AACzC,MAAM,WAAW,UAAU;IACvB,gBAAgB;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,4BAA4B;IAC5B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,8BAA8B;IAC9B,MAAM,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,mFAAmF;AACnF,MAAM,WAAW,mBAAmB;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;CAChB;AAED,yEAAyE;AACzE,MAAM,WAAW,SAAS;IACtB;;;;;;OAMG;IACH,QAAQ,EAAE,YAAY,CAAC;IACvB,wBAAwB;IACxB,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,+BAA+B;IAC/B,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,iEAAiE;IACjE,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,+EAA+E;IAC/E,oBAAoB,CAAC,EAAE,mBAAmB,EAAE,CAAC;IAI7C,+BAA+B;IAC/B,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;IAC3C,6CAA6C;IAC7C,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;IAC5C,oCAAoC;IACpC,mBAAmB,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;IACrD,6CAA6C;IAC7C,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAC1C,2CAA2C;IAC3C,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;CAC7C;AAED,2DAA2D;AAC3D,MAAM,WAAW,YAAY;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,gHAAgH;IAChH,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,kEAAkE;IAClE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,iEAAiE;IACjE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,2EAA2E;IAC3E,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;CACpC;AAED,gEAAgE;AAChE,MAAM,WAAW,UAAU;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,6EAA6E;IAC7E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,+EAA+E;IAC/E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,8FAA8F;IAC9F,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,qDAAqD;IACrD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,mEAAmE;IACnE,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,IAAI,EAAE,OAAO,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,sEAAsE;IACtE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,6EAA6E;IAC7E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC3B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACvC;AAED,8DAA8D;AAC9D,MAAM,WAAW,YAAY;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;CACjB;AAED,6CAA6C;AAC7C,MAAM,WAAW,aAAa;IAC1B,0CAA0C;IAC1C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,yFAAyF;IACzF,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,yDAAyD;IACzD,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,sCAAsC;IACtC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,sBAAsB;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,6BAA6B;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,OAAO,CAAC;CACtB;AAED,2DAA2D;AAC3D,MAAM,WAAW,YAAY;IACzB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACtC,8EAA8E;IAC9E,YAAY,CAAC,EAAE,iBAAiB,EAAE,CAAC;IACnC,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,iEAAiE;IACjE,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC;IAC5B,oEAAoE;IACpE,UAAU,CAAC,EAAE,YAAY,EAAE,CAAC;IAC5B,iDAAiD;IACjD,kBAAkB,CAAC,EAAE,YAAY,EAAE,CAAC;IACpC,iDAAiD;IACjD,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC;IACxB,oDAAoD;IACpD,QAAQ,CAAC,EAAE,aAAa,CAAC;IACzB;;;;OAIG;IACH,UAAU,CAAC,EAAE,qBAAqB,CAAC;IACnC;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;OAGG;IACH,WAAW,CAAC,EAAE,cAAc,CAAC;IAC7B,kEAAkE;IAClE,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,6EAA6E;IAC7E,OAAO,CAAC,EAAE,OAAO,sBAAsB,EAAE,OAAO,CAAC;IACjD;;;;;;OAMG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC;;;;;;;;OAQG;IACH,eAAe,CAAC,EAAE,OAAO,4BAA4B,EAAE,eAAe,CAAC;IACvE;;;;OAIG;IACH,mBAAmB,CAAC,EAAE,OAAO,2BAA2B,EAAE,sBAAsB,CAAC;CACpF;AAED,sEAAsE;AACtE,MAAM,WAAW,iBAAiB;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,4DAA4D;AAC5D,wBAAgB,UAAU,CACtB,KAAK,EAAE,SAAS,EAChB,OAAO,CAAC,EAAE;IACN,UAAU,CAAC,EAAE,YAAY,EAAE,CAAC;IAC5B,kBAAkB,CAAC,EAAE,YAAY,EAAE,CAAC;IACpC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC;IACxB,UAAU,CAAC,EAAE,qBAAqB,CAAC;IACnC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,cAAc,CAAC;IAC7B,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,YAAY,CAAC,EAAE,iBAAiB,EAAE,CAAC;IACnC,mBAAmB,CAAC,EAAE,OAAO,2BAA2B,EAAE,sBAAsB,CAAC;CACpF,GACF,YAAY,CAsBd;AAED,wEAAwE;AACxE,wBAAgB,UAAU,CAAC,GAAG,EAAE,YAAY,GAAG,SAAS,CAwCvD"}

package/packages/tools/lib/model/semantic.js

@@ -4,6 +4,7 @@
 // These types are what the CLI and web app work with — they are
 // decoupled from Langium's AST nodes so they can be sent over WebSocket.
 // ─────────────────────────────────────────────────────────────────────────────
+import { ElementIndex } from './element-index.js';
 /** A model element (part, requirement, action, port, item, etc.) */
 /**
  * Every construct the builder extracts, in the language's own vocabulary.
@@ -15,6 +16,11 @@
  */
 export const MEMO_CONSTRUCTS = [
     'part', 'item', 'port', 'interface', 'connection',
+    // A `flow def` is a definition like any other and a named flow usage is
+    // its instance. The usage reaches the model as a relationship, not an
+    // element — an edge is not a part — so this value appears on the
+    // read-only rule subject projected from that edge, and on the definition.
+    'flow',
     'action', 'state', 'transition', 'use case',
     'requirement', 'verification', 'concern',
     'actor', 'stakeholder',
@@ -63,11 +69,17 @@ export function modelToDTO(model, options) {
         sourceHashes: options?.sourceHashes,
         sysmlIr: undefined,
         irIdentities: options?.irIdentities,
+        workspaceMembership: options?.workspaceMembership,
     };
 }
 /** Reconstruct a MemoModel from a DTO (e.g. received over WebSocket) */
 export function dtoToModel(dto) {
-    const elements = new Map(Object.entries(dto.elements));
+    // An ElementIndex, not a bare Map, so a model received over the wire can
+    // still resolve a name a person wrote — `memo compile --inspect nodeLidar`, a key
+    // read back from a saved layout — against the qualified ids it holds.
+    const elements = new ElementIndex();
+    for (const el of Object.values(dto.elements))
+        elements.define(el);
     const relationships = dto.relationships;
     const elementsByKind = new Map();
     const elementsByLayer = new Map();

package/packages/tools/lib/model/semantic.js.map

@@ -1 +1 @@
-{"version":3,"file":"semantic.js","sourceRoot":"","sources":["../../src/model/semantic.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,oEAAoE;AACpE,gEAAgE;AAChE,yEAAyE;AACzE,gFAAgF;AA4BhF,oEAAoE;AACpE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG;IAC3B,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY;IACjD,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,UAAU;IAC3C,aAAa,EAAE,cAAc,EAAE,SAAS;IACxC,OAAO,EAAE,aAAa;IACtB,WAAW,EAAE,aAAa;IAC1B,MAAM,EAAE,WAAW,EAAE,SAAS;IAC9B,0EAA0E;IAC1E,2EAA2E;IAC3E,wDAAwD;IACxD,OAAO;CACD,CAAC;AAIX;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,SAA6B;IACtD,MAAM,IAAI,GAAG,CAAC,SAAS,IAAI,MAAM,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACzE,yEAAyE;IACzE,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,aAAa;QAAE,OAAO,WAAW,CAAC;IAClE,OAAQ,eAAqC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAqB,CAAC,CAAC,CAAC,MAAM,CAAC;AAClG,CAAC;AA8UD,4DAA4D;AAC5D,MAAM,UAAU,UAAU,CACtB,KAAgB,EAChB,OAUC;IAED,MAAM,QAAQ,GAAgC,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACpC,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC;IACD,OAAO;QACH,QAAQ;QACR,YAAY,EAAE,OAAO,EAAE,YAAY;QACnC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,OAAO,EAAE,UAAU;QAC/B,kBAAkB,EAAE,OAAO,EAAE,kBAAkB;QAC/C,QAAQ,EAAE,OAAO,EAAE,QAAQ;QAC3B,UAAU,EAAE,OAAO,EAAE,UAAU;QAC/B,QAAQ,EAAE,OAAO,EAAE,QAAQ;QAC3B,WAAW,EAAE,OAAO,EAAE,WAAW;QACjC,YAAY,EAAE,OAAO,EAAE,YAAY;QACnC,OAAO,EAAE,SAAS;QAClB,YAAY,EAAE,OAAO,EAAE,YAAY;KACtC,CAAC;AACN,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,UAAU,CAAC,GAAiB;IACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAsB,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC5E,MAAM,aAAa,GAAG,GAAG,CAAC,aAAa,CAAC;IAExC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAyB,CAAC;IACxD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAyB,CAAC;IACzD,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACjC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClE,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;YAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACtE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAA8B,CAAC;IAClE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9E,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAChE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAChE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO;QACH,QAAQ;QACR,aAAa;QACb,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,QAAQ,EAAE,GAAG,CAAC,QAAQ,IAAI,EAAE;QAC5B,cAAc;QACd,eAAe;QACf,mBAAmB;QACnB,QAAQ;QACR,QAAQ;KACX,CAAC;AACN,CAAC"}
+{"version":3,"file":"semantic.js","sourceRoot":"","sources":["../../src/model/semantic.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,oEAAoE;AACpE,gEAAgE;AAChE,yEAAyE;AACzE,gFAAgF;AAIhF,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAyBlD,oEAAoE;AACpE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG;IAC3B,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY;IACjD,wEAAwE;IACxE,sEAAsE;IACtE,iEAAiE;IACjE,0EAA0E;IAC1E,MAAM;IACN,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,UAAU;IAC3C,aAAa,EAAE,cAAc,EAAE,SAAS;IACxC,OAAO,EAAE,aAAa;IACtB,WAAW,EAAE,aAAa;IAC1B,MAAM,EAAE,WAAW,EAAE,SAAS;IAC9B,0EAA0E;IAC1E,2EAA2E;IAC3E,wDAAwD;IACxD,OAAO;CACD,CAAC;AAIX;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,SAA6B;IACtD,MAAM,IAAI,GAAG,CAAC,SAAS,IAAI,MAAM,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACzE,yEAAyE;IACzE,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,aAAa;QAAE,OAAO,WAAW,CAAC;IAClE,OAAQ,eAAqC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAqB,CAAC,CAAC,CAAC,MAAM,CAAC;AAClG,CAAC;AAwaD,4DAA4D;AAC5D,MAAM,UAAU,UAAU,CACtB,KAAgB,EAChB,OAWC;IAED,MAAM,QAAQ,GAAgC,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACpC,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;IACtB,CAAC;IACD,OAAO;QACH,QAAQ;QACR,YAAY,EAAE,OAAO,EAAE,YAAY;QACnC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,OAAO,EAAE,UAAU;QAC/B,kBAAkB,EAAE,OAAO,EAAE,kBAAkB;QAC/C,QAAQ,EAAE,OAAO,EAAE,QAAQ;QAC3B,UAAU,EAAE,OAAO,EAAE,UAAU;QAC/B,QAAQ,EAAE,OAAO,EAAE,QAAQ;QAC3B,WAAW,EAAE,OAAO,EAAE,WAAW;QACjC,YAAY,EAAE,OAAO,EAAE,YAAY;QACnC,OAAO,EAAE,SAAS;QAClB,YAAY,EAAE,OAAO,EAAE,YAAY;QACnC,mBAAmB,EAAE,OAAO,EAAE,mBAAmB;KACpD,CAAC;AACN,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,UAAU,CAAC,GAAiB;IACxC,yEAAyE;IACzE,kFAAkF;IAClF,sEAAsE;IACtE,MAAM,QAAQ,GAAG,IAAI,YAAY,EAAE,CAAC;IACpC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAClE,MAAM,aAAa,GAAG,GAAG,CAAC,aAAa,CAAC;IAExC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAyB,CAAC;IACxD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAyB,CAAC;IACzD,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACjC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClE,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;YAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACtE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAA8B,CAAC;IAClE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9E,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAChE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAChE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO;QACH,QAAQ;QACR,aAAa;QACb,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,QAAQ,EAAE,GAAG,CAAC,QAAQ,IAAI,EAAE;QAC5B,cAAc;QACd,eAAe;QACf,mBAAmB;QACnB,QAAQ;QACR,QAAQ;KACX,CAAC;AACN,CAAC"}

package/packages/tools/lib/model/settings-boundary.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"settings-boundary.d.ts","sourceRoot":"","sources":["../../src/model/settings-boundary.ts"],"names":[],"mappings":"AAuBA,qDAAqD;AACrD,MAAM,WAAW,sBAAsB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,uCAAuC;IACvC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;CACnB;AAkED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,sBAAsB,EAAE,CA0CzE;AAED,2DAA2D;AAC3D,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,SAAS,sBAAsB,EAAE,GAAG,MAAM,CAEtF"}
+{"version":3,"file":"settings-boundary.d.ts","sourceRoot":"","sources":["../../src/model/settings-boundary.ts"],"names":[],"mappings":"AAuBA,qDAAqD;AACrD,MAAM,WAAW,sBAAsB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,uCAAuC;IACvC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;CACnB;AAmED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,sBAAsB,EAAE,CA0CzE;AAED,2DAA2D;AAC3D,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,SAAS,sBAAsB,EAAE,GAAG,MAAM,CAEtF"}

package/packages/tools/lib/model/settings-boundary.js

@@ -25,11 +25,12 @@ import { parse as parseYaml } from 'yaml';
  * not supported" leaves them with a broken project and no next step.
  */
 const SEMANTIC_FIELDS = {
-    methodology: 'the `ProjectMethodBinding` in model/catalog/project.sysml, whose `selectedMethodology` is a typed SysML reference',
-    extends: 'a native `private import` of the package in model/catalog/project.sysml',
-    ontologies: 'a native `private import` of the ontology package in model/catalog/project.sysml',
-    modules: '`includedModule` on the methodology, or on the `ProjectMethodBinding` for project-specific additions',
-    optionalModules: '`includedModule` on the methodology that selects them',
+    methodology: 'the `ModelMethodBinding` in model/methodology/project.sysml, whose `selectedMethodology` is a typed SysML reference',
+    extends: 'a native `private import` of the package in model/methodology/project.sysml',
+    ontologies: 'a native `private import` of the ontology package in model/methodology/project.sysml',
+    modules: 'a `public import` of the package in the methodology\'s package, or in the package declaring the '
+        + '`ModelMethodBinding` for model-specific additions; a MEMO extension by its facade, `memo_extension_<name>`',
+    optionalModules: 'a `public import` of the package in the methodology\'s package',
     type: 'nothing — a package\'s authority now comes from the resolved root a file sits under, not from a declared kind',
     projectType: 'nothing — a project is what its SysML declares; the type field selected no content it could not select natively',
     usage: 'nothing — what a package supplies is what its SysML declares',
@@ -43,7 +44,7 @@ const SEMANTIC_FIELDS = {
     viewpoints: 'native `viewpoint def` / `view def` packages under model/catalog/viewpoints/',
     rules: 'native `constraint def` declarations, tailored through `RulePolicy`',
     workflows: '`MethodologyWorkflowStep` actions in the methodology',
-    firstRun: 'the template `memo init` scaffolds',
+    firstRun: 'the template `memo-architect init` scaffolds',
 };
 /** `sysmlDir` locates source; it is the one entry above that is still read. */
 const LOCATOR_FIELDS = new Set(['sysmlDir', 'entrypoint', 'include', 'name', 'version', 'description', 'license', 'tags']);
@@ -55,8 +56,8 @@ const RETIRED_FILES = {
     'memo.viewpoints.yml': 'native viewpoint/view packages under model/catalog/viewpoints/',
     'memo.rendering.yaml': '`LayerRendering` and `ExplorerClassification` usages in the ontology',
     'memo.rendering.yml': '`LayerRendering` and `ExplorerClassification` usages in the ontology',
-    'memo.config.yaml': 'model/catalog/project.sysml — native imports and a `ProjectMethodBinding`',
-    'memo.config.yml': 'model/catalog/project.sysml — native imports and a `ProjectMethodBinding`',
+    'memo.config.yaml': 'model/methodology/project.sysml — native imports and a `ModelMethodBinding`',
+    'memo.config.yml': 'model/methodology/project.sysml — native imports and a `ModelMethodBinding`',
 };
 /** YAML files that may exist as application settings and are checked field by field. */
 const CHECKED_FILES = ['memo.package.yaml', 'memo.package.yml', 'memo.tools.yaml', 'memo.architect.yaml'];

package/packages/tools/lib/model/settings-boundary.js.map

@@ -1 +1 @@
-{"version":3,"file":"settings-boundary.js","sourceRoot":"","sources":["../../src/model/settings-boundary.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,gFAAgF;AAChF,qDAAqD;AACrD,EAAE;AACF,6EAA6E;AAC7E,gFAAgF;AAChF,6EAA6E;AAC7E,qDAAqD;AACrD,EAAE;AACF,qEAAqE;AACrE,6EAA6E;AAC7E,+EAA+E;AAC/E,+EAA+E;AAC/E,6BAA6B;AAC7B,EAAE;AACF,+DAA+D;AAC/D,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAW1C;;;;GAIG;AACH,MAAM,eAAe,GAA2B;IAC5C,WAAW,EACP,mHAAmH;IACvH,OAAO,EACH,yEAAyE;IAC7E,UAAU,EACN,kFAAkF;IACtF,OAAO,EACH,sGAAsG;IAC1G,eAAe,EACX,uDAAuD;IAC3D,IAAI,EACA,+GAA+G;IACnH,WAAW,EACP,iHAAiH;IACrH,KAAK,EACD,8DAA8D;IAClE,QAAQ,EACJ,0FAA0F;IAC9F,KAAK,EACD,+CAA+C;IACnD,iBAAiB,EACb,wCAAwC;IAC5C,kBAAkB,EACd,yCAAyC;IAC7C,WAAW,EACP,yCAAyC;IAC7C,MAAM,EACF,yCAAyC;IAC7C,QAAQ,EACJ,iDAAiD;IACrD,UAAU,EACN,8EAA8E;IAClF,KAAK,EACD,qEAAqE;IACzE,SAAS,EACL,sDAAsD;IAC1D,QAAQ,EACJ,oCAAoC;CAC3C,CAAC;AAEF,+EAA+E;AAC/E,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;AAE3H,uEAAuE;AACvE,MAAM,aAAa,GAA2B;IAC1C,iBAAiB,EAAE,kEAAkE;IACrF,gBAAgB,EAAE,kEAAkE;IACpF,sBAAsB,EAAE,gEAAgE;IACxF,qBAAqB,EAAE,gEAAgE;IACvF,qBAAqB,EAAE,sEAAsE;IAC7F,oBAAoB,EAAE,sEAAsE;IAC5F,kBAAkB,EAAE,2EAA2E;IAC/F,iBAAiB,EAAE,2EAA2E;CACjG,CAAC;AAEF,wFAAwF;AACxF,MAAM,aAAa,GAAG,CAAC,mBAAmB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,qBAAqB,CAAC,CAAC;AAE1G;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAW;IAC3C,MAAM,UAAU,GAA6B,EAAE,CAAC;IAEhD,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,SAAS;QAChC,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,cAAc;YACrB,iBAAiB,EAAE,WAAW;YAC9B,OAAO,EACH,GAAG,IAAI,yFAAyF;kBAC9F,GAAG,WAAW,wEAAwE;SAC/F,CAAC,CAAC;IACP,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,SAAS;QAChC,IAAI,MAA2C,CAAC;QAChD,IAAI,CAAC;YACD,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAA4B,CAAC;QAC/E,CAAC;QAAC,MAAM,CAAC;YACL,SAAS,CAAG,6DAA6D;QAC7E,CAAC;QACD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,SAAS;QACpD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAS;YACxC,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,CAAC,WAAW;gBAAE,SAAS;YAC3B,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,IAAI;gBACV,KAAK;gBACL,iBAAiB,EAAE,WAAW;gBAC9B,OAAO,EACH,GAAG,QAAQ,CAAC,IAAI,CAAC,eAAe,KAAK,wDAAwD;sBAC3F,0BAA0B,WAAW,kDAAkD;aAChG,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,gBAAgB,CAAC,UAA6C;IAC1E,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACvE,CAAC"}
+{"version":3,"file":"settings-boundary.js","sourceRoot":"","sources":["../../src/model/settings-boundary.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,gFAAgF;AAChF,qDAAqD;AACrD,EAAE;AACF,6EAA6E;AAC7E,gFAAgF;AAChF,6EAA6E;AAC7E,qDAAqD;AACrD,EAAE;AACF,qEAAqE;AACrE,6EAA6E;AAC7E,+EAA+E;AAC/E,+EAA+E;AAC/E,6BAA6B;AAC7B,EAAE;AACF,+DAA+D;AAC/D,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAW1C;;;;GAIG;AACH,MAAM,eAAe,GAA2B;IAC5C,WAAW,EACP,qHAAqH;IACzH,OAAO,EACH,6EAA6E;IACjF,UAAU,EACN,sFAAsF;IAC1F,OAAO,EACH,kGAAkG;UAChG,4GAA4G;IAClH,eAAe,EACX,gEAAgE;IACpE,IAAI,EACA,+GAA+G;IACnH,WAAW,EACP,iHAAiH;IACrH,KAAK,EACD,8DAA8D;IAClE,QAAQ,EACJ,0FAA0F;IAC9F,KAAK,EACD,+CAA+C;IACnD,iBAAiB,EACb,wCAAwC;IAC5C,kBAAkB,EACd,yCAAyC;IAC7C,WAAW,EACP,yCAAyC;IAC7C,MAAM,EACF,yCAAyC;IAC7C,QAAQ,EACJ,iDAAiD;IACrD,UAAU,EACN,8EAA8E;IAClF,KAAK,EACD,qEAAqE;IACzE,SAAS,EACL,sDAAsD;IAC1D,QAAQ,EACJ,8CAA8C;CACrD,CAAC;AAEF,+EAA+E;AAC/E,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;AAE3H,uEAAuE;AACvE,MAAM,aAAa,GAA2B;IAC1C,iBAAiB,EAAE,kEAAkE;IACrF,gBAAgB,EAAE,kEAAkE;IACpF,sBAAsB,EAAE,gEAAgE;IACxF,qBAAqB,EAAE,gEAAgE;IACvF,qBAAqB,EAAE,sEAAsE;IAC7F,oBAAoB,EAAE,sEAAsE;IAC5F,kBAAkB,EAAE,6EAA6E;IACjG,iBAAiB,EAAE,6EAA6E;CACnG,CAAC;AAEF,wFAAwF;AACxF,MAAM,aAAa,GAAG,CAAC,mBAAmB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,qBAAqB,CAAC,CAAC;AAE1G;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAW;IAC3C,MAAM,UAAU,GAA6B,EAAE,CAAC;IAEhD,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,SAAS;QAChC,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,cAAc;YACrB,iBAAiB,EAAE,WAAW;YAC9B,OAAO,EACH,GAAG,IAAI,yFAAyF;kBAC9F,GAAG,WAAW,wEAAwE;SAC/F,CAAC,CAAC;IACP,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,SAAS;QAChC,IAAI,MAA2C,CAAC;QAChD,IAAI,CAAC;YACD,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAA4B,CAAC;QAC/E,CAAC;QAAC,MAAM,CAAC;YACL,SAAS,CAAG,6DAA6D;QAC7E,CAAC;QACD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,SAAS;QACpD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAS;YACxC,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,CAAC,WAAW;gBAAE,SAAS;YAC3B,UAAU,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,IAAI;gBACV,KAAK;gBACL,iBAAiB,EAAE,WAAW;gBAC9B,OAAO,EACH,GAAG,QAAQ,CAAC,IAAI,CAAC,eAAe,KAAK,wDAAwD;sBAC3F,0BAA0B,WAAW,kDAAkD;aAChG,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,gBAAgB,CAAC,UAA6C;IAC1E,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACvE,CAAC"}

package/packages/tools/lib/model/short-id.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"short-id.d.ts","sourceRoot":"","sources":["../../src/model/short-id.ts"],"names":[],"mappings":"AAiGA;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAKjD;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAErD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,wBAAwB,CACpC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAAE,EACpB,KAAK,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC7D,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CA+BrB;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAIpF"}
+{"version":3,"file":"short-id.d.ts","sourceRoot":"","sources":["../../src/model/short-id.ts"],"names":[],"mappings":"AAqGA;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAKjD;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAErD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,wBAAwB,CACpC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAAE,EACpB,KAAK,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC7D,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CA+BrB;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAIpF"}

package/packages/tools/lib/model/short-id.js

@@ -14,6 +14,10 @@
  * Auto-generation handles everything else.
  */
 const KIND_PREFIX_OVERRIDES = {
+    // The method binding was ProjectMethodBinding until 0.14.0 and minted PRJ.
+    // Renaming the kind must not re-mint every model's binding (short ids are
+    // never reassigned), so ModelMethodBinding keeps the family it had.
+    ModelMethodBinding: 'PRJ',
     // Risk
     Hazard: 'HZD',
     HazardousEvent: 'HZD-EVT',