@memoarchitect/tools 0.13.0 → 0.15.0

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

@@ -4,8 +4,9 @@
 // server protocol. Callers pass settings and a project directory and get
 // normalized `Diagnostic`s back. Nothing here branches on a provider name.
 // ─────────────────────────────────────────────────────────────────────────────
-import { discoverLibraryRoots } from '../model/native-project.js';
-import { resolveToolchain } from './effective.js';
+import { canonicalPath, discoverLibraryRoots, discoverProjectSources } from '../model/native-project.js';
+import { relative } from 'node:path';
+import { resolveToolchain, ToolchainNotConfiguredError } from './effective.js';
 import { PROVIDER_ROLES, ROLE_SETTING, } from './registry.js';
 import { defaultRegistry } from './default-registry.js';
 function context(options) {
@@ -30,6 +31,92 @@ export async function runLowering(options) {
     const effective = resolveToolchain(options.config, registry);
     return registry.resolveLowering(effective.lowering, context(options)).run();
 }
+/**
+ * The MEMO model from the selected stage 1 compiler: its check, then stage 2
+ * over its API JSON. Every command that needs a model asks here, so
+ * `toolchain.compiler` means the same thing to all of them. MEMO has no compiler
+ * of its own: a lowering provider that cannot build the model is an error.
+ */
+export async function compileModelWithSelected(options) {
+    const registry = options.registry ?? defaultRegistry;
+    const effective = resolveToolchain(options.config, registry);
+    const compile = registry.descriptor('lowering', effective.lowering).compileModel;
+    if (!compile) {
+        throw new Error(`The compiler "${effective.lowering}" does not build a model, so it cannot be selected as \`toolchain.compiler\`.`);
+    }
+    // The compiler names files by their real paths, so the project and its
+    // libraries are given by them: through a symbolic link nothing would match.
+    const result = await compile({
+        ...options,
+        projectDir: canonicalPath(options.projectDir),
+        libraryDirs: options.libraryDirs.map(canonicalPath),
+    });
+    // A compile that accepted the project but resolved nothing from it is not a
+    // valid empty model, it is a failure to say so: either none of the project's
+    // own files was compiled, or the project imports a package no library root
+    // supplied and so has no kinds, which Architect would show as an empty model
+    // with no error.
+    const unresolved = result.resolution?.diagnostics.find(d => d.code === 'entrypoint-not-compiled');
+    const kinds = result.registries?.kindRegistry?.kindNames().length;
+    // (A project that imports nothing, a scratch fixture or an empty one, has no
+    // library to reach and is reported by its own resolution diagnostics.)
+    const missingImport = result.resolution?.diagnostics.find(d => d.code === 'unresolved-import');
+    const empty = result.resolution && missingImport && result.resolution.selectedRoots.length === 0 && kinds === 0
+        ? `The compile selected no library root and no kinds from ${result.resolution.projectRoot}, so the model is empty. ${missingImport.message}`
+        : undefined;
+    // A dependency the project lists and cannot use is an error: its elements would
+    // be missing or the wrong ones, and a reference into it would not resolve.
+    const dependency = result.resolution?.diagnostics.find(d => d.code === 'dependency-missing' || d.code === 'dependency-version');
+    const message = unresolved?.message ?? empty ?? dependency?.message;
+    if (result.accepted && message) {
+        const { model: _model, ...rest } = result;
+        return {
+            ...rest,
+            accepted: false,
+            diagnostics: [...result.diagnostics, {
+                    domain: 'sysml', provider: effective.lowering, severity: 'error', message,
+                    ...(unresolved?.file ? { file: unresolved.file } : {}),
+                }],
+        };
+    }
+    return result;
+}
+/**
+ * Stage 1 over every library root a locator offers, with the project resolved
+ * from what it compiled (`resolveProject`): what a command loads, so MEMO parses
+ * nothing. `projectFiles` defaults to the project's own sources, its library
+ * roots excluded.
+ */
+export async function compileResolvedProject(options) {
+    const registry = options.registry ?? defaultRegistry;
+    const projectDir = canonicalPath(options.projectDir);
+    const sources = discoverProjectSources(projectDir);
+    return compileModelWithSelected({
+        config: options.config,
+        projectDir,
+        libraryDirs: [...new Set(sources.libraryRoots.map(root => root.sysmlDir))],
+        projectFiles: options.projectFiles
+            ?? new Set(sources.projectFiles.map(file => relative(projectDir, file))),
+        resolveProject: true,
+        provenance: options.provenance,
+        cacheDir: options.cacheDir,
+        force: options.force,
+        registry,
+    });
+}
+/**
+ * Whether the selected compiler's stage 1 diagnostics stand in for the
+ * validator: one provider fills both roles and says its compile is the check
+ * its validator would run. A command that compiles then runs that provider
+ * once, not twice.
+ */
+export function compileServesValidator(config, registry = defaultRegistry) {
+    const effective = resolveToolchain(config, registry);
+    if (effective.validator !== effective.lowering)
+        return false;
+    const descriptor = registry.descriptor('lowering', effective.lowering);
+    return Boolean(descriptor.compileModel && descriptor.compileServesValidator?.(config));
+}
 /** Run the selected packager against `outputPath`. */
 export async function runPackager(options) {
     const registry = options.registry ?? defaultRegistry;
@@ -57,7 +144,7 @@ function fingerprint(diagnostic) {
  * Resolve every role and ask each selected provider whether it can run here,
  * without running it.
  *
- * This is what answers "which `syside` am I actually using?" — a question that
+ * This is what answers "which compiler am I actually using?" — a question that
  * costs an afternoon when the only way to ask it is to run a build and read
  * the errors.
  */
@@ -67,6 +154,20 @@ export function probeToolchain(options) {
     const providerContext = { config: options.config, projectDir: options.projectDir };
     const roles = PROVIDER_ROLES.map(role => {
         const selection = effective.selections.find(s => s.role === role);
+        // A role the settings leave unset is reported, not given a provider.
+        if (!selection) {
+            return {
+                role,
+                setting: ROLE_SETTING[role],
+                provider: '(not configured)',
+                source: 'unset',
+                availability: {
+                    available: false,
+                    transport: 'in-process',
+                    detail: new ToolchainNotConfiguredError(role, registry).message,
+                },
+            };
+        }
         return {
             role,
             setting: ROLE_SETTING[role],
@@ -77,7 +178,7 @@ export function probeToolchain(options) {
     });
     return { projectDir: options.projectDir, effective, roles };
 }
-/** One `role  provider  path  version` line per role, for `memo toolchain probe`. */
+/** One `role  provider  path  version` line per role, for `memo compile --probe`. */
 export function formatProbeLine(probe) {
     const { availability } = probe;
     const where = availability.executable ?? `(${availability.transport})`;
@@ -95,13 +196,11 @@ export function effectiveConfigReport(options) {
             providers[id] = settings;
     }
     return {
-        projectName: options.config.projectName,
+        modelName: options.config.modelName,
         projectRoot: options.projectDir,
         settingsFile: options.settingsFile,
         toolchain: {
-            validator: effective.validator,
-            lowering: effective.lowering,
-            packager: effective.packager,
+            ...Object.fromEntries(effective.selections.map(s => [s.role === 'package' ? 'packager' : s.role, s.provider])),
             selections: effective.selections,
             providers,
         },

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

@@ -1 +1 @@
-{"version":3,"file":"operations.js","sourceRoot":"","sources":["../../src/toolchain/operations.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,yEAAyE;AACzE,yEAAyE;AACzE,2EAA2E;AAC3E,gFAAgF;AAIhF,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAElE,OAAO,EAAE,gBAAgB,EAA2B,MAAM,gBAAgB,CAAC;AAC3E,OAAO,EACH,cAAc,EACd,YAAY,GAOf,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAoBxD,SAAS,OAAO,CAAC,OAA4B;IACzC,OAAO;QACH,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,oBAAoB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;QACjG,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,UAAU,EAAE,OAAO,CAAC,UAAU;KACjC,CAAC;AACN,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,OAA4B;IAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC;IACrD,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7D,OAAO,QAAQ,CAAC,gBAAgB,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AAClF,CAAC;AAED,yEAAyE;AACzE,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,OAA4B;IAC1D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC;IACrD,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7D,OAAO,QAAQ,CAAC,eAAe,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AAChF,CAAC;AAED,sDAAsD;AACtD,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,OAA4B;IAC1D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC;IACrD,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7D,OAAO,QAAQ,CAAC,eAAe,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AAChF,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC5B,oBAA2C,EAC3C,iBAAwC;IAExC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;IAC5D,OAAO,CAAC,GAAG,oBAAoB,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,WAAW,CAAC,UAAsB;IACvC,MAAM,EAAE,IAAI,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC;IAC/D,OAAO,GAAG,UAAU,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;AAC9E,CAAC;AAiBD;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,OAI9B;IACG,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC;IACrD,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7D,MAAM,eAAe,GAAoB,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC;IACpG,MAAM,KAAK,GAAgB,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;QACjD,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAE,CAAC;QACnE,OAAO;YACH,IAAI;YACJ,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC;YAC3B,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,YAAY,EAAE,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC;SACrF,CAAC;IACN,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAChE,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,eAAe,CAAC,KAAgB;IAC5C,MAAM,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC/B,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,IAAI,IAAI,YAAY,CAAC,SAAS,GAAG,CAAC;IACvE,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACvE,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC,iBAAiB,YAAY,CAAC,MAAM,EAAE,CAAC;IACtG,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC;AAC7E,CAAC;AAiBD,MAAM,UAAU,qBAAqB,CAAC,OAKrC;IACG,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC;IACrD,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7D,MAAM,SAAS,GAA4B,EAAE,CAAC;IAC9C,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;QAChD,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC;IACzD,CAAC;IACD,OAAO;QACH,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,WAAW;QACvC,WAAW,EAAE,OAAO,CAAC,UAAU;QAC/B,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,SAAS,EAAE;YACP,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,SAAS;SACZ;QACD,YAAY,EAAE,SAAS,CAAC,YAAY;KACvC,CAAC;AACN,CAAC"}
+{"version":3,"file":"operations.js","sourceRoot":"","sources":["../../src/toolchain/operations.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,yEAAyE;AACzE,yEAAyE;AACzE,2EAA2E;AAC3E,gFAAgF;AAIhF,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AACzG,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EAAE,gBAAgB,EAAE,2BAA2B,EAA2B,MAAM,gBAAgB,CAAC;AACxG,OAAO,EAGH,cAAc,EACd,YAAY,GAOf,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAoBxD,SAAS,OAAO,CAAC,OAA4B;IACzC,OAAO;QACH,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,oBAAoB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;QACjG,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,UAAU,EAAE,OAAO,CAAC,UAAU;KACjC,CAAC;AACN,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,OAA4B;IAC3D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC;IACrD,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7D,OAAO,QAAQ,CAAC,gBAAgB,CAAC,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AAClF,CAAC;AAED,yEAAyE;AACzE,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,OAA4B;IAC1D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC;IACrD,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7D,OAAO,QAAQ,CAAC,eAAe,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AAChF,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC1C,OAA8D;IAE9D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC;IACrD,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,UAAU,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC;IACjF,IAAI,CAAC,OAAO,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,iBAAiB,SAAS,CAAC,QAAQ,+EAA+E,CAAC,CAAC;IACxI,CAAC;IACD,uEAAuE;IACvE,4EAA4E;IAC5E,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC;QACzB,GAAG,OAAO;QACV,UAAU,EAAE,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC;QAC7C,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC;KACtD,CAAC,CAAC;IACH,4EAA4E;IAC5E,6EAA6E;IAC7E,2EAA2E;IAC3E,6EAA6E;IAC7E,iBAAiB;IACjB,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,yBAAyB,CAAC,CAAC;IAClG,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC;IAClE,6EAA6E;IAC7E,uEAAuE;IACvE,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC;IAC/F,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,IAAI,aAAa,IAAI,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC;QAC3G,CAAC,CAAC,0DAA0D,MAAM,CAAC,UAAU,CAAC,WAAW,4BAA4B,aAAa,CAAC,OAAO,EAAE;QAC5I,CAAC,CAAC,SAAS,CAAC;IAChB,gFAAgF;IAChF,2EAA2E;IAC3E,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,oBAAoB,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC;IAChI,MAAM,OAAO,GAAG,UAAU,EAAE,OAAO,IAAI,KAAK,IAAI,UAAU,EAAE,OAAO,CAAC;IACpE,IAAI,MAAM,CAAC,QAAQ,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC;QAC1C,OAAO;YACH,GAAG,IAAI;YACP,QAAQ,EAAE,KAAK;YACf,WAAW,EAAE,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE;oBACjC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO;oBACzE,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACzD,CAAC;SACL,CAAC;IACN,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,OAS5C;IACG,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC;IACrD,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAC;IACnD,OAAO,wBAAwB,CAAC;QAC5B,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,UAAU;QACV,WAAW,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC1E,YAAY,EAAE,OAAO,CAAC,YAAY;eAC3B,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5E,cAAc,EAAE,IAAI;QACpB,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ;KACX,CAAC,CAAC;AACP,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAkB,EAAE,WAA6B,eAAe;IACnG,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACrD,IAAI,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC7D,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC,UAAU,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;IACvE,OAAO,OAAO,CAAC,UAAU,CAAC,YAAY,IAAI,UAAU,CAAC,sBAAsB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED,sDAAsD;AACtD,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,OAA4B;IAC1D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC;IACrD,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7D,OAAO,QAAQ,CAAC,eAAe,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AAChF,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC5B,oBAA2C,EAC3C,iBAAwC;IAExC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;IAC5D,OAAO,CAAC,GAAG,oBAAoB,EAAE,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,WAAW,CAAC,UAAsB;IACvC,MAAM,EAAE,IAAI,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC;IAC/D,OAAO,GAAG,UAAU,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;AAC9E,CAAC;AAmBD;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,OAI9B;IACG,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC;IACrD,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7D,MAAM,eAAe,GAAoB,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC;IACpG,MAAM,KAAK,GAAgB,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;QACjD,MAAM,SAAS,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAClE,qEAAqE;QACrE,IAAI,CAAC,SAAS,EAAE,CAAC;YACb,OAAO;gBACH,IAAI;gBACJ,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC;gBAC3B,QAAQ,EAAE,kBAAkB;gBAC5B,MAAM,EAAE,OAAO;gBACf,YAAY,EAAE;oBACV,SAAS,EAAE,KAAK;oBAChB,SAAS,EAAE,YAAY;oBACvB,MAAM,EAAE,IAAI,2BAA2B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,OAAO;iBAClE;aACJ,CAAC;QACN,CAAC;QACD,OAAO;YACH,IAAI;YACJ,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC;YAC3B,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,YAAY,EAAE,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC;SACrF,CAAC;IACN,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AAChE,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,eAAe,CAAC,KAAgB;IAC5C,MAAM,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC/B,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,IAAI,IAAI,YAAY,CAAC,SAAS,GAAG,CAAC;IACvE,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACvE,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC,iBAAiB,YAAY,CAAC,MAAM,EAAE,CAAC;IACtG,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC;AAC7E,CAAC;AAkBD,MAAM,UAAU,qBAAqB,CAAC,OAKrC;IACG,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC;IACrD,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7D,MAAM,SAAS,GAA4B,EAAE,CAAC;IAC9C,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;QAChD,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC;IACzD,CAAC;IACD,OAAO;QACH,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS;QACnC,WAAW,EAAE,OAAO,CAAC,UAAU;QAC/B,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,SAAS,EAAE;YACP,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC9G,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,SAAS;SACZ;QACD,YAAY,EAAE,SAAS,CAAC,YAAY;KACvC,CAAC;AACN,CAAC"}

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

@@ -0,0 +1,13 @@
+import type { MEMOConfig, ToolchainConfig } from '../model/config.js';
+import type { ProviderRegistry } from './registry.js';
+/** The user-scoped settings a project's own settings file wrote, by dotted path. */
+export declare function userSettingsInProject(toolchain: ToolchainConfig | undefined, registry: ProviderRegistry): string[];
+/** A project's settings file names a tool's place on one machine. */
+export declare class ProjectNamesUserSettingError extends Error {
+    readonly file: string | undefined;
+    readonly paths: readonly string[];
+    constructor(file: string | undefined, paths: readonly string[]);
+}
+/** Refuse a project whose settings file names a user's setting. */
+export declare function rejectUserSettingsInProject(config: MEMOConfig | undefined, registry: ProviderRegistry): void;
+//# sourceMappingURL=ownership.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ownership.d.ts","sourceRoot":"","sources":["../../src/toolchain/ownership.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAEtE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEtD,oFAAoF;AACpF,wBAAgB,qBAAqB,CAAC,SAAS,EAAE,eAAe,GAAG,SAAS,EAAE,QAAQ,EAAE,gBAAgB,GAAG,MAAM,EAAE,CAKlH;AAWD,qEAAqE;AACrE,qBAAa,4BAA6B,SAAQ,KAAK;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE;gBAA3D,IAAI,EAAE,MAAM,GAAG,SAAS,EAAW,KAAK,EAAE,SAAS,MAAM,EAAE;CAWnF;AAED,mEAAmE;AACnE,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,UAAU,GAAG,SAAS,EAAE,QAAQ,EAAE,gBAAgB,GAAG,IAAI,CAG5G"}

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

@@ -0,0 +1,57 @@
+// ─── Whose setting it is ─────────────────────────────────────────────────────
+//
+// Where a tool is on this machine (its binary, its Python) belongs to whoever
+// runs it: two people on one project have different machines. A project's
+// settings file is checked in and shared, so a path in it is wrong for everyone
+// else, and it may not carry one. It is set in the user's own settings, the
+// environment or on the command line (`model/user-settings.ts`). The registry
+// says which settings these are (`scope: 'user'`), so a provider that adds one
+// gets the rule without anyone remembering to.
+//
+// Which compiler runs is different: the project names it (`scope: 'shared'`),
+// and each user may override it for themselves without editing the project.
+//
+// A rejected setting is rejected, never read as a fallback or compared against
+// the user's: the same rule `model/settings-boundary.ts` holds for semantic fields.
+// ─────────────────────────────────────────────────────────────────────────────
+import { userSettingsPath } from '../model/user-settings.js';
+/** The user-scoped settings a project's own settings file wrote, by dotted path. */
+export function userSettingsInProject(toolchain, registry) {
+    if (!toolchain || typeof toolchain !== 'object')
+        return [];
+    return registry.schema()
+        .filter(leaf => leaf.scope === 'user' && valueAt(toolchain, leaf.path) !== undefined)
+        .map(leaf => leaf.path);
+}
+function valueAt(toolchain, path) {
+    let value = toolchain;
+    for (const step of path.split('.')) {
+        if (!value || typeof value !== 'object')
+            return undefined;
+        value = value[step];
+    }
+    return value;
+}
+/** A project's settings file names a tool's place on one machine. */
+export class ProjectNamesUserSettingError extends Error {
+    file;
+    paths;
+    constructor(file, paths) {
+        const where = file ?? "the project's settings file";
+        const names = paths.map(path => `toolchain.${path}`).join(', ');
+        super(`${where} sets ${names}. Where a tool is on this machine belongs to the person running MEMO, `
+            + `so a project's checked-in settings do not carry it: it would be wrong for everyone else. Remove ${paths.length === 1 ? 'it' : 'them'} from the file `
+            + `and set ${paths.length === 1 ? 'it' : 'each'} for yourself in your own settings file, ${userSettingsPath()} `
+            + `(under toolchain: ${paths.join(', ')}; \`memo-architect config set ${paths[0]} <value>\` writes it), or with an environment variable or a --toolchain.<setting> flag.`);
+        this.file = file;
+        this.paths = paths;
+        this.name = 'ProjectNamesUserSettingError';
+    }
+}
+/** Refuse a project whose settings file names a user's setting. */
+export function rejectUserSettingsInProject(config, registry) {
+    const paths = userSettingsInProject(config?.projectToolchain, registry);
+    if (paths.length > 0)
+        throw new ProjectNamesUserSettingError(config?.projectSettingsFile, paths);
+}
+//# sourceMappingURL=ownership.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ownership.js","sourceRoot":"","sources":["../../src/toolchain/ownership.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,0EAA0E;AAC1E,gFAAgF;AAChF,4EAA4E;AAC5E,8EAA8E;AAC9E,+EAA+E;AAC/E,+CAA+C;AAC/C,EAAE;AACF,8EAA8E;AAC9E,4EAA4E;AAC5E,EAAE;AACF,+EAA+E;AAC/E,oFAAoF;AACpF,gFAAgF;AAGhF,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAG7D,oFAAoF;AACpF,MAAM,UAAU,qBAAqB,CAAC,SAAsC,EAAE,QAA0B;IACpG,IAAI,CAAC,SAAS,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IAC3D,OAAO,QAAQ,CAAC,MAAM,EAAE;SACnB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,MAAM,IAAI,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC;SACpF,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,OAAO,CAAC,SAA0B,EAAE,IAAY;IACrD,IAAI,KAAK,GAAY,SAAS,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC1D,KAAK,GAAI,KAAiC,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED,qEAAqE;AACrE,MAAM,OAAO,4BAA6B,SAAQ,KAAK;IAC9B;IAAmC;IAAxD,YAAqB,IAAwB,EAAW,KAAwB;QAC5E,MAAM,KAAK,GAAG,IAAI,IAAI,6BAA6B,CAAC;QACpD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,KAAK,CACD,GAAG,KAAK,SAAS,KAAK,wEAAwE;cAC5F,mGAAmG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,iBAAiB;cACtJ,WAAW,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,4CAA4C,gBAAgB,EAAE,GAAG;cAC9G,qBAAqB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,iCAAiC,KAAK,CAAC,CAAC,CAAC,yFAAyF,CAC5K,CAAC;QARe,SAAI,GAAJ,IAAI,CAAoB;QAAW,UAAK,GAAL,KAAK,CAAmB;QAS5E,IAAI,CAAC,IAAI,GAAG,8BAA8B,CAAC;IAC/C,CAAC;CACJ;AAED,mEAAmE;AACnE,MAAM,UAAU,2BAA2B,CAAC,MAA8B,EAAE,QAA0B;IAClG,MAAM,KAAK,GAAG,qBAAqB,CAAC,MAAM,EAAE,gBAAgB,EAAE,QAAQ,CAAC,CAAC;IACxE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,4BAA4B,CAAC,MAAM,EAAE,mBAAmB,EAAE,KAAK,CAAC,CAAC;AACrG,CAAC"}

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

@@ -3,14 +3,14 @@ import { type ToolInvocation } from './registry.js';
 export declare function resolveProjectPath(value: string, projectDir: string): string;
 /**
  * A configured executable is a path when it looks like one, and a PATH lookup
- * otherwise. `syside` means "whatever is on PATH"; `./bin/syside` means that
+ * otherwise. `sysml` means "whatever is on PATH"; `./bin/sysml` means that
  * file.
  */
 export declare function resolveExecutable(value: string | undefined, fallback: string, projectDir: string): string;
 /**
  * Absolute path of a command, resolved the way the shell would.
  *
- * `memo toolchain probe` prints this: knowing *which* `syside` ran matters as
+ * `memo compile --probe` prints this: knowing *which* executable ran matters as
  * much as knowing that one did.
  */
 export declare function whichExecutable(command: string, env?: NodeJS.ProcessEnv): string | undefined;

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

@@ -19,7 +19,7 @@ export function resolveProjectPath(value, projectDir) {
 }
 /**
  * A configured executable is a path when it looks like one, and a PATH lookup
- * otherwise. `syside` means "whatever is on PATH"; `./bin/syside` means that
+ * otherwise. `sysml` means "whatever is on PATH"; `./bin/sysml` means that
  * file.
  */
 export function resolveExecutable(value, fallback, projectDir) {
@@ -43,7 +43,7 @@ function isExecutableFile(candidate) {
 /**
  * Absolute path of a command, resolved the way the shell would.
  *
- * `memo toolchain probe` prints this: knowing *which* `syside` ran matters as
+ * `memo compile --probe` prints this: knowing *which* executable ran matters as
  * much as knowing that one did.
  */
 export function whichExecutable(command, env = process.env) {

package/packages/tools/lib/toolchain/project-config.d.ts

@@ -0,0 +1,4 @@
+import type { MEMOConfig } from '../model/config.js';
+/** The project's effective settings. */
+export declare function loadProjectConfig(projectDir: string): MEMOConfig;
+//# sourceMappingURL=project-config.d.ts.map

package/packages/tools/lib/toolchain/project-config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-config.d.ts","sourceRoot":"","sources":["../../src/toolchain/project-config.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,wCAAwC;AACxC,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,UAAU,CAGhE"}

package/packages/tools/lib/toolchain/project-config.js

@@ -0,0 +1,13 @@
+// ─── A project's settings ────────────────────────────────────────────────────
+//
+// Settings are optional: a project with none is complete, because a MEMO project
+// declares its identity in SysML, not in YAML.
+// ─────────────────────────────────────────────────────────────────────────────
+import { findConfigFile, loadProjectSettings } from '../model/config-loader.js';
+import { loadAndResolveConfig } from '../server/config-resolver.js';
+/** The project's effective settings. */
+export function loadProjectConfig(projectDir) {
+    const configPath = findConfigFile(projectDir);
+    return configPath ? loadAndResolveConfig(configPath) : loadProjectSettings(projectDir);
+}
+//# sourceMappingURL=project-config.js.map

package/packages/tools/lib/toolchain/project-config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-config.js","sourceRoot":"","sources":["../../src/toolchain/project-config.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,iFAAiF;AACjF,+CAA+C;AAC/C,gFAAgF;AAEhF,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChF,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAGpE,wCAAwC;AACxC,MAAM,UAAU,iBAAiB,CAAC,UAAkB;IAChD,MAAM,UAAU,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IAC9C,OAAO,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;AAC3F,CAAC"}

package/packages/tools/lib/toolchain/project-model.d.ts

@@ -0,0 +1,75 @@
+import type { BuilderRegistries } from '../model/complete-model.js';
+import type { MEMOConfig } from '../model/config.js';
+import type { NativeProjectResolution } from '../model/native-project.js';
+import type { MemoModel } from '../model/semantic.js';
+import type { ApiModel } from '../stage2/api-model.js';
+import type { ConstraintDiagnostic } from '../validator/constraint-loader.js';
+import type { CompiledConstraint } from '../validator/constraint-eval.js';
+import type { Diagnostic } from './diagnostic.js';
+import type { ProviderRegistry } from './registry.js';
+export interface ProjectModel {
+    model: MemoModel;
+    /** The kinds, relationship types and provenance the model was built with. */
+    registries?: BuilderRegistries;
+    resolution?: NativeProjectResolution;
+    /** The selected compiler (`toolchain.compiler`). */
+    compiler: string;
+    /** The compiler's version. */
+    providerVersion?: string;
+    /** Stage 1's diagnostics. */
+    diagnostics: Diagnostic[];
+    /** Messages from resolving the project and loading its ontology. */
+    loadWarnings: string[];
+    /** The handoff the model was built from, library included. */
+    api: ApiModel;
+    /** Whether stage 1 was reused from the project's `.memo/stage1`. */
+    cached?: boolean;
+}
+/** Stage 1 reported an error: no model, since it is not valid SysML. */
+export declare class Stage1RejectedError extends Error {
+    readonly compiler: string;
+    readonly diagnostics: Diagnostic[];
+    constructor(compiler: string, diagnostics: Diagnostic[]);
+}
+/** Where compilers keep stage 1 output between runs: tool state, never authored content. */
+export declare function stage1CacheDir(projectRoot: string): string;
+export interface LoadProjectModelOptions {
+    projectRoot: string;
+    config: MEMOConfig;
+    /**
+     * The project files the model is built from, absolute. Defaults to the
+     * project's own sources: every file under no library root.
+     */
+    files?: readonly string[];
+    /** Reuse and refresh `.memo/stage1`. Default true. */
+    cache?: boolean;
+    registry?: ProviderRegistry;
+}
+/**
+ * The project's model from the selected compiler.
+ *
+ * Throws {@link Stage1RejectedError} when stage 1 reports an error: a command
+ * never works on a model that is not valid SysML.
+ */
+export declare function loadProjectModel(options: LoadProjectModelOptions): Promise<ProjectModel>;
+/**
+ * The rule definitions a loaded project declares, from the handoff, restricted
+ * to what resolution loads, as `memo validate` restricts it.
+ */
+export declare function projectConstraints(project: ProjectModel, diagnostics?: ConstraintDiagnostic[], 
+/** Files that are the project's own; by default, every file under no library root. */
+isProjectFile?: (file: string) => boolean): CompiledConstraint[];
+export interface ProjectOntology {
+    registries: BuilderRegistries;
+    resolution?: NativeProjectResolution;
+    /** Ontology files resolution loaded; 0 when nothing resolved. */
+    fileCount: number;
+    loadWarnings: string[];
+}
+/**
+ * The ontology a project resolves — its kinds, relationship types and the
+ * resolution itself — for a command that needs no model, from the selected
+ * compiler's handoff.
+ */
+export declare function loadProjectOntology(options: LoadProjectModelOptions): Promise<ProjectOntology>;
+//# sourceMappingURL=project-model.d.ts.map

package/packages/tools/lib/toolchain/project-model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-model.d.ts","sourceRoot":"","sources":["../../src/toolchain/project-model.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AACpE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAEvD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAG1E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAGlD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEtD,MAAM,WAAW,YAAY;IACzB,KAAK,EAAE,SAAS,CAAC;IACjB,6EAA6E;IAC7E,UAAU,CAAC,EAAE,iBAAiB,CAAC;IAC/B,UAAU,CAAC,EAAE,uBAAuB,CAAC;IACrC,oDAAoD;IACpD,QAAQ,EAAE,MAAM,CAAC;IACjB,8BAA8B;IAC9B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,6BAA6B;IAC7B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,oEAAoE;IACpE,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,8DAA8D;IAC9D,GAAG,EAAE,QAAQ,CAAC;IACd,oEAAoE;IACpE,MAAM,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,wEAAwE;AACxE,qBAAa,mBAAoB,SAAQ,KAAK;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM;IAAE,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE;gBAApD,QAAQ,EAAE,MAAM,EAAW,WAAW,EAAE,UAAU,EAAE;CAK5E;AAED,4FAA4F;AAC5F,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,MAAM,WAAW,uBAAuB;IACpC,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,UAAU,CAAC;IACnB;;;OAGG;IACH,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,sDAAsD;IACtD,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,QAAQ,CAAC,EAAE,gBAAgB,CAAC;CAC/B;AAED;;;;;GAKG;AACH,wBAAsB,gBAAgB,CAAC,OAAO,EAAE,uBAAuB,GAAG,OAAO,CAAC,YAAY,CAAC,CAuB9F;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAC9B,OAAO,EAAE,YAAY,EACrB,WAAW,GAAE,oBAAoB,EAAO;AACxC,sFAAsF;AACtF,aAAa,GAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAgF,GAClH,kBAAkB,EAAE,CAItB;AAED,MAAM,WAAW,eAAe;IAC5B,UAAU,EAAE,iBAAiB,CAAC;IAC9B,UAAU,CAAC,EAAE,uBAAuB,CAAC;IACrC,iEAAiE;IACjE,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED;;;;GAIG;AACH,wBAAsB,mBAAmB,CAAC,OAAO,EAAE,uBAAuB,GAAG,OAAO,CAAC,eAAe,CAAC,CAQpG"}

package/packages/tools/lib/toolchain/project-model.js

@@ -0,0 +1,92 @@
+// ─── A project's model, from the selected compiler ───────────────────────────
+//
+// Every command that needs a MEMO model asks here, so `toolchain.compiler`
+// means the same thing to all of them. The compiler compiles every library root
+// a locator offers and states the project's resolution, registries and rules in
+// its handoff, so MEMO parses nothing: it reads the handoff.
+// ─────────────────────────────────────────────────────────────────────────────
+import { join, relative } from 'node:path';
+import { isProjectSource, resolutionLoads } from '../stage2/project-from-api.js';
+import { collectApiConstraints } from '../validator/constraint-loader-api.js';
+import { defaultRegistry } from './default-registry.js';
+import { resolveToolchain } from './effective.js';
+import { compileResolvedProject } from './operations.js';
+/** Stage 1 reported an error: no model, since it is not valid SysML. */
+export class Stage1RejectedError extends Error {
+    compiler;
+    diagnostics;
+    constructor(compiler, diagnostics) {
+        const errors = diagnostics.filter(d => d.severity === 'error');
+        super(`Stage 1 (${compiler}) reported ${errors.length} error(s):\n`
+            + errors.map(d => `  ${d.file}:${d.range?.start.line ?? '?'}:${d.range?.start.column ?? '?'} ${d.code ?? ''} ${d.message}`).join('\n'));
+        this.compiler = compiler;
+        this.diagnostics = diagnostics;
+    }
+}
+/** Where compilers keep stage 1 output between runs: tool state, never authored content. */
+export function stage1CacheDir(projectRoot) {
+    return join(projectRoot, '.memo', 'stage1');
+}
+/**
+ * The project's model from the selected compiler.
+ *
+ * Throws {@link Stage1RejectedError} when stage 1 reports an error: a command
+ * never works on a model that is not valid SysML.
+ */
+export async function loadProjectModel(options) {
+    const { projectRoot, config } = options;
+    const registry = options.registry ?? defaultRegistry;
+    const compiler = resolveToolchain(config, registry).lowering;
+    const stage1 = await compileResolvedProject({
+        config,
+        projectDir: projectRoot,
+        projectFiles: options.files ? new Set(options.files.map(file => relative(projectRoot, file))) : undefined,
+        cacheDir: options.cache === false ? undefined : stage1CacheDir(projectRoot),
+        registry,
+    });
+    if (!stage1.accepted || !stage1.model || !stage1.api)
+        throw new Stage1RejectedError(compiler, stage1.diagnostics);
+    return {
+        model: stage1.model,
+        registries: stage1.registries,
+        resolution: stage1.resolution,
+        compiler,
+        providerVersion: stage1.providerVersion,
+        diagnostics: stage1.diagnostics,
+        loadWarnings: (stage1.resolution?.diagnostics ?? []).map(d => `${d.code}: ${d.message}`),
+        api: stage1.api,
+        cached: stage1.cached,
+    };
+}
+/**
+ * The rule definitions a loaded project declares, from the handoff, restricted
+ * to what resolution loads, as `memo validate` restricts it.
+ */
+export function projectConstraints(project, diagnostics = [], 
+/** Files that are the project's own; by default, every file under no library root. */
+isProjectFile = project.resolution ? isProjectSource(project.resolution) : () => false) {
+    const loaded = project.resolution ? resolutionLoads(project.resolution) : () => true;
+    return collectApiConstraints(project.api, diagnostics, project.resolution?.filePackages, file => loaded(file) || isProjectFile(file));
+}
+/**
+ * The ontology a project resolves — its kinds, relationship types and the
+ * resolution itself — for a command that needs no model, from the selected
+ * compiler's handoff.
+ */
+export async function loadProjectOntology(options) {
+    const project = await loadProjectModel(options);
+    return {
+        registries: project.registries ?? {},
+        resolution: project.resolution,
+        fileCount: project.resolution ? resolutionFileCount(project.resolution) : 0,
+        loadWarnings: project.loadWarnings,
+    };
+}
+function resolutionFileCount(resolution) {
+    const files = new Set();
+    for (const pkg of resolution.closure.values())
+        for (const file of pkg.files)
+            files.add(file);
+    return files.size;
+}
+//# sourceMappingURL=project-model.js.map

package/packages/tools/lib/toolchain/project-model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"project-model.js","sourceRoot":"","sources":["../../src/toolchain/project-model.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,2EAA2E;AAC3E,gFAAgF;AAChF,gFAAgF;AAChF,6DAA6D;AAC7D,gFAAgF;AAEhF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAM3C,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAGjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAsBzD,wEAAwE;AACxE,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IACrB;IAA2B;IAAhD,YAAqB,QAAgB,EAAW,WAAyB;QACrE,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QAC/D,KAAK,CAAC,YAAY,QAAQ,cAAc,MAAM,CAAC,MAAM,cAAc;cAC7D,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,IAAI,GAAG,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAH3H,aAAQ,GAAR,QAAQ,CAAQ;QAAW,gBAAW,GAAX,WAAW,CAAc;IAIzE,CAAC;CACJ;AAED,4FAA4F;AAC5F,MAAM,UAAU,cAAc,CAAC,WAAmB;IAC9C,OAAO,IAAI,CAAC,WAAW,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AAChD,CAAC;AAeD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,OAAgC;IACnE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IACxC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC;IACrD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC;IAC7D,MAAM,MAAM,GAAG,MAAM,sBAAsB,CAAC;QACxC,MAAM;QACN,UAAU,EAAE,WAAW;QACvB,YAAY,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QACzG,QAAQ,EAAE,OAAO,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,WAAW,CAAC;QAC3E,QAAQ;KACX,CAAC,CAAC;IACH,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,GAAG;QAAE,MAAM,IAAI,mBAAmB,CAAC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAClH,OAAO;QACH,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,QAAQ;QACR,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,YAAY,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;QACxF,GAAG,EAAE,MAAM,CAAC,GAAG;QACf,MAAM,EAAE,MAAM,CAAC,MAAM;KACxB,CAAC;AACN,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAC9B,OAAqB,EACrB,cAAsC,EAAE;AACxC,sFAAsF;AACtF,gBAA2C,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK;IAEjH,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;IACrF,OAAO,qBAAqB,CAAC,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,OAAO,CAAC,UAAU,EAAE,YAAY,EACnF,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;AACrD,CAAC;AAUD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,OAAgC;IACtE,MAAM,OAAO,GAAG,MAAM,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAChD,OAAO;QACH,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;QACpC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,YAAY,EAAE,OAAO,CAAC,YAAY;KACrC,CAAC;AACN,CAAC;AAED,SAAS,mBAAmB,CAAC,UAAmC;IAC5D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,EAAE;QAAE,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7F,OAAO,KAAK,CAAC,IAAI,CAAC;AACtB,CAAC"}

package/packages/tools/lib/toolchain/providers/internal-package.d.ts

@@ -0,0 +1,6 @@
+import type { PackageDescriptor } from '../registry.js';
+/** The one place this string is written. Everything else reads it from here. */
+export declare const INTERNAL_PROVIDER_ID = "internal";
+/** Package role — the built-in gzip-tar MEMO bundle writer. */
+export declare const internalPackageDescriptor: PackageDescriptor;
+//# sourceMappingURL=internal-package.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"internal-package.d.ts","sourceRoot":"","sources":["../../../src/toolchain/providers/internal-package.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,iBAAiB,EAAsC,MAAM,gBAAgB,CAAC;AAE5F,gFAAgF;AAChF,eAAO,MAAM,oBAAoB,aAAa,CAAC;AAO/C,+DAA+D;AAC/D,eAAO,MAAM,yBAAyB,EAAE,iBA8BvC,CAAC"}

package/packages/tools/lib/toolchain/providers/internal-package.js

@@ -0,0 +1,47 @@
+// ─── MEMO's own packager ─────────────────────────────────────────────────────
+//
+// The built-in gzip-tar MEMO bundle writer, selected as `toolchain.packager:
+// internal`. It is a packager, not a compiler: it reads the project's files and
+// writes an archive, and needs no SysML compiler to do it.
+// ─────────────────────────────────────────────────────────────────────────────
+import { existsSync } from 'node:fs';
+import { writeInternalMemoBundle } from './internal-kpar.js';
+/** The one place this string is written. Everything else reads it from here. */
+export const INTERNAL_PROVIDER_ID = 'internal';
+/** MEMO's own version, reported the way an external tool reports `--version`. */
+function internalVersion() {
+    return process.env.MEMO_VERSION;
+}
+/** Package role — the built-in gzip-tar MEMO bundle writer. */
+export const internalPackageDescriptor = {
+    id: INTERNAL_PROVIDER_ID,
+    role: 'package',
+    capabilities: ['pack'],
+    defaultOutputName: context => `${(context.config.modelName || 'memo-project').replace(/[^a-zA-Z0-9_-]/g, '-')}.memo-bundle`,
+    probe: () => ({ available: true, transport: 'in-process', version: internalVersion() }),
+    create(context) {
+        return {
+            id: INTERNAL_PROVIDER_ID,
+            role: 'package',
+            transport: 'in-process',
+            invocation: () => undefined,
+            async run() {
+                const outputPath = context.outputPath;
+                if (!outputPath)
+                    throw new Error('Packaging requires an output path.');
+                await writeInternalMemoBundle(context.projectDir, outputPath, context.config.modelName || 'memo-project');
+                if (!existsSync(outputPath)) {
+                    throw new Error(`${INTERNAL_PROVIDER_ID} completed but did not create ${outputPath}.`);
+                }
+                return {
+                    provider: INTERNAL_PROVIDER_ID,
+                    providerVersion: internalVersion(),
+                    transport: 'in-process',
+                    accepted: true,
+                    diagnostics: [],
+                };
+            },
+        };
+    },
+};
+//# sourceMappingURL=internal-package.js.map

package/packages/tools/lib/toolchain/providers/internal-package.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"internal-package.js","sourceRoot":"","sources":["../../../src/toolchain/providers/internal-package.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,6EAA6E;AAC7E,gFAAgF;AAChF,2DAA2D;AAC3D,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAG7D,gFAAgF;AAChF,MAAM,CAAC,MAAM,oBAAoB,GAAG,UAAU,CAAC;AAE/C,iFAAiF;AACjF,SAAS,eAAe;IACpB,OAAO,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC;AACpC,CAAC;AAED,+DAA+D;AAC/D,MAAM,CAAC,MAAM,yBAAyB,GAAsB;IACxD,EAAE,EAAE,oBAAoB;IACxB,IAAI,EAAE,SAAS;IACf,YAAY,EAAE,CAAC,MAAM,CAAC;IACtB,iBAAiB,EAAE,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,IAAI,cAAc,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,cAAc;IAC3H,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,OAAO,EAAE,eAAe,EAAE,EAAE,CAAC;IACvF,MAAM,CAAC,OAAwB;QAC3B,OAAO;YACH,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE,SAAkB;YACxB,SAAS,EAAE,YAAqB;YAChC,UAAU,EAAE,GAAG,EAAE,CAAC,SAAS;YAC3B,KAAK,CAAC,GAAG;gBACL,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;gBACtC,IAAI,CAAC,UAAU;oBAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;gBACvE,MAAM,uBAAuB,CACzB,OAAO,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,IAAI,cAAc,CAAC,CAAC;gBAChF,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;oBAC1B,MAAM,IAAI,KAAK,CAAC,GAAG,oBAAoB,iCAAiC,UAAU,GAAG,CAAC,CAAC;gBAC3F,CAAC;gBACD,OAAO;oBACH,QAAQ,EAAE,oBAAoB;oBAC9B,eAAe,EAAE,eAAe,EAAE;oBAClC,SAAS,EAAE,YAAY;oBACvB,QAAQ,EAAE,IAAI;oBACd,WAAW,EAAE,EAAE;iBAClB,CAAC;YACN,CAAC;SACJ,CAAC;IACN,CAAC;CACJ,CAAC"}

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

@@ -0,0 +1,20 @@
+import type { MEMOConfig } from '../../model/config.js';
+import type { Diagnostic } from '../diagnostic.js';
+import { type OpenSysMLConnection } from './opensysml.js';
+/** The session's OpenSysML service, started on first use and closed once idle. */
+export declare function sharedOpenSysMLConnection(config: MEMOConfig): Promise<OpenSysMLConnection>;
+/** Close the session's service; the next call starts another. */
+export declare function closeSharedOpenSysMLConnection(): void;
+/**
+ * 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 declare function resolvedCompileDocuments(projectRoot: string): string[];
+/**
+ * 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 declare function checkWithOpenSysML(config: MEMOConfig, projectRoot: string, content: ReadonlyMap<string, string>): Promise<Diagnostic[]>;
+//# sourceMappingURL=opensysml-check.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"opensysml-check.d.ts","sourceRoot":"","sources":["../../../src/toolchain/providers/opensysml-check.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGxD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EAAwD,KAAK,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAOhH,kFAAkF;AAClF,wBAAsB,yBAAyB,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAahG;AAED,iEAAiE;AACjE,wBAAgB,8BAA8B,IAAI,IAAI,CAKrD;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,EAAE,CAKtE;AAED;;;;GAIG;AACH,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAC9E,OAAO,CAAC,UAAU,EAAE,CAAC,CAyBvB"}