universal-physics-tensor 6.1.0 → 8.0.0

package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts

@@ -1,101 +0,0 @@
-/**
- * Bridge Equation 35 — Conformal Bootstrap (the crossing equation).
- *
- * Original 4-pt-function form (operator-valued; no scalar reduction
- * without committing to specific operator dimensions):
- *
- *   ⟨O₁(x₁) O₂(x₂) O₃(x₃) O₄(x₄)⟩
- *     = Σ_{Δ, ℓ}  C₁₂^O · C₃₄^O · g_{Δ, ℓ}(u, v)
- *
- * Encoded relation: the crossing equation for four IDENTICAL scalars φ of
- * dimension Δ_φ (Rattazzi, Rychkov, Tonni & Vichi 2008, eq. 4.3, which writes
- * Δ_φ as d):
- *
- *   R_cross = v^Δφ · g(u, v) − u^Δφ · g(v, u)     (= 0 in a consistent CFT)
- *
- * where g is the FULL reduced four-point function,
- * g(u, v) = 1 + Σ_O λ_O² g_O(u, v): the identity plus the sum over the
- * exchanged operators (Rattazzi et al. 2008, eq. 4.4). Crossing holds for that sum, not for a single block,
- * and it holds only with the prefactors. `R_cross` and every symbol are
- * dimensionless: u and v are cross-ratios and g is a ratio of correlators.
- *
- * Test instrument: the generalized free field, g = 1 + u^Δ + (u/v)^Δ,
- * satisfies the equation exactly at every (u, v), and dropping one term breaks
- * it (tests/bridges/be-35-encoding.test.ts). At u = v the equation is zero
- * for ANY g, so the crossing-symmetric point u = v = 1/4 tests nothing.
- *
- * The earlier encoding, `R = C² · [g_block(u, v) − g_block(v, u)]`, had no
- * prefactors and was written for one block; neither is crossing symmetric
- * (census finding F1). It was deprecated in 0.46.0 and removed in 0.47.0, with its
- * evaluator `evaluateCrossingResidual` and `BridgeEquations.crossingResidual`.
- *
- * References:
- *   - Rattazzi-Rychkov-Tonni-Vichi 2008 JHEP 0812:031
- *     (arXiv:0807.0004): "Bounding scalar operator dimensions in 4D CFT".
- *   - Poland-Rychkov-Vichi 2019 Rev. Mod. Phys. 91:015002
- *     (arXiv:1805.04405): "The conformal bootstrap: theory, numerical
- *     techniques, and applications".
- *   - Dolan-Osborn 2001 Nucl. Phys. B 599:459: "Conformal four-point
- *     functions and the operator product expansion".
- *   - Kos-Poland-Simmons-Duffin 2014 JHEP 1406:091: "Bootstrapping the
- *     O(N) vector models".
- *
- * Scope notes:
- *   - g(u, v) and g(v, u) are dimensionless symbol stubs (`g_uv`, `g_vu`),
- *     not analytic forms: the conformal blocks inside g have closed forms only
- *     in 2D and 4D (Dolan-Osborn), and the AST grammar has no
- *     hypergeometric-function node.
- *   - The equation is a CONSTRAINT on the spectrum and the OPE coefficients.
- *     The bootstrap programme's numerical content (positivity bounds on an
- *     infinite tower) is not encoded here.
- *   - Only the identical-scalar case is encoded. Mixed correlators carry
- *     different prefactors.
- *   - Only the x1 ↔ x3 equation (eq. 4.3) is encoded. The x1 ↔ x2 constraint,
- *     g(u, v) = g(u/v, 1/v) (eq. 4.2), is "automatically satisfied for
- *     arbitrary coefficients λ²_O" because every operator in φ × φ has even
- *     spin (Rattazzi et al. 2008, §4). The generalized free field satisfies both.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 35: Conformal Bootstrap")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 35)
- * @module bridges/equations/be-35-conformal-bootstrap
- */
-import type { ExprNode } from '../../dimensional/validator.js';
-/**
- * RHS of the crossing equation for four identical scalars of dimension Δ_φ:
- *
- *   R_cross = v^Δφ · g(u, v) − u^Δφ · g(v, u)
- *
- * The exponent Δ_φ is a symbol, which the grammar allows only on a
- * dimensionless base; u and v are dimensionless cross-ratios.
- */
-export declare const BE35_CROSSING_EQUATION_RHS: ExprNode;
-/**
- * Inputs of {@link evaluateCrossingEquation}: the cross-ratios, Δφ and the full four-point function at both points.
- *
- * @internal — file-local typed-arg shape, not in the public surface (the v0.7 BE module exports audit, `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4).
- */
-interface CrossingEquationInputs {
-    /** Cross-ratio u > 0. */
-    u: number;
-    /** Cross-ratio v > 0. */
-    v: number;
-    /** The dimension Δ_φ of the four identical scalars. Must be finite. */
-    delta_phi: number;
-    /** The full reduced four-point function g at (u, v). Must be finite. */
-    g_uv: number;
-    /** The full reduced four-point function g at the crossed point (v, u). Must be finite. */
-    g_vu: number;
-}
-/**
- * Evaluate the crossing equation `R_cross = v^Δφ · g(u, v) − u^Δφ · g(v, u)`.
- *
- * Zero for a consistent CFT when `g` is the FULL reduced four-point function
- * (identity plus all exchanged operators). Nonzero output means the pair
- * `(g_uv, g_vu)` does not come from a crossing-symmetric four-point function,
- * for example because a term of the sum is missing.
- *
- * @throws RangeError if u or v is not positive, or any input is not finite.
- */
-export declare function evaluateCrossingEquation(input: CrossingEquationInputs): number;
-export {};
-//# sourceMappingURL=be-35-conformal-bootstrap.d.ts.map

package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-35-conformal-bootstrap.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-35-conformal-bootstrap.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAA6B,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAkBxC,CAAC;AAOF;;;;GAIG;AACH,UAAU,sBAAsB;IAC9B,yBAAyB;IACzB,CAAC,EAAE,MAAM,CAAC;IACV,yBAAyB;IACzB,CAAC,EAAE,MAAM,CAAC;IACV,uEAAuE;IACvE,SAAS,EAAE,MAAM,CAAC;IAClB,wEAAwE;IACxE,IAAI,EAAE,MAAM,CAAC;IACb,0FAA0F;IAC1F,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;GASG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,sBAAsB,GAAG,MAAM,CAc9E"}

package/dist/bridges/equations/be-35-conformal-bootstrap.js

@@ -1,123 +0,0 @@
-/**
- * Bridge Equation 35 — Conformal Bootstrap (the crossing equation).
- *
- * Original 4-pt-function form (operator-valued; no scalar reduction
- * without committing to specific operator dimensions):
- *
- *   ⟨O₁(x₁) O₂(x₂) O₃(x₃) O₄(x₄)⟩
- *     = Σ_{Δ, ℓ}  C₁₂^O · C₃₄^O · g_{Δ, ℓ}(u, v)
- *
- * Encoded relation: the crossing equation for four IDENTICAL scalars φ of
- * dimension Δ_φ (Rattazzi, Rychkov, Tonni & Vichi 2008, eq. 4.3, which writes
- * Δ_φ as d):
- *
- *   R_cross = v^Δφ · g(u, v) − u^Δφ · g(v, u)     (= 0 in a consistent CFT)
- *
- * where g is the FULL reduced four-point function,
- * g(u, v) = 1 + Σ_O λ_O² g_O(u, v): the identity plus the sum over the
- * exchanged operators (Rattazzi et al. 2008, eq. 4.4). Crossing holds for that sum, not for a single block,
- * and it holds only with the prefactors. `R_cross` and every symbol are
- * dimensionless: u and v are cross-ratios and g is a ratio of correlators.
- *
- * Test instrument: the generalized free field, g = 1 + u^Δ + (u/v)^Δ,
- * satisfies the equation exactly at every (u, v), and dropping one term breaks
- * it (tests/bridges/be-35-encoding.test.ts). At u = v the equation is zero
- * for ANY g, so the crossing-symmetric point u = v = 1/4 tests nothing.
- *
- * The earlier encoding, `R = C² · [g_block(u, v) − g_block(v, u)]`, had no
- * prefactors and was written for one block; neither is crossing symmetric
- * (census finding F1). It was deprecated in 0.46.0 and removed in 0.47.0, with its
- * evaluator `evaluateCrossingResidual` and `BridgeEquations.crossingResidual`.
- *
- * References:
- *   - Rattazzi-Rychkov-Tonni-Vichi 2008 JHEP 0812:031
- *     (arXiv:0807.0004): "Bounding scalar operator dimensions in 4D CFT".
- *   - Poland-Rychkov-Vichi 2019 Rev. Mod. Phys. 91:015002
- *     (arXiv:1805.04405): "The conformal bootstrap: theory, numerical
- *     techniques, and applications".
- *   - Dolan-Osborn 2001 Nucl. Phys. B 599:459: "Conformal four-point
- *     functions and the operator product expansion".
- *   - Kos-Poland-Simmons-Duffin 2014 JHEP 1406:091: "Bootstrapping the
- *     O(N) vector models".
- *
- * Scope notes:
- *   - g(u, v) and g(v, u) are dimensionless symbol stubs (`g_uv`, `g_vu`),
- *     not analytic forms: the conformal blocks inside g have closed forms only
- *     in 2D and 4D (Dolan-Osborn), and the AST grammar has no
- *     hypergeometric-function node.
- *   - The equation is a CONSTRAINT on the spectrum and the OPE coefficients.
- *     The bootstrap programme's numerical content (positivity bounds on an
- *     infinite tower) is not encoded here.
- *   - Only the identical-scalar case is encoded. Mixed correlators carry
- *     different prefactors.
- *   - Only the x1 ↔ x3 equation (eq. 4.3) is encoded. The x1 ↔ x2 constraint,
- *     g(u, v) = g(u/v, 1/v) (eq. 4.2), is "automatically satisfied for
- *     arbitrary coefficients λ²_O" because every operator in φ × φ has even
- *     spin (Rattazzi et al. 2008, §4). The generalized free field satisfies both.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 35: Conformal Bootstrap")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 35)
- * @module bridges/equations/be-35-conformal-bootstrap
- */
-import { DIMENSIONLESS, } from '../../dimensional/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-// --- Symbolic AST: the crossing equation ---
-/**
- * RHS of the crossing equation for four identical scalars of dimension Δ_φ:
- *
- *   R_cross = v^Δφ · g(u, v) − u^Δφ · g(v, u)
- *
- * The exponent Δ_φ is a symbol, which the grammar allows only on a
- * dimensionless base; u and v are dimensionless cross-ratios.
- */
-export const BE35_CROSSING_EQUATION_RHS = {
-    kind: 'op', op: '-',
-    args: [
-        {
-            kind: 'op', op: '*',
-            args: [
-                { kind: 'op', op: '^', args: [sym('v', DIMENSIONLESS), sym('Delta_phi', DIMENSIONLESS)] },
-                sym('g_uv', DIMENSIONLESS),
-            ],
-        },
-        {
-            kind: 'op', op: '*',
-            args: [
-                { kind: 'op', op: '^', args: [sym('u', DIMENSIONLESS), sym('Delta_phi', DIMENSIONLESS)] },
-                sym('g_vu', DIMENSIONLESS),
-            ],
-        },
-    ],
-};
-/** LHS: R_cross is dimensionless. */
-const BE35_CROSSING_LHS = sym('R_cross', DIMENSIONLESS);
-/**
- * Evaluate the crossing equation `R_cross = v^Δφ · g(u, v) − u^Δφ · g(v, u)`.
- *
- * Zero for a consistent CFT when `g` is the FULL reduced four-point function
- * (identity plus all exchanged operators). Nonzero output means the pair
- * `(g_uv, g_vu)` does not come from a crossing-symmetric four-point function,
- * for example because a term of the sum is missing.
- *
- * @throws RangeError if u or v is not positive, or any input is not finite.
- */
-export function evaluateCrossingEquation(input) {
-    validateFiniteInputs(input, [
-        { name: 'u', min: 0, excludeMin: true },
-        { name: 'v', min: 0, excludeMin: true },
-        { name: 'delta_phi' },
-        { name: 'g_uv' },
-        { name: 'g_vu' },
-    ], 'evaluateCrossingEquation');
-    const { u, v, delta_phi, g_uv, g_vu } = input;
-    return v ** delta_phi * g_uv - u ** delta_phi * g_vu;
-}
-// --- Self-validation ---
-/**
- * Run the crossing-equation AST through the dimensional analyzer; LHS and RHS
- * should both be DIMENSIONLESS.
- */
-function validateBE35Dimensions() {
-    return validateBEDimensions(BE35_CROSSING_LHS, BE35_CROSSING_EQUATION_RHS, 'BE35');
-}
-//# sourceMappingURL=be-35-conformal-bootstrap.js.map

package/dist/bridges/equations/be-35-conformal-bootstrap.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-35-conformal-bootstrap.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-35-conformal-bootstrap.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;AAGH,OAAO,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,8CAA8C;AAE9C;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,EAAE;gBACzF,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC;aAC3B;SACF;QACD;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,EAAE;gBACzF,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC;aAC3B;SACF;KACF;CACF,CAAC;AAEF,qCAAqC;AACrC,MAAM,iBAAiB,GAAa,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAsBlE;;;;;;;;;GASG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA6B;IACpE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,WAAW,EAAE;QACrB,EAAE,IAAI,EAAE,MAAM,EAAE;QAChB,EAAE,IAAI,EAAE,MAAM,EAAE;KACjB,EACD,0BAA0B,CAC3B,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IAC9C,OAAO,CAAC,IAAI,SAAS,GAAG,IAAI,GAAG,CAAC,IAAI,SAAS,GAAG,IAAI,CAAC;AACvD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,SAAS,sBAAsB;IAC7B,OAAO,oBAAoB,CACzB,iBAAiB,EACjB,0BAA0B,EAC1B,MAAM,CACP,CAAC;AACJ,CAAC"}

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"}