universal-physics-tensor 0.4.5

package/dist/bridges/equations/be-22-topological-entanglement.js

@@ -0,0 +1,123 @@
+/**
+ * Bridge Equation 22 — Topological Entanglement Entropy
+ * (Kitaev-Preskill / Levin-Wen single-subsystem form).
+ *
+ *   S(R) = α · L(R) − γ + O(L^-1)
+ *
+ * S(R) is the von Neumann entanglement entropy of subsystem R
+ * (dimensionless, in nats); α is a non-universal area-law coefficient
+ * with dim [L^-1]; L(R) is the perimeter (boundary length) of R, dim [L];
+ * γ is the topological entanglement entropy (dimensionless). For an
+ * abelian topological phase, γ = log D where D = √(Σᵢ d²ᵢ) is the
+ * total quantum dimension. For the Z₂ toric code, D = 2 and γ = log 2.
+ *
+ * References:
+ *   - Kitaev-Preskill 2006 Phys. Rev. Lett. 96:110404
+ *     (arXiv:hep-th/0510092): "Topological entanglement entropy".
+ *   - Levin-Wen 2006 Phys. Rev. Lett. 96:110405
+ *     (arXiv:cond-mat/0510613): "Detecting topological order in a
+ *     ground state wave function".
+ *
+ * Status: speculative. The Kitaev-Preskill formula itself is
+ * established in condensed-matter / topological-order literature.
+ * The "QG link" framing (originally BE-22 in this catalog) is
+ * original to UPT and not in either reference: applying TEE to
+ * quantum gravity requires identifying which gravitational degree of
+ * freedom the boundary R bounds, which has not been committed to
+ * within UPT scope. The encoding pins the math; the bridge to QG is
+ * the speculative content.
+ *
+ * Honest-claude scope notes:
+ *   - The `O(L^-1)` correction is dropped per the encoding scope; we
+ *     encode only the leading area + topological terms.
+ *   - The AST has no dedicated way to express "S(R) is dimensionless
+ *     because each term is dimensionless"; we encode the RHS as
+ *     `α · L − γ`, which the validator infers as DIMENSIONLESS
+ *     because (α [L^-1]) · (L [L]) = [1] and γ is [1]. The lemma
+ *     terms `BE22_AREA_TERM = α · L` and `BE22_TOPOLOGICAL_TERM = γ`
+ *     are exposed for direct per-term verification.
+ *   - Sign convention follows Kitaev-Preskill: TEE enters with a
+ *     minus sign so that γ > 0 for non-trivial topological order.
+ *   - Log base: natural log (entropy in nats). Bit-convention (log₂)
+ *     would scale γ by 1/ln 2; the numerical evaluator does not pick
+ *     a base — the caller passes γ directly.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 22: Topological Entanglement Entropy")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 22)
+ * @module bridges/equations/be-22-topological-entanglement
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, LENGTH, } from '../../dimensional/types.js';
+// --- Symbolic AST ---
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/** Inverse-length [L^-1] dimension for the area-law coefficient α. */
+const INV_LENGTH = {
+    L: -1, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0,
+};
+/**
+ * Lemma AST: the area-law term `α · L`. Exposed for direct dimensional
+ * verification — should infer to DIMENSIONLESS.
+ */
+export const BE22_AREA_TERM = {
+    kind: 'op', op: '*',
+    args: [
+        sym('alpha', INV_LENGTH),
+        sym('L', LENGTH),
+    ],
+};
+/**
+ * Lemma AST: the topological term γ (already dimensionless by
+ * definition; exposed for symmetry with BE22_AREA_TERM).
+ */
+export const BE22_TOPOLOGICAL_TERM = sym('gamma', DIMENSIONLESS);
+/**
+ * RHS of `S(R) = α · L − γ` as a typed ExprNode tree. The
+ * `+ O(L^-1)` correction is dropped per the encoding scope.
+ */
+export const BE22_TOPOLOGICAL_ENTANGLEMENT_RHS = {
+    kind: 'op', op: '-',
+    args: [
+        BE22_AREA_TERM,
+        BE22_TOPOLOGICAL_TERM,
+    ],
+};
+/** LHS: S(R) is dimensionless (entropy in nats). */
+export const BE22_TOPOLOGICAL_ENTANGLEMENT_LHS = sym('S_R', DIMENSIONLESS);
+/**
+ * Evaluate S(R) = α · L − γ in nats.
+ *
+ * Honest-claude: returns the leading-order Kitaev-Preskill form
+ * exactly; the `O(L^-1)` finite-size correction is not modelled. For
+ * the Z₂ toric code, γ = log 2 ≈ 0.693; for Fibonacci, γ ≈ 0.643.
+ *
+ * @returns S in nats (dimensionless).
+ */
+export function evaluateTEE(input) {
+    const { alpha_per_meter, perimeter_m, gamma } = input;
+    if (!Number.isFinite(alpha_per_meter)) {
+        throw new RangeError(`evaluateTEE: alpha_per_meter must be finite, got ${alpha_per_meter}`);
+    }
+    if (!Number.isFinite(perimeter_m) || perimeter_m < 0) {
+        throw new RangeError(`evaluateTEE: perimeter_m must be a finite non-negative number, got ${perimeter_m}`);
+    }
+    if (!Number.isFinite(gamma)) {
+        throw new RangeError(`evaluateTEE: gamma must be finite, got ${gamma}`);
+    }
+    return alpha_per_meter * perimeter_m - gamma;
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; LHS and RHS should
+ * both be DIMENSIONLESS.
+ */
+export function validateTEEDimensions() {
+    const eq = validateEquation(BE22_TOPOLOGICAL_ENTANGLEMENT_LHS, BE22_TOPOLOGICAL_ENTANGLEMENT_RHS);
+    const lhs = validate(BE22_TOPOLOGICAL_ENTANGLEMENT_LHS);
+    const rhs = validate(BE22_TOPOLOGICAL_ENTANGLEMENT_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-22-topological-entanglement.js.map

package/dist/bridges/equations/be-22-topological-entanglement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-22-topological-entanglement.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-22-topological-entanglement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AAEpC,uBAAuB;AAEvB,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,sEAAsE;AACtE,MAAM,UAAU,GAAc;IAC5B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC;QACxB,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;KACjB;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;AAE3E;;;GAGG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAa;IACzD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,cAAc;QACd,qBAAqB;KACtB;CACF,CAAC;AAEF,oDAAoD;AACpD,MAAM,CAAC,MAAM,iCAAiC,GAAa,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;AAarF;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,KAAgB;IAC1C,MAAM,EAAE,eAAe,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACtD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,oDAAoD,eAAe,EAAE,CACtE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,UAAU,CAClB,sEAAsE,WAAW,EAAE,CACpF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAClB,0CAA0C,KAAK,EAAE,CAClD,CAAC;IACJ,CAAC;IACD,OAAO,eAAe,GAAG,WAAW,GAAG,KAAK,CAAC;AAC/C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,qBAAqB;IACnC,MAAM,EAAE,GAAG,gBAAgB,CACzB,iCAAiC,EACjC,iCAAiC,CAClC,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,iCAAiC,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,QAAQ,CAAC,iCAAiC,CAAC,CAAC;IACxD,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-23-syk-planckian.d.ts

@@ -0,0 +1,89 @@
+/**
+ * Bridge Equation 23 — Strange-Metal / Black-Hole duality (SYK
+ * Planckian dissipation, post Wave P-C R-C1 reformulation + Wave Q
+ * A1 m* dimensional fix).
+ *
+ *   ρ(T) = ρ_0 + (m* · k_B T) / (n_e · e² · ℏ) · α_SYK
+ *
+ * Resistivity SI dim:
+ *   - Ω = V/A = J/(C·A) = (kg·m²/s²)/(s·A·A) = kg·m²/(s³·A²)
+ *   - Ω·m = kg·m³/(s³·A²)  ≡  [L³ M T⁻³ I⁻²]
+ *
+ * The thermal term is the canonical Planckian-dissipation linear-in-T
+ * resistivity: τ ~ ℏ/(k_B T) sets the relaxation rate, m* is the
+ * carrier effective mass, n_e the carrier density, e the elementary
+ * charge, and α_SYK is a dimensionless O(1) Sachdev-Ye-Kitaev
+ * coefficient. The Wave Q A1 fix added the missing m* prefactor that
+ * the prior Wave P-C R-C1 form was missing — without it, the SI
+ * dimension was m³/(s·C²) instead of Ω·m = kg·m³/(s·C²).
+ *
+ * References:
+ *   - Sachdev-Ye 1993 *Phys. Rev. Lett.* 70:3339 (original SY model);
+ *   - Kitaev 2015 KITP (canonical SYK formulation);
+ *   - Maldacena-Stanford 2016 *Phys. Rev. D* 94:106002
+ *     (arXiv:1604.07818; emergent SL(2,R) symmetry, MSS chaos bound);
+ *   - Hartnoll 2015 *Nature Phys.* 11:54 (review of strange-metal
+ *     Planckian dissipation);
+ *   - Bruin et al. 2013 *Science* 339:804; Legros et al. 2019 *Nature
+ *     Phys.* 15:142 (empirical confirmation).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - The Planckian linear-in-T resistivity is canonical phenomenology;
+ *     the *bridge framing* (treating the SYK Planckian rate as a UPT
+ *     condensed-matter ↔ holography duality, with α_SYK bundled rather
+ *     than derived) is the speculative content.
+ *   - α_SYK depends on the SYK-q variant (q=4 most studied); UPT does
+ *     not commit to a specific q-value.
+ *   - The lemma ExprNode `BE23_SYK_THERMAL_TERM` exposes the
+ *     `(m* k_B T)/(n_e e² ℏ)` factor directly so the Wave Q A1 m*
+ *     prefactor fix is testable in isolation.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 23: Strange-Metal / Black-Hole Duality")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 23)
+ * @module bridges/equations/be-23-syk-planckian
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+/**
+ * Lemma AST: the Planckian thermal term `(m* · k_B T) / (n_e · e² · ℏ)`.
+ *
+ * Should infer to RESISTIVITY = [L³ M T⁻³ I⁻²]. Exposed for the
+ * lemma test that verifies the m* prefactor restores correct
+ * resistivity dimensions (Wave Q A1 fix).
+ */
+export declare const BE23_SYK_THERMAL_TERM: ExprNode;
+/**
+ * RHS of `ρ(T) = ρ_0 + (m* k_B T)/(n_e e² ℏ) · α_SYK`.
+ *
+ * Both ρ_0 and the thermal term must have dim [L³ M T⁻³ I⁻²].
+ */
+export declare const BE23_SYK_RESISTIVITY_RHS: ExprNode;
+/** LHS: ρ(T) has dimension [L³ M T⁻³ I⁻²] (Ω·m). */
+export declare const BE23_SYK_RESISTIVITY_LHS: ExprNode;
+export interface SYKResistivityInputs {
+    /** Residual resistivity ρ_0 (Ω·m). Must be ≥ 0 and finite. */
+    rho_0: number;
+    /** Carrier effective mass m* (kg). Must be > 0 and finite. */
+    m_star_kg: number;
+    /** Carrier number density n_e (m⁻³). Must be > 0 and finite. */
+    n_e_per_m3: number;
+    /** Temperature T (K). Must be ≥ 0 and finite. */
+    T_K: number;
+    /** Dimensionless SYK coefficient α_SYK (typically O(1)). Must be finite. */
+    alpha_SYK: number;
+}
+/**
+ * Evaluate the Planckian-dissipation resistivity
+ *
+ *   ρ(T) = ρ_0 + (m* · k_B T) / (n_e · e² · ℏ) · α_SYK
+ *
+ * @returns Resistivity in Ω·m (SI).
+ */
+export declare function evaluateSYKResistivity(input: SYKResistivityInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * resistivity ([L³ M T⁻³ I⁻²]).
+ */
+export declare function validateBE23Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-23-syk-planckian.d.ts.map

package/dist/bridges/equations/be-23-syk-planckian.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-23-syk-planckian.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-23-syk-planckian.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AA2B1F;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAyBnC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,EAAE,QAYtC,CAAC;AAEF,oDAAoD;AACpD,eAAO,MAAM,wBAAwB,EAAE,QAAkC,CAAC;AAI1E,MAAM,WAAW,oBAAoB;IACnC,8DAA8D;IAC9D,KAAK,EAAE,MAAM,CAAC;IACd,8DAA8D;IAC9D,SAAS,EAAE,MAAM,CAAC;IAClB,gEAAgE;IAChE,UAAU,EAAE,MAAM,CAAC;IACnB,iDAAiD;IACjD,GAAG,EAAE,MAAM,CAAC;IACZ,4EAA4E;IAC5E,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CA8B1E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}

package/dist/bridges/equations/be-23-syk-planckian.js

@@ -0,0 +1,155 @@
+/**
+ * Bridge Equation 23 — Strange-Metal / Black-Hole duality (SYK
+ * Planckian dissipation, post Wave P-C R-C1 reformulation + Wave Q
+ * A1 m* dimensional fix).
+ *
+ *   ρ(T) = ρ_0 + (m* · k_B T) / (n_e · e² · ℏ) · α_SYK
+ *
+ * Resistivity SI dim:
+ *   - Ω = V/A = J/(C·A) = (kg·m²/s²)/(s·A·A) = kg·m²/(s³·A²)
+ *   - Ω·m = kg·m³/(s³·A²)  ≡  [L³ M T⁻³ I⁻²]
+ *
+ * The thermal term is the canonical Planckian-dissipation linear-in-T
+ * resistivity: τ ~ ℏ/(k_B T) sets the relaxation rate, m* is the
+ * carrier effective mass, n_e the carrier density, e the elementary
+ * charge, and α_SYK is a dimensionless O(1) Sachdev-Ye-Kitaev
+ * coefficient. The Wave Q A1 fix added the missing m* prefactor that
+ * the prior Wave P-C R-C1 form was missing — without it, the SI
+ * dimension was m³/(s·C²) instead of Ω·m = kg·m³/(s·C²).
+ *
+ * References:
+ *   - Sachdev-Ye 1993 *Phys. Rev. Lett.* 70:3339 (original SY model);
+ *   - Kitaev 2015 KITP (canonical SYK formulation);
+ *   - Maldacena-Stanford 2016 *Phys. Rev. D* 94:106002
+ *     (arXiv:1604.07818; emergent SL(2,R) symmetry, MSS chaos bound);
+ *   - Hartnoll 2015 *Nature Phys.* 11:54 (review of strange-metal
+ *     Planckian dissipation);
+ *   - Bruin et al. 2013 *Science* 339:804; Legros et al. 2019 *Nature
+ *     Phys.* 15:142 (empirical confirmation).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - The Planckian linear-in-T resistivity is canonical phenomenology;
+ *     the *bridge framing* (treating the SYK Planckian rate as a UPT
+ *     condensed-matter ↔ holography duality, with α_SYK bundled rather
+ *     than derived) is the speculative content.
+ *   - α_SYK depends on the SYK-q variant (q=4 most studied); UPT does
+ *     not commit to a specific q-value.
+ *   - The lemma ExprNode `BE23_SYK_THERMAL_TERM` exposes the
+ *     `(m* k_B T)/(n_e e² ℏ)` factor directly so the Wave Q A1 m*
+ *     prefactor fix is testable in isolation.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 23: Strange-Metal / Black-Hole Duality")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 23)
+ * @module bridges/equations/be-23-syk-planckian
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, LENGTH, MASS, TEMPERATURE, } from '../../dimensional/types.js';
+import { power } from '../../dimensional/algebra.js';
+import { hbar as DIM_hbar, k_B as DIM_kB, e as DIM_e, } from '../../dimensional/constants.js';
+import { PhysicalConstants } from '../../core/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/** [L^-3] — number-density dimension for n_e. */
+const NUMBER_DENSITY = power(LENGTH, -3);
+/** [L³ M T⁻³ I⁻²] — resistivity (Ω·m). */
+const RESISTIVITY = {
+    L: 3, M: 1, T: -3, I: -2, Theta: 0, N: 0, J: 0,
+};
+/**
+ * Lemma AST: the Planckian thermal term `(m* · k_B T) / (n_e · e² · ℏ)`.
+ *
+ * Should infer to RESISTIVITY = [L³ M T⁻³ I⁻²]. Exposed for the
+ * lemma test that verifies the m* prefactor restores correct
+ * resistivity dimensions (Wave Q A1 fix).
+ */
+export const BE23_SYK_THERMAL_TERM = {
+    kind: 'op', op: '/',
+    args: [
+        {
+            // numerator: m* · k_B · T
+            kind: 'op', op: '*',
+            args: [
+                sym('m_star', MASS),
+                sym('k_B', DIM_kB),
+                sym('T', TEMPERATURE),
+            ],
+        },
+        {
+            // denominator: n_e · e² · ℏ
+            kind: 'op', op: '*',
+            args: [
+                sym('n_e', NUMBER_DENSITY),
+                {
+                    kind: 'op', op: '^',
+                    args: [sym('e', DIM_e), sym('2', DIMENSIONLESS)],
+                },
+                sym('hbar', DIM_hbar),
+            ],
+        },
+    ],
+};
+/**
+ * RHS of `ρ(T) = ρ_0 + (m* k_B T)/(n_e e² ℏ) · α_SYK`.
+ *
+ * Both ρ_0 and the thermal term must have dim [L³ M T⁻³ I⁻²].
+ */
+export const BE23_SYK_RESISTIVITY_RHS = {
+    kind: 'op', op: '+',
+    args: [
+        sym('rho_0', RESISTIVITY),
+        {
+            kind: 'op', op: '*',
+            args: [
+                BE23_SYK_THERMAL_TERM,
+                sym('alpha_SYK', DIMENSIONLESS),
+            ],
+        },
+    ],
+};
+/** LHS: ρ(T) has dimension [L³ M T⁻³ I⁻²] (Ω·m). */
+export const BE23_SYK_RESISTIVITY_LHS = sym('rho', RESISTIVITY);
+/**
+ * Evaluate the Planckian-dissipation resistivity
+ *
+ *   ρ(T) = ρ_0 + (m* · k_B T) / (n_e · e² · ℏ) · α_SYK
+ *
+ * @returns Resistivity in Ω·m (SI).
+ */
+export function evaluateSYKResistivity(input) {
+    const { rho_0, m_star_kg, n_e_per_m3, T_K, alpha_SYK } = input;
+    if (!Number.isFinite(rho_0) || rho_0 < 0) {
+        throw new RangeError(`evaluateSYKResistivity: rho_0 must be a finite non-negative number, got ${rho_0}`);
+    }
+    if (!Number.isFinite(m_star_kg) || m_star_kg <= 0) {
+        throw new RangeError(`evaluateSYKResistivity: m_star_kg must be a finite positive number, got ${m_star_kg}`);
+    }
+    if (!Number.isFinite(n_e_per_m3) || n_e_per_m3 <= 0) {
+        throw new RangeError(`evaluateSYKResistivity: n_e_per_m3 must be a finite positive number, got ${n_e_per_m3}`);
+    }
+    if (!Number.isFinite(T_K) || T_K < 0) {
+        throw new RangeError(`evaluateSYKResistivity: T_K must be a finite non-negative number, got ${T_K}`);
+    }
+    if (!Number.isFinite(alpha_SYK)) {
+        throw new RangeError(`evaluateSYKResistivity: alpha_SYK must be finite, got ${alpha_SYK}`);
+    }
+    const { hbar, kB, e } = PhysicalConstants;
+    const thermal = (m_star_kg * kB * T_K) / (n_e_per_m3 * e * e * hbar);
+    return rho_0 + thermal * alpha_SYK;
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * resistivity ([L³ M T⁻³ I⁻²]).
+ */
+export function validateBE23Dimensions() {
+    const eq = validateEquation(BE23_SYK_RESISTIVITY_LHS, BE23_SYK_RESISTIVITY_RHS);
+    const lhs = validate(BE23_SYK_RESISTIVITY_LHS);
+    const rhs = validate(BE23_SYK_RESISTIVITY_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-23-syk-planckian.js.map

package/dist/bridges/equations/be-23-syk-planckian.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-23-syk-planckian.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-23-syk-planckian.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAY,KAAK,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,EACL,IAAI,IAAI,QAAQ,EAChB,GAAG,IAAI,MAAM,EACb,CAAC,IAAI,KAAK,GACX,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,iDAAiD;AACjD,MAAM,cAAc,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAEpD,0CAA0C;AAC1C,MAAM,WAAW,GAAc;IAC7B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,0BAA0B;YAC1B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC;gBACnB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gBAClB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;aACtB;SACF;QACD;YACE,4BAA4B;YAC5B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC;gBAC1B;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;gBACD,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;aACtB;SACF;KACF;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAa;IAChD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC;QACzB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,qBAAqB;gBACrB,GAAG,CAAC,WAAW,EAAE,aAAa,CAAC;aAChC;SACF;KACF;CACF,CAAC;AAEF,oDAAoD;AACpD,MAAM,CAAC,MAAM,wBAAwB,GAAa,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;AAiB1E;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA2B;IAChE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IAC/D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,UAAU,CAClB,2EAA2E,KAAK,EAAE,CACnF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,UAAU,CAClB,2EAA2E,SAAS,EAAE,CACvF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,UAAU,CAClB,4EAA4E,UAAU,EAAE,CACzF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,UAAU,CAClB,yEAAyE,GAAG,EAAE,CAC/E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,UAAU,CAClB,yDAAyD,SAAS,EAAE,CACrE,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAC1C,MAAM,OAAO,GAAG,CAAC,SAAS,GAAG,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IACrE,OAAO,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;AACrC,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,wBAAwB,EAAE,wBAAwB,CAAC,CAAC;IAChF,MAAM,GAAG,GAAG,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IAC/C,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-24-foerster-fret.d.ts

@@ -0,0 +1,81 @@
+/**
+ * Bridge Equation 24 — Förster Resonance Energy Transfer (FRET) efficiency.
+ *
+ *   η = R_0⁶ / (R_0⁶ + R⁶)  ≡  1 / (1 + (R/R_0)⁶)
+ *
+ * R is the donor-acceptor distance, R_0 is the Förster radius (typically
+ * 2-10 nm; defined as the distance at which η = 1/2). η ∈ [0,1] by
+ * construction.
+ *
+ * BE-24's catalog `formula_latex` carries TWO formulas — the
+ * dipole-dipole transfer rate `k_FRET = (1/τ_D)·(R_0/R)⁶` (dim [T^-1])
+ * and the bound-respecting efficiency `η` (dimensionless). We encode
+ * the EFFICIENCY here because:
+ *   - it is the natural FRET observable in donor-acceptor distance
+ *     measurements;
+ *   - η ∈ [0,1] by construction (no bound-violation regime to worry
+ *     about);
+ *   - it round-trips cleanly to `[1]` through the validator without
+ *     needing a τ_D dimensional symbol.
+ *
+ * Reference: Förster 1948 *Ann. Phys. (Leipzig)* 437:55 (canonical FRET
+ * derivation). Lakowicz 2006 *Principles of Fluorescence Spectroscopy*
+ * 3rd ed. Ch. 13 (textbook reference for both k_FRET and η forms).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - The Förster formulas are canonical; the *bridge framing* (using
+ *     FRET as a UPT quantum ↔ biological bridge) is the speculative
+ *     element. Same convention as BE-22 (Kitaev-Preskill canonical,
+ *     QG framing speculative) and BE-38 (Milgrom MOND canonical, UPT
+ *     framing speculative).
+ *   - FRET is incoherent (incoherent dipole-dipole rate, no
+ *     quantum-coherent enhancement); the long-running quantum-coherence-
+ *     in-photosynthesis question (Engel 2007 vs. Cao 2020 / Duan 2017
+ *     / Thyrhaug 2018) is contested. UPT pins FRET as the canonical
+ *     baseline — see BE-24 `known_issues` for the contested-coherence
+ *     reformulation candidate.
+ *   - The Förster radius R_0 is itself set by `R_0⁶ ∝ κ² Q_D J / n⁴`
+ *     (orientation factor κ², donor quantum yield Q_D, spectral overlap
+ *     J, refractive index n). UPT does not commit to a specific
+ *     R_0-decomposition; R_0 is treated as a free input.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 24: Quantum Coherence in Photosynthesis Efficiency")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 24)
+ * @module bridges/equations/be-24-foerster-fret
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+/**
+ * RHS of the FRET efficiency:
+ *   η = R_0⁶ / (R_0⁶ + R⁶)
+ *
+ * Encoded directly: numerator R_0⁶ and denominator R_0⁶ + R⁶, both with
+ * dim [L^6]. The ratio is dimensionless. The sextic powers use the `^`
+ * op with literal-numeric exponent 6.
+ */
+export declare const BE24_FRET_EFFICIENCY_RHS: ExprNode;
+/** LHS: η is dimensionless. */
+export declare const BE24_FRET_EFFICIENCY_LHS: ExprNode;
+export interface FRETEfficiencyInputs {
+    /** Donor-acceptor distance R (m). Must be > 0 and finite. */
+    R: number;
+    /** Förster radius R_0 (m). Must be > 0 and finite. */
+    R_0: number;
+}
+/**
+ * Evaluate the FRET transfer efficiency
+ *
+ *   η = 1 / (1 + (R/R_0)⁶)  ∈ [0, 1]
+ *
+ * Equivalent canonical form: η = R_0⁶/(R_0⁶ + R⁶).
+ *
+ * @returns Dimensionless efficiency η ∈ [0, 1].
+ */
+export declare function evaluateFRETEfficiency(input: FRETEfficiencyInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * dimensionless.
+ */
+export declare function validateBE24Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-24-foerster-fret.d.ts.map

package/dist/bridges/equations/be-24-foerster-fret.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-24-foerster-fret.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-24-foerster-fret.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAU1F;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,EAAE,QAuBtC,CAAC;AAEF,+BAA+B;AAC/B,eAAO,MAAM,wBAAwB,EAAE,QAA6C,CAAC;AAIrF,MAAM,WAAW,oBAAoB;IACnC,6DAA6D;IAC7D,CAAC,EAAE,MAAM,CAAC;IACV,sDAAsD;IACtD,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CAe1E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}

package/dist/bridges/equations/be-24-foerster-fret.js

@@ -0,0 +1,121 @@
+/**
+ * Bridge Equation 24 — Förster Resonance Energy Transfer (FRET) efficiency.
+ *
+ *   η = R_0⁶ / (R_0⁶ + R⁶)  ≡  1 / (1 + (R/R_0)⁶)
+ *
+ * R is the donor-acceptor distance, R_0 is the Förster radius (typically
+ * 2-10 nm; defined as the distance at which η = 1/2). η ∈ [0,1] by
+ * construction.
+ *
+ * BE-24's catalog `formula_latex` carries TWO formulas — the
+ * dipole-dipole transfer rate `k_FRET = (1/τ_D)·(R_0/R)⁶` (dim [T^-1])
+ * and the bound-respecting efficiency `η` (dimensionless). We encode
+ * the EFFICIENCY here because:
+ *   - it is the natural FRET observable in donor-acceptor distance
+ *     measurements;
+ *   - η ∈ [0,1] by construction (no bound-violation regime to worry
+ *     about);
+ *   - it round-trips cleanly to `[1]` through the validator without
+ *     needing a τ_D dimensional symbol.
+ *
+ * Reference: Förster 1948 *Ann. Phys. (Leipzig)* 437:55 (canonical FRET
+ * derivation). Lakowicz 2006 *Principles of Fluorescence Spectroscopy*
+ * 3rd ed. Ch. 13 (textbook reference for both k_FRET and η forms).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - The Förster formulas are canonical; the *bridge framing* (using
+ *     FRET as a UPT quantum ↔ biological bridge) is the speculative
+ *     element. Same convention as BE-22 (Kitaev-Preskill canonical,
+ *     QG framing speculative) and BE-38 (Milgrom MOND canonical, UPT
+ *     framing speculative).
+ *   - FRET is incoherent (incoherent dipole-dipole rate, no
+ *     quantum-coherent enhancement); the long-running quantum-coherence-
+ *     in-photosynthesis question (Engel 2007 vs. Cao 2020 / Duan 2017
+ *     / Thyrhaug 2018) is contested. UPT pins FRET as the canonical
+ *     baseline — see BE-24 `known_issues` for the contested-coherence
+ *     reformulation candidate.
+ *   - The Förster radius R_0 is itself set by `R_0⁶ ∝ κ² Q_D J / n⁴`
+ *     (orientation factor κ², donor quantum yield Q_D, spectral overlap
+ *     J, refractive index n). UPT does not commit to a specific
+ *     R_0-decomposition; R_0 is treated as a free input.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 24: Quantum Coherence in Photosynthesis Efficiency")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 24)
+ * @module bridges/equations/be-24-foerster-fret
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, LENGTH, } from '../../dimensional/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * RHS of the FRET efficiency:
+ *   η = R_0⁶ / (R_0⁶ + R⁶)
+ *
+ * Encoded directly: numerator R_0⁶ and denominator R_0⁶ + R⁶, both with
+ * dim [L^6]. The ratio is dimensionless. The sextic powers use the `^`
+ * op with literal-numeric exponent 6.
+ */
+export const BE24_FRET_EFFICIENCY_RHS = {
+    kind: 'op', op: '/',
+    args: [
+        {
+            // R_0^6
+            kind: 'op', op: '^',
+            args: [sym('R_0', LENGTH), sym('6', DIMENSIONLESS)],
+        },
+        {
+            // R_0^6 + R^6  (both terms are [L^6])
+            kind: 'op', op: '+',
+            args: [
+                {
+                    kind: 'op', op: '^',
+                    args: [sym('R_0', LENGTH), sym('6', DIMENSIONLESS)],
+                },
+                {
+                    kind: 'op', op: '^',
+                    args: [sym('R', LENGTH), sym('6', DIMENSIONLESS)],
+                },
+            ],
+        },
+    ],
+};
+/** LHS: η is dimensionless. */
+export const BE24_FRET_EFFICIENCY_LHS = sym('eta_transfer', DIMENSIONLESS);
+/**
+ * Evaluate the FRET transfer efficiency
+ *
+ *   η = 1 / (1 + (R/R_0)⁶)  ∈ [0, 1]
+ *
+ * Equivalent canonical form: η = R_0⁶/(R_0⁶ + R⁶).
+ *
+ * @returns Dimensionless efficiency η ∈ [0, 1].
+ */
+export function evaluateFRETEfficiency(input) {
+    const { R, R_0 } = input;
+    if (!Number.isFinite(R) || R <= 0) {
+        throw new RangeError(`evaluateFRETEfficiency: R must be a finite positive number, got ${R}`);
+    }
+    if (!Number.isFinite(R_0) || R_0 <= 0) {
+        throw new RangeError(`evaluateFRETEfficiency: R_0 must be a finite positive number, got ${R_0}`);
+    }
+    const ratio = R / R_0;
+    const ratio6 = Math.pow(ratio, 6);
+    return 1 / (1 + ratio6);
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * dimensionless.
+ */
+export function validateBE24Dimensions() {
+    const eq = validateEquation(BE24_FRET_EFFICIENCY_LHS, BE24_FRET_EFFICIENCY_RHS);
+    const lhs = validate(BE24_FRET_EFFICIENCY_LHS);
+    const rhs = validate(BE24_FRET_EFFICIENCY_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-24-foerster-fret.js.map

package/dist/bridges/equations/be-24-foerster-fret.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-24-foerster-fret.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-24-foerster-fret.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,MAAM,GACP,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,wBAAwB,GAAa;IAChD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,QAAQ;YACR,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;SACpD;QACD;YACE,sCAAsC;YACtC,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,KAAK,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACpD;gBACD;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBAClD;aACF;SACF;KACF;CACF,CAAC;AAEF,+BAA+B;AAC/B,MAAM,CAAC,MAAM,wBAAwB,GAAa,GAAG,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC;AAWrF;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA2B;IAChE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IACzB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAClB,mEAAmE,CAAC,EAAE,CACvE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,qEAAqE,GAAG,EAAE,CAC3E,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC;IACtB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAClC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;AAC1B,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,wBAAwB,EAAE,wBAAwB,CAAC,CAAC;IAChF,MAAM,GAAG,GAAG,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IAC/C,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}