universal-physics-tensor 0.4.5

package/dist/bridges/equations/be-44-soft-hair.js

@@ -0,0 +1,185 @@
+/**
+ * Bridge Equation 44 — Soft Hair on Black Holes (Hawking-Perry-Strominger
+ * 2016) — squared-norm scalar reduction.
+ *
+ *   Q_soft² = ∫_{𝒤^±} (∂_u C_{zz̄})² dμ
+ *
+ * The integrated squared news at null infinity — the natural BMS-invariant
+ * L²-norm of the soft-hair charge integrand. This is a SCALAR REDUCTION of
+ * the operator-valued BMS supertranslation charge
+ *
+ *   Q_soft^± = ∫_{𝒤^±} (∂_u C_{zz̄}) Y^z dz ∧ dz̄
+ *
+ * which the AST grammar cannot directly encode (C_{zz̄} is an operator-
+ * valued asymptotic-shear field at null infinity; Y^z is a BMS
+ * supertranslation parameter; the integrand is genuinely operator-valued
+ * and the celestial-2-sphere geometry is not in the AST primitives).
+ *
+ * What IS encodable: the squared norm reduction uses only the `integral`
+ * primitive (same machinery as BE-26 WKB), integrating over the u-direction
+ * with the celestial-2-sphere implicit and Y^z absorbed into the measure.
+ * The resulting scalar Q_soft² is the BMS-invariant L²-norm of the news
+ * field at 𝒤^±, a standard derived quantity in the soft-theorem literature.
+ *
+ * Dimensional analysis (BMS-shear convention; Hawking-Perry-Strominger
+ * 2016 §2; Strominger 2018 lectures §2.10):
+ *   - C_{zz̄}    asymptotic shear at null infinity — dim [L] in SI
+ *               (a metric-perturbation coefficient at 𝒤^±; dimensionless
+ *               in natural units where length and time are unified, but
+ *               SI carries [L] under the standard Bondi-frame convention).
+ *   - ∂_u C    news tensor — dim [L/T] = [L T^-1] (u is retarded time).
+ *   - (∂_u C)²  squared news — dim [L² T^-2].
+ *   - dμ       3-volume measure on 𝒤^± in the reduced encoding is the
+ *               u-coordinate measure of dim [T]; the celestial-2-sphere
+ *               z,z̄ stereographic coordinates are dimensionless and
+ *               implicit (their contribution to dμ is dimensionless).
+ *   - ∫(∂_u C)² dμ  squared soft-hair charge — dim [L² T^-1].
+ *
+ * Status: 'speculative' (encoding does NOT promote).
+ *
+ * Honest-claude scope notes:
+ *   - The ORIGINAL BE-44 formula `Q_soft^± = ∫_{𝒤^±} (∂_u C_{zz̄}) Y^z
+ *     dz ∧ dz̄` is OPERATOR-VALUED: C_{zz̄} is an asymptotic shear field
+ *     at null infinity (a Hilbert-space-valued tensor field, not a
+ *     c-number); Y^z is a BMS supertranslation parameter (a function/
+ *     vector field on the celestial sphere indexing an infinite family of
+ *     charges). The AST grammar's `symbol`, `op`, `integral`, `derivative`
+ *     primitives have no representation for field operators or BMS
+ *     symmetry parameters.
+ *   - This encoding is a **SQUARED-NORM SCALAR REDUCTION** (the L²-norm
+ *     of the news at null infinity), which IS encodable via the `integral`
+ *     primitive but does **NOT** encode the BMS charge structure itself.
+ *     The full Q_soft^± charge labelled by Y^z and the celestial-2-sphere
+ *     geometry (z, z̄ stereographic coordinates) are NOT represented.
+ *   - The supertranslation parameter Y^z drops out of the squared norm
+ *     (it would multiply (∂_u C)² in any "intensity" definition only if
+ *     the encoding also folded in |Y|²; we omit Y entirely, treating the
+ *     reduction as the bare news squared norm). For a Y-weighted version,
+ *     promote (∂_u C)² → (∂_u C · Y^z)·conj — outside the present scope.
+ *   - The celestial-2-sphere measure (with dz ∧ dz̄ a 2-form on the
+ *     sphere) is implicit and dimensionless under the stereographic
+ *     coordinate convention; only the u-direction contributes a
+ *     dimensionful measure element [T].
+ *   - The numerical evaluator implements TRAPEZOIDAL quadrature on a
+ *     uniform u-grid — an approximation, not exact integration. Convergence
+ *     is O(du²) for smooth news profiles.
+ *   - Status remains 'speculative' — this encoding does NOT promote the
+ *     bridge to 'established'; the bridge framing (soft-hair charges as
+ *     UPT information-paradox resolution) is the speculative element. The
+ *     squared-norm reduction is a standard observable in the soft-theorem
+ *     literature (Strominger 2018 §2.10) but does not encode the BMS
+ *     charge algebra.
+ *
+ * References:
+ *   - Hawking, Perry & Strominger 2016 *Phys. Rev. Lett.* 116:231301
+ *     (arXiv:1601.00921; original soft-hair-on-black-holes proposal)
+ *   - Hawking, Perry & Strominger 2017 *JHEP* 1705:161 (arXiv:1611.09175;
+ *     BMS supertranslation details)
+ *   - Bondi, van der Burg & Metzner 1962 *Proc. R. Soc. Lond. A* 269:21
+ *     (foundational BMS asymptotic-symmetry paper)
+ *   - Strominger 2014 *JHEP* 1407:152 (arXiv:1312.2229; BMS as gauge
+ *     symmetry of asymptotically-flat gravity)
+ *   - Strominger 2018 *Lectures on the Infrared Structure of Gravity and
+ *     Gauge Theory* (Princeton; arXiv:1703.05448; §2.10 discusses the
+ *     news-squared L²-norm)
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 44: Soft Hair on Black Holes")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 44)
+ * @module bridges/equations/be-44-soft-hair
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { LENGTH, TIME, } from '../../dimensional/types.js';
+import { divide, multiply } from '../../dimensional/algebra.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/** News-tensor velocity dim: ∂_u C with dim [L/T] = [L T^-1]. */
+const NEWS_DIM = divide(LENGTH, TIME);
+/** Squared-news dim: (∂_u C)² with dim [L² T^-2]. */
+const NEWS_SQUARED_DIM = multiply(NEWS_DIM, NEWS_DIM);
+/** Soft-hair squared-charge dim: ∫(∂_u C)² du with dim [L² T^-1]. */
+export const SOFT_HAIR_SQUARED = multiply(NEWS_SQUARED_DIM, TIME);
+/**
+ * News tensor symbol: ∂_u C_{zz̄}. The u-derivative of the asymptotic
+ * shear at null infinity. Dim [L T^-1] (velocity-like rate of change of
+ * the shear).
+ */
+export const BE44_NEWS_TENSOR = sym('partial_u_C', NEWS_DIM);
+/**
+ * Squared news: (∂_u C) · (∂_u C). Dim [L² T^-2]. Encoded as an
+ * explicit `op: '*'` product (rather than `op: '^'` with exponent 2)
+ * because both factors are the same symbol and the validator infers
+ * [L² T^-2] cleanly from multiplication.
+ */
+export const BE44_NEWS_SQUARED = {
+    kind: 'op', op: '*',
+    args: [BE44_NEWS_TENSOR, BE44_NEWS_TENSOR],
+};
+/**
+ * RHS: ∫_{𝒤^±} (∂_u C)² du. The celestial-2-sphere measure dz ∧ dz̄ is
+ * dimensionless under the standard stereographic convention and is
+ * absorbed implicitly; only the u-direction contributes a dimensionful
+ * measure element [T]. Resulting dim: [L² T^-2] · [T] = [L² T^-1].
+ */
+export const BE44_SOFT_HAIR_INTEGRAL_RHS = {
+    kind: 'integral',
+    over: sym('u', TIME),
+    integrand: BE44_NEWS_SQUARED,
+};
+/** LHS: Q_soft² has dim [L² T^-1]. */
+export const BE44_SOFT_HAIR_CHARGE_SQUARED_LHS = sym('Q_soft_squared', SOFT_HAIR_SQUARED);
+/**
+ * Evaluate Q_soft² = ∫(∂_u C)² du via trapezoidal quadrature on a uniform
+ * u-grid.
+ *
+ * The trapezoidal rule for a uniform grid `samples[0..N-1]` with spacing
+ * `du` reads
+ *
+ *   ∫f du ≈ du · [f₀/2 + f₁ + f₂ + … + f_{N-2} + f_{N-1}/2]
+ *
+ * We apply it to f(u) = (samples[i])². This is an O(du²) approximation;
+ * not exact. Returned value has SI dim [L² T^-1] = [m²/s].
+ *
+ * @throws RangeError if news_samples is empty, has fewer than 2 entries,
+ *                   contains non-finite values, or du is non-positive
+ *                   or non-finite.
+ */
+export function evaluateBE44SoftHairCharge(input) {
+    const { news_samples, du } = input;
+    if (!Array.isArray(news_samples)) {
+        throw new RangeError(`evaluateBE44SoftHairCharge: news_samples must be an array, got ${typeof news_samples}`);
+    }
+    if (news_samples.length < 2) {
+        throw new RangeError(`evaluateBE44SoftHairCharge: news_samples must have at least 2 entries (trapezoid needs both endpoints), got length ${news_samples.length}`);
+    }
+    if (!Number.isFinite(du) || du <= 0) {
+        throw new RangeError(`evaluateBE44SoftHairCharge: du must be a finite positive number, got ${du}`);
+    }
+    for (let i = 0; i < news_samples.length; i++) {
+        if (!Number.isFinite(news_samples[i])) {
+            throw new RangeError(`evaluateBE44SoftHairCharge: news_samples[${i}] is not finite, got ${news_samples[i]}`);
+        }
+    }
+    // Trapezoidal sum of f² on uniform grid: du · [f₀²/2 + Σ_inner fᵢ² + f_{N-1}²/2].
+    const N = news_samples.length;
+    let acc = 0.5 * news_samples[0] * news_samples[0];
+    for (let i = 1; i < N - 1; i++) {
+        acc += news_samples[i] * news_samples[i];
+    }
+    acc += 0.5 * news_samples[N - 1] * news_samples[N - 1];
+    return acc * du;
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; LHS and RHS should both
+ * be [L² T^-1].
+ */
+export function validateBE44Dimensions() {
+    const eq = validateEquation(BE44_SOFT_HAIR_CHARGE_SQUARED_LHS, BE44_SOFT_HAIR_INTEGRAL_RHS);
+    const lhs = validate(BE44_SOFT_HAIR_CHARGE_SQUARED_LHS);
+    const rhs = validate(BE44_SOFT_HAIR_INTEGRAL_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-44-soft-hair.js.map

package/dist/bridges/equations/be-44-soft-hair.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-44-soft-hair.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-44-soft-hair.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwFG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,MAAM,EACN,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAEhE,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,iEAAiE;AACjE,MAAM,QAAQ,GAAc,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAEjD,qDAAqD;AACrD,MAAM,gBAAgB,GAAc,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;AAEjE,qEAAqE;AACrE,MAAM,CAAC,MAAM,iBAAiB,GAAc,QAAQ,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC;AAE7E;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa,GAAG,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;AAEvE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;CAC3C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAa;IACnD,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;IACpB,SAAS,EAAE,iBAAiB;CAC7B,CAAC;AAEF,sCAAsC;AACtC,MAAM,CAAC,MAAM,iCAAiC,GAAa,GAAG,CAC5D,gBAAgB,EAChB,iBAAiB,CAClB,CAAC;AAkBF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAyB;IAClE,MAAM,EAAE,YAAY,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,UAAU,CAClB,kEAAkE,OAAO,YAAY,EAAE,CACxF,CAAC;IACJ,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAClB,sHAAsH,YAAY,CAAC,MAAM,EAAE,CAC5I,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,UAAU,CAClB,wEAAwE,EAAE,EAAE,CAC7E,CAAC;IACJ,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,UAAU,CAClB,4CAA4C,CAAC,wBAAwB,YAAY,CAAC,CAAC,CAAC,EAAE,CACvF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,kFAAkF;IAClF,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC;IAC9B,IAAI,GAAG,GAAG,GAAG,GAAG,YAAY,CAAC,CAAC,CAAE,GAAG,YAAY,CAAC,CAAC,CAAE,CAAC;IACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,GAAG,IAAI,YAAY,CAAC,CAAC,CAAE,GAAG,YAAY,CAAC,CAAC,CAAE,CAAC;IAC7C,CAAC;IACD,GAAG,IAAI,GAAG,GAAG,YAAY,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,YAAY,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;IACzD,OAAO,GAAG,GAAG,EAAE,CAAC;AAClB,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CACzB,iCAAiC,EACjC,2BAA2B,CAC5B,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,iCAAiC,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,QAAQ,CAAC,2BAA2B,CAAC,CAAC;IAClD,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-45-tcc.d.ts

@@ -0,0 +1,116 @@
+/**
+ * Bridge Equation 45 — Trans-Planckian Censorship Conjecture (TCC) bound
+ * on inflationary e-folds (Bedroya-Vafa 2019 + γ-extension).
+ *
+ *   N_e_max = log(M_P / H_inf) - γ · log(r / 0.01)
+ *
+ * N_e_max is the maximum number of inflationary e-folds before
+ * trans-Planckian modes become observable. The canonical Bedroya-Vafa
+ * bound (arXiv:1909.11063) is just `N_e < ln(M_P/H_inf)`; the
+ * `-γ log(r/0.01)` term is an extension original to this framework
+ * (no published derivation).
+ *
+ * **Natural-units convention (honest-claude resolution).** The log
+ * argument `M_P/H_inf` requires that ratio to be dimensionless. In
+ * natural units (ℏ = c = 1) both M_P and H_inf are energies, so the
+ * ratio is dimensionless ✓. In SI, M_P has [mass] and H_inf has [1/T];
+ * the ratio is `[kg·s]` which is NOT dimensionless. The TCC literature
+ * works in natural units throughout (Bedroya-Vafa 2019; also the
+ * convention BE-39 asymptotic-safety and BE-40 composite-Higgs use).
+ * This module pins natural units explicitly: M_P and H_inf are both
+ * encoded as ENERGY symbols, and the numerical evaluator takes them
+ * in GeV with the user responsible for converting H_inf to its
+ * energy-equivalent (E_inf = ℏ H_inf in SI, or H_inf-in-GeV directly
+ * in natural units).
+ *
+ * **Dimensionless-stub pattern for log.** The AST has no `log`
+ * primitive. Following the same pattern as BE-26's exp(-WKB) and
+ * BE-41's exp(...), we encode `log(M_P/H_inf)` and `log(r/0.01)` as
+ * dimensionless symbol stubs, and expose the TWO log arguments as
+ * separate ExprNodes (`BE45_LOG_RATIO_ARG_MP_HINF` and
+ * `BE45_LOG_RATIO_ARG_R`) so the lemma tests can verify each argument
+ * is dimensionless.
+ *
+ * Bracket-checks (numerical evaluator computes the TCC bound directly):
+ *   - M_P = 1.22e19 GeV, H_inf = 1e14 GeV (GUT-scale), r = 0.01:
+ *     N_e_max = log(1.22e5) ≈ 11.71 (12 e-folds) — TCC's typical
+ *     observation window;
+ *   - N_e_max increases as M_P/H_inf increases (lower-energy
+ *     inflation allows more e-folds);
+ *   - N_e_max decreases as γ·log(r/0.01) increases.
+ *
+ * References:
+ *   - Bedroya & Vafa 2019 (arXiv:1909.11063; canonical TCC statement);
+ *   - Bedroya, Brandenberger, Loverde, Vafa 2020 *Phys. Rev. D* 101:103502
+ *     (arXiv:1909.11063 follow-up; observational implications).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - The base Bedroya-Vafa bound `N_e < ln(M_P/H_inf)` is the
+ *     canonical content; the `-γ log(r/0.01)` extension is original
+ *     to this framework, with no published derivation. γ is
+ *     dimensionless O(1) (treated as a free parameter here).
+ *   - Natural units are pinned by convention; the SI equivalent
+ *     would require re-deriving the relation with explicit ℏ, c
+ *     factors. This is documented but not implemented.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 45: Trans-Planckian Censorship Constraint")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 45)
+ * @module bridges/equations/be-45-tcc
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+/**
+ * Lemma AST: the M_P/H_inf log argument (natural-units convention,
+ * both quantities as ENERGY).
+ *
+ * Exposed for the lemma test that verifies the argument is
+ * dimensionless (per the dimensionless-stub convention; see
+ * `src/dimensional/README.md` "Encoding transcendental functions").
+ */
+export declare const BE45_LOG_RATIO_ARG_MP_HINF: ExprNode;
+/**
+ * Lemma AST: the r/0.01 log argument (both quantities dimensionless).
+ *
+ * r is the tensor-to-scalar ratio (dimensionless); 0.01 is the
+ * dimensionless reference value used in the γ-correction term.
+ */
+export declare const BE45_LOG_RATIO_ARG_R: ExprNode;
+/**
+ * RHS of the TCC bound:
+ *   log(M_P/H_inf) - γ · log(r/0.01)
+ *
+ * Both `log_MP_Hinf` and `log_r_ratio` are encoded as dimensionless
+ * symbol stubs (the AST has no `log` primitive). The arguments are
+ * verified dimensionless via `BE45_LOG_RATIO_ARG_MP_HINF` and
+ * `BE45_LOG_RATIO_ARG_R`. γ is dimensionless O(1).
+ */
+export declare const BE45_TCC_RHS: ExprNode;
+/** LHS: N_e_max is dimensionless (number of e-folds = log of expansion factor). */
+export declare const BE45_TCC_LHS: ExprNode;
+export interface TCCInputs {
+    /** Planck mass M_P in GeV (canonical: 1.22e19). Must be > 0 and finite. */
+    M_P_GeV: number;
+    /** Inflationary Hubble scale H_inf in GeV-equivalent energy units (natural units, ℏH_inf or H_inf-in-GeV directly). Must be > 0 and finite. */
+    H_inf_GeV: number;
+    /** Tensor-to-scalar ratio r (dimensionless). Must be > 0 and finite. */
+    r: number;
+    /** Dimensionless O(1) coefficient γ for the framework-original correction. Must be finite. */
+    gamma: number;
+}
+/**
+ * Evaluate the TCC bound on inflationary e-folds (natural log):
+ *
+ *   N_e_max = ln(M_P/H_inf) - γ · ln(r/0.01)
+ *
+ * Natural log convention follows Bedroya-Vafa 2019.
+ *
+ * @returns Dimensionless maximum number of e-folds.
+ */
+export declare function evaluateTCC(input: TCCInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * dimensionless.
+ */
+export declare function validateBE45Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-45-tcc.d.ts.map

package/dist/bridges/equations/be-45-tcc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-45-tcc.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-45-tcc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAU1F;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAMxC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAMlC,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY,EAAE,QAY1B,CAAC;AAEF,mFAAmF;AACnF,eAAO,MAAM,YAAY,EAAE,QAAwC,CAAC;AAIpE,MAAM,WAAW,SAAS;IACxB,2EAA2E;IAC3E,OAAO,EAAE,MAAM,CAAC;IAChB,+IAA+I;IAC/I,SAAS,EAAE,MAAM,CAAC;IAClB,wEAAwE;IACxE,CAAC,EAAE,MAAM,CAAC;IACV,8FAA8F;IAC9F,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAuBpD;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}

package/dist/bridges/equations/be-45-tcc.js

@@ -0,0 +1,157 @@
+/**
+ * Bridge Equation 45 — Trans-Planckian Censorship Conjecture (TCC) bound
+ * on inflationary e-folds (Bedroya-Vafa 2019 + γ-extension).
+ *
+ *   N_e_max = log(M_P / H_inf) - γ · log(r / 0.01)
+ *
+ * N_e_max is the maximum number of inflationary e-folds before
+ * trans-Planckian modes become observable. The canonical Bedroya-Vafa
+ * bound (arXiv:1909.11063) is just `N_e < ln(M_P/H_inf)`; the
+ * `-γ log(r/0.01)` term is an extension original to this framework
+ * (no published derivation).
+ *
+ * **Natural-units convention (honest-claude resolution).** The log
+ * argument `M_P/H_inf` requires that ratio to be dimensionless. In
+ * natural units (ℏ = c = 1) both M_P and H_inf are energies, so the
+ * ratio is dimensionless ✓. In SI, M_P has [mass] and H_inf has [1/T];
+ * the ratio is `[kg·s]` which is NOT dimensionless. The TCC literature
+ * works in natural units throughout (Bedroya-Vafa 2019; also the
+ * convention BE-39 asymptotic-safety and BE-40 composite-Higgs use).
+ * This module pins natural units explicitly: M_P and H_inf are both
+ * encoded as ENERGY symbols, and the numerical evaluator takes them
+ * in GeV with the user responsible for converting H_inf to its
+ * energy-equivalent (E_inf = ℏ H_inf in SI, or H_inf-in-GeV directly
+ * in natural units).
+ *
+ * **Dimensionless-stub pattern for log.** The AST has no `log`
+ * primitive. Following the same pattern as BE-26's exp(-WKB) and
+ * BE-41's exp(...), we encode `log(M_P/H_inf)` and `log(r/0.01)` as
+ * dimensionless symbol stubs, and expose the TWO log arguments as
+ * separate ExprNodes (`BE45_LOG_RATIO_ARG_MP_HINF` and
+ * `BE45_LOG_RATIO_ARG_R`) so the lemma tests can verify each argument
+ * is dimensionless.
+ *
+ * Bracket-checks (numerical evaluator computes the TCC bound directly):
+ *   - M_P = 1.22e19 GeV, H_inf = 1e14 GeV (GUT-scale), r = 0.01:
+ *     N_e_max = log(1.22e5) ≈ 11.71 (12 e-folds) — TCC's typical
+ *     observation window;
+ *   - N_e_max increases as M_P/H_inf increases (lower-energy
+ *     inflation allows more e-folds);
+ *   - N_e_max decreases as γ·log(r/0.01) increases.
+ *
+ * References:
+ *   - Bedroya & Vafa 2019 (arXiv:1909.11063; canonical TCC statement);
+ *   - Bedroya, Brandenberger, Loverde, Vafa 2020 *Phys. Rev. D* 101:103502
+ *     (arXiv:1909.11063 follow-up; observational implications).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - The base Bedroya-Vafa bound `N_e < ln(M_P/H_inf)` is the
+ *     canonical content; the `-γ log(r/0.01)` extension is original
+ *     to this framework, with no published derivation. γ is
+ *     dimensionless O(1) (treated as a free parameter here).
+ *   - Natural units are pinned by convention; the SI equivalent
+ *     would require re-deriving the relation with explicit ℏ, c
+ *     factors. This is documented but not implemented.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 45: Trans-Planckian Censorship Constraint")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 45)
+ * @module bridges/equations/be-45-tcc
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, ENERGY, } from '../../dimensional/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * Lemma AST: the M_P/H_inf log argument (natural-units convention,
+ * both quantities as ENERGY).
+ *
+ * Exposed for the lemma test that verifies the argument is
+ * dimensionless (per the dimensionless-stub convention; see
+ * `src/dimensional/README.md` "Encoding transcendental functions").
+ */
+export const BE45_LOG_RATIO_ARG_MP_HINF = {
+    kind: 'op', op: '/',
+    args: [
+        sym('M_P', ENERGY),
+        sym('H_inf', ENERGY), // natural units: ℏ H_inf has dim [energy]
+    ],
+};
+/**
+ * Lemma AST: the r/0.01 log argument (both quantities dimensionless).
+ *
+ * r is the tensor-to-scalar ratio (dimensionless); 0.01 is the
+ * dimensionless reference value used in the γ-correction term.
+ */
+export const BE45_LOG_RATIO_ARG_R = {
+    kind: 'op', op: '/',
+    args: [
+        sym('r', DIMENSIONLESS),
+        sym('0.01', DIMENSIONLESS),
+    ],
+};
+/**
+ * RHS of the TCC bound:
+ *   log(M_P/H_inf) - γ · log(r/0.01)
+ *
+ * Both `log_MP_Hinf` and `log_r_ratio` are encoded as dimensionless
+ * symbol stubs (the AST has no `log` primitive). The arguments are
+ * verified dimensionless via `BE45_LOG_RATIO_ARG_MP_HINF` and
+ * `BE45_LOG_RATIO_ARG_R`. γ is dimensionless O(1).
+ */
+export const BE45_TCC_RHS = {
+    kind: 'op', op: '-',
+    args: [
+        sym('log(M_P/H_inf)', DIMENSIONLESS),
+        {
+            kind: 'op', op: '*',
+            args: [
+                sym('gamma', DIMENSIONLESS),
+                sym('log(r/0.01)', DIMENSIONLESS),
+            ],
+        },
+    ],
+};
+/** LHS: N_e_max is dimensionless (number of e-folds = log of expansion factor). */
+export const BE45_TCC_LHS = sym('N_e_max', DIMENSIONLESS);
+/**
+ * Evaluate the TCC bound on inflationary e-folds (natural log):
+ *
+ *   N_e_max = ln(M_P/H_inf) - γ · ln(r/0.01)
+ *
+ * Natural log convention follows Bedroya-Vafa 2019.
+ *
+ * @returns Dimensionless maximum number of e-folds.
+ */
+export function evaluateTCC(input) {
+    const { M_P_GeV, H_inf_GeV, r, gamma } = input;
+    if (!Number.isFinite(M_P_GeV) || M_P_GeV <= 0) {
+        throw new RangeError(`evaluateTCC: M_P_GeV must be a finite positive number, got ${M_P_GeV}`);
+    }
+    if (!Number.isFinite(H_inf_GeV) || H_inf_GeV <= 0) {
+        throw new RangeError(`evaluateTCC: H_inf_GeV must be a finite positive number, got ${H_inf_GeV}`);
+    }
+    if (!Number.isFinite(r) || r <= 0) {
+        throw new RangeError(`evaluateTCC: r must be a finite positive number, got ${r}`);
+    }
+    if (!Number.isFinite(gamma)) {
+        throw new RangeError(`evaluateTCC: gamma must be finite, got ${gamma}`);
+    }
+    return Math.log(M_P_GeV / H_inf_GeV) - gamma * Math.log(r / 0.01);
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * dimensionless.
+ */
+export function validateBE45Dimensions() {
+    const eq = validateEquation(BE45_TCC_LHS, BE45_TCC_RHS);
+    const lhs = validate(BE45_TCC_LHS);
+    const rhs = validate(BE45_TCC_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-45-tcc.js.map

package/dist/bridges/equations/be-45-tcc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-45-tcc.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-45-tcc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;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,0BAA0B,GAAa;IAClD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;QAClB,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,0CAA0C;KACjE;CACF,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;QACvB,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC;KAC3B;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;QACpC;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;gBAC3B,GAAG,CAAC,aAAa,EAAE,aAAa,CAAC;aAClC;SACF;KACF;CACF,CAAC;AAEF,mFAAmF;AACnF,MAAM,CAAC,MAAM,YAAY,GAAa,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAepE;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,KAAgB;IAC1C,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC/C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,UAAU,CAClB,8DAA8D,OAAO,EAAE,CACxE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,UAAU,CAClB,gEAAgE,SAAS,EAAE,CAC5E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAClB,wDAAwD,CAAC,EAAE,CAC5D,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,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,SAAS,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;AACpE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;IACnC,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-46-multiverse-measure.d.ts

@@ -0,0 +1,163 @@
+/**
+ * Bridge Equation 46 — Multiverse Measure Problem
+ * (Weinberg-Vilenkin anthropic-probability scalar reduction).
+ *
+ * **Original (formally divergent) form.**
+ *
+ *   P[O] = ∫ dμ[g, φ] W[g, φ] δ(O − O[g, φ])
+ *
+ * The integration measure dμ over the space of all spacetime metrics
+ * and field configurations is not Turing-computable, and the weighting
+ * factor W is itself the **unsolved measure problem** — the equation's
+ * own subject. As written, the original BE-46 is not a closed-form
+ * mathematical object that can be encoded in the UPT AST grammar
+ * (`symbol | op (* / + - ^) | integral | derivative` — there is no
+ * functional integral over the space of metrics). It is included in
+ * the catalog as a flagged formally-divergent entry whose role is to
+ * surface the bridge-framing question, not to be evaluated.
+ *
+ * **Encoded reduction (Weinberg-Vilenkin form).** Wave Z applies
+ * OpenAI's scalar reduction: instead of encoding the full path
+ * integral, we encode the most-cited specific anthropic-probability
+ * proposal — the Weinberg-Vilenkin form for a cosmological-constant-
+ * like landscape parameter Λ:
+ *
+ *   P(Λ) = A · exp(−α / Λ)
+ *
+ * where:
+ *   - P(Λ) is a probability ∈ [0, 1] (DIMENSIONLESS by definition);
+ *   - A is a normalization constant (DIMENSIONLESS; scheme-dependent —
+ *     it depends on the integrating-out cutoff used to render the
+ *     underlying measure finite);
+ *   - α is a model parameter, and Λ is the landscape parameter; the
+ *     ratio α/Λ must be dimensionless for the exponential to be
+ *     mathematically meaningful, so we encode α and Λ both as
+ *     DIMENSIONLESS symbols (treating them as ratio components in the
+ *     dimensionless argument).
+ *
+ * **Dimensionless-stub pattern for exp.** The AST has no `exp`
+ * primitive. Following the same pattern as BE-26 (exp(-WKB)), BE-41
+ * (exp(...)) and BE-45 (log()), we encode `exp(−α/Λ)` as a fresh
+ * DIMENSIONLESS symbol stub `exp_factor` and expose the exp-argument
+ * `−α/Λ` separately as `BE46_EXP_ARGUMENT` so the lemma test can
+ * verify it is dimensionless directly. The stub does NOT enforce that
+ * the argument is dimensionless — that is a property the encoding
+ * committee enforces by construction.
+ *
+ * Bracket-checks (numerical evaluator computes P(Λ) = A·exp(−α/Λ)):
+ *   - At Λ = α (the e-folding point): P = A · exp(−1) ≈ A · 0.368;
+ *   - For large Λ (Λ ≫ α): P → A (exponential suppression vanishes,
+ *     Λ-large limit dominates);
+ *   - For small Λ (Λ ≪ α): P → 0 (exponential suppression is severe).
+ *
+ * References:
+ *   - Linde, Linde & Mezhlumian 1994 *Phys. Rev. D* 49:1783
+ *     (arXiv:gr-qc/9306035; volume-weighting and scale-factor cutoff
+ *     measure proposals).
+ *   - Vilenkin 1995 *Phys. Rev. Lett.* 74:846 (arXiv:gr-qc/9406010;
+ *     proper-time cutoff measure; canonical anthropic-probability
+ *     formulation).
+ *   - Garriga & Vilenkin 2001 *Phys. Rev. D* 64:023507; comparative
+ *     analysis of measure proposals.
+ *   - Freivogel 2011 *Class. Quantum Grav.* 28:204007
+ *     (arXiv:1105.0244; review of the measure-problem proposals;
+ *     canonical reference for the unsolved-problem framing).
+ *   - Weinberg 1987 *Phys. Rev. Lett.* 59:2607 (canonical anthropic
+ *     prediction for the cosmological constant — the physical
+ *     motivation for the `exp(−α/Λ)` form).
+ *
+ * Status: highly-speculative.
+ *
+ * Honest-claude scope notes:
+ *   - This module encodes ONE specific measure proposal — the
+ *     Weinberg-Vilenkin / `exp(−α/Λ)` form. Alternative measures
+ *     (proper-time cutoff, scale-factor cutoff, causal-patch,
+ *     Hartle-Hawking no-boundary) give DIFFERENT P(Λ) shapes; the
+ *     measure problem is unsolved precisely because there is no
+ *     consensus first-principles derivation that picks out one.
+ *   - The exp argument α/Λ is dimensionless **by the dimensionless-
+ *     stub convention**; α and Λ are encoded as DIMENSIONLESS symbols
+ *     because they appear as ratio components of a dimensionless
+ *     scalar. In a more elaborate encoding α and Λ might carry
+ *     [energy^4] (cosmological-constant density) and cancel; that is
+ *     not modelled here.
+ *   - The normalization A is itself a scheme-dependent quantity (it
+ *     depends on the integrating-out cutoff applied to the underlying
+ *     measure to render it finite). The numerical evaluator takes A
+ *     as a free input.
+ *   - Status 'highly-speculative' is **not lifted by this encoding**.
+ *     Pinning a Tier-5 AST does not promote the bridge framing — the
+ *     measure problem remains unsolved, and `exp(−α/Λ)` is one
+ *     proposal among several. Promoting 'highly-speculative' →
+ *     'speculative' or 'established' would require deleting the
+ *     status-pin test in `tests/bridges/be-46-encoding.test.ts`
+ *     deliberately.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 46: Multiverse Measure Problem")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 46)
+ * @module bridges/equations/be-46-multiverse-measure
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+/**
+ * Lemma AST: the exp argument `−α / Λ` (DIMENSIONLESS).
+ *
+ * Encoded as `(0 - α) / Λ` so the binary-subtract/divide validator can
+ * walk the tree; an equivalent encoding `(-1) · (α/Λ)` via a
+ * dimensionless `neg_one` would also be valid. Both α and Λ carry the
+ * DIMENSIONLESS dimension (they are ratio components of a dimensionless
+ * scalar — see module-header honest-claude notes).
+ *
+ * Exposed for the lemma test that verifies the exp argument is
+ * dimensionless (per the dimensionless-stub convention).
+ */
+export declare const BE46_EXP_ARGUMENT: ExprNode;
+/**
+ * Lemma AST: the `exp(−α/Λ)` factor, encoded as a fresh DIMENSIONLESS
+ * symbol stub `exp_factor` (the AST has no `exp` primitive; following
+ * BE-26, BE-41, BE-45 dimensionless-stub idiom). The actual exp
+ * argument is exposed separately via `BE46_EXP_ARGUMENT` so the lemma
+ * test can verify it is dimensionless.
+ */
+export declare const BE46_EXP_FACTOR: ExprNode;
+/**
+ * Lemma AST: the normalization constant A (DIMENSIONLESS;
+ * scheme-dependent — depends on the cutoff used to render the
+ * underlying measure finite).
+ */
+export declare const BE46_NORMALIZATION: ExprNode;
+/**
+ * RHS of `P(Λ) = A · exp(−α/Λ)` as a typed ExprNode tree:
+ *
+ *   A · exp_factor
+ *
+ * `exp_factor` is a DIMENSIONLESS symbol stub for `exp(−α/Λ)`; the
+ * argument `−α/Λ` is exposed via `BE46_EXP_ARGUMENT` and verified
+ * dimensionless directly.
+ */
+export declare const BE46_ANTHROPIC_PROBABILITY_RHS: ExprNode;
+/** LHS: P(Λ) is a probability, DIMENSIONLESS by definition (P ∈ [0, 1]). */
+export declare const BE46_ANTHROPIC_PROBABILITY_LHS: ExprNode;
+export interface AnthropicInputs {
+    /** Normalization constant A (dimensionless; scheme-dependent). Must be finite. */
+    normalization: number;
+    /** Model parameter α (dimensionless ratio component). Must be finite. */
+    alpha: number;
+    /** Landscape parameter Λ (dimensionless ratio component). Must be finite and > 0. */
+    lambda: number;
+}
+/**
+ * Evaluate the Weinberg-Vilenkin anthropic probability:
+ *
+ *   P(Λ) = A · exp(−α / Λ)
+ *
+ * @returns Dimensionless probability (caller is responsible for
+ * ensuring the chosen (A, α, Λ) yield P ∈ [0, 1] — the function does
+ * not clamp).
+ */
+export declare function evaluateWeinbergVilenkinP(input: AnthropicInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; LHS and RHS should
+ * both be DIMENSIONLESS.
+ */
+export declare function validateBE46Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-46-multiverse-measure.d.ts.map

package/dist/bridges/equations/be-46-multiverse-measure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-46-multiverse-measure.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-46-multiverse-measure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkGG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAW1F;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAY/B,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,EAAE,QAA2C,CAAC;AAE1E;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAkC,CAAC;AAEpE;;;;;;;;GAQG;AACH,eAAO,MAAM,8BAA8B,EAAE,QAM5C,CAAC;AAEF,4EAA4E;AAC5E,eAAO,MAAM,8BAA8B,EAAE,QAAyC,CAAC;AAIvF,MAAM,WAAW,eAAe;IAC9B,kFAAkF;IAClF,aAAa,EAAE,MAAM,CAAC;IACtB,yEAAyE;IACzE,KAAK,EAAE,MAAM,CAAC;IACd,qFAAqF;IACrF,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;GAQG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAkBxE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CAYlE"}