universal-physics-tensor 0.5.1 → 0.7.0

package/dist/bridges/equations/be-39-asymptotic-safety.js

@@ -15,6 +15,13 @@
  *
  * Status: speculative.
  *
+ * **v0.7 BE-X re-encoding** — the preferred structural form is now
+ * `BE39_BETA_G_STRUCTURAL` / `BE39_BETA_LAMBDA_STRUCTURAL` (added below),
+ * which wraps the polynomial ExprNode in a `BetaFunctionNode` carrying the
+ * (g, λ) coupling vector + target + optional NGFP fixed-point pin. The
+ * legacy `BE39_BETA_G_RHS` / `BE39_BETA_G_LHS` exports remain unchanged
+ * for catalog round-trip and existing-test compatibility.
+ *
  * Honest-claude scope notes:
  *   - The β-functions are dimensionless functions of dimensionless
  *     couplings (g, λ). Both LHS and RHS infer to DIMENSIONLESS;
@@ -38,11 +45,12 @@
  *
  * @see docs/specification/Part-II.md ("Bridge Equation 39: Asymptotic Safety in Quantum Gravity")
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 39)
+ * @see src/dimensional/rg-flow.ts (BetaFunctionNode + RGCouplingNode)
  * @module bridges/equations/be-39-asymptotic-safety
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS } from '../../dimensional/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { rgCoupling } from '../../dimensional/rg-flow.js';
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * RHS of the canonical β_g equation:
  *   β_g = 2g + A·g² + B·g³ − C·g²·λ
@@ -100,7 +108,109 @@ export const BE39_BETA_G_RHS = {
     ],
 };
 /** LHS: β_g is dimensionless. */
+/** @internal */
 export const BE39_BETA_G_LHS = sym('beta_g', DIMENSIONLESS);
+/**
+ * RHS of the canonical β_λ equation:
+ *   β_λ = −2λ + D·λ² − E·g·λ − F·g²
+ *
+ * All symbols are dimensionless. Mirrors the β_g encoding pattern —
+ * unary minus on a leading term is absorbed into a dimensionless symbol
+ * stub (`-2`) for the binary-op grammar.
+ *
+ * Added in v0.7 BE-X re-encoding to support the `BetaFunctionNode`
+ * structural form below.
+ */
+export const BE39_BETA_LAMBDA_RHS = {
+    kind: 'op', op: '+',
+    args: [
+        {
+            // -2λ
+            kind: 'op', op: '*',
+            args: [sym('-2', DIMENSIONLESS), sym('lambda', DIMENSIONLESS)],
+        },
+        {
+            // D · λ²
+            kind: 'op', op: '*',
+            args: [
+                sym('D', DIMENSIONLESS),
+                {
+                    kind: 'op', op: '^',
+                    args: [sym('lambda', DIMENSIONLESS), sym('2', DIMENSIONLESS)],
+                },
+            ],
+        },
+        {
+            // -E · g · λ
+            kind: 'op', op: '*',
+            args: [
+                sym('-E', DIMENSIONLESS),
+                sym('g', DIMENSIONLESS),
+                sym('lambda', DIMENSIONLESS),
+            ],
+        },
+        {
+            // -F · g²
+            kind: 'op', op: '*',
+            args: [
+                sym('-F', DIMENSIONLESS),
+                {
+                    kind: 'op', op: '^',
+                    args: [sym('g', DIMENSIONLESS), sym('2', DIMENSIONLESS)],
+                },
+            ],
+        },
+    ],
+};
+/** LHS: β_λ is dimensionless. */
+/** @internal */
+export const BE39_BETA_LAMBDA_LHS = sym('beta_lambda', DIMENSIONLESS);
+// ─────────────────────────────────────────────────────────────────────────────
+// v0.7 BE-X re-encoding — structural BetaFunctionNode wrappers
+// ─────────────────────────────────────────────────────────────────────────────
+/**
+ * Shared coupling vector for BE-39. The asymptotic-safety EH-truncation
+ * RG flow runs on the two-coupling space (g, λ); both β-functions live
+ * on this same flow direction, so the same `RGCouplingNode` instances
+ * are reused below.
+ *
+ * @public
+ */
+export const BE39_COUPLING_G = rgCoupling('g');
+/** @public */
+export const BE39_COUPLING_LAMBDA = rgCoupling('lambda');
+/**
+ * Structural β_g — the preferred v0.7+ encoding. Wraps `BE39_BETA_G_RHS`
+ * in a `BetaFunctionNode` carrying the full (g, λ) coupling vector and
+ * a Gaussian fixed-point pin at (0, 0). The non-Gaussian fixed point is
+ * scheme-dependent and not pinned here; downstream consumers may
+ * construct their own scheme-specific `BetaFunctionNode` with a numerical
+ * NGFP value via Reuter-Weyer 2009 or Codello-Percacci-Rahmede 2009.
+ *
+ * @public
+ */
+export const BE39_BETA_G_STRUCTURAL = {
+    kind: 'beta-function',
+    couplings: [BE39_COUPLING_G, BE39_COUPLING_LAMBDA],
+    target: BE39_COUPLING_G,
+    polynomialExpansion: BE39_BETA_G_RHS,
+    fixedPoint: [0, 0], // Gaussian fixed point (trivial)
+};
+/**
+ * Structural β_λ — the preferred v0.7+ encoding. Wraps `BE39_BETA_LAMBDA_RHS`
+ * in a `BetaFunctionNode`. Same (g, λ) coupling vector as β_g (the RG flow
+ * is shared between the two β-functions); target is `λ`. Gaussian fixed
+ * point pinned at (0, 0) for symmetry with β_g.
+ *
+ * @public
+ */
+export const BE39_BETA_LAMBDA_STRUCTURAL = {
+    kind: 'beta-function',
+    couplings: [BE39_COUPLING_G, BE39_COUPLING_LAMBDA],
+    target: BE39_COUPLING_LAMBDA,
+    polynomialExpansion: BE39_BETA_LAMBDA_RHS,
+    fixedPoint: [0, 0], // Gaussian fixed point (trivial)
+};
 /**
  * Evaluate the β-function for the dimensionless Newton coupling:
  *
@@ -109,12 +219,14 @@ export const BE39_BETA_G_LHS = sym('beta_g', DIMENSIONLESS);
  * @returns Dimensionless β_g value.
  */
 export function evaluateBetaG(input) {
+    validateFiniteInputs(input, [
+        { name: 'g' },
+        { name: 'lambda' },
+        { name: 'A' },
+        { name: 'B' },
+        { name: 'C' },
+    ], 'evaluateBetaG');
     const { g, lambda, A, B, C } = input;
-    for (const [name, val] of [['g', g], ['lambda', lambda], ['A', A], ['B', B], ['C', C]]) {
-        if (!Number.isFinite(val)) {
-            throw new RangeError(`evaluateBetaG: ${name} must be finite, got ${val}`);
-        }
-    }
     return 2 * g + A * g * g + B * g * g * g - C * g * g * lambda;
 }
 /**
@@ -129,12 +241,14 @@ export function evaluateBetaG(input) {
  * @returns Dimensionless β_λ value.
  */
 export function evaluateBetaLambda(input) {
+    validateFiniteInputs(input, [
+        { name: 'g' },
+        { name: 'lambda' },
+        { name: 'D' },
+        { name: 'E' },
+        { name: 'F' },
+    ], 'evaluateBetaLambda');
     const { g, lambda, D, E, F } = input;
-    for (const [name, val] of [['g', g], ['lambda', lambda], ['D', D], ['E', E], ['F', F]]) {
-        if (!Number.isFinite(val)) {
-            throw new RangeError(`evaluateBetaLambda: ${name} must be finite, got ${val}`);
-        }
-    }
     return -2 * lambda + D * lambda * lambda - E * g * lambda - F * g * g;
 }
 // --- Self-validation ---
@@ -142,14 +256,8 @@ export function evaluateBetaLambda(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * DIMENSIONLESS.
  */
+/** @internal */
 export function validateBE39Dimensions() {
-    const eq = validateEquation(BE39_BETA_G_LHS, BE39_BETA_G_RHS);
-    const lhs = validate(BE39_BETA_G_LHS);
-    const rhs = validate(BE39_BETA_G_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE39_BETA_G_LHS, BE39_BETA_G_RHS, 'BE39');
 }
 //# sourceMappingURL=be-39-asymptotic-safety.js.map

package/dist/bridges/equations/be-39-asymptotic-safety.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-39-asymptotic-safety.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-39-asymptotic-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAa,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAEtE,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,KAAK;YACL,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;SACzD;QACD;YACE,SAAS;YACT,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACzD;aACF;SACF;QACD;YACE,SAAS;YACT,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACzD;aACF;SACF;QACD;YACE,8DAA8D;YAC9D,iEAAiE;YACjE,uCAAuC;YACvC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACzD;gBACD,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC;aAC7B;SACF;KACF;CACF,CAAC;AAEF,iCAAiC;AACjC,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAiBtE;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,KAAkB;IAC9C,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAU,EAAE,CAAC;QAChG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,UAAU,CAClB,kBAAkB,IAAI,wBAAwB,GAAG,EAAE,CACpD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;AAChE,CAAC;AAiBD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAuB;IACxD,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAU,EAAE,CAAC;QAChG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,UAAU,CAClB,uBAAuB,IAAI,wBAAwB,GAAG,EAAE,CACzD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,GAAG,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACxE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;IACtC,MAAM,GAAG,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;IACtC,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-39-asymptotic-safety.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-39-asymptotic-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE3D,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC1D,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,KAAK;YACL,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;SACzD;QACD;YACE,SAAS;YACT,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACzD;aACF;SACF;QACD;YACE,SAAS;YACT,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACzD;aACF;SACF;QACD;YACE,8DAA8D;YAC9D,iEAAiE;YACjE,uCAAuC;YACvC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACzD;gBACD,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC;aAC7B;SACF;KACF;CACF,CAAC;AAEF,iCAAiC;AACjC,gBAAgB;AAChB,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEtE;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,MAAM;YACN,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;SAC/D;QACD;YACE,SAAS;YACT,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBAC9D;aACF;SACF;QACD;YACE,aAAa;YACb,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC;aAC7B;SACF;QACD;YACE,UAAU;YACV,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACzD;aACF;SACF;KACF;CACF,CAAC;AAEF,iCAAiC;AACjC,gBAAgB;AAChB,MAAM,CAAC,MAAM,oBAAoB,GAAa,GAAG,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;AAEhF,gFAAgF;AAChF,+DAA+D;AAC/D,gFAAgF;AAEhF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,eAAe,GAAmB,UAAU,CAAC,GAAG,CAAC,CAAC;AAE/D,cAAc;AACd,MAAM,CAAC,MAAM,oBAAoB,GAAmB,UAAU,CAAC,QAAQ,CAAC,CAAC;AAEzE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAqB;IACtD,IAAI,EAAE,eAAe;IACrB,SAAS,EAAE,CAAC,eAAe,EAAE,oBAAoB,CAAC;IAClD,MAAM,EAAE,eAAe;IACvB,mBAAmB,EAAE,eAAe;IACpC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,iCAAiC;CACtD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAqB;IAC3D,IAAI,EAAE,eAAe;IACrB,SAAS,EAAE,CAAC,eAAe,EAAE,oBAAoB,CAAC;IAClD,MAAM,EAAE,oBAAoB;IAC5B,mBAAmB,EAAE,oBAAoB;IACzC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,iCAAiC;CACtD,CAAC;AAoBF;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,KAAkB;IAC9C,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,QAAQ,EAAE;QAClB,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,GAAG,EAAE;KACd,EACD,eAAe,CAChB,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IACrC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;AAChE,CAAC;AAoBD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAuB;IACxD,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,QAAQ,EAAE;QAClB,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,GAAG,EAAE;KACd,EACD,oBAAoB,CACrB,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IACrC,OAAO,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,GAAG,MAAM,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACxE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,eAAe,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;AACxE,CAAC"}

package/dist/bridges/equations/be-40-composite-higgs.d.ts

@@ -51,8 +51,12 @@ export declare const BE40_HIGGS_DIMLESS_ARG: ExprNode;
  */
 export declare const BE40_COMPOSITE_HIGGS_RHS: ExprNode;
 /** LHS: V(h) has dim [energy⁴]. */
+/** @internal */
 export declare const BE40_COMPOSITE_HIGGS_LHS: ExprNode;
-export interface CompositeHiggsInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateCompositeHiggs` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface CompositeHiggsInputs {
     /** Higgs field h (natural units, e.g. TeV). Must be finite. */
     h: number;
     /** Pseudo-Goldstone decay constant f (natural units, e.g. TeV). Must be > 0 and finite. */
@@ -77,5 +81,7 @@ export declare function evaluateCompositeHiggs(input: CompositeHiggsInputs): num
  * Run the AST through the dimensional analyzer; both sides should be
  * [energy⁴].
  */
+/** @internal */
 export declare function validateBE40Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-40-composite-higgs.d.ts.map

package/dist/bridges/equations/be-40-composite-higgs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-40-composite-higgs.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-40-composite-higgs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAc1F;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAMpC,CAAC;AAQF;;;;;;;;GAQG;AACH,eAAO,MAAM,wBAAwB,EAAE,QA8BtC,CAAC;AAEF,mCAAmC;AACnC,eAAO,MAAM,wBAAwB,EAAE,QAA4B,CAAC;AAIpE,MAAM,WAAW,oBAAoB;IACnC,+DAA+D;IAC/D,CAAC,EAAE,MAAM,CAAC;IACV,2FAA2F;IAC3F,CAAC,EAAE,MAAM,CAAC;IACV,0DAA0D;IAC1D,KAAK,EAAE,MAAM,CAAC;IACd,0DAA0D;IAC1D,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CA8B1E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-40-composite-higgs.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-40-composite-higgs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAY1F;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAMpC,CAAC;AAQF;;;;;;;;GAQG;AACH,eAAO,MAAM,wBAAwB,EAAE,QA8BtC,CAAC;AAEF,mCAAmC;AACnC,gBAAgB;AAChB,eAAO,MAAM,wBAAwB,EAAE,QAA4B,CAAC;AAIpE;;GAEG;AACH,UAAU,oBAAoB;IAC5B,+DAA+D;IAC/D,CAAC,EAAE,MAAM,CAAC;IACV,2FAA2F;IAC3F,CAAC,EAAE,MAAM,CAAC;IACV,0DAA0D;IAC1D,KAAK,EAAE,MAAM,CAAC;IACd,0DAA0D;IAC1D,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CAoB1E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-40-composite-higgs.js

@@ -33,10 +33,9 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 40)
  * @module bridges/equations/be-40-composite-higgs
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, ENERGY, } from '../../dimensional/types.js';
 import { power } from '../../dimensional/algebra.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /** [energy⁴] = [L^8 M^4 T^-8]. */
 const ENERGY4 = power(ENERGY, 4);
 /**
@@ -97,6 +96,7 @@ export const BE40_COMPOSITE_HIGGS_RHS = {
     ],
 };
 /** LHS: V(h) has dim [energy⁴]. */
+/** @internal */
 export const BE40_COMPOSITE_HIGGS_LHS = sym('V', ENERGY4);
 /**
  * Evaluate the SILH composite-Higgs potential
@@ -109,19 +109,13 @@ export const BE40_COMPOSITE_HIGGS_LHS = sym('V', ENERGY4);
  * @returns V(h) in natural-unit f⁴-scale.
  */
 export function evaluateCompositeHiggs(input) {
+    validateFiniteInputs(input, [
+        { name: 'f', min: 0, excludeMin: true },
+        { name: 'h' },
+        { name: 'alpha' },
+        { name: 'beta' },
+    ], 'evaluateCompositeHiggs');
     const { h, f, alpha, beta } = input;
-    if (!Number.isFinite(f) || f <= 0) {
-        throw new RangeError(`evaluateCompositeHiggs: f must be a finite positive number, got ${f}`);
-    }
-    if (!Number.isFinite(h)) {
-        throw new RangeError(`evaluateCompositeHiggs: h must be finite, got ${h}`);
-    }
-    if (!Number.isFinite(alpha)) {
-        throw new RangeError(`evaluateCompositeHiggs: alpha must be finite, got ${alpha}`);
-    }
-    if (!Number.isFinite(beta)) {
-        throw new RangeError(`evaluateCompositeHiggs: beta must be finite, got ${beta}`);
-    }
     const arg = h / f;
     const s = Math.sin(arg);
     const c = Math.cos(arg);
@@ -136,14 +130,8 @@ export function evaluateCompositeHiggs(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * [energy⁴].
  */
+/** @internal */
 export function validateBE40Dimensions() {
-    const eq = validateEquation(BE40_COMPOSITE_HIGGS_LHS, BE40_COMPOSITE_HIGGS_RHS);
-    const lhs = validate(BE40_COMPOSITE_HIGGS_LHS);
-    const rhs = validate(BE40_COMPOSITE_HIGGS_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE40_COMPOSITE_HIGGS_LHS, BE40_COMPOSITE_HIGGS_RHS, 'BE40');
 }
 //# sourceMappingURL=be-40-composite-higgs.js.map

package/dist/bridges/equations/be-40-composite-higgs.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-40-composite-higgs.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-40-composite-higgs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AAErD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,kCAAkC;AAClC,MAAM,OAAO,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAE5C;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;QAChB,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;KACjB;CACF,CAAC;AAEF,oDAAoD;AACpD,MAAM,EAAE,GAAa;IACnB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;CAClD,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAa;IAChD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,sBAAsB;YACtB,yEAAyE;YACzE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;gBAC3B,EAAE;gBACF,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;aACjC;SACF;QACD;YACE,6CAA6C;YAC7C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC;gBAC1B,EAAE;gBACF;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;wBAChC,GAAG,CAAC,uBAAuB,EAAE,aAAa,CAAC;qBAC5C;iBACF;aACF;SACF;KACF;CACF,CAAC;AAEF,mCAAmC;AACnC,MAAM,CAAC,MAAM,wBAAwB,GAAa,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AAepE;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA2B;IAChE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACpC,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,CAAC,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,UAAU,CAClB,iDAAiD,CAAC,EAAE,CACrD,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAClB,qDAAqD,KAAK,EAAE,CAC7D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,UAAU,CAClB,oDAAoD,IAAI,EAAE,CAC3D,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnB,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1B,OAAO,CAAC,KAAK,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACvD,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-40-composite-higgs.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-40-composite-higgs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EAEL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,kCAAkC;AAClC,MAAM,OAAO,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAE5C;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;QAChB,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;KACjB;CACF,CAAC;AAEF,oDAAoD;AACpD,MAAM,EAAE,GAAa;IACnB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;CAClD,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAa;IAChD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,sBAAsB;YACtB,yEAAyE;YACzE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;gBAC3B,EAAE;gBACF,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;aACjC;SACF;QACD;YACE,6CAA6C;YAC7C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC;gBAC1B,EAAE;gBACF;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;wBAChC,GAAG,CAAC,uBAAuB,EAAE,aAAa,CAAC;qBAC5C;iBACF;aACF;SACF;KACF;CACF,CAAC;AAEF,mCAAmC;AACnC,gBAAgB;AAChB,MAAM,CAAC,MAAM,wBAAwB,GAAa,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AAkBpE;;;;;;;;;GASG;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,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,OAAO,EAAE;QACjB,EAAE,IAAI,EAAE,MAAM,EAAE;KACjB,EACD,wBAAwB,CACzB,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACpC,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnB,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1B,OAAO,CAAC,KAAK,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AACvD,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-41-swampland.d.ts

@@ -39,9 +39,10 @@ export declare const SWAMPLAND_EXP_ARG: ExprNode;
  * dimensionless symbol standing for exp(SWAMPLAND_EXP_ARG).
  */
 export declare const SWAMPLAND_RHS: ExprNode;
-/** LHS: m(φ) has dimension [mass]. */
-export declare const SWAMPLAND_LHS: ExprNode;
-export interface SwamplandInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateSwampland` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface SwamplandInputs {
     /** Reference mass m₀. Must be ≥ 0 (any consistent unit; output in same unit). */
     m0: number;
     /** Dimensionless O(1) coefficient α. */
@@ -63,5 +64,7 @@ export declare function evaluateSwampland(input: SwamplandInputs): number;
  * Run the AST through the dimensional analyzer; both sides should be
  * [mass].
  */
+/** @internal */
 export declare function validateSwamplandDimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-41-swampland.d.ts.map

package/dist/bridges/equations/be-41-swampland.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-41-swampland.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-41-swampland.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAU1F;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAoB/B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,aAAa,EAAE,QAM3B,CAAC;AAEF,sCAAsC;AACtC,eAAO,MAAM,aAAa,EAAE,QAA6B,CAAC;AAI1D,MAAM,WAAW,eAAe;IAC9B,iFAAiF;IACjF,EAAE,EAAE,MAAM,CAAC;IACX,wCAAwC;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,2EAA2E;IAC3E,GAAG,EAAE,MAAM,CAAC;IACZ,iCAAiC;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAsBhE;AAID;;;GAGG;AACH,wBAAgB,2BAA2B,IAAI,yBAAyB,CASvE"}
+{"version":3,"file":"be-41-swampland.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-41-swampland.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAO1F;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAoB/B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,aAAa,EAAE,QAM3B,CAAC;AAOF;;GAEG;AACH,UAAU,eAAe;IACvB,iFAAiF;IACjF,EAAE,EAAE,MAAM,CAAC;IACX,wCAAwC;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,2EAA2E;IAC3E,GAAG,EAAE,MAAM,CAAC;IACZ,iCAAiC;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAehE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,2BAA2B,IAAI,yBAAyB,CAEvE"}

package/dist/bridges/equations/be-41-swampland.js

@@ -28,9 +28,8 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 41)
  * @module bridges/equations/be-41-swampland
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, MASS, } from '../../dimensional/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * Lemma AST: the exp argument α(φ−φ₀)/M_P, exposed for verification
  * that it is dimensionless.
@@ -68,26 +67,21 @@ export const SWAMPLAND_RHS = {
     ],
 };
 /** LHS: m(φ) has dimension [mass]. */
-export const SWAMPLAND_LHS = sym('m_phi', MASS);
+const SWAMPLAND_LHS = sym('m_phi', MASS);
 /**
  * Evaluate m(φ) = m₀ · exp(−α |φ − φ₀| / M_P).
  *
  * @returns m in the same unit as m0.
  */
 export function evaluateSwampland(input) {
+    validateFiniteInputs(input, [
+        { name: 'm0', min: 0 },
+        { name: 'alpha' },
+        { name: 'phi' },
+        { name: 'phi0' },
+        { name: 'M_P', min: 0, excludeMin: true },
+    ], 'evaluateSwampland');
     const { m0, alpha, phi, phi0, M_P } = input;
-    if (!Number.isFinite(m0) || m0 < 0) {
-        throw new RangeError(`evaluateSwampland: m0 must be a finite non-negative number, got ${m0}`);
-    }
-    if (!Number.isFinite(alpha)) {
-        throw new RangeError(`evaluateSwampland: alpha must be finite, got ${alpha}`);
-    }
-    if (!Number.isFinite(phi) || !Number.isFinite(phi0)) {
-        throw new RangeError(`evaluateSwampland: phi/phi0 must be finite, got ${phi}/${phi0}`);
-    }
-    if (!Number.isFinite(M_P) || M_P <= 0) {
-        throw new RangeError(`evaluateSwampland: M_P must be a finite positive number, got ${M_P}`);
-    }
     const arg = (alpha * Math.abs(phi - phi0)) / M_P;
     return m0 * Math.exp(-arg);
 }
@@ -96,14 +90,8 @@ export function evaluateSwampland(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * [mass].
  */
+/** @internal */
 export function validateSwamplandDimensions() {
-    const eq = validateEquation(SWAMPLAND_LHS, SWAMPLAND_RHS);
-    const lhs = validate(SWAMPLAND_LHS);
-    const rhs = validate(SWAMPLAND_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(SWAMPLAND_LHS, SWAMPLAND_RHS, 'BE41');
 }
 //# sourceMappingURL=be-41-swampland.js.map

package/dist/bridges/equations/be-41-swampland.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-41-swampland.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-41-swampland.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,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;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;QAC3B;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,+DAA+D;gBAC/D,0DAA0D;gBAC1D;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;wBAChB,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC;qBACnB;iBACF;gBACD,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;aACjB;SACF;KACF;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;QAChB,GAAG,CAAC,6BAA6B,EAAE,aAAa,CAAC;KAClD;CACF,CAAC;AAEF,sCAAsC;AACtC,MAAM,CAAC,MAAM,aAAa,GAAa,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAiB1D;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB;IACtD,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC5C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,UAAU,CAClB,mEAAmE,EAAE,EAAE,CACxE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAAC,gDAAgD,KAAK,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,UAAU,CAClB,mDAAmD,GAAG,IAAI,IAAI,EAAE,CACjE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,gEAAgE,GAAG,EAAE,CACtE,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC;IACjD,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,2BAA2B;IACzC,MAAM,EAAE,GAAG,gBAAgB,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAC1D,MAAM,GAAG,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC;IACpC,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-41-swampland.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-41-swampland.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAGH,OAAO,EACL,aAAa,EACb,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;QAC3B;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,+DAA+D;gBAC/D,0DAA0D;gBAC1D;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;wBAChB,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC;qBACnB;iBACF;gBACD,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;aACjB;SACF;KACF;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;QAChB,GAAG,CAAC,6BAA6B,EAAE,aAAa,CAAC;KAClD;CACF,CAAC;AAEF,sCAAsC;AACtC,MAAM,aAAa,GAAa,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAoBnD;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB;IACtD,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;QACtB,EAAE,IAAI,EAAE,OAAO,EAAE;QACjB,EAAE,IAAI,EAAE,KAAK,EAAE;QACf,EAAE,IAAI,EAAE,MAAM,EAAE;QAChB,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC1C,EACD,mBAAmB,CACpB,CAAC;IACF,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC5C,MAAM,GAAG,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC;IACjD,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,2BAA2B;IACzC,OAAO,oBAAoB,CAAC,aAAa,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;AACpE,CAAC"}

package/dist/bridges/equations/be-42-hawking-temperature.d.ts

@@ -46,6 +46,7 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
  */
 export declare const BE42_HAWKING_TEMPERATURE_RHS: ExprNode;
 /** LHS: T_H has dimension [temperature]. */
+/** @internal */
 export declare const BE42_HAWKING_TEMPERATURE_LHS: ExprNode;
 export interface HawkingTemperatureInputs {
     /** Black-hole mass M (kg). Must be > 0 and finite. */
@@ -63,5 +64,6 @@ export declare function evaluateHawkingTemperature(input: HawkingTemperatureInpu
  * Run the AST through the dimensional analyzer; both sides should be
  * [temperature].
  */
+/** @internal */
 export declare function validateBE42Dimensions(): DimensionValidationReport;
 //# sourceMappingURL=be-42-hawking-temperature.d.ts.map

package/dist/bridges/equations/be-42-hawking-temperature.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-42-hawking-temperature.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-42-hawking-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAkB1F;;;;;GAKG;AACH,eAAO,MAAM,4BAA4B,EAAE,QAyB1C,CAAC;AAEF,4CAA4C;AAC5C,eAAO,MAAM,4BAA4B,EAAE,QAAkC,CAAC;AAI9E,MAAM,WAAW,wBAAwB;IACvC,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,wBAAwB,GAAG,MAAM,CASlF;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CAYlE"}
+{"version":3,"file":"be-42-hawking-temperature.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-42-hawking-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAe1F;;;;;GAKG;AACH,eAAO,MAAM,4BAA4B,EAAE,QAyB1C,CAAC;AAEF,4CAA4C;AAC5C,gBAAgB;AAChB,eAAO,MAAM,4BAA4B,EAAE,QAAkC,CAAC;AAI9E,MAAM,WAAW,wBAAwB;IACvC,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,wBAAwB,GAAG,MAAM,CASlF;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

package/dist/bridges/equations/be-42-hawking-temperature.js

@@ -37,11 +37,10 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 42)
  * @module bridges/equations/be-42-hawking-temperature
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, MASS, TEMPERATURE, } from '../../dimensional/types.js';
 import { hbar as DIM_hbar, c as DIM_c, G as DIM_G, k_B as DIM_kB, } from '../../dimensional/constants.js';
 import { PhysicalConstants } from '../../core/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * RHS of the Hawking temperature:
  *   T_H = ℏ c³ / (8π G M k_B)
@@ -75,6 +74,7 @@ export const BE42_HAWKING_TEMPERATURE_RHS = {
     ],
 };
 /** LHS: T_H has dimension [temperature]. */
+/** @internal */
 export const BE42_HAWKING_TEMPERATURE_LHS = sym('T_H', TEMPERATURE);
 /**
  * Evaluate the Hawking temperature
@@ -84,10 +84,8 @@ export const BE42_HAWKING_TEMPERATURE_LHS = sym('T_H', TEMPERATURE);
  * @returns Hawking temperature in K (SI).
  */
 export function evaluateHawkingTemperature(input) {
+    validateFiniteInputs(input, [{ name: 'M_kg', min: 0, excludeMin: true }], 'evaluateHawkingTemperature');
     const { M_kg } = input;
-    if (!Number.isFinite(M_kg) || M_kg <= 0) {
-        throw new RangeError(`evaluateHawkingTemperature: M_kg must be a finite positive number, got ${M_kg}`);
-    }
     const { hbar, c, G, kB } = PhysicalConstants;
     return (hbar * c * c * c) / (8 * Math.PI * G * M_kg * kB);
 }
@@ -96,14 +94,8 @@ export function evaluateHawkingTemperature(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * [temperature].
  */
+/** @internal */
 export function validateBE42Dimensions() {
-    const eq = validateEquation(BE42_HAWKING_TEMPERATURE_LHS, BE42_HAWKING_TEMPERATURE_RHS);
-    const lhs = validate(BE42_HAWKING_TEMPERATURE_LHS);
-    const rhs = validate(BE42_HAWKING_TEMPERATURE_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE42_HAWKING_TEMPERATURE_LHS, BE42_HAWKING_TEMPERATURE_RHS, 'BE42');
 }
 //# sourceMappingURL=be-42-hawking-temperature.js.map

package/dist/bridges/equations/be-42-hawking-temperature.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-42-hawking-temperature.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-42-hawking-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,IAAI,EACJ,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,IAAI,IAAI,QAAQ,EAChB,CAAC,IAAI,KAAK,EACV,CAAC,IAAI,KAAK,EACV,GAAG,IAAI,MAAM,GACd,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;;;;;GAKG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAa;IACpD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,oBAAoB;YACpB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBACrB;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;aACF;SACF;QACD;YACE,gCAAgC;YAChC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;gBACf,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;KACF;CACF,CAAC;AAEF,4CAA4C;AAC5C,MAAM,CAAC,MAAM,4BAA4B,GAAa,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;AAS9E;;;;;;GAMG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAA+B;IACxE,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,UAAU,CAClB,0EAA0E,IAAI,EAAE,CACjF,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IAC7C,OAAO,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CACzB,4BAA4B,EAC5B,4BAA4B,CAC7B,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,4BAA4B,CAAC,CAAC;IACnD,MAAM,GAAG,GAAG,QAAQ,CAAC,4BAA4B,CAAC,CAAC;IACnD,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-42-hawking-temperature.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-42-hawking-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAGH,OAAO,EACL,aAAa,EACb,IAAI,EACJ,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,IAAI,IAAI,QAAQ,EAChB,CAAC,IAAI,KAAK,EACV,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;;;;;GAKG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAa;IACpD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,oBAAoB;YACpB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBACrB;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;aACF;SACF;QACD;YACE,gCAAgC;YAChC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;gBACf,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;KACF;CACF,CAAC;AAEF,4CAA4C;AAC5C,gBAAgB;AAChB,MAAM,CAAC,MAAM,4BAA4B,GAAa,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;AAS9E;;;;;;GAMG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAA+B;IACxE,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAC5C,4BAA4B,CAC7B,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IAC7C,OAAO,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,4BAA4B,EAC5B,4BAA4B,EAC5B,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-43-er-epr.d.ts

@@ -50,8 +50,12 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
  */
 export declare const BE43_ER_EPR_RHS: ExprNode;
 /** LHS: S_entanglement has dimension [entropy]. */
+/** @internal */
 export declare const BE43_ER_EPR_LHS: ExprNode;
-export interface EREPRBoundInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateEREPRBound` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface EREPRBoundInputs {
     /** Wormhole minimal cross-section area (m²). Must be ≥ 0 and finite. */
     area_m2: number;
 }
@@ -69,5 +73,7 @@ export declare function evaluateEREPRBound(input: EREPRBoundInputs): number;
  * Run the AST through the dimensional analyzer; both sides should be
  * [entropy].
  */
+/** @internal */
 export declare function validateBE43Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-43-er-epr.d.ts.map

package/dist/bridges/equations/be-43-er-epr.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-43-er-epr.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-43-er-epr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAgB1F;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,QAuB7B,CAAC;AAEF,mDAAmD;AACnD,eAAO,MAAM,eAAe,EAAE,QAAyC,CAAC;AAIxE,MAAM,WAAW,gBAAgB;IAC/B,wEAAwE;IACxE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAUlE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-43-er-epr.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-43-er-epr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAa1F;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,QAuB7B,CAAC;AAEF,mDAAmD;AACnD,gBAAgB;AAChB,eAAO,MAAM,eAAe,EAAE,QAAyC,CAAC;AAIxE;;GAEG;AACH,UAAU,gBAAgB;IACxB,wEAAwE;IACxE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAUlE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-43-er-epr.js

@@ -41,11 +41,10 @@
  * @see src/bridges/equations/be-14-ryu-takayanagi.ts (mirrored convention)
  * @module bridges/equations/be-43-er-epr
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { AREA, DIMENSIONLESS, ENTROPY, } from '../../dimensional/types.js';
 import { k_B as DIM_kB, l_P as DIM_lP, } from '../../dimensional/constants.js';
 import { PhysicalConstants } from '../../core/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * RHS of the ER=EPR wormhole-entropy bound (SI form):
  *   S = k_B · A_wormhole / (4 · ℓ_P²)
@@ -77,6 +76,7 @@ export const BE43_ER_EPR_RHS = {
     ],
 };
 /** LHS: S_entanglement has dimension [entropy]. */
+/** @internal */
 export const BE43_ER_EPR_LHS = sym('S_entanglement', ENTROPY);
 /**
  * Evaluate the ER=EPR wormhole-entropy bound in SI units:
@@ -88,10 +88,8 @@ export const BE43_ER_EPR_LHS = sym('S_entanglement', ENTROPY);
  * @returns Entanglement entropy in J/K (SI).
  */
 export function evaluateEREPRBound(input) {
+    validateFiniteInputs(input, [{ name: 'area_m2', min: 0 }], 'evaluateEREPRBound');
     const { area_m2 } = input;
-    if (!Number.isFinite(area_m2) || area_m2 < 0) {
-        throw new RangeError(`evaluateEREPRBound: area_m2 must be a finite non-negative number, got ${area_m2}`);
-    }
     const { kB, c, G, hbar } = PhysicalConstants;
     const lP_sq = (hbar * G) / (c * c * c);
     return (kB * area_m2) / (4 * lP_sq);
@@ -101,14 +99,8 @@ export function evaluateEREPRBound(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * [entropy].
  */
+/** @internal */
 export function validateBE43Dimensions() {
-    const eq = validateEquation(BE43_ER_EPR_LHS, BE43_ER_EPR_RHS);
-    const lhs = validate(BE43_ER_EPR_LHS);
-    const rhs = validate(BE43_ER_EPR_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE43_ER_EPR_LHS, BE43_ER_EPR_RHS, 'BE43');
 }
 //# sourceMappingURL=be-43-er-epr.js.map

package/dist/bridges/equations/be-43-er-epr.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-43-er-epr.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-43-er-epr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,IAAI,EACJ,aAAa,EACb,OAAO,GACR,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,GAAG,IAAI,MAAM,EACb,GAAG,IAAI,MAAM,GACd,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;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,8BAA8B;YAC9B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gBAClB,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC;aACxB;SACF;QACD;YACE,wBAAwB;YACxB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACnD;aACF;SACF;KACF;CACF,CAAC;AAEF,mDAAmD;AACnD,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;AASxE;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAuB;IACxD,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,UAAU,CAClB,yEAAyE,OAAO,EAAE,CACnF,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC;IAC7C,MAAM,KAAK,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,OAAO,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;AACtC,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;IACtC,MAAM,GAAG,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;IACtC,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-43-er-epr.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-43-er-epr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAGH,OAAO,EACL,IAAI,EACJ,aAAa,EACb,OAAO,GACR,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,GAAG,IAAI,MAAM,EACb,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;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,8BAA8B;YAC9B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gBAClB,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC;aACxB;SACF;QACD;YACE,wBAAwB;YACxB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACnD;aACF;SACF;KACF;CACF,CAAC;AAEF,mDAAmD;AACnD,gBAAgB;AAChB,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;AAYxE;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAuB;IACxD,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAC7B,oBAAoB,CACrB,CAAC;IACF,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC1B,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC;IAC7C,MAAM,KAAK,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,OAAO,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;AACtC,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,eAAe,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;AACxE,CAAC"}