universal-physics-tensor 6.1.0 → 8.0.0

package/dist/bridges/equations/be-13-einstein-trace.d.ts

@@ -1,136 +0,0 @@
-/**
- * Bridge Equation 13 — Einstein trace reduction.
- *
- *   R = 4Λ - (8π G / c⁴) T
- *
- * The scalar trace of the full tensor Einstein equation
- *   R_μν - (1/2) R g_μν + Λ g_μν = (8π G / c⁴) T_μν
- * obtained by contracting with g^μν. In d=4: g^μν g_μν = 4, so
- * g^μν R_μν = R, g^μν · (1/2) R g_μν = 2R, g^μν · Λ g_μν = 4Λ,
- * and g^μν T_μν = T (the trace of stress-energy). Algebraically:
- *   R - 2R + 4Λ = (8πG/c⁴) T
- *   -R + 4Λ = (8πG/c⁴) T
- *   R = 4Λ - (8πG/c⁴) T
- *
- * The Jacobson thermodynamic interpretation (Einstein equations as a
- * macroscopic equation of state, derived from δQ = T dS on local
- * Rindler horizons) is preserved as the bridge framing; the trace
- * is the scalar AST-encodable form.
- *
- * Reference: Jacobson 1995 *Phys. Rev. Lett.* 75:1260
- * (arXiv:gr-qc/9504004; canonical thermodynamic-derivation framing);
- * Einstein 1915 *Sitzungsber. Preuss. Akad. Wiss. Berlin* 778
- * (canonical Einstein field equations); MTW *Gravitation* §17.4
- * (trace of Einstein equations).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The trace equation R = 4Λ - (8πG/c⁴)T is canonical GR (textbook
- *     content, Carroll *Spacetime and Geometry* §4.7). The bridge
- *     framing — Jacobson thermodynamic origin as a UPT
- *     information-physics bridge — is the speculative element.
- *   - Vacuum (T=0, Λ=0): R=0. Pure cosmological constant (T=0):
- *     R = 4Λ. Matter-dominated FRW with T = ρc² (matter trace):
- *     R = 4Λ - (8πG/c⁴)·ρc² = 4Λ - 8πGρ/c² (textbook).
- *   - Dim: [R] = [L⁻²] (Ricci scalar); [Λ] = [L⁻²]; [T] = energy
- *     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/archive/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: Einstein trace reduction")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 13)
- * @module bridges/equations/be-13-einstein-trace
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-import { Dimension } from '../../dimensional/types.js';
-import type { TensorTraceNode } from '../../dimensional/tensor-trace.js';
-import type { StressEnergyTensorNode } from '../../dimensional/stress-energy-validators.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
- * dimensionally identical. Same pattern as BE-23's RESISTIVITY and
- * BE-31's INV_LENGTH_2.
- */
-export declare const RICCI_SCALAR_DIM: Dimension;
-/**
- * RHS of the trace of Einstein equations:
- *   R = 4Λ - (8πG / c⁴) T
- *
- * Encoded as `4·Λ + (-1)·(8π·G·T/c⁴)`. The unary minus is captured by
- * a dimensionless `-1` symbol stub (same pattern as BE-39).
- */
-export declare const BE13_EINSTEIN_TRACE_RHS: ExprNode;
-/** LHS: Ricci scalar R has dimension [L⁻²]. */
-/** @internal */
-export declare const BE13_EINSTEIN_TRACE_LHS: ExprNode;
-/**
- * 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 declare const BE13_STRESS_ENERGY_NODE: StressEnergyTensorNode;
-/**
- * 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 declare const BE13_T_TRACE_NODE: TensorTraceNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateEinsteinTrace` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface EinsteinTraceInputs {
-    /** Cosmological constant Λ (m⁻²). Must be finite. */
-    Lambda_per_m2: number;
-    /**
-     * Trace of stress-energy tensor T = g^μν T_μν (energy density,
-     * J/m³ = kg/(m·s²)). For matter dominance T ≈ ρ c² (positive). For
-     * vacuum T = 0. Must be finite.
-     */
-    T_trace_J_per_m3: number;
-}
-/**
- * Evaluate the trace of Einstein equations
- *
- *   R = 4Λ - (8π G / c⁴) T
- *
- * @returns Ricci scalar R in m⁻².
- */
-export declare function evaluateEinsteinTrace(input: EinsteinTraceInputs): number;
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [L⁻²] (Ricci scalar).
- */
-/** @internal */
-export declare function validateBE13Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-13-einstein-trace.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"be-13-einstein-trace.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-13-einstein-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwDG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC1F,OAAO,EACL,SAAS,EAEV,MAAM,4BAA4B,CAAC;AAGpC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+CAA+C,CAAC;AAG5F;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,SAE9B,CAAC;AAOF;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAoCrC,CAAC;AAEF,+CAA+C;AAC/C,gBAAgB;AAChB,eAAO,MAAM,uBAAuB,EAAE,QAA2C,CAAC;AAIlF;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB,EAAE,sBASrC,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,iBAAiB,EAAE,eAa/B,CAAC;AAIF;;GAEG;AACH,UAAU,mBAAmB;IAC3B,qDAAqD;IACrD,aAAa,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAaxE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

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

@@ -1,199 +0,0 @@
-/**
- * Bridge Equation 13 — Einstein trace reduction.
- *
- *   R = 4Λ - (8π G / c⁴) T
- *
- * The scalar trace of the full tensor Einstein equation
- *   R_μν - (1/2) R g_μν + Λ g_μν = (8π G / c⁴) T_μν
- * obtained by contracting with g^μν. In d=4: g^μν g_μν = 4, so
- * g^μν R_μν = R, g^μν · (1/2) R g_μν = 2R, g^μν · Λ g_μν = 4Λ,
- * and g^μν T_μν = T (the trace of stress-energy). Algebraically:
- *   R - 2R + 4Λ = (8πG/c⁴) T
- *   -R + 4Λ = (8πG/c⁴) T
- *   R = 4Λ - (8πG/c⁴) T
- *
- * The Jacobson thermodynamic interpretation (Einstein equations as a
- * macroscopic equation of state, derived from δQ = T dS on local
- * Rindler horizons) is preserved as the bridge framing; the trace
- * is the scalar AST-encodable form.
- *
- * Reference: Jacobson 1995 *Phys. Rev. Lett.* 75:1260
- * (arXiv:gr-qc/9504004; canonical thermodynamic-derivation framing);
- * Einstein 1915 *Sitzungsber. Preuss. Akad. Wiss. Berlin* 778
- * (canonical Einstein field equations); MTW *Gravitation* §17.4
- * (trace of Einstein equations).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The trace equation R = 4Λ - (8πG/c⁴)T is canonical GR (textbook
- *     content, Carroll *Spacetime and Geometry* §4.7). The bridge
- *     framing — Jacobson thermodynamic origin as a UPT
- *     information-physics bridge — is the speculative element.
- *   - Vacuum (T=0, Λ=0): R=0. Pure cosmological constant (T=0):
- *     R = 4Λ. Matter-dominated FRW with T = ρc² (matter trace):
- *     R = 4Λ - (8πG/c⁴)·ρc² = 4Λ - 8πGρ/c² (textbook).
- *   - Dim: [R] = [L⁻²] (Ricci scalar); [Λ] = [L⁻²]; [T] = energy
- *     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/archive/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: Einstein trace reduction")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 13)
- * @module bridges/equations/be-13-einstein-trace
- */
-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';
-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
- * dimensionally identical. Same pattern as BE-23's RESISTIVITY and
- * BE-31's INV_LENGTH_2.
- */
-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). */
-const ENERGY_DENSITY_DIM = {
-    L: -1, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0,
-};
-/**
- * RHS of the trace of Einstein equations:
- *   R = 4Λ - (8πG / c⁴) T
- *
- * Encoded as `4·Λ + (-1)·(8π·G·T/c⁴)`. The unary minus is captured by
- * a dimensionless `-1` symbol stub (same pattern as BE-39).
- */
-export const BE13_EINSTEIN_TRACE_RHS = {
-    kind: 'op', op: '+',
-    args: [
-        {
-            // 4 · Λ
-            kind: 'op', op: '*',
-            args: [
-                sym('4', DIMENSIONLESS),
-                sym('Lambda', RICCI_SCALAR_DIM),
-            ],
-        },
-        {
-            // -1 · (8π · G · T / c⁴)
-            kind: 'op', op: '*',
-            args: [
-                sym('-1', DIMENSIONLESS),
-                {
-                    kind: 'op', op: '/',
-                    args: [
-                        {
-                            kind: 'op', op: '*',
-                            args: [
-                                sym('8pi', DIMENSIONLESS),
-                                sym('G', DIM_G),
-                                sym('T_trace', ENERGY_DENSITY_DIM),
-                            ],
-                        },
-                        {
-                            kind: 'op', op: '^',
-                            args: [sym('c', DIM_c), sym('4', DIMENSIONLESS)],
-                        },
-                    ],
-                },
-            ],
-        },
-    ],
-};
-/** 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
- *
- *   R = 4Λ - (8π G / c⁴) T
- *
- * @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;
-    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;
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [L⁻²] (Ricci scalar).
- */
-/** @internal */
-export function validateBE13Dimensions() {
-    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 +0,0 @@
-{"version":3,"file":"be-13-einstein-trace.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-13-einstein-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwDG;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

@@ -1,73 +0,0 @@
-/**
- * Bridge Equation 14 — Ryu-Takayanagi (Quantum Error Correction Holographic Mapping).
- *
- * The bridge entry's `formula_latex` shows the holographic-quantum-error-
- * correction code-subspace map; the *physical content* the spec ascribes to
- * BE-14 (per `notes` and the cited reference) is the Ryu-Takayanagi formula:
- *
- *   S_boundary = Area(γ) / (4 G_N ℏ)            [natural units, k_B = 1]
- *   S_boundary = k_B c^3 Area(γ) / (4 G_N ℏ)    [SI units]
- *
- * γ is the bulk minimal surface anchored to the boundary subregion whose
- * von-Neumann entropy is being computed.
- *
- * Reference: S. Ryu and T. Takayanagi, "Holographic derivation of entanglement
- * entropy from AdS/CFT," Phys. Rev. Lett. 96, 181602 (2006); arXiv:hep-th/0603001.
- *
- * Status: established (within AdS/CFT). This module exposes:
- *   - the ExprNode AST encoding the SI-form RHS,
- *   - a numerical evaluator in SI units,
- *   - a numerical evaluator in natural units,
- *   - a self-validation helper that runs the AST through the dimensional
- *     analyzer and returns ENTROPY = M L^2 T^-2 Theta^-1 on success.
- *
- * Honest-claude scope notes:
- *   - We do NOT compute the minimal surface area; the area is an input.
- *     Computing γ from a bulk metric is a separate (much harder) problem
- *     and is out of scope for the bridge formula itself.
- *   - The SI evaluator and the natural-unit evaluator agree only up to the
- *     CODATA roundoff in ℓ_P vs (ℏG/c^3)^(1/2) (~1e-4); see the test for
- *     the cross-check.
- *
- * @see docs/specification/Part-I.md ("Bridge Equation 14: Quantum Error Correction Holographic Mapping")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 14)
- * @module bridges/equations/be-14-ryu-takayanagi
- */
-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;
-/**
- * @internal — typed-arg shape for the file-local `evaluateRyuTakayanagi` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface RyuTakayanagiInputs {
-    /** Minimal-surface area γ in SI square metres. Must be ≥ 0. */
-    area_m2: number;
-}
-/**
- * Evaluate S_boundary = k_B c^3 A / (4 G_N ℏ) in SI units.
- *
- * @returns Boundary von-Neumann entropy in J/K.
- */
-export declare function evaluateRyuTakayanagi(input: RyuTakayanagiInputs): number;
-/**
- * @internal — typed-arg shape for the file-local `evaluateRyuTakayanagiNatural` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface RyuTakayanagiNaturalInputs {
-    /** Area measured in Planck areas (ℓ_P^2). Must be ≥ 0. */
-    area_planck: number;
-}
-/**
- * Evaluate S = A / 4 in natural units (G = ℏ = c = k_B = 1), with the area
- * input expressed in Planck areas.
- *
- * @returns Dimensionless entropy.
- */
-export declare function evaluateRyuTakayanagiNatural(input: RyuTakayanagiNaturalInputs): number;
-/**
- * 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 +0,0 @@
-{"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

@@ -1,101 +0,0 @@
-/**
- * Bridge Equation 14 — Ryu-Takayanagi (Quantum Error Correction Holographic Mapping).
- *
- * The bridge entry's `formula_latex` shows the holographic-quantum-error-
- * correction code-subspace map; the *physical content* the spec ascribes to
- * BE-14 (per `notes` and the cited reference) is the Ryu-Takayanagi formula:
- *
- *   S_boundary = Area(γ) / (4 G_N ℏ)            [natural units, k_B = 1]
- *   S_boundary = k_B c^3 Area(γ) / (4 G_N ℏ)    [SI units]
- *
- * γ is the bulk minimal surface anchored to the boundary subregion whose
- * von-Neumann entropy is being computed.
- *
- * Reference: S. Ryu and T. Takayanagi, "Holographic derivation of entanglement
- * entropy from AdS/CFT," Phys. Rev. Lett. 96, 181602 (2006); arXiv:hep-th/0603001.
- *
- * Status: established (within AdS/CFT). This module exposes:
- *   - the ExprNode AST encoding the SI-form RHS,
- *   - a numerical evaluator in SI units,
- *   - a numerical evaluator in natural units,
- *   - a self-validation helper that runs the AST through the dimensional
- *     analyzer and returns ENTROPY = M L^2 T^-2 Theta^-1 on success.
- *
- * Honest-claude scope notes:
- *   - We do NOT compute the minimal surface area; the area is an input.
- *     Computing γ from a bulk metric is a separate (much harder) problem
- *     and is out of scope for the bridge formula itself.
- *   - The SI evaluator and the natural-unit evaluator agree only up to the
- *     CODATA roundoff in ℓ_P vs (ℏG/c^3)^(1/2) (~1e-4); see the test for
- *     the cross-check.
- *
- * @see docs/specification/Part-I.md ("Bridge Equation 14: Quantum Error Correction Holographic Mapping")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 14)
- * @module bridges/equations/be-14-ryu-takayanagi
- */
-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 * ℏ) ---
-/** RHS of the SI-form Ryu-Takayanagi formula as a typed ExprNode tree. */
-export const RYU_TAKAYANAGI_RHS = {
-    kind: 'op', op: '/',
-    args: [
-        {
-            // numerator: k_B * c^3 * A
-            kind: 'op', op: '*',
-            args: [
-                sym('k_B', DIM_kB),
-                {
-                    kind: 'op', op: '^',
-                    args: [sym('c', DIM_c), sym('3', DIMENSIONLESS)],
-                },
-                sym('A', AREA),
-            ],
-        },
-        {
-            // denominator: 4 * G_N * ℏ
-            kind: 'op', op: '*',
-            args: [
-                sym('4', DIMENSIONLESS),
-                sym('G_N', DIM_G),
-                sym('hbar', DIM_hbar),
-            ],
-        },
-    ],
-};
-/** LHS of the equation: a single symbol of dimension [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;
-    const { kB, c, G, hbar } = PhysicalConstants;
-    return (kB * c * c * c * area_m2) / (4 * G * hbar);
-}
-/**
- * Evaluate S = A / 4 in natural units (G = ℏ = c = k_B = 1), with the area
- * input expressed in Planck areas.
- *
- * @returns Dimensionless entropy.
- */
-export function evaluateRyuTakayanagiNatural(input) {
-    validateFiniteInputs(input, [{ name: 'area_planck', min: 0 }], 'evaluateRyuTakayanagiNatural');
-    const { area_planck } = input;
-    return area_planck / 4;
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer and confirm both sides are
- * [entropy]. Returns the inferred dimensions for traceability.
- */
-/** @internal */
-export function validateRyuTakayanagiDimensions() {
-    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 +0,0 @@
-{"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"}