universal-physics-tensor 0.4.5

package/dist/bridges/equations/be-19-quantum-bounce.js

@@ -0,0 +1,151 @@
+/**
+ * Bridge Equation 19 — Quantum Bounce (LQC modified Friedmann).
+ *
+ *   H² = (8πG/3) ρ (1 − ρ/ρ_crit) + Λ/3
+ *
+ * H is the Hubble parameter [T^-1], ρ is energy/mass density [M L^-3],
+ * ρ_crit is the LQC bounce critical density [M L^-3], and Λ is the
+ * cosmological constant expressed in [T^-2] form (i.e. c² · Λ_[L^-2]).
+ *
+ * Reference: Ashtekar-Singh 2011 review "Loop Quantum Cosmology: A
+ * Status Report" (arXiv:1108.0893). The (1 − ρ/ρ_crit) bounce factor is
+ * the LQC correction to standard Friedmann; at ρ = ρ_crit, H² = Λ/3 and
+ * the universe momentarily halts before re-expanding.
+ *
+ * Status: speculative — LQC-inspired. Reformulated 2026-05-05 (Wave I.B C1)
+ * to the canonical Ashtekar-Pawlowski-Singh γ-dependent form:
+ *   ρ_crit = (√3 / (32π² γ³ ℓ_P²)) · (c²/G),   γ ≈ 0.2375
+ * which yields ρ_crit ≈ 0.41 ρ_Planck ≈ 2.1×10⁹⁶ kg/m³ (Ashtekar-Pawlowski-
+ * Singh 2006 *Phys. Rev. D* 74:084003, arXiv:gr-qc/0607039; Ashtekar-Singh
+ * review arXiv:1108.0893; Meissner 2004 γ-fix gr-qc/0407052). The earlier
+ * dimensional-estimate ρ_crit = 3c²/(8πGℓ_P²) (~6.2×10⁹⁵ kg/m³) was off
+ * by ~3.4× because it omitted the γ³ Barbero-Immirzi factor.
+ *
+ * Reformulated 2026-05-06 (Wave P-A Tier 0-2, per Math iter-5 CRIT-2):
+ * docstring prefactor synced from "16π²" to "32π²" to match Part-I §6
+ * (Wave N Tier B reconciliation) and the formula_latex in
+ * src/bridges/index.ts BE-19. The "16π²" form yielded ~0.82 ρ_Planck
+ * (factor-of-2 off the canonical 0.41 ρ_Planck literature value).
+ *
+ * The AST takes ρ_crit as a free numerical input — the formula change in
+ * the spec/index does NOT require re-encoding here. Tests pinning the
+ * old "spec form" numerical value have been updated alongside this fix.
+ *
+ * Honest-claude scope notes:
+ *   - We model Λ as a symbol in [T^-2]. The standard GR `Λ` has SI
+ *     dimension [L^-2]; the rescaling `Λ_[T^-2] = c² Λ_[L^-2]` is the
+ *     natural convention when writing `H² = ... + Λ/3` (compare Ryden,
+ *     "Introduction to Cosmology" 2nd ed., §6, Eq. 6.32).
+ *   - The bounce factor `1 - ρ/ρ_crit` is encoded as `(1 [dimensionless])
+ *     - (ρ/ρ_crit)` so the AST '+/-' rule is satisfied.
+ *
+ * @see docs/specification/Part-I.md ("Bridge Equation 19: Quantum Bounce Equation")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 19)
+ * @module bridges/equations/be-19-quantum-bounce
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, } from '../../dimensional/types.js';
+import { G as DIM_G } from '../../dimensional/constants.js';
+import { PhysicalConstants } from '../../core/types.js';
+// --- Symbolic AST ---
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/** Mass-density [M L^-3]. */
+const MASS_DENSITY = {
+    L: -3, M: 1, T: 0, I: 0, Theta: 0, N: 0, J: 0,
+};
+/** [T^-2] dimension for Λ in the c²-rescaled Friedmann form. */
+const T_INV2 = {
+    L: 0, M: 0, T: -2, I: 0, Theta: 0, N: 0, J: 0,
+};
+// Note: this module rescales Λ from its raw GR form [L^-2] into [T^-2]
+// via the standard `Λ_[T^-2] = c² · Λ_[L^-2]` convention (Ryden, "Intro
+// to Cosmology" 2nd ed. §6, Eq. 6.32). A future encoding that wants raw
+// Λ_[L^-2] should re-import LENGTH and remove the c² rescaling on the
+// Lambda symbol.
+/**
+ * RHS of `H² = (8πG/3) ρ (1 - ρ/ρ_crit) + Λ/3` as a typed ExprNode tree.
+ */
+export const QUANTUM_BOUNCE_RHS = {
+    kind: 'op', op: '+',
+    args: [
+        {
+            // (8πG/3) · ρ · (1 − ρ/ρ_crit)
+            kind: 'op', op: '*',
+            args: [
+                {
+                    // 8π/3 — dimensionless prefactor (folded into single symbol)
+                    kind: 'op', op: '/',
+                    args: [
+                        sym('8pi', DIMENSIONLESS),
+                        sym('3', DIMENSIONLESS),
+                    ],
+                },
+                sym('G', DIM_G),
+                sym('rho', MASS_DENSITY),
+                {
+                    // (1 − ρ/ρ_crit)
+                    kind: 'op', op: '-',
+                    args: [
+                        sym('1', DIMENSIONLESS),
+                        {
+                            kind: 'op', op: '/',
+                            args: [
+                                sym('rho', MASS_DENSITY),
+                                sym('rho_crit', MASS_DENSITY),
+                            ],
+                        },
+                    ],
+                },
+            ],
+        },
+        {
+            // Λ / 3
+            kind: 'op', op: '/',
+            args: [
+                sym('Lambda', T_INV2),
+                sym('3', DIMENSIONLESS),
+            ],
+        },
+    ],
+};
+/** LHS: H² has dimension [T^-2]. */
+export const QUANTUM_BOUNCE_LHS = {
+    kind: 'op', op: '^',
+    args: [sym('H', { L: 0, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 }), sym('2', DIMENSIONLESS)],
+};
+/**
+ * Evaluate H² = (8πG/3) ρ (1 − ρ/ρ_crit) + Λ/3.
+ *
+ * @returns H² in [s^-2].
+ */
+export function evaluateQuantumBounce(input) {
+    const { rho, rho_crit, Lambda_Tinv2 } = input;
+    if (!Number.isFinite(rho) || rho < 0) {
+        throw new RangeError(`evaluateQuantumBounce: rho must be a finite non-negative number, got ${rho}`);
+    }
+    if (!Number.isFinite(rho_crit) || rho_crit <= 0) {
+        throw new RangeError(`evaluateQuantumBounce: rho_crit must be a finite positive number, got ${rho_crit}`);
+    }
+    if (!Number.isFinite(Lambda_Tinv2)) {
+        throw new RangeError(`evaluateQuantumBounce: Lambda_Tinv2 must be finite, got ${Lambda_Tinv2}`);
+    }
+    const { G } = PhysicalConstants;
+    const bounce = 1 - rho / rho_crit;
+    return ((8 * Math.PI * G) / 3) * rho * bounce + Lambda_Tinv2 / 3;
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; LHS = H² and RHS together
+ * should both be [T^-2].
+ */
+export function validateQuantumBounceDimensions() {
+    const eq = validateEquation(QUANTUM_BOUNCE_LHS, QUANTUM_BOUNCE_RHS);
+    const lhs = validate(QUANTUM_BOUNCE_LHS);
+    const rhs = validate(QUANTUM_BOUNCE_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-19-quantum-bounce.js.map

package/dist/bridges/equations/be-19-quantum-bounce.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-19-quantum-bounce.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-19-quantum-bounce.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;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,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,uBAAuB;AAEvB,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF,6BAA6B;AAC7B,MAAM,YAAY,GAAc;IAC9B,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,gEAAgE;AAChE,MAAM,MAAM,GAAc;IACxB,CAAC,EAAE,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;CAC9C,CAAC;AAEF,uEAAuE;AACvE,wEAAwE;AACxE,wEAAwE;AACxE,sEAAsE;AACtE,iBAAiB;AAEjB;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,+BAA+B;YAC/B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,6DAA6D;oBAC7D,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;wBACzB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;qBACxB;iBACF;gBACD,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;gBACf,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC;gBACxB;oBACE,iBAAiB;oBACjB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;wBACvB;4BACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;4BACnB,IAAI,EAAE;gCACJ,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC;gCACxB,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC;6BAC9B;yBACF;qBACF;iBACF;aACF;SACF;QACD;YACE,QAAQ;YACR,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;gBACrB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;KACF;CACF,CAAC;AAEF,oCAAoC;AACpC,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,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,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;CAC7F,CAAC;AAaF;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC9C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,UAAU,CAClB,wEAAwE,GAAG,EAAE,CAC9E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,UAAU,CAClB,yEAAyE,QAAQ,EAAE,CACpF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,UAAU,CAClB,2DAA2D,YAAY,EAAE,CAC1E,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAChC,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,GAAG,QAAQ,CAAC;IAClC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,GAAG,MAAM,GAAG,YAAY,GAAG,CAAC,CAAC;AACnE,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"}

package/dist/bridges/equations/be-20-vacuum-energy.d.ts

@@ -0,0 +1,72 @@
+/**
+ * Bridge Equation 20 — Observed cosmological-constant mass density
+ * (canonical FRW form, post Wave Y reformulation).
+ *
+ *   ρ_Λ = c² Λ / (8π G)
+ *
+ * The mass density associated with the observed cosmological constant
+ * Λ ≈ 1.1×10⁻⁵² m⁻² (Planck 2018; Aghanim et al. 2020). With the
+ * canonical FRW prefactor c²/(8π G), Λ ≈ 1.1e-52 m⁻² gives
+ * ρ_Λ ≈ 5.4×10⁻²⁷ kg/m³, matching the observed dark-energy density
+ * (≈70% of the critical density at the present epoch).
+ *
+ * Reference: Carroll 2001 *Living Rev. Relativity* 4:1
+ * (arXiv:astro-ph/0004075; canonical cosmological-constant review);
+ * Weinberg 1989 *Rev. Mod. Phys.* 61:1 (the cosmological-constant
+ * problem). Planck Collaboration (Aghanim et al.) 2020 *A&A* 641:A6
+ * (Λ measurement from CMB).
+ *
+ * Status: speculative (the bridge framing — using the observed CC as
+ * a quantum-cosmological bridge — is the speculative element).
+ *
+ * Honest-claude scope notes:
+ *   - This formula sidesteps the formally-divergent ∫d³k vacuum-
+ *     fluctuation integral that the original BE-20 carried. The
+ *     vacuum-fluctuation problem (the 10¹²⁰ discrepancy between the
+ *     QFT estimate and observation) remains the unfixed cosmological-
+ *     constant problem, documented in known_issues. The observed
+ *     ρ_Λ is the canonical scalar that replaces the divergent integral
+ *     as the AST-encodable bridge content.
+ *   - Dim: [c² Λ] = L² T⁻² · L⁻² = T⁻²; [1/G] = M T² L⁻³;
+ *     [c² Λ / G] = M T² L⁻³ · T⁻² = M L⁻³ ✓ (mass density).
+ *   - The energy-density form ρ_Λ c² = c⁴ Λ / (8π G) ≈ 7×10⁻¹⁰ J/m³
+ *     is the alternate convention; both forms are physically
+ *     equivalent. We encode the mass-density form here.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 20")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 20)
+ * @module bridges/equations/be-20-vacuum-energy
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+import { Dimension } from '../../dimensional/types.js';
+/** [M L⁻³] — mass density (kg/m³). */
+export declare const MASS_DENSITY: Dimension;
+/**
+ * RHS of the cosmological-constant mass density:
+ *   ρ_Λ = c² Λ / (8π G)
+ */
+export declare const BE20_VACUUM_ENERGY_RHS: ExprNode;
+/** LHS: ρ_Λ has dimension [M L⁻³] (mass density, kg/m³). */
+export declare const BE20_VACUUM_ENERGY_LHS: ExprNode;
+export interface CosmologicalConstantInputs {
+    /**
+     * Cosmological constant Λ (m⁻²). Default: 1.1×10⁻⁵² m⁻² (Planck 2018
+     * canonical value). Must be ≥ 0 and finite.
+     */
+    Lambda_per_m2?: number;
+}
+/**
+ * Evaluate the mass density associated with the observed cosmological
+ * constant
+ *
+ *   ρ_Λ = c² Λ / (8π G)
+ *
+ * @returns Mass density in kg/m³.
+ */
+export declare function evaluateCosmologicalConstantDensity(input?: CosmologicalConstantInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [M L⁻³] (mass density).
+ */
+export declare function validateBE20Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-20-vacuum-energy.d.ts.map

package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-20-vacuum-energy.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,EACL,SAAS,EAEV,MAAM,4BAA4B,CAAC;AAWpC,sCAAsC;AACtC,eAAO,MAAM,YAAY,EAAE,SAE1B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAuBpC,CAAC;AAEF,4DAA4D;AAC5D,eAAO,MAAM,sBAAsB,EAAE,QAA0C,CAAC;AAIhF,MAAM,WAAW,0BAA0B;IACzC;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAID;;;;;;;GAOG;AACH,wBAAgB,mCAAmC,CACjD,KAAK,GAAE,0BAA+B,GACrC,MAAM,CASR;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}

package/dist/bridges/equations/be-20-vacuum-energy.js

@@ -0,0 +1,115 @@
+/**
+ * Bridge Equation 20 — Observed cosmological-constant mass density
+ * (canonical FRW form, post Wave Y reformulation).
+ *
+ *   ρ_Λ = c² Λ / (8π G)
+ *
+ * The mass density associated with the observed cosmological constant
+ * Λ ≈ 1.1×10⁻⁵² m⁻² (Planck 2018; Aghanim et al. 2020). With the
+ * canonical FRW prefactor c²/(8π G), Λ ≈ 1.1e-52 m⁻² gives
+ * ρ_Λ ≈ 5.4×10⁻²⁷ kg/m³, matching the observed dark-energy density
+ * (≈70% of the critical density at the present epoch).
+ *
+ * Reference: Carroll 2001 *Living Rev. Relativity* 4:1
+ * (arXiv:astro-ph/0004075; canonical cosmological-constant review);
+ * Weinberg 1989 *Rev. Mod. Phys.* 61:1 (the cosmological-constant
+ * problem). Planck Collaboration (Aghanim et al.) 2020 *A&A* 641:A6
+ * (Λ measurement from CMB).
+ *
+ * Status: speculative (the bridge framing — using the observed CC as
+ * a quantum-cosmological bridge — is the speculative element).
+ *
+ * Honest-claude scope notes:
+ *   - This formula sidesteps the formally-divergent ∫d³k vacuum-
+ *     fluctuation integral that the original BE-20 carried. The
+ *     vacuum-fluctuation problem (the 10¹²⁰ discrepancy between the
+ *     QFT estimate and observation) remains the unfixed cosmological-
+ *     constant problem, documented in known_issues. The observed
+ *     ρ_Λ is the canonical scalar that replaces the divergent integral
+ *     as the AST-encodable bridge content.
+ *   - Dim: [c² Λ] = L² T⁻² · L⁻² = T⁻²; [1/G] = M T² L⁻³;
+ *     [c² Λ / G] = M T² L⁻³ · T⁻² = M L⁻³ ✓ (mass density).
+ *   - The energy-density form ρ_Λ c² = c⁴ Λ / (8π G) ≈ 7×10⁻¹⁰ J/m³
+ *     is the alternate convention; both forms are physically
+ *     equivalent. We encode the mass-density form here.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 20")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 20)
+ * @module bridges/equations/be-20-vacuum-energy
+ */
+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 { power } from '../../dimensional/algebra.js';
+import { LENGTH } from '../../dimensional/types.js';
+import { PhysicalConstants } from '../../core/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/** [L⁻²] — cosmological-constant Λ has dimension of inverse area. */
+const INV_LENGTH_2 = power(LENGTH, -2);
+/** [M L⁻³] — mass density (kg/m³). */
+export const MASS_DENSITY = {
+    L: -3, M: 1, T: 0, I: 0, Theta: 0, N: 0, J: 0,
+};
+/**
+ * RHS of the cosmological-constant mass density:
+ *   ρ_Λ = c² Λ / (8π G)
+ */
+export const BE20_VACUUM_ENERGY_RHS = {
+    kind: 'op', op: '/',
+    args: [
+        {
+            // numerator: c² · Λ
+            kind: 'op', op: '*',
+            args: [
+                {
+                    kind: 'op', op: '^',
+                    args: [sym('c', DIM_c), sym('2', DIMENSIONLESS)],
+                },
+                sym('Lambda', INV_LENGTH_2),
+            ],
+        },
+        {
+            // denominator: 8π · G
+            kind: 'op', op: '*',
+            args: [
+                sym('8pi', DIMENSIONLESS),
+                sym('G', DIM_G),
+            ],
+        },
+    ],
+};
+/** LHS: ρ_Λ has dimension [M L⁻³] (mass density, kg/m³). */
+export const BE20_VACUUM_ENERGY_LHS = sym('rho_Lambda', MASS_DENSITY);
+const DEFAULT_LAMBDA = 1.1e-52; // Planck 2018 canonical value (m^-2)
+/**
+ * Evaluate the mass density associated with the observed cosmological
+ * constant
+ *
+ *   ρ_Λ = c² Λ / (8π G)
+ *
+ * @returns Mass density in kg/m³.
+ */
+export function evaluateCosmologicalConstantDensity(input = {}) {
+    const { Lambda_per_m2 = DEFAULT_LAMBDA } = input;
+    if (!Number.isFinite(Lambda_per_m2) || Lambda_per_m2 < 0) {
+        throw new RangeError(`evaluateCosmologicalConstantDensity: Lambda_per_m2 must be finite and non-negative, got ${Lambda_per_m2}`);
+    }
+    const { c, G } = PhysicalConstants;
+    return (c * c * Lambda_per_m2) / (8 * Math.PI * G);
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [M L⁻³] (mass density).
+ */
+export function validateBE20Dimensions() {
+    const eq = validateEquation(BE20_VACUUM_ENERGY_LHS, BE20_VACUUM_ENERGY_RHS);
+    const lhs = validate(BE20_VACUUM_ENERGY_LHS);
+    const rhs = validate(BE20_VACUUM_ENERGY_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-20-vacuum-energy.js.map

package/dist/bridges/equations/be-20-vacuum-energy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-20-vacuum-energy.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-20-vacuum-energy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;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,KAAK,EAAE,MAAM,8BAA8B,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,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,qEAAqE;AACrE,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD,sCAAsC;AACtC,MAAM,CAAC,MAAM,YAAY,GAAc;IACrC,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,sBAAsB,GAAa;IAC9C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,oBAAoB;YACpB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;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,QAAQ,EAAE,YAAY,CAAC;aAC5B;SACF;QACD;YACE,sBAAsB;YACtB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;aAChB;SACF;KACF;CACF,CAAC;AAEF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,sBAAsB,GAAa,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;AAYhF,MAAM,cAAc,GAAG,OAAO,CAAC,CAAC,qCAAqC;AAErE;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CACjD,QAAoC,EAAE;IAEtC,MAAM,EAAE,aAAa,GAAG,cAAc,EAAE,GAAG,KAAK,CAAC;IACjD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,UAAU,CAClB,2FAA2F,aAAa,EAAE,CAC3G,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IACnC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,sBAAsB,EAAE,sBAAsB,CAAC,CAAC;IAC5E,MAAM,GAAG,GAAG,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAC7C,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-21-kss-bound.d.ts

@@ -0,0 +1,72 @@
+/**
+ * Bridge Equation 21 — Kovtun-Son-Starinets (KSS) viscosity-to-entropy
+ * bound (canonical AdS/CFT-derived universal lower bound on the shear-
+ * viscosity-to-entropy-density ratio).
+ *
+ *   η/s = ℏ / (4π k_B)
+ *
+ * Numerical value: ℏ/(4π k_B) ≈ 6.078×10^-13 K·s. Any quantum fluid
+ * satisfying the AdS/CFT-correspondence assumptions (Einstein-gravity
+ * holographic dual, two-derivative bulk action) is conjectured to obey
+ * the bound η/s ≥ ℏ/(4π k_B).
+ *
+ * References:
+ *   - Kovtun, Son & Starinets 2005 *Phys. Rev. Lett.* 94:111601
+ *     (arXiv:hep-th/0405231; canonical KSS bound paper).
+ *   - Son & Starinets 2002 *JHEP* 0209:042 (arXiv:hep-th/0205051;
+ *     prerequisite Minkowski-correlator AdS/CFT recipe).
+ *   - Policastro, Son & Starinets 2001 *Phys. Rev. Lett.* 87:081601
+ *     (arXiv:hep-th/0104066; original η/s = 1/(4π) calculation in N=4
+ *     SYM at strong coupling).
+ *
+ * Status: established (KSS itself is established AdS/CFT result).
+ *
+ * Honest-claude scope notes:
+ *   - The bound η/s ≥ ℏ/(4π k_B) is a conjecture; the EQUALITY η/s =
+ *     ℏ/(4π k_B) is the saturating value attained in the strong-coupling
+ *     limit of N=4 super-Yang-Mills (Policastro-Son-Starinets 2001) and
+ *     in any theory with an Einstein-gravity holographic dual. Encoding
+ *     the equality (the saturating value) pins the canonical scalar; the
+ *     ≥ inequality is the bridge's load-bearing claim.
+ *   - The original BE-21 form was a holographic-dictionary retarded
+ *     Green's function recipe (operator-valued, no clean scalar). The
+ *     KSS bound is the canonical scalar reduction of the same Son-
+ *     Starinets 2002 lineage and captures the most-cited AdS/CMT
+ *     result: a *universal* dimensional constant for the viscosity/
+ *     entropy-density ratio.
+ *   - Dim: [η] = Pa·s = kg/(m·s) = [M L^-1 T^-1]; [s] = J/(K·m³) =
+ *     [M L^-1 T^-2 Θ^-1]; [η/s] = T·Θ (= K·s in SI). Dim of ℏ/k_B:
+ *     [J·s]/[J/K] = K·s. ✓
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 21")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 21)
+ * @module bridges/equations/be-21-kss-bound
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+import { Dimension } from '../../dimensional/types.js';
+/** [T Θ] — viscosity-to-entropy-density ratio dimension (K·s in SI). */
+export declare const VISCOSITY_OVER_ENTROPY_DENSITY: Dimension;
+/**
+ * RHS of the KSS saturating value:
+ *   η/s = ℏ / (4π k_B)
+ *
+ * Encoded as `ℏ / (4π · k_B)` — both numerator and denominator carry
+ * dim [J·s] / [J/K] = [T Θ].
+ */
+export declare const BE21_KSS_RHS: ExprNode;
+/** LHS: η/s has dimension [T Θ]. */
+export declare const BE21_KSS_LHS: ExprNode;
+/**
+ * Evaluate the KSS saturating viscosity-to-entropy-density ratio
+ *
+ *   η/s = ℏ / (4π k_B)
+ *
+ * @returns η/s in K·s (SI). Approximately 6.075e-12 K·s.
+ */
+export declare function evaluateKSSBound(): number;
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [T Θ] (viscosity / entropy-density).
+ */
+export declare function validateBE21Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-21-kss-bound.d.ts.map

package/dist/bridges/equations/be-21-kss-bound.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-21-kss-bound.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-21-kss-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,EACL,SAAS,EAIV,MAAM,4BAA4B,CAAC;AAMpC,wEAAwE;AACxE,eAAO,MAAM,8BAA8B,EAAE,SAE5C,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,EAAE,QAY1B,CAAC;AAEF,oCAAoC;AACpC,eAAO,MAAM,YAAY,EAAE,QAA4D,CAAC;AAIxF;;;;;;GAMG;AACH,wBAAgB,gBAAgB,IAAI,MAAM,CAGzC;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}

package/dist/bridges/equations/be-21-kss-bound.js

@@ -0,0 +1,103 @@
+/**
+ * Bridge Equation 21 — Kovtun-Son-Starinets (KSS) viscosity-to-entropy
+ * bound (canonical AdS/CFT-derived universal lower bound on the shear-
+ * viscosity-to-entropy-density ratio).
+ *
+ *   η/s = ℏ / (4π k_B)
+ *
+ * Numerical value: ℏ/(4π k_B) ≈ 6.078×10^-13 K·s. Any quantum fluid
+ * satisfying the AdS/CFT-correspondence assumptions (Einstein-gravity
+ * holographic dual, two-derivative bulk action) is conjectured to obey
+ * the bound η/s ≥ ℏ/(4π k_B).
+ *
+ * References:
+ *   - Kovtun, Son & Starinets 2005 *Phys. Rev. Lett.* 94:111601
+ *     (arXiv:hep-th/0405231; canonical KSS bound paper).
+ *   - Son & Starinets 2002 *JHEP* 0209:042 (arXiv:hep-th/0205051;
+ *     prerequisite Minkowski-correlator AdS/CFT recipe).
+ *   - Policastro, Son & Starinets 2001 *Phys. Rev. Lett.* 87:081601
+ *     (arXiv:hep-th/0104066; original η/s = 1/(4π) calculation in N=4
+ *     SYM at strong coupling).
+ *
+ * Status: established (KSS itself is established AdS/CFT result).
+ *
+ * Honest-claude scope notes:
+ *   - The bound η/s ≥ ℏ/(4π k_B) is a conjecture; the EQUALITY η/s =
+ *     ℏ/(4π k_B) is the saturating value attained in the strong-coupling
+ *     limit of N=4 super-Yang-Mills (Policastro-Son-Starinets 2001) and
+ *     in any theory with an Einstein-gravity holographic dual. Encoding
+ *     the equality (the saturating value) pins the canonical scalar; the
+ *     ≥ inequality is the bridge's load-bearing claim.
+ *   - The original BE-21 form was a holographic-dictionary retarded
+ *     Green's function recipe (operator-valued, no clean scalar). The
+ *     KSS bound is the canonical scalar reduction of the same Son-
+ *     Starinets 2002 lineage and captures the most-cited AdS/CMT
+ *     result: a *universal* dimensional constant for the viscosity/
+ *     entropy-density ratio.
+ *   - Dim: [η] = Pa·s = kg/(m·s) = [M L^-1 T^-1]; [s] = J/(K·m³) =
+ *     [M L^-1 T^-2 Θ^-1]; [η/s] = T·Θ (= K·s in SI). Dim of ℏ/k_B:
+ *     [J·s]/[J/K] = K·s. ✓
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 21")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 21)
+ * @module bridges/equations/be-21-kss-bound
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, } 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 });
+/** [T Θ] — viscosity-to-entropy-density ratio dimension (K·s in SI). */
+export const VISCOSITY_OVER_ENTROPY_DENSITY = {
+    L: 0, M: 0, T: 1, I: 0, Theta: 1, N: 0, J: 0,
+};
+/**
+ * RHS of the KSS saturating value:
+ *   η/s = ℏ / (4π k_B)
+ *
+ * Encoded as `ℏ / (4π · k_B)` — both numerator and denominator carry
+ * dim [J·s] / [J/K] = [T Θ].
+ */
+export const BE21_KSS_RHS = {
+    kind: 'op', op: '/',
+    args: [
+        sym('hbar', DIM_hbar),
+        {
+            kind: 'op', op: '*',
+            args: [
+                sym('4pi', DIMENSIONLESS),
+                sym('k_B', DIM_kB),
+            ],
+        },
+    ],
+};
+/** LHS: η/s has dimension [T Θ]. */
+export const BE21_KSS_LHS = sym('eta_over_s', VISCOSITY_OVER_ENTROPY_DENSITY);
+// --- Numerical evaluator ---
+/**
+ * Evaluate the KSS saturating viscosity-to-entropy-density ratio
+ *
+ *   η/s = ℏ / (4π k_B)
+ *
+ * @returns η/s in K·s (SI). Approximately 6.075e-12 K·s.
+ */
+export function evaluateKSSBound() {
+    const { hbar, kB } = PhysicalConstants;
+    return hbar / (4 * Math.PI * kB);
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [T Θ] (viscosity / entropy-density).
+ */
+export function validateBE21Dimensions() {
+    const eq = validateEquation(BE21_KSS_LHS, BE21_KSS_RHS);
+    const lhs = validate(BE21_KSS_LHS);
+    const rhs = validate(BE21_KSS_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-21-kss-bound.js.map

package/dist/bridges/equations/be-21-kss-bound.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-21-kss-bound.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-21-kss-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,GAGd,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,wEAAwE;AACxE,MAAM,CAAC,MAAM,8BAA8B,GAAc;IACvD,CAAC,EAAE,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;CAC7C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;QACrB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;KACF;CACF,CAAC;AAEF,oCAAoC;AACpC,MAAM,CAAC,MAAM,YAAY,GAAa,GAAG,CAAC,YAAY,EAAE,8BAA8B,CAAC,CAAC;AAExF,8BAA8B;AAE9B;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB;IAC9B,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IACvC,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;AACnC,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-22-topological-entanglement.d.ts

@@ -0,0 +1,90 @@
+/**
+ * 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, DimensionValidationReport } 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;
+/** LHS: S(R) is dimensionless (entropy in nats). */
+export declare const BE22_TOPOLOGICAL_ENTANGLEMENT_LHS: ExprNode;
+export 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;
+/**
+ * Run the AST through the dimensional analyzer; LHS and RHS should
+ * both be DIMENSIONLESS.
+ */
+export declare function validateTEEDimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-22-topological-entanglement.d.ts.map

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

@@ -0,0 +1 @@
+{"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,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAiB1F;;;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;AAEF,oDAAoD;AACpD,eAAO,MAAM,iCAAiC,EAAE,QAAoC,CAAC;AAIrF,MAAM,WAAW,SAAS;IACxB,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,CAkBpD;AAID;;;GAGG;AACH,wBAAgB,qBAAqB,IAAI,yBAAyB,CAYjE"}