@memoarchitect/tools 0.13.0 → 0.15.0

package/README.md

@@ -9,9 +9,11 @@
 </p>
 
 <p align="center">
-  <code>memo-tools 0.13.0</code> &middot; MIT &middot; SysML v2 &middot; ISO 14971 &middot; IEC 62304 &middot; ISO/IEC/IEEE 42010
+  <code>memo-tools 0.15.0</code> &middot; MIT &middot; SysML v2 &middot; ISO 14971 &middot; IEC 62304 &middot; ISO/IEC/IEEE 42010
 </p>
 
+> **0.15.0 is an experimental release.** It adds support for the OpenSysML compiler alongside SysIDE; the OpenSysML path is new and has had less use. The next version will be more stable. Pin an exact version.
+
 <p align="center">
   <a href="https://memoarchitect.com/memo-tools.html">Product website</a> &middot;
   <a href="https://memoarchitect.com/memo-tools/">Documentation</a> &middot;
@@ -63,45 +65,46 @@ user's SysML v2 editor rather than a MEMO-specific VS Code extension.
 
 ```bash
 # Create and inspect a project
-memo init --list
-memo init my-device
-memo init my-device --template samd
-memo init gpca --example gpca
-memo ontology show
+memo-architect init --list
+memo-architect init my-device
+memo-architect init gpca --example gpca
+memo-architect ontology show
 
 # Upgrade a pre-native project safely (reports only unless --write is supplied)
-memo convert . --diff
-memo convert . --write
+memo-architect convert . --diff
+memo-architect convert . --write
 
 # Validate locally or in CI
 memo validate .
 memo validate . --format junit --output validation.xml
 
 # Exchange and publish model data
-memo export json --output model.json
-memo export dot --output model.dot
-memo import csv elements.csv
-memo ontology export owl --output ontology.ttl
+memo-architect export json --output model.json
+memo-architect export dot --output model.dot
+memo-architect import csv elements.csv
+memo-architect ontology export owl --output ontology.ttl
 memo pack --output model.kpar
-memo sysand publish --dry-run
+memo publish
 
 # Generate assurance artifacts
-memo dhf status
-memo export dhf --format docx --output dhf-output
-memo rules coverage
+memo-architect dhf status
+memo-architect export dhf --format docx --output dhf-output
+memo validate --standards
 ```
 
 Run `memo --help` or `memo <command> --help` for the complete command surface.
 
-`memo convert` moves legacy project content beneath `model/catalog/`, rewrites
+`memo-architect convert` moves legacy project content beneath `model/catalog/`, rewrites
 the corresponding packages/imports/artifact URIs, and creates the native project
 binding entrypoint where needed. It plans before touching the filesystem, refuses
 collisions, and is idempotent. Review its default dry-run output (or `--diff`)
 before using `--write`; then run `memo validate` and your external SysML gate.
+The full walkthrough, with what it changes and what it leaves to you, is
+[Convert an Old Project](docs/tasks/convert.md).
 
 ### Jupyter analysis samples
 
-Every `memo init` project includes `analysis/Samples/` with seven portable
+Every `memo-architect init` project includes `analysis/Samples/` with seven portable
 Syside notebooks. They cover model overview and quality, architecture hotspots,
 change-impact exploration, semantic charts, an ownership graph, and an HTML/CSV
 inventory table. The notebooks discover either `model/` or `src/` automatically,
@@ -134,14 +137,26 @@ pnpm run docs:build
 
 Each toolchain role is filled by one provider: the **validator** answers "is
 this valid SysML/KerML?", **lowering** answers "what can MEMO ingest from this
-revision?", and the **packager** builds the archive. Omit `toolchain` entirely
-to use MEMO's built-in parser and KPAR writer, which need nothing installed.
+revision?", and the **packager** builds the archive. MEMO chooses none of
+them. A project names the compiler it uses, and `memo-architect init` writes
+`compiler: opensysml` into a new one:
+
+```yaml
+toolchain:
+  compiler: opensysml    # syside or opensysml
+  packager: internal     # internal or sysand; only `memo pack` needs it
+```
+
+Anyone who wants another overrides it for themselves, without editing the project:
+`memo-architect config set compiler syside` (or Architect's Compiler control) writes their own settings file. MEMO finds the
+compiler's tools in the usual places, so nothing else needs saying.
+`compiler` names the validator and lowering together; a role can also be set on
+its own:
 
 ```yaml
 toolchain:
   validator: syside
-  lowering: internal
-  packager: sysand
+  lowering: opensysml
   syside:
     executable: ~/.local/bin/syside
     configFile: ./syside.toml
@@ -164,13 +179,12 @@ Every leaf under `toolchain` also has a generated flag, so a project can be run
 against a different toolchain without editing its settings:
 
 ```bash
-memo toolchain probe                 # which provider, which binary, which version
-memo config effective                # settings + flags + defaults, fully resolved
+memo compile --probe                 # which provider, which binary, which version
+memo compile --effective                # settings + flags, fully resolved
 memo validate --toolchain.validator syside
 ```
 
-`toolchain.compiler` is a deprecated alias kept for existing settings files; see
-`docs/reference/configuration.md`.
+See `docs/reference/configuration.md` for `toolchain.compiler`.
 
 ### Core library usage
 

package/corpus/README.md

@@ -1,37 +1,35 @@
-# Conformance corpus
+# SysML v2 Release corpus
 
 Vendored artifacts from [`Systems-Modeling/SysML-v2-Release`](https://github.com/Systems-Modeling/SysML-v2-Release),
-pinned to one commit and checksummed file by file. `memo conformance` reads
-them; nothing else in the toolchain does.
+pinned to one commit and checksummed file by file. They are the reference the
+project cites: the normative textual grammar (`bnf/*.kebnf`), the standard
+library, and the OMG's own example models. Nothing in the toolchain reads them
+at run time.
 
 Upstream paths are preserved verbatim, so every entry in
 `sysml-v2-release/manifest.json` can be checked against the Release repository
 by path and commit without consulting any script here.
 
-## What is here, and what each tree is for
+## What is here
 
-| Tree | Oracle role |
+| Tree | What it is |
 | --- | --- |
-| `sysml.library/` | Positive parse+link corpus — the normative libraries in textual form |
-| `sysml.library.xmi/` | Declared semantics, before implication |
-| `sysml.library.xmi.implied/` | **Differential oracle** — the reference implementation's own computed output, published as data |
+| `bnf/*.kebnf` | The normative textual grammar, cited by file and line |
+| `bnf/SysML-graphical-bnf.kgbnf` | The graphical grammar |
+| `sysml.library/` | The normative libraries in textual form |
+| `sysml.library.xmi/` | The libraries' declared semantics, before implication |
+| `sysml.library.xmi.implied/` | The reference implementation's computed output, published as data |
 | `sysml.library.kpar/` | The libraries as published KPARs |
-| `bnf/*.kebnf` | Textual grammar — parser conformance target |
-| `bnf/SysML-graphical-bnf.kgbnf` | Graphical grammar — notation conformance target |
-| `sysml/src/`, `kerml/src/` | Regression corpus — the Release example models |
+| `sysml/src/`, `kerml/src/` | The Release's example and training models |
 
 `manifest.json` records the pinned commit, its date, the library versions read
 off the KPAR filenames, a SHA-256 per file, and one roll-up digest over all of
-them. Every conformance result carries the commit and the digest, so a report
-always says which Release it was taken against.
+them. It is not published: `files` in `package.json` is an allowlist and does
+not list it.
 
-`baselines/` holds the frozen reports CI regresses against. They live beside the
-corpus rather than with the test fixtures because a baseline is only meaningful
-against one pin — keeping them together means moving the pin puts the stale
-baseline in the same diff.
-
-Neither directory is published: `files` in `package.json` is an allowlist and
-lists neither.
+`memo conformance`, which graded MEMO's own SysML compiler against this corpus,
+was retired with that compiler; the selected compiler is the authority on
+validity.
 
 ## Commands
 
@@ -42,22 +40,8 @@ node scripts/vendor-corpus.mjs
 # verify the working tree against the manifest, no network
 node scripts/vendor-corpus.mjs --verify
 
-# run the sweeps and compare against the frozen baselines
-node scripts/check-conformance.mjs
-```
-
-## Moving the pin
-
-Changing the commit changes what conformance means, so it is a deliberate act
-with a reviewable diff:
-
-```bash
+# move the pin: a deliberate act with a reviewable diff
 node scripts/vendor-corpus.mjs --commit <sha>
-pnpm build
-node packages/tools/lib/bin/memo.js conformance run --update-baseline
-node packages/tools/lib/bin/memo.js conformance diff-xmi --update-baseline
 ```
 
-Also update `PINNED_COMMIT` in `scripts/vendor-corpus.mjs` so a plain re-vendor
-reproduces the new pin. A baseline taken against a different pin is refused
-rather than compared — a corpus bump must never read as a regression.
+`vendored-corpus.test.ts` runs the verification in the suite.

package/package.json

@@ -1,13 +1,12 @@
 {
   "name": "@memoarchitect/tools",
-  "version": "0.13.0",
-  "description": "MEMO tools \u2014 SysML v2 parser, semantic model, validation, project operations, and CLI",
+  "version": "0.15.0",
+  "description": "MEMO tools — SysML v2 parser, semantic model, validation, project operations, and CLI",
   "type": "module",
   "main": "./packages/tools/lib/index.js",
   "types": "./packages/tools/lib/index.d.ts",
   "bin": {
-    "memo": "packages/tools/lib/bin/memo.js",
-    "memo-sysmlc": "packages/tools/lib/sysmlc/bin/memo-sysmlc.js"
+    "memo": "packages/tools/lib/bin/memo.js"
   },
   "memo": {
     "contentPackage": "@memoarchitect/ontology"
@@ -28,7 +27,7 @@
     "./package.json": "./package.json"
   },
   "scripts": {
-    "build": "pnpm generate:ir && cd packages/tools && langium generate && tsc",
+    "build": "pnpm generate:ir && cd packages/tools && tsc",
     "generate:ir": "node scripts/generate-sysml-ir.mjs",
     "prepack": "pnpm clean && pnpm build",
     "dev": "tsc -p packages/tools/tsconfig.json --watch",
@@ -37,7 +36,7 @@
     "type-check": "tsc -p packages/tools/tsconfig.json --noEmit",
     "clean": "rm -rf packages/tools/lib packages/tools/src/language/generated",
     "memo": "node packages/tools/lib/bin/memo.js",
-    "example:validate": "node scripts/validate-gpca-example.mjs",
+    "example:validate": "node scripts/validate-example.mjs",
     "docs:serve": "python3 -m mkdocs serve",
     "docs:build": "python3 -m mkdocs build --strict",
     "version:sync": "node scripts/sync-version.mjs",
@@ -47,20 +46,20 @@
     "check:boundary": "node scripts/check-config-boundary.mjs",
     "check:budgets": "node scripts/runtime-budgets.mjs",
     "check:baselines": "node scripts/verify-baseline.mjs",
+    "census:capture": "node scripts/capture-census.mjs",
     "check:corpus": "node scripts/convert-corpus.mjs",
-    "check:conformance": "node scripts/check-conformance.mjs",
     "check:metamodel": "node scripts/generate-sysml-ir.mjs --check",
     "corpus:vendor": "node scripts/vendor-corpus.mjs",
     "corpus:verify": "node scripts/vendor-corpus.mjs --verify",
     "check:transport": "node scripts/measure-transport-latency.mjs"
   },
   "dependencies": {
-    "@memoarchitect/ontology": "0.12.1",
+    "@memoarchitect/ontology": "0.15.0",
+    "@openmbee/opensysml": "0.10.0",
     "chalk": "^5.3.0",
     "chokidar": "^4.0.0",
     "commander": "^12.1.0",
     "glob": "^13.0.6",
-    "langium": "~4.3.1",
     "open": "^10.1.0",
     "ora": "^8.1.0",
     "uuid": "^11.1.1",
@@ -74,13 +73,13 @@
     "@types/node": "^22.0.0",
     "@types/ws": "^8.5.0",
     "@vitest/coverage-v8": "^2.1.0",
-    "langium-cli": "~4.3.0",
     "typescript": "~5.5.0",
     "vite": "^6.0.0",
     "vitest": "^2.1.0"
   },
   "files": [
     "packages/tools/lib/",
+    "packages/tools/python/",
     "!packages/tools/lib/__tests__/",
     "!packages/tools/lib/**/*.test.*",
     "packages/tools/src/grammar/",

package/packages/tools/lib/analysis/impact.d.ts

@@ -24,6 +24,36 @@ export interface ImpactResult {
     edges: ImpactEdge[];
 }
 export type ImpactDirection = 'downstream' | 'upstream' | 'both';
+/** The part of a model the traversal reads: elements by id, and the links between them. */
+export interface ImpactGraph {
+    element(id: string): {
+        name: string;
+        kind: string;
+        layer: string;
+    } | undefined;
+    links: Iterable<{
+        id: string;
+        type: string;
+        sourceId: string;
+        targetId: string;
+    }>;
+}
+export interface TraverseOptions {
+    direction?: ImpactDirection;
+    maxDepth?: number;
+    /** Relation types never followed (`composes`: containment is not a dependency). */
+    skipTypes?: ReadonlySet<string>;
+    /** Elements reached and listed, but not expanded: the traversal does not pass through them. */
+    stopAt?: ReadonlySet<string>;
+}
+/**
+ * BFS from one or several roots over a graph. The roots are not in the result's nodes. One traversal
+ * serves an element's neighbourhood (`computeImpact`) and the reach of a whole change (`model/impact.ts`).
+ */
+export declare function traverseImpact(graph: ImpactGraph, roots: readonly string[], options?: TraverseOptions): {
+    nodes: ImpactNode[];
+    edges: ImpactEdge[];
+};
 /**
  * Compute impact analysis via BFS from a root element.
  *

package/packages/tools/lib/analysis/impact.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"impact.d.ts","sourceRoot":"","sources":["../../src/analysis/impact.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,YAAY,EAAoB,MAAM,sBAAsB,CAAC;AAE3E,MAAM,WAAW,UAAU;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,+EAA+E;IAC/E,UAAU,EAAE,MAAM,CAAC;IACnB,kEAAkE;IAClE,SAAS,EAAE,YAAY,GAAG,UAAU,CAAC;CACxC;AAED,MAAM,WAAW,UAAU;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,KAAK,EAAE,UAAU,EAAE,CAAC;CACvB;AAED,MAAM,MAAM,eAAe,GAAG,YAAY,GAAG,UAAU,GAAG,MAAM,CAAC;AAEjE;;;;;;GAMG;AACH,wBAAgB,aAAa,CACzB,KAAK,EAAE,YAAY,EACnB,SAAS,EAAE,MAAM,EACjB,SAAS,GAAE,eAAwB,EACnC,QAAQ,GAAE,MAAW,GACtB,YAAY,CA4Fd"}
+{"version":3,"file":"impact.d.ts","sourceRoot":"","sources":["../../src/analysis/impact.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,YAAY,EAAoB,MAAM,sBAAsB,CAAC;AAE3E,MAAM,WAAW,UAAU;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,+EAA+E;IAC/E,UAAU,EAAE,MAAM,CAAC;IACnB,kEAAkE;IAClE,SAAS,EAAE,YAAY,GAAG,UAAU,CAAC;CACxC;AAED,MAAM,WAAW,UAAU;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,KAAK,EAAE,UAAU,EAAE,CAAC;CACvB;AAED,MAAM,MAAM,eAAe,GAAG,YAAY,GAAG,UAAU,GAAG,MAAM,CAAC;AAEjE,2FAA2F;AAC3F,MAAM,WAAW,WAAW;IACxB,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;IAC/E,KAAK,EAAE,QAAQ,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrF;AAED,MAAM,WAAW,eAAe;IAC5B,SAAS,CAAC,EAAE,eAAe,CAAC;IAC5B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mFAAmF;IACnF,SAAS,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAChC,+FAA+F;IAC/F,MAAM,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAChC;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC1B,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,OAAO,GAAE,eAAoB,GAC5E;IAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IAAC,KAAK,EAAE,UAAU,EAAE,CAAA;CAAE,CAuC9C;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CACzB,KAAK,EAAE,YAAY,EACnB,SAAS,EAAE,MAAM,EACjB,SAAS,GAAE,eAAwB,EACnC,QAAQ,GAAE,MAAW,GACtB,YAAY,CAOd"}

package/packages/tools/lib/analysis/impact.js

@@ -4,94 +4,67 @@
 // Supports downstream (follow outgoing), upstream (follow incoming), or both.
 // ─────────────────────────────────────────────────────────────────────────────
 /**
- * Compute impact analysis via BFS from a root element.
- *
- * - `downstream`: follows outgoing relationships (what does this element affect?)
- * - `upstream`: follows incoming relationships (what depends on this element?)
- * - `both`: follows both directions
+ * BFS from one or several roots over a graph. The roots are not in the result's nodes. One traversal
+ * serves an element's neighbourhood (`computeImpact`) and the reach of a whole change (`model/impact.ts`).
  */
-export function computeImpact(model, elementId, direction = 'both', maxDepth = 10) {
-    const root = model.elements[elementId];
-    if (!root) {
-        return { rootId: elementId, rootName: '(unknown)', rootKind: '', nodes: [], edges: [] };
-    }
-    // Build adjacency indexes from relationships
+export function traverseImpact(graph, roots, options = {}) {
+    const { direction = 'both', maxDepth = 10, skipTypes, stopAt } = options;
     const outgoing = new Map();
     const incoming = new Map();
-    for (const rel of model.relationships) {
-        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);
+    for (const rel of graph.links) {
+        if (skipTypes?.has(rel.type))
+            continue;
+        (outgoing.get(rel.sourceId) ?? outgoing.set(rel.sourceId, []).get(rel.sourceId)).push(rel);
+        (incoming.get(rel.targetId) ?? incoming.set(rel.targetId, []).get(rel.targetId)).push(rel);
     }
-    const visited = new Set();
-    visited.add(elementId);
+    const visited = new Set(roots);
     const nodes = [];
     const edges = [];
-    // BFS queue: [elementId, depth]
-    const queue = [[elementId, 0]];
-    while (queue.length > 0) {
-        const [currentId, depth] = queue.shift();
+    const queue = roots.map(id => [id, 0]);
+    const reach = (id, from, rel, depth, way) => {
+        if (visited.has(id))
+            return;
+        visited.add(id);
+        const element = graph.element(id);
+        if (!element)
+            return;
+        nodes.push({ elementId: id, name: element.name, kind: element.kind, layer: element.layer, depth, viaRelType: rel.type, direction: way });
+        if (!stopAt?.has(id))
+            queue.push([id, depth]);
+    };
+    for (let next = 0; next < queue.length; next++) {
+        const [currentId, depth] = queue[next];
         if (depth >= maxDepth)
             continue;
-        const nextDepth = depth + 1;
-        // Downstream: follow outgoing relationships
         if (direction === 'downstream' || direction === 'both') {
-            for (const rel of outgoing.get(currentId) || []) {
-                const targetId = rel.targetId;
-                edges.push({ fromId: currentId, toId: targetId, relType: rel.type, relId: rel.id });
-                if (!visited.has(targetId)) {
-                    visited.add(targetId);
-                    const target = model.elements[targetId];
-                    if (target) {
-                        nodes.push({
-                            elementId: targetId,
-                            name: target.name,
-                            kind: target.kind,
-                            layer: target.layer,
-                            depth: nextDepth,
-                            viaRelType: rel.type,
-                            direction: 'downstream',
-                        });
-                        queue.push([targetId, nextDepth]);
-                    }
-                }
+            for (const rel of outgoing.get(currentId) ?? []) {
+                edges.push({ fromId: currentId, toId: rel.targetId, relType: rel.type, relId: rel.id });
+                reach(rel.targetId, currentId, rel, depth + 1, 'downstream');
             }
         }
-        // Upstream: follow incoming relationships
         if (direction === 'upstream' || direction === 'both') {
-            for (const rel of incoming.get(currentId) || []) {
-                const sourceId = rel.sourceId;
-                edges.push({ fromId: sourceId, toId: currentId, relType: rel.type, relId: rel.id });
-                if (!visited.has(sourceId)) {
-                    visited.add(sourceId);
-                    const source = model.elements[sourceId];
-                    if (source) {
-                        nodes.push({
-                            elementId: sourceId,
-                            name: source.name,
-                            kind: source.kind,
-                            layer: source.layer,
-                            depth: nextDepth,
-                            viaRelType: rel.type,
-                            direction: 'upstream',
-                        });
-                        queue.push([sourceId, nextDepth]);
-                    }
-                }
+            for (const rel of incoming.get(currentId) ?? []) {
+                edges.push({ fromId: rel.sourceId, toId: currentId, relType: rel.type, relId: rel.id });
+                reach(rel.sourceId, currentId, rel, depth + 1, 'upstream');
             }
         }
     }
-    // Sort by depth, then name
-    nodes.sort((a, b) => a.depth - b.depth || a.name.localeCompare(b.name));
-    return {
-        rootId: elementId,
-        rootName: root.name,
-        rootKind: root.kind,
-        nodes,
-        edges,
-    };
+    nodes.sort((x, y) => x.depth - y.depth || x.name.localeCompare(y.name));
+    return { nodes, edges };
+}
+/**
+ * Compute impact analysis via BFS from a root element.
+ *
+ * - `downstream`: follows outgoing relationships (what does this element affect?)
+ * - `upstream`: follows incoming relationships (what depends on this element?)
+ * - `both`: follows both directions
+ */
+export function computeImpact(model, elementId, direction = 'both', maxDepth = 10) {
+    const root = model.elements[elementId];
+    if (!root) {
+        return { rootId: elementId, rootName: '(unknown)', rootKind: '', nodes: [], edges: [] };
+    }
+    const { nodes, edges } = traverseImpact({ element: id => model.elements[id], links: model.relationships }, [elementId], { direction, maxDepth });
+    return { rootId: elementId, rootName: root.name, rootKind: root.kind, nodes, edges };
 }
 //# sourceMappingURL=impact.js.map

package/packages/tools/lib/analysis/impact.js.map

@@ -1 +1 @@
-{"version":3,"file":"impact.js","sourceRoot":"","sources":["../../src/analysis/impact.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,gEAAgE;AAChE,8EAA8E;AAC9E,gFAAgF;AAiChF;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CACzB,KAAmB,EACnB,SAAiB,EACjB,YAA6B,MAAM,EACnC,WAAmB,EAAE;IAErB,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI,EAAE,CAAC;QACR,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC5F,CAAC;IAED,6CAA6C;IAC7C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACpC,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,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAEvB,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,gCAAgC;IAChC,MAAM,KAAK,GAAuB,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;IAEnD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC1C,IAAI,KAAK,IAAI,QAAQ;YAAE,SAAS;QAEhC,MAAM,SAAS,GAAG,KAAK,GAAG,CAAC,CAAC;QAE5B,4CAA4C;QAC5C,IAAI,SAAS,KAAK,YAAY,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACrD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC9C,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;gBAEpF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACzB,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACtB,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;oBACxC,IAAI,MAAM,EAAE,CAAC;wBACT,KAAK,CAAC,IAAI,CAAC;4BACP,SAAS,EAAE,QAAQ;4BACnB,IAAI,EAAE,MAAM,CAAC,IAAI;4BACjB,IAAI,EAAE,MAAM,CAAC,IAAI;4BACjB,KAAK,EAAE,MAAM,CAAC,KAAK;4BACnB,KAAK,EAAE,SAAS;4BAChB,UAAU,EAAE,GAAG,CAAC,IAAI;4BACpB,SAAS,EAAE,YAAY;yBAC1B,CAAC,CAAC;wBACH,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;oBACtC,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,0CAA0C;QAC1C,IAAI,SAAS,KAAK,UAAU,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACnD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC9C,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;gBAEpF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACzB,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACtB,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;oBACxC,IAAI,MAAM,EAAE,CAAC;wBACT,KAAK,CAAC,IAAI,CAAC;4BACP,SAAS,EAAE,QAAQ;4BACnB,IAAI,EAAE,MAAM,CAAC,IAAI;4BACjB,IAAI,EAAE,MAAM,CAAC,IAAI;4BACjB,KAAK,EAAE,MAAM,CAAC,KAAK;4BACnB,KAAK,EAAE,SAAS;4BAChB,UAAU,EAAE,GAAG,CAAC,IAAI;4BACpB,SAAS,EAAE,UAAU;yBACxB,CAAC,CAAC;wBACH,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;oBACtC,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,2BAA2B;IAC3B,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAExE,OAAO;QACH,MAAM,EAAE,SAAS;QACjB,QAAQ,EAAE,IAAI,CAAC,IAAI;QACnB,QAAQ,EAAE,IAAI,CAAC,IAAI;QACnB,KAAK;QACL,KAAK;KACR,CAAC;AACN,CAAC"}
+{"version":3,"file":"impact.js","sourceRoot":"","sources":["../../src/analysis/impact.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,gEAAgE;AAChE,8EAA8E;AAC9E,gFAAgF;AAgDhF;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC1B,KAAkB,EAAE,KAAwB,EAAE,UAA2B,EAAE;IAE3E,MAAM,EAAE,SAAS,GAAG,MAAM,EAAE,QAAQ,GAAG,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IACzE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8E,CAAC;IACvG,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8E,CAAC;IACvG,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAI,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACvC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5F,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,KAAK,CAAC,CAAC;IACvC,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAuB,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,IAAY,EAAE,GAAiC,EAAE,KAAa,EAAE,GAA8B,EAAE,EAAE;QACzH,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO;QAC5B,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChB,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAClC,IAAI,CAAC,OAAO;YAAE,OAAO;QACrB,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;QACzI,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC;IACF,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QAC7C,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,KAAK,IAAI,QAAQ;YAAE,SAAS;QAChC,IAAI,SAAS,KAAK,YAAY,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACrD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;gBACxF,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE,YAAY,CAAC,CAAC;YACjE,CAAC;QACL,CAAC;QACD,IAAI,SAAS,KAAK,UAAU,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACnD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;gBACxF,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC;YAC/D,CAAC;QACL,CAAC;IACL,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CACzB,KAAmB,EACnB,SAAiB,EACjB,YAA6B,MAAM,EACnC,WAAmB,EAAE;IAErB,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI,EAAE,CAAC;QACR,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC5F,CAAC;IACD,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,cAAc,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,aAAa,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC;IACjJ,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AACzF,CAAC"}

package/packages/tools/lib/analysis/interfaces-between.d.ts

@@ -0,0 +1,36 @@
+import type { MemoModelDTO } from '../model/semantic.js';
+export interface InterfaceEnd {
+    /** The port, or the element the interface is drawn to when it names no port. */
+    portId: string;
+    /** The element whose boundary the port is on (the one that was asked about). */
+    ownerId: string;
+}
+export interface InterfaceBetween {
+    id: string;
+    name: string;
+    /** The ontology kind the interface was declared as, if it was typed. */
+    kind?: string;
+    attributes: Record<string, string>;
+    /** Ends in declaration order; `from` is the interface's source end. */
+    from: InterfaceEnd;
+    to: InterfaceEnd;
+    /** True when the interface runs from the second element to the first. */
+    reversed: boolean;
+}
+export interface InterfacesBetweenOptions {
+    /** Keep only interfaces of this kind or a specialization of it. */
+    kind?: string;
+    /**
+     * Whether `kind` matches `ancestor`, by the ontology's specialization chain.
+     * Required with `kind`; without it only an exact kind name matches.
+     */
+    kindConforms?: (kind: string, ancestor: string) => boolean;
+    /**
+     * Count an interface on a port of something NESTED inside either element.
+     * Defaults to true: a node that owns an inner part which owns the port is
+     * still the node the interface leaves.
+     */
+    includeNested?: boolean;
+}
+export declare function interfacesBetween(model: MemoModelDTO, a: string, b: string, options?: InterfacesBetweenOptions): InterfaceBetween[];
+//# sourceMappingURL=interfaces-between.d.ts.map

package/packages/tools/lib/analysis/interfaces-between.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"interfaces-between.d.ts","sourceRoot":"","sources":["../../src/analysis/interfaces-between.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,YAAY,EAAoB,MAAM,sBAAsB,CAAC;AAE3E,MAAM,WAAW,YAAY;IACzB,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC;IACf,gFAAgF;IAChF,OAAO,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,gBAAgB;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,wEAAwE;IACxE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,uEAAuE;IACvE,IAAI,EAAE,YAAY,CAAC;IACnB,EAAE,EAAE,YAAY,CAAC;IACjB,yEAAyE;IACzE,QAAQ,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,wBAAwB;IACrC,mEAAmE;IACnE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;OAGG;IACH,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC;IAC3D;;;;OAIG;IACH,aAAa,CAAC,EAAE,OAAO,CAAC;CAC3B;AAeD,wBAAgB,iBAAiB,CAC7B,KAAK,EAAE,YAAY,EACnB,CAAC,EAAE,MAAM,EACT,CAAC,EAAE,MAAM,EACT,OAAO,GAAE,wBAA6B,GACvC,gBAAgB,EAAE,CAiCpB"}

package/packages/tools/lib/analysis/interfaces-between.js

@@ -0,0 +1,66 @@
+// ─── Interfaces between two elements ────────────────────────────────────────
+//
+// Every interface in the model joins two PORTS, and a port belongs to an
+// element. "What interfaces are there between node A and node B" is therefore
+// a question about the ports' owners, and answering it by hand means chasing
+// each port to the part that declares it. This does that once, for any two
+// elements of any kind, on any layer: two ROS nodes, a controller and a
+// driver board, two software components.
+//
+// Nothing here knows what a ROS node, a topic or a port type is. An interface
+// is a relationship whose `type` is `interface`; the ontology kind it was
+// declared as (`RosTopicInterface`, `PhysicalInterface`, ...) arrives as the
+// relationship's `kind`, and a caller that wants "every ROS interface" or
+// "every physical interface" passes the supertype and the ontology's own
+// specialization chain decides what matches.
+// ─────────────────────────────────────────────────────────────────────────────
+/** The owner chain of an element id, nearest first, ending at the element itself. */
+function ancestry(model, id) {
+    const chain = [];
+    const seen = new Set();
+    let current = id;
+    while (current && !seen.has(current)) {
+        seen.add(current);
+        chain.push(current);
+        current = model.elements[current]?.owner;
+    }
+    return chain;
+}
+export function interfacesBetween(model, a, b, options = {}) {
+    const includeNested = options.includeNested ?? true;
+    const matchesKind = (relationship) => {
+        if (!options.kind)
+            return true;
+        if (!relationship.kind)
+            return false;
+        return relationship.kind === options.kind
+            || (options.kindConforms?.(relationship.kind, options.kind) ?? false);
+    };
+    /** Which of the two asked-about elements an end belongs to, if either. */
+    const ownerOf = (endId) => {
+        const chain = includeNested ? ancestry(model, endId) : [endId, model.elements[endId]?.owner ?? ''];
+        return chain.find(id => id === a || id === b);
+    };
+    const found = [];
+    for (const relationship of model.relationships) {
+        if (relationship.type !== 'interface' || !matchesKind(relationship))
+            continue;
+        const fromPort = relationship.sourcePortId ?? relationship.sourceId;
+        const toPort = relationship.targetPortId ?? relationship.targetId;
+        const fromOwner = ownerOf(fromPort);
+        const toOwner = ownerOf(toPort);
+        if (!fromOwner || !toOwner || fromOwner === toOwner)
+            continue;
+        found.push({
+            id: relationship.id,
+            name: relationship.shortName ?? relationship.id,
+            kind: relationship.kind,
+            attributes: relationship.attributes ?? {},
+            from: { portId: fromPort, ownerId: fromOwner },
+            to: { portId: toPort, ownerId: toOwner },
+            reversed: fromOwner === b,
+        });
+    }
+    return found.sort((x, y) => x.id.localeCompare(y.id));
+}
+//# sourceMappingURL=interfaces-between.js.map

package/packages/tools/lib/analysis/interfaces-between.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"interfaces-between.js","sourceRoot":"","sources":["../../src/analysis/interfaces-between.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,yEAAyE;AACzE,8EAA8E;AAC9E,6EAA6E;AAC7E,2EAA2E;AAC3E,wEAAwE;AACxE,yCAAyC;AACzC,EAAE;AACF,8EAA8E;AAC9E,0EAA0E;AAC1E,6EAA6E;AAC7E,0EAA0E;AAC1E,yEAAyE;AACzE,6CAA6C;AAC7C,gFAAgF;AAwChF,qFAAqF;AACrF,SAAS,QAAQ,CAAC,KAAmB,EAAE,EAAU;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,OAAO,GAAuB,EAAE,CAAC;IACrC,OAAO,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC;IAC7C,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC7B,KAAmB,EACnB,CAAS,EACT,CAAS,EACT,UAAoC,EAAE;IAEtC,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,IAAI,CAAC;IACpD,MAAM,WAAW,GAAG,CAAC,YAA8B,EAAW,EAAE;QAC5D,IAAI,CAAC,OAAO,CAAC,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/B,IAAI,CAAC,YAAY,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACrC,OAAO,YAAY,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI;eAClC,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC;IAC9E,CAAC,CAAC;IACF,0EAA0E;IAC1E,MAAM,OAAO,GAAG,CAAC,KAAa,EAAsB,EAAE;QAClD,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;QACnG,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC;IAEF,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QAC7C,IAAI,YAAY,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC;YAAE,SAAS;QAC9E,MAAM,QAAQ,GAAG,YAAY,CAAC,YAAY,IAAI,YAAY,CAAC,QAAQ,CAAC;QACpE,MAAM,MAAM,GAAG,YAAY,CAAC,YAAY,IAAI,YAAY,CAAC,QAAQ,CAAC;QAClE,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAChC,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO,IAAI,SAAS,KAAK,OAAO;YAAE,SAAS;QAC9D,KAAK,CAAC,IAAI,CAAC;YACP,EAAE,EAAE,YAAY,CAAC,EAAE;YACnB,IAAI,EAAE,YAAY,CAAC,SAAS,IAAI,YAAY,CAAC,EAAE;YAC/C,IAAI,EAAE,YAAY,CAAC,IAAI;YACvB,UAAU,EAAE,YAAY,CAAC,UAAU,IAAI,EAAE;YACzC,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE;YAC9C,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE;YACxC,QAAQ,EAAE,SAAS,KAAK,CAAC;SAC5B,CAAC,CAAC;IACP,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1D,CAAC"}