universal-physics-tensor 7.0.0 → 9.0.0

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

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