universal-physics-tensor 0.4.5

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

@@ -0,0 +1,117 @@
+/**
+ * Bridge Equation 35 — Conformal Bootstrap (crossing-symmetry residual).
+ *
+ * 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 reduction (Wave Z — OpenAI scalar-reduction proposal): for a
+ * unitarily-truncated single-block contribution `B(u, v) = C² · g_{Δ,ℓ}(u, v)`,
+ * crossing symmetry of the 4-pt function requires `B(u, v) = B(v, u)`. The
+ * residual
+ *
+ *   R_cross = C² · [ g_block(u, v) − g_block(v, u) ]
+ *
+ * is identically zero for any consistent CFT. At the crossing-symmetric
+ * point u = v = 1/4 the residual collapses to the operational identity
+ * `R_cross|_{u=v=1/4} ≡ 0`.
+ *
+ * R_cross is DIMENSIONLESS: C is dimensionless when the operators are
+ * unit-normalized in their two-point functions, and g_block(u, v) is a
+ * dimensionless special function of dimensionless cross-ratios.
+ *
+ * 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".
+ *
+ * Status: established. The crossing-symmetry equation is canonical CFT
+ * bootstrap content; pinning it as 'established' in the catalog reflects
+ * that the *symmetry identity* has decades of literature support.
+ *
+ * Honest-claude scope notes:
+ *   - Single-block reduction. The real bootstrap programme sums an
+ *     infinite (Δ, ℓ) tower with positivity / unitarity constraints —
+ *     that spectrum-fitting is the load-bearing numerical content of
+ *     bootstrap papers and is NOT captured here. Encoding only the
+ *     crossing residual pins the symmetry but not the spectrum work.
+ *   - OPE coefficients C are scheme-dependent normalizations. We
+ *     assume operators are unit-normalized in their two-point function,
+ *     which makes C dimensionless. Other normalization conventions
+ *     (e.g., absorbing a Δ-dependent factor into C) shift the literal
+ *     numerical value of C without altering R_cross = 0.
+ *   - Conformal-block special functions g_{Δ,ℓ}(u, v) are encoded as
+ *     dimensionless symbol stubs (`g_block_uv`, `g_block_vu`) — NOT as
+ *     their analytic-function expressions. Closed forms exist in 2D and
+ *     4D (Dolan-Osborn) but live outside the AST grammar (which has no
+ *     hypergeometric-function node).
+ *   - The identity is symbolic. Numerically evaluating with arbitrary
+ *     g_uv ≠ g_vu yields a nonzero residual: that does NOT signal a
+ *     bootstrap violation — it signals that the caller passed a pair
+ *     that is not a legitimate (u, v) ↔ (v, u) crossing pair from the
+ *     same conformal block. The residual is a *test instrument*.
+ *
+ * @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, DimensionValidationReport } from '../../dimensional/validator.js';
+/**
+ * Lemma AST: forward-channel block `C² · g_block(u, v)`.
+ *
+ * Both factors are dimensionless: C is the OPE coefficient under
+ * unit-normalized operators; g_block(u, v) is the conformal block
+ * (dimensionless function of dimensionless cross-ratios u, v).
+ */
+export declare const BE35_FORWARD_BLOCK: ExprNode;
+/**
+ * Lemma AST: crossed-channel block `C² · g_block(v, u)`. Same shape as
+ * BE35_FORWARD_BLOCK with cross-ratios swapped — exposed for direct
+ * dimensional verification and for differencing in the residual.
+ */
+export declare const BE35_CROSSED_BLOCK: ExprNode;
+/**
+ * RHS of the crossing-symmetry residual:
+ *
+ *   R_cross = C² · g_block(u, v) − C² · g_block(v, u)
+ *
+ * encoded as the difference of the two lemma blocks. Both summands are
+ * dimensionless, so the result infers DIMENSIONLESS through the
+ * dimensional analyzer.
+ */
+export declare const BE35_CROSSING_RESIDUAL_RHS: ExprNode;
+/** LHS: R_cross is dimensionless. */
+export declare const BE35_CROSSING_RESIDUAL_LHS: ExprNode;
+export interface CrossingResidualInputs {
+    /** OPE coefficient C (dimensionless under unit-normalized operators). Must be finite. */
+    ope_coefficient: number;
+    /** Conformal block g_block(u, v) at (u, v). Must be finite. */
+    g_block_uv: number;
+    /** Conformal block g_block(v, u) at the crossed point. Must be finite. */
+    g_block_vu: number;
+}
+/**
+ * Evaluate the crossing-symmetry residual
+ *
+ *   R_cross = C² · ( g_block(u, v) − g_block(v, u) )
+ *
+ * Honest-claude: for a *legitimate* crossing pair from a single block,
+ * g_uv = g_vu and the residual is exactly zero. Nonzero output for
+ * arbitrary inputs does not signal a CFT violation; it signals that the
+ * pair (g_uv, g_vu) is not from the same block under a u ↔ v swap.
+ */
+export declare function evaluateCrossingResidual(input: CrossingResidualInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; LHS and RHS should
+ * both be DIMENSIONLESS.
+ */
+export declare function validateBE35Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-35-conformal-bootstrap.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"be-35-conformal-bootstrap.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-35-conformal-bootstrap.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAW1F;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAehC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAYhC,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAMxC,CAAC;AAEF,qCAAqC;AACrC,eAAO,MAAM,0BAA0B,EAAE,QAAwC,CAAC;AAIlF,MAAM,WAAW,sBAAsB;IACrC,yFAAyF;IACzF,eAAe,EAAE,MAAM,CAAC;IACxB,+DAA+D;IAC/D,UAAU,EAAE,MAAM,CAAC;IACnB,0EAA0E;IAC1E,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;GASG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,sBAAsB,GAAG,MAAM,CAkB9E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CAYlE"}

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

@@ -0,0 +1,167 @@
+/**
+ * Bridge Equation 35 — Conformal Bootstrap (crossing-symmetry residual).
+ *
+ * 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 reduction (Wave Z — OpenAI scalar-reduction proposal): for a
+ * unitarily-truncated single-block contribution `B(u, v) = C² · g_{Δ,ℓ}(u, v)`,
+ * crossing symmetry of the 4-pt function requires `B(u, v) = B(v, u)`. The
+ * residual
+ *
+ *   R_cross = C² · [ g_block(u, v) − g_block(v, u) ]
+ *
+ * is identically zero for any consistent CFT. At the crossing-symmetric
+ * point u = v = 1/4 the residual collapses to the operational identity
+ * `R_cross|_{u=v=1/4} ≡ 0`.
+ *
+ * R_cross is DIMENSIONLESS: C is dimensionless when the operators are
+ * unit-normalized in their two-point functions, and g_block(u, v) is a
+ * dimensionless special function of dimensionless cross-ratios.
+ *
+ * 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".
+ *
+ * Status: established. The crossing-symmetry equation is canonical CFT
+ * bootstrap content; pinning it as 'established' in the catalog reflects
+ * that the *symmetry identity* has decades of literature support.
+ *
+ * Honest-claude scope notes:
+ *   - Single-block reduction. The real bootstrap programme sums an
+ *     infinite (Δ, ℓ) tower with positivity / unitarity constraints —
+ *     that spectrum-fitting is the load-bearing numerical content of
+ *     bootstrap papers and is NOT captured here. Encoding only the
+ *     crossing residual pins the symmetry but not the spectrum work.
+ *   - OPE coefficients C are scheme-dependent normalizations. We
+ *     assume operators are unit-normalized in their two-point function,
+ *     which makes C dimensionless. Other normalization conventions
+ *     (e.g., absorbing a Δ-dependent factor into C) shift the literal
+ *     numerical value of C without altering R_cross = 0.
+ *   - Conformal-block special functions g_{Δ,ℓ}(u, v) are encoded as
+ *     dimensionless symbol stubs (`g_block_uv`, `g_block_vu`) — NOT as
+ *     their analytic-function expressions. Closed forms exist in 2D and
+ *     4D (Dolan-Osborn) but live outside the AST grammar (which has no
+ *     hypergeometric-function node).
+ *   - The identity is symbolic. Numerically evaluating with arbitrary
+ *     g_uv ≠ g_vu yields a nonzero residual: that does NOT signal a
+ *     bootstrap violation — it signals that the caller passed a pair
+ *     that is not a legitimate (u, v) ↔ (v, u) crossing pair from the
+ *     same conformal block. The residual is a *test instrument*.
+ *
+ * @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 { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, } from '../../dimensional/types.js';
+// --- Symbolic AST ---
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * Lemma AST: forward-channel block `C² · g_block(u, v)`.
+ *
+ * Both factors are dimensionless: C is the OPE coefficient under
+ * unit-normalized operators; g_block(u, v) is the conformal block
+ * (dimensionless function of dimensionless cross-ratios u, v).
+ */
+export const BE35_FORWARD_BLOCK = {
+    kind: 'op', op: '*',
+    args: [
+        {
+            kind: 'op', op: '^',
+            args: [
+                sym('C', DIMENSIONLESS),
+                // Numeric-literal exponent: the validator parses the symbol's
+                // `name` via Number(), so the literal text must be a finite
+                // number ('2'), not a word ('two').
+                sym('2', DIMENSIONLESS),
+            ],
+        },
+        sym('g_block_uv', DIMENSIONLESS),
+    ],
+};
+/**
+ * Lemma AST: crossed-channel block `C² · g_block(v, u)`. Same shape as
+ * BE35_FORWARD_BLOCK with cross-ratios swapped — exposed for direct
+ * dimensional verification and for differencing in the residual.
+ */
+export const BE35_CROSSED_BLOCK = {
+    kind: 'op', op: '*',
+    args: [
+        {
+            kind: 'op', op: '^',
+            args: [
+                sym('C', DIMENSIONLESS),
+                sym('2', DIMENSIONLESS),
+            ],
+        },
+        sym('g_block_vu', DIMENSIONLESS),
+    ],
+};
+/**
+ * RHS of the crossing-symmetry residual:
+ *
+ *   R_cross = C² · g_block(u, v) − C² · g_block(v, u)
+ *
+ * encoded as the difference of the two lemma blocks. Both summands are
+ * dimensionless, so the result infers DIMENSIONLESS through the
+ * dimensional analyzer.
+ */
+export const BE35_CROSSING_RESIDUAL_RHS = {
+    kind: 'op', op: '-',
+    args: [
+        BE35_FORWARD_BLOCK,
+        BE35_CROSSED_BLOCK,
+    ],
+};
+/** LHS: R_cross is dimensionless. */
+export const BE35_CROSSING_RESIDUAL_LHS = sym('R_cross', DIMENSIONLESS);
+/**
+ * Evaluate the crossing-symmetry residual
+ *
+ *   R_cross = C² · ( g_block(u, v) − g_block(v, u) )
+ *
+ * Honest-claude: for a *legitimate* crossing pair from a single block,
+ * g_uv = g_vu and the residual is exactly zero. Nonzero output for
+ * arbitrary inputs does not signal a CFT violation; it signals that the
+ * pair (g_uv, g_vu) is not from the same block under a u ↔ v swap.
+ */
+export function evaluateCrossingResidual(input) {
+    const { ope_coefficient, g_block_uv, g_block_vu } = input;
+    if (!Number.isFinite(ope_coefficient)) {
+        throw new RangeError(`evaluateCrossingResidual: ope_coefficient must be finite, got ${ope_coefficient}`);
+    }
+    if (!Number.isFinite(g_block_uv)) {
+        throw new RangeError(`evaluateCrossingResidual: g_block_uv must be finite, got ${g_block_uv}`);
+    }
+    if (!Number.isFinite(g_block_vu)) {
+        throw new RangeError(`evaluateCrossingResidual: g_block_vu must be finite, got ${g_block_vu}`);
+    }
+    return ope_coefficient * ope_coefficient * (g_block_uv - g_block_vu);
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; LHS and RHS should
+ * both be DIMENSIONLESS.
+ */
+export function validateBE35Dimensions() {
+    const eq = validateEquation(BE35_CROSSING_RESIDUAL_LHS, BE35_CROSSING_RESIDUAL_RHS);
+    const lhs = validate(BE35_CROSSING_RESIDUAL_LHS);
+    const rhs = validate(BE35_CROSSING_RESIDUAL_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-35-conformal-bootstrap.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"be-35-conformal-bootstrap.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-35-conformal-bootstrap.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AAEpC,uBAAuB;AAEvB,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,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,GAAG,EAAE,aAAa,CAAC;gBACvB,8DAA8D;gBAC9D,4DAA4D;gBAC5D,oCAAoC;gBACpC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;QACD,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;KACjC;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,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,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;QACD,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC;KACjC;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,kBAAkB;KACnB;CACF,CAAC;AAEF,qCAAqC;AACrC,MAAM,CAAC,MAAM,0BAA0B,GAAa,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAalF;;;;;;;;;GASG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA6B;IACpE,MAAM,EAAE,eAAe,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAC1D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,iEAAiE,eAAe,EAAE,CACnF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,UAAU,CAClB,4DAA4D,UAAU,EAAE,CACzE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,UAAU,CAClB,4DAA4D,UAAU,EAAE,CACzE,CAAC;IACJ,CAAC;IACD,OAAO,eAAe,GAAG,eAAe,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC,CAAC;AACvE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CACzB,0BAA0B,EAC1B,0BAA0B,CAC3B,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,0BAA0B,CAAC,CAAC;IACjD,MAAM,GAAG,GAAG,QAAQ,CAAC,0BAA0B,CAAC,CAAC;IACjD,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,77 @@
+/**
+ * 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 better than 1 part in 10¹⁵, derived from
+ * the ~1.7 s arrival-time difference over a ~40 Mpc distance
+ * (Abbott et al. 2017 *ApJ Lett.* 848:L13; Boran et al. 2018
+ * *Phys. Rev. D* 97:041501). 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. */
+export declare const BE36_GW_SPEED_RATIO_LHS: ExprNode;
+/** Canonical GW170817 upper bound on |Δv|/c. */
+export declare const GW170817_SPEED_BOUND = 1e-15;
+export 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.
+ */
+export declare function validateBE36Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-36-gw-speed-bound.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"be-36-gw-speed-bound.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-36-gw-speed-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAW1F;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAYrC,CAAC;AAEF,wEAAwE;AACxE,eAAO,MAAM,uBAAuB,EAAE,QAA+C,CAAC;AAEtF,gDAAgD;AAChD,eAAO,MAAM,oBAAoB,QAAQ,CAAC;AAI1C,MAAM,WAAW,kBAAkB;IACjC,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,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}

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

@@ -0,0 +1,107 @@
+/**
+ * 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 better than 1 part in 10¹⁵, derived from
+ * the ~1.7 s arrival-time difference over a ~40 Mpc distance
+ * (Abbott et al. 2017 *ApJ Lett.* 848:L13; Boran et al. 2018
+ * *Phys. Rev. D* 97:041501). 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 { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, VELOCITY, } from '../../dimensional/types.js';
+import { PhysicalConstants } from '../../core/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * 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. */
+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) {
+    const { c_GW_m_per_s } = input;
+    if (!Number.isFinite(c_GW_m_per_s) || c_GW_m_per_s <= 0) {
+        throw new RangeError(`evaluateGWSpeedRatio: c_GW_m_per_s must be a finite positive number, got ${c_GW_m_per_s}`);
+    }
+    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.
+ */
+export function validateBE36Dimensions() {
+    const eq = validateEquation(BE36_GW_SPEED_RATIO_LHS, BE36_GW_SPEED_RATIO_RHS);
+    const lhs = validate(BE36_GW_SPEED_RATIO_LHS);
+    const rhs = validate(BE36_GW_SPEED_RATIO_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-36-gw-speed-bound.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"be-36-gw-speed-bound.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-36-gw-speed-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,QAAQ,GACT,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;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,MAAM,CAAC,MAAM,uBAAuB,GAAa,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;AAEtF,gDAAgD;AAChD,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CAAC;AAS1C;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAyB;IAC5D,MAAM,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,YAAY,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,UAAU,CAClB,4EAA4E,YAAY,EAAE,CAC3F,CAAC;IACJ,CAAC;IACD,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,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,uBAAuB,EAAE,uBAAuB,CAAC,CAAC;IAC9E,MAAM,GAAG,GAAG,QAAQ,CAAC,uBAAuB,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,QAAQ,CAAC,uBAAuB,CAAC,CAAC;IAC9C,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}