universal-physics-tensor 0.5.1 → 0.7.1

package/dist/bridges/equations/be-26-dna-tunneling.js

@@ -33,11 +33,10 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 26)
  * @module bridges/equations/be-26-dna-tunneling
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, FREQUENCY, MASS, LENGTH, ENERGY, } from '../../dimensional/types.js';
 import { hbar as DIM_hbar } from '../../dimensional/constants.js';
 import { PhysicalConstants } from '../../core/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * Lemma AST: the WKB exponent (2/ℏ) · ∫ √(2m(V−E)) dx, exposed for
  * verification that it is dimensionless.
@@ -89,7 +88,7 @@ export const DNA_TUNNELING_RHS = {
     ],
 };
 /** LHS: Γ has dimension [frequency]. */
-export const DNA_TUNNELING_LHS = sym('Gamma_mutation', FREQUENCY);
+const DNA_TUNNELING_LHS = sym('Gamma_mutation', FREQUENCY);
 /**
  * Evaluate Γ = ν₀ exp[−(2/ℏ) · √(2m(V−E)) · L] · f, assuming a
  * rectangular barrier of width L (so the integral collapses to
@@ -98,22 +97,14 @@ export const DNA_TUNNELING_LHS = sym('Gamma_mutation', FREQUENCY);
  * @returns Tunneling rate in s^-1.
  */
 export function evaluateDNATunneling(input) {
+    validateFiniteInputs(input, [
+        { name: 'nu_0', min: 0 },
+        { name: 'm', min: 0, excludeMin: true },
+        { name: 'V_minus_E', min: 0 },
+        { name: 'barrier_width', min: 0, excludeMin: true },
+        { name: 'f_correction' },
+    ], 'evaluateDNATunneling');
     const { nu_0, m, V_minus_E, barrier_width, f_correction } = input;
-    if (!Number.isFinite(nu_0) || nu_0 < 0) {
-        throw new RangeError(`evaluateDNATunneling: nu_0 must be a finite non-negative number, got ${nu_0}`);
-    }
-    if (!Number.isFinite(m) || m <= 0) {
-        throw new RangeError(`evaluateDNATunneling: m must be a finite positive number, got ${m}`);
-    }
-    if (!Number.isFinite(V_minus_E) || V_minus_E < 0) {
-        throw new RangeError(`evaluateDNATunneling: V_minus_E must be a finite non-negative number, got ${V_minus_E}`);
-    }
-    if (!Number.isFinite(barrier_width) || barrier_width <= 0) {
-        throw new RangeError(`evaluateDNATunneling: barrier_width must be a finite positive number, got ${barrier_width}`);
-    }
-    if (!Number.isFinite(f_correction)) {
-        throw new RangeError(`evaluateDNATunneling: f_correction must be finite, got ${f_correction}`);
-    }
     const { hbar } = PhysicalConstants;
     const p = Math.sqrt(2 * m * V_minus_E); // momentum-like
     const action = p * barrier_width; // [J·s]
@@ -125,14 +116,8 @@ export function evaluateDNATunneling(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * [frequency].
  */
+/** @internal */
 export function validateDNATunnelingDimensions() {
-    const eq = validateEquation(DNA_TUNNELING_LHS, DNA_TUNNELING_RHS);
-    const lhs = validate(DNA_TUNNELING_LHS);
-    const rhs = validate(DNA_TUNNELING_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(DNA_TUNNELING_LHS, DNA_TUNNELING_RHS, 'BE26');
 }
 //# sourceMappingURL=be-26-dna-tunneling.js.map

package/dist/bridges/equations/be-26-dna-tunneling.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-26-dna-tunneling.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-26-dna-tunneling.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,SAAS,EACT,IAAI,EACJ,MAAM,EACN,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,QAAQ;YACR,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;aACtB;SACF;QACD;YACE,kBAAkB;YAClB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;YACtB,SAAS,EAAE;gBACT,+BAA+B;gBAC/B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;gBACnB,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;wBACnB,IAAI,EAAE;4BACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;4BACvB,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;4BACd,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC;yBACzB;qBACF;oBACD,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;iBAC1B;aACF;SACF;KACF;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC;QACtB,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC;QACnC,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;KACjC;CACF,CAAC;AAEF,wCAAwC;AACxC,MAAM,CAAC,MAAM,iBAAiB,GAAa,GAAG,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;AAiB5E;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAyB;IAC5D,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAClE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,UAAU,CAClB,wEAAwE,IAAI,EAAE,CAC/E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAClB,iEAAiE,CAAC,EAAE,CACrE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,UAAU,CAClB,6EAA6E,SAAS,EAAE,CACzF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,aAAa,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,UAAU,CAClB,6EAA6E,aAAa,EAAE,CAC7F,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,UAAU,CAClB,0DAA0D,YAAY,EAAE,CACzE,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC;IACnC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAG,gBAAgB;IAC1D,MAAM,MAAM,GAAG,CAAC,GAAG,aAAa,CAAC,CAAS,QAAQ;IAClD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,MAAM,CAAC,CAAU,gBAAgB;IAC1D,OAAO,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC;AAC9C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,8BAA8B;IAC5C,MAAM,EAAE,GAAG,gBAAgB,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;IAClE,MAAM,GAAG,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;IACxC,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-26-dna-tunneling.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-26-dna-tunneling.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EACL,aAAa,EACb,SAAS,EACT,IAAI,EACJ,MAAM,EACN,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,QAAQ;YACR,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;aACtB;SACF;QACD;YACE,kBAAkB;YAClB,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;YACtB,SAAS,EAAE;gBACT,+BAA+B;gBAC/B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;gBACnB,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;wBACnB,IAAI,EAAE;4BACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;4BACvB,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;4BACd,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC;yBACzB;qBACF;oBACD,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;iBAC1B;aACF;SACF;KACF;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC;QACtB,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC;QACnC,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;KACjC;CACF,CAAC;AAEF,wCAAwC;AACxC,MAAM,iBAAiB,GAAa,GAAG,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;AAoBrE;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAyB;IAC5D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE;QAC7B,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACnD,EAAE,IAAI,EAAE,cAAc,EAAE;KACzB,EACD,sBAAsB,CACvB,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAClE,MAAM,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC;IACnC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAG,gBAAgB;IAC1D,MAAM,MAAM,GAAG,CAAC,GAAG,aAAa,CAAC,CAAS,QAAQ;IAClD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,MAAM,CAAC,CAAU,gBAAgB;IAC1D,OAAO,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC;AAC9C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,8BAA8B;IAC5C,OAAO,oBAAoB,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;AAC5E,CAAC"}

package/dist/bridges/equations/be-27-effective-temperature.d.ts

@@ -55,8 +55,12 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
  */
 export declare const BE27_TEFF_RHS: ExprNode;
 /** LHS: T_eff has dimension [temperature]. */
+/** @internal */
 export declare const BE27_TEFF_LHS: ExprNode;
-export interface EffectiveTemperatureInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateEffectiveTemperature` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface EffectiveTemperatureInputs {
     /** Bath temperature T (K). Must be > 0 and finite. */
     T_K: number;
     /**
@@ -77,5 +81,7 @@ export declare function evaluateEffectiveTemperature(input: EffectiveTemperature
  * Run the AST through the dimensional analyzer; both sides should be
  * [temperature].
  */
+/** @internal */
 export declare function validateBE27Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-27-effective-temperature.d.ts.map

package/dist/bridges/equations/be-27-effective-temperature.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-27-effective-temperature.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-27-effective-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAa1F;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,EAAE,QAwB3B,CAAC;AAEF,8CAA8C;AAC9C,eAAO,MAAM,aAAa,EAAE,QAAoC,CAAC;AAIjE,MAAM,WAAW,0BAA0B;IACzC,sDAAsD;IACtD,GAAG,EAAE,MAAM,CAAC;IACZ;;;OAGG;IACH,cAAc,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,0BAA0B,GAChC,MAAM,CAcR;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-27-effective-temperature.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-27-effective-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAU1F;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,EAAE,QAwB3B,CAAC;AAEF,8CAA8C;AAC9C,gBAAgB;AAChB,eAAO,MAAM,aAAa,EAAE,QAAoC,CAAC;AAIjE;;GAEG;AACH,UAAU,0BAA0B;IAClC,sDAAsD;IACtD,GAAG,EAAE,MAAM,CAAC;IACZ;;;OAGG;IACH,cAAc,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAC1C,KAAK,EAAE,0BAA0B,GAChC,MAAM,CAYR;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-27-effective-temperature.js

@@ -44,11 +44,10 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 27)
  * @module bridges/equations/be-27-effective-temperature
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, ENERGY, TEMPERATURE, } from '../../dimensional/types.js';
 import { k_B as DIM_kB } from '../../dimensional/constants.js';
 import { PhysicalConstants } from '../../core/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * RHS of the Cugliandolo-Kurchan effective-temperature scalar form:
  *   T_eff = T · (1 + Σ_active / (k_B T))
@@ -83,6 +82,7 @@ export const BE27_TEFF_RHS = {
     ],
 };
 /** LHS: T_eff has dimension [temperature]. */
+/** @internal */
 export const BE27_TEFF_LHS = sym('T_eff', TEMPERATURE);
 /**
  * Evaluate the effective temperature
@@ -92,13 +92,11 @@ export const BE27_TEFF_LHS = sym('T_eff', TEMPERATURE);
  * @returns Effective temperature in K.
  */
 export function evaluateEffectiveTemperature(input) {
+    validateFiniteInputs(input, [
+        { name: 'T_K', min: 0, excludeMin: true },
+        { name: 'Sigma_active_J' },
+    ], 'evaluateEffectiveTemperature');
     const { T_K, Sigma_active_J } = input;
-    if (!Number.isFinite(T_K) || T_K <= 0) {
-        throw new RangeError(`evaluateEffectiveTemperature: T_K must be a finite positive number, got ${T_K}`);
-    }
-    if (!Number.isFinite(Sigma_active_J)) {
-        throw new RangeError(`evaluateEffectiveTemperature: Sigma_active_J must be finite, got ${Sigma_active_J}`);
-    }
     const { kB } = PhysicalConstants;
     return T_K * (1 + Sigma_active_J / (kB * T_K));
 }
@@ -107,14 +105,8 @@ export function evaluateEffectiveTemperature(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * [temperature].
  */
+/** @internal */
 export function validateBE27Dimensions() {
-    const eq = validateEquation(BE27_TEFF_LHS, BE27_TEFF_RHS);
-    const lhs = validate(BE27_TEFF_LHS);
-    const rhs = validate(BE27_TEFF_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE27_TEFF_LHS, BE27_TEFF_RHS, 'BE27');
 }
 //# sourceMappingURL=be-27-effective-temperature.js.map

package/dist/bridges/equations/be-27-effective-temperature.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-27-effective-temperature.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-27-effective-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,EACN,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,IAAI,MAAM,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;QACrB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;wBAC3B;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE;gCACJ,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gCAClB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;6BACtB;yBACF;qBACF;iBACF;aACF;SACF;KACF;CACF,CAAC;AAEF,8CAA8C;AAC9C,MAAM,CAAC,MAAM,aAAa,GAAa,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;AAcjE;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAC1C,KAAiC;IAEjC,MAAM,EAAE,GAAG,EAAE,cAAc,EAAE,GAAG,KAAK,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,2EAA2E,GAAG,EAAE,CACjF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,UAAU,CAClB,oEAAoE,cAAc,EAAE,CACrF,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACjC,OAAO,GAAG,GAAG,CAAC,CAAC,GAAG,cAAc,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAC1D,MAAM,GAAG,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC;IACpC,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-27-effective-temperature.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-27-effective-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAGH,OAAO,EACL,aAAa,EACb,MAAM,EACN,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,IAAI,MAAM,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;QACrB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;wBAC3B;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE;gCACJ,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gCAClB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;6BACtB;yBACF;qBACF;iBACF;aACF;SACF;KACF;CACF,CAAC;AAEF,8CAA8C;AAC9C,gBAAgB;AAChB,MAAM,CAAC,MAAM,aAAa,GAAa,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;AAiBjE;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAC1C,KAAiC;IAEjC,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACzC,EAAE,IAAI,EAAE,gBAAgB,EAAE;KAC3B,EACD,8BAA8B,CAC/B,CAAC;IACF,MAAM,EAAE,GAAG,EAAE,cAAc,EAAE,GAAG,KAAK,CAAC;IACtC,MAAM,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACjC,OAAO,GAAG,GAAG,CAAC,CAAC,GAAG,cAAc,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,aAAa,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;AACpE,CAAC"}

package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts

@@ -149,8 +149,12 @@ export declare const BE28_FORCE_FLUX_PRODUCT: ExprNode;
  */
 export declare const BE28_ENTROPY_PRODUCTION_RHS: ExprNode;
 /** LHS: σ (total entropy production rate). Dim `[entropy/time]`. */
+/** @internal */
 export declare const BE28_ENTROPY_PRODUCTION_LHS: ExprNode;
-export interface OnsagerEntropyInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateOnsagerEntropy` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface OnsagerEntropyInputs {
     /** Sum of force-flux products Σᵢ Jᵢ Xᵢ in SI units [W/K]. Must be finite and ≥ 0 (Second Law). */
     force_flux_product_W_per_K: number;
 }
@@ -171,5 +175,7 @@ export declare function evaluateOnsagerEntropyProduction(input: OnsagerEntropyIn
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be `[entropy/time]`.
  */
+/** @internal */
 export declare function validateBE28Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-28-onsager-entropy-production.d.ts.map

package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-28-onsager-entropy-production.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-28-onsager-entropy-production.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+HG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAqB1F;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAGrC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,EAAE,QAAkC,CAAC;AAE7E,oEAAoE;AACpE,eAAO,MAAM,2BAA2B,EAAE,QAAqC,CAAC;AAIhF,MAAM,WAAW,oBAAoB;IACnC,kGAAkG;IAClG,0BAA0B,EAAE,MAAM,CAAC;CACpC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CAepF;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-28-onsager-entropy-production.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-28-onsager-entropy-production.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+HG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAmB1F;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAGrC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,EAAE,QAAkC,CAAC;AAE7E,oEAAoE;AACpE,gBAAgB;AAChB,eAAO,MAAM,2BAA2B,EAAE,QAAqC,CAAC;AAIhF;;GAEG;AACH,UAAU,oBAAoB;IAC5B,kGAAkG;IAClG,0BAA0B,EAAE,MAAM,CAAC;CACpC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CAmBpF;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

package/dist/bridges/equations/be-28-onsager-entropy-production.js

@@ -126,8 +126,7 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 28)
  * @module bridges/equations/be-28-onsager-entropy-production
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 // --- Local dim constants ---
 /**
  * [L² M T⁻³ Θ⁻¹] = [entropy/time] = [W/K] — total entropy production
@@ -160,6 +159,7 @@ export const BE28_FORCE_FLUX_PRODUCT = sym('force_flux_product', ENTROPY_RATE);
  */
 export const BE28_ENTROPY_PRODUCTION_RHS = BE28_FORCE_FLUX_PRODUCT;
 /** LHS: σ (total entropy production rate). Dim `[entropy/time]`. */
+/** @internal */
 export const BE28_ENTROPY_PRODUCTION_LHS = sym('sigma', ENTROPY_RATE);
 /**
  * Evaluate the Onsager linear-response entropy production rate:
@@ -174,10 +174,12 @@ export const BE28_ENTROPY_PRODUCTION_LHS = sym('sigma', ENTROPY_RATE);
  *   by the Second Law.
  */
 export function evaluateOnsagerEntropyProduction(input) {
+    // Helper handles the finiteness check. The Second-Law non-negativity
+    // guard stays inline because its bespoke prose (referencing the
+    // "Second Law" + "sign convention") is pattern-matched by
+    // tests/bridges/be-28-onsager-encoding.test.ts at line 159.
+    validateFiniteInputs(input, [{ name: 'force_flux_product_W_per_K' }], 'evaluateOnsagerEntropyProduction');
     const { force_flux_product_W_per_K } = input;
-    if (!Number.isFinite(force_flux_product_W_per_K)) {
-        throw new RangeError(`evaluateOnsagerEntropyProduction: force_flux_product_W_per_K must be finite, got ${force_flux_product_W_per_K}`);
-    }
     if (force_flux_product_W_per_K < 0) {
         throw new RangeError(`evaluateOnsagerEntropyProduction: σ ≥ 0 by the Second Law; got ${force_flux_product_W_per_K}. ` +
             `If the input represents a fluctuation that can be negative on short timescales, ` +
@@ -190,14 +192,8 @@ export function evaluateOnsagerEntropyProduction(input) {
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be `[entropy/time]`.
  */
+/** @internal */
 export function validateBE28Dimensions() {
-    const eq = validateEquation(BE28_ENTROPY_PRODUCTION_LHS, BE28_ENTROPY_PRODUCTION_RHS);
-    const lhs = validate(BE28_ENTROPY_PRODUCTION_LHS);
-    const rhs = validate(BE28_ENTROPY_PRODUCTION_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE28_ENTROPY_PRODUCTION_LHS, BE28_ENTROPY_PRODUCTION_RHS, 'BE28');
 }
 //# sourceMappingURL=be-28-onsager-entropy-production.js.map

package/dist/bridges/equations/be-28-onsager-entropy-production.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-28-onsager-entropy-production.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-28-onsager-entropy-production.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+HG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAK5E,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,8BAA8B;AAE9B;;;;GAIG;AACH,MAAM,YAAY,GAAc;IAC9B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF,uBAAuB;AAEvB;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAa,GAAG,CAClD,oBAAoB,EACpB,YAAY,CACb,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAa,uBAAuB,CAAC;AAE7E,oEAAoE;AACpE,MAAM,CAAC,MAAM,2BAA2B,GAAa,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;AAShF;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,gCAAgC,CAAC,KAA2B;IAC1E,MAAM,EAAE,0BAA0B,EAAE,GAAG,KAAK,CAAC;IAC7C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,UAAU,CAClB,oFAAoF,0BAA0B,EAAE,CACjH,CAAC;IACJ,CAAC;IACD,IAAI,0BAA0B,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,UAAU,CAClB,kEAAkE,0BAA0B,IAAI;YAC9F,kFAAkF;YAClF,qGAAqG,CACxG,CAAC;IACJ,CAAC;IACD,OAAO,0BAA0B,CAAC;AACpC,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,2BAA2B,EAAE,2BAA2B,CAAC,CAAC;IACtF,MAAM,GAAG,GAAG,QAAQ,CAAC,2BAA2B,CAAC,CAAC;IAClD,MAAM,GAAG,GAAG,QAAQ,CAAC,2BAA2B,CAAC,CAAC;IAClD,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-28-onsager-entropy-production.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-28-onsager-entropy-production.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+HG;AAMH,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,8BAA8B;AAE9B;;;;GAIG;AACH,MAAM,YAAY,GAAc;IAC9B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF,uBAAuB;AAEvB;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAa,GAAG,CAClD,oBAAoB,EACpB,YAAY,CACb,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAa,uBAAuB,CAAC;AAE7E,oEAAoE;AACpE,gBAAgB;AAChB,MAAM,CAAC,MAAM,2BAA2B,GAAa,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;AAYhF;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,gCAAgC,CAAC,KAA2B;IAC1E,qEAAqE;IACrE,gEAAgE;IAChE,0DAA0D;IAC1D,4DAA4D;IAC5D,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC,EACxC,kCAAkC,CACnC,CAAC;IACF,MAAM,EAAE,0BAA0B,EAAE,GAAG,KAAK,CAAC;IAC7C,IAAI,0BAA0B,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,UAAU,CAClB,kEAAkE,0BAA0B,IAAI;YAC9F,kFAAkF;YAClF,qGAAqG,CACxG,CAAC;IACJ,CAAC;IACD,OAAO,0BAA0B,CAAC;AACpC,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,2BAA2B,EAC3B,2BAA2B,EAC3B,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-29-jarzynski.d.ts

@@ -53,8 +53,12 @@ export declare const BE29_BETAW_ARG: ExprNode;
  */
 export declare const BE29_JARZYNSKI_RHS: ExprNode;
 /** LHS: ΔF has dimension [energy]. */
+/** @internal */
 export declare const BE29_JARZYNSKI_LHS: ExprNode;
-export interface JarzynskiInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateJarzynski` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface JarzynskiInputs {
     /**
      * Sample of work values W_i (joules) from N independent realizations
      * of the non-equilibrium protocol (forward direction).
@@ -82,5 +86,7 @@ export declare function evaluateJarzynski(input: JarzynskiInputs): number;
  * Run the AST through the dimensional analyzer; both sides should be
  * [energy].
  */
+/** @internal */
 export declare function validateBE29Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-29-jarzynski.d.ts.map

package/dist/bridges/equations/be-29-jarzynski.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-29-jarzynski.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-29-jarzynski.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAa1F;;;;;GAKG;AACH,eAAO,MAAM,cAAc,EAAE,QAY5B,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAQhC,CAAC;AAEF,sCAAsC;AACtC,eAAO,MAAM,kBAAkB,EAAE,QAAiC,CAAC;AAInE,MAAM,WAAW,eAAe;IAC9B;;;OAGG;IACH,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACnC,iDAAiD;IACjD,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CA2BhE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-29-jarzynski.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-29-jarzynski.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAU1F;;;;;GAKG;AACH,eAAO,MAAM,cAAc,EAAE,QAY5B,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAQhC,CAAC;AAEF,sCAAsC;AACtC,gBAAgB;AAChB,eAAO,MAAM,kBAAkB,EAAE,QAAiC,CAAC;AAInE;;GAEG;AACH,UAAU,eAAe;IACvB;;;OAGG;IACH,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACnC,iDAAiD;IACjD,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CA8BhE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-29-jarzynski.js

@@ -32,11 +32,10 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 29)
  * @module bridges/equations/be-29-jarzynski
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, ENERGY, TEMPERATURE, } from '../../dimensional/types.js';
 import { k_B as DIM_kB } from '../../dimensional/constants.js';
 import { PhysicalConstants } from '../../core/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * Lemma AST: the exp-argument β·W = W/(k_B T), exposed for verification
  * that the exponent is dimensionless.
@@ -77,6 +76,7 @@ export const BE29_JARZYNSKI_RHS = {
     ],
 };
 /** LHS: ΔF has dimension [energy]. */
+/** @internal */
 export const BE29_JARZYNSKI_LHS = sym('Delta_F', ENERGY);
 /**
  * Evaluate the Jarzynski free-energy difference from a sample of work
@@ -93,10 +93,11 @@ export const BE29_JARZYNSKI_LHS = sym('Delta_F', ENERGY);
  * @returns Free-energy difference ΔF in joules.
  */
 export function evaluateJarzynski(input) {
+    // Helper handles the T_K finite-positive guard. The array-shape +
+    // per-element checks for W_samples_J stay inline (non-standard:
+    // array primitive + per-element loop, not a scalar field).
+    validateFiniteInputs(input, [{ name: 'T_K', min: 0, excludeMin: true }], 'evaluateJarzynski');
     const { W_samples_J, T_K } = input;
-    if (!Number.isFinite(T_K) || T_K <= 0) {
-        throw new RangeError(`evaluateJarzynski: T_K must be a finite positive number, got ${T_K}`);
-    }
     if (!Array.isArray(W_samples_J) || W_samples_J.length === 0) {
         throw new RangeError('evaluateJarzynski: W_samples_J must be a non-empty array');
     }
@@ -119,14 +120,8 @@ export function evaluateJarzynski(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * [energy].
  */
+/** @internal */
 export function validateBE29Dimensions() {
-    const eq = validateEquation(BE29_JARZYNSKI_LHS, BE29_JARZYNSKI_RHS);
-    const lhs = validate(BE29_JARZYNSKI_LHS);
-    const rhs = validate(BE29_JARZYNSKI_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE29_JARZYNSKI_LHS, BE29_JARZYNSKI_RHS, 'BE29');
 }
 //# sourceMappingURL=be-29-jarzynski.js.map

package/dist/bridges/equations/be-29-jarzynski.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-29-jarzynski.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-29-jarzynski.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,EACN,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,IAAI,MAAM,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;QAChB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gBAClB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;aACtB;SACF;KACF;CACF,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;QACxB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;QAClB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;QACrB,GAAG,CAAC,wBAAwB,EAAE,aAAa,CAAC;KAC7C;CACF,CAAC;AAEF,sCAAsC;AACtC,MAAM,CAAC,MAAM,kBAAkB,GAAa,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;AAcnE;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB;IACtD,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,gEAAgE,GAAG,EAAE,CACtE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,UAAU,CAClB,0DAA0D,CAC3D,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,UAAU,CAClB,iEAAiE,CAAC,EAAE,CACrE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC;IAC5B,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC;IACrC,OAAO,CAAC,EAAE,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACnC,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;IACpE,MAAM,GAAG,GAAG,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IACzC,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-29-jarzynski.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-29-jarzynski.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAGH,OAAO,EACL,aAAa,EACb,MAAM,EACN,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,IAAI,MAAM,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;QAChB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gBAClB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;aACtB;SACF;KACF;CACF,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;QACxB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;QAClB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;QACrB,GAAG,CAAC,wBAAwB,EAAE,aAAa,CAAC;KAC7C;CACF,CAAC;AAEF,sCAAsC;AACtC,gBAAgB;AAChB,MAAM,CAAC,MAAM,kBAAkB,GAAa,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;AAiBnE;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB;IACtD,kEAAkE;IAClE,gEAAgE;IAChE,2DAA2D;IAC3D,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAC3C,mBAAmB,CACpB,CAAC;IACF,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,UAAU,CAClB,0DAA0D,CAC3D,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,UAAU,CAClB,iEAAiE,CAAC,EAAE,CACrE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC;IAC5B,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC;IACrC,OAAO,CAAC,EAAE,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACnC,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,CAAC,CAAC;AAC9E,CAAC"}

package/dist/bridges/equations/be-30-flm-first-law.d.ts

@@ -51,8 +51,12 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
  */
 export declare const BE30_FLM_RHS: ExprNode;
 /** LHS: δS_EE has dimension [1] (nats). */
+/** @internal */
 export declare const BE30_FLM_LHS: ExprNode;
-export interface FLMFirstLawInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateFLMFirstLaw` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface FLMFirstLawInputs {
     /**
      * Variation of the modular-Hamiltonian expectation value δ⟨H_R⟩, in
      * nats (dimensionless). Must be finite.
@@ -66,7 +70,10 @@ export interface FLMFirstLawInputs {
  * @returns Variation of entanglement entropy in nats.
  */
 export declare function evaluateFLMFirstLaw(input: FLMFirstLawInputs): number;
-export interface BekensteinBoundInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateBekensteinBound` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface BekensteinBoundInputs {
     /** Region radius R (m). Must be > 0 and finite. */
     R_m: number;
     /** Total energy E in the region (J). Must be > 0 and finite. */
@@ -89,5 +96,7 @@ export declare function evaluateBekensteinBound(input: BekensteinBoundInputs): n
  * Run the AST through the dimensional analyzer; both sides should be
  * DIMENSIONLESS.
  */
+/** @internal */
 export declare function validateBE30Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-30-flm-first-law.d.ts.map

package/dist/bridges/equations/be-30-flm-first-law.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-30-flm-first-law.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-30-flm-first-law.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAU1F;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,EAAE,QAA8C,CAAC;AAE1E,2CAA2C;AAC3C,eAAO,MAAM,YAAY,EAAE,QAA2C,CAAC;AAIvE,MAAM,WAAW,iBAAiB;IAChC;;;OAGG;IACH,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,iBAAiB,GAAG,MAAM,CAQpE;AAID,MAAM,WAAW,qBAAqB;IACpC,mDAAmD;IACnD,GAAG,EAAE,MAAM,CAAC;IACZ,gEAAgE;IAChE,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG,MAAM,CAc5E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-30-flm-first-law.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-30-flm-first-law.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAO1F;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,EAAE,QAA8C,CAAC;AAE1E,2CAA2C;AAC3C,gBAAgB;AAChB,eAAO,MAAM,YAAY,EAAE,QAA2C,CAAC;AAIvE;;GAEG;AACH,UAAU,iBAAiB;IACzB;;;OAGG;IACH,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,iBAAiB,GAAG,MAAM,CAGpE;AAID;;GAEG;AACH,UAAU,qBAAqB;IAC7B,mDAAmD;IACnD,GAAG,EAAE,MAAM,CAAC;IACZ,gEAAgE;IAChE,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG,MAAM,CAY5E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-30-flm-first-law.js

@@ -41,10 +41,9 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 30)
  * @module bridges/equations/be-30-flm-first-law
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, } from '../../dimensional/types.js';
 import { PhysicalConstants } from '../../core/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * RHS of the FLM first-law identity:
  *   δS_EE = δ⟨H_R⟩
@@ -54,6 +53,7 @@ const sym = (name, dim) => ({ kind: 'symbol', name, dim });
  */
 export const BE30_FLM_RHS = sym('delta_avg_H_R', DIMENSIONLESS);
 /** LHS: δS_EE has dimension [1] (nats). */
+/** @internal */
 export const BE30_FLM_LHS = sym('delta_S_EE', DIMENSIONLESS);
 /**
  * Evaluate the FLM first-law identity δS_EE = δ⟨H_R⟩ — a tautology by
@@ -62,11 +62,8 @@ export const BE30_FLM_LHS = sym('delta_S_EE', DIMENSIONLESS);
  * @returns Variation of entanglement entropy in nats.
  */
 export function evaluateFLMFirstLaw(input) {
-    const { delta_avg_H_R } = input;
-    if (!Number.isFinite(delta_avg_H_R)) {
-        throw new RangeError(`evaluateFLMFirstLaw: delta_avg_H_R must be finite, got ${delta_avg_H_R}`);
-    }
-    return delta_avg_H_R;
+    validateFiniteInputs(input, [{ name: 'delta_avg_H_R' }], 'evaluateFLMFirstLaw');
+    return input.delta_avg_H_R;
 }
 /**
  * Evaluate the Bekenstein universal entropy bound
@@ -81,13 +78,11 @@ export function evaluateFLMFirstLaw(input) {
  * @returns Bekenstein upper bound on entropy in nats.
  */
 export function evaluateBekensteinBound(input) {
+    validateFiniteInputs(input, [
+        { name: 'R_m', min: 0, excludeMin: true },
+        { name: 'E_J', min: 0, excludeMin: true },
+    ], 'evaluateBekensteinBound');
     const { R_m, E_J } = input;
-    if (!Number.isFinite(R_m) || R_m <= 0) {
-        throw new RangeError(`evaluateBekensteinBound: R_m must be a finite positive number, got ${R_m}`);
-    }
-    if (!Number.isFinite(E_J) || E_J <= 0) {
-        throw new RangeError(`evaluateBekensteinBound: E_J must be a finite positive number, got ${E_J}`);
-    }
     const { hbar, c } = PhysicalConstants;
     return (2 * Math.PI * R_m * E_J) / (hbar * c);
 }
@@ -96,14 +91,8 @@ export function evaluateBekensteinBound(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * DIMENSIONLESS.
  */
+/** @internal */
 export function validateBE30Dimensions() {
-    const eq = validateEquation(BE30_FLM_LHS, BE30_FLM_RHS);
-    const lhs = validate(BE30_FLM_LHS);
-    const rhs = validate(BE30_FLM_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE30_FLM_LHS, BE30_FLM_RHS, 'BE30');
 }
 //# sourceMappingURL=be-30-flm-first-law.js.map

package/dist/bridges/equations/be-30-flm-first-law.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-30-flm-first-law.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-30-flm-first-law.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;AAE1E,2CAA2C;AAC3C,MAAM,CAAC,MAAM,YAAY,GAAa,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;AAYvE;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAwB;IAC1D,MAAM,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,UAAU,CAClB,0DAA0D,aAAa,EAAE,CAC1E,CAAC;IACJ,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAWD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAA4B;IAClE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC3B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,sEAAsE,GAAG,EAAE,CAC5E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,sEAAsE,GAAG,EAAE,CAC5E,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACtC,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;IACnC,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-30-flm-first-law.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-30-flm-first-law.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAGH,OAAO,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;AAE1E,2CAA2C;AAC3C,gBAAgB;AAChB,MAAM,CAAC,MAAM,YAAY,GAAa,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;AAevE;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAwB;IAC1D,oBAAoB,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,EAAE,qBAAqB,CAAC,CAAC;IAChF,OAAO,KAAK,CAAC,aAAa,CAAC;AAC7B,CAAC;AAcD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAA4B;IAClE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACzC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC1C,EACD,yBAAyB,CAC1B,CAAC;IACF,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC3B,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACtC,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,YAAY,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;AAClE,CAAC"}

package/dist/bridges/equations/be-31-causal-set-bd.d.ts

@@ -67,8 +67,12 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
  */
 export declare const BE31_CAUSAL_SET_BD_RHS: ExprNode;
 /** LHS: R(p) has dimension [L^-2]. */
+/** @internal */
 export declare const BE31_CAUSAL_SET_BD_LHS: ExprNode;
-export interface BenincasaDowkerInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateBenincasaDowker` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface BenincasaDowkerInputs {
     /** Cardinality-2 inclusion-exclusion count N_0(p) (dimensionless integer in practice; finite real here for derivative tests). */
     N_0: number;
     /** Cardinality-3 count N_1(p). */
@@ -92,5 +96,7 @@ export declare function evaluateBenincasaDowker(input: BenincasaDowkerInputs): n
  * Run the AST through the dimensional analyzer; both sides should be
  * [L^-2].
  */
+/** @internal */
 export declare function validateBE31Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-31-causal-set-bd.d.ts.map

package/dist/bridges/equations/be-31-causal-set-bd.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-31-causal-set-bd.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-31-causal-set-bd.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAkB1F;;;;;;;;;;GAUG;AACH,eAAO,MAAM,sBAAsB,EAAE,QASpC,CAAC;AAEF,sCAAsC;AACtC,eAAO,MAAM,sBAAsB,EAAE,QAAmC,CAAC;AAIzE,MAAM,WAAW,qBAAqB;IACpC,iIAAiI;IACjI,GAAG,EAAE,MAAM,CAAC;IACZ,kCAAkC;IAClC,GAAG,EAAE,MAAM,CAAC;IACZ,kCAAkC;IAClC,GAAG,EAAE,MAAM,CAAC;IACZ,kCAAkC;IAClC,GAAG,EAAE,MAAM,CAAC;IACZ,qDAAqD;IACrD,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG,MAAM,CAsB5E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-31-causal-set-bd.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-31-causal-set-bd.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAiB1F;;;;;;;;;;GAUG;AACH,eAAO,MAAM,sBAAsB,EAAE,QASpC,CAAC;AAEF,sCAAsC;AACtC,gBAAgB;AAChB,eAAO,MAAM,sBAAsB,EAAE,QAAmC,CAAC;AAIzE;;GAEG;AACH,UAAU,qBAAqB;IAC7B,iIAAiI;IACjI,GAAG,EAAE,MAAM,CAAC;IACZ,kCAAkC;IAClC,GAAG,EAAE,MAAM,CAAC;IACZ,kCAAkC;IAClC,GAAG,EAAE,MAAM,CAAC;IACZ,kCAAkC;IAClC,GAAG,EAAE,MAAM,CAAC;IACZ,qDAAqD;IACrD,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG,MAAM,CAgB5E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-31-causal-set-bd.js

@@ -53,9 +53,8 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 31)
  * @module bridges/equations/be-31-causal-set-bd
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, LENGTH, } from '../../dimensional/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * [L^-2] — inverse-area dimension for the Ricci scalar. Hand-built
  * literal (rather than `power(LENGTH, -2)`) because `power()` produces
@@ -86,6 +85,7 @@ export const BE31_CAUSAL_SET_BD_RHS = {
     ],
 };
 /** LHS: R(p) has dimension [L^-2]. */
+/** @internal */
 export const BE31_CAUSAL_SET_BD_LHS = sym('R_p', INV_LENGTH_2);
 /**
  * Evaluate the Benincasa-Dowker d=4 discrete Ricci scalar
@@ -95,22 +95,14 @@ export const BE31_CAUSAL_SET_BD_LHS = sym('R_p', INV_LENGTH_2);
  * @returns Ricci scalar in m^-2 (SI).
  */
 export function evaluateBenincasaDowker(input) {
+    validateFiniteInputs(input, [
+        { name: 'N_0' },
+        { name: 'N_1' },
+        { name: 'N_2' },
+        { name: 'N_3' },
+        { name: 'l_P_m', min: 0, excludeMin: true },
+    ], 'evaluateBenincasaDowker');
     const { N_0, N_1, N_2, N_3, l_P_m } = input;
-    if (!Number.isFinite(N_0)) {
-        throw new RangeError(`evaluateBenincasaDowker: N_0 must be finite, got ${N_0}`);
-    }
-    if (!Number.isFinite(N_1)) {
-        throw new RangeError(`evaluateBenincasaDowker: N_1 must be finite, got ${N_1}`);
-    }
-    if (!Number.isFinite(N_2)) {
-        throw new RangeError(`evaluateBenincasaDowker: N_2 must be finite, got ${N_2}`);
-    }
-    if (!Number.isFinite(N_3)) {
-        throw new RangeError(`evaluateBenincasaDowker: N_3 must be finite, got ${N_3}`);
-    }
-    if (!Number.isFinite(l_P_m) || l_P_m <= 0) {
-        throw new RangeError(`evaluateBenincasaDowker: l_P_m must be a finite positive number, got ${l_P_m}`);
-    }
     const bracket = 1 + N_0 - 9 * N_1 + 16 * N_2 - 8 * N_3;
     const prefactor = 4 / Math.sqrt(6);
     return (prefactor * bracket) / (l_P_m * l_P_m);
@@ -120,14 +112,8 @@ export function evaluateBenincasaDowker(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * [L^-2].
  */
+/** @internal */
 export function validateBE31Dimensions() {
-    const eq = validateEquation(BE31_CAUSAL_SET_BD_LHS, BE31_CAUSAL_SET_BD_RHS);
-    const lhs = validate(BE31_CAUSAL_SET_BD_LHS);
-    const rhs = validate(BE31_CAUSAL_SET_BD_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE31_CAUSAL_SET_BD_LHS, BE31_CAUSAL_SET_BD_RHS, 'BE31');
 }
 //# sourceMappingURL=be-31-causal-set-bd.js.map

package/dist/bridges/equations/be-31-causal-set-bd.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-31-causal-set-bd.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-31-causal-set-bd.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;GAMG;AACH,MAAM,YAAY,GAAc,EAAE,CAAC,EAAE,CAAC,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,CAAC;AAElF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,qCAAqC,EAAE,aAAa,CAAC;QACzD;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;SACpD;KACF;CACF,CAAC;AAEF,sCAAsC;AACtC,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;AAiBzE;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAA4B;IAClE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC5C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,UAAU,CAAC,oDAAoD,GAAG,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,UAAU,CAAC,oDAAoD,GAAG,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,UAAU,CAAC,oDAAoD,GAAG,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,UAAU,CAAC,oDAAoD,GAAG,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,UAAU,CAClB,wEAAwE,KAAK,EAAE,CAChF,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;IACvD,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,OAAO,CAAC,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC;AACjD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,sBAAsB,EAAE,sBAAsB,CAAC,CAAC;IAC5E,MAAM,GAAG,GAAG,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAC7C,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-31-causal-set-bd.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-31-causal-set-bd.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG;AAGH,OAAO,EAEL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;GAMG;AACH,MAAM,YAAY,GAAc,EAAE,CAAC,EAAE,CAAC,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,CAAC;AAElF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,qCAAqC,EAAE,aAAa,CAAC;QACzD;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;SACpD;KACF;CACF,CAAC;AAEF,sCAAsC;AACtC,gBAAgB;AAChB,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;AAoBzE;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAA4B;IAClE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,KAAK,EAAE;QACf,EAAE,IAAI,EAAE,KAAK,EAAE;QACf,EAAE,IAAI,EAAE,KAAK,EAAE;QACf,EAAE,IAAI,EAAE,KAAK,EAAE;QACf,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC5C,EACD,yBAAyB,CAC1B,CAAC;IACF,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC5C,MAAM,OAAO,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;IACvD,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,OAAO,CAAC,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC;AACjD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;AACtF,CAAC"}