universal-physics-tensor 7.0.0 → 8.0.0

package/dist/bridges/equations/be-43-er-epr.js

@@ -1,106 +0,0 @@
-/**
- * Bridge Equation 43 — ER=EPR Wormhole-Entropy Bound (canonical
- * Bekenstein-Hawking applied to the Einstein-Rosen bridge minimal
- * cross-section, post Wave P-A R-A3 reformulation).
- *
- *   S_entanglement = A_wormhole / (4 ℓ_P²)         [natural units]
- *   S_entanglement = k_B · A_wormhole / (4 ℓ_P²)   [SI form]
- *
- * Equivalently, since ℓ_P² = ℏ G / c³,
- *   S_entanglement = k_B · c³ · A_wormhole / (4 G ℏ)  [BE-14 form]
- *
- * The form encoded here mirrors BE-14 Ryu-Takayanagi's SI convention
- * exactly so the per-bridge dimensional_signature is `[entropy]` (not
- * `[1]` — a dimensionless bit/nat count would also be physically valid
- * but breaks the cross-bridge convention).
- *
- * Reference: Maldacena & Susskind 2013 *Fortschr. Phys.* 61:781
- * (arXiv:1306.0533; canonical ER=EPR statement). Bekenstein 1973
- * *Phys. Rev. D* 7:2333 (original S ~ A/(4 ℓ_P²) BH-entropy bound).
- * Hawking 1975 *Commun. Math. Phys.* 43:199 (canonical S = A/(4 ℓ_P²)
- * prefactor confirmation).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The Bekenstein-Hawking bound itself is canonical; the *bridge
- *     framing* — that entanglement-entropy structure is *equivalent
- *     to* (not merely correlated with) wormhole geometry in the bulk
- *     dual outside the strict eternal-black-hole / thermofield-double
- *     AdS/CFT regime — is the speculative ER=EPR-extension content.
- *   - The minimal cross-section A_wormhole is a free input; computing
- *     it from a concrete bulk geometry (e.g., Stanford-Susskind 2014
- *     complexity-volume duality) is out of scope for the bridge formula.
- *   - We deliberately mirror BE-14's SI convention (`[entropy]`) rather
- *     than the natural-units form `S = A/(4 ℓ_P²)` (which would round-
- *     trip to `[1]`). Both forms are physically equivalent under
- *     k_B = 1; the SI form is canonical for the catalog.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 43: ER=EPR Wormhole-Entropy Bound")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 43)
- * @see src/bridges/equations/be-14-ryu-takayanagi.ts (mirrored convention)
- * @module bridges/equations/be-43-er-epr
- */
-import { AREA, DIMENSIONLESS, ENTROPY, } from '../../dimensional/types.js';
-import { k_B as DIM_kB, l_P as DIM_lP, } from '../../dimensional/constants.js';
-import { PhysicalConstants } from '../../core/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-/**
- * RHS of the ER=EPR wormhole-entropy bound (SI form):
- *   S = k_B · A_wormhole / (4 · ℓ_P²)
- *
- * `[entropy] · [L²] / [L²] = [entropy]` — round-trips to `[entropy]`.
- */
-export const BE43_ER_EPR_RHS = {
-    kind: 'op', op: '/',
-    args: [
-        {
-            // numerator: k_B · A_wormhole
-            kind: 'op', op: '*',
-            args: [
-                sym('k_B', DIM_kB),
-                sym('A_wormhole', AREA),
-            ],
-        },
-        {
-            // denominator: 4 · ℓ_P²
-            kind: 'op', op: '*',
-            args: [
-                sym('4', DIMENSIONLESS),
-                {
-                    kind: 'op', op: '^',
-                    args: [sym('lP', DIM_lP), sym('2', DIMENSIONLESS)],
-                },
-            ],
-        },
-    ],
-};
-/** LHS: S_entanglement has dimension [entropy]. */
-/** @internal */
-export const BE43_ER_EPR_LHS = sym('S_entanglement', ENTROPY);
-/**
- * Evaluate the ER=EPR wormhole-entropy bound in SI units:
- *
- *   S_entanglement = k_B · A_wormhole / (4 · ℓ_P²)
- *
- * with ℓ_P² = ℏ G / c³ (Planck-length squared, ~2.612e-70 m²).
- *
- * @returns Entanglement entropy in J/K (SI).
- */
-export function evaluateEREPRBound(input) {
-    validateFiniteInputs(input, [{ name: 'area_m2', min: 0 }], 'evaluateEREPRBound');
-    const { area_m2 } = input;
-    const { kB, c, G, hbar } = PhysicalConstants;
-    const lP_sq = (hbar * G) / (c * c * c);
-    return (kB * area_m2) / (4 * lP_sq);
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [entropy].
- */
-/** @internal */
-export function validateBE43Dimensions() {
-    return validateBEDimensions(BE43_ER_EPR_LHS, BE43_ER_EPR_RHS, 'BE43');
-}
-//# sourceMappingURL=be-43-er-epr.js.map

package/dist/bridges/equations/be-43-er-epr.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-43-er-epr.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-43-er-epr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAGH,OAAO,EACL,IAAI,EACJ,aAAa,EACb,OAAO,GACR,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,GAAG,IAAI,MAAM,EACb,GAAG,IAAI,MAAM,GACd,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,8BAA8B;YAC9B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;gBAClB,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC;aACxB;SACF;QACD;YACE,wBAAwB;YACxB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;iBACnD;aACF;SACF;KACF;CACF,CAAC;AAEF,mDAAmD;AACnD,gBAAgB;AAChB,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;AAYxE;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAuB;IACxD,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAC7B,oBAAoB,CACrB,CAAC;IACF,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC1B,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC;IAC7C,MAAM,KAAK,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,OAAO,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;AACtC,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,eAAe,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;AACxE,CAAC"}

package/dist/bridges/equations/be-44-soft-hair.d.ts

@@ -1,157 +0,0 @@
-/**
- * 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 type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-import { Dimension } from '../../dimensional/types.js';
-/** Soft-hair squared-charge dim: ∫(∂_u C)² du with dim [L² T^-1]. */
-export declare const SOFT_HAIR_SQUARED: Dimension;
-/**
- * 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 declare const BE44_NEWS_TENSOR: ExprNode;
-/**
- * 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 declare const BE44_NEWS_SQUARED: ExprNode;
-/**
- * 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 declare const BE44_SOFT_HAIR_INTEGRAL_RHS: ExprNode;
-/** LHS: Q_soft² has dim [L² T^-1]. */
-/** @internal */
-export declare const BE44_SOFT_HAIR_CHARGE_SQUARED_LHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateBE44SoftHair` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface BE44SoftHairInputs {
-    /**
-     * Samples of ∂_u C on a uniform u-grid (SI units [m/s], i.e. [L/T]).
-     * Length must be ≥ 2 (minimum two grid points to define a trapezoid).
-     * All entries must be finite.
-     */
-    news_samples: number[];
-    /**
-     * Uniform spacing du between samples (SI units [s]). Must be > 0 and
-     * finite.
-     */
-    du: number;
-}
-/**
- * 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 declare function evaluateBE44SoftHairCharge(input: BE44SoftHairInputs): number;
-/**
- * Run the AST through the dimensional analyzer; LHS and RHS should both
- * be [L² T^-1].
- */
-/** @internal */
-export declare function validateBE44Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-44-soft-hair.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"be-44-soft-hair.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-44-soft-hair.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwFG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC1F,OAAO,EACL,SAAS,EAGV,MAAM,4BAA4B,CAAC;AAUpC,qEAAqE;AACrE,eAAO,MAAM,iBAAiB,EAAE,SAA4C,CAAC;AAE7E;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAuC,CAAC;AAEvE;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAG/B,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,2BAA2B,EAAE,QAIzC,CAAC;AAEF,sCAAsC;AACtC,gBAAgB;AAChB,eAAO,MAAM,iCAAiC,EAAE,QAG/C,CAAC;AAIF;;GAEG;AACH,UAAU,kBAAkB;IAC1B;;;;OAIG;IACH,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;;;OAGG;IACH,EAAE,EAAE,MAAM,CAAC;CACZ;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAgC5E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

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

@@ -1,177 +0,0 @@
-/**
- * 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 { LENGTH, TIME, } from '../../dimensional/types.js';
-import { divide, multiply } from '../../dimensional/algebra.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-/** 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]. */
-/** @internal */
-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}`);
-    }
-    validateFiniteInputs(input, [{ name: 'du', min: 0, excludeMin: true }], 'evaluateBE44SoftHairCharge');
-    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].
- */
-/** @internal */
-export function validateBE44Dimensions() {
-    return validateBEDimensions(BE44_SOFT_HAIR_CHARGE_SQUARED_LHS, BE44_SOFT_HAIR_INTEGRAL_RHS, 'BE44');
-}
-//# sourceMappingURL=be-44-soft-hair.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"be-44-soft-hair.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-44-soft-hair.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwFG;AAGH,OAAO,EAEL,MAAM,EACN,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,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,gBAAgB;AAChB,MAAM,CAAC,MAAM,iCAAiC,GAAa,GAAG,CAC5D,gBAAgB,EAChB,iBAAiB,CAClB,CAAC;AAqBF;;;;;;;;;;;;;;;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,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAC1C,4BAA4B,CAC7B,CAAC;IACF,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,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,iCAAiC,EACjC,2BAA2B,EAC3B,MAAM,CACP,CAAC;AACJ,CAAC"}

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

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

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

@@ -1 +0,0 @@
-{"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;AAO1F;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAMxC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAMlC,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY,EAAE,QAgB1B,CAAC;AAEF,mFAAmF;AACnF,gBAAgB;AAChB,eAAO,MAAM,YAAY,EAAE,QAAwC,CAAC;AAIpE;;GAEG;AACH,UAAU,SAAS;IACjB,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,CAapD;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}