@memoarchitect/tools 0.4.4

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

@@ -0,0 +1 @@
+{"version":3,"file":"rule-engine.d.ts","sourceRoot":"","sources":["../../src/validator/rule-engine.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAa,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAK/D;;;;;;;GAOG;AACH,wBAAgB,aAAa,CACzB,KAAK,EAAE,SAAS,EAChB,iBAAiB,GAAE,kBAAkB,EAAO,GAC7C,gBAAgB,CAkBlB"}

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

@@ -0,0 +1,38 @@
+// ─── Constraint Validation ─────────────────────────────────────────────────────
+//
+// Evaluates native SysML v2 / KerML constraints against the built model.
+// Rules are authored as `constraint def` / `requirement def` bodies in the
+// ontology (compiled by collectNativeConstraints) and evaluated by the KerML
+// 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 { validateBehavior } from './behavior-validator.js';
+import { validateViews } from './view-validator.js';
+/**
+ * Full model validation: native constraints + structural checks.
+ * Preferred entry point — combines all validation passes.
+ *
+ * @param nativeConstraints constraints compiled from ontology `constraint def` bodies
+ *                          (see collectNativeConstraints). Evaluated as native KerML
+ *                          expressions over each constraint's subject kind.
+ */
+export function validateModel(model, nativeConstraints = []) {
+    const behaviorViolations = validateBehavior(model);
+    const viewViolations = validateViews(model);
+    const nativeViolations = [];
+    let nativePassed = 0;
+    for (const constraint of nativeConstraints) {
+        const violations = evaluateConstraintNode(constraint, constraint.ast, model);
+        if (violations.length === 0)
+            nativePassed++;
+        nativeViolations.push(...violations);
+    }
+    return {
+        violations: [...behaviorViolations, ...viewViolations, ...nativeViolations],
+        rulesEvaluated: 5 + nativeConstraints.length,
+        rulesPassed: nativePassed,
+        timestamp: Date.now(),
+    };
+}
+//# sourceMappingURL=rule-engine.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rule-engine.js","sourceRoot":"","sources":["../../src/validator/rule-engine.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,EAAE;AACF,yEAAyE;AACzE,2EAA2E;AAC3E,6EAA6E;AAC7E,4EAA4E;AAC5E,wEAAwE;AACxE,gFAAgF;AAKhF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEpD;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CACzB,KAAgB,EAChB,oBAA0C,EAAE;IAE5C,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,cAAc,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAE5C,MAAM,gBAAgB,GAAgB,EAAE,CAAC;IACzC,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,UAAU,IAAI,iBAAiB,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,sBAAsB,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC7E,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,YAAY,EAAE,CAAC;QAC5C,gBAAgB,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;IACzC,CAAC;IAED,OAAO;QACH,UAAU,EAAE,CAAC,GAAG,kBAAkB,EAAE,GAAG,cAAc,EAAE,GAAG,gBAAgB,CAAC;QAC3E,cAAc,EAAE,CAAC,GAAG,iBAAiB,CAAC,MAAM;QAC5C,WAAW,EAAE,YAAY;QACzB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;KACxB,CAAC;AACN,CAAC"}

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

@@ -0,0 +1,61 @@
+import type { ParsedDocument } from '../model/parser-utils.js';
+/** A consistency rule extracted from SysML ontology */
+export interface RuleRegistryEntry {
+    /** Rule ID from SysML attribute */
+    id: string;
+    /** Human-readable name */
+    name: string;
+    /** Description */
+    description: string;
+    /** Entity kind this rule applies to */
+    appliesTo: string;
+    /** Predicate kind (requireRelationship, requireAttribute, etc.) */
+    predicate: string;
+    /** Rule strength (optional, recommended, required, forbidden) */
+    strength: string;
+    /** Severity (error, warning, info) */
+    severity: string;
+    /** Rationale text */
+    rationaleText: string;
+    /** Rule category (closure, coverage, lifecycle, crossLayer, quantitative) */
+    category: string;
+    /** All raw attributes from the SysML instance */
+    attributes: Record<string, string>;
+    /** Source file path */
+    file: string;
+    /** Supertype chain (e.g. RelationshipConsistencyRule, ConsistencyRule) */
+    superType?: string;
+}
+/**
+ * Registry that discovers ConsistencyRule instances from SysML AST.
+ * Walks part usages whose type specializes ConsistencyRule.
+ */
+export declare class RuleRegistry {
+    private readonly rules;
+    /** Known ConsistencyRule type hierarchy */
+    private static readonly RULE_TYPES;
+    /** Number of registered rules */
+    get size(): number;
+    /** Get a rule by ID */
+    getRule(id: string): RuleRegistryEntry | undefined;
+    /** Get all rules */
+    entries(): RuleRegistryEntry[];
+    /** Get rules filtered by category */
+    byCategory(category: string): RuleRegistryEntry[];
+    /** Get rules filtered by standard (for coverage rules) */
+    byStandard(standard: string): RuleRegistryEntry[];
+    /** Check if a rule is registered */
+    has(id: string): boolean;
+    /** 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.
+     */
+    populateFromDocuments(docs: ParsedDocument[]): void;
+    private walkPackage;
+    private tryExtractRule;
+    private extractAttributes;
+    private extractValue;
+}
+//# sourceMappingURL=rule-registry.d.ts.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,142 @@
+// ─── Rule Registry ───────────────────────────────────────────────────────────
+//
+// Discovery index for ConsistencyRule instances in parsed SysML documents.
+// 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
+// conversion was removed in Epic EE-4.
+//
+// Usage:
+//   const registry = new RuleRegistry();
+//   registry.populateFromDocuments(parsedDocs);
+//   const rules = registry.entries();
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Registry that discovers ConsistencyRule instances from SysML AST.
+ * Walks part usages whose type specializes ConsistencyRule.
+ */
+export class RuleRegistry {
+    rules = new Map();
+    /** Known ConsistencyRule type hierarchy */
+    static RULE_TYPES = new Set([
+        'ConsistencyRule',
+        'RelationshipConsistencyRule',
+        'AttributeConsistencyRule',
+        'ConditionalConsistencyRule',
+        'CoverageConsistencyRule',
+        // Methodology-level types that extend ConsistencyRule
+        'ElementUsageRule',
+        'RelationUsageRule',
+    ]);
+    /** Number of registered rules */
+    get size() {
+        return this.rules.size;
+    }
+    /** Get a rule by ID */
+    getRule(id) {
+        return this.rules.get(id);
+    }
+    /** Get all rules */
+    entries() {
+        return Array.from(this.rules.values());
+    }
+    /** Get rules filtered by category */
+    byCategory(category) {
+        return this.entries().filter(r => r.category === category);
+    }
+    /** Get rules filtered by standard (for coverage rules) */
+    byStandard(standard) {
+        return this.entries().filter(r => r.attributes['standard'] === standard);
+    }
+    /** Check if a rule is registered */
+    has(id) {
+        return this.rules.has(id);
+    }
+    /** Register a rule manually (for testing) */
+    register(entry) {
+        this.rules.set(entry.id, entry);
+    }
+    /**
+     * Populate registry from parsed SysML documents.
+     * Looks for part usages whose type is a known ConsistencyRule subtype.
+     */
+    populateFromDocuments(docs) {
+        for (const doc of docs) {
+            const model = doc.document.parseResult?.value;
+            if (!model)
+                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);
+        }
+    }
+}
+//# sourceMappingURL=rule-registry.js.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,59 @@
+/** A single rule violation */
+export interface Violation {
+    /** Closure rule id, e.g. "CR-MED-001" */
+    ruleId: string;
+    /** Rule description */
+    description: string;
+    /** Severity */
+    severity: 'error' | 'warning' | 'info';
+    /** Element id that violates the rule */
+    elementId: string;
+    /** Element kind */
+    elementKind: string;
+    /** Element name */
+    elementName: string;
+    /** CoSMA layer */
+    layer: string;
+}
+/** Validation result for the entire model */
+export interface ValidationResult {
+    /** All violations found */
+    violations: Violation[];
+    /** Total rules evaluated */
+    rulesEvaluated: number;
+    /** Rules that passed (no violations) */
+    rulesPassed: number;
+    /** Timestamp */
+    timestamp: number;
+}
+/** Per-layer completeness percentage */
+export interface LayerCompleteness {
+    /** Layer id */
+    layerId: string;
+    /** Layer label */
+    layerLabel: string;
+    /** Layer color */
+    layerColor: string;
+    /** Number of elements in this layer */
+    totalElements: number;
+    /** Number of elements with no violations */
+    completeElements: number;
+    /** Completeness percentage (0-100) */
+    percentage: number;
+}
+/** Per-element completeness status */
+export type ElementStatus = 'complete' | 'warning' | 'error';
+/** Overall completeness report */
+export interface CompletenessReport {
+    /** Per-layer completeness */
+    layers: LayerCompleteness[];
+    /** Overall completeness percentage */
+    overall: number;
+    /** Total elements */
+    totalElements: number;
+    /** Complete elements (no violations) */
+    completeElements: number;
+    /** Per-element status: complete (no violations), warning (warnings only), error (has errors) */
+    elementStatus: Record<string, ElementStatus>;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/validator/types.ts"],"names":[],"mappings":"AAEA,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;CACjB;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"}

package/packages/tools/lib/validator/types.js

@@ -0,0 +1,3 @@
+// ─── Validation Types ─────────────────────────────────────────────────────────
+export {};
+//# sourceMappingURL=types.js.map

package/packages/tools/lib/validator/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/validator/types.ts"],"names":[],"mappings":"AAAA,iFAAiF"}

package/packages/tools/lib/validator/view-validator.d.ts

@@ -0,0 +1,11 @@
+import type { MemoModel } from '../model/semantic.js';
+import type { Violation } from './types.js';
+/**
+ * Run view-specific structural validation.
+ *
+ * Checks:
+ * 1. VW-001 — diagramType key has no view-kind mapping
+ * 2. VW-002 — declared viewKind on a diagram view is not a spec view kind
+ */
+export declare function validateViews(model: MemoModel): Violation[];
+//# sourceMappingURL=view-validator.d.ts.map

package/packages/tools/lib/validator/view-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view-validator.d.ts","sourceRoot":"","sources":["../../src/validator/view-validator.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAG5C;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,EAAE,CAkC3D"}

package/packages/tools/lib/validator/view-validator.js

@@ -0,0 +1,48 @@
+// ─── View Validator ──────────────────────────────────────────────────────────
+//
+// Structural checks for view elements (Epic KK-1). Every diagram view must
+// resolve to exactly one of the eight SysML v2 spec view kinds — an unmapped
+// legacy `diagramType` key or an off-taxonomy `viewKind` declaration cannot,
+// so both are flagged as warnings.
+// ─────────────────────────────────────────────────────────────────────────────
+import { DIAGRAM_TYPE_TO_VIEW_KIND, VIEW_KINDS, normalizeViewKind } from '../model/view-kinds.js';
+/**
+ * Run view-specific structural validation.
+ *
+ * Checks:
+ * 1. VW-001 — diagramType key has no view-kind mapping
+ * 2. VW-002 — declared viewKind on a diagram view is not a spec view kind
+ */
+export function validateViews(model) {
+    const violations = [];
+    for (const el of model.elements.values()) {
+        const diagramType = el.attributes['diagramType'];
+        if (!diagramType)
+            continue;
+        if (!DIAGRAM_TYPE_TO_VIEW_KIND[diagramType]) {
+            violations.push({
+                ruleId: 'VW-001',
+                description: `View "${el.name}" has unmapped diagramType "${diagramType}" — it does not resolve to a SysML v2 view kind`,
+                severity: 'warning',
+                elementId: el.id,
+                elementKind: el.kind,
+                elementName: el.name,
+                layer: el.layer,
+            });
+        }
+        const declared = el.attributes['viewKind'];
+        if (declared && !normalizeViewKind(declared)) {
+            violations.push({
+                ruleId: 'VW-002',
+                description: `View "${el.name}" declares viewKind "${declared}" which is not one of the SysML v2 view kinds (${VIEW_KINDS.join(', ')})`,
+                severity: 'warning',
+                elementId: el.id,
+                elementKind: el.kind,
+                elementName: el.name,
+                layer: el.layer,
+            });
+        }
+    }
+    return violations;
+}
+//# sourceMappingURL=view-validator.js.map

package/packages/tools/lib/validator/view-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"view-validator.js","sourceRoot":"","sources":["../../src/validator/view-validator.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,2EAA2E;AAC3E,6EAA6E;AAC7E,6EAA6E;AAC7E,mCAAmC;AACnC,gFAAgF;AAIhF,OAAO,EAAE,yBAAyB,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAElG;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,KAAgB;IAC1C,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,MAAM,WAAW,GAAG,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QACjD,IAAI,CAAC,WAAW;YAAE,SAAS;QAE3B,IAAI,CAAC,yBAAyB,CAAC,WAAW,CAAC,EAAE,CAAC;YAC1C,UAAU,CAAC,IAAI,CAAC;gBACZ,MAAM,EAAE,QAAQ;gBAChB,WAAW,EAAE,SAAS,EAAE,CAAC,IAAI,+BAA+B,WAAW,iDAAiD;gBACxH,QAAQ,EAAE,SAAS;gBACnB,SAAS,EAAE,EAAE,CAAC,EAAE;gBAChB,WAAW,EAAE,EAAE,CAAC,IAAI;gBACpB,WAAW,EAAE,EAAE,CAAC,IAAI;gBACpB,KAAK,EAAE,EAAE,CAAC,KAAK;aAClB,CAAC,CAAC;QACP,CAAC;QAED,MAAM,QAAQ,GAAG,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC3C,IAAI,QAAQ,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3C,UAAU,CAAC,IAAI,CAAC;gBACZ,MAAM,EAAE,QAAQ;gBAChB,WAAW,EAAE,SAAS,EAAE,CAAC,IAAI,wBAAwB,QAAQ,kDAAkD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBACvI,QAAQ,EAAE,SAAS;gBACnB,SAAS,EAAE,EAAE,CAAC,EAAE;gBAChB,WAAW,EAAE,EAAE,CAAC,IAAI;gBACpB,WAAW,EAAE,EAAE,CAAC,IAAI;gBACpB,KAAK,EAAE,EAAE,CAAC,KAAK;aAClB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACtB,CAAC"}