universal-physics-tensor 0.5.0 → 0.7.0

package/dist/bridges/equations/be-13-einstein-trace.js

@@ -38,15 +38,28 @@
  *     density = [M L⁻¹ T⁻²]; [8πG/c⁴] = [L³M⁻¹T⁻²]/[L⁴T⁻⁴] =
  *     [L⁻¹M⁻¹T²]; [(8πG/c⁴)·T] = [L⁻¹M⁻¹T²]·[ML⁻¹T⁻²] = [L⁻²] ✓.
  *
+ * v0.7 BE-X re-encoding (per docs/architecture/v0.7-be-x-reencoding-design-note.md
+ * §"BE-13 — TensorTraceNode for the Einstein trace"):
+ *
+ *   The `T_trace` stub in `BE13_EINSTEIN_TRACE_RHS` is now supplemented by
+ *   `BE13_T_TRACE_NODE` — a structural `TensorTraceNode` that makes explicit
+ *   that `T = g^μν T_μν` is a metric contraction of the stress-energy tensor,
+ *   not an opaque dimensioned scalar. Both the stub form (backward-compatible,
+ *   embeddable in `ExprNode` ASTs) and the structural form (richer type
+ *   information, validates via `validateTensorTrace`) are exported.
+ *
+ *   `BE13_EINSTEIN_TRACE_RHS` is unchanged (backward compatibility). The
+ *   structural form is exposed via the separate `BE13_T_TRACE_NODE` export.
+ *   See the "BE-13 structural TensorTraceNode" section below.
+ *
  * @see docs/specification/Part-I.md ("Bridge Equation 13")
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 13)
  * @module bridges/equations/be-13-einstein-trace
  */
-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 { PhysicalConstants } from '../../core/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /** [L⁻²] — Ricci scalar dimension. Hand-built literal (rather than
  * `power(LENGTH, -2)`) because `power()` produces `-0` on unaffected
  * bases, which compares unequal under deep-strict equality even though
@@ -57,7 +70,7 @@ export const RICCI_SCALAR_DIM = {
     L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0,
 };
 /** [M L⁻¹ T⁻²] — energy density (stress-energy trace dimension). */
-export const ENERGY_DENSITY_DIM = {
+const ENERGY_DENSITY_DIM = {
     L: -1, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0,
 };
 /**
@@ -105,7 +118,59 @@ export const BE13_EINSTEIN_TRACE_RHS = {
     ],
 };
 /** LHS: Ricci scalar R has dimension [L⁻²]. */
+/** @internal */
 export const BE13_EINSTEIN_TRACE_LHS = sym('R_ricci', RICCI_SCALAR_DIM);
+// --- BE-13 structural TensorTraceNode (v0.7 BE-X re-encoding) ---
+/**
+ * The stress-energy tensor T_μν used in the BE-13 trace.
+ *
+ * Rank-2 lower-lower, symmetric, component dim [M L⁻¹ T⁻²] (energy density).
+ * This is the `T_μν` input to the `BE13_T_TRACE_NODE` contraction.
+ *
+ * @public
+ */
+export const BE13_STRESS_ENERGY_NODE = {
+    kind: 'stress-energy',
+    symbol: 'T',
+    indices: [
+        { label: 'mu', variance: 'lower' },
+        { label: 'nu', variance: 'lower' },
+    ],
+    symmetry: 'symmetric',
+    componentDim: ENERGY_DENSITY_DIM,
+};
+/**
+ * Structural `TensorTraceNode` for `T = g^μν T_μν` — the stress-energy trace
+ * appearing in BE-13's scalar relation `R = 4Λ - (8πG/c⁴) T`.
+ *
+ * This structural form replaces the stub `sym('T_trace', ENERGY_DENSITY_DIM)` in
+ * `BE13_EINSTEIN_TRACE_RHS` by making explicit that `T` arises from contracting
+ * the stress-energy tensor with the inverse metric. Validate via
+ * `validateTensorTrace(BE13_T_TRACE_NODE)` from
+ * `src/dimensional/tensor-trace.ts`.
+ *
+ * Note: `TensorTraceNode` is not yet part of the `ExprNode` union, so this
+ * node cannot be embedded directly in the scalar `ExprNode` AST of
+ * `BE13_EINSTEIN_TRACE_RHS`. `BE13_EINSTEIN_TRACE_RHS` is kept unchanged
+ * for backward compatibility; this export provides structural content for
+ * consumers that want to inspect the trace operation explicitly.
+ *
+ * @public
+ */
+export const BE13_T_TRACE_NODE = {
+    kind: 'tensor-trace',
+    tensor: BE13_STRESS_ENERGY_NODE,
+    metric: {
+        kind: 'metric-tensor',
+        name: 'g_inv',
+        indices: [
+            { label: 'mu', variance: 'upper' },
+            { label: 'nu', variance: 'upper' },
+        ],
+        signature: '+,-,-,-',
+        dim: DIMENSIONLESS,
+    },
+};
 /**
  * Evaluate the trace of Einstein equations
  *
@@ -114,13 +179,11 @@ export const BE13_EINSTEIN_TRACE_LHS = sym('R_ricci', RICCI_SCALAR_DIM);
  * @returns Ricci scalar R in m⁻².
  */
 export function evaluateEinsteinTrace(input) {
+    validateFiniteInputs(input, [
+        { name: 'Lambda_per_m2' },
+        { name: 'T_trace_J_per_m3' },
+    ], 'evaluateEinsteinTrace');
     const { Lambda_per_m2, T_trace_J_per_m3 } = input;
-    if (!Number.isFinite(Lambda_per_m2)) {
-        throw new RangeError(`evaluateEinsteinTrace: Lambda_per_m2 must be finite, got ${Lambda_per_m2}`);
-    }
-    if (!Number.isFinite(T_trace_J_per_m3)) {
-        throw new RangeError(`evaluateEinsteinTrace: T_trace_J_per_m3 must be finite, got ${T_trace_J_per_m3}`);
-    }
     const { c, G } = PhysicalConstants;
     const c4 = c * c * c * c;
     return 4 * Lambda_per_m2 - (8 * Math.PI * G * T_trace_J_per_m3) / c4;
@@ -130,14 +193,8 @@ export function evaluateEinsteinTrace(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * [L⁻²] (Ricci scalar).
  */
+/** @internal */
 export function validateBE13Dimensions() {
-    const eq = validateEquation(BE13_EINSTEIN_TRACE_LHS, BE13_EINSTEIN_TRACE_RHS);
-    const lhs = validate(BE13_EINSTEIN_TRACE_LHS);
-    const rhs = validate(BE13_EINSTEIN_TRACE_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE13_EINSTEIN_TRACE_LHS, BE13_EINSTEIN_TRACE_RHS, 'BE13');
 }
 //# sourceMappingURL=be-13-einstein-trace.js.map

package/dist/bridges/equations/be-13-einstein-trace.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-13-einstein-trace.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-13-einstein-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;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,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAc;IACzC,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,oEAAoE;AACpE,MAAM,CAAC,MAAM,kBAAkB,GAAc;IAC3C,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;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,QAAQ;YACR,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,QAAQ,EAAE,gBAAgB,CAAC;aAChC;SACF;QACD;YACE,yBAAyB;YACzB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE;gCACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gCACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;gCACf,GAAG,CAAC,SAAS,EAAE,kBAAkB,CAAC;6BACnC;yBACF;wBACD;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;yBACjD;qBACF;iBACF;aACF;SACF;KACF;CACF,CAAC;AAEF,+CAA+C;AAC/C,MAAM,CAAC,MAAM,uBAAuB,GAAa,GAAG,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;AAelF;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC;IAClD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,UAAU,CAClB,4DAA4D,aAAa,EAAE,CAC5E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,UAAU,CAClB,+DAA+D,gBAAgB,EAAE,CAClF,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACnC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzB,OAAO,CAAC,GAAG,aAAa,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,gBAAgB,CAAC,GAAG,EAAE,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-13-einstein-trace.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-13-einstein-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AAGH,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAGxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAc;IACzC,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,oEAAoE;AACpE,MAAM,kBAAkB,GAAc;IACpC,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;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,QAAQ;YACR,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,QAAQ,EAAE,gBAAgB,CAAC;aAChC;SACF;QACD;YACE,yBAAyB;YACzB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE;gCACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gCACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;gCACf,GAAG,CAAC,SAAS,EAAE,kBAAkB,CAAC;6BACnC;yBACF;wBACD;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;yBACjD;qBACF;iBACF;aACF;SACF;KACF;CACF,CAAC;AAEF,+CAA+C;AAC/C,gBAAgB;AAChB,MAAM,CAAC,MAAM,uBAAuB,GAAa,GAAG,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;AAElF,mEAAmE;AAEnE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAA2B;IAC7D,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,GAAG;IACX,OAAO,EAAE;QACP,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;QAClC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;KACnC;IACD,QAAQ,EAAE,WAAW;IACrB,YAAY,EAAE,kBAAkB;CACjC,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAoB;IAChD,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,uBAAuB;IAC/B,MAAM,EAAE;QACN,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE;YACP,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;YAClC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;SACnC;QACD,SAAS,EAAE,SAAS;QACpB,GAAG,EAAE,aAAa;KACnB;CACF,CAAC;AAkBF;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,eAAe,EAAE;QACzB,EAAE,IAAI,EAAE,kBAAkB,EAAE;KAC7B,EACD,uBAAuB,CACxB,CAAC;IACF,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC;IAClD,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACnC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzB,OAAO,CAAC,GAAG,aAAa,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,gBAAgB,CAAC,GAAG,EAAE,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-14-ryu-takayanagi.d.ts

@@ -36,9 +36,10 @@
 import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
 /** RHS of the SI-form Ryu-Takayanagi formula as a typed ExprNode tree. */
 export declare const RYU_TAKAYANAGI_RHS: ExprNode;
-/** LHS of the equation: a single symbol of dimension [entropy]. */
-export declare const RYU_TAKAYANAGI_LHS: ExprNode;
-export interface RyuTakayanagiInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateRyuTakayanagi` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface RyuTakayanagiInputs {
     /** Minimal-surface area γ in SI square metres. Must be ≥ 0. */
     area_m2: number;
 }
@@ -48,7 +49,10 @@ export interface RyuTakayanagiInputs {
  * @returns Boundary von-Neumann entropy in J/K.
  */
 export declare function evaluateRyuTakayanagi(input: RyuTakayanagiInputs): number;
-export interface RyuTakayanagiNaturalInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateRyuTakayanagiNatural` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface RyuTakayanagiNaturalInputs {
     /** Area measured in Planck areas (ℓ_P^2). Must be ≥ 0. */
     area_planck: number;
 }
@@ -63,5 +67,7 @@ export declare function evaluateRyuTakayanagiNatural(input: RyuTakayanagiNatural
  * Run the AST through the dimensional analyzer and confirm both sides are
  * [entropy]. Returns the inferred dimensions for traceability.
  */
+/** @internal */
 export declare function validateRyuTakayanagiDimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-14-ryu-takayanagi.d.ts.map

package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-14-ryu-takayanagi.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-14-ryu-takayanagi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAoB1F,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,EAAE,QAyBhC,CAAC;AAEF,mEAAmE;AACnE,eAAO,MAAM,kBAAkB,EAAE,QAAqC,CAAC;AAIvE,MAAM,WAAW,mBAAmB;IAClC,+DAA+D;IAC/D,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CASxE;AAED,MAAM,WAAW,0BAA0B;IACzC,0DAA0D;IAC1D,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,0BAA0B,GAAG,MAAM,CAQtF;AAID;;;GAGG;AACH,wBAAgB,+BAA+B,IAAI,yBAAyB,CAS3E"}
+{"version":3,"file":"be-14-ryu-takayanagi.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-14-ryu-takayanagi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAiB1F,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,EAAE,QAyBhC,CAAC;AAOF;;GAEG;AACH,UAAU,mBAAmB;IAC3B,+DAA+D;IAC/D,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAKxE;AAED;;GAEG;AACH,UAAU,0BAA0B;IAClC,0DAA0D;IAC1D,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,0BAA0B,GAAG,MAAM,CAItF;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,+BAA+B,IAAI,yBAAyB,CAE3E"}

package/dist/bridges/equations/be-14-ryu-takayanagi.js

@@ -33,12 +33,11 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 14)
  * @module bridges/equations/be-14-ryu-takayanagi
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { AREA, DIMENSIONLESS, ENTROPY, } from '../../dimensional/types.js';
 import { k_B as DIM_kB, c as DIM_c, G as DIM_G, hbar as DIM_hbar, } from '../../dimensional/constants.js';
 import { PhysicalConstants } from '../../core/types.js';
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 // --- Symbolic AST: RHS = k_B * c^3 * A / (4 * G * ℏ) ---
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
 /** RHS of the SI-form Ryu-Takayanagi formula as a typed ExprNode tree. */
 export const RYU_TAKAYANAGI_RHS = {
     kind: 'op', op: '/',
@@ -67,17 +66,15 @@ export const RYU_TAKAYANAGI_RHS = {
     ],
 };
 /** LHS of the equation: a single symbol of dimension [entropy]. */
-export const RYU_TAKAYANAGI_LHS = sym('S_boundary', ENTROPY);
+const RYU_TAKAYANAGI_LHS = sym('S_boundary', ENTROPY);
 /**
  * Evaluate S_boundary = k_B c^3 A / (4 G_N ℏ) in SI units.
  *
  * @returns Boundary von-Neumann entropy in J/K.
  */
 export function evaluateRyuTakayanagi(input) {
+    validateFiniteInputs(input, [{ name: 'area_m2', min: 0 }], 'evaluateRyuTakayanagi');
     const { area_m2 } = input;
-    if (!Number.isFinite(area_m2) || area_m2 < 0) {
-        throw new RangeError(`evaluateRyuTakayanagi: area_m2 must be a finite non-negative number, got ${area_m2}`);
-    }
     const { kB, c, G, hbar } = PhysicalConstants;
     return (kB * c * c * c * area_m2) / (4 * G * hbar);
 }
@@ -88,10 +85,8 @@ export function evaluateRyuTakayanagi(input) {
  * @returns Dimensionless entropy.
  */
 export function evaluateRyuTakayanagiNatural(input) {
+    validateFiniteInputs(input, [{ name: 'area_planck', min: 0 }], 'evaluateRyuTakayanagiNatural');
     const { area_planck } = input;
-    if (!Number.isFinite(area_planck) || area_planck < 0) {
-        throw new RangeError(`evaluateRyuTakayanagiNatural: area_planck must be a finite non-negative number, got ${area_planck}`);
-    }
     return area_planck / 4;
 }
 // --- Self-validation ---
@@ -99,14 +94,8 @@ export function evaluateRyuTakayanagiNatural(input) {
  * Run the AST through the dimensional analyzer and confirm both sides are
  * [entropy]. Returns the inferred dimensions for traceability.
  */
+/** @internal */
 export function validateRyuTakayanagiDimensions() {
-    const eq = validateEquation(RYU_TAKAYANAGI_LHS, RYU_TAKAYANAGI_RHS);
-    const lhs = validate(RYU_TAKAYANAGI_LHS);
-    const rhs = validate(RYU_TAKAYANAGI_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(RYU_TAKAYANAGI_LHS, RYU_TAKAYANAGI_RHS, 'BE14');
 }
 //# sourceMappingURL=be-14-ryu-takayanagi.js.map

package/dist/bridges/equations/be-14-ryu-takayanagi.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-14-ryu-takayanagi.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-14-ryu-takayanagi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,IAAI,EACJ,aAAa,EACb,OAAO,GACR,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,GAAG,IAAI,MAAM,EACb,CAAC,IAAI,KAAK,EACV,CAAC,IAAI,KAAK,EACV,IAAI,IAAI,QAAQ,GACjB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,0DAA0D;AAE1D,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,0EAA0E;AAC1E,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,2BAA2B;YAC3B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gBAClB;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,GAAG,EAAE,IAAI,CAAC;aACf;SACF;QACD;YACE,2BAA2B;YAC3B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;gBACjB,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;aACtB;SACF;KACF;CACF,CAAC;AAEF,mEAAmE;AACnE,MAAM,CAAC,MAAM,kBAAkB,GAAa,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;AASvE;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,UAAU,CAClB,4EAA4E,OAAO,EAAE,CACtF,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC;IAC7C,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;AACrD,CAAC;AAOD;;;;;GAKG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAAiC;IAC5E,MAAM,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,UAAU,CAClB,uFAAuF,WAAW,EAAE,CACrG,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,GAAG,CAAC,CAAC;AACzB,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-14-ryu-takayanagi.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-14-ryu-takayanagi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EACL,IAAI,EACJ,aAAa,EACb,OAAO,GACR,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,GAAG,IAAI,MAAM,EACb,CAAC,IAAI,KAAK,EACV,CAAC,IAAI,KAAK,EACV,IAAI,IAAI,QAAQ,GACjB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,0DAA0D;AAE1D,0EAA0E;AAC1E,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,2BAA2B;YAC3B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gBAClB;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,GAAG,EAAE,IAAI,CAAC;aACf;SACF;QACD;YACE,2BAA2B;YAC3B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;gBACjB,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;aACtB;SACF;KACF;CACF,CAAC;AAEF,mEAAmE;AACnE,MAAM,kBAAkB,GAAa,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;AAYhE;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,oBAAoB,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,uBAAuB,CAAC,CAAC;IACpF,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC1B,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC;IAC7C,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;AACrD,CAAC;AAUD;;;;;GAKG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAAiC;IAC5E,oBAAoB,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,8BAA8B,CAAC,CAAC;IAC/F,MAAM,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IAC9B,OAAO,WAAW,GAAG,CAAC,CAAC;AACzB,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"}

package/dist/bridges/equations/be-15-emergence.d.ts

@@ -132,8 +132,12 @@ export declare const BE15_COARSENING_LENGTH_SQUARED_RHS: ExprNode;
 /**
  * LHS: `L(t)²` is the squared coarsening length, dim [L²] = [AREA].
  */
+/** @internal */
 export declare const BE15_COARSENING_LENGTH_SQUARED_LHS: ExprNode;
-export interface CoarseningInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateCoarsening` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface CoarseningInputs {
     /** Model A kinetic coefficient Γ in [m²/s]. Must be finite and > 0. */
     gamma: number;
     /** Time t in [s]. Must be finite and > 0. */
@@ -160,5 +164,7 @@ export declare function evaluateCoarseningLengthSquared(input: CoarseningInputs)
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be [AREA] = [L²].
  */
+/** @internal */
 export declare function validateBE15Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-15-emergence.d.ts.map

package/dist/bridges/equations/be-15-emergence.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-15-emergence.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-15-emergence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2GG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAuB1F;;;;GAIG;AACH,eAAO,MAAM,aAAa,EAAE,QAAiC,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,QAAyB,CAAC;AAElD;;;;;;;;GAQG;AACH,eAAO,MAAM,kCAAkC,EAAE,QAMhD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kCAAkC,EAAE,QAGhD,CAAC;AAIF,MAAM,WAAW,gBAAgB;IAC/B,uEAAuE;IACvE,KAAK,EAAE,MAAM,CAAC;IACd,6CAA6C;IAC7C,CAAC,EAAE,MAAM,CAAC;CACX;AAED;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAaxE;AAED;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAa/E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CAYlE"}
+{"version":3,"file":"be-15-emergence.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-15-emergence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2GG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAqB1F;;;;GAIG;AACH,eAAO,MAAM,aAAa,EAAE,QAAiC,CAAC;AAE9D;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,QAAyB,CAAC;AAElD;;;;;;;;GAQG;AACH,eAAO,MAAM,kCAAkC,EAAE,QAMhD,CAAC;AAEF;;GAEG;AACH,gBAAgB;AAChB,eAAO,MAAM,kCAAkC,EAAE,QAGhD,CAAC;AAIF;;GAEG;AACH,UAAU,gBAAgB;IACxB,uEAAuE;IACvE,KAAK,EAAE,MAAM,CAAC;IACd,6CAA6C;IAC7C,CAAC,EAAE,MAAM,CAAC;CACX;AAED;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAWxE;AAED;;;;;;GAMG;AACH,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAW/E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

package/dist/bridges/equations/be-15-emergence.js

@@ -106,9 +106,8 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 15)
  * @module bridges/equations/be-15-emergence
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { TIME, AREA, } from '../../dimensional/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 // --- Local dim constants ---
 /**
  * [L²·T⁻¹] — Model A kinetic coefficient Γ. The coarsening law
@@ -150,6 +149,7 @@ export const BE15_COARSENING_LENGTH_SQUARED_RHS = {
 /**
  * LHS: `L(t)²` is the squared coarsening length, dim [L²] = [AREA].
  */
+/** @internal */
 export const BE15_COARSENING_LENGTH_SQUARED_LHS = sym('L_squared', AREA);
 /**
  * Evaluate the Kawasaki-Gunton coarsening length:
@@ -160,13 +160,11 @@ export const BE15_COARSENING_LENGTH_SQUARED_LHS = sym('L_squared', AREA);
  *   seconds, the result is in meters.
  */
 export function evaluateCoarseningLength(input) {
+    validateFiniteInputs(input, [
+        { name: 'gamma', min: 0, excludeMin: true },
+        { name: 't', min: 0, excludeMin: true },
+    ], 'evaluateCoarseningLength');
     const { gamma, t } = input;
-    if (!Number.isFinite(gamma) || gamma <= 0) {
-        throw new RangeError(`evaluateCoarseningLength: gamma must be a finite positive number, got ${gamma}`);
-    }
-    if (!Number.isFinite(t) || t <= 0) {
-        throw new RangeError(`evaluateCoarseningLength: t must be a finite positive number, got ${t}`);
-    }
     return Math.sqrt(gamma * t);
 }
 /**
@@ -177,13 +175,11 @@ export function evaluateCoarseningLength(input) {
  * Useful for AST round-trip checks and avoiding the square-root step.
  */
 export function evaluateCoarseningLengthSquared(input) {
+    validateFiniteInputs(input, [
+        { name: 'gamma', min: 0, excludeMin: true },
+        { name: 't', min: 0, excludeMin: true },
+    ], 'evaluateCoarseningLengthSquared');
     const { gamma, t } = input;
-    if (!Number.isFinite(gamma) || gamma <= 0) {
-        throw new RangeError(`evaluateCoarseningLengthSquared: gamma must be a finite positive number, got ${gamma}`);
-    }
-    if (!Number.isFinite(t) || t <= 0) {
-        throw new RangeError(`evaluateCoarseningLengthSquared: t must be a finite positive number, got ${t}`);
-    }
     return gamma * t;
 }
 // --- Self-validation ---
@@ -191,14 +187,8 @@ export function evaluateCoarseningLengthSquared(input) {
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be [AREA] = [L²].
  */
+/** @internal */
 export function validateBE15Dimensions() {
-    const eq = validateEquation(BE15_COARSENING_LENGTH_SQUARED_LHS, BE15_COARSENING_LENGTH_SQUARED_RHS);
-    const lhs = validate(BE15_COARSENING_LENGTH_SQUARED_LHS);
-    const rhs = validate(BE15_COARSENING_LENGTH_SQUARED_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE15_COARSENING_LENGTH_SQUARED_LHS, BE15_COARSENING_LENGTH_SQUARED_RHS, 'BE15');
 }
 //# sourceMappingURL=be-15-emergence.js.map

package/dist/bridges/equations/be-15-emergence.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-15-emergence.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-15-emergence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2GG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,IAAI,EACJ,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,8BAA8B;AAE9B;;;;;;GAMG;AACH,MAAM,QAAQ,GAAc,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;AAE9E,uBAAuB;AAEvB;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAa,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AAE9D;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAa,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAElD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAa;IAC1D,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,aAAa;QACb,SAAS;KACV;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAa,GAAG,CAC7D,WAAW,EACX,IAAI,CACL,CAAC;AAWF;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAuB;IAC9D,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IAC3B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,UAAU,CAClB,yEAAyE,KAAK,EAAE,CACjF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAClB,qEAAqE,CAAC,EAAE,CACzE,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,+BAA+B,CAAC,KAAuB;IACrE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IAC3B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,UAAU,CAClB,gFAAgF,KAAK,EAAE,CACxF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAClB,4EAA4E,CAAC,EAAE,CAChF,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,GAAG,CAAC,CAAC;AACnB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CACzB,kCAAkC,EAClC,kCAAkC,CACnC,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,kCAAkC,CAAC,CAAC;IACzD,MAAM,GAAG,GAAG,QAAQ,CAAC,kCAAkC,CAAC,CAAC;IACzD,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-15-emergence.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-15-emergence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2GG;AAGH,OAAO,EAEL,IAAI,EACJ,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,8BAA8B;AAE9B;;;;;;GAMG;AACH,MAAM,QAAQ,GAAc,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;AAE9E,uBAAuB;AAEvB;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAa,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AAE9D;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAa,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAElD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAa;IAC1D,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,aAAa;QACb,SAAS;KACV;CACF,CAAC;AAEF;;GAEG;AACH,gBAAgB;AAChB,MAAM,CAAC,MAAM,kCAAkC,GAAa,GAAG,CAC7D,WAAW,EACX,IAAI,CACL,CAAC;AAcF;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAuB;IAC9D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KACxC,EACD,0BAA0B,CAC3B,CAAC;IACF,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IAC3B,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,+BAA+B,CAAC,KAAuB;IACrE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KACxC,EACD,iCAAiC,CAClC,CAAC;IACF,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IAC3B,OAAO,KAAK,GAAG,CAAC,CAAC;AACnB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,kCAAkC,EAClC,kCAAkC,EAClC,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-16-landauer.d.ts

@@ -158,8 +158,12 @@ export declare const BE16_LANDAUER_RHS: ExprNode;
  * LHS: E_min is the minimum thermodynamic energy per bit erased.
  * Dim `[energy]`.
  */
+/** @internal */
 export declare const BE16_LANDAUER_LHS: ExprNode;
-export interface LandauerInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateLandauer` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface LandauerInputs {
     /** Thermodynamic temperature T in kelvin. Must be finite and ≥ 0. */
     temperature_K: number;
 }
@@ -176,5 +180,7 @@ export declare function evaluateLandauerEnergy(input: LandauerInputs): number;
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be `[energy]`.
  */
+/** @internal */
 export declare function validateBE16Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-16-landauer.d.ts.map

package/dist/bridges/equations/be-16-landauer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-16-landauer.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-16-landauer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8HG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAc1F;;;;;GAKG;AACH,eAAO,MAAM,cAAc,EAAE,QAA0B,CAAC;AAExD;;GAEG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAgC,CAAC;AAEhE;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,QAA8C,CAAC;AAEtE;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAS/B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAA+B,CAAC;AAIhE,MAAM,WAAW,cAAc;IAC7B,qEAAqE;IACrE,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,CASpE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-16-landauer.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-16-landauer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8HG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAW1F;;;;;GAKG;AACH,eAAO,MAAM,cAAc,EAAE,QAA0B,CAAC;AAExD;;GAEG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAgC,CAAC;AAEhE;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,QAA8C,CAAC;AAEtE;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAS/B,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,eAAO,MAAM,iBAAiB,EAAE,QAA+B,CAAC;AAIhE;;GAEG;AACH,UAAU,cAAc;IACtB,qEAAqE;IACrE,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,CAKpE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-16-landauer.js

@@ -125,10 +125,9 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 16)
  * @module bridges/equations/be-16-landauer
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, ENERGY, TEMPERATURE, } from '../../dimensional/types.js';
 import { k_B } from '../../dimensional/constants.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 // --- Symbolic AST ---
 /**
  * Symbol for Boltzmann's constant k_B. Dim `[energy/temperature]`.
@@ -171,6 +170,7 @@ export const BE16_LANDAUER_RHS = {
  * LHS: E_min is the minimum thermodynamic energy per bit erased.
  * Dim `[energy]`.
  */
+/** @internal */
 export const BE16_LANDAUER_LHS = sym('E_min', ENERGY);
 /**
  * Evaluate the Landauer minimum energy per bit erased:
@@ -181,10 +181,8 @@ export const BE16_LANDAUER_LHS = sym('E_min', ENERGY);
  *   temperature) this gives approximately 2.87 × 10⁻²¹ J ≈ 18 meV.
  */
 export function evaluateLandauerEnergy(input) {
+    validateFiniteInputs(input, [{ name: 'temperature_K', min: 0 }], 'evaluateLandauerEnergy');
     const { temperature_K } = input;
-    if (!Number.isFinite(temperature_K) || temperature_K < 0) {
-        throw new RangeError(`evaluateLandauerEnergy: temperature_K must be a finite non-negative number, got ${temperature_K}`);
-    }
     const k_B_SI = 1.380649e-23; // J/K (exact SI definition, 2019 redefinition)
     return k_B_SI * temperature_K * Math.LN2;
 }
@@ -193,14 +191,8 @@ export function evaluateLandauerEnergy(input) {
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be `[energy]`.
  */
+/** @internal */
 export function validateBE16Dimensions() {
-    const eq = validateEquation(BE16_LANDAUER_LHS, BE16_LANDAUER_RHS);
-    const lhs = validate(BE16_LANDAUER_LHS);
-    const rhs = validate(BE16_LANDAUER_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    return validateBEDimensions(BE16_LANDAUER_LHS, BE16_LANDAUER_RHS, 'BE16');
 }
 //# sourceMappingURL=be-16-landauer.js.map

package/dist/bridges/equations/be-16-landauer.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-16-landauer.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-16-landauer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8HG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,EACN,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AAErD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,uBAAuB;AAEvB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAa,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAExD;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;AAEhE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAa,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;AAEtE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,cAAc,EAAE,gBAAgB,CAAC;SACzC;QACD,QAAQ;KACT;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAShE;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAqB;IAC1D,MAAM,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,UAAU,CAClB,mFAAmF,aAAa,EAAE,CACnG,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,+CAA+C;IAC5E,OAAO,MAAM,GAAG,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC;AAC3C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;IAClE,MAAM,GAAG,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;IACxC,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-16-landauer.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-16-landauer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8HG;AAGH,OAAO,EACL,aAAa,EACb,MAAM,EACN,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAa,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAExD;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;AAEhE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAa,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;AAEtE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,cAAc,EAAE,gBAAgB,CAAC;SACzC;QACD,QAAQ;KACT;CACF,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,MAAM,CAAC,MAAM,iBAAiB,GAAa,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAYhE;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAqB;IAC1D,oBAAoB,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,CAAC;IAC3F,MAAM,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC;IAChC,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,+CAA+C;IAC5E,OAAO,MAAM,GAAG,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC;AAC3C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;AAC5E,CAAC"}

package/dist/bridges/equations/be-17-einstein-cartan.d.ts

@@ -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
@@ -206,8 +213,12 @@ export declare const BE17_SPIN_DENSITY_SQUARED_RHS: ExprNode;
  * LHS: S²_spin is the squared norm of the spin angular momentum
  * density tensor. Dim [M²·L⁻²·T⁻²].
  */
+/** @internal */
 export declare const BE17_SPIN_DENSITY_SQUARED_LHS: ExprNode;
-export interface BE17Inputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateBE17` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface BE17Inputs {
     /**
      * Squared coupling prefactor (c⁴/(8πG))² in SI units [M²·L²·T⁻⁴].
      * Numerically ≈ (1.21×10⁴⁴ N)² ≈ 1.46×10⁸⁸ N² for the SI value
@@ -241,5 +252,7 @@ export declare function evaluateBE17SpinDensitySquared(input: BE17Inputs): numbe
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be [M²·L⁻²·T⁻²].
  */
+/** @internal */
 export declare function validateBE17Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-17-einstein-cartan.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"be-17-einstein-cartan.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-17-einstein-cartan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsKG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AA2E1F;;;;;;;;;GASG;AACH,eAAO,MAAM,wBAAwB,EAAE,QAAqC,CAAC;AAE7E;;;;;;;;GAQG;AACH,eAAO,MAAM,+BAA+B,EAAE,QAG7C,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,6BAA6B,EAAE,QAG3C,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,6BAA6B,EAAE,QAG3C,CAAC;AAIF,MAAM,WAAW,UAAU;IACzB;;;;OAIG;IACH,0BAA0B,EAAE,MAAM,CAAC;IACnC;;;;;;;;OAQG;IACH,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAkBxE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CAYlE"}
+{"version":3,"file":"be-17-einstein-cartan.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-17-einstein-cartan.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6KG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAyE1F;;;;;;;;;GASG;AACH,eAAO,MAAM,wBAAwB,EAAE,QAAqC,CAAC;AAE7E;;;;;;;;GAQG;AACH,eAAO,MAAM,+BAA+B,EAAE,QAG7C,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,6BAA6B,EAAE,QAG3C,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,eAAO,MAAM,6BAA6B,EAAE,QAG3C,CAAC;AAIF;;GAEG;AACH,UAAU,UAAU;IAClB;;;;OAIG;IACH,0BAA0B,EAAE,MAAM,CAAC;IACnC;;;;;;;;OAQG;IACH,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAYxE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}