universal-physics-tensor 6.1.0 → 8.0.0

package/dist/bridges/expr-parse.js

@@ -0,0 +1,269 @@
+/**
+ * One expression parser for a catalog formula.
+ *
+ * Numeric evaluation is MathTS `parseFormula` on the hyphen-rewritten string.
+ * The `ExprNode` keeps hyphenated quantity names and unary minus, so symbolic
+ * composition and dimensional checks see the same formula.
+ *
+ * @module bridges/expr-parse
+ */
+import { DIMENSIONLESS } from '../dimensional/types.js';
+import { CONSTANTS } from '../dimensional/symbolic-constants.js';
+import { FORMULA_NAMED } from '../dimensional/formula-names.js';
+import { rewriteCatalogHyphens } from '../dimensional/hyphen-names.js';
+import { allQuantityRecords } from '../dimensional/quantity-registry.js';
+import { parseFormula } from '../numerical/formula-mathts.js';
+const TRANSCENDENTAL = new Set([
+    'exp', 'ln', 'log2', 'log10', 'sin', 'cos', 'tan', 'sinh', 'cosh', 'tanh',
+]);
+const quantityNames = new Set(allQuantityRecords().map((row) => row.id));
+const DIM_BY_NAME = new Map();
+for (const row of allQuantityRecords())
+    DIM_BY_NAME.set(row.id, row.dimension);
+for (const [name, constant] of Object.entries(CONSTANTS))
+    DIM_BY_NAME.set(name, constant.dim);
+for (const named of FORMULA_NAMED)
+    DIM_BY_NAME.set(named.name, named.dim);
+function dimOf(name) {
+    return DIM_BY_NAME.get(name) ?? DIMENSIONLESS;
+}
+function symbol(name) {
+    return { kind: 'symbol', name, dim: dimOf(name) };
+}
+function numberSymbol(text) {
+    return { kind: 'symbol', name: text, dim: DIMENSIONLESS };
+}
+/** Names a formula may mention: quantities, constants, and formula overlays. */
+export function formulaNames() {
+    const names = new Set(quantityNames);
+    for (const name of Object.keys(CONSTANTS))
+        names.add(name);
+    for (const named of FORMULA_NAMED)
+        names.add(named.name);
+    names.add('pi');
+    return names;
+}
+/** Numeric scope: constants, formula overlays, and π. Caller inputs overwrite. */
+export function formulaScope(inputs = {}) {
+    const scope = { pi: Math.PI };
+    for (const [name, constant] of Object.entries(CONSTANTS))
+        scope[name] = constant.value;
+    for (const named of FORMULA_NAMED)
+        scope[named.name] = named.value;
+    for (const [key, value] of Object.entries(inputs))
+        scope[key.replace(/-/g, '_')] = value;
+    return scope;
+}
+/** Evaluate a catalog expression with MathTS. Inputs are quantity names. */
+export function evaluateFormula(expression, inputs) {
+    const rewritten = rewriteCatalogHyphens(expression, formulaNames());
+    return parseFormula(rewritten).evaluate(formulaScope(inputs));
+}
+function tokenize(source) {
+    const out = [];
+    let i = 0;
+    while (i < source.length) {
+        const c = source[i];
+        if (c === ' ' || c === '\n' || c === '\r' || c === '\t') {
+            i += 1;
+            continue;
+        }
+        if (c === '(') {
+            out.push({ kind: 'lp' });
+            i += 1;
+            continue;
+        }
+        if (c === ')') {
+            out.push({ kind: 'rp' });
+            i += 1;
+            continue;
+        }
+        const op = source.startsWith('^', i)
+            ? '^'
+            : source.startsWith('+', i) || source.startsWith('-', i) || source.startsWith('*', i) || source.startsWith('/', i)
+                ? source[i]
+                : null;
+        if (op !== null && !(op === '-' && /[eE]/.test(source[i - 1] ?? '') && /\d/.test(source[i - 2] ?? ''))) {
+            out.push({ kind: 'op', op });
+            i += 1;
+            continue;
+        }
+        const num = /^(?:\d+\.\d*|\.\d+|\d+)(?:[eE][+-]?\d+)?/.exec(source.slice(i));
+        if (num !== null) {
+            out.push({ kind: 'num', text: num[0] });
+            i += num[0].length;
+            continue;
+        }
+        const id = /^[A-Za-z_][A-Za-z0-9_]*/.exec(source.slice(i));
+        if (id !== null) {
+            out.push({ kind: 'id', text: id[0] });
+            i += id[0].length;
+            continue;
+        }
+        throw new Error(`expression has an unexpected '${c}'`);
+    }
+    return out;
+}
+class Parser {
+    tokens;
+    at = 0;
+    constructor(tokens) {
+        this.tokens = tokens;
+    }
+    parse() {
+        const node = this.parseSum();
+        if (this.at < this.tokens.length)
+            throw new Error('expression has trailing input');
+        return node;
+    }
+    peek() {
+        return this.tokens[this.at];
+    }
+    parseSum() {
+        let left = this.parseProduct();
+        for (;;) {
+            const tok = this.peek();
+            if (tok?.kind !== 'op' || (tok.op !== '+' && tok.op !== '-'))
+                break;
+            this.at += 1;
+            const right = this.parseProduct();
+            left = { kind: 'op', op: tok.op, args: [left, right] };
+        }
+        return left;
+    }
+    parseProduct() {
+        let left = this.parsePower();
+        for (;;) {
+            const tok = this.peek();
+            if (tok?.kind === 'num' || tok?.kind === 'id' || tok?.kind === 'lp') {
+                left = { kind: 'op', op: '*', args: [left, this.parsePower()] };
+                continue;
+            }
+            if (tok?.kind !== 'op' || (tok.op !== '*' && tok.op !== '/'))
+                break;
+            this.at += 1;
+            const right = this.parsePower();
+            left = { kind: 'op', op: tok.op, args: [left, right] };
+        }
+        return left;
+    }
+    parsePower() {
+        const base = this.parseUnary();
+        const tok = this.peek();
+        if (tok?.kind === 'op' && tok.op === '^') {
+            this.at += 1;
+            return { kind: 'op', op: '^', args: [base, this.parsePower()] };
+        }
+        return base;
+    }
+    parseUnary() {
+        const tok = this.peek();
+        if (tok?.kind === 'op' && tok.op === '-') {
+            this.at += 1;
+            return { kind: 'op', op: '*', args: [numberSymbol('-1'), this.parseUnary()] };
+        }
+        if (tok?.kind === 'op' && tok.op === '+') {
+            this.at += 1;
+            return this.parseUnary();
+        }
+        return this.parsePrimary();
+    }
+    parsePrimary() {
+        const tok = this.peek();
+        if (tok === undefined)
+            throw new Error('expression ended early');
+        if (tok.kind === 'num') {
+            this.at += 1;
+            return numberSymbol(tok.text);
+        }
+        if (tok.kind === 'id') {
+            this.at += 1;
+            const next = this.peek();
+            if (next?.kind === 'lp' && (TRANSCENDENTAL.has(tok.text) || tok.text === 'sqrt' || tok.text === 'abs')) {
+                this.at += 1;
+                const arg = this.parseSum();
+                const close = this.peek();
+                if (close?.kind !== 'rp')
+                    throw new Error(`expression expected ')' after ${tok.text}`);
+                this.at += 1;
+                if (tok.text === 'sqrt')
+                    return { kind: 'op', op: '^', args: [arg, numberSymbol('0.5')] };
+                if (tok.text === 'abs')
+                    return { kind: 'abs', arg };
+                return { kind: 'transcendental', fn: tok.text, arg };
+            }
+            return symbol(this.hyphenName(tok.text));
+        }
+        if (tok.kind === 'lp') {
+            this.at += 1;
+            const inner = this.parseSum();
+            const close = this.peek();
+            if (close?.kind !== 'rp')
+                throw new Error("expression expected ')'");
+            this.at += 1;
+            return inner;
+        }
+        throw new Error('expression expected a value');
+    }
+    hyphenName(underscored) {
+        const hyphen = underscored.replace(/_/g, '-');
+        if (quantityNames.has(hyphen))
+            return hyphen;
+        return underscored;
+    }
+}
+/**
+ * `8*pi` is the constant `8pi`, and `ln(2)` is the constant `ln2`. A product
+ * flattens so the tree matches a flat canonical product of the same factors.
+ */
+function foldKnownConstants(node) {
+    if (node.kind === 'transcendental') {
+        const arg = foldKnownConstants(node.arg);
+        if (node.fn === 'ln' && arg.kind === 'symbol' && arg.name === '2')
+            return symbol('ln2');
+        return { kind: 'transcendental', fn: node.fn, arg };
+    }
+    if (node.kind === 'abs')
+        return { kind: 'abs', arg: foldKnownConstants(node.arg) };
+    if (node.kind !== 'op')
+        return node;
+    const args = node.args.map(foldKnownConstants);
+    if (node.op !== '*')
+        return { kind: 'op', op: node.op, args };
+    const factors = [];
+    const push = (factor) => {
+        if (factor.kind === 'op' && factor.op === '*') {
+            for (const inner of factor.args)
+                push(inner);
+        }
+        else {
+            factors.push(factor);
+        }
+    };
+    for (const arg of args)
+        push(arg);
+    const merged = [];
+    for (let i = 0; i < factors.length; i++) {
+        const left = factors[i];
+        const right = factors[i + 1];
+        if (right?.kind === 'symbol' &&
+            right.name === 'pi' &&
+            left.kind === 'symbol' &&
+            /^(?:2|4|8)$/.test(left.name) &&
+            `${left.name}pi` in CONSTANTS) {
+            merged.push(symbol(`${left.name}pi`));
+            i += 1;
+            continue;
+        }
+        merged.push(left);
+    }
+    if (merged.length === 1)
+        return merged[0];
+    return { kind: 'op', op: '*', args: merged };
+}
+/** Parse a catalog expression into a sign-preserving `ExprNode`. */
+export function parseCatalogExpression(expression) {
+    const rewritten = rewriteCatalogHyphens(expression, formulaNames());
+    return foldKnownConstants(new Parser(tokenize(rewritten)).parse());
+}
+//# sourceMappingURL=expr-parse.js.map

package/dist/bridges/expr-parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expr-parse.js","sourceRoot":"","sources":["../../src/bridges/expr-parse.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjE,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAE9D,MAAM,cAAc,GAAG,IAAI,GAAG,CAAmB;IAC/C,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;CAC1E,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,kBAAkB,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AAEzE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAqB,CAAC;AACjD,KAAK,MAAM,GAAG,IAAI,kBAAkB,EAAE;IAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;AAC/E,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAAE,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;AAC9F,KAAK,MAAM,KAAK,IAAI,aAAa;IAAE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;AAE1E,SAAS,KAAK,CAAC,IAAY;IACzB,OAAO,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC;AAChD,CAAC;AAED,SAAS,MAAM,CAAC,IAAY;IAC1B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;AAC5D,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,YAAY;IAC1B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,aAAa,CAAC,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC;QAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3D,KAAK,MAAM,KAAK,IAAI,aAAa;QAAE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,YAAY,CAAC,MAAM,GAAqC,EAAE;IACxE,MAAM,KAAK,GAA2B,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC;IACvF,KAAK,MAAM,KAAK,IAAI,aAAa;QAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;IACnE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC;IACzF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,eAAe,CAC7B,UAAkB,EAClB,MAAwC;IAExC,MAAM,SAAS,GAAG,qBAAqB,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC;IACpE,OAAO,YAAY,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;AAChE,CAAC;AASD,SAAS,QAAQ,CAAC,MAAc;IAC9B,MAAM,GAAG,GAAU,EAAE,CAAC;IACtB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACrB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACxD,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACzB,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACzB,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC;YAClC,CAAC,CAAC,GAAG;YACL,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC;gBAChH,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE;gBACZ,CAAC,CAAC,IAAI,CAAC;QACX,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YACvG,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;YAC7B,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,0CAA0C,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7E,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACxC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACnB,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAClB,SAAS;QACX,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,MAAM;IAEmB,MAAM;IAD3B,EAAE,GAAG,CAAC,CAAC;IACf,YAA6B,MAAsB;sBAAtB,MAAM;IAAmB,CAAC;IAEvD,KAAK;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACnF,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,IAAI;QACV,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IAEO,QAAQ;QACd,IAAI,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAC/B,SAAS,CAAC;YACR,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACxB,IAAI,GAAG,EAAE,IAAI,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC;gBAAE,MAAM;YACpE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YACb,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;YAClC,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACzD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,YAAY;QAClB,IAAI,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAC7B,SAAS,CAAC;YACR,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACxB,IAAI,GAAG,EAAE,IAAI,KAAK,KAAK,IAAI,GAAG,EAAE,IAAI,KAAK,IAAI,IAAI,GAAG,EAAE,IAAI,KAAK,IAAI,EAAE,CAAC;gBACpE,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC;gBAChE,SAAS;YACX,CAAC;YACD,IAAI,GAAG,EAAE,IAAI,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC;gBAAE,MAAM;YACpE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YACb,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;YAChC,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QACzD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,UAAU;QAChB,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,GAAG,EAAE,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;YACzC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YACb,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC;QAClE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,UAAU;QAChB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,GAAG,EAAE,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;YACzC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YACb,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC;QAChF,CAAC;QACD,IAAI,GAAG,EAAE,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;YACzC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YACb,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC;QAC3B,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC;IAC7B,CAAC;IAEO,YAAY;QAClB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,GAAG,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QACjE,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvB,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YACb,OAAO,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACtB,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,IAAI,EAAE,IAAI,KAAK,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAwB,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAC3H,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;gBACb,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1B,IAAI,KAAK,EAAE,IAAI,KAAK,IAAI;oBAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;gBACvF,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;gBACb,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC1F,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;oBAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;gBACpD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,GAAG,CAAC,IAAwB,EAAE,GAAG,EAAE,CAAC;YAC3E,CAAC;YACD,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3C,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACtB,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YACb,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,IAAI,KAAK,EAAE,IAAI,KAAK,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;YACrE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;YACb,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACjD,CAAC;IAEO,UAAU,CAAC,WAAmB;QACpC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC9C,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,OAAO,MAAM,CAAC;QAC7C,OAAO,WAAW,CAAC;IACrB,CAAC;CACF;AAED;;;GAGG;AACH,SAAS,kBAAkB,CAAC,IAAc;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG;YAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;QACxF,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACnF,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAC/C,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC;IAC9D,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,CAAC,MAAgB,EAAQ,EAAE;QACtC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC;YAC9C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI;gBAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvB,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QACzB,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,IACE,KAAK,EAAE,IAAI,KAAK,QAAQ;YACxB,KAAK,CAAC,IAAI,KAAK,IAAI;YACnB,IAAI,CAAC,IAAI,KAAK,QAAQ;YACtB,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAC7B,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,SAAS,EAC7B,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;YACtC,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAE,CAAC;IAC3C,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC/C,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,sBAAsB,CAAC,UAAkB;IACvD,MAAM,SAAS,GAAG,qBAAqB,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC;IACpE,OAAO,kBAAkB,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;AACrE,CAAC"}

package/dist/bridges/holds.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Interpreter for a catalog validity condition.
+ *
+ * A condition is a boolean expression over quantity names, the registered
+ * constants, `finite`, and `integer`. It is not JavaScript `eval`.
+ *
+ * @module bridges/holds
+ */
+export declare class HoldsError extends Error {
+    constructor(message: string);
+}
+/**
+ * Names in `holds` may contain hyphens. Rewrite the declared names to
+ * underscores, longest first, before the lexer treats `-` as subtraction.
+ */
+export declare function rewriteHoldsNames(source: string, names: readonly string[]): string;
+/**
+ * Whether `holds` is true for `values`.
+ * Hyphenated quantity names are rewritten with `names` before parsing.
+ */
+export declare function holds(source: string, values: Readonly<Record<string, number>>, constants: Readonly<Record<string, number>>, names: readonly string[]): boolean;
+//# sourceMappingURL=holds.d.ts.map

package/dist/bridges/holds.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"holds.d.ts","sourceRoot":"","sources":["../../src/bridges/holds.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,qBAAa,UAAW,SAAQ,KAAK;IACnC,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AA4DD;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAQlF;AAmLD;;;GAGG;AACH,wBAAgB,KAAK,CACnB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACxC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC3C,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,OAAO,CAST"}

package/dist/bridges/holds.js

@@ -0,0 +1,266 @@
+/**
+ * Interpreter for a catalog validity condition.
+ *
+ * A condition is a boolean expression over quantity names, the registered
+ * constants, `finite`, and `integer`. It is not JavaScript `eval`.
+ *
+ * @module bridges/holds
+ */
+export class HoldsError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'HoldsError';
+    }
+}
+const OPS = ['>=', '<=', '===', '!==', '==', '!=', '&&', '||', '>', '<', '!'];
+function tokenize(source) {
+    const out = [];
+    let i = 0;
+    while (i < source.length) {
+        const c = source[i];
+        if (c === ' ' || c === '\n' || c === '\t' || c === '\r') {
+            i += 1;
+            continue;
+        }
+        if (c === '(') {
+            out.push({ t: 'lp' });
+            i += 1;
+            continue;
+        }
+        if (c === ')') {
+            out.push({ t: 'rp' });
+            i += 1;
+            continue;
+        }
+        const op = OPS.find((candidate) => source.startsWith(candidate, i));
+        if (op !== undefined) {
+            out.push({ t: 'op', v: op });
+            i += op.length;
+            continue;
+        }
+        if (c === '+' || c === '-' || c === '*' || c === '/' || c === '^') {
+            out.push({ t: 'op', v: c });
+            i += 1;
+            continue;
+        }
+        if (/[0-9.]/.test(c)) {
+            const m = /^[0-9]*\.?[0-9]+(?:[eE][+-]?[0-9]+)?/.exec(source.slice(i));
+            if (m === null)
+                throw new HoldsError(`bad number at ${i} in ${source}`);
+            out.push({ t: 'num', v: Number(m[0]) });
+            i += m[0].length;
+            continue;
+        }
+        if (/[A-Za-z_]/.test(c)) {
+            const m = /^[A-Za-z_][A-Za-z0-9_]*/.exec(source.slice(i));
+            if (m === null)
+                throw new HoldsError(`bad name at ${i} in ${source}`);
+            out.push({ t: 'id', v: m[0] });
+            i += m[0].length;
+            continue;
+        }
+        throw new HoldsError(`unexpected '${c}' in ${source}`);
+    }
+    return out;
+}
+/**
+ * Names in `holds` may contain hyphens. Rewrite the declared names to
+ * underscores, longest first, before the lexer treats `-` as subtraction.
+ */
+export function rewriteHoldsNames(source, names) {
+    const ordered = [...names].sort((a, b) => b.length - a.length);
+    let out = source;
+    for (const name of ordered) {
+        if (!name.includes('-'))
+            continue;
+        out = out.split(name).join(name.replace(/-/g, '_'));
+    }
+    return out;
+}
+function peek(p) {
+    return p.toks[p.i];
+}
+function peekOp(p) {
+    const tok = peek(p);
+    return tok !== undefined && tok.t === 'op' ? tok.v : undefined;
+}
+function eat(p) {
+    const tok = p.toks[p.i];
+    if (tok === undefined)
+        throw new HoldsError('unexpected end of condition');
+    p.i += 1;
+    return tok;
+}
+function asBool(value, op) {
+    if (typeof value !== 'boolean')
+        throw new HoldsError(`${op} needs a condition`);
+    return value;
+}
+function parseOr(p, env) {
+    let left = parseAnd(p, env);
+    while (peekOp(p) === '||') {
+        eat(p);
+        const right = parseAnd(p, env);
+        left = asBool(left, '||') || asBool(right, '||');
+    }
+    return left;
+}
+function parseAnd(p, env) {
+    let left = parseNot(p, env);
+    while (peekOp(p) === '&&') {
+        eat(p);
+        const right = parseNot(p, env);
+        left = asBool(left, '&&') && asBool(right, '&&');
+    }
+    return left;
+}
+function parseNot(p, env) {
+    if (peekOp(p) === '!') {
+        eat(p);
+        return !asBool(parseNot(p, env), '!');
+    }
+    return parseCmp(p, env);
+}
+function parseCmp(p, env) {
+    const left = parseAdd(p, env);
+    const op = peek(p);
+    if (op?.t === 'op' && ['>', '<', '>=', '<=', '==', '!=', '===', '!=='].includes(op.v)) {
+        eat(p);
+        const right = parseAdd(p, env);
+        if (typeof left === 'boolean' || typeof right === 'boolean') {
+            throw new HoldsError('comparison of a condition');
+        }
+        switch (op.v) {
+            case '>':
+                return left > right;
+            case '<':
+                return left < right;
+            case '>=':
+                return left >= right;
+            case '<=':
+                return left <= right;
+            case '==':
+            case '===':
+                return left === right;
+            case '!=':
+            case '!==':
+                return left !== right;
+            default:
+                throw new HoldsError(`bad comparison ${op.v}`);
+        }
+    }
+    return left;
+}
+function parseAdd(p, env) {
+    let left = parseMul(p, env);
+    while (peekOp(p) === '+' || peekOp(p) === '-') {
+        const op = eat(p);
+        const right = parseMul(p, env);
+        if (typeof left !== 'number' || typeof right !== 'number' || op.t !== 'op') {
+            throw new HoldsError('arithmetic on a condition');
+        }
+        left = op.v === '+' ? left + right : left - right;
+    }
+    return left;
+}
+function parseMul(p, env) {
+    let left = parseUnary(p, env);
+    while (peekOp(p) === '*' || peekOp(p) === '/') {
+        const op = eat(p);
+        const right = parseUnary(p, env);
+        if (typeof left !== 'number' || typeof right !== 'number' || op.t !== 'op') {
+            throw new HoldsError('arithmetic on a condition');
+        }
+        left = op.v === '*' ? left * right : left / right;
+    }
+    return left;
+}
+function parseUnary(p, env) {
+    if (peekOp(p) === '-') {
+        eat(p);
+        const v = parsePow(p, env);
+        if (typeof v !== 'number')
+            throw new HoldsError('negation of a condition');
+        return -v;
+    }
+    if (peekOp(p) === '+') {
+        eat(p);
+        return parsePow(p, env);
+    }
+    return parsePow(p, env);
+}
+function parsePow(p, env) {
+    const base = parsePrimary(p, env);
+    if (peekOp(p) === '^') {
+        eat(p);
+        const exp = parseUnary(p, env);
+        if (typeof base !== 'number' || typeof exp !== 'number')
+            throw new HoldsError('power of a condition');
+        return base ** exp;
+    }
+    return base;
+}
+function parsePrimary(p, env) {
+    const tok = peek(p);
+    if (tok?.t === 'num') {
+        eat(p);
+        return tok.v;
+    }
+    if (tok?.t === 'id') {
+        eat(p);
+        if (tok.v === 'true')
+            return true;
+        if (tok.v === 'false')
+            return false;
+        if (peek(p)?.t === 'lp') {
+            eat(p);
+            const arg = parseAdd(p, env);
+            if (peek(p)?.t !== 'rp')
+                throw new HoldsError(`unclosed ${tok.v}`);
+            eat(p);
+            if (typeof arg !== 'number')
+                throw new HoldsError(`${tok.v} needs a number`);
+            if (tok.v === 'finite')
+                return Number.isFinite(arg);
+            if (tok.v === 'integer')
+                return Number.isInteger(arg);
+            if (tok.v === 'sqrt')
+                return Math.sqrt(arg);
+            if (tok.v === 'abs')
+                return Math.abs(arg);
+            throw new HoldsError(`unknown predicate ${tok.v}`);
+        }
+        if (Object.hasOwn(env.values, tok.v))
+            return env.values[tok.v];
+        if (Object.hasOwn(env.constants, tok.v))
+            return env.constants[tok.v];
+        throw new HoldsError(`unbound '${tok.v}'`);
+    }
+    if (tok?.t === 'lp') {
+        eat(p);
+        const v = parseOr(p, env);
+        if (peek(p)?.t !== 'rp')
+            throw new HoldsError('unclosed group');
+        eat(p);
+        return v;
+    }
+    throw new HoldsError('expected a value');
+}
+/**
+ * Whether `holds` is true for `values`.
+ * Hyphenated quantity names are rewritten with `names` before parsing.
+ */
+export function holds(source, values, constants, names) {
+    const rewritten = rewriteHoldsNames(source, names);
+    const folded = {};
+    for (const [key, value] of Object.entries(values))
+        folded[key.replace(/-/g, '_')] = value;
+    const p = { toks: tokenize(rewritten), i: 0 };
+    const result = parseOr(p, { values: folded, constants });
+    if (p.i !== p.toks.length)
+        throw new HoldsError(`trailing input in ${source}`);
+    if (typeof result !== 'boolean')
+        throw new HoldsError(`condition is not boolean: ${source}`);
+    return result;
+}
+//# sourceMappingURL=holds.js.map

package/dist/bridges/holds.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"holds.js","sourceRoot":"","sources":["../../src/bridges/holds.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,OAAO,UAAW,SAAQ,KAAK;IACnC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;IAC3B,CAAC;CACF;AASD,MAAM,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE9E,SAAS,QAAQ,CAAC,MAAc;IAC9B,MAAM,GAAG,GAAU,EAAE,CAAC;IACtB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACrB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACxD,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;YACtB,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;YACtB,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;QACpE,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC7B,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC;YACf,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YAClE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5B,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,sCAAsC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACvE,IAAI,CAAC,KAAK,IAAI;gBAAE,MAAM,IAAI,UAAU,CAAC,iBAAiB,CAAC,OAAO,MAAM,EAAE,CAAC,CAAC;YACxE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACxC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1D,IAAI,CAAC,KAAK,IAAI;gBAAE,MAAM,IAAI,UAAU,CAAC,eAAe,CAAC,OAAO,MAAM,EAAE,CAAC,CAAC;YACtE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QACD,MAAM,IAAI,UAAU,CAAC,eAAe,CAAC,QAAQ,MAAM,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,KAAwB;IACxE,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IAC/D,IAAI,GAAG,GAAG,MAAM,CAAC;IACjB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,SAAS;QAClC,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAOD,SAAS,IAAI,CAAC,CAAS;IACrB,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,MAAM,CAAC,CAAS;IACvB,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACjE,CAAC;AAED,SAAS,GAAG,CAAC,CAAS;IACpB,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,GAAG,KAAK,SAAS;QAAE,MAAM,IAAI,UAAU,CAAC,6BAA6B,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACT,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,MAAM,CAAC,KAAuB,EAAE,EAAU;IACjD,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,UAAU,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;IAChF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,OAAO,CAAC,CAAS,EAAE,GAAQ;IAClC,IAAI,IAAI,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5B,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC1B,GAAG,CAAC,CAAC,CAAC,CAAC;QACP,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/B,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS,EAAE,GAAQ;IACnC,IAAI,IAAI,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5B,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC1B,GAAG,CAAC,CAAC,CAAC,CAAC;QACP,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/B,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS,EAAE,GAAQ;IACnC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACtB,GAAG,CAAC,CAAC,CAAC,CAAC;QACP,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS,EAAE,GAAQ;IACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,GAAG,CAAC,CAAC,CAAC,CAAC;QACP,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/B,IAAI,OAAO,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;YAC5D,MAAM,IAAI,UAAU,CAAC,2BAA2B,CAAC,CAAC;QACpD,CAAC;QACD,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC;YACb,KAAK,GAAG;gBACN,OAAO,IAAI,GAAG,KAAK,CAAC;YACtB,KAAK,GAAG;gBACN,OAAO,IAAI,GAAG,KAAK,CAAC;YACtB,KAAK,IAAI;gBACP,OAAO,IAAI,IAAI,KAAK,CAAC;YACvB,KAAK,IAAI;gBACP,OAAO,IAAI,IAAI,KAAK,CAAC;YACvB,KAAK,IAAI,CAAC;YACV,KAAK,KAAK;gBACR,OAAO,IAAI,KAAK,KAAK,CAAC;YACxB,KAAK,IAAI,CAAC;YACV,KAAK,KAAK;gBACR,OAAO,IAAI,KAAK,KAAK,CAAC;YACxB;gBACE,MAAM,IAAI,UAAU,CAAC,kBAAkB,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS,EAAE,GAAQ;IACnC,IAAI,IAAI,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5B,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAC9C,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC3E,MAAM,IAAI,UAAU,CAAC,2BAA2B,CAAC,CAAC;QACpD,CAAC;QACD,IAAI,GAAG,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC;IACpD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS,EAAE,GAAQ;IACnC,IAAI,IAAI,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC9B,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAC9C,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC3E,MAAM,IAAI,UAAU,CAAC,2BAA2B,CAAC,CAAC;QACpD,CAAC;QACD,IAAI,GAAG,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC;IACpD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,CAAS,EAAE,GAAQ;IACrC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACtB,GAAG,CAAC,CAAC,CAAC,CAAC;QACP,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC3B,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,MAAM,IAAI,UAAU,CAAC,yBAAyB,CAAC,CAAC;QAC3E,OAAO,CAAC,CAAC,CAAC;IACZ,CAAC;IACD,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACtB,GAAG,CAAC,CAAC,CAAC,CAAC;QACP,OAAO,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS,EAAE,GAAQ;IACnC,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAClC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACtB,GAAG,CAAC,CAAC,CAAC,CAAC;QACP,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,MAAM,IAAI,UAAU,CAAC,sBAAsB,CAAC,CAAC;QACtG,OAAO,IAAI,IAAI,GAAG,CAAC;IACrB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,CAAS,EAAE,GAAQ;IACvC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,GAAG,EAAE,CAAC,KAAK,KAAK,EAAE,CAAC;QACrB,GAAG,CAAC,CAAC,CAAC,CAAC;QACP,OAAO,GAAG,CAAC,CAAC,CAAC;IACf,CAAC;IACD,IAAI,GAAG,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;QACpB,GAAG,CAAC,CAAC,CAAC,CAAC;QACP,IAAI,GAAG,CAAC,CAAC,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC;QAClC,IAAI,GAAG,CAAC,CAAC,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QACpC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;YACxB,GAAG,CAAC,CAAC,CAAC,CAAC;YACP,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAC7B,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI;gBAAE,MAAM,IAAI,UAAU,CAAC,YAAY,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YACnE,GAAG,CAAC,CAAC,CAAC,CAAC;YACP,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,MAAM,IAAI,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC7E,IAAI,GAAG,CAAC,CAAC,KAAK,QAAQ;gBAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACpD,IAAI,GAAG,CAAC,CAAC,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YACtD,IAAI,GAAG,CAAC,CAAC,KAAK,MAAM;gBAAE,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5C,IAAI,GAAG,CAAC,CAAC,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1C,MAAM,IAAI,UAAU,CAAC,qBAAqB,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACrD,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;QAChE,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;QACtE,MAAM,IAAI,UAAU,CAAC,YAAY,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,GAAG,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;QACpB,GAAG,CAAC,CAAC,CAAC,CAAC;QACP,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC1B,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI;YAAE,MAAM,IAAI,UAAU,CAAC,gBAAgB,CAAC,CAAC;QAChE,GAAG,CAAC,CAAC,CAAC,CAAC;QACP,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,IAAI,UAAU,CAAC,kBAAkB,CAAC,CAAC;AAC3C,CAAC;AAOD;;;GAGG;AACH,MAAM,UAAU,KAAK,CACnB,MAAc,EACd,MAAwC,EACxC,SAA2C,EAC3C,KAAwB;IAExB,MAAM,SAAS,GAAG,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACnD,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC;IAC1F,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IACtD,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;IACzD,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,UAAU,CAAC,qBAAqB,MAAM,EAAE,CAAC,CAAC;IAC/E,IAAI,OAAO,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,UAAU,CAAC,6BAA6B,MAAM,EAAE,CAAC,CAAC;IAC7F,OAAO,MAAM,CAAC;AAChB,CAAC"}