universal-physics-tensor 0.5.0 → 0.7.0

package/dist/bridges/equations/be-17-einstein-cartan.js

@@ -12,12 +12,16 @@
  * R, the metric g_μν, and the cosmological constant Λ; the algebraic
  * torsion-spin equation involves the rank-3 torsion tensor T^λ_μν
  * (antisymmetric in lower indices) and the rank-3 spin angular momentum
- * density tensor S^λ_μν. The full curvature side of the Einstein
- * equation (Ricci, metric, cosmological term) lies outside the UPT AST
- * grammar even with v0.2.0's tensor-symbol / tensor-product primitives,
- * because the grammar has no Christoffel-symbol / Riemann-curvature
- * operator. The algebraic torsion-spin half, however, IS structurally
- * encodable in v0.2.0 — see "Structural encoding" below.
+ * density tensor S^λ_μν. The algebraic torsion-spin half IS structurally
+ * encodable — see "Structural encoding" below.
+ *
+ * **v0.6.0 note:** The Einstein-equation half is now also structurally
+ * encodable via `EinsteinFieldEquationNode` (Phase 2 Task 2.3). This
+ * module encodes the torsion-spin scalar reduction (the algebraically
+ * tractable half of the EC system); the EFE half is not re-encoded here
+ * because the bridge's dimensional verdict and status live on the
+ * torsion-spin invariant, not on the EFE. Decision #9 (v0.6.0-Design.md)
+ * pins the status unchanged: AST closure ≠ physics validation.
  *
  * **Encoded reduction (squared-invariant scalar form).** Wave Z-C applies
  * OpenAI's scalar reduction: contract both sides of the algebraic torsion-
@@ -127,13 +131,16 @@
  *
  * Honest-claude scope notes:
  *   - The **original** BE-17 formula is the **full EC system** (Einstein
- *     equation + algebraic torsion-spin equation). The Einstein-equation
- *     half (Ricci, metric, cosmological term) **CANNOT be encoded** in
- *     the UPT AST grammar even with v0.2.0's tensor-symbol /
- *     tensor-product primitives — the grammar has no Christoffel-symbol
- *     / Riemann-curvature operator. This module encodes a
+ *     equation + algebraic torsion-spin equation). This module encodes a
  *     **squared-invariant scalar reduction** of the torsion-spin half,
- *     NOT the full field equations.
+ *     NOT the full field equations. The Einstein-equation half, which
+ *     previously could not be encoded (v0.2.0 lacked curvature/Riemann
+ *     primitives), CAN now be expressed structurally via
+ *     `EinsteinFieldEquationNode` (v0.6.0 Phase 2 Task 2.3). The bridge
+ *     still encodes the torsion-spin scalar reduction because that is the
+ *     dimensionally tractable half; the EFE half is not added here (it
+ *     would require constructing a full Riemann + metric sub-tree with no
+ *     numerical evaluator attached to this module).
  *   - The reduction `S²_spin = (c⁴/(8πG))² · T_λμν T^λμν` is a
  *     **contracted scalar**, not a full algebraic relation. It captures
  *     **one invariant** of the EC torsion-spin coupling (the squared
@@ -165,9 +172,8 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 17)
  * @module bridges/equations/be-17-einstein-cartan
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { tsym, contract } from '../../dimensional/tensor.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 // --- Dimensions ---
 /**
  * Per-component dimension of the rank-3 torsion tensor `T^λ_μν`: [T·L⁻²].
@@ -261,6 +267,7 @@ export const BE17_SPIN_DENSITY_SQUARED_RHS = contract(BE17_COUPLING_PREFACTOR_SQ
  * LHS: S²_spin is the squared norm of the spin angular momentum
  * density tensor. Dim [M²·L⁻²·T⁻²].
  */
+/** @internal */
 export const BE17_SPIN_DENSITY_SQUARED_LHS = sym('S_spin_squared', SPIN_DENSITY_SQUARED_DIM);
 /**
  * Evaluate the squared-invariant scalar reduction of the EC torsion-
@@ -274,16 +281,12 @@ export const BE17_SPIN_DENSITY_SQUARED_LHS = sym('S_spin_squared', SPIN_DENSITY_
  * @returns Squared spin density in SI units [M²·L⁻²·T⁻²].
  */
 export function evaluateBE17SpinDensitySquared(input) {
+    validateFiniteInputs(input, [
+        { name: 'coupling_prefactor_squared' },
+        // torsion_squared is a sum of squares — non-negative.
+        { name: 'torsion_squared', min: 0 },
+    ], 'evaluateBE17SpinDensitySquared');
     const { coupling_prefactor_squared, torsion_squared } = input;
-    if (!Number.isFinite(coupling_prefactor_squared)) {
-        throw new RangeError(`evaluateBE17SpinDensitySquared: coupling_prefactor_squared must be finite, got ${coupling_prefactor_squared}`);
-    }
-    if (!Number.isFinite(torsion_squared)) {
-        throw new RangeError(`evaluateBE17SpinDensitySquared: torsion_squared must be finite, got ${torsion_squared}`);
-    }
-    if (torsion_squared < 0) {
-        throw new RangeError(`evaluateBE17SpinDensitySquared: torsion_squared must be non-negative (it is a sum of squares), got ${torsion_squared}`);
-    }
     return coupling_prefactor_squared * torsion_squared;
 }
 // --- Self-validation ---
@@ -291,14 +294,8 @@ export function evaluateBE17SpinDensitySquared(input) {
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be [M²·L⁻²·T⁻²].
  */
+/** @internal */
 export function validateBE17Dimensions() {
-    const eq = validateEquation(BE17_SPIN_DENSITY_SQUARED_LHS, BE17_SPIN_DENSITY_SQUARED_RHS);
-    const lhs = validate(BE17_SPIN_DENSITY_SQUARED_LHS);
-    const rhs = validate(BE17_SPIN_DENSITY_SQUARED_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE17_SPIN_DENSITY_SQUARED_LHS, BE17_SPIN_DENSITY_SQUARED_RHS, 'BE17');
 }
 //# sourceMappingURL=be-17-einstein-cartan.js.map

package/dist/bridges/equations/be-17-einstein-cartan.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-17-einstein-cartan.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-17-einstein-cartan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsKG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAE5E,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAE7D,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,qBAAqB;AAErB;;;;;;;;;;;;GAYG;AACH,MAAM,qBAAqB,GAAc;IACvC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;GAIG;AACH,MAAM,8BAA8B,GAAc;IAChD,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,wBAAwB,GAAc;IAC1C,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF,uBAAuB;AAEvB;;;GAGG;AACH,MAAM,OAAO,GAAG,IAAI,CAClB,WAAW,EACX;IACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;CAClC,EACD,qBAAqB,CACtB,CAAC;AAEF;;;GAGG;AACH,MAAM,OAAO,GAAG,IAAI,CAClB,WAAW,EACX;IACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;CAClC,EACD,qBAAqB,CACtB,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAa,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAE7E;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAa,GAAG,CAC1D,sBAAsB,EACtB,8BAA8B,CAC/B,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAa,QAAQ,CAC7D,+BAA+B,EAC/B,wBAAwB,CACzB,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAa,GAAG,CACxD,gBAAgB,EAChB,wBAAwB,CACzB,CAAC;AAuBF;;;;;;;;;;GAUG;AACH,MAAM,UAAU,8BAA8B,CAAC,KAAiB;IAC9D,MAAM,EAAE,0BAA0B,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC;IAC9D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,UAAU,CAClB,kFAAkF,0BAA0B,EAAE,CAC/G,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,uEAAuE,eAAe,EAAE,CACzF,CAAC;IACJ,CAAC;IACD,IAAI,eAAe,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,UAAU,CAClB,sGAAsG,eAAe,EAAE,CACxH,CAAC;IACJ,CAAC;IACD,OAAO,0BAA0B,GAAG,eAAe,CAAC;AACtD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CACzB,6BAA6B,EAC7B,6BAA6B,CAC9B,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,6BAA6B,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,QAAQ,CAAC,6BAA6B,CAAC,CAAC;IACpD,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-17-einstein-cartan.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-17-einstein-cartan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6KG;AAIH,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,qBAAqB;AAErB;;;;;;;;;;;;GAYG;AACH,MAAM,qBAAqB,GAAc;IACvC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;GAIG;AACH,MAAM,8BAA8B,GAAc;IAChD,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,wBAAwB,GAAc;IAC1C,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF,uBAAuB;AAEvB;;;GAGG;AACH,MAAM,OAAO,GAAG,IAAI,CAClB,WAAW,EACX;IACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;CAClC,EACD,qBAAqB,CACtB,CAAC;AAEF;;;GAGG;AACH,MAAM,OAAO,GAAG,IAAI,CAClB,WAAW,EACX;IACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;CAClC,EACD,qBAAqB,CACtB,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAa,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAE7E;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAa,GAAG,CAC1D,sBAAsB,EACtB,8BAA8B,CAC/B,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAa,QAAQ,CAC7D,+BAA+B,EAC/B,wBAAwB,CACzB,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,MAAM,CAAC,MAAM,6BAA6B,GAAa,GAAG,CACxD,gBAAgB,EAChB,wBAAwB,CACzB,CAAC;AA0BF;;;;;;;;;;GAUG;AACH,MAAM,UAAU,8BAA8B,CAAC,KAAiB;IAC9D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,4BAA4B,EAAE;QACtC,sDAAsD;QACtD,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC,EAAE;KACpC,EACD,gCAAgC,CACjC,CAAC;IACF,MAAM,EAAE,0BAA0B,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC;IAC9D,OAAO,0BAA0B,GAAG,eAAe,CAAC;AACtD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,6BAA6B,EAC7B,6BAA6B,EAC7B,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-18-higgs-mass.d.ts

@@ -42,8 +42,12 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
  */
 export declare const BE18_HIGGS_MASS_RHS: ExprNode;
 /** LHS: m_dark has dimension [energy] in natural units. */
+/** @internal */
 export declare const BE18_HIGGS_MASS_LHS: ExprNode;
-export interface HiggsMassInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateHiggsMass` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface HiggsMassInputs {
     /** Dimensionless Yukawa coupling g_dark (= y in SM convention). Must be finite. */
     g_dark: number;
     /** VEV v_dark in GeV (or any consistent energy unit). Must be finite. */
@@ -61,5 +65,7 @@ export declare function evaluateHiggsMass(input: HiggsMassInputs): number;
  * Run the AST through the dimensional analyzer; both sides should be
  * [energy] (natural-units mass-as-energy convention).
  */
+/** @internal */
 export declare function validateBE18Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-18-higgs-mass.d.ts.map

package/dist/bridges/equations/be-18-higgs-mass.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-18-higgs-mass.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-18-higgs-mass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAU1F;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,EAAE,QAMjC,CAAC;AAEF,2DAA2D;AAC3D,eAAO,MAAM,mBAAmB,EAAE,QAAgC,CAAC;AAInE,MAAM,WAAW,eAAe;IAC9B,mFAAmF;IACnF,MAAM,EAAE,MAAM,CAAC;IACf,yEAAyE;IACzE,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAahE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-18-higgs-mass.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-18-higgs-mass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAO1F;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,EAAE,QAMjC,CAAC;AAEF,2DAA2D;AAC3D,gBAAgB;AAChB,eAAO,MAAM,mBAAmB,EAAE,QAAgC,CAAC;AAInE;;GAEG;AACH,UAAU,eAAe;IACvB,mFAAmF;IACnF,MAAM,EAAE,MAAM,CAAC;IACf,yEAAyE;IACzE,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAQhE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-18-higgs-mass.js

@@ -32,9 +32,8 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 18)
  * @module bridges/equations/be-18-higgs-mass
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, ENERGY, } from '../../dimensional/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * RHS of the Higgs-like mass-generation relation:
  *   m_dark = g_dark · v_dark
@@ -50,6 +49,7 @@ export const BE18_HIGGS_MASS_RHS = {
     ],
 };
 /** LHS: m_dark has dimension [energy] in natural units. */
+/** @internal */
 export const BE18_HIGGS_MASS_LHS = sym('m_dark', ENERGY);
 /**
  * Evaluate the Higgs-like mass-generation relation
@@ -59,13 +59,8 @@ export const BE18_HIGGS_MASS_LHS = sym('m_dark', ENERGY);
  * @returns Dark-fermion mass in GeV (same unit as v_dark).
  */
 export function evaluateHiggsMass(input) {
+    validateFiniteInputs(input, [{ name: 'g_dark' }, { name: 'v_dark_GeV' }], 'evaluateHiggsMass');
     const { g_dark, v_dark_GeV } = input;
-    if (!Number.isFinite(g_dark)) {
-        throw new RangeError(`evaluateHiggsMass: g_dark must be finite, got ${g_dark}`);
-    }
-    if (!Number.isFinite(v_dark_GeV)) {
-        throw new RangeError(`evaluateHiggsMass: v_dark_GeV must be finite, got ${v_dark_GeV}`);
-    }
     return g_dark * v_dark_GeV;
 }
 // --- Self-validation ---
@@ -73,14 +68,8 @@ export function evaluateHiggsMass(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * [energy] (natural-units mass-as-energy convention).
  */
+/** @internal */
 export function validateBE18Dimensions() {
-    const eq = validateEquation(BE18_HIGGS_MASS_LHS, BE18_HIGGS_MASS_RHS);
-    const lhs = validate(BE18_HIGGS_MASS_LHS);
-    const rhs = validate(BE18_HIGGS_MASS_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE18_HIGGS_MASS_LHS, BE18_HIGGS_MASS_RHS, 'BE18');
 }
 //# sourceMappingURL=be-18-higgs-mass.js.map

package/dist/bridges/equations/be-18-higgs-mass.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-18-higgs-mass.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-18-higgs-mass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AAEpC,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC;QAC5B,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;KACtB;CACF,CAAC;AAEF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,mBAAmB,GAAa,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAWnE;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB;IACtD,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IACrC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,UAAU,CAClB,iDAAiD,MAAM,EAAE,CAC1D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,UAAU,CAClB,qDAAqD,UAAU,EAAE,CAClE,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,GAAG,UAAU,CAAC;AAC7B,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-18-higgs-mass.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-18-higgs-mass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAGH,OAAO,EACL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC;QAC5B,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;KACtB;CACF,CAAC;AAEF,2DAA2D;AAC3D,gBAAgB;AAChB,MAAM,CAAC,MAAM,mBAAmB,GAAa,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAcnE;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB;IACtD,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAC5C,mBAAmB,CACpB,CAAC;IACF,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IACrC,OAAO,MAAM,GAAG,UAAU,CAAC;AAC7B,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-19-quantum-bounce.d.ts

@@ -7,6 +7,17 @@
  * ρ_crit is the LQC bounce critical density [M L^-3], and Λ is the
  * cosmological constant expressed in [T^-2] form (i.e. c² · Λ_[L^-2]).
  *
+ * Encoding strategy: this module exports BOTH the legacy scalar-expression
+ * form (`QUANTUM_BOUNCE_RHS`, validated through the dimensional analyzer)
+ * AND the v0.7 structural form (`BE19_LQC_FRIEDMANN_STRUCTURAL`, a
+ * `FriedmannEquationNode` with `variant: 'lqc'`). The structural form is
+ * the PREFERRED encoding for future LQC-related work — it makes the
+ * "this is a modified-Friedmann equation" fact explicit at the type
+ * level and pattern-matchable via the `FriedmannVariant` discriminator.
+ * The legacy scalar-expression form is preserved unchanged for backward
+ * compatibility with `validate(QUANTUM_BOUNCE_RHS)` consumers and to
+ * keep the existing dimensional-signature round-trip green.
+ *
  * Reference: Ashtekar-Singh 2011 review "Loop Quantum Cosmology: A
  * Status Report" (arXiv:1108.0893). The (1 − ρ/ρ_crit) bounce factor is
  * the LQC correction to standard Friedmann; at ρ = ρ_crit, H² = Λ/3 and
@@ -44,13 +55,15 @@
  * @module bridges/equations/be-19-quantum-bounce
  */
 import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+import type { FriedmannEquationNode } from '../../dimensional/friedmann-equation.js';
 /**
  * RHS of `H² = (8πG/3) ρ (1 - ρ/ρ_crit) + Λ/3` as a typed ExprNode tree.
  */
 export declare const QUANTUM_BOUNCE_RHS: ExprNode;
-/** LHS: H² has dimension [T^-2]. */
-export declare const QUANTUM_BOUNCE_LHS: ExprNode;
-export interface QuantumBounceInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateQuantumBounce` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface QuantumBounceInputs {
     /** Mass-energy density ρ in kg/m³. Must be ≥ 0. */
     rho: number;
     /** LQC bounce critical density ρ_crit in kg/m³. Must be > 0. */
@@ -68,5 +81,27 @@ export declare function evaluateQuantumBounce(input: QuantumBounceInputs): numbe
  * Run the AST through the dimensional analyzer; LHS = H² and RHS together
  * should both be [T^-2].
  */
+/** @internal */
 export declare function validateQuantumBounceDimensions(): DimensionValidationReport;
+/**
+ * BE-19's LQC modified Friedmann as a structural `FriedmannEquationNode`.
+ *
+ *     H² = (8πG/3) · ρ · (1 − ρ/ρ_crit)
+ *
+ * Variant tag `'lqc'` makes the loop-quantum-cosmology regime
+ * pattern-matchable via the `FriedmannVariant` discriminator. This is
+ * the PREFERRED encoding for future LQC-related work; the legacy
+ * `QUANTUM_BOUNCE_RHS` (above) remains as the dimensional-analyzer
+ * compatibility surface.
+ *
+ * Note that the Λ/3 additive term from the full QUANTUM_BOUNCE_RHS is
+ * NOT represented in the structural form — the design-note primitive
+ * targets the multiplicative LQC bounce factor specifically. A future
+ * extension may add a `cosmologicalConstant` slot to
+ * `FriedmannEquationNode` if downstream RG/cosmology work warrants it.
+ *
+ * @public
+ */
+export declare const BE19_LQC_FRIEDMANN_STRUCTURAL: FriedmannEquationNode;
+export {};
 //# sourceMappingURL=be-19-quantum-bounce.d.ts.map

package/dist/bridges/equations/be-19-quantum-bounce.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-19-quantum-bounce.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-19-quantum-bounce.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AA6B1F;;GAEG;AACH,eAAO,MAAM,kBAAkB,EAAE,QA0ChC,CAAC;AAEF,oCAAoC;AACpC,eAAO,MAAM,kBAAkB,EAAE,QAGhC,CAAC;AAIF,MAAM,WAAW,mBAAmB;IAClC,mDAAmD;IACnD,GAAG,EAAE,MAAM,CAAC;IACZ,gEAAgE;IAChE,QAAQ,EAAE,MAAM,CAAC;IACjB,yDAAyD;IACzD,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAoBxE;AAID;;;GAGG;AACH,wBAAgB,+BAA+B,IAAI,yBAAyB,CAS3E"}
+{"version":3,"file":"be-19-quantum-bounce.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-19-quantum-bounce.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAO1F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AAsBrF;;GAEG;AACH,eAAO,MAAM,kBAAkB,EAAE,QA0ChC,CAAC;AAUF;;GAEG;AACH,UAAU,mBAAmB;IAC3B,mDAAmD;IACnD,GAAG,EAAE,MAAM,CAAC;IACZ,gEAAgE;IAChE,QAAQ,EAAE,MAAM,CAAC;IACjB,yDAAyD;IACzD,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAcxE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,+BAA+B,IAAI,yBAAyB,CAE3E;AA4BD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,6BAA6B,EAAE,qBAO3C,CAAC"}

package/dist/bridges/equations/be-19-quantum-bounce.js

@@ -7,6 +7,17 @@
  * ρ_crit is the LQC bounce critical density [M L^-3], and Λ is the
  * cosmological constant expressed in [T^-2] form (i.e. c² · Λ_[L^-2]).
  *
+ * Encoding strategy: this module exports BOTH the legacy scalar-expression
+ * form (`QUANTUM_BOUNCE_RHS`, validated through the dimensional analyzer)
+ * AND the v0.7 structural form (`BE19_LQC_FRIEDMANN_STRUCTURAL`, a
+ * `FriedmannEquationNode` with `variant: 'lqc'`). The structural form is
+ * the PREFERRED encoding for future LQC-related work — it makes the
+ * "this is a modified-Friedmann equation" fact explicit at the type
+ * level and pattern-matchable via the `FriedmannVariant` discriminator.
+ * The legacy scalar-expression form is preserved unchanged for backward
+ * compatibility with `validate(QUANTUM_BOUNCE_RHS)` consumers and to
+ * keep the existing dimensional-signature round-trip green.
+ *
  * Reference: Ashtekar-Singh 2011 review "Loop Quantum Cosmology: A
  * Status Report" (arXiv:1108.0893). The (1 − ρ/ρ_crit) bounce factor is
  * the LQC correction to standard Friedmann; at ρ = ρ_crit, H² = Λ/3 and
@@ -43,12 +54,11 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 19)
  * @module bridges/equations/be-19-quantum-bounce
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, } from '../../dimensional/types.js';
 import { G as DIM_G } from '../../dimensional/constants.js';
 import { PhysicalConstants } from '../../core/types.js';
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 // --- Symbolic AST ---
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
 /** Mass-density [M L^-3]. */
 const MASS_DENSITY = {
     L: -3, M: 1, T: 0, I: 0, Theta: 0, N: 0, J: 0,
@@ -109,7 +119,7 @@ export const QUANTUM_BOUNCE_RHS = {
     ],
 };
 /** LHS: H² has dimension [T^-2]. */
-export const QUANTUM_BOUNCE_LHS = {
+const QUANTUM_BOUNCE_LHS = {
     kind: 'op', op: '^',
     args: [sym('H', { L: 0, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 }), sym('2', DIMENSIONLESS)],
 };
@@ -119,16 +129,12 @@ export const QUANTUM_BOUNCE_LHS = {
  * @returns H² in [s^-2].
  */
 export function evaluateQuantumBounce(input) {
+    validateFiniteInputs(input, [
+        { name: 'rho', min: 0 },
+        { name: 'rho_crit', min: 0, excludeMin: true },
+        { name: 'Lambda_Tinv2' },
+    ], 'evaluateQuantumBounce');
     const { rho, rho_crit, Lambda_Tinv2 } = input;
-    if (!Number.isFinite(rho) || rho < 0) {
-        throw new RangeError(`evaluateQuantumBounce: rho must be a finite non-negative number, got ${rho}`);
-    }
-    if (!Number.isFinite(rho_crit) || rho_crit <= 0) {
-        throw new RangeError(`evaluateQuantumBounce: rho_crit must be a finite positive number, got ${rho_crit}`);
-    }
-    if (!Number.isFinite(Lambda_Tinv2)) {
-        throw new RangeError(`evaluateQuantumBounce: Lambda_Tinv2 must be finite, got ${Lambda_Tinv2}`);
-    }
     const { G } = PhysicalConstants;
     const bounce = 1 - rho / rho_crit;
     return ((8 * Math.PI * G) / 3) * rho * bounce + Lambda_Tinv2 / 3;
@@ -138,14 +144,57 @@ export function evaluateQuantumBounce(input) {
  * Run the AST through the dimensional analyzer; LHS = H² and RHS together
  * should both be [T^-2].
  */
+/** @internal */
 export function validateQuantumBounceDimensions() {
-    const eq = validateEquation(QUANTUM_BOUNCE_LHS, QUANTUM_BOUNCE_RHS);
-    const lhs = validate(QUANTUM_BOUNCE_LHS);
-    const rhs = validate(QUANTUM_BOUNCE_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(QUANTUM_BOUNCE_LHS, QUANTUM_BOUNCE_RHS, 'BE19');
 }
+// --- v0.7 structural encoding ---
+/** ScalarFieldNode for H² ([T^-2]) — the hubble slot. */
+const HUBBLE_SQUARED_FIELD = {
+    kind: 'scalar-field',
+    name: 'H_squared',
+    dim: { L: 0, M: 0, T: -2, I: 0, Theta: 0, N: 0, J: 0 },
+    symmetry: 'scalar',
+};
+/** ScalarFieldNode for ρ ([M·L^-3]) — the density slot. */
+const RHO_FIELD = {
+    kind: 'scalar-field',
+    name: 'rho',
+    dim: MASS_DENSITY,
+    symmetry: 'scalar',
+};
+/** ScalarFieldNode for the dimensionless LQC bounce factor (1 − ρ/ρ_crit). */
+const LQC_BOUNCE_FACTOR = {
+    kind: 'scalar-field',
+    name: '1_minus_rho_over_rho_crit',
+    dim: DIMENSIONLESS,
+    symmetry: 'scalar',
+};
+/**
+ * BE-19's LQC modified Friedmann as a structural `FriedmannEquationNode`.
+ *
+ *     H² = (8πG/3) · ρ · (1 − ρ/ρ_crit)
+ *
+ * Variant tag `'lqc'` makes the loop-quantum-cosmology regime
+ * pattern-matchable via the `FriedmannVariant` discriminator. This is
+ * the PREFERRED encoding for future LQC-related work; the legacy
+ * `QUANTUM_BOUNCE_RHS` (above) remains as the dimensional-analyzer
+ * compatibility surface.
+ *
+ * Note that the Λ/3 additive term from the full QUANTUM_BOUNCE_RHS is
+ * NOT represented in the structural form — the design-note primitive
+ * targets the multiplicative LQC bounce factor specifically. A future
+ * extension may add a `cosmologicalConstant` slot to
+ * `FriedmannEquationNode` if downstream RG/cosmology work warrants it.
+ *
+ * @public
+ */
+export const BE19_LQC_FRIEDMANN_STRUCTURAL = {
+    kind: 'friedmann-equation',
+    hubble: HUBBLE_SQUARED_FIELD,
+    density: RHO_FIELD,
+    correction: LQC_BOUNCE_FACTOR,
+    variant: 'lqc',
+    coupling: 'friedmann',
+};
 //# sourceMappingURL=be-19-quantum-bounce.js.map

package/dist/bridges/equations/be-19-quantum-bounce.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-19-quantum-bounce.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-19-quantum-bounce.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,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,6BAA6B;AAC7B,MAAM,YAAY,GAAc;IAC9B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,gEAAgE;AAChE,MAAM,MAAM,GAAc;IACxB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,uEAAuE;AACvE,wEAAwE;AACxE,wEAAwE;AACxE,sEAAsE;AACtE,iBAAiB;AAEjB;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,+BAA+B;YAC/B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,6DAA6D;oBAC7D,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;wBACzB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;qBACxB;iBACF;gBACD,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;gBACf,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC;gBACxB;oBACE,iBAAiB;oBACjB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;wBACvB;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE;gCACJ,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC;gCACxB,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC;6BAC9B;yBACF;qBACF;iBACF;aACF;SACF;QACD;YACE,QAAQ;YACR,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;gBACrB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;KACF;CACF,CAAC;AAEF,oCAAoC;AACpC,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;CAC7F,CAAC;AAaF;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC9C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,UAAU,CAClB,wEAAwE,GAAG,EAAE,CAC9E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,UAAU,CAClB,yEAAyE,QAAQ,EAAE,CACpF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,UAAU,CAClB,2DAA2D,YAAY,EAAE,CAC1E,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAChC,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,GAAG,QAAQ,CAAC;IAClC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,GAAG,MAAM,GAAG,YAAY,GAAG,CAAC,CAAC;AACnE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,+BAA+B;IAC7C,MAAM,EAAE,GAAG,gBAAgB,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;IACpE,MAAM,GAAG,GAAG,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IACzC,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-19-quantum-bounce.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-19-quantum-bounce.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AAGH,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAGxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB,6BAA6B;AAC7B,MAAM,YAAY,GAAc;IAC9B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,gEAAgE;AAChE,MAAM,MAAM,GAAc;IACxB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,uEAAuE;AACvE,wEAAwE;AACxE,wEAAwE;AACxE,sEAAsE;AACtE,iBAAiB;AAEjB;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,+BAA+B;YAC/B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,6DAA6D;oBAC7D,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;wBACzB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;qBACxB;iBACF;gBACD,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;gBACf,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC;gBACxB;oBACE,iBAAiB;oBACjB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;wBACvB;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE;gCACJ,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC;gCACxB,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC;6BAC9B;yBACF;qBACF;iBACF;aACF;SACF;QACD;YACE,QAAQ;YACR,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;gBACrB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;KACF;CACF,CAAC;AAEF,oCAAoC;AACpC,MAAM,kBAAkB,GAAa;IACnC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;CAC7F,CAAC;AAgBF;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE;QACvB,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC9C,EAAE,IAAI,EAAE,cAAc,EAAE;KACzB,EACD,uBAAuB,CACxB,CAAC;IACF,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC9C,MAAM,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAChC,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,GAAG,QAAQ,CAAC;IAClC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,GAAG,MAAM,GAAG,YAAY,GAAG,CAAC,CAAC;AACnE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,+BAA+B;IAC7C,OAAO,oBAAoB,CAAC,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,CAAC,CAAC;AAC9E,CAAC;AAED,mCAAmC;AAEnC,yDAAyD;AACzD,MAAM,oBAAoB,GAAoB;IAC5C,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,WAAW;IACjB,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;IACtD,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,2DAA2D;AAC3D,MAAM,SAAS,GAAoB;IACjC,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,KAAK;IACX,GAAG,EAAE,YAAY;IACjB,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,8EAA8E;AAC9E,MAAM,iBAAiB,GAAoB;IACzC,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,2BAA2B;IACjC,GAAG,EAAE,aAAa;IAClB,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAA0B;IAClE,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,oBAAoB;IAC5B,OAAO,EAAE,SAAS;IAClB,UAAU,EAAE,iBAAiB;IAC7B,OAAO,EAAE,KAAK;IACd,QAAQ,EAAE,WAAW;CACtB,CAAC"}

package/dist/bridges/equations/be-20-vacuum-energy.d.ts

@@ -32,6 +32,13 @@
  *   - The energy-density form ρ_Λ c² = c⁴ Λ / (8π G) ≈ 7×10⁻¹⁰ J/m³
  *     is the alternate convention; both forms are physically
  *     equivalent. We encode the mass-density form here.
+ *   - v0.6.0 re-encoding: the plain `sym('Lambda', [L⁻²])` stub is
+ *     replaced with a `CosmologicalConstantNode` (Phase 2 Task 2.3).
+ *     `CosmologicalConstantNode` is a first-class ExprNode member whose
+ *     validator enforces the [L⁻²] dim constraint and, unlike a plain
+ *     symbol, carries the optional `value` field for de Sitter / ΛCDM
+ *     evaluations. The dimensional verdict ([M L⁻³]) and bridge status
+ *     are unchanged (Decision #9).
  *
  * @see docs/specification/Part-II.md ("Bridge Equation 20")
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 20)
@@ -39,16 +46,26 @@
  */
 import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
 import { Dimension } from '../../dimensional/types.js';
+/** [L⁻²] — cosmological-constant Λ has dimension of inverse area. */
+export declare const INV_LENGTH_2: Dimension;
 /** [M L⁻³] — mass density (kg/m³). */
 export declare const MASS_DENSITY: Dimension;
 /**
  * RHS of the cosmological-constant mass density:
  *   ρ_Λ = c² Λ / (8π G)
+ *
+ * v0.6.0: Λ is now a `CosmologicalConstantNode` (first-class typed
+ * node) rather than a plain symbol stub. Dimensional verdict [M L⁻³]
+ * is unchanged.
  */
 export declare const BE20_VACUUM_ENERGY_RHS: ExprNode;
 /** LHS: ρ_Λ has dimension [M L⁻³] (mass density, kg/m³). */
+/** @internal */
 export declare const BE20_VACUUM_ENERGY_LHS: ExprNode;
-export interface CosmologicalConstantInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateCosmologicalConstant` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface CosmologicalConstantInputs {
     /**
      * Cosmological constant Λ (m⁻²). Default: 1.1×10⁻⁵² m⁻² (Planck 2018
      * canonical value). Must be ≥ 0 and finite.
@@ -68,5 +85,7 @@ export declare function evaluateCosmologicalConstantDensity(input?: Cosmological
  * Run the AST through the dimensional analyzer; both sides should be
  * [M L⁻³] (mass density).
  */
+/** @internal */
 export declare function validateBE20Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-20-vacuum-energy.d.ts.map

package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-20-vacuum-energy.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,EACL,SAAS,EAEV,MAAM,4BAA4B,CAAC;AAWpC,sCAAsC;AACtC,eAAO,MAAM,YAAY,EAAE,SAE1B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAuBpC,CAAC;AAEF,4DAA4D;AAC5D,eAAO,MAAM,sBAAsB,EAAE,QAA0C,CAAC;AAIhF,MAAM,WAAW,0BAA0B;IACzC;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAID;;;;;;;GAOG;AACH,wBAAgB,mCAAmC,CACjD,KAAK,GAAE,0BAA+B,GACrC,MAAM,CASR;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-20-vacuum-energy.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,EACL,SAAS,EAEV,MAAM,4BAA4B,CAAC;AAOpC,qEAAqE;AACrE,eAAO,MAAM,YAAY,EAAE,SAA6B,CAAC;AAEzD,sCAAsC;AACtC,eAAO,MAAM,YAAY,EAAE,SAE1B,CAAC;AAqBF;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAuBpC,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,eAAO,MAAM,sBAAsB,EAAE,QAA0C,CAAC;AAIhF;;GAEG;AACH,UAAU,0BAA0B;IAClC;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAID;;;;;;;GAOG;AACH,wBAAgB,mCAAmC,CACjD,KAAK,GAAE,0BAA+B,GACrC,MAAM,CASR;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-20-vacuum-energy.js

@@ -32,27 +32,55 @@
  *   - The energy-density form ρ_Λ c² = c⁴ Λ / (8π G) ≈ 7×10⁻¹⁰ J/m³
  *     is the alternate convention; both forms are physically
  *     equivalent. We encode the mass-density form here.
+ *   - v0.6.0 re-encoding: the plain `sym('Lambda', [L⁻²])` stub is
+ *     replaced with a `CosmologicalConstantNode` (Phase 2 Task 2.3).
+ *     `CosmologicalConstantNode` is a first-class ExprNode member whose
+ *     validator enforces the [L⁻²] dim constraint and, unlike a plain
+ *     symbol, carries the optional `value` field for de Sitter / ΛCDM
+ *     evaluations. The dimensional verdict ([M L⁻³]) and bridge status
+ *     are unchanged (Decision #9).
  *
  * @see docs/specification/Part-II.md ("Bridge Equation 20")
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 20)
  * @module bridges/equations/be-20-vacuum-energy
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, } from '../../dimensional/types.js';
 import { c as DIM_c, G as DIM_G } from '../../dimensional/constants.js';
 import { power } from '../../dimensional/algebra.js';
 import { LENGTH } 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';
 /** [L⁻²] — cosmological-constant Λ has dimension of inverse area. */
-const INV_LENGTH_2 = power(LENGTH, -2);
+export const INV_LENGTH_2 = power(LENGTH, -2);
 /** [M L⁻³] — mass density (kg/m³). */
 export const MASS_DENSITY = {
     L: -3, M: 1, T: 0, I: 0, Theta: 0, N: 0, J: 0,
 };
+/**
+ * v0.6.0 re-encoding: `CosmologicalConstantNode` for Λ.
+ *
+ * Replaces the former `sym('Lambda', INV_LENGTH_2)` plain-symbol stub
+ * with a first-class `CosmologicalConstantNode`. The new node carries
+ * the Planck 2018 observed value as its optional `value` field and
+ * participates in `validateCosmologicalConstant` (which enforces [L⁻²]).
+ * The dimensional verdict of the enclosing expression is unchanged.
+ *
+ * Decision #9 (v0.6.0-Design.md): status pin unchanged — structural
+ * AST promotion does NOT constitute physics validation.
+ */
+const BE20_COSMOLOGICAL_CONSTANT = {
+    kind: 'cosmological-constant',
+    symbol: 'Λ',
+    dim: INV_LENGTH_2,
+    value: 1.1e-52, // Planck 2018 canonical value (m⁻²)
+};
 /**
  * RHS of the cosmological-constant mass density:
  *   ρ_Λ = c² Λ / (8π G)
+ *
+ * v0.6.0: Λ is now a `CosmologicalConstantNode` (first-class typed
+ * node) rather than a plain symbol stub. Dimensional verdict [M L⁻³]
+ * is unchanged.
  */
 export const BE20_VACUUM_ENERGY_RHS = {
     kind: 'op', op: '/',
@@ -65,7 +93,7 @@ export const BE20_VACUUM_ENERGY_RHS = {
                     kind: 'op', op: '^',
                     args: [sym('c', DIM_c), sym('2', DIMENSIONLESS)],
                 },
-                sym('Lambda', INV_LENGTH_2),
+                BE20_COSMOLOGICAL_CONSTANT,
             ],
         },
         {
@@ -79,6 +107,7 @@ export const BE20_VACUUM_ENERGY_RHS = {
     ],
 };
 /** LHS: ρ_Λ has dimension [M L⁻³] (mass density, kg/m³). */
+/** @internal */
 export const BE20_VACUUM_ENERGY_LHS = sym('rho_Lambda', MASS_DENSITY);
 const DEFAULT_LAMBDA = 1.1e-52; // Planck 2018 canonical value (m^-2)
 /**
@@ -91,9 +120,7 @@ const DEFAULT_LAMBDA = 1.1e-52; // Planck 2018 canonical value (m^-2)
  */
 export function evaluateCosmologicalConstantDensity(input = {}) {
     const { Lambda_per_m2 = DEFAULT_LAMBDA } = input;
-    if (!Number.isFinite(Lambda_per_m2) || Lambda_per_m2 < 0) {
-        throw new RangeError(`evaluateCosmologicalConstantDensity: Lambda_per_m2 must be finite and non-negative, got ${Lambda_per_m2}`);
-    }
+    validateFiniteInputs({ Lambda_per_m2 }, [{ name: 'Lambda_per_m2', min: 0 }], 'evaluateCosmologicalConstantDensity');
     const { c, G } = PhysicalConstants;
     return (c * c * Lambda_per_m2) / (8 * Math.PI * G);
 }
@@ -102,14 +129,8 @@ export function evaluateCosmologicalConstantDensity(input = {}) {
  * Run the AST through the dimensional analyzer; both sides should be
  * [M L⁻³] (mass density).
  */
+/** @internal */
 export function validateBE20Dimensions() {
-    const eq = validateEquation(BE20_VACUUM_ENERGY_LHS, BE20_VACUUM_ENERGY_RHS);
-    const lhs = validate(BE20_VACUUM_ENERGY_LHS);
-    const rhs = validate(BE20_VACUUM_ENERGY_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE20_VACUUM_ENERGY_LHS, BE20_VACUUM_ENERGY_RHS, 'BE20');
 }
 //# sourceMappingURL=be-20-vacuum-energy.js.map

package/dist/bridges/equations/be-20-vacuum-energy.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-20-vacuum-energy.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,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,qEAAqE;AACrE,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD,sCAAsC;AACtC,MAAM,CAAC,MAAM,YAAY,GAAc;IACrC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,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;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACjD;gBACD,GAAG,CAAC,QAAQ,EAAE,YAAY,CAAC;aAC5B;SACF;QACD;YACE,sBAAsB;YACtB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;aAChB;SACF;KACF;CACF,CAAC;AAEF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;AAYhF,MAAM,cAAc,GAAG,OAAO,CAAC,CAAC,qCAAqC;AAErE;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CACjD,QAAoC,EAAE;IAEtC,MAAM,EAAE,aAAa,GAAG,cAAc,EAAE,GAAG,KAAK,CAAC;IACjD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,UAAU,CAClB,2FAA2F,aAAa,EAAE,CAC3G,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACnC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,sBAAsB,EAAE,sBAAsB,CAAC,CAAC;IAC5E,MAAM,GAAG,GAAG,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAC7C,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-20-vacuum-energy.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAIH,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,qEAAqE;AACrE,MAAM,CAAC,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAEzD,sCAAsC;AACtC,MAAM,CAAC,MAAM,YAAY,GAAc;IACrC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,0BAA0B,GAA6B;IAC3D,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,YAAY;IACjB,KAAK,EAAE,OAAO,EAAE,oCAAoC;CACrD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,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;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACjD;gBACD,0BAA0B;aAC3B;SACF;QACD;YACE,sBAAsB;YACtB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;aAChB;SACF;KACF;CACF,CAAC;AAEF,4DAA4D;AAC5D,gBAAgB;AAChB,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;AAehF,MAAM,cAAc,GAAG,OAAO,CAAC,CAAC,qCAAqC;AAErE;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CACjD,QAAoC,EAAE;IAEtC,MAAM,EAAE,aAAa,GAAG,cAAc,EAAE,GAAG,KAAK,CAAC;IACjD,oBAAoB,CAClB,EAAE,aAAa,EAAE,EACjB,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EACnC,qCAAqC,CACtC,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACnC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;AACtF,CAAC"}

package/dist/bridges/equations/be-21-kss-bound.d.ts

@@ -55,6 +55,7 @@ export declare const VISCOSITY_OVER_ENTROPY_DENSITY: Dimension;
  */
 export declare const BE21_KSS_RHS: ExprNode;
 /** LHS: η/s has dimension [T Θ]. */
+/** @internal */
 export declare const BE21_KSS_LHS: ExprNode;
 /**
  * Evaluate the KSS saturating viscosity-to-entropy-density ratio
@@ -68,5 +69,6 @@ export declare function evaluateKSSBound(): number;
  * Run the AST through the dimensional analyzer; both sides should be
  * [T Θ] (viscosity / entropy-density).
  */
+/** @internal */
 export declare function validateBE21Dimensions(): DimensionValidationReport;
 //# sourceMappingURL=be-21-kss-bound.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"be-21-kss-bound.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-21-kss-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,EACL,SAAS,EAIV,MAAM,4BAA4B,CAAC;AAMpC,wEAAwE;AACxE,eAAO,MAAM,8BAA8B,EAAE,SAE5C,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,EAAE,QAY1B,CAAC;AAEF,oCAAoC;AACpC,eAAO,MAAM,YAAY,EAAE,QAA4D,CAAC;AAIxF;;;;;;GAMG;AACH,wBAAgB,gBAAgB,IAAI,MAAM,CAGzC;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-21-kss-bound.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-21-kss-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC1F,OAAO,EACL,SAAS,EAIV,MAAM,4BAA4B,CAAC;AAKpC,wEAAwE;AACxE,eAAO,MAAM,8BAA8B,EAAE,SAE5C,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,EAAE,QAY1B,CAAC;AAEF,oCAAoC;AACpC,gBAAgB;AAChB,eAAO,MAAM,YAAY,EAAE,QAA4D,CAAC;AAIxF;;;;;;GAMG;AACH,wBAAgB,gBAAgB,IAAI,MAAM,CAGzC;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}