universal-physics-tensor 7.0.0 → 9.0.0

package/dist/bridges/equations/be-37-shapiro-delay.js

@@ -1,420 +0,0 @@
-/**
- * Bridge Equation 37 — Variable Speed of Light Cosmology
- * (Shapiro gravitational time-delay reformulation).
- *
- * **Original (operationally-meaningless) form.** Wave R disposition
- * 2026-05-05 marked BE-37 `status='invalid'` because the ansatz
- *
- *   c(t,x) ≠ const
- *
- * is operationally meaningless per Ellis-Uzan 2005 (*Am. J. Phys.*
- * 73:240, arXiv:gr-qc/0305099 "c is the speed of light, isn't it?"):
- * the speed of light c is *defined* as a constant in SI units (since
- * the 1983 metre redefinition), so any "varying c" in vacuum is just
- * a rescaling of other constants and cannot have observable
- * consequences independent of those constants. The Albrecht-Magueijo
- * 1999 / Moffat 1993 / Barrow 1999 specific VSL ansätze were
- * non-equivalent and the R2-R3 disposition correctly preserved the
- * gap rather than pick one arbitrarily.
- *
- * **Encoded reformulation (Shapiro gravitational time-delay).** Wave
- * Z-F applies the canonical literature replacement identified by
- * OpenAI o3 in the Wave-Z reopened deferred-bridges consultation
- * (2026-05-11): replace the vacuum-c-variation ansatz with the
- * canonical **Shapiro delay** — the gravitationally-induced coordinate-
- * time delay of light passing near a massive body:
- *
- *   **Δt = (2 G M / c³) · ln(R_far / R_near)**
- *
- * This is the operationally-meaningful "effective c-variation"
- * that survives the Ellis-Uzan critique: c is *locally* always c, but
- * the integrated path-time over a gravitational potential well differs
- * from the flat-space value by a measurable amount. Shapiro 1964
- * predicted the effect from general relativity; Cassini 2003 measured
- * it to ~10⁻⁵ precision (Bertotti-Iess-Tortora 2003 *Nature*
- * 425:374), confirming Einstein's general relativity to that level.
- *
- * The bridge label is preserved: "modified gravitational/cosmological
- * effects on light propagation," now grounded in a canonical,
- * experimentally-confirmed relation rather than a non-falsifiable
- * vacuum-c-variation.
- *
- * **Dimensional analysis.**
- *   - G has dim `[L³ M⁻¹ T⁻²]`.
- *   - M has dim `[M]`.
- *   - c has dim `[L T⁻¹]`; c³ has dim `[L³ T⁻³]`.
- *   - 2GM/c³ has dim `[L³ M⁻¹ T⁻²] · [M] / [L³ T⁻³] = [T³/T²] = [T]` ✓
- *   - R_far/R_near is dimensionless `[1]`.
- *   - ln(R_far/R_near) is dimensionless `[1]` (log of dimensionless).
- *   - Product Δt: `[T] · [1] = [T]` = `[time]` ✓.
- *
- * **AST encoding pattern (typed integer-2 + log-stub).** The integer
- * factor 2 is a dimensionless constant. The log argument `R_far/R_near`
- * is a dimensionless ratio of two lengths — encoded as a separate
- * lemma exposing the dimensional-consistency of the argument (per
- * the dimensionless-stub convention, same as BE-45 log-ratio idiom).
- * The log itself is replaced by a fresh dimensionless symbol stub
- * `ln_R_ratio`.
- *
- * Bracket-checks (numerical evaluator, one-way form `2GM/c³·ln(R_far/R_near)`):
- *   - Sun mass M_sun = 1.989e30 kg, R_far = 1 AU, R_near = R_sun:
- *     2GM_sun/c³ ≈ 9.85 μs (Schwarzschild light-travel-time scale);
- *     ln(1.496e11 / 6.957e8) ≈ 5.37 (ratio ≈ 215);
- *     Δt_one-way ≈ 9.85 μs · 5.37 ≈ 53 μs.
- *   - Historical Shapiro 1964 round-trip radar measurement: the
- *     ROUND-TRIP delay uses 4GM/c³ (not 2GM/c³) and the canonical
- *     log argument `((r1+r2+R)/(r1+r2-R))` for the radar geometry,
- *     giving ~240 μs for Mercury superior-conjunction (Shapiro
- *     1964 PRL 13:789). The encoded ONE-WAY form here is half the
- *     round-trip coefficient and uses a simpler log argument
- *     suitable for a single-leg light path; the two values are NOT
- *     directly comparable.
- *   - Cassini 2003 measurement: γ to ~10⁻⁵ precision (Bertotti-
- *     Iess-Tortora 2003 *Nature* 425:374); confirms GR-canonical
- *     γ = 1 in the encoded coefficient.
- *
- * References:
- *   - Shapiro 1964 *Phys. Rev. Lett.* 13:789 (original prediction of
- *     gravitational time-delay).
- *   - Will 1981/2014 *Theory and Experiment in Gravitational
- *     Physics* (canonical textbook on the PPN framework and γ
- *     parameter).
- *   - Bertotti, Iess & Tortora 2003 *Nature* 425:374 (Cassini
- *     solar-conjunction measurement of γ to ~10⁻⁵).
- *   - Ellis & Uzan 2005 *Am. J. Phys.* 73:240 (arXiv:gr-qc/0305099,
- *     "c is the speed of light, isn't it?" — the critique that
- *     motivated reformulation away from vacuum-c-variation).
- *   - Albrecht & Magueijo 1999 (arXiv:astro-ph/9811018) — historical:
- *     one of the original VSL cosmology proposals; now dropped.
- *   - Moffat 1993 (arXiv:gr-qc/9211020); Barrow 1999 (arXiv:astro-ph/9811022);
- *     Magueijo 2003 *Rep. Prog. Phys.* 66:2025 — historical VSL
- *     literature retained for context.
- *
- * Status: speculative — REFORMULATED from 'invalid'.
- *
- * Honest-claude scope notes:
- *   - The reformulation REPLACES the operationally-meaningless
- *     `c(t,x) ≠ const` vacuum ansatz with the Shapiro delay, the
- *     canonical operationally-meaningful gravitational "effective-c"
- *     effect. Same precedent as Wave P-D R-D2 BE-25 (Penrose-Hameroff
- *     → IIT) and Wave Z-E BE-16 (Complexity-Entropy → Landauer).
- *   - The Shapiro delay is general-relativistic gravitational physics
- *     — it is NOT a "varying c" in any fundamental sense. Light always
- *     travels at c locally; the delay arises from the integrated path
- *     length / coordinate-time effects in curved spacetime.
- *     Status `'speculative'` is for the **bridge framing** (treating
- *     Shapiro delay as the UPT VSL-cosmology bridge), NOT for the
- *     Shapiro delay itself, which is canonical and experimentally
- *     confirmed.
- *   - The Albrecht-Magueijo / Moffat / Barrow vacuum-c-variation
- *     proposals are NOT recovered by this reformulation — they
- *     remain non-equivalent, non-falsifiable, and Ellis-Uzan-critique-
- *     vulnerable. The reformulation explicitly drops the
- *     vacuum-c-variation claim in favor of the operational
- *     gravitational-c-effect.
- *   - The PPN parameter γ (where γ = 1 in GR; experimental measurement
- *     constrains |γ - 1| < 2.3e-5 per Bertotti-Iess-Tortora 2003) is
- *     NOT in the encoded scalar — the encoded form is the GR-canonical
- *     coefficient `2GM/c³` (i.e., γ = 1). A more general PPN
- *     encoding would include `(1+γ) GM/c³` instead.
- *   - The full Shapiro-delay formula includes log of a path-dependent
- *     ratio (R_far / R_near where R_far, R_near are radial distances
- *     from the gravitating mass). The encoded form treats both as
- *     dimensionless ratios.
- *   - **Gemini Pro cross-validation note (2026-05-11):** the Shapiro
- *     delay manifests as an *apparent* coordinate-time slowdown of
- *     light as it traverses curved spacetime (a Schwarzschild
- *     gravitational well). It does NOT imply a variation in the
- *     fundamental constant `c` as measured by any **local inertial
- *     observer** — by Einstein's equivalence principle, every local
- *     observer measures the speed of light to be exactly `c` in their
- *     own inertial frame. The "effective c < c" interpretation is a
- *     coordinate-system artifact in the global Schwarzschild frame,
- *     not a physical local effect. This distinction is what makes
- *     Shapiro delay survive the Ellis-Uzan critique: vacuum
- *     c(t,x)-variation is operationally meaningless precisely because
- *     it conflates the local-measurement and coordinate-system
- *     pictures. Both OpenAI o3 and Gemini Pro verdicted this
- *     reformulation STRONGLY-DEFENSIBLE.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 37")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 37)
- * @module bridges/equations/be-37-shapiro-delay
- */
-import { DIMENSIONLESS, TIME, MASS, LENGTH, } from '../../dimensional/types.js';
-import { G, c } from '../../dimensional/constants.js';
-import { tsym, contract } from '../../dimensional/tensor.js';
-import { metric, pderiv } from '../../dimensional/metric.js';
-import { evaluateNumerical } from '../../numerical/index.js';
-import { integrateRK4 } from '../../numerical/null-ray-integrator.js';
-import { C_SI, G_SI } from '../../core/constants.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-// --- Symbolic AST ---
-/** Symbol: Newton's gravitational constant G. Dim `[L³ M⁻¹ T⁻²]`. */
-export const BE37_G = sym('G', G);
-/** Symbol: gravitating-body mass M. Dim `[mass]`. */
-export const BE37_M = sym('M', MASS);
-/** Symbol: speed of light c. Dim `[velocity]` = `[L T⁻¹]`. */
-export const BE37_C = sym('c', c);
-/** Symbol: dimensionless integer factor 2. */
-const BE37_TWO = sym('2', DIMENSIONLESS);
-/** Symbol: dimensionless integer-3 exponent for c³. */
-const THREE_EXP = sym('3', DIMENSIONLESS);
-/**
- * Lemma AST: `c³` (dim `[L³ T⁻³]`).
- *
- * Exposed as a separate node for clarity in the prefactor expression.
- */
-export const BE37_C_CUBED = {
-    kind: 'op', op: '^',
-    args: [BE37_C, THREE_EXP],
-};
-/**
- * Lemma AST: the prefactor `2GM/c³` (dim `[T]`).
- *
- * This is the "time-scale" associated with the Schwarzschild radius
- * of the gravitating mass: 2GM/c² is the Schwarzschild diameter (a
- * length), and dividing by c gives the corresponding light-travel
- * time-scale. For the Sun: 2 G M_sun / c³ ≈ 9.85 μs.
- */
-export const BE37_PREFACTOR = {
-    kind: 'op', op: '/',
-    args: [
-        {
-            kind: 'op', op: '*',
-            args: [BE37_TWO, {
-                    kind: 'op', op: '*',
-                    args: [BE37_G, BE37_M],
-                }],
-        },
-        BE37_C_CUBED,
-    ],
-};
-/** Symbol: outer radial distance R_far. Dim `[length]`. */
-export const BE37_R_FAR = sym('R_far', LENGTH);
-/** Symbol: inner radial distance R_near. Dim `[length]`. */
-export const BE37_R_NEAR = sym('R_near', LENGTH);
-/**
- * Lemma AST: the log argument `R_far / R_near` (DIMENSIONLESS — ratio
- * of two lengths).
- *
- * Exposed for the lemma test that verifies the argument is
- * dimensionless (per the dimensionless-stub convention; same idiom as
- * BE-45 `BE45_LOG_RATIO_ARG_MP_HINF`).
- */
-export const BE37_LOG_RATIO_ARG = {
-    kind: 'op', op: '/',
-    args: [BE37_R_FAR, BE37_R_NEAR],
-};
-/**
- * The `ln(R_far/R_near)` factor, encoded faithfully with the `transcendental`
- * grammar node (v0.18) so the inner radial distances R_far / R_near are visible
- * to differentiation — `bridgeGradientAST('BE-37', 'R_far'/'R_near', …)` now
- * gives the exact ∂Δt/∂R. `ln` of a DIMENSIONLESS argument is DIMENSIONLESS, so
- * the inferred RHS dimension (and the round-trip dimensional_signature) is
- * unchanged from the former `ln_R_ratio` symbol stub.
- */
-export const BE37_LOG_FACTOR = {
-    kind: 'transcendental',
-    fn: 'ln',
-    arg: BE37_LOG_RATIO_ARG,
-};
-/**
- * RHS of `Δt = (2GM/c³) · ln(R_far/R_near)` as a typed ExprNode tree:
- *
- *   (2GM/c³) · ln_R_ratio
- *
- * Dim: `[T] · [1] = [T]`.
- */
-export const BE37_SHAPIRO_DELAY_RHS = {
-    kind: 'op', op: '*',
-    args: [BE37_PREFACTOR, BE37_LOG_FACTOR],
-};
-/** LHS: Δt is a time delay. Dim `[time]`. */
-/** @internal */
-export const BE37_SHAPIRO_DELAY_LHS = sym('Delta_t', TIME);
-/**
- * Evaluate the Shapiro gravitational time-delay:
- *
- *   Δt = (2 G M / c³) · ln(R_far / R_near)
- *
- * @returns Time delay in seconds (one-way, GR-canonical γ=1 form).
- *   For the Sun (M_sun = 1.989e30 kg) with light passing from 1 AU
- *   to grazing R_sun, Δt_one-way ≈ 53 μs. The historical Shapiro
- *   1964 round-trip experiment gives ~240 μs for similar geometry
- *   (uses 4GM/c³ + radar-bounce log argument), not directly
- *   comparable to this one-way encoding.
- */
-export function evaluateShapiroDelay(input) {
-    // Per-field finiteness + positivity via helper. The cross-field
-    // R_near ≤ R_far constraint (bespoke domain prose) stays inline.
-    validateFiniteInputs(input, [
-        { name: 'M_kg', min: 0, excludeMin: true },
-        { name: 'R_far_m', min: 0, excludeMin: true },
-        { name: 'R_near_m', min: 0, excludeMin: true },
-    ], 'evaluateShapiroDelay');
-    const { M_kg, R_far_m, R_near_m } = input;
-    if (R_near_m > R_far_m) {
-        throw new RangeError(`evaluateShapiroDelay: R_near_m (${R_near_m}) must be ≤ R_far_m (${R_far_m}); ratio inside ln must be ≥ 1`);
-    }
-    return ((2 * G_SI * M_kg) / Math.pow(C_SI, 3)) * Math.log(R_far_m / R_near_m);
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; LHS and RHS should
- * both be `[time]` = `[T]`.
- */
-/** @internal */
-export function validateBE37Dimensions() {
-    return validateBEDimensions(BE37_SHAPIRO_DELAY_LHS, BE37_SHAPIRO_DELAY_RHS, 'BE37');
-}
-// ---------------------------------------------------------------------------
-// v0.3.0 structural form (eikonal null-geodesic):  g^μν (∂_μ S)(∂_ν S) = 0
-// ---------------------------------------------------------------------------
-//
-// The Shapiro delay scalar above is the integrated first-order solution of
-// this equation in the weak-field Schwarzschild metric. The structural form
-// exposes the tensor-structural ORIGIN of that scalar; the original scalar
-// exports (BE37_SHAPIRO_DELAY_LHS / _RHS / validateBE37Dimensions) are
-// retained for numerical-evaluator continuity. Per Part-VIII §VIII.8 and
-// docs/planning/v0.3.0-Bridge-Selection.md.
-//
-// Encoding-choice trade-off: the decision record's sketch raised one
-// gradient via `raise(dmu_S, g_inverse, 'μ')` and then contracted with
-// `dnu_S`. That path is correct in spirit but trips on raise()'s internal
-// alpha-conversion: the inverse metric's surviving label is renamed to a
-// FRESH non-colliding label (e.g., `ν_1`), so the subsequent contract()
-// with `dnu_S`'s `ν` does NOT pair up — the result has two free indices,
-// not a scalar. The mathematically natural form is the DIRECT contraction
-// `contract(g_inverse, dmu_S, dnu_S)`: g^μν's two upper indices pair
-// directly with the two gradients' lower indices in one tensor-product,
-// producing a scalar. The `raise()` primitive is exercised independently
-// in tests/dimensional/raise-lower.test.ts; this bridge demonstrates
-// metric + pderiv + contraction in the cleanest possible form.
-//
-// Forward-compat anchor: v0.4.0 will swap `pderiv` for the covariant
-// derivative `∇_μ`; the outer encoding structure here is preserved.
-/** Eikonal phase S has dim [length] in geometrized units (∂_μ S = k_μ,
- *  the wave-4-covector). */
-const EIKONAL_PHASE_DIM = LENGTH;
-/** Schwarzschild metric components are dimensionless in the (−,+,+,+)
- *  signature with coordinates carrying [length]. */
-const METRIC_COMPONENT_DIM = DIMENSIONLESS;
-/** Coordinate basis used as `wrt` for pderiv; carries dim [length]. */
-const x_coord = tsym('x', [{ label: 'α', variance: 'upper' }], LENGTH, 'coordinate');
-/** Inverse metric g^μν (rank-2, both upper). */
-const g_inverse_eikonal = metric('g_inverse', [
-    { label: 'μ', variance: 'upper' },
-    { label: 'ν', variance: 'upper' },
-], METRIC_COMPONENT_DIM, '-,+,+,+');
-/** Eikonal phase scalar field S(x), rank-0, dim [length]. */
-const S_eikonal = tsym('S', [], EIKONAL_PHASE_DIM);
-/** ∂_μ S — rank-1 covariant gradient; dim = LENGTH/LENGTH = DIMENSIONLESS. */
-const dmu_S = pderiv(S_eikonal, x_coord, { label: 'μ', variance: 'lower' });
-/** ∂_ν S — rank-1 covariant gradient; dim DIMENSIONLESS. */
-const dnu_S = pderiv(S_eikonal, x_coord, { label: 'ν', variance: 'lower' });
-/**
- * Eikonal LHS:  g^μν (∂_μ S)(∂_ν S).
- *
- * Direct contraction — μ pairs (upper from g_inverse, lower from dmu_S),
- * ν pairs (upper from g_inverse, lower from dnu_S). Result is a scalar
- * with dim DIMENSIONLESS · DIMENSIONLESS · DIMENSIONLESS = DIMENSIONLESS.
- */
-/** @internal */
-export const BE37_EIKONAL_LHS = contract(g_inverse_eikonal, dmu_S, dnu_S);
-/**
- * Eikonal RHS:  the literal dimensionless 'zero' symbol (null-geodesic
- * condition). Same idiom as other zero-RHS bridges (e.g., BE-36).
- */
-export const BE37_EIKONAL_RHS_ZERO = {
-    kind: 'symbol',
-    name: 'zero',
-    dim: DIMENSIONLESS,
-};
-/**
- * Per-bridge dimensional self-check for the v0.3.0 eikonal structural
- * form. Both sides should be DIMENSIONLESS.
- */
-/** @internal */
-export function validateBE37EikonalDimensions() {
-    return validateBEDimensions(BE37_EIKONAL_LHS, BE37_EIKONAL_RHS_ZERO, 'BE37_eikonal');
-}
-/**
- * Build NumericalInputs for lowering BE37_EIKONAL_LHS = contract(g_inverse,
- * ∂_μ S, ∂_ν S) at a representative radius `r`.
- *
- * - g_inverse: weak-field Schwarzschild inverse metric, diagonal, signature
- *   (−,+,+,+). Φ = G M / (c² r) is the dimensionless potential:
- *     g^tt = −1/(1+2Φ),  g^rr = 1+2Φ  (weak-field, first order),
- *     g^θθ = g^φφ = 1    (angular parts irrelevant for a radial ray).
- * - ∂_μ S = ∂_ν S = k_μ, the null wave-covector for a RADIAL ray:
- *   k_μ = (k_t, k_r, 0, 0) chosen so g^tt k_t² + g^rr k_r² = 0, i.e.
- *   k_t = 1, k_r = sqrt(−g^tt / g^rr). By construction g^μν k_μ k_ν = 0 —
- *   which is exactly the point: the lowered eikonal residual being 0 to
- *   machine precision PROVES the metric + pderiv + contraction AST lowers
- *   and einsum-contracts correctly.
- *
- * S has numericalForm 'symbolic' (default — S_eikonal carries no
- * numericalForm field), so ∂_μ S / ∂_ν S are supplied explicitly via
- * inputs.derivatives, keyed `${ofName}/${wrtLabel}` ⇒ 'S/μ' and 'S/ν'
- * (S is rank-0, so each is a length-4 vector — shape [...ofShape=[], N=4]).
- */
-function buildSchwarzschildEikonalInputs(r, G_SI, c_SI, M_kg) {
-    const Phi = (G_SI * M_kg) / (c_SI * c_SI * r); // dimensionless potential
-    const gtt = -1 / (1 + 2 * Phi);
-    const grr = 1 + 2 * Phi;
-    const gInverse = [
-        [gtt, 0, 0, 0],
-        [0, grr, 0, 0],
-        [0, 0, 1, 0],
-        [0, 0, 0, 1],
-    ];
-    // Null radial wave-covector: g^tt k_t² + g^rr k_r² = 0.
-    const kMu = [1, Math.sqrt(-gtt / grr), 0, 0];
-    return {
-        tensors: new Map([['g_inverse', gInverse]]),
-        derivatives: new Map([['S/μ', kMu], ['S/ν', kMu]]),
-        dimension: 4,
-    };
-}
-/**
- * BE-37 end-to-end numerical evaluator (v0.3.5-Design.md §8).
- *
- * Part (a): lower BE37_EIKONAL_LHS with concrete weak-field Schwarzschild
- * g^μν components + a null wave-covector and confirm the eikonal residual
- * g^μν ∂_μS ∂_νS ≈ 0 — proves the v0.3.0 metric + pderiv + contraction
- * ASTs lower and contract numerically.
- *
- * Part (b): RK4-integrate the Shapiro coordinate-time delay along the
- * radial null ray and cross-check against the closed-form
- * evaluateShapiroDelay().
- */
-export async function evaluateBE37EikonalNumerical() {
-    // v0.5.1 PC-1: canonical constants from src/core/constants.ts — both
-    // evaluateShapiroDelay above and this evaluator now read the SAME source
-    // of truth, eliminating the prior local-literal duplication.
-    const scenario = {
-        M_kg: 1.989e30, // solar mass
-        R_far_m: 1.5e11, // ~1 AU
-        R_near_m: 1.0e9, // inner radius (R_near_m ≤ R_far_m, required)
-    };
-    const { M_kg, R_far_m, R_near_m } = scenario;
-    const k = (2 * G_SI * M_kg) / (C_SI * C_SI * C_SI); // 2GM/c³  [seconds]
-    // --- Part (a): lower BE37_EIKONAL_LHS with concrete Schwarzschild g^μν ---
-    const rMid = 0.5 * (R_near_m + R_far_m);
-    const inputs = buildSchwarzschildEikonalInputs(rMid, G_SI, C_SI, M_kg);
-    const eikonal = await evaluateNumerical(BE37_EIKONAL_LHS, inputs);
-    const eikonalResidual = eikonal.value;
-    // --- Part (b): RK4-integrate the Shapiro delay along the radial null ray.
-    // r(λ) = R_near + λ·(R_far − R_near), λ ∈ [0,1].
-    // d(Δt)/dλ = (2GM/c³)·(R_far − R_near)/r(λ)  ⇒  Δt = (2GM/c³)·ln(R_far/R_near).
-    const dr = R_far_m - R_near_m;
-    const integrated = integrateRK4((lambda) => {
-        const r = R_near_m + lambda * dr;
-        return [(k * dr) / r];
-    }, [0], 0, 1, 4096);
-    const integratedDelay = integrated[0];
-    const closedFormDelay = evaluateShapiroDelay(scenario);
-    return { eikonalResidual, integratedDelay, closedFormDelay, scenario };
-}
-//# sourceMappingURL=be-37-shapiro-delay.js.map

package/dist/bridges/equations/be-37-shapiro-delay.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-37-shapiro-delay.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-37-shapiro-delay.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8IG;AAQH,OAAO,EAEL,aAAa,EACb,IAAI,EACJ,IAAI,EACJ,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,gCAAgC,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AACtE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB,qEAAqE;AACrE,MAAM,CAAC,MAAM,MAAM,GAAa,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAE5C,qDAAqD;AACrD,MAAM,CAAC,MAAM,MAAM,GAAa,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAE/C,8DAA8D;AAC9D,MAAM,CAAC,MAAM,MAAM,GAAa,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAE5C,8CAA8C;AAC9C,MAAM,QAAQ,GAAa,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;AAEnD,uDAAuD;AACvD,MAAM,SAAS,GAAa,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;AAEpD;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;CAC1B,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,QAAQ,EAAE;oBACf,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;iBACvB,CAAC;SACH;QACD,YAAY;KACb;CACF,CAAC;AAEF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,UAAU,GAAa,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAEzD,4DAA4D;AAC5D,MAAM,CAAC,MAAM,WAAW,GAAa,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAE3D;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC;CAChC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,gBAAgB;IACtB,EAAE,EAAE,IAAI;IACR,GAAG,EAAE,kBAAkB;CACxB,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,cAAc,EAAE,eAAe,CAAC;CACxC,CAAC;AAEF,6CAA6C;AAC7C,gBAAgB;AAChB,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAarE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAoB;IACvD,gEAAgE;IAChE,iEAAiE;IACjE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC1C,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC7C,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC/C,EACD,sBAAsB,CACvB,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAC1C,IAAI,QAAQ,GAAG,OAAO,EAAE,CAAC;QACvB,MAAM,IAAI,UAAU,CAClB,mCAAmC,QAAQ,wBAAwB,OAAO,gCAAgC,CAC3G,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC;AAChF,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;AACtF,CAAC;AAED,8EAA8E;AAC9E,2EAA2E;AAC3E,8EAA8E;AAC9E,EAAE;AACF,2EAA2E;AAC3E,4EAA4E;AAC5E,2EAA2E;AAC3E,uEAAuE;AACvE,yEAAyE;AACzE,4CAA4C;AAC5C,EAAE;AACF,qEAAqE;AACrE,uEAAuE;AACvE,0EAA0E;AAC1E,yEAAyE;AACzE,wEAAwE;AACxE,yEAAyE;AACzE,0EAA0E;AAC1E,qEAAqE;AACrE,wEAAwE;AACxE,yEAAyE;AACzE,qEAAqE;AACrE,+DAA+D;AAC/D,EAAE;AACF,qEAAqE;AACrE,oEAAoE;AAEpE;4BAC4B;AAC5B,MAAM,iBAAiB,GAAc,MAAM,CAAC;AAE5C;oDACoD;AACpD,MAAM,oBAAoB,GAAc,aAAa,CAAC;AAEtD,uEAAuE;AACvE,MAAM,OAAO,GAAqB,IAAI,CACpC,GAAG,EACH,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EACnC,MAAM,EACN,YAAY,CACb,CAAC;AAEF,gDAAgD;AAChD,MAAM,iBAAiB,GAAqB,MAAM,CAChD,WAAW,EACX;IACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;IACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;CAClC,EACD,oBAAoB,EACpB,SAAS,CACV,CAAC;AAEF,6DAA6D;AAC7D,MAAM,SAAS,GAAqB,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC;AAErE,8EAA8E;AAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AAE5E,4DAA4D;AAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AAE5E;;;;;;GAMG;AACH,gBAAgB;AAChB,MAAM,CAAC,MAAM,gBAAgB,GAAa,QAAQ,CAAC,iBAAiB,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAEpF;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,MAAM;IACZ,GAAG,EAAE,aAAa;CACnB,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,6BAA6B;IAC3C,OAAO,oBAAoB,CAAC,gBAAgB,EAAE,qBAAqB,EAAE,cAAc,CAAC,CAAC;AACvF,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,+BAA+B,CACtC,CAAS,EAAE,IAAY,EAAE,IAAY,EAAE,IAAY;IAEnD,MAAM,GAAG,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,0BAA0B;IACzE,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IACxB,MAAM,QAAQ,GAAG;QACf,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACd,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;QACd,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACZ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;KACb,CAAC;IACF,wDAAwD;IACxD,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,OAAO;QACL,OAAO,EAAE,IAAI,GAAG,CAAqB,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/D,WAAW,EAAE,IAAI,GAAG,CAAmB,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACpE,SAAS,EAAE,CAAC;KACb,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B;IAMhD,qEAAqE;IACrE,yEAAyE;IACzE,6DAA6D;IAC7D,MAAM,QAAQ,GAAkB;QAC9B,IAAI,EAAE,QAAQ,EAAK,aAAa;QAChC,OAAO,EAAE,MAAM,EAAI,QAAQ;QAC3B,QAAQ,EAAE,KAAK,EAAI,8CAA8C;KAClE,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC;IAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,oBAAoB;IAExE,4EAA4E;IAC5E,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,QAAQ,GAAG,OAAO,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,+BAA+B,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;IAClE,MAAM,eAAe,GAAG,OAAO,CAAC,KAAe,CAAC;IAEhD,2EAA2E;IAC3E,iDAAiD;IACjD,gFAAgF;IAChF,MAAM,EAAE,GAAG,OAAO,GAAG,QAAQ,CAAC;IAC9B,MAAM,UAAU,GAAG,YAAY,CAC7B,CAAC,MAAM,EAAE,EAAE;QACT,MAAM,CAAC,GAAG,QAAQ,GAAG,MAAM,GAAG,EAAE,CAAC;QACjC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,CAAC,EACD,CAAC,CAAC,CAAC,EACH,CAAC,EAAE,CAAC,EACJ,IAAI,CACL,CAAC;IACF,MAAM,eAAe,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACtC,MAAM,eAAe,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAEvD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;AACzE,CAAC"}

package/dist/bridges/equations/be-38-mond.d.ts

@@ -1,94 +0,0 @@
-/**
- * Bridge Equation 38 — Modified Newtonian Dynamics (MOND), canonical
- * Milgrom (1983) interpolation form.
- *
- *   F = F_N · ν(z)        where  z = F_N / (m · a_0)
- *   ν(z) = √[(1 + √(1 + 4/z²)) / 2]
- *
- * Equivalent to the implicit Milgrom relation:
- *   μ(a/a_0) · a = a_N    where  μ(x) = x / √(1 + x²)
- *
- * Limits:
- *   - Newtonian (z → ∞):    ν → 1, so F → F_N
- *   - Deep-MOND (z → 0):    ν ~ 1/√z, so F → √(m · F_N · a_0)
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The interpolation function `μ(x) = x/√(1+x²)` and the explicit
- *     ν-form for F/F_N are canonical Milgrom 1983 / Famaey-McGaugh 2012
- *     content; the *bridge framing* (using MOND as a UPT
- *     dark-sector/baryonic-gravity bridge) is the speculative element.
- *   - The AST has no inverse-function primitive for μ⁻¹, so we encode
- *     the explicit force form `F = F_N · ν(z)` with `ν(z)` as an
- *     opaque dimensionless symbol stub. The argument
- *     `z = F_N/(m·a_0)` is exposed as a separate ExprNode
- *     `BE38_MOND_NU_ARG` so its dimensionlessness can be verified
- *     directly (same dimensionless-stub pattern as BE-26 / BE-41).
- *   - The numerical evaluator computes ν(z) explicitly using the
- *     closed form `ν(z) = √[(1+√(1+4/z²))/2]`, so the bracket-checks
- *     are exact (within machine precision).
- *   - GW170817 strongly constrains generic relativistic-MOND completions
- *     (TeVeS gravitational-wave speed deviates from c); see BE-36 for
- *     the relativistic completion bridge and its known issue.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 38: Milgrom MOND interpolation ν(z)")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 38)
- * @module bridges/equations/be-38-mond
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * Lemma AST: the dimensionless ν-argument
- *   z = F_N / (m · a_0)
- *
- * Exposed for the lemma test that verifies the argument is
- * dimensionless (per the dimensionless-stub convention; see
- * `src/dimensional/README.md` "Encoding transcendental functions").
- */
-export declare const BE38_MOND_NU_ARG: ExprNode;
-/**
- * RHS of the Milgrom MOND force law:
- *   F = F_N · ν(z)
- *
- * Encoded as `F_N · ν_stub` where ν_stub is a dimensionless symbol;
- * the argument z is exposed separately as `BE38_MOND_NU_ARG`.
- */
-export declare const BE38_MOND_FORCE_RHS: ExprNode;
-/** LHS: F has dimension [force]. */
-/** @internal */
-export declare const BE38_MOND_FORCE_LHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateMONDForce` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface MONDForceInputs {
-    /** Newtonian force F_N (N). Must be > 0 and finite. */
-    F_N_newton: number;
-    /** Test-particle mass m (kg). Must be > 0 and finite. */
-    m_kg: number;
-    /** MOND scale a_0 (m/s²). Canonical value ≈ 1.2e-10. Must be > 0 and finite. */
-    a_0_m_per_s2: number;
-}
-/**
- * Compute the MOND-modified force using the canonical Milgrom (1983)
- * interpolation `μ(x) = x/√(1+x²)`:
- *
- *   F = F_N · ν(z),  z = F_N / (m · a_0)
- *   ν(z) = √[(1 + √(1 + 4/z²)) / 2]
- *
- * Limits (the closed form; pinned in be-38-encoding.test.ts):
- *   - z → ∞: ν → 1, so F → F_N (Newtonian)
- *   - z → 0: ν ~ 1/√z, so F = F_N·ν → √(m · F_N · a_0) (deep-MOND).
- *     At z = 1e-6 the closed form is about 1000. √(2/z) is about 1414
- *     and is not this expansion.
- *
- * @returns Force in newtons.
- */
-export declare function evaluateMONDForce(input: MONDForceInputs): number;
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [force].
- */
-/** @internal */
-export declare function validateBE38Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-38-mond.d.ts.map

package/dist/bridges/equations/be-38-mond.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-38-mond.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-38-mond.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAS1F;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAY9B,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB,EAAE,QAMjC,CAAC;AAEF,oCAAoC;AACpC,gBAAgB;AAChB,eAAO,MAAM,mBAAmB,EAAE,QAA0B,CAAC;AAI7D;;GAEG;AACH,UAAU,eAAe;IACvB,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;IACnB,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,gFAAgF;IAChF,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAchE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-38-mond.js

@@ -1,114 +0,0 @@
-/**
- * Bridge Equation 38 — Modified Newtonian Dynamics (MOND), canonical
- * Milgrom (1983) interpolation form.
- *
- *   F = F_N · ν(z)        where  z = F_N / (m · a_0)
- *   ν(z) = √[(1 + √(1 + 4/z²)) / 2]
- *
- * Equivalent to the implicit Milgrom relation:
- *   μ(a/a_0) · a = a_N    where  μ(x) = x / √(1 + x²)
- *
- * Limits:
- *   - Newtonian (z → ∞):    ν → 1, so F → F_N
- *   - Deep-MOND (z → 0):    ν ~ 1/√z, so F → √(m · F_N · a_0)
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The interpolation function `μ(x) = x/√(1+x²)` and the explicit
- *     ν-form for F/F_N are canonical Milgrom 1983 / Famaey-McGaugh 2012
- *     content; the *bridge framing* (using MOND as a UPT
- *     dark-sector/baryonic-gravity bridge) is the speculative element.
- *   - The AST has no inverse-function primitive for μ⁻¹, so we encode
- *     the explicit force form `F = F_N · ν(z)` with `ν(z)` as an
- *     opaque dimensionless symbol stub. The argument
- *     `z = F_N/(m·a_0)` is exposed as a separate ExprNode
- *     `BE38_MOND_NU_ARG` so its dimensionlessness can be verified
- *     directly (same dimensionless-stub pattern as BE-26 / BE-41).
- *   - The numerical evaluator computes ν(z) explicitly using the
- *     closed form `ν(z) = √[(1+√(1+4/z²))/2]`, so the bracket-checks
- *     are exact (within machine precision).
- *   - GW170817 strongly constrains generic relativistic-MOND completions
- *     (TeVeS gravitational-wave speed deviates from c); see BE-36 for
- *     the relativistic completion bridge and its known issue.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 38: Milgrom MOND interpolation ν(z)")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 38)
- * @module bridges/equations/be-38-mond
- */
-import { DIMENSIONLESS, ACCELERATION, FORCE, MASS, } from '../../dimensional/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-/**
- * Lemma AST: the dimensionless ν-argument
- *   z = F_N / (m · a_0)
- *
- * Exposed for the lemma test that verifies the argument is
- * dimensionless (per the dimensionless-stub convention; see
- * `src/dimensional/README.md` "Encoding transcendental functions").
- */
-export const BE38_MOND_NU_ARG = {
-    kind: 'op', op: '/',
-    args: [
-        sym('F_N', FORCE),
-        {
-            kind: 'op', op: '*',
-            args: [
-                sym('m', MASS),
-                sym('a_0', ACCELERATION),
-            ],
-        },
-    ],
-};
-/**
- * RHS of the Milgrom MOND force law:
- *   F = F_N · ν(z)
- *
- * Encoded as `F_N · ν_stub` where ν_stub is a dimensionless symbol;
- * the argument z is exposed separately as `BE38_MOND_NU_ARG`.
- */
-export const BE38_MOND_FORCE_RHS = {
-    kind: 'op', op: '*',
-    args: [
-        sym('F_N', FORCE),
-        sym('nu(z)', DIMENSIONLESS),
-    ],
-};
-/** LHS: F has dimension [force]. */
-/** @internal */
-export const BE38_MOND_FORCE_LHS = sym('F', FORCE);
-/**
- * Compute the MOND-modified force using the canonical Milgrom (1983)
- * interpolation `μ(x) = x/√(1+x²)`:
- *
- *   F = F_N · ν(z),  z = F_N / (m · a_0)
- *   ν(z) = √[(1 + √(1 + 4/z²)) / 2]
- *
- * Limits (the closed form; pinned in be-38-encoding.test.ts):
- *   - z → ∞: ν → 1, so F → F_N (Newtonian)
- *   - z → 0: ν ~ 1/√z, so F = F_N·ν → √(m · F_N · a_0) (deep-MOND).
- *     At z = 1e-6 the closed form is about 1000. √(2/z) is about 1414
- *     and is not this expansion.
- *
- * @returns Force in newtons.
- */
-export function evaluateMONDForce(input) {
-    validateFiniteInputs(input, [
-        { name: 'F_N_newton', min: 0, excludeMin: true },
-        { name: 'm_kg', min: 0, excludeMin: true },
-        { name: 'a_0_m_per_s2', min: 0, excludeMin: true },
-    ], 'evaluateMONDForce');
-    const { F_N_newton, m_kg, a_0_m_per_s2 } = input;
-    const z = F_N_newton / (m_kg * a_0_m_per_s2);
-    const nu = Math.sqrt((1 + Math.sqrt(1 + 4 / (z * z))) / 2);
-    return F_N_newton * nu;
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [force].
- */
-/** @internal */
-export function validateBE38Dimensions() {
-    return validateBEDimensions(BE38_MOND_FORCE_LHS, BE38_MOND_FORCE_RHS, 'BE38');
-}
-//# sourceMappingURL=be-38-mond.js.map

package/dist/bridges/equations/be-38-mond.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-38-mond.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-38-mond.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAGH,OAAO,EACL,aAAa,EACb,YAAY,EACZ,KAAK,EACL,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;QACjB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC;aACzB;SACF;KACF;CACF,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;QACjB,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;KAC5B;CACF,CAAC;AAEF,oCAAoC;AACpC,gBAAgB;AAChB,MAAM,CAAC,MAAM,mBAAmB,GAAa,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AAgB7D;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB;IACtD,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAChD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC1C,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KACnD,EACD,mBAAmB,CACpB,CAAC;IACF,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IACjD,MAAM,CAAC,GAAG,UAAU,GAAG,CAAC,IAAI,GAAG,YAAY,CAAC,CAAC;IAC7C,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3D,OAAO,UAAU,GAAG,EAAE,CAAC;AACzB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC;AAChF,CAAC"}