universal-physics-tensor 4.0.0 → 6.0.0

package/dist/composition/edges/plasma-space.js

@@ -0,0 +1,481 @@
+import { DIMENSIONLESS } from '../../dimensional/types.js';
+import { CONSTANTS } from '../../dimensional/symbolic-constants.js';
+import { evaluateBennettPinch, evaluateBohmSheath, evaluateChapmanFerraro, evaluateColdPlasmaCutoff, evaluateCrossFieldDiffusion, evaluateDebyeSphere, evaluateExBDrift, evaluateFirehose, evaluateGradBDrift, evaluateIonAcoustic, evaluateLandauDamping, evaluateLangmuirProbe, evaluateLawsonBreakeven, evaluateLorentzResistivity, evaluateLossCone, evaluateLowerHybrid, evaluateMirrorInstability, evaluateMultiDebye, evaluateObliqueMagnetosonic, evaluateParkerCritical, evaluateParkerSpiral, evaluateResistiveSlab, evaluateUpperHybrid, } from '../../bridges/plasma-space.js';
+import { withBoundAliases } from '../edge.js';
+import { bennettCurrentQ, bennettLineDensityQ, bennettTemperatureQ, bohmElectronTemperatureQ, bohmIonMassQ, bohmIonSpeedQ, crossFieldAlphaQ, crossFieldRatioQ, cutoffCyclotronQ, cutoffPlasmaQ, cutoffRFrequencyQ, debyeSphereArgumentQ, debyeSphereDensityQ, debyeSphereLengthQ, exbFieldQ, exbFieldXQ, exbFieldYQ, exbSpeedQ, firehoseBetaParallelQ, firehoseBetaPerpQ, firehoseMarginQ, gradbChargeQ, gradbDriftQ, gradbFieldQ, gradbGradientQ, gradbMassQ, gradbPerpSpeedQ, ionAcousticDebyeQ, ionAcousticFrequencyQ, ionAcousticSoundQ, ionAcousticWavenumberQ, landauGammaQ, landauOmegaQ, landauThermalQ, landauWavenumberQ, lawsonEnergyQ, lawsonProductQ, lawsonReactivityQ, lawsonTemperatureQ, lorentzChargeStateQ, lorentzCoulombLogQ, lorentzMassQ, lorentzResistivityQ, lorentzTemperatureQ, lossConeMirrorQ, lossConePitchQ, lossConeThroatQ, lowerHybridElectronCyclotronQ, lowerHybridFrequencyQ, lowerHybridIonCyclotronQ, lowerHybridIonPlasmaQ, mirrorBetaPerpQ, mirrorMarginQ, mirrorTParallelQ, mirrorTPerpQ, multiDebye1Q, multiDebye2Q, multiDebyeLengthQ, obliqueAlfvenQ, obliqueAngleQ, obliqueFastSpeedQ, obliqueSoundQ, parkerMassQ, parkerRadiusQ, parkerSoundQ, probeElectronMassQ, probeIonMassQ, probePotentialRatioQ, slabConductivityQ, slabTimeQ, slabWidthQ, spiralColatitudeQ, spiralOmegaQ, spiralRadialSpeedQ, spiralRadiusQ, spiralRatioQ, standoffDensityQ, standoffFieldQ, standoffSixthQ, standoffSpeedQ, upperHybridDensityQ, upperHybridFieldQ, upperHybridFrequencyQ, upperHybridMassQ, } 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 expOf = (arg) => ({ kind: 'transcendental', fn: 'exp', arg });
+const lnOf = (arg) => ({ kind: 'transcendental', fn: 'ln', arg });
+const sinOf = (arg) => ({ kind: 'transcendental', fn: 'sin', arg });
+const cosOf = (arg) => ({ kind: 'transcendental', fn: 'cos', arg });
+const absOf = (arg) => ({ kind: 'abs', arg });
+const pi = { kind: 'symbol', name: 'pi', dim: DIMENSIONLESS };
+const mu0 = ratio(lit(1), prod(csym('epsilon_0'), pow(csym('c'), lit(2))));
+const domain = (description, predicate) => ({
+    description,
+    predicate,
+});
+/** BE-103 cold Bohm threshold. γ_i = 3 is the nested warm sound, not this edge. @public */
+export const be103Edge = withBoundAliases({
+    id: 'be-103',
+    beId: 103,
+    kind: 'law',
+    label: 'Bohm cold threshold u0² = k_B T_e / m_i',
+    sources: [bohmElectronTemperatureQ, bohmIonMassQ],
+    aliases: { 'bohm-electron-temperature': ['T_e_K'], 'bohm-ion-mass': ['m_i_kg'] },
+    target: bohmIonSpeedQ,
+    confidence: 'established',
+    domain: domain('m_i > 0', (i) => finite(i['bohm-ion-mass']) && i['bohm-ion-mass'] > 0),
+    evaluate: (i) => evaluateBohmSheath({ T_e_K: i['bohm-electron-temperature'], m_i_kg: i['bohm-ion-mass'] }).u0_m_s,
+    symbolic: sqrt(ratio(prod(csym('k_B'), qsym(bohmElectronTemperatureQ)), qsym(bohmIonMassQ))),
+    citation: 'PhysJS.BohmSheath.cold_bohm_threshold. The sound-speed root is the non-negative one. γ_i = 5/3 is not the warm closure.',
+});
+/** BE-104 ion acoustic dispersion. Warm ions are not this row. @public */
+export const be104Edge = withBoundAliases({
+    id: 'be-104',
+    beId: 104,
+    kind: 'law',
+    label: 'Ion acoustic ω² = k² c_s² / (1 + k² λ_De²)',
+    sources: [ionAcousticWavenumberQ, ionAcousticSoundQ, ionAcousticDebyeQ],
+    aliases: {
+        'ion-acoustic-wavenumber': ['k_per_m'],
+        'ion-acoustic-sound': ['c_s_m_per_s'],
+        'ion-acoustic-debye': ['lambda_De_m'],
+    },
+    target: ionAcousticFrequencyQ,
+    confidence: 'established',
+    domain: domain('k ≠ 0', (i) => finite(i['ion-acoustic-wavenumber']) && i['ion-acoustic-wavenumber'] !== 0),
+    evaluate: (i) => evaluateIonAcoustic({
+        k_per_m: i['ion-acoustic-wavenumber'],
+        c_s_m_s: i['ion-acoustic-sound'],
+        lambda_De_m: i['ion-acoustic-debye'],
+    }).omega_rad_s,
+    symbolic: sqrt(ratio(prod(pow(qsym(ionAcousticWavenumberQ), lit(2)), pow(qsym(ionAcousticSoundQ), lit(2))), plus(lit(1), prod(pow(qsym(ionAcousticWavenumberQ), lit(2)), pow(qsym(ionAcousticDebyeQ), lit(2)))))),
+    citation: 'PhysJS.IonAcoustic.dispersion_eq. Warm ions and a kinetic dispersion are not this row.',
+});
+/** BE-105 upper hybrid. Not a cyclotron monomial. @public */
+export const be105Edge = withBoundAliases({
+    id: 'be-105',
+    beId: 105,
+    kind: 'law',
+    label: 'Upper hybrid ω² = ω_p² + ω_c²',
+    sources: [upperHybridDensityQ, upperHybridFieldQ, upperHybridMassQ],
+    aliases: { 'upper-hybrid-density': ['n_per_m3'], 'upper-hybrid-field': ['B_T'], 'upper-hybrid-mass': ['m_kg'] },
+    target: upperHybridFrequencyQ,
+    confidence: 'established',
+    domain: domain('m > 0', (i) => finite(i['upper-hybrid-mass']) && i['upper-hybrid-mass'] > 0),
+    evaluate: (i) => evaluateUpperHybrid({
+        n_per_m3: i['upper-hybrid-density'],
+        B_T: i['upper-hybrid-field'],
+        m_kg: i['upper-hybrid-mass'],
+    }).omega_rad_s,
+    symbolic: sqrt(plus(ratio(prod(qsym(upperHybridDensityQ), pow(csym('e'), lit(2))), prod(csym('epsilon_0'), qsym(upperHybridMassQ))), pow(ratio(prod(csym('e'), qsym(upperHybridFieldQ)), qsym(upperHybridMassQ)), lit(2)))),
+    citation: 'PhysJS.UpperHybrid.upper_hybrid_eq. e is the elementary charge. Not a cyclotron monomial.',
+});
+/** BE-106 R cutoff. The Stix index is a hypothesis. @public */
+export const be106Edge = withBoundAliases({
+    id: 'be-106',
+    beId: 106,
+    kind: 'law',
+    label: 'R cutoff ω_R = (ω_c + sqrt(ω_c² + 4 ω_p²))/2',
+    sources: [cutoffCyclotronQ, cutoffPlasmaQ],
+    aliases: { 'cutoff-cyclotron': ['omega_c_rad_s'], 'cutoff-plasma': ['omega_p_rad_s'] },
+    target: cutoffRFrequencyQ,
+    confidence: 'established',
+    domain: domain('ω_c ≥ 0; the Stix index is a hypothesis', (i) => finite(i['cutoff-cyclotron']) && i['cutoff-cyclotron'] >= 0),
+    evaluate: (i) => evaluateColdPlasmaCutoff({
+        omega_c_rad_s: i['cutoff-cyclotron'],
+        omega_p_rad_s: i['cutoff-plasma'],
+    }).omega_R_rad_s,
+    symbolic: ratio(plus(qsym(cutoffCyclotronQ), sqrt(plus(pow(qsym(cutoffCyclotronQ), lit(2)), prod(lit(4), pow(qsym(cutoffPlasmaQ), lit(2)))))), lit(2)),
+    citation: 'PhysJS.ColdPlasmaCutoff.cutoff_R. The cold Stix index n_R² = 1 − ω_p²/(ω(ω − ω_c)) is a hypothesis. The Stix dielectric is not re-derived.',
+});
+/** BE-107 lower hybrid. Dropping the leading 1 is a separate hypothesis. @public */
+export const be107Edge = withBoundAliases({
+    id: 'be-107',
+    beId: 107,
+    kind: 'law',
+    label: 'Lower hybrid ω² = 1/(1/ω_pi² + 1/(ω_ci ω_ce))',
+    sources: [lowerHybridIonPlasmaQ, lowerHybridIonCyclotronQ, lowerHybridElectronCyclotronQ],
+    aliases: {
+        'lower-hybrid-ion-plasma': ['omega_pi_rad_s'],
+        'lower-hybrid-ion-cyclotron': ['omega_ci_rad_s'],
+        'lower-hybrid-electron-cyclotron': ['omega_ce_rad_s'],
+    },
+    target: lowerHybridFrequencyQ,
+    confidence: 'established',
+    domain: domain('frequencies finite and nonzero', (i) => i['lower-hybrid-ion-plasma'] !== 0 && i['lower-hybrid-ion-cyclotron'] !== 0 && i['lower-hybrid-electron-cyclotron'] !== 0),
+    evaluate: (i) => evaluateLowerHybrid({
+        omega_pi_rad_s: i['lower-hybrid-ion-plasma'],
+        omega_ci_rad_s: i['lower-hybrid-ion-cyclotron'],
+        omega_ce_rad_s: i['lower-hybrid-electron-cyclotron'],
+    }).omega_rad_s,
+    symbolic: sqrt(ratio(lit(1), plus(ratio(lit(1), pow(qsym(lowerHybridIonPlasmaQ), lit(2))), ratio(lit(1), prod(qsym(lowerHybridIonCyclotronQ), qsym(lowerHybridElectronCyclotronQ)))))),
+    citation: 'PhysJS.LowerHybrid.lower_hybrid_eq. Dropping the leading 1 leaves ω² = ω_ci ω_ce.',
+});
+/** BE-108 fast oblique root. The be-69 quartic is a hypothesis. @public */
+export const be108Edge = withBoundAliases({
+    id: 'be-108',
+    beId: 108,
+    kind: 'law',
+    label: 'Oblique fast magnetosonic phase speed',
+    sources: [obliqueSoundQ, obliqueAlfvenQ, obliqueAngleQ],
+    aliases: { 'oblique-sound': ['c_s_m_per_s'], 'oblique-alfven': ['v_A_m_per_s'], 'oblique-angle': ['theta_rad'] },
+    target: obliqueFastSpeedQ,
+    confidence: 'established',
+    domain: domain('c_s² and v_A² ≥ 0', (i) => finite(i['oblique-sound']) && finite(i['oblique-alfven'])),
+    evaluate: (i) => evaluateObliqueMagnetosonic({
+        c_s_m_s: i['oblique-sound'],
+        v_A_m_s: i['oblique-alfven'],
+        theta_rad: i['oblique-angle'],
+    }).v_fast_m_s,
+    symbolic: sqrt(prod(lit(0.5), plus(plus(pow(qsym(obliqueSoundQ), lit(2)), pow(qsym(obliqueAlfvenQ), lit(2))), sqrt(minus(pow(plus(pow(qsym(obliqueSoundQ), lit(2)), pow(qsym(obliqueAlfvenQ), lit(2))), lit(2)), prod(lit(4), pow(qsym(obliqueSoundQ), lit(2)), pow(qsym(obliqueAlfvenQ), lit(2)), pow(cosOf(qsym(obliqueAngleQ)), lit(2)))))))),
+    citation: 'PhysJS.ObliqueMagnetosonic.phase_speed_eq. The be-69 quartic with k_∥ = k cos θ is a hypothesis.',
+});
+/** BE-109 equal-temperature Bennett current. The factor 8 is the single-population current. @public */
+export const be109Edge = withBoundAliases({
+    id: 'be-109',
+    beId: 109,
+    kind: 'law',
+    label: 'Bennett current I = sqrt(16 π N k_B T / μ0)',
+    sources: [bennettLineDensityQ, bennettTemperatureQ],
+    aliases: { 'bennett-line-density': ['N_per_m'], 'bennett-temperature': ['T_K'] },
+    target: bennettCurrentQ,
+    confidence: 'established',
+    domain: domain('N ≥ 0 and T ≥ 0', (i) => i['bennett-line-density'] >= 0 && i['bennett-temperature'] >= 0),
+    evaluate: (i) => evaluateBennettPinch({ N_per_m: i['bennett-line-density'], T_K: i['bennett-temperature'] }).I_A,
+    symbolic: sqrt(ratio(prod(lit(16), pi, qsym(bennettLineDensityQ), csym('k_B'), qsym(bennettTemperatureQ)), mu0)),
+    citation: 'PhysJS.BennettPinch.equal_temperature_current. N_e = N_i = N and T_e = T_i = T. The factor 8 is the single-population current.',
+});
+/** BE-110 loss cone. @public */
+export const be110Edge = withBoundAliases({
+    id: 'be-110',
+    beId: 110,
+    kind: 'law',
+    label: 'Loss cone sin² θ_lc = B0/Bm',
+    sources: [lossConeThroatQ, lossConeMirrorQ],
+    aliases: { 'loss-cone-throat': ['B0_T'], 'loss-cone-mirror': ['Bm_T'] },
+    target: lossConePitchQ,
+    confidence: 'established',
+    domain: domain('Bm ≠ 0', (i) => i['loss-cone-mirror'] !== 0),
+    evaluate: (i) => evaluateLossCone({ B0_T: i['loss-cone-throat'], Bm_T: i['loss-cone-mirror'] }).sin2_theta,
+    symbolic: ratio(qsym(lossConeThroatQ), qsym(lossConeMirrorQ)),
+    citation: 'PhysJS.LossCone.loss_cone_eq. Pitch-angle scattering is not this statement.',
+});
+/** BE-111 grad-B drift. q stays signed. @public */
+export const be111Edge = withBoundAliases({
+    id: 'be-111',
+    beId: 111,
+    kind: 'law',
+    label: 'Grad-B drift m v_⊥² |∇B| / (2 q B²)',
+    sources: [gradbMassQ, gradbPerpSpeedQ, gradbGradientQ, gradbChargeQ, gradbFieldQ],
+    aliases: {
+        'gradb-mass': ['m_kg'],
+        'gradb-perp-speed': ['v_perp_m_per_s'],
+        'gradb-gradient': ['gradB_T_per_m'],
+        'gradb-charge': ['q_C'],
+        'gradb-field': ['B_T'],
+    },
+    target: gradbDriftQ,
+    confidence: 'established',
+    domain: domain('q ≠ 0 and B ≠ 0', (i) => i['gradb-charge'] !== 0 && i['gradb-field'] !== 0),
+    evaluate: (i) => evaluateGradBDrift({
+        m_kg: i['gradb-mass'],
+        v_perp_m_s: i['gradb-perp-speed'],
+        gradB_T_per_m: i['gradb-gradient'],
+        q_C: i['gradb-charge'],
+        B_T: i['gradb-field'],
+    }).v_m_s,
+    symbolic: ratio(prod(qsym(gradbMassQ), pow(qsym(gradbPerpSpeedQ), lit(2)), absOf(qsym(gradbGradientQ))), prod(lit(2), qsym(gradbChargeQ), pow(qsym(gradbFieldQ), lit(2)))),
+    citation: 'PhysJS.GradBDrift.drift_magnitude. q is the signed charge. High-β curvature is a different vector.',
+});
+/** BE-112 E×B speed. Charge cancels. @public */
+export const be112Edge = withBoundAliases({
+    id: 'be-112',
+    beId: 112,
+    kind: 'law',
+    label: 'E×B drift speed |E|/|B|',
+    sources: [exbFieldXQ, exbFieldYQ, exbFieldQ],
+    aliases: { 'exb-field-x': ['E_x_V_per_m'], 'exb-field-y': ['E_y_V_per_m'], 'exb-field': ['B_T'] },
+    target: exbSpeedQ,
+    confidence: 'established',
+    domain: domain('B ≠ 0', (i) => i['exb-field'] !== 0),
+    evaluate: (i) => evaluateExBDrift({
+        E_x_V_per_m: i['exb-field-x'],
+        E_y_V_per_m: i['exb-field-y'],
+        B_T: i['exb-field'],
+    }).speed_m_s,
+    symbolic: ratio(sqrt(plus(pow(qsym(exbFieldXQ), lit(2)), pow(qsym(exbFieldYQ), lit(2)))), absOf(qsym(exbFieldQ))),
+    citation: 'PhysJS.ExBDrift.drift_eq. v_x = E_y/B and v_y = −E_x/B. Not a finite-Larmor-radius drift.',
+});
+/** BE-113 Landau rate. The residue formula is a hypothesis. @public */
+export const be113Edge = withBoundAliases({
+    id: 'be-113',
+    beId: 113,
+    kind: 'law',
+    label: 'Landau damping γ from the Maxwellian slope',
+    sources: [landauOmegaQ, landauWavenumberQ, landauThermalQ],
+    aliases: { 'landau-omega': ['omega_rad_s'], 'landau-wavenumber': ['k_per_m'], 'landau-thermal': ['v_t_m_per_s'] },
+    target: landauGammaQ,
+    confidence: 'established',
+    domain: domain('k ≠ 0 and v_t ≠ 0; the residue is a hypothesis', (i) => i['landau-wavenumber'] !== 0 && i['landau-thermal'] !== 0),
+    evaluate: (i) => evaluateLandauDamping({
+        omega_rad_s: i['landau-omega'],
+        k_per_m: i['landau-wavenumber'],
+        v_t_m_s: i['landau-thermal'],
+    }).gamma_rad_s,
+    symbolic: prod(lit(-1), sqrt(ratio(pi, lit(8))), qsym(landauOmegaQ), pow(ratio(qsym(landauOmegaQ), prod(qsym(landauWavenumberQ), qsym(landauThermalQ))), lit(3)), expOf(prod(lit(-1), ratio(pow(qsym(landauOmegaQ), lit(2)), prod(lit(2), pow(qsym(landauWavenumberQ), lit(2)), pow(qsym(landauThermalQ), lit(2))))))),
+    citation: 'PhysJS.LandauDamping.damping_eq. The residue formula γ = (π ω³/(2 n k²)) (∂f/∂v)|_{ω/k} is a hypothesis, not a contour integral.',
+});
+/** BE-114 Λ = 9 N_D. @public */
+export const be114Edge = withBoundAliases({
+    id: 'be-114',
+    beId: 114,
+    kind: 'law',
+    label: 'Debye sphere Λ = 9 N_D',
+    sources: [debyeSphereDensityQ, debyeSphereLengthQ],
+    aliases: { 'debye-sphere-density': ['n_per_m3'], 'debye-sphere-length': ['lambda_D_m'] },
+    target: debyeSphereArgumentQ,
+    confidence: 'established',
+    domain: domain('n and λ_D finite', (i) => finite(i['debye-sphere-density']) && finite(i['debye-sphere-length'])),
+    evaluate: (i) => evaluateDebyeSphere({ n_per_m3: i['debye-sphere-density'], lambda_D_m: i['debye-sphere-length'] }).Lambda,
+    symbolic: prod(lit(9), ratio(prod(lit(4), pi), lit(3)), qsym(debyeSphereDensityQ), pow(qsym(debyeSphereLengthQ), lit(3))),
+    citation: 'PhysJS.DebyeSphere.coulomb_argument. The angular integral and ln Λ are not evaluated.',
+});
+/** BE-115 two-species Debye length. @public */
+export const be115Edge = withBoundAliases({
+    id: 'be-115',
+    beId: 115,
+    kind: 'law',
+    label: 'Two-species Debye length',
+    sources: [multiDebye1Q, multiDebye2Q],
+    aliases: { 'multi-debye-1': ['lambda_1_m'], 'multi-debye-2': ['lambda_2_m'] },
+    target: multiDebyeLengthQ,
+    confidence: 'established',
+    domain: domain('both lengths nonzero', (i) => i['multi-debye-1'] !== 0 && i['multi-debye-2'] !== 0),
+    evaluate: (i) => evaluateMultiDebye({ lambda_1_m: i['multi-debye-1'], lambda_2_m: i['multi-debye-2'] }).lambda_D_m,
+    symbolic: sqrt(ratio(lit(1), plus(ratio(lit(1), pow(qsym(multiDebye1Q), lit(2))), ratio(lit(1), pow(qsym(multiDebye2Q), lit(2)))))),
+    citation: 'PhysJS.MultiDebye.debye_two. Dropping a responding species leaves a different length.',
+});
+/** BE-116 kinetic resistivity. The reference closure is nested and is not this edge. @public */
+export const be116Edge = withBoundAliases({
+    id: 'be-116',
+    beId: 116,
+    kind: 'law',
+    label: 'Kinetic Lorentz resistivity',
+    sources: [lorentzChargeStateQ, lorentzCoulombLogQ, lorentzTemperatureQ, lorentzMassQ],
+    aliases: {
+        'lorentz-charge-state': ['Z'],
+        'lorentz-coulomb-log': ['ln_Lambda'],
+        'lorentz-temperature': ['T_K'],
+        'lorentz-mass': ['m_kg'],
+    },
+    target: lorentzResistivityQ,
+    confidence: 'established',
+    domain: domain('T > 0 and m > 0; the transport integrals are hypotheses', (i) => i['lorentz-temperature'] > 0 && i['lorentz-mass'] > 0),
+    evaluate: (i) => evaluateLorentzResistivity({
+        Z: i['lorentz-charge-state'],
+        ln_Lambda: i['lorentz-coulomb-log'],
+        T_K: i['lorentz-temperature'],
+        m_kg: i['lorentz-mass'],
+    }).eta_ohm_m,
+    symbolic: ratio(prod(ratio(prod(pi, sqrt(prod(lit(2), pi))), lit(8)), qsym(lorentzChargeStateQ), pow(csym('e'), lit(2)), sqrt(qsym(lorentzMassQ)), qsym(lorentzCoulombLogQ)), prod(pow(prod(lit(4), pi, csym('epsilon_0')), lit(2)), pow(prod(csym('k_B'), qsym(lorentzTemperatureQ)), lit(1.5)))),
+    citation: 'PhysJS.LorentzResistivity.resistivity_eq. σ_tr = 4π b0² ln Λ and the conductivity moment are hypotheses. The typed reference closure is nested.',
+});
+/** BE-117 resistive decay. η_m and the diffusion equation are hypotheses. @public */
+export const be117Edge = withBoundAliases({
+    id: 'be-117',
+    beId: 117,
+    kind: 'law',
+    label: 'Resistive slab τ = μ0 σ L² / π²',
+    sources: [slabConductivityQ, slabWidthQ],
+    aliases: { 'slab-conductivity': ['sigma_S_per_m'], 'slab-width': ['L_m'] },
+    target: slabTimeQ,
+    confidence: 'established',
+    domain: domain('σ and L finite', (i) => finite(i['slab-conductivity']) && finite(i['slab-width'])),
+    evaluate: (i) => evaluateResistiveSlab({ sigma_S_per_m: i['slab-conductivity'], L_m: i['slab-width'] }).tau_s,
+    symbolic: ratio(prod(mu0, qsym(slabConductivityQ), pow(qsym(slabWidthQ), lit(2))), pow(pi, lit(2))),
+    citation: 'PhysJS.ResistiveSlab.decay_time. A denominator 4π is not π². Not the Reynolds analogy.',
+});
+/** BE-118 Parker critical radius. The 2 is spherical divergence. @public */
+export const be118Edge = withBoundAliases({
+    id: 'be-118',
+    beId: 118,
+    kind: 'law',
+    label: 'Parker critical radius r_c = G M / (2 c_s²)',
+    sources: [parkerSoundQ, parkerMassQ],
+    aliases: { 'parker-sound': ['c_s_m_per_s'], 'parker-mass': ['M_kg'] },
+    target: parkerRadiusQ,
+    confidence: 'established',
+    domain: domain('c_s ≠ 0', (i) => i['parker-sound'] !== 0),
+    evaluate: (i) => evaluateParkerCritical({ c_s_m_s: i['parker-sound'], M_kg: i['parker-mass'] }).r_c_m,
+    symbolic: ratio(prod(csym('G'), qsym(parkerMassQ)), prod(lit(2), pow(qsym(parkerSoundQ), lit(2)))),
+    citation: 'PhysJS.ParkerCritical.critical_radius. The critical point also has v² = c_s².',
+});
+/** BE-119 Parker spiral. Dropping the sign is a different spiral. @public */
+export const be119Edge = withBoundAliases({
+    id: 'be-119',
+    beId: 119,
+    kind: 'law',
+    label: 'Parker spiral B_φ/B_r = −Ω r sinθ / v_r',
+    sources: [spiralOmegaQ, spiralRadiusQ, spiralColatitudeQ, spiralRadialSpeedQ],
+    aliases: {
+        'spiral-omega': ['Omega_rad_s'],
+        'spiral-radius': ['r_m'],
+        'spiral-colatitude': ['theta_rad'],
+        'spiral-radial-speed': ['v_r_m_per_s'],
+    },
+    target: spiralRatioQ,
+    confidence: 'established',
+    domain: domain('v_r ≠ 0', (i) => i['spiral-radial-speed'] !== 0),
+    evaluate: (i) => evaluateParkerSpiral({
+        Omega_rad_s: i['spiral-omega'],
+        r_m: i['spiral-radius'],
+        theta_rad: i['spiral-colatitude'],
+        v_r_m_s: i['spiral-radial-speed'],
+    }).ratio,
+    symbolic: ratio(prod(lit(-1), qsym(spiralOmegaQ), qsym(spiralRadiusQ), sinOf(qsym(spiralColatitudeQ))), qsym(spiralRadialSpeedQ)),
+    citation: 'PhysJS.ParkerSpiral.spiral_ratio. Dropping the sign is a different spiral.',
+});
+/** BE-120 Chapman–Ferraro. The doubled dipole is a hypothesis. @public */
+export const be120Edge = withBoundAliases({
+    id: 'be-120',
+    beId: 120,
+    kind: 'law',
+    label: 'Chapman–Ferraro (R/R_E)⁶ = 2 B_E² / (μ0 ρ v²)',
+    sources: [standoffFieldQ, standoffDensityQ, standoffSpeedQ],
+    aliases: { 'standoff-field': ['B_E_T'], 'standoff-density': ['rho_kg_per_m3'], 'standoff-speed': ['v_m_per_s'] },
+    target: standoffSixthQ,
+    confidence: 'established',
+    domain: domain('ρ ≠ 0 and v ≠ 0', (i) => i['standoff-density'] !== 0 && i['standoff-speed'] !== 0),
+    evaluate: (i) => evaluateChapmanFerraro({
+        B_E_T: i['standoff-field'],
+        rho_kg_per_m3: i['standoff-density'],
+        v_m_s: i['standoff-speed'],
+    }).standoff_sixth,
+    symbolic: ratio(prod(lit(2), pow(qsym(standoffFieldQ), lit(2))), prod(mu0, qsym(standoffDensityQ), pow(qsym(standoffSpeedQ), lit(2)))),
+    citation: 'PhysJS.ChapmanFerraro.standoff_eq. A doubled dipole is a hypothesis. Specular 2 ρ v² replaces the numerator 2 by 1.',
+});
+/** BE-121 Lawson product. The 12 is 4 × 3. @public */
+export const be121Edge = withBoundAliases({
+    id: 'be-121',
+    beId: 121,
+    kind: 'law',
+    label: 'Lawson n τ = 12 k_B T / (⟨σv⟩ E)',
+    sources: [lawsonTemperatureQ, lawsonReactivityQ, lawsonEnergyQ],
+    aliases: { 'lawson-temperature': ['T_K'], 'lawson-reactivity': ['sigma_v_m3_per_s'], 'lawson-energy': ['E_J'] },
+    target: lawsonProductQ,
+    confidence: 'established',
+    domain: domain('⟨σv⟩ ≠ 0 and E ≠ 0', (i) => i['lawson-reactivity'] !== 0 && i['lawson-energy'] !== 0),
+    evaluate: (i) => evaluateLawsonBreakeven({
+        T_K: i['lawson-temperature'],
+        sigma_v_m3_s: i['lawson-reactivity'],
+        E_J: i['lawson-energy'],
+    }).n_tau_s_per_m3,
+    symbolic: ratio(prod(lit(12), csym('k_B'), qsym(lawsonTemperatureQ)), prod(qsym(lawsonReactivityQ), qsym(lawsonEnergyQ))),
+    citation: 'PhysJS.LawsonBreakeven.breakeven_eq. The 12 is 4 × 3. The Maxwellian average is not computed.',
+});
+/** BE-122 floating potential. Not Child–Langmuir. @public */
+export const be122Edge = withBoundAliases({
+    id: 'be-122',
+    beId: 122,
+    kind: 'law',
+    label: 'Floating potential eΦ/(k_B T) = (1/2) ln(2 π m_e/m_i) − 1/2',
+    sources: [probeElectronMassQ, probeIonMassQ],
+    aliases: { 'probe-electron-mass': ['m_e_kg'], 'probe-ion-mass': ['m_i_kg'] },
+    target: probePotentialRatioQ,
+    confidence: 'established',
+    domain: domain('masses positive', (i) => i['probe-electron-mass'] > 0 && i['probe-ion-mass'] > 0),
+    evaluate: (i) => evaluateLangmuirProbe({ m_e_kg: i['probe-electron-mass'], m_i_kg: i['probe-ion-mass'] }).ePhi_over_kT,
+    symbolic: minus(prod(lit(0.5), lnOf(ratio(prod(lit(2), pi, qsym(probeElectronMassQ)), qsym(probeIonMassQ)))), lit(0.5)),
+    citation: 'PhysJS.LangmuirProbe.floating_potential. The ion flux is the nested bohmFlux object. Not Child–Langmuir.',
+});
+/** BE-123 cross-field ratio. Einstein's relation is be-70 and is not re-proved. @public */
+export const be123Edge = withBoundAliases({
+    id: 'be-123',
+    beId: 123,
+    kind: 'law',
+    label: 'Cross-field ratio D_⊥/D_∥ = 1/(1+α²)',
+    sources: [crossFieldAlphaQ],
+    aliases: { 'cross-field-alpha': ['alpha'] },
+    target: crossFieldRatioQ,
+    confidence: 'established',
+    domain: domain('α finite', (i) => finite(i['cross-field-alpha'])),
+    evaluate: (i) => evaluateCrossFieldDiffusion({ alpha: i['cross-field-alpha'] }).ratio,
+    symbolic: ratio(lit(1), plus(lit(1), pow(qsym(crossFieldAlphaQ), lit(2)))),
+    citation: 'PhysJS.CrossFieldDiffusion.diffusion_ratio. Einstein relation on μ and on μ/(1+α²) is be-70 and is not re-proved. Bohm 1/16 equals this ratio only when α² = 15.',
+});
+/** BE-124 firehose margin. The CGL root is a hypothesis. @public */
+export const be124Edge = withBoundAliases({
+    id: 'be-124',
+    beId: 124,
+    kind: 'law',
+    label: 'Firehose margin β_∥ − β_⊥',
+    sources: [firehoseBetaParallelQ, firehoseBetaPerpQ],
+    aliases: { 'firehose-beta-parallel': ['beta_parallel'], 'firehose-beta-perp': ['beta_perp'] },
+    target: firehoseMarginQ,
+    confidence: 'established',
+    domain: domain('betas finite', (i) => finite(i['firehose-beta-parallel']) && finite(i['firehose-beta-perp'])),
+    evaluate: (i) => evaluateFirehose({ beta_parallel: i['firehose-beta-parallel'], beta_perp: i['firehose-beta-perp'] }).margin,
+    symbolic: minus(qsym(firehoseBetaParallelQ), qsym(firehoseBetaPerpQ)),
+    citation: 'PhysJS.Firehose.firehose_threshold. The CGL root is a hypothesis. With β = 2 μ0 p/B² the threshold is β_∥ − β_⊥ > 2.',
+});
+/** BE-125 mirror margin. The kinetic integral is a hypothesis. @public */
+export const be125Edge = withBoundAliases({
+    id: 'be-125',
+    beId: 125,
+    kind: 'law',
+    label: 'Mirror margin β_⊥ (T_⊥/T_∥ − 1)',
+    sources: [mirrorBetaPerpQ, mirrorTPerpQ, mirrorTParallelQ],
+    aliases: {
+        'mirror-beta-perp': ['beta_perp'],
+        'mirror-t-perp': ['T_perp_K'],
+        'mirror-t-parallel': ['T_parallel_K'],
+    },
+    target: mirrorMarginQ,
+    confidence: 'established',
+    domain: domain('T_∥ ≠ 0; the kinetic integral is a hypothesis', (i) => i['mirror-t-parallel'] !== 0),
+    evaluate: (i) => evaluateMirrorInstability({
+        beta_perp: i['mirror-beta-perp'],
+        T_perp_K: i['mirror-t-perp'],
+        T_parallel_K: i['mirror-t-parallel'],
+    }).margin,
+    symbolic: prod(qsym(mirrorBetaPerpQ), minus(ratio(qsym(mirrorTPerpQ), qsym(mirrorTParallelQ)), lit(1))),
+    citation: 'PhysJS.MirrorInstability.mirror_threshold. The threshold β_⊥ (T_⊥/T_∥ − 1) > 1 is a hypothesis. The kinetic integral is not evaluated.',
+});
+/** Plasma and space edges, in catalog-id order. @public */
+export const PLASMA_SPACE_EDGES = [
+    be103Edge,
+    be104Edge,
+    be105Edge,
+    be106Edge,
+    be107Edge,
+    be108Edge,
+    be109Edge,
+    be110Edge,
+    be111Edge,
+    be112Edge,
+    be113Edge,
+    be114Edge,
+    be115Edge,
+    be116Edge,
+    be117Edge,
+    be118Edge,
+    be119Edge,
+    be120Edge,
+    be121Edge,
+    be122Edge,
+    be123Edge,
+    be124Edge,
+    be125Edge,
+];
+//# sourceMappingURL=plasma-space.js.map

package/dist/composition/edges/plasma-space.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plasma-space.js","sourceRoot":"","sources":["../../../src/composition/edges/plasma-space.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,sBAAsB,EACtB,wBAAwB,EACxB,2BAA2B,EAC3B,mBAAmB,EACnB,gBAAgB,EAChB,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,qBAAqB,EACrB,uBAAuB,EACvB,0BAA0B,EAC1B,gBAAgB,EAChB,mBAAmB,EACnB,yBAAyB,EACzB,kBAAkB,EAClB,2BAA2B,EAC3B,sBAAsB,EACtB,oBAAoB,EACpB,qBAAqB,EACrB,mBAAmB,GACpB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,gBAAgB,EAAmB,MAAM,YAAY,CAAC;AAE/D,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,mBAAmB,EACnB,wBAAwB,EACxB,YAAY,EACZ,aAAa,EACb,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,SAAS,EACT,UAAU,EACV,UAAU,EACV,SAAS,EACT,qBAAqB,EACrB,iBAAiB,EACjB,eAAe,EACf,YAAY,EACZ,WAAW,EACX,WAAW,EACX,cAAc,EACd,UAAU,EACV,eAAe,EACf,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB,EACjB,sBAAsB,EACtB,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,iBAAiB,EACjB,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,YAAY,EACZ,mBAAmB,EACnB,mBAAmB,EACnB,eAAe,EACf,cAAc,EACd,eAAe,EACf,6BAA6B,EAC7B,qBAAqB,EACrB,wBAAwB,EACxB,qBAAqB,EACrB,eAAe,EACf,aAAa,EACb,gBAAgB,EAChB,YAAY,EACZ,YAAY,EACZ,YAAY,EACZ,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,iBAAiB,EACjB,aAAa,EACb,WAAW,EACX,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,aAAa,EACb,oBAAoB,EACpB,iBAAiB,EACjB,SAAS,EACT,UAAU,EACV,iBAAiB,EACjB,YAAY,EACZ,kBAAkB,EAClB,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,GACjB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC;AAC/B,MAAM,IAAI,GAAG,CAAC,CAAW,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;AACvF,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,IAAc,EAAY,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAC/D,MAAM,KAAK,GAAG,CAAC,GAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AACxF,MAAM,IAAI,GAAG,CAAC,GAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACtF,MAAM,KAAK,GAAG,CAAC,GAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AACxF,MAAM,KAAK,GAAG,CAAC,GAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AACxF,MAAM,KAAK,GAAG,CAAC,GAAa,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAClE,MAAM,EAAE,GAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;AACxE,MAAM,GAAG,GAAa,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAErF,MAAM,MAAM,GAAG,CAAC,WAAmB,EAAE,SAAiD,EAAE,EAAE,CAAC,CAAC;IAC1F,WAAW;IACX,SAAS;CACV,CAAC,CAAC;AAEH,2FAA2F;AAC3F,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,yCAAyC;IAChD,OAAO,EAAE,CAAC,wBAAwB,EAAE,YAAY,CAAC;IACjD,OAAO,EAAE,EAAE,2BAA2B,EAAE,CAAC,OAAO,CAAC,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,EAAE;IAChF,MAAM,EAAE,aAAa;IACrB,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,GAAG,CAAC,CAAC;IACtF,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,kBAAkB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,2BAA2B,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,MAAM;IAClG,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,wBAAwB,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;IAC5F,QAAQ,EACN,yHAAyH;CAC5H,CAAC,CAAC;AAEH,0EAA0E;AAC1E,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,sBAAsB,EAAE,iBAAiB,EAAE,iBAAiB,CAAC;IACvE,OAAO,EAAE;QACP,yBAAyB,EAAE,CAAC,SAAS,CAAC;QACtC,oBAAoB,EAAE,CAAC,aAAa,CAAC;QACrC,oBAAoB,EAAE,CAAC,aAAa,CAAC;KACtC;IACD,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,IAAI,CAAC,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAC1G,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mBAAmB,CAAC;QAClB,OAAO,EAAE,CAAC,CAAC,yBAAyB,CAAC;QACrC,OAAO,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAChC,WAAW,EAAE,CAAC,CAAC,oBAAoB,CAAC;KACrC,CAAC,CAAC,WAAW;IAChB,QAAQ,EAAE,IAAI,CACZ,KAAK,CACH,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,sBAAsB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EACrF,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,sBAAsB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACpG,CACF;IACD,QAAQ,EAAE,wFAAwF;CACnG,CAAC,CAAC;AAEH,6DAA6D;AAC7D,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,mBAAmB,EAAE,iBAAiB,EAAE,gBAAgB,CAAC;IACnE,OAAO,EAAE,EAAE,sBAAsB,EAAE,CAAC,UAAU,CAAC,EAAE,oBAAoB,EAAE,CAAC,KAAK,CAAC,EAAE,mBAAmB,EAAE,CAAC,MAAM,CAAC,EAAE;IAC/G,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAC5F,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mBAAmB,CAAC;QAClB,QAAQ,EAAE,CAAC,CAAC,sBAAsB,CAAC;QACnC,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,IAAI,EAAE,CAAC,CAAC,mBAAmB,CAAC;KAC7B,CAAC,CAAC,WAAW;IAChB,QAAQ,EAAE,IAAI,CACZ,IAAI,CACF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAC/G,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,iBAAiB,CAAC,CAAC,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CACrF,CACF;IACD,QAAQ,EAAE,2FAA2F;CACtG,CAAC,CAAC;AAEH,+DAA+D;AAC/D,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,8CAA8C;IACrD,OAAO,EAAE,CAAC,gBAAgB,EAAE,aAAa,CAAC;IAC1C,OAAO,EAAE,EAAE,kBAAkB,EAAE,CAAC,eAAe,CAAC,EAAE,eAAe,EAAE,CAAC,eAAe,CAAC,EAAE;IACtF,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,yCAAyC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC7H,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC;QACvB,aAAa,EAAE,CAAC,CAAC,kBAAkB,CAAC;QACpC,aAAa,EAAE,CAAC,CAAC,eAAe,CAAC;KAClC,CAAC,CAAC,aAAa;IAClB,QAAQ,EAAE,KAAK,CACb,IAAI,CACF,IAAI,CAAC,gBAAgB,CAAC,EACtB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAChG,EACD,GAAG,CAAC,CAAC,CAAC,CACP;IACD,QAAQ,EACN,4IAA4I;CAC/I,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,qBAAqB,EAAE,wBAAwB,EAAE,6BAA6B,CAAC;IACzF,OAAO,EAAE;QACP,yBAAyB,EAAE,CAAC,gBAAgB,CAAC;QAC7C,4BAA4B,EAAE,CAAC,gBAAgB,CAAC;QAChD,iCAAiC,EAAE,CAAC,gBAAgB,CAAC;KACtD;IACD,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,gCAAgC,EAAE,CAAC,CAAC,EAAE,EAAE,CACrD,CAAC,CAAC,yBAAyB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,4BAA4B,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,iCAAiC,CAAC,KAAK,CAAC,CAC1H;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mBAAmB,CAAC;QAClB,cAAc,EAAE,CAAC,CAAC,yBAAyB,CAAC;QAC5C,cAAc,EAAE,CAAC,CAAC,4BAA4B,CAAC;QAC/C,cAAc,EAAE,CAAC,CAAC,iCAAiC,CAAC;KACrD,CAAC,CAAC,WAAW;IAChB,QAAQ,EAAE,IAAI,CACZ,KAAK,CACH,GAAG,CAAC,CAAC,CAAC,EACN,IAAI,CACF,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,qBAAqB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EACvD,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,wBAAwB,CAAC,EAAE,IAAI,CAAC,6BAA6B,CAAC,CAAC,CAAC,CACzF,CACF,CACF;IACD,QAAQ,EAAE,mFAAmF;CAC9F,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,uCAAuC;IAC9C,OAAO,EAAE,CAAC,aAAa,EAAE,cAAc,EAAE,aAAa,CAAC;IACvD,OAAO,EAAE,EAAE,eAAe,EAAE,CAAC,aAAa,CAAC,EAAE,gBAAgB,EAAE,CAAC,aAAa,CAAC,EAAE,eAAe,EAAE,CAAC,WAAW,CAAC,EAAE;IAChH,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,mBAAmB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACrG,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,2BAA2B,CAAC;QAC1B,OAAO,EAAE,CAAC,CAAC,eAAe,CAAC;QAC3B,OAAO,EAAE,CAAC,CAAC,gBAAgB,CAAC;QAC5B,SAAS,EAAE,CAAC,CAAC,eAAe,CAAC;KAC9B,CAAC,CAAC,UAAU;IACf,QAAQ,EAAE,IAAI,CACZ,IAAI,CACF,GAAG,CAAC,GAAG,CAAC,EACR,IAAI,CACF,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EACzE,IAAI,CACF,KAAK,CACH,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EACtF,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAC3H,CACF,CACF,CACF,CACF;IACD,QAAQ,EAAE,kGAAkG;CAC7G,CAAC,CAAC;AAEH,uGAAuG;AACvG,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,6CAA6C;IACpD,OAAO,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IACnD,OAAO,EAAE,EAAE,sBAAsB,EAAE,CAAC,SAAS,CAAC,EAAE,qBAAqB,EAAE,CAAC,KAAK,CAAC,EAAE;IAChF,MAAM,EAAE,eAAe;IACvB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACzG,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,oBAAoB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,sBAAsB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC,GAAG;IACjG,QAAQ,EAAE,IAAI,CACZ,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,mBAAmB,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,CACjG;IACD,QAAQ,EACN,gIAAgI;CACnI,CAAC,CAAC;AAEH,gCAAgC;AAChC,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,6BAA6B;IACpC,OAAO,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;IAC3C,OAAO,EAAE,EAAE,kBAAkB,EAAE,CAAC,MAAM,CAAC,EAAE,kBAAkB,EAAE,CAAC,MAAM,CAAC,EAAE;IACvE,MAAM,EAAE,cAAc;IACtB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC5D,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,UAAU;IAC1G,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;IAC7D,QAAQ,EAAE,6EAA6E;CACxF,CAAC,CAAC;AAEH,mDAAmD;AACnD,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,UAAU,EAAE,eAAe,EAAE,cAAc,EAAE,YAAY,EAAE,WAAW,CAAC;IACjF,OAAO,EAAE;QACP,YAAY,EAAE,CAAC,MAAM,CAAC;QACtB,kBAAkB,EAAE,CAAC,gBAAgB,CAAC;QACtC,gBAAgB,EAAE,CAAC,eAAe,CAAC;QACnC,cAAc,EAAE,CAAC,KAAK,CAAC;QACvB,aAAa,EAAE,CAAC,KAAK,CAAC;KACvB;IACD,MAAM,EAAE,WAAW;IACnB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAC3F,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,kBAAkB,CAAC;QACjB,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC;QACrB,UAAU,EAAE,CAAC,CAAC,kBAAkB,CAAC;QACjC,aAAa,EAAE,CAAC,CAAC,gBAAgB,CAAC;QAClC,GAAG,EAAE,CAAC,CAAC,cAAc,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,aAAa,CAAC;KACtB,CAAC,CAAC,KAAK;IACV,QAAQ,EAAE,KAAK,CACb,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,EACvF,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACjE;IACD,QAAQ,EAAE,oGAAoG;CAC/G,CAAC,CAAC;AAEH,gDAAgD;AAChD,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,yBAAyB;IAChC,OAAO,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,SAAS,CAAC;IAC5C,OAAO,EAAE,EAAE,aAAa,EAAE,CAAC,aAAa,CAAC,EAAE,aAAa,EAAE,CAAC,aAAa,CAAC,EAAE,WAAW,EAAE,CAAC,KAAK,CAAC,EAAE;IACjG,MAAM,EAAE,SAAS;IACjB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IACpD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,gBAAgB,CAAC;QACf,WAAW,EAAE,CAAC,CAAC,aAAa,CAAC;QAC7B,WAAW,EAAE,CAAC,CAAC,aAAa,CAAC;QAC7B,GAAG,EAAE,CAAC,CAAC,WAAW,CAAC;KACpB,CAAC,CAAC,SAAS;IACd,QAAQ,EAAE,KAAK,CACb,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACxE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CACvB;IACD,QAAQ,EAAE,2FAA2F;CACtG,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,4CAA4C;IACnD,OAAO,EAAE,CAAC,YAAY,EAAE,iBAAiB,EAAE,cAAc,CAAC;IAC1D,OAAO,EAAE,EAAE,cAAc,EAAE,CAAC,aAAa,CAAC,EAAE,mBAAmB,EAAE,CAAC,SAAS,CAAC,EAAE,gBAAgB,EAAE,CAAC,aAAa,CAAC,EAAE;IACjH,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,gDAAgD,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAClI,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,WAAW,EAAE,CAAC,CAAC,cAAc,CAAC;QAC9B,OAAO,EAAE,CAAC,CAAC,mBAAmB,CAAC;QAC/B,OAAO,EAAE,CAAC,CAAC,gBAAgB,CAAC;KAC7B,CAAC,CAAC,WAAW;IAChB,QAAQ,EAAE,IAAI,CACZ,GAAG,CAAC,CAAC,CAAC,CAAC,EACP,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EACvB,IAAI,CAAC,YAAY,CAAC,EAClB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAC3F,KAAK,CACH,IAAI,CACF,GAAG,CAAC,CAAC,CAAC,CAAC,EACP,KAAK,CACH,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAC/B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACtF,CACF,CACF,CACF;IACD,QAAQ,EACN,kIAAkI;CACrI,CAAC,CAAC;AAEH,gCAAgC;AAChC,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,wBAAwB;IAC/B,OAAO,EAAE,CAAC,mBAAmB,EAAE,kBAAkB,CAAC;IAClD,OAAO,EAAE,EAAE,sBAAsB,EAAE,CAAC,UAAU,CAAC,EAAE,qBAAqB,EAAE,CAAC,YAAY,CAAC,EAAE;IACxF,MAAM,EAAE,oBAAoB;IAC5B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC;IAChH,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mBAAmB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,sBAAsB,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC,MAAM;IAC3G,QAAQ,EAAE,IAAI,CACZ,GAAG,CAAC,CAAC,CAAC,EACN,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAC/B,IAAI,CAAC,mBAAmB,CAAC,EACzB,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CACtC;IACD,QAAQ,EAAE,uFAAuF;CAClG,CAAC,CAAC;AAEH,+CAA+C;AAC/C,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,YAAY,EAAE,YAAY,CAAC;IACrC,OAAO,EAAE,EAAE,eAAe,EAAE,CAAC,YAAY,CAAC,EAAE,eAAe,EAAE,CAAC,YAAY,CAAC,EAAE;IAC7E,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,sBAAsB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IACnG,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,UAAU;IAClH,QAAQ,EAAE,IAAI,CACZ,KAAK,CACH,GAAG,CAAC,CAAC,CAAC,EACN,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACrG,CACF;IACD,QAAQ,EAAE,uFAAuF;CAClG,CAAC,CAAC;AAEH,gGAAgG;AAChG,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,6BAA6B;IACpC,OAAO,EAAE,CAAC,mBAAmB,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,YAAY,CAAC;IACrF,OAAO,EAAE;QACP,sBAAsB,EAAE,CAAC,GAAG,CAAC;QAC7B,qBAAqB,EAAE,CAAC,WAAW,CAAC;QACpC,qBAAqB,EAAE,CAAC,KAAK,CAAC;QAC9B,cAAc,EAAE,CAAC,MAAM,CAAC;KACzB;IACD,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CACZ,yDAAyD,EACzD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAC7D;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,0BAA0B,CAAC;QACzB,CAAC,EAAE,CAAC,CAAC,sBAAsB,CAAC;QAC5B,SAAS,EAAE,CAAC,CAAC,qBAAqB,CAAC;QACnC,GAAG,EAAE,CAAC,CAAC,qBAAqB,CAAC;QAC7B,IAAI,EAAE,CAAC,CAAC,cAAc,CAAC;KACxB,CAAC,CAAC,SAAS;IACd,QAAQ,EAAE,KAAK,CACb,IAAI,CACF,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAC/C,IAAI,CAAC,mBAAmB,CAAC,EACzB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EACtB,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,EACxB,IAAI,CAAC,kBAAkB,CAAC,CACzB,EACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CACpH;IACD,QAAQ,EACN,iJAAiJ;CACpJ,CAAC,CAAC;AAEH,qFAAqF;AACrF,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,iBAAiB,EAAE,UAAU,CAAC;IACxC,OAAO,EAAE,EAAE,mBAAmB,EAAE,CAAC,eAAe,CAAC,EAAE,YAAY,EAAE,CAAC,KAAK,CAAC,EAAE;IAC1E,MAAM,EAAE,SAAS;IACjB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IAClG,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,KAAK;IAC7G,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,iBAAiB,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACnG,QAAQ,EAAE,wFAAwF;CACnG,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,6CAA6C;IACpD,OAAO,EAAE,CAAC,YAAY,EAAE,WAAW,CAAC;IACpC,OAAO,EAAE,EAAE,cAAc,EAAE,CAAC,aAAa,CAAC,EAAE,aAAa,EAAE,CAAC,MAAM,CAAC,EAAE;IACrE,MAAM,EAAE,aAAa;IACrB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IACzD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,KAAK;IACrG,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClG,QAAQ,EAAE,+EAA+E;CAC1F,CAAC,CAAC;AAEH,6EAA6E;AAC7E,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,yCAAyC;IAChD,OAAO,EAAE,CAAC,YAAY,EAAE,aAAa,EAAE,iBAAiB,EAAE,kBAAkB,CAAC;IAC7E,OAAO,EAAE;QACP,cAAc,EAAE,CAAC,aAAa,CAAC;QAC/B,eAAe,EAAE,CAAC,KAAK,CAAC;QACxB,mBAAmB,EAAE,CAAC,WAAW,CAAC;QAClC,qBAAqB,EAAE,CAAC,aAAa,CAAC;KACvC;IACD,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAChE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,oBAAoB,CAAC;QACnB,WAAW,EAAE,CAAC,CAAC,cAAc,CAAC;QAC9B,GAAG,EAAE,CAAC,CAAC,eAAe,CAAC;QACvB,SAAS,EAAE,CAAC,CAAC,mBAAmB,CAAC;QACjC,OAAO,EAAE,CAAC,CAAC,qBAAqB,CAAC;KAClC,CAAC,CAAC,KAAK;IACV,QAAQ,EAAE,KAAK,CACb,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,EACtF,IAAI,CAAC,kBAAkB,CAAC,CACzB;IACD,QAAQ,EAAE,4EAA4E;CACvF,CAAC,CAAC;AAEH,0EAA0E;AAC1E,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,cAAc,EAAE,gBAAgB,EAAE,cAAc,CAAC;IAC3D,OAAO,EAAE,EAAE,gBAAgB,EAAE,CAAC,OAAO,CAAC,EAAE,kBAAkB,EAAE,CAAC,eAAe,CAAC,EAAE,gBAAgB,EAAE,CAAC,WAAW,CAAC,EAAE;IAChH,MAAM,EAAE,cAAc;IACtB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAClG,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,sBAAsB,CAAC;QACrB,KAAK,EAAE,CAAC,CAAC,gBAAgB,CAAC;QAC1B,aAAa,EAAE,CAAC,CAAC,kBAAkB,CAAC;QACpC,KAAK,EAAE,CAAC,CAAC,gBAAgB,CAAC;KAC3B,CAAC,CAAC,cAAc;IACnB,QAAQ,EAAE,KAAK,CACb,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAC/C,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACrE;IACD,QAAQ,EAAE,qHAAqH;CAChI,CAAC,CAAC;AAEH,sDAAsD;AACtD,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,kCAAkC;IACzC,OAAO,EAAE,CAAC,kBAAkB,EAAE,iBAAiB,EAAE,aAAa,CAAC;IAC/D,OAAO,EAAE,EAAE,oBAAoB,EAAE,CAAC,KAAK,CAAC,EAAE,mBAAmB,EAAE,CAAC,kBAAkB,CAAC,EAAE,eAAe,EAAE,CAAC,KAAK,CAAC,EAAE;IAC/G,MAAM,EAAE,cAAc;IACtB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IACrG,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,uBAAuB,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,YAAY,EAAE,CAAC,CAAC,mBAAmB,CAAC;QACpC,GAAG,EAAE,CAAC,CAAC,eAAe,CAAC;KACxB,CAAC,CAAC,cAAc;IACnB,QAAQ,EAAE,KAAK,CACb,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC,EACpD,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,CACnD;IACD,QAAQ,EAAE,+FAA+F;CAC1G,CAAC,CAAC;AAEH,6DAA6D;AAC7D,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,6DAA6D;IACpE,OAAO,EAAE,CAAC,kBAAkB,EAAE,aAAa,CAAC;IAC5C,OAAO,EAAE,EAAE,qBAAqB,EAAE,CAAC,QAAQ,CAAC,EAAE,gBAAgB,EAAE,CAAC,QAAQ,CAAC,EAAE;IAC5E,MAAM,EAAE,oBAAoB;IAC5B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACjG,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,YAAY;IACvG,QAAQ,EAAE,KAAK,CACb,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAC5F,GAAG,CAAC,GAAG,CAAC,CACT;IACD,QAAQ,EAAE,0GAA0G;CACrH,CAAC,CAAC;AAEH,2FAA2F;AAC3F,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,sCAAsC;IAC7C,OAAO,EAAE,CAAC,gBAAgB,CAAC;IAC3B,OAAO,EAAE,EAAE,mBAAmB,EAAE,CAAC,OAAO,CAAC,EAAE;IAC3C,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC;IACjE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,2BAA2B,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC,KAAK;IACrF,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,QAAQ,EACN,kKAAkK;CACrK,CAAC,CAAC;AAEH,oEAAoE;AACpE,MAAM,CAAC,MAAM,SAAS,GAAe,gBAAgB,CAAC;IACpD,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,2BAA2B;IAClC,OAAO,EAAE,CAAC,qBAAqB,EAAE,iBAAiB,CAAC;IACnD,OAAO,EAAE,EAAE,wBAAwB,EAAE,CAAC,eAAe,CAAC,EAAE,oBAAoB,EAAE,CAAC,WAAW,CAAC,EAAE;IAC7F,MAAM,EAAE,eAAe;IACvB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAC7G,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,gBAAgB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,wBAAwB,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,MAAM;IAC7G,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,EAAE,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACrE,QAAQ,EACN,sHAAsH;CACzH,CAAC,CAAC;AAEH,0EAA0E;AAC1E,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,eAAe,EAAE,YAAY,EAAE,gBAAgB,CAAC;IAC1D,OAAO,EAAE;QACP,kBAAkB,EAAE,CAAC,WAAW,CAAC;QACjC,eAAe,EAAE,CAAC,UAAU,CAAC;QAC7B,mBAAmB,EAAE,CAAC,cAAc,CAAC;KACtC;IACD,MAAM,EAAE,aAAa;IACrB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,MAAM,CACZ,+CAA+C,EAC/C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CACpC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,yBAAyB,CAAC;QACxB,SAAS,EAAE,CAAC,CAAC,kBAAkB,CAAC;QAChC,QAAQ,EAAE,CAAC,CAAC,eAAe,CAAC;QAC5B,YAAY,EAAE,CAAC,CAAC,mBAAmB,CAAC;KACrC,CAAC,CAAC,MAAM;IACX,QAAQ,EAAE,IAAI,CACZ,IAAI,CAAC,eAAe,CAAC,EACrB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CACjE;IACD,QAAQ,EACN,wIAAwI;CAC3I,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;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/evaluate-relation.d.ts

@@ -0,0 +1,37 @@
+/**
+ * One public evaluation of a catalog id or a canonical id.
+ *
+ * The number is the edge's closed form, which stays that id's single
+ * numeric body. A formula string is not parsed. An unset coefficient is
+ * `kind: 'unset'` and is not a number.
+ *
+ * @module composition/evaluate-relation
+ */
+import type { Dimension } from '../dimensional/types.js';
+/**
+ * A sourced number, or an unset coefficient.
+ *
+ * `dimension` is the edge target. `formula` is the edge label.
+ *
+ * @public
+ */
+export type Evaluation = {
+    readonly kind: 'value';
+    readonly value: number;
+    readonly dimension: Dimension;
+} | {
+    readonly kind: 'unset';
+    readonly formula: string;
+};
+/**
+ * Evaluate `id` at `bindings`.
+ *
+ * A catalog id is `be-70` or `70`. A canonical id is `CE-sound-speed`.
+ * Binding keys are the edge's quantity names or its aliases.
+ * A missing input, a domain failure, and a sign failure throw.
+ * An unset coefficient returns `{ kind: 'unset', formula }` and no number.
+ *
+ * @public
+ */
+export declare function evaluateRelation(id: string | number, bindings: Readonly<Record<string, number>>): Evaluation;
+//# sourceMappingURL=evaluate-relation.d.ts.map

package/dist/composition/evaluate-relation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate-relation.d.ts","sourceRoot":"","sources":["../../src/composition/evaluate-relation.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAKzD;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;CAAE,GACjF;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAUzD;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAC9B,EAAE,EAAE,MAAM,GAAG,MAAM,EACnB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GACzC,UAAU,CAcZ"}

package/dist/composition/evaluate-relation.js

@@ -0,0 +1,47 @@
+/**
+ * One public evaluation of a catalog id or a canonical id.
+ *
+ * The number is the edge's closed form, which stays that id's single
+ * numeric body. A formula string is not parsed. An unset coefficient is
+ * `kind: 'unset'` and is not a number.
+ *
+ * @module composition/evaluate-relation
+ */
+import { CANONICAL_GRAPH } from './canonical-graph.js';
+import { CATALOG_GRAPH } from './catalog-graph.js';
+import { CoefficientUnsetError, evaluateEdge } from './edge.js';
+function resolveEdge(id) {
+    const key = typeof id === 'number' ? `be-${id}` : id;
+    const edges = [...CATALOG_GRAPH, ...CANONICAL_GRAPH];
+    const exact = edges.find((edge) => edge.id === key);
+    if (exact !== undefined)
+        return exact;
+    throw new Error(`evaluateRelation: unknown id '${key}'`);
+}
+/**
+ * Evaluate `id` at `bindings`.
+ *
+ * A catalog id is `be-70` or `70`. A canonical id is `CE-sound-speed`.
+ * Binding keys are the edge's quantity names or its aliases.
+ * A missing input, a domain failure, and a sign failure throw.
+ * An unset coefficient returns `{ kind: 'unset', formula }` and no number.
+ *
+ * @public
+ */
+export function evaluateRelation(id, bindings) {
+    const edge = resolveEdge(id);
+    try {
+        const value = evaluateEdge(edge, { ...bindings });
+        if (!Number.isFinite(value)) {
+            throw new Error(`evaluateRelation: ${edge.id} is missing a finite input`);
+        }
+        return { kind: 'value', value, dimension: edge.target.dim };
+    }
+    catch (error) {
+        if (error instanceof CoefficientUnsetError) {
+            return { kind: 'unset', formula: error.formula };
+        }
+        throw error;
+    }
+}
+//# sourceMappingURL=evaluate-relation.js.map

package/dist/composition/evaluate-relation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate-relation.js","sourceRoot":"","sources":["../../src/composition/evaluate-relation.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,YAAY,EAAmB,MAAM,WAAW,CAAC;AAajF,SAAS,WAAW,CAAC,EAAmB;IACtC,MAAM,GAAG,GAAG,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACrD,MAAM,KAAK,GAAG,CAAC,GAAG,aAAa,EAAE,GAAG,eAAe,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;IACpD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,IAAI,KAAK,CAAC,iCAAiC,GAAG,GAAG,CAAC,CAAC;AAC3D,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC9B,EAAmB,EACnB,QAA0C;IAE1C,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;IAC7B,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAC;QAClD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,qBAAqB,IAAI,CAAC,EAAE,4BAA4B,CAAC,CAAC;QAC5E,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAC9D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,qBAAqB,EAAE,CAAC;YAC3C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QACnD,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/composition/explain.d.ts

@@ -94,6 +94,12 @@ export interface QuantityExplanation {
     readonly consistency?: RetrodictionResult;
     /** Agreed recovered value (consistent or single), when values supplied. */
     readonly recoveredValue?: number;
+    /**
+     * Where the numeric factor came from. `unset` is not the same as a
+     * missing `recoveredValue`: the inputs were read and the factor has
+     * no source. `group` means a bound dimensionless group supplied it.
+     */
+    readonly coefficient?: 'sourced' | 'group' | 'unset';
     /** Whether the KNOWN set dimensionally fixes the target (Buckingham-π);
      *  absent when the target has no resolvable dimension. */
     readonly dimensional?: DimensionalDeterminationResult;