universal-physics-tensor 2.0.0 → 3.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +5 -5
- package/dist/atlas/association.d.ts.map +1 -1
- package/dist/atlas/association.js +7 -0
- package/dist/atlas/association.js.map +1 -1
- package/dist/atlas/catalog-formal-ref.js +1 -1
- package/dist/atlas/catalog-formal-ref.js.map +1 -1
- package/dist/atlas/derive-evidence.d.ts +6 -4
- package/dist/atlas/derive-evidence.d.ts.map +1 -1
- package/dist/atlas/derive-evidence.js +12 -4
- package/dist/atlas/derive-evidence.js.map +1 -1
- package/dist/atlas/physjs-ref.d.ts +8 -3
- package/dist/atlas/physjs-ref.d.ts.map +1 -1
- package/dist/atlas/physjs-ref.js +101 -4
- package/dist/atlas/physjs-ref.js.map +1 -1
- package/dist/bridges/be64-eddington-luminosity.d.ts.map +1 -1
- package/dist/bridges/be64-eddington-luminosity.js +1 -3
- package/dist/bridges/be64-eddington-luminosity.js.map +1 -1
- package/dist/bridges/be66-radiation-pressure.d.ts +30 -0
- package/dist/bridges/be66-radiation-pressure.d.ts.map +1 -0
- package/dist/bridges/be66-radiation-pressure.js +37 -0
- package/dist/bridges/be66-radiation-pressure.js.map +1 -0
- package/dist/bridges/be67-alfven-speed.d.ts +54 -0
- package/dist/bridges/be67-alfven-speed.d.ts.map +1 -0
- package/dist/bridges/be67-alfven-speed.js +49 -0
- package/dist/bridges/be67-alfven-speed.js.map +1 -0
- package/dist/bridges/be68-tolman-ehrenfest.d.ts +49 -0
- package/dist/bridges/be68-tolman-ehrenfest.d.ts.map +1 -0
- package/dist/bridges/be68-tolman-ehrenfest.js +46 -0
- package/dist/bridges/be68-tolman-ehrenfest.js.map +1 -0
- package/dist/bridges/be69-fast-magnetosonic.d.ts +30 -0
- package/dist/bridges/be69-fast-magnetosonic.d.ts.map +1 -0
- package/dist/bridges/be69-fast-magnetosonic.js +33 -0
- package/dist/bridges/be69-fast-magnetosonic.js.map +1 -0
- package/dist/bridges/be70-einstein-relation.d.ts +30 -0
- package/dist/bridges/be70-einstein-relation.d.ts.map +1 -0
- package/dist/bridges/be70-einstein-relation.js +33 -0
- package/dist/bridges/be70-einstein-relation.js.map +1 -0
- package/dist/bridges/be71-clapeyron.d.ts +43 -0
- package/dist/bridges/be71-clapeyron.d.ts.map +1 -0
- package/dist/bridges/be71-clapeyron.js +32 -0
- package/dist/bridges/be71-clapeyron.js.map +1 -0
- package/dist/bridges/be72-gravitational-redshift.d.ts +43 -0
- package/dist/bridges/be72-gravitational-redshift.d.ts.map +1 -0
- package/dist/bridges/be72-gravitational-redshift.js +32 -0
- package/dist/bridges/be72-gravitational-redshift.js.map +1 -0
- package/dist/bridges/be73-kelvin-peltier.d.ts +42 -0
- package/dist/bridges/be73-kelvin-peltier.d.ts.map +1 -0
- package/dist/bridges/be73-kelvin-peltier.js +31 -0
- package/dist/bridges/be73-kelvin-peltier.js.map +1 -0
- package/dist/bridges/bridge-equations.d.ts +16 -0
- package/dist/bridges/bridge-equations.d.ts.map +1 -1
- package/dist/bridges/bridge-equations.js +16 -0
- package/dist/bridges/bridge-equations.js.map +1 -1
- package/dist/bridges/evaluators.d.ts +3 -3
- package/dist/bridges/evaluators.d.ts.map +1 -1
- package/dist/bridges/evaluators.js +53 -4
- package/dist/bridges/evaluators.js.map +1 -1
- package/dist/bridges/index.d.ts +20 -4
- package/dist/bridges/index.d.ts.map +1 -1
- package/dist/bridges/index.js +184 -4
- package/dist/bridges/index.js.map +1 -1
- package/dist/cli/closed-form-range.d.ts +16 -0
- package/dist/cli/closed-form-range.d.ts.map +1 -0
- package/dist/cli/closed-form-range.js +31 -0
- package/dist/cli/closed-form-range.js.map +1 -0
- package/dist/cli/command.d.ts +4 -3
- package/dist/cli/command.d.ts.map +1 -1
- package/dist/cli/command.js +4 -3
- package/dist/cli/command.js.map +1 -1
- package/dist/cli/commands/_atlas-map.d.ts +2 -1
- package/dist/cli/commands/_atlas-map.d.ts.map +1 -1
- package/dist/cli/commands/_atlas-map.js +8 -7
- package/dist/cli/commands/_atlas-map.js.map +1 -1
- package/dist/cli/commands/_atlas-route.d.ts.map +1 -1
- package/dist/cli/commands/_atlas-route.js +3 -2
- package/dist/cli/commands/_atlas-route.js.map +1 -1
- package/dist/cli/commands/atlas.d.ts.map +1 -1
- package/dist/cli/commands/atlas.js +16 -9
- package/dist/cli/commands/atlas.js.map +1 -1
- package/dist/cli/commands/axes.d.ts.map +1 -1
- package/dist/cli/commands/axes.js +2 -1
- package/dist/cli/commands/axes.js.map +1 -1
- package/dist/cli/commands/candidates.d.ts.map +1 -1
- package/dist/cli/commands/candidates.js +2 -1
- package/dist/cli/commands/candidates.js.map +1 -1
- package/dist/cli/commands/chain.d.ts.map +1 -1
- package/dist/cli/commands/chain.js +9 -3
- package/dist/cli/commands/chain.js.map +1 -1
- package/dist/cli/commands/confront.d.ts.map +1 -1
- package/dist/cli/commands/confront.js +5 -4
- package/dist/cli/commands/confront.js.map +1 -1
- package/dist/cli/commands/connectors.d.ts.map +1 -1
- package/dist/cli/commands/connectors.js +34 -14
- package/dist/cli/commands/connectors.js.map +1 -1
- package/dist/cli/commands/derive.d.ts.map +1 -1
- package/dist/cli/commands/derive.js +25 -6
- package/dist/cli/commands/derive.js.map +1 -1
- package/dist/cli/commands/discover.d.ts.map +1 -1
- package/dist/cli/commands/discover.js +5 -1
- package/dist/cli/commands/discover.js.map +1 -1
- package/dist/cli/commands/eval.d.ts.map +1 -1
- package/dist/cli/commands/eval.js +27 -8
- package/dist/cli/commands/eval.js.map +1 -1
- package/dist/cli/commands/evaluate.d.ts.map +1 -1
- package/dist/cli/commands/evaluate.js +3 -2
- package/dist/cli/commands/evaluate.js.map +1 -1
- package/dist/cli/commands/explain.d.ts.map +1 -1
- package/dist/cli/commands/explain.js +132 -20
- package/dist/cli/commands/explain.js.map +1 -1
- package/dist/cli/commands/map.d.ts.map +1 -1
- package/dist/cli/commands/map.js +47 -32
- package/dist/cli/commands/map.js.map +1 -1
- package/dist/cli/commands/path.d.ts.map +1 -1
- package/dist/cli/commands/path.js +2 -1
- package/dist/cli/commands/path.js.map +1 -1
- package/dist/cli/commands/probe.d.ts.map +1 -1
- package/dist/cli/commands/probe.js +2 -1
- package/dist/cli/commands/probe.js.map +1 -1
- package/dist/cli/commands/regime.d.ts.map +1 -1
- package/dist/cli/commands/regime.js +36 -24
- package/dist/cli/commands/regime.js.map +1 -1
- package/dist/cli/commands/search.d.ts.map +1 -1
- package/dist/cli/commands/search.js +8 -3
- package/dist/cli/commands/search.js.map +1 -1
- package/dist/cli/commands/symbolic.d.ts.map +1 -1
- package/dist/cli/commands/symbolic.js +5 -0
- package/dist/cli/commands/symbolic.js.map +1 -1
- package/dist/cli/determination.d.ts +36 -0
- package/dist/cli/determination.d.ts.map +1 -0
- package/dist/cli/determination.js +32 -0
- package/dist/cli/determination.js.map +1 -0
- package/dist/cli/errors.d.ts +5 -1
- package/dist/cli/errors.d.ts.map +1 -1
- package/dist/cli/errors.js +5 -1
- package/dist/cli/errors.js.map +1 -1
- package/dist/cli/eval-numbers.d.ts +4 -2
- package/dist/cli/eval-numbers.d.ts.map +1 -1
- package/dist/cli/eval-numbers.js +23 -7
- package/dist/cli/eval-numbers.js.map +1 -1
- package/dist/cli/main.d.ts.map +1 -1
- package/dist/cli/main.js +10 -303
- package/dist/cli/main.js.map +1 -1
- package/dist/cli/map-evidence.d.ts +2 -1
- package/dist/cli/map-evidence.d.ts.map +1 -1
- package/dist/cli/map-evidence.js +2 -1
- package/dist/cli/map-evidence.js.map +1 -1
- package/dist/cli/published-url.d.ts +12 -0
- package/dist/cli/published-url.d.ts.map +1 -0
- package/dist/cli/published-url.js +18 -0
- package/dist/cli/published-url.js.map +1 -0
- package/dist/cli/search-index.d.ts +8 -0
- package/dist/cli/search-index.d.ts.map +1 -1
- package/dist/cli/search-index.js +30 -6
- package/dist/cli/search-index.js.map +1 -1
- package/dist/cli/top-level-help.d.ts +19 -0
- package/dist/cli/top-level-help.d.ts.map +1 -0
- package/dist/cli/top-level-help.js +41 -0
- package/dist/cli/top-level-help.js.map +1 -0
- package/dist/cli-api.d.ts +7 -3
- package/dist/cli-api.d.ts.map +1 -1
- package/dist/cli-api.js +7 -2
- package/dist/cli-api.js.map +1 -1
- package/dist/composition/adjudication.d.ts.map +1 -1
- package/dist/composition/adjudication.js +7 -0
- package/dist/composition/adjudication.js.map +1 -1
- package/dist/composition/aliases.d.ts +27 -0
- package/dist/composition/aliases.d.ts.map +1 -0
- package/dist/composition/aliases.js +105 -0
- package/dist/composition/aliases.js.map +1 -0
- package/dist/composition/bridge-analysis.d.ts +2 -2
- package/dist/composition/bridge-analysis.d.ts.map +1 -1
- package/dist/composition/bridge-analysis.js +18 -1
- package/dist/composition/bridge-analysis.js.map +1 -1
- package/dist/composition/canonical-compare.d.ts +45 -0
- package/dist/composition/canonical-compare.d.ts.map +1 -1
- package/dist/composition/canonical-compare.js +84 -0
- package/dist/composition/canonical-compare.js.map +1 -1
- package/dist/composition/canonical-graph.d.ts +9 -4
- package/dist/composition/canonical-graph.d.ts.map +1 -1
- package/dist/composition/canonical-graph.js +113 -8
- package/dist/composition/canonical-graph.js.map +1 -1
- package/dist/composition/catalog-graph.d.ts +5 -4
- package/dist/composition/catalog-graph.d.ts.map +1 -1
- package/dist/composition/catalog-graph.js +7 -4
- package/dist/composition/catalog-graph.js.map +1 -1
- package/dist/composition/edge.d.ts +6 -0
- package/dist/composition/edge.d.ts.map +1 -1
- package/dist/composition/edge.js.map +1 -1
- package/dist/composition/edges/applied-physicist.d.ts +83 -0
- package/dist/composition/edges/applied-physicist.d.ts.map +1 -0
- package/dist/composition/edges/applied-physicist.js +336 -0
- package/dist/composition/edges/applied-physicist.js.map +1 -0
- package/dist/composition/explain.d.ts +7 -0
- package/dist/composition/explain.d.ts.map +1 -1
- package/dist/composition/explain.js +11 -2
- package/dist/composition/explain.js.map +1 -1
- package/dist/composition/index.d.ts +2 -0
- package/dist/composition/index.d.ts.map +1 -1
- package/dist/composition/index.js +2 -0
- package/dist/composition/index.js.map +1 -1
- package/dist/composition/quantities/applied-physicist.d.ts +76 -0
- package/dist/composition/quantities/applied-physicist.d.ts.map +1 -0
- package/dist/composition/quantities/applied-physicist.js +213 -0
- package/dist/composition/quantities/applied-physicist.js.map +1 -0
- package/dist/composition/quantities.d.ts +1 -0
- package/dist/composition/quantities.d.ts.map +1 -1
- package/dist/composition/quantities.js +1 -0
- package/dist/composition/quantities.js.map +1 -1
- package/dist/composition/user-equation.d.ts.map +1 -1
- package/dist/composition/user-equation.js +25 -10
- package/dist/composition/user-equation.js.map +1 -1
- package/dist/core/constants.d.ts +16 -0
- package/dist/core/constants.d.ts.map +1 -1
- package/dist/core/constants.js +16 -0
- package/dist/core/constants.js.map +1 -1
- package/dist/dimensional/bridge-check.d.ts +1 -1
- package/dist/dimensional/bridge-check.d.ts.map +1 -1
- package/dist/dimensional/bridge-check.js +10 -2
- package/dist/dimensional/bridge-check.js.map +1 -1
- package/dist/dimensional/dimension-spec.d.ts +11 -0
- package/dist/dimensional/dimension-spec.d.ts.map +1 -1
- package/dist/dimensional/dimension-spec.js +18 -9
- package/dist/dimensional/dimension-spec.js.map +1 -1
- package/dist/dimensional/formula-names.d.ts.map +1 -1
- package/dist/dimensional/formula-names.js +9 -1
- package/dist/dimensional/formula-names.js.map +1 -1
- package/dist/dimensional/units.d.ts.map +1 -1
- package/dist/dimensional/units.js +3 -2
- package/dist/dimensional/units.js.map +1 -1
- package/dist/index.d.ts +6 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +6 -0
- package/dist/index.js.map +1 -1
- package/dist/numerical/binding-value.d.ts +18 -0
- package/dist/numerical/binding-value.d.ts.map +1 -1
- package/dist/numerical/binding-value.js +46 -2
- package/dist/numerical/binding-value.js.map +1 -1
- package/dist/relations/domain-regimes.d.ts +12 -0
- package/dist/relations/domain-regimes.d.ts.map +1 -0
- package/dist/relations/domain-regimes.js +21 -0
- package/dist/relations/domain-regimes.js.map +1 -0
- package/dist/relations/regime-registration.d.ts +32 -0
- package/dist/relations/regime-registration.d.ts.map +1 -0
- package/dist/relations/regime-registration.js +27 -0
- package/dist/relations/regime-registration.js.map +1 -0
- package/package.json +1 -1
|
@@ -0,0 +1,336 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Composition edges for BE-66 through BE-73.
|
|
3
|
+
*
|
|
4
|
+
* Each edge's endpoints state the same scale and force, so `kind` is
|
|
5
|
+
* `law`. The overlay `formalRef` is kind `bridge`, so each id is a
|
|
6
|
+
* seed. Confidence stays `established`: that grade is the catalog
|
|
7
|
+
* status, and a proof does not promote it. `μ0` is `1/(ε0 c²)`, the
|
|
8
|
+
* same product the Alfvén evaluator uses, so the leaf is `epsilon_0`
|
|
9
|
+
* and `c` rather than a new canonical constant.
|
|
10
|
+
*
|
|
11
|
+
* @module composition/edges/applied-physicist
|
|
12
|
+
*/
|
|
13
|
+
import { evaluateRadiationPressure } from '../../bridges/be66-radiation-pressure.js';
|
|
14
|
+
import { evaluateAlfvenSpeed } from '../../bridges/be67-alfven-speed.js';
|
|
15
|
+
import { evaluateTolmanEhrenfest } from '../../bridges/be68-tolman-ehrenfest.js';
|
|
16
|
+
import { evaluateFastMagnetosonic } from '../../bridges/be69-fast-magnetosonic.js';
|
|
17
|
+
import { evaluateEinsteinRelation } from '../../bridges/be70-einstein-relation.js';
|
|
18
|
+
import { evaluateClapeyron } from '../../bridges/be71-clapeyron.js';
|
|
19
|
+
import { evaluateGravitationalRedshift } from '../../bridges/be72-gravitational-redshift.js';
|
|
20
|
+
import { evaluateKelvinPeltier } from '../../bridges/be73-kelvin-peltier.js';
|
|
21
|
+
import { DIMENSIONLESS } from '../../dimensional/types.js';
|
|
22
|
+
import { CONSTANTS } from '../../dimensional/symbolic-constants.js';
|
|
23
|
+
import { alfvenSpeedQ, incidenceAngleQ, magneticFluxDensityQ, metricG00Q, plasmaMassDensityQ, poyntingFluxQ, properTemperatureQ, radiationPressureQ, reflectanceQ, tolmanInvariantQ, soundSpeedQ, fastMagnetosonicSpeedQ, electricalMobilityQ, einsteinTemperatureQ, carrierChargeQ, diffusivityQ, latentHeatQ, clapeyronTemperatureQ, specificVolumeChangeQ, clapeyronSlopeQ, redshiftMetricG00OneQ, redshiftMetricG00TwoQ, gravitationalFrequencyRatioQ, seebeckCoefficientQ, peltierTemperatureQ, peltierCoefficientQ, } from '../quantities.js';
|
|
24
|
+
const finite = Number.isFinite;
|
|
25
|
+
const qsym = (q) => ({ kind: 'symbol', name: q.name, dim: q.dim });
|
|
26
|
+
const csym = (name) => ({ kind: 'symbol', name, dim: CONSTANTS[name].dim });
|
|
27
|
+
const lit = (n) => ({ kind: 'symbol', name: String(n), dim: DIMENSIONLESS });
|
|
28
|
+
const prod = (...args) => ({ kind: 'op', op: '*', args });
|
|
29
|
+
const plus = (a, b) => ({ kind: 'op', op: '+', args: [a, b] });
|
|
30
|
+
const ratio = (num, den) => ({ kind: 'op', op: '/', args: [num, den] });
|
|
31
|
+
const pow = (base, exp) => ({ kind: 'op', op: '^', args: [base, exp] });
|
|
32
|
+
/** P_n = (I/c) (1+R) cos²θ. */
|
|
33
|
+
const BE66_SYMBOLIC = prod(ratio(qsym(poyntingFluxQ), csym('c')), plus(lit(1), qsym(reflectanceQ)), pow({ kind: 'transcendental', fn: 'cos', arg: qsym(incidenceAngleQ) }, lit(2)));
|
|
34
|
+
/** μ0 = 1/(ε0 c²). v_A = B / √(μ0 ρ). */
|
|
35
|
+
const BE67_SYMBOLIC = ratio(qsym(magneticFluxDensityQ), pow(prod(ratio(lit(1), prod(csym('epsilon_0'), pow(csym('c'), lit(2)))), qsym(plasmaMassDensityQ)), lit(0.5)));
|
|
36
|
+
/** T √(−g_00), written (−1)·g_00 because unary minus is not an operator. */
|
|
37
|
+
const BE68_SYMBOLIC = prod(qsym(properTemperatureQ), pow(prod(lit(-1), qsym(metricG00Q)), lit(0.5)));
|
|
38
|
+
/**
|
|
39
|
+
* BE-66 radiation pressure:
|
|
40
|
+
* (poynting-flux, reflectance, incidence-angle) → radiation-pressure,
|
|
41
|
+
* `P_n = (I/c) (1+R) cos²θ`. `c` is a constant. Endpoints share the
|
|
42
|
+
* classical electromagnetic attributes: a law.
|
|
43
|
+
*
|
|
44
|
+
* @public
|
|
45
|
+
*/
|
|
46
|
+
export const be66Edge = {
|
|
47
|
+
id: 'be-66',
|
|
48
|
+
beId: 66,
|
|
49
|
+
kind: 'law',
|
|
50
|
+
label: 'Radiation pressure P_n = (I/c) (1+R) cos²θ',
|
|
51
|
+
sources: [poyntingFluxQ, reflectanceQ, incidenceAngleQ],
|
|
52
|
+
aliases: {
|
|
53
|
+
'poynting-flux': ['I_W_per_m2', 'I'],
|
|
54
|
+
reflectance: ['R'],
|
|
55
|
+
'incidence-angle': ['theta_rad', 'theta'],
|
|
56
|
+
},
|
|
57
|
+
target: radiationPressureQ,
|
|
58
|
+
confidence: 'established',
|
|
59
|
+
domain: {
|
|
60
|
+
description: 'I ≥ 0, R on [0, 1], θ finite; transmission 0',
|
|
61
|
+
predicate: (i) => finite(i['poynting-flux']) &&
|
|
62
|
+
i['poynting-flux'] >= 0 &&
|
|
63
|
+
finite(i['reflectance']) &&
|
|
64
|
+
i['reflectance'] >= 0 &&
|
|
65
|
+
i['reflectance'] <= 1 &&
|
|
66
|
+
finite(i['incidence-angle']),
|
|
67
|
+
},
|
|
68
|
+
evaluate: (i) => evaluateRadiationPressure({
|
|
69
|
+
I_W_per_m2: i['poynting-flux'],
|
|
70
|
+
R: i['reflectance'],
|
|
71
|
+
theta_rad: i['incidence-angle'],
|
|
72
|
+
}).P_Pa,
|
|
73
|
+
symbolic: BE66_SYMBOLIC,
|
|
74
|
+
citation: 'OpenStax University Physics Volume 2, https://openstax.org/books/university-physics-volume-2/pages/16-4-momentum-and-radiation-pressure (absorber I/c, reflector 2I/c). The (1+R) cos²θ factor is this catalog\'s assembly.',
|
|
75
|
+
};
|
|
76
|
+
/**
|
|
77
|
+
* BE-67 Alfvén speed: (magnetic-flux-density, plasma-mass-density) →
|
|
78
|
+
* alfven-speed, `v_A = B / √(μ0 ρ)`. `ρ` is the total mass density.
|
|
79
|
+
* `μ0` is a constant. Endpoints share the classical electromagnetic
|
|
80
|
+
* attributes: a law.
|
|
81
|
+
*
|
|
82
|
+
* @public
|
|
83
|
+
*/
|
|
84
|
+
export const be67Edge = {
|
|
85
|
+
id: 'be-67',
|
|
86
|
+
beId: 67,
|
|
87
|
+
kind: 'law',
|
|
88
|
+
label: 'Alfvén speed v_A = B / √(μ0 ρ)',
|
|
89
|
+
sources: [magneticFluxDensityQ, plasmaMassDensityQ],
|
|
90
|
+
aliases: {
|
|
91
|
+
'magnetic-flux-density': ['B_T'],
|
|
92
|
+
'plasma-mass-density': ['rho_kg_per_m3'],
|
|
93
|
+
},
|
|
94
|
+
target: alfvenSpeedQ,
|
|
95
|
+
confidence: 'established',
|
|
96
|
+
domain: {
|
|
97
|
+
description: 'B ≥ 0 and ρ > 0, both finite; ρ is a mass density',
|
|
98
|
+
predicate: (i) => finite(i['magnetic-flux-density']) &&
|
|
99
|
+
i['magnetic-flux-density'] >= 0 &&
|
|
100
|
+
finite(i['plasma-mass-density']) &&
|
|
101
|
+
i['plasma-mass-density'] > 0,
|
|
102
|
+
},
|
|
103
|
+
evaluate: (i) => evaluateAlfvenSpeed({
|
|
104
|
+
B_T: i['magnetic-flux-density'],
|
|
105
|
+
rho_kg_per_m3: i['plasma-mass-density'],
|
|
106
|
+
}).v_m_per_s,
|
|
107
|
+
symbolic: BE67_SYMBOLIC,
|
|
108
|
+
citation: 'Alfvén 1942 Nature 150:405. SI form B/√(μ0 ρ); ρ is the total mass density.',
|
|
109
|
+
};
|
|
110
|
+
/**
|
|
111
|
+
* BE-68 Tolman–Ehrenfest: (proper-temperature, metric-g00) →
|
|
112
|
+
* tolman-invariant, `T √(−g_00)`. Endpoints share the classical
|
|
113
|
+
* gravitational attributes: a law. Not an identification with
|
|
114
|
+
* `temperature` or `hawking-temperature`.
|
|
115
|
+
*
|
|
116
|
+
* @public
|
|
117
|
+
*/
|
|
118
|
+
export const be68Edge = {
|
|
119
|
+
id: 'be-68',
|
|
120
|
+
beId: 68,
|
|
121
|
+
kind: 'law',
|
|
122
|
+
label: 'Tolman–Ehrenfest invariant T √(−g_00)',
|
|
123
|
+
sources: [properTemperatureQ, metricG00Q],
|
|
124
|
+
aliases: {
|
|
125
|
+
'proper-temperature': ['T_K'],
|
|
126
|
+
'metric-g00': ['g_00'],
|
|
127
|
+
},
|
|
128
|
+
target: tolmanInvariantQ,
|
|
129
|
+
confidence: 'established',
|
|
130
|
+
domain: {
|
|
131
|
+
description: 'T > 0 and g_00 < 0, both finite',
|
|
132
|
+
predicate: (i) => finite(i['proper-temperature']) &&
|
|
133
|
+
i['proper-temperature'] > 0 &&
|
|
134
|
+
finite(i['metric-g00']) &&
|
|
135
|
+
i['metric-g00'] < 0,
|
|
136
|
+
},
|
|
137
|
+
evaluate: (i) => evaluateTolmanEhrenfest({
|
|
138
|
+
T_K: i['proper-temperature'],
|
|
139
|
+
g_00: i['metric-g00'],
|
|
140
|
+
}).invariant_K,
|
|
141
|
+
symbolic: BE68_SYMBOLIC,
|
|
142
|
+
citation: 'Tolman & Ehrenfest 1930 Phys. Rev. 36:1791 (T0 √g_44). Catalog form T √(−g_00).',
|
|
143
|
+
};
|
|
144
|
+
/** |ω/k| = √(c_s² + B²/(μ0 ρ)), with μ0 = 1/(ε0 c²). */
|
|
145
|
+
const BE69_SYMBOLIC = pow(plus(pow(qsym(soundSpeedQ), lit(2)), ratio(pow(qsym(magneticFluxDensityQ), lit(2)), prod(ratio(lit(1), prod(csym('epsilon_0'), pow(csym('c'), lit(2)))), qsym(plasmaMassDensityQ)))), lit(0.5));
|
|
146
|
+
/** D = μ k_B T / q. */
|
|
147
|
+
const BE70_SYMBOLIC = ratio(prod(qsym(electricalMobilityQ), csym('k_B'), qsym(einsteinTemperatureQ)), qsym(carrierChargeQ));
|
|
148
|
+
/** dP/dT = L / (T Δv). */
|
|
149
|
+
const BE71_SYMBOLIC = ratio(qsym(latentHeatQ), prod(qsym(clapeyronTemperatureQ), qsym(specificVolumeChangeQ)));
|
|
150
|
+
/** ν1/ν2 = √(g2/g1). Both components are negative, so the ratio is positive. */
|
|
151
|
+
const BE72_SYMBOLIC = pow(ratio(qsym(redshiftMetricG00TwoQ), qsym(redshiftMetricG00OneQ)), lit(0.5));
|
|
152
|
+
/** Π = S T. Onsager reciprocity is not a leaf. */
|
|
153
|
+
const BE73_SYMBOLIC = prod(qsym(seebeckCoefficientQ), qsym(peltierTemperatureQ));
|
|
154
|
+
/**
|
|
155
|
+
* BE-69 fast magnetosonic speed:
|
|
156
|
+
* (sound-speed, magnetic-flux-density, plasma-mass-density) →
|
|
157
|
+
* fast-magnetosonic-speed. `c_s = 0` recovers the Alfvén number and
|
|
158
|
+
* does not identify this target with `alfven-speed`.
|
|
159
|
+
*
|
|
160
|
+
* @public
|
|
161
|
+
*/
|
|
162
|
+
export const be69Edge = {
|
|
163
|
+
id: 'be-69',
|
|
164
|
+
beId: 69,
|
|
165
|
+
kind: 'law',
|
|
166
|
+
label: 'Fast magnetosonic speed |ω/k| = √(c_s² + B²/(μ0 ρ))',
|
|
167
|
+
sources: [soundSpeedQ, magneticFluxDensityQ, plasmaMassDensityQ],
|
|
168
|
+
aliases: {
|
|
169
|
+
'sound-speed': ['cs_m_per_s', 'c_s'],
|
|
170
|
+
'magnetic-flux-density': ['B_T'],
|
|
171
|
+
'plasma-mass-density': ['rho_kg_per_m3'],
|
|
172
|
+
},
|
|
173
|
+
target: fastMagnetosonicSpeedQ,
|
|
174
|
+
confidence: 'established',
|
|
175
|
+
domain: {
|
|
176
|
+
description: 'c_s ≥ 0, B finite, ρ > 0',
|
|
177
|
+
predicate: (i) => finite(i['sound-speed']) &&
|
|
178
|
+
i['sound-speed'] >= 0 &&
|
|
179
|
+
finite(i['magnetic-flux-density']) &&
|
|
180
|
+
finite(i['plasma-mass-density']) &&
|
|
181
|
+
i['plasma-mass-density'] > 0,
|
|
182
|
+
},
|
|
183
|
+
evaluate: (i) => evaluateFastMagnetosonic({
|
|
184
|
+
cs_m_per_s: i['sound-speed'],
|
|
185
|
+
B_T: i['magnetic-flux-density'],
|
|
186
|
+
rho_kg_per_m3: i['plasma-mass-density'],
|
|
187
|
+
}).v_m_per_s,
|
|
188
|
+
symbolic: BE69_SYMBOLIC,
|
|
189
|
+
citation: 'PhysJS.FastMagnetosonic.speed_eq. Perpendicular compressional phase speed. c_s = 0 is the Alfvén number of a different polarization.',
|
|
190
|
+
};
|
|
191
|
+
/**
|
|
192
|
+
* BE-70 Einstein relation: (electrical-mobility, einstein-temperature,
|
|
193
|
+
* carrier-charge) → diffusivity, `D = μ k_B T / q`.
|
|
194
|
+
*
|
|
195
|
+
* @public
|
|
196
|
+
*/
|
|
197
|
+
export const be70Edge = {
|
|
198
|
+
id: 'be-70',
|
|
199
|
+
beId: 70,
|
|
200
|
+
kind: 'law',
|
|
201
|
+
label: 'Einstein relation D = μ k_B T / q',
|
|
202
|
+
sources: [electricalMobilityQ, einsteinTemperatureQ, carrierChargeQ],
|
|
203
|
+
aliases: {
|
|
204
|
+
'electrical-mobility': ['mu_m2_per_Vs'],
|
|
205
|
+
'einstein-temperature': ['T_K'],
|
|
206
|
+
'carrier-charge': ['q_C'],
|
|
207
|
+
},
|
|
208
|
+
target: diffusivityQ,
|
|
209
|
+
confidence: 'established',
|
|
210
|
+
domain: {
|
|
211
|
+
description: 'μ finite, T ≠ 0, q ≠ 0',
|
|
212
|
+
predicate: (i) => finite(i['electrical-mobility']) &&
|
|
213
|
+
finite(i['einstein-temperature']) &&
|
|
214
|
+
i['einstein-temperature'] !== 0 &&
|
|
215
|
+
finite(i['carrier-charge']) &&
|
|
216
|
+
i['carrier-charge'] !== 0,
|
|
217
|
+
},
|
|
218
|
+
evaluate: (i) => evaluateEinsteinRelation({
|
|
219
|
+
mu_m2_per_Vs: i['electrical-mobility'],
|
|
220
|
+
T_K: i['einstein-temperature'],
|
|
221
|
+
q_C: i['carrier-charge'],
|
|
222
|
+
}).D_m2_per_s,
|
|
223
|
+
symbolic: BE70_SYMBOLIC,
|
|
224
|
+
citation: 'PhysJS.EinsteinRelation.diffusion_eq. Drift cancels diffusion on a Boltzmann profile.',
|
|
225
|
+
};
|
|
226
|
+
/**
|
|
227
|
+
* BE-71 Clapeyron slope: (specific-latent-heat, clapeyron-temperature,
|
|
228
|
+
* specific-volume-change) → clapeyron-slope, `dP/dT = L/(T Δv)`.
|
|
229
|
+
*
|
|
230
|
+
* @public
|
|
231
|
+
*/
|
|
232
|
+
export const be71Edge = {
|
|
233
|
+
id: 'be-71',
|
|
234
|
+
beId: 71,
|
|
235
|
+
kind: 'law',
|
|
236
|
+
label: 'Clapeyron slope dP/dT = L/(T Δv)',
|
|
237
|
+
sources: [latentHeatQ, clapeyronTemperatureQ, specificVolumeChangeQ],
|
|
238
|
+
aliases: {
|
|
239
|
+
'specific-latent-heat': ['L_J_per_kg'],
|
|
240
|
+
'clapeyron-temperature': ['T_K'],
|
|
241
|
+
'specific-volume-change': ['delta_v_m3_per_kg'],
|
|
242
|
+
},
|
|
243
|
+
target: clapeyronSlopeQ,
|
|
244
|
+
confidence: 'established',
|
|
245
|
+
domain: {
|
|
246
|
+
description: 'L finite, T ≠ 0, Δv ≠ 0',
|
|
247
|
+
predicate: (i) => finite(i['specific-latent-heat']) &&
|
|
248
|
+
finite(i['clapeyron-temperature']) &&
|
|
249
|
+
i['clapeyron-temperature'] !== 0 &&
|
|
250
|
+
finite(i['specific-volume-change']) &&
|
|
251
|
+
i['specific-volume-change'] !== 0,
|
|
252
|
+
},
|
|
253
|
+
evaluate: (i) => evaluateClapeyron({
|
|
254
|
+
L_J_per_kg: i['specific-latent-heat'],
|
|
255
|
+
T_K: i['clapeyron-temperature'],
|
|
256
|
+
delta_v_m3_per_kg: i['specific-volume-change'],
|
|
257
|
+
}).slope_Pa_per_K,
|
|
258
|
+
symbolic: BE71_SYMBOLIC,
|
|
259
|
+
citation: 'PhysJS.Clapeyron.slope_eq. L = T (s2−s1) is already substituted. The entropy slope is not a second edge.',
|
|
260
|
+
};
|
|
261
|
+
/**
|
|
262
|
+
* BE-72 gravitational redshift: (redshift-metric-g00-1,
|
|
263
|
+
* redshift-metric-g00-2) → gravitational-frequency-ratio,
|
|
264
|
+
* `ν1/ν2 = √(g2/g1)`. The quantities are not BE-68's, so this edge
|
|
265
|
+
* does not compose into the Tolman invariant.
|
|
266
|
+
*
|
|
267
|
+
* @public
|
|
268
|
+
*/
|
|
269
|
+
export const be72Edge = {
|
|
270
|
+
id: 'be-72',
|
|
271
|
+
beId: 72,
|
|
272
|
+
kind: 'law',
|
|
273
|
+
label: 'Gravitational redshift ν1/ν2 = √(g2/g1)',
|
|
274
|
+
sources: [redshiftMetricG00OneQ, redshiftMetricG00TwoQ],
|
|
275
|
+
aliases: {
|
|
276
|
+
'redshift-metric-g00-1': ['g1'],
|
|
277
|
+
'redshift-metric-g00-2': ['g2'],
|
|
278
|
+
},
|
|
279
|
+
target: gravitationalFrequencyRatioQ,
|
|
280
|
+
confidence: 'established',
|
|
281
|
+
domain: {
|
|
282
|
+
description: 'both static g_00 components are finite and negative',
|
|
283
|
+
predicate: (i) => finite(i['redshift-metric-g00-1']) &&
|
|
284
|
+
i['redshift-metric-g00-1'] < 0 &&
|
|
285
|
+
finite(i['redshift-metric-g00-2']) &&
|
|
286
|
+
i['redshift-metric-g00-2'] < 0,
|
|
287
|
+
},
|
|
288
|
+
evaluate: (i) => evaluateGravitationalRedshift({
|
|
289
|
+
g1: i['redshift-metric-g00-1'],
|
|
290
|
+
g2: i['redshift-metric-g00-2'],
|
|
291
|
+
}).frequency_ratio,
|
|
292
|
+
symbolic: BE72_SYMBOLIC,
|
|
293
|
+
citation: 'PhysJS.GravitationalRedshift.frequency_ratio. Not PhysJS.TolmanEhrenfest.hydrostatic_constant. tolman_same_ratio is nested and is not this edge.',
|
|
294
|
+
};
|
|
295
|
+
/**
|
|
296
|
+
* BE-73 Kelvin relation: (seebeck-coefficient, peltier-temperature) →
|
|
297
|
+
* peltier-coefficient, `Π = S T`. Onsager reciprocity is the structure
|
|
298
|
+
* field in the theorem, not a source.
|
|
299
|
+
*
|
|
300
|
+
* @public
|
|
301
|
+
*/
|
|
302
|
+
export const be73Edge = {
|
|
303
|
+
id: 'be-73',
|
|
304
|
+
beId: 73,
|
|
305
|
+
kind: 'law',
|
|
306
|
+
label: 'Kelvin relation Π = S T',
|
|
307
|
+
sources: [seebeckCoefficientQ, peltierTemperatureQ],
|
|
308
|
+
aliases: {
|
|
309
|
+
'seebeck-coefficient': ['S_V_per_K'],
|
|
310
|
+
'peltier-temperature': ['T_K'],
|
|
311
|
+
},
|
|
312
|
+
target: peltierCoefficientQ,
|
|
313
|
+
confidence: 'established',
|
|
314
|
+
domain: {
|
|
315
|
+
description: 'S finite and T ≠ 0',
|
|
316
|
+
predicate: (i) => finite(i['seebeck-coefficient']) && finite(i['peltier-temperature']) && i['peltier-temperature'] !== 0,
|
|
317
|
+
},
|
|
318
|
+
evaluate: (i) => evaluateKelvinPeltier({
|
|
319
|
+
S_V_per_K: i['seebeck-coefficient'],
|
|
320
|
+
T_K: i['peltier-temperature'],
|
|
321
|
+
}).Pi_V,
|
|
322
|
+
symbolic: BE73_SYMBOLIC,
|
|
323
|
+
citation: 'PhysJS.KelvinRelation.peltier_eq. L12 = L21 is ThermoelectricOnsager.onsager, a structure field, not an axiom and not an input.',
|
|
324
|
+
};
|
|
325
|
+
/** The applied-physicist edges, in catalog-id order. @public */
|
|
326
|
+
export const APPLIED_PHYSICIST_EDGES = [
|
|
327
|
+
be66Edge,
|
|
328
|
+
be67Edge,
|
|
329
|
+
be68Edge,
|
|
330
|
+
be69Edge,
|
|
331
|
+
be70Edge,
|
|
332
|
+
be71Edge,
|
|
333
|
+
be72Edge,
|
|
334
|
+
be73Edge,
|
|
335
|
+
];
|
|
336
|
+
//# sourceMappingURL=applied-physicist.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"applied-physicist.js","sourceRoot":"","sources":["../../../src/composition/edges/applied-physicist.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,yBAAyB,EAAE,MAAM,0CAA0C,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,wBAAwB,EAAE,MAAM,yCAAyC,CAAC;AACnF,OAAO,EAAE,wBAAwB,EAAE,MAAM,yCAAyC,CAAC;AACnF,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,6BAA6B,EAAE,MAAM,8CAA8C,CAAC;AAC7F,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAE7E,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AAGpE,OAAO,EACL,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,UAAU,EACV,kBAAkB,EAClB,aAAa,EACb,kBAAkB,EAClB,kBAAkB,EAClB,YAAY,EACZ,gBAAgB,EAChB,WAAW,EACX,sBAAsB,EACtB,mBAAmB,EACnB,oBAAoB,EACpB,cAAc,EACd,YAAY,EACZ,WAAW,EACX,qBAAqB,EACrB,qBAAqB,EACrB,eAAe,EACf,qBAAqB,EACrB,qBAAqB,EACrB,4BAA4B,EAC5B,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,GACpB,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,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;AAC7F,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;AAEtG,+BAA+B;AAC/B,MAAM,aAAa,GAAa,IAAI,CAClC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EACrC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,EAChC,GAAG,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,eAAe,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAC/E,CAAC;AAEF,yCAAyC;AACzC,MAAM,aAAa,GAAa,KAAK,CACnC,IAAI,CAAC,oBAAoB,CAAC,EAC1B,GAAG,CAAC,IAAI,CAAC,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,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAC9G,CAAC;AAEF,4EAA4E;AAC5E,MAAM,aAAa,GAAa,IAAI,CAClC,IAAI,CAAC,kBAAkB,CAAC,EACxB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAC/C,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,4CAA4C;IACnD,OAAO,EAAE,CAAC,aAAa,EAAE,YAAY,EAAE,eAAe,CAAC;IACvD,OAAO,EAAE;QACP,eAAe,EAAE,CAAC,YAAY,EAAE,GAAG,CAAC;QACpC,WAAW,EAAE,CAAC,GAAG,CAAC;QAClB,iBAAiB,EAAE,CAAC,WAAW,EAAE,OAAO,CAAC;KAC1C;IACD,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,8CAA8C;QAC3D,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YAC1B,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC;YACvB,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACxB,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;YACrB,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;YACrB,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;KAC/B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,yBAAyB,CAAC;QACxB,UAAU,EAAE,CAAC,CAAC,eAAe,CAAC;QAC9B,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC;QACnB,SAAS,EAAE,CAAC,CAAC,iBAAiB,CAAC;KAChC,CAAC,CAAC,IAAI;IACT,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,6NAA6N;CAChO,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,gCAAgC;IACvC,OAAO,EAAE,CAAC,oBAAoB,EAAE,kBAAkB,CAAC;IACnD,OAAO,EAAE;QACP,uBAAuB,EAAE,CAAC,KAAK,CAAC;QAChC,qBAAqB,EAAE,CAAC,eAAe,CAAC;KACzC;IACD,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,mDAAmD;QAChE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YAClC,CAAC,CAAC,uBAAuB,CAAC,IAAI,CAAC;YAC/B,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;YAChC,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC;KAC/B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mBAAmB,CAAC;QAClB,GAAG,EAAE,CAAC,CAAC,uBAAuB,CAAC;QAC/B,aAAa,EAAE,CAAC,CAAC,qBAAqB,CAAC;KACxC,CAAC,CAAC,SAAS;IACd,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,6EAA6E;CACxF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,uCAAuC;IAC9C,OAAO,EAAE,CAAC,kBAAkB,EAAE,UAAU,CAAC;IACzC,OAAO,EAAE;QACP,oBAAoB,EAAE,CAAC,KAAK,CAAC;QAC7B,YAAY,EAAE,CAAC,MAAM,CAAC;KACvB;IACD,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,iCAAiC;QAC9C,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC/B,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC;YAC3B,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;YACvB,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC;KACtB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,uBAAuB,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC;KACtB,CAAC,CAAC,WAAW;IAChB,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,iFAAiF;CACpF,CAAC;AAEF,wDAAwD;AACxD,MAAM,aAAa,GAAa,GAAG,CACjC,IAAI,CACF,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAC9B,KAAK,CACH,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EACvC,IAAI,CAAC,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,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAC/F,CACF,EACD,GAAG,CAAC,GAAG,CAAC,CACT,CAAC;AAEF,uBAAuB;AACvB,MAAM,aAAa,GAAa,KAAK,CACnC,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,oBAAoB,CAAC,CAAC,EACxE,IAAI,CAAC,cAAc,CAAC,CACrB,CAAC;AAEF,0BAA0B;AAC1B,MAAM,aAAa,GAAa,KAAK,CACnC,IAAI,CAAC,WAAW,CAAC,EACjB,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC,EAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAC/D,CAAC;AAEF,gFAAgF;AAChF,MAAM,aAAa,GAAa,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,EAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAE/G,kDAAkD;AAClD,MAAM,aAAa,GAAa,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC;AAE3F;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,qDAAqD;IAC5D,OAAO,EAAE,CAAC,WAAW,EAAE,oBAAoB,EAAE,kBAAkB,CAAC;IAChE,OAAO,EAAE;QACP,aAAa,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC;QACpC,uBAAuB,EAAE,CAAC,KAAK,CAAC;QAChC,qBAAqB,EAAE,CAAC,eAAe,CAAC;KACzC;IACD,MAAM,EAAE,sBAAsB;IAC9B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,0BAA0B;QACvC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACxB,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;YACrB,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YAClC,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;YAChC,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC;KAC/B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC;QACvB,UAAU,EAAE,CAAC,CAAC,aAAa,CAAC;QAC5B,GAAG,EAAE,CAAC,CAAC,uBAAuB,CAAC;QAC/B,aAAa,EAAE,CAAC,CAAC,qBAAqB,CAAC;KACxC,CAAC,CAAC,SAAS;IACd,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,sIAAsI;CACzI,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,mCAAmC;IAC1C,OAAO,EAAE,CAAC,mBAAmB,EAAE,oBAAoB,EAAE,cAAc,CAAC;IACpE,OAAO,EAAE;QACP,qBAAqB,EAAE,CAAC,cAAc,CAAC;QACvC,sBAAsB,EAAE,CAAC,KAAK,CAAC;QAC/B,gBAAgB,EAAE,CAAC,KAAK,CAAC;KAC1B;IACD,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,wBAAwB;QACrC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;YAChC,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YACjC,CAAC,CAAC,sBAAsB,CAAC,KAAK,CAAC;YAC/B,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC3B,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC;KAC5B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC;QACvB,YAAY,EAAE,CAAC,CAAC,qBAAqB,CAAC;QACtC,GAAG,EAAE,CAAC,CAAC,sBAAsB,CAAC;QAC9B,GAAG,EAAE,CAAC,CAAC,gBAAgB,CAAC;KACzB,CAAC,CAAC,UAAU;IACf,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,uFAAuF;CAClG,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,kCAAkC;IACzC,OAAO,EAAE,CAAC,WAAW,EAAE,qBAAqB,EAAE,qBAAqB,CAAC;IACpE,OAAO,EAAE;QACP,sBAAsB,EAAE,CAAC,YAAY,CAAC;QACtC,uBAAuB,EAAE,CAAC,KAAK,CAAC;QAChC,wBAAwB,EAAE,CAAC,mBAAmB,CAAC;KAChD;IACD,MAAM,EAAE,eAAe;IACvB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yBAAyB;QACtC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YACjC,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YAClC,CAAC,CAAC,uBAAuB,CAAC,KAAK,CAAC;YAChC,MAAM,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC;YACnC,CAAC,CAAC,wBAAwB,CAAC,KAAK,CAAC;KACpC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,iBAAiB,CAAC;QAChB,UAAU,EAAE,CAAC,CAAC,sBAAsB,CAAC;QACrC,GAAG,EAAE,CAAC,CAAC,uBAAuB,CAAC;QAC/B,iBAAiB,EAAE,CAAC,CAAC,wBAAwB,CAAC;KAC/C,CAAC,CAAC,cAAc;IACnB,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,0GAA0G;CACrH,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,yCAAyC;IAChD,OAAO,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,CAAC;IACvD,OAAO,EAAE;QACP,uBAAuB,EAAE,CAAC,IAAI,CAAC;QAC/B,uBAAuB,EAAE,CAAC,IAAI,CAAC;KAChC;IACD,MAAM,EAAE,4BAA4B;IACpC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qDAAqD;QAClE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YAClC,CAAC,CAAC,uBAAuB,CAAC,GAAG,CAAC;YAC9B,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YAClC,CAAC,CAAC,uBAAuB,CAAC,GAAG,CAAC;KACjC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,6BAA6B,CAAC;QAC5B,EAAE,EAAE,CAAC,CAAC,uBAAuB,CAAC;QAC9B,EAAE,EAAE,CAAC,CAAC,uBAAuB,CAAC;KAC/B,CAAC,CAAC,eAAe;IACpB,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,kJAAkJ;CACrJ,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,yBAAyB;IAChC,OAAO,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IACnD,OAAO,EAAE;QACP,qBAAqB,EAAE,CAAC,WAAW,CAAC;QACpC,qBAAqB,EAAE,CAAC,KAAK,CAAC;KAC/B;IACD,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,oBAAoB;QACjC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC;KACzH;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,SAAS,EAAE,CAAC,CAAC,qBAAqB,CAAC;QACnC,GAAG,EAAE,CAAC,CAAC,qBAAqB,CAAC;KAC9B,CAAC,CAAC,IAAI;IACT,QAAQ,EAAE,aAAa;IACvB,QAAQ,EACN,iIAAiI;CACpI,CAAC;AAEF,gEAAgE;AAChE,MAAM,CAAC,MAAM,uBAAuB,GAA0B;IAC5D,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;CACT,CAAC"}
|
|
@@ -28,6 +28,13 @@ import type { QuantityIdentification } from './compose.js';
|
|
|
28
28
|
import type { IdentifiabilityResult } from './identifiability.js';
|
|
29
29
|
import type { RetrodictionResult } from './retrodiction.js';
|
|
30
30
|
import type { Dimension } from '../dimensional/types.js';
|
|
31
|
+
/**
|
|
32
|
+
* Text form of a recovered quantity: 15 significant digits, the precision an
|
|
33
|
+
* evaluator input is already passed at. JSON keeps the number; this is only
|
|
34
|
+
* the printed form. An integer stays an integer (`1`, not `1.0000e+0`).
|
|
35
|
+
* @internal
|
|
36
|
+
*/
|
|
37
|
+
export declare function formatQuantity(value: number): string;
|
|
31
38
|
import type { DimensionalDeterminationResult } from '../dimensional/buckingham.js';
|
|
32
39
|
/** One structural derivation of the target, with the recovered value when
|
|
33
40
|
* ground-truth values were supplied. @public */
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"explain.d.ts","sourceRoot":"","sources":["../../src/composition/explain.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAE3D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAElE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAE5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;
|
|
1
|
+
{"version":3,"file":"explain.d.ts","sourceRoot":"","sources":["../../src/composition/explain.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAE3D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAElE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAE5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAEzD;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEpD;AACD,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAGnF;iDACiD;AACjD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,yDAAyD;IACzD,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC;;;;;OAKG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE;QACzB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACpD,4EAA4E;QAC5E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;KAC1B,CAAC;IACF,yEAAyE;IACzE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,mDAAmD;AACnD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D,mEAAmE;IACnE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;CAChE;AAED,uDAAuD;AACvD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,mEAAmE;IACnE,QAAQ,CAAC,eAAe,EAAE,qBAAqB,CAAC;IAChD,iEAAiE;IACjE,QAAQ,CAAC,WAAW,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACvD,wEAAwE;IACxE,QAAQ,CAAC,WAAW,CAAC,EAAE,kBAAkB,CAAC;IAC1C,2EAA2E;IAC3E,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC;8DAC0D;IAC1D,QAAQ,CAAC,WAAW,CAAC,EAAE,8BAA8B,CAAC;IACtD,0EAA0E;IAC1E,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,6CAA6C;IAC7C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAsJD;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC3D,IAAI,GAAE,cAAmB,GACxB,mBAAmB,CAqHrB"}
|
|
@@ -26,6 +26,15 @@
|
|
|
26
26
|
import { QUANTITY_IDENTIFICATIONS } from './compose.js';
|
|
27
27
|
import { classifyIdentifiability, forwardClosure } from './identifiability.js';
|
|
28
28
|
import { retrodictNode } from './retrodiction.js';
|
|
29
|
+
/**
|
|
30
|
+
* Text form of a recovered quantity: 15 significant digits, the precision an
|
|
31
|
+
* evaluator input is already passed at. JSON keeps the number; this is only
|
|
32
|
+
* the printed form. An integer stays an integer (`1`, not `1.0000e+0`).
|
|
33
|
+
* @internal
|
|
34
|
+
*/
|
|
35
|
+
export function formatQuantity(value) {
|
|
36
|
+
return String(Number(value.toPrecision(15)));
|
|
37
|
+
}
|
|
29
38
|
import { dimensionallyDetermines } from '../dimensional/buckingham.js';
|
|
30
39
|
function buildDimMap(edges, extra) {
|
|
31
40
|
const m = new Map();
|
|
@@ -116,7 +125,7 @@ function buildSummary(target, id, derivations, consistency, recoveredValue, dime
|
|
|
116
125
|
case 'exactly-determined':
|
|
117
126
|
s = `'${target}' is determined from ${known} via ${derivations[0]?.edge} (${derivations[0]?.label}).`;
|
|
118
127
|
if (recoveredValue !== undefined) {
|
|
119
|
-
s += ` Recovered value: ${recoveredValue
|
|
128
|
+
s += ` Recovered value: ${formatQuantity(recoveredValue)}.`;
|
|
120
129
|
}
|
|
121
130
|
break;
|
|
122
131
|
case 'over-determined':
|
|
@@ -154,7 +163,7 @@ function buildSummary(target, id, derivations, consistency, recoveredValue, dime
|
|
|
154
163
|
s += ` The ${id.surplusConstraints} surplus derivation(s) are falsifiable consistency constraints (supply values to check them).`;
|
|
155
164
|
}
|
|
156
165
|
if (recoveredValue !== undefined) {
|
|
157
|
-
s += ` Recovered value: ${recoveredValue
|
|
166
|
+
s += ` Recovered value: ${formatQuantity(recoveredValue)}.`;
|
|
158
167
|
}
|
|
159
168
|
break;
|
|
160
169
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"explain.js","sourceRoot":"","sources":["../../src/composition/explain.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAIH,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AAExD,OAAO,EAAE,uBAAuB,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE/E,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGlD,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAuEvE,SAAS,WAAW,CAClB,KAA4B,EAC5B,KAA2C;IAE3C,MAAM,CAAC,GAAG,IAAI,GAAG,EAAqB,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;YAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACpE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,KAAK;QAAE,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnE,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAClB,KAA4B,EAC5B,KAA0B,EAC1B,YAAiC,EACjC,YAA+B,EAC/B,MAAyC,EACzC,MAAc;IAEd,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,iCAAiC;IAC5E,MAAM,KAAK,GAAG,CAAC,GAAG,YAAY,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACjB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACd,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC7B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACf,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC;gBAAE,SAAS;YAClC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAAE,SAAS;YAChE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9C,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;gBACxB,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;oBACpB,QAAQ,GAAG,IAAI,CAAC;gBAClB,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,QAAQ;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,8BAA8B;IAC9D,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,cAAc,CAAC,CAAmC;IACzD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;SAC5B,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;SAC1B,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;AAChC,CAAC;AAED,SAAS,YAAY,CACnB,MAAc,EACd,EAAyB,EACzB,WAA6C,EAC7C,WAA2C,EAC3C,cAAkC,EAClC,WAAuD,EACvD,UAA6B;IAE7B,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM;QAC7B,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QAC9B,CAAC,CAAC,gBAAgB,CAAC;IACrB,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,CAAS,CAAC;IAEd,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,CAAC,GAAG,IAAI,MAAM,wBAAwB,CAAC;YACvC,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;gBACvB,CAAC,IAAI,IAAI,WAAW,CAAC,MAAM,yBAAyB,GAAG,sBAAsB,CAAC;gBAC9E,CAAC,IAAI,WAAW;oBACd,CAAC,CAAC,WAAW,CAAC,OAAO,KAAK,YAAY;wBACpC,CAAC,CAAC,8CAA8C,WAAW,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI;wBAC/F,CAAC,CAAC,iDAAiD,WAAW,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI;oBACpG,CAAC,CAAC,GAAG,CAAC;YACV,CAAC;YACD,MAAM;QACR,KAAK,kBAAkB;YACrB,CAAC,GAAG,IAAI,MAAM,oDAAoD,KAAK,qCAAqC,CAAC;YAC7G,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC;gBAC/B,CAAC,IAAI,oBAAoB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC;YAC/E,CAAC;YACD,MAAM;QACR,KAAK,oBAAoB;YACvB,CAAC,GAAG,IAAI,MAAM,wBAAwB,KAAK,QAAQ,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC;YACtG,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;gBACjC,CAAC,IAAI,qBAAqB,cAAc,CAAC,
|
|
1
|
+
{"version":3,"file":"explain.js","sourceRoot":"","sources":["../../src/composition/explain.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAIH,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AAExD,OAAO,EAAE,uBAAuB,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE/E,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGlD;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAuEvE,SAAS,WAAW,CAClB,KAA4B,EAC5B,KAA2C;IAE3C,MAAM,CAAC,GAAG,IAAI,GAAG,EAAqB,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;YAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACpE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,KAAK;QAAE,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnE,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAClB,KAA4B,EAC5B,KAA0B,EAC1B,YAAiC,EACjC,YAA+B,EAC/B,MAAyC,EACzC,MAAc;IAEd,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,iCAAiC;IAC5E,MAAM,KAAK,GAAG,CAAC,GAAG,YAAY,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACvB,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACjB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACd,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC7B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACf,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC;gBAAE,SAAS;YAClC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAAE,SAAS;YAChE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9C,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;gBACxB,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;oBACpB,QAAQ,GAAG,IAAI,CAAC;gBAClB,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,QAAQ;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,8BAA8B;IAC9D,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,cAAc,CAAC,CAAmC;IACzD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;SAC5B,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;SAC1B,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;AAChC,CAAC;AAED,SAAS,YAAY,CACnB,MAAc,EACd,EAAyB,EACzB,WAA6C,EAC7C,WAA2C,EAC3C,cAAkC,EAClC,WAAuD,EACvD,UAA6B;IAE7B,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM;QAC7B,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QAC9B,CAAC,CAAC,gBAAgB,CAAC;IACrB,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,CAAS,CAAC;IAEd,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,CAAC,GAAG,IAAI,MAAM,wBAAwB,CAAC;YACvC,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;gBACvB,CAAC,IAAI,IAAI,WAAW,CAAC,MAAM,yBAAyB,GAAG,sBAAsB,CAAC;gBAC9E,CAAC,IAAI,WAAW;oBACd,CAAC,CAAC,WAAW,CAAC,OAAO,KAAK,YAAY;wBACpC,CAAC,CAAC,8CAA8C,WAAW,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI;wBAC/F,CAAC,CAAC,iDAAiD,WAAW,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI;oBACpG,CAAC,CAAC,GAAG,CAAC;YACV,CAAC;YACD,MAAM;QACR,KAAK,kBAAkB;YACrB,CAAC,GAAG,IAAI,MAAM,oDAAoD,KAAK,qCAAqC,CAAC;YAC7G,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC;gBAC/B,CAAC,IAAI,oBAAoB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC;YAC/E,CAAC;YACD,MAAM;QACR,KAAK,oBAAoB;YACvB,CAAC,GAAG,IAAI,MAAM,wBAAwB,KAAK,QAAQ,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC;YACtG,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;gBACjC,CAAC,IAAI,qBAAqB,cAAc,CAAC,cAAc,CAAC,GAAG,CAAC;YAC9D,CAAC;YACD,MAAM;QACR,KAAK,iBAAiB,CAAC;QACvB,SAAS,CAAC;YACR,yEAAyE;YACzE,gEAAgE;YAChE,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAClG,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;YACjE,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW,CAAC,MAAM,EAAE,CAAC;gBAC1C,CAAC,GAAG,IAAI,MAAM,6BAA6B,KAAK,KAAK,WAAW,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC;YAC9G,CAAC;iBAAM,IAAI,SAAS,EAAE,CAAC;gBACrB,CAAC,GAAG,IAAI,MAAM,6BAA6B,KAAK,KAAK,WAAW,CAAC,MAAM,uBAAuB,GAAG,yBAAyB,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3I,CAAC;iBAAM,CAAC;gBACN,CAAC,GAAG,IAAI,MAAM,6BAA6B,KAAK,KAAK,WAAW,CAAC,MAAM,uBAAuB,GAAG,UAAU,OAAO,CAAC,MAAM,sBAAsB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YACxK,CAAC;YACD,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,MAAM,GAAG,WAAW,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;gBAC3D,IAAI,WAAW,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;oBACzC,CAAC,IAAI,SAAS;wBACZ,CAAC,CAAC,gCAAgC,MAAM,0DAA0D;wBAClG,CAAC,CAAC,gCAAgC,MAAM,kCAAkC,CAAC;gBAC/E,CAAC;qBAAM,CAAC;oBACN,CAAC,IAAI,SAAS;wBACZ,CAAC,CAAC,mCAAmC,MAAM,0DAA0D;wBACrG,CAAC,CAAC,mCAAmC,MAAM,sBAAsB,CAAC;gBACtE,CAAC;YACH,CAAC;iBAAM,IAAI,SAAS,EAAE,CAAC;gBACrB,CAAC,IAAI,0EAA0E,CAAC;YAClF,CAAC;iBAAM,CAAC;gBACN,CAAC,IAAI,QAAQ,EAAE,CAAC,kBAAkB,+FAA+F,CAAC;YACpI,CAAC;YACD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;gBACjC,CAAC,IAAI,qBAAqB,cAAc,CAAC,cAAc,CAAC,GAAG,CAAC;YAC9D,CAAC;YACD,MAAM;QACR,CAAC;IACH,CAAC;IAED,IAAI,WAAW,EAAE,UAAU,IAAI,WAAW,CAAC,QAAQ,EAAE,CAAC;QACpD,CAAC,IAAI,mBAAmB,KAAK,2CAA2C,MAAM,MAAM,cAAc,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC;IAC9H,CAAC;SAAM,IAAI,WAAW,IAAI,CAAC,WAAW,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QACvE,CAAC,IAAI,wGAAwG,CAAC;IAChH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAC7B,KAA4B,EAC5B,MAAc,EACd,KAA2D,EAC3D,IAAI,GAAmB,EAAE;IAEzB,MAAM,eAAe,GAAG,IAAI,CAAC,eAAe,IAAI,wBAAwB,CAAC;IACzE,MAAM,SAAS,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAE,KAAgC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpE,MAAM,UAAU,GAAG,SAAS;QAC1B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAO,CAAC;QACtB,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,KAAiB,CAAC,CAAC,CAAC;IAEpC,MAAM,eAAe,GAAG,uBAAuB,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE;QACzE,eAAe;KAChB,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC;IAE3D,IAAI,WAA2C,CAAC;IAChD,IAAI,cAAkC,CAAC;IACvC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,UAAU,GACd,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9D,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE;YACjD,eAAe;YACf,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,UAAU;SACX,CAAC,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW;YAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACpE,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC;YAAE,WAAW,GAAG,KAAK,CAAC;QACvD,IACE,CAAC,KAAK,CAAC,OAAO,KAAK,YAAY,IAAI,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC;YAC9D,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAC5B,CAAC;YACD,cAAc;gBACZ,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;oBAClD,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IACrC,MAAM,YAAY,GAAG,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;IAExE,MAAM,WAAW,GAA4B,eAAe,CAAC,WAAW,CAAC,GAAG,CAC1E,CAAC,GAAG,EAAE,EAAE;QACN,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,mEAAmE;QACnE,MAAM,UAAU,GAAG,CAAC;YAClB,CAAC,CAAC,WAAW,CACT,KAAK,EACL,QAAQ,EACR,YAAY,EACZ,OAAO,EACP,eAAe,EACf,MAAM,CACP;YACH,CAAC,CAAC,EAAE,CAAC;QACP,uEAAuE;QACvE,IAAI,eAAyD,CAAC;QAC9D,MAAM,iBAAiB,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAI,iBAAiB,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;YAC3C,MAAM,SAAS,GAAG,UAAU;iBACzB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;iBAC5C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC;YAClD,MAAM,GAAG,GAAG,uBAAuB,CACjC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,iBAAiB,EAAE,EACxC,SAAS,CACV,CAAC;YACF,IAAI,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACnC,eAAe,GAAG;oBAChB,QAAQ,EAAE,GAAG,CAAC,QAAQ;oBACtB,OAAO,EAAE,GAAG,MAAM,MAAM,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;iBACvD,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO;YACL,IAAI,EAAE,GAAG;YACT,IAAI,EAAE,CAAC,EAAE,IAAI,IAAI,IAAI;YACrB,KAAK,EAAE,CAAC,EAAE,KAAK,IAAI,GAAG;YACtB,OAAO;YACP,UAAU;YACV,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACjE,CAAC;IACJ,CAAC,CACF,CAAC;IAEF,sEAAsE;IACtE,IAAI,WAAuD,CAAC;IAC5D,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,SAAS,GAAG,UAAU;aACzB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;aAC5C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC;QAClD,WAAW,GAAG,uBAAuB,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,SAAS,CAAC,CAAC;IACrF,CAAC;IAED,MAAM,OAAO,GAAG,YAAY,CAC1B,MAAM,EACN,eAAe,EACf,WAAW,EACX,WAAW,EACX,cAAc,EACd,WAAW,EACX,UAAU,CACX,CAAC;IAEF,OAAO;QACL,MAAM;QACN,KAAK,EAAE,UAAU;QACjB,eAAe;QACf,WAAW;QACX,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,gBAAgB,EAAE,eAAe,CAAC,gBAAgB;QAClD,OAAO;KACR,CAAC;AACJ,CAAC"}
|
|
@@ -19,6 +19,8 @@ export type { AliasDisposition } from './compose.js';
|
|
|
19
19
|
export { consistencyRatio } from './consistency.js';
|
|
20
20
|
export { be11ZurekEdge, be12Edge, be16Edge, be37Edge, be42Edge, be42ViaRsEdge, be51Edge, be52Edge, lawSchwarzschildRadius, M_SUN_KG, } from './edges/calibration.js';
|
|
21
21
|
export { be14Edge, be19Edge, be21Edge, be48Edge, be53Edge, be54Edge, } from './edges/catalog-tranche.js';
|
|
22
|
+
/** Composition edges for the applied-physicist catalog rows, BE-66 through BE-73. */
|
|
23
|
+
export { be66Edge, be67Edge, be68Edge, be69Edge, be70Edge, be71Edge, be72Edge, be73Edge, APPLIED_PHYSICIST_EDGES, } from './edges/applied-physicist.js';
|
|
22
24
|
export { be11Edge, be13Edge, be15Edge, be17Edge, be18Edge, be20Edge, be22Edge, be23Edge, be24Edge, be25Edge, be26Edge, be27Edge, be30Edge, be31Edge, be33Edge, be34Edge, be36Edge, be38Edge, be39Edge, be41Edge, be43Edge, be45Edge, be46Edge, be47Edge, be49Edge, be50Edge, CATALOG_FULL_EDGES, } from './edges/catalog-full.js';
|
|
23
25
|
export { CATALOG_GRAPH } from './catalog-graph.js';
|
|
24
26
|
export { CANONICAL_GRAPH, canonicalToEdges, CANONICAL_CONSTANTS, } from './canonical-graph.js';
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/composition/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC5E,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,EACpB,yBAAyB,EACzB,YAAY,GACb,MAAM,WAAW,CAAC;AAEnB,YAAY,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAC3E,OAAO,EACL,YAAY,EACZ,aAAa,EACb,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAErD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,EACL,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAE9B,YAAY,EACV,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,gBAAgB,CAAC;AAExB,YAAY,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAExD,YAAY,EACV,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,GACf,MAAM,sBAAsB,CAAC;AAE9B,YAAY,EACV,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAE7D,YAAY,EACV,qBAAqB,EACrB,cAAc,EACd,mBAAmB,GACpB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,YAAY,EAAE,UAAU,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAEnD,YAAY,EACV,SAAS,EACT,WAAW,EACX,UAAU,EACV,UAAU,EACV,QAAQ,EACR,cAAc,GACf,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjF,YAAY,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACxE,YAAY,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,oBAAoB,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/composition/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC5E,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,EACpB,yBAAyB,EACzB,YAAY,GACb,MAAM,WAAW,CAAC;AAEnB,YAAY,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAC3E,OAAO,EACL,YAAY,EACZ,aAAa,EACb,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAErD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,EACL,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,4BAA4B,CAAC;AAEpC,qFAAqF;AACrF,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,uBAAuB,GACxB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAE9B,YAAY,EACV,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,gBAAgB,CAAC;AAExB,YAAY,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAExD,YAAY,EACV,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,GACf,MAAM,sBAAsB,CAAC;AAE9B,YAAY,EACV,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAE7D,YAAY,EACV,qBAAqB,EACrB,cAAc,EACd,mBAAmB,GACpB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,YAAY,EAAE,UAAU,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAEnD,YAAY,EACV,SAAS,EACT,WAAW,EACX,UAAU,EACV,UAAU,EACV,QAAQ,EACR,cAAc,GACf,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjF,YAAY,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACxE,YAAY,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,oBAAoB,CAAC"}
|
|
@@ -15,6 +15,8 @@ export { composeEdges, minConfidence, QUANTITY_IDENTIFICATIONS, SOURCE_ALIAS_DIS
|
|
|
15
15
|
export { consistencyRatio } from './consistency.js';
|
|
16
16
|
export { be11ZurekEdge, be12Edge, be16Edge, be37Edge, be42Edge, be42ViaRsEdge, be51Edge, be52Edge, lawSchwarzschildRadius, M_SUN_KG, } from './edges/calibration.js';
|
|
17
17
|
export { be14Edge, be19Edge, be21Edge, be48Edge, be53Edge, be54Edge, } from './edges/catalog-tranche.js';
|
|
18
|
+
/** Composition edges for the applied-physicist catalog rows, BE-66 through BE-73. */
|
|
19
|
+
export { be66Edge, be67Edge, be68Edge, be69Edge, be70Edge, be71Edge, be72Edge, be73Edge, APPLIED_PHYSICIST_EDGES, } from './edges/applied-physicist.js';
|
|
18
20
|
export { be11Edge, be13Edge, be15Edge, be17Edge, be18Edge, be20Edge, be22Edge, be23Edge, be24Edge, be25Edge, be26Edge, be27Edge, be30Edge, be31Edge, be33Edge, be34Edge, be36Edge, be38Edge, be39Edge, be41Edge, be43Edge, be45Edge, be46Edge, be47Edge, be49Edge, be50Edge, CATALOG_FULL_EDGES, } from './edges/catalog-full.js';
|
|
19
21
|
export { CATALOG_GRAPH } from './catalog-graph.js';
|
|
20
22
|
export { CANONICAL_GRAPH, canonicalToEdges, CANONICAL_CONSTANTS, } from './canonical-graph.js';
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/composition/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAG9C,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,EACpB,yBAAyB,EACzB,YAAY,GACb,MAAM,WAAW,CAAC;AAGnB,OAAO,EACL,YAAY,EACZ,aAAa,EACb,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,EACL,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAM9B,OAAO,EACL,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAOxD,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,GACf,MAAM,sBAAsB,CAAC;AAS9B,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAO7D,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAG/C,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAUnD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEjF,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAG9D,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,oBAAoB,CAAC;AAC5B,sEAAsE"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/composition/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAG9C,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,EACpB,yBAAyB,EACzB,YAAY,GACb,MAAM,WAAW,CAAC;AAGnB,OAAO,EACL,YAAY,EACZ,aAAa,EACb,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,EACL,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,4BAA4B,CAAC;AAEpC,qFAAqF;AACrF,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,uBAAuB,GACxB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,sBAAsB,CAAC;AAM9B,OAAO,EACL,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAOxD,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,GACf,MAAM,sBAAsB,CAAC;AAS9B,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAO7D,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAG/C,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAUnD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEjF,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAG9D,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,oBAAoB,CAAC;AAC5B,sEAAsE"}
|
|
@@ -0,0 +1,76 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Quantity nodes for BE-66 through BE-73.
|
|
3
|
+
*
|
|
4
|
+
* Names are new. `mass-density` is the cosmological node. `temperature`
|
|
5
|
+
* and `hawking-temperature` are the thermal nodes be-42 already uses.
|
|
6
|
+
* Reusing either name would join these edges to a different law.
|
|
7
|
+
* BE-72 does not reuse `metric-g00` or `proper-temperature`: those are
|
|
8
|
+
* BE-68, and the frequency ratio is not the Tolman invariant.
|
|
9
|
+
* BE-69 does not reuse `alfven-speed`: `c_s = 0` recovers that number
|
|
10
|
+
* for a different polarization.
|
|
11
|
+
*
|
|
12
|
+
* @module composition/quantities/applied-physicist
|
|
13
|
+
*/
|
|
14
|
+
import type { Quantity } from '../quantity.js';
|
|
15
|
+
/** Time-averaged Poynting-flux magnitude. Not the canonical `CE-poynting-flux` node. */
|
|
16
|
+
export declare const poyntingFluxQ: Quantity;
|
|
17
|
+
/** Intensity reflectance of an opaque surface. */
|
|
18
|
+
export declare const reflectanceQ: Quantity;
|
|
19
|
+
/** Angle from the outward normal, radians. */
|
|
20
|
+
export declare const incidenceAngleQ: Quantity;
|
|
21
|
+
/** Normal radiation pressure. Not the hydrostatic `pressure` node. */
|
|
22
|
+
export declare const radiationPressureQ: Quantity;
|
|
23
|
+
/** Magnetic flux density of the background field. */
|
|
24
|
+
export declare const magneticFluxDensityQ: Quantity;
|
|
25
|
+
/**
|
|
26
|
+
* Total plasma mass density. Not `mass-density` (cosmological, gravitational).
|
|
27
|
+
* Proton-only density is a caller-supplied value of this same quantity.
|
|
28
|
+
*/
|
|
29
|
+
export declare const plasmaMassDensityQ: Quantity;
|
|
30
|
+
/** Alfvén speed. Not `gravitational-wave-speed`. */
|
|
31
|
+
export declare const alfvenSpeedQ: Quantity;
|
|
32
|
+
/** Proper temperature on a static metric. Not `temperature` and not `hawking-temperature`. */
|
|
33
|
+
export declare const properTemperatureQ: Quantity;
|
|
34
|
+
/** Static metric component `g_00`, dimensionless, negative. */
|
|
35
|
+
export declare const metricG00Q: Quantity;
|
|
36
|
+
/** Tolman–Ehrenfest invariant `T √(−g_00)`. Dimension temperature. */
|
|
37
|
+
export declare const tolmanInvariantQ: Quantity;
|
|
38
|
+
/** Sound speed of the compressional closure. Not `alfven-speed`. */
|
|
39
|
+
export declare const soundSpeedQ: Quantity;
|
|
40
|
+
/** Perpendicular fast magnetosonic phase speed. Not `alfven-speed`. */
|
|
41
|
+
export declare const fastMagnetosonicSpeedQ: Quantity;
|
|
42
|
+
/** Electrical mobility, drift speed per electric field. */
|
|
43
|
+
export declare const electricalMobilityQ: Quantity;
|
|
44
|
+
/** Temperature in the Einstein relation. Not `temperature` and not `proper-temperature`. */
|
|
45
|
+
export declare const einsteinTemperatureQ: Quantity;
|
|
46
|
+
/** Carrier charge in the Einstein relation. Not the constant `e`. */
|
|
47
|
+
export declare const carrierChargeQ: Quantity;
|
|
48
|
+
/** Diffusivity `D = μ k_B T / q`. */
|
|
49
|
+
export declare const diffusivityQ: Quantity;
|
|
50
|
+
/**
|
|
51
|
+
* Specific latent heat `L = T (s2 − s1)`, joules per kilogram.
|
|
52
|
+
* Not `latent-heat`: that node is the energy `Q = m L`.
|
|
53
|
+
*/
|
|
54
|
+
export declare const latentHeatQ: Quantity;
|
|
55
|
+
/** Temperature on the coexistence curve. Not `temperature`. */
|
|
56
|
+
export declare const clapeyronTemperatureQ: Quantity;
|
|
57
|
+
/** Specific-volume change `v2 − v1`. */
|
|
58
|
+
export declare const specificVolumeChangeQ: Quantity;
|
|
59
|
+
/** Clapeyron slope `dP/dT`. */
|
|
60
|
+
export declare const clapeyronSlopeQ: Quantity;
|
|
61
|
+
/**
|
|
62
|
+
* Static `g_00` of the first redshift observer. Not `metric-g00`.
|
|
63
|
+
* Sharing that name would let BE-72 compose into BE-68.
|
|
64
|
+
*/
|
|
65
|
+
export declare const redshiftMetricG00OneQ: Quantity;
|
|
66
|
+
/** Static `g_00` of the second redshift observer. Not `metric-g00`. */
|
|
67
|
+
export declare const redshiftMetricG00TwoQ: Quantity;
|
|
68
|
+
/** Frequency ratio `ν1/ν2`. Not `tolman-invariant`. */
|
|
69
|
+
export declare const gravitationalFrequencyRatioQ: Quantity;
|
|
70
|
+
/** Seebeck coefficient, voltage per temperature. */
|
|
71
|
+
export declare const seebeckCoefficientQ: Quantity;
|
|
72
|
+
/** Temperature in the Kelvin relation. Not `temperature`. */
|
|
73
|
+
export declare const peltierTemperatureQ: Quantity;
|
|
74
|
+
/** Isothermal Peltier coefficient `Π = S T`. */
|
|
75
|
+
export declare const peltierCoefficientQ: Quantity;
|
|
76
|
+
//# sourceMappingURL=applied-physicist.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"applied-physicist.d.ts","sourceRoot":"","sources":["../../../src/composition/quantities/applied-physicist.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAY/C,wFAAwF;AACxF,eAAO,MAAM,aAAa,EAAE,QAK3B,CAAC;AAEF,kDAAkD;AAClD,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AAEF,8CAA8C;AAC9C,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AAEF,sEAAsE;AACtE,eAAO,MAAM,kBAAkB,EAAE,QAKhC,CAAC;AAEF,qDAAqD;AACrD,eAAO,MAAM,oBAAoB,EAAE,QAKlC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAKhC,CAAC;AAEF,oDAAoD;AACpD,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AAEF,8FAA8F;AAC9F,eAAO,MAAM,kBAAkB,EAAE,QAKhC,CAAC;AAEF,+DAA+D;AAC/D,eAAO,MAAM,UAAU,EAAE,QAKxB,CAAC;AAEF,sEAAsE;AACtE,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AAEF,oEAAoE;AACpE,eAAO,MAAM,WAAW,EAAE,QAKzB,CAAC;AAEF,uEAAuE;AACvE,eAAO,MAAM,sBAAsB,EAAE,QAKpC,CAAC;AAMF,2DAA2D;AAC3D,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AAEF,4FAA4F;AAC5F,eAAO,MAAM,oBAAoB,EAAE,QAKlC,CAAC;AAEF,qEAAqE;AACrE,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AAEF,qCAAqC;AACrC,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AAUF;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE,QAKzB,CAAC;AAEF,+DAA+D;AAC/D,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AAEF,wCAAwC;AACxC,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AAEF,+BAA+B;AAC/B,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AAEF,uEAAuE;AACvE,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AAEF,uDAAuD;AACvD,eAAO,MAAM,4BAA4B,EAAE,QAK1C,CAAC;AAMF,oDAAoD;AACpD,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AAEF,6DAA6D;AAC7D,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AAEF,gDAAgD;AAChD,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC"}
|