@memoarchitect/tools 0.13.2 → 0.15.0

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

@@ -1,4 +1,4 @@
-import type { ParsedDocument } from '../model/parser-utils.js';
+import type { ApiElement, ApiModel } from '../stage2/api-model.js';
 /** A consistency rule extracted from SysML ontology */
 export interface RuleRegistryEntry {
     /** Rule ID from SysML attribute */
@@ -49,13 +49,9 @@ export declare class RuleRegistry {
     /** Register a rule manually (for testing) */
     register(entry: RuleRegistryEntry): void;
     /**
-     * Populate registry from parsed SysML documents.
-     * Looks for part usages whose type is a known ConsistencyRule subtype.
+     * Populate from a stage 1 handoff: part usages whose type is a known
+     * ConsistencyRule subtype.
      */
-    populateFromDocuments(docs: ParsedDocument[]): void;
-    private walkPackage;
-    private tryExtractRule;
-    private extractAttributes;
-    private extractValue;
+    populateFromApi(api: ApiModel, fileOf: (element: ApiElement) => string): void;
 }
 //# sourceMappingURL=rule-registry.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"rule-registry.d.ts","sourceRoot":"","sources":["../../src/validator/rule-registry.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE/D,uDAAuD;AACvD,MAAM,WAAW,iBAAiB;IAC9B,mCAAmC;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,0BAA0B;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,mEAAmE;IACnE,SAAS,EAAE,MAAM,CAAC;IAClB,iEAAiE;IACjE,QAAQ,EAAE,MAAM,CAAC;IACjB,sCAAsC;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,qBAAqB;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,6EAA6E;IAC7E,QAAQ,EAAE,MAAM,CAAC;IACjB,iDAAiD;IACjD,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,uBAAuB;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,0EAA0E;IAC1E,SAAS,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,qBAAa,YAAY;IACrB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAwC;IAE9D,2CAA2C;IAC3C,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAS/B;IAEH,iCAAiC;IACjC,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,uBAAuB;IACvB,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS;IAIlD,oBAAoB;IACpB,OAAO,IAAI,iBAAiB,EAAE;IAI9B,qCAAqC;IACrC,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,iBAAiB,EAAE;IAIjD,0DAA0D;IAC1D,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,iBAAiB,EAAE;IAIjD,oCAAoC;IACpC,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAIxB,6CAA6C;IAC7C,QAAQ,CAAC,KAAK,EAAE,iBAAiB,GAAG,IAAI;IAIxC;;;OAGG;IACH,qBAAqB,CAAC,IAAI,EAAE,cAAc,EAAE,GAAG,IAAI;IAanD,OAAO,CAAC,WAAW;IAUnB,OAAO,CAAC,cAAc;IA0BtB,OAAO,CAAC,iBAAiB;IAWzB,OAAO,CAAC,YAAY;CAoBvB"}
+{"version":3,"file":"rule-registry.d.ts","sourceRoot":"","sources":["../../src/validator/rule-registry.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAGnE,uDAAuD;AACvD,MAAM,WAAW,iBAAiB;IAC9B,mCAAmC;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,0BAA0B;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,mEAAmE;IACnE,SAAS,EAAE,MAAM,CAAC;IAClB,iEAAiE;IACjE,QAAQ,EAAE,MAAM,CAAC;IACjB,sCAAsC;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,qBAAqB;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,6EAA6E;IAC7E,QAAQ,EAAE,MAAM,CAAC;IACjB,iDAAiD;IACjD,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,uBAAuB;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,0EAA0E;IAC1E,SAAS,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,qBAAa,YAAY;IACrB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAwC;IAE9D,2CAA2C;IAC3C,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAS/B;IAEH,iCAAiC;IACjC,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,uBAAuB;IACvB,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS;IAIlD,oBAAoB;IACpB,OAAO,IAAI,iBAAiB,EAAE;IAI9B,qCAAqC;IACrC,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,iBAAiB,EAAE;IAIjD,0DAA0D;IAC1D,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,iBAAiB,EAAE;IAIjD,oCAAoC;IACpC,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAIxB,6CAA6C;IAC7C,QAAQ,CAAC,KAAK,EAAE,iBAAiB,GAAG,IAAI;IAIxC;;;OAGG;IACH,eAAe,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,UAAU,KAAK,MAAM,GAAG,IAAI;CAahF"}

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

@@ -1,6 +1,6 @@
 // ─── Rule Registry ───────────────────────────────────────────────────────────
 //
-// Discovery index for ConsistencyRule instances in parsed SysML documents.
+// Discovery index for ConsistencyRule instances in a compiled project.
 // Surfaces rule metadata (id, category, severity, standard) for the `memo rules`
 // catalog and coverage reporting. Rule EVALUATION is handled by the native
 // constraint evaluator (constraint-eval.ts); the proprietary ClosureRule
@@ -8,9 +8,10 @@
 //
 // Usage:
 //   const registry = new RuleRegistry();
-//   registry.populateFromDocuments(parsedDocs);
+//   registry.populateFromApi(api, fileOf);
 //   const rules = registry.entries();
 // ─────────────────────────────────────────────────────────────────────────────
+import { apiDefinitionFacts } from '../stage2/build-from-api.js';
 /**
  * Registry that discovers ConsistencyRule instances from SysML AST.
  * Walks part usages whose type specializes ConsistencyRule.
@@ -57,86 +58,48 @@ export class RuleRegistry {
         this.rules.set(entry.id, entry);
     }
     /**
-     * Populate registry from parsed SysML documents.
-     * Looks for part usages whose type is a known ConsistencyRule subtype.
+     * Populate from a stage 1 handoff: part usages whose type is a known
+     * ConsistencyRule subtype.
      */
-    populateFromDocuments(docs) {
-        for (const doc of docs) {
-            const model = doc.document.parseResult?.value;
-            if (!model)
+    populateFromApi(api, fileOf) {
+        for (const usage of api.ofType('PartUsage')) {
+            const type = api.types(usage['@id'])[0];
+            const typeName = type ? api.name(type['@id']) : undefined;
+            if (!typeName || !RuleRegistry.RULE_TYPES.has(typeName))
                 continue;
-            for (const member of model.members ?? []) {
-                if (member.$type === 'PackageDeclaration') {
-                    this.walkPackage(member, doc.filePath);
-                }
-            }
-        }
-    }
-    walkPackage(pkg, filePath) {
-        for (const member of pkg.members ?? []) {
-            if (member.$type === 'PackageDeclaration') {
-                this.walkPackage(member, filePath);
-            }
-            else if (member.$type === 'PartUsage') {
-                this.tryExtractRule(member, filePath);
-            }
-        }
-    }
-    tryExtractRule(usage, filePath) {
-        const typeName = usage.type;
-        if (!typeName || !RuleRegistry.RULE_TYPES.has(typeName))
-            return;
-        const attrs = this.extractAttributes(usage.body);
-        const id = attrs['id'];
-        if (!id)
-            return; // Rules must have an ID
-        const entry = {
-            id,
-            name: attrs['name'] ?? usage.name ?? id,
-            description: attrs['description'] ?? '',
-            appliesTo: attrs['appliesTo'] ?? '',
-            predicate: attrs['predicate'] ?? '',
-            strength: attrs['strength'] ?? 'recommended',
-            severity: attrs['severity'] ?? 'warning',
-            rationaleText: attrs['rationaleText'] ?? '',
-            category: attrs['category'] ?? 'closure',
-            attributes: attrs,
-            file: filePath,
-            superType: typeName,
-        };
-        this.rules.set(id, entry);
-    }
-    extractAttributes(body) {
-        if (!body)
-            return {};
-        const attrs = {};
-        for (const member of body) {
-            if (member.$type === 'AttributeMember' && member.value) {
-                attrs[member.name] = this.extractValue(member.value);
-            }
-        }
-        return attrs;
-    }
-    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 value.value;
-            case 'EnumValue': {
-                // Strip enum type prefix: "RuleStrengthKind::required" → "required"
-                const ref = value.enumRef ?? '';
-                const colonIdx = ref.lastIndexOf('::');
-                return colonIdx >= 0 ? ref.slice(colonIdx + 2) : ref;
-            }
-            default:
-                return String(value);
+            const facts = apiDefinitionFacts(api, usage);
+            // An enumeration value is recorded by its member name, as the parse reader does.
+            const attrs = Object.fromEntries(Object.entries(facts.attributes)
+                .map(([key, value]) => [key, /^[A-Za-z_]\w*(::[A-Za-z_]\w*)+$/.test(value) ? value.slice(value.lastIndexOf('::') + 2) : value]));
+            const entry = ruleEntry(attrs, api.declaredName(usage['@id']), facts.doc, fileOf(usage), typeName);
+            if (entry)
+                this.rules.set(entry.id, entry);
         }
     }
 }
+/**
+ * A catalogue entry from a rule part's attributes, or nothing for a part with
+ * no id. The id is the `@MemoIdentity` `providedId`, or a pre-migration `id`
+ * attribute.
+ */
+function ruleEntry(attrs, usageName, doc, file, superType) {
+    const id = attrs['providedId'] ?? attrs['id'];
+    if (!id)
+        return undefined;
+    return {
+        id,
+        name: attrs['label'] ?? attrs['name'] ?? usageName ?? id,
+        // Native `doc` first; `description` is the pre-migration attribute.
+        description: doc ?? attrs['description'] ?? '',
+        appliesTo: attrs['appliesTo'] ?? '',
+        predicate: attrs['predicate'] ?? '',
+        strength: attrs['strength'] ?? 'recommended',
+        severity: attrs['severity'] ?? 'warning',
+        rationaleText: attrs['rationaleText'] ?? '',
+        category: attrs['category'] ?? 'closure',
+        attributes: attrs,
+        file,
+        superType,
+    };
+}
 //# sourceMappingURL=rule-registry.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"rule-registry.js","sourceRoot":"","sources":["../../src/validator/rule-registry.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,2EAA2E;AAC3E,iFAAiF;AACjF,2EAA2E;AAC3E,yEAAyE;AACzE,uCAAuC;AACvC,EAAE;AACF,SAAS;AACT,yCAAyC;AACzC,gDAAgD;AAChD,sCAAsC;AACtC,gFAAgF;AAgChF;;;GAGG;AACH,MAAM,OAAO,YAAY;IACJ,KAAK,GAAG,IAAI,GAAG,EAA6B,CAAC;IAE9D,2CAA2C;IACnC,MAAM,CAAU,UAAU,GAAG,IAAI,GAAG,CAAC;QACzC,iBAAiB;QACjB,6BAA6B;QAC7B,0BAA0B;QAC1B,4BAA4B;QAC5B,yBAAyB;QACzB,sDAAsD;QACtD,kBAAkB;QAClB,mBAAmB;KACtB,CAAC,CAAC;IAEH,iCAAiC;IACjC,IAAI,IAAI;QACJ,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IAC3B,CAAC;IAED,uBAAuB;IACvB,OAAO,CAAC,EAAU;QACd,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,oBAAoB;IACpB,OAAO;QACH,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,qCAAqC;IACrC,UAAU,CAAC,QAAgB;QACvB,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;IAC/D,CAAC;IAED,0DAA0D;IAC1D,UAAU,CAAC,QAAgB;QACvB,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,QAAQ,CAAC,CAAC;IAC7E,CAAC;IAED,oCAAoC;IACpC,GAAG,CAAC,EAAU;QACV,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,6CAA6C;IAC7C,QAAQ,CAAC,KAAwB;QAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;IAED;;;OAGG;IACH,qBAAqB,CAAC,IAAsB;QACxC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;YAC9C,IAAI,CAAC,KAAK;gBAAE,SAAS;YAErB,KAAK,MAAM,MAAM,IAAK,KAAa,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;gBAChD,IAAI,MAAM,CAAC,KAAK,KAAK,oBAAoB,EAAE,CAAC;oBACxC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAC3C,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAEO,WAAW,CAAC,GAAQ,EAAE,QAAgB;QAC1C,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YACrC,IAAI,MAAM,CAAC,KAAK,KAAK,oBAAoB,EAAE,CAAC;gBACxC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YACvC,CAAC;iBAAM,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;gBACtC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAC1C,CAAC;QACL,CAAC;IACL,CAAC;IAEO,cAAc,CAAC,KAAU,EAAE,QAAgB;QAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC;QAC5B,IAAI,CAAC,QAAQ,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,OAAO;QAEhE,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACvB,IAAI,CAAC,EAAE;YAAE,OAAO,CAAC,wBAAwB;QAEzC,MAAM,KAAK,GAAsB;YAC7B,EAAE;YACF,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,EAAE;YACvC,WAAW,EAAE,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE;YACvC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE;YACnC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE;YACnC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,aAAa;YAC5C,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,SAAS;YACxC,aAAa,EAAE,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE;YAC3C,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,SAAS;YACxC,UAAU,EAAE,KAAK;YACjB,IAAI,EAAE,QAAQ;YACd,SAAS,EAAE,QAAQ;SACtB,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC;IAEO,iBAAiB,CAAC,IAAuB;QAC7C,IAAI,CAAC,IAAI;YAAE,OAAO,EAAE,CAAC;QACrB,MAAM,KAAK,GAA2B,EAAE,CAAC;QACzC,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,CAAC;YACxB,IAAI,MAAM,CAAC,KAAK,KAAK,iBAAiB,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACrD,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACzD,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAEO,YAAY,CAAC,KAAU;QAC3B,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,CAAC;QACtB,QAAQ,KAAK,CAAC,KAAK,EAAE,CAAC;YAClB,KAAK,aAAa;gBACd,OAAO,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;YACpD,KAAK,UAAU,CAAC;YAChB,KAAK,WAAW;gBACZ,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/B,KAAK,cAAc;gBACf,OAAO,KAAK,CAAC,KAAK,CAAC;YACvB,KAAK,WAAW,CAAC,CAAC,CAAC;gBACf,oEAAoE;gBACpE,MAAM,GAAG,GAAW,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC;gBACxC,MAAM,QAAQ,GAAG,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBACvC,OAAO,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YACzD,CAAC;YACD;gBACI,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;IACL,CAAC"}
+{"version":3,"file":"rule-registry.js","sourceRoot":"","sources":["../../src/validator/rule-registry.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,uEAAuE;AACvE,iFAAiF;AACjF,2EAA2E;AAC3E,yEAAyE;AACzE,uCAAuC;AACvC,EAAE;AACF,SAAS;AACT,yCAAyC;AACzC,2CAA2C;AAC3C,sCAAsC;AACtC,gFAAgF;AAGhF,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AA8BjE;;;GAGG;AACH,MAAM,OAAO,YAAY;IACJ,KAAK,GAAG,IAAI,GAAG,EAA6B,CAAC;IAE9D,2CAA2C;IACnC,MAAM,CAAU,UAAU,GAAG,IAAI,GAAG,CAAC;QACzC,iBAAiB;QACjB,6BAA6B;QAC7B,0BAA0B;QAC1B,4BAA4B;QAC5B,yBAAyB;QACzB,sDAAsD;QACtD,kBAAkB;QAClB,mBAAmB;KACtB,CAAC,CAAC;IAEH,iCAAiC;IACjC,IAAI,IAAI;QACJ,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IAC3B,CAAC;IAED,uBAAuB;IACvB,OAAO,CAAC,EAAU;QACd,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,oBAAoB;IACpB,OAAO;QACH,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,qCAAqC;IACrC,UAAU,CAAC,QAAgB;QACvB,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;IAC/D,CAAC;IAED,0DAA0D;IAC1D,UAAU,CAAC,QAAgB;QACvB,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,QAAQ,CAAC,CAAC;IAC7E,CAAC;IAED,oCAAoC;IACpC,GAAG,CAAC,EAAU;QACV,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,6CAA6C;IAC7C,QAAQ,CAAC,KAAwB;QAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;IAED;;;OAGG;IACH,eAAe,CAAC,GAAa,EAAE,MAAuC;QAClE,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1D,IAAI,CAAC,QAAQ,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,SAAS;YAClE,MAAM,KAAK,GAAG,kBAAkB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC7C,iFAAiF;YACjF,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC;iBAC5D,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,iCAAiC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACrI,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC;YACnG,IAAI,KAAK;gBAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC/C,CAAC;IACL,CAAC;;AAGL;;;;GAIG;AACH,SAAS,SAAS,CACd,KAA6B,EAAE,SAA6B,EAAE,GAAuB,EACrF,IAAY,EAAE,SAAiB;IAE/B,MAAM,EAAE,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IAC1B,OAAO;QACH,EAAE;QACF,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,SAAS,IAAI,EAAE;QACxD,oEAAoE;QACpE,WAAW,EAAE,GAAG,IAAI,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE;QAC9C,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE;QACnC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE;QACnC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,aAAa;QAC5C,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,SAAS;QACxC,aAAa,EAAE,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE;QAC3C,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,SAAS;QACxC,UAAU,EAAE,KAAK;QACjB,IAAI;QACJ,SAAS;KACZ,CAAC;AACN,CAAC"}

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

@@ -0,0 +1,62 @@
+import type { EffectiveRule } from '../model/methodology-resolver.js';
+export interface TailoringChange {
+    /** The methodology or project usage that applied the policy. */
+    source: string;
+    level: 'methodology' | 'project';
+    policy: string;
+    /** What the policy selected, when it selects by standard or category rather than naming the rule. */
+    selection?: {
+        standard?: string;
+        category?: string;
+    };
+    disposition?: string;
+    severityOverride?: string;
+    replacement?: string;
+    rationaleText?: string;
+    authority?: string;
+    approvalReference?: string;
+    approvedBy?: string;
+    approvedOn?: string;
+    file: string;
+}
+export interface TailoringEntry {
+    ruleId: string;
+    ruleType: string;
+    domain?: string;
+    disposition: EffectiveRule['disposition'];
+    declaredSeverity: string;
+    effectiveSeverity: string;
+    /** The rule that evaluates in its place, when it was replaced. */
+    activeRuleId?: string;
+    changes: TailoringChange[];
+    /** What the record lacks: a thin record is reported, never refused. */
+    gaps: string[];
+}
+/**
+ * Every rule a policy touched. A medical-device rule's record also needs an
+ * authority and an approval reference, which a modelling rule's does not.
+ */
+export declare function tailoringRecord(rules: readonly EffectiveRule[]): TailoringEntry[];
+/** A policy that selected several rules: one decision, and every rule it reached. */
+export interface BulkDecision {
+    policy: string;
+    source: string;
+    level: 'methodology' | 'project';
+    selection: {
+        standard?: string;
+        category?: string;
+    };
+    disposition?: string;
+    severityOverride?: string;
+    rationaleText?: string;
+    authority?: string;
+    approvalReference?: string;
+    ruleIds: string[];
+}
+/**
+ * The decisions that reached several rules, each once. A bulk disable is one
+ * decision a reader should see as one, with the rules it reached under it,
+ * rather than as the same sentence repeated under each rule.
+ */
+export declare function bulkDecisions(entries: readonly TailoringEntry[]): BulkDecision[];
+//# sourceMappingURL=rule-tailoring.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rule-tailoring.d.ts","sourceRoot":"","sources":["../../src/validator/rule-tailoring.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AAEtE,MAAM,WAAW,eAAe;IAC5B,gEAAgE;IAChE,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,aAAa,GAAG,SAAS,CAAC;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,qGAAqG;IACrG,SAAS,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACrD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;IAC1C,gBAAgB,EAAE,MAAM,CAAC;IACzB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kEAAkE;IAClE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,uEAAuE;IACvE,IAAI,EAAE,MAAM,EAAE,CAAC;CAClB;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,GAAG,cAAc,EAAE,CAsCjF;AAED,qFAAqF;AACrF,MAAM,WAAW,YAAY;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,aAAa,GAAG,SAAS,CAAC;IACjC,SAAS,EAAE;QAAE,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACpD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,OAAO,EAAE,MAAM,EAAE,CAAC;CACrB;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,GAAG,YAAY,EAAE,CAoBhF"}

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

@@ -0,0 +1,85 @@
+// ─── The tailoring record ────────────────────────────────────────────────────
+//
+// A user may switch off, downgrade or replace any rule, a medical-device one
+// included. What the project owes is the record: why, who decided, and under
+// what approval. This lists every rule the project's policies changed, with the
+// policies that did it, and says where a record is thin
+// (plans/memo-rules-domain-trace-and-editor.md).
+//
+// It is governance, not evidence that the model was validated (design 10.4).
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Every rule a policy touched. A medical-device rule's record also needs an
+ * authority and an approval reference, which a modelling rule's does not.
+ */
+export function tailoringRecord(rules) {
+    const entries = [];
+    for (const rule of rules) {
+        if (rule.policyChain.length === 0 && rule.disposition === 'enabled' && rule.effectiveSeverity === rule.declaredSeverity)
+            continue;
+        const changes = rule.policyChain.map(({ source, level, policy }) => ({
+            source, level, policy: policy.usageName,
+            ...(policy.targetStandard ? { selection: { standard: policy.targetStandard } } : {}),
+            ...(policy.targetCategory ? { selection: { category: policy.targetCategory } } : {}),
+            ...(policy.disposition ? { disposition: policy.disposition } : {}),
+            ...(policy.severityOverride ? { severityOverride: policy.severityOverride } : {}),
+            ...(policy.replacementRuleType ? { replacement: policy.replacementRuleType } : {}),
+            ...(policy.rationaleText ? { rationaleText: policy.rationaleText } : {}),
+            ...(policy.authority ? { authority: policy.authority } : {}),
+            ...(policy.approvalReference ? { approvalReference: policy.approvalReference } : {}),
+            ...(policy.approvedBy ? { approvedBy: policy.approvedBy } : {}),
+            ...(policy.approvedOn ? { approvedOn: policy.approvedOn } : {}),
+            file: policy.sourceFile,
+        }));
+        const gaps = [];
+        const last = changes[changes.length - 1];
+        if (last && !last.rationaleText)
+            gaps.push('no rationale');
+        if (rule.domain === 'medicalDevice' && last) {
+            if (!last.authority)
+                gaps.push('no authority');
+            if (!last.approvalReference)
+                gaps.push('no approval reference');
+        }
+        entries.push({
+            ruleId: rule.sourceRuleId,
+            ruleType: rule.sourceRuleType,
+            ...(rule.domain ? { domain: rule.domain } : {}),
+            disposition: rule.disposition,
+            declaredSeverity: rule.declaredSeverity,
+            effectiveSeverity: rule.effectiveSeverity,
+            ...(rule.disposition === 'replaced' ? { activeRuleId: rule.activeRuleId } : {}),
+            changes,
+            gaps,
+        });
+    }
+    return entries.sort((a, b) => a.ruleId.localeCompare(b.ruleId));
+}
+/**
+ * The decisions that reached several rules, each once. A bulk disable is one
+ * decision a reader should see as one, with the rules it reached under it,
+ * rather than as the same sentence repeated under each rule.
+ */
+export function bulkDecisions(entries) {
+    const byPolicy = new Map();
+    for (const entry of entries) {
+        for (const change of entry.changes) {
+            if (!change.selection)
+                continue;
+            const key = `${change.file}::${change.source}::${change.policy}`;
+            const decision = byPolicy.get(key) ?? {
+                policy: change.policy, source: change.source, level: change.level, selection: change.selection,
+                ...(change.disposition ? { disposition: change.disposition } : {}),
+                ...(change.severityOverride ? { severityOverride: change.severityOverride } : {}),
+                ...(change.rationaleText ? { rationaleText: change.rationaleText } : {}),
+                ...(change.authority ? { authority: change.authority } : {}),
+                ...(change.approvalReference ? { approvalReference: change.approvalReference } : {}),
+                ruleIds: [],
+            };
+            decision.ruleIds.push(entry.ruleId);
+            byPolicy.set(key, decision);
+        }
+    }
+    return [...byPolicy.values()];
+}
+//# sourceMappingURL=rule-tailoring.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rule-tailoring.js","sourceRoot":"","sources":["../../src/validator/rule-tailoring.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,6EAA6E;AAC7E,6EAA6E;AAC7E,gFAAgF;AAChF,wDAAwD;AACxD,iDAAiD;AACjD,EAAE;AACF,6EAA6E;AAC7E,gFAAgF;AAoChF;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,KAA+B;IAC3D,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,iBAAiB,KAAK,IAAI,CAAC,gBAAgB;YAAE,SAAS;QAClI,MAAM,OAAO,GAAsB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;YACpF,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,SAAS;YACvC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACpF,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACpF,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjF,GAAG,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClF,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5D,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACpF,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,IAAI,EAAE,MAAM,CAAC,UAAU;SAC1B,CAAC,CAAC,CAAC;QACJ,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,aAAa;YAAE,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC3D,IAAI,IAAI,CAAC,MAAM,KAAK,eAAe,IAAI,IAAI,EAAE,CAAC;YAC1C,IAAI,CAAC,IAAI,CAAC,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,iBAAiB;gBAAE,IAAI,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACpE,CAAC;QACD,OAAO,CAAC,IAAI,CAAC;YACT,MAAM,EAAE,IAAI,CAAC,YAAY;YACzB,QAAQ,EAAE,IAAI,CAAC,cAAc;YAC7B,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;YACzC,GAAG,CAAC,IAAI,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,OAAO;YACP,IAAI;SACP,CAAC,CAAC;IACP,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AACpE,CAAC;AAgBD;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,OAAkC;IAC5D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAwB,CAAC;IACjD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC1B,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,CAAC,MAAM,CAAC,SAAS;gBAAE,SAAS;YAChC,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;YACjE,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI;gBAClC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC9F,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClE,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjF,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5D,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpF,OAAO,EAAE,EAAE;aACd,CAAC;YACF,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACpC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAChC,CAAC;IACL,CAAC;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;AAClC,CAAC"}

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

@@ -52,10 +52,21 @@ export interface ViolationRuleProvenance {
 export interface ValidationResult {
     /** All violations found */
     violations: Violation[];
+    /**
+     * The same rules run on one workspace's elements, keyed by the workspace's root element id
+     * (`memo validate --workspace`). Present when the model declares a System.
+     */
+    byWorkspace?: Record<string, ValidationResult>;
     /** Total rules evaluated */
     rulesEvaluated: number;
-    /** Rules that passed (no violations) */
+    /** Rules that ran on at least one subject and raised no violation */
     rulesPassed: number;
+    /**
+     * Rules that ran on no subject at all. Neither passed nor failed: a rule
+     * over an empty set raises nothing, and counting that as a pass reported a
+     * rule that tested nothing exactly like one that tested everything.
+     */
+    rulesVacuous: number;
     /** Timestamp */
     timestamp: number;
 }

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/validator/types.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AAE/E,8BAA8B;AAC9B,MAAM,WAAW,SAAS;IACtB,yCAAyC;IACzC,MAAM,EAAE,MAAM,CAAC;IACf,uBAAuB;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe;IACf,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACvC,wCAAwC;IACxC,SAAS,EAAE,MAAM,CAAC;IAClB,mBAAmB;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,mBAAmB;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,kBAAkB;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,sEAAsE;IACtE,UAAU,CAAC,EAAE,yBAAyB,CAAC;IACvC;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,uBAAuB,CAAC;CAC5C;AAED,sEAAsE;AACtE,MAAM,WAAW,uBAAuB;IACpC,4DAA4D;IAC5D,cAAc,EAAE,MAAM,CAAC;IACvB,yDAAyD;IACzD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,2DAA2D;IAC3D,gBAAgB,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IAC/C,wCAAwC;IACxC,SAAS,EAAE,WAAW,GAAG,WAAW,GAAG,aAAa,CAAC;IACrD,qEAAqE;IACrE,WAAW,EAAE,KAAK,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;QACf,KAAK,EAAE,aAAa,GAAG,SAAS,CAAC;QACjC,WAAW,EAAE,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;KACpD,CAAC,CAAC;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,+BAA+B;IAC/B,UAAU,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,6CAA6C;AAC7C,MAAM,WAAW,gBAAgB;IAC7B,2BAA2B;IAC3B,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,4BAA4B;IAC5B,cAAc,EAAE,MAAM,CAAC;IACvB,wCAAwC;IACxC,WAAW,EAAE,MAAM,CAAC;IACpB,gBAAgB;IAChB,SAAS,EAAE,MAAM,CAAC;CACrB;AAED,wCAAwC;AACxC,MAAM,WAAW,iBAAiB;IAC9B,eAAe;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,kBAAkB;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,uCAAuC;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,4CAA4C;IAC5C,gBAAgB,EAAE,MAAM,CAAC;IACzB,sCAAsC;IACtC,UAAU,EAAE,MAAM,CAAC;CACtB;AAED,sCAAsC;AACtC,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,SAAS,GAAG,OAAO,CAAC;AAE7D,kCAAkC;AAClC,MAAM,WAAW,kBAAkB;IAC/B,6BAA6B;IAC7B,MAAM,EAAE,iBAAiB,EAAE,CAAC;IAC5B,sCAAsC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,qBAAqB;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,wCAAwC;IACxC,gBAAgB,EAAE,MAAM,CAAC;IACzB,gGAAgG;IAChG,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAChD"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/validator/types.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AAE/E,8BAA8B;AAC9B,MAAM,WAAW,SAAS;IACtB,yCAAyC;IACzC,MAAM,EAAE,MAAM,CAAC;IACf,uBAAuB;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe;IACf,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACvC,wCAAwC;IACxC,SAAS,EAAE,MAAM,CAAC;IAClB,mBAAmB;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,mBAAmB;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,kBAAkB;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,sEAAsE;IACtE,UAAU,CAAC,EAAE,yBAAyB,CAAC;IACvC;;;;;;OAMG;IACH,cAAc,CAAC,EAAE,uBAAuB,CAAC;CAC5C;AAED,sEAAsE;AACtE,MAAM,WAAW,uBAAuB;IACpC,4DAA4D;IAC5D,cAAc,EAAE,MAAM,CAAC;IACvB,yDAAyD;IACzD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,2DAA2D;IAC3D,gBAAgB,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IAC/C,wCAAwC;IACxC,SAAS,EAAE,WAAW,GAAG,WAAW,GAAG,aAAa,CAAC;IACrD,qEAAqE;IACrE,WAAW,EAAE,KAAK,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;QACf,KAAK,EAAE,aAAa,GAAG,SAAS,CAAC;QACjC,WAAW,EAAE,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;KACpD,CAAC,CAAC;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,+BAA+B;IAC/B,UAAU,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,6CAA6C;AAC7C,MAAM,WAAW,gBAAgB;IAC7B,2BAA2B;IAC3B,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB;;;OAGG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC/C,4BAA4B;IAC5B,cAAc,EAAE,MAAM,CAAC;IACvB,qEAAqE;IACrE,WAAW,EAAE,MAAM,CAAC;IACpB;;;;OAIG;IACH,YAAY,EAAE,MAAM,CAAC;IACrB,gBAAgB;IAChB,SAAS,EAAE,MAAM,CAAC;CACrB;AAED,wCAAwC;AACxC,MAAM,WAAW,iBAAiB;IAC9B,eAAe;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,kBAAkB;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,uCAAuC;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,4CAA4C;IAC5C,gBAAgB,EAAE,MAAM,CAAC;IACzB,sCAAsC;IACtC,UAAU,EAAE,MAAM,CAAC;CACtB;AAED,sCAAsC;AACtC,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,SAAS,GAAG,OAAO,CAAC;AAE7D,kCAAkC;AAClC,MAAM,WAAW,kBAAkB;IAC/B,6BAA6B;IAC7B,MAAM,EAAE,iBAAiB,EAAE,CAAC;IAC5B,sCAAsC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,qBAAqB;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,wCAAwC;IACxC,gBAAgB,EAAE,MAAM,CAAC;IACzB,gGAAgG;IAChG,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;CAChD"}

package/packages/tools/lib/validator/workspace-boundary-validator.d.ts

@@ -0,0 +1,9 @@
+import type { MemoModel } from '../model/semantic.js';
+import type { WorkspaceMembership } from '../model/workspace-membership.js';
+import type { Violation } from './types.js';
+export interface WorkspaceBoundaryRule {
+    id: string;
+    severity: Violation['severity'];
+}
+export declare function validateWorkspaceBoundaries(model: MemoModel, membership: WorkspaceMembership, rule: WorkspaceBoundaryRule): Violation[];
+//# sourceMappingURL=workspace-boundary-validator.d.ts.map

package/packages/tools/lib/validator/workspace-boundary-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace-boundary-validator.d.ts","sourceRoot":"","sources":["../../src/validator/workspace-boundary-validator.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AAC5E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,MAAM,WAAW,qBAAqB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC;CACnC;AAED,wBAAgB,2BAA2B,CACvC,KAAK,EAAE,SAAS,EAChB,UAAU,EAAE,mBAAmB,EAC/B,IAAI,EAAE,qBAAqB,GAC5B,SAAS,EAAE,CAiBb"}

package/packages/tools/lib/validator/workspace-boundary-validator.js

@@ -0,0 +1,28 @@
+// ─── System boundaries (plan O16) ────────────────────────────────────────────
+//
+// A system is a boundary: its workspace never reaches another system or the system of systems, and
+// the closure drops such a link without saying so. This turns what it dropped into findings. The
+// references are computed with the membership (`WorkspaceMembership.boundaryReferences`); this only
+// states them, on the element that makes each one. Which rule it is, at what severity and whether it
+// is tailored, is the ontology's (`evaluator = "workspace"`), as for AR-IBD-001.
+// ─────────────────────────────────────────────────────────────────────────────
+export function validateWorkspaceBoundaries(model, membership, rule) {
+    const nameOf = (id) => model.elements.get(id)?.name ?? id;
+    return membership.boundaryReferences.flatMap(reference => {
+        const element = model.elements.get(reference.elementId);
+        if (!element)
+            return [];
+        const how = reference.via === 'typing' ? 'is typed by' : `has a ${reference.via} to`;
+        return [{
+                ruleId: rule.id,
+                severity: rule.severity,
+                elementId: element.id,
+                elementName: element.name,
+                elementKind: element.kind,
+                layer: element.layer,
+                file: element.file,
+                description: `"${element.name}" in system "${nameOf(reference.workspace)}" ${how} "${nameOf(reference.target)}", another system or the system of systems; a system does not reference across its boundary`,
+            }];
+    });
+}
+//# sourceMappingURL=workspace-boundary-validator.js.map

package/packages/tools/lib/validator/workspace-boundary-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace-boundary-validator.js","sourceRoot":"","sources":["../../src/validator/workspace-boundary-validator.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,mGAAmG;AACnG,iGAAiG;AACjG,oGAAoG;AACpG,qGAAqG;AACrG,iFAAiF;AACjF,gFAAgF;AAWhF,MAAM,UAAU,2BAA2B,CACvC,KAAgB,EAChB,UAA+B,EAC/B,IAA2B;IAE3B,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;IAClE,OAAO,UAAU,CAAC,kBAAkB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;QACrD,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxD,IAAI,CAAC,OAAO;YAAE,OAAO,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,GAAG,KAAK,CAAC;QACrF,OAAO,CAAC;gBACJ,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,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;gBACpB,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,WAAW,EAAE,IAAI,OAAO,CAAC,IAAI,gBAAgB,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,GAAG,KAAK,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,6FAA6F;aAC7M,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACP,CAAC"}