universal-physics-tensor 0.5.1 → 0.7.1

package/dist/bridges/equations/be-21-kss-bound.js

@@ -42,11 +42,10 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 21)
  * @module bridges/equations/be-21-kss-bound
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, } from '../../dimensional/types.js';
 import { hbar as DIM_hbar, 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, validateBEDimensions } from './_be-helpers.js';
 /** [T Θ] — viscosity-to-entropy-density ratio dimension (K·s in SI). */
 export const VISCOSITY_OVER_ENTROPY_DENSITY = {
     L: 0, M: 0, T: 1, I: 0, Theta: 1, N: 0, J: 0,
@@ -72,6 +71,7 @@ export const BE21_KSS_RHS = {
     ],
 };
 /** LHS: η/s has dimension [T Θ]. */
+/** @internal */
 export const BE21_KSS_LHS = sym('eta_over_s', VISCOSITY_OVER_ENTROPY_DENSITY);
 // --- Numerical evaluator ---
 /**
@@ -90,14 +90,8 @@ export function evaluateKSSBound() {
  * Run the AST through the dimensional analyzer; both sides should be
  * [T Θ] (viscosity / entropy-density).
  */
+/** @internal */
 export function validateBE21Dimensions() {
-    const eq = validateEquation(BE21_KSS_LHS, BE21_KSS_RHS);
-    const lhs = validate(BE21_KSS_LHS);
-    const rhs = validate(BE21_KSS_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE21_KSS_LHS, BE21_KSS_RHS, 'BE21');
 }
 //# sourceMappingURL=be-21-kss-bound.js.map

package/dist/bridges/equations/be-21-kss-bound.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-21-kss-bound.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-21-kss-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,GAGd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,GAAG,IAAI,MAAM,EAAE,MAAM,gCAAgC,CAAC;AACjF,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,wEAAwE;AACxE,MAAM,CAAC,MAAM,8BAA8B,GAAc;IACvD,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;CAC7C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;QACrB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;KACF;CACF,CAAC;AAEF,oCAAoC;AACpC,MAAM,CAAC,MAAM,YAAY,GAAa,GAAG,CAAC,YAAY,EAAE,8BAA8B,CAAC,CAAC;AAExF,8BAA8B;AAE9B;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB;IAC9B,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACvC,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;AACnC,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-21-kss-bound.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-21-kss-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EAEL,aAAa,GAGd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,GAAG,IAAI,MAAM,EAAE,MAAM,gCAAgC,CAAC;AACjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAE7D,wEAAwE;AACxE,MAAM,CAAC,MAAM,8BAA8B,GAAc;IACvD,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;CAC7C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;QACrB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;KACF;CACF,CAAC;AAEF,oCAAoC;AACpC,gBAAgB;AAChB,MAAM,CAAC,MAAM,YAAY,GAAa,GAAG,CAAC,YAAY,EAAE,8BAA8B,CAAC,CAAC;AAExF,8BAA8B;AAE9B;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB;IAC9B,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACvC,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;AACnC,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-22-topological-entanglement.d.ts

@@ -46,7 +46,7 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 22)
  * @module bridges/equations/be-22-topological-entanglement
  */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+import type { ExprNode } from '../../dimensional/validator.js';
 /**
  * Lemma AST: the area-law term `α · L`. Exposed for direct dimensional
  * verification — should infer to DIMENSIONLESS.
@@ -62,9 +62,10 @@ export declare const BE22_TOPOLOGICAL_TERM: ExprNode;
  * `+ O(L^-1)` correction is dropped per the encoding scope.
  */
 export declare const BE22_TOPOLOGICAL_ENTANGLEMENT_RHS: ExprNode;
-/** LHS: S(R) is dimensionless (entropy in nats). */
-export declare const BE22_TOPOLOGICAL_ENTANGLEMENT_LHS: ExprNode;
-export interface TEEInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateTEE` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface TEEInputs {
     /** Non-universal area-law coefficient α in m^-1. Must be finite. */
     alpha_per_meter: number;
     /** Boundary length L(R) in metres. Must be ≥ 0. */
@@ -82,9 +83,5 @@ export interface TEEInputs {
  * @returns S in nats (dimensionless).
  */
 export declare function evaluateTEE(input: TEEInputs): number;
-/**
- * Run the AST through the dimensional analyzer; LHS and RHS should
- * both be DIMENSIONLESS.
- */
-export declare function validateTEEDimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-22-topological-entanglement.d.ts.map

package/dist/bridges/equations/be-22-topological-entanglement.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-22-topological-entanglement.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-22-topological-entanglement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAiB1F;;;GAGG;AACH,eAAO,MAAM,cAAc,EAAE,QAM5B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAAsC,CAAC;AAE3E;;;GAGG;AACH,eAAO,MAAM,iCAAiC,EAAE,QAM/C,CAAC;AAEF,oDAAoD;AACpD,eAAO,MAAM,iCAAiC,EAAE,QAAoC,CAAC;AAIrF,MAAM,WAAW,SAAS;IACxB,oEAAoE;IACpE,eAAe,EAAE,MAAM,CAAC;IACxB,mDAAmD;IACnD,WAAW,EAAE,MAAM,CAAC;IACpB,iEAAiE;IACjE,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAkBpD;AAID;;;GAGG;AACH,wBAAgB,qBAAqB,IAAI,yBAAyB,CAYjE"}
+{"version":3,"file":"be-22-topological-entanglement.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-22-topological-entanglement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAA6B,MAAM,gCAAgC,CAAC;AAe1F;;;GAGG;AACH,eAAO,MAAM,cAAc,EAAE,QAM5B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAAsC,CAAC;AAE3E;;;GAGG;AACH,eAAO,MAAM,iCAAiC,EAAE,QAM/C,CAAC;AAOF;;GAEG;AACH,UAAU,SAAS;IACjB,oEAAoE;IACpE,eAAe,EAAE,MAAM,CAAC;IACxB,mDAAmD;IACnD,WAAW,EAAE,MAAM,CAAC;IACpB,iEAAiE;IACjE,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAYpD"}

package/dist/bridges/equations/be-22-topological-entanglement.js

@@ -46,10 +46,9 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 22)
  * @module bridges/equations/be-22-topological-entanglement
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, LENGTH, } from '../../dimensional/types.js';
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 // --- Symbolic AST ---
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
 /** Inverse-length [L^-1] dimension for the area-law coefficient α. */
 const INV_LENGTH = {
     L: -1, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0,
@@ -82,7 +81,7 @@ export const BE22_TOPOLOGICAL_ENTANGLEMENT_RHS = {
     ],
 };
 /** LHS: S(R) is dimensionless (entropy in nats). */
-export const BE22_TOPOLOGICAL_ENTANGLEMENT_LHS = sym('S_R', DIMENSIONLESS);
+const BE22_TOPOLOGICAL_ENTANGLEMENT_LHS = sym('S_R', DIMENSIONLESS);
 /**
  * Evaluate S(R) = α · L − γ in nats.
  *
@@ -93,16 +92,12 @@ export const BE22_TOPOLOGICAL_ENTANGLEMENT_LHS = sym('S_R', DIMENSIONLESS);
  * @returns S in nats (dimensionless).
  */
 export function evaluateTEE(input) {
+    validateFiniteInputs(input, [
+        { name: 'alpha_per_meter' },
+        { name: 'perimeter_m', min: 0 },
+        { name: 'gamma' },
+    ], 'evaluateTEE');
     const { alpha_per_meter, perimeter_m, gamma } = input;
-    if (!Number.isFinite(alpha_per_meter)) {
-        throw new RangeError(`evaluateTEE: alpha_per_meter must be finite, got ${alpha_per_meter}`);
-    }
-    if (!Number.isFinite(perimeter_m) || perimeter_m < 0) {
-        throw new RangeError(`evaluateTEE: perimeter_m must be a finite non-negative number, got ${perimeter_m}`);
-    }
-    if (!Number.isFinite(gamma)) {
-        throw new RangeError(`evaluateTEE: gamma must be finite, got ${gamma}`);
-    }
     return alpha_per_meter * perimeter_m - gamma;
 }
 // --- Self-validation ---
@@ -110,14 +105,7 @@ export function evaluateTEE(input) {
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be DIMENSIONLESS.
  */
-export function validateTEEDimensions() {
-    const eq = validateEquation(BE22_TOPOLOGICAL_ENTANGLEMENT_LHS, BE22_TOPOLOGICAL_ENTANGLEMENT_RHS);
-    const lhs = validate(BE22_TOPOLOGICAL_ENTANGLEMENT_LHS);
-    const rhs = validate(BE22_TOPOLOGICAL_ENTANGLEMENT_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+function validateTEEDimensions() {
+    return validateBEDimensions(BE22_TOPOLOGICAL_ENTANGLEMENT_LHS, BE22_TOPOLOGICAL_ENTANGLEMENT_RHS, 'BE22');
 }
 //# sourceMappingURL=be-22-topological-entanglement.js.map

package/dist/bridges/equations/be-22-topological-entanglement.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-22-topological-entanglement.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-22-topological-entanglement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AAEpC,uBAAuB;AAEvB,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,sEAAsE;AACtE,MAAM,UAAU,GAAc;IAC5B,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;CAC9C,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC;QACxB,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;KACjB;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;AAE3E;;;GAGG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAa;IACzD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,cAAc;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,oDAAoD;AACpD,MAAM,CAAC,MAAM,iCAAiC,GAAa,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;AAarF;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,KAAgB;IAC1C,MAAM,EAAE,eAAe,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACtD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,oDAAoD,eAAe,EAAE,CACtE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,UAAU,CAClB,sEAAsE,WAAW,EAAE,CACpF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAClB,0CAA0C,KAAK,EAAE,CAClD,CAAC;IACJ,CAAC;IACD,OAAO,eAAe,GAAG,WAAW,GAAG,KAAK,CAAC;AAC/C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,qBAAqB;IACnC,MAAM,EAAE,GAAG,gBAAgB,CACzB,iCAAiC,EACjC,iCAAiC,CAClC,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,iCAAiC,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,QAAQ,CAAC,iCAAiC,CAAC,CAAC;IACxD,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-22-topological-entanglement.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-22-topological-entanglement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAGH,OAAO,EAEL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB,sEAAsE;AACtE,MAAM,UAAU,GAAc;IAC5B,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;CAC9C,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC;QACxB,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;KACjB;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;AAE3E;;;GAGG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAa;IACzD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,cAAc;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,oDAAoD;AACpD,MAAM,iCAAiC,GAAa,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;AAgB9E;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,KAAgB;IAC1C,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,iBAAiB,EAAE;QAC3B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE;KAClB,EACD,aAAa,CACd,CAAC;IACF,MAAM,EAAE,eAAe,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACtD,OAAO,eAAe,GAAG,WAAW,GAAG,KAAK,CAAC;AAC/C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,SAAS,qBAAqB;IAC5B,OAAO,oBAAoB,CACzB,iCAAiC,EACjC,iCAAiC,EACjC,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-23-syk-planckian.d.ts

@@ -60,8 +60,12 @@ export declare const BE23_SYK_THERMAL_TERM: ExprNode;
  */
 export declare const BE23_SYK_RESISTIVITY_RHS: ExprNode;
 /** LHS: ρ(T) has dimension [L³ M T⁻³ I⁻²] (Ω·m). */
+/** @internal */
 export declare const BE23_SYK_RESISTIVITY_LHS: ExprNode;
-export interface SYKResistivityInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateSYKResistivity` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface SYKResistivityInputs {
     /** Residual resistivity ρ_0 (Ω·m). Must be ≥ 0 and finite. */
     rho_0: number;
     /** Carrier effective mass m* (kg). Must be > 0 and finite. */
@@ -85,5 +89,7 @@ export declare function evaluateSYKResistivity(input: SYKResistivityInputs): num
  * Run the AST through the dimensional analyzer; both sides should be
  * resistivity ([L³ M T⁻³ I⁻²]).
  */
+/** @internal */
 export declare function validateBE23Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-23-syk-planckian.d.ts.map

package/dist/bridges/equations/be-23-syk-planckian.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-23-syk-planckian.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-23-syk-planckian.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AA2B1F;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAyBnC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,EAAE,QAYtC,CAAC;AAEF,oDAAoD;AACpD,eAAO,MAAM,wBAAwB,EAAE,QAAkC,CAAC;AAI1E,MAAM,WAAW,oBAAoB;IACnC,8DAA8D;IAC9D,KAAK,EAAE,MAAM,CAAC;IACd,8DAA8D;IAC9D,SAAS,EAAE,MAAM,CAAC;IAClB,gEAAgE;IAChE,UAAU,EAAE,MAAM,CAAC;IACnB,iDAAiD;IACjD,GAAG,EAAE,MAAM,CAAC;IACZ,4EAA4E;IAC5E,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CA8B1E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-23-syk-planckian.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-23-syk-planckian.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAyB1F;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAyBnC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,EAAE,QAYtC,CAAC;AAEF,oDAAoD;AACpD,gBAAgB;AAChB,eAAO,MAAM,wBAAwB,EAAE,QAAkC,CAAC;AAI1E;;GAEG;AACH,UAAU,oBAAoB;IAC5B,8DAA8D;IAC9D,KAAK,EAAE,MAAM,CAAC;IACd,8DAA8D;IAC9D,SAAS,EAAE,MAAM,CAAC;IAClB,gEAAgE;IAChE,UAAU,EAAE,MAAM,CAAC;IACnB,iDAAiD;IACjD,GAAG,EAAE,MAAM,CAAC;IACZ,4EAA4E;IAC5E,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CAgB1E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-23-syk-planckian.js

@@ -44,12 +44,11 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 23)
  * @module bridges/equations/be-23-syk-planckian
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, LENGTH, MASS, TEMPERATURE, } from '../../dimensional/types.js';
 import { power } from '../../dimensional/algebra.js';
 import { hbar as DIM_hbar, k_B as DIM_kB, e as DIM_e, } 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';
 /** [L^-3] — number-density dimension for n_e. */
 const NUMBER_DENSITY = power(LENGTH, -3);
 /** [L³ M T⁻³ I⁻²] — resistivity (Ω·m). */
@@ -108,6 +107,7 @@ export const BE23_SYK_RESISTIVITY_RHS = {
     ],
 };
 /** LHS: ρ(T) has dimension [L³ M T⁻³ I⁻²] (Ω·m). */
+/** @internal */
 export const BE23_SYK_RESISTIVITY_LHS = sym('rho', RESISTIVITY);
 /**
  * Evaluate the Planckian-dissipation resistivity
@@ -117,22 +117,14 @@ export const BE23_SYK_RESISTIVITY_LHS = sym('rho', RESISTIVITY);
  * @returns Resistivity in Ω·m (SI).
  */
 export function evaluateSYKResistivity(input) {
+    validateFiniteInputs(input, [
+        { name: 'rho_0', min: 0 },
+        { name: 'm_star_kg', min: 0, excludeMin: true },
+        { name: 'n_e_per_m3', min: 0, excludeMin: true },
+        { name: 'T_K', min: 0 },
+        { name: 'alpha_SYK' },
+    ], 'evaluateSYKResistivity');
     const { rho_0, m_star_kg, n_e_per_m3, T_K, alpha_SYK } = input;
-    if (!Number.isFinite(rho_0) || rho_0 < 0) {
-        throw new RangeError(`evaluateSYKResistivity: rho_0 must be a finite non-negative number, got ${rho_0}`);
-    }
-    if (!Number.isFinite(m_star_kg) || m_star_kg <= 0) {
-        throw new RangeError(`evaluateSYKResistivity: m_star_kg must be a finite positive number, got ${m_star_kg}`);
-    }
-    if (!Number.isFinite(n_e_per_m3) || n_e_per_m3 <= 0) {
-        throw new RangeError(`evaluateSYKResistivity: n_e_per_m3 must be a finite positive number, got ${n_e_per_m3}`);
-    }
-    if (!Number.isFinite(T_K) || T_K < 0) {
-        throw new RangeError(`evaluateSYKResistivity: T_K must be a finite non-negative number, got ${T_K}`);
-    }
-    if (!Number.isFinite(alpha_SYK)) {
-        throw new RangeError(`evaluateSYKResistivity: alpha_SYK must be finite, got ${alpha_SYK}`);
-    }
     const { hbar, kB, e } = PhysicalConstants;
     const thermal = (m_star_kg * kB * T_K) / (n_e_per_m3 * e * e * hbar);
     return rho_0 + thermal * alpha_SYK;
@@ -142,14 +134,8 @@ export function evaluateSYKResistivity(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * resistivity ([L³ M T⁻³ I⁻²]).
  */
+/** @internal */
 export function validateBE23Dimensions() {
-    const eq = validateEquation(BE23_SYK_RESISTIVITY_LHS, BE23_SYK_RESISTIVITY_RHS);
-    const lhs = validate(BE23_SYK_RESISTIVITY_LHS);
-    const rhs = validate(BE23_SYK_RESISTIVITY_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE23_SYK_RESISTIVITY_LHS, BE23_SYK_RESISTIVITY_RHS, 'BE23');
 }
 //# sourceMappingURL=be-23-syk-planckian.js.map

package/dist/bridges/equations/be-23-syk-planckian.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-23-syk-planckian.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-23-syk-planckian.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAY,KAAK,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EACL,IAAI,IAAI,QAAQ,EAChB,GAAG,IAAI,MAAM,EACb,CAAC,IAAI,KAAK,GACX,MAAM,gCAAgC,CAAC;AACxC,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,iDAAiD;AACjD,MAAM,cAAc,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAEpD,0CAA0C;AAC1C,MAAM,WAAW,GAAc;IAC7B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,0BAA0B;YAC1B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC;gBACnB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gBAClB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;aACtB;SACF;QACD;YACE,4BAA4B;YAC5B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC;gBAC1B;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACjD;gBACD,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;aACtB;SACF;KACF;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAa;IAChD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC;QACzB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,qBAAqB;gBACrB,GAAG,CAAC,WAAW,EAAE,aAAa,CAAC;aAChC;SACF;KACF;CACF,CAAC;AAEF,oDAAoD;AACpD,MAAM,CAAC,MAAM,wBAAwB,GAAa,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;AAiB1E;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA2B;IAChE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IAC/D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,UAAU,CAClB,2EAA2E,KAAK,EAAE,CACnF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,UAAU,CAClB,2EAA2E,SAAS,EAAE,CACvF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,UAAU,CAClB,4EAA4E,UAAU,EAAE,CACzF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,UAAU,CAClB,yEAAyE,GAAG,EAAE,CAC/E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,UAAU,CAClB,yDAAyD,SAAS,EAAE,CACrE,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAC1C,MAAM,OAAO,GAAG,CAAC,SAAS,GAAG,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IACrE,OAAO,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;AACrC,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,wBAAwB,EAAE,wBAAwB,CAAC,CAAC;IAChF,MAAM,GAAG,GAAG,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IAC/C,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-23-syk-planckian.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-23-syk-planckian.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAGH,OAAO,EAEL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAY,KAAK,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EACL,IAAI,IAAI,QAAQ,EAChB,GAAG,IAAI,MAAM,EACb,CAAC,IAAI,KAAK,GACX,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,iDAAiD;AACjD,MAAM,cAAc,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAEpD,0CAA0C;AAC1C,MAAM,WAAW,GAAc;IAC7B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,0BAA0B;YAC1B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC;gBACnB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gBAClB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;aACtB;SACF;QACD;YACE,4BAA4B;YAC5B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC;gBAC1B;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACjD;gBACD,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;aACtB;SACF;KACF;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAa;IAChD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC;QACzB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,qBAAqB;gBACrB,GAAG,CAAC,WAAW,EAAE,aAAa,CAAC;aAChC;SACF;KACF;CACF,CAAC;AAEF,oDAAoD;AACpD,gBAAgB;AAChB,MAAM,CAAC,MAAM,wBAAwB,GAAa,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;AAoB1E;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA2B;IAChE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE;QACzB,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC/C,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAChD,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE;QACvB,EAAE,IAAI,EAAE,WAAW,EAAE;KACtB,EACD,wBAAwB,CACzB,CAAC;IACF,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IAC/D,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAC1C,MAAM,OAAO,GAAG,CAAC,SAAS,GAAG,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IACrE,OAAO,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;AACrC,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,wBAAwB,EAAE,wBAAwB,EAAE,MAAM,CAAC,CAAC;AAC1F,CAAC"}

package/dist/bridges/equations/be-24-foerster-fret.d.ts

@@ -56,8 +56,12 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
  */
 export declare const BE24_FRET_EFFICIENCY_RHS: ExprNode;
 /** LHS: η is dimensionless. */
+/** @internal */
 export declare const BE24_FRET_EFFICIENCY_LHS: ExprNode;
-export interface FRETEfficiencyInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateFRETEfficiency` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface FRETEfficiencyInputs {
     /** Donor-acceptor distance R (m). Must be > 0 and finite. */
     R: number;
     /** Förster radius R_0 (m). Must be > 0 and finite. */
@@ -77,5 +81,7 @@ export declare function evaluateFRETEfficiency(input: FRETEfficiencyInputs): num
  * Run the AST through the dimensional analyzer; both sides should be
  * dimensionless.
  */
+/** @internal */
 export declare function validateBE24Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-24-foerster-fret.d.ts.map

package/dist/bridges/equations/be-24-foerster-fret.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-24-foerster-fret.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-24-foerster-fret.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAU1F;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,EAAE,QAuBtC,CAAC;AAEF,+BAA+B;AAC/B,eAAO,MAAM,wBAAwB,EAAE,QAA6C,CAAC;AAIrF,MAAM,WAAW,oBAAoB;IACnC,6DAA6D;IAC7D,CAAC,EAAE,MAAM,CAAC;IACV,sDAAsD;IACtD,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CAe1E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-24-foerster-fret.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-24-foerster-fret.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAO1F;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,EAAE,QAuBtC,CAAC;AAEF,+BAA+B;AAC/B,gBAAgB;AAChB,eAAO,MAAM,wBAAwB,EAAE,QAA6C,CAAC;AAIrF;;GAEG;AACH,UAAU,oBAAoB;IAC5B,6DAA6D;IAC7D,CAAC,EAAE,MAAM,CAAC;IACV,sDAAsD;IACtD,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CAa1E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-24-foerster-fret.js

@@ -45,9 +45,8 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 24)
  * @module bridges/equations/be-24-foerster-fret
  */
-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';
 /**
  * RHS of the FRET efficiency:
  *   η = R_0⁶ / (R_0⁶ + R⁶)
@@ -81,6 +80,7 @@ export const BE24_FRET_EFFICIENCY_RHS = {
     ],
 };
 /** LHS: η is dimensionless. */
+/** @internal */
 export const BE24_FRET_EFFICIENCY_LHS = sym('eta_transfer', DIMENSIONLESS);
 /**
  * Evaluate the FRET transfer efficiency
@@ -92,13 +92,11 @@ export const BE24_FRET_EFFICIENCY_LHS = sym('eta_transfer', DIMENSIONLESS);
  * @returns Dimensionless efficiency η ∈ [0, 1].
  */
 export function evaluateFRETEfficiency(input) {
+    validateFiniteInputs(input, [
+        { name: 'R', min: 0, excludeMin: true },
+        { name: 'R_0', min: 0, excludeMin: true },
+    ], 'evaluateFRETEfficiency');
     const { R, R_0 } = input;
-    if (!Number.isFinite(R) || R <= 0) {
-        throw new RangeError(`evaluateFRETEfficiency: R must be a finite positive number, got ${R}`);
-    }
-    if (!Number.isFinite(R_0) || R_0 <= 0) {
-        throw new RangeError(`evaluateFRETEfficiency: R_0 must be a finite positive number, got ${R_0}`);
-    }
     const ratio = R / R_0;
     const ratio6 = Math.pow(ratio, 6);
     return 1 / (1 + ratio6);
@@ -108,14 +106,8 @@ export function evaluateFRETEfficiency(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * dimensionless.
  */
+/** @internal */
 export function validateBE24Dimensions() {
-    const eq = validateEquation(BE24_FRET_EFFICIENCY_LHS, BE24_FRET_EFFICIENCY_RHS);
-    const lhs = validate(BE24_FRET_EFFICIENCY_LHS);
-    const rhs = validate(BE24_FRET_EFFICIENCY_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE24_FRET_EFFICIENCY_LHS, BE24_FRET_EFFICIENCY_RHS, 'BE24');
 }
 //# sourceMappingURL=be-24-foerster-fret.js.map

package/dist/bridges/equations/be-24-foerster-fret.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-24-foerster-fret.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-24-foerster-fret.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AAEpC,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,wBAAwB,GAAa;IAChD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,QAAQ;YACR,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;SACpD;QACD;YACE,sCAAsC;YACtC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACpD;gBACD;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBAClD;aACF;SACF;KACF;CACF,CAAC;AAEF,+BAA+B;AAC/B,MAAM,CAAC,MAAM,wBAAwB,GAAa,GAAG,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC;AAWrF;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA2B;IAChE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IACzB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAClB,mEAAmE,CAAC,EAAE,CACvE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,qEAAqE,GAAG,EAAE,CAC3E,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC;IACtB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAClC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;AAC1B,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,wBAAwB,EAAE,wBAAwB,CAAC,CAAC;IAChF,MAAM,GAAG,GAAG,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IAC/C,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-24-foerster-fret.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-24-foerster-fret.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAGH,OAAO,EACL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAa;IAChD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,QAAQ;YACR,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;SACpD;QACD;YACE,sCAAsC;YACtC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACpD;gBACD;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBAClD;aACF;SACF;KACF;CACF,CAAC;AAEF,+BAA+B;AAC/B,gBAAgB;AAChB,MAAM,CAAC,MAAM,wBAAwB,GAAa,GAAG,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC;AAcrF;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA2B;IAChE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC1C,EACD,wBAAwB,CACzB,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC;IACtB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAClC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;AAC1B,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,wBAAwB,EAAE,wBAAwB,EAAE,MAAM,CAAC,CAAC;AAC1F,CAAC"}

package/dist/bridges/equations/be-25-iit-phi.d.ts

@@ -182,8 +182,12 @@ export declare const BE25_INTRINSIC_INFORMATION_RHS: ExprNode;
  * LHS: ii(s, s̃) is in bits (DIMENSIONLESS in the SI sense — bits is
  * a pseudo-unit not in the SI 7-base system).
  */
+/** @internal */
 export declare const BE25_INTRINSIC_INFORMATION_LHS: ExprNode;
-export interface IntrinsicInformationInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateIntrinsicInformation` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface IntrinsicInformationInputs {
     /** Conditional probability p(s̃|s) ∈ [0, 1]. Must be finite. */
     p_cond: number;
     /** Marginal probability p(s̃) ∈ (0, 1]. Must be finite. When `p_cond > 0`, must be > 0 (KL-divergence singularity rejected). */
@@ -216,5 +220,7 @@ export declare function evaluateIntrinsicInformation(input: IntrinsicInformation
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be DIMENSIONLESS.
  */
+/** @internal */
 export declare function validateBE25Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-25-iit-phi.d.ts.map

package/dist/bridges/equations/be-25-iit-phi.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-25-iit-phi.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-iit-phi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAW1F;;;;;;;;;GASG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAuC,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,QAAuC,CAAC;AAEtE;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAMhC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAA8C,CAAC;AAE9E;;;;;;;;;;GAUG;AACH,eAAO,MAAM,8BAA8B,EAAE,QAM5C,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,8BAA8B,EAAE,QAAmC,CAAC;AAIjF,MAAM,WAAW,0BAA0B;IACzC,gEAAgE;IAChE,MAAM,EAAE,MAAM,CAAC;IACf,gIAAgI;IAChI,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,0BAA0B,GAAG,MAAM,CAyBtF;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CAYlE"}
+{"version":3,"file":"be-25-iit-phi.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-iit-phi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;;;;GASG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAuC,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,QAAuC,CAAC;AAEtE;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAMhC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAA8C,CAAC;AAE9E;;;;;;;;;;GAUG;AACH,eAAO,MAAM,8BAA8B,EAAE,QAM5C,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,eAAO,MAAM,8BAA8B,EAAE,QAAmC,CAAC;AAIjF;;GAEG;AACH,UAAU,0BAA0B;IAClC,gEAAgE;IAChE,MAAM,EAAE,MAAM,CAAC;IACf,gIAAgI;IAChI,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,0BAA0B,GAAG,MAAM,CA2BtF;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

package/dist/bridges/equations/be-25-iit-phi.js

@@ -129,9 +129,8 @@
  * @see src/bridges/equations/be-25-orch-or.ts (archived; legacy Penrose-Hameroff form)
  * @module bridges/equations/be-25-iit-phi
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, } from '../../dimensional/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 // --- Symbolic AST ---
 /**
  * Lemma AST: the conditional probability `p(s̃|s)` (DIMENSIONLESS,
@@ -197,6 +196,7 @@ export const BE25_INTRINSIC_INFORMATION_RHS = {
  * LHS: ii(s, s̃) is in bits (DIMENSIONLESS in the SI sense — bits is
  * a pseudo-unit not in the SI 7-base system).
  */
+/** @internal */
 export const BE25_INTRINSIC_INFORMATION_LHS = sym('ii', DIMENSIONLESS);
 /**
  * Evaluate the inner intrinsic information of a (s, s̃) transition
@@ -221,13 +221,15 @@ export const BE25_INTRINSIC_INFORMATION_LHS = sym('ii', DIMENSIONLESS);
  *   less likely than the unconditional marginal).
  */
 export function evaluateIntrinsicInformation(input) {
+    // Use the helper for the finite + bounded-range check; the cross-field
+    // KL-divergence singularity (p_cond > 0 && p_marg = 0) stays inline
+    // because it carries a domain-meaningful explanation that the generic
+    // helper cannot capture.
+    validateFiniteInputs(input, [
+        { name: 'p_cond', min: 0, max: 1, allowZero: true, description: 'probability' },
+        { name: 'p_marg', min: 0, max: 1, allowZero: true, description: 'probability' },
+    ], 'evaluateIntrinsicInformation');
     const { p_cond, p_marg } = input;
-    if (!Number.isFinite(p_cond) || p_cond < 0 || p_cond > 1) {
-        throw new RangeError(`evaluateIntrinsicInformation: p_cond must be a finite probability in [0, 1], got ${p_cond}`);
-    }
-    if (!Number.isFinite(p_marg) || p_marg < 0 || p_marg > 1) {
-        throw new RangeError(`evaluateIntrinsicInformation: p_marg must be a finite probability in [0, 1], got ${p_marg}`);
-    }
     // Shannon convention: 0 · log(0/anything) = 0 (the canonical limit).
     // Return 0 BEFORE consulting p_marg so the p_cond = 0 / p_marg = 0
     // joint zero does not raise.
@@ -246,14 +248,8 @@ export function evaluateIntrinsicInformation(input) {
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be DIMENSIONLESS.
  */
+/** @internal */
 export function validateBE25Dimensions() {
-    const eq = validateEquation(BE25_INTRINSIC_INFORMATION_LHS, BE25_INTRINSIC_INFORMATION_RHS);
-    const lhs = validate(BE25_INTRINSIC_INFORMATION_LHS);
-    const rhs = validate(BE25_INTRINSIC_INFORMATION_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE25_INTRINSIC_INFORMATION_LHS, BE25_INTRINSIC_INFORMATION_RHS, 'BE25');
 }
 //# sourceMappingURL=be-25-iit-phi.js.map

package/dist/bridges/equations/be-25-iit-phi.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-25-iit-phi.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-iit-phi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkIG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AAEpC,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,uBAAuB;AAEvB;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEzE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEtE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,eAAe;KAChB;CACF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;AAE9E;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAa;IACtD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,gBAAgB;KACjB;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAa,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;AAWjF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAAiC;IAC5E,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,UAAU,CAClB,oFAAoF,MAAM,EAAE,CAC7F,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,UAAU,CAClB,oFAAoF,MAAM,EAAE,CAC7F,CAAC;IACJ,CAAC;IACD,qEAAqE;IACrE,mEAAmE;IACnE,6BAA6B;IAC7B,IAAI,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3B,gEAAgE;IAChE,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;QACjB,MAAM,IAAI,UAAU,CAClB,0DAA0D,MAAM,OAAO;YACrE,6DAA6D;YAC7D,8EAA8E,CACjF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;AAC7C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CACzB,8BAA8B,EAC9B,8BAA8B,CAC/B,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,8BAA8B,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,QAAQ,CAAC,8BAA8B,CAAC,CAAC;IACrD,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-25-iit-phi.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-iit-phi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkIG;AAGH,OAAO,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEzE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEtE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,eAAe;KAChB;CACF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;AAE9E;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAa;IACtD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,gBAAgB;KACjB;CACF,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,MAAM,CAAC,MAAM,8BAA8B,GAAa,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;AAcjF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAAiC;IAC5E,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,yBAAyB;IACzB,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE;QAC/E,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE;KAChF,EACD,8BAA8B,CAC/B,CAAC;IACF,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACjC,qEAAqE;IACrE,mEAAmE;IACnE,6BAA6B;IAC7B,IAAI,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3B,gEAAgE;IAChE,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;QACjB,MAAM,IAAI,UAAU,CAClB,0DAA0D,MAAM,OAAO;YACrE,6DAA6D;YAC7D,8EAA8E,CACjF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;AAC7C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,8BAA8B,EAC9B,8BAA8B,EAC9B,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-25-orch-or.d.ts

@@ -56,9 +56,10 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
  * brought out so the AST has a clean numerator / denominator structure.
  */
 export declare const ORCH_OR_RHS: ExprNode;
-/** LHS: t_OR has dimension [time]. */
-export declare const ORCH_OR_LHS: ExprNode;
-export interface OrchORInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateOrchOR` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface OrchORInputs {
     /** Mass difference Δm in kg. Must be > 0. */
     delta_m: number;
     /** Spatial separation Δx in m. Must be > 0. */
@@ -74,5 +75,7 @@ export declare function evaluateOrchOR(input: OrchORInputs): number;
  * Run the AST through the dimensional analyzer; both sides should be
  * [time].
  */
+/** @internal */
 export declare function validateOrchORDimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-25-orch-or.d.ts.map

package/dist/bridges/equations/be-25-orch-or.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-25-orch-or.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-orch-or.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAmB1F;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,EAAE,QAwBzB,CAAC;AAEF,sCAAsC;AACtC,eAAO,MAAM,WAAW,EAAE,QAA4B,CAAC;AAIvD,MAAM,WAAW,YAAY;IAC3B,6CAA6C;IAC7C,OAAO,EAAE,MAAM,CAAC;IAChB,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAc1D;AAID;;;GAGG;AACH,wBAAgB,wBAAwB,IAAI,yBAAyB,CASpE"}
+{"version":3,"file":"be-25-orch-or.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-orch-or.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAgB1F;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,EAAE,QAwBzB,CAAC;AAOF;;GAEG;AACH,UAAU,YAAY;IACpB,6CAA6C;IAC7C,OAAO,EAAE,MAAM,CAAC;IAChB,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAY1D;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,wBAAwB,IAAI,yBAAyB,CAEpE"}

package/dist/bridges/equations/be-25-orch-or.js

@@ -45,12 +45,11 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 25)
  * @module bridges/equations/be-25-orch-or
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { TIME, MASS, LENGTH, } from '../../dimensional/types.js';
 import { hbar as DIM_hbar, c as DIM_c, l_P as DIM_lP, } from '../../dimensional/constants.js';
 import { PhysicalConstants } from '../../core/types.js';
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 // --- Symbolic AST: t_OR = ℏ ℓ_P / (Δm c² Δx) ---
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
 /**
  * RHS of the Orch-OR collapse-time formula as a typed ExprNode tree.
  *
@@ -86,20 +85,18 @@ export const ORCH_OR_RHS = {
     ],
 };
 /** LHS: t_OR has dimension [time]. */
-export const ORCH_OR_LHS = sym('t_OR', TIME);
+const ORCH_OR_LHS = sym('t_OR', TIME);
 /**
  * Evaluate t_OR = ℏ ℓ_P / (Δm c² Δx).
  *
  * @returns Orch-OR collapse time in seconds.
  */
 export function evaluateOrchOR(input) {
+    validateFiniteInputs(input, [
+        { name: 'delta_m', min: 0, excludeMin: true },
+        { name: 'delta_x', min: 0, excludeMin: true },
+    ], 'evaluateOrchOR');
     const { delta_m, delta_x } = input;
-    if (!Number.isFinite(delta_m) || delta_m <= 0) {
-        throw new RangeError(`evaluateOrchOR: delta_m must be a finite positive number, got ${delta_m}`);
-    }
-    if (!Number.isFinite(delta_x) || delta_x <= 0) {
-        throw new RangeError(`evaluateOrchOR: delta_x must be a finite positive number, got ${delta_x}`);
-    }
     const { hbar, c, lP } = PhysicalConstants;
     return (hbar * lP) / (delta_m * c * c * delta_x);
 }
@@ -108,14 +105,8 @@ export function evaluateOrchOR(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * [time].
  */
+/** @internal */
 export function validateOrchORDimensions() {
-    const eq = validateEquation(ORCH_OR_LHS, ORCH_OR_RHS);
-    const lhs = validate(ORCH_OR_LHS);
-    const rhs = validate(ORCH_OR_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(ORCH_OR_LHS, ORCH_OR_RHS, 'BE25_OrchOR');
 }
 //# sourceMappingURL=be-25-orch-or.js.map

package/dist/bridges/equations/be-25-orch-or.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-25-orch-or.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-orch-or.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,IAAI,EACJ,IAAI,EACJ,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,IAAI,IAAI,QAAQ,EAChB,CAAC,IAAI,KAAK,EACV,GAAG,IAAI,MAAM,GACd,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,kDAAkD;AAElD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,WAAW,GAAa;IACnC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,qBAAqB;YACrB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBACrB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;QACD;YACE,4BAA4B;YAC5B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC;gBACpB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,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,CAAC,CAAC;iBACpF;gBACD,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC;aACvB;SACF;KACF;CACF,CAAC;AAEF,sCAAsC;AACtC,MAAM,CAAC,MAAM,WAAW,GAAa,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAWvD;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,KAAmB;IAChD,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,UAAU,CAClB,iEAAiE,OAAO,EAAE,CAC3E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,UAAU,CAClB,iEAAiE,OAAO,EAAE,CAC3E,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IAC1C,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;AACnD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,wBAAwB;IACtC,MAAM,EAAE,GAAG,gBAAgB,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACtD,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;IAClC,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-25-orch-or.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-orch-or.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAGH,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,IAAI,IAAI,QAAQ,EAChB,CAAC,IAAI,KAAK,EACV,GAAG,IAAI,MAAM,GACd,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,kDAAkD;AAElD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,WAAW,GAAa;IACnC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,qBAAqB;YACrB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBACrB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;QACD;YACE,4BAA4B;YAC5B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC;gBACpB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,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,CAAC,CAAC;iBACpF;gBACD,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC;aACvB;SACF;KACF;CACF,CAAC;AAEF,sCAAsC;AACtC,MAAM,WAAW,GAAa,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAchD;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,KAAmB;IAChD,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC7C,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC9C,EACD,gBAAgB,CACjB,CAAC;IACF,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IACnC,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IAC1C,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;AACnD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,wBAAwB;IACtC,OAAO,oBAAoB,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;AACvE,CAAC"}

package/dist/bridges/equations/be-26-dna-tunneling.d.ts

@@ -45,9 +45,10 @@ export declare const DNA_TUNNELING_WKB_ARG: ExprNode;
  * dimensionless f(T, pH, EM) prefactor.
  */
 export declare const DNA_TUNNELING_RHS: ExprNode;
-/** LHS: Γ has dimension [frequency]. */
-export declare const DNA_TUNNELING_LHS: ExprNode;
-export interface DNATunnelingInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateDNATunneling` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface DNATunnelingInputs {
     /** Attempt frequency ν₀ (s^-1). Must be ≥ 0. */
     nu_0: number;
     /** Tunneling-particle mass m (kg). Must be > 0. */
@@ -71,5 +72,7 @@ export declare function evaluateDNATunneling(input: DNATunnelingInputs): number;
  * Run the AST through the dimensional analyzer; both sides should be
  * [frequency].
  */
+/** @internal */
 export declare function validateDNATunnelingDimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-26-dna-tunneling.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"be-26-dna-tunneling.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-26-dna-tunneling.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAe1F;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAgCnC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAO/B,CAAC;AAEF,wCAAwC;AACxC,eAAO,MAAM,iBAAiB,EAAE,QAA2C,CAAC;AAI5E,MAAM,WAAW,kBAAkB;IACjC,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,CAAC,EAAE,MAAM,CAAC;IACV,yEAAyE;IACzE,SAAS,EAAE,MAAM,CAAC;IAClB,4CAA4C;IAC5C,aAAa,EAAE,MAAM,CAAC;IACtB,0DAA0D;IAC1D,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAgCtE;AAID;;;GAGG;AACH,wBAAgB,8BAA8B,IAAI,yBAAyB,CAS1E"}
+{"version":3,"file":"be-26-dna-tunneling.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-26-dna-tunneling.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAY1F;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAgCnC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAO/B,CAAC;AAOF;;GAEG;AACH,UAAU,kBAAkB;IAC1B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,CAAC,EAAE,MAAM,CAAC;IACV,yEAAyE;IACzE,SAAS,EAAE,MAAM,CAAC;IAClB,4CAA4C;IAC5C,aAAa,EAAE,MAAM,CAAC;IACtB,0DAA0D;IAC1D,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAkBtE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,8BAA8B,IAAI,yBAAyB,CAE1E"}