universal-physics-tensor 0.47.1 → 1.0.1

package/dist/{composition → dimensional}/symbolic-constants.d.ts

@@ -15,9 +15,9 @@
  *
  * INTERNAL — not on the public surface.
  *
- * @module composition/symbolic-constants
+ * @module dimensional/symbolic-constants
  */
-import type { Dimension } from '../dimensional/types.js';
+import type { Dimension } from './types.js';
 /** A registered constant leaf: SI value + SI dimension. @internal */
 interface NamedConstantValue {
     readonly value: number;
@@ -30,5 +30,24 @@ interface NamedConstantValue {
  * exactly (same IEEE-754 primitives).
  */
 export declare const CONSTANTS: Readonly<Record<string, NamedConstantValue>>;
+/** What a registered constant is, its SI unit, and where its value comes from (audit I10). @internal */
+export interface ConstantProvenance {
+    readonly meaning: string;
+    /** The SI unit, in the syntax `parseUnit` reads; a test checks it against the registered dimension. */
+    readonly unit: string;
+    readonly source: string;
+}
+/**
+ * A spelled-out multiple of π written as one symbol (`pi`, `6pi`). `2pi`,
+ * `4pi` and `8pi` are also registered in {@link CONSTANTS}; this covers the
+ * multiples an encoder spelled out and did not register (`6pi` in
+ * CE-perihelion-precession). The structural normal form already drops these.
+ * The numeric evaluator has to resolve them too, or a comparison treats `6pi`
+ * as a free symbol and never aligns the formula.
+ * @internal
+ */
+export declare function piMultipleValue(name: string): number | undefined;
+/** One row per {@link CONSTANTS} key; a test holds the two key sets equal. @internal */
+export declare const CONSTANT_PROVENANCE: Readonly<Record<string, ConstantProvenance>>;
 export {};
 //# sourceMappingURL=symbolic-constants.d.ts.map

package/dist/dimensional/symbolic-constants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbolic-constants.d.ts","sourceRoot":"","sources":["../../src/dimensional/symbolic-constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAgC5C,qEAAqE;AACrE,UAAU,kBAAkB;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;CACzB;AAED;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAsBlE,CAAC;AAEF,wGAAwG;AACxG,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,uGAAuG;IACvG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAMhE;AAED,wFAAwF;AACxF,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAwB5E,CAAC"}

package/dist/dimensional/symbolic-constants.js

@@ -0,0 +1,116 @@
+/**
+ * Symbolic-composition constant registry (v0.12 symbolic composition).
+ *
+ * The physical constants and named numeric factors that a bridge's
+ * `symbolic` ExprNode may reference as leaf symbols, with the SI value AND
+ * the SI dimension. SI VALUES import from `core/constants.js` — the single
+ * source the bridge evaluators also resolve to — so a symbolic form and its
+ * numeric evaluator agree bit-for-bit (the drift guard binds this end-to-end;
+ * Adam A-7 / Eve EVE-3).
+ *
+ * Numeric-literal leaves (`'2'`, `'3'`) are NOT registered here — `evalExpr`
+ * resolves them via `Number(name)` and they are implicitly dimensionless.
+ * Non-base-10 tokens (`'8pi'`, `'4pi'`, `'ln2'`) MUST be here (Adam A-1 —
+ * `Number('8pi')` is `NaN`).
+ *
+ * INTERNAL — not on the public surface.
+ *
+ * @module dimensional/symbolic-constants
+ */
+import { ACTION, CHARGE, DIMENSIONLESS, VELOCITY, } from './types.js';
+import { C_SI, E_SI, G_SI, GM_SUN_SI, HBAR_SI, H_SI, K_B_SI, B_WIEN_SI } from '../core/constants.js';
+const dim = (L = 0, M = 0, T = 0, Theta = 0) => ({
+    L,
+    M,
+    T,
+    I: 0,
+    Theta,
+    N: 0,
+    J: 0,
+});
+/** Newton's constant G — [L³ M⁻¹ T⁻²]. */
+const GRAV = dim(3, -1, -2);
+/** Boltzmann constant k_B — [L² M T⁻² Θ⁻¹] (energy / temperature). */
+const BOLTZMANN = dim(2, 1, -2, -1);
+/** Vacuum permittivity ε₀ — [I² T⁴ M⁻¹ L⁻³] (F/m). Carries a current
+ *  dimension, so it cannot use the (L,M,T,Θ) `dim` helper. */
+const PERMITTIVITY = { L: -3, M: -1, T: 4, I: 2, Theta: 0, N: 0, J: 0 };
+/** Stefan–Boltzmann σ — [M T⁻³ Θ⁻⁴] (W m⁻² K⁻⁴). Derived:
+ *  σ = 2π⁵k_B⁴ / (15 c² h³). */
+const STEFAN_BOLTZMANN = dim(0, 1, -3, -4);
+/** Wien displacement constant b — [L·Θ] (m·K). */
+const WIEN = dim(1, 0, 0, 1);
+/**
+ * Constant leaves a `symbolic` ExprNode may reference. Keys are the leaf
+ * symbol `name`s; values carry the SI magnitude and dimension. `ln2`/`8pi`/
+ * `4pi` reproduce the evaluators' `Math.LN2` / `8*Math.PI` / `4*Math.PI`
+ * exactly (same IEEE-754 primitives).
+ */
+export const CONSTANTS = {
+    hbar: { value: HBAR_SI, dim: ACTION },
+    h: { value: H_SI, dim: ACTION },
+    c: { value: C_SI, dim: VELOCITY },
+    G: { value: G_SI, dim: GRAV },
+    k_B: { value: K_B_SI, dim: BOLTZMANN },
+    ln2: { value: Math.LN2, dim: DIMENSIONLESS },
+    '8pi': { value: 8 * Math.PI, dim: DIMENSIONLESS },
+    '4pi': { value: 4 * Math.PI, dim: DIMENSIONLESS },
+    '2pi': { value: 2 * Math.PI, dim: DIMENSIONLESS },
+    // Extension constants for the canonical-equation L1 entries (Coulomb, Bohr,
+    // Stefan–Boltzmann). CODATA 2018 values.
+    // ISO 80000 / CODATA: a bare e is the elementary charge. Eccentricity is
+    // one_minus_e_sq. The canonical dimension guard still refuses to bake a
+    // dimensionless governing name e.
+    e: { value: E_SI, dim: CHARGE },
+    epsilon_0: { value: 8.8541878128e-12, dim: PERMITTIVITY },
+    sigma_sb: { value: 5.670374419e-8, dim: STEFAN_BOLTZMANN },
+    b: { value: B_WIEN_SI, dim: WIEN },
+    // IAU 2015 nominal solar parameter. M_sun in eval stays the rounded kilogram M_SUN_SI.
+    GM_sun: { value: GM_SUN_SI, dim: dim(3, 0, -2) },
+    Msun_iau: { value: GM_SUN_SI / G_SI, dim: dim(0, 1, 0) },
+};
+/**
+ * A spelled-out multiple of π written as one symbol (`pi`, `6pi`). `2pi`,
+ * `4pi` and `8pi` are also registered in {@link CONSTANTS}; this covers the
+ * multiples an encoder spelled out and did not register (`6pi` in
+ * CE-perihelion-precession). The structural normal form already drops these.
+ * The numeric evaluator has to resolve them too, or a comparison treats `6pi`
+ * as a free symbol and never aligns the formula.
+ * @internal
+ */
+export function piMultipleValue(name) {
+    const m = /^(\d*)pi$/.exec(name);
+    if (m === null)
+        return undefined;
+    const n = m[1] === '' ? 1 : Number(m[1]);
+    if (!Number.isInteger(n) || n < 0)
+        return undefined;
+    return n * Math.PI;
+}
+/** One row per {@link CONSTANTS} key; a test holds the two key sets equal. @internal */
+export const CONSTANT_PROVENANCE = {
+    hbar: { meaning: 'reduced Planck constant h/(2π)', unit: 'J*s', source: 'exact H_SI/(2π) (core/constants.ts HBAR_SI)' },
+    h: { meaning: 'Planck constant', unit: 'J*s', source: 'exact SI, 2019 redefinition (core/constants.ts H_SI)' },
+    c: { meaning: 'speed of light in vacuum', unit: 'm/s', source: 'exact SI (core/constants.ts C_SI)' },
+    G: { meaning: 'Newtonian gravitational constant', unit: 'm^3/(kg*s^2)', source: 'CODATA 2018 (core/constants.ts G_SI)' },
+    k_B: { meaning: 'Boltzmann constant', unit: 'J/K', source: 'exact SI, 2019 redefinition (core/constants.ts K_B_SI)' },
+    ln2: { meaning: 'natural logarithm of 2', unit: '1', source: 'mathematical constant (Math.LN2)' },
+    '8pi': { meaning: '8π', unit: '1', source: 'mathematical constant (8·Math.PI)' },
+    '4pi': { meaning: '4π', unit: '1', source: 'mathematical constant (4·Math.PI)' },
+    '2pi': { meaning: '2π', unit: '1', source: 'mathematical constant (2·Math.PI)' },
+    e: { meaning: 'elementary charge', unit: 'C', source: 'exact SI, 2019 redefinition (core/constants.ts E_SI)' },
+    epsilon_0: { meaning: 'vacuum permittivity', unit: 'F/m', source: 'CODATA 2018 (this table)' },
+    sigma_sb: { meaning: 'Stefan–Boltzmann constant', unit: 'W/(m^2*K^4)', source: 'CODATA 2018 (this table)' },
+    b: { meaning: 'Wien displacement constant', unit: 'm*K', source: 'CODATA 2018 (core/constants.ts B_WIEN_SI)' },
+    GM_sun: {
+        meaning: 'IAU nominal solar gravitational parameter (GM)☉',
+        unit: 'm^3/s^2',
+        source: 'IAU 2015 Resolution B3 (core/constants.ts GM_SUN_SI)',
+    },
+    Msun_iau: {
+        meaning: 'IAU solar mass (GM)☉/G, the mass that reproduces GM_sun with G_SI',
+        unit: 'kg',
+        source: 'GM_SUN_SI/G_SI (core/constants.ts)',
+    },
+};
+//# sourceMappingURL=symbolic-constants.js.map

package/dist/dimensional/symbolic-constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbolic-constants.js","sourceRoot":"","sources":["../../src/dimensional/symbolic-constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EACL,MAAM,EACN,MAAM,EACN,aAAa,EACb,QAAQ,GACT,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAErG,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAa,EAAE,CAAC,CAAC;IAC1D,CAAC;IACD,CAAC;IACD,CAAC;IACD,CAAC,EAAE,CAAC;IACJ,KAAK;IACL,CAAC,EAAE,CAAC;IACJ,CAAC,EAAE,CAAC;CACL,CAAC,CAAC;AAEH,0CAA0C;AAC1C,MAAM,IAAI,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACvC,sEAAsE;AACtE,MAAM,SAAS,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC/C;8DAC8D;AAC9D,MAAM,YAAY,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACnF;gCACgC;AAChC,MAAM,gBAAgB,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACtD,kDAAkD;AAClD,MAAM,IAAI,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAQxC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAiD;IACrE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE;IACrC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE;IAC/B,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;IACjC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE;IAC7B,GAAG,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE;IACtC,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE;IAC5C,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE;IACjD,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE;IACjD,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE;IACjD,4EAA4E;IAC5E,yCAAyC;IACzC,yEAAyE;IACzE,wEAAwE;IACxE,kCAAkC;IAClC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE;IAC/B,SAAS,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,GAAG,EAAE,YAAY,EAAE;IACzD,QAAQ,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,EAAE,gBAAgB,EAAE;IAC1D,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE;IAClC,uFAAuF;IACvF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;IAChD,QAAQ,EAAE,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;CACzD,CAAC;AAUF;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACpD,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;AACrB,CAAC;AAED,wFAAwF;AACxF,MAAM,CAAC,MAAM,mBAAmB,GAAiD;IAC/E,IAAI,EAAE,EAAE,OAAO,EAAE,gCAAgC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,6CAA6C,EAAE;IACvH,CAAC,EAAE,EAAE,OAAO,EAAE,iBAAiB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,sDAAsD,EAAE;IAC9G,CAAC,EAAE,EAAE,OAAO,EAAE,0BAA0B,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,mCAAmC,EAAE;IACpG,CAAC,EAAE,EAAE,OAAO,EAAE,kCAAkC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,sCAAsC,EAAE;IACxH,GAAG,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,wDAAwD,EAAE;IACrH,GAAG,EAAE,EAAE,OAAO,EAAE,wBAAwB,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,kCAAkC,EAAE;IACjG,KAAK,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,mCAAmC,EAAE;IAChF,KAAK,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,mCAAmC,EAAE;IAChF,KAAK,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,mCAAmC,EAAE;IAChF,CAAC,EAAE,EAAE,OAAO,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,sDAAsD,EAAE;IAC9G,SAAS,EAAE,EAAE,OAAO,EAAE,qBAAqB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,0BAA0B,EAAE;IAC9F,QAAQ,EAAE,EAAE,OAAO,EAAE,2BAA2B,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,0BAA0B,EAAE;IAC3G,CAAC,EAAE,EAAE,OAAO,EAAE,4BAA4B,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,2CAA2C,EAAE;IAC9G,MAAM,EAAE;QACN,OAAO,EAAE,iDAAiD;QAC1D,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,sDAAsD;KAC/D;IACD,QAAQ,EAAE;QACR,OAAO,EAAE,mEAAmE;QAC5E,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,oCAAoC;KAC7C;CACF,CAAC"}

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

@@ -0,0 +1,30 @@
+/**
+ * Per-quantity unit convention for the quantities whose dimension does not
+ * decide the unit. Energy nodes here are GeV; the rest of the energy graph
+ * is joules. Information nodes here are bits or nats; both are
+ * dimensionless, and a bit is ln 2 nat. Entropy in J/K is dimensionally
+ * distinct and tagged so a bit is not accepted as that entropy.
+ *
+ * A name absent from this table is read in SI, which is what
+ * {@link readBinding} already returns. Representative magnitudes in
+ * `representative-values.ts` stay in SI joules and are not read through
+ * this table.
+ *
+ * @module dimensional/unit-convention
+ * @internal
+ */
+/** Quantity name → the unit its evaluator speaks. @internal */
+export declare const QUANTITY_CONVENTION_UNIT: ReadonlyMap<string, string>;
+/** The unit a quantity's evaluator speaks, or undefined when that unit is SI. @internal */
+export declare function quantityConventionUnit(name: string): string | undefined;
+/** Scale a quantity's evaluator-unit value into SI. @internal */
+export declare function conventionScaleToSI(name: string): number;
+/**
+ * Multiply a value in `from`'s convention to obtain the value in `to`'s
+ * convention. Two untagged names, or two names with the same unit, are 1.
+ * An untagged name is SI. Two tagged names whose dimensions differ throw:
+ * copying the number would type-check and be meaningless.
+ * @internal
+ */
+export declare function conventionFactor(from: string, to: string): number;
+//# sourceMappingURL=unit-convention.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"unit-convention.d.ts","sourceRoot":"","sources":["../../src/dimensional/unit-convention.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAKH,+DAA+D;AAC/D,eAAO,MAAM,wBAAwB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAU/D,CAAC;AAEH,2FAA2F;AAC3F,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAEvE;AAED,iEAAiE;AACjE,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAGxD;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAajE"}

package/dist/dimensional/unit-convention.js

@@ -0,0 +1,60 @@
+/**
+ * Per-quantity unit convention for the quantities whose dimension does not
+ * decide the unit. Energy nodes here are GeV; the rest of the energy graph
+ * is joules. Information nodes here are bits or nats; both are
+ * dimensionless, and a bit is ln 2 nat. Entropy in J/K is dimensionally
+ * distinct and tagged so a bit is not accepted as that entropy.
+ *
+ * A name absent from this table is read in SI, which is what
+ * {@link readBinding} already returns. Representative magnitudes in
+ * `representative-values.ts` stay in SI joules and are not read through
+ * this table.
+ *
+ * @module dimensional/unit-convention
+ * @internal
+ */
+import { equals } from './algebra.js';
+import { parseUnit } from './units.js';
+/** Quantity name → the unit its evaluator speaks. @internal */
+export const QUANTITY_CONVENTION_UNIT = new Map([
+    ['vacuum-expectation-value', 'GeV'],
+    ['dark-fermion-mass', 'GeV'],
+    ['planck-mass-energy', 'GeV'],
+    ['inflation-hubble-energy', 'GeV'],
+    ['intrinsic-information', 'bit'],
+    ['subsystem-entanglement-entropy', 'nat'],
+    ['modular-hamiltonian-variation', 'nat'],
+    ['entanglement-entropy-variation', 'nat'],
+    ['wormhole-entanglement-entropy', 'J/K'],
+]);
+/** The unit a quantity's evaluator speaks, or undefined when that unit is SI. @internal */
+export function quantityConventionUnit(name) {
+    return QUANTITY_CONVENTION_UNIT.get(name);
+}
+/** Scale a quantity's evaluator-unit value into SI. @internal */
+export function conventionScaleToSI(name) {
+    const unit = QUANTITY_CONVENTION_UNIT.get(name);
+    return unit === undefined ? 1 : parseUnit(unit).scale;
+}
+/**
+ * Multiply a value in `from`'s convention to obtain the value in `to`'s
+ * convention. Two untagged names, or two names with the same unit, are 1.
+ * An untagged name is SI. Two tagged names whose dimensions differ throw:
+ * copying the number would type-check and be meaningless.
+ * @internal
+ */
+export function conventionFactor(from, to) {
+    const fromUnit = QUANTITY_CONVENTION_UNIT.get(from);
+    const toUnit = QUANTITY_CONVENTION_UNIT.get(to);
+    if (fromUnit === undefined && toUnit === undefined)
+        return 1;
+    if (fromUnit === toUnit)
+        return 1;
+    const fromParsed = fromUnit === undefined ? null : parseUnit(fromUnit);
+    const toParsed = toUnit === undefined ? null : parseUnit(toUnit);
+    if (fromParsed !== null && toParsed !== null && !equals(fromParsed.dim, toParsed.dim)) {
+        throw new Error(`unit convention: '${from}' is ${fromUnit} and '${to}' is ${toUnit}; the dimensions differ`);
+    }
+    return (fromParsed?.scale ?? 1) / (toParsed?.scale ?? 1);
+}
+//# sourceMappingURL=unit-convention.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"unit-convention.js","sourceRoot":"","sources":["../../src/dimensional/unit-convention.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvC,+DAA+D;AAC/D,MAAM,CAAC,MAAM,wBAAwB,GAAgC,IAAI,GAAG,CAAC;IAC3E,CAAC,0BAA0B,EAAE,KAAK,CAAC;IACnC,CAAC,mBAAmB,EAAE,KAAK,CAAC;IAC5B,CAAC,oBAAoB,EAAE,KAAK,CAAC;IAC7B,CAAC,yBAAyB,EAAE,KAAK,CAAC;IAClC,CAAC,uBAAuB,EAAE,KAAK,CAAC;IAChC,CAAC,gCAAgC,EAAE,KAAK,CAAC;IACzC,CAAC,+BAA+B,EAAE,KAAK,CAAC;IACxC,CAAC,gCAAgC,EAAE,KAAK,CAAC;IACzC,CAAC,+BAA+B,EAAE,KAAK,CAAC;CACzC,CAAC,CAAC;AAEH,2FAA2F;AAC3F,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,OAAO,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,IAAI,GAAG,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;AACxD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,EAAU;IACvD,MAAM,QAAQ,GAAG,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChD,IAAI,QAAQ,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IAC7D,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,CAAC,CAAC;IAClC,MAAM,UAAU,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACjE,IAAI,UAAU,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,KAAK,CACb,qBAAqB,IAAI,QAAQ,QAAQ,SAAS,EAAE,QAAQ,MAAM,yBAAyB,CAC5F,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,UAAU,EAAE,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC;AAC3D,CAAC"}

package/dist/dimensional/units.d.ts

@@ -0,0 +1,43 @@
+import type { Dimension } from './types.js';
+/** A unit, as a scale to SI base units and a dimension. @internal */
+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';
+}
+/** Thrown for any input that does not parse as a value with a known unit. @internal */
+export declare class UnitError extends Error {
+    constructor(message: 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.
+ * @internal
+ */
+export declare function unitConventionNotes(given: string): string[];
+/** Parse a unit expression; the empty string is dimensionless. @internal */
+export declare function parseUnit(text: string): ParsedUnit;
+/** How a temperature value is read: as a point on the scale, or as a difference. @internal */
+export type TemperatureReading = 'absolute' | 'difference';
+/**
+ * Convert `raw` (`<number>[unit]`) into `target` (a unit expression). A bare
+ * number is taken to be in `target` already. The dimensions must agree.
+ *
+ * @returns the value in `target`, and the unit the user gave (`''` for none).
+ * @internal
+ */
+export declare function convertValue(raw: string, target: string, reading?: TemperatureReading): {
+    value: number;
+    given: string;
+};
+/** 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]>;
+    prefixes: ReadonlyMap<string, number>;
+    celsiusOffsetK: number;
+};
+//# sourceMappingURL=units.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"units.d.ts","sourceRoot":"","sources":["../../src/dimensional/units.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAG5C,qEAAqE;AACrE,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,uFAAuF;AACvF,qBAAa,SAAU,SAAQ,KAAK;IAClC,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AA0FD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAe3D;AAED,4EAA4E;AAC5E,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAYlD;AAED,8FAA8F;AAC9F,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,CAelC;AAED,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"}

package/dist/dimensional/units.js

@@ -0,0 +1,197 @@
+/**
+ * Unit parsing for numeric inputs: `1um`, `25degC`, `1 kohm`, `3.8e-16 kg/m^3`.
+ *
+ * A unit is a product of factors, each `symbol[^n]`, joined by `*`, `·` or a
+ * space; everything after a single `/` is the denominator (`W/(m*K)` and
+ * `W/m*K` both mean W·m⁻¹·K⁻¹). An exact symbol is matched before a prefixed
+ * one, so `min` is a minute, `Pa` a pascal and `mm` a millimetre.
+ *
+ * Temperature in °C is affine, so it is accepted only alone and only with an
+ * explicit reading: an ABSOLUTE temperature adds 273.15 K; a temperature
+ * DIFFERENCE (an uncertainty, an interval) does not. °F is refused rather than
+ * converted.
+ *
+ * An exact symbol wins over a prefix: `T` is the tesla and `Ts` is a
+ * terasecond; `G` is the gauss and `GPa` is a gigapascal. `AU` is the same
+ * exact metre count as `au`. `Msun` is `M_SUN_SI` kilograms; `Msun_iau` is
+ * `GM_SUN_SI / G_SI`. `myr` is a milliyear because `m` is the SI prefix.
+ * `eV` takes an SI prefix, so `GeV` is 10⁹ eV in joules. `nat` is the
+ * coherent information unit (scale 1); `bit` is ln 2 nat. Neither takes a
+ * prefix.
+ *
+ * @module dimensional/units
+ */
+import { equals, format, multiply, power } from './algebra.js';
+import { C_SI, E_SI, G_SI, GM_SUN_SI, M_SUN_SI } from '../core/constants.js';
+/** Thrown for any input that does not parse as a value with a known unit. @internal */
+export class UnitError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'UnitError';
+    }
+}
+const D = (p) => ({ L: 0, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0, ...p });
+const JOULE = D({ L: 2, M: 1, T: -2 });
+const DIMENSIONLESS = D({});
+/** symbol → [scale to SI base, dimension, takes an SI prefix]. */
+const UNITS = new Map([
+    ['m', [1, D({ L: 1 }), true]],
+    ['g', [1e-3, D({ M: 1 }), true]],
+    ['s', [1, D({ T: 1 }), true]],
+    ['K', [1, D({ Theta: 1 }), true]],
+    ['A', [1, D({ I: 1 }), true]],
+    ['mol', [1, D({ N: 1 }), true]],
+    ['Hz', [1, D({ T: -1 }), true]],
+    ['N', [1, D({ L: 1, M: 1, T: -2 }), true]],
+    ['Pa', [1, D({ L: -1, M: 1, T: -2 }), true]],
+    ['J', [1, JOULE, true]],
+    ['W', [1, D({ L: 2, M: 1, T: -3 }), true]],
+    ['C', [1, D({ T: 1, I: 1 }), true]],
+    ['V', [1, D({ L: 2, M: 1, T: -3, I: -1 }), true]],
+    ['ohm', [1, D({ L: 2, M: 1, T: -3, I: -2 }), true]],
+    ['Ω', [1, D({ L: 2, M: 1, T: -3, I: -2 }), true]],
+    ['S', [1, D({ L: -2, M: -1, T: 3, I: 2 }), true]],
+    ['F', [1, D({ L: -2, M: -1, T: 4, I: 2 }), true]],
+    ['eV', [E_SI, JOULE, true]],
+    // Information. A nat is the coherent dimensionless unit; a bit is ln 2 nat.
+    // Exact, so neither takes a prefix (`kbit` is not a kilobit).
+    ['nat', [1, DIMENSIONLESS, false]],
+    ['bit', [Math.LN2, DIMENSIONLESS, false]],
+    ['rad', [1, DIMENSIONLESS, true]],
+    ['deg', [Math.PI / 180, DIMENSIONLESS, false]],
+    ['min', [60, D({ T: 1 }), false]],
+    ['h', [3600, D({ T: 1 }), false]],
+    ['d', [86400, D({ T: 1 }), false]],
+    // The Julian year, the year the orbital evaluators take.
+    ['yr', [365.25 * 86400, D({ T: 1 }), true]],
+    ['au', [149597870700, D({ L: 1 }), false]],
+    ['AU', [149597870700, D({ L: 1 }), false]],
+    // The solar mass the evaluators use, not the IAU nominal value.
+    ['Msun', [M_SUN_SI, D({ M: 1 }), false]],
+    // GM☉/G, so G × Msun_iau is the IAU solar mass parameter.
+    ['Msun_iau', [GM_SUN_SI / G_SI, D({ M: 1 }), false]],
+    // Tesla. Exact, so it is not a prefix: `Ts` is a terasecond, `T` is a tesla.
+    ['T', [1, D({ M: 1, T: -2, I: -1 }), false]],
+    // Gauss = 10⁻⁴ T. Exact, so `GPa` stays gigapascal (prefix G + Pa) and bare `G` is gauss.
+    ['G', [1e-4, D({ M: 1, T: -2, I: -1 }), false]],
+    ['bar', [1e5, D({ L: -1, M: 1, T: -2 }), true]],
+    ['atm', [101325, D({ L: -1, M: 1, T: -2 }), false]],
+    ['angstrom', [1e-10, D({ L: 1 }), false]],
+    ['Angstrom', [1e-10, D({ L: 1 }), false]],
+    ['Å', [1e-10, D({ L: 1 }), false]],
+    // IAU-style parsec; the prefix applies, so `Mpc` is a megaparsec.
+    ['pc', [3.0856775814913673e16, D({ L: 1 }), true]],
+    ['ly', [C_SI * 365.25 * 86400, D({ L: 1 }), false]],
+]);
+const CELSIUS_OFFSET_K = 273.15;
+const PREFIXES = new Map([
+    ['Y', 1e24], ['Z', 1e21], ['E', 1e18], ['P', 1e15], ['T', 1e12], ['G', 1e9], ['M', 1e6], ['k', 1e3],
+    ['h', 1e2], ['da', 1e1], ['d', 1e-1], ['c', 1e-2], ['m', 1e-3], ['u', 1e-6], ['µ', 1e-6], ['μ', 1e-6],
+    ['n', 1e-9], ['p', 1e-12], ['f', 1e-15], ['a', 1e-18], ['z', 1e-21], ['y', 1e-24],
+]);
+function parseSymbol(sym) {
+    const exact = UNITS.get(sym);
+    if (exact !== undefined)
+        return [exact[0], exact[1]];
+    for (const [p, f] of PREFIXES) {
+        if (!sym.startsWith(p))
+            continue;
+        const base = UNITS.get(sym.slice(p.length));
+        if (base !== undefined && base[2])
+            return [f * base[0], base[1]];
+    }
+    throw new UnitError(`unknown unit '${sym}'`);
+}
+function parseFactors(text, sign) {
+    let scale = 1;
+    let dim = DIMENSIONLESS;
+    for (const f of text.split(/[*·\s]+/).filter((x) => x.length > 0)) {
+        const m = /^([^\^]+)(?:\^([+-]?\d+))?$/.exec(f);
+        if (m === null)
+            throw new UnitError(`cannot read unit factor '${f}'`);
+        const n = sign * (m[2] === undefined ? 1 : Number(m[2]));
+        const [s, d] = parseSymbol(m[1]);
+        scale *= s ** n;
+        dim = multiply(dim, power(d, n));
+    }
+    return { scale, dim };
+}
+/**
+ * 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.
+ * @internal
+ */
+export function unitConventionNotes(given) {
+    const notes = [];
+    const symbols = given.split(/[*·/\s^0-9()+-]+/).filter((s) => s.length > 0);
+    if (symbols.includes('myr')) {
+        notes.push('myr is a milliyear (the SI prefix m on yr = 0.001 yr), not a million years; a million years is Myr');
+    }
+    if (symbols.includes('Msun')) {
+        notes.push(`Msun is ${M_SUN_SI} kg (M_SUN_SI), not GM☉/G; G×Msun is about 3.0e-4 high versus the IAU GM☉. Use the unit Msun_iau, or the eval name GM_sun, for GM_SUN_SI`);
+    }
+    if (symbols.includes('G'))
+        notes.push('bare G is the gauss (1e-4 T); GPa is still a gigapascal');
+    if (symbols.includes('T'))
+        notes.push('bare T is the tesla; Ts is a terasecond');
+    if (symbols.includes('A'))
+        notes.push('bare A is the ampere, not the angstrom; write angstrom or Å for 10^-10 m');
+    return notes;
+}
+/** Parse a unit expression; the empty string is dimensionless. @internal */
+export function parseUnit(text) {
+    const t = text.trim();
+    if (t === '' || t === '1')
+        return { scale: 1, dim: DIMENSIONLESS };
+    if (t === 'degC' || t === '°C')
+        return { scale: 1, dim: D({ Theta: 1 }), affine: 'celsius' };
+    if (/deg ?F|°F/.test(t))
+        throw new UnitError('Fahrenheit is not accepted; give K or degC');
+    if (/degC|°C/.test(t))
+        throw new UnitError('degC is affine and cannot be part of a compound unit; give K');
+    const parts = t.split('/');
+    if (parts.length > 2)
+        throw new UnitError(`'${t}' has more than one '/'; put the whole denominator after one '/'`);
+    const num = parseFactors(parts[0], 1);
+    if (parts.length === 1)
+        return num;
+    const den = parseFactors(parts[1].replace(/^\((.*)\)$/, '$1'), -1);
+    return { scale: num.scale * den.scale, dim: multiply(num.dim, den.dim) };
+}
+/**
+ * Convert `raw` (`<number>[unit]`) into `target` (a unit expression). A bare
+ * number is taken to be in `target` already. The dimensions must agree.
+ *
+ * @returns the value in `target`, and the unit the user gave (`''` for none).
+ * @internal
+ */
+export function convertValue(raw, target, reading = 'absolute') {
+    const m = /^\s*([+-]?(?:\d+\.?\d*|\.\d+)(?:[eE][+-]?\d+)?)\s*(.*?)\s*$/.exec(raw);
+    if (m === null)
+        throw new UnitError(`'${raw}' is not a number with an optional unit`);
+    const v = Number(m[1]);
+    const given = m[2];
+    if (!Number.isFinite(v))
+        throw new UnitError(`'${raw}' is not a finite number`);
+    if (given === '')
+        return { value: v, given };
+    const from = parseUnit(given);
+    const to = parseUnit(target);
+    if (to.affine !== undefined)
+        throw new UnitError(`a declared unit cannot be affine ('${target}')`);
+    if (!equals(from.dim, to.dim)) {
+        throw new UnitError(`'${given}' is ${format(from.dim)}, but this input is ${format(to.dim)} (${target || 'dimensionless'})`);
+    }
+    const offset = from.affine === 'celsius' && reading === 'absolute' ? CELSIUS_OFFSET_K : 0;
+    return { value: (v * from.scale + offset) / to.scale, given };
+}
+/** The dimension of a declared unit expression. @internal */
+export function unitDimension(unit) {
+    return parseUnit(unit).dim;
+}
+/** The tables conversion reads, for the CLI record's fingerprint (`src/cli/record-tables.ts`). @internal */
+export function unitTables() {
+    return { units: UNITS, prefixes: PREFIXES, celsiusOffsetK: CELSIUS_OFFSET_K };
+}
+//# sourceMappingURL=units.js.map

package/dist/dimensional/units.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"units.js","sourceRoot":"","sources":["../../src/dimensional/units.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAE/D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAU7E,uFAAuF;AACvF,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,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,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACvC,MAAM,aAAa,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;AAE5B,kEAAkE;AAClE,MAAM,KAAK,GAA+D,IAAI,GAAG,CAAC;IAChF,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7B,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7B,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACjC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7B,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC/B,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5C,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACvB,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACnC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACnD,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAC3B,4EAA4E;IAC5E,8DAA8D;IAC9D,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;IACzC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;IACjC,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;IAC9C,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACjC,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACjC,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAClC,yDAAyD;IACzD,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC3C,CAAC,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAC1C,CAAC,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAC1C,gEAAgE;IAChE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACxC,0DAA0D;IAC1D,CAAC,UAAU,EAAE,CAAC,SAAS,GAAG,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACpD,6EAA6E;IAC7E,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5C,0FAA0F;IAC1F,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC/C,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACnD,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACzC,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACzC,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAClC,kEAAkE;IAClE,CAAC,IAAI,EAAE,CAAC,qBAAqB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAClD,CAAC,IAAI,EAAE,CAAC,IAAI,GAAG,MAAM,GAAG,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;CACpD,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,MAAM,CAAC;AAEhC,MAAM,QAAQ,GAAgC,IAAI,GAAG,CAAC;IACpD,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;IACnG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC;IACrG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC;CAClF,CAAC,CAAC;AAEH,SAAS,WAAW,CAAC,GAAW;IAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;YAAE,SAAS;QACjC,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,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,IAAI,SAAS,CAAC,iBAAiB,GAAG,GAAG,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,IAAY;IAC9C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,GAAG,GAAG,aAAa,CAAC;IACxB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QAClE,MAAM,CAAC,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,IAAI,CAAC,KAAK,IAAI;YAAE,MAAM,IAAI,SAAS,CAAC,4BAA4B,CAAC,GAAG,CAAC,CAAC;QACtE,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QAClC,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,GAAG,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AACxB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAa;IAC/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC5E,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,oGAAoG,CAAC,CAAC;IACnH,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CACR,WAAW,QAAQ,0IAA0I,CAC9J,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC;IACjG,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACjF,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,0EAA0E,CAAC,CAAC;IAClH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;IACnE,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC7F,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,4CAA4C,CAAC,CAAC;IAC3F,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,8DAA8D,CAAC,CAAC;IAC3G,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;IACnH,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACnC,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;AAC3E,CAAC;AAKD;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,GAAW,EACX,MAAc,EACd,OAAO,GAAuB,UAAU;IAExC,MAAM,CAAC,GAAG,6DAA6D,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClF,IAAI,CAAC,KAAK,IAAI;QAAE,MAAM,IAAI,SAAS,CAAC,IAAI,GAAG,yCAAyC,CAAC,CAAC;IACtF,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;IACpB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,IAAI,GAAG,0BAA0B,CAAC,CAAC;IAChF,IAAI,KAAK,KAAK,EAAE;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;IAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAC7B,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,SAAS,CAAC,sCAAsC,MAAM,IAAI,CAAC,CAAC;IACnG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9B,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,MAAM,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1F,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC;AAChE,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;AAC7B,CAAC;AAED,4GAA4G;AAC5G,MAAM,UAAU,UAAU;IAKxB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,cAAc,EAAE,gBAAgB,EAAE,CAAC;AAChF,CAAC"}

package/dist/index.d.ts

@@ -33,7 +33,7 @@ export { BRIDGE_EQUATIONS } from './bridges/index.js';
 export type { BridgeEquationEntry, BridgeEquationStatus, BridgeIssueSeverity, BridgeIssueFixable, KnownIssue, } from './bridges/index.js';
 export { evaluateGravitationalLensing, type GravitationalLensingInputs, type GravitationalLensingResult, evaluatePerihelionPrecession, type PerihelionPrecessionInputs, type PerihelionPrecessionResult, evaluateQuantumHall, VON_KLITZING_SI, type QuantumHallInputs, type QuantumHallResult, evaluateCasimir, type CasimirInputs, type CasimirResult, evaluateUnruh, type UnruhInputs, type UnruhResult, evaluateJohnsonNyquist, type JohnsonNyquistInputs, type JohnsonNyquistResult, evaluateACJosephson, JOSEPHSON_CONSTANT_SI, type ACJosephsonInputs, type ACJosephsonResult, evaluateFractionalQH, type FractionalQHInputs, type FractionalQHResult, evaluateWiedemannFranz, LORENZ_NUMBER_SI, type WiedemannFranzInputs, type WiedemannFranzResult, evaluateBCSGap, BCS_GAP_RATIO, type BCSGapInputs, type BCSGapResult, evaluateChandrasekharMass, LANE_EMDEN_OMEGA3, type ChandrasekharInputs, type ChandrasekharResult, evaluateEddingtonLuminosity, THOMSON_CROSS_SECTION_SI, type EddingtonInputs, type EddingtonResult, evaluateJeansMass, type JeansInputs, type JeansResult, } from './bridges/index.js';
 export { BRIDGE_EVALUATORS, evaluateBridge } from './bridges/evaluators.js';
-export type { EvaluatorSpec } from './bridges/evaluators.js';
+export type { EvaluatorSpec, EvaluatorParameter, ParameterAlternate, GeometryRole } from './bridges/evaluators.js';
 export { BridgeEquations } from './bridges/bridge-equations.js';
 export { christoffel } from './dimensional/connection.js';
 export type { CovariantDerivativeNode } from './dimensional/validator.js';
@@ -41,7 +41,7 @@ export { ricci } from './dimensional/curvature.js';
 export type { RicciTensorNode } from './dimensional/validator.js';
 export { einstein } from './dimensional/curvature.js';
 export type { EinsteinTensorNode } from './dimensional/validator.js';
-export { bianchiResidual } from './dimensional/curvature.js';
+export { bianchiResidual } from './numerical/bianchi-residual.js';
 export type { BianchiResidualNode } from './dimensional/validator.js';
 export { verifyKillingEquation, checkKillingEquation, evaluateConservedCharge, } from './numerical/killing.js';
 export type { KillingEquationOptions, KillingEquationCheck, ChristoffelAccess, } from './numerical/killing.js';
@@ -128,12 +128,16 @@ export { describeGrounding } from './composition/grounding.js';
 export type { CandidateGrounding } from './composition/grounding.js';
 export { rankDiscoveries } from './composition/discovery.js';
 export type { VettedCandidate } from './composition/discovery.js';
-export { residualInSigma, combineInQuadrature } from './bridges/observations/types.js';
-export type { ObservationProvenance, SigmaComponent, ObservationKind, ConfrontationOutcome, } from './bridges/observations/types.js';
+export { residualInSigma, combineInQuadrature, consistencyComparison, } from './bridges/observations/types.js';
+export type { ConsistencyComparison, ObservationProvenance, SigmaComponent, ObservationKind, ConfrontationOutcome, ConfrontationDataHandling, ConfrontationPreprocessing, ConfrontationIndependence, SourceRef, SourceRefs, } from './bridges/observations/types.js';
 export { confrontBE37, CASSINI } from './bridges/be37-cassini-confrontation.js';
 export type { CassiniObservation, BE37ConfrontationResult, } from './bridges/be37-cassini-confrontation.js';
 export { confrontBE51, VLBI_LAMBERT_2009 } from './bridges/be51-lensing-confrontation.js';
 export type { VLBIDeflectionObservation, BE51ConfrontationResult, } from './bridges/be51-lensing-confrontation.js';
+export { oneLoopCoefficientStatement } from './bridges/equations/be-53-yang-mills-beta.js';
+export type { OneLoopCoefficientStatement, OneLoopCoefficientSign } from './bridges/equations/be-53-yang-mills-beta.js';
+export { requestYangMillsConfrontation } from './bridges/be53-yang-mills-confrontation.js';
+export type { MeasuredCouplingRow, RunningProcedure, RunningProcedureRecord, YangMillsConfrontationRequest, YangMillsConfrontationRefusal, YangMillsConfrontationHit, YangMillsConfrontationResult, } from './bridges/be53-yang-mills-confrontation.js';
 export { confrontBE21, KSS_BOUND, QGP_BMB19 } from './bridges/be21-kss-confrontation.js';
 export type { QGPViscosityObservation, BE21ConfrontationResult, } from './bridges/be21-kss-confrontation.js';
 export { confrontBE35, BOOTSTRAP_NU, BOOTSTRAP_NU_SIGMA, ISING_PELISSETTO_VICARI_2002, } from './bridges/be35-bootstrap-confrontation.js';