universal-physics-tensor 7.0.0 → 8.0.0

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"}

package/dist/bridges/engineering-r7-catalog.js

@@ -1,172 +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 const ENGINEERING_R7_CATALOG_ROWS = [
-    {
-        id: 126,
-        name: 'Comb-drive lateral force',
-        category: 'D',
-        category_name: 'Field Unification Bridges',
-        bridges: ['electromagnetic', 'mechanical'],
-        status: 'established',
-        context: 'For n fingers, overlap along x, gap g, and thickness h, both sidewalls give C = 2 n ε h x / g. Voltage-controlled coenergy (1/2) C V² has lateral force (1/2) V² dC/dx, so the sidewall 2 and the coenergy 1/2 cancel and F = n ε h V² / g. One sidewall leaves the 1/2. Fringe is neglected and the gap is fixed. Not the normal pull-in of be-79. A comb drive',
-        formula_latex: 'F = n \\varepsilon h V^2 / g',
-        source_part: 'III',
-        source_section: 'Engineering catalog (be-126) — established textbook relation, PhysJS.CombDrive.force_eq',
-        known_issues: [],
-        references: [
-            'Both sidewalls give C = 2 n ε h x / g. The coenergy derivative at fixed voltage is (1/2) V² dC/dx. Not be-79.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[force]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateCombDrive in src/bridges/engineering-r7.ts. The overlay formalRef is PhysJS.CombDrive.force_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 127,
-        name: 'Subthreshold swing',
-        category: 'D',
-        category_name: 'Field Unification Bridges',
-        bridges: ['electromagnetic', 'condensed'],
-        status: 'established',
-        context: 'Weak-inversion current is exponential in the surface potential, and the gate and depletion capacitances divide that potential. One decade of drain current gives S = ln(10) (k_B T / e) (1 + C_d / C_ox), in volts per decade. e is the elementary charge. The ln is the natural logarithm. Dropping C_d is not the swing when C_d ≠ 0. Not the ideal diode of be-82. A MOSFET subthreshold swing',
-        formula_latex: 'S = \\ln(10)\\,(k_B T / e)\\,(1 + C_d / C_{ox})',
-        source_part: 'III',
-        source_section: 'Engineering catalog (be-127) — established textbook relation, PhysJS.SubthresholdSwing.swing_eq',
-        known_issues: [],
-        references: [
-            'Boltzmann electrons, the capacitive divider, and one decade of current are the hypotheses of PhysJS.SubthresholdSwing.swing_eq. e is the elementary charge.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[L^2 M T^-3 I^-1]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateSubthresholdSwing in src/bridges/engineering-r7.ts. The overlay formalRef is PhysJS.SubthresholdSwing.swing_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 128,
-        name: 'Ideal boost ratio',
-        category: 'D',
-        category_name: 'Field Unification Bridges',
-        bridges: ['electromagnetic', 'electrical'],
-        status: 'established',
-        context: 'An ideal boost converter in periodic steady state with continuous inductor current has V_out / V_in = 1 / (1 − D) for D ≠ 1. On, the inductor sees V_in. Off, it sees V_in − V_out. Volt-second balance sets the period average to zero. No real duty equals both this ratio and the buck ratio D. A boost converter',
-        formula_latex: 'V_{out} / V_{in} = 1 / (1 - D)',
-        source_part: 'III',
-        source_section: 'Engineering catalog (be-128) — established textbook relation, PhysJS.BoostConverter.boost_ratio',
-        known_issues: [],
-        references: [
-            'Ideal switches, constant voltages over a period, and current that does not reach zero are the hypotheses of PhysJS.BoostConverter.boost_ratio.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[1]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateBoostConverter in src/bridges/engineering-r7.ts. The overlay formalRef is PhysJS.BoostConverter.boost_ratio, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 129,
-        name: 'Straight-fin efficiency',
-        category: 'D',
-        category_name: 'Field Unification Bridges',
-        bridges: ['thermal', 'mechanical'],
-        status: 'established',
-        context: 'The steady fin equation is θ\'\' = m² θ with m² = h P / (k A). A rectangle with w ≫ t has P/A = 2/t, so m = √(2 h / (k t)). An adiabatic tip and an imposed base temperature give η = tanh(m L) / (m L). One face is not that m. tanh is not 1, so this is not an infinite fin. Fin efficiency',
-        formula_latex: 'm = \\sqrt{2 h / (k t)},\\quad \\eta = \\tanh(m L) / (m L)',
-        source_part: 'III',
-        source_section: 'Engineering catalog (be-129) — established textbook relation, PhysJS.FinEfficiency.efficiency_eq',
-        known_issues: [],
-        references: [
-            'The fin equation, the adiabatic tip, and P/A = 2/t are the hypotheses of PhysJS.FinEfficiency.efficiency_eq.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[1]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateFinEfficiency in src/bridges/engineering-r7.ts. The edge value is η. m is on the same result and is not a second edge. The overlay formalRef is PhysJS.FinEfficiency.efficiency_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 130,
-        name: 'Thermoelectric generator efficiency',
-        category: 'D',
-        category_name: 'Field Unification Bridges',
-        bridges: ['thermal', 'electromagnetic'],
-        status: 'established',
-        context: 'At the current that maximizes efficiency, η = (1 − T_c/T_h) (√(1 + Z T_m) − 1) / (√(1 + Z T_m) + T_c/T_h), with Z = S² / (R K) and T_m = (T_h + T_c) / 2. The hot-junction heat splits Joule heating in half. Matched load m = 1 is not stationary when Z T_m ≠ 0. The Carnot factor alone is not this efficiency. Thermoelectric generator efficiency. Figure of merit',
-        formula_latex: '\\eta = (1 - T_c/T_h) (\\sqrt{1 + Z T_m} - 1) / (\\sqrt{1 + Z T_m} + T_c/T_h)',
-        source_part: 'III',
-        source_section: 'Engineering catalog (be-130) — established textbook relation, PhysJS.ThermoelectricGenerator.efficiency_eq',
-        known_issues: [],
-        references: [
-            'Constant properties, the split of Joule heat, and dη/dI = 0 are the hypotheses of PhysJS.ThermoelectricGenerator.efficiency_eq.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[1]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateThermoelectricGenerator in src/bridges/engineering-r7.ts. The overlay formalRef is PhysJS.ThermoelectricGenerator.efficiency_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. Not Carnot alone. No confrontation.',
-    },
-    {
-        id: 131,
-        name: 'Joukowsky pressure',
-        category: 'D',
-        category_name: 'Field Unification Bridges',
-        bridges: ['fluid', 'mechanical'],
-        status: 'established',
-        context: 'A sudden closure gives Δp = ρ c Δv. For a thin elastic pipe the wave speed is c = √(K/ρ) / √(1 + (K/E)(D/e_wall)), with K the fluid bulk modulus, E the wall modulus, D the diameter, and e_wall the wall thickness. ρ (Δv)² is not ρ c Δv when c ≠ Δv. Dropping the wall term is the rigid-pipe speed. Joukowsky. Water hammer',
-        formula_latex: '\\Delta p = \\rho c \\Delta v,\\quad c = \\sqrt{K/\\rho} / \\sqrt{1 + (K/E)(D/e_{wall})}',
-        source_part: 'III',
-        source_section: 'Engineering catalog (be-131) — established textbook relation, PhysJS.Joukowsky.joukowsky_eq',
-        known_issues: [],
-        references: [
-            'The momentum jump and the thin-wall closure are the hypotheses of PhysJS.Joukowsky.joukowsky_eq. Mass on the front is not required for the pressure.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[L^-1 M T^-2]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateJoukowsky in src/bridges/engineering-r7.ts. The edge value is Δp. The thin-wall speed is on the same result and is not a second edge. The overlay formalRef is PhysJS.Joukowsky.joukowsky_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 132,
-        name: 'Coaxial capacitance per length',
-        category: 'D',
-        category_name: 'Field Unification Bridges',
-        bridges: ['electromagnetic', 'electrical'],
-        status: 'established',
-        context: 'A long coaxial pair, inner radius a, outer radius b, and insulator permittivity ε, has C\' = 2 π ε / ln(b/a). Gauss\'s law gives the radial field, and the potential is the integral of 1/r. End fringe is neglected. Dropping 2 π is not this capacitance. Not a parallel-plate ε A/d. Coaxial. Coax',
-        formula_latex: 'C\' = 2 \\pi \\varepsilon / \\ln(b/a)',
-        source_part: 'III',
-        source_section: 'Engineering catalog (be-132) — established textbook relation, PhysJS.CoaxialCapacitance.capacitance_per_length',
-        known_issues: [],
-        references: [
-            'The cylindrical field and C\' = λ/ΔV are the hypotheses of PhysJS.CoaxialCapacitance.capacitance_per_length.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[L^-3 M^-1 T^4 I^2]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateCoaxialCapacitance in src/bridges/engineering-r7.ts. The overlay formalRef is PhysJS.CoaxialCapacitance.capacitance_per_length, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 133,
-        name: 'Damping ratio',
-        category: 'D',
-        category_name: 'Field Unification Bridges',
-        bridges: ['mechanical', 'dynamical'],
-        status: 'established',
-        context: 'For m ẍ + c ẋ + k x = 0, ζ = c / (2 √(k m)). The characteristic polynomial is s² + (c/m) s + k/m. The 2 is the binomial coefficient in 2 ζ ω with ω = √(k/m). For c ≥ 0 a zero discriminant is ζ = 1, so c_crit = 2 √(k m). Dropping the 2 is not this ratio. √(k/m) is not ζ. Damping ratio',
-        formula_latex: '\\zeta = c / (2 \\sqrt{k m})',
-        source_part: 'III',
-        source_section: 'Engineering catalog (be-133) — established textbook relation, PhysJS.DampingRatio.damping_ratio',
-        known_issues: [],
-        references: [
-            'Constant coefficients and c/m = 2 ζ ω are the hypotheses of PhysJS.DampingRatio.damping_ratio.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[1]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateDampingRatio in src/bridges/engineering-r7.ts. The overlay formalRef is PhysJS.DampingRatio.damping_ratio, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-];
-//# sourceMappingURL=engineering-r7-catalog.js.map

package/dist/bridges/engineering-r7-catalog.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"engineering-r7-catalog.js","sourceRoot":"","sources":["../../src/bridges/engineering-r7-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,6CAA6C;AAC7C,MAAM,CAAC,MAAM,2BAA2B,GAAG;IACzC;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,0BAA0B;QAChC,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,2BAA2B;QAC1C,OAAO,EAAE,CAAC,iBAAiB,EAAE,YAAY,CAAqB;QAC9D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,kWAAkW;QACpW,aAAa,EAAE,8BAA8B;QAC7C,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,yFAAyF;QACzG,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,+GAA+G;SAChH;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,SAAS;QAChC,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,4RAA4R;KACpS;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,oBAAoB;QAC1B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,2BAA2B;QAC1C,OAAO,EAAE,CAAC,iBAAiB,EAAE,WAAW,CAAqB;QAC7D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,mYAAmY;QACrY,aAAa,EAAE,iDAAiD;QAChE,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,iGAAiG;QACjH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,6JAA6J;SAC9J;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,mBAAmB;QAC1C,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,4SAA4S;KACpT;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,mBAAmB;QACzB,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,2BAA2B;QAC1C,OAAO,EAAE,CAAC,iBAAiB,EAAE,YAAY,CAAqB;QAC9D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,sTAAsT;QACxT,aAAa,EAAE,gCAAgC;QAC/C,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,iGAAiG;QACjH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,gJAAgJ;SACjJ;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,KAAK;QAC5B,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,ySAAyS;KACjT;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,yBAAyB;QAC/B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,2BAA2B;QAC1C,OAAO,EAAE,CAAC,SAAS,EAAE,YAAY,CAAqB;QACtD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,gSAAgS;QAClS,aAAa,EAAE,4DAA4D;QAC3E,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,kGAAkG;QAClH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,8GAA8G;SAC/G;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,KAAK;QAC5B,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,gXAAgX;KACxX;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,qCAAqC;QAC3C,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,2BAA2B;QAC1C,OAAO,EAAE,CAAC,SAAS,EAAE,iBAAiB,CAAqB;QAC3D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,yWAAyW;QAC3W,aAAa,EACX,+EAA+E;QACjF,WAAW,EAAE,KAAc;QAC3B,cAAc,EACZ,4GAA4G;QAC9G,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,iIAAiI;SAClI;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,KAAK;QAC5B,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,+UAA+U;KACvV;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,oBAAoB;QAC1B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,2BAA2B;QAC1C,OAAO,EAAE,CAAC,OAAO,EAAE,YAAY,CAAqB;QACpD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,iUAAiU;QACnU,aAAa,EACX,0FAA0F;QAC5F,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,6FAA6F;QAC7G,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,sJAAsJ;SACvJ;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,eAAe;QACtC,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,0XAA0X;KAClY;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,gCAAgC;QACtC,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,2BAA2B;QAC1C,OAAO,EAAE,CAAC,iBAAiB,EAAE,YAAY,CAAqB;QAC9D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,uSAAuS;QACzS,aAAa,EAAE,uCAAuC;QACtD,WAAW,EAAE,KAAc;QAC3B,cAAc,EACZ,gHAAgH;QAClH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,8GAA8G;SAC/G;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,qBAAqB;QAC5C,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,4TAA4T;KACpU;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,eAAe;QACrB,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,2BAA2B;QAC1C,OAAO,EAAE,CAAC,YAAY,EAAE,WAAW,CAAqB;QACxD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,gSAAgS;QAClS,aAAa,EAAE,8BAA8B;QAC7C,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,iGAAiG;QACjH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,gGAAgG;SACjG;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,KAAK;QAC5B,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,uSAAuS;KAC/S;CACF,CAAC"}