universal-physics-tensor 0.4.5

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

@@ -0,0 +1,155 @@
+/**
+ * Bridge Equation 32 — Quantum Reference Frame (QRF) overlap probability.
+ *
+ * Original (operator-valued) form:
+ *
+ *   |ψ⟩_B = ∫ dg U(g) |ψ⟩_A ⊗ |g⟩_frame
+ *
+ * which is operator-valued and, for non-compact symmetry groups, lacks
+ * a normalisable Haar measure (current `tractability_class:
+ * 'formally-divergent'`).
+ *
+ * Encoded scalar reduction (this module): the frame-invariant
+ * Born-rule overlap probability between two states related by a
+ * (single, implicit) frame transformation U(g):
+ *
+ *   P_overlap = |⟨ψ_A | U(g) | ψ_B⟩|² = c² + s²
+ *
+ * where
+ *   c = Re ⟨ψ_A | U(g) | ψ_B⟩,
+ *   s = Im ⟨ψ_A | U(g) | ψ_B⟩.
+ *
+ * P_overlap is dimensionless and lies in [0, 1] for normalised states
+ * (Born rule). This pins the canonical operationally-meaningful scalar
+ * without committing to a specific symmetry group or measure.
+ *
+ * References:
+ *   - Giacomini, Castro-Ruiz & Brukner 2019, Nat. Commun. 10:494
+ *     (arXiv:1712.07207): "Quantum mechanics and the covariance of
+ *     physical laws in quantum reference frames".
+ *   - Vanrietvelde, Hoehn, Giacomini & Castro-Ruiz 2020, Quantum 4:225
+ *     (arXiv:1809.00556): "A change of perspective: switching quantum
+ *     reference frames via a perspective-neutral framework".
+ *   - Bartlett, Rudolph & Spekkens 2007, Rev. Mod. Phys. 79:555
+ *     (arXiv:quant-ph/0610030): "Reference frames, superselection
+ *     rules, and quantum information".
+ *
+ * Status: speculative. The Born-rule probability `|⟨ψ_A|U(g)|ψ_B⟩|²`
+ * is itself a textbook scalar — what remains speculative is the
+ * QRF-bridge framing of BE-32 in this catalog (which gravitational /
+ * relational structure the U(g) corresponds to). The encoding pins
+ * the math; the QRF-bridge interpretation is the speculative content.
+ *
+ * Honest-claude scope notes:
+ *   - We encode the Born-rule probability for a single (implicit)
+ *     group element g. The original group-average `∫ dg ...` is
+ *     deferred — it would require committing to a specific symmetry
+ *     group and a Haar regulator (or an alternative regulator on a
+ *     non-compact group), neither of which is in BE-32 scope.
+ *   - The operator-valued U(g) is collapsed to its symbolic real and
+ *     imaginary matrix-element components c and s. The AST therefore
+ *     does not see the group structure; it only sees two dimensionless
+ *     real numbers feeding `c² + s²`.
+ *   - Born-rule guard: the numerical evaluator rejects `c² + s² > 1`
+ *     (within a small floating-point tolerance) because that would
+ *     mean the inputs do not correspond to overlap components of a
+ *     normalised state — a signal that the caller has provided
+ *     non-physical inputs rather than a genuine derived overlap.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 32: Quantum Reference Frame")
+ * @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';
+// --- 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.
+ */
+export const BE32_REAL_PART_SQUARED = {
+    kind: 'op', op: '*',
+    args: [
+        sym('c', DIMENSIONLESS),
+        sym('c', DIMENSIONLESS),
+    ],
+};
+/**
+ * Lemma AST: s² where s = Im ⟨ψ_A | U(g) | ψ_B⟩. Dimensionless by
+ * construction (matrix elements of a unitary between normalised
+ * vectors).
+ */
+export const BE32_IMAG_PART_SQUARED = {
+    kind: 'op', op: '*',
+    args: [
+        sym('s', DIMENSIONLESS),
+        sym('s', DIMENSIONLESS),
+    ],
+};
+/**
+ * RHS of `P_overlap = c² + s²` as a typed ExprNode tree. Both
+ * summands are dimensionless, so the sum is dimensionless.
+ */
+export const BE32_QRF_OVERLAP_RHS = {
+    kind: 'op', op: '+',
+    args: [
+        BE32_REAL_PART_SQUARED,
+        BE32_IMAG_PART_SQUARED,
+    ],
+};
+/** LHS: P_overlap is the Born-rule probability — dimensionless ∈ [0,1]. */
+export const BE32_QRF_OVERLAP_LHS = sym('P_overlap', DIMENSIONLESS);
+// --- Numerical evaluator ---
+/**
+ * Floating-point tolerance for the Born-rule guard. A computed
+ * `c² + s²` may slightly exceed 1 due to IEEE-754 rounding even when
+ * the inputs are physically a unit vector; we accept up to one ULP-
+ * scale slack before rejecting.
+ */
+const BORN_RULE_EPS = 1e-12;
+/**
+ * Evaluate P_overlap = |⟨ψ_A | U(g) | ψ_B⟩|² = c² + s².
+ *
+ * Honest-claude:
+ *   - Returns the scalar Born-rule probability for a single (implicit)
+ *     group element g. There is no group average / `∫ dg` — see the
+ *     module-header scope notes.
+ *   - Throws RangeError on non-finite inputs and on results that
+ *     exceed 1 by more than `BORN_RULE_EPS` (a Born-rule violation
+ *     guard catching obviously non-physical caller inputs).
+ *
+ * @returns P_overlap ∈ [0, 1] (dimensionless probability).
+ */
+export function evaluateQRFOverlap(input) {
+    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;
+    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 ` +
+            `correspond to overlap components of a normalised state.`);
+    }
+    return p;
+}
+// --- Self-validation ---
+/**
+ * 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,
+    };
+}
+//# sourceMappingURL=be-32-quantum-reference-frame.js.map

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

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

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

@@ -0,0 +1,77 @@
+/**
+ * Bridge Equation 33 — Quantum-Classical Critical Point Mapping
+ * (Hertz-Millis canonical scaling, 3D Heisenberg universality class).
+ *
+ *   ξ_quantum(T) = ξ_0 · (T/T_0)^(-ν/z)
+ *
+ * Pinned to 3D Heisenberg: z = 1, ν ≈ 0.71 → exponent -ν/z ≈ -0.71.
+ *
+ * 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.
+ *
+ * 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.
+ *   - 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).
+ *   - 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
+ *     dimensional inference.
+ *
+ * @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 type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+/**
+ * RHS of Hertz-Millis correlation length:
+ *   ξ_0 · (T/T_0)^(-0.71)
+ *
+ * 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].
+ */
+export declare const BE33_HERTZ_MILLIS_RHS: ExprNode;
+/** LHS: ξ has dimension [length]. */
+export declare const BE33_HERTZ_MILLIS_LHS: ExprNode;
+export 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). */
+    nu: number;
+    /** Dynamic exponent z (dimensionless, must be non-zero; e.g. 1 for 3D Heisenberg). */
+    z: number;
+}
+/**
+ * Evaluate the Hertz-Millis correlation length
+ *
+ *   ξ(T) = ξ_0 · (T/T_0)^(-ν/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.
+ *
+ * @returns Correlation length in metres.
+ */
+export declare function evaluateHertzMillis(input: HertzMillisInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [length].
+ */
+export declare function validateBE33Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-33-hertz-millis.d.ts.map

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

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

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

@@ -0,0 +1,113 @@
+/**
+ * Bridge Equation 33 — Quantum-Classical Critical Point Mapping
+ * (Hertz-Millis canonical scaling, 3D Heisenberg universality class).
+ *
+ *   ξ_quantum(T) = ξ_0 · (T/T_0)^(-ν/z)
+ *
+ * Pinned to 3D Heisenberg: z = 1, ν ≈ 0.71 → exponent -ν/z ≈ -0.71.
+ *
+ * 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.
+ *
+ * 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.
+ *   - 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).
+ *   - 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
+ *     dimensional inference.
+ *
+ * @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 });
+/**
+ * RHS of Hertz-Millis correlation length:
+ *   ξ_0 · (T/T_0)^(-0.71)
+ *
+ * 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].
+ */
+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('-0.71', DIMENSIONLESS), // canonical 3D Heisenberg -ν/z
+            ],
+        },
+    ],
+};
+/** LHS: ξ has dimension [length]. */
+export const BE33_HERTZ_MILLIS_LHS = sym('xi_quantum', LENGTH);
+/**
+ * Evaluate the Hertz-Millis correlation length
+ *
+ *   ξ(T) = ξ_0 · (T/T_0)^(-ν/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.
+ *
+ * @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) {
+        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);
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [length].
+ */
+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,
+    };
+}
+//# sourceMappingURL=be-33-hertz-millis.js.map

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

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

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

@@ -0,0 +1,76 @@
+/**
+ * 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) · ε`, where ε is
+ * a dimensionless stub for the exp factor. The chosen exponent (−0.5)
+ * is the canonical (d, ν, z) = (1, 1, 1) case — dimensional analysis is
+ * 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 {
+    /** 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].
+ */
+export declare function validateKibbleZurekDimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-34-kibble-zurek.d.ts.map

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

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

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

@@ -0,0 +1,139 @@
+/**
+ * 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 { 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 });
+/**
+ * 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) · ε`, where ε is
+ * a dimensionless stub for the exp factor. The chosen 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
+            ],
+        },
+        sym('exp(-m*c^2/(k_B*T_reh))', DIMENSIONLESS),
+    ],
+};
+/** LHS: n_defect is dimensionless (scaling ratio, no length scale in the formula). */
+export 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) {
+    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);
+    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].
+ */
+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,
+    };
+}
+//# sourceMappingURL=be-34-kibble-zurek.js.map

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

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