@specverse/engines 5.0.2 → 5.1.0

package/dist/bundles/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/bundles/validate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAeH,MAAM,MAAM,SAAS,GACjB,SAAS,GACT,QAAQ,GACR,UAAU,GACV,OAAO,GACP,MAAM,GACN,WAAW,CAAC;AAEhB,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,SAAS,CAAC;IACjB,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IACjC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC;CAC3C;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACrD,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACrD,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC9B,6EAA6E;IAC7E,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAID,2BAA2B;AAC3B,wBAAsB,cAAc,CAClC,SAAS,EAAE,MAAM,EACjB,OAAO,GAAE,eAAoB,GAC5B,OAAO,CAAC,YAAY,CAAC,CA4BvB;AAED,mDAAmD;AACnD,wBAAsB,eAAe,CACnC,UAAU,EAAE,MAAM,EAAE,EACpB,OAAO,GAAE,eAAoB,GAC5B,OAAO,CAAC,eAAe,CAAC,CAa1B"}

package/dist/bundles/validate.js

@@ -0,0 +1,471 @@
+/**
+ * Validate a bundle's facets and return a structured report.
+ *
+ * v1 covers four facets: catalog (derived-vs-scan consistency), schema
+ * (JSON Schema validity), examples (parse via @specverse/engines/parser),
+ * tests (inventory only — execution remains vitest's job). Behaviour,
+ * inference, conventions, generators arrive in later iterations.
+ *
+ * Programmatic API for now. A `spv validate-bundle` CLI wrapper is a
+ * separate concern once the underlying validation shape settles.
+ *
+ * See: specverse-self/docs/proposals/PLUGGABLE-BUNDLE-MODEL.md
+ */
+import { existsSync, readdirSync, readFileSync, statSync } from 'fs';
+import { basename, dirname, join, resolve } from 'path';
+import { createRequire } from 'node:module';
+import { spawnSync } from 'child_process';
+import Ajv2020 from 'ajv/dist/2020.js';
+import addFormats from 'ajv-formats';
+import { deriveCatalog, clearCatalogCache } from './deriveCatalog.js';
+import { parseSpecVerseFile } from '../parser/index.js';
+const require = createRequire(import.meta.url);
+// ── Public API ──────────────────────────────────────────────────────────
+/** Validate one bundle. */
+export async function validateBundle(bundleDir, options = {}) {
+    const start = Date.now();
+    const absDir = resolve(bundleDir);
+    const name = basename(absDir);
+    // Prevent a stale cache from masking source changes across repeated calls.
+    clearCatalogCache();
+    const schemaPath = options.schemaPath ?? resolveDefaultSchemaPath();
+    const facets = [];
+    facets.push(runFacet('catalog', () => checkCatalog(absDir)));
+    facets.push(runFacet('schema', () => checkSchema(absDir)));
+    facets.push(runFacet('examples', () => checkExamples(absDir, schemaPath)));
+    facets.push(runFacet('tests', () => checkTests(absDir)));
+    facets.push(runFacet('docs', () => checkDocs(absDir)));
+    facets.push(runFacet('behaviour', () => checkBehaviour(absDir)));
+    const totals = { pass: 0, fail: 0, skip: 0 };
+    for (const f of facets)
+        totals[f.status]++;
+    return {
+        bundle: name,
+        path: absDir,
+        facets,
+        totals,
+        duration: Date.now() - start,
+    };
+}
+/** Validate several bundles. Reports aggregate. */
+export async function validateBundles(bundleDirs, options = {}) {
+    const start = Date.now();
+    const bundles = [];
+    for (const dir of bundleDirs) {
+        bundles.push(await validateBundle(dir, options));
+    }
+    const totals = { pass: 0, fail: 0, skip: 0 };
+    for (const b of bundles) {
+        totals.pass += b.totals.pass;
+        totals.fail += b.totals.fail;
+        totals.skip += b.totals.skip;
+    }
+    return { bundles, totals, duration: Date.now() - start };
+}
+// ── Facet runner ────────────────────────────────────────────────────────
+function runFacet(name, fn) {
+    const start = Date.now();
+    try {
+        const partial = fn();
+        return { facet: name, duration: Date.now() - start, ...partial };
+    }
+    catch (err) {
+        return {
+            facet: name,
+            status: 'fail',
+            duration: Date.now() - start,
+            issues: [{ severity: 'error', message: `unexpected exception: ${errMsg(err)}` }],
+        };
+    }
+}
+function errMsg(err) {
+    if (err instanceof Error)
+        return err.message;
+    return String(err);
+}
+// ── Per-facet checks ────────────────────────────────────────────────────
+function checkCatalog(bundleDir) {
+    const catalog = deriveCatalog(bundleDir);
+    const issues = [];
+    // Every entry's path should resolve to an actual file on disk.
+    for (const entry of catalog) {
+        const abs = resolve(bundleDir, entry.path.replace(/^\.\//, ''));
+        if (!existsSync(abs)) {
+            issues.push({
+                severity: 'warning',
+                message: `catalog entry references missing file: ${entry.path}`,
+                location: entry.path,
+            });
+        }
+    }
+    return {
+        status: issues.some((i) => i.severity === 'error') ? 'fail' : 'pass',
+        issues,
+        metrics: {
+            total: catalog.length,
+            examples: catalog.filter((e) => e.category === 'example').length,
+            tests: catalog.filter((e) => e.category === 'test').length,
+            behaviours: catalog.filter((e) => e.category === 'behaviour').length,
+            additional: catalog.filter((e) => !['example', 'test', 'behaviour'].includes(e.category)).length,
+        },
+    };
+}
+function checkSchema(bundleDir) {
+    const schemaDir = join(bundleDir, 'schema');
+    if (!existsSync(schemaDir) || !statSync(schemaDir).isDirectory()) {
+        return { status: 'skip', issues: [], metrics: { files: 0 } };
+    }
+    const files = readdirSync(schemaDir).filter((f) => f.endsWith('.json'));
+    if (files.length === 0) {
+        return { status: 'skip', issues: [], metrics: { files: 0 } };
+    }
+    const ajv = new Ajv2020.default({ strict: false, allErrors: true });
+    addFormats.default(ajv);
+    // Schemas under entities/src/**/schema/ use either draft-2020-12 (via the
+    // Ajv2020 default) or draft-07 (historical). Register draft-07 meta-schema
+    // so compiling a draft-07-declaring schema doesn't fail on a missing ref.
+    try {
+        const draft7 = require('ajv/dist/refs/json-schema-draft-07.json');
+        if (!ajv.getSchema('http://json-schema.org/draft-07/schema')) {
+            ajv.addMetaSchema(draft7);
+        }
+    }
+    catch {
+        // ajv missing the draft-07 ref shipfile — fall back to skipping
+    }
+    const issues = [];
+    for (const file of files) {
+        const fullPath = join(schemaDir, file);
+        try {
+            const content = readFileSync(fullPath, 'utf8');
+            const schema = JSON.parse(content);
+            // Compiling the schema is the validity check.
+            ajv.compile(schema);
+        }
+        catch (err) {
+            issues.push({
+                severity: 'error',
+                message: `schema invalid: ${errMsg(err)}`,
+                location: `schema/${file}`,
+            });
+        }
+    }
+    return {
+        status: issues.length === 0 ? 'pass' : 'fail',
+        issues,
+        metrics: { files: files.length },
+    };
+}
+function checkExamples(bundleDir, schemaPath) {
+    const examplesDir = join(bundleDir, '__examples__');
+    if (!existsSync(examplesDir)) {
+        return { status: 'skip', issues: [], metrics: { files: 0 } };
+    }
+    if (!schemaPath || !existsSync(schemaPath)) {
+        return {
+            status: 'skip',
+            issues: [
+                {
+                    severity: 'warning',
+                    message: 'no schema path available; skipping example parse',
+                },
+            ],
+            metrics: { files: 0 },
+        };
+    }
+    const examples = findFiles(examplesDir, (f) => f.endsWith('.specly'));
+    const issues = [];
+    const bundleName = basename(bundleDir);
+    for (const file of examples) {
+        try {
+            const result = parseSpecVerseFile(file, schemaPath);
+            if (result.errors && result.errors.length > 0) {
+                for (const e of result.errors) {
+                    const asAny = e;
+                    issues.push({
+                        severity: 'error',
+                        message: typeof e === 'string' ? e : asAny?.message ?? JSON.stringify(e),
+                        location: relFromBundle(file, bundleDir),
+                    });
+                }
+                continue;
+            }
+            // Bundle-association check: the example should exercise the bundle's
+            // entity type. Two ways to pass:
+            //   1. The parsed AST has a non-empty section for the bundle's entity
+            //      (`component.models`, `component.views`, etc., or root
+            //      `deployments` for deployments).
+            //   2. The colocated `.example.yaml` declares `concepts:` including
+            //      the bundle name — this covers cases where the example
+            //      exercises the entity via inference (e.g. a models-only spec
+            //      that demonstrates auto-view generation in the views bundle).
+            if (result.ast) {
+                const structural = specContainsSection(result.ast, bundleName);
+                const declared = exampleDeclaresConcept(file, bundleName);
+                if (!structural && !declared) {
+                    issues.push({
+                        severity: 'warning',
+                        message: `example in bundle '${bundleName}' doesn't exercise a '${bundleName}' section and no .example.yaml concepts claim it — verify it belongs in this bundle`,
+                        location: relFromBundle(file, bundleDir),
+                    });
+                }
+            }
+        }
+        catch (err) {
+            issues.push({
+                severity: 'error',
+                message: `example failed to parse: ${errMsg(err)}`,
+                location: relFromBundle(file, bundleDir),
+            });
+        }
+    }
+    return {
+        status: issues.some((i) => i.severity === 'error') ? 'fail' : 'pass',
+        issues,
+        metrics: { files: examples.length },
+    };
+}
+/** Check if the colocated `.example.yaml` metadata declares the given bundle
+ *  as one of its concepts. This is the author's explicit claim that the
+ *  example demonstrates the bundle's entity type — used as a fallback when
+ *  the parsed spec doesn't directly contain a section for the bundle
+ *  (typical for inference-demo examples).
+ */
+function exampleDeclaresConcept(specFile, bundleName) {
+    const metaPath = join(dirname(specFile), basename(specFile, '.specly') + '.example.yaml');
+    if (!existsSync(metaPath))
+        return false;
+    let content = '';
+    try {
+        content = readFileSync(metaPath, 'utf8');
+    }
+    catch {
+        return false;
+    }
+    // Simple regex over YAML: concepts: [a, b, c] or concepts:\n  - a\n  - b
+    // Match the bundle name (plural) or its singular form (strip trailing 's').
+    const singular = bundleName.endsWith('s') ? bundleName.slice(0, -1) : bundleName;
+    const conceptsBlock = content.match(/concepts:\s*(?:\[(.*?)\]|((?:\n\s*-\s+.*)+))/i);
+    if (!conceptsBlock)
+        return false;
+    const raw = (conceptsBlock[1] || conceptsBlock[2] || '').toLowerCase();
+    return raw.includes(bundleName.toLowerCase()) || raw.includes(singular.toLowerCase());
+}
+/** Check whether a parsed spec AST contains a non-empty section for the given
+ *  entity name. `deployments` is at the root; everything else is under each
+ *  component. Returns true if at least one example of the entity is present.
+ */
+function specContainsSection(ast, entityName) {
+    if (entityName === 'deployments') {
+        const deployments = ast?.deployments;
+        if (Array.isArray(deployments))
+            return deployments.length > 0;
+        return !!deployments && Object.keys(deployments).length > 0;
+    }
+    const components = ast?.components ?? [];
+    if (!Array.isArray(components))
+        return false;
+    for (const component of components) {
+        const section = component[entityName];
+        if (section == null)
+            continue;
+        if (Array.isArray(section) && section.length > 0)
+            return true;
+        if (typeof section === 'object' && Object.keys(section).length > 0)
+            return true;
+    }
+    return false;
+}
+function checkTests(bundleDir) {
+    const testsDir = join(bundleDir, '__tests__');
+    if (!existsSync(testsDir)) {
+        return { status: 'skip', issues: [], metrics: { files: 0 } };
+    }
+    const TEST_RE = /\.(test|spec)\.(ts|tsx|js|mjs)$/;
+    const tests = findFiles(testsDir, (f) => TEST_RE.test(f));
+    const issues = [];
+    // Bundle-import heuristic: each test file should reach back into its
+    // bundle — either `import … from '../<sibling>.js'` or '../index.js' or
+    // a relative path under '../'. If a test imports nothing from '../', it
+    // may be miscategorised.
+    for (const file of tests) {
+        let content = '';
+        try {
+            content = readFileSync(file, 'utf8');
+        }
+        catch {
+            continue;
+        }
+        const bundleLocal = /from\s+['"]\.\.\//.test(content);
+        if (!bundleLocal) {
+            issues.push({
+                severity: 'warning',
+                message: `test does not import from '../' — may not belong to this bundle`,
+                location: relFromBundle(file, bundleDir),
+            });
+        }
+    }
+    return {
+        status: issues.some((i) => i.severity === 'error') ? 'fail' : 'pass',
+        issues,
+        metrics: {
+            files: tests.length,
+            hint: tests.length > 0 ? `run with: npx vitest run ${bundleDir}` : '',
+        },
+    };
+}
+/** Verify that every .specly in __examples__/ has a colocated .md whose
+ *  content has an H1 and at least mentions the bundle's entity type.
+ *  Weak check — catches obvious misfiles + forgotten-doc situations.
+ */
+function checkDocs(bundleDir) {
+    const examplesDir = join(bundleDir, '__examples__');
+    if (!existsSync(examplesDir)) {
+        return { status: 'skip', issues: [], metrics: { files: 0 } };
+    }
+    const specs = findFiles(examplesDir, (f) => f.endsWith('.specly'));
+    const bundleName = basename(bundleDir).toLowerCase();
+    const issues = [];
+    let docsChecked = 0;
+    for (const spec of specs) {
+        const mdPath = join(dirname(spec), basename(spec, '.specly') + '.md');
+        if (!existsSync(mdPath)) {
+            issues.push({
+                severity: 'warning',
+                message: `no colocated .md next to ${basename(spec)}`,
+                location: relFromBundle(spec, bundleDir),
+            });
+            continue;
+        }
+        docsChecked += 1;
+        let content = '';
+        try {
+            content = readFileSync(mdPath, 'utf8');
+        }
+        catch {
+            issues.push({
+                severity: 'error',
+                message: `unreadable .md`,
+                location: relFromBundle(mdPath, bundleDir),
+            });
+            continue;
+        }
+        if (!/^#\s+/m.test(content)) {
+            issues.push({
+                severity: 'warning',
+                message: `.md missing an H1 heading`,
+                location: relFromBundle(mdPath, bundleDir),
+            });
+        }
+        // Mentions-bundle heuristic: plural (bundle dir name) OR singular
+        // (strip trailing 's') appears at least once, case-insensitive.
+        const singular = bundleName.endsWith('s') ? bundleName.slice(0, -1) : bundleName;
+        const lower = content.toLowerCase();
+        if (!lower.includes(bundleName) && !lower.includes(singular)) {
+            issues.push({
+                severity: 'warning',
+                message: `.md doesn't mention '${bundleName}' (or '${singular}') — doc may not describe this bundle`,
+                location: relFromBundle(mdPath, bundleDir),
+            });
+        }
+    }
+    return {
+        status: issues.some((i) => i.severity === 'error') ? 'fail' : 'pass',
+        issues,
+        metrics: { docs: docsChecked, specs: specs.length },
+    };
+}
+/** Run `quint typecheck` on every .qnt file in __behaviour__/. Skips with a
+ *  warning if quint isn't on PATH. Full `quint verify` (safety/liveness
+ *  proof) is a future extension — typecheck catches syntax + shape errors
+ *  cheaply in milliseconds per file.
+ */
+function checkBehaviour(bundleDir) {
+    const behaviourDir = join(bundleDir, '__behaviour__');
+    if (!existsSync(behaviourDir)) {
+        return { status: 'skip', issues: [], metrics: { files: 0 } };
+    }
+    const qntFiles = findFiles(behaviourDir, (f) => f.endsWith('.qnt'));
+    if (qntFiles.length === 0) {
+        return { status: 'skip', issues: [], metrics: { files: 0 } };
+    }
+    // Probe quint availability once.
+    const probe = spawnSync('quint', ['--version'], { encoding: 'utf8' });
+    if (probe.error || probe.status !== 0) {
+        return {
+            status: 'skip',
+            issues: [
+                {
+                    severity: 'warning',
+                    message: 'quint CLI not on PATH — install via npm install -g @informalsystems/quint',
+                },
+            ],
+            metrics: { files: qntFiles.length },
+        };
+    }
+    const issues = [];
+    for (const file of qntFiles) {
+        const res = spawnSync('quint', ['typecheck', file], {
+            encoding: 'utf8',
+            timeout: 15000,
+        });
+        if (res.status !== 0) {
+            issues.push({
+                severity: 'error',
+                message: `quint typecheck failed: ${(res.stderr || res.stdout || '').slice(0, 200).trim()}`,
+                location: relFromBundle(file, bundleDir),
+            });
+        }
+    }
+    return {
+        status: issues.some((i) => i.severity === 'error') ? 'fail' : 'pass',
+        issues,
+        metrics: { files: qntFiles.length },
+    };
+}
+// ── Utilities ───────────────────────────────────────────────────────────
+function findFiles(dir, match) {
+    const out = [];
+    const walk = (d) => {
+        let entries;
+        try {
+            entries = readdirSync(d);
+        }
+        catch {
+            return;
+        }
+        for (const entry of entries) {
+            const full = join(d, entry);
+            let s;
+            try {
+                s = statSync(full);
+            }
+            catch {
+                continue;
+            }
+            if (s.isDirectory())
+                walk(full);
+            else if (s.isFile() && match(entry))
+                out.push(full);
+        }
+    };
+    walk(dir);
+    return out;
+}
+function relFromBundle(filePath, bundleDir) {
+    if (filePath.startsWith(bundleDir)) {
+        return './' + filePath.slice(bundleDir.length + 1).replaceAll('\\', '/');
+    }
+    return filePath;
+}
+function resolveDefaultSchemaPath() {
+    try {
+        const pkg = require.resolve('@specverse/entities/package.json');
+        const schemaPath = join(pkg, '..', 'schema', 'SPECVERSE-SCHEMA.json');
+        return existsSync(schemaPath) ? schemaPath : null;
+    }
+    catch {
+        return null;
+    }
+}
+//# sourceMappingURL=validate.js.map

package/dist/bundles/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/bundles/validate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,IAAI,CAAC;AACrE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AACxD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC1C,OAAO,OAAO,MAAM,kBAAkB,CAAC;AACvC,OAAO,UAAU,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AA6C/C,2EAA2E;AAE3E,2BAA2B;AAC3B,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,SAAiB,EACjB,UAA2B,EAAE;IAE7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAE9B,2EAA2E;IAC3E,iBAAiB,EAAE,CAAC;IAEpB,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,wBAAwB,EAAE,CAAC;IAEpE,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACvD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAEjE,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IAE3C,OAAO;QACL,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,MAAM;QACZ,MAAM;QACN,MAAM;QACN,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;KAC7B,CAAC;AACJ,CAAC;AAED,mDAAmD;AACnD,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,UAAoB,EACpB,UAA2B,EAAE;IAE7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,MAAM,cAAc,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;QAC7B,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;QAC7B,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;IAC/B,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;AAC3D,CAAC;AAED,2EAA2E;AAE3E,SAAS,QAAQ,CACf,IAAe,EACf,EAAiD;IAEjD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACzB,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,EAAE,EAAE,CAAC;QACrB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,GAAG,OAAO,EAAE,CAAC;IACnE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;YAC5B,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,yBAAyB,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;SACjF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,GAAY;IAC1B,IAAI,GAAG,YAAY,KAAK;QAAE,OAAO,GAAG,CAAC,OAAO,CAAC;IAC7C,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;AACrB,CAAC;AAED,2EAA2E;AAE3E,SAAS,YAAY,CAAC,SAAiB;IACrC,MAAM,OAAO,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;IACzC,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,+DAA+D;IAC/D,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QAChE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,0CAA0C,KAAK,CAAC,IAAI,EAAE;gBAC/D,QAAQ,EAAE,KAAK,CAAC,IAAI;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QACpE,MAAM;QACN,OAAO,EAAE;YACP,KAAK,EAAE,OAAO,CAAC,MAAM;YACrB,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM;YAChE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,MAAM;YAC1D,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,MAAM;YACpE,UAAU,EAAE,OAAO,CAAC,MAAM,CACxB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAC9D,CAAC,MAAM;SACT;KACF,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,SAAiB;IACpC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC5C,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;QACjE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IAC/D,CAAC;IAED,MAAM,KAAK,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IACxE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IAC/D,CAAC;IAED,MAAM,GAAG,GAAG,IAAK,OAAe,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5E,UAAkB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACjC,0EAA0E;IAC1E,2EAA2E;IAC3E,0EAA0E;IAC1E,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,OAAO,CAAC,yCAAyC,CAAC,CAAC;QAClE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,wCAAwC,CAAC,EAAE,CAAC;YAC7D,GAAG,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,gEAAgE;IAClE,CAAC;IACD,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACnC,8CAA8C;YAC9C,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACtB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,mBAAmB,MAAM,CAAC,GAAG,CAAC,EAAE;gBACzC,QAAQ,EAAE,UAAU,IAAI,EAAE;aAC3B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QAC7C,MAAM;QACN,OAAO,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE;KACjC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,SAAiB,EACjB,UAAyB;IAEzB,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;IACpD,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IAC/D,CAAC;IACD,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3C,OAAO;YACL,MAAM,EAAE,MAAM;YACd,MAAM,EAAE;gBACN;oBACE,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,kDAAkD;iBAC5D;aACF;YACD,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE;SACtB,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IACtE,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,MAAM,UAAU,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;IAEvC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACpD,IAAI,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;oBAC9B,MAAM,KAAK,GAAG,CAAQ,CAAC;oBACvB,MAAM,CAAC,IAAI,CAAC;wBACV,QAAQ,EAAE,OAAO;wBACjB,OAAO,EAAE,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;wBACxE,QAAQ,EAAE,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC;qBACzC,CAAC,CAAC;gBACL,CAAC;gBACD,SAAS;YACX,CAAC;YACD,qEAAqE;YACrE,iCAAiC;YACjC,sEAAsE;YACtE,6DAA6D;YAC7D,uCAAuC;YACvC,oEAAoE;YACpE,6DAA6D;YAC7D,mEAAmE;YACnE,oEAAoE;YACpE,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC;gBACf,MAAM,UAAU,GAAG,mBAAmB,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;gBAC/D,MAAM,QAAQ,GAAG,sBAAsB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;gBAC1D,IAAI,CAAC,UAAU,IAAI,CAAC,QAAQ,EAAE,CAAC;oBAC7B,MAAM,CAAC,IAAI,CAAC;wBACV,QAAQ,EAAE,SAAS;wBACnB,OAAO,EAAE,sBAAsB,UAAU,yBAAyB,UAAU,qFAAqF;wBACjK,QAAQ,EAAE,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC;qBACzC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,4BAA4B,MAAM,CAAC,GAAG,CAAC,EAAE;gBAClD,QAAQ,EAAE,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC;aACzC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QACpE,MAAM;QACN,OAAO,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE;KACpC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,sBAAsB,CAAC,QAAgB,EAAE,UAAkB;IAClE,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,eAAe,CAAC,CAAC;IAC1F,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,CAAC;QACH,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC3C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;IACD,yEAAyE;IACzE,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;IACjF,MAAM,aAAa,GAAG,OAAO,CAAC,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACrF,IAAI,CAAC,aAAa;QAAE,OAAO,KAAK,CAAC;IACjC,MAAM,GAAG,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACvE,OAAO,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;AACxF,CAAC;AAED;;;GAGG;AACH,SAAS,mBAAmB,CAAC,GAAQ,EAAE,UAAkB;IACvD,IAAI,UAAU,KAAK,aAAa,EAAE,CAAC;QACjC,MAAM,WAAW,GAAG,GAAG,EAAE,WAAW,CAAC;QACrC,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;YAAE,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9D,OAAO,CAAC,CAAC,WAAW,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,UAAU,GAAG,GAAG,EAAE,UAAU,IAAI,EAAE,CAAC;IACzC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,OAAO,GAAI,SAAiB,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAI,OAAO,IAAI,IAAI;YAAE,SAAS;QAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9D,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;IAClF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,SAAiB;IACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC9C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IAC/D,CAAC;IACD,MAAM,OAAO,GAAG,iCAAiC,CAAC;IAClD,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,qEAAqE;IACrE,wEAAwE;IACxE,wEAAwE;IACxE,yBAAyB;IACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,OAAO,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC;YACH,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAG,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtD,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,iEAAiE;gBAC1E,QAAQ,EAAE,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC;aACzC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QACpE,MAAM;QACN,OAAO,EAAE;YACP,KAAK,EAAE,KAAK,CAAC,MAAM;YACnB,IAAI,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,4BAA4B,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE;SACtE;KACF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,SAAS,CAAC,SAAiB;IAClC,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;IACpD,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IAC/D,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IACnE,MAAM,UAAU,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;IACrD,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,CAAC;QACtE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,4BAA4B,QAAQ,CAAC,IAAI,CAAC,EAAE;gBACrD,QAAQ,EAAE,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC;aACzC,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,WAAW,IAAI,CAAC,CAAC;QACjB,IAAI,OAAO,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC;YACH,OAAO,GAAG,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACzC,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,gBAAgB;gBACzB,QAAQ,EAAE,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC;aAC3C,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,2BAA2B;gBACpC,QAAQ,EAAE,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC;aAC3C,CAAC,CAAC;QACL,CAAC;QACD,kEAAkE;QAClE,gEAAgE;QAChE,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;QACjF,MAAM,KAAK,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7D,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,wBAAwB,UAAU,UAAU,QAAQ,uCAAuC;gBACpG,QAAQ,EAAE,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC;aAC3C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QACpE,MAAM;QACN,OAAO,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE;KACpD,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,SAAiB;IACvC,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;IACtD,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IAC/D,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACpE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;IAC/D,CAAC;IAED,iCAAiC;IACjC,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IACtE,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO;YACL,MAAM,EAAE,MAAM;YACd,MAAM,EAAE;gBACN;oBACE,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,2EAA2E;iBACrF;aACF;YACD,OAAO,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE;SACpC,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE;YAClD,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,KAAK;SACf,CAAC,CAAC;QACH,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,2BAA2B,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC3F,QAAQ,EAAE,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC;aACzC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QACpE,MAAM;QACN,OAAO,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE;KACpC,CAAC;AACJ,CAAC;AAED,2EAA2E;AAE3E,SAAS,SAAS,CAAC,GAAW,EAAE,KAAgC;IAC9D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAE;QACzB,IAAI,OAAiB,CAAC;QACtB,IAAI,CAAC;YACH,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;QACT,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YAC5B,IAAI,CAAC,CAAC;YACN,IAAI,CAAC;gBACH,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YACrB,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;YACD,IAAI,CAAC,CAAC,WAAW,EAAE;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC;iBAC3B,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,KAAK,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,QAAgB,EAAE,SAAiB;IACxD,IAAI,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,OAAO,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,wBAAwB;IAC/B,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;QAChE,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,uBAAuB,CAAC,CAAC;QACtE,OAAO,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/inference/quint-transpiler.js

@@ -26,7 +26,7 @@ export function transpileEntityGuards(entitiesDir) {
         if (!existsSync(categoryDir))
             continue;
         for (const entity of readdirSync(categoryDir)) {
-            const behaviourDir = join(categoryDir, entity, 'behaviour');
+            const behaviourDir = join(categoryDir, entity, '__behaviour__');
             if (!existsSync(behaviourDir))
                 continue;
             for (const file of readdirSync(behaviourDir).filter(f => f.endsWith('.qnt'))) {
@@ -52,7 +52,7 @@ export function extractStateVariables(entitiesDir) {
         if (!existsSync(categoryDir))
             continue;
         for (const entity of readdirSync(categoryDir)) {
-            const behaviourDir = join(categoryDir, entity, 'behaviour');
+            const behaviourDir = join(categoryDir, entity, '__behaviour__');
             if (!existsSync(behaviourDir))
                 continue;
             for (const file of readdirSync(behaviourDir).filter(f => f.endsWith('.qnt'))) {