universal-physics-tensor 0.5.0 → 0.7.0

package/dist/bridges/equations/be-35-conformal-bootstrap.js

@@ -63,10 +63,9 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 35)
  * @module bridges/equations/be-35-conformal-bootstrap
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, } from '../../dimensional/types.js';
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 // --- Symbolic AST ---
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
 /**
  * Lemma AST: forward-channel block `C² · g_block(u, v)`.
  *
@@ -125,7 +124,7 @@ export const BE35_CROSSING_RESIDUAL_RHS = {
     ],
 };
 /** LHS: R_cross is dimensionless. */
-export const BE35_CROSSING_RESIDUAL_LHS = sym('R_cross', DIMENSIONLESS);
+const BE35_CROSSING_RESIDUAL_LHS = sym('R_cross', DIMENSIONLESS);
 /**
  * Evaluate the crossing-symmetry residual
  *
@@ -137,16 +136,12 @@ export const BE35_CROSSING_RESIDUAL_LHS = sym('R_cross', DIMENSIONLESS);
  * pair (g_uv, g_vu) is not from the same block under a u ↔ v swap.
  */
 export function evaluateCrossingResidual(input) {
+    validateFiniteInputs(input, [
+        { name: 'ope_coefficient' },
+        { name: 'g_block_uv' },
+        { name: 'g_block_vu' },
+    ], 'evaluateCrossingResidual');
     const { ope_coefficient, g_block_uv, g_block_vu } = input;
-    if (!Number.isFinite(ope_coefficient)) {
-        throw new RangeError(`evaluateCrossingResidual: ope_coefficient must be finite, got ${ope_coefficient}`);
-    }
-    if (!Number.isFinite(g_block_uv)) {
-        throw new RangeError(`evaluateCrossingResidual: g_block_uv must be finite, got ${g_block_uv}`);
-    }
-    if (!Number.isFinite(g_block_vu)) {
-        throw new RangeError(`evaluateCrossingResidual: g_block_vu must be finite, got ${g_block_vu}`);
-    }
     return ope_coefficient * ope_coefficient * (g_block_uv - g_block_vu);
 }
 // --- Self-validation ---
@@ -154,14 +149,7 @@ export function evaluateCrossingResidual(input) {
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be DIMENSIONLESS.
  */
-export function validateBE35Dimensions() {
-    const eq = validateEquation(BE35_CROSSING_RESIDUAL_LHS, BE35_CROSSING_RESIDUAL_RHS);
-    const lhs = validate(BE35_CROSSING_RESIDUAL_LHS);
-    const rhs = validate(BE35_CROSSING_RESIDUAL_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+function validateBE35Dimensions() {
+    return validateBEDimensions(BE35_CROSSING_RESIDUAL_LHS, BE35_CROSSING_RESIDUAL_RHS, 'BE35');
 }
 //# sourceMappingURL=be-35-conformal-bootstrap.js.map

package/dist/bridges/equations/be-35-conformal-bootstrap.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-35-conformal-bootstrap.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-35-conformal-bootstrap.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AAEpC,uBAAuB;AAEvB,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,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,8DAA8D;gBAC9D,4DAA4D;gBAC5D,oCAAoC;gBACpC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;QACD,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;KACjC;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,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,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;QACD,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;KACjC;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,kBAAkB;KACnB;CACF,CAAC;AAEF,qCAAqC;AACrC,MAAM,CAAC,MAAM,0BAA0B,GAAa,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAalF;;;;;;;;;GASG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA6B;IACpE,MAAM,EAAE,eAAe,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAC1D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,iEAAiE,eAAe,EAAE,CACnF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,UAAU,CAClB,4DAA4D,UAAU,EAAE,CACzE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,UAAU,CAClB,4DAA4D,UAAU,EAAE,CACzE,CAAC;IACJ,CAAC;IACD,OAAO,eAAe,GAAG,eAAe,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC,CAAC;AACvE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CACzB,0BAA0B,EAC1B,0BAA0B,CAC3B,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,0BAA0B,CAAC,CAAC;IACjD,MAAM,GAAG,GAAG,QAAQ,CAAC,0BAA0B,CAAC,CAAC;IACjD,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-35-conformal-bootstrap.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-35-conformal-bootstrap.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AAGH,OAAO,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,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,8DAA8D;gBAC9D,4DAA4D;gBAC5D,oCAAoC;gBACpC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;QACD,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;KACjC;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,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,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;QACD,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;KACjC;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,kBAAkB;KACnB;CACF,CAAC;AAEF,qCAAqC;AACrC,MAAM,0BAA0B,GAAa,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAgB3E;;;;;;;;;GASG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA6B;IACpE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,iBAAiB,EAAE;QAC3B,EAAE,IAAI,EAAE,YAAY,EAAE;QACtB,EAAE,IAAI,EAAE,YAAY,EAAE;KACvB,EACD,0BAA0B,CAC3B,CAAC;IACF,MAAM,EAAE,eAAe,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAC1D,OAAO,eAAe,GAAG,eAAe,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC,CAAC;AACvE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,SAAS,sBAAsB;IAC7B,OAAO,oBAAoB,CACzB,0BAA0B,EAC1B,0BAA0B,EAC1B,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-36-gw-speed-bound.d.ts

@@ -49,10 +49,14 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
  */
 export declare const BE36_GW_SPEED_RATIO_RHS: ExprNode;
 /** LHS: signed dimensionless graviton-photon speed-difference ratio. */
+/** @internal */
 export declare const BE36_GW_SPEED_RATIO_LHS: ExprNode;
 /** Canonical GW170817 upper bound on |Δv|/c. */
 export declare const GW170817_SPEED_BOUND = 1e-15;
-export interface GWSpeedRatioInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateGWSpeedRatio` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface GWSpeedRatioInputs {
     /** Gravitational-wave speed c_GW (m/s). Must be > 0 and finite. */
     c_GW_m_per_s: number;
 }
@@ -73,5 +77,7 @@ export declare function satisfiesGW170817Bound(input: GWSpeedRatioInputs): boole
  * Run the AST through the dimensional analyzer; both sides should be
  * DIMENSIONLESS.
  */
+/** @internal */
 export declare function validateBE36Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-36-gw-speed-bound.d.ts.map

package/dist/bridges/equations/be-36-gw-speed-bound.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-36-gw-speed-bound.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-36-gw-speed-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAW1F;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAYrC,CAAC;AAEF,wEAAwE;AACxE,eAAO,MAAM,uBAAuB,EAAE,QAA+C,CAAC;AAEtF,gDAAgD;AAChD,eAAO,MAAM,oBAAoB,QAAQ,CAAC;AAI1C,MAAM,WAAW,kBAAkB;IACjC,mEAAmE;IACnE,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAStE;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAEzE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-36-gw-speed-bound.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-36-gw-speed-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAYrC,CAAC;AAEF,wEAAwE;AACxE,gBAAgB;AAChB,eAAO,MAAM,uBAAuB,EAAE,QAA+C,CAAC;AAEtF,gDAAgD;AAChD,eAAO,MAAM,oBAAoB,QAAQ,CAAC;AAI1C;;GAEG;AACH,UAAU,kBAAkB;IAC1B,mEAAmE;IACnE,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAStE;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAEzE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-36-gw-speed-bound.js

@@ -39,10 +39,9 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 36)
  * @module bridges/equations/be-36-gw-speed-bound
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, VELOCITY, } from '../../dimensional/types.js';
 import { PhysicalConstants } from '../../core/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * RHS of the GW170817 dimensionless ratio:
  *   ratio = (c_GW − c) / c
@@ -64,6 +63,7 @@ export const BE36_GW_SPEED_RATIO_RHS = {
     ],
 };
 /** LHS: signed dimensionless graviton-photon speed-difference ratio. */
+/** @internal */
 export const BE36_GW_SPEED_RATIO_LHS = sym('delta_v_over_c', DIMENSIONLESS);
 /** Canonical GW170817 upper bound on |Δv|/c. */
 export const GW170817_SPEED_BOUND = 1e-15;
@@ -73,10 +73,8 @@ export const GW170817_SPEED_BOUND = 1e-15;
  * @returns Signed ratio. For GR, c_GW = c exactly and ratio = 0.
  */
 export function evaluateGWSpeedRatio(input) {
+    validateFiniteInputs(input, [{ name: 'c_GW_m_per_s', min: 0, excludeMin: true }], 'evaluateGWSpeedRatio');
     const { c_GW_m_per_s } = input;
-    if (!Number.isFinite(c_GW_m_per_s) || c_GW_m_per_s <= 0) {
-        throw new RangeError(`evaluateGWSpeedRatio: c_GW_m_per_s must be a finite positive number, got ${c_GW_m_per_s}`);
-    }
     const { c } = PhysicalConstants;
     return (c_GW_m_per_s - c) / c;
 }
@@ -94,14 +92,8 @@ export function satisfiesGW170817Bound(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * DIMENSIONLESS.
  */
+/** @internal */
 export function validateBE36Dimensions() {
-    const eq = validateEquation(BE36_GW_SPEED_RATIO_LHS, BE36_GW_SPEED_RATIO_RHS);
-    const lhs = validate(BE36_GW_SPEED_RATIO_LHS);
-    const rhs = validate(BE36_GW_SPEED_RATIO_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE36_GW_SPEED_RATIO_LHS, BE36_GW_SPEED_RATIO_RHS, 'BE36');
 }
 //# sourceMappingURL=be-36-gw-speed-bound.js.map

package/dist/bridges/equations/be-36-gw-speed-bound.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-36-gw-speed-bound.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-36-gw-speed-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,QAAQ,GACT,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,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,MAAM,EAAE,QAAQ,CAAC;gBACrB,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;aACnB;SACF;QACD,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;KACnB;CACF,CAAC;AAEF,wEAAwE;AACxE,MAAM,CAAC,MAAM,uBAAuB,GAAa,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;AAEtF,gDAAgD;AAChD,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CAAC;AAS1C;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAyB;IAC5D,MAAM,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,YAAY,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,UAAU,CAClB,4EAA4E,YAAY,EAAE,CAC3F,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAChC,OAAO,CAAC,YAAY,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAyB;IAC9D,OAAO,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,IAAI,oBAAoB,CAAC;AACvE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,uBAAuB,EAAE,uBAAuB,CAAC,CAAC;IAC9E,MAAM,GAAG,GAAG,QAAQ,CAAC,uBAAuB,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,QAAQ,CAAC,uBAAuB,CAAC,CAAC;IAC9C,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-36-gw-speed-bound.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-36-gw-speed-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAGH,OAAO,EACL,aAAa,EACb,QAAQ,GACT,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,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,MAAM,EAAE,QAAQ,CAAC;gBACrB,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;aACnB;SACF;QACD,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;KACnB;CACF,CAAC;AAEF,wEAAwE;AACxE,gBAAgB;AAChB,MAAM,CAAC,MAAM,uBAAuB,GAAa,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;AAEtF,gDAAgD;AAChD,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CAAC;AAY1C;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAyB;IAC5D,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EACpD,sBAAsB,CACvB,CAAC;IACF,MAAM,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC/B,MAAM,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAChC,OAAO,CAAC,YAAY,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAyB;IAC9D,OAAO,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,IAAI,oBAAoB,CAAC;AACvE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;AACxF,CAAC"}

package/dist/bridges/equations/be-37-shapiro-delay.d.ts

@@ -148,8 +148,6 @@ export declare const BE37_G: ExprNode;
 export declare const BE37_M: ExprNode;
 /** Symbol: speed of light c. Dim `[velocity]` = `[L T⁻¹]`. */
 export declare const BE37_C: ExprNode;
-/** Symbol: dimensionless integer factor 2. */
-export declare const BE37_TWO: ExprNode;
 /**
  * Lemma AST: `c³` (dim `[L³ T⁻³]`).
  *
@@ -194,6 +192,7 @@ export declare const BE37_LOG_FACTOR: ExprNode;
  */
 export declare const BE37_SHAPIRO_DELAY_RHS: ExprNode;
 /** LHS: Δt is a time delay. Dim `[time]`. */
+/** @internal */
 export declare const BE37_SHAPIRO_DELAY_LHS: ExprNode;
 export interface ShapiroInputs {
     /** Gravitating-body mass M in kg. Must be finite and > 0. */
@@ -220,6 +219,7 @@ export declare function evaluateShapiroDelay(input: ShapiroInputs): number;
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be `[time]` = `[T]`.
  */
+/** @internal */
 export declare function validateBE37Dimensions(): DimensionValidationReport;
 /**
  * Eikonal LHS:  g^μν (∂_μ S)(∂_ν S).
@@ -228,6 +228,7 @@ export declare function validateBE37Dimensions(): DimensionValidationReport;
  * ν pairs (upper from g_inverse, lower from dnu_S). Result is a scalar
  * with dim DIMENSIONLESS · DIMENSIONLESS · DIMENSIONLESS = DIMENSIONLESS.
  */
+/** @internal */
 export declare const BE37_EIKONAL_LHS: ExprNode;
 /**
  * Eikonal RHS:  the literal dimensionless 'zero' symbol (null-geodesic
@@ -238,6 +239,7 @@ export declare const BE37_EIKONAL_RHS_ZERO: ExprNode;
  * Per-bridge dimensional self-check for the v0.3.0 eikonal structural
  * form. Both sides should be DIMENSIONLESS.
  */
+/** @internal */
 export declare function validateBE37EikonalDimensions(): DimensionValidationReport;
 /**
  * BE-37 end-to-end numerical evaluator (v0.3.5-Design.md §8).

package/dist/bridges/equations/be-37-shapiro-delay.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-37-shapiro-delay.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-37-shapiro-delay.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8IG;AAEH,OAAO,KAAK,EACV,QAAQ,EACR,yBAAyB,EAG1B,MAAM,gCAAgC,CAAC;AAoBxC,qEAAqE;AACrE,eAAO,MAAM,MAAM,EAAE,QAAsB,CAAC;AAE5C,qDAAqD;AACrD,eAAO,MAAM,MAAM,EAAE,QAAyB,CAAC;AAE/C,8DAA8D;AAC9D,eAAO,MAAM,MAAM,EAAE,QAAsB,CAAC;AAE5C,8CAA8C;AAC9C,eAAO,MAAM,QAAQ,EAAE,QAAkC,CAAC;AAK1D;;;;GAIG;AACH,eAAO,MAAM,YAAY,EAAE,QAG1B,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,EAAE,QAY5B,CAAC;AAEF,2DAA2D;AAC3D,eAAO,MAAM,UAAU,EAAE,QAA+B,CAAC;AAEzD,4DAA4D;AAC5D,eAAO,MAAM,WAAW,EAAE,QAAgC,CAAC;AAE3D;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAGhC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,QAA2C,CAAC;AAE1E;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAGpC,CAAC;AAEF,6CAA6C;AAC7C,eAAO,MAAM,sBAAsB,EAAE,QAA+B,CAAC;AAIrE,MAAM,WAAW,aAAa;IAC5B,6DAA6D;IAC7D,IAAI,EAAE,MAAM,CAAC;IACb,gEAAgE;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB,+EAA+E;IAC/E,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAyBjE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE;AAiED;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAoD,CAAC;AAEpF;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAInC,CAAC;AAEF;;;GAGG;AACH,wBAAgB,6BAA6B,IAAI,yBAAyB,CASzE;AA2CD;;;;;;;;;;;GAWG;AACH,wBAAsB,4BAA4B,IAAI,OAAO,CAAC;IAC5D,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,aAAa,CAAC;CACzB,CAAC,CAqCD"}
+{"version":3,"file":"be-37-shapiro-delay.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-37-shapiro-delay.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8IG;AAEH,OAAO,KAAK,EACV,QAAQ,EACR,yBAAyB,EAG1B,MAAM,gCAAgC,CAAC;AAmBxC,qEAAqE;AACrE,eAAO,MAAM,MAAM,EAAE,QAAsB,CAAC;AAE5C,qDAAqD;AACrD,eAAO,MAAM,MAAM,EAAE,QAAyB,CAAC;AAE/C,8DAA8D;AAC9D,eAAO,MAAM,MAAM,EAAE,QAAsB,CAAC;AAQ5C;;;;GAIG;AACH,eAAO,MAAM,YAAY,EAAE,QAG1B,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,EAAE,QAY5B,CAAC;AAEF,2DAA2D;AAC3D,eAAO,MAAM,UAAU,EAAE,QAA+B,CAAC;AAEzD,4DAA4D;AAC5D,eAAO,MAAM,WAAW,EAAE,QAAgC,CAAC;AAE3D;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAGhC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,QAA2C,CAAC;AAE1E;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAGpC,CAAC;AAEF,6CAA6C;AAC7C,gBAAgB;AAChB,eAAO,MAAM,sBAAsB,EAAE,QAA+B,CAAC;AAIrE,MAAM,WAAW,aAAa;IAC5B,6DAA6D;IAC7D,IAAI,EAAE,MAAM,CAAC;IACb,gEAAgE;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB,+EAA+E;IAC/E,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAmBjE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE;AAiED;;;;;;GAMG;AACH,gBAAgB;AAChB,eAAO,MAAM,gBAAgB,EAAE,QAAoD,CAAC;AAEpF;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAInC,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,6BAA6B,IAAI,yBAAyB,CAEzE;AA2CD;;;;;;;;;;;GAWG;AACH,wBAAsB,4BAA4B,IAAI,OAAO,CAAC;IAC5D,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,aAAa,CAAC;CACzB,CAAC,CAmCD"}

package/dist/bridges/equations/be-37-shapiro-delay.js

@@ -141,14 +141,14 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 37)
  * @module bridges/equations/be-37-shapiro-delay
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, TIME, MASS, LENGTH, } from '../../dimensional/types.js';
 import { G, c } from '../../dimensional/constants.js';
 import { tsym, contract } from '../../dimensional/tensor.js';
 import { metric, pderiv } from '../../dimensional/metric.js';
 import { evaluateNumerical } from '../../numerical/index.js';
 import { integrateRK4 } from '../../numerical/null-ray-integrator.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { C_SI, G_SI } from '../../core/constants.js';
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 // --- Symbolic AST ---
 /** Symbol: Newton's gravitational constant G. Dim `[L³ M⁻¹ T⁻²]`. */
 export const BE37_G = sym('G', G);
@@ -157,7 +157,7 @@ export const BE37_M = sym('M', MASS);
 /** Symbol: speed of light c. Dim `[velocity]` = `[L T⁻¹]`. */
 export const BE37_C = sym('c', c);
 /** Symbol: dimensionless integer factor 2. */
-export const BE37_TWO = sym('2', DIMENSIONLESS);
+const BE37_TWO = sym('2', DIMENSIONLESS);
 /** Symbol: dimensionless integer-3 exponent for c³. */
 const THREE_EXP = sym('3', DIMENSIONLESS);
 /**
@@ -225,6 +225,7 @@ export const BE37_SHAPIRO_DELAY_RHS = {
     args: [BE37_PREFACTOR, BE37_LOG_FACTOR],
 };
 /** LHS: Δt is a time delay. Dim `[time]`. */
+/** @internal */
 export const BE37_SHAPIRO_DELAY_LHS = sym('Delta_t', TIME);
 /**
  * Evaluate the Shapiro gravitational time-delay:
@@ -239,37 +240,27 @@ export const BE37_SHAPIRO_DELAY_LHS = sym('Delta_t', TIME);
  *   comparable to this one-way encoding.
  */
 export function evaluateShapiroDelay(input) {
+    // Per-field finiteness + positivity via helper. The cross-field
+    // R_near ≤ R_far constraint (bespoke domain prose) stays inline.
+    validateFiniteInputs(input, [
+        { name: 'M_kg', min: 0, excludeMin: true },
+        { name: 'R_far_m', min: 0, excludeMin: true },
+        { name: 'R_near_m', min: 0, excludeMin: true },
+    ], 'evaluateShapiroDelay');
     const { M_kg, R_far_m, R_near_m } = input;
-    if (!Number.isFinite(M_kg) || M_kg <= 0) {
-        throw new RangeError(`evaluateShapiroDelay: M_kg must be a finite positive number, got ${M_kg}`);
-    }
-    if (!Number.isFinite(R_far_m) || R_far_m <= 0) {
-        throw new RangeError(`evaluateShapiroDelay: R_far_m must be a finite positive number, got ${R_far_m}`);
-    }
-    if (!Number.isFinite(R_near_m) || R_near_m <= 0) {
-        throw new RangeError(`evaluateShapiroDelay: R_near_m must be a finite positive number, got ${R_near_m}`);
-    }
     if (R_near_m > R_far_m) {
         throw new RangeError(`evaluateShapiroDelay: R_near_m (${R_near_m}) must be ≤ R_far_m (${R_far_m}); ratio inside ln must be ≥ 1`);
     }
-    const G_SI = 6.67430e-11; // m³/(kg·s²) (CODATA 2018)
-    const c_SI = 299792458; // m/s (exact SI definition since 1983)
-    return ((2 * G_SI * M_kg) / Math.pow(c_SI, 3)) * Math.log(R_far_m / R_near_m);
+    return ((2 * G_SI * M_kg) / Math.pow(C_SI, 3)) * Math.log(R_far_m / R_near_m);
 }
 // --- Self-validation ---
 /**
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be `[time]` = `[T]`.
  */
+/** @internal */
 export function validateBE37Dimensions() {
-    const eq = validateEquation(BE37_SHAPIRO_DELAY_LHS, BE37_SHAPIRO_DELAY_RHS);
-    const lhs = validate(BE37_SHAPIRO_DELAY_LHS);
-    const rhs = validate(BE37_SHAPIRO_DELAY_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE37_SHAPIRO_DELAY_LHS, BE37_SHAPIRO_DELAY_RHS, 'BE37');
 }
 // ---------------------------------------------------------------------------
 // v0.3.0 structural form (eikonal null-geodesic):  g^μν (∂_μ S)(∂_ν S) = 0
@@ -323,6 +314,7 @@ const dnu_S = pderiv(S_eikonal, x_coord, { label: 'ν', variance: 'lower' });
  * ν pairs (upper from g_inverse, lower from dnu_S). Result is a scalar
  * with dim DIMENSIONLESS · DIMENSIONLESS · DIMENSIONLESS = DIMENSIONLESS.
  */
+/** @internal */
 export const BE37_EIKONAL_LHS = contract(g_inverse_eikonal, dmu_S, dnu_S);
 /**
  * Eikonal RHS:  the literal dimensionless 'zero' symbol (null-geodesic
@@ -337,15 +329,9 @@ export const BE37_EIKONAL_RHS_ZERO = {
  * Per-bridge dimensional self-check for the v0.3.0 eikonal structural
  * form. Both sides should be DIMENSIONLESS.
  */
+/** @internal */
 export function validateBE37EikonalDimensions() {
-    const lhs = validate(BE37_EIKONAL_LHS);
-    const rhs = validate(BE37_EIKONAL_RHS_ZERO);
-    const eq = validateEquation(BE37_EIKONAL_LHS, BE37_EIKONAL_RHS_ZERO);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE37_EIKONAL_LHS, BE37_EIKONAL_RHS_ZERO, 'BE37_eikonal');
 }
 /**
  * Build NumericalInputs for lowering BE37_EIKONAL_LHS = contract(g_inverse,
@@ -398,20 +384,19 @@ function buildSchwarzschildEikonalInputs(r, G_SI, c_SI, M_kg) {
  * evaluateShapiroDelay().
  */
 export async function evaluateBE37EikonalNumerical() {
-    // Numeric constants — MUST match evaluateShapiroDelay's module-local
-    // G_SI / c_SI exactly so the closed-form cross-check is apples-to-apples.
-    const G_SI = 6.67430e-11; // m³/(kg·s²) — CODATA 2018
-    const c_SI = 299792458; // m/s — exact SI definition
+    // v0.5.1 PC-1: canonical constants from src/core/constants.ts — both
+    // evaluateShapiroDelay above and this evaluator now read the SAME source
+    // of truth, eliminating the prior local-literal duplication.
     const scenario = {
         M_kg: 1.989e30, // solar mass
         R_far_m: 1.5e11, // ~1 AU
         R_near_m: 1.0e9, // inner radius (R_near_m ≤ R_far_m, required)
     };
     const { M_kg, R_far_m, R_near_m } = scenario;
-    const k = (2 * G_SI * M_kg) / (c_SI * c_SI * c_SI); // 2GM/c³  [seconds]
+    const k = (2 * G_SI * M_kg) / (C_SI * C_SI * C_SI); // 2GM/c³  [seconds]
     // --- Part (a): lower BE37_EIKONAL_LHS with concrete Schwarzschild g^μν ---
     const rMid = 0.5 * (R_near_m + R_far_m);
-    const inputs = buildSchwarzschildEikonalInputs(rMid, G_SI, c_SI, M_kg);
+    const inputs = buildSchwarzschildEikonalInputs(rMid, G_SI, C_SI, M_kg);
     const eikonal = await evaluateNumerical(BE37_EIKONAL_LHS, inputs);
     const eikonalResidual = eikonal.value;
     // --- Part (b): RK4-integrate the Shapiro delay along the radial null ray.

package/dist/bridges/equations/be-37-shapiro-delay.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-37-shapiro-delay.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-37-shapiro-delay.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8IG;AAQH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,IAAI,EACJ,IAAI,EACJ,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,gCAAgC,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,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,uBAAuB;AAEvB,qEAAqE;AACrE,MAAM,CAAC,MAAM,MAAM,GAAa,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAE5C,qDAAqD;AACrD,MAAM,CAAC,MAAM,MAAM,GAAa,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAE/C,8DAA8D;AAC9D,MAAM,CAAC,MAAM,MAAM,GAAa,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAE5C,8CAA8C;AAC9C,MAAM,CAAC,MAAM,QAAQ,GAAa,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;AAE1D,uDAAuD;AACvD,MAAM,SAAS,GAAa,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;AAEpD;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;CAC1B,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,QAAQ,EAAE;oBACf,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;iBACvB,CAAC;SACH;QACD,YAAY;KACb;CACF,CAAC;AAEF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,UAAU,GAAa,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAEzD,4DAA4D;AAC5D,MAAM,CAAC,MAAM,WAAW,GAAa,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAE3D;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC;CAChC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;AAE1E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,cAAc,EAAE,eAAe,CAAC;CACxC,CAAC;AAEF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAarE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAoB;IACvD,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAC1C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,UAAU,CAClB,oEAAoE,IAAI,EAAE,CAC3E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,UAAU,CAClB,uEAAuE,OAAO,EAAE,CACjF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,UAAU,CAClB,wEAAwE,QAAQ,EAAE,CACnF,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,GAAG,OAAO,EAAE,CAAC;QACvB,MAAM,IAAI,UAAU,CAClB,mCAAmC,QAAQ,wBAAwB,OAAO,gCAAgC,CAC3G,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,2BAA2B;IACrD,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,uCAAuC;IAC/D,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC;AAChF,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,sBAAsB,EAAE,sBAAsB,CAAC,CAAC;IAC5E,MAAM,GAAG,GAAG,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAC7C,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,2EAA2E;AAC3E,8EAA8E;AAC9E,EAAE;AACF,2EAA2E;AAC3E,4EAA4E;AAC5E,2EAA2E;AAC3E,uEAAuE;AACvE,yEAAyE;AACzE,4CAA4C;AAC5C,EAAE;AACF,qEAAqE;AACrE,uEAAuE;AACvE,0EAA0E;AAC1E,yEAAyE;AACzE,wEAAwE;AACxE,yEAAyE;AACzE,0EAA0E;AAC1E,qEAAqE;AACrE,wEAAwE;AACxE,yEAAyE;AACzE,qEAAqE;AACrE,+DAA+D;AAC/D,EAAE;AACF,qEAAqE;AACrE,oEAAoE;AAEpE;4BAC4B;AAC5B,MAAM,iBAAiB,GAAc,MAAM,CAAC;AAE5C;oDACoD;AACpD,MAAM,oBAAoB,GAAc,aAAa,CAAC;AAEtD,uEAAuE;AACvE,MAAM,OAAO,GAAqB,IAAI,CACpC,GAAG,EACH,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EACnC,MAAM,EACN,YAAY,CACb,CAAC;AAEF,gDAAgD;AAChD,MAAM,iBAAiB,GAAqB,MAAM,CAChD,WAAW,EACX;IACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;CAClC,EACD,oBAAoB,EACpB,SAAS,CACV,CAAC;AAEF,6DAA6D;AAC7D,MAAM,SAAS,GAAqB,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC;AAErE,8EAA8E;AAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AAE5E,4DAA4D;AAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AAE5E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa,QAAQ,CAAC,iBAAiB,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAEpF;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,MAAM;IACZ,GAAG,EAAE,aAAa;CACnB,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,6BAA6B;IAC3C,MAAM,GAAG,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,QAAQ,CAAC,qBAAqB,CAAC,CAAC;IAC5C,MAAM,EAAE,GAAG,gBAAgB,CAAC,gBAAgB,EAAE,qBAAqB,CAAC,CAAC;IACrE,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,+BAA+B,CACtC,CAAS,EAAE,IAAY,EAAE,IAAY,EAAE,IAAY;IAEnD,MAAM,GAAG,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,0BAA0B;IACzE,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IACxB,MAAM,QAAQ,GAAG;QACf,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACd,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QACd,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACZ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;KACb,CAAC;IACF,wDAAwD;IACxD,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,OAAO;QACL,OAAO,EAAE,IAAI,GAAG,CAAqB,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/D,WAAW,EAAE,IAAI,GAAG,CAAmB,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACpE,SAAS,EAAE,CAAC;KACb,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B;IAMhD,qEAAqE;IACrE,0EAA0E;IAC1E,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,2BAA2B;IACrD,MAAM,IAAI,GAAG,SAAS,CAAC,CAAG,4BAA4B;IAEtD,MAAM,QAAQ,GAAkB;QAC9B,IAAI,EAAE,QAAQ,EAAK,aAAa;QAChC,OAAO,EAAE,MAAM,EAAI,QAAQ;QAC3B,QAAQ,EAAE,KAAK,EAAI,8CAA8C;KAClE,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC;IAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,oBAAoB;IAExE,4EAA4E;IAC5E,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,QAAQ,GAAG,OAAO,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,+BAA+B,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;IAClE,MAAM,eAAe,GAAG,OAAO,CAAC,KAAe,CAAC;IAEhD,2EAA2E;IAC3E,iDAAiD;IACjD,gFAAgF;IAChF,MAAM,EAAE,GAAG,OAAO,GAAG,QAAQ,CAAC;IAC9B,MAAM,UAAU,GAAG,YAAY,CAC7B,CAAC,MAAM,EAAE,EAAE;QACT,MAAM,CAAC,GAAG,QAAQ,GAAG,MAAM,GAAG,EAAE,CAAC;QACjC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,CAAC,EACD,CAAC,CAAC,CAAC,EACH,CAAC,EAAE,CAAC,EACJ,IAAI,CACL,CAAC;IACF,MAAM,eAAe,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACtC,MAAM,eAAe,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAEvD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;AACzE,CAAC"}
+{"version":3,"file":"be-37-shapiro-delay.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-37-shapiro-delay.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8IG;AAQH,OAAO,EAEL,aAAa,EACb,IAAI,EACJ,IAAI,EACJ,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,gCAAgC,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB,qEAAqE;AACrE,MAAM,CAAC,MAAM,MAAM,GAAa,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAE5C,qDAAqD;AACrD,MAAM,CAAC,MAAM,MAAM,GAAa,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAE/C,8DAA8D;AAC9D,MAAM,CAAC,MAAM,MAAM,GAAa,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAE5C,8CAA8C;AAC9C,MAAM,QAAQ,GAAa,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;AAEnD,uDAAuD;AACvD,MAAM,SAAS,GAAa,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;AAEpD;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;CAC1B,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,QAAQ,EAAE;oBACf,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;iBACvB,CAAC;SACH;QACD,YAAY;KACb;CACF,CAAC;AAEF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,UAAU,GAAa,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAEzD,4DAA4D;AAC5D,MAAM,CAAC,MAAM,WAAW,GAAa,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAE3D;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC;CAChC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;AAE1E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,cAAc,EAAE,eAAe,CAAC;CACxC,CAAC;AAEF,6CAA6C;AAC7C,gBAAgB;AAChB,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAarE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAoB;IACvD,gEAAgE;IAChE,iEAAiE;IACjE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC1C,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC7C,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC/C,EACD,sBAAsB,CACvB,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAC1C,IAAI,QAAQ,GAAG,OAAO,EAAE,CAAC;QACvB,MAAM,IAAI,UAAU,CAClB,mCAAmC,QAAQ,wBAAwB,OAAO,gCAAgC,CAC3G,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC;AAChF,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;AACtF,CAAC;AAED,8EAA8E;AAC9E,2EAA2E;AAC3E,8EAA8E;AAC9E,EAAE;AACF,2EAA2E;AAC3E,4EAA4E;AAC5E,2EAA2E;AAC3E,uEAAuE;AACvE,yEAAyE;AACzE,4CAA4C;AAC5C,EAAE;AACF,qEAAqE;AACrE,uEAAuE;AACvE,0EAA0E;AAC1E,yEAAyE;AACzE,wEAAwE;AACxE,yEAAyE;AACzE,0EAA0E;AAC1E,qEAAqE;AACrE,wEAAwE;AACxE,yEAAyE;AACzE,qEAAqE;AACrE,+DAA+D;AAC/D,EAAE;AACF,qEAAqE;AACrE,oEAAoE;AAEpE;4BAC4B;AAC5B,MAAM,iBAAiB,GAAc,MAAM,CAAC;AAE5C;oDACoD;AACpD,MAAM,oBAAoB,GAAc,aAAa,CAAC;AAEtD,uEAAuE;AACvE,MAAM,OAAO,GAAqB,IAAI,CACpC,GAAG,EACH,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EACnC,MAAM,EACN,YAAY,CACb,CAAC;AAEF,gDAAgD;AAChD,MAAM,iBAAiB,GAAqB,MAAM,CAChD,WAAW,EACX;IACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;CAClC,EACD,oBAAoB,EACpB,SAAS,CACV,CAAC;AAEF,6DAA6D;AAC7D,MAAM,SAAS,GAAqB,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC;AAErE,8EAA8E;AAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AAE5E,4DAA4D;AAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AAE5E;;;;;;GAMG;AACH,gBAAgB;AAChB,MAAM,CAAC,MAAM,gBAAgB,GAAa,QAAQ,CAAC,iBAAiB,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAEpF;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,MAAM;IACZ,GAAG,EAAE,aAAa;CACnB,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,6BAA6B;IAC3C,OAAO,oBAAoB,CAAC,gBAAgB,EAAE,qBAAqB,EAAE,cAAc,CAAC,CAAC;AACvF,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,+BAA+B,CACtC,CAAS,EAAE,IAAY,EAAE,IAAY,EAAE,IAAY;IAEnD,MAAM,GAAG,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,0BAA0B;IACzE,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IACxB,MAAM,QAAQ,GAAG;QACf,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACd,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QACd,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACZ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;KACb,CAAC;IACF,wDAAwD;IACxD,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,OAAO;QACL,OAAO,EAAE,IAAI,GAAG,CAAqB,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/D,WAAW,EAAE,IAAI,GAAG,CAAmB,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACpE,SAAS,EAAE,CAAC;KACb,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B;IAMhD,qEAAqE;IACrE,yEAAyE;IACzE,6DAA6D;IAC7D,MAAM,QAAQ,GAAkB;QAC9B,IAAI,EAAE,QAAQ,EAAK,aAAa;QAChC,OAAO,EAAE,MAAM,EAAI,QAAQ;QAC3B,QAAQ,EAAE,KAAK,EAAI,8CAA8C;KAClE,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC;IAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,oBAAoB;IAExE,4EAA4E;IAC5E,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,QAAQ,GAAG,OAAO,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,+BAA+B,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;IAClE,MAAM,eAAe,GAAG,OAAO,CAAC,KAAe,CAAC;IAEhD,2EAA2E;IAC3E,iDAAiD;IACjD,gFAAgF;IAChF,MAAM,EAAE,GAAG,OAAO,GAAG,QAAQ,CAAC;IAC9B,MAAM,UAAU,GAAG,YAAY,CAC7B,CAAC,MAAM,EAAE,EAAE;QACT,MAAM,CAAC,GAAG,QAAQ,GAAG,MAAM,GAAG,EAAE,CAAC;QACjC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,CAAC,EACD,CAAC,CAAC,CAAC,EACH,CAAC,EAAE,CAAC,EACJ,IAAI,CACL,CAAC;IACF,MAAM,eAAe,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACtC,MAAM,eAAe,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAEvD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;AACzE,CAAC"}

package/dist/bridges/equations/be-38-mond.d.ts

@@ -55,8 +55,12 @@ export declare const BE38_MOND_NU_ARG: ExprNode;
  */
 export declare const BE38_MOND_FORCE_RHS: ExprNode;
 /** LHS: F has dimension [force]. */
+/** @internal */
 export declare const BE38_MOND_FORCE_LHS: ExprNode;
-export interface MONDForceInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateMONDForce` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface MONDForceInputs {
     /** Newtonian force F_N (N). Must be > 0 and finite. */
     F_N_newton: number;
     /** Test-particle mass m (kg). Must be > 0 and finite. */
@@ -82,5 +86,7 @@ export declare function evaluateMONDForce(input: MONDForceInputs): number;
  * Run the AST through the dimensional analyzer; both sides should be
  * [force].
  */
+/** @internal */
 export declare function validateBE38Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-38-mond.d.ts.map

package/dist/bridges/equations/be-38-mond.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-38-mond.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-38-mond.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAY1F;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAY9B,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,EAAE,QAMjC,CAAC;AAEF,oCAAoC;AACpC,eAAO,MAAM,mBAAmB,EAAE,QAA0B,CAAC;AAI7D,MAAM,WAAW,eAAe;IAC9B,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;IACnB,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,gFAAgF;IAChF,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAoBhE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-38-mond.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-38-mond.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAS1F;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAY9B,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,EAAE,QAMjC,CAAC;AAEF,oCAAoC;AACpC,gBAAgB;AAChB,eAAO,MAAM,mBAAmB,EAAE,QAA0B,CAAC;AAI7D;;GAEG;AACH,UAAU,eAAe;IACvB,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;IACnB,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,gFAAgF;IAChF,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAchE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-38-mond.js

@@ -36,9 +36,8 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 38)
  * @module bridges/equations/be-38-mond
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, ACCELERATION, FORCE, MASS, } from '../../dimensional/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * Lemma AST: the dimensionless ν-argument
  *   z = F_N / (m · a_0)
@@ -75,6 +74,7 @@ export const BE38_MOND_FORCE_RHS = {
     ],
 };
 /** LHS: F has dimension [force]. */
+/** @internal */
 export const BE38_MOND_FORCE_LHS = sym('F', FORCE);
 /**
  * Compute the MOND-modified force using the canonical Milgrom (1983)
@@ -90,16 +90,12 @@ export const BE38_MOND_FORCE_LHS = sym('F', FORCE);
  * @returns Force in newtons.
  */
 export function evaluateMONDForce(input) {
+    validateFiniteInputs(input, [
+        { name: 'F_N_newton', min: 0, excludeMin: true },
+        { name: 'm_kg', min: 0, excludeMin: true },
+        { name: 'a_0_m_per_s2', min: 0, excludeMin: true },
+    ], 'evaluateMONDForce');
     const { F_N_newton, m_kg, a_0_m_per_s2 } = input;
-    if (!Number.isFinite(F_N_newton) || F_N_newton <= 0) {
-        throw new RangeError(`evaluateMONDForce: F_N_newton must be a finite positive number, got ${F_N_newton}`);
-    }
-    if (!Number.isFinite(m_kg) || m_kg <= 0) {
-        throw new RangeError(`evaluateMONDForce: m_kg must be a finite positive number, got ${m_kg}`);
-    }
-    if (!Number.isFinite(a_0_m_per_s2) || a_0_m_per_s2 <= 0) {
-        throw new RangeError(`evaluateMONDForce: a_0_m_per_s2 must be a finite positive number, got ${a_0_m_per_s2}`);
-    }
     const z = F_N_newton / (m_kg * a_0_m_per_s2);
     const nu = Math.sqrt((1 + Math.sqrt(1 + 4 / (z * z))) / 2);
     return F_N_newton * nu;
@@ -109,14 +105,8 @@ export function evaluateMONDForce(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * [force].
  */
+/** @internal */
 export function validateBE38Dimensions() {
-    const eq = validateEquation(BE38_MOND_FORCE_LHS, BE38_MOND_FORCE_RHS);
-    const lhs = validate(BE38_MOND_FORCE_LHS);
-    const rhs = validate(BE38_MOND_FORCE_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE38_MOND_FORCE_LHS, BE38_MOND_FORCE_RHS, 'BE38');
 }
 //# sourceMappingURL=be-38-mond.js.map

package/dist/bridges/equations/be-38-mond.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-38-mond.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-38-mond.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,YAAY,EACZ,KAAK,EACL,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;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;QACjB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC;aACzB;SACF;KACF;CACF,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;QACjB,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;KAC5B;CACF,CAAC;AAEF,oCAAoC;AACpC,MAAM,CAAC,MAAM,mBAAmB,GAAa,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AAa7D;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB;IACtD,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IACjD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,UAAU,CAClB,uEAAuE,UAAU,EAAE,CACpF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,UAAU,CAClB,iEAAiE,IAAI,EAAE,CACxE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,YAAY,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,UAAU,CAClB,yEAAyE,YAAY,EAAE,CACxF,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,GAAG,UAAU,GAAG,CAAC,IAAI,GAAG,YAAY,CAAC,CAAC;IAC7C,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3D,OAAO,UAAU,GAAG,EAAE,CAAC;AACzB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,mBAAmB,EAAE,mBAAmB,CAAC,CAAC;IACtE,MAAM,GAAG,GAAG,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IAC1C,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-38-mond.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-38-mond.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAGH,OAAO,EACL,aAAa,EACb,YAAY,EACZ,KAAK,EACL,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;QACjB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC;aACzB;SACF;KACF;CACF,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;QACjB,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;KAC5B;CACF,CAAC;AAEF,oCAAoC;AACpC,gBAAgB;AAChB,MAAM,CAAC,MAAM,mBAAmB,GAAa,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AAgB7D;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB;IACtD,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAChD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC1C,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KACnD,EACD,mBAAmB,CACpB,CAAC;IACF,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IACjD,MAAM,CAAC,GAAG,UAAU,GAAG,CAAC,IAAI,GAAG,YAAY,CAAC,CAAC;IAC7C,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3D,OAAO,UAAU,GAAG,EAAE,CAAC;AACzB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC;AAChF,CAAC"}

package/dist/bridges/equations/be-39-asymptotic-safety.d.ts

@@ -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,9 +45,11 @@
  *
  * @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 type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+import type { BetaFunctionNode, RGCouplingNode } from '../../dimensional/rg-flow.js';
 /**
  * RHS of the canonical β_g equation:
  *   β_g = 2g + A·g² + B·g³ − C·g²·λ
@@ -53,8 +62,58 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
  */
 export declare const BE39_BETA_G_RHS: ExprNode;
 /** LHS: β_g is dimensionless. */
+/** @internal */
 export declare const BE39_BETA_G_LHS: ExprNode;
-export interface BetaGInputs {
+/**
+ * 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 declare const BE39_BETA_LAMBDA_RHS: ExprNode;
+/** LHS: β_λ is dimensionless. */
+/** @internal */
+export declare const BE39_BETA_LAMBDA_LHS: ExprNode;
+/**
+ * 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 declare const BE39_COUPLING_G: RGCouplingNode;
+/** @public */
+export declare const BE39_COUPLING_LAMBDA: RGCouplingNode;
+/**
+ * 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 declare const BE39_BETA_G_STRUCTURAL: BetaFunctionNode;
+/**
+ * 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 declare const BE39_BETA_LAMBDA_STRUCTURAL: BetaFunctionNode;
+/**
+ * @internal — typed-arg shape for the file-local `evaluateBetaG` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface BetaGInputs {
     /** Dimensionless Newton coupling g = G(k)·k². Must be finite. */
     g: number;
     /** Dimensionless cosmological constant λ = Λ(k)/k². Must be finite. */
@@ -74,7 +133,10 @@ export interface BetaGInputs {
  * @returns Dimensionless β_g value.
  */
 export declare function evaluateBetaG(input: BetaGInputs): number;
-export interface BetaLambdaInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateBetaLambda` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface BetaLambdaInputs {
     /** Dimensionless Newton coupling g. Must be finite. */
     g: number;
     /** Dimensionless cosmological constant λ. Must be finite. */
@@ -102,5 +164,7 @@ export declare function evaluateBetaLambda(input: BetaLambdaInputs): number;
  * Run the AST through the dimensional analyzer; both sides should be
  * DIMENSIONLESS.
  */
+/** @internal */
 export declare function validateBE39Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-39-asymptotic-safety.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"be-39-asymptotic-safety.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-39-asymptotic-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAM1F;;;;;;;;;GASG;AACH,eAAO,MAAM,eAAe,EAAE,QA6C7B,CAAC;AAEF,iCAAiC;AACjC,eAAO,MAAM,eAAe,EAAE,QAAuC,CAAC;AAItE,MAAM,WAAW,WAAW;IAC1B,iEAAiE;IACjE,CAAC,EAAE,MAAM,CAAC;IACV,uEAAuE;IACvE,MAAM,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,CAAC,EAAE,MAAM,CAAC;IACV,iEAAiE;IACjE,CAAC,EAAE,MAAM,CAAC;IACV,4EAA4E;IAC5E,CAAC,EAAE,MAAM,CAAC;CACX;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CAUxD;AAID,MAAM,WAAW,gBAAgB;IAC/B,uDAAuD;IACvD,CAAC,EAAE,MAAM,CAAC;IACV,6DAA6D;IAC7D,MAAM,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,CAAC,EAAE,MAAM,CAAC;IACV,4EAA4E;IAC5E,CAAC,EAAE,MAAM,CAAC;IACV,kFAAkF;IAClF,CAAC,EAAE,MAAM,CAAC;CACX;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAUlE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-39-asymptotic-safety.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-39-asymptotic-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,KAAK,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAIrF;;;;;;;;;GASG;AACH,eAAO,MAAM,eAAe,EAAE,QA6C7B,CAAC;AAEF,iCAAiC;AACjC,gBAAgB;AAChB,eAAO,MAAM,eAAe,EAAE,QAAuC,CAAC;AAEtE;;;;;;;;;;GAUG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAwClC,CAAC;AAEF,iCAAiC;AACjC,gBAAgB;AAChB,eAAO,MAAM,oBAAoB,EAAE,QAA4C,CAAC;AAMhF;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,EAAE,cAAgC,CAAC;AAE/D,cAAc;AACd,eAAO,MAAM,oBAAoB,EAAE,cAAqC,CAAC;AAEzE;;;;;;;;;GASG;AACH,eAAO,MAAM,sBAAsB,EAAE,gBAMpC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,EAAE,gBAMzC,CAAC;AAIF;;GAEG;AACH,UAAU,WAAW;IACnB,iEAAiE;IACjE,CAAC,EAAE,MAAM,CAAC;IACV,uEAAuE;IACvE,MAAM,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,CAAC,EAAE,MAAM,CAAC;IACV,iEAAiE;IACjE,CAAC,EAAE,MAAM,CAAC;IACV,4EAA4E;IAC5E,CAAC,EAAE,MAAM,CAAC;CACX;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CAcxD;AAID;;GAEG;AACH,UAAU,gBAAgB;IACxB,uDAAuD;IACvD,CAAC,EAAE,MAAM,CAAC;IACV,6DAA6D;IAC7D,MAAM,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,CAAC,EAAE,MAAM,CAAC;IACV,4EAA4E;IAC5E,CAAC,EAAE,MAAM,CAAC;IACV,kFAAkF;IAClF,CAAC,EAAE,MAAM,CAAC;CACX;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAclE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}