universal-physics-tensor 7.0.0 → 9.0.0

package/dist/bridges/equations/be-36-gw-speed-bound.d.ts

@@ -1,90 +0,0 @@
-/**
- * Bridge Equation 36 — GW170817 graviton-speed bound (post Wave Y
- * reformulation).
- *
- *   |c_GW − c| / c  ≤  10⁻¹⁵
- *
- * The empirical constraint from the GW170817 binary-neutron-star
- * merger / GRB170817A coincidence: the gravitational-wave speed and
- * the photon speed agree to ~1 part in 10¹⁵, derived from the 1.74 s
- * arrival-time difference over the CONSERVATIVE 26 Mpc lower distance
- * bound (40 Mpc is the central luminosity distance; the paper's speed
- * constraint uses 26 Mpc — Abbott et al. 2017 *ApJ Lett.* 848:L13 §3;
- * Boran et al. 2018 *Phys. Rev. D* 97:041501). The published bound is
- * ASYMMETRIC: −3×10⁻¹⁵ ≤ (c_GW − c)/c ≤ +7×10⁻¹⁶ (the lower side
- * assumes a 10 s intrinsic EM-emission delay). The symmetric
- * |·| ≤ 10⁻¹⁵ encoded here is a simplification whose negative side is
- * slightly tighter than the published −3×10⁻¹⁵ — see
- * `src/bridges/be36-gw170817-confrontation.ts` (v0.8.0) for the
- * recomputed-from-data confrontation. This bound rules out or strongly
- * constrains TeVeS-class theories that generically predict c_GW ≠ c.
- *
- * The encoded scalar is the dimensionless ratio (c_GW − c)/c
- * (signed). The bound itself is `|·| ≤ 10⁻¹⁵`; for GR (c_GW = c
- * exactly), the LHS is 0.
- *
- * References:
- *   - Abbott et al. (LIGO/Virgo + INTEGRAL Collaborations) 2017 *ApJ
- *     Lett.* 848:L13 (arXiv:1710.05832; multi-messenger GW170817 +
- *     GRB170817A coincidence; |Δv|/c ≲ 10⁻¹⁵).
- *   - Boran, Desai, Kahya & Woodard 2018 *Phys. Rev. D* 97:041501
- *     (arXiv:1710.06168; GW170817 constraint on TeVeS-class theories).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The TeVeS framework (Bekenstein 2004, the original BE-36 form)
- *     is preserved as the bridge framing; the GW170817 dimensionless
- *     ratio is the AST-encodable scalar bound.
- *   - For GR (c_GW = c), the encoded ratio is 0 ≤ 10⁻¹⁵ ✓ (trivially).
- *   - For TeVeS variants where c_GW ≠ c, the |ratio| must be bounded
- *     above by 10⁻¹⁵ to remain consistent with GW170817.
- *   - The AST encodes the signed ratio (c_GW − c)/c; the absolute
- *     value is computed in the numerical evaluator (Math.abs).
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 36")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 36)
- * @module bridges/equations/be-36-gw-speed-bound
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * RHS of the GW170817 dimensionless ratio:
- *   ratio = (c_GW − c) / c
- *
- * Both numerator and denominator are velocities; ratio is
- * DIMENSIONLESS.
- */
-export declare const BE36_GW_SPEED_RATIO_RHS: ExprNode;
-/** LHS: signed dimensionless graviton-photon speed-difference ratio. */
-/** @internal */
-export declare const BE36_GW_SPEED_RATIO_LHS: ExprNode;
-/** Canonical GW170817 upper bound on |Δv|/c. */
-export declare const GW170817_SPEED_BOUND = 1e-15;
-/**
- * @internal — typed-arg shape for the file-local `evaluateGWSpeedRatio` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface GWSpeedRatioInputs {
-    /** Gravitational-wave speed c_GW (m/s). Must be > 0 and finite. */
-    c_GW_m_per_s: number;
-}
-/**
- * Evaluate the signed dimensionless ratio (c_GW − c)/c.
- *
- * @returns Signed ratio. For GR, c_GW = c exactly and ratio = 0.
- */
-export declare function evaluateGWSpeedRatio(input: GWSpeedRatioInputs): number;
-/**
- * Check whether a candidate c_GW satisfies the GW170817 bound
- * |(c_GW − c)/c| ≤ 10⁻¹⁵.
- *
- * @returns true if |ratio| is at or below the bound.
- */
-export declare function satisfiesGW170817Bound(input: GWSpeedRatioInputs): boolean;
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * DIMENSIONLESS.
- */
-/** @internal */
-export declare function validateBE36Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-36-gw-speed-bound.d.ts.map

package/dist/bridges/equations/be-36-gw-speed-bound.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-36-gw-speed-bound.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-36-gw-speed-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAYrC,CAAC;AAEF,wEAAwE;AACxE,gBAAgB;AAChB,eAAO,MAAM,uBAAuB,EAAE,QAA+C,CAAC;AAEtF,gDAAgD;AAChD,eAAO,MAAM,oBAAoB,QAAQ,CAAC;AAI1C;;GAEG;AACH,UAAU,kBAAkB;IAC1B,mEAAmE;IACnE,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAStE;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAEzE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-36-gw-speed-bound.js

@@ -1,106 +0,0 @@
-/**
- * Bridge Equation 36 — GW170817 graviton-speed bound (post Wave Y
- * reformulation).
- *
- *   |c_GW − c| / c  ≤  10⁻¹⁵
- *
- * The empirical constraint from the GW170817 binary-neutron-star
- * merger / GRB170817A coincidence: the gravitational-wave speed and
- * the photon speed agree to ~1 part in 10¹⁵, derived from the 1.74 s
- * arrival-time difference over the CONSERVATIVE 26 Mpc lower distance
- * bound (40 Mpc is the central luminosity distance; the paper's speed
- * constraint uses 26 Mpc — Abbott et al. 2017 *ApJ Lett.* 848:L13 §3;
- * Boran et al. 2018 *Phys. Rev. D* 97:041501). The published bound is
- * ASYMMETRIC: −3×10⁻¹⁵ ≤ (c_GW − c)/c ≤ +7×10⁻¹⁶ (the lower side
- * assumes a 10 s intrinsic EM-emission delay). The symmetric
- * |·| ≤ 10⁻¹⁵ encoded here is a simplification whose negative side is
- * slightly tighter than the published −3×10⁻¹⁵ — see
- * `src/bridges/be36-gw170817-confrontation.ts` (v0.8.0) for the
- * recomputed-from-data confrontation. This bound rules out or strongly
- * constrains TeVeS-class theories that generically predict c_GW ≠ c.
- *
- * The encoded scalar is the dimensionless ratio (c_GW − c)/c
- * (signed). The bound itself is `|·| ≤ 10⁻¹⁵`; for GR (c_GW = c
- * exactly), the LHS is 0.
- *
- * References:
- *   - Abbott et al. (LIGO/Virgo + INTEGRAL Collaborations) 2017 *ApJ
- *     Lett.* 848:L13 (arXiv:1710.05832; multi-messenger GW170817 +
- *     GRB170817A coincidence; |Δv|/c ≲ 10⁻¹⁵).
- *   - Boran, Desai, Kahya & Woodard 2018 *Phys. Rev. D* 97:041501
- *     (arXiv:1710.06168; GW170817 constraint on TeVeS-class theories).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The TeVeS framework (Bekenstein 2004, the original BE-36 form)
- *     is preserved as the bridge framing; the GW170817 dimensionless
- *     ratio is the AST-encodable scalar bound.
- *   - For GR (c_GW = c), the encoded ratio is 0 ≤ 10⁻¹⁵ ✓ (trivially).
- *   - For TeVeS variants where c_GW ≠ c, the |ratio| must be bounded
- *     above by 10⁻¹⁵ to remain consistent with GW170817.
- *   - The AST encodes the signed ratio (c_GW − c)/c; the absolute
- *     value is computed in the numerical evaluator (Math.abs).
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 36")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 36)
- * @module bridges/equations/be-36-gw-speed-bound
- */
-import { DIMENSIONLESS, VELOCITY, } from '../../dimensional/types.js';
-import { PhysicalConstants } from '../../core/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-/**
- * RHS of the GW170817 dimensionless ratio:
- *   ratio = (c_GW − c) / c
- *
- * Both numerator and denominator are velocities; ratio is
- * DIMENSIONLESS.
- */
-export const BE36_GW_SPEED_RATIO_RHS = {
-    kind: 'op', op: '/',
-    args: [
-        {
-            kind: 'op', op: '-',
-            args: [
-                sym('c_GW', VELOCITY),
-                sym('c', VELOCITY),
-            ],
-        },
-        sym('c', VELOCITY),
-    ],
-};
-/** LHS: signed dimensionless graviton-photon speed-difference ratio. */
-/** @internal */
-export const BE36_GW_SPEED_RATIO_LHS = sym('delta_v_over_c', DIMENSIONLESS);
-/** Canonical GW170817 upper bound on |Δv|/c. */
-export const GW170817_SPEED_BOUND = 1e-15;
-/**
- * Evaluate the signed dimensionless ratio (c_GW − c)/c.
- *
- * @returns Signed ratio. For GR, c_GW = c exactly and ratio = 0.
- */
-export function evaluateGWSpeedRatio(input) {
-    validateFiniteInputs(input, [{ name: 'c_GW_m_per_s', min: 0, excludeMin: true }], 'evaluateGWSpeedRatio');
-    const { c_GW_m_per_s } = input;
-    const { c } = PhysicalConstants;
-    return (c_GW_m_per_s - c) / c;
-}
-/**
- * Check whether a candidate c_GW satisfies the GW170817 bound
- * |(c_GW − c)/c| ≤ 10⁻¹⁵.
- *
- * @returns true if |ratio| is at or below the bound.
- */
-export function satisfiesGW170817Bound(input) {
-    return Math.abs(evaluateGWSpeedRatio(input)) <= GW170817_SPEED_BOUND;
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * DIMENSIONLESS.
- */
-/** @internal */
-export function validateBE36Dimensions() {
-    return validateBEDimensions(BE36_GW_SPEED_RATIO_LHS, BE36_GW_SPEED_RATIO_RHS, 'BE36');
-}
-//# sourceMappingURL=be-36-gw-speed-bound.js.map

package/dist/bridges/equations/be-36-gw-speed-bound.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-36-gw-speed-bound.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-36-gw-speed-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAGH,OAAO,EACL,aAAa,EACb,QAAQ,GACT,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBACrB,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;aACnB;SACF;QACD,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;KACnB;CACF,CAAC;AAEF,wEAAwE;AACxE,gBAAgB;AAChB,MAAM,CAAC,MAAM,uBAAuB,GAAa,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;AAEtF,gDAAgD;AAChD,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CAAC;AAY1C;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAyB;IAC5D,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EACpD,sBAAsB,CACvB,CAAC;IACF,MAAM,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC/B,MAAM,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAChC,OAAO,CAAC,YAAY,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAyB;IAC9D,OAAO,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,IAAI,oBAAoB,CAAC;AACvE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;AACxF,CAAC"}

package/dist/bridges/equations/be-37-shapiro-delay.d.ts

@@ -1,264 +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 type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/** Symbol: Newton's gravitational constant G. Dim `[L³ M⁻¹ T⁻²]`. */
-export declare const BE37_G: ExprNode;
-/** Symbol: gravitating-body mass M. Dim `[mass]`. */
-export declare const BE37_M: ExprNode;
-/** Symbol: speed of light c. Dim `[velocity]` = `[L T⁻¹]`. */
-export declare const BE37_C: ExprNode;
-/**
- * Lemma AST: `c³` (dim `[L³ T⁻³]`).
- *
- * Exposed as a separate node for clarity in the prefactor expression.
- */
-export declare const BE37_C_CUBED: ExprNode;
-/**
- * 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 declare const BE37_PREFACTOR: ExprNode;
-/** Symbol: outer radial distance R_far. Dim `[length]`. */
-export declare const BE37_R_FAR: ExprNode;
-/** Symbol: inner radial distance R_near. Dim `[length]`. */
-export declare const BE37_R_NEAR: ExprNode;
-/**
- * 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 declare const BE37_LOG_RATIO_ARG: ExprNode;
-/**
- * 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 declare const BE37_LOG_FACTOR: ExprNode;
-/**
- * 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 declare const BE37_SHAPIRO_DELAY_RHS: ExprNode;
-/** LHS: Δt is a time delay. Dim `[time]`. */
-/** @internal */
-export declare const BE37_SHAPIRO_DELAY_LHS: ExprNode;
-export interface ShapiroInputs {
-    /** Gravitating-body mass M in kg. Must be finite and > 0. */
-    M_kg: number;
-    /** Outer radial distance R_far in m. Must be finite and > 0. */
-    R_far_m: number;
-    /** Inner radial distance R_near in m. Must be finite and > 0 and ≤ R_far_m. */
-    R_near_m: number;
-}
-/**
- * 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 declare function evaluateShapiroDelay(input: ShapiroInputs): number;
-/**
- * Run the AST through the dimensional analyzer; LHS and RHS should
- * both be `[time]` = `[T]`.
- */
-/** @internal */
-export declare function validateBE37Dimensions(): DimensionValidationReport;
-/**
- * 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 declare const BE37_EIKONAL_LHS: ExprNode;
-/**
- * Eikonal RHS:  the literal dimensionless 'zero' symbol (null-geodesic
- * condition). Same idiom as other zero-RHS bridges (e.g., BE-36).
- */
-export declare const BE37_EIKONAL_RHS_ZERO: ExprNode;
-/**
- * Per-bridge dimensional self-check for the v0.3.0 eikonal structural
- * form. Both sides should be DIMENSIONLESS.
- */
-/** @internal */
-export declare function validateBE37EikonalDimensions(): DimensionValidationReport;
-/**
- * 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 declare function evaluateBE37EikonalNumerical(): Promise<{
-    eikonalResidual: number;
-    integratedDelay: number;
-    closedFormDelay: number;
-    scenario: ShapiroInputs;
-}>;
-//# sourceMappingURL=be-37-shapiro-delay.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"be-37-shapiro-delay.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-37-shapiro-delay.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8IG;AAEH,OAAO,KAAK,EACV,QAAQ,EACR,yBAAyB,EAG1B,MAAM,gCAAgC,CAAC;AAmBxC,qEAAqE;AACrE,eAAO,MAAM,MAAM,EAAE,QAAsB,CAAC;AAE5C,qDAAqD;AACrD,eAAO,MAAM,MAAM,EAAE,QAAyB,CAAC;AAE/C,8DAA8D;AAC9D,eAAO,MAAM,MAAM,EAAE,QAAsB,CAAC;AAQ5C;;;;GAIG;AACH,eAAO,MAAM,YAAY,EAAE,QAG1B,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,EAAE,QAY5B,CAAC;AAEF,2DAA2D;AAC3D,eAAO,MAAM,UAAU,EAAE,QAA+B,CAAC;AAEzD,4DAA4D;AAC5D,eAAO,MAAM,WAAW,EAAE,QAAgC,CAAC;AAE3D;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAGhC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,EAAE,QAI7B,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAGpC,CAAC;AAEF,6CAA6C;AAC7C,gBAAgB;AAChB,eAAO,MAAM,sBAAsB,EAAE,QAA+B,CAAC;AAIrE,MAAM,WAAW,aAAa;IAC5B,6DAA6D;IAC7D,IAAI,EAAE,MAAM,CAAC;IACb,gEAAgE;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB,+EAA+E;IAC/E,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAmBjE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE;AAiED;;;;;;GAMG;AACH,gBAAgB;AAChB,eAAO,MAAM,gBAAgB,EAAE,QAAoD,CAAC;AAEpF;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAInC,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,6BAA6B,IAAI,yBAAyB,CAEzE;AA2CD;;;;;;;;;;;GAWG;AACH,wBAAsB,4BAA4B,IAAI,OAAO,CAAC;IAC5D,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,aAAa,CAAC;CACzB,CAAC,CAmCD"}