universal-physics-tensor 0.5.0 → 0.7.0

package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts

@@ -60,7 +60,7 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 32)
  * @module bridges/equations/be-32-quantum-reference-frame
  */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+import type { ExprNode } from '../../dimensional/validator.js';
 /**
  * Lemma AST: c² where c = Re ⟨ψ_A | U(g) | ψ_B⟩. Both factors are
  * the same dimensionless symbol, so the product is dimensionless.
@@ -77,9 +77,10 @@ export declare const BE32_IMAG_PART_SQUARED: ExprNode;
  * summands are dimensionless, so the sum is dimensionless.
  */
 export declare const BE32_QRF_OVERLAP_RHS: ExprNode;
-/** LHS: P_overlap is the Born-rule probability — dimensionless ∈ [0,1]. */
-export declare const BE32_QRF_OVERLAP_LHS: ExprNode;
-export interface QRFOverlapInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateQRFOverlap` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface QRFOverlapInputs {
     /**
      * Real part of ⟨ψ_A | U(g) | ψ_B⟩. Unitless; physically ∈ [-1, 1]
      * for normalised states. Must be finite.
@@ -105,9 +106,5 @@ export interface QRFOverlapInputs {
  * @returns P_overlap ∈ [0, 1] (dimensionless probability).
  */
 export declare function evaluateQRFOverlap(input: QRFOverlapInputs): number;
-/**
- * Run the AST through the dimensional analyzer; LHS and RHS should
- * both be DIMENSIONLESS.
- */
-export declare function validateBE32Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-32-quantum-reference-frame.d.ts.map

package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-32-quantum-reference-frame.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-32-quantum-reference-frame.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAQ1F;;;GAGG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAMpC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAMpC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAMlC,CAAC;AAEF,2EAA2E;AAC3E,eAAO,MAAM,oBAAoB,EAAE,QAA0C,CAAC;AAY9E,MAAM,WAAW,gBAAgB;IAC/B;;;OAGG;IACH,SAAS,EAAE,MAAM,CAAC;IAClB;;;OAGG;IACH,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAqBlE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-32-quantum-reference-frame.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-32-quantum-reference-frame.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAA6B,MAAM,gCAAgC,CAAC;AAM1F;;;GAGG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAMpC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAMpC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAMlC,CAAC;AAeF;;GAEG;AACH,UAAU,gBAAgB;IACxB;;;OAGG;IACH,SAAS,EAAE,MAAM,CAAC;IAClB;;;OAGG;IACH,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAmBlE"}

package/dist/bridges/equations/be-32-quantum-reference-frame.js

@@ -60,10 +60,9 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 32)
  * @module bridges/equations/be-32-quantum-reference-frame
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS } from '../../dimensional/types.js';
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 // --- Symbolic AST ---
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
 /**
  * Lemma AST: c² where c = Re ⟨ψ_A | U(g) | ψ_B⟩. Both factors are
  * the same dimensionless symbol, so the product is dimensionless.
@@ -99,7 +98,7 @@ export const BE32_QRF_OVERLAP_RHS = {
     ],
 };
 /** LHS: P_overlap is the Born-rule probability — dimensionless ∈ [0,1]. */
-export const BE32_QRF_OVERLAP_LHS = sym('P_overlap', DIMENSIONLESS);
+const BE32_QRF_OVERLAP_LHS = sym('P_overlap', DIMENSIONLESS);
 // --- Numerical evaluator ---
 /**
  * Floating-point tolerance for the Born-rule guard. A computed
@@ -122,14 +121,12 @@ const BORN_RULE_EPS = 1e-12;
  * @returns P_overlap ∈ [0, 1] (dimensionless probability).
  */
 export function evaluateQRFOverlap(input) {
+    validateFiniteInputs(input, [{ name: 'real_part' }, { name: 'imag_part' }], 'evaluateQRFOverlap');
     const { real_part, imag_part } = input;
-    if (!Number.isFinite(real_part)) {
-        throw new RangeError(`evaluateQRFOverlap: real_part must be finite, got ${real_part}`);
-    }
-    if (!Number.isFinite(imag_part)) {
-        throw new RangeError(`evaluateQRFOverlap: imag_part must be finite, got ${imag_part}`);
-    }
     const p = real_part * real_part + imag_part * imag_part;
+    // Non-standard post-computation Born-rule check — kept inline because
+    // it depends on the computed `p`, not on a single input field, and
+    // emits bespoke "Born-rule violation" prose for caller diagnosis.
     if (p > 1.0 + BORN_RULE_EPS) {
         throw new RangeError(`evaluateQRFOverlap: Born-rule violation — c² + s² = ${p} > 1 ` +
             `(real_part=${real_part}, imag_part=${imag_part}). Inputs do not ` +
@@ -142,14 +139,7 @@ export function evaluateQRFOverlap(input) {
  * Run the AST through the dimensional analyzer; LHS and RHS should
  * both be DIMENSIONLESS.
  */
-export function validateBE32Dimensions() {
-    const eq = validateEquation(BE32_QRF_OVERLAP_LHS, BE32_QRF_OVERLAP_RHS);
-    const lhs = validate(BE32_QRF_OVERLAP_LHS);
-    const rhs = validate(BE32_QRF_OVERLAP_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+function validateBE32Dimensions() {
+    return validateBEDimensions(BE32_QRF_OVERLAP_LHS, BE32_QRF_OVERLAP_RHS, 'BE32');
 }
 //# sourceMappingURL=be-32-quantum-reference-frame.js.map

package/dist/bridges/equations/be-32-quantum-reference-frame.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-32-quantum-reference-frame.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-32-quantum-reference-frame.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAa,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAEtE,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;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;QACvB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;KACxB;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;QACvB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;KACxB;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,sBAAsB;QACtB,sBAAsB;KACvB;CACF,CAAC;AAEF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,oBAAoB,GAAa,GAAG,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;AAE9E,8BAA8B;AAE9B;;;;;GAKG;AACH,MAAM,aAAa,GAAG,KAAK,CAAC;AAe5B;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAuB;IACxD,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IACvC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,UAAU,CAClB,qDAAqD,SAAS,EAAE,CACjE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,UAAU,CAClB,qDAAqD,SAAS,EAAE,CACjE,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,CAAC;IACxD,IAAI,CAAC,GAAG,GAAG,GAAG,aAAa,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAClB,uDAAuD,CAAC,OAAO;YAC/D,cAAc,SAAS,eAAe,SAAS,mBAAmB;YAClE,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,oBAAoB,EAAE,oBAAoB,CAAC,CAAC;IACxE,MAAM,GAAG,GAAG,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IAC3C,MAAM,GAAG,GAAG,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IAC3C,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"be-32-quantum-reference-frame.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-32-quantum-reference-frame.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;QACvB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;KACxB;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;QACvB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;KACxB;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,sBAAsB;QACtB,sBAAsB;KACvB;CACF,CAAC;AAEF,2EAA2E;AAC3E,MAAM,oBAAoB,GAAa,GAAG,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;AAEvE,8BAA8B;AAE9B;;;;;GAKG;AACH,MAAM,aAAa,GAAG,KAAK,CAAC;AAkB5B;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAuB;IACxD,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAC9C,oBAAoB,CACrB,CAAC;IACF,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IACvC,MAAM,CAAC,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,CAAC;IACxD,sEAAsE;IACtE,mEAAmE;IACnE,kEAAkE;IAClE,IAAI,CAAC,GAAG,GAAG,GAAG,aAAa,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAClB,uDAAuD,CAAC,OAAO;YAC/D,cAAc,SAAS,eAAe,SAAS,mBAAmB;YAClE,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,SAAS,sBAAsB;IAC7B,OAAO,oBAAoB,CAAC,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,CAAC,CAAC;AAClF,CAAC"}

package/dist/bridges/equations/be-33-hertz-millis.d.ts

@@ -1,33 +1,45 @@
 /**
  * Bridge Equation 33 — Quantum-Classical Critical Point Mapping
- * (Hertz-Millis canonical scaling, 3D Heisenberg universality class).
+ * (Hertz-Millis finite-temperature correlation-length scaling).
  *
- *   ξ_quantum(T) = ξ_0 · (T/T_0)^(-ν/z)
+ *   ξ_quantum(T) = ξ_0 · (T/T_0)^(-1/z)
  *
- * Pinned to 3D Heisenberg: z = 1, ν ≈ 0.71 → exponent -ν/z ≈ -0.71.
+ * 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 (canonical scaling
- * ξ ~ T^{-ν/z}); Sondhi-Girvin-Carini-Shahar 1997 *Rev. Mod. Phys.*
- * 69:315; Sachdev 2011 *Quantum Phase Transitions* 2nd ed. Ch. 11.
+ * 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:
- *   - The Hertz-Millis scaling form ξ ~ T^{-ν/z} is canonical for QCPs;
- *     the *3D Heisenberg pin* (z = 1, ν ≈ 0.71) is a deliberate
- *     framework commitment. Alternative universality classes
- *     (3D Ising z=1 ν≈0.63; 3D XY z=1 ν≈0.67; fermionic Hertz-Millis-
- *     Moriya z=2-3) give different exponents and would each warrant
- *     separate BE entries.
+ *   - **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 -0.71 (3D Heisenberg) — same convention as
- *     BE-34 Kibble-Zurek's d=ν=z=1 commitment. The numerical evaluator
- *     remains universality-class-agnostic (caller passes ν, z directly).
+ *     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
- *     -0.71 exponent only fixes the bracket-check scaling, not 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)
@@ -36,35 +48,46 @@
 import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
 /**
  * RHS of Hertz-Millis correlation length:
- *   ξ_0 · (T/T_0)^(-0.71)
+ *   ξ_0 · (T/T_0)^(-1/z)
  *
- * The dimensionless ratio T/T_0 is raised to -0.71 (3D Heisenberg, z=1
- * ν≈0.71); the result remains [length] because (1)^anything = 1 and
- * we multiply by ξ_0 [L].
+ * 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 declare const BE33_HERTZ_MILLIS_RHS: ExprNode;
 /** LHS: ξ has dimension [length]. */
+/** @internal */
 export declare const BE33_HERTZ_MILLIS_LHS: ExprNode;
-export interface HertzMillisInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateHertzMillis` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+interface HertzMillisInputs {
     /** Reference correlation length ξ_0 (m). Must be > 0 and finite. */
     xi_0_m: number;
     /** Temperature T (K). Must be > 0 and finite. */
     T_K: number;
     /** Reference temperature T_0 (K). Must be > 0 and finite. */
     T_0_K: number;
-    /** Static correlation-length exponent ν (dimensionless, e.g. 0.71 for 3D Heisenberg). */
+    /**
+     * Static correlation-length exponent ν (dimensionless). Retained as an
+     * input for API stability and physical completeness — ν is the exponent
+     * of the *T=0 tuning-parameter* divergence ξ ~ |g-g_c|^(-ν). As of the
+     * 2026-05-20 exponent correction it does NOT enter the finite-T
+     * correlation-length formula, which is ξ ~ (T/T_0)^(-1/z). Still
+     * validated as finite if supplied.
+     */
     nu: number;
-    /** Dynamic exponent z (dimensionless, must be non-zero; e.g. 1 for 3D Heisenberg). */
+    /** Dynamic exponent z (dimensionless, must be non-zero; e.g. 1 for a Lorentz-invariant QCP). */
     z: number;
 }
 /**
- * Evaluate the Hertz-Millis correlation length
+ * Evaluate the Hertz-Millis finite-temperature correlation length
  *
- *   ξ(T) = ξ_0 · (T/T_0)^(-ν/z)
+ *   ξ(T) = ξ_0 · (T/T_0)^(-1/z)
  *
- * The evaluator is universality-class-agnostic: caller passes (ν, z).
- * The AST exponent is pinned to the 3D Heisenberg case (-0.71); other
- * classes are computable here without touching the AST.
+ * 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.
  */
@@ -73,5 +96,7 @@ export declare function evaluateHertzMillis(input: HertzMillisInputs): number;
  * Run the AST through the dimensional analyzer; both sides should be
  * [length].
  */
+/** @internal */
 export declare function validateBE33Dimensions(): DimensionValidationReport;
+export {};
 //# sourceMappingURL=be-33-hertz-millis.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"be-33-hertz-millis.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-33-hertz-millis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAW1F;;;;;;;GAOG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAkBnC,CAAC;AAEF,qCAAqC;AACrC,eAAO,MAAM,qBAAqB,EAAE,QAAoC,CAAC;AAIzE,MAAM,WAAW,iBAAiB;IAChC,oEAAoE;IACpE,MAAM,EAAE,MAAM,CAAC;IACf,iDAAiD;IACjD,GAAG,EAAE,MAAM,CAAC;IACZ,6DAA6D;IAC7D,KAAK,EAAE,MAAM,CAAC;IACd,yFAAyF;IACzF,EAAE,EAAE,MAAM,CAAC;IACX,sFAAsF;IACtF,CAAC,EAAE,MAAM,CAAC;CACX;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,iBAAiB,GAAG,MAAM,CA4BpE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}
+{"version":3,"file":"be-33-hertz-millis.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-33-hertz-millis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;;GAOG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAkBnC,CAAC;AAEF,qCAAqC;AACrC,gBAAgB;AAChB,eAAO,MAAM,qBAAqB,EAAE,QAAoC,CAAC;AAIzE;;GAEG;AACH,UAAU,iBAAiB;IACzB,oEAAoE;IACpE,MAAM,EAAE,MAAM,CAAC;IACf,iDAAiD;IACjD,GAAG,EAAE,MAAM,CAAC;IACZ,6DAA6D;IAC7D,KAAK,EAAE,MAAM,CAAC;IACd;;;;;;;OAOG;IACH,EAAE,EAAE,MAAM,CAAC;IACX,gGAAgG;IAChG,CAAC,EAAE,MAAM,CAAC;CACX;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,iBAAiB,GAAG,MAAM,CAsBpE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

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

@@ -1,48 +1,59 @@
 /**
  * Bridge Equation 33 — Quantum-Classical Critical Point Mapping
- * (Hertz-Millis canonical scaling, 3D Heisenberg universality class).
+ * (Hertz-Millis finite-temperature correlation-length scaling).
  *
- *   ξ_quantum(T) = ξ_0 · (T/T_0)^(-ν/z)
+ *   ξ_quantum(T) = ξ_0 · (T/T_0)^(-1/z)
  *
- * Pinned to 3D Heisenberg: z = 1, ν ≈ 0.71 → exponent -ν/z ≈ -0.71.
+ * 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 (canonical scaling
- * ξ ~ T^{-ν/z}); Sondhi-Girvin-Carini-Shahar 1997 *Rev. Mod. Phys.*
- * 69:315; Sachdev 2011 *Quantum Phase Transitions* 2nd ed. Ch. 11.
+ * 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:
- *   - The Hertz-Millis scaling form ξ ~ T^{-ν/z} is canonical for QCPs;
- *     the *3D Heisenberg pin* (z = 1, ν ≈ 0.71) is a deliberate
- *     framework commitment. Alternative universality classes
- *     (3D Ising z=1 ν≈0.63; 3D XY z=1 ν≈0.67; fermionic Hertz-Millis-
- *     Moriya z=2-3) give different exponents and would each warrant
- *     separate BE entries.
+ *   - **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 -0.71 (3D Heisenberg) — same convention as
- *     BE-34 Kibble-Zurek's d=ν=z=1 commitment. The numerical evaluator
- *     remains universality-class-agnostic (caller passes ν, z directly).
+ *     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
- *     -0.71 exponent only fixes the bracket-check scaling, not 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 { validate, validateEquation } from '../../dimensional/validator.js';
 import { DIMENSIONLESS, LENGTH, TEMPERATURE, } from '../../dimensional/types.js';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * RHS of Hertz-Millis correlation length:
- *   ξ_0 · (T/T_0)^(-0.71)
+ *   ξ_0 · (T/T_0)^(-1/z)
  *
- * The dimensionless ratio T/T_0 is raised to -0.71 (3D Heisenberg, z=1
- * ν≈0.71); the result remains [length] because (1)^anything = 1 and
- * we multiply by ξ_0 [L].
+ * 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: '*',
@@ -58,56 +69,49 @@ export const BE33_HERTZ_MILLIS_RHS = {
                         sym('T_0', TEMPERATURE),
                     ],
                 },
-                sym('-0.71', DIMENSIONLESS), // canonical 3D Heisenberg -ν/z
+                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 correlation length
+ * Evaluate the Hertz-Millis finite-temperature correlation length
  *
- *   ξ(T) = ξ_0 · (T/T_0)^(-ν/z)
+ *   ξ(T) = ξ_0 · (T/T_0)^(-1/z)
  *
- * The evaluator is universality-class-agnostic: caller passes (ν, z).
- * The AST exponent is pinned to the 3D Heisenberg case (-0.71); other
- * classes are computable here without touching the AST.
+ * 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) {
-    const { xi_0_m, T_K, T_0_K, nu, z } = input;
-    if (!Number.isFinite(xi_0_m) || xi_0_m <= 0) {
-        throw new RangeError(`evaluateHertzMillis: xi_0_m must be a finite positive number, got ${xi_0_m}`);
-    }
-    if (!Number.isFinite(T_K) || T_K <= 0) {
-        throw new RangeError(`evaluateHertzMillis: T_K must be a finite positive number, got ${T_K}`);
-    }
-    if (!Number.isFinite(T_0_K) || T_0_K <= 0) {
-        throw new RangeError(`evaluateHertzMillis: T_0_K must be a finite positive number, got ${T_0_K}`);
-    }
-    if (!Number.isFinite(nu)) {
-        throw new RangeError(`evaluateHertzMillis: nu must be finite, got ${nu}`);
-    }
-    if (!Number.isFinite(z) || z === 0) {
+    // 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, -nu / 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() {
-    const eq = validateEquation(BE33_HERTZ_MILLIS_LHS, BE33_HERTZ_MILLIS_RHS);
-    const lhs = validate(BE33_HERTZ_MILLIS_LHS);
-    const rhs = validate(BE33_HERTZ_MILLIS_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    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 +1 @@
-{"version":3,"file":"be-33-hertz-millis.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-33-hertz-millis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,EACN,WAAW,GACZ,MAAM,4BAA4B,CAAC;AAEpC,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;;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,OAAO,EAAE,aAAa,CAAC,EAAE,+BAA+B;aAC7D;SACF;KACF;CACF,CAAC;AAEF,qCAAqC;AACrC,MAAM,CAAC,MAAM,qBAAqB,GAAa,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;AAiBzE;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAwB;IAC1D,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IAC5C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,UAAU,CAClB,qEAAqE,MAAM,EAAE,CAC9E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,kEAAkE,GAAG,EAAE,CACxE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,UAAU,CAClB,oEAAoE,KAAK,EAAE,CAC5E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,UAAU,CAClB,+CAA+C,EAAE,EAAE,CACpD,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,UAAU,CAClB,gEAAgE,CAAC,EAAE,CACpE,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,qBAAqB,EAAE,qBAAqB,CAAC,CAAC;IAC1E,MAAM,GAAG,GAAG,QAAQ,CAAC,qBAAqB,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,QAAQ,CAAC,qBAAqB,CAAC,CAAC;IAC5C,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}
+{"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

@@ -44,9 +44,10 @@ export declare const KIBBLE_ZUREK_EXP_ARG: ExprNode;
  * exponent-agnostic.
  */
 export declare const KIBBLE_ZUREK_RHS: ExprNode;
-/** LHS: n_defect is dimensionless (scaling ratio, no length scale in the formula). */
-export declare const KIBBLE_ZUREK_LHS: ExprNode;
-export interface KibbleZurekInputs {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateKibbleZurek` function; not in the v0.7 public surface. See `docs/architecture/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. */
@@ -72,5 +73,7 @@ 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 +1 @@
-{"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;AAiB1F;;GAEG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAuBlC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAe9B,CAAC;AAEF,sFAAsF;AACtF,eAAO,MAAM,gBAAgB,EAAE,QAAyC,CAAC;AAIzE,MAAM,WAAW,iBAAiB;IAChC,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,CAuCpE;AAID;;;GAGG;AACH,wBAAgB,6BAA6B,IAAI,yBAAyB,CASzE"}
+{"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;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAe9B,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

@@ -32,11 +32,10 @@
  * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 34)
  * @module bridges/equations/be-34-kibble-zurek
  */
-import { validate, validateEquation } from '../../dimensional/validator.js';
 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';
-const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
 /**
  * Lemma AST: the Boltzmann argument m_defect c² / (k_B T_reh).
  */
@@ -87,33 +86,29 @@ export const KIBBLE_ZUREK_RHS = {
     ],
 };
 /** LHS: n_defect is dimensionless (scaling ratio, no length scale in the formula). */
-export const KIBBLE_ZUREK_LHS = sym('n_defect', DIMENSIONLESS);
+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;
-    if (!Number.isFinite(tau_Q) || tau_Q <= 0) {
-        throw new RangeError(`evaluateKibbleZurek: tau_Q must be a finite positive number, got ${tau_Q}`);
-    }
-    if (!Number.isFinite(tau_0) || tau_0 <= 0) {
-        throw new RangeError(`evaluateKibbleZurek: tau_0 must be a finite positive number, got ${tau_0}`);
-    }
-    if (!Number.isFinite(d) || !Number.isFinite(nu) || !Number.isFinite(z)) {
-        throw new RangeError(`evaluateKibbleZurek: d, nu, z must be finite, got ${d}, ${nu}, ${z}`);
-    }
     const denom = 1 + z * nu;
     if (denom === 0) {
         throw new RangeError(`evaluateKibbleZurek: 1 + z*nu must be non-zero (got ${denom})`);
     }
-    if (!Number.isFinite(m_defect) || m_defect < 0) {
-        throw new RangeError(`evaluateKibbleZurek: m_defect must be a finite non-negative number, got ${m_defect}`);
-    }
-    if (!Number.isFinite(T_reh) || T_reh <= 0) {
-        throw new RangeError(`evaluateKibbleZurek: T_reh must be a finite positive number, got ${T_reh}`);
-    }
     const exponent = -(d * nu) / denom;
     const ratio = tau_Q / tau_0;
     const scaling = Math.pow(ratio, exponent);
@@ -126,14 +121,8 @@ export function evaluateKibbleZurek(input) {
  * Run the AST through the dimensional analyzer; both sides should be
  * dimensionless [1].
  */
+/** @internal */
 export function validateKibbleZurekDimensions() {
-    const eq = validateEquation(KIBBLE_ZUREK_LHS, KIBBLE_ZUREK_RHS);
-    const lhs = validate(KIBBLE_ZUREK_LHS);
-    const rhs = validate(KIBBLE_ZUREK_RHS);
-    return {
-        ok: eq.ok,
-        lhsDim: lhs.inferredDimension,
-        rhsDim: rhs.inferredDimension,
-    };
+    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 +1 @@
-{"version":3,"file":"be-34-kibble-zurek.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-34-kibble-zurek.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,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;AAExD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;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;;;;;GAKG;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,GAAG,CAAC,yBAAyB,EAAE,aAAa,CAAC;KAC9C;CACF,CAAC;AAEF,sFAAsF;AACtF,MAAM,CAAC,MAAM,gBAAgB,GAAa,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;AAqBzE;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAwB;IAC1D,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC1D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,UAAU,CAClB,oEAAoE,KAAK,EAAE,CAC5E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,UAAU,CAClB,oEAAoE,KAAK,EAAE,CAC5E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,UAAU,CAClB,qDAAqD,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CACtE,CAAC;IACJ,CAAC;IACD,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,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,UAAU,CAClB,2EAA2E,QAAQ,EAAE,CACtF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,UAAU,CAClB,oEAAoE,KAAK,EAAE,CAC5E,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,MAAM,UAAU,6BAA6B;IAC3C,MAAM,EAAE,GAAG,gBAAgB,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;IAChE,MAAM,GAAG,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IACvC,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}
+{"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;;;;;GAKG;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,GAAG,CAAC,yBAAyB,EAAE,aAAa,CAAC;KAC9C;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

@@ -63,7 +63,7 @@
  * @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';
+import type { ExprNode } from '../../dimensional/validator.js';
 /**
  * Lemma AST: forward-channel block `C² · g_block(u, v)`.
  *
@@ -88,9 +88,10 @@ export declare const BE35_CROSSED_BLOCK: ExprNode;
  * 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 {
+/**
+ * @internal — typed-arg shape for the file-local `evaluateCrossingResidual` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ */
+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. */
@@ -109,9 +110,5 @@ export interface CrossingResidualInputs {
  * 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;
+export {};
 //# sourceMappingURL=be-35-conformal-bootstrap.d.ts.map

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,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"}
+{"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"}