@memoarchitect/tools 0.4.4

package/packages/tools/lib/validator/constraint-eval.js

@@ -0,0 +1,478 @@
+// ─── Native Constraint Evaluator (Epic EE) ────────────────────────────────────
+//
+// Proves the keystone thesis: MEMO evaluates SysML v2 / KerML-style constraint
+// EXPRESSIONS directly against the built MemoModel, instead of interpreting the
+// proprietary ClosureRule enum (validator/rule-engine.ts) or the predicate-attribute
+// pseudo-rules produced by RuleRegistry (validator/rule-registry.ts).
+//
+// SCOPE (after EE-2 — see docs/design/constraint-evaluator.md and ADR-1-18):
+//   - Feature/relationship navigation, including multi-segment feature chains and
+//     attribute access (`kind`, `attributes["safetyClass"]`).
+//   - Collection operations: ->size()/->notEmpty()/->isEmpty() and the quantifiers
+//     ->forAll(expr)/->exists(expr)/->select(expr) (sub-expression evaluated with
+//     each collection element as the implicit subject).
+//   - Operators: or < and < comparison < additive (+ -) < multiplicative (* /) <
+//     not < postfix(->) < primary.
+//   - Literals: integer, string ("…"), boolean.
+//   - `subject` root reference and `allOfKind("Kind")` extent accessor — these give
+//     uniqueAttribute-class rules a native form (EE-3 migration contract).
+//
+// Navigation semantics (matches ClosureRule direction default 'any'):
+//   a feature-chain segment resolves to a RELATIONSHIP (collection, either
+//   direction) if its lowercased name is a key in model.relationshipsByType,
+//   else to an ATTRIBUTE/typed-field scalar on the element. The `attributes`
+//   segment is the attribute-map accessor: the following segment (or `["key"]`
+//   index) names the attribute key.
+// ──────────────────────────────────────────────────────────────────────────────
+/** Evaluate one native constraint (expression as source string) against its subject kind. */
+export function evaluateNativeConstraint(constraint, model) {
+    const ast = parseExpression(constraint.expression);
+    const { expression: _drop, ...meta } = constraint;
+    return evaluateConstraintNode(meta, ast, model);
+}
+/**
+ * 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 function evaluateConstraintNode(meta, ast, model) {
+    const subjects = model.elementsByKind.get(meta.appliesToKind) ?? [];
+    const violations = [];
+    for (const element of subjects) {
+        const ok = toBool(evalNode(ast, { root: element, current: element }, model));
+        if (!ok) {
+            violations.push({
+                ruleId: meta.id,
+                description: meta.description,
+                severity: meta.severity,
+                elementId: element.id,
+                elementKind: element.kind,
+                elementName: element.name,
+                layer: element.layer,
+            });
+        }
+    }
+    return violations;
+}
+/** Typed fields on MemoElement that a bare feature segment may resolve to. */
+const TYPED_FIELDS = new Set(['kind', 'layer', 'construct', 'allocatedTo', 'name', 'id', 'package', 'shortId']);
+function tokenize(src) {
+    const tokens = [];
+    const re = /\s*(->|==|!=|>=|<=|"[^"]*"|[<>()[\].+\-*/]|[A-Za-z_][A-Za-z0-9_]*|\d+)/y;
+    let m;
+    let pos = 0;
+    while (pos < src.length) {
+        re.lastIndex = pos;
+        m = re.exec(src);
+        if (!m)
+            throw new Error(`Constraint parse error near: "${src.slice(pos)}"`);
+        pos = re.lastIndex;
+        const raw = m[1];
+        if (/^\d+$/.test(raw))
+            tokens.push({ t: 'int', v: raw });
+        else if (raw[0] === '"')
+            tokens.push({ t: 'str', v: raw.slice(1, -1) });
+        else if (/^[A-Za-z_]/.test(raw))
+            tokens.push({ t: 'ident', v: raw });
+        else
+            tokens.push({ t: raw });
+    }
+    tokens.push({ t: 'eof' });
+    return tokens;
+}
+// ─── Parser ───────────────────────────────────────────────────────────────────
+// Precedence (loosest→tightest): or < and < cmp < add < mul < not < postfix < primary.
+const KEYWORDS = new Set(['and', 'or', 'not', 'true', 'false']);
+const COLLECTION_OPS = new Set(['size', 'notEmpty', 'isEmpty']);
+const QUANTIFIER_OPS = new Set(['forAll', 'exists', 'select']);
+function parseExpression(src) {
+    const tokens = tokenize(src);
+    let i = 0;
+    const peek = () => tokens[i];
+    const next = () => tokens[i++];
+    const expect = (t) => {
+        if (peek().t !== t)
+            throw new Error(`Expected '${t}', got '${peek().t}'`);
+        return next();
+    };
+    function parseOr() {
+        let left = parseAnd();
+        while (peek().t === 'ident' && peek().v === 'or') {
+            next();
+            left = { kind: 'or', left, right: parseAnd() };
+        }
+        return left;
+    }
+    function parseAnd() {
+        let left = parseCmp();
+        while (peek().t === 'ident' && peek().v === 'and') {
+            next();
+            left = { kind: 'and', left, right: parseCmp() };
+        }
+        return left;
+    }
+    function parseCmp() {
+        const left = parseAdd();
+        const op = peek().t;
+        if (op === '==' || op === '!=' || op === '>=' || op === '<=' || op === '>' || op === '<') {
+            next();
+            return { kind: 'cmp', op, left, right: parseAdd() };
+        }
+        return left;
+    }
+    function parseAdd() {
+        let left = parseMul();
+        while (peek().t === '+' || peek().t === '-') {
+            const op = next().t;
+            left = { kind: 'arith', op, left, right: parseMul() };
+        }
+        return left;
+    }
+    function parseMul() {
+        let left = parseNot();
+        while (peek().t === '*' || peek().t === '/') {
+            const op = next().t;
+            left = { kind: 'arith', op, left, right: parseNot() };
+        }
+        return left;
+    }
+    function parseNot() {
+        if (peek().t === 'ident' && peek().v === 'not') {
+            next();
+            return { kind: 'not', operand: parseNot() };
+        }
+        return parsePostfix();
+    }
+    function parsePostfix() {
+        let node = parsePrimary();
+        while (peek().t === '->') {
+            next();
+            const name = expect('ident').v;
+            expect('(');
+            if (COLLECTION_OPS.has(name)) {
+                expect(')');
+                node = { kind: 'method', target: node, name: name };
+            }
+            else if (QUANTIFIER_OPS.has(name)) {
+                const body = parseOr();
+                expect(')');
+                node = { kind: 'quant', target: node, name: name, body };
+            }
+            else {
+                throw new Error(`Unsupported collection op '->${name}()'`);
+            }
+        }
+        return node;
+    }
+    function parsePrimary() {
+        const tok = peek();
+        if (tok.t === '(') {
+            next();
+            const e = parseOr();
+            expect(')');
+            return e;
+        }
+        if (tok.t === 'int') {
+            next();
+            return { kind: 'int', value: parseInt(tok.v, 10) };
+        }
+        if (tok.t === 'str') {
+            next();
+            return { kind: 'str', value: tok.v };
+        }
+        if (tok.t === 'ident') {
+            if (tok.v === 'true' || tok.v === 'false') {
+                next();
+                return { kind: 'bool', value: tok.v === 'true' };
+            }
+            if (tok.v === 'allOfKind') {
+                next();
+                expect('(');
+                const arg = peek();
+                if (arg.t !== 'str')
+                    throw new Error(`allOfKind expects a string kind name, got '${arg.t}'`);
+                next();
+                expect(')');
+                return { kind: 'allOfKind', kindName: arg.v };
+            }
+            if (KEYWORDS.has(tok.v))
+                throw new Error(`Unexpected keyword '${tok.v}'`);
+            return parseFeature();
+        }
+        throw new Error(`Unexpected token '${tok.t}'`);
+    }
+    function parseFeature() {
+        const first = next().v;
+        const root = first === 'subject' ? 'subject' : 'current';
+        const segments = first === 'subject' ? [] : [first];
+        for (;;) {
+            if (peek().t === '.') {
+                next();
+                segments.push(expect('ident').v);
+                continue;
+            }
+            if (peek().t === '[') {
+                next();
+                segments.push(expect('str').v);
+                expect(']');
+                continue;
+            }
+            break;
+        }
+        return { kind: 'feature', root, segments };
+    }
+    const ast = parseOr();
+    if (peek().t !== 'eof')
+        throw new Error(`Trailing tokens after expression: '${peek().t}'`);
+    return ast;
+}
+// ─── Evaluator ────────────────────────────────────────────────────────────────
+function evalNode(node, env, model) {
+    switch (node.kind) {
+        case 'bool': return node.value;
+        case 'int': return node.value;
+        case 'str': return node.value;
+        case 'feature': return resolveFeature(node.root === 'subject' ? env.root : env.current, node.segments, model);
+        case 'allOfKind': return model.elementsByKind.get(node.kindName) ?? [];
+        case 'method': {
+            const len = lengthOf(evalNode(node.target, env, model));
+            if (node.name === 'size')
+                return len;
+            if (node.name === 'notEmpty')
+                return len > 0;
+            return len === 0; // isEmpty
+        }
+        case 'quant': {
+            const coll = asCollection(evalNode(node.target, env, model));
+            if (node.name === 'forAll')
+                return coll.every(e => toBool(evalNode(node.body, { root: env.root, current: e }, model)));
+            if (node.name === 'exists')
+                return coll.some(e => toBool(evalNode(node.body, { root: env.root, current: e }, model)));
+            return coll.filter(e => toBool(evalNode(node.body, { root: env.root, current: e }, model))); // select
+        }
+        case 'arith': {
+            const l = toNumber(evalNode(node.left, env, model));
+            const r = toNumber(evalNode(node.right, env, model));
+            switch (node.op) {
+                case '+': return l + r;
+                case '-': return l - r;
+                case '*': return l * r;
+                case '/': return l / r;
+            }
+        }
+        // eslint-disable-next-line no-fallthrough
+        case 'cmp': return compare(node.op, evalNode(node.left, env, model), evalNode(node.right, env, model));
+        case 'and': return toBool(evalNode(node.left, env, model)) && toBool(evalNode(node.right, env, model));
+        case 'or': return toBool(evalNode(node.left, env, model)) || toBool(evalNode(node.right, env, model));
+        case 'not': return !toBool(evalNode(node.operand, env, model));
+    }
+}
+/** True if `seg` names a relationship type, compared case-insensitively (keys are camelCase). */
+function isRelType(model, seg) {
+    if (model.relationshipsByType.has(seg))
+        return true;
+    const low = seg.toLowerCase();
+    for (const k of model.relationshipsByType.keys())
+        if (k.toLowerCase() === low)
+            return true;
+    return false;
+}
+/** Resolve a feature chain starting from `start`. See navigation semantics in header. */
+function resolveFeature(start, segments, model) {
+    let val = start;
+    for (let k = 0; k < segments.length; k++) {
+        const seg = segments[k];
+        if (isElement(val)) {
+            if (seg === 'attributes') {
+                const key = segments[++k];
+                if (key === undefined)
+                    throw new Error("'attributes' must be followed by an attribute key");
+                val = val.attributes[key] ?? '';
+            }
+            else if (isRelType(model, seg)) {
+                val = navigate(val, seg.toLowerCase(), model);
+            }
+            else if (TYPED_FIELDS.has(seg)) {
+                val = val[seg] ?? '';
+            }
+            else {
+                val = val.attributes[seg] ?? '';
+            }
+        }
+        else if (Array.isArray(val)) {
+            if (!isRelType(model, seg)) {
+                throw new Error(`Cannot resolve attribute '${seg}' on a collection; only relationship navigation chains across collections`);
+            }
+            val = val.flatMap(e => navigate(e, seg.toLowerCase(), model));
+        }
+        else {
+            throw new Error(`Cannot navigate '${seg}' on a primitive value`);
+        }
+    }
+    return val;
+}
+/**
+ * Elements related to `subject` by a relationship of `relType`, in either direction.
+ *
+ * Navigation is bidirectional by the relation's single forward name on purpose:
+ * a rule reaches the edge from either endpoint under one name (e.g. a Hazard
+ * satisfies `mitigatesHazard->size() >= 1` via the incoming scan, even though the
+ * edge is authored riskControl → hazard). This is load-bearing for the rule packs;
+ * do not make the bare name forward-only.
+ *
+ * There is deliberately no per-edge inverse name: an inverse reading is the same
+ * fact viewed from the other end, not a distinct relation. If a reflexive relation
+ * ever needs its two readings separated (e.g. `derivesInto` ancestors vs
+ * descendants), add it as an *additive* directional token plus a `reverseName` on
+ * the relation type in the registry — keeping the bare name bidirectional — rather
+ * than reviving a stored inverse field.
+ */
+function navigate(subject, relType, model) {
+    const out = [];
+    // A relationship matches the requested name by its (forward) type; we then
+    // return the element at the opposite end, scanning both directions so the
+    // single forward name is navigable from either endpoint.
+    // Case-insensitive: relationshipsByType is keyed by camelCase rel.type
+    // (e.g. "verifiedBy"), but nav segments arrive lowercased.
+    const want = relType.toLowerCase();
+    const matches = (rel) => rel.type.toLowerCase() === want;
+    for (const rel of model.outgoing.get(subject.id) ?? []) {
+        if (matches(rel)) {
+            const e = model.elements.get(rel.targetId);
+            if (e)
+                out.push(e);
+        }
+    }
+    for (const rel of model.incoming.get(subject.id) ?? []) {
+        if (matches(rel)) {
+            const e = model.elements.get(rel.sourceId);
+            if (e)
+                out.push(e);
+        }
+    }
+    return out;
+}
+function compare(op, l, r) {
+    if (typeof l === 'string' || typeof r === 'string') {
+        const ls = toStringValue(l);
+        const rs = toStringValue(r);
+        switch (op) {
+            case '==': return ls === rs;
+            case '!=': return ls !== rs;
+            case '>=': return ls >= rs;
+            case '<=': return ls <= rs;
+            case '>': return ls > rs;
+            case '<': return ls < rs;
+        }
+    }
+    const ln = toNumber(l);
+    const rn = toNumber(r);
+    switch (op) {
+        case '==': return ln === rn;
+        case '!=': return ln !== rn;
+        case '>=': return ln >= rn;
+        case '<=': return ln <= rn;
+        case '>': return ln > rn;
+        case '<': return ln < rn;
+    }
+}
+function isElement(v) {
+    return typeof v === 'object' && !Array.isArray(v);
+}
+function asCollection(v) {
+    if (Array.isArray(v))
+        return v;
+    throw new Error('Quantifier applied to non-collection value');
+}
+/** Length of a collection or string; the basis for size/notEmpty/isEmpty. */
+function lengthOf(v) {
+    if (Array.isArray(v))
+        return v.length;
+    if (typeof v === 'string')
+        return v.length;
+    throw new Error('Collection operation applied to a non-collection, non-string value');
+}
+function toBool(v) {
+    if (typeof v === 'boolean')
+        return v;
+    if (typeof v === 'number')
+        return v !== 0;
+    if (typeof v === 'string')
+        return v.length > 0;
+    if (Array.isArray(v))
+        return v.length > 0; // a bare collection is truthy iff non-empty
+    return true; // a single element is truthy
+}
+function toNumber(v) {
+    if (typeof v === 'number')
+        return v;
+    if (typeof v === 'boolean')
+        return v ? 1 : 0;
+    if (typeof v === 'string') {
+        const n = Number(v);
+        return Number.isNaN(n) ? 0 : n;
+    }
+    if (Array.isArray(v))
+        return v.length; // a bare collection compares by size
+    return 1;
+}
+function toStringValue(v) {
+    if (typeof v === 'string')
+        return v;
+    if (typeof v === 'number' || typeof v === 'boolean')
+        return String(v);
+    if (Array.isArray(v))
+        return String(v.length);
+    return v.id;
+}
+// ─── Langium AST → evaluator AST (EE-1 grammar → EE-2 evaluator) ──────────────
+//
+// EE-1 moved expression PARSING into the Langium grammar (memo-sysml.langium,
+// ConstraintExpr rule family). EE-2 extends the evaluator to the full ADR-1-18
+// subset, so this mapping no longer defers attribute access, quantifiers,
+// arithmetic, string literals, or multi-segment feature chains. See ADR-1-18.
+const COMPARISON_OPS = new Set(['==', '!=', '>=', '<=', '>', '<']);
+const ARITH_OPS = new Set(['+', '-', '*', '/']);
+/** Map a Langium-parsed constraint expression to the evaluator AST. */
+export function langiumExprToNode(expr) {
+    switch (expr.$type) {
+        case 'LiteralExpr': {
+            if (expr.intValue !== undefined)
+                return { kind: 'int', value: parseInt(expr.intValue, 10) };
+            if (expr.boolValue !== undefined)
+                return { kind: 'bool', value: expr.boolValue === 'true' };
+            return { kind: 'str', value: expr.strValue ?? '' };
+        }
+        case 'FeatureChain':
+            return { kind: 'feature', root: 'current', segments: [...expr.segments] };
+        case 'CollectionOp': {
+            if (COLLECTION_OPS.has(expr.op)) {
+                if (expr.argument)
+                    throw new Error(`'->${expr.op}()' takes no argument`);
+                return { kind: 'method', target: langiumExprToNode(expr.target), name: expr.op };
+            }
+            if (QUANTIFIER_OPS.has(expr.op)) {
+                if (!expr.argument)
+                    throw new Error(`'->${expr.op}(expr)' requires a sub-expression`);
+                return { kind: 'quant', target: langiumExprToNode(expr.target), name: expr.op, body: langiumExprToNode(expr.argument) };
+            }
+            throw new Error(`Unsupported collection op '->${expr.op}()' (not in ADR-1-18 subset)`);
+        }
+        case 'UnaryExpr':
+            return { kind: 'not', operand: langiumExprToNode(expr.operand) };
+        case 'BinaryExpr': {
+            if (expr.op === 'and')
+                return { kind: 'and', left: langiumExprToNode(expr.left), right: langiumExprToNode(expr.right) };
+            if (expr.op === 'or')
+                return { kind: 'or', left: langiumExprToNode(expr.left), right: langiumExprToNode(expr.right) };
+            if (COMPARISON_OPS.has(expr.op)) {
+                return { kind: 'cmp', op: expr.op, left: langiumExprToNode(expr.left), right: langiumExprToNode(expr.right) };
+            }
+            if (ARITH_OPS.has(expr.op)) {
+                return { kind: 'arith', op: expr.op, left: langiumExprToNode(expr.left), right: langiumExprToNode(expr.right) };
+            }
+            throw new Error(`Unsupported operator '${expr.op}'`);
+        }
+    }
+}
+//# sourceMappingURL=constraint-eval.js.map

package/packages/tools/lib/validator/constraint-eval.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-eval.js","sourceRoot":"","sources":["../../src/validator/constraint-eval.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,+EAA+E;AAC/E,gFAAgF;AAChF,qFAAqF;AACrF,sEAAsE;AACtE,EAAE;AACF,6EAA6E;AAC7E,kFAAkF;AAClF,8DAA8D;AAC9D,mFAAmF;AACnF,kFAAkF;AAClF,wDAAwD;AACxD,iFAAiF;AACjF,mCAAmC;AACnC,gDAAgD;AAChD,oFAAoF;AACpF,2EAA2E;AAC3E,EAAE;AACF,sEAAsE;AACtE,2EAA2E;AAC3E,6EAA6E;AAC7E,6EAA6E;AAC7E,+EAA+E;AAC/E,oCAAoC;AACpC,iFAAiF;AA6BjF,6FAA6F;AAC7F,MAAM,UAAU,wBAAwB,CAAC,UAA4B,EAAE,KAAgB;IACnF,MAAM,GAAG,GAAG,eAAe,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,UAAU,CAAC;IAClD,OAAO,sBAAsB,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;AACpD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAoB,EAAE,GAAmB,EAAE,KAAgB;IAC9F,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;IACpE,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;QAC7E,IAAI,CAAC,EAAE,EAAE,CAAC;YACN,UAAU,CAAC,IAAI,CAAC;gBACZ,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,SAAS,EAAE,OAAO,CAAC,EAAE;gBACrB,WAAW,EAAE,OAAO,CAAC,IAAI;gBACzB,WAAW,EAAE,OAAO,CAAC,IAAI;gBACzB,KAAK,EAAE,OAAO,CAAC,KAAK;aACvB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAC;AACtB,CAAC;AAoCD,8EAA8E;AAC9E,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;AAMhH,SAAS,QAAQ,CAAC,GAAW;IACzB,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,EAAE,GAAG,yEAAyE,CAAC;IACrF,IAAI,CAAyB,CAAC;IAC9B,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,OAAO,GAAG,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;QACtB,EAAE,CAAC,SAAS,GAAG,GAAG,CAAC;QACnB,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5E,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC;QACnB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;aACpD,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;aACnE,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;;YAChE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACjC,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1B,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,iFAAiF;AACjF,uFAAuF;AAEvF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAChE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;AAChE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAE/D,SAAS,eAAe,CAAC,GAAW;IAChC,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,IAAI,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,EAAE;QACzB,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1E,OAAO,IAAI,EAAE,CAAC;IAClB,CAAC,CAAC;IAEF,SAAS,OAAO;QACZ,IAAI,IAAI,GAAG,QAAQ,EAAE,CAAC;QACtB,OAAO,IAAI,EAAE,CAAC,CAAC,KAAK,OAAO,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAAC,IAAI,EAAE,CAAC;YAAC,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC;QAAC,CAAC;QAC7G,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,SAAS,QAAQ;QACb,IAAI,IAAI,GAAG,QAAQ,EAAE,CAAC;QACtB,OAAO,IAAI,EAAE,CAAC,CAAC,KAAK,OAAO,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YAAC,IAAI,EAAE,CAAC;YAAC,IAAI,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC;QAAC,CAAC;QAC/G,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,SAAS,QAAQ;QACb,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;QACpB,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACvF,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC;QACxD,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,SAAS,QAAQ;QACb,IAAI,IAAI,GAAG,QAAQ,EAAE,CAAC;QACtB,OAAO,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC1C,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC,CAAY,CAAC;YAC/B,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC;QAC1D,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,SAAS,QAAQ;QACb,IAAI,IAAI,GAAG,QAAQ,EAAE,CAAC;QACtB,OAAO,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC1C,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC,CAAY,CAAC;YAC/B,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC;QAC1D,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,SAAS,QAAQ;QACb,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,OAAO,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YAAC,IAAI,EAAE,CAAC;YAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,CAAC;QAAC,CAAC;QACxG,OAAO,YAAY,EAAE,CAAC;IAC1B,CAAC;IACD,SAAS,YAAY;QACjB,IAAI,IAAI,GAAG,YAAY,EAAE,CAAC;QAC1B,OAAO,IAAI,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACvB,IAAI,EAAE,CAAC;YACP,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC;YAChC,MAAM,CAAC,GAAG,CAAC,CAAC;YACZ,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,MAAM,CAAC,GAAG,CAAC,CAAC;gBACZ,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAuC,EAAE,CAAC;YAC3F,CAAC;iBAAM,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC;gBACvB,MAAM,CAAC,GAAG,CAAC,CAAC;gBACZ,IAAI,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAsC,EAAE,IAAI,EAAE,CAAC;YAC/F,CAAC;iBAAM,CAAC;gBACJ,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,KAAK,CAAC,CAAC;YAC/D,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,SAAS,YAAY;QACjB,MAAM,GAAG,GAAG,IAAI,EAAE,CAAC;QACnB,IAAI,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAAC,IAAI,EAAE,CAAC;YAAC,MAAM,CAAC,GAAG,OAAO,EAAE,CAAC;YAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAAC,OAAO,CAAC,CAAC;QAAC,CAAC;QAC1E,IAAI,GAAG,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YAAC,IAAI,EAAE,CAAC;YAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAE,EAAE,EAAE,CAAC,EAAE,CAAC;QAAC,CAAC;QACrF,IAAI,GAAG,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YAAC,IAAI,EAAE,CAAC;YAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAE,EAAE,CAAC;QAAC,CAAC;QACvE,IAAI,GAAG,CAAC,CAAC,KAAK,OAAO,EAAE,CAAC;YACpB,IAAI,GAAG,CAAC,CAAC,KAAK,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,OAAO,EAAE,CAAC;gBAAC,IAAI,EAAE,CAAC;gBAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;YAAC,CAAC;YACxG,IAAI,GAAG,CAAC,CAAC,KAAK,WAAW,EAAE,CAAC;gBACxB,IAAI,EAAE,CAAC;gBACP,MAAM,CAAC,GAAG,CAAC,CAAC;gBACZ,MAAM,GAAG,GAAG,IAAI,EAAE,CAAC;gBACnB,IAAI,GAAG,CAAC,CAAC,KAAK,KAAK;oBAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC7F,IAAI,EAAE,CAAC;gBACP,MAAM,CAAC,GAAG,CAAC,CAAC;gBACZ,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAE,EAAE,CAAC;YACnD,CAAC;YACD,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAE,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YAC3E,OAAO,YAAY,EAAE,CAAC;QAC1B,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,qBAAqB,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC;IACD,SAAS,YAAY;QACjB,MAAM,KAAK,GAAG,IAAI,EAAE,CAAC,CAAE,CAAC;QACxB,MAAM,IAAI,GAA0B,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;QAChF,MAAM,QAAQ,GAAa,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9D,SAAS,CAAC;YACN,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAAC,IAAI,EAAE,CAAC;gBAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC9E,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAAC,IAAI,EAAE,CAAC;gBAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;gBAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YACzF,MAAM;QACV,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC/C,CAAC;IAED,MAAM,GAAG,GAAG,OAAO,EAAE,CAAC;IACtB,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IAC3F,OAAO,GAAG,CAAC;AACf,CAAC;AAED,iFAAiF;AAEjF,SAAS,QAAQ,CAAC,IAAU,EAAE,GAAQ,EAAE,KAAgB;IACpD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,MAAM,CAAC,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC;QAC/B,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC;QAC9B,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC;QAC9B,KAAK,SAAS,CAAC,CAAC,OAAO,cAAc,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC9G,KAAK,WAAW,CAAC,CAAC,OAAO,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACvE,KAAK,QAAQ,CAAC,CAAC,CAAC;YACZ,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;YACxD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,GAAG,CAAC;YACrC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;gBAAE,OAAO,GAAG,GAAG,CAAC,CAAC;YAC7C,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,UAAU;QAChC,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;YAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YACvH,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YACtH,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QAC1G,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;YACrD,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;gBACd,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACvB,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACvB,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACvB,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YAC3B,CAAC;QACL,CAAC;QACD,0CAA0C;QAC1C,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;QACvG,KAAK,KAAK,CAAC,CAAC,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;QACvG,KAAK,IAAI,CAAC,CAAC,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;QACtG,KAAK,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;IACnE,CAAC;AACL,CAAC;AAED,iGAAiG;AACjG,SAAS,SAAS,CAAC,KAAgB,EAAE,GAAW;IAC5C,IAAI,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,GAAG,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC;IAC3F,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,yFAAyF;AACzF,SAAS,cAAc,CAAC,KAAkB,EAAE,QAAkB,EAAE,KAAgB;IAC5E,IAAI,GAAG,GAAU,KAAK,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YACjB,IAAI,GAAG,KAAK,YAAY,EAAE,CAAC;gBACvB,MAAM,GAAG,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC1B,IAAI,GAAG,KAAK,SAAS;oBAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;gBAC5F,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACpC,CAAC;iBAAM,IAAI,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC/B,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,WAAW,EAAE,EAAE,KAAK,CAAC,CAAC;YAClD,CAAC;iBAAM,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC/B,GAAG,GAAI,GAAqD,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YAC5E,CAAC;iBAAM,CAAC;gBACJ,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACpC,CAAC;QACL,CAAC;aAAM,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;gBACzB,MAAM,IAAI,KAAK,CAAC,6BAA6B,GAAG,2EAA2E,CAAC,CAAC;YACjI,CAAC;YACD,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,WAAW,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;QAClE,CAAC;aAAM,CAAC;YACJ,MAAM,IAAI,KAAK,CAAC,oBAAoB,GAAG,wBAAwB,CAAC,CAAC;QACrE,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAS,QAAQ,CAAC,OAAoB,EAAE,OAAe,EAAE,KAAgB;IACrE,MAAM,GAAG,GAAkB,EAAE,CAAC;IAC9B,2EAA2E;IAC3E,0EAA0E;IAC1E,yDAAyD;IACzD,uEAAuE;IACvE,2DAA2D;IAC3D,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC;IACnC,MAAM,OAAO,GAAG,CAAC,GAAqB,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC;IAC3E,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;QACrD,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACf,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC3C,IAAI,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC;IACL,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;QACrD,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACf,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC3C,IAAI,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC;AAED,SAAS,OAAO,CAAC,EAAS,EAAE,CAAQ,EAAE,CAAQ;IAC1C,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACjD,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC5B,QAAQ,EAAE,EAAE,CAAC;YACT,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC;YAC5B,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC;YAC5B,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;YAC3B,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;YAC3B,KAAK,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC;YACzB,KAAK,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC;QAC7B,CAAC;IACL,CAAC;IACD,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,QAAQ,EAAE,EAAE,CAAC;QACT,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC;QAC5B,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC;QAC5B,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;QAC3B,KAAK,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC;QACzB,KAAK,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,CAAC;AACL,CAAC;AAED,SAAS,SAAS,CAAC,CAAQ;IACvB,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC;AACD,SAAS,YAAY,CAAC,CAAQ;IAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAC/B,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;AAClE,CAAC;AACD,6EAA6E;AAC7E,SAAS,QAAQ,CAAC,CAAQ;IACtB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC;IACtC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC;IAC3C,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;AAC1F,CAAC;AACD,SAAS,MAAM,CAAC,CAAQ;IACpB,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IACrC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/C,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,4CAA4C;IACvF,OAAO,IAAI,CAAC,CAAC,6BAA6B;AAC9C,CAAC;AACD,SAAS,QAAQ,CAAC,CAAQ;IACtB,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAAC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IACnF,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,qCAAqC;IAC5E,OAAO,CAAC,CAAC;AACb,CAAC;AACD,SAAS,aAAa,CAAC,CAAQ;IAC3B,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9C,OAAO,CAAC,CAAC,EAAE,CAAC;AAChB,CAAC;AAED,iFAAiF;AACjF,EAAE;AACF,8EAA8E;AAC9E,+EAA+E;AAC/E,0EAA0E;AAC1E,8EAA8E;AAE9E,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AACnE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAEhD,uEAAuE;AACvE,MAAM,UAAU,iBAAiB,CAAC,IAAoB;IAClD,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;QACjB,KAAK,aAAa,CAAC,CAAC,CAAC;YACjB,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;gBAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC;YAC5F,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;gBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,KAAK,MAAM,EAAE,CAAC;YAC5F,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACvD,CAAC;QACD,KAAK,cAAc;YACf,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9E,KAAK,cAAc,CAAC,CAAC,CAAC;YAClB,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC9B,IAAI,IAAI,CAAC,QAAQ;oBAAE,MAAM,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,uBAAuB,CAAC,CAAC;gBACzE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAqC,EAAE,CAAC;YACxH,CAAC;YACD,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC9B,IAAI,CAAC,IAAI,CAAC,QAAQ;oBAAE,MAAM,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,mCAAmC,CAAC,CAAC;gBACtF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAoC,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9J,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,CAAC,EAAE,8BAA8B,CAAC,CAAC;QAC3F,CAAC;QACD,KAAK,WAAW;YACZ,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACrE,KAAK,YAAY,CAAC,CAAC,CAAC;YAChB,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK;gBAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACxH,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI;gBAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACtH,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC9B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,EAAW,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3H,CAAC;YACD,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBACzB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,EAAa,EAAE,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/H,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,yBAAyB,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QACzD,CAAC;IACL,CAAC;AACL,CAAC"}

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

@@ -0,0 +1,10 @@
+import type { ParsedDocument } from '../model/parser-utils.js';
+import type { CompiledConstraint } from './constraint-eval.js';
+/**
+ * Walk all parsed documents and compile every native constraint def found.
+ * De-duplicated by rule id: the same ontology file can appear in more than one
+ * document set (ontology load + project parse), and a rule id is unique, so a
+ * later occurrence replaces an earlier one rather than double-counting.
+ */
+export declare function collectNativeConstraints(docs: ParsedDocument[]): CompiledConstraint[];
+//# sourceMappingURL=constraint-loader.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-loader.d.ts","sourceRoot":"","sources":["../../src/validator/constraint-loader.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAG/D;;;;;GAKG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,cAAc,EAAE,GAAG,kBAAkB,EAAE,CAYrF"}

package/packages/tools/lib/validator/constraint-loader.js

@@ -0,0 +1,113 @@
+// ─── Native Constraint Loader (Epic EE-3) ─────────────────────────────────────
+//
+// Discovers native `constraint def` / `requirement def` declarations from parsed
+// SysML documents and compiles each `require`/`assert constraint { … }` body into
+// an evaluator AST (via langiumExprToNode). This replaces the proprietary
+// ConsistencyRule predicate-attribute parts that RuleRegistry used to walk:
+// rules are now ordinary KerML constraint expressions over a subject kind.
+//
+// Rule metadata travels as plain attribute members inside the def body:
+//   constraint def hazardNeedsMitigation {
+//       attribute id = "CR-MED-001";
+//       attribute appliesTo = "Hazard";
+//       attribute severity = RuleSeverityKind::error;
+//       attribute rationaleText = "ISO 14971 requires risk control for each hazard.";
+//       require constraint { mitigates->size() >= 1 }
+//   }
+// ──────────────────────────────────────────────────────────────────────────────
+import { langiumExprToNode } from './constraint-eval.js';
+/**
+ * Walk all parsed documents and compile every native constraint def found.
+ * De-duplicated by rule id: the same ontology file can appear in more than one
+ * document set (ontology load + project parse), and a rule id is unique, so a
+ * later occurrence replaces an earlier one rather than double-counting.
+ */
+export function collectNativeConstraints(docs) {
+    const byId = new Map();
+    for (const doc of docs) {
+        const model = doc.document.parseResult?.value;
+        if (!model)
+            continue;
+        const found = [];
+        for (const member of model.members ?? []) {
+            walk(member, found);
+        }
+        for (const c of found)
+            byId.set(c.id, c);
+    }
+    return [...byId.values()];
+}
+function walk(node, out) {
+    if (!node)
+        return;
+    if (node.$type === 'PackageDeclaration') {
+        for (const member of node.members ?? [])
+            walk(member, out);
+    }
+    else if (node.$type === 'ConstraintDefinition' || node.$type === 'RequirementDefinition') {
+        const compiled = tryCompile(node);
+        if (compiled)
+            out.push(compiled);
+    }
+}
+function tryCompile(def) {
+    const body = def.body ?? [];
+    // The boolean body: first require/assert constraint member.
+    const requireMember = body.find(m => m.$type === 'RequireConstraintMember' && m.expression);
+    if (!requireMember)
+        return undefined;
+    const attrs = extractAttributes(body);
+    const id = attrs['id'];
+    if (!id)
+        return undefined; // metadata-less constraints are not consistency rules
+    let ast;
+    try {
+        ast = langiumExprToNode(requireMember.expression);
+    }
+    catch {
+        return undefined; // unsupported expression — skip rather than crash validation
+    }
+    return {
+        id,
+        description: attrs['description'] || attrs['rationaleText'] || id,
+        appliesToKind: attrs['appliesTo'] ?? '',
+        severity: mapSeverity(attrs['severity']),
+        ast,
+    };
+}
+function extractAttributes(body) {
+    const attrs = {};
+    for (const member of body) {
+        if (member.$type === 'AttributeMember' && member.value) {
+            attrs[member.name] = extractValue(member.value);
+        }
+    }
+    return attrs;
+}
+function extractValue(value) {
+    if (!value)
+        return '';
+    switch (value.$type) {
+        case 'StringValue':
+            return value.value?.replace(/^"|"$/g, '') ?? '';
+        case 'IntValue':
+        case 'RealValue':
+            return String(value.value);
+        case 'BooleanValue':
+            return String(value.value);
+        case 'EnumValue': {
+            // "RuleSeverityKind::error" → "error"
+            const ref = value.enumRef ?? '';
+            const colonIdx = ref.lastIndexOf('::');
+            return colonIdx >= 0 ? ref.slice(colonIdx + 2) : ref;
+        }
+        default:
+            return String(value);
+    }
+}
+function mapSeverity(severity) {
+    if (severity === 'error' || severity === 'warning' || severity === 'info')
+        return severity;
+    return 'warning';
+}
+//# sourceMappingURL=constraint-loader.js.map

package/packages/tools/lib/validator/constraint-loader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constraint-loader.js","sourceRoot":"","sources":["../../src/validator/constraint-loader.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,iFAAiF;AACjF,kFAAkF;AAClF,0EAA0E;AAC1E,4EAA4E;AAC5E,2EAA2E;AAC3E,EAAE;AACF,wEAAwE;AACxE,2CAA2C;AAC3C,qCAAqC;AACrC,wCAAwC;AACxC,sDAAsD;AACtD,sFAAsF;AACtF,sDAAsD;AACtD,MAAM;AACN,iFAAiF;AAIjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAEzD;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CAAC,IAAsB;IAC3D,MAAM,IAAI,GAAG,IAAI,GAAG,EAA8B,CAAC;IACnD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAY,CAAC;QACrD,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,KAAK,GAAyB,EAAE,CAAC;QACvC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACvC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACxB,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,KAAK;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,IAAI,CAAC,IAAS,EAAE,GAAyB;IAC9C,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,IAAI,IAAI,CAAC,KAAK,KAAK,oBAAoB,EAAE,CAAC;QACtC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,IAAI,EAAE;YAAE,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC/D,CAAC;SAAM,IAAI,IAAI,CAAC,KAAK,KAAK,sBAAsB,IAAI,IAAI,CAAC,KAAK,KAAK,uBAAuB,EAAE,CAAC;QACzF,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CAAC,GAAQ;IACxB,MAAM,IAAI,GAAU,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;IAEnC,4DAA4D;IAC5D,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,yBAAyB,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC;IAC5F,IAAI,CAAC,aAAa;QAAE,OAAO,SAAS,CAAC;IAErC,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACvB,IAAI,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC,CAAC,sDAAsD;IAEjF,IAAI,GAAG,CAAC;IACR,IAAI,CAAC;QACD,GAAG,GAAG,iBAAiB,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;IACtD,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,SAAS,CAAC,CAAC,6DAA6D;IACnF,CAAC;IAED,OAAO;QACH,EAAE;QACF,WAAW,EAAE,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE;QACjE,aAAa,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE;QACvC,QAAQ,EAAE,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACxC,GAAG;KACN,CAAC;AACN,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAW;IAClC,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,MAAM,CAAC,KAAK,KAAK,iBAAiB,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACrD,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpD,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,SAAS,YAAY,CAAC,KAAU;IAC5B,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,QAAQ,KAAK,CAAC,KAAK,EAAE,CAAC;QAClB,KAAK,aAAa;YACd,OAAO,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;QACpD,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW;YACZ,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,cAAc;YACf,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,WAAW,CAAC,CAAC,CAAC;YACf,sCAAsC;YACtC,MAAM,GAAG,GAAW,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC;YACxC,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACvC,OAAO,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACzD,CAAC;QACD;YACI,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,QAAiB;IAClC,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,QAAQ,CAAC;IAC3F,OAAO,SAAS,CAAC;AACrB,CAAC"}

package/packages/tools/lib/validator/rule-engine.d.ts

@@ -0,0 +1,13 @@
+import type { MemoModel } from '../model/semantic.js';
+import type { ValidationResult } from './types.js';
+import type { CompiledConstraint } from './constraint-eval.js';
+/**
+ * Full model validation: native constraints + structural checks.
+ * Preferred entry point — combines all validation passes.
+ *
+ * @param nativeConstraints constraints compiled from ontology `constraint def` bodies
+ *                          (see collectNativeConstraints). Evaluated as native KerML
+ *                          expressions over each constraint's subject kind.
+ */
+export declare function validateModel(model: MemoModel, nativeConstraints?: CompiledConstraint[]): ValidationResult;
+//# sourceMappingURL=rule-engine.d.ts.map