@memoarchitect/tools 0.13.0 → 0.15.0

package/packages/tools/lib/model/complete-model.js

@@ -0,0 +1,287 @@
+// ─── Finishing a model ───────────────────────────────────────────────────────
+//
+// What stage 2 does once the elements and relationships of a compiled project
+// exist: provenance, identities, end-kind checks, indexes, kinds inherited
+// through local definitions, and unresolved qualified references.
+// ─────────────────────────────────────────────────────────────────────────────
+import { createHash } from 'node:crypto';
+import { assignSequentialShortIds, kindToPrefix } from './short-id.js';
+import { priorIdentityFor, priorShortIds } from './identity-registry.js';
+import { indexKinds, kindConformsTo } from './relationship-legality.js';
+/**
+ * Finish a model once its elements and relationships exist: provenance,
+ * identities, end-kind checks, indexes, kinds inherited through local
+ * definitions. Stage 2's builder over API JSON (stage2/build-from-api.ts)
+ * calls it once it has extracted the elements and relationships.
+ */
+export function completeModel(input) {
+    const { elements, relationships, errors, config, registries } = input;
+    // Keep ownership of a declaration separate from ownership of the type that
+    // classifies it.  A project usage of `Hazard` is editable project content;
+    // its classifier is a read-only ontology definition.
+    applySemanticProvenance(elements, relationships, registries);
+    // Build indexes
+    const elementsByKind = new Map();
+    const elementsByLayer = new Map();
+    for (const el of elements.values()) {
+        if (!elementsByKind.has(el.kind))
+            elementsByKind.set(el.kind, []);
+        elementsByKind.get(el.kind).push(el);
+        if (!elementsByLayer.has(el.layer))
+            elementsByLayer.set(el.layer, []);
+        elementsByLayer.get(el.layer).push(el);
+    }
+    // Assign each three-letter prefix one sequential display index. This is
+    // deliberately distinct from the technical UUID assigned below.
+    const elementsByPrefix = new Map();
+    for (const element of elements.values()) {
+        const prefix = kindToPrefix(element.kind);
+        const prefixElements = elementsByPrefix.get(prefix) ?? [];
+        prefixElements.push(element);
+        elementsByPrefix.set(prefix, prefixElements);
+    }
+    // Identities assigned on earlier builds win. Both of these are quoted
+    // outside the model, so recomputing them from current content — which is
+    // what happened before `memo.identity.yaml` — silently repointed every
+    // external reference whenever a file moved or an element was inserted.
+    const priorIdentities = config.priorIdentities ?? {};
+    const priorShortIdsByElement = priorShortIds(priorIdentities);
+    // Adopt the identity a NESTED element was keyed under before ids carried
+    // their owner chain. Without this every port and every nested action in
+    // every existing project would be a newcomer on the next build and take a
+    // fresh number, silently repointing whatever quotes the old one.
+    for (const el of elements.values()) {
+        if (priorShortIdsByElement.has(el.id))
+            continue;
+        const legacy = priorIdentityFor(priorIdentities, el);
+        if (legacy?.shortId)
+            priorShortIdsByElement.set(el.id, legacy.shortId);
+    }
+    for (const [prefix, prefixElements] of elementsByPrefix) {
+        // A dependency's elements keep the identity their own package gives them
+        // (its `providedId`), and take no display number here: it would be minted
+        // in this model's sequence, and be wrong the moment the dependency moved.
+        const idToShortId = assignSequentialShortIds(prefix, prefixElements.filter(e => e.provenance?.declaration.origin !== 'dependency').map(e => e.id), priorShortIdsByElement);
+        for (const el of prefixElements) {
+            el.shortId = idToShortId.get(el.id);
+            // `uuid` is part of the ontology's identification core, so a model
+            // may author it. An authored value wins: it is the whole point of
+            // writing one — the element keeps its identity across a file move
+            // or an id change, which the derived hash cannot survive.
+            // Precedence: an authored uuid, then the one this project already
+            // assigned, then a fresh derivation. The middle term is what makes a
+            // uuid survive a file move — the derivation hashes the file path, so
+            // without it the same element gets a new identity when it moves.
+            el.uuid = el.attributes.uuid?.trim()
+                || priorIdentityFor(priorIdentities, el)?.uuid
+                || stableElementUuid(el);
+        }
+    }
+    // Phase 4: Validate relationship end types (warnings only).
+    // A kind conforms to an end type if it equals it or specializes it
+    // (transitively) — e.g. HardwareAssembly conforms to MemoPart.
+    if (registries?.relationshipRegistry) {
+        // Same resolver the authoring UI and the server persistence path use,
+        // so a link the panel offers is a link the builder accepts.
+        const kindIndex = indexKinds(registries.kindRegistry?.toDefinitionDTOs() ?? []);
+        // A project definition specializes an ontology kind, and the ontology
+        // registry has never heard of it: `AfferaStakeholder` is declared in
+        // this project, not in memo. So a chain like
+        // `AfferaHospitalEpLabStakeholder :> AfferaStakeholder :> MemoPart`
+        // broke at the first hop and fell through to guessing by name suffix,
+        // reporting a well-formed context diagram as malformed.
+        //
+        // A definition element records what it specializes in its own `kind`,
+        // so the model supplies the missing links. This is the same walk the
+        // explorer makes to file an element under its ontology kind.
+        const projectSuper = new Map();
+        for (const el of elements.values()) {
+            if (!el.isDefinition || !el.kind || el.kind === el.name)
+                continue;
+            const short = el.shortName ?? el.name;
+            if (!projectSuper.has(short))
+                projectSuper.set(short, el.kind);
+            if (el.name && !projectSuper.has(el.name))
+                projectSuper.set(el.name, el.kind);
+            if (!projectSuper.has(el.id))
+                projectSuper.set(el.id, el.kind);
+        }
+        const conformsTo = (kind, expected) => {
+            let current = kind;
+            const seen = new Set();
+            while (current && !seen.has(current)) {
+                if (current === expected)
+                    return true;
+                if (kindConformsTo(current, expected, kindIndex))
+                    return true;
+                seen.add(current);
+                current = kindIndex.get(current)?.superType ?? projectSuper.get(current);
+            }
+            // Legacy fallback when neither the ontology nor the project knows
+            // this kind's hierarchy at all.
+            return !kindIndex.has(kind) && !projectSuper.has(kind) && kind.endsWith(expected);
+        };
+        // A finding names the edge's own line. Every one of them used to point
+        // at 1:1 of its file, which in a trace file of six hundred lines is no
+        // location at all.
+        const lineOfRelationship = (rel) => input.lineOfRelationship?.(rel);
+        for (const rel of relationships) {
+            const regEntry = registries.relationshipRegistry.getRelType(rel.type);
+            if (!regEntry || regEntry.ends.length === 0)
+                continue;
+            const sourceEl = elements.get(rel.sourceId);
+            const targetEl = elements.get(rel.targetId);
+            // Check if the source/target kinds match the typed ends
+            for (const end of regEntry.ends) {
+                if (!end.type)
+                    continue; // untyped ends allow any kind
+                // Match end to source or target by position (first end = source, second = target)
+                const endIndex = regEntry.ends.indexOf(end);
+                const el = endIndex === 0 ? sourceEl : targetEl;
+                if (!el)
+                    continue;
+                if (!conformsTo(el.kind, end.type)) {
+                    errors.push({
+                        code: RELATIONSHIP_END_KIND,
+                        message: `[well-formedness] Relationship "${rel.type}" expects ${end.name} to be ${end.type}, but found ${el.kind}`,
+                        file: rel.file ?? '',
+                        line: lineOfRelationship(rel),
+                    });
+                }
+            }
+        }
+    }
+    const relationshipsByType = new Map();
+    const outgoing = new Map();
+    const incoming = new Map();
+    for (const rel of relationships) {
+        if (!relationshipsByType.has(rel.type))
+            relationshipsByType.set(rel.type, []);
+        relationshipsByType.get(rel.type).push(rel);
+        if (!outgoing.has(rel.sourceId))
+            outgoing.set(rel.sourceId, []);
+        outgoing.get(rel.sourceId).push(rel);
+        if (!incoming.has(rel.targetId))
+            incoming.set(rel.targetId, []);
+        incoming.get(rel.targetId).push(rel);
+    }
+    // A local definition has already resolved its own ontology kind; usages
+    // typed by it inherit that kind, including through a local definition chain.
+    if (registries?.kindRegistry) {
+        const byName = new Map();
+        for (const [id, el] of elements) {
+            if (!byName.has(id))
+                byName.set(id, el);
+            // A usage names its type by the SHORT name the definition declares,
+            // never by the qualified id, so both spellings answer here.
+            if (el.shortName && !byName.has(el.shortName))
+                byName.set(el.shortName, el);
+            if (el.name && !byName.has(el.name))
+                byName.set(el.name, el);
+        }
+        const known = (kind) => Boolean(registries.kindRegistry?.getKind(kind));
+        for (let pass = 0; pass < 16; pass++) {
+            let progressed = false;
+            for (const el of elements.values()) {
+                if (!el.kind || known(el.kind))
+                    continue;
+                const def = byName.get(el.kind.split('::').pop());
+                if (def && def !== el && def.kind && def.kind !== el.kind) {
+                    el.kind = def.kind;
+                    if (def.layer && (!el.layer || el.layer === 'unknown'))
+                        el.layer = def.layer;
+                    progressed = true;
+                }
+            }
+            if (!progressed)
+                break;
+        }
+    }
+    // A reference that names nothing is a stage 1 error: the compiler rejects the
+    // project before a model is built, so none reaches here.
+    const unresolvedReferences = [];
+    return {
+        elements,
+        relationships,
+        errors,
+        packages: input.packages ?? [],
+        unresolvedReferences,
+        elementsByKind,
+        elementsByLayer,
+        relationshipsByType,
+        outgoing,
+        incoming,
+    };
+}
+function applySemanticProvenance(elements, relationships, registries) {
+    const table = registries?.provenance;
+    if (!table)
+        return;
+    const entryFor = (kind) => registries?.kindRegistry?.getKind(kind)
+        ?? registries?.kindRegistry?.getKind(kind.split('::').pop() ?? kind);
+    const classifierFor = (kind) => {
+        const entry = entryFor(kind);
+        if (!entry?.qualifiedName)
+            return undefined;
+        return {
+            qualifiedName: entry.qualifiedName,
+            shortName: entry.name,
+            provenance: entry.sourceFile ? table.lookup(entry.sourceFile) : undefined,
+        };
+    };
+    const classifierChainFor = (kind) => {
+        const chain = [];
+        const seen = new Set();
+        let entry = entryFor(kind);
+        while (entry?.qualifiedName && !seen.has(entry.qualifiedName)) {
+            seen.add(entry.qualifiedName);
+            chain.push({
+                qualifiedName: entry.qualifiedName,
+                shortName: entry.name,
+                provenance: entry.sourceFile ? table.lookup(entry.sourceFile) : undefined,
+            });
+            entry = entry.superType ? entryFor(entry.superType) : undefined;
+        }
+        return chain.length > 0 ? chain : undefined;
+    };
+    const declarationFor = (file, kind) => ({
+        declaration: table.lookupOrProject(file),
+        classifier: kind ? classifierFor(kind) : undefined,
+        classifierChain: kind ? classifierChainFor(kind) : undefined,
+    });
+    for (const element of elements.values()) {
+        element.provenance = declarationFor(element.file, element.kind);
+    }
+    for (const relationship of relationships) {
+        relationship.provenance = declarationFor(relationship.file, relationship.type);
+    }
+}
+/**
+ * Derive a UUID from source identity, rather than allocating a random value on
+ * every compilation. This is the machine identity; `shortId` is the compact
+ * human-facing PREFIX-1, PREFIX-2, … label used in explorers.
+ */
+function stableElementUuid(element) {
+    const bytes = createHash('sha256')
+        .update(`${element.file}\0${element.kind}\0${element.id}`)
+        .digest()
+        .subarray(0, 16);
+    bytes[6] = (bytes[6] & 0x0f) | 0x50; // UUID v5 shape
+    bytes[8] = (bytes[8] & 0x3f) | 0x80; // RFC 4122 variant
+    const hex = bytes.toString('hex');
+    return `${hex.slice(0, 8)}-${hex.slice(8, 12)}-${hex.slice(12, 16)}-${hex.slice(16, 20)}-${hex.slice(20)}`;
+}
+/** The kind a nested grouping package becomes, distinct from a namespace package. */
+export const ELEMENT_PACKAGE_KIND = 'ElementPackage';
+/**
+ * The `ParseError.code` a relationship carries when an end's element does not
+ * conform to the kind the relationship's definition types that end with.
+ */
+export const RELATIONSHIP_END_KIND = 'relationship-end-kind';
+/** The `ParseError.code` an `interface … connect` with an end naming nothing carries. */
+export const UNRESOLVED_INTERFACE_END = 'unresolved-interface-end';
+/** The `ParseError.code` a `flow` or `message` with an end naming nothing carries. */
+export const UNRESOLVED_FLOW_END = 'unresolved-flow-end';
+/** The `ParseError.code` a `bind` with an end naming nothing carries. */
+export const UNRESOLVED_BINDING_END = 'unresolved-binding-end';
+//# sourceMappingURL=complete-model.js.map

package/packages/tools/lib/model/complete-model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"complete-model.js","sourceRoot":"","sources":["../../src/model/complete-model.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,2EAA2E;AAC3E,kEAAkE;AAClE,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAUzC,OAAO,EAAE,wBAAwB,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAQzE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAgCxE;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,KAAyB;IACnD,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IACtE,2EAA2E;IAC3E,2EAA2E;IAC3E,qDAAqD;IACrD,uBAAuB,CAAC,QAAQ,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;IAE7D,gBAAgB;IAChB,MAAM,cAAc,GAAG,IAAI,GAAG,EAAyB,CAAC;IACxD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAyB,CAAC;IACzD,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACjC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClE,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;YAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACtE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,wEAAwE;IACxE,gEAAgE;IAChE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC1D,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,cAAc,GAAG,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC1D,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,gBAAgB,CAAC,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACjD,CAAC;IACD,sEAAsE;IACtE,yEAAyE;IACzE,uEAAuE;IACvE,uEAAuE;IACvE,MAAM,eAAe,GAAG,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC;IACrD,MAAM,sBAAsB,GAAG,aAAa,CAAC,eAAe,CAAC,CAAC;IAC9D,yEAAyE;IACzE,wEAAwE;IACxE,0EAA0E;IAC1E,iEAAiE;IACjE,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACjC,IAAI,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAAE,SAAS;QAChD,MAAM,MAAM,GAAG,gBAAgB,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;QACrD,IAAI,MAAM,EAAE,OAAO;YAAE,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAC3E,CAAC;IACD,KAAK,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,IAAI,gBAAgB,EAAE,CAAC;QACtD,yEAAyE;QACzE,0EAA0E;QAC1E,0EAA0E;QAC1E,MAAM,WAAW,GAAG,wBAAwB,CACxC,MAAM,EACN,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAC5F,sBAAsB,CACzB,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC;YAC7B,EAAkB,CAAC,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACrD,mEAAmE;YACnE,kEAAkE;YAClE,kEAAkE;YAClE,0DAA0D;YAC1D,kEAAkE;YAClE,qEAAqE;YACrE,qEAAqE;YACrE,iEAAiE;YAChE,EAAkB,CAAC,IAAI,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE;mBAC9C,gBAAgB,CAAC,eAAe,EAAE,EAAE,CAAC,EAAE,IAAI;mBAC3C,iBAAiB,CAAC,EAAE,CAAC,CAAC;QACjC,CAAC;IACL,CAAC;IAED,4DAA4D;IAC5D,mEAAmE;IACnE,+DAA+D;IAC/D,IAAI,UAAU,EAAE,oBAAoB,EAAE,CAAC;QACnC,sEAAsE;QACtE,4DAA4D;QAC5D,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,YAAY,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC;QAChF,sEAAsE;QACtE,qEAAqE;QACrE,6CAA6C;QAC7C,oEAAoE;QACpE,sEAAsE;QACtE,wDAAwD;QACxD,EAAE;QACF,sEAAsE;QACtE,qEAAqE;QACrE,6DAA6D;QAC7D,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC/C,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YACjC,IAAI,CAAC,EAAE,CAAC,YAAY,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI;gBAAE,SAAS;YAClE,MAAM,KAAK,GAAG,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,IAAI,CAAC;YACtC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YAC/D,IAAI,EAAE,CAAC,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YAC9E,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAAE,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,QAAgB,EAAW,EAAE;YAC3D,IAAI,OAAO,GAAuB,IAAI,CAAC;YACvC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,OAAO,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBACnC,IAAI,OAAO,KAAK,QAAQ;oBAAE,OAAO,IAAI,CAAC;gBACtC,IAAI,cAAc,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC9D,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAClB,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,SAAS,IAAI,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC7E,CAAC;YACD,kEAAkE;YAClE,gCAAgC;YAChC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACtF,CAAC,CAAC;QAEF,uEAAuE;QACvE,uEAAuE;QACvE,mBAAmB;QACnB,MAAM,kBAAkB,GAAG,CAAC,GAAqB,EAAsB,EAAE,CAAC,KAAK,CAAC,kBAAkB,EAAE,CAAC,GAAG,CAAC,CAAC;QAE1G,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,UAAU,CAAC,oBAAoB,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACtE,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAEtD,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC5C,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAE5C,wDAAwD;YACxD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;gBAC9B,IAAI,CAAC,GAAG,CAAC,IAAI;oBAAE,SAAS,CAAC,8BAA8B;gBAEvD,kFAAkF;gBAClF,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAC5C,MAAM,EAAE,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAChD,IAAI,CAAC,EAAE;oBAAE,SAAS;gBAElB,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjC,MAAM,CAAC,IAAI,CAAC;wBACR,IAAI,EAAE,qBAAqB;wBAC3B,OAAO,EAAE,mCAAmC,GAAG,CAAC,IAAI,aAAa,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC,IAAI,eAAe,EAAE,CAAC,IAAI,EAAE;wBACnH,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE;wBACpB,IAAI,EAAE,kBAAkB,CAAC,GAAG,CAAC;qBAChC,CAAC,CAAC;gBACP,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAA8B,CAAC;IAClE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9E,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAChE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAChE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC;IAED,wEAAwE;IACxE,6EAA6E;IAC7E,IAAI,UAAU,EAAE,YAAY,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;QAC9C,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACxC,oEAAoE;YACpE,4DAA4D;YAC5D,IAAI,EAAE,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAC5E,IAAI,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAChF,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC;YACnC,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;gBACjC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACzC,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAG,CAAC,CAAC;gBACnD,IAAI,GAAG,IAAI,GAAG,KAAK,EAAE,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC;oBACxD,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;oBACnB,IAAI,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC;wBAAE,EAAE,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;oBAC7E,UAAU,GAAG,IAAI,CAAC;gBACtB,CAAC;YACL,CAAC;YACD,IAAI,CAAC,UAAU;gBAAE,MAAM;QAC3B,CAAC;IACL,CAAC;IAED,8EAA8E;IAC9E,yDAAyD;IACzD,MAAM,oBAAoB,GAA0B,EAAE,CAAC;IAEvD,OAAO;QACH,QAAQ;QACR,aAAa;QACb,MAAM;QACN,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE;QAC9B,oBAAoB;QACpB,cAAc;QACd,eAAe;QACf,mBAAmB;QACnB,QAAQ;QACR,QAAQ;KACX,CAAC;AACN,CAAC;AAED,SAAS,uBAAuB,CAC5B,QAAsB,EACtB,aAAiC,EACjC,UAA8B;IAE9B,MAAM,KAAK,GAAG,UAAU,EAAE,UAAU,CAAC;IACrC,IAAI,CAAC,KAAK;QAAE,OAAO;IAEnB,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,UAAU,EAAE,YAAY,EAAE,OAAO,CAAC,IAAI,CAAC;WAC/D,UAAU,EAAE,YAAY,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,CAAC;IAC7E,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,EAAE;QACnC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK,EAAE,aAAa;YAAE,OAAO,SAAS,CAAC;QAC5C,OAAO;YACH,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,SAAS,EAAE,KAAK,CAAC,IAAI;YACrB,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS;SAC5E,CAAC;IACN,CAAC,CAAC;IACF,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAE,EAAE;QACxC,MAAM,KAAK,GAAG,EAA+D,CAAC;QAC9E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,IAAI,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC3B,OAAO,KAAK,EAAE,aAAa,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;YAC5D,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC;gBACP,aAAa,EAAE,KAAK,CAAC,aAAa;gBAClC,SAAS,EAAE,KAAK,CAAC,IAAI;gBACrB,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS;aAC5E,CAAC,CAAC;YACH,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpE,CAAC;QACD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAChD,CAAC,CAAC;IACF,MAAM,cAAc,GAAG,CAAC,IAAY,EAAE,IAAa,EAA6B,EAAE,CAAC,CAAC;QAChF,WAAW,EAAE,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC;QACxC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;QAClD,eAAe,EAAE,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;KAC/D,CAAC,CAAC;IAEH,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,OAAO,CAAC,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC;IACD,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;QACvC,YAAY,CAAC,UAAU,GAAG,cAAc,CAAC,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC;IACnF,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,OAAkD;IACzE,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC;SAC7B,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,EAAE,CAAC;SACzD,MAAM,EAAE;SACR,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,gBAAgB;IACrD,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,mBAAmB;IACxD,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAClC,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;AAC/G,CAAC;AAED,qFAAqF;AACrF,MAAM,CAAC,MAAM,oBAAoB,GAAG,gBAAgB,CAAC;AAErD;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,uBAAuB,CAAC;AAE7D,yFAAyF;AACzF,MAAM,CAAC,MAAM,wBAAwB,GAAG,0BAA0B,CAAC;AAEnE,sFAAsF;AACtF,MAAM,CAAC,MAAM,mBAAmB,GAAG,qBAAqB,CAAC;AAEzD,yEAAyE;AACzE,MAAM,CAAC,MAAM,sBAAsB,GAAG,wBAAwB,CAAC"}

package/packages/tools/lib/model/config-loader.d.ts

@@ -1,4 +1,4 @@
-import type { MEMOConfig } from './config.js';
+import type { MEMOConfig, ToolchainConfig } from './config.js';
 /**
  * Locate the nearest settings file by walking up from `startDir`.
  *
@@ -15,8 +15,13 @@ export declare function findConfigFile(startDir: string): string | undefined;
  * exactly the dual-read path the flip exists to remove.
  */
 export declare function loadConfig(filePath: string): MEMOConfig;
-/** Settings for a project that has none. Every command works from this. */
-export declare function defaultConfig(projectName: string): MEMOConfig;
+/**
+ * Settings for a project that has none. They name no compiler, so a command
+ * that needs one fails unless the command line names it.
+ */
+export declare function defaultConfig(modelName: string): MEMOConfig;
+/** Record the running command's `--toolchain.*` flags, as a partial `toolchain` block. */
+export declare function setCommandLineToolchain(overrides: ToolchainConfig): void;
 /**
  * Load settings for a project directory, or defaults when there are none.
  *

package/packages/tools/lib/model/config-loader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config-loader.d.ts","sourceRoot":"","sources":["../../src/model/config-loader.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAM9C;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAYnE;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,CASvD;AAED,2EAA2E;AAC3E,wBAAgB,aAAa,CAAC,WAAW,EAAE,MAAM,GAAG,UAAU,CAE7D;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,MAAM,GAAG,UAAU,CAQnE"}
+{"version":3,"file":"config-loader.d.ts","sourceRoot":"","sources":["../../src/model/config-loader.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAQ/D;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAYnE;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,CAavD;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,SAAS,EAAE,MAAM,GAAG,UAAU,CAE3D;AAYD,0FAA0F;AAC1F,wBAAgB,uBAAuB,CAAC,SAAS,EAAE,eAAe,GAAG,IAAI,CAExE;AAcD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,MAAM,GAAG,UAAU,CAQnE"}

package/packages/tools/lib/model/config-loader.js

@@ -17,6 +17,8 @@ import { existsSync } from 'node:fs';
 import { basename, dirname, resolve } from 'node:path';
 import { readIdentityRegistry } from './identity-registry.js';
 import { CONFIG_SEARCH_ORDER, readManifest } from './package-manifest.js';
+import { mergeToolchain } from './toolchain-merge.js';
+import { userToolchain } from './user-settings.js';
 /** Settings filenames, most product-scoped first. */
 const SETTINGS_FILENAMES = ['memo.tools.yaml', 'memo.tools.yml', ...CONFIG_SEARCH_ORDER];
 /**
@@ -51,16 +53,45 @@ export function findConfigFile(startDir) {
 export function loadConfig(filePath) {
     const manifest = readManifest(filePath);
     const raw = manifest.raw;
-    return {
-        projectName: manifest.name ?? basename(dirname(resolve(filePath))),
+    const modelName = manifest.name ?? basename(dirname(resolve(filePath)));
+    return withCommandLineToolchain({
+        modelName,
+        projectName: modelName, // deprecated alias, deleted in 0.15.0
         relationshipFiles: raw.relationshipFiles,
         canonicalRelationshipFile: raw.canonicalRelationshipFile,
         toolchain: raw.toolchain,
-    };
+        projectToolchain: raw.toolchain,
+        projectSettingsFile: filePath,
+    });
 }
-/** Settings for a project that has none. Every command works from this. */
-export function defaultConfig(projectName) {
-    return { projectName };
+/**
+ * Settings for a project that has none. They name no compiler, so a command
+ * that needs one fails unless the command line names it.
+ */
+export function defaultConfig(modelName) {
+    return withCommandLineToolchain({ modelName, projectName: modelName });
+}
+// ─── The command line's toolchain flags ──────────────────────────────────────
+//
+// `--toolchain.*` flags are accepted by every `memo` command and beat the
+// project's settings and the user's, a `--toolchain.compiler` deciding both
+// roles it fills. They are applied here, where every command reads
+// its settings, so no command has to thread them through to whatever loads
+// the project.
+let commandLineToolchain = {};
+/** Record the running command's `--toolchain.*` flags, as a partial `toolchain` block. */
+export function setCommandLineToolchain(overrides) {
+    commandLineToolchain = overrides;
+}
+/**
+ * The toolchain every command sees: the project's settings, the user's on top
+ * of them (the project names a compiler, and a user may use another without
+ * editing the project), and the command line's on top of both
+ * (`toolchain-merge.ts`).
+ */
+function withCommandLineToolchain(config) {
+    const toolchain = mergeToolchain(mergeToolchain(config.toolchain, userToolchain()), commandLineToolchain);
+    return Object.keys(toolchain).length === 0 ? config : { ...config, toolchain };
 }
 /**
  * Load settings for a project directory, or defaults when there are none.

package/packages/tools/lib/model/config-loader.js.map

@@ -1 +1 @@
-{"version":3,"file":"config-loader.js","sourceRoot":"","sources":["../../src/model/config-loader.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,gFAAgF;AAChF,iBAAiB;AACjB,EAAE;AACF,4EAA4E;AAC5E,0EAA0E;AAC1E,uEAAuE;AACvE,2EAA2E;AAC3E,WAAW;AACX,EAAE;AACF,2CAA2C;AAC3C,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAE9D,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAE1E,qDAAqD;AACrD,MAAM,kBAAkB,GAAG,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,GAAG,mBAAmB,CAAU,CAAC;AAElG;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC3C,IAAI,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5B,OAAO,IAAI,EAAE,CAAC;QACV,KAAK,MAAM,IAAI,IAAI,kBAAkB,EAAE,CAAC;YACpC,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACrC,IAAI,UAAU,CAAC,SAAS,CAAC;gBAAE,OAAO,SAAS,CAAC;QAChD,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG;YAAE,MAAM;QAC1B,GAAG,GAAG,MAAM,CAAC;IACjB,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CAAC,QAAgB;IACvC,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC;IACzB,OAAO;QACH,WAAW,EAAE,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;QAClE,iBAAiB,EAAE,GAAG,CAAC,iBAAuD;QAC9E,yBAAyB,EAAE,GAAG,CAAC,yBAA+C;QAC9E,SAAS,EAAE,GAAG,CAAC,SAAoC;KACtD,CAAC;AACN,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,aAAa,CAAC,WAAmB;IAC7C,OAAO,EAAE,WAAW,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,WAAmB;IACnD,MAAM,IAAI,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACvF,2EAA2E;IAC3E,0EAA0E;IAC1E,+CAA+C;IAC/C,MAAM,CAAC,eAAe,GAAG,oBAAoB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IACpE,OAAO,MAAM,CAAC;AAClB,CAAC"}
+{"version":3,"file":"config-loader.js","sourceRoot":"","sources":["../../src/model/config-loader.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,gFAAgF;AAChF,iBAAiB;AACjB,EAAE;AACF,4EAA4E;AAC5E,0EAA0E;AAC1E,uEAAuE;AACvE,2EAA2E;AAC3E,WAAW;AACX,EAAE;AACF,2CAA2C;AAC3C,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAE9D,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,qDAAqD;AACrD,MAAM,kBAAkB,GAAG,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,GAAG,mBAAmB,CAAU,CAAC;AAElG;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC3C,IAAI,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5B,OAAO,IAAI,EAAE,CAAC;QACV,KAAK,MAAM,IAAI,IAAI,kBAAkB,EAAE,CAAC;YACpC,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACrC,IAAI,UAAU,CAAC,SAAS,CAAC;gBAAE,OAAO,SAAS,CAAC;QAChD,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,GAAG;YAAE,MAAM;QAC1B,GAAG,GAAG,MAAM,CAAC;IACjB,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CAAC,QAAgB;IACvC,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC;IACzB,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACxE,OAAO,wBAAwB,CAAC;QAC5B,SAAS;QACT,WAAW,EAAE,SAAS,EAAI,sCAAsC;QAChE,iBAAiB,EAAE,GAAG,CAAC,iBAAuD;QAC9E,yBAAyB,EAAE,GAAG,CAAC,yBAA+C;QAC9E,SAAS,EAAE,GAAG,CAAC,SAAoC;QACnD,gBAAgB,EAAE,GAAG,CAAC,SAAoC;QAC1D,mBAAmB,EAAE,QAAQ;KAChC,CAAC,CAAC;AACP,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,SAAiB;IAC3C,OAAO,wBAAwB,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC;AAC3E,CAAC;AAED,gFAAgF;AAChF,EAAE;AACF,0EAA0E;AAC1E,4EAA4E;AAC5E,mEAAmE;AACnE,2EAA2E;AAC3E,eAAe;AAEf,IAAI,oBAAoB,GAAoB,EAAE,CAAC;AAE/C,0FAA0F;AAC1F,MAAM,UAAU,uBAAuB,CAAC,SAA0B;IAC9D,oBAAoB,GAAG,SAAS,CAAC;AACrC,CAAC;AAGD;;;;;GAKG;AACH,SAAS,wBAAwB,CAAC,MAAkB;IAChD,MAAM,SAAS,GAAG,cAAc,CAAC,cAAc,CAAC,MAAM,CAAC,SAAS,EAAE,aAAa,EAAE,CAAC,EAAE,oBAAoB,CAAC,CAAC;IAC1G,OAAO,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,CAAC;AACnF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,WAAmB;IACnD,MAAM,IAAI,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACvF,2EAA2E;IAC3E,0EAA0E;IAC1E,+CAA+C;IAC/C,MAAM,CAAC,eAAe,GAAG,oBAAoB,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IACpE,OAAO,MAAM,CAAC;AAClB,CAAC"}

package/packages/tools/lib/model/config.d.ts

@@ -1,5 +1,5 @@
 /** SysML v2 constructs supported as entity base types */
-export type SysMLConstruct = 'part def' | 'requirement def' | 'verification def' | 'state def' | 'use case def' | 'action def' | 'action usage' | 'item def' | 'port def' | 'interface def' | 'connection def' | 'attribute def' | 'enum def';
+export type SysMLConstruct = 'part def' | 'requirement def' | 'verification def' | 'state def' | 'use case def' | 'action def' | 'action usage' | 'item def' | 'port def' | 'interface def' | 'connection def' | 'flow def' | 'attribute def' | 'enum def';
 /** Legacy diagram type keys — each maps to exactly one SysML v2 view kind (see view-kinds.ts) */
 export type DiagramType = 'bdd' | 'ibd' | 'req' | 'ucd' | 'act' | 'afd' | 'pkg' | 'par' | 'risk' | 'stm' | 'seq' | 'fmea' | 'alloc' | 'threat-model';
 /**
@@ -10,8 +10,8 @@ export type DiagramType = 'bdd' | 'ibd' | 'req' | 'ucd' | 'act' | 'afd' | 'pkg'
  * whatever is registered, checked at resolution time against the registry, and
  * a third-party adapter must be selectable without editing this file.
  *
- * Per-provider settings live under the provider's own ID (`syside`, `sysand`,
- * …). They are typed as `unknown` here and read by that provider's adapter,
+ * Per-provider settings live under the provider's own ID
+ * (`toolchain.<provider>`). They are typed as `unknown` here and read by that provider's adapter,
  * which is the only module that knows the shape — see the index signature.
  */
 export interface ToolchainConfig {
@@ -45,11 +45,17 @@ export interface MEMOConfig {
     /**
      * Display name for CLI output.
      *
-     * The project's real name is `projectName` on its `ProjectMethodBinding`.
-     * This is a convenience copy for log lines, resolved from the binding when
-     * one is available and falling back to the directory name when it is not.
+     * The model's real name is `modelName` on its `ModelMethodBinding`.
+     * This is a convenience copy for log lines, taken from the package
+     * manifest's `name` and falling back to the directory name.
      */
-    projectName: string;
+    modelName: string;
+    /**
+     * @deprecated 0.14.0: the former name of `modelName`, set to the same
+     * value so a plugin reading `ctx.config.projectName` keeps working.
+     * Deleted in 0.15.0.
+     */
+    projectName?: string;
     /**
      * Where authored relationships are written, per model package.
      * Keyed by package qualified name, valued by a project-relative .sysml
@@ -61,6 +67,14 @@ export interface MEMOConfig {
     canonicalRelationshipFile?: string;
     /** Validator, lowering and packager provider selection. */
     toolchain?: ToolchainConfig;
+    /**
+     * The `toolchain` block the project's own settings file wrote, before the
+     * user's and the command line's layers were put over it, and the file it
+     * came from. Kept so a setting that belongs to the user can be refused where
+     * a project wrote it (`toolchain/ownership.ts`).
+     */
+    projectToolchain?: ToolchainConfig;
+    projectSettingsFile?: string;
     /**
      * Identities assigned on earlier builds, from `memo.identity.yaml`.
      *

package/packages/tools/lib/model/config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/model/config.ts"],"names":[],"mappings":"AAeA,yDAAyD;AACzD,MAAM,MAAM,cAAc,GACpB,UAAU,GACV,iBAAiB,GACjB,kBAAkB,GAClB,WAAW,GACX,cAAc,GACd,YAAY,GACZ,cAAc,GACd,UAAU,GACV,UAAU,GACV,eAAe,GACf,gBAAgB,GAChB,eAAe,GACf,UAAU,CAAC;AAEjB,iGAAiG;AACjG,MAAM,MAAM,WAAW,GACjB,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,GACtE,KAAK,GAAG,KAAK,GAAG,MAAM,GAAG,OAAO,GAAG,cAAc,CAAC;AAExD;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,eAAe;IAC5B,mCAAmC;IACnC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iDAAiD;IACjD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,8EAA8E;IAC9E,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC;CACjC;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,UAAU;IACvB;;;;;;OAMG;IACH,WAAW,EAAE,MAAM,CAAC;IAEpB;;;;;OAKG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAE3C,gFAAgF;IAChF,yBAAyB,CAAC,EAAE,MAAM,CAAC;IAEnC,2DAA2D;IAC3D,SAAS,CAAC,EAAE,eAAe,CAAC;IAE5B;;;;;;;OAOG;IACH,eAAe,CAAC,EAAE,OAAO,wBAAwB,EAAE,gBAAgB,CAAC;CACvE"}
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/model/config.ts"],"names":[],"mappings":"AAeA,yDAAyD;AACzD,MAAM,MAAM,cAAc,GACpB,UAAU,GACV,iBAAiB,GACjB,kBAAkB,GAClB,WAAW,GACX,cAAc,GACd,YAAY,GACZ,cAAc,GACd,UAAU,GACV,UAAU,GACV,eAAe,GACf,gBAAgB,GAChB,UAAU,GACV,eAAe,GACf,UAAU,CAAC;AAEjB,iGAAiG;AACjG,MAAM,MAAM,WAAW,GACjB,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,GACtE,KAAK,GAAG,KAAK,GAAG,MAAM,GAAG,OAAO,GAAG,cAAc,CAAC;AAExD;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,eAAe;IAC5B,mCAAmC;IACnC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iDAAiD;IACjD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,8EAA8E;IAC9E,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC;CACjC;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,UAAU;IACvB;;;;;;OAMG;IACH,SAAS,EAAE,MAAM,CAAC;IAElB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB;;;;;OAKG;IACH,iBAAiB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAE3C,gFAAgF;IAChF,yBAAyB,CAAC,EAAE,MAAM,CAAC;IAEnC,2DAA2D;IAC3D,SAAS,CAAC,EAAE,eAAe,CAAC;IAE5B;;;;;OAKG;IACH,gBAAgB,CAAC,EAAE,eAAe,CAAC;IACnC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAE7B;;;;;;;OAOG;IACH,eAAe,CAAC,EAAE,OAAO,wBAAwB,EAAE,gBAAgB,CAAC;CACvE"}

package/packages/tools/lib/model/effective-scope.d.ts

@@ -1,21 +1,13 @@
 import type { EffectiveMethodology, RuleCandidate } from './methodology-resolver.js';
+import { resolveEffectiveRules } from './methodology-resolver.js';
 import type { CompiledConstraint } from '../validator/constraint-eval.js';
-/**
- * The part of a kind this module needs.
- *
- * `layer` is optional here even though the registry always fills it: a caller
- * may be asking about a kind that did not resolve, and "unplaced" has to be a
- * representable answer rather than a cast.
- */
-export interface ScopedKind {
-    layer?: string;
-}
-export type ScopeDimension = 'layer' | 'module' | 'standard' | 'artifactKind' | 'viewpoint';
+import type { MemoModel } from './semantic.js';
+export type ScopeDimension = 'standard' | 'artifactKind' | 'viewpoint';
 /** The resolved answer to "what is in scope", ready to be asked questions. */
 export interface EffectiveScope {
     mode: 'allAvailable' | 'explicit';
-    layers: ReadonlySet<string>;
-    modules: ReadonlySet<string>;
+    /** The packages the selection imports (`EffectiveMethodology.selectedPackages`). */
+    packages: ReadonlySet<string>;
     standards: ReadonlySet<string>;
     artifactKinds: ReadonlySet<string>;
     viewpoints: ReadonlySet<string>;
@@ -31,21 +23,14 @@ export declare const UNRESTRICTED_SCOPE: EffectiveScope;
  * scope — including when the list is empty, which selects nothing.
  */
 export declare function isInScope(scope: EffectiveScope, dimension: ScopeDimension, value: string | undefined): boolean;
-/**
- * Is a kind in scope?
- *
- * A kind belongs to exactly one axis position, so it is in scope when its layer
- * is selected. A kind with no layer is only in scope under `allAvailable`: an
- * unplaced kind cannot be shown to satisfy an explicit selection.
- */
-export declare function isKindInScope(scope: EffectiveScope, kind: ScopedKind): boolean;
-/** Filter kinds to those in scope. Used by palettes and creation dialogs alike. */
-export declare function filterKindsInScope<T extends ScopedKind>(kinds: readonly T[], scope: EffectiveScope): T[];
 /**
  * Is a package in scope?
  *
- * `includedLayer` and `includedModule` both name packages; a methodology splits
- * them for readability, not because the resolver treats them differently.
+ * Under `explicit`, a package is in scope when the selection imports it: the
+ * methodology's package, or the binding's, publicly imports it, directly or
+ * through packages it publicly imports (`publicImportClosure`). A layer is
+ * selected through its layer package and an extension through its facade, so
+ * there is no second, name-matching test here.
  */
 export declare function isPackageInScope(scope: EffectiveScope, packageName: string): boolean;
 /**
@@ -60,15 +45,57 @@ export declare function isRulePackageInScope(scope: EffectiveScope, declaringPac
  * The rules a project's methodology actually activates.
  *
  * A rule is active when BOTH its declaring package and its subject kind are in
- * scope. A rule whose subject the methodology never selected can only report on
+ * scope — unless it is classified `invariant`, which is active in every scope. A rule whose subject the methodology never selected can only report on
  * content the project did not agree to model — which is how the GPCA prototype
  * used to accumulate cybersecurity violations for a discipline it had excluded.
  *
- * This lives here, shared, because `memo validate` and `memo rules list` are
+ * This lives here, shared, because `memo validate` and `memo validate --rules` are
  * two views of one answer. They computed it separately, and inevitably
  * disagreed: `validate` scope-filtered and `rules list` did not, so the same
  * project reported 20 rules and 38 rules depending on which command you asked.
  * A number that changes with the question is not an audit.
  */
-export declare function activeRuleCandidates(constraints: readonly CompiledConstraint[], scope: EffectiveScope, filePackages: ReadonlyMap<string, string>, kindSourceFile: (kindName: string) => string | undefined): RuleCandidate[];
+export declare function activeRuleCandidates(constraints: readonly CompiledConstraint[], scope: EffectiveScope, filePackages: ReadonlyMap<string, string>, kindSourceFile: (kindName: string) => string | undefined, 
+/** A rule in one of the project's own files is its authors': its package is always in scope. */
+isOwnFile?: (file: string) => boolean): RuleCandidate[];
+export interface InactiveRule {
+    id: string;
+    typeName?: string;
+    file?: string;
+    reason: 'package-not-selected' | 'subject-not-selected';
+    detail: string;
+}
+/**
+ * The rules a methodology does not activate, and why. A rule that does not run
+ * must say so: one that is silently absent reads as one that passed.
+ */
+export declare function inactiveRules(constraints: readonly CompiledConstraint[], scope: EffectiveScope, filePackages: ReadonlyMap<string, string>, kindSourceFile: (kindName: string) => string | undefined, isOwnFile?: (file: string) => boolean): InactiveRule[];
+/**
+ * The project's effective rule set: the rules its methodology activates, with
+ * its policies applied. One answer, asked by `memo validate`, `memo validate --rules`
+ * and the Architect's dev server, so they report one rule set.
+ */
+export declare function resolveProjectRules(input: {
+    constraints: readonly CompiledConstraint[];
+    effective: EffectiveMethodology | undefined;
+    filePackages: ReadonlyMap<string, string>;
+    kindSourceFile: (kindName: string) => string | undefined;
+    isOwnFile?: (file: string) => boolean;
+}): {
+    rules: ReturnType<typeof resolveEffectiveRules>;
+    scope: EffectiveScope | undefined;
+};
+/**
+ * The ids rules may run ON under a methodology scope: every element whose kind
+ * the scope selects, and every named, typed edge whose declared kind it
+ * selects.
+ *
+ * The edges matter because a named `flow` or `interface` typed by a domain
+ * definition is a rule subject of that kind under the RELATIONSHIP's id
+ * (relationship-subjects.ts). A set built from elements alone dropped every
+ * such subject under any explicit scope, so a rule scoped to
+ * `FunctionalExchange` or `ComponentExchange` ran on nothing and reported a
+ * clean pass.
+ */
+export declare function scopedSubjectIds(model: MemoModel, selectsKind: (kind: string) => boolean): Set<string>;
 //# sourceMappingURL=effective-scope.d.ts.map

package/packages/tools/lib/model/effective-scope.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"effective-scope.d.ts","sourceRoot":"","sources":["../../src/model/effective-scope.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAErF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAE1E;;;;;;GAMG;AACH,MAAM,WAAW,UAAU;IACvB,KAAK,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,QAAQ,GAAG,UAAU,GAAG,cAAc,GAAG,WAAW,CAAC;AAE5F,8EAA8E;AAC9E,MAAM,WAAW,cAAc;IAC3B,IAAI,EAAE,cAAc,GAAG,UAAU,CAAC;IAClC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5B,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC/B,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACnC;AAED,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,oBAAoB,GAAG,cAAc,CASrF;AAED,yFAAyF;AACzF,eAAO,MAAM,kBAAkB,EAAE,cAOhC,CAAC;AAYF;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAI9G;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,UAAU,GAAG,OAAO,CAE9E;AAED,mFAAmF;AACnF,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,UAAU,EACnD,KAAK,EAAE,SAAS,CAAC,EAAE,EACnB,KAAK,EAAE,cAAc,GACtB,CAAC,EAAE,CAGL;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAGpF;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAIzG;AAKD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,oBAAoB,CAChC,WAAW,EAAE,SAAS,kBAAkB,EAAE,EAC1C,KAAK,EAAE,cAAc,EACrB,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACzC,cAAc,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,GACzD,aAAa,EAAE,CAoBjB"}
+{"version":3,"file":"effective-scope.d.ts","sourceRoot":"","sources":["../../src/model/effective-scope.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AACrF,OAAO,EAAiC,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AACjG,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,cAAc,GAAG,WAAW,CAAC;AAEvE,8EAA8E;AAC9E,MAAM,WAAW,cAAc;IAC3B,IAAI,EAAE,cAAc,GAAG,UAAU,CAAC;IAClC,oFAAoF;IACpF,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9B,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC/B,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACnC;AAED,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,oBAAoB,GAAG,cAAc,CAQrF;AAED,yFAAyF;AACzF,eAAO,MAAM,kBAAkB,EAAE,cAMhC,CAAC;AAUF;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAI9G;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,GAAG,OAAO,CAGpF;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAIzG;AAKD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,oBAAoB,CAChC,WAAW,EAAE,SAAS,kBAAkB,EAAE,EAC1C,KAAK,EAAE,cAAc,EACrB,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACzC,cAAc,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS;AACxD,gGAAgG;AAChG,SAAS,GAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAqB,GACnD,aAAa,EAAE,CA+BjB;AAeD,MAAM,WAAW,YAAY;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,sBAAsB,GAAG,sBAAsB,CAAC;IACxD,MAAM,EAAE,MAAM,CAAC;CAClB;AAED;;;GAGG;AACH,wBAAgB,aAAa,CACzB,WAAW,EAAE,SAAS,kBAAkB,EAAE,EAC1C,KAAK,EAAE,cAAc,EACrB,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACzC,cAAc,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,EACxD,SAAS,GAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAqB,GACnD,YAAY,EAAE,CAgBhB;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE;IACvC,WAAW,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC3C,SAAS,EAAE,oBAAoB,GAAG,SAAS,CAAC;IAC5C,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1C,cAAc,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;IACzD,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;CACzC,GAAG;IAAE,KAAK,EAAE,UAAU,CAAC,OAAO,qBAAqB,CAAC,CAAC;IAAC,KAAK,EAAE,cAAc,GAAG,SAAS,CAAA;CAAE,CAQzF;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAStG"}