universal-physics-tensor 0.32.0 → 0.34.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 +26 -6
- package/dist/bridges/be37-cassini-confrontation.d.ts +43 -0
- package/dist/bridges/be37-cassini-confrontation.d.ts.map +1 -0
- package/dist/bridges/be37-cassini-confrontation.js +34 -0
- package/dist/bridges/be37-cassini-confrontation.js.map +1 -0
- package/dist/bridges/be48-collapse-confrontation.d.ts +52 -0
- package/dist/bridges/be48-collapse-confrontation.d.ts.map +1 -0
- package/dist/bridges/be48-collapse-confrontation.js +37 -0
- package/dist/bridges/be48-collapse-confrontation.js.map +1 -0
- package/dist/bridges/confrontation-coverage.d.ts +5 -10
- package/dist/bridges/confrontation-coverage.d.ts.map +1 -1
- package/dist/bridges/confrontation-coverage.js +7 -11
- package/dist/bridges/confrontation-coverage.js.map +1 -1
- package/dist/bridges/confrontations.d.ts +25 -0
- package/dist/bridges/confrontations.d.ts.map +1 -0
- package/dist/bridges/confrontations.js +125 -0
- package/dist/bridges/confrontations.js.map +1 -0
- package/dist/bridges/observations/types.d.ts +70 -0
- package/dist/bridges/observations/types.d.ts.map +1 -0
- package/dist/bridges/observations/types.js +22 -0
- package/dist/bridges/observations/types.js.map +1 -0
- package/dist/bridges/sensitivity.d.ts +13 -0
- package/dist/bridges/sensitivity.d.ts.map +1 -0
- package/dist/bridges/sensitivity.js +58 -0
- package/dist/bridges/sensitivity.js.map +1 -0
- 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/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 +4 -0
- package/dist/canonical/registry.js.map +1 -1
- package/dist/cli/command.d.ts +0 -3
- package/dist/cli/command.d.ts.map +1 -1
- package/dist/cli/command.js +0 -13
- package/dist/cli/command.js.map +1 -1
- package/dist/cli/commands/confront.d.ts +3 -0
- package/dist/cli/commands/confront.d.ts.map +1 -0
- package/dist/cli/commands/confront.js +94 -0
- package/dist/cli/commands/confront.js.map +1 -0
- package/dist/cli/commands/discover.d.ts.map +1 -1
- package/dist/cli/commands/discover.js +11 -5
- package/dist/cli/commands/discover.js.map +1 -1
- package/dist/cli/commands/index.d.ts +1 -0
- package/dist/cli/commands/index.d.ts.map +1 -1
- package/dist/cli/commands/index.js +1 -0
- package/dist/cli/commands/index.js.map +1 -1
- package/dist/cli-api.d.ts +6 -0
- package/dist/cli-api.d.ts.map +1 -1
- package/dist/cli-api.js +6 -0
- package/dist/cli-api.js.map +1 -1
- package/dist/composition/consequence.d.ts +62 -0
- package/dist/composition/consequence.d.ts.map +1 -0
- package/dist/composition/consequence.js +82 -0
- package/dist/composition/consequence.js.map +1 -0
- package/dist/composition/discovery.d.ts +2 -2
- package/dist/composition/discovery.d.ts.map +1 -1
- package/dist/composition/discovery.js +1 -1
- package/dist/index.d.ts +12 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +20 -0
- package/dist/index.js.map +1 -1
- package/package.json +1 -1
|
@@ -0,0 +1,58 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Deciding-measurement elasticity for value-kind confrontations. For each
|
|
3
|
+
* numeric input x_i of the confrontation's prediction, report the
|
|
4
|
+
* dimensionless log-sensitivity E_i = |∂P/∂x_i|·x_i/P at the confrontation's
|
|
5
|
+
* own input point (central finite differences — evaluator-style bridges have
|
|
6
|
+
* no AST). This answers which input the prediction depends on most STRONGLY,
|
|
7
|
+
* NOT which dominates the uncertainty budget (that needs input σ — Phase 5).
|
|
8
|
+
*
|
|
9
|
+
* @module bridges/sensitivity
|
|
10
|
+
*/
|
|
11
|
+
import { evaluatePerihelionPrecession } from './perihelion-precession.js';
|
|
12
|
+
import { MERCURY } from './be52-mercury-confrontation.js';
|
|
13
|
+
import { CONFRONTATIONS } from './confrontations.js';
|
|
14
|
+
/** Central-difference elasticity of P(x) wrt one component. */
|
|
15
|
+
function elasticityOf(predict, point, key) {
|
|
16
|
+
const x = point[key];
|
|
17
|
+
const h = Math.abs(x) * 1e-6 || 1e-12;
|
|
18
|
+
const up = { ...point, [key]: x + h };
|
|
19
|
+
const dn = { ...point, [key]: x - h };
|
|
20
|
+
const P = predict(point);
|
|
21
|
+
const dP = (predict(up) - predict(dn)) / (2 * h);
|
|
22
|
+
if (!(Number.isFinite(P) && P !== 0))
|
|
23
|
+
return 0;
|
|
24
|
+
return Math.abs(dP) * Math.abs(x) / Math.abs(P);
|
|
25
|
+
}
|
|
26
|
+
/**
|
|
27
|
+
* Elasticity ranking for a value-kind confrontation's inputs, descending.
|
|
28
|
+
* `[]` for non-value-kind or unregistered ids.
|
|
29
|
+
*
|
|
30
|
+
* @public
|
|
31
|
+
*/
|
|
32
|
+
export function decidingMeasurement(bridgeId) {
|
|
33
|
+
const entry = CONFRONTATIONS.get(bridgeId);
|
|
34
|
+
if (!entry || entry.kind !== 'value')
|
|
35
|
+
return [];
|
|
36
|
+
// The one value-kind confrontation with non-trivial input dependence.
|
|
37
|
+
if (bridgeId === 52) {
|
|
38
|
+
const point = {
|
|
39
|
+
central_mass_kg: MERCURY.central_mass_kg,
|
|
40
|
+
semi_major_axis_m: MERCURY.semi_major_axis_m,
|
|
41
|
+
eccentricity: MERCURY.eccentricity,
|
|
42
|
+
period_yr: MERCURY.period_yr,
|
|
43
|
+
};
|
|
44
|
+
const predict = (p) => evaluatePerihelionPrecession({
|
|
45
|
+
M_kg: p.central_mass_kg,
|
|
46
|
+
a_m: p.semi_major_axis_m,
|
|
47
|
+
e: p.eccentricity,
|
|
48
|
+
T_yr: p.period_yr,
|
|
49
|
+
}).dphi_arcsec_per_century;
|
|
50
|
+
return Object.keys(point)
|
|
51
|
+
.map((key) => ({ input: key, elasticity: elasticityOf(predict, point, key) }))
|
|
52
|
+
.sort((a, b) => b.elasticity - a.elasticity);
|
|
53
|
+
}
|
|
54
|
+
// be-37 predicts the constant γ=1: every elasticity is 0. be-23 confronts
|
|
55
|
+
// a bundled free coefficient (no structural input dependence to rank).
|
|
56
|
+
return [];
|
|
57
|
+
}
|
|
58
|
+
//# sourceMappingURL=sensitivity.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"sensitivity.js","sourceRoot":"","sources":["../../src/bridges/sensitivity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,OAAO,EAAE,MAAM,iCAAiC,CAAC;AAC1D,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAQrD,+DAA+D;AAC/D,SAAS,YAAY,CACnB,OAAkD,EAClD,KAA6B,EAC7B,GAAW;IAEX,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IACrB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,KAAK,CAAC;IACtC,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;IACtC,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;IACtC,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACzB,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAC/C,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAgB;IAClD,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,EAAE,CAAC;IAEhD,sEAAsE;IACtE,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;QACpB,MAAM,KAAK,GAA2B;YACpC,eAAe,EAAE,OAAO,CAAC,eAAe;YACxC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;YAC5C,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,SAAS,EAAE,OAAO,CAAC,SAAS;SAC7B,CAAC;QACF,MAAM,OAAO,GAAG,CAAC,CAAyB,EAAU,EAAE,CACpD,4BAA4B,CAAC;YAC3B,IAAI,EAAE,CAAC,CAAC,eAAe;YACvB,GAAG,EAAE,CAAC,CAAC,iBAAiB;YACxB,CAAC,EAAE,CAAC,CAAC,YAAY;YACjB,IAAI,EAAE,CAAC,CAAC,SAAS;SAClB,CAAC,CAAC,uBAAuB,CAAC;QAC7B,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;aACtB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;aAC7E,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;IACjD,CAAC;IAED,0EAA0E;IAC1E,uEAAuE;IACvE,OAAO,EAAE,CAAC;AACZ,CAAC"}
|
|
@@ -24,7 +24,7 @@ import type { DimensionalVariable } from '../dimensional/buckingham.js';
|
|
|
24
24
|
import type { TensorIndices } from '../core/types.js';
|
|
25
25
|
import type { EinsteinFieldEquationNode } from '../dimensional/einstein-equation.js';
|
|
26
26
|
/** Physics domain — indexes the registry and (later) the discovery kind filter. */
|
|
27
|
-
export type CanonicalDomain = 'mechanics' | 'gravitation' | 'general-relativity' | 'cosmology' | 'electromagnetism' | 'quantum' | 'thermodynamics' | 'statistical' | 'information';
|
|
27
|
+
export type CanonicalDomain = 'mechanics' | 'gravitation' | 'general-relativity' | 'cosmology' | 'electromagnetism' | 'quantum' | 'thermodynamics' | 'statistical' | 'information' | 'condensed-matter';
|
|
28
28
|
/**
|
|
29
29
|
* The strongest claim an entry supports:
|
|
30
30
|
* - `dimensional` — only the dimensional signature (L0).
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"canonical-equation.d.ts","sourceRoot":"","sources":["../../src/canonical/canonical-equation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACxE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAErF,mFAAmF;AACnF,MAAM,MAAM,eAAe,GACvB,WAAW,GACX,aAAa,GACb,oBAAoB,GACpB,WAAW,GACX,kBAAkB,GAClB,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,aAAa,CAAC;
|
|
1
|
+
{"version":3,"file":"canonical-equation.d.ts","sourceRoot":"","sources":["../../src/canonical/canonical-equation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACxE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAErF,mFAAmF;AACnF,MAAM,MAAM,eAAe,GACvB,WAAW,GACX,aAAa,GACb,oBAAoB,GACpB,WAAW,GACX,kBAAkB,GAClB,SAAS,GACT,gBAAgB,GAChB,aAAa,GACb,aAAa,GACb,kBAAkB,CAAC;AAEvB;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GACvB,aAAa,GACb,uBAAuB,GACvB,oBAAoB,CAAC;AAEzB;8EAC8E;AAC9E,MAAM,MAAM,iBAAiB,GAAG,yBAAyB,CAAC;AAE1D,gFAAgF;AAChF,MAAM,WAAW,cAAc;IAC7B,8DAA8D;IAC9D,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC;IAC1C,qCAAqC;IACrC,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,GAAG,GAAG,GAAG,IAAI,CAAC;IACpC,yEAAyE;IACzE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,OAAO,GAAG,QAAQ,CAAC;CACrD;AAED,+CAA+C;AAC/C,MAAM,WAAW,iBAAiB;IAChC,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,sCAAsC;IACtC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAG/B,QAAQ,CAAC,eAAe,EAAE,eAAe,CAAC;IAC1C,6EAA6E;IAC7E,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IAGzC,QAAQ,CAAC,WAAW,EAAE;QACpB,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;QACrC,QAAQ,CAAC,SAAS,EAAE,SAAS,mBAAmB,EAAE,CAAC;QACnD,uEAAuE;QACvE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC;KAC5D,CAAC;IAEF,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAG3C,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC;IAGhC,gCAAgC;IAChC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,kEAAkE;IAClE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC;8CAC0C;IAC1C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C;gFAC4E;IAC5E,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC"}
|
|
@@ -4,7 +4,8 @@
|
|
|
4
4
|
* Bohr magneton: monomial combinations of fundamental constants (e, ℏ, ε₀, m_e,
|
|
5
5
|
* c); plus the Planck–Einstein relation, the de Broglie wavelength, and the Bohr
|
|
6
6
|
* radius (folded in from the former l1-quantum-em batch file in the 2026-06-22
|
|
7
|
-
* god-file split)
|
|
7
|
+
* god-file split); plus (batch 6) the Thomson scattering cross-section. L0
|
|
8
|
+
* fields are engine-derived (see `_l1-build`).
|
|
8
9
|
*
|
|
9
10
|
* Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,
|
|
10
11
|
* 2026-06-20). Leading numeric/geometric prefactors (½, 4π, 8) are recorded via
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"atomic.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/atomic.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"atomic.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/atomic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAmBlE,eAAO,MAAM,MAAM,EAAE,SAAS,iBAAiB,EAgJ9C,CAAC"}
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { sym } from '../../bridges/equations/_be-helpers.js';
|
|
2
|
-
import { MASS, VELOCITY, ENERGY, LENGTH, ACTION, CHARGE, FREQUENCY, DIMENSIONLESS, } from '../../dimensional/types.js';
|
|
2
|
+
import { MASS, VELOCITY, ENERGY, LENGTH, AREA, ACTION, CHARGE, FREQUENCY, DIMENSIONLESS, } from '../../dimensional/types.js';
|
|
3
3
|
import { dim, op, pow, l1 } from './_l1-build.js';
|
|
4
4
|
const PERMITTIVITY = dim(-3, -1, 4, 2); // ε₀ [L⁻³ M⁻¹ T⁴ I²]
|
|
5
5
|
const MAGNETIC_MOMENT = dim(2, 0, 0, 1); // [L² I] (A·m²)
|
|
@@ -127,5 +127,26 @@ export const ATOMIC = [
|
|
|
127
127
|
references: ['Bohr 1913'],
|
|
128
128
|
partnerBridges: [],
|
|
129
129
|
}),
|
|
130
|
+
// ── batch 6 (final): Thomson cross-section (scalar-up-to-constant, the
|
|
131
|
+
// 8π/3). NOTE: the Compton wavelength (λ_C = h/(mc)) was in the batch-6
|
|
132
|
+
// brief but is DELIBERATELY OMITTED here — `CE-compton-wavelength` already
|
|
133
|
+
// exists as an L0 dimensional entry in `dimensional-classics.ts` (hbar/mass/c
|
|
134
|
+
// governing set, same physics, same integer monomial shape); adding it here
|
|
135
|
+
// would collide on id and violate the registry's id-uniqueness invariant.
|
|
136
|
+
// See the batch-6 report. ──────────────────────────────────────────────────
|
|
137
|
+
l1({ name: 'thomson-cross-section', dim: AREA }, [
|
|
138
|
+
{ name: 'classical-electron-radius', dim: LENGTH },
|
|
139
|
+
], {
|
|
140
|
+
id: 'CE-thomson-cross-section',
|
|
141
|
+
name: 'Thomson scattering cross-section',
|
|
142
|
+
domain: 'quantum',
|
|
143
|
+
formula_latex: '\\sigma_T = (8\\pi/3) r_e^2',
|
|
144
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
145
|
+
scalarAst: pow(sym('classical-electron-radius', LENGTH), '2'),
|
|
146
|
+
regime: { scale: 'quantum', force: 'electromagnetic' },
|
|
147
|
+
assumptions: ['non-relativistic Thomson limit', 'free electron'],
|
|
148
|
+
references: ['J.J. Thomson; Jackson, Classical Electrodynamics'],
|
|
149
|
+
partnerBridges: [],
|
|
150
|
+
}),
|
|
130
151
|
];
|
|
131
152
|
//# sourceMappingURL=atomic.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"atomic.js","sourceRoot":"","sources":["../../../src/canonical/entries/atomic.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"atomic.js","sourceRoot":"","sources":["../../../src/canonical/entries/atomic.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,IAAI,EACJ,MAAM,EACN,MAAM,EACN,SAAS,EACT,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qBAAqB;AAC7D,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB;AACzD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY;AAE5C,MAAM,CAAC,MAAM,MAAM,GAAiC;IAClD,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;KAC9B,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,+CAA+C;QAC9D,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YACvD,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;SACnF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;QAClD,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACrD,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,4CAA4C;QAC3D,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;YAC1B,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC;gBAC9B,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;gBAChB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;aAC7B,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,0CAA0C,CAAC;QACzD,UAAU,EAAE,CAAC,6BAA6B,CAAC;QAC3C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,eAAe,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YAChD,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;SACjB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,uBAAuB,CAAC;QACrC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,4EAA4E;IAC5E,2BAA2B;IAC3B,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACzC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE;KAC/B,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;QAC5D,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,4BAA4B,CAAC;QAC1C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,wBAAwB;IACxB,EAAE,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACjD,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,gBAAgB;QAC/B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1D,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,iBAAiB,CAAC;QAC/B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,wCAAwC;IACxC,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6CAA6C;QAC5D,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC;gBAC9B,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;aAC9B,CAAC;YACF,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;SACxD,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;QAClD,UAAU,EAAE,CAAC,WAAW,CAAC;QACzB,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,wEAAwE;IACxE,wEAAwE;IACxE,2EAA2E;IAC3E,8EAA8E;IAC9E,4EAA4E;IAC5E,0EAA0E;IAC1E,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE;QAC/C,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,MAAM,EAAE;KACnD,EAAE;QACD,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,2BAA2B,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;QAC7D,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,gCAAgC,EAAE,eAAe,CAAC;QAChE,UAAU,EAAE,CAAC,kDAAkD,CAAC;QAChE,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
|
|
@@ -0,0 +1,23 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* L1 (scalar-AST) canonical entries — condensed-matter physics. The PILOT batch
|
|
3
|
+
* of the canonical L-layer expansion: 9 standard free-electron / Drude-model
|
|
4
|
+
* monomial laws (carrier transport, Fermi gas, collective lattice/plasma
|
|
5
|
+
* frequencies). Each is a unique dimensional monomial (0 free groups); L0
|
|
6
|
+
* fields are engine-derived (see `_l1-build`).
|
|
7
|
+
*
|
|
8
|
+
* The pilot brief specified 10 laws including cyclotron frequency
|
|
9
|
+
* (`ω_c = qB/m`), but that law is already canonical as `CE-cyclotron-frequency`
|
|
10
|
+
* in `electromagnetism.ts` — it is omitted here to avoid a duplicate registry
|
|
11
|
+
* entry for the same textbook relation (see the PILOT report for detail).
|
|
12
|
+
*
|
|
13
|
+
* 5 of the remaining laws are clean integer monomials with an exact prefactor
|
|
14
|
+
* (`scalarAst` included, `fully-quantitative`); 4 are fractional-power
|
|
15
|
+
* monomials (Fermi energy/velocity, plasma/Debye frequency) — `scalarAst` is
|
|
16
|
+
* OMITTED and `epistemicStatus` is `dimensional`, exactly like the SHM/pendulum
|
|
17
|
+
* √-laws in `mechanics.ts` / `electromagnetism.ts`.
|
|
18
|
+
*
|
|
19
|
+
* @module canonical/entries/condensed-matter
|
|
20
|
+
*/
|
|
21
|
+
import type { CanonicalEquation } from '../canonical-equation.js';
|
|
22
|
+
export declare const CONDENSED_MATTER: readonly CanonicalEquation[];
|
|
23
|
+
//# sourceMappingURL=condensed-matter.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"condensed-matter.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/condensed-matter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAclE,eAAO,MAAM,gBAAgB,EAAE,SAAS,iBAAiB,EAmKxD,CAAC"}
|
|
@@ -0,0 +1,173 @@
|
|
|
1
|
+
import { sym } from '../../bridges/equations/_be-helpers.js';
|
|
2
|
+
import { MASS, VELOCITY, ENERGY, TIME, FREQUENCY, CHARGE } from '../../dimensional/types.js';
|
|
3
|
+
import { dim, op, pow, l1 } from './_l1-build.js';
|
|
4
|
+
const ELECTRIC_FIELD = dim(1, 1, -3, -1); // V/m [L M T⁻³ I⁻¹]
|
|
5
|
+
const CARRIER_DENSITY = dim(-3, 0, 0, 0); // [L⁻³] (number density)
|
|
6
|
+
const CARRIER_MOBILITY = dim(0, -1, 2, 1); // [M⁻¹ T² I]
|
|
7
|
+
const ELECTRICAL_CONDUCTIVITY = dim(-3, -1, 3, 2); // siemens/m [L⁻³ M⁻¹ T³ I²]
|
|
8
|
+
const ELECTRICAL_RESISTIVITY = dim(3, 1, -3, -2); // ohm·m [L³ M T⁻³ I⁻²]
|
|
9
|
+
const HALL_COEFFICIENT = dim(3, 0, -1, -1); // [L³ T⁻¹ I⁻¹]
|
|
10
|
+
const REDUCED_PLANCK = dim(2, 1, -1, 0); // J·s [L² M T⁻¹]
|
|
11
|
+
const VACUUM_PERMITTIVITY = dim(-3, -1, 4, 2); // farad/m [L⁻³ M⁻¹ T⁴ I²]
|
|
12
|
+
export const CONDENSED_MATTER = [
|
|
13
|
+
// ── free-carrier transport (fully-quantitative clean monomials) ───────────
|
|
14
|
+
l1({ name: 'carrier-mobility', dim: CARRIER_MOBILITY }, [
|
|
15
|
+
{ name: 'charge', dim: CHARGE },
|
|
16
|
+
{ name: 'relaxation-time', dim: TIME },
|
|
17
|
+
{ name: 'mass', dim: MASS },
|
|
18
|
+
], {
|
|
19
|
+
id: 'CE-carrier-mobility',
|
|
20
|
+
name: 'Carrier mobility',
|
|
21
|
+
domain: 'condensed-matter',
|
|
22
|
+
formula_latex: '\\mu = q\\tau/m',
|
|
23
|
+
epistemicStatus: 'fully-quantitative',
|
|
24
|
+
scalarAst: op('/', [
|
|
25
|
+
op('*', [sym('charge', CHARGE), sym('relaxation-time', TIME)]),
|
|
26
|
+
sym('mass', MASS),
|
|
27
|
+
]),
|
|
28
|
+
regime: { scale: 'mesoscopic', force: 'electromagnetic' },
|
|
29
|
+
assumptions: ['Drude free-electron model'],
|
|
30
|
+
references: ['Ashcroft & Mermin, Solid State Physics'],
|
|
31
|
+
partnerBridges: [],
|
|
32
|
+
}),
|
|
33
|
+
l1({ name: 'electrical-conductivity', dim: ELECTRICAL_CONDUCTIVITY }, [
|
|
34
|
+
{ name: 'carrier-density', dim: CARRIER_DENSITY },
|
|
35
|
+
{ name: 'charge', dim: CHARGE },
|
|
36
|
+
{ name: 'carrier-mobility', dim: CARRIER_MOBILITY },
|
|
37
|
+
], {
|
|
38
|
+
id: 'CE-electrical-conductivity',
|
|
39
|
+
name: 'Electrical conductivity (Drude)',
|
|
40
|
+
domain: 'condensed-matter',
|
|
41
|
+
formula_latex: '\\sigma = n q \\mu',
|
|
42
|
+
epistemicStatus: 'fully-quantitative',
|
|
43
|
+
scalarAst: op('*', [
|
|
44
|
+
sym('carrier-density', CARRIER_DENSITY),
|
|
45
|
+
sym('charge', CHARGE),
|
|
46
|
+
sym('carrier-mobility', CARRIER_MOBILITY),
|
|
47
|
+
]),
|
|
48
|
+
regime: { scale: 'mesoscopic', force: 'electromagnetic' },
|
|
49
|
+
assumptions: ['Drude free-electron model'],
|
|
50
|
+
references: ['Ashcroft & Mermin, Solid State Physics (Drude model)'],
|
|
51
|
+
partnerBridges: [],
|
|
52
|
+
}),
|
|
53
|
+
l1({ name: 'electrical-resistivity', dim: ELECTRICAL_RESISTIVITY }, [
|
|
54
|
+
{ name: 'mass', dim: MASS },
|
|
55
|
+
{ name: 'carrier-density', dim: CARRIER_DENSITY },
|
|
56
|
+
{ name: 'charge', dim: CHARGE },
|
|
57
|
+
{ name: 'relaxation-time', dim: TIME },
|
|
58
|
+
], {
|
|
59
|
+
id: 'CE-drude-resistivity',
|
|
60
|
+
name: 'Drude resistivity',
|
|
61
|
+
domain: 'condensed-matter',
|
|
62
|
+
formula_latex: '\\rho = m/(n q^2 \\tau)',
|
|
63
|
+
epistemicStatus: 'fully-quantitative',
|
|
64
|
+
scalarAst: op('/', [
|
|
65
|
+
sym('mass', MASS),
|
|
66
|
+
op('*', [
|
|
67
|
+
sym('carrier-density', CARRIER_DENSITY),
|
|
68
|
+
pow(sym('charge', CHARGE), '2'),
|
|
69
|
+
sym('relaxation-time', TIME),
|
|
70
|
+
]),
|
|
71
|
+
]),
|
|
72
|
+
regime: { scale: 'mesoscopic', force: 'electromagnetic' },
|
|
73
|
+
assumptions: ['Drude free-electron model'],
|
|
74
|
+
references: ['Drude 1900', 'Ashcroft & Mermin, Solid State Physics'],
|
|
75
|
+
partnerBridges: [],
|
|
76
|
+
}),
|
|
77
|
+
l1({ name: 'hall-coefficient', dim: HALL_COEFFICIENT }, [
|
|
78
|
+
{ name: 'carrier-density', dim: CARRIER_DENSITY },
|
|
79
|
+
{ name: 'charge', dim: CHARGE },
|
|
80
|
+
], {
|
|
81
|
+
id: 'CE-hall-coefficient',
|
|
82
|
+
name: 'Hall coefficient',
|
|
83
|
+
domain: 'condensed-matter',
|
|
84
|
+
formula_latex: 'R_H = 1/(nq)',
|
|
85
|
+
epistemicStatus: 'fully-quantitative',
|
|
86
|
+
scalarAst: pow(op('*', [sym('carrier-density', CARRIER_DENSITY), sym('charge', CHARGE)]), '-1'),
|
|
87
|
+
regime: { scale: 'mesoscopic', force: 'electromagnetic' },
|
|
88
|
+
assumptions: ['single-carrier Drude model', 'low magnetic field'],
|
|
89
|
+
references: ['Kittel, Introduction to Solid State Physics'],
|
|
90
|
+
partnerBridges: [],
|
|
91
|
+
}),
|
|
92
|
+
l1({ name: 'drift-velocity', dim: VELOCITY }, [
|
|
93
|
+
{ name: 'carrier-mobility', dim: CARRIER_MOBILITY },
|
|
94
|
+
{ name: 'electric-field', dim: ELECTRIC_FIELD },
|
|
95
|
+
], {
|
|
96
|
+
id: 'CE-drift-velocity',
|
|
97
|
+
name: 'Carrier drift velocity',
|
|
98
|
+
domain: 'condensed-matter',
|
|
99
|
+
formula_latex: 'v_d = \\mu E',
|
|
100
|
+
epistemicStatus: 'fully-quantitative',
|
|
101
|
+
scalarAst: op('*', [
|
|
102
|
+
sym('carrier-mobility', CARRIER_MOBILITY),
|
|
103
|
+
sym('electric-field', ELECTRIC_FIELD),
|
|
104
|
+
]),
|
|
105
|
+
regime: { scale: 'mesoscopic', force: 'electromagnetic' },
|
|
106
|
+
assumptions: ['Drude free-electron model', 'linear-response (low-field) regime'],
|
|
107
|
+
references: ['Drude 1900', 'Ashcroft & Mermin, Solid State Physics'],
|
|
108
|
+
partnerBridges: [],
|
|
109
|
+
}),
|
|
110
|
+
// ── Fermi gas + collective frequencies (√-laws: dimensional-only,
|
|
111
|
+
// engine-derived fractional monomials) ────────────────────────────────────
|
|
112
|
+
l1({ name: 'fermi-energy', dim: ENERGY }, [
|
|
113
|
+
{ name: 'reduced-planck-constant', dim: REDUCED_PLANCK },
|
|
114
|
+
{ name: 'mass', dim: MASS },
|
|
115
|
+
{ name: 'carrier-density', dim: CARRIER_DENSITY },
|
|
116
|
+
], {
|
|
117
|
+
id: 'CE-fermi-energy',
|
|
118
|
+
name: 'Fermi energy',
|
|
119
|
+
domain: 'condensed-matter',
|
|
120
|
+
formula_latex: 'E_F \\propto \\hbar^2 n^{2/3}/m',
|
|
121
|
+
epistemicStatus: 'dimensional',
|
|
122
|
+
regime: { scale: 'mesoscopic' },
|
|
123
|
+
assumptions: ['degenerate free-electron gas', 'T ≈ 0'],
|
|
124
|
+
references: ['Ashcroft & Mermin, Solid State Physics'],
|
|
125
|
+
partnerBridges: [],
|
|
126
|
+
}),
|
|
127
|
+
l1({ name: 'fermi-velocity', dim: VELOCITY }, [
|
|
128
|
+
{ name: 'reduced-planck-constant', dim: REDUCED_PLANCK },
|
|
129
|
+
{ name: 'mass', dim: MASS },
|
|
130
|
+
{ name: 'carrier-density', dim: CARRIER_DENSITY },
|
|
131
|
+
], {
|
|
132
|
+
id: 'CE-fermi-velocity',
|
|
133
|
+
name: 'Fermi velocity',
|
|
134
|
+
domain: 'condensed-matter',
|
|
135
|
+
formula_latex: 'v_F \\propto (\\hbar/m) n^{1/3}',
|
|
136
|
+
epistemicStatus: 'dimensional',
|
|
137
|
+
regime: { scale: 'mesoscopic' },
|
|
138
|
+
assumptions: ['degenerate free-electron gas', 'T ≈ 0'],
|
|
139
|
+
references: ['Ashcroft & Mermin, Solid State Physics'],
|
|
140
|
+
partnerBridges: [],
|
|
141
|
+
}),
|
|
142
|
+
l1({ name: 'plasma-frequency', dim: FREQUENCY }, [
|
|
143
|
+
{ name: 'carrier-density', dim: CARRIER_DENSITY },
|
|
144
|
+
{ name: 'charge', dim: CHARGE },
|
|
145
|
+
{ name: 'vacuum-permittivity', dim: VACUUM_PERMITTIVITY },
|
|
146
|
+
{ name: 'mass', dim: MASS },
|
|
147
|
+
], {
|
|
148
|
+
id: 'CE-plasma-frequency',
|
|
149
|
+
name: 'Plasma frequency',
|
|
150
|
+
domain: 'condensed-matter',
|
|
151
|
+
formula_latex: '\\omega_p \\propto \\sqrt{n q^2/(\\varepsilon_0 m)}',
|
|
152
|
+
epistemicStatus: 'dimensional',
|
|
153
|
+
regime: { scale: 'mesoscopic', force: 'electromagnetic' },
|
|
154
|
+
assumptions: ['free-electron gas', 'long-wavelength (q→0) limit'],
|
|
155
|
+
references: ['Kittel, Introduction to Solid State Physics', 'Ashcroft & Mermin, Solid State Physics'],
|
|
156
|
+
partnerBridges: [],
|
|
157
|
+
}),
|
|
158
|
+
l1({ name: 'debye-frequency', dim: FREQUENCY }, [
|
|
159
|
+
{ name: 'sound-speed', dim: VELOCITY },
|
|
160
|
+
{ name: 'number-density', dim: CARRIER_DENSITY },
|
|
161
|
+
], {
|
|
162
|
+
id: 'CE-debye-frequency',
|
|
163
|
+
name: 'Debye frequency',
|
|
164
|
+
domain: 'condensed-matter',
|
|
165
|
+
formula_latex: '\\omega_D \\propto v_s n^{1/3}',
|
|
166
|
+
epistemicStatus: 'dimensional',
|
|
167
|
+
regime: { scale: 'mesoscopic', force: 'emergent' },
|
|
168
|
+
assumptions: ['Debye model of lattice vibrations', 'linear dispersion'],
|
|
169
|
+
references: ['Debye 1912', 'Kittel, Introduction to Solid State Physics'],
|
|
170
|
+
partnerBridges: [],
|
|
171
|
+
}),
|
|
172
|
+
];
|
|
173
|
+
//# sourceMappingURL=condensed-matter.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"condensed-matter.js","sourceRoot":"","sources":["../../../src/canonical/entries/condensed-matter.ts"],"names":[],"mappings":"AAqBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAC7F,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;AAC9D,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,yBAAyB;AACnE,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa;AACxD,MAAM,uBAAuB,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,4BAA4B;AAC/E,MAAM,sBAAsB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,uBAAuB;AACzE,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe;AAC3D,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,iBAAiB;AAC1D,MAAM,mBAAmB,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,0BAA0B;AAEzE,MAAM,CAAC,MAAM,gBAAgB,GAAiC;IAC5D,6EAA6E;IAC7E,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,iBAAiB,EAAE,GAAG,EAAE,IAAI,EAAE;QACtC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,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,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC,CAAC;YAC9D,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;SAClB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,UAAU,EAAE,CAAC,wCAAwC,CAAC;QACtD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,GAAG,EAAE,uBAAuB,EAAE,EAAE;QACpE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE;KACpD,EAAE;QACD,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,iCAAiC;QACvC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,oBAAoB;QACnC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;YACrB,GAAG,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;SAC1C,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,UAAU,EAAE,CAAC,sDAAsD,CAAC;QACpE,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,sBAAsB,EAAE,EAAE;QAClE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,IAAI,EAAE;KACvC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;gBACvC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;gBAC/B,GAAG,CAAC,iBAAiB,EAAE,IAAI,CAAC;aAC7B,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,UAAU,EAAE,CAAC,YAAY,EAAE,wCAAwC,CAAC;QACpE,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,cAAc;QAC7B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,GAAG,CACZ,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,EACzE,IAAI,CACL;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,4BAA4B,EAAE,oBAAoB,CAAC;QACjE,UAAU,EAAE,CAAC,6CAA6C,CAAC;QAC3D,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC5C,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE;QACnD,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;KAChD,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,cAAc;QAC7B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;YACzC,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC;SACtC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,2BAA2B,EAAE,oCAAoC,CAAC;QAChF,UAAU,EAAE,CAAC,YAAY,EAAE,wCAAwC,CAAC;QACpE,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,mEAAmE;IACnE,4EAA4E;IAC5E,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACxC,EAAE,IAAI,EAAE,yBAAyB,EAAE,GAAG,EAAE,cAAc,EAAE;QACxD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;KAClD,EAAE;QACD,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,iCAAiC;QAChD,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,8BAA8B,EAAE,OAAO,CAAC;QACtD,UAAU,EAAE,CAAC,wCAAwC,CAAC;QACtD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC5C,EAAE,IAAI,EAAE,yBAAyB,EAAE,GAAG,EAAE,cAAc,EAAE;QACxD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;KAClD,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,iCAAiC;QAChD,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,8BAA8B,EAAE,OAAO,CAAC;QACtD,UAAU,EAAE,CAAC,wCAAwC,CAAC;QACtD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,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,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,mBAAmB,EAAE;QACzD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,qDAAqD;QACpE,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,mBAAmB,EAAE,6BAA6B,CAAC;QACjE,UAAU,EAAE,CAAC,6CAA6C,EAAE,wCAAwC,CAAC;QACrG,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAC9C,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,QAAQ,EAAE;QACtC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,eAAe,EAAE;KACjD,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,gCAAgC;QAC/C,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;QAClD,WAAW,EAAE,CAAC,mCAAmC,EAAE,mBAAmB,CAAC;QACvE,UAAU,EAAE,CAAC,YAAY,EAAE,6CAA6C,CAAC;QACzE,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
|
|
@@ -11,6 +11,10 @@
|
|
|
11
11
|
* (vector PDEs) are deliberately out of scope. See
|
|
12
12
|
* docs/research/bridges-vs-canonical-map.md.
|
|
13
13
|
*
|
|
14
|
+
* Batch 3 (2026-07-03) appends 5 more monomial laws: RC time constant, the
|
|
15
|
+
* Poynting flux, the solenoid field, Larmor radiated power (distinct from the
|
|
16
|
+
* Larmor gyro-radius above), and the electric-field energy density.
|
|
17
|
+
*
|
|
14
18
|
* @module canonical/entries/electromagnetism
|
|
15
19
|
*/
|
|
16
20
|
import type { CanonicalEquation } from '../canonical-equation.js';
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"electromagnetism.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/electromagnetism.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"electromagnetism.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/electromagnetism.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAgClE,eAAO,MAAM,gBAAgB,EAAE,SAAS,iBAAiB,EAkVxD,CAAC"}
|
|
@@ -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"}
|