@memoarchitect/tools 0.4.4

package/packages/tools/lib/__tests__/toolchain.test.js

@@ -0,0 +1,94 @@
+import { chmodSync, existsSync, mkdtempSync, rmSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { afterEach, describe, expect, it } from 'vitest';
+import { buildCompilerInvocation, buildPackagerInvocation, compileWithConfiguredTool, packageWithConfiguredTool, } from '../model/toolchain.js';
+const tempDirs = [];
+afterEach(() => {
+    for (const dir of tempDirs.splice(0))
+        rmSync(dir, { recursive: true, force: true });
+});
+function config(toolchain) {
+    return { projectName: 'test', projectType: 'device', toolchain };
+}
+describe('toolchain provider configuration', () => {
+    it('preserves internal compiler and packager defaults', () => {
+        expect(buildCompilerInvocation(config(), '/project')).toBeUndefined();
+        expect(buildPackagerInvocation(config(), '/project', '/project/model.kpar')).toBeUndefined();
+    });
+    it('builds a configured Syside compiler invocation', () => {
+        expect(buildCompilerInvocation(config({
+            compiler: 'syside',
+            syside: {
+                executable: './bin/syside',
+                configFile: './config/syside.toml',
+                warningsAsErrors: true,
+            },
+        }), '/project')).toEqual({
+            command: '/project/bin/syside',
+            args: [
+                'check', '--colour', 'no', '--diagnose', 'all',
+                '--config', '/project/config/syside.toml',
+                '--warnings-as-errors', '/project',
+            ],
+            provider: 'syside',
+        });
+    });
+    it('passes configured diagnostic scope and resolved ontology includes to Syside', () => {
+        expect(buildCompilerInvocation(config({
+            compiler: 'syside',
+            syside: { diagnose: 'none' },
+        }), '/project', ['/content/src', '/content/src'])).toMatchObject({
+            args: [
+                'check', '--colour', 'no', '--diagnose', 'none',
+                '--warnings-as-errors', '--include', '/content/src', '/project',
+            ],
+        });
+    });
+    it('allows strict warning handling to be disabled explicitly', () => {
+        expect(buildCompilerInvocation(config({
+            compiler: 'syside',
+            syside: { warningsAsErrors: false },
+        }), '/project')).toMatchObject({
+            args: ['check', '--colour', 'no', '--diagnose', 'all', '/project'],
+        });
+    });
+    it('builds a configured SysAnd packager invocation', () => {
+        expect(buildPackagerInvocation(config({
+            packager: 'sysand',
+            sysand: { executable: 'sysand-custom', configFile: 'sysand.toml' },
+        }), '/project', '/project/model.kpar')).toEqual({
+            command: 'sysand-custom',
+            args: ['--config-file', '/project/sysand.toml', 'build', '/project/model.kpar'],
+            provider: 'sysand',
+        });
+    });
+    it('rejects unsupported role/provider combinations', () => {
+        expect(() => buildCompilerInvocation(config({ compiler: 'sysand' }), '/project'))
+            .toThrow('Choose "internal" or "syside"');
+        expect(() => buildPackagerInvocation(config({ packager: 'syside' }), '/project', '/project/model.kpar'))
+            .toThrow('Choose "internal" or "sysand"');
+    });
+    it.skipIf(process.platform === 'win32')('executes configured compiler and packager binaries', () => {
+        const project = mkdtempSync(join(tmpdir(), 'memo-toolchain-'));
+        tempDirs.push(project);
+        const compiler = join(project, 'compiler');
+        const packager = join(project, 'packager');
+        const compilerMarker = join(project, 'compiler-ran');
+        const output = join(project, 'model.kpar');
+        writeFileSync(compiler, `#!/bin/sh\ntouch "${compilerMarker}"\n`);
+        writeFileSync(packager, `#!/bin/sh\ntouch "$4"\n`);
+        chmodSync(compiler, 0o755);
+        chmodSync(packager, 0o755);
+        expect(compileWithConfiguredTool(config({
+            compiler: 'syside',
+            syside: { executable: compiler },
+        }), project)).toBe('syside');
+        expect(existsSync(compilerMarker)).toBe(true);
+        expect(packageWithConfiguredTool(config({
+            packager: 'sysand',
+            sysand: { executable: packager, configFile: 'sysand.toml' },
+        }), project, output)).toBe('sysand');
+    });
+});
+//# sourceMappingURL=toolchain.test.js.map

package/packages/tools/lib/__tests__/toolchain.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"toolchain.test.js","sourceRoot":"","sources":["../../src/__tests__/toolchain.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACpF,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAEzD,OAAO,EACH,uBAAuB,EACvB,uBAAuB,EACvB,yBAAyB,EACzB,yBAAyB,GAC5B,MAAM,uBAAuB,CAAC;AAE/B,MAAM,QAAQ,GAAa,EAAE,CAAC;AAE9B,SAAS,CAAC,GAAG,EAAE;IACX,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAAE,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACxF,CAAC,CAAC,CAAC;AAEH,SAAS,MAAM,CAAC,SAAmC;IAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACrE,CAAC;AAED,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,uBAAuB,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACtE,MAAM,CAAC,uBAAuB,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,qBAAqB,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,uBAAuB,CAAC,MAAM,CAAC;YAClC,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE;gBACJ,UAAU,EAAE,cAAc;gBAC1B,UAAU,EAAE,sBAAsB;gBAClC,gBAAgB,EAAE,IAAI;aACzB;SACJ,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;YACrB,OAAO,EAAE,qBAAqB;YAC9B,IAAI,EAAE;gBACF,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK;gBAC9C,UAAU,EAAE,6BAA6B;gBACzC,sBAAsB,EAAE,UAAU;aACrC;YACD,QAAQ,EAAE,QAAQ;SACrB,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACnF,MAAM,CAAC,uBAAuB,CAAC,MAAM,CAAC;YAClC,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE;SAC/B,CAAC,EAAE,UAAU,EAAE,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAC7D,IAAI,EAAE;gBACF,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM;gBAC/C,sBAAsB,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU;aAClE;SACJ,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,uBAAuB,CAAC,MAAM,CAAC;YAClC,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE;SACtC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC;YAC3B,IAAI,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,CAAC;SACrE,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,uBAAuB,CAAC,MAAM,CAAC;YAClC,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,EAAE,UAAU,EAAE,eAAe,EAAE,UAAU,EAAE,aAAa,EAAE;SACrE,CAAC,EAAE,UAAU,EAAE,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5C,OAAO,EAAE,eAAe;YACxB,IAAI,EAAE,CAAC,eAAe,EAAE,sBAAsB,EAAE,OAAO,EAAE,qBAAqB,CAAC;YAC/E,QAAQ,EAAE,QAAQ;SACrB,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAS,CAAC,EAAE,UAAU,CAAC,CAAC;aACnF,OAAO,CAAC,+BAA+B,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAS,CAAC,EAAE,UAAU,EAAE,qBAAqB,CAAC,CAAC;aAC1G,OAAO,CAAC,+BAA+B,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC/F,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC,CAAC;QAC/D,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC3C,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QAC3C,aAAa,CAAC,QAAQ,EAAE,qBAAqB,cAAc,KAAK,CAAC,CAAC;QAClE,aAAa,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAC;QACnD,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC3B,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAE3B,MAAM,CAAC,yBAAyB,CAAC,MAAM,CAAC;YACpC,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE;SACnC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7B,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,CAAC,yBAAyB,CAAC,MAAM,CAAC;YACpC,QAAQ,EAAE,QAAQ;YAClB,MAAM,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE;SAC9D,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/packages/tools/lib/__tests__/view-deriver-samples.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=view-deriver-samples.test.d.ts.map

package/packages/tools/lib/__tests__/view-deriver-samples.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view-deriver-samples.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/view-deriver-samples.test.ts"],"names":[],"mappings":""}

package/packages/tools/lib/__tests__/view-deriver-samples.test.js

@@ -0,0 +1,39 @@
+import { describe, expect, it } from 'vitest';
+import { deriveModelViews } from '../model/view-deriver.js';
+function element(id, kind, packageName) {
+    return {
+        id, name: id, kind, construct: 'part', layer: 'logical_structure',
+        file: 'sample/model/test.sysml', package: packageName, attributes: {},
+    };
+}
+describe('explicit renderer samples', () => {
+    it('places SysML views from the samples package in Model Viewpoint > Samples', () => {
+        const part = element('partA', 'LogicalComponent', 'samples');
+        const view = element('sampleInterconnectionView', 'DiagramView', 'samples');
+        view.attributes = {
+            title: 'Sample · Interconnection',
+            viewKind: 'DiagramViewKind::interconnection',
+            diagramType: 'ibd',
+            'selectionQuery.includeElementKinds': 'LogicalComponent',
+            'selectionQuery.includeRelationshipKinds': 'ExchangesWith',
+        };
+        const elements = new Map([[part.id, part], [view.id, view]]);
+        const included = { type: 'includedIn', sourceId: part.id, targetId: view.id };
+        const model = {
+            elements,
+            relationships: [included],
+            incoming: new Map([[view.id, [included]]]),
+        };
+        const result = deriveModelViews(model);
+        expect(result.viewpoints).toEqual([]);
+        expect(result.diagrams).toEqual([expect.objectContaining({
+                id: 'diag-sample-sampleInterconnectionView',
+                viewpointId: '__model',
+                viewKind: 'interconnection',
+                elementIds: ['partA'],
+                relationshipTypes: ['ExchangesWith'],
+                sourceFile: 'sample/model/test.sysml',
+            })]);
+    });
+});
+//# sourceMappingURL=view-deriver-samples.test.js.map

package/packages/tools/lib/__tests__/view-deriver-samples.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"view-deriver-samples.test.js","sourceRoot":"","sources":["../../src/__tests__/view-deriver-samples.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAG5D,SAAS,OAAO,CAAC,EAAU,EAAE,IAAY,EAAE,WAAoB;IAC3D,OAAO;QACH,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,mBAAmB;QACjE,IAAI,EAAE,yBAAyB,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE;KACzD,CAAC;AACrB,CAAC;AAED,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAChF,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,EAAE,kBAAkB,EAAE,SAAS,CAAC,CAAC;QAC7D,MAAM,IAAI,GAAG,OAAO,CAAC,2BAA2B,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC;QAC5E,IAAI,CAAC,UAAU,GAAG;YACd,KAAK,EAAE,0BAA0B;YACjC,QAAQ,EAAE,kCAAkC;YAC5C,WAAW,EAAE,KAAK;YAClB,oCAAoC,EAAE,kBAAkB;YACxD,yCAAyC,EAAE,eAAe;SAC7D,CAAC;QACF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;QAC9E,MAAM,KAAK,GAAG;YACV,QAAQ;YACR,aAAa,EAAE,CAAC,QAAQ,CAAC;YACzB,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;SACrB,CAAC;QAE1B,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAEvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACtC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC;gBACrD,EAAE,EAAE,uCAAuC;gBAC3C,WAAW,EAAE,SAAS;gBACtB,QAAQ,EAAE,iBAAiB;gBAC3B,UAAU,EAAE,CAAC,OAAO,CAAC;gBACrB,iBAAiB,EAAE,CAAC,eAAe,CAAC;gBACpC,UAAU,EAAE,yBAAyB;aACxC,CAAC,CAAC,CAAC,CAAC;IACT,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/packages/tools/lib/__tests__/view-kinds.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=view-kinds.test.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"view-kinds.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/view-kinds.test.ts"],"names":[],"mappings":""}

package/packages/tools/lib/__tests__/view-kinds.test.js

@@ -0,0 +1,263 @@
+import { describe, it, expect } from 'vitest';
+import { readFileSync, readdirSync } from 'node:fs';
+import { resolve, join } from 'node:path';
+import { EmptyFileSystem } from 'langium';
+import { parseHelper } from 'langium/test';
+import { createMemoSysMLServices } from '../language/memo-sysml-module.js';
+import { buildMemoModel } from '../model/builder.js';
+import { deriveModelViews } from '../model/view-deriver.js';
+import { validateViews } from '../validator/view-validator.js';
+import { VIEW_KINDS, DIAGRAM_TYPE_TO_VIEW_KIND, isViewKind, normalizeViewKind, resolveViewKind, } from '../model/view-kinds.js';
+const services = createMemoSysMLServices({ ...EmptyFileSystem }).MemoSysML;
+const parse = parseHelper(services);
+async function parseDoc(source, filePath = 'test.sysml') {
+    const doc = await parse(source);
+    return { document: doc, filePath };
+}
+/** Minimal config exposing the ontology view kinds */
+const viewConfig = {
+    projectName: 'test-views',
+    projectType: 'device',
+    kinds: {
+        DiagramView: { label: 'Diagram View', layer: 'viewpoints', sysmlConstruct: 'part def' },
+        DocumentView: { label: 'Document View', layer: 'viewpoints', sysmlConstruct: 'part def' },
+    },
+    relationshipTypes: [],
+};
+// ─── KK-1: diagramType → view kind mapping ──────────────────────────────────
+describe('KK-1: view-kind taxonomy', () => {
+    it('defines exactly the 8 spec view kinds', () => {
+        expect(VIEW_KINDS).toEqual([
+            'general', 'interconnection', 'actionflow', 'statetransition',
+            'sequence', 'grid', 'browser', 'geometry',
+        ]);
+    });
+    it('maps every legacy diagramType key to exactly one spec view kind', () => {
+        const legacyKeys = [
+            'bdd', 'ibd', 'req', 'ucd', 'act', 'afd', 'pkg', 'par', 'risk',
+            'stm', 'seq', 'fmea', 'alloc', 'threat-model', 'ofd', 'ffd',
+        ];
+        for (const key of legacyKeys) {
+            const kind = DIAGRAM_TYPE_TO_VIEW_KIND[key];
+            expect(kind, `diagramType "${key}" must map to a view kind`).toBeDefined();
+            expect(isViewKind(kind)).toBe(true);
+        }
+    });
+    it('maps operational and functional flows to the activity-flow base renderer', () => {
+        expect(resolveViewKind(undefined, 'ofd')).toBe('actionflow');
+        expect(resolveViewKind(undefined, 'ffd')).toBe('actionflow');
+    });
+    it('KK-9: geometry is reachable only by explicit declaration (ADR-1-19)', () => {
+        // The renderer is deferred; no legacy diagramType may silently map to
+        // geometry. Adding such a mapping must be a deliberate ADR revisit.
+        expect(Object.values(DIAGRAM_TYPE_TO_VIEW_KIND)).not.toContain('geometry');
+        expect(resolveViewKind('DiagramViewKind::geometry', undefined)).toBe('geometry');
+        expect(resolveViewKind('DiagramViewKind::geometry', 'bdd')).toBe('geometry');
+    });
+    it('normalizes qualified enum references', () => {
+        expect(normalizeViewKind('DiagramViewKind::statetransition')).toBe('statetransition');
+        expect(normalizeViewKind('general')).toBe('general');
+        // DocumentView declares DocumentViewKind values under the same
+        // attribute name — those are not spec view kinds
+        expect(normalizeViewKind('DocumentViewKind::RMF')).toBeUndefined();
+        expect(normalizeViewKind(undefined)).toBeUndefined();
+        expect(normalizeViewKind('bogus')).toBeUndefined();
+    });
+    it('resolves declared viewKind over diagramType, falls back to mapping, then browser', () => {
+        expect(resolveViewKind('DiagramViewKind::grid', 'bdd')).toBe('grid');
+        expect(resolveViewKind(undefined, 'stm')).toBe('statetransition');
+        expect(resolveViewKind(undefined, 'unknown-type')).toBe('general');
+        expect(resolveViewKind(undefined, undefined)).toBe('browser');
+        expect(resolveViewKind('DocumentViewKind::DHF', undefined)).toBe('browser');
+    });
+});
+// ─── KK-1: derived views carry viewKind ─────────────────────────────────────
+describe('KK-1: deriveModelViews view kinds', () => {
+    it('every derived view resolves to exactly one spec view kind', async () => {
+        const doc = await parseDoc(`
+            package TestViews {
+                part fmeaView : DiagramView {
+                    attribute name = "FMEA View";
+                    attribute viewKind = DiagramViewKind::grid;
+                    attribute diagramType = "fmea";
+                }
+                part modeView : DiagramView {
+                    attribute name = "Mode View";
+                    attribute diagramType = "stm";
+                }
+                part dhfView : DocumentView {
+                    attribute name = "DHF Index";
+                    attribute viewKind = DocumentViewKind::DHF;
+                }
+            }
+        `);
+        const model = buildMemoModel([doc], viewConfig);
+        const { diagrams } = deriveModelViews(model);
+        expect(diagrams).toHaveLength(3);
+        for (const d of diagrams) {
+            expect(d.viewKind, `diagram "${d.name}" must carry a view kind`).toBeDefined();
+            expect(isViewKind(d.viewKind)).toBe(true);
+        }
+        const byName = new Map(diagrams.map(d => [d.name, d]));
+        expect(byName.get('FMEA View')?.viewKind).toBe('grid');
+        expect(byName.get('Mode View')?.viewKind).toBe('statetransition');
+        expect(byName.get('DHF Index')?.viewKind).toBe('browser');
+    });
+});
+// ─── KK-1 acceptance: every GPCA view resolves to one of the 8 kinds ────────
+const GPCA_VIEWS_DIR = resolve(__dirname, '../../../../memo/src/examples/gpca-pump/model/views');
+/** Config covering the view kinds the GPCA views instantiate */
+const gpcaViewConfig = {
+    projectName: 'gpca-views',
+    projectType: 'device',
+    kinds: {
+        DiagramView: { label: 'Diagram View', layer: 'viewpoints', sysmlConstruct: 'part def' },
+        DocumentView: { label: 'Document View', layer: 'viewpoints', sysmlConstruct: 'part def' },
+        CybersecurityAssessmentView: { label: 'Cybersecurity Assessment View', layer: 'viewpoints', sysmlConstruct: 'part def' },
+        CybersecurityThreatModelView: { label: 'Threat Model View', layer: 'viewpoints', sysmlConstruct: 'part def' },
+        UsabilityEngineeringView: { label: 'Usability Engineering View', layer: 'viewpoints', sysmlConstruct: 'part def' },
+    },
+    relationshipTypes: [],
+};
+describe('KK-1 acceptance: GPCA views', () => {
+    it('all 26 GPCA views resolve to exactly one of the 8 spec view kinds, with no validation warnings', async () => {
+        const files = readdirSync(GPCA_VIEWS_DIR).filter(f => f.endsWith('.sysml'));
+        expect(files).toHaveLength(26);
+        const docs = [];
+        for (const f of files) {
+            docs.push(await parseDoc(readFileSync(join(GPCA_VIEWS_DIR, f), 'utf-8'), f));
+        }
+        const model = buildMemoModel(docs, gpcaViewConfig);
+        const { diagrams } = deriveModelViews(model);
+        expect(diagrams).toHaveLength(26);
+        for (const d of diagrams) {
+            expect(d.viewKind, `GPCA view "${d.name}" must resolve to a spec view kind`).toBeDefined();
+            expect(isViewKind(d.viewKind), `"${d.viewKind}" is not a spec view kind`).toBe(true);
+        }
+        expect(validateViews(model)).toHaveLength(0);
+        // Kind distribution locks the template consolidation: every diagram
+        // view maps explicitly onto a KK-2..KK-8 template kind (tabular and
+        // matrix views on grid), and the 9 document-backed views resolve to
+        // browser alongside the declared Function Browser view
+        const counts = {};
+        for (const d of diagrams)
+            counts[d.viewKind] = (counts[d.viewKind] ?? 0) + 1;
+        expect(counts).toEqual({
+            general: 6,
+            interconnection: 2,
+            actionflow: 1,
+            statetransition: 1,
+            sequence: 1,
+            grid: 5,
+            browser: 10,
+        });
+    });
+});
+describe('action-flow sample subtypes', () => {
+    it('derives the three explicitly declared diagram types without collapsing them', async () => {
+        const samplesDir = resolve(GPCA_VIEWS_DIR, '../samples');
+        const files = ['action_flow_view.sysml', 'functional_flow_view.sysml', 'operational_behaviour_view.sysml'];
+        const docs = [];
+        for (const file of files) {
+            docs.push(await parseDoc(readFileSync(join(samplesDir, file), 'utf-8'), file));
+        }
+        const model = buildMemoModel(docs, gpcaViewConfig);
+        const { diagrams } = deriveModelViews(model);
+        const byId = new Map(diagrams.map(diagram => [diagram.id, diagram]));
+        expect(byId.get('diag-sample-sampleActionFlowView')?.diagramType).toBe('afd');
+        expect(byId.get('diag-sample-fxDeliveryView')?.diagramType).toBe('ffd');
+        expect(byId.get('diag-sample-opSetupView')?.diagramType).toBe('ofd');
+        expect(diagrams.every(diagram => diagram.viewKind === 'actionflow')).toBe(true);
+    });
+});
+// ─── KK-2/KK-3 acceptance: template views ship with the GPCA example ─────────
+describe('KK-2/KK-3 acceptance: GPCA template views', () => {
+    async function deriveGpcaViews() {
+        const files = readdirSync(GPCA_VIEWS_DIR).filter(f => f.endsWith('.sysml'));
+        const docs = [];
+        for (const f of files) {
+            docs.push(await parseDoc(readFileSync(join(GPCA_VIEWS_DIR, f), 'utf-8'), f));
+        }
+        const model = buildMemoModel(docs, gpcaViewConfig);
+        return deriveModelViews(model).diagrams;
+    }
+    it('KK-2: ships a General view whose layoutHint drives the template mode', async () => {
+        const diagrams = await deriveGpcaViews();
+        const decomp = diagrams.find(d => d.name === 'GPCA System Decomposition View');
+        expect(decomp).toBeDefined();
+        expect(decomp.viewKind).toBe('general');
+        // The renderer honors this presentation hint as the initial mode
+        expect(decomp.properties?.layoutHint).toBe('containment');
+        expect(decomp.relationshipTypes).toContain('Composes');
+    });
+    it('KK-3: ships an Interconnection view with parts, ports, and typed connectors declared', async () => {
+        const diagrams = await deriveGpcaViews();
+        const interconnect = diagrams.find(d => d.name === 'GPCA Device Interconnect View');
+        expect(interconnect).toBeDefined();
+        expect(interconnect.viewKind).toBe('interconnection');
+        expect(interconnect.relationshipTypes).toEqual(expect.arrayContaining(['ExchangesWith', 'Composes']));
+        expect(interconnect.diagramType).toBe('ibd');
+    });
+    it('KK-4: ships an Action Flow view selecting the infusion delivery actions', async () => {
+        const diagrams = await deriveGpcaViews();
+        const actionFlow = diagrams.find(d => d.name === 'GPCA Infusion Delivery Action Flow');
+        expect(actionFlow).toBeDefined();
+        expect(actionFlow.viewKind).toBe('actionflow');
+        expect(actionFlow.diagramType).toBe('afd');
+    });
+    it('KK-8: ships a Browser view over the functions layer (declared kind, no legacy diagramType)', async () => {
+        const diagrams = await deriveGpcaViews();
+        const browser = diagrams.find(d => d.name === 'GPCA Function Browser');
+        expect(browser).toBeDefined();
+        expect(browser.viewKind).toBe('browser');
+    });
+});
+// ─── KK-1: validator flags unmapped diagram types ───────────────────────────
+describe('KK-1: view validation', () => {
+    it('flags unmapped diagramType with a warning (VW-001)', async () => {
+        const doc = await parseDoc(`
+            package TestViews {
+                part legacyView : DiagramView {
+                    attribute name = "Legacy View";
+                    attribute diagramType = "flowchart";
+                }
+            }
+        `);
+        const model = buildMemoModel([doc], viewConfig);
+        const violations = validateViews(model);
+        const vw001 = violations.filter(v => v.ruleId === 'VW-001');
+        expect(vw001).toHaveLength(1);
+        expect(vw001[0].severity).toBe('warning');
+        expect(vw001[0].description).toContain('flowchart');
+    });
+    it('flags off-taxonomy viewKind on diagram views (VW-002)', async () => {
+        const doc = await parseDoc(`
+            package TestViews {
+                part oddView : DiagramView {
+                    attribute name = "Odd View";
+                    attribute viewKind = DiagramViewKind::freeform;
+                    attribute diagramType = "bdd";
+                }
+            }
+        `);
+        const model = buildMemoModel([doc], viewConfig);
+        const violations = validateViews(model);
+        const vw002 = violations.filter(v => v.ruleId === 'VW-002');
+        expect(vw002).toHaveLength(1);
+        expect(vw002[0].severity).toBe('warning');
+    });
+    it('accepts all mapped diagram types without warnings', async () => {
+        const doc = await parseDoc(`
+            package TestViews {
+                part okView : DiagramView {
+                    attribute name = "OK View";
+                    attribute viewKind = DiagramViewKind::interconnection;
+                    attribute diagramType = "ibd";
+                }
+            }
+        `);
+        const model = buildMemoModel([doc], viewConfig);
+        expect(validateViews(model)).toHaveLength(0);
+    });
+});
+//# sourceMappingURL=view-kinds.test.js.map

package/packages/tools/lib/__tests__/view-kinds.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"view-kinds.test.js","sourceRoot":"","sources":["../../src/__tests__/view-kinds.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AAG3E,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EACH,UAAU,EACV,yBAAyB,EACzB,UAAU,EACV,iBAAiB,EACjB,eAAe,GAClB,MAAM,wBAAwB,CAAC;AAGhC,MAAM,QAAQ,GAAG,uBAAuB,CAAC,EAAE,GAAG,eAAe,EAAE,CAAC,CAAC,SAAS,CAAC;AAC3E,MAAM,KAAK,GAAG,WAAW,CAAQ,QAAQ,CAAC,CAAC;AAE3C,KAAK,UAAU,QAAQ,CAAC,MAAc,EAAE,WAAmB,YAAY;IACnE,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC;IAChC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AACvC,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,GAAe;IAC3B,WAAW,EAAE,YAAY;IACzB,WAAW,EAAE,QAAQ;IACrB,KAAK,EAAE;QACH,WAAW,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE;QACvF,YAAY,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE;KAC5F;IACD,iBAAiB,EAAE,EAAE;CACxB,CAAC;AAEF,+EAA+E;AAE/E,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC;YACvB,SAAS,EAAE,iBAAiB,EAAE,YAAY,EAAE,iBAAiB;YAC7D,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU;SAC5C,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACvE,MAAM,UAAU,GAAG;YACf,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM;YAC9D,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK;SAC9D,CAAC;QACF,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC;YAC5C,MAAM,CAAC,IAAI,EAAE,gBAAgB,GAAG,2BAA2B,CAAC,CAAC,WAAW,EAAE,CAAC;YAC3E,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,eAAe,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC7D,MAAM,CAAC,eAAe,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC3E,sEAAsE;QACtE,oEAAoE;QACpE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC3E,MAAM,CAAC,eAAe,CAAC,2BAA2B,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACjF,MAAM,CAAC,eAAe,CAAC,2BAA2B,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,iBAAiB,CAAC,kCAAkC,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACtF,MAAM,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrD,+DAA+D;QAC/D,iDAAiD;QACjD,MAAM,CAAC,iBAAiB,CAAC,uBAAuB,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACnE,MAAM,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACrD,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;QACxF,MAAM,CAAC,eAAe,CAAC,uBAAuB,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrE,MAAM,CAAC,eAAe,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAClE,MAAM,CAAC,eAAe,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnE,MAAM,CAAC,eAAe,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC9D,MAAM,CAAC,eAAe,CAAC,uBAAuB,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAE/E,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IAC/C,EAAE,CAAC,2DAA2D,EAAE,KAAK,IAAI,EAAE;QACvE,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC;;;;;;;;;;;;;;;;SAgB1B,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC;QAChD,MAAM,EAAE,QAAQ,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAE7C,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACvB,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,IAAI,0BAA0B,CAAC,CAAC,WAAW,EAAE,CAAC;YAC/E,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,QAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAClE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAE/E,MAAM,cAAc,GAAG,OAAO,CAC1B,SAAS,EACT,qDAAqD,CACxD,CAAC;AAEF,gEAAgE;AAChE,MAAM,cAAc,GAAe;IAC/B,WAAW,EAAE,YAAY;IACzB,WAAW,EAAE,QAAQ;IACrB,KAAK,EAAE;QACH,WAAW,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE;QACvF,YAAY,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE;QACzF,2BAA2B,EAAE,EAAE,KAAK,EAAE,+BAA+B,EAAE,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE;QACxH,4BAA4B,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE;QAC7G,wBAAwB,EAAE,EAAE,KAAK,EAAE,4BAA4B,EAAE,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE;KACrH;IACD,iBAAiB,EAAE,EAAE;CACxB,CAAC;AAEF,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,gGAAgG,EAAE,KAAK,IAAI,EAAE;QAC5G,MAAM,KAAK,GAAG,WAAW,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAE/B,MAAM,IAAI,GAAqB,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACpB,IAAI,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjF,CAAC;QACD,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACnD,MAAM,EAAE,QAAQ,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAE7C,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACvB,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC,IAAI,oCAAoC,CAAC,CAAC,WAAW,EAAE,CAAC;YAC3F,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,QAAS,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,2BAA2B,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAE7C,oEAAoE;QACpE,oEAAoE;QACpE,oEAAoE;QACpE,uDAAuD;QACvD,MAAM,MAAM,GAA2B,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,MAAM,CAAC,CAAC,CAAC,QAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,QAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/E,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;YACnB,OAAO,EAAE,CAAC;YACV,eAAe,EAAE,CAAC;YAClB,UAAU,EAAE,CAAC;YACb,eAAe,EAAE,CAAC;YAClB,QAAQ,EAAE,CAAC;YACX,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,EAAE;SACd,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,6EAA6E,EAAE,KAAK,IAAI,EAAE;QACzF,MAAM,UAAU,GAAG,OAAO,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,CAAC,wBAAwB,EAAE,4BAA4B,EAAE,kCAAkC,CAAC,CAAC;QAC3G,MAAM,IAAI,GAAqB,EAAE,CAAC;QAClC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACnD,MAAM,EAAE,QAAQ,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QAErE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,kCAAkC,CAAC,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9E,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,4BAA4B,CAAC,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,yBAAyB,CAAC,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;IACvD,KAAK,UAAU,eAAe;QAC1B,MAAM,KAAK,GAAG,WAAW,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC5E,MAAM,IAAI,GAAqB,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACpB,IAAI,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjF,CAAC;QACD,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QACnD,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC;IAC5C,CAAC;IAED,EAAE,CAAC,sEAAsE,EAAE,KAAK,IAAI,EAAE;QAClF,MAAM,QAAQ,GAAG,MAAM,eAAe,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gCAAgC,CAAC,CAAC;QAC/E,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzC,iEAAiE;QACjE,MAAM,CAAC,MAAO,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC3D,MAAM,CAAC,MAAO,CAAC,iBAAiB,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sFAAsF,EAAE,KAAK,IAAI,EAAE;QAClG,MAAM,QAAQ,GAAG,MAAM,eAAe,EAAE,CAAC;QACzC,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,+BAA+B,CAAC,CAAC;QACpF,MAAM,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;QACnC,MAAM,CAAC,YAAa,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACvD,MAAM,CAAC,YAAa,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAC3C,MAAM,CAAC,eAAe,CAAC,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC,CACxD,CAAC;QACF,MAAM,CAAC,YAAa,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,QAAQ,GAAG,MAAM,eAAe,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,oCAAoC,CAAC,CAAC;QACvF,MAAM,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,MAAM,CAAC,UAAW,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAChD,MAAM,CAAC,UAAW,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,KAAK,IAAI,EAAE;QACxG,MAAM,QAAQ,GAAG,MAAM,eAAe,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,uBAAuB,CAAC,CAAC;QACvE,MAAM,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9B,MAAM,CAAC,OAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAE/E,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;QAChE,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC;;;;;;;SAO1B,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QAExC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;QAC5D,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;QACnE,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC;;;;;;;;SAQ1B,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QAExC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;QAC5D,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;QAC/D,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC;;;;;;;;SAQ1B,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC;QAChD,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/packages/tools/lib/__tests__/view-layout-store.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=view-layout-store.test.d.ts.map

package/packages/tools/lib/__tests__/view-layout-store.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view-layout-store.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/view-layout-store.test.ts"],"names":[],"mappings":""}

package/packages/tools/lib/__tests__/view-layout-store.test.js

@@ -0,0 +1,61 @@
+import { afterEach, describe, expect, it } from 'vitest';
+import { existsSync, mkdirSync, mkdtempSync, readFileSync, rmSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { parse, stringify } from 'yaml';
+import { loadViewLayout, saveViewLayout, viewLayoutPath } from '../server/view-layout-store.js';
+const roots = [];
+afterEach(() => { while (roots.length)
+    rmSync(roots.pop(), { recursive: true, force: true }); });
+const diagram = (sourceFile = 'model/views/thermal.sysml') => ({
+    id: 'view-coffee-thermal', name: 'Thermal IBD', diagramType: 'ibd',
+    viewpointId: '__model', auto: true, sourceFile,
+});
+const layout = {
+    nodes: {
+        heater: {
+            x: 120, y: 80, width: 220, height: 140,
+            ports: { heatedWaterOut: { x: 210, y: 62, side: 'right' } },
+        },
+    },
+    edges: {}, canvas: { zoom: 0.9, pan: { x: 20, y: 30 } },
+};
+describe('.viewlayout companions', () => {
+    it('saves beside the SysML view and round-trips the complete layout', () => {
+        const root = mkdtempSync(join(tmpdir(), 'memo-view-layout-'));
+        roots.push(root);
+        mkdirSync(join(root, 'model/views'), { recursive: true });
+        const d = diagram();
+        const saved = saveViewLayout(root, d, layout);
+        expect(saved).toBe(join(root, 'model/views/thermal.viewlayout'));
+        expect(existsSync(saved)).toBe(true);
+        expect(loadViewLayout(root, d)).toEqual(layout);
+        const artifact = parse(readFileSync(saved, 'utf8'));
+        expect(artifact).toMatchObject({
+            format: 'memo.viewlayout/v1', viewSource: d.sourceFile,
+            layouts: { [d.id]: layout },
+        });
+    });
+    it('stores multiple diagrams from one SysML file in the same companion', () => {
+        const root = mkdtempSync(join(tmpdir(), 'memo-view-layout-'));
+        roots.push(root);
+        mkdirSync(join(root, 'model/views'), { recursive: true });
+        const first = diagram();
+        const second = { ...diagram(), id: 'view-coffee-service', name: 'Service IBD' };
+        saveViewLayout(root, first, layout);
+        saveViewLayout(root, second, { nodes: { service: { x: 10, y: 20 } }, edges: {} });
+        expect(viewLayoutPath(root, first)).toBe(viewLayoutPath(root, second));
+        expect(loadViewLayout(root, first)).toEqual(layout);
+        expect(loadViewLayout(root, second)?.nodes.service).toEqual({ x: 10, y: 20 });
+    });
+    it('loads a legacy hidden YAML sidecar until the diagram is saved again', () => {
+        const root = mkdtempSync(join(tmpdir(), 'memo-view-layout-'));
+        roots.push(root);
+        const d = diagram();
+        mkdirSync(join(root, '.memo/layouts'), { recursive: true });
+        writeFileSync(join(root, '.memo/layouts', `${d.id}.yaml`), stringify(layout));
+        expect(loadViewLayout(root, d)).toEqual(layout);
+        expect(viewLayoutPath(root, d)).toContain('.viewlayout');
+    });
+});
+//# sourceMappingURL=view-layout-store.test.js.map

package/packages/tools/lib/__tests__/view-layout-store.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"view-layout-store.test.js","sourceRoot":"","sources":["../../src/__tests__/view-layout-store.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAClG,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AAExC,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAEhG,MAAM,KAAK,GAAa,EAAE,CAAC;AAC3B,SAAS,CAAC,GAAG,EAAE,GAAG,OAAO,KAAK,CAAC,MAAM;IAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAElG,MAAM,OAAO,GAAG,CAAC,UAAU,GAAG,2BAA2B,EAAc,EAAE,CAAC,CAAC;IACvE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,aAAa,EAAE,WAAW,EAAE,KAAK;IAClE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU;CACjD,CAAC,CAAC;AACH,MAAM,MAAM,GAAkB;IAC1B,KAAK,EAAE;QACH,MAAM,EAAE;YACJ,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG;YACtC,KAAK,EAAE,EAAE,cAAc,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;SAC9D;KACJ;IACD,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE;CAC1D,CAAC;AAEF,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACvE,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;QAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1D,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC;YAC3B,MAAM,EAAE,oBAAoB,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU;YACtD,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE;SAC9B,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC1E,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;QAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1D,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,EAAE,GAAG,OAAO,EAAE,EAAE,EAAE,EAAE,qBAAqB,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QAChF,cAAc,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACpC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAClF,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC3E,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;QAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;QACpB,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5D,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,EAAE,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/packages/tools/lib/analysis/dsm.d.ts

@@ -0,0 +1,47 @@
+import type { MemoModelDTO } from '../model/semantic.js';
+/** A single cell in the DSM matrix */
+export interface DSMCell {
+    /** Number of relationships from row element to column element */
+    count: number;
+    /** Relationship types present in this cell */
+    types: string[];
+    /** Flow items carried (for flow relationships) */
+    flowItems: string[];
+}
+/** DSM computation result */
+export interface DSMResult {
+    /** Ordered element IDs (both row and column axis) */
+    elementIds: string[];
+    /** Element metadata indexed by ID */
+    elements: Record<string, {
+        name: string;
+        kind: string;
+        layer: string;
+        allocatedTo?: string;
+    }>;
+    /** The N×N matrix: matrix[rowIdx][colIdx] */
+    matrix: (DSMCell | null)[][];
+    /** Cluster assignments: clusterId → element IDs */
+    clusters: Map<number, string[]>;
+    /** Total number of dependencies */
+    totalDependencies: number;
+}
+/** Options for DSM computation */
+export interface DSMOptions {
+    /** Element kinds to include (default: functional kinds) */
+    kinds?: string[];
+    /** Relationship types to count as dependencies (default: flow, decomposedBy, allocateTo) */
+    relationshipTypes?: string[];
+    /** Whether to run clustering (default: true) */
+    cluster?: boolean;
+}
+/**
+ * Compute a Design Structure Matrix from model elements and relationships.
+ */
+export declare function computeDSM(model: MemoModelDTO, options?: DSMOptions): DSMResult;
+/**
+ * Reorder DSM elements to minimize off-diagonal dependencies (band optimization).
+ * Groups clustered elements together and returns the reordered result.
+ */
+export declare function reorderDSM(dsm: DSMResult): DSMResult;
+//# sourceMappingURL=dsm.d.ts.map

package/packages/tools/lib/analysis/dsm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dsm.d.ts","sourceRoot":"","sources":["../../src/analysis/dsm.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,YAAY,EAAiC,MAAM,sBAAsB,CAAC;AAExF,sCAAsC;AACtC,MAAM,WAAW,OAAO;IACpB,iEAAiE;IACjE,KAAK,EAAE,MAAM,CAAC;IACd,8CAA8C;IAC9C,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,kDAAkD;IAClD,SAAS,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,6BAA6B;AAC7B,MAAM,WAAW,SAAS;IACtB,qDAAqD;IACrD,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,qCAAqC;IACrC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC9F,6CAA6C;IAC7C,MAAM,EAAE,CAAC,OAAO,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC;IAC7B,mDAAmD;IACnD,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAChC,mCAAmC;IACnC,iBAAiB,EAAE,MAAM,CAAC;CAC7B;AAED,kCAAkC;AAClC,MAAM,WAAW,UAAU;IACvB,2DAA2D;IAC3D,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,4FAA4F;IAC5F,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,gDAAgD;IAChD,OAAO,CAAC,EAAE,OAAO,CAAC;CACrB;AAKD;;GAEG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,UAAU,GAAG,SAAS,CA2E/E;AAsDD;;;GAGG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,SAAS,GAAG,SAAS,CA8CpD"}