universal-physics-tensor 7.0.0 → 9.0.0

package/dist/bridges/condensed-r8.d.ts

@@ -1,260 +0,0 @@
-/** Bloch-law inputs. ζ(3/2) is not computed. @public */
-export interface BlochLawInputs {
-    readonly muB_J_per_T: number;
-    readonly zeta_3_2: number;
-    readonly T_K: number;
-    readonly D_J_m2: number;
-}
-/** Magnon magnetization deficit, one Bohr magneton per magnon. @public */
-export interface BlochLawResult {
-    readonly dM_A_per_m: number;
-}
-/**
- * `ΔM = μ_B ζ(3/2) (k_B T / (4 π D))^{3/2}`.
- * @public
- */
-export declare function evaluateBlochLaw({ muB_J_per_T, zeta_3_2, T_K, D_J_m2 }: BlochLawInputs): BlochLawResult;
-/**
- * Landé g μ_B at g = 2. Not one Bohr magneton.
- * @internal
- */
-export declare function blochLandeMoment(input: BlochLawInputs): number;
-/** Three-dimensional density-of-states inputs. @public */
-export interface DensityOfStates3DInputs {
-    readonly m_kg: number;
-    readonly E_J: number;
-}
-/** States per volume per energy, both spins. @public */
-export interface DensityOfStates3DResult {
-    readonly g_per_J_m3: number;
-}
-/**
- * `g(E) = (1/(2 π²)) (2 m / ℏ²)^{3/2} √E`.
- * @public
- */
-export declare function evaluateDensityOfStates3D({ m_kg, E_J }: DensityOfStates3DInputs): DensityOfStates3DResult;
-/**
- * One spin replaces `1/(2 π²)` by `1/(4 π²)`. Not the catalog density.
- * @internal
- */
-export declare function dos3dOneSpin(input: DensityOfStates3DInputs): number;
-/** Two-dimensional density-of-states inputs. @public */
-export interface DensityOfStates2DInputs {
-    readonly m_kg: number;
-}
-/** States per area per energy, both spins, one valley. @public */
-export interface DensityOfStates2DResult {
-    readonly g_per_J_m2: number;
-}
-/**
- * `g = m / (π ℏ²)`, independent of energy.
- * @public
- */
-export declare function evaluateDensityOfStates2D({ m_kg }: DensityOfStates2DInputs): DensityOfStates2DResult;
-/**
- * A valley factor other than 1. Not this density.
- * @internal
- */
-export declare function dos2dValley(m_kg: number, valley: number): number;
-/** Thomas–Fermi inputs. `e` and `ε0` are not inputs. @public */
-export interface ThomasFermiInputs {
-    readonly n_per_m3: number;
-    readonly EF_J: number;
-}
-/** Screening wavevector squared. @public */
-export interface ThomasFermiResult {
-    readonly k2_per_m2: number;
-}
-/**
- * `k_TF² = (e² / ε0) (3 n) / (2 E_F)`.
- * @public
- */
-export declare function evaluateThomasFermi({ n_per_m3, EF_J }: ThomasFermiInputs): ThomasFermiResult;
-/**
- * A flat density drops the `3/2`. Not the parabolic gas.
- * @internal
- */
-export declare function thomasFermiFlat(n_per_m3: number, EF_J: number): number;
-/** Built-in voltage inputs. `e` is not an input. @public */
-export interface BuiltinVoltageInputs {
-    readonly T_K: number;
-    readonly NA_per_m3: number;
-    readonly ND_per_m3: number;
-    readonly ni_per_m3: number;
-}
-/** Built-in voltage of a p–n junction. @public */
-export interface BuiltinVoltageResult {
-    readonly V_bi_V: number;
-}
-/**
- * `V_bi = (k_B T / e) ln(N_A N_D / n_i²)`.
- * @public
- */
-export declare function evaluateBuiltinVoltage({ T_K, NA_per_m3, ND_per_m3, ni_per_m3, }: BuiltinVoltageInputs): BuiltinVoltageResult;
-/**
- * `k_B T / e` with the logarithm omitted. Not the built-in voltage.
- * @internal
- */
-export declare function builtinWithoutLog(T_K: number): number;
-/** Semiconductor Fermi-level inputs. @public */
-export interface SemiconductorFermiInputs {
-    readonly T_K: number;
-    readonly mh_kg: number;
-    readonly me_kg: number;
-    readonly Nc_per_m3: number;
-    readonly ND_per_m3: number;
-}
-/** Intrinsic offset from midgap, and the extrinsic gap to the band edge. @public */
-export interface SemiconductorFermiResult {
-    readonly intrinsic_offset_J: number;
-    readonly extrinsic_offset_J: number;
-}
-/**
- * Intrinsic offset `(3/4) k_B T ln(m_h* / m_e*)` and extrinsic
- * `E_c − E_F = k_B T ln(N_c / N_D)`.
- * @public
- */
-export declare function evaluateSemiconductorFermi({ T_K, mh_kg, me_kg, Nc_per_m3, ND_per_m3, }: SemiconductorFermiInputs): SemiconductorFermiResult;
-/**
- * Half of `3/2` left as `1/2`. Not the intrinsic offset.
- * @internal
- */
-export declare function fermiHalfOffset(T_K: number, mh_kg: number, me_kg: number): number;
-/** Onsager-frequency inputs. `e` is not an input. @public */
-export interface OnsagerFrequencyInputs {
-    readonly A_per_m2: number;
-}
-/** The field `F` with `Δ(1/B) = 1/F`. @public */
-export interface OnsagerFrequencyResult {
-    readonly F_T: number;
-}
-/**
- * `F = ℏ A / (2 π e)`.
- * @public
- */
-export declare function evaluateOnsagerFrequency({ A_per_m2 }: OnsagerFrequencyInputs): OnsagerFrequencyResult;
-/**
- * Drops `2 π`. Not the Onsager frequency.
- * @internal
- */
-export declare function onsagerWithoutTwoPi(A_per_m2: number): number;
-/** Josephson-inductance inputs. @public */
-export interface JosephsonInductanceInputs {
-    readonly Ic_A: number;
-}
-/** Small-phase Josephson inductance. @public */
-export interface JosephsonInductanceResult {
-    readonly L_H: number;
-}
-/**
- * `L_J = ℏ / (2 e I_c)`.
- * @public
- */
-export declare function evaluateJosephsonInductance({ Ic_A }: JosephsonInductanceInputs): JosephsonInductanceResult;
-/**
- * `ℏ / (e I_c)`. Drops the Cooper-pair 2. Not this inductance.
- * @internal
- */
-export declare function josephsonWithoutTwo(Ic_A: number): number;
-/** Lower-critical-field inputs. `Φ₀ = h / (2 e)` is not an input. @public */
-export interface LowerCriticalInputs {
-    readonly lambda_m: number;
-    readonly xi_m: number;
-}
-/** Lower critical field of a London vortex. @public */
-export interface LowerCriticalResult {
-    readonly B_c1_T: number;
-}
-/**
- * `B_c1 = (Φ₀ / (4 π λ²)) ln(λ/ξ)` with `Φ₀ = h / (2 e)`.
- * @public
- */
-export declare function evaluateLowerCritical({ lambda_m, xi_m }: LowerCriticalInputs): LowerCriticalResult;
-/**
- * Drops `4 π`. Not the lower critical field.
- * @internal
- */
-export declare function lowerCriticalWithoutFourPi(input: LowerCriticalInputs): number;
-/** AC Drude inputs. `e` is not an input. @public */
-export interface AcDrudeInputs {
-    readonly n_per_m3: number;
-    readonly m_kg: number;
-    readonly tau_s: number;
-    readonly omega_rad_s: number;
-}
-/** Real part of the AC Drude conductivity. @public */
-export interface AcDrudeResult {
-    readonly sigma_S_per_m: number;
-}
-/**
- * `Re σ = σ₀ / (1 + ω² τ²)` with `σ₀ = n e² τ / m`.
- * @public
- */
-export declare function evaluateAcDrude({ n_per_m3, m_kg, tau_s, omega_rad_s }: AcDrudeInputs): AcDrudeResult;
-/**
- * Drops the DC `1` in the denominator. Not this conductivity.
- * @internal
- */
-export declare function acDrudeWithoutDc(input: AcDrudeInputs): number;
-/** Matthiessen inputs. `C` converts a rate into a resistivity. @public */
-export interface MatthiessenInputs {
-    readonly tau1_s: number;
-    readonly tau2_s: number;
-    readonly C_ohm_m_s: number;
-}
-/** Parallel lifetime and the resistivity sum. @public */
-export interface MatthiessenResult {
-    readonly tau_s: number;
-    readonly rho_ohm_m: number;
-}
-/**
- * `1/τ = 1/τ₁ + 1/τ₂` and `ρ = C (1/τ₁ + 1/τ₂)`.
- * @public
- */
-export declare function evaluateMatthiessen({ tau1_s, tau2_s, C_ohm_m_s }: MatthiessenInputs): MatthiessenResult;
-/**
- * One lifetime. Not the parallel sum when the other lifetime is finite.
- * @internal
- */
-export declare function matthiessenSingle(tau1_s: number): number;
-/** Stoner inputs. `x = I g(E_F)`. @public */
-export interface StonerInputs {
-    readonly chi_P: number;
-    readonly x: number;
-}
-/** Enhanced susceptibility. @public */
-export interface StonerResult {
-    readonly chi: number;
-}
-/**
- * `χ = χ_P / (1 − I g(E_F))` for `|I g(E_F)| < 1`.
- * @public
- */
-export declare function evaluateStoner({ chi_P, x }: StonerInputs): StonerResult;
-/**
- * The first two bubbles, `χ_P (1 + x)`. Not the closed form.
- * @internal
- */
-export declare function stonerTwoBubbles(chi_P: number, x: number): number;
-/** Gorter–Casimir inputs. The exponent 4 is the hypothesis. @public */
-export interface GorterCasimirInputs {
-    readonly T_K: number;
-    readonly Tc_K: number;
-    readonly lambda0_m: number;
-}
-/** Superfluid fraction and the London depth at that fraction. @public */
-export interface GorterCasimirResult {
-    readonly ns_over_n: number;
-    readonly lambda_m: number;
-}
-/**
- * `n_s/n = 1 − (T/T_c)^4` and `λ(T) = λ(0) / √(1 − (T/T_c)^4)`.
- * @public
- */
-export declare function evaluateGorterCasimir({ T_K, Tc_K, lambda0_m }: GorterCasimirInputs): GorterCasimirResult;
-/**
- * Exponent 2. Not 4 when the reduced temperature is neither 0 nor 1.
- * @internal
- */
-export declare function gorterExponentTwo(T_K: number, Tc_K: number): number;
-//# sourceMappingURL=condensed-r8.d.ts.map

package/dist/bridges/condensed-r8.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"condensed-r8.d.ts","sourceRoot":"","sources":["../../src/bridges/condensed-r8.ts"],"names":[],"mappings":"AAiBA,wDAAwD;AACxD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AACD,0EAA0E;AAC1E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,cAAc,GAAG,cAAc,CASvG;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,CAE9D;AAED,0DAA0D;AAC1D,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AACD,wDAAwD;AACxD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,uBAAuB,GAAG,uBAAuB,CAQzG;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,uBAAuB,GAAG,MAAM,CAEnE;AAED,wDAAwD;AACxD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AACD,kEAAkE;AAClE,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,IAAI,EAAE,EAAE,uBAAuB,GAAG,uBAAuB,CAIpG;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAGhE;AAED,gEAAgE;AAChE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AACD,4CAA4C;AAC5C,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,iBAAiB,GAAG,iBAAiB,CAK5F;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAKtE;AAED,4DAA4D;AAC5D,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AACD,kDAAkD;AAClD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,EACrC,GAAG,EACH,SAAS,EACT,SAAS,EACT,SAAS,GACV,EAAE,oBAAoB,GAAG,oBAAoB,CAU7C;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAGrD;AAED,gDAAgD;AAChD,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AACD,oFAAoF;AACpF,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACrC;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,EACzC,GAAG,EACH,KAAK,EACL,KAAK,EACL,SAAS,EACT,SAAS,GACV,EAAE,wBAAwB,GAAG,wBAAwB,CAgBrD;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAOjF;AAED,6DAA6D;AAC7D,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AACD,iDAAiD;AACjD,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,EAAE,QAAQ,EAAE,EAAE,sBAAsB,GAAG,sBAAsB,CAGrG;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAG5D;AAED,2CAA2C;AAC3C,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AACD,gDAAgD;AAChD,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,wBAAgB,2BAA2B,CAAC,EAAE,IAAI,EAAE,EAAE,yBAAyB,GAAG,yBAAyB,CAI1G;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAIxD;AAED,6EAA6E;AAC7E,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AACD,uDAAuD;AACvD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,mBAAmB,GAAG,mBAAmB,CAOlG;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAE7E;AAED,oDAAoD;AACpD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AACD,sDAAsD;AACtD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,aAAa,GAAG,aAAa,CASpG;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAI7D;AAED,0EAA0E;AAC1E,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AACD,yDAAyD;AACzD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,iBAAiB,GAAG,iBAAiB,CASvG;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAIxD;AAED,6CAA6C;AAC7C,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB;AACD,uCAAuC;AACvC,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,YAAY,GAAG,YAAY,CAKvE;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAIjE;AAED,uEAAuE;AACvE,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AACD,yEAAyE;AACzE,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,mBAAmB,GAAG,mBAAmB,CAUxG;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAKnE"}

package/dist/bridges/condensed-r8.js

@@ -1,329 +0,0 @@
-/**
- * BE-134 through BE-146 — condensed-matter closed forms.
- *
- * Each function is the numeric body for that catalog id. `e` is the
- * elementary charge. Euler's number is `exp` only, and these formulas
- * do not use it. A dropped factor is a separate function and is not the
- * catalog value. ζ(3/2) is an input: the proof does not evaluate it.
- *
- * @module bridges/condensed-r8
- */
-import { E_SI, H_SI, HBAR_SI, K_B_SI } from '../core/constants.js';
-import { EPS0_SI } from '../dimensional/formula-names.js';
-function finite(name, value) {
-    if (!Number.isFinite(value))
-        throw new Error(`${name} must be finite`);
-}
-/**
- * `ΔM = μ_B ζ(3/2) (k_B T / (4 π D))^{3/2}`.
- * @public
- */
-export function evaluateBlochLaw({ muB_J_per_T, zeta_3_2, T_K, D_J_m2 }) {
-    finite('muB_J_per_T', muB_J_per_T);
-    finite('zeta_3_2', zeta_3_2);
-    finite('T_K', T_K);
-    finite('D_J_m2', D_J_m2);
-    if (!(D_J_m2 > 0))
-        throw new Error('evaluateBlochLaw: D_J_m2 must be positive');
-    if (T_K < 0)
-        throw new Error('evaluateBlochLaw: T_K must be ≥ 0');
-    const thermal = (K_B_SI * T_K) / (4 * Math.PI * D_J_m2);
-    return { dM_A_per_m: muB_J_per_T * zeta_3_2 * thermal ** 1.5 };
-}
-/**
- * Landé g μ_B at g = 2. Not one Bohr magneton.
- * @internal
- */
-export function blochLandeMoment(input) {
-    return evaluateBlochLaw(input).dM_A_per_m * 2;
-}
-/**
- * `g(E) = (1/(2 π²)) (2 m / ℏ²)^{3/2} √E`.
- * @public
- */
-export function evaluateDensityOfStates3D({ m_kg, E_J }) {
-    finite('m_kg', m_kg);
-    finite('E_J', E_J);
-    if (!(m_kg > 0))
-        throw new Error('evaluateDensityOfStates3D: m_kg must be positive');
-    if (E_J < 0)
-        throw new Error('evaluateDensityOfStates3D: E_J must be ≥ 0');
-    const prefactor = 1 / (2 * Math.PI ** 2);
-    const parabola = ((2 * m_kg) / HBAR_SI ** 2) ** 1.5;
-    return { g_per_J_m3: prefactor * parabola * Math.sqrt(E_J) };
-}
-/**
- * One spin replaces `1/(2 π²)` by `1/(4 π²)`. Not the catalog density.
- * @internal
- */
-export function dos3dOneSpin(input) {
-    return evaluateDensityOfStates3D(input).g_per_J_m3 / 2;
-}
-/**
- * `g = m / (π ℏ²)`, independent of energy.
- * @public
- */
-export function evaluateDensityOfStates2D({ m_kg }) {
-    finite('m_kg', m_kg);
-    if (m_kg === 0)
-        throw new Error('evaluateDensityOfStates2D: m_kg must be nonzero');
-    return { g_per_J_m2: m_kg / (Math.PI * HBAR_SI ** 2) };
-}
-/**
- * A valley factor other than 1. Not this density.
- * @internal
- */
-export function dos2dValley(m_kg, valley) {
-    finite('valley', valley);
-    return evaluateDensityOfStates2D({ m_kg }).g_per_J_m2 * valley;
-}
-/**
- * `k_TF² = (e² / ε0) (3 n) / (2 E_F)`.
- * @public
- */
-export function evaluateThomasFermi({ n_per_m3, EF_J }) {
-    finite('n_per_m3', n_per_m3);
-    finite('EF_J', EF_J);
-    if (!(EF_J > 0))
-        throw new Error('evaluateThomasFermi: EF_J must be positive');
-    return { k2_per_m2: ((E_SI * E_SI) / EPS0_SI) * ((3 * n_per_m3) / (2 * EF_J)) };
-}
-/**
- * A flat density drops the `3/2`. Not the parabolic gas.
- * @internal
- */
-export function thomasFermiFlat(n_per_m3, EF_J) {
-    finite('n_per_m3', n_per_m3);
-    finite('EF_J', EF_J);
-    if (EF_J === 0)
-        throw new Error('thomasFermiFlat: EF_J must be nonzero');
-    return ((E_SI * E_SI) / EPS0_SI) * (n_per_m3 / EF_J);
-}
-/**
- * `V_bi = (k_B T / e) ln(N_A N_D / n_i²)`.
- * @public
- */
-export function evaluateBuiltinVoltage({ T_K, NA_per_m3, ND_per_m3, ni_per_m3, }) {
-    finite('T_K', T_K);
-    finite('NA_per_m3', NA_per_m3);
-    finite('ND_per_m3', ND_per_m3);
-    finite('ni_per_m3', ni_per_m3);
-    if (!(NA_per_m3 > 0))
-        throw new Error('evaluateBuiltinVoltage: NA_per_m3 must be positive');
-    if (!(ND_per_m3 > 0))
-        throw new Error('evaluateBuiltinVoltage: ND_per_m3 must be positive');
-    if (!(ni_per_m3 > 0))
-        throw new Error('evaluateBuiltinVoltage: ni_per_m3 must be positive');
-    const argument = (NA_per_m3 * ND_per_m3) / ni_per_m3 ** 2;
-    return { V_bi_V: ((K_B_SI * T_K) / E_SI) * Math.log(argument) };
-}
-/**
- * `k_B T / e` with the logarithm omitted. Not the built-in voltage.
- * @internal
- */
-export function builtinWithoutLog(T_K) {
-    finite('T_K', T_K);
-    return (K_B_SI * T_K) / E_SI;
-}
-/**
- * Intrinsic offset `(3/4) k_B T ln(m_h* / m_e*)` and extrinsic
- * `E_c − E_F = k_B T ln(N_c / N_D)`.
- * @public
- */
-export function evaluateSemiconductorFermi({ T_K, mh_kg, me_kg, Nc_per_m3, ND_per_m3, }) {
-    finite('T_K', T_K);
-    finite('mh_kg', mh_kg);
-    finite('me_kg', me_kg);
-    finite('Nc_per_m3', Nc_per_m3);
-    finite('ND_per_m3', ND_per_m3);
-    if (T_K === 0)
-        throw new Error('evaluateSemiconductorFermi: T_K must be nonzero');
-    if (!(mh_kg > 0))
-        throw new Error('evaluateSemiconductorFermi: mh_kg must be positive');
-    if (!(me_kg > 0))
-        throw new Error('evaluateSemiconductorFermi: me_kg must be positive');
-    if (!(Nc_per_m3 > 0))
-        throw new Error('evaluateSemiconductorFermi: Nc_per_m3 must be positive');
-    if (!(ND_per_m3 > 0))
-        throw new Error('evaluateSemiconductorFermi: ND_per_m3 must be positive');
-    const kT = K_B_SI * T_K;
-    return {
-        intrinsic_offset_J: (3 / 4) * kT * Math.log(mh_kg / me_kg),
-        extrinsic_offset_J: kT * Math.log(Nc_per_m3 / ND_per_m3),
-    };
-}
-/**
- * Half of `3/2` left as `1/2`. Not the intrinsic offset.
- * @internal
- */
-export function fermiHalfOffset(T_K, mh_kg, me_kg) {
-    finite('T_K', T_K);
-    finite('mh_kg', mh_kg);
-    finite('me_kg', me_kg);
-    if (T_K === 0)
-        throw new Error('fermiHalfOffset: T_K must be nonzero');
-    if (!(mh_kg > 0 && me_kg > 0))
-        throw new Error('fermiHalfOffset: masses must be positive');
-    return (1 / 2) * K_B_SI * T_K * Math.log(mh_kg / me_kg);
-}
-/**
- * `F = ℏ A / (2 π e)`.
- * @public
- */
-export function evaluateOnsagerFrequency({ A_per_m2 }) {
-    finite('A_per_m2', A_per_m2);
-    return { F_T: (HBAR_SI * A_per_m2) / (2 * Math.PI * E_SI) };
-}
-/**
- * Drops `2 π`. Not the Onsager frequency.
- * @internal
- */
-export function onsagerWithoutTwoPi(A_per_m2) {
-    finite('A_per_m2', A_per_m2);
-    return (HBAR_SI * A_per_m2) / E_SI;
-}
-/**
- * `L_J = ℏ / (2 e I_c)`.
- * @public
- */
-export function evaluateJosephsonInductance({ Ic_A }) {
-    finite('Ic_A', Ic_A);
-    if (Ic_A === 0)
-        throw new Error('evaluateJosephsonInductance: Ic_A must be nonzero');
-    return { L_H: HBAR_SI / (2 * E_SI * Ic_A) };
-}
-/**
- * `ℏ / (e I_c)`. Drops the Cooper-pair 2. Not this inductance.
- * @internal
- */
-export function josephsonWithoutTwo(Ic_A) {
-    finite('Ic_A', Ic_A);
-    if (Ic_A === 0)
-        throw new Error('josephsonWithoutTwo: Ic_A must be nonzero');
-    return HBAR_SI / (E_SI * Ic_A);
-}
-/**
- * `B_c1 = (Φ₀ / (4 π λ²)) ln(λ/ξ)` with `Φ₀ = h / (2 e)`.
- * @public
- */
-export function evaluateLowerCritical({ lambda_m, xi_m }) {
-    finite('lambda_m', lambda_m);
-    finite('xi_m', xi_m);
-    if (!(xi_m > 0))
-        throw new Error('evaluateLowerCritical: xi_m must be positive');
-    if (!(lambda_m > xi_m))
-        throw new Error('evaluateLowerCritical: lambda_m must exceed xi_m');
-    const phi0 = H_SI / (2 * E_SI);
-    return { B_c1_T: (phi0 / (4 * Math.PI * lambda_m ** 2)) * Math.log(lambda_m / xi_m) };
-}
-/**
- * Drops `4 π`. Not the lower critical field.
- * @internal
- */
-export function lowerCriticalWithoutFourPi(input) {
-    return evaluateLowerCritical(input).B_c1_T * (4 * Math.PI);
-}
-/**
- * `Re σ = σ₀ / (1 + ω² τ²)` with `σ₀ = n e² τ / m`.
- * @public
- */
-export function evaluateAcDrude({ n_per_m3, m_kg, tau_s, omega_rad_s }) {
-    finite('n_per_m3', n_per_m3);
-    finite('m_kg', m_kg);
-    finite('tau_s', tau_s);
-    finite('omega_rad_s', omega_rad_s);
-    if (!(tau_s > 0))
-        throw new Error('evaluateAcDrude: tau_s must be positive');
-    if (m_kg === 0)
-        throw new Error('evaluateAcDrude: m_kg must be nonzero');
-    const sigma0 = (n_per_m3 * E_SI * E_SI * tau_s) / m_kg;
-    return { sigma_S_per_m: sigma0 / (1 + omega_rad_s ** 2 * tau_s ** 2) };
-}
-/**
- * Drops the DC `1` in the denominator. Not this conductivity.
- * @internal
- */
-export function acDrudeWithoutDc(input) {
-    if (input.omega_rad_s === 0)
-        throw new Error('acDrudeWithoutDc: omega_rad_s must be nonzero');
-    const real = evaluateAcDrude(input).sigma_S_per_m;
-    return real * (1 + input.omega_rad_s ** 2 * input.tau_s ** 2) / (input.omega_rad_s ** 2 * input.tau_s ** 2);
-}
-/**
- * `1/τ = 1/τ₁ + 1/τ₂` and `ρ = C (1/τ₁ + 1/τ₂)`.
- * @public
- */
-export function evaluateMatthiessen({ tau1_s, tau2_s, C_ohm_m_s }) {
-    finite('tau1_s', tau1_s);
-    finite('tau2_s', tau2_s);
-    finite('C_ohm_m_s', C_ohm_m_s);
-    if (tau1_s === 0)
-        throw new Error('evaluateMatthiessen: tau1_s must be nonzero');
-    if (tau2_s === 0)
-        throw new Error('evaluateMatthiessen: tau2_s must be nonzero');
-    const rate = 1 / tau1_s + 1 / tau2_s;
-    if (rate === 0)
-        throw new Error('evaluateMatthiessen: 1/τ₁ + 1/τ₂ must be nonzero');
-    return { tau_s: 1 / rate, rho_ohm_m: C_ohm_m_s * rate };
-}
-/**
- * One lifetime. Not the parallel sum when the other lifetime is finite.
- * @internal
- */
-export function matthiessenSingle(tau1_s) {
-    finite('tau1_s', tau1_s);
-    if (tau1_s === 0)
-        throw new Error('matthiessenSingle: tau1_s must be nonzero');
-    return tau1_s;
-}
-/**
- * `χ = χ_P / (1 − I g(E_F))` for `|I g(E_F)| < 1`.
- * @public
- */
-export function evaluateStoner({ chi_P, x }) {
-    finite('chi_P', chi_P);
-    finite('x', x);
-    if (!(Math.abs(x) < 1))
-        throw new Error('evaluateStoner: |x| must be < 1');
-    return { chi: chi_P / (1 - x) };
-}
-/**
- * The first two bubbles, `χ_P (1 + x)`. Not the closed form.
- * @internal
- */
-export function stonerTwoBubbles(chi_P, x) {
-    finite('chi_P', chi_P);
-    finite('x', x);
-    return chi_P * (1 + x);
-}
-/**
- * `n_s/n = 1 − (T/T_c)^4` and `λ(T) = λ(0) / √(1 − (T/T_c)^4)`.
- * @public
- */
-export function evaluateGorterCasimir({ T_K, Tc_K, lambda0_m }) {
-    finite('T_K', T_K);
-    finite('Tc_K', Tc_K);
-    finite('lambda0_m', lambda0_m);
-    if (!(Tc_K > 0))
-        throw new Error('evaluateGorterCasimir: Tc_K must be positive');
-    if (T_K < 0)
-        throw new Error('evaluateGorterCasimir: T_K must be ≥ 0');
-    if (!(T_K < Tc_K))
-        throw new Error('evaluateGorterCasimir: T_K must be below Tc_K');
-    if (!(lambda0_m > 0))
-        throw new Error('evaluateGorterCasimir: lambda0_m must be positive');
-    const fraction = 1 - (T_K / Tc_K) ** 4;
-    return { ns_over_n: fraction, lambda_m: lambda0_m / Math.sqrt(fraction) };
-}
-/**
- * Exponent 2. Not 4 when the reduced temperature is neither 0 nor 1.
- * @internal
- */
-export function gorterExponentTwo(T_K, Tc_K) {
-    finite('T_K', T_K);
-    finite('Tc_K', Tc_K);
-    if (!(Tc_K > 0))
-        throw new Error('gorterExponentTwo: Tc_K must be positive');
-    return 1 - (T_K / Tc_K) ** 2;
-}
-//# sourceMappingURL=condensed-r8.js.map

package/dist/bridges/condensed-r8.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"condensed-r8.js","sourceRoot":"","sources":["../../src/bridges/condensed-r8.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,EAAE,OAAO,EAAE,MAAM,iCAAiC,CAAC;AAE1D,SAAS,MAAM,CAAC,IAAY,EAAE,KAAa;IACzC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,iBAAiB,CAAC,CAAC;AACzE,CAAC;AAcD;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAkB;IACrF,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;IACnC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC7B,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnB,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAChF,IAAI,GAAG,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IAClE,MAAM,OAAO,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC;IACxD,OAAO,EAAE,UAAU,EAAE,WAAW,GAAG,QAAQ,GAAG,OAAO,IAAI,GAAG,EAAE,CAAC;AACjE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAqB;IACpD,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC;AAChD,CAAC;AAYD;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,EAAE,IAAI,EAAE,GAAG,EAA2B;IAC9E,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrB,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnB,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACrF,IAAI,GAAG,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,OAAO,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC;IACpD,OAAO,EAAE,UAAU,EAAE,SAAS,GAAG,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAC/D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,KAA8B;IACzD,OAAO,yBAAyB,CAAC,KAAK,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC;AACzD,CAAC;AAWD;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,EAAE,IAAI,EAA2B;IACzE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrB,IAAI,IAAI,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACnF,OAAO,EAAE,UAAU,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC;AACzD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,MAAc;IACtD,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACzB,OAAO,yBAAyB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,GAAG,MAAM,CAAC;AACjE,CAAC;AAYD;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAqB;IACvE,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC7B,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrB,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAC/E,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC;AAClF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,IAAY;IAC5D,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC7B,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrB,IAAI,IAAI,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IACzE,OAAO,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,GAAG,IAAI,CAAC,CAAC;AACvD,CAAC;AAcD;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,EACrC,GAAG,EACH,SAAS,EACT,SAAS,EACT,SAAS,GACY;IACrB,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnB,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC/B,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC/B,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC/B,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IAC5F,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IAC5F,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IAC5F,MAAM,QAAQ,GAAG,CAAC,SAAS,GAAG,SAAS,CAAC,GAAG,SAAS,IAAI,CAAC,CAAC;IAC1D,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;AAClE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAW;IAC3C,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnB,OAAO,CAAC,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC;AAC/B,CAAC;AAgBD;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CAAC,EACzC,GAAG,EACH,KAAK,EACL,KAAK,EACL,SAAS,EACT,SAAS,GACgB;IACzB,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnB,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACvB,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACvB,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC/B,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC/B,IAAI,GAAG,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IAClF,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxF,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxF,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAChG,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAChG,MAAM,EAAE,GAAG,MAAM,GAAG,GAAG,CAAC;IACxB,OAAO;QACL,kBAAkB,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC;QAC1D,kBAAkB,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,SAAS,CAAC;KACzD,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,GAAW,EAAE,KAAa,EAAE,KAAa;IACvE,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnB,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACvB,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACvB,IAAI,GAAG,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;IACvE,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC3F,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC;AAC1D,CAAC;AAWD;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CAAC,EAAE,QAAQ,EAA0B;IAC3E,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC7B,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;AAC9D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAgB;IAClD,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC7B,OAAO,CAAC,OAAO,GAAG,QAAQ,CAAC,GAAG,IAAI,CAAC;AACrC,CAAC;AAWD;;;GAGG;AACH,MAAM,UAAU,2BAA2B,CAAC,EAAE,IAAI,EAA6B;IAC7E,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrB,IAAI,IAAI,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACrF,OAAO,EAAE,GAAG,EAAE,OAAO,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;AAC9C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrB,IAAI,IAAI,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC7E,OAAO,OAAO,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC;AACjC,CAAC;AAYD;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAuB;IAC3E,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC7B,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrB,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IACjF,IAAI,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IAC5F,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IAC/B,OAAO,EAAE,MAAM,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,QAAQ,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,IAAI,CAAC,EAAE,CAAC;AACxF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAA0B;IACnE,OAAO,qBAAqB,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;AAC7D,CAAC;AAcD;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAiB;IACnF,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC7B,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrB,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACvB,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;IACnC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7E,IAAI,IAAI,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IACzE,MAAM,MAAM,GAAG,CAAC,QAAQ,GAAG,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC;IACvD,OAAO,EAAE,aAAa,EAAE,MAAM,GAAG,CAAC,CAAC,GAAG,WAAW,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC;AACzE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAoB;IACnD,IAAI,KAAK,CAAC,WAAW,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IAC9F,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC;IAClD,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,WAAW,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;AAC9G,CAAC;AAcD;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAqB;IAClF,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACzB,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACzB,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC/B,IAAI,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjF,IAAI,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjF,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC;IACrC,IAAI,IAAI,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACpF,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,EAAE,SAAS,GAAG,IAAI,EAAE,CAAC;AAC1D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAc;IAC9C,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACzB,IAAI,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/E,OAAO,MAAM,CAAC;AAChB,CAAC;AAYD;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,EAAE,KAAK,EAAE,CAAC,EAAgB;IACvD,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACvB,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACf,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IAC3E,OAAO,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;AAClC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAa,EAAE,CAAS;IACvD,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACvB,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACf,OAAO,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACzB,CAAC;AAcD;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAuB;IACjF,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnB,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrB,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC/B,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IACjF,IAAI,GAAG,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IACvE,IAAI,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACpF,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IAC3F,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;AAC5E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAW,EAAE,IAAY;IACzD,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnB,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrB,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC7E,OAAO,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC"}

package/dist/bridges/engineering-r7-catalog.d.ts

@@ -1,28 +0,0 @@
-/**
- * Catalog rows for BE-126 through BE-133.
- *
- * Registered through `registerBridge`. No right-hand-side AST: each row's
- * numeric body is the evaluator.
- *
- * @module bridges/engineering-r7-catalog
- */
-/** Engineering catalog rows, in id order. */
-export declare const ENGINEERING_R7_CATALOG_ROWS: {
-    id: number;
-    name: string;
-    category: string;
-    category_name: string;
-    bridges: [string, string];
-    status: 'established';
-    context: string;
-    formula_latex: string;
-    source_part: 'III';
-    source_section: string;
-    known_issues: never[];
-    references: string[];
-    dependencies: never[];
-    dimensional_signature: string;
-    tractability_class: 'closed-form';
-    notes: string;
-}[];
-//# sourceMappingURL=engineering-r7-catalog.d.ts.map

package/dist/bridges/engineering-r7-catalog.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"engineering-r7-catalog.d.ts","sourceRoot":"","sources":["../../src/bridges/engineering-r7-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,6CAA6C;AAC7C,eAAO,MAAM,2BAA2B;;;;;aAMU,CAAC,MAAM,EAAE,MAAM,CAAC;YACtD,aAAa;;;iBAIR,KAAK;;;;;;wBAQE,aAAa;;GA0JpC,CAAC"}