@memoarchitect/tools 0.13.2 → 0.15.0

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

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

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

@@ -1,33 +0,0 @@
-import type { LoweringDescriptor, PackageDescriptor, ProviderContext, Transport, ValidatorDescriptor } from '../registry.js';
-/** The one place this string is written. Everything else reads it from here. */
-export declare const INTERNAL_PROVIDER_ID = "internal";
-/** The binary this adapter speaks to when the transport is `process`. */
-export declare const SYSMLC_COMMAND = "memo-sysmlc";
-export interface InternalToolConfig {
-    /** `in-process` (default) or `process`. */
-    transport?: Transport;
-    /** Path to a `memo-sysmlc` binary. Defaults to the bundled one, then PATH. */
-    executable?: string;
-}
-export declare function resolveSysmlcCommand(context: ProviderContext): string;
-/**
- * Validator role — "is this valid SysML?" answered by MEMO's Langium grammar.
- *
- * The grammar is a MEMO subset, so this answers a narrower question than
- * `syside` does. That is exactly why the roles are separate and why a failure
- * here, when another validator accepted the file, is an ingest problem rather
- * than a SysML error.
- */
-export declare const internalValidatorDescriptor: ValidatorDescriptor;
-/**
- * Lowering role — "what can MEMO ingest from this revision?"
- *
- * Its diagnostics are `memo-ingest` by construction: this step is MEMO reading
- * the source, so anything it cannot read is MEMO's limitation to report, not a
- * verdict on the source. When MEMO is also the validator the caller collapses
- * the duplicate, so one failure is still reported once.
- */
-export declare const internalLoweringDescriptor: LoweringDescriptor;
-/** Package role — the built-in gzip-tar MEMO bundle writer. */
-export declare const internalPackageDescriptor: PackageDescriptor;
-//# sourceMappingURL=internal.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../../../src/toolchain/providers/internal.ts"],"names":[],"mappings":"AAkCA,OAAO,KAAK,EAER,kBAAkB,EAElB,iBAAiB,EACjB,eAAe,EAEf,SAAS,EAET,mBAAmB,EACtB,MAAM,gBAAgB,CAAC;AAGxB,gFAAgF;AAChF,eAAO,MAAM,oBAAoB,aAAa,CAAC;AAE/C,yEAAyE;AACzE,eAAO,MAAM,cAAc,gBAAgB,CAAC;AA0B5C,MAAM,WAAW,kBAAkB;IAC/B,2CAA2C;IAC3C,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,8EAA8E;IAC9E,UAAU,CAAC,EAAE,MAAM,CAAC;CACvB;AAoED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,eAAe,GAAG,MAAM,CAErE;AA6DD;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,EAAE,mBAmCzC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,EAAE,kBA6BxC,CAAC;AAEF,+DAA+D;AAC/D,eAAO,MAAM,yBAAyB,EAAE,iBA8BvC,CAAC"}

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

@@ -1,286 +0,0 @@
-// ─── Adapter: MEMO's own compiler and packager ───────────────────────────────
-//
-// The internal tool is a plugin like any other. It gets no early return, no
-// `if (provider === …)` shortcut, and no privileges the registry does not give
-// every descriptor. The only thing it does claim is `isDefault`, which is a
-// declaration made here in the adapter rather than a `?? 'internal'` written
-// into core code — that is the whole difference between "the default" and "the
-// special case".
-//
-// MEMO's compiler ships inside @memoarchitect/tools, and this adapter can reach
-// its CLI over the same protocol
-// a third party's compiler would speak. Two transports, one interface:
-//
-//   in-process   call `lowerProject` directly. The fast path, and the default,
-//                because it is what a clean install with an empty PATH has.
-//   process      spawn `memo-sysmlc serve --stdio` and speak the protocol. Slower to
-//                start, and the only transport that proves the contract is real
-//                — over a pipe you cannot pass an object by reference or skip
-//                serialization. CI runs this one.
-//
-// Both call the same `lowerProject`, which is why they can be byte-identical
-// rather than merely intended to agree.
-// ─────────────────────────────────────────────────────────────────────────────
-import { existsSync } from 'node:fs';
-import { dirname } from 'node:path';
-import { fileURLToPath } from 'node:url';
-import { defaultSeverityForDomain } from '../diagnostic.js';
-import { checkProject, lowerProject } from '../lowering.js';
-import { findBundledExecutable, probeVersion, resolveExecutable, whichExecutable } from '../process.js';
-import { getSysmlcClient } from '../sysmlc-client.js';
-import { writeInternalMemoBundle } from './internal-kpar.js';
-import { providerSettings } from '../effective.js';
-/** The one place this string is written. Everything else reads it from here. */
-export const INTERNAL_PROVIDER_ID = 'internal';
-/** The binary this adapter speaks to when the transport is `process`. */
-export const SYSMLC_COMMAND = 'memo-sysmlc';
-const CAPABILITIES = ['check', 'lower', 'emit-ir'];
-/**
- * The transport used when the project configures none.
- *
- * Measured on GPCA (`scripts/measure-transport-latency.mjs`, 2026-08-02):
- * a warm refresh costs 298 ms in-process and 332 ms over the pipe, against a
- * 500 ms refresh budget — so the process transport **makes** budget, and §2.1's
- * "keep in-process if it misses" clause was not triggered.
- *
- * It stays the default anyway, for the cost the warm number hides: the first
- * request pays 632 ms for spawn and handshake, which a one-shot `memo validate`
- * pays in full and never amortises. In-process is strictly cheaper for the
- * commands that run once, and is what a clean install with an empty PATH has.
- * CI exercises the other one, so switching is a config change rather than a
- * project — and this constant is the whole of the switch.
- */
-const DEFAULT_TRANSPORT = 'in-process';
-const TRANSPORTS = ['in-process', 'process'];
-const SETTINGS_SCHEMA = [
-    {
-        path: `${INTERNAL_PROVIDER_ID}.transport`,
-        type: 'enum',
-        values: TRANSPORTS,
-        description: `How MEMO's own compiler is reached. \`process\` spawns \`${SYSMLC_COMMAND} serve --stdio\` `
-            + `and speaks the versioned protocol; \`in-process\` calls it directly. Defaults to `
-            + `${DEFAULT_TRANSPORT}.`,
-    },
-    {
-        path: `${INTERNAL_PROVIDER_ID}.executable`,
-        type: 'string',
-        description: `Path to a \`${SYSMLC_COMMAND}\` binary, for the \`process\` transport. Defaults to the `
-            + 'bundled one, and then to PATH.',
-    },
-];
-function settings(context) {
-    return providerSettings(context.config, INTERNAL_PROVIDER_ID) ?? {};
-}
-function transport(context) {
-    const configured = settings(context).transport;
-    return configured && TRANSPORTS.includes(configured) ? configured : DEFAULT_TRANSPORT;
-}
-/** MEMO's own version, reported the way an external tool reports `--version`. */
-function internalVersion() {
-    return process.env.MEMO_VERSION;
-}
-/**
- * Where `memo-sysmlc` is, without the user having been asked to do anything.
- *
- * Configured path first, then the binary bundled beside this install, then
- * PATH. The middle step is the one that matters: Architect depends on the
- * compiler package, so an Architect install already has it — resolving it is
- * MEMO's job, not the user's.
- */
-function compilerInvocation(context) {
-    const configured = settings(context).executable;
-    if (configured)
-        return { command: resolveExecutable(configured, SYSMLC_COMMAND, context.projectDir), args: [] };
-    const bundled = findBundledExecutable(SYSMLC_COMMAND, [
-        context.projectDir,
-        dirname(fileURLToPath(import.meta.url)),
-    ]);
-    if (bundled)
-        return { command: bundled, args: [] };
-    // A package cannot find its own npm bin link: npm creates that link for
-    // consumers. Run the compiled script directly so tools remains its own
-    // default compiler, whether installed standalone or as Architect's dep.
-    const scripts = [
-        // Compiled package: lib/toolchain/providers → lib/sysmlc/bin.
-        fileURLToPath(new URL('../../sysmlc/bin/memo-sysmlc.js', import.meta.url)),
-        // Source-mode test runner: src/toolchain/providers → lib/sysmlc/bin.
-        fileURLToPath(new URL('../../../lib/sysmlc/bin/memo-sysmlc.js', import.meta.url)),
-    ];
-    const script = scripts.find(existsSync);
-    if (script)
-        return { command: process.execPath, args: [script] };
-    return { command: SYSMLC_COMMAND, args: [] };
-}
-export function resolveSysmlcCommand(context) {
-    return compilerInvocation(context).command;
-}
-function client(context) {
-    const invocation = compilerInvocation(context);
-    return getSysmlcClient({
-        ...invocation,
-        projectDir: context.projectDir,
-        providerId: INTERNAL_PROVIDER_ID,
-    });
-}
-function probeFor(context) {
-    if (transport(context) === 'in-process') {
-        return { available: true, transport: 'in-process', version: internalVersion() };
-    }
-    const invocation = compilerInvocation(context);
-    const executable = whichExecutable(invocation.command);
-    if (!executable) {
-        return {
-            available: false,
-            transport: 'process',
-            detail: `"${invocation.command}" was not found on PATH or bundled with this install.`,
-        };
-    }
-    return {
-        available: true,
-        transport: 'process',
-        executable,
-        version: probeVersion(executable, [...invocation.args, '--version']) ?? internalVersion(),
-    };
-}
-/**
- * Normalize parse errors into the caller's domain.
- *
- * `providerVersion` is this process's, never the server's, so the same defect
- * reads identically whichever transport found it. The version of the compiler
- * is worth knowing, and `memo toolchain probe` is where it is reported; a
- * diagnostic list that changed shape with the transport would make the
- * byte-identity test a test of nothing.
- */
-function toDiagnostics(errors, domain) {
-    return errors.map(error => ({
-        domain,
-        provider: INTERNAL_PROVIDER_ID,
-        providerVersion: internalVersion(),
-        severity: defaultSeverityForDomain(domain),
-        message: error.message,
-        file: error.file,
-        range: error.line !== undefined
-            ? { start: { line: error.line, column: error.column ?? 1 } }
-            : undefined,
-    }));
-}
-async function ir(context) {
-    return transport(context) === 'process'
-        ? client(context).emitIr(context.files)
-        : lowerProject(context.projectDir, { registries: context.registries, files: context.files });
-}
-/**
- * Validator role — "is this valid SysML?" answered by MEMO's Langium grammar.
- *
- * The grammar is a MEMO subset, so this answers a narrower question than
- * `syside` does. That is exactly why the roles are separate and why a failure
- * here, when another validator accepted the file, is an ingest problem rather
- * than a SysML error.
- */
-export const internalValidatorDescriptor = {
-    id: INTERNAL_PROVIDER_ID,
-    role: 'validator',
-    capabilities: ['check'],
-    isDefault: true,
-    settingsSchema: SETTINGS_SCHEMA,
-    probe: probeFor,
-    create(context) {
-        const mode = transport(context);
-        return {
-            id: INTERNAL_PROVIDER_ID,
-            role: 'validator',
-            transport: mode,
-            invocation: () => mode === 'process'
-                ? (() => { const invocation = compilerInvocation(context); return { command: invocation.command, args: [...invocation.args, 'serve', '--stdio'], provider: INTERNAL_PROVIDER_ID }; })()
-                : undefined,
-            async run() {
-                // Checking needs parse errors and nothing else. Over the process
-                // transport it rides on `memo/emitIr` rather than earning a
-                // second custom request — the server answers a repeat request
-                // for an unchanged revision from cache, so a snapshot that runs
-                // both roles still compiles once.
-                const { parseErrors } = mode === 'process'
-                    ? await client(context).emitIr(context.files)
-                    : await checkProject(context.projectDir, context.files);
-                return {
-                    provider: INTERNAL_PROVIDER_ID,
-                    providerVersion: internalVersion(),
-                    transport: mode,
-                    accepted: parseErrors.length === 0,
-                    diagnostics: toDiagnostics(parseErrors, 'sysml'),
-                };
-            },
-        };
-    },
-};
-/**
- * Lowering role — "what can MEMO ingest from this revision?"
- *
- * Its diagnostics are `memo-ingest` by construction: this step is MEMO reading
- * the source, so anything it cannot read is MEMO's limitation to report, not a
- * verdict on the source. When MEMO is also the validator the caller collapses
- * the duplicate, so one failure is still reported once.
- */
-export const internalLoweringDescriptor = {
-    id: INTERNAL_PROVIDER_ID,
-    role: 'lowering',
-    capabilities: [...CAPABILITIES],
-    isDefault: true,
-    settingsSchema: SETTINGS_SCHEMA,
-    probe: probeFor,
-    create(context) {
-        const mode = transport(context);
-        return {
-            id: INTERNAL_PROVIDER_ID,
-            role: 'lowering',
-            transport: mode,
-            invocation: () => mode === 'process'
-                ? (() => { const invocation = compilerInvocation(context); return { command: invocation.command, args: [...invocation.args, 'serve', '--stdio'], provider: INTERNAL_PROVIDER_ID }; })()
-                : undefined,
-            async run() {
-                const payload = await ir(context);
-                return {
-                    provider: INTERNAL_PROVIDER_ID,
-                    providerVersion: internalVersion(),
-                    transport: mode,
-                    accepted: payload.accepted,
-                    diagnostics: toDiagnostics(payload.parseErrors, 'memo-ingest'),
-                    ir: payload,
-                };
-            },
-        };
-    },
-};
-/** Package role — the built-in gzip-tar MEMO bundle writer. */
-export const internalPackageDescriptor = {
-    id: INTERNAL_PROVIDER_ID,
-    role: 'package',
-    capabilities: ['pack'],
-    isDefault: true,
-    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.projectName || '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.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"internal.js","sourceRoot":"","sources":["../../../src/toolchain/providers/internal.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,4EAA4E;AAC5E,+EAA+E;AAC/E,4EAA4E;AAC5E,6EAA6E;AAC7E,+EAA+E;AAC/E,iBAAiB;AACjB,EAAE;AACF,gFAAgF;AAChF,iCAAiC;AACjC,uEAAuE;AACvE,EAAE;AACF,+EAA+E;AAC/E,4EAA4E;AAC5E,qFAAqF;AACrF,gFAAgF;AAChF,8EAA8E;AAC9E,kDAAkD;AAClD,EAAE;AACF,6EAA6E;AAC7E,wCAAwC;AACxC,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,wBAAwB,EAA0C,MAAM,kBAAkB,CAAC;AACpG,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAG5D,OAAO,EAAE,qBAAqB,EAAE,YAAY,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AACxG,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAY7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAEnD,gFAAgF;AAChF,MAAM,CAAC,MAAM,oBAAoB,GAAG,UAAU,CAAC;AAE/C,yEAAyE;AACzE,MAAM,CAAC,MAAM,cAAc,GAAG,aAAa,CAAC;AAO5C,MAAM,YAAY,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,SAAS,CAAU,CAAC;AAE5D;;;;;;;;;;;;;;GAcG;AACH,MAAM,iBAAiB,GAAc,YAAY,CAAC;AASlD,MAAM,UAAU,GAAyB,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;AAEnE,MAAM,eAAe,GAAmC;IACpD;QACI,IAAI,EAAE,GAAG,oBAAoB,YAAY;QACzC,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,UAAU;QAClB,WAAW,EACP,4DAA4D,cAAc,mBAAmB;cAC3F,mFAAmF;cACnF,GAAG,iBAAiB,GAAG;KAChC;IACD;QACI,IAAI,EAAE,GAAG,oBAAoB,aAAa;QAC1C,IAAI,EAAE,QAAQ;QACd,WAAW,EACP,eAAe,cAAc,4DAA4D;cACvF,gCAAgC;KACzC;CACJ,CAAC;AAEF,SAAS,QAAQ,CAAC,OAAwB;IACtC,OAAO,gBAAgB,CAAqB,OAAO,CAAC,MAAM,EAAE,oBAAoB,CAAC,IAAI,EAAE,CAAC;AAC5F,CAAC;AAED,SAAS,SAAS,CAAC,OAAwB;IACvC,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC;IAC/C,OAAO,UAAU,IAAI,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,iBAAiB,CAAC;AAC1F,CAAC;AAED,iFAAiF;AACjF,SAAS,eAAe;IACpB,OAAO,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC;AACpC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,kBAAkB,CAAC,OAAwB;IAChD,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC;IAChD,IAAI,UAAU;QAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,CAAC,UAAU,EAAE,cAAc,EAAE,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IAChH,MAAM,OAAO,GAAG,qBAAqB,CAAC,cAAc,EAAE;QAClD,OAAO,CAAC,UAAU;QAClB,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;KAC1C,CAAC,CAAC;IACH,IAAI,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IAEnD,wEAAwE;IACxE,uEAAuE;IACvE,wEAAwE;IACxE,MAAM,OAAO,GAAG;QACZ,8DAA8D;QAC9D,aAAa,CAAC,IAAI,GAAG,CAAC,iCAAiC,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1E,qEAAqE;QACrE,aAAa,CAAC,IAAI,GAAG,CAAC,wCAAwC,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;KACpF,CAAC;IACF,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,MAAM;QAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;IACjE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,OAAwB;IACzD,OAAO,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC;AAC/C,CAAC;AAED,SAAS,MAAM,CAAC,OAAwB;IACpC,MAAM,UAAU,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC/C,OAAO,eAAe,CAAC;QACnB,GAAG,UAAU;QACb,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,UAAU,EAAE,oBAAoB;KACnC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,QAAQ,CAAC,OAAwB;IACtC,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,YAAY,EAAE,CAAC;QACtC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,OAAO,EAAE,eAAe,EAAE,EAAE,CAAC;IACpF,CAAC;IACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC/C,MAAM,UAAU,GAAG,eAAe,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IACvD,IAAI,CAAC,UAAU,EAAE,CAAC;QACd,OAAO;YACH,SAAS,EAAE,KAAK;YAChB,SAAS,EAAE,SAAS;YACpB,MAAM,EAAE,IAAI,UAAU,CAAC,OAAO,uDAAuD;SACxF,CAAC;IACN,CAAC;IACD,OAAO;QACH,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,SAAS;QACpB,UAAU;QACV,OAAO,EAAE,YAAY,CAAC,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,IAAI,eAAe,EAAE;KAC5F,CAAC;AACN,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,aAAa,CAAC,MAA6B,EAAE,MAAwB;IAC1E,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM;QACN,QAAQ,EAAE,oBAAoB;QAC9B,eAAe,EAAE,eAAe,EAAE;QAClC,QAAQ,EAAE,wBAAwB,CAAC,MAAM,CAAC;QAC1C,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,SAAS;YAC3B,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,EAAE;YAC5D,CAAC,CAAC,SAAS;KAClB,CAAC,CAAC,CAAC;AACR,CAAC;AAED,KAAK,UAAU,EAAE,CAAC,OAAwB;IACtC,OAAO,SAAS,CAAC,OAAO,CAAC,KAAK,SAAS;QACnC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QACvC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;AACrG,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAwB;IAC5D,EAAE,EAAE,oBAAoB;IACxB,IAAI,EAAE,WAAW;IACjB,YAAY,EAAE,CAAC,OAAO,CAAC;IACvB,SAAS,EAAE,IAAI;IACf,cAAc,EAAE,eAAe;IAC/B,KAAK,EAAE,QAAQ;IACf,MAAM,CAAC,OAAwB;QAC3B,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;QAChC,OAAO;YACH,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE,WAAoB;YAC1B,SAAS,EAAE,IAAI;YACf,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI,KAAK,SAAS;gBAChC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,MAAM,UAAU,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;gBACvL,CAAC,CAAC,SAAS;YACf,KAAK,CAAC,GAAG;gBACL,iEAAiE;gBACjE,4DAA4D;gBAC5D,8DAA8D;gBAC9D,gEAAgE;gBAChE,kCAAkC;gBAClC,MAAM,EAAE,WAAW,EAAE,GAAG,IAAI,KAAK,SAAS;oBACtC,CAAC,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;oBAC7C,CAAC,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC5D,OAAO;oBACH,QAAQ,EAAE,oBAAoB;oBAC9B,eAAe,EAAE,eAAe,EAAE;oBAClC,SAAS,EAAE,IAAI;oBACf,QAAQ,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC;oBAClC,WAAW,EAAE,aAAa,CAAC,WAAW,EAAE,OAAO,CAAC;iBACnD,CAAC;YACN,CAAC;SACJ,CAAC;IACN,CAAC;CACJ,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAuB;IAC1D,EAAE,EAAE,oBAAoB;IACxB,IAAI,EAAE,UAAU;IAChB,YAAY,EAAE,CAAC,GAAG,YAAY,CAAC;IAC/B,SAAS,EAAE,IAAI;IACf,cAAc,EAAE,eAAe;IAC/B,KAAK,EAAE,QAAQ;IACf,MAAM,CAAC,OAAwB;QAC3B,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;QAChC,OAAO;YACH,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE,UAAmB;YACzB,SAAS,EAAE,IAAI;YACf,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI,KAAK,SAAS;gBAChC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,MAAM,UAAU,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;gBACvL,CAAC,CAAC,SAAS;YACf,KAAK,CAAC,GAAG;gBACL,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC;gBAClC,OAAO;oBACH,QAAQ,EAAE,oBAAoB;oBAC9B,eAAe,EAAE,eAAe,EAAE;oBAClC,SAAS,EAAE,IAAI;oBACf,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,WAAW,EAAE,aAAa,CAAC,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC;oBAC9D,EAAE,EAAE,OAAO;iBACd,CAAC;YACN,CAAC;SACJ,CAAC;IACN,CAAC;CACJ,CAAC;AAEF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,yBAAyB,GAAsB;IACxD,EAAE,EAAE,oBAAoB;IACxB,IAAI,EAAE,SAAS;IACf,YAAY,EAAE,CAAC,MAAM,CAAC;IACtB,SAAS,EAAE,IAAI;IACf,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,WAAW,IAAI,cAAc,CAAC,CAAC;gBAClF,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/sysmlc-client.d.ts

@@ -1,77 +0,0 @@
-import { type MemoIr, type ProtocolCapability } from './protocol.js';
-export interface SysmlcClientOptions {
-    /** Executable to run, already resolved by the adapter. */
-    command: string;
-    /** Extra arguments before `serve --stdio`, e.g. a node script path. */
-    args?: readonly string[];
-    projectDir: string;
-    /** Provider ID, used only to make a missing-tool error name the right thing. */
-    providerId: string;
-}
-/**
- * A live compiler process.
- *
- * The handshake is standard LSP. The one thing checked beyond it is the
- * protocol version the server advertises, because a boundary that is not
- * checked is a boundary that silently is not one.
- */
-export declare class SysmlcClient {
-    private readonly options;
-    private child?;
-    private connection?;
-    private starting?;
-    private revision;
-    /**
-     * In-flight requests, with the source selector each one asked about.
-     *
-     * The selector is not bookkeeping: supersession resolves by waiting for a
-     * newer in-flight request, and that is only the same answer when the newer
-     * request asked the same question. Two requests against one project with
-     * different file sets are different questions.
-     */
-    private readonly pending;
-    private capability?;
-    private disposed;
-    constructor(options: SysmlcClientOptions);
-    /** What the server said about itself, once the handshake has happened. */
-    get serverCapability(): ProtocolCapability | undefined;
-    private start;
-    private spawnAndHandshake;
-    private forget;
-    /**
-     * Keep the event loop alive only while a request is outstanding.
-     *
-     * Without this a one-shot `memo` command would hang on a server that is
-     * perfectly healthy and simply still running. The server survives between
-     * commands within one process — which is the point — but it never becomes
-     * the reason the process will not exit.
-     */
-    private idle;
-    private active;
-    /**
-     * Child stdio are pipes, and a pipe holds the event loop open. Node types
-     * them as plain streams, so the ref/unref every pipe actually has is
-     * reached by feature test rather than by cast.
-     */
-    private holdStreams;
-    /**
-     * Ask for the IR of the current revision.
-     *
-     * Every call takes a new revision token. If a newer one overtakes it while
-     * the server is working, the server refuses to answer with the older result
-     * and says which revision superseded it — and this method then waits for
-     * *that* answer. The caller cannot be handed a stale model; the worst case
-     * is that it waits slightly longer for a fresher one.
-     *
-     * `files` narrows the request to an explicit source list (protocol 1.1.0).
-     * Omitted, the server lowers the project — which is what every caller but
-     * conformance wants.
-     */
-    emitIr(files?: readonly string[]): Promise<MemoIr>;
-    private send;
-    dispose(): Promise<void>;
-}
-export declare function getSysmlcClient(options: SysmlcClientOptions): SysmlcClient;
-/** Shut every pooled server down. Long-running hosts call this on teardown. */
-export declare function disposeSysmlcClients(): Promise<void>;
-//# sourceMappingURL=sysmlc-client.d.ts.map

package/packages/tools/lib/toolchain/sysmlc-client.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"sysmlc-client.d.ts","sourceRoot":"","sources":["../../src/toolchain/sysmlc-client.ts"],"names":[],"mappings":"AAqBA,OAAO,EAMH,KAAK,MAAM,EACX,KAAK,kBAAkB,EAC1B,MAAM,eAAe,CAAC;AA8BvB,MAAM,WAAW,mBAAmB;IAChC,0DAA0D;IAC1D,OAAO,EAAE,MAAM,CAAC;IAChB,uEAAuE;IACvE,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,gFAAgF;IAChF,UAAU,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;GAMG;AACH,qBAAa,YAAY;IAiBT,OAAO,CAAC,QAAQ,CAAC,OAAO;IAhBpC,OAAO,CAAC,KAAK,CAAC,CAAiC;IAC/C,OAAO,CAAC,UAAU,CAAC,CAAoB;IACvC,OAAO,CAAC,QAAQ,CAAC,CAA6B;IAC9C,OAAO,CAAC,QAAQ,CAAK;IACrB;;;;;;;OAOG;IACH,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoE;IAC5F,OAAO,CAAC,UAAU,CAAC,CAAqB;IACxC,OAAO,CAAC,QAAQ,CAAS;gBAEI,OAAO,EAAE,mBAAmB;IAEzD,0EAA0E;IAC1E,IAAI,gBAAgB,IAAI,kBAAkB,GAAG,SAAS,CAErD;IAED,OAAO,CAAC,KAAK;YASC,iBAAiB;IAkD/B,OAAO,CAAC,MAAM;IAMd;;;;;;;OAOG;IACH,OAAO,CAAC,IAAI;IAMZ,OAAO,CAAC,MAAM;IAKd;;;;OAIG;IACH,OAAO,CAAC,WAAW;IAQnB;;;;;;;;;;;;OAYG;IACG,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;YAa1C,IAAI;IAqBZ,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;CAkBjC;AAQD,wBAAgB,eAAe,CAAC,OAAO,EAAE,mBAAmB,GAAG,YAAY,CAO1E;AAED,+EAA+E;AAC/E,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,IAAI,CAAC,CAI1D"}

package/packages/tools/lib/toolchain/sysmlc-client.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"sysmlc-client.js","sourceRoot":"","sources":["../../src/toolchain/sysmlc-client.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,+EAA+E;AAC/E,8EAA8E;AAC9E,4EAA4E;AAC5E,0EAA0E;AAC1E,gFAAgF;AAChF,QAAQ;AACR,EAAE;AACF,+EAA+E;AAC/E,gFAAgF;AAChF,gFAAgF;AAEhF,OAAO,EAAE,KAAK,EAAuC,MAAM,oBAAoB,CAAC;AAChF,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EACH,uBAAuB,EACvB,mBAAmB,EACnB,mBAAmB,GAEtB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACH,eAAe,EACf,uBAAuB,EACvB,uBAAuB,EACvB,wBAAwB,GAI3B,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C;;;;;;;GAOG;AACH,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkC,CAAC;AAC/D,IAAI,iBAAiB,GAAG,KAAK,CAAC;AAE9B,SAAS,KAAK,CAAC,KAAqC;IAChD,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxB,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACrD,IAAI,iBAAiB;QAAE,OAAO;IAC9B,iBAAiB,GAAG,IAAI,CAAC;IACzB,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE;QACtB,KAAK,MAAM,IAAI,IAAI,YAAY;YAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;AACP,CAAC;AAED,6EAA6E;AAC7E,SAAS,UAAU,CAAC,KAAyB;IACzC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACpD,CAAC;AAYD;;;;;;GAMG;AACH,MAAM,OAAO,YAAY;IAiBQ;IAhBrB,KAAK,CAAkC;IACvC,UAAU,CAAqB;IAC/B,QAAQ,CAA8B;IACtC,QAAQ,GAAG,CAAC,CAAC;IACrB;;;;;;;OAOG;IACc,OAAO,GAAG,IAAI,GAAG,EAAyD,CAAC;IACpF,UAAU,CAAsB;IAChC,QAAQ,GAAG,KAAK,CAAC;IAEzB,YAA6B,OAA4B;QAA5B,YAAO,GAAP,OAAO,CAAqB;IAAG,CAAC;IAE7D,0EAA0E;IAC1E,IAAI,gBAAgB;QAChB,OAAO,IAAI,CAAC,UAAU,CAAC;IAC3B,CAAC;IAEO,KAAK;QACT,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7D,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,iBAAiB,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE;YACrD,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;YAC1B,MAAM,KAAK,CAAC;QAChB,CAAC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,QAAQ,CAAC;IACzB,CAAC;IAEO,KAAK,CAAC,iBAAiB;QAC3B,MAAM,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC;QACpE,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,OAAO,yBAAyB,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE;YACxD,GAAG,EAAE,UAAU;YACf,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;SAClC,CAAC,CAAC;QACH,sEAAsE;QACtE,wEAAwE;QACxE,2BAA2B;QAC3B,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,GAAG,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,GAAgD,CAAC,CAAC,CAAC;QAE1E,MAAM,UAAU,GAAG,uBAAuB,CACtC,IAAI,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC,EACrC,IAAI,mBAAmB,CAAC,KAAK,CAAC,KAAK,CAAC,CACvC,CAAC;QACF,UAAU,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACxC,UAAU,CAAC,MAAM,EAAE,CAAC;QAEpB,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,WAAW,CAAM,YAAY,EAAE;gBAC3D,SAAS,EAAE,OAAO,CAAC,GAAG;gBACtB,OAAO,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE;gBAC7C,YAAY,EAAE,EAAE;gBAChB,UAAU,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,uBAAuB,EAAE;aACvE,CAAC,CAAC;YACH,MAAM,UAAU,GAAG,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC,uBAAuB,CAC7C,CAAC;YACnC,wBAAwB,CAAC,UAAU,EAAE,eAAe,EAAE,IAAI,OAAO,GAAG,CAAC,CAAC;YACtE,UAAU,CAAC,gBAAgB,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;YAC/C,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QACjC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,KAAK,CAAC,IAAI,EAAE,CAAC;YACb,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;YAC7B,MAAM,KAAK,YAAY,KAAK,IAAI,MAAM;gBAClC,CAAC,CAAC,IAAI,KAAK,CAAC,GAAG,KAAK,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;gBAC1C,CAAC,CAAC,KAAK,CAAC;QAChB,CAAC;QAED,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,KAAK,CAAC,KAAK,CAAC,CAAC;QACb,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,OAAO,UAAU,CAAC;IACtB,CAAC;IAEO,MAAM;QACV,IAAI,CAAC,UAAU,GAAG,SAAS,CAAC;QAC5B,IAAI,CAAC,QAAQ,GAAG,SAAS,CAAC;QAC1B,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;IAC3B,CAAC;IAED;;;;;;;OAOG;IACK,IAAI;QACR,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC;YAAE,OAAO;QAClC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC;QACpB,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IAEO,MAAM;QACV,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IAED;;;;OAIG;IACK,WAAW,CAAC,IAAa;QAC7B,KAAK,MAAM,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;YAC3D,MAAM,MAAM,GAAG,MAAyE,CAAC;YACzF,IAAI,IAAI;gBAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;;gBACrB,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3B,CAAC;IACL,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,KAAK,CAAC,MAAM,CAAC,KAAyB;QAClC,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC1C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACjD,IAAI,CAAC;YACD,OAAO,MAAM,MAAM,CAAC;QACxB,CAAC;gBAAS,CAAC;YACP,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC9B,IAAI,CAAC,IAAI,EAAE,CAAC;QAChB,CAAC;IACL,CAAC;IAEO,KAAK,CAAC,IAAI,CAAC,QAAgB,EAAE,KAAyB;QAC1D,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC;QACtC,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,WAAW,CAAiB,eAAe,EAAE;YAC3E,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU;YACnC,QAAQ;YACR,eAAe,EAAE,uBAAuB;YACxC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC1C,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI;YAAE,OAAO,QAAQ,CAAC,EAAE,CAAC;QAClD,yEAAyE;QACzE,uEAAuE;QACvE,wEAAwE;QACxE,mEAAmE;QACnE,6BAA6B;QAC7B,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7F,IAAI,SAAS,EAAE,QAAQ,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC,MAAM,CAAC;QAC9D,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;IAED,KAAK,CAAC,OAAO;QACT,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO;QAC1B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;QACnC,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,sEAAsE;QACtE,uEAAuE;QACvE,iEAAiE;QACjE,IAAI,UAAU,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YAC/D,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;YACnB,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,MAAM,UAAU,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;YAChE,MAAM,UAAU,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;YACjE,IAAI,CAAC,KAAK,GAAG,SAAS,CAAC;QAC3B,CAAC;QACD,UAAU,EAAE,OAAO,EAAE,CAAC;QACtB,KAAK,EAAE,IAAI,EAAE,CAAC;IAClB,CAAC;CACJ;AAED;;;GAGG;AACH,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;AAEhD,MAAM,UAAU,eAAe,CAAC,OAA4B;IACxD,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;IACzF,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC;IACzC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACzB,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,KAAK,UAAU,oBAAoB;IACtC,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACnC,OAAO,CAAC,KAAK,EAAE,CAAC;IAChB,MAAM,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAC5D,CAAC"}

package/packages/tools/lib/validator/sysml-constraints.d.ts

@@ -1,64 +0,0 @@
-import { SYSIDE_RULES, SYSIDE_VERSION, type SysideRule } from '../conformance/generated/syside-rules.js';
-import type { MemoModelDTO } from '../model/semantic.js';
-export { SYSIDE_RULES, SYSIDE_VERSION };
-/** One violation, in the shape a `sysml`-domain diagnostic is built from. */
-export interface ConstraintViolation {
-    /** Syside's code, verbatim. */
-    code: string;
-    message: string;
-    elementId: string;
-    file: string;
-}
-export interface SysmlConstraint {
-    /** Syside's code, verbatim — never a MEMO-invented identifier. */
-    code: string;
-    /** Specification clause this implements, e.g. `KerML 8.3.3.1`. */
-    clause: string;
-    /** Metaclass or MEMO construct the rule ranges over, for reporting. */
-    appliesTo: string;
-    /**
-     * What this implementation does *not* catch, where that is known.
-     *
-     * A partially-implemented rule reported as "implemented" is worse than an
-     * unimplemented one: it converts a gap into false confidence. Stating the
-     * limitation in the data means the scoreboard prints it, so the coverage
-     * number is never read as more than it is.
-     */
-    limitation?: string;
-    check(model: MemoModelDTO): ConstraintViolation[];
-}
-/** Why a published code has no implementation here. */
-export type UnimplementedReason = 'blocked' | 'out-of-scope' | 'not-yet';
-export interface UnimplementedConstraint {
-    code: string;
-    reason: UnimplementedReason;
-    /** Required: an unexplained gap is indistinguishable from an oversight. */
-    detail: string;
-}
-export declare const IMPLEMENTED_CONSTRAINTS: readonly SysmlConstraint[];
-/**
- * The reasons, keyed by prefix rather than enumerated one by one.
- *
- * Most of the 151 fall into a handful of buckets, and a bucket with a reason is
- * more honest than 147 individual "not yet" entries that all mean the same
- * thing. `classifyConstraints` applies these to whatever is not implemented.
- */
-export declare const UNIMPLEMENTED_REASONS: readonly {
-    match: RegExp;
-    reason: UnimplementedReason;
-    detail: string;
-}[];
-export interface ConstraintScore {
-    sysideVersion: string;
-    total: number;
-    implemented: SysmlConstraint[];
-    unimplemented: UnimplementedConstraint[];
-    /** Implemented codes Syside does not publish — a code MEMO invented. */
-    unpublished: string[];
-    byReason: Record<UnimplementedReason, number>;
-}
-/** Score the implemented set against the published checklist. */
-export declare function classifyConstraints(implemented?: readonly SysmlConstraint[], published?: readonly SysideRule[]): ConstraintScore;
-/** Evaluate every implemented constraint against one model. */
-export declare function checkSysmlConstraints(model: MemoModelDTO, constraints?: readonly SysmlConstraint[]): ConstraintViolation[];
-//# sourceMappingURL=sysml-constraints.d.ts.map

package/packages/tools/lib/validator/sysml-constraints.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"sysml-constraints.d.ts","sourceRoot":"","sources":["../../src/validator/sysml-constraints.ts"],"names":[],"mappings":"AAmCA,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,KAAK,UAAU,EAAE,MAAM,0CAA0C,CAAC;AACzG,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAGzD,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,CAAC;AAExC,6EAA6E;AAC7E,MAAM,WAAW,mBAAmB;IAChC,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,eAAe;IAC5B,kEAAkE;IAClE,IAAI,EAAE,MAAM,CAAC;IACb,kEAAkE;IAClE,MAAM,EAAE,MAAM,CAAC;IACf,uEAAuE;IACvE,SAAS,EAAE,MAAM,CAAC;IAClB;;;;;;;OAOG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,KAAK,EAAE,YAAY,GAAG,mBAAmB,EAAE,CAAC;CACrD;AAED,uDAAuD;AACvD,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,cAAc,GAAG,SAAS,CAAC;AAEzE,MAAM,WAAW,uBAAuB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,mBAAmB,CAAC;IAC5B,2EAA2E;IAC3E,MAAM,EAAE,MAAM,CAAC;CAClB;AA8BD,eAAO,MAAM,uBAAuB,EAAE,SAAS,eAAe,EA2H7D,CAAC;AAIF;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,EAAE,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,mBAAmB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EAqB1G,CAAC;AAEF,MAAM,WAAW,eAAe;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,eAAe,EAAE,CAAC;IAC/B,aAAa,EAAE,uBAAuB,EAAE,CAAC;IACzC,wEAAwE;IACxE,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC;CACjD;AAED,iEAAiE;AACjE,wBAAgB,mBAAmB,CAC/B,WAAW,GAAE,SAAS,eAAe,EAA4B,EACjE,SAAS,GAAE,SAAS,UAAU,EAAiB,GAChD,eAAe,CAqBjB;AAED,+DAA+D;AAC/D,wBAAgB,qBAAqB,CACjC,KAAK,EAAE,YAAY,EACnB,WAAW,GAAE,SAAS,eAAe,EAA4B,GAClE,mBAAmB,EAAE,CAEvB"}