@memoarchitect/tools 0.6.5 → 0.6.7

package/README.md

@@ -9,7 +9,14 @@
 </p>
 
 <p align="center">
-  <code>memo-tools 0.6.4</code> &middot; MIT &middot; SysML v2 &middot; ISO 14971 &middot; IEC 62304 &middot; ISO/IEC/IEEE 42010
+  <code>memo-tools 0.6.6</code> &middot; MIT &middot; SysML v2 &middot; ISO 14971 &middot; IEC 62304 &middot; ISO/IEC/IEEE 42010
+</p>
+
+<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;
+  <a href="https://github.com/memoarchitect/memo-tools">GitHub repository</a> &middot;
+  <a href="https://www.npmjs.com/package/@memoarchitect/tools">npm package</a>
 </p>
 
 ---
@@ -21,9 +28,14 @@
 ## Version compatibility
 
 `memo`, `memo-tools`, and `memo-architect` share a `MAJOR.MINOR` compatibility
-line. Any `0.5.x` release is intended to work with the other `0.5.x` products;
+line. Any `0.6.x` release is intended to work with the other `0.6.x` products;
 patch versions may advance independently for fixes and additive changes.
 
+`VERSION` is the sole release-version source for this repository. Run
+`pnpm version:sync` after changing it; CI rejects unsynchronized generated
+version fields and automatically creates the matching `v<version>` tag when
+the change reaches `main`.
+
 ## The meMO stack
 
 meMO is a four-layer stack — adopt what you need
@@ -31,10 +43,10 @@ meMO is a four-layer stack — adopt what you need
 
 | Layer | What | Where |
 |---|---|---|
-| 01 Ontology | Typed SysML v2 elements, Arcadia-inspired architecture layers | [memoarchitect/memo](https://github.com/memoarchitect/memo) |
-| 02 Methodology | Profiles, viewpoints, rules, workflow gates | [memoarchitect/memo](https://github.com/memoarchitect/memo) |
-| **03 Tools** | **Model engine + `memo` CLI — this repo** | memoarchitect/memo-tools |
-| 04 Architect | Web workbench over the same model | [memoarchitect/memo-architect](https://github.com/memoarchitect/memo-architect) |
+| 01 Ontology | Typed SysML v2 elements and architecture definitions | [Docs](https://memoarchitect.com/memo/) · [Repository](https://github.com/memoarchitect/memo) |
+| 02 Methodology | Profiles, viewpoints, rules, workflow gates | [Docs](https://memoarchitect.com/memo/) · [Repository](https://github.com/memoarchitect/memo) |
+| **03 Tools** | **Model engine + `memo` CLI — this repo** | [Docs](https://memoarchitect.com/memo-tools/) · [Repository](https://github.com/memoarchitect/memo-tools) |
+| 04 Architect | Web workbench over the same model | [Docs](https://memoarchitect.com/memo-architect/) · [Repository](https://github.com/memoarchitect/memo-architect) |
 
 ## Supported tools
 
@@ -77,11 +89,31 @@ memo rules coverage
 
 Run `memo --help` or `memo <command> --help` for the complete command surface.
 
+### Jupyter analysis samples
+
+Every `memo 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,
+so the same samples work with default templates and worked examples.
+
+Run them in a licensed Syside environment:
+
+```bash
+python -m venv analysis/.venv
+source analysis/.venv/bin/activate
+python -m pip install jupyterlab syside
+cd analysis
+jupyter lab --port 8888
+```
+
 ## Documentation
 
-The [task-oriented documentation](docs/index.md) starts with installation and a
+The [published documentation](https://memoarchitect.com/memo-tools/)
+starts with installation and a
 first useful workflow, then covers validation, import, export, CI, configuration,
-and the library API. Build it locally with:
+and the library API. Its source starts at [`docs/index.md`](docs/index.md). Build
+it locally with:
 
 ```bash
 python3 -m pip install "mkdocs>=1.6" "mkdocs-material>=9.5" "pymdown-extensions>=10.0"
@@ -125,7 +157,7 @@ React does not import core internals directly.
 import { buildMemoModel } from '@memoarchitect/tools';
 ```
 
-The API is pre-stable. Pin an exact `0.5.x` patch when embedding it directly.
+The API is pre-stable. Pin an exact `0.6.x` patch when embedding it directly.
 
 ### Maintainer checks
 
@@ -154,7 +186,7 @@ dependency to the sibling `memo` checkout for iterative development.
 
 ## Current repository relationship
 
-- A standalone clone installs `@memoarchitect/ontology@0.6.2` from npm.
+- A standalone clone installs `@memoarchitect/ontology@0.6.3` from npm.
 - The Tools repository contains no ontology git submodule.
 - The private `memo-meta` workspace keeps `memo` and `memo-tools` as sibling
   submodules and applies local pnpm overrides for cross-repository work.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@memoarchitect/tools",
-  "version": "0.6.5",
+  "version": "0.6.7",
   "description": "MEMO tools — SysML v2 parser, semantic model, validation, project operations, and CLI",
   "type": "module",
   "main": "./packages/tools/lib/index.js",
@@ -38,11 +38,13 @@
     "example:validate": "node scripts/validate-gpca-example.mjs",
     "docs:serve": "python3 -m mkdocs serve",
     "docs:build": "python3 -m mkdocs build --strict",
+    "version:sync": "node scripts/sync-version.mjs",
+    "version:check": "node scripts/sync-version.mjs --check",
     "ontology:lint": "node tools/ontology-tools/lint.mjs",
     "ontology:compat": "node tools/ontology-tools/syside-compat.mjs"
   },
   "dependencies": {
-    "@memoarchitect/ontology": "0.6.3",
+    "@memoarchitect/ontology": "0.6.5",
     "chalk": "^5.3.0",
     "chokidar": "^4.0.0",
     "commander": "^12.1.0",

package/packages/tools/lib/analysis-starters.d.ts

@@ -0,0 +1,4 @@
+/** Add model-independent Jupyter samples to a newly initialized project. */
+export declare function scaffoldAnalysisSamples(projectDir: string): void;
+export declare const analysisSampleNames: string[];
+//# sourceMappingURL=analysis-starters.d.ts.map

package/packages/tools/lib/analysis-starters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysis-starters.d.ts","sourceRoot":"","sources":["../src/analysis-starters.ts"],"names":[],"mappings":"AAibA,4EAA4E;AAC5E,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAShE;AAED,eAAO,MAAM,mBAAmB,UAA4C,CAAC"}

package/packages/tools/lib/analysis-starters.js

@@ -0,0 +1,425 @@
+import { existsSync, mkdirSync, writeFileSync } from 'node:fs';
+import { resolve } from 'node:path';
+const LOAD_MODEL = `from pathlib import Path
+from collections import Counter, defaultdict
+import syside
+
+def find_sysml_root(start=Path.cwd()):
+    """Find the nearest model/ or src/ folder containing textual SysML."""
+    for directory in (start, *start.parents):
+        for folder_name in ('model', 'src'):
+            candidate = directory / folder_name
+            if candidate.is_dir() and next(candidate.rglob('*.sysml'), None):
+                return candidate
+    raise FileNotFoundError('No model/ or src/ directory containing .sysml files was found')
+
+SYSML_ROOT = find_sysml_root()
+SYSML_FILES = sorted(SYSML_ROOT.rglob('*.sysml'))
+model, diagnostics = syside.try_load_model([str(path) for path in SYSML_FILES])
+print(f'Loaded {len(SYSML_FILES)} SysML files from {SYSML_ROOT}')`;
+const SAMPLES_README = `# MEMO analysis samples
+
+These notebooks are created by \`memo init\` and are designed to work with any
+MEMO textual SysML v2 project. They locate the nearest \`model/\` or \`src/\`
+directory automatically and query it through the typed Syside API.
+
+## Prerequisites
+
+Use Python 3.12 or newer with JupyterLab and Syside installed and licensed:
+
+\`\`\`bash
+python -m venv analysis/.venv
+source analysis/.venv/bin/activate
+python -m pip install jupyterlab syside
+cd analysis
+jupyter lab --port 8888
+\`\`\`
+
+Configure the Syside license using its supported keyring or environment setup.
+MEMO Architect's **Analysis → Jupyter Notebooks** menu opens the local server at
+\`http://127.0.0.1:8888\`.
+
+## Included notebooks
+
+| Notebook | Purpose |
+|---|---|
+| \`01-model-overview.ipynb\` | Model size, semantic composition, and diagnostic summary. |
+| \`02-architecture-hotspots.ipynb\` | Busy containers, deep ownership paths, and dominant types. |
+| \`03-model-quality.ipynb\` | Diagnostics, unnamed elements, repeated names, and empty definitions. |
+| \`04-change-impact-explorer.ipynb\` | Search an element and inspect its structural neighborhood. |
+| \`05-model-charts.ipynb\` | Bar and donut charts rendered without extra plotting packages. |
+| \`06-ownership-graph.ipynb\` | SVG network graph of model ownership relationships. |
+| \`07-model-inventory-table.ipynb\` | Filterable inventory parameters, HTML table, and CSV export. |
+
+The notebooks use \`syside.try_load_model()\`, so partial analysis remains
+available while the project contains parser or semantic diagnostics. Review the
+reported diagnostics before treating analysis results as release evidence.
+`;
+const STARTERS = [
+    {
+        filename: '01-model-overview.ipynb',
+        title: 'Model overview',
+        description: 'Visual summary of model size, semantic content, and diagnostics.',
+        codeCells: [
+            `from IPython.display import HTML, display
+
+semantic_types = [
+    'Package', 'PartDefinition', 'PartUsage', 'RequirementDefinition',
+    'RequirementUsage', 'ActionDefinition', 'ActionUsage', 'PortDefinition',
+    'PortUsage', 'ConnectionDefinition', 'ConnectionUsage', 'StateDefinition',
+    'StateUsage', 'AttributeDefinition', 'AttributeUsage'
+]
+counts = {}
+for type_name in semantic_types:
+    node_type = getattr(syside, type_name, None)
+    if node_type is not None:
+        counts[type_name] = len(list(model.elements(node_type)))
+
+largest = max(counts.values(), default=1)
+rows = ''.join(
+    f'<tr><td>{name}</td><td>{count:,}</td><td><div style="background:#2d8d70;height:12px;width:{max(2, count * 320 / largest):.0f}px"></div></td></tr>'
+    for name, count in sorted(counts.items(), key=lambda item: item[1], reverse=True)
+)
+display(HTML(f'<h3>Semantic inventory</h3><table><tr><th>Element type</th><th>Count</th><th>Relative size</th></tr>{rows}</table>'))
+
+{
+    'SysML files': len(SYSML_FILES),
+    'Errors': len(list(diagnostics.errors)),
+    'Warnings': len(list(diagnostics.warnings)),
+    'Information': len(list(diagnostics.infos)),
+}`,
+        ],
+    },
+    {
+        filename: '02-architecture-hotspots.ipynb',
+        title: 'Architecture hotspots',
+        description: 'Find busy containers, deep ownership paths, and dominant semantic types.',
+        codeCells: [
+            `from IPython.display import display
+
+semantic_elements = (
+    list(model.elements(syside.Usage, include_subtypes=True))
+    + list(model.elements(syside.Definition, include_subtypes=True))
+)
+
+def safe_name(element):
+    value = element.qualified_name or element.name or element.declared_name
+    return str(value) if value else '<unnamed>'
+
+def ownership_depth(element):
+    depth, current, seen = 0, element.owner, set()
+    while current is not None and id(current) not in seen:
+        seen.add(id(current))
+        depth += 1
+        current = getattr(current, 'owner', None)
+    return depth
+
+containers = []
+for element in semantic_elements:
+    children = [child for child in element.owned_elements if isinstance(child, (syside.Usage, syside.Definition))]
+    if children:
+        containers.append((len(children), type(element).__name__, safe_name(element)))
+
+print('Top containers by directly owned semantic elements')
+display(sorted(containers, reverse=True)[:25])
+
+print('Deepest ownership paths')
+display(sorted(
+    ((ownership_depth(item), type(item).__name__, safe_name(item)) for item in semantic_elements),
+    reverse=True,
+)[:25])
+
+print('Most common semantic types')
+Counter(type(item).__name__ for item in semantic_elements).most_common(30)`,
+        ],
+    },
+    {
+        filename: '03-model-quality.ipynb',
+        title: 'Model quality review',
+        description: 'Review diagnostics, unnamed elements, repeated names, and empty definitions.',
+        codeCells: [
+            `from IPython.display import display
+
+usages = list(model.elements(syside.Usage, include_subtypes=True))
+definitions = list(model.elements(syside.Definition, include_subtypes=True))
+semantic_elements = usages + definitions
+
+unnamed = [item for item in semantic_elements if not (item.name or item.declared_name)]
+by_name = defaultdict(list)
+for item in semantic_elements:
+    value = item.qualified_name or item.name or item.declared_name
+    name = str(value) if value else None
+    if name:
+        by_name[name].append(item)
+duplicates = [(name, len(items), sorted({type(item).__name__ for item in items})) for name, items in by_name.items() if len(items) > 1]
+empty_definitions = [
+    item for item in definitions
+    if not any(isinstance(child, (syside.Usage, syside.Definition)) for child in item.owned_elements)
+]
+
+display({
+    'parser/semantic errors': len(list(diagnostics.errors)),
+    'warnings': len(list(diagnostics.warnings)),
+    'unnamed usages or definitions': len(unnamed),
+    'repeated qualified names': len(duplicates),
+    'definitions with no owned usages/definitions': len(empty_definitions),
+})
+
+print('Repeated qualified names (first 30)')
+display(sorted(duplicates, key=lambda item: item[1], reverse=True)[:30])
+
+print('Empty definition candidates (first 30)')
+[(type(item).__name__, item.qualified_name or item.name) for item in empty_definitions[:30]]`,
+            `print('First diagnostics to investigate')
+for diagnostic in list(diagnostics.errors)[:20] + list(diagnostics.warnings)[:20]:
+    print(diagnostic)`,
+        ],
+    },
+    {
+        filename: '04-change-impact-explorer.ipynb',
+        title: 'Change-impact explorer',
+        description: 'Search any element and inspect its owner, children, and directly related elements.',
+        codeCells: [
+            `QUERY = ''  # Example: 'pump', 'controller', 'safety', or a requirement name
+
+semantic_elements = (
+    list(model.elements(syside.Usage, include_subtypes=True))
+    + list(model.elements(syside.Definition, include_subtypes=True))
+)
+
+def label(element):
+    value = element.qualified_name or element.name or element.declared_name
+    return str(value) if value else '<unnamed>'
+
+if not QUERY:
+    print('Set QUERY to a name fragment. Suggestions:')
+    for suggestion in [label(item) for item in semantic_elements if item.name][:20]:
+        print(' -', suggestion)
+    matches = []
+else:
+    matches = [item for item in semantic_elements if QUERY.casefold() in label(item).casefold()]
+    print(f'{len(matches)} match(es) for {QUERY!r}')
+
+[(type(item).__name__, label(item)) for item in matches[:100]]`,
+            `def neighborhood(element):
+    owner = getattr(element, 'owner', None)
+    children = [child for child in element.owned_elements if isinstance(child, (syside.Usage, syside.Definition))]
+    related = []
+    for relationship in element.owned_relationships:
+        for candidate in relationship.related_elements:
+            if candidate is not element:
+                related.append(candidate)
+    return {
+        'selected': (type(element).__name__, label(element)),
+        'owner': None if owner is None else (type(owner).__name__, label(owner)),
+        'children': [(type(child).__name__, label(child)) for child in children[:50]],
+        'directly related': [(type(item).__name__, label(item)) for item in related[:50]],
+    }
+
+[neighborhood(item) for item in matches[:10]]`,
+        ],
+    },
+    {
+        filename: '05-model-charts.ipynb',
+        title: 'Model charts',
+        description: 'Render semantic composition and diagnostic charts without external plotting packages.',
+        codeCells: [
+            `from html import escape
+from IPython.display import HTML, display
+
+type_names = [
+    'PartUsage', 'RequirementUsage', 'ActionUsage', 'PortUsage',
+    'ConnectionUsage', 'StateUsage', 'AttributeUsage', 'ItemUsage',
+    'PartDefinition', 'RequirementDefinition', 'ActionDefinition', 'PortDefinition'
+]
+counts = {}
+for type_name in type_names:
+    node_type = getattr(syside, type_name, None)
+    if node_type is not None:
+        counts[type_name] = len(list(model.elements(node_type)))
+
+palette = ['#2d8d70', '#3887c7', '#e58a2b', '#8357b6', '#cf5c62', '#4f9d9d']
+largest = max(counts.values(), default=1)
+bars = []
+for index, (name, count) in enumerate(sorted(counts.items(), key=lambda item: item[1], reverse=True)):
+    width = max(1, count * 100 / largest)
+    color = palette[index % len(palette)]
+    bars.append(f'''<div style="display:grid;grid-template-columns:180px 1fr 70px;gap:12px;align-items:center;margin:7px 0">
+      <div>{escape(name)}</div><div style="background:#edf2f4;border-radius:6px;overflow:hidden"><div style="width:{width:.1f}%;height:20px;background:{color}"></div></div><strong>{count:,}</strong>
+    </div>''')
+
+error_count = len(list(diagnostics.errors))
+warning_count = len(list(diagnostics.warnings))
+info_count = len(list(diagnostics.infos))
+total_diagnostics = max(1, error_count + warning_count + info_count)
+diagnostic_gradient = (
+    f'#cf5c62 0 {error_count / total_diagnostics * 100:.1f}%, '
+    f'#e5a52b {error_count / total_diagnostics * 100:.1f}% {(error_count + warning_count) / total_diagnostics * 100:.1f}%, '
+    f'#3887c7 {(error_count + warning_count) / total_diagnostics * 100:.1f}% 100%'
+)
+
+display(HTML(f'''<div style="font-family:system-ui;max-width:900px">
+  <h2>Semantic composition</h2>{''.join(bars)}
+  <h2 style="margin-top:28px">Diagnostics</h2>
+  <div style="display:flex;align-items:center;gap:24px">
+    <div style="width:150px;height:150px;border-radius:50%;background:conic-gradient({diagnostic_gradient});position:relative">
+      <div style="position:absolute;inset:28px;background:white;border-radius:50%;display:grid;place-items:center;font-size:24px;font-weight:700">{error_count + warning_count + info_count}</div>
+    </div>
+    <table><tr><th>Severity</th><th>Count</th></tr><tr><td>Errors</td><td>{error_count}</td></tr><tr><td>Warnings</td><td>{warning_count}</td></tr><tr><td>Information</td><td>{info_count}</td></tr></table>
+  </div>
+</div>'''))`,
+        ],
+    },
+    {
+        filename: '06-ownership-graph.ipynb',
+        title: 'Ownership graph',
+        description: 'Draw an SVG network of model elements and their ownership relationships.',
+        codeCells: [
+            `from html import escape
+from IPython.display import SVG, display
+
+semantic_elements = (
+    list(model.elements(syside.Usage, include_subtypes=True))
+    + list(model.elements(syside.Definition, include_subtypes=True))
+)
+
+def node_name(element):
+    value = element.name or element.declared_name or element.qualified_name
+    return str(value) if value else '<unnamed>'
+
+# Prefer named elements with semantic children, then fill with other named elements.
+ranked = sorted(
+    (item for item in semantic_elements if item.name or item.declared_name),
+    key=lambda item: sum(isinstance(child, (syside.Usage, syside.Definition)) for child in item.owned_elements),
+    reverse=True,
+)
+selected = ranked[:60]
+selected_ids = {id(item) for item in selected}
+
+def depth(element):
+    value, current, seen = 0, element.owner, set()
+    while current is not None and id(current) not in seen:
+        seen.add(id(current)); value += 1; current = getattr(current, 'owner', None)
+    return value
+
+columns = defaultdict(list)
+for item in selected:
+    columns[depth(item)].append(item)
+depths = sorted(columns)
+positions = {}
+for column_index, level in enumerate(depths):
+    for row_index, item in enumerate(columns[level]):
+        positions[id(item)] = (30 + column_index * 240, 30 + row_index * 58)
+
+width = max(500, 260 * max(1, len(depths)))
+height = max(240, 70 + 58 * max((len(items) for items in columns.values()), default=1))
+edges = []
+nodes = []
+colors = {'PartUsage':'#dff4ee', 'RequirementUsage':'#e8eefb', 'ActionUsage':'#fff0dc', 'PortUsage':'#efe5fa'}
+for item in selected:
+    x, y = positions[id(item)]
+    owner = getattr(item, 'owner', None)
+    if owner is not None and id(owner) in selected_ids:
+        ox, oy = positions[id(owner)]
+        edges.append(f'<path d="M {ox + 190} {oy + 20} C {ox + 215} {oy + 20}, {x - 25} {y + 20}, {x} {y + 20}" fill="none" stroke="#91a7b3" stroke-width="1.5"/>')
+    kind = type(item).__name__
+    fill = colors.get(kind, '#f4f6f7')
+    label = escape(node_name(item)[:27])
+    nodes.append(f'<g><rect x="{x}" y="{y}" width="190" height="40" rx="7" fill="{fill}" stroke="#547180"/><text x="{x + 9}" y="{y + 17}" font-size="11" font-weight="700">{label}</text><text x="{x + 9}" y="{y + 32}" font-size="9" fill="#587487">{kind}</text></g>')
+
+svg = f'''<svg xmlns="http://www.w3.org/2000/svg" width="100%" viewBox="0 0 {width} {height}" style="background:#fbfcfc;border:1px solid #d9e3e8;border-radius:10px">{''.join(edges)}{''.join(nodes)}</svg>'''
+display(SVG(svg))
+print(f'Displayed {len(selected)} elements and {len(edges)} ownership edges')`,
+        ],
+    },
+    {
+        filename: '07-model-inventory-table.ipynb',
+        title: 'Model inventory table',
+        description: 'Filter a model-independent element table and export the current result to CSV.',
+        codeCells: [
+            `from html import escape
+from IPython.display import HTML, display
+
+KIND_FILTER = ''   # Example: 'PartUsage' or 'Requirement'
+NAME_FILTER = ''   # Case-insensitive name fragment
+ROW_LIMIT = 250
+
+semantic_elements = (
+    list(model.elements(syside.Usage, include_subtypes=True))
+    + list(model.elements(syside.Definition, include_subtypes=True))
+)
+
+def text(value):
+    return str(value) if value else ''
+
+records = []
+for item in semantic_elements:
+    kind = type(item).__name__
+    name = text(item.name or item.declared_name)
+    qualified_name = text(item.qualified_name)
+    owner = getattr(item, 'owner', None)
+    owner_name = text(getattr(owner, 'qualified_name', None) or getattr(owner, 'name', None))
+    if KIND_FILTER and KIND_FILTER.casefold() not in kind.casefold():
+        continue
+    if NAME_FILTER and NAME_FILTER.casefold() not in (name + ' ' + qualified_name).casefold():
+        continue
+    records.append({'kind': kind, 'name': name, 'qualified_name': qualified_name, 'owner': owner_name})
+
+records.sort(key=lambda row: (row['kind'], row['qualified_name'], row['name']))
+visible = records[:ROW_LIMIT]
+rows = ''.join(
+    '<tr>' + ''.join(f'<td>{escape(row[key])}</td>' for key in ('kind', 'name', 'qualified_name', 'owner')) + '</tr>'
+    for row in visible
+)
+display(HTML(f'''<p><strong>{len(records):,}</strong> matching elements; showing {len(visible):,}.</p>
+<div style="max-height:620px;overflow:auto"><table style="font-size:12px"><thead style="position:sticky;top:0;background:white"><tr><th>Kind</th><th>Name</th><th>Qualified name</th><th>Owner</th></tr></thead><tbody>{rows}</tbody></table></div>'''))`,
+            `import csv
+
+OUTPUT = Path('model-inventory.csv')
+with OUTPUT.open('w', newline='', encoding='utf-8') as stream:
+    writer = csv.DictWriter(stream, fieldnames=['kind', 'name', 'qualified_name', 'owner'])
+    writer.writeheader()
+    writer.writerows(records)
+print(f'Exported {len(records):,} rows to {OUTPUT.resolve()}')`,
+        ],
+    },
+];
+function markdownCell(starter) {
+    return {
+        cell_type: 'markdown',
+        metadata: {},
+        source: [`# ${starter.title}\n\n${starter.description}\n\nThis sample uses only standard SysML v2 concepts and automatically discovers the project's \`model/\` or \`src/\` directory.`],
+    };
+}
+function codeCell(source) {
+    return { cell_type: 'code', metadata: {}, source: [source], execution_count: null, outputs: [] };
+}
+function notebook(starter) {
+    const cells = [markdownCell(starter), codeCell(LOAD_MODEL), ...starter.codeCells.map(codeCell)]
+        .map((cell, index) => ({ ...cell, id: `memo-${index + 1}` }));
+    return {
+        cells,
+        metadata: {
+            kernelspec: { display_name: 'Python 3 (ipykernel)', language: 'python', name: 'python3' },
+            language_info: { name: 'python', version: '3' },
+            memo: { starter: true, description: starter.description },
+        },
+        nbformat: 4,
+        nbformat_minor: 5,
+    };
+}
+/** Add model-independent Jupyter samples to a newly initialized project. */
+export function scaffoldAnalysisSamples(projectDir) {
+    const samplesDir = resolve(projectDir, 'analysis', 'Samples');
+    mkdirSync(samplesDir, { recursive: true });
+    const readmePath = resolve(samplesDir, 'README.md');
+    if (!existsSync(readmePath))
+        writeFileSync(readmePath, SAMPLES_README);
+    for (const starter of STARTERS) {
+        const path = resolve(samplesDir, starter.filename);
+        if (!existsSync(path))
+            writeFileSync(path, JSON.stringify(notebook(starter), null, 2) + '\n');
+    }
+}
+export const analysisSampleNames = STARTERS.map(starter => starter.filename);
+//# sourceMappingURL=analysis-starters.js.map

package/packages/tools/lib/analysis-starters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysis-starters.js","sourceRoot":"","sources":["../src/analysis-starters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC/D,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAkBpC,MAAM,UAAU,GAAG;;;;;;;;;;;;;;;;kEAgB+C,CAAC;AAEnE,MAAM,cAAc,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqCtB,CAAC;AAEF,MAAM,QAAQ,GAAsB;IAChC;QACI,QAAQ,EAAE,yBAAyB;QACnC,KAAK,EAAE,gBAAgB;QACvB,WAAW,EAAE,kEAAkE;QAC/E,SAAS,EAAE;YACP;;;;;;;;;;;;;;;;;;;;;;;;;;EA0BV;SACO;KACJ;IACD;QACI,QAAQ,EAAE,gCAAgC;QAC1C,KAAK,EAAE,uBAAuB;QAC9B,WAAW,EAAE,0EAA0E;QACvF,SAAS,EAAE;YACP;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2EAmC+D;SAClE;KACJ;IACD;QACI,QAAQ,EAAE,wBAAwB;QAClC,KAAK,EAAE,sBAAsB;QAC7B,WAAW,EAAE,8EAA8E;QAC3F,SAAS,EAAE;YACP;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6FA+BiF;YACjF;;sBAEU;SACb;KACJ;IACD;QACI,QAAQ,EAAE,iCAAiC;QAC3C,KAAK,EAAE,wBAAwB;QAC/B,WAAW,EAAE,oFAAoF;QACjG,SAAS,EAAE;YACP;;;;;;;;;;;;;;;;;;;;+DAoBmD;YACnD;;;;;;;;;;;;;;;8CAekC;SACrC;KACJ;IACD;QACI,QAAQ,EAAE,uBAAuB;QACjC,KAAK,EAAE,cAAc;QACrB,WAAW,EAAE,uFAAuF;QACpG,SAAS,EAAE;YACP;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YA2CA;SACH;KACJ;IACD;QACI,QAAQ,EAAE,0BAA0B;QACpC,KAAK,EAAE,iBAAiB;QACxB,WAAW,EAAE,0EAA0E;QACvF,SAAS,EAAE;YACP;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8EAsDkE;SACrE;KACJ;IACD;QACI,QAAQ,EAAE,gCAAgC;QAC1C,KAAK,EAAE,uBAAuB;QAC9B,WAAW,EAAE,gFAAgF;QAC7F,SAAS,EAAE;YACP;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;yPAmC6O;YAC7O;;;;;;;+DAOmD;SACtD;KACJ;CACJ,CAAC;AAEF,SAAS,YAAY,CAAC,OAAwB;IAC1C,OAAO;QACH,SAAS,EAAE,UAAU;QACrB,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,CAAC,KAAK,OAAO,CAAC,KAAK,OAAO,OAAO,CAAC,WAAW,kIAAkI,CAAC;KAC3L,CAAC;AACN,CAAC;AAED,SAAS,QAAQ,CAAC,MAAc;IAC5B,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AACrG,CAAC;AAED,SAAS,QAAQ,CAAC,OAAwB;IACtC,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;SAC1F,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,QAAQ,KAAK,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAClE,OAAO;QACH,KAAK;QACL,QAAQ,EAAE;YACN,UAAU,EAAE,EAAE,YAAY,EAAE,sBAAsB,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE;YACzF,aAAa,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE;YAC/C,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE;SAC5D;QACD,QAAQ,EAAE,CAAC;QACX,cAAc,EAAE,CAAC;KACpB,CAAC;AACN,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,uBAAuB,CAAC,UAAkB;IACtD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IAC9D,SAAS,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3C,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;IACpD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAAE,aAAa,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;IACvE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QACnD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IAClG,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC"}

package/packages/tools/lib/commands/ask.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ask.d.ts","sourceRoot":"","sources":["../../src/commands/ask.ts"],"names":[],"mappings":"AAmCA,MAAM,WAAW,iBAAiB;IAC9B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAsB,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC,CAqD5F"}
+{"version":3,"file":"ask.d.ts","sourceRoot":"","sources":["../../src/commands/ask.ts"],"names":[],"mappings":"AAqBA,MAAM,WAAW,iBAAiB;IAC9B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAsB,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,IAAI,CAAC,CAqD5F"}

package/packages/tools/lib/commands/ask.js

@@ -6,27 +6,10 @@
 //   memo ask "Show trace from REQ-001 to verification"
 //   memo ask "Which layers are least complete?"
 // ─────────────────────────────────────────────────────────────────────────────
-import { readdirSync } from 'node:fs';
-import { resolve } from 'node:path';
 import chalk from 'chalk';
 import { findConfigFile, parseFiles, buildMemoModel, loadOntologyRegistries, validateModel, computeCompleteness, createQueryContext, resolveLLMConfig, createProvider, askModel, } from '@memoarchitect/tools';
 import { loadAndResolveConfig } from '../server/config-resolver.js';
-function findSysmlFiles(dir) {
-    const files = [];
-    try {
-        for (const entry of readdirSync(dir, { withFileTypes: true })) {
-            const full = resolve(dir, entry.name);
-            if (entry.isDirectory() && entry.name !== 'node_modules' && entry.name !== '.memo') {
-                files.push(...findSysmlFiles(full));
-            }
-            else if (entry.name.endsWith('.sysml')) {
-                files.push(full);
-            }
-        }
-    }
-    catch { /* skip */ }
-    return files;
-}
+import { findSysmlFiles } from '../model/sysml-files.js';
 export async function askCommand(question, options) {
     // 1. Resolve LLM provider
     const llmConfig = resolveLLMConfig();

package/packages/tools/lib/commands/ask.js.map

@@ -1 +1 @@
-{"version":3,"file":"ask.js","sourceRoot":"","sources":["../../src/commands/ask.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,uDAAuD;AACvD,YAAY;AACZ,mDAAmD;AACnD,uDAAuD;AACvD,gDAAgD;AAChD,gFAAgF;AAEhF,OAAO,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EACH,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,sBAAsB,EAClE,aAAa,EAAE,mBAAmB,EAAE,kBAAkB,EACtD,gBAAgB,EAAE,cAAc,EAAE,QAAQ,GAC7C,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAEpE,SAAS,cAAc,CAAC,GAAW;IAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAC5D,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,KAAK,CAAC,WAAW,EAAE,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACjF,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;YACxC,CAAC;iBAAM,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,CAAC;QACL,CAAC;IACL,CAAC;IAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;IACtB,OAAO,KAAK,CAAC;AACjB,CAAC;AAOD,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,QAAgB,EAAE,OAA0B;IACzE,0BAA0B;IAC1B,MAAM,SAAS,GAAG,gBAAgB,EAAE,CAAC;IACrC,IAAI,CAAC,SAAS,EAAE,CAAC;QACb,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC,CAAC;QACvD,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,+DAA+D,CAAC,CAAC,CAAC;QAC1F,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,8DAA8D,CAAC,CAAC,CAAC;QACzF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;IAC3C,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAEjD,gBAAgB;IAChB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IAC1B,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,CAAC,UAAU,EAAE,CAAC;QACd,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,8CAA8C,CAAC,CAAC,CAAC;QACzE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,kBAAiD,CAAC;IACtD,IAAI,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,sBAAsB,CAAC,UAAU,CAAC,CAAC;QAC5D,IAAI,UAAU,CAAC,SAAS,GAAG,CAAC;YAAE,kBAAkB,GAAG,UAAU,CAAC,UAAU,CAAC;IAC7E,CAAC;IAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;IAEtB,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,UAAU,CAAC,UAAU,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,kBAAkB,CAAC,CAAC;IACjF,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,YAAY,GAAG,mBAAmB,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACpE,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;IAExE,0CAA0C;IAC1C,MAAM,cAAc,GAAQ,EAAE,CAAC;IAC/B,IAAI,OAAO,CAAC,KAAK;QAAE,cAAc,CAAC,YAAY,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACjE,IAAI,OAAO,CAAC,IAAI;QAAE,cAAc,CAAC,WAAW,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAE9D,SAAS;IACT,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC;IAC5C,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;IAEvE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAE3B,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,MAAM,CAAC,KAAK,CAAC,YAAY,aAAa,MAAM,CAAC,KAAK,CAAC,gBAAgB,iBAAiB,MAAM,CAAC,KAAK,CAAC,WAAW,QAAQ,CAAC,CAAC,CAAC;IAC5J,CAAC;AACL,CAAC"}
+{"version":3,"file":"ask.js","sourceRoot":"","sources":["../../src/commands/ask.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,uDAAuD;AACvD,YAAY;AACZ,mDAAmD;AACnD,uDAAuD;AACvD,gDAAgD;AAChD,gFAAgF;AAGhF,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EACH,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,sBAAsB,EAClE,aAAa,EAAE,mBAAmB,EAAE,kBAAkB,EACtD,gBAAgB,EAAE,cAAc,EAAE,QAAQ,GAC7C,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAQzD,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,QAAgB,EAAE,OAA0B;IACzE,0BAA0B;IAC1B,MAAM,SAAS,GAAG,gBAAgB,EAAE,CAAC;IACrC,IAAI,CAAC,SAAS,EAAE,CAAC;QACb,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC,CAAC;QACvD,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,+DAA+D,CAAC,CAAC,CAAC;QAC1F,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,8DAA8D,CAAC,CAAC,CAAC;QACzF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;IAC3C,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAEjD,gBAAgB;IAChB,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IAC1B,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,CAAC,UAAU,EAAE,CAAC;QACd,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,8CAA8C,CAAC,CAAC,CAAC;QACzE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,kBAAiD,CAAC;IACtD,IAAI,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,sBAAsB,CAAC,UAAU,CAAC,CAAC;QAC5D,IAAI,UAAU,CAAC,SAAS,GAAG,CAAC;YAAE,kBAAkB,GAAG,UAAU,CAAC,UAAU,CAAC;IAC7E,CAAC;IAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;IAEtB,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,UAAU,CAAC,UAAU,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,kBAAkB,CAAC,CAAC;IACjF,MAAM,UAAU,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,YAAY,GAAG,mBAAmB,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACpE,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;IAExE,0CAA0C;IAC1C,MAAM,cAAc,GAAQ,EAAE,CAAC;IAC/B,IAAI,OAAO,CAAC,KAAK;QAAE,cAAc,CAAC,YAAY,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACjE,IAAI,OAAO,CAAC,IAAI;QAAE,cAAc,CAAC,WAAW,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAE9D,SAAS;IACT,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC;IAC5C,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAEhB,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;IAEvE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAE3B,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,MAAM,CAAC,KAAK,CAAC,YAAY,aAAa,MAAM,CAAC,KAAK,CAAC,gBAAgB,iBAAiB,MAAM,CAAC,KAAK,CAAC,WAAW,QAAQ,CAAC,CAAC,CAAC;IAC5J,CAAC;AACL,CAAC"}

package/packages/tools/lib/commands/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAgJA,wBAAsB,YAAY,CAC9B,UAAU,CAAC,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE;IAAE,WAAW,CAAC,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAC/E,OAAO,CAAC,IAAI,CAAC,CA8Gf"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAiIA,wBAAsB,YAAY,CAC9B,UAAU,CAAC,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE;IAAE,WAAW,CAAC,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAC/E,OAAO,CAAC,IAAI,CAAC,CA8Gf"}

package/packages/tools/lib/commands/check.js

@@ -1,8 +1,9 @@
 import { resolve } from 'node:path';
-import { readdirSync, readFileSync, writeFileSync } from 'node:fs';
+import { readFileSync, writeFileSync } from 'node:fs';
 import chalk from 'chalk';
 import { findConfigFile, parseFiles, buildMemoModel, loadOntologyRegistries } from '@memoarchitect/tools';
 import { loadAndResolveConfig } from '../server/config-resolver.js';
+import { findSysmlFiles } from '../model/sysml-files.js';
 const STANDARD_CONSTRUCTS = new Set([
     'part', 'requirement', 'action', 'item', 'port',
     'interface', 'connection', 'attribute', 'constraint',
@@ -14,24 +15,6 @@ const STANDARD_KEYWORDS = new Set([
     'viewpoint', 'view', 'flow', 'allocate', 'connect', 'first', 'then',
     'in', 'out', 'inout', 'end', 'ref', 'doc', 'library',
 ]);
-function findSysmlFiles(dir) {
-    const files = [];
-    try {
-        for (const entry of readdirSync(dir, { withFileTypes: true })) {
-            const full = resolve(dir, entry.name);
-            if (entry.isDirectory() && entry.name !== 'node_modules' && entry.name !== '.memo') {
-                files.push(...findSysmlFiles(full));
-            }
-            else if (entry.name.endsWith('.sysml')) {
-                files.push(full);
-            }
-        }
-    }
-    catch {
-        // skip
-    }
-    return files;
-}
 function checkExplicitMultiplicity(sysmlFiles) {
     const findings = [];
     const attrRegex = /attribute\s+(\w+)\s*:\s*(\w+)\s*(?:\[([^\]]*)\])?\s*[;{=]/g;