universal-physics-tensor 3.1.0 → 5.0.0

package/dist/bridges/index.js

@@ -2,7 +2,7 @@
  * Universal Physics Tensor — Bridge Equation Index
  *
  * Machine-readable catalog of all bridge equations (IDs from 11) from the UPT
- * specification (Parts I-VI; BE-51–54 catalogued in Part-II §V-B; BE-55–76
+ * specification (Parts I-VI; BE-51–54 catalogued in Part-II §V-B; BE-55–87
  * catalogued in Part-II §V-C). Each entry
  * preserves the spec's stated status, known issues, references, and
  * dependencies on other bridge equations.
@@ -13,11 +13,11 @@
  * Source-of-truth files: docs/specification/Part-{I-VI}.md
  *
  * Honest-claude: fields not explicitly stated in the spec are null (not guessed).
- * - dimensional_signature is populated for all 58 entries. 56 of them (all
+ * - dimensional_signature is populated for all 77 entries. 75 of them (all
  *   except BE-51 and BE-52) are registered in `EXPECTED_DIMENSION_BY_BRIDGE`
  *   (`src/dimensional/bridge-check.ts`); 42 (IDs 11-50, 53, 54) also have AST
  *   encodings under `src/bridges/equations/`. BE-51/52 are closed-form evaluator
- *   bridges, and BE-55-68 have evaluator modules in `src/bridges/`; none of
+ *   bridges, and BE-55-87 have evaluator modules in `src/bridges/`; none of
  *   them has an AST encoding. Populated values are exactly what
  *   `format()` produces for the inferred Dimension shape; never free-form prose.
  * - known_issues are extracted ONLY from explicit issue-markers in the spec
@@ -2676,6 +2676,526 @@ export const BRIDGE_EQUATIONS = [
         dimensional_signature: `[1]`,
         tractability_class: 'closed-form',
         notes: `Closed-form evaluator evaluatePlasmaBeta({n_per_m3, T_K, p_B_Pa}) → {beta} in src/bridges/be76-plasma-beta.ts. p_B_Pa is B²/(2 μ0). The overlay formalRef is PhysJS.PlasmaBeta.beta_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge composes with be-74 on magnetic-pressure. The edge confidence stays established. Not a plasma-β inequality. No confrontation.`,
+    },
+    {
+        id: 77,
+        name: `Hagen–Poiseuille flux`,
+        category: `D`,
+        category_name: `Field Unification Bridges`,
+        bridges: [`fluid`, `continuum`],
+        status: 'established',
+        context: `Steady axisymmetric Newtonian flow in a straight circular pipe, with d/dr (r du/dr) = (G/μ) r, centerline slope 0, and no-slip u(R) = 0, integrates to Q = π R⁴ ΔP / (8 μ L) once G = −ΔP/L. Darcy's definitions of that same profile give f_D Re = 64. The Fanning normalization of the wall shear is 16. A square duct is a different eigenvalue. The axial balance, no-slip, and the Darcy definitions are hypotheses.`,
+        formula_latex: `Q = \\frac{\\pi R^4 \\Delta P}{8 \\mu L}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-77) — established textbook relation, PhysJS.HagenPoiseuille.flow_eq`,
+        known_issues: [],
+        references: [
+            `The axial balance, the centerline condition, and no-slip are the hypotheses of PhysJS.HagenPoiseuille.flow_eq.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^3 T^-1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateHagenPoiseuille({R_m, deltaP_Pa, mu_Pa_s, L_m}) → {Q_m3_per_s} in src/bridges/be77-hagen-poiseuille.ts. The 8 is the integral of the no-slip parabola. The overlay formalRef is PhysJS.HagenPoiseuille.flow_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not a square duct and not the Fanning factor 16. No confrontation.`,
+    },
+    {
+        id: 78,
+        name: `Euler buckling load (pinned–pinned)`,
+        category: `D`,
+        category_name: `Field Unification Bridges`,
+        bridges: [`continuum`, `mechanical`],
+        status: 'established',
+        context: `The Euler–Bernoulli balance y'' = −ω² y with ω² = P/(E I) and pinned ends y(0) = y(L) = 0 has the eigenfunction sin(π x/L) at P = π² E I/L². Every nontrivial solution has ω L = n π for a nonzero integer n, so the load is at least that value. The clamped-free column is π² E I/(4 L²). That factor is not the pinned load. The beam equation is a hypothesis.`,
+        formula_latex: `P_{\\mathrm{cr}} = \\frac{\\pi^2 E I}{L^2}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-78) — established textbook relation, PhysJS.EulerBuckling.critical_load`,
+        known_issues: [],
+        references: [
+            `The Euler–Bernoulli balance and the pinned ends are the hypotheses of PhysJS.EulerBuckling.critical_load.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[force]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateEulerBuckling({E_Pa, I_m4, L_m}) → {P_N} in src/bridges/be78-euler-buckling.ts. The overlay formalRef is PhysJS.EulerBuckling.critical_load, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not the cantilever load. No confrontation.`,
+    },
+    {
+        id: 79,
+        name: `Parallel-plate pull-in voltage`,
+        category: `D`,
+        category_name: `Field Unification Bridges`,
+        bridges: [`electromagnetic`, `continuum`],
+        status: 'established',
+        context: `C = ε0 A/g has dC/dg = −ε0 A/g². Equilibrium of a linear spring against the coenergy force is k(g0−g) = ε0 A V²/(2 g²). The fold of (g0−g) g² is g = 2 g0/3, and the voltage there is V_pi = sqrt(8 k g0³/(27 ε0 A)). g = g0/2 is not the fold. Not a fringing field. The parallel-plate law and the quasi-static balance are hypotheses.`,
+        formula_latex: `V_{\\mathrm{pi}} = \\sqrt{\\frac{8 k g_0^3}{27 \\varepsilon_0 A}}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-79) — established textbook relation, PhysJS.PullIn.pull_in_eq`,
+        known_issues: [],
+        references: [
+            `The parallel-plate capacitance and the linear spring are the hypotheses of PhysJS.PullIn.pull_in_eq.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^2 M T^-3 I^-1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluatePullIn({k_N_per_m, g0_m, A_m2}) → {V_pi_V} in src/bridges/be79-pull-in.ts. ε0 is EPS0_SI. The overlay formalRef is PhysJS.PullIn.pull_in_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not a fringing field. No confrontation.`,
+    },
+    {
+        id: 80,
+        name: `Mott–Gurney current`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`electromagnetic`, `condensed`],
+        status: 'established',
+        context: `Drift J = q n μ E and Poisson dE/dx = q n/ε give E dE/dx = J/(ε μ). With E(0) = 0 the integral is E²/2 = J x/(ε μ), and the nonnegative root from 0 to d is J = (9/8) ε μ V²/d³. A factor other than 9/8 is not this current. Not Child–Langmuir. Drift, Poisson, and the injecting contact are hypotheses.`,
+        formula_latex: `J = \\frac{9}{8} \\varepsilon \\mu \\frac{V^2}{d^3}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-80) — established textbook relation, PhysJS.MottGurney.current_eq`,
+        known_issues: [],
+        references: [
+            `Drift, Poisson, and the injecting contact E(0) = 0 are the hypotheses of PhysJS.MottGurney.current_eq.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^-2 I]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateMottGurney({eps, mu_m2_per_Vs, V_volts, d_m}) → {J_A_per_m2} in src/bridges/be80-mott-gurney.ts. eps is the solid permittivity in F/m, not necessarily ε0. The overlay formalRef is PhysJS.MottGurney.current_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not Child–Langmuir. No confrontation.`,
+    },
+    {
+        id: 81,
+        name: `Child–Langmuir current`,
+        category: `D`,
+        category_name: `Field Unification Bridges`,
+        bridges: [`electromagnetic`, `vacuum`],
+        status: 'established',
+        context: `Collisionless energy (1/2) m v² = e φ, J = ρ v, and Poisson φ'' = ρ/ε0 give a current independent of x only for φ ∝ x^{4/3}. The profile φ = V (x/d)^{4/3} has φ(0) = 0, φ(d) = V, and cathode field 0, and for x > 0 its current is J = (4 ε0/9) sqrt(2 e/m) V^{3/2}/d². e is the elementary charge. The Mott–Gurney exponent does not cancel. Poisson is not claimed at x = 0. Not a drift-only solid.`,
+        formula_latex: `J = \\frac{4 \\varepsilon_0}{9} \\sqrt{\\frac{2 e}{m}} \\frac{V^{3/2}}{d^2}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-81) — established textbook relation, PhysJS.ChildLangmuir.current_eq`,
+        known_issues: [],
+        references: [
+            `Collisionless energy, J = ρ v, and Poisson away from the cathode are the hypotheses of PhysJS.ChildLangmuir.current_eq. e is the elementary charge.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^-2 I]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateChildLangmuir({m_kg, V_volts, d_m}) → {J_A_per_m2} in src/bridges/be81-child-langmuir.ts. e is E_SI, not an input and not Euler's number. ε0 is EPS0_SI. The overlay formalRef is PhysJS.ChildLangmuir.current_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not Mott–Gurney. No confrontation.`,
+    },
+    {
+        id: 82,
+        name: `Shockley diode equation`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`electromagnetic`, `condensed`],
+        status: 'established',
+        context: `Quasi-equilibrium multiplies the equilibrium flux by exp(e V/(η k_B T)). Ideality 1 sets η = 1. Detailed balance sets the reverse flux equal to the forward flux at V = 0, and low injection keeps that reverse flux under bias. The net current is I = I_s (exp(e V/(k_B T)) − 1). Zero bias carries zero current. Ideality 2 is not this current when e V ≠ 0. e is the elementary charge. Not a diffusion-length ODE.`,
+        formula_latex: `I = I_s \\left(\\exp\\left(\\frac{e V}{k_B T}\\right) - 1\\right)`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-82) — established textbook relation, PhysJS.ShockleyDiode.shockley_eq`,
+        known_issues: [],
+        references: [
+            `Quasi-equilibrium, detailed balance at zero bias, and low injection are the hypotheses of PhysJS.ShockleyDiode.shockley_eq. e is the elementary charge.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[I]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateShockleyDiode({I_s_A, V_volts, T_K}) → {I_A} in src/bridges/be82-shockley-diode.ts. e is E_SI. Euler's number is written exp. The overlay formalRef is PhysJS.ShockleyDiode.shockley_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Ideality is 1. No confrontation.`,
+    },
+    {
+        id: 83,
+        name: `Thomson coefficient`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`thermal`, `electrical`],
+        status: 'established',
+        context: `The Kelvin relation Π(t) = S(t) t, read along temperature, and the Thomson split μ = dΠ/dT − S give μ_T = T dS/dT by the product rule. dΠ/dT is not μ_T when S T ≠ 0. This is the first Thomson relation. It is not a second copy of Π = S T. The functional Kelvin relation and the Thomson split are hypotheses.`,
+        formula_latex: `\\mu_T = T \\frac{\\mathrm{d}S}{\\mathrm{d}T}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-83) — established textbook relation, PhysJS.Thomson.thomson_eq`,
+        known_issues: [],
+        references: [
+            `PhysJS.Thomson.thomson_eq reads PhysJS.KelvinRelation.peltier_eq along temperature. The Thomson split μ = dΠ/dT − S is a hypothesis.`,
+        ],
+        dependencies: [73],
+        dimensional_signature: `[L^2 M T^-3 I^-1 Theta^-1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateThomsonCoefficient({T_K, dS_dT_V_per_K2}) → {mu_V_per_K} in src/bridges/be83-thomson.ts. dS/dT is an input, not a sampled difference of S. The overlay formalRef is PhysJS.Thomson.thomson_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge does not compose with be-73: Π is not an input. The dependency is the Kelvin relation the theorem assumes. The edge confidence stays established. Not Π = S T. No confrontation.`,
+    },
+    {
+        id: 84,
+        name: `Four-point sheet resistance`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`electromagnetic`, `condensed`],
+        status: 'established',
+        context: `On an infinite sheet the radial field of a point current is (I R_s)/(2 π r), and the potential drop is the integral of 1/r. Probes at 0, s, 2s, and 3s, with current in at 0 and out at 3s, each contribute (I R_s/(2 π)) ln 2 on the inner pair. Superposition gives R_s = (π/ln 2)(V/I). A sink at 4s gives 2π/ln 3 instead. Not PhysJS.Crossing.antisymmetry. The Laplace field and linear superposition are hypotheses.`,
+        formula_latex: `R_s = \\frac{\\pi}{\\ln 2}\\frac{V}{I}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-84) — established textbook relation, PhysJS.FourPoint.sheet_eq`,
+        known_issues: [],
+        references: [
+            `The radial field (I R_s)/(2 π r) and linear superposition are the hypotheses of PhysJS.FourPoint.sheet_eq.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^2 M T^-3 I^-2]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateFourPointSheet({V_volts, I_A}) → {R_s_ohm} in src/bridges/be84-four-point.ts. The spacing s cancels. The overlay formalRef is PhysJS.FourPoint.sheet_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not the conformal crossing be-35. No confrontation.`,
+    },
+    {
+        id: 85,
+        name: `Shot noise (one-sided)`,
+        category: `H`,
+        category_name: `Non-Equilibrium Statistical Mechanics`,
+        bridges: [`quantum`, `classical`],
+        status: 'established',
+        context: `In a window of length T the count N has mean (I/e) T, and the Poisson premise is Var(N) = mean(N). Charge e scales the variance by e² and the windowed current divides by T, so Var(I) = e I/T. The one-sided bandwidth of that window is Δf = 1/(2 T), and S_I = 2 e I. The two-sided bandwidth Δf = 1/T gives e I. e is the elementary charge. Not a Fourier theorem and not Johnson–Nyquist. The Poisson variance and the one-sided convention are hypotheses.`,
+        formula_latex: `S_I = 2 e I`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-85) — established textbook relation, PhysJS.ShotNoise.shot_eq`,
+        known_issues: [],
+        references: [
+            `The Poisson variance Var(N) = mean(N) and the one-sided window Δf = 1/(2 T) are the hypotheses of PhysJS.ShotNoise.shot_eq. e is the elementary charge.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[T I^2]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateShotNoise({I_A}) → {S_I_A2_per_Hz} in src/bridges/be85-shot-noise.ts. e is E_SI. The formula is linear in I. The overlay formalRef is PhysJS.ShotNoise.shot_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not Johnson–Nyquist and not the two-sided spectrum e I. No confrontation.`,
+    },
+    {
+        id: 86,
+        name: `Reynolds analogy (Prandtl number 1)`,
+        category: `D`,
+        category_name: `Field Unification Bridges`,
+        bridges: [`fluid`, `thermal`],
+        status: 'established',
+        context: `Wall fluxes τ = μ du/dy and q = k dT/dy, with C_f = τ/(ρ U²/2), h = q/ΔT, St = h/(ρ U c_p), and Pr = μ c_p/k, satisfy St Pr = C_f/2 when the normalized wall gradients agree. That common slope is the equal-diffusivity hypothesis. At Pr = 1, St = C_f/2. Pr ≠ 1 with nonzero skin friction is not this equality. Not a Nusselt correlation.`,
+        formula_latex: `\\mathrm{St} = \\frac{C_f}{2}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-86) — established textbook relation, PhysJS.ReynoldsAnalogy.reynolds_eq`,
+        known_issues: [],
+        references: [
+            `Matched normalized wall gradients and Pr = 1 are the hypotheses of PhysJS.ReynoldsAnalogy.reynolds_eq. The 1/2 is the skin-friction normalization.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateReynoldsAnalogy({C_f}) → {St} in src/bridges/be86-reynolds-analogy.ts. Pr and the wall slopes are not inputs. The overlay formalRef is PhysJS.ReynoldsAnalogy.reynolds_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not a Nusselt correlation. No confrontation.`,
+    },
+    {
+        id: 87,
+        name: `Capacitor voltage variance`,
+        category: `H`,
+        category_name: `Non-Equilibrium Statistical Mechanics`,
+        bridges: [`thermal`, `electrical`],
+        status: 'established',
+        context: `dU/dV = C V and U(0) = 0 integrate to U = (C/2) V². The normalized Boltzmann weight of that energy is the Gaussian of mean 0 and variance k_B T/C, because the partition function is the Gaussian integral. The mean square on that law is ⟨v²⟩ = k_B T/C, and (C/2) of it is (1/2) k_B T. (3/2) k_B T/C is not this variance. Dropping the energy half replaces it by k_B T/(2 C). Not three kinetic degrees of freedom.`,
+        formula_latex: `\\langle v^2 \\rangle = \\frac{k_B T}{C}`,
+        source_part: 'III',
+        source_section: `Applied-physicist catalog (be-87) — established textbook relation, PhysJS.CapacitorNoise.noise_eq`,
+        known_issues: [],
+        references: [
+            `U = (C/2) V² and the Boltzmann weight of that one quadratic term are the hypotheses of PhysJS.CapacitorNoise.noise_eq.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^4 M^2 T^-6 I^-2]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateCapacitorNoise({T_K, C_F}) → {v2_V2} in src/bridges/be87-capacitor-noise.ts. The two halves cancel. The overlay formalRef is PhysJS.CapacitorNoise.noise_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not (3/2) k_B T/C. No confrontation.`,
+    },
+    {
+        id: 88,
+        name: `Fermi wavevector (two spins)`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`quantum`, `condensed`],
+        status: 'established',
+        context: `Two spin states times the sphere (4π/3) k_F³/(2π)³ give n, so k_F³ = 3 π² n and the nonnegative root is k_F = (3 π² n)^{1/3}. The isotropic parabola E = ℏ² k²/(2 m*) is E_F at k_F. Its first derivative is v_F = ℏ k_F/m*. One spin is k_F³ = 6 π² n. Not a lattice band. The band, the two-spin count, and T = 0 are hypotheses.`,
+        formula_latex: `k_F = (3\\pi^2 n)^{1/3}`,
+        source_part: 'III',
+        source_section: `Condensed-matter catalog (be-88) — established textbook relation, PhysJS.FermiSea.fermi_sea`,
+        known_issues: [],
+        references: [
+            `The two-spin count, the band, and T = 0 are the hypotheses of PhysJS.FermiSea.fermi_sea. The parabola is a hypothesis. One spin is a different wavevector.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^-1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateFermiSea({n_per_m3, m_kg}) → {k_F_per_m, E_F_J, v_F_m_per_s} in src/bridges/be88-fermi-sea.ts. The edge value is k_F. The overlay formalRef is PhysJS.FermiSea.fermi_sea, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not a lattice band. No confrontation.`,
+    },
+    {
+        id: 89,
+        name: `Debye cutoff (three acoustic branches)`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`condensed`, `continuum`],
+        status: 'established',
+        context: `Three acoustic branches filling 3n states, 3·(4π/3) k_D³/(2π)³ = 3n, give k_D³ = 6 π² n. A linear branch ω_D = v_s k_D is ω_D = v_s (6 π² n)^{1/3}. Equating the three-branch sum to n gives k_D³ = 2 π² n. The branch count and the common speed are hypotheses.`,
+        formula_latex: `\\omega_D = v_s (6\\pi^2 n)^{1/3}`,
+        source_part: 'III',
+        source_section: `Condensed-matter catalog (be-89) — established textbook relation, PhysJS.DebyeCutoff.debye_cutoff`,
+        known_issues: [],
+        references: [
+            `Three branches and one speed are the hypotheses of PhysJS.DebyeCutoff.debye_cutoff. The count 3n is the hypothesis that fixes 6 π².`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[frequency]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateDebyeCutoff({v_m_per_s, n_per_m3}) → {omega_D_rad_per_s} in src/bridges/be89-debye-cutoff.ts. The overlay formalRef is PhysJS.DebyeCutoff.debye_cutoff, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Equating the three-branch sum to n is a different cutoff. No confrontation.`,
+    },
+    {
+        id: 90,
+        name: `Debye heat capacity (Bose integral assumed)`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`condensed`, `thermal`],
+        status: 'established',
+        context: `The mode integral ∫₀^{ω_D} 9 N ω²/ω_D³ dω = 3 N. The Debye energy with the integral extended to infinity is the hypothesis U = 9 N k_B T (T/θ_D)³ I, and I = π⁴/15 is a hypothesis, not an evaluation of ∫ x³/(exp(x)−1) dx. Nine times π⁴/15 is 3 π⁴/5, and U = A T⁴ differentiates to C_V = (12 π⁴/5) N k_B (T/θ_D)³. The energy prefactor 3 π⁴/5 is not the heat capacity.`,
+        formula_latex: `C_V = \\frac{12\\pi^4}{5} N k_B \\left(\\frac{T}{\\theta_D}\\right)^3`,
+        source_part: 'III',
+        source_section: `Condensed-matter catalog (be-90) — established textbook relation, PhysJS.DebyeHeat.debye_heat`,
+        known_issues: [],
+        references: [
+            `The phonon integral, the extension to infinity, and π⁴/15 are the hypotheses of PhysJS.DebyeHeat.debye_heat. The Bose integral is not evaluated.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[entropy]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateDebyeHeat({N, T_K, thetaD_K}) → {C_V_J_per_K} in src/bridges/be90-debye-heat.ts. The overlay formalRef is PhysJS.DebyeHeat.debye_heat, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. π⁴/15 is assumed. No confrontation.`,
+    },
+    {
+        id: 91,
+        name: `Einstein solid heat capacity`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`condensed`, `thermal`],
+        status: 'established',
+        context: `Three Planck oscillators per atom, each of energy k_B θ_E/(exp(θ_E/T)−1), differentiate to C_V = 3 N k_B (θ_E/T)² exp(θ_E/T)/(exp(θ_E/T)−1)². The zero-point k_B θ_E/2 is constant. The kernel x² e^x/(e^x−1)² tends to 1 as x → 0⁺, so the high-temperature limit is 3 N k_B. One oscillator tends to N k_B. Three oscillators and the Einstein spectrum are hypotheses.`,
+        formula_latex: `C_V = 3 N k_B \\left(\\frac{\\theta_E}{T}\\right)^2 \\frac{\\exp(\\theta_E/T)}{(\\exp(\\theta_E/T)-1)^2}`,
+        source_part: 'III',
+        source_section: `Condensed-matter catalog (be-91) — established textbook relation, PhysJS.EinsteinSolid.einstein_heat`,
+        known_issues: [],
+        references: [
+            `Three oscillators and the Einstein spectrum are the hypotheses of PhysJS.EinsteinSolid.einstein_heat. The zero-point does not contribute to C_V.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[entropy]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateEinsteinSolid({N, T_K, thetaE_K}) → {C_V_J_per_K} in src/bridges/be91-einstein-solid.ts. The overlay formalRef is PhysJS.EinsteinSolid.einstein_heat, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. One oscillator is a different heat capacity. No confrontation.`,
+    },
+    {
+        id: 92,
+        name: `Sommerfeld electronic heat capacity`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`condensed`, `thermal`],
+        status: 'established',
+        context: `The Sommerfeld energy correction δU = (π²/6) (k_B T)² g(E_F) is a hypothesis, and its temperature derivative is c_V = (π²/3) k_B² T g(E_F). PhysJS.FermiSea.dos_factor is g(E_F) = (3/2) n/E_F for a √E density, so c_V = (π²/2) n k_B² T/E_F. A flat density g = n/E_F leaves π²/3. Not the Wiedemann–Franz law and not a second proof of be-61.`,
+        formula_latex: `c_V = \\frac{\\pi^2}{2} \\frac{n k_B^2 T}{E_F}`,
+        source_part: 'III',
+        source_section: `Condensed-matter catalog (be-92) — established textbook relation, PhysJS.SommerfeldHeat.electronic_heat`,
+        known_issues: [],
+        references: [
+            `δU = (π²/6) (k_B T)² g(E_F) is the hypothesis of PhysJS.SommerfeldHeat.electronic_heat. The √E density is dos_factor.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^-1 M T^-2 Theta^-1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateSommerfeldHeat({n_per_m3, T_K, E_F_J}) → {c_V_J_per_K_m3} in src/bridges/be92-sommerfeld-heat.ts. The overlay formalRef is PhysJS.SommerfeldHeat.electronic_heat, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not be-61. No confrontation.`,
+    },
+    {
+        id: 93,
+        name: `Curie–Weiss susceptibility`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`magnetic`, `thermal`],
+        status: 'established',
+        context: `Linear response χ k_B T = μ₀ n (g μ_B)² ⟨S_z²⟩ with the high-temperature moment ⟨S_z²⟩ = S(S+1)/3 gives the Curie constant C = μ₀ n g² μ_B² S(S+1)/(3 k_B). Equal weights on m = ±1/2 give 1/4 = S(S+1)/3 at S = 1/2. Mean field B_eff = B + λ M with θ = C λ/μ₀ gives χ = C/(T−θ). θ = 0 is C/T. A classical moment uses μ²/3. The second moment and the mean-field shift are hypotheses. Not an su(2) derivation. μ_B is an input.`,
+        formula_latex: `\\chi = \\frac{C}{T-\\theta},\\quad C = \\frac{\\mu_0 n g^2 \\mu_B^2 S(S+1)}{3 k_B}`,
+        source_part: 'III',
+        source_section: `Condensed-matter catalog (be-93) — established textbook relation, PhysJS.CurieWeiss.curie_weiss`,
+        known_issues: [],
+        references: [
+            `The second moment and the mean-field shift are the hypotheses of PhysJS.CurieWeiss.curie_weiss. μ_B is not derived here.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateCurieWeiss({n_per_m3, g, spin, muB_J_per_T, T_K, theta_K}) → {C_K, chi} in src/bridges/be93-curie-weiss.ts. The edge value is χ. The overlay formalRef is PhysJS.CurieWeiss.curie_weiss, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not an su(2) derivation. No confrontation.`,
+    },
+    {
+        id: 94,
+        name: `Pauli paramagnetism`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`magnetic`, `condensed`],
+        status: 'established',
+        context: `The Zeeman imbalance M = μ_B² g(E_F) B is a hypothesis, and χ_P = μ₀ M/B is μ₀ μ_B² g(E_F). PhysJS.FermiSea.dos_factor supplies g(E_F) = (3/2) n/E_F, so χ_P = μ₀ μ_B² (3 n)/(2 E_F). A flat density leaves the factor 1. Not Landau diamagnetism. μ_B is an input.`,
+        formula_latex: `\\chi_P = \\mu_0 \\mu_B^2 \\frac{3 n}{2 E_F}`,
+        source_part: 'III',
+        source_section: `Condensed-matter catalog (be-94) — established textbook relation, PhysJS.PauliParamagnetism.pauli`,
+        known_issues: [],
+        references: [
+            `The Zeeman imbalance is the hypothesis of PhysJS.PauliParamagnetism.pauli. Landau diamagnetism is not this susceptibility.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluatePauliParamagnetism({n_per_m3, E_F_J, muB_J_per_T}) → {chi_P} in src/bridges/be94-pauli-paramagnetism.ts. The overlay formalRef is PhysJS.PauliParamagnetism.pauli, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not Landau diamagnetism. No confrontation.`,
+    },
+    {
+        id: 95,
+        name: `Ginzburg–Landau trial-wall factor`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`condensed`, `magnetic`],
+        status: 'established',
+        context: `In the normalization with gradient coefficient 1/κ², quartic (1/2)(1−f²)², and field B², the density at κ² = 1/2 is (√2 f' − a f)² + (B + (1−f²)/√2)² minus √2 times the derivative of a(1−f²). Vanishing squares and equal endpoints make that wall integral zero. A trial profile with that critical integral has energy (1/κ² − 2) times the gradient integral: negative when κ > 1/√2, zero at κ = 1/√2, and positive when κ < 1/√2. The positive side is this trial, not every minimizer. The GL density and the profile are hypotheses.`,
+        formula_latex: `\\frac{1}{\\kappa^2} - 2`,
+        source_part: 'III',
+        source_section: `Condensed-matter catalog (be-95) — established textbook relation, PhysJS.GinzburgLandau.type_boundary`,
+        known_issues: [],
+        references: [
+            `The GL density and the trial profile are the hypotheses of PhysJS.GinzburgLandau.type_boundary. The sign is this trial's sign.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateGinzburgLandau({kappa}) → {trial_factor} in src/bridges/be95-ginzburg-landau.ts. The overlay formalRef is PhysJS.GinzburgLandau.type_boundary, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not every minimizer. No confrontation.`,
+    },
+    {
+        id: 96,
+        name: `Upper critical field`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`electromagnetic`, `condensed`],
+        status: 'established',
+        context: `The linearized GL instability sets the Landau-level ground energy ℏ q B/(2 m*) of charge q = 2e equal to |α| = ℏ²/(2 m* ξ²). That level is a hypothesis, not the spectrum of the covariant Laplacian. The field is B = ℏ/(2 e ξ²). With Φ₀ = h/(2e) and h = 2 π ℏ this is B_c2 = Φ₀/(2 π ξ²). Charge e instead of 2e is a different field.`,
+        formula_latex: `B_{c2} = \\frac{\\hbar}{2 e \\xi^2}`,
+        source_part: 'III',
+        source_section: `Condensed-matter catalog (be-96) — established textbook relation, PhysJS.UpperCritical.critical_field`,
+        known_issues: [],
+        references: [
+            `The Landau-level ground energy is the hypothesis of PhysJS.UpperCritical.critical_field. e is the elementary charge. The charge in the level is 2e.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[M T^-2 I^-1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateUpperCritical({xi_m}) → {B_c2_T} in src/bridges/be96-upper-critical.ts. e is E_SI. The overlay formalRef is PhysJS.UpperCritical.critical_field, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Charge e is a different field. No confrontation.`,
+    },
+    {
+        id: 97,
+        name: `Ambegaokar–Baratoff product at zero temperature`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`quantum`, `condensed`],
+        status: 'established',
+        context: `The chain rule along E = Δ cosh t pulls the coherence-factor integrand back to sech t for t > 0. ∫₀^T sech = arctan(sinh T), and the limit T → ∞ is π/2. The tunnel Hamiltonian at zero temperature and identical gaps is the hypothesis that e I_c R_n is Δ times that improper integral, so I_c R_n = π Δ/(2 e). A coefficient other than π/2 fails. Not the finite-temperature tanh factor.`,
+        formula_latex: `I_c R_n = \\frac{\\pi \\Delta}{2 e}`,
+        source_part: 'III',
+        source_section: `Condensed-matter catalog (be-97) — established textbook relation, PhysJS.AmbegaokarBaratoff.ambegaokar_baratoff`,
+        known_issues: [],
+        references: [
+            `Zero temperature and identical gaps are the hypotheses of PhysJS.AmbegaokarBaratoff.ambegaokar_baratoff. There is no temperature input.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^2 M T^-3 I^-1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateAmbegaokarBaratoff({Delta_J}) → {IcRn_V} in src/bridges/be97-ambegaokar-baratoff.ts. e is E_SI. The overlay formalRef is PhysJS.AmbegaokarBaratoff.ambegaokar_baratoff, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. T = 0 only. No confrontation.`,
+    },
+    {
+        id: 98,
+        name: `BCS heat-capacity jump`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`condensed`, `thermal`],
+        status: 'established',
+        context: `The weak-coupling excess free energy F = N(0) (T−T_c)/T_c · Δ² + 7 ζ N(0)/(16 π² T_c²) · Δ⁴ is a hypothesis, with k_B = 1. Its minimum is −α₀² (T−T_c)²/(4 β), and −T ∂²F/∂T² at T_c is ΔC = T_c α₀²/(2 β) = 8 π² N(0) T_c/(7 ζ). The normal heat capacity C_n = (2 π²/3) N(0) T_c is the both-spin Sommerfeld value, a hypothesis. The ratio is 12/(7 ζ). ζ is the quartic coefficient, not a series evaluation. One spin in C_n misses the ratio. Not 2π exp(−γ).`,
+        formula_latex: `\\frac{\\Delta C}{C_n} = \\frac{12}{7\\zeta}`,
+        source_part: 'III',
+        source_section: `Condensed-matter catalog (be-98) — established textbook relation, PhysJS.BcsJump.heat_jump`,
+        known_issues: [],
+        references: [
+            `The excess free energy and the both-spin normal heat are the hypotheses of PhysJS.BcsJump.heat_jump. ζ is an input.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateBcsJump({zeta}) → {ratio} in src/bridges/be98-bcs-jump.ts. The overlay formalRef is PhysJS.BcsJump.heat_jump, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. ζ is not evaluated as a series. No confrontation.`,
+    },
+    {
+        id: 99,
+        name: `Mass-action intrinsic density`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`condensed`, `statistical`],
+        status: 'established',
+        context: `The Boltzmann tails n = N_c exp(−(E_c−μ)/(k_B T)) and p = N_v exp(−(μ−E_v)/(k_B T)), with E_g = E_c − E_v, multiply to N_c N_v exp(−E_g/(k_B T)). That product is the square of n_i = √(N_c N_v) exp(−E_g/(2 k_B T)). Dropping the 2 in the exponent is a different density. The tails are hypotheses. Not a Fermi–Dirac integral.`,
+        formula_latex: `n_i = \\sqrt{N_c N_v}\\,\\exp\\!\\left(-\\frac{E_g}{2 k_B T}\\right)`,
+        source_part: 'III',
+        source_section: `Condensed-matter catalog (be-99) — established textbook relation, PhysJS.MassAction.mass_action`,
+        known_issues: [],
+        references: [
+            `The Boltzmann tails are the hypotheses of PhysJS.MassAction.mass_action. The factor 2 in the exponent is the square root of the product.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^-3]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateMassAction({N_c_per_m3, N_v_per_m3, E_g_J, T_K}) → {n_i_per_m3} in src/bridges/be99-mass-action.ts. The overlay formalRef is PhysJS.MassAction.mass_action, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Dropping the 2 is a different density. No confrontation.`,
+    },
+    {
+        id: 100,
+        name: `Lyddane–Sachs–Teller relation`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`condensed`, `electromagnetic`],
+        status: 'established',
+        context: `The undamped oscillator ε(ω) = ε(∞) + S/(ω_TO² − ω²) has a zero at ω_LO, which fixes S, and ε(0) is the same function at zero frequency. The ratio is ω_LO²/ω_TO² = ε(0)/ε(∞). The unsquared frequency ratio fails when ω_LO ≠ ω_TO. No damping is a hypothesis.`,
+        formula_latex: `\\frac{\\omega_{LO}^2}{\\omega_{TO}^2} = \\frac{\\varepsilon(0)}{\\varepsilon(\\infty)}`,
+        source_part: 'III',
+        source_section: `Condensed-matter catalog (be-100) — established textbook relation, PhysJS.LyddaneSachsTeller.lst`,
+        known_issues: [],
+        references: [
+            `No damping is the hypothesis of PhysJS.LyddaneSachsTeller.lst. The evaluator takes the dielectric constants.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[1]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateLyddaneSachsTeller({eps_static, eps_inf}) → {frequency_ratio_sq} in src/bridges/be100-lyddane-sachs-teller.ts. The overlay formalRef is PhysJS.LyddaneSachsTeller.lst, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. The unsquared ratio is a different statement. No confrontation.`,
+    },
+    {
+        id: 101,
+        name: `BKT unbinding temperature`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`thermal`, `condensed`],
+        status: 'established',
+        context: `The phase gradient of a θ = φ vortex integrates to π J ln(R/a) between the core and radius R. The entropy hypothesis is the area of core positions, S = k_B ln((R/a)²) = 2 k_B ln(R/a). The free energy E − T S vanishes at a radius past the core only when k_B T = π J/2. Circumference entropy unbinds at π J. J is the stiffness in the vortex energy. Not the renormalization-group flow.`,
+        formula_latex: `k_B T = \\frac{\\pi J}{2}`,
+        source_part: 'III',
+        source_section: `Condensed-matter catalog (be-101) — established textbook relation, PhysJS.BktJump.bkt_jump`,
+        known_issues: [],
+        references: [
+            `The area of core positions is the entropy hypothesis of PhysJS.BktJump.bkt_jump. The renormalization-group flow is not this temperature.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[temperature]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateBktJump({J_J}) → {T_K} in src/bridges/be101-bkt-jump.ts. The overlay formalRef is PhysJS.BktJump.bkt_jump, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not the RG flow. No confrontation.`,
+    },
+    {
+        id: 102,
+        name: `Landauer conductance (two spins)`,
+        category: `F`,
+        category_name: `Condensed Matter - High Energy Bridges`,
+        bridges: [`quantum`, `condensed`],
+        status: 'established',
+        context: `A one-dimensional mode of speed v in a length L has density of states L/(h v) per spin, and the flux times v/L cancels to 1/h. Current is spin · e · (Σ T_n) · (1/h) · Δμ with spin = 2 and Δμ = e V, so G = (2 e²/h) Σ T_n. One spin is e²/h. The transmissions and the bias window are hypotheses. Not the Hall conductance and not Landauer erasure.`,
+        formula_latex: `G = \\frac{2 e^2}{h} \\sum_n T_n`,
+        source_part: 'III',
+        source_section: `Condensed-matter catalog (be-102) — established textbook relation, PhysJS.LandauerConductance.conductance_eq`,
+        known_issues: [],
+        references: [
+            `The transmissions and the bias window are the hypotheses of PhysJS.LandauerConductance.conductance_eq. e is the elementary charge. Spin is 2.`,
+        ],
+        dependencies: [],
+        dimensional_signature: `[L^-2 M^-1 T^3 I^2]`,
+        tractability_class: 'closed-form',
+        notes: `Closed-form evaluator evaluateLandauerConductance({sum_Tn}) → {G_S} in src/bridges/be102-landauer-conductance.ts. e is E_SI. The overlay formalRef is PhysJS.LandauerConductance.conductance_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not be-55 and not be-16. No confrontation.`,
     }
 ];
 // ---------------------------------------------------------------------------
@@ -2707,6 +3227,8 @@ export { evaluateTolmanEhrenfest, tolmanTemperatureAt, } from './be68-tolman-ehr
 export { evaluateFastMagnetosonic, } from './be69-fast-magnetosonic.js';
 /** Einstein relation `D = μ k_B T / q`. */
 export { evaluateEinsteinRelation, } from './be70-einstein-relation.js';
+/** Opposite signs of carrier charge and mobility on a positive transport product. */
+export { CarrierSignError } from './carrier-sign.js';
 /** Clapeyron slope `dP/dT = L/(T Δv)`. */
 export { evaluateClapeyron, } from './be71-clapeyron.js';
 /** Gravitational frequency ratio `ν1/ν2 = √(g2/g1)`. Not BE-68. */
@@ -2719,5 +3241,57 @@ export { evaluateMagneticPressure, } from './be74-magnetic-pressure.js';
 export { evaluateLondonPenetration, } from './be75-london-penetration.js';
 /** Plasma beta `β = n k_B T / p_B`, with `p_B` the BE-74 magnetic pressure. */
 export { evaluatePlasmaBeta, } from './be76-plasma-beta.js';
+/** Hagen–Poiseuille flux `Q = π R⁴ ΔP / (8 μ L)`. Not a square duct. */
+export { evaluateHagenPoiseuille, } from './be77-hagen-poiseuille.js';
+/** Pinned–pinned Euler load `P_cr = π² E I / L²`. */
+export { evaluateEulerBuckling, } from './be78-euler-buckling.js';
+/** Parallel-plate pull-in voltage. The fold is `g = 2 g0/3`. */
+export { evaluatePullIn, } from './be79-pull-in.js';
+/** Mott–Gurney current `J = (9/8) ε μ V² / d³`. Not Child–Langmuir. */
+export { evaluateMottGurney, } from './be80-mott-gurney.js';
+/** Child–Langmuir current. `e` is the elementary charge. */
+export { evaluateChildLangmuir, } from './be81-child-langmuir.js';
+/** Shockley diode at ideality 1, `I = I_s (exp(e V/(k_B T)) − 1)`. */
+export { evaluateShockleyDiode, } from './be82-shockley-diode.js';
+/** Thomson coefficient `μ_T = T dS/dT`. Builds on the Kelvin relation. */
+export { evaluateThomsonCoefficient, } from './be83-thomson.js';
+/** Collinear four-point sheet resistance `(π / ln 2) (V/I)`. */
+export { evaluateFourPointSheet, } from './be84-four-point.js';
+/** One-sided shot noise `S_I = 2 e I`. */
+export { evaluateShotNoise, } from './be85-shot-noise.js';
+/** Reynolds analogy `St = C_f / 2` at Pr = 1. */
+export { evaluateReynoldsAnalogy, } from './be86-reynolds-analogy.js';
+/** Capacitor mean square voltage `k_B T / C`. */
+export { evaluateCapacitorNoise, } from './be87-capacitor-noise.js';
+/** Two-spin Fermi wavevector. */
+export { evaluateFermiSea } from './be88-fermi-sea.js';
+/** Debye cutoff of three acoustic branches. */
+export { evaluateDebyeCutoff } from './be89-debye-cutoff.js';
+/** Debye heat capacity. π⁴/15 is assumed. */
+export { evaluateDebyeHeat } from './be90-debye-heat.js';
+/** Einstein solid heat capacity. */
+export { evaluateEinsteinSolid } from './be91-einstein-solid.js';
+/** Sommerfeld electronic heat capacity. */
+export { evaluateSommerfeldHeat } from './be92-sommerfeld-heat.js';
+/** Curie–Weiss susceptibility. */
+export { evaluateCurieWeiss } from './be93-curie-weiss.js';
+/** Pauli paramagnetism. */
+export { evaluatePauliParamagnetism, } from './be94-pauli-paramagnetism.js';
+/** Ginzburg–Landau trial-wall factor. */
+export { evaluateGinzburgLandau } from './be95-ginzburg-landau.js';
+/** Upper critical field of charge 2e. */
+export { evaluateUpperCritical } from './be96-upper-critical.js';
+/** Ambegaokar–Baratoff product at T = 0. */
+export { evaluateAmbegaokarBaratoff, } from './be97-ambegaokar-baratoff.js';
+/** BCS heat-capacity jump. ζ is the quartic coefficient. */
+export { evaluateBcsJump } from './be98-bcs-jump.js';
+/** Mass-action intrinsic density. */
+export { evaluateMassAction } from './be99-mass-action.js';
+/** Lyddane–Sachs–Teller ratio. */
+export { evaluateLyddaneSachsTeller, } from './be100-lyddane-sachs-teller.js';
+/** BKT unbinding temperature from energy and entropy. */
+export { evaluateBktJump } from './be101-bkt-jump.js';
+/** Two-spin Landauer conductance. */
+export { evaluateLandauerConductance, } from './be102-landauer-conductance.js';
 export default BRIDGE_EQUATIONS;
 //# sourceMappingURL=index.js.map