@memoarchitect/tools 0.6.6 → 0.7.2

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

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

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

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

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

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

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

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

package/packages/tools/lib/validator/sysml-constraints.js

@@ -0,0 +1,251 @@
+// ─── SysML well-formedness constraints (Track B B4) ──────────────────────────
+//
+// The native reimplementation of the language's own well-formedness rules, as
+// distinct from MEMO's methodology rules. Three commitments shape it, and all
+// three come from the plan rather than from taste:
+//
+//   1. **Syside's codes, verbatim** (§5.1.2). `syside rule list` publishes 151
+//      stable kebab-case codes with descriptions. A project that suppresses
+//      `association-end-types` today must have that suppression keep working
+//      after the engine swap, which it only can if the code string is the same
+//      string. No parallel MEMO numbering is invented.
+//   2. **A specification clause per rule.** A constraint whose justification is
+//      "Syside checks this" is not reviewable. Each carries the KerML/SysML
+//      clause it implements, so a reader can check the rule against the source
+//      of truth rather than against another tool.
+//   3. **Scored, not claimed.** `memo conformance rules` reports every one of
+//      the 151 codes as implemented, not-yet, or out-of-scope-with-a-reason.
+//      Coverage is a number that can only go up by writing a rule.
+//
+// **Where this sits relative to the rest of validation.** MEMO's methodology
+// rules live in the ontology and are evaluated by `validator/rule-engine.ts`;
+// they answer "does this model follow MEMO's method?". These answer "is this
+// well-formed SysML?", which is the `sysml` diagnostic domain (§1), and they
+// are engine code by necessity — the language's rules are not MEMO's content to
+// declare. That is not a hole in the ontology-drives rule; it is the boundary
+// of it.
+//
+// **What limits coverage today, stated once.** Most of the 151 are predicates
+// over *resolved* semantics — inherited features, effective types, imported
+// namespaces. MEMO has no linker and no resolution core yet (B3, B5), so a rule
+// needing one cannot be written honestly, only faked. Those are classified
+// `blocked` with the reason, and the number of them is the real measure of how
+// much B3 and B5 gate B4.
+// ─────────────────────────────────────────────────────────────────────────────
+import { SYSIDE_RULES, SYSIDE_VERSION } from '../conformance/generated/syside-rules.js';
+import { activityNodeType, isControlNode } from '../model/activity-notation.js';
+export { SYSIDE_RULES, SYSIDE_VERSION };
+// ─── Implemented constraints ─────────────────────────────────────────────────
+//
+// Every one of these is a predicate over *declared* structure, which is the
+// whole set that can be written honestly before the resolution core exists.
+// They run over the canonical IR rather than over MEMO's projection, because
+// the IR conserves every declaration — imports, duplicates, unmapped members —
+// and the projection by design does not.
+/** Namespace path of a declaration: its identity path minus the last segment. */
+function namespaceOf(identityId) {
+    const hash = identityId.indexOf('#');
+    const colon = identityId.lastIndexOf(':');
+    const path = identityId.slice(hash + 1, colon);
+    const slash = path.lastIndexOf('/');
+    return `${identityId.slice(0, hash)}#${slash < 0 ? '' : path.slice(0, slash)}`;
+}
+/** True for a declaration sitting directly in a file's root namespace. */
+function isTopLevel(identityId) {
+    const hash = identityId.indexOf('#');
+    const colon = identityId.lastIndexOf(':');
+    return !identityId.slice(hash + 1, colon).includes('/');
+}
+function declarations(model) {
+    return model.sysmlIr?.elements ?? [];
+}
+export const IMPLEMENTED_CONSTRAINTS = [
+    {
+        code: 'import-explicit-visibility',
+        clause: 'KerML 8.2.3.5 — an Import declares its visibility',
+        appliesTo: 'Import',
+        check(model) {
+            const violations = [];
+            for (const declaration of declarations(model)) {
+                if (declaration.identity.metaclass !== 'ImportDeclaration')
+                    continue;
+                if (declaration.standardProperties.visibility !== undefined)
+                    continue;
+                violations.push({
+                    code: 'import-explicit-visibility',
+                    message: `Import of "${String(declaration.standardProperties.path ?? '?')}" has no explicit visibility; declare it \`private\` or \`public\`.`,
+                    elementId: declaration.identity.id,
+                    file: declaration.source.file,
+                });
+            }
+            return violations;
+        },
+    },
+    {
+        code: 'import-top-level-visibility',
+        clause: 'KerML 8.2.3.5 — a root-namespace Import is private',
+        appliesTo: 'Import',
+        check(model) {
+            const violations = [];
+            for (const declaration of declarations(model)) {
+                if (declaration.identity.metaclass !== 'ImportDeclaration')
+                    continue;
+                if (!isTopLevel(declaration.identity.id))
+                    continue;
+                if (declaration.standardProperties.visibility === 'private')
+                    continue;
+                violations.push({
+                    code: 'import-top-level-visibility',
+                    message: 'An import at the root of a file is private; it cannot re-export into the global namespace.',
+                    elementId: declaration.identity.id,
+                    file: declaration.source.file,
+                });
+            }
+            return violations;
+        },
+    },
+    {
+        code: 'namespace-distinguishability',
+        clause: 'KerML 8.2.3.3 — members of a Namespace are distinguishable by name',
+        appliesTo: 'Namespace',
+        check(model) {
+            const seen = new Map();
+            const violations = [];
+            for (const declaration of declarations(model)) {
+                const name = declaration.standardProperties.name;
+                if (typeof name !== 'string' || !name)
+                    continue;
+                const key = `${namespaceOf(declaration.identity.id)}::${name}`;
+                const first = seen.get(key);
+                if (first === undefined) {
+                    seen.set(key, declaration.identity.id);
+                    continue;
+                }
+                violations.push({
+                    code: 'namespace-distinguishability',
+                    message: `"${name}" is declared more than once in this namespace; the first is ${first}.`,
+                    elementId: declaration.identity.id,
+                    file: declaration.source.file,
+                });
+            }
+            return violations;
+        },
+    },
+    {
+        code: 'global-namespace-distinguishability',
+        clause: 'KerML 8.2.3.3 — root-namespace members are globally distinguishable',
+        appliesTo: 'Namespace',
+        // The IR records declarations, and a package is a namespace it recurses
+        // *into* rather than an element it records — so two files each opening
+        // `package Shared` are invisible here, which is the commonest form of
+        // this collision. Closing it means recording package declarations in
+        // the IR, which is an ingestion change, not a rule change.
+        limitation: 'Sees root-level members other than packages; two files declaring the same top-level package are not caught.',
+        check(model) {
+            const seen = new Map();
+            const violations = [];
+            for (const declaration of declarations(model)) {
+                const name = declaration.standardProperties.name;
+                if (typeof name !== 'string' || !name || !isTopLevel(declaration.identity.id))
+                    continue;
+                // Across files, not within one: the global namespace is the
+                // project's, so two files declaring the same root-level name
+                // collide even though neither file collides with itself.
+                const first = seen.get(name);
+                if (first === undefined) {
+                    seen.set(name, declaration.identity.id);
+                    continue;
+                }
+                violations.push({
+                    code: 'global-namespace-distinguishability',
+                    message: `"${name}" is declared at the root of more than one file; the first is ${first}.`,
+                    elementId: declaration.identity.id,
+                    file: declaration.source.file,
+                });
+            }
+            return violations;
+        },
+    },
+    {
+        code: 'control-node-owning-type',
+        clause: 'SysML 7.12.4.4 — a ControlNode is owned by an ActionDefinition or ActionUsage',
+        appliesTo: 'ControlNode',
+        check(model) {
+            const violations = [];
+            for (const element of Object.values(model.elements)) {
+                // Classification comes from the notation module, which resolves
+                // it against the generated metamodel — so this rule covers every
+                // present and future ControlNode subtype without naming any.
+                if (!isControlNode(element, model.registries))
+                    continue;
+                const owner = element.parentAction ? model.elements[element.parentAction] : undefined;
+                if (owner && activityNodeType(owner, model.registries) !== undefined)
+                    continue;
+                violations.push({
+                    code: 'control-node-owning-type',
+                    message: `Control node "${element.id}" is not owned by an action.`,
+                    elementId: element.id,
+                    file: element.file,
+                });
+            }
+            return violations;
+        },
+    },
+];
+// ─── Codes deliberately not implemented here ────────────────────────────────
+/**
+ * The reasons, keyed by prefix rather than enumerated one by one.
+ *
+ * Most of the 151 fall into a handful of buckets, and a bucket with a reason is
+ * more honest than 147 individual "not yet" entries that all mean the same
+ * thing. `classifyConstraints` applies these to whatever is not implemented.
+ */
+export const UNIMPLEMENTED_REASONS = [
+    {
+        match: /specialization|subsetting|redefinition|conjugation|-types?$|feature-typing|inherit/,
+        reason: 'blocked',
+        detail: 'Needs resolved types and inherited features — the B3 resolution core.',
+    },
+    {
+        match: /import|namespace|qualified|resolve|visibility/,
+        reason: 'blocked',
+        detail: 'Needs name resolution across a workspace index — B5.',
+    },
+    {
+        match: /expression|evaluat|operator|literal|argument|parameter/,
+        reason: 'blocked',
+        detail: 'Needs model-level expression evaluation — B3, and `Expression::evaluate` is unsized.',
+    },
+    {
+        match: /.*/,
+        reason: 'not-yet',
+        detail: 'Implementable on the current model; not written yet.',
+    },
+];
+/** Score the implemented set against the published checklist. */
+export function classifyConstraints(implemented = IMPLEMENTED_CONSTRAINTS, published = SYSIDE_RULES) {
+    const done = new Map(implemented.map(constraint => [constraint.code, constraint]));
+    const publishedCodes = new Set(published.map(rule => rule.code));
+    const unimplemented = [];
+    const byReason = { blocked: 0, 'out-of-scope': 0, 'not-yet': 0 };
+    for (const rule of published) {
+        if (done.has(rule.code))
+            continue;
+        const bucket = UNIMPLEMENTED_REASONS.find(candidate => candidate.match.test(rule.code));
+        unimplemented.push({ code: rule.code, reason: bucket.reason, detail: bucket.detail });
+        byReason[bucket.reason] += 1;
+    }
+    return {
+        sysideVersion: SYSIDE_VERSION,
+        total: published.length,
+        implemented: [...done.values()].filter(constraint => publishedCodes.has(constraint.code)),
+        unimplemented,
+        unpublished: [...done.keys()].filter(code => !publishedCodes.has(code)).sort(),
+        byReason,
+    };
+}
+/** Evaluate every implemented constraint against one model. */
+export function checkSysmlConstraints(model, constraints = IMPLEMENTED_CONSTRAINTS) {
+    return constraints.flatMap(constraint => constraint.check(model));
+}
+//# sourceMappingURL=sysml-constraints.js.map

package/packages/tools/lib/validator/sysml-constraints.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sysml-constraints.js","sourceRoot":"","sources":["../../src/validator/sysml-constraints.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,8EAA8E;AAC9E,mDAAmD;AACnD,EAAE;AACF,+EAA+E;AAC/E,4EAA4E;AAC5E,6EAA6E;AAC7E,+EAA+E;AAC/E,uDAAuD;AACvD,gFAAgF;AAChF,4EAA4E;AAC5E,+EAA+E;AAC/E,kDAAkD;AAClD,8EAA8E;AAC9E,6EAA6E;AAC7E,mEAAmE;AACnE,EAAE;AACF,6EAA6E;AAC7E,8EAA8E;AAC9E,6EAA6E;AAC7E,6EAA6E;AAC7E,gFAAgF;AAChF,8EAA8E;AAC9E,SAAS;AACT,EAAE;AACF,8EAA8E;AAC9E,4EAA4E;AAC5E,gFAAgF;AAChF,2EAA2E;AAC3E,+EAA+E;AAC/E,0BAA0B;AAC1B,gFAAgF;AAEhF,OAAO,EAAE,YAAY,EAAE,cAAc,EAAmB,MAAM,0CAA0C,CAAC;AAEzG,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAEhF,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,CAAC;AAwCxC,gFAAgF;AAChF,EAAE;AACF,4EAA4E;AAC5E,4EAA4E;AAC5E,6EAA6E;AAC7E,+EAA+E;AAC/E,yCAAyC;AAEzC,iFAAiF;AACjF,SAAS,WAAW,CAAC,UAAkB;IACnC,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACpC,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;AACnF,CAAC;AAED,0EAA0E;AAC1E,SAAS,UAAU,CAAC,UAAkB;IAClC,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC1C,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,YAAY,CAAC,KAAmB;IACrC,OAAO,KAAK,CAAC,OAAO,EAAE,QAAQ,IAAI,EAAE,CAAC;AACzC,CAAC;AAED,MAAM,CAAC,MAAM,uBAAuB,GAA+B;IAC/D;QACI,IAAI,EAAE,4BAA4B;QAClC,MAAM,EAAE,mDAAmD;QAC3D,SAAS,EAAE,QAAQ;QACnB,KAAK,CAAC,KAAK;YACP,MAAM,UAAU,GAA0B,EAAE,CAAC;YAC7C,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5C,IAAI,WAAW,CAAC,QAAQ,CAAC,SAAS,KAAK,mBAAmB;oBAAE,SAAS;gBACrE,IAAI,WAAW,CAAC,kBAAkB,CAAC,UAAU,KAAK,SAAS;oBAAE,SAAS;gBACtE,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,cAAc,MAAM,CAAC,WAAW,CAAC,kBAAkB,CAAC,IAAI,IAAI,GAAG,CAAC,qEAAqE;oBAC9I,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE;oBAClC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI;iBAChC,CAAC,CAAC;YACP,CAAC;YACD,OAAO,UAAU,CAAC;QACtB,CAAC;KACJ;IACD;QACI,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,oDAAoD;QAC5D,SAAS,EAAE,QAAQ;QACnB,KAAK,CAAC,KAAK;YACP,MAAM,UAAU,GAA0B,EAAE,CAAC;YAC7C,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5C,IAAI,WAAW,CAAC,QAAQ,CAAC,SAAS,KAAK,mBAAmB;oBAAE,SAAS;gBACrE,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAAE,SAAS;gBACnD,IAAI,WAAW,CAAC,kBAAkB,CAAC,UAAU,KAAK,SAAS;oBAAE,SAAS;gBACtE,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EAAE,4FAA4F;oBACrG,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE;oBAClC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI;iBAChC,CAAC,CAAC;YACP,CAAC;YACD,OAAO,UAAU,CAAC;QACtB,CAAC;KACJ;IACD;QACI,IAAI,EAAE,8BAA8B;QACpC,MAAM,EAAE,oEAAoE;QAC5E,SAAS,EAAE,WAAW;QACtB,KAAK,CAAC,KAAK;YACP,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;YACvC,MAAM,UAAU,GAA0B,EAAE,CAAC;YAC7C,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5C,MAAM,IAAI,GAAG,WAAW,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBACjD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI;oBAAE,SAAS;gBAChD,MAAM,GAAG,GAAG,GAAG,WAAW,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;gBAC/D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC5B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACtB,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;oBACvC,SAAS;gBACb,CAAC;gBACD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,8BAA8B;oBACpC,OAAO,EAAE,IAAI,IAAI,gEAAgE,KAAK,GAAG;oBACzF,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE;oBAClC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI;iBAChC,CAAC,CAAC;YACP,CAAC;YACD,OAAO,UAAU,CAAC;QACtB,CAAC;KACJ;IACD;QACI,IAAI,EAAE,qCAAqC;QAC3C,MAAM,EAAE,qEAAqE;QAC7E,SAAS,EAAE,WAAW;QACtB,wEAAwE;QACxE,uEAAuE;QACvE,sEAAsE;QACtE,qEAAqE;QACrE,2DAA2D;QAC3D,UAAU,EAAE,6GAA6G;QACzH,KAAK,CAAC,KAAK;YACP,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;YACvC,MAAM,UAAU,GAA0B,EAAE,CAAC;YAC7C,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5C,MAAM,IAAI,GAAG,WAAW,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBACjD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAAE,SAAS;gBACxF,4DAA4D;gBAC5D,6DAA6D;gBAC7D,yDAAyD;gBACzD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC7B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACtB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;oBACxC,SAAS;gBACb,CAAC;gBACD,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,qCAAqC;oBAC3C,OAAO,EAAE,IAAI,IAAI,iEAAiE,KAAK,GAAG;oBAC1F,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE;oBAClC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI;iBAChC,CAAC,CAAC;YACP,CAAC;YACD,OAAO,UAAU,CAAC;QACtB,CAAC;KACJ;IACD;QACI,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,+EAA+E;QACvF,SAAS,EAAE,aAAa;QACxB,KAAK,CAAC,KAAK;YACP,MAAM,UAAU,GAA0B,EAAE,CAAC;YAC7C,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAClD,gEAAgE;gBAChE,iEAAiE;gBACjE,6DAA6D;gBAC7D,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC;oBAAE,SAAS;gBACxD,MAAM,KAAK,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACtF,IAAI,KAAK,IAAI,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,KAAK,SAAS;oBAAE,SAAS;gBAC/E,UAAU,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,0BAA0B;oBAChC,OAAO,EAAE,iBAAiB,OAAO,CAAC,EAAE,8BAA8B;oBAClE,SAAS,EAAE,OAAO,CAAC,EAAE;oBACrB,IAAI,EAAE,OAAO,CAAC,IAAI;iBACrB,CAAC,CAAC;YACP,CAAC;YACD,OAAO,UAAU,CAAC;QACtB,CAAC;KACJ;CACJ,CAAC;AAEF,+EAA+E;AAE/E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAA8E;IAC5G;QACI,KAAK,EAAE,oFAAoF;QAC3F,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,uEAAuE;KAClF;IACD;QACI,KAAK,EAAE,+CAA+C;QACtD,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,sDAAsD;KACjE;IACD;QACI,KAAK,EAAE,wDAAwD;QAC/D,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,sFAAsF;KACjG;IACD;QACI,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,sDAAsD;KACjE;CACJ,CAAC;AAYF,iEAAiE;AACjE,MAAM,UAAU,mBAAmB,CAC/B,cAA0C,uBAAuB,EACjE,YAAmC,YAAY;IAE/C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACnF,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,MAAM,aAAa,GAA8B,EAAE,CAAC;IACpD,MAAM,QAAQ,GAAwC,EAAE,OAAO,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAEtG,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAClC,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAE,CAAC;QACzF,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QACtF,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,OAAO;QACH,aAAa,EAAE,cAAc;QAC7B,KAAK,EAAE,SAAS,CAAC,MAAM;QACvB,WAAW,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACzF,aAAa;QACb,WAAW,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE;QAC9E,QAAQ;KACX,CAAC;AACN,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,qBAAqB,CACjC,KAAmB,EACnB,cAA0C,uBAAuB;IAEjE,OAAO,WAAW,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AACtE,CAAC"}

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

@@ -1,3 +1,4 @@
+import type { SemanticElementProvenance } from '../model/source-provenance.js';
 /** A single rule violation */
 export interface Violation {
     /** Closure rule id, e.g. "CR-MED-001" */
@@ -14,6 +15,38 @@ export interface Violation {
     elementName: string;
     /** CoSMA layer */
     layer: string;
+    /** The declaration/classifier provenance of the violating element. */
+    provenance?: SemanticElementProvenance;
+    /**
+     * Where the rule that produced this violation came from, and what was done
+     * to it. Section 10.4: a violation names the active rule, the rule it
+     * replaced if any, the policy that changed it, the effective severity, and
+     * the rationale and approval behind the tailoring. A tailored rule that
+     * reports violations without saying it was tailored is not auditable.
+     */
+    ruleProvenance?: ViolationRuleProvenance;
+}
+/** Rule-side provenance carried on every violation (section 10.4). */
+export interface ViolationRuleProvenance {
+    /** Qualified name of the active rule's `constraint def`. */
+    activeRuleType: string;
+    /** Set when the active rule replaced a different one. */
+    baseRuleId?: string;
+    /** Severity the ontology authored, before any override. */
+    declaredSeverity: 'error' | 'warning' | 'info';
+    /** How far the rule may be tailored. */
+    tailoring: 'invariant' | 'assurance' | 'methodology';
+    /** Which methodology or binding changed it, in application order. */
+    policyChain: Array<{
+        source: string;
+        level: 'methodology' | 'project';
+        disposition: 'enabled' | 'disabled' | 'replaced';
+    }>;
+    rationaleText?: string;
+    authority?: string;
+    approvalReference?: string;
+    /** File declaring the rule. */
+    sourceFile?: string;
 }
 /** Validation result for the entire model */
 export interface ValidationResult {

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

package/packages/tools/lib/version.d.ts

@@ -0,0 +1,2 @@
+export declare function memoVersion(): string;
+//# sourceMappingURL=version.d.ts.map

package/packages/tools/lib/version.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../src/version.ts"],"names":[],"mappings":"AAgBA,wBAAgB,WAAW,IAAI,MAAM,CASpC"}

package/packages/tools/lib/version.js

@@ -0,0 +1,26 @@
+// ─── This build's version ────────────────────────────────────────────────────
+//
+// Read from the package manifest rather than restated as a literal, so it
+// cannot drift from what `scripts/sync-version.mjs` writes.
+//
+// It exists because a conformance result has to say which MEMO produced it —
+// the same reason the result carries the Release commit. A number with no
+// provenance on either side is not comparable to the next one.
+// ─────────────────────────────────────────────────────────────────────────────
+import { readFileSync } from 'node:fs';
+import { dirname, resolve } from 'node:path';
+import { fileURLToPath } from 'node:url';
+let cached;
+export function memoVersion() {
+    if (cached)
+        return cached;
+    try {
+        const manifest = resolve(dirname(fileURLToPath(import.meta.url)), '../../../package.json');
+        cached = JSON.parse(readFileSync(manifest, 'utf-8')).version ?? 'unknown';
+    }
+    catch {
+        cached = 'unknown';
+    }
+    return cached;
+}
+//# sourceMappingURL=version.js.map

package/packages/tools/lib/version.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../src/version.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,0EAA0E;AAC1E,4DAA4D;AAC5D,EAAE;AACF,6EAA6E;AAC7E,0EAA0E;AAC1E,+DAA+D;AAC/D,gFAAgF;AAEhF,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,IAAI,MAA0B,CAAC;AAE/B,MAAM,UAAU,WAAW;IACvB,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,IAAI,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,uBAAuB,CAAC,CAAC;QAC3F,MAAM,GAAI,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAA0B,CAAC,OAAO,IAAI,SAAS,CAAC;IACxG,CAAC;IAAC,MAAM,CAAC;QACL,MAAM,GAAG,SAAS,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC"}