@memoarchitect/tools 0.4.4

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

@@ -0,0 +1 @@
+{"version":3,"file":"view-layout-store.d.ts","sourceRoot":"","sources":["../../src/server/view-layout-store.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAEtE,eAAO,MAAM,qBAAqB,gBAAgB,CAAC;AAUnD,sEAAsE;AACtE,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,GAAG,MAAM,CAO/E;AAMD,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,GAAG,aAAa,GAAG,IAAI,CAgB7F;AAED,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,GAAG,MAAM,CAoBtG;AAED,wBAAgB,eAAe,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAO1G"}

package/packages/tools/lib/server/view-layout-store.js

@@ -0,0 +1,73 @@
+import { existsSync, mkdirSync, readFileSync, writeFileSync } from 'node:fs';
+import { basename, dirname, resolve } from 'node:path';
+import { parse, stringify } from 'yaml';
+export const VIEW_LAYOUT_EXTENSION = '.viewlayout';
+const safeId = (id) => id.replace(/[^a-zA-Z0-9._-]/g, '_');
+/** Companion location beside the SysML file that defines the view. */
+export function viewLayoutPath(projectRoot, diagram) {
+    if (diagram.sourceFile) {
+        const source = resolve(projectRoot, diagram.sourceFile);
+        const stem = basename(source).replace(/\.sysml$/i, '');
+        return resolve(dirname(source), `${stem}${VIEW_LAYOUT_EXTENSION}`);
+    }
+    return resolve(projectRoot, '.memo', 'views', `${safeId(diagram.id)}${VIEW_LAYOUT_EXTENSION}`);
+}
+function legacyLayoutPath(projectRoot, diagramId) {
+    return resolve(projectRoot, '.memo', 'layouts', `${diagramId}.yaml`);
+}
+export function loadViewLayout(projectRoot, diagram) {
+    const companion = viewLayoutPath(projectRoot, diagram);
+    if (existsSync(companion)) {
+        try {
+            const artifact = parse(readFileSync(companion, 'utf8'));
+            if (artifact.format === 'memo.viewlayout/v1' || artifact.format === 'memo.sysmlview/v2')
+                return artifact.layouts?.[diagram.id] ?? null;
+            if (artifact.format === 'memo.sysmlview/v1' && artifact.diagramId === diagram.id)
+                return artifact.layout ?? null;
+        }
+        catch { /* malformed companion is ignored */ }
+    }
+    // Read-only compatibility with the previous hidden YAML sidecar. Saving
+    // writes the new companion, providing migration without destructive moves.
+    const legacy = legacyLayoutPath(projectRoot, diagram.id);
+    if (!existsSync(legacy))
+        return null;
+    try {
+        return parse(readFileSync(legacy, 'utf8'));
+    }
+    catch {
+        return null;
+    }
+}
+export function saveViewLayout(projectRoot, diagram, layout) {
+    const path = viewLayoutPath(projectRoot, diagram);
+    mkdirSync(dirname(path), { recursive: true });
+    let existingLayouts = {};
+    if (existsSync(path)) {
+        try {
+            const existing = parse(readFileSync(path, 'utf8'));
+            if (existing.format === 'memo.viewlayout/v1' || existing.format === 'memo.sysmlview/v2')
+                existingLayouts = existing.layouts ?? {};
+            else if (existing.diagramId && existing.layout)
+                existingLayouts = { [existing.diagramId]: existing.layout };
+        }
+        catch { /* replace malformed companion */ }
+    }
+    const artifact = {
+        format: 'memo.viewlayout/v1',
+        ...(diagram.sourceFile ? { viewSource: diagram.sourceFile } : {}),
+        layouts: { ...existingLayouts, [diagram.id]: layout },
+    };
+    writeFileSync(path, stringify(artifact), 'utf8');
+    return path;
+}
+export function loadViewLayouts(projectRoot, diagrams) {
+    const layouts = {};
+    for (const diagram of diagrams) {
+        const layout = loadViewLayout(projectRoot, diagram);
+        if (layout)
+            layouts[diagram.id] = layout;
+    }
+    return layouts;
+}
+//# sourceMappingURL=view-layout-store.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"view-layout-store.js","sourceRoot":"","sources":["../../src/server/view-layout-store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACvD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AAGxC,MAAM,CAAC,MAAM,qBAAqB,GAAG,aAAa,CAAC;AAQnD,MAAM,MAAM,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC;AAE3E,sEAAsE;AACtE,MAAM,UAAU,cAAc,CAAC,WAAmB,EAAE,OAAmB;IACnE,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACrB,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACvD,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,GAAG,qBAAqB,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,OAAO,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,qBAAqB,EAAE,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,gBAAgB,CAAC,WAAmB,EAAE,SAAiB;IAC5D,OAAO,OAAO,CAAC,WAAW,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,SAAS,OAAO,CAAC,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,WAAmB,EAAE,OAAmB;IACnE,MAAM,SAAS,GAAG,cAAc,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACvD,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACxB,IAAI,CAAC;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAErD,CAAC;YACF,IAAI,QAAQ,CAAC,MAAM,KAAK,oBAAoB,IAAI,QAAQ,CAAC,MAAM,KAAK,mBAAmB;gBAAE,OAAO,QAAQ,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC;YACvI,IAAI,QAAQ,CAAC,MAAM,KAAK,mBAAmB,IAAI,QAAQ,CAAC,SAAS,KAAK,OAAO,CAAC,EAAE;gBAAE,OAAO,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC;QACrH,CAAC;QAAC,MAAM,CAAC,CAAC,oCAAoC,CAAC,CAAC;IACpD,CAAC;IACD,wEAAwE;IACxE,2EAA2E;IAC3E,MAAM,MAAM,GAAG,gBAAgB,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;IACzD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,CAAC;QAAC,OAAO,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAkB,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;AAC/F,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,WAAmB,EAAE,OAAmB,EAAE,MAAqB;IAC1F,MAAM,IAAI,GAAG,cAAc,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAClD,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9C,IAAI,eAAe,GAAkC,EAAE,CAAC;IACxD,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,IAAI,CAAC;YACD,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAEhD,CAAC;YACF,IAAI,QAAQ,CAAC,MAAM,KAAK,oBAAoB,IAAI,QAAQ,CAAC,MAAM,KAAK,mBAAmB;gBAAE,eAAe,GAAG,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC;iBAC7H,IAAI,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,MAAM;gBAAE,eAAe,GAAG,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;QAChH,CAAC;QAAC,MAAM,CAAC,CAAC,iCAAiC,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,QAAQ,GAA4B;QACtC,MAAM,EAAE,oBAAoB;QAC5B,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,OAAO,EAAE,EAAE,GAAG,eAAe,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE;KACxD,CAAC;IACF,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;IACjD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,WAAmB,EAAE,QAAsB;IACvE,MAAM,OAAO,GAAkC,EAAE,CAAC;IAClD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,cAAc,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACpD,IAAI,MAAM;YAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;IAC7C,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC"}

package/packages/tools/lib/types/index.d.ts

@@ -0,0 +1,4 @@
+export * from '../model/semantic.js';
+export * from '../validator/types.js';
+export * from '../protocol/messages.js';
+//# sourceMappingURL=index.d.ts.map

package/packages/tools/lib/types/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAEA,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC;AACtC,cAAc,yBAAyB,CAAC"}

package/packages/tools/lib/types/index.js

@@ -0,0 +1,6 @@
+// Shared data-transfer and protocol types. Imports in the source modules are
+// type-only so this entrypoint has no Node or parser runtime dependency.
+export * from '../model/semantic.js';
+export * from '../validator/types.js';
+export * from '../protocol/messages.js';
+//# sourceMappingURL=index.js.map

package/packages/tools/lib/types/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,yEAAyE;AACzE,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC;AACtC,cAAc,yBAAyB,CAAC"}

package/packages/tools/lib/validator/behavior-validator.d.ts

@@ -0,0 +1,12 @@
+import type { MemoModel } from '../model/semantic.js';
+import type { Violation } from './types.js';
+/**
+ * Run behavior-specific structural validation.
+ *
+ * Checks:
+ * 1. Unallocated ActionUsage — warning if an action usage has no allocateTo
+ * 2. Orphan ActionUsage — warning if an action has no flow or succession edges
+ * 3. Incompatible flow types — error if flow source/target params don't match flow item
+ */
+export declare function validateBehavior(model: MemoModel): Violation[];
+//# sourceMappingURL=behavior-validator.d.ts.map

package/packages/tools/lib/validator/behavior-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"behavior-validator.d.ts","sourceRoot":"","sources":["../../src/validator/behavior-validator.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,SAAS,EAAgC,MAAM,sBAAsB,CAAC;AACpF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,EAAE,CA+G9D"}

package/packages/tools/lib/validator/behavior-validator.js

@@ -0,0 +1,124 @@
+// ─── Behavior Validator ──────────────────────────────────────────────────────
+//
+// Built-in structural checks for behavior elements (actions, flows, successions).
+// These complement the config-driven closure rules with checks that require
+// deeper structural analysis of the model.
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Run behavior-specific structural validation.
+ *
+ * Checks:
+ * 1. Unallocated ActionUsage — warning if an action usage has no allocateTo
+ * 2. Orphan ActionUsage — warning if an action has no flow or succession edges
+ * 3. Incompatible flow types — error if flow source/target params don't match flow item
+ */
+export function validateBehavior(model) {
+    const violations = [];
+    const actionUsages = model.elementsByKind.get('ActionUsage') || [];
+    // Build a lookup: action definition ID/name → parameters
+    const defParams = new Map();
+    const actionDefs = model.elementsByKind.get('ActionDefinition') || [];
+    for (const def of actionDefs) {
+        if (def.parameters && def.parameters.length > 0) {
+            defParams.set(def.id, def.parameters);
+            defParams.set(def.name, def.parameters);
+        }
+    }
+    // Composite actions (those with nested action steps) are allocated and
+    // connected through their children — exempt from BV-001/BV-002
+    const compositeIds = new Set();
+    for (const el of model.elements.values()) {
+        if (el.parentAction)
+            compositeIds.add(el.parentAction);
+    }
+    for (const action of actionUsages) {
+        if (compositeIds.has(action.id))
+            continue;
+        // 1. Unallocated action usage
+        if (!action.allocatedTo) {
+            violations.push({
+                ruleId: 'BV-001',
+                description: `Action "${action.name}" is not allocated to any structural element`,
+                severity: 'warning',
+                elementId: action.id,
+                elementKind: action.kind,
+                elementName: action.name,
+                layer: action.layer,
+            });
+        }
+        // 2. Orphan action — no flow or succession edges
+        const outgoing = model.outgoing.get(action.id) || [];
+        const incoming = model.incoming.get(action.id) || [];
+        const allRels = [...outgoing, ...incoming];
+        const hasFlowOrSuccession = allRels.some(r => r.type === 'flow' || r.type === 'succession');
+        if (!hasFlowOrSuccession) {
+            violations.push({
+                ruleId: 'BV-002',
+                description: `Action "${action.name}" is not connected by any flow or succession`,
+                severity: 'warning',
+                elementId: action.id,
+                elementKind: action.kind,
+                elementName: action.name,
+                layer: action.layer,
+            });
+        }
+    }
+    // 3. Incompatible flow types — check that flow item matches parameter types
+    // Flow endpoints are action usages. Resolve each to its definition via the
+    // actionType attribute stored during build.
+    for (const rel of model.relationships) {
+        if (rel.type !== 'flow' || !rel.flowItem)
+            continue;
+        const source = model.elements.get(rel.sourceId);
+        const target = model.elements.get(rel.targetId);
+        if (!source || !target)
+            continue;
+        // Resolve parameters: use element's own or look up via actionType → definition
+        const sourceParams = getParams(source, defParams);
+        const targetParams = getParams(target, defParams);
+        // Check source has an output param of the flow item type
+        if (sourceParams && sourceParams.length > 0) {
+            const sourceParam = sourceParams.find(p => (p.direction === 'out' || p.direction === 'inout') && p.type === rel.flowItem);
+            if (!sourceParam) {
+                violations.push({
+                    ruleId: 'BV-003',
+                    description: `Flow of "${rel.flowItem}" — source "${source.name}" has no matching output parameter`,
+                    severity: 'error',
+                    elementId: source.id,
+                    elementKind: source.kind,
+                    elementName: source.name,
+                    layer: source.layer,
+                });
+            }
+        }
+        // Check target has an input param of the flow item type
+        if (targetParams && targetParams.length > 0) {
+            const targetParam = targetParams.find(p => (p.direction === 'in' || p.direction === 'inout') && p.type === rel.flowItem);
+            if (!targetParam) {
+                violations.push({
+                    ruleId: 'BV-003',
+                    description: `Flow of "${rel.flowItem}" — target "${target.name}" has no matching input parameter`,
+                    severity: 'error',
+                    elementId: target.id,
+                    elementKind: target.kind,
+                    elementName: target.name,
+                    layer: target.layer,
+                });
+            }
+        }
+    }
+    return violations;
+}
+/** Resolve parameters for an element — direct or via actionType → definition lookup */
+function getParams(element, defParams) {
+    if (element.parameters && element.parameters.length > 0) {
+        return element.parameters;
+    }
+    // ActionUsage: look up by actionType attribute
+    const actionType = element.attributes['actionType'];
+    if (actionType) {
+        return defParams.get(actionType);
+    }
+    return undefined;
+}
+//# sourceMappingURL=behavior-validator.js.map

package/packages/tools/lib/validator/behavior-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"behavior-validator.js","sourceRoot":"","sources":["../../src/validator/behavior-validator.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,kFAAkF;AAClF,4EAA4E;AAC5E,2CAA2C;AAC3C,gFAAgF;AAKhF;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAgB;IAC7C,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,MAAM,YAAY,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;IAEnE,yDAAyD;IACzD,MAAM,SAAS,GAAG,IAAI,GAAG,EAA6B,CAAC;IACvD,MAAM,UAAU,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC;IACtE,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9C,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;YACtC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QAC5C,CAAC;IACL,CAAC;IAED,uEAAuE;IACvE,+DAA+D;IAC/D,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,IAAI,EAAE,CAAC,YAAY;YAAE,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC;IAC3D,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;QAChC,IAAI,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAAE,SAAS;QAE1C,8BAA8B;QAC9B,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;YACtB,UAAU,CAAC,IAAI,CAAC;gBACZ,MAAM,EAAE,QAAQ;gBAChB,WAAW,EAAE,WAAW,MAAM,CAAC,IAAI,8CAA8C;gBACjF,QAAQ,EAAE,SAAS;gBACnB,SAAS,EAAE,MAAM,CAAC,EAAE;gBACpB,WAAW,EAAE,MAAM,CAAC,IAAI;gBACxB,WAAW,EAAE,MAAM,CAAC,IAAI;gBACxB,KAAK,EAAE,MAAM,CAAC,KAAK;aACtB,CAAC,CAAC;QACP,CAAC;QAED,iDAAiD;QACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACrD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACrD,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC,CAAC;QAC3C,MAAM,mBAAmB,GAAG,OAAO,CAAC,IAAI,CACpC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CACpD,CAAC;QAEF,IAAI,CAAC,mBAAmB,EAAE,CAAC;YACvB,UAAU,CAAC,IAAI,CAAC;gBACZ,MAAM,EAAE,QAAQ;gBAChB,WAAW,EAAE,WAAW,MAAM,CAAC,IAAI,8CAA8C;gBACjF,QAAQ,EAAE,SAAS;gBACnB,SAAS,EAAE,MAAM,CAAC,EAAE;gBACpB,WAAW,EAAE,MAAM,CAAC,IAAI;gBACxB,WAAW,EAAE,MAAM,CAAC,IAAI;gBACxB,KAAK,EAAE,MAAM,CAAC,KAAK;aACtB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,4EAA4E;IAC5E,2EAA2E;IAC3E,4CAA4C;IAC5C,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,GAAG,CAAC,QAAQ;YAAE,SAAS;QAEnD,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;YAAE,SAAS;QAEjC,+EAA+E;QAC/E,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAClD,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAElD,yDAAyD;QACzD,IAAI,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1C,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,KAAK,IAAI,CAAC,CAAC,SAAS,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,CACrF,CAAC;YACF,IAAI,CAAC,WAAW,EAAE,CAAC;gBACf,UAAU,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,QAAQ;oBAChB,WAAW,EAAE,YAAY,GAAG,CAAC,QAAQ,eAAe,MAAM,CAAC,IAAI,oCAAoC;oBACnG,QAAQ,EAAE,OAAO;oBACjB,SAAS,EAAE,MAAM,CAAC,EAAE;oBACpB,WAAW,EAAE,MAAM,CAAC,IAAI;oBACxB,WAAW,EAAE,MAAM,CAAC,IAAI;oBACxB,KAAK,EAAE,MAAM,CAAC,KAAK;iBACtB,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAED,wDAAwD;QACxD,IAAI,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1C,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC,CAAC,SAAS,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,CACpF,CAAC;YACF,IAAI,CAAC,WAAW,EAAE,CAAC;gBACf,UAAU,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,QAAQ;oBAChB,WAAW,EAAE,YAAY,GAAG,CAAC,QAAQ,eAAe,MAAM,CAAC,IAAI,mCAAmC;oBAClG,QAAQ,EAAE,OAAO;oBACjB,SAAS,EAAE,MAAM,CAAC,EAAE;oBACpB,WAAW,EAAE,MAAM,CAAC,IAAI;oBACxB,WAAW,EAAE,MAAM,CAAC,IAAI;oBACxB,KAAK,EAAE,MAAM,CAAC,KAAK;iBACtB,CAAC,CAAC;YACP,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,uFAAuF;AACvF,SAAS,SAAS,CACd,OAAoB,EACpB,SAAyC;IAEzC,IAAI,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtD,OAAO,OAAO,CAAC,UAAU,CAAC;IAC9B,CAAC;IACD,+CAA+C;IAC/C,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IACpD,IAAI,UAAU,EAAE,CAAC;QACb,OAAO,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC"}

package/packages/tools/lib/validator/constraint-eval.d.ts

@@ -0,0 +1,90 @@
+import type { MemoModel } from '../model/semantic.js';
+import type { Violation } from './types.js';
+import type { ConstraintExpr } from '../language/generated/ast.js';
+/** A constraint authored as a KerML-subset boolean expression over a subject element. */
+export interface NativeConstraint {
+    /** Stable rule id, e.g. "EE-ALLOC-001". */
+    id: string;
+    /** Human-readable description (surfaced in the violation). */
+    description: string;
+    /** The element kind this constraint quantifies over (the SysML `subject`). */
+    appliesToKind: string;
+    /** KerML-subset boolean expression; the subject element is implicit. */
+    expression: string;
+    /** Severity when the expression is false for a subject. */
+    severity: 'error' | 'warning' | 'info';
+}
+/** Constraint metadata without the expression body — used by the AST entry point. */
+export type ConstraintMeta = Omit<NativeConstraint, 'expression'>;
+/** A constraint whose boolean body has already been parsed to an evaluator AST. */
+export interface CompiledConstraint extends ConstraintMeta {
+    /** Parsed boolean body; the subject element is the implicit root. */
+    ast: ConstraintNode;
+}
+/** Evaluate one native constraint (expression as source string) against its subject kind. */
+export declare function evaluateNativeConstraint(constraint: NativeConstraint, model: MemoModel): Violation[];
+/**
+ * Evaluate a pre-parsed constraint body against every element of its subject kind.
+ * This is the shared core used by both the string entry point (above) and the
+ * ontology loader, which compiles `constraint def` bodies via {@link langiumExprToNode}.
+ */
+export declare function evaluateConstraintNode(meta: ConstraintMeta, ast: ConstraintNode, model: MemoModel): Violation[];
+type CmpOp = '==' | '!=' | '>=' | '<=' | '>' | '<';
+type ArithOp = '+' | '-' | '*' | '/';
+type Node = {
+    kind: 'bool';
+    value: boolean;
+} | {
+    kind: 'int';
+    value: number;
+} | {
+    kind: 'str';
+    value: string;
+}
+/** Feature chain resolved against the current element (or the root subject). */
+ | {
+    kind: 'feature';
+    root: 'current' | 'subject';
+    segments: string[];
+}
+/** All elements of a named kind (the kind extent). */
+ | {
+    kind: 'allOfKind';
+    kindName: string;
+} | {
+    kind: 'method';
+    target: Node;
+    name: 'size' | 'notEmpty' | 'isEmpty';
+} | {
+    kind: 'quant';
+    target: Node;
+    name: 'forAll' | 'exists' | 'select';
+    body: Node;
+} | {
+    kind: 'arith';
+    op: ArithOp;
+    left: Node;
+    right: Node;
+} | {
+    kind: 'cmp';
+    op: CmpOp;
+    left: Node;
+    right: Node;
+} | {
+    kind: 'and';
+    left: Node;
+    right: Node;
+} | {
+    kind: 'or';
+    left: Node;
+    right: Node;
+} | {
+    kind: 'not';
+    operand: Node;
+};
+/** Public alias for the evaluator AST node (the compiled form of a constraint body). */
+export type ConstraintNode = Node;
+/** Map a Langium-parsed constraint expression to the evaluator AST. */
+export declare function langiumExprToNode(expr: ConstraintExpr): Node;
+export {};
+//# sourceMappingURL=constraint-eval.d.ts.map

package/packages/tools/lib/validator/constraint-eval.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-eval.d.ts","sourceRoot":"","sources":["../../src/validator/constraint-eval.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EAAE,SAAS,EAAe,MAAM,sBAAsB,CAAC;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAEnE,yFAAyF;AACzF,MAAM,WAAW,gBAAgB;IAC7B,2CAA2C;IAC3C,EAAE,EAAE,MAAM,CAAC;IACX,8DAA8D;IAC9D,WAAW,EAAE,MAAM,CAAC;IACpB,8EAA8E;IAC9E,aAAa,EAAE,MAAM,CAAC;IACtB,wEAAwE;IACxE,UAAU,EAAE,MAAM,CAAC;IACnB,2DAA2D;IAC3D,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;CAC1C;AAED,qFAAqF;AACrF,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;AAElE,mFAAmF;AACnF,MAAM,WAAW,kBAAmB,SAAQ,cAAc;IACtD,qEAAqE;IACrE,GAAG,EAAE,cAAc,CAAC;CACvB;AAED,6FAA6F;AAC7F,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,gBAAgB,EAAE,KAAK,EAAE,SAAS,GAAG,SAAS,EAAE,CAIpG;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,GAAG,SAAS,EAAE,CAmB/G;AAID,KAAK,KAAK,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,GAAG,GAAG,GAAG,CAAC;AACnD,KAAK,OAAO,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;AAErC,KAAK,IAAI,GACH;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AAChC,gFAAgF;GAC9E;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE;AACtE,sDAAsD;GACpD;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAA;CAAE,GACvE;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACjF;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACnD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,IAAI,CAAA;CAAE,CAAC;AAErC,wFAAwF;AACxF,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC;AAiVlC,uEAAuE;AACvE,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,cAAc,GAAG,IAAI,CAkC5D"}