universal-physics-tensor 0.45.1 → 0.46.0

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

@@ -1,5 +1,5 @@
 /**
- * Bridge Equation 35 — Conformal Bootstrap (crossing-symmetry residual).
+ * Bridge Equation 35 — Conformal Bootstrap (the crossing equation).
  *
  * Original 4-pt-function form (operator-valued; no scalar reduction
  * without committing to specific operator dimensions):
@@ -7,20 +7,27 @@
  *   ⟨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
+ * 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 = C² · [ g_block(u, v) − g_block(v, u) ]
+ *   R_cross = v^Δφ · g(u, v) − u^Δφ · g(v, u)     (= 0 in a consistent CFT)
  *
- * 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`.
+ * 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.
  *
- * 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.
+ * 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 stays exported as `evaluateCrossingResidual`, marked
+ * deprecated, because `BridgeEquations.crossingResidual` is public API.
  *
  * References:
  *   - Rattazzi-Rychkov-Tonni-Vichi 2008 JHEP 0812:031
@@ -33,31 +40,20 @@
  *   - 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*.
+ * 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)
@@ -65,31 +61,66 @@
  */
 import type { ExprNode } from '../../dimensional/validator.js';
 /**
- * Lemma AST: forward-channel block `C² · g_block(u, v)`.
+ * 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;
+/**
+ * Lemma AST of the deprecated residual: `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).
+ * @deprecated One block with no prefactor is not crossing symmetric; use
+ * {@link BE35_CROSSING_EQUATION_RHS}.
  */
 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.
+ * Lemma AST of the deprecated residual: `C² · g_block(v, u)`.
+ *
+ * @deprecated See {@link BE35_FORWARD_BLOCK}.
  */
 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)
+ * The deprecated residual `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.
+ * @deprecated No prefactors, and one block: not crossing symmetric. Use
+ * {@link BE35_CROSSING_EQUATION_RHS}, which is the RHS registered for BE-35.
  */
 export declare const BE35_CROSSING_RESIDUAL_RHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateCrossingResidual` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
+ * 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;
+/**
+ * Inputs of the deprecated {@link evaluateCrossingResidual}: one OPE coefficient and one block at both points.
+ *
+ * @internal — file-local typed-arg shape, not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface CrossingResidualInputs {
     /** OPE coefficient C (dimensionless under unit-normalized operators). Must be finite. */
@@ -100,14 +131,13 @@ interface CrossingResidualInputs {
     g_block_vu: number;
 }
 /**
- * Evaluate the crossing-symmetry residual
- *
- *   R_cross = C² · ( g_block(u, v) − g_block(v, u) )
+ * Evaluate the deprecated single-block residual `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.
+ * @deprecated One block with no v^Δφ / u^Δφ prefactors is not crossing
+ * symmetric, so a zero here is not evidence of crossing. Use
+ * {@link evaluateCrossingEquation} (`BridgeEquations.crossingEquation`).
+ * Kept because `BridgeEquations.crossingResidual` is public API; removing it
+ * is a breaking change.
  */
 export declare function evaluateCrossingResidual(input: CrossingResidualInputs): number;
 export {};

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

@@ -1 +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,EAA6B,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;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;AAOF;;GAEG;AACH,UAAU,sBAAsB;IAC9B,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,CAY9E"}
+{"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;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAehC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAYhC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAMxC,CAAC;AAIF;;;;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;AAED;;;;GAIG;AACH,UAAU,sBAAsB;IAC9B,yFAAyF;IACzF,eAAe,EAAE,MAAM,CAAC;IACxB,+DAA+D;IAC/D,UAAU,EAAE,MAAM,CAAC;IACnB,0EAA0E;IAC1E,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,sBAAsB,GAAG,MAAM,CAY9E"}

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

@@ -1,5 +1,5 @@
 /**
- * Bridge Equation 35 — Conformal Bootstrap (crossing-symmetry residual).
+ * Bridge Equation 35 — Conformal Bootstrap (the crossing equation).
  *
  * Original 4-pt-function form (operator-valued; no scalar reduction
  * without committing to specific operator dimensions):
@@ -7,20 +7,27 @@
  *   ⟨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
+ * 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 = C² · [ g_block(u, v) − g_block(v, u) ]
+ *   R_cross = v^Δφ · g(u, v) − u^Δφ · g(v, u)     (= 0 in a consistent CFT)
  *
- * 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`.
+ * 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.
  *
- * 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.
+ * 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 stays exported as `evaluateCrossingResidual`, marked
+ * deprecated, because `BridgeEquations.crossingResidual` is public API.
  *
  * References:
  *   - Rattazzi-Rychkov-Tonni-Vichi 2008 JHEP 0812:031
@@ -33,31 +40,20 @@
  *   - 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*.
+ * 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)
@@ -65,13 +61,42 @@
  */
 import { DIMENSIONLESS, } from '../../dimensional/types.js';
 import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-// --- Symbolic AST ---
+// --- 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);
+// --- Deprecated single-block residual (kept: public API) ---
 /**
- * Lemma AST: forward-channel block `C² · g_block(u, v)`.
+ * Lemma AST of the deprecated residual: `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).
+ * @deprecated One block with no prefactor is not crossing symmetric; use
+ * {@link BE35_CROSSING_EQUATION_RHS}.
  */
 export const BE35_FORWARD_BLOCK = {
     kind: 'op', op: '*',
@@ -90,9 +115,9 @@ export const BE35_FORWARD_BLOCK = {
     ],
 };
 /**
- * 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.
+ * Lemma AST of the deprecated residual: `C² · g_block(v, u)`.
+ *
+ * @deprecated See {@link BE35_FORWARD_BLOCK}.
  */
 export const BE35_CROSSED_BLOCK = {
     kind: 'op', op: '*',
@@ -108,13 +133,10 @@ export const BE35_CROSSED_BLOCK = {
     ],
 };
 /**
- * RHS of the crossing-symmetry residual:
- *
- *   R_cross = C² · g_block(u, v) − C² · g_block(v, u)
+ * The deprecated residual `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.
+ * @deprecated No prefactors, and one block: not crossing symmetric. Use
+ * {@link BE35_CROSSING_EQUATION_RHS}, which is the RHS registered for BE-35.
  */
 export const BE35_CROSSING_RESIDUAL_RHS = {
     kind: 'op', op: '-',
@@ -123,17 +145,35 @@ export const BE35_CROSSING_RESIDUAL_RHS = {
         BE35_CROSSED_BLOCK,
     ],
 };
-/** LHS: R_cross is dimensionless. */
-const BE35_CROSSING_RESIDUAL_LHS = sym('R_cross', DIMENSIONLESS);
 /**
- * Evaluate the crossing-symmetry residual
+ * 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.
  *
- *   R_cross = C² · ( g_block(u, v) − g_block(v, u) )
+ * @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;
+}
+/**
+ * Evaluate the deprecated single-block residual `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.
+ * @deprecated One block with no v^Δφ / u^Δφ prefactors is not crossing
+ * symmetric, so a zero here is not evidence of crossing. Use
+ * {@link evaluateCrossingEquation} (`BridgeEquations.crossingEquation`).
+ * Kept because `BridgeEquations.crossingResidual` is public API; removing it
+ * is a breaking change.
  */
 export function evaluateCrossingResidual(input) {
     validateFiniteInputs(input, [
@@ -146,10 +186,10 @@ export function evaluateCrossingResidual(input) {
 }
 // --- Self-validation ---
 /**
- * Run the AST through the dimensional analyzer; LHS and RHS should
- * both be DIMENSIONLESS.
+ * Run the crossing-equation AST through the dimensional analyzer; LHS and RHS
+ * should both be DIMENSIONLESS.
  */
 function validateBE35Dimensions() {
-    return validateBEDimensions(BE35_CROSSING_RESIDUAL_LHS, BE35_CROSSING_RESIDUAL_RHS, 'BE35');
+    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 +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,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB;;;;;;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,0BAA0B,GAAa,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAgB3E;;;;;;;;;GASG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA6B;IACpE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,iBAAiB,EAAE;QAC3B,EAAE,IAAI,EAAE,YAAY,EAAE;QACtB,EAAE,IAAI,EAAE,YAAY,EAAE;KACvB,EACD,0BAA0B,CAC3B,CAAC;IACF,MAAM,EAAE,eAAe,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAC1D,OAAO,eAAe,GAAG,eAAe,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC,CAAC;AACvE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,SAAS,sBAAsB;IAC7B,OAAO,oBAAoB,CACzB,0BAA0B,EAC1B,0BAA0B,EAC1B,MAAM,CACP,CAAC;AACJ,CAAC"}
+{"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;AAElE,8DAA8D;AAE9D;;;;;GAKG;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;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,kBAAkB;KACnB;CACF,CAAC;AAsBF;;;;;;;;;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;AAgBD;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA6B;IACpE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,iBAAiB,EAAE;QAC3B,EAAE,IAAI,EAAE,YAAY,EAAE;QACtB,EAAE,IAAI,EAAE,YAAY,EAAE;KACvB,EACD,0BAA0B,CAC3B,CAAC;IACF,MAAM,EAAE,eAAe,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAC1D,OAAO,eAAe,GAAG,eAAe,GAAG,CAAC,UAAU,GAAG,UAAU,CAAC,CAAC;AACvE,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-48-grw-localization.d.ts

@@ -1,7 +1,8 @@
 /**
- * Bridge Equation 48 — GRW mass-amplified localization rate
- * (Continuous Spontaneous Localization mass-dependence, post Wave Y
- * reformulation).
+ * Bridge Equation 48 — GRW mass-amplified localization rate (post Wave Y
+ * reformulation). The linear law is the GRW (QMSL) centre-of-mass
+ * amplification λ_macro = N λ_micro (Bassi & Ghirardi 2003 §6.4); in CSL the
+ * macroscopic rate is γ D_0 n_out instead (§8.3).
  *
  *   λ_GRW(m) = λ_0 · (m / m_0)
  *
@@ -14,11 +15,11 @@
  *   - Ghirardi, Rimini & Weber 1986 *Phys. Rev. D* 34:470 (canonical
  *     GRW objective-collapse master equation; original 1986 form).
  *   - Pearle 1989 *Phys. Rev. A* 39:2277 (Continuous Spontaneous
- *     Localization extension; introduces mass-density-coupled noise).
- *   - Ghirardi, Pearle & Rimini 1990 *Phys. Rev. A* 42:78 (CSL with
- *     mass-amplification mechanism: rate λ ∝ m/m_0 for composite
- *     systems with N nucleons).
- *   - Bassi & Ghirardi 2003 *Phys. Rep.* 379:257 (review).
+ *     Localization; not seen).
+ *   - Ghirardi, Pearle & Rimini 1990 *Phys. Rev. A* 42:78 (the CSL
+ *     paper; metadata only).
+ *   - Bassi & Ghirardi 2003 *Phys. Rep.* 379:257 (review; §6.4 gives the
+ *     GRW/QMSL centre-of-mass amplification, §8.3 the CSL rate).
  *
  * Status: speculative.
  *

package/dist/bridges/equations/be-48-grw-localization.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-48-grw-localization.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-48-grw-localization.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAO1F;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,QAYvC,CAAC;AAEF,uDAAuD;AACvD,gBAAgB;AAChB,eAAO,MAAM,yBAAyB,EAAE,QAAuC,CAAC;AAIhF;;GAEG;AACH,UAAU,qBAAqB;IAC7B,kDAAkD;IAClD,IAAI,EAAE,MAAM,CAAC;IACb;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAKD;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG,MAAM,CAiB5E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}
+{"version":3,"file":"be-48-grw-localization.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-48-grw-localization.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAO1F;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,QAYvC,CAAC;AAEF,uDAAuD;AACvD,gBAAgB;AAChB,eAAO,MAAM,yBAAyB,EAAE,QAAuC,CAAC;AAIhF;;GAEG;AACH,UAAU,qBAAqB;IAC7B,kDAAkD;IAClD,IAAI,EAAE,MAAM,CAAC;IACb;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAKD;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG,MAAM,CAiB5E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

package/dist/bridges/equations/be-48-grw-localization.js

@@ -1,7 +1,8 @@
 /**
- * Bridge Equation 48 — GRW mass-amplified localization rate
- * (Continuous Spontaneous Localization mass-dependence, post Wave Y
- * reformulation).
+ * Bridge Equation 48 — GRW mass-amplified localization rate (post Wave Y
+ * reformulation). The linear law is the GRW (QMSL) centre-of-mass
+ * amplification λ_macro = N λ_micro (Bassi & Ghirardi 2003 §6.4); in CSL the
+ * macroscopic rate is γ D_0 n_out instead (§8.3).
  *
  *   λ_GRW(m) = λ_0 · (m / m_0)
  *
@@ -14,11 +15,11 @@
  *   - Ghirardi, Rimini & Weber 1986 *Phys. Rev. D* 34:470 (canonical
  *     GRW objective-collapse master equation; original 1986 form).
  *   - Pearle 1989 *Phys. Rev. A* 39:2277 (Continuous Spontaneous
- *     Localization extension; introduces mass-density-coupled noise).
- *   - Ghirardi, Pearle & Rimini 1990 *Phys. Rev. A* 42:78 (CSL with
- *     mass-amplification mechanism: rate λ ∝ m/m_0 for composite
- *     systems with N nucleons).
- *   - Bassi & Ghirardi 2003 *Phys. Rep.* 379:257 (review).
+ *     Localization; not seen).
+ *   - Ghirardi, Pearle & Rimini 1990 *Phys. Rev. A* 42:78 (the CSL
+ *     paper; metadata only).
+ *   - Bassi & Ghirardi 2003 *Phys. Rep.* 379:257 (review; §6.4 gives the
+ *     GRW/QMSL centre-of-mass amplification, §8.3 the CSL rate).
  *
  * Status: speculative.
  *

package/dist/bridges/equations/be-48-grw-localization.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-48-grw-localization.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-48-grw-localization.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EACL,SAAS,EACT,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC;QAC1B;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;aACjB;SACF;KACF;CACF,CAAC;AAEF,uDAAuD;AACvD,gBAAgB;AAChB,MAAM,CAAC,MAAM,yBAAyB,GAAa,GAAG,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;AAuBhF,MAAM,cAAc,GAAG,QAAQ,CAAC,CAAC,sBAAsB;AACvD,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,uCAAuC;AAEvE;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAA4B;IAClE,MAAM,QAAQ,GAAG;QACf,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,cAAc;QACtC,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,gBAAgB;KACzD,CAAC;IACF,oBAAoB,CAClB,QAAQ,EACR;QACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC5C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,EAAE;KACnC,EACD,yBAAyB,CAC1B,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,QAAQ,CAAC;IAClD,OAAO,cAAc,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC;AAC1C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,yBAAyB,EACzB,yBAAyB,EACzB,MAAM,CACP,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-48-grw-localization.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-48-grw-localization.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAGH,OAAO,EACL,SAAS,EACT,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC;QAC1B;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;aACjB;SACF;KACF;CACF,CAAC;AAEF,uDAAuD;AACvD,gBAAgB;AAChB,MAAM,CAAC,MAAM,yBAAyB,GAAa,GAAG,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;AAuBhF,MAAM,cAAc,GAAG,QAAQ,CAAC,CAAC,sBAAsB;AACvD,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,uCAAuC;AAEvE;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAA4B;IAClE,MAAM,QAAQ,GAAG;QACf,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,cAAc;QACtC,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,gBAAgB;KACzD,CAAC;IACF,oBAAoB,CAClB,QAAQ,EACR;QACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC5C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,EAAE;KACnC,EACD,yBAAyB,CAC1B,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,QAAQ,CAAC;IAClD,OAAO,cAAc,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC;AAC1C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,yBAAyB,EACzB,yBAAyB,EACzB,MAAM,CACP,CAAC;AACJ,CAAC"}

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

@@ -22,12 +22,22 @@
  *
  * @module bridges/gravitational-lensing
  */
+/**
+ * Inputs to `evaluateGravitationalLensing` (BE-51).
+ *
+ * @public
+ */
 export interface GravitationalLensingInputs {
     /** Lensing mass in kilograms. */
     readonly M_kg: number;
     /** Impact parameter in metres.  Must be strictly positive. */
     readonly b_m: number;
 }
+/**
+ * Result of `evaluateGravitationalLensing` (BE-51).
+ *
+ * @public
+ */
 export interface GravitationalLensingResult {
     /** Deflection angle in radians: α = 4GM/(bc²). */
     readonly alpha_rad: number;

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

@@ -1 +1 @@
-{"version":3,"file":"gravitational-lensing.d.ts","sourceRoot":"","sources":["../../src/bridges/gravitational-lensing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAOH,MAAM,WAAW,0BAA0B;IACzC,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,0BAA0B;IACzC,kDAAkD;IAClD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,8DAA8D;IAC9D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,0BAA0B,GACjC,0BAA0B,CAU5B"}
+{"version":3,"file":"gravitational-lensing.d.ts","sourceRoot":"","sources":["../../src/bridges/gravitational-lensing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAOH;;;;GAIG;AACH,MAAM,WAAW,0BAA0B;IACzC,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,MAAM,WAAW,0BAA0B;IACzC,kDAAkD;IAClD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,8DAA8D;IAC9D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,0BAA0B,GACjC,0BAA0B,CAU5B"}

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

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