@memoarchitect/tools 0.13.2 → 0.15.0

package/packages/tools/lib/toolchain/source-fingerprint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-fingerprint.d.ts","sourceRoot":"","sources":["../../src/toolchain/source-fingerprint.ts"],"names":[],"mappings":"AAcA,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAe5D"}

package/packages/tools/lib/toolchain/source-fingerprint.js

@@ -0,0 +1,30 @@
+// ─── Source fingerprint ──────────────────────────────────────────────────────
+//
+// What a compile of a project read: every project and library file it
+// compiles, by path and content, and the project's settings. A process that
+// keeps a compiled model (`memo dev`) records the fingerprint taken before the
+// compile; a model is current for exactly as long as the fingerprint is
+// unchanged, whichever compiler built it.
+// ─────────────────────────────────────────────────────────────────────────────
+import { createHash } from 'node:crypto';
+import { readFileSync } from 'node:fs';
+import { loadProjectSettings } from '@memoarchitect/tools';
+import { discoverProjectSources } from '../model/native-project.js';
+export function sourceFingerprint(projectDir) {
+    const sources = discoverProjectSources(projectDir);
+    const hash = createHash('sha256');
+    hash.update(JSON.stringify(loadProjectSettings(projectDir)));
+    for (const file of [...new Set([...sources.projectFiles, ...sources.libraryFiles])].sort()) {
+        hash.update('\0');
+        hash.update(file);
+        hash.update('\0');
+        try {
+            hash.update(readFileSync(file));
+        }
+        catch {
+            hash.update('\0missing');
+        }
+    }
+    return hash.digest('hex');
+}
+//# sourceMappingURL=source-fingerprint.js.map

package/packages/tools/lib/toolchain/source-fingerprint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-fingerprint.js","sourceRoot":"","sources":["../../src/toolchain/source-fingerprint.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,sEAAsE;AACtE,4EAA4E;AAC5E,+EAA+E;AAC/E,wEAAwE;AACxE,0CAA0C;AAC1C,gFAAgF;AAEhF,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AAEpE,MAAM,UAAU,iBAAiB,CAAC,UAAkB;IAChD,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC7D,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACzF,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClB,IAAI,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACpC,CAAC;QAAC,MAAM,CAAC;YACL,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAC7B,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC"}

package/packages/tools/lib/toolchain/user-settings-status.d.ts

@@ -0,0 +1,51 @@
+import type { ToolchainConfig } from '../model/config.js';
+import type { ProviderRegistry, ToolchainSchemaLeaf } from './registry.js';
+/** A request the settings commands refuse; reported as a message, not a crash. */
+export declare class ConfigSettingError extends Error {
+    constructor(message: string);
+}
+/** The setting a path names, if it is the user's; otherwise the reason it is not settable here. */
+export declare function userLeaf(path: string, registry: ProviderRegistry): ToolchainSchemaLeaf;
+/** One setting and the layers that speak to it, the deciding one first. */
+export interface UserSettingReport {
+    path: string;
+    value?: string;
+    /** The layer that decided: `command line`, `environment`, `user settings`, `project`, or none. */
+    layer?: string;
+    layers: {
+        layer: string;
+        value: string;
+    }[];
+}
+export declare function userSettingReports(registry: ProviderRegistry, commandLine?: ToolchainConfig, env?: NodeJS.ProcessEnv, 
+/** The `toolchain` block of the project's own settings file, when there is one. */
+project?: ToolchainConfig, 
+/** Include the low-level overrides (where a tool is, the two roles the compiler fills). */
+all?: boolean): UserSettingReport[];
+/** Set (or, with `undefined`, remove) one of the user's settings, validated against the registry. Returns the file. */
+export declare function applyUserSetting(path: string, value: string | undefined, registry: ProviderRegistry): {
+    file: string;
+    changed: boolean;
+};
+/**
+ * Set (or, with `undefined`, remove) one of the project's settings in its own,
+ * checked-in settings file. A tool's place on one machine is refused: it would
+ * be wrong for everyone who clones the project.
+ */
+export declare function applyProjectSetting(projectRoot: string, path: string, value: string | undefined, registry: ProviderRegistry): {
+    file: string;
+    changed: boolean;
+};
+/** What a browser or a command shows: the user's settings and the choices each may take. */
+export interface UserToolchainStatus {
+    file: string;
+    settings: (UserSettingReport & {
+        description: string;
+        type: ToolchainSchemaLeaf['type'];
+        values?: readonly string[];
+    })[];
+    /** True when the environment variable decides the compiler, so a saved choice is not what runs. */
+    compilerFromEnvironment: boolean;
+}
+export declare function userToolchainStatus(registry: ProviderRegistry, commandLine?: ToolchainConfig, env?: NodeJS.ProcessEnv, project?: ToolchainConfig): UserToolchainStatus;
+//# sourceMappingURL=user-settings-status.d.ts.map

package/packages/tools/lib/toolchain/user-settings-status.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"user-settings-status.d.ts","sourceRoot":"","sources":["../../src/toolchain/user-settings-status.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAS1D,OAAO,KAAK,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAE3E,kFAAkF;AAClF,qBAAa,kBAAmB,SAAQ,KAAK;gBAC7B,OAAO,EAAE,MAAM;CAI9B;AAED,mGAAmG;AACnG,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,gBAAgB,GAAG,mBAAmB,CActF;AAWD,2EAA2E;AAC3E,MAAM,WAAW,iBAAiB;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,kGAAkG;IAClG,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC9C;AAED,wBAAgB,kBAAkB,CAC9B,QAAQ,EAAE,gBAAgB,EAC1B,WAAW,GAAE,eAAoB,EACjC,GAAG,GAAE,MAAM,CAAC,UAAwB;AACpC,mFAAmF;AACnF,OAAO,GAAE,eAAoB;AAC7B,2FAA2F;AAC3F,GAAG,UAAQ,GACZ,iBAAiB,EAAE,CAcrB;AAGD,uHAAuH;AACvH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,EAAE,QAAQ,EAAE,gBAAgB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CASxI;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAC/B,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,EAAE,QAAQ,EAAE,gBAAgB,GACzF;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAgBpC;AAED,4FAA4F;AAC5F,MAAM,WAAW,mBAAmB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,CAAC,iBAAiB,GAAG;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC,EAAE,CAAC;IACzH,mGAAmG;IACnG,uBAAuB,EAAE,OAAO,CAAC;CACpC;AAED,wBAAgB,mBAAmB,CAC/B,QAAQ,EAAE,gBAAgB,EAAE,WAAW,GAAE,eAAoB,EAAE,GAAG,GAAE,MAAM,CAAC,UAAwB,EAAE,OAAO,GAAE,eAAoB,GACnI,mBAAmB,CAUrB"}

package/packages/tools/lib/toolchain/user-settings-status.js

@@ -0,0 +1,104 @@
+// ─── The user's own toolchain settings: what they are, which layer decided ───
+//
+// One implementation for `memo config` and for Architect's settings panel, so
+// the command line and the browser cannot disagree about which settings are
+// the user's (the registry says: `scope: 'user'`), what a value may be, or
+// which layer decided it.
+// ─────────────────────────────────────────────────────────────────────────────
+import { setUserToolchainSetting, unsetUserToolchainSetting, USER_COMPILER_ENV, userFileToolchain, userSettingsPath, } from '../model/user-settings.js';
+import { setProjectToolchainSetting, unsetProjectToolchainSetting } from '../model/project-settings.js';
+/** A request the settings commands refuse; reported as a message, not a crash. */
+export class ConfigSettingError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'ConfigSettingError';
+    }
+}
+/** The setting a path names, if it is the user's; otherwise the reason it is not settable here. */
+export function userLeaf(path, registry) {
+    const leaves = registry.schema();
+    const leaf = leaves.find(l => l.path === path);
+    const userPaths = leaves.filter(l => l.scope === 'user' || l.scope === 'shared').map(l => l.path);
+    if (!leaf) {
+        throw new ConfigSettingError(`"${path}" is not a toolchain setting. The settings that are yours to set: ${userPaths.join(', ')}.`);
+    }
+    if (leaf.scope !== 'user' && leaf.scope !== 'shared') {
+        throw new ConfigSettingError(`toolchain.${path} is a project setting: it is checked in with the project, so it is set in the project's settings file, `
+            + `not in your own. The settings that are yours to set: ${userPaths.join(', ')}.`);
+    }
+    return leaf;
+}
+function valueAt(toolchain, path) {
+    let value = toolchain;
+    for (const step of path.split('.')) {
+        if (!value || typeof value !== 'object')
+            return undefined;
+        value = value[step];
+    }
+    return value;
+}
+export function userSettingReports(registry, commandLine = {}, env = process.env, 
+/** The `toolchain` block of the project's own settings file, when there is one. */
+project = {}, 
+/** Include the low-level overrides (where a tool is, the two roles the compiler fills). */
+all = false) {
+    const file = userFileToolchain(env);
+    // What a user meets is the choice of compiler; where its tools are is found, not asked.
+    return registry.schema().filter(leaf => (leaf.scope === 'user' || leaf.scope === 'shared') && (all || !leaf.advanced)).map(leaf => {
+        const layers = [];
+        const add = (layer, value) => {
+            if (typeof value === 'string' && value.length > 0)
+                layers.push({ layer, value });
+        };
+        add('command line', valueAt(commandLine, leaf.path));
+        if (leaf.path === 'compiler')
+            add('environment', env[USER_COMPILER_ENV]?.trim());
+        add('user settings', valueAt(file, leaf.path));
+        add('project', valueAt(project, leaf.path));
+        return { path: leaf.path, value: layers[0]?.value, layer: layers[0]?.layer, layers };
+    });
+}
+/** Set (or, with `undefined`, remove) one of the user's settings, validated against the registry. Returns the file. */
+export function applyUserSetting(path, value, registry) {
+    const leaf = userLeaf(path, registry);
+    if (value === undefined) {
+        return { file: userSettingsPath(), changed: unsetUserToolchainSetting(path) };
+    }
+    if (leaf.type === 'enum' && leaf.values && !leaf.values.includes(value)) {
+        throw new ConfigSettingError(`toolchain.${path} is one of ${leaf.values.join(', ')}, not "${value}".`);
+    }
+    return { file: setUserToolchainSetting(path, value), changed: true };
+}
+/**
+ * Set (or, with `undefined`, remove) one of the project's settings in its own,
+ * checked-in settings file. A tool's place on one machine is refused: it would
+ * be wrong for everyone who clones the project.
+ */
+export function applyProjectSetting(projectRoot, path, value, registry) {
+    const leaf = registry.schema().find(l => l.path === path);
+    if (!leaf) {
+        throw new ConfigSettingError(`"${path}" is not a toolchain setting.`);
+    }
+    if (leaf.scope === 'user') {
+        throw new ConfigSettingError(`toolchain.${path} says where a tool is on one machine, so it is not set in the project: it would be wrong for everyone else. `
+            + `Set it for yourself: memo-architect config set ${path} <value> (your settings file: ${userSettingsPath()}).`);
+    }
+    if (value === undefined)
+        return unsetProjectToolchainSetting(projectRoot, path);
+    if (leaf.type === 'enum' && leaf.values && !leaf.values.includes(value)) {
+        throw new ConfigSettingError(`toolchain.${path} is one of ${leaf.values.join(', ')}, not "${value}".`);
+    }
+    return { file: setProjectToolchainSetting(projectRoot, path, value), changed: true };
+}
+export function userToolchainStatus(registry, commandLine = {}, env = process.env, project = {}) {
+    const leaves = new Map(registry.schema().map(leaf => [leaf.path, leaf]));
+    return {
+        file: userSettingsPath(env),
+        settings: userSettingReports(registry, commandLine, env, project).map(report => {
+            const leaf = leaves.get(report.path);
+            return { ...report, description: leaf.description, type: leaf.type, ...(leaf.values ? { values: leaf.values } : {}) };
+        }),
+        compilerFromEnvironment: Boolean(env[USER_COMPILER_ENV]?.trim()),
+    };
+}
+//# sourceMappingURL=user-settings-status.js.map

package/packages/tools/lib/toolchain/user-settings-status.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"user-settings-status.js","sourceRoot":"","sources":["../../src/toolchain/user-settings-status.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,4EAA4E;AAC5E,2EAA2E;AAC3E,0BAA0B;AAC1B,gFAAgF;AAGhF,OAAO,EACH,uBAAuB,EACvB,yBAAyB,EACzB,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,0BAA0B,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAGxG,kFAAkF;AAClF,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IACzC,YAAY,OAAe;QACvB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACrC,CAAC;CACJ;AAED,mGAAmG;AACnG,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,QAA0B;IAC7D,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClG,IAAI,CAAC,IAAI,EAAE,CAAC;QACR,MAAM,IAAI,kBAAkB,CAAC,IAAI,IAAI,qEAAqE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvI,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACnD,MAAM,IAAI,kBAAkB,CACxB,aAAa,IAAI,yGAAyG;cACxH,wDAAwD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACpF,CAAC;IACN,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,OAAO,CAAC,SAA0B,EAAE,IAAY;IACrD,IAAI,KAAK,GAAY,SAAS,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC1D,KAAK,GAAI,KAAiC,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAWD,MAAM,UAAU,kBAAkB,CAC9B,QAA0B,EAC1B,cAA+B,EAAE,EACjC,MAAyB,OAAO,CAAC,GAAG;AACpC,mFAAmF;AACnF,UAA2B,EAAE;AAC7B,2FAA2F;AAC3F,GAAG,GAAG,KAAK;IAEX,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;IACpC,wFAAwF;IACxF,OAAO,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;QAC9H,MAAM,MAAM,GAAuC,EAAE,CAAC;QACtD,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,KAAc,EAAE,EAAE;YAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QACrF,CAAC,CAAC;QACF,GAAG,CAAC,cAAc,EAAE,OAAO,CAAC,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACrD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,GAAG,CAAC,aAAa,EAAE,GAAG,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QACjF,GAAG,CAAC,eAAe,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/C,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5C,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACzF,CAAC,CAAC,CAAC;AACP,CAAC;AAGD,uHAAuH;AACvH,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,KAAyB,EAAE,QAA0B;IAChG,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACtC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,OAAO,EAAE,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;IAClF,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,kBAAkB,CAAC,aAAa,IAAI,cAAc,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,uBAAuB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACzE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAC/B,WAAmB,EAAE,IAAY,EAAE,KAAyB,EAAE,QAA0B;IAExF,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC1D,IAAI,CAAC,IAAI,EAAE,CAAC;QACR,MAAM,IAAI,kBAAkB,CAAC,IAAI,IAAI,+BAA+B,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QACxB,MAAM,IAAI,kBAAkB,CACxB,aAAa,IAAI,8GAA8G;cAC7H,kDAAkD,IAAI,iCAAiC,gBAAgB,EAAE,IAAI,CAClH,CAAC;IACN,CAAC;IACD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,4BAA4B,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAChF,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,kBAAkB,CAAC,aAAa,IAAI,cAAc,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,0BAA0B,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACzF,CAAC;AAUD,MAAM,UAAU,mBAAmB,CAC/B,QAA0B,EAAE,cAA+B,EAAE,EAAE,MAAyB,OAAO,CAAC,GAAG,EAAE,UAA2B,EAAE;IAElI,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACzE,OAAO;QACH,IAAI,EAAE,gBAAgB,CAAC,GAAG,CAAC;QAC3B,QAAQ,EAAE,kBAAkB,CAAC,QAAQ,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;YAC3E,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAE,CAAC;YACtC,OAAO,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAC1H,CAAC,CAAC;QACF,uBAAuB,EAAE,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,IAAI,EAAE,CAAC;KACnE,CAAC;AACN,CAAC"}

package/packages/tools/lib/validator/architecture-validator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"architecture-validator.d.ts","sourceRoot":"","sources":["../../src/validator/architecture-validator.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAe,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAQ9D;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAChC,KAAK,EAAE,SAAS,EAChB,aAAa,CAAC,EAAE,MAAM,EACtB,YAAY,CAAC,EAAE,YAAY,GAC5B,SAAS,EAAE,CAuEb"}
+{"version":3,"file":"architecture-validator.d.ts","sourceRoot":"","sources":["../../src/validator/architecture-validator.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAe,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAS9D;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAChC,KAAK,EAAE,SAAS,EAChB,aAAa,CAAC,EAAE,MAAM,EACtB,YAAY,CAAC,EAAE,YAAY,GAC5B,SAAS,EAAE,CAuEb"}

package/packages/tools/lib/validator/architecture-validator.js

@@ -9,7 +9,8 @@ const COMPOSITION_TYPES = new Set(['composes', 'composedof', 'decomposedby', 'ag
 // These are interface/flow relations. Trace, allocation, deployment, and
 // satisfaction links are meaningful model relations, but do not make a block
 // connected in an internal block diagram.
-const CONNECTOR_TYPES = new Set(['exchangeswith', 'flow', 'logicalexchange', 'logicalconnector', 'connectsto', 'itemflow']);
+// `interface` is a SysML interface usage (`interface x : Icd connect a to b;`), a connector between two parts.
+const CONNECTOR_TYPES = new Set(['exchangeswith', 'flow', 'logicalexchange', 'logicalconnector', 'connectsto', 'itemflow', 'interface']);
 /**
  * Warn on a structural part nested in another part when neither it nor a
  * descendant has a modeled IBD connector. A warning, rather than an error,

package/packages/tools/lib/validator/architecture-validator.js.map

@@ -1 +1 @@
-{"version":3,"file":"architecture-validator.js","sourceRoot":"","sources":["../../src/validator/architecture-validator.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,2EAA2E;AAC3E,4EAA4E;AAC5E,8EAA8E;AAC9E,yDAAyD;AACzD,gFAAgF;AAMhF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,cAAc,EAAE,aAAa,CAAC,CAAC,CAAC;AAC7F,yEAAyE;AACzE,6EAA6E;AAC7E,0CAA0C;AAC1C,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,MAAM,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;AAE5H;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAChC,KAAgB,EAChB,aAAsB,EACtB,YAA2B;IAE3B,wEAAwE;IACxE,0EAA0E;IAC1E,wCAAwC;IACxC,MAAM,OAAO,GAAG,CAAC,OAAoB,EAAW,EAAE;QAC9C,IAAI,CAAC,aAAa,IAAI,CAAC,YAAY;YAAE,OAAO,IAAI,CAAC;QACjD,IAAI,IAAI,GAAuB,OAAO,CAAC,IAAI,CAAC;QAC5C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,IAAI,IAAI,KAAK,aAAa;gBAAE,OAAO,IAAI,CAAC;YACxC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;QACjD,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IAChG,CAAC;IAED,MAAM,cAAc,GAAG,CAAC,EAAU,EAAsB,EAAE;QACtD,IAAI,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;YACtC,IAAI,OAAO,CAAC,SAAS,KAAK,MAAM;gBAAE,OAAO,OAAO,CAAC,EAAE,CAAC;YACpD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACrB,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,aAAa,GAAG,CAAC,MAA0B,EAAE,EAAE;QACjD,IAAI,OAAO,GAAG,MAAM,CAAC;QACrB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACvB,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAClB,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpC,CAAC;IACL,CAAC,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YAAE,SAAS;QAC3D,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,IAAI,UAAU,KAAK,UAAU;YAAE,SAAS;QACtE,aAAa,CAAC,UAAU,CAAC,CAAC;QAC1B,aAAa,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,IAAI,OAAO,CAAC,SAAS,KAAK,MAAM;YAAE,SAAS;QAC3C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,SAAS;QAChC,qEAAqE;QACrE,oDAAoD;QACpD,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAAE,SAAS;QACtF,UAAU,CAAC,IAAI,CAAC;YACZ,MAAM,EAAE,YAAY;YACpB,WAAW,EAAE,SAAS,OAAO,CAAC,IAAI,gDAAgD,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,IAAI,GAAG;YACvH,QAAQ,EAAE,SAAS;YACnB,SAAS,EAAE,OAAO,CAAC,EAAE;YACrB,WAAW,EAAE,OAAO,CAAC,IAAI;YACzB,WAAW,EAAE,OAAO,CAAC,IAAI;YACzB,KAAK,EAAE,OAAO,CAAC,KAAK;SACvB,CAAC,CAAC;IACP,CAAC;IACD,OAAO,UAAU,CAAC;AACtB,CAAC"}
+{"version":3,"file":"architecture-validator.js","sourceRoot":"","sources":["../../src/validator/architecture-validator.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,EAAE;AACF,2EAA2E;AAC3E,4EAA4E;AAC5E,8EAA8E;AAC9E,yDAAyD;AACzD,gFAAgF;AAMhF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,cAAc,EAAE,aAAa,CAAC,CAAC,CAAC;AAC7F,yEAAyE;AACzE,6EAA6E;AAC7E,0CAA0C;AAC1C,+GAA+G;AAC/G,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,MAAM,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;AAEzI;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAChC,KAAgB,EAChB,aAAsB,EACtB,YAA2B;IAE3B,wEAAwE;IACxE,0EAA0E;IAC1E,wCAAwC;IACxC,MAAM,OAAO,GAAG,CAAC,OAAoB,EAAW,EAAE;QAC9C,IAAI,CAAC,aAAa,IAAI,CAAC,YAAY;YAAE,OAAO,IAAI,CAAC;QACjD,IAAI,IAAI,GAAuB,OAAO,CAAC,IAAI,CAAC;QAC5C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,IAAI,IAAI,KAAK,aAAa;gBAAE,OAAO,IAAI,CAAC;YACxC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;QACjD,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IAChG,CAAC;IAED,MAAM,cAAc,GAAG,CAAC,EAAU,EAAsB,EAAE;QACtD,IAAI,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;YACtC,IAAI,OAAO,CAAC,SAAS,KAAK,MAAM;gBAAE,OAAO,OAAO,CAAC,EAAE,CAAC;YACpD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACrB,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,aAAa,GAAG,CAAC,MAA0B,EAAE,EAAE;QACjD,IAAI,OAAO,GAAG,MAAM,CAAC;QACrB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACvB,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAClB,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpC,CAAC;IACL,CAAC,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YAAE,SAAS;QAC3D,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,IAAI,UAAU,KAAK,UAAU;YAAE,SAAS;QACtE,aAAa,CAAC,UAAU,CAAC,CAAC;QAC1B,aAAa,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,IAAI,OAAO,CAAC,SAAS,KAAK,MAAM;YAAE,SAAS;QAC3C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,SAAS;QAChC,qEAAqE;QACrE,oDAAoD;QACpD,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAAE,SAAS;QACtF,UAAU,CAAC,IAAI,CAAC;YACZ,MAAM,EAAE,YAAY;YACpB,WAAW,EAAE,SAAS,OAAO,CAAC,IAAI,gDAAgD,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,IAAI,GAAG;YACvH,QAAQ,EAAE,SAAS;YACnB,SAAS,EAAE,OAAO,CAAC,EAAE;YACrB,WAAW,EAAE,OAAO,CAAC,IAAI;YACzB,WAAW,EAAE,OAAO,CAAC,IAAI;YACzB,KAAK,EAAE,OAAO,CAAC,KAAK;SACvB,CAAC,CAAC;IACP,CAAC;IACD,OAAO,UAAU,CAAC;AACtB,CAAC"}

package/packages/tools/lib/validator/behavior-validator.js

@@ -12,7 +12,7 @@
 // the allocation, properly scoped; CR-MED-023 now requires the connection.
 //
 // This one stays because it is neither: it is a TYPE check, and it is not the
-// ontology's to make. SysIDE — the compiler of record — accepts a flow whose
+// ontology's to make. A SysML v2 compiler accepts a flow whose
 // payload matches neither end's parameters (measured, not assumed), and the
 // constraint grammar cannot compare a flow's item type against the direction
 // and type of a parameter on the action at each end.

package/packages/tools/lib/validator/behavior-validator.js.map

@@ -1 +1 @@
-{"version":3,"file":"behavior-validator.js","sourceRoot":"","sources":["../../src/validator/behavior-validator.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,kEAAkE;AAClE,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,6EAA6E;AAC7E,6EAA6E;AAC7E,2EAA2E;AAC3E,+EAA+E;AAC/E,8EAA8E;AAC9E,2EAA2E;AAC3E,EAAE;AACF,8EAA8E;AAC9E,6EAA6E;AAC7E,4EAA4E;AAC5E,6EAA6E;AAC7E,qDAAqD;AACrD,gFAAgF;AAKhF;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAgB;IAC7C,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,yEAAyE;IACzE,yEAAyE;IACzE,4DAA4D;IAC5D,MAAM,SAAS,GAAG,IAAI,GAAG,EAA6B,CAAC;IACvD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,IAAI,OAAO,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,YAAY;YAAE,SAAS;QACtE,IAAI,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtD,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;YAC9C,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QACpD,CAAC;IACL,CAAC;IAED,qEAAqE;IACrE,2EAA2E;IAC3E,4CAA4C;IAC5C,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,GAAG,CAAC,QAAQ;YAAE,SAAS;QAEnD,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;YAAE,SAAS;QAEjC,+EAA+E;QAC/E,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAClD,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAElD,yDAAyD;QACzD,IAAI,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1C,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,KAAK,IAAI,CAAC,CAAC,SAAS,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,CACrF,CAAC;YACF,IAAI,CAAC,WAAW,EAAE,CAAC;gBACf,UAAU,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,QAAQ;oBAChB,WAAW,EAAE,YAAY,GAAG,CAAC,QAAQ,eAAe,MAAM,CAAC,IAAI,oCAAoC;oBACnG,QAAQ,EAAE,OAAO;oBACjB,SAAS,EAAE,MAAM,CAAC,EAAE;oBACpB,WAAW,EAAE,MAAM,CAAC,IAAI;oBACxB,WAAW,EAAE,MAAM,CAAC,IAAI;oBACxB,KAAK,EAAE,MAAM,CAAC,KAAK;iBACtB,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAED,wDAAwD;QACxD,IAAI,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1C,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC,CAAC,SAAS,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,CACpF,CAAC;YACF,IAAI,CAAC,WAAW,EAAE,CAAC;gBACf,UAAU,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,QAAQ;oBAChB,WAAW,EAAE,YAAY,GAAG,CAAC,QAAQ,eAAe,MAAM,CAAC,IAAI,mCAAmC;oBAClG,QAAQ,EAAE,OAAO;oBACjB,SAAS,EAAE,MAAM,CAAC,EAAE;oBACpB,WAAW,EAAE,MAAM,CAAC,IAAI;oBACxB,WAAW,EAAE,MAAM,CAAC,IAAI;oBACxB,KAAK,EAAE,MAAM,CAAC,KAAK;iBACtB,CAAC,CAAC;YACP,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,uFAAuF;AACvF,SAAS,SAAS,CACd,OAAoB,EACpB,SAAyC;IAEzC,IAAI,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtD,OAAO,OAAO,CAAC,UAAU,CAAC;IAC9B,CAAC;IACD,+CAA+C;IAC/C,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IACpD,IAAI,UAAU,EAAE,CAAC;QACb,OAAO,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC"}
+{"version":3,"file":"behavior-validator.js","sourceRoot":"","sources":["../../src/validator/behavior-validator.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,EAAE;AACF,kEAAkE;AAClE,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,6EAA6E;AAC7E,6EAA6E;AAC7E,2EAA2E;AAC3E,+EAA+E;AAC/E,8EAA8E;AAC9E,2EAA2E;AAC3E,EAAE;AACF,8EAA8E;AAC9E,+DAA+D;AAC/D,4EAA4E;AAC5E,6EAA6E;AAC7E,qDAAqD;AACrD,gFAAgF;AAKhF;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAgB;IAC7C,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,yEAAyE;IACzE,yEAAyE;IACzE,4DAA4D;IAC5D,MAAM,SAAS,GAAG,IAAI,GAAG,EAA6B,CAAC;IACvD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,IAAI,OAAO,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,YAAY;YAAE,SAAS;QACtE,IAAI,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtD,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;YAC9C,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QACpD,CAAC;IACL,CAAC;IAED,qEAAqE;IACrE,2EAA2E;IAC3E,4CAA4C;IAC5C,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,GAAG,CAAC,QAAQ;YAAE,SAAS;QAEnD,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM;YAAE,SAAS;QAEjC,+EAA+E;QAC/E,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAClD,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAElD,yDAAyD;QACzD,IAAI,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1C,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,KAAK,IAAI,CAAC,CAAC,SAAS,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,CACrF,CAAC;YACF,IAAI,CAAC,WAAW,EAAE,CAAC;gBACf,UAAU,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,QAAQ;oBAChB,WAAW,EAAE,YAAY,GAAG,CAAC,QAAQ,eAAe,MAAM,CAAC,IAAI,oCAAoC;oBACnG,QAAQ,EAAE,OAAO;oBACjB,SAAS,EAAE,MAAM,CAAC,EAAE;oBACpB,WAAW,EAAE,MAAM,CAAC,IAAI;oBACxB,WAAW,EAAE,MAAM,CAAC,IAAI;oBACxB,KAAK,EAAE,MAAM,CAAC,KAAK;iBACtB,CAAC,CAAC;YACP,CAAC;QACL,CAAC;QAED,wDAAwD;QACxD,IAAI,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1C,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC,CAAC,SAAS,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,CACpF,CAAC;YACF,IAAI,CAAC,WAAW,EAAE,CAAC;gBACf,UAAU,CAAC,IAAI,CAAC;oBACZ,MAAM,EAAE,QAAQ;oBAChB,WAAW,EAAE,YAAY,GAAG,CAAC,QAAQ,eAAe,MAAM,CAAC,IAAI,mCAAmC;oBAClG,QAAQ,EAAE,OAAO;oBACjB,SAAS,EAAE,MAAM,CAAC,EAAE;oBACpB,WAAW,EAAE,MAAM,CAAC,IAAI;oBACxB,WAAW,EAAE,MAAM,CAAC,IAAI;oBACxB,KAAK,EAAE,MAAM,CAAC,KAAK;iBACtB,CAAC,CAAC;YACP,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,uFAAuF;AACvF,SAAS,SAAS,CACd,OAAoB,EACpB,SAAyC;IAEzC,IAAI,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtD,OAAO,OAAO,CAAC,UAAU,CAAC;IAC9B,CAAC;IACD,+CAA+C;IAC/C,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IACpD,IAAI,UAAU,EAAE,CAAC;QACb,OAAO,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC"}

package/packages/tools/lib/validator/builtin-rules.js

@@ -10,7 +10,7 @@
 //
 // This list is the single source of that truth. `rulesEvaluated` was
 // `6 + nativeConstraints.length` — a literal with no way to stay correct — and
-// `memo rules list` did not know these rules existed at all, so the two
+// `memo validate --rules` did not know these rules existed at all, so the two
 // commands reported different totals for the same project.
 //
 // Built-in rules are NOT tailorable. A `RulePolicy` references a rule by its

package/packages/tools/lib/validator/builtin-rules.js.map

@@ -1 +1 @@
-{"version":3,"file":"builtin-rules.js","sourceRoot":"","sources":["../../src/validator/builtin-rules.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,+EAA+E;AAC/E,gFAAgF;AAChF,8EAA8E;AAC9E,uCAAuC;AACvC,EAAE;AACF,qEAAqE;AACrE,+EAA+E;AAC/E,wEAAwE;AACxE,2DAA2D;AAC3D,EAAE;AACF,6EAA6E;AAC7E,yEAAyE;AACzE,gFAAgF;AAChF,8DAA8D;AAC9D,EAAE;AACF,+EAA+E;AAC/E,yEAAyE;AACzE,+EAA+E;AAC/E,8EAA8E;AAC9E,+EAA+E;AAC/E,+DAA+D;AAC/D,gFAAgF;AAgBhF,MAAM,CAAC,MAAM,aAAa,GAA2B;IACjD,2EAA2E;IAC3E,mEAAmE;IACnE,uEAAuE;IACvE,yEAAyE;IACzE,0EAA0E;IAC1E,yCAAyC;IACzC;QACI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,kCAAkC,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO;QAChG,UAAU,EAAE,KAAK;QACjB,uEAAuE;QACvE,wEAAwE;QACxE,wEAAwE;QACxE,mCAAmC;QACnC,WAAW,EAAE,uGAAuG;KACvH;IACD;QACI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,uBAAuB,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO;QACrF,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,wFAAwF;KACxG;IACD;QACI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,wBAAwB,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS;QACrF,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,4CAA4C;KAC5D;IACD;QACI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,oBAAoB,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS;QACjF,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,yDAAyD;KACzE;IACD;QACI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,6BAA6B,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO;QACxF,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,wEAAwE;KACxF;CACJ,CAAC;AAEF,kDAAkD;AAClD,MAAM,CAAC,MAAM,gBAAgB,GAAsB,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC"}
+{"version":3,"file":"builtin-rules.js","sourceRoot":"","sources":["../../src/validator/builtin-rules.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,EAAE;AACF,gFAAgF;AAChF,EAAE;AACF,8EAA8E;AAC9E,+EAA+E;AAC/E,gFAAgF;AAChF,8EAA8E;AAC9E,uCAAuC;AACvC,EAAE;AACF,qEAAqE;AACrE,+EAA+E;AAC/E,8EAA8E;AAC9E,2DAA2D;AAC3D,EAAE;AACF,6EAA6E;AAC7E,yEAAyE;AACzE,gFAAgF;AAChF,8DAA8D;AAC9D,EAAE;AACF,+EAA+E;AAC/E,yEAAyE;AACzE,+EAA+E;AAC/E,8EAA8E;AAC9E,+EAA+E;AAC/E,+DAA+D;AAC/D,gFAAgF;AAgBhF,MAAM,CAAC,MAAM,aAAa,GAA2B;IACjD,2EAA2E;IAC3E,mEAAmE;IACnE,uEAAuE;IACvE,yEAAyE;IACzE,0EAA0E;IAC1E,yCAAyC;IACzC;QACI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,kCAAkC,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO;QAChG,UAAU,EAAE,KAAK;QACjB,uEAAuE;QACvE,wEAAwE;QACxE,wEAAwE;QACxE,mCAAmC;QACnC,WAAW,EAAE,uGAAuG;KACvH;IACD;QACI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,uBAAuB,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO;QACrF,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,wFAAwF;KACxG;IACD;QACI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,wBAAwB,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS;QACrF,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,4CAA4C;KAC5D;IACD;QACI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,oBAAoB,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS;QACjF,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,yDAAyD;KACzE;IACD;QACI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,6BAA6B,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO;QACxF,UAAU,EAAE,KAAK;QACjB,WAAW,EAAE,wEAAwE;KACxF;CACJ,CAAC;AAEF,kDAAkD;AAClD,MAAM,CAAC,MAAM,gBAAgB,GAAsB,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC"}

package/packages/tools/lib/validator/constraint-eval.d.ts

@@ -1,6 +1,5 @@
 import type { MemoModel, MemoElement } from '../model/semantic.js';
 import type { Violation } from './types.js';
-import type { ConstraintExpr } from '../language/generated/ast.js';
 import type { KindRegistry } from '../model/kind-registry.js';
 /** A constraint authored as a KerML-subset boolean expression over a subject element. */
 export interface NativeConstraint {
@@ -25,7 +24,19 @@ export interface NativeConstraint {
     tailoring?: 'invariant' | 'assurance' | 'methodology';
     /** File the rule is declared in. */
     sourceFile?: string;
+    /** Why the rule exists: `modelling`, `medicalDevice` or `organisation`. Absent when the rule states none. */
+    domain?: RuleDomain;
+    /** `required`, `recommended` or `bestPractice`, as the rule states it. Absent when it states none. */
+    obligation?: RuleObligation;
+    /**
+     * The qualified names of the standard or guidance clauses the rule enforces,
+     * as the compiler resolved them. Empty or absent for a rule that traces to none.
+     */
+    enforces?: string[];
 }
+export type RuleDomain = 'modelling' | 'medicalDevice' | 'organisation';
+/** How firmly the rule's source asks for what it checks; a rule that states no severity takes one from it. */
+export type RuleObligation = 'required' | 'recommended' | 'bestPractice';
 /** Constraint metadata without the expression body — used by the AST entry point. */
 export type ConstraintMeta = Omit<NativeConstraint, 'expression'>;
 /** A constraint whose boolean body has already been parsed to an evaluator AST. */
@@ -38,9 +49,21 @@ export declare function evaluateNativeConstraint(constraint: NativeConstraint, m
 /**
  * Evaluate a pre-parsed constraint body against every element of its subject kind.
  * This is the shared core used by both the string entry point (above) and the
- * ontology loader, which compiles `constraint def` bodies via {@link langiumExprToNode}.
+ * rule loader, which compiles `constraint def` bodies.
  */
 export declare function evaluateConstraintNode(meta: ConstraintMeta, ast: ConstraintNode, model: MemoModel, kindRegistry?: KindRegistry, inScope?: (element: MemoElement) => boolean): Violation[];
+/**
+ * {@link evaluateConstraintNode}, plus how many subjects the rule ran on.
+ *
+ * The count is what tells a pass from a vacuous one. Both return no
+ * violations; only one of them tested anything.
+ */
+export declare function evaluateConstraintSubjects(meta: ConstraintMeta, ast: ConstraintNode, model: MemoModel, kindRegistry?: KindRegistry, inScope?: (element: MemoElement) => boolean, 
+/** Elements whose trace edges are not evidence here (another system's, under `--workspace`). */
+foreign?: ReadonlySet<string>): {
+    violations: Violation[];
+    subjectCount: number;
+};
 type CmpOp = '==' | '!=' | '>=' | '<=' | '>' | '<';
 type ArithOp = '+' | '-' | '*' | '/';
 type Node = {
@@ -78,6 +101,11 @@ type Node = {
     kind: 'linksOf';
     relationshipType: string;
 }
+/** The element at one end of the current subject, when that subject is an edge. */
+ | {
+    kind: 'edgeEnd';
+    side: 'source' | 'target';
+}
 /** True when the current element's kind is, or specializes, a named kind. */
  | {
     kind: 'conformsTo';
@@ -153,7 +181,5 @@ type Node = {
 /** Public alias for the evaluator AST node (the compiled form of a constraint body). */
 export type ConstraintNode = Node;
 export declare function parseConstraintExpression(src: string): Node;
-/** Map a Langium-parsed constraint expression to the evaluator AST. */
-export declare function langiumExprToNode(expr: ConstraintExpr): Node;
 export {};
 //# sourceMappingURL=constraint-eval.d.ts.map

package/packages/tools/lib/validator/constraint-eval.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"constraint-eval.d.ts","sourceRoot":"","sources":["../../src/validator/constraint-eval.ts"],"names":[],"mappings":"AAkCA,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAE9D,yFAAyF;AACzF,MAAM,WAAW,gBAAgB;IAC7B,2CAA2C;IAC3C,EAAE,EAAE,MAAM,CAAC;IACX,8DAA8D;IAC9D,WAAW,EAAE,MAAM,CAAC;IACpB,8EAA8E;IAC9E,aAAa,EAAE,MAAM,CAAC;IACtB,wEAAwE;IACxE,UAAU,EAAE,MAAM,CAAC;IACnB,2DAA2D;IAC3D,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACvC,iEAAiE;IACjE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iEAAiE;IACjE,SAAS,CAAC,EAAE,WAAW,GAAG,WAAW,GAAG,aAAa,CAAC;IACtD,oCAAoC;IACpC,UAAU,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,qFAAqF;AACrF,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;AAElE,mFAAmF;AACnF,MAAM,WAAW,kBAAmB,SAAQ,cAAc;IACtD,qEAAqE;IACrE,GAAG,EAAE,cAAc,CAAC;CACvB;AAED,6FAA6F;AAC7F,wBAAgB,wBAAwB,CACpC,UAAU,EAAE,gBAAgB,EAC5B,KAAK,EAAE,SAAS,EAChB,YAAY,CAAC,EAAE,YAAY,GAC5B,SAAS,EAAE,CAIb;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAClC,IAAI,EAAE,cAAc,EACpB,GAAG,EAAE,cAAc,EACnB,KAAK,EAAE,SAAS,EAChB,YAAY,CAAC,EAAE,YAAY,EAC3B,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,WAAW,KAAK,OAAO,GAC5C,SAAS,EAAE,CA0Bb;AA2CD,KAAK,KAAK,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,GAAG,GAAG,GAAG,CAAC;AACnD,KAAK,OAAO,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;AAErC,KAAK,IAAI,GACH;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AAChC,gFAAgF;GAC9E;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE;AACtE,sDAAsD;GACpD;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAA;CAAE;AAC/C,yEAAyE;GACvE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAA;CAAE;AACzE,iFAAiF;GAC/E;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAA;CAAE;AAC/C,6EAA6E;GAC3E;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE;AAC1C;;;;;;;;;;;;;;GAcG;GACD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,UAAU,GAAG,YAAY,CAAA;CAAE;AACnF,4EAA4E;GAC1E;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE;AACnD;;;;;GAKG;GACD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,IAAI,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,GACnD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAA;CAAE,GACvE;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACjF;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACnD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,IAAI,CAAA;CAAE,CAAC;AAErC,wFAAwF;AACxF,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC;AA+ClC,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAyK3D;AAwVD,uEAAuE;AACvE,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,cAAc,GAAG,IAAI,CAkC5D"}
+{"version":3,"file":"constraint-eval.d.ts","sourceRoot":"","sources":["../../src/validator/constraint-eval.ts"],"names":[],"mappings":"AAwCA,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAoB,MAAM,sBAAsB,CAAC;AACrF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAG9D,yFAAyF;AACzF,MAAM,WAAW,gBAAgB;IAC7B,2CAA2C;IAC3C,EAAE,EAAE,MAAM,CAAC;IACX,8DAA8D;IAC9D,WAAW,EAAE,MAAM,CAAC;IACpB,8EAA8E;IAC9E,aAAa,EAAE,MAAM,CAAC;IACtB,wEAAwE;IACxE,UAAU,EAAE,MAAM,CAAC;IACnB,2DAA2D;IAC3D,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACvC,iEAAiE;IACjE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iEAAiE;IACjE,SAAS,CAAC,EAAE,WAAW,GAAG,WAAW,GAAG,aAAa,CAAC;IACtD,oCAAoC;IACpC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,6GAA6G;IAC7G,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,sGAAsG;IACtG,UAAU,CAAC,EAAE,cAAc,CAAC;IAC5B;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,MAAM,UAAU,GAAG,WAAW,GAAG,eAAe,GAAG,cAAc,CAAC;AAExE,8GAA8G;AAC9G,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,aAAa,GAAG,cAAc,CAAC;AAEzE,qFAAqF;AACrF,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;AAElE,mFAAmF;AACnF,MAAM,WAAW,kBAAmB,SAAQ,cAAc;IACtD,qEAAqE;IACrE,GAAG,EAAE,cAAc,CAAC;CACvB;AAED,6FAA6F;AAC7F,wBAAgB,wBAAwB,CACpC,UAAU,EAAE,gBAAgB,EAC5B,KAAK,EAAE,SAAS,EAChB,YAAY,CAAC,EAAE,YAAY,GAC5B,SAAS,EAAE,CAIb;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAClC,IAAI,EAAE,cAAc,EACpB,GAAG,EAAE,cAAc,EACnB,KAAK,EAAE,SAAS,EAChB,YAAY,CAAC,EAAE,YAAY,EAC3B,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,WAAW,KAAK,OAAO,GAC5C,SAAS,EAAE,CAEb;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CACtC,IAAI,EAAE,cAAc,EACpB,GAAG,EAAE,cAAc,EACnB,KAAK,EAAE,SAAS,EAChB,YAAY,CAAC,EAAE,YAAY,EAC3B,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,WAAW,KAAK,OAAO;AAC3C,gGAAgG;AAChG,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAC9B;IAAE,UAAU,EAAE,SAAS,EAAE,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,CAmCnD;AAuDD,KAAK,KAAK,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,GAAG,GAAG,GAAG,CAAC;AACnD,KAAK,OAAO,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;AAErC,KAAK,IAAI,GACH;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AAChC,gFAAgF;GAC9E;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE;AACtE,sDAAsD;GACpD;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAA;CAAE;AAC/C,yEAAyE;GACvE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAA;CAAE;AACzE,iFAAiF;GAC/E;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAA;CAAE;AAC/C,mFAAmF;GACjF;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAA;CAAE;AAChD,6EAA6E;GAC3E;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE;AAC1C;;;;;;;;;;;;;;GAcG;GACD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,UAAU,GAAG,YAAY,CAAA;CAAE;AACnF,4EAA4E;GAC1E;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE;AACnD;;;;;GAKG;GACD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,IAAI,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,GACnD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAAA;CAAE,GACvE;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACjF;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACnD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,IAAI,CAAA;CAAE,CAAC;AAErC,wFAAwF;AACxF,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC;AA+ClC,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CA6K3D"}