@memoarchitect/tools 0.4.4

package/packages/tools/lib/__tests__/constraint-eval.test.js

@@ -0,0 +1,195 @@
+import { describe, it, expect } from 'vitest';
+import { evaluateNativeConstraint } from '../validator/constraint-eval.js';
+// ─── Fixture helpers ──────────────────────────────────────────────────────────
+function el(id, kind, attrs = {}) {
+    return { id, name: id, kind, construct: 'action', layer: 'behavior', file: 'test.sysml', attributes: attrs };
+}
+function rel(id, type, sourceId, targetId) {
+    return { id, type, sourceId, sourceEnd: 'a', targetId, targetEnd: 'b', file: 'test.sysml' };
+}
+function makeModel(elements, relationships) {
+    const byId = new Map(elements.map(e => [e.id, e]));
+    const byKind = new Map();
+    const byLayer = new Map();
+    const outgoing = new Map();
+    const incoming = new Map();
+    const relByType = new Map();
+    for (const e of elements) {
+        (byKind.get(e.kind) ?? byKind.set(e.kind, []).get(e.kind)).push(e);
+        (byLayer.get(e.layer) ?? byLayer.set(e.layer, []).get(e.layer)).push(e);
+    }
+    for (const r of relationships) {
+        (outgoing.get(r.sourceId) ?? outgoing.set(r.sourceId, []).get(r.sourceId)).push(r);
+        (incoming.get(r.targetId) ?? incoming.set(r.targetId, []).get(r.targetId)).push(r);
+        (relByType.get(r.type) ?? relByType.set(r.type, []).get(r.type)).push(r);
+    }
+    return {
+        elements: byId, relationships, errors: [],
+        elementsByKind: byKind, elementsByLayer: byLayer,
+        relationshipsByType: relByType, outgoing, incoming,
+    };
+}
+// Reference fixture: one allocated function, one un-allocated function, one block.
+function allocationModel() {
+    return makeModel([el('pumpControl', 'Function'), el('idleMonitor', 'Function'), el('controllerBlock', 'LogicalBlock')], [rel('r1', 'allocate', 'pumpControl', 'controllerBlock')]);
+}
+// ─── Tests ──────────────────────────────────────────────────────────────────
+describe('native constraint evaluator (Epic EE ⊕-0 spike)', () => {
+    it('flags the function with no allocation — "allocate->notEmpty()"', () => {
+        const c = {
+            id: 'EE-ALLOC-001',
+            description: 'Every function must be allocated to a structural block.',
+            appliesToKind: 'Function',
+            expression: 'allocate->notEmpty()',
+            severity: 'error',
+        };
+        const violations = evaluateNativeConstraint(c, allocationModel());
+        expect(violations).toHaveLength(1);
+        expect(violations[0].elementId).toBe('idleMonitor');
+        expect(violations[0].ruleId).toBe('EE-ALLOC-001');
+        expect(violations[0].severity).toBe('error');
+    });
+    it('supports size comparison — "allocate->size() >= 1"', () => {
+        const c = {
+            id: 'EE-ALLOC-002', description: 'allocated at least once', appliesToKind: 'Function',
+            expression: 'allocate->size() >= 1', severity: 'warning',
+        };
+        const v = evaluateNativeConstraint(c, allocationModel());
+        expect(v.map(x => x.elementId)).toEqual(['idleMonitor']);
+    });
+    it('supports boolean conjunction across two relationship types', () => {
+        // Requirement traceability: must satisfy a need AND mitigate a risk.
+        const model = makeModel([
+            el('REQ-1', 'Requirement'), el('REQ-2', 'Requirement'),
+            el('NEED-1', 'UserNeed'), el('RISK-1', 'Risk'),
+        ], [
+            rel('a', 'satisfy', 'REQ-1', 'NEED-1'), rel('b', 'mitigates', 'REQ-1', 'RISK-1'),
+            rel('c', 'satisfy', 'REQ-2', 'NEED-1'), // REQ-2 satisfies need but mitigates no risk
+        ]);
+        const c = {
+            id: 'EE-TRACE-001', description: 'requirement traces to need and risk', appliesToKind: 'Requirement',
+            expression: 'satisfy->notEmpty() and mitigates->notEmpty()', severity: 'error',
+        };
+        const v = evaluateNativeConstraint(c, model);
+        expect(v.map(x => x.elementId)).toEqual(['REQ-2']);
+    });
+    it('passes vacuously when no element of the subject kind exists', () => {
+        const c = {
+            id: 'EE-X', description: 'n/a', appliesToKind: 'Nonexistent',
+            expression: 'allocate->notEmpty()', severity: 'error',
+        };
+        expect(evaluateNativeConstraint(c, allocationModel())).toHaveLength(0);
+    });
+    it('rejects an unsupported collection op with a clear error', () => {
+        const c = {
+            id: 'EE-BAD', description: 'bad', appliesToKind: 'Function',
+            expression: 'allocate->isPrime()', severity: 'error',
+        };
+        expect(() => evaluateNativeConstraint(c, allocationModel())).toThrow(/Unsupported collection op/);
+    });
+});
+// ─── EE-2: attributes, strings, quantifiers, arithmetic ───────────────────────
+describe('native constraint evaluator (EE-2 breadth)', () => {
+    it('resolves a typed field — "kind == \\"Function\\""', () => {
+        // Subject kind is Function, so the comparison holds for both functions
+        // and the rule fires for none of them.
+        const c = {
+            id: 'EE-ATTR-001', description: 'kind is Function', appliesToKind: 'Function',
+            expression: 'kind == "Function"', severity: 'error',
+        };
+        expect(evaluateNativeConstraint(c, allocationModel())).toHaveLength(0);
+    });
+    it('resolves an attribute via attributes["key"] and via dotted access', () => {
+        const model = makeModel([el('REQ-A', 'Requirement', { safetyClass: 'C' }), el('REQ-B', 'Requirement', { safetyClass: 'B' })], []);
+        const bracket = {
+            id: 'EE-ATTR-002', description: 'class C', appliesToKind: 'Requirement',
+            expression: 'attributes["safetyClass"] == "C"', severity: 'error',
+        };
+        const dotted = { ...bracket, id: 'EE-ATTR-003', expression: 'attributes.safetyClass == "C"' };
+        // Flags every requirement whose class is NOT "C" → REQ-B.
+        expect(evaluateNativeConstraint(bracket, model).map(v => v.elementId)).toEqual(['REQ-B']);
+        expect(evaluateNativeConstraint(dotted, model).map(v => v.elementId)).toEqual(['REQ-B']);
+    });
+    it('requireAttribute equivalent — "attributes[\\"x\\"]->notEmpty()"', () => {
+        const model = makeModel([el('H-1', 'Hazard', { severity: 'high' }), el('H-2', 'Hazard', {}), el('H-3', 'Hazard', { severity: '' })], []);
+        const c = {
+            id: 'EE-ATTR-004', description: 'severity present', appliesToKind: 'Hazard',
+            expression: 'attributes["severity"]->notEmpty()', severity: 'error',
+        };
+        // Missing and empty-string attributes both fail.
+        expect(evaluateNativeConstraint(c, model).map(v => v.elementId)).toEqual(['H-2', 'H-3']);
+    });
+    it('evaluates arithmetic in a comparison', () => {
+        const model = makeModel([el('F-1', 'Function'), el('F-2', 'Function'), el('B', 'LogicalBlock'), el('X', 'UserNeed')], [rel('a', 'allocate', 'F-1', 'B'), rel('b', 'satisfy', 'F-1', 'X')]);
+        // (allocate->size() + satisfy->size()) >= 2 : F-1 has 2, F-2 has 0.
+        const c = {
+            id: 'EE-ARITH-001', description: 'total links >= 2', appliesToKind: 'Function',
+            expression: 'allocate->size() + satisfy->size() >= 2', severity: 'warning',
+        };
+        expect(evaluateNativeConstraint(c, model).map(v => v.elementId)).toEqual(['F-2']);
+    });
+    it('forAll: every navigated element must satisfy a sub-expression', () => {
+        const model = makeModel([
+            el('REQ-OK', 'Requirement'), el('REQ-BAD', 'Requirement'),
+            el('V-1', 'VerificationCase', { status: 'pass' }),
+            el('V-2', 'VerificationCase', { status: 'pass' }),
+            el('V-3', 'VerificationCase', { status: 'fail' }),
+        ], [
+            rel('a', 'verify', 'REQ-OK', 'V-1'), rel('b', 'verify', 'REQ-OK', 'V-2'),
+            rel('c', 'verify', 'REQ-BAD', 'V-3'),
+        ]);
+        const c = {
+            id: 'EE-QUANT-001', description: 'all verifications pass', appliesToKind: 'Requirement',
+            expression: 'verify->forAll(attributes["status"] == "pass")', severity: 'error',
+        };
+        expect(evaluateNativeConstraint(c, model).map(v => v.elementId)).toEqual(['REQ-BAD']);
+    });
+    it('exists + select: at least one mitigation of a given kind', () => {
+        const model = makeModel([
+            el('RISK-1', 'Risk'), el('RISK-2', 'Risk'),
+            el('M-1', 'DesignControl'), el('M-2', 'LabelWarning'),
+        ], [rel('a', 'mitigates', 'M-1', 'RISK-1'), rel('b', 'mitigates', 'M-2', 'RISK-2')]);
+        const existsC = {
+            id: 'EE-QUANT-002', description: 'mitigated by a design control', appliesToKind: 'Risk',
+            expression: 'mitigates->exists(kind == "DesignControl")', severity: 'error',
+        };
+        // RISK-2 only mitigated by a LabelWarning → fails.
+        expect(evaluateNativeConstraint(existsC, model).map(v => v.elementId)).toEqual(['RISK-2']);
+        const selectC = {
+            id: 'EE-QUANT-003', description: 'has a design-control mitigation', appliesToKind: 'Risk',
+            expression: 'mitigates->select(kind == "DesignControl")->notEmpty()', severity: 'error',
+        };
+        expect(evaluateNativeConstraint(selectC, model).map(v => v.elementId)).toEqual(['RISK-2']);
+    });
+    it('uniqueAttribute equivalent — allOfKind + subject reference', () => {
+        const model = makeModel([
+            el('R-1', 'Requirement', { docId: 'SRS-1' }),
+            el('R-2', 'Requirement', { docId: 'SRS-2' }),
+            el('R-3', 'Requirement', { docId: 'SRS-1' }), // duplicate docId with R-1
+        ], []);
+        const c = {
+            id: 'EE-UNIQ-001', description: 'docId unique across requirements', appliesToKind: 'Requirement',
+            expression: 'allOfKind("Requirement")->select(attributes["docId"] == subject.attributes["docId"])->size() <= 1',
+            severity: 'error',
+        };
+        // R-1 and R-3 share SRS-1 → both flagged; R-2 is unique.
+        expect(evaluateNativeConstraint(c, model).map(v => v.elementId).sort()).toEqual(['R-1', 'R-3']);
+    });
+    it('conditional rule: class-C requirements must be verified', () => {
+        // The conditionalRequireRelationship class of rule: if kind=="Requirement"
+        // and safetyClass=="C" then verify->notEmpty(). Authored as: not(cond) or consequent.
+        const model = makeModel([
+            el('C-OK', 'Requirement', { safetyClass: 'C' }),
+            el('C-BAD', 'Requirement', { safetyClass: 'C' }),
+            el('B-OK', 'Requirement', { safetyClass: 'B' }), // condition false → passes vacuously
+            el('V-1', 'VerificationCase'), el('V-2', 'VerificationCase'),
+        ], [rel('a', 'verify', 'C-OK', 'V-1'), rel('z', 'verify', 'B-OK', 'V-2')]);
+        const c = {
+            id: 'EE-COND-001', description: 'class C requires verification', appliesToKind: 'Requirement',
+            expression: 'not (kind == "Requirement" and attributes["safetyClass"] == "C") or verify->notEmpty()',
+            severity: 'error',
+        };
+        expect(evaluateNativeConstraint(c, model).map(v => v.elementId)).toEqual(['C-BAD']);
+    });
+});
+//# sourceMappingURL=constraint-eval.test.js.map

package/packages/tools/lib/__tests__/constraint-eval.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-eval.test.js","sourceRoot":"","sources":["../../src/__tests__/constraint-eval.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,wBAAwB,EAAyB,MAAM,iCAAiC,CAAC;AAGlG,iFAAiF;AAEjF,SAAS,EAAE,CAAC,EAAU,EAAE,IAAY,EAAE,QAAgC,EAAE;IACpE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;AACjH,CAAC;AAED,SAAS,GAAG,CAAC,EAAU,EAAE,IAAY,EAAE,QAAgB,EAAE,QAAgB;IACrE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AAChG,CAAC;AAED,SAAS,SAAS,CAAC,QAAuB,EAAE,aAAiC;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAChD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,MAAM,SAAS,GAAG,IAAI,GAAG,EAA8B,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACvB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC5B,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpF,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpF,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO;QACH,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,EAAE;QACzC,cAAc,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO;QAChD,mBAAmB,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ;KACrD,CAAC;AACN,CAAC;AAED,mFAAmF;AACnF,SAAS,eAAe;IACpB,OAAO,SAAS,CACZ,CAAC,EAAE,CAAC,aAAa,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,aAAa,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,iBAAiB,EAAE,cAAc,CAAC,CAAC,EACrG,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,iBAAiB,CAAC,CAAC,CAC5D,CAAC;AACN,CAAC;AAED,+EAA+E;AAE/E,QAAQ,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC7D,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAqB;YACxB,EAAE,EAAE,cAAc;YAClB,WAAW,EAAE,yDAAyD;YACtE,aAAa,EAAE,UAAU;YACzB,UAAU,EAAE,sBAAsB;YAClC,QAAQ,EAAE,OAAO;SACpB,CAAC;QACF,MAAM,UAAU,GAAG,wBAAwB,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC;QAClE,MAAM,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACpD,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAClD,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAqB;YACxB,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE,yBAAyB,EAAE,aAAa,EAAE,UAAU;YACrF,UAAU,EAAE,uBAAuB,EAAE,QAAQ,EAAE,SAAS;SAC3D,CAAC;QACF,MAAM,CAAC,GAAG,wBAAwB,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC;QACzD,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QAClE,qEAAqE;QACrE,MAAM,KAAK,GAAG,SAAS,CACnB;YACI,EAAE,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,aAAa,CAAC;YACtD,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;SACjD,EACD;YACI,GAAG,CAAC,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,CAAC;YAChF,GAAG,CAAC,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,6CAA6C;SACxF,CACJ,CAAC;QACF,MAAM,CAAC,GAAqB;YACxB,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE,qCAAqC,EAAE,aAAa,EAAE,aAAa;YACpG,UAAU,EAAE,+CAA+C,EAAE,QAAQ,EAAE,OAAO;SACjF,CAAC;QACF,MAAM,CAAC,GAAG,wBAAwB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7C,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAqB;YACxB,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,aAAa,EAAE,aAAa;YAC5D,UAAU,EAAE,sBAAsB,EAAE,QAAQ,EAAE,OAAO;SACxD,CAAC;QACF,MAAM,CAAC,wBAAwB,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAqB;YACxB,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,aAAa,EAAE,UAAU;YAC3D,UAAU,EAAE,qBAAqB,EAAE,QAAQ,EAAE,OAAO;SACvD,CAAC;QACF,MAAM,CAAC,GAAG,EAAE,CAAC,wBAAwB,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;IACtG,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;IACxD,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QACzD,uEAAuE;QACvE,uCAAuC;QACvC,MAAM,CAAC,GAAqB;YACxB,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,kBAAkB,EAAE,aAAa,EAAE,UAAU;YAC7E,UAAU,EAAE,oBAAoB,EAAE,QAAQ,EAAE,OAAO;SACtD,CAAC;QACF,MAAM,CAAC,wBAAwB,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QACzE,MAAM,KAAK,GAAG,SAAS,CACnB,CAAC,EAAE,CAAC,OAAO,EAAE,aAAa,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,aAAa,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,EACpG,EAAE,CACL,CAAC;QACF,MAAM,OAAO,GAAqB;YAC9B,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,aAAa;YACvE,UAAU,EAAE,kCAAkC,EAAE,QAAQ,EAAE,OAAO;SACpE,CAAC;QACF,MAAM,MAAM,GAAqB,EAAE,GAAG,OAAO,EAAE,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE,+BAA+B,EAAE,CAAC;QAChH,0DAA0D;QAC1D,MAAM,CAAC,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1F,MAAM,CAAC,wBAAwB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACvE,MAAM,KAAK,GAAG,SAAS,CACnB,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,EAC3G,EAAE,CACL,CAAC;QACF,MAAM,CAAC,GAAqB;YACxB,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,kBAAkB,EAAE,aAAa,EAAE,QAAQ;YAC3E,UAAU,EAAE,oCAAoC,EAAE,QAAQ,EAAE,OAAO;SACtE,CAAC;QACF,iDAAiD;QACjD,MAAM,CAAC,wBAAwB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC5C,MAAM,KAAK,GAAG,SAAS,CACnB,CAAC,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,EAC5F,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CACtE,CAAC;QACF,oEAAoE;QACpE,MAAM,CAAC,GAAqB;YACxB,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE,kBAAkB,EAAE,aAAa,EAAE,UAAU;YAC9E,UAAU,EAAE,yCAAyC,EAAE,QAAQ,EAAE,SAAS;SAC7E,CAAC;QACF,MAAM,CAAC,wBAAwB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACrE,MAAM,KAAK,GAAG,SAAS,CACnB;YACI,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,EAAE,CAAC,SAAS,EAAE,aAAa,CAAC;YACzD,EAAE,CAAC,KAAK,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;YACjD,EAAE,CAAC,KAAK,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;YACjD,EAAE,CAAC,KAAK,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;SACpD,EACD;YACI,GAAG,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC;YACxE,GAAG,CAAC,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,CAAC;SACvC,CACJ,CAAC;QACF,MAAM,CAAC,GAAqB;YACxB,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE,wBAAwB,EAAE,aAAa,EAAE,aAAa;YACvF,UAAU,EAAE,gDAAgD,EAAE,QAAQ,EAAE,OAAO;SAClF,CAAC;QACF,MAAM,CAAC,wBAAwB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAChE,MAAM,KAAK,GAAG,SAAS,CACnB;YACI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;YAC1C,EAAE,CAAC,KAAK,EAAE,eAAe,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,cAAc,CAAC;SACxD,EACD,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CACnF,CAAC;QACF,MAAM,OAAO,GAAqB;YAC9B,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE,+BAA+B,EAAE,aAAa,EAAE,MAAM;YACvF,UAAU,EAAE,4CAA4C,EAAE,QAAQ,EAAE,OAAO;SAC9E,CAAC;QACF,mDAAmD;QACnD,MAAM,CAAC,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QAE3F,MAAM,OAAO,GAAqB;YAC9B,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE,iCAAiC,EAAE,aAAa,EAAE,MAAM;YACzF,UAAU,EAAE,wDAAwD,EAAE,QAAQ,EAAE,OAAO;SAC1F,CAAC;QACF,MAAM,CAAC,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QAClE,MAAM,KAAK,GAAG,SAAS,CACnB;YACI,EAAE,CAAC,KAAK,EAAE,aAAa,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;YAC5C,EAAE,CAAC,KAAK,EAAE,aAAa,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;YAC5C,EAAE,CAAC,KAAK,EAAE,aAAa,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,2BAA2B;SAC5E,EACD,EAAE,CACL,CAAC;QACF,MAAM,CAAC,GAAqB;YACxB,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,kCAAkC,EAAE,aAAa,EAAE,aAAa;YAChG,UAAU,EAAE,mGAAmG;YAC/G,QAAQ,EAAE,OAAO;SACpB,CAAC;QACF,yDAAyD;QACzD,MAAM,CAAC,wBAAwB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACpG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QAC/D,2EAA2E;QAC3E,sFAAsF;QACtF,MAAM,KAAK,GAAG,SAAS,CACnB;YACI,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC;YAC/C,EAAE,CAAC,OAAO,EAAE,aAAa,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC;YAChD,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,qCAAqC;YACtF,EAAE,CAAC,KAAK,EAAE,kBAAkB,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,kBAAkB,CAAC;SAC/D,EACD,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CACzE,CAAC;QACF,MAAM,CAAC,GAAqB;YACxB,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,+BAA+B,EAAE,aAAa,EAAE,aAAa;YAC7F,UAAU,EAAE,wFAAwF;YACpG,QAAQ,EAAE,OAAO;SACpB,CAAC;QACF,MAAM,CAAC,wBAAwB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/packages/tools/lib/__tests__/constraint-grammar.test.d.ts

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

package/packages/tools/lib/__tests__/constraint-grammar.test.d.ts.map

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

package/packages/tools/lib/__tests__/constraint-grammar.test.js

@@ -0,0 +1,163 @@
+import { describe, it, expect } from 'vitest';
+import { EmptyFileSystem } from 'langium';
+import { parseHelper } from 'langium/test';
+import { createMemoSysMLServices } from '../language/memo-sysml-module.js';
+import { langiumExprToNode } from '../validator/constraint-eval.js';
+// ─── EE-1: native KerML expression grammar for constraint/requirement bodies ──
+// Covers the ADR-1-18 supported subset: navigation, collection ops, comparison,
+// boolean operators, arithmetic, literals; plus the Langium AST → evaluator
+// mapping (langiumExprToNode) over the full EE-2 evaluable breadth.
+const services = createMemoSysMLServices({ ...EmptyFileSystem }).MemoSysML;
+const parse = parseHelper(services);
+/** Parse a `constraint def C { require constraint { <expr> } }` and return the expression. */
+async function parseExpr(expr) {
+    const src = `
+        package P {
+            constraint def C {
+                require constraint { ${expr} }
+            }
+        }
+    `;
+    const doc = await parse(src);
+    const errors = doc.parseResult.lexerErrors.concat(doc.parseResult.parserErrors);
+    if (errors.length > 0) {
+        throw new Error(`Parse errors:\n${errors.map((e) => e.message).join('\n')}\n\nExpr: ${expr}`);
+    }
+    const pkg = doc.parseResult.value.members[0];
+    const cdef = pkg.members[0];
+    const member = cdef.body[0];
+    expect(member.$type).toBe('RequireConstraintMember');
+    return member.expression;
+}
+describe('EE-1 constraint expression grammar', () => {
+    it('parses a require constraint member with zero errors', async () => {
+        const e = await parseExpr('allocations->notEmpty()');
+        expect(e.$type).toBe('CollectionOp');
+    });
+    it('accepts assert constraint as well as require constraint', async () => {
+        const doc = await parse(`
+            package P {
+                requirement def R {
+                    assert constraint { satisfies->size() >= 1 }
+                }
+            }
+        `);
+        const errors = doc.parseResult.lexerErrors.concat(doc.parseResult.parserErrors);
+        expect(errors).toHaveLength(0);
+        const pkg = doc.parseResult.value.members[0];
+        const rdef = pkg.members[0];
+        const member = rdef.body[0];
+        expect(member.kind).toBe('assert');
+    });
+    describe('collection operations', () => {
+        for (const op of ['size', 'notEmpty', 'isEmpty', 'forAll', 'exists', 'select']) {
+            it(`parses ->${op}()`, async () => {
+                const arg = ['forAll', 'exists', 'select'].includes(op) ? 'mitigates->notEmpty()' : '';
+                const e = await parseExpr(`hazards->${op}(${arg})`);
+                expect(e.$type).toBe('CollectionOp');
+                expect(e.op).toBe(op);
+            });
+        }
+    });
+    describe('comparison operators', () => {
+        for (const op of ['==', '!=', '>=', '<=', '>', '<']) {
+            it(`parses ${op}`, async () => {
+                const e = await parseExpr(`severity->size() ${op} 3`);
+                expect(e.$type).toBe('BinaryExpr');
+                expect(e.op).toBe(op);
+            });
+        }
+    });
+    describe('boolean operators', () => {
+        it('parses and / or with or looser than and', async () => {
+            const e = await parseExpr('a->notEmpty() and b->isEmpty() or c->notEmpty()');
+            // or is the root (loosest binding)
+            expect(e.$type).toBe('BinaryExpr');
+            expect(e.op).toBe('or');
+            expect(e.left.op).toBe('and');
+        });
+        it('parses not', async () => {
+            const e = await parseExpr('not a->isEmpty()');
+            expect(e.$type).toBe('UnaryExpr');
+            expect(e.op).toBe('not');
+        });
+    });
+    describe('arithmetic operators', () => {
+        for (const op of ['+', '-', '*', '/']) {
+            it(`parses ${op}`, async () => {
+                const e = await parseExpr(`a->size() == 1 ${op} 2`);
+                expect(e.$type).toBe('BinaryExpr');
+                // arithmetic binds tighter than comparison → right side is the arithmetic BinaryExpr
+                expect(e.right.op).toBe(op);
+            });
+        }
+    });
+    describe('literals and navigation', () => {
+        it('parses integer literal', async () => {
+            const e = await parseExpr('count == 5');
+            expect(e.right.$type).toBe('LiteralExpr');
+            // Langium's INT value converter yields a number at runtime.
+            expect(e.right.intValue).toBe(5);
+        });
+        it('parses boolean literal', async () => {
+            const e = await parseExpr('flag == true');
+            expect(e.right.boolValue).toBe('true');
+        });
+        it('parses string literal', async () => {
+            const e = await parseExpr('label == "high"');
+            // Langium's STRING value converter strips the surrounding quotes.
+            expect(e.right.strValue).toBe('high');
+        });
+        it('parses a single-segment feature', async () => {
+            const e = await parseExpr('allocations->size() == 0');
+            expect(e.left.target.$type).toBe('FeatureChain');
+            expect(e.left.target.segments).toEqual(['allocations']);
+        });
+        it('parses a dotted feature chain', async () => {
+            const e = await parseExpr('a.b.c->notEmpty()');
+            expect(e.target.segments).toEqual(['a', 'b', 'c']);
+        });
+        it('parses parenthesized grouping', async () => {
+            const e = await parseExpr('(a->notEmpty() or b->notEmpty()) and c->isEmpty()');
+            expect(e.op).toBe('and');
+        });
+    });
+});
+describe('EE-1 langiumExprToNode mapping', () => {
+    it('maps the evaluable core (nav, collection op, comparison)', async () => {
+        const node = langiumExprToNode(await parseExpr('allocations->size() >= 1'));
+        expect(node).toEqual({
+            kind: 'cmp',
+            op: '>=',
+            left: { kind: 'method', target: { kind: 'feature', root: 'current', segments: ['allocations'] }, name: 'size' },
+            right: { kind: 'int', value: 1 },
+        });
+    });
+    it('maps boolean and/or/not', async () => {
+        const node = langiumExprToNode(await parseExpr('not a->isEmpty() and b->notEmpty()'));
+        expect(node.kind).toBe('and');
+    });
+    it('maps integer and boolean literals', async () => {
+        expect(langiumExprToNode((await parseExpr('x == 7')))).toMatchObject({ right: { kind: 'int', value: 7 } });
+        expect(langiumExprToNode((await parseExpr('x == true')))).toMatchObject({ right: { kind: 'bool', value: true } });
+    });
+    it('maps the EE-2 breadth (quantifiers, multi-segment chains, arithmetic, strings)', async () => {
+        // Quantifier with sub-expression body.
+        const quant = langiumExprToNode(await parseExpr('hazards->forAll(mitigates->notEmpty())'));
+        expect(quant).toMatchObject({
+            kind: 'quant', name: 'forAll',
+            target: { kind: 'feature', segments: ['hazards'] },
+            body: { kind: 'method', name: 'notEmpty', target: { kind: 'feature', segments: ['mitigates'] } },
+        });
+        // Multi-segment feature chain.
+        expect(langiumExprToNode(await parseExpr('a.b->notEmpty()')))
+            .toMatchObject({ kind: 'method', target: { kind: 'feature', segments: ['a', 'b'] } });
+        // Arithmetic.
+        expect(langiumExprToNode((await parseExpr('count == 1 + 2'))))
+            .toMatchObject({ right: { kind: 'arith', op: '+', left: { kind: 'int', value: 1 }, right: { kind: 'int', value: 2 } } });
+        // String literal.
+        expect(langiumExprToNode((await parseExpr('label == "x"'))))
+            .toMatchObject({ right: { kind: 'str', value: 'x' } });
+    });
+});
+//# sourceMappingURL=constraint-grammar.test.js.map

package/packages/tools/lib/__tests__/constraint-grammar.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-grammar.test.js","sourceRoot":"","sources":["../../src/__tests__/constraint-grammar.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAwB,eAAe,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AAS3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAEpE,iFAAiF;AACjF,gFAAgF;AAChF,4EAA4E;AAC5E,oEAAoE;AAEpE,MAAM,QAAQ,GAAG,uBAAuB,CAAC,EAAE,GAAG,eAAe,EAAE,CAAC,CAAC,SAAS,CAAC;AAC3E,MAAM,KAAK,GAAG,WAAW,CAAQ,QAAQ,CAAC,CAAC;AAE3C,8FAA8F;AAC9F,KAAK,UAAU,SAAS,CAAC,IAAY;IACjC,MAAM,GAAG,GAAG;;;uCAGuB,IAAI;;;KAGtC,CAAC;IACF,MAAM,GAAG,GAA2B,MAAM,KAAK,CAAC,GAAG,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,YAAqB,CAAC,CAAC;IACzF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,kBAAkB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAuB,CAAC;IACnE,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAyB,CAAC;IACpD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAA4B,CAAC;IACvD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACrD,OAAO,MAAM,CAAC,UAAU,CAAC;AAC7B,CAAC;AAED,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,qDAAqD,EAAE,KAAK,IAAI,EAAE;QACjE,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,yBAAyB,CAAC,CAAC;QACrD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;QACrE,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC;;;;;;SAMvB,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,YAAqB,CAAC,CAAC;QACzF,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAuB,CAAC;QACnE,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAA0B,CAAC;QACrD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAA4B,CAAC;QACvD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACnC,KAAK,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC7E,EAAE,CAAC,YAAY,EAAE,IAAI,EAAE,KAAK,IAAI,EAAE;gBAC9B,MAAM,GAAG,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvF,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,YAAY,EAAE,IAAI,GAAG,GAAG,CAAC,CAAC;gBACpD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBACrC,MAAM,CAAE,CAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACnC,CAAC,CAAC,CAAC;QACP,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAClC,KAAK,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YAClD,EAAE,CAAC,UAAU,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE;gBAC1B,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,oBAAoB,EAAE,IAAI,CAAC,CAAC;gBACtD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBACnC,MAAM,CAAE,CAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACnC,CAAC,CAAC,CAAC;QACP,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,yCAAyC,EAAE,KAAK,IAAI,EAAE;YACrD,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,iDAAiD,CAAC,CAAC;YAC7E,mCAAmC;YACnC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YACnC,MAAM,CAAE,CAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjC,MAAM,CAAE,CAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,YAAY,EAAE,KAAK,IAAI,EAAE;YACxB,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,kBAAkB,CAAC,CAAC;YAC9C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAClC,MAAM,CAAE,CAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAClC,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YACpC,EAAE,CAAC,UAAU,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE;gBAC1B,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,kBAAkB,EAAE,IAAI,CAAC,CAAC;gBACpD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBACnC,qFAAqF;gBACrF,MAAM,CAAE,CAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACzC,CAAC,CAAC,CAAC;QACP,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACrC,EAAE,CAAC,wBAAwB,EAAE,KAAK,IAAI,EAAE;YACpC,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,YAAY,CAAC,CAAC;YACxC,MAAM,CAAE,CAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YACnD,4DAA4D;YAC5D,MAAM,CAAE,CAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,wBAAwB,EAAE,KAAK,IAAI,EAAE;YACpC,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,cAAc,CAAC,CAAC;YAC1C,MAAM,CAAE,CAAS,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,uBAAuB,EAAE,KAAK,IAAI,EAAE;YACnC,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,iBAAiB,CAAC,CAAC;YAC7C,kEAAkE;YAClE,MAAM,CAAE,CAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;YAC7C,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,0BAA0B,CAAC,CAAC;YACtD,MAAM,CAAE,CAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAC1D,MAAM,CAAE,CAAS,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,+BAA+B,EAAE,KAAK,IAAI,EAAE;YAC3C,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,mBAAmB,CAAC,CAAC;YAC/C,MAAM,CAAE,CAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,+BAA+B,EAAE,KAAK,IAAI,EAAE;YAC3C,MAAM,CAAC,GAAG,MAAM,SAAS,CAAC,mDAAmD,CAAC,CAAC;YAC/E,MAAM,CAAE,CAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;QACtE,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,SAAS,CAAC,0BAA0B,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC;YACjB,IAAI,EAAE,KAAK;YACX,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;YAC/G,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;SACnC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,yBAAyB,EAAE,KAAK,IAAI,EAAE;QACrC,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,SAAS,CAAC,oCAAoC,CAAC,CAAC,CAAC;QACtF,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;QAC/C,MAAM,CAAC,iBAAiB,CAAC,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClH,MAAM,CAAC,iBAAiB,CAAC,CAAC,MAAM,SAAS,CAAC,WAAW,CAAC,CAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IAC7H,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,KAAK,IAAI,EAAE;QAC5F,uCAAuC;QACvC,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,SAAS,CAAC,wCAAwC,CAAC,CAAC,CAAC;QAC3F,MAAM,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC;YACxB,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ;YAC7B,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,SAAS,CAAC,EAAE;YAClD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE;SACnG,CAAC,CAAC;QACH,+BAA+B;QAC/B,MAAM,CAAC,iBAAiB,CAAC,MAAM,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC;aACxD,aAAa,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1F,cAAc;QACd,MAAM,CAAC,iBAAiB,CAAC,CAAC,MAAM,SAAS,CAAC,gBAAgB,CAAC,CAAQ,CAAC,CAAC;aAChE,aAAa,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC7H,kBAAkB;QAClB,MAAM,CAAC,iBAAiB,CAAC,CAAC,MAAM,SAAS,CAAC,cAAc,CAAC,CAAQ,CAAC,CAAC;aAC9D,aAAa,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/packages/tools/lib/__tests__/constraint-loader.test.d.ts

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

package/packages/tools/lib/__tests__/constraint-loader.test.d.ts.map

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

package/packages/tools/lib/__tests__/constraint-loader.test.js

@@ -0,0 +1,150 @@
+import { describe, it, expect } from 'vitest';
+import { EmptyFileSystem } from 'langium';
+import { parseHelper } from 'langium/test';
+import { createMemoSysMLServices } from '../language/memo-sysml-module.js';
+import { collectNativeConstraints } from '../validator/constraint-loader.js';
+import { evaluateConstraintNode } from '../validator/constraint-eval.js';
+// ─── EE-3: ontology constraint def loader ─────────────────────────────────────
+// collectNativeConstraints discovers native `constraint def` bodies (the EE-3
+// replacement for the proprietary ConsistencyRule predicate-attribute parts) and
+// compiles each into an evaluator AST with its rule metadata.
+const services = createMemoSysMLServices({ ...EmptyFileSystem }).MemoSysML;
+const parse = parseHelper(services);
+async function parseDoc(src) {
+    const doc = await parse(src);
+    const errors = doc.parseResult.lexerErrors.concat(doc.parseResult.parserErrors);
+    if (errors.length > 0) {
+        throw new Error(`Parse errors:\n${errors.map((e) => e.message).join('\n')}`);
+    }
+    return { document: doc, filePath: 'test.sysml' };
+}
+async function load(src) {
+    return collectNativeConstraints([await parseDoc(src)]);
+}
+// ─── Test model builder (mirrors constraint-eval.test.ts) ─────────────────────
+let _id = 0;
+function elem(kind, name, attributes = {}) {
+    return { id: `${kind}-${++_id}`, name, kind, layer: 'test', attributes };
+}
+function buildModel(elements, rels = []) {
+    const byId = new Map(elements.map((e) => [e.id, e]));
+    const byKind = new Map();
+    for (const e of elements) {
+        const list = byKind.get(e.kind) ?? [];
+        list.push(e);
+        byKind.set(e.kind, list);
+    }
+    const relationships = rels.map((r, i) => ({
+        id: `rel-${i}`, type: r.type, sourceId: r.from, targetId: r.to,
+    }));
+    const outgoing = new Map();
+    const incoming = new Map();
+    const relationshipsByType = new Map();
+    for (const r of relationships) {
+        if (!outgoing.has(r.sourceId))
+            outgoing.set(r.sourceId, []);
+        outgoing.get(r.sourceId).push(r);
+        if (!incoming.has(r.targetId))
+            incoming.set(r.targetId, []);
+        incoming.get(r.targetId).push(r);
+        if (!relationshipsByType.has(r.type))
+            relationshipsByType.set(r.type, []);
+        relationshipsByType.get(r.type).push(r);
+    }
+    return { elements: byId, elementsByKind: byKind, relationships, relationshipsByType, outgoing, incoming };
+}
+describe('collectNativeConstraints', () => {
+    it('extracts metadata and compiles the require constraint body', async () => {
+        const constraints = await load(`
+            package P {
+                constraint def hazardMitigationRule {
+                    attribute id = "CR-MED-001";
+                    attribute appliesTo = "Hazard";
+                    attribute severity = RuleSeverityKind::error;
+                    attribute rationaleText = "Every hazard must be mitigated.";
+                    require constraint { mitigates->size() >= 1 }
+                }
+            }
+        `);
+        expect(constraints).toHaveLength(1);
+        const c = constraints[0];
+        expect(c.id).toBe('CR-MED-001');
+        expect(c.appliesToKind).toBe('Hazard');
+        expect(c.severity).toBe('error');
+        expect(c.description).toBe('Every hazard must be mitigated.');
+        expect(c.ast).toEqual({
+            kind: 'cmp', op: '>=',
+            left: { kind: 'method', target: { kind: 'feature', root: 'current', segments: ['mitigates'] }, name: 'size' },
+            right: { kind: 'int', value: 1 },
+        });
+    });
+    it('reads the severity enum, defaulting to warning when absent', async () => {
+        const [a] = await load(`package P { constraint def R {
+            attribute id = "A"; attribute appliesTo = "X";
+            require constraint { foo->notEmpty() } } }`);
+        expect(a.severity).toBe('warning');
+    });
+    it('skips defs with no require/assert body (metadata-only coverage/lifecycle rules)', async () => {
+        const constraints = await load(`
+            package P {
+                constraint def coverageOnly {
+                    attribute id = "COV-1";
+                    attribute appliesTo = "Hazard";
+                    attribute standard = "ISO 14971";
+                }
+            }
+        `);
+        expect(constraints).toHaveLength(0);
+    });
+    it('skips defs without an id attribute', async () => {
+        const constraints = await load(`package P { constraint def Anon {
+            require constraint { foo->notEmpty() } } }`);
+        expect(constraints).toHaveLength(0);
+    });
+    it('de-duplicates by rule id across document sets', async () => {
+        // The same ontology file can appear in more than one document set (ontology
+        // load + project parse); a rule id is unique so it must not double-count.
+        const doc = await parseDoc(`
+            package P {
+                constraint def hazardMitigationRule {
+                    attribute id = "CR-MED-001";
+                    attribute appliesTo = "Hazard";
+                    require constraint { mitigates->size() >= 1 }
+                }
+            }
+        `);
+        const constraints = collectNativeConstraints([doc, doc]);
+        expect(constraints).toHaveLength(1);
+        expect(constraints[0].id).toBe('CR-MED-001');
+    });
+});
+describe('native constraint evaluation (EE-3 rule semantics)', () => {
+    it('requireRelationship: flags subjects missing the navigation', async () => {
+        const h1 = elem('Hazard', 'H1'); // unmitigated → violation
+        const h2 = elem('Hazard', 'H2'); // mitigated → ok
+        const rc = elem('RiskControl', 'RC1');
+        const m = buildModel([h1, h2, rc], [{ type: 'mitigates', from: h2.id, to: rc.id }]);
+        const [native] = await load(`package P { constraint def hazardMitigationRule {
+            attribute id = "CR-MED-001"; attribute appliesTo = "Hazard";
+            attribute severity = RuleSeverityKind::error;
+            attribute rationaleText = "hazard needs mitigation";
+            require constraint { mitigates->size() >= 1 } } }`);
+        const nativeViolations = evaluateConstraintNode(native, native.ast, m);
+        expect(nativeViolations).toHaveLength(1);
+        expect(nativeViolations[0].elementName).toBe('H1');
+        expect(nativeViolations[0].severity).toBe('error');
+    });
+    it('requireAttribute: native attributes.X != "" flags empty attributes', async () => {
+        const ok = elem('SoftwareComponent', 'SC1', { safetyClass: 'C' });
+        const bad = elem('SoftwareComponent', 'SC2', {});
+        const m = buildModel([ok, bad]);
+        const [native] = await load(`package P { constraint def swSafety {
+            attribute id = "CR-MED-020"; attribute appliesTo = "SoftwareComponent";
+            attribute severity = RuleSeverityKind::error;
+            require constraint { attributes.safetyClass != "" } } }`);
+        const nativeViolations = evaluateConstraintNode(native, native.ast, m);
+        expect(nativeViolations).toHaveLength(1);
+        expect(nativeViolations[0].elementName).toBe('SC2');
+    });
+});
+//# sourceMappingURL=constraint-loader.test.js.map

package/packages/tools/lib/__tests__/constraint-loader.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-loader.test.js","sourceRoot":"","sources":["../../src/__tests__/constraint-loader.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAwB,eAAe,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AAG3E,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAGzE,iFAAiF;AACjF,8EAA8E;AAC9E,iFAAiF;AACjF,8DAA8D;AAE9D,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,GAAW;IAC/B,MAAM,GAAG,GAA2B,MAAM,KAAK,CAAC,GAAG,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,YAAqB,CAAC,CAAC;IACzF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,kBAAkB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAoB,CAAC;AACvE,CAAC;AAED,KAAK,UAAU,IAAI,CAAC,GAAW;IAC3B,OAAO,wBAAwB,CAAC,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,iFAAiF;AAEjF,IAAI,GAAG,GAAG,CAAC,CAAC;AACZ,SAAS,IAAI,CAAC,IAAY,EAAE,IAAY,EAAE,aAAqC,EAAE;IAC7E,OAAO,EAAE,EAAE,EAAE,GAAG,IAAI,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAiB,CAAC;AAC5F,CAAC;AAED,SAAS,UAAU,CAAC,QAAuB,EAAE,OAAkB,EAAE;IAC7D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACtC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACb,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,aAAa,GAAuB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1D,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE;KAC5C,CAAA,CAAC,CAAC;IACxB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAA8B,CAAC;IAClE,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC5B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC5D,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC5D,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC1E,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,aAAa,EAAE,mBAAmB,EAAE,QAAQ,EAAE,QAAQ,EAAe,CAAC;AAC3H,CAAC;AAED,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;QACxE,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC;;;;;;;;;;SAU9B,CAAC,CAAC;QACH,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;QAC9D,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;YAClB,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI;YACrB,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;YAC7G,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;SACnC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;QACxE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC;;uDAEwB,CAAC,CAAC;QACjD,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,KAAK,IAAI,EAAE;QAC7F,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC;;;;;;;;SAQ9B,CAAC,CAAC;QACH,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,KAAK,IAAI,EAAE;QAChD,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC;uDACgB,CAAC,CAAC;QACjD,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,KAAK,IAAI,EAAE;QAC3D,4EAA4E;QAC5E,0EAA0E;QAC1E,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC;;;;;;;;SAQ1B,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,wBAAwB,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAChE,EAAE,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;QACxE,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAiB,0BAA0B;QAC3E,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAiB,iBAAiB;QAClE,MAAM,EAAE,GAAG,IAAI,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAEpF,MAAM,CAAC,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC;;;;8DAI0B,CAAC,CAAC;QACxD,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAEvE,MAAM,CAAC,gBAAgB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;QAChF,MAAM,EAAE,GAAG,IAAI,CAAC,mBAAmB,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC;QAClE,MAAM,GAAG,GAAG,IAAI,CAAC,mBAAmB,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;QAEhC,MAAM,CAAC,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC;;;oEAGgC,CAAC,CAAC;QAC9D,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAEvE,MAAM,CAAC,gBAAgB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/packages/tools/lib/__tests__/csv-io.test.d.ts

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

package/packages/tools/lib/__tests__/csv-io.test.d.ts.map

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