@memoarchitect/tools 0.13.0 → 0.15.0

package/packages/tools/lib/model/relationship-registry.d.ts

@@ -14,7 +14,8 @@ export interface RelationshipType {
     /** Hex colour for relationship visualization */
     color: string;
 }
-import type { ParsedDocument } from './parser-utils.js';
+import type { ApiElement, ApiModel } from '../stage2/api-model.js';
+import { type WorkspaceMembership } from '../stage2/registries-from-api.js';
 import type { MultiplicityDTO, RelationshipDefinitionDTO } from './relationship-legality.js';
 /** One `end` declaration on a connection definition */
 export interface RelationshipEnd {
@@ -66,6 +67,8 @@ export interface RelationshipRegistryEntry {
      * happens to still declare alongside it.
      */
     nativeKeyword?: string;
+    /** Package-qualified name of the definition; set for a typed dependency, whose statement names it. */
+    qualifiedName?: string;
     /** End names from the connection definition */
     ends: RelationshipEnd[];
     /**
@@ -117,9 +120,13 @@ export declare const REFINEMENT_METADATA = "refinement";
  */
 export declare function pascalToCamelCase(name: string): string;
 /**
- * Registry that discovers relationship types from SysML AST ConnectionDefinition nodes.
- * Replaces config.relationshipTypes lookups in the builder.
+ * Convert PascalCase to a human-readable label.
+ * "TraceTo" → "Trace To", "HasSubProcedure" → "Has Sub Procedure"
  */
+export declare function pascalToLabel(name: string): string;
+/** Strip the `doc /* … *​/` wrapper and per-line asterisks from a doc comment. */
+export declare function cleanDocComment(content: string): string | undefined;
+/** The relationship types a compiled project declares. */
 export declare class RelationshipRegistry {
     private readonly relTypes;
     /** Number of registered relationship types */
@@ -144,6 +151,13 @@ export declare class RelationshipRegistry {
     has(name: string): boolean;
     /** Get all relationship type names (camelCase) */
     relTypeNames(): string[];
+    /**
+     * The workspace-membership table the ontology declares (relation name to direction).
+     * Covers the registry's relations and the edges the builder synthesizes from SysML keywords,
+     * so it is keyed by edge type, not by registry entry.
+     */
+    workspaceMembership(): ReadonlyMap<string, WorkspaceMembership>;
+    private membership;
     /** Get all entries */
     entries(): RelationshipRegistryEntry[];
     /**
@@ -162,10 +176,11 @@ export declare class RelationshipRegistry {
     /** Register a relationship type manually (for testing or config fallback) */
     register(entry: RelationshipRegistryEntry): void;
     /**
-     * Populate the registry from parsed SysML documents.
-     * Walks all ConnectionDefinition nodes in each document's AST.
+     * Populate the registry from a stage 1 handoff (`apiRelationshipEntries`):
+     * the `connection def` and `allocation def` declarations, then the
+     * language-native relations.
      */
-    populateFromDocuments(documents: ParsedDocument[]): void;
+    populateFromApi(api: ApiModel, fileOf: (element: ApiElement) => string, include?: (namespace: ApiElement) => boolean, role?: 'library' | 'project'): void;
     /**
      * Record the three relations SysML v2 spells with a keyword.
      *
@@ -184,7 +199,5 @@ export declare class RelationshipRegistry {
      * not vanish from the registry along with its retired spelling.
      */
     private registerLanguageNatives;
-    /** Walk a package declaration and register all ConnectionDefinition nodes */
-    private walkPackage;
 }
 //# sourceMappingURL=relationship-registry.d.ts.map

package/packages/tools/lib/model/relationship-registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"relationship-registry.d.ts","sourceRoot":"","sources":["../../src/model/relationship-registry.ts"],"names":[],"mappings":"AAwBA;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC7B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,6CAA6C;IAC7C,KAAK,EAAE,MAAM,CAAC;IACd,sDAAsD;IACtD,KAAK,EAAE,MAAM,CAAC;IACd,gDAAgD;IAChD,KAAK,EAAE,MAAM,CAAC;CACjB;AACD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAExD,OAAO,KAAK,EACR,eAAe,EACf,yBAAyB,EAE5B,MAAM,4BAA4B,CAAC;AAEpC,uDAAuD;AACvD,MAAM,WAAW,eAAe;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,oEAAoE;IACpE,YAAY,CAAC,EAAE,eAAe,CAAC;CAClC;AAED,wCAAwC;AACxC,MAAM,WAAW,yBAAyB;IACtC,6EAA6E;IAC7E,SAAS,EAAE,MAAM,CAAC;IAClB,gEAAgE;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,2BAA2B;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,qDAAqD;IACrD,KAAK,EAAE,MAAM,CAAC;IACd,+CAA+C;IAC/C,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,wEAAwE;IACxE,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB;;;OAGG;IACH,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB;;;OAGG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,6EAA6E;IAC7E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;;;OAOG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;;;OAMG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,+CAA+C;IAC/C,IAAI,EAAE,eAAe,EAAE,CAAC;IACxB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,MAAM,EAAE;IACnD,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,eAAe,EAAE,CAAC;CAC3B,CA6KA,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,mBAAmB,eAAe,CAAC;AAEhD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGtD;AAyDD;;;GAGG;AACH,qBAAa,oBAAoB;IAC7B,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAgD;IAEzE,8CAA8C;IAC9C,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED;;;OAGG;IACH,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,yBAAyB,GAAG,SAAS;IAI/D;;;;OAIG;IACH,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAW9D;;;OAGG;IACH,wBAAwB,IAAI,gBAAgB,EAAE;IAS9C,iDAAiD;IACjD,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAI1B,kDAAkD;IAClD,YAAY,IAAI,MAAM,EAAE;IAIxB,sBAAsB;IACtB,OAAO,IAAI,yBAAyB,EAAE;IAItC;;;;;OAKG;IACH,gBAAgB,IAAI,yBAAyB,EAAE;IAgB/C;;;;OAIG;IACH,OAAO,CAAC,SAAS;IAkBjB,6EAA6E;IAC7E,QAAQ,CAAC,KAAK,EAAE,yBAAyB,GAAG,IAAI;IAIhD;;;OAGG;IACH,qBAAqB,CAAC,SAAS,EAAE,cAAc,EAAE,GAAG,IAAI;IAcxD;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,uBAAuB;IAmB/B,6EAA6E;IAC7E,OAAO,CAAC,WAAW;CAiEtB"}
+{"version":3,"file":"relationship-registry.d.ts","sourceRoot":"","sources":["../../src/model/relationship-registry.ts"],"names":[],"mappings":"AAaA;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC7B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,6CAA6C;IAC7C,KAAK,EAAE,MAAM,CAAC;IACd,sDAAsD;IACtD,KAAK,EAAE,MAAM,CAAC;IACd,gDAAgD;IAChD,KAAK,EAAE,MAAM,CAAC;CACjB;AACD,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,EAAkD,KAAK,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AAC5H,OAAO,KAAK,EACR,eAAe,EACf,yBAAyB,EAE5B,MAAM,4BAA4B,CAAC;AAEpC,uDAAuD;AACvD,MAAM,WAAW,eAAe;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,oEAAoE;IACpE,YAAY,CAAC,EAAE,eAAe,CAAC;CAClC;AAED,wCAAwC;AACxC,MAAM,WAAW,yBAAyB;IACtC,6EAA6E;IAC7E,SAAS,EAAE,MAAM,CAAC;IAClB,gEAAgE;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,2BAA2B;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,qDAAqD;IACrD,KAAK,EAAE,MAAM,CAAC;IACd,+CAA+C;IAC/C,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,wEAAwE;IACxE,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB;;;OAGG;IACH,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB;;;OAGG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,6EAA6E;IAC7E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;;;OAOG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;;;;;;OAMG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,sGAAsG;IACtG,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,+CAA+C;IAC/C,IAAI,EAAE,eAAe,EAAE,CAAC;IACxB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,MAAM,EAAE;IACnD,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,eAAe,EAAE,CAAC;CAC3B,CAyNA,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,mBAAmB,eAAe,CAAC;AAEhD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGtD;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAElD;AAED,kFAAkF;AAClF,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAOnE;AAQD,0DAA0D;AAC1D,qBAAa,oBAAoB;IAC7B,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAgD;IAEzE,8CAA8C;IAC9C,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED;;;OAGG;IACH,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,yBAAyB,GAAG,SAAS;IAI/D;;;;OAIG;IACH,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAW9D;;;OAGG;IACH,wBAAwB,IAAI,gBAAgB,EAAE;IAS9C,iDAAiD;IACjD,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAI1B,kDAAkD;IAClD,YAAY,IAAI,MAAM,EAAE;IAIxB;;;;OAIG;IACH,mBAAmB,IAAI,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC;IAI/D,OAAO,CAAC,UAAU,CAA0C;IAE5D,sBAAsB;IACtB,OAAO,IAAI,yBAAyB,EAAE;IAItC;;;;;OAKG;IACH,gBAAgB,IAAI,yBAAyB,EAAE;IAiB/C;;;;OAIG;IACH,OAAO,CAAC,SAAS;IAkBjB,6EAA6E;IAC7E,QAAQ,CAAC,KAAK,EAAE,yBAAyB,GAAG,IAAI;IAIhD;;;;OAIG;IACH,eAAe,CACX,GAAG,EAAE,QAAQ,EACb,MAAM,EAAE,CAAC,OAAO,EAAE,UAAU,KAAK,MAAM,EACvC,OAAO,CAAC,EAAE,CAAC,SAAS,EAAE,UAAU,KAAK,OAAO,EAC5C,IAAI,GAAE,SAAS,GAAG,SAAqB,GACxC,IAAI;IAMP;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,uBAAuB;CAkBlC"}

package/packages/tools/lib/model/relationship-registry.js

@@ -1,17 +1,16 @@
 // ─── Relationship Registry ──────────────────────────────────────────────────
 //
-// Discovers relationship types from SysML AST ConnectionDefinition nodes,
-// replacing config.relationshipTypes. Walks ConnectionDefinition nodes and
-// derives layer from the file's directory path (Apollo-11 convention).
-// Normalizes PascalCase SysML names to camelCase for matching.
+// The relationship types a compiled project declares: its `connection def` and
+// `allocation def` nodes, with the layer taken from the file's directory path.
+// Populated from a stage 1 handoff (`populateFromApi`). Normalizes PascalCase
+// SysML names to camelCase for matching.
 //
 // Usage:
 //   const registry = new RelationshipRegistry();
-//   registry.populateFromDocuments(parsedDocs);
+//   registry.populateFromApi(api, fileOf);
 //   const rel = registry.getRelType("mitigates");
 // ─────────────────────────────────────────────────────────────────────────────
-import { isAllocationDefinition, isAttributeMember, isConnectionDefinition, isDocComment, isEndDeclaration, isPackageDeclaration, } from '../language/generated/ast.js';
-import { resolveLayerFromPath } from './layer-resolver.js';
+import { apiRelationshipEntries, apiWorkspaceMembership } from '../stage2/registries-from-api.js';
 /**
  * The relations SysML v2 already writes with a keyword, and the MEMO trace edge
  * each one produces.
@@ -94,14 +93,14 @@ export const LANGUAGE_NATIVE_RELATIONS = {
         // Both ends are untyped, like `performs` above, because native
         // `include` is owner-rooted and deliberately polymorphic:
         // `resolveOwnerRootedUsage` is owner-type-agnostic, so it projects
-        // UseCase -> UseCase inclusion exactly as it projects
-        // FunctionalFlow -> FunctionalFlowStep. That is why `connection def
-        // Includes` was deleted in R10-S6 and both spellings unified here.
+        // UseCase -> UseCase inclusion exactly as it projects an action
+        // including another. That is why `connection def Includes` was deleted
+        // in R10-S6 and both spellings unified here. (A functional flow's steps
+        // are nested actions now, not included ones.)
         //
         // No single type can carry it: the kinds this relation joins sit in
-        // unrelated families — FunctionalFlow and FunctionalFlowStep are
-        // MemoActions, UseCase a MemoUseCase, and MEMO has no root above the
-        // metaclasses. Naming two of them made every use-case `include` a
+        // unrelated families — a FunctionalFlow is a MemoAction, a UseCase a
+        // MemoUseCase, and MEMO has no root above the metaclasses. Naming two of them made every use-case `include` a
         // well-formedness error: 132 of them in affera, on a construct the
         // design intends.
         ends: [
@@ -164,6 +163,50 @@ export const LANGUAGE_NATIVE_RELATIONS = {
             { name: 'framedConcern', type: 'MemoPart' },
         ],
     },
+    // ── Requirement membership ──
+    //
+    // An assume/guarantee contract is a requirement whose subject is the
+    // component and whose assumptions and guarantees are `assume`/`require`
+    // members (AGREE's shape). All three are owner-rooted, like `perform`: the
+    // enclosing requirement is the source and the written reference the target.
+    hasSubject: {
+        keyword: 'subject',
+        sysmlName: 'HasSubject',
+        layer: 'core',
+        description: 'A requirement or a use case is about a subject — for a contract, the component it '
+            + 'constrains; for a use case, the system or system of systems it is carried out with. '
+            + 'Written natively as `subject <name> = <element>;` inside the requirement or use case. '
+            + 'The same keyword inside a verification case is `verifiedBy`, not this.',
+        // The source is untyped for the reason `includesStep`'s is: a
+        // requirement and a use case sit in unrelated families
+        // (MemoRequirementElement, MemoUseCase) with no root above both.
+        ends: [
+            { name: 'subjectOwner' },
+            { name: 'subject' },
+        ],
+    },
+    assumes: {
+        keyword: 'assume',
+        sysmlName: 'Assumes',
+        layer: 'core',
+        description: 'A requirement assumes another holds — a contract\'s assumption. '
+            + 'Written natively as `assume <requirement>;` inside the requirement.',
+        ends: [
+            { name: 'contract', type: 'MemoRequirementElement' },
+            { name: 'assumption', type: 'MemoRequirementElement' },
+        ],
+    },
+    requires: {
+        keyword: 'require',
+        sysmlName: 'Requires',
+        layer: 'core',
+        description: 'A requirement requires another — a contract\'s guarantee. '
+            + 'Written natively as `require <requirement>;` inside the requirement.',
+        ends: [
+            { name: 'contract', type: 'MemoRequirementElement' },
+            { name: 'guarantee', type: 'MemoRequirementElement' },
+        ],
+    },
     // The one row whose native spelling is NOT a connection. A refinement is a
     // `Dependency` — n clients, n suppliers, no ends to redefine, annotated by
     // a PREFIX metadata rather than by a `metadata def` on a connection def. So
@@ -226,11 +269,11 @@ export function pascalToCamelCase(name) {
  * Convert PascalCase to a human-readable label.
  * "TraceTo" → "Trace To", "HasSubProcedure" → "Has Sub Procedure"
  */
-function pascalToLabel(name) {
+export function pascalToLabel(name) {
     return name.replace(/([a-z])([A-Z])/g, '$1 $2');
 }
 /** Strip the `doc /* … *​/` wrapper and per-line asterisks from a doc comment. */
-function cleanDocComment(content) {
+export function cleanDocComment(content) {
     const text = content
         .replace(/^doc\s+\/\*\s*/, '')
         .replace(/\s*\*\/$/, '')
@@ -238,47 +281,13 @@ function cleanDocComment(content) {
         .trim();
     return text || undefined;
 }
-/** Convert a parsed Multiplicity node into its serializable bounds. */
-function toMultiplicityDTO(multiplicity) {
-    if (!multiplicity)
-        return undefined;
-    // `[3]` — an exact bound pins both ends.
-    if (multiplicity.exact !== undefined) {
-        const exact = Number(multiplicity.exact);
-        return { lower: exact, upper: exact };
-    }
-    // `[*]` — no lower bound was written, so it stays 0.
-    if (multiplicity.lower === undefined) {
-        return { lower: 0, upper: multiplicity.unbounded ? null : null };
-    }
-    // `[0..1]` / `[1..*]`
-    return {
-        lower: Number(multiplicity.lower),
-        upper: multiplicity.unbounded || multiplicity.upper === undefined
-            ? null
-            : Number(multiplicity.upper),
-    };
-}
-/**
- * Read a Boolean attribute value, or undefined when the attribute declares a
- * type rather than stating a value. Undefined is meaningful: it means the
- * ontology is silent, and the caller applies the documented default.
- */
-function booleanAttributeValue(value) {
-    if (!value || value.$type !== 'BooleanValue')
-        return undefined;
-    return value.value === 'true';
-}
 /** Project one registry end (possibly absent) into its DTO. */
 function toEndDTO(end, fallbackName) {
     if (!end)
         return { name: fallbackName };
     return { name: end.name || fallbackName, type: end.type, multiplicity: end.multiplicity };
 }
-/**
- * Registry that discovers relationship types from SysML AST ConnectionDefinition nodes.
- * Replaces config.relationshipTypes lookups in the builder.
- */
+/** The relationship types a compiled project declares. */
 export class RelationshipRegistry {
     relTypes = new Map();
     /** Number of registered relationship types */
@@ -328,6 +337,15 @@ export class RelationshipRegistry {
     relTypeNames() {
         return Array.from(this.relTypes.keys());
     }
+    /**
+     * The workspace-membership table the ontology declares (relation name to direction).
+     * Covers the registry's relations and the edges the builder synthesizes from SysML keywords,
+     * so it is keyed by edge type, not by registry entry.
+     */
+    workspaceMembership() {
+        return this.membership;
+    }
+    membership = new Map();
     /** Get all entries */
     entries() {
         return Array.from(this.relTypes.values());
@@ -349,6 +367,7 @@ export class RelationshipRegistry {
             isReflexive: this.inherited(entry, 'isReflexive'),
             isUnique: this.inherited(entry, 'isUnique'),
             nativeKeyword: entry.nativeKeyword,
+            ...(entry.sysmlConstruct === 'metadata def' && entry.qualifiedName ? { typedDependency: entry.qualifiedName } : {}),
             sourceEnd: toEndDTO(entry.ends[0], 'source'),
             targetEnd: toEndDTO(entry.ends[1], 'target'),
         }));
@@ -378,20 +397,16 @@ export class RelationshipRegistry {
         this.relTypes.set(entry.name, entry);
     }
     /**
-     * Populate the registry from parsed SysML documents.
-     * Walks all ConnectionDefinition nodes in each document's AST.
+     * Populate the registry from a stage 1 handoff (`apiRelationshipEntries`):
+     * the `connection def` and `allocation def` declarations, then the
+     * language-native relations.
      */
-    populateFromDocuments(documents) {
-        for (const doc of documents) {
-            const model = doc.document.parseResult.value;
-            const layer = resolveLayerFromPath(doc.filePath);
-            for (const member of model.members) {
-                if (isPackageDeclaration(member)) {
-                    this.walkPackage(member, layer);
-                }
-            }
-        }
+    populateFromApi(api, fileOf, include, role = 'library') {
+        for (const entry of apiRelationshipEntries(api, fileOf, include, role))
+            this.relTypes.set(entry.name, entry);
         this.registerLanguageNatives();
+        for (const [relation, direction] of apiWorkspaceMembership(api))
+            this.membership.set(relation, direction);
     }
     /**
      * Record the three relations SysML v2 spells with a keyword.
@@ -428,72 +443,5 @@ export class RelationshipRegistry {
             });
         }
     }
-    /** Walk a package declaration and register all ConnectionDefinition nodes */
-    walkPackage(pkg, layer) {
-        for (const member of pkg.members) {
-            if (isPackageDeclaration(member)) {
-                this.walkPackage(member, layer);
-                continue;
-            }
-            // An `allocation def` is a relation with a different keyword, not a
-            // different thing: `Allocations::Allocation :> BinaryConnection`,
-            // it declares the same `end`s, and it produces the same links. The
-            // registry derived relations from `connection def` alone, so an
-            // allocation def would have been invisible to every tool that
-            // reads the registry — the authoring picker, the writer, the DSM,
-            // the legality check — while still being valid, checked ontology.
-            if (isConnectionDefinition(member) || isAllocationDefinition(member)) {
-                const sysmlName = member.name;
-                if (!sysmlName)
-                    continue;
-                const name = pascalToCamelCase(sysmlName);
-                const label = pascalToLabel(sysmlName);
-                // Extract end declarations
-                const ends = [];
-                const attributes = [];
-                let description;
-                let isReflexive;
-                let isUnique;
-                for (const bodyMember of member.body) {
-                    if (isEndDeclaration(bodyMember)) {
-                        ends.push({
-                            name: bodyMember.name || '',
-                            type: bodyMember.type || undefined,
-                            multiplicity: toMultiplicityDTO(bodyMember.multiplicity),
-                        });
-                    }
-                    else if (isDocComment(bodyMember) && description === undefined) {
-                        description = cleanDocComment(bodyMember.content);
-                    }
-                    else if (isAttributeMember(bodyMember)) {
-                        if (bodyMember.name)
-                            attributes.push(bodyMember.name);
-                        // Only a valued attribute states anything — a bare
-                        // `attribute isUnique : Boolean;` declares the slot.
-                        if (bodyMember.name === 'isReflexive') {
-                            isReflexive = booleanAttributeValue(bodyMember.value) ?? isReflexive;
-                        }
-                        else if (bodyMember.name === 'isUnique') {
-                            isUnique = booleanAttributeValue(bodyMember.value) ?? isUnique;
-                        }
-                    }
-                }
-                this.relTypes.set(name, {
-                    sysmlName,
-                    name,
-                    label,
-                    layer,
-                    sysmlConstruct: isAllocationDefinition(member) ? 'allocation def' : 'connection def',
-                    description,
-                    isAbstract: member.isAbstract || undefined,
-                    superType: member.specialization?.superType || undefined,
-                    isReflexive,
-                    isUnique,
-                    ends,
-                    attributes,
-                });
-            }
-        }
-    }
 }
 //# sourceMappingURL=relationship-registry.js.map

package/packages/tools/lib/model/relationship-registry.js.map

@@ -1 +1 @@
-{"version":3,"file":"relationship-registry.js","sourceRoot":"","sources":["../../src/model/relationship-registry.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,0EAA0E;AAC1E,2EAA2E;AAC3E,uEAAuE;AACvE,+DAA+D;AAC/D,EAAE;AACF,SAAS;AACT,iDAAiD;AACjD,gDAAgD;AAChD,kDAAkD;AAClD,gFAAgF;AAKhF,OAAO,EACH,sBAAsB,EACtB,iBAAiB,EACjB,sBAAsB,EACtB,YAAY,EACZ,gBAAgB,EAChB,oBAAoB,GACvB,MAAM,8BAA8B,CAAC;AAkBtC,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAqE3D;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAMjC;IACD,WAAW,EAAE;QACT,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,aAAa;QACxB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,yDAAyD;cAChE,4DAA4D;QAClE,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,wBAAwB,EAAE;YAC3D,EAAE,IAAI,EAAE,mBAAmB,EAAE;SAChC;KACJ;IACD,UAAU,EAAE;QACR,OAAO,EAAE,QAAQ;QACjB,SAAS,EAAE,YAAY;QACvB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,iDAAiD;cACxD,8DAA8D;QACpE,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,oBAAoB,EAAE;YAC9B,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,sBAAsB,EAAE;SAC7D;KACJ;IACD,WAAW,EAAE;QACT,OAAO,EAAE,UAAU;QACnB,SAAS,EAAE,aAAa;QACxB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,sDAAsD;cAC7D,uDAAuD;QAC7D,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,UAAU,EAAE;YACpB,EAAE,IAAI,EAAE,kBAAkB,EAAE;SAC/B;KACJ;IAED,kDAAkD;IAClD,EAAE;IACF,2EAA2E;IAC3E,iEAAiE;IACjE,4EAA4E;IAC5E,sEAAsE;IACtE,2EAA2E;IAC3E,yBAAyB;IACzB,QAAQ,EAAE;QACN,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,UAAU;QACrB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,6EAA6E;cACpF,gEAAgE;cAChE,6FAA6F;QACnG,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,WAAW,EAAE;YACrB,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE;SAC5C;KACJ;IACD,YAAY,EAAE;QACV,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,cAAc;QACzB,KAAK,EAAE,YAAY;QACnB,WAAW,EAAE,8CAA8C;cACrD,qEAAqE;QAC3E,+DAA+D;QAC/D,0DAA0D;QAC1D,mEAAmE;QACnE,sDAAsD;QACtD,oEAAoE;QACpE,mEAAmE;QACnE,EAAE;QACF,oEAAoE;QACpE,iEAAiE;QACjE,qEAAqE;QACrE,kEAAkE;QAClE,mEAAmE;QACnE,kBAAkB;QAClB,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,gBAAgB,EAAE;YAC1B,EAAE,IAAI,EAAE,MAAM,EAAE;SACnB;KACJ;IACD,UAAU,EAAE;QACR,OAAO,EAAE,YAAY;QACrB,SAAS,EAAE,YAAY;QACvB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,wDAAwD;cAC/D,oEAAoE;cACpE,iEAAiE;cACjE,iEAAiE;cACjE,0DAA0D;cAC1D,wDAAwD;QAC9D,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClB,EAAE,IAAI,EAAE,UAAU,EAAE;SACvB;KACJ;IACD,cAAc,EAAE;QACZ,OAAO,EAAE,OAAO;QAChB,SAAS,EAAE,gBAAgB;QAC3B,KAAK,EAAE,aAAa;QACpB,WAAW,EAAE,0DAA0D;cACjE,kEAAkE;cAClE,oDAAoD;cACpD,0DAA0D;QAChE,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,wBAAwB,EAAE;YAC9D,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE;SACvC;KACJ;IACD,YAAY,EAAE;QACV,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,cAAc;QACzB,KAAK,EAAE,SAAS;QAChB,WAAW,EAAE,wCAAwC;cAC/C,8DAA8D;QACpE,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,kBAAkB,EAAE;YAC/C,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE;SACtC;KACJ;IACD,aAAa,EAAE;QACX,OAAO,EAAE,OAAO;QAChB,SAAS,EAAE,eAAe;QAC1B,KAAK,EAAE,aAAa;QACpB,WAAW,EAAE,wDAAwD;cAC/D,8DAA8D;QACpE,IAAI,EAAE;YACF,mEAAmE;YACnE,iEAAiE;YACjE,gEAAgE;YAChE,oEAAoE;YACpE,kDAAkD;YAClD,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,UAAU,EAAE;YAC9C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE;SAC9C;KACJ;IACD,2EAA2E;IAC3E,2EAA2E;IAC3E,4EAA4E;IAC5E,4EAA4E;IAC5E,mEAAmE;IACnE,0EAA0E;IAC1E,yEAAyE;IACzE,2EAA2E;IAC3E,iEAAiE;IACjE,oEAAoE;IACpE,0EAA0E;IAC1E,uEAAuE;IACvE,2EAA2E;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,QAAQ,EAAE;QACN,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,UAAU;QACrB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,iEAAiE;cACxE,8EAA8E;cAC9E,oDAAoD;QAC1D,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClB,EAAE,IAAI,EAAE,OAAO,EAAE;SACpB;KACJ;IACD,QAAQ,EAAE;QACN,OAAO,EAAE,YAAY;QACrB,SAAS,EAAE,UAAU;QACrB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,mDAAmD;cAC1D,2EAA2E;cAC3E,gFAAgF;QACtF,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,WAAW,EAAE;YACrB,EAAE,IAAI,EAAE,UAAU,EAAE;SACvB;KACJ;CACJ,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,YAAY,CAAC;AAEhD;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC1C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,IAAY;IAC/B,OAAO,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;AACpD,CAAC;AAED,kFAAkF;AAClF,SAAS,eAAe,CAAC,OAAe;IACpC,MAAM,IAAI,GAAG,OAAO;SACf,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC;SAC7B,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;SACvB,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;SAC3B,IAAI,EAAE,CAAC;IACZ,OAAO,IAAI,IAAI,SAAS,CAAC;AAC7B,CAAC;AAED,uEAAuE;AACvE,SAAS,iBAAiB,CAAC,YAAsC;IAC7D,IAAI,CAAC,YAAY;QAAE,OAAO,SAAS,CAAC;IACpC,yCAAyC;IACzC,IAAI,YAAY,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACzC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC1C,CAAC;IACD,qDAAqD;IACrD,IAAI,YAAY,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrE,CAAC;IACD,sBAAsB;IACtB,OAAO;QACH,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC;QACjC,KAAK,EAAE,YAAY,CAAC,SAAS,IAAI,YAAY,CAAC,KAAK,KAAK,SAAS;YAC7D,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC;KACnC,CAAC;AACN,CAAC;AAED;;;;GAIG;AACH,SAAS,qBAAqB,CAAC,KAAiC;IAC5D,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,cAAc;QAAE,OAAO,SAAS,CAAC;IAC/D,OAAQ,KAAsB,CAAC,KAAK,KAAK,MAAM,CAAC;AACpD,CAAC;AAED,+DAA+D;AAC/D,SAAS,QAAQ,CAAC,GAAgC,EAAE,YAAoB;IACpE,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IACxC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,YAAY,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,CAAC,YAAY,EAAE,CAAC;AAC9F,CAAC;AAED;;;GAGG;AACH,MAAM,OAAO,oBAAoB;IACZ,QAAQ,GAAG,IAAI,GAAG,EAAqC,CAAC;IAEzE,8CAA8C;IAC9C,IAAI,IAAI;QACJ,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC9B,CAAC;IAED;;;OAGG;IACH,UAAU,CAAC,IAAY;QACnB,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED;;;;OAIG;IACH,kBAAkB,CAAC,IAAY;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,OAAO;YACH,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,KAAK,EAAE,EAAE;SACZ,CAAC;IACN,CAAC;IAED;;;OAGG;IACH,wBAAwB;QACpB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACpD,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,KAAK,EAAE,EAAE;SACZ,CAAC,CAAC,CAAC;IACR,CAAC;IAED,iDAAiD;IACjD,GAAG,CAAC,IAAY;QACZ,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,kDAAkD;IAClD,YAAY;QACR,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,sBAAsB;IACtB,OAAO;QACH,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9C,CAAC;IAED;;;;;OAKG;IACH,gBAAgB;QACZ,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACpD,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC;YACjD,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,CAAC;YAC3C,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;YAC5C,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;SAC/C,CAAC,CAAC,CAAC;IACR,CAAC;IAED;;;;OAIG;IACK,SAAS,CACb,KAAgC,EAChC,QAAoC;QAEpC,IAAI,OAAO,GAA0C,KAAK,CAAC;QAC3D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7C,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC9D,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC5B,MAAM,SAAS,GAAuB,OAAO,CAAC,SAAS,CAAC;YACxD,iEAAiE;YACjE,OAAO,GAAG,SAAS;gBACf,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;gBACjD,CAAC,CAAC,SAAS,CAAC;QACpB,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,6EAA6E;IAC7E,QAAQ,CAAC,KAAgC;QACrC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACzC,CAAC;IAED;;;OAGG;IACH,qBAAqB,CAAC,SAA2B;QAC7C,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC;YAC7C,MAAM,KAAK,GAAG,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAEjD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACjC,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC/B,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBACpC,CAAC;YACL,CAAC;QACL,CAAC;QACD,IAAI,CAAC,uBAAuB,EAAE,CAAC;IACnC,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACK,uBAAuB;QAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,yBAAyB,CAAC,EAAE,CAAC;YACrE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,QAAQ,EAAE,CAAC;gBACX,QAAQ,CAAC,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC;gBACxC,SAAS;YACb,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE;gBACpB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,IAAI;gBACJ,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC;gBACtC,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,aAAa,EAAE,MAAM,CAAC,OAAO;gBAC7B,IAAI,EAAE,MAAM,CAAC,IAAI;aACpB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,6EAA6E;IACrE,WAAW,CAAC,GAAuB,EAAE,KAAa;QACtD,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YAC/B,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC/B,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAChC,SAAS;YACb,CAAC;YAED,oEAAoE;YACpE,kEAAkE;YAClE,mEAAmE;YACnE,gEAAgE;YAChE,8DAA8D;YAC9D,kEAAkE;YAClE,kEAAkE;YAClE,IAAI,sBAAsB,CAAC,MAAM,CAAC,IAAI,sBAAsB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnE,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC;gBAC9B,IAAI,CAAC,SAAS;oBAAE,SAAS;gBAEzB,MAAM,IAAI,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;gBAC1C,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;gBAEvC,2BAA2B;gBAC3B,MAAM,IAAI,GAAsB,EAAE,CAAC;gBACnC,MAAM,UAAU,GAAa,EAAE,CAAC;gBAChC,IAAI,WAA+B,CAAC;gBACpC,IAAI,WAAgC,CAAC;gBACrC,IAAI,QAA6B,CAAC;gBAClC,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;oBACnC,IAAI,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC;wBAC/B,IAAI,CAAC,IAAI,CAAC;4BACN,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,EAAE;4BAC3B,IAAI,EAAE,UAAU,CAAC,IAAI,IAAI,SAAS;4BAClC,YAAY,EAAE,iBAAiB,CAAC,UAAU,CAAC,YAAY,CAAC;yBAC3D,CAAC,CAAC;oBACP,CAAC;yBAAM,IAAI,YAAY,CAAC,UAAU,CAAC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;wBAC/D,WAAW,GAAG,eAAe,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;oBACtD,CAAC;yBAAM,IAAI,iBAAiB,CAAC,UAAU,CAAC,EAAE,CAAC;wBACvC,IAAI,UAAU,CAAC,IAAI;4BAAE,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;wBACtD,mDAAmD;wBACnD,qDAAqD;wBACrD,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;4BACpC,WAAW,GAAG,qBAAqB,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC;wBACzE,CAAC;6BAAM,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;4BACxC,QAAQ,GAAG,qBAAqB,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC;wBACnE,CAAC;oBACL,CAAC;gBACL,CAAC;gBAED,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE;oBACpB,SAAS;oBACT,IAAI;oBACJ,KAAK;oBACL,KAAK;oBACL,cAAc,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,gBAAgB;oBACpF,WAAW;oBACX,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,SAAS;oBAC1C,SAAS,EAAE,MAAM,CAAC,cAAc,EAAE,SAAS,IAAI,SAAS;oBACxD,WAAW;oBACX,QAAQ;oBACR,IAAI;oBACJ,UAAU;iBACb,CAAC,CAAC;YACP,CAAC;QACL,CAAC;IACL,CAAC;CACJ"}
+{"version":3,"file":"relationship-registry.js","sourceRoot":"","sources":["../../src/model/relationship-registry.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,8EAA8E;AAC9E,yCAAyC;AACzC,EAAE;AACF,SAAS;AACT,iDAAiD;AACjD,2CAA2C;AAC3C,kDAAkD;AAClD,gFAAgF;AAmBhF,OAAO,EAAE,sBAAsB,EAAE,sBAAsB,EAA4B,MAAM,kCAAkC,CAAC;AAuE5H;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAMjC;IACD,WAAW,EAAE;QACT,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,aAAa;QACxB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,yDAAyD;cAChE,4DAA4D;QAClE,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,wBAAwB,EAAE;YAC3D,EAAE,IAAI,EAAE,mBAAmB,EAAE;SAChC;KACJ;IACD,UAAU,EAAE;QACR,OAAO,EAAE,QAAQ;QACjB,SAAS,EAAE,YAAY;QACvB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,iDAAiD;cACxD,8DAA8D;QACpE,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,oBAAoB,EAAE;YAC9B,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,sBAAsB,EAAE;SAC7D;KACJ;IACD,WAAW,EAAE;QACT,OAAO,EAAE,UAAU;QACnB,SAAS,EAAE,aAAa;QACxB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,sDAAsD;cAC7D,uDAAuD;QAC7D,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,UAAU,EAAE;YACpB,EAAE,IAAI,EAAE,kBAAkB,EAAE;SAC/B;KACJ;IAED,kDAAkD;IAClD,EAAE;IACF,2EAA2E;IAC3E,iEAAiE;IACjE,4EAA4E;IAC5E,sEAAsE;IACtE,2EAA2E;IAC3E,yBAAyB;IACzB,QAAQ,EAAE;QACN,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,UAAU;QACrB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,6EAA6E;cACpF,gEAAgE;cAChE,6FAA6F;QACnG,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,WAAW,EAAE;YACrB,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE;SAC5C;KACJ;IACD,YAAY,EAAE;QACV,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,cAAc;QACzB,KAAK,EAAE,YAAY;QACnB,WAAW,EAAE,8CAA8C;cACrD,qEAAqE;QAC3E,+DAA+D;QAC/D,0DAA0D;QAC1D,mEAAmE;QACnE,gEAAgE;QAChE,uEAAuE;QACvE,wEAAwE;QACxE,8CAA8C;QAC9C,EAAE;QACF,oEAAoE;QACpE,qEAAqE;QACrE,8GAA8G;QAC9G,mEAAmE;QACnE,kBAAkB;QAClB,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,gBAAgB,EAAE;YAC1B,EAAE,IAAI,EAAE,MAAM,EAAE;SACnB;KACJ;IACD,UAAU,EAAE;QACR,OAAO,EAAE,YAAY;QACrB,SAAS,EAAE,YAAY;QACvB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,wDAAwD;cAC/D,oEAAoE;cACpE,iEAAiE;cACjE,iEAAiE;cACjE,0DAA0D;cAC1D,wDAAwD;QAC9D,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClB,EAAE,IAAI,EAAE,UAAU,EAAE;SACvB;KACJ;IACD,cAAc,EAAE;QACZ,OAAO,EAAE,OAAO;QAChB,SAAS,EAAE,gBAAgB;QAC3B,KAAK,EAAE,aAAa;QACpB,WAAW,EAAE,0DAA0D;cACjE,kEAAkE;cAClE,oDAAoD;cACpD,0DAA0D;QAChE,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,wBAAwB,EAAE;YAC9D,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE;SACvC;KACJ;IACD,YAAY,EAAE;QACV,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,cAAc;QACzB,KAAK,EAAE,SAAS;QAChB,WAAW,EAAE,wCAAwC;cAC/C,8DAA8D;QACpE,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,kBAAkB,EAAE;YAC/C,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE;SACtC;KACJ;IACD,aAAa,EAAE;QACX,OAAO,EAAE,OAAO;QAChB,SAAS,EAAE,eAAe;QAC1B,KAAK,EAAE,aAAa;QACpB,WAAW,EAAE,wDAAwD;cAC/D,8DAA8D;QACpE,IAAI,EAAE;YACF,mEAAmE;YACnE,iEAAiE;YACjE,gEAAgE;YAChE,oEAAoE;YACpE,kDAAkD;YAClD,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,UAAU,EAAE;YAC9C,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE;SAC9C;KACJ;IACD,+BAA+B;IAC/B,EAAE;IACF,qEAAqE;IACrE,wEAAwE;IACxE,2EAA2E;IAC3E,4EAA4E;IAC5E,UAAU,EAAE;QACR,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,YAAY;QACvB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,oFAAoF;cAC3F,sFAAsF;cACtF,wFAAwF;cACxF,wEAAwE;QAC9E,8DAA8D;QAC9D,uDAAuD;QACvD,iEAAiE;QACjE,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,cAAc,EAAE;YACxB,EAAE,IAAI,EAAE,SAAS,EAAE;SACtB;KACJ;IACD,OAAO,EAAE;QACL,OAAO,EAAE,QAAQ;QACjB,SAAS,EAAE,SAAS;QACpB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,kEAAkE;cACzE,qEAAqE;QAC3E,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,wBAAwB,EAAE;YACpD,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,wBAAwB,EAAE;SACzD;KACJ;IACD,QAAQ,EAAE;QACN,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,UAAU;QACrB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,4DAA4D;cACnE,sEAAsE;QAC5E,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,wBAAwB,EAAE;YACpD,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,wBAAwB,EAAE;SACxD;KACJ;IACD,2EAA2E;IAC3E,2EAA2E;IAC3E,4EAA4E;IAC5E,4EAA4E;IAC5E,mEAAmE;IACnE,0EAA0E;IAC1E,yEAAyE;IACzE,2EAA2E;IAC3E,iEAAiE;IACjE,oEAAoE;IACpE,0EAA0E;IAC1E,uEAAuE;IACvE,2EAA2E;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,QAAQ,EAAE;QACN,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,UAAU;QACrB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,iEAAiE;cACxE,8EAA8E;cAC9E,oDAAoD;QAC1D,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClB,EAAE,IAAI,EAAE,OAAO,EAAE;SACpB;KACJ;IACD,QAAQ,EAAE;QACN,OAAO,EAAE,YAAY;QACrB,SAAS,EAAE,UAAU;QACrB,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,mDAAmD;cAC1D,2EAA2E;cAC3E,gFAAgF;QACtF,IAAI,EAAE;YACF,EAAE,IAAI,EAAE,WAAW,EAAE;YACrB,EAAE,IAAI,EAAE,UAAU,EAAE;SACvB;KACJ;CACJ,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,YAAY,CAAC;AAEhD;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC1C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACtC,OAAO,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;AACpD,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,eAAe,CAAC,OAAe;IAC3C,MAAM,IAAI,GAAG,OAAO;SACf,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC;SAC7B,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;SACvB,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;SAC3B,IAAI,EAAE,CAAC;IACZ,OAAO,IAAI,IAAI,SAAS,CAAC;AAC7B,CAAC;AAED,+DAA+D;AAC/D,SAAS,QAAQ,CAAC,GAAgC,EAAE,YAAoB;IACpE,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IACxC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,YAAY,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,CAAC,YAAY,EAAE,CAAC;AAC9F,CAAC;AAED,0DAA0D;AAC1D,MAAM,OAAO,oBAAoB;IACZ,QAAQ,GAAG,IAAI,GAAG,EAAqC,CAAC;IAEzE,8CAA8C;IAC9C,IAAI,IAAI;QACJ,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC9B,CAAC;IAED;;;OAGG;IACH,UAAU,CAAC,IAAY;QACnB,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED;;;;OAIG;IACH,kBAAkB,CAAC,IAAY;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7B,OAAO;YACH,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,KAAK,EAAE,EAAE;SACZ,CAAC;IACN,CAAC;IAED;;;OAGG;IACH,wBAAwB;QACpB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACpD,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,KAAK,EAAE,EAAE;SACZ,CAAC,CAAC,CAAC;IACR,CAAC;IAED,iDAAiD;IACjD,GAAG,CAAC,IAAY;QACZ,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,kDAAkD;IAClD,YAAY;QACR,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED;;;;OAIG;IACH,mBAAmB;QACf,OAAO,IAAI,CAAC,UAAU,CAAC;IAC3B,CAAC;IAEO,UAAU,GAAG,IAAI,GAAG,EAA+B,CAAC;IAE5D,sBAAsB;IACtB,OAAO;QACH,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9C,CAAC;IAED;;;;;OAKG;IACH,gBAAgB;QACZ,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACpD,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC;YACjD,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,CAAC;YAC3C,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,GAAG,CAAC,KAAK,CAAC,cAAc,KAAK,cAAc,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnH,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;YAC5C,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;SAC/C,CAAC,CAAC,CAAC;IACR,CAAC;IAED;;;;OAIG;IACK,SAAS,CACb,KAAgC,EAChC,QAAoC;QAEpC,IAAI,OAAO,GAA0C,KAAK,CAAC;QAC3D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7C,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC9D,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC5B,MAAM,SAAS,GAAuB,OAAO,CAAC,SAAS,CAAC;YACxD,iEAAiE;YACjE,OAAO,GAAG,SAAS;gBACf,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;gBACjD,CAAC,CAAC,SAAS,CAAC;QACpB,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,6EAA6E;IAC7E,QAAQ,CAAC,KAAgC;QACrC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACzC,CAAC;IAED;;;;OAIG;IACH,eAAe,CACX,GAAa,EACb,MAAuC,EACvC,OAA4C,EAC5C,OAA8B,SAAS;QAEvC,KAAK,MAAM,KAAK,IAAI,sBAAsB,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7G,IAAI,CAAC,uBAAuB,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,sBAAsB,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC9G,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACK,uBAAuB;QAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,yBAAyB,CAAC,EAAE,CAAC;YACrE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,QAAQ,EAAE,CAAC;gBACX,QAAQ,CAAC,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC;gBACxC,SAAS;YACb,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE;gBACpB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,IAAI;gBACJ,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC;gBACtC,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,aAAa,EAAE,MAAM,CAAC,OAAO;gBAC7B,IAAI,EAAE,MAAM,CAAC,IAAI;aACpB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;CACJ"}

package/packages/tools/lib/model/relationship-subjects.d.ts

@@ -0,0 +1,28 @@
+import type { KindRegistry } from './kind-registry.js';
+import type { MemoElement, MemoModel } from './semantic.js';
+/**
+ * Read-only `MemoElement` views of every named relationship that declares a
+ * domain kind.
+ *
+ * Anonymous edges are excluded: their id is a positional `rel-N` that
+ * addresses nothing and shifts on the next edit, so a violation reported
+ * against one would name a subject no reader could find. Untyped edges are
+ * excluded because they declare no kind, and a kind is what a rule selects on.
+ */
+export declare function relationshipSubjects(model: MemoModel, registry?: KindRegistry): MemoElement[];
+/**
+ * The model a rule is evaluated against, with projected subjects merged into
+ * `elementsByKind` only.
+ *
+ * `elements` is deliberately left alone. It is the parts index — what
+ * `memo compile --inspect` resolves, what the census counts, what an export serializes —
+ * and an edge does not belong in it. `elementsByKind` is the SUBJECT SELECTOR,
+ * which is a different question: "what does this rule run on?".
+ *
+ * A projected subject never displaces an element. If an id collides — which it
+ * cannot today, since the relationship index rejects a flow competing with an
+ * element for one qualified name — the element wins and the projection is
+ * dropped, because the authored declaration is the one with a body to read.
+ */
+export declare function withRelationshipSubjects(model: MemoModel, registry?: KindRegistry): MemoModel;
+//# sourceMappingURL=relationship-subjects.d.ts.map

package/packages/tools/lib/model/relationship-subjects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"relationship-subjects.d.ts","sourceRoot":"","sources":["../../src/model/relationship-subjects.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD,OAAO,KAAK,EAAiB,WAAW,EAAE,SAAS,EAAoB,MAAM,eAAe,CAAC;AAoC7F;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAChC,KAAK,EAAE,SAAS,EAChB,QAAQ,CAAC,EAAE,YAAY,GACxB,WAAW,EAAE,CAgCf;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,wBAAwB,CACpC,KAAK,EAAE,SAAS,EAChB,QAAQ,CAAC,EAAE,YAAY,GACxB,SAAS,CAWX"}

package/packages/tools/lib/model/relationship-subjects.js

@@ -0,0 +1,126 @@
+// ─── Rule subjects projected from named, typed relationships ─────────────────
+//
+// A named `flow` or `interface` usage that declares a domain type —
+// `flow lfDose : FunctionalExchange from … to …` — is a first-class modelled
+// thing: it carries a qualified identity, attributes of its own, and a kind an
+// ontology declared. It is still an EDGE, so it is not in the elements map and
+// nothing counting parts counts it as one.
+//
+// That left a gap. Rule subjects come from `elementsByKind`, so a rule written
+// `appliesTo = "FunctionalExchange"` against a flow-def kind selected nothing
+// at all — an empty subject set, reported as a clean pass. The architecture
+// plan's §9.1 asks for "a single canonical identity for a named flow/interface
+// that can also serve as a relationship target", implemented by "a unified
+// entity index or a READ-ONLY FACADE over existing element/relationship
+// indexes", and requires that it "must not require a second authored proxy
+// part or independently mutable graph records".
+//
+// This module is that facade. It derives a `MemoElement` VIEW of each such
+// relationship, on demand, from the relationship object itself. Nothing is
+// stored, nothing is added to the canonical model, and the projection is
+// recomputed from the edge every time — so the edge stays the one record and
+// there is no second graph to keep in step. The canonical model that the
+// census counts, the baselines freeze and the exports serialize is untouched.
+import { MEMO_CONSTRUCTS, usageKeyword } from './semantic.js';
+/**
+ * The construct a projected subject reports.
+ *
+ * Asked of the ontology first — a `flow def` projects `'flow'`, an
+ * `interface def` projects `'interface'` — because the DEFINITION is what says
+ * what the usage is, and the registry is where that is recorded. Without a
+ * registry, or for a kind no ontology declares, the native keyword is the next
+ * best answer: `flow`, `interface` and `connection` are all constructs in
+ * their own right, so a `type` naming one is already the truth.
+ *
+ * `'part'` is never inferred here. A relationship that cannot be classified
+ * projects nothing at all (see {@link relationshipSubjects}) rather than
+ * arriving in the elements vocabulary as a structural thing, which is the
+ * exact category mistake the native-exchange work exists to undo.
+ */
+function subjectConstruct(relationship, registry) {
+    const declared = relationship.kind
+        ? registry?.getKind(relationship.kind)?.sysmlConstruct
+        : undefined;
+    if (declared)
+        return usageKeyword(declared);
+    return MEMO_CONSTRUCTS.includes(relationship.type)
+        ? relationship.type
+        : undefined;
+}
+/** A subject's display name, by the precedence an element's has. */
+function subjectName(relationship) {
+    const attributes = relationship.attributes ?? {};
+    return attributes['label'] || attributes['name'] || attributes['title'] || relationship.shortName || relationship.id;
+}
+/**
+ * Read-only `MemoElement` views of every named relationship that declares a
+ * domain kind.
+ *
+ * Anonymous edges are excluded: their id is a positional `rel-N` that
+ * addresses nothing and shifts on the next edit, so a violation reported
+ * against one would name a subject no reader could find. Untyped edges are
+ * excluded because they declare no kind, and a kind is what a rule selects on.
+ */
+export function relationshipSubjects(model, registry) {
+    const subjects = [];
+    for (const relationship of model.relationships) {
+        if (!relationship.named || !relationship.kind)
+            continue;
+        const construct = subjectConstruct(relationship, registry);
+        if (!construct)
+            continue;
+        subjects.push({
+            id: relationship.id,
+            ...(relationship.shortName ? { shortName: relationship.shortName } : {}),
+            // Named as an element is: its `@MemoIdentity` label first, so a
+            // finding reads the same whether its subject is a part or an edge.
+            name: subjectName(relationship),
+            kind: relationship.kind,
+            construct,
+            layer: registry?.getKind(relationship.kind)?.layer ?? 'unknown',
+            file: relationship.file,
+            // The ends, under the names `linksOf` already gives them, so a
+            // rule can ask what an edge connects the same way it asks what a
+            // link connects: `allOfKind('MemoPort')->exists(id ==
+            // subject.attributes.sourceId)`. Read off the edge each time, like
+            // everything else here, so there is still one record. The ends
+            // are written last: a body attribute that happened to be called
+            // `sourceId` must not be able to move what the edge connects.
+            attributes: {
+                ...(relationship.attributes ?? {}),
+                sourceId: relationship.sourceId,
+                targetId: relationship.targetId,
+            },
+            ...(relationship.provenance ? { provenance: relationship.provenance } : {}),
+        });
+    }
+    return subjects;
+}
+/**
+ * The model a rule is evaluated against, with projected subjects merged into
+ * `elementsByKind` only.
+ *
+ * `elements` is deliberately left alone. It is the parts index — what
+ * `memo compile --inspect` resolves, what the census counts, what an export serializes —
+ * and an edge does not belong in it. `elementsByKind` is the SUBJECT SELECTOR,
+ * which is a different question: "what does this rule run on?".
+ *
+ * A projected subject never displaces an element. If an id collides — which it
+ * cannot today, since the relationship index rejects a flow competing with an
+ * element for one qualified name — the element wins and the projection is
+ * dropped, because the authored declaration is the one with a body to read.
+ */
+export function withRelationshipSubjects(model, registry) {
+    const projected = relationshipSubjects(model, registry);
+    if (projected.length === 0)
+        return model;
+    const elementsByKind = new Map(model.elementsByKind);
+    for (const subject of projected) {
+        if (model.elements.get(subject.id))
+            continue;
+        const extent = elementsByKind.get(subject.kind);
+        elementsByKind.set(subject.kind, extent ? [...extent, subject] : [subject]);
+    }
+    return { ...model, elementsByKind };
+}
+//# sourceMappingURL=relationship-subjects.js.map

package/packages/tools/lib/model/relationship-subjects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"relationship-subjects.js","sourceRoot":"","sources":["../../src/model/relationship-subjects.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,oEAAoE;AACpE,6EAA6E;AAC7E,+EAA+E;AAC/E,+EAA+E;AAC/E,2CAA2C;AAC3C,EAAE;AACF,+EAA+E;AAC/E,8EAA8E;AAC9E,4EAA4E;AAC5E,+EAA+E;AAC/E,2EAA2E;AAC3E,wEAAwE;AACxE,2EAA2E;AAC3E,gDAAgD;AAChD,EAAE;AACF,2EAA2E;AAC3E,2EAA2E;AAC3E,yEAAyE;AACzE,6EAA6E;AAC7E,yEAAyE;AACzE,8EAA8E;AAG9E,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAG9D;;;;;;;;;;;;;;GAcG;AACH,SAAS,gBAAgB,CACrB,YAA8B,EAC9B,QAAkC;IAElC,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI;QAC9B,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,cAAc;QACtD,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,QAAQ;QAAE,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC;IAC5C,OAAQ,eAAqC,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC;QACrE,CAAC,CAAC,YAAY,CAAC,IAAqB;QACpC,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AAED,oEAAoE;AACpE,SAAS,WAAW,CAAC,YAA8B;IAC/C,MAAM,UAAU,GAAG,YAAY,CAAC,UAAU,IAAI,EAAE,CAAC;IACjD,OAAO,UAAU,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC,IAAI,YAAY,CAAC,SAAS,IAAI,YAAY,CAAC,EAAE,CAAC;AACzH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAChC,KAAgB,EAChB,QAAuB;IAEvB,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QAC7C,IAAI,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,YAAY,CAAC,IAAI;YAAE,SAAS;QACxD,MAAM,SAAS,GAAG,gBAAgB,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QAC3D,IAAI,CAAC,SAAS;YAAE,SAAS;QACzB,QAAQ,CAAC,IAAI,CAAC;YACV,EAAE,EAAE,YAAY,CAAC,EAAE;YACnB,GAAG,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,YAAY,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxE,gEAAgE;YAChE,mEAAmE;YACnE,IAAI,EAAE,WAAW,CAAC,YAAY,CAAC;YAC/B,IAAI,EAAE,YAAY,CAAC,IAAI;YACvB,SAAS;YACT,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,SAAS;YAC/D,IAAI,EAAE,YAAY,CAAC,IAAI;YACvB,+DAA+D;YAC/D,iEAAiE;YACjE,sDAAsD;YACtD,mEAAmE;YACnE,+DAA+D;YAC/D,gEAAgE;YAChE,8DAA8D;YAC9D,UAAU,EAAE;gBACR,GAAG,CAAC,YAAY,CAAC,UAAU,IAAI,EAAE,CAAC;gBAClC,QAAQ,EAAE,YAAY,CAAC,QAAQ;gBAC/B,QAAQ,EAAE,YAAY,CAAC,QAAQ;aAClC;YACD,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9E,CAAC,CAAC;IACP,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,wBAAwB,CACpC,KAAgB,EAChB,QAAuB;IAEvB,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACxD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAEzC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrD,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;QAC9B,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAAE,SAAS;QAC7C,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAChD,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,EAAE,GAAG,KAAK,EAAE,cAAc,EAAE,CAAC;AACxC,CAAC"}

package/packages/tools/lib/model/release-target.d.ts

@@ -0,0 +1,12 @@
+/** Whether a project-relative path is inside a system folder. */
+export declare function isInSystemFolder(file: string): boolean;
+/**
+ * The file a new record is appended to: the one that already holds the most records outside
+ * `systems/`; failing that, `sos/releases.sysml` beside the systems folder of the item's file, or the
+ * item's own folder when it is not under one.
+ */
+export declare function defaultReleaseFile(input: {
+    recordFiles: readonly string[];
+    itemFile?: string;
+}): string;
+//# sourceMappingURL=release-target.d.ts.map

package/packages/tools/lib/model/release-target.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"release-target.d.ts","sourceRoot":"","sources":["../../src/model/release-target.ts"],"names":[],"mappings":"AAUA,iEAAiE;AACjE,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAEtD;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE;IAAE,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAWvG"}

package/packages/tools/lib/model/release-target.js

@@ -0,0 +1,35 @@
+// ─── Where a release record is written ───────────────────────────────────────
+//
+// A record cannot hold the hash of the commit that adds it, so it is always written after the commit it
+// pins. A system folder is checked out at that commit when the SoS version is assembled (plan section 9,
+// decision 1), where the record does not exist yet: a record never goes under `<include>/systems/`.
+// Pure and browser-safe, so the page names the same file the server writes.
+// ─────────────────────────────────────────────────────────────────────────────
+const SYSTEM_FOLDER = /(^|\/)systems\/[^/]+\//;
+/** Whether a project-relative path is inside a system folder. */
+export function isInSystemFolder(file) {
+    return SYSTEM_FOLDER.test(file.replaceAll('\\', '/'));
+}
+/**
+ * The file a new record is appended to: the one that already holds the most records outside
+ * `systems/`; failing that, `sos/releases.sysml` beside the systems folder of the item's file, or the
+ * item's own folder when it is not under one.
+ */
+export function defaultReleaseFile(input) {
+    const counts = new Map();
+    for (const file of input.recordFiles)
+        if (!isInSystemFolder(file))
+            counts.set(file, (counts.get(file) ?? 0) + 1);
+    const best = [...counts].sort((a, b) => b[1] - a[1] || a[0].localeCompare(b[0]))[0];
+    if (best)
+        return best[0];
+    const item = input.itemFile?.replaceAll('\\', '/');
+    if (!item)
+        return 'model/sos/releases.sysml';
+    const match = /^(.*?\/?)systems\/[^/]+\//.exec(item);
+    if (match)
+        return `${match[1]}sos/releases.sysml`;
+    const slash = item.lastIndexOf('/');
+    return `${slash < 0 ? '' : item.slice(0, slash + 1)}releases.sysml`;
+}
+//# sourceMappingURL=release-target.js.map

package/packages/tools/lib/model/release-target.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"release-target.js","sourceRoot":"","sources":["../../src/model/release-target.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,wGAAwG;AACxG,yGAAyG;AACzG,oGAAoG;AACpG,4EAA4E;AAC5E,gFAAgF;AAEhF,MAAM,aAAa,GAAG,wBAAwB,CAAC;AAE/C,iEAAiE;AACjE,MAAM,UAAU,gBAAgB,CAAC,IAAY;IACzC,OAAO,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAA4D;IAC3F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,WAAW;QAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjH,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnD,IAAI,CAAC,IAAI;QAAE,OAAO,0BAA0B,CAAC;IAC7C,MAAM,KAAK,GAAG,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,IAAI,KAAK;QAAE,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACpC,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,gBAAgB,CAAC;AACxE,CAAC"}