universal-physics-tensor 0.35.0 → 0.36.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 CHANGED
@@ -248,7 +248,7 @@ delivered a measured **5-6× RK4 geodesic-integrator speedup** (see [CHANGELOG](
248
248
 
249
249
  ## Development Status
250
250
 
251
- **Current version:** v0.35.0 — [npm `latest`](https://www.npmjs.com/package/universal-physics-tensor)
251
+ **Current version:** v0.36.0 — [npm `latest`](https://www.npmjs.com/package/universal-physics-tensor)
252
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
@@ -301,16 +301,20 @@ statistical mechanics, and mechanics/quantum — and, just as importantly, maps
301
301
  the boundaries of the monomial L0 model: sums, transcendentals, hidden length
302
302
  scales, dimensionless numbers, and pure counts are excluded (not force-fit) and
303
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σ.
304
+ v0.35.0–v0.36.0 open the **L1-sum tier** — 10 non-monomial canonical laws
305
+ carrying a full scalar-AST (Bernoulli, radioactive decay, photoelectric, Carnot,
306
+ Boltzmann factor, Lorentz γ, Compton shift, Rydberg, Snell, Malus; 93 → 103),
307
+ filling the special-relativity and optics gaps the monomial layer had zero
308
+ entries for — and add the **BE-51 gravitational-lensing confrontation**, so all
309
+ three classic tests of general relativity (Mercury perihelion, Shapiro delay,
310
+ light deflection) now confront real data within 1σ. The L1-sum entries are an
311
+ honest reference layer: measured to produce zero structural bridge-matches
312
+ today, their value is reference-completeness, not bridge-validation.
309
313
 
310
314
  | Metric | Value |
311
315
  |---|---|
312
316
  | 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) |
313
- | Test suite | **3566** passing (4 skipped, 1 todo; incl. property-based algebra tests) across 330 files — gated by CI |
317
+ | Test suite | **3579** passing (4 skipped, 1 todo; incl. property-based algebra tests) across 330 files — gated by CI |
314
318
  | `tsc --noEmit` | clean (src + strict `tsc -p tsconfig.tests.json`) |
315
319
  | GR validation anchors | BE-52 Mercury perihelion relErr 1.8×10⁻⁷ · BE-37 Shapiro delay relErr ~2×10⁻⁸ |
316
320
  | First derived relation | E_min(M) = ℏc³ln2/(8πGM) from BE-42 ∘ BE-16, relErr ≤ 10⁻¹² (pre-registered CT-1) |
@@ -1 +1 @@
1
- {"version":3,"file":"nonmonomial.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/nonmonomial.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAiBlE,eAAO,MAAM,WAAW,EAAE,SAAS,iBAAiB,EAiJnD,CAAC"}
1
+ {"version":3,"file":"nonmonomial.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/nonmonomial.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAqBlE,eAAO,MAAM,WAAW,EAAE,SAAS,iBAAiB,EA8RnD,CAAC"}
@@ -12,6 +12,10 @@ const PLANCK = dim(2, 1, -1, 0, 0);
12
12
  const FREQUENCY = dim(0, 0, -1, 0, 0);
13
13
  const TEMPERATURE = dim(0, 0, 0, 0, 1);
14
14
  const BOLTZMANN = dim(2, 1, -2, 0, -1);
15
+ const MASS = dim(0, 1, 0, 0, 0);
16
+ const LENGTH = dim(1, 0, 0, 0, 0);
17
+ const INVERSE_LENGTH = dim(-1, 0, 0, 0, 0);
18
+ const INTENSITY = dim(0, 1, -3, 0, 0);
15
19
  export const NONMONOMIAL = [
16
20
  l1({ name: 'bernoulli-total-pressure', dim: PRESSURE }, [
17
21
  { name: 'density', dim: DENSITY },
@@ -137,5 +141,120 @@ export const NONMONOMIAL = [
137
141
  references: ['Boltzmann 1868 Wien. Ber. 58:517'],
138
142
  partnerBridges: [],
139
143
  }),
144
+ l1({ name: 'lorentz-factor', dim: DIMENSIONLESS }, [
145
+ { name: 'velocity', dim: VELOCITY },
146
+ { name: 'speed-of-light', dim: VELOCITY },
147
+ ], {
148
+ id: 'CE-lorentz-factor',
149
+ name: 'Lorentz factor',
150
+ domain: 'mechanics', // SR precedent — matches CE-mass-energy's domain
151
+ formula_latex: '\\gamma = \\left(1 - \\tfrac{v^2}{c^2}\\right)^{-1/2}',
152
+ epistemicStatus: 'fully-quantitative', // exact closed form
153
+ // (1 − v²/c²)^(−1/2); the base is dimensionless (velocity²/velocity²), so
154
+ // the fractional literal exponent '-0.5' validates on it directly.
155
+ scalarAst: pow(op('-', [
156
+ sym('1', DIMENSIONLESS),
157
+ op('/', [
158
+ pow(sym('velocity', VELOCITY), '2'),
159
+ pow(sym('speed-of-light', VELOCITY), '2'),
160
+ ]),
161
+ ]), '-0.5'),
162
+ regime: { scale: 'classical' },
163
+ assumptions: ['special relativity', 'inertial frames'],
164
+ references: ['Einstein 1905 Ann. Phys. 17:891'],
165
+ partnerBridges: [],
166
+ }),
167
+ l1({ name: 'compton-wavelength-shift', dim: LENGTH }, [
168
+ { name: 'planck-constant', dim: PLANCK },
169
+ { name: 'electron-mass', dim: MASS },
170
+ { name: 'speed-of-light', dim: VELOCITY },
171
+ { name: 'scattering-angle', dim: DIMENSIONLESS },
172
+ ], {
173
+ id: 'CE-compton-shift',
174
+ name: 'Compton shift',
175
+ domain: 'quantum',
176
+ formula_latex: '\\Delta\\lambda = \\tfrac{h}{m_e c}(1 - \\cos\\theta)',
177
+ epistemicStatus: 'fully-quantitative', // exact closed form
178
+ // (h/(m·c))·(1 − cos θ); the cos arg (scattering angle) is dimensionless.
179
+ scalarAst: op('*', [
180
+ op('/', [
181
+ sym('planck-constant', PLANCK),
182
+ op('*', [sym('electron-mass', MASS), sym('speed-of-light', VELOCITY)]),
183
+ ]),
184
+ op('-', [
185
+ sym('1', DIMENSIONLESS),
186
+ { kind: 'transcendental', fn: 'cos', arg: sym('scattering-angle', DIMENSIONLESS) },
187
+ ]),
188
+ ]),
189
+ regime: { scale: 'quantum' },
190
+ assumptions: ['elastic photon-electron scattering', 'free electron at rest'],
191
+ references: ['Compton 1923 Phys. Rev. 21:483'],
192
+ partnerBridges: [],
193
+ }),
194
+ l1({ name: 'inverse-transition-wavelength', dim: INVERSE_LENGTH }, [
195
+ { name: 'rydberg-constant', dim: INVERSE_LENGTH },
196
+ { name: 'lower-level-n', dim: DIMENSIONLESS },
197
+ { name: 'upper-level-n', dim: DIMENSIONLESS },
198
+ ], {
199
+ id: 'CE-rydberg-formula',
200
+ name: 'Rydberg formula',
201
+ domain: 'quantum',
202
+ formula_latex: '\\tfrac{1}{\\lambda} = R\\left(\\tfrac{1}{n_1^2} - \\tfrac{1}{n_2^2}\\right)',
203
+ epistemicStatus: 'fully-quantitative', // exact closed form
204
+ // R·(1/n1² − 1/n2²); both level numbers are dimensionless integer counts.
205
+ scalarAst: op('*', [
206
+ sym('rydberg-constant', INVERSE_LENGTH),
207
+ op('-', [
208
+ pow(sym('lower-level-n', DIMENSIONLESS), '-2'),
209
+ pow(sym('upper-level-n', DIMENSIONLESS), '-2'),
210
+ ]),
211
+ ]),
212
+ regime: { scale: 'quantum' },
213
+ assumptions: ['hydrogen-like atom', 'bound-state transition'],
214
+ references: ['Rydberg 1890 / Balmer 1885'],
215
+ partnerBridges: [],
216
+ }),
217
+ l1({ name: 'refracted-index', dim: DIMENSIONLESS }, [
218
+ { name: 'incident-index', dim: DIMENSIONLESS },
219
+ { name: 'angle-of-incidence', dim: DIMENSIONLESS },
220
+ { name: 'angle-of-refraction', dim: DIMENSIONLESS },
221
+ ], {
222
+ id: 'CE-snell-law',
223
+ name: "Snell's law",
224
+ domain: 'electromagnetism', // optics
225
+ formula_latex: 'n_2 = n_1 \\sin\\theta_1 / \\sin\\theta_2', // solved for n2
226
+ epistemicStatus: 'fully-quantitative', // exact closed form
227
+ // n1·sin θ1 / sin θ2; both angles are dimensionless.
228
+ scalarAst: op('/', [
229
+ op('*', [
230
+ sym('incident-index', DIMENSIONLESS),
231
+ { kind: 'transcendental', fn: 'sin', arg: sym('angle-of-incidence', DIMENSIONLESS) },
232
+ ]),
233
+ { kind: 'transcendental', fn: 'sin', arg: sym('angle-of-refraction', DIMENSIONLESS) },
234
+ ]),
235
+ regime: { scale: 'classical' },
236
+ assumptions: ['geometric optics', 'planar interface between isotropic media'],
237
+ references: ['Snell 1621 / Descartes 1637'],
238
+ partnerBridges: [],
239
+ }),
240
+ l1({ name: 'transmitted-intensity', dim: INTENSITY }, [
241
+ { name: 'incident-intensity', dim: INTENSITY },
242
+ { name: 'polarization-angle', dim: DIMENSIONLESS },
243
+ ], {
244
+ id: 'CE-malus-law',
245
+ name: "Malus's law",
246
+ domain: 'electromagnetism',
247
+ formula_latex: 'I = I_0 \\cos^2\\theta',
248
+ epistemicStatus: 'fully-quantitative', // exact closed form
249
+ // I0·cos²θ; the polarization angle is dimensionless.
250
+ scalarAst: op('*', [
251
+ sym('incident-intensity', INTENSITY),
252
+ pow({ kind: 'transcendental', fn: 'cos', arg: sym('polarization-angle', DIMENSIONLESS) }, '2'),
253
+ ]),
254
+ regime: { scale: 'classical' },
255
+ assumptions: ['ideal linear polarizer', 'coherent linearly-polarized incident light'],
256
+ references: ['Malus 1809'],
257
+ partnerBridges: [],
258
+ }),
140
259
  ];
141
260
  //# sourceMappingURL=nonmonomial.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"nonmonomial.js","sourceRoot":"","sources":["../../../src/canonical/entries/nonmonomial.ts"],"names":[],"mappings":"AAwBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACtC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACpC,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACrC,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACzC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAClC,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACtC,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACvC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEvC,MAAM,CAAC,MAAM,WAAW,GAAiC;IACvD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,QAAQ,EAAE,EACnD;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;QACxC,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,YAAY,EAAE;QACzD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC3C,EACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,qDAAqD;QACpE,eAAe,EAAE,uBAAuB,EAAE,yDAAyD;QACnG,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC5E,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;gBACvB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,4BAA4B,EAAE,YAAY,CAAC;oBAC/C,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;iBACtB,CAAC;aACH,CAAC;YACF,GAAG,CAAC,iBAAiB,EAAE,QAAQ,CAAC;SACjC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gBAAgB,EAAE,UAAU,EAAE,gCAAgC,CAAC;QAC7E,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE;QAC9C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,IAAI,EAAE;KACpC,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS,EAAE,gCAAgC;QACnD,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB,EAAE,2CAA2C;QAClF,2EAA2E;QAC3E,2EAA2E;QAC3E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;YACpC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,KAAK;gBACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;oBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;oBACxB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC;iBAC5E,CAAC;aACH;SACF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,mBAAmB,EAAE,2BAA2B,CAAC;QAC/D,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,MAAM,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE;QACxC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE;KACvC,EACD;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,qBAAqB;QACpC,eAAe,EAAE,oBAAoB,EAAE,8BAA8B;QACrE,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC,CAAC;YAC7E,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC;SAC7B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,0BAA0B,EAAE,0BAA0B,CAAC;QACrE,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,aAAa,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,WAAW,EAAE;QACxD,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,WAAW,EAAE;KACxD,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,oBAAoB,EAAE,mBAAmB;QAC1D,4DAA4D;QAC5D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;YACvB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,4BAA4B,EAAE,WAAW,CAAC;gBAC9C,GAAG,CAAC,2BAA2B,EAAE,WAAW,CAAC;aAC9C,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,EAAE,qBAAqB,CAAC;QACxD,UAAU,EAAE,CAAC,wDAAwD,CAAC;QACtE,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;QACrC,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC9C,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,cAAc;QAC7B,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,sEAAsE;QACtE,SAAS,EAAE;YACT,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,KAAK;YACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;gBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;oBAC3B,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;iBACjF,CAAC;aACH,CAAC;SACH;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;QAC1D,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CACF;CACF,CAAC"}
1
+ {"version":3,"file":"nonmonomial.js","sourceRoot":"","sources":["../../../src/canonical/entries/nonmonomial.ts"],"names":[],"mappings":"AAwBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACtC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACpC,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACrC,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACzC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAClC,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACtC,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACvC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACvC,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAChC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAClC,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEtC,MAAM,CAAC,MAAM,WAAW,GAAiC;IACvD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,QAAQ,EAAE,EACnD;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;QACxC,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,YAAY,EAAE;QACzD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC3C,EACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,qDAAqD;QACpE,eAAe,EAAE,uBAAuB,EAAE,yDAAyD;QACnG,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC5E,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;gBACvB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,4BAA4B,EAAE,YAAY,CAAC;oBAC/C,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;iBACtB,CAAC;aACH,CAAC;YACF,GAAG,CAAC,iBAAiB,EAAE,QAAQ,CAAC;SACjC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gBAAgB,EAAE,UAAU,EAAE,gCAAgC,CAAC;QAC7E,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE;QAC9C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,IAAI,EAAE;KACpC,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS,EAAE,gCAAgC;QACnD,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB,EAAE,2CAA2C;QAClF,2EAA2E;QAC3E,2EAA2E;QAC3E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;YACpC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,KAAK;gBACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;oBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;oBACxB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC;iBAC5E,CAAC;aACH;SACF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,mBAAmB,EAAE,2BAA2B,CAAC;QAC/D,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,MAAM,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE;QACxC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE;KACvC,EACD;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,qBAAqB;QACpC,eAAe,EAAE,oBAAoB,EAAE,8BAA8B;QACrE,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC,CAAC;YAC7E,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC;SAC7B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,0BAA0B,EAAE,0BAA0B,CAAC;QACrE,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,aAAa,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,WAAW,EAAE;QACxD,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,WAAW,EAAE;KACxD,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,oBAAoB,EAAE,mBAAmB;QAC1D,4DAA4D;QAC5D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;YACvB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,4BAA4B,EAAE,WAAW,CAAC;gBAC9C,GAAG,CAAC,2BAA2B,EAAE,WAAW,CAAC;aAC9C,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,EAAE,qBAAqB,CAAC;QACxD,UAAU,EAAE,CAAC,wDAAwD,CAAC;QACtE,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;QACrC,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC9C,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,cAAc;QAC7B,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,sEAAsE;QACtE,SAAS,EAAE;YACT,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,KAAK;YACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;gBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;oBAC3B,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;iBACjF,CAAC;aACH,CAAC;SACH;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;QAC1D,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE,EAC9C;QACE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;QACnC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC1C,EACD;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,WAAW,EAAE,iDAAiD;QACtE,aAAa,EAAE,uDAAuD;QACtE,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,mEAAmE;QACnE,SAAS,EAAE,GAAG,CACZ,EAAE,CAAC,GAAG,EAAE;YACN,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;YACvB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;gBACnC,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;aAC1C,CAAC;SACH,CAAC,EACF,MAAM,CACP;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,iBAAiB,CAAC;QACtD,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,MAAM,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE;QACxC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,IAAI,EAAE;QACpC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,QAAQ,EAAE;QACzC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE;KACjD,EACD;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,uDAAuD;QACtE,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC;gBAC9B,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,eAAe,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC,CAAC;aACvE,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,kBAAkB,EAAE,aAAa,CAAC,EAAE;aACnF,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,oCAAoC,EAAE,uBAAuB,CAAC;QAC5E,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,+BAA+B,EAAE,GAAG,EAAE,cAAc,EAAE,EAC9D;QACE,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,cAAc,EAAE;QACjD,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;QAC7C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;KAC9C,EACD;QACE,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,8EAA8E;QAC7F,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,kBAAkB,EAAE,cAAc,CAAC;YACvC,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC;gBAC9C,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC;aAC/C,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,oBAAoB,EAAE,wBAAwB,CAAC;QAC7D,UAAU,EAAE,CAAC,4BAA4B,CAAC;QAC1C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,aAAa,EAAE,EAC/C;QACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE;QAC9C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,aAAa,EAAE;QAClD,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,aAAa,EAAE;KACpD,EACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,kBAAkB,EAAE,SAAS;QACrC,aAAa,EAAE,2CAA2C,EAAE,gBAAgB;QAC5E,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qDAAqD;QACrD,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;gBACpC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE;aACrF,CAAC;YACF,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,qBAAqB,EAAE,aAAa,CAAC,EAAE;SACtF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,EAAE,0CAA0C,CAAC;QAC7E,UAAU,EAAE,CAAC,6BAA6B,CAAC;QAC3C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,SAAS,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC9C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,aAAa,EAAE;KACnD,EACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,wBAAwB;QACvC,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qDAAqD;QACrD,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC;YACpC,GAAG,CACD,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE,EACpF,GAAG,CACJ;SACF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,EAAE,4CAA4C,CAAC;QACrF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CACF;CACF,CAAC"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "universal-physics-tensor",
3
- "version": "0.35.0",
3
+ "version": "0.36.0",
4
4
  "description": "Computational framework for exploring unified physics through tensor formalism",
5
5
  "main": "dist/index.js",
6
6
  "types": "dist/index.d.ts",