@memoarchitect/tools 0.13.0 → 0.15.0

package/packages/tools/lib/model/parser-utils.js

@@ -1,201 +0,0 @@
-// ─── Parser Utilities ─────────────────────────────────────────────────────────
-//
-// Wraps Langium's parse helper for multi-file parsing.
-// Used by the builder to parse .sysml files into AST documents.
-// ─────────────────────────────────────────────────────────────────────────────
-import { existsSync, readFileSync } from 'node:fs';
-import { resolve } from 'node:path';
-import { pathToFileURL } from 'node:url';
-import { EmptyFileSystem, URI } from 'langium';
-import { parseHelper } from 'langium/test';
-import { createMemoSysMLServices } from '../language/memo-sysml-module.js';
-let sharedServices;
-let sharedParse;
-function sharedParser() {
-    if (!sharedParse) {
-        sharedServices = createMemoSysMLServices({ ...EmptyFileSystem }).MemoSysML;
-        sharedParse = parseHelper(sharedServices);
-    }
-    return { services: sharedServices, parse: sharedParse };
-}
-function documentUriFor(filePath) {
-    return URI.parse(pathToFileURL(resolve(filePath)).toString());
-}
-/** Drop a document from the shared store when it leaves an incremental project. */
-export function forgetDocument(filePath) {
-    if (!sharedServices)
-        return;
-    const uri = documentUriFor(filePath);
-    if (sharedServices.shared.workspace.LangiumDocuments.hasDocument(uri)) {
-        sharedServices.shared.workspace.LangiumDocuments.deleteDocument(uri);
-    }
-}
-/**
- * Parse multiple SysML files and return their ASTs.
- * Each file is parsed independently (no cross-file resolution for MVP).
- */
-export async function parseFiles(filePaths, basePath = '') {
-    const { services, parse } = sharedParser();
-    const documents = [];
-    const errors = [];
-    for (const filePath of filePaths) {
-        try {
-            const source = readFileSync(filePath, 'utf-8');
-            const uri = documentUriFor(filePath);
-            if (services.shared.workspace.LangiumDocuments.hasDocument(uri)) {
-                services.shared.workspace.LangiumDocuments.deleteDocument(uri);
-            }
-            const doc = await parse(source, { documentUri: uri.toString() });
-            // Collect lexer + parser errors
-            const lexerErrors = doc.parseResult.lexerErrors;
-            const parserErrors = doc.parseResult.parserErrors;
-            for (const err of lexerErrors) {
-                errors.push({
-                    file: relativePath(filePath, basePath),
-                    message: err.message,
-                    line: err.line,
-                    column: err.column,
-                });
-            }
-            for (const err of parserErrors) {
-                const token = err.token;
-                errors.push({
-                    file: relativePath(filePath, basePath),
-                    message: err.message,
-                    line: token?.startLine,
-                    column: token?.startColumn,
-                });
-            }
-            documents.push({
-                document: doc,
-                filePath: relativePath(filePath, basePath),
-            });
-        }
-        catch (e) {
-            errors.push({
-                file: relativePath(filePath, basePath),
-                message: e instanceof Error ? e.message : String(e),
-            });
-        }
-    }
-    return { documents, errors };
-}
-/**
- * Coherent project document cache for the live runtime.
- *
- * The first build parses the complete project. Later builds parse only files
- * reported by the watcher, discard deleted files, and return the complete
- * cached document/error set to the semantic builder. This keeps snapshot
- * semantics identical to a cold build while removing unchanged parser work
- * from the project-save hot path.
- */
-export class IncrementalProjectParser {
-    basePath;
-    documents = new Map();
-    errors = new Map();
-    constructor(basePath) {
-        this.basePath = basePath;
-    }
-    async parse(allFiles, changedFiles) {
-        const absoluteFiles = new Set(allFiles.map(file => resolve(file)));
-        for (const cached of [...this.documents.keys()]) {
-            if (!absoluteFiles.has(cached)) {
-                this.documents.delete(cached);
-                this.errors.delete(cached);
-                forgetDocument(cached);
-            }
-        }
-        const targets = changedFiles === undefined
-            ? [...absoluteFiles]
-            : [...new Set(changedFiles.map(file => resolve(this.basePath, file)))]
-                .filter(file => absoluteFiles.has(file) && existsSync(file));
-        for (const file of targets) {
-            const result = await parseFiles([file], this.basePath);
-            const document = result.documents[0];
-            if (document)
-                this.documents.set(file, document);
-            else
-                this.documents.delete(file);
-            this.errors.set(file, result.errors);
-        }
-        // A file newly discovered outside the watcher batch still needs a
-        // document; this covers atomic directory moves and watcher coalescing.
-        const missing = [...absoluteFiles].filter(file => !this.documents.has(file));
-        for (const file of missing) {
-            const result = await parseFiles([file], this.basePath);
-            const document = result.documents[0];
-            if (document)
-                this.documents.set(file, document);
-            this.errors.set(file, result.errors);
-        }
-        return {
-            documents: [...this.documents.values()].sort((a, b) => a.filePath.localeCompare(b.filePath)),
-            errors: [...this.errors.values()].flat(),
-        };
-    }
-}
-/**
- * Parse a single SysML source string, keeping the CST so callers can edit the
- * original text by offset. Source-preserving editors use this to validate a
- * candidate edit before it replaces the file on disk.
- */
-export async function parseText(source) {
-    const services = createMemoSysMLServices({ ...EmptyFileSystem }).MemoSysML;
-    const parse = parseHelper(services);
-    const document = await parse(source);
-    const errors = [];
-    for (const err of document.parseResult.lexerErrors) {
-        errors.push({ file: '', message: err.message, line: err.line, column: err.column });
-    }
-    for (const err of document.parseResult.parserErrors) {
-        const token = err.token;
-        errors.push({
-            file: '',
-            message: err.message,
-            line: token?.startLine,
-            column: token?.startColumn,
-        });
-    }
-    return { document, errors };
-}
-/**
- * Parse one SysML file to an AST synchronously.
- *
- * `parseFiles`/`parseText` go through Langium's async document builder, which
- * several callers cannot use: the ontology-browser metadata path is synchronous
- * all the way up through `buildLayers` and `getPackageMetadata`. Langium's
- * parser itself is synchronous, so those callers can have a real AST without
- * the surrounding pipeline going async — which is what let the regex scanner
- * survive as long as it did.
- *
- * Returns undefined when the file cannot be read or produces no root node.
- * Parse errors are not surfaced: callers here are building a catalog view, and
- * a partially-parsed file should contribute what it has rather than vanish.
- */
-export function parseFileToAstSync(filePath) {
-    try {
-        const source = readFileSync(filePath, 'utf-8');
-        const services = getSyncServices();
-        const result = services.parser.LangiumParser.parse(source);
-        return result.value ?? undefined;
-    }
-    catch {
-        return undefined;
-    }
-}
-/**
- * Language services are expensive to construct and stateless for parsing, so
- * the synchronous path reuses one instance across every file it scans.
- */
-let syncServices;
-function getSyncServices() {
-    syncServices ??= createMemoSysMLServices({ ...EmptyFileSystem }).MemoSysML;
-    return syncServices;
-}
-function relativePath(filePath, basePath) {
-    if (basePath && filePath.startsWith(basePath)) {
-        return filePath.slice(basePath.length).replace(/^\//, '');
-    }
-    return filePath;
-}
-//# sourceMappingURL=parser-utils.js.map

package/packages/tools/lib/model/parser-utils.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"parser-utils.js","sourceRoot":"","sources":["../../src/model/parser-utils.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,uDAAuD;AACvD,gEAAgE;AAChE,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,GAAG,EAAwB,MAAM,SAAS,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,kCAAkC,CAAC;AAoB3E,IAAI,cAAmF,CAAC;AACxF,IAAI,WAA8D,CAAC;AAEnE,SAAS,YAAY;IACjB,IAAI,CAAC,WAAW,EAAE,CAAC;QACf,cAAc,GAAG,uBAAuB,CAAC,EAAE,GAAG,eAAe,EAAE,CAAC,CAAC,SAAS,CAAC;QAC3E,WAAW,GAAG,WAAW,CAAQ,cAAc,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,cAAe,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,cAAc,CAAC,QAAgB;IACpC,OAAO,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;AAClE,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC3C,IAAI,CAAC,cAAc;QAAE,OAAO;IAC5B,MAAM,GAAG,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IACrC,IAAI,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QACpE,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;IACzE,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,SAAmB,EAAE,WAAmB,EAAE;IACvE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,YAAY,EAAE,CAAC;IAE3C,MAAM,SAAS,GAAqB,EAAE,CAAC;IACvC,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC/C,MAAM,GAAG,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;YACrC,IAAI,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC9D,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;YACnE,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAEjE,gCAAgC;YAChC,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC;YAChD,MAAM,YAAY,GAAG,GAAG,CAAC,WAAW,CAAC,YAAY,CAAC;YAElD,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;gBAC5B,MAAM,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE,QAAQ,CAAC;oBACtC,OAAO,EAAE,GAAG,CAAC,OAAO;oBACpB,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,MAAM,EAAE,GAAG,CAAC,MAAM;iBACrB,CAAC,CAAC;YACP,CAAC;YAED,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;gBAC7B,MAAM,KAAK,GAAI,GAAW,CAAC,KAAK,CAAC;gBACjC,MAAM,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE,QAAQ,CAAC;oBACtC,OAAO,EAAE,GAAG,CAAC,OAAO;oBACpB,IAAI,EAAE,KAAK,EAAE,SAAS;oBACtB,MAAM,EAAE,KAAK,EAAE,WAAW;iBAC7B,CAAC,CAAC;YACP,CAAC;YAED,SAAS,CAAC,IAAI,CAAC;gBACX,QAAQ,EAAE,GAAG;gBACb,QAAQ,EAAE,YAAY,CAAC,QAAQ,EAAE,QAAQ,CAAC;aAC7C,CAAC,CAAC;QACP,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACT,MAAM,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE,QAAQ,CAAC;gBACtC,OAAO,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;aACtD,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AACjC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,wBAAwB;IAIJ;IAHZ,SAAS,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC9C,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IAE1D,YAA6B,QAAgB;QAAhB,aAAQ,GAAR,QAAQ,CAAQ;IAAG,CAAC;IAEjD,KAAK,CAAC,KAAK,CAAC,QAAkB,EAAE,YAAgC;QAC5D,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnE,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YAC9C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC9B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC3B,cAAc,CAAC,MAAM,CAAC,CAAC;YAC3B,CAAC;QACL,CAAC;QAED,MAAM,OAAO,GAAG,YAAY,KAAK,SAAS;YACtC,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC;YACpB,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;iBACjE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QAErE,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACrC,IAAI,QAAQ;gBAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;;gBAC5C,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QACzC,CAAC;QAED,kEAAkE;QAClE,uEAAuE;QACvE,MAAM,OAAO,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7E,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACrC,IAAI,QAAQ;gBAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACjD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QACzC,CAAC;QAED,OAAO;YACH,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC5F,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE;SAC3C,CAAC;IACN,CAAC;CACJ;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,MAAc;IAI1C,MAAM,QAAQ,GAAG,uBAAuB,CAAC,EAAE,GAAG,eAAe,EAAE,CAAC,CAAC,SAAS,CAAC;IAC3E,MAAM,KAAK,GAAG,WAAW,CAAQ,QAAQ,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC;IAErC,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;QACjD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,WAAW,CAAC,YAAY,EAAE,CAAC;QAClD,MAAM,KAAK,GAAI,GAAW,CAAC,KAAK,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,EAAE;YACR,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,IAAI,EAAE,KAAK,EAAE,SAAS;YACtB,MAAM,EAAE,KAAK,EAAE,WAAW;SAC7B,CAAC,CAAC;IACP,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAChC,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IAC/C,IAAI,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,eAAe,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAQ,MAAM,CAAC,CAAC;QAClE,OAAO,MAAM,CAAC,KAAK,IAAI,SAAS,CAAC;IACrC,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,SAAS,CAAC;IACrB,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,IAAI,YAAiF,CAAC;AACtF,SAAS,eAAe;IACpB,YAAY,KAAK,uBAAuB,CAAC,EAAE,GAAG,eAAe,EAAE,CAAC,CAAC,SAAS,CAAC;IAC3E,OAAO,YAAY,CAAC;AACxB,CAAC;AAED,SAAS,YAAY,CAAC,QAAgB,EAAE,QAAgB;IACpD,IAAI,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC"}

package/packages/tools/lib/sysmlc/bin/memo-sysmlc.d.ts

@@ -1,3 +0,0 @@
-#!/usr/bin/env node
-export {};
-//# sourceMappingURL=memo-sysmlc.d.ts.map

package/packages/tools/lib/sysmlc/bin/memo-sysmlc.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"memo-sysmlc.d.ts","sourceRoot":"","sources":["../../../src/sysmlc/bin/memo-sysmlc.ts"],"names":[],"mappings":""}

package/packages/tools/lib/sysmlc/bin/memo-sysmlc.js

@@ -1,97 +0,0 @@
-#!/usr/bin/env node
-// ─── memo-sysmlc ─────────────────────────────────────────────────────────────
-//
-// MEMO's own compiler, shipped as a tool. Two modes and no more:
-//
-//   one-shot   `memo-sysmlc check <dir>` and `memo-sysmlc emit-ir <dir>` — for scripts,
-//              CI, and anyone who wants to see what MEMO reads without running
-//              MEMO. Pays Node's startup once, which is what one-shot is for.
-//   server     `memo-sysmlc serve --stdio` — LSP. What Architect's live refresh
-//              talks to, and what an editor can talk to unchanged.
-//
-// The reason this exists at all is that in-process, a contract can be cheated:
-// objects pass by reference, state is shared, serialization is skipped. Over a
-// pipe none of that is possible, so the IR and the protocol become a boundary
-// we meet before any third party does.
-// ─────────────────────────────────────────────────────────────────────────────
-import { resolve } from 'node:path';
-import { Command } from 'commander';
-import { SYSMLC_PROTOCOL_VERSION, checkProject, lowerProject, } from '@memoarchitect/tools';
-import { packageVersion, serveStdio } from '../server.js';
-/**
- * `file:line:col: error: message` — the prefix every editor and CI annotator
- * already parses.
- *
- * No domain suffix here. A domain answers "whose complaint is this?", and that
- * depends on which role the caller put this compiler in — a question the
- * compiler is not the one to answer. MEMO stamps it; `memo-sysmlc` reports what it
- * found.
- */
-function formatGnu(error) {
-    const where = error.line !== undefined
-        ? `${error.file}:${error.line}:${error.column ?? 1}: `
-        : error.file ? `${error.file}: ` : '';
-    return `${where}error: ${error.message}`;
-}
-function report(errors, payload, format) {
-    if (format === 'json') {
-        process.stdout.write(`${JSON.stringify(payload, null, 2)}\n`);
-        return;
-    }
-    for (const error of errors)
-        process.stdout.write(`${formatGnu(error)}\n`);
-}
-const program = new Command();
-program
-    .name('memo-sysmlc')
-    .description("MEMO's SysML v2 compiler")
-    .version(packageVersion() ?? '0.0.0', '-V, --version')
-    .option('--protocol-version', 'print the protocol version this build speaks and exit');
-program
-    .command('check')
-    .description('Parse a project and report what the compiler could not read')
-    .argument('[dir]', 'project directory', '.')
-    .option('--format <gnu|json>', 'output format', 'gnu')
-    .action(async (dir, options) => {
-    const { accepted, parseErrors } = await checkProject(resolve(dir));
-    const payload = {
-        protocolVersion: SYSMLC_PROTOCOL_VERSION, accepted, parseErrors,
-    };
-    report(parseErrors, payload, options.format);
-    // A rejected revision is a normal state, not a crash: exit 1 says "there
-    // are errors", the way every compiler does.
-    process.exitCode = accepted ? 0 : 1;
-});
-program
-    .command('emit-ir')
-    .description('Lower a project and write its IR')
-    .argument('[dir]', 'project directory', '.')
-    .option('--format <json>', 'output format', 'json')
-    .action(async (dir) => {
-    const ir = await lowerProject(resolve(dir));
-    const payload = { protocolVersion: SYSMLC_PROTOCOL_VERSION, ir };
-    process.stdout.write(`${JSON.stringify(payload, null, 2)}\n`);
-    // Emitting is not gating (§1.1): partial IR for a broken revision is
-    // exactly what the canvas needs to draw what *was* understood, so the IR
-    // is written either way and the status says whether it is complete.
-    process.exitCode = ir.accepted ? 0 : 1;
-});
-program
-    .command('serve')
-    .description('Run as a language server')
-    .option('--stdio', 'communicate over stdin/stdout', false)
-    .action((options) => {
-    if (!options.stdio) {
-        process.stderr.write('memo-sysmlc serve requires --stdio. No other transport is offered.\n');
-        process.exitCode = 2;
-        return;
-    }
-    serveStdio(packageVersion());
-});
-if (process.argv.includes('--protocol-version')) {
-    process.stdout.write(`${SYSMLC_PROTOCOL_VERSION}\n`);
-}
-else {
-    await program.parseAsync(process.argv);
-}
-//# sourceMappingURL=memo-sysmlc.js.map

package/packages/tools/lib/sysmlc/bin/memo-sysmlc.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"memo-sysmlc.js","sourceRoot":"","sources":["../../../src/sysmlc/bin/memo-sysmlc.ts"],"names":[],"mappings":";AACA,gFAAgF;AAChF,EAAE;AACF,iEAAiE;AACjE,EAAE;AACF,wFAAwF;AACxF,+EAA+E;AAC/E,8EAA8E;AAC9E,gFAAgF;AAChF,mEAAmE;AACnE,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,8EAA8E;AAC9E,uCAAuC;AACvC,gFAAgF;AAEhF,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EACH,uBAAuB,EACvB,YAAY,EACZ,YAAY,GAIf,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1D;;;;;;;;GAQG;AACH,SAAS,SAAS,CAAC,KAAiB;IAChC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,KAAK,SAAS;QAClC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI;QACtD,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1C,OAAO,GAAG,KAAK,UAAU,KAAK,CAAC,OAAO,EAAE,CAAC;AAC7C,CAAC;AAED,SAAS,MAAM,CAAC,MAA6B,EAAE,OAAgB,EAAE,MAAc;IAC3E,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACpB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9D,OAAO;IACX,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAC9E,CAAC;AAED,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAC;AAC9B,OAAO;KACF,IAAI,CAAC,aAAa,CAAC;KACnB,WAAW,CAAC,0BAA0B,CAAC;KACvC,OAAO,CAAC,cAAc,EAAE,IAAI,OAAO,EAAE,eAAe,CAAC;KACrD,MAAM,CAAC,oBAAoB,EAAE,uDAAuD,CAAC,CAAC;AAE3F,OAAO;KACF,OAAO,CAAC,OAAO,CAAC;KAChB,WAAW,CAAC,6DAA6D,CAAC;KAC1E,QAAQ,CAAC,OAAO,EAAE,mBAAmB,EAAE,GAAG,CAAC;KAC3C,MAAM,CAAC,qBAAqB,EAAE,eAAe,EAAE,KAAK,CAAC;KACrD,MAAM,CAAC,KAAK,EAAE,GAAW,EAAE,OAA2B,EAAE,EAAE;IACvD,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IACnE,MAAM,OAAO,GAAsB;QAC/B,eAAe,EAAE,uBAAuB,EAAE,QAAQ,EAAE,WAAW;KAClE,CAAC;IACF,MAAM,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7C,yEAAyE;IACzE,4CAA4C;IAC5C,OAAO,CAAC,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACxC,CAAC,CAAC,CAAC;AAEP,OAAO;KACF,OAAO,CAAC,SAAS,CAAC;KAClB,WAAW,CAAC,kCAAkC,CAAC;KAC/C,QAAQ,CAAC,OAAO,EAAE,mBAAmB,EAAE,GAAG,CAAC;KAC3C,MAAM,CAAC,iBAAiB,EAAE,eAAe,EAAE,MAAM,CAAC;KAClD,MAAM,CAAC,KAAK,EAAE,GAAW,EAAE,EAAE;IAC1B,MAAM,EAAE,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAuB,EAAE,eAAe,EAAE,uBAAuB,EAAE,EAAE,EAAE,CAAC;IACrF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9D,qEAAqE;IACrE,yEAAyE;IACzE,oEAAoE;IACpE,OAAO,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC,CAAC,CAAC;AAEP,OAAO;KACF,OAAO,CAAC,OAAO,CAAC;KAChB,WAAW,CAAC,0BAA0B,CAAC;KACvC,MAAM,CAAC,SAAS,EAAE,+BAA+B,EAAE,KAAK,CAAC;KACzD,MAAM,CAAC,CAAC,OAA2B,EAAE,EAAE;IACpC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACjB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,sEAAsE,CAAC,CAAC;QAC7F,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACrB,OAAO;IACX,CAAC;IACD,UAAU,CAAC,cAAc,EAAE,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC;AAEP,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,CAAC;IAC9C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,uBAAuB,IAAI,CAAC,CAAC;AACzD,CAAC;KAAM,CAAC;IACJ,MAAM,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAC3C,CAAC"}

package/packages/tools/lib/sysmlc/index.d.ts

@@ -1,2 +0,0 @@
-export { SysmlcServer, serveStdio, protocolCapability, packageVersion, IMPLEMENTATION_NAME } from './server.js';
-//# sourceMappingURL=index.d.ts.map

package/packages/tools/lib/sysmlc/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/sysmlc/index.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,kBAAkB,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC"}

package/packages/tools/lib/sysmlc/index.js

@@ -1,7 +0,0 @@
-// MEMO's compiler tooling, shipped by @memoarchitect/tools.
-//
-// The protocol itself lives in `@memoarchitect/tools`, because both sides of a
-// boundary have to agree on it and only one of them can own it. This package
-// implements that protocol; it does not define it.
-export { SysmlcServer, serveStdio, protocolCapability, packageVersion, IMPLEMENTATION_NAME } from './server.js';
-//# sourceMappingURL=index.js.map

package/packages/tools/lib/sysmlc/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/sysmlc/index.ts"],"names":[],"mappings":"AAAA,4DAA4D;AAC5D,EAAE;AACF,+EAA+E;AAC/E,6EAA6E;AAC7E,mDAAmD;AAEnD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,kBAAkB,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC"}

package/packages/tools/lib/sysmlc/server.d.ts

@@ -1,29 +0,0 @@
-import { type Connection, type Diagnostic as LspDiagnostic } from 'vscode-languageserver/node.js';
-import { type EmitIrParams, type EmitIrResponse, type ProtocolCapability } from '@memoarchitect/tools';
-export declare const IMPLEMENTATION_NAME = "sysmlc";
-export declare function protocolCapability(version?: string): ProtocolCapability;
-export declare class SysmlcServer {
-    private readonly version?;
-    private readonly projects;
-    constructor(version?: string | undefined);
-    private state;
-    /**
-     * Answer `memo/emitIr`, or refuse to answer stale.
-     *
-     * The check happens after the work, not before it: a revision is superseded
-     * by whatever arrived *while* it was compiling, and that is precisely the
-     * window this rule exists to close. Handing back the finished-but-old model
-     * would put a picture on the canvas of a revision the user has already
-     * edited past, with nothing to tell them so.
-     */
-    emitIr(params: EmitIrParams): Promise<EmitIrResponse>;
-    /** Syntax diagnostics for one open document, in LSP's own shape. */
-    documentDiagnostics(text: string): Promise<LspDiagnostic[]>;
-    /** Wire the server onto a connection. Split out so tests can drive it. */
-    listen(connection: Connection): void;
-}
-/** Entry point for `memo-sysmlc serve --stdio`. */
-export declare function serveStdio(version?: string): void;
-/** Read this package's own version, for `--version` and the handshake. */
-export declare function packageVersion(): string | undefined;
-//# sourceMappingURL=server.d.ts.map

package/packages/tools/lib/sysmlc/server.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../../src/sysmlc/server.ts"],"names":[],"mappings":"AAiBA,OAAO,EAMH,KAAK,UAAU,EACf,KAAK,UAAU,IAAI,aAAa,EACnC,MAAM,+BAA+B,CAAC;AAEvC,OAAO,EAQH,KAAK,YAAY,EACjB,KAAK,cAAc,EAEnB,KAAK,kBAAkB,EAC1B,MAAM,sBAAsB,CAAC;AAE9B,eAAO,MAAM,mBAAmB,WAAW,CAAC;AAE5C,wBAAgB,kBAAkB,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,kBAAkB,CAOvE;AAuCD,qBAAa,YAAY;IAGT,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;IAFrC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAmC;gBAE/B,OAAO,CAAC,EAAE,MAAM,YAAA;IAE7C,OAAO,CAAC,KAAK;IASb;;;;;;;;OAQG;IACG,MAAM,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,cAAc,CAAC;IA2B3D,oEAAoE;IAC9D,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC;IAcjE,0EAA0E;IAC1E,MAAM,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI;CAkCvC;AAED,mDAAmD;AACnD,wBAAgB,UAAU,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CASjD;AAED,0EAA0E;AAC1E,wBAAgB,cAAc,IAAI,MAAM,GAAG,SAAS,CAOnD"}

package/packages/tools/lib/sysmlc/server.js

@@ -1,168 +0,0 @@
-// ─── memo-sysmlc serve --stdio ───────────────────────────────────────────────
-//
-// MEMO's compiler as a long-lived server. Node starts in 50–150 ms, which is
-// fine once and hopeless on every save, so the process transport is a server
-// that is spawned once and answers many revisions — and the protocol it speaks
-// is LSP, because LSP already solved lifecycle, document synchronisation and
-// cancellation, and because an editor that speaks it gets MEMO diagnostics
-// without anyone writing a MEMO client.
-//
-// Exactly one request is added: `memo/emitIr`. Everything else here is standard
-// LSP.
-// ─────────────────────────────────────────────────────────────────────────────
-import { createHash } from 'node:crypto';
-import { readFileSync, statSync } from 'node:fs';
-import { resolve } from 'node:path';
-import { fileURLToPath } from 'node:url';
-import { createConnection, DiagnosticSeverity, ProposedFeatures, TextDocumentSyncKind, TextDocuments, } from 'vscode-languageserver/node.js';
-import { TextDocument } from 'vscode-languageserver-textdocument';
-import { EMIT_IR_REQUEST, PROTOCOL_CAPABILITY_KEY, SYSMLC_IR_VERSION, SYSMLC_PROTOCOL_VERSION, lowerProject, resolveSources, parseText, } from '@memoarchitect/tools';
-export const IMPLEMENTATION_NAME = 'sysmlc';
-export function protocolCapability(version) {
-    return {
-        protocolVersion: SYSMLC_PROTOCOL_VERSION,
-        irVersion: SYSMLC_IR_VERSION,
-        implementation: IMPLEMENTATION_NAME,
-        implementationVersion: version,
-    };
-}
-/**
- * What the project looks like on disk right now.
- *
- * Path, size and mtime of every source file. Deliberately not a content hash:
- * this runs before every compile, and the point is to be cheaper than the
- * compile it might avoid. A same-millisecond same-size edit would defeat it,
- * which is why it only ever *skips work*, never decides an answer.
- */
-function fingerprintProject(projectDir, files) {
-    const hash = createHash('sha256');
-    // The requested source list is part of the fingerprint, not just its
-    // contents: two requests against one directory with different file sets are
-    // different questions, and a cache that could not tell them apart would
-    // answer the second with the first one's model.
-    for (const file of resolveSources(projectDir, files)) {
-        try {
-            const stat = statSync(file);
-            hash.update(`${file}:${stat.size}:${stat.mtimeMs}\n`);
-        }
-        catch {
-            hash.update(`${file}:missing\n`);
-        }
-    }
-    return hash.digest('hex');
-}
-export class SysmlcServer {
-    version;
-    projects = new Map();
-    constructor(version) {
-        this.version = version;
-    }
-    state(projectDir) {
-        const key = resolve(projectDir);
-        const existing = this.projects.get(key);
-        if (existing)
-            return existing;
-        const created = { latestRequested: 0 };
-        this.projects.set(key, created);
-        return created;
-    }
-    /**
-     * Answer `memo/emitIr`, or refuse to answer stale.
-     *
-     * The check happens after the work, not before it: a revision is superseded
-     * by whatever arrived *while* it was compiling, and that is precisely the
-     * window this rule exists to close. Handing back the finished-but-old model
-     * would put a picture on the canvas of a revision the user has already
-     * edited past, with nothing to tell them so.
-     */
-    async emitIr(params) {
-        const projectDir = resolve(params.projectDir);
-        const state = this.state(projectDir);
-        state.latestRequested = Math.max(state.latestRequested, params.revision);
-        const fingerprint = fingerprintProject(projectDir, params.files);
-        const ir = state.cached?.fingerprint === fingerprint
-            ? state.cached.ir
-            : await lowerProject(projectDir, { files: params.files });
-        state.cached = { fingerprint, ir };
-        if (state.latestRequested > params.revision) {
-            return {
-                outcome: 'superseded',
-                protocolVersion: SYSMLC_PROTOCOL_VERSION,
-                revision: params.revision,
-                supersededBy: state.latestRequested,
-            };
-        }
-        return {
-            outcome: 'ir',
-            protocolVersion: SYSMLC_PROTOCOL_VERSION,
-            revision: params.revision,
-            ir,
-        };
-    }
-    /** Syntax diagnostics for one open document, in LSP's own shape. */
-    async documentDiagnostics(text) {
-        const { errors } = await parseText(text);
-        return errors.map(error => {
-            const line = Math.max(0, (error.line ?? 1) - 1);
-            const character = Math.max(0, (error.column ?? 1) - 1);
-            return {
-                severity: DiagnosticSeverity.Error,
-                range: { start: { line, character }, end: { line, character: character + 1 } },
-                message: error.message,
-                source: IMPLEMENTATION_NAME,
-            };
-        });
-    }
-    /** Wire the server onto a connection. Split out so tests can drive it. */
-    listen(connection) {
-        const documents = new TextDocuments(TextDocument);
-        connection.onInitialize(() => ({
-            capabilities: {
-                textDocumentSync: TextDocumentSyncKind.Incremental,
-                experimental: { [PROTOCOL_CAPABILITY_KEY]: protocolCapability(this.version) },
-            },
-            serverInfo: { name: IMPLEMENTATION_NAME, version: this.version },
-        }));
-        // Editor-facing half: fast, local, advisory. §1.1 — the editor gives
-        // syntax errors while you type; it never refuses the edit.
-        documents.onDidChangeContent(async (change) => {
-            connection.sendDiagnostics({
-                uri: change.document.uri,
-                diagnostics: await this.documentDiagnostics(change.document.getText()),
-            });
-        });
-        documents.onDidClose(event => {
-            connection.sendDiagnostics({ uri: event.document.uri, diagnostics: [] });
-        });
-        // The one custom request. Lowering reads the revision on disk, which is
-        // the revision the canvas draws: MEMO saves before it redraws, and a
-        // model built from unsaved buffers would show something no file says.
-        connection.onRequest(EMIT_IR_REQUEST, (params) => this.emitIr(params));
-        connection.onShutdown(() => { this.projects.clear(); });
-        connection.onExit(() => process.exit(0));
-        documents.listen(connection);
-        connection.listen();
-    }
-}
-/** Entry point for `memo-sysmlc serve --stdio`. */
-export function serveStdio(version) {
-    // stdout is the protocol channel. Anything written to it that is not a
-    // JSON-RPC message corrupts the stream, so stray logging goes to stderr.
-    console.log = console.error;
-    // A client that dies without saying goodbye closes the pipe. Outliving it
-    // would leave a compiler running with nobody to answer, so end of input is
-    // end of server — the same rule every language server follows.
-    process.stdin.on('close', () => process.exit(0));
-    new SysmlcServer(version).listen(createConnection(ProposedFeatures.all));
-}
-/** Read this package's own version, for `--version` and the handshake. */
-export function packageVersion() {
-    try {
-        const path = fileURLToPath(new URL('../../../../package.json', import.meta.url));
-        return JSON.parse(readFileSync(path, 'utf8')).version;
-    }
-    catch {
-        return undefined;
-    }
-}
-//# sourceMappingURL=server.js.map

package/packages/tools/lib/sysmlc/server.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"server.js","sourceRoot":"","sources":["../../src/sysmlc/server.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,6EAA6E;AAC7E,6EAA6E;AAC7E,+EAA+E;AAC/E,6EAA6E;AAC7E,2EAA2E;AAC3E,wCAAwC;AACxC,EAAE;AACF,gFAAgF;AAChF,OAAO;AACP,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EACH,gBAAgB,EAChB,kBAAkB,EAClB,gBAAgB,EAChB,oBAAoB,EACpB,aAAa,GAGhB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAClE,OAAO,EACH,eAAe,EACf,uBAAuB,EACvB,iBAAiB,EACjB,uBAAuB,EACvB,YAAY,EACZ,cAAc,EACd,SAAS,GAKZ,MAAM,sBAAsB,CAAC;AAE9B,MAAM,CAAC,MAAM,mBAAmB,GAAG,QAAQ,CAAC;AAE5C,MAAM,UAAU,kBAAkB,CAAC,OAAgB;IAC/C,OAAO;QACH,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,iBAAiB;QAC5B,cAAc,EAAE,mBAAmB;QACnC,qBAAqB,EAAE,OAAO;KACjC,CAAC;AACN,CAAC;AAcD;;;;;;;GAOG;AACH,SAAS,kBAAkB,CAAC,UAAkB,EAAE,KAAyB;IACrE,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,qEAAqE;IACrE,4EAA4E;IAC5E,wEAAwE;IACxE,gDAAgD;IAChD,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;QACnD,IAAI,CAAC;YACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC;QAC1D,CAAC;QAAC,MAAM,CAAC;YACL,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,YAAY,CAAC,CAAC;QACrC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,OAAO,YAAY;IAGQ;IAFZ,QAAQ,GAAG,IAAI,GAAG,EAAwB,CAAC;IAE5D,YAA6B,OAAgB;QAAhB,YAAO,GAAP,OAAO,CAAS;IAAG,CAAC;IAEzC,KAAK,CAAC,UAAkB;QAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC9B,MAAM,OAAO,GAAiB,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAChC,OAAO,OAAO,CAAC;IACnB,CAAC;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,MAAM,CAAC,MAAoB;QAC7B,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACrC,KAAK,CAAC,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QAEzE,MAAM,WAAW,GAAG,kBAAkB,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACjE,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,WAAW,KAAK,WAAW;YAChD,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE;YACjB,CAAC,CAAC,MAAM,YAAY,CAAC,UAAU,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9D,KAAK,CAAC,MAAM,GAAG,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QAEnC,IAAI,KAAK,CAAC,eAAe,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC1C,OAAO;gBACH,OAAO,EAAE,YAAY;gBACrB,eAAe,EAAE,uBAAuB;gBACxC,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,YAAY,EAAE,KAAK,CAAC,eAAe;aACtC,CAAC;QACN,CAAC;QACD,OAAO;YACH,OAAO,EAAE,IAAI;YACb,eAAe,EAAE,uBAAuB;YACxC,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,EAAE;SACL,CAAC;IACN,CAAC;IAED,oEAAoE;IACpE,KAAK,CAAC,mBAAmB,CAAC,IAAY;QAClC,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,CAAC;QACzC,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;YACtB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAChD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACvD,OAAO;gBACH,QAAQ,EAAE,kBAAkB,CAAC,KAAK;gBAClC,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,GAAG,CAAC,EAAE,EAAE;gBAC9E,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,MAAM,EAAE,mBAAmB;aAC9B,CAAC;QACN,CAAC,CAAC,CAAC;IACP,CAAC;IAED,0EAA0E;IAC1E,MAAM,CAAC,UAAsB;QACzB,MAAM,SAAS,GAAG,IAAI,aAAa,CAAC,YAAY,CAAC,CAAC;QAElD,UAAU,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC;YAC3B,YAAY,EAAE;gBACV,gBAAgB,EAAE,oBAAoB,CAAC,WAAW;gBAClD,YAAY,EAAE,EAAE,CAAC,uBAAuB,CAAC,EAAE,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;aAChF;YACD,UAAU,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;SACnE,CAAC,CAAC,CAAC;QAEJ,qEAAqE;QACrE,2DAA2D;QAC3D,SAAS,CAAC,kBAAkB,CAAC,KAAK,EAAC,MAAM,EAAC,EAAE;YACxC,UAAU,CAAC,eAAe,CAAC;gBACvB,GAAG,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG;gBACxB,WAAW,EAAE,MAAM,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;aACzE,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QACH,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE;YACzB,UAAU,CAAC,eAAe,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;QAEH,wEAAwE;QACxE,qEAAqE;QACrE,sEAAsE;QACtE,UAAU,CAAC,SAAS,CAAC,eAAe,EAAE,CAAC,MAAoB,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAErF,UAAU,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,UAAU,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAEzC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC7B,UAAU,CAAC,MAAM,EAAE,CAAC;IACxB,CAAC;CACJ;AAED,mDAAmD;AACnD,MAAM,UAAU,UAAU,CAAC,OAAgB;IACvC,uEAAuE;IACvE,yEAAyE;IACzE,OAAO,CAAC,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC;IAC5B,0EAA0E;IAC1E,2EAA2E;IAC3E,+DAA+D;IAC/D,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,cAAc;IAC1B,IAAI,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,0BAA0B,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACjF,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,OAAiB,CAAC;IACpE,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,SAAS,CAAC;IACrB,CAAC;AACL,CAAC"}

package/packages/tools/lib/toolchain/lowering.d.ts

@@ -1,63 +0,0 @@
-import { type BuilderRegistries } from '../model/builder.js';
-import { type ParseError } from '../model/semantic.js';
-import type { MEMOConfig } from '../model/config.js';
-import { type MemoIr } from './protocol.js';
-/**
- * The project's effective settings.
- *
- * Settings are optional — a project with none is complete, because a MEMO
- * project declares its identity in SysML, not in YAML.
- */
-export declare function loadProjectConfig(projectDir: string): MEMOConfig;
-/**
- * The ontology registries the builder resolves kinds against.
- *
- * A project that cannot load them still lowers, with reduced kind resolution —
- * §1.1 again: the compiler reports what is wrong, it does not refuse to work.
- */
-export declare function loadBuilderRegistries(projectDir: string): Promise<BuilderRegistries | undefined>;
-export interface LoweringOptions {
-    /**
-     * Ontology registries the caller has already loaded. See `ProviderContext`.
-     */
-    registries?: BuilderRegistries;
-    /**
-     * The exact sources to read, instead of the directory's own discovery.
-     *
-     * Absolute paths, and never a project's normal input: a project is defined
-     * by what is in it. It exists for callers whose subject is a *file set*
-     * rather than a project — conformance runs a corpus unit whose Kernel
-     * libraries are `.kerml`, which the project walker does not collect, and a
-     * run that silently analysed none of them would report a clean pass on
-     * files it never opened.
-     */
-    files?: readonly string[];
-}
-/**
- * The sources a run reads: the caller's explicit list, or the project's own.
- *
- * Sorted either way, because "both transports are byte-identical" only holds
- * against an input order that does not depend on who built the list.
- */
-export declare function resolveSources(root: string, files?: readonly string[]): string[];
-/**
- * Lower a project to IR.
- *
- * Everything here is deterministic given the file contents: file discovery is
- * sorted, element identity is content-hashed, and the payload is plain JSON. It
- * has to be — "both transports are byte-identical" is only a meaningful test
- * against a function whose output does not depend on which process ran it.
- */
-export declare function lowerProject(projectDir: string, options?: LoweringOptions): Promise<MemoIr>;
-/**
- * Parse without building — what `check` needs and nothing more.
- *
- * The validator role asks a narrower question than lowering does, and paying
- * for a full model build to answer it would make `memo validate` slower for no
- * reason.
- */
-export declare function checkProject(projectDir: string, files?: readonly string[]): Promise<{
-    accepted: boolean;
-    parseErrors: ParseError[];
-}>;
-//# sourceMappingURL=lowering.d.ts.map

package/packages/tools/lib/toolchain/lowering.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"lowering.d.ts","sourceRoot":"","sources":["../../src/toolchain/lowering.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAkB,KAAK,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAI7E,OAAO,EAAc,KAAK,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAInE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAqB,KAAK,MAAM,EAAE,MAAM,eAAe,CAAC;AAE/D;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,UAAU,CAGhE;AAED;;;;;GAKG;AACH,wBAAsB,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAAC,CAOtG;AAED,MAAM,WAAW,eAAe;IAC5B;;OAEG;IACH,UAAU,CAAC,EAAE,iBAAiB,CAAC;IAC/B;;;;;;;;;OASG;IACH,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAEhF;AAED;;;;;;;GAOG;AACH,wBAAsB,YAAY,CAC9B,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,eAAoB,GAC9B,OAAO,CAAC,MAAM,CAAC,CAoBjB;AAED;;;;;;GAMG;AACH,wBAAsB,YAAY,CAC9B,UAAU,EAAE,MAAM,EAClB,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,GAC1B,OAAO,CAAC;IAAE,QAAQ,EAAE,OAAO,CAAC;IAAC,WAAW,EAAE,UAAU,EAAE,CAAA;CAAE,CAAC,CAI3D"}