universal-physics-tensor 8.0.0 → 9.0.0

package/dist/bridges/holds.js

@@ -2,263 +2,142 @@
  * 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`.
+ * constants, `isFinite` and `isInteger`, written in MathTS's grammar
+ * (`and`, `or`, `not`, `<`, `<=`, `>`, `>=`, `==`, `!=`). MathTS parses it,
+ * and MathTS evaluates every arithmetic sub-expression. The comparisons and
+ * the logical operators are evaluated here, exactly: MathTS's own comparison
+ * operators are tolerance-based (`absTol` 1e-15), so under them `1e-18 > 0`
+ * is false, which no condition over SI magnitudes can accept.
+ *
+ * It is not JavaScript `eval`.
  *
  * @module bridges/holds
  */
+import { parse as parseMathTs } from '@danielsimonjr/mathts-functions';
+import { rewriteCatalogHyphens } from '../dimensional/hyphen-names.js';
+/** A condition could not be evaluated: it names an unbound symbol, or its text does not parse. @internal */
 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;
+const COMPARISONS = {
+    '<': (a, b) => a < b,
+    '<=': (a, b) => a <= b,
+    '>': (a, b) => a > b,
+    '>=': (a, b) => a >= b,
+    '==': (a, b) => a === b,
+    '!=': (a, b) => a !== b,
+};
+const PREDICATES = {
+    isFinite: (x) => Number.isFinite(x),
+    isInteger: (x) => Number.isInteger(x),
+};
+function functionName(node) {
+    return typeof node.fn === 'string' ? node.fn : (node.fn?.name ?? node.name ?? '');
+}
+/** Evaluate an arithmetic sub-tree through MathTS; the result must be a number. */
+function arithmetic(node, source) {
+    return (scope) => {
+        let v;
+        try {
+            v = node.evaluate(scope);
         }
-        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;
+        catch (error) {
+            throw new HoldsError(`${error instanceof Error ? error.message : String(error)} in ${source}`);
         }
-        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}`);
+        if (typeof v !== 'number')
+            throw new HoldsError(`operand is not a number: ${node.toString()} in ${source}`);
+        return v;
+    };
+}
+function compile(node, source) {
+    switch (node.type) {
+        case 'ParenthesisNode':
+            return compile(node.content, source);
+        case 'ConstantNode':
+            if (typeof node.value === 'boolean')
+                return () => node.value;
+            return arithmetic(node, source);
+        case 'OperatorNode': {
+            const op = node.op ?? '';
+            const args = node.args ?? [];
+            if (op === 'and' || op === 'or') {
+                const parts = args.map((a) => compile(a, source));
+                return (scope) => {
+                    const values = parts.map((p) => p(scope));
+                    if (values.some((v) => typeof v !== 'boolean'))
+                        throw new HoldsError(`'${op}' of a number in ${source}`);
+                    return op === 'and' ? values.every(Boolean) : values.some(Boolean);
+                };
+            }
+            if (op === 'not') {
+                const inner = compile(args[0], source);
+                return (scope) => {
+                    const v = inner(scope);
+                    if (typeof v !== 'boolean')
+                        throw new HoldsError(`'not' of a number in ${source}`);
+                    return !v;
+                };
+            }
+            const compare = COMPARISONS[op];
+            if (compare !== undefined) {
+                const [left, right] = args.map((a) => compile(a, source));
+                return (scope) => {
+                    const a = left(scope);
+                    const b = right(scope);
+                    if (typeof a !== 'number' || typeof b !== 'number')
+                        throw new HoldsError(`'${op}' of a boolean in ${source}`);
+                    return compare(a, b);
+                };
+            }
+            return arithmetic(node, source);
         }
-    }
-    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');
+        case 'FunctionNode': {
+            const predicate = PREDICATES[functionName(node)];
+            if (predicate !== undefined) {
+                const arg = compile(node.args[0], source);
+                return (scope) => {
+                    const v = arg(scope);
+                    if (typeof v !== 'number')
+                        throw new HoldsError(`${functionName(node)} of a boolean in ${source}`);
+                    return predicate(v);
+                };
+            }
+            return arithmetic(node, source);
         }
-        left = op.v === '+' ? left + right : left - right;
+        default:
+            return arithmetic(node, source);
     }
-    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;
+const COMPILED = new Map();
+function compiled(rewritten, source) {
+    const hit = COMPILED.get(rewritten);
+    if (hit !== undefined)
+        return hit;
+    let node;
+    try {
+        node = parseMathTs(rewritten);
     }
-    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;
+    catch (error) {
+        throw new HoldsError(`${error instanceof Error ? error.message : String(error)} in ${source}`);
     }
-    throw new HoldsError('expected a value');
+    const fn = compile(node, source);
+    COMPILED.set(rewritten, fn);
+    return fn;
 }
 /**
  * Whether `holds` is true for `values`.
- * Hyphenated quantity names are rewritten with `names` before parsing.
+ * Hyphenated quantity names are rewritten with `names` before parsing; an
+ * unbound name, a non-boolean result, and a syntax error are a {@link HoldsError}.
  */
 export function holds(source, values, constants, names) {
-    const rewritten = rewriteHoldsNames(source, names);
-    const folded = {};
+    const rewritten = rewriteCatalogHyphens(source, names);
+    const scope = { ...constants };
     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}`);
+        scope[key.replace(/-/g, '_')] = value;
+    const result = compiled(rewritten, source)(scope);
     if (typeof result !== 'boolean')
         throw new HoldsError(`condition is not boolean: ${source}`);
     return result;

package/dist/bridges/holds.js.map

@@ -1 +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"}
+{"version":3,"file":"holds.js","sourceRoot":"","sources":["../../src/bridges/holds.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,KAAK,IAAI,WAAW,EAAE,MAAM,iCAAiC,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAEvE,4GAA4G;AAC5G,MAAM,OAAO,UAAW,SAAQ,KAAK;IACnC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;IAC3B,CAAC;CACF;AAiBD,MAAM,WAAW,GAAgE;IAC/E,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC;IACpB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC;IACtB,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC;IACpB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC;IACtB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;IACvB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;CACxB,CAAC;AAEF,MAAM,UAAU,GAAqD;IACnE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IACnC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;CACtC,CAAC;AAEF,SAAS,YAAY,CAAC,IAAc;IAClC,OAAO,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;AACpF,CAAC;AAED,mFAAmF;AACnF,SAAS,UAAU,CAAC,IAAc,EAAE,MAAc;IAChD,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,IAAI,CAAU,CAAC;QACf,IAAI,CAAC;YACH,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC3B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,UAAU,CAAC,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,MAAM,EAAE,CAAC,CAAC;QACjG,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,MAAM,IAAI,UAAU,CAAC,4BAA4B,IAAI,CAAC,QAAQ,EAAE,OAAO,MAAM,EAAE,CAAC,CAAC;QAC5G,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,IAAc,EAAE,MAAc;IAC7C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,iBAAiB;YACpB,OAAO,OAAO,CAAC,IAAI,CAAC,OAAQ,EAAE,MAAM,CAAC,CAAC;QACxC,KAAK,cAAc;YACjB,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS;gBAAE,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,KAAgB,CAAC;YACxE,OAAO,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAClC,KAAK,cAAc,EAAE,CAAC;YACpB,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;YAC7B,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAChC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;gBAClD,OAAO,CAAC,KAAK,EAAE,EAAE;oBACf,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;oBAC1C,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC;wBAAE,MAAM,IAAI,UAAU,CAAC,IAAI,EAAE,oBAAoB,MAAM,EAAE,CAAC,CAAC;oBACzG,OAAO,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACrE,CAAC,CAAC;YACJ,CAAC;YACD,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;gBACjB,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;gBACxC,OAAO,CAAC,KAAK,EAAE,EAAE;oBACf,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;oBACvB,IAAI,OAAO,CAAC,KAAK,SAAS;wBAAE,MAAM,IAAI,UAAU,CAAC,wBAAwB,MAAM,EAAE,CAAC,CAAC;oBACnF,OAAO,CAAC,CAAC,CAAC;gBACZ,CAAC,CAAC;YACJ,CAAC;YACD,MAAM,OAAO,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;YAChC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;gBAC1D,OAAO,CAAC,KAAK,EAAE,EAAE;oBACf,MAAM,CAAC,GAAG,IAAK,CAAC,KAAK,CAAC,CAAC;oBACvB,MAAM,CAAC,GAAG,KAAM,CAAC,KAAK,CAAC,CAAC;oBACxB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;wBAAE,MAAM,IAAI,UAAU,CAAC,IAAI,EAAE,qBAAqB,MAAM,EAAE,CAAC,CAAC;oBAC9G,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACvB,CAAC,CAAC;YACJ,CAAC;YACD,OAAO,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAClC,CAAC;QACD,KAAK,cAAc,EAAE,CAAC;YACpB,MAAM,SAAS,GAAG,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;YACjD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,IAAK,CAAC,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC;gBAC5C,OAAO,CAAC,KAAK,EAAE,EAAE;oBACf,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;oBACrB,IAAI,OAAO,CAAC,KAAK,QAAQ;wBAAE,MAAM,IAAI,UAAU,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,oBAAoB,MAAM,EAAE,CAAC,CAAC;oBACnG,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC;gBACtB,CAAC,CAAC;YACJ,CAAC;YACD,OAAO,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAClC,CAAC;QACD;YACE,OAAO,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;AACH,CAAC;AAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;AAE7C,SAAS,QAAQ,CAAC,SAAiB,EAAE,MAAc;IACjD,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACpC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC;IAClC,IAAI,IAAc,CAAC;IACnB,IAAI,CAAC;QACH,IAAI,GAAG,WAAW,CAAC,SAAS,CAAwB,CAAC;IACvD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,UAAU,CAAC,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,MAAM,EAAE,CAAC,CAAC;IACjG,CAAC;IACD,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACjC,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAC5B,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,KAAK,CACnB,MAAc,EACd,MAAwC,EACxC,SAA2C,EAC3C,KAAwB;IAExB,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACvD,MAAM,KAAK,GAAU,EAAE,GAAG,SAAS,EAAE,CAAC;IACtC,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,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;IAClD,IAAI,OAAO,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,UAAU,CAAC,6BAA6B,MAAM,EAAE,CAAC,CAAC;IAC7F,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/bridges/input-contract.d.ts

@@ -0,0 +1,65 @@
+/**
+ * The one check of a binding record against an id's declared inputs.
+ *
+ * Every evaluation runs it before any domain check: `evaluateRelation`, the
+ * CLI's `upt evaluate`, an evaluator's `run`, the uncertainty probes that
+ * call `run`, and an applied case. It refuses an unknown key, a non-number, a
+ * number that is not finite and a key given twice, converts a declared
+ * alternate onto its key, and names every absent required input, in that
+ * order.
+ *
+ * A spelling binds one slot. {@link inputContract} builds a contract and
+ * refuses one whose spellings or alternates name two slots, so an ambiguous
+ * key fails when the contract is built, not when a caller happens to use it.
+ *
+ * What is required depends on what the caller asks for. A slot is read by the
+ * value (it owns a source of the relation) or only by the extra outputs. A
+ * caller who wants the value alone (`evaluateRelation`, the graph edge) need
+ * not give an output-only input; a caller who wants every output must.
+ *
+ * @module bridges/input-contract
+ */
+/** A second key that converts into a slot's key by a factor. @public */
+export interface ContractAlternate {
+    readonly key: string;
+    readonly toKey: number;
+}
+/** One declared input: the key the evaluation reads, and every spelling that binds it. @public */
+export interface InputSlot {
+    readonly key: string;
+    /** Spellings that bind this slot as given (the key, its quantity, its source and aliases). */
+    readonly spellings: readonly string[];
+    readonly alternates: readonly ContractAlternate[];
+    readonly optional: boolean;
+    /** `'value'` when the relation's value reads this slot; `'outputs'` when only an extra output does. */
+    readonly readBy: 'value' | 'outputs';
+    /** Listed in a message as one of "the inputs". A constant a caller may override is not. */
+    readonly listed: boolean;
+}
+/** What the caller wants back: the relation's value alone, or the value and every extra output. @public */
+export type EvaluationWant = 'value' | 'all';
+/** The declared inputs of one id. @public */
+export interface InputContract {
+    readonly id: string;
+    readonly slots: readonly InputSlot[];
+}
+/**
+ * A contract for `id` with `slots`, checked once here: every spelling and
+ * alternate binds exactly one slot.
+ *
+ * @throws Error when a spelling or an alternate names two slots.
+ * @public
+ */
+export declare function inputContract(id: string, slots: readonly InputSlot[]): InputContract;
+/**
+ * `bindings` keyed by slot key, after the contract's checks.
+ *
+ * @throws UnknownInputError a key no slot spells.
+ * @throws InputTypeError a value that is not a number.
+ * @throws NonFiniteInputError a number that is `NaN`, `Infinity` or `-Infinity`.
+ * @throws DuplicateInputError one slot bound under two spellings.
+ * @throws MissingInputError a required slot left unbound (every one is named).
+ *   With `want` `'value'`, a slot only an extra output reads is not required.
+ */
+export declare function checkInputs(contract: InputContract, bindings: Readonly<Record<string, unknown>>, want?: EvaluationWant): Record<string, number>;
+//# sourceMappingURL=input-contract.d.ts.map

package/dist/bridges/input-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"input-contract.d.ts","sourceRoot":"","sources":["../../src/bridges/input-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAUH,wEAAwE;AACxE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,kGAAkG;AAClG,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,8FAA8F;IAC9F,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,uGAAuG;IACvG,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,SAAS,CAAC;IACrC,2FAA2F;IAC3F,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED,2GAA2G;AAC3G,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,KAAK,CAAC;AAE7C,6CAA6C;AAC7C,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;CACtC;AA8BD;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,SAAS,EAAE,GAAG,aAAa,CAIpF;AAED;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CACzB,QAAQ,EAAE,aAAa,EACvB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAC3C,IAAI,GAAE,cAAsB,GAC3B,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAmBxB"}

package/dist/bridges/input-contract.js

@@ -0,0 +1,97 @@
+/**
+ * The one check of a binding record against an id's declared inputs.
+ *
+ * Every evaluation runs it before any domain check: `evaluateRelation`, the
+ * CLI's `upt evaluate`, an evaluator's `run`, the uncertainty probes that
+ * call `run`, and an applied case. It refuses an unknown key, a non-number, a
+ * number that is not finite and a key given twice, converts a declared
+ * alternate onto its key, and names every absent required input, in that
+ * order.
+ *
+ * A spelling binds one slot. {@link inputContract} builds a contract and
+ * refuses one whose spellings or alternates name two slots, so an ambiguous
+ * key fails when the contract is built, not when a caller happens to use it.
+ *
+ * What is required depends on what the caller asks for. A slot is read by the
+ * value (it owns a source of the relation) or only by the extra outputs. A
+ * caller who wants the value alone (`evaluateRelation`, the graph edge) need
+ * not give an output-only input; a caller who wants every output must.
+ *
+ * @module bridges/input-contract
+ */
+import { DuplicateInputError, InputTypeError, MissingInputError, NonFiniteInputError, UnknownInputError, } from './evaluation-errors.js';
+const INDEX = new WeakMap();
+/**
+ * Every spelling and alternate of `contract`, each onto its one slot.
+ * @throws Error when one spelling names two slots.
+ */
+function spellingIndex(contract) {
+    const cached = INDEX.get(contract);
+    if (cached !== undefined)
+        return cached;
+    const index = new Map();
+    const bind = (spelling, slot, factor) => {
+        const earlier = index.get(spelling);
+        if (earlier !== undefined && earlier.slot !== slot) {
+            throw new Error(`${contract.id}: input contract spells '${spelling}' for both '${earlier.slot.key}' and '${slot.key}'`);
+        }
+        if (earlier === undefined)
+            index.set(spelling, { slot, factor });
+    };
+    for (const slot of contract.slots)
+        for (const spelling of slot.spellings)
+            bind(spelling, slot, 1);
+    for (const slot of contract.slots)
+        for (const alt of slot.alternates)
+            bind(alt.key, slot, alt.toKey);
+    INDEX.set(contract, index);
+    return index;
+}
+/**
+ * A contract for `id` with `slots`, checked once here: every spelling and
+ * alternate binds exactly one slot.
+ *
+ * @throws Error when a spelling or an alternate names two slots.
+ * @public
+ */
+export function inputContract(id, slots) {
+    const contract = { id, slots };
+    spellingIndex(contract);
+    return contract;
+}
+/**
+ * `bindings` keyed by slot key, after the contract's checks.
+ *
+ * @throws UnknownInputError a key no slot spells.
+ * @throws InputTypeError a value that is not a number.
+ * @throws NonFiniteInputError a number that is `NaN`, `Infinity` or `-Infinity`.
+ * @throws DuplicateInputError one slot bound under two spellings.
+ * @throws MissingInputError a required slot left unbound (every one is named).
+ *   With `want` `'value'`, a slot only an extra output reads is not required.
+ */
+export function checkInputs(contract, bindings, want = 'all') {
+    const listed = contract.slots.filter((slot) => slot.listed).map((slot) => slot.key);
+    const bySpelling = spellingIndex(contract);
+    const out = {};
+    const givenAs = new Map();
+    for (const [key, value] of Object.entries(bindings)) {
+        const found = bySpelling.get(key);
+        if (found === undefined)
+            throw new UnknownInputError(contract.id, key, listed);
+        if (typeof value !== 'number')
+            throw new InputTypeError(contract.id, key, typeof value);
+        if (!Number.isFinite(value))
+            throw new NonFiniteInputError(contract.id, key, value);
+        const earlier = givenAs.get(found.slot.key);
+        if (earlier !== undefined)
+            throw new DuplicateInputError(contract.id, found.slot.key, [earlier, key]);
+        givenAs.set(found.slot.key, key);
+        out[found.slot.key] = value * found.factor;
+    }
+    const required = (slot) => !slot.optional && (want === 'all' || slot.readBy === 'value');
+    const missing = contract.slots.filter((slot) => required(slot) && !givenAs.has(slot.key)).map((slot) => slot.key);
+    if (missing.length > 0)
+        throw new MissingInputError(contract.id, missing, listed);
+    return out;
+}
+//# sourceMappingURL=input-contract.js.map

package/dist/bridges/input-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"input-contract.js","sourceRoot":"","sources":["../../src/bridges/input-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAiChC,MAAM,KAAK,GAAG,IAAI,OAAO,EAAgC,CAAC;AAE1D;;;GAGG;AACH,SAAS,aAAa,CAAC,QAAuB;IAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAA+C,CAAC;IACrE,MAAM,IAAI,GAAG,CAAC,QAAgB,EAAE,IAAe,EAAE,MAAc,EAAQ,EAAE;QACvE,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACpC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACnD,MAAM,IAAI,KAAK,CACb,GAAG,QAAQ,CAAC,EAAE,4BAA4B,QAAQ,eAAe,OAAO,CAAC,IAAI,CAAC,GAAG,UAAU,IAAI,CAAC,GAAG,GAAG,CACvG,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACnE,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK;QAAE,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAClG,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK;QAAE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IACrG,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,EAAU,EAAE,KAA2B;IACnE,MAAM,QAAQ,GAAkB,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;IAC9C,aAAa,CAAC,QAAQ,CAAC,CAAC;IACxB,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CACzB,QAAuB,EACvB,QAA2C,EAC3C,IAAI,GAAmB,KAAK;IAE5B,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpF,MAAM,UAAU,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAC/E,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,MAAM,IAAI,cAAc,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,KAAK,CAAC,CAAC;QACxF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QACpF,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;QACtG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACjC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;IAC7C,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,IAAe,EAAW,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;IAC7G,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClH,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAClF,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/bridges/notices.d.ts

@@ -0,0 +1,11 @@
+/**
+ * The caveats printed beside a relation's value: the record's own notice, and
+ * the note of every registered constant its expression names. No caller
+ * switches on a notice; the text is the record's or the constant's.
+ *
+ * @module bridges/notices
+ */
+import type { CatalogRelation } from './catalog-types.js';
+/** The caveats to print beside `relation`'s value. @internal */
+export declare function relationNotices(relation: CatalogRelation): string[];
+//# sourceMappingURL=notices.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"notices.d.ts","sourceRoot":"","sources":["../../src/bridges/notices.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAO1D,gEAAgE;AAChE,wBAAgB,eAAe,CAAC,QAAQ,EAAE,eAAe,GAAG,MAAM,EAAE,CAKnE"}

package/dist/bridges/notices.js

@@ -0,0 +1,22 @@
+/**
+ * The caveats printed beside a relation's value: the record's own notice, and
+ * the note of every registered constant its expression names. No caller
+ * switches on a notice; the text is the record's or the constant's.
+ *
+ * @module bridges/notices
+ */
+import { constantNotes } from '../dimensional/symbolic-constants.js';
+/** Identifiers in an expression, in order of first appearance. */
+function identifiers(expression) {
+    return [...new Set(expression.match(/[A-Za-z_][A-Za-z0-9_]*/g) ?? [])];
+}
+/** The caveats to print beside `relation`'s value. @internal */
+export function relationNotices(relation) {
+    const notes = [];
+    if (relation.notice !== undefined)
+        notes.push(relation.notice.text);
+    for (const note of constantNotes(identifiers(relation.expression)))
+        notes.push(`note: ${note}`);
+    return notes;
+}
+//# sourceMappingURL=notices.js.map

package/dist/bridges/notices.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"notices.js","sourceRoot":"","sources":["../../src/bridges/notices.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAC;AAGrE,kEAAkE;AAClE,SAAS,WAAW,CAAC,UAAkB;IACrC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,yBAAyB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,eAAe,CAAC,QAAyB;IACvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACpE,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IAChG,OAAO,KAAK,CAAC;AACf,CAAC"}