universal-physics-tensor 7.0.0 → 9.0.0

package/dist/dimensional/unit-data.d.ts

@@ -0,0 +1,70 @@
+/**
+ * The unit table, loaded from `data/units.json` and validated once.
+ *
+ * The file is checked against `data/units.schema.json` when this module
+ * loads (`core/data-file`), then against the rules a schema cannot state:
+ * every scale expression reads, a symbol is spelled by one row, a refused
+ * spelling and an affine spelling are not also a unit, every prefix letter is
+ * both a prefix and a unit, and every `{NAME}` in a note is a constant. A
+ * file that breaks one throws here, so `units.ts` never reads a half-valid table.
+ *
+ * A scale is an exact expression, read by `exact-scale.ts`. A name in it is a
+ * shared scale from the file's `scales`, `pi`, or a constant under its registry
+ * spelling (`c`, `e`, `m_u`, `M_sun`, `Msun_iau`, `ln2`; `constant-rows.ts`),
+ * the same spelling a `{NAME}` note placeholder uses. A constant is read through
+ * its shortest decimal (`scaleOf`), or as the irrational factor when its row is
+ * `irrational`. A shared scale may not reuse a constant's spelling, so a name
+ * has one meaning. The raw rows are strings and integer exponents, so another
+ * exact reader (MathTS) replaces this loader without touching the file.
+ *
+ * @module dimensional/unit-data
+ */
+import type { JsonSchema } from '../core/json-schema.js';
+import type { Dimension } from './types.js';
+import { type ExactScale } from './exact-scale.js';
+/** One unit symbol, read exactly. @internal */
+export interface UnitRow {
+    /** Exact scale to SI base units. */
+    readonly scale: ExactScale;
+    readonly dim: Dimension;
+    /** Takes an SI prefix. */
+    readonly prefixable: boolean;
+    /**
+     * The unit counts cycles (turns), not radians. An angular-frequency input in
+     * rad/s takes 2π per cycle; the radian itself does not.
+     */
+    readonly cycles?: true;
+}
+/** One affine temperature scale, read exactly. @internal */
+export interface AffineRow {
+    readonly id: string;
+    /** Kelvin per degree, exactly. */
+    readonly scale: ExactScale;
+    /** The reading at the ice point (0 °C, 273.15 K), exactly. */
+    readonly icePoint: ExactScale;
+    readonly symbols: readonly string[];
+}
+/** The unit table `units.ts` reads. @internal */
+export interface UnitTableData {
+    readonly units: ReadonlyMap<string, UnitRow>;
+    readonly prefixes: ReadonlyMap<string, ExactScale>;
+    /** Refused spelling → the message it prints. */
+    readonly refused: ReadonlyMap<string, string>;
+    readonly prefixLetterUnits: ReadonlySet<string>;
+    /** Kelvin at 0 °C, exactly. */
+    readonly iceKelvin: ExactScale;
+    readonly affine: readonly AffineRow[];
+    /** Spelling → its note, with every `{NAME}` replaced by that constant. */
+    readonly spellingNotes: ReadonlyMap<string, string>;
+    /** SHA-256 of `data/units.json` with line endings as LF, for the CLI record fingerprint. */
+    readonly sha256: string;
+}
+/**
+ * Validate and read `text`, the contents of `data/units.json`, against `schema`.
+ * Throws on a file the schema or the table rules reject. A test passes a broken copy.
+ * @internal
+ */
+export declare function readUnitFile(text: string, schema: JsonSchema): UnitTableData;
+/** The unit table, read once from `data/units.json`. @internal */
+export declare const UNIT_DATA: UnitTableData;
+//# sourceMappingURL=unit-data.d.ts.map

package/dist/dimensional/unit-data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-data.d.ts","sourceRoot":"","sources":["../../src/dimensional/unit-data.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAIH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAA+D,KAAK,UAAU,EAAE,MAAM,kBAAkB,CAAC;AA6BhH,+CAA+C;AAC/C,MAAM,WAAW,OAAO;IACtB,oCAAoC;IACpC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,0BAA0B;IAC1B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B;;;OAGG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC;CACxB;AAED,4DAA4D;AAC5D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,kCAAkC;IAClC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,8DAA8D;IAC9D,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,iDAAiD;AACjD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACnD,gDAAgD;IAChD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAChD,+BAA+B;IAC/B,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,0EAA0E;IAC1E,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpD,4FAA4F;IAC5F,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAoBD;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,aAAa,CA8E5E;AAED,kEAAkE;AAClE,eAAO,MAAM,SAAS,EAAE,aAA8E,CAAC"}

package/dist/dimensional/unit-data.js

@@ -0,0 +1,135 @@
+/**
+ * The unit table, loaded from `data/units.json` and validated once.
+ *
+ * The file is checked against `data/units.schema.json` when this module
+ * loads (`core/data-file`), then against the rules a schema cannot state:
+ * every scale expression reads, a symbol is spelled by one row, a refused
+ * spelling and an affine spelling are not also a unit, every prefix letter is
+ * both a prefix and a unit, and every `{NAME}` in a note is a constant. A
+ * file that breaks one throws here, so `units.ts` never reads a half-valid table.
+ *
+ * A scale is an exact expression, read by `exact-scale.ts`. A name in it is a
+ * shared scale from the file's `scales`, `pi`, or a constant under its registry
+ * spelling (`c`, `e`, `m_u`, `M_sun`, `Msun_iau`, `ln2`; `constant-rows.ts`),
+ * the same spelling a `{NAME}` note placeholder uses. A constant is read through
+ * its shortest decimal (`scaleOf`), or as the irrational factor when its row is
+ * `irrational`. A shared scale may not reuse a constant's spelling, so a name
+ * has one meaning. The raw rows are strings and integer exponents, so another
+ * exact reader (MathTS) replaces this loader without touching the file.
+ *
+ * @module dimensional/unit-data
+ */
+import { createHash } from 'node:crypto';
+import { dataSchema, dataText, parseDataFile } from '../core/data-file.js';
+import { constantRow } from './constant-rows.js';
+import { decimalScale, irrationalScale, readScaleExpression, scaleOf } from './exact-scale.js';
+const BASES = ['L', 'M', 'T', 'I', 'Theta', 'N', 'J'];
+/** π, which the registry does not spell (a formula scope adds `pi` itself), as the irrational factor. */
+const PI = 'pi';
+const PI_SCALE = irrationalScale(Math.PI);
+/** The registered constant `name` spells, exactly: its irrational factor or its shortest decimal; undefined when no constant has that spelling. */
+function constantScale(name) {
+    const constant = constantRow(name);
+    if (constant === undefined)
+        return undefined;
+    return constant.irrational === true ? irrationalScale(constant.value) : scaleOf(constant.value);
+}
+function dimension(d) {
+    const out = {};
+    for (const base of BASES)
+        out[base] = d[base] ?? 0;
+    return out;
+}
+/**
+ * Validate and read `text`, the contents of `data/units.json`, against `schema`.
+ * Throws on a file the schema or the table rules reject. A test passes a broken copy.
+ * @internal
+ */
+export function readUnitFile(text, schema) {
+    const file = parseDataFile('units.json', text, schema);
+    for (const name of Object.keys(file.scales)) {
+        if (name === PI || constantRow(name) !== undefined) {
+            throw new Error(`data/units.json: shared scale '${name}' is also ${name === PI ? 'π' : 'a registered constant'}; a name has one meaning`);
+        }
+    }
+    const named = new Map();
+    const reading = new Set();
+    const resolve = (name) => {
+        if (name === PI)
+            return PI_SCALE;
+        const shared = file.scales[name];
+        if (shared !== undefined) {
+            const done = named.get(name);
+            if (done !== undefined)
+                return done;
+            if (reading.has(name))
+                throw new Error(`data/units.json: scale '${name}' is defined in terms of itself`);
+            reading.add(name);
+            const scale = readScaleExpression(shared, resolve);
+            reading.delete(name);
+            named.set(name, scale);
+            return scale;
+        }
+        return constantScale(name);
+    };
+    const read = (text, where) => {
+        try {
+            return readScaleExpression(text, resolve);
+        }
+        catch (error) {
+            throw new Error(`data/units.json ${where}: ${error.message}`);
+        }
+    };
+    const prefixes = new Map(Object.entries(file.prefixes).map(([prefix, text]) => [prefix, decimalScale(text)]));
+    const units = new Map();
+    for (const row of file.units) {
+        const scale = read(row.scale, `unit ${row.symbols[0]}`);
+        const unit = { scale, dim: dimension(row.dimension), prefixable: row.prefixable, ...(row.cycles ? { cycles: true } : {}) };
+        for (const symbol of row.symbols) {
+            if (units.has(symbol))
+                throw new Error(`data/units.json: unit '${symbol}' is spelled by two rows`);
+            units.set(symbol, unit);
+        }
+    }
+    const refused = new Map();
+    for (const { symbol, reason } of file.refused) {
+        if (units.has(symbol) || refused.has(symbol))
+            throw new Error(`data/units.json: refused '${symbol}' is also a unit or refused twice`);
+        refused.set(symbol, reason);
+    }
+    for (const letter of file.prefixLetterUnits.letters) {
+        if (!prefixes.has(letter) || !units.has(letter)) {
+            throw new Error(`data/units.json: prefix letter '${letter}' is not both a prefix and a unit`);
+        }
+    }
+    const affine = file.affine.scales.map((row) => {
+        for (const symbol of row.symbols) {
+            if (units.has(symbol) || refused.has(symbol))
+                throw new Error(`data/units.json: affine '${symbol}' is also a unit or refused`);
+        }
+        return { id: row.id, scale: read(row.scale, `affine ${row.id}`), icePoint: read(row.icePoint, `affine ${row.id}`), symbols: row.symbols };
+    });
+    const spellingNotes = new Map();
+    for (const { spelling, note } of file.spellingNotes) {
+        const filled = note.replace(/\{([A-Za-z_][A-Za-z0-9_]*)\}/g, (_, name) => {
+            const constant = constantRow(name);
+            if (constant === undefined)
+                throw new Error(`data/units.json: note for '${spelling}' names '${name}', which is not a registered constant`);
+            return String(constant.value);
+        });
+        spellingNotes.set(spelling, filled);
+    }
+    return {
+        units,
+        prefixes,
+        refused,
+        prefixLetterUnits: new Set(file.prefixLetterUnits.letters),
+        iceKelvin: read(file.affine.iceKelvin, 'affine iceKelvin'),
+        affine,
+        spellingNotes,
+        sha256: createHash('sha256').update(text.replace(/\r\n/g, '\n')).digest('hex'),
+    };
+}
+/** The unit table, read once from `data/units.json`. @internal */
+export const UNIT_DATA = readUnitFile(dataText('units.json'), dataSchema('units.json'));
+//# sourceMappingURL=unit-data.js.map

package/dist/dimensional/unit-data.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-data.js","sourceRoot":"","sources":["../../src/dimensional/unit-data.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE3E,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,mBAAmB,EAAE,OAAO,EAAmB,MAAM,kBAAkB,CAAC;AAqEhH,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAU,CAAC;AAC/D,yGAAyG;AACzG,MAAM,EAAE,GAAG,IAAI,CAAC;AAChB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAE1C,mJAAmJ;AACnJ,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,OAAO,QAAQ,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAClG,CAAC;AAED,SAAS,SAAS,CAAC,CAAgB;IACjC,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,OAAO,GAA2B,CAAC;AACrC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,MAAkB;IAC3D,MAAM,IAAI,GAAG,aAAa,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,CAAa,CAAC;IACnE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,IAAI,IAAI,KAAK,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACnD,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,aAAa,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,uBAAuB,0BAA0B,CAAC,CAAC;QAC5I,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAAG,CAAC,IAAY,EAA0B,EAAE;QACvD,IAAI,IAAI,KAAK,EAAE;YAAE,OAAO,QAAQ,CAAC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACpC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,IAAI,iCAAiC,CAAC,CAAC;YACzG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,KAAK,GAAG,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACnD,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACrB,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,KAAa,EAAc,EAAE;QACvD,IAAI,CAAC;YACH,OAAO,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,KAAM,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAE,CAAU,CAAC,CAAC,CAAC;IACxH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxD,MAAM,IAAI,GAAY,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAC7I,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,MAAM,0BAA0B,CAAC,CAAC;YACnG,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC9C,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,MAAM,mCAAmC,CAAC,CAAC;QACtI,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC;QACpD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,mCAAmC,MAAM,mCAAmC,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC5C,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,MAAM,6BAA6B,CAAC,CAAC;QACjI,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;IAC5I,CAAC,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,+BAA+B,EAAE,CAAC,CAAC,EAAE,IAAY,EAAE,EAAE;YAC/E,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,QAAQ,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,YAAY,IAAI,uCAAuC,CAAC,CAAC;YAC3I,OAAO,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QACH,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC;IACD,OAAO;QACL,KAAK;QACL,QAAQ;QACR,OAAO;QACP,iBAAiB,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC;QAC1D,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,kBAAkB,CAAC;QAC1D,MAAM;QACN,aAAa;QACb,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;KAC/E,CAAC;AACJ,CAAC;AAED,kEAAkE;AAClE,MAAM,CAAC,MAAM,SAAS,GAAkB,YAAY,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC"}

package/dist/dimensional/units.d.ts

@@ -1,56 +1,121 @@
 import type { Dimension } from './types.js';
+import { type ExactScale } from './exact-scale.js';
+/** An affine temperature scale: a lone `degC` or `degF`. @public */
+export type AffineTemperature = 'celsius' | 'fahrenheit';
 /** A unit, as a scale to SI base units and a dimension. @public */
 export interface ParsedUnit {
     readonly scale: number;
     readonly dim: Dimension;
-    /** `'celsius'` only for a lone `degC`, which is affine and needs a reading. */
-    readonly affine?: 'celsius';
+    /** Set only for a lone affine temperature, which needs a reading. */
+    readonly affine?: AffineTemperature;
 }
 /** Thrown for any input that does not parse as a value with a known unit. @public */
 export declare class UnitError extends Error {
     constructor(message: string);
 }
+/** A symbol no table row and no prefix spells. @public */
+export declare class UnknownUnitError extends UnitError {
+    readonly symbol: string;
+    constructor(symbol: string);
+}
+/**
+ * A unit the reader recognizes and refuses: a logarithmic or ratio unit, an
+ * ambiguous name such as `ton`, or an affine temperature inside a compound.
+ * @public
+ */
+export declare class UnitRefusedError extends UnitError {
+    constructor(message: string);
+}
+/** A unit expression with more than one dimensionally distinct reading. @public */
+export declare class AmbiguousUnitError extends UnitError {
+    readonly text: string;
+    readonly readings: readonly string[];
+    constructor(text: string, readings: readonly string[]);
+}
 /**
- * Spellings that convert correctly and still mean something else to a reader.
- * `myr` is a milliyear, `Msun` is `M_SUN_SI`, bare `G` is the gauss, bare `T`
- * is the tesla, and bare `A` is the ampere rather than the angstrom.
+ * How a reading on an affine scale becomes kelvin, from the row's scale and
+ * ice point: `absolute: (degF − 32) × 5/9 + 273.15`, `a difference: × 5/9, no offset`.
+ * @internal
+ */
+export declare function affineReadingNote(affine: AffineTemperature, reading: TemperatureReading): string;
+/** One reading of a unit expression, with its exact scale. @internal */
+export interface UnitReading extends ParsedUnit {
+    readonly label: string;
+    readonly exact: ExactScale;
+    /** Net power of cycle-counting units (Hz, rpm): 1 for a lone `kHz`, 0 for `1/s`. */
+    readonly cycles: number;
+}
+/**
+ * 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
+ * order. `myr` is a milliyear, bare `G` is the gauss, bare `A` the ampere.
  * @internal
  */
 export declare function unitConventionNotes(given: string): string[];
+/** The one reading of a unit expression; more than one is refused. @internal */
+export declare function readUnit(text: string): UnitReading;
 /** Parse a unit expression; the empty string is dimensionless. @public */
 export declare function parseUnit(text: string): ParsedUnit;
 /** How a temperature value is read: as a point on the scale, or as a difference. @public */
 export type TemperatureReading = 'absolute' | 'difference';
+/** A number with a unit, read exactly and rounded once. @internal */
+export interface QuantityLiteral {
+    /** SI value; a bare number is unchanged. */
+    readonly value: number;
+    readonly dim: Dimension;
+    /** The unit text as given; `''` for a bare number. */
+    readonly unit: string;
+    readonly cycles: number;
+    readonly affine?: AffineTemperature;
+}
+/**
+ * Read `raw` as one number with an optional unit, in SI. Null when `raw` is
+ * not that form or names a unit no row spells, so the caller can read it as
+ * an expression. A refused unit and an ambiguous one throw. The value may be
+ * non-finite (`1e999`); the caller owns that refusal and its error class.
+ * @internal
+ */
+export declare function readQuantityLiteral(raw: string, temperature?: TemperatureReading): QuantityLiteral | null;
+/** A value converted into a declared unit. @public */
+export interface ConvertedValue {
+    readonly value: number;
+    /** The unit the user gave; `''` for a bare number. */
+    readonly given: string;
+    /** Net power of cycle-counting units in `given` (1 for `Hz` or `rpm`); absent when 0. */
+    readonly cycles?: number;
+    /** Set when `given` is a lone affine temperature. */
+    readonly affine?: AffineTemperature;
+}
 /**
  * Convert `raw` (`<number>[unit]`) into `target` (a unit expression). A bare
  * number is taken to be in `target` already. The dimensions must agree.
  *
+ * The magnitude, the unit scales and the target scale are multiplied as
+ * exact rationals and rounded once, so `1 g/cm^3` in `kg/m^3` is 1000.
+ *
  * @returns the value in `target`, and the unit the user gave (`''` for none).
  * @public
  */
-export declare function convertValue(raw: string, target: string, reading?: TemperatureReading): {
-    value: number;
-    given: string;
-};
+export declare function convertValue(raw: string, target: string, temperature?: TemperatureReading): ConvertedValue;
+/** The dimension of a declared unit expression. @internal */
+export declare function unitDimension(unit: string): Dimension;
+/** The symbols the unit table spells, with their exact scales, for the agreement test against MathTS. @internal */
+export declare function unitRows(): ReadonlyMap<string, {
+    readonly scale: ExactScale;
+    readonly dim: Dimension;
+    readonly prefixable: boolean;
+}>;
 /**
- * MathTS's SI value for `magnitude` of `unitText`, when that value and the
- * 7-base dimension agree with `local`. Affine °C stays on the local offset.
- * A symbol MathTS lacks, or a scale it disagrees with (`bit` is 1 there and
- * ln 2 here; a solar mass, a Julian year, and the gauss are absent), returns
- * undefined so the caller keeps the local table.
- *
+ * The tables conversion reads, for the CLI record's fingerprint (`src/cli/record-tables.ts`):
+ * each row's scale, dimension, prefixability and `cycles` flag (which multiplies an angular
+ * input by 2π), the prefixes, the Celsius offset, and the SHA-256 of `data/units.json`, so a
+ * refused spelling, a prefix letter, an affine row or a note that changes changes the fingerprint too.
  * @internal
  */
-export declare function mathTsAgreedQuantity(magnitude: number, unitText: string, local: ParsedUnit): {
-    value: number;
-    dim: Dimension;
-} | undefined;
-/** The dimension of a declared unit expression. @internal */
-export declare function unitDimension(unit: string): Dimension;
-/** The tables conversion reads, for the CLI record's fingerprint (`src/cli/record-tables.ts`). @internal */
 export declare function unitTables(): {
-    units: ReadonlyMap<string, readonly [number, Dimension, boolean]>;
+    units: ReadonlyMap<string, readonly [number, Dimension, boolean, boolean]>;
     prefixes: ReadonlyMap<string, number>;
     celsiusOffsetK: number;
+    sourceSha256: string;
 };
 //# sourceMappingURL=units.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"units.d.ts","sourceRoot":"","sources":["../../src/dimensional/units.ts"],"names":[],"mappings":"AAsCA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAG5C,mEAAmE;AACnE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,+EAA+E;IAC/E,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;CAC7B;AAED,qFAAqF;AACrF,qBAAa,SAAU,SAAQ,KAAK;IAClC,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AA2KD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAe3D;AAED,0EAA0E;AAC1E,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAYlD;AAED,4FAA4F;AAC5F,MAAM,MAAM,kBAAkB,GAAG,UAAU,GAAG,YAAY,CAAC;AAE3D;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,kBAA+B,GACvC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAsBlC;AA6CD;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,UAAU,GAChB;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,SAAS,CAAA;CAAE,GAAG,SAAS,CAU/C;AAOD,6DAA6D;AAC7D,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAErD;AAED,4GAA4G;AAC5G,wBAAgB,UAAU,IAAI;IAC5B,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IAClE,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,cAAc,EAAE,MAAM,CAAC;CACxB,CAEA"}
+{"version":3,"file":"units.d.ts","sourceRoot":"","sources":["../../src/dimensional/units.ts"],"names":[],"mappings":"AAyCA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAUL,KAAK,UAAU,EAChB,MAAM,kBAAkB,CAAC;AAG1B,oEAAoE;AACpE,MAAM,MAAM,iBAAiB,GAAG,SAAS,GAAG,YAAY,CAAC;AAEzD,mEAAmE;AACnE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,qEAAqE;IACrE,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;CACrC;AAED,qFAAqF;AACrF,qBAAa,SAAU,SAAQ,KAAK;IAClC,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED,0DAA0D;AAC1D,qBAAa,gBAAiB,SAAQ,SAAS;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM;IAAnC,YAAqB,MAAM,EAAE,MAAM,EAGlC;CACF;AAED;;;;GAIG;AACH,qBAAa,gBAAiB,SAAQ,SAAS;IAC7C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED,mFAAmF;AACnF,qBAAa,kBAAmB,SAAQ,SAAS;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM;IAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE;IAAvE,YAAqB,IAAI,EAAE,MAAM,EAAW,QAAQ,EAAE,SAAS,MAAM,EAAE,EAGtE;CACF;AAuCD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,iBAAiB,EAAE,OAAO,EAAE,kBAAkB,GAAG,MAAM,CAQhG;AAgJD,wEAAwE;AACxE,MAAM,WAAW,WAAY,SAAQ,UAAU;IAC7C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,oFAAoF;IACpF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAgGD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAG3D;AAED,gFAAgF;AAChF,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAKlD;AAED,0EAA0E;AAC1E,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAGlD;AAED,4FAA4F;AAC5F,MAAM,MAAM,kBAAkB,GAAG,UAAU,GAAG,YAAY,CAAC;AAiC3D,qEAAqE;AACrE,MAAM,WAAW,eAAe;IAC9B,4CAA4C;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,sDAAsD;IACtD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;CACrC;AAOD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,GAAE,kBAA+B,GAAG,eAAe,GAAG,IAAI,CAoBrH;AAED,sDAAsD;AACtD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,yFAAyF;IACzF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,qDAAqD;IACrD,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;CACrC;AAED;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,GAAE,kBAA+B,GAAG,cAAc,CAuBtH;AAED,6DAA6D;AAC7D,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAErD;AAED,mHAAmH;AACnH,wBAAgB,QAAQ,IAAI,WAAW,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CAErI;AAED;;;;;;GAMG;AACH,wBAAgB,UAAU,IAAI;IAC5B,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3E,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;CACtB,CAOA"}