@memoarchitect/tools 0.6.7 → 0.8.7

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"}