universal-physics-tensor 7.0.0 → 9.0.0

package/dist/bridges/equations/be-33-hertz-millis.js

@@ -1,117 +0,0 @@
-/**
- * Bridge Equation 33 — Quantum-Classical Critical Point Mapping
- * (Hertz-Millis finite-temperature correlation-length scaling).
- *
- *   ξ_quantum(T) = ξ_0 · (T/T_0)^(-1/z)
- *
- * z = 1 (Lorentz-invariant QCP) → exponent -1/z = -1.
- *
- * Reference: Hertz 1976 *Phys. Rev. B* 14:1165 (original Hertz-Millis
- * theory); Millis 1993 *Phys. Rev. B* 48:7183 (Hertz-Millis at finite-T);
- * Sondhi-Girvin-Carini-Shahar 1997 *Rev. Mod. Phys.* 69:315; Sachdev
- * 2011 *Quantum Phase Transitions* 2nd ed. Ch. 11.
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - **Exponent corrected 2026-05-20.** The earlier encoding used the
- *     exponent -ν/z (pinned -0.71 for "3D Heisenberg, ν≈0.71"). That was
- *     wrong: at a quantum critical point the *spatial correlation length
- *     as a function of temperature* scales as ξ ~ T^(-1/z). The dynamic
- *     exponent z alone sets the temperature dependence (temperature fixes
- *     the thermal length L_T ~ T^(-1/z)); the correlation-length exponent
- *     ν governs the *T=0 tuning-parameter* divergence ξ ~ |g-g_c|^(-ν), a
- *     different axis. ν cancels out of the scaling function at the
- *     critical coupling. Confirmed by literature check against the
- *     QCP-scaling reviews (cond-mat/0503298 states ξ ~ (T/Tc)^(-1/z)
- *     explicitly) — this closes the prior `notes` honest-claude flag that
- *     the -ν/z vs -1/z convention was not WebFetch-confirmed.
- *   - The AST `^` op requires a literal-numeric exponent. We pin the
- *     symbolic exponent to -1 (the z = 1 Lorentz-invariant case).
- *   - Dimensional analysis is exponent-agnostic anyway: a dimensionless
- *     ratio raised to any real number stays dimensionless, so the
- *     exponent value only fixes the bracket-check scaling, not the
- *     dimensional inference.
- *   - Universality-class caveat: canonical itinerant Hertz-Millis sits
- *     *above its upper critical dimension* (mean-field exponents; z = 2
- *     antiferromagnetic / z = 3 ferromagnetic per Millis 1993). The
- *     "3D Heisenberg, z = 1" framing is a z = 1 Lorentz-invariant QCP
- *     (e.g. an insulating quantum antiferromagnet), not itinerant
- *     Hertz-Millis — see the `known_issues` entry on the catalog index.
- *     The exponent fix above is independent of universality class:
- *     ξ ~ T^(-1/z) holds whatever (ν, z) are.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 33: Quantum-Classical Critical Point Mapping")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 33)
- * @module bridges/equations/be-33-hertz-millis
- */
-import { DIMENSIONLESS, LENGTH, TEMPERATURE, } from '../../dimensional/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-/**
- * RHS of Hertz-Millis correlation length:
- *   ξ_0 · (T/T_0)^(-1/z)
- *
- * The dimensionless ratio T/T_0 is raised to -1 (= -1/z for the z = 1
- * Lorentz-invariant case); the result remains [length] because
- * (1)^anything = 1 and we multiply by ξ_0 [L].
- */
-export const BE33_HERTZ_MILLIS_RHS = {
-    kind: 'op', op: '*',
-    args: [
-        sym('xi_0', LENGTH),
-        {
-            kind: 'op', op: '^',
-            args: [
-                {
-                    kind: 'op', op: '/',
-                    args: [
-                        sym('T', TEMPERATURE),
-                        sym('T_0', TEMPERATURE),
-                    ],
-                },
-                sym('-1', DIMENSIONLESS), // -1/z, pinned z = 1
-            ],
-        },
-    ],
-};
-/** LHS: ξ has dimension [length]. */
-/** @internal */
-export const BE33_HERTZ_MILLIS_LHS = sym('xi_quantum', LENGTH);
-/**
- * Evaluate the Hertz-Millis finite-temperature correlation length
- *
- *   ξ(T) = ξ_0 · (T/T_0)^(-1/z)
- *
- * The temperature dependence at the quantum critical coupling is set by
- * the dynamic exponent z alone — see the module docstring for why ν does
- * not appear (corrected 2026-05-20). The result is independent of `nu`.
- *
- * @returns Correlation length in metres.
- */
-export function evaluateHertzMillis(input) {
-    // Helper covers the four standard fields. The `z !== 0` check is
-    // non-standard (non-zero, not non-negative or positive) and stays
-    // inline.
-    validateFiniteInputs(input, [
-        { name: 'xi_0_m', min: 0, excludeMin: true },
-        { name: 'T_K', min: 0, excludeMin: true },
-        { name: 'T_0_K', min: 0, excludeMin: true },
-        { name: 'nu' },
-        { name: 'z' },
-    ], 'evaluateHertzMillis');
-    const { xi_0_m, T_K, T_0_K, z } = input;
-    if (z === 0) {
-        throw new RangeError(`evaluateHertzMillis: z must be a finite non-zero number, got ${z}`);
-    }
-    return xi_0_m * Math.pow(T_K / T_0_K, -1 / z);
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [length].
- */
-/** @internal */
-export function validateBE33Dimensions() {
-    return validateBEDimensions(BE33_HERTZ_MILLIS_LHS, BE33_HERTZ_MILLIS_RHS, 'BE33');
-}
-//# sourceMappingURL=be-33-hertz-millis.js.map

package/dist/bridges/equations/be-33-hertz-millis.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-33-hertz-millis.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-33-hertz-millis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAGH,OAAO,EACL,aAAa,EACb,MAAM,EACN,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;QACnB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;wBACrB,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC;qBACxB;iBACF;gBACD,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,qBAAqB;aAChD;SACF;KACF;CACF,CAAC;AAEF,qCAAqC;AACrC,gBAAgB;AAChB,MAAM,CAAC,MAAM,qBAAqB,GAAa,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;AA2BzE;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAwB;IAC1D,iEAAiE;IACjE,kEAAkE;IAClE,UAAU;IACV,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC5C,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACzC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,IAAI,EAAE;QACd,EAAE,IAAI,EAAE,GAAG,EAAE;KACd,EACD,qBAAqB,CACtB,CAAC;IACF,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IACxC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACZ,MAAM,IAAI,UAAU,CAClB,gEAAgE,CAAC,EAAE,CACpE,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,MAAM,CAAC,CAAC;AACpF,CAAC"}

package/dist/bridges/equations/be-34-kibble-zurek.d.ts

@@ -1,83 +0,0 @@
-/**
- * Bridge Equation 34 — Kibble-Zurek Mechanism in Curved Spacetime.
- *
- *   n_defect = (τ_Q / τ_0)^(−dν/(1+zν)) · exp(−m_defect c² / (k_B T_reh))
- *
- * Reference: Kibble 1976 J. Phys. A 9:1387; Zurek 1985 Nature 317:505.
- * The exp(−m c²/(k_B T_reh)) Boltzmann suppression for curved-spacetime
- * defects is the additive 'Established extension' from the spec.
- *
- * Status: established.
- *
- * Honest-claude scope notes:
- *   - The AST `^` op requires a numeric symbol exponent. We encode the
- *     CANONICAL (d, ν, z) = (1, 1, 1) case → exponent = −1/2 in the
- *     symbolic AST. The dimensional answer is the same for any real
- *     exponent (dimensionless ratio raised to a number is dimensionless),
- *     so the encoded RHS is dimensionally faithful for ALL universality
- *     classes; the chosen `-0.5` only fixes the bracket-check scaling.
- *   - The Boltzmann factor exp(−m c²/(k_B T_reh)) is encoded as a
- *     dimensionless symbol stub (BE-41 pattern). The exp argument
- *     `m c² / (k_B T_reh)` is exposed as a separate ExprNode
- *     `KIBBLE_ZUREK_EXP_ARG` and verified dimensionless.
- *   - LHS `n_defect` is encoded DIMENSIONLESS — the formula has no
- *     length scale, so n is a pure scaling ratio (consistent with
- *     status_text "n ~ (τ_Q/τ_0)^... " in the spec notes). The spec
- *     form's missing `1/a^d` prefactor (the canonical n_defect should
- *     be `[L]^(-d)`) is now tracked as a structured `severity:
- *     'dimensional'` `KnownIssue` on the bridge index entry — see
- *     `src/bridges/index.ts` BE-34 `known_issues[0]`.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 34: Kibble-Zurek Mechanism in Curved Spacetime")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 34)
- * @module bridges/equations/be-34-kibble-zurek
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * Lemma AST: the Boltzmann argument m_defect c² / (k_B T_reh).
- */
-export declare const KIBBLE_ZUREK_EXP_ARG: ExprNode;
-/**
- * RHS of Kibble-Zurek with curvature: `(τ_Q/τ_0)^(-1/2) · exp(−m c²/(k_B T_reh))`.
- * The exp factor is encoded faithfully with the `transcendental` grammar node
- * (v0.18) — `exp(−1 · KIBBLE_ZUREK_EXP_ARG)` — so m_defect, c, k_B, T_reh inside
- * the Boltzmann argument are visible to differentiation. `exp` of a DIMENSIONLESS
- * argument is DIMENSIONLESS, so the inferred RHS dimension (and the round-trip
- * dimensional_signature) is unchanged from the former symbol stub. The chosen
- * (τ_Q/τ_0) exponent (−0.5) is the canonical (d, ν, z) = (1, 1, 1) case —
- * dimensional analysis is exponent-agnostic.
- */
-export declare const KIBBLE_ZUREK_RHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateKibbleZurek` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface KibbleZurekInputs {
-    /** Quench timescale τ_Q (s). Must be > 0. */
-    tau_Q: number;
-    /** Microscopic relaxation time τ_0 (s). Must be > 0. */
-    tau_0: number;
-    /** Spatial dimension d (typically 1, 2, 3). */
-    d: number;
-    /** Static correlation-length exponent ν. */
-    nu: number;
-    /** Dynamic exponent z. */
-    z: number;
-    /** Defect rest mass (kg). Must be ≥ 0. */
-    m_defect: number;
-    /** Reheating temperature (K). Must be > 0. */
-    T_reh: number;
-}
-/**
- * Evaluate n_defect = (τ_Q / τ_0)^(−dν/(1+zν)) · exp(−m c²/(k_B T_reh)).
- *
- * @returns Dimensionless n_defect.
- */
-export declare function evaluateKibbleZurek(input: KibbleZurekInputs): number;
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * dimensionless [1].
- */
-/** @internal */
-export declare function validateKibbleZurekDimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-34-kibble-zurek.d.ts.map

package/dist/bridges/equations/be-34-kibble-zurek.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-34-kibble-zurek.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-34-kibble-zurek.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAc1F;;GAEG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAuBlC,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAsB9B,CAAC;AAOF;;GAEG;AACH,UAAU,iBAAiB;IACzB,6CAA6C;IAC7C,KAAK,EAAE,MAAM,CAAC;IACd,wDAAwD;IACxD,KAAK,EAAE,MAAM,CAAC;IACd,+CAA+C;IAC/C,CAAC,EAAE,MAAM,CAAC;IACV,4CAA4C;IAC5C,EAAE,EAAE,MAAM,CAAC;IACX,0BAA0B;IAC1B,CAAC,EAAE,MAAM,CAAC;IACV,0CAA0C;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,8CAA8C;IAC9C,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,iBAAiB,GAAG,MAAM,CA6BpE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,6BAA6B,IAAI,yBAAyB,CAEzE"}

package/dist/bridges/equations/be-34-kibble-zurek.js

@@ -1,139 +0,0 @@
-/**
- * Bridge Equation 34 — Kibble-Zurek Mechanism in Curved Spacetime.
- *
- *   n_defect = (τ_Q / τ_0)^(−dν/(1+zν)) · exp(−m_defect c² / (k_B T_reh))
- *
- * Reference: Kibble 1976 J. Phys. A 9:1387; Zurek 1985 Nature 317:505.
- * The exp(−m c²/(k_B T_reh)) Boltzmann suppression for curved-spacetime
- * defects is the additive 'Established extension' from the spec.
- *
- * Status: established.
- *
- * Honest-claude scope notes:
- *   - The AST `^` op requires a numeric symbol exponent. We encode the
- *     CANONICAL (d, ν, z) = (1, 1, 1) case → exponent = −1/2 in the
- *     symbolic AST. The dimensional answer is the same for any real
- *     exponent (dimensionless ratio raised to a number is dimensionless),
- *     so the encoded RHS is dimensionally faithful for ALL universality
- *     classes; the chosen `-0.5` only fixes the bracket-check scaling.
- *   - The Boltzmann factor exp(−m c²/(k_B T_reh)) is encoded as a
- *     dimensionless symbol stub (BE-41 pattern). The exp argument
- *     `m c² / (k_B T_reh)` is exposed as a separate ExprNode
- *     `KIBBLE_ZUREK_EXP_ARG` and verified dimensionless.
- *   - LHS `n_defect` is encoded DIMENSIONLESS — the formula has no
- *     length scale, so n is a pure scaling ratio (consistent with
- *     status_text "n ~ (τ_Q/τ_0)^... " in the spec notes). The spec
- *     form's missing `1/a^d` prefactor (the canonical n_defect should
- *     be `[L]^(-d)`) is now tracked as a structured `severity:
- *     'dimensional'` `KnownIssue` on the bridge index entry — see
- *     `src/bridges/index.ts` BE-34 `known_issues[0]`.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 34: Kibble-Zurek Mechanism in Curved Spacetime")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 34)
- * @module bridges/equations/be-34-kibble-zurek
- */
-import { DIMENSIONLESS, TIME, MASS, TEMPERATURE, } from '../../dimensional/types.js';
-import { c as DIM_c, k_B as DIM_kB, } from '../../dimensional/constants.js';
-import { PhysicalConstants } from '../../core/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-/**
- * Lemma AST: the Boltzmann argument m_defect c² / (k_B T_reh).
- */
-export const KIBBLE_ZUREK_EXP_ARG = {
-    kind: 'op', op: '/',
-    args: [
-        {
-            // numerator: m · c²
-            kind: 'op', op: '*',
-            args: [
-                sym('m_defect', MASS),
-                {
-                    kind: 'op', op: '^',
-                    args: [sym('c', DIM_c), sym('2', DIMENSIONLESS)],
-                },
-            ],
-        },
-        {
-            // denominator: k_B · T_reh
-            kind: 'op', op: '*',
-            args: [
-                sym('k_B', DIM_kB),
-                sym('T_reh', TEMPERATURE),
-            ],
-        },
-    ],
-};
-/**
- * RHS of Kibble-Zurek with curvature: `(τ_Q/τ_0)^(-1/2) · exp(−m c²/(k_B T_reh))`.
- * The exp factor is encoded faithfully with the `transcendental` grammar node
- * (v0.18) — `exp(−1 · KIBBLE_ZUREK_EXP_ARG)` — so m_defect, c, k_B, T_reh inside
- * the Boltzmann argument are visible to differentiation. `exp` of a DIMENSIONLESS
- * argument is DIMENSIONLESS, so the inferred RHS dimension (and the round-trip
- * dimensional_signature) is unchanged from the former symbol stub. The chosen
- * (τ_Q/τ_0) exponent (−0.5) is the canonical (d, ν, z) = (1, 1, 1) case —
- * dimensional analysis is exponent-agnostic.
- */
-export const KIBBLE_ZUREK_RHS = {
-    kind: 'op', op: '*',
-    args: [
-        {
-            kind: 'op', op: '^',
-            args: [
-                {
-                    kind: 'op', op: '/',
-                    args: [sym('tau_Q', TIME), sym('tau_0', TIME)],
-                },
-                sym('-0.5', DIMENSIONLESS), // canonical d=ν=z=1 exponent
-            ],
-        },
-        {
-            kind: 'transcendental',
-            fn: 'exp',
-            arg: {
-                kind: 'op', op: '*',
-                args: [sym('-1', DIMENSIONLESS), KIBBLE_ZUREK_EXP_ARG],
-            },
-        },
-    ],
-};
-/** LHS: n_defect is dimensionless (scaling ratio, no length scale in the formula). */
-const KIBBLE_ZUREK_LHS = sym('n_defect', DIMENSIONLESS);
-/**
- * Evaluate n_defect = (τ_Q / τ_0)^(−dν/(1+zν)) · exp(−m c²/(k_B T_reh)).
- *
- * @returns Dimensionless n_defect.
- */
-export function evaluateKibbleZurek(input) {
-    // Helper covers 6 of the 7 per-field standard checks. The
-    // cross-field `(1 + z*nu) !== 0` constraint stays inline.
-    validateFiniteInputs(input, [
-        { name: 'tau_Q', min: 0, excludeMin: true },
-        { name: 'tau_0', min: 0, excludeMin: true },
-        { name: 'd' },
-        { name: 'nu' },
-        { name: 'z' },
-        { name: 'm_defect', min: 0 },
-        { name: 'T_reh', min: 0, excludeMin: true },
-    ], 'evaluateKibbleZurek');
-    const { tau_Q, tau_0, d, nu, z, m_defect, T_reh } = input;
-    const denom = 1 + z * nu;
-    if (denom === 0) {
-        throw new RangeError(`evaluateKibbleZurek: 1 + z*nu must be non-zero (got ${denom})`);
-    }
-    const exponent = -(d * nu) / denom;
-    const ratio = tau_Q / tau_0;
-    const scaling = Math.pow(ratio, exponent);
-    const { c, kB } = PhysicalConstants;
-    const arg = (m_defect * c * c) / (kB * T_reh);
-    return scaling * Math.exp(-arg);
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * dimensionless [1].
- */
-/** @internal */
-export function validateKibbleZurekDimensions() {
-    return validateBEDimensions(KIBBLE_ZUREK_LHS, KIBBLE_ZUREK_RHS, 'BE34');
-}
-//# sourceMappingURL=be-34-kibble-zurek.js.map

package/dist/bridges/equations/be-34-kibble-zurek.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-34-kibble-zurek.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-34-kibble-zurek.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAGH,OAAO,EACL,aAAa,EACb,IAAI,EACJ,IAAI,EACJ,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,CAAC,IAAI,KAAK,EACV,GAAG,IAAI,MAAM,GACd,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,oBAAoB;YACpB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC;gBACrB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACjD;aACF;SACF;QACD;YACE,2BAA2B;YAC3B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gBAClB,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC;aAC1B;SACF;KACF;CACF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;iBAC/C;gBACD,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,6BAA6B;aAC1D;SACF;QACD;YACE,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,KAAK;YACT,GAAG,EAAE;gBACH,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;gBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,oBAAoB,CAAC;aACvD;SACF;KACF;CACF,CAAC;AAEF,sFAAsF;AACtF,MAAM,gBAAgB,GAAa,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;AAwBlE;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAwB;IAC1D,0DAA0D;IAC1D,0DAA0D;IAC1D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,IAAI,EAAE;QACd,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE;QAC5B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC5C,EACD,qBAAqB,CACtB,CAAC;IACF,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC1D,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;IACzB,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,UAAU,CAClB,uDAAuD,KAAK,GAAG,CAChE,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC;IACnC,MAAM,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;IAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC1C,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACpC,MAAM,GAAG,GAAG,CAAC,QAAQ,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC;IAC9C,OAAO,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAClC,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,6BAA6B;IAC3C,OAAO,oBAAoB,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,CAAC,CAAC;AAC1E,CAAC"}

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