universal-physics-tensor 7.0.0 → 8.0.0

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

@@ -1,152 +0,0 @@
-/** Comb-drive inputs. Both sidewalls, gap fixed. @public */
-export interface CombDriveInputs {
-    readonly n: number;
-    readonly eps_F_per_m: number;
-    readonly h_m: number;
-    readonly V_volts: number;
-    readonly g_m: number;
-}
-/** Comb-drive force. @public */
-export interface CombDriveResult {
-    readonly F_N: number;
-}
-/**
- * Lateral force `F = n ε h V² / g`. The sidewall 2 and the coenergy 1/2 cancel.
- * @public
- */
-export declare function evaluateCombDrive({ n, eps_F_per_m, h_m, V_volts, g_m }: CombDriveInputs): CombDriveResult;
-/**
- * One sidewall keeps the coenergy 1/2. Not the catalog force.
- * @internal
- */
-export declare function combDriveOneSidewall(input: CombDriveInputs): number;
-/** Subthreshold-swing inputs. `e` is not an input. @public */
-export interface SubthresholdSwingInputs {
-    readonly T_K: number;
-    readonly Cd_F: number;
-    readonly Cox_F: number;
-}
-/** Subthreshold swing, volts per decade. @public */
-export interface SubthresholdSwingResult {
-    readonly S_V_per_decade: number;
-}
-/**
- * `S = ln(10) (k_B T / e) (1 + C_d / C_ox)`.
- * @public
- */
-export declare function evaluateSubthresholdSwing({ T_K, Cd_F, Cox_F, }: SubthresholdSwingInputs): SubthresholdSwingResult;
-/**
- * The ideal swing drops `C_d`. Not the catalog swing when `C_d ≠ 0`.
- * @internal
- */
-export declare function subthresholdIdealSwing(T_K: number): number;
-/** Boost-converter inputs. @public */
-export interface BoostConverterInputs {
-    readonly D: number;
-}
-/** Boost voltage ratio. @public */
-export interface BoostConverterResult {
-    readonly ratio: number;
-}
-/**
- * `V_out / V_in = 1 / (1 − D)` for `D ≠ 1`.
- * @public
- */
-export declare function evaluateBoostConverter({ D }: BoostConverterInputs): BoostConverterResult;
-/** Fin inputs. Rectangular cross-section, adiabatic tip. @public */
-export interface FinEfficiencyInputs {
-    readonly h_W_per_m2_K: number;
-    readonly k_W_per_m_K: number;
-    readonly t_m: number;
-    readonly L_fin_m: number;
-}
-/** Fin parameter and adiabatic-tip efficiency. @public */
-export interface FinEfficiencyResult {
-    readonly m_per_m: number;
-    readonly eta: number;
-}
-/**
- * `m = √(2 h / (k t))` and `η = tanh(m L) / (m L)`.
- * @public
- */
-export declare function evaluateFinEfficiency({ h_W_per_m2_K, k_W_per_m_K, t_m, L_fin_m, }: FinEfficiencyInputs): FinEfficiencyResult;
-/** One face, `P/A = 1/t`. Not the catalog `m`. @internal */
-export declare function finOneFaceParameter(h: number, k: number, t: number): number;
-/** Infinite-fin `1/(m L)`. Not the adiabatic efficiency. @internal */
-export declare function finInfiniteEfficiency(input: FinEfficiencyInputs): number;
-/** Thermoelectric-generator inputs. `Z` is `S²/(R K)`, per kelvin. @public */
-export interface ThermoelectricGeneratorInputs {
-    readonly Th_K: number;
-    readonly Tc_K: number;
-    readonly Z_per_K: number;
-}
-/** Optimum generator efficiency. @public */
-export interface ThermoelectricGeneratorResult {
-    readonly eta: number;
-}
-/**
- * `η = (1 − T_c/T_h) (√(1 + Z T_m) − 1) / (√(1 + Z T_m) + T_c/T_h)`,
- * with `T_m = (T_h + T_c) / 2`.
- * @public
- */
-export declare function evaluateThermoelectricGenerator({ Th_K, Tc_K, Z_per_K, }: ThermoelectricGeneratorInputs): ThermoelectricGeneratorResult;
-/** Carnot factor alone. Not the generator efficiency. @internal */
-export declare function carnotFactor(Th_K: number, Tc_K: number): number;
-/** Joukowsky inputs. `e_wall` is the wall thickness. @public */
-export interface JoukowskyInputs {
-    readonly rho_kg_per_m3: number;
-    readonly dv_m_per_s: number;
-    readonly K_Pa: number;
-    readonly E_Pa: number;
-    readonly pipe_D_m: number;
-    readonly wall_m: number;
-}
-/** Joukowsky pressure and the thin-wall speed. @public */
-export interface JoukowskyResult {
-    readonly c_m_per_s: number;
-    readonly delta_p_Pa: number;
-}
-/**
- * `c = √(K/ρ) / √(1 + (K/E)(D/e_wall))` and `Δp = ρ c Δv`.
- * @public
- */
-export declare function evaluateJoukowsky({ rho_kg_per_m3, dv_m_per_s, K_Pa, E_Pa, pipe_D_m, wall_m, }: JoukowskyInputs): JoukowskyResult;
-/** `ρ (Δv)²`. Not the Joukowsky pressure when `c ≠ Δv`. @internal */
-export declare function joukowskyDynamicPressure(rho_kg_per_m3: number, dv_m_per_s: number): number;
-/** Rigid-wall `√(K/ρ)`. Not the thin-wall speed. @internal */
-export declare function joukowskyRigidSpeed(K_Pa: number, rho_kg_per_m3: number): number;
-/** Coaxial-capacitance inputs. @public */
-export interface CoaxialCapacitanceInputs {
-    readonly eps_F_per_m: number;
-    readonly a_m: number;
-    readonly b_m: number;
-}
-/** Capacitance per length. @public */
-export interface CoaxialCapacitanceResult {
-    readonly C_F_per_m: number;
-}
-/**
- * `C' = 2 π ε / ln(b/a)`.
- * @public
- */
-export declare function evaluateCoaxialCapacitance({ eps_F_per_m, a_m, b_m, }: CoaxialCapacitanceInputs): CoaxialCapacitanceResult;
-/** `ε / ln(b/a)`. Drops `2 π`. @internal */
-export declare function coaxialWithoutTwoPi(input: CoaxialCapacitanceInputs): number;
-/** Damping-ratio inputs. @public */
-export interface DampingRatioInputs {
-    readonly c_kg_per_s: number;
-    readonly k_N_per_m: number;
-    readonly m_kg: number;
-}
-/** Damping ratio of `m ẍ + c ẋ + k x = 0`. @public */
-export interface DampingRatioResult {
-    readonly zeta: number;
-}
-/**
- * `ζ = c / (2 √(k m))`.
- * @public
- */
-export declare function evaluateDampingRatio({ c_kg_per_s, k_N_per_m, m_kg }: DampingRatioInputs): DampingRatioResult;
-/** Drops the binomial 2. Not the catalog ratio when `c ≠ 0`. @internal */
-export declare function dampingWithoutTwo(input: DampingRatioInputs): number;
-//# sourceMappingURL=engineering-r7.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"engineering-r7.d.ts","sourceRoot":"","sources":["../../src/bridges/engineering-r7.ts"],"names":[],"mappings":"AAeA,4DAA4D;AAC5D,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AACD,gCAAgC;AAChC,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,eAAe,GAAG,eAAe,CAQzG;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAEnE;AAED,8DAA8D;AAC9D,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AACD,oDAAoD;AACpD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CAAC,EACxC,GAAG,EACH,IAAI,EACJ,KAAK,GACN,EAAE,uBAAuB,GAAG,uBAAuB,CASnD;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAI1D;AAED,sCAAsC;AACtC,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB;AACD,mCAAmC;AACnC,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,EAAE,CAAC,EAAE,EAAE,oBAAoB,GAAG,oBAAoB,CAIxF;AAED,oEAAoE;AACpE,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AACD,0DAA0D;AAC1D,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,EACpC,YAAY,EACZ,WAAW,EACX,GAAG,EACH,OAAO,GACR,EAAE,mBAAmB,GAAG,mBAAmB,CAa3C;AAED,4DAA4D;AAC5D,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAE3E;AAED,sEAAsE;AACtE,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAKxE;AAED,8EAA8E;AAC9E,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AACD,4CAA4C;AAC5C,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,+BAA+B,CAAC,EAC9C,IAAI,EACJ,IAAI,EACJ,OAAO,GACR,EAAE,6BAA6B,GAAG,6BAA6B,CAY/D;AAED,mEAAmE;AACnE,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAG/D;AAED,gEAAgE;AAChE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AACD,0DAA0D;AAC1D,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,EAChC,aAAa,EACb,UAAU,EACV,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,MAAM,GACP,EAAE,eAAe,GAAG,eAAe,CAenC;AAED,qEAAqE;AACrE,wBAAgB,wBAAwB,CAAC,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAE1F;AAED,8DAA8D;AAC9D,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,GAAG,MAAM,CAE/E;AAED,0CAA0C;AAC1C,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AACD,sCAAsC;AACtC,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CAAC,EACzC,WAAW,EACX,GAAG,EACH,GAAG,GACJ,EAAE,wBAAwB,GAAG,wBAAwB,CASrD;AAED,4CAA4C;AAC5C,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,wBAAwB,GAAG,MAAM,CAE3E;AAED,oCAAoC;AACpC,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AACD,wDAAwD;AACxD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,kBAAkB,GAAG,kBAAkB,CAO5G;AAED,0EAA0E;AAC1E,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAEnE"}

package/dist/bridges/engineering-r7.js

@@ -1,208 +0,0 @@
-/**
- * BE-126 through BE-133 — engineering closed forms.
- *
- * Each function is the numeric body for that catalog id. `e` is the
- * elementary charge. Euler's number is not used. A dropped factor is a
- * separate function and is not the catalog value.
- *
- * @module bridges/engineering-r7
- */
-import { E_SI, K_B_SI } from '../core/constants.js';
-function finite(name, value) {
-    if (!Number.isFinite(value))
-        throw new Error(`${name} must be finite`);
-}
-/**
- * Lateral force `F = n ε h V² / g`. The sidewall 2 and the coenergy 1/2 cancel.
- * @public
- */
-export function evaluateCombDrive({ n, eps_F_per_m, h_m, V_volts, g_m }) {
-    finite('n', n);
-    finite('eps_F_per_m', eps_F_per_m);
-    finite('h_m', h_m);
-    finite('V_volts', V_volts);
-    finite('g_m', g_m);
-    if (g_m === 0)
-        throw new Error('evaluateCombDrive: g_m must be nonzero');
-    return { F_N: (n * eps_F_per_m * h_m * V_volts * V_volts) / g_m };
-}
-/**
- * One sidewall keeps the coenergy 1/2. Not the catalog force.
- * @internal
- */
-export function combDriveOneSidewall(input) {
-    return evaluateCombDrive(input).F_N / 2;
-}
-/**
- * `S = ln(10) (k_B T / e) (1 + C_d / C_ox)`.
- * @public
- */
-export function evaluateSubthresholdSwing({ T_K, Cd_F, Cox_F, }) {
-    finite('T_K', T_K);
-    finite('Cd_F', Cd_F);
-    finite('Cox_F', Cox_F);
-    if (T_K === 0)
-        throw new Error('evaluateSubthresholdSwing: T_K must be nonzero');
-    if (Cox_F === 0)
-        throw new Error('evaluateSubthresholdSwing: Cox_F must be nonzero');
-    if (Cox_F + Cd_F === 0)
-        throw new Error('evaluateSubthresholdSwing: Cox_F + Cd_F must be nonzero');
-    const ideal = Math.log(10) * ((K_B_SI * T_K) / E_SI);
-    return { S_V_per_decade: ideal * (1 + Cd_F / Cox_F) };
-}
-/**
- * The ideal swing drops `C_d`. Not the catalog swing when `C_d ≠ 0`.
- * @internal
- */
-export function subthresholdIdealSwing(T_K) {
-    finite('T_K', T_K);
-    if (T_K === 0)
-        throw new Error('subthresholdIdealSwing: T_K must be nonzero');
-    return Math.log(10) * ((K_B_SI * T_K) / E_SI);
-}
-/**
- * `V_out / V_in = 1 / (1 − D)` for `D ≠ 1`.
- * @public
- */
-export function evaluateBoostConverter({ D }) {
-    finite('D', D);
-    if (D === 1)
-        throw new Error('evaluateBoostConverter: D must not be 1');
-    return { ratio: 1 / (1 - D) };
-}
-/**
- * `m = √(2 h / (k t))` and `η = tanh(m L) / (m L)`.
- * @public
- */
-export function evaluateFinEfficiency({ h_W_per_m2_K, k_W_per_m_K, t_m, L_fin_m, }) {
-    finite('h_W_per_m2_K', h_W_per_m2_K);
-    finite('k_W_per_m_K', k_W_per_m_K);
-    finite('t_m', t_m);
-    finite('L_fin_m', L_fin_m);
-    if (k_W_per_m_K <= 0)
-        throw new Error('evaluateFinEfficiency: k_W_per_m_K must be positive');
-    if (t_m <= 0)
-        throw new Error('evaluateFinEfficiency: t_m must be positive');
-    if (h_W_per_m2_K < 0)
-        throw new Error('evaluateFinEfficiency: h_W_per_m2_K must be ≥ 0');
-    if (L_fin_m === 0)
-        throw new Error('evaluateFinEfficiency: L_fin_m must be nonzero');
-    const m = Math.sqrt((2 * h_W_per_m2_K) / (k_W_per_m_K * t_m));
-    if (m === 0)
-        throw new Error('evaluateFinEfficiency: m must be nonzero');
-    const mL = m * L_fin_m;
-    return { m_per_m: m, eta: Math.tanh(mL) / mL };
-}
-/** One face, `P/A = 1/t`. Not the catalog `m`. @internal */
-export function finOneFaceParameter(h, k, t) {
-    return Math.sqrt(h / (k * t));
-}
-/** Infinite-fin `1/(m L)`. Not the adiabatic efficiency. @internal */
-export function finInfiniteEfficiency(input) {
-    const { m_per_m, eta } = evaluateFinEfficiency(input);
-    const mL = m_per_m * input.L_fin_m;
-    if (eta === 1 / mL)
-        throw new Error('finInfiniteEfficiency: tanh was 1');
-    return 1 / mL;
-}
-/**
- * `η = (1 − T_c/T_h) (√(1 + Z T_m) − 1) / (√(1 + Z T_m) + T_c/T_h)`,
- * with `T_m = (T_h + T_c) / 2`.
- * @public
- */
-export function evaluateThermoelectricGenerator({ Th_K, Tc_K, Z_per_K, }) {
-    finite('Th_K', Th_K);
-    finite('Tc_K', Tc_K);
-    finite('Z_per_K', Z_per_K);
-    if (Th_K === 0)
-        throw new Error('evaluateThermoelectricGenerator: Th_K must be nonzero');
-    const mean = (Th_K + Tc_K) / 2;
-    const inside = 1 + Z_per_K * mean;
-    if (inside < 0)
-        throw new Error('evaluateThermoelectricGenerator: 1 + Z T_m must be ≥ 0');
-    const m = Math.sqrt(inside);
-    const denom = m + Tc_K / Th_K;
-    if (denom === 0)
-        throw new Error('evaluateThermoelectricGenerator: m + T_c/T_h must be nonzero');
-    return { eta: (1 - Tc_K / Th_K) * (m - 1) / denom };
-}
-/** Carnot factor alone. Not the generator efficiency. @internal */
-export function carnotFactor(Th_K, Tc_K) {
-    if (Th_K === 0)
-        throw new Error('carnotFactor: Th_K must be nonzero');
-    return 1 - Tc_K / Th_K;
-}
-/**
- * `c = √(K/ρ) / √(1 + (K/E)(D/e_wall))` and `Δp = ρ c Δv`.
- * @public
- */
-export function evaluateJoukowsky({ rho_kg_per_m3, dv_m_per_s, K_Pa, E_Pa, pipe_D_m, wall_m, }) {
-    finite('rho_kg_per_m3', rho_kg_per_m3);
-    finite('dv_m_per_s', dv_m_per_s);
-    finite('K_Pa', K_Pa);
-    finite('E_Pa', E_Pa);
-    finite('pipe_D_m', pipe_D_m);
-    finite('wall_m', wall_m);
-    if (rho_kg_per_m3 <= 0)
-        throw new Error('evaluateJoukowsky: rho_kg_per_m3 must be positive');
-    if (K_Pa <= 0)
-        throw new Error('evaluateJoukowsky: K_Pa must be positive');
-    if (E_Pa <= 0)
-        throw new Error('evaluateJoukowsky: E_Pa must be positive');
-    if (wall_m <= 0)
-        throw new Error('evaluateJoukowsky: wall_m must be positive');
-    const wallTerm = (K_Pa / E_Pa) * (pipe_D_m / wall_m);
-    if (!(1 + wallTerm > 0))
-        throw new Error('evaluateJoukowsky: 1 + (K/E)(D/e_wall) must be positive');
-    const c = Math.sqrt(K_Pa / rho_kg_per_m3) / Math.sqrt(1 + wallTerm);
-    return { c_m_per_s: c, delta_p_Pa: rho_kg_per_m3 * c * dv_m_per_s };
-}
-/** `ρ (Δv)²`. Not the Joukowsky pressure when `c ≠ Δv`. @internal */
-export function joukowskyDynamicPressure(rho_kg_per_m3, dv_m_per_s) {
-    return rho_kg_per_m3 * dv_m_per_s * dv_m_per_s;
-}
-/** Rigid-wall `√(K/ρ)`. Not the thin-wall speed. @internal */
-export function joukowskyRigidSpeed(K_Pa, rho_kg_per_m3) {
-    return Math.sqrt(K_Pa / rho_kg_per_m3);
-}
-/**
- * `C' = 2 π ε / ln(b/a)`.
- * @public
- */
-export function evaluateCoaxialCapacitance({ eps_F_per_m, a_m, b_m, }) {
-    finite('eps_F_per_m', eps_F_per_m);
-    finite('a_m', a_m);
-    finite('b_m', b_m);
-    if (a_m <= 0)
-        throw new Error('evaluateCoaxialCapacitance: a_m must be positive');
-    if (b_m <= 0)
-        throw new Error('evaluateCoaxialCapacitance: b_m must be positive');
-    if (a_m === b_m)
-        throw new Error('evaluateCoaxialCapacitance: a_m and b_m must differ');
-    if (eps_F_per_m === 0)
-        throw new Error('evaluateCoaxialCapacitance: eps_F_per_m must be nonzero');
-    return { C_F_per_m: (2 * Math.PI * eps_F_per_m) / Math.log(b_m / a_m) };
-}
-/** `ε / ln(b/a)`. Drops `2 π`. @internal */
-export function coaxialWithoutTwoPi(input) {
-    return evaluateCoaxialCapacitance(input).C_F_per_m / (2 * Math.PI);
-}
-/**
- * `ζ = c / (2 √(k m))`.
- * @public
- */
-export function evaluateDampingRatio({ c_kg_per_s, k_N_per_m, m_kg }) {
-    finite('c_kg_per_s', c_kg_per_s);
-    finite('k_N_per_m', k_N_per_m);
-    finite('m_kg', m_kg);
-    if (m_kg <= 0)
-        throw new Error('evaluateDampingRatio: m_kg must be positive');
-    if (k_N_per_m <= 0)
-        throw new Error('evaluateDampingRatio: k_N_per_m must be positive');
-    return { zeta: c_kg_per_s / (2 * Math.sqrt(k_N_per_m * m_kg)) };
-}
-/** Drops the binomial 2. Not the catalog ratio when `c ≠ 0`. @internal */
-export function dampingWithoutTwo(input) {
-    return evaluateDampingRatio(input).zeta * 2;
-}
-//# sourceMappingURL=engineering-r7.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"engineering-r7.js","sourceRoot":"","sources":["../../src/bridges/engineering-r7.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAEpD,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;AAeD;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAmB;IACtF,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACf,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;IACnC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnB,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3B,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnB,IAAI,GAAG,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IACzE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,WAAW,GAAG,GAAG,GAAG,OAAO,GAAG,OAAO,CAAC,GAAG,GAAG,EAAE,CAAC;AACpE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAsB;IACzD,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;AAC1C,CAAC;AAaD;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CAAC,EACxC,GAAG,EACH,IAAI,EACJ,KAAK,GACmB;IACxB,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnB,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrB,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACvB,IAAI,GAAG,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACjF,IAAI,KAAK,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACrF,IAAI,KAAK,GAAG,IAAI,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IACnG,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IACrD,OAAO,EAAE,cAAc,EAAE,KAAK,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;AACxD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,GAAW;IAChD,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnB,IAAI,GAAG,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IAC9E,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;AAChD,CAAC;AAWD;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,EAAE,CAAC,EAAwB;IAChE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACf,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACxE,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;AAChC,CAAC;AAeD;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,EACpC,YAAY,EACZ,WAAW,EACX,GAAG,EACH,OAAO,GACa;IACpB,MAAM,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;IACrC,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;IACnC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnB,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3B,IAAI,WAAW,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IAC7F,IAAI,GAAG,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IAC7E,IAAI,YAAY,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACzF,IAAI,OAAO,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACrF,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,WAAW,GAAG,GAAG,CAAC,CAAC,CAAC;IAC9D,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IACzE,MAAM,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC;IACvB,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC;AACjD,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,mBAAmB,CAAC,CAAS,EAAE,CAAS,EAAE,CAAS;IACjE,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAChC,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IACtD,MAAM,EAAE,GAAG,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IACnC,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACzE,OAAO,CAAC,GAAG,EAAE,CAAC;AAChB,CAAC;AAaD;;;;GAIG;AACH,MAAM,UAAU,+BAA+B,CAAC,EAC9C,IAAI,EACJ,IAAI,EACJ,OAAO,GACuB;IAC9B,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrB,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrB,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3B,IAAI,IAAI,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IACzF,MAAM,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,GAAG,IAAI,CAAC;IAClC,IAAI,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC1F,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;IAC9B,IAAI,KAAK,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;IACjG,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC;AACtD,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,IAAY;IACrD,IAAI,IAAI,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACtE,OAAO,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AACzB,CAAC;AAiBD;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,EAChC,aAAa,EACb,UAAU,EACV,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,MAAM,GACU;IAChB,MAAM,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;IACvC,MAAM,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;IACjC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrB,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrB,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC7B,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACzB,IAAI,aAAa,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IAC7F,IAAI,IAAI,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC3E,IAAI,IAAI,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC3E,IAAI,MAAM,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,MAAM,CAAC,CAAC;IACrD,IAAI,CAAC,CAAC,CAAC,GAAG,QAAQ,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IACpG,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC;IACpE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,aAAa,GAAG,CAAC,GAAG,UAAU,EAAE,CAAC;AACtE,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,wBAAwB,CAAC,aAAqB,EAAE,UAAkB;IAChF,OAAO,aAAa,GAAG,UAAU,GAAG,UAAU,CAAC;AACjD,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,mBAAmB,CAAC,IAAY,EAAE,aAAqB;IACrE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC,CAAC;AACzC,CAAC;AAaD;;;GAGG;AACH,MAAM,UAAU,0BAA0B,CAAC,EACzC,WAAW,EACX,GAAG,EACH,GAAG,GACsB;IACzB,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;IACnC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnB,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACnB,IAAI,GAAG,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IAClF,IAAI,GAAG,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IAClF,IAAI,GAAG,KAAK,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACxF,IAAI,WAAW,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAClG,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,WAAW,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC;AAC1E,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,mBAAmB,CAAC,KAA+B;IACjE,OAAO,0BAA0B,CAAC,KAAK,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;AACrE,CAAC;AAaD;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAsB;IACtF,MAAM,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;IACjC,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;IAC/B,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrB,IAAI,IAAI,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IAC9E,IAAI,SAAS,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACxF,OAAO,EAAE,IAAI,EAAE,UAAU,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC;AAClE,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,iBAAiB,CAAC,KAAyB;IACzD,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;AAC9C,CAAC"}

package/dist/bridges/equations/_be-helpers.d.ts

@@ -1,80 +0,0 @@
-/**
- * Shared helpers for the 43 BE-NN bridge-equation modules in
- * `src/bridges/equations/`. Three behaviour-preserving extractions
- * (v0.7.1 Phase 3 — simplifiers S-1, S-2, S-3):
- *
- *   - `validateFiniteInputs(input, fieldSpecs, evaluatorName)` —
- *     replaces the per-evaluator `Number.isFinite(x) || x <= 0`
- *     boilerplate. ~150 input guards collapse to a single
- *     declarative call per evaluator.
- *
- *   - `validateBEDimensions(lhs, rhs, equationLabel)` — replaces
- *     the per-bridge `validateBE##Dimensions()` wrapper body
- *     (`validateEquation` + 2× `validate` + result-shape build).
- *
- *   - `sym(name, dim)` — replaces the file-local
- *     `const sym = (name, dim) => ({ kind: 'symbol', name, dim })`
- *     factory literally duplicated in all 43 BE-NN modules.
- *
- * Mirrors the structure + JSDoc style of `field-equation-helpers.ts`
- * (the Phase-0 sibling that did the same job for the field-equation
- * predicate AST nodes). Underscore-prefix on the filename signals
- * "shared by siblings inside this directory; not part of the
- * public surface" — same convention as `tests/bridges/_helpers.ts`.
- *
- * @module bridges/equations/_be-helpers
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-export { validateFiniteInputs, type FieldSpec } from '../../numerical/input-validation.js';
-/**
- * Run `validateEquation(lhs, rhs)` + `validate(lhs)` + `validate(rhs)`
- * and pack the result into the canonical `DimensionValidationReport`
- * shape used by every BE-NN's `validate*Dimensions()` wrapper.
- *
- * The `equationLabel` parameter is currently unused at the message
- * level (the existing wrappers don't surface labels in the report;
- * the report is consumed by the dimensional-signature-catalog round-
- * trip test which only reads `lhsDim` / `rhsDim`). It's accepted so
- * future error-context enrichment can attach the label without a
- * signature break.
- *
- * @param lhs - The bridge's encoded LHS AST.
- * @param rhs - The bridge's encoded RHS AST.
- * @param _equationLabel - Human label (e.g., `'BE37'`); reserved for
- *   future error-message use, and unused today (hence the underscore).
- *
- * @internal
- */
-export declare function validateBEDimensions(lhs: ExprNode, rhs: ExprNode, _equationLabel: string): DimensionValidationReport;
-/**
- * Build a `kind: 'symbol'` AST node with the given name and dimension.
- *
- * Direct replacement for the file-local factory duplicated in all 43
- * BE-NN modules:
- *
- * ```ts
- * const sym = (name: string, dim: Dimension): ExprNode =>
- *   ({ kind: 'symbol', name, dim });
- * ```
- *
- * **Bug-sensitivity note** (v0.7.1 Phase 3 risk surface): a subtle
- * regression here — wrong `kind` discriminator, missing field, type
- * coercion — affects every BE module silently. Behaviour-preserving
- * extraction must produce a node that is `===`-structurally-equal
- * to the pre-extraction literal:
- *
- *   - `kind` is literally the string `'symbol'`
- *   - `name` is the caller's string, unmodified (no trim, no
- *     case-fold, no whitespace check — the existing factory accepts
- *     any string including `''`, `'-1'`, `'8pi'`, `'α'`)
- *   - `dim` is the caller's `Dimension`, by reference (no clone, no
- *     freeze — matches the existing factory's behaviour)
- *   - the returned node is a fresh object on every call (no memo)
- *
- * @param name - Symbol label. Any string (including the empty string).
- * @param dim - The SI dimension of the symbol.
- *
- * @internal
- */
-export { sym } from '../../dimensional/ast-builders.js';
-//# sourceMappingURL=_be-helpers.d.ts.map

package/dist/bridges/equations/_be-helpers.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"_be-helpers.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/_be-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAS1F,OAAO,EAAE,oBAAoB,EAAE,KAAK,SAAS,EAAE,MAAM,qCAAqC,CAAC;AAM3F;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,QAAQ,EACb,GAAG,EAAE,QAAQ,EACb,cAAc,EAAE,MAAM,GACrB,yBAAyB,CAS3B;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAGH,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC"}

package/dist/bridges/equations/_be-helpers.js

@@ -1,103 +0,0 @@
-/**
- * Shared helpers for the 43 BE-NN bridge-equation modules in
- * `src/bridges/equations/`. Three behaviour-preserving extractions
- * (v0.7.1 Phase 3 — simplifiers S-1, S-2, S-3):
- *
- *   - `validateFiniteInputs(input, fieldSpecs, evaluatorName)` —
- *     replaces the per-evaluator `Number.isFinite(x) || x <= 0`
- *     boilerplate. ~150 input guards collapse to a single
- *     declarative call per evaluator.
- *
- *   - `validateBEDimensions(lhs, rhs, equationLabel)` — replaces
- *     the per-bridge `validateBE##Dimensions()` wrapper body
- *     (`validateEquation` + 2× `validate` + result-shape build).
- *
- *   - `sym(name, dim)` — replaces the file-local
- *     `const sym = (name, dim) => ({ kind: 'symbol', name, dim })`
- *     factory literally duplicated in all 43 BE-NN modules.
- *
- * Mirrors the structure + JSDoc style of `field-equation-helpers.ts`
- * (the Phase-0 sibling that did the same job for the field-equation
- * predicate AST nodes). Underscore-prefix on the filename signals
- * "shared by siblings inside this directory; not part of the
- * public surface" — same convention as `tests/bridges/_helpers.ts`.
- *
- * @module bridges/equations/_be-helpers
- */
-import { validate, validateEquation } from '../../dimensional/validator.js';
-// ---------------------------------------------------------------------------
-// Helper 1 — Runtime input validation (S-1)
-// ---------------------------------------------------------------------------
-// `validateFiniteInputs` (+ `FieldSpec`) moved to the dependency-free leaf
-// `numerical/input-validation.ts` so the numerical layer no longer imports
-// upward from `bridges`. Re-exported here so every BE-NN evaluator is unchanged.
-export { validateFiniteInputs } from '../../numerical/input-validation.js';
-// ---------------------------------------------------------------------------
-// Helper 2 — Per-bridge dimensional self-check (S-2)
-// ---------------------------------------------------------------------------
-/**
- * Run `validateEquation(lhs, rhs)` + `validate(lhs)` + `validate(rhs)`
- * and pack the result into the canonical `DimensionValidationReport`
- * shape used by every BE-NN's `validate*Dimensions()` wrapper.
- *
- * The `equationLabel` parameter is currently unused at the message
- * level (the existing wrappers don't surface labels in the report;
- * the report is consumed by the dimensional-signature-catalog round-
- * trip test which only reads `lhsDim` / `rhsDim`). It's accepted so
- * future error-context enrichment can attach the label without a
- * signature break.
- *
- * @param lhs - The bridge's encoded LHS AST.
- * @param rhs - The bridge's encoded RHS AST.
- * @param _equationLabel - Human label (e.g., `'BE37'`); reserved for
- *   future error-message use, and unused today (hence the underscore).
- *
- * @internal
- */
-export function validateBEDimensions(lhs, rhs, _equationLabel) {
-    const eq = validateEquation(lhs, rhs);
-    const lhsR = validate(lhs);
-    const rhsR = validate(rhs);
-    return {
-        ok: eq.ok,
-        lhsDim: lhsR.inferredDimension,
-        rhsDim: rhsR.inferredDimension,
-    };
-}
-// ---------------------------------------------------------------------------
-// Helper 3 — Symbol-node factory (S-3) [bug-sensitive]
-// ---------------------------------------------------------------------------
-/**
- * Build a `kind: 'symbol'` AST node with the given name and dimension.
- *
- * Direct replacement for the file-local factory duplicated in all 43
- * BE-NN modules:
- *
- * ```ts
- * const sym = (name: string, dim: Dimension): ExprNode =>
- *   ({ kind: 'symbol', name, dim });
- * ```
- *
- * **Bug-sensitivity note** (v0.7.1 Phase 3 risk surface): a subtle
- * regression here — wrong `kind` discriminator, missing field, type
- * coercion — affects every BE module silently. Behaviour-preserving
- * extraction must produce a node that is `===`-structurally-equal
- * to the pre-extraction literal:
- *
- *   - `kind` is literally the string `'symbol'`
- *   - `name` is the caller's string, unmodified (no trim, no
- *     case-fold, no whitespace check — the existing factory accepts
- *     any string including `''`, `'-1'`, `'8pi'`, `'α'`)
- *   - `dim` is the caller's `Dimension`, by reference (no clone, no
- *     freeze — matches the existing factory's behaviour)
- *   - the returned node is a fresh object on every call (no memo)
- *
- * @param name - Symbol label. Any string (including the empty string).
- * @param dim - The SI dimension of the symbol.
- *
- * @internal
- */
-// Single source of truth in `dimensional/ast-builders`; re-exported here so the
-// ~55 BE/canonical modules that import `sym` from `_be-helpers` are unchanged.
-export { sym } from '../../dimensional/ast-builders.js';
-//# sourceMappingURL=_be-helpers.js.map

package/dist/bridges/equations/_be-helpers.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"_be-helpers.js","sourceRoot":"","sources":["../../../src/bridges/equations/_be-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAE5E,8EAA8E;AAC9E,4CAA4C;AAC5C,8EAA8E;AAC9E,2EAA2E;AAC3E,2EAA2E;AAC3E,iFAAiF;AACjF,OAAO,EAAE,oBAAoB,EAAkB,MAAM,qCAAqC,CAAC;AAE3F,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,oBAAoB,CAClC,GAAa,EACb,GAAa,EACb,cAAsB;IAEtB,MAAM,EAAE,GAAG,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC3B,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,IAAI,CAAC,iBAAiB;QAC9B,MAAM,EAAE,IAAI,CAAC,iBAAiB;KAC/B,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,uDAAuD;AACvD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,gFAAgF;AAChF,+EAA+E;AAC/E,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC"}

package/dist/bridges/equations/be-11-decoherence-master.d.ts

@@ -1,82 +0,0 @@
-/**
- * Bridge Equation 11 — Decoherence Master Equation (Lindblad form).
- *
- * The bridge entry's main formula is the GKSL/Lindblad master equation
- *
- *   ∂ρ/∂t = -(i/ℏ)[H, ρ]
- *           + Σ_k γ_k(λ) [ L_k ρ L_k† − ½ {L_k† L_k, ρ} ]
- *
- * with the coupling-dependent rate (corrected 2026-05-04, Caldeira-Leggett
- * weak-coupling form)
- *
- *   γ_k(λ) = γ_0 (λ / λ_0)²
- *
- * where γ_0 is a reference rate (s^-1), λ is the system-environment coupling,
- * and λ_0 is a reference coupling chosen so γ_k(λ_0) = γ_0.
- *
- * References:
- *   - Lindblad, Commun. Math. Phys. 48:119 (1976) — Lindblad form.
- *   - Gorini-Kossakowski-Sudarshan, J. Math. Phys. 17:821 (1976) — GKSL.
- *   - Caldeira & Leggett, Physica A 121, 587 (1983) — system-bath model.
- *   - Caldeira & Leggett, Phys. Rev. A 31, 1059 (1985), §III.B — γ ∝ λ².
- *   - Breuer & Petruccione, *The Theory of Open Quantum Systems* (OUP 2002),
- *     §3.6, §4.5 — weak-coupling derivation.
- *
- * Status: established (within open-quantum-systems theory).
- *
- * Honest-claude scope notes:
- *   - The full Lindblad equation cannot be encoded as a typed ExprNode tree
- *     in this MVP: the analyzer tracks only SI dimensions, not operator
- *     algebra, commutators [H,ρ], or anti-commutators {A,B}. Density
- *     matrices ρ and Lindblad operators L_k carry operator structure that
- *     this analyzer is not designed to validate.
- *   - What we DO encode is the (corrected) auxiliary rate function
- *     γ_k(λ) = γ_0 (λ/λ_0)², which is an honest scalar relation in
- *     [frequency] = [T^-1]. This validates that the corrected rate is
- *     dimensionally consistent and gives downstream code a numerical
- *     evaluator.
- *   - Tier 4.5 follow-up (operator-aware ExprNode): would let us encode the
- *     LHS dρ/dt and the unitary-and-dissipator RHS terms; out of scope for
- *     the R0 audit fix.
- *
- * @see docs/specification/Part-I.md ("Bridge Equation 11: Decoherence Master Equation")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 11)
- * @module bridges/equations/be-11-decoherence-master
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * RHS of the corrected Caldeira-Leggett weak-coupling rate as a typed
- * ExprNode tree:  γ_0 * (λ / λ_0)^2.
- *
- * Both λ and λ_0 share the same (unspecified, but identical) dimension, so
- * the ratio is dimensionless; raising to the 2nd power keeps it
- * dimensionless; multiplying by γ_0 (frequency) gives [frequency].
- *
- * We model λ and λ_0 as DIMENSIONLESS in the AST. Physically the user may
- * choose λ to be a dimensionless coupling (most common) or a coupling with
- * its own dimension; either way the *ratio* λ/λ_0 is dimensionless, so the
- * scalar AST encoding faithfully captures the dimensional content.
- */
-export declare const DECOHERENCE_RATE_RHS: ExprNode;
-export interface DecoherenceRateInputs {
-    /** Reference rate γ_0 in inverse seconds (s^-1). Must be ≥ 0. */
-    gamma0_per_s: number;
-    /** System-environment coupling strength (any consistent unit). */
-    lambda: number;
-    /** Reference coupling λ_0 (same unit as λ). Must be > 0. */
-    lambda0: number;
-}
-/**
- * Evaluate γ_k(λ) = γ_0 * (λ / λ_0)^2 (Caldeira-Leggett weak-coupling form).
- *
- * @returns Decoherence rate in s^-1.
- */
-export declare function evaluateDecoherenceRate(input: DecoherenceRateInputs): number;
-/**
- * Run the rate-function AST through the dimensional analyzer and confirm
- * both sides are [frequency]. Returns the inferred dimensions for
- * traceability.
- */
-/** @internal */
-export declare function validateDecoherenceRateDimensions(): DimensionValidationReport;
-//# sourceMappingURL=be-11-decoherence-master.d.ts.map

package/dist/bridges/equations/be-11-decoherence-master.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-11-decoherence-master.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-11-decoherence-master.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAS1F;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAelC,CAAC;AAOF,MAAM,WAAW,qBAAqB;IACpC,iEAAiE;IACjE,YAAY,EAAE,MAAM,CAAC;IACrB,kEAAkE;IAClE,MAAM,EAAE,MAAM,CAAC;IACf,4DAA4D;IAC5D,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG,MAAM,CAa5E;AAID;;;;GAIG;AACH,gBAAgB;AAChB,wBAAgB,iCAAiC,IAAI,yBAAyB,CAE7E"}