@memoarchitect/tools 0.13.2 → 0.15.1

package/packages/tools/lib/stage2/package-metadata-from-api.js

@@ -0,0 +1,238 @@
+// ─── Ontology package metadata from a stage 1 handoff ───────────────────────
+//
+// What the ontology browser and the Model Explorer show of each library package:
+// its layers, its kinds, its relationship types, and the explorer taxonomy and
+// layer colours it declares. The definitions are read from the API JSON a stage 1
+// compiler wrote (every library root a locator offers is compiled into it), so
+// MEMO scans no source file and parses nothing.
+// ─────────────────────────────────────────────────────────────────────────────
+import { basename, join, resolve, sep } from 'node:path';
+import { readPackageManifest } from '../model/package-manifest.js';
+import { discoverLibraryRoots } from '../model/native-project.js';
+import { LAYER_COLORS } from '../model/ontology-loader.js';
+import { apiDefinitionFacts } from './build-from-api.js';
+import { apiRelationshipEntries } from './registries-from-api.js';
+import { handoffFileOf } from './handoff-files.js';
+/**
+ * The definition metaclasses the catalogue lists, and the `<construct> def` each is
+ * reported as. Rules (constraint definitions) are not catalogue kinds, and a
+ * flow or allocation definition never was.
+ */
+const CATALOG_CONSTRUCTS = {
+    PartDefinition: 'part def',
+    RequirementDefinition: 'requirement def',
+    VerificationCaseDefinition: 'verification def',
+    StateDefinition: 'state def',
+    UseCaseDefinition: 'use case def',
+    ActionDefinition: 'action def',
+    AttributeDefinition: 'attribute def',
+    ItemDefinition: 'item def',
+    PortDefinition: 'port def',
+    InterfaceDefinition: 'interface def',
+    EnumerationDefinition: 'enum def',
+    ConnectionDefinition: 'connection def',
+    MetadataDefinition: 'metadata def',
+};
+const within = (file, dir) => file === dir || file.startsWith(dir.endsWith(sep) ? dir : dir + sep);
+/**
+ * Describe every package a project could resolve, marking the ones it does.
+ *
+ * "Available" comes from locators; "selected" comes from the import closure
+ * (`selectedRootDirs`) and nothing else.
+ */
+export function apiPackageMetadata(api, projectRoot, selectedRootDirs, filePackages) {
+    const fileOf = handoffFileOf(api, filePackages);
+    const roots = discoverLibraryRoots(resolve(projectRoot));
+    const definitions = declaredDefinitions(api, fileOf, 'library');
+    const usages = [...api.ofType('PartUsage')].filter(u => api.source(u['@id'])?.role === 'library');
+    const result = [];
+    for (const root of roots) {
+        const { path, manifest } = readPackageManifest(root.dir);
+        if (!path)
+            continue;
+        const sysmlDir = manifest.sysmlDir ? resolve(root.dir, manifest.sysmlDir) : join(root.dir, 'sysml');
+        const mine = definitions.filter(d => within(d.file, sysmlDir));
+        const rootUsages = usages.filter(u => within(fileOf(u), sysmlDir));
+        const rendering = readRendering(api, rootUsages);
+        const layers = applyExplorerClassification(buildLayers(mine, sysmlDir), rendering);
+        const relationshipTypes = relationshipsOf(api, fileOf, sysmlDir);
+        result.push({
+            name: manifest.name ?? basename(root.dir),
+            version: manifest.version ?? '0.0.0',
+            type: rootUsages.some(u => typeNameOf(api, u) === 'MethodologyDefinition') ? 'methodology' : 'ontology',
+            description: manifest.description ?? '',
+            layers,
+            kindCount: layers.reduce((sum, layer) => sum + layer.kindCount, 0),
+            relationshipCount: relationshipTypes.length,
+            relationshipTypes,
+            selected: selectedRootDirs?.has(root.dir) ?? false,
+            rootDir: root.dir,
+            explorerPlacements: [...rendering.placements.values()],
+            layerPalette: [...rendering.palette.values()],
+        });
+    }
+    result.sort((a, b) => {
+        if (a.selected !== b.selected)
+            return a.selected ? -1 : 1;
+        return a.name.localeCompare(b.name);
+    });
+    return result;
+}
+/** The definitions a handoff declares, of the catalogue's metaclasses, in the documents of one role. */
+function declaredDefinitions(api, fileOf, role) {
+    const definitions = [];
+    for (const [metaclass, construct] of Object.entries(CATALOG_CONSTRUCTS)) {
+        for (const element of api.ofType(metaclass)) {
+            if (api.source(element['@id'])?.role !== role)
+                continue;
+            const name = api.declaredName(element['@id']);
+            if (!name)
+                continue;
+            const superType = api.superclassifiers(element['@id'])[0];
+            definitions.push({
+                name,
+                construct,
+                derivesFrom: superType ? api.name(superType['@id']) : undefined,
+                description: apiDefinitionFacts(api, element).doc?.replace(/\s+/g, ' ').trim() || undefined,
+                isAbstract: element.isAbstract === true && element.isVariation !== true ? true : undefined,
+                file: fileOf(element),
+            });
+        }
+    }
+    return definitions;
+}
+/**
+ * The layers of the definitions under one source directory: the first directory
+ * under it is the layer id, whether the layout is flat or nested.
+ */
+export function apiLayers(api, sysmlDir, role = 'library', filePackages) {
+    const fileOf = handoffFileOf(api, filePackages);
+    return buildLayers(declaredDefinitions(api, fileOf, role).filter(d => within(d.file, sysmlDir)), sysmlDir);
+}
+const typeNameOf = (api, usage) => {
+    const type = api.types(usage['@id'])[0];
+    return type ? api.name(type['@id']) : undefined;
+};
+/**
+ * The layers of one package: the first directory under its source directory is
+ * the layer id, and the next one the namespace sub-group (`architecture/<risk>/`,
+ * `compliance/<iso14971>/`).
+ */
+function buildLayers(definitions, sysmlDir) {
+    const byLayer = new Map();
+    const derivedBy = new Map();
+    for (const definition of definitions) {
+        const segments = definition.file.slice(sysmlDir.length).split(sep).filter(Boolean);
+        // A file directly under the source directory belongs to no layer directory.
+        if (segments.length < 2)
+            continue;
+        const layerId = segments[0];
+        const group = segments.length > 2 ? segments[1] : undefined;
+        // A compliance sub-group that names a regulatory standard also surfaces as `standard`.
+        const standard = layerId === 'compliance' && group && /^(iso|iec|fda|en|astm|ul|nist|cfr|mdr)/i.test(group)
+            ? group : undefined;
+        const kinds = byLayer.get(layerId) ?? [];
+        kinds.push({
+            name: definition.name,
+            label: definition.name.replace(/([A-Z])/g, ' $1').trim(),
+            construct: definition.construct,
+            layer: layerId,
+            instanceCount: 0,
+            viewpoints: [],
+            description: definition.description,
+            derivesFrom: definition.derivesFrom,
+            group,
+            standard,
+            isAbstract: definition.isAbstract,
+        });
+        byLayer.set(layerId, kinds);
+        if (definition.derivesFrom) {
+            derivedBy.set(definition.derivesFrom, [...(derivedBy.get(definition.derivesFrom) ?? []), definition.name]);
+        }
+    }
+    const layers = [];
+    for (const [id, kinds] of [...byLayer].sort((a, b) => a[0].localeCompare(b[0]))) {
+        for (const kind of kinds)
+            kind.derivedBy = derivedBy.get(kind.name);
+        layers.push({
+            id,
+            label: id.charAt(0).toUpperCase() + id.slice(1).replace(/-/g, ' '),
+            color: LAYER_COLORS[id] ?? '#6B7280',
+            kindCount: kinds.length,
+            kinds,
+        });
+    }
+    return layers;
+}
+/** The `connection def`s of one package, with their first two typed ends. */
+function relationshipsOf(api, fileOf, sysmlDir) {
+    return apiRelationshipEntries(api, fileOf, namespace => within(fileOf(namespace), sysmlDir))
+        .filter(entry => entry.sysmlConstruct === 'connection def')
+        .map(entry => {
+        const typed = (entry.ends ?? []).map(end => end.type).filter((t) => Boolean(t));
+        return { name: entry.sysmlName ?? entry.name, sourceKind: typed[0], targetKind: typed[1] };
+    });
+}
+/** The `ExplorerClassification` and `LayerRendering` usages a package declares. */
+function readRendering(api, usages) {
+    const placements = new Map();
+    const palette = new Map();
+    for (const usage of usages) {
+        const type = typeNameOf(api, usage);
+        if (type !== 'ExplorerClassification' && type !== 'LayerRendering')
+            continue;
+        const a = apiDefinitionFacts(api, usage).attributes;
+        if (type === 'ExplorerClassification') {
+            if (a.sourceNamespace && a.explorerDomain && a.explorerGroup) {
+                placements.set(a.sourceNamespace, {
+                    sourceNamespace: a.sourceNamespace, explorerDomain: a.explorerDomain, explorerGroup: a.explorerGroup,
+                });
+            }
+        }
+        else if (a.layerId && a.layerLabel && a.layerColor) {
+            palette.set(a.layerId, { layerId: a.layerId, layerLabel: a.layerLabel, layerColor: a.layerColor });
+        }
+    }
+    return { placements, palette };
+}
+/** Apply the ontology-declared Explorer taxonomy to discovered kinds. */
+function applyExplorerClassification(layers, { placements, palette }) {
+    for (const layer of layers) {
+        const authored = palette.get(layer.id);
+        if (authored) {
+            layer.label = authored.layerLabel;
+            layer.color = authored.layerColor;
+        }
+    }
+    if (placements.size === 0)
+        return layers;
+    const domains = new Map();
+    for (const layer of layers)
+        for (const kind of layer.kinds) {
+            // The most specific classification wins: `layer/group` (a group name is only unique inside its
+            // layer: `artifacts/core` is evidence and `methodology/core` is the method), then the group,
+            // then the layer a group has no classification of its own under.
+            const placement = (kind.group ? placements.get(`${kind.layer}/${kind.group}`) ?? placements.get(kind.group) : undefined)
+                ?? placements.get(kind.layer);
+            if (!placement)
+                continue;
+            let domain = domains.get(placement.explorerDomain);
+            if (!domain) {
+                domain = {
+                    id: placement.explorerDomain,
+                    label: placement.explorerDomain.charAt(0).toUpperCase() + placement.explorerDomain.slice(1),
+                    color: '#6B7280',
+                    kindCount: 0,
+                    kinds: [],
+                };
+                domains.set(placement.explorerDomain, domain);
+            }
+            domain.kinds.push({ ...kind, layer: placement.explorerDomain, group: placement.explorerGroup });
+        }
+    if (domains.size === 0)
+        return layers;
+    for (const domain of domains.values())
+        domain.kindCount = domain.kinds.length;
+    return [...domains.values()];
+}
+//# sourceMappingURL=package-metadata-from-api.js.map

package/packages/tools/lib/stage2/package-metadata-from-api.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"package-metadata-from-api.js","sourceRoot":"","sources":["../../src/stage2/package-metadata-from-api.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,iFAAiF;AACjF,+EAA+E;AAC/E,kFAAkF;AAClF,+EAA+E;AAC/E,gDAAgD;AAChD,gFAAgF;AAEhF,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAKlE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAE3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD;;;;GAIG;AACH,MAAM,kBAAkB,GAA2B;IAC/C,cAAc,EAAE,UAAU;IAC1B,qBAAqB,EAAE,iBAAiB;IACxC,0BAA0B,EAAE,kBAAkB;IAC9C,eAAe,EAAE,WAAW;IAC5B,iBAAiB,EAAE,cAAc;IACjC,gBAAgB,EAAE,YAAY;IAC9B,mBAAmB,EAAE,eAAe;IACpC,cAAc,EAAE,UAAU;IAC1B,cAAc,EAAE,UAAU;IAC1B,mBAAmB,EAAE,eAAe;IACpC,qBAAqB,EAAE,UAAU;IACjC,oBAAoB,EAAE,gBAAgB;IACtC,kBAAkB,EAAE,cAAc;CACrC,CAAC;AAEF,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,GAAW,EAAE,EAAE,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;AAWnH;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAC9B,GAAa,EACb,WAAmB,EACnB,gBAAsC,EACtC,YAA0C;IAE1C,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,oBAAoB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IAEzD,MAAM,WAAW,GAAG,mBAAmB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC;IAElG,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzD,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QACpG,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/D,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;QACnE,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,2BAA2B,CAAC,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC;QACnF,MAAM,iBAAiB,GAAG,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC;YACzC,OAAO,EAAE,QAAQ,CAAC,OAAO,IAAI,OAAO;YACpC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,uBAAuB,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU;YACvG,WAAW,EAAE,QAAQ,CAAC,WAAW,IAAI,EAAE;YACvC,MAAM;YACN,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;YAClE,iBAAiB,EAAE,iBAAiB,CAAC,MAAM;YAC3C,iBAAiB;YACjB,QAAQ,EAAE,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK;YAClD,OAAO,EAAE,IAAI,CAAC,GAAG;YACjB,kBAAkB,EAAE,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;YACtD,YAAY,EAAE,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;SAChD,CAAC,CAAC;IACP,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjB,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ;YAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,OAAO,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,wGAAwG;AACxG,SAAS,mBAAmB,CACxB,GAAa,EAAE,MAAuC,EAAE,IAA2B;IAEnF,MAAM,WAAW,GAAe,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,EAAE,CAAC;QACtE,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1C,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;gBAAE,SAAS;YACxD,MAAM,IAAI,GAAG,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;YAC9C,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,SAAS,GAAG,GAAG,CAAC,gBAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1D,WAAW,CAAC,IAAI,CAAC;gBACb,IAAI;gBACJ,SAAS;gBACT,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;gBAC/D,WAAW,EAAE,kBAAkB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS;gBAC3F,UAAU,EAAE,OAAO,CAAC,UAAU,KAAK,IAAI,IAAI,OAAO,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;gBAC1F,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC;aACxB,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IACD,OAAO,WAAW,CAAC;AACvB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CACrB,GAAa,EAAE,QAAgB,EAAE,OAA8B,SAAS,EACxE,YAA0C;IAE1C,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;IAChD,OAAO,WAAW,CAAC,mBAAmB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;AAC/G,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,GAAa,EAAE,KAAiB,EAAsB,EAAE;IACxE,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxC,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACpD,CAAC,CAAC;AAEF;;;;GAIG;AACH,SAAS,WAAW,CAAC,WAAgC,EAAE,QAAgB;IACnE,MAAM,OAAO,GAAG,IAAI,GAAG,EAA8B,CAAC;IACtD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACnF,4EAA4E;QAC5E,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAClC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5D,uFAAuF;QACvF,MAAM,QAAQ,GAAG,OAAO,KAAK,YAAY,IAAI,KAAK,IAAI,yCAAyC,CAAC,IAAI,CAAC,KAAK,CAAC;YACvG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QACxB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE;YACxD,SAAS,EAAE,UAAU,CAAC,SAAS;YAC/B,KAAK,EAAE,OAAO;YACd,aAAa,EAAE,CAAC;YAChB,UAAU,EAAE,EAAE;YACd,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,WAAW,EAAE,UAAU,CAAC,WAAW;YACnC,KAAK;YACL,QAAQ;YACR,UAAU,EAAE,UAAU,CAAC,UAAU;SACpC,CAAC,CAAC;QACH,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC5B,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;YACzB,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/G,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,MAAM,CAAC,IAAI,CAAC;YACR,EAAE;YACF,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;YAClE,KAAK,EAAE,YAAY,CAAC,EAAE,CAAC,IAAI,SAAS;YACpC,SAAS,EAAE,KAAK,CAAC,MAAM;YACvB,KAAK;SACR,CAAC,CAAC;IACP,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,6EAA6E;AAC7E,SAAS,eAAe,CACpB,GAAa,EAAE,MAAuC,EAAE,QAAgB;IAExE,OAAO,sBAAsB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC;SACvF,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,cAAc,KAAK,gBAAgB,CAAC;SAC1D,GAAG,CAAC,KAAK,CAAC,EAAE;QACT,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7F,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,CAAC,CAAC,CAAC;AACX,CAAC;AAED,mFAAmF;AACnF,SAAS,aAAa,CAAC,GAAa,EAAE,MAA6B;IAG/D,MAAM,UAAU,GAAG,IAAI,GAAG,EAA6B,CAAC;IACxD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACpC,IAAI,IAAI,KAAK,wBAAwB,IAAI,IAAI,KAAK,gBAAgB;YAAE,SAAS;QAC7E,MAAM,CAAC,GAAG,kBAAkB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC;QACpD,IAAI,IAAI,KAAK,wBAAwB,EAAE,CAAC;YACpC,IAAI,CAAC,CAAC,eAAe,IAAI,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;gBAC3D,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe,EAAE;oBAC9B,eAAe,EAAE,CAAC,CAAC,eAAe,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa;iBACvG,CAAC,CAAC;YACP,CAAC;QACL,CAAC;aAAM,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YACnD,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;QACvG,CAAC;IACL,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AACnC,CAAC;AAED,yEAAyE;AACzE,SAAS,2BAA2B,CAChC,MAA2B,EAC3B,EAAE,UAAU,EAAE,OAAO,EAAsF;IAE3G,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,QAAQ,EAAE,CAAC;YACX,KAAK,CAAC,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC;YAClC,KAAK,CAAC,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC;QACtC,CAAC;IACL,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAEzC,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6B,CAAC;IACrD,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YACzD,+FAA+F;YAC/F,6FAA6F;YAC7F,iEAAiE;YACjE,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;mBACjH,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;YACnD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACV,MAAM,GAAG;oBACL,EAAE,EAAE,SAAS,CAAC,cAAc;oBAC5B,KAAK,EAAE,SAAS,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,SAAS,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;oBAC3F,KAAK,EAAE,SAAS;oBAChB,SAAS,EAAE,CAAC;oBACZ,KAAK,EAAE,EAAE;iBACZ,CAAC;gBACF,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;YAClD,CAAC;YACD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,cAAc,EAAE,KAAK,EAAE,SAAS,CAAC,aAAa,EAAE,CAAC,CAAC;QACpG,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACtC,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE;QAAE,MAAM,CAAC,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;IAC9E,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;AACjC,CAAC"}

package/packages/tools/lib/stage2/project-from-api.d.ts

@@ -0,0 +1,60 @@
+import type { LibraryRoot, NativeMethodBinding, NativeMethodology, NativeProjectResolution, NativeRulePolicy, PackageIndexEntry } from '../model/native-project.js';
+import type { SourceGraphPackage } from '../model/source-graph.js';
+import type { ApiElement, ApiModel } from './api-model.js';
+/** Resolve a project from a handoff compiled over every library root it offers. */
+export declare function resolveNativeProjectFromApi(projectRoot: string, api: ApiModel): NativeProjectResolution;
+/**
+ * The package index `indexPackages` builds from MEMO's parse: every package,
+ * nested ones too, keyed by the name it declares, with the files declaring it
+ * and the packages it imports from.
+ */
+export declare function apiPackageIndex(api: ApiModel, fileToRoot: Map<string, LibraryRoot | undefined>, fileOf: (element: ApiElement) => string): Map<string, PackageIndexEntry>;
+/** The binding and methodology usages, as `readNativeUsages` reads them from MEMO's parse. */
+export declare function apiNativeUsages(api: ApiModel, fileOf: (element: ApiElement) => string): {
+    bindings: NativeMethodBinding[];
+    methodologies: NativeMethodology[];
+};
+/** The attribute, list and reference readers `readNativeUsages` uses, over the handoff. */
+export declare class UsageReader {
+    private readonly api;
+    constructor(api: ApiModel);
+    typeName(usage: ApiElement): string | undefined;
+    private members;
+    /** One value as a string: a literal as written, an enumeration literal by its member name. */
+    private text;
+    attr(owner: ApiElement, name: string): string | undefined;
+    /** A list-valued attribute: a sequence literal, or repeated single assignments. */
+    attrList(owner: ApiElement, name: string): string[];
+    /** The qualified names a list-valued `ref :>> <name> = (a, b);` member is valued with. */
+    refList(owner: ApiElement, name: string): string[];
+    /** The qualified name a `ref :>> <name> = <element>;` member is valued with. */
+    refQualified(owner: ApiElement, name: string): string | undefined;
+    /** The type a `ref :>> <name> : <Type>;` member narrows to, else its value. */
+    refType(owner: ApiElement, name: string): string | undefined;
+    /** The `RulePolicy` parts a binding or methodology states. */
+    policies(owner: ApiElement, file: string): NativeRulePolicy[];
+}
+/**
+ * Whether resolution loads a file's content into the ontology: a file of a
+ * package in the import closure, or one under a selected library root — the
+ * filter `loadOntologyRegistries` applies to MEMO's parse.
+ */
+export declare function resolutionLoads(resolution: NativeProjectResolution): (file: string) => boolean;
+/** Whether a file is the project's own: under no library root, selected or unused. */
+export declare function isProjectSource(resolution: NativeProjectResolution): (file: string) => boolean;
+/**
+ * The project's packages for the view source graph: each with the files
+ * declaring it and what it imports, the files named relative to the project,
+ * as the graph built from MEMO's parse of the project names them. Library
+ * packages are left out: a project rebuild never re-reads a library file.
+ */
+export declare function apiProjectSourcePackages(api: ApiModel, projectRoot: string): {
+    packages: SourceGraphPackage[];
+    files: string[];
+};
+/** The project's enumeration definitions with their literals, by name. */
+export declare function apiEnumerations(api: ApiModel): {
+    name: string;
+    literals: string[];
+}[];
+//# sourceMappingURL=project-from-api.d.ts.map

package/packages/tools/lib/stage2/project-from-api.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-from-api.d.ts","sourceRoot":"","sources":["../../src/stage2/project-from-api.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EACR,WAAW,EACX,mBAAmB,EACnB,iBAAiB,EACjB,uBAAuB,EACvB,gBAAgB,EAChB,iBAAiB,EAEpB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAY,MAAM,gBAAgB,CAAC;AAErE,mFAAmF;AACnF,wBAAgB,2BAA2B,CAAC,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,GAAG,uBAAuB,CAKvG;AAoBD;;;;GAIG;AACH,wBAAgB,eAAe,CAC3B,GAAG,EAAE,QAAQ,EACb,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,GAAG,SAAS,CAAC,EAChD,MAAM,EAAE,CAAC,OAAO,EAAE,UAAU,KAAK,MAAM,GACxC,GAAG,CAAC,MAAM,EAAE,iBAAiB,CAAC,CA4BhC;AAsBD,8FAA8F;AAC9F,wBAAgB,eAAe,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,UAAU,KAAK,MAAM,GAAG;IACrF,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAAC,aAAa,EAAE,iBAAiB,EAAE,CAAC;CACvE,CAkDA;AAQD,2FAA2F;AAC3F,qBAAa,WAAW;IACR,OAAO,CAAC,QAAQ,CAAC,GAAG;gBAAH,GAAG,EAAE,QAAQ;IAE1C,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS;IAK/C,OAAO,CAAC,OAAO;IAKf,8FAA8F;IAC9F,OAAO,CAAC,IAAI;IAUZ,IAAI,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAQzD,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE;IAanD,0FAA0F;IAC1F,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE;IAalD,gFAAgF;IAChF,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IASjE,+EAA+E;IAC/E,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAU5D,8DAA8D;IAC9D,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,gBAAgB,EAAE;CAyBhE;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,UAAU,EAAE,uBAAuB,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAK9F;AAED,sFAAsF;AACtF,wBAAgB,eAAe,CAAC,UAAU,EAAE,uBAAuB,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAG9F;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,GAAG;IAC1E,QAAQ,EAAE,kBAAkB,EAAE,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAC;CACnD,CAgBA;AAED,0EAA0E;AAC1E,wBAAgB,eAAe,CAAC,GAAG,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,EAAE,CAarF"}

package/packages/tools/lib/stage2/project-from-api.js

@@ -0,0 +1,328 @@
+// ─── Project resolution from a stage 1 handoff ──────────────────────────────
+//
+// `resolveNativeProject` reads three things from MEMO's parse: each package's
+// files and imports (the import closure walks them from the entrypoint), and
+// the `ModelMethodBinding` and `MethodologyDefinition` usages that select a
+// methodology. These readers take the same facts from the API JSON a stage 1
+// compiler wrote over every library root a locator offers, so the closure,
+// the selected roots and the binding come from the compiled model; the rest
+// of resolution (finding the sources, closing over them) is shared.
+// ─────────────────────────────────────────────────────────────────────────────
+import { relative, resolve, sep } from 'node:path';
+import { DEPRECATED_BINDING_SPELLINGS, discoverProjectSources, finishResolution, isMethodBindingKind } from '../model/native-project.js';
+/** Resolve a project from a handoff compiled over every library root it offers. */
+export function resolveNativeProjectFromApi(projectRoot, api) {
+    const sources = discoverProjectSources(projectRoot);
+    const fileOf = (element) => api.absoluteFile(element['@id']) ?? '';
+    const { bindings, methodologies } = apiNativeUsages(api, fileOf);
+    return finishResolution(sources, apiPackageIndex(api, sources.fileToRoot, fileOf), bindings, methodologies);
+}
+/** The top-level packages of every document, with the file each is declared in. */
+function documentPackages(api) {
+    const packages = [];
+    for (const namespace of api.ofType('Namespace')) {
+        if (api.owner(namespace['@id']))
+            continue;
+        for (const member of api.ownedMembers(namespace['@id'])) {
+            if (isPackage(member))
+                packages.push(member);
+        }
+    }
+    return packages;
+}
+const isPackage = (element) => element['@type'] === 'Package' || element['@type'] === 'LibraryPackage';
+const refs = (value) => (Array.isArray(value) ? value : value ? [value] : [])
+    .map(v => v?.['@id'])
+    .filter((id) => typeof id === 'string');
+/**
+ * The package index `indexPackages` builds from MEMO's parse: every package,
+ * nested ones too, keyed by the name it declares, with the files declaring it
+ * and the packages it imports from.
+ */
+export function apiPackageIndex(api, fileToRoot, fileOf) {
+    const index = new Map();
+    const walk = (pkg, file) => {
+        const name = api.declaredName(pkg['@id']);
+        if (!name)
+            return;
+        let entry = index.get(name);
+        if (!entry) {
+            entry = {
+                qualifiedName: name, files: new Set(), imports: new Set(), publicImports: new Set(), root: fileToRoot.get(file),
+            };
+            index.set(name, entry);
+        }
+        entry.files.add(file);
+        if (!entry.root)
+            entry.root = fileToRoot.get(file);
+        for (const relationship of api.ownedRelationships(pkg['@id'])) {
+            const imported = importedPackage(api, relationship);
+            if (!imported)
+                continue;
+            entry.imports.add(imported);
+            // An import's visibility defaults to private (KerML, `Import::visibility`),
+            // and a handoff may leave a default out: SysIDE writes only `public`.
+            if (relationship.visibility === 'public')
+                entry.publicImports.add(imported);
+        }
+        for (const member of api.ownedMembers(pkg['@id'])) {
+            if (isPackage(member))
+                walk(member, file);
+        }
+    };
+    for (const pkg of documentPackages(api))
+        walk(pkg, fileOf(pkg));
+    return index;
+}
+/**
+ * The package an import reads from: the namespace of `import P::*` (or
+ * `P::**`), the owner of `import P::X`.
+ */
+function importedPackage(api, relationship) {
+    if (relationship['@type'] === 'NamespaceImport') {
+        const namespace = refs(relationship.importedNamespace)[0];
+        return namespace ? api.qualifiedName(namespace) : undefined;
+    }
+    if (relationship['@type'] === 'MembershipImport') {
+        const membership = refs(relationship.importedMembership)[0];
+        const member = membership ? refs(api.element(membership)?.memberElement)[0] : undefined;
+        const qualified = member ? api.qualifiedName(member) : undefined;
+        if (!qualified)
+            return undefined;
+        const segments = qualified.split('::');
+        return segments.length > 1 ? segments.slice(0, -1).join('::') : qualified;
+    }
+    return undefined;
+}
+/** The binding and methodology usages, as `readNativeUsages` reads them from MEMO's parse. */
+export function apiNativeUsages(api, fileOf) {
+    const bindings = [];
+    const methodologies = [];
+    const reader = new UsageReader(api);
+    const visit = (node, pkg, file) => {
+        if (isPackage(node)) {
+            const name = api.declaredName(node['@id']) ?? pkg;
+            for (const member of api.ownedMembers(node['@id']))
+                visit(member, name, file);
+            return;
+        }
+        if (node['@type'] !== 'PartUsage')
+            return;
+        const type = reader.typeName(node);
+        if (isMethodBindingKind(type)) {
+            const modelName = reader.attr(node, 'modelName');
+            const oldName = reader.attr(node, DEPRECATED_BINDING_SPELLINGS.name);
+            const deprecatedSpellings = [
+                ...(type === DEPRECATED_BINDING_SPELLINGS.kind ? [DEPRECATED_BINDING_SPELLINGS.kind] : []),
+                ...(oldName !== undefined ? [DEPRECATED_BINDING_SPELLINGS.name] : []),
+            ];
+            bindings.push({
+                usageName: api.name(node['@id']) ?? '',
+                bindingId: reader.attr(node, 'id'),
+                modelName: modelName ?? oldName,
+                ...(deprecatedSpellings.length ? { deprecatedSpellings } : {}),
+                selectedMethodologyName: reader.refType(node, 'selectedMethodology'),
+                scopeMode: asScopeMode(reader.attr(node, 'scopeMode')),
+                rulePolicies: reader.policies(node, file),
+                sourceFile: file,
+                packageQualifiedName: pkg,
+            });
+        }
+        else if (type === 'MethodologyDefinition') {
+            methodologies.push({
+                usageName: api.name(node['@id']) ?? '',
+                methodologyId: reader.attr(node, 'id'),
+                displayName: reader.attr(node, 'name'),
+                version: reader.attr(node, 'version'),
+                baseMethodologyName: reader.refType(node, 'baseMethodology'),
+                scopeMode: asScopeMode(reader.attr(node, 'scopeMode')),
+                includedStandards: reader.refList(node, 'includedStandard'),
+                includedArtifactKinds: reader.attrList(node, 'includedArtifactKind'),
+                includedViewpoints: reader.refList(node, 'includedViewpoint'),
+                rulePolicies: reader.policies(node, file),
+                sourceFile: file,
+                packageQualifiedName: pkg,
+            });
+        }
+        for (const member of api.ownedMembers(node['@id']))
+            visit(member, pkg, file);
+    };
+    for (const pkg of documentPackages(api))
+        visit(pkg, undefined, fileOf(pkg));
+    return { bindings, methodologies };
+}
+function asScopeMode(raw) {
+    return raw === 'allAvailable' || raw === 'explicit' ? raw : undefined;
+}
+const lastSegment = (name) => name.slice(name.lastIndexOf('::') + 2);
+/** The attribute, list and reference readers `readNativeUsages` uses, over the handoff. */
+export class UsageReader {
+    api;
+    constructor(api) {
+        this.api = api;
+    }
+    typeName(usage) {
+        const type = this.api.types(usage['@id'])[0];
+        return type ? this.api.name(type['@id']) : undefined;
+    }
+    members(owner, metaclass, name) {
+        return this.api.ownedMembers(owner['@id'])
+            .filter(m => m['@type'] === metaclass && this.api.name(m['@id']) === name);
+    }
+    /** One value as a string: a literal as written, an enumeration literal by its member name. */
+    text(value) {
+        switch (value?.kind) {
+            case 'string': return value.value;
+            case 'number': return String(value.value);
+            case 'boolean': return String(value.value);
+            case 'reference': return lastSegment(value.qualifiedName);
+            default: return undefined;
+        }
+    }
+    attr(owner, name) {
+        for (const member of this.members(owner, 'AttributeUsage', name)) {
+            const value = this.text(this.api.value(member['@id']));
+            if (value !== undefined)
+                return value;
+        }
+        return undefined;
+    }
+    /** A list-valued attribute: a sequence literal, or repeated single assignments. */
+    attrList(owner, name) {
+        const out = [];
+        for (const member of this.members(owner, 'AttributeUsage', name)) {
+            const value = this.api.value(member['@id']);
+            const items = value?.kind === 'sequence' ? value.items : value ? [value] : [];
+            for (const item of items) {
+                const text = item.kind === 'reference' ? item.qualifiedName : this.text(item);
+                if (text !== undefined)
+                    out.push(text);
+            }
+        }
+        return out;
+    }
+    /** The qualified names a list-valued `ref :>> <name> = (a, b);` member is valued with. */
+    refList(owner, name) {
+        const out = [];
+        for (const member of this.members(owner, 'ReferenceUsage', name)) {
+            const value = this.api.value(member['@id']);
+            const items = value?.kind === 'sequence' ? value.items : value ? [value] : [];
+            for (const item of items) {
+                if (item.kind === 'reference')
+                    out.push(item.qualifiedName);
+                else if (item.kind === 'chain' && item.steps.length > 0)
+                    out.push(item.steps[item.steps.length - 1]);
+            }
+        }
+        return out;
+    }
+    /** The qualified name a `ref :>> <name> = <element>;` member is valued with. */
+    refQualified(owner, name) {
+        for (const member of this.members(owner, 'ReferenceUsage', name)) {
+            const value = this.api.value(member['@id']);
+            if (value?.kind === 'reference')
+                return value.qualifiedName;
+            if (value?.kind === 'chain' && value.steps.length > 0)
+                return value.steps[value.steps.length - 1];
+        }
+        return undefined;
+    }
+    /** The type a `ref :>> <name> : <Type>;` member narrows to, else its value. */
+    refType(owner, name) {
+        for (const member of this.members(owner, 'ReferenceUsage', name)) {
+            const type = this.typeName(member);
+            if (type)
+                return type;
+            const value = this.text(this.api.value(member['@id']));
+            if (value !== undefined)
+                return value;
+        }
+        return undefined;
+    }
+    /** The `RulePolicy` parts a binding or methodology states. */
+    policies(owner, file) {
+        return this.api.ownedMembers(owner['@id'])
+            .filter(m => m['@type'] === 'PartUsage' && this.typeName(m) === 'RulePolicy')
+            .map(policy => {
+            const disposition = this.attr(policy, 'disposition');
+            const severity = this.attr(policy, 'severityOverride');
+            return {
+                usageName: this.api.name(policy['@id']) ?? '',
+                targetRuleType: this.refType(policy, 'targetRule'),
+                targetStandard: this.refQualified(policy, 'targetStandard'),
+                targetCategory: this.attr(policy, 'targetCategory'),
+                replacementRuleType: this.refType(policy, 'replacementRule'),
+                disposition: disposition === 'enabled' || disposition === 'disabled' || disposition === 'replaced'
+                    ? disposition : undefined,
+                severityOverride: severity === 'error' || severity === 'warning' || severity === 'info'
+                    ? severity : undefined,
+                rationaleText: this.attr(policy, 'rationaleText'),
+                authority: this.attr(policy, 'authority'),
+                approvalReference: this.attr(policy, 'approvalReference'),
+                approvedBy: this.attr(policy, 'approvedBy'),
+                approvedOn: this.attr(policy, 'approvedOn'),
+                sourceFile: file,
+            };
+        });
+    }
+}
+/**
+ * Whether resolution loads a file's content into the ontology: a file of a
+ * package in the import closure, or one under a selected library root — the
+ * filter `loadOntologyRegistries` applies to MEMO's parse.
+ */
+export function resolutionLoads(resolution) {
+    const closureFiles = new Set();
+    for (const pkg of resolution.closure.values())
+        for (const file of pkg.files)
+            closureFiles.add(file);
+    const selected = resolution.selectedRoots.map(root => root.sysmlDir);
+    return file => closureFiles.has(file) || selected.some(dir => file.startsWith(dir + sep));
+}
+/** Whether a file is the project's own: under no library root, selected or unused. */
+export function isProjectSource(resolution) {
+    const roots = [...resolution.selectedRoots, ...resolution.unusedRoots].map(root => root.sysmlDir);
+    return file => !roots.some(dir => file.startsWith(dir));
+}
+/**
+ * The project's packages for the view source graph: each with the files
+ * declaring it and what it imports, the files named relative to the project,
+ * as the graph built from MEMO's parse of the project names them. Library
+ * packages are left out: a project rebuild never re-reads a library file.
+ */
+export function apiProjectSourcePackages(api, projectRoot) {
+    const projectDir = resolve(projectRoot);
+    const fileOf = (element) => resolve(api.absoluteFile(element['@id']) ?? '');
+    const inProject = (file) => file.startsWith(projectDir + sep);
+    const packages = [];
+    for (const entry of apiPackageIndex(api, new Map(), fileOf).values()) {
+        const files = [...entry.files].filter(inProject).map(file => relative(projectDir, file));
+        if (files.length > 0)
+            packages.push({ qualifiedName: entry.qualifiedName, files, imports: entry.imports });
+    }
+    // Every project document, a file declaring no package included: its root namespace.
+    const files = [...new Set([...api.ofType('Namespace')]
+            .filter(namespace => !api.owner(namespace['@id']) && api.source(namespace['@id'])?.role === 'project')
+            .map(namespace => fileOf(namespace))
+            .filter(inProject)
+            .map(file => relative(projectDir, file)))];
+    return { packages, files };
+}
+/** The project's enumeration definitions with their literals, by name. */
+export function apiEnumerations(api) {
+    const found = new Map();
+    for (const definition of api.ofType('EnumerationDefinition')) {
+        if (api.source(definition['@id'])?.role !== 'project')
+            continue;
+        const name = api.declaredName(definition['@id']);
+        if (!name)
+            continue;
+        const literals = api.ownedMembers(definition['@id'])
+            .filter(member => member['@type'] === 'EnumerationUsage')
+            .map(member => api.declaredName(member['@id']))
+            .filter((literal) => Boolean(literal));
+        found.set(name, { name, literals });
+    }
+    return [...found.values()];
+}
+//# sourceMappingURL=project-from-api.js.map