universal-physics-tensor 0.5.0 → 0.7.0

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

@@ -0,0 +1,117 @@
+/**
+ * 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

@@ -0,0 +1 @@
+{"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;AA2B1F;;;;;;;;;;;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

@@ -0,0 +1,213 @@
+/**
+ * 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, } 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
+// ---------------------------------------------------------------------------
+/** Mass-density [M L⁻³] — shared with BE-19's convention. */
+const MASS_DENSITY = {
+    L: -3, M: 1, T: 0, I: 0, Theta: 0, N: 0, J: 0,
+};
+/** [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: { L: -3, M: 1, T: 0, I: 0, Theta: 0, N: 0, J: 0 },
+    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

@@ -0,0 +1 @@
+{"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,GACd,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,6DAA6D;AAC7D,MAAM,YAAY,GAAc;IAC9B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,gEAAgE;AAChE,MAAM,MAAM,GAAc;IACxB,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF,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,EAAE,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,EAAE;IACtD,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

@@ -42,8 +42,19 @@ export interface GravitationalLensingResult {
  * Evaluate the Eddington 1919 gravitational lensing deflection angle
  * for a point mass M at impact parameter b.
  *
- * @param inputs - `{ M_kg, b_m }` — lensing mass and impact parameter.
- * @returns `{ alpha_rad, alpha_arcsec, M_kg, b_m }`.
+ * 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`.
  *
  * @public

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

@@ -1 +1 @@
-{"version":3,"file":"gravitational-lensing.d.ts","sourceRoot":"","sources":["../../src/bridges/gravitational-lensing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAOH,MAAM,WAAW,0BAA0B;IACzC,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,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;;;;;;;;;GASG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,0BAA0B,GACjC,0BAA0B,CAU5B"}
+{"version":3,"file":"gravitational-lensing.d.ts","sourceRoot":"","sources":["../../src/bridges/gravitational-lensing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAOH,MAAM,WAAW,0BAA0B;IACzC,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,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

@@ -22,16 +22,27 @@
  *
  * @module bridges/gravitational-lensing
  */
-// Numerical SI constants — not the dimensional Dimension objects from
-// src/dimensional/constants.ts, which carry only SI dimension signatures.
-const G_SI = 6.6743e-11; // m³ kg⁻¹ s⁻²  (CODATA 2018)
-const c_SI = 2.998e8; // m s⁻¹          (CODATA 2018)
+// 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.
  *
- * @param inputs - `{ M_kg, b_m }` — lensing mass and impact parameter.
- * @returns `{ alpha_rad, alpha_arcsec, M_kg, b_m }`.
+ * 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`.
  *
  * @public

package/dist/bridges/gravitational-lensing.js.map

@@ -1 +1 @@
-{"version":3,"file":"gravitational-lensing.js","sourceRoot":"","sources":["../../src/bridges/gravitational-lensing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,sEAAsE;AACtE,0EAA0E;AAC1E,MAAM,IAAI,GAAG,UAAU,CAAC,CAAE,6BAA6B;AACvD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAK,+BAA+B;AAoBzD;;;;;;;;;GASG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAAkC;IAElC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC;IAC7B,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,UAAU,CAClB,2DAA2D,GAAG,GAAG,CAClE,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,SAAS,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;IACxD,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAChD,CAAC"}
+{"version":3,"file":"gravitational-lensing.js","sourceRoot":"","sources":["../../src/bridges/gravitational-lensing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,wEAAwE;AACxE,4EAA4E;AAC5E,uDAAuD;AACvD,OAAO,EAAE,IAAI,IAAI,IAAI,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAoB1D;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAAkC;IAElC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC;IAC7B,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,UAAU,CAClB,2DAA2D,GAAG,GAAG,CAClE,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,SAAS,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;IACxD,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAChD,CAAC"}

package/dist/bridges/index.d.ts

@@ -22,6 +22,22 @@
  *
  * @module bridges
  */
+/**
+ * Lifecycle status of a bridge equation in the catalog.
+ *
+ * - `established` — entry's physics is anchored to corroborated theory
+ *   AND has independent experimental/observational support.
+ * - `speculative` — physics is plausible but the bridge framing is
+ *   conjectural; not yet anchored to consensus or experiment.
+ * - `highly-speculative` — physics is contested or empirically untested;
+ *   bridge is exploratory only.
+ * - `invalid` — entry is self-refuting or experimentally falsified;
+ *   retained for traceability but excluded from active-research summaries.
+ *
+ * Use `isActiveStatus(status)` to filter out `invalid` entries.
+ *
+ * @public
+ */
 export type BridgeEquationStatus = 'established' | 'speculative' | 'highly-speculative' | 'invalid';
 /**
  * Type predicate: an "active" status is one where the entry is part of
@@ -56,7 +72,7 @@ export type BridgeIssueFixable = 'spec-edit' | 'reformulation' | 'unfixable-must
  *   bridges have explicit tractability_class values from Wave L Tier G2
  *   and Wave Q B1 even without an AST).
  */
-export type BridgeTractabilityClass = 'closed-form' | 'numerical-tractable' | 'numerical-asymptotic' | 'formally-divergent' | 'undefined';
+type BridgeTractabilityClass = 'closed-form' | 'numerical-tractable' | 'numerical-asymptotic' | 'formally-divergent' | 'undefined';
 export interface KnownIssue {
     severity: BridgeIssueSeverity;
     /** Verbatim issue text from the spec (may be paraphrased; cf. source). */
@@ -88,6 +104,29 @@ export interface BridgeEquationEntry {
     dependencies: number[];
     /** SI dimensional signature (null = not yet analyzed; Tier 4 work). */
     dimensional_signature: string | null;
+    /**
+     * What the AST encoding represents when it differs from `formula_latex`.
+     *
+     * Per `docs/architecture/BRIDGE-PHYSICS-AUDIT.md` §1 / "What to do with
+     * this" item 1: the audit's original 11 dimensional-signature
+     * "mislabels" were ALL false positives, retracted on code inspection.
+     * The root cause was judging `dimensional_signature` against
+     * `formula_latex` (the displayed form) when the signature actually
+     * describes the reduced encoded AST (a contraction, a trace, a single
+     * component). This field makes the reduction transparent so future
+     * audits don't repeat the false-finding shape.
+     *
+     * Common reductions:
+     *   - "scalar trace of [tensor equation]"
+     *   - "single component (i, j) of [tensor]"
+     *   - "magnitude / norm of [vector]"
+     *
+     * Leave undefined when the encoded form equals `formula_latex`
+     * exactly (most bridges; no transparency gap).
+     *
+     * @public
+     */
+    encoded_form?: string;
     /**
      * Tractability class — Wave I.B D10 (2026-05-05). Distinguishes
      * closed-form / numerical-tractable / formally-divergent / etc.

package/dist/bridges/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/bridges/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,MAAM,MAAM,oBAAoB,GAC5B,aAAa,GACb,aAAa,GACb,oBAAoB,GACpB,SAAS,CAAC;AAEd;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAC5B,CAAC,EAAE,oBAAoB,GACtB,CAAC,IAAI,OAAO,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAE/C;AAED,MAAM,MAAM,mBAAmB,GAC3B,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,MAAM,GACN,oBAAoB,GACpB,yBAAyB,GACzB,OAAO,CAAC;AAEZ,MAAM,MAAM,kBAAkB,GAC1B,WAAW,GACX,eAAe,GACf,6BAA6B,GAC7B,SAAS,CAAC;AAEd;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,uBAAuB,GAC/B,aAAa,GACb,qBAAqB,GACrB,sBAAsB,GACtB,oBAAoB,GACpB,WAAW,CAAC;AAEhB,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,0EAA0E;IAC1E,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,kBAAkB,CAAC;CAC7B;AAED,MAAM,WAAW,mBAAmB;IAClC,8BAA8B;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,6BAA6B;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,+DAA+D;IAC/D,aAAa,EAAE,MAAM,CAAC;IACtB,oDAAoD;IACpD,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,2DAA2D;IAC3D,OAAO,EAAE,MAAM,CAAC;IAChB,8DAA8D;IAC9D,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,WAAW,EAAE,GAAG,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;IACpD,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,4DAA4D;IAC5D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yEAAyE;IACzE,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,uEAAuE;IACvE,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC;;;;OAIG;IACH,kBAAkB,EAAE,uBAAuB,CAAC;IAC5C,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAC;CACf;AAED,eAAO,MAAM,gBAAgB,EAAE,mBAAmB,EAmlDjD,CAAC;AAMF,OAAO,EACL,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,GAChC,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,GAChC,MAAM,4BAA4B,CAAC;AAEpC,eAAe,gBAAgB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/bridges/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,oBAAoB,GAC5B,aAAa,GACb,aAAa,GACb,oBAAoB,GACpB,SAAS,CAAC;AAEd;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAC5B,CAAC,EAAE,oBAAoB,GACtB,CAAC,IAAI,OAAO,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAE/C;AAED,MAAM,MAAM,mBAAmB,GAC3B,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,MAAM,GACN,oBAAoB,GACpB,yBAAyB,GACzB,OAAO,CAAC;AAEZ,MAAM,MAAM,kBAAkB,GAC1B,WAAW,GACX,eAAe,GACf,6BAA6B,GAC7B,SAAS,CAAC;AAEd;;;;;;;;;;;;;;;;;;GAkBG;AAIH,KAAK,uBAAuB,GACxB,aAAa,GACb,qBAAqB,GACrB,sBAAsB,GACtB,oBAAoB,GACpB,WAAW,CAAC;AAEhB,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,0EAA0E;IAC1E,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,kBAAkB,CAAC;CAC7B;AAED,MAAM,WAAW,mBAAmB;IAClC,8BAA8B;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,6BAA6B;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,+DAA+D;IAC/D,aAAa,EAAE,MAAM,CAAC;IACtB,oDAAoD;IACpD,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,2DAA2D;IAC3D,OAAO,EAAE,MAAM,CAAC;IAChB,8DAA8D;IAC9D,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,WAAW,EAAE,GAAG,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;IACpD,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,4DAA4D;IAC5D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yEAAyE;IACzE,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,uEAAuE;IACvE,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,kBAAkB,EAAE,uBAAuB,CAAC;IAC5C,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAC;CACf;AAED,eAAO,MAAM,gBAAgB,EAAE,mBAAmB,EAqqDjD,CAAC;AAMF,OAAO,EACL,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,GAChC,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,GAChC,MAAM,4BAA4B,CAAC;AAEpC,eAAe,gBAAgB,CAAC"}