universal-physics-tensor 0.24.0 → 0.28.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 +22 -9
- package/bin/upt.mjs +843 -685
- package/dist/canonical/entries/atomic.d.ts +17 -0
- package/dist/canonical/entries/atomic.d.ts.map +1 -0
- package/dist/canonical/entries/atomic.js +71 -0
- package/dist/canonical/entries/atomic.js.map +1 -0
- package/dist/canonical/entries/electromagnetism.d.ts +18 -0
- package/dist/canonical/entries/electromagnetism.d.ts.map +1 -0
- package/dist/canonical/entries/electromagnetism.js +212 -0
- package/dist/canonical/entries/electromagnetism.js.map +1 -0
- package/dist/canonical/entries/fluids-waves.d.ts +18 -0
- package/dist/canonical/entries/fluids-waves.d.ts.map +1 -0
- package/dist/canonical/entries/fluids-waves.js +130 -0
- package/dist/canonical/entries/fluids-waves.js.map +1 -0
- package/dist/canonical/entries/mechanics.d.ts +18 -0
- package/dist/canonical/entries/mechanics.d.ts.map +1 -0
- package/dist/canonical/entries/mechanics.js +275 -0
- package/dist/canonical/entries/mechanics.js.map +1 -0
- package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts +18 -0
- package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map +1 -0
- package/dist/canonical/entries/thermo-nuclear-cosmo.js +56 -0
- package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -0
- package/dist/canonical/registry.d.ts.map +1 -1
- package/dist/canonical/registry.js +10 -0
- package/dist/canonical/registry.js.map +1 -1
- package/dist/composition/compose.d.ts.map +1 -1
- package/dist/composition/compose.js +14 -0
- package/dist/composition/compose.js.map +1 -1
- package/dist/composition/dimension-adjacency.d.ts +39 -0
- package/dist/composition/dimension-adjacency.d.ts.map +1 -0
- package/dist/composition/dimension-adjacency.js +44 -0
- package/dist/composition/dimension-adjacency.js.map +1 -0
- package/dist/composition/graph-viz-svg.d.ts +31 -0
- package/dist/composition/graph-viz-svg.d.ts.map +1 -0
- package/dist/composition/graph-viz-svg.js +45 -0
- package/dist/composition/graph-viz-svg.js.map +1 -0
- package/dist/composition/graph-viz.d.ts +100 -0
- package/dist/composition/graph-viz.d.ts.map +1 -0
- package/dist/composition/graph-viz.js +256 -0
- package/dist/composition/graph-viz.js.map +1 -0
- package/dist/composition/index.d.ts +8 -0
- package/dist/composition/index.d.ts.map +1 -1
- package/dist/composition/index.js +4 -0
- package/dist/composition/index.js.map +1 -1
- package/dist/composition/user-equation.d.ts +136 -0
- package/dist/composition/user-equation.d.ts.map +1 -0
- package/dist/composition/user-equation.js +247 -0
- package/dist/composition/user-equation.js.map +1 -0
- package/dist/dimensional/dimension-inference.d.ts +37 -0
- package/dist/dimensional/dimension-inference.d.ts.map +1 -0
- package/dist/dimensional/dimension-inference.js +79 -0
- package/dist/dimensional/dimension-inference.js.map +1 -0
- package/dist/index.d.ts +11 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +16 -0
- package/dist/index.js.map +1 -1
- package/dist/numerical/formula-dimension.d.ts +16 -1
- package/dist/numerical/formula-dimension.d.ts.map +1 -1
- package/dist/numerical/formula-dimension.js +116 -84
- package/dist/numerical/formula-dimension.js.map +1 -1
- package/dist/numerical/formula-registry.d.ts +11 -1
- package/dist/numerical/formula-registry.d.ts.map +1 -1
- package/dist/numerical/formula-registry.js +12 -0
- package/dist/numerical/formula-registry.js.map +1 -1
- package/package.json +92 -91
|
@@ -0,0 +1,275 @@
|
|
|
1
|
+
import { sym } from '../../bridges/equations/_be-helpers.js';
|
|
2
|
+
import { MASS, VELOCITY, ENERGY, FORCE, ACCELERATION, LENGTH, TIME, POWER, FREQUENCY, } from '../../dimensional/types.js';
|
|
3
|
+
import { dim, op, pow, l1 } from './_l1-build.js';
|
|
4
|
+
const MOMENTUM = dim(1, 1, -1); // [L M T⁻¹]
|
|
5
|
+
const TORQUE = dim(2, 1, -2); // [L² M T⁻²]
|
|
6
|
+
const ANGULAR_MOMENTUM = dim(2, 1, -1); // [L² M T⁻¹]
|
|
7
|
+
const MOMENT_OF_INERTIA = dim(2, 1, 0); // [L² M]
|
|
8
|
+
const SPRING_CONSTANT = dim(0, 1, -2); // [M T⁻²]
|
|
9
|
+
const G_DIM = dim(3, -1, -2); // Newton's constant [L³ M⁻¹ T⁻²]
|
|
10
|
+
export const MECHANICS = [
|
|
11
|
+
// ── foundational ──────────────────────────────────────────────────────────
|
|
12
|
+
l1({ name: 'force', dim: FORCE }, [
|
|
13
|
+
{ name: 'mass', dim: MASS },
|
|
14
|
+
{ name: 'acceleration', dim: ACCELERATION },
|
|
15
|
+
], {
|
|
16
|
+
id: 'CE-newton-second-law',
|
|
17
|
+
name: "Newton's second law",
|
|
18
|
+
domain: 'mechanics',
|
|
19
|
+
formula_latex: 'F = m a',
|
|
20
|
+
epistemicStatus: 'fully-quantitative',
|
|
21
|
+
scalarAst: op('*', [sym('mass', MASS), sym('acceleration', ACCELERATION)]),
|
|
22
|
+
regime: { scale: 'classical' },
|
|
23
|
+
assumptions: ['inertial frame', 'constant mass'],
|
|
24
|
+
references: ['Newton, Principia 1687'],
|
|
25
|
+
partnerBridges: [],
|
|
26
|
+
}),
|
|
27
|
+
l1({ name: 'rest-energy', dim: ENERGY }, [
|
|
28
|
+
{ name: 'mass', dim: MASS },
|
|
29
|
+
{ name: 'c', dim: VELOCITY },
|
|
30
|
+
], {
|
|
31
|
+
id: 'CE-mass-energy',
|
|
32
|
+
name: 'Mass–energy equivalence',
|
|
33
|
+
domain: 'mechanics',
|
|
34
|
+
formula_latex: 'E = m c^2',
|
|
35
|
+
epistemicStatus: 'fully-quantitative',
|
|
36
|
+
scalarAst: op('*', [sym('mass', MASS), pow(sym('c', VELOCITY), '2')]),
|
|
37
|
+
regime: { scale: 'classical' },
|
|
38
|
+
assumptions: ['rest energy of a massive body'],
|
|
39
|
+
references: ['Einstein 1905, Ann. Phys. 18:639'],
|
|
40
|
+
partnerBridges: [],
|
|
41
|
+
}),
|
|
42
|
+
l1({ name: 'p', dim: MOMENTUM }, [
|
|
43
|
+
{ name: 'mass', dim: MASS },
|
|
44
|
+
{ name: 'velocity', dim: VELOCITY },
|
|
45
|
+
], {
|
|
46
|
+
id: 'CE-momentum',
|
|
47
|
+
name: 'Momentum (non-relativistic)',
|
|
48
|
+
domain: 'mechanics',
|
|
49
|
+
formula_latex: 'p = m v',
|
|
50
|
+
epistemicStatus: 'fully-quantitative',
|
|
51
|
+
scalarAst: op('*', [sym('mass', MASS), sym('velocity', VELOCITY)]),
|
|
52
|
+
regime: { scale: 'classical' },
|
|
53
|
+
assumptions: ['non-relativistic (v ≪ c)'],
|
|
54
|
+
references: ['Newton, Principia 1687'],
|
|
55
|
+
partnerBridges: [],
|
|
56
|
+
}),
|
|
57
|
+
// ── energy ────────────────────────────────────────────────────────────────
|
|
58
|
+
l1({ name: 'kinetic-energy', dim: ENERGY }, [
|
|
59
|
+
{ name: 'mass', dim: MASS },
|
|
60
|
+
{ name: 'speed', dim: VELOCITY },
|
|
61
|
+
], {
|
|
62
|
+
id: 'CE-kinetic-energy',
|
|
63
|
+
name: 'Kinetic energy',
|
|
64
|
+
domain: 'mechanics',
|
|
65
|
+
formula_latex: 'K = \\tfrac{1}{2} m v^2',
|
|
66
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
67
|
+
scalarAst: op('*', [sym('mass', MASS), pow(sym('speed', VELOCITY), '2')]),
|
|
68
|
+
regime: { scale: 'classical' },
|
|
69
|
+
assumptions: ['non-relativistic'],
|
|
70
|
+
references: ['Taylor, Classical Mechanics §1'],
|
|
71
|
+
partnerBridges: [],
|
|
72
|
+
}),
|
|
73
|
+
l1({ name: 'rotational-kinetic-energy', dim: ENERGY }, [
|
|
74
|
+
{ name: 'moment-of-inertia', dim: MOMENT_OF_INERTIA },
|
|
75
|
+
{ name: 'angular-velocity', dim: FREQUENCY },
|
|
76
|
+
], {
|
|
77
|
+
id: 'CE-rotational-kinetic-energy',
|
|
78
|
+
name: 'Rotational kinetic energy',
|
|
79
|
+
domain: 'mechanics',
|
|
80
|
+
formula_latex: 'K = \\tfrac{1}{2} I \\omega^2',
|
|
81
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
82
|
+
scalarAst: op('*', [
|
|
83
|
+
sym('moment-of-inertia', MOMENT_OF_INERTIA),
|
|
84
|
+
pow(sym('angular-velocity', FREQUENCY), '2'),
|
|
85
|
+
]),
|
|
86
|
+
regime: { scale: 'classical' },
|
|
87
|
+
assumptions: ['rigid body'],
|
|
88
|
+
references: ['Taylor, Classical Mechanics §10'],
|
|
89
|
+
partnerBridges: [],
|
|
90
|
+
}),
|
|
91
|
+
l1({ name: 'gravitational-potential-energy', dim: ENERGY }, [
|
|
92
|
+
{ name: 'G', dim: G_DIM },
|
|
93
|
+
{ name: 'mass', dim: MASS },
|
|
94
|
+
{ name: 'secondary-mass', dim: MASS },
|
|
95
|
+
{ name: 'r', dim: LENGTH },
|
|
96
|
+
], {
|
|
97
|
+
id: 'CE-gravitational-potential-energy',
|
|
98
|
+
name: 'Gravitational potential energy',
|
|
99
|
+
domain: 'mechanics',
|
|
100
|
+
formula_latex: 'U = -G m_1 m_2 / r',
|
|
101
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
102
|
+
scalarAst: op('/', [
|
|
103
|
+
op('*', [sym('G', G_DIM), sym('mass', MASS), sym('secondary-mass', MASS)]),
|
|
104
|
+
sym('r', LENGTH),
|
|
105
|
+
]),
|
|
106
|
+
regime: { scale: 'classical', force: 'gravitational' },
|
|
107
|
+
assumptions: ['two point masses', 'zero reference at infinity'],
|
|
108
|
+
references: ['Newton, Principia 1687'],
|
|
109
|
+
partnerBridges: [],
|
|
110
|
+
}),
|
|
111
|
+
l1({ name: 'work', dim: ENERGY }, [
|
|
112
|
+
{ name: 'force', dim: FORCE },
|
|
113
|
+
{ name: 'distance', dim: LENGTH },
|
|
114
|
+
], {
|
|
115
|
+
id: 'CE-work',
|
|
116
|
+
name: 'Work (constant force)',
|
|
117
|
+
domain: 'mechanics',
|
|
118
|
+
formula_latex: 'W = F d',
|
|
119
|
+
epistemicStatus: 'fully-quantitative',
|
|
120
|
+
scalarAst: op('*', [sym('force', FORCE), sym('distance', LENGTH)]),
|
|
121
|
+
regime: { scale: 'classical' },
|
|
122
|
+
assumptions: ['constant force along displacement'],
|
|
123
|
+
references: ['Taylor, Classical Mechanics §4'],
|
|
124
|
+
partnerBridges: [],
|
|
125
|
+
}),
|
|
126
|
+
l1({ name: 'spring-potential-energy', dim: ENERGY }, [
|
|
127
|
+
{ name: 'spring-constant', dim: SPRING_CONSTANT },
|
|
128
|
+
{ name: 'displacement', dim: LENGTH },
|
|
129
|
+
], {
|
|
130
|
+
id: 'CE-spring-potential-energy',
|
|
131
|
+
name: 'Elastic potential energy',
|
|
132
|
+
domain: 'mechanics',
|
|
133
|
+
formula_latex: 'U = \\tfrac{1}{2} k x^2',
|
|
134
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
135
|
+
scalarAst: op('*', [
|
|
136
|
+
sym('spring-constant', SPRING_CONSTANT),
|
|
137
|
+
pow(sym('displacement', LENGTH), '2'),
|
|
138
|
+
]),
|
|
139
|
+
regime: { scale: 'classical', force: 'emergent' },
|
|
140
|
+
assumptions: ['Hookean (linear) spring'],
|
|
141
|
+
references: ['Taylor, Classical Mechanics §5'],
|
|
142
|
+
partnerBridges: [],
|
|
143
|
+
}),
|
|
144
|
+
// ── power ─────────────────────────────────────────────────────────────────
|
|
145
|
+
l1({ name: 'power', dim: POWER }, [
|
|
146
|
+
{ name: 'force', dim: FORCE },
|
|
147
|
+
{ name: 'velocity', dim: VELOCITY },
|
|
148
|
+
], {
|
|
149
|
+
id: 'CE-power',
|
|
150
|
+
name: 'Mechanical power',
|
|
151
|
+
domain: 'mechanics',
|
|
152
|
+
formula_latex: 'P = F v',
|
|
153
|
+
epistemicStatus: 'fully-quantitative',
|
|
154
|
+
scalarAst: op('*', [sym('force', FORCE), sym('velocity', VELOCITY)]),
|
|
155
|
+
regime: { scale: 'classical' },
|
|
156
|
+
assumptions: ['force along velocity'],
|
|
157
|
+
references: ['Taylor, Classical Mechanics §4'],
|
|
158
|
+
partnerBridges: [],
|
|
159
|
+
}),
|
|
160
|
+
// ── force ─────────────────────────────────────────────────────────────────
|
|
161
|
+
l1({ name: 'force', dim: FORCE }, [
|
|
162
|
+
{ name: 'mass', dim: MASS },
|
|
163
|
+
{ name: 'speed', dim: VELOCITY },
|
|
164
|
+
{ name: 'radius', dim: LENGTH },
|
|
165
|
+
], {
|
|
166
|
+
id: 'CE-centripetal-force',
|
|
167
|
+
name: 'Centripetal force',
|
|
168
|
+
domain: 'mechanics',
|
|
169
|
+
formula_latex: 'F = m v^2 / r',
|
|
170
|
+
epistemicStatus: 'fully-quantitative',
|
|
171
|
+
scalarAst: op('/', [
|
|
172
|
+
op('*', [sym('mass', MASS), pow(sym('speed', VELOCITY), '2')]),
|
|
173
|
+
sym('radius', LENGTH),
|
|
174
|
+
]),
|
|
175
|
+
regime: { scale: 'classical' },
|
|
176
|
+
assumptions: ['uniform circular motion'],
|
|
177
|
+
references: ['Taylor, Classical Mechanics §1'],
|
|
178
|
+
partnerBridges: [],
|
|
179
|
+
}),
|
|
180
|
+
l1({ name: 'force', dim: FORCE }, [
|
|
181
|
+
{ name: 'spring-constant', dim: SPRING_CONSTANT },
|
|
182
|
+
{ name: 'displacement', dim: LENGTH },
|
|
183
|
+
], {
|
|
184
|
+
id: 'CE-hooke-law',
|
|
185
|
+
name: "Hooke's law",
|
|
186
|
+
domain: 'mechanics',
|
|
187
|
+
formula_latex: 'F = -k x',
|
|
188
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
189
|
+
scalarAst: op('*', [
|
|
190
|
+
sym('spring-constant', SPRING_CONSTANT),
|
|
191
|
+
sym('displacement', LENGTH),
|
|
192
|
+
]),
|
|
193
|
+
regime: { scale: 'classical', force: 'emergent' },
|
|
194
|
+
assumptions: ['linear elastic regime'],
|
|
195
|
+
references: ['Hooke 1678'],
|
|
196
|
+
partnerBridges: [],
|
|
197
|
+
}),
|
|
198
|
+
// ── rotational + impulse ────────────────────────────────────────────────────
|
|
199
|
+
l1({ name: 'torque', dim: TORQUE }, [
|
|
200
|
+
{ name: 'radius', dim: LENGTH },
|
|
201
|
+
{ name: 'force', dim: FORCE },
|
|
202
|
+
], {
|
|
203
|
+
id: 'CE-torque',
|
|
204
|
+
name: 'Torque (perpendicular force)',
|
|
205
|
+
domain: 'mechanics',
|
|
206
|
+
formula_latex: '\\tau = r F',
|
|
207
|
+
epistemicStatus: 'fully-quantitative',
|
|
208
|
+
scalarAst: op('*', [sym('radius', LENGTH), sym('force', FORCE)]),
|
|
209
|
+
regime: { scale: 'classical' },
|
|
210
|
+
assumptions: ['force perpendicular to lever arm'],
|
|
211
|
+
references: ['Taylor, Classical Mechanics §10'],
|
|
212
|
+
partnerBridges: [],
|
|
213
|
+
}),
|
|
214
|
+
l1({ name: 'angular-momentum', dim: ANGULAR_MOMENTUM }, [
|
|
215
|
+
{ name: 'radius', dim: LENGTH },
|
|
216
|
+
{ name: 'p', dim: MOMENTUM },
|
|
217
|
+
], {
|
|
218
|
+
id: 'CE-angular-momentum',
|
|
219
|
+
name: 'Angular momentum (point particle)',
|
|
220
|
+
domain: 'mechanics',
|
|
221
|
+
formula_latex: 'L = r p',
|
|
222
|
+
epistemicStatus: 'fully-quantitative',
|
|
223
|
+
scalarAst: op('*', [sym('radius', LENGTH), sym('p', MOMENTUM)]),
|
|
224
|
+
regime: { scale: 'classical' },
|
|
225
|
+
assumptions: ['momentum perpendicular to radius'],
|
|
226
|
+
references: ['Taylor, Classical Mechanics §3'],
|
|
227
|
+
partnerBridges: [],
|
|
228
|
+
}),
|
|
229
|
+
l1({ name: 'moment-of-inertia', dim: MOMENT_OF_INERTIA }, [
|
|
230
|
+
{ name: 'mass', dim: MASS },
|
|
231
|
+
{ name: 'radius', dim: LENGTH },
|
|
232
|
+
], {
|
|
233
|
+
id: 'CE-moment-of-inertia',
|
|
234
|
+
name: 'Moment of inertia (point mass)',
|
|
235
|
+
domain: 'mechanics',
|
|
236
|
+
formula_latex: 'I = m r^2',
|
|
237
|
+
epistemicStatus: 'fully-quantitative',
|
|
238
|
+
scalarAst: op('*', [sym('mass', MASS), pow(sym('radius', LENGTH), '2')]),
|
|
239
|
+
regime: { scale: 'classical' },
|
|
240
|
+
assumptions: ['point mass at radius r'],
|
|
241
|
+
references: ['Taylor, Classical Mechanics §10'],
|
|
242
|
+
partnerBridges: [],
|
|
243
|
+
}),
|
|
244
|
+
l1({ name: 'p', dim: MOMENTUM }, [
|
|
245
|
+
{ name: 'force', dim: FORCE },
|
|
246
|
+
{ name: 'time', dim: TIME },
|
|
247
|
+
], {
|
|
248
|
+
id: 'CE-impulse',
|
|
249
|
+
name: 'Impulse (constant force)',
|
|
250
|
+
domain: 'mechanics',
|
|
251
|
+
formula_latex: 'J = F t',
|
|
252
|
+
epistemicStatus: 'fully-quantitative',
|
|
253
|
+
scalarAst: op('*', [sym('force', FORCE), sym('time', TIME)]),
|
|
254
|
+
regime: { scale: 'classical' },
|
|
255
|
+
assumptions: ['constant force over interval t'],
|
|
256
|
+
references: ['Taylor, Classical Mechanics §1'],
|
|
257
|
+
partnerBridges: [],
|
|
258
|
+
}),
|
|
259
|
+
// ── oscillations (√-law: dimensional-only, engine-derived fractional monomial)
|
|
260
|
+
l1({ name: 'angular-velocity', dim: FREQUENCY }, [
|
|
261
|
+
{ name: 'spring-constant', dim: SPRING_CONSTANT },
|
|
262
|
+
{ name: 'mass', dim: MASS },
|
|
263
|
+
], {
|
|
264
|
+
id: 'CE-simple-harmonic-frequency',
|
|
265
|
+
name: 'Simple-harmonic angular frequency',
|
|
266
|
+
domain: 'mechanics',
|
|
267
|
+
formula_latex: '\\omega = \\sqrt{k/m}',
|
|
268
|
+
epistemicStatus: 'dimensional',
|
|
269
|
+
regime: { scale: 'classical', force: 'emergent' },
|
|
270
|
+
assumptions: ['ideal mass–spring oscillator'],
|
|
271
|
+
references: ['Taylor, Classical Mechanics §5'],
|
|
272
|
+
partnerBridges: [],
|
|
273
|
+
}),
|
|
274
|
+
];
|
|
275
|
+
//# sourceMappingURL=mechanics.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"mechanics.js","sourceRoot":"","sources":["../../../src/canonical/entries/mechanics.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,KAAK,EACL,YAAY,EACZ,MAAM,EACN,IAAI,EACJ,KAAK,EACL,SAAS,GACV,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY;AAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa;AAC3C,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa;AACrD,MAAM,iBAAiB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;AACjD,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU;AACjD,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,iCAAiC;AAE/D,MAAM,CAAC,MAAM,SAAS,GAAiC;IACrD,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,YAAY,EAAE;KAC5C,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC;QAC1E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gBAAgB,EAAE,eAAe,CAAC;QAChD,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACrE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,+BAA+B,CAAC;QAC9C,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC/B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;KACpC,EAAE;QACD,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,0BAA0B,CAAC;QACzC,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE;KACjC,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACzE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,CAAC;QACjC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACrD,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE;QACrD,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE;KAC7C,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;YAC3C,GAAG,CAAC,GAAG,CAAC,kBAAkB,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC;SAC7C,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,YAAY,CAAC;QAC3B,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gCAAgC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1D,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;QACzB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE;QACrC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,mCAAmC;QACvC,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,oBAAoB;QACnC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC,CAAC;YAC1E,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;SACjB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,kBAAkB,EAAE,4BAA4B,CAAC;QAC/D,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;QAClE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,mCAAmC,CAAC;QAClD,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACnD,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;KACtC,EAAE;QACD,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;SACtC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;KACpC,EAAE;QACD,EAAE,EAAE,UAAU;QACd,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QACpE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,sBAAsB,CAAC;QACrC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE;QAChC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC9D,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;SACtB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;KACtC,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,UAAU;QACzB,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;SAC5B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,uBAAuB,CAAC;QACtC,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,+EAA+E;IAC/E,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;KAC9B,EAAE;QACD,EAAE,EAAE,WAAW;QACf,IAAI,EAAE,8BAA8B;QACpC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,aAAa;QAC5B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;QAChE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kCAAkC,CAAC;QACjD,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/D,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kCAAkC,CAAC;QACjD,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE,EAAE;QACxD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACxE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,CAAC;QACvC,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5D,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,gFAAgF;IAChF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAC/C,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,uBAAuB;QACtC,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,8BAA8B,CAAC;QAC7C,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* L1 (scalar-AST) canonical entries — assorted thermodynamic, nuclear, and
|
|
3
|
+
* cosmological monomial laws the registry lacked: sensible heat capacity,
|
|
4
|
+
* radioactive half-life, and the Hubble distance. L0 fields are engine-derived
|
|
5
|
+
* (see `_l1-build`).
|
|
6
|
+
*
|
|
7
|
+
* Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,
|
|
8
|
+
* 2026-06-20). `domain` is the nearest `CanonicalDomain` arm (the enum has no
|
|
9
|
+
* `nuclear`; radioactive decay → `quantum`). Skipped as degenerate:
|
|
10
|
+
* radioactive-activity `A=λN` (N dimensionless ⇒ activity ≡ decay-constant) and
|
|
11
|
+
* the Chandrasekhar mass (the (ℏc/G)/m_p² group is dimensionless ⇒
|
|
12
|
+
* underdetermined). See docs/research/bridges-vs-canonical-map.md.
|
|
13
|
+
*
|
|
14
|
+
* @module canonical/entries/thermo-nuclear-cosmo
|
|
15
|
+
*/
|
|
16
|
+
import type { CanonicalEquation } from '../canonical-equation.js';
|
|
17
|
+
export declare const THERMO_NUCLEAR_COSMO: readonly CanonicalEquation[];
|
|
18
|
+
//# sourceMappingURL=thermo-nuclear-cosmo.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"thermo-nuclear-cosmo.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/thermo-nuclear-cosmo.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAelE,eAAO,MAAM,oBAAoB,EAAE,SAAS,iBAAiB,EAkD5D,CAAC"}
|
|
@@ -0,0 +1,56 @@
|
|
|
1
|
+
import { sym } from '../../bridges/equations/_be-helpers.js';
|
|
2
|
+
import { MASS, VELOCITY, ENERGY, LENGTH, TIME, FREQUENCY, TEMPERATURE, } from '../../dimensional/types.js';
|
|
3
|
+
import { dim, op, pow, l1 } from './_l1-build.js';
|
|
4
|
+
const SPECIFIC_HEAT = dim(2, 0, -2, 0, -1); // [L² T⁻² Θ⁻¹] (J·kg⁻¹·K⁻¹)
|
|
5
|
+
export const THERMO_NUCLEAR_COSMO = [
|
|
6
|
+
l1({ name: 'heat-energy', dim: ENERGY }, [
|
|
7
|
+
{ name: 'mass', dim: MASS },
|
|
8
|
+
{ name: 'specific-heat', dim: SPECIFIC_HEAT },
|
|
9
|
+
{ name: 'temperature-change', dim: TEMPERATURE },
|
|
10
|
+
], {
|
|
11
|
+
id: 'CE-heat-capacity',
|
|
12
|
+
name: 'Sensible heat (heat capacity)',
|
|
13
|
+
domain: 'thermodynamics',
|
|
14
|
+
formula_latex: 'Q = m c \\Delta T',
|
|
15
|
+
epistemicStatus: 'fully-quantitative',
|
|
16
|
+
scalarAst: op('*', [
|
|
17
|
+
sym('mass', MASS),
|
|
18
|
+
sym('specific-heat', SPECIFIC_HEAT),
|
|
19
|
+
sym('temperature-change', TEMPERATURE),
|
|
20
|
+
]),
|
|
21
|
+
regime: { scale: 'classical' },
|
|
22
|
+
assumptions: ['no phase change', 'constant specific heat'],
|
|
23
|
+
references: ['Standard thermodynamics'],
|
|
24
|
+
partnerBridges: [],
|
|
25
|
+
}),
|
|
26
|
+
l1({ name: 'half-life', dim: TIME }, [
|
|
27
|
+
{ name: 'decay-constant', dim: FREQUENCY },
|
|
28
|
+
], {
|
|
29
|
+
id: 'CE-half-life',
|
|
30
|
+
name: 'Radioactive half-life',
|
|
31
|
+
domain: 'quantum',
|
|
32
|
+
formula_latex: 't_{1/2} = \\ln 2 / \\lambda',
|
|
33
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
34
|
+
scalarAst: pow(sym('decay-constant', FREQUENCY), '-1'),
|
|
35
|
+
regime: { scale: 'quantum' },
|
|
36
|
+
assumptions: ['first-order (exponential) decay'],
|
|
37
|
+
references: ['Rutherford–Soddy 1902'],
|
|
38
|
+
partnerBridges: [],
|
|
39
|
+
}),
|
|
40
|
+
l1({ name: 'hubble-distance', dim: LENGTH }, [
|
|
41
|
+
{ name: 'c', dim: VELOCITY },
|
|
42
|
+
{ name: 'hubble-rate', dim: FREQUENCY },
|
|
43
|
+
], {
|
|
44
|
+
id: 'CE-hubble-distance',
|
|
45
|
+
name: 'Hubble distance',
|
|
46
|
+
domain: 'cosmology',
|
|
47
|
+
formula_latex: 'D_H = c / H_0',
|
|
48
|
+
epistemicStatus: 'fully-quantitative',
|
|
49
|
+
scalarAst: op('/', [sym('c', VELOCITY), sym('hubble-rate', FREQUENCY)]),
|
|
50
|
+
regime: { scale: 'cosmological' },
|
|
51
|
+
assumptions: ['present-epoch Hubble parameter'],
|
|
52
|
+
references: ['Hubble 1929'],
|
|
53
|
+
partnerBridges: [],
|
|
54
|
+
}),
|
|
55
|
+
];
|
|
56
|
+
//# sourceMappingURL=thermo-nuclear-cosmo.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"thermo-nuclear-cosmo.js","sourceRoot":"","sources":["../../../src/canonical/entries/thermo-nuclear-cosmo.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,IAAI,EACJ,SAAS,EACT,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,aAAa,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,4BAA4B;AAExE,MAAM,CAAC,MAAM,oBAAoB,GAAiC;IAChE,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;QAC7C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,WAAW,EAAE;KACjD,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,mBAAmB;QAClC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;YACjB,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC;YACnC,GAAG,CAAC,oBAAoB,EAAE,WAAW,CAAC;SACvC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;QAC1D,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE;QACnC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,SAAS,EAAE;KAC3C,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,SAAS,CAAC,EAAE,IAAI,CAAC;QACtD,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,iCAAiC,CAAC;QAChD,UAAU,EAAE,CAAC,uBAAuB,CAAC;QACrC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,SAAS,EAAE;KACxC,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;QACvE,MAAM,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;QACjC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/canonical/registry.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;
|
|
1
|
+
{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/canonical/registry.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAYlF,gDAAgD;AAChD,eAAO,MAAM,mBAAmB,EAAE,SAAS,iBAAiB,EAU3D,CAAC;AAEF,kBAAkB;AAClB,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CACT,CAAC;AAEhE,8CAA8C;AAC9C,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAEvE;AAED,+BAA+B;AAC/B,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,eAAe,GACtB,SAAS,iBAAiB,EAAE,CAE9B;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,GACX,SAAS,iBAAiB,EAAE,CAE9B;AAED;4DAC4D;AAC5D,wBAAgB,kBAAkB,IAAI,GAAG,CAAC,MAAM,CAAC,CAOhD;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,IAAI,MAAM,EAAE,CAKzD"}
|
|
@@ -3,12 +3,22 @@ import { DIMENSIONAL_CLASSICS } from './entries/dimensional-classics.js';
|
|
|
3
3
|
import { L1_GRAVITY_THERMO } from './entries/l1-gravity-thermo.js';
|
|
4
4
|
import { L1_QUANTUM_EM } from './entries/l1-quantum-em.js';
|
|
5
5
|
import { RELATIVITY } from './entries/relativity.js';
|
|
6
|
+
import { MECHANICS } from './entries/mechanics.js';
|
|
7
|
+
import { ELECTROMAGNETISM } from './entries/electromagnetism.js';
|
|
8
|
+
import { FLUIDS_WAVES } from './entries/fluids-waves.js';
|
|
9
|
+
import { THERMO_NUCLEAR_COSMO } from './entries/thermo-nuclear-cosmo.js';
|
|
10
|
+
import { ATOMIC } from './entries/atomic.js';
|
|
6
11
|
/** Every canonical equation in the registry. */
|
|
7
12
|
export const CANONICAL_EQUATIONS = [
|
|
8
13
|
...DIMENSIONAL_CLASSICS,
|
|
9
14
|
...L1_GRAVITY_THERMO,
|
|
10
15
|
...L1_QUANTUM_EM,
|
|
11
16
|
...RELATIVITY,
|
|
17
|
+
...MECHANICS,
|
|
18
|
+
...ELECTROMAGNETISM,
|
|
19
|
+
...FLUIDS_WAVES,
|
|
20
|
+
...THERMO_NUCLEAR_COSMO,
|
|
21
|
+
...ATOMIC,
|
|
12
22
|
];
|
|
13
23
|
/** Id → entry. */
|
|
14
24
|
export const CANONICAL_BY_ID = Object.fromEntries(CANONICAL_EQUATIONS.map((e) => [e.id, e]));
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/canonical/registry.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;
|
|
1
|
+
{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/canonical/registry.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAE7C,gDAAgD;AAChD,MAAM,CAAC,MAAM,mBAAmB,GAAiC;IAC/D,GAAG,oBAAoB;IACvB,GAAG,iBAAiB;IACpB,GAAG,aAAa;IAChB,GAAG,UAAU;IACb,GAAG,SAAS;IACZ,GAAG,gBAAgB;IACnB,GAAG,YAAY;IACf,GAAG,oBAAoB;IACvB,GAAG,MAAM;CACV,CAAC;AAEF,kBAAkB;AAClB,MAAM,CAAC,MAAM,eAAe,GAC1B,MAAM,CAAC,WAAW,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAEhE,8CAA8C;AAC9C,MAAM,UAAU,aAAa,CAAC,EAAU;IACtC,OAAO,eAAe,CAAC,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,+BAA+B;AAC/B,MAAM,UAAU,iBAAiB,CAC/B,MAAuB;IAEvB,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AAChE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAY;IAEZ,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED;4DAC4D;AAC5D,MAAM,UAAU,kBAAkB;IAChC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,mBAAmB,EAAE,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,cAAc;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,CAAC,CAAC,cAAc;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B;IAC5C,MAAM,SAAS,GAAG,kBAAkB,EAAE,CAAC;IACvC,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SAC7C,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;SAClC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"compose.d.ts","sourceRoot":"","sources":["../../src/composition/compose.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAS5D;;;;;;GAMG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;GAKG;AACH,eAAO,MAAM,wBAAwB,EAAE,SAAS,sBAAsB,
|
|
1
|
+
{"version":3,"file":"compose.d.ts","sourceRoot":"","sources":["../../src/composition/compose.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAS5D;;;;;;GAMG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;GAKG;AACH,eAAO,MAAM,wBAAwB,EAAE,SAAS,sBAAsB,EA0CrE,CAAC;AAGF;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG;QAAE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAC9C,MAAM,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAC,CAe5C,CAAC;AAQF;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,cAAc,EACjB,CAAC,EAAE,cAAc,GAChB,cAAc,CAEhB;AAED,gDAAgD;AAChD,MAAM,WAAW,cAAc;IAC7B,kEAAkE;IAClE,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAChD;AA4BD;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,UAAU,EAClB,IAAI,GAAE,cAAmB,GACxB,UAAU,CA6IZ"}
|
|
@@ -62,6 +62,20 @@ export const QUANTITY_IDENTIFICATIONS = [
|
|
|
62
62
|
'momentum the single-mass anchor does not supply.',
|
|
63
63
|
citation: 'de Broglie 1924; Compton 1923 Phys. Rev. 21:483',
|
|
64
64
|
},
|
|
65
|
+
{
|
|
66
|
+
from: 'thermal-de-broglie-wavelength',
|
|
67
|
+
to: 'thermal-wavelength',
|
|
68
|
+
rationale: 'The catalog names the thermal de Broglie wavelength ' +
|
|
69
|
+
'λ_T = √(2πℏ²/(m k_B T)) `thermal-de-broglie-wavelength` (BE-11 Zurek ' +
|
|
70
|
+
'decoherence, BE-12 Caldeira–Leggett coherence length), while the ' +
|
|
71
|
+
'canonical L-layer law `CE-thermal-de-broglie` names the SAME physical ' +
|
|
72
|
+
'quantity `thermal-wavelength`. They are one node. Folded ONTO the ' +
|
|
73
|
+
'canonical `thermal-wavelength` (anchor-determinable: √(2πℏ²/(m k_B T)) ' +
|
|
74
|
+
'from a mass + temperature), reconnecting BE-11 — an ESTABLISHED bridge — ' +
|
|
75
|
+
'to standard physics (surfaced by the bridges-vs-canonical map; the link ' +
|
|
76
|
+
'was hidden purely by the name divergence).',
|
|
77
|
+
citation: 'de Broglie 1924; standard statistical mechanics (λ_T)',
|
|
78
|
+
},
|
|
65
79
|
];
|
|
66
80
|
/**
|
|
67
81
|
* Registered alias dispositions, keyed by composed id
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"compose.js","sourceRoot":"","sources":["../../src/composition/compose.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAG3D,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,WAAW,CAAC;AAgBnB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAsC;IACzE;QACE,IAAI,EAAE,qBAAqB;QAC3B,EAAE,EAAE,aAAa;QACjB,SAAS,EACP,+DAA+D;YAC/D,2DAA2D;YAC3D,2DAA2D;YAC3D,+DAA+D;YAC/D,gDAAgD;QAClD,QAAQ,EAAE,qDAAqD;KAChE;IACD;QACE,IAAI,EAAE,uBAAuB;QAC7B,EAAE,EAAE,oBAAoB;QACxB,SAAS,EACP,+DAA+D;YAC/D,oEAAoE;YACpE,oEAAoE;YACpE,sEAAsE;YACtE,mEAAmE;YACnE,wEAAwE;YACxE,wEAAwE;YACxE,gEAAgE;YAChE,kDAAkD;QACpD,QAAQ,EAAE,iDAAiD;KAC5D;CACF,CAAC;AAqBF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAElC;IACF,kEAAkE;IAClE,mEAAmE;IACnE,iEAAiE;IACjE,iCAAiC,EAAE;QACjC;YACE,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,QAAQ;YACjB,SAAS,EACP,gEAAgE;gBAChE,6DAA6D;gBAC7D,gDAAgD;SACnD;KACF;CACF,CAAC;AAEF,MAAM,eAAe,GAAmC;IACtD,WAAW,EAAE,CAAC;IACd,WAAW,EAAE,CAAC;IACd,oBAAoB,EAAE,CAAC;CACxB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAiB,EACjB,CAAiB;IAEjB,OAAO,eAAe,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC;AAcD,SAAS,YAAY,CACnB,KAAiB,EACjB,MAAkB,EAClB,eAAkD;IAElD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACnC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;QACpD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI;YAAE,SAAS;QAC/C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,EAAE,CAAC;gBAC1B,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC;YACrD,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,IAAI,wBAAwB,CAChC,kBAAkB,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,oBAAoB;QAC5D,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,sBAAsB,MAAM,CAAC,OAAO;aACtD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC;aACzB,IAAI,CAAC,IAAI,CAAC,wCAAwC,CACxD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAiB,EACjB,MAAkB,EAClB,OAAuB,EAAE;IAEzB,MAAM,eAAe,GAAG;QACtB,GAAG,wBAAwB;QAC3B,GAAG,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC;KAChC,CAAC;IACF,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,GAAG,YAAY,CAClD,KAAK,EACL,MAAM,EACN,eAAe,CAChB,CAAC;IAEF,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,yBAAyB,CACjC,kBAAkB,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,uBAAuB;YAC/D,cAAc,KAAK,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG;YACjE,OAAO,QAAQ,CAAC,IAAI,OAAO,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CACpD,CAAC;IACJ,CAAC;IAED,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;IAEtE,qEAAqE;IACrE,qEAAqE;IACrE,kEAAkE;IAClE,kEAAkE;IAClE,iEAAiE;IACjE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,MAAM,cAAc,GAAG;QACrB,GAAG,IAAI,GAAG,CACR,gBAAgB;aACb,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACtB;KACF,CAAC;IACF,MAAM,UAAU,GAAG,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;IAC/C,MAAM,YAAY,GAAuB;QACvC,GAAG,CAAC,yBAAyB,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QAChD,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;KACxB,CAAC;IACF,MAAM,SAAS,GAA2B,EAAE,CAAC,CAAC,uCAAuC;IACrF,MAAM,gBAAgB,GAAuB,EAAE,CAAC;IAChD,IAAI,cAAc,GAAe,CAAC,GAAG,gBAAgB,CAAC,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,IAAI,qBAAqB,CAC7B,kBAAkB,UAAU,sBAAsB,IAAI,YAAY;gBAChE,6BAA6B,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;gBAC5D,sBAAsB,gBAAgB;qBACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;qBAClB,IAAI,CAAC,IAAI,CAAC,6CAA6C;gBAC1D,qDAAqD;gBACrD,+DAA+D,CAClE,CAAC;QACJ,CAAC;QACD,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,OAAO,KAAK,QAAQ;YAAE,SAAS,CAAC,iCAAiC;QACvE,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;QACvC,IACE,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC;YACvB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,EAC9C,CAAC;YACD,MAAM,IAAI,qBAAqB,CAC7B,kBAAkB,UAAU,0BAA0B,OAAO,IAAI;gBAC/D,gEAAgE,CACnE,CAAC;QACJ,CAAC;QACD,cAAc,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAChE,CAAC;QACF,SAAS,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;IAC5B,CAAC;IAED;;6EAEyE;IACzE,MAAM,iBAAiB,GAAG,CACxB,MAA8B,EAC9B,YAAoB,EACI,EAAE;QAC1B,MAAM,EAAE,GAA2B,EAAE,GAAG,MAAM,EAAE,CAAC;QACjD,KAAK,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5D,EAAE,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;YAC/B,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;QACrB,CAAC;QACD,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC;QACjC,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG;QACrB,WAAW,EACT,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,sBAAsB;YAClD,GAAG,QAAQ,CAAC,IAAI,MAAM,MAAM,CAAC,MAAM,CAAC,WAAW,GAAG;QACpD,iEAAiE;QACjE,iEAAiE;QACjE,kEAAkE;QAClE,gEAAgE;QAChE,iEAAiE;QACjE,SAAS,EAAE,CAAC,MAA8B,EAAW,EAAE;YACrD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;gBAAE,OAAO,KAAK,CAAC;YAClD,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC5C,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,iBAAiB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;QAC1E,CAAC;KACF,CAAC;IAEF,MAAM,EAAE,GAAG,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;IAEvC,OAAO;QACL,EAAE;QACF,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ;QACtE,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,MAAM,MAAM,CAAC,KAAK,EAAE;QACzC,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,GAAG,cAAc,CAAC;QAC9C,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,UAAU,EAAE,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9D,MAAM,EAAE,cAAc;QACtB,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE;YACnB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpC,MAAM,IAAI,oBAAoB,CAC5B,GAAG,EAAE,4CAA4C;oBAC/C,IAAI,cAAc,CAAC,WAAW,GAAG,CACpC,CAAC;YACJ,CAAC;YACD,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC5C,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YAC5D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC1C,MAAM,IAAI,oBAAoB,CAC5B,GAAG,EAAE,4CAA4C;oBAC/C,IAAI,cAAc,CAAC,WAAW,GAAG,CACpC,CAAC;YACJ,CAAC;YACD,OAAO,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACtC,CAAC;QACD,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,MAAM,MAAM,CAAC,QAAQ,EAAE;QAClD,GAAG,CAAC,iBAAiB,KAAK,IAAI;YAC5B,CAAC,CAAC,EAAE,kBAAkB,EAAE,iBAAiB,EAAE;YAC3C,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;YAC7B,CAAC,CAAC,EAAE,qBAAqB,EAAE,gBAAgB,EAAE;YAC7C,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC"}
|
|
1
|
+
{"version":3,"file":"compose.js","sourceRoot":"","sources":["../../src/composition/compose.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAG3D,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,WAAW,CAAC;AAgBnB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAsC;IACzE;QACE,IAAI,EAAE,qBAAqB;QAC3B,EAAE,EAAE,aAAa;QACjB,SAAS,EACP,+DAA+D;YAC/D,2DAA2D;YAC3D,2DAA2D;YAC3D,+DAA+D;YAC/D,gDAAgD;QAClD,QAAQ,EAAE,qDAAqD;KAChE;IACD;QACE,IAAI,EAAE,uBAAuB;QAC7B,EAAE,EAAE,oBAAoB;QACxB,SAAS,EACP,+DAA+D;YAC/D,oEAAoE;YACpE,oEAAoE;YACpE,sEAAsE;YACtE,mEAAmE;YACnE,wEAAwE;YACxE,wEAAwE;YACxE,gEAAgE;YAChE,kDAAkD;QACpD,QAAQ,EAAE,iDAAiD;KAC5D;IACD;QACE,IAAI,EAAE,+BAA+B;QACrC,EAAE,EAAE,oBAAoB;QACxB,SAAS,EACP,sDAAsD;YACtD,uEAAuE;YACvE,mEAAmE;YACnE,wEAAwE;YACxE,oEAAoE;YACpE,yEAAyE;YACzE,2EAA2E;YAC3E,0EAA0E;YAC1E,4CAA4C;QAC9C,QAAQ,EAAE,uDAAuD;KAClE;CACF,CAAC;AAqBF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAElC;IACF,kEAAkE;IAClE,mEAAmE;IACnE,iEAAiE;IACjE,iCAAiC,EAAE;QACjC;YACE,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,QAAQ;YACjB,SAAS,EACP,gEAAgE;gBAChE,6DAA6D;gBAC7D,gDAAgD;SACnD;KACF;CACF,CAAC;AAEF,MAAM,eAAe,GAAmC;IACtD,WAAW,EAAE,CAAC;IACd,WAAW,EAAE,CAAC;IACd,oBAAoB,EAAE,CAAC;CACxB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAiB,EACjB,CAAiB;IAEjB,OAAO,eAAe,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC;AAcD,SAAS,YAAY,CACnB,KAAiB,EACjB,MAAkB,EAClB,eAAkD;IAElD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACnC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;QACpD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI;YAAE,SAAS;QAC/C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,EAAE,CAAC;gBAC1B,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC;YACrD,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,IAAI,wBAAwB,CAChC,kBAAkB,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,oBAAoB;QAC5D,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,sBAAsB,MAAM,CAAC,OAAO;aACtD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC;aACzB,IAAI,CAAC,IAAI,CAAC,wCAAwC,CACxD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAiB,EACjB,MAAkB,EAClB,OAAuB,EAAE;IAEzB,MAAM,eAAe,GAAG;QACtB,GAAG,wBAAwB;QAC3B,GAAG,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC;KAChC,CAAC;IACF,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,GAAG,YAAY,CAClD,KAAK,EACL,MAAM,EACN,eAAe,CAChB,CAAC;IAEF,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,yBAAyB,CACjC,kBAAkB,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,uBAAuB;YAC/D,cAAc,KAAK,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG;YACjE,OAAO,QAAQ,CAAC,IAAI,OAAO,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CACpD,CAAC;IACJ,CAAC;IAED,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;IAEtE,qEAAqE;IACrE,qEAAqE;IACrE,kEAAkE;IAClE,kEAAkE;IAClE,iEAAiE;IACjE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,MAAM,cAAc,GAAG;QACrB,GAAG,IAAI,GAAG,CACR,gBAAgB;aACb,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACtB;KACF,CAAC;IACF,MAAM,UAAU,GAAG,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;IAC/C,MAAM,YAAY,GAAuB;QACvC,GAAG,CAAC,yBAAyB,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QAChD,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;KACxB,CAAC;IACF,MAAM,SAAS,GAA2B,EAAE,CAAC,CAAC,uCAAuC;IACrF,MAAM,gBAAgB,GAAuB,EAAE,CAAC;IAChD,IAAI,cAAc,GAAe,CAAC,GAAG,gBAAgB,CAAC,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,IAAI,qBAAqB,CAC7B,kBAAkB,UAAU,sBAAsB,IAAI,YAAY;gBAChE,6BAA6B,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;gBAC5D,sBAAsB,gBAAgB;qBACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;qBAClB,IAAI,CAAC,IAAI,CAAC,6CAA6C;gBAC1D,qDAAqD;gBACrD,+DAA+D,CAClE,CAAC;QACJ,CAAC;QACD,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,OAAO,KAAK,QAAQ;YAAE,SAAS,CAAC,iCAAiC;QACvE,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;QACvC,IACE,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC;YACvB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,EAC9C,CAAC;YACD,MAAM,IAAI,qBAAqB,CAC7B,kBAAkB,UAAU,0BAA0B,OAAO,IAAI;gBAC/D,gEAAgE,CACnE,CAAC;QACJ,CAAC;QACD,cAAc,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAChE,CAAC;QACF,SAAS,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;IAC5B,CAAC;IAED;;6EAEyE;IACzE,MAAM,iBAAiB,GAAG,CACxB,MAA8B,EAC9B,YAAoB,EACI,EAAE;QAC1B,MAAM,EAAE,GAA2B,EAAE,GAAG,MAAM,EAAE,CAAC;QACjD,KAAK,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5D,EAAE,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;YAC/B,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;QACrB,CAAC;QACD,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC;QACjC,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG;QACrB,WAAW,EACT,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,sBAAsB;YAClD,GAAG,QAAQ,CAAC,IAAI,MAAM,MAAM,CAAC,MAAM,CAAC,WAAW,GAAG;QACpD,iEAAiE;QACjE,iEAAiE;QACjE,kEAAkE;QAClE,gEAAgE;QAChE,iEAAiE;QACjE,SAAS,EAAE,CAAC,MAA8B,EAAW,EAAE;YACrD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;gBAAE,OAAO,KAAK,CAAC;YAClD,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC5C,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,iBAAiB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;QAC1E,CAAC;KACF,CAAC;IAEF,MAAM,EAAE,GAAG,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;IAEvC,OAAO;QACL,EAAE;QACF,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ;QACtE,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,MAAM,MAAM,CAAC,KAAK,EAAE;QACzC,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,GAAG,cAAc,CAAC;QAC9C,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,UAAU,EAAE,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9D,MAAM,EAAE,cAAc;QACtB,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE;YACnB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpC,MAAM,IAAI,oBAAoB,CAC5B,GAAG,EAAE,4CAA4C;oBAC/C,IAAI,cAAc,CAAC,WAAW,GAAG,CACpC,CAAC;YACJ,CAAC;YACD,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC5C,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YAC5D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC1C,MAAM,IAAI,oBAAoB,CAC5B,GAAG,EAAE,4CAA4C;oBAC/C,IAAI,cAAc,CAAC,WAAW,GAAG,CACpC,CAAC;YACJ,CAAC;YACD,OAAO,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACtC,CAAC;QACD,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,MAAM,MAAM,CAAC,QAAQ,EAAE;QAClD,GAAG,CAAC,iBAAiB,KAAK,IAAI;YAC5B,CAAC,CAAC,EAAE,kBAAkB,EAAE,iBAAiB,EAAE;YAC3C,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;YAC7B,CAAC,CAAC,EAAE,qBAAqB,EAAE,gBAAgB,EAAE;YAC7C,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,39 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Dimension-adjacency — a review surface for quantities that are absent from a
|
|
3
|
+
* reference vocabulary BY NAME but match a reference quantity BY DIMENSION.
|
|
4
|
+
*
|
|
5
|
+
* Name-based graph linkage misses connections hidden by a name divergence (e.g.
|
|
6
|
+
* the catalog's `thermal-de-broglie-wavelength` vs the canonical L-layer's
|
|
7
|
+
* `thermal-wavelength` — the same physical quantity). This sweep surfaces such
|
|
8
|
+
* candidates so a reviewer can spot true aliases and registry gaps.
|
|
9
|
+
*
|
|
10
|
+
* It is strictly a **review surface, never an auto-merge**: same dimension does
|
|
11
|
+
* NOT imply same quantity (`effective-mass` ≠ `mass`, every dimensionless
|
|
12
|
+
* coupling shares `[dimensionless]`), so dimensionless quantities are excluded
|
|
13
|
+
* and the output is for human adjudication only.
|
|
14
|
+
*
|
|
15
|
+
* @module composition/dimension-adjacency
|
|
16
|
+
*/
|
|
17
|
+
import type { Dimension } from '../dimensional/types.js';
|
|
18
|
+
/** A name-divergent quantity and the reference quantities it dimension-matches. */
|
|
19
|
+
export interface DimensionAdjacency {
|
|
20
|
+
/** The quantity name (absent from the reference vocabulary). */
|
|
21
|
+
readonly name: string;
|
|
22
|
+
/** Its formatted dimension. */
|
|
23
|
+
readonly dim: string;
|
|
24
|
+
/** Reference quantities of the SAME dimension — candidates for review. */
|
|
25
|
+
readonly candidates: readonly string[];
|
|
26
|
+
}
|
|
27
|
+
/**
|
|
28
|
+
* For every distinct quantity whose `name` is absent from `referenceDims` but
|
|
29
|
+
* whose `dim` matches ≥1 reference quantity (dimensionless excluded), list the
|
|
30
|
+
* same-dimension reference candidates. Sorted by quantity name; candidates
|
|
31
|
+
* sorted. A review surface — same dimension ≠ same quantity.
|
|
32
|
+
*
|
|
33
|
+
* @public
|
|
34
|
+
*/
|
|
35
|
+
export declare function dimensionAdjacency(quantities: Iterable<{
|
|
36
|
+
readonly name: string;
|
|
37
|
+
readonly dim: Dimension;
|
|
38
|
+
}>, referenceDims: ReadonlyMap<string, Dimension>): DimensionAdjacency[];
|
|
39
|
+
//# sourceMappingURL=dimension-adjacency.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"dimension-adjacency.d.ts","sourceRoot":"","sources":["../../src/composition/dimension-adjacency.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAIzD,mFAAmF;AACnF,MAAM,WAAW,kBAAkB;IACjC,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,+BAA+B;IAC/B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,0EAA0E;IAC1E,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,QAAQ,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;CAAE,CAAC,EACxE,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GAC5C,kBAAkB,EAAE,CAatB"}
|
|
@@ -0,0 +1,44 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Dimension-adjacency — a review surface for quantities that are absent from a
|
|
3
|
+
* reference vocabulary BY NAME but match a reference quantity BY DIMENSION.
|
|
4
|
+
*
|
|
5
|
+
* Name-based graph linkage misses connections hidden by a name divergence (e.g.
|
|
6
|
+
* the catalog's `thermal-de-broglie-wavelength` vs the canonical L-layer's
|
|
7
|
+
* `thermal-wavelength` — the same physical quantity). This sweep surfaces such
|
|
8
|
+
* candidates so a reviewer can spot true aliases and registry gaps.
|
|
9
|
+
*
|
|
10
|
+
* It is strictly a **review surface, never an auto-merge**: same dimension does
|
|
11
|
+
* NOT imply same quantity (`effective-mass` ≠ `mass`, every dimensionless
|
|
12
|
+
* coupling shares `[dimensionless]`), so dimensionless quantities are excluded
|
|
13
|
+
* and the output is for human adjudication only.
|
|
14
|
+
*
|
|
15
|
+
* @module composition/dimension-adjacency
|
|
16
|
+
*/
|
|
17
|
+
import { DIMENSIONLESS } from '../dimensional/types.js';
|
|
18
|
+
import { equals, format } from '../dimensional/algebra.js';
|
|
19
|
+
/**
|
|
20
|
+
* For every distinct quantity whose `name` is absent from `referenceDims` but
|
|
21
|
+
* whose `dim` matches ≥1 reference quantity (dimensionless excluded), list the
|
|
22
|
+
* same-dimension reference candidates. Sorted by quantity name; candidates
|
|
23
|
+
* sorted. A review surface — same dimension ≠ same quantity.
|
|
24
|
+
*
|
|
25
|
+
* @public
|
|
26
|
+
*/
|
|
27
|
+
export function dimensionAdjacency(quantities, referenceDims) {
|
|
28
|
+
const refEntries = [...referenceDims.entries()];
|
|
29
|
+
const out = new Map();
|
|
30
|
+
for (const q of quantities) {
|
|
31
|
+
if (out.has(q.name) || referenceDims.has(q.name))
|
|
32
|
+
continue; // dedupe + name-match skip
|
|
33
|
+
if (equals(q.dim, DIMENSIONLESS))
|
|
34
|
+
continue; // too generic to be a useful candidate
|
|
35
|
+
const candidates = refEntries
|
|
36
|
+
.filter(([, d]) => equals(d, q.dim))
|
|
37
|
+
.map(([n]) => n)
|
|
38
|
+
.sort();
|
|
39
|
+
if (candidates.length)
|
|
40
|
+
out.set(q.name, { name: q.name, dim: format(q.dim), candidates });
|
|
41
|
+
}
|
|
42
|
+
return [...out.values()].sort((a, b) => a.name.localeCompare(b.name));
|
|
43
|
+
}
|
|
44
|
+
//# sourceMappingURL=dimension-adjacency.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"dimension-adjacency.js","sourceRoot":"","sources":["../../src/composition/dimension-adjacency.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAY3D;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAChC,UAAwE,EACxE,aAA6C;IAE7C,MAAM,UAAU,GAAG,CAAC,GAAG,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,IAAI,GAAG,EAA8B,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS,CAAC,2BAA2B;QACvF,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,aAAa,CAAC;YAAE,SAAS,CAAC,uCAAuC;QACnF,MAAM,UAAU,GAAG,UAAU;aAC1B,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;aACnC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;aACf,IAAI,EAAE,CAAC;QACV,IAAI,UAAU,CAAC,MAAM;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AACxE,CAAC"}
|
|
@@ -0,0 +1,31 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* SVG rendering for the physics map — render Graphviz DOT source to an SVG
|
|
3
|
+
* string via the optional **`@viz-js/viz`** peer (the real Graphviz compiled to
|
|
4
|
+
* WebAssembly: same `dot` output, in-process, no native binary, no subprocess).
|
|
5
|
+
*
|
|
6
|
+
* Kept separate from `graph-viz.ts` so that module stays pure, synchronous, and
|
|
7
|
+
* dependency-free (text only). The optional-renderer concern — a lazy dynamic
|
|
8
|
+
* import with graceful fallback, mirroring `numerical/formula-registry.ts`'s
|
|
9
|
+
* MathTS-peer pattern — lives here.
|
|
10
|
+
*
|
|
11
|
+
* @module composition/graph-viz-svg
|
|
12
|
+
*/
|
|
13
|
+
/**
|
|
14
|
+
* Thrown by {@link renderDotToSvg} when the optional `@viz-js/viz` peer is not
|
|
15
|
+
* installed. The message names the install command and the no-install
|
|
16
|
+
* alternative.
|
|
17
|
+
*
|
|
18
|
+
* @public
|
|
19
|
+
*/
|
|
20
|
+
export declare class SvgRendererUnavailableError extends Error {
|
|
21
|
+
constructor(message?: string);
|
|
22
|
+
}
|
|
23
|
+
/**
|
|
24
|
+
* Render Graphviz DOT source (e.g. {@link buildVizModel}'s `toDot()`) to an SVG
|
|
25
|
+
* document string. Lazy-loads the optional `@viz-js/viz` peer.
|
|
26
|
+
*
|
|
27
|
+
* @throws {SvgRendererUnavailableError} if the peer is not installed.
|
|
28
|
+
* @public
|
|
29
|
+
*/
|
|
30
|
+
export declare function renderDotToSvg(dot: string): Promise<string>;
|
|
31
|
+
//# sourceMappingURL=graph-viz-svg.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"graph-viz-svg.d.ts","sourceRoot":"","sources":["../../src/composition/graph-viz-svg.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH;;;;;;GAMG;AACH,qBAAa,2BAA4B,SAAQ,KAAK;gBAElD,OAAO,SAC8B;CAKxC;AASD;;;;;;GAMG;AACH,wBAAsB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CASjE"}
|