universal-physics-tensor 7.0.0 → 8.0.0

package/dist/bridges/equations/be-22-topological-entanglement.d.ts

@@ -1,87 +0,0 @@
-/**
- * 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 type { ExprNode } from '../../dimensional/validator.js';
-/**
- * Lemma AST: the area-law term `α · L`. Exposed for direct dimensional
- * verification — should infer to DIMENSIONLESS.
- */
-export declare const BE22_AREA_TERM: ExprNode;
-/**
- * Lemma AST: the topological term γ (already dimensionless by
- * definition; exposed for symmetry with BE22_AREA_TERM).
- */
-export declare const BE22_TOPOLOGICAL_TERM: ExprNode;
-/**
- * RHS of `S(R) = α · L − γ` as a typed ExprNode tree. The
- * `+ O(L^-1)` correction is dropped per the encoding scope.
- */
-export declare const BE22_TOPOLOGICAL_ENTANGLEMENT_RHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateTEE` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface TEEInputs {
-    /** Non-universal area-law coefficient α in m^-1. Must be finite. */
-    alpha_per_meter: number;
-    /** Boundary length L(R) in metres. Must be ≥ 0. */
-    perimeter_m: number;
-    /** Topological entanglement entropy γ (nats). Must be finite. */
-    gamma: number;
-}
-/**
- * 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 declare function evaluateTEE(input: TEEInputs): number;
-export {};
-//# sourceMappingURL=be-22-topological-entanglement.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"be-22-topological-entanglement.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-22-topological-entanglement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAA6B,MAAM,gCAAgC,CAAC;AAe1F;;;GAGG;AACH,eAAO,MAAM,cAAc,EAAE,QAM5B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAAsC,CAAC;AAE3E;;;GAGG;AACH,eAAO,MAAM,iCAAiC,EAAE,QAM/C,CAAC;AAOF;;GAEG;AACH,UAAU,SAAS;IACjB,oEAAoE;IACpE,eAAe,EAAE,MAAM,CAAC;IACxB,mDAAmD;IACnD,WAAW,EAAE,MAAM,CAAC;IACpB,iEAAiE;IACjE,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAYpD"}

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

@@ -1,111 +0,0 @@
-/**
- * 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 { DIMENSIONLESS, LENGTH, } from '../../dimensional/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-// --- Symbolic AST ---
-/** 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). */
-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) {
-    validateFiniteInputs(input, [
-        { name: 'alpha_per_meter' },
-        { name: 'perimeter_m', min: 0 },
-        { name: 'gamma' },
-    ], 'evaluateTEE');
-    const { alpha_per_meter, perimeter_m, gamma } = input;
-    return alpha_per_meter * perimeter_m - gamma;
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; LHS and RHS should
- * both be DIMENSIONLESS.
- */
-function validateTEEDimensions() {
-    return validateBEDimensions(BE22_TOPOLOGICAL_ENTANGLEMENT_LHS, BE22_TOPOLOGICAL_ENTANGLEMENT_RHS, 'BE22');
-}
-//# sourceMappingURL=be-22-topological-entanglement.js.map

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

@@ -1 +0,0 @@
-{"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,EAEL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB,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,iCAAiC,GAAa,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;AAgB9E;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,KAAgB;IAC1C,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,iBAAiB,EAAE;QAC3B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE;KAClB,EACD,aAAa,CACd,CAAC;IACF,MAAM,EAAE,eAAe,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACtD,OAAO,eAAe,GAAG,WAAW,GAAG,KAAK,CAAC;AAC/C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,SAAS,qBAAqB;IAC5B,OAAO,oBAAoB,CACzB,iCAAiC,EACjC,iCAAiC,EACjC,MAAM,CACP,CAAC;AACJ,CAAC"}

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

@@ -1,95 +0,0 @@
-/**
- * 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). */
-/** @internal */
-export declare const BE23_SYK_RESISTIVITY_LHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateSYKResistivity` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-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⁻²]).
- */
-/** @internal */
-export declare function validateBE23Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-23-syk-planckian.d.ts.map

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

@@ -1 +0,0 @@
-{"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;AAyB1F;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAyBnC,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,EAAE,QAYtC,CAAC;AAEF,oDAAoD;AACpD,gBAAgB;AAChB,eAAO,MAAM,wBAAwB,EAAE,QAAkC,CAAC;AAI1E;;GAEG;AACH,UAAU,oBAAoB;IAC5B,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,CAgB1E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

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

@@ -1,141 +0,0 @@
-/**
- * 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 { 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';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-/** [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). */
-/** @internal */
-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) {
-    validateFiniteInputs(input, [
-        { name: 'rho_0', min: 0 },
-        { name: 'm_star_kg', min: 0, excludeMin: true },
-        { name: 'n_e_per_m3', min: 0, excludeMin: true },
-        { name: 'T_K', min: 0 },
-        { name: 'alpha_SYK' },
-    ], 'evaluateSYKResistivity');
-    const { rho_0, m_star_kg, n_e_per_m3, T_K, alpha_SYK } = input;
-    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⁻²]).
- */
-/** @internal */
-export function validateBE23Dimensions() {
-    return validateBEDimensions(BE23_SYK_RESISTIVITY_LHS, BE23_SYK_RESISTIVITY_RHS, 'BE23');
-}
-//# sourceMappingURL=be-23-syk-planckian.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"be-23-syk-planckian.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-23-syk-planckian.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAGH,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;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,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,gBAAgB;AAChB,MAAM,CAAC,MAAM,wBAAwB,GAAa,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;AAoB1E;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA2B;IAChE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE;QACzB,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC/C,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAChD,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE;QACvB,EAAE,IAAI,EAAE,WAAW,EAAE;KACtB,EACD,wBAAwB,CACzB,CAAC;IACF,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IAC/D,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,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,wBAAwB,EAAE,wBAAwB,EAAE,MAAM,CAAC,CAAC;AAC1F,CAAC"}

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

@@ -1,87 +0,0 @@
-/**
- * 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. */
-/** @internal */
-export declare const BE24_FRET_EFFICIENCY_LHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateFRETEfficiency` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-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.
- */
-/** @internal */
-export declare function validateBE24Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-24-foerster-fret.d.ts.map

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

@@ -1 +0,0 @@
-{"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;AAO1F;;;;;;;GAOG;AACH,eAAO,MAAM,wBAAwB,EAAE,QAuBtC,CAAC;AAEF,+BAA+B;AAC/B,gBAAgB;AAChB,eAAO,MAAM,wBAAwB,EAAE,QAA6C,CAAC;AAIrF;;GAEG;AACH,UAAU,oBAAoB;IAC5B,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,CAa1E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

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

@@ -1,113 +0,0 @@
-/**
- * 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 { DIMENSIONLESS, LENGTH, } from '../../dimensional/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.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 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. */
-/** @internal */
-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) {
-    validateFiniteInputs(input, [
-        { name: 'R', min: 0, excludeMin: true },
-        { name: 'R_0', min: 0, excludeMin: true },
-    ], 'evaluateFRETEfficiency');
-    const { R, R_0 } = input;
-    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.
- */
-/** @internal */
-export function validateBE24Dimensions() {
-    return validateBEDimensions(BE24_FRET_EFFICIENCY_LHS, BE24_FRET_EFFICIENCY_RHS, 'BE24');
-}
-//# sourceMappingURL=be-24-foerster-fret.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"be-24-foerster-fret.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-24-foerster-fret.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAGH,OAAO,EACL,aAAa,EACb,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;;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,gBAAgB;AAChB,MAAM,CAAC,MAAM,wBAAwB,GAAa,GAAG,CAAC,cAAc,EAAE,aAAa,CAAC,CAAC;AAcrF;;;;;;;;GAQG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA2B;IAChE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC1C,EACD,wBAAwB,CACzB,CAAC;IACF,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IACzB,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,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,wBAAwB,EAAE,wBAAwB,EAAE,MAAM,CAAC,CAAC;AAC1F,CAAC"}