universal-physics-tensor 0.33.0 → 0.35.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 +15 -4
- package/dist/bridges/be51-lensing-confrontation.d.ts +57 -0
- package/dist/bridges/be51-lensing-confrontation.d.ts.map +1 -0
- package/dist/bridges/be51-lensing-confrontation.js +49 -0
- package/dist/bridges/be51-lensing-confrontation.js.map +1 -0
- package/dist/bridges/confrontations.d.ts.map +1 -1
- package/dist/bridges/confrontations.js +20 -0
- package/dist/bridges/confrontations.js.map +1 -1
- package/dist/canonical/canonical-equation.d.ts +1 -1
- package/dist/canonical/canonical-equation.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.d.ts +2 -1
- package/dist/canonical/entries/atomic.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.js +22 -1
- package/dist/canonical/entries/atomic.js.map +1 -1
- package/dist/canonical/entries/condensed-matter.d.ts +23 -0
- package/dist/canonical/entries/condensed-matter.d.ts.map +1 -0
- package/dist/canonical/entries/condensed-matter.js +173 -0
- package/dist/canonical/entries/condensed-matter.js.map +1 -0
- package/dist/canonical/entries/electromagnetism.d.ts +4 -0
- package/dist/canonical/entries/electromagnetism.d.ts.map +1 -1
- package/dist/canonical/entries/electromagnetism.js +97 -1
- package/dist/canonical/entries/electromagnetism.js.map +1 -1
- package/dist/canonical/entries/fluids-waves.d.ts +15 -3
- package/dist/canonical/entries/fluids-waves.d.ts.map +1 -1
- package/dist/canonical/entries/fluids-waves.js +103 -2
- package/dist/canonical/entries/fluids-waves.js.map +1 -1
- package/dist/canonical/entries/nonmonomial.d.ts +26 -0
- package/dist/canonical/entries/nonmonomial.d.ts.map +1 -0
- package/dist/canonical/entries/nonmonomial.js +141 -0
- package/dist/canonical/entries/nonmonomial.js.map +1 -0
- package/dist/canonical/entries/statistical-mechanics.d.ts +24 -0
- package/dist/canonical/entries/statistical-mechanics.d.ts.map +1 -0
- package/dist/canonical/entries/statistical-mechanics.js +94 -0
- package/dist/canonical/entries/statistical-mechanics.js.map +1 -0
- package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts +5 -4
- package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map +1 -1
- package/dist/canonical/entries/thermo-nuclear-cosmo.js +60 -0
- package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
- package/dist/canonical/registry.d.ts.map +1 -1
- package/dist/canonical/registry.js +6 -0
- package/dist/canonical/registry.js.map +1 -1
- package/dist/index.d.ts +2 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +2 -0
- package/dist/index.js.map +1 -1
- package/package.json +1 -1
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { sym } from '../../bridges/equations/_be-helpers.js';
|
|
2
|
-
import { MASS, VELOCITY, ENERGY, POWER, LENGTH, AREA, FREQUENCY, CHARGE, FORCE, DIMENSIONLESS, } from '../../dimensional/types.js';
|
|
2
|
+
import { MASS, VELOCITY, ACCELERATION, ENERGY, POWER, LENGTH, AREA, TIME, FREQUENCY, CHARGE, FORCE, DIMENSIONLESS, } from '../../dimensional/types.js';
|
|
3
3
|
import { dim, op, pow, l1 } from './_l1-build.js';
|
|
4
4
|
const CURRENT = dim(0, 0, 0, 1); // ampere [I]
|
|
5
5
|
const VOLTAGE = dim(2, 1, -3, -1); // volt [L² M T⁻³ I⁻¹]
|
|
@@ -11,6 +11,9 @@ const MAGNETIC_FIELD = dim(0, 1, -2, -1); // tesla [M T⁻² I⁻¹]
|
|
|
11
11
|
const ELECTRIC_FIELD = dim(1, 1, -3, -1); // V/m [L M T⁻³ I⁻¹]
|
|
12
12
|
const PERMITTIVITY = dim(-3, -1, 4, 2); // ε₀ [L⁻³ M⁻¹ T⁴ I²]
|
|
13
13
|
const PERMEABILITY = dim(1, 1, -2, -2); // μ₀ [L M T⁻² I⁻²]
|
|
14
|
+
const POYNTING_FLUX = dim(0, 1, -3, 0); // W/m² [M T⁻³] (power per area)
|
|
15
|
+
const TURN_DENSITY = dim(-1, 0, 0, 0); // turns/m [L⁻¹]
|
|
16
|
+
const FIELD_ENERGY_DENSITY = dim(-1, 1, -2, 0); // J/m³ [L⁻¹ M T⁻²] (energy per volume)
|
|
14
17
|
export const ELECTROMAGNETISM = [
|
|
15
18
|
l1({ name: 'voltage', dim: VOLTAGE }, [
|
|
16
19
|
{ name: 'current', dim: CURRENT },
|
|
@@ -256,5 +259,98 @@ export const ELECTROMAGNETISM = [
|
|
|
256
259
|
references: ['Lorentz 1895'],
|
|
257
260
|
partnerBridges: [],
|
|
258
261
|
}),
|
|
262
|
+
// ── batch 3 (2026-07-03): RC time constant, Poynting flux, solenoid field,
|
|
263
|
+
// Larmor radiated power, electric-field energy density. ───────────────────
|
|
264
|
+
l1({ name: 'rc-time-constant', dim: TIME }, [
|
|
265
|
+
{ name: 'resistance', dim: RESISTANCE },
|
|
266
|
+
{ name: 'capacitance', dim: CAPACITANCE },
|
|
267
|
+
], {
|
|
268
|
+
id: 'CE-rc-time-constant',
|
|
269
|
+
name: 'RC time constant',
|
|
270
|
+
domain: 'electromagnetism',
|
|
271
|
+
formula_latex: '\\tau = R C',
|
|
272
|
+
epistemicStatus: 'fully-quantitative',
|
|
273
|
+
scalarAst: op('*', [sym('resistance', RESISTANCE), sym('capacitance', CAPACITANCE)]),
|
|
274
|
+
regime: { scale: 'classical', force: 'electromagnetic' },
|
|
275
|
+
assumptions: ['series RC circuit'],
|
|
276
|
+
references: ['Standard circuit theory'],
|
|
277
|
+
partnerBridges: [],
|
|
278
|
+
}),
|
|
279
|
+
l1({ name: 'poynting-flux', dim: POYNTING_FLUX }, [
|
|
280
|
+
{ name: 'electric-field', dim: ELECTRIC_FIELD },
|
|
281
|
+
{ name: 'magnetic-flux-density', dim: MAGNETIC_FIELD },
|
|
282
|
+
{ name: 'mu_0', dim: PERMEABILITY },
|
|
283
|
+
], {
|
|
284
|
+
id: 'CE-poynting-flux',
|
|
285
|
+
name: 'Poynting vector (magnitude)',
|
|
286
|
+
domain: 'electromagnetism',
|
|
287
|
+
formula_latex: 'S = E B / \\mu_0',
|
|
288
|
+
epistemicStatus: 'fully-quantitative',
|
|
289
|
+
scalarAst: op('/', [
|
|
290
|
+
op('*', [sym('electric-field', ELECTRIC_FIELD), sym('magnetic-flux-density', MAGNETIC_FIELD)]),
|
|
291
|
+
sym('mu_0', PERMEABILITY),
|
|
292
|
+
]),
|
|
293
|
+
regime: { scale: 'classical', force: 'electromagnetic' },
|
|
294
|
+
assumptions: ['plane EM wave', 'vacuum'],
|
|
295
|
+
references: ['Poynting 1884', 'Griffiths, Introduction to Electrodynamics'],
|
|
296
|
+
partnerBridges: [],
|
|
297
|
+
}),
|
|
298
|
+
l1({ name: 'solenoid-field', dim: MAGNETIC_FIELD }, [
|
|
299
|
+
{ name: 'mu_0', dim: PERMEABILITY },
|
|
300
|
+
{ name: 'turn-density', dim: TURN_DENSITY },
|
|
301
|
+
{ name: 'current', dim: CURRENT },
|
|
302
|
+
], {
|
|
303
|
+
id: 'CE-solenoid-field',
|
|
304
|
+
name: 'Solenoid magnetic field',
|
|
305
|
+
domain: 'electromagnetism',
|
|
306
|
+
formula_latex: 'B = \\mu_0 n I',
|
|
307
|
+
epistemicStatus: 'fully-quantitative',
|
|
308
|
+
scalarAst: op('*', [
|
|
309
|
+
op('*', [sym('mu_0', PERMEABILITY), sym('turn-density', TURN_DENSITY)]),
|
|
310
|
+
sym('current', CURRENT),
|
|
311
|
+
]),
|
|
312
|
+
regime: { scale: 'classical', force: 'electromagnetic' },
|
|
313
|
+
assumptions: ['ideal infinite solenoid'],
|
|
314
|
+
references: ['Ampère 1826', 'Griffiths, Introduction to Electrodynamics'],
|
|
315
|
+
partnerBridges: [],
|
|
316
|
+
}),
|
|
317
|
+
l1({ name: 'larmor-power', dim: POWER }, [
|
|
318
|
+
{ name: 'charge', dim: CHARGE },
|
|
319
|
+
{ name: 'acceleration', dim: ACCELERATION },
|
|
320
|
+
{ name: 'epsilon_0', dim: PERMITTIVITY },
|
|
321
|
+
{ name: 'speed-of-light', dim: VELOCITY },
|
|
322
|
+
], {
|
|
323
|
+
id: 'CE-larmor-power',
|
|
324
|
+
name: 'Larmor radiated power',
|
|
325
|
+
domain: 'electromagnetism',
|
|
326
|
+
formula_latex: 'P = q^2 a^2 / (6\\pi \\varepsilon_0 c^3)',
|
|
327
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
328
|
+
scalarAst: op('/', [
|
|
329
|
+
op('*', [pow(sym('charge', CHARGE), '2'), pow(sym('acceleration', ACCELERATION), '2')]),
|
|
330
|
+
op('*', [sym('epsilon_0', PERMITTIVITY), pow(sym('speed-of-light', VELOCITY), '3')]),
|
|
331
|
+
]),
|
|
332
|
+
regime: { scale: 'classical', force: 'electromagnetic' },
|
|
333
|
+
assumptions: ['non-relativistic point charge'],
|
|
334
|
+
references: ['Larmor 1897', 'Jackson, Classical Electrodynamics'],
|
|
335
|
+
partnerBridges: [],
|
|
336
|
+
}),
|
|
337
|
+
l1({ name: 'field-energy-density', dim: FIELD_ENERGY_DENSITY }, [
|
|
338
|
+
{ name: 'epsilon_0', dim: PERMITTIVITY },
|
|
339
|
+
{ name: 'electric-field', dim: ELECTRIC_FIELD },
|
|
340
|
+
], {
|
|
341
|
+
id: 'CE-field-energy-density',
|
|
342
|
+
name: 'Electric-field energy density',
|
|
343
|
+
domain: 'electromagnetism',
|
|
344
|
+
formula_latex: 'u = \\tfrac{1}{2} \\varepsilon_0 E^2',
|
|
345
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
346
|
+
scalarAst: op('*', [
|
|
347
|
+
sym('epsilon_0', PERMITTIVITY),
|
|
348
|
+
pow(sym('electric-field', ELECTRIC_FIELD), '2'),
|
|
349
|
+
]),
|
|
350
|
+
regime: { scale: 'classical', force: 'electromagnetic' },
|
|
351
|
+
assumptions: ['linear vacuum', 'electrostatic'],
|
|
352
|
+
references: ['Griffiths, Introduction to Electrodynamics'],
|
|
353
|
+
partnerBridges: [],
|
|
354
|
+
}),
|
|
259
355
|
];
|
|
260
356
|
//# sourceMappingURL=electromagnetism.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"electromagnetism.js","sourceRoot":"","sources":["../../../src/canonical/entries/electromagnetism.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,KAAK,EACL,MAAM,EACN,IAAI,EACJ,SAAS,EACT,MAAM,EACN,KAAK,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa;AAC9C,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB;AACzD,MAAM,UAAU,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB;AAC3D,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,uBAAuB;AAC9D,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,wBAAwB;AAC/D,MAAM,UAAU,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,uBAAuB;AAC7D,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;AAC9D,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;AAC9D,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qBAAqB;AAC7D,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB;AAE3D,MAAM,CAAC,MAAM,gBAAgB,GAAiC;IAC5D,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QACpC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE;KACxC,EAAE;QACD,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;QAC5E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,iBAAiB,CAAC;QAChC,UAAU,EAAE,CAAC,UAAU,CAAC;QACxB,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;QACtE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;YACjE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;SAClB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,uBAAuB,EAAE,sBAAsB,CAAC;QAC9D,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE,EAAE;QAC5C,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,+BAA+B;QACnC,IAAI,EAAE,4BAA4B;QAClC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,0BAA0B;QACzC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YAC5D,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC;SACxB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,YAAY,EAAE,4BAA4B,CAAC;QACzD,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;YAC/B,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC;SAClC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,4CAA4C,CAAC;QAC1D,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE;QACvC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC;YAC7B,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC;SAClC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,4CAA4C,CAAC;QAC1D,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE;QACnC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,wCAAwC;QAC9C,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,0BAA0B;QACzC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;YAC7D,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC;SACxB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,wBAAwB,EAAE,eAAe,CAAC;QACxD,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,qBAAqB;QACpC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC,CAAC;YACvE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;SAClB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,mCAAmC,CAAC;QAClD,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACzC,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;QAC/B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;KAChD,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,0BAA0B;QACzC,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,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;YACpD,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC,CAAC;SACxE,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,6BAA6B,EAAE,kBAAkB,CAAC;QAChE,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,6CAA6C;QACnD,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,oCAAoC;QACnD,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;YACrB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;SACtE,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,eAAe,CAAC;QACxD,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,gFAAgF;IAChF,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAChD,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE;QACvC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,2BAA2B;QAC1C,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,4EAA4E;IAC5E,mEAAmE;IACnE,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QACxC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE;QAC5B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE;QAC5B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,uCAAuC;QACtD,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;YACjD,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC;gBAC9B,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;aAC3B,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,eAAe,EAAE,QAAQ,EAAE,eAAe,CAAC;QACzD,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,qCAAqC;IACrC,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QACxC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,cAAc,EAAE;KACnC,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;YAChB,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;YAClB,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC;SACzB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,wBAAwB,CAAC;QACvC,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
|
|
1
|
+
{"version":3,"file":"electromagnetism.js","sourceRoot":"","sources":["../../../src/canonical/entries/electromagnetism.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,MAAM,EACN,KAAK,EACL,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,MAAM,EACN,KAAK,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa;AAC9C,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB;AACzD,MAAM,UAAU,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB;AAC3D,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,uBAAuB;AAC9D,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,wBAAwB;AAC/D,MAAM,UAAU,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,uBAAuB;AAC7D,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;AAC9D,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;AAC9D,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qBAAqB;AAC7D,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB;AAC3D,MAAM,aAAa,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,gCAAgC;AACxE,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB;AACvD,MAAM,oBAAoB,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,uCAAuC;AAEvF,MAAM,CAAC,MAAM,gBAAgB,GAAiC;IAC5D,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QACpC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE;KACxC,EAAE;QACD,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;QAC5E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,iBAAiB,CAAC;QAChC,UAAU,EAAE,CAAC,UAAU,CAAC;QACxB,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;QACtE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;YACjE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;SAClB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,uBAAuB,EAAE,sBAAsB,CAAC;QAC9D,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE,EAAE;QAC5C,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,+BAA+B;QACnC,IAAI,EAAE,4BAA4B;QAClC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,0BAA0B;QACzC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YAC5D,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC;SACxB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,YAAY,EAAE,4BAA4B,CAAC;QACzD,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;YAC/B,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC;SAClC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,4CAA4C,CAAC;QAC1D,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE;QACvC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC;YAC7B,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC;SAClC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,4CAA4C,CAAC;QAC1D,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE;QACnC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,wCAAwC;QAC9C,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,0BAA0B;QACzC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;YAC7D,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC;SACxB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,wBAAwB,EAAE,eAAe,CAAC;QACxD,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,qBAAqB;QACpC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC,CAAC;YACvE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;SAClB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,mCAAmC,CAAC;QAClD,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACzC,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;QAC/B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;KAChD,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,0BAA0B;QACzC,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,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;YACpD,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC,CAAC;SACxE,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,6BAA6B,EAAE,kBAAkB,CAAC;QAChE,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,6CAA6C;QACnD,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,oCAAoC;QACnD,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;YACrB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;SACtE,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,cAAc,EAAE,QAAQ,EAAE,eAAe,CAAC;QACxD,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,gFAAgF;IAChF,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAChD,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE;QACvC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,2BAA2B;QAC1C,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,4EAA4E;IAC5E,mEAAmE;IACnE,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QACxC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE;QAC5B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE;QAC5B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,uCAAuC;QACtD,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;YACjD,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC;gBAC9B,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;aAC3B,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,eAAe,EAAE,QAAQ,EAAE,eAAe,CAAC;QACzD,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,qCAAqC;IACrC,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QACxC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,cAAc,EAAE;KACnC,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;YAChB,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;YAClB,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC;SACzB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,wBAAwB,CAAC;QACvC,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,4EAA4E;IAC5E,4EAA4E;IAC5E,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,UAAU,EAAE;QACvC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,aAAa;QAC5B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;QACpF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,mBAAmB,CAAC;QAClC,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE;QAChD,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,cAAc,EAAE;QACtD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE;KACpC,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,kBAAkB;QACjC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,EAAE,GAAG,CAAC,uBAAuB,EAAE,cAAc,CAAC,CAAC,CAAC;YAC9F,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC;SAC1B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,eAAe,EAAE,QAAQ,CAAC;QACxC,UAAU,EAAE,CAAC,eAAe,EAAE,4CAA4C,CAAC;QAC3E,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE;QACnC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,YAAY,EAAE;QAC3C,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,gBAAgB;QAC/B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC;YACvE,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;SACxB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,aAAa,EAAE,4CAA4C,CAAC;QACzE,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,YAAY,EAAE;QAC3C,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,0CAA0C;QACzD,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YACvF,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;SACrF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,+BAA+B,CAAC;QAC9C,UAAU,EAAE,CAAC,aAAa,EAAE,oCAAoC,CAAC;QACjE,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,oBAAoB,EAAE,EAAE;QAC9D,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;KAChD,EAAE;QACD,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,sCAAsC;QACrD,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC;YAC9B,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,EAAE,GAAG,CAAC;SAChD,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;QAC/C,UAAU,EAAE,CAAC,4CAA4C,CAAC;QAC1D,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
|
|
@@ -1,15 +1,27 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* L1 (scalar-AST) canonical entries — fluids & waves (classical mechanics).
|
|
3
3
|
* Hydrostatic pressure, the pressure and density definitions, buoyancy, Stokes
|
|
4
|
-
* drag, the wave relation v = fλ,
|
|
5
|
-
*
|
|
4
|
+
* drag, the wave relation v = fλ, the fluid sound speed, (batch 2) continuity
|
|
5
|
+
* flow rate, Newtonian shear stress, Laplace pressure, dynamic pressure, and
|
|
6
|
+
* (batch 6) harmonic oscillator energy. L0 fields are engine-derived (see
|
|
7
|
+
* `_l1-build`).
|
|
6
8
|
*
|
|
7
9
|
* Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,
|
|
8
10
|
* 2026-06-20). `domain: 'mechanics'` — the `CanonicalDomain` enum has no
|
|
9
11
|
* `fluids`/`waves` arm, and these are classical-mechanics laws. The sound-speed
|
|
10
12
|
* √-law is `dimensional` (the dimensionless adiabatic index γ is a leading
|
|
11
13
|
* constant, not a governing quantity). Navier–Stokes (a PDE) is out of scope.
|
|
12
|
-
*
|
|
14
|
+
* Poiseuille's law is also out of scope — its two independent length scales
|
|
15
|
+
* (tube radius and length) make it a non-monomial that dimensional analysis
|
|
16
|
+
* alone cannot pin down. See docs/research/bridges-vs-canonical-map.md.
|
|
17
|
+
*
|
|
18
|
+
* Reynolds number (`Re = ρvL/μ`) was in the batch-2 brief but is DELIBERATELY
|
|
19
|
+
* OMITTED: with 4 governing quantities (ρ, v, L, μ) spanning only 3
|
|
20
|
+
* independent base dimensions (L, M, T) and a DIMENSIONLESS target, the
|
|
21
|
+
* Buckingham-π null space is 1-dimensional (`freeDimensionlessGroups === 1`,
|
|
22
|
+
* `monomial === null`, engine-verified) — dimensional analysis alone cannot
|
|
23
|
+
* distinguish Re from Re² or 1/Re, so it fails the "dimensionally unique
|
|
24
|
+
* monomial" bar this batch requires. See the batch-2 report for detail.
|
|
13
25
|
*
|
|
14
26
|
* @module canonical/entries/fluids-waves
|
|
15
27
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"fluids-waves.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/fluids-waves.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"fluids-waves.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/fluids-waves.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAsBlE,eAAO,MAAM,YAAY,EAAE,SAAS,iBAAiB,EA2NpD,CAAC"}
|
|
@@ -1,10 +1,13 @@
|
|
|
1
1
|
import { sym } from '../../bridges/equations/_be-helpers.js';
|
|
2
|
-
import { MASS, VELOCITY, ACCELERATION, FORCE, LENGTH, AREA, FREQUENCY, } from '../../dimensional/types.js';
|
|
3
|
-
import { dim, op, l1 } from './_l1-build.js';
|
|
2
|
+
import { MASS, VELOCITY, ACCELERATION, FORCE, LENGTH, AREA, FREQUENCY, ENERGY, } from '../../dimensional/types.js';
|
|
3
|
+
import { dim, op, pow, l1 } from './_l1-build.js';
|
|
4
4
|
const PRESSURE = dim(-1, 1, -2); // pascal [M L⁻¹ T⁻²]
|
|
5
5
|
const DENSITY = dim(-3, 1, 0); // [M L⁻³]
|
|
6
6
|
const VOLUME = dim(3, 0, 0); // [L³]
|
|
7
7
|
const VISCOSITY = dim(-1, 1, -1); // dynamic viscosity, Pa·s [M L⁻¹ T⁻¹]
|
|
8
|
+
const VOLUME_FLOW_RATE = dim(3, 0, -1); // [L³ T⁻¹]
|
|
9
|
+
const SURFACE_TENSION = dim(0, 1, -2); // N/m [M T⁻²]
|
|
10
|
+
const SPRING_CONSTANT = dim(0, 1, -2); // N/m [M T⁻²]
|
|
8
11
|
export const FLUIDS_WAVES = [
|
|
9
12
|
l1({ name: 'pressure', dim: PRESSURE }, [
|
|
10
13
|
{ name: 'density', dim: DENSITY },
|
|
@@ -126,5 +129,103 @@ export const FLUIDS_WAVES = [
|
|
|
126
129
|
references: ['Newton–Laplace'],
|
|
127
130
|
partnerBridges: [],
|
|
128
131
|
}),
|
|
132
|
+
// ── batch 2: continuity/shear/Laplace/dynamic-pressure (Reynolds number
|
|
133
|
+
// excluded — see the module docstring) ─────────────────────────────────────
|
|
134
|
+
l1({ name: 'volume-flow-rate', dim: VOLUME_FLOW_RATE }, [
|
|
135
|
+
{ name: 'cross-sectional-area', dim: AREA },
|
|
136
|
+
{ name: 'flow-velocity', dim: VELOCITY },
|
|
137
|
+
], {
|
|
138
|
+
id: 'CE-volume-flow-rate',
|
|
139
|
+
name: 'Volume flow rate (continuity)',
|
|
140
|
+
domain: 'mechanics',
|
|
141
|
+
formula_latex: 'Q = A v',
|
|
142
|
+
epistemicStatus: 'fully-quantitative',
|
|
143
|
+
scalarAst: op('*', [
|
|
144
|
+
sym('cross-sectional-area', AREA),
|
|
145
|
+
sym('flow-velocity', VELOCITY),
|
|
146
|
+
]),
|
|
147
|
+
regime: { scale: 'classical' },
|
|
148
|
+
assumptions: ['incompressible flow', 'steady state'],
|
|
149
|
+
references: ['Batchelor, An Introduction to Fluid Dynamics'],
|
|
150
|
+
partnerBridges: [],
|
|
151
|
+
}),
|
|
152
|
+
l1({ name: 'shear-stress', dim: PRESSURE }, [
|
|
153
|
+
{ name: 'dynamic-viscosity', dim: VISCOSITY },
|
|
154
|
+
{ name: 'velocity-gradient', dim: FREQUENCY },
|
|
155
|
+
], {
|
|
156
|
+
id: 'CE-shear-stress',
|
|
157
|
+
name: 'Shear stress (Newtonian fluid)',
|
|
158
|
+
domain: 'mechanics',
|
|
159
|
+
formula_latex: '\\tau = \\mu (dv/dy)',
|
|
160
|
+
epistemicStatus: 'fully-quantitative',
|
|
161
|
+
scalarAst: op('*', [
|
|
162
|
+
sym('dynamic-viscosity', VISCOSITY),
|
|
163
|
+
sym('velocity-gradient', FREQUENCY),
|
|
164
|
+
]),
|
|
165
|
+
regime: { scale: 'classical' },
|
|
166
|
+
assumptions: ['Newtonian fluid', 'laminar flow'],
|
|
167
|
+
references: ['Newton; standard fluid mechanics'],
|
|
168
|
+
partnerBridges: [],
|
|
169
|
+
}),
|
|
170
|
+
l1({ name: 'laplace-pressure', dim: PRESSURE }, [
|
|
171
|
+
{ name: 'surface-tension', dim: SURFACE_TENSION },
|
|
172
|
+
{ name: 'droplet-radius', dim: LENGTH },
|
|
173
|
+
], {
|
|
174
|
+
id: 'CE-laplace-pressure',
|
|
175
|
+
name: 'Laplace pressure (surface tension)',
|
|
176
|
+
domain: 'mechanics',
|
|
177
|
+
formula_latex: '\\Delta P = 2\\gamma / r',
|
|
178
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
179
|
+
scalarAst: op('/', [
|
|
180
|
+
sym('surface-tension', SURFACE_TENSION),
|
|
181
|
+
sym('droplet-radius', LENGTH),
|
|
182
|
+
]),
|
|
183
|
+
regime: { scale: 'classical' },
|
|
184
|
+
assumptions: ['spherical interface'],
|
|
185
|
+
references: ['Young–Laplace'],
|
|
186
|
+
partnerBridges: [],
|
|
187
|
+
}),
|
|
188
|
+
l1({ name: 'dynamic-pressure', dim: PRESSURE }, [
|
|
189
|
+
{ name: 'density', dim: DENSITY },
|
|
190
|
+
{ name: 'flow-velocity', dim: VELOCITY },
|
|
191
|
+
], {
|
|
192
|
+
id: 'CE-dynamic-pressure',
|
|
193
|
+
name: 'Dynamic pressure',
|
|
194
|
+
domain: 'mechanics',
|
|
195
|
+
formula_latex: 'q = \\tfrac{1}{2} \\rho v^2',
|
|
196
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
197
|
+
scalarAst: op('*', [
|
|
198
|
+
sym('density', DENSITY),
|
|
199
|
+
pow(sym('flow-velocity', VELOCITY), '2'),
|
|
200
|
+
]),
|
|
201
|
+
regime: { scale: 'classical' },
|
|
202
|
+
assumptions: ['incompressible flow'],
|
|
203
|
+
references: ['Bernoulli; standard fluid mechanics'],
|
|
204
|
+
partnerBridges: [],
|
|
205
|
+
}),
|
|
206
|
+
// ── batch 6 (final): harmonic oscillator energy (scalar-up-to-constant,
|
|
207
|
+
// the ½). NOTE: string wave speed (v = √(T/μ)) was in the batch-6 brief but
|
|
208
|
+
// is DELIBERATELY OMITTED here — `CE-string-wave-speed` already exists as an
|
|
209
|
+
// L0 dimensional entry in `dimensional-classics.ts` (tension/linear-density
|
|
210
|
+
// governing set, same physics); adding it here would collide on id and
|
|
211
|
+
// violate the registry's id-uniqueness invariant. See the batch-6 report.
|
|
212
|
+
l1({ name: 'oscillator-energy', dim: ENERGY }, [
|
|
213
|
+
{ name: 'spring-constant', dim: SPRING_CONSTANT },
|
|
214
|
+
{ name: 'amplitude', dim: LENGTH },
|
|
215
|
+
], {
|
|
216
|
+
id: 'CE-oscillator-energy',
|
|
217
|
+
name: 'Harmonic oscillator energy',
|
|
218
|
+
domain: 'mechanics',
|
|
219
|
+
formula_latex: 'E = \\tfrac{1}{2} k A^2',
|
|
220
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
221
|
+
scalarAst: op('*', [
|
|
222
|
+
sym('spring-constant', SPRING_CONSTANT),
|
|
223
|
+
pow(sym('amplitude', LENGTH), '2'),
|
|
224
|
+
]),
|
|
225
|
+
regime: { scale: 'classical' },
|
|
226
|
+
assumptions: ['simple harmonic motion', 'linear spring'],
|
|
227
|
+
references: ['Standard mechanics'],
|
|
228
|
+
partnerBridges: [],
|
|
229
|
+
}),
|
|
129
230
|
];
|
|
130
231
|
//# sourceMappingURL=fluids-waves.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"fluids-waves.js","sourceRoot":"","sources":["../../../src/canonical/entries/fluids-waves.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"fluids-waves.js","sourceRoot":"","sources":["../../../src/canonical/entries/fluids-waves.ts"],"names":[],"mappings":"AA4BA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,IAAI,EACJ,SAAS,EACT,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB;AACtD,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU;AACzC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO;AACpC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,sCAAsC;AACxE,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW;AACnD,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc;AACrD,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc;AAErD,MAAM,CAAC,MAAM,YAAY,GAAiC;IACxD,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACtC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE;QAChC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;YACvB,GAAG,CAAC,GAAG,EAAE,YAAY,CAAC;YACtB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;SACtB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,sBAAsB,EAAE,iBAAiB,CAAC;QACxD,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACtC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,WAAW;QAC1B,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,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,oBAAoB,CAAC;QAClC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QACpC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;QAC9D,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,cAAc,CAAC;QAC7B,UAAU,EAAE,CAAC,oBAAoB,CAAC;QAClC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE;KACjC,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;YACvB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;YACrB,GAAG,CAAC,GAAG,EAAE,YAAY,CAAC;SACvB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,iBAAiB,EAAE,cAAc,CAAC;QAChD,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,WAAW,EAAE,GAAG,EAAE,SAAS,EAAE;QACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE;KACjC,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,uBAAuB;QACtC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,WAAW,EAAE,SAAS,CAAC;YAC3B,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;YACrB,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC;SACvB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,qBAAqB,EAAE,cAAc,CAAC;QACpD,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACnC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,SAAS,EAAE;QACrC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE;KACpC,EAAE;QACD,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,gBAAgB;QAC/B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;QAC5E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,+EAA+E;IAC/E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACnC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;QACnC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,WAAW,EAAE,+BAA+B,CAAC;QAC3D,UAAU,EAAE,CAAC,gBAAgB,CAAC;QAC9B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,yEAAyE;IACzE,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;KACzC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,sBAAsB,EAAE,IAAI,CAAC;YACjC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC;SAC/B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,qBAAqB,EAAE,cAAc,CAAC;QACpD,UAAU,EAAE,CAAC,8CAA8C,CAAC;QAC5D,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC7C,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE;KAC9C,EAAE;QACD,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,sBAAsB;QACrC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,mBAAmB,EAAE,SAAS,CAAC;YACnC,GAAG,CAAC,mBAAmB,EAAE,SAAS,CAAC;SACpC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,iBAAiB,EAAE,cAAc,CAAC;QAChD,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC9C,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE;KACxC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,oCAAoC;QAC1C,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,0BAA0B;QACzC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,gBAAgB,EAAE,MAAM,CAAC;SAC9B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,qBAAqB,CAAC;QACpC,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC9C,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;KACzC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;YACvB,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;SACzC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,qBAAqB,CAAC;QACpC,UAAU,EAAE,CAAC,qCAAqC,CAAC;QACnD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,yEAAyE;IACzE,4EAA4E;IAC5E,6EAA6E;IAC7E,4EAA4E;IAC5E,uEAAuE;IACvE,0EAA0E;IAC1E,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC7C,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE;KACnC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,4BAA4B;QAClC,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,WAAW,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;SACnC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,EAAE,eAAe,CAAC;QACxD,UAAU,EAAE,CAAC,oBAAoB,CAAC;QAClC,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
|
|
@@ -0,0 +1,26 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* L1-sum tier — the FIRST canonical entries whose RHS is a genuine
|
|
3
|
+
* NON-monomial: a sum (Bernoulli) and a transcendental (radioactive decay).
|
|
4
|
+
* Dimensional analysis alone cannot pin either as a power-monomial (there are
|
|
5
|
+
* several pressure-dimensioned terms in Bernoulli; a dimensionless factor in
|
|
6
|
+
* decay), so the engine reports `monomial: null` with `freeDimensionlessGroups
|
|
7
|
+
* >= 1` — the CLASSIC "dimensionally underdetermined" state that carries no
|
|
8
|
+
* monomial. What makes these entries new is that the exact form IS known and is
|
|
9
|
+
* carried in the `scalarAst` (so `epistemicStatus` reflects the known closed
|
|
10
|
+
* form, not the dimensional under-determination). Built via `l1()` so the L0
|
|
11
|
+
* fields are engine-derived and self-consistent (F1: monomial:null ⟺ freeGroups
|
|
12
|
+
* >= 1) exactly like the existing underdetermined monomials (Newton F,
|
|
13
|
+
* Bekenstein-Hawking).
|
|
14
|
+
*
|
|
15
|
+
* Value: these enrich the canonical *reference* with famous non-monomial laws
|
|
16
|
+
* and are structurally scanned by `scanLinkages` / `upt recover` (normalForm is
|
|
17
|
+
* sum- and transcendental-aware). A 2026-07-04 measurement found they produce
|
|
18
|
+
* ZERO structural bridge matches today — the value is reference-completeness,
|
|
19
|
+
* not bridge-validation (design + measurement:
|
|
20
|
+
* docs/superpowers/specs/2026-07-04-l1-sum-tier-design.md).
|
|
21
|
+
*
|
|
22
|
+
* @module canonical/entries/nonmonomial
|
|
23
|
+
*/
|
|
24
|
+
import type { CanonicalEquation } from '../canonical-equation.js';
|
|
25
|
+
export declare const NONMONOMIAL: readonly CanonicalEquation[];
|
|
26
|
+
//# sourceMappingURL=nonmonomial.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"nonmonomial.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/nonmonomial.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAiBlE,eAAO,MAAM,WAAW,EAAE,SAAS,iBAAiB,EAiJnD,CAAC"}
|
|
@@ -0,0 +1,141 @@
|
|
|
1
|
+
import { sym } from '../../bridges/equations/_be-helpers.js';
|
|
2
|
+
import { DIMENSIONLESS, TIME } from '../../dimensional/types.js';
|
|
3
|
+
import { dim, op, pow, l1 } from './_l1-build.js';
|
|
4
|
+
const PRESSURE = dim(-1, 1, -2, 0, 0);
|
|
5
|
+
const DENSITY = dim(-3, 1, 0, 0, 0);
|
|
6
|
+
const VELOCITY = dim(1, 0, -1, 0, 0);
|
|
7
|
+
const ACCELERATION = dim(1, 0, -2, 0, 0);
|
|
8
|
+
const HEIGHT = dim(1, 0, 0, 0, 0);
|
|
9
|
+
const DECAY_CONSTANT = dim(0, 0, -1, 0, 0);
|
|
10
|
+
const ENERGY = dim(2, 1, -2, 0, 0);
|
|
11
|
+
const PLANCK = dim(2, 1, -1, 0, 0);
|
|
12
|
+
const FREQUENCY = dim(0, 0, -1, 0, 0);
|
|
13
|
+
const TEMPERATURE = dim(0, 0, 0, 0, 1);
|
|
14
|
+
const BOLTZMANN = dim(2, 1, -2, 0, -1);
|
|
15
|
+
export const NONMONOMIAL = [
|
|
16
|
+
l1({ name: 'bernoulli-total-pressure', dim: PRESSURE }, [
|
|
17
|
+
{ name: 'density', dim: DENSITY },
|
|
18
|
+
{ name: 'flow-velocity', dim: VELOCITY },
|
|
19
|
+
{ name: 'gravitational-acceleration', dim: ACCELERATION },
|
|
20
|
+
{ name: 'height', dim: HEIGHT },
|
|
21
|
+
{ name: 'static-pressure', dim: PRESSURE },
|
|
22
|
+
], {
|
|
23
|
+
id: 'CE-bernoulli',
|
|
24
|
+
name: 'Bernoulli equation',
|
|
25
|
+
domain: 'mechanics',
|
|
26
|
+
formula_latex: '\\tfrac12 \\rho v^2 + \\rho g h + P = \\text{const}',
|
|
27
|
+
epistemicStatus: 'scalar-up-to-constant', // exact form known; the ½ on the dynamic term is dropped
|
|
28
|
+
scalarAst: op('+', [
|
|
29
|
+
op('*', [sym('density', DENSITY), pow(sym('flow-velocity', VELOCITY), '2')]),
|
|
30
|
+
op('*', [
|
|
31
|
+
sym('density', DENSITY),
|
|
32
|
+
op('*', [
|
|
33
|
+
sym('gravitational-acceleration', ACCELERATION),
|
|
34
|
+
sym('height', HEIGHT),
|
|
35
|
+
]),
|
|
36
|
+
]),
|
|
37
|
+
sym('static-pressure', PRESSURE),
|
|
38
|
+
]),
|
|
39
|
+
regime: { scale: 'classical' },
|
|
40
|
+
assumptions: ['incompressible', 'inviscid', 'steady flow along a streamline'],
|
|
41
|
+
references: ['Bernoulli 1738 Hydrodynamica'],
|
|
42
|
+
partnerBridges: [],
|
|
43
|
+
}),
|
|
44
|
+
l1({ name: 'remaining-nuclei', dim: DIMENSIONLESS }, [
|
|
45
|
+
{ name: 'initial-nuclei', dim: DIMENSIONLESS },
|
|
46
|
+
{ name: 'decay-constant', dim: DECAY_CONSTANT },
|
|
47
|
+
{ name: 'elapsed-time', dim: TIME },
|
|
48
|
+
], {
|
|
49
|
+
id: 'CE-radioactive-decay',
|
|
50
|
+
name: 'Radioactive decay law',
|
|
51
|
+
domain: 'quantum', // matches CE-half-life's domain
|
|
52
|
+
formula_latex: 'N = N_0 e^{-\\lambda t}',
|
|
53
|
+
epistemicStatus: 'fully-quantitative', // exact closed form (carried in scalarAst)
|
|
54
|
+
// N0 · exp(−(λ·t)); the exp arg λt is dimensionless ([T⁻¹]·[T]); the unary
|
|
55
|
+
// minus is the sym('-1', DIMENSIONLESS) multiplicative stub (be-34 idiom).
|
|
56
|
+
scalarAst: op('*', [
|
|
57
|
+
sym('initial-nuclei', DIMENSIONLESS),
|
|
58
|
+
{
|
|
59
|
+
kind: 'transcendental',
|
|
60
|
+
fn: 'exp',
|
|
61
|
+
arg: op('*', [
|
|
62
|
+
sym('-1', DIMENSIONLESS),
|
|
63
|
+
op('*', [sym('decay-constant', DECAY_CONSTANT), sym('elapsed-time', TIME)]),
|
|
64
|
+
]),
|
|
65
|
+
},
|
|
66
|
+
]),
|
|
67
|
+
regime: { scale: 'quantum' },
|
|
68
|
+
assumptions: ['first-order decay', 'large-N statistical limit'],
|
|
69
|
+
references: ['Rutherford & Soddy 1902'],
|
|
70
|
+
partnerBridges: [],
|
|
71
|
+
}),
|
|
72
|
+
l1({ name: 'photoelectron-max-energy', dim: ENERGY }, [
|
|
73
|
+
{ name: 'planck-constant', dim: PLANCK },
|
|
74
|
+
{ name: 'photon-frequency', dim: FREQUENCY },
|
|
75
|
+
{ name: 'work-function', dim: ENERGY },
|
|
76
|
+
], {
|
|
77
|
+
id: 'CE-photoelectric',
|
|
78
|
+
name: 'Photoelectric equation',
|
|
79
|
+
domain: 'quantum',
|
|
80
|
+
formula_latex: 'K_{\\max} = h f - W',
|
|
81
|
+
epistemicStatus: 'fully-quantitative', // exact: hf − W (both energy)
|
|
82
|
+
scalarAst: op('-', [
|
|
83
|
+
op('*', [sym('planck-constant', PLANCK), sym('photon-frequency', FREQUENCY)]),
|
|
84
|
+
sym('work-function', ENERGY),
|
|
85
|
+
]),
|
|
86
|
+
regime: { scale: 'quantum' },
|
|
87
|
+
assumptions: ['single-photon absorption', 'above threshold (hf > W)'],
|
|
88
|
+
references: ['Einstein 1905 Ann. Phys. 17:132'],
|
|
89
|
+
partnerBridges: [],
|
|
90
|
+
}),
|
|
91
|
+
l1({ name: 'carnot-efficiency', dim: DIMENSIONLESS }, [
|
|
92
|
+
{ name: 'cold-reservoir-temperature', dim: TEMPERATURE },
|
|
93
|
+
{ name: 'hot-reservoir-temperature', dim: TEMPERATURE },
|
|
94
|
+
], {
|
|
95
|
+
id: 'CE-carnot-efficiency',
|
|
96
|
+
name: 'Carnot efficiency',
|
|
97
|
+
domain: 'thermodynamics',
|
|
98
|
+
formula_latex: '\\eta = 1 - \\tfrac{T_c}{T_h}',
|
|
99
|
+
epistemicStatus: 'fully-quantitative', // exact: 1 − Tc/Th
|
|
100
|
+
// 1 − Tc/Th; the leading 1 is a dimensionless literal stub.
|
|
101
|
+
scalarAst: op('-', [
|
|
102
|
+
sym('1', DIMENSIONLESS),
|
|
103
|
+
op('/', [
|
|
104
|
+
sym('cold-reservoir-temperature', TEMPERATURE),
|
|
105
|
+
sym('hot-reservoir-temperature', TEMPERATURE),
|
|
106
|
+
]),
|
|
107
|
+
]),
|
|
108
|
+
regime: { scale: 'classical' },
|
|
109
|
+
assumptions: ['reversible cycle', 'two heat reservoirs'],
|
|
110
|
+
references: ['Carnot 1824 Réflexions sur la puissance motrice du feu'],
|
|
111
|
+
partnerBridges: [],
|
|
112
|
+
}),
|
|
113
|
+
l1({ name: 'boltzmann-factor', dim: DIMENSIONLESS }, [
|
|
114
|
+
{ name: 'state-energy', dim: ENERGY },
|
|
115
|
+
{ name: 'boltzmann-constant', dim: BOLTZMANN },
|
|
116
|
+
{ name: 'temperature', dim: TEMPERATURE },
|
|
117
|
+
], {
|
|
118
|
+
id: 'CE-boltzmann-factor',
|
|
119
|
+
name: 'Boltzmann factor',
|
|
120
|
+
domain: 'statistical',
|
|
121
|
+
formula_latex: 'e^{-E/k_B T}',
|
|
122
|
+
epistemicStatus: 'fully-quantitative', // exact closed form
|
|
123
|
+
// exp(−E/(kB·T)); the arg −E/(kB T) is dimensionless (energy/energy).
|
|
124
|
+
scalarAst: {
|
|
125
|
+
kind: 'transcendental',
|
|
126
|
+
fn: 'exp',
|
|
127
|
+
arg: op('*', [
|
|
128
|
+
sym('-1', DIMENSIONLESS),
|
|
129
|
+
op('/', [
|
|
130
|
+
sym('state-energy', ENERGY),
|
|
131
|
+
op('*', [sym('boltzmann-constant', BOLTZMANN), sym('temperature', TEMPERATURE)]),
|
|
132
|
+
]),
|
|
133
|
+
]),
|
|
134
|
+
},
|
|
135
|
+
regime: { scale: 'classical' },
|
|
136
|
+
assumptions: ['canonical ensemble', 'thermal equilibrium'],
|
|
137
|
+
references: ['Boltzmann 1868 Wien. Ber. 58:517'],
|
|
138
|
+
partnerBridges: [],
|
|
139
|
+
}),
|
|
140
|
+
];
|
|
141
|
+
//# sourceMappingURL=nonmonomial.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"nonmonomial.js","sourceRoot":"","sources":["../../../src/canonical/entries/nonmonomial.ts"],"names":[],"mappings":"AAwBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACtC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACpC,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACrC,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACzC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAClC,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACtC,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACvC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEvC,MAAM,CAAC,MAAM,WAAW,GAAiC;IACvD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,QAAQ,EAAE,EACnD;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;QACxC,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,YAAY,EAAE;QACzD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC3C,EACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,qDAAqD;QACpE,eAAe,EAAE,uBAAuB,EAAE,yDAAyD;QACnG,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC5E,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;gBACvB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,4BAA4B,EAAE,YAAY,CAAC;oBAC/C,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;iBACtB,CAAC;aACH,CAAC;YACF,GAAG,CAAC,iBAAiB,EAAE,QAAQ,CAAC;SACjC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gBAAgB,EAAE,UAAU,EAAE,gCAAgC,CAAC;QAC7E,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE;QAC9C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,IAAI,EAAE;KACpC,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS,EAAE,gCAAgC;QACnD,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB,EAAE,2CAA2C;QAClF,2EAA2E;QAC3E,2EAA2E;QAC3E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;YACpC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,KAAK;gBACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;oBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;oBACxB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC;iBAC5E,CAAC;aACH;SACF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,mBAAmB,EAAE,2BAA2B,CAAC;QAC/D,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,MAAM,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE;QACxC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE;KACvC,EACD;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,qBAAqB;QACpC,eAAe,EAAE,oBAAoB,EAAE,8BAA8B;QACrE,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC,CAAC;YAC7E,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC;SAC7B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,0BAA0B,EAAE,0BAA0B,CAAC;QACrE,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,aAAa,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,WAAW,EAAE;QACxD,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,WAAW,EAAE;KACxD,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,oBAAoB,EAAE,mBAAmB;QAC1D,4DAA4D;QAC5D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;YACvB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,4BAA4B,EAAE,WAAW,CAAC;gBAC9C,GAAG,CAAC,2BAA2B,EAAE,WAAW,CAAC;aAC9C,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,EAAE,qBAAqB,CAAC;QACxD,UAAU,EAAE,CAAC,wDAAwD,CAAC;QACtE,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;QACrC,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC9C,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,cAAc;QAC7B,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,sEAAsE;QACtE,SAAS,EAAE;YACT,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,KAAK;YACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;gBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;oBAC3B,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;iBACjF,CAAC;aACH,CAAC;SACH;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;QAC1D,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CACF;CACF,CAAC"}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* L1 (scalar-AST) canonical entries — statistical mechanics. 4 standard
|
|
3
|
+
* kinetic-theory / equilibrium-statistics monomial laws (equipartition,
|
|
4
|
+
* Stokes-Einstein diffusion, kinetic pressure, Maxwell-Boltzmann speed).
|
|
5
|
+
* Each is a unique dimensional monomial (0 free groups); L0 fields are
|
|
6
|
+
* engine-derived (see `_l1-build`).
|
|
7
|
+
*
|
|
8
|
+
* Mean free path (`λ = 1/(nσ)`) was deliberately EXCLUDED from this batch:
|
|
9
|
+
* number density and cross-section are both pure-length dimension, so the
|
|
10
|
+
* combination is dimensionally underdetermined (`nσ^1.5` is dimensionless) —
|
|
11
|
+
* forcing it would violate the 0-free-groups invariant this file otherwise
|
|
12
|
+
* holds to.
|
|
13
|
+
*
|
|
14
|
+
* 3 of the 4 laws are clean monomials with an exact prefactor left aside
|
|
15
|
+
* (`scalarAst` included, `scalar-up-to-constant`); the Maxwell-Boltzmann
|
|
16
|
+
* most-probable speed is a fractional-power monomial (a square root) —
|
|
17
|
+
* `scalarAst` is OMITTED and `epistemicStatus` is `dimensional`, exactly like
|
|
18
|
+
* the Fermi-gas √-laws in `condensed-matter.ts`.
|
|
19
|
+
*
|
|
20
|
+
* @module canonical/entries/statistical-mechanics
|
|
21
|
+
*/
|
|
22
|
+
import type { CanonicalEquation } from '../canonical-equation.js';
|
|
23
|
+
export declare const STATISTICAL_MECHANICS: readonly CanonicalEquation[];
|
|
24
|
+
//# sourceMappingURL=statistical-mechanics.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"statistical-mechanics.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/statistical-mechanics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAalE,eAAO,MAAM,qBAAqB,EAAE,SAAS,iBAAiB,EAkF7D,CAAC"}
|