@memoarchitect/tools 0.13.0 → 0.15.0

package/packages/tools/lib/model/effective-scope.js

@@ -8,17 +8,16 @@
 // treated an empty inclusion list as "the methodology does not restrict", so a
 // methodology that selected nothing and a methodology that selected everything
 // produced identical results, and nobody could tell which one had been authored.
-// Scope is now explicit: `scopeMode` says which it is, and under `explicit` an
-// empty list selects nothing.
+// Scope is now explicit: `scopeMode` says which it is, and under `explicit` a
+// methodology whose package publicly imports nothing selects nothing.
 //
 // Design reference: sections 9.2 and 18.3 deliverable 3.
 // ─────────────────────────────────────────────────────────────────────────────
-import { ruleCandidatesFromConstraints } from './methodology-resolver.js';
+import { ruleCandidatesFromConstraints, resolveEffectiveRules } from './methodology-resolver.js';
 export function buildEffectiveScope(methodology) {
     return {
         mode: methodology.scopeMode,
-        layers: new Set(methodology.includedLayers),
-        modules: new Set(methodology.includedModules),
+        packages: new Set(methodology.selectedPackages),
         standards: new Set(methodology.includedStandards),
         artifactKinds: new Set(methodology.includedArtifactKinds),
         viewpoints: new Set(methodology.includedViewpoints),
@@ -27,16 +26,13 @@ export function buildEffectiveScope(methodology) {
 /** A scope that selects everything — the shape callers get before a binding resolves. */
 export const UNRESTRICTED_SCOPE = {
     mode: 'allAvailable',
-    layers: new Set(),
-    modules: new Set(),
+    packages: new Set(),
     standards: new Set(),
     artifactKinds: new Set(),
     viewpoints: new Set(),
 };
 function setFor(scope, dimension) {
     switch (dimension) {
-        case 'layer': return scope.layers;
-        case 'module': return scope.modules;
         case 'standard': return scope.standards;
         case 'artifactKind': return scope.artifactKinds;
         case 'viewpoint': return scope.viewpoints;
@@ -56,32 +52,19 @@ export function isInScope(scope, dimension, value) {
         return false;
     return setFor(scope, dimension).has(value);
 }
-/**
- * Is a kind in scope?
- *
- * A kind belongs to exactly one axis position, so it is in scope when its layer
- * is selected. A kind with no layer is only in scope under `allAvailable`: an
- * unplaced kind cannot be shown to satisfy an explicit selection.
- */
-export function isKindInScope(scope, kind) {
-    return isInScope(scope, 'layer', kind.layer);
-}
-/** Filter kinds to those in scope. Used by palettes and creation dialogs alike. */
-export function filterKindsInScope(kinds, scope) {
-    if (scope.mode === 'allAvailable')
-        return [...kinds];
-    return kinds.filter(kind => isKindInScope(scope, kind));
-}
 /**
  * Is a package in scope?
  *
- * `includedLayer` and `includedModule` both name packages; a methodology splits
- * them for readability, not because the resolver treats them differently.
+ * Under `explicit`, a package is in scope when the selection imports it: the
+ * methodology's package, or the binding's, publicly imports it, directly or
+ * through packages it publicly imports (`publicImportClosure`). A layer is
+ * selected through its layer package and an extension through its facade, so
+ * there is no second, name-matching test here.
  */
 export function isPackageInScope(scope, packageName) {
     if (scope.mode === 'allAvailable')
         return true;
-    return scope.layers.has(packageName) || scope.modules.has(packageName);
+    return scope.packages.has(packageName);
 }
 /**
  * Is a rule active under this scope?
@@ -102,17 +85,19 @@ export function isRulePackageInScope(scope, declaringPackage) {
  * The rules a project's methodology actually activates.
  *
  * A rule is active when BOTH its declaring package and its subject kind are in
- * scope. A rule whose subject the methodology never selected can only report on
+ * scope — unless it is classified `invariant`, which is active in every scope. A rule whose subject the methodology never selected can only report on
  * content the project did not agree to model — which is how the GPCA prototype
  * used to accumulate cybersecurity violations for a discipline it had excluded.
  *
- * This lives here, shared, because `memo validate` and `memo rules list` are
+ * This lives here, shared, because `memo validate` and `memo validate --rules` are
  * two views of one answer. They computed it separately, and inevitably
  * disagreed: `validate` scope-filtered and `rules list` did not, so the same
  * project reported 20 rules and 38 rules depending on which command you asked.
  * A number that changes with the question is not an audit.
  */
-export function activeRuleCandidates(constraints, scope, filePackages, kindSourceFile) {
+export function activeRuleCandidates(constraints, scope, filePackages, kindSourceFile, 
+/** A rule in one of the project's own files is its authors': its package is always in scope. */
+isOwnFile = () => false) {
     const packageOf = (file) => file ? filePackages.get(file) : undefined;
     const subjectInScope = (appliesTo) => {
         if (scope.mode === 'allAvailable')
@@ -121,13 +106,89 @@ export function activeRuleCandidates(constraints, scope, filePackages, kindSourc
         if (!appliesTo || appliesTo === 'Model')
             return true;
         const kindName = appliesTo.split('[')[0];
-        // A methodology's inclusion lists name packages, so a kind is placed by
+        // A methodology selects packages, so a kind is placed by
         // the package that declares it — not by the `layer` string, which is a
         // display grouping in a different namespace.
         return isRulePackageInScope(scope, packageOf(kindSourceFile(kindName)));
     };
-    return ruleCandidatesFromConstraints(constraints
-        .filter(c => isRulePackageInScope(scope, packageOf(c.sourceFile)))
-        .filter(c => subjectInScope(c.appliesToKind)));
+    // An invariant is exempt from both. A RulePolicy cannot disable one
+    // (`invariant-protected`), and leaving its package or its subject kind out
+    // of the selection disabled it just the same, with no policy and no
+    // diagnostic to show for it. An invariant over a kind the project never
+    // uses runs on nothing and reports as vacuous, which is the honest answer.
+    //
+    // A rule the project wrote itself is not filtered by package: a methodology
+    // selects the ontology's packages, and a project's own rule belongs to the
+    // project. Its subject kind is still checked.
+    return ruleCandidatesFromConstraints(constraints.filter(c => c.tailoring === 'invariant'
+        || (((c.sourceFile !== undefined && isOwnFile(c.sourceFile))
+            || isRulePackageInScope(scope, packageOf(c.sourceFile)))
+            && subjectInScope(c.appliesToKind))), constraint => subjectPackageOf(constraint, filePackages, kindSourceFile));
+}
+/** The package that declares a rule's subject kind: its layer, for a policy that selects by category. */
+function subjectPackageOf(constraint, filePackages, kindSourceFile) {
+    const appliesTo = constraint.appliesToKind;
+    // A model-level rule has no single subject kind to place.
+    if (!appliesTo || appliesTo === 'Model')
+        return undefined;
+    const file = kindSourceFile(appliesTo.split('[')[0]);
+    return file ? filePackages.get(file) : undefined;
+}
+/**
+ * The rules a methodology does not activate, and why. A rule that does not run
+ * must say so: one that is silently absent reads as one that passed.
+ */
+export function inactiveRules(constraints, scope, filePackages, kindSourceFile, isOwnFile = () => false) {
+    const active = new Set(activeRuleCandidates(constraints, scope, filePackages, kindSourceFile, isOwnFile).map(c => c.id));
+    return constraints.filter(c => !active.has(c.id)).map(c => {
+        const own = c.sourceFile !== undefined && isOwnFile(c.sourceFile);
+        const packageIn = own || isRulePackageInScope(scope, c.sourceFile ? filePackages.get(c.sourceFile) : undefined);
+        const kind = (c.appliesToKind ?? '').split('[')[0];
+        return packageIn
+            ? {
+                id: c.id, typeName: c.typeName, file: c.sourceFile, reason: 'subject-not-selected',
+                detail: `it applies to ${kind}, which the project's methodology does not select`,
+            }
+            : {
+                id: c.id, typeName: c.typeName, file: c.sourceFile, reason: 'package-not-selected',
+                detail: 'the package that declares it is not one the project\'s methodology selects',
+            };
+    });
+}
+/**
+ * The project's effective rule set: the rules its methodology activates, with
+ * its policies applied. One answer, asked by `memo validate`, `memo validate --rules`
+ * and the Architect's dev server, so they report one rule set.
+ */
+export function resolveProjectRules(input) {
+    const scope = input.effective ? buildEffectiveScope(input.effective) : undefined;
+    const candidates = scope
+        ? activeRuleCandidates(input.constraints, scope, input.filePackages, input.kindSourceFile, input.isOwnFile)
+        : ruleCandidatesFromConstraints(input.constraints, constraint => subjectPackageOf(constraint, input.filePackages, input.kindSourceFile));
+    return { rules: resolveEffectiveRules(candidates, input.effective?.policyChain ?? []), scope };
+}
+/**
+ * The ids rules may run ON under a methodology scope: every element whose kind
+ * the scope selects, and every named, typed edge whose declared kind it
+ * selects.
+ *
+ * The edges matter because a named `flow` or `interface` typed by a domain
+ * definition is a rule subject of that kind under the RELATIONSHIP's id
+ * (relationship-subjects.ts). A set built from elements alone dropped every
+ * such subject under any explicit scope, so a rule scoped to
+ * `FunctionalExchange` or `ComponentExchange` ran on nothing and reported a
+ * clean pass.
+ */
+export function scopedSubjectIds(model, selectsKind) {
+    const ids = new Set();
+    for (const [id, element] of model.elements) {
+        if (selectsKind(element.kind))
+            ids.add(id);
+    }
+    for (const relationship of model.relationships) {
+        if (relationship.named && relationship.kind && selectsKind(relationship.kind))
+            ids.add(relationship.id);
+    }
+    return ids;
 }
 //# sourceMappingURL=effective-scope.js.map

package/packages/tools/lib/model/effective-scope.js.map

@@ -1 +1 @@
-{"version":3,"file":"effective-scope.js","sourceRoot":"","sources":["../../src/model/effective-scope.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,6EAA6E;AAC7E,qEAAqE;AACrE,sDAAsD;AACtD,EAAE;AACF,kFAAkF;AAClF,+EAA+E;AAC/E,+EAA+E;AAC/E,iFAAiF;AACjF,+EAA+E;AAC/E,8BAA8B;AAC9B,EAAE;AACF,yDAAyD;AACzD,gFAAgF;AAGhF,OAAO,EAAE,6BAA6B,EAAE,MAAM,2BAA2B,CAAC;AA0B1E,MAAM,UAAU,mBAAmB,CAAC,WAAiC;IACjE,OAAO;QACH,IAAI,EAAE,WAAW,CAAC,SAAS;QAC3B,MAAM,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,cAAc,CAAC;QAC3C,OAAO,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,eAAe,CAAC;QAC7C,SAAS,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,iBAAiB,CAAC;QACjD,aAAa,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,qBAAqB,CAAC;QACzD,UAAU,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,kBAAkB,CAAC;KACtD,CAAC;AACN,CAAC;AAED,yFAAyF;AACzF,MAAM,CAAC,MAAM,kBAAkB,GAAmB;IAC9C,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,IAAI,GAAG,EAAE;IACjB,OAAO,EAAE,IAAI,GAAG,EAAE;IAClB,SAAS,EAAE,IAAI,GAAG,EAAE;IACpB,aAAa,EAAE,IAAI,GAAG,EAAE;IACxB,UAAU,EAAE,IAAI,GAAG,EAAE;CACxB,CAAC;AAEF,SAAS,MAAM,CAAC,KAAqB,EAAE,SAAyB;IAC5D,QAAQ,SAAS,EAAE,CAAC;QAChB,KAAK,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC,MAAM,CAAC;QAClC,KAAK,QAAQ,CAAC,CAAC,OAAO,KAAK,CAAC,OAAO,CAAC;QACpC,KAAK,UAAU,CAAC,CAAC,OAAO,KAAK,CAAC,SAAS,CAAC;QACxC,KAAK,cAAc,CAAC,CAAC,OAAO,KAAK,CAAC,aAAa,CAAC;QAChD,KAAK,WAAW,CAAC,CAAC,OAAO,KAAK,CAAC,UAAU,CAAC;IAC9C,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,KAAqB,EAAE,SAAyB,EAAE,KAAyB;IACjG,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,OAAO,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAC/C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,KAAqB,EAAE,IAAgB;IACjE,OAAO,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;AACjD,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,kBAAkB,CAC9B,KAAmB,EACnB,KAAqB;IAErB,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;IACrD,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAqB,EAAE,WAAmB;IACvE,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IAC/C,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;AAC3E,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAqB,EAAE,gBAAoC;IAC5F,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,CAAC,gBAAgB;QAAE,OAAO,KAAK,CAAC;IACpC,OAAO,gBAAgB,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;AACrD,CAAC;AAGD,gFAAgF;AAEhF;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,oBAAoB,CAChC,WAA0C,EAC1C,KAAqB,EACrB,YAAyC,EACzC,cAAwD;IAExD,MAAM,SAAS,GAAG,CAAC,IAAwB,EAAE,EAAE,CAC3C,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAE9C,MAAM,cAAc,GAAG,CAAC,SAA6B,EAAW,EAAE;QAC9D,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,IAAI,CAAC;QAC/C,0DAA0D;QAC1D,IAAI,CAAC,SAAS,IAAI,SAAS,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC;QACrD,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,wEAAwE;QACxE,uEAAuE;QACvE,6CAA6C;QAC7C,OAAO,oBAAoB,CAAC,KAAK,EAAE,SAAS,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC;IAEF,OAAO,6BAA6B,CAChC,WAAW;SACN,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,oBAAoB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;SACjE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CACpD,CAAC;AACN,CAAC"}
+{"version":3,"file":"effective-scope.js","sourceRoot":"","sources":["../../src/model/effective-scope.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,6EAA6E;AAC7E,qEAAqE;AACrE,sDAAsD;AACtD,EAAE;AACF,kFAAkF;AAClF,+EAA+E;AAC/E,+EAA+E;AAC/E,iFAAiF;AACjF,8EAA8E;AAC9E,sEAAsE;AACtE,EAAE;AACF,yDAAyD;AACzD,gFAAgF;AAGhF,OAAO,EAAE,6BAA6B,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAgBjG,MAAM,UAAU,mBAAmB,CAAC,WAAiC;IACjE,OAAO;QACH,IAAI,EAAE,WAAW,CAAC,SAAS;QAC3B,QAAQ,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,CAAC;QAC/C,SAAS,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,iBAAiB,CAAC;QACjD,aAAa,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,qBAAqB,CAAC;QACzD,UAAU,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC,kBAAkB,CAAC;KACtD,CAAC;AACN,CAAC;AAED,yFAAyF;AACzF,MAAM,CAAC,MAAM,kBAAkB,GAAmB;IAC9C,IAAI,EAAE,cAAc;IACpB,QAAQ,EAAE,IAAI,GAAG,EAAE;IACnB,SAAS,EAAE,IAAI,GAAG,EAAE;IACpB,aAAa,EAAE,IAAI,GAAG,EAAE;IACxB,UAAU,EAAE,IAAI,GAAG,EAAE;CACxB,CAAC;AAEF,SAAS,MAAM,CAAC,KAAqB,EAAE,SAAyB;IAC5D,QAAQ,SAAS,EAAE,CAAC;QAChB,KAAK,UAAU,CAAC,CAAC,OAAO,KAAK,CAAC,SAAS,CAAC;QACxC,KAAK,cAAc,CAAC,CAAC,OAAO,KAAK,CAAC,aAAa,CAAC;QAChD,KAAK,WAAW,CAAC,CAAC,OAAO,KAAK,CAAC,UAAU,CAAC;IAC9C,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,KAAqB,EAAE,SAAyB,EAAE,KAAyB;IACjG,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,OAAO,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAC/C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAqB,EAAE,WAAmB;IACvE,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IAC/C,OAAO,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAqB,EAAE,gBAAoC;IAC5F,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,CAAC,gBAAgB;QAAE,OAAO,KAAK,CAAC;IACpC,OAAO,gBAAgB,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;AACrD,CAAC;AAGD,gFAAgF;AAEhF;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,oBAAoB,CAChC,WAA0C,EAC1C,KAAqB,EACrB,YAAyC,EACzC,cAAwD;AACxD,gGAAgG;AAChG,YAAuC,GAAG,EAAE,CAAC,KAAK;IAElD,MAAM,SAAS,GAAG,CAAC,IAAwB,EAAE,EAAE,CAC3C,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAE9C,MAAM,cAAc,GAAG,CAAC,SAA6B,EAAW,EAAE;QAC9D,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,IAAI,CAAC;QAC/C,0DAA0D;QAC1D,IAAI,CAAC,SAAS,IAAI,SAAS,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC;QACrD,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,yDAAyD;QACzD,uEAAuE;QACvE,6CAA6C;QAC7C,OAAO,oBAAoB,CAAC,KAAK,EAAE,SAAS,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC;IAEF,oEAAoE;IACpE,2EAA2E;IAC3E,oEAAoE;IACpE,wEAAwE;IACxE,2EAA2E;IAC3E,EAAE;IACF,4EAA4E;IAC5E,2EAA2E;IAC3E,8CAA8C;IAC9C,OAAO,6BAA6B,CAChC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,WAAW;WAC5C,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,IAAI,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;eACrD,oBAAoB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;eACrD,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAC5C,UAAU,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,EAAE,YAAY,EAAE,cAAc,CAAC,CAC3E,CAAC;AACN,CAAC;AAED,yGAAyG;AACzG,SAAS,gBAAgB,CACrB,UAA8B,EAC9B,YAAyC,EACzC,cAAwD;IAExD,MAAM,SAAS,GAAG,UAAU,CAAC,aAAa,CAAC;IAC3C,0DAA0D;IAC1D,IAAI,CAAC,SAAS,IAAI,SAAS,KAAK,OAAO;QAAE,OAAO,SAAS,CAAC;IAC1D,MAAM,IAAI,GAAG,cAAc,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,OAAO,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACrD,CAAC;AAUD;;;GAGG;AACH,MAAM,UAAU,aAAa,CACzB,WAA0C,EAC1C,KAAqB,EACrB,YAAyC,EACzC,cAAwD,EACxD,YAAuC,GAAG,EAAE,CAAC,KAAK;IAElD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,oBAAoB,CAAC,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzH,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QACtD,MAAM,GAAG,GAAG,CAAC,CAAC,UAAU,KAAK,SAAS,IAAI,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAClE,MAAM,SAAS,GAAG,GAAG,IAAI,oBAAoB,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAChH,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,OAAO,SAAS;YACZ,CAAC,CAAC;gBACE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,sBAA+B;gBAC3F,MAAM,EAAE,iBAAiB,IAAI,mDAAmD;aACnF;YACD,CAAC,CAAC;gBACE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,sBAA+B;gBAC3F,MAAM,EAAE,4EAA4E;aACvF,CAAC;IACV,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAMnC;IACG,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACjF,MAAM,UAAU,GAAG,KAAK;QACpB,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,SAAS,CAAC;QAC3G,CAAC,CAAC,6BAA6B,CAC3B,KAAK,CAAC,WAAW,EACjB,UAAU,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC;IAC9F,OAAO,EAAE,KAAK,EAAE,qBAAqB,CAAC,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,WAAW,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;AACnG,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAgB,EAAE,WAAsC;IACrF,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACzC,IAAI,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QAC7C,IAAI,YAAY,CAAC,KAAK,IAAI,YAAY,CAAC,IAAI,IAAI,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IAC5G,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC"}

package/packages/tools/lib/model/element-index.d.ts

@@ -0,0 +1,207 @@
+import type { MemoElement, MemoRelationship } from './semantic.js';
+/** The `ParseError.code` every ambiguous bare reference carries. */
+export declare const AMBIGUOUS_ELEMENT_REFERENCE = "ambiguous-element-reference";
+/** The `ParseError.code` a duplicate qualified name carries. */
+export declare const ELEMENT_NAME_COLLISION = "element-name-collision";
+/** The `ParseError.code` two named relationships sharing a qualified name carry. */
+export declare const RELATIONSHIP_NAME_COLLISION = "relationship-name-collision";
+/** The separator SysML uses between the segments of a qualified name. */
+export declare const QUALIFIER = "::";
+/**
+ * The qualified name of a declaration.
+ *
+ * `ownerId` is the owning element's own qualified id, so the chain builds
+ * itself one hop at a time and a port three levels down reads as the path you
+ * would type in the source.
+ */
+export declare function qualifiedId(shortName: string, packageName: string | undefined, ownerId: string | undefined): string;
+/**
+ * The last segment of a qualified name.
+ *
+ * Accepts `undefined` and passes it through, because most of what is asked for
+ * a short name is an optional field — an element's `owner`, a relationship's
+ * resolved end — and making every caller guard it reads worse than this does.
+ */
+export declare function shortNameOf(id: string): string;
+export declare function shortNameOf(id: string | undefined): string | undefined;
+/** Two elements that wanted the same qualified name. */
+export interface ElementCollision {
+    /** The qualified name both elements are declared with. */
+    id: string;
+    /** The element that is in the model. */
+    kept: MemoElement;
+    /** The element that was dropped. */
+    dropped: MemoElement;
+    /** 1-based line of the kept element's declaration, when the CST gave one. */
+    keptLine?: number;
+    /** 1-based line of the dropped element's declaration, when the CST gave one. */
+    droppedLine?: number;
+}
+/** Two named relationships that wanted the same qualified name. */
+export interface RelationshipCollision {
+    /** The qualified name both relationships are declared with. */
+    id: string;
+    /** The relationship that is in the model under that name. */
+    kept: MemoRelationship;
+    /** The relationship that lost the name. */
+    dropped: MemoRelationship;
+    /** 1-based line of the kept declaration, when the CST gave one. */
+    keptLine?: number;
+    /** 1-based line of the dropped declaration, when the CST gave one. */
+    droppedLine?: number;
+}
+/** A bare reference that more than one element answers to. */
+export interface AmbiguousReference {
+    /** The reference as it was authored. */
+    reference: string;
+    /** The qualified ids that all answer to it. */
+    candidates: string[];
+    /** The file the reference was written in, when the caller said. */
+    file?: string;
+}
+/**
+ * Where a reference was written, which is what decides what a short name means.
+ *
+ * Both fields are optional because some callers genuinely have no context — a
+ * name a person typed at a terminal, a key read back from a saved layout — and
+ * for those the global rules (4 and 5) are the right ones.
+ */
+export interface ReferenceContext {
+    /** The package the reference was authored in. */
+    packageName?: string;
+    /** The element whose body the reference was authored in, if any. */
+    ownerId?: string;
+    /** The file, for the diagnostic if the reference turns out ambiguous. */
+    file?: string;
+}
+/**
+ * The 1-based declaration line of a Langium AST node.
+ *
+ * Typed loosely on purpose: the builder passes a mix of generated AST nodes and
+ * the structural `UsageNode` shape it declares for itself, and neither is worth
+ * a cast at nine call sites.
+ */
+export declare function declarationLine(node: unknown): number | undefined;
+/**
+ * `qualified name → element`, with the lookups an authored reference needs.
+ *
+ * Extends `Map` so that every function already typed `Map<string, MemoElement>`
+ * keeps working: `get` is exact and means "this qualified id". Everything that
+ * starts from something a person wrote goes through `lookup` or `resolvePath`.
+ */
+export declare class ElementIndex extends Map<string, MemoElement> {
+    /** Every pair that competed for one qualified name. */
+    readonly collisions: ElementCollision[];
+    /** Bare references that more than one element answered to. */
+    readonly ambiguities: AmbiguousReference[];
+    /** Every pair of named relationships that competed for one qualified name. */
+    readonly relationshipCollisions: RelationshipCollision[];
+    /** Short name → the qualified ids declaring it, in declaration order. */
+    private byShortName;
+    /** Declaration lines of the elements that landed, for collision reports. */
+    private lines;
+    /**
+     * Named relationships by qualified id — the identity half of §9.1's
+     * "single canonical identity for a named flow/interface that can also
+     * serve as a relationship target".
+     *
+     * A read-only facade, deliberately: the entries here ARE the objects in
+     * `MemoModel.relationships`, not copies of them, so a named flow has one
+     * record and not a record plus a proxy. Nothing may be added here that is
+     * not also pushed onto the relationship list, and nothing here is an
+     * element — a flow is an edge, and putting a fabricated `MemoElement` in
+     * the elements map would make every census, view and filter count it as
+     * one more part.
+     */
+    private relationships;
+    /** Short name → the qualified relationship ids declaring it. */
+    private relationshipsByShortName;
+    /** Declaration lines of the named relationships, for collision reports. */
+    private relationshipLines;
+    /**
+     * Add an element under its own qualified `id`. Returns whether it landed —
+     * false means one was already there and this one was dropped, either as a
+     * duplicate arrival or as a recorded collision.
+     */
+    define(element: MemoElement, node?: unknown): boolean;
+    /** The qualified ids that declare this short name. */
+    idsNamed(shortName: string): readonly string[];
+    /**
+     * Find the element an authored reference names, from where it was written.
+     *
+     * The context is what makes a short name meaningful, and it is the same
+     * order SysML resolves in: the owner's own members, then the enclosing
+     * package, then anything visible. Two view packages that each declare
+     * `clinician` are two elements, and inside either package the bare word
+     * means that package's one — which is why the context is not optional in
+     * practice even though the parameter is.
+     *
+     *   1. the full qualified id;
+     *   2. a member of `ownerId` — `scanSubscriber` inside `nodeSafetyMonitor`;
+     *   3. a member of `packageName`, walking OUT through enclosing packages;
+     *   4. a TRAILING part of some qualified id, when exactly one ends that way
+     *      — `nodeLidar::scanPublisher` written from another package;
+     *   5. a bare short name, when exactly one element in the model carries it.
+     *
+     * A reference that survives all five with more than one candidate is
+     * recorded in `ambiguities` and resolves to nothing. Picking one would be
+     * picking by declaration order, which is the bug this index exists to stop.
+     */
+    lookup(reference: string, context?: ReferenceContext): MemoElement | undefined;
+    /**
+     * The five resolution steps above, over whichever identity map is asked.
+     *
+     * Elements and named relationships are separate maps — a flow is not an
+     * element — but a reference to either is written the same way and must
+     * resolve by the same rules, so the rules live here once. Ambiguity is
+     * recorded into the one shared list, because a reference that cannot
+     * decide is one diagnostic however it was declared.
+     */
+    private resolveIn;
+    /**
+     * Record a named relationship under its own qualified `id`, so a later
+     * `allocate`, `satisfy`, `verify` or trace can name it.
+     *
+     * Returns whether it landed. False means another declaration already holds
+     * that qualified name, which is recorded in `relationshipCollisions` — the
+     * relationship itself still reaches the model as an edge, because the two
+     * facts are separate: the edge is real, the name is contested.
+     */
+    defineRelationship(relationship: MemoRelationship, node?: unknown): boolean;
+    /** The named relationship an authored reference names, by the same rules as `lookup`. */
+    lookupRelationship(reference: string, context?: ReferenceContext): MemoRelationship | undefined;
+    /**
+     * Whether this id addresses anything in the model — an element or a named
+     * relationship. What an edge endpoint has to satisfy, now that a flow can
+     * be one.
+     */
+    hasEntity(id: string): boolean;
+    /**
+     * Resolve a dotted feature path — `nodeSafetyMonitor.scanSubscriber.payload`
+     * — as far as it names elements.
+     *
+     * The first segment is looked up; each further segment is an owned member
+     * of what came before, which is an exact `owner::name` probe rather than a
+     * global search that then checks the owner. That check is what used to stop
+     * one segment short when the global search returned the wrong node's port.
+     *
+     * Returns the deepest element reached and whatever is left over — a port's
+     * `payload`, an action's parameter — which the caller keeps as the edge's
+     * end name.
+     */
+    resolvePath(reference: string, context?: ReferenceContext): {
+        element?: MemoElement;
+        id: string;
+        end: string;
+        ambiguous: boolean;
+    };
+    private recordAmbiguity;
+}
+/**
+ * An index built from elements that already have their ids — a model received
+ * over the wire, a hand-built test fixture, a conversion from another tool.
+ */
+export declare function toElementIndex(elements: Iterable<MemoElement> | Map<string, MemoElement>): ElementIndex;
+/** Where an element sits, for a reader who has to go and look at both. */
+export declare function describeLocation(element: MemoElement, line?: number): string;
+//# sourceMappingURL=element-index.d.ts.map

package/packages/tools/lib/model/element-index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"element-index.d.ts","sourceRoot":"","sources":["../../src/model/element-index.ts"],"names":[],"mappings":"AA8BA,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEnE,oEAAoE;AACpE,eAAO,MAAM,2BAA2B,gCAAgC,CAAC;AAEzE,gEAAgE;AAChE,eAAO,MAAM,sBAAsB,2BAA2B,CAAC;AAE/D,oFAAoF;AACpF,eAAO,MAAM,2BAA2B,gCAAgC,CAAC;AAEzE,yEAAyE;AACzE,eAAO,MAAM,SAAS,OAAO,CAAC;AAE9B;;;;;;GAMG;AACH,wBAAgB,WAAW,CACvB,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,MAAM,GAAG,SAAS,EAC/B,OAAO,EAAE,MAAM,GAAG,SAAS,GAC5B,MAAM,CAIR;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAAC;AAChD,wBAAgB,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAAC;AAOxE,wDAAwD;AACxD,MAAM,WAAW,gBAAgB;IAC7B,0DAA0D;IAC1D,EAAE,EAAE,MAAM,CAAC;IACX,wCAAwC;IACxC,IAAI,EAAE,WAAW,CAAC;IAClB,oCAAoC;IACpC,OAAO,EAAE,WAAW,CAAC;IACrB,6EAA6E;IAC7E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gFAAgF;IAChF,WAAW,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,mEAAmE;AACnE,MAAM,WAAW,qBAAqB;IAClC,+DAA+D;IAC/D,EAAE,EAAE,MAAM,CAAC;IACX,6DAA6D;IAC7D,IAAI,EAAE,gBAAgB,CAAC;IACvB,2CAA2C;IAC3C,OAAO,EAAE,gBAAgB,CAAC;IAC1B,mEAAmE;IACnE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sEAAsE;IACtE,WAAW,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,8DAA8D;AAC9D,MAAM,WAAW,kBAAkB;IAC/B,wCAAwC;IACxC,SAAS,EAAE,MAAM,CAAC;IAClB,+CAA+C;IAC/C,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,mEAAmE;IACnE,IAAI,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC7B,iDAAiD;IACjD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,oEAAoE;IACpE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,yEAAyE;IACzE,IAAI,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAIjE;AAED;;;;;;GAMG;AACH,qBAAa,YAAa,SAAQ,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC;IACtD,uDAAuD;IACvD,QAAQ,CAAC,UAAU,EAAE,gBAAgB,EAAE,CAAM;IAE7C,8DAA8D;IAC9D,QAAQ,CAAC,WAAW,EAAE,kBAAkB,EAAE,CAAM;IAEhD,8EAA8E;IAC9E,QAAQ,CAAC,sBAAsB,EAAE,qBAAqB,EAAE,CAAM;IAE9D,yEAAyE;IACzE,OAAO,CAAC,WAAW,CAA+B;IAElD,4EAA4E;IAC5E,OAAO,CAAC,KAAK,CAA6B;IAE1C;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,aAAa,CAAuC;IAE5D,gEAAgE;IAChE,OAAO,CAAC,wBAAwB,CAA+B;IAE/D,2EAA2E;IAC3E,OAAO,CAAC,iBAAiB,CAA6B;IAEtD;;;;OAIG;IACH,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,OAAO,GAAG,OAAO;IA4BrD,sDAAsD;IACtD,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE;IAI9C;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,MAAM,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,gBAAgB,GAAG,WAAW,GAAG,SAAS;IAI9E;;;;;;;;OAQG;IACH,OAAO,CAAC,SAAS;IAsCjB;;;;;;;;OAQG;IACH,kBAAkB,CAAC,YAAY,EAAE,gBAAgB,EAAE,IAAI,CAAC,EAAE,OAAO,GAAG,OAAO;IAyB3E,yFAAyF;IACzF,kBAAkB,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,SAAS;IAI/F;;;;OAIG;IACH,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAI9B;;;;;;;;;;;;OAYG;IACH,WAAW,CACP,SAAS,EAAE,MAAM,EACjB,OAAO,CAAC,EAAE,gBAAgB,GAC3B;QAAE,OAAO,CAAC,EAAE,WAAW,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,OAAO,CAAA;KAAE;IAuBzE,OAAO,CAAC,eAAe;CAK1B;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC1B,QAAQ,EAAE,QAAQ,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,GAC3D,YAAY,CAKd;AAOD,0EAA0E;AAC1E,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,CAG5E"}