universal-physics-tensor 0.4.5

package/dist/bridges/equations/be-12-coherence-length.d.ts

@@ -0,0 +1,80 @@
+/**
+ * Bridge Equation 12 — Mesoscopic Coherence Length (canonical thermal
+ * de Broglie wavelength).
+ *
+ *   λ_T = √(2π ℏ² / (m k_B T)) ≡ h / √(2π m k_B T)
+ *
+ * This is the standard textbook thermal de Broglie wavelength for a
+ * single particle of mass m at temperature T (Pathria 2011
+ * *Statistical Mechanics* 3rd ed. §1.4 eq. 1.4.13; Reif 1965
+ * *Fundamentals of Statistical and Thermal Physics* §6;
+ * Pitaevskii-Stringari 2003 *Bose-Einstein Condensation* §6). It is
+ * the natural length scale below which quantum-statistical effects
+ * (Bose / Fermi degeneracy, exchange-induced correlations) become
+ * non-negligible relative to classical Boltzmann statistics.
+ *
+ * Status: speculative.
+ *
+ * Dimensional check (ℏ-flavor):
+ *   - [ℏ²] = (J·s)² = (kg·m²/s)²
+ *   - [m k_B T] = kg · J = kg² · m²/s²
+ *   - [ℏ²/(m k_B T)] = (kg² m⁴/s²) / (kg² m²/s²) = m²
+ *   - √(2π ℏ²/(m k_B T)) = m ✓ ([length])
+ *
+ * Numerical bracket: H atom (m ≈ 1.67e-27 kg) at 300 K → ~100 pm = 1 Å.
+ * (The earlier Wave Q A2 form `λ = ℏ/√(2π m k_B T)` was dimensionally
+ * [length] but numerically off by a factor of 2π — gave ~16 pm — and
+ * was caught by this AST encoding's textbook bracket-check.)
+ *
+ * Honest-claude scope notes:
+ *   - The formula itself is canonical textbook physics; the *bridge
+ *     framing* — using a single-particle thermal de Broglie length as
+ *     an N-particle "mesoscopic coherence length" — is the speculative
+ *     content. Status remains 'speculative' for this reason.
+ *   - Two equivalent canonical forms: ℏ-flavor `√(2π ℏ²/(m k_B T))` and
+ *     h-flavor `h/√(2π m k_B T)`. We encode the ℏ-flavor since the
+ *     dimensional-analyzer constant set already exports `hbar`; using
+ *     `h` would require introducing a new named constant for `2πℏ`.
+ *   - Mesoscopic-coherence-length variants in the literature insert
+ *     additional N-dependence (number of particles), correlation-time
+ *     factors (Caldeira-Leggett dephasing time τ_φ), or system-size
+ *     cutoffs; UPT BE-12 does not commit to these — the canonical
+ *     thermal-de-Broglie form is the bridge's load-bearing content.
+ *
+ * @see docs/specification/Part-I.md ("Bridge Equation 12")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 12)
+ * @module bridges/equations/be-12-coherence-length
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+/**
+ * RHS of the canonical thermal de Broglie wavelength:
+ *   λ_T = √(2π ℏ²/(m k_B T))
+ *
+ * Encoded as `(2π · ℏ² / (m k_B T))^{1/2}`. The `^` op handles non-
+ * integer numeric exponents (literal 0.5).
+ */
+export declare const BE12_COHERENCE_LENGTH_RHS: ExprNode;
+/** LHS: λ_T has dimension [length]. */
+export declare const BE12_COHERENCE_LENGTH_LHS: ExprNode;
+export interface ThermalDeBroglieInputs {
+    /** Particle mass m (kg). Must be > 0 and finite. */
+    m_kg: number;
+    /** Temperature T (K). Must be > 0 and finite. */
+    T_K: number;
+}
+/**
+ * Evaluate the canonical thermal de Broglie wavelength
+ *
+ *   λ_T = √(2π ℏ²/(m k_B T))
+ *
+ * Equivalent textbook form: `h/√(2π m k_B T)`.
+ *
+ * @returns Wavelength in meters.
+ */
+export declare function evaluateThermalDeBroglie(input: ThermalDeBroglieInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [length].
+ */
+export declare function validateBE12Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-12-coherence-length.d.ts.map

package/dist/bridges/equations/be-12-coherence-length.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-12-coherence-length.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-12-coherence-length.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAc1F;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,QA8BvC,CAAC;AAEF,uCAAuC;AACvC,eAAO,MAAM,yBAAyB,EAAE,QAAkC,CAAC;AAI3E,MAAM,WAAW,sBAAsB;IACrC,oDAAoD;IACpD,IAAI,EAAE,MAAM,CAAC;IACb,iDAAiD;IACjD,GAAG,EAAE,MAAM,CAAC;CACb;AAED;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,sBAAsB,GAAG,MAAM,CAc9E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}

package/dist/bridges/equations/be-12-coherence-length.js

@@ -0,0 +1,128 @@
+/**
+ * Bridge Equation 12 — Mesoscopic Coherence Length (canonical thermal
+ * de Broglie wavelength).
+ *
+ *   λ_T = √(2π ℏ² / (m k_B T)) ≡ h / √(2π m k_B T)
+ *
+ * This is the standard textbook thermal de Broglie wavelength for a
+ * single particle of mass m at temperature T (Pathria 2011
+ * *Statistical Mechanics* 3rd ed. §1.4 eq. 1.4.13; Reif 1965
+ * *Fundamentals of Statistical and Thermal Physics* §6;
+ * Pitaevskii-Stringari 2003 *Bose-Einstein Condensation* §6). It is
+ * the natural length scale below which quantum-statistical effects
+ * (Bose / Fermi degeneracy, exchange-induced correlations) become
+ * non-negligible relative to classical Boltzmann statistics.
+ *
+ * Status: speculative.
+ *
+ * Dimensional check (ℏ-flavor):
+ *   - [ℏ²] = (J·s)² = (kg·m²/s)²
+ *   - [m k_B T] = kg · J = kg² · m²/s²
+ *   - [ℏ²/(m k_B T)] = (kg² m⁴/s²) / (kg² m²/s²) = m²
+ *   - √(2π ℏ²/(m k_B T)) = m ✓ ([length])
+ *
+ * Numerical bracket: H atom (m ≈ 1.67e-27 kg) at 300 K → ~100 pm = 1 Å.
+ * (The earlier Wave Q A2 form `λ = ℏ/√(2π m k_B T)` was dimensionally
+ * [length] but numerically off by a factor of 2π — gave ~16 pm — and
+ * was caught by this AST encoding's textbook bracket-check.)
+ *
+ * Honest-claude scope notes:
+ *   - The formula itself is canonical textbook physics; the *bridge
+ *     framing* — using a single-particle thermal de Broglie length as
+ *     an N-particle "mesoscopic coherence length" — is the speculative
+ *     content. Status remains 'speculative' for this reason.
+ *   - Two equivalent canonical forms: ℏ-flavor `√(2π ℏ²/(m k_B T))` and
+ *     h-flavor `h/√(2π m k_B T)`. We encode the ℏ-flavor since the
+ *     dimensional-analyzer constant set already exports `hbar`; using
+ *     `h` would require introducing a new named constant for `2πℏ`.
+ *   - Mesoscopic-coherence-length variants in the literature insert
+ *     additional N-dependence (number of particles), correlation-time
+ *     factors (Caldeira-Leggett dephasing time τ_φ), or system-size
+ *     cutoffs; UPT BE-12 does not commit to these — the canonical
+ *     thermal-de-Broglie form is the bridge's load-bearing content.
+ *
+ * @see docs/specification/Part-I.md ("Bridge Equation 12")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 12)
+ * @module bridges/equations/be-12-coherence-length
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, LENGTH, MASS, TEMPERATURE, } from '../../dimensional/types.js';
+import { hbar as DIM_hbar, k_B as DIM_kB } from '../../dimensional/constants.js';
+import { PhysicalConstants } from '../../core/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * RHS of the canonical thermal de Broglie wavelength:
+ *   λ_T = √(2π ℏ²/(m k_B T))
+ *
+ * Encoded as `(2π · ℏ² / (m k_B T))^{1/2}`. The `^` op handles non-
+ * integer numeric exponents (literal 0.5).
+ */
+export const BE12_COHERENCE_LENGTH_RHS = {
+    kind: 'op', op: '^',
+    args: [
+        {
+            // 2π · ℏ² / (m k_B T)
+            kind: 'op', op: '/',
+            args: [
+                {
+                    kind: 'op', op: '*',
+                    args: [
+                        sym('2pi', DIMENSIONLESS),
+                        {
+                            // ℏ² = ℏ · ℏ
+                            kind: 'op', op: '*',
+                            args: [sym('hbar', DIM_hbar), sym('hbar', DIM_hbar)],
+                        },
+                    ],
+                },
+                {
+                    kind: 'op', op: '*',
+                    args: [
+                        sym('m', MASS),
+                        sym('k_B', DIM_kB),
+                        sym('T', TEMPERATURE),
+                    ],
+                },
+            ],
+        },
+        sym('0.5', DIMENSIONLESS),
+    ],
+};
+/** LHS: λ_T has dimension [length]. */
+export const BE12_COHERENCE_LENGTH_LHS = sym('lambda_T', LENGTH);
+/**
+ * Evaluate the canonical thermal de Broglie wavelength
+ *
+ *   λ_T = √(2π ℏ²/(m k_B T))
+ *
+ * Equivalent textbook form: `h/√(2π m k_B T)`.
+ *
+ * @returns Wavelength in meters.
+ */
+export function evaluateThermalDeBroglie(input) {
+    const { m_kg, T_K } = input;
+    if (!Number.isFinite(m_kg) || m_kg <= 0) {
+        throw new RangeError(`evaluateThermalDeBroglie: m_kg must be a finite positive number, got ${m_kg}`);
+    }
+    if (!Number.isFinite(T_K) || T_K <= 0) {
+        throw new RangeError(`evaluateThermalDeBroglie: T_K must be a finite positive number, got ${T_K}`);
+    }
+    const { hbar, kB } = PhysicalConstants;
+    return Math.sqrt((2 * Math.PI * hbar * hbar) / (m_kg * kB * T_K));
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [length].
+ */
+export function validateBE12Dimensions() {
+    const eq = validateEquation(BE12_COHERENCE_LENGTH_LHS, BE12_COHERENCE_LENGTH_RHS);
+    const lhs = validate(BE12_COHERENCE_LENGTH_LHS);
+    const rhs = validate(BE12_COHERENCE_LENGTH_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-12-coherence-length.js.map

package/dist/bridges/equations/be-12-coherence-length.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-12-coherence-length.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-12-coherence-length.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;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,EAAE,IAAI,IAAI,QAAQ,EAAE,GAAG,IAAI,MAAM,EAAE,MAAM,gCAAgC,CAAC;AACjF,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;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,sBAAsB;YACtB,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,KAAK,EAAE,aAAa,CAAC;wBACzB;4BACE,aAAa;4BACb,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;yBACrD;qBACF;iBACF;gBACD;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;wBACd,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;wBAClB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;qBACtB;iBACF;aACF;SACF;QACD,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;KAC1B;CACF,CAAC;AAEF,uCAAuC;AACvC,MAAM,CAAC,MAAM,yBAAyB,GAAa,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;AAW3E;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA6B;IACpE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,UAAU,CAClB,wEAAwE,IAAI,EAAE,CAC/E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,uEAAuE,GAAG,EAAE,CAC7E,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACvC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,yBAAyB,EAAE,yBAAyB,CAAC,CAAC;IAClF,MAAM,GAAG,GAAG,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IAChD,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-13-einstein-trace.d.ts

@@ -0,0 +1,89 @@
+/**
+ * Bridge Equation 13 — Trace of Einstein equations (Jacobson 1995
+ * thermodynamic interpretation, post Wave Y reformulation).
+ *
+ *   R = 4Λ - (8π G / c⁴) T
+ *
+ * The scalar trace of the full tensor Einstein equation
+ *   R_μν - (1/2) R g_μν + Λ g_μν = (8π G / c⁴) T_μν
+ * obtained by contracting with g^μν. In d=4: g^μν g_μν = 4, so
+ * g^μν R_μν = R, g^μν · (1/2) R g_μν = 2R, g^μν · Λ g_μν = 4Λ,
+ * and g^μν T_μν = T (the trace of stress-energy). Algebraically:
+ *   R - 2R + 4Λ = (8πG/c⁴) T
+ *   -R + 4Λ = (8πG/c⁴) T
+ *   R = 4Λ - (8πG/c⁴) T
+ *
+ * The Jacobson thermodynamic interpretation (Einstein equations as a
+ * macroscopic equation of state, derived from δQ = T dS on local
+ * Rindler horizons) is preserved as the bridge framing; the trace
+ * is the scalar AST-encodable form.
+ *
+ * Reference: Jacobson 1995 *Phys. Rev. Lett.* 75:1260
+ * (arXiv:gr-qc/9504004; canonical thermodynamic-derivation framing);
+ * Einstein 1915 *Sitzungsber. Preuss. Akad. Wiss. Berlin* 778
+ * (canonical Einstein field equations); MTW *Gravitation* §17.4
+ * (trace of Einstein equations).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - The trace equation R = 4Λ - (8πG/c⁴)T is canonical GR (textbook
+ *     content, Carroll *Spacetime and Geometry* §4.7). The bridge
+ *     framing — Jacobson thermodynamic origin as a UPT
+ *     information-physics bridge — is the speculative element.
+ *   - Vacuum (T=0, Λ=0): R=0. Pure cosmological constant (T=0):
+ *     R = 4Λ. Matter-dominated FRW with T = ρc² (matter trace):
+ *     R = 4Λ - (8πG/c⁴)·ρc² = 4Λ - 8πGρ/c² (textbook).
+ *   - Dim: [R] = [L⁻²] (Ricci scalar); [Λ] = [L⁻²]; [T] = energy
+ *     density = [M L⁻¹ T⁻²]; [8πG/c⁴] = [L³M⁻¹T⁻²]/[L⁴T⁻⁴] =
+ *     [L⁻¹M⁻¹T²]; [(8πG/c⁴)·T] = [L⁻¹M⁻¹T²]·[ML⁻¹T⁻²] = [L⁻²] ✓.
+ *
+ * @see docs/specification/Part-I.md ("Bridge Equation 13")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 13)
+ * @module bridges/equations/be-13-einstein-trace
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+import { Dimension } from '../../dimensional/types.js';
+/** [L⁻²] — Ricci scalar dimension. Hand-built literal (rather than
+ * `power(LENGTH, -2)`) because `power()` produces `-0` on unaffected
+ * bases, which compares unequal under deep-strict equality even though
+ * dimensionally identical. Same pattern as BE-23's RESISTIVITY and
+ * BE-31's INV_LENGTH_2.
+ */
+export declare const RICCI_SCALAR_DIM: Dimension;
+/** [M L⁻¹ T⁻²] — energy density (stress-energy trace dimension). */
+export declare const ENERGY_DENSITY_DIM: Dimension;
+/**
+ * RHS of the trace of Einstein equations:
+ *   R = 4Λ - (8πG / c⁴) T
+ *
+ * Encoded as `4·Λ + (-1)·(8π·G·T/c⁴)`. The unary minus is captured by
+ * a dimensionless `-1` symbol stub (same pattern as BE-39).
+ */
+export declare const BE13_EINSTEIN_TRACE_RHS: ExprNode;
+/** LHS: Ricci scalar R has dimension [L⁻²]. */
+export declare const BE13_EINSTEIN_TRACE_LHS: ExprNode;
+export interface EinsteinTraceInputs {
+    /** Cosmological constant Λ (m⁻²). Must be finite. */
+    Lambda_per_m2: number;
+    /**
+     * Trace of stress-energy tensor T = g^μν T_μν (energy density,
+     * J/m³ = kg/(m·s²)). For matter dominance T ≈ ρ c² (positive). For
+     * vacuum T = 0. Must be finite.
+     */
+    T_trace_J_per_m3: number;
+}
+/**
+ * Evaluate the trace of Einstein equations
+ *
+ *   R = 4Λ - (8π G / c⁴) T
+ *
+ * @returns Ricci scalar R in m⁻².
+ */
+export declare function evaluateEinsteinTrace(input: EinsteinTraceInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [L⁻²] (Ricci scalar).
+ */
+export declare function validateBE13Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-13-einstein-trace.d.ts.map

package/dist/bridges/equations/be-13-einstein-trace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-13-einstein-trace.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-13-einstein-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,EACL,SAAS,EAEV,MAAM,4BAA4B,CAAC;AAMpC;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,SAE9B,CAAC;AAEF,oEAAoE;AACpE,eAAO,MAAM,kBAAkB,EAAE,SAEhC,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAoCrC,CAAC;AAEF,+CAA+C;AAC/C,eAAO,MAAM,uBAAuB,EAAE,QAA2C,CAAC;AAIlF,MAAM,WAAW,mBAAmB;IAClC,qDAAqD;IACrD,aAAa,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAexE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}

package/dist/bridges/equations/be-13-einstein-trace.js

@@ -0,0 +1,143 @@
+/**
+ * Bridge Equation 13 — Trace of Einstein equations (Jacobson 1995
+ * thermodynamic interpretation, post Wave Y reformulation).
+ *
+ *   R = 4Λ - (8π G / c⁴) T
+ *
+ * The scalar trace of the full tensor Einstein equation
+ *   R_μν - (1/2) R g_μν + Λ g_μν = (8π G / c⁴) T_μν
+ * obtained by contracting with g^μν. In d=4: g^μν g_μν = 4, so
+ * g^μν R_μν = R, g^μν · (1/2) R g_μν = 2R, g^μν · Λ g_μν = 4Λ,
+ * and g^μν T_μν = T (the trace of stress-energy). Algebraically:
+ *   R - 2R + 4Λ = (8πG/c⁴) T
+ *   -R + 4Λ = (8πG/c⁴) T
+ *   R = 4Λ - (8πG/c⁴) T
+ *
+ * The Jacobson thermodynamic interpretation (Einstein equations as a
+ * macroscopic equation of state, derived from δQ = T dS on local
+ * Rindler horizons) is preserved as the bridge framing; the trace
+ * is the scalar AST-encodable form.
+ *
+ * Reference: Jacobson 1995 *Phys. Rev. Lett.* 75:1260
+ * (arXiv:gr-qc/9504004; canonical thermodynamic-derivation framing);
+ * Einstein 1915 *Sitzungsber. Preuss. Akad. Wiss. Berlin* 778
+ * (canonical Einstein field equations); MTW *Gravitation* §17.4
+ * (trace of Einstein equations).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - The trace equation R = 4Λ - (8πG/c⁴)T is canonical GR (textbook
+ *     content, Carroll *Spacetime and Geometry* §4.7). The bridge
+ *     framing — Jacobson thermodynamic origin as a UPT
+ *     information-physics bridge — is the speculative element.
+ *   - Vacuum (T=0, Λ=0): R=0. Pure cosmological constant (T=0):
+ *     R = 4Λ. Matter-dominated FRW with T = ρc² (matter trace):
+ *     R = 4Λ - (8πG/c⁴)·ρc² = 4Λ - 8πGρ/c² (textbook).
+ *   - Dim: [R] = [L⁻²] (Ricci scalar); [Λ] = [L⁻²]; [T] = energy
+ *     density = [M L⁻¹ T⁻²]; [8πG/c⁴] = [L³M⁻¹T⁻²]/[L⁴T⁻⁴] =
+ *     [L⁻¹M⁻¹T²]; [(8πG/c⁴)·T] = [L⁻¹M⁻¹T²]·[ML⁻¹T⁻²] = [L⁻²] ✓.
+ *
+ * @see docs/specification/Part-I.md ("Bridge Equation 13")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 13)
+ * @module bridges/equations/be-13-einstein-trace
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, } from '../../dimensional/types.js';
+import { c as DIM_c, G as DIM_G } from '../../dimensional/constants.js';
+import { PhysicalConstants } from '../../core/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/** [L⁻²] — Ricci scalar dimension. Hand-built literal (rather than
+ * `power(LENGTH, -2)`) because `power()` produces `-0` on unaffected
+ * bases, which compares unequal under deep-strict equality even though
+ * dimensionally identical. Same pattern as BE-23's RESISTIVITY and
+ * BE-31's INV_LENGTH_2.
+ */
+export const RICCI_SCALAR_DIM = {
+    L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0,
+};
+/** [M L⁻¹ T⁻²] — energy density (stress-energy trace dimension). */
+export const ENERGY_DENSITY_DIM = {
+    L: -1, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0,
+};
+/**
+ * RHS of the trace of Einstein equations:
+ *   R = 4Λ - (8πG / c⁴) T
+ *
+ * Encoded as `4·Λ + (-1)·(8π·G·T/c⁴)`. The unary minus is captured by
+ * a dimensionless `-1` symbol stub (same pattern as BE-39).
+ */
+export const BE13_EINSTEIN_TRACE_RHS = {
+    kind: 'op', op: '+',
+    args: [
+        {
+            // 4 · Λ
+            kind: 'op', op: '*',
+            args: [
+                sym('4', DIMENSIONLESS),
+                sym('Lambda', RICCI_SCALAR_DIM),
+            ],
+        },
+        {
+            // -1 · (8π · G · T / c⁴)
+            kind: 'op', op: '*',
+            args: [
+                sym('-1', DIMENSIONLESS),
+                {
+                    kind: 'op', op: '/',
+                    args: [
+                        {
+                            kind: 'op', op: '*',
+                            args: [
+                                sym('8pi', DIMENSIONLESS),
+                                sym('G', DIM_G),
+                                sym('T_trace', ENERGY_DENSITY_DIM),
+                            ],
+                        },
+                        {
+                            kind: 'op', op: '^',
+                            args: [sym('c', DIM_c), sym('4', DIMENSIONLESS)],
+                        },
+                    ],
+                },
+            ],
+        },
+    ],
+};
+/** LHS: Ricci scalar R has dimension [L⁻²]. */
+export const BE13_EINSTEIN_TRACE_LHS = sym('R_ricci', RICCI_SCALAR_DIM);
+/**
+ * Evaluate the trace of Einstein equations
+ *
+ *   R = 4Λ - (8π G / c⁴) T
+ *
+ * @returns Ricci scalar R in m⁻².
+ */
+export function evaluateEinsteinTrace(input) {
+    const { Lambda_per_m2, T_trace_J_per_m3 } = input;
+    if (!Number.isFinite(Lambda_per_m2)) {
+        throw new RangeError(`evaluateEinsteinTrace: Lambda_per_m2 must be finite, got ${Lambda_per_m2}`);
+    }
+    if (!Number.isFinite(T_trace_J_per_m3)) {
+        throw new RangeError(`evaluateEinsteinTrace: T_trace_J_per_m3 must be finite, got ${T_trace_J_per_m3}`);
+    }
+    const { c, G } = PhysicalConstants;
+    const c4 = c * c * c * c;
+    return 4 * Lambda_per_m2 - (8 * Math.PI * G * T_trace_J_per_m3) / c4;
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [L⁻²] (Ricci scalar).
+ */
+export function validateBE13Dimensions() {
+    const eq = validateEquation(BE13_EINSTEIN_TRACE_LHS, BE13_EINSTEIN_TRACE_RHS);
+    const lhs = validate(BE13_EINSTEIN_TRACE_LHS);
+    const rhs = validate(BE13_EINSTEIN_TRACE_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-13-einstein-trace.js.map

package/dist/bridges/equations/be-13-einstein-trace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-13-einstein-trace.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-13-einstein-trace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,MAAM,gCAAgC,CAAC;AACxE,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;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAc;IACzC,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,oEAAoE;AACpE,MAAM,CAAC,MAAM,kBAAkB,GAAc;IAC3C,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,QAAQ;YACR,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,QAAQ,EAAE,gBAAgB,CAAC;aAChC;SACF;QACD;YACE,yBAAyB;YACzB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE;gCACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gCACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;gCACf,GAAG,CAAC,SAAS,EAAE,kBAAkB,CAAC;6BACnC;yBACF;wBACD;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;yBACjD;qBACF;iBACF;aACF;SACF;KACF;CACF,CAAC;AAEF,+CAA+C;AAC/C,MAAM,CAAC,MAAM,uBAAuB,GAAa,GAAG,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;AAelF;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,MAAM,EAAE,aAAa,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC;IAClD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,UAAU,CAClB,4DAA4D,aAAa,EAAE,CAC5E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,UAAU,CAClB,+DAA+D,gBAAgB,EAAE,CAClF,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACnC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzB,OAAO,CAAC,GAAG,aAAa,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,gBAAgB,CAAC,GAAG,EAAE,CAAC;AACvE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,uBAAuB,EAAE,uBAAuB,CAAC,CAAC;IAC9E,MAAM,GAAG,GAAG,QAAQ,CAAC,uBAAuB,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,QAAQ,CAAC,uBAAuB,CAAC,CAAC;IAC9C,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-14-ryu-takayanagi.d.ts

@@ -0,0 +1,67 @@
+/**
+ * Bridge Equation 14 — Ryu-Takayanagi (Quantum Error Correction Holographic Mapping).
+ *
+ * The bridge entry's `formula_latex` shows the holographic-quantum-error-
+ * correction code-subspace map; the *physical content* the spec ascribes to
+ * BE-14 (per `notes` and the cited reference) is the Ryu-Takayanagi formula:
+ *
+ *   S_boundary = Area(γ) / (4 G_N ℏ)            [natural units, k_B = 1]
+ *   S_boundary = k_B c^3 Area(γ) / (4 G_N ℏ)    [SI units]
+ *
+ * γ is the bulk minimal surface anchored to the boundary subregion whose
+ * von-Neumann entropy is being computed.
+ *
+ * Reference: S. Ryu and T. Takayanagi, "Holographic derivation of entanglement
+ * entropy from AdS/CFT," Phys. Rev. Lett. 96, 181602 (2006); arXiv:hep-th/0603001.
+ *
+ * Status: established (within AdS/CFT). This module exposes:
+ *   - the ExprNode AST encoding the SI-form RHS,
+ *   - a numerical evaluator in SI units,
+ *   - a numerical evaluator in natural units,
+ *   - a self-validation helper that runs the AST through the dimensional
+ *     analyzer and returns ENTROPY = M L^2 T^-2 Theta^-1 on success.
+ *
+ * Honest-claude scope notes:
+ *   - We do NOT compute the minimal surface area; the area is an input.
+ *     Computing γ from a bulk metric is a separate (much harder) problem
+ *     and is out of scope for the bridge formula itself.
+ *   - The SI evaluator and the natural-unit evaluator agree only up to the
+ *     CODATA roundoff in ℓ_P vs (ℏG/c^3)^(1/2) (~1e-4); see the test for
+ *     the cross-check.
+ *
+ * @see docs/specification/Part-I.md ("Bridge Equation 14: Quantum Error Correction Holographic Mapping")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 14)
+ * @module bridges/equations/be-14-ryu-takayanagi
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+/** RHS of the SI-form Ryu-Takayanagi formula as a typed ExprNode tree. */
+export declare const RYU_TAKAYANAGI_RHS: ExprNode;
+/** LHS of the equation: a single symbol of dimension [entropy]. */
+export declare const RYU_TAKAYANAGI_LHS: ExprNode;
+export interface RyuTakayanagiInputs {
+    /** Minimal-surface area γ in SI square metres. Must be ≥ 0. */
+    area_m2: number;
+}
+/**
+ * Evaluate S_boundary = k_B c^3 A / (4 G_N ℏ) in SI units.
+ *
+ * @returns Boundary von-Neumann entropy in J/K.
+ */
+export declare function evaluateRyuTakayanagi(input: RyuTakayanagiInputs): number;
+export interface RyuTakayanagiNaturalInputs {
+    /** Area measured in Planck areas (ℓ_P^2). Must be ≥ 0. */
+    area_planck: number;
+}
+/**
+ * Evaluate S = A / 4 in natural units (G = ℏ = c = k_B = 1), with the area
+ * input expressed in Planck areas.
+ *
+ * @returns Dimensionless entropy.
+ */
+export declare function evaluateRyuTakayanagiNatural(input: RyuTakayanagiNaturalInputs): number;
+/**
+ * Run the AST through the dimensional analyzer and confirm both sides are
+ * [entropy]. Returns the inferred dimensions for traceability.
+ */
+export declare function validateRyuTakayanagiDimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-14-ryu-takayanagi.d.ts.map

package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-14-ryu-takayanagi.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-14-ryu-takayanagi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAoB1F,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,EAAE,QAyBhC,CAAC;AAEF,mEAAmE;AACnE,eAAO,MAAM,kBAAkB,EAAE,QAAqC,CAAC;AAIvE,MAAM,WAAW,mBAAmB;IAClC,+DAA+D;IAC/D,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CASxE;AAED,MAAM,WAAW,0BAA0B;IACzC,0DAA0D;IAC1D,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,0BAA0B,GAAG,MAAM,CAQtF;AAID;;;GAGG;AACH,wBAAgB,+BAA+B,IAAI,yBAAyB,CAS3E"}

package/dist/bridges/equations/be-14-ryu-takayanagi.js

@@ -0,0 +1,112 @@
+/**
+ * Bridge Equation 14 — Ryu-Takayanagi (Quantum Error Correction Holographic Mapping).
+ *
+ * The bridge entry's `formula_latex` shows the holographic-quantum-error-
+ * correction code-subspace map; the *physical content* the spec ascribes to
+ * BE-14 (per `notes` and the cited reference) is the Ryu-Takayanagi formula:
+ *
+ *   S_boundary = Area(γ) / (4 G_N ℏ)            [natural units, k_B = 1]
+ *   S_boundary = k_B c^3 Area(γ) / (4 G_N ℏ)    [SI units]
+ *
+ * γ is the bulk minimal surface anchored to the boundary subregion whose
+ * von-Neumann entropy is being computed.
+ *
+ * Reference: S. Ryu and T. Takayanagi, "Holographic derivation of entanglement
+ * entropy from AdS/CFT," Phys. Rev. Lett. 96, 181602 (2006); arXiv:hep-th/0603001.
+ *
+ * Status: established (within AdS/CFT). This module exposes:
+ *   - the ExprNode AST encoding the SI-form RHS,
+ *   - a numerical evaluator in SI units,
+ *   - a numerical evaluator in natural units,
+ *   - a self-validation helper that runs the AST through the dimensional
+ *     analyzer and returns ENTROPY = M L^2 T^-2 Theta^-1 on success.
+ *
+ * Honest-claude scope notes:
+ *   - We do NOT compute the minimal surface area; the area is an input.
+ *     Computing γ from a bulk metric is a separate (much harder) problem
+ *     and is out of scope for the bridge formula itself.
+ *   - The SI evaluator and the natural-unit evaluator agree only up to the
+ *     CODATA roundoff in ℓ_P vs (ℏG/c^3)^(1/2) (~1e-4); see the test for
+ *     the cross-check.
+ *
+ * @see docs/specification/Part-I.md ("Bridge Equation 14: Quantum Error Correction Holographic Mapping")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 14)
+ * @module bridges/equations/be-14-ryu-takayanagi
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { AREA, DIMENSIONLESS, ENTROPY, } from '../../dimensional/types.js';
+import { k_B as DIM_kB, c as DIM_c, G as DIM_G, hbar as DIM_hbar, } from '../../dimensional/constants.js';
+import { PhysicalConstants } from '../../core/types.js';
+// --- Symbolic AST: RHS = k_B * c^3 * A / (4 * G * ℏ) ---
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/** RHS of the SI-form Ryu-Takayanagi formula as a typed ExprNode tree. */
+export const RYU_TAKAYANAGI_RHS = {
+    kind: 'op', op: '/',
+    args: [
+        {
+            // numerator: k_B * c^3 * A
+            kind: 'op', op: '*',
+            args: [
+                sym('k_B', DIM_kB),
+                {
+                    kind: 'op', op: '^',
+                    args: [sym('c', DIM_c), sym('3', DIMENSIONLESS)],
+                },
+                sym('A', AREA),
+            ],
+        },
+        {
+            // denominator: 4 * G_N * ℏ
+            kind: 'op', op: '*',
+            args: [
+                sym('4', DIMENSIONLESS),
+                sym('G_N', DIM_G),
+                sym('hbar', DIM_hbar),
+            ],
+        },
+    ],
+};
+/** LHS of the equation: a single symbol of dimension [entropy]. */
+export const RYU_TAKAYANAGI_LHS = sym('S_boundary', ENTROPY);
+/**
+ * Evaluate S_boundary = k_B c^3 A / (4 G_N ℏ) in SI units.
+ *
+ * @returns Boundary von-Neumann entropy in J/K.
+ */
+export function evaluateRyuTakayanagi(input) {
+    const { area_m2 } = input;
+    if (!Number.isFinite(area_m2) || area_m2 < 0) {
+        throw new RangeError(`evaluateRyuTakayanagi: area_m2 must be a finite non-negative number, got ${area_m2}`);
+    }
+    const { kB, c, G, hbar } = PhysicalConstants;
+    return (kB * c * c * c * area_m2) / (4 * G * hbar);
+}
+/**
+ * Evaluate S = A / 4 in natural units (G = ℏ = c = k_B = 1), with the area
+ * input expressed in Planck areas.
+ *
+ * @returns Dimensionless entropy.
+ */
+export function evaluateRyuTakayanagiNatural(input) {
+    const { area_planck } = input;
+    if (!Number.isFinite(area_planck) || area_planck < 0) {
+        throw new RangeError(`evaluateRyuTakayanagiNatural: area_planck must be a finite non-negative number, got ${area_planck}`);
+    }
+    return area_planck / 4;
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer and confirm both sides are
+ * [entropy]. Returns the inferred dimensions for traceability.
+ */
+export function validateRyuTakayanagiDimensions() {
+    const eq = validateEquation(RYU_TAKAYANAGI_LHS, RYU_TAKAYANAGI_RHS);
+    const lhs = validate(RYU_TAKAYANAGI_LHS);
+    const rhs = validate(RYU_TAKAYANAGI_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-14-ryu-takayanagi.js.map

package/dist/bridges/equations/be-14-ryu-takayanagi.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-14-ryu-takayanagi.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-14-ryu-takayanagi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,IAAI,EACJ,aAAa,EACb,OAAO,GACR,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,GAAG,IAAI,MAAM,EACb,CAAC,IAAI,KAAK,EACV,CAAC,IAAI,KAAK,EACV,IAAI,IAAI,QAAQ,GACjB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,0DAA0D;AAE1D,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,0EAA0E;AAC1E,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,2BAA2B;YAC3B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gBAClB;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,GAAG,EAAE,IAAI,CAAC;aACf;SACF;QACD;YACE,2BAA2B;YAC3B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC;gBACjB,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;aACtB;SACF;KACF;CACF,CAAC;AAEF,mEAAmE;AACnE,MAAM,CAAC,MAAM,kBAAkB,GAAa,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;AASvE;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,UAAU,CAClB,4EAA4E,OAAO,EAAE,CACtF,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC;IAC7C,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;AACrD,CAAC;AAOD;;;;;GAKG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAAiC;IAC5E,MAAM,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,UAAU,CAClB,uFAAuF,WAAW,EAAE,CACrG,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,+BAA+B;IAC7C,MAAM,EAAE,GAAG,gBAAgB,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;IACpE,MAAM,GAAG,GAAG,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IACzC,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}