@memoarchitect/tools 0.6.6 → 0.7.2

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

@@ -0,0 +1,105 @@
+// AST → canonical SysML IR → Memo projection.  The builder remains the
+// projection implementation while the IR owns ingestion completeness.
+import { resolve } from 'node:path';
+import { pathToFileURL } from 'node:url';
+import { sysmlIdentity, } from '../sysml-ir/index.js';
+export const SYSML_IR_VERSION = '2.0.0';
+/** Build the canonical record stream before exposing Memo's legacy projection. */
+export function lowerAstToSysmlIr(documents, model, projectRoot = process.cwd()) {
+    const elements = [];
+    const diagnostics = [];
+    const projected = new Set();
+    for (const document of documents) {
+        // Langium's EmptyFileSystem assigns ephemeral document URIs. Identity
+        // must instead name the authored file, identically in-process and over
+        // sysmlc's pipe.
+        const uri = pathToFileURL(resolve(projectRoot, document.filePath)).href;
+        const visitPackage = (pkg, path, packageName) => {
+            for (const [index, member] of (pkg.members ?? []).entries()) {
+                const memberPath = `${path}/members[${index}]`;
+                if (member.$type === 'PackageDeclaration') {
+                    visitPackage(member, memberPath, packageName ? `${packageName}::${member.name}` : member.name);
+                    continue;
+                }
+                // Imports, metadata and constraints are declarations too. They
+                // cannot disappear merely because the current Memo projection
+                // has no shape for them.
+                const name = member.name ?? member.$type;
+                const range = sourceRange(document, member);
+                const identity = sysmlIdentity(uri, memberPath, member.$type);
+                const candidate = Object.entries(model.elements).find(([, element]) => element.file === document.filePath && element.id === name && element.package === (packageName || undefined));
+                if (candidate && !projected.has(candidate[0])) {
+                    projected.add(candidate[0]);
+                    const mapped = {
+                        kind: 'mapped', identity, source: range,
+                        standardProperties: declaredProperties(member), providerProperties: {}, effectiveTypes: [], memoElementId: candidate[0],
+                    };
+                    elements.push(mapped);
+                }
+                else {
+                    const unmappable = `Memo has no projection for ${member.$type} '${name}'`;
+                    const generic = {
+                        kind: 'generic', identity, source: range,
+                        standardProperties: declaredProperties(member), providerProperties: {}, effectiveTypes: [], unmappable,
+                    };
+                    elements.push(generic);
+                    diagnostics.push({ domain: 'memo-ingest', severity: 'warning', code: 'unmapped-sysml-element', message: unmappable, elementId: identity.id, file: document.filePath, range });
+                }
+            }
+        };
+        for (const [index, member] of (document.document.parseResult.value.members ?? []).entries()) {
+            // The package's own name is where the qualified name starts. Passing
+            // '' here matched every element against `package === undefined`, so
+            // nothing inside a top-level package ever projected: conservation
+            // still held — every declaration was reported — but as a file full
+            // of unmapped generics rather than the elements MEMO does model.
+            if (member.$type === 'PackageDeclaration')
+                visitPackage(member, `members[${index}]`, member.name);
+            else {
+                // A top-level non-package declaration is rare but valid input;
+                // preserve it with the same guarantee.
+                const range = sourceRange(document, member);
+                const identity = sysmlIdentity(uri, `members[${index}]`, member.$type);
+                const message = `Memo has no projection for ${member.$type} '${member.name ?? member.$type}'`;
+                elements.push({ kind: 'generic', identity, source: range, standardProperties: declaredProperties(member), providerProperties: {}, effectiveTypes: [], unmappable: message });
+                diagnostics.push({ domain: 'memo-ingest', severity: 'warning', code: 'unmapped-sysml-element', message, elementId: identity.id, file: document.filePath, range });
+            }
+        }
+    }
+    return { irVersion: SYSML_IR_VERSION, elements, diagnostics };
+}
+function declaredProperties(node) {
+    const properties = {};
+    for (const [key, value] of Object.entries(node)) {
+        if (!key.startsWith('$') && typeof value !== 'function' && value !== undefined)
+            properties[key] = jsonProperty(value);
+    }
+    return properties;
+}
+/** AST nodes contain parent links; retain their declared shape without leaking a cycle into IR JSON. */
+function jsonProperty(value) {
+    if (value === null || ['string', 'number', 'boolean'].includes(typeof value))
+        return value;
+    if (Array.isArray(value))
+        return value.map(jsonProperty);
+    if (typeof value === 'object') {
+        const result = {};
+        for (const [key, child] of Object.entries(value)) {
+            if (!key.startsWith('$') && typeof child !== 'function' && child !== undefined)
+                result[key] = jsonProperty(child);
+        }
+        return result;
+    }
+    return String(value);
+}
+function sourceRange(document, node) {
+    const offset = node.$cstNode?.range?.start ?? 0;
+    const position = document.document.textDocument.positionAt(offset);
+    const start = { line: position.line + 1, ...(Number.isFinite(position.character) ? { column: position.character + 1 } : {}) };
+    return { file: document.filePath, start };
+}
+/** Memo is now explicitly a projection of IR, rather than its ingestion boundary. */
+export function projectSysmlIrToMemo(ir, model) {
+    return { ...model, sysmlIr: ir };
+}
+//# sourceMappingURL=sysml-ir.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"sysml-ir.js","sourceRoot":"","sources":["../../src/model/sysml-ir.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,sEAAsE;AACtE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EACH,aAAa,GAMhB,MAAM,sBAAsB,CAAC;AAI9B,MAAM,CAAC,MAAM,gBAAgB,GAAG,OAAO,CAAC;AAExC,kFAAkF;AAClF,MAAM,UAAU,iBAAiB,CAAC,SAA2B,EAAE,KAAmB,EAAE,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE;IAC3G,MAAM,QAAQ,GAA6B,EAAE,CAAC;IAC9C,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IAEpC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC/B,sEAAsE;QACtE,uEAAuE;QACvE,iBAAiB;QACjB,MAAM,GAAG,GAAG,aAAa,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QACxE,MAAM,YAAY,GAAG,CAAC,GAAQ,EAAE,IAAY,EAAE,WAAmB,EAAQ,EAAE;YACvE,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC1D,MAAM,UAAU,GAAG,GAAG,IAAI,YAAY,KAAK,GAAG,CAAC;gBAC/C,IAAI,MAAM,CAAC,KAAK,KAAK,oBAAoB,EAAE,CAAC;oBACxC,YAAY,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBAC/F,SAAS;gBACb,CAAC;gBACD,+DAA+D;gBAC/D,8DAA8D;gBAC9D,yBAAyB;gBACzB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC;gBACzC,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;gBAC5C,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,EAAE,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC9D,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAClE,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,QAAQ,IAAI,OAAO,CAAC,EAAE,KAAK,IAAI,IAAI,OAAO,CAAC,OAAO,KAAK,CAAC,WAAW,IAAI,SAAS,CAAC,CAAC,CAAC;gBACjH,IAAI,SAAS,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5C,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC5B,MAAM,MAAM,GAAyB;wBACjC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK;wBACvC,kBAAkB,EAAE,kBAAkB,CAAC,MAAM,CAAC,EAAE,kBAAkB,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;qBAC1H,CAAC;oBACF,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC1B,CAAC;qBAAM,CAAC;oBACJ,MAAM,UAAU,GAAG,8BAA8B,MAAM,CAAC,KAAK,KAAK,IAAI,GAAG,CAAC;oBAC1E,MAAM,OAAO,GAA0B;wBACnC,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK;wBACxC,kBAAkB,EAAE,kBAAkB,CAAC,MAAM,CAAC,EAAE,kBAAkB,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,UAAU;qBACzG,CAAC;oBACF,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACvB,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;gBAClL,CAAC;YACL,CAAC;QACL,CAAC,CAAC;QACF,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;YAC1F,qEAAqE;YACrE,oEAAoE;YACpE,kEAAkE;YAClE,mEAAmE;YACnE,iEAAiE;YACjE,IAAI,MAAM,CAAC,KAAK,KAAK,oBAAoB;gBAAE,YAAY,CAAC,MAAM,EAAE,WAAW,KAAK,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;iBAC7F,CAAC;gBACF,+DAA+D;gBAC/D,uCAAuC;gBACvC,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;gBAC5C,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,EAAE,WAAW,KAAK,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;gBACvE,MAAM,OAAO,GAAG,8BAA8B,MAAM,CAAC,KAAK,KAAM,MAAc,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC;gBACvG,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,kBAAkB,EAAE,kBAAkB,CAAC,MAAM,CAAC,EAAE,kBAAkB,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;gBAC7K,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;YACtK,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AAClE,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAS;IACjC,MAAM,UAAU,GAA4B,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,SAAS;YAAE,UAAU,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAC1H,CAAC;IACD,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,wGAAwG;AACxG,SAAS,YAAY,CAAC,KAAU;IAC5B,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3F,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,SAAS;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACtH,CAAC;QACD,OAAO,MAAM,CAAC;IAClB,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,WAAW,CAAC,QAAwB,EAAE,IAAS;IACpD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,IAAI,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAC9H,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC9C,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,oBAAoB,CAAC,EAAW,EAAE,KAAmB;IACjE,OAAO,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AACrC,CAAC"}

package/packages/tools/lib/model/view-deriver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"view-deriver.d.ts","sourceRoot":"","sources":["../../src/model/view-deriver.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AACtF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAkCvD;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACjC,IAAI,EAAE,WAAW,EACjB,KAAK,EAAE,SAAS,EAChB,YAAY,CAAC,EAAE,YAAY,GAC5B,MAAM,EAAE,CAoBV;AAsCD,MAAM,WAAW,YAAY;IACzB,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,QAAQ,EAAE,UAAU,EAAE,CAAC;CAC1B;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,EAAE,YAAY,CAAC,EAAE,YAAY,GAAG,YAAY,CA4F5F"}
+{"version":3,"file":"view-deriver.d.ts","sourceRoot":"","sources":["../../src/model/view-deriver.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AACtF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAkCvD;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACjC,IAAI,EAAE,WAAW,EACjB,KAAK,EAAE,SAAS,EAChB,YAAY,CAAC,EAAE,YAAY,GAC5B,MAAM,EAAE,CA2BV;AAgDD,MAAM,WAAW,YAAY;IACzB,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,QAAQ,EAAE,UAAU,EAAE,CAAC;CAC1B;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,EAAE,YAAY,CAAC,EAAE,YAAY,GAAG,YAAY,CAgI5F"}

package/packages/tools/lib/model/view-deriver.js

@@ -12,7 +12,7 @@
 // already consumes for config-defined viewpoints, so SysML-modelled views
 // appear in the Diagrams browser with an auto-populated element selection.
 // ─────────────────────────────────────────────────────────────────────────────
-import { resolveViewKind } from './view-kinds.js';
+import { resolveViewKind, VIEW_KIND_SHORT_ID_PREFIX } from './view-kinds.js';
 /** Kinds whose instances are treated as model-defined views. */
 function isViewElement(el, kindRegistry) {
     if (el.kind === 'Viewpoint' || el.kind === 'ViewSelectionQuery' || el.kind === 'ViewInclusionRule')
@@ -57,6 +57,7 @@ function splitList(raw) {
  */
 export function resolveViewElementIds(view, model, kindRegistry) {
     const kindList = splitList(view.attributes['selectionQuery.includeElementKinds']);
+    const explicitIdList = splitList(view.attributes['selectionQuery.includeElementIds']);
     const layerList = splitList(view.attributes['selectionQuery.includeLayers']);
     const kinds = expandKinds(kindList, kindRegistry);
     const layers = new Set(layerList);
@@ -72,6 +73,16 @@ export function resolveViewElementIds(view, model, kindRegistry) {
             ids.add(el.id);
         }
     }
+    for (const reference of explicitIdList) {
+        const direct = model.elements.get(reference);
+        if (direct) {
+            ids.add(direct.id);
+            continue;
+        }
+        const authored = [...model.elements.values()].find(element => element.attributes.id === reference);
+        if (authored)
+            ids.add(authored.id);
+    }
     for (const rel of model.incoming.get(view.id) ?? []) {
         if (rel.type.toLowerCase() === 'includedin' && rel.sourceId !== view.id)
             ids.add(rel.sourceId);
@@ -105,10 +116,19 @@ function resolveViewpoints(view, model) {
             // that bind to it — a viewpoint states which layers it frames even
             // before any view exists.
             declaredLayers: splitList(authored?.attributes['includedLayers'] ?? ''),
+            explorerLane: authored?.attributes['explorerLane'],
+            explorerOrder: Number.isFinite(Number(authored?.attributes['explorerOrder']))
+                ? Number(authored?.attributes['explorerOrder'])
+                : undefined,
             ref,
         };
     });
 }
+/** Scenario links are authored on the view; they are never inferred from content. */
+function resolveScenarioIds(view, model) {
+    return splitList(view.attributes['scenario'])
+        .map(reference => model.elements.get(reference)?.id ?? reference);
+}
 /**
  * Derive viewpoint and diagram DTOs from view elements modelled in SysML.
  * Views are grouped by their `viewpointDefinition` binding. The binding and
@@ -127,10 +147,15 @@ export function deriveModelViews(model, kindRegistry) {
             ? el.package.split('::').some(segment => /(?:^|_)samples(?:_|$)/.test(segment))
             : false;
         const authoredViewpoints = resolveViewpoints(el, model);
+        // A renderer sample without a binding remains in Model > Samples, but
+        // an authored ISO 42010 binding is always authoritative. In
+        // particular, a real project may legitimately contain `samples` in
+        // its package name and still organize its views by viewpoint.
+        const usesRendererSampleFallback = isRendererSample && authoredViewpoints.length === 0;
         // A view with no viewpoint binding is genuinely unassigned. Do not
         // misclassify it as a "Document View" merely because its binding was
         // absent or could not be resolved.
-        const vpIds = isRendererSample
+        const vpIds = usesRendererSampleFallback
             ? ['__model']
             : authoredViewpoints.length > 0
                 ? authoredViewpoints.map(vp => vp.id)
@@ -139,11 +164,13 @@ export function deriveModelViews(model, kindRegistry) {
         for (const authoredViewpoint of authoredViewpoints.length > 0
             ? authoredViewpoints
             : [{ id: '__unassigned', label: 'Unassigned Views', ref: '__unassigned' }]) {
-            if (!isRendererSample && !viewpointsById.has(authoredViewpoint.id)) {
+            if (!usesRendererSampleFallback && !viewpointsById.has(authoredViewpoint.id)) {
                 viewpointsById.set(authoredViewpoint.id, {
                     id: authoredViewpoint.id,
                     label: authoredViewpoint.label,
                     group: authoredViewpoint.group,
+                    explorerLane: authoredViewpoint.explorerLane,
+                    explorerOrder: authoredViewpoint.explorerOrder,
                     declaredLayers: authoredViewpoint.declaredLayers?.length
                         ? authoredViewpoint.declaredLayers : undefined,
                     visibleKinds: [],
@@ -172,17 +199,24 @@ export function deriveModelViews(model, kindRegistry) {
                     vp.visibleRelationships.push(r);
             }
         }
+        // A view usage inherits the attribute values its `view def` binds, and
+        // SysIDE forbids restating them on the usage, so the definition is the
+        // only place they can live. The usage's own values still win where it
+        // declares any.
+        const inherited = kindRegistry?.getViewDefaults(el.kind) ?? {};
+        const attr = (name) => el.attributes[name] || inherited[name];
         // Presentation hints declared on the view — the renderer stays dumb and
         // just honors them
         const properties = {};
         for (const hint of ['layoutHint', 'styleHint', 'presentationKind']) {
-            if (el.attributes[hint])
-                properties[hint] = el.attributes[hint];
+            const value = attr(hint);
+            if (value)
+                properties[hint] = value;
         }
         // Every view resolves to exactly one of the 8 spec view kinds: an
         // explicit `viewKind` declaration wins, else the legacy diagramType
         // key maps; document-backed views (no diagramType) become browser.
-        const viewKind = resolveViewKind(el.attributes['viewKind'], el.attributes['diagramType']);
+        const viewKind = resolveViewKind(attr('viewKind'), el.attributes['diagramType']);
         diagrams.push({
             id: isRendererSample
                 ? `diag-sample-${el.id}`
@@ -195,14 +229,34 @@ export function deriveModelViews(model, kindRegistry) {
             viewpointId: vpId,
             viewpointIds: vpIds,
             group: el.attributes['group'],
+            ...(resolveScenarioIds(el, model).length > 0 ? { scenarioIds: resolveScenarioIds(el, model) } : {}),
             auto: true,
             description: el.attributes['shortDescription'] || el.doc,
             ...(Object.keys(properties).length > 0 ? { properties } : {}),
             elementIds: resolveViewElementIds(el, model, kindRegistry),
             relationshipTypes: queryRels,
+            // This view's own admitted kinds, not the viewpoint's. A viewpoint
+            // accumulates the kinds of every view under it, so an IBD sharing the
+            // logical viewpoint with a state-machine view would otherwise offer
+            // StateMachine and Transition as shapes to draw on an IBD.
+            ...(queryKinds.length > 0
+                ? { elementKinds: [...expandKinds(queryKinds, kindRegistry)] }
+                : {}),
             sourceFile: el.file,
         });
     }
+    // Views use their standard SysML view-kind family, rather than the generic
+    // MemoDiagramView element family: GEN-1, ACT-1, STM-1, and so on.
+    const diagramsByPrefix = new Map();
+    for (const diagram of diagrams) {
+        const prefix = VIEW_KIND_SHORT_ID_PREFIX[diagram.viewKind] ?? 'BRW';
+        diagramsByPrefix.set(prefix, [...(diagramsByPrefix.get(prefix) ?? []), diagram]);
+    }
+    for (const [prefix, views] of diagramsByPrefix) {
+        views.sort((a, b) => a.id.localeCompare(b.id)).forEach((diagram, index) => {
+            diagram.shortId = `${prefix}-${index + 1}`;
+        });
+    }
     return { viewpoints: [...viewpointsById.values()], diagrams };
 }
 //# sourceMappingURL=view-deriver.js.map

package/packages/tools/lib/model/view-deriver.js.map

@@ -1 +1 @@
-{"version":3,"file":"view-deriver.js","sourceRoot":"","sources":["../../src/model/view-deriver.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,0EAA0E;AAC1E,EAAE;AACF,8EAA8E;AAC9E,6EAA6E;AAC7E,gFAAgF;AAChF,2EAA2E;AAC3E,0EAA0E;AAC1E,EAAE;AACF,2EAA2E;AAC3E,0EAA0E;AAC1E,2EAA2E;AAC3E,gFAAgF;AAIhF,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,gEAAgE;AAChE,SAAS,aAAa,CAAC,EAAe,EAAE,YAA2B;IAC/D,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW,IAAI,EAAE,CAAC,IAAI,KAAK,oBAAoB,IAAI,EAAE,CAAC,IAAI,KAAK,mBAAmB;QAAE,OAAO,KAAK,CAAC;IACjH,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5C,uEAAuE;IACvE,qEAAqE;IACrE,sDAAsD;IACtD,MAAM,KAAK,GAAG,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,KAAK,KAAK,YAAY,CAAC;IAC5E,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,sEAAsE;AACtE,SAAS,WAAW,CAAC,KAAuB,EAAE,YAA2B;IACrE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC9B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QACvC,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,SAAS,IAAI,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED,SAAS,SAAS,CAAC,GAAuB;IACtC,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IACpB,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;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACjC,IAAiB,EACjB,KAAgB,EAChB,YAA2B;IAE3B,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,oCAAoC,CAAC,CAAC,CAAC;IAClF,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,8BAA8B,CAAC,CAAC,CAAC;IAE7E,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;IAElC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,IAAI,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;gBAAE,SAAS;YAChC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,SAAS;YACpD,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC3E,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACnB,CAAC;IACL,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;QAClD,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,YAAY,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnG,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;AACpB,CAAC;AAED,4EAA4E;AAC5E,SAAS,cAAc,CAAC,GAAW;IAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;IACxD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,2EAA2E;AAC3E,SAAS,iBAAiB,CACtB,IAAiB,EACjB,KAAgB;IAEhB,wEAAwE;IACxE,uEAAuE;IACvE,0EAA0E;IAC1E,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,qBAAqB,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IACnF,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IAEpB,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QAC5B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzC,OAAO;YACH,EAAE,EAAE,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG;YACrC,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC;mBAC7B,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC;mBAC5B,GAAG,cAAc,CAAC,GAAG,CAAC,YAAY;YACzC,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC;YACpC,mEAAmE;YACnE,iEAAiE;YACjE,mEAAmE;YACnE,0BAA0B;YAC1B,cAAc,EAAE,SAAS,CAAC,QAAQ,EAAE,UAAU,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC;YACvE,GAAG;SACN,CAAC;IACN,CAAC,CAAC,CAAC;AACP,CAAC;AAOD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAgB,EAAE,YAA2B;IAC1E,MAAM,cAAc,GAAG,IAAI,GAAG,EAAwB,CAAC;IACvD,MAAM,QAAQ,GAAiB,EAAE,CAAC;IAElC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,YAAY,CAAC;YAAE,SAAS;QAE/C,qEAAqE;QACrE,wEAAwE;QACxE,MAAM,gBAAgB,GAAG,EAAE,CAAC,OAAO;YAC/B,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC/E,CAAC,CAAC,KAAK,CAAC;QAEZ,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACxD,mEAAmE;QACnE,qEAAqE;QACrE,mCAAmC;QACnC,MAAM,KAAK,GAAG,gBAAgB;YAC1B,CAAC,CAAC,CAAC,SAAS,CAAC;YACb,CAAC,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC;gBAC3B,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBACrC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,KAAK,MAAM,iBAAiB,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC;YACzD,CAAC,CAAC,kBAAkB;YACpB,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,kBAAkB,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;YAC7E,IAAI,CAAC,gBAAgB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,CAAC;gBACjE,cAAc,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,EAAE;oBACrC,EAAE,EAAE,iBAAiB,CAAC,EAAE;oBACxB,KAAK,EAAE,iBAAiB,CAAC,KAAK;oBAC9B,KAAK,EAAE,iBAAiB,CAAC,KAAK;oBAC9B,cAAc,EAAE,iBAAiB,CAAC,cAAc,EAAE,MAAM;wBACpD,CAAC,CAAC,iBAAiB,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;oBAClD,YAAY,EAAE,EAAE;oBAChB,oBAAoB,EAAE,EAAE;oBACxB,aAAa,EAAE,EAAE;iBACpB,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAsB,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QAEpG,MAAM,UAAU,GAAG,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,oCAAoC,CAAC,CAAC,CAAC;QAClF,MAAM,SAAS,GAAG,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,yCAAyC,CAAC,CAAC,CAAC;QACtF,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACnB,iEAAiE;YACjE,oDAAoD;YACpD,iDAAiD;YACjD,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,CAAC;gBACpD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9D,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,8BAA8B,CAAC,CAAC,EAAE,CAAC;gBACvE,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChE,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBACxB,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9E,CAAC;QACL,CAAC;QAED,wEAAwE;QACxE,mBAAmB;QACnB,MAAM,UAAU,GAA2B,EAAE,CAAC;QAC9C,KAAK,MAAM,IAAI,IAAI,CAAC,YAAY,EAAE,WAAW,EAAE,kBAAkB,CAAU,EAAE,CAAC;YAC1E,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACpE,CAAC;QAED,kEAAkE;QAClE,oEAAoE;QACpE,mEAAmE;QACnE,MAAM,QAAQ,GAAG,eAAe,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;QAE1F,QAAQ,CAAC,IAAI,CAAC;YACV,EAAE,EAAE,gBAAgB;gBAChB,CAAC,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE;gBACxB,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE;YAClC,iEAAiE;YACjE,yDAAyD;YACzD,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI;YAChE,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK;YAClD,QAAQ;YACR,WAAW,EAAE,IAAI;YACjB,YAAY,EAAE,KAAK;YACnB,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;YAC7B,IAAI,EAAE,IAAI;YACV,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC,GAAG;YACxD,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,UAAU,EAAE,qBAAqB,CAAC,EAAE,EAAE,KAAK,EAAE,YAAY,CAAC;YAC1D,iBAAiB,EAAE,SAAS;YAC5B,UAAU,EAAE,EAAE,CAAC,IAAI;SACtB,CAAC,CAAC;IACP,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;AAClE,CAAC"}
+{"version":3,"file":"view-deriver.js","sourceRoot":"","sources":["../../src/model/view-deriver.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,0EAA0E;AAC1E,EAAE;AACF,8EAA8E;AAC9E,6EAA6E;AAC7E,gFAAgF;AAChF,2EAA2E;AAC3E,0EAA0E;AAC1E,EAAE;AACF,2EAA2E;AAC3E,0EAA0E;AAC1E,2EAA2E;AAC3E,gFAAgF;AAIhF,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AAE7E,gEAAgE;AAChE,SAAS,aAAa,CAAC,EAAe,EAAE,YAA2B;IAC/D,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW,IAAI,EAAE,CAAC,IAAI,KAAK,oBAAoB,IAAI,EAAE,CAAC,IAAI,KAAK,mBAAmB;QAAE,OAAO,KAAK,CAAC;IACjH,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5C,uEAAuE;IACvE,qEAAqE;IACrE,sDAAsD;IACtD,MAAM,KAAK,GAAG,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,KAAK,KAAK,YAAY,CAAC;IAC5E,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,sEAAsE;AACtE,SAAS,WAAW,CAAC,KAAuB,EAAE,YAA2B;IACrE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC9B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QACvC,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,SAAS,IAAI,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED,SAAS,SAAS,CAAC,GAAuB;IACtC,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IACpB,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;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACjC,IAAiB,EACjB,KAAgB,EAChB,YAA2B;IAE3B,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,oCAAoC,CAAC,CAAC,CAAC;IAClF,MAAM,cAAc,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,kCAAkC,CAAC,CAAC,CAAC;IACtF,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,8BAA8B,CAAC,CAAC,CAAC;IAE7E,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;IAElC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,IAAI,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;gBAAE,SAAS;YAChC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,SAAS;YACpD,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC3E,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACnB,CAAC;IACL,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,cAAc,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC7C,IAAI,MAAM,EAAE,CAAC;YAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QAC7C,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC;QACnG,IAAI,QAAQ;YAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACvC,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;QAClD,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,YAAY,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnG,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;AACpB,CAAC;AAED,4EAA4E;AAC5E,SAAS,cAAc,CAAC,GAAW;IAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;IACxD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,2EAA2E;AAC3E,SAAS,iBAAiB,CACtB,IAAiB,EACjB,KAAgB;IAEhB,wEAAwE;IACxE,uEAAuE;IACvE,0EAA0E;IAC1E,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,qBAAqB,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IACnF,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IAEpB,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QAC5B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzC,OAAO;YACH,EAAE,EAAE,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,GAAG;YACrC,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC;mBAC7B,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC;mBAC5B,GAAG,cAAc,CAAC,GAAG,CAAC,YAAY;YACzC,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,OAAO,CAAC;YACpC,mEAAmE;YACnE,iEAAiE;YACjE,mEAAmE;YACnE,0BAA0B;YAC1B,cAAc,EAAE,SAAS,CAAC,QAAQ,EAAE,UAAU,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC;YACvE,YAAY,EAAE,QAAQ,EAAE,UAAU,CAAC,cAAc,CAAC;YAClD,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;gBACzE,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;gBAC/C,CAAC,CAAC,SAAS;YACf,GAAG;SACN,CAAC;IACN,CAAC,CAAC,CAAC;AACP,CAAC;AAED,qFAAqF;AACrF,SAAS,kBAAkB,CAAC,IAAiB,EAAE,KAAgB;IAC3D,OAAO,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;SACxC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,SAAS,CAAC,CAAC;AAC1E,CAAC;AAOD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAgB,EAAE,YAA2B;IAC1E,MAAM,cAAc,GAAG,IAAI,GAAG,EAAwB,CAAC;IACvD,MAAM,QAAQ,GAAiB,EAAE,CAAC;IAElC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,YAAY,CAAC;YAAE,SAAS;QAE/C,qEAAqE;QACrE,wEAAwE;QACxE,MAAM,gBAAgB,GAAG,EAAE,CAAC,OAAO;YAC/B,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC/E,CAAC,CAAC,KAAK,CAAC;QAEZ,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACxD,sEAAsE;QACtE,4DAA4D;QAC5D,mEAAmE;QACnE,8DAA8D;QAC9D,MAAM,0BAA0B,GAAG,gBAAgB,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,CAAC;QACvF,mEAAmE;QACnE,qEAAqE;QACrE,mCAAmC;QACnC,MAAM,KAAK,GAAG,0BAA0B;YACpC,CAAC,CAAC,CAAC,SAAS,CAAC;YACb,CAAC,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC;gBAC3B,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBACrC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,KAAK,MAAM,iBAAiB,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC;YACzD,CAAC,CAAC,kBAAkB;YACpB,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,kBAAkB,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;YAC7E,IAAI,CAAC,0BAA0B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC3E,cAAc,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,EAAE;oBACrC,EAAE,EAAE,iBAAiB,CAAC,EAAE;oBACxB,KAAK,EAAE,iBAAiB,CAAC,KAAK;oBAC9B,KAAK,EAAE,iBAAiB,CAAC,KAAK;oBAC9B,YAAY,EAAE,iBAAiB,CAAC,YAAY;oBAC5C,aAAa,EAAE,iBAAiB,CAAC,aAAa;oBAC9C,cAAc,EAAE,iBAAiB,CAAC,cAAc,EAAE,MAAM;wBACpD,CAAC,CAAC,iBAAiB,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;oBAClD,YAAY,EAAE,EAAE;oBAChB,oBAAoB,EAAE,EAAE;oBACxB,aAAa,EAAE,EAAE;iBACpB,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QACD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAsB,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QAEpG,MAAM,UAAU,GAAG,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,oCAAoC,CAAC,CAAC,CAAC;QAClF,MAAM,SAAS,GAAG,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,yCAAyC,CAAC,CAAC,CAAC;QACtF,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACnB,iEAAiE;YACjE,oDAAoD;YACpD,iDAAiD;YACjD,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,CAAC;gBACpD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9D,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,EAAE,CAAC,UAAU,CAAC,8BAA8B,CAAC,CAAC,EAAE,CAAC;gBACvE,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChE,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;gBACxB,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC;oBAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9E,CAAC;QACL,CAAC;QAED,uEAAuE;QACvE,uEAAuE;QACvE,sEAAsE;QACtE,gBAAgB;QAChB,MAAM,SAAS,GAAG,YAAY,EAAE,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC/D,MAAM,IAAI,GAAG,CAAC,IAAY,EAAsB,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC;QAE1F,wEAAwE;QACxE,mBAAmB;QACnB,MAAM,UAAU,GAA2B,EAAE,CAAC;QAC9C,KAAK,MAAM,IAAI,IAAI,CAAC,YAAY,EAAE,WAAW,EAAE,kBAAkB,CAAU,EAAE,CAAC;YAC1E,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,IAAI,KAAK;gBAAE,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;QACxC,CAAC;QAED,kEAAkE;QAClE,oEAAoE;QACpE,mEAAmE;QACnE,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;QAEjF,QAAQ,CAAC,IAAI,CAAC;YACV,EAAE,EAAE,gBAAgB;gBAChB,CAAC,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE;gBACxB,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE;YAClC,iEAAiE;YACjE,yDAAyD;YACzD,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI;YAChE,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,KAAK;YAClD,QAAQ;YACR,WAAW,EAAE,IAAI;YACjB,YAAY,EAAE,KAAK;YACnB,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;YAC7B,GAAG,CAAC,kBAAkB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,kBAAkB,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnG,IAAI,EAAE,IAAI;YACV,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC,GAAG;YACxD,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7D,UAAU,EAAE,qBAAqB,CAAC,EAAE,EAAE,KAAK,EAAE,YAAY,CAAC;YAC1D,iBAAiB,EAAE,SAAS;YAC5B,mEAAmE;YACnE,sEAAsE;YACtE,oEAAoE;YACpE,2DAA2D;YAC3D,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;gBACrB,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,WAAW,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,EAAE;gBAC9D,CAAC,CAAC,EAAE,CAAC;YACT,UAAU,EAAE,EAAE,CAAC,IAAI;SACtB,CAAC,CAAC;IACP,CAAC;IAED,2EAA2E;IAC3E,kEAAkE;IAClE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAwB,CAAC;IACzD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,yBAAyB,CAAC,OAAO,CAAC,QAAkD,CAAC,IAAI,KAAK,CAAC;QAC9G,gBAAgB,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IACrF,CAAC;IACD,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,gBAAgB,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;YACtE,OAAO,CAAC,OAAO,GAAG,GAAG,MAAM,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC/C,CAAC,CAAC,CAAC;IACP,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;AAClE,CAAC"}

package/packages/tools/lib/model/view-kinds.d.ts

@@ -1,6 +1,8 @@
 /** The eight standard SysML v2 view kinds. */
 export declare const VIEW_KINDS: readonly ["general", "interconnection", "actionflow", "statetransition", "sequence", "grid", "browser", "geometry"];
 export type ViewKind = (typeof VIEW_KINDS)[number];
+/** Compact identifier prefix used by views of each standard SysML view kind. */
+export declare const VIEW_KIND_SHORT_ID_PREFIX: Record<ViewKind, string>;
 export declare function isViewKind(value: string): value is ViewKind;
 /**
  * Map every legacy `diagramType` key to its spec view kind.

package/packages/tools/lib/model/view-kinds.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"view-kinds.d.ts","sourceRoot":"","sources":["../../src/model/view-kinds.ts"],"names":[],"mappings":"AAYA,8CAA8C;AAC9C,eAAO,MAAM,UAAU,qHASb,CAAC;AAEX,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAInD,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,QAAQ,CAE3D;AAED;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAkB9D,CAAC;AAEF;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,CAI/E;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAC3B,gBAAgB,EAAE,MAAM,GAAG,SAAS,EACpC,WAAW,EAAE,MAAM,GAAG,SAAS,GAChC,QAAQ,CAKV"}
+{"version":3,"file":"view-kinds.d.ts","sourceRoot":"","sources":["../../src/model/view-kinds.ts"],"names":[],"mappings":"AAYA,8CAA8C;AAC9C,eAAO,MAAM,UAAU,qHASb,CAAC;AAEX,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD,gFAAgF;AAChF,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAS9D,CAAC;AAIF,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,QAAQ,CAE3D;AAED;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAkB9D,CAAC;AAEF;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,CAI/E;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAC3B,gBAAgB,EAAE,MAAM,GAAG,SAAS,EACpC,WAAW,EAAE,MAAM,GAAG,SAAS,GAChC,QAAQ,CAKV"}

package/packages/tools/lib/model/view-kinds.js

@@ -20,6 +20,17 @@ export const VIEW_KINDS = [
     'browser',
     'geometry',
 ];
+/** Compact identifier prefix used by views of each standard SysML view kind. */
+export const VIEW_KIND_SHORT_ID_PREFIX = {
+    general: 'GEN',
+    interconnection: 'INT',
+    actionflow: 'ACT',
+    statetransition: 'STM',
+    sequence: 'SEQ',
+    grid: 'GRID',
+    browser: 'BRW',
+    geometry: 'GEO',
+};
 const VIEW_KIND_SET = new Set(VIEW_KINDS);
 export function isViewKind(value) {
     return VIEW_KIND_SET.has(value);

package/packages/tools/lib/model/view-kinds.js.map

@@ -1 +1 @@
-{"version":3,"file":"view-kinds.js","sourceRoot":"","sources":["../../src/model/view-kinds.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,+EAA+E;AAC/E,yEAAyE;AACzE,yDAAyD;AACzD,EAAE;AACF,8EAA8E;AAC9E,8EAA8E;AAC9E,0BAA0B;AAC1B,gFAAgF;AAEhF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,UAAU,GAAG;IACtB,SAAS;IACT,iBAAiB;IACjB,YAAY;IACZ,iBAAiB;IACjB,UAAU;IACV,MAAM;IACN,SAAS;IACT,UAAU;CACJ,CAAC;AAIX,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;AAE/D,MAAM,UAAU,UAAU,CAAC,KAAa;IACpC,OAAO,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAA6B;IAC/D,GAAG,EAAE,SAAS;IACd,GAAG,EAAE,SAAS;IACd,GAAG,EAAE,SAAS;IACd,GAAG,EAAE,SAAS;IACd,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,SAAS;IACf,cAAc,EAAE,SAAS;IACzB,GAAG,EAAE,iBAAiB;IACtB,GAAG,EAAE,iBAAiB;IACtB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,iBAAiB;IACtB,GAAG,EAAE,UAAU;IACf,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;CAChB,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAuB;IACrD,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC3B,MAAM,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAG,CAAC,IAAI,EAAE,CAAC;IAClD,OAAO,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC3B,gBAAoC,EACpC,WAA+B;IAE/B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;IACrD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,IAAI,WAAW;QAAE,OAAO,yBAAyB,CAAC,WAAW,CAAC,IAAI,SAAS,CAAC;IAC5E,OAAO,SAAS,CAAC;AACrB,CAAC"}
+{"version":3,"file":"view-kinds.js","sourceRoot":"","sources":["../../src/model/view-kinds.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,+EAA+E;AAC/E,yEAAyE;AACzE,yDAAyD;AACzD,EAAE;AACF,8EAA8E;AAC9E,8EAA8E;AAC9E,0BAA0B;AAC1B,gFAAgF;AAEhF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,UAAU,GAAG;IACtB,SAAS;IACT,iBAAiB;IACjB,YAAY;IACZ,iBAAiB;IACjB,UAAU;IACV,MAAM;IACN,SAAS;IACT,UAAU;CACJ,CAAC;AAIX,gFAAgF;AAChF,MAAM,CAAC,MAAM,yBAAyB,GAA6B;IAC/D,OAAO,EAAE,KAAK;IACd,eAAe,EAAE,KAAK;IACtB,UAAU,EAAE,KAAK;IACjB,eAAe,EAAE,KAAK;IACtB,QAAQ,EAAE,KAAK;IACf,IAAI,EAAE,MAAM;IACZ,OAAO,EAAE,KAAK;IACd,QAAQ,EAAE,KAAK;CAClB,CAAC;AAEF,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;AAE/D,MAAM,UAAU,UAAU,CAAC,KAAa;IACpC,OAAO,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAA6B;IAC/D,GAAG,EAAE,SAAS;IACd,GAAG,EAAE,SAAS;IACd,GAAG,EAAE,SAAS;IACd,GAAG,EAAE,SAAS;IACd,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,SAAS;IACf,cAAc,EAAE,SAAS;IACzB,GAAG,EAAE,iBAAiB;IACtB,GAAG,EAAE,iBAAiB;IACtB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,iBAAiB;IACtB,GAAG,EAAE,UAAU;IACf,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;CAChB,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAuB;IACrD,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC3B,MAAM,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAG,CAAC,IAAI,EAAE,CAAC;IAClD,OAAO,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC3B,gBAAoC,EACpC,WAA+B;IAE/B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;IACrD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,IAAI,WAAW;QAAE,OAAO,yBAAyB,CAAC,WAAW,CAAC,IAAI,SAAS,CAAC;IAC5E,OAAO,SAAS,CAAC;AACrB,CAAC"}

package/packages/tools/lib/ontology/owl-exporter.d.ts

@@ -38,6 +38,6 @@ export interface OntologyConfig {
         license?: string;
     };
 }
-export declare function exportToOwlTurtle(config: OntologyConfig, namespace?: string): string;
-export declare function exportToOwlXml(config: OntologyConfig, namespace?: string): string;
+export declare function exportToOwlTurtle(ontology: OntologyConfig, namespace?: string): string;
+export declare function exportToOwlXml(ontology: OntologyConfig, namespace?: string): string;
 //# sourceMappingURL=owl-exporter.d.ts.map

package/packages/tools/lib/ontology/owl-exporter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"owl-exporter.d.ts","sourceRoot":"","sources":["../../src/ontology/owl-exporter.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,cAAc;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,kBAAkB,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACpE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;QAClB,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,cAAc,EAAE,MAAM,CAAC;QACvB,iBAAiB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KAC9C,CAAC,CAAC;IACH,iBAAiB,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACnF,YAAY,EAAE;QACV,EAAE,EAAE,MAAM,CAAC;QACX,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,MAAM,CAAC;QACf,IAAI,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,YAAY,CAAC,EAAE,MAAM,CAAC;YAAC,GAAG,CAAC,EAAE,MAAM,CAAC;YAAC,GAAG,CAAC,EAAE,MAAM,CAAC;YAAC,SAAS,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC;QAC9F,QAAQ,EAAE,MAAM,CAAC;KACpB,EAAE,CAAC;IACJ,gBAAgB,CAAC,EAAE;QACf,EAAE,EAAE,MAAM,CAAC;QACX,OAAO,EAAE,MAAM,CAAC;QAChB,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,OAAO,CAAC,EAAE,MAAM,CAAC;KACpB,CAAC;CACL;AAED,wBAAgB,iBAAiB,CAC7B,MAAM,EAAE,cAAc,EACtB,SAAS,GAAE,MAAoD,GAChE,MAAM,CAyCR;AAED,wBAAgB,cAAc,CAC1B,MAAM,EAAE,cAAc,EACtB,SAAS,GAAE,MAAoD,GAChE,MAAM,CA6BR"}
+{"version":3,"file":"owl-exporter.d.ts","sourceRoot":"","sources":["../../src/ontology/owl-exporter.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,cAAc;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,kBAAkB,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACpE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;QAClB,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,cAAc,EAAE,MAAM,CAAC;QACvB,iBAAiB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KAC9C,CAAC,CAAC;IACH,iBAAiB,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACnF,YAAY,EAAE;QACV,EAAE,EAAE,MAAM,CAAC;QACX,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,MAAM,CAAC;QACf,IAAI,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,YAAY,CAAC,EAAE,MAAM,CAAC;YAAC,GAAG,CAAC,EAAE,MAAM,CAAC;YAAC,GAAG,CAAC,EAAE,MAAM,CAAC;YAAC,SAAS,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC;QAC9F,QAAQ,EAAE,MAAM,CAAC;KACpB,EAAE,CAAC;IACJ,gBAAgB,CAAC,EAAE;QACf,EAAE,EAAE,MAAM,CAAC;QACX,OAAO,EAAE,MAAM,CAAC;QAChB,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,OAAO,CAAC,EAAE,MAAM,CAAC;KACpB,CAAC;CACL;AAED,wBAAgB,iBAAiB,CAC7B,QAAQ,EAAE,cAAc,EACxB,SAAS,GAAE,MAAoD,GAChE,MAAM,CAyCR;AAED,wBAAgB,cAAc,CAC1B,QAAQ,EAAE,cAAc,EACxB,SAAS,GAAE,MAAoD,GAChE,MAAM,CA6BR"}

package/packages/tools/lib/ontology/owl-exporter.js

@@ -1,4 +1,4 @@
-export function exportToOwlTurtle(config, namespace = 'https://sysand.dev/ontology/memo/medical#') {
+export function exportToOwlTurtle(ontology, namespace = 'https://sysand.dev/ontology/memo/medical#') {
     const lines = [];
     const prefix = 'memo';
     lines.push(`@prefix ${prefix}: <${namespace}> .`);
@@ -7,19 +7,19 @@ export function exportToOwlTurtle(config, namespace = 'https://sysand.dev/ontolo
     lines.push('@prefix dcterms: <http://purl.org/dc/terms/> .');
     lines.push('');
     lines.push(`<${namespace.replace(/#$/, '')}> a owl:Ontology ;`);
-    if (config.ontologyMetadata) {
-        lines.push(`    dcterms:title "${escape(config.ontologyMetadata.description)}" ;`);
-        lines.push(`    owl:versionInfo "${config.ontologyMetadata.version}" ;`);
-        if (config.ontologyMetadata.author) {
-            lines.push(`    dcterms:creator "${escape(config.ontologyMetadata.author)}" ;`);
+    if (ontology.ontologyMetadata) {
+        lines.push(`    dcterms:title "${escape(ontology.ontologyMetadata.description)}" ;`);
+        lines.push(`    owl:versionInfo "${ontology.ontologyMetadata.version}" ;`);
+        if (ontology.ontologyMetadata.author) {
+            lines.push(`    dcterms:creator "${escape(ontology.ontologyMetadata.author)}" ;`);
         }
     }
     else {
-        lines.push(`    dcterms:title "${escape(config.projectName)}" ;`);
+        lines.push(`    dcterms:title "${escape(ontology.projectName)}" ;`);
     }
     lines.push('    .');
     lines.push('');
-    for (const [kindName, kindDef] of Object.entries(config.kinds ?? {})) {
+    for (const [kindName, kindDef] of Object.entries(ontology.kinds ?? {})) {
         lines.push(`${prefix}:${kindName} a owl:Class ;`);
         lines.push(`    rdfs:label "${escape(kindDef.label)}" ;`);
         if (kindDef.layer) {
@@ -28,7 +28,7 @@ export function exportToOwlTurtle(config, namespace = 'https://sysand.dev/ontolo
         lines.push(`    ${prefix}:sysmlConstruct "${kindDef.sysmlConstruct}" .`);
         lines.push('');
     }
-    for (const rel of (config.relationshipTypes ?? [])) {
+    for (const rel of (ontology.relationshipTypes ?? [])) {
         lines.push(`${prefix}:${rel.name} a owl:ObjectProperty ;`);
         lines.push(`    rdfs:label "${escape(rel.label)}" ;`);
         lines.push(`    ${prefix}:layer "${rel.layer}" .`);
@@ -36,7 +36,7 @@ export function exportToOwlTurtle(config, namespace = 'https://sysand.dev/ontolo
     }
     return lines.join('\n');
 }
-export function exportToOwlXml(config, namespace = 'https://sysand.dev/ontology/memo/medical#') {
+export function exportToOwlXml(ontology, namespace = 'https://sysand.dev/ontology/memo/medical#') {
     const lines = [];
     const ns = namespace.replace(/#$/, '');
     lines.push('<?xml version="1.0" encoding="UTF-8"?>');
@@ -47,12 +47,12 @@ export function exportToOwlXml(config, namespace = 'https://sysand.dev/ontology/
     lines.push('');
     lines.push(`  <owl:Ontology rdf:about="${ns}"/>`);
     lines.push('');
-    for (const [kindName, kindDef] of Object.entries(config.kinds ?? {})) {
+    for (const [kindName, kindDef] of Object.entries(ontology.kinds ?? {})) {
         lines.push(`  <owl:Class rdf:about="${namespace}${kindName}">`);
         lines.push(`    <rdfs:label>${escapeXml(kindDef.label)}</rdfs:label>`);
         lines.push('  </owl:Class>');
     }
-    for (const rel of (config.relationshipTypes ?? [])) {
+    for (const rel of (ontology.relationshipTypes ?? [])) {
         lines.push(`  <owl:ObjectProperty rdf:about="${namespace}${rel.name}">`);
         lines.push(`    <rdfs:label>${escapeXml(rel.label)}</rdfs:label>`);
         lines.push('  </owl:ObjectProperty>');

package/packages/tools/lib/ontology/owl-exporter.js.map

@@ -1 +1 @@
-{"version":3,"file":"owl-exporter.js","sourceRoot":"","sources":["../../src/ontology/owl-exporter.ts"],"names":[],"mappings":"AA0BA,MAAM,UAAU,iBAAiB,CAC7B,MAAsB,EACtB,YAAoB,2CAA2C;IAE/D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,MAAM,CAAC;IAEtB,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,MAAM,SAAS,KAAK,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;IAC9D,KAAK,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC;IACtE,KAAK,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC;IAChE,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,sBAAsB,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACnF,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,gBAAgB,CAAC,OAAO,KAAK,CAAC,CAAC;QACzE,IAAI,MAAM,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpF,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,KAAK,CAAC,IAAI,CAAC,sBAAsB,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACnE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,QAAQ,gBAAgB,CAAC,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1D,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,WAAW,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC;QAC3D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,oBAAoB,OAAO,CAAC,cAAc,KAAK,CAAC,CAAC;QACzE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,iBAAiB,IAAI,EAAE,CAAC,EAAE,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,GAAG,CAAC,IAAI,yBAAyB,CAAC,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,WAAW,GAAG,CAAC,KAAK,KAAK,CAAC,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,cAAc,CAC1B,MAAsB,EACtB,YAAoB,2CAA2C;IAE/D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAEvC,KAAK,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;IAC/E,KAAK,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;IAClE,KAAK,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC;IAC1E,KAAK,CAAC,IAAI,CAAC,wBAAwB,SAAS,IAAI,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,8BAA8B,EAAE,KAAK,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACnE,KAAK,CAAC,IAAI,CAAC,2BAA2B,SAAS,GAAG,QAAQ,IAAI,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,mBAAmB,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACvE,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACjC,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,iBAAiB,IAAI,EAAE,CAAC,EAAE,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,oCAAoC,SAAS,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC;QACzE,KAAK,CAAC,IAAI,CAAC,mBAAmB,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACnE,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAEzB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,MAAM,CAAC,CAAS;IACrB,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,SAAS,CAAC,CAAS;IACxB,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAChF,CAAC"}
+{"version":3,"file":"owl-exporter.js","sourceRoot":"","sources":["../../src/ontology/owl-exporter.ts"],"names":[],"mappings":"AA0BA,MAAM,UAAU,iBAAiB,CAC7B,QAAwB,EACxB,YAAoB,2CAA2C;IAE/D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,MAAM,CAAC;IAEtB,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,MAAM,SAAS,KAAK,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAC;IAC9D,KAAK,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC;IACtE,KAAK,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC;IAChE,IAAI,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,sBAAsB,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACrF,KAAK,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,gBAAgB,CAAC,OAAO,KAAK,CAAC,CAAC;QAC3E,IAAI,QAAQ,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACtF,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,KAAK,CAAC,IAAI,CAAC,sBAAsB,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,QAAQ,gBAAgB,CAAC,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1D,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,WAAW,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC;QAC3D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,oBAAoB,OAAO,CAAC,cAAc,KAAK,CAAC,CAAC;QACzE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,iBAAiB,IAAI,EAAE,CAAC,EAAE,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,IAAI,GAAG,CAAC,IAAI,yBAAyB,CAAC,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,WAAW,GAAG,CAAC,KAAK,KAAK,CAAC,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,cAAc,CAC1B,QAAwB,EACxB,YAAoB,2CAA2C;IAE/D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAEvC,KAAK,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;IAC/E,KAAK,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;IAClE,KAAK,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC;IAC1E,KAAK,CAAC,IAAI,CAAC,wBAAwB,SAAS,IAAI,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,8BAA8B,EAAE,KAAK,CAAC,CAAC;IAClD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,2BAA2B,SAAS,GAAG,QAAQ,IAAI,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,mBAAmB,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACvE,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACjC,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,iBAAiB,IAAI,EAAE,CAAC,EAAE,CAAC;QACnD,KAAK,CAAC,IAAI,CAAC,oCAAoC,SAAS,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC;QACzE,KAAK,CAAC,IAAI,CAAC,mBAAmB,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACnE,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAEzB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,SAAS,MAAM,CAAC,CAAS;IACrB,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,SAAS,CAAC,CAAS;IACxB,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAChF,CAAC"}

package/packages/tools/lib/operations/ai-authoring.d.ts

@@ -0,0 +1,24 @@
+import type { Diagnostic } from '../toolchain/diagnostic.js';
+import { type GenerateResult, type LLMProvider } from '../llm/index.js';
+export declare const MAX_SYSML_GENERATION_ATTEMPTS = 3;
+export interface AiChangeRecord {
+    guidanceVersion: string;
+    compiler: {
+        id: string;
+        version?: string;
+    };
+    libraries: Record<string, string>;
+}
+export interface ValidatedGenerateResult extends GenerateResult {
+    initialSysml: string;
+    attempts: number;
+    diagnostics: Diagnostic[];
+    changeRecord: AiChangeRecord;
+}
+export declare function validateGeneratedSysml(projectRoot: string, sysml: string): Promise<Diagnostic[]>;
+export declare function generateValidatedSysml(options: {
+    projectRoot: string;
+    description: string;
+    provider?: LLMProvider;
+}): Promise<ValidatedGenerateResult>;
+//# sourceMappingURL=ai-authoring.d.ts.map

package/packages/tools/lib/operations/ai-authoring.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ai-authoring.d.ts","sourceRoot":"","sources":["../../src/operations/ai-authoring.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAG7D,OAAO,EAAgE,KAAK,cAAc,EAAE,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAGtI,eAAO,MAAM,6BAA6B,IAAI,CAAC;AAE/C,MAAM,WAAW,cAAc;IAC3B,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACrC;AAED,MAAM,WAAW,uBAAwB,SAAQ,cAAc;IAC3D,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,EAAE,cAAc,CAAC;CAChC;AAED,wBAAsB,sBAAsB,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAwBtG;AAED,wBAAsB,sBAAsB,CAAC,OAAO,EAAE;IAClD,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,WAAW,CAAC;CAC1B,GAAG,OAAO,CAAC,uBAAuB,CAAC,CA+BnC"}

package/packages/tools/lib/operations/ai-authoring.js

@@ -0,0 +1,77 @@
+// ─── AI authoring operation ─────────────────────────────────────────────────
+// The server and CLI-facing surfaces delegate here. Validation improves a draft;
+// it never decides whether source may be saved (§1.1).
+import { mkdtemp, rm, writeFile } from 'node:fs/promises';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { findMemoManifests } from '../model/manifest.js';
+import { loadOntologyRegistries } from '../model/ontology-loader.js';
+import { EMPTY_ONTOLOGY_VIEW, ontologyViewFrom } from '../model/kind-registry.js';
+import { loadProjectConfig } from '../toolchain/lowering.js';
+import { mergeDiagnostics, probeToolchain, runLowering, runValidator } from '../toolchain/operations.js';
+import { validateModel } from '../validator/rule-engine.js';
+import { dtoToModel } from '../model/semantic.js';
+import { createProvider, generateSysml, repairSysml, resolveLLMConfig } from '../llm/index.js';
+import { SYSML_MEMO_GUIDANCE_VERSION } from '../llm/sysml-guidance.js';
+export const MAX_SYSML_GENERATION_ATTEMPTS = 3;
+export async function validateGeneratedSysml(projectRoot, sysml) {
+    const config = loadProjectConfig(projectRoot);
+    const scratch = await mkdtemp(join(tmpdir(), 'memo-ai-sysml-'));
+    const candidatePath = join(scratch, 'generated.sysml');
+    await writeFile(candidatePath, sysml, 'utf8');
+    try {
+        const options = { config, projectDir: projectRoot, files: [candidatePath] };
+        const validator = await runValidator(options);
+        const lowering = await runLowering(options);
+        const diagnostics = mergeDiagnostics(validator.diagnostics, lowering.diagnostics);
+        if (lowering.accepted) {
+            const model = dtoToModel(lowering.ir.model);
+            diagnostics.push(...validateModel(model).violations.map(violation => ({
+                domain: 'memo-methodology',
+                provider: 'memo', severity: violation.severity === 'error' ? 'warning' : violation.severity,
+                code: violation.ruleId,
+                message: violation.description,
+                file: violation.provenance?.declaration.sourceUri,
+            })));
+        }
+        return diagnostics;
+    }
+    finally {
+        await rm(scratch, { recursive: true, force: true });
+    }
+}
+export async function generateValidatedSysml(options) {
+    const config = loadProjectConfig(options.projectRoot);
+    const provider = options.provider ?? (() => {
+        const llm = resolveLLMConfig(options.projectRoot);
+        if (!llm)
+            throw new Error('No LLM provider configured. Set ANTHROPIC_API_KEY or OPENAI_API_KEY.');
+        return createProvider(llm);
+    })();
+    let ontology = EMPTY_ONTOLOGY_VIEW;
+    try {
+        const loaded = await loadOntologyRegistries(options.projectRoot);
+        ontology = ontologyViewFrom(loaded.registries.kindRegistry, loaded.registries.relationshipRegistry);
+    }
+    catch {
+        // Generation remains available without installed MEMO content. The
+        // diagnostics will make any resulting methodology gap visible.
+    }
+    let candidate = await generateSysml(options.description, ontology, provider);
+    const initialSysml = candidate.sysml;
+    let diagnostics = await validateGeneratedSysml(options.projectRoot, candidate.sysml);
+    let attempts = 1;
+    while (diagnostics.length > 0 && attempts < MAX_SYSML_GENERATION_ATTEMPTS) {
+        candidate = await repairSysml(options.description, candidate.sysml, diagnostics, ontology, provider);
+        diagnostics = await validateGeneratedSysml(options.projectRoot, candidate.sysml);
+        attempts += 1;
+    }
+    const probe = probeToolchain({ config, projectDir: options.projectRoot });
+    const selected = probe.roles.find(role => role.role === 'validator');
+    const libraries = Object.assign({}, ...findMemoManifests(options.projectRoot).map(found => found.manifest.packages));
+    return { ...candidate, initialSysml, attempts, diagnostics, changeRecord: {
+            guidanceVersion: SYSML_MEMO_GUIDANCE_VERSION,
+            compiler: { id: selected.provider, version: selected.availability.version }, libraries,
+        } };
+}
+//# sourceMappingURL=ai-authoring.js.map

package/packages/tools/lib/operations/ai-authoring.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ai-authoring.js","sourceRoot":"","sources":["../../src/operations/ai-authoring.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,iFAAiF;AACjF,uDAAuD;AAEvD,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAEzG,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,WAAW,EAAE,gBAAgB,EAAyC,MAAM,iBAAiB,CAAC;AACtI,OAAO,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AAEvE,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC;AAe/C,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,WAAmB,EAAE,KAAa;IAC3E,MAAM,MAAM,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAChE,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;IACvD,MAAM,SAAS,CAAC,aAAa,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC9C,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC;QAC5E,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC,CAAC;QAC5C,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,CAAC,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;QAClF,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACpB,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YAC5C,WAAW,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;gBAClE,MAAM,EAAE,kBAA2B;gBACnC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,SAAkB,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ;gBACpG,IAAI,EAAE,SAAS,CAAC,MAAM;gBACtB,OAAO,EAAE,SAAS,CAAC,WAAW;gBAC9B,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,WAAW,CAAC,SAAS;aACpD,CAAC,CAAC,CAAC,CAAC;QACT,CAAC;QACD,OAAO,WAAW,CAAC;IACvB,CAAC;YAAS,CAAC;QACP,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,OAI5C;IACG,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,CAAC,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,gBAAgB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAClD,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;QAClG,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC,CAAC,EAAE,CAAC;IACL,IAAI,QAAQ,GAAG,mBAAmB,CAAC;IACnC,IAAI,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACjE,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,UAAU,CAAC,YAAY,EAAE,MAAM,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC;IACxG,CAAC;IAAC,MAAM,CAAC;QACL,mEAAmE;QACnE,+DAA+D;IACnE,CAAC;IACD,IAAI,SAAS,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC7E,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC;IACrC,IAAI,WAAW,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IACrF,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,GAAG,6BAA6B,EAAE,CAAC;QACxE,SAAS,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACrG,WAAW,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;QACjF,QAAQ,IAAI,CAAC,CAAC;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAAE,CAAC;IACtE,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,iBAAiB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrH,OAAO,EAAE,GAAG,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE;YACtE,eAAe,EAAE,2BAA2B;YAC5C,QAAQ,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,SAAS;SACzF,EAAE,CAAC;AACR,CAAC"}

package/packages/tools/lib/operations/authoring.d.ts

@@ -0,0 +1,40 @@
+import type { MEMOConfig } from '../model/config.js';
+import { type IrIdentityIndex } from '../model/ir-identity.js';
+import type { Diagnostic } from '../toolchain/diagnostic.js';
+import type { MemoIr } from '../toolchain/protocol.js';
+import { type ElementWriteRequest, type ElementWriteResult } from '../server/persistor.js';
+export interface AuthoringContext {
+    projectDir: string;
+    /** Project settings; loaded from the project when the caller has none. */
+    config?: MEMOConfig;
+    /** Identity index of the revision the caller's request was built against. */
+    irIndex?: IrIdentityIndex;
+}
+/** What a recompile produced, in the shape every write-back returns it. */
+export interface RecompiledRevision {
+    ir: MemoIr;
+    index: IrIdentityIndex;
+    diagnostics: Diagnostic[];
+    /** The provider that answered, so the caller can report which one ran. */
+    provider: string;
+}
+/**
+ * Recompile the project through the selected lowering provider.
+ *
+ * Exported on its own because "what does the model look like now" is a question
+ * the CLI asks too, not only the thing that happens after a write.
+ */
+export declare function recompileProject(context: AuthoringContext): Promise<RecompiledRevision>;
+export interface ElementWriteBackResult extends ElementWriteResult {
+    /** The revision the write produced, absent when nothing was written. */
+    revision?: RecompiledRevision;
+}
+/**
+ * Write one element and recompile.
+ *
+ * A failed write does not recompile: there is nothing new to compile, and
+ * running the provider anyway would charge every rejected edit the cost of a
+ * full lowering.
+ */
+export declare function writeElement(context: AuthoringContext, element: ElementWriteRequest): Promise<ElementWriteBackResult>;
+//# sourceMappingURL=authoring.d.ts.map