@memoarchitect/tools 0.13.2 → 0.15.0

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

@@ -1 +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"}
+{"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,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,EAAE,4BAA4B,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAChF,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAEhE;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB;IACjC,OAAO,IAAI,gBAAgB,EAAE;SACxB,QAAQ,CAAC,yBAAyB,CAAC;SACnC,QAAQ,CAAC,yBAAyB,CAAC;SACnC,QAAQ,CAAC,wBAAwB,CAAC;SAClC,QAAQ,CAAC,2BAA2B,CAAC;SACrC,QAAQ,CAAC,4BAA4B,CAAC;SACtC,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

@@ -25,8 +25,8 @@ export interface Diagnostic {
     /**
      * 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
+     * A compiler publishes its own codes (kebab-case, such as
+     * `reference-error`). 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.

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

@@ -15,7 +15,7 @@
 //                     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.
+// exists to prevent: the compiler says the file is fine and MEMO shows nothing.
 // ─────────────────────────────────────────────────────────────────────────────
 /**
  * Default severity for a domain.

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

@@ -1 +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"}
+{"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,gFAAgF;AAChF,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

@@ -3,32 +3,40 @@ 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';
+    /** Where the value came from — useful in `memo compile --effective`. */
+    source: 'settings' | 'compiler';
 }
 export interface EffectiveToolchain {
-    validator: string;
-    lowering: string;
-    packager: string;
+    /**
+     * The provider of each role, as the settings name it. Reading a role the
+     * settings leave unset throws `ToolchainNotConfiguredError`: there is no
+     * default to fall back on.
+     */
+    readonly validator: string;
+    readonly lowering: string;
+    readonly packager: string;
+    /** The roles the settings fill. */
     selections: RoleSelection[];
-    /** One line per deprecated key that was honoured. */
+    /** One line per setting that could not mean all it says (a compiler missing a role). */
     deprecations: string[];
 }
 /**
- * Resolve every role.
+ * A role the settings do not fill. Nothing is chosen for a project that did
+ * not choose: the settings file states the compiler, or the command fails.
+ */
+export declare class ToolchainNotConfiguredError extends Error {
+    readonly role: ProviderRole;
+    constructor(role: ProviderRole, registry: ProviderRegistry);
+}
+/**
+ * Resolve every role from the settings.
  *
- * Precedence is explicit key, then the deprecated alias, then the registry's
- * default.
+ * Precedence is the role's own key, then `toolchain.compiler`. There is no
+ * default: a role neither names is unconfigured, and reading it is an error.
  *
  * 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.
+ * provider is registered for the role. A role the named compiler cannot fill
+ * is unconfigured unless its own key is set, and the deprecation note says so.
  */
 export declare function resolveToolchain(config: MEMOConfig | undefined, registry: ProviderRegistry): EffectiveToolchain;
 /** Per-provider settings block, as that provider's adapter should read it. */

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

@@ -1 +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"}
+{"version":3,"file":"effective.d.ts","sourceRoot":"","sources":["../../src/toolchain/effective.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,UAAU,EAAmB,MAAM,oBAAoB,CAAC;AAGtE,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,wEAAwE;IACxE,MAAM,EAAE,UAAU,GAAG,UAAU,CAAC;CACnC;AAED,MAAM,WAAW,kBAAkB;IAC/B;;;;OAIG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,mCAAmC;IACnC,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,wFAAwF;IACxF,YAAY,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED;;;GAGG;AACH,qBAAa,2BAA4B,SAAQ,KAAK;IACtC,QAAQ,CAAC,IAAI,EAAE,YAAY;gBAAlB,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,gBAAgB;CActE;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAC5B,MAAM,EAAE,UAAU,GAAG,SAAS,EAC9B,QAAQ,EAAE,gBAAgB,GAC3B,kBAAkB,CAiDpB;AAOD,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

@@ -1,29 +1,46 @@
 // ─── 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
+// `compiler` setting folded in and defaults taken from the registry
 // rather than written here.
 // ─────────────────────────────────────────────────────────────────────────────
-import { DEPRECATED_COMPILER_SETTING, PROVIDER_ROLES, ROLE_SETTING, } from './registry.js';
+import { userSettingsPath } from '../model/user-settings.js';
+import { rejectUserSettingsInProject } from './ownership.js';
+import { COMPILER_SETTING, PROVIDER_ROLES, ROLE_SETTING, } from './registry.js';
 /**
- * Resolve every role.
+ * A role the settings do not fill. Nothing is chosen for a project that did
+ * not choose: the settings file states the compiler, or the command fails.
+ */
+export class ToolchainNotConfiguredError extends Error {
+    role;
+    constructor(role, registry) {
+        const key = role === 'package' ? ROLE_SETTING[role] : COMPILER_SETTING;
+        const choices = registry.descriptors(role).map(d => d.id).join(', ');
+        super(role === 'package'
+            ? `No packager is configured. Set toolchain.${key} (${choices}) in the project's settings file `
+                + `(memo.tools.yaml or memo.package.yaml), or pass --toolchain.${key}.`
+            // The project names it; a user may choose another for themselves.
+            : `No SysML compiler is configured. The project names one with toolchain.${key} (${choices}) in its settings file `
+                + `(memo.tools.yaml or memo.package.yaml), or you choose one for yourself in Architect (the Compiler control, or `
+                + `\`memo-architect config set ${key} <${choices.replace(/, /g, '|')}>\`, saved in ${userSettingsPath()}), or set MEMO_TOOLCHAIN_COMPILER, or pass --toolchain.${key}.`);
+        this.role = role;
+        this.name = 'ToolchainNotConfiguredError';
+    }
+}
+/**
+ * Resolve every role from the settings.
  *
- * Precedence is explicit key, then the deprecated alias, then the registry's
- * default.
+ * Precedence is the role's own key, then `toolchain.compiler`. There is no
+ * default: a role neither names is unconfigured, and reading it is an error.
  *
  * 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.
+ * provider is registered for the role. A role the named compiler cannot fill
+ * is unconfigured unless its own key is set, and the deprecation note says so.
  */
 export function resolveToolchain(config, registry) {
+    rejectUserSettingsInProject(config, registry);
     const toolchain = config?.toolchain ?? {};
-    const alias = readString(toolchain, DEPRECATED_COMPILER_SETTING);
+    const alias = readString(toolchain, COMPILER_SETTING);
     const deprecations = [];
     const selections = [];
     const aliasCannotFill = [];
@@ -37,48 +54,36 @@ export function resolveToolchain(config, registry) {
         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]}).`);
-        }
+        const provider = explicit ?? aliased;
+        if (!provider)
+            continue;
         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',
-        });
+        selections.push({ role, provider, source: explicit ? 'settings' : 'compiler' });
     }
     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.`);
+                + `toolchain.${ROLE_SETTING[role]} is unset. Set it explicitly.`);
         }
     }
+    const provider = (role) => {
+        const found = selections.find(s => s.role === role);
+        if (!found)
+            throw new ToolchainNotConfiguredError(role, registry);
+        return found.provider;
+    };
     return {
-        validator: byRole(selections, 'validator'),
-        lowering: byRole(selections, 'lowering'),
-        packager: byRole(selections, 'package'),
+        get validator() { return provider('validator'); },
+        get lowering() { return provider('lowering'); },
+        get packager() { return provider('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;

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

@@ -1 +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"}
+{"version":3,"file":"effective.js","sourceRoot":"","sources":["../../src/toolchain/effective.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,yEAAyE;AACzE,oEAAoE;AACpE,4BAA4B;AAC5B,gFAAgF;AAGhF,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EACH,gBAAgB,EAChB,cAAc,EACd,YAAY,GAGf,MAAM,eAAe,CAAC;AAwBvB;;;GAGG;AACH,MAAM,OAAO,2BAA4B,SAAQ,KAAK;IAC7B;IAArB,YAAqB,IAAkB,EAAE,QAA0B;QAC/D,MAAM,GAAG,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC;QACvE,MAAM,OAAO,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,KAAK,CACD,IAAI,KAAK,SAAS;YACd,CAAC,CAAC,4CAA4C,GAAG,KAAK,OAAO,mCAAmC;kBAC1F,+DAA+D,GAAG,GAAG;YAC3E,kEAAkE;YAClE,CAAC,CAAC,yEAAyE,GAAG,KAAK,OAAO,yBAAyB;kBAC7G,gHAAgH;kBAChH,+BAA+B,GAAG,KAAK,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,iBAAiB,gBAAgB,EAAE,0DAA0D,GAAG,GAAG,CAClL,CAAC;QAXe,SAAI,GAAJ,IAAI,CAAc;QAYnC,IAAI,CAAC,IAAI,GAAG,6BAA6B,CAAC;IAC9C,CAAC;CACJ;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC5B,MAA8B,EAC9B,QAA0B;IAE1B,2BAA2B,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAoB,MAAM,EAAE,SAAS,IAAI,EAAE,CAAC;IAC3D,MAAM,KAAK,GAAG,UAAU,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;IACtD,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,IAAI,OAAO,CAAC;QACrC,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,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,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;IACpF,CAAC;IAED,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;YACjC,YAAY,CAAC,IAAI,CACb,IAAI,KAAK,+BAA+B,IAAI,YAAY;kBACtD,aAAa,YAAY,CAAC,IAAI,CAAC,+BAA+B,CACnE,CAAC;QACN,CAAC;IACL,CAAC;IAED,MAAM,QAAQ,GAAG,CAAC,IAAkB,EAAU,EAAE;QAC5C,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,2BAA2B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAClE,OAAO,KAAK,CAAC,QAAQ,CAAC;IAC1B,CAAC,CAAC;IACF,OAAO;QACH,IAAI,SAAS,KAAK,OAAO,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QACjD,IAAI,QAAQ,KAAK,OAAO,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAI,QAAQ,KAAK,OAAO,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9C,UAAU;QACV,YAAY;KACf,CAAC;AACN,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/exceptions.d.ts

@@ -0,0 +1,27 @@
+import type { Diagnostic } from './diagnostic.js';
+export declare const VALIDATOR_EXCEPTIONS_FILE = "validator-exceptions.json";
+export interface ValidatorException {
+    id: string;
+    provider: string;
+    file: string;
+    code: string;
+    spec: string;
+    providerVersion: string;
+    board: string;
+    note: string;
+}
+/** Reads and validates a register. A missing file is an empty register. */
+export declare function readValidatorExceptions(path: string): ValidatorException[];
+export interface ExceptionOutcome {
+    excepted: {
+        diagnostic: Diagnostic;
+        exception: ValidatorException;
+    }[];
+    remaining: Diagnostic[];
+    /** Entries for the provider that ran which matched nothing. */
+    stale: ValidatorException[];
+}
+/** A diagnostic's file relative to the project, which is how entries name it. */
+export declare function projectRelative(file: string | undefined, projectDir: string): string | undefined;
+export declare function applyValidatorExceptions(diagnostics: readonly Diagnostic[], exceptions: readonly ValidatorException[], provider: string, projectDir: string): ExceptionOutcome;
+//# sourceMappingURL=exceptions.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"exceptions.d.ts","sourceRoot":"","sources":["../../src/toolchain/exceptions.ts"],"names":[],"mappings":"AA6BA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD,eAAO,MAAM,yBAAyB,8BAA8B,CAAC;AAErE,MAAM,WAAW,kBAAkB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,eAAe,EAAE,MAAM,CAAC;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CAChB;AAMD,2EAA2E;AAC3E,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,EAAE,CAc1E;AAED,MAAM,WAAW,gBAAgB;IAC7B,QAAQ,EAAE;QAAE,UAAU,EAAE,UAAU,CAAC;QAAC,SAAS,EAAE,kBAAkB,CAAA;KAAE,EAAE,CAAC;IACtE,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,+DAA+D;IAC/D,KAAK,EAAE,kBAAkB,EAAE,CAAC;CAC/B;AAED,iFAAiF;AACjF,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAGhG;AAED,wBAAgB,wBAAwB,CACpC,WAAW,EAAE,SAAS,UAAU,EAAE,EAClC,UAAU,EAAE,SAAS,kBAAkB,EAAE,EACzC,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,GACnB,gBAAgB,CAkBlB"}

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

@@ -0,0 +1,77 @@
+// ─── Validator exceptions — a provider's known gaps, excepted case by case ───
+//
+// The OMG SysML v2 specification defines valid SysML; a validator provider is
+// a check of compatibility with it. Where a provider rejects what the
+// specification admits, the source keeps the specification's form and the
+// disagreement is written down, one case at a time, in a register beside the
+// sources it covers:
+//
+//   validator-exceptions.json
+//   { "exceptions": [ { id, provider, file, code, spec, providerVersion, board, note } ] }
+//
+// An entry excuses one diagnostic CODE from one PROVIDER in one FILE, the path
+// relative to the project directory. Matching is by code, never by message
+// text, for the reason diagnostic.ts gives: an exception has to survive a
+// provider upgrade that rewords its messages. `note` says in words what the
+// provider reports; `spec` names the BNF production (file:line) or the
+// constraint that makes the source valid — the reason this is the provider's
+// gap and not the model's; `board` names the KANBAN row tracking it.
+//
+// Entries are scoped to their provider, so switching `toolchain.validator`
+// neither applies one engine's exceptions to another nor reports them stale.
+// For the provider that ran, an entry that matched nothing IS stale — the
+// provider was fixed or the source changed — and must be deleted, so the
+// register cannot outlive the gaps it records. Nothing is excepted by code
+// alone or by directory.
+// ─────────────────────────────────────────────────────────────────────────────
+import { existsSync, readFileSync } from 'node:fs';
+import { isAbsolute, relative, resolve } from 'node:path';
+export const VALIDATOR_EXCEPTIONS_FILE = 'validator-exceptions.json';
+const REQUIRED = [
+    'id', 'provider', 'file', 'code', 'spec', 'providerVersion', 'board', 'note',
+];
+/** Reads and validates a register. A missing file is an empty register. */
+export function readValidatorExceptions(path) {
+    if (!existsSync(path))
+        return [];
+    const parsed = JSON.parse(readFileSync(path, 'utf-8'));
+    const exceptions = parsed.exceptions ?? [];
+    for (const exception of exceptions) {
+        const missing = REQUIRED.filter(field => typeof exception[field] !== 'string' || exception[field] === '');
+        if (missing.length > 0) {
+            throw new Error(`${path}: exception ${exception.id ?? '(no id)'} lacks ${missing.join(', ')}`);
+        }
+    }
+    const ids = exceptions.map(exception => exception.id);
+    const repeated = ids.filter((id, index) => ids.indexOf(id) !== index);
+    if (repeated.length > 0)
+        throw new Error(`${path}: duplicate exception id ${repeated.join(', ')}`);
+    return exceptions;
+}
+/** A diagnostic's file relative to the project, which is how entries name it. */
+export function projectRelative(file, projectDir) {
+    if (!file)
+        return undefined;
+    return isAbsolute(file) ? relative(projectDir, file) : relative(projectDir, resolve(projectDir, file));
+}
+export function applyValidatorExceptions(diagnostics, exceptions, provider, projectDir) {
+    const applicable = exceptions.filter(exception => exception.provider === provider);
+    const used = new Set();
+    const excepted = [];
+    const remaining = [];
+    for (const diagnostic of diagnostics) {
+        const file = projectRelative(diagnostic.file, projectDir);
+        const exception = diagnostic.code === undefined || file === undefined
+            ? undefined
+            : applicable.find(candidate => candidate.file === file && candidate.code === diagnostic.code);
+        if (exception) {
+            used.add(exception.id);
+            excepted.push({ diagnostic, exception });
+        }
+        else {
+            remaining.push(diagnostic);
+        }
+    }
+    return { excepted, remaining, stale: applicable.filter(exception => !used.has(exception.id)) };
+}
+//# sourceMappingURL=exceptions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"exceptions.js","sourceRoot":"","sources":["../../src/toolchain/exceptions.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,sEAAsE;AACtE,0EAA0E;AAC1E,6EAA6E;AAC7E,qBAAqB;AACrB,EAAE;AACF,8BAA8B;AAC9B,2FAA2F;AAC3F,EAAE;AACF,+EAA+E;AAC/E,2EAA2E;AAC3E,0EAA0E;AAC1E,4EAA4E;AAC5E,uEAAuE;AACvE,6EAA6E;AAC7E,qEAAqE;AACrE,EAAE;AACF,2EAA2E;AAC3E,6EAA6E;AAC7E,0EAA0E;AAC1E,yEAAyE;AACzE,2EAA2E;AAC3E,yBAAyB;AACzB,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAG1D,MAAM,CAAC,MAAM,yBAAyB,GAAG,2BAA2B,CAAC;AAarE,MAAM,QAAQ,GAA0C;IACpD,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM;CAC/E,CAAC;AAEF,2EAA2E;AAC3E,MAAM,UAAU,uBAAuB,CAAC,IAAY;IAChD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAmD,CAAC;IACzG,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;IAC3C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,SAAS,CAAC,KAAK,CAAC,KAAK,QAAQ,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QAC1G,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,eAAe,SAAS,CAAC,EAAE,IAAI,SAAS,UAAU,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnG,CAAC;IACL,CAAC;IACD,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC;IACtE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,4BAA4B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnG,OAAO,UAAkC,CAAC;AAC9C,CAAC;AASD,iFAAiF;AACjF,MAAM,UAAU,eAAe,CAAC,IAAwB,EAAE,UAAkB;IACxE,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;AAC3G,CAAC;AAED,MAAM,UAAU,wBAAwB,CACpC,WAAkC,EAClC,UAAyC,EACzC,QAAgB,EAChB,UAAkB;IAElB,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;IACnF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,QAAQ,GAAiC,EAAE,CAAC;IAClD,MAAM,SAAS,GAAiB,EAAE,CAAC;IACnC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC1D,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;YACjE,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CAAC,CAAC;QAClG,IAAI,SAAS,EAAE,CAAC;YACZ,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC;QAC7C,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/B,CAAC;IACL,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACnG,CAAC"}

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

@@ -1,11 +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 { compileWithSyside, sysideLoweringDescriptor, type SysideCompileResult } from './providers/syside-lowering.js';
 export { whichExecutable, resolveExecutable, resolveProjectPath, findBundledExecutable } from './process.js';
-export { getSysmlcClient, disposeSysmlcClients, SysmlcClient } from './sysmlc-client.js';
+export * from './project-model.js';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +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"}
+{"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,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,uBAAuB,CAAC;AACtC,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,KAAK,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AACvH,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAC7G,cAAc,oBAAoB,CAAC"}

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

@@ -10,12 +10,12 @@
 // ─────────────────────────────────────────────────────────────────────────────
 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 { compileWithSyside, sysideLoweringDescriptor } from './providers/syside-lowering.js';
 export { whichExecutable, resolveExecutable, resolveProjectPath, findBundledExecutable } from './process.js';
-export { getSysmlcClient, disposeSysmlcClients, SysmlcClient } from './sysmlc-client.js';
+export * from './project-model.js';
 //# sourceMappingURL=index.js.map

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

@@ -1 +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"}
+{"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,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,uBAAuB,CAAC;AACtC,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAA4B,MAAM,gCAAgC,CAAC;AACvH,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAC7G,cAAc,oBAAoB,CAAC"}

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

@@ -1,8 +1,8 @@
-import type { BuilderRegistries } from '../model/builder.js';
+import type { BuilderRegistries } from '../model/complete-model.js';
 import type { MEMOConfig } from '../model/config.js';
 import type { Diagnostic } from './diagnostic.js';
 import { type EffectiveToolchain } from './effective.js';
-import { type Availability, type LoweringRunResult, type ProviderRegistry, type ProviderRole, type ProviderRunResult } from './registry.js';
+import { type CompileModelResult, type CompileModelOptions, type Availability, type LoweringRunResult, type ProviderRegistry, type ProviderRole, type ProviderRunResult } from './registry.js';
 export interface ToolchainRunOptions {
     config: MEMOConfig;
     projectDir: string;
@@ -24,6 +24,38 @@ export interface ToolchainRunOptions {
 export declare function runValidator(options: ToolchainRunOptions): Promise<ProviderRunResult>;
 /** Run the selected lowering provider. Diagnostics are `memo-ingest`. */
 export declare function runLowering(options: ToolchainRunOptions): Promise<LoweringRunResult>;
+/**
+ * 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 declare function compileModelWithSelected(options: CompileModelOptions & {
+    registry?: ProviderRegistry;
+}): Promise<CompileModelResult>;
+/**
+ * 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 declare function compileResolvedProject(options: {
+    config: MEMOConfig;
+    projectDir: string;
+    projectFiles?: ReadonlySet<string>;
+    cacheDir?: string;
+    /** Run stage 1 even when `cacheDir` holds output for these inputs. */
+    force?: boolean;
+    provenance?: boolean;
+    registry?: ProviderRegistry;
+}): Promise<CompileModelResult>;
+/**
+ * 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 declare function compileServesValidator(config: MEMOConfig, registry?: ProviderRegistry): boolean;
 /** Run the selected packager against `outputPath`. */
 export declare function runPackager(options: ToolchainRunOptions): Promise<ProviderRunResult>;
 /**
@@ -40,8 +72,10 @@ export interface RoleProbe {
     role: ProviderRole;
     /** The settings key that selects this role, e.g. `validator`. */
     setting: string;
+    /** The provider the settings name, or `(not configured)`. */
     provider: string;
-    source: 'settings' | 'deprecated-alias' | 'default';
+    /** Where the setting came from; `unset` when the settings name none. */
+    source: 'settings' | 'compiler' | 'unset';
     availability: Availability;
 }
 export interface ToolchainProbe {
@@ -53,7 +87,7 @@ export interface ToolchainProbe {
  * 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.
  */
@@ -62,17 +96,18 @@ export declare function probeToolchain(options: {
     projectDir: string;
     registry?: ProviderRegistry;
 }): ToolchainProbe;
-/** 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 declare function formatProbeLine(probe: RoleProbe): string;
-/** The full resolved picture, for `memo config effective`. */
+/** The full resolved picture, for `memo compile --effective`. */
 export interface EffectiveConfigReport {
-    projectName: string;
+    modelName: string;
     projectRoot: string;
     settingsFile?: string;
+    /** The provider of each role the settings fill; a role they leave unset is absent. */
     toolchain: {
-        validator: string;
-        lowering: string;
-        packager: string;
+        validator?: string;
+        lowering?: string;
+        packager?: string;
         selections: EffectiveToolchain['selections'];
         providers: Record<string, unknown>;
     };

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

@@ -1 +1 @@
-{"version":3,"file":"operations.d.ts","sourceRoot":"","sources":["../../src/toolchain/operations.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAoB,KAAK,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAC3E,OAAO,EAGH,KAAK,YAAY,EACjB,KAAK,iBAAiB,EAEtB,KAAK,gBAAgB,EACrB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACzB,MAAM,eAAe,CAAC;AAGvB,MAAM,WAAW,mBAAmB;IAChC,MAAM,EAAE,UAAU,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,4EAA4E;IAC5E,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;OAKG;IACH,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,4EAA4E;IAC5E,UAAU,CAAC,EAAE,iBAAiB,CAAC;CAClC;AAaD,+EAA+E;AAC/E,wBAAsB,YAAY,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAI3F;AAED,yEAAyE;AACzE,wBAAsB,WAAW,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAI1F;AAED,sDAAsD;AACtD,wBAAsB,WAAW,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAI1F;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC5B,oBAAoB,EAAE,SAAS,UAAU,EAAE,EAC3C,iBAAiB,EAAE,SAAS,UAAU,EAAE,GACzC,UAAU,EAAE,CAGd;AAOD,MAAM,WAAW,SAAS;IACtB,IAAI,EAAE,YAAY,CAAC;IACnB,iEAAiE;IACjE,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,UAAU,GAAG,kBAAkB,GAAG,SAAS,CAAC;IACpD,YAAY,EAAE,YAAY,CAAC;CAC9B;AAED,MAAM,WAAW,cAAc;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,kBAAkB,CAAC;IAC9B,KAAK,EAAE,SAAS,EAAE,CAAC;CACtB;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE;IACpC,MAAM,EAAE,UAAU,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,gBAAgB,CAAC;CAC/B,GAAG,cAAc,CAejB;AAED,qFAAqF;AACrF,wBAAgB,eAAe,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAMxD;AAED,8DAA8D;AAC9D,MAAM,WAAW,qBAAqB;IAClC,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE;QACP,SAAS,EAAE,MAAM,CAAC;QAClB,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,MAAM,CAAC;QACjB,UAAU,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAC;QAC7C,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KACtC,CAAC;IACF,YAAY,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,wBAAgB,qBAAqB,CAAC,OAAO,EAAE;IAC3C,MAAM,EAAE,UAAU,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,gBAAgB,CAAC;CAC/B,GAAG,qBAAqB,CAqBxB"}
+{"version":3,"file":"operations.d.ts","sourceRoot":"","sources":["../../src/toolchain/operations.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AACpE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAGrD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAiD,KAAK,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACxG,OAAO,EACH,KAAK,kBAAkB,EACvB,KAAK,mBAAmB,EAGxB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EAEtB,KAAK,gBAAgB,EACrB,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACzB,MAAM,eAAe,CAAC;AAGvB,MAAM,WAAW,mBAAmB;IAChC,MAAM,EAAE,UAAU,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,4EAA4E;IAC5E,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;OAKG;IACH,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,4EAA4E;IAC5E,UAAU,CAAC,EAAE,iBAAiB,CAAC;CAClC;AAaD,+EAA+E;AAC/E,wBAAsB,YAAY,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAI3F;AAED,yEAAyE;AACzE,wBAAsB,WAAW,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAI1F;AAED;;;;;GAKG;AACH,wBAAsB,wBAAwB,CAC1C,OAAO,EAAE,mBAAmB,GAAG;IAAE,QAAQ,CAAC,EAAE,gBAAgB,CAAA;CAAE,GAC/D,OAAO,CAAC,kBAAkB,CAAC,CA2C7B;AAED;;;;;GAKG;AACH,wBAAsB,sBAAsB,CAAC,OAAO,EAAE;IAClD,MAAM,EAAE,UAAU,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sEAAsE;IACtE,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,EAAE,gBAAgB,CAAC;CAC/B,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAgB9B;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,GAAE,gBAAkC,GAAG,OAAO,CAKhH;AAED,sDAAsD;AACtD,wBAAsB,WAAW,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAI1F;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC5B,oBAAoB,EAAE,SAAS,UAAU,EAAE,EAC3C,iBAAiB,EAAE,SAAS,UAAU,EAAE,GACzC,UAAU,EAAE,CAGd;AAOD,MAAM,WAAW,SAAS;IACtB,IAAI,EAAE,YAAY,CAAC;IACnB,iEAAiE;IACjE,OAAO,EAAE,MAAM,CAAC;IAChB,6DAA6D;IAC7D,QAAQ,EAAE,MAAM,CAAC;IACjB,wEAAwE;IACxE,MAAM,EAAE,UAAU,GAAG,UAAU,GAAG,OAAO,CAAC;IAC1C,YAAY,EAAE,YAAY,CAAC;CAC9B;AAED,MAAM,WAAW,cAAc;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,kBAAkB,CAAC;IAC9B,KAAK,EAAE,SAAS,EAAE,CAAC;CACtB;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE;IACpC,MAAM,EAAE,UAAU,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,gBAAgB,CAAC;CAC/B,GAAG,cAAc,CA6BjB;AAED,qFAAqF;AACrF,wBAAgB,eAAe,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAMxD;AAED,iEAAiE;AACjE,MAAM,WAAW,qBAAqB;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,sFAAsF;IACtF,SAAS,EAAE;QACP,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,UAAU,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAC;QAC7C,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KACtC,CAAC;IACF,YAAY,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,wBAAgB,qBAAqB,CAAC,OAAO,EAAE;IAC3C,MAAM,EAAE,UAAU,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,gBAAgB,CAAC;CAC/B,GAAG,qBAAqB,CAmBxB"}