@memoarchitect/tools 0.6.7 → 0.7.2

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

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

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

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

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

@@ -0,0 +1,100 @@
+// ─── Lowering: the one implementation, reached two ways ──────────────────────
+//
+// "What can MEMO ingest from this revision?" is answered here and nowhere else.
+// The in-process transport calls `lowerProject` directly; the process transport
+// calls it inside `memo-sysmlc`, over the protocol. That is the whole reason both
+// transports can be byte-identical: there is one function, not two that are
+// meant to agree.
+//
+// Note what it takes: a project directory, and nothing else. The compiler loads
+// the project's own settings itself, the way a compiler run in that directory
+// would. Passing a caller-supplied config in-process and letting the child load
+// its own would be the classic way for two transports to drift — same code,
+// different inputs — so the input is derived the same way on both sides.
+// ─────────────────────────────────────────────────────────────────────────────
+import { resolve } from 'node:path';
+import { buildMemoModel } from '../model/builder.js';
+import { findConfigFile, loadProjectSettings } from '../model/config-loader.js';
+import { loadOntologyRegistries } from '../model/ontology-loader.js';
+import { parseFiles } from '../model/parser-utils.js';
+import { modelToDTO } from '../model/semantic.js';
+import { lowerAstToSysmlIr, projectSysmlIrToMemo } from '../model/sysml-ir.js';
+import { findSysmlFiles } from '../model/sysml-files.js';
+import { loadAndResolveConfig } from '../server/config-resolver.js';
+import { SYSMLC_IR_VERSION } from './protocol.js';
+/**
+ * The project's effective settings.
+ *
+ * Settings are optional — a project with none is complete, because a MEMO
+ * project declares its identity in SysML, not in YAML.
+ */
+export function loadProjectConfig(projectDir) {
+    const configPath = findConfigFile(projectDir);
+    return configPath ? loadAndResolveConfig(configPath) : loadProjectSettings(projectDir);
+}
+/**
+ * The ontology registries the builder resolves kinds against.
+ *
+ * A project that cannot load them still lowers, with reduced kind resolution —
+ * §1.1 again: the compiler reports what is wrong, it does not refuse to work.
+ */
+export async function loadBuilderRegistries(projectDir) {
+    try {
+        const result = await loadOntologyRegistries(projectDir);
+        return result.fileCount > 0 ? result.registries : undefined;
+    }
+    catch {
+        return undefined;
+    }
+}
+/**
+ * The sources a run reads: the caller's explicit list, or the project's own.
+ *
+ * Sorted either way, because "both transports are byte-identical" only holds
+ * against an input order that does not depend on who built the list.
+ */
+export function resolveSources(root, files) {
+    return (files ? files.map(file => resolve(root, file)) : findSysmlFiles(root)).slice().sort();
+}
+/**
+ * Lower a project to IR.
+ *
+ * Everything here is deterministic given the file contents: file discovery is
+ * sorted, element identity is content-hashed, and the payload is plain JSON. It
+ * has to be — "both transports are byte-identical" is only a meaningful test
+ * against a function whose output does not depend on which process ran it.
+ */
+export async function lowerProject(projectDir, options = {}) {
+    const root = resolve(projectDir);
+    const config = loadProjectConfig(root);
+    // Loading the ontology closure is the expensive part, and a caller that has
+    // already done it — the snapshot builder needs the same registries to
+    // validate against — may hand them over rather than pay twice. It is the
+    // same value either way: a process transport loads its own, and the two
+    // agree because they resolve the same project.
+    const registries = options.registries ?? await loadBuilderRegistries(root);
+    const { documents, errors } = await parseFiles(resolveSources(root, options.files), `${root}/`);
+    const built = buildMemoModel(documents, config, errors, registries);
+    const sysml = lowerAstToSysmlIr(documents, modelToDTO(built), root);
+    const model = projectSysmlIrToMemo(sysml, modelToDTO(built));
+    return {
+        irVersion: SYSMLC_IR_VERSION,
+        model,
+        parseErrors: errors,
+        accepted: errors.length === 0,
+        sysml,
+    };
+}
+/**
+ * Parse without building — what `check` needs and nothing more.
+ *
+ * The validator role asks a narrower question than lowering does, and paying
+ * for a full model build to answer it would make `memo validate` slower for no
+ * reason.
+ */
+export async function checkProject(projectDir, files) {
+    const root = resolve(projectDir);
+    const { errors } = await parseFiles(resolveSources(root, files), `${root}/`);
+    return { accepted: errors.length === 0, parseErrors: errors };
+}
+//# sourceMappingURL=lowering.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lowering.js","sourceRoot":"","sources":["../../src/toolchain/lowering.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,gFAAgF;AAChF,gFAAgF;AAChF,kFAAkF;AAClF,4EAA4E;AAC5E,kBAAkB;AAClB,EAAE;AACF,gFAAgF;AAChF,8EAA8E;AAC9E,gFAAgF;AAChF,4EAA4E;AAC5E,yEAAyE;AACzE,gFAAgF;AAEhF,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,cAAc,EAA0B,MAAM,qBAAqB,CAAC;AAC7E,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,UAAU,EAAmB,MAAM,sBAAsB,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAEpE,OAAO,EAAE,iBAAiB,EAAe,MAAM,eAAe,CAAC;AAE/D;;;;;GAKG;AACH,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;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,UAAkB;IAC1D,IAAI,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,sBAAsB,CAAC,UAAU,CAAC,CAAC;QACxD,OAAO,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IAChE,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,SAAS,CAAC;IACrB,CAAC;AACL,CAAC;AAoBD;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,KAAyB;IAClE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC;AAClG,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAC9B,UAAkB,EAClB,UAA2B,EAAE;IAE7B,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACvC,4EAA4E;IAC5E,sEAAsE;IACtE,yEAAyE;IACzE,wEAAwE;IACxE,+CAA+C;IAC/C,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,MAAM,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC3E,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,MAAM,UAAU,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC;IAChG,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,iBAAiB,CAAC,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7D,OAAO;QACH,SAAS,EAAE,iBAAiB;QAC5B,KAAK;QACL,WAAW,EAAE,MAAM;QACnB,QAAQ,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;QAC7B,KAAK;KACR,CAAC;AACN,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAC9B,UAAkB,EAClB,KAAyB;IAEzB,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IACjC,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,UAAU,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC;IAC7E,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;AAClE,CAAC"}

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

@@ -0,0 +1,87 @@
+import type { BuilderRegistries } from '../model/builder.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';
+export interface ToolchainRunOptions {
+    config: MEMOConfig;
+    projectDir: string;
+    registry?: ProviderRegistry;
+    /** Overrides the include paths derived from the project's library roots. */
+    includeDirs?: string[];
+    /**
+     * The exact sources to analyse, instead of the directory's own discovery.
+     * See `ProviderContext.files` — a conformance corpus is a file set, not a
+     * project, and every role has to be told the same set or the counts are not
+     * comparable.
+     */
+    files?: readonly string[];
+    outputPath?: string;
+    /** Ontology registries the caller already loaded. See `ProviderContext`. */
+    registries?: BuilderRegistries;
+}
+/** Run the selected validator. Diagnostics come back in the `sysml` domain. */
+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>;
+/** Run the selected packager against `outputPath`. */
+export declare function runPackager(options: ToolchainRunOptions): Promise<ProviderRunResult>;
+/**
+ * Collapse an ingest failure that the validator already reported.
+ *
+ * When one provider fills both roles it sees the same defect twice, once per
+ * role. Reporting it twice, in two domains, would make the domain split look
+ * like noise. A failure is reported once, in the domain with the most
+ * authority — `sysml` outranks `memo-ingest`, because a source the validator
+ * rejected is not a story about MEMO's ingest.
+ */
+export declare function mergeDiagnostics(validatorDiagnostics: readonly Diagnostic[], ingestDiagnostics: readonly Diagnostic[]): Diagnostic[];
+export interface RoleProbe {
+    role: ProviderRole;
+    /** The settings key that selects this role, e.g. `validator`. */
+    setting: string;
+    provider: string;
+    source: 'settings' | 'deprecated-alias' | 'default';
+    availability: Availability;
+}
+export interface ToolchainProbe {
+    projectDir: string;
+    effective: EffectiveToolchain;
+    roles: RoleProbe[];
+}
+/**
+ * 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
+ * costs an afternoon when the only way to ask it is to run a build and read
+ * the errors.
+ */
+export declare function probeToolchain(options: {
+    config: MEMOConfig;
+    projectDir: string;
+    registry?: ProviderRegistry;
+}): ToolchainProbe;
+/** One `role  provider  path  version` line per role, for `memo toolchain probe`. */
+export declare function formatProbeLine(probe: RoleProbe): string;
+/** The full resolved picture, for `memo config effective`. */
+export interface EffectiveConfigReport {
+    projectName: string;
+    projectRoot: string;
+    settingsFile?: string;
+    toolchain: {
+        validator: string;
+        lowering: string;
+        packager: string;
+        selections: EffectiveToolchain['selections'];
+        providers: Record<string, unknown>;
+    };
+    deprecations: string[];
+}
+export declare function effectiveConfigReport(options: {
+    config: MEMOConfig;
+    projectDir: string;
+    settingsFile?: string;
+    registry?: ProviderRegistry;
+}): EffectiveConfigReport;
+//# sourceMappingURL=operations.d.ts.map

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

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

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

@@ -0,0 +1,111 @@
+// ─── Toolchain operations ────────────────────────────────────────────────────
+//
+// The single implementation behind both `memo <command>` and Architect's
+// 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 { PROVIDER_ROLES, ROLE_SETTING, } from './registry.js';
+import { defaultRegistry } from './default-registry.js';
+function context(options) {
+    return {
+        config: options.config,
+        projectDir: options.projectDir,
+        includeDirs: options.includeDirs ?? discoverLibraryRoots(options.projectDir).map(r => r.sysmlDir),
+        files: options.files,
+        outputPath: options.outputPath,
+        registries: options.registries,
+    };
+}
+/** Run the selected validator. Diagnostics come back in the `sysml` domain. */
+export async function runValidator(options) {
+    const registry = options.registry ?? defaultRegistry;
+    const effective = resolveToolchain(options.config, registry);
+    return registry.resolveValidator(effective.validator, context(options)).run();
+}
+/** Run the selected lowering provider. Diagnostics are `memo-ingest`. */
+export async function runLowering(options) {
+    const registry = options.registry ?? defaultRegistry;
+    const effective = resolveToolchain(options.config, registry);
+    return registry.resolveLowering(effective.lowering, context(options)).run();
+}
+/** Run the selected packager against `outputPath`. */
+export async function runPackager(options) {
+    const registry = options.registry ?? defaultRegistry;
+    const effective = resolveToolchain(options.config, registry);
+    return registry.resolvePackager(effective.packager, context(options)).run();
+}
+/**
+ * Collapse an ingest failure that the validator already reported.
+ *
+ * When one provider fills both roles it sees the same defect twice, once per
+ * role. Reporting it twice, in two domains, would make the domain split look
+ * like noise. A failure is reported once, in the domain with the most
+ * authority — `sysml` outranks `memo-ingest`, because a source the validator
+ * rejected is not a story about MEMO's ingest.
+ */
+export function mergeDiagnostics(validatorDiagnostics, ingestDiagnostics) {
+    const seen = new Set(validatorDiagnostics.map(fingerprint));
+    return [...validatorDiagnostics, ...ingestDiagnostics.filter(d => !seen.has(fingerprint(d)))];
+}
+function fingerprint(diagnostic) {
+    const { line = 0, column = 0 } = diagnostic.range?.start ?? {};
+    return `${diagnostic.file ?? ''}:${line}:${column}:${diagnostic.message}`;
+}
+/**
+ * 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
+ * costs an afternoon when the only way to ask it is to run a build and read
+ * the errors.
+ */
+export function probeToolchain(options) {
+    const registry = options.registry ?? defaultRegistry;
+    const effective = resolveToolchain(options.config, registry);
+    const providerContext = { config: options.config, projectDir: options.projectDir };
+    const roles = PROVIDER_ROLES.map(role => {
+        const selection = effective.selections.find(s => s.role === role);
+        return {
+            role,
+            setting: ROLE_SETTING[role],
+            provider: selection.provider,
+            source: selection.source,
+            availability: registry.descriptor(role, selection.provider).probe(providerContext),
+        };
+    });
+    return { projectDir: options.projectDir, effective, roles };
+}
+/** One `role  provider  path  version` line per role, for `memo toolchain probe`. */
+export function formatProbeLine(probe) {
+    const { availability } = probe;
+    const where = availability.executable ?? `(${availability.transport})`;
+    const version = availability.version ? ` ${availability.version}` : '';
+    const status = availability.available ? `${where}${version}` : `unavailable — ${availability.detail}`;
+    return `${probe.role.padEnd(10)} ${probe.provider.padEnd(12)} ${status}`;
+}
+export function effectiveConfigReport(options) {
+    const registry = options.registry ?? defaultRegistry;
+    const effective = resolveToolchain(options.config, registry);
+    const providers = {};
+    for (const id of registry.allIds()) {
+        const settings = options.config.toolchain?.[id];
+        if (settings !== undefined)
+            providers[id] = settings;
+    }
+    return {
+        projectName: options.config.projectName,
+        projectRoot: options.projectDir,
+        settingsFile: options.settingsFile,
+        toolchain: {
+            validator: effective.validator,
+            lowering: effective.lowering,
+            packager: effective.packager,
+            selections: effective.selections,
+            providers,
+        },
+        deprecations: effective.deprecations,
+    };
+}
+//# sourceMappingURL=operations.js.map

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

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

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

@@ -0,0 +1,45 @@
+import { type ToolInvocation } from './registry.js';
+/** Expand `~`, then resolve relative paths against the project directory. */
+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
+ * 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
+ * much as knowing that one did.
+ */
+export declare function whichExecutable(command: string, env?: NodeJS.ProcessEnv): string | undefined;
+/**
+ * A binary shipped in the same install, found without the user doing anything.
+ *
+ * "The user is responsible for PATH" is a rule about *third-party* tools. It
+ * has never applied to MEMO's own: a default install must work with nothing
+ * installed and nothing configured. So a bundled binary is looked up the way
+ * Node looks up a module — walk up from a starting directory checking each
+ * `node_modules/.bin` — which finds it whether the caller is a project, a
+ * global install, or a workspace checkout.
+ */
+export declare function findBundledExecutable(name: string, fromDirs: readonly string[]): string | undefined;
+export interface CaptureResult {
+    status: number | null;
+    stdout: string;
+    stderr: string;
+}
+/**
+ * Run a tool and capture its output.
+ *
+ * A non-zero status is not an exception: a validator rejecting the source is
+ * the normal case, and its complaints are diagnostics. Only a binary that could
+ * not be run at all is an error, because that means the user asked for a tool
+ * MEMO cannot honour — and rule 2 says never downgrade to a different provider
+ * in silence.
+ */
+export declare function captureToolInvocation(invocation: ToolInvocation, cwd: string): CaptureResult;
+/** First line of `<command> --version`, or undefined when it will not say. */
+export declare function probeVersion(command: string, args?: readonly string[]): string | undefined;
+//# sourceMappingURL=process.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"process.d.ts","sourceRoot":"","sources":["../../src/toolchain/process.ts"],"names":[],"mappings":"AAWA,OAAO,EAAoB,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAEtE,6EAA6E;AAC7E,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAI5E;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC7B,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,GACnB,MAAM,CAKR;AAYD;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,GAAE,MAAM,CAAC,UAAwB,GAAG,MAAM,GAAG,SAAS,CAczG;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CACjC,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,SAAS,MAAM,EAAE,GAC5B,MAAM,GAAG,SAAS,CAepB;AAED,MAAM,WAAW,aAAa;IAC1B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,GAAG,aAAa,CAc5F;AAED,8EAA8E;AAC9E,wBAAgB,YAAY,CACxB,OAAO,EAAE,MAAM,EACf,IAAI,GAAE,SAAS,MAAM,EAAkB,GACxC,MAAM,GAAG,SAAS,CAKpB"}

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

@@ -0,0 +1,125 @@
+// ─── Executable resolution and spawning, shared by every process adapter ─────
+//
+// Adapters build argument lists and parse output. Finding the binary, running
+// it, and turning ENOENT into a clear missing-tool error is the same work for
+// all of them, so it lives here — with no provider name in sight.
+// ─────────────────────────────────────────────────────────────────────────────
+import { accessSync, constants, existsSync, statSync } from 'node:fs';
+import { homedir, platform } from 'node:os';
+import { delimiter, isAbsolute, resolve } from 'node:path';
+import { spawnSync } from 'node:child_process';
+import { MissingToolError } from './registry.js';
+/** Expand `~`, then resolve relative paths against the project directory. */
+export function resolveProjectPath(value, projectDir) {
+    if (value === '~')
+        return homedir();
+    if (value.startsWith('~/'))
+        return resolve(homedir(), value.slice(2));
+    return isAbsolute(value) ? value : resolve(projectDir, value);
+}
+/**
+ * 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
+ * file.
+ */
+export function resolveExecutable(value, fallback, projectDir) {
+    if (!value)
+        return fallback;
+    return value.includes('/') || value.includes('\\') || value.startsWith('~')
+        ? resolveProjectPath(value, projectDir)
+        : value;
+}
+function isExecutableFile(candidate) {
+    try {
+        if (!statSync(candidate).isFile())
+            return false;
+        accessSync(candidate, constants.X_OK);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Absolute path of a command, resolved the way the shell would.
+ *
+ * `memo toolchain probe` prints this: knowing *which* `syside` ran matters as
+ * much as knowing that one did.
+ */
+export function whichExecutable(command, env = process.env) {
+    if (command.includes('/') || command.includes('\\')) {
+        return existsSync(command) ? resolve(command) : undefined;
+    }
+    const extensions = platform() === 'win32'
+        ? (env.PATHEXT ?? '.COM;.EXE;.BAT;.CMD').split(';').filter(Boolean)
+        : [''];
+    for (const dir of (env.PATH ?? '').split(delimiter).filter(Boolean)) {
+        for (const ext of extensions) {
+            const candidate = resolve(dir, command + ext);
+            if (isExecutableFile(candidate))
+                return candidate;
+        }
+    }
+    return undefined;
+}
+/**
+ * A binary shipped in the same install, found without the user doing anything.
+ *
+ * "The user is responsible for PATH" is a rule about *third-party* tools. It
+ * has never applied to MEMO's own: a default install must work with nothing
+ * installed and nothing configured. So a bundled binary is looked up the way
+ * Node looks up a module — walk up from a starting directory checking each
+ * `node_modules/.bin` — which finds it whether the caller is a project, a
+ * global install, or a workspace checkout.
+ */
+export function findBundledExecutable(name, fromDirs) {
+    const suffixes = platform() === 'win32' ? ['.cmd', '.exe', ''] : [''];
+    for (const from of fromDirs) {
+        let dir = resolve(from);
+        for (;;) {
+            for (const suffix of suffixes) {
+                const candidate = resolve(dir, 'node_modules', '.bin', name + suffix);
+                if (isExecutableFile(candidate))
+                    return candidate;
+            }
+            const parent = resolve(dir, '..');
+            if (parent === dir)
+                break;
+            dir = parent;
+        }
+    }
+    return undefined;
+}
+/**
+ * Run a tool and capture its output.
+ *
+ * A non-zero status is not an exception: a validator rejecting the source is
+ * the normal case, and its complaints are diagnostics. Only a binary that could
+ * not be run at all is an error, because that means the user asked for a tool
+ * MEMO cannot honour — and rule 2 says never downgrade to a different provider
+ * in silence.
+ */
+export function captureToolInvocation(invocation, cwd) {
+    const result = spawnSync(invocation.command, invocation.args, {
+        cwd,
+        encoding: 'utf8',
+        maxBuffer: 64 * 1024 * 1024,
+    });
+    if (result.error) {
+        throw new MissingToolError(invocation.provider, invocation.command, result.error.message);
+    }
+    return {
+        status: result.status,
+        stdout: result.stdout ?? '',
+        stderr: result.stderr ?? '',
+    };
+}
+/** First line of `<command> --version`, or undefined when it will not say. */
+export function probeVersion(command, args = ['--version']) {
+    const result = spawnSync(command, [...args], { encoding: 'utf8', timeout: 5000 });
+    if (result.error || result.status !== 0)
+        return undefined;
+    const line = `${result.stdout ?? ''}${result.stderr ?? ''}`.split('\n')[0]?.trim();
+    return line && line.length > 0 ? line : undefined;
+}
+//# sourceMappingURL=process.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"process.js","sourceRoot":"","sources":["../../src/toolchain/process.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,8EAA8E;AAC9E,kEAAkE;AAClE,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACtE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAuB,MAAM,eAAe,CAAC;AAEtE,6EAA6E;AAC7E,MAAM,UAAU,kBAAkB,CAAC,KAAa,EAAE,UAAkB;IAChE,IAAI,KAAK,KAAK,GAAG;QAAE,OAAO,OAAO,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC,OAAO,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;AAClE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC7B,KAAyB,EACzB,QAAgB,EAChB,UAAkB;IAElB,IAAI,CAAC,KAAK;QAAE,OAAO,QAAQ,CAAC;IAC5B,OAAO,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;QACvE,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,UAAU,CAAC;QACvC,CAAC,CAAC,KAAK,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CAAC,SAAiB;IACvC,IAAI,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE;YAAE,OAAO,KAAK,CAAC;QAChD,UAAU,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;QACtC,OAAO,IAAI,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,KAAK,CAAC;IACjB,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,OAAe,EAAE,MAAyB,OAAO,CAAC,GAAG;IACjF,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9D,CAAC;IACD,MAAM,UAAU,GAAG,QAAQ,EAAE,KAAK,OAAO;QACrC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,qBAAqB,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;QACnE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACX,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAClE,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,EAAE,OAAO,GAAG,GAAG,CAAC,CAAC;YAC9C,IAAI,gBAAgB,CAAC,SAAS,CAAC;gBAAE,OAAO,SAAS,CAAC;QACtD,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACjC,IAAY,EACZ,QAA2B;IAE3B,MAAM,QAAQ,GAAG,QAAQ,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACtE,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC1B,IAAI,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QACxB,SAAS,CAAC;YACN,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;gBAC5B,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,GAAG,MAAM,CAAC,CAAC;gBACtE,IAAI,gBAAgB,CAAC,SAAS,CAAC;oBAAE,OAAO,SAAS,CAAC;YACtD,CAAC;YACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAClC,IAAI,MAAM,KAAK,GAAG;gBAAE,MAAM;YAC1B,GAAG,GAAG,MAAM,CAAC;QACjB,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAQD;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CAAC,UAA0B,EAAE,GAAW;IACzE,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE;QAC1D,GAAG;QACH,QAAQ,EAAE,MAAM;QAChB,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;KAC9B,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,gBAAgB,CAAC,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC9F,CAAC;IACD,OAAO;QACH,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,EAAE;QAC3B,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,EAAE;KAC9B,CAAC;AACN,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,YAAY,CACxB,OAAe,EACf,OAA0B,CAAC,WAAW,CAAC;IAEvC,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAClF,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1D,MAAM,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;IACnF,OAAO,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACtD,CAAC"}