@memoarchitect/tools 0.13.0 → 0.15.0

package/packages/tools/lib/toolchain/providers/opensysml-check.js

@@ -0,0 +1,95 @@
+// ─── OpenSysML: is this edit valid SysML? ────────────────────────────────────
+//
+// An authoring write is compiled before it reaches disk
+// (plans/memo-write-back-from-handoff.md). OpenSysML's service takes a
+// document's text in place of its path (`content`), so the edited file is
+// sent as text and every other document by path: no scratch copy of the
+// project, and no conversion or stage 2, since the verdict is all a write
+// needs. Measured on temperature-alarm: a stage 1 compile with conversion and
+// stage 2 took about 2.5 s; a content parse on a live service takes about
+// 0.5 s.
+//
+// The service process is kept for the session and closed once it has been
+// idle a while, so a run of edits pays for starting it once.
+// ─────────────────────────────────────────────────────────────────────────────
+import { resolve } from 'node:path';
+import { discoverProjectSources } from '../../model/native-project.js';
+import { findSysmlFiles } from '../../model/sysml-files.js';
+import { OPENSYSML_PROVIDER_ID } from './opensysml-names.js';
+import { connectOpenSysML, openSysMLSettingsKey, toDiagnostic } from './opensysml.js';
+/** How long an idle service is kept before it is closed. */
+const IDLE_MS = 60_000;
+let shared;
+/** The session's OpenSysML service, started on first use and closed once idle. */
+export async function sharedOpenSysMLConnection(config) {
+    const key = openSysMLSettingsKey(config);
+    if (shared && shared.key !== key)
+        closeSharedOpenSysMLConnection();
+    if (!shared) {
+        const connection = connectOpenSysML(config);
+        shared = { key, connection };
+        connection.catch(() => { if (shared?.connection === connection)
+            shared = undefined; });
+    }
+    const current = shared;
+    if (current.timer)
+        clearTimeout(current.timer);
+    current.timer = setTimeout(() => { if (shared === current)
+        closeSharedOpenSysMLConnection(); }, IDLE_MS);
+    current.timer.unref();
+    return current.connection;
+}
+/** Close the session's service; the next call starts another. */
+export function closeSharedOpenSysMLConnection() {
+    const closing = shared;
+    shared = undefined;
+    if (closing?.timer)
+        clearTimeout(closing.timer);
+    void closing?.connection.then(connection => connection.close()).catch(() => undefined);
+}
+/**
+ * The documents a resolved compile reads: every library root a locator
+ * offers, and the project's own files — the set `compileResolvedProject`
+ * gives stage 1.
+ */
+export function resolvedCompileDocuments(projectRoot) {
+    const sources = discoverProjectSources(projectRoot);
+    const libraryDirs = [...new Set(sources.libraryRoots.map(root => root.sysmlDir))];
+    const libraryFiles = libraryDirs.flatMap(dir => findSysmlFiles(dir)).map(file => resolve(file));
+    return [...new Set([...libraryFiles, ...sources.projectFiles.map(file => resolve(file))])];
+}
+/**
+ * Stage 1's verdict on the project with some files' text replaced: the error
+ * diagnostics, empty when OpenSysML accepts it. `content` is keyed by
+ * absolute path; a path the project does not have yet is added.
+ */
+export async function checkWithOpenSysML(config, projectRoot, content) {
+    const documents = resolvedCompileDocuments(projectRoot);
+    for (const file of content.keys())
+        if (!documents.includes(file))
+            documents.push(file);
+    const connection = await sharedOpenSysMLConnection(config);
+    const version = connection.info?.version;
+    let parsed;
+    try {
+        parsed = await connection.rpc.parseSources({
+            documents: documents.map(file => {
+                const text = content.get(file);
+                return text === undefined
+                    ? { source: { case: 'filePath', value: file } }
+                    : { source: { case: 'content', value: text }, name: file };
+            }),
+        });
+    }
+    catch (error) {
+        // A service that died is not kept for the next edit.
+        closeSharedOpenSysMLConnection();
+        throw error;
+    }
+    const diagnostics = parsed.diagnostics.map(d => toDiagnostic(d, version)).filter(d => d.severity === 'error');
+    if (parsed.error) {
+        diagnostics.push({ domain: 'sysml', provider: OPENSYSML_PROVIDER_ID, providerVersion: version, severity: 'error', message: parsed.error });
+    }
+    return diagnostics;
+}
+//# sourceMappingURL=opensysml-check.js.map

package/packages/tools/lib/toolchain/providers/opensysml-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"opensysml-check.js","sourceRoot":"","sources":["../../../src/toolchain/providers/opensysml-check.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,wDAAwD;AACxD,uEAAuE;AACvE,0EAA0E;AAC1E,wEAAwE;AACxE,0EAA0E;AAC1E,8EAA8E;AAC9E,0EAA0E;AAC1E,SAAS;AACT,EAAE;AACF,0EAA0E;AAC1E,6DAA6D;AAC7D,gFAAgF;AAEhF,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAE5D,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,YAAY,EAA4B,MAAM,gBAAgB,CAAC;AAEhH,4DAA4D;AAC5D,MAAM,OAAO,GAAG,MAAM,CAAC;AAEvB,IAAI,MAAqG,CAAC;AAE1G,kFAAkF;AAClF,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAAC,MAAkB;IAC9D,MAAM,GAAG,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,MAAM,IAAI,MAAM,CAAC,GAAG,KAAK,GAAG;QAAE,8BAA8B,EAAE,CAAC;IACnE,IAAI,CAAC,MAAM,EAAE,CAAC;QACV,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;QAC7B,UAAU,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,IAAI,MAAM,EAAE,UAAU,KAAK,UAAU;YAAE,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC;IACvB,IAAI,OAAO,CAAC,KAAK;QAAE,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/C,OAAO,CAAC,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,MAAM,KAAK,OAAO;QAAE,8BAA8B,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACzG,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;IACtB,OAAO,OAAO,CAAC,UAAU,CAAC;AAC9B,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,8BAA8B;IAC1C,MAAM,OAAO,GAAG,MAAM,CAAC;IACvB,MAAM,GAAG,SAAS,CAAC;IACnB,IAAI,OAAO,EAAE,KAAK;QAAE,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAChD,KAAK,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;AAC3F,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,WAAmB;IACxD,MAAM,OAAO,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,YAAY,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAChG,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,YAAY,EAAE,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/F,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACpC,MAAkB,EAAE,WAAmB,EAAE,OAAoC;IAE7E,MAAM,SAAS,GAAG,wBAAwB,CAAC,WAAW,CAAC,CAAC;IACxD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvF,MAAM,UAAU,GAAG,MAAM,yBAAyB,CAAC,MAAM,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC;IACzC,IAAI,MAAM,CAAC;IACX,IAAI,CAAC;QACD,MAAM,GAAG,MAAM,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC;YACvC,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;gBAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC/B,OAAO,IAAI,KAAK,SAAS;oBACrB,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,UAAmB,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;oBACxD,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAkB,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YAC5E,CAAC,CAAC;SACL,CAAC,CAAC;IACP,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,qDAAqD;QACrD,8BAA8B,EAAE,CAAC;QACjC,MAAM,KAAK,CAAC;IAChB,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAC9G,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACf,WAAW,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,qBAAqB,EAAE,eAAe,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAC/I,CAAC;IACD,OAAO,WAAW,CAAC;AACvB,CAAC"}

package/packages/tools/lib/toolchain/providers/opensysml-compact.d.ts

@@ -0,0 +1,17 @@
+import type { ApiElement } from '../../stage2/api-model.js';
+export declare const CONVERT_COMPACT = "convert_compact";
+export declare const COMPACT_API_JSON_FORMAT = "api-json-compact/1";
+/**
+ * The derived properties of the metamodel the handoff and stage 2 still read:
+ * the rest restate what the owned properties say.
+ *   - `qualifiedName` names each element in the handoff's index;
+ *   - `isLibraryElement` marks the standard library's elements, which the
+ *     handoff references but does not carry;
+ *   - `importedMembership` is the member a project's import names.
+ */
+export declare const KEPT_DERIVED_PROPERTIES: readonly string[];
+/** The element array a compact document stands for. */
+export declare function expandCompactApiJson(text: string): ApiElement[];
+/** The elements of a conversion as the service wrote it: the compact document or the element array. */
+export declare function parseApiJson(text: string): ApiElement[];
+//# sourceMappingURL=opensysml-compact.d.ts.map

package/packages/tools/lib/toolchain/providers/opensysml-compact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"opensysml-compact.d.ts","sourceRoot":"","sources":["../../../src/toolchain/providers/opensysml-compact.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAE5D,eAAO,MAAM,eAAe,oBAAoB,CAAC;AAEjD,eAAO,MAAM,uBAAuB,uBAAuB,CAAC;AAE5D;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB,EAAE,SAAS,MAAM,EAAgE,CAAC;AAYtH,uDAAuD;AACvD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,EAAE,CA2B/D;AAWD,uGAAuG;AACvG,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,EAAE,CAEvD"}

package/packages/tools/lib/toolchain/providers/opensysml-compact.js

@@ -0,0 +1,69 @@
+// ─── OpenSysML's compact api-json, read as the element array ─────────────────
+//
+// `ConvertRequest.compact` (capability `convert_compact`) writes the elements
+// as one `api-json-compact/1` object: a table of the element ids, each once,
+// and the elements with every reference an index into it. Everything MEMO
+// reads from a conversion still reads the element array, so this expands the
+// document into that array and nothing above it changes: an element's `@id`
+// is its table entry, and a handle becomes `{ "@id": <that id> }`, sharing the
+// table's string. Omitted derived properties are simply absent, as stage 2
+// already computes ownership, typing and values from the owned ones.
+// ─────────────────────────────────────────────────────────────────────────────
+export const CONVERT_COMPACT = 'convert_compact';
+export const COMPACT_API_JSON_FORMAT = 'api-json-compact/1';
+/**
+ * The derived properties of the metamodel the handoff and stage 2 still read:
+ * the rest restate what the owned properties say.
+ *   - `qualifiedName` names each element in the handoff's index;
+ *   - `isLibraryElement` marks the standard library's elements, which the
+ *     handoff references but does not carry;
+ *   - `importedMembership` is the member a project's import names.
+ */
+export const KEPT_DERIVED_PROPERTIES = ['qualifiedName', 'isLibraryElement', 'importedMembership'];
+/** The element array a compact document stands for. */
+export function expandCompactApiJson(text) {
+    const document = JSON.parse(text);
+    if (document.format !== COMPACT_API_JSON_FORMAT) {
+        throw new Error(`OpenSysML wrote ${String(document.format)}, expected ${COMPACT_API_JSON_FORMAT}`);
+    }
+    const { ids } = document;
+    const bare = new Set(document.referenceKeys);
+    const reference = (handle) => ({ '@id': ids[handle] });
+    const elements = new Array(document.elements.length);
+    for (let i = 0; i < document.elements.length; i++) {
+        const element = document.elements[i];
+        const expanded = { '@type': element['@type'], '@id': ids[i] };
+        if (document.elementIdsAreIds)
+            expanded.elementId = ids[i];
+        for (const key in element) {
+            if (key === '@type')
+                continue;
+            const value = element[key];
+            if (bare.has(key)) {
+                expanded[key] = Array.isArray(value) ? value.map(item => reference(item)) : reference(value);
+            }
+            else if (Array.isArray(value)) {
+                expanded[key] = value.map(item => handled(item, ids));
+            }
+            else {
+                expanded[key] = handled(value, ids);
+            }
+        }
+        elements[i] = expanded;
+    }
+    return elements;
+}
+/** A value outside a reference key: a reference spelled `{ "@id": handle }`, or a scalar as it is. */
+function handled(value, ids) {
+    if (typeof value === 'object' && value !== null && !Array.isArray(value)) {
+        const handle = value['@id'];
+        if (typeof handle === 'number')
+            return { '@id': ids[handle] };
+    }
+    return value;
+}
+/** The elements of a conversion as the service wrote it: the compact document or the element array. */
+export function parseApiJson(text) {
+    return text.trimStart().startsWith('{') ? expandCompactApiJson(text) : JSON.parse(text);
+}
+//# sourceMappingURL=opensysml-compact.js.map

package/packages/tools/lib/toolchain/providers/opensysml-compact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"opensysml-compact.js","sourceRoot":"","sources":["../../../src/toolchain/providers/opensysml-compact.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,6EAA6E;AAC7E,0EAA0E;AAC1E,6EAA6E;AAC7E,4EAA4E;AAC5E,+EAA+E;AAC/E,2EAA2E;AAC3E,qEAAqE;AACrE,gFAAgF;AAIhF,MAAM,CAAC,MAAM,eAAe,GAAG,iBAAiB,CAAC;AAEjD,MAAM,CAAC,MAAM,uBAAuB,GAAG,oBAAoB,CAAC;AAE5D;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAsB,CAAC,eAAe,EAAE,kBAAkB,EAAE,oBAAoB,CAAC,CAAC;AAYtH,uDAAuD;AACvD,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAoB,CAAC;IACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,uBAAuB,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,mBAAmB,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,cAAc,uBAAuB,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,EAAE,GAAG,EAAE,GAAG,QAAQ,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,CAAC,MAAc,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAiB,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACnE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,QAAQ,GAAe,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAW,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,IAAI,QAAQ,CAAC,gBAAgB;YAAE,QAAQ,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,GAAG,KAAK,OAAO;gBAAE,SAAS;YAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;YAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChB,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAc,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAe,CAAC,CAAC;YACrH,CAAC;iBAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;YAC1D,CAAC;iBAAM,CAAC;gBACJ,QAAQ,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACxC,CAAC;QACL,CAAC;QACD,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC;IAC3B,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED,sGAAsG;AACtG,SAAS,OAAO,CAAC,KAAc,EAAE,GAAsB;IACnD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACvE,MAAM,MAAM,GAAI,KAA6B,CAAC,KAAK,CAAC,CAAC;QACrD,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;IAClE,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,YAAY,CAAC,IAAY;IACrC,OAAO,IAAI,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAiB,CAAC;AAC5G,CAAC"}

package/packages/tools/lib/toolchain/providers/opensysml-lowering.d.ts

@@ -0,0 +1,50 @@
+import type { MEMOConfig } from '../../model/config.js';
+import { type ApiElement, type Stage1Output } from '../../stage2/api-model.js';
+import type { CompileModelOptions, CompileModelResult, LoweringDescriptor } from '../registry.js';
+/** What openSysMLHandoff needs beyond the JSON. */
+export interface OpenSysMLHandoffOptions {
+    projectDir: string;
+    libraryDirs: readonly string[];
+    providerVersion?: string;
+    /** The bytes of a document, by the path the service was given, for byte offsets. */
+    source(path: string): Buffer | undefined;
+    /**
+     * The model's one document, when it was parsed from one. OpenSysML writes
+     * `sysx:sourceDocument` only for a model of several documents, so for one
+     * every element is in this document.
+     */
+    soleDocument?: string;
+}
+/**
+ * The `memo-stage1/1` handoff for OpenSysML's API JSON of a clean model: the
+ * elements grouped by the document each is owned under, and the index of what
+ * the standard JSON does not carry.
+ */
+export declare function openSysMLHandoff(elements: readonly ApiElement[], options: OpenSysMLHandoffOptions): Stage1Output;
+/**
+ * Everything an OpenSysML stage 1 result depends on: how the service is
+ * reached and the content of every SysML file it loads. A result is reused
+ * only while this is unchanged; a service upgrade at the same path is not
+ * seen, which is what `memo compile --force` is for.
+ */
+export declare function openSysMLInputKey(config: MEMOConfig, documents: readonly string[]): string;
+/**
+ * Stage 1 through OpenSysML, then stage 2. A stage 1 that reports an error
+ * yields no model: stage 2 never runs on a failed stage 1 (plan, Decisions).
+ */
+export declare function compileWithOpenSysML(options: CompileModelOptions): Promise<CompileModelResult>;
+/** What the last compile that reached the service converted: of the project's documents, how many. */
+export declare const openSysMLLastConversion: {
+    converted: number;
+    of: number;
+    incremental: boolean;
+};
+/** Drop what this process remembers of a project's compile (tests, and a service that failed). */
+export declare function forgetOpenSysMLSession(): void;
+/**
+ * Convert the library set once and write it as the shipped file a package
+ * carries (`memo ship-library`): the handoff `runStage1` would keep for it.
+ */
+export declare function shipOpenSysMLLibrary(config: MEMOConfig, libraryDirs: readonly string[], outDir: string): Promise<string[]>;
+export declare const openSysMLLoweringDescriptor: LoweringDescriptor;
+//# sourceMappingURL=opensysml-lowering.d.ts.map

package/packages/tools/lib/toolchain/providers/opensysml-lowering.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"opensysml-lowering.d.ts","sourceRoot":"","sources":["../../../src/toolchain/providers/opensysml-lowering.ts"],"names":[],"mappings":"AA8BA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAKxD,OAAO,EAA2B,KAAK,UAAU,EAAsB,KAAK,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAI5H,OAAO,KAAK,EAER,mBAAmB,EACnB,kBAAkB,EAClB,kBAAkB,EAGrB,MAAM,gBAAgB,CAAC;AAkBxB,mDAAmD;AACnD,MAAM,WAAW,uBAAuB;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,oFAAoF;IACpF,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IACzC;;;;OAIG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;CACzB;AAWD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,EAAE,OAAO,EAAE,uBAAuB,GAAG,YAAY,CAwIhH;AAsBD;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAQ1F;AAED;;;GAGG;AACH,wBAAsB,oBAAoB,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,kBAAkB,CAAC,CA2BpG;AA2DD,sGAAsG;AACtG,eAAO,MAAM,uBAAuB,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,OAAO,CAAA;CAAgD,CAAC;AAI5I,kGAAkG;AAClG,wBAAgB,sBAAsB,IAAI,IAAI,CAE7C;AA0JD;;;GAGG;AACH,wBAAsB,oBAAoB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAsBhI;AA8ID,eAAO,MAAM,2BAA2B,EAAE,kBAuDzC,CAAC"}