universal-physics-tensor 8.0.0 → 10.0.0

package/dist/numerical/evaluator-uncertainty.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluator-uncertainty.js","sourceRoot":"","sources":["../../src/numerical/evaluator-uncertainty.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,oBAAoB,IAAI,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AACrG,OAAO,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAEvD,kGAAkG;AAClG,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAE/B;;;;GAIG;AACH,MAAM,uBAAwB,SAAQ,KAAK;IACzC,YAAY,MAAc,EAAE,KAAa;QACvC,KAAK,CAAC,qBAAqB,MAAM,kCAAkC,KAAK,cAAc,CAAC,CAAC;QACxF,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF;AAuBD,SAAS,aAAa,CAAC,IAAsB,EAAE,CAAS,EAAE,CAAS;IACjE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,6BAA6B,CAC3C,CAA8D,EAC9D,MAAwC,EACxC,KAAuC,EACvC,IAAsB;IAEtB,MAAM,IAAI,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,GAAG,GAAqC,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,IAAI,IAAI,MAAM;YAAE,SAAS;QACtD,MAAM,aAAa,GAA4C,EAAE,CAAC;QAClE,MAAM,CAAC,GAAkC,EAAE,CAAC;QAC5C,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACpB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;YACrB,oEAAoE;YACpE,0EAA0E;YAC1E,qEAAqE;YACrE,0EAA0E;YAC1E,2EAA2E;YAC3E,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC;YACxD,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YACtD,IAAI,MAAiE,CAAC;YACtE,IAAI,CAAC;gBACH,MAAM,GAAG,0BAA0B,CACjC,CAAC,IAAI,EAAE,EAAE;oBACP,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;oBAC5C,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;wBAAE,MAAM,IAAI,uBAAuB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;oBACjG,OAAO,GAAG,CAAC;gBACb,CAAC,EACD,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EACV,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EACV,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,gBAAgB,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAC1E,CAAC;YACJ,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,uEAAuE;gBACvE,qEAAqE;gBACrE,oEAAoE;gBACpE,oCAAoC;gBACpC,IAAI,CAAC,CAAC,KAAK,YAAY,uBAAuB,CAAC,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC;oBAAE,MAAM,KAAK,CAAC;gBAC/F,MAAM,GAAG,SAAS,CAAC;YACrB,CAAC;YACD,MAAM,EAAE,GAAG,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC3E,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;gBACZ,aAAa,CAAC,CAAC,CAAC,GAAG;oBACjB,WAAW,EAAE,IAAI;oBACjB,YAAY,EAAE,IAAI;oBAClB,cAAc,EAAE,IAAI;oBACpB,IAAI,EAAE,+CAA+C;iBACtD,CAAC;gBACF,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACnB,SAAS;YACX,CAAC;YACD,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YACV,IAAI,cAAc,GAAkB,IAAI,CAAC;YACzC,IAAI,IAAwB,CAAC;YAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;gBACvC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC9E,IAAI,GAAG,2CAA2C,CAAC;oBACnD,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACrB,CAAC;qBAAM,CAAC;oBACN,cAAc,GAAG,QAAQ,CAAC;oBAC1B,IAAI,cAAc,GAAG,kBAAkB;wBAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC9D,CAAC;YACH,CAAC;YACD,aAAa,CAAC,CAAC,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,GAAG,CAAC,EAAE,cAAc,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACxH,CAAC;QACD,IAAI,QAAQ,GAAkB,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;gBACtC,IAAI,GAAG,KAAK,CAAC;oBAAE,SAAS;gBACxB,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI;oBAAE,QAAQ,GAAG,IAAI,CAAC;gBACpD,IAAI,QAAQ,KAAK,IAAI;oBAAE,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,GAAG,GAAG,KAAK,CAAC,CAAC,CAAE,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACjF,CAAC;QACH,CAAC;QACD,MAAM,CAAC,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;QACtE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC;IACnH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iCAAiC,CAAC,IAAuB,EAAE,IAAsB;IAC/F,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/E,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC","sourcesContent":["/**\n * First-order propagation of input uncertainties through a closed-form\n * evaluator (GUM's law of propagation), with pairwise correlations and a\n * curvature check per input.\n *\n * This is the numerical engine behind `upt evaluate --sigma/--corr`. It is\n * not the public graph-layer `propagateUncertainty`, which takes a bridge\n * edge and folds neither correlations nor a curvature ratio.\n *\n * @internal\n * @module numerical/evaluator-uncertainty\n */\nimport { propagateUncertainty as propagateScalarUncertainty } from '@danielsimonjr/mathts-functions';\nimport { eigvals } from '@danielsimonjr/mathts-matrix';\n\n/** A curvature term above this fraction of the linear term marks the linearization unreliable. */\nconst NONLINEAR_FRACTION = 0.1;\n\n/**\n * Thrown inside the finite-difference callback when the evaluator returns no\n * finite number at a stepped point. It is the one outcome the propagation\n * reports as \"undefined next to this input\"; it is not a programming error.\n */\nclass EvaluatorUndefinedError extends Error {\n  constructor(output: string, input: string) {\n    super(`evaluator output '${output}' is not a finite number when '${input}' is stepped`);\n    this.name = 'EvaluatorUndefinedError';\n  }\n}\n\n/** One input's share of an output's uncertainty. */\nexport interface UncertaintyContribution {\n  readonly sensitivity: number | null;\n  readonly contribution: number | null;\n  /** |f(x+u) + f(x−u) − 2f(x)| / 2 over |c·u|: the second-order term against the first. */\n  readonly curvatureRatio: number | null;\n  readonly note?: string;\n}\n\n/** One output's propagated uncertainty. */\nexport interface PropagatedOutput {\n  readonly value: number;\n  readonly u: number | null;\n  readonly relative: number | null;\n  readonly contributions: Record<string, UncertaintyContribution>;\n  readonly unreliable: string[];\n}\n\n/** A pairwise correlation table keyed `a,b`; either order is read. */\nexport type CorrelationTable = ReadonlyMap<string, number>;\n\nfunction correlationOf(corr: CorrelationTable, i: string, j: string): number {\n  return i === j ? 1 : (corr.get(`${i},${j}`) ?? corr.get(`${j},${i}`) ?? 0);\n}\n\n/**\n * GUM's law of propagation, u² = Σᵢⱼ cᵢ cⱼ ρᵢⱼ uᵢ uⱼ, with cᵢ by central\n * difference over `f`. Each input is also stepped by ±uᵢ, so a curvature term\n * comparable to the linear term is reported rather than hidden in a\n * small-looking σ. Every numeric field of `f`'s record that is not an input\n * is an output.\n */\nexport function propagateEvaluatorUncertainty(\n  f: (inputs: Record<string, number>) => Record<string, unknown>,\n  inputs: Readonly<Record<string, number>>,\n  sigma: Readonly<Record<string, number>>,\n  corr: CorrelationTable,\n): Record<string, PropagatedOutput> {\n  const base = f({ ...inputs });\n  const keys = Object.keys(sigma);\n  const out: Record<string, PropagatedOutput> = {};\n  for (const [name, v] of Object.entries(base)) {\n    if (typeof v !== 'number' || name in inputs) continue;\n    const contributions: Record<string, UncertaintyContribution> = {};\n    const c: Record<string, number | null> = {};\n    const unreliable: string[] = [];\n    for (const k of keys) {\n      const u = sigma[k]!;\n      const x = inputs[k]!;\n      // The step is per input (`u·10⁻³`, or a relative step when u is 0).\n      // MathTS differentiates every key of `values` with one `relativeStep`, so\n      // this call's values object is only `k`. The callback puts the other\n      // inputs back. Passing them as values would step an exact input (f_lo = 0\n      // goes negative) and discard this partial. The correlation sum stays here.\n      const h = u > 0 ? u * 1e-3 : Math.abs(x) * 1e-6 || 1e-6;\n      const relativeStep = h / Math.max(Math.abs(x), 1e-30);\n      let probed: ReturnType<typeof propagateScalarUncertainty> | undefined;\n      try {\n        probed = propagateScalarUncertainty(\n          (vals) => {\n            const out = f({ ...inputs, ...vals })[name];\n            if (typeof out !== 'number' || !Number.isFinite(out)) throw new EvaluatorUndefinedError(name, k);\n            return out;\n          },\n          { [k]: x },\n          { [k]: u },\n          u > 0 ? { relativeStep, curvatureOffsets: { [k]: u } } : { relativeStep },\n        );\n      } catch (error) {\n        // Only \"the evaluator has no finite value at the stepped point\" is the\n        // reported outcome below. A RangeError is the evaluator's own domain\n        // refusal at that point and is the same outcome. Anything else is a\n        // programming error and propagates.\n        if (!(error instanceof EvaluatorUndefinedError) && !(error instanceof RangeError)) throw error;\n        probed = undefined;\n      }\n      const ck = probed?.partials[k];\n      if (probed === undefined || typeof ck !== 'number' || !Number.isFinite(ck)) {\n        c[k] = null;\n        contributions[k] = {\n          sensitivity: null,\n          contribution: null,\n          curvatureRatio: null,\n          note: 'the evaluator is undefined next to this input',\n        };\n        unreliable.push(k);\n        continue;\n      }\n      c[k] = ck;\n      let curvatureRatio: number | null = null;\n      let note: string | undefined;\n      if (u > 0 && ck * u !== 0) {\n        const reported = probed.curvature?.[k];\n        if (reported === undefined || reported === null || !Number.isFinite(reported)) {\n          note = \"±u reaches outside the evaluator's domain\";\n          unreliable.push(k);\n        } else {\n          curvatureRatio = reported;\n          if (curvatureRatio > NONLINEAR_FRACTION) unreliable.push(k);\n        }\n      }\n      contributions[k] = { sensitivity: ck, contribution: ck * u, curvatureRatio, ...(note === undefined ? {} : { note }) };\n    }\n    let variance: number | null = 0;\n    for (const i of keys) {\n      for (const j of keys) {\n        const rho = correlationOf(corr, i, j);\n        if (rho === 0) continue;\n        if (c[i] === null || c[j] === null) variance = null;\n        if (variance !== null) variance += c[i]! * c[j]! * rho * sigma[i]! * sigma[j]!;\n      }\n    }\n    const u = variance === null ? null : Math.sqrt(Math.max(variance, 0));\n    out[name] = { value: v, u, relative: u === null || v === 0 ? null : u / Math.abs(v), contributions, unreliable };\n  }\n  return out;\n}\n\n/**\n * Whether the correlation matrix over `keys` describes a joint distribution:\n * symmetric with unit diagonal by construction, and positive semidefinite.\n * The eigenvalues are MathTS's; a singular matrix (ρ = ±1) is admitted, an\n * indefinite one is not.\n */\nexport function correlationIsPositiveSemidefinite(keys: readonly string[], corr: CorrelationTable): boolean {\n  if (keys.length === 0) return true;\n  const matrix = keys.map((ki) => keys.map((kj) => correlationOf(corr, ki, kj)));\n  return eigvals(matrix).every((lambda) => lambda.re >= -1e-12);\n}\n"]}

package/dist/numerical/formula-contract.d.ts

@@ -1,17 +1,31 @@
 /**
- * Scalar-formula contract shared by the MathTS parser.
+ * Scalar-formula contract: the parser types, the refusal of `euler`, and THE
+ * ONE TABLE of documented scalar functions.
  *
- * Path B, the recursive-descent parser that used to live in `formula.ts`, is
- * gone. These types and the documented function table stay: the MathTS
- * adapter still returns a `number`, still refuses `euler`, and still supplies
- * `ln` when MathTS does not define it.
+ * `SCALAR_FUNCTIONS` carries, for each documented function, its arity, its
+ * numeric body, and its dimension rule (how the arguments' dimensions map to
+ * the result's). Three readers consume it and none keeps a table of its
+ * own: the MathTS formula parser supplies the bodies MathTS does not define
+ * (`ln`) and names the documented list in its diagnostics; the lowering pass
+ * evaluates a `transcendental`, `abs` or `^` node through it; the dimension
+ * checker and the binding reader apply the dimension rule. Path B, the
+ * recursive-descent parser that used to live in `formula.ts`, is gone.
  *
  * @module numerical/formula-contract
  */
+import type { TranscendentalFn } from '../dimensional/ast-types.js';
 /** A parse or evaluation failure (bad syntax, unknown symbol, arity). */
 export declare class FormulaError extends Error {
     constructor(message: string);
 }
+/**
+ * A formula that parsed and evaluated, whose value is not a finite real number (`ln(-1)`,
+ * `1/0`, `sqrt(-1)`). A bad value at the point, not a malformed formula: the CLI exits 1 on
+ * it where a `FormulaError` is exit 2 (Tom's review, second round).
+ */
+export declare class FormulaValueError extends FormulaError {
+    constructor(message: string);
+}
 /** A parsed formula: its free variables and a safe evaluator. @internal */
 export interface CompiledFormula {
     /** The original source string. */
@@ -31,8 +45,54 @@ export interface FormulaParser {
  * @internal
  */
 export declare const EULER_NUMBER_ERROR = "euler is not Euler's number. Write it as exp(x), for example exp(1). A bare e is the elementary charge. E is energy.";
+/** The name `euler` was written for Euler's number. @internal */
+export declare class EulerNumberError extends FormulaError {
+    constructor();
+}
+/**
+ * How a documented function maps its arguments' dimensions to its result's.
+ *
+ * - `transcendental`: the argument must be dimensionless and so is the result.
+ *   `node` is the dimensional grammar's `transcendental` node when the grammar
+ *   has one for this function; without it the checker keeps a dimensionless stub.
+ * - `same`: the result has the argument's dimension (`abs`).
+ * - `root`: the result is the argument's dimension to `power` (`sqrt`, `cbrt`).
+ * - `power`: `pow(base, exp)`; the exponent is a dimensionless constant and
+ *   the result is the base's dimension to that constant.
+ * - `ratio`: `atan2(y, x)`; both arguments share a dimension and the result is
+ *   dimensionless.
+ * @internal
+ */
+export type ScalarFunctionDimension = {
+    readonly kind: 'transcendental';
+    readonly node?: TranscendentalFn;
+} | {
+    readonly kind: 'same';
+} | {
+    readonly kind: 'root';
+    readonly power: number;
+} | {
+    readonly kind: 'power';
+} | {
+    readonly kind: 'ratio';
+};
+/** One documented scalar function: arity, numeric body, dimension rule. @internal */
+export interface ScalarFunction {
+    readonly arity: number;
+    readonly dimension: ScalarFunctionDimension;
+    /** The numeric body. Arity is checked by {@link callBuiltinFunction}, not here. */
+    readonly apply: (args: readonly number[]) => number;
+}
+/**
+ * The documented scalar functions, in the order help lists them. `log` is the
+ * natural logarithm (physics convention) and lowers to the grammar's `ln` node.
+ * @internal
+ */
+export declare const SCALAR_FUNCTIONS: Readonly<Record<string, ScalarFunction>>;
 /** Names of the built-in functions this parser documents. @internal */
 export declare const BUILTIN_FUNCTION_NAMES: readonly string[];
+/** `${name} expects ${arity} argument(s)`, the one arity sentence. @internal */
+export declare function arityMessage(name: string, arity: number): string;
 /**
  * Function names from other conventions, each with the documented function that computes the same
  * value (audit I4). An unknown name still fails: the equivalent is only named in the message, so a
@@ -52,9 +112,9 @@ export declare const BUILTIN_FUNCTION_LIST: string;
  */
 export declare function unknownFunctionMessage(name: string): string;
 /**
- * Call a documented function by name, with this parser's arity checks. Supplies
+ * Call a documented function by name, with the table's arity check. Supplies
  * a function MathTS does not define (`ln`).
  * @internal
  */
-export declare function callBuiltinFunction(name: string, args: number[]): number;
+export declare function callBuiltinFunction(name: string, args: readonly number[]): number;
 //# sourceMappingURL=formula-contract.d.ts.map

package/dist/numerical/formula-contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"formula-contract.d.ts","sourceRoot":"","sources":["../../src/numerical/formula-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,yEAAyE;AACzE,qBAAa,YAAa,SAAQ,KAAK;IACrC,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED,2EAA2E;AAC3E,MAAM,WAAW,eAAe;IAC9B,kCAAkC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,wEAAwE;IACxE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC;CACjD;AAED,0DAA0D;AAC1D,MAAM,WAAW,aAAa;IAC5B,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAC;CACtC;AAED;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,yHACyF,CAAC;AAmCzH,uEAAuE;AACvE,eAAO,MAAM,sBAAsB,EAAE,SAAS,MAAM,EAA2B,CAAC;AAEhF;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CAY7G,CAAC;AAEF,2GAA2G;AAC3G,eAAO,MAAM,qBAAqB,EAAE,MAExB,CAAC;AAEb;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAW3D;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAIxE"}
+{"version":3,"file":"formula-contract.d.ts","sourceRoot":"","sources":["../../src/numerical/formula-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAEpE,yEAAyE;AACzE,qBAAa,YAAa,SAAQ,KAAK;IACrC,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED;;;;GAIG;AACH,qBAAa,iBAAkB,SAAQ,YAAY;IACjD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED,2EAA2E;AAC3E,MAAM,WAAW,eAAe;IAC9B,kCAAkC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,wEAAwE;IACxE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC;CACjD;AAED,0DAA0D;AAC1D,MAAM,WAAW,aAAa;IAC5B,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAC;CACtC;AAED;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,yHACyF,CAAC;AAEzH,iEAAiE;AACjE,qBAAa,gBAAiB,SAAQ,YAAY;IAChD,cAGC;CACF;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,uBAAuB,GAC/B;IAAE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAA;CAAE,GACrE;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAE/B,qFAAqF;AACrF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,uBAAuB,CAAC;IAC5C,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,KAAK,MAAM,CAAC;CACrD;AAQD;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAoBrE,CAAC;AAEF,uEAAuE;AACvE,eAAO,MAAM,sBAAsB,EAAE,SAAS,MAAM,EAAkC,CAAC;AAEvF,gFAAgF;AAChF,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAEhE;AAED;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CAY7G,CAAC;AAEF,2GAA2G;AAC3G,eAAO,MAAM,qBAAqB,EAAE,MAExB,CAAC;AAEb;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAW3D;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAKjF"}

package/dist/numerical/formula-contract.js

@@ -1,10 +1,15 @@
 /**
- * Scalar-formula contract shared by the MathTS parser.
+ * Scalar-formula contract: the parser types, the refusal of `euler`, and THE
+ * ONE TABLE of documented scalar functions.
  *
- * Path B, the recursive-descent parser that used to live in `formula.ts`, is
- * gone. These types and the documented function table stay: the MathTS
- * adapter still returns a `number`, still refuses `euler`, and still supplies
- * `ln` when MathTS does not define it.
+ * `SCALAR_FUNCTIONS` carries, for each documented function, its arity, its
+ * numeric body, and its dimension rule (how the arguments' dimensions map to
+ * the result's). Three readers consume it and none keeps a table of its
+ * own: the MathTS formula parser supplies the bodies MathTS does not define
+ * (`ln`) and names the documented list in its diagnostics; the lowering pass
+ * evaluates a `transcendental`, `abs` or `^` node through it; the dimension
+ * checker and the binding reader apply the dimension rule. Path B, the
+ * recursive-descent parser that used to live in `formula.ts`, is gone.
  *
  * @module numerical/formula-contract
  */
@@ -15,48 +20,67 @@ export class FormulaError extends Error {
         this.name = 'FormulaError';
     }
 }
+/**
+ * A formula that parsed and evaluated, whose value is not a finite real number (`ln(-1)`,
+ * `1/0`, `sqrt(-1)`). A bad value at the point, not a malformed formula: the CLI exits 1 on
+ * it where a `FormulaError` is exit 2 (Tom's review, second round).
+ */
+export class FormulaValueError extends FormulaError {
+    constructor(message) {
+        super(message);
+        this.name = 'FormulaValueError';
+    }
+}
 /**
  * The name `euler` is not Euler's number. Write `exp(x)`, for example `exp(1)`.
  * A bare `e` is the elementary charge. `E` is energy.
  * @internal
  */
 export const EULER_NUMBER_ERROR = "euler is not Euler's number. Write it as exp(x), for example exp(1). A bare e is the elementary charge. E is energy.";
-const arity1 = (f) => (a) => {
-    if (a.length !== 1)
-        throw new FormulaError('expected 1 argument');
-    return f(a[0]);
-};
-const FUNCTIONS = {
-    sqrt: arity1(Math.sqrt),
-    cbrt: arity1(Math.cbrt),
-    exp: arity1(Math.exp),
-    ln: arity1(Math.log),
-    log: arity1(Math.log), // natural log (physics convention)
-    log10: arity1(Math.log10),
-    log2: arity1(Math.log2),
-    abs: arity1(Math.abs),
-    sin: arity1(Math.sin),
-    cos: arity1(Math.cos),
-    tan: arity1(Math.tan),
-    asin: arity1(Math.asin),
-    acos: arity1(Math.acos),
-    atan: arity1(Math.atan),
-    sinh: arity1(Math.sinh),
-    cosh: arity1(Math.cosh),
-    tanh: arity1(Math.tanh),
-    pow: (a) => {
-        if (a.length !== 2)
-            throw new FormulaError('pow expects 2 arguments');
-        return Math.pow(a[0], a[1]);
-    },
-    atan2: (a) => {
-        if (a.length !== 2)
-            throw new FormulaError('atan2 expects 2 arguments');
-        return Math.atan2(a[0], a[1]);
-    },
+/** The name `euler` was written for Euler's number. @internal */
+export class EulerNumberError extends FormulaError {
+    constructor() {
+        super(EULER_NUMBER_ERROR);
+        this.name = 'EulerNumberError';
+    }
+}
+const transcendental = (node, f) => ({
+    arity: 1,
+    dimension: node === undefined ? { kind: 'transcendental' } : { kind: 'transcendental', node },
+    apply: (a) => f(a[0]),
+});
+/**
+ * The documented scalar functions, in the order help lists them. `log` is the
+ * natural logarithm (physics convention) and lowers to the grammar's `ln` node.
+ * @internal
+ */
+export const SCALAR_FUNCTIONS = {
+    sqrt: { arity: 1, dimension: { kind: 'root', power: 0.5 }, apply: (a) => Math.sqrt(a[0]) },
+    cbrt: { arity: 1, dimension: { kind: 'root', power: 1 / 3 }, apply: (a) => Math.cbrt(a[0]) },
+    exp: transcendental('exp', Math.exp),
+    ln: transcendental('ln', Math.log),
+    log: transcendental('ln', Math.log),
+    log10: transcendental('log10', Math.log10),
+    log2: transcendental('log2', Math.log2),
+    abs: { arity: 1, dimension: { kind: 'same' }, apply: (a) => Math.abs(a[0]) },
+    sin: transcendental('sin', Math.sin),
+    cos: transcendental('cos', Math.cos),
+    tan: transcendental('tan', Math.tan),
+    asin: transcendental(undefined, Math.asin),
+    acos: transcendental(undefined, Math.acos),
+    atan: transcendental(undefined, Math.atan),
+    sinh: transcendental('sinh', Math.sinh),
+    cosh: transcendental('cosh', Math.cosh),
+    tanh: transcendental('tanh', Math.tanh),
+    pow: { arity: 2, dimension: { kind: 'power' }, apply: (a) => Math.pow(a[0], a[1]) },
+    atan2: { arity: 2, dimension: { kind: 'ratio' }, apply: (a) => Math.atan2(a[0], a[1]) },
 };
 /** Names of the built-in functions this parser documents. @internal */
-export const BUILTIN_FUNCTION_NAMES = Object.keys(FUNCTIONS);
+export const BUILTIN_FUNCTION_NAMES = Object.keys(SCALAR_FUNCTIONS);
+/** `${name} expects ${arity} argument(s)`, the one arity sentence. @internal */
+export function arityMessage(name, arity) {
+    return `${name} expects ${arity} argument${arity === 1 ? '' : 's'}`;
+}
 /**
  * Function names from other conventions, each with the documented function that computes the same
  * value (audit I4). An unknown name still fails: the equivalent is only named in the message, so a
@@ -94,14 +118,16 @@ export function unknownFunctionMessage(name) {
     return `unknown function '${name}'.${hint} Documented functions: ${BUILTIN_FUNCTION_LIST}.`;
 }
 /**
- * Call a documented function by name, with this parser's arity checks. Supplies
+ * Call a documented function by name, with the table's arity check. Supplies
  * a function MathTS does not define (`ln`).
  * @internal
  */
 export function callBuiltinFunction(name, args) {
-    const fn = FUNCTIONS[name];
+    const fn = SCALAR_FUNCTIONS[name];
     if (fn === undefined)
         throw new FormulaError(unknownFunctionMessage(name));
-    return fn(args);
+    if (args.length !== fn.arity)
+        throw new FormulaError(arityMessage(name, fn.arity));
+    return fn.apply(args);
 }
 //# sourceMappingURL=formula-contract.js.map

package/dist/numerical/formula-contract.js.map

@@ -1 +1 @@
-{"version":3,"file":"formula-contract.js","sourceRoot":"","sources":["../../src/numerical/formula-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,yEAAyE;AACzE,MAAM,OAAO,YAAa,SAAQ,KAAK;IACrC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC7B,CAAC;CACF;AAiBD;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAC7B,sHAAsH,CAAC;AAGzH,MAAM,MAAM,GAAG,CAAC,CAAwB,EAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;IACrD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,YAAY,CAAC,qBAAqB,CAAC,CAAC;IAClE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;AAClB,CAAC,CAAC;AACF,MAAM,SAAS,GAAiC;IAC9C,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACvB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;IACrB,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;IACpB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,mCAAmC;IAC1D,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACvB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;IACrB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;IACrB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;IACrB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IACvB,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE;QACT,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,YAAY,CAAC,yBAAyB,CAAC,CAAC;QACtE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IAChC,CAAC;IACD,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;QACX,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,YAAY,CAAC,2BAA2B,CAAC,CAAC;QACxE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IAClC,CAAC;CACF,CAAC;AAEF,uEAAuE;AACvE,MAAM,CAAC,MAAM,sBAAsB,GAAsB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;AAEhF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAiF;IAChH,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,uBAAuB,EAAE;IACtD,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,sBAAsB,EAAE;IACpD,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,sBAAsB,EAAE;IACpD,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,kBAAkB,EAAE;IACpD,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,oBAAoB,EAAE;IACtD,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,qBAAqB,EAAE;IACvD,KAAK,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,qBAAqB,EAAE;IACtD,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE;IAC1C,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,oBAAoB,EAAE;IACnD,KAAK,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE;IACzC,OAAO,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,kCAAkC,EAAE;CACvE,CAAC;AAEF,2GAA2G;AAC3G,MAAM,CAAC,MAAM,qBAAqB,GAAW,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5E,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CACxC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,MAAM,GAAG,GACP,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,sBAAsB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;IACtH,MAAM,OAAO,GAAG,KAAK,EAAE,OAAO,IAAI,oBAAoB,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACvE,MAAM,IAAI,GACR,GAAG,KAAK,SAAS;QACf,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,QAAQ,OAAO,IAAI,gBAAgB,GAAG,EAAE,QAAQ,GAAG,0CAA0C,CAAC;IACpG,OAAO,qBAAqB,IAAI,KAAK,IAAI,0BAA0B,qBAAqB,GAAG,CAAC;AAC9F,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY,EAAE,IAAc;IAC9D,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC3B,IAAI,EAAE,KAAK,SAAS;QAAE,MAAM,IAAI,YAAY,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3E,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;AAClB,CAAC"}
+{"version":3,"file":"formula-contract.js","sourceRoot":"","sources":["../../src/numerical/formula-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAIH,yEAAyE;AACzE,MAAM,OAAO,YAAa,SAAQ,KAAK;IACrC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC7B,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,iBAAkB,SAAQ,YAAY;IACjD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAiBD;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAC7B,sHAAsH,CAAC;AAEzH,iEAAiE;AACjE,MAAM,OAAO,gBAAiB,SAAQ,YAAY;IAChD;QACE,KAAK,CAAC,kBAAkB,CAAC,CAAC;QAC1B,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AA+BD,MAAM,cAAc,GAAG,CAAC,IAAkC,EAAE,CAAwB,EAAkB,EAAE,CAAC,CAAC;IACxG,KAAK,EAAE,CAAC;IACR,SAAS,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE;IAC7F,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC;CACvB,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAA6C;IACxE,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE;IAC3F,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE;IAC7F,GAAG,EAAE,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC;IACpC,EAAE,EAAE,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;IAClC,GAAG,EAAE,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;IACnC,KAAK,EAAE,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC;IAC1C,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;IACvC,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE;IAC7E,GAAG,EAAE,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC;IACpC,GAAG,EAAE,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC;IACpC,GAAG,EAAE,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC;IACpC,IAAI,EAAE,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC;IAC1C,IAAI,EAAE,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC;IAC1C,IAAI,EAAE,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC;IAC1C,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;IACvC,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;IACvC,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;IACvC,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE;IACrF,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE;CAC1F,CAAC;AAEF,uEAAuE;AACvE,MAAM,CAAC,MAAM,sBAAsB,GAAsB,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;AAEvF,gFAAgF;AAChF,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,KAAa;IACtD,OAAO,GAAG,IAAI,YAAY,KAAK,YAAY,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AACtE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAiF;IAChH,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,uBAAuB,EAAE;IACtD,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,sBAAsB,EAAE;IACpD,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,sBAAsB,EAAE;IACpD,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,kBAAkB,EAAE;IACpD,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,oBAAoB,EAAE;IACtD,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,qBAAqB,EAAE;IACvD,KAAK,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,qBAAqB,EAAE;IACtD,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE;IAC1C,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,oBAAoB,EAAE;IACnD,KAAK,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE;IACzC,OAAO,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,kCAAkC,EAAE;CACvE,CAAC;AAEF,2GAA2G;AAC3G,MAAM,CAAC,MAAM,qBAAqB,GAAW,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5E,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CACxC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,MAAM,GAAG,GACP,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,sBAAsB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;IACtH,MAAM,OAAO,GAAG,KAAK,EAAE,OAAO,IAAI,oBAAoB,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACvE,MAAM,IAAI,GACR,GAAG,KAAK,SAAS;QACf,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,QAAQ,OAAO,IAAI,gBAAgB,GAAG,EAAE,QAAQ,GAAG,0CAA0C,CAAC;IACpG,OAAO,qBAAqB,IAAI,KAAK,IAAI,0BAA0B,qBAAqB,GAAG,CAAC;AAC9F,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY,EAAE,IAAuB;IACvE,MAAM,EAAE,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,EAAE,KAAK,SAAS;QAAE,MAAM,IAAI,YAAY,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3E,IAAI,IAAI,CAAC,MAAM,KAAK,EAAE,CAAC,KAAK;QAAE,MAAM,IAAI,YAAY,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACnF,OAAO,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC","sourcesContent":["/**\n * Scalar-formula contract: the parser types, the refusal of `euler`, and THE\n * ONE TABLE of documented scalar functions.\n *\n * `SCALAR_FUNCTIONS` carries, for each documented function, its arity, its\n * numeric body, and its dimension rule (how the arguments' dimensions map to\n * the result's). Three readers consume it and none keeps a table of its\n * own: the MathTS formula parser supplies the bodies MathTS does not define\n * (`ln`) and names the documented list in its diagnostics; the lowering pass\n * evaluates a `transcendental`, `abs` or `^` node through it; the dimension\n * checker and the binding reader apply the dimension rule. Path B, the\n * recursive-descent parser that used to live in `formula.ts`, is gone.\n *\n * @module numerical/formula-contract\n */\n\nimport type { TranscendentalFn } from '../dimensional/ast-types.js';\n\n/** A parse or evaluation failure (bad syntax, unknown symbol, arity). */\nexport class FormulaError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'FormulaError';\n  }\n}\n\n/**\n * A formula that parsed and evaluated, whose value is not a finite real number (`ln(-1)`,\n * `1/0`, `sqrt(-1)`). A bad value at the point, not a malformed formula: the CLI exits 1 on\n * it where a `FormulaError` is exit 2 (Tom's review, second round).\n */\nexport class FormulaValueError extends FormulaError {\n  constructor(message: string) {\n    super(message);\n    this.name = 'FormulaValueError';\n  }\n}\n\n/** A parsed formula: its free variables and a safe evaluator. @internal */\nexport interface CompiledFormula {\n  /** The original source string. */\n  readonly source: string;\n  /** Free variable names (excludes built-in constants and functions). */\n  readonly variables: readonly string[];\n  /** Evaluate against a `name → value` scope. Throws on a missing var. */\n  evaluate(scope: Record<string, number>): number;\n}\n\n/** The MathTS-backed parser implements this. @internal */\nexport interface FormulaParser {\n  parse(expr: string): CompiledFormula;\n}\n\n/**\n * The name `euler` is not Euler's number. Write `exp(x)`, for example `exp(1)`.\n * A bare `e` is the elementary charge. `E` is energy.\n * @internal\n */\nexport const EULER_NUMBER_ERROR =\n  \"euler is not Euler's number. Write it as exp(x), for example exp(1). A bare e is the elementary charge. E is energy.\";\n\n/** The name `euler` was written for Euler's number. @internal */\nexport class EulerNumberError extends FormulaError {\n  constructor() {\n    super(EULER_NUMBER_ERROR);\n    this.name = 'EulerNumberError';\n  }\n}\n\n/**\n * How a documented function maps its arguments' dimensions to its result's.\n *\n * - `transcendental`: the argument must be dimensionless and so is the result.\n *   `node` is the dimensional grammar's `transcendental` node when the grammar\n *   has one for this function; without it the checker keeps a dimensionless stub.\n * - `same`: the result has the argument's dimension (`abs`).\n * - `root`: the result is the argument's dimension to `power` (`sqrt`, `cbrt`).\n * - `power`: `pow(base, exp)`; the exponent is a dimensionless constant and\n *   the result is the base's dimension to that constant.\n * - `ratio`: `atan2(y, x)`; both arguments share a dimension and the result is\n *   dimensionless.\n * @internal\n */\nexport type ScalarFunctionDimension =\n  | { readonly kind: 'transcendental'; readonly node?: TranscendentalFn }\n  | { readonly kind: 'same' }\n  | { readonly kind: 'root'; readonly power: number }\n  | { readonly kind: 'power' }\n  | { readonly kind: 'ratio' };\n\n/** One documented scalar function: arity, numeric body, dimension rule. @internal */\nexport interface ScalarFunction {\n  readonly arity: number;\n  readonly dimension: ScalarFunctionDimension;\n  /** The numeric body. Arity is checked by {@link callBuiltinFunction}, not here. */\n  readonly apply: (args: readonly number[]) => number;\n}\n\nconst transcendental = (node: TranscendentalFn | undefined, f: (x: number) => number): ScalarFunction => ({\n  arity: 1,\n  dimension: node === undefined ? { kind: 'transcendental' } : { kind: 'transcendental', node },\n  apply: (a) => f(a[0]!),\n});\n\n/**\n * The documented scalar functions, in the order help lists them. `log` is the\n * natural logarithm (physics convention) and lowers to the grammar's `ln` node.\n * @internal\n */\nexport const SCALAR_FUNCTIONS: Readonly<Record<string, ScalarFunction>> = {\n  sqrt: { arity: 1, dimension: { kind: 'root', power: 0.5 }, apply: (a) => Math.sqrt(a[0]!) },\n  cbrt: { arity: 1, dimension: { kind: 'root', power: 1 / 3 }, apply: (a) => Math.cbrt(a[0]!) },\n  exp: transcendental('exp', Math.exp),\n  ln: transcendental('ln', Math.log),\n  log: transcendental('ln', Math.log),\n  log10: transcendental('log10', Math.log10),\n  log2: transcendental('log2', Math.log2),\n  abs: { arity: 1, dimension: { kind: 'same' }, apply: (a) => Math.abs(a[0]!) },\n  sin: transcendental('sin', Math.sin),\n  cos: transcendental('cos', Math.cos),\n  tan: transcendental('tan', Math.tan),\n  asin: transcendental(undefined, Math.asin),\n  acos: transcendental(undefined, Math.acos),\n  atan: transcendental(undefined, Math.atan),\n  sinh: transcendental('sinh', Math.sinh),\n  cosh: transcendental('cosh', Math.cosh),\n  tanh: transcendental('tanh', Math.tanh),\n  pow: { arity: 2, dimension: { kind: 'power' }, apply: (a) => Math.pow(a[0]!, a[1]!) },\n  atan2: { arity: 2, dimension: { kind: 'ratio' }, apply: (a) => Math.atan2(a[0]!, a[1]!) },\n};\n\n/** Names of the built-in functions this parser documents. @internal */\nexport const BUILTIN_FUNCTION_NAMES: readonly string[] = Object.keys(SCALAR_FUNCTIONS);\n\n/** `${name} expects ${arity} argument(s)`, the one arity sentence. @internal */\nexport function arityMessage(name: string, arity: number): string {\n  return `${name} expects ${arity} argument${arity === 1 ? '' : 's'}`;\n}\n\n/**\n * Function names from other conventions, each with the documented function that computes the same\n * value (audit I4). An unknown name still fails: the equivalent is only named in the message, so a\n * formula never means something its author did not write. Every `use` is in\n * {@link BUILTIN_FUNCTION_NAMES}.\n * @internal\n */\nexport const FUNCTION_EQUIVALENTS: Readonly<Record<string, { readonly use: string; readonly meaning: string }>> = {\n  lg: { use: 'log10', meaning: 'the base-10 logarithm' },\n  lb: { use: 'log2', meaning: 'the base-2 logarithm' },\n  ld: { use: 'log2', meaning: 'the base-2 logarithm' },\n  arcsin: { use: 'asin', meaning: 'the inverse sine' },\n  arccos: { use: 'acos', meaning: 'the inverse cosine' },\n  arctan: { use: 'atan', meaning: 'the inverse tangent' },\n  arctg: { use: 'atan', meaning: 'the inverse tangent' },\n  tg: { use: 'tan', meaning: 'the tangent' },\n  fabs: { use: 'abs', meaning: 'the absolute value' },\n  power: { use: 'pow', meaning: 'a power' },\n  arctan2: { use: 'atan2', meaning: 'the two-argument inverse tangent' },\n};\n\n/** The documented functions as help and diagnostics list them, with the base of `log` stated. @internal */\nexport const BUILTIN_FUNCTION_LIST: string = BUILTIN_FUNCTION_NAMES.map((n) =>\n  n === 'log' ? 'log (natural, = ln)' : n,\n).join(', ');\n\n/**\n * The diagnostic for a function this parser does not document: the documented equivalent when the\n * name is a known alias or differs only in case, then the documented list. @internal\n */\nexport function unknownFunctionMessage(name: string): string {\n  const alias = FUNCTION_EQUIVALENTS[name];\n  const lower = name.toLowerCase();\n  const use =\n    alias?.use ?? (lower !== name && BUILTIN_FUNCTION_NAMES.includes(lower) ? lower : FUNCTION_EQUIVALENTS[lower]?.use);\n  const meaning = alias?.meaning ?? FUNCTION_EQUIVALENTS[lower]?.meaning;\n  const hint =\n    use === undefined\n      ? ''\n      : ` For ${meaning ?? `the function ${use}`} use ${use}(…), which the formula parser evaluates.`;\n  return `unknown function '${name}'.${hint} Documented functions: ${BUILTIN_FUNCTION_LIST}.`;\n}\n\n/**\n * Call a documented function by name, with the table's arity check. Supplies\n * a function MathTS does not define (`ln`).\n * @internal\n */\nexport function callBuiltinFunction(name: string, args: readonly number[]): number {\n  const fn = SCALAR_FUNCTIONS[name];\n  if (fn === undefined) throw new FormulaError(unknownFunctionMessage(name));\n  if (args.length !== fn.arity) throw new FormulaError(arityMessage(name, fn.arity));\n  return fn.apply(args);\n}\n"]}

package/dist/numerical/formula-dimension.d.ts

@@ -20,6 +20,11 @@ import type { ExprNode } from '../dimensional/validator.js';
 export declare class FormulaDimensionError extends Error {
     constructor(message: string);
 }
+/** The parse tree holds a node the normalized form has no shape for (`a.b`, `[1, 2]`, `x > 2`). @internal */
+export declare class UnsupportedSyntaxError extends FormulaDimensionError {
+    readonly nodeType: string;
+    constructor(nodeType: string, detail: string);
+}
 /**
  * Dimension of a symbol the physics parser knows when the caller did not
  * declare one. A caller-supplied dimension still wins. `e` is the elementary
@@ -27,13 +32,6 @@ export declare class FormulaDimensionError extends Error {
  * @internal
  */
 export declare function formulaSymbolDimension(name: string): Dimension | undefined;
-/**
- * What to say when a bare `e` was the elementary charge inside a sum that is
- * not homogeneous. Declaring or binding `e` keeps a different quantity.
- * Euler's number is `exp(x)`.
- * @internal
- */
-export declare const ELEMENTARY_CHARGE_MIX_MESSAGE = "e is the elementary charge and is not dimensionless here. Declare it or bind a value (e=<number>) if you mean a different quantity, or write Euler's number as exp(x). The catalog writes the eccentricity factor as one_minus_e_sq.";
 /** Normalized parse node — the shape the MathTS AST adapts to. @internal */
 type PNode = {
     kind: 'num';
@@ -59,6 +57,14 @@ type PNode = {
 };
 /** The normalized node {@link parseFormulaPNode} returns. @internal */
 export type FormulaPNode = PNode;
+/**
+ * The number a numeric-constant exponent folds to (`2`, `-1`, `1/2`,
+ * `(2+1)/3`), or undefined when the node names a symbol or a call. The
+ * binding reader uses the same folding for its exponents, so the two
+ * readers agree on what an exponent may be.
+ * @internal
+ */
+export declare function constantExponent(node: PNode): number | undefined;
 /** The result of a formula dimensional check. */
 interface FormulaDimensionResult {
     /** True iff the formula is dimensionally homogeneous and well-formed. */
@@ -67,6 +73,10 @@ interface FormulaDimensionResult {
     readonly dim?: Dimension;
     /** Human-readable reason when `!ok`. */
     readonly error?: string;
+    /** Set when `!ok` because a bare `e` (the elementary charge) met a dimensionless term. */
+    readonly elementaryChargeMixed?: true;
+    /** Set when `!ok` because the formula names this symbol with no dimension declared or known. */
+    readonly undeclaredSymbol?: string;
 }
 /** A parsed physics expression: its dimensional `ExprNode` + inferred dimension. */
 export interface ParsedPhysics {

package/dist/numerical/formula-dimension.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"formula-dimension.d.ts","sourceRoot":"","sources":["../../src/numerical/formula-dimension.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAGzD,OAAO,KAAK,EAAE,QAAQ,EAAoB,MAAM,6BAA6B,CAAC;AAK9E;;cAEc;AACd,qBAAa,qBAAsB,SAAQ,KAAK;IAC9C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAMD;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAM1E;AAyDD;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,yOAC+L,CAAC;AA2C1O,4EAA4E;AAC5E,KAAK,KAAK,GACN;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,KAAK,CAAA;CAAE,GAC3B;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;IAAC,IAAI,EAAE,KAAK,EAAE,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,KAAK,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,KAAK,EAAE,CAAA;CAAE,CAAC;AAEhD,uEAAuE;AACvE,MAAM,MAAM,YAAY,GAAG,KAAK,CAAC;AAmFjC,iDAAiD;AACjD,UAAU,sBAAsB;IAC9B,yEAAyE;IACzE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,wCAAwC;IACxC,QAAQ,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC;IACzB,wCAAwC;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,oFAAoF;AACpF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;CAC/B;AAED,kFAAkF;AAClF,MAAM,WAAW,uBAAuB;IACtC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,GAAG,sBAAsB,CAAC;IACvF;+EAC2E;IAC3E,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,GAAG,aAAa,CAAC;CAC/E;AA8CD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAIrD;AA0BD,8EAA8E;AAC9E,wBAAgB,8BAA8B,IAAI,uBAAuB,CAExE"}
+{"version":3,"file":"formula-dimension.d.ts","sourceRoot":"","sources":["../../src/numerical/formula-dimension.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAGzD,OAAO,KAAK,EAAE,QAAQ,EAAoB,MAAM,6BAA6B,CAAC;AAK9E;;cAEc;AACd,qBAAa,qBAAsB,SAAQ,KAAK;IAC9C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED,6GAA6G;AAC7G,qBAAa,sBAAuB,SAAQ,qBAAqB;IACnD,QAAQ,CAAC,QAAQ,EAAE,MAAM;IAArC,YAAqB,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAGpD;CACF;AA4BD;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAM1E;AAwHD,4EAA4E;AAC5E,KAAK,KAAK,GACN;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,KAAK,CAAA;CAAE,GAC3B;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;IAAC,IAAI,EAAE,KAAK,EAAE,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,KAAK,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,KAAK,EAAE,CAAA;CAAE,CAAC;AAEhD,uEAAuE;AACvE,MAAM,MAAM,YAAY,GAAG,KAAK,CAAC;AAkCjC;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,KAAK,GAAG,MAAM,GAAG,SAAS,CAOhE;AA6DD,iDAAiD;AACjD,UAAU,sBAAsB;IAC9B,yEAAyE;IACzE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,wCAAwC;IACxC,QAAQ,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC;IACzB,wCAAwC;IACxC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,0FAA0F;IAC1F,QAAQ,CAAC,qBAAqB,CAAC,EAAE,IAAI,CAAC;IACtC,gGAAgG;IAChG,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CACpC;AAED,oFAAoF;AACpF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;CAC/B;AAED,kFAAkF;AAClF,MAAM,WAAW,uBAAuB;IACtC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,GAAG,sBAAsB,CAAC;IACvF;+EAC2E;IAC3E,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,GAAG,aAAa,CAAC;CAC/E;AAsDD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAIrD;AA0BD,8EAA8E;AAC9E,wBAAgB,8BAA8B,IAAI,uBAAuB,CAExE"}