universal-physics-tensor 0.5.1 → 0.7.0

package/dist/bridges/equations/be-44-soft-hair.d.ts

@@ -112,8 +112,12 @@ export declare const BE44_NEWS_SQUARED: ExprNode;
  */
 export declare const BE44_SOFT_HAIR_INTEGRAL_RHS: ExprNode;
 /** LHS: Q_soft² has dim [L² T^-1]. */
+/** @internal */
 export declare const BE44_SOFT_HAIR_CHARGE_SQUARED_LHS: ExprNode;
-export interface BE44SoftHairInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateBE44SoftHair` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface BE44SoftHairInputs {
     /**
      * Samples of ∂_u C on a uniform u-grid (SI units [m/s], i.e. [L/T]).
      * Length must be ≥ 2 (minimum two grid points to define a trapezoid).
@@ -147,5 +151,7 @@ export declare function evaluateBE44SoftHairCharge(input: BE44SoftHairInputs): n
  * Run the AST through the dimensional analyzer; LHS and RHS should both
  * be [L² T^-1].
  */
+/** @internal */
 export declare function validateBE44Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-44-soft-hair.d.ts.map

package/dist/bridges/equations/be-44-soft-hair.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-44-soft-hair.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-44-soft-hair.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwFG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,EACL,SAAS,EAGV,MAAM,4BAA4B,CAAC;AAWpC,qEAAqE;AACrE,eAAO,MAAM,iBAAiB,EAAE,SAA4C,CAAC;AAE7E;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAuC,CAAC;AAEvE;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAG/B,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,2BAA2B,EAAE,QAIzC,CAAC;AAEF,sCAAsC;AACtC,eAAO,MAAM,iCAAiC,EAAE,QAG/C,CAAC;AAIF,MAAM,WAAW,kBAAkB;IACjC;;;;OAIG;IACH,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;;;OAGG;IACH,EAAE,EAAE,MAAM,CAAC;CACZ;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAgC5E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CAYlE"}
+{"version":3,"file":"be-44-soft-hair.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-44-soft-hair.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwFG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC1F,OAAO,EACL,SAAS,EAGV,MAAM,4BAA4B,CAAC;AAUpC,qEAAqE;AACrE,eAAO,MAAM,iBAAiB,EAAE,SAA4C,CAAC;AAE7E;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAuC,CAAC;AAEvE;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAG/B,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,2BAA2B,EAAE,QAIzC,CAAC;AAEF,sCAAsC;AACtC,gBAAgB;AAChB,eAAO,MAAM,iCAAiC,EAAE,QAG/C,CAAC;AAIF;;GAEG;AACH,UAAU,kBAAkB;IAC1B;;;;OAIG;IACH,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;;;OAGG;IACH,EAAE,EAAE,MAAM,CAAC;CACZ;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAgC5E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

package/dist/bridges/equations/be-44-soft-hair.js

@@ -87,10 +87,9 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 44)
  * @module bridges/equations/be-44-soft-hair
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { LENGTH, TIME, } from '../../dimensional/types.js';
 import { divide, multiply } from '../../dimensional/algebra.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /** News-tensor velocity dim: ∂_u C with dim [L/T] = [L T^-1]. */
 const NEWS_DIM = divide(LENGTH, TIME);
 /** Squared-news dim: (∂_u C)² with dim [L² T^-2]. */
@@ -125,6 +124,7 @@ export const BE44_SOFT_HAIR_INTEGRAL_RHS = {
     integrand: BE44_NEWS_SQUARED,
 };
 /** LHS: Q_soft² has dim [L² T^-1]. */
+/** @internal */
 export const BE44_SOFT_HAIR_CHARGE_SQUARED_LHS = sym('Q_soft_squared', SOFT_HAIR_SQUARED);
 /**
  * Evaluate Q_soft² = ∫(∂_u C)² du via trapezoidal quadrature on a uniform
@@ -150,9 +150,7 @@ export function evaluateBE44SoftHairCharge(input) {
     if (news_samples.length < 2) {
         throw new RangeError(`evaluateBE44SoftHairCharge: news_samples must have at least 2 entries (trapezoid needs both endpoints), got length ${news_samples.length}`);
     }
-    if (!Number.isFinite(du) || du <= 0) {
-        throw new RangeError(`evaluateBE44SoftHairCharge: du must be a finite positive number, got ${du}`);
-    }
+    validateFiniteInputs(input, [{ name: 'du', min: 0, excludeMin: true }], 'evaluateBE44SoftHairCharge');
     for (let i = 0; i < news_samples.length; i++) {
         if (!Number.isFinite(news_samples[i])) {
             throw new RangeError(`evaluateBE44SoftHairCharge: news_samples[${i}] is not finite, got ${news_samples[i]}`);
@@ -172,14 +170,8 @@ export function evaluateBE44SoftHairCharge(input) {
  * Run the AST through the dimensional analyzer; LHS and RHS should both
  * be [L² T^-1].
  */
+/** @internal */
 export function validateBE44Dimensions() {
-    const eq = validateEquation(BE44_SOFT_HAIR_CHARGE_SQUARED_LHS, BE44_SOFT_HAIR_INTEGRAL_RHS);
-    const lhs = validate(BE44_SOFT_HAIR_CHARGE_SQUARED_LHS);
-    const rhs = validate(BE44_SOFT_HAIR_INTEGRAL_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE44_SOFT_HAIR_CHARGE_SQUARED_LHS, BE44_SOFT_HAIR_INTEGRAL_RHS, 'BE44');
 }
 //# sourceMappingURL=be-44-soft-hair.js.map

package/dist/bridges/equations/be-44-soft-hair.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-44-soft-hair.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-44-soft-hair.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwFG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,MAAM,EACN,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAEhE,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,iEAAiE;AACjE,MAAM,QAAQ,GAAc,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAEjD,qDAAqD;AACrD,MAAM,gBAAgB,GAAc,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;AAEjE,qEAAqE;AACrE,MAAM,CAAC,MAAM,iBAAiB,GAAc,QAAQ,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;AAE7E;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa,GAAG,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;AAEvE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;CAC3C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAa;IACnD,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;IACpB,SAAS,EAAE,iBAAiB;CAC7B,CAAC;AAEF,sCAAsC;AACtC,MAAM,CAAC,MAAM,iCAAiC,GAAa,GAAG,CAC5D,gBAAgB,EAChB,iBAAiB,CAClB,CAAC;AAkBF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAyB;IAClE,MAAM,EAAE,YAAY,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,UAAU,CAClB,kEAAkE,OAAO,YAAY,EAAE,CACxF,CAAC;IACJ,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAClB,sHAAsH,YAAY,CAAC,MAAM,EAAE,CAC5I,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,UAAU,CAClB,wEAAwE,EAAE,EAAE,CAC7E,CAAC;IACJ,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,UAAU,CAClB,4CAA4C,CAAC,wBAAwB,YAAY,CAAC,CAAC,CAAC,EAAE,CACvF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,kFAAkF;IAClF,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC;IAC9B,IAAI,GAAG,GAAG,GAAG,GAAG,YAAY,CAAC,CAAC,CAAE,GAAG,YAAY,CAAC,CAAC,CAAE,CAAC;IACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,GAAG,IAAI,YAAY,CAAC,CAAC,CAAE,GAAG,YAAY,CAAC,CAAC,CAAE,CAAC;IAC7C,CAAC;IACD,GAAG,IAAI,GAAG,GAAG,YAAY,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,YAAY,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;IACzD,OAAO,GAAG,GAAG,EAAE,CAAC;AAClB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CACzB,iCAAiC,EACjC,2BAA2B,CAC5B,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,iCAAiC,CAAC,CAAC;IACxD,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-44-soft-hair.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-44-soft-hair.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwFG;AAGH,OAAO,EAEL,MAAM,EACN,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,iEAAiE;AACjE,MAAM,QAAQ,GAAc,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAEjD,qDAAqD;AACrD,MAAM,gBAAgB,GAAc,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;AAEjE,qEAAqE;AACrE,MAAM,CAAC,MAAM,iBAAiB,GAAc,QAAQ,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;AAE7E;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa,GAAG,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;AAEvE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;CAC3C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAa;IACnD,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;IACpB,SAAS,EAAE,iBAAiB;CAC7B,CAAC;AAEF,sCAAsC;AACtC,gBAAgB;AAChB,MAAM,CAAC,MAAM,iCAAiC,GAAa,GAAG,CAC5D,gBAAgB,EAChB,iBAAiB,CAClB,CAAC;AAqBF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAyB;IAClE,MAAM,EAAE,YAAY,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,UAAU,CAClB,kEAAkE,OAAO,YAAY,EAAE,CACxF,CAAC;IACJ,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAClB,sHAAsH,YAAY,CAAC,MAAM,EAAE,CAC5I,CAAC;IACJ,CAAC;IACD,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAC1C,4BAA4B,CAC7B,CAAC;IACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,UAAU,CAClB,4CAA4C,CAAC,wBAAwB,YAAY,CAAC,CAAC,CAAC,EAAE,CACvF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,kFAAkF;IAClF,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC;IAC9B,IAAI,GAAG,GAAG,GAAG,GAAG,YAAY,CAAC,CAAC,CAAE,GAAG,YAAY,CAAC,CAAC,CAAE,CAAC;IACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,GAAG,IAAI,YAAY,CAAC,CAAC,CAAE,GAAG,YAAY,CAAC,CAAC,CAAE,CAAC;IAC7C,CAAC;IACD,GAAG,IAAI,GAAG,GAAG,YAAY,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,YAAY,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;IACzD,OAAO,GAAG,GAAG,EAAE,CAAC;AAClB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,iCAAiC,EACjC,2BAA2B,EAC3B,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-45-tcc.d.ts

@@ -87,8 +87,12 @@ export declare const BE45_LOG_RATIO_ARG_R: ExprNode;
  */
 export declare const BE45_TCC_RHS: ExprNode;
 /** LHS: N_e_max is dimensionless (number of e-folds = log of expansion factor). */
+/** @internal */
 export declare const BE45_TCC_LHS: ExprNode;
-export interface TCCInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateTCC` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface TCCInputs {
     /** Planck mass M_P in GeV (canonical: 1.22e19). Must be > 0 and finite. */
     M_P_GeV: number;
     /** Inflationary Hubble scale H_inf in GeV-equivalent energy units (natural units, ℏH_inf or H_inf-in-GeV directly). Must be > 0 and finite. */
@@ -112,5 +116,7 @@ export declare function evaluateTCC(input: TCCInputs): number;
  * Run the AST through the dimensional analyzer; both sides should be
  * dimensionless.
  */
+/** @internal */
 export declare function validateBE45Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-45-tcc.d.ts.map

package/dist/bridges/equations/be-45-tcc.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-45-tcc.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-45-tcc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAU1F;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAMxC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAMlC,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY,EAAE,QAY1B,CAAC;AAEF,mFAAmF;AACnF,eAAO,MAAM,YAAY,EAAE,QAAwC,CAAC;AAIpE,MAAM,WAAW,SAAS;IACxB,2EAA2E;IAC3E,OAAO,EAAE,MAAM,CAAC;IAChB,+IAA+I;IAC/I,SAAS,EAAE,MAAM,CAAC;IAClB,wEAAwE;IACxE,CAAC,EAAE,MAAM,CAAC;IACV,8FAA8F;IAC9F,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAuBpD;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-45-tcc.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-45-tcc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAO1F;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAMxC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAMlC,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY,EAAE,QAY1B,CAAC;AAEF,mFAAmF;AACnF,gBAAgB;AAChB,eAAO,MAAM,YAAY,EAAE,QAAwC,CAAC;AAIpE;;GAEG;AACH,UAAU,SAAS;IACjB,2EAA2E;IAC3E,OAAO,EAAE,MAAM,CAAC;IAChB,+IAA+I;IAC/I,SAAS,EAAE,MAAM,CAAC;IAClB,wEAAwE;IACxE,CAAC,EAAE,MAAM,CAAC;IACV,8FAA8F;IAC9F,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAapD;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-45-tcc.js

@@ -59,9 +59,8 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 45)
  * @module bridges/equations/be-45-tcc
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, ENERGY, } from '../../dimensional/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * Lemma AST: the M_P/H_inf log argument (natural-units convention,
  * both quantities as ENERGY).
@@ -113,6 +112,7 @@ export const BE45_TCC_RHS = {
     ],
 };
 /** LHS: N_e_max is dimensionless (number of e-folds = log of expansion factor). */
+/** @internal */
 export const BE45_TCC_LHS = sym('N_e_max', DIMENSIONLESS);
 /**
  * Evaluate the TCC bound on inflationary e-folds (natural log):
@@ -124,19 +124,13 @@ export const BE45_TCC_LHS = sym('N_e_max', DIMENSIONLESS);
  * @returns Dimensionless maximum number of e-folds.
  */
 export function evaluateTCC(input) {
+    validateFiniteInputs(input, [
+        { name: 'M_P_GeV', min: 0, excludeMin: true },
+        { name: 'H_inf_GeV', min: 0, excludeMin: true },
+        { name: 'r', min: 0, excludeMin: true },
+        { name: 'gamma' },
+    ], 'evaluateTCC');
     const { M_P_GeV, H_inf_GeV, r, gamma } = input;
-    if (!Number.isFinite(M_P_GeV) || M_P_GeV <= 0) {
-        throw new RangeError(`evaluateTCC: M_P_GeV must be a finite positive number, got ${M_P_GeV}`);
-    }
-    if (!Number.isFinite(H_inf_GeV) || H_inf_GeV <= 0) {
-        throw new RangeError(`evaluateTCC: H_inf_GeV must be a finite positive number, got ${H_inf_GeV}`);
-    }
-    if (!Number.isFinite(r) || r <= 0) {
-        throw new RangeError(`evaluateTCC: r must be a finite positive number, got ${r}`);
-    }
-    if (!Number.isFinite(gamma)) {
-        throw new RangeError(`evaluateTCC: gamma must be finite, got ${gamma}`);
-    }
     return Math.log(M_P_GeV / H_inf_GeV) - gamma * Math.log(r / 0.01);
 }
 // --- Self-validation ---
@@ -144,14 +138,8 @@ export function evaluateTCC(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * dimensionless.
  */
+/** @internal */
 export function validateBE45Dimensions() {
-    const eq = validateEquation(BE45_TCC_LHS, BE45_TCC_RHS);
-    const lhs = validate(BE45_TCC_LHS);
-    const rhs = validate(BE45_TCC_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE45_TCC_LHS, BE45_TCC_RHS, 'BE45');
 }
 //# sourceMappingURL=be-45-tcc.js.map

package/dist/bridges/equations/be-45-tcc.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-45-tcc.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-45-tcc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;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,0BAA0B,GAAa;IAClD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;QAClB,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,0CAA0C;KACjE;CACF,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;QACvB,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC;KAC3B;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;QACpC;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;gBAC3B,GAAG,CAAC,aAAa,EAAE,aAAa,CAAC;aAClC;SACF;KACF;CACF,CAAC;AAEF,mFAAmF;AACnF,MAAM,CAAC,MAAM,YAAY,GAAa,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAepE;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,KAAgB;IAC1C,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC/C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,UAAU,CAClB,8DAA8D,OAAO,EAAE,CACxE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,UAAU,CAClB,gEAAgE,SAAS,EAAE,CAC5E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAClB,wDAAwD,CAAC,EAAE,CAC5D,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,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,SAAS,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;AACpE,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-45-tcc.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-45-tcc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;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,0BAA0B,GAAa;IAClD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;QAClB,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,0CAA0C;KACjE;CACF,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;QACvB,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC;KAC3B;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;QACpC;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;gBAC3B,GAAG,CAAC,aAAa,EAAE,aAAa,CAAC;aAClC;SACF;KACF;CACF,CAAC;AAEF,mFAAmF;AACnF,gBAAgB;AAChB,MAAM,CAAC,MAAM,YAAY,GAAa,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAkBpE;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,KAAgB;IAC1C,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC7C,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC/C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,OAAO,EAAE;KAClB,EACD,aAAa,CACd,CAAC;IACF,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC/C,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,SAAS,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;AACpE,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-46-multiverse-measure.d.ts

@@ -136,8 +136,12 @@ export declare const BE46_NORMALIZATION: ExprNode;
  */
 export declare const BE46_ANTHROPIC_PROBABILITY_RHS: ExprNode;
 /** LHS: P(Λ) is a probability, DIMENSIONLESS by definition (P ∈ [0, 1]). */
+/** @internal */
 export declare const BE46_ANTHROPIC_PROBABILITY_LHS: ExprNode;
-export interface AnthropicInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateAnthropic` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface AnthropicInputs {
     /** Normalization constant A (dimensionless; scheme-dependent). Must be finite. */
     normalization: number;
     /** Model parameter α (dimensionless ratio component). Must be finite. */
@@ -159,5 +163,7 @@ export declare function evaluateWeinbergVilenkinP(input: AnthropicInputs): numbe
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be DIMENSIONLESS.
  */
+/** @internal */
 export declare function validateBE46Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-46-multiverse-measure.d.ts.map

package/dist/bridges/equations/be-46-multiverse-measure.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-46-multiverse-measure.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-46-multiverse-measure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkGG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAW1F;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAY/B,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,EAAE,QAA2C,CAAC;AAE1E;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAkC,CAAC;AAEpE;;;;;;;;GAQG;AACH,eAAO,MAAM,8BAA8B,EAAE,QAM5C,CAAC;AAEF,4EAA4E;AAC5E,eAAO,MAAM,8BAA8B,EAAE,QAAyC,CAAC;AAIvF,MAAM,WAAW,eAAe;IAC9B,kFAAkF;IAClF,aAAa,EAAE,MAAM,CAAC;IACtB,yEAAyE;IACzE,KAAK,EAAE,MAAM,CAAC;IACd,qFAAqF;IACrF,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;GAQG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAkBxE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CAYlE"}
+{"version":3,"file":"be-46-multiverse-measure.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-46-multiverse-measure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkGG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAY/B,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,EAAE,QAA2C,CAAC;AAE1E;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAkC,CAAC;AAEpE;;;;;;;;GAQG;AACH,eAAO,MAAM,8BAA8B,EAAE,QAM5C,CAAC;AAEF,4EAA4E;AAC5E,gBAAgB;AAChB,eAAO,MAAM,8BAA8B,EAAE,QAAyC,CAAC;AAIvF;;GAEG;AACH,UAAU,eAAe;IACvB,kFAAkF;IAClF,aAAa,EAAE,MAAM,CAAC;IACtB,yEAAyE;IACzE,KAAK,EAAE,MAAM,CAAC;IACd,qFAAqF;IACrF,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;GAQG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAYxE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

package/dist/bridges/equations/be-46-multiverse-measure.js

@@ -97,9 +97,8 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 46)
  * @module bridges/equations/be-46-multiverse-measure
  */
-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 exp argument `−α / Λ` (DIMENSIONLESS).
@@ -157,6 +156,7 @@ export const BE46_ANTHROPIC_PROBABILITY_RHS = {
     ],
 };
 /** LHS: P(Λ) is a probability, DIMENSIONLESS by definition (P ∈ [0, 1]). */
+/** @internal */
 export const BE46_ANTHROPIC_PROBABILITY_LHS = sym('P_Lambda', DIMENSIONLESS);
 /**
  * Evaluate the Weinberg-Vilenkin anthropic probability:
@@ -168,16 +168,12 @@ export const BE46_ANTHROPIC_PROBABILITY_LHS = sym('P_Lambda', DIMENSIONLESS);
  * not clamp).
  */
 export function evaluateWeinbergVilenkinP(input) {
+    validateFiniteInputs(input, [
+        { name: 'normalization' },
+        { name: 'alpha' },
+        { name: 'lambda', min: 0, excludeMin: true },
+    ], 'evaluateWeinbergVilenkinP');
     const { normalization, alpha, lambda } = input;
-    if (!Number.isFinite(normalization)) {
-        throw new RangeError(`evaluateWeinbergVilenkinP: normalization must be finite, got ${normalization}`);
-    }
-    if (!Number.isFinite(alpha)) {
-        throw new RangeError(`evaluateWeinbergVilenkinP: alpha must be finite, got ${alpha}`);
-    }
-    if (!Number.isFinite(lambda) || lambda <= 0) {
-        throw new RangeError(`evaluateWeinbergVilenkinP: lambda must be a finite positive number, got ${lambda}`);
-    }
     return normalization * Math.exp(-alpha / lambda);
 }
 // --- Self-validation ---
@@ -185,14 +181,8 @@ export function evaluateWeinbergVilenkinP(input) {
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be DIMENSIONLESS.
  */
+/** @internal */
 export function validateBE46Dimensions() {
-    const eq = validateEquation(BE46_ANTHROPIC_PROBABILITY_LHS, BE46_ANTHROPIC_PROBABILITY_RHS);
-    const lhs = validate(BE46_ANTHROPIC_PROBABILITY_LHS);
-    const rhs = validate(BE46_ANTHROPIC_PROBABILITY_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE46_ANTHROPIC_PROBABILITY_LHS, BE46_ANTHROPIC_PROBABILITY_RHS, 'BE46');
 }
 //# sourceMappingURL=be-46-multiverse-measure.js.map

package/dist/bridges/equations/be-46-multiverse-measure.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-46-multiverse-measure.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-46-multiverse-measure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkGG;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;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;aAC5B;SACF;QACD,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC;KAC7B;CACF,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;AAE1E;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;AAEpE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAa;IACtD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,eAAe;KAChB;CACF,CAAC;AAEF,4EAA4E;AAC5E,MAAM,CAAC,MAAM,8BAA8B,GAAa,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;AAavF;;;;;;;;GAQG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAAsB;IAC9D,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC/C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,UAAU,CAClB,gEAAgE,aAAa,EAAE,CAChF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAClB,wDAAwD,KAAK,EAAE,CAChE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,UAAU,CAClB,2EAA2E,MAAM,EAAE,CACpF,CAAC;IACJ,CAAC;IACD,OAAO,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC;AACnD,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-46-multiverse-measure.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-46-multiverse-measure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkGG;AAGH,OAAO,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;aAC5B;SACF;QACD,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC;KAC7B;CACF,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;AAE1E;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;AAEpE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAa;IACtD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,eAAe;KAChB;CACF,CAAC;AAEF,4EAA4E;AAC5E,gBAAgB;AAChB,MAAM,CAAC,MAAM,8BAA8B,GAAa,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;AAgBvF;;;;;;;;GAQG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAAsB;IAC9D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,eAAe,EAAE;QACzB,EAAE,IAAI,EAAE,OAAO,EAAE;QACjB,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC7C,EACD,2BAA2B,CAC5B,CAAC;IACF,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC/C,OAAO,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC;AACnD,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-47-bbn-dark-sector.d.ts

@@ -37,10 +37,14 @@ export declare const BBN_DARK_SM_TERM: ExprNode;
 /** ⟨σv⟩_dark · n_χ² · ε_transfer — dark-sector sink. */
 export declare const BBN_DARK_DARK_TERM: ExprNode;
 /** LHS: dY/dt + 3 H Y. */
+/** @internal */
 export declare const BBN_DARK_LHS: ExprNode;
 /** RHS: ⟨σv⟩_SM n_p n_n − ⟨σv⟩_dark n_χ² ε_transfer. */
 export declare const BBN_DARK_RHS: ExprNode;
-export interface BBNDarkInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateBBNDark` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface BBNDarkInputs {
     /** Hubble parameter H (s^-1). */
     H: number;
     /** Yield / number density Y (m^-3). */
@@ -68,5 +72,7 @@ export declare function evaluateBBNDark(input: BBNDarkInputs): number;
  * Run the AST through the dimensional analyzer; both LHS and RHS
  * should be [L^-3 T^-1].
  */
+/** @internal */
 export declare function validateBBNDarkDimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-47-bbn-dark-sector.d.ts.map

package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-47-bbn-dark-sector.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-47-bbn-dark-sector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAuB1F,0DAA0D;AAC1D,eAAO,MAAM,kBAAkB,EAAE,QAIhC,CAAC;AAEF,4DAA4D;AAC5D,eAAO,MAAM,oBAAoB,EAAE,QAOlC,CAAC;AAEF,4DAA4D;AAC5D,eAAO,MAAM,gBAAgB,EAAE,QAO9B,CAAC;AAEF,wDAAwD;AACxD,eAAO,MAAM,kBAAkB,EAAE,QAUhC,CAAC;AAEF,0BAA0B;AAC1B,eAAO,MAAM,YAAY,EAAE,QAG1B,CAAC;AAEF,wDAAwD;AACxD,eAAO,MAAM,YAAY,EAAE,QAG1B,CAAC;AAIF,MAAM,WAAW,aAAa;IAC5B,iCAAiC;IACjC,CAAC,EAAE,MAAM,CAAC;IACV,uCAAuC;IACvC,CAAC,EAAE,MAAM,CAAC;IACV,uBAAuB;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,oCAAoC;IACpC,GAAG,EAAE,MAAM,CAAC;IACZ,qCAAqC;IACrC,GAAG,EAAE,MAAM,CAAC;IACZ,yBAAyB;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,8CAA8C;IAC9C,KAAK,EAAE,MAAM,CAAC;IACd,2CAA2C;IAC3C,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAkB5D;AAID;;;GAGG;AACH,wBAAgB,yBAAyB,IAAI,yBAAyB,CASrE"}
+{"version":3,"file":"be-47-bbn-dark-sector.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-47-bbn-dark-sector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAqB1F,0DAA0D;AAC1D,eAAO,MAAM,kBAAkB,EAAE,QAIhC,CAAC;AAEF,4DAA4D;AAC5D,eAAO,MAAM,oBAAoB,EAAE,QAOlC,CAAC;AAEF,4DAA4D;AAC5D,eAAO,MAAM,gBAAgB,EAAE,QAO9B,CAAC;AAEF,wDAAwD;AACxD,eAAO,MAAM,kBAAkB,EAAE,QAUhC,CAAC;AAEF,0BAA0B;AAC1B,gBAAgB;AAChB,eAAO,MAAM,YAAY,EAAE,QAG1B,CAAC;AAEF,wDAAwD;AACxD,eAAO,MAAM,YAAY,EAAE,QAG1B,CAAC;AAIF;;GAEG;AACH,UAAU,aAAa;IACrB,iCAAiC;IACjC,CAAC,EAAE,MAAM,CAAC;IACV,uCAAuC;IACvC,CAAC,EAAE,MAAM,CAAC;IACV,uBAAuB;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,oCAAoC;IACpC,GAAG,EAAE,MAAM,CAAC;IACZ,qCAAqC;IACrC,GAAG,EAAE,MAAM,CAAC;IACZ,yBAAyB;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,8CAA8C;IAC9C,KAAK,EAAE,MAAM,CAAC;IACd,2CAA2C;IAC3C,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAwB5D;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,yBAAyB,IAAI,yBAAyB,CAErE"}

package/dist/bridges/equations/be-47-bbn-dark-sector.js

@@ -27,9 +27,8 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 47)
  * @module bridges/equations/be-47-bbn-dark-sector
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, TIME, FREQUENCY, } from '../../dimensional/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /** Number density [L^-3]. */
 const NUMBER_DENSITY = {
     L: -3, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0,
@@ -76,6 +75,7 @@ export const BBN_DARK_DARK_TERM = {
     ],
 };
 /** LHS: dY/dt + 3 H Y. */
+/** @internal */
 export const BBN_DARK_LHS = {
     kind: 'op', op: '+',
     args: [BBN_DARK_DYDT_TERM, BBN_DARK_HUBBLE_TERM],
@@ -91,13 +91,17 @@ export const BBN_DARK_RHS = {
  * @returns dY/dt in (m^-3 s^-1).
  */
 export function evaluateBBNDark(input) {
+    validateFiniteInputs(input, [
+        { name: 'H' },
+        { name: 'Y' },
+        { name: 'sigmav_SM' },
+        { name: 'n_p' },
+        { name: 'n_n' },
+        { name: 'sigmav_dark' },
+        { name: 'n_chi' },
+        { name: 'eps_transfer' },
+    ], 'evaluateBBNDark');
     const { H, Y, sigmav_SM, n_p, n_n, sigmav_dark, n_chi, eps_transfer, } = input;
-    const inputs = [H, Y, sigmav_SM, n_p, n_n, sigmav_dark, n_chi, eps_transfer];
-    for (const v of inputs) {
-        if (!Number.isFinite(v)) {
-            throw new RangeError(`evaluateBBNDark: all inputs must be finite, got ${JSON.stringify(input)}`);
-        }
-    }
     const sm_source = sigmav_SM * n_p * n_n;
     const dark_sink = sigmav_dark * n_chi * n_chi * eps_transfer;
     const hubble_drag = 3 * H * Y;
@@ -108,14 +112,8 @@ export function evaluateBBNDark(input) {
  * Run the AST through the dimensional analyzer; both LHS and RHS
  * should be [L^-3 T^-1].
  */
+/** @internal */
 export function validateBBNDarkDimensions() {
-    const eq = validateEquation(BBN_DARK_LHS, BBN_DARK_RHS);
-    const lhs = validate(BBN_DARK_LHS);
-    const rhs = validate(BBN_DARK_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BBN_DARK_LHS, BBN_DARK_RHS, 'BE47');
 }
 //# sourceMappingURL=be-47-bbn-dark-sector.js.map

package/dist/bridges/equations/be-47-bbn-dark-sector.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-47-bbn-dark-sector.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-47-bbn-dark-sector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,IAAI,EACJ,SAAS,GACV,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,6BAA6B;AAC7B,MAAM,cAAc,GAAc;IAChC,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,wDAAwD;AACxD,MAAM,MAAM,GAAc;IACxB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,wBAAwB;AAExB,0DAA0D;AAC1D,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,YAAY;IAClB,EAAE,EAAE,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC;IAC5B,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;CACpB,CAAC;AAEF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;QACvB,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC;QACnB,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC;KACzB;CACF,CAAC;AAEF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC;QACxB,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC;QAC1B,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC;KAC3B;CACF,CAAC;AAEF,wDAAwD;AACxD,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC;QAC1B;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;SAC9D;QACD,GAAG,CAAC,cAAc,EAAE,aAAa,CAAC;KACnC;CACF,CAAC;AAEF,0BAA0B;AAC1B,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,kBAAkB,EAAE,oBAAoB,CAAC;CACjD,CAAC;AAEF,wDAAwD;AACxD,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;CAC7C,CAAC;AAuBF;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,KAAoB;IAClD,MAAM,EACJ,CAAC,EAAE,CAAC,EACJ,SAAS,EAAE,GAAG,EAAE,GAAG,EACnB,WAAW,EAAE,KAAK,EAAE,YAAY,GACjC,GAAG,KAAK,CAAC;IACV,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,UAAU,CAClB,mDAAmD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAC3E,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,SAAS,GAAG,GAAG,GAAG,GAAG,CAAC;IACxC,MAAM,SAAS,GAAG,WAAW,GAAG,KAAK,GAAG,KAAK,GAAG,YAAY,CAAC;IAC7D,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,SAAS,GAAG,SAAS,GAAG,WAAW,CAAC;AAC7C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,yBAAyB;IACvC,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-47-bbn-dark-sector.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-47-bbn-dark-sector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAGH,OAAO,EAEL,aAAa,EACb,IAAI,EACJ,SAAS,GACV,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,6BAA6B;AAC7B,MAAM,cAAc,GAAc;IAChC,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,wDAAwD;AACxD,MAAM,MAAM,GAAc;IACxB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,wBAAwB;AAExB,0DAA0D;AAC1D,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,YAAY;IAClB,EAAE,EAAE,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC;IAC5B,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;CACpB,CAAC;AAEF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;QACvB,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC;QACnB,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC;KACzB;CACF,CAAC;AAEF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC;QACxB,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC;QAC1B,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC;KAC3B;CACF,CAAC;AAEF,wDAAwD;AACxD,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC;QAC1B;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;SAC9D;QACD,GAAG,CAAC,cAAc,EAAE,aAAa,CAAC;KACnC;CACF,CAAC;AAEF,0BAA0B;AAC1B,gBAAgB;AAChB,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,kBAAkB,EAAE,oBAAoB,CAAC;CACjD,CAAC;AAEF,wDAAwD;AACxD,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;CAC7C,CAAC;AA0BF;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,KAAoB;IAClD,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,WAAW,EAAE;QACrB,EAAE,IAAI,EAAE,KAAK,EAAE;QACf,EAAE,IAAI,EAAE,KAAK,EAAE;QACf,EAAE,IAAI,EAAE,aAAa,EAAE;QACvB,EAAE,IAAI,EAAE,OAAO,EAAE;QACjB,EAAE,IAAI,EAAE,cAAc,EAAE;KACzB,EACD,iBAAiB,CAClB,CAAC;IACF,MAAM,EACJ,CAAC,EAAE,CAAC,EACJ,SAAS,EAAE,GAAG,EAAE,GAAG,EACnB,WAAW,EAAE,KAAK,EAAE,YAAY,GACjC,GAAG,KAAK,CAAC;IACV,MAAM,SAAS,GAAG,SAAS,GAAG,GAAG,GAAG,GAAG,CAAC;IACxC,MAAM,SAAS,GAAG,WAAW,GAAG,KAAK,GAAG,KAAK,GAAG,YAAY,CAAC;IAC7D,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,SAAS,GAAG,SAAS,GAAG,WAAW,CAAC;AAC7C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,yBAAyB;IACvC,OAAO,oBAAoB,CAAC,YAAY,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;AAClE,CAAC"}

package/dist/bridges/equations/be-48-grw-localization.d.ts

@@ -52,8 +52,12 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
  */
 export declare const BE48_GRW_LOCALIZATION_RHS: ExprNode;
 /** LHS: λ_GRW(m) has dimension [frequency] = [T⁻¹]. */
+/** @internal */
 export declare const BE48_GRW_LOCALIZATION_LHS: ExprNode;
-export interface GRWLocalizationInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateGRWLocalization` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface GRWLocalizationInputs {
     /** Object mass m (kg). Must be > 0 and finite. */
     m_kg: number;
     /**
@@ -80,5 +84,7 @@ export declare function evaluateGRWLocalization(input: GRWLocalizationInputs): n
  * Run the AST through the dimensional analyzer; both sides should be
  * [frequency].
  */
+/** @internal */
 export declare function validateBE48Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-48-grw-localization.d.ts.map

package/dist/bridges/equations/be-48-grw-localization.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-48-grw-localization.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-48-grw-localization.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAU1F;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,QAYvC,CAAC;AAEF,uDAAuD;AACvD,eAAO,MAAM,yBAAyB,EAAE,QAAuC,CAAC;AAIhF,MAAM,WAAW,qBAAqB;IACpC,kDAAkD;IAClD,IAAI,EAAE,MAAM,CAAC;IACb;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAKD;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG,MAAM,CAsB5E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CAYlE"}
+{"version":3,"file":"be-48-grw-localization.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-48-grw-localization.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAO1F;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,QAYvC,CAAC;AAEF,uDAAuD;AACvD,gBAAgB;AAChB,eAAO,MAAM,yBAAyB,EAAE,QAAuC,CAAC;AAIhF;;GAEG;AACH,UAAU,qBAAqB;IAC7B,kDAAkD;IAClD,IAAI,EAAE,MAAM,CAAC;IACb;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAKD;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG,MAAM,CAiB5E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

package/dist/bridges/equations/be-48-grw-localization.js

@@ -42,9 +42,8 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 48)
  * @module bridges/equations/be-48-grw-localization
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { FREQUENCY, MASS, } from '../../dimensional/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * RHS of the mass-amplified GRW localization rate:
  *   λ_GRW(m) = λ_0 · (m / m_0)
@@ -66,6 +65,7 @@ export const BE48_GRW_LOCALIZATION_RHS = {
     ],
 };
 /** LHS: λ_GRW(m) has dimension [frequency] = [T⁻¹]. */
+/** @internal */
 export const BE48_GRW_LOCALIZATION_LHS = sym('lambda_GRW', FREQUENCY);
 const DEFAULT_M_0_KG = 1.67e-27; // proton/nucleon mass
 const DEFAULT_LAMBDA_0 = 1e-16; // canonical GRW 1986 rate (per second)
@@ -77,16 +77,17 @@ const DEFAULT_LAMBDA_0 = 1e-16; // canonical GRW 1986 rate (per second)
  * @returns Localization rate in 1/s.
  */
 export function evaluateGRWLocalization(input) {
-    const { m_kg, m_0_kg = DEFAULT_M_0_KG, lambda_0_per_s = DEFAULT_LAMBDA_0, } = input;
-    if (!Number.isFinite(m_kg) || m_kg <= 0) {
-        throw new RangeError(`evaluateGRWLocalization: m_kg must be a finite positive number, got ${m_kg}`);
-    }
-    if (!Number.isFinite(m_0_kg) || m_0_kg <= 0) {
-        throw new RangeError(`evaluateGRWLocalization: m_0_kg must be a finite positive number, got ${m_0_kg}`);
-    }
-    if (!Number.isFinite(lambda_0_per_s) || lambda_0_per_s < 0) {
-        throw new RangeError(`evaluateGRWLocalization: lambda_0_per_s must be a finite non-negative number, got ${lambda_0_per_s}`);
-    }
+    const resolved = {
+        m_kg: input.m_kg,
+        m_0_kg: input.m_0_kg ?? DEFAULT_M_0_KG,
+        lambda_0_per_s: input.lambda_0_per_s ?? DEFAULT_LAMBDA_0,
+    };
+    validateFiniteInputs(resolved, [
+        { name: 'm_kg', min: 0, excludeMin: true },
+        { name: 'm_0_kg', min: 0, excludeMin: true },
+        { name: 'lambda_0_per_s', min: 0 },
+    ], 'evaluateGRWLocalization');
+    const { m_kg, m_0_kg, lambda_0_per_s } = resolved;
     return lambda_0_per_s * (m_kg / m_0_kg);
 }
 // --- Self-validation ---
@@ -94,14 +95,8 @@ export function evaluateGRWLocalization(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * [frequency].
  */
+/** @internal */
 export function validateBE48Dimensions() {
-    const eq = validateEquation(BE48_GRW_LOCALIZATION_LHS, BE48_GRW_LOCALIZATION_RHS);
-    const lhs = validate(BE48_GRW_LOCALIZATION_LHS);
-    const rhs = validate(BE48_GRW_LOCALIZATION_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE48_GRW_LOCALIZATION_LHS, BE48_GRW_LOCALIZATION_RHS, 'BE48');
 }
 //# sourceMappingURL=be-48-grw-localization.js.map

package/dist/bridges/equations/be-48-grw-localization.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-48-grw-localization.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-48-grw-localization.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,SAAS,EACT,IAAI,GACL,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;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC;QAC1B;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;aACjB;SACF;KACF;CACF,CAAC;AAEF,uDAAuD;AACvD,MAAM,CAAC,MAAM,yBAAyB,GAAa,GAAG,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;AAoBhF,MAAM,cAAc,GAAG,QAAQ,CAAC,CAAC,sBAAsB;AACvD,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,uCAAuC;AAEvE;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAA4B;IAClE,MAAM,EACJ,IAAI,EACJ,MAAM,GAAG,cAAc,EACvB,cAAc,GAAG,gBAAgB,GAClC,GAAG,KAAK,CAAC;IACV,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,UAAU,CAClB,uEAAuE,IAAI,EAAE,CAC9E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,UAAU,CAClB,yEAAyE,MAAM,EAAE,CAClF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,UAAU,CAClB,qFAAqF,cAAc,EAAE,CACtG,CAAC;IACJ,CAAC;IACD,OAAO,cAAc,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC;AAC1C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CACzB,yBAAyB,EACzB,yBAAyB,CAC1B,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IAChD,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-48-grw-localization.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-48-grw-localization.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EACL,SAAS,EACT,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC;QAC1B;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;aACjB;SACF;KACF;CACF,CAAC;AAEF,uDAAuD;AACvD,gBAAgB;AAChB,MAAM,CAAC,MAAM,yBAAyB,GAAa,GAAG,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;AAuBhF,MAAM,cAAc,GAAG,QAAQ,CAAC,CAAC,sBAAsB;AACvD,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,uCAAuC;AAEvE;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAA4B;IAClE,MAAM,QAAQ,GAAG;QACf,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,cAAc;QACtC,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,gBAAgB;KACzD,CAAC;IACF,oBAAoB,CAClB,QAAQ,EACR;QACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC5C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,EAAE;KACnC,EACD,yBAAyB,CAC1B,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,QAAQ,CAAC;IAClD,OAAO,cAAc,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC;AAC1C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,yBAAyB,EACzB,yBAAyB,EACzB,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-49-quantum-darwinism.d.ts

@@ -66,8 +66,12 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
  */
 export declare const BE49_QUANTUM_DARWINISM_RHS: ExprNode;
 /** LHS: I(S:F_k) is dimensionless. */
+/** @internal */
 export declare const BE49_QUANTUM_DARWINISM_LHS: ExprNode;
-export interface QuantumDarwinismInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateQuantumDarwinism` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface QuantumDarwinismInputs {
     /** Total system-environment mutual information I(S:E). Must be finite. */
     I_SE: number;
     /** Dimensionless magnitude prefactor α. Must be finite. */
@@ -93,5 +97,7 @@ export declare function evaluateQuantumDarwinism(input: QuantumDarwinismInputs):
  * Run the AST through the dimensional analyzer; both sides should be
  * dimensionless.
  */
+/** @internal */
 export declare function validateBE49Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-49-quantum-darwinism.d.ts.map

package/dist/bridges/equations/be-49-quantum-darwinism.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-49-quantum-darwinism.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-49-quantum-darwinism.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwDG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAS1F;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAexC,CAAC;AAEF,sCAAsC;AACtC,eAAO,MAAM,0BAA0B,EAAE,QAAuC,CAAC;AAIjF,MAAM,WAAW,sBAAsB;IACrC,0EAA0E;IAC1E,IAAI,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,KAAK,EAAE,MAAM,CAAC;IACd,8DAA8D;IAC9D,CAAC,EAAE,MAAM,CAAC;IACV,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,sBAAsB,GAAG,MAAM,CAuB9E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-49-quantum-darwinism.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-49-quantum-darwinism.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwDG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAM1F;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAexC,CAAC;AAEF,sCAAsC;AACtC,gBAAgB;AAChB,eAAO,MAAM,0BAA0B,EAAE,QAAuC,CAAC;AAIjF;;GAEG;AACH,UAAU,sBAAsB;IAC9B,0EAA0E;IAC1E,IAAI,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,KAAK,EAAE,MAAM,CAAC;IACd,8DAA8D;IAC9D,CAAC,EAAE,MAAM,CAAC;IACV,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,sBAAsB,GAAG,MAAM,CAa9E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-49-quantum-darwinism.js

@@ -55,9 +55,8 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 49)
  * @module bridges/equations/be-49-quantum-darwinism
  */
-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';
 /**
  * RHS of the Quantum-Darwinism mutual-information decay:
  *   I(S:E) - α · k^(-1)
@@ -83,6 +82,7 @@ export const BE49_QUANTUM_DARWINISM_RHS = {
     ],
 };
 /** LHS: I(S:F_k) is dimensionless. */
+/** @internal */
 export const BE49_QUANTUM_DARWINISM_LHS = sym('I_S_Fk', DIMENSIONLESS);
 /**
  * Evaluate the Quantum-Darwinism mutual-information decay
@@ -96,19 +96,13 @@ export const BE49_QUANTUM_DARWINISM_LHS = sym('I_S_Fk', DIMENSIONLESS);
  * @returns Dimensionless mutual information I(S:F_k).
  */
 export function evaluateQuantumDarwinism(input) {
+    validateFiniteInputs(input, [
+        { name: 'I_SE' },
+        { name: 'alpha' },
+        { name: 'k', min: 0, excludeMin: true },
+        { name: 'beta' },
+    ], 'evaluateQuantumDarwinism');
     const { I_SE, alpha, k, beta } = input;
-    if (!Number.isFinite(I_SE)) {
-        throw new RangeError(`evaluateQuantumDarwinism: I_SE must be finite, got ${I_SE}`);
-    }
-    if (!Number.isFinite(alpha)) {
-        throw new RangeError(`evaluateQuantumDarwinism: alpha must be finite, got ${alpha}`);
-    }
-    if (!Number.isFinite(k) || k <= 0) {
-        throw new RangeError(`evaluateQuantumDarwinism: k must be a finite positive number, got ${k}`);
-    }
-    if (!Number.isFinite(beta)) {
-        throw new RangeError(`evaluateQuantumDarwinism: beta must be finite, got ${beta}`);
-    }
     return I_SE - alpha * Math.pow(k, -beta);
 }
 // --- Self-validation ---
@@ -116,14 +110,8 @@ export function evaluateQuantumDarwinism(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * dimensionless.
  */
+/** @internal */
 export function validateBE49Dimensions() {
-    const eq = validateEquation(BE49_QUANTUM_DARWINISM_LHS, BE49_QUANTUM_DARWINISM_RHS);
-    const lhs = validate(BE49_QUANTUM_DARWINISM_LHS);
-    const rhs = validate(BE49_QUANTUM_DARWINISM_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE49_QUANTUM_DARWINISM_LHS, BE49_QUANTUM_DARWINISM_RHS, 'BE49');
 }
 //# sourceMappingURL=be-49-quantum-darwinism.js.map