universal-physics-tensor 0.4.5

package/dist/bridges/equations/be-41-swampland.js

@@ -0,0 +1,109 @@
+/**
+ * Bridge Equation 41 — Swampland Distance Conjecture.
+ *
+ *   m(φ) = m₀ exp(−α |φ − φ₀| / M_P)
+ *
+ * As one moves in scalar-field-space by a Planck distance ~M_P, an
+ * infinite tower of states becomes exponentially light. α is an
+ * O(1) dimensionless coefficient.
+ *
+ * Reference: Vafa 2005 "The String Landscape and the Swampland"
+ * (arXiv:hep-th/0509212); Ooguri-Vafa 2007 Nucl. Phys. B 766:21.
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - The current AST has no `exp` primitive. We encode the relation
+ *     `m(φ) = m₀ · ε` where ε is a dimensionless symbol named
+ *     `exp(-α|φ-φ₀|/M_P)`, and we expose the exp ARGUMENT as a
+ *     separate ExprNode `SWAMPLAND_EXP_ARG` so a downstream consumer
+ *     (and the test suite) can verify the argument is dimensionless.
+ *     This pattern preserves the structural information that an exp
+ *     factor is present and that its argument carries no dimension,
+ *     without lying that the AST 'understands' exp.
+ *   - φ is encoded with dim of [mass] (canonically normalized scalar
+ *     field; matches M_P).
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 41: Swampland Distance Conjecture Equation")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 41)
+ * @module bridges/equations/be-41-swampland
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, MASS, } from '../../dimensional/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * Lemma AST: the exp argument α(φ−φ₀)/M_P, exposed for verification
+ * that it is dimensionless.
+ */
+export const SWAMPLAND_EXP_ARG = {
+    kind: 'op', op: '*',
+    args: [
+        sym('alpha', DIMENSIONLESS),
+        {
+            kind: 'op', op: '/',
+            args: [
+                // |φ − φ₀| — the absolute value preserves dimension; we encode
+                // the difference and rely on numerical evaluator for |·|.
+                {
+                    kind: 'op', op: '-',
+                    args: [
+                        sym('phi', MASS),
+                        sym('phi_0', MASS),
+                    ],
+                },
+                sym('M_P', MASS),
+            ],
+        },
+    ],
+};
+/**
+ * RHS of the Swampland mass relation: `m₀ · ε`, where ε is a
+ * dimensionless symbol standing for exp(SWAMPLAND_EXP_ARG).
+ */
+export const SWAMPLAND_RHS = {
+    kind: 'op', op: '*',
+    args: [
+        sym('m_0', MASS),
+        sym('exp(-alpha*|phi-phi_0|/M_P)', DIMENSIONLESS),
+    ],
+};
+/** LHS: m(φ) has dimension [mass]. */
+export const SWAMPLAND_LHS = sym('m_phi', MASS);
+/**
+ * Evaluate m(φ) = m₀ · exp(−α |φ − φ₀| / M_P).
+ *
+ * @returns m in the same unit as m0.
+ */
+export function evaluateSwampland(input) {
+    const { m0, alpha, phi, phi0, M_P } = input;
+    if (!Number.isFinite(m0) || m0 < 0) {
+        throw new RangeError(`evaluateSwampland: m0 must be a finite non-negative number, got ${m0}`);
+    }
+    if (!Number.isFinite(alpha)) {
+        throw new RangeError(`evaluateSwampland: alpha must be finite, got ${alpha}`);
+    }
+    if (!Number.isFinite(phi) || !Number.isFinite(phi0)) {
+        throw new RangeError(`evaluateSwampland: phi/phi0 must be finite, got ${phi}/${phi0}`);
+    }
+    if (!Number.isFinite(M_P) || M_P <= 0) {
+        throw new RangeError(`evaluateSwampland: M_P must be a finite positive number, got ${M_P}`);
+    }
+    const arg = (alpha * Math.abs(phi - phi0)) / M_P;
+    return m0 * Math.exp(-arg);
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [mass].
+ */
+export function validateSwamplandDimensions() {
+    const eq = validateEquation(SWAMPLAND_LHS, SWAMPLAND_RHS);
+    const lhs = validate(SWAMPLAND_LHS);
+    const rhs = validate(SWAMPLAND_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-41-swampland.js.map

package/dist/bridges/equations/be-41-swampland.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-41-swampland.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-41-swampland.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,IAAI,GACL,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;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;QAC3B;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,+DAA+D;gBAC/D,0DAA0D;gBAC1D;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE;wBACJ,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;wBAChB,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC;qBACnB;iBACF;gBACD,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;aACjB;SACF;KACF;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;QAChB,GAAG,CAAC,6BAA6B,EAAE,aAAa,CAAC;KAClD;CACF,CAAC;AAEF,sCAAsC;AACtC,MAAM,CAAC,MAAM,aAAa,GAAa,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAiB1D;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAsB;IACtD,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAC5C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,UAAU,CAClB,mEAAmE,EAAE,EAAE,CACxE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAAC,gDAAgD,KAAK,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,UAAU,CAClB,mDAAmD,GAAG,IAAI,IAAI,EAAE,CACjE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,UAAU,CAClB,gEAAgE,GAAG,EAAE,CACtE,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC;IACjD,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,2BAA2B;IACzC,MAAM,EAAE,GAAG,gBAAgB,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;IAC1D,MAAM,GAAG,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC;IACpC,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-42-hawking-temperature.d.ts

@@ -0,0 +1,67 @@
+/**
+ * Bridge Equation 42 — Hawking temperature (canonical 1975 derivation,
+ * post Wave Y reformulation).
+ *
+ *   T_H = ℏ c³ / (8π G M k_B)
+ *
+ * The temperature scale at which the firewall paradox lives: a black
+ * hole of mass M radiates a thermal Hawking spectrum at temperature
+ * T_H, and the firewall question concerns whether an infalling
+ * observer encounters a fiery transition at the horizon. The
+ * reformulated BE-42 encodes the temperature scalar; the firewall
+ * complement-principle quantum-state superposition `|ψ⟩ = α|smooth⟩
+ * + β|firewall⟩` is the AST-unencodable bridge framing that motivates
+ * BE-42's catalog placement.
+ *
+ * Reference: Hawking 1975 *Commun. Math. Phys.* 43:199 (canonical
+ * derivation of the Hawking temperature from quantum-field-theory in
+ * Schwarzschild background); Bardeen-Carter-Hawking 1973 *Commun.
+ * Math. Phys.* 31:161 (the four laws of black-hole mechanics that
+ * pre-figure thermodynamic interpretation).
+ *
+ * Status: highly-speculative.
+ *
+ * Honest-claude scope notes:
+ *   - The Hawking temperature itself is canonical; the original BE-42
+ *     framing (firewall complement principle as a quantum-state
+ *     superposition) is the AST-unencodable speculative element.
+ *   - Numerical bracket: solar-mass black hole (M = 1.989×10³⁰ kg)
+ *     gives T_H ≈ 6.17×10⁻⁸ K — the textbook Hawking temperature for
+ *     a stellar-mass BH (Wald *General Relativity* Eq. 14.3.7;
+ *     Birrell-Davies *Quantum Fields in Curved Space* §8.1).
+ *   - Dim check: [ℏ c³] = [J·s · m³/s³] = [J·m³/s²] = [M L⁵ T⁻⁴];
+ *     [G M k_B] = [m³/(kg·s²)] · [kg] · [J/K] = [J·m³/(s²·K)] =
+ *     [M L⁵ T⁻⁴ Θ⁻¹]. Ratio = [Θ] ✓.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 42")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 42)
+ * @module bridges/equations/be-42-hawking-temperature
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+/**
+ * RHS of the Hawking temperature:
+ *   T_H = ℏ c³ / (8π G M k_B)
+ *
+ * Encoded as `ℏ · c³ / (8π · G · M · k_B)`.
+ */
+export declare const BE42_HAWKING_TEMPERATURE_RHS: ExprNode;
+/** LHS: T_H has dimension [temperature]. */
+export declare const BE42_HAWKING_TEMPERATURE_LHS: ExprNode;
+export interface HawkingTemperatureInputs {
+    /** Black-hole mass M (kg). Must be > 0 and finite. */
+    M_kg: number;
+}
+/**
+ * Evaluate the Hawking temperature
+ *
+ *   T_H = ℏ c³ / (8π G M k_B)
+ *
+ * @returns Hawking temperature in K (SI).
+ */
+export declare function evaluateHawkingTemperature(input: HawkingTemperatureInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [temperature].
+ */
+export declare function validateBE42Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-42-hawking-temperature.d.ts.map

package/dist/bridges/equations/be-42-hawking-temperature.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-42-hawking-temperature.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-42-hawking-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAkB1F;;;;;GAKG;AACH,eAAO,MAAM,4BAA4B,EAAE,QAyB1C,CAAC;AAEF,4CAA4C;AAC5C,eAAO,MAAM,4BAA4B,EAAE,QAAkC,CAAC;AAI9E,MAAM,WAAW,wBAAwB;IACvC,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,wBAAwB,GAAG,MAAM,CASlF;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CAYlE"}

package/dist/bridges/equations/be-42-hawking-temperature.js

@@ -0,0 +1,109 @@
+/**
+ * Bridge Equation 42 — Hawking temperature (canonical 1975 derivation,
+ * post Wave Y reformulation).
+ *
+ *   T_H = ℏ c³ / (8π G M k_B)
+ *
+ * The temperature scale at which the firewall paradox lives: a black
+ * hole of mass M radiates a thermal Hawking spectrum at temperature
+ * T_H, and the firewall question concerns whether an infalling
+ * observer encounters a fiery transition at the horizon. The
+ * reformulated BE-42 encodes the temperature scalar; the firewall
+ * complement-principle quantum-state superposition `|ψ⟩ = α|smooth⟩
+ * + β|firewall⟩` is the AST-unencodable bridge framing that motivates
+ * BE-42's catalog placement.
+ *
+ * Reference: Hawking 1975 *Commun. Math. Phys.* 43:199 (canonical
+ * derivation of the Hawking temperature from quantum-field-theory in
+ * Schwarzschild background); Bardeen-Carter-Hawking 1973 *Commun.
+ * Math. Phys.* 31:161 (the four laws of black-hole mechanics that
+ * pre-figure thermodynamic interpretation).
+ *
+ * Status: highly-speculative.
+ *
+ * Honest-claude scope notes:
+ *   - The Hawking temperature itself is canonical; the original BE-42
+ *     framing (firewall complement principle as a quantum-state
+ *     superposition) is the AST-unencodable speculative element.
+ *   - Numerical bracket: solar-mass black hole (M = 1.989×10³⁰ kg)
+ *     gives T_H ≈ 6.17×10⁻⁸ K — the textbook Hawking temperature for
+ *     a stellar-mass BH (Wald *General Relativity* Eq. 14.3.7;
+ *     Birrell-Davies *Quantum Fields in Curved Space* §8.1).
+ *   - Dim check: [ℏ c³] = [J·s · m³/s³] = [J·m³/s²] = [M L⁵ T⁻⁴];
+ *     [G M k_B] = [m³/(kg·s²)] · [kg] · [J/K] = [J·m³/(s²·K)] =
+ *     [M L⁵ T⁻⁴ Θ⁻¹]. Ratio = [Θ] ✓.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 42")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 42)
+ * @module bridges/equations/be-42-hawking-temperature
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, MASS, TEMPERATURE, } from '../../dimensional/types.js';
+import { hbar as DIM_hbar, c as DIM_c, G as DIM_G, k_B as DIM_kB, } from '../../dimensional/constants.js';
+import { PhysicalConstants } from '../../core/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * RHS of the Hawking temperature:
+ *   T_H = ℏ c³ / (8π G M k_B)
+ *
+ * Encoded as `ℏ · c³ / (8π · G · M · k_B)`.
+ */
+export const BE42_HAWKING_TEMPERATURE_RHS = {
+    kind: 'op', op: '/',
+    args: [
+        {
+            // numerator: ℏ · c³
+            kind: 'op', op: '*',
+            args: [
+                sym('hbar', DIM_hbar),
+                {
+                    kind: 'op', op: '^',
+                    args: [sym('c', DIM_c), sym('3', DIMENSIONLESS)],
+                },
+            ],
+        },
+        {
+            // denominator: 8π · G · M · k_B
+            kind: 'op', op: '*',
+            args: [
+                sym('8pi', DIMENSIONLESS),
+                sym('G', DIM_G),
+                sym('M', MASS),
+                sym('k_B', DIM_kB),
+            ],
+        },
+    ],
+};
+/** LHS: T_H has dimension [temperature]. */
+export const BE42_HAWKING_TEMPERATURE_LHS = sym('T_H', TEMPERATURE);
+/**
+ * Evaluate the Hawking temperature
+ *
+ *   T_H = ℏ c³ / (8π G M k_B)
+ *
+ * @returns Hawking temperature in K (SI).
+ */
+export function evaluateHawkingTemperature(input) {
+    const { M_kg } = input;
+    if (!Number.isFinite(M_kg) || M_kg <= 0) {
+        throw new RangeError(`evaluateHawkingTemperature: M_kg must be a finite positive number, got ${M_kg}`);
+    }
+    const { hbar, c, G, kB } = PhysicalConstants;
+    return (hbar * c * c * c) / (8 * Math.PI * G * M_kg * kB);
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [temperature].
+ */
+export function validateBE42Dimensions() {
+    const eq = validateEquation(BE42_HAWKING_TEMPERATURE_LHS, BE42_HAWKING_TEMPERATURE_RHS);
+    const lhs = validate(BE42_HAWKING_TEMPERATURE_LHS);
+    const rhs = validate(BE42_HAWKING_TEMPERATURE_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-42-hawking-temperature.js.map

package/dist/bridges/equations/be-42-hawking-temperature.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-42-hawking-temperature.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-42-hawking-temperature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,IAAI,EACJ,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,IAAI,IAAI,QAAQ,EAChB,CAAC,IAAI,KAAK,EACV,CAAC,IAAI,KAAK,EACV,GAAG,IAAI,MAAM,GACd,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAa;IACpD,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,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBACrB;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;aACF;SACF;QACD;YACE,gCAAgC;YAChC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;gBACf,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;KACF;CACF,CAAC;AAEF,4CAA4C;AAC5C,MAAM,CAAC,MAAM,4BAA4B,GAAa,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;AAS9E;;;;;;GAMG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAA+B;IACxE,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,UAAU,CAClB,0EAA0E,IAAI,EAAE,CACjF,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IAC7C,OAAO,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CACzB,4BAA4B,EAC5B,4BAA4B,CAC7B,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,4BAA4B,CAAC,CAAC;IACnD,MAAM,GAAG,GAAG,QAAQ,CAAC,4BAA4B,CAAC,CAAC;IACnD,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-43-er-epr.d.ts

@@ -0,0 +1,73 @@
+/**
+ * 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 type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.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 declare const BE43_ER_EPR_RHS: ExprNode;
+/** LHS: S_entanglement has dimension [entropy]. */
+export declare const BE43_ER_EPR_LHS: ExprNode;
+export interface EREPRBoundInputs {
+    /** Wormhole minimal cross-section area (m²). Must be ≥ 0 and finite. */
+    area_m2: number;
+}
+/**
+ * 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 declare function evaluateEREPRBound(input: EREPRBoundInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [entropy].
+ */
+export declare function validateBE43Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-43-er-epr.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"be-43-er-epr.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-43-er-epr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAgB1F;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,QAuB7B,CAAC;AAEF,mDAAmD;AACnD,eAAO,MAAM,eAAe,EAAE,QAAyC,CAAC;AAIxE,MAAM,WAAW,gBAAgB;IAC/B,wEAAwE;IACxE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAUlE;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}

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

@@ -0,0 +1,114 @@
+/**
+ * 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 { validate, validateEquation } from '../../dimensional/validator.js';
+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';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * 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]. */
+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) {
+    const { area_m2 } = input;
+    if (!Number.isFinite(area_m2) || area_m2 < 0) {
+        throw new RangeError(`evaluateEREPRBound: area_m2 must be a finite non-negative number, got ${area_m2}`);
+    }
+    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].
+ */
+export function validateBE43Dimensions() {
+    const eq = validateEquation(BE43_ER_EPR_LHS, BE43_ER_EPR_RHS);
+    const lhs = validate(BE43_ER_EPR_LHS);
+    const rhs = validate(BE43_ER_EPR_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-43-er-epr.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"be-43-er-epr.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-43-er-epr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,IAAI,EACJ,aAAa,EACb,OAAO,GACR,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,GAAG,IAAI,MAAM,EACb,GAAG,IAAI,MAAM,GACd,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,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,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;AASxE;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAuB;IACxD,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,UAAU,CAClB,yEAAyE,OAAO,EAAE,CACnF,CAAC;IACJ,CAAC;IACD,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,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;IACtC,MAAM,GAAG,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;IACtC,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-44-soft-hair.d.ts

@@ -0,0 +1,151 @@
+/**
+ * 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]. */
+export declare const BE44_SOFT_HAIR_CHARGE_SQUARED_LHS: ExprNode;
+export 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].
+ */
+export declare function validateBE44Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-44-soft-hair.d.ts.map

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

@@ -0,0 +1 @@
+{"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;AAE1F,OAAO,EACL,SAAS,EAGV,MAAM,4BAA4B,CAAC;AAWpC,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,eAAO,MAAM,iCAAiC,EAAE,QAG/C,CAAC;AAIF,MAAM,WAAW,kBAAkB;IACjC;;;;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,wBAAgB,sBAAsB,IAAI,yBAAyB,CAYlE"}