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
package/README.md
CHANGED
|
@@ -248,8 +248,8 @@ delivered a measured **5-6× RK4 geodesic-integrator speedup** (see [CHANGELOG](
|
|
|
248
248
|
|
|
249
249
|
## Development Status
|
|
250
250
|
|
|
251
|
-
**Current version:** v0.
|
|
252
|
-
|
|
251
|
+
**Current version:** v0.35.0 — [npm `latest`](https://www.npmjs.com/package/universal-physics-tensor)
|
|
252
|
+
— building on
|
|
253
253
|
the **v0.8.0 → v0.23.0** rollup arc (composition
|
|
254
254
|
graph + GW170817 / BE-23 data confrontations + catalog adjudication, Part-IX
|
|
255
255
|
Phase C/D, the full catalog→graph migration, the bridge-inference +
|
|
@@ -294,12 +294,23 @@ each `promising` candidate `entailed` (re-derives a known canonical
|
|
|
294
294
|
equation), `novel-consequence` (a valid, unmatched algebraic consequence),
|
|
295
295
|
or `inconclusive`, surfaced as a `[consequence: …]` trailer in `upt discover`
|
|
296
296
|
and a `consequence` field under `--json`; annotation-only, so the funnel's
|
|
297
|
-
promising/inert/contradictory counts never move.
|
|
297
|
+
promising/inert/contradictory counts never move. v0.34.0 **expands the
|
|
298
|
+
canonical L-layer 66 → 93 equations** (+41%, 27 new cited monomial laws) across
|
|
299
|
+
a new `condensed-matter` domain (Drude/Fermi/Hall) plus fluids, EM, thermo,
|
|
300
|
+
statistical mechanics, and mechanics/quantum — and, just as importantly, maps
|
|
301
|
+
the boundaries of the monomial L0 model: sums, transcendentals, hidden length
|
|
302
|
+
scales, dimensionless numbers, and pure counts are excluded (not force-fit) and
|
|
303
|
+
logged for a future L1-sum/L2 tier (`docs/research/canonical-expansion-candidate-audit.md`).
|
|
304
|
+
v0.35.0 opens that **L1-sum tier** — the first non-monomial canonical laws
|
|
305
|
+
(Bernoulli, radioactive decay, photoelectric, Carnot, Boltzmann factor; 93 → 98)
|
|
306
|
+
carrying a full scalar-AST — and adds the **BE-51 gravitational-lensing
|
|
307
|
+
confrontation**, so all three classic tests of general relativity (Mercury
|
|
308
|
+
perihelion, Shapiro delay, light deflection) now confront real data within 1σ.
|
|
298
309
|
|
|
299
310
|
| Metric | Value |
|
|
300
311
|
|---|---|
|
|
301
312
|
| Bridge catalog | **44** (IDs 11-54) — 8 established · 33 speculative · 3 highly-speculative · 0 invalid; membership-adjudicated **36 bridges · 5 not-a-bridge · 3 contested**; **41-edge composition graph** (full migration, 131 centralized quantity nodes) with a bridge-inference suite — **identifiability classifier**, **retrodiction harness**, **Buckingham-π enumerator**, unified by an **`explainQuantity`** entry point, plus (v0.12) the candidate-vetting **discovery loop**, regime-prediction map, empirical-coverage audit, and **symbolic composition** (the Observable contract + MathTS simplification) |
|
|
302
|
-
| Test suite | **
|
|
313
|
+
| Test suite | **3566** passing (4 skipped, 1 todo; incl. property-based algebra tests) across 330 files — gated by CI |
|
|
303
314
|
| `tsc --noEmit` | clean (src + strict `tsc -p tsconfig.tests.json`) |
|
|
304
315
|
| GR validation anchors | BE-52 Mercury perihelion relErr 1.8×10⁻⁷ · BE-37 Shapiro delay relErr ~2×10⁻⁸ |
|
|
305
316
|
| First derived relation | E_min(M) = ℏc³ln2/(8πGM) from BE-42 ∘ BE-16, relErr ≤ 10⁻¹² (pre-registered CT-1) |
|
|
@@ -0,0 +1,57 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* BE-51 × VLBI — confront the gravitational-lensing bridge with the modern
|
|
3
|
+
* VLBI determination of the PPN parameter γ via solar light deflection
|
|
4
|
+
* (Lambert & Le Poncin-Lafitte 2009). BE-51 encodes the γ=1 GR deflection
|
|
5
|
+
* α = 4GM/(bc²), so the bridge PREDICTS the solar-limb deflection at γ=1
|
|
6
|
+
* (≈ 1.75 arcsec, computed by `evaluateGravitationalLensing`). The observed
|
|
7
|
+
* deflection is the VLBI-measured γ applied to that same limb baseline — a
|
|
8
|
+
* genuine test of γ vs 1 through light *deflection*, complementary to be-37's
|
|
9
|
+
* γ via Shapiro *delay* (the same PPN parameter through two independent
|
|
10
|
+
* experiments: radio-source astrometry vs spacecraft ranging). This is the
|
|
11
|
+
* third classic test of general relativity in the confrontation registry,
|
|
12
|
+
* joining be-52 (Mercury perihelion) and be-37 (Shapiro delay). Value-kind.
|
|
13
|
+
*
|
|
14
|
+
* @module bridges/be51-lensing-confrontation
|
|
15
|
+
*/
|
|
16
|
+
import type { ObservationProvenance } from './observations/types.js';
|
|
17
|
+
/** Solar mass (kg), IAU/CODATA nominal — matches be-37/be-52 usage. */
|
|
18
|
+
export declare const SOLAR_MASS_KG = 1.989e+30;
|
|
19
|
+
/** Solar radius (m) — the grazing-ray impact parameter (matches be-37). */
|
|
20
|
+
export declare const SOLAR_RADIUS_M = 695700000;
|
|
21
|
+
/** A VLBI PPN-γ (light-deflection) observation record. @public */
|
|
22
|
+
export interface VLBIDeflectionObservation {
|
|
23
|
+
/** Measured PPN parameter γ (dimensionless). */
|
|
24
|
+
readonly observed_gamma: number;
|
|
25
|
+
/** 1σ on the measured γ. */
|
|
26
|
+
readonly observed_gamma_sigma: number;
|
|
27
|
+
readonly provenance: ObservationProvenance;
|
|
28
|
+
}
|
|
29
|
+
/**
|
|
30
|
+
* VLBI solar light-deflection determination of γ:
|
|
31
|
+
* γ − 1 = (−0.8 ± 1.2)×10⁻⁴ (Lambert & Le Poncin-Lafitte 2009, A&A 499:331;
|
|
32
|
+
* compiled in Will 2014, Living Rev. Relativity 17:4).
|
|
33
|
+
*
|
|
34
|
+
* @public
|
|
35
|
+
*/
|
|
36
|
+
export declare const VLBI_LAMBERT_2009: VLBIDeflectionObservation;
|
|
37
|
+
/** Result of confronting BE-51 with a VLBI deflection measurement. @public */
|
|
38
|
+
export interface BE51ConfrontationResult {
|
|
39
|
+
/** GR (γ=1) solar-limb deflection from the bridge evaluator (arcsec). */
|
|
40
|
+
readonly predicted_arcsec: number;
|
|
41
|
+
/** Observed deflection: (1+γ)/2 × predicted (arcsec). */
|
|
42
|
+
readonly observed_arcsec: number;
|
|
43
|
+
/** 1σ on the observed deflection (arcsec). */
|
|
44
|
+
readonly observed_sigma_arcsec: number;
|
|
45
|
+
readonly residual_in_sigma: number;
|
|
46
|
+
readonly withinObserved: boolean;
|
|
47
|
+
readonly observation: VLBIDeflectionObservation;
|
|
48
|
+
}
|
|
49
|
+
/**
|
|
50
|
+
* Confront BE-51's GR solar-limb deflection with the VLBI γ measurement.
|
|
51
|
+
* The predicted value comes from the bridge's own evaluator; the observed
|
|
52
|
+
* value is the measured (1+γ)/2 scaling of that same baseline.
|
|
53
|
+
*
|
|
54
|
+
* @public
|
|
55
|
+
*/
|
|
56
|
+
export declare function confrontBE51(obs?: VLBIDeflectionObservation): BE51ConfrontationResult;
|
|
57
|
+
//# sourceMappingURL=be51-lensing-confrontation.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be51-lensing-confrontation.d.ts","sourceRoot":"","sources":["../../src/bridges/be51-lensing-confrontation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAIrE,uEAAuE;AACvE,eAAO,MAAM,aAAa,YAAW,CAAC;AACtC,2EAA2E;AAC3E,eAAO,MAAM,cAAc,YAAU,CAAC;AAEtC,kEAAkE;AAClE,MAAM,WAAW,yBAAyB;IACxC,gDAAgD;IAChD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,4BAA4B;IAC5B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CAAC;CAC5C;AAED;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,EAAE,yBAU/B,CAAC;AAEF,8EAA8E;AAC9E,MAAM,WAAW,uBAAuB;IACtC,yEAAyE;IACzE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,yDAAyD;IACzD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,8CAA8C;IAC9C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,yBAAyB,CAAC;CACjD;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,GAAG,GAAE,yBAA6C,GACjD,uBAAuB,CAqBzB"}
|
|
@@ -0,0 +1,49 @@
|
|
|
1
|
+
import { residualInSigma } from './observations/types.js';
|
|
2
|
+
import { evaluateGravitationalLensing } from './gravitational-lensing.js';
|
|
3
|
+
/** Solar mass (kg), IAU/CODATA nominal — matches be-37/be-52 usage. */
|
|
4
|
+
export const SOLAR_MASS_KG = 1.989e30;
|
|
5
|
+
/** Solar radius (m) — the grazing-ray impact parameter (matches be-37). */
|
|
6
|
+
export const SOLAR_RADIUS_M = 6.957e8;
|
|
7
|
+
/**
|
|
8
|
+
* VLBI solar light-deflection determination of γ:
|
|
9
|
+
* γ − 1 = (−0.8 ± 1.2)×10⁻⁴ (Lambert & Le Poncin-Lafitte 2009, A&A 499:331;
|
|
10
|
+
* compiled in Will 2014, Living Rev. Relativity 17:4).
|
|
11
|
+
*
|
|
12
|
+
* @public
|
|
13
|
+
*/
|
|
14
|
+
export const VLBI_LAMBERT_2009 = {
|
|
15
|
+
observed_gamma: 1 - 0.8e-4,
|
|
16
|
+
observed_gamma_sigma: 1.2e-4,
|
|
17
|
+
provenance: {
|
|
18
|
+
citation: 'Lambert & Le Poncin-Lafitte 2009, A&A 499:331-336 (geodetic VLBI light-deflection determination of PPN gamma); compiled in Will 2014, Living Rev. Relativity 17:4',
|
|
19
|
+
year: 2009,
|
|
20
|
+
retrieved: '2026-07-04',
|
|
21
|
+
note: 'BE-51 encodes the gamma=1 GR deflection alpha=4GM/(bc^2); predicted is the solar-limb deflection from evaluateGravitationalLensing(M_sun, R_sun). Observed = measured (1+gamma)/2 applied to that same limb baseline (the baseline is pure physical constants, not GR theory), so this is a genuine test of gamma vs 1 via deflection — complementary to be-37 (gamma via Shapiro delay).',
|
|
22
|
+
},
|
|
23
|
+
};
|
|
24
|
+
/**
|
|
25
|
+
* Confront BE-51's GR solar-limb deflection with the VLBI γ measurement.
|
|
26
|
+
* The predicted value comes from the bridge's own evaluator; the observed
|
|
27
|
+
* value is the measured (1+γ)/2 scaling of that same baseline.
|
|
28
|
+
*
|
|
29
|
+
* @public
|
|
30
|
+
*/
|
|
31
|
+
export function confrontBE51(obs = VLBI_LAMBERT_2009) {
|
|
32
|
+
const predicted_arcsec = evaluateGravitationalLensing({
|
|
33
|
+
M_kg: SOLAR_MASS_KG,
|
|
34
|
+
b_m: SOLAR_RADIUS_M,
|
|
35
|
+
}).alpha_arcsec;
|
|
36
|
+
const scaling = (1 + obs.observed_gamma) / 2;
|
|
37
|
+
const observed_arcsec = scaling * predicted_arcsec;
|
|
38
|
+
const observed_sigma_arcsec = (obs.observed_gamma_sigma / 2) * predicted_arcsec;
|
|
39
|
+
const residual_in_sigma = residualInSigma(predicted_arcsec, observed_arcsec, observed_sigma_arcsec);
|
|
40
|
+
return {
|
|
41
|
+
predicted_arcsec,
|
|
42
|
+
observed_arcsec,
|
|
43
|
+
observed_sigma_arcsec,
|
|
44
|
+
residual_in_sigma,
|
|
45
|
+
withinObserved: residual_in_sigma <= 1,
|
|
46
|
+
observation: obs,
|
|
47
|
+
};
|
|
48
|
+
}
|
|
49
|
+
//# sourceMappingURL=be51-lensing-confrontation.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"be51-lensing-confrontation.js","sourceRoot":"","sources":["../../src/bridges/be51-lensing-confrontation.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAE1E,uEAAuE;AACvE,MAAM,CAAC,MAAM,aAAa,GAAG,QAAQ,CAAC;AACtC,2EAA2E;AAC3E,MAAM,CAAC,MAAM,cAAc,GAAG,OAAO,CAAC;AAWtC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA8B;IAC1D,cAAc,EAAE,CAAC,GAAG,MAAM;IAC1B,oBAAoB,EAAE,MAAM;IAC5B,UAAU,EAAE;QACV,QAAQ,EACN,mKAAmK;QACrK,IAAI,EAAE,IAAI;QACV,SAAS,EAAE,YAAY;QACvB,IAAI,EAAE,2XAA2X;KAClY;CACF,CAAC;AAeF;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAiC,iBAAiB;IAElD,MAAM,gBAAgB,GAAG,4BAA4B,CAAC;QACpD,IAAI,EAAE,aAAa;QACnB,GAAG,EAAE,cAAc;KACpB,CAAC,CAAC,YAAY,CAAC;IAChB,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;IAC7C,MAAM,eAAe,GAAG,OAAO,GAAG,gBAAgB,CAAC;IACnD,MAAM,qBAAqB,GAAG,CAAC,GAAG,CAAC,oBAAoB,GAAG,CAAC,CAAC,GAAG,gBAAgB,CAAC;IAChF,MAAM,iBAAiB,GAAG,eAAe,CACvC,gBAAgB,EAChB,eAAe,EACf,qBAAqB,CACtB,CAAC;IACF,OAAO;QACL,gBAAgB;QAChB,eAAe;QACf,qBAAqB;QACrB,iBAAiB;QACjB,cAAc,EAAE,iBAAiB,IAAI,CAAC;QACtC,WAAW,EAAE,GAAG;KACjB,CAAC;AACJ,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"confrontations.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;
|
|
1
|
+
{"version":3,"file":"confrontations.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AASrF,4CAA4C;AAC5C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,GAAG,IAAI,oBAAoB,CAAC;CAC7B;AAwID,0CAA0C;AAC1C,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAY,CAAC;AAEhF,yDAAyD;AACzD,wBAAgB,kBAAkB,IAAI,kBAAkB,EAAE,CAEzD;AAED,8EAA8E;AAC9E,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,oBAAoB,GAAG,SAAS,CAEnF"}
|
|
@@ -4,6 +4,7 @@ import { confrontBE37 } from './be37-cassini-confrontation.js';
|
|
|
4
4
|
import { confrontBE36 } from './be36-gw170817-confrontation.js';
|
|
5
5
|
import { confrontBE23 } from './be23-planckian-confrontation.js';
|
|
6
6
|
import { confrontBE48 } from './be48-collapse-confrontation.js';
|
|
7
|
+
import { confrontBE51 } from './be51-lensing-confrontation.js';
|
|
7
8
|
const be52Entry = {
|
|
8
9
|
bridgeId: 52,
|
|
9
10
|
title: 'GR perihelion precession vs Mercury (Clemence 1947)',
|
|
@@ -105,11 +106,30 @@ const be48Entry = {
|
|
|
105
106
|
};
|
|
106
107
|
},
|
|
107
108
|
};
|
|
109
|
+
const be51Entry = {
|
|
110
|
+
bridgeId: 51,
|
|
111
|
+
title: 'GR light deflection (PPN γ) vs VLBI (Lambert 2009)',
|
|
112
|
+
kind: 'value',
|
|
113
|
+
run() {
|
|
114
|
+
const r = confrontBE51();
|
|
115
|
+
return {
|
|
116
|
+
kind: 'value',
|
|
117
|
+
predicted: r.predicted_arcsec,
|
|
118
|
+
observed: r.observed_arcsec,
|
|
119
|
+
sigma: r.observed_sigma_arcsec,
|
|
120
|
+
residualInSigma: r.residual_in_sigma,
|
|
121
|
+
withinObserved: r.withinObserved,
|
|
122
|
+
units: 'arcsec (solar-limb deflection)',
|
|
123
|
+
provenance: r.observation.provenance,
|
|
124
|
+
};
|
|
125
|
+
},
|
|
126
|
+
};
|
|
108
127
|
const REGISTRY = new Map([
|
|
109
128
|
[23, be23Entry],
|
|
110
129
|
[36, be36Entry],
|
|
111
130
|
[37, be37Entry],
|
|
112
131
|
[48, be48Entry],
|
|
132
|
+
[51, be51Entry],
|
|
113
133
|
[52, be52Entry],
|
|
114
134
|
]);
|
|
115
135
|
/** The registry (frozen view). @public */
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"confrontations.js","sourceRoot":"","sources":["../../src/bridges/confrontations.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;
|
|
1
|
+
{"version":3,"file":"confrontations.js","sourceRoot":"","sources":["../../src/bridges/confrontations.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAU/D,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,qDAAqD;IAC5D,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,CAAC,4BAA4B;YACzC,QAAQ,EAAE,CAAC,CAAC,2BAA2B;YACvC,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,iCAAiC;YACtD,eAAe,EAAE,CAAC,CAAC,iBAAiB;YACpC,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,KAAK,EAAE,gBAAgB;YACvB,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE;SACtF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,6DAA6D;IACpE,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,yEAAyE;QACzE,+DAA+D;QAC/D,wEAAwE;QACxE,gEAAgE;QAChE,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,GAAG;YACd,QAAQ,EAAE,CAAC,CAAC,cAAc;YAC1B,KAAK,EAAE,CAAC,CAAC,iBAAiB;YAC1B,eAAe,EAAE,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,iBAAiB,CAAC;YAC5E,cAAc,EAAE,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAChF,KAAK,EAAE,mBAAmB;YAC1B,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE;SACtF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,kFAAkF;AAClF,+EAA+E;AAC/E,8EAA8E;AAC9E,4EAA4E;AAC5E,8EAA8E;AAC9E,oEAAoE;AACpE,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,4BAA4B;IACnC,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,YAAY;YACzB,KAAK,EAAE,CAAC,CAAC,UAAU;YACnB,SAAS,EAAE,CAAC,CAAC,kBAAkB;YAC/B,KAAK,EAAE,gCAAgC;YACvC,UAAU,EAAE;gBACV,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ;gBAChC,IAAI,EAAE,IAAI;gBACV,SAAS,EAAE,YAAY;gBACvB,IAAI,EAAE,0BAA0B,CAAC,CAAC,UAAU,WAAW,CAAC,CAAC,UAAU,uBAAuB,CAAC,CAAC,YAAY,EAAE;aAC3G;SACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,qDAAqD;IAC5D,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,CAAC,eAAe;YAC5B,QAAQ,EAAE,CAAC,CAAC,cAAc;YAC1B,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,oBAAoB;YACzC,eAAe,EAAE,CAAC,CAAC,iBAAiB;YACpC,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,KAAK,EAAE,uBAAuB;YAC9B,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,4DAA4D;IACnE,IAAI,EAAE,aAAa;IACnB,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,CAAC,CAAC,oBAAoB;YACjC,KAAK,EAAE,CAAC,CAAC,gBAAgB;YACzB,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,KAAK,EAAE,qBAAqB;YAC5B,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAuB;IACpC,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE,oDAAoD;IAC3D,IAAI,EAAE,OAAO;IACb,GAAG;QACD,MAAM,CAAC,GAAG,YAAY,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,CAAC,CAAC,gBAAgB;YAC7B,QAAQ,EAAE,CAAC,CAAC,eAAe;YAC3B,KAAK,EAAE,CAAC,CAAC,qBAAqB;YAC9B,eAAe,EAAE,CAAC,CAAC,iBAAiB;YACpC,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,KAAK,EAAE,gCAAgC;YACvC,UAAU,EAAE,CAAC,CAAC,WAAW,CAAC,UAAU;SACrC,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAA6B;IACnD,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,SAAS,CAAC;CAChB,CAAC,CAAC;AAEH,0CAA0C;AAC1C,MAAM,CAAC,MAAM,cAAc,GAA4C,QAAQ,CAAC;AAEhF,yDAAyD;AACzD,MAAM,UAAU,kBAAkB;IAChC,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;AACxE,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC/C,OAAO,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC;AACvC,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"}
|