@memoarchitect/tools 0.6.7 → 0.8.7

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

@@ -2,9 +2,9 @@
 //
 // 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.
+// an evaluator AST. Rules can use a directly parseable KerML body, or keep a
+// portable `true` body and provide `predicateExpression` for MEMO semantic-model
+// navigation. Model-level coverage targets are compiled into extent predicates.
 //
 // Rule metadata travels as plain attribute members inside the def body:
 //   constraint def hazardNeedsMitigation {
@@ -12,69 +12,137 @@
 //       attribute appliesTo = "Hazard";
 //       attribute severity = RuleSeverityKind::error;
 //       attribute rationaleText = "ISO 14971 requires risk control for each hazard.";
-//       require constraint { mitigates->size() >= 1 }
+//       require constraint { mitigatesHazard->size() >= 1 }
 //   }
 // ──────────────────────────────────────────────────────────────────────────────
-import { langiumExprToNode } from './constraint-eval.js';
+import { langiumExprToNode, parseConstraintExpression } 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.
+ *
+ * De-duplication by rule id is legitimate for the SAME rule seen twice: the
+ * same ontology file appears in both the ontology load and the project parse.
+ * Two DIFFERENT rules sharing an id is a defect, and is reported rather than
+ * silently resolved by document order.
+ *
+ * A rule whose predicate fails to compile is skipped and reported. It used to
+ * throw, which took down the entire command: one malformed
+ * `predicateExpression` anywhere in a resolved dependency meant `memo validate`
+ * exited with a stack trace and validated nothing. A broken rule must be loud,
+ * but it must not be fatal — the other rules still have work to do.
+ *
+ * Callers are expected to surface `diagnostics`; a skipped rule that nobody
+ * reports is a silently disabled check, which is worse than a crash.
  */
-export function collectNativeConstraints(docs) {
+export function collectNativeConstraints(docs, diagnostics) {
     const byId = new Map();
+    const sourceById = 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);
+            walk(member, found, doc.filePath, diagnostics);
         }
-        for (const c of found)
+        for (const c of found) {
+            const previous = sourceById.get(c.id);
+            if (previous !== undefined && previous !== doc.filePath) {
+                diagnostics?.push({
+                    kind: 'duplicate-id',
+                    ruleId: c.id,
+                    file: doc.filePath,
+                    message: `Rule id ${c.id} is declared in both ${previous} and ${doc.filePath}. `
+                        + `Rule ids must be unique; which definition wins currently depends on load order.`,
+                });
+            }
+            sourceById.set(c.id, doc.filePath);
             byId.set(c.id, c);
+        }
     }
     return [...byId.values()];
 }
-function walk(node, out) {
+function walk(node, out, file, diagnostics) {
     if (!node)
         return;
     if (node.$type === 'PackageDeclaration') {
         for (const member of node.members ?? [])
-            walk(member, out);
+            walk(member, out, file, diagnostics);
     }
     else if (node.$type === 'ConstraintDefinition' || node.$type === 'RequirementDefinition') {
-        const compiled = tryCompile(node);
-        if (compiled)
-            out.push(compiled);
+        try {
+            const compiled = tryCompile(node, file);
+            if (compiled)
+                out.push(compiled);
+        }
+        catch (error) {
+            diagnostics?.push({
+                kind: 'compile-failed',
+                ruleId: extractAttributes(node.body ?? [])['id'] ?? '(unknown)',
+                file,
+                message: error instanceof Error ? error.message : String(error),
+            });
+        }
     }
 }
-function tryCompile(def) {
+function mapTailoring(raw) {
+    // A rule with no declared class is treated as `assurance`: tailorable with
+    // rationale. Defaulting to `invariant` would silently make every
+    // unclassified rule untailorable, which is the harder failure to notice.
+    return raw === 'invariant' || raw === 'methodology' ? raw : 'assurance';
+}
+function tryCompile(def, file) {
     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
+        return undefined;
+    // The boolean body: first require/assert constraint member.
+    const requireMember = body.find(m => m.$type === 'RequireConstraintMember' && m.expression);
     let ast;
-    try {
+    let appliesToKind = attrs['appliesTo'] ?? '';
+    if (requireMember) {
         ast = langiumExprToNode(requireMember.expression);
+        if (ast.kind === 'bool' && ast.value && attrs['predicateExpression'] && attrs['evaluator'] !== 'architecture') {
+            // Portable constraint bodies remain `true` where SysML tools cannot
+            // resolve MEMO's semantic-model navigation. The executable predicate
+            // is still ontology-owned and is compiled here.
+            try {
+                ast = parseConstraintExpression(attrs['predicateExpression']);
+            }
+            catch (error) {
+                throw new Error(`Cannot compile predicateExpression for ${id} (${JSON.stringify(attrs['predicateExpression'])}): ${error instanceof Error ? error.message : String(error)}`);
+            }
+        }
     }
-    catch {
-        return undefined; // unsupported expression — skip rather than crash validation
+    else if (attrs['coverageTarget']) {
+        const target = parseScope(attrs['coverageTarget']);
+        const filter = target.attribute
+            ? `->exists(attributes.${target.attribute} == "${target.value}")`
+            : '->notEmpty()';
+        ast = parseConstraintExpression(`allOfKind("${target.kind}")${filter}`);
+        appliesToKind = 'Model';
+    }
+    else {
+        return undefined;
     }
     return {
         id,
         description: attrs['description'] || attrs['rationaleText'] || id,
-        appliesToKind: attrs['appliesTo'] ?? '',
+        appliesToKind,
         severity: mapSeverity(attrs['severity']),
+        evaluator: attrs['evaluator'] || undefined,
+        typeName: def.name,
+        tailoring: mapTailoring(attrs['tailoring']),
+        sourceFile: file,
         ast,
     };
 }
+function parseScope(scope) {
+    const match = /^([A-Za-z_]\w*)(?:\[([A-Za-z_]\w*)=([^\]]+)\])?$/.exec(scope);
+    if (!match)
+        throw new Error(`Unsupported coverage target '${scope}'.`);
+    return { kind: match[1], attribute: match[2], value: match[3] };
+}
 function extractAttributes(body) {
     const attrs = {};
     for (const member of body) {
@@ -89,7 +157,12 @@ function extractValue(value) {
         return '';
     switch (value.$type) {
         case 'StringValue':
-            return value.value?.replace(/^"|"$/g, '') ?? '';
+            try {
+                return JSON.parse(value.value ?? '""');
+            }
+            catch {
+                return value.value?.replace(/^"|"$/g, '') ?? '';
+            }
         case 'IntValue':
         case 'RealValue':
             return String(value.value);

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

@@ -1 +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"}
+{"version":3,"file":"constraint-loader.js","sourceRoot":"","sources":["../../src/validator/constraint-loader.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,iFAAiF;AACjF,kFAAkF;AAClF,6EAA6E;AAC7E,iFAAiF;AACjF,gFAAgF;AAChF,EAAE;AACF,wEAAwE;AACxE,2CAA2C;AAC3C,qCAAqC;AACrC,wCAAwC;AACxC,sDAAsD;AACtD,sFAAsF;AACtF,4DAA4D;AAC5D,MAAM;AACN,iFAAiF;AAIjF,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AAUpF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,wBAAwB,CACpC,IAAsB,EACtB,WAAoC;IAEpC,MAAM,IAAI,GAAG,IAAI,GAAG,EAA8B,CAAC;IACnD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,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,EAAE,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACnD,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACpB,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACtD,WAAW,EAAE,IAAI,CAAC;oBACd,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,CAAC,CAAC,EAAE;oBACZ,IAAI,EAAE,GAAG,CAAC,QAAQ;oBAClB,OAAO,EAAE,WAAW,CAAC,CAAC,EAAE,wBAAwB,QAAQ,QAAQ,GAAG,CAAC,QAAQ,IAAI;0BAC1E,iFAAiF;iBAC1F,CAAC,CAAC;YACP,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;YACnC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACtB,CAAC;IACL,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,IAAI,CACT,IAAS,EACT,GAAyB,EACzB,IAAY,EACZ,WAAoC;IAEpC,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,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAClF,CAAC;SAAM,IAAI,IAAI,CAAC,KAAK,KAAK,sBAAsB,IAAI,IAAI,CAAC,KAAK,KAAK,uBAAuB,EAAE,CAAC;QACzF,IAAI,CAAC;YACD,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACxC,IAAI,QAAQ;gBAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,WAAW,EAAE,IAAI,CAAC;gBACd,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,WAAW;gBAC/D,IAAI;gBACJ,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;aAClE,CAAC,CAAC;QACP,CAAC;IACL,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CAAC,GAAY;IAC9B,2EAA2E;IAC3E,iEAAiE;IACjE,yEAAyE;IACzE,OAAO,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;AAC5E,CAAC;AAED,SAAS,UAAU,CAAC,GAAQ,EAAE,IAAa;IACvC,MAAM,IAAI,GAAU,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;IACnC,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;IAE1B,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,GAAG,CAAC;IACR,IAAI,aAAa,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;IAC7C,IAAI,aAAa,EAAE,CAAC;QAChB,GAAG,GAAG,iBAAiB,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;QAClD,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,IAAI,KAAK,CAAC,qBAAqB,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,cAAc,EAAE,CAAC;YAC5G,oEAAoE;YACpE,qEAAqE;YACrE,gDAAgD;YAChD,IAAI,CAAC;gBACD,GAAG,GAAG,yBAAyB,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,CAAC;YAClE,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACb,MAAM,IAAI,KAAK,CAAC,0CAA0C,EAAE,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,MAAM,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACjL,CAAC;QACL,CAAC;IACL,CAAC;SAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS;YAC3B,CAAC,CAAC,uBAAuB,MAAM,CAAC,SAAS,QAAQ,MAAM,CAAC,KAAK,IAAI;YACjE,CAAC,CAAC,cAAc,CAAC;QACrB,GAAG,GAAG,yBAAyB,CAAC,cAAc,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC,CAAC;QACxE,aAAa,GAAG,OAAO,CAAC;IAC5B,CAAC;SAAM,CAAC;QACJ,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,OAAO;QACH,EAAE;QACF,WAAW,EAAE,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE;QACjE,aAAa;QACb,QAAQ,EAAE,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACxC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,SAAS;QAC1C,QAAQ,EAAE,GAAG,CAAC,IAAI;QAClB,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC3C,UAAU,EAAE,IAAI;QAChB,GAAG;KACN,CAAC;AACN,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC7B,MAAM,KAAK,GAAG,kDAAkD,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7E,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,KAAK,IAAI,CAAC,CAAC;IACvE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AACpE,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,IAAI,CAAC;gBACD,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC;YAC3C,CAAC;YAAC,MAAM,CAAC;gBACL,OAAO,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;YACpD,CAAC;QACL,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

@@ -1,5 +1,6 @@
 import type { MemoModel } from '../model/semantic.js';
 import type { ValidationResult } from './types.js';
+import type { EffectiveRule } from '../model/methodology-resolver.js';
 import type { CompiledConstraint } from './constraint-eval.js';
 import type { KindRegistry } from '../model/kind-registry.js';
 /**
@@ -10,5 +11,5 @@ import type { KindRegistry } from '../model/kind-registry.js';
  *                          (see collectNativeConstraints). Evaluated as native KerML
  *                          expressions over each constraint's subject kind.
  */
-export declare function validateModel(model: MemoModel, nativeConstraints?: CompiledConstraint[], kindRegistry?: KindRegistry): ValidationResult;
+export declare function validateModel(model: MemoModel, nativeConstraints?: CompiledConstraint[], kindRegistry?: KindRegistry, effectiveRules?: EffectiveRule[]): ValidationResult;
 //# sourceMappingURL=rule-engine.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"rule-engine.d.ts","sourceRoot":"","sources":["../../src/validator/rule-engine.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAa,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAK/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAE9D;;;;;;;GAOG;AACH,wBAAgB,aAAa,CACzB,KAAK,EAAE,SAAS,EAChB,iBAAiB,GAAE,kBAAkB,EAAO,EAC5C,YAAY,CAAC,EAAE,YAAY,GAC5B,gBAAgB,CAmBlB"}
+{"version":3,"file":"rule-engine.d.ts","sourceRoot":"","sources":["../../src/validator/rule-engine.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAa,gBAAgB,EAA2B,MAAM,YAAY,CAAC;AACvF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AACtE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAK/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAG9D;;;;;;;GAOG;AACH,wBAAgB,aAAa,CACzB,KAAK,EAAE,SAAS,EAChB,iBAAiB,GAAE,kBAAkB,EAAO,EAC5C,YAAY,CAAC,EAAE,YAAY,EAC3B,cAAc,CAAC,EAAE,aAAa,EAAE,GACjC,gBAAgB,CAwElB"}

package/packages/tools/lib/validator/rule-engine.js

@@ -10,6 +10,7 @@ import { evaluateConstraintNode } from './constraint-eval.js';
 import { validateBehavior } from './behavior-validator.js';
 import { validateArchitecture } from './architecture-validator.js';
 import { validateViews } from './view-validator.js';
+import { BUILTIN_RULE_IDS } from './builtin-rules.js';
 /**
  * Full model validation: native constraints + structural checks.
  * Preferred entry point — combines all validation passes.
@@ -18,22 +19,72 @@ import { validateViews } from './view-validator.js';
  *                          (see collectNativeConstraints). Evaluated as native KerML
  *                          expressions over each constraint's subject kind.
  */
-export function validateModel(model, nativeConstraints = [], kindRegistry) {
+export function validateModel(model, nativeConstraints = [], kindRegistry, effectiveRules) {
+    // Section 10.4: a violation reports the rule's provenance, not just its ID.
+    // Keyed by active rule ID, because that is what the violation carries.
+    const provenanceByRuleId = new Map();
+    for (const rule of effectiveRules ?? []) {
+        provenanceByRuleId.set(rule.activeRuleId, {
+            activeRuleType: rule.activeRuleType,
+            baseRuleId: rule.disposition === 'replaced' ? rule.sourceRuleId : undefined,
+            declaredSeverity: rule.declaredSeverity,
+            tailoring: rule.tailoring,
+            policyChain: rule.policyChain.map(entry => ({
+                source: entry.source,
+                level: entry.level,
+                disposition: entry.policy.disposition ?? 'enabled',
+            })),
+            rationaleText: rule.rationaleText,
+            authority: rule.authority,
+            approvalReference: rule.approvalReference,
+            sourceFile: rule.sourceFile,
+        });
+    }
     const behaviorViolations = validateBehavior(model);
-    const architectureViolations = validateArchitecture(model);
+    // AR-IBD-001's subject scope comes from the ontology's own `appliesTo`,
+    // so the rule's reach is declared where the rule is declared.
+    const ibdScope = nativeConstraints.find(c => c.evaluator === 'architecture')?.appliesToKind;
+    const architectureViolations = validateArchitecture(model, ibdScope, kindRegistry);
     const viewViolations = validateViews(model);
     const nativeViolations = [];
     let nativePassed = 0;
+    // A constraint carrying a non-native `evaluator` is a first-class rule
+    // whose predicate a TypeScript function computes — AR-IBD-001 is the only
+    // one today. Its violations come from the built-in validator above, so it
+    // is skipped here, but it still has to be counted: skipping it silently
+    // meant one rule was evaluated and reported as neither passed nor failed.
+    const delegated = [];
     for (const constraint of nativeConstraints) {
+        if (constraint.evaluator && constraint.evaluator !== 'native') {
+            delegated.push(constraint.id);
+            continue;
+        }
         const violations = evaluateConstraintNode(constraint, constraint.ast, model, kindRegistry);
         if (violations.length === 0)
             nativePassed++;
         nativeViolations.push(...violations);
     }
+    const violations = [...behaviorViolations, ...architectureViolations, ...viewViolations, ...nativeViolations]
+        .map(violation => ({
+        ...violation,
+        provenance: model.elements.get(violation.elementId)?.provenance,
+        ruleProvenance: provenanceByRuleId.get(violation.ruleId),
+    }));
+    // Built-in rules are counted from the enumerated list, not from a literal.
+    // The literal said 6; there are 7, and it had no way to stay right. A
+    // built-in rule passes when it raised no violation, which is the same
+    // definition used for native constraints — previously `rulesPassed`
+    // counted only native rules, so "61 evaluated, 32 passed" was reporting
+    // two different denominators as though they were one.
+    const raisedByBuiltinValidators = new Set([
+        ...behaviorViolations, ...architectureViolations, ...viewViolations,
+    ].map(violation => violation.ruleId));
+    const builtinPassed = BUILTIN_RULE_IDS.filter(id => !raisedByBuiltinValidators.has(id)).length;
+    const delegatedPassed = delegated.filter(id => !raisedByBuiltinValidators.has(id)).length;
     return {
-        violations: [...behaviorViolations, ...architectureViolations, ...viewViolations, ...nativeViolations],
-        rulesEvaluated: 6 + nativeConstraints.length,
-        rulesPassed: nativePassed,
+        violations,
+        rulesEvaluated: BUILTIN_RULE_IDS.length + nativeConstraints.length,
+        rulesPassed: builtinPassed + delegatedPassed + nativePassed,
         timestamp: Date.now(),
     };
 }

package/packages/tools/lib/validator/rule-engine.js.map

@@ -1 +1 @@
-{"version":3,"file":"rule-engine.js","sourceRoot":"","sources":["../../src/validator/rule-engine.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,EAAE;AACF,yEAAyE;AACzE,2EAA2E;AAC3E,6EAA6E;AAC7E,4EAA4E;AAC5E,wEAAwE;AACxE,gFAAgF;AAKhF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAGpD;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CACzB,KAAgB,EAChB,oBAA0C,EAAE,EAC5C,YAA2B;IAE3B,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,sBAAsB,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC3D,MAAM,cAAc,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAE5C,MAAM,gBAAgB,GAAgB,EAAE,CAAC;IACzC,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,UAAU,IAAI,iBAAiB,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,sBAAsB,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;QAC3F,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,YAAY,EAAE,CAAC;QAC5C,gBAAgB,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;IACzC,CAAC;IAED,OAAO;QACH,UAAU,EAAE,CAAC,GAAG,kBAAkB,EAAE,GAAG,sBAAsB,EAAE,GAAG,cAAc,EAAE,GAAG,gBAAgB,CAAC;QACtG,cAAc,EAAE,CAAC,GAAG,iBAAiB,CAAC,MAAM;QAC5C,WAAW,EAAE,YAAY;QACzB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;KACxB,CAAC;AACN,CAAC"}
+{"version":3,"file":"rule-engine.js","sourceRoot":"","sources":["../../src/validator/rule-engine.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,EAAE;AACF,yEAAyE;AACzE,2EAA2E;AAC3E,6EAA6E;AAC7E,4EAA4E;AAC5E,wEAAwE;AACxE,gFAAgF;AAMhF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CACzB,KAAgB,EAChB,oBAA0C,EAAE,EAC5C,YAA2B,EAC3B,cAAgC;IAEhC,4EAA4E;IAC5E,uEAAuE;IACvE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAmC,CAAC;IACtE,KAAK,MAAM,IAAI,IAAI,cAAc,IAAI,EAAE,EAAE,CAAC;QACtC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE;YACtC,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,UAAU,EAAE,IAAI,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS;YAC3E,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACxC,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,WAAW,IAAI,SAAS;aACrD,CAAC,CAAC;YACH,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;YACzC,UAAU,EAAE,IAAI,CAAC,UAAU;SAC9B,CAAC,CAAC;IACP,CAAC;IAED,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACnD,wEAAwE;IACxE,8DAA8D;IAC9D,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,cAAc,CAAC,EAAE,aAAa,CAAC;IAC5F,MAAM,sBAAsB,GAAG,oBAAoB,CAAC,KAAK,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;IACnF,MAAM,cAAc,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAE5C,MAAM,gBAAgB,GAAgB,EAAE,CAAC;IACzC,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,uEAAuE;IACvE,0EAA0E;IAC1E,0EAA0E;IAC1E,wEAAwE;IACxE,0EAA0E;IAC1E,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,UAAU,IAAI,iBAAiB,EAAE,CAAC;QACzC,IAAI,UAAU,CAAC,SAAS,IAAI,UAAU,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;YAC5D,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YAC9B,SAAS;QACb,CAAC;QACD,MAAM,UAAU,GAAG,sBAAsB,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;QAC3F,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,YAAY,EAAE,CAAC;QAC5C,gBAAgB,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,UAAU,GAAG,CAAC,GAAG,kBAAkB,EAAE,GAAG,sBAAsB,EAAE,GAAG,cAAc,EAAE,GAAG,gBAAgB,CAAC;SACxG,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACf,GAAG,SAAS;QACZ,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,UAAU;QAC/D,cAAc,EAAE,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC;KAC3D,CAAC,CAAC,CAAC;IAER,2EAA2E;IAC3E,sEAAsE;IACtE,sEAAsE;IACtE,oEAAoE;IACpE,wEAAwE;IACxE,sDAAsD;IACtD,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;QACtC,GAAG,kBAAkB,EAAE,GAAG,sBAAsB,EAAE,GAAG,cAAc;KACtE,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACtC,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/F,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IAE1F,OAAO;QACH,UAAU;QACV,cAAc,EAAE,gBAAgB,CAAC,MAAM,GAAG,iBAAiB,CAAC,MAAM;QAClE,WAAW,EAAE,aAAa,GAAG,eAAe,GAAG,YAAY;QAC3D,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;KACxB,CAAC;AACN,CAAC"}

package/packages/tools/lib/validator/sysml-constraints.d.ts

@@ -0,0 +1,64 @@
+import { SYSIDE_RULES, SYSIDE_VERSION, type SysideRule } from '../conformance/generated/syside-rules.js';
+import type { MemoModelDTO } from '../model/semantic.js';
+export { SYSIDE_RULES, SYSIDE_VERSION };
+/** One violation, in the shape a `sysml`-domain diagnostic is built from. */
+export interface ConstraintViolation {
+    /** Syside's code, verbatim. */
+    code: string;
+    message: string;
+    elementId: string;
+    file: string;
+}
+export interface SysmlConstraint {
+    /** Syside's code, verbatim — never a MEMO-invented identifier. */
+    code: string;
+    /** Specification clause this implements, e.g. `KerML 8.3.3.1`. */
+    clause: string;
+    /** Metaclass or MEMO construct the rule ranges over, for reporting. */
+    appliesTo: string;
+    /**
+     * What this implementation does *not* catch, where that is known.
+     *
+     * A partially-implemented rule reported as "implemented" is worse than an
+     * unimplemented one: it converts a gap into false confidence. Stating the
+     * limitation in the data means the scoreboard prints it, so the coverage
+     * number is never read as more than it is.
+     */
+    limitation?: string;
+    check(model: MemoModelDTO): ConstraintViolation[];
+}
+/** Why a published code has no implementation here. */
+export type UnimplementedReason = 'blocked' | 'out-of-scope' | 'not-yet';
+export interface UnimplementedConstraint {
+    code: string;
+    reason: UnimplementedReason;
+    /** Required: an unexplained gap is indistinguishable from an oversight. */
+    detail: string;
+}
+export declare const IMPLEMENTED_CONSTRAINTS: readonly SysmlConstraint[];
+/**
+ * The reasons, keyed by prefix rather than enumerated one by one.
+ *
+ * Most of the 151 fall into a handful of buckets, and a bucket with a reason is
+ * more honest than 147 individual "not yet" entries that all mean the same
+ * thing. `classifyConstraints` applies these to whatever is not implemented.
+ */
+export declare const UNIMPLEMENTED_REASONS: readonly {
+    match: RegExp;
+    reason: UnimplementedReason;
+    detail: string;
+}[];
+export interface ConstraintScore {
+    sysideVersion: string;
+    total: number;
+    implemented: SysmlConstraint[];
+    unimplemented: UnimplementedConstraint[];
+    /** Implemented codes Syside does not publish — a code MEMO invented. */
+    unpublished: string[];
+    byReason: Record<UnimplementedReason, number>;
+}
+/** Score the implemented set against the published checklist. */
+export declare function classifyConstraints(implemented?: readonly SysmlConstraint[], published?: readonly SysideRule[]): ConstraintScore;
+/** Evaluate every implemented constraint against one model. */
+export declare function checkSysmlConstraints(model: MemoModelDTO, constraints?: readonly SysmlConstraint[]): ConstraintViolation[];
+//# sourceMappingURL=sysml-constraints.d.ts.map

package/packages/tools/lib/validator/sysml-constraints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sysml-constraints.d.ts","sourceRoot":"","sources":["../../src/validator/sysml-constraints.ts"],"names":[],"mappings":"AAmCA,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,KAAK,UAAU,EAAE,MAAM,0CAA0C,CAAC;AACzG,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAGzD,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,CAAC;AAExC,6EAA6E;AAC7E,MAAM,WAAW,mBAAmB;IAChC,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,eAAe;IAC5B,kEAAkE;IAClE,IAAI,EAAE,MAAM,CAAC;IACb,kEAAkE;IAClE,MAAM,EAAE,MAAM,CAAC;IACf,uEAAuE;IACvE,SAAS,EAAE,MAAM,CAAC;IAClB;;;;;;;OAOG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,KAAK,EAAE,YAAY,GAAG,mBAAmB,EAAE,CAAC;CACrD;AAED,uDAAuD;AACvD,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,cAAc,GAAG,SAAS,CAAC;AAEzE,MAAM,WAAW,uBAAuB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,mBAAmB,CAAC;IAC5B,2EAA2E;IAC3E,MAAM,EAAE,MAAM,CAAC;CAClB;AA8BD,eAAO,MAAM,uBAAuB,EAAE,SAAS,eAAe,EA2H7D,CAAC;AAIF;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,EAAE,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,mBAAmB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EAqB1G,CAAC;AAEF,MAAM,WAAW,eAAe;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,eAAe,EAAE,CAAC;IAC/B,aAAa,EAAE,uBAAuB,EAAE,CAAC;IACzC,wEAAwE;IACxE,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC;CACjD;AAED,iEAAiE;AACjE,wBAAgB,mBAAmB,CAC/B,WAAW,GAAE,SAAS,eAAe,EAA4B,EACjE,SAAS,GAAE,SAAS,UAAU,EAAiB,GAChD,eAAe,CAqBjB;AAED,+DAA+D;AAC/D,wBAAgB,qBAAqB,CACjC,KAAK,EAAE,YAAY,EACnB,WAAW,GAAE,SAAS,eAAe,EAA4B,GAClE,mBAAmB,EAAE,CAEvB"}