universal-physics-tensor 9.0.0 → 11.0.0

package/dist/dimensional/units.js

@@ -21,15 +21,21 @@
  * wins on a bare token, so `ms` stays a millisecond, `mm` a millimetre,
  * `mK` a millikelvin, and `Ts` a terasecond. Inside a larger expression the
  * prefixed reading competes with a heterogeneous product (`mK` is millikelvin
- * or metre·kelvin; `ms` is millisecond or metre·second). A homogeneous power
- * does not compete (`mm` is a millimetre, not metre·metre). `parseUnit` names
+ * or metre·kelvin; `ms` is millisecond or metre·second). A split that puts
+ * a prefix letter's own unit twice in a row is never a reading, because a
+ * power is written `m2` or `m^2`: `mm` is a millimetre, not metre·metre,
+ * and `mmin` is metre·minute or millimetre·inch, not metre·metre·inch.
+ * A unit that is not a prefix letter still juxtaposes with itself (`NN` is
+ * N·N). `parseUnit` names
  * every remaining reading and refuses. `convertValue` keeps the one reading
  * whose dimension is the declared unit. A token that is not one factor is a
  * product when exactly one split exists: `m2K` is `m^2·K`, `Vs` is `V·s`,
  * and `cm^2/Vs` is `cm^2/(V·s)`. Zero splits are an unknown unit. Two or more
  * splits name each reading and are refused (`mAs` is milliampere·second or
  * metre·ampere·second). An unknown token that ends in a digit stays unknown
- * when it is not that product.
+ * when it is not that product. A numerator that is the single token `1` is
+ * the dimensionless unit, so `1/s` is a reciprocal second and `1/m^3` a
+ * number density; `1` is not a symbol anywhere else.
  * The table is data: `data/units.json`, loaded and validated by
  * `unit-data.ts`. Every row, prefix, refused spelling, prefix letter, affine
  * scale and spelling note is a row there, with the reason as its `comment`;
@@ -148,7 +154,7 @@ function tryOneFactor(token) {
         exp = Number(caret[2]);
     }
     else {
-        const uni = /^(.*?)([¹²³])$/.exec(token);
+        const uni = /^(.*?)(⁻?[¹²³])$/.exec(token);
         const superExp = uni === null ? undefined : SUPERSCRIPT[uni[2]];
         if (uni !== null && superExp !== undefined && uni[1].length > 0) {
             base = uni[1];
@@ -185,17 +191,18 @@ function attachedUnit(symbol) {
     return null;
 }
 /**
- * A product of the same unprefixed unit the prefix attaches to (`mm` = m·m,
- * `mm2` = m·m²). Powers are written `m2` / `m^2`, so this reading does not
- * compete with the prefix.
+ * `X·X` where `XX` is X's own prefix spelling (`m·m` beside `mm`, `d·d`
+ * beside `dd`): not a split, because a power is written `X2` or `X^2`. A
+ * run of a unit that is not also a prefix letter (`N·N`) stays a product.
  */
-function homogeneousPower(single, product) {
-    const unit = attachedUnit(single.base);
-    if (unit === null)
-        return false;
-    return product.every((factor) => factor.base === unit && attachedUnit(factor.base) === null);
+function prefixRun(last, next) {
+    return last.base === next.base && attachedUnit(last.base + next.base) === last.base;
 }
-/** Every way to split `token` into one or more factors. A one-factor token is included. */
+/**
+ * Every way to split `token` into one or more factors. A one-factor token is
+ * included. A split that puts a prefix letter's own unit twice in a row
+ * (`m·m`, `m·m²`, `m·m·in`) is not a way, inside any split.
+ */
 function segmentations(token) {
     const ways = Array.from({ length: token.length + 1 }, () => []);
     ways[0].push([]);
@@ -206,8 +213,11 @@ function segmentations(token) {
             const factor = tryOneFactor(token.slice(i, j));
             if (factor === null)
                 continue;
-            for (const prev of ways[i])
+            for (const prev of ways[i]) {
+                if (prev.length > 0 && prefixRun(prev[prev.length - 1], factor))
+                    continue;
                 ways[j].push([...prev, factor]);
+            }
         }
     }
     const unique = new Map();
@@ -218,7 +228,8 @@ function segmentations(token) {
 /**
  * Ways to read one token. A bare expression keeps a one-factor reading and
  * does not also split it. Inside a compound, a prefixed factor also competes
- * with each heterogeneous product. A homogeneous power does not.
+ * with each heterogeneous product; `segmentations` has already dropped the
+ * homogeneous runs.
  */
 function tokenWays(token, compete, side) {
     const refused = REFUSED_UNITS.get(token);
@@ -235,11 +246,10 @@ function tokenWays(token, compete, side) {
     const products = segmentations(token)
         .filter((way) => way.length > 1)
         .filter(() => !prefixWins);
-    const extra = single === null ? products : products.filter((way) => !homogeneousPower(single, way));
     const ways = [];
     if (single !== null)
         ways.push([single]);
-    for (const way of extra)
+    for (const way of products)
         ways.push(way);
     const unique = new Map();
     for (const way of ways)
@@ -267,7 +277,8 @@ function formatSide(tokens) {
     return tokens.map((factors) => formatReading(factors)).join('·');
 }
 function formatExpression(num, den) {
-    const numerator = formatSide(num);
+    // An empty numerator over a denominator is the dimensionless 1: `1/s`.
+    const numerator = num.length === 0 ? '1' : formatSide(num);
     if (den.length === 0)
         return numerator;
     const denominator = formatSide(den);
@@ -319,10 +330,17 @@ function unitReadings(text) {
         /deg\s+[CFcf]|°\s*[CFcf]/.test(t)) {
         throw new UnitRefusedError('an affine temperature cannot be part of a compound unit; give K');
     }
+    // An operator with nothing on one side (`m/`, `m//s`, `m*`, `*m`, `m/*s`) is not a unit
+    // text; it was read as if the empty factor were 1 (Tom's second round). A leading `/`
+    // (`/s`) stays the dimensionless numerator.
+    if (/[*·/]\s*$|^\s*[*·]|[*·/]\s*[*·/]/.test(t))
+        throw new UnknownUnitError(t);
     // A chain is one denominator: `km/s/Mpc` is km/(s·Mpc), the way the Hubble constant is written.
     const sides = solidusSides(t);
     const compete = /[*·/\s]/.test(t);
-    const numerator = sideTokens(sides.numerator);
+    const numeratorTokens = sideTokens(sides.numerator);
+    // A numerator that is the single token `1` is the dimensionless unit: `1/s`, `1/m^3`.
+    const numerator = numeratorTokens.length === 1 && numeratorTokens[0] === '1' ? [] : numeratorTokens;
     const denominator = sides.denominator === '' ? [] : sideTokens(sides.denominator);
     // `/s` is a dimensionless numerator over seconds. A bare `/` is not a unit.
     if (numerator.length === 0 && denominator.length === 0)
@@ -342,7 +360,7 @@ function unitReadings(text) {
     }
     return [...unique.values()];
 }
-const SUPERSCRIPT = { '¹': 1, '²': 2, '³': 3 };
+const SUPERSCRIPT = { '¹': 1, '²': 2, '³': 3, '⁻¹': -1, '⁻²': -2, '⁻³': -3 };
 /**
  * Spellings that convert correctly and still mean something else to a reader:
  * the `spellingNotes` of `data/units.json` for each symbol in `given`, in file

package/dist/dimensional/units.js.map

@@ -1 +1 @@
-{"version":3,"file":"units.js","sourceRoot":"","sources":["../../src/dimensional/units.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAE/D,OAAO,EACL,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,UAAU,EACV,UAAU,EACV,aAAa,EACb,YAAY,EACZ,UAAU,GAEX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,SAAS,EAAuC,MAAM,gBAAgB,CAAC;AAahF,qFAAqF;AACrF,MAAM,OAAO,SAAU,SAAQ,KAAK;IAClC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC;IAC1B,CAAC;CACF;AAED,0DAA0D;AAC1D,MAAM,OAAO,gBAAiB,SAAQ,SAAS;IACxB,MAAM;IAA3B,YAAqB,MAAc;QACjC,KAAK,CAAC,iBAAiB,MAAM,GAAG,CAAC,CAAC;sBADf,MAAM;QAEzB,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,gBAAiB,SAAQ,SAAS;IAC7C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED,mFAAmF;AACnF,MAAM,OAAO,kBAAmB,SAAQ,SAAS;IAC1B,IAAI;IAAmB,QAAQ;IAApD,YAAqB,IAAY,EAAW,QAA2B;QACrE,KAAK,CAAC,IAAI,IAAI,mBAAmB,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;oBADvC,IAAI;wBAAmB,QAAQ;QAElD,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AAED,MAAM,CAAC,GAAG,CAAC,CAAqB,EAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;AACzG,MAAM,aAAa,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;AAE5B,0GAA0G;AAC1G,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC;AAE9B,wFAAwF;AACxF,MAAM,aAAa,GAAG,SAAS,CAAC,OAAO,CAAC;AAExC;;;;GAIG;AACH,MAAM,mBAAmB,GAAG,SAAS,CAAC,iBAAiB,CAAC;AAExD,+BAA+B;AAC/B,MAAM,gBAAgB,GAAG,SAAS,CAAC,SAAS,CAAC;AAM7C;;;;GAIG;AACH,MAAM,MAAM,GAAG,SAAS,CAAC,MAA8B,CAAC;AAExD,uEAAuE;AACvE,SAAS,YAAY,CAAC,GAAc;IAClC,OAAO,SAAS,CAAC,gBAAgB,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AACjG,CAAC;AAED,MAAM,YAAY,GAAG,CAAC,CAAa,EAAU,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;AAErG;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAyB,EAAE,OAA2B;IACtF,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAE,CAAC;IACjE,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;IAClD,IAAI,OAAO,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,mBAAmB,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC;IACrI,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACvD,IAAI,SAAS,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,KAAK,EAAE;QAAE,OAAO,eAAe,MAAM,EAAE,CAAC;IACzE,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,MAAM,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;IACnH,OAAO,aAAa,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,MAAM,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,MAAM,EAAE,CAAC;AACpG,CAAC;AAED,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;AAQpC,SAAS,SAAS,CAAC,GAAW;IAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9G,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,SAAS;QAC5D,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC1C,OAAO,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvG,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAUD,0FAA0F;AAC1F,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACjB,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;QACjE,IAAI,GAAG,KAAK,IAAI,IAAI,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjE,IAAI,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;YACf,GAAG,GAAG,QAAQ,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,IAAI,EAAE,CAAC;gBAC5E,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;gBACjB,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1D,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;AACpF,CAAC;AAED,SAAS,aAAa,CAAC,OAAiC;IACtD,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC9G,CAAC;AAED,yFAAyF;AACzF,SAAS,YAAY,CAAC,MAAc;IAClC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;YAAE,SAAS;QAC5E,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;IAC/D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,MAAqB,EAAE,OAAiC;IAChF,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAChC,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;AAC/F,CAAC;AAED,2FAA2F;AAC3F,SAAS,aAAa,CAAC,KAAa;IAClC,MAAM,IAAI,GAAwB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACrF,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,CAAC,CAAE,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACpC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC/C,IAAI,MAAM,KAAK,IAAI;gBAAE,SAAS;YAC9B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,CAAC,CAAE;gBAAE,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAE;QAAE,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAC3E,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,KAAa,EAAE,OAAgB,EAAE,IAAiC;IACnF,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACnD,qFAAqF;IACrF,qFAAqF;IACrF,IAAI,MAAM,KAAK,IAAI,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,MAAM,KAAK,IAAI,IAAI,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;IAC/G,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC;SAClC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;SAC/B,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;IACpG,MAAM,IAAI,GAAsB,EAAE,CAAC;IACnC,IAAI,MAAM,KAAK,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,KAAK;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACzD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,SAAS,CAAI,KAAgC;IACpD,IAAI,GAAG,GAAU,CAAC,EAAE,CAAC,CAAC;IACtB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAU,EAAE,CAAC;QACvB,KAAK,MAAM,IAAI,IAAI,GAAG;YAAE,KAAK,MAAM,IAAI,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5E,GAAG,GAAG,IAAI,CAAC;IACb,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAUD,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,UAAU,CAAC,MAA6C;IAC/D,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,gBAAgB,CACvB,GAA0C,EAC1C,GAA0C;IAE1C,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACvC,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IACpC,OAAO,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,KAAK,WAAW,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,IAAI,WAAW,EAAE,CAAC;AACrG,CAAC;AAED,SAAS,UAAU,CACjB,MAA6C,EAC7C,IAAY;IAEZ,IAAI,KAAK,GAAG,UAAU,CAAC;IACvB,IAAI,GAAG,GAAG,aAAa,CAAC;IACxB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,OAAO,IAAI,MAAM,EAAE,CAAC;QAC7B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC;YAC5B,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YAC3D,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,OAAO,CAAC,KAAiB,EAAE,GAAc,EAAE,KAAa,EAAE,MAAc,EAAE,MAA0B;IAC3G,OAAO;QACL,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC;QAC3B,KAAK;QACL,GAAG;QACH,KAAK;QACL,MAAM;QACN,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;KAC5C,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG;QAAE,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3F,IACE,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAClF,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,EACjC,CAAC;QACD,MAAM,IAAI,gBAAgB,CAAC,iEAAiE,CAAC,CAAC;IAChG,CAAC;IACD,gGAAgG;IAChG,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAClF,4EAA4E;IAC5E,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACtF,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;IACrF,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACrE,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC7B,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9B,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACzC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACnH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,WAAW,GAAqC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAEjF;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAa;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IACrF,OAAO,CAAC,GAAG,SAAS,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;AAC5G,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,kBAAkB,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACzF,OAAO,QAAQ,CAAC,CAAC,CAAE,CAAC;AACtB,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACjG,CAAC;AAKD,sGAAsG;AACtG,SAAS,WAAW,CAAC,SAAqB,EAAE,IAAiB,EAAE,WAA+B;IAC5F,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7G,OAAO,GAAG,KAAK,SAAS,IAAI,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AACzG,CAAC;AAED,MAAM,QAAQ,GAAG,iEAAiE,CAAC;AACnF,MAAM,gBAAgB,GAAG,6DAA6D,CAAC;AAEvF;;;;;;GAMG;AACH,SAAS,oBAAoB,CAAC,GAAW;IACvC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,MAAM,GAAG,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAE,CAAC;QACxC,IAAI,GAAG,CAAC,GAAG,KAAK,EAAE;YAAE,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAE,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACrG,CAAC;IACD,MAAM,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;IACnB,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IACtC,OAAO,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;AACzD,CAAC;AAaD,SAAS,aAAa,CAAC,GAAW,EAAE,KAAa;IAC/C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,IAAI,GAAG,0BAA0B,CAAC,CAAC;IACpF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAW,EAAE,WAAW,GAAuB,UAAU;IAC3F,MAAM,OAAO,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,EAAE,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAC9F,CAAC;IACD,IAAI,IAAiB,CAAC;IACtB,IAAI,CAAC;QACH,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,gBAAgB;YAAE,OAAO,IAAI,CAAC;QACnD,MAAM,KAAK,CAAC;IACd,CAAC;IACD,OAAO;QACL,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACvE,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;KAC9D,CAAC;AACJ,CAAC;AAaD;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,GAAW,EAAE,MAAc,EAAE,WAAW,GAAuB,UAAU;IACpG,MAAM,OAAO,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,IAAI,SAAS,CAAC,IAAI,GAAG,yCAAyC,CAAC,CAAC;IAC5F,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE;QAAE,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,GAAG,EAAE,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC3G,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC;IAC3B,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC5B,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,SAAS,CAAC,sCAAsC,MAAM,IAAI,CAAC,CAAC;IACnG,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,kBAAkB,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3F,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC1D,MAAM,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,MAAM,IAAI,eAAe,GAAG,CAAC,CAAC;IAC/H,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;IACzB,MAAM,KAAK,GAAG,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACvG,OAAO;QACL,KAAK,EAAE,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC;QAChC,KAAK;QACL,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;QACrD,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;KAC9D,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;AAC7B,CAAC;AAED,mHAAmH;AACnH,MAAM,UAAU,QAAQ;IACtB,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU;IAMxB,OAAO;QACL,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,MAAM,KAAK,IAAI,CAAU,CAAC,CAAC,CAAC;QACpI,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,CAAU,CAAC,CAAC;QAC1F,cAAc,EAAE,aAAa,CAAC,gBAAgB,CAAC;QAC/C,YAAY,EAAE,SAAS,CAAC,MAAM;KAC/B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"units.js","sourceRoot":"","sources":["../../src/dimensional/units.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAE/D,OAAO,EACL,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,UAAU,EACV,UAAU,EACV,aAAa,EACb,YAAY,EACZ,UAAU,GAEX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,SAAS,EAAuC,MAAM,gBAAgB,CAAC;AAahF,qFAAqF;AACrF,MAAM,OAAO,SAAU,SAAQ,KAAK;IAClC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC;IAC1B,CAAC;CACF;AAED,0DAA0D;AAC1D,MAAM,OAAO,gBAAiB,SAAQ,SAAS;IACxB,MAAM;IAA3B,YAAqB,MAAc;QACjC,KAAK,CAAC,iBAAiB,MAAM,GAAG,CAAC,CAAC;sBADf,MAAM;QAEzB,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,OAAO,gBAAiB,SAAQ,SAAS;IAC7C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED,mFAAmF;AACnF,MAAM,OAAO,kBAAmB,SAAQ,SAAS;IAC1B,IAAI;IAAmB,QAAQ;IAApD,YAAqB,IAAY,EAAW,QAA2B;QACrE,KAAK,CAAC,IAAI,IAAI,mBAAmB,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;oBADvC,IAAI;wBAAmB,QAAQ;QAElD,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AAED,MAAM,CAAC,GAAG,CAAC,CAAqB,EAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;AACzG,MAAM,aAAa,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;AAE5B,0GAA0G;AAC1G,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC;AAE9B,wFAAwF;AACxF,MAAM,aAAa,GAAG,SAAS,CAAC,OAAO,CAAC;AAExC;;;;GAIG;AACH,MAAM,mBAAmB,GAAG,SAAS,CAAC,iBAAiB,CAAC;AAExD,+BAA+B;AAC/B,MAAM,gBAAgB,GAAG,SAAS,CAAC,SAAS,CAAC;AAM7C;;;;GAIG;AACH,MAAM,MAAM,GAAG,SAAS,CAAC,MAA8B,CAAC;AAExD,uEAAuE;AACvE,SAAS,YAAY,CAAC,GAAc;IAClC,OAAO,SAAS,CAAC,gBAAgB,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AACjG,CAAC;AAED,MAAM,YAAY,GAAG,CAAC,CAAa,EAAU,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;AAErG;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAyB,EAAE,OAA2B;IACtF,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAE,CAAC;IACjE,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;IAClD,IAAI,OAAO,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,mBAAmB,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC;IACrI,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACvD,IAAI,SAAS,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,KAAK,EAAE;QAAE,OAAO,eAAe,MAAM,EAAE,CAAC;IACzE,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,MAAM,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;IACnH,OAAO,aAAa,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,MAAM,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,MAAM,EAAE,CAAC;AACpG,CAAC;AAED,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;AAQpC,SAAS,SAAS,CAAC,GAAW;IAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9G,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,SAAS;QAC5D,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC1C,OAAO,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvG,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAUD,0FAA0F;AAC1F,SAAS,YAAY,CAAC,KAAa;IACjC,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACjB,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;QACjE,IAAI,GAAG,KAAK,IAAI,IAAI,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjE,IAAI,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;YACf,GAAG,GAAG,QAAQ,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,IAAI,EAAE,CAAC;gBAC5E,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;gBACjB,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1D,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;AACpF,CAAC;AAED,SAAS,aAAa,CAAC,OAAiC;IACtD,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC9G,CAAC;AAED,yFAAyF;AACzF,SAAS,YAAY,CAAC,MAAc;IAClC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;YAAE,SAAS;QAC5E,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;IAC/D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,IAAmB,EAAE,IAAmB;IACzD,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC;AACtF,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,KAAa;IAClC,MAAM,IAAI,GAAwB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACrF,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,CAAC,CAAE,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACpC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC/C,IAAI,MAAM,KAAK,IAAI;gBAAE,SAAS;YAC9B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,CAAC,CAAE,EAAE,CAAC;gBAC5B,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,MAAM,CAAC;oBAAE,SAAS;gBAC3E,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAE;QAAE,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAC3E,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,KAAa,EAAE,OAAgB,EAAE,IAAiC;IACnF,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACnD,qFAAqF;IACrF,qFAAqF;IACrF,IAAI,MAAM,KAAK,IAAI,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,MAAM,KAAK,IAAI,IAAI,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;IAC/G,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC;SAClC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;SAC/B,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAsB,EAAE,CAAC;IACnC,IAAI,MAAM,KAAK,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,QAAQ;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAClC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACzD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,SAAS,CAAI,KAAgC;IACpD,IAAI,GAAG,GAAU,CAAC,EAAE,CAAC,CAAC;IACtB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAU,EAAE,CAAC;QACvB,KAAK,MAAM,IAAI,IAAI,GAAG;YAAE,KAAK,MAAM,IAAI,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5E,GAAG,GAAG,IAAI,CAAC;IACb,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAUD,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,UAAU,CAAC,MAA6C;IAC/D,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,gBAAgB,CACvB,GAA0C,EAC1C,GAA0C;IAE1C,uEAAuE;IACvE,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAC3D,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACvC,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IACpC,OAAO,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,KAAK,WAAW,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,IAAI,WAAW,EAAE,CAAC;AACrG,CAAC;AAED,SAAS,UAAU,CACjB,MAA6C,EAC7C,IAAY;IAEZ,IAAI,KAAK,GAAG,UAAU,CAAC;IACvB,IAAI,GAAG,GAAG,aAAa,CAAC;IACxB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,OAAO,IAAI,MAAM,EAAE,CAAC;QAC7B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC;YAC5B,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YAC3D,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,OAAO,CAAC,KAAiB,EAAE,GAAc,EAAE,KAAa,EAAE,MAAc,EAAE,MAA0B;IAC3G,OAAO;QACL,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC;QAC3B,KAAK;QACL,GAAG;QACH,KAAK;QACL,MAAM;QACN,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;KAC5C,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG;QAAE,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3F,IACE,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAClF,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,EACjC,CAAC;QACD,MAAM,IAAI,gBAAgB,CAAC,iEAAiE,CAAC,CAAC;IAChG,CAAC;IACD,wFAAwF;IACxF,sFAAsF;IACtF,4CAA4C;IAC5C,IAAI,kCAAkC,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC9E,gGAAgG;IAChG,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,eAAe,GAAG,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACpD,sFAAsF;IACtF,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC;IACpG,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAClF,4EAA4E;IAC5E,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACtF,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;IACrF,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACrE,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC7B,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9B,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACzC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACnH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,WAAW,GAAqC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;AAE/G;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAa;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IACrF,OAAO,CAAC,GAAG,SAAS,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;AAC5G,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,kBAAkB,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACzF,OAAO,QAAQ,CAAC,CAAC,CAAE,CAAC;AACtB,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACjG,CAAC;AAKD,sGAAsG;AACtG,SAAS,WAAW,CAAC,SAAqB,EAAE,IAAiB,EAAE,WAA+B;IAC5F,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7G,OAAO,GAAG,KAAK,SAAS,IAAI,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AACzG,CAAC;AAED,MAAM,QAAQ,GAAG,iEAAiE,CAAC;AACnF,MAAM,gBAAgB,GAAG,6DAA6D,CAAC;AAEvF;;;;;;GAMG;AACH,SAAS,oBAAoB,CAAC,GAAW;IACvC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,MAAM,GAAG,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAE,CAAC;QACxC,IAAI,GAAG,CAAC,GAAG,KAAK,EAAE;YAAE,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAE,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACrG,CAAC;IACD,MAAM,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;IACnB,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;IACtC,OAAO,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;AACzD,CAAC;AAaD,SAAS,aAAa,CAAC,GAAW,EAAE,KAAa;IAC/C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,IAAI,GAAG,0BAA0B,CAAC,CAAC;IACpF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAW,EAAE,WAAW,GAAuB,UAAU;IAC3F,MAAM,OAAO,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE,EAAE,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAC9F,CAAC;IACD,IAAI,IAAiB,CAAC;IACtB,IAAI,CAAC;QACH,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,gBAAgB;YAAE,OAAO,IAAI,CAAC;QACnD,MAAM,KAAK,CAAC;IACd,CAAC;IACD,OAAO;QACL,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACvE,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;KAC9D,CAAC;AACJ,CAAC;AAaD;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,GAAW,EAAE,MAAc,EAAE,WAAW,GAAuB,UAAU;IACpG,MAAM,OAAO,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,IAAI,SAAS,CAAC,IAAI,GAAG,yCAAyC,CAAC,CAAC;IAC5F,IAAI,OAAO,CAAC,IAAI,KAAK,EAAE;QAAE,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,GAAG,EAAE,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAC3G,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC;IAC3B,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC5B,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,SAAS,CAAC,sCAAsC,MAAM,IAAI,CAAC,CAAC;IACnG,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,kBAAkB,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3F,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAC1D,MAAM,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,MAAM,IAAI,eAAe,GAAG,CAAC,CAAC;IAC/H,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;IACzB,MAAM,KAAK,GAAG,aAAa,CAAC,YAAY,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACvG,OAAO;QACL,KAAK,EAAE,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC;QAChC,KAAK;QACL,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;QACrD,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;KAC9D,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;AAC7B,CAAC;AAED,mHAAmH;AACnH,MAAM,UAAU,QAAQ;IACtB,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU;IAMxB,OAAO;QACL,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,MAAM,KAAK,IAAI,CAAU,CAAC,CAAC,CAAC;QACpI,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,CAAU,CAAC,CAAC;QAC1F,cAAc,EAAE,aAAa,CAAC,gBAAgB,CAAC;QAC/C,YAAY,EAAE,SAAS,CAAC,MAAM;KAC/B,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Unit parsing for numeric inputs: `1um`, `25degC`, `1 kohm`, `3.8e-16 kg/m^3`.\n *\n * A unit is a product of factors, each `symbol[^n]`, joined by `*`, `·` or a\n * space; everything after a single `/` is the denominator (`W/(m*K)` and\n * `W/m*K` both mean W·m⁻¹·K⁻¹). An exact symbol is matched before a prefixed\n * one, so `min` is a minute, `Pa` a pascal and `mm` a millimetre.\n *\n * An affine temperature (`degC`, `°C`, `degF`, `°F`) is accepted only alone.\n * The kelvin value is `value × scale + offset` for an absolute reading and\n * `value × scale` for a difference. Rankine is proportional (`°R × 5/9`), not\n * affine. The caller decides which reading, from the quantity's role.\n *\n * An exact symbol wins over a prefix: `T` is the tesla and `Ts` is a\n * terasecond; `G` is the gauss and `GPa` is a gigapascal; `P` is the poise\n * and `PV` is still a petavolt. A glued positive exponent is that power when\n * the letters are already a unit, so `K2` and `K²` are `K^2`.\n *\n * A token with no separator is one factor when the whole token is an exact\n * unit or a prefix plus a unit, with an optional exponent. That reading\n * wins on a bare token, so `ms` stays a millisecond, `mm` a millimetre,\n * `mK` a millikelvin, and `Ts` a terasecond. Inside a larger expression the\n * prefixed reading competes with a heterogeneous product (`mK` is millikelvin\n * or metre·kelvin; `ms` is millisecond or metre·second). A split that puts\n * a prefix letter's own unit twice in a row is never a reading, because a\n * power is written `m2` or `m^2`: `mm` is a millimetre, not metre·metre,\n * and `mmin` is metre·minute or millimetre·inch, not metre·metre·inch.\n * A unit that is not a prefix letter still juxtaposes with itself (`NN` is\n * N·N). `parseUnit` names\n * every remaining reading and refuses. `convertValue` keeps the one reading\n * whose dimension is the declared unit. A token that is not one factor is a\n * product when exactly one split exists: `m2K` is `m^2·K`, `Vs` is `V·s`,\n * and `cm^2/Vs` is `cm^2/(V·s)`. Zero splits are an unknown unit. Two or more\n * splits name each reading and are refused (`mAs` is milliampere·second or\n * metre·ampere·second). An unknown token that ends in a digit stays unknown\n * when it is not that product. A numerator that is the single token `1` is\n * the dimensionless unit, so `1/s` is a reciprocal second and `1/m^3` a\n * number density; `1` is not a symbol anywhere else.\n * The table is data: `data/units.json`, loaded and validated by\n * `unit-data.ts`. Every row, prefix, refused spelling, prefix letter, affine\n * scale and spelling note is a row there, with the reason as its `comment`;\n * this module holds the grammar. `myr` is a milliyear because `m` is the SI\n * prefix, and `eV` takes one, so `GeV` is 10⁹ eV in joules.\n *\n * @module dimensional/units\n */\nimport { equals, format, multiply, power } from './algebra.js';\nimport type { Dimension } from './types.js';\nimport {\n  addScales,\n  decimalScale,\n  divideScales,\n  multiplyScales,\n  powerScale,\n  ratioScale,\n  scaleToNumber,\n  solidusSides,\n  UNIT_SCALE,\n  type ExactScale,\n} from './exact-scale.js';\nimport { UNIT_DATA, type AffineRow as UnitDataAffineRow } from './unit-data.js';\n\n/** An affine temperature scale: a lone `degC` or `degF`. @public */\nexport type AffineTemperature = 'celsius' | 'fahrenheit';\n\n/** A unit, as a scale to SI base units and a dimension. @public */\nexport interface ParsedUnit {\n  readonly scale: number;\n  readonly dim: Dimension;\n  /** Set only for a lone affine temperature, which needs a reading. */\n  readonly affine?: AffineTemperature;\n}\n\n/** Thrown for any input that does not parse as a value with a known unit. @public */\nexport class UnitError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'UnitError';\n  }\n}\n\n/** A symbol no table row and no prefix spells. @public */\nexport class UnknownUnitError extends UnitError {\n  constructor(readonly symbol: string) {\n    super(`unknown unit '${symbol}'`);\n    this.name = 'UnknownUnitError';\n  }\n}\n\n/**\n * A unit the reader recognizes and refuses: a logarithmic or ratio unit, an\n * ambiguous name such as `ton`, or an affine temperature inside a compound.\n * @public\n */\nexport class UnitRefusedError extends UnitError {\n  constructor(message: string) {\n    super(message);\n    this.name = 'UnitRefusedError';\n  }\n}\n\n/** A unit expression with more than one dimensionally distinct reading. @public */\nexport class AmbiguousUnitError extends UnitError {\n  constructor(readonly text: string, readonly readings: readonly string[]) {\n    super(`'${text}' is ambiguous: ${readings.join(' or ')}`);\n    this.name = 'AmbiguousUnitError';\n  }\n}\n\nconst D = (p: Partial<Dimension>): Dimension => ({ L: 0, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0, ...p });\nconst DIMENSIONLESS = D({});\n\n/** symbol → exact scale to SI base, dimension, prefixability, cycle count. Rows are `data/units.json`. */\nconst UNITS = UNIT_DATA.units;\n\n/** Units that are a ratio or a log scale, and the reason each is not a plain factor. */\nconst REFUSED_UNITS = UNIT_DATA.refused;\n\n/**\n * Letters that are both an SI prefix and a unit of their own. Such a token\n * reads as the prefix reading and not as the unit times the rest: `Gyr` is a\n * gigayear. The file's `prefixLetterUnits.comment` says why `m` is not one.\n */\nconst PREFIX_LETTER_UNITS = UNIT_DATA.prefixLetterUnits;\n\n/** Kelvin at 0 °C, exactly. */\nconst CELSIUS_OFFSET_K = UNIT_DATA.iceKelvin;\n\ninterface AffineRow extends UnitDataAffineRow {\n  readonly id: AffineTemperature;\n}\n\n/**\n * Lone spellings. A compound that contains one is refused. The schema's `id`\n * enum is {@link AffineTemperature}, held equal by a test: the public type\n * promises callers these ids, so a new affine scale is an API change.\n */\nconst AFFINE = UNIT_DATA.affine as readonly AffineRow[];\n\n/** Kelvin at a reading of zero, exactly: 273.15 − icePoint × scale. */\nfunction affineOffset(row: AffineRow): ExactScale {\n  return addScales(CELSIUS_OFFSET_K, multiplyScales(ratioScale(-1, 1), row.icePoint, row.scale));\n}\n\nconst fractionText = (s: ExactScale): string => (s.den === 1n ? String(s.num) : `${s.num}/${s.den}`);\n\n/**\n * How a reading on an affine scale becomes kelvin, from the row's scale and\n * ice point: `absolute: (degF − 32) × 5/9 + 273.15`, `a difference: × 5/9, no offset`.\n * @internal\n */\nexport function affineReadingNote(affine: AffineTemperature, reading: TemperatureReading): string {\n  const row = AFFINE.find((candidate) => candidate.id === affine)!;\n  const unitScale = row.scale.num === row.scale.den;\n  if (reading === 'difference') return unitScale ? 'a difference: no offset' : `a difference: × ${fractionText(row.scale)}, no offset`;\n  const kelvin = String(scaleToNumber(CELSIUS_OFFSET_K));\n  if (unitScale && row.icePoint.num === 0n) return `absolute: + ${kelvin}`;\n  const shifted = row.icePoint.num === 0n ? row.symbols[0]! : `(${row.symbols[0]!} − ${fractionText(row.icePoint)})`;\n  return `absolute: ${unitScale ? shifted : `${shifted} × ${fractionText(row.scale)}`} + ${kelvin}`;\n}\n\nfunction affineRow(text: string): AffineRow | undefined {\n  return AFFINE.find((candidate) => candidate.symbols.includes(text));\n}\n\nconst PREFIXES = UNIT_DATA.prefixes;\n\ninterface SymbolReading {\n  readonly scale: ExactScale;\n  readonly dim: Dimension;\n  readonly cycles: number;\n}\n\nfunction trySymbol(sym: string): SymbolReading | null {\n  const exact = UNITS.get(sym);\n  if (exact !== undefined) return { scale: exact.scale, dim: exact.dim, cycles: exact.cycles === true ? 1 : 0 };\n  for (const [p, f] of PREFIXES) {\n    if (!sym.startsWith(p) || sym.length === p.length) continue;\n    const base = UNITS.get(sym.slice(p.length));\n    if (base !== undefined && base.prefixable) {\n      return { scale: multiplyScales(f, base.scale), dim: base.dim, cycles: base.cycles === true ? 1 : 0 };\n    }\n  }\n  return null;\n}\n\ninterface FactorReading {\n  readonly base: string;\n  readonly exp: number;\n  readonly scale: ExactScale;\n  readonly dim: Dimension;\n  readonly cycles: number;\n}\n\n/** One factor, or null when `token` is not exactly one unit with an optional exponent. */\nfunction tryOneFactor(token: string): FactorReading | null {\n  let base = token;\n  let exp = 1;\n  const caret = /^(.+)\\^([+-]?\\d+)$/.exec(token);\n  if (caret !== null) {\n    base = caret[1]!;\n    exp = Number(caret[2]);\n  } else {\n    const uni = /^(.*?)(⁻?[¹²³])$/.exec(token);\n    const superExp = uni === null ? undefined : SUPERSCRIPT[uni[2]!];\n    if (uni !== null && superExp !== undefined && uni[1]!.length > 0) {\n      base = uni[1]!;\n      exp = superExp;\n    } else {\n      const glued = /^(.*?)([1-9]\\d*)$/.exec(token);\n      if (glued !== null && glued[1]!.length > 0 && trySymbol(glued[1]!) !== null) {\n        base = glued[1]!;\n        exp = Number(glued[2]);\n      }\n    }\n  }\n  const parsed = trySymbol(base);\n  if (parsed === null || !Number.isFinite(exp)) return null;\n  return { base, exp, scale: parsed.scale, dim: parsed.dim, cycles: parsed.cycles };\n}\n\nfunction formatReading(factors: readonly FactorReading[]): string {\n  return factors.map((factor) => (factor.exp === 1 ? factor.base : `${factor.base}^${factor.exp}`)).join('·');\n}\n\n/** The unprefixed unit a prefix spelling attaches to, or null when `symbol` is exact. */\nfunction attachedUnit(symbol: string): string | null {\n  if (UNITS.has(symbol)) return null;\n  for (const [prefix] of PREFIXES) {\n    if (!symbol.startsWith(prefix) || symbol.length === prefix.length) continue;\n    const base = symbol.slice(prefix.length);\n    const unitRow = UNITS.get(base);\n    if (unitRow !== undefined && unitRow.prefixable) return base;\n  }\n  return null;\n}\n\n/**\n * `X·X` where `XX` is X's own prefix spelling (`m·m` beside `mm`, `d·d`\n * beside `dd`): not a split, because a power is written `X2` or `X^2`. A\n * run of a unit that is not also a prefix letter (`N·N`) stays a product.\n */\nfunction prefixRun(last: FactorReading, next: FactorReading): boolean {\n  return last.base === next.base && attachedUnit(last.base + next.base) === last.base;\n}\n\n/**\n * Every way to split `token` into one or more factors. A one-factor token is\n * included. A split that puts a prefix letter's own unit twice in a row\n * (`m·m`, `m·m²`, `m·m·in`) is not a way, inside any split.\n */\nfunction segmentations(token: string): FactorReading[][] {\n  const ways: FactorReading[][][] = Array.from({ length: token.length + 1 }, () => []);\n  ways[0]!.push([]);\n  for (let i = 0; i < token.length; i++) {\n    if (ways[i]!.length === 0) continue;\n    for (let j = i + 1; j <= token.length; j++) {\n      const factor = tryOneFactor(token.slice(i, j));\n      if (factor === null) continue;\n      for (const prev of ways[i]!) {\n        if (prev.length > 0 && prefixRun(prev[prev.length - 1]!, factor)) continue;\n        ways[j]!.push([...prev, factor]);\n      }\n    }\n  }\n  const unique = new Map<string, FactorReading[]>();\n  for (const way of ways[token.length]!) unique.set(formatReading(way), way);\n  return [...unique.values()];\n}\n\n/**\n * Ways to read one token. A bare expression keeps a one-factor reading and\n * does not also split it. Inside a compound, a prefixed factor also competes\n * with each heterogeneous product; `segmentations` has already dropped the\n * homogeneous runs.\n */\nfunction tokenWays(token: string, compete: boolean, side: 'numerator' | 'denominator'): FactorReading[][] {\n  const refused = REFUSED_UNITS.get(token);\n  if (refused !== undefined) throw new UnitRefusedError(refused);\n  const single = tryOneFactor(token);\n  if (single !== null && !compete) return [[single]];\n  // A prefixed numerator token is the prefix reading: `mN/m` is millinewton per metre.\n  // A denominator keeps the product readings (`W/mK`), and a target dimension chooses.\n  if (single !== null && side === 'numerator') return [[single]];\n  const prefixWins = single !== null && PREFIX_LETTER_UNITS.has(token[0]!) && attachedUnit(single.base) !== null;\n  const products = segmentations(token)\n    .filter((way) => way.length > 1)\n    .filter(() => !prefixWins);\n  const ways: FactorReading[][] = [];\n  if (single !== null) ways.push([single]);\n  for (const way of products) ways.push(way);\n  const unique = new Map<string, FactorReading[]>();\n  for (const way of ways) unique.set(formatReading(way), way);\n  const list = [...unique.values()];\n  if (list.length === 0) throw new UnknownUnitError(token);\n  return list;\n}\n\nfunction cartesian<T>(lists: readonly (readonly T[])[]): T[][] {\n  let acc: T[][] = [[]];\n  for (const list of lists) {\n    const next: T[][] = [];\n    for (const prev of acc) for (const item of list) next.push([...prev, item]);\n    acc = next;\n  }\n  return acc;\n}\n\n/** One reading of a unit expression, with its exact scale. @internal */\nexport interface UnitReading extends ParsedUnit {\n  readonly label: string;\n  readonly exact: ExactScale;\n  /** Net power of cycle-counting units (Hz, rpm): 1 for a lone `kHz`, 0 for `1/s`. */\n  readonly cycles: number;\n}\n\nfunction sideTokens(text: string): string[] {\n  return text.split(/[*·\\s]+|(?<=[A-Za-zµμΩ])\\.(?=[A-Za-zµμΩ])/).filter((part) => part.length > 0);\n}\n\nfunction formatSide(tokens: readonly (readonly FactorReading[])[]): string {\n  return tokens.map((factors) => formatReading(factors)).join('·');\n}\n\nfunction formatExpression(\n  num: readonly (readonly FactorReading[])[],\n  den: readonly (readonly FactorReading[])[],\n): string {\n  // An empty numerator over a denominator is the dimensionless 1: `1/s`.\n  const numerator = num.length === 0 ? '1' : formatSide(num);\n  if (den.length === 0) return numerator;\n  const denominator = formatSide(den);\n  return denominator.includes('·') ? `${numerator}/(${denominator})` : `${numerator}/${denominator}`;\n}\n\nfunction accumulate(\n  tokens: readonly (readonly FactorReading[])[],\n  sign: 1 | -1,\n): { scale: ExactScale; dim: Dimension; cycles: number } {\n  let scale = UNIT_SCALE;\n  let dim = DIMENSIONLESS;\n  let cycles = 0;\n  for (const factors of tokens) {\n    for (const factor of factors) {\n      const n = sign * factor.exp;\n      scale = multiplyScales(scale, powerScale(factor.scale, n));\n      dim = multiply(dim, power(factor.dim, n));\n      cycles += factor.cycles * n;\n    }\n  }\n  return { scale, dim, cycles };\n}\n\nfunction reading(exact: ExactScale, dim: Dimension, label: string, cycles: number, affine?: AffineTemperature): UnitReading {\n  return {\n    scale: scaleToNumber(exact),\n    exact,\n    dim,\n    label,\n    cycles,\n    ...(affine === undefined ? {} : { affine }),\n  };\n}\n\n/**\n * Every dimensionally distinct reading of one unit expression.\n *\n * The unit grammar is not the formula grammar, and the difference is\n * deliberate: a unit symbol is not an identifier (a prefix, a glued product\n * or a glued power lives inside one token: `mN`, `m2K`, `Vs`, `K²`, `°C`,\n * `%`), and everything after the first `/` is the denominator, the\n * single-solidus convention of ISO 80000-1 (`W/m*K` is W·m⁻¹·K⁻¹), where the\n * formula grammar would read `(W/m)·K`.\n * @internal\n */\nfunction unitReadings(text: string): UnitReading[] {\n  const t = text.trim();\n  if (t === '' || t === '1') return [reading(UNIT_SCALE, DIMENSIONLESS, '1', 0)];\n  const affine = affineRow(t);\n  if (affine !== undefined) return [reading(affine.scale, D({ Theta: 1 }), t, 0, affine.id)];\n  if (\n    AFFINE.some((candidate) => candidate.symbols.some((symbol) => t.includes(symbol))) ||\n    /deg\\s+[CFcf]|°\\s*[CFcf]/.test(t)\n  ) {\n    throw new UnitRefusedError('an affine temperature cannot be part of a compound unit; give K');\n  }\n  // An operator with nothing on one side (`m/`, `m//s`, `m*`, `*m`, `m/*s`) is not a unit\n  // text; it was read as if the empty factor were 1 (Tom's second round). A leading `/`\n  // (`/s`) stays the dimensionless numerator.\n  if (/[*·/]\\s*$|^\\s*[*·]|[*·/]\\s*[*·/]/.test(t)) throw new UnknownUnitError(t);\n  // A chain is one denominator: `km/s/Mpc` is km/(s·Mpc), the way the Hubble constant is written.\n  const sides = solidusSides(t);\n  const compete = /[*·/\\s]/.test(t);\n  const numeratorTokens = sideTokens(sides.numerator);\n  // A numerator that is the single token `1` is the dimensionless unit: `1/s`, `1/m^3`.\n  const numerator = numeratorTokens.length === 1 && numeratorTokens[0] === '1' ? [] : numeratorTokens;\n  const denominator = sides.denominator === '' ? [] : sideTokens(sides.denominator);\n  // `/s` is a dimensionless numerator over seconds. A bare `/` is not a unit.\n  if (numerator.length === 0 && denominator.length === 0) throw new UnknownUnitError(t);\n  const numWays = numerator.map((token) => tokenWays(token, compete, 'numerator'));\n  const denWays = denominator.map((token) => tokenWays(token, compete, 'denominator'));\n  const numCombos = numerator.length === 0 ? [[]] : cartesian(numWays);\n  const denCombos = denominator.length === 0 ? [[]] : cartesian(denWays);\n  const unique = new Map<string, UnitReading>();\n  for (const num of numCombos) {\n    for (const den of denCombos) {\n      const n = accumulate(num, 1);\n      const d = accumulate(den, -1);\n      const label = formatExpression(num, den);\n      unique.set(label, reading(multiplyScales(n.scale, d.scale), multiply(n.dim, d.dim), label, n.cycles + d.cycles));\n    }\n  }\n  return [...unique.values()];\n}\n\nconst SUPERSCRIPT: Readonly<Record<string, number>> = { '¹': 1, '²': 2, '³': 3, '⁻¹': -1, '⁻²': -2, '⁻³': -3 };\n\n/**\n * Spellings that convert correctly and still mean something else to a reader:\n * the `spellingNotes` of `data/units.json` for each symbol in `given`, in file\n * order. `myr` is a milliyear, bare `G` is the gauss, bare `A` the ampere.\n * @internal\n */\nexport function unitConventionNotes(given: string): string[] {\n  const symbols = new Set(given.split(/[*·/\\s^0-9()+-]+/).filter((s) => s.length > 0));\n  return [...UNIT_DATA.spellingNotes].filter(([spelling]) => symbols.has(spelling)).map(([, note]) => note);\n}\n\n/** The one reading of a unit expression; more than one is refused. @internal */\nexport function readUnit(text: string): UnitReading {\n  const t = text.trim();\n  const readings = unitReadings(t);\n  if (readings.length !== 1) throw new AmbiguousUnitError(t, readings.map((r) => r.label));\n  return readings[0]!;\n}\n\n/** Parse a unit expression; the empty string is dimensionless. @public */\nexport function parseUnit(text: string): ParsedUnit {\n  const r = readUnit(text);\n  return { scale: r.scale, dim: r.dim, ...(r.affine !== undefined ? { affine: r.affine } : {}) };\n}\n\n/** How a temperature value is read: as a point on the scale, or as a difference. @public */\nexport type TemperatureReading = 'absolute' | 'difference';\n\n/** The SI magnitude of `magnitude` in `unit`, exactly. An absolute affine reading adds its offset. */\nfunction siMagnitude(magnitude: ExactScale, unit: UnitReading, temperature: TemperatureReading): ExactScale {\n  const scaled = multiplyScales(magnitude, unit.exact);\n  const row = unit.affine === undefined ? undefined : AFFINE.find((candidate) => candidate.id === unit.affine);\n  return row !== undefined && temperature === 'absolute' ? addScales(scaled, affineOffset(row)) : scaled;\n}\n\nconst FRACTION = /^\\s*([+-]?(?:\\d+\\.?\\d*|\\.\\d+))\\s*\\/\\s*((?:\\d+\\.?\\d*|\\.\\d+))\\s*$/;\nconst NUMBER_THEN_REST = /^\\s*([+-]?(?:\\d+\\.?\\d*|\\.\\d+)(?:[eE][+-]?\\d+)?)\\s*(.*?)\\s*$/;\n\n/**\n * `raw` split into an exact decimal magnitude and the unit text after it, or\n * null when `raw` is not a number followed by an optional unit. A plain\n * fraction (`1/3`) is a number. Text that begins with an operator (`*h`,\n * `·c`) is an expression, not a unit.\n * @internal\n */\nfunction splitQuantityLiteral(raw: string): { readonly magnitude: ExactScale; readonly unit: string } | null {\n  const fraction = FRACTION.exec(raw);\n  if (fraction !== null) {\n    const den = decimalScale(fraction[2]!)!;\n    if (den.num !== 0n) return { magnitude: divideScales(decimalScale(fraction[1]!)!, den), unit: '' };\n  }\n  const m = NUMBER_THEN_REST.exec(raw);\n  if (m === null) return null;\n  const unit = m[2]!;\n  if (unit.startsWith('*') || unit.startsWith('·')) return null;\n  const magnitude = decimalScale(m[1]!);\n  return magnitude === null ? null : { magnitude, unit };\n}\n\n/** A number with a unit, read exactly and rounded once. @internal */\nexport interface QuantityLiteral {\n  /** SI value; a bare number is unchanged. */\n  readonly value: number;\n  readonly dim: Dimension;\n  /** The unit text as given; `''` for a bare number. */\n  readonly unit: string;\n  readonly cycles: number;\n  readonly affine?: AffineTemperature;\n}\n\nfunction finiteLiteral(raw: string, value: number): number {\n  if (!Number.isFinite(value)) throw new UnitError(`'${raw}' is not a finite number`);\n  return value;\n}\n\n/**\n * Read `raw` as one number with an optional unit, in SI. Null when `raw` is\n * not that form or names a unit no row spells, so the caller can read it as\n * an expression. A refused unit and an ambiguous one throw. The value may be\n * non-finite (`1e999`); the caller owns that refusal and its error class.\n * @internal\n */\nexport function readQuantityLiteral(raw: string, temperature: TemperatureReading = 'absolute'): QuantityLiteral | null {\n  const literal = splitQuantityLiteral(raw);\n  if (literal === null) return null;\n  if (literal.unit === '') {\n    return { value: scaleToNumber(literal.magnitude), dim: DIMENSIONLESS, unit: '', cycles: 0 };\n  }\n  let unit: UnitReading;\n  try {\n    unit = readUnit(literal.unit);\n  } catch (error) {\n    if (error instanceof UnknownUnitError) return null;\n    throw error;\n  }\n  return {\n    value: scaleToNumber(siMagnitude(literal.magnitude, unit, temperature)),\n    dim: unit.dim,\n    unit: literal.unit,\n    cycles: unit.cycles,\n    ...(unit.affine === undefined ? {} : { affine: unit.affine }),\n  };\n}\n\n/** A value converted into a declared unit. @public */\nexport interface ConvertedValue {\n  readonly value: number;\n  /** The unit the user gave; `''` for a bare number. */\n  readonly given: string;\n  /** Net power of cycle-counting units in `given` (1 for `Hz` or `rpm`); absent when 0. */\n  readonly cycles?: number;\n  /** Set when `given` is a lone affine temperature. */\n  readonly affine?: AffineTemperature;\n}\n\n/**\n * Convert `raw` (`<number>[unit]`) into `target` (a unit expression). A bare\n * number is taken to be in `target` already. The dimensions must agree.\n *\n * The magnitude, the unit scales and the target scale are multiplied as\n * exact rationals and rounded once, so `1 g/cm^3` in `kg/m^3` is 1000.\n *\n * @returns the value in `target`, and the unit the user gave (`''` for none).\n * @public\n */\nexport function convertValue(raw: string, target: string, temperature: TemperatureReading = 'absolute'): ConvertedValue {\n  const literal = splitQuantityLiteral(raw);\n  if (literal === null) throw new UnitError(`'${raw}' is not a number with an optional unit`);\n  if (literal.unit === '') return { value: finiteLiteral(raw, scaleToNumber(literal.magnitude)), given: '' };\n  const given = literal.unit;\n  const readings = unitReadings(given);\n  const to = readUnit(target);\n  if (to.affine !== undefined) throw new UnitError(`a declared unit cannot be affine ('${target}')`);\n  const matched = readings.filter((candidate) => equals(candidate.dim, to.dim));\n  if (matched.length !== 1) {\n    if (readings.length > 1) throw new AmbiguousUnitError(given, readings.map((r) => r.label));\n    const from = readings[0];\n    if (from === undefined) throw new UnknownUnitError(given);\n    throw new UnitError(`'${given}' is ${format(from.dim)}, but this input is ${format(to.dim)} (${target || 'dimensionless'})`);\n  }\n  const from = matched[0]!;\n  const value = scaleToNumber(divideScales(siMagnitude(literal.magnitude, from, temperature), to.exact));\n  return {\n    value: finiteLiteral(raw, value),\n    given,\n    ...(from.cycles === 0 ? {} : { cycles: from.cycles }),\n    ...(from.affine === undefined ? {} : { affine: from.affine }),\n  };\n}\n\n/** The dimension of a declared unit expression. @internal */\nexport function unitDimension(unit: string): Dimension {\n  return parseUnit(unit).dim;\n}\n\n/** The symbols the unit table spells, with their exact scales, for the agreement test against MathTS. @internal */\nexport function unitRows(): ReadonlyMap<string, { readonly scale: ExactScale; readonly dim: Dimension; readonly prefixable: boolean }> {\n  return UNITS;\n}\n\n/**\n * The tables conversion reads, for the CLI record's fingerprint (`src/cli/record-tables.ts`):\n * each row's scale, dimension, prefixability and `cycles` flag (which multiplies an angular\n * input by 2π), the prefixes, the Celsius offset, and the SHA-256 of `data/units.json`, so a\n * refused spelling, a prefix letter, an affine row or a note that changes changes the fingerprint too.\n * @internal\n */\nexport function unitTables(): {\n  units: ReadonlyMap<string, readonly [number, Dimension, boolean, boolean]>;\n  prefixes: ReadonlyMap<string, number>;\n  celsiusOffsetK: number;\n  sourceSha256: string;\n} {\n  return {\n    units: new Map([...UNITS].map(([symbol, r]) => [symbol, [scaleToNumber(r.scale), r.dim, r.prefixable, r.cycles === true] as const])),\n    prefixes: new Map([...PREFIXES].map(([prefix, f]) => [prefix, scaleToNumber(f)] as const)),\n    celsiusOffsetK: scaleToNumber(CELSIUS_OFFSET_K),\n    sourceSha256: UNIT_DATA.sha256,\n  };\n}\n"]}

package/dist/dimensional/validator-registry.js.map

@@ -1 +1 @@
-{"version":3,"file":"validator-registry.js","sourceRoot":"","sources":["../../src/dimensional/validator-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,uBAAuB,GAExB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AACzF,OAAO,EAAE,0BAA0B,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAC;AACzG,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AAQtE;;;;;;;;;;;GAWG;AACH,MAAM,oBAAoB,GAAyB,CAAC,YAAY,EAAE,EAAE;IAClE,MAAM,EAAE,GAAG,qBAAqB,CAAC,YAAY,CAAC,CAAC;IAC/C,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,CAAC,WAAW,EAAE,CAAC;AACtD,CAAC,CAAC;AA0BF;;;;GAIG;AACH,MAAM,kBAAkB,GAA4C;IAClE,2DAA2D;IAC3D,gBAAgB,EAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,qBAAyD,EAAE;IAC9G,gBAAgB,EAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,qBAAyD,EAAE;IAC9G,eAAe,EAAS,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,0BAA8D,EAAE;IACnH,mBAAmB,EAAK,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,6BAAiE,EAAE;IACtH,aAAa,EAAW,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,kBAAsD,EAAE;IAE3G,oFAAoF;IACpF,cAAc,EAAU,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,mBAAiF,EAAE;IACtI,iBAAiB,EAAO,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,sBAAoF,EAAE;IACzI,kBAAkB,EAAM,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,uBAAqF,EAAE;IAE1I,qEAAqE;IACrE,kBAAkB,EAAM,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,uBAA2D,EAAE;IAChH,uBAAuB,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,4BAAgE,EAAE;IACtH,oBAAoB,EAAI,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,yBAA6D,EAAE;CACnH,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,OAAQ,kBAAqD,CAAC,IAAI,CAAC,CAAC;AACtE,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAqB,EACrB,IAAa;IAEb,QAAQ,KAAK,CAAC,OAAO,EAAE,CAAC;QACtB,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,SAAS,CAAC,IAAa,CAAC,CAAC;QACxC,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,SAAS,CAAC,IAAa,EAAE,oBAAoB,CAAC,CAAC;QAC9D,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,SAAS,CAAC,IAAa,CAAC,CAAC;QACxC,SAAS,CAAC;YACR,uBAAuB;YACvB,MAAM,WAAW,GAAU,KAAK,CAAC;YACjC,KAAK,WAAW,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAqB;IAC9D,OAAO,KAAK,CAAC,OAAO,KAAK,GAAG,IAAI,KAAK,CAAC,OAAO,KAAK,GAAG,CAAC;AACxD,CAAC"}
+{"version":3,"file":"validator-registry.js","sourceRoot":"","sources":["../../src/dimensional/validator-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,uBAAuB,GAExB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AACzF,OAAO,EAAE,0BAA0B,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAC;AACzG,OAAO,EAAE,6BAA6B,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AAQtE;;;;;;;;;;;GAWG;AACH,MAAM,oBAAoB,GAAyB,CAAC,YAAY,EAAE,EAAE;IAClE,MAAM,EAAE,GAAG,qBAAqB,CAAC,YAAY,CAAC,CAAC;IAC/C,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,WAAW,EAAE,EAAE,CAAC,WAAW,EAAE,CAAC;AACtD,CAAC,CAAC;AA0BF;;;;GAIG;AACH,MAAM,kBAAkB,GAA4C;IAClE,2DAA2D;IAC3D,gBAAgB,EAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,qBAAyD,EAAE;IAC9G,gBAAgB,EAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,qBAAyD,EAAE;IAC9G,eAAe,EAAS,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,0BAA8D,EAAE;IACnH,mBAAmB,EAAK,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,6BAAiE,EAAE;IACtH,aAAa,EAAW,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,kBAAsD,EAAE;IAE3G,oFAAoF;IACpF,cAAc,EAAU,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,mBAAiF,EAAE;IACtI,iBAAiB,EAAO,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,sBAAoF,EAAE;IACzI,kBAAkB,EAAM,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,uBAAqF,EAAE;IAE1I,qEAAqE;IACrE,kBAAkB,EAAM,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,uBAA2D,EAAE;IAChH,uBAAuB,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,4BAAgE,EAAE;IACtH,oBAAoB,EAAI,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,yBAA6D,EAAE;CACnH,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,OAAQ,kBAAqD,CAAC,IAAI,CAAC,CAAC;AACtE,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAqB,EACrB,IAAa;IAEb,QAAQ,KAAK,CAAC,OAAO,EAAE,CAAC;QACtB,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,SAAS,CAAC,IAAa,CAAC,CAAC;QACxC,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,SAAS,CAAC,IAAa,EAAE,oBAAoB,CAAC,CAAC;QAC9D,KAAK,GAAG;YACN,OAAO,KAAK,CAAC,SAAS,CAAC,IAAa,CAAC,CAAC;QACxC,SAAS,CAAC;YACR,uBAAuB;YACvB,MAAM,WAAW,GAAU,KAAK,CAAC;YACjC,KAAK,WAAW,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAqB;IAC9D,OAAO,KAAK,CAAC,OAAO,KAAK,GAAG,IAAI,KAAK,CAAC,OAAO,KAAK,GAAG,CAAC;AACxD,CAAC","sourcesContent":["/**\n * Validator registry for curvature- and GR-object node kinds.\n *\n * Extracted from `validator.ts`'s `infer()` switch in v0.6.1 Phase 2.\n * Eleven `infer()` arms — `riemann-tensor`, `ricci-tensor`, `einstein-\n * tensor`, `bianchi-residual`, `killing-vector`, `conserved-charge`,\n * `stress-energy`, `cosmological-constant`, `einstein-equation`,\n * `weyl-tensor`, `kretschmann-scalar` — all follow the same shape\n * (call a `validateX(...)` function, then either propagate the\n * returned `freeIndices` into the parent context or skip the merge\n * for scalar kinds). Capturing that shape in a registry eliminates\n * 11×~10 LOC of boilerplate in `validator.ts` and makes the per-arm\n * pattern explicit at the registry-definition site.\n *\n * **Three patterns**, per the Adam+Eve adversarial review of the\n * v0.6.1 Design (S2): a naive `propagateFreeIndices: boolean` flag is\n * insufficient — three arms (`ricci-tensor`, `einstein-tensor`,\n * `bianchi-residual`) pass a riemann-child closure into their\n * validator, while the other eight do not. The pattern tag captures\n * this asymmetry exhaustively:\n *\n * - **Pattern A** — `validateX(node)`, propagate freeIndices.\n *   Used by: `riemann-tensor`, `killing-vector`, `stress-energy`,\n *   `einstein-equation`, `weyl-tensor`.\n *\n * - **Pattern B** — `validateX(node, riemannCallback)`, propagate\n *   freeIndices. Used by: `ricci-tensor`, `einstein-tensor`,\n *   `bianchi-residual`. The callback re-validates an embedded\n *   Riemann sub-node so its signature checks fire while only the\n *   outer (post-contraction) free indices propagate to the parent.\n *\n * - **Pattern C** — `validateX(node)`, freeIndices is empty (scalar\n *   result); skip the merge loop entirely. Used by:\n *   `conserved-charge`, `cosmological-constant`, `kretschmann-scalar`.\n *\n * The discriminated union type below makes adding a new GR-object\n * node-kind a compile-time decision: the new entry must explicitly\n * declare its pattern, or TypeScript will fail to typecheck the\n * registry. This guards against the v0.5.0 ricci-slot-bug shape\n * (silent miscompute when a new arm follows the \"wrong\" pattern by\n * default).\n *\n * @module dimensional/validator-registry\n */\n\nimport type { Dimension } from './types.js';\nimport { validateRiemannTensor } from './connection-validators.js';\nimport {\n  validateRicciTensor,\n  validateEinsteinTensor,\n  validateBianchiResidual,\n  type RiemannChildCallback,\n} from './curvature.js';\nimport { validateKillingVector, validateConservedCharge } from './killing-validators.js';\nimport { validateStressEnergyTensor, validateCosmologicalConstant } from './stress-energy-validators.js';\nimport { validateEinsteinFieldEquation } from './einstein-equation.js';\nimport { validateWeylTensor } from './weyl-validators.js';\nimport { validateKretschmannScalar } from './curvature-invariants.js';\n\n/** Shape of every `validateX` result the registry dispatches over. */\ntype ValidatorResult = {\n  readonly dim: Dimension;\n  readonly freeIndices: Map<string, { upper: number; lower: number }>;\n};\n\n/**\n * The canonical riemann-child callback used by all pattern-B\n * validators. Re-validates an embedded Riemann sub-node so its\n * structural checks fire, and forwards the result as\n * `{dim, freeIndices}` (without the result's `violations` list,\n * because pattern-B validators handle merging themselves).\n *\n * Uses the `RiemannChildCallback` type re-exported from\n * `curvature.ts` (v0.7.1 Phase 4 Task 4.2 — consolidates the\n * three identical inline callback shapes across the pattern-B\n * validators into a single named alias).\n */\nconst riemannChildCallback: RiemannChildCallback = (riemannChild) => {\n  const rr = validateRiemannTensor(riemannChild);\n  return { dim: rr.dim, freeIndices: rr.freeIndices };\n};\n\n/**\n * The set of node-kinds dispatched through this registry. Keep in\n * sync with the `case` labels in `validator.ts`'s `infer()` switch —\n * a TypeScript exhaustiveness check below enforces the contract.\n */\ntype RegistryKind =\n  | 'riemann-tensor'\n  | 'ricci-tensor'\n  | 'einstein-tensor'\n  | 'bianchi-residual'\n  | 'killing-vector'\n  | 'conserved-charge'\n  | 'stress-energy'\n  | 'cosmological-constant'\n  | 'einstein-equation'\n  | 'weyl-tensor'\n  | 'kretschmann-scalar';\n\n/** Discriminated-union entry per node-kind. */\ntype ValidatorEntry =\n  | { pattern: 'A'; validator: (node: never) => ValidatorResult }\n  | { pattern: 'B'; validator: (node: never, cb: RiemannChildCallback) => ValidatorResult }\n  | { pattern: 'C'; validator: (node: never) => ValidatorResult };\n\n/**\n * The registry. Indexed by `node.kind` for the 11 curvature/GR\n * arms; misses are handled by the caller (validator.ts's `infer()`\n * has a `default` arm for unknown kinds).\n */\nconst VALIDATOR_REGISTRY: { [K in RegistryKind]: ValidatorEntry } = {\n  // Pattern A — single-arg validator, propagate freeIndices.\n  'riemann-tensor':       { pattern: 'A', validator: validateRiemannTensor as (node: never) => ValidatorResult },\n  'killing-vector':       { pattern: 'A', validator: validateKillingVector as (node: never) => ValidatorResult },\n  'stress-energy':        { pattern: 'A', validator: validateStressEnergyTensor as (node: never) => ValidatorResult },\n  'einstein-equation':    { pattern: 'A', validator: validateEinsteinFieldEquation as (node: never) => ValidatorResult },\n  'weyl-tensor':          { pattern: 'A', validator: validateWeylTensor as (node: never) => ValidatorResult },\n\n  // Pattern B — two-arg validator with riemann-child callback, propagate freeIndices.\n  'ricci-tensor':         { pattern: 'B', validator: validateRicciTensor as (node: never, cb: RiemannChildCallback) => ValidatorResult },\n  'einstein-tensor':      { pattern: 'B', validator: validateEinsteinTensor as (node: never, cb: RiemannChildCallback) => ValidatorResult },\n  'bianchi-residual':     { pattern: 'B', validator: validateBianchiResidual as (node: never, cb: RiemannChildCallback) => ValidatorResult },\n\n  // Pattern C — single-arg validator, scalar (skip freeIndices merge).\n  'conserved-charge':     { pattern: 'C', validator: validateConservedCharge as (node: never) => ValidatorResult },\n  'cosmological-constant': { pattern: 'C', validator: validateCosmologicalConstant as (node: never) => ValidatorResult },\n  'kretschmann-scalar':   { pattern: 'C', validator: validateKretschmannScalar as (node: never) => ValidatorResult },\n};\n\n/**\n * Look up the registry entry for a node-kind, returning `undefined`\n * for kinds not covered by this registry (the caller falls through\n * to its own switch arms or the default exhaustiveness guard).\n */\nexport function lookupValidatorEntry(kind: string): ValidatorEntry | undefined {\n  return (VALIDATOR_REGISTRY as Record<string, ValidatorEntry>)[kind];\n}\n\n/**\n * Apply the registry-dispatched validator to a node. The caller\n * (validator.ts's `infer()`) is responsible for merging the returned\n * `freeIndices` into its context.\n *\n * Returns the validator's full result so the caller can decide\n * whether to merge or skip per the pattern tag. (Pattern C's result\n * still has a `freeIndices` field — empty Map — for shape uniformity;\n * the merge loop is a no-op rather than a missing field.)\n */\nexport function dispatchValidator(\n  entry: ValidatorEntry,\n  node: unknown,\n): ValidatorResult {\n  switch (entry.pattern) {\n    case 'A':\n      return entry.validator(node as never);\n    case 'B':\n      return entry.validator(node as never, riemannChildCallback);\n    case 'C':\n      return entry.validator(node as never);\n    default: {\n      // Exhaustiveness guard\n      const _exhaustive: never = entry;\n      void _exhaustive;\n      throw new Error(`validator-registry: unknown pattern in entry`);\n    }\n  }\n}\n\n/**\n * Returns true if the entry's pattern propagates freeIndices to the\n * parent context. Patterns A and B propagate; pattern C skips\n * (scalar result).\n */\nexport function shouldPropagateFreeIndices(entry: ValidatorEntry): boolean {\n  return entry.pattern === 'A' || entry.pattern === 'B';\n}\n"]}

package/dist/dimensional/validator.d.ts

@@ -38,22 +38,6 @@ export interface ValidationResult {
     }>;
     violations: Violation[];
 }
-/**
- * Per-bridge dimensional self-check report. Each `src/bridges/equations/`
- * module exports a `validate*Dimensions(): DimensionValidationReport` helper
- * that runs `validateEquation(LHS, RHS)` and returns LHS/RHS inferred dims
- * alongside the homogeneity verdict. Lifted here so the 9+ bridge modules
- * import a single shared shape rather than redeclaring it byte-for-byte.
- *
- * Source: simplifier F2 (Wave G), confidence 88. The interface satisfies
- * Karpathy's three extraction criteria — single semantic meaning, ≥9
- * consumers, future encodings will use it.
- */
-export interface DimensionValidationReport {
-    ok: boolean;
-    lhsDim: Dimension | null;
-    rhsDim: Dimension | null;
-}
 /**
  * Validate a single scalar/tensor `ExprNode`: infer its dimension and collect
  * any consistency violations. `ok` is true iff a dimension was inferred and no

package/dist/dimensional/validator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/dimensional/validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EACL,SAAS,EAEV,MAAM,YAAY,CAAC;AAqBpB,OAAO,KAAK,EACV,QAAQ,EAIR,gBAAgB,EAejB,MAAM,gBAAgB,CAAC;AAwBxB,YAAY,EACV,QAAQ,EACR,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,WAAW,EACX,QAAQ,EACR,IAAI,EACJ,gBAAgB,EAChB,kBAAkB,EAClB,2BAA2B,EAC3B,cAAc,EACd,UAAU,EACV,uBAAuB,EACvB,iBAAiB,EACjB,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,EACjB,mBAAmB,EACnB,sBAAsB,EACtB,wBAAwB,EACxB,yBAAyB,EACzB,cAAc,EACd,qBAAqB,GACtB,MAAM,gBAAgB,CAAC;AAExB,MAAM,WAAW,SAAS;IACxB,oEAAoE;IACpE,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,SAAS,CAAC;IACpB,MAAM,EAAE,SAAS,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb;8EAC0E;IAC1E,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CAChC;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,OAAO,CAAC;IACZ,iBAAiB,EAAE,SAAS,GAAG,IAAI,CAAC;IACpC;;qDAEiD;IACjD,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC3D,UAAU,EAAE,SAAS,EAAE,CAAC;CACzB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,yBAAyB;IACxC,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B;AAiqBD;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,gBAAgB,CASzD;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,SAAS,EAAE,CAUb;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,GAAG,gBAAgB,CA8C/E"}
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/dimensional/validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EACL,SAAS,EAEV,MAAM,YAAY,CAAC;AAqBpB,OAAO,KAAK,EACV,QAAQ,EAIR,gBAAgB,EAejB,MAAM,gBAAgB,CAAC;AAwBxB,YAAY,EACV,QAAQ,EACR,gBAAgB,EAChB,gBAAgB,EAChB,iBAAiB,EACjB,WAAW,EACX,QAAQ,EACR,IAAI,EACJ,gBAAgB,EAChB,kBAAkB,EAClB,2BAA2B,EAC3B,cAAc,EACd,UAAU,EACV,uBAAuB,EACvB,iBAAiB,EACjB,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,EACjB,mBAAmB,EACnB,sBAAsB,EACtB,wBAAwB,EACxB,yBAAyB,EACzB,cAAc,EACd,qBAAqB,GACtB,MAAM,gBAAgB,CAAC;AAExB,MAAM,WAAW,SAAS;IACxB,oEAAoE;IACpE,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,SAAS,CAAC;IACpB,MAAM,EAAE,SAAS,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb;8EAC0E;IAC1E,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CAChC;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,OAAO,CAAC;IACZ,iBAAiB,EAAE,SAAS,GAAG,IAAI,CAAC;IACpC;;qDAEiD;IACjD,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC3D,UAAU,EAAE,SAAS,EAAE,CAAC;CACzB;AAusBD;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,gBAAgB,CASzD;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,GACvB,SAAS,EAAE,CAUb;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,GAAG,gBAAgB,CA8C/E"}

package/dist/dimensional/validator.js

@@ -61,11 +61,9 @@ function formatFreeIndices(m) {
 }
 /**
  * Merge every `{label → counts}` entry from `source` into `target`,
- * overwriting any existing entry for the same label. v0.7.1 Phase 4
- * Task 4.3 — consolidates the eight `for (const [label, counts] of …)
- * target.set(label, counts)` instances across the `infer()` switch arms
- * into a single helper (callsites at lines 465, 527, 549, 563, 571, 581,
- * 591, 624 in pre-extraction validator.ts).
+ * overwriting any existing entry for the same label. One helper for the
+ * `for (const [label, counts] of …) target.set(label, counts)` loop that
+ * the `infer()` switch arms each used to carry.
  *
  * The semantics are an "overwrite-style" merge — child results are
  * authoritative when their labels collide with the parent context.
@@ -157,8 +155,7 @@ function resolveChildForContraction(node, parentCtx) {
  * `resolveChildForContraction` but returns role-aware result so the
  * pderiv validator can pass through `of.role` (Design §13 Q1).
  */
-function resolveChildForPartialDerivative(node, parentCtx) {
-    const typed = node;
+function resolveChildForPartialDerivative(typed, parentCtx) {
     if (typed.kind === 'tensor-symbol') {
         const result = validateTensorSymbol(typed);
         return { dim: result.dim, freeIndices: result.freeIndices, role: typed.role };
@@ -188,11 +185,34 @@ function resolveChildForPartialDerivative(node, parentCtx) {
  * Recursive dimension inference. On any sub-expression error we record a
  * violation, return `null`, and let parent ops propagate the null up.
  */
+/** A decimal literal: an optional sign, digits with an optional fraction, an optional exponent. */
+const DECIMAL_LITERAL = /^[+-]?(?:\d+\.?\d*|\.\d+)(?:[eE][+-]?\d+)?$/;
+/** The scalar operators an `op` node may carry; anything else is a violation, not a sum. */
+const SCALAR_OPS = new Set(['^', '*', '/', '+', '-']);
+/** The `TranscendentalFn` union, as a runtime set for a node built from JSON. */
+const TRANSCENDENTAL_FNS = new Set(['exp', 'ln', 'log2', 'log10', 'sin', 'cos', 'tan', 'sinh', 'cosh', 'tanh']);
+/**
+ * A literal exponent: a symbol whose name is a decimal literal and whose
+ * dimension is dimensionless. The name is the number; the dimension says it
+ * is a number and not a quantity that happens to be spelled with digits.
+ */
+function isLiteralExponent(node) {
+    return DECIMAL_LITERAL.test(node.name) && equals(node.dim, DIMENSIONLESS);
+}
 function infer(node, ctx) {
     switch (node.kind) {
         case 'symbol':
             return node.dim;
         case 'op': {
+            if (!SCALAR_OPS.has(node.op)) {
+                ctx.violations.push({
+                    location: ctx.path,
+                    expected: DIMENSIONLESS,
+                    actual: DIMENSIONLESS,
+                    note: `unknown operator '${String(node.op)}'; the operators are ^ * / + -`,
+                });
+                return null;
+            }
             if (node.op === '^') {
                 // a^n — base is an arbitrary expression. A numeric-literal exponent
                 // works on any base (power(baseDim, n)). A non-literal (input-dependent)
@@ -217,13 +237,24 @@ function infer(node, ctx) {
                 if (baseProbe.freeIndices.size > 0) {
                     throw new TensorInScalarOpError('^');
                 }
-                // Classify the exponent. A numeric-literal symbol keeps the existing
-                // behavior — it supports a DIMENSIONFUL base (e.g. c^3, r_s = …/c^2).
-                const isLiteralExp = !!expNode &&
-                    expNode.kind === 'symbol' &&
-                    Number.isFinite(Number(expNode.name));
-                if (isLiteralExp) {
-                    return power(baseDim, Number(expNode.name));
+                // Classify the exponent. A numeric-literal symbol supports a
+                // DIMENSIONFUL base (e.g. c^3, r_s = …/c^2). A literal is a decimal
+                // literal (`2`, `-1`, `0.5`, `1e-3`) carried by a DIMENSIONLESS
+                // symbol: `''`, `' '` and `'0x2'` are not literals, and a `2` that
+                // carries a dimension is a dimensioned exponent, which no base takes.
+                if (expNode !== undefined && expNode.kind === 'symbol' && isLiteralExponent(expNode)) {
+                    const n = Number(expNode.name);
+                    // `1e400` reads as Infinity and `1e-400` as 0: neither is the exponent written.
+                    if (!Number.isFinite(n) || (n === 0 && !/^[+-]?0*\.?0*(?:[eE][+-]?\d+)?$/.test(expNode.name))) {
+                        ctx.violations.push({
+                            location: ctx.path,
+                            expected: DIMENSIONLESS,
+                            actual: DIMENSIONLESS,
+                            note: `exponent '${expNode.name}' is not representable as a finite number`,
+                        });
+                        return null;
+                    }
+                    return power(baseDim, n);
                 }
                 // Non-literal (input-dependent) exponent. SOUND only when the base is
                 // DIMENSIONLESS: dimensionless^(dimensionless) = dimensionless, so the
@@ -258,7 +289,7 @@ function infer(node, ctx) {
                 if (expNode) {
                     const probeCtx = { path: joinPath(ctx.path, 'args[1]'), violations: [], freeIndices: new Map() };
                     const probed = infer(expNode, probeCtx);
-                    if (probed !== null && probed !== undefined && okFromViolations(probeCtx.violations)) {
+                    if (probed !== null && okFromViolations(probeCtx.violations)) {
                         actualDim = probed;
                     }
                 }
@@ -474,6 +505,15 @@ function infer(node, ctx) {
             return divide(divide(fnProbe.dim, phiProbe.dim), muProbe.dim);
         }
         case 'transcendental': {
+            if (!TRANSCENDENTAL_FNS.has(node.fn)) {
+                ctx.violations.push({
+                    location: ctx.path,
+                    expected: DIMENSIONLESS,
+                    actual: DIMENSIONLESS,
+                    note: `unknown transcendental function '${String(node.fn)}'; the functions are ${[...TRANSCENDENTAL_FNS].join(', ')}`,
+                });
+                return null;
+            }
             // exp/ln/logₙ/sin/cos/tan/sinh/cosh/tanh of a DIMENSIONLESS argument is
             // DIMENSIONLESS (the function's Taylor series only sums across like
             // dimensions when its argument is dimensionless). A dimensionful argument
@@ -545,17 +585,12 @@ function infer(node, ctx) {
             // shared ctx.freeIndices accumulator. This is what makes
             // (A·B)·C-style nested products correct: the inner product's dummy
             // indices stay scoped to the inner call.
-            try {
-                const result = computeContraction(node.args, (child) => resolveChildForContraction(child, ctx));
-                mergeFreeIndices(ctx.freeIndices, result.freeIndices);
-                return result.dim;
-            }
-            catch (err) {
-                // Errors from the contraction (IndexLabelCollisionError,
-                // VarianceMismatchError) are part of the public surface — propagate
-                // them so callers / tests can catch by type.
-                throw err;
-            }
+            // Errors from the contraction (IndexLabelCollisionError,
+            // VarianceMismatchError) are part of the public surface and propagate
+            // so callers / tests can catch by type.
+            const result = computeContraction(node.args, (child) => resolveChildForContraction(child, ctx));
+            mergeFreeIndices(ctx.freeIndices, result.freeIndices);
+            return result.dim;
         }
         case 'metric-tensor': {
             const { dim, freeIndices } = validateMetricTensor(node);
@@ -642,7 +677,8 @@ function okFromViolations(violations) {
 function isDimensionlessZeroLiteral(node) {
     if (node === undefined || node.kind !== 'symbol' || node.name.trim() === '')
         return false;
-    if (Number(node.name) !== 0)
+    // A decimal literal zero only: `0x0`, `0b0` and a blank are not the written identity.
+    if (!DECIMAL_LITERAL.test(node.name) || Number(node.name) !== 0)
         return false;
     const d = node.dim;
     return d.L === 0 && d.M === 0 && d.T === 0 && d.I === 0 && d.Theta === 0 && d.N === 0 && d.J === 0;
@@ -656,8 +692,8 @@ export function validate(expr) {
     const ctx = { path: '', violations: [], freeIndices: new Map() };
     const dim = infer(expr, ctx);
     return {
-        ok: okFromViolations(ctx.violations) && dim !== null && dim !== undefined,
-        inferredDimension: dim ?? null,
+        ok: okFromViolations(ctx.violations) && dim !== null,
+        inferredDimension: dim,
         freeIndices: ctx.freeIndices,
         violations: ctx.violations,
     };