@memoarchitect/tools 0.13.2 → 0.15.0

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

@@ -1,5 +1,4 @@
-import type { ParsedDocument } from '../model/parser-utils.js';
-import type { CompiledConstraint } from './constraint-eval.js';
+import type { CompiledConstraint, ConstraintNode, RuleDomain, RuleObligation } from './constraint-eval.js';
 /** A rule that could not be loaded, or that conflicts with another rule. */
 export interface ConstraintDiagnostic {
     kind: 'compile-failed' | 'duplicate-id';
@@ -7,22 +6,27 @@ export interface ConstraintDiagnostic {
     file: string;
     message: string;
 }
+/** The rule's domain, or undefined when it states none (an enumeration literal as `Kind::member` or the bare member). */
+export declare function mapDomain(raw?: string): RuleDomain | undefined;
+/** The rule's obligation, or undefined when it states none (`Kind::member` or the bare member). */
+export declare function mapObligation(raw?: string): RuleObligation | undefined;
 /**
- * Walk all parsed documents and compile every native constraint def found.
- *
- * 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.
+ * What a rule definition states, however it was read: from MEMO's parse
+ * (`collectNativeConstraints`) or from stage 1's API JSON
+ * (`collectApiConstraints`). Both compile through `compileRuleDefinition`, so
+ * the two paths cannot drift apart.
  */
-export declare function collectNativeConstraints(docs: ParsedDocument[], diagnostics?: ConstraintDiagnostic[]): CompiledConstraint[];
+export interface RuleDefinitionParts {
+    typeName: string;
+    /** Attribute values, an enumeration literal as its bare member name (`error`). */
+    attrs: Record<string, string>;
+    doc?: string;
+    file?: string;
+    /** The boolean body, in evaluator form; absent when the definition states none. */
+    body?: ConstraintNode;
+    /** Qualified names of the clauses the rule enforces, when the reader found them. */
+    enforces?: string[];
+}
+/** Compile one rule definition, or undefined when it is no rule (no id, no body or coverage target). */
+export declare function compileRuleDefinition(parts: RuleDefinitionParts): CompiledConstraint | undefined;
 //# sourceMappingURL=constraint-loader.d.ts.map

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

@@ -1 +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,4EAA4E;AAC5E,MAAM,WAAW,oBAAoB;IACjC,IAAI,EAAE,gBAAgB,GAAG,cAAc,CAAC;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,wBAAwB,CACpC,IAAI,EAAE,cAAc,EAAE,EACtB,WAAW,CAAC,EAAE,oBAAoB,EAAE,GACrC,kBAAkB,EAAE,CA0BtB"}
+{"version":3,"file":"constraint-loader.d.ts","sourceRoot":"","sources":["../../src/validator/constraint-loader.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAG3G,4EAA4E;AAC5E,MAAM,WAAW,oBAAoB;IACjC,IAAI,EAAE,gBAAgB,GAAG,cAAc,CAAC;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACnB;AAED,yHAAyH;AACzH,wBAAgB,SAAS,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAG9D;AAED,mGAAmG;AACnG,wBAAgB,aAAa,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAGtE;AA0BD;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB;IAChC,QAAQ,EAAE,MAAM,CAAC;IACjB,kFAAkF;IAClF,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,mFAAmF;IACnF,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,oFAAoF;IACpF,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,wGAAwG;AACxG,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,kBAAkB,GAAG,SAAS,CAiDhG"}

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

@@ -1,7 +1,7 @@
 // ─── 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
+// Compiles the native `constraint def` / `requirement def` declarations a stage 1
+// handoff states (`collectApiConstraints`) and compiles each `require`/`assert constraint { … }` body into
 // 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.
@@ -15,75 +15,19 @@
 //       require constraint { mitigatesHazard->size() >= 1 }
 //   }
 // ──────────────────────────────────────────────────────────────────────────────
-import { langiumExprToNode, parseConstraintExpression } from './constraint-eval.js';
-/**
- * Walk all parsed documents and compile every native constraint def found.
- *
- * 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, 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, doc.filePath, diagnostics);
-        }
-        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()];
+import { parseConstraintExpression } from './constraint-eval.js';
+/** The rule's domain, or undefined when it states none (an enumeration literal as `Kind::member` or the bare member). */
+export function mapDomain(raw) {
+    const member = raw?.includes('::') ? raw.slice(raw.lastIndexOf('::') + 2) : raw;
+    return member === 'modelling' || member === 'medicalDevice' || member === 'organisation' ? member : undefined;
 }
-function walk(node, out, file, diagnostics) {
-    if (!node)
-        return;
-    if (node.$type === 'PackageDeclaration') {
-        for (const member of node.members ?? [])
-            walk(member, out, file, diagnostics);
-    }
-    else if (node.$type === 'ConstraintDefinition' || node.$type === 'RequirementDefinition') {
-        try {
-            const compiled = tryCompile(node, file);
-            if (compiled)
-                out.push(compiled);
-        }
-        catch (error) {
-            diagnostics?.push({
-                kind: 'compile-failed',
-                ruleId: authoredId(extractAttributes(node.body ?? [])) ?? '(unknown)',
-                file,
-                message: error instanceof Error ? error.message : String(error),
-            });
-        }
-    }
+/** The rule's obligation, or undefined when it states none (`Kind::member` or the bare member). */
+export function mapObligation(raw) {
+    const member = raw?.includes('::') ? raw.slice(raw.lastIndexOf('::') + 2) : raw;
+    return member === 'required' || member === 'recommended' || member === 'bestPractice' ? member : undefined;
 }
+/** What a rule that states no severity takes from its obligation. */
+const OBLIGATION_SEVERITY = { required: 'error', recommended: 'warning', bestPractice: 'info' };
 function mapTailoring(raw) {
     // A rule with no declared class is treated as `assurance`: tailorable with
     // rationale. Defaulting to `invariant` would silently make every
@@ -102,19 +46,17 @@ function mapTailoring(raw) {
 function authoredId(attrs) {
     return attrs['providedId'] || attrs['id'] || undefined;
 }
-function tryCompile(def, file) {
-    const body = def.body ?? [];
-    const attrs = extractAttributes(body);
+/** Compile one rule definition, or undefined when it is no rule (no id, no body or coverage target). */
+export function compileRuleDefinition(parts) {
+    const { attrs } = parts;
     const id = authoredId(attrs);
     if (!id)
         return undefined;
-    // The boolean body: first require/assert constraint member.
-    const requireMember = body.find(m => m.$type === 'RequireConstraintMember' && m.expression);
     let ast;
     let appliesToKind = attrs['appliesTo'] ?? '';
-    if (requireMember) {
-        ast = langiumExprToNode(requireMember.expression);
-        if (ast.kind === 'bool' && ast.value && attrs['predicateExpression'] && attrs['evaluator'] !== 'architecture') {
+    if (parts.body) {
+        ast = parts.body;
+        if (ast.kind === 'bool' && ast.value && attrs['predicateExpression'] && (!attrs['evaluator'] || attrs['evaluator'] === 'native')) {
             // 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.
@@ -139,13 +81,21 @@ function tryCompile(def, file) {
     }
     return {
         id,
-        description: attrs['description'] || attrs['rationaleText'] || id,
+        // Native `doc` first: the bases stopped declaring `description`, so a
+        // rule written today states its prose as a doc comment. `description`
+        // stays ahead of `rationaleText` for a rule that still carries the old
+        // attribute — a rationale is why the rule exists, not what it checks,
+        // and it is the last resort rather than an equivalent.
+        description: parts.doc || attrs['description'] || attrs['rationaleText'] || id,
         appliesToKind,
-        severity: mapSeverity(attrs['severity']),
+        severity: mapSeverity(attrs['severity'], mapObligation(attrs['obligation'])),
         evaluator: attrs['evaluator'] || undefined,
-        typeName: def.name,
+        typeName: parts.typeName,
         tailoring: mapTailoring(attrs['tailoring']),
-        sourceFile: file,
+        sourceFile: parts.file,
+        ...(mapDomain(attrs['domain']) ? { domain: mapDomain(attrs['domain']) } : {}),
+        ...(mapObligation(attrs['obligation']) ? { obligation: mapObligation(attrs['obligation']) } : {}),
+        ...(parts.enforces && parts.enforces.length > 0 ? { enforces: parts.enforces } : {}),
         ast,
     };
 }
@@ -155,67 +105,9 @@ function parseScope(scope) {
         throw new Error(`Unsupported coverage target '${scope}'.`);
     return { kind: match[1], attribute: match[2], value: match[3] };
 }
-/**
- * The rule loader's own attribute reader.
- *
- * Deliberately separate from the builder's: rules are compiled before a model
- * exists, so this walks the raw AST. It must stay in step with the builder on
- * one point — a `MetadataApplication` (`@Foo { … }`) is a different node type
- * from an `AttributeMember`, so a reader that only walks the latter sees
- * nothing on an annotated definition. That is how every A0 rule silently
- * stopped compiling when the authored ids moved onto `@MemoIdentity`:
- * `tryCompile` returns undefined without an id, the rule is skipped, and the
- * engine enforces nothing while the suite stays green.
- */
-function extractAttributes(body) {
-    const attrs = {};
-    for (const member of body) {
-        if (member.$type === 'AttributeMember' && member.value) {
-            attrs[member.name] = extractValue(member.value);
-        }
-    }
-    // Metadata last, so an annotation wins over a directly declared attribute
-    // of the same name — the precedence the builder uses.
-    for (const member of body) {
-        if (member.$type !== 'MetadataApplication')
-            continue;
-        for (const field of member.body ?? []) {
-            if (!field?.name || !field.value)
-                continue;
-            attrs[field.name] = extractValue(field.value);
-        }
-    }
-    return attrs;
-}
-function extractValue(value) {
-    if (!value)
-        return '';
-    switch (value.$type) {
-        case 'StringValue':
-            try {
-                return JSON.parse(value.value ?? '""');
-            }
-            catch {
-                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) {
+function mapSeverity(severity, obligation) {
     if (severity === 'error' || severity === 'warning' || severity === 'info')
         return severity;
-    return 'warning';
+    return obligation ? OBLIGATION_SEVERITY[obligation] : 'warning';
 }
 //# sourceMappingURL=constraint-loader.js.map

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,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,UAAU,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,WAAW;gBACrE,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;AAGD;;;;;;;;GAQG;AACH,SAAS,UAAU,CAAC,KAA6B;IAC7C,OAAO,KAAK,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC;AAC3D,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,UAAU,CAAC,KAAK,CAAC,CAAC;IAC7B,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;;;;;;;;;;;GAWG;AACH,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,0EAA0E;IAC1E,sDAAsD;IACtD,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,MAAM,CAAC,KAAK,KAAK,qBAAqB;YAAE,SAAS;QACrD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;YACpC,IAAI,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK;gBAAE,SAAS;YAC3C,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAClD,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"}
+{"version":3,"file":"constraint-loader.js","sourceRoot":"","sources":["../../src/validator/constraint-loader.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,kFAAkF;AAClF,2GAA2G;AAC3G,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;AAGjF,OAAO,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AAUjE,yHAAyH;AACzH,MAAM,UAAU,SAAS,CAAC,GAAY;IAClC,MAAM,MAAM,GAAG,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAChF,OAAO,MAAM,KAAK,WAAW,IAAI,MAAM,KAAK,eAAe,IAAI,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAClH,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,aAAa,CAAC,GAAY;IACtC,MAAM,MAAM,GAAG,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAChF,OAAO,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,aAAa,IAAI,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/G,CAAC;AAED,qEAAqE;AACrE,MAAM,mBAAmB,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAW,CAAC;AAEzG,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;AAGD;;;;;;;;GAQG;AACH,SAAS,UAAU,CAAC,KAA6B;IAC7C,OAAO,KAAK,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC;AAC3D,CAAC;AAoBD,wGAAwG;AACxG,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC5D,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACxB,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IAE1B,IAAI,GAAmB,CAAC;IACxB,IAAI,aAAa,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;IAC7C,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QACb,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC;QACjB,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,IAAI,KAAK,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;YAC/H,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,sEAAsE;QACtE,sEAAsE;QACtE,uEAAuE;QACvE,sEAAsE;QACtE,uDAAuD;QACvD,WAAW,EAAE,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE;QAC9E,aAAa;QACb,QAAQ,EAAE,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;QAC5E,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,SAAS;QAC1C,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,SAAS,EAAE,YAAY,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC3C,UAAU,EAAE,KAAK,CAAC,IAAI;QACtB,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7E,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjG,GAAG,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,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,WAAW,CAAC,QAAiB,EAAE,UAA2B;IAC/D,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,QAAQ,CAAC;IAC3F,OAAO,UAAU,CAAC,CAAC,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACpE,CAAC"}

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

@@ -0,0 +1,51 @@
+import type { ApiModel } from '../stage2/api-model.js';
+import type { EffectiveRule } from '../model/methodology-resolver.js';
+/** One clause of a standard or guidance, as the model carries it. */
+export interface ClauseFact {
+    qualifiedName: string;
+    /** The standard's designation (`IEC 62304:2006+AMD1:2015`). */
+    standard: string;
+    /** The standard's qualified name: what a policy that selects by standard names. */
+    standardName: string;
+    clauseNumber: string;
+    /** A MEMO-authored scope phrase, not the standard's wording. */
+    title?: string;
+}
+/** The clauses the model declares, with the standard each belongs to. */
+export declare function readClauseFacts(api: ApiModel): ClauseFact[];
+/** `IEC 62304:2006+AMD1:2015 §5.2`, or the qualified name when the clause is unknown. */
+export declare function clauseLabel(facts: readonly ClauseFact[], qualifiedName: string): string;
+export interface RuleClauseCoverage {
+    standards: {
+        designation: string;
+        clauses: number;
+        enforced: number;
+    }[];
+    /** Every clause some enabled rule enforces, with the rules that do. */
+    enforcedClauses: (ClauseFact & {
+        rules: string[];
+    })[];
+    /**
+     * Rules that name no clause. A rule need not trace to a standard (the ontology's modelling rules
+     * and a user's own rules usually do not), so this is information about the rule set, not a gap.
+     */
+    untracedRules: {
+        id: string;
+        typeName: string;
+        domain?: string;
+    }[];
+    /** How many rules name at least one clause, however many. */
+    tracedRules: number;
+    /** A rule that enforces a clause the model does not carry, which should not happen. */
+    unknownClauses: {
+        ruleId: string;
+        clause: string;
+    }[];
+    byDomain: Record<string, number>;
+}
+/**
+ * Coverage of the clauses by the rules. Only a rule that is enabled counts as
+ * enforcing: one a user disabled or replaced no longer checks anything.
+ */
+export declare function computeRuleClauseCoverage(clauses: readonly ClauseFact[], rules: readonly Pick<EffectiveRule, 'sourceRuleId' | 'sourceRuleType' | 'disposition' | 'domain' | 'enforces'>[]): RuleClauseCoverage;
+//# sourceMappingURL=rule-clauses.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rule-clauses.d.ts","sourceRoot":"","sources":["../../src/validator/rule-clauses.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAEvD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AAEtE,qEAAqE;AACrE,MAAM,WAAW,UAAU;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,+DAA+D;IAC/D,QAAQ,EAAE,MAAM,CAAC;IACjB,mFAAmF;IACnF,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,gEAAgE;IAChE,KAAK,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,yEAAyE;AACzE,wBAAgB,eAAe,CAAC,GAAG,EAAE,QAAQ,GAAG,UAAU,EAAE,CA2B3D;AAED,yFAAyF;AACzF,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,EAAE,aAAa,EAAE,MAAM,GAAG,MAAM,CAGvF;AAED,MAAM,WAAW,kBAAkB;IAC/B,SAAS,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACxE,uEAAuE;IACvE,eAAe,EAAE,CAAC,UAAU,GAAG;QAAE,KAAK,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,EAAE,CAAC;IACtD;;;OAGG;IACH,aAAa,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACnE,6DAA6D;IAC7D,WAAW,EAAE,MAAM,CAAC;IACpB,uFAAuF;IACvF,cAAc,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACrD,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACrC,OAAO,EAAE,SAAS,UAAU,EAAE,EAC9B,KAAK,EAAE,SAAS,IAAI,CAAC,aAAa,EAAE,cAAc,GAAG,gBAAgB,GAAG,aAAa,GAAG,QAAQ,GAAG,UAAU,CAAC,EAAE,GACjH,kBAAkB,CAgCpB"}

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

@@ -0,0 +1,87 @@
+// ─── Which rules enforce which clauses ───────────────────────────────────────
+//
+// A rule names the clauses it enforces (`#EnforcesClause dependency from <rule> to <clause>`), and the compiler has
+// checked that each exists. This reads the clauses a model carries from the
+// stage 1 handoff and answers the two questions an assurance reader asks:
+// what does this rule enforce, and what enforces this clause
+// (plans/memo-rules-domain-trace-and-editor.md).
+//
+// The coverage is a REPORT. A clause with no rule is the normal state of a
+// library that carries more clauses than MEMO has rules; it is not a defect.
+// ─────────────────────────────────────────────────────────────────────────────
+import { apiDefinitionFacts } from '../stage2/build-from-api.js';
+/** The clauses the model declares, with the standard each belongs to. */
+export function readClauseFacts(api) {
+    const typedBy = (id, suffix) => api.types(id).some(type => api.qualifiedName(type['@id'])?.endsWith(`::${suffix}`));
+    const standardOf = (id) => {
+        for (let owner = api.owner(id); owner; owner = api.owner(owner['@id'])) {
+            if (owner['@type'] === 'PartUsage' && typedBy(owner['@id'], 'RegulatoryStandard')) {
+                const designation = apiDefinitionFacts(api, owner).attributes['designation'];
+                const name = api.qualifiedName(owner['@id']);
+                return designation && name ? { designation, name } : undefined;
+            }
+        }
+        return undefined;
+    };
+    const facts = [];
+    for (const usage of api.ofType('PartUsage')) {
+        if (!typedBy(usage['@id'], 'StandardClause'))
+            continue;
+        const qualifiedName = api.qualifiedName(usage['@id']);
+        if (!qualifiedName)
+            continue;
+        const attributes = apiDefinitionFacts(api, usage).attributes;
+        const standard = standardOf(usage['@id']);
+        if (!standard || !attributes['clauseNumber'])
+            continue;
+        facts.push({
+            qualifiedName, standard: standard.designation, standardName: standard.name, clauseNumber: attributes['clauseNumber'],
+            ...(attributes['title'] ? { title: attributes['title'] } : {}),
+        });
+    }
+    return facts;
+}
+/** `IEC 62304:2006+AMD1:2015 §5.2`, or the qualified name when the clause is unknown. */
+export function clauseLabel(facts, qualifiedName) {
+    const fact = facts.find(f => f.qualifiedName === qualifiedName);
+    return fact ? `${fact.standard} §${fact.clauseNumber}` : qualifiedName;
+}
+/**
+ * Coverage of the clauses by the rules. Only a rule that is enabled counts as
+ * enforcing: one a user disabled or replaced no longer checks anything.
+ */
+export function computeRuleClauseCoverage(clauses, rules) {
+    const byClause = new Map();
+    const known = new Set(clauses.map(c => c.qualifiedName));
+    const unknownClauses = [];
+    const byDomain = {};
+    const untracedRules = [];
+    let tracedRules = 0;
+    for (const rule of rules) {
+        byDomain[rule.domain ?? 'unstated'] = (byDomain[rule.domain ?? 'unstated'] ?? 0) + 1;
+        const enforced = rule.enforces ?? [];
+        if (enforced.length === 0)
+            untracedRules.push({ id: rule.sourceRuleId, typeName: rule.sourceRuleType, ...(rule.domain ? { domain: rule.domain } : {}) });
+        else
+            tracedRules++;
+        for (const clause of enforced) {
+            if (!known.has(clause)) {
+                unknownClauses.push({ ruleId: rule.sourceRuleId, clause });
+                continue;
+            }
+            if (rule.disposition !== 'enabled')
+                continue;
+            byClause.set(clause, [...(byClause.get(clause) ?? []), rule.sourceRuleId]);
+        }
+    }
+    const enforcedClauses = clauses
+        .filter(c => byClause.has(c.qualifiedName))
+        .map(c => ({ ...c, rules: [...new Set(byClause.get(c.qualifiedName))].sort() }));
+    const standards = [...new Set(clauses.map(c => c.standard))].sort().map(designation => ({
+        designation,
+        clauses: clauses.filter(c => c.standard === designation).length,
+        enforced: enforcedClauses.filter(c => c.standard === designation).length,
+    }));
+    return { standards, enforcedClauses, untracedRules, tracedRules, unknownClauses, byDomain };
+}
+//# sourceMappingURL=rule-clauses.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rule-clauses.js","sourceRoot":"","sources":["../../src/validator/rule-clauses.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,oHAAoH;AACpH,4EAA4E;AAC5E,0EAA0E;AAC1E,6DAA6D;AAC7D,iDAAiD;AACjD,EAAE;AACF,2EAA2E;AAC3E,6EAA6E;AAC7E,gFAAgF;AAGhF,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AAejE,yEAAyE;AACzE,MAAM,UAAU,eAAe,CAAC,GAAa;IACzC,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,MAAc,EAAW,EAAE,CACpD,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC,CAAC;IACxF,MAAM,UAAU,GAAG,CAAC,EAAU,EAAqD,EAAE;QACjF,KAAK,IAAI,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACrE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,WAAW,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,oBAAoB,CAAC,EAAE,CAAC;gBAChF,MAAM,WAAW,GAAG,kBAAkB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;gBAC7E,MAAM,IAAI,GAAG,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC7C,OAAO,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;YACnE,CAAC;QACL,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC,CAAC;IACF,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,gBAAgB,CAAC;YAAE,SAAS;QACvD,MAAM,aAAa,GAAG,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACtD,IAAI,CAAC,aAAa;YAAE,SAAS;QAC7B,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC;QAC7D,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAI,CAAC,QAAQ,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;YAAE,SAAS;QACvD,KAAK,CAAC,IAAI,CAAC;YACP,aAAa,EAAE,QAAQ,EAAE,QAAQ,CAAC,WAAW,EAAE,YAAY,EAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,EAAE,UAAU,CAAC,cAAc,CAAC;YACpH,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACjE,CAAC,CAAC;IACP,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,WAAW,CAAC,KAA4B,EAAE,aAAqB;IAC3E,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,aAAa,CAAC,CAAC;IAChE,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC;AAC3E,CAAC;AAkBD;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CACrC,OAA8B,EAC9B,KAAgH;IAEhH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IACzD,MAAM,cAAc,GAAyC,EAAE,CAAC;IAChE,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,MAAM,aAAa,GAAwC,EAAE,CAAC;IAC9D,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,QAAQ,CAAC,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACrF,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;QACrC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;;YACpJ,WAAW,EAAE,CAAC;QACnB,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrB,cAAc,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC3D,SAAS;YACb,CAAC;YACD,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;gBAAE,SAAS;YAC7C,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;QAC/E,CAAC;IACL,CAAC;IAED,MAAM,eAAe,GAAG,OAAO;SAC1B,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;SAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IACrF,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACpF,WAAW;QACX,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,MAAM;QAC/D,QAAQ,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,MAAM;KAC3E,CAAC,CAAC,CAAC;IACJ,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,aAAa,EAAE,WAAW,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC;AAChG,CAAC"}

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

@@ -13,5 +13,13 @@ import type { KindRegistry } from '../model/kind-registry.js';
  */
 export declare function validateModel(model: MemoModel, nativeConstraints?: CompiledConstraint[], kindRegistry?: KindRegistry, effectiveRules?: EffectiveRule[], 
 /** Methodology scope: which elements a rule may be evaluated ON. */
-inScope?: (element: import('../model/semantic.js').MemoElement) => boolean): ValidationResult;
+inScope?: (element: import('../model/semantic.js').MemoElement) => boolean, 
+/**
+ * A workspace chosen with `--workspace`. Unlike methodology scope it is a view, not tailoring, so
+ * it narrows the subjects of EVERY rule, invariants included; the graph stays whole and only the
+ * evidence from another system's elements stops counting (see `WorkspaceScope`).
+ */
+workspace?: Pick<import('../model/workspace-membership.js').WorkspaceScope, 'subjects' | 'foreign'>, 
+/** What each workspace holds. Without it a rule that judges workspace boundaries has no subject. */
+membership?: import('../model/workspace-membership.js').WorkspaceMembership): 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,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;AAChC,oEAAoE;AACpE,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,sBAAsB,EAAE,WAAW,KAAK,OAAO,GAC3E,gBAAgB,CAgFlB"}
+{"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;AAM/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;AAChC,oEAAoE;AACpE,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,sBAAsB,EAAE,WAAW,KAAK,OAAO;AAC1E;;;;GAIG;AACH,SAAS,CAAC,EAAE,IAAI,CAAC,OAAO,kCAAkC,EAAE,cAAc,EAAE,UAAU,GAAG,SAAS,CAAC;AACnG,oGAAoG;AACpG,UAAU,CAAC,EAAE,OAAO,kCAAkC,EAAE,mBAAmB,GAC5E,gBAAgB,CAmHlB"}

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

@@ -6,9 +6,10 @@
 // expression evaluator (constraint-eval.ts). Structural behavior checks run
 // alongside. The proprietary ClosureRule path was removed in Epic EE-4.
 // ─────────────────────────────────────────────────────────────────────────────
-import { evaluateConstraintNode } from './constraint-eval.js';
+import { evaluateConstraintSubjects } from './constraint-eval.js';
 import { validateBehavior } from './behavior-validator.js';
 import { validateArchitecture } from './architecture-validator.js';
+import { validateWorkspaceBoundaries } from './workspace-boundary-validator.js';
 import { validateViews } from './view-validator.js';
 import { BUILTIN_RULE_IDS } from './builtin-rules.js';
 /**
@@ -21,7 +22,15 @@ import { BUILTIN_RULE_IDS } from './builtin-rules.js';
  */
 export function validateModel(model, nativeConstraints = [], kindRegistry, effectiveRules, 
 /** Methodology scope: which elements a rule may be evaluated ON. */
-inScope) {
+inScope, 
+/**
+ * A workspace chosen with `--workspace`. Unlike methodology scope it is a view, not tailoring, so
+ * it narrows the subjects of EVERY rule, invariants included; the graph stays whole and only the
+ * evidence from another system's elements stops counting (see `WorkspaceScope`).
+ */
+workspace, 
+/** What each workspace holds. Without it a rule that judges workspace boundaries has no subject. */
+membership) {
     // 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();
@@ -55,8 +64,16 @@ inScope) {
     const ibdScope = nativeConstraints.find(c => c.evaluator === 'architecture')?.appliesToKind;
     const architectureViolations = validateArchitecture(model, ibdScope, kindRegistry);
     const viewViolations = validateViews(model);
+    // The built-in validators take no subject predicate, so a workspace keeps their findings by the
+    // element they are about. A model-wide finding (`__model__`) belongs to no element and stays.
+    // A dependency's elements are another package's: the rules judge this model's own
+    // content, and that package is validated where it is developed.
+    const isDependency = (id) => model.elements.get(id)?.provenance?.declaration.origin === 'dependency';
+    const inWorkspace = (violation) => !isDependency(violation.elementId)
+        && (!workspace || violation.elementId === '__model__' || workspace.subjects.has(violation.elementId));
     const nativeViolations = [];
     let nativePassed = 0;
+    let nativeVacuous = 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
@@ -64,16 +81,42 @@ inScope) {
     // meant one rule was evaluated and reported as neither passed nor failed.
     const delegated = [];
     for (const constraint of nativeConstraints) {
+        if (constraint.evaluator === 'workspace') {
+            // A model with no System has no boundary to judge: the rule ran on nothing, which is not a pass.
+            if (!membership || membership.missingSystem) {
+                nativeVacuous++;
+                continue;
+            }
+            const found = validateWorkspaceBoundaries(model, membership, constraint).filter(inWorkspace);
+            if (found.length === 0)
+                nativePassed++;
+            nativeViolations.push(...found);
+            continue;
+        }
         if (constraint.evaluator && constraint.evaluator !== 'native') {
             delegated.push(constraint.id);
             continue;
         }
-        const violations = evaluateConstraintNode(constraint, constraint.ast, model, kindRegistry, inScope);
-        if (violations.length === 0)
+        // An invariant runs on every subject of its kind, in scope or not. It
+        // holds the ontology's own consistency, which a methodology may not
+        // tailor — and leaving an element out of the rule's subjects is
+        // tailoring it, just without a policy to show for it.
+        const methodologyScope = constraint.tailoring === 'invariant' ? undefined : inScope;
+        const own = (element) => element.provenance?.declaration.origin !== 'dependency';
+        const subjectScope = workspace
+            ? (element) => own(element) && workspace.subjects.has(element.id) && (!methodologyScope || methodologyScope(element))
+            : (element) => own(element) && (!methodologyScope || methodologyScope(element));
+        const { violations, subjectCount } = evaluateConstraintSubjects(constraint, constraint.ast, model, kindRegistry, subjectScope, workspace?.foreign);
+        if (subjectCount === 0)
+            nativeVacuous++;
+        else if (violations.length === 0)
             nativePassed++;
         nativeViolations.push(...violations);
     }
-    const violations = [...unresolvedViolations, ...behaviorViolations, ...architectureViolations, ...viewViolations, ...nativeViolations]
+    const violations = [
+        ...[...unresolvedViolations, ...behaviorViolations, ...architectureViolations, ...viewViolations].filter(inWorkspace),
+        ...nativeViolations,
+    ]
         .map(violation => ({
         ...violation,
         provenance: model.elements.get(violation.elementId)?.provenance,
@@ -87,13 +130,14 @@ inScope) {
     // two different denominators as though they were one.
     const raisedByBuiltinValidators = new Set([
         ...unresolvedViolations, ...behaviorViolations, ...architectureViolations, ...viewViolations,
-    ].map(violation => violation.ruleId));
+    ].filter(inWorkspace).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,
         rulesEvaluated: BUILTIN_RULE_IDS.length + nativeConstraints.length,
         rulesPassed: builtinPassed + delegatedPassed + nativePassed,
+        rulesVacuous: nativeVacuous,
         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;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;AAChC,oEAAoE;AACpE,OAA0E;IAE1E,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,oBAAoB,GAAgB,CAAC,KAAK,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrF,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS;QAC7D,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW;QAC1D,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,KAAK,IAAI,SAAS;QAC5D,WAAW,EAAE,eAAe,GAAG,CAAC,SAAS,mBAAmB,GAAG,CAAC,WAAW,kBAAkB,GAAG,CAAC,WAAW,GAAG;QAC/G,IAAI,EAAE,GAAG,CAAC,IAAI;KACjB,CAAC,CAAC,CAAC;IAEJ,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,EAAE,OAAO,CAAC,CAAC;QACpG,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,oBAAoB,EAAE,GAAG,kBAAkB,EAAE,GAAG,sBAAsB,EAAE,GAAG,cAAc,EAAE,GAAG,gBAAgB,CAAC;SACjI,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,oBAAoB,EAAE,GAAG,kBAAkB,EAAE,GAAG,sBAAsB,EAAE,GAAG,cAAc;KAC/F,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"}
+{"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,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAChF,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;AAChC,oEAAoE;AACpE,OAA0E;AAC1E;;;;GAIG;AACH,SAAmG;AACnG,oGAAoG;AACpG,UAA2E;IAE3E,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,oBAAoB,GAAgB,CAAC,KAAK,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrF,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS;QAC7D,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW;QAC1D,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,KAAK,IAAI,SAAS;QAC5D,WAAW,EAAE,eAAe,GAAG,CAAC,SAAS,mBAAmB,GAAG,CAAC,WAAW,kBAAkB,GAAG,CAAC,WAAW,GAAG;QAC/G,IAAI,EAAE,GAAG,CAAC,IAAI;KACjB,CAAC,CAAC,CAAC;IAEJ,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,gGAAgG;IAChG,8FAA8F;IAC9F,kFAAkF;IAClF,gEAAgE;IAChE,MAAM,YAAY,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,WAAW,CAAC,MAAM,KAAK,YAAY,CAAC;IAC7G,MAAM,WAAW,GAAG,CAAC,SAAoB,EAAE,EAAE,CACzC,CAAC,YAAY,CAAC,SAAS,CAAC,SAAS,CAAC;WAC/B,CAAC,CAAC,SAAS,IAAI,SAAS,CAAC,SAAS,KAAK,WAAW,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC;IAE1G,MAAM,gBAAgB,GAAgB,EAAE,CAAC;IACzC,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,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,KAAK,WAAW,EAAE,CAAC;YACvC,iGAAiG;YACjG,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,aAAa,EAAE,CAAC;gBAAC,aAAa,EAAE,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC3E,MAAM,KAAK,GAAG,2BAA2B,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YAC7F,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,YAAY,EAAE,CAAC;YACvC,gBAAgB,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YAChC,SAAS;QACb,CAAC;QACD,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,sEAAsE;QACtE,oEAAoE;QACpE,gEAAgE;QAChE,sDAAsD;QACtD,MAAM,gBAAgB,GAAG,UAAU,CAAC,SAAS,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;QACpF,MAAM,GAAG,GAAG,CAAC,OAAmD,EAAE,EAAE,CAChE,OAAO,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,KAAK,YAAY,CAAC;QAC5D,MAAM,YAAY,GAAG,SAAS;YAC1B,CAAC,CAAC,CAAC,OAAmD,EAAE,EAAE,CACtD,GAAG,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,gBAAgB,IAAI,gBAAgB,CAAC,OAAO,CAAC,CAAC;YAC1G,CAAC,CAAC,CAAC,OAAmD,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,gBAAgB,IAAI,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC;QAChI,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,0BAA0B,CAC3D,UAAU,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QACvF,IAAI,YAAY,KAAK,CAAC;YAAE,aAAa,EAAE,CAAC;aACnC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,YAAY,EAAE,CAAC;QACjD,gBAAgB,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,UAAU,GAAG;QACf,GAAG,CAAC,GAAG,oBAAoB,EAAE,GAAG,kBAAkB,EAAE,GAAG,sBAAsB,EAAE,GAAG,cAAc,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC;QACrH,GAAG,gBAAgB;KACtB;SACI,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,oBAAoB,EAAE,GAAG,kBAAkB,EAAE,GAAG,sBAAsB,EAAE,GAAG,cAAc;KAC/F,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1D,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,YAAY,EAAE,aAAa;QAC3B,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;KACxB,CAAC;AACN,CAAC"}