aontu 0.51.0 → 0.52.0

package/dist/val/numcmp.js

@@ -0,0 +1,134 @@
+"use strict";
+/* Copyright (c) 2025 Richard Rodger, MIT License */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.scaledOfFloat = scaledOfFloat;
+exports.scaledOfNumeric = scaledOfNumeric;
+exports.cmpScaled = cmpScaled;
+exports.cmpNumeric = cmpNumeric;
+exports.cmpCodePoints = cmpCodePoints;
+exports.towerRank = towerRank;
+exports.scaledIsIntegral = scaledIsIntegral;
+exports.scaledFloor = scaledFloor;
+const F64 = new DataView(new ArrayBuffer(8));
+// The exact scaled-decimal value of a finite or infinite binary64.
+function scaledOfFloat(f) {
+    if (Number.isInteger(f) && Math.abs(f) <= Number.MAX_SAFE_INTEGER) {
+        return { unscaled: BigInt(f), scale: 0 };
+    }
+    if (Infinity === f) {
+        return { inf: 1, unscaled: 0n, scale: 0 };
+    }
+    if (-Infinity === f) {
+        return { inf: -1, unscaled: 0n, scale: 0 };
+    }
+    F64.setFloat64(0, f);
+    const hi = BigInt(F64.getUint32(0));
+    const lo = BigInt(F64.getUint32(4));
+    const bits = (hi << 32n) | lo;
+    const sign = (bits >> 63n) & 1n ? -1n : 1n;
+    const expBits = Number((bits >> 52n) & 0x7ffn);
+    const frac = bits & 0xfffffffffffffn;
+    // Normal: implicit leading bit, exponent bias 1023 plus the 52
+    // fraction bits. Subnormal: no implicit bit, fixed exponent -1074.
+    let mant;
+    let exp;
+    if (0 === expBits) {
+        mant = frac;
+        exp = -1074;
+    }
+    else {
+        mant = frac | (1n << 52n);
+        exp = expBits - 1075;
+    }
+    if (0 <= exp) {
+        return { unscaled: sign * (mant << BigInt(exp)), scale: 0 };
+    }
+    // mant * 2^-k == mant * 5^k / 10^k, exactly.
+    return { unscaled: sign * mant * 5n ** BigInt(-exp), scale: -exp };
+}
+// The exact scaled-decimal value of any numeric leaf Val.
+function scaledOfNumeric(v) {
+    if (v.isBigInteger) {
+        return { unscaled: v.peg, scale: 0 };
+    }
+    if (v.isBigDecimal) {
+        const d = v.peg;
+        return { unscaled: d.unscaled, scale: d.scale };
+    }
+    // integer and float leaves both hold a binary64.
+    return scaledOfFloat(v.peg);
+}
+function pow10(n) {
+    return 10n ** BigInt(n);
+}
+// Exact three-way comparison of two scaled decimals.
+function cmpScaled(a, b) {
+    const ai = a.inf ?? 0;
+    const bi = b.inf ?? 0;
+    if (0 !== ai || 0 !== bi) {
+        return ai < bi ? -1 : ai > bi ? 1 : 0;
+    }
+    let au = a.unscaled;
+    let bu = b.unscaled;
+    if (a.scale < b.scale) {
+        au *= pow10(b.scale - a.scale);
+    }
+    else if (b.scale < a.scale) {
+        bu *= pow10(a.scale - b.scale);
+    }
+    return au < bu ? -1 : au > bu ? 1 : 0;
+}
+// Exact three-way comparison of two numeric leaf Vals, any leaves.
+function cmpNumeric(a, b) {
+    return cmpScaled(scaledOfNumeric(a), scaledOfNumeric(b));
+}
+// Lexical comparison by Unicode CODE POINTS — not UTF-16 code units,
+// which order astral-plane text differently. Go compares strings
+// byte-wise in UTF-8, which IS code-point order, so this is the side
+// that must adapt (a Phase 0 decision, docs/reference-language.md).
+function cmpCodePoints(a, b) {
+    let ai = 0;
+    let bi = 0;
+    while (ai < a.length && bi < b.length) {
+        const ac = a.codePointAt(ai);
+        const bc = b.codePointAt(bi);
+        if (ac !== bc) {
+            return ac < bc ? -1 : 1;
+        }
+        ai += ac > 0xffff ? 2 : 1;
+        bi += bc > 0xffff ? 2 : 1;
+    }
+    const ar = a.length - ai;
+    const br = b.length - bi;
+    return ar < br ? -1 : ar > br ? 1 : 0;
+}
+// The tower order integer < float < biginteger < bigdecimal, used when
+// two endpoints at the SAME point meet: the survivor is the
+// tower-lowest spelling (docs/reference-language.md, bounds ruling 2).
+function towerRank(v) {
+    return v.isBigDecimal ? 3 : v.isBigInteger ? 2 :
+        v.isInteger ? 0 : 1;
+}
+// True when the scaled value is integral (an exact whole number).
+function scaledIsIntegral(s) {
+    if (s.inf) {
+        return false;
+    }
+    if (0 === s.scale) {
+        return true;
+    }
+    const p = pow10(s.scale);
+    return 0n === s.unscaled % p;
+}
+// The exact floor of a scaled value, as a bigint. Infinite inputs are
+// the caller's job to exclude.
+function scaledFloor(s) {
+    if (0 === s.scale) {
+        return s.unscaled;
+    }
+    const p = pow10(s.scale);
+    const q = s.unscaled / p;
+    // BigInt division truncates toward zero; floor rounds down.
+    return (s.unscaled < 0n && 0n !== s.unscaled % p) ? q - 1n : q;
+} /* node:coverage ignore next 14 */
+//# sourceMappingURL=numcmp.js.map

package/dist/val/numcmp.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"numcmp.js","sourceRoot":"","sources":["../../src/val/numcmp.ts"],"names":[],"mappings":";AAAA,oDAAoD;;QAoLlD,aAAa;QACb,eAAe;QACf,SAAS;QACT,UAAU;QACV,aAAa;QACb,SAAS;QACT,gBAAgB;QAChB,WAAW;AA3Jb,MAAM,GAAG,GAAG,IAAI,QAAQ,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;AAG5C,mEAAmE;AACnE,SAAS,aAAa,CAAC,CAAS;IAC9B,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAClE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;IAC1C,CAAC;IACD,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;IAC3C,CAAC;IACD,IAAI,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;IAC5C,CAAC;IAED,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACpB,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IACnC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IACnC,MAAM,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAA;IAE7B,MAAM,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAC1C,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,CAAA;IAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,gBAAgB,CAAA;IAEpC,+DAA+D;IAC/D,mEAAmE;IACnE,IAAI,IAAY,CAAA;IAChB,IAAI,GAAW,CAAA;IACf,IAAI,CAAC,KAAK,OAAO,EAAE,CAAC;QAClB,IAAI,GAAG,IAAI,CAAA;QACX,GAAG,GAAG,CAAC,IAAI,CAAA;IACb,CAAC;SACI,CAAC;QACJ,IAAI,GAAG,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,CAAA;QACzB,GAAG,GAAG,OAAO,GAAG,IAAI,CAAA;IACtB,CAAC;IAED,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;IAC7D,CAAC;IACD,6CAA6C;IAC7C,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,EAAE,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,CAAA;AACpE,CAAC;AAGD,0DAA0D;AAC1D,SAAS,eAAe,CAAC,CAAM;IAC7B,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;QACnB,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAa,EAAE,KAAK,EAAE,CAAC,EAAE,CAAA;IAChD,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAc,CAAA;QAC1B,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAA;IACjD,CAAC;IACD,iDAAiD;IACjD,OAAO,aAAa,CAAC,CAAC,CAAC,GAAa,CAAC,CAAA;AACvC,CAAC;AAGD,SAAS,KAAK,CAAC,CAAS;IACtB,OAAO,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,CAAA;AACzB,CAAC;AAGD,qDAAqD;AACrD,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS;IACrC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAA;IACrB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAA;IACrB,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;QACzB,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACvC,CAAC;IACD,IAAI,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAA;IACnB,IAAI,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAA;IACnB,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACtB,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAA;IAChC,CAAC;SACI,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QAC3B,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAA;IAChC,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACvC,CAAC;AAGD,mEAAmE;AACnE,SAAS,UAAU,CAAC,CAAM,EAAE,CAAM;IAChC,OAAO,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAA;AAC1D,CAAC;AAGD,qEAAqE;AACrE,iEAAiE;AACjE,qEAAqE;AACrE,oEAAoE;AACpE,SAAS,aAAa,CAAC,CAAS,EAAE,CAAS;IACzC,IAAI,EAAE,GAAG,CAAC,CAAA;IACV,IAAI,EAAE,GAAG,CAAC,CAAA;IACV,OAAO,EAAE,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,EAAE,CAAW,CAAA;QACtC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,EAAE,CAAW,CAAA;QACtC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACd,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACzB,CAAC;QACD,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACzB,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3B,CAAC;IACD,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,GAAG,EAAE,CAAA;IACxB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,GAAG,EAAE,CAAA;IACxB,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACvC,CAAC;AAGD,uEAAuE;AACvE,4DAA4D;AAC5D,uEAAuE;AACvE,SAAS,SAAS,CAAC,CAAM;IACvB,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACvB,CAAC;AAGD,kEAAkE;AAClE,SAAS,gBAAgB,CAAC,CAAS;IACjC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;QACV,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;QAClB,OAAO,IAAI,CAAA;IACb,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IACxB,OAAO,EAAE,KAAK,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAA;AAC9B,CAAC;AAGD,sEAAsE;AACtE,+BAA+B;AAC/B,SAAS,WAAW,CAAC,CAAS;IAC5B,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;QAClB,OAAO,CAAC,CAAC,QAAQ,CAAA;IACnB,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IACxB,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAA;IACxB,4DAA4D;IAC5D,OAAO,CAAC,CAAC,CAAC,QAAQ,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;AAChE,CAAC,CAAC,kCAAkC"}

package/dist/val/numkind.js

@@ -220,5 +220,5 @@ function stripSep(s) {
 // select on kind, not merely on the peg being a JS number.
 function integerDigits(peg) {
     return BigInt(peg).toString();
-}
+} /* node:coverage ignore next 13 */
 //# sourceMappingURL=numkind.js.map

package/dist/val/numkind.js.map

@@ -1 +1 @@
-{"version":3,"file":"numkind.js","sourceRoot":"","sources":["../../src/val/numkind.ts"],"names":[],"mappings":";AAAA,oDAAoD;;QA0PlD,aAAa;QACb,iBAAiB;QACjB,aAAa;QACb,iBAAiB;QACjB,qBAAqB;AA5PvB;;;;;;;;;;GAUG;AAGH,oEAAoE;AACpE,wEAAwE;AACxE,oEAAoE;AACpE,iBAAiB;AACjB,MAAM,SAAS,GAAG,CAAC,qBAAqB,CAAA;AACxC,MAAM,WAAW,GAAG,qBAAqB,CAAA;AAGzC,uEAAuE;AACvE,aAAa;AACb,4DAA4D;AAC5D,8BAA8B;AAC9B,8CAA8C;AAC9C,EAAE;AACF,sEAAsE;AACtE,yEAAyE;AACzE,wEAAwE;AACxE,sEAAsE;AACtE,EAAE;AACF,oEAAoE;AACpE,oEAAoE;AACpE,+CAA+C;AAC/C,SAAS,aAAa,CAAC,CAAS,EAAE,GAAY;IAC5C,IAAI,IAAI,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO,KAAK,CAAA;IACd,CAAC;IACD,8DAA8D;IAC9D,iDAAiD;IACjD,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,IAAI,CAAC,IAAI,CAAC,GAAG,WAAW,CAAA;AACjE,CAAC;AAGD,mEAAmE;AACnE,kDAAkD;AAClD,MAAM,eAAe,GAAG,CAAC,oBAAoB,CAAA;AAC7C,MAAM,iBAAiB,GAAG,oBAAoB,CAAA;AAG9C,8DAA8D;AAC9D,EAAE;AACF,sEAAsE;AACtE,wEAAwE;AACxE,mEAAmE;AACnE,kEAAkE;AAClE,EAAE;AACF,yEAAyE;AACzE,sEAAsE;AACtE,sEAAsE;AACtE,oEAAoE;AACpE,wEAAwE;AACxE,mEAAmE;AACnE,wCAAwC;AACxC,EAAE;AACF,wEAAwE;AACxE,sEAAsE;AACtE,6CAA6C;AAC7C,SAAS,iBAAiB,CAAC,CAAS;IAClC,OAAO,eAAe,IAAI,CAAC,IAAI,CAAC,GAAG,iBAAiB;QAClD,iBAAiB,CAAC,CAAC,CAAC,CAAA;AACxB,CAAC;AAGD,sEAAsE;AACtE,kEAAkE;AAClE,EAAE;AACF,wEAAwE;AACxE,yEAAyE;AACzE,qEAAqE;AACrE,uEAAuE;AACvE,qEAAqE;AACrE,uDAAuD;AACvD,EAAE;AACF,kEAAkE;AAClE,uEAAuE;AACvE,+BAA+B;AAC/B,EAAE;AACF,wEAAwE;AACxE,wEAAwE;AACxE,iEAAiE;AACjE,qEAAqE;AACrE,SAAS,iBAAiB,CAAC,CAAS;IAClC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;IACnB,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;AAC9C,CAAC;AAGD,4CAA4C;AAC5C,EAAE;AACF,wEAAwE;AACxE,iEAAiE;AACjE,wEAAwE;AACxE,kEAAkE;AAClE,EAAE;AACF,qEAAqE;AACrE,4BAA4B;AAC5B,EAAE;AACF,qEAAqE;AACrE,sBAAsB;AACtB,iDAAiD;AACjD,yEAAyE;AACzE,0BAA0B;AAC1B,EAAE;AACF,qEAAqE;AACrE,yEAAyE;AACzE,yEAAyE;AACzE,yEAAyE;AACzE,sEAAsE;AACtE,yEAAyE;AACzE,gBAAgB;AAChB,EAAE;AACF,wEAAwE;AACxE,uEAAuE;AACvE,wEAAwE;AACxE,oEAAoE;AACpE,mBAAmB;AACnB,SAAS,qBAAqB,CAAC,CAAS,EAAE,GAAY;IACpD,sEAAsE;IACtE,mEAAmE;IACnE,8DAA8D;IAC9D,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;QAChB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,mEAAmE;IACnE,sEAAsE;IACtE,mEAAmE;IACnE,mEAAmE;IACnE,uEAAuE;IACvE,uEAAuE;IACvE,iEAAiE;IACjE,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC;QACnD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,sEAAsE;IACtE,oEAAoE;IACpE,yCAAyC;IACzC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAA;IACd,CAAC;IAED,IAAI,KAAa,CAAA;IAEjB,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACxC,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;QAChB,kEAAkE;QAClE,MAAM,GAAG,GAAG,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACzD,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,OAAO,KAAK,CAAA;QACd,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACtC,oEAAoE;QACpE,4DAA4D;QAC5D,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YACjB,OAAO,KAAK,CAAA;QACd,CAAC;QACD,mEAAmE;QACnE,+DAA+D;QAC/D,IAAI,YAAY,GAAG,GAAG,EAAE,CAAC;YACvB,OAAO,IAAI,CAAA;QACb,CAAC;QACD,KAAK,GAAG,KAAK,GAAG,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAA;IACpC,CAAC;SACI,CAAC;QACJ,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC1C,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,OAAO,KAAK,CAAA;QACd,CAAC;QACD,KAAK,GAAG,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACjE,CAAC;IAED,uEAAuE;IACvE,sEAAsE;IACtE,sBAAsB;IACtB,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAA;AAClC,CAAC;AAGD,oEAAoE;AACpE,sEAAsE;AACtE,MAAM,kBAAkB,GACtB,+DAA+D,CAAA;AAEjE,oEAAoE;AACpE,uEAAuE;AACvE,+DAA+D;AAC/D,MAAM,mBAAmB,GACvB,qDAAqD,CAAA;AAEvD,qEAAqE;AACrE,0DAA0D;AAC1D,MAAM,YAAY,GAAG,GAAG,CAAA;AAExB,iEAAiE;AACjE,uEAAuE;AACvE,MAAM,KAAK,GAAG,gBAAgB,CAAA;AAG9B,SAAS,QAAQ,CAAC,CAAS;IACzB,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;AACxD,CAAC;AAGD,yEAAyE;AACzE,4EAA4E;AAC5E,qDAAqD;AACrD,EAAE;AACF,mEAAmE;AACnE,qEAAqE;AACrE,wEAAwE;AACxE,4EAA4E;AAC5E,0EAA0E;AAC1E,qEAAqE;AACrE,kEAAkE;AAClE,wEAAwE;AACxE,yEAAyE;AACzE,gEAAgE;AAChE,EAAE;AACF,4EAA4E;AAC5E,mEAAmE;AACnE,4EAA4E;AAC5E,qEAAqE;AACrE,gDAAgD;AAChD,EAAE;AACF,sEAAsE;AACtE,uEAAuE;AACvE,2DAA2D;AAC3D,SAAS,aAAa,CAAC,GAAW;IAChC,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAA;AAC/B,CAAC"}
+{"version":3,"file":"numkind.js","sourceRoot":"","sources":["../../src/val/numkind.ts"],"names":[],"mappings":";AAAA,oDAAoD;;QA0PlD,aAAa;QACb,iBAAiB;QACjB,aAAa;QACb,iBAAiB;QACjB,qBAAqB;AA5PvB;;;;;;;;;;GAUG;AAGH,oEAAoE;AACpE,wEAAwE;AACxE,oEAAoE;AACpE,iBAAiB;AACjB,MAAM,SAAS,GAAG,CAAC,qBAAqB,CAAA;AACxC,MAAM,WAAW,GAAG,qBAAqB,CAAA;AAGzC,uEAAuE;AACvE,aAAa;AACb,4DAA4D;AAC5D,8BAA8B;AAC9B,8CAA8C;AAC9C,EAAE;AACF,sEAAsE;AACtE,yEAAyE;AACzE,wEAAwE;AACxE,sEAAsE;AACtE,EAAE;AACF,oEAAoE;AACpE,oEAAoE;AACpE,+CAA+C;AAC/C,SAAS,aAAa,CAAC,CAAS,EAAE,GAAY;IAC5C,IAAI,IAAI,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO,KAAK,CAAA;IACd,CAAC;IACD,8DAA8D;IAC9D,iDAAiD;IACjD,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,IAAI,CAAC,IAAI,CAAC,GAAG,WAAW,CAAA;AACjE,CAAC;AAGD,mEAAmE;AACnE,kDAAkD;AAClD,MAAM,eAAe,GAAG,CAAC,oBAAoB,CAAA;AAC7C,MAAM,iBAAiB,GAAG,oBAAoB,CAAA;AAG9C,8DAA8D;AAC9D,EAAE;AACF,sEAAsE;AACtE,wEAAwE;AACxE,mEAAmE;AACnE,kEAAkE;AAClE,EAAE;AACF,yEAAyE;AACzE,sEAAsE;AACtE,sEAAsE;AACtE,oEAAoE;AACpE,wEAAwE;AACxE,mEAAmE;AACnE,wCAAwC;AACxC,EAAE;AACF,wEAAwE;AACxE,sEAAsE;AACtE,6CAA6C;AAC7C,SAAS,iBAAiB,CAAC,CAAS;IAClC,OAAO,eAAe,IAAI,CAAC,IAAI,CAAC,GAAG,iBAAiB;QAClD,iBAAiB,CAAC,CAAC,CAAC,CAAA;AACxB,CAAC;AAGD,sEAAsE;AACtE,kEAAkE;AAClE,EAAE;AACF,wEAAwE;AACxE,yEAAyE;AACzE,qEAAqE;AACrE,uEAAuE;AACvE,qEAAqE;AACrE,uDAAuD;AACvD,EAAE;AACF,kEAAkE;AAClE,uEAAuE;AACvE,+BAA+B;AAC/B,EAAE;AACF,wEAAwE;AACxE,wEAAwE;AACxE,iEAAiE;AACjE,qEAAqE;AACrE,SAAS,iBAAiB,CAAC,CAAS;IAClC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;IACnB,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;AAC9C,CAAC;AAGD,4CAA4C;AAC5C,EAAE;AACF,wEAAwE;AACxE,iEAAiE;AACjE,wEAAwE;AACxE,kEAAkE;AAClE,EAAE;AACF,qEAAqE;AACrE,4BAA4B;AAC5B,EAAE;AACF,qEAAqE;AACrE,sBAAsB;AACtB,iDAAiD;AACjD,yEAAyE;AACzE,0BAA0B;AAC1B,EAAE;AACF,qEAAqE;AACrE,yEAAyE;AACzE,yEAAyE;AACzE,yEAAyE;AACzE,sEAAsE;AACtE,yEAAyE;AACzE,gBAAgB;AAChB,EAAE;AACF,wEAAwE;AACxE,uEAAuE;AACvE,wEAAwE;AACxE,oEAAoE;AACpE,mBAAmB;AACnB,SAAS,qBAAqB,CAAC,CAAS,EAAE,GAAY;IACpD,sEAAsE;IACtE,mEAAmE;IACnE,8DAA8D;IAC9D,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;QAChB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,mEAAmE;IACnE,sEAAsE;IACtE,mEAAmE;IACnE,mEAAmE;IACnE,uEAAuE;IACvE,uEAAuE;IACvE,iEAAiE;IACjE,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC;QACnD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,sEAAsE;IACtE,oEAAoE;IACpE,yCAAyC;IACzC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAA;IACd,CAAC;IAED,IAAI,KAAa,CAAA;IAEjB,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACxC,IAAI,IAAI,IAAI,GAAG,EAAE,CAAC;QAChB,kEAAkE;QAClE,MAAM,GAAG,GAAG,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACzD,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,OAAO,KAAK,CAAA;QACd,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACtC,oEAAoE;QACpE,4DAA4D;QAC5D,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YACjB,OAAO,KAAK,CAAA;QACd,CAAC;QACD,mEAAmE;QACnE,+DAA+D;QAC/D,IAAI,YAAY,GAAG,GAAG,EAAE,CAAC;YACvB,OAAO,IAAI,CAAA;QACb,CAAC;QACD,KAAK,GAAG,KAAK,GAAG,GAAG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAA;IACpC,CAAC;SACI,CAAC;QACJ,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC1C,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;YACjB,OAAO,KAAK,CAAA;QACd,CAAC;QACD,KAAK,GAAG,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACjE,CAAC;IAED,uEAAuE;IACvE,sEAAsE;IACtE,sBAAsB;IACtB,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAA;AAClC,CAAC;AAGD,oEAAoE;AACpE,sEAAsE;AACtE,MAAM,kBAAkB,GACtB,+DAA+D,CAAA;AAEjE,oEAAoE;AACpE,uEAAuE;AACvE,+DAA+D;AAC/D,MAAM,mBAAmB,GACvB,qDAAqD,CAAA;AAEvD,qEAAqE;AACrE,0DAA0D;AAC1D,MAAM,YAAY,GAAG,GAAG,CAAA;AAExB,iEAAiE;AACjE,uEAAuE;AACvE,MAAM,KAAK,GAAG,gBAAgB,CAAA;AAG9B,SAAS,QAAQ,CAAC,CAAS;IACzB,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;AACxD,CAAC;AAGD,yEAAyE;AACzE,4EAA4E;AAC5E,qDAAqD;AACrD,EAAE;AACF,mEAAmE;AACnE,qEAAqE;AACrE,wEAAwE;AACxE,4EAA4E;AAC5E,0EAA0E;AAC1E,qEAAqE;AACrE,kEAAkE;AAClE,wEAAwE;AACxE,yEAAyE;AACzE,gEAAgE;AAChE,EAAE;AACF,4EAA4E;AAC5E,mEAAmE;AACnE,4EAA4E;AAC5E,qEAAqE;AACrE,gDAAgD;AAChD,EAAE;AACF,sEAAsE;AACtE,uEAAuE;AACvE,2DAA2D;AAC3D,SAAS,aAAa,CAAC,GAAW;IAChC,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAA;AAC/B,CAAC,CAAC,kCAAkC"}

package/package.json

@@ -1,12 +1,12 @@
 {
   "name": "aontu",
-  "version": "0.51.0",
+  "version": "0.52.0",
   "main": "dist/aontu.js",
   "type": "commonjs",
   "types": "dist/aontu.d.ts",
   "bin": {
-    "aontu": "dist/cli.js",
-    "aontu-lsp": "dist/lsp-server.js"
+    "aontu": "bin/aontu.js",
+    "aontu-lsp": "bin/aontu-lsp.js"
   },
   "description": "Unifier.",
   "homepage": "https://github.com/rjrodger/aontu",
@@ -20,7 +20,8 @@
   },
   "scripts": {
     "test": "node --enable-source-maps --test \"dist-test/**/*.test.js\"",
-    "test-cov": "node --enable-source-maps --experimental-test-coverage --test \"dist-test/**/*.test.js\"",
+    "test-cov": "node --enable-source-maps --experimental-test-coverage --test-coverage-exclude=\"dist-test/**\" --test-coverage-exclude=\"test/**\" --test-coverage-exclude=\"bin/**\" --test \"dist-test/**/*.test.js\"",
+    "test-cov-check": "node test/covrun.js",
     "test-some": "node --enable-source-maps --test-name-pattern=\"$TEST_PATTERN\" --test \"dist-test/**/*.test.js\"",
     "watch": "tsc --build src test -w",
     "build": "tsc --build src test",
@@ -42,6 +43,7 @@
     "node": ">=24"
   },
   "files": [
+    "bin",
     "src",
     "dist",
     "LICENSE"

package/src/aontu.ts

@@ -22,7 +22,7 @@ import { makeNilErr, descErr, AontuError } from './err'
 // Kept in step with package.json by the `version` npm lifecycle script,
 // which runs on `npm version` / `npm run repo-bump`. version.test.ts
 // fails if the two ever drift.
-const VERSION = '0.51.0'
+const VERSION = '0.52.0'
 
 
 class Aontu {
@@ -108,15 +108,11 @@ class Aontu {
       let uni = new Unify(pval, this.lang, ac, src)
       errs = uni.err
 
+      // Never nullish: Unify.res starts as the root Val, unite() returns a
+      // Val on every arm, and its catch-all turns a throwing node into an
+      // 'internal' NilVal.
       out = uni.res
 
-      if (null == out) {
-        out = makeNilErr(ac, 'unify_no_res')
-        if (0 === errs.length) {
-          errs = [out]
-        }
-      }
-
       out.deps = pval.deps
       out.err = errs
       ac.root = out

package/src/cli.ts

@@ -1,4 +1,3 @@
-#!/usr/bin/env node
 /* Copyright (c) 2025 Richard Rodger, MIT License */
 
 // Command-line interface for Aontu.
@@ -9,9 +8,11 @@
 // With no file on an interactive terminal, a REPL is started. With no
 // file and piped input, the source is read from stdin. See HELP below.
 
-import * as Fs from 'node:fs'
-import * as Path from 'node:path'
-import * as Readline from 'node:readline'
+// Named imports, not `import * as`: the namespace form makes tsc emit the
+// __importStar downlevel helper, whose branches no supported Node takes.
+import { readFileSync } from 'node:fs'
+import { join, resolve } from 'node:path'
+import { createInterface } from 'node:readline'
 
 import { Aontu, AontuError, exactJSON } from './aontu'
 
@@ -40,7 +41,7 @@ REPL commands:
 
 function version(): string {
   try {
-    const txt = Fs.readFileSync(Path.join(__dirname, '..', 'package.json'), 'utf8')
+    const txt = readFileSync(join(__dirname, '..', 'package.json'), 'utf8')
     return JSON.parse(txt).version ?? '0.0.0'
   }
   catch {
@@ -80,14 +81,14 @@ function evalSource(
 function runFile(file: string, mode: Mode): number {
   let src: string
   try {
-    src = Fs.readFileSync(file, 'utf8')
+    src = readFileSync(file, 'utf8')
   }
   catch (err: any) {
     process.stderr.write(`aontu: cannot read ${file}: ${err.message}\n`)
     return 1
   }
 
-  const aontu = new Aontu({ path: Path.resolve(file) })
+  const aontu = new Aontu({ path: resolve(file) })
   const res = evalSource(aontu, src, mode)
   ;(res.ok ? process.stdout : process.stderr).write(res.text + '\n')
   return res.ok ? 0 : 1
@@ -111,7 +112,7 @@ function runStdin(mode: Mode): Promise<number> {
 function runRepl(initialMode: Mode): void {
   let mode = initialMode
   const aontu = new Aontu()
-  const rl = Readline.createInterface({
+  const rl = createInterface({
     input: process.stdin,
     output: process.stdout,
     prompt: 'aontu> ',
@@ -209,13 +210,11 @@ function main(argv: string[]): void {
   else {
     runStdin(mode).then((code) => finish(code))
   }
-}
+} /* node:coverage ignore next 8 */
 
 
-// Only run when invoked as a program, not when imported (e.g. by tests).
-if (require.main === module) {
-  main(process.argv)
-}
+// No require.main guard here: bin/aontu.js is the executable entry and
+// calls main(process.argv) itself, so this module stays import-only.
 
 
 export { evalSource, main }

package/src/ctx.ts

@@ -285,7 +285,7 @@ class AontuContext {
     return this._pathstr ??
       (this._pathstr = this.path.map(p => p.replaceAll('.', '\\.')).join('.'))
   }
-}
+} /* node:coverage ignore next 8 */
 
 
 

package/src/err.ts

@@ -66,7 +66,8 @@ function descErr<NILS extends NilVal | NilVal[]>(
 
       let path = ['$', ...err.path].filter((p: any) => null != p && '' != p)
 
-      let valpath = (0 < path.length ? path.join('.') : '')
+      // '$' is neither null nor '', so the filter always leaves it.
+      let valpath = path.join('.')
       let attempt = null != err.attempt ? err.attempt : (null == v2 ? 'resolve' : 'unify')
 
       const details = err.details
@@ -200,7 +201,7 @@ class AontuError extends Error {
   }
 
   errs: () => NilVal[]
-}
+} /* node:coverage ignore next 9 */
 
 
 export {

package/src/exactjson.ts

@@ -246,7 +246,7 @@ function emit(v: any, unit: string, pad: string, seen: Set<any>): string {
  */
 function exactJSON(value: any, indent?: number | string): string {
   return emit(value, indentUnit(indent), '', new Set())
-}
+} /* node:coverage ignore next 6 */
 
 
 export {

package/src/hints.ts

@@ -61,6 +61,26 @@ const hints: Record<string, string> = {
 
   unify_cycle: 'Circular reference detected during unification.',
 
+  constraint:
+    'This value does not satisfy the constraint. A constraint is the\n' +
+    'meet of bound atoms (min, max, above, below) and exclusions (neq)\n' +
+    'over one domain; the expected form shown is the normalised\n' +
+    'residual the value must satisfy.' +
+    '\n \nExamples:\n' +
+    '  min(0) & 3                    -> 3    # Admitted (3 >= 0);\n' +
+    '  min(0) & 0d5                  -> 0d5  # Bounds are leaf-agnostic;\n' +
+    '  max(65535) & 99999            -> nil  # Above the bound;\n' +
+    '  min(5) & max(3)               -> nil  # Empty at composition time;\n' +
+    '  integer & above(1) & below(2) -> nil  # No integer in the gap;\n' +
+    '  neq(1) & 1.0                  -> 1.0  # neq excludes leaf AND value.',
+
+  budget_passes:
+    'The evaluation budget of {limit} fixpoint passes was spent before\n' +
+    'the model converged; still refining: {paths}.\n' +
+    'This is the evaluator giving up, not a contradiction in the model:\n' +
+    'raising the budget helps only a model that is still converging --\n' +
+    'a genuine cycle never converges at any budget.',
+
   conjunct:
     'This conjunction (& operator) could not be completed as some terms\n' +
     'could not be resolved.',
@@ -201,6 +221,126 @@ const hints: Record<string, string> = {
 }
 
 
+// codeClasses assigns every error code a CLASS: conflict | incomplete |
+// reference | parse | budget | internal. The contract lives in
+// test/spec/errcodes.tsv (mode `errcode`): the spec suite executes one
+// row per code against this table and asserts SET EQUALITY between the
+// file and these keys, in both implementations (go/hints.go mirrors
+// this map exactly). Codes are append-only and never renamed; a class
+// change is a breaking change. Class rulings (why decimal_budget and
+// lossy_integer_literal are conflict, not budget; why unknown_function
+// is reference) are documented in the tsv header.
+const codeClasses: Record<string, string> = {
+  // parse -- the source text is malformed or unusable
+  parse: 'parse',
+  syntax: 'parse',
+  parse_unknown: 'parse',
+  parse_bad_src: 'parse',
+  unify_no_src: 'parse',
+  incomplete_expression: 'parse',
+  not_number: 'parse',
+  negative: 'parse',
+  decimal_syntax: 'parse',
+
+  // conflict -- no common lower bound, or a value refused by a rule
+  // (constraint covers the whole algebra family: membership failure,
+  // empty meets at composition time, and domain/kind mixing.)
+  constraint: 'conflict',
+  scalar_value: 'conflict',
+  scalar_kind: 'conflict',
+  no_scalar_unify: 'conflict',
+  'scalar-type': 'conflict',
+  'not-scalar-type': 'conflict',
+  map: 'conflict',
+  list: 'conflict',
+  closed: 'conflict',
+  literal_nil: 'conflict',
+  nil_gen: 'conflict',
+  unite: 'conflict',
+  '|:empty': 'conflict',
+  '|:empty-dist': 'conflict',
+  exact_float_mix: 'conflict',
+  inexact_integer_sum: 'conflict',
+  decimal_budget: 'conflict',
+  lossy_integer_literal: 'conflict',
+  arg: 'conflict',
+  'invalid-arg': 'conflict',
+  no_first_arg: 'conflict',
+  key_level: 'conflict',
+  func: 'conflict',
+  'func:': 'conflict',
+  op: 'conflict',
+  'op:': 'conflict',
+  'op[': 'conflict',
+  make: 'conflict',
+  resolve: 'conflict',
+  operate: 'conflict',
+  close: 'conflict',
+
+  // incomplete -- residue: the truth requires more than was supplied
+  no_gen: 'incomplete',
+  conjunct: 'incomplete',
+  mapval_no_gen: 'incomplete',
+  mapval_required: 'incomplete',
+  mapval_spread_required: 'incomplete',
+  listval_no_gen: 'incomplete',
+  listval_required: 'incomplete',
+  listval_spread_required: 'incomplete',
+  required_listelem: 'incomplete',
+
+  // reference -- a name or path that does not resolve
+  no_path: 'reference',
+  // A PROVEN structural cycle is a defect of the model, not a spent
+  // evaluation bound: raising a budget never fixes it (G5's ruling --
+  // class budget means "retry with more may help", path_cycle means
+  // "fix the model").
+  path_cycle: 'reference',
+  ref: 'reference',
+  'ref[': 'reference',
+  var: 'reference',
+  'var[': 'reference',
+  unknown_var: 'reference',
+  invalid_var_kind: 'reference',
+  unknown_function: 'reference',
+  multisource_not_found: 'reference',
+
+  // budget -- an evaluation bound was exceeded
+  unify_cycle: 'budget',
+  max_depth: 'budget',
+  budget_passes: 'budget',
+
+  // internal -- the engine reached a state it should not reach
+  internal: 'internal',
+  unify_no_res: 'internal',
+  unknown_op: 'internal',
+}
+
+
+// Dynamic-prefix families: the engine appends a name or value to these
+// (e.g. `func:upper`, `op:+`, `var[string]`, `ref[$.x]`, `op[+]`), so
+// class lookup falls back to the registered prefix.
+const CODE_PREFIXES = ['func:', 'op:', 'op[', 'var[', 'ref[']
+
+
+// The class of an error code: an exact registry entry, else the
+// registered dynamic prefix it extends, else `internal` -- an
+// unregistered code is an engine defect, not a user error.
+function codeClass(code: string): string {
+  const cls = codeClasses[code]
+  if (null != cls) {
+    return cls
+  }
+  for (const prefix of CODE_PREFIXES) {
+    if (code.startsWith(prefix)) {
+      return codeClasses[prefix]
+    }
+  }
+  return 'internal'
+} /* node:coverage ignore next 8 */
+
+
 export {
   hints,
+  codeClasses,
+  codeClass,
 }

package/src/keyorder.ts

@@ -65,7 +65,7 @@ function cmpCodePoint(a: string, b: string): number {
       return xc < yc ? -1 : 1
     }
   }
-}
+} /* node:coverage ignore next 6 */
 
 
 export {