universal-physics-tensor 7.0.0 → 8.0.0

package/dist/bridges/equations/be-53-yang-mills-beta.js

@@ -1,187 +0,0 @@
-/**
- * Bridge Equation 53 — Yang-Mills one-loop β-function (asymptotic freedom).
- *
- * For a non-Abelian gauge theory with gauge group G coupled to N_f Dirac
- * fermions in the fundamental representation, the one-loop RG β-function
- * governing the running of the gauge coupling g is:
- *
- *   β(g) = −b₀ g³ / (16π²) + O(g⁵)
- *
- * where the one-loop coefficient b₀ for gauge group SU(N_c) with N_f
- * Dirac fermion flavors in the fundamental representation is:
- *
- *   b₀ = (11/3) C₂(G) − (4/3) T(R) N_f
- *      = (11/3) N_c   − (4/3) (1/2) N_f      [for SU(N_c) fundamental]
- *      = (11/3) N_c   − (2/3) N_f
- *
- * Here:
- *   - C₂(G) = N_c is the quadratic Casimir of the adjoint representation of
- *     SU(N_c) (structure-constant contraction f^{abc} f^{abc} / dim(G)).
- *   - T(R) = 1/2 is the index of the fundamental representation
- *     (Tr(T^a T^b) = T(R) δ^{ab}, T(fund) = 1/2 for SU(N)).
- *
- * **Asymptotic freedom** — the hallmark result of Gross, Wilczek, and Politzer
- * (Nobel Prize in Physics, 2004):
- *   - When b₀ > 0 the β-function is negative for g > 0, so the coupling
- *     decreases as the RG scale k rises: g → 0 in the UV.
- *   - The UV fixed point is g* = 0 (the Gaussian / free-theory fixed point).
- *   - QCD (SU(3), N_f = 6): b₀ = (11/3)·3 − (2/3)·6 = 11 − 4 = 7 > 0 ✓
- *   - The asymptotic-freedom boundary is b₀ = 0, reached at
- *     N_f = (11/2) N_c (≈ 16.5 for SU(3)). For N_f > (11/2) N_c the coupling
- *     runs in the infrared-free direction (analogous to QED).
- *
- * **Structural dual of BE-39** — the `BetaFunctionNode` encoding here is
- * deliberately structurally identical to BE-39's `BE39_BETA_G_STRUCTURAL`
- * (single-coupling flow, polynomial expansion, fixed-point pin) but the
- * physics is the opposite: BE-39 seeks a non-Gaussian fixed point at
- * (g*, λ*) ≠ (0, 0), whereas BE-53 has the UV fixed point at g* = 0. Both
- * are representable with identical AST shape — demonstrating the
- * `BetaFunctionNode` primitives are flow-direction-agnostic.
- *
- * @see src/dimensional/rg-flow.ts (BetaFunctionNode + RGCouplingNode)
- * @see src/bridges/equations/be-39-asymptotic-safety.ts (two-coupling NGFP dual)
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 53)
- *
- * @references
- *   - Gross & Wilczek 1973 *Phys. Rev. Lett.* 30:1343
- *     ("Ultraviolet Behavior of Non-Abelian Gauge Theories")
- *   - Politzer 1973 *Phys. Rev. Lett.* 30:1346
- *     ("Reliable Perturbative Results for Strong Interactions?")
- *   - Peskin & Schroeder 1995 "An Introduction to Quantum Field Theory" §16
- *     (canonical textbook derivation of one-loop non-Abelian β-function)
- *
- * @module bridges/equations/be-53-yang-mills-beta
- */
-import { DIMENSIONLESS } from '../../dimensional/types.js';
-import { rgCoupling } from '../../dimensional/rg-flow.js';
-import { sym, validateFiniteInputs } from './_be-helpers.js';
-// ─────────────────────────────────────────────────────────────────────────────
-// Coupling node
-// ─────────────────────────────────────────────────────────────────────────────
-/**
- * `RGCouplingNode` for the Yang-Mills gauge coupling g.
- *
- * In the RG sense, g is the dimensionless gauge coupling of the non-Abelian
- * Yang-Mills theory (or QCD for SU(3)). At one-loop the flow is governed by
- * the single-coupling β-function β(g) = −b₀ g³/(16π²).
- *
- * @public
- */
-export const BE53_COUPLING_G = rgCoupling('g');
-// ─────────────────────────────────────────────────────────────────────────────
-// β-function polynomial expression: −b₀ g³ / (16π²)
-//
-// Encoded as a single product of dimensionless symbols, following the
-// BE-39 signed-stub pattern: the overall minus sign and the denominator
-// 16π² are folded into a single stub symbol 'minus_b0_over_16pi2' rather
-// than requiring a fractional AST subtree. The three-power g³ is encoded
-// explicitly as g^3 to preserve the polynomial structure.
-// ─────────────────────────────────────────────────────────────────────────────
-/**
- * RHS of the one-loop Yang-Mills β-function:
- *
- *   β(g) = −b₀ g³ / (16π²)
- *
- * Encoded as:
- *
- *   (−b₀/(16π²)) · g³
- *
- * where `−b₀_over_16pi2` is a dimensionless signed coefficient stub and
- * `g^3` is the explicit polynomial factor. All symbols are dimensionless;
- * the result is dimensionless per RG-discipline.
- *
- * The stub name `minus_b0_over_16pi2` is a typed-stub absorbing the
- * combined coefficient −b₀/(16π²) — consistent with the Bridge-encoding
- * patterns documented in CLAUDE.md (Wave Z). At numerical evaluation time
- * this coefficient is replaced by the concrete QCD or SU(N_c) value.
- */
-export const BE53_BETA_G_RHS = {
-    kind: 'op', op: '*',
-    args: [
-        sym('minus_b0_over_16pi2', DIMENSIONLESS), // −b₀/(16π²): signed dimensionless coefficient stub
-        {
-            kind: 'op', op: '^',
-            args: [sym('g', DIMENSIONLESS), sym('3', DIMENSIONLESS)], // g³
-        },
-    ],
-};
-/** LHS: β(g) is dimensionless. */
-/** @internal */
-export const BE53_BETA_G_LHS = sym('beta_g', DIMENSIONLESS);
-// ─────────────────────────────────────────────────────────────────────────────
-// Structural BetaFunctionNode — single-coupling asymptotically-free flow
-// ─────────────────────────────────────────────────────────────────────────────
-/**
- * Structural β-function for the Yang-Mills gauge coupling.
- *
- * `BetaFunctionNode` with a single-coupling flow direction `(g)` and UV
- * fixed point pinned at g* = 0 (asymptotic freedom). The polynomial
- * expansion is the one-loop RHS `−b₀ g³/(16π²)` encoded as an explicit
- * product AST.
- *
- * This is the structural dual of `BE39_BETA_G_STRUCTURAL` (two-coupling
- * asymptotic-safety flow with NGFP at (g*, λ*) ≠ (0, 0)). The `couplings`
- * array has length 1 here, demonstrating the primitives work for
- * single-coupling flows as well as multi-coupling ones.
- *
- * @public
- */
-export const BE53_BETA_G_STRUCTURAL = {
-    kind: 'beta-function',
-    couplings: [BE53_COUPLING_G],
-    target: BE53_COUPLING_G,
-    polynomialExpansion: BE53_BETA_G_RHS,
-    fixedPoint: [0], // UV fixed point at g* = 0 (asymptotic freedom)
-};
-/**
- * Evaluate the one-loop Yang-Mills β-function for SU(N_c) with N_f
- * fundamental Dirac flavors:
- *
- *   b₀ = (11/3) N_c − (2/3) N_f
- *   β(g) = −b₀ g³ / (16π²)
- *
- * The UV fixed point is at g* = 0 when b₀ > 0 (asymptotic freedom). For
- * QCD (N_c = 3, N_f = 6): b₀ = 11 − 4 = 7, β(g) = −7 g³/(16π²).
- *
- * @returns Dimensionless β(g) value (k ∂_k g at one loop).
- * @throws `RangeError` if any input is non-finite, or N_c ≤ 0, or N_f < 0.
- *
- * @public
- */
-export function evaluateYangMillsBeta(input) {
-    validateFiniteInputs(input, [
-        { name: 'g' },
-        { name: 'N_c', min: 0, excludeMin: true },
-        { name: 'N_f', min: 0 },
-    ], 'evaluateYangMillsBeta');
-    const { g, N_c, N_f } = input;
-    const b0 = (11 / 3) * N_c - (2 / 3) * N_f;
-    return -(b0 * g * g * g) / (16 * Math.PI * Math.PI);
-}
-/**
- * Compute the one-loop coefficient b₀ for SU(N_c) with N_f fundamental
- * Dirac flavors:
- *
- *   b₀ = (11/3) N_c − (2/3) N_f
- *
- * When b₀ > 0 the theory is asymptotically free; the asymptotic-freedom
- * boundary is at N_f = (11/2) N_c.
- *
- * @public
- */
-export function computeB0(N_c, N_f) {
-    return (11 / 3) * N_c - (2 / 3) * N_f;
-}
-/**
- * State the sign of `b₀ = (11/3) N_c − (2/3) N_f`. Positive is asymptotic
- * freedom in this one-loop truncation. The statement is the coefficient,
- * not a residual against a measurement.
- *
- * @public
- */
-export function oneLoopCoefficientStatement(N_c, N_f) {
-    const b0 = computeB0(N_c, N_f);
-    const sign = b0 > 0 ? 'positive' : b0 < 0 ? 'negative' : 'zero';
-    return { label: 'one-loop coefficient', sign, b0 };
-}
-//# sourceMappingURL=be-53-yang-mills-beta.js.map

package/dist/bridges/equations/be-53-yang-mills-beta.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-53-yang-mills-beta.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-53-yang-mills-beta.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAE3D,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC1D,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAE7D,gFAAgF;AAChF,gBAAgB;AAChB,gFAAgF;AAEhF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,eAAe,GAAmB,UAAU,CAAC,GAAG,CAAC,CAAC;AAE/D,gFAAgF;AAChF,oDAAoD;AACpD,EAAE;AACF,sEAAsE;AACtE,wEAAwE;AACxE,yEAAyE;AACzE,yEAAyE;AACzE,0DAA0D;AAC1D,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,qBAAqB,EAAE,aAAa,CAAC,EAAM,oDAAoD;QACnG;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAG,KAAK;SACjE;KACF;CACF,CAAC;AAEF,kCAAkC;AAClC,gBAAgB;AAChB,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEtE,gFAAgF;AAChF,yEAAyE;AACzE,gFAAgF;AAEhF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAqB;IACtD,IAAI,EAAE,eAAe;IACrB,SAAS,EAAE,CAAC,eAAe,CAAC;IAC5B,MAAM,EAAE,eAAe;IACvB,mBAAmB,EAAE,eAAe;IACpC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAI,gDAAgD;CACpE,CAAC;AA+BF;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACzC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE;KACxB,EACD,uBAAuB,CACxB,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC9B,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC;IAC1C,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;AACtD,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,SAAS,CAAC,GAAW,EAAE,GAAW;IAChD,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC;AACxC,CAAC;AAiBD;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CAAC,GAAW,EAAE,GAAW;IAClE,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC/B,MAAM,IAAI,GAA2B,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;IACxF,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;AACrD,CAAC"}

package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts

@@ -1,117 +0,0 @@
-/**
- * Bridge Equation 54 — Randall-Sundrum Brane Cosmology (modified Friedmann).
- *
- *   H² = (8πG/3) ρ (1 + ρ/(2σ)) + Λ/3
- *
- * H is the Hubble parameter [T⁻¹], ρ is the mass density on the brane
- * [M L⁻³], σ is the brane tension [M L⁻³] (same dimensions as energy
- * density), and Λ is the effective 4D cosmological constant in [T⁻²] form
- * (i.e. c² · Λ_[L⁻²], the same c²-rescaled convention used by BE-19).
- *
- * Physics — Randall-Sundrum II model (single brane in 5D AdS bulk):
- * The correction factor (1 + ρ/(2σ)) is the brane-tension modification
- * that appears at high energy densities. When ρ ≪ σ the factor approaches
- * 1 and the classical Friedmann equation is recovered; when ρ ~ σ (Planck-
- * scale densities) the ρ² term dominates and expansion is faster than in
- * standard cosmology. This ρ² enhancement can affect primordial inflation
- * and BBN but leaves today's low-density cosmology unaffected.
- *
- * The correction (1 + ρ/(2σ)) is DIMENSIONLESS: the ratio ρ/σ has matching
- * dimensions [M L⁻³]/[M L⁻³] = [1].
- *
- * Dimensional conventions follow BE-19 exactly:
- *   - ρ and σ in mass-density units [kg m⁻³]
- *   - Λ in [T⁻²] (= c² Λ_[L⁻²], Ryden "Introduction to Cosmology" 2nd ed §6)
- *   - H² in [s⁻²]
- *
- * `evaluateRandallSundrumH2` drops Λ and the dark-radiation term (Weyl-
- * tensor contribution ∝ a⁻⁴) for the structural minimum; the omission is
- * documented in the function's JSDoc. The AST encodes the full Λ/3 form.
- *
- * References:
- *   - Randall-Sundrum 1999 *Phys. Rev. Lett.* 83:4690 ("An Alternative to
- *     Compactification"; arXiv:hep-th/9906064; the RS-II single-brane model
- *     that BE-54 encodes)
- *   - Binétruy-Deffayet-Ellwanger-Langlois 2000 *Phys. Lett.* B 477:285
- *     (arXiv:hep-th/9910219; the BDEL cosmological equations on the brane)
- *   - Maartens-Koyama 2010 *Living Rev. Relativity* 13:5
- *     (arXiv:1004.3962; comprehensive brane-world cosmology review)
- *
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 54)
- * @module bridges/equations/be-54-randall-sundrum-brane
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * RHS of `H² = (8πG/3) ρ (1 + ρ/(2σ)) + Λ/3` as a typed ExprNode tree.
- *
- * Encoding notes:
- *   - The brane-tension correction `(1 + ρ/(2σ))` is DIMENSIONLESS:
- *     the symbol `1` is [1] and ρ/σ is [M L⁻³]/[M L⁻³] = [1].
- *   - The prefactor `8π/3` is folded into a dimensionless symbol (same
- *     pattern as BE-19).
- *   - Λ is in [T⁻²] form (c²-rescaled; Ryden §6 convention).
- *
- * @public
- */
-export declare const BRANE_FRIEDMANN_RHS: ExprNode;
-/**
- * Typed-arg shape for `evaluateRandallSundrumH2`.
- *
- * Uses mass-density units [kg m⁻³] throughout (consistent with BE-19).
- *
- * @public
- */
-interface RandallSundrumInputs {
-    /** Mass-energy density ρ on the brane in kg/m³. Must be ≥ 0. */
-    rho_kg_per_m3: number;
-    /**
-     * Brane tension σ in kg/m³. Must be > 0.
-     *
-     * In the RS II model σ is a fixed bulk parameter; it is related to the
-     * 5D Planck mass and the AdS curvature scale. For the present structural
-     * evaluator it is treated as a free numerical input.
-     */
-    sigma_kg_per_m3: number;
-}
-/**
- * Evaluate the Randall-Sundrum modified Friedmann equation:
- *
- *   H² = (8πG/3) · ρ · (1 + ρ/(2σ))
- *
- * Omissions (documented):
- *   1. Λ/3 — cosmological-constant term dropped for the structural
- *      minimum; the AST (`BRANE_FRIEDMANN_RHS`) encodes the full form.
- *   2. Dark-radiation term C/a⁴ — the Weyl-tensor (bulk Kaluza-Klein)
- *      contribution is time-dependent and requires knowledge of the
- *      scale factor a(t); it is structurally distinct from the brane-
- *      tension correction and deferred to a future evaluator.
- *
- * @returns H² in [s⁻²].
- * @public
- */
-export declare function evaluateRandallSundrumH2(input: RandallSundrumInputs): number;
-/**
- * Run the AST through the dimensional analyzer; both LHS (H²) and RHS
- * should infer [T⁻²].
- *
- * @public
- */
-/** @internal */
-export declare function validateBraneFriedmannDimensions(): DimensionValidationReport;
-import type { FriedmannEquationNode } from '../../dimensional/friedmann-equation.js';
-/**
- * Structural BE-54 encoding using `FriedmannEquationNode` with
- * `variant: 'brane'`. The brane-tension correction `(1 + ρ/(2σ))` is the
- * dimensionless multiplicative factor specific to Randall-Sundrum II
- * cosmology; the variant discriminator records that this is brane physics
- * (not classical FRW, not LQC bounce, not DGP, not dRGT).
- *
- * Validates via `validateFriedmannEquation` — the BE-19 primitive's
- * variant-cross-check pattern: `variant === 'brane'` requires
- * `correction !== null`.
- *
- * @public
- */
-export declare const BE54_BRANE_FRIEDMANN_STRUCTURAL: FriedmannEquationNode;
-export {};
-//# sourceMappingURL=be-54-randall-sundrum-brane.d.ts.map

package/dist/bridges/equations/be-54-randall-sundrum-brane.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-54-randall-sundrum-brane.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-54-randall-sundrum-brane.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAuB1F;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,mBAAmB,EAAE,QAkDjC,CAAC;AAeF;;;;;;GAMG;AACH,UAAU,oBAAoB;IAC5B,gEAAgE;IAChE,aAAa,EAAE,MAAM,CAAC;IACtB;;;;;;OAMG;IACH,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CAa5E;AAMD;;;;;GAKG;AACH,gBAAgB;AAChB,wBAAgB,gCAAgC,IAAI,yBAAyB,CAE5E;AAgBD,OAAO,KAAK,EACV,qBAAqB,EACtB,MAAM,yCAAyC,CAAC;AA2BjD;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,+BAA+B,EAAE,qBAO7C,CAAC"}

package/dist/bridges/equations/be-54-randall-sundrum-brane.js

@@ -1,209 +0,0 @@
-/**
- * Bridge Equation 54 — Randall-Sundrum Brane Cosmology (modified Friedmann).
- *
- *   H² = (8πG/3) ρ (1 + ρ/(2σ)) + Λ/3
- *
- * H is the Hubble parameter [T⁻¹], ρ is the mass density on the brane
- * [M L⁻³], σ is the brane tension [M L⁻³] (same dimensions as energy
- * density), and Λ is the effective 4D cosmological constant in [T⁻²] form
- * (i.e. c² · Λ_[L⁻²], the same c²-rescaled convention used by BE-19).
- *
- * Physics — Randall-Sundrum II model (single brane in 5D AdS bulk):
- * The correction factor (1 + ρ/(2σ)) is the brane-tension modification
- * that appears at high energy densities. When ρ ≪ σ the factor approaches
- * 1 and the classical Friedmann equation is recovered; when ρ ~ σ (Planck-
- * scale densities) the ρ² term dominates and expansion is faster than in
- * standard cosmology. This ρ² enhancement can affect primordial inflation
- * and BBN but leaves today's low-density cosmology unaffected.
- *
- * The correction (1 + ρ/(2σ)) is DIMENSIONLESS: the ratio ρ/σ has matching
- * dimensions [M L⁻³]/[M L⁻³] = [1].
- *
- * Dimensional conventions follow BE-19 exactly:
- *   - ρ and σ in mass-density units [kg m⁻³]
- *   - Λ in [T⁻²] (= c² Λ_[L⁻²], Ryden "Introduction to Cosmology" 2nd ed §6)
- *   - H² in [s⁻²]
- *
- * `evaluateRandallSundrumH2` drops Λ and the dark-radiation term (Weyl-
- * tensor contribution ∝ a⁻⁴) for the structural minimum; the omission is
- * documented in the function's JSDoc. The AST encodes the full Λ/3 form.
- *
- * References:
- *   - Randall-Sundrum 1999 *Phys. Rev. Lett.* 83:4690 ("An Alternative to
- *     Compactification"; arXiv:hep-th/9906064; the RS-II single-brane model
- *     that BE-54 encodes)
- *   - Binétruy-Deffayet-Ellwanger-Langlois 2000 *Phys. Lett.* B 477:285
- *     (arXiv:hep-th/9910219; the BDEL cosmological equations on the brane)
- *   - Maartens-Koyama 2010 *Living Rev. Relativity* 13:5
- *     (arXiv:1004.3962; comprehensive brane-world cosmology review)
- *
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 54)
- * @module bridges/equations/be-54-randall-sundrum-brane
- */
-import { DIMENSIONLESS, MASS_DENSITY, } 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';
-// ---------------------------------------------------------------------------
-// Dimension primitives
-// ---------------------------------------------------------------------------
-/** [T⁻²] — for H² and the c²-rescaled cosmological constant. */
-const T_INV2 = {
-    L: 0, M: 0, T: -2, I: 0, Theta: 0, N: 0, J: 0,
-};
-// ---------------------------------------------------------------------------
-// Symbolic AST
-// ---------------------------------------------------------------------------
-/**
- * RHS of `H² = (8πG/3) ρ (1 + ρ/(2σ)) + Λ/3` as a typed ExprNode tree.
- *
- * Encoding notes:
- *   - The brane-tension correction `(1 + ρ/(2σ))` is DIMENSIONLESS:
- *     the symbol `1` is [1] and ρ/σ is [M L⁻³]/[M L⁻³] = [1].
- *   - The prefactor `8π/3` is folded into a dimensionless symbol (same
- *     pattern as BE-19).
- *   - Λ is in [T⁻²] form (c²-rescaled; Ryden §6 convention).
- *
- * @public
- */
-export const BRANE_FRIEDMANN_RHS = {
-    kind: 'op', op: '+',
-    args: [
-        {
-            // (8πG/3) · ρ · (1 + ρ/(2σ))
-            kind: 'op', op: '*',
-            args: [
-                {
-                    // 8π/3 — dimensionless prefactor
-                    kind: 'op', op: '/',
-                    args: [
-                        sym('8pi', DIMENSIONLESS),
-                        sym('3', DIMENSIONLESS),
-                    ],
-                },
-                sym('G', DIM_G),
-                sym('rho', MASS_DENSITY),
-                {
-                    // (1 + ρ/(2σ)) — dimensionless brane-tension correction
-                    kind: 'op', op: '+',
-                    args: [
-                        sym('1', DIMENSIONLESS),
-                        {
-                            // ρ / (2σ) — dimensionless
-                            kind: 'op', op: '/',
-                            args: [
-                                sym('rho', MASS_DENSITY),
-                                {
-                                    // 2σ — brane tension times 2 (dimensionless 2 × [M L⁻³])
-                                    kind: 'op', op: '*',
-                                    args: [
-                                        sym('2', DIMENSIONLESS),
-                                        sym('sigma', MASS_DENSITY),
-                                    ],
-                                },
-                            ],
-                        },
-                    ],
-                },
-            ],
-        },
-        {
-            // Λ / 3
-            kind: 'op', op: '/',
-            args: [
-                sym('Lambda', T_INV2),
-                sym('3', DIMENSIONLESS),
-            ],
-        },
-    ],
-};
-/** LHS: H² has dimension [T⁻²]. */
-const BRANE_FRIEDMANN_LHS = {
-    kind: 'op', op: '^',
-    args: [
-        sym('H', { L: 0, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 }),
-        sym('2', DIMENSIONLESS),
-    ],
-};
-/**
- * Evaluate the Randall-Sundrum modified Friedmann equation:
- *
- *   H² = (8πG/3) · ρ · (1 + ρ/(2σ))
- *
- * Omissions (documented):
- *   1. Λ/3 — cosmological-constant term dropped for the structural
- *      minimum; the AST (`BRANE_FRIEDMANN_RHS`) encodes the full form.
- *   2. Dark-radiation term C/a⁴ — the Weyl-tensor (bulk Kaluza-Klein)
- *      contribution is time-dependent and requires knowledge of the
- *      scale factor a(t); it is structurally distinct from the brane-
- *      tension correction and deferred to a future evaluator.
- *
- * @returns H² in [s⁻²].
- * @public
- */
-export function evaluateRandallSundrumH2(input) {
-    validateFiniteInputs(input, [
-        { name: 'rho_kg_per_m3', min: 0 },
-        { name: 'sigma_kg_per_m3', min: 0, excludeMin: true },
-    ], 'evaluateRandallSundrumH2');
-    const { rho_kg_per_m3: rho, sigma_kg_per_m3: sigma } = input;
-    const { G } = PhysicalConstants;
-    const correction = 1 + rho / (2 * sigma);
-    return ((8 * Math.PI * G) / 3) * rho * correction;
-}
-// ---------------------------------------------------------------------------
-// Self-validation
-// ---------------------------------------------------------------------------
-/**
- * Run the AST through the dimensional analyzer; both LHS (H²) and RHS
- * should infer [T⁻²].
- *
- * @public
- */
-/** @internal */
-export function validateBraneFriedmannDimensions() {
-    return validateBEDimensions(BRANE_FRIEDMANN_LHS, BRANE_FRIEDMANN_RHS, 'BE54');
-}
-const BE54_HUBBLE_SQUARED = {
-    kind: 'scalar-field',
-    name: 'H_squared',
-    dim: { L: 0, M: 0, T: -2, I: 0, Theta: 0, N: 0, J: 0 },
-    symmetry: 'scalar',
-};
-const BE54_DENSITY = {
-    kind: 'scalar-field',
-    name: 'rho',
-    // Mass-density per BE-19 convention (the BE-19 agent's FriedmannEquationNode
-    // pins density to [M L⁻³] mass-density, not energy-density [M L⁻¹ T⁻²]).
-    dim: MASS_DENSITY,
-    symmetry: 'scalar',
-};
-const BE54_BRANE_CORRECTION = {
-    kind: 'scalar-field',
-    name: 'brane_correction_1_plus_rho_over_2sigma',
-    // Dimensionless: ρ/σ has matching numerator + denominator dimensions.
-    dim: { L: 0, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 },
-    symmetry: 'scalar',
-};
-/**
- * Structural BE-54 encoding using `FriedmannEquationNode` with
- * `variant: 'brane'`. The brane-tension correction `(1 + ρ/(2σ))` is the
- * dimensionless multiplicative factor specific to Randall-Sundrum II
- * cosmology; the variant discriminator records that this is brane physics
- * (not classical FRW, not LQC bounce, not DGP, not dRGT).
- *
- * Validates via `validateFriedmannEquation` — the BE-19 primitive's
- * variant-cross-check pattern: `variant === 'brane'` requires
- * `correction !== null`.
- *
- * @public
- */
-export const BE54_BRANE_FRIEDMANN_STRUCTURAL = {
-    kind: 'friedmann-equation',
-    hubble: BE54_HUBBLE_SQUARED,
-    density: BE54_DENSITY,
-    correction: BE54_BRANE_CORRECTION,
-    variant: 'brane',
-    coupling: 'friedmann',
-};
-//# sourceMappingURL=be-54-randall-sundrum-brane.js.map

package/dist/bridges/equations/be-54-randall-sundrum-brane.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-54-randall-sundrum-brane.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-54-randall-sundrum-brane.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAGH,OAAO,EAEL,aAAa,EACb,YAAY,GACb,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E,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,8EAA8E;AAC9E,eAAe;AACf,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,6BAA6B;YAC7B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,iCAAiC;oBACjC,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,wDAAwD;oBACxD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;wBACvB;4BACE,2BAA2B;4BAC3B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE;gCACJ,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC;gCACxB;oCACE,yDAAyD;oCACzD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oCACnB,IAAI,EAAE;wCACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;wCACvB,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC;qCAC3B;iCACF;6BACF;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,mCAAmC;AACnC,MAAM,mBAAmB,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,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;QAC3D,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;KACxB;CACF,CAAC;AA0BF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA2B;IAClE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE;QACjC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KACtD,EACD,0BAA0B,CAC3B,CAAC;IACF,MAAM,EAAE,aAAa,EAAE,GAAG,EAAE,eAAe,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC7D,MAAM,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAChC,MAAM,UAAU,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;IACzC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,GAAG,UAAU,CAAC;AACpD,CAAC;AAED,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E;;;;;GAKG;AACH,gBAAgB;AAChB,MAAM,UAAU,gCAAgC;IAC9C,OAAO,oBAAoB,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC;AAChF,CAAC;AAqBD,MAAM,mBAAmB,GAAoB;IAC3C,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,MAAM,YAAY,GAAoB;IACpC,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,KAAK;IACX,6EAA6E;IAC7E,yEAAyE;IACzE,GAAG,EAAE,YAAY;IACjB,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF,MAAM,qBAAqB,GAAoB;IAC7C,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,yCAAyC;IAC/C,sEAAsE;IACtE,GAAG,EAAE,EAAE,CAAC,EAAE,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,EAAE;IACrD,QAAQ,EAAE,QAAQ;CACnB,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAA0B;IACpE,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,mBAAmB;IAC3B,OAAO,EAAE,YAAY;IACrB,UAAU,EAAE,qBAAqB;IACjC,OAAO,EAAE,OAAO;IAChB,QAAQ,EAAE,WAAW;CACtB,CAAC"}

package/dist/bridges/gravitational-lensing.d.ts

@@ -1,73 +0,0 @@
-/**
- * BE-?? Gravitational Lensing — Eddington 1919 weak-field deflection.
- *
- * Closed-form deflection of light by a point mass under the weak-field
- * (post-Newtonian) approximation:
- *
- *   α = 4 G M / (b c²)
- *
- * where
- *   G  = 6.6743 × 10⁻¹¹ m³ kg⁻¹ s⁻²  (CODATA 2018)
- *   c  = 299792458 m s⁻¹               (exact SI)
- *   M  = lensing mass (kg)
- *   b  = impact parameter (m)
- *   α  = deflection angle (rad)
- *
- * The 1919 eclipse expedition measured α for grazing solar rays ≈ 1.75 arcsec,
- * confirming GR's prediction (2× the Newtonian value).
- *
- * Domain: b > 0. Weak-field validity: b ≫ r_Schwarzschild = 2GM/c².
- * For sub-Schwarzschild impact parameters the full geodesic integrator
- * (src/numerical/geodesic-integrator.ts) is required.
- *
- * @module bridges/gravitational-lensing
- */
-/**
- * Inputs to `evaluateGravitationalLensing` (BE-51).
- *
- * @internal
- */
-export interface GravitationalLensingInputs {
-    /** Lensing mass in kilograms. */
-    readonly M_kg: number;
-    /** Impact parameter in metres.  Must be strictly positive. */
-    readonly b_m: number;
-}
-/**
- * Result of `evaluateGravitationalLensing` (BE-51).
- *
- * @internal
- */
-export interface GravitationalLensingResult {
-    /** Deflection angle in radians: α = 4GM/(bc²). */
-    readonly alpha_rad: number;
-    /** Deflection angle in arc-seconds (α_rad × 180/π × 3600). */
-    readonly alpha_arcsec: number;
-    /** Echo of the input lensing mass (kg). */
-    readonly M_kg: number;
-    /** Echo of the input impact parameter (m). */
-    readonly b_m: number;
-}
-/**
- * Evaluate the Eddington 1919 gravitational lensing deflection angle
- * for a point mass M at impact parameter b.
- *
- * Closed-form formula: `α = 4 G M / (b c²)`.
- *
- * @param inputs - `{ M_kg, b_m }`:
- *   - `M_kg` — lensing (point) mass in **kilograms** (SI). Must be finite;
- *     no positivity check (a negative mass yields a negative deflection by
- *     the linear formula, which the caller may exploit for symmetry tests).
- *   - `b_m` — impact parameter (closest approach distance) in **metres**
- *     (SI). Must be strictly positive.
- * @returns `{ alpha_rad, alpha_arcsec, M_kg, b_m }`:
- *   - `alpha_rad` — deflection angle in **radians** (dimensionless SI).
- *   - `alpha_arcsec` — deflection angle in **arc-seconds**
- *     (1 rad = 180/π × 3600 ≈ 206264.806 arcsec).
- *   - `M_kg`, `b_m` — input echoes (same units as above).
- * @throws {RangeError} if `b_m ≤ 0`.
- *
- * @internal
- */
-export declare function evaluateGravitationalLensing(inputs: GravitationalLensingInputs): GravitationalLensingResult;
-//# sourceMappingURL=gravitational-lensing.d.ts.map

package/dist/bridges/gravitational-lensing.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"gravitational-lensing.d.ts","sourceRoot":"","sources":["../../src/bridges/gravitational-lensing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAOH;;;;GAIG;AACH,MAAM,WAAW,0BAA0B;IACzC,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,MAAM,WAAW,0BAA0B;IACzC,kDAAkD;IAClD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,8DAA8D;IAC9D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,0BAA0B,GACjC,0BAA0B,CAU5B"}

package/dist/bridges/gravitational-lensing.js

@@ -1,59 +0,0 @@
-/**
- * BE-?? Gravitational Lensing — Eddington 1919 weak-field deflection.
- *
- * Closed-form deflection of light by a point mass under the weak-field
- * (post-Newtonian) approximation:
- *
- *   α = 4 G M / (b c²)
- *
- * where
- *   G  = 6.6743 × 10⁻¹¹ m³ kg⁻¹ s⁻²  (CODATA 2018)
- *   c  = 299792458 m s⁻¹               (exact SI)
- *   M  = lensing mass (kg)
- *   b  = impact parameter (m)
- *   α  = deflection angle (rad)
- *
- * The 1919 eclipse expedition measured α for grazing solar rays ≈ 1.75 arcsec,
- * confirming GR's prediction (2× the Newtonian value).
- *
- * Domain: b > 0. Weak-field validity: b ≫ r_Schwarzschild = 2GM/c².
- * For sub-Schwarzschild impact parameters the full geodesic integrator
- * (src/numerical/geodesic-integrator.ts) is required.
- *
- * @module bridges/gravitational-lensing
- */
-// Numerical SI constants — canonical CODATA 2018 / exact-SI values from
-// src/core/constants.ts (v0.5.1 PC-1 canonicalization). NOT the dimensional
-// Dimension objects from src/dimensional/constants.ts.
-import { C_SI as c_SI, G_SI } from '../core/constants.js';
-/**
- * Evaluate the Eddington 1919 gravitational lensing deflection angle
- * for a point mass M at impact parameter b.
- *
- * Closed-form formula: `α = 4 G M / (b c²)`.
- *
- * @param inputs - `{ M_kg, b_m }`:
- *   - `M_kg` — lensing (point) mass in **kilograms** (SI). Must be finite;
- *     no positivity check (a negative mass yields a negative deflection by
- *     the linear formula, which the caller may exploit for symmetry tests).
- *   - `b_m` — impact parameter (closest approach distance) in **metres**
- *     (SI). Must be strictly positive.
- * @returns `{ alpha_rad, alpha_arcsec, M_kg, b_m }`:
- *   - `alpha_rad` — deflection angle in **radians** (dimensionless SI).
- *   - `alpha_arcsec` — deflection angle in **arc-seconds**
- *     (1 rad = 180/π × 3600 ≈ 206264.806 arcsec).
- *   - `M_kg`, `b_m` — input echoes (same units as above).
- * @throws {RangeError} if `b_m ≤ 0`.
- *
- * @internal
- */
-export function evaluateGravitationalLensing(inputs) {
-    const { M_kg, b_m } = inputs;
-    if (!(b_m > 0)) {
-        throw new RangeError(`evaluateGravitationalLensing: b_m must be positive (got ${b_m})`);
-    }
-    const alpha_rad = (4 * G_SI * M_kg) / (b_m * c_SI * c_SI);
-    const alpha_arcsec = alpha_rad * (180 / Math.PI) * 3600;
-    return { alpha_rad, alpha_arcsec, M_kg, b_m };
-}
-//# sourceMappingURL=gravitational-lensing.js.map