@memoarchitect/tools 0.6.6 → 0.7.2

package/packages/tools/lib/conformance/corpus.js

@@ -0,0 +1,190 @@
+// ─── The conformance corpus ──────────────────────────────────────────────────
+//
+// A pinned, checksummed copy of the OMG's own published artifacts, vendored
+// under `corpus/sysml-v2-release/` by `scripts/vendor-corpus.mjs`.
+//
+// Why static artifacts rather than a spawned reference implementation: they are
+// versioned, deterministic, diffable in review, and carry no runtime, licence
+// or startup cost — and MEMO's dependency graph stays free of a JVM (§1.3).
+// The `xmi.implied` tree is the Pilot's own *computed* output published as
+// data, which is the part that could not otherwise be had without running it.
+//
+// What a static corpus cannot do is judge source nobody has seen before. That
+// is what an external live validator is for, and why `conformance run` takes a
+// provider rather than grading MEMO against MEMO.
+// ─────────────────────────────────────────────────────────────────────────────
+import { createHash } from 'node:crypto';
+import { existsSync, readFileSync, readdirSync, statSync } from 'node:fs';
+import { dirname, join, posix, relative, resolve, sep } from 'node:path';
+import { fileURLToPath } from 'node:url';
+/** Textual model sources. `.kerml` is half the Kernel libraries. */
+export const MODEL_EXTENSIONS = ['.sysml', '.kerml'];
+/** The XMI serializations, declared and with implied elements. */
+export const XMI_EXTENSIONS = ['.sysmlx', '.kermlx'];
+export const LIBRARY_SOURCE_TREE = 'sysml.library';
+export const LIBRARY_XMI_TREE = 'sysml.library.xmi';
+export const LIBRARY_XMI_IMPLIED_TREE = 'sysml.library.xmi.implied';
+/** The normative textual and graphical grammars. */
+export const BNF_TREE = 'bnf';
+export function provenanceOf(corpus) {
+    const { repository, commit, commitDate, digest, libraryVersions } = corpus.manifest;
+    return { repository, commit, commitDate, digest, libraryVersions };
+}
+export class CorpusNotFoundError extends Error {
+    dir;
+    constructor(dir) {
+        super(`No conformance corpus at "${dir}" — expected a manifest.json beside the vendored trees. `
+            + 'Run `node scripts/vendor-corpus.mjs` in memo-tools, or pass --corpus <dir>.');
+        this.dir = dir;
+        this.name = 'CorpusNotFoundError';
+    }
+}
+/**
+ * Where the vendored corpus lives, relative to this module.
+ *
+ * `src/conformance/` and `lib/conformance/` sit at the same depth below the
+ * package root, so one expression serves both the compiled and the sources
+ * build without a build-time constant.
+ */
+export function defaultCorpusDir() {
+    return resolve(dirname(fileURLToPath(import.meta.url)), '../../../../corpus/sysml-v2-release');
+}
+export function loadCorpus(dir) {
+    const root = resolve(dir ?? defaultCorpusDir());
+    const manifestPath = join(root, 'manifest.json');
+    if (!existsSync(manifestPath))
+        throw new CorpusNotFoundError(root);
+    return { root, manifest: JSON.parse(readFileSync(manifestPath, 'utf-8')) };
+}
+/**
+ * Check vendored content against the manifest.
+ *
+ * `trees` narrows the check — hashing 150 MB to run a report over 1.4 MB of
+ * textual sources costs more than the report. The full sweep is what the
+ * corpus-integrity test runs.
+ */
+export function verifyCorpus(corpus, trees) {
+    const mismatches = [];
+    for (const [rel, entry] of Object.entries(corpus.manifest.files)) {
+        if (trees && !trees.some(tree => rel === tree || rel.startsWith(`${tree}/`)))
+            continue;
+        const full = join(corpus.root, rel.split(posix.sep).join(sep));
+        if (!existsSync(full)) {
+            mismatches.push({ path: rel, reason: 'missing' });
+            continue;
+        }
+        const actual = createHash('sha256').update(readFileSync(full)).digest('hex');
+        if (actual !== entry.sha256)
+            mismatches.push({ path: rel, reason: 'changed' });
+    }
+    return mismatches;
+}
+function slug(segment) {
+    return segment.toLowerCase().replace(/[^a-z0-9]+/g, '-').replace(/^-|-$/g, '');
+}
+function isModelSource(name) {
+    return MODEL_EXTENSIONS.some(extension => name.endsWith(extension));
+}
+/** Every model source under `dir`, absolute and sorted. */
+export function modelSourcesIn(dir) {
+    const out = [];
+    const walk = (current) => {
+        for (const entry of readdirSync(current, { withFileTypes: true })) {
+            const full = join(current, entry.name);
+            if (entry.isDirectory())
+                walk(full);
+            else if (isModelSource(entry.name))
+                out.push(full);
+        }
+    };
+    if (existsSync(dir))
+        walk(dir);
+    return out.sort();
+}
+function unitAt(root, relPath, kind, id) {
+    const files = modelSourcesIn(join(root, relPath.split(posix.sep).join(sep)));
+    return {
+        id,
+        path: relPath,
+        kind,
+        files,
+        bytes: files.reduce((n, file) => n + statSync(file).size, 0),
+    };
+}
+/**
+ * Partition the corpus into units.
+ *
+ * A library group whose own directory holds sources is one unit (the Systems
+ * Library); otherwise each child directory is (Kernel Libraries, Domain
+ * Libraries). That rule is what produces the ten-way split matching the KPARs,
+ * without this file carrying a hardcoded list of library names that a Release
+ * bump would silently invalidate.
+ */
+export function corpusUnits(corpus) {
+    const units = [];
+    const libraryRoot = join(corpus.root, LIBRARY_SOURCE_TREE);
+    if (existsSync(libraryRoot)) {
+        for (const group of readdirSync(libraryRoot, { withFileTypes: true })
+            .filter(entry => entry.isDirectory())
+            .sort((a, b) => (a.name < b.name ? -1 : 1))) {
+            const groupPath = posix.join(LIBRARY_SOURCE_TREE, group.name);
+            const groupDir = join(libraryRoot, group.name);
+            const ownSources = readdirSync(groupDir).some(isModelSource);
+            if (ownSources) {
+                units.push(unitAt(corpus.root, groupPath, 'library', `library/${slug(group.name)}`));
+                continue;
+            }
+            for (const library of readdirSync(groupDir, { withFileTypes: true })
+                .filter(entry => entry.isDirectory())
+                .sort((a, b) => (a.name < b.name ? -1 : 1))) {
+                units.push(unitAt(corpus.root, posix.join(groupPath, library.name), 'library', `library/${slug(group.name)}/${slug(library.name)}`));
+            }
+        }
+    }
+    for (const [relPath, id] of [['sysml/src', 'examples/sysml'], ['kerml/src', 'examples/kerml']]) {
+        if (existsSync(join(corpus.root, relPath.split(posix.sep).join(sep)))) {
+            units.push(unitAt(corpus.root, relPath, 'examples', id));
+        }
+    }
+    return units.filter(unit => unit.files.length > 0);
+}
+/**
+ * Select units by id, accepting a prefix so `--unit library` means all of them.
+ *
+ * An unmatched selector is an error rather than an empty run: a conformance
+ * command that reports zero findings because it ran nothing is the worst
+ * possible false green.
+ */
+export function selectUnits(units, selectors) {
+    if (selectors.length === 0)
+        return [...units];
+    const selected = new Map();
+    for (const selector of selectors) {
+        const matches = units.filter(unit => unit.id === selector || unit.id.startsWith(`${selector}/`));
+        if (matches.length === 0) {
+            throw new Error(`No corpus unit matches "${selector}". Available: ${units.map(u => u.id).join(', ')}.`);
+        }
+        for (const match of matches)
+            selected.set(match.id, match);
+    }
+    return [...selected.values()];
+}
+/**
+ * The XMI file that serializes a given library source.
+ *
+ * Upstream mirrors the tree exactly and swaps the extension —
+ * `sysml.library/Systems Library/Parts.sysml` becomes
+ * `sysml.library.xmi.implied/Systems Library/Parts.sysmlx`.
+ */
+export function xmiCounterpart(corpus, source, tree) {
+    const relPath = relative(join(corpus.root, LIBRARY_SOURCE_TREE), source);
+    if (relPath.startsWith('..'))
+        return undefined;
+    const candidate = join(corpus.root, tree, `${relPath}x`);
+    return existsSync(candidate) ? candidate : undefined;
+}
+/** Corpus-relative path, in upstream's own separator, for reports. */
+export function corpusRelative(corpus, path) {
+    return relative(corpus.root, path).split(sep).join(posix.sep);
+}
+//# sourceMappingURL=corpus.js.map

package/packages/tools/lib/conformance/corpus.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corpus.js","sourceRoot":"","sources":["../../src/conformance/corpus.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,4EAA4E;AAC5E,mEAAmE;AACnE,EAAE;AACF,gFAAgF;AAChF,8EAA8E;AAC9E,4EAA4E;AAC5E,2EAA2E;AAC3E,8EAA8E;AAC9E,EAAE;AACF,8EAA8E;AAC9E,+EAA+E;AAC/E,kDAAkD;AAClD,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACzE,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,oEAAoE;AACpE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAU,CAAC;AAE9D,kEAAkE;AAClE,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,SAAS,EAAE,SAAS,CAAU,CAAC;AAE9D,MAAM,CAAC,MAAM,mBAAmB,GAAG,eAAe,CAAC;AACnD,MAAM,CAAC,MAAM,gBAAgB,GAAG,mBAAmB,CAAC;AACpD,MAAM,CAAC,MAAM,wBAAwB,GAAG,2BAA2B,CAAC;AACpE,oDAAoD;AACpD,MAAM,CAAC,MAAM,QAAQ,GAAG,KAAK,CAAC;AAkD9B,MAAM,UAAU,YAAY,CAAC,MAAc;IACvC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;IACpF,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;AACvE,CAAC;AAED,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IACrB;IAArB,YAAqB,GAAW;QAC5B,KAAK,CACD,6BAA6B,GAAG,0DAA0D;cACxF,6EAA6E,CAClF,CAAC;QAJe,QAAG,GAAH,GAAG,CAAQ;QAK5B,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;IACtC,CAAC;CACJ;AAED;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB;IAC5B,OAAO,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,qCAAqC,CAAC,CAAC;AACnG,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAY;IACnC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,IAAI,gBAAgB,EAAE,CAAC,CAAC;IAChD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;IACjD,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;QAAE,MAAM,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC;IACnE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAmB,EAAE,CAAC;AACjG,CAAC;AAOD;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,KAAyB;IAClE,MAAM,UAAU,GAAuB,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/D,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC;YAAE,SAAS;QACvF,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/D,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;YAAC,SAAS;QAAC,CAAC;QACvF,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7E,IAAI,MAAM,KAAK,KAAK,CAAC,MAAM;YAAE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,UAAU,CAAC;AACtB,CAAC;AAmBD,SAAS,IAAI,CAAC,OAAe;IACzB,OAAO,OAAO,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,aAAa,CAAC,IAAY;IAC/B,OAAO,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,cAAc,CAAC,GAAW;IACtC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,CAAC,OAAe,EAAQ,EAAE;QACnC,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,KAAK,CAAC,WAAW,EAAE;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC;iBAC/B,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,CAAC;IACL,CAAC,CAAC;IACF,IAAI,UAAU,CAAC,GAAG,CAAC;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/B,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,MAAM,CAAC,IAAY,EAAE,OAAe,EAAE,IAAwB,EAAE,EAAU;IAC/E,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7E,OAAO;QACH,EAAE;QACF,IAAI,EAAE,OAAO;QACb,IAAI;QACJ,KAAK;QACL,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;KAC/D,CAAC;AACN,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc;IACtC,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;IAC3D,IAAI,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1B,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,WAAW,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;aAChE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;aACpC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,mBAAmB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/C,MAAM,UAAU,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YAC7D,IAAI,UAAU,EAAE,CAAC;gBACb,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;gBACrF,SAAS;YACb,CAAC;YACD,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,QAAQ,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;iBAC/D,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;iBACpC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9C,KAAK,CAAC,IAAI,CAAC,MAAM,CACb,MAAM,CAAC,IAAI,EACX,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,EACnC,SAAS,EACT,WAAW,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CACtD,CAAC,CAAC;YACP,CAAC;QACL,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,gBAAgB,CAAC,EAAE,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAU,EAAE,CAAC;QACtG,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACpE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC;QAC7D,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACvD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,KAA4B,EAAE,SAA4B;IAClF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC/C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,QAAQ,IAAI,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,QAAQ,GAAG,CAAC,CAAC,CAAC;QACjG,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACX,2BAA2B,QAAQ,iBAAiB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACzF,CAAC;QACN,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,OAAO;YAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;AAClC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,MAAc,EAAE,IAAY;IACvE,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,MAAM,CAAC,CAAC;IACzE,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,OAAO,GAAG,CAAC,CAAC;IACzD,OAAO,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AACzD,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,IAAY;IACvD,OAAO,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AAClE,CAAC"}

package/packages/tools/lib/conformance/diff-xmi.d.ts

@@ -0,0 +1,118 @@
+import type { MEMOConfig } from '../model/config.js';
+import type { MemoElement } from '../model/semantic.js';
+import type { ProviderRegistry } from '../toolchain/registry.js';
+import { type Corpus, type CorpusProvenance } from './corpus.js';
+/**
+ * How a single difference is classified.
+ *
+ *   missing-declared   the source declares it, the reference has it, MEMO does
+ *                      not. A lowering gap — MEMO did not read the source.
+ *   missing-implied    only the reference's *implied* pass produced it. A
+ *                      derived-semantics gap: MEMO read the source but does not
+ *                      compute what the source entails.
+ *   extra              MEMO has an element neither XMI does. Something was
+ *                      invented, or named differently than upstream names it.
+ *   differing-derived  both have it; a derived value differs (today: metaclass
+ *                      against MEMO's construct).
+ *   qualified-name     the leaf name exists on both sides under different
+ *                      containment paths. Reported apart from `missing`/`extra`
+ *                      because it is one defect, not two, and it is a naming
+ *                      gap rather than a missing element.
+ */
+export type DifferenceClass = 'missing-declared' | 'missing-implied' | 'extra' | 'differing-derived' | 'qualified-name';
+export declare const DIFFERENCE_CLASSES: readonly DifferenceClass[];
+export type DifferenceCounts = Record<DifferenceClass, number>;
+export declare function emptyDifferenceCounts(): DifferenceCounts;
+export interface Difference {
+    class: DifferenceClass;
+    qualifiedName: string;
+    /** Reference metaclass, where the reference has the element. */
+    metatype?: string;
+    /** MEMO's construct, where MEMO has it. */
+    construct?: string;
+    /** Free-text only for `differing-derived` and `qualified-name`. */
+    detail?: string;
+}
+export interface LibraryDiff {
+    /** Source file, corpus-relative. */
+    source: string;
+    /** The two XMI counterparts, corpus-relative; absent when upstream has none. */
+    declaredXmi?: string;
+    impliedXmi?: string;
+    /** Named elements each side computed. */
+    referenceDeclared: number;
+    referenceImplied: number;
+    memo: number;
+    /**
+     * Unnamed elements in the reference serialization.
+     *
+     * Not compared — see the module header — but reported, because "we compared
+     * 19 of 336 elements" is a materially different claim from "we compared the
+     * file", and only one of them is true.
+     */
+    referenceAnonymous: number;
+    counts: DifferenceCounts;
+    /** Capped sample, sorted, so a baseline stays reviewable. */
+    differences: Difference[];
+    /** Set when the library could not be compared at all. */
+    failure?: string;
+}
+export interface DiffXmiReport {
+    reportVersion: string;
+    memoVersion: string;
+    corpus: CorpusProvenance & {
+        root: string;
+    };
+    toolchain: {
+        lowering: string;
+    };
+    totals: {
+        libraries: number;
+        counts: DifferenceCounts;
+    };
+    libraries: LibraryDiff[];
+}
+export declare const DIFF_REPORT_VERSION = "1.0.0";
+/**
+ * MEMO's qualified name for an element.
+ *
+ * MEMO's model is flat: an element carries the package it was declared in, and
+ * nesting is not part of its identity. The reference's is a containment path.
+ * Joining package and id with `::` is the closest honest translation, and where
+ * it does not line up the difference lands in `qualified-name` rather than
+ * being hidden — which is the point of having that class.
+ */
+export declare function memoQualifiedName(element: MemoElement): string;
+/**
+ * Whether a reference metaclass and a MEMO construct describe the same thing.
+ *
+ * MEMO's `construct` is the SysML keyword (`part`, `action`, `requirement`);
+ * the reference's metatype is the metaclass (`PartUsage`, `PartDefinition`,
+ * `ActionUsage`). Comparing them exactly would report every element as
+ * differing, which is noise. The test is containment of the keyword in the
+ * metaclass name, case-folded — deliberately loose, because this is the first
+ * derived value compared and a strict mapping table belongs with the canonical
+ * IR (Session 3), not here.
+ */
+export declare function derivedValuesAgree(metatype: string, construct: string | undefined): boolean;
+export interface DiffXmiOptions {
+    config: MEMOConfig;
+    projectDir: string;
+    corpusDir?: string;
+    /**
+     * Library sources to compare, as corpus-relative paths or bare filenames.
+     * Empty compares every library source that has an XMI counterpart.
+     */
+    libraries?: readonly string[];
+    registry?: ProviderRegistry;
+    memoVersion: string;
+    verify?: boolean;
+    onLibrary?: (source: string, index: number, total: number) => void;
+}
+/** Compare one library source against its two XMI counterparts. */
+export declare function diffLibrary(source: string, corpus: Corpus, options: DiffXmiOptions): Promise<LibraryDiff>;
+/** Library sources named by `--library`, or every one with an XMI counterpart. */
+export declare function selectLibraries(corpus: Corpus, selectors: readonly string[]): string[];
+export declare function runDiffXmi(options: DiffXmiOptions): Promise<DiffXmiReport>;
+export declare function formatDiffXmiReport(report: DiffXmiReport): string;
+//# sourceMappingURL=diff-xmi.d.ts.map

package/packages/tools/lib/conformance/diff-xmi.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff-xmi.d.ts","sourceRoot":"","sources":["../../src/conformance/diff-xmi.ts"],"names":[],"mappings":"AA6BA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAIxD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAUH,KAAK,MAAM,EACX,KAAK,gBAAgB,EACxB,MAAM,aAAa,CAAC;AAGrB;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,eAAe,GACrB,kBAAkB,GAClB,iBAAiB,GACjB,OAAO,GACP,mBAAmB,GACnB,gBAAgB,CAAC;AAEvB,eAAO,MAAM,kBAAkB,EAAE,SAAS,eAAe,EACkC,CAAC;AAE5F,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;AAE/D,wBAAgB,qBAAqB,IAAI,gBAAgB,CAQxD;AAED,MAAM,WAAW,UAAU;IACvB,KAAK,EAAE,eAAe,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,gEAAgE;IAChE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,mEAAmE;IACnE,MAAM,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,WAAW;IACxB,oCAAoC;IACpC,MAAM,EAAE,MAAM,CAAC;IACf,gFAAgF;IAChF,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,yCAAyC;IACzC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,gBAAgB,EAAE,MAAM,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;OAMG;IACH,kBAAkB,EAAE,MAAM,CAAC;IAC3B,MAAM,EAAE,gBAAgB,CAAC;IACzB,6DAA6D;IAC7D,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,yDAAyD;IACzD,OAAO,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,aAAa;IAC1B,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,gBAAgB,GAAG;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5C,SAAS,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAChC,MAAM,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,gBAAgB,CAAA;KAAE,CAAC;IACxD,SAAS,EAAE,WAAW,EAAE,CAAC;CAC5B;AAED,eAAO,MAAM,mBAAmB,UAAU,CAAC;AAK3C;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,WAAW,GAAG,MAAM,CAE9D;AAQD;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAG3F;AAED,MAAM,WAAW,cAAc;IAC3B,MAAM,EAAE,UAAU,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;OAGG;IACH,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,SAAS,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;CACtE;AAuED,mEAAmE;AACnE,wBAAsB,WAAW,CAC7B,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,cAAc,GACxB,OAAO,CAAC,WAAW,CAAC,CAmDtB;AAED,kFAAkF;AAClF,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAsBtF;AAED,wBAAsB,UAAU,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,aAAa,CAAC,CAgChF;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,CAmCjE"}

package/packages/tools/lib/conformance/diff-xmi.js

@@ -0,0 +1,276 @@
+// ─── memo conformance diff-xmi ───────────────────────────────────────────────
+//
+// The differential oracle. For one normative library it asks: what does MEMO
+// compute for this source, and how does that differ from what the reference
+// implementation computed for the same source?
+//
+// The right-hand side is not a second opinion we are trusting on faith — it is
+// `sysml.library.xmi.implied`, the Pilot's own output, published by the OMG as
+// data at a pinned commit. Running the Pilot would give the same answer at the
+// cost of a JVM (§1.3); reading its published answer costs nothing and is
+// diffable in review.
+//
+// What is compared, and what deliberately is not. Two independent
+// implementations agree on *which named elements exist, of what metaclass,
+// under what qualified name*. They do not agree on UUIDs, on the ordering of
+// unnamed memberships, or on how a documentation body is broken across lines —
+// comparing those would produce thousands of differences that mean nothing.
+// The comparison is therefore over named elements only, and every unnamed
+// element the file contains is counted and reported rather than dropped
+// silently.
+//
+// This is the acceptance harness for Track B B3. Today the internal grammar is
+// a MEMO subset that does not accept `standard library package` at all, so the
+// honest result is a large `missing-declared` count — which is the measurement,
+// not a failure of the harness. Nothing here passes or fails on its own: the
+// gate is a frozen baseline, and what it catches is a count that *moved*.
+// ─────────────────────────────────────────────────────────────────────────────
+import { basename, dirname } from 'node:path';
+import { defaultRegistry } from '../toolchain/default-registry.js';
+import { resolveToolchain } from '../toolchain/effective.js';
+import { runLowering } from '../toolchain/operations.js';
+import { LIBRARY_SOURCE_TREE, LIBRARY_XMI_IMPLIED_TREE, LIBRARY_XMI_TREE, corpusRelative, loadCorpus, modelSourcesIn, provenanceOf, verifyCorpus, xmiCounterpart, } from './corpus.js';
+import { readXmi } from './xmi.js';
+export const DIFFERENCE_CLASSES = ['missing-declared', 'missing-implied', 'extra', 'differing-derived', 'qualified-name'];
+export function emptyDifferenceCounts() {
+    return {
+        'missing-declared': 0,
+        'missing-implied': 0,
+        'extra': 0,
+        'differing-derived': 0,
+        'qualified-name': 0,
+    };
+}
+export const DIFF_REPORT_VERSION = '1.0.0';
+/** Differences listed per library. Enough to act on, not a dump of 20 000. */
+const SAMPLE_LIMIT = 25;
+/**
+ * MEMO's qualified name for an element.
+ *
+ * MEMO's model is flat: an element carries the package it was declared in, and
+ * nesting is not part of its identity. The reference's is a containment path.
+ * Joining package and id with `::` is the closest honest translation, and where
+ * it does not line up the difference lands in `qualified-name` rather than
+ * being hidden — which is the point of having that class.
+ */
+export function memoQualifiedName(element) {
+    return element.package ? `${element.package}::${element.id}` : element.id;
+}
+/** Last segment of a `::`-joined name. */
+function leaf(qualifiedName) {
+    const index = qualifiedName.lastIndexOf('::');
+    return index < 0 ? qualifiedName : qualifiedName.slice(index + 2);
+}
+/**
+ * Whether a reference metaclass and a MEMO construct describe the same thing.
+ *
+ * MEMO's `construct` is the SysML keyword (`part`, `action`, `requirement`);
+ * the reference's metatype is the metaclass (`PartUsage`, `PartDefinition`,
+ * `ActionUsage`). Comparing them exactly would report every element as
+ * differing, which is noise. The test is containment of the keyword in the
+ * metaclass name, case-folded — deliberately loose, because this is the first
+ * derived value compared and a strict mapping table belongs with the canonical
+ * IR (Session 3), not here.
+ */
+export function derivedValuesAgree(metatype, construct) {
+    if (!construct)
+        return true;
+    return metatype.toLowerCase().includes(construct.toLowerCase());
+}
+function classify(reference, declaredNames, memo) {
+    const counts = emptyDifferenceCounts();
+    const differences = [];
+    // Leaf-name index of what MEMO produced, so a containment-path mismatch is
+    // recognised as one rather than counted twice (missing here, extra there).
+    const memoByLeaf = new Map();
+    for (const element of memo.values()) {
+        const key = leaf(memoQualifiedName(element));
+        const bucket = memoByLeaf.get(key);
+        if (bucket)
+            bucket.push(element);
+        else
+            memoByLeaf.set(key, [element]);
+    }
+    const pairedByName = new Set();
+    for (const [qualifiedName, element] of reference) {
+        const mine = memo.get(qualifiedName);
+        if (mine) {
+            if (!derivedValuesAgree(element.metatype, mine.construct)) {
+                counts['differing-derived'] += 1;
+                differences.push({
+                    class: 'differing-derived',
+                    qualifiedName,
+                    metatype: element.metatype,
+                    construct: mine.construct,
+                    detail: `reference metaclass ${element.metatype}, MEMO construct ${mine.construct}`,
+                });
+            }
+            continue;
+        }
+        const byLeaf = memoByLeaf.get(element.name)?.filter(candidate => !pairedByName.has(memoQualifiedName(candidate)));
+        if (byLeaf && byLeaf.length > 0) {
+            pairedByName.add(memoQualifiedName(byLeaf[0]));
+            counts['qualified-name'] += 1;
+            differences.push({
+                class: 'qualified-name',
+                qualifiedName,
+                metatype: element.metatype,
+                construct: byLeaf[0].construct,
+                detail: `MEMO names it ${memoQualifiedName(byLeaf[0])}`,
+            });
+            continue;
+        }
+        const kind = declaredNames.has(qualifiedName)
+            ? 'missing-declared'
+            : 'missing-implied';
+        counts[kind] += 1;
+        differences.push({ class: kind, qualifiedName, metatype: element.metatype });
+    }
+    for (const element of memo.values()) {
+        const qualifiedName = memoQualifiedName(element);
+        if (reference.has(qualifiedName) || pairedByName.has(qualifiedName))
+            continue;
+        counts.extra += 1;
+        differences.push({ class: 'extra', qualifiedName, construct: element.construct });
+    }
+    // Sorted by class then name so two runs of the same corpus produce the same
+    // sample, and a baseline diff shows real movement rather than reordering.
+    differences.sort((a, b) => DIFFERENCE_CLASSES.indexOf(a.class) - DIFFERENCE_CLASSES.indexOf(b.class)
+        || (a.qualifiedName < b.qualifiedName ? -1 : a.qualifiedName > b.qualifiedName ? 1 : 0));
+    return { counts, differences: differences.slice(0, SAMPLE_LIMIT) };
+}
+/** Compare one library source against its two XMI counterparts. */
+export async function diffLibrary(source, corpus, options) {
+    const registry = options.registry ?? defaultRegistry;
+    const declaredPath = xmiCounterpart(corpus, source, LIBRARY_XMI_TREE);
+    const impliedPath = xmiCounterpart(corpus, source, LIBRARY_XMI_IMPLIED_TREE);
+    const base = {
+        source: corpusRelative(corpus, source),
+        declaredXmi: declaredPath ? corpusRelative(corpus, declaredPath) : undefined,
+        impliedXmi: impliedPath ? corpusRelative(corpus, impliedPath) : undefined,
+        referenceDeclared: 0,
+        referenceImplied: 0,
+        referenceAnonymous: 0,
+        memo: 0,
+        counts: emptyDifferenceCounts(),
+        differences: [],
+    };
+    if (!impliedPath) {
+        return { ...base, failure: 'no sysml.library.xmi.implied counterpart for this source' };
+    }
+    try {
+        const implied = readXmi(impliedPath);
+        const declaredNames = declaredPath
+            ? new Set(readXmi(declaredPath).byQualifiedName.keys())
+            : new Set();
+        // One source file, lowered on its own. A library is a compilation unit
+        // here, not a project: comparing a whole directory's model against one
+        // file's XMI would charge every difference to the wrong file.
+        const result = await runLowering({
+            config: options.config,
+            projectDir: dirname(source),
+            files: [source],
+            includeDirs: [`${corpus.root}/${LIBRARY_SOURCE_TREE}`],
+            registry,
+        });
+        const memo = new Map();
+        for (const element of Object.values(result.ir.model.elements)) {
+            memo.set(memoQualifiedName(element), element);
+        }
+        return {
+            ...base,
+            referenceDeclared: declaredNames.size,
+            referenceImplied: implied.byQualifiedName.size,
+            referenceAnonymous: implied.anonymousCount,
+            memo: memo.size,
+            ...classify(implied.byQualifiedName, declaredNames, memo),
+        };
+    }
+    catch (error) {
+        return { ...base, failure: error instanceof Error ? error.message : String(error) };
+    }
+}
+/** Library sources named by `--library`, or every one with an XMI counterpart. */
+export function selectLibraries(corpus, selectors) {
+    const all = modelSourcesIn(`${corpus.root}/${LIBRARY_SOURCE_TREE}`)
+        .filter(source => xmiCounterpart(corpus, source, LIBRARY_XMI_IMPLIED_TREE) !== undefined);
+    if (selectors.length === 0)
+        return all;
+    const selected = new Map();
+    for (const selector of selectors) {
+        const matches = all.filter(source => {
+            const relPath = corpusRelative(corpus, source);
+            return relPath === selector
+                || relPath === `${LIBRARY_SOURCE_TREE}/${selector}`
+                || relPath.endsWith(`/${selector}`)
+                || basename(source) === selector;
+        });
+        if (matches.length === 0) {
+            throw new Error(`No library source matches "${selector}". `
+                + `Pass a corpus-relative path or a bare filename, e.g. "Parts.sysml".`);
+        }
+        for (const match of matches)
+            selected.set(match, match);
+    }
+    return [...selected.values()];
+}
+export async function runDiffXmi(options) {
+    const corpus = loadCorpus(options.corpusDir);
+    if (options.verify !== false) {
+        const mismatches = verifyCorpus(corpus, [LIBRARY_SOURCE_TREE]);
+        if (mismatches.length > 0) {
+            throw new Error(`The vendored library sources do not match the manifest (${mismatches.length} file(s)). `
+                + 'Run `node scripts/vendor-corpus.mjs --verify` to see which.');
+        }
+    }
+    const sources = selectLibraries(corpus, options.libraries ?? []);
+    const libraries = [];
+    for (const [index, source] of sources.entries()) {
+        options.onLibrary?.(corpusRelative(corpus, source), index, sources.length);
+        libraries.push(await diffLibrary(source, corpus, options));
+    }
+    const counts = emptyDifferenceCounts();
+    for (const library of libraries) {
+        for (const key of DIFFERENCE_CLASSES)
+            counts[key] += library.counts[key];
+    }
+    return {
+        reportVersion: DIFF_REPORT_VERSION,
+        memoVersion: options.memoVersion,
+        corpus: { ...provenanceOf(corpus), root: '.' },
+        toolchain: { lowering: resolveToolchain(options.config, options.registry ?? defaultRegistry).lowering },
+        totals: { libraries: libraries.length, counts },
+        libraries,
+    };
+}
+export function formatDiffXmiReport(report) {
+    const lines = [];
+    lines.push('');
+    lines.push(`SysML v2 Release  ${report.corpus.commit.slice(0, 12)}  (${report.corpus.commitDate.slice(0, 10)})`);
+    lines.push(`lowering          ${report.toolchain.lowering}`);
+    lines.push('');
+    const width = Math.max(28, ...report.libraries.map(library => library.source.length));
+    lines.push(`${'library'.padEnd(width)}  ${'ref'.padStart(5)}  ${'memo'.padStart(5)}  `
+        + `${'miss-d'.padStart(6)}  ${'miss-i'.padStart(6)}  ${'extra'.padStart(5)}  `
+        + `${'deriv'.padStart(5)}  ${'name'.padStart(5)}`);
+    for (const library of report.libraries) {
+        if (library.failure) {
+            lines.push(`${library.source.padEnd(width)}  ! ${library.failure}`);
+            continue;
+        }
+        const c = library.counts;
+        lines.push(`${library.source.padEnd(width)}  ${String(library.referenceImplied).padStart(5)}  `
+            + `${String(library.memo).padStart(5)}  `
+            + `${String(c['missing-declared']).padStart(6)}  ${String(c['missing-implied']).padStart(6)}  `
+            + `${String(c.extra).padStart(5)}  ${String(c['differing-derived']).padStart(5)}  `
+            + `${String(c['qualified-name']).padStart(5)}`);
+    }
+    const t = report.totals.counts;
+    lines.push(`${'TOTAL'.padEnd(width)}  ${' '.repeat(5)}  ${' '.repeat(5)}  `
+        + `${String(t['missing-declared']).padStart(6)}  ${String(t['missing-implied']).padStart(6)}  `
+        + `${String(t.extra).padStart(5)}  ${String(t['differing-derived']).padStart(5)}  `
+        + `${String(t['qualified-name']).padStart(5)}`);
+    lines.push('');
+    return lines.join('\n');
+}
+//# sourceMappingURL=diff-xmi.js.map

package/packages/tools/lib/conformance/diff-xmi.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff-xmi.js","sourceRoot":"","sources":["../../src/conformance/diff-xmi.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,6EAA6E;AAC7E,4EAA4E;AAC5E,+CAA+C;AAC/C,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,+EAA+E;AAC/E,0EAA0E;AAC1E,sBAAsB;AACtB,EAAE;AACF,kEAAkE;AAClE,2EAA2E;AAC3E,6EAA6E;AAC7E,+EAA+E;AAC/E,4EAA4E;AAC5E,0EAA0E;AAC1E,wEAAwE;AACxE,YAAY;AACZ,EAAE;AACF,+EAA+E;AAC/E,+EAA+E;AAC/E,gFAAgF;AAChF,6EAA6E;AAC7E,0EAA0E;AAC1E,gFAAgF;AAEhF,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAG9C,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAEzD,OAAO,EACH,mBAAmB,EACnB,wBAAwB,EACxB,gBAAgB,EAChB,cAAc,EACd,UAAU,EACV,cAAc,EACd,YAAY,EACZ,YAAY,EACZ,cAAc,GAGjB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,OAAO,EAAmB,MAAM,UAAU,CAAC;AA0BpD,MAAM,CAAC,MAAM,kBAAkB,GAC3B,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,CAAC,CAAC;AAI5F,MAAM,UAAU,qBAAqB;IACjC,OAAO;QACH,kBAAkB,EAAE,CAAC;QACrB,iBAAiB,EAAE,CAAC;QACpB,OAAO,EAAE,CAAC;QACV,mBAAmB,EAAE,CAAC;QACtB,gBAAgB,EAAE,CAAC;KACtB,CAAC;AACN,CAAC;AA+CD,MAAM,CAAC,MAAM,mBAAmB,GAAG,OAAO,CAAC;AAE3C,8EAA8E;AAC9E,MAAM,YAAY,GAAG,EAAE,CAAC;AAExB;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAoB;IAClD,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,OAAO,KAAK,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED,0CAA0C;AAC1C,SAAS,IAAI,CAAC,aAAqB;IAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC9C,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AACtE,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kBAAkB,CAAC,QAAgB,EAAE,SAA6B;IAC9E,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,OAAO,QAAQ,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;AACpE,CAAC;AAiBD,SAAS,QAAQ,CACb,SAAkC,EAClC,aAA0B,EAC1B,IAA8B;IAE9B,MAAM,MAAM,GAAG,qBAAqB,EAAE,CAAC;IACvC,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,2EAA2E;IAC3E,2EAA2E;IAC3E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyB,CAAC;IACpD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;YAC5B,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IAEvC,KAAK,MAAM,CAAC,aAAa,EAAE,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;QACrC,IAAI,IAAI,EAAE,CAAC;YACP,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;gBACxD,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;gBACjC,WAAW,CAAC,IAAI,CAAC;oBACb,KAAK,EAAE,mBAAmB;oBAC1B,aAAa;oBACb,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,SAAS,EAAE,IAAI,CAAC,SAAS;oBACzB,MAAM,EAAE,uBAAuB,OAAO,CAAC,QAAQ,oBAAoB,IAAI,CAAC,SAAS,EAAE;iBACtF,CAAC,CAAC;YACP,CAAC;YACD,SAAS;QACb,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAClH,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,YAAY,CAAC,GAAG,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;YAC9B,WAAW,CAAC,IAAI,CAAC;gBACb,KAAK,EAAE,gBAAgB;gBACvB,aAAa;gBACb,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;gBAC9B,MAAM,EAAE,iBAAiB,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;aAC1D,CAAC,CAAC;YACH,SAAS;QACb,CAAC;QACD,MAAM,IAAI,GAAoB,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC;YAC1D,CAAC,CAAC,kBAAkB;YACpB,CAAC,CAAC,iBAAiB,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;IACjF,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QAClC,MAAM,aAAa,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;QACjD,IAAI,SAAS,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,aAAa,CAAC;YAAE,SAAS;QAC9E,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;QAClB,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;IACtF,CAAC;IAED,4EAA4E;IAC5E,0EAA0E;IAC1E,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACtB,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;WACtE,CAAC,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7F,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,EAAE,CAAC;AACvE,CAAC;AAED,mEAAmE;AACnE,MAAM,CAAC,KAAK,UAAU,WAAW,CAC7B,MAAc,EACd,MAAc,EACd,OAAuB;IAEvB,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC;IACrD,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACtE,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,wBAAwB,CAAC,CAAC;IAC7E,MAAM,IAAI,GAAgB;QACtB,MAAM,EAAE,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC;QACtC,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS;QAC5E,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS;QACzE,iBAAiB,EAAE,CAAC;QACpB,gBAAgB,EAAE,CAAC;QACnB,kBAAkB,EAAE,CAAC;QACrB,IAAI,EAAE,CAAC;QACP,MAAM,EAAE,qBAAqB,EAAE;QAC/B,WAAW,EAAE,EAAE;KAClB,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,CAAC;QACf,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,0DAA0D,EAAE,CAAC;IAC5F,CAAC;IAED,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,aAAa,GAAG,YAAY;YAC9B,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC;YACvD,CAAC,CAAC,IAAI,GAAG,EAAU,CAAC;QAExB,uEAAuE;QACvE,uEAAuE;QACvE,8DAA8D;QAC9D,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC;YAC7B,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC;YAC3B,KAAK,EAAE,CAAC,MAAM,CAAC;YACf,WAAW,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,mBAAmB,EAAE,CAAC;YACtD,QAAQ;SACX,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,GAAG,EAAuB,CAAC;QAC5C,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5D,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;QAClD,CAAC;QAED,OAAO;YACH,GAAG,IAAI;YACP,iBAAiB,EAAE,aAAa,CAAC,IAAI;YACrC,gBAAgB,EAAE,OAAO,CAAC,eAAe,CAAC,IAAI;YAC9C,kBAAkB,EAAE,OAAO,CAAC,cAAc;YAC1C,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,GAAG,QAAQ,CAAC,OAAO,CAAC,eAAe,EAAE,aAAa,EAAE,IAAI,CAAC;SAC5D,CAAC;IACN,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACxF,CAAC;AACL,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,SAA4B;IACxE,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,mBAAmB,EAAE,CAAC;SAC9D,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,wBAAwB,CAAC,KAAK,SAAS,CAAC,CAAC;IAC9F,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;YAChC,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAC/C,OAAO,OAAO,KAAK,QAAQ;mBACpB,OAAO,KAAK,GAAG,mBAAmB,IAAI,QAAQ,EAAE;mBAChD,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,EAAE,CAAC;mBAChC,QAAQ,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC;QACzC,CAAC,CAAC,CAAC;QACH,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACX,8BAA8B,QAAQ,KAAK;kBACzC,qEAAqE,CAC1E,CAAC;QACN,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,OAAO;YAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,OAAuB;IACpD,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC7C,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QAC3B,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;QAC/D,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CACX,2DAA2D,UAAU,CAAC,MAAM,aAAa;kBACvF,6DAA6D,CAClE,CAAC;QACN,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IACjE,MAAM,SAAS,GAAkB,EAAE,CAAC;IACpC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9C,OAAO,CAAC,SAAS,EAAE,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAC3E,SAAS,CAAC,IAAI,CAAC,MAAM,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED,MAAM,MAAM,GAAG,qBAAqB,EAAE,CAAC;IACvC,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;QAC9B,KAAK,MAAM,GAAG,IAAI,kBAAkB;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC7E,CAAC;IAED,OAAO;QACH,aAAa,EAAE,mBAAmB;QAClC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,MAAM,EAAE,EAAE,GAAG,YAAY,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;QAC9C,SAAS,EAAE,EAAE,QAAQ,EAAE,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC,CAAC,QAAQ,EAAE;QACvG,MAAM,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE;QAC/C,SAAS;KACZ,CAAC;AACN,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,MAAqB;IACrD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;IACjH,KAAK,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC7D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IACtF,KAAK,CAAC,IAAI,CACN,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;UACzE,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;UAC5E,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CACpD,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACrC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YAClB,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;YACpE,SAAS;QACb,CAAC;QACD,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;QACzB,KAAK,CAAC,IAAI,CACN,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;cAClF,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;cACvC,GAAG,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;cAC7F,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;cACjF,GAAG,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CACjD,CAAC;IACN,CAAC;IACD,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;IAC/B,KAAK,CAAC,IAAI,CACN,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;UAC9D,GAAG,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;UAC7F,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;UACjF,GAAG,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CACjD,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC"}

package/packages/tools/lib/conformance/generated/syside-rules.d.ts

@@ -0,0 +1,10 @@
+export declare const SYSIDE_VERSION = "syside 0.10.2 9e2b7f0e89cc4076f432504c3e4183e9a13b2734";
+export interface SysideRule {
+    /** Stable kebab-case code, used verbatim as MEMO's rule code. */
+    code: string;
+    description: string;
+    /** Which of Syside's two rule lists publish it. */
+    grammars: ('kerml' | 'sysml')[];
+}
+export declare const SYSIDE_RULES: readonly SysideRule[];
+//# sourceMappingURL=syside-rules.d.ts.map

package/packages/tools/lib/conformance/generated/syside-rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"syside-rules.d.ts","sourceRoot":"","sources":["../../../src/conformance/generated/syside-rules.ts"],"names":[],"mappings":"AAMA,eAAO,MAAM,cAAc,2DAA2D,CAAC;AAEvF,MAAM,WAAW,UAAU;IACvB,iEAAiE;IACjE,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,mDAAmD;IACnD,QAAQ,EAAE,CAAC,OAAO,GAAG,OAAO,CAAC,EAAE,CAAC;CACnC;AAED,eAAO,MAAM,YAAY,EAAE,SAAS,UAAU,EA8mC7C,CAAC"}