universal-physics-tensor 6.0.0 → 7.0.0

package/dist/composition/edges/condensed-r8.js

@@ -0,0 +1,325 @@
+import { DIMENSIONLESS } from '../../dimensional/types.js';
+import { CONSTANTS } from '../../dimensional/symbolic-constants.js';
+import { evaluateAcDrude, evaluateBlochLaw, evaluateBuiltinVoltage, evaluateDensityOfStates2D, evaluateDensityOfStates3D, evaluateGorterCasimir, evaluateJosephsonInductance, evaluateLowerCritical, evaluateMatthiessen, evaluateOnsagerFrequency, evaluateSemiconductorFermi, evaluateStoner, evaluateThomasFermi, } from '../../bridges/condensed-r8.js';
+import { withBoundAliases } from '../edge.js';
+import { acdrudeBandmassQ, acdrudeConductQ, acdrudeN3Q, acdrudeRadianQ, acdrudeScatterQ, blochlawDeficitQ, blochlawDstiffQ, blochlawMubQ, blochlawWarmthQ, blochlawZetaQ, builtinAcceptorQ, builtinDonorQ, builtinNiQ, builtinVbiQ, builtinWarmthQ, dos2dBandmassQ, dos2dStatesQ, dos3dAbscissaQ, dos3dBandmassQ, dos3dStatesQ, fermioffsetElecmassQ, fermioffsetHolemassQ, fermioffsetMuoffQ, fermioffsetWarmthQ, gortercasNsQ, gortercasTcQ, gortercasWarmthQ, josephsonlHenryQ, josephsonlIcQ, lowercritBc1Q, lowercritPenQ, lowercritXiQ, matthsumScatter1Q, matthsumScatter2Q, matthsumScatterQ, onsagerkKareaQ, onsagerkOrbitQ, stonerchiEnhancedQ, stonerchiIgQ, stonerchiPauliQ, tfscreenChemicalQ, tfscreenK2Q, tfscreenN3Q, } from '../quantities.js';
+const finite = Number.isFinite;
+const qsym = (quantity) => ({ kind: 'symbol', name: quantity.name, dim: quantity.dim });
+const csym = (name) => ({ kind: 'symbol', name, dim: CONSTANTS[name].dim });
+const lit = (n) => ({ kind: 'symbol', name: String(n), dim: DIMENSIONLESS });
+const prod = (...args) => ({ kind: 'op', op: '*', args });
+const plus = (...args) => ({ kind: 'op', op: '+', args });
+const minus = (a, b) => ({ kind: 'op', op: '-', args: [a, b] });
+const ratio = (num, den) => ({ kind: 'op', op: '/', args: [num, den] });
+const pow = (base, exp) => ({ kind: 'op', op: '^', args: [base, exp] });
+const lnOf = (arg) => ({ kind: 'transcendental', fn: 'ln', arg });
+const pi = { kind: 'symbol', name: 'pi', dim: DIMENSIONLESS };
+const domain = (description, predicate) => ({
+    description,
+    predicate,
+});
+/** BE-134 Bloch deficit. g = 2 is not this edge. @public */
+export const be134Edge = withBoundAliases({
+    id: 'be-134',
+    beId: 134,
+    kind: 'law',
+    label: 'Bloch deficit ΔM = μ_B ζ(3/2) (k_B T/(4 π D))^{3/2}',
+    sources: [blochlawMubQ, blochlawZetaQ, blochlawWarmthQ, blochlawDstiffQ],
+    aliases: {
+        'blochlaw-mub': ['muB_J_per_T'],
+        'blochlaw-zeta': ['zeta_3_2'],
+        'blochlaw-warmth': ['T_K'],
+        'blochlaw-dstiff': ['D_J_m2'],
+    },
+    target: blochlawDeficitQ,
+    confidence: 'established',
+    domain: domain('D > 0 and T ≥ 0', (i) => finite(i['blochlaw-dstiff']) && i['blochlaw-dstiff'] > 0 && finite(i['blochlaw-warmth']) && i['blochlaw-warmth'] >= 0),
+    evaluate: (i) => evaluateBlochLaw({
+        muB_J_per_T: i['blochlaw-mub'],
+        zeta_3_2: i['blochlaw-zeta'],
+        T_K: i['blochlaw-warmth'],
+        D_J_m2: i['blochlaw-dstiff'],
+    }).dM_A_per_m,
+    symbolic: prod(qsym(blochlawMubQ), qsym(blochlawZetaQ), pow(ratio(prod(csym('k_B'), qsym(blochlawWarmthQ)), prod(csym('4pi'), qsym(blochlawDstiffQ))), lit(1.5))),
+    citation: 'PhysJS.BlochLaw.bloch_law. ζ(3/2) is not evaluated. g μ_B at g = 2 is not one Bohr magneton.',
+});
+/** BE-135 three-dimensional density of states. One spin is half. @public */
+export const be135Edge = withBoundAliases({
+    id: 'be-135',
+    beId: 135,
+    kind: 'law',
+    label: 'g(E) = (1/(2 π²)) (2 m/ℏ²)^{3/2} √E',
+    sources: [dos3dBandmassQ, dos3dAbscissaQ],
+    aliases: {
+        'dos3d-bandmass': ['m_kg'],
+        'dos3d-abscissa': ['E_J'],
+    },
+    target: dos3dStatesQ,
+    confidence: 'established',
+    domain: domain('m > 0 and E ≥ 0', (i) => finite(i['dos3d-bandmass']) && i['dos3d-bandmass'] > 0 && finite(i['dos3d-abscissa']) && i['dos3d-abscissa'] >= 0),
+    evaluate: (i) => evaluateDensityOfStates3D({ m_kg: i['dos3d-bandmass'], E_J: i['dos3d-abscissa'] }).g_per_J_m3,
+    symbolic: prod(ratio(lit(1), prod(lit(2), pow(pi, lit(2)))), pow(ratio(prod(lit(2), qsym(dos3dBandmassQ)), pow(csym('hbar'), lit(2))), lit(1.5)), pow(qsym(dos3dAbscissaQ), lit(0.5))),
+    citation: 'PhysJS.DensityOfStates3D.dos_3d. One spin replaces 1/(2 π²) by 1/(4 π²). Not be-88.',
+});
+/** BE-136 two-dimensional density of states. A valley factor is not 1. @public */
+export const be136Edge = withBoundAliases({
+    id: 'be-136',
+    beId: 136,
+    kind: 'law',
+    label: 'g = m / (π ℏ²)',
+    sources: [dos2dBandmassQ],
+    aliases: { 'dos2d-bandmass': ['m_kg'] },
+    target: dos2dStatesQ,
+    confidence: 'established',
+    domain: domain('m ≠ 0', (i) => finite(i['dos2d-bandmass']) && i['dos2d-bandmass'] !== 0),
+    evaluate: (i) => evaluateDensityOfStates2D({ m_kg: i['dos2d-bandmass'] }).g_per_J_m2,
+    symbolic: ratio(qsym(dos2dBandmassQ), prod(pi, pow(csym('hbar'), lit(2)))),
+    citation: 'PhysJS.DensityOfStates2D.dos_2d. A valley factor other than 1 is not this density.',
+});
+/** BE-137 Thomas–Fermi wavevector squared. A flat density drops 3/2. @public */
+export const be137Edge = withBoundAliases({
+    id: 'be-137',
+    beId: 137,
+    kind: 'law',
+    label: 'k_TF² = (e²/ε0) (3 n)/(2 E_F)',
+    sources: [tfscreenN3Q, tfscreenChemicalQ],
+    aliases: {
+        'tfscreen-n3': ['n_per_m3'],
+        'tfscreen-chemical': ['EF_J'],
+    },
+    target: tfscreenK2Q,
+    confidence: 'established',
+    domain: domain('E_F > 0', (i) => finite(i['tfscreen-n3']) && finite(i['tfscreen-chemical']) && i['tfscreen-chemical'] > 0),
+    evaluate: (i) => evaluateThomasFermi({ n_per_m3: i['tfscreen-n3'], EF_J: i['tfscreen-chemical'] }).k2_per_m2,
+    symbolic: prod(ratio(pow(csym('e'), lit(2)), csym('epsilon_0')), ratio(prod(lit(3), qsym(tfscreenN3Q)), prod(lit(2), qsym(tfscreenChemicalQ)))),
+    citation: 'PhysJS.ThomasFermi.thomas_fermi. A flat density leaves the factor 1. Not the Debye length.',
+});
+/** BE-138 built-in voltage. The logarithm is the catalog value. @public */
+export const be138Edge = withBoundAliases({
+    id: 'be-138',
+    beId: 138,
+    kind: 'law',
+    label: 'V_bi = (k_B T/e) ln(N_A N_D/n_i²)',
+    sources: [builtinWarmthQ, builtinAcceptorQ, builtinDonorQ, builtinNiQ],
+    aliases: {
+        'builtin-warmth': ['T_K'],
+        'builtin-acceptor': ['NA_per_m3'],
+        'builtin-donor': ['ND_per_m3'],
+        'builtin-ni': ['ni_per_m3'],
+    },
+    target: builtinVbiQ,
+    confidence: 'established',
+    domain: domain('N_A > 0, N_D > 0, and n_i > 0', (i) => finite(i['builtin-warmth']) &&
+        finite(i['builtin-acceptor']) &&
+        i['builtin-acceptor'] > 0 &&
+        finite(i['builtin-donor']) &&
+        i['builtin-donor'] > 0 &&
+        finite(i['builtin-ni']) &&
+        i['builtin-ni'] > 0),
+    evaluate: (i) => evaluateBuiltinVoltage({
+        T_K: i['builtin-warmth'],
+        NA_per_m3: i['builtin-acceptor'],
+        ND_per_m3: i['builtin-donor'],
+        ni_per_m3: i['builtin-ni'],
+    }).V_bi_V,
+    symbolic: prod(ratio(prod(csym('k_B'), qsym(builtinWarmthQ)), csym('e')), lnOf(ratio(prod(qsym(builtinAcceptorQ), qsym(builtinDonorQ)), pow(qsym(builtinNiQ), lit(2))))),
+    citation: 'PhysJS.BuiltinVoltage.builtin_voltage. Not the ideal diode of be-82.',
+});
+/** BE-139 intrinsic Fermi offset. The extrinsic energy is not this edge. @public */
+export const be139Edge = withBoundAliases({
+    id: 'be-139',
+    beId: 139,
+    kind: 'law',
+    label: 'E_F − (E_c+E_v)/2 = (3/4) k_B T ln(m_h*/m_e*)',
+    sources: [fermioffsetWarmthQ, fermioffsetHolemassQ, fermioffsetElecmassQ],
+    aliases: {
+        'fermioffset-warmth': ['T_K'],
+        'fermioffset-holemass': ['mh_kg'],
+        'fermioffset-elecmass': ['me_kg'],
+    },
+    target: fermioffsetMuoffQ,
+    confidence: 'established',
+    domain: domain('T ≠ 0, m_h* > 0, and m_e* > 0', (i) => finite(i['fermioffset-warmth']) &&
+        i['fermioffset-warmth'] !== 0 &&
+        finite(i['fermioffset-holemass']) &&
+        i['fermioffset-holemass'] > 0 &&
+        finite(i['fermioffset-elecmass']) &&
+        i['fermioffset-elecmass'] > 0),
+    evaluate: (i) => evaluateSemiconductorFermi({
+        T_K: i['fermioffset-warmth'],
+        mh_kg: i['fermioffset-holemass'],
+        me_kg: i['fermioffset-elecmass'],
+        Nc_per_m3: 1,
+        ND_per_m3: 1,
+    }).intrinsic_offset_J,
+    symbolic: prod(ratio(lit(3), lit(4)), csym('k_B'), qsym(fermioffsetWarmthQ), lnOf(ratio(qsym(fermioffsetHolemassQ), qsym(fermioffsetElecmassQ)))),
+    citation: 'PhysJS.SemiconductorFermi.fermi_level. The 3/4 is half of 3/2. The edge value is the intrinsic offset.',
+});
+/** BE-140 Onsager frequency. Dropping 2 π is not this field. @public */
+export const be140Edge = withBoundAliases({
+    id: 'be-140',
+    beId: 140,
+    kind: 'law',
+    label: 'F = ℏ A / (2 π e)',
+    sources: [onsagerkKareaQ],
+    aliases: { 'onsagerk-karea': ['A_per_m2'] },
+    target: onsagerkOrbitQ,
+    confidence: 'established',
+    domain: domain('A is finite', (i) => finite(i['onsagerk-karea'])),
+    evaluate: (i) => evaluateOnsagerFrequency({ A_per_m2: i['onsagerk-karea'] }).F_T,
+    symbolic: ratio(prod(csym('hbar'), qsym(onsagerkKareaQ)), prod(csym('2pi'), csym('e'))),
+    citation: 'PhysJS.OnsagerFrequency.onsager_frequency. γ cancels. Δ(1/B) = 1/F.',
+});
+/** BE-141 Josephson inductance at φ = 0. @public */
+export const be141Edge = withBoundAliases({
+    id: 'be-141',
+    beId: 141,
+    kind: 'law',
+    label: 'L_J = ℏ / (2 e I_c)',
+    sources: [josephsonlIcQ],
+    aliases: { 'josephsonl-ic': ['Ic_A'] },
+    target: josephsonlHenryQ,
+    confidence: 'established',
+    domain: domain('I_c ≠ 0', (i) => finite(i['josephsonl-ic']) && i['josephsonl-ic'] !== 0),
+    evaluate: (i) => evaluateJosephsonInductance({ Ic_A: i['josephsonl-ic'] }).L_H,
+    symbolic: ratio(csym('hbar'), prod(lit(2), csym('e'), qsym(josephsonlIcQ))),
+    citation: 'PhysJS.JosephsonInductance.inductance_eq. cos φ = 1 at φ = 0. Not be-59.',
+});
+/** BE-142 lower critical field. The 4 π stays. @public */
+export const be142Edge = withBoundAliases({
+    id: 'be-142',
+    beId: 142,
+    kind: 'law',
+    label: 'B_c1 = (Φ₀/(4 π λ²)) ln(λ/ξ), Φ₀ = h/(2 e)',
+    sources: [lowercritPenQ, lowercritXiQ],
+    aliases: {
+        'lowercrit-pen': ['lambda_m'],
+        'lowercrit-xi': ['xi_m'],
+    },
+    target: lowercritBc1Q,
+    confidence: 'established',
+    domain: domain('0 < ξ < λ', (i) => finite(i['lowercrit-xi']) &&
+        i['lowercrit-xi'] > 0 &&
+        finite(i['lowercrit-pen']) &&
+        i['lowercrit-pen'] > i['lowercrit-xi']),
+    evaluate: (i) => evaluateLowerCritical({ lambda_m: i['lowercrit-pen'], xi_m: i['lowercrit-xi'] }).B_c1_T,
+    symbolic: prod(ratio(ratio(csym('h'), prod(lit(2), csym('e'))), prod(csym('4pi'), pow(qsym(lowercritPenQ), lit(2)))), lnOf(ratio(qsym(lowercritPenQ), qsym(lowercritXiQ)))),
+    citation: 'PhysJS.LowerCritical.lower_critical. Not be-96.',
+});
+/** BE-143 real AC Drude conductivity. The DC 1 stays. @public */
+export const be143Edge = withBoundAliases({
+    id: 'be-143',
+    beId: 143,
+    kind: 'law',
+    label: 'Re σ = (n e² τ/m) / (1 + ω² τ²)',
+    sources: [acdrudeN3Q, acdrudeBandmassQ, acdrudeScatterQ, acdrudeRadianQ],
+    aliases: {
+        'acdrude-n3': ['n_per_m3'],
+        'acdrude-bandmass': ['m_kg'],
+        'acdrude-scatter': ['tau_s'],
+        'acdrude-radian': ['omega_rad_s'],
+    },
+    target: acdrudeConductQ,
+    confidence: 'established',
+    domain: domain('τ > 0 and m ≠ 0', (i) => finite(i['acdrude-n3']) &&
+        finite(i['acdrude-bandmass']) &&
+        i['acdrude-bandmass'] !== 0 &&
+        finite(i['acdrude-scatter']) &&
+        i['acdrude-scatter'] > 0 &&
+        finite(i['acdrude-radian'])),
+    evaluate: (i) => evaluateAcDrude({
+        n_per_m3: i['acdrude-n3'],
+        m_kg: i['acdrude-bandmass'],
+        tau_s: i['acdrude-scatter'],
+        omega_rad_s: i['acdrude-radian'],
+    }).sigma_S_per_m,
+    symbolic: ratio(prod(qsym(acdrudeN3Q), pow(csym('e'), lit(2)), qsym(acdrudeScatterQ)), prod(qsym(acdrudeBandmassQ), plus(lit(1), prod(pow(qsym(acdrudeRadianQ), lit(2)), pow(qsym(acdrudeScatterQ), lit(2)))))),
+    citation: 'PhysJS.AcDrude.ac_drude. Dropping the DC 1 is not this conductivity. Not be-123.',
+});
+/** BE-144 Matthiessen lifetime. One lifetime is not the parallel sum. @public */
+export const be144Edge = withBoundAliases({
+    id: 'be-144',
+    beId: 144,
+    kind: 'law',
+    label: 'τ = 1 / (1/τ₁ + 1/τ₂)',
+    sources: [matthsumScatter1Q, matthsumScatter2Q],
+    aliases: {
+        'matthsum-scatter1': ['tau1_s'],
+        'matthsum-scatter2': ['tau2_s'],
+    },
+    target: matthsumScatterQ,
+    confidence: 'established',
+    domain: domain('τ₁ ≠ 0, τ₂ ≠ 0, and 1/τ₁ + 1/τ₂ ≠ 0', (i) => finite(i['matthsum-scatter1']) &&
+        i['matthsum-scatter1'] !== 0 &&
+        finite(i['matthsum-scatter2']) &&
+        i['matthsum-scatter2'] !== 0 &&
+        1 / i['matthsum-scatter1'] + 1 / i['matthsum-scatter2'] !== 0),
+    evaluate: (i) => evaluateMatthiessen({
+        tau1_s: i['matthsum-scatter1'],
+        tau2_s: i['matthsum-scatter2'],
+        C_ohm_m_s: 1,
+    }).tau_s,
+    symbolic: ratio(lit(1), plus(ratio(lit(1), qsym(matthsumScatter1Q)), ratio(lit(1), qsym(matthsumScatter2Q)))),
+    citation: 'PhysJS.Matthiessen.matthiessen. The edge value is τ. ρ = ρ₁ + ρ₂ is the same rate sum.',
+});
+/** BE-145 Stoner susceptibility. Two bubbles are not the closed form. @public */
+export const be145Edge = withBoundAliases({
+    id: 'be-145',
+    beId: 145,
+    kind: 'law',
+    label: 'χ = χ_P / (1 − I g(E_F))',
+    sources: [stonerchiPauliQ, stonerchiIgQ],
+    aliases: {
+        'stonerchi-pauli': ['chi_P'],
+        'stonerchi-ig': ['x'],
+    },
+    target: stonerchiEnhancedQ,
+    confidence: 'established',
+    domain: domain('|x| < 1', (i) => finite(i['stonerchi-pauli']) && finite(i['stonerchi-ig']) && Math.abs(i['stonerchi-ig']) < 1),
+    evaluate: (i) => evaluateStoner({ chi_P: i['stonerchi-pauli'], x: i['stonerchi-ig'] }).chi,
+    symbolic: ratio(qsym(stonerchiPauliQ), minus(lit(1), qsym(stonerchiIgQ))),
+    citation: 'PhysJS.Stoner.stoner. χ_P is be-94 and is not re-proved. The pole is the same formula.',
+});
+/** BE-146 Gorter–Casimir fraction. The edge value is n_s/n. @public */
+export const be146Edge = withBoundAliases({
+    id: 'be-146',
+    beId: 146,
+    kind: 'law',
+    label: 'n_s/n = 1 − (T/T_c)^4',
+    sources: [gortercasWarmthQ, gortercasTcQ],
+    aliases: {
+        'gortercas-warmth': ['T_K'],
+        'gortercas-tc': ['Tc_K'],
+    },
+    target: gortercasNsQ,
+    confidence: 'established',
+    domain: domain('T_c > 0 and 0 ≤ T < T_c', (i) => finite(i['gortercas-tc']) &&
+        i['gortercas-tc'] > 0 &&
+        finite(i['gortercas-warmth']) &&
+        i['gortercas-warmth'] >= 0 &&
+        i['gortercas-warmth'] < i['gortercas-tc']),
+    evaluate: (i) => evaluateGorterCasimir({
+        T_K: i['gortercas-warmth'],
+        Tc_K: i['gortercas-tc'],
+        lambda0_m: 1,
+    }).ns_over_n,
+    symbolic: minus(lit(1), pow(ratio(qsym(gortercasWarmthQ), qsym(gortercasTcQ)), lit(4))),
+    citation: 'PhysJS.GorterCasimir.gorter_casimir. The exponent 4 is a hypothesis. λ(T) is on the result and is not this edge. Not be-75.',
+});
+/** Condensed-matter edges, in catalog-id order. @public */
+export const CONDENSED_R8_EDGES = [
+    be134Edge,
+    be135Edge,
+    be136Edge,
+    be137Edge,
+    be138Edge,
+    be139Edge,
+    be140Edge,
+    be141Edge,
+    be142Edge,
+    be143Edge,
+    be144Edge,
+    be145Edge,
+    be146Edge,
+];
+//# sourceMappingURL=condensed-r8.js.map

package/dist/composition/edges/condensed-r8.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"condensed-r8.js","sourceRoot":"","sources":["../../../src/composition/edges/condensed-r8.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,sBAAsB,EACtB,yBAAyB,EACzB,yBAAyB,EACzB,qBAAqB,EACrB,2BAA2B,EAC3B,qBAAqB,EACrB,mBAAmB,EACnB,wBAAwB,EACxB,0BAA0B,EAC1B,cAAc,EACd,mBAAmB,GACpB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,gBAAgB,EAAmB,MAAM,YAAY,CAAC;AAE/D,OAAO,EACL,gBAAgB,EAChB,eAAe,EACf,UAAU,EACV,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,YAAY,EACZ,eAAe,EACf,aAAa,EACb,gBAAgB,EAChB,aAAa,EACb,UAAU,EACV,WAAW,EACX,cAAc,EACd,cAAc,EACd,YAAY,EACZ,cAAc,EACd,cAAc,EACd,YAAY,EACZ,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,aAAa,EACb,aAAa,EACb,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,kBAAkB,EAClB,YAAY,EACZ,eAAe,EACf,iBAAiB,EACjB,WAAW,EACX,WAAW,GACZ,MAAM,kBAAkB,CAAC;AAE1B,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC;AAC/B,MAAM,IAAI,GAAG,CAAC,QAAkB,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;AAC5G,MAAM,IAAI,GAAG,CAAC,IAA4B,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;AAC9G,MAAM,GAAG,GAAG,CAAC,CAAS,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC;AAC/F,MAAM,IAAI,GAAG,CAAC,GAAG,IAAgB,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;AAChF,MAAM,IAAI,GAAG,CAAC,GAAG,IAAgB,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;AAChF,MAAM,KAAK,GAAG,CAAC,CAAW,EAAE,CAAW,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC9F,MAAM,KAAK,GAAG,CAAC,GAAa,EAAE,GAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;AACtG,MAAM,GAAG,GAAG,CAAC,IAAc,EAAE,GAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;AACtG,MAAM,IAAI,GAAG,CAAC,GAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACtF,MAAM,EAAE,GAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;AAExE,MAAM,MAAM,GAAG,CAAC,WAAmB,EAAE,SAAiD,EAAE,EAAE,CAAC,CAAC;IAC1F,WAAW;IACX,SAAS;CACV,CAAC,CAAC;AAEH,4DAA4D;AAC5D,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,qDAAqD;IAC5D,OAAO,EAAE,CAAC,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,eAAe,CAAC;IACxE,OAAO,EAAE;QACP,cAAc,EAAE,CAAC,aAAa,CAAC;QAC/B,eAAe,EAAE,CAAC,UAAU,CAAC;QAC7B,iBAAiB,EAAE,CAAC,KAAK,CAAC;QAC1B,iBAAiB,EAAE,CAAC,QAAQ,CAAC;KAC9B;IACD,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CACZ,iBAAiB,EACjB,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAC7H;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,gBAAgB,CAAC;QACf,WAAW,EAAE,CAAC,CAAC,cAAc,CAAC;QAC9B,QAAQ,EAAE,CAAC,CAAC,eAAe,CAAC;QAC5B,GAAG,EAAE,CAAC,CAAC,iBAAiB,CAAC;QACzB,MAAM,EAAE,CAAC,CAAC,iBAAiB,CAAC;KAC7B,CAAC,CAAC,UAAU;IACf,QAAQ,EAAE,IAAI,CACZ,IAAI,CAAC,YAAY,CAAC,EAClB,IAAI,CAAC,aAAa,CAAC,EACnB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CACzG;IACD,QAAQ,EACN,8FAA8F;CACjG,CAAC,CAAC;AAEH,4EAA4E;AAC5E,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,qCAAqC;IAC5C,OAAO,EAAE,CAAC,cAAc,EAAE,cAAc,CAAC;IACzC,OAAO,EAAE;QACP,gBAAgB,EAAE,CAAC,MAAM,CAAC;QAC1B,gBAAgB,EAAE,CAAC,KAAK,CAAC;KAC1B;IACD,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CACZ,iBAAiB,EACjB,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CACzH;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,yBAAyB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,gBAAgB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,UAAU;IAC/F,QAAQ,EAAE,IAAI,CACZ,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAC5C,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EACnF,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CACpC;IACD,QAAQ,EAAE,qFAAqF;CAChG,CAAC,CAAC;AAEH,kFAAkF;AAClF,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,gBAAgB;IACvB,OAAO,EAAE,CAAC,cAAc,CAAC;IACzB,OAAO,EAAE,EAAE,gBAAgB,EAAE,CAAC,MAAM,CAAC,EAAE;IACvC,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACxF,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,UAAU;IACpF,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,QAAQ,EAAE,oFAAoF;CAC/F,CAAC,CAAC;AAEH,gFAAgF;AAChF,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,+BAA+B;IACtC,OAAO,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAC;IACzC,OAAO,EAAE;QACP,aAAa,EAAE,CAAC,UAAU,CAAC;QAC3B,mBAAmB,EAAE,CAAC,MAAM,CAAC;KAC9B;IACD,MAAM,EAAE,WAAW;IACnB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CACZ,SAAS,EACT,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAChG;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC,SAAS;IAC5G,QAAQ,EAAE,IAAI,CACZ,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,EAChD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAC9E;IACD,QAAQ,EAAE,4FAA4F;CACvG,CAAC,CAAC;AAEH,2EAA2E;AAC3E,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,mCAAmC;IAC1C,OAAO,EAAE,CAAC,cAAc,EAAE,gBAAgB,EAAE,aAAa,EAAE,UAAU,CAAC;IACtE,OAAO,EAAE;QACP,gBAAgB,EAAE,CAAC,KAAK,CAAC;QACzB,kBAAkB,EAAE,CAAC,WAAW,CAAC;QACjC,eAAe,EAAE,CAAC,WAAW,CAAC;QAC9B,YAAY,EAAE,CAAC,WAAW,CAAC;KAC5B;IACD,MAAM,EAAE,WAAW;IACnB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CACZ,+BAA+B,EAC/B,CAAC,CAAC,EAAE,EAAE,CACJ,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;QAC3B,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;QAC7B,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;QAC1B,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;QACtB,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QACvB,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CACtB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,sBAAsB,CAAC;QACrB,GAAG,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACxB,SAAS,EAAE,CAAC,CAAC,kBAAkB,CAAC;QAChC,SAAS,EAAE,CAAC,CAAC,eAAe,CAAC;QAC7B,SAAS,EAAE,CAAC,CAAC,YAAY,CAAC;KAC3B,CAAC,CAAC,MAAM;IACX,QAAQ,EAAE,IAAI,CACZ,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EACzD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC9F;IACD,QAAQ,EAAE,sEAAsE;CACjF,CAAC,CAAC;AAEH,oFAAoF;AACpF,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,+CAA+C;IACtD,OAAO,EAAE,CAAC,kBAAkB,EAAE,oBAAoB,EAAE,oBAAoB,CAAC;IACzE,OAAO,EAAE;QACP,oBAAoB,EAAE,CAAC,KAAK,CAAC;QAC7B,sBAAsB,EAAE,CAAC,OAAO,CAAC;QACjC,sBAAsB,EAAE,CAAC,OAAO,CAAC;KAClC;IACD,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CACZ,+BAA+B,EAC/B,CAAC,CAAC,EAAE,EAAE,CACJ,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;QAC/B,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;QACjC,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;QACjC,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAChC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,0BAA0B,CAAC;QACzB,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,KAAK,EAAE,CAAC,CAAC,sBAAsB,CAAC;QAChC,KAAK,EAAE,CAAC,CAAC,sBAAsB,CAAC;QAChC,SAAS,EAAE,CAAC;QACZ,SAAS,EAAE,CAAC;KACb,CAAC,CAAC,kBAAkB;IACvB,QAAQ,EAAE,IAAI,CACZ,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EACrB,IAAI,CAAC,KAAK,CAAC,EACX,IAAI,CAAC,kBAAkB,CAAC,EACxB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,CACpE;IACD,QAAQ,EACN,wGAAwG;CAC3G,CAAC,CAAC;AAEH,wEAAwE;AACxE,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,mBAAmB;IAC1B,OAAO,EAAE,CAAC,cAAc,CAAC;IACzB,OAAO,EAAE,EAAE,gBAAgB,EAAE,CAAC,UAAU,CAAC,EAAE;IAC3C,MAAM,EAAE,cAAc;IACtB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACjE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,wBAAwB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,GAAG;IAChF,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACvF,QAAQ,EAAE,qEAAqE;CAChF,CAAC,CAAC;AAEH,oDAAoD;AACpD,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,qBAAqB;IAC5B,OAAO,EAAE,CAAC,aAAa,CAAC;IACxB,OAAO,EAAE,EAAE,eAAe,EAAE,CAAC,MAAM,CAAC,EAAE;IACtC,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IACxF,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,2BAA2B,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,GAAG;IAC9E,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC;IAC3E,QAAQ,EAAE,0EAA0E;CACrF,CAAC,CAAC;AAEH,0DAA0D;AAC1D,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,4CAA4C;IACnD,OAAO,EAAE,CAAC,aAAa,EAAE,YAAY,CAAC;IACtC,OAAO,EAAE;QACP,eAAe,EAAE,CAAC,UAAU,CAAC;QAC7B,cAAc,EAAE,CAAC,MAAM,CAAC;KACzB;IACD,MAAM,EAAE,aAAa;IACrB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CACZ,WAAW,EACX,CAAC,CAAC,EAAE,EAAE,CACJ,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QACzB,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC;QACrB,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;QAC1B,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,CACzC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,MAAM;IACzF,QAAQ,EAAE,IAAI,CACZ,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACrG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CACrD;IACD,QAAQ,EAAE,iDAAiD;CAC5D,CAAC,CAAC;AAEH,iEAAiE;AACjE,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,iCAAiC;IACxC,OAAO,EAAE,CAAC,UAAU,EAAE,gBAAgB,EAAE,eAAe,EAAE,cAAc,CAAC;IACxE,OAAO,EAAE;QACP,YAAY,EAAE,CAAC,UAAU,CAAC;QAC1B,kBAAkB,EAAE,CAAC,MAAM,CAAC;QAC5B,iBAAiB,EAAE,CAAC,OAAO,CAAC;QAC5B,gBAAgB,EAAE,CAAC,aAAa,CAAC;KAClC;IACD,MAAM,EAAE,eAAe;IACvB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CACZ,iBAAiB,EACjB,CAAC,CAAC,EAAE,EAAE,CACJ,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;QAC7B,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC;QAC3B,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;QAC5B,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC;QACxB,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAC9B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,eAAe,CAAC;QACd,QAAQ,EAAE,CAAC,CAAC,YAAY,CAAC;QACzB,IAAI,EAAE,CAAC,CAAC,kBAAkB,CAAC;QAC3B,KAAK,EAAE,CAAC,CAAC,iBAAiB,CAAC;QAC3B,WAAW,EAAE,CAAC,CAAC,gBAAgB,CAAC;KACjC,CAAC,CAAC,aAAa;IAClB,QAAQ,EAAE,KAAK,CACb,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC,EACrE,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACxH;IACD,QAAQ,EAAE,kFAAkF;CAC7F,CAAC,CAAC;AAEH,iFAAiF;AACjF,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,uBAAuB;IAC9B,OAAO,EAAE,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;IAC/C,OAAO,EAAE;QACP,mBAAmB,EAAE,CAAC,QAAQ,CAAC;QAC/B,mBAAmB,EAAE,CAAC,QAAQ,CAAC;KAChC;IACD,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CACZ,qCAAqC,EACrC,CAAC,CAAC,EAAE,EAAE,CACJ,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;QAC9B,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;QAC9B,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC;QAC5B,CAAC,GAAG,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAChE;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mBAAmB,CAAC;QAClB,MAAM,EAAE,CAAC,CAAC,mBAAmB,CAAC;QAC9B,MAAM,EAAE,CAAC,CAAC,mBAAmB,CAAC;QAC9B,SAAS,EAAE,CAAC;KACb,CAAC,CAAC,KAAK;IACV,QAAQ,EAAE,KAAK,CACb,GAAG,CAAC,CAAC,CAAC,EACN,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CACrF;IACD,QAAQ,EAAE,wFAAwF;CACnG,CAAC,CAAC;AAEH,iFAAiF;AACjF,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,0BAA0B;IACjC,OAAO,EAAE,CAAC,eAAe,EAAE,YAAY,CAAC;IACxC,OAAO,EAAE;QACP,iBAAiB,EAAE,CAAC,OAAO,CAAC;QAC5B,cAAc,EAAE,CAAC,GAAG,CAAC;KACtB;IACD,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CACZ,SAAS,EACT,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,CACpG;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,iBAAiB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,GAAG;IAC1F,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;IACzE,QAAQ,EAAE,wFAAwF;CACnG,CAAC,CAAC;AAEH,uEAAuE;AACvE,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,uBAAuB;IAC9B,OAAO,EAAE,CAAC,gBAAgB,EAAE,YAAY,CAAC;IACzC,OAAO,EAAE;QACP,kBAAkB,EAAE,CAAC,KAAK,CAAC;QAC3B,cAAc,EAAE,CAAC,MAAM,CAAC;KACzB;IACD,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CACZ,yBAAyB,EACzB,CAAC,CAAC,EAAE,EAAE,CACJ,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;QACzB,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC;QACrB,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;QAC7B,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC;QAC1B,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,CAC5C;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,GAAG,EAAE,CAAC,CAAC,kBAAkB,CAAC;QAC1B,IAAI,EAAE,CAAC,CAAC,cAAc,CAAC;QACvB,SAAS,EAAE,CAAC;KACb,CAAC,CAAC,SAAS;IACd,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,QAAQ,EACN,6HAA6H;CAChI,CAAC,CAAC;AAEH,2DAA2D;AAC3D,MAAM,CAAC,MAAM,kBAAkB,GAA0B;IACvD,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;CACV,CAAC"}

package/dist/composition/edges/engineering-r7.d.ts

@@ -0,0 +1,20 @@
+import { type BridgeEdge } from '../edge.js';
+/** BE-126 comb-drive lateral force. One sidewall is not this edge. @public */
+export declare const be126Edge: BridgeEdge;
+/** BE-127 subthreshold swing. The ideal diode drops C_d. @public */
+export declare const be127Edge: BridgeEdge;
+/** BE-128 ideal boost ratio. The buck ratio is D. @public */
+export declare const be128Edge: BridgeEdge;
+/** BE-129 adiabatic-tip fin efficiency. The edge value is η. @public */
+export declare const be129Edge: BridgeEdge;
+/** BE-130 thermoelectric generator efficiency. Carnot alone is not this edge. @public */
+export declare const be130Edge: BridgeEdge;
+/** BE-131 Joukowsky pressure. The edge value is Δp. @public */
+export declare const be131Edge: BridgeEdge;
+/** BE-132 coaxial capacitance per length. Dropping 2π is not this edge. @public */
+export declare const be132Edge: BridgeEdge;
+/** BE-133 damping ratio. Dropping the 2 is not this edge. @public */
+export declare const be133Edge: BridgeEdge;
+/** Engineering edges, in catalog-id order. @public */
+export declare const ENGINEERING_R7_EDGES: readonly BridgeEdge[];
+//# sourceMappingURL=engineering-r7.d.ts.map

package/dist/composition/edges/engineering-r7.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engineering-r7.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/engineering-r7.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAoB,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AA4D/D,8EAA8E;AAC9E,eAAO,MAAM,SAAS,EAAE,UA8BtB,CAAC;AAEH,oEAAoE;AACpE,eAAO,MAAM,SAAS,EAAE,UAmCtB,CAAC;AAEH,6DAA6D;AAC7D,eAAO,MAAM,SAAS,EAAE,UActB,CAAC;AAEH,wEAAwE;AACxE,eAAO,MAAM,SAAS,EAAE,UAwCtB,CAAC;AAEH,yFAAyF;AACzF,eAAO,MAAM,SAAS,EAAE,UAsCtB,CAAC;AAEH,+DAA+D;AAC/D,eAAO,MAAM,SAAS,EAAE,UA0CtB,CAAC;AAEH,mFAAmF;AACnF,eAAO,MAAM,SAAS,EAAE,UA0BtB,CAAC;AAEH,qEAAqE;AACrE,eAAO,MAAM,SAAS,EAAE,UA0BtB,CAAC;AAEH,sDAAsD;AACtD,eAAO,MAAM,oBAAoB,EAAE,SAAS,UAAU,EASrD,CAAC"}

package/dist/composition/edges/engineering-r7.js

@@ -0,0 +1,262 @@
+import { DIMENSIONLESS } from '../../dimensional/types.js';
+import { CONSTANTS } from '../../dimensional/symbolic-constants.js';
+import { evaluateBoostConverter, evaluateCoaxialCapacitance, evaluateCombDrive, evaluateDampingRatio, evaluateFinEfficiency, evaluateJoukowsky, evaluateSubthresholdSwing, evaluateThermoelectricGenerator, } from '../../bridges/engineering-r7.js';
+import { withBoundAliases } from '../edge.js';
+import { boostDutyQ, boostGainQ, coaxInnerQ, coaxLinerQ, coaxOuterQ, coaxSpecificQ, combAirgapQ, combBiasQ, combDielectricQ, combFingerCountQ, combLateralQ, combOverlapQ, dampingDashpotQ, dampingInertiaQ, dampingSpringQ, dampingZetaQ, finAdiabaticQ, finConductivityQ, finConvectionQ, finSpanQ, finWebQ, joukowskyBoreQ, joukowskyBulkQ, joukowskyClosureQ, joukowskyJumpQ, joukowskyRhoQ, joukowskyThkQ, joukowskyWallmodQ, swingDecadeQ, swingDepletionQ, swingKelvinQ, swingOxideQ, tegFigureQ, tegOptimumQ, tegSinkQ, tegSourceQ, } from '../quantities.js';
+const finite = Number.isFinite;
+const qsym = (q) => ({ kind: 'symbol', name: q.name, dim: q.dim });
+const csym = (name) => ({ kind: 'symbol', name, dim: CONSTANTS[name].dim });
+const lit = (n) => ({ kind: 'symbol', name: String(n), dim: DIMENSIONLESS });
+const prod = (...args) => ({ kind: 'op', op: '*', args });
+const plus = (...args) => ({ kind: 'op', op: '+', args });
+const minus = (a, b) => ({ kind: 'op', op: '-', args: [a, b] });
+const ratio = (num, den) => ({ kind: 'op', op: '/', args: [num, den] });
+const pow = (base, exp) => ({ kind: 'op', op: '^', args: [base, exp] });
+const sqrt = (base) => pow(base, lit(0.5));
+const lnOf = (arg) => ({ kind: 'transcendental', fn: 'ln', arg });
+const tanhOf = (arg) => ({ kind: 'transcendental', fn: 'tanh', arg });
+const pi = { kind: 'symbol', name: 'pi', dim: DIMENSIONLESS };
+const domain = (description, predicate) => ({
+    description,
+    predicate,
+});
+/** BE-126 comb-drive lateral force. One sidewall is not this edge. @public */
+export const be126Edge = withBoundAliases({
+    id: 'be-126',
+    beId: 126,
+    kind: 'law',
+    label: 'Comb-drive force F = n ε h V² / g',
+    sources: [combFingerCountQ, combDielectricQ, combOverlapQ, combBiasQ, combAirgapQ],
+    aliases: {
+        'comb-finger-count': ['n'],
+        'comb-dielectric': ['eps_F_per_m'],
+        'comb-overlap': ['h_m'],
+        'comb-bias': ['V_volts'],
+        'comb-airgap': ['g_m'],
+    },
+    target: combLateralQ,
+    confidence: 'established',
+    domain: domain('g ≠ 0', (i) => finite(i['comb-airgap']) && i['comb-airgap'] !== 0),
+    evaluate: (i) => evaluateCombDrive({
+        n: i['comb-finger-count'],
+        eps_F_per_m: i['comb-dielectric'],
+        h_m: i['comb-overlap'],
+        V_volts: i['comb-bias'],
+        g_m: i['comb-airgap'],
+    }).F_N,
+    symbolic: ratio(prod(qsym(combFingerCountQ), qsym(combDielectricQ), qsym(combOverlapQ), pow(qsym(combBiasQ), lit(2))), qsym(combAirgapQ)),
+    citation: 'PhysJS.CombDrive.force_eq. Both sidewalls and the coenergy 1/2 cancel. One sidewall leaves the 1/2. Not be-79.',
+});
+/** BE-127 subthreshold swing. The ideal diode drops C_d. @public */
+export const be127Edge = withBoundAliases({
+    id: 'be-127',
+    beId: 127,
+    kind: 'law',
+    label: 'Subthreshold swing S = ln(10) (k_B T / e) (1 + C_d / C_ox)',
+    sources: [swingKelvinQ, swingDepletionQ, swingOxideQ],
+    aliases: {
+        'swing-kelvin': ['T_K'],
+        'swing-depletion': ['Cd_F'],
+        'swing-oxide': ['Cox_F'],
+    },
+    target: swingDecadeQ,
+    confidence: 'established',
+    domain: domain('T ≠ 0, C_ox ≠ 0, and C_ox + C_d ≠ 0', (i) => finite(i['swing-kelvin']) &&
+        i['swing-kelvin'] !== 0 &&
+        finite(i['swing-oxide']) &&
+        i['swing-oxide'] !== 0 &&
+        i['swing-oxide'] + i['swing-depletion'] !== 0),
+    evaluate: (i) => evaluateSubthresholdSwing({
+        T_K: i['swing-kelvin'],
+        Cd_F: i['swing-depletion'],
+        Cox_F: i['swing-oxide'],
+    }).S_V_per_decade,
+    symbolic: prod(lnOf(lit(10)), ratio(prod(csym('k_B'), qsym(swingKelvinQ)), csym('e')), plus(lit(1), ratio(qsym(swingDepletionQ), qsym(swingOxideQ)))),
+    citation: 'PhysJS.SubthresholdSwing.swing_eq. e is the elementary charge. Dropping C_d is not the swing when C_d ≠ 0. Not be-82.',
+});
+/** BE-128 ideal boost ratio. The buck ratio is D. @public */
+export const be128Edge = withBoundAliases({
+    id: 'be-128',
+    beId: 128,
+    kind: 'law',
+    label: 'Boost ratio V_out/V_in = 1/(1 − D)',
+    sources: [boostDutyQ],
+    aliases: { 'boost-duty': ['D'] },
+    target: boostGainQ,
+    confidence: 'established',
+    domain: domain('D ≠ 1', (i) => finite(i['boost-duty']) && i['boost-duty'] !== 1),
+    evaluate: (i) => evaluateBoostConverter({ D: i['boost-duty'] }).ratio,
+    symbolic: ratio(lit(1), minus(lit(1), qsym(boostDutyQ))),
+    citation: 'PhysJS.BoostConverter.boost_ratio. Volt-second balance. No real duty equals both this ratio and the buck ratio D.',
+});
+/** BE-129 adiabatic-tip fin efficiency. The edge value is η. @public */
+export const be129Edge = withBoundAliases({
+    id: 'be-129',
+    beId: 129,
+    kind: 'law',
+    label: 'Fin efficiency η = tanh(m L)/(m L), m = √(2 h/(k t))',
+    sources: [finConvectionQ, finConductivityQ, finWebQ, finSpanQ],
+    aliases: {
+        'fin-convection': ['h_W_per_m2_K'],
+        'fin-conductivity': ['k_W_per_m_K'],
+        'fin-web': ['t_m'],
+        'fin-span': ['L_fin_m'],
+    },
+    target: finAdiabaticQ,
+    confidence: 'established',
+    domain: domain('k > 0, t > 0, h > 0, and L ≠ 0', (i) => finite(i['fin-conductivity']) &&
+        i['fin-conductivity'] > 0 &&
+        finite(i['fin-web']) &&
+        i['fin-web'] > 0 &&
+        finite(i['fin-convection']) &&
+        i['fin-convection'] > 0 &&
+        finite(i['fin-span']) &&
+        i['fin-span'] !== 0),
+    evaluate: (i) => evaluateFinEfficiency({
+        h_W_per_m2_K: i['fin-convection'],
+        k_W_per_m_K: i['fin-conductivity'],
+        t_m: i['fin-web'],
+        L_fin_m: i['fin-span'],
+    }).eta,
+    symbolic: (() => {
+        const m = sqrt(ratio(prod(lit(2), qsym(finConvectionQ)), prod(qsym(finConductivityQ), qsym(finWebQ))));
+        const mL = prod(m, qsym(finSpanQ));
+        return ratio(tanhOf(mL), mL);
+    })(),
+    citation: 'PhysJS.FinEfficiency.efficiency_eq. One face is not that m. tanh is not 1, so this is not an infinite fin.',
+});
+/** BE-130 thermoelectric generator efficiency. Carnot alone is not this edge. @public */
+export const be130Edge = withBoundAliases({
+    id: 'be-130',
+    beId: 130,
+    kind: 'law',
+    label: 'Thermoelectric efficiency at the stationary current',
+    sources: [tegSourceQ, tegSinkQ, tegFigureQ],
+    aliases: {
+        'teg-source': ['Th_K'],
+        'teg-sink': ['Tc_K'],
+        'teg-figure': ['Z_per_K'],
+    },
+    target: tegOptimumQ,
+    confidence: 'established',
+    domain: domain('T_h ≠ 0, 1 + Z T_m ≥ 0, and the denominator ≠ 0', (i) => {
+        if (!finite(i['teg-source']) || i['teg-source'] === 0)
+            return false;
+        if (!finite(i['teg-sink']) || !finite(i['teg-figure']))
+            return false;
+        const mean = (i['teg-source'] + i['teg-sink']) / 2;
+        const inside = 1 + i['teg-figure'] * mean;
+        if (inside < 0)
+            return false;
+        return Math.sqrt(inside) + i['teg-sink'] / i['teg-source'] !== 0;
+    }),
+    evaluate: (i) => evaluateThermoelectricGenerator({
+        Th_K: i['teg-source'],
+        Tc_K: i['teg-sink'],
+        Z_per_K: i['teg-figure'],
+    }).eta,
+    symbolic: (() => {
+        const mean = prod(plus(qsym(tegSourceQ), qsym(tegSinkQ)), lit(0.5));
+        const m = sqrt(plus(lit(1), prod(qsym(tegFigureQ), mean)));
+        const carnot = minus(lit(1), ratio(qsym(tegSinkQ), qsym(tegSourceQ)));
+        return ratio(prod(carnot, minus(m, lit(1))), plus(m, ratio(qsym(tegSinkQ), qsym(tegSourceQ))));
+    })(),
+    citation: 'PhysJS.ThermoelectricGenerator.efficiency_eq. Matched load m = 1 is not stationary when Z T_m ≠ 0. The Carnot factor alone is not this efficiency.',
+});
+/** BE-131 Joukowsky pressure. The edge value is Δp. @public */
+export const be131Edge = withBoundAliases({
+    id: 'be-131',
+    beId: 131,
+    kind: 'law',
+    label: 'Joukowsky pressure Δp = ρ c Δv',
+    sources: [joukowskyRhoQ, joukowskyClosureQ, joukowskyBulkQ, joukowskyWallmodQ, joukowskyBoreQ, joukowskyThkQ],
+    aliases: {
+        'joukowsky-rho': ['rho_kg_per_m3'],
+        'joukowsky-closure': ['dv_m_per_s'],
+        'joukowsky-bulk': ['K_Pa'],
+        'joukowsky-wallmod': ['E_Pa'],
+        'joukowsky-bore': ['pipe_D_m'],
+        'joukowsky-thk': ['wall_m'],
+    },
+    target: joukowskyJumpQ,
+    confidence: 'established',
+    domain: domain('ρ > 0, K > 0, E > 0, e_wall > 0, and 1 + (K/E)(D/e_wall) > 0', (i) => {
+        if (!(i['joukowsky-rho'] > 0 && i['joukowsky-bulk'] > 0 && i['joukowsky-wallmod'] > 0 && i['joukowsky-thk'] > 0)) {
+            return false;
+        }
+        const wall = (i['joukowsky-bulk'] / i['joukowsky-wallmod']) * (i['joukowsky-bore'] / i['joukowsky-thk']);
+        return 1 + wall > 0;
+    }),
+    evaluate: (i) => evaluateJoukowsky({
+        rho_kg_per_m3: i['joukowsky-rho'],
+        dv_m_per_s: i['joukowsky-closure'],
+        K_Pa: i['joukowsky-bulk'],
+        E_Pa: i['joukowsky-wallmod'],
+        pipe_D_m: i['joukowsky-bore'],
+        wall_m: i['joukowsky-thk'],
+    }).delta_p_Pa,
+    symbolic: (() => {
+        const wall = prod(ratio(qsym(joukowskyBulkQ), qsym(joukowskyWallmodQ)), ratio(qsym(joukowskyBoreQ), qsym(joukowskyThkQ)));
+        const c = ratio(sqrt(ratio(qsym(joukowskyBulkQ), qsym(joukowskyRhoQ))), sqrt(plus(lit(1), wall)));
+        return prod(qsym(joukowskyRhoQ), c, qsym(joukowskyClosureQ));
+    })(),
+    citation: 'PhysJS.Joukowsky.joukowsky_eq. ρ (Δv)² is not ρ c Δv when c ≠ Δv. Dropping the wall term is the rigid-pipe speed.',
+});
+/** BE-132 coaxial capacitance per length. Dropping 2π is not this edge. @public */
+export const be132Edge = withBoundAliases({
+    id: 'be-132',
+    beId: 132,
+    kind: 'law',
+    label: "Coaxial C' = 2 π ε / ln(b/a)",
+    sources: [coaxLinerQ, coaxInnerQ, coaxOuterQ],
+    aliases: {
+        'coax-liner': ['eps_F_per_m'],
+        'coax-inner': ['a_m'],
+        'coax-outer': ['b_m'],
+    },
+    target: coaxSpecificQ,
+    confidence: 'established',
+    domain: domain('a > 0, b > 0, a ≠ b, and ε ≠ 0', (i) => i['coax-inner'] > 0 && i['coax-outer'] > 0 && i['coax-inner'] !== i['coax-outer'] && i['coax-liner'] !== 0),
+    evaluate: (i) => evaluateCoaxialCapacitance({
+        eps_F_per_m: i['coax-liner'],
+        a_m: i['coax-inner'],
+        b_m: i['coax-outer'],
+    }).C_F_per_m,
+    symbolic: ratio(prod(lit(2), pi, qsym(coaxLinerQ)), lnOf(ratio(qsym(coaxOuterQ), qsym(coaxInnerQ)))),
+    citation: 'PhysJS.CoaxialCapacitance.capacitance_per_length. Dropping 2 π is not this capacitance. Not a parallel-plate ε A/d.',
+});
+/** BE-133 damping ratio. Dropping the 2 is not this edge. @public */
+export const be133Edge = withBoundAliases({
+    id: 'be-133',
+    beId: 133,
+    kind: 'law',
+    label: 'Damping ratio ζ = c / (2 √(k m))',
+    sources: [dampingDashpotQ, dampingSpringQ, dampingInertiaQ],
+    aliases: {
+        'damping-dashpot': ['c_kg_per_s'],
+        'damping-spring': ['k_N_per_m'],
+        'damping-inertia': ['m_kg'],
+    },
+    target: dampingZetaQ,
+    confidence: 'established',
+    domain: domain('m > 0 and k > 0', (i) => i['damping-inertia'] > 0 && i['damping-spring'] > 0),
+    evaluate: (i) => evaluateDampingRatio({
+        c_kg_per_s: i['damping-dashpot'],
+        k_N_per_m: i['damping-spring'],
+        m_kg: i['damping-inertia'],
+    }).zeta,
+    symbolic: ratio(qsym(dampingDashpotQ), prod(lit(2), sqrt(prod(qsym(dampingSpringQ), qsym(dampingInertiaQ))))),
+    citation: 'PhysJS.DampingRatio.damping_ratio. For c ≥ 0 the discriminant vanishes iff ζ = 1. Dropping the 2 is not this ratio.',
+});
+/** Engineering edges, in catalog-id order. @public */
+export const ENGINEERING_R7_EDGES = [
+    be126Edge,
+    be127Edge,
+    be128Edge,
+    be129Edge,
+    be130Edge,
+    be131Edge,
+    be132Edge,
+    be133Edge,
+];
+//# sourceMappingURL=engineering-r7.js.map