@memoarchitect/tools 0.6.7 → 0.7.2

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

@@ -0,0 +1,64 @@
+// ─── memo toolchain / memo config ────────────────────────────────────────────
+//
+// `toolchain probe` answers "which binary am I actually running, and what
+// version is it?" without running a build to find out. `config effective`
+// answers "what did my settings, my flags and the defaults add up to?".
+//
+// Both are thin: the resolution lives in `toolchain/operations.ts`, which is
+// the same implementation Architect's server protocol calls.
+// ─────────────────────────────────────────────────────────────────────────────
+import { resolve } from 'node:path';
+import chalk from 'chalk';
+import { stringify as toYaml } from 'yaml';
+import { findConfigFile, loadProjectSettings } from '../model/config-loader.js';
+import { defaultRegistry } from '../toolchain/default-registry.js';
+import { withToolchainOverrides } from '../toolchain/schema.js';
+import { effectiveConfigReport, formatProbeLine, probeToolchain } from '../toolchain/operations.js';
+import { PROVIDER_ROLES } from '../toolchain/registry.js';
+function loadFor(dir, options) {
+    const projectDir = resolve(dir || process.cwd());
+    const settingsFile = findConfigFile(projectDir);
+    const config = withToolchainOverrides(loadProjectSettings(projectDir), options, defaultRegistry);
+    return { projectDir, settingsFile, config };
+}
+export async function toolchainProbeCommand(dir, options = {}) {
+    const { projectDir, config } = loadFor(dir, options);
+    const probe = probeToolchain({ config, projectDir, registry: defaultRegistry });
+    if (options.format === 'json') {
+        process.stdout.write(JSON.stringify(probe, null, 2) + '\n');
+    }
+    else if (options.format === 'yaml') {
+        process.stdout.write(toYaml(probe));
+    }
+    else {
+        console.log(chalk.bold('\n🔧 MEMO Toolchain\n'));
+        for (const role of probe.roles) {
+            const line = formatProbeLine(role);
+            console.log(role.availability.available ? chalk.gray(`  ${line}`) : chalk.red(`  ${line}`));
+        }
+        console.log();
+        for (const note of probe.effective.deprecations)
+            console.log(chalk.yellow(`  ⚠ ${note}`));
+        console.log(chalk.dim('  Registered providers:'));
+        for (const roleName of PROVIDER_ROLES) {
+            console.log(chalk.dim(`    ${roleName.padEnd(10)} ${defaultRegistry.ids(roleName).join(', ')}`));
+        }
+        console.log();
+    }
+    // A selected tool that is not there is a failed probe, not a note. Rule 2:
+    // never a silent fallback to a different provider.
+    if (probe.roles.some(role => !role.availability.available))
+        process.exitCode = 1;
+}
+export async function configEffectiveCommand(dir, options = {}) {
+    const { projectDir, settingsFile, config } = loadFor(dir, options);
+    const report = effectiveConfigReport({
+        config, projectDir, settingsFile, registry: defaultRegistry
+    });
+    if (options.format === 'json') {
+        process.stdout.write(JSON.stringify(report, null, 2) + '\n');
+        return;
+    }
+    process.stdout.write(toYaml(report));
+}
+//# sourceMappingURL=toolchain.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"toolchain.js","sourceRoot":"","sources":["../../src/commands/toolchain.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,0EAA0E;AAC1E,0EAA0E;AAC1E,wEAAwE;AACxE,EAAE;AACF,6EAA6E;AAC7E,6DAA6D;AAC7D,gFAAgF;AAEhF,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EAAE,SAAS,IAAI,MAAM,EAAE,MAAM,MAAM,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACpG,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAI1D,SAAS,OAAO,CAAC,GAAuB,EAAE,OAAgC;IACtE,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACjD,MAAM,YAAY,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,sBAAsB,CACjC,mBAAmB,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IAC/D,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACvC,GAAY,EACZ,UAAmE,EAAE;IAErE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC,CAAC;IAEhF,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IAChE,CAAC;SAAM,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACnC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACxC,CAAC;SAAM,CAAC;QACJ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;YACnC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;QAChG,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;QACd,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC,YAAY;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1F,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAClD,KAAK,MAAM,QAAQ,IAAI,cAAc,EAAE,CAAC;YACpC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QACrG,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC;IAED,2EAA2E;IAC3E,mDAAmD;IACnD,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC;QAAE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;AACrF,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CACxC,GAAY,EACZ,UAAmE,EAAE;IAErE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,qBAAqB,CAAC;QACjC,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,eAAe;KAAE,CAAC,CAAC;IAEnE,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QAC7D,OAAO;IACX,CAAC;IACD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;AACzC,CAAC"}

package/packages/tools/lib/commands/validate.d.ts

@@ -2,5 +2,5 @@ export type ValidateFormat = 'text' | 'junit' | 'json';
 export declare function validateCommand(projectDir?: string, options?: {
     format?: ValidateFormat;
     output?: string;
-}): Promise<void>;
+} & Record<string, unknown>): Promise<void>;
 //# sourceMappingURL=validate.d.ts.map

package/packages/tools/lib/commands/validate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/commands/validate.ts"],"names":[],"mappings":"AAkBA,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,CAAC;AAEvD,wBAAsB,eAAe,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE;IAAE,MAAM,CAAC,EAAE,cAAc,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAoMhI"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/commands/validate.ts"],"names":[],"mappings":"AAkCA,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,CAAC;AAEvD,wBAAsB,eAAe,CACjC,UAAU,CAAC,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE;IAAE,MAAM,CAAC,EAAE,cAAc,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjF,OAAO,CAAC,IAAI,CAAC,CAqVf"}

package/packages/tools/lib/commands/validate.js

@@ -6,37 +6,80 @@
 import { resolve } from 'node:path';
 import { writeFileSync } from 'node:fs';
 import chalk from 'chalk';
-import { compileWithConfiguredTool, findConfigFile, parseFiles, buildMemoModel, loadOntologyRegistries } from '@memoarchitect/tools';
+import { buildMemoModel, loadOntologyRegistries, loadProjectSettings, findProjectRoot, resolveEffectiveMethodology, resolveEffectiveRules, buildEffectiveScope, activeRuleCandidates, isRulePackageInScope, checkSemanticFields, } from '@memoarchitect/tools';
 import { validateModel, collectNativeConstraints } from '@memoarchitect/tools';
 import { computeCompleteness } from '@memoarchitect/tools';
-import { loadAndResolveConfig } from '../server/config-resolver.js';
 import { checkLockFile } from '../lock.js';
-import { findSysmlFiles } from '../model/sysml-files.js';
+import { runValidator } from '../toolchain/operations.js';
+import { resolveToolchain } from '../toolchain/effective.js';
+import { defaultRegistry } from '../toolchain/default-registry.js';
+import { withToolchainOverrides } from '../toolchain/schema.js';
+import { countBySeverity, formatDiagnosticsText } from '../toolchain/diagnostic.js';
 export async function validateCommand(projectDir, options) {
     const format = options?.format || 'text';
     const cwd = resolve(projectDir || process.cwd());
     console.log(chalk.bold('\n📋 MEMO Validate\n'));
-    // 1. Find config
-    const configPath = findConfigFile(cwd);
-    if (!configPath) {
-        console.error(chalk.red('❌ No memo config found. Run `memo init` first.'));
+    // 1. Find the project by its native entrypoint, not by a settings file.
+    const projectRoot = findProjectRoot(cwd);
+    if (!projectRoot) {
+        console.error(chalk.red('❌ No model/catalog/project.sysml found. A MEMO project declares its identity and method '
+            + 'binding in SysML — run `memo init` to scaffold one.'));
         process.exit(1);
     }
-    console.log(chalk.gray(`Config: ${configPath}`));
-    // 2. Load and resolve config
-    const config = loadAndResolveConfig(configPath);
-    console.log(chalk.gray(`Project: ${config.projectName} (${config.projectType})`));
+    console.log(chalk.gray(`Project root: ${projectRoot}`));
+    // 2. Reject semantic configuration before anything reads it.
+    const rejections = checkSemanticFields(projectRoot);
+    if (rejections.length > 0) {
+        console.error(chalk.red(`\n❌ Semantic configuration found in application settings (${rejections.length}):\n`));
+        for (const r of rejections) {
+            console.error(chalk.red(`  ${r.file}`));
+            console.error(chalk.gray(`    ${r.message}\n`));
+        }
+        process.exit(1);
+    }
+    const config = withToolchainOverrides(loadProjectSettings(projectRoot), options ?? {}, defaultRegistry);
+    const effectiveToolchain = resolveToolchain(config, defaultRegistry);
+    for (const note of effectiveToolchain.deprecations)
+        console.log(chalk.yellow(`  ⚠ ${note}`));
+    // 3. Resolve the project natively: imports and the method binding decide
+    //    everything about what is loaded.
+    let ontologyRegistries;
+    let ontologyDocuments = [];
+    const loadResult = await loadOntologyRegistries(projectRoot);
+    const resolution = loadResult.resolution;
+    if (loadResult.fileCount > 0) {
+        ontologyRegistries = { ...loadResult.registries, provenance: loadResult.provenance };
+        ontologyDocuments = loadResult.parsedDocuments;
+        const kr = loadResult.registries.kindRegistry;
+        const rr = loadResult.registries.relationshipRegistry;
+        console.log(chalk.gray(`Resolved: ${kr?.size ?? 0} kinds, ${rr?.size ?? 0} relationships `
+            + `(${loadResult.fileCount} SysML files, ${loadResult.ontologyDirs.length} packages)`));
+    }
+    for (const err of loadResult.errors)
+        console.log(chalk.yellow(`  ⚠ ${err}`));
+    if (resolution?.binding) {
+        console.log(chalk.gray(`Binding: ${resolution.binding.projectName ?? resolution.binding.usageName} → `
+            + `${resolution.binding.selectedMethodologyName ?? '(none)'}`));
+    }
+    // The validator's verdict is diagnostics, not an exception. A tool that
+    // rejects the source has done its job and its complaints belong in the
+    // report; only a tool that could not be run at all aborts the command,
+    // because selecting a missing tool must never downgrade to another provider.
+    let sysmlDiagnostics = [];
     try {
-        const compiler = compileWithConfiguredTool(config, cwd, configPath);
-        if (compiler !== 'internal')
-            console.log(chalk.gray(`Compiler: ${compiler}`));
+        const run = await runValidator({ config, projectDir: projectRoot, registry: defaultRegistry });
+        sysmlDiagnostics = run.diagnostics;
+        console.log(chalk.gray(`Validator: ${run.provider}${run.providerVersion ? ` ${run.providerVersion}` : ''}`));
     }
     catch (error) {
-        console.error(chalk.red(`\n❌ Compilation failed: ${error instanceof Error ? error.message : error}\n`));
+        console.error(chalk.red(`\n❌ ${error instanceof Error ? error.message : error}\n`));
         process.exit(1);
     }
-    // 2a. Check ontology lock
-    const lockCheck = checkLockFile(configPath);
+    const lockCheck = checkLockFile(projectRoot, (resolution?.selectedRoots ?? []).map(root => ({
+        ...root,
+        origin: 'ontology',
+        importDepth: 1,
+    })));
     if (!lockCheck.ok) {
         console.error(chalk.red(`\n❌ ${lockCheck.message}\n`));
         process.exit(1);
@@ -44,56 +87,121 @@ export async function validateCommand(projectDir, options) {
     if (lockCheck.locked) {
         console.log(chalk.gray(`Ontology: locked to ${lockCheck.locked.ontology} v${lockCheck.locked.version}`));
     }
-    console.log(chalk.gray(`Kinds: ${Object.keys(config.kinds ?? {}).length} | Relationships: ${(config.relationshipTypes ?? []).length}`));
-    // 2b. Load ontology registries (SysML-driven kind/relationship discovery)
-    let ontologyRegistries;
-    let ontologyDocuments = [];
-    try {
-        const loadResult = await loadOntologyRegistries(configPath);
-        if (loadResult.fileCount > 0) {
-            ontologyRegistries = loadResult.registries;
-            ontologyDocuments = loadResult.parsedDocuments;
-            const kr = loadResult.registries.kindRegistry;
-            const rr = loadResult.registries.relationshipRegistry;
-            console.log(chalk.gray(`Ontology: ${kr?.size ?? 0} kinds, ${rr?.size ?? 0} relationships ` +
-                `(from ${loadResult.fileCount} SysML files)`));
-        }
-    }
-    catch (e) {
-        console.log(chalk.yellow(`  ⚠ Could not load ontology registries: ${e instanceof Error ? e.message : e}`));
-    }
-    // 3. Find SysML files
-    const sysmlFiles = findSysmlFiles(cwd);
-    if (sysmlFiles.length === 0) {
-        console.error(chalk.yellow('⚠️  No .sysml files found.'));
+    // 4. The project's own source is the closure minus the resolved roots.
+    const documents = (resolution?.documents ?? []).filter(d => !(resolution?.selectedRoots ?? []).some(r => d.filePath.startsWith(r.sysmlDir)));
+    const parseErrors = [];
+    if (documents.length === 0) {
+        console.error(chalk.yellow('⚠️  No project .sysml files found.'));
         return;
     }
-    console.log(chalk.gray(`Files: ${sysmlFiles.length} .sysml files\n`));
-    // 4. Parse
-    const { documents, errors: parseErrors } = await parseFiles(sysmlFiles, cwd + '/');
-    if (parseErrors.length > 0) {
-        console.log(chalk.red.bold(`Parse Errors (${parseErrors.length}):`));
-        for (const err of parseErrors) {
-            const loc = err.line ? `:${err.line}:${err.column || 0}` : '';
-            console.log(chalk.red(`  ${err.file}${loc}: ${err.message}`));
-        }
-        console.log();
-    }
+    console.log(chalk.gray(`Files: ${documents.length} project .sysml files\n`));
     // 5. Build model
     const model = buildMemoModel(documents, config, parseErrors, ontologyRegistries);
     console.log(chalk.cyan(`Model: ${model.elements.size} elements, ${model.relationships.length} relationships\n`));
     // 6. Validate — native ontology constraints (constraint def bodies) + structural checks.
     //    Constraint defs live in the ontology packages (parsed by loadOntologyRegistries),
     //    so collect across both ontology and project documents.
-    const nativeConstraints = collectNativeConstraints([...ontologyDocuments, ...documents]);
+    const constraintDiagnostics = [];
+    const nativeConstraints = collectNativeConstraints([...ontologyDocuments, ...documents], constraintDiagnostics);
     if (nativeConstraints.length > 0) {
         console.log(chalk.gray(`Native constraints: ${nativeConstraints.length} (from constraint def bodies)`));
     }
-    const result = validateModel(model, nativeConstraints, ontologyRegistries?.kindRegistry);
-    const completeness = computeCompleteness(model, result, config);
+    // A rule that failed to load is a check that is not running. Report it
+    // prominently: silence here reads as "all rules passed".
+    if (constraintDiagnostics.length > 0) {
+        console.log(chalk.red(`\n⚠  ${constraintDiagnostics.length} rule(s) could not be loaded and are NOT being evaluated:`));
+        for (const d of constraintDiagnostics) {
+            console.log(chalk.red(`   ${d.ruleId} (${d.file})`));
+            console.log(chalk.gray(`     ${d.message}`));
+        }
+        console.log('');
+    }
+    // 6a. Effective methodology and the deterministic effective rule set.
+    // A module is available when a resolved package supplies it. That is wider
+    // than the import closure on purpose: a package the project resolved is
+    // resolved in full, and whether the methodology selects it is the next
+    // question, not this one.
+    const availablePackages = new Set(resolution?.filePackages.values() ?? []);
+    const effectiveMethodology = resolveEffectiveMethodology(resolution?.binding, resolution?.methodologies ?? new Map(), availablePackages);
+    const scope = buildEffectiveScope(effectiveMethodology);
+    for (const d of effectiveMethodology.diagnostics) {
+        console.log(chalk.yellow(`  ⚠ ${d.code}: ${d.message}`));
+    }
+    // Rule activation is shared with `memo rules list` so the two commands
+    // cannot report different rule sets for one project.
+    const ruleFileToPackage = resolution?.filePackages ?? new Map();
+    const kindRegistry = ontologyRegistries?.kindRegistry;
+    const candidates = activeRuleCandidates(nativeConstraints, scope, ruleFileToPackage, kindName => kindRegistry?.getKind(kindName)?.sourceFile);
+    const effectiveRules = resolveEffectiveRules(candidates, effectiveMethodology.policyChain);
+    // A rule-resolution diagnostic is not advisory. A policy that targets a
+    // rule that is not there, or tries to disable an invariant, means the
+    // effective rule set is not the one the methodology describes.
+    if (effectiveRules.diagnostics.length > 0) {
+        console.log(chalk.red.bold(`\nRule resolution (${effectiveRules.diagnostics.length}):`));
+        for (const d of effectiveRules.diagnostics) {
+            console.log(chalk.red(`  ${d.code}${d.ruleId ? ` [${d.ruleId}]` : ''}: ${d.message}`));
+        }
+        console.log();
+        process.exitCode = 1;
+    }
+    const disabled = effectiveRules.rules.filter(r => r.disposition !== 'enabled');
+    if (disabled.length > 0) {
+        console.log(chalk.gray(`Tailored rules (${disabled.length}):`));
+        for (const r of disabled) {
+            const chain = r.policyChain.map(p => `${p.level}:${p.source}`).join(' → ');
+            console.log(chalk.gray(`  ${r.sourceRuleId} ${r.disposition} by ${chain}`));
+            if (r.rationaleText)
+                console.log(chalk.gray(`    ${r.rationaleText}`));
+        }
+        console.log();
+    }
+    // Rules evaluate over in-scope elements only.
+    //
+    // A kind can be in scope while a specialization of it is not: GPCA selects
+    // safety/risk and excludes cybersecurity, so `Hazard` is in scope and
+    // `CyberHazard` is not. Evaluating a risk rule over a cyber hazard reports
+    // a violation about content the methodology deliberately excluded, which is
+    // noise the reader has to learn to ignore — and a rule set people ignore is
+    // worse than one they do not have.
+    //
+    // The full model is still what gets reported and displayed; only the
+    // subject set narrows.
+    const subjectModel = scope.mode === 'allAvailable' ? model : narrowToScope(model);
+    const result = validateModel(subjectModel, effectiveRules.activeConstraints, ontologyRegistries?.kindRegistry, effectiveRules.rules);
+    // Completeness reports on what the methodology selected, which is the
+    // scoped model — not on content the project deliberately excluded.
+    const completeness = computeCompleteness(subjectModel, result);
+    function narrowToScope(full) {
+        const kept = new Map();
+        for (const [id, element] of full.elements) {
+            const sourceFile = kindRegistry?.getKind(element.kind)?.sourceFile;
+            const declaringPackage = sourceFile ? ruleFileToPackage.get(sourceFile) : undefined;
+            // A kind the resolved ontology does not declare is project-local
+            // content, which is always in its own project's scope.
+            if (!declaringPackage || isRulePackageInScope(scope, declaringPackage))
+                kept.set(id, element);
+        }
+        const byKind = new Map();
+        const byLayer = new Map();
+        for (const element of kept.values()) {
+            (byKind.get(element.kind) ?? byKind.set(element.kind, []).get(element.kind)).push(element);
+            (byLayer.get(element.layer) ?? byLayer.set(element.layer, []).get(element.layer)).push(element);
+        }
+        return {
+            ...full,
+            elements: kept,
+            elementsByKind: byKind,
+            elementsByLayer: byLayer,
+            relationships: full.relationships.filter(r => kept.has(r.sourceId) && kept.has(r.targetId)),
+        };
+    }
     const errors = result.violations.filter(v => v.severity === 'error');
     const warnings = result.violations.filter(v => v.severity === 'warning');
     const infos = result.violations.filter(v => v.severity === 'info');
+    // A validator rejection is a failed run even when every MEMO rule passed:
+    // the report would otherwise say "0 errors" about source the toolchain
+    // refused.
+    const sysmlErrors = countBySeverity(sysmlDiagnostics).error;
     // ─── Output format dispatch ──────────────────────────────────────────────
     if (format === 'junit') {
         const xml = generateJUnit(result, completeness, config.projectName || 'memo');
@@ -104,7 +212,7 @@ export async function validateCommand(projectDir, options) {
         else {
             process.stdout.write(xml);
         }
-        if (errors.length > 0)
+        if (errors.length > 0 || sysmlErrors > 0)
             process.exitCode = 1;
         return;
     }
@@ -122,7 +230,16 @@ export async function validateCommand(projectDir, options) {
                 warnings: warnings.length,
                 infos: infos.length,
                 completeness: completeness.overall,
+                rulesNotLoaded: constraintDiagnostics.length,
+                sysmlErrors,
+            },
+            rulesNotLoaded: constraintDiagnostics,
+            toolchain: {
+                validator: effectiveToolchain.validator,
+                lowering: effectiveToolchain.lowering,
+                packager: effectiveToolchain.packager,
             },
+            diagnostics: sysmlDiagnostics,
             violations: result.violations.map(v => ({
                 ruleId: v.ruleId,
                 severity: v.severity,
@@ -130,6 +247,7 @@ export async function validateCommand(projectDir, options) {
                 elementKind: v.elementKind,
                 elementName: v.elementName,
                 description: v.description,
+                provenance: v.provenance,
             })),
             completeness: {
                 overall: completeness.overall,
@@ -152,11 +270,20 @@ export async function validateCommand(projectDir, options) {
         else {
             process.stdout.write(jsonStr + '\n');
         }
-        if (errors.length > 0)
+        if (errors.length > 0 || sysmlErrors > 0)
             process.exitCode = 1;
         return;
     }
     // ─── Default text output ─────────────────────────────────────────────────
+    // GNU one-liners, so an editor or CI annotator that already understands
+    // `file:line:col: severity:` picks them up without knowing anything about
+    // MEMO. The trailing `[domain/provider]` is additive.
+    if (sysmlDiagnostics.length > 0) {
+        const counts = countBySeverity(sysmlDiagnostics);
+        console.log(chalk.red.bold(`SysML diagnostics (${counts.error} error, ${counts.warning} warning, ${counts.info} info):`));
+        console.log(formatDiagnosticsText(sysmlDiagnostics));
+        console.log();
+    }
     if (errors.length > 0) {
         console.log(chalk.red.bold(`Errors (${errors.length}):`));
         for (const v of errors) {
@@ -191,7 +318,7 @@ export async function validateCommand(projectDir, options) {
     const overallColor = completeness.overall >= 80 ? chalk.green : completeness.overall >= 50 ? chalk.yellow : chalk.red;
     console.log(chalk.bold(`Overall: ${overallColor(completeness.overall + '%')} (${completeness.completeElements}/${completeness.totalElements} elements complete)`));
     console.log(chalk.gray(`Rules: ${result.rulesEvaluated} evaluated, ${result.rulesPassed} passed, ${result.violations.length} violations\n`));
-    if (errors.length > 0) {
+    if (errors.length > 0 || sysmlErrors > 0) {
         process.exitCode = 1;
     }
 }

package/packages/tools/lib/commands/validate.js.map

@@ -1 +1 @@
-{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/commands/validate.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,sEAAsE;AACtE,oCAAoC;AACpC,gFAAgF;AAEhF,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAY,aAAa,EAAE,MAAM,SAAS,CAAC;AAClD,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EAAE,yBAAyB,EAAE,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAErI,OAAO,EAAE,aAAa,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAC/E,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAKzD,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,UAAmB,EAAE,OAAsD;IAC7G,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,MAAM,CAAC;IACzC,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACjD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC;IAEhD,iBAAiB;IACjB,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,CAAC,UAAU,EAAE,CAAC;QACd,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,gDAAgD,CAAC,CAAC,CAAC;QAC3E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,UAAU,EAAE,CAAC,CAAC,CAAC;IAEjD,6BAA6B;IAC7B,MAAM,MAAM,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;IAChD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC;IAElF,IAAI,CAAC;QACD,MAAM,QAAQ,GAAG,yBAAyB,CAAC,MAAM,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;QACpE,IAAI,QAAQ,KAAK,UAAU;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC,CAAC;IAClF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,2BAA2B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;QACxG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED,0BAA0B;IAC1B,MAAM,SAAS,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;IAC5C,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;QAChB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,SAAS,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;QACvD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACnB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,SAAS,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC7G,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,qBAAqB,CAAC,MAAM,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAExI,0EAA0E;IAC1E,IAAI,kBAAiD,CAAC;IACtD,IAAI,iBAAiB,GAAqB,EAAE,CAAC;IAC7C,IAAI,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,sBAAsB,CAAC,UAAU,CAAC,CAAC;QAC5D,IAAI,UAAU,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;YAC3B,kBAAkB,GAAG,UAAU,CAAC,UAAU,CAAC;YAC3C,iBAAiB,GAAG,UAAU,CAAC,eAAe,CAAC;YAC/C,MAAM,EAAE,GAAG,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC;YAC9C,MAAM,EAAE,GAAG,UAAU,CAAC,UAAU,CAAC,oBAAoB,CAAC;YACtD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAClB,aAAa,EAAE,EAAE,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,IAAI,IAAI,CAAC,iBAAiB;gBACnE,SAAS,UAAU,CAAC,SAAS,eAAe,CAC/C,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACT,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,2CAA2C,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/G,CAAC;IAED,sBAAsB;IACtB,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,4BAA4B,CAAC,CAAC,CAAC;QAC1D,OAAO;IACX,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,UAAU,CAAC,MAAM,iBAAiB,CAAC,CAAC,CAAC;IAEtE,WAAW;IACX,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,UAAU,CAAC,UAAU,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC;IACnF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,iBAAiB,WAAW,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QACrE,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,IAAI,GAAG,GAAG,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAClE,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC;IAED,iBAAiB;IACjB,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,kBAAkB,CAAC,CAAC;IACjF,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,QAAQ,CAAC,IAAI,cAAc,KAAK,CAAC,aAAa,CAAC,MAAM,kBAAkB,CAAC,CAAC,CAAC;IAEjH,yFAAyF;IACzF,uFAAuF;IACvF,4DAA4D;IAC5D,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,CAAC,GAAG,iBAAiB,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;IACzF,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,iBAAiB,CAAC,MAAM,+BAA+B,CAAC,CAAC,CAAC;IAC5G,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,YAAY,CAAC,CAAC;IACzF,MAAM,YAAY,GAAG,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAEhE,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;IAEnE,4EAA4E;IAE5E,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,CAAC;QAC9E,IAAI,OAAO,EAAE,MAAM,EAAE,CAAC;YAClB,aAAa,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;YACjD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,wBAAwB,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACvE,CAAC;aAAM,CAAC;YACJ,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC5C,OAAO;IACX,CAAC;IAED,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACpB,MAAM,UAAU,GAAG;YACf,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,OAAO,EAAE;gBACL,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI;gBAC7B,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,MAAM;gBACzC,cAAc,EAAE,MAAM,CAAC,cAAc;gBACrC,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM;gBACpC,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,QAAQ,EAAE,QAAQ,CAAC,MAAM;gBACzB,KAAK,EAAE,KAAK,CAAC,MAAM;gBACnB,YAAY,EAAE,YAAY,CAAC,OAAO;aACrC;YACD,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACpC,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,WAAW,EAAE,CAAC,CAAC,WAAW;aAC7B,CAAC,CAAC;YACH,YAAY,EAAE;gBACV,OAAO,EAAE,YAAY,CAAC,OAAO;gBAC7B,gBAAgB,EAAE,YAAY,CAAC,gBAAgB;gBAC/C,aAAa,EAAE,YAAY,CAAC,aAAa;gBACzC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBAClC,EAAE,EAAE,CAAC,CAAC,OAAO;oBACb,KAAK,EAAE,CAAC,CAAC,UAAU;oBACnB,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,QAAQ,EAAE,CAAC,CAAC,gBAAgB;oBAC5B,KAAK,EAAE,CAAC,CAAC,aAAa;iBACzB,CAAC,CAAC;aACN;SACJ,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACpD,IAAI,OAAO,EAAE,MAAM,EAAE,CAAC;YAClB,aAAa,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;YACrD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,0BAA0B,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACzE,CAAC;aAAM,CAAC;YACJ,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;QACzC,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC5C,OAAO;IACX,CAAC;IAED,4EAA4E;IAE5E,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QAC1D,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACrB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACpG,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QACjE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACvG,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QACxD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACpB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACrG,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC;IAClD,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;YAAE,SAAS;QACxC,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC;QAC7B,MAAM,KAAK,GAAG,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QAC7E,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,KAAK,KAAK,CAAC,gBAAgB,IAAI,KAAK,CAAC,aAAa,GAAG,CAAC,CAAC;IACzI,CAAC;IAED,OAAO,CAAC,GAAG,EAAE,CAAC;IACd,MAAM,YAAY,GAAG,YAAY,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;IACtH,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,YAAY,CAAC,YAAY,CAAC,OAAO,GAAG,GAAG,CAAC,KAAK,YAAY,CAAC,gBAAgB,IAAI,YAAY,CAAC,aAAa,qBAAqB,CAAC,CAAC,CAAC;IACnK,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,cAAc,eAAe,MAAM,CAAC,WAAW,YAAY,MAAM,CAAC,UAAU,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC;IAE7I,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;IACzB,CAAC;AACL,CAAC;AAED,gFAAgF;AAEhF,SAAS,aAAa,CAClB,MAAwC,EACxC,YAAoD,EACpD,WAAmB;IAEnB,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAE3H,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,CAAC;IACvC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/B,MAAM,OAAO,GAAG,CAAC,CAAC;IAElB,MAAM,KAAK,GAAa;QACpB,wCAAwC;QACxC,qBAAqB,MAAM,CAAC,WAAW,CAAC,YAAY,QAAQ,eAAe,QAAQ,yBAAyB,OAAO,gBAAgB,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,IAAI;QAC/J,4CAA4C,QAAQ,eAAe,QAAQ,yBAAyB,OAAO,IAAI;QAC/G,kBAAkB;QAClB,8CAA8C,YAAY,CAAC,OAAO,OAAO;QACzE,0CAA0C,YAAY,CAAC,aAAa,MAAM;QAC1E,0CAA0C,QAAQ,CAAC,MAAM,MAAM;QAC/D,mBAAmB;KACtB,CAAC;IAEF,qCAAqC;IACrC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,WAAW,IAAI,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;QAE1D,IAAI,CAAC,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,4BAA4B,SAAS,WAAW,QAAQ,IAAI,CAAC,CAAC;YACzE,KAAK,CAAC,IAAI,CAAC,2BAA2B,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;YACpF,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,cAAc,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YACxI,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAClC,CAAC;aAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,4BAA4B,SAAS,WAAW,QAAQ,IAAI,CAAC,CAAC;YACzE,KAAK,CAAC,IAAI,CAAC,8BAA8B,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;YAC/E,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAClC,CAAC;aAAM,CAAC;YACJ,KAAK,CAAC,IAAI,CAAC,4BAA4B,SAAS,WAAW,QAAQ,MAAM,CAAC,CAAC;QAC/E,CAAC;IACL,CAAC;IAED,yCAAyC;IACzC,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;IACvC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,2CAA2C,WAAW,sCAAsC,CAAC,CAAC;IAC7G,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7B,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAE5B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AACnC,CAAC;AAED,SAAS,OAAO,CAAC,GAAW,EAAE,QAAgB,EAAE;IAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,GAAG,KAAK,CAAC,CAAC;IAC7C,OAAO,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC;AAC3D,CAAC"}
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/commands/validate.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,sEAAsE;AACtE,oCAAoC;AACpC,gFAAgF;AAEhF,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxC,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EACH,cAAc,EACd,sBAAsB,EACtB,mBAAmB,EACnB,eAAe,EACf,2BAA2B,EAC3B,qBAAqB,EACrB,mBAAmB,EACnB,oBAAoB,EACpB,oBAAoB,EAEpB,mBAAmB,GAEtB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,aAAa,EAAE,wBAAwB,EAA6B,MAAM,sBAAsB,CAAC;AAC1G,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,qBAAqB,EAAmB,MAAM,4BAA4B,CAAC;AAKrG,MAAM,CAAC,KAAK,UAAU,eAAe,CACjC,UAAmB,EACnB,OAAgF;IAEhF,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,MAAM,CAAC;IACzC,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACjD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC;IAEhD,wEAAwE;IACxE,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,WAAW,EAAE,CAAC;QACf,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CACnB,0FAA0F;cACxF,qDAAqD,CAAC,CAAC,CAAC;QAC9D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,iBAAiB,WAAW,EAAE,CAAC,CAAC,CAAC;IAExD,6DAA6D;IAC7D,MAAM,UAAU,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IACpD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,6DAA6D,UAAU,CAAC,MAAM,MAAM,CAAC,CAAC,CAAC;QAC/G,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YACzB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACxC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;QACpD,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED,MAAM,MAAM,GAAG,sBAAsB,CACjC,mBAAmB,CAAC,WAAW,CAAC,EAAE,OAAO,IAAI,EAAE,EAAE,eAAe,CAAC,CAAC;IACtE,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACrE,KAAK,MAAM,IAAI,IAAI,kBAAkB,CAAC,YAAY;QAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IAE7F,yEAAyE;IACzE,sCAAsC;IACtC,IAAI,kBAAiD,CAAC;IACtD,IAAI,iBAAiB,GAAqB,EAAE,CAAC;IAC7C,MAAM,UAAU,GAAG,MAAM,sBAAsB,CAAC,WAAW,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;IACzC,IAAI,UAAU,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;QAC3B,kBAAkB,GAAG,EAAE,GAAG,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC;QACrF,iBAAiB,GAAG,UAAU,CAAC,eAAe,CAAC;QAC/C,MAAM,EAAE,GAAG,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC;QAC9C,MAAM,EAAE,GAAG,UAAU,CAAC,UAAU,CAAC,oBAAoB,CAAC;QACtD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAClB,aAAa,EAAE,EAAE,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,IAAI,IAAI,CAAC,iBAAiB;cACjE,IAAI,UAAU,CAAC,SAAS,iBAAiB,UAAU,CAAC,YAAY,CAAC,MAAM,YAAY,CAAC,CAAC,CAAC;IAChG,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,MAAM;QAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC,CAAC;IAE7E,IAAI,UAAU,EAAE,OAAO,EAAE,CAAC;QACtB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAClB,YAAY,UAAU,CAAC,OAAO,CAAC,WAAW,IAAI,UAAU,CAAC,OAAO,CAAC,SAAS,KAAK;cAC7E,GAAG,UAAU,CAAC,OAAO,CAAC,uBAAuB,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC;IACxE,CAAC;IAED,wEAAwE;IACxE,uEAAuE;IACvE,uEAAuE;IACvE,6EAA6E;IAC7E,IAAI,gBAAgB,GAAiB,EAAE,CAAC;IACxC,IAAI,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,YAAY,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC,CAAC;QAC/F,gBAAgB,GAAG,GAAG,CAAC,WAAW,CAAC;QACnC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAClB,cAAc,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC9F,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;QACpF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED,MAAM,SAAS,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC,UAAU,EAAE,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxF,GAAG,IAAI;QACP,MAAM,EAAE,UAAU;QAClB,WAAW,EAAE,CAAC;KACjB,CAAC,CAAC,CAAC,CAAC;IACL,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;QAChB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,SAAS,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;QACvD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACnB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,SAAS,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC7G,CAAC;IAED,uEAAuE;IACvE,MAAM,SAAS,GAAG,CAAC,UAAU,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAClD,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CACvF,CAAC;IACF,MAAM,WAAW,GAAgD,EAAE,CAAC;IACpE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,oCAAoC,CAAC,CAAC,CAAC;QAClE,OAAO;IACX,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,SAAS,CAAC,MAAM,yBAAyB,CAAC,CAAC,CAAC;IAE7E,iBAAiB;IACjB,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,kBAAkB,CAAC,CAAC;IACjF,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,QAAQ,CAAC,IAAI,cAAc,KAAK,CAAC,aAAa,CAAC,MAAM,kBAAkB,CAAC,CAAC,CAAC;IAEjH,yFAAyF;IACzF,uFAAuF;IACvF,4DAA4D;IAC5D,MAAM,qBAAqB,GAA2B,EAAE,CAAC;IACzD,MAAM,iBAAiB,GAAG,wBAAwB,CAC9C,CAAC,GAAG,iBAAiB,EAAE,GAAG,SAAS,CAAC,EAAE,qBAAqB,CAAC,CAAC;IACjE,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,uBAAuB,iBAAiB,CAAC,MAAM,+BAA+B,CAAC,CAAC,CAAC;IAC5G,CAAC;IACD,uEAAuE;IACvE,yDAAyD;IACzD,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CACjB,QAAQ,qBAAqB,CAAC,MAAM,2DAA2D,CAAC,CAAC,CAAC;QACtG,KAAK,MAAM,CAAC,IAAI,qBAAqB,EAAE,CAAC;YACpC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;YACrD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACjD,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IACD,sEAAsE;IACtE,2EAA2E;IAC3E,wEAAwE;IACxE,uEAAuE;IACvE,0BAA0B;IAC1B,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3E,MAAM,oBAAoB,GAAG,2BAA2B,CACpD,UAAU,EAAE,OAAO,EACnB,UAAU,EAAE,aAAa,IAAI,IAAI,GAAG,EAAE,EACtC,iBAAiB,CACpB,CAAC;IACF,MAAM,KAAK,GAAG,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,oBAAoB,CAAC,WAAW,EAAE,CAAC;QAC/C,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC7D,CAAC;IAED,uEAAuE;IACvE,qDAAqD;IACrD,MAAM,iBAAiB,GAAG,UAAU,EAAE,YAAY,IAAI,IAAI,GAAG,EAAkB,CAAC;IAChF,MAAM,YAAY,GAAG,kBAAkB,EAAE,YAAY,CAAC;IACtD,MAAM,UAAU,GAAoB,oBAAoB,CACpD,iBAAiB,EAAE,KAAK,EAAE,iBAAiB,EAC3C,QAAQ,CAAC,EAAE,CAAC,YAAY,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,UAAU,CAC1D,CAAC;IACF,MAAM,cAAc,GAAG,qBAAqB,CAAC,UAAU,EAAE,oBAAoB,CAAC,WAAW,CAAC,CAAC;IAE3F,wEAAwE;IACxE,sEAAsE;IACtE,+DAA+D;IAC/D,IAAI,cAAc,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,sBAAsB,cAAc,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QACzF,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,WAAW,EAAE,CAAC;YACzC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC3F,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;QACd,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;IACzB,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC;IAC/E,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,mBAAmB,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QAChE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC3E,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,WAAW,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC;YAC5E,IAAI,CAAC,CAAC,aAAa;gBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC;IAED,8CAA8C;IAC9C,EAAE;IACF,2EAA2E;IAC3E,sEAAsE;IACtE,2EAA2E;IAC3E,4EAA4E;IAC5E,4EAA4E;IAC5E,mCAAmC;IACnC,EAAE;IACF,qEAAqE;IACrE,uBAAuB;IACvB,MAAM,YAAY,GAAG,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAClF,MAAM,MAAM,GAAG,aAAa,CACxB,YAAY,EAAE,cAAc,CAAC,iBAAiB,EAAE,kBAAkB,EAAE,YAAY,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC;IAC5G,sEAAsE;IACtE,mEAAmE;IACnE,MAAM,YAAY,GAAG,mBAAmB,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IAE/D,SAAS,aAAa,CAAC,IAAkB;QACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAA+E,CAAC;QACpG,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACxC,MAAM,UAAU,GAAG,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC;YACnE,MAAM,gBAAgB,GAAG,UAAU,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACpF,iEAAiE;YACjE,uDAAuD;YACvD,IAAI,CAAC,gBAAgB,IAAI,oBAAoB,CAAC,KAAK,EAAE,gBAAgB,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAClG,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAC;QACxC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAiB,CAAC;QACzC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YAClC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC5F,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrG,CAAC;QACD,OAAO;YACH,GAAG,IAAI;YACP,QAAQ,EAAE,IAAI;YACd,cAAc,EAAE,MAAM;YACtB,eAAe,EAAE,OAAO;YACxB,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;SAC9F,CAAC;IACN,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;IACnE,0EAA0E;IAC1E,uEAAuE;IACvE,WAAW;IACX,MAAM,WAAW,GAAG,eAAe,CAAC,gBAAgB,CAAC,CAAC,KAAK,CAAC;IAE5D,4EAA4E;IAE5E,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,CAAC;QAC9E,IAAI,OAAO,EAAE,MAAM,EAAE,CAAC;YAClB,aAAa,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;YACjD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,wBAAwB,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACvE,CAAC;aAAM,CAAC;YACJ,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,GAAG,CAAC;YAAE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC/D,OAAO;IACX,CAAC;IAED,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACpB,MAAM,UAAU,GAAG;YACf,WAAW,EAAE,MAAM,CAAC,WAAW;YAC/B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,OAAO,EAAE;gBACL,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI;gBAC7B,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,MAAM;gBACzC,cAAc,EAAE,MAAM,CAAC,cAAc;gBACrC,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM;gBACpC,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,QAAQ,EAAE,QAAQ,CAAC,MAAM;gBACzB,KAAK,EAAE,KAAK,CAAC,MAAM;gBACnB,YAAY,EAAE,YAAY,CAAC,OAAO;gBAClC,cAAc,EAAE,qBAAqB,CAAC,MAAM;gBAC5C,WAAW;aACd;YACD,cAAc,EAAE,qBAAqB;YACrC,SAAS,EAAE;gBACP,SAAS,EAAE,kBAAkB,CAAC,SAAS;gBACvC,QAAQ,EAAE,kBAAkB,CAAC,QAAQ;gBACrC,QAAQ,EAAE,kBAAkB,CAAC,QAAQ;aACxC;YACD,WAAW,EAAE,gBAAgB;YAC7B,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACpC,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,UAAU,EAAE,CAAC,CAAC,UAAU;aAC3B,CAAC,CAAC;YACH,YAAY,EAAE;gBACV,OAAO,EAAE,YAAY,CAAC,OAAO;gBAC7B,gBAAgB,EAAE,YAAY,CAAC,gBAAgB;gBAC/C,aAAa,EAAE,YAAY,CAAC,aAAa;gBACzC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBAClC,EAAE,EAAE,CAAC,CAAC,OAAO;oBACb,KAAK,EAAE,CAAC,CAAC,UAAU;oBACnB,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,QAAQ,EAAE,CAAC,CAAC,gBAAgB;oBAC5B,KAAK,EAAE,CAAC,CAAC,aAAa;iBACzB,CAAC,CAAC;aACN;SACJ,CAAC;QACF,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACpD,IAAI,OAAO,EAAE,MAAM,EAAE,CAAC;YAClB,aAAa,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;YACrD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,0BAA0B,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACzE,CAAC;aAAM,CAAC;YACJ,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;QACzC,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,GAAG,CAAC;YAAE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC/D,OAAO;IACX,CAAC;IAED,4EAA4E;IAE5E,wEAAwE;IACxE,0EAA0E;IAC1E,sDAAsD;IACtD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,eAAe,CAAC,gBAAgB,CAAC,CAAC;QACjD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CACtB,sBAAsB,MAAM,CAAC,KAAK,WAAW,MAAM,CAAC,OAAO,aAAa,MAAM,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC;QACnG,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACrD,OAAO,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QAC1D,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACrB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACpG,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QACjE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACvG,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QACxD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACpB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACrG,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC;IAClB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC;IAClD,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;YAAE,SAAS;QACxC,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC;QAC7B,MAAM,KAAK,GAAG,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QAC7E,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,KAAK,KAAK,CAAC,gBAAgB,IAAI,KAAK,CAAC,aAAa,GAAG,CAAC,CAAC;IACzI,CAAC;IAED,OAAO,CAAC,GAAG,EAAE,CAAC;IACd,MAAM,YAAY,GAAG,YAAY,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;IACtH,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,YAAY,CAAC,YAAY,CAAC,OAAO,GAAG,GAAG,CAAC,KAAK,YAAY,CAAC,gBAAgB,IAAI,YAAY,CAAC,aAAa,qBAAqB,CAAC,CAAC,CAAC;IACnK,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,cAAc,eAAe,MAAM,CAAC,WAAW,YAAY,MAAM,CAAC,UAAU,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC;IAE7I,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACvC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;IACzB,CAAC;AACL,CAAC;AAED,gFAAgF;AAEhF,SAAS,aAAa,CAClB,MAAwC,EACxC,YAAoD,EACpD,WAAmB;IAEnB,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAE3H,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACrE,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,CAAC;IACvC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/B,MAAM,OAAO,GAAG,CAAC,CAAC;IAElB,MAAM,KAAK,GAAa;QACpB,wCAAwC;QACxC,qBAAqB,MAAM,CAAC,WAAW,CAAC,YAAY,QAAQ,eAAe,QAAQ,yBAAyB,OAAO,gBAAgB,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,IAAI;QAC/J,4CAA4C,QAAQ,eAAe,QAAQ,yBAAyB,OAAO,IAAI;QAC/G,kBAAkB;QAClB,8CAA8C,YAAY,CAAC,OAAO,OAAO;QACzE,0CAA0C,YAAY,CAAC,aAAa,MAAM;QAC1E,0CAA0C,QAAQ,CAAC,MAAM,MAAM;QAC/D,mBAAmB;KACtB,CAAC;IAEF,qCAAqC;IACrC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,WAAW,IAAI,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;QAE1D,IAAI,CAAC,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,4BAA4B,SAAS,WAAW,QAAQ,IAAI,CAAC,CAAC;YACzE,KAAK,CAAC,IAAI,CAAC,2BAA2B,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;YACpF,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,cAAc,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YACxI,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAClC,CAAC;aAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,4BAA4B,SAAS,WAAW,QAAQ,IAAI,CAAC,CAAC;YACzE,KAAK,CAAC,IAAI,CAAC,8BAA8B,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;YAC/E,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAClC,CAAC;aAAM,CAAC;YACJ,KAAK,CAAC,IAAI,CAAC,4BAA4B,SAAS,WAAW,QAAQ,MAAM,CAAC,CAAC;QAC/E,CAAC;IACL,CAAC;IAED,yCAAyC;IACzC,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;IACvC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,2CAA2C,WAAW,sCAAsC,CAAC,CAAC;IAC7G,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7B,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAE5B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AACnC,CAAC;AAED,SAAS,OAAO,CAAC,GAAW,EAAE,QAAgB,EAAE;IAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,GAAG,KAAK,CAAC,CAAC;IAC7C,OAAO,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC;AAC3D,CAAC"}

package/packages/tools/lib/completeness/tracker.d.ts

@@ -1,4 +1,3 @@
-import type { MEMOConfig } from '../model/config.js';
 import type { MemoModel } from '../model/semantic.js';
 import type { ValidationResult, CompletenessReport } from '../validator/types.js';
 /**
@@ -7,5 +6,14 @@ import type { ValidationResult, CompletenessReport } from '../validator/types.js
  * An element is "complete" if it has no error-severity violations.
  * Warnings and info violations do not affect completeness.
  */
-export declare function computeCompleteness(model: MemoModel, validation: ValidationResult, config: MEMOConfig): CompletenessReport;
+/**
+ * Compute completeness over the model as given.
+ *
+ * Scope is applied by the caller, by narrowing the model before it gets here.
+ * That keeps one filter rather than two: a methodology's inclusion lists name
+ * packages, and a layer id is a display grouping in a different namespace, so a
+ * scope check inside this function would have been comparing the wrong two
+ * things.
+ */
+export declare function computeCompleteness(model: MemoModel, validation: ValidationResult): CompletenessReport;
 //# sourceMappingURL=tracker.d.ts.map

package/packages/tools/lib/completeness/tracker.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tracker.d.ts","sourceRoot":"","sources":["../../src/completeness/tracker.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,gBAAgB,EAAE,kBAAkB,EAAoC,MAAM,uBAAuB,CAAC;AAEpH;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAC/B,KAAK,EAAE,SAAS,EAChB,UAAU,EAAE,gBAAgB,EAC5B,MAAM,EAAE,UAAU,GACnB,kBAAkB,CA6EpB"}
+{"version":3,"file":"tracker.d.ts","sourceRoot":"","sources":["../../src/completeness/tracker.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,gBAAgB,EAAE,kBAAkB,EAAoC,MAAM,uBAAuB,CAAC;AAEpH;;;;;GAKG;AACH;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CAC/B,KAAK,EAAE,SAAS,EAChB,UAAU,EAAE,gBAAgB,GAC7B,kBAAkB,CA4DpB"}

package/packages/tools/lib/completeness/tracker.js

@@ -9,7 +9,16 @@
  * An element is "complete" if it has no error-severity violations.
  * Warnings and info violations do not affect completeness.
  */
-export function computeCompleteness(model, validation, config) {
+/**
+ * Compute completeness over the model as given.
+ *
+ * Scope is applied by the caller, by narrowing the model before it gets here.
+ * That keeps one filter rather than two: a methodology's inclusion lists name
+ * packages, and a layer id is a display grouping in a different namespace, so a
+ * scope check inside this function would have been comparing the wrong two
+ * things.
+ */
+export function computeCompleteness(model, validation) {
     // Build sets of element IDs by violation severity
     const elementsWithErrors = new Set();
     const elementsWithWarnings = new Set();
@@ -37,26 +46,12 @@ export function computeCompleteness(model, validation, config) {
     const layers = [];
     let totalElements = 0;
     let completeElements = 0;
-    for (const layer of config.architectureLayers || []) {
-        const layerElements = model.elementsByLayer.get(layer.id) || [];
-        const total = layerElements.length;
-        const complete = layerElements.filter(e => !elementsWithErrors.has(e.id)).length;
-        totalElements += total;
-        completeElements += complete;
-        layers.push({
-            layerId: layer.id,
-            layerLabel: layer.label,
-            layerColor: layer.color,
-            totalElements: total,
-            completeElements: complete,
-            percentage: total > 0 ? Math.round((complete / total) * 100) : 100,
-        });
-    }
-    // Include model layers not declared in config (e.g. layers derived from
-    // the ontology directory structure when the project configures none)
-    const configuredLayers = new Set((config.architectureLayers || []).map(l => l.id));
-    for (const [layerId, layerElements] of model.elementsByLayer.entries()) {
-        if (configuredLayers.has(layerId) || layerId === 'unknown' || layerElements.length === 0)
+    // Layers come from the model, not from a configured list. A settings file
+    // used to declare `architectureLayers:`, so a layer the ontology defined
+    // but the file omitted was silently excluded from the percentage — and the
+    // report looked complete because the incomplete part was invisible.
+    for (const [layerId, layerElements] of [...model.elementsByLayer.entries()].sort()) {
+        if (layerId === 'unknown' || layerElements.length === 0)
             continue;
         const total = layerElements.length;
         const complete = layerElements.filter(e => !elementsWithErrors.has(e.id)).length;

package/packages/tools/lib/completeness/tracker.js.map

@@ -1 +1 @@
-{"version":3,"file":"tracker.js","sourceRoot":"","sources":["../../src/completeness/tracker.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,mEAAmE;AACnE,2DAA2D;AAC3D,gFAAgF;AAMhF;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAC/B,KAAgB,EAChB,UAA4B,EAC5B,MAAkB;IAElB,kDAAkD;IAClD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7C,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YACzB,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACxC,CAAC;aAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAClC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC1C,CAAC;IACL,CAAC;IAED,+BAA+B;IAC/B,MAAM,aAAa,GAAkC,EAAE,CAAC;IACxD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,IAAI,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC;QACnC,CAAC;aAAM,IAAI,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YACzC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC;QACrC,CAAC;aAAM,CAAC;YACJ,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC;QACtC,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,gBAAgB,GAAG,CAAC,CAAC;IAEzB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,kBAAkB,IAAI,EAAE,EAAE,CAAC;QAClD,MAAM,aAAa,GAAG,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAChE,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC;QACnC,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;QAEjF,aAAa,IAAI,KAAK,CAAC;QACvB,gBAAgB,IAAI,QAAQ,CAAC;QAE7B,MAAM,CAAC,IAAI,CAAC;YACR,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,UAAU,EAAE,KAAK,CAAC,KAAK;YACvB,UAAU,EAAE,KAAK,CAAC,KAAK;YACvB,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,QAAQ;YAC1B,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,GAAG,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG;SACrE,CAAC,CAAC;IACP,CAAC;IAED,wEAAwE;IACxE,qEAAqE;IACrE,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnF,KAAK,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,IAAI,KAAK,CAAC,eAAe,CAAC,OAAO,EAAE,EAAE,CAAC;QACrE,IAAI,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,OAAO,KAAK,SAAS,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACnG,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC;QACnC,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;QACjF,aAAa,IAAI,KAAK,CAAC;QACvB,gBAAgB,IAAI,QAAQ,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC;YACR,OAAO;YACP,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;YACjF,UAAU,EAAE,SAAS;YACrB,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,QAAQ;YAC1B,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,GAAG,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG;SACrE,CAAC,CAAC;IACP,CAAC;IAED,qCAAqC;IACrC,MAAM,eAAe,GAAG,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;IACnE,aAAa,IAAI,eAAe,CAAC,MAAM,CAAC;IACxC,gBAAgB,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IAEtF,OAAO;QACH,MAAM;QACN,OAAO,EAAE,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,gBAAgB,GAAG,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG;QACvF,aAAa;QACb,gBAAgB;QAChB,aAAa;KAChB,CAAC;AACN,CAAC"}
+{"version":3,"file":"tracker.js","sourceRoot":"","sources":["../../src/completeness/tracker.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,mEAAmE;AACnE,2DAA2D;AAC3D,gFAAgF;AAKhF;;;;;GAKG;AACH;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CAC/B,KAAgB,EAChB,UAA4B;IAE5B,kDAAkD;IAClD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7C,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YACzB,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACxC,CAAC;aAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAClC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC1C,CAAC;IACL,CAAC;IAED,+BAA+B;IAC/B,MAAM,aAAa,GAAkC,EAAE,CAAC;IACxD,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,IAAI,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC;QACnC,CAAC;aAAM,IAAI,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YACzC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC;QACrC,CAAC;aAAM,CAAC;YACJ,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC;QACtC,CAAC;IACL,CAAC;IAED,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,gBAAgB,GAAG,CAAC,CAAC;IAEzB,0EAA0E;IAC1E,yEAAyE;IACzE,2EAA2E;IAC3E,oEAAoE;IACpE,KAAK,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACjF,IAAI,OAAO,KAAK,SAAS,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAClE,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC;QACnC,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;QACjF,aAAa,IAAI,KAAK,CAAC;QACvB,gBAAgB,IAAI,QAAQ,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC;YACR,OAAO;YACP,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;YACjF,UAAU,EAAE,SAAS;YACrB,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,QAAQ;YAC1B,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,GAAG,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG;SACrE,CAAC,CAAC;IACP,CAAC;IAED,qCAAqC;IACrC,MAAM,eAAe,GAAG,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;IACnE,aAAa,IAAI,eAAe,CAAC,MAAM,CAAC;IACxC,gBAAgB,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IAEtF,OAAO;QACH,MAAM;QACN,OAAO,EAAE,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,gBAAgB,GAAG,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG;QACvF,aAAa;QACb,gBAAgB;QAChB,aAAa;KAChB,CAAC;AACN,CAAC"}

package/packages/tools/lib/conformance/baseline.d.ts

@@ -0,0 +1,26 @@
+import { type ConformanceReport } from './run.js';
+import { type DiffXmiReport } from './diff-xmi.js';
+import type { BnfCoverageReport } from './bnf.js';
+export interface BaselineDifference {
+    path: string;
+    baseline: number | string;
+    current: number | string;
+}
+export interface BaselineComparison {
+    comparable: boolean;
+    /** Why not, when `comparable` is false. */
+    reason?: string;
+    differences: BaselineDifference[];
+}
+export declare function compareConformanceBaseline(baseline: ConformanceReport, current: ConformanceReport): BaselineComparison;
+export declare function compareDiffXmiBaseline(baseline: DiffXmiReport, current: DiffXmiReport): BaselineComparison;
+/**
+ * Grammar coverage against the normative BNF (B5).
+ *
+ * Per-production status is compared, not only the totals. Two productions
+ * trading places — one implemented, one lost — leaves the total unmoved, and a
+ * gate that only watched the total would call that no change.
+ */
+export declare function compareBnfBaseline(baseline: BnfCoverageReport, current: BnfCoverageReport): BaselineComparison;
+export declare function formatBaselineComparison(comparison: BaselineComparison): string;
+//# sourceMappingURL=baseline.d.ts.map

package/packages/tools/lib/conformance/baseline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"baseline.d.ts","sourceRoot":"","sources":["../../src/conformance/baseline.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAsB,KAAK,iBAAiB,EAAE,MAAM,UAAU,CAAC;AACtE,OAAO,EAAsB,KAAK,aAAa,EAAE,MAAM,eAAe,CAAC;AACvE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAElD,MAAM,WAAW,kBAAkB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC;IAC1B,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,kBAAkB;IAC/B,UAAU,EAAE,OAAO,CAAC;IACpB,2CAA2C;IAC3C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,kBAAkB,EAAE,CAAC;CACrC;AAgCD,wBAAgB,0BAA0B,CACtC,QAAQ,EAAE,iBAAiB,EAC3B,OAAO,EAAE,iBAAiB,GAC3B,kBAAkB,CAiDpB;AAED,wBAAgB,sBAAsB,CAClC,QAAQ,EAAE,aAAa,EACvB,OAAO,EAAE,aAAa,GACvB,kBAAkB,CAoCpB;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAC9B,QAAQ,EAAE,iBAAiB,EAC3B,OAAO,EAAE,iBAAiB,GAC3B,kBAAkB,CAmCpB;AAED,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,kBAAkB,GAAG,MAAM,CAY/E"}