@memoarchitect/tools 0.6.7 → 0.7.2

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

@@ -0,0 +1,29 @@
+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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,168 @@
+// ─── 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

@@ -0,0 +1 @@
+{"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/default-registry.d.ts

@@ -0,0 +1,12 @@
+import { ProviderRegistry } from './registry.js';
+/**
+ * Build a registry with the providers that ship with MEMO.
+ *
+ * Order is registration order, which is the order roles are listed in. It
+ * carries no precedence: the default for a role is whichever descriptor claims
+ * `isDefault`, not whichever registered first.
+ */
+export declare function createDefaultRegistry(): ProviderRegistry;
+/** The registry commands use when they are not given one. */
+export declare const defaultRegistry: ProviderRegistry;
+//# sourceMappingURL=default-registry.d.ts.map

package/packages/tools/lib/toolchain/default-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"default-registry.d.ts","sourceRoot":"","sources":["../../src/toolchain/default-registry.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AASjD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,IAAI,gBAAgB,CAOxD;AAED,6DAA6D;AAC7D,eAAO,MAAM,eAAe,EAAE,gBAA0C,CAAC"}

package/packages/tools/lib/toolchain/default-registry.js

@@ -0,0 +1,28 @@
+// ─── The registration surface ────────────────────────────────────────────────
+//
+// This is the whole of it. Adding a provider is one new adapter file plus one
+// `register(...)` line here — a modularity test asserts exactly that, by
+// registering a stub provider and checking nothing else had to change.
+// ─────────────────────────────────────────────────────────────────────────────
+import { ProviderRegistry } from './registry.js';
+import { internalLoweringDescriptor, internalPackageDescriptor, internalValidatorDescriptor, } from './providers/internal.js';
+import { sysideValidatorDescriptor } from './providers/syside.js';
+import { sysandPackageDescriptor } from './providers/sysand.js';
+/**
+ * Build a registry with the providers that ship with MEMO.
+ *
+ * Order is registration order, which is the order roles are listed in. It
+ * carries no precedence: the default for a role is whichever descriptor claims
+ * `isDefault`, not whichever registered first.
+ */
+export function createDefaultRegistry() {
+    return new ProviderRegistry()
+        .register(internalValidatorDescriptor)
+        .register(internalLoweringDescriptor)
+        .register(internalPackageDescriptor)
+        .register(sysideValidatorDescriptor)
+        .register(sysandPackageDescriptor);
+}
+/** The registry commands use when they are not given one. */
+export const defaultRegistry = createDefaultRegistry();
+//# sourceMappingURL=default-registry.js.map

package/packages/tools/lib/toolchain/default-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"default-registry.js","sourceRoot":"","sources":["../../src/toolchain/default-registry.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,yEAAyE;AACzE,uEAAuE;AACvE,gFAAgF;AAEhF,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EACH,0BAA0B,EAC1B,yBAAyB,EACzB,2BAA2B,GAC9B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAEhE;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB;IACjC,OAAO,IAAI,gBAAgB,EAAE;SACxB,QAAQ,CAAC,2BAA2B,CAAC;SACrC,QAAQ,CAAC,0BAA0B,CAAC;SACpC,QAAQ,CAAC,yBAAyB,CAAC;SACnC,QAAQ,CAAC,yBAAyB,CAAC;SACnC,QAAQ,CAAC,uBAAuB,CAAC,CAAC;AAC3C,CAAC;AAED,6DAA6D;AAC7D,MAAM,CAAC,MAAM,eAAe,GAAqB,qBAAqB,EAAE,CAAC"}

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

@@ -0,0 +1,57 @@
+/** Who is complaining. See the table above — this drives canvas behaviour. */
+export type DiagnosticDomain = 'sysml' | 'memo-ingest' | 'memo-methodology';
+export type DiagnosticSeverity = 'error' | 'warning' | 'info';
+/** 1-based line and column, matching every tool's own numbering. */
+export interface DiagnosticPosition {
+    line: number;
+    column: number;
+}
+export interface DiagnosticRange {
+    start: DiagnosticPosition;
+    /** Absent when the tool reported a point rather than a span. */
+    end?: DiagnosticPosition;
+}
+export interface Diagnostic {
+    domain: DiagnosticDomain;
+    /** Provider ID that produced this, e.g. the value of `toolchain.validator`. */
+    provider: string;
+    /** Version string the provider reported, when it reports one. */
+    providerVersion?: string;
+    severity: DiagnosticSeverity;
+    message: string;
+    /** Absolute path when the provider gave one; otherwise as the tool wrote it. */
+    file?: string;
+    range?: DiagnosticRange;
+    /**
+     * The provider's own stable rule code, carried through verbatim.
+     *
+     * `syside` publishes 151 kebab-case codes (`reference-error`,
+     * `accept-action-usage-parameters`, …). We do not renumber them into a
+     * parallel MEMO scheme: suppression and configuration are by code, and a
+     * project's suppressions have to survive both a provider upgrade and an
+     * eventual engine swap.
+     */
+    code?: string;
+}
+/**
+ * Default severity for a domain.
+ *
+ * A provider that reports its own severity always wins; this is for diagnostics
+ * MEMO itself synthesizes, where the domain is the only thing known.
+ */
+export declare function defaultSeverityForDomain(domain: DiagnosticDomain): DiagnosticSeverity;
+/**
+ * One GNU-style line:
+ *   `file:line:col: severity: message [code] [domain/provider]`
+ *
+ * The leading `file:line:col: severity:` prefix is what every editor and CI
+ * annotator already parses. The trailing brackets are additive, so a tool that
+ * only understands the GNU prefix still gets a usable line.
+ */
+export declare function formatDiagnosticText(diagnostic: Diagnostic): string;
+export declare function formatDiagnosticsText(diagnostics: readonly Diagnostic[]): string;
+export declare function diagnosticsToJson(diagnostics: readonly Diagnostic[], pretty?: boolean): string;
+/** Count by severity — used by commands deciding an exit code. */
+export declare function countBySeverity(diagnostics: readonly Diagnostic[]): Record<DiagnosticSeverity, number>;
+export declare function diagnosticsInDomain(diagnostics: readonly Diagnostic[], domain: DiagnosticDomain): Diagnostic[];
+//# sourceMappingURL=diagnostic.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.d.ts","sourceRoot":"","sources":["../../src/toolchain/diagnostic.ts"],"names":[],"mappings":"AAoBA,8EAA8E;AAC9E,MAAM,MAAM,gBAAgB,GAAG,OAAO,GAAG,aAAa,GAAG,kBAAkB,CAAC;AAE5E,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAE9D,oEAAoE;AACpE,MAAM,WAAW,kBAAkB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC5B,KAAK,EAAE,kBAAkB,CAAC;IAC1B,gEAAgE;IAChE,GAAG,CAAC,EAAE,kBAAkB,CAAC;CAC5B;AAED,MAAM,WAAW,UAAU;IACvB,MAAM,EAAE,gBAAgB,CAAC;IACzB,+EAA+E;IAC/E,QAAQ,EAAE,MAAM,CAAC;IACjB,iEAAiE;IACjE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,gFAAgF;IAChF,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,eAAe,CAAC;IACxB;;;;;;;;OAQG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,gBAAgB,GAAG,kBAAkB,CAMrF;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,CAUnE;AAED,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,GAAG,MAAM,CAEhF;AAED,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,EAAE,MAAM,UAAO,GAAG,MAAM,CAE3F;AAED,kEAAkE;AAClE,wBAAgB,eAAe,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,GAAG,MAAM,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAItG;AAED,wBAAgB,mBAAmB,CAC/B,WAAW,EAAE,SAAS,UAAU,EAAE,EAClC,MAAM,EAAE,gBAAgB,GACzB,UAAU,EAAE,CAEd"}

package/packages/tools/lib/toolchain/diagnostic.js

@@ -0,0 +1,69 @@
+// ─── Normalized toolchain diagnostics ────────────────────────────────────────
+//
+// One diagnostic shape for every provider, in every role. A provider adapter
+// parses its tool's output format; nothing downstream of the adapter ever sees
+// that format again.
+//
+// The mandatory field is `domain`. It answers "whose complaint is this?", and
+// that answer is what decides how the canvas behaves:
+//
+//   sysml             the selected validator rejected the source. Error.
+//                     Keep the last good scene — there is nothing new to draw.
+//   memo-ingest       the validator accepted it, MEMO could not lower it.
+//                     Warning. Draw what was understood; never blank.
+//   memo-methodology  valid SysML, MEMO rule violated. Info/warning.
+//                     Draw normally and flag the element.
+//
+// Collapsing those three into one "error" list is the failure mode this type
+// exists to prevent: `syside` says the file is fine and MEMO shows nothing.
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Default severity for a domain.
+ *
+ * A provider that reports its own severity always wins; this is for diagnostics
+ * MEMO itself synthesizes, where the domain is the only thing known.
+ */
+export function defaultSeverityForDomain(domain) {
+    switch (domain) {
+        case 'sysml': return 'error';
+        case 'memo-ingest': return 'warning';
+        case 'memo-methodology': return 'info';
+    }
+}
+/**
+ * One GNU-style line:
+ *   `file:line:col: severity: message [code] [domain/provider]`
+ *
+ * The leading `file:line:col: severity:` prefix is what every editor and CI
+ * annotator already parses. The trailing brackets are additive, so a tool that
+ * only understands the GNU prefix still gets a usable line.
+ */
+export function formatDiagnosticText(diagnostic) {
+    const parts = [];
+    if (diagnostic.file) {
+        const { start } = diagnostic.range ?? {};
+        parts.push(start ? `${diagnostic.file}:${start.line}:${start.column}: ` : `${diagnostic.file}: `);
+    }
+    parts.push(`${diagnostic.severity}: ${diagnostic.message}`);
+    if (diagnostic.code)
+        parts.push(` [${diagnostic.code}]`);
+    parts.push(` [${diagnostic.domain}/${diagnostic.provider}]`);
+    return parts.join('');
+}
+export function formatDiagnosticsText(diagnostics) {
+    return diagnostics.map(formatDiagnosticText).join('\n');
+}
+export function diagnosticsToJson(diagnostics, pretty = true) {
+    return JSON.stringify(diagnostics, null, pretty ? 2 : undefined);
+}
+/** Count by severity — used by commands deciding an exit code. */
+export function countBySeverity(diagnostics) {
+    const counts = { error: 0, warning: 0, info: 0 };
+    for (const d of diagnostics)
+        counts[d.severity] += 1;
+    return counts;
+}
+export function diagnosticsInDomain(diagnostics, domain) {
+    return diagnostics.filter(d => d.domain === domain);
+}
+//# sourceMappingURL=diagnostic.js.map

package/packages/tools/lib/toolchain/diagnostic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.js","sourceRoot":"","sources":["../../src/toolchain/diagnostic.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,qBAAqB;AACrB,EAAE;AACF,8EAA8E;AAC9E,sDAAsD;AACtD,EAAE;AACF,yEAAyE;AACzE,+EAA+E;AAC/E,0EAA0E;AAC1E,sEAAsE;AACtE,qEAAqE;AACrE,0DAA0D;AAC1D,EAAE;AACF,6EAA6E;AAC7E,4EAA4E;AAC5E,gFAAgF;AA0ChF;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CAAC,MAAwB;IAC7D,QAAQ,MAAM,EAAE,CAAC;QACb,KAAK,OAAO,CAAC,CAAC,OAAO,OAAO,CAAC;QAC7B,KAAK,aAAa,CAAC,CAAC,OAAO,SAAS,CAAC;QACrC,KAAK,kBAAkB,CAAC,CAAC,OAAO,MAAM,CAAC;IAC3C,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,UAAsB;IACvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;QAClB,MAAM,EAAE,KAAK,EAAE,GAAG,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,IAAI,CAAC,CAAC;IACtG,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,QAAQ,KAAK,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5D,IAAI,UAAU,CAAC,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,MAAM,IAAI,UAAU,CAAC,QAAQ,GAAG,CAAC,CAAC;IAC7D,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,WAAkC;IACpE,OAAO,WAAW,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,WAAkC,EAAE,MAAM,GAAG,IAAI;IAC/E,OAAO,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AACrE,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,eAAe,CAAC,WAAkC;IAC9D,MAAM,MAAM,GAAuC,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IACrF,KAAK,MAAM,CAAC,IAAI,WAAW;QAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,WAAkC,EAClC,MAAwB;IAExB,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AACxD,CAAC"}

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

@@ -0,0 +1,36 @@
+import type { MEMOConfig } from '../model/config.js';
+import { type ProviderRegistry, type ProviderRole } from './registry.js';
+export interface RoleSelection {
+    role: ProviderRole;
+    provider: string;
+    /** Where the value came from — useful in `memo config effective`. */
+    source: 'settings' | 'deprecated-alias' | 'default';
+}
+export interface EffectiveToolchain {
+    validator: string;
+    lowering: string;
+    packager: string;
+    selections: RoleSelection[];
+    /** One line per deprecated key that was honoured. */
+    deprecations: string[];
+}
+/**
+ * Resolve every role.
+ *
+ * Precedence is explicit key, then the deprecated alias, then the registry's
+ * default.
+ *
+ * The alias fills both roles that split out of it — but only where the named
+ * provider is registered for the role. That caveat is not a hedge, it is the
+ * finding that forced the split: the best external validator available cannot
+ * emit IR at all, so "one tool does both" was never true of it. An alias that
+ * insisted on setting both would fail to resolve for exactly the configuration
+ * it exists to keep working. Where the named provider cannot fill a role, that
+ * role keeps its default and the deprecation note says which and why — which is
+ * what the pre-split code did anyway: run the external check, then lower with
+ * MEMO's own parser regardless.
+ */
+export declare function resolveToolchain(config: MEMOConfig | undefined, registry: ProviderRegistry): EffectiveToolchain;
+/** Per-provider settings block, as that provider's adapter should read it. */
+export declare function providerSettings<T>(config: MEMOConfig | undefined, providerId: string): T | undefined;
+//# sourceMappingURL=effective.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"effective.d.ts","sourceRoot":"","sources":["../../src/toolchain/effective.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,UAAU,EAAmB,MAAM,oBAAoB,CAAC;AACtE,OAAO,EAIH,KAAK,gBAAgB,EACrB,KAAK,YAAY,EACpB,MAAM,eAAe,CAAC;AAEvB,MAAM,WAAW,aAAa;IAC1B,IAAI,EAAE,YAAY,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,qEAAqE;IACrE,MAAM,EAAE,UAAU,GAAG,kBAAkB,GAAG,SAAS,CAAC;CACvD;AAED,MAAM,WAAW,kBAAkB;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,qDAAqD;IACrD,YAAY,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,UAAU,GAAG,SAAS,EAC9B,QAAQ,EAAE,gBAAgB,GAC3B,kBAAkB,CA+DpB;AAWD,8EAA8E;AAC9E,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,GAAG,SAAS,EAAE,UAAU,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS,CAGrG"}

package/packages/tools/lib/toolchain/effective.js

@@ -0,0 +1,91 @@
+// ─── Effective toolchain selection ───────────────────────────────────────────
+//
+// Turns a settings file into "which provider fills which role", with the
+// deprecated `compiler` alias folded in and defaults taken from the registry
+// rather than written here.
+// ─────────────────────────────────────────────────────────────────────────────
+import { DEPRECATED_COMPILER_SETTING, PROVIDER_ROLES, ROLE_SETTING, } from './registry.js';
+/**
+ * Resolve every role.
+ *
+ * Precedence is explicit key, then the deprecated alias, then the registry's
+ * default.
+ *
+ * The alias fills both roles that split out of it — but only where the named
+ * provider is registered for the role. That caveat is not a hedge, it is the
+ * finding that forced the split: the best external validator available cannot
+ * emit IR at all, so "one tool does both" was never true of it. An alias that
+ * insisted on setting both would fail to resolve for exactly the configuration
+ * it exists to keep working. Where the named provider cannot fill a role, that
+ * role keeps its default and the deprecation note says which and why — which is
+ * what the pre-split code did anyway: run the external check, then lower with
+ * MEMO's own parser regardless.
+ */
+export function resolveToolchain(config, registry) {
+    const toolchain = config?.toolchain ?? {};
+    const alias = readString(toolchain, DEPRECATED_COMPILER_SETTING);
+    const deprecations = [];
+    const selections = [];
+    const aliasCannotFill = [];
+    for (const role of PROVIDER_ROLES) {
+        const explicit = readString(toolchain, ROLE_SETTING[role]);
+        // The alias only ever meant "the thing that compiles", so it is offered
+        // to the two roles that split out of it and never to packaging — and
+        // only where the registry says that provider can fill the role.
+        const offered = role === 'package' ? undefined : alias;
+        const aliased = offered !== undefined && registry.has(role, offered) ? offered : undefined;
+        if (offered !== undefined && aliased === undefined && explicit === undefined) {
+            aliasCannotFill.push(role);
+        }
+        const fallback = registry.defaultId(role);
+        const provider = explicit ?? aliased ?? fallback;
+        if (!provider) {
+            throw new Error(`No provider is registered for the ${role} role and none was configured `
+                + `(toolchain.${ROLE_SETTING[role]}).`);
+        }
+        if (!registry.has(role, provider)) {
+            // Resolving through the registry produces the message listing what
+            // *is* registered, which is the only correct roster.
+            registry.descriptor(role, provider);
+        }
+        selections.push({
+            role,
+            provider,
+            source: explicit ? 'settings' : aliased ? 'deprecated-alias' : 'default',
+        });
+    }
+    if (alias !== undefined) {
+        const overridden = selections
+            .filter(s => s.source === 'settings' && s.role !== 'package')
+            .map(s => `toolchain.${ROLE_SETTING[s.role]}`);
+        deprecations.push(`toolchain.${DEPRECATED_COMPILER_SETTING} is deprecated; it sets both `
+            + `toolchain.${ROLE_SETTING.validator} and toolchain.${ROLE_SETTING.lowering}.`
+            + (overridden.length > 0 ? ` ${overridden.join(' and ')} take precedence.` : ''));
+        for (const role of aliasCannotFill) {
+            deprecations.push(`"${alias}" is not registered for the ${role} role, so `
+                + `toolchain.${ROLE_SETTING[role]} keeps its default `
+                + `("${byRole(selections, role)}"). Set toolchain.${ROLE_SETTING[role]} explicitly `
+                + `to silence this.`);
+        }
+    }
+    return {
+        validator: byRole(selections, 'validator'),
+        lowering: byRole(selections, 'lowering'),
+        packager: byRole(selections, 'package'),
+        selections,
+        deprecations,
+    };
+}
+function byRole(selections, role) {
+    return selections.find(s => s.role === role).provider;
+}
+function readString(toolchain, key) {
+    const value = toolchain[key];
+    return typeof value === 'string' && value.length > 0 ? value : undefined;
+}
+/** Per-provider settings block, as that provider's adapter should read it. */
+export function providerSettings(config, providerId) {
+    const value = config?.toolchain?.[providerId];
+    return value && typeof value === 'object' ? value : undefined;
+}
+//# sourceMappingURL=effective.js.map

package/packages/tools/lib/toolchain/effective.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effective.js","sourceRoot":"","sources":["../../src/toolchain/effective.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,yEAAyE;AACzE,6EAA6E;AAC7E,4BAA4B;AAC5B,gFAAgF;AAGhF,OAAO,EACH,2BAA2B,EAC3B,cAAc,EACd,YAAY,GAGf,MAAM,eAAe,CAAC;AAkBvB;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,gBAAgB,CAC5B,MAA8B,EAC9B,QAA0B;IAE1B,MAAM,SAAS,GAAoB,MAAM,EAAE,SAAS,IAAI,EAAE,CAAC;IAC3D,MAAM,KAAK,GAAG,UAAU,CAAC,SAAS,EAAE,2BAA2B,CAAC,CAAC;IACjE,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,MAAM,eAAe,GAAmB,EAAE,CAAC;IAE3C,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3D,wEAAwE;QACxE,qEAAqE;QACrE,gEAAgE;QAChE,MAAM,OAAO,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;QACvD,MAAM,OAAO,GAAG,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3F,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3E,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;QACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,QAAQ,IAAI,OAAO,IAAI,QAAQ,CAAC;QACjD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACX,qCAAqC,IAAI,gCAAgC;kBACvE,cAAc,YAAY,CAAC,IAAI,CAAC,IAAI,CACzC,CAAC;QACN,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;YAChC,mEAAmE;YACnE,qDAAqD;YACrD,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACxC,CAAC;QACD,UAAU,CAAC,IAAI,CAAC;YACZ,IAAI;YACJ,QAAQ;YACR,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS;SAC3E,CAAC,CAAC;IACP,CAAC;IAED,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,UAAU,GAAG,UAAU;aACxB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;aAC5D,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnD,YAAY,CAAC,IAAI,CACb,aAAa,2BAA2B,+BAA+B;cACrE,aAAa,YAAY,CAAC,SAAS,kBAAkB,YAAY,CAAC,QAAQ,GAAG;cAC7E,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC,CACnF,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;YACjC,YAAY,CAAC,IAAI,CACb,IAAI,KAAK,+BAA+B,IAAI,YAAY;kBACtD,aAAa,YAAY,CAAC,IAAI,CAAC,qBAAqB;kBACpD,KAAK,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,qBAAqB,YAAY,CAAC,IAAI,CAAC,cAAc;kBAClF,kBAAkB,CACvB,CAAC;QACN,CAAC;IACL,CAAC;IAED,OAAO;QACH,SAAS,EAAE,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC;QAC1C,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC;QACxC,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC;QACvC,UAAU;QACV,YAAY;KACf,CAAC;AACN,CAAC;AAED,SAAS,MAAM,CAAC,UAA2B,EAAE,IAAkB;IAC3D,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAE,CAAC,QAAQ,CAAC;AAC3D,CAAC;AAED,SAAS,UAAU,CAAC,SAA0B,EAAE,GAAW;IACvD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7E,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,gBAAgB,CAAI,MAA8B,EAAE,UAAkB;IAClF,MAAM,KAAK,GAAG,MAAM,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,CAAC;IAC9C,OAAO,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAU,CAAC,CAAC,CAAC,SAAS,CAAC;AACvE,CAAC"}

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

@@ -0,0 +1,11 @@
+export * from './diagnostic.js';
+export * from './protocol.js';
+export * from './lowering.js';
+export * from './registry.js';
+export * from './effective.js';
+export * from './schema.js';
+export * from './operations.js';
+export * from './default-registry.js';
+export { whichExecutable, resolveExecutable, resolveProjectPath, findBundledExecutable } from './process.js';
+export { getSysmlcClient, disposeSysmlcClients, SysmlcClient } from './sysmlc-client.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/toolchain/index.ts"],"names":[],"mappings":"AAWA,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC;AAC9B,cAAc,eAAe,CAAC;AAC9B,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,uBAAuB,CAAC;AACtC,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAC7G,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC"}

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

@@ -0,0 +1,21 @@
+// ─── The toolchain ───────────────────────────────────────────────────────────
+//
+// `memo-tools` is the tooling interface: the operations re-exported here are
+// the single implementation behind both the `memo` CLI and Architect's server
+// protocol. Architect never spawns a tool, never parses a tool's output, and
+// never learns a provider's name.
+//
+// The registrations live in `default-registry.ts`; the adapters in
+// `providers/`. Nothing outside `providers/` writes a provider ID.
+// ─────────────────────────────────────────────────────────────────────────────
+export * from './diagnostic.js';
+export * from './protocol.js';
+export * from './lowering.js';
+export * from './registry.js';
+export * from './effective.js';
+export * from './schema.js';
+export * from './operations.js';
+export * from './default-registry.js';
+export { whichExecutable, resolveExecutable, resolveProjectPath, findBundledExecutable } from './process.js';
+export { getSysmlcClient, disposeSysmlcClients, SysmlcClient } from './sysmlc-client.js';
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/toolchain/index.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,6EAA6E;AAC7E,8EAA8E;AAC9E,6EAA6E;AAC7E,kCAAkC;AAClC,EAAE;AACF,mEAAmE;AACnE,mEAAmE;AACnE,gFAAgF;AAEhF,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC;AAC9B,cAAc,eAAe,CAAC;AAC9B,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,uBAAuB,CAAC;AACtC,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAC7G,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC"}