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.
Files changed (46) hide show
  1. package/README.md +15 -4
  2. package/dist/bridges/be51-lensing-confrontation.d.ts +57 -0
  3. package/dist/bridges/be51-lensing-confrontation.d.ts.map +1 -0
  4. package/dist/bridges/be51-lensing-confrontation.js +49 -0
  5. package/dist/bridges/be51-lensing-confrontation.js.map +1 -0
  6. package/dist/bridges/confrontations.d.ts.map +1 -1
  7. package/dist/bridges/confrontations.js +20 -0
  8. package/dist/bridges/confrontations.js.map +1 -1
  9. package/dist/canonical/canonical-equation.d.ts +1 -1
  10. package/dist/canonical/canonical-equation.d.ts.map +1 -1
  11. package/dist/canonical/entries/atomic.d.ts +2 -1
  12. package/dist/canonical/entries/atomic.d.ts.map +1 -1
  13. package/dist/canonical/entries/atomic.js +22 -1
  14. package/dist/canonical/entries/atomic.js.map +1 -1
  15. package/dist/canonical/entries/condensed-matter.d.ts +23 -0
  16. package/dist/canonical/entries/condensed-matter.d.ts.map +1 -0
  17. package/dist/canonical/entries/condensed-matter.js +173 -0
  18. package/dist/canonical/entries/condensed-matter.js.map +1 -0
  19. package/dist/canonical/entries/electromagnetism.d.ts +4 -0
  20. package/dist/canonical/entries/electromagnetism.d.ts.map +1 -1
  21. package/dist/canonical/entries/electromagnetism.js +97 -1
  22. package/dist/canonical/entries/electromagnetism.js.map +1 -1
  23. package/dist/canonical/entries/fluids-waves.d.ts +15 -3
  24. package/dist/canonical/entries/fluids-waves.d.ts.map +1 -1
  25. package/dist/canonical/entries/fluids-waves.js +103 -2
  26. package/dist/canonical/entries/fluids-waves.js.map +1 -1
  27. package/dist/canonical/entries/nonmonomial.d.ts +26 -0
  28. package/dist/canonical/entries/nonmonomial.d.ts.map +1 -0
  29. package/dist/canonical/entries/nonmonomial.js +141 -0
  30. package/dist/canonical/entries/nonmonomial.js.map +1 -0
  31. package/dist/canonical/entries/statistical-mechanics.d.ts +24 -0
  32. package/dist/canonical/entries/statistical-mechanics.d.ts.map +1 -0
  33. package/dist/canonical/entries/statistical-mechanics.js +94 -0
  34. package/dist/canonical/entries/statistical-mechanics.js.map +1 -0
  35. package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts +5 -4
  36. package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map +1 -1
  37. package/dist/canonical/entries/thermo-nuclear-cosmo.js +60 -0
  38. package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
  39. package/dist/canonical/registry.d.ts.map +1 -1
  40. package/dist/canonical/registry.js +6 -0
  41. package/dist/canonical/registry.js.map +1 -1
  42. package/dist/index.d.ts +2 -0
  43. package/dist/index.d.ts.map +1 -1
  44. package/dist/index.js +2 -0
  45. package/dist/index.js.map +1 -1
  46. 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.33.0 — [npm `latest`](https://www.npmjs.com/package/universal-physics-tensor)
252
- matches (registry-verified 2026-07-02) — building on
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 | **3512** passing (4 skipped, 1 todo; incl. property-based algebra tests) across 327 files — gated by CI |
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;AAQrF,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;AAoHD,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"}
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;AAUhE,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,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;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"}
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;AAElB;;;;;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"}
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). L0 fields are engine-derived (see `_l1-build`).
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;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAkBlE,eAAO,MAAM,MAAM,EAAE,SAAS,iBAAiB,EA2H9C,CAAC"}
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":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,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;CACH,CAAC"}
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;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AA2BlE,eAAO,MAAM,gBAAgB,EAAE,SAAS,iBAAiB,EAqPxD,CAAC"}
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"}