@weave-kit/engine 0.2.1 → 0.3.0

package/dist/core/object/validate/field.js

@@ -0,0 +1,502 @@
+import { parseFormula } from '../../formula/index.js';
+import { DEFAULT_FIELD_TYPE_REGISTRY, FIELD_TYPE_NAME_PATTERN, fieldBase, } from '../../types/index.js';
+import { FIELD_TYPES, ROW_SCOPE_MARKERS } from '../../types/values.js';
+import { validateLabels } from './labels.js';
+import { fail, isRecord, expectString, expectBoolean, expectNumber, expectPositiveInt, SNAKE_CASE, FIELD_TYPE_VALUES, ON_DELETE_ACTION_VALUES, SEQUENCE_PLACEHOLDER, SEQUENCE_TOKEN_VALUES, SEQUENCE_CYCLE_VALUES, } from './primitives.js';
+/** keys always allowed on any field */
+const BASE_KEYS = ['name', 'type', 'labels', 'description', 'primary', 'system', 'sensitive'];
+/** broad field-type-name shape: built-ins (camelCase) + registered (namespaced) names */
+const FIELD_TYPE_NAME_RE = /^[a-z][a-zA-Z0-9_]*$/;
+/** registered-type name shape (namespace segment required) */
+const REGISTERED_FIELD_TYPE_RE = new RegExp(FIELD_TYPE_NAME_PATTERN);
+/** extra keys allowed per field type */
+const EXTRA_KEYS = {
+    string: ['minLength', 'maxLength', 'regex', 'required', 'unique', 'default', 'formula', ROW_SCOPE_MARKERS.OWNERSHIP, ROW_SCOPE_MARKERS.TEAM],
+    text: ['maxLength', 'required', 'unique', 'default', 'formula'],
+    integer: ['min', 'max', 'required', 'unique', 'default', 'formula'],
+    number: ['min', 'max', 'precision', 'required', 'unique', 'default', 'formula'],
+    currency: ['min', 'max', 'required', 'unique', 'default', 'formula'],
+    boolean: ['required', 'unique', 'default', 'formula'],
+    datetime: ['required', 'unique', 'default'],
+    date: ['required', 'unique', 'default'],
+    json: ['required', 'default'],
+    enum: ['options', 'multiple', 'required', 'unique', 'default'],
+    relation: ['target', 'required', 'unique', 'onDelete'],
+    details: ['target'],
+    multiRelation: ['target', 'required'],
+    seq_no: ['format', 'cycle'],
+    firstName: ['minLength', 'maxLength', 'regex', 'required', 'unique', 'default', 'formula'],
+    lastName: ['minLength', 'maxLength', 'regex', 'required', 'unique', 'default', 'formula'],
+    email: ['minLength', 'maxLength', 'regex', 'required', 'unique', 'default', 'formula'],
+    phone: ['minLength', 'maxLength', 'regex', 'required', 'unique', 'default', 'formula'],
+    image: ['required', 'unique', 'multiple', 'default'],
+    person: ['target', 'required', 'unique', 'onDelete', 'department'],
+    department: ['target', 'required', 'unique', 'onDelete'],
+};
+/** reject any attribute not allowed for the given field type (typo protection) */
+function checkAllowedKeys(record, type, vc) {
+    const allowed = new Set([...BASE_KEYS, ...(EXTRA_KEYS[type] ?? [])]);
+    for (const key of Object.keys(record)) {
+        if (!allowed.has(key))
+            fail(vc, 'field.attr.notAllowed', { type, attr: key });
+    }
+}
+/** type-check a default value against the field type; options = enum option list */
+function validateDefault(value, type, vc, options) {
+    if (value === undefined)
+        return;
+    switch (type) {
+        case FIELD_TYPES.STRING:
+        case FIELD_TYPES.TEXT:
+        case FIELD_TYPES.FIRST_NAME:
+        case FIELD_TYPES.LAST_NAME:
+        case FIELD_TYPES.EMAIL:
+        case FIELD_TYPES.PHONE:
+            if (typeof value !== 'string')
+                fail(vc, 'field.default.string');
+            break;
+        case FIELD_TYPES.IMAGE:
+            if (typeof value !== 'string' && !Array.isArray(value))
+                fail(vc, 'field.default.string');
+            break;
+        case FIELD_TYPES.INTEGER:
+            if (typeof value !== 'number' || !Number.isInteger(value))
+                fail(vc, 'field.default.integer');
+            break;
+        case FIELD_TYPES.NUMBER:
+        case FIELD_TYPES.CURRENCY:
+            if (typeof value !== 'number')
+                fail(vc, 'field.default.number');
+            break;
+        case FIELD_TYPES.BOOLEAN:
+            if (typeof value !== 'boolean')
+                fail(vc, 'field.default.boolean');
+            break;
+        case FIELD_TYPES.DATETIME:
+            if (typeof value !== 'string')
+                fail(vc, 'field.default.iso');
+            break;
+        case FIELD_TYPES.DATE:
+            if (typeof value !== 'string')
+                fail(vc, 'field.default.string');
+            break;
+        case FIELD_TYPES.JSON:
+            break;
+        case FIELD_TYPES.ENUM:
+            if (typeof value !== 'string')
+                fail(vc, 'field.default.string');
+            if (options !== undefined && !options.includes(value))
+                fail(vc, 'field.default.inOptions', { value });
+            break;
+        case FIELD_TYPES.RELATION:
+        case FIELD_TYPES.PERSON:
+        case FIELD_TYPES.DEPARTMENT:
+        case FIELD_TYPES.DETAILS:
+        case FIELD_TYPES.MULTI_RELATION:
+        case FIELD_TYPES.SEQ_NO:
+            fail(vc, 'field.default.notSupported', { type });
+    }
+}
+/** parse a formula expression; fails on syntax errors */
+function parseFormulaAttr(raw, vc) {
+    if (raw.formula === undefined)
+        return undefined;
+    if (typeof raw.formula !== 'string')
+        fail(vc, 'field.attr.string', { attr: 'formula' });
+    try {
+        parseFormula(raw.formula);
+    }
+    catch (err) {
+        fail(vc, 'formula.syntax', { detail: err.message });
+    }
+    return raw.formula;
+}
+/** validate a single field definition into its typed discriminated-union member */
+export function validateField(raw, vc, options = {}) {
+    const allowedFieldTypes = options.allowedFieldTypes;
+    const registry = options.fieldTypes ?? DEFAULT_FIELD_TYPE_REGISTRY;
+    if (!isRecord(raw))
+        fail(vc, 'field.notObject');
+    const name = expectString(raw, 'name', vc);
+    if (name === undefined)
+        fail(vc, 'field.name.required');
+    if (!SNAKE_CASE.test(name))
+        fail(vc, 'field.name.snake', { name });
+    const rawType = raw.type;
+    if (typeof rawType !== 'string' || !FIELD_TYPE_NAME_RE.test(rawType)) {
+        fail(vc, 'field.type.invalid', { type: String(rawType) });
+    }
+    const isBuiltin = FIELD_TYPE_VALUES.includes(rawType);
+    const descriptor = isBuiltin ? undefined : registry.get(rawType);
+    if (!isBuiltin) {
+        if (!REGISTERED_FIELD_TYPE_RE.test(rawType))
+            fail(vc, 'field.type.invalid', { type: rawType });
+        if (descriptor === undefined)
+            fail(vc, 'field.type.unknown', { type: rawType });
+    }
+    if (allowedFieldTypes !== undefined && !allowedFieldTypes.includes(rawType)) {
+        fail(vc, 'field.type.disabled', { type: rawType });
+    }
+    // registered (non-builtin) type → generic, descriptor-driven path
+    if (!isBuiltin && descriptor !== undefined) {
+        return validateRegisteredField(raw, name, rawType, descriptor, vc);
+    }
+    const type = rawType;
+    checkAllowedKeys(raw, type, vc);
+    const labels = validateLabels(raw.labels, vc);
+    const description = expectString(raw, 'description', vc);
+    const primary = expectBoolean(raw, 'primary', vc);
+    const system = expectBoolean(raw, 'system', vc);
+    const sensitive = expectBoolean(raw, 'sensitive', vc);
+    const required = expectBoolean(raw, 'required', vc);
+    const unique = expectBoolean(raw, 'unique', vc);
+    const base = { name, labels, description, primary, system, sensitive };
+    const formula = parseFormulaAttr(raw, vc);
+    switch (type) {
+        case FIELD_TYPES.STRING: {
+            const minLength = expectPositiveInt(raw, 'minLength', vc);
+            const maxLength = expectPositiveInt(raw, 'maxLength', vc);
+            const regex = expectString(raw, 'regex', vc);
+            const ownership = expectBoolean(raw, ROW_SCOPE_MARKERS.OWNERSHIP, vc);
+            const team = expectBoolean(raw, ROW_SCOPE_MARKERS.TEAM, vc);
+            if (regex !== undefined) {
+                try {
+                    new RegExp(regex);
+                }
+                catch {
+                    fail(vc, 'field.regex.invalid');
+                }
+            }
+            if (minLength !== undefined && maxLength !== undefined && minLength > maxLength) {
+                fail(vc, 'field.minLengthGtMaxLength');
+            }
+            validateDefault(raw.default, type, vc);
+            return {
+                ...base,
+                type: FIELD_TYPES.STRING,
+                formula,
+                minLength,
+                maxLength,
+                regex,
+                required,
+                unique,
+                default: raw.default,
+                ownership,
+                team,
+            };
+        }
+        case FIELD_TYPES.TEXT: {
+            const maxLength = expectPositiveInt(raw, 'maxLength', vc);
+            validateDefault(raw.default, type, vc);
+            return {
+                ...base,
+                type: FIELD_TYPES.TEXT,
+                formula,
+                maxLength,
+                required,
+                unique,
+                default: raw.default,
+            };
+        }
+        case FIELD_TYPES.INTEGER: {
+            const min = expectNumber(raw, 'min', vc);
+            const max = expectNumber(raw, 'max', vc);
+            if (min !== undefined && !Number.isInteger(min))
+                fail(vc, 'field.min.integer');
+            if (max !== undefined && !Number.isInteger(max))
+                fail(vc, 'field.max.integer');
+            if (min !== undefined && max !== undefined && min > max)
+                fail(vc, 'field.minGtMax');
+            validateDefault(raw.default, type, vc);
+            return {
+                ...base,
+                type: FIELD_TYPES.INTEGER,
+                formula,
+                min,
+                max,
+                required,
+                unique,
+                default: raw.default,
+            };
+        }
+        case FIELD_TYPES.NUMBER: {
+            const min = expectNumber(raw, 'min', vc);
+            const max = expectNumber(raw, 'max', vc);
+            const precision = expectPositiveInt(raw, 'precision', vc);
+            if (min !== undefined && max !== undefined && min > max)
+                fail(vc, 'field.minGtMax');
+            validateDefault(raw.default, type, vc);
+            return {
+                ...base,
+                type: FIELD_TYPES.NUMBER,
+                formula,
+                min,
+                max,
+                precision,
+                required,
+                unique,
+                default: raw.default,
+            };
+        }
+        case FIELD_TYPES.CURRENCY: {
+            const min = expectNumber(raw, 'min', vc);
+            const max = expectNumber(raw, 'max', vc);
+            if (min !== undefined && max !== undefined && min > max)
+                fail(vc, 'field.minGtMax');
+            validateDefault(raw.default, type, vc);
+            return {
+                ...base,
+                type: FIELD_TYPES.CURRENCY,
+                formula,
+                min,
+                max,
+                required,
+                unique,
+                default: raw.default,
+            };
+        }
+        case FIELD_TYPES.BOOLEAN:
+            validateDefault(raw.default, type, vc);
+            return {
+                ...base,
+                type: FIELD_TYPES.BOOLEAN,
+                formula,
+                required,
+                unique,
+                default: raw.default,
+            };
+        case FIELD_TYPES.DATETIME:
+            validateDefault(raw.default, type, vc);
+            return {
+                ...base,
+                type: FIELD_TYPES.DATETIME,
+                required,
+                unique,
+                default: raw.default,
+            };
+        case FIELD_TYPES.DATE:
+            validateDefault(raw.default, type, vc);
+            return {
+                ...base,
+                type: FIELD_TYPES.DATE,
+                required,
+                unique,
+                default: raw.default,
+            };
+        case FIELD_TYPES.JSON:
+            validateDefault(raw.default, type, vc);
+            return { ...base, type: FIELD_TYPES.JSON, required, default: raw.default };
+        case FIELD_TYPES.ENUM: {
+            const options = raw.options;
+            if (!Array.isArray(options) || options.length === 0)
+                fail(vc, 'field.enum.options.required');
+            if (!options.every((o) => typeof o === 'string'))
+                fail(vc, 'field.enum.options.strings');
+            const seen = new Set();
+            for (const o of options) {
+                if (seen.has(o))
+                    fail(vc, 'field.enum.options.duplicate', { value: o });
+                seen.add(o);
+            }
+            const multiple = expectBoolean(raw, 'multiple', vc);
+            if (multiple === true && primary === true)
+                fail(vc, 'field.enum.multiple.primary');
+            if (multiple === true && unique === true)
+                fail(vc, 'field.enum.multiple.unique');
+            if (multiple === true) {
+                if (raw.default !== undefined) {
+                    if (!Array.isArray(raw.default) || !raw.default.every((v) => typeof v === 'string')) {
+                        fail(vc, 'field.enum.multiple.default.array');
+                    }
+                    for (const v of raw.default) {
+                        if (!options.includes(v))
+                            fail(vc, 'field.enum.multiple.default.inOptions', { value: v });
+                    }
+                }
+            }
+            else {
+                validateDefault(raw.default, type, vc, options);
+            }
+            return {
+                ...base,
+                type: FIELD_TYPES.ENUM,
+                options: options,
+                multiple,
+                required,
+                unique,
+                default: multiple === true ? raw.default : raw.default,
+            };
+        }
+        case FIELD_TYPES.RELATION: {
+            const target = expectString(raw, 'target', vc);
+            if (target === undefined)
+                fail(vc, 'field.relation.target.required');
+            if (!SNAKE_CASE.test(target))
+                fail(vc, 'field.relation.target.snake', { target });
+            const onDelete = expectString(raw, 'onDelete', vc);
+            if (onDelete !== undefined && !ON_DELETE_ACTION_VALUES.includes(onDelete)) {
+                fail(vc, 'field.relation.onDelete.invalid', { actions: ON_DELETE_ACTION_VALUES.join('/') });
+            }
+            return { ...base, type: FIELD_TYPES.RELATION, target, required, unique, onDelete };
+        }
+        case FIELD_TYPES.DETAILS: {
+            const target = expectString(raw, 'target', vc);
+            if (target === undefined)
+                fail(vc, 'field.details.target.required');
+            if (!SNAKE_CASE.test(target))
+                fail(vc, 'field.details.target.snake', { target });
+            return { ...base, type: FIELD_TYPES.DETAILS, target };
+        }
+        case FIELD_TYPES.MULTI_RELATION: {
+            const target = expectString(raw, 'target', vc);
+            if (target === undefined)
+                fail(vc, 'field.multiRelation.target.required');
+            if (!SNAKE_CASE.test(target))
+                fail(vc, 'field.multiRelation.target.snake', { target });
+            return { ...base, type: FIELD_TYPES.MULTI_RELATION, target, required };
+        }
+        case FIELD_TYPES.FIRST_NAME:
+        case FIELD_TYPES.LAST_NAME:
+        case FIELD_TYPES.EMAIL:
+        case FIELD_TYPES.PHONE: {
+            const minLength = expectPositiveInt(raw, 'minLength', vc);
+            const maxLength = expectPositiveInt(raw, 'maxLength', vc);
+            const regex = expectString(raw, 'regex', vc);
+            if (regex !== undefined) {
+                try {
+                    new RegExp(regex);
+                }
+                catch {
+                    fail(vc, 'field.regex.invalid');
+                }
+            }
+            if (minLength !== undefined && maxLength !== undefined && minLength > maxLength) {
+                fail(vc, 'field.minLengthGtMaxLength');
+            }
+            validateDefault(raw.default, type, vc);
+            return {
+                ...base,
+                type,
+                formula,
+                minLength,
+                maxLength,
+                regex,
+                required,
+                unique,
+                default: raw.default,
+            };
+        }
+        case FIELD_TYPES.IMAGE: {
+            const multiple = expectBoolean(raw, 'multiple', vc);
+            if (multiple === true && primary === true)
+                fail(vc, 'field.enum.multiple.primary');
+            if (multiple === true && unique === true)
+                fail(vc, 'field.enum.multiple.unique');
+            validateDefault(raw.default, type, vc);
+            return {
+                ...base,
+                type: FIELD_TYPES.IMAGE,
+                required,
+                unique,
+                multiple,
+                default: multiple === true ? raw.default : raw.default,
+            };
+        }
+        case FIELD_TYPES.PERSON: {
+            const target = expectString(raw, 'target', vc);
+            if (target === undefined)
+                fail(vc, 'field.relation.target.required');
+            if (!SNAKE_CASE.test(target))
+                fail(vc, 'field.relation.target.snake', { target });
+            const onDelete = expectString(raw, 'onDelete', vc);
+            if (onDelete !== undefined && !ON_DELETE_ACTION_VALUES.includes(onDelete)) {
+                fail(vc, 'field.relation.onDelete.invalid', { actions: ON_DELETE_ACTION_VALUES.join('/') });
+            }
+            const department = expectString(raw, 'department', vc);
+            return { ...base, type: FIELD_TYPES.PERSON, target, required, unique, onDelete, department };
+        }
+        case FIELD_TYPES.DEPARTMENT: {
+            const target = expectString(raw, 'target', vc);
+            if (target === undefined)
+                fail(vc, 'field.relation.target.required');
+            if (!SNAKE_CASE.test(target))
+                fail(vc, 'field.relation.target.snake', { target });
+            const onDelete = expectString(raw, 'onDelete', vc);
+            if (onDelete !== undefined && !ON_DELETE_ACTION_VALUES.includes(onDelete)) {
+                fail(vc, 'field.relation.onDelete.invalid', { actions: ON_DELETE_ACTION_VALUES.join('/') });
+            }
+            return { ...base, type: FIELD_TYPES.DEPARTMENT, target, required, unique, onDelete };
+        }
+        case FIELD_TYPES.SEQ_NO: {
+            const format = expectString(raw, 'format', vc);
+            if (format !== undefined) {
+                if (!SEQUENCE_PLACEHOLDER.test(format)) {
+                    fail(vc, 'field.seqNo.format.seq');
+                }
+                for (const m of format.matchAll(/\{(\w+)(?::\d+)?\}/g)) {
+                    const placeholder = m[1] ?? '';
+                    if (!SEQUENCE_TOKEN_VALUES.includes(placeholder)) {
+                        fail(vc, 'field.seqNo.format.token', { token: placeholder });
+                    }
+                }
+            }
+            const cycle = expectString(raw, 'cycle', vc);
+            if (cycle !== undefined && !SEQUENCE_CYCLE_VALUES.includes(cycle)) {
+                fail(vc, 'field.seqNo.cycle.invalid');
+            }
+            return { ...base, type: FIELD_TYPES.SEQ_NO, format, cycle: cycle };
+        }
+    }
+}
+/**
+ * Validate a field whose type is a user/plugin registered type. Attributes are
+ * checked against the registration's allow-list (plus the base's conveniences);
+ * storage/TS/MCP/OpenAPI behaviour is inherited from `base` at consumption time.
+ */
+function validateRegisteredField(raw, name, type, descriptor, vc) {
+    const base = descriptor.base;
+    if (base === undefined)
+        fail(vc, 'field.type.invalid', { type });
+    const resolvedBase = fieldBase(DEFAULT_FIELD_TYPE_REGISTRY, base);
+    const relationLike = descriptor.relationLike === true || resolvedBase === FIELD_TYPES.RELATION;
+    const allowed = new Set([...BASE_KEYS, ...(descriptor.attrs ?? []), 'required', 'unique', 'default']);
+    if (relationLike) {
+        allowed.add('target');
+        allowed.add('onDelete');
+    }
+    if (resolvedBase === FIELD_TYPES.STRING || resolvedBase === FIELD_TYPES.TEXT)
+        allowed.add('multiple');
+    for (const key of Object.keys(raw)) {
+        if (!allowed.has(key))
+            fail(vc, 'field.attr.notAllowed', { type, attr: key });
+    }
+    const labels = validateLabels(raw.labels, vc);
+    const description = expectString(raw, 'description', vc);
+    const primary = expectBoolean(raw, 'primary', vc);
+    const system = expectBoolean(raw, 'system', vc);
+    const sensitive = expectBoolean(raw, 'sensitive', vc);
+    const required = expectBoolean(raw, 'required', vc);
+    const unique = expectBoolean(raw, 'unique', vc);
+    const multiple = expectBoolean(raw, 'multiple', vc);
+    const out = { name, type, labels, description, primary, system, sensitive, required, unique };
+    if (multiple !== undefined)
+        out.multiple = multiple;
+    if (relationLike) {
+        const target = expectString(raw, 'target', vc);
+        if (target === undefined)
+            fail(vc, 'field.relation.target.required');
+        if (!SNAKE_CASE.test(target))
+            fail(vc, 'field.relation.target.snake', { target });
+        const onDelete = expectString(raw, 'onDelete', vc);
+        if (onDelete !== undefined && !ON_DELETE_ACTION_VALUES.includes(onDelete)) {
+            fail(vc, 'field.relation.onDelete.invalid', { actions: ON_DELETE_ACTION_VALUES.join('/') });
+        }
+        out.target = target;
+        if (onDelete !== undefined)
+            out.onDelete = onDelete;
+    }
+    if (raw.default !== undefined)
+        out.default = raw.default;
+    return out;
+}
+//# sourceMappingURL=field.js.map

package/dist/core/object/validate/field.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"field.js","sourceRoot":"","sources":["../../../../src/core/object/validate/field.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAEtD,OAAO,EACL,2BAA2B,EAC3B,uBAAuB,EACvB,SAAS,GAGV,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,iBAAiB,EACjB,UAAU,EACV,iBAAiB,EACjB,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,GAEtB,MAAM,iBAAiB,CAAC;AAEzB,uCAAuC;AACvC,MAAM,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,CAAU,CAAC;AAEvG,yFAAyF;AACzF,MAAM,kBAAkB,GAAG,sBAAsB,CAAC;AAElD,8DAA8D;AAC9D,MAAM,wBAAwB,GAAG,IAAI,MAAM,CAAC,uBAAuB,CAAC,CAAC;AAErE,wCAAwC;AACxC,MAAM,UAAU,GAAyC;IACvD,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,iBAAiB,CAAC,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC;IAC5I,IAAI,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC;IAC/D,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC;IACnE,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC;IAC/E,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC;IACpE,OAAO,EAAE,CAAC,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC;IACrD,QAAQ,EAAE,CAAC,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC;IAC3C,IAAI,EAAE,CAAC,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC;IACvC,IAAI,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC;IAC7B,IAAI,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC;IAC9D,QAAQ,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC;IACtD,OAAO,EAAE,CAAC,QAAQ,CAAC;IACnB,aAAa,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC;IACrC,MAAM,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,SAAS,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC;IAC1F,QAAQ,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC;IACzF,KAAK,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC;IACtF,KAAK,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC;IACtF,KAAK,EAAE,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,CAAC;IACpD,MAAM,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC;IAClE,UAAU,EAAE,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC;CACzD,CAAC;AAEF,kFAAkF;AAClF,SAAS,gBAAgB,CAAC,MAA+B,EAAE,IAAe,EAAE,EAAM;IAChF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7E,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,EAAE,EAAE,uBAAuB,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAChF,CAAC;AACH,CAAC;AAED,oFAAoF;AACpF,SAAS,eAAe,CAAC,KAAc,EAAE,IAAe,EAAE,EAAM,EAAE,OAAkB;IAClF,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO;IAChC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,WAAW,CAAC,MAAM,CAAC;QACxB,KAAK,WAAW,CAAC,IAAI,CAAC;QACtB,KAAK,WAAW,CAAC,UAAU,CAAC;QAC5B,KAAK,WAAW,CAAC,SAAS,CAAC;QAC3B,KAAK,WAAW,CAAC,KAAK,CAAC;QACvB,KAAK,WAAW,CAAC,KAAK;YACpB,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,IAAI,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC;YAChE,MAAM;QACR,KAAK,WAAW,CAAC,KAAK;YACpB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,IAAI,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC;YACzF,MAAM;QACR,KAAK,WAAW,CAAC,OAAO;YACtB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;gBAAE,IAAI,CAAC,EAAE,EAAE,uBAAuB,CAAC,CAAC;YAC7F,MAAM;QACR,KAAK,WAAW,CAAC,MAAM,CAAC;QACxB,KAAK,WAAW,CAAC,QAAQ;YACvB,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,IAAI,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC;YAChE,MAAM;QACR,KAAK,WAAW,CAAC,OAAO;YACtB,IAAI,OAAO,KAAK,KAAK,SAAS;gBAAE,IAAI,CAAC,EAAE,EAAE,uBAAuB,CAAC,CAAC;YAClE,MAAM;QACR,KAAK,WAAW,CAAC,QAAQ;YACvB,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,IAAI,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;YAC7D,MAAM;QACR,KAAK,WAAW,CAAC,IAAI;YACnB,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,IAAI,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC;YAChE,MAAM;QACR,KAAK,WAAW,CAAC,IAAI;YACnB,MAAM;QACR,KAAK,WAAW,CAAC,IAAI;YACnB,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,IAAI,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC;YAChE,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,IAAI,CAAC,EAAE,EAAE,yBAAyB,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;YACtG,MAAM;QACR,KAAK,WAAW,CAAC,QAAQ,CAAC;QAC1B,KAAK,WAAW,CAAC,MAAM,CAAC;QACxB,KAAK,WAAW,CAAC,UAAU,CAAC;QAC5B,KAAK,WAAW,CAAC,OAAO,CAAC;QACzB,KAAK,WAAW,CAAC,cAAc,CAAC;QAChC,KAAK,WAAW,CAAC,MAAM;YACrB,IAAI,CAAC,EAAE,EAAE,4BAA4B,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IACrD,CAAC;AACH,CAAC;AAED,yDAAyD;AACzD,SAAS,gBAAgB,CAAC,GAA4B,EAAE,EAAM;IAC5D,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAChD,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;QAAE,IAAI,CAAC,EAAE,EAAE,mBAAmB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IACxF,IAAI,CAAC;QACH,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,EAAE,EAAE,gBAAgB,EAAE,EAAE,MAAM,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,GAAG,CAAC,OAAO,CAAC;AACrB,CAAC;AAUD,mFAAmF;AACnF,MAAM,UAAU,aAAa,CAAC,GAAY,EAAE,EAAM,EAAE,UAAgC,EAAE;IACpF,MAAM,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,CAAC;IACpD,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,IAAI,2BAA2B,CAAC;IACnE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,IAAI,CAAC,EAAE,EAAE,iBAAiB,CAAC,CAAC;IAEhD,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,SAAS;QAAE,IAAI,CAAC,EAAE,EAAE,qBAAqB,CAAC,CAAC;IACxD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,EAAE,EAAE,kBAAkB,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IAEnE,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC;IACzB,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACrE,IAAI,CAAC,EAAE,EAAE,oBAAoB,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,SAAS,GAAG,iBAAiB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACtD,MAAM,UAAU,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACjE,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,IAAI,CAAC,EAAE,EAAE,oBAAoB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QAC/F,IAAI,UAAU,KAAK,SAAS;YAAE,IAAI,CAAC,EAAE,EAAE,oBAAoB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,iBAAiB,KAAK,SAAS,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5E,IAAI,CAAC,EAAE,EAAE,qBAAqB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,kEAAkE;IAClE,IAAI,CAAC,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3C,OAAO,uBAAuB,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,MAAM,IAAI,GAAG,OAA2B,CAAC;IACzC,gBAAgB,CAAC,GAAG,EAAE,IAAiB,EAAE,EAAE,CAAC,CAAC;IAE7C,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;IAEhD,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACvE,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAE1C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;YACxB,MAAM,SAAS,GAAG,iBAAiB,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;YAC1D,MAAM,SAAS,GAAG,iBAAiB,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;YAC1D,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,EAAE,iBAAiB,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YACtE,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC5D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,IAAI,CAAC;oBACH,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;gBACpB,CAAC;gBAAC,MAAM,CAAC;oBACP,IAAI,CAAC,EAAE,EAAE,qBAAqB,CAAC,CAAC;gBAClC,CAAC;YACH,CAAC;YACD,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,GAAG,SAAS,EAAE,CAAC;gBAChF,IAAI,CAAC,EAAE,EAAE,4BAA4B,CAAC,CAAC;YACzC,CAAC;YACD,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACvC,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,WAAW,CAAC,MAAM;gBACxB,OAAO;gBACP,SAAS;gBACT,SAAS;gBACT,KAAK;gBACL,QAAQ;gBACR,MAAM;gBACN,OAAO,EAAE,GAAG,CAAC,OAA6B;gBAC1C,SAAS;gBACT,IAAI;aACL,CAAC;QACJ,CAAC;QACD,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;YACtB,MAAM,SAAS,GAAG,iBAAiB,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;YAC1D,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACvC,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,WAAW,CAAC,IAAI;gBACtB,OAAO;gBACP,SAAS;gBACT,QAAQ;gBACR,MAAM;gBACN,OAAO,EAAE,GAAG,CAAC,OAA6B;aAC3C,CAAC;QACJ,CAAC;QACD,KAAK,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;YACzB,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACzC,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACzC,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;YAC/E,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,EAAE,EAAE,mBAAmB,CAAC,CAAC;YAC/E,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,GAAG,GAAG;gBAAE,IAAI,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;YACpF,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACvC,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,WAAW,CAAC,OAAO;gBACzB,OAAO;gBACP,GAAG;gBACH,GAAG;gBACH,QAAQ;gBACR,MAAM;gBACN,OAAO,EAAE,GAAG,CAAC,OAA6B;aAC3C,CAAC;QACJ,CAAC;QACD,KAAK,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;YACxB,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACzC,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACzC,MAAM,SAAS,GAAG,iBAAiB,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;YAC1D,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,GAAG,GAAG;gBAAE,IAAI,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;YACpF,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACvC,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,WAAW,CAAC,MAAM;gBACxB,OAAO;gBACP,GAAG;gBACH,GAAG;gBACH,SAAS;gBACT,QAAQ;gBACR,MAAM;gBACN,OAAO,EAAE,GAAG,CAAC,OAA6B;aAC3C,CAAC;QACJ,CAAC;QACD,KAAK,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC1B,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACzC,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YACzC,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,GAAG,GAAG;gBAAE,IAAI,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;YACpF,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACvC,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,WAAW,CAAC,QAAQ;gBAC1B,OAAO;gBACP,GAAG;gBACH,GAAG;gBACH,QAAQ;gBACR,MAAM;gBACN,OAAO,EAAE,GAAG,CAAC,OAA6B;aAC3C,CAAC;QACJ,CAAC;QACD,KAAK,WAAW,CAAC,OAAO;YACtB,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACvC,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,WAAW,CAAC,OAAO;gBACzB,OAAO;gBACP,QAAQ;gBACR,MAAM;gBACN,OAAO,EAAE,GAAG,CAAC,OAA8B;aAC5C,CAAC;QACJ,KAAK,WAAW,CAAC,QAAQ;YACvB,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACvC,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,WAAW,CAAC,QAAQ;gBAC1B,QAAQ;gBACR,MAAM;gBACN,OAAO,EAAE,GAAG,CAAC,OAA6B;aAC3C,CAAC;QACJ,KAAK,WAAW,CAAC,IAAI;YACnB,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACvC,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,WAAW,CAAC,IAAI;gBACtB,QAAQ;gBACR,MAAM;gBACN,OAAO,EAAE,GAAG,CAAC,OAA6B;aAC3C,CAAC;QACJ,KAAK,WAAW,CAAC,IAAI;YACnB,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACvC,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;QAC7E,KAAK,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;YACtB,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;YAC5B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,IAAI,CAAC,EAAE,EAAE,6BAA6B,CAAC,CAAC;YAC7F,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;gBAAE,IAAI,CAAC,EAAE,EAAE,4BAA4B,CAAC,CAAC;YACzF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,IAAI,CAAC,EAAE,EAAE,8BAA8B,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;gBACxE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACd,CAAC;YACD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;YACpD,IAAI,QAAQ,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI;gBAAE,IAAI,CAAC,EAAE,EAAE,6BAA6B,CAAC,CAAC;YACnF,IAAI,QAAQ,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI;gBAAE,IAAI,CAAC,EAAE,EAAE,4BAA4B,CAAC,CAAC;YACjF,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACtB,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC9B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;wBACpF,IAAI,CAAC,EAAE,EAAE,mCAAmC,CAAC,CAAC;oBAChD,CAAC;oBACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;wBAC5B,IAAI,CAAE,OAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC;4BAAE,IAAI,CAAC,EAAE,EAAE,uCAAuC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;oBAC1G,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,OAAmB,CAAC,CAAC;YAC9D,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,WAAW,CAAC,IAAI;gBACtB,OAAO,EAAE,OAAmB;gBAC5B,QAAQ;gBACR,QAAQ;gBACR,MAAM;gBACN,OAAO,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAE,GAAG,CAAC,OAAgC,CAAC,CAAC,CAAE,GAAG,CAAC,OAA8B;aACzG,CAAC;QACJ,CAAC;QACD,KAAK,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC1B,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC/C,IAAI,MAAM,KAAK,SAAS;gBAAE,IAAI,CAAC,EAAE,EAAE,gCAAgC,CAAC,CAAC;YACrE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,IAAI,CAAC,EAAE,EAAE,6BAA6B,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YAClF,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAA+B,CAAC;YACjF,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1E,IAAI,CAAC,EAAE,EAAE,iCAAiC,EAAE,EAAE,OAAO,EAAE,uBAAuB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC9F,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACrF,CAAC;QACD,KAAK,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;YACzB,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC/C,IAAI,MAAM,KAAK,SAAS;gBAAE,IAAI,CAAC,EAAE,EAAE,+BAA+B,CAAC,CAAC;YACpE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,IAAI,CAAC,EAAE,EAAE,4BAA4B,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACjF,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;QACxD,CAAC;QACD,KAAK,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC/C,IAAI,MAAM,KAAK,SAAS;gBAAE,IAAI,CAAC,EAAE,EAAE,qCAAqC,CAAC,CAAC;YAC1E,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,IAAI,CAAC,EAAE,EAAE,kCAAkC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YACvF,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACzE,CAAC;QACD,KAAK,WAAW,CAAC,UAAU,CAAC;QAC5B,KAAK,WAAW,CAAC,SAAS,CAAC;QAC3B,KAAK,WAAW,CAAC,KAAK,CAAC;QACvB,KAAK,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;YACvB,MAAM,SAAS,GAAG,iBAAiB,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;YAC1D,MAAM,SAAS,GAAG,iBAAiB,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;YAC1D,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;YAC7C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,IAAI,CAAC;oBACH,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;gBACpB,CAAC;gBAAC,MAAM,CAAC;oBACP,IAAI,CAAC,EAAE,EAAE,qBAAqB,CAAC,CAAC;gBAClC,CAAC;YACH,CAAC;YACD,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,GAAG,SAAS,EAAE,CAAC;gBAChF,IAAI,CAAC,EAAE,EAAE,4BAA4B,CAAC,CAAC;YACzC,CAAC;YACD,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACvC,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI;gBACJ,OAAO;gBACP,SAAS;gBACT,SAAS;gBACT,KAAK;gBACL,QAAQ;gBACR,MAAM;gBACN,OAAO,EAAE,GAAG,CAAC,OAA6B;aAC3C,CAAC;QACJ,CAAC;QACD,KAAK,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;YACvB,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;YACpD,IAAI,QAAQ,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI;gBAAE,IAAI,CAAC,EAAE,EAAE,6BAA6B,CAAC,CAAC;YACnF,IAAI,QAAQ,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI;gBAAE,IAAI,CAAC,EAAE,EAAE,4BAA4B,CAAC,CAAC;YACjF,eAAe,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACvC,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,WAAW,CAAC,KAAK;gBACvB,QAAQ;gBACR,MAAM;gBACN,QAAQ;gBACR,OAAO,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAE,GAAG,CAAC,OAAgC,CAAC,CAAC,CAAE,GAAG,CAAC,OAA8B;aACzG,CAAC;QACJ,CAAC;QACD,KAAK,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;YACxB,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC/C,IAAI,MAAM,KAAK,SAAS;gBAAE,IAAI,CAAC,EAAE,EAAE,gCAAgC,CAAC,CAAC;YACrE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,IAAI,CAAC,EAAE,EAAE,6BAA6B,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YAClF,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAA+B,CAAC;YACjF,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1E,IAAI,CAAC,EAAE,EAAE,iCAAiC,EAAE,EAAE,OAAO,EAAE,uBAAuB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC9F,CAAC;YACD,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,EAAE,YAAY,EAAE,EAAE,CAAC,CAAC;YACvD,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;QAC/F,CAAC;QACD,KAAK,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC;YAC5B,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC/C,IAAI,MAAM,KAAK,SAAS;gBAAE,IAAI,CAAC,EAAE,EAAE,gCAAgC,CAAC,CAAC;YACrE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,IAAI,CAAC,EAAE,EAAE,6BAA6B,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YAClF,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAA+B,CAAC;YACjF,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1E,IAAI,CAAC,EAAE,EAAE,iCAAiC,EAAE,EAAE,OAAO,EAAE,uBAAuB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC9F,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACvF,CAAC;QACD,KAAK,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;YACxB,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC/C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBACvC,IAAI,CAAC,EAAE,EAAE,wBAAwB,CAAC,CAAC;gBACrC,CAAC;gBACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,CAAC;oBACvD,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;oBAC/B,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;wBACjD,IAAI,CAAC,EAAE,EAAE,0BAA0B,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;oBAC/D,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC;YAC7C,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClE,IAAI,CAAC,EAAE,EAAE,2BAA2B,CAAC,CAAC;YACxC,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAG,KAAqC,EAAE,CAAC;QACtG,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,uBAAuB,CAC9B,GAA4B,EAC5B,IAAY,EACZ,IAAY,EACZ,UAAiC,EACjC,EAAM;IAEN,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC;IAC7B,IAAI,IAAI,KAAK,SAAS;QAAE,IAAI,CAAC,EAAE,EAAE,oBAAoB,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,SAAS,CAAC,2BAA2B,EAAE,IAAI,CAAC,CAAC;IAClE,MAAM,YAAY,GAAG,UAAU,CAAC,YAAY,KAAK,IAAI,IAAI,YAAY,KAAK,WAAW,CAAC,QAAQ,CAAC;IAE/F,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;IAC9G,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtB,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,YAAY,KAAK,WAAW,CAAC,MAAM,IAAI,YAAY,KAAK,WAAW,CAAC,IAAI;QAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACtG,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,EAAE,EAAE,uBAAuB,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAChF,CAAC;IAED,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,aAAa,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;IAEpD,MAAM,GAAG,GAA4B,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACvH,IAAI,QAAQ,KAAK,SAAS;QAAE,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAEpD,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;QAC/C,IAAI,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,EAAE,EAAE,gCAAgC,CAAC,CAAC;QACrE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,EAAE,EAAE,6BAA6B,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAClF,MAAM,QAAQ,GAAG,YAAY,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAA+B,CAAC;QACjF,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1E,IAAI,CAAC,EAAE,EAAE,iCAAiC,EAAE,EAAE,OAAO,EAAE,uBAAuB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC9F,CAAC;QACD,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC;QACpB,IAAI,QAAQ,KAAK,SAAS;YAAE,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC;IACtD,CAAC;IAED,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS;QAAE,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IACzD,OAAO,GAAiC,CAAC;AAC3C,CAAC"}

package/dist/core/object/validate/formulas.d.ts

@@ -0,0 +1,8 @@
+import type { FieldDefinition } from '../../types/index.js';
+import { type Vc } from './primitives.js';
+/**
+ * Same-object formula validation: exclusions, reference existence, operand/type
+ * checks and local formula-formula cycle detection.
+ */
+export declare function validateFormulas(fields: FieldDefinition[], vc: Vc): void;
+//# sourceMappingURL=formulas.d.ts.map

package/dist/core/object/validate/formulas.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formulas.d.ts","sourceRoot":"","sources":["../../../../src/core/object/validate/formulas.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE5D,OAAO,EAAQ,KAAK,EAAE,EAAE,MAAM,iBAAiB,CAAC;AAEhD;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,eAAe,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,IAAI,CA0GxE"}

package/dist/core/object/validate/formulas.js

@@ -0,0 +1,112 @@
+import { FORMULA_EXCLUDED_ATTRS, FORMULA_TYPES, FormulaOperandError, checkOperands, detectCycle, extractRefs, inferType, parseFormula, typeCompatible, } from '../../formula/index.js';
+import { FIELD_TYPES } from '../../types/values.js';
+import { fail } from './primitives.js';
+/**
+ * Same-object formula validation: exclusions, reference existence, operand/type
+ * checks and local formula-formula cycle detection.
+ */
+export function validateFormulas(fields, vc) {
+    const formulaFields = fields.filter((f) => f.formula !== undefined);
+    if (formulaFields.length === 0)
+        return;
+    const fieldByName = new Map(fields.map((f) => [f.name, f]));
+    const fieldTypeOf = (name) => {
+        const f = fieldByName.get(name);
+        if (f === undefined)
+            return undefined;
+        switch (f.type) {
+            case FIELD_TYPES.STRING:
+            case FIELD_TYPES.TEXT:
+                return FORMULA_TYPES.STRING;
+            case FIELD_TYPES.INTEGER:
+            case FIELD_TYPES.NUMBER:
+            case FIELD_TYPES.CURRENCY:
+                return FORMULA_TYPES.NUMBER;
+            case FIELD_TYPES.BOOLEAN:
+                return FORMULA_TYPES.BOOLEAN;
+            default:
+                return undefined;
+        }
+    };
+    for (const field of formulaFields) {
+        const formula = field.formula;
+        const fieldType = field.type;
+        for (const attr of Object.values(FORMULA_EXCLUDED_ATTRS)) {
+            if (field[attr] !== undefined) {
+                fail(vc, 'formula.excludedAttr', { attr });
+            }
+        }
+        let ast;
+        try {
+            ast = parseFormula(formula);
+        }
+        catch (err) {
+            fail(vc, 'formula.syntax', { detail: err.message });
+        }
+        const { fields: refs, aggregates } = extractRefs(ast);
+        for (const ref of refs) {
+            const target = fieldByName.get(ref.parent ?? ref.name);
+            if (target === undefined) {
+                fail(vc, 'formula.refMissing', { field: ref.parent ?? ref.name });
+            }
+            const referenced = ref.parent === null ? target : fieldByName.get(ref.parent);
+            if (referenced !== undefined && ref.parent === null) {
+                if (referenced.type === FIELD_TYPES.RELATION ||
+                    referenced.type === FIELD_TYPES.DETAILS ||
+                    referenced.type === FIELD_TYPES.MULTI_RELATION ||
+                    referenced.type === FIELD_TYPES.SEQ_NO) {
+                    fail(vc, 'formula.refType', { type: referenced.type, field: ref.name });
+                }
+            }
+            else if (referenced !== undefined && ref.parent !== null) {
+                if (referenced.type !== FIELD_TYPES.RELATION && referenced.type !== FIELD_TYPES.DETAILS) {
+                    fail(vc, 'formula.refType', { type: referenced.type, field: ref.parent });
+                }
+            }
+        }
+        for (const agg of aggregates) {
+            const parent = fieldByName.get(agg.parent);
+            if (parent === undefined) {
+                fail(vc, 'formula.refMissing', { field: agg.parent });
+            }
+            else if (parent.type !== FIELD_TYPES.DETAILS) {
+                fail(vc, 'formula.refType', { type: parent.type, field: agg.parent });
+            }
+        }
+        try {
+            checkOperands(ast, fieldTypeOf);
+        }
+        catch (err) {
+            if (err instanceof FormulaOperandError) {
+                fail(vc, 'formula.operandType', { op: err.op, expected: err.expected, got: err.got });
+            }
+            fail(vc, 'formula.syntax', { detail: err.message });
+        }
+        const exprType = inferType(ast, fieldTypeOf);
+        if (exprType !== 'any' && !typeCompatible(fieldType, exprType)) {
+            fail(vc, 'formula.typeMismatch', { got: exprType, expected: fieldType });
+        }
+    }
+    const nodes = formulaFields.map((f) => f.name);
+    const edges = [];
+    for (const field of formulaFields) {
+        const formula = field.formula;
+        let ast;
+        try {
+            ast = parseFormula(formula);
+        }
+        catch {
+            continue;
+        }
+        const { fields: refs } = extractRefs(ast);
+        for (const ref of refs) {
+            if (ref.parent === null && nodes.includes(ref.name)) {
+                edges.push([field.name, ref.name]);
+            }
+        }
+    }
+    const cycle = detectCycle(nodes, edges);
+    if (cycle)
+        fail(vc, 'formula.cycle', { chain: cycle.join(' -> ') });
+}
+//# sourceMappingURL=formulas.js.map