universal-physics-tensor 0.25.0 → 0.29.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 (68) hide show
  1. package/README.md +12 -5
  2. package/bin/upt.mjs +843 -751
  3. package/dist/bridges/be52-mercury-confrontation.d.ts +72 -0
  4. package/dist/bridges/be52-mercury-confrontation.d.ts.map +1 -0
  5. package/dist/bridges/be52-mercury-confrontation.js +67 -0
  6. package/dist/bridges/be52-mercury-confrontation.js.map +1 -0
  7. package/dist/bridges/confrontation-coverage.d.ts.map +1 -1
  8. package/dist/bridges/confrontation-coverage.js +4 -1
  9. package/dist/bridges/confrontation-coverage.js.map +1 -1
  10. package/dist/canonical/entries/atomic.d.ts +17 -0
  11. package/dist/canonical/entries/atomic.d.ts.map +1 -0
  12. package/dist/canonical/entries/atomic.js +71 -0
  13. package/dist/canonical/entries/atomic.js.map +1 -0
  14. package/dist/canonical/entries/electromagnetism.d.ts +18 -0
  15. package/dist/canonical/entries/electromagnetism.d.ts.map +1 -0
  16. package/dist/canonical/entries/electromagnetism.js +212 -0
  17. package/dist/canonical/entries/electromagnetism.js.map +1 -0
  18. package/dist/canonical/entries/fluids-waves.d.ts +18 -0
  19. package/dist/canonical/entries/fluids-waves.d.ts.map +1 -0
  20. package/dist/canonical/entries/fluids-waves.js +130 -0
  21. package/dist/canonical/entries/fluids-waves.js.map +1 -0
  22. package/dist/canonical/entries/mechanics.d.ts +18 -0
  23. package/dist/canonical/entries/mechanics.d.ts.map +1 -0
  24. package/dist/canonical/entries/mechanics.js +275 -0
  25. package/dist/canonical/entries/mechanics.js.map +1 -0
  26. package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts +18 -0
  27. package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map +1 -0
  28. package/dist/canonical/entries/thermo-nuclear-cosmo.js +56 -0
  29. package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -0
  30. package/dist/canonical/registry.d.ts.map +1 -1
  31. package/dist/canonical/registry.js +10 -0
  32. package/dist/canonical/registry.js.map +1 -1
  33. package/dist/composition/compose.d.ts.map +1 -1
  34. package/dist/composition/compose.js +14 -0
  35. package/dist/composition/compose.js.map +1 -1
  36. package/dist/composition/dimension-adjacency.d.ts +39 -0
  37. package/dist/composition/dimension-adjacency.d.ts.map +1 -0
  38. package/dist/composition/dimension-adjacency.js +44 -0
  39. package/dist/composition/dimension-adjacency.js.map +1 -0
  40. package/dist/composition/graph-viz.d.ts +1 -1
  41. package/dist/composition/graph-viz.d.ts.map +1 -1
  42. package/dist/composition/graph-viz.js +2 -0
  43. package/dist/composition/graph-viz.js.map +1 -1
  44. package/dist/composition/index.d.ts +5 -0
  45. package/dist/composition/index.d.ts.map +1 -1
  46. package/dist/composition/index.js +2 -0
  47. package/dist/composition/index.js.map +1 -1
  48. package/dist/composition/user-equation.d.ts +136 -0
  49. package/dist/composition/user-equation.d.ts.map +1 -0
  50. package/dist/composition/user-equation.js +247 -0
  51. package/dist/composition/user-equation.js.map +1 -0
  52. package/dist/dimensional/dimension-inference.d.ts +37 -0
  53. package/dist/dimensional/dimension-inference.d.ts.map +1 -0
  54. package/dist/dimensional/dimension-inference.js +79 -0
  55. package/dist/dimensional/dimension-inference.js.map +1 -0
  56. package/dist/index.d.ts +10 -0
  57. package/dist/index.d.ts.map +1 -1
  58. package/dist/index.js +12 -0
  59. package/dist/index.js.map +1 -1
  60. package/dist/numerical/formula-dimension.d.ts +16 -1
  61. package/dist/numerical/formula-dimension.d.ts.map +1 -1
  62. package/dist/numerical/formula-dimension.js +116 -84
  63. package/dist/numerical/formula-dimension.js.map +1 -1
  64. package/dist/numerical/formula-registry.d.ts +11 -1
  65. package/dist/numerical/formula-registry.d.ts.map +1 -1
  66. package/dist/numerical/formula-registry.js +12 -0
  67. package/dist/numerical/formula-registry.js.map +1 -1
  68. package/package.json +92 -92
@@ -0,0 +1,130 @@
1
+ import { sym } from '../../bridges/equations/_be-helpers.js';
2
+ import { MASS, VELOCITY, ACCELERATION, FORCE, LENGTH, AREA, FREQUENCY, } from '../../dimensional/types.js';
3
+ import { dim, op, l1 } from './_l1-build.js';
4
+ const PRESSURE = dim(-1, 1, -2); // pascal [M L⁻¹ T⁻²]
5
+ const DENSITY = dim(-3, 1, 0); // [M L⁻³]
6
+ const VOLUME = dim(3, 0, 0); // [L³]
7
+ const VISCOSITY = dim(-1, 1, -1); // dynamic viscosity, Pa·s [M L⁻¹ T⁻¹]
8
+ export const FLUIDS_WAVES = [
9
+ l1({ name: 'pressure', dim: PRESSURE }, [
10
+ { name: 'density', dim: DENSITY },
11
+ { name: 'g', dim: ACCELERATION },
12
+ { name: 'height', dim: LENGTH },
13
+ ], {
14
+ id: 'CE-hydrostatic-pressure',
15
+ name: 'Hydrostatic pressure',
16
+ domain: 'mechanics',
17
+ formula_latex: 'P = \\rho g h',
18
+ epistemicStatus: 'fully-quantitative',
19
+ scalarAst: op('*', [
20
+ sym('density', DENSITY),
21
+ sym('g', ACCELERATION),
22
+ sym('height', LENGTH),
23
+ ]),
24
+ regime: { scale: 'classical', force: 'gravitational' },
25
+ assumptions: ['incompressible fluid', 'uniform gravity'],
26
+ references: ['Pascal 1647'],
27
+ partnerBridges: [],
28
+ }),
29
+ l1({ name: 'pressure', dim: PRESSURE }, [
30
+ { name: 'force', dim: FORCE },
31
+ { name: 'area', dim: AREA },
32
+ ], {
33
+ id: 'CE-pressure-definition',
34
+ name: 'Pressure (force per area)',
35
+ domain: 'mechanics',
36
+ formula_latex: 'P = F / A',
37
+ epistemicStatus: 'fully-quantitative',
38
+ scalarAst: op('/', [sym('force', FORCE), sym('area', AREA)]),
39
+ regime: { scale: 'classical' },
40
+ assumptions: ['force normal to surface'],
41
+ references: ['Standard mechanics'],
42
+ partnerBridges: [],
43
+ }),
44
+ l1({ name: 'density', dim: DENSITY }, [
45
+ { name: 'mass', dim: MASS },
46
+ { name: 'volume', dim: VOLUME },
47
+ ], {
48
+ id: 'CE-density-definition',
49
+ name: 'Mass density',
50
+ domain: 'mechanics',
51
+ formula_latex: '\\rho = m / V',
52
+ epistemicStatus: 'fully-quantitative',
53
+ scalarAst: op('/', [sym('mass', MASS), sym('volume', VOLUME)]),
54
+ regime: { scale: 'classical' },
55
+ assumptions: ['uniform body'],
56
+ references: ['Standard mechanics'],
57
+ partnerBridges: [],
58
+ }),
59
+ l1({ name: 'force', dim: FORCE }, [
60
+ { name: 'density', dim: DENSITY },
61
+ { name: 'volume', dim: VOLUME },
62
+ { name: 'g', dim: ACCELERATION },
63
+ ], {
64
+ id: 'CE-buoyant-force',
65
+ name: "Buoyant force (Archimedes')",
66
+ domain: 'mechanics',
67
+ formula_latex: 'F_b = \\rho V g',
68
+ epistemicStatus: 'fully-quantitative',
69
+ scalarAst: op('*', [
70
+ sym('density', DENSITY),
71
+ sym('volume', VOLUME),
72
+ sym('g', ACCELERATION),
73
+ ]),
74
+ regime: { scale: 'classical', force: 'gravitational' },
75
+ assumptions: ['fully submerged', 'static fluid'],
76
+ references: ['Archimedes, On Floating Bodies'],
77
+ partnerBridges: [],
78
+ }),
79
+ l1({ name: 'force', dim: FORCE }, [
80
+ { name: 'viscosity', dim: VISCOSITY },
81
+ { name: 'radius', dim: LENGTH },
82
+ { name: 'speed', dim: VELOCITY },
83
+ ], {
84
+ id: 'CE-stokes-drag',
85
+ name: "Stokes' drag",
86
+ domain: 'mechanics',
87
+ formula_latex: 'F_d = 6\\pi \\eta r v',
88
+ epistemicStatus: 'scalar-up-to-constant',
89
+ scalarAst: op('*', [
90
+ sym('viscosity', VISCOSITY),
91
+ sym('radius', LENGTH),
92
+ sym('speed', VELOCITY),
93
+ ]),
94
+ regime: { scale: 'classical', force: 'emergent' },
95
+ assumptions: ['low Reynolds number', 'rigid sphere'],
96
+ references: ['Stokes 1851'],
97
+ partnerBridges: [],
98
+ }),
99
+ l1({ name: 'speed', dim: VELOCITY }, [
100
+ { name: 'frequency', dim: FREQUENCY },
101
+ { name: 'wavelength', dim: LENGTH },
102
+ ], {
103
+ id: 'CE-wave-speed',
104
+ name: 'Wave relation (v = fλ)',
105
+ domain: 'mechanics',
106
+ formula_latex: 'v = f \\lambda',
107
+ epistemicStatus: 'fully-quantitative',
108
+ scalarAst: op('*', [sym('frequency', FREQUENCY), sym('wavelength', LENGTH)]),
109
+ regime: { scale: 'classical' },
110
+ assumptions: ['single propagating mode'],
111
+ references: ['Standard wave mechanics'],
112
+ partnerBridges: [],
113
+ }),
114
+ // ── sound speed (√-law: dimensional-only; γ is a dimensionless leading const)
115
+ l1({ name: 'speed', dim: VELOCITY }, [
116
+ { name: 'pressure', dim: PRESSURE },
117
+ { name: 'density', dim: DENSITY },
118
+ ], {
119
+ id: 'CE-sound-speed',
120
+ name: 'Speed of sound in a fluid',
121
+ domain: 'mechanics',
122
+ formula_latex: 'c = \\sqrt{\\gamma P / \\rho}',
123
+ epistemicStatus: 'dimensional',
124
+ regime: { scale: 'classical' },
125
+ assumptions: ['adiabatic', 'ideal fluid (γ dimensionless)'],
126
+ references: ['Newton–Laplace'],
127
+ partnerBridges: [],
128
+ }),
129
+ ];
130
+ //# sourceMappingURL=fluids-waves.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"fluids-waves.js","sourceRoot":"","sources":["../../../src/canonical/entries/fluids-waves.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,IAAI,EACJ,SAAS,GACV,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAE7C,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB;AACtD,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU;AACzC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO;AACpC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,sCAAsC;AAExE,MAAM,CAAC,MAAM,YAAY,GAAiC;IACxD,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACtC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE;QAChC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;YACvB,GAAG,CAAC,GAAG,EAAE,YAAY,CAAC;YACtB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;SACtB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,sBAAsB,EAAE,iBAAiB,CAAC;QACxD,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACtC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5D,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,oBAAoB,CAAC;QAClC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QACpC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;QAC9D,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,cAAc,CAAC;QAC7B,UAAU,EAAE,CAAC,oBAAoB,CAAC;QAClC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE;KACjC,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;YACvB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;YACrB,GAAG,CAAC,GAAG,EAAE,YAAY,CAAC;SACvB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,iBAAiB,EAAE,cAAc,CAAC;QAChD,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,SAAS,EAAE;QACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE;KACjC,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,uBAAuB;QACtC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,WAAW,EAAE,SAAS,CAAC;YAC3B,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;YACrB,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC;SACvB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,qBAAqB,EAAE,cAAc,CAAC;QACpD,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACnC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,SAAS,EAAE;QACrC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE;KACpC,EAAE;QACD,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,gBAAgB;QAC/B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;QAC5E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,+EAA+E;IAC/E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACnC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;QACnC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,WAAW,EAAE,+BAA+B,CAAC;QAC3D,UAAU,EAAE,CAAC,gBAAgB,CAAC;QAC9B,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
@@ -0,0 +1,18 @@
1
+ /**
2
+ * L1 (scalar-AST) canonical entries — classical mechanics. The foundational
3
+ * laws (Newton's 2nd, mass–energy, momentum) plus the standard textbook
4
+ * monomial mechanics laws (kinetic/potential energy, work, power, torque,
5
+ * angular momentum, Hooke's law, impulse, SHM). Each is a unique dimensional
6
+ * monomial (0 free groups); L0 fields are engine-derived (see `_l1-build`).
7
+ *
8
+ * Scope: generic, purely dimensional MONOMIAL laws (the "only laws that
9
+ * genuinely fit the dimensional L-layer" bar — Adam+Eve adversarial pass,
10
+ * 2026-06-20). Numeric prefactors (½) are recorded via `scalar-up-to-constant`;
11
+ * √-laws (SHM) are `dimensional` with engine-derived fractional monomials, like
12
+ * the pendulum. See docs/research/bridges-vs-canonical-map.md.
13
+ *
14
+ * @module canonical/entries/mechanics
15
+ */
16
+ import type { CanonicalEquation } from '../canonical-equation.js';
17
+ export declare const MECHANICS: readonly CanonicalEquation[];
18
+ //# sourceMappingURL=mechanics.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mechanics.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/mechanics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAsBlE,eAAO,MAAM,SAAS,EAAE,SAAS,iBAAiB,EAwQjD,CAAC"}
@@ -0,0 +1,275 @@
1
+ import { sym } from '../../bridges/equations/_be-helpers.js';
2
+ import { MASS, VELOCITY, ENERGY, FORCE, ACCELERATION, LENGTH, TIME, POWER, FREQUENCY, } from '../../dimensional/types.js';
3
+ import { dim, op, pow, l1 } from './_l1-build.js';
4
+ const MOMENTUM = dim(1, 1, -1); // [L M T⁻¹]
5
+ const TORQUE = dim(2, 1, -2); // [L² M T⁻²]
6
+ const ANGULAR_MOMENTUM = dim(2, 1, -1); // [L² M T⁻¹]
7
+ const MOMENT_OF_INERTIA = dim(2, 1, 0); // [L² M]
8
+ const SPRING_CONSTANT = dim(0, 1, -2); // [M T⁻²]
9
+ const G_DIM = dim(3, -1, -2); // Newton's constant [L³ M⁻¹ T⁻²]
10
+ export const MECHANICS = [
11
+ // ── foundational ──────────────────────────────────────────────────────────
12
+ l1({ name: 'force', dim: FORCE }, [
13
+ { name: 'mass', dim: MASS },
14
+ { name: 'acceleration', dim: ACCELERATION },
15
+ ], {
16
+ id: 'CE-newton-second-law',
17
+ name: "Newton's second law",
18
+ domain: 'mechanics',
19
+ formula_latex: 'F = m a',
20
+ epistemicStatus: 'fully-quantitative',
21
+ scalarAst: op('*', [sym('mass', MASS), sym('acceleration', ACCELERATION)]),
22
+ regime: { scale: 'classical' },
23
+ assumptions: ['inertial frame', 'constant mass'],
24
+ references: ['Newton, Principia 1687'],
25
+ partnerBridges: [],
26
+ }),
27
+ l1({ name: 'rest-energy', dim: ENERGY }, [
28
+ { name: 'mass', dim: MASS },
29
+ { name: 'c', dim: VELOCITY },
30
+ ], {
31
+ id: 'CE-mass-energy',
32
+ name: 'Mass–energy equivalence',
33
+ domain: 'mechanics',
34
+ formula_latex: 'E = m c^2',
35
+ epistemicStatus: 'fully-quantitative',
36
+ scalarAst: op('*', [sym('mass', MASS), pow(sym('c', VELOCITY), '2')]),
37
+ regime: { scale: 'classical' },
38
+ assumptions: ['rest energy of a massive body'],
39
+ references: ['Einstein 1905, Ann. Phys. 18:639'],
40
+ partnerBridges: [],
41
+ }),
42
+ l1({ name: 'p', dim: MOMENTUM }, [
43
+ { name: 'mass', dim: MASS },
44
+ { name: 'velocity', dim: VELOCITY },
45
+ ], {
46
+ id: 'CE-momentum',
47
+ name: 'Momentum (non-relativistic)',
48
+ domain: 'mechanics',
49
+ formula_latex: 'p = m v',
50
+ epistemicStatus: 'fully-quantitative',
51
+ scalarAst: op('*', [sym('mass', MASS), sym('velocity', VELOCITY)]),
52
+ regime: { scale: 'classical' },
53
+ assumptions: ['non-relativistic (v ≪ c)'],
54
+ references: ['Newton, Principia 1687'],
55
+ partnerBridges: [],
56
+ }),
57
+ // ── energy ────────────────────────────────────────────────────────────────
58
+ l1({ name: 'kinetic-energy', dim: ENERGY }, [
59
+ { name: 'mass', dim: MASS },
60
+ { name: 'speed', dim: VELOCITY },
61
+ ], {
62
+ id: 'CE-kinetic-energy',
63
+ name: 'Kinetic energy',
64
+ domain: 'mechanics',
65
+ formula_latex: 'K = \\tfrac{1}{2} m v^2',
66
+ epistemicStatus: 'scalar-up-to-constant',
67
+ scalarAst: op('*', [sym('mass', MASS), pow(sym('speed', VELOCITY), '2')]),
68
+ regime: { scale: 'classical' },
69
+ assumptions: ['non-relativistic'],
70
+ references: ['Taylor, Classical Mechanics §1'],
71
+ partnerBridges: [],
72
+ }),
73
+ l1({ name: 'rotational-kinetic-energy', dim: ENERGY }, [
74
+ { name: 'moment-of-inertia', dim: MOMENT_OF_INERTIA },
75
+ { name: 'angular-velocity', dim: FREQUENCY },
76
+ ], {
77
+ id: 'CE-rotational-kinetic-energy',
78
+ name: 'Rotational kinetic energy',
79
+ domain: 'mechanics',
80
+ formula_latex: 'K = \\tfrac{1}{2} I \\omega^2',
81
+ epistemicStatus: 'scalar-up-to-constant',
82
+ scalarAst: op('*', [
83
+ sym('moment-of-inertia', MOMENT_OF_INERTIA),
84
+ pow(sym('angular-velocity', FREQUENCY), '2'),
85
+ ]),
86
+ regime: { scale: 'classical' },
87
+ assumptions: ['rigid body'],
88
+ references: ['Taylor, Classical Mechanics §10'],
89
+ partnerBridges: [],
90
+ }),
91
+ l1({ name: 'gravitational-potential-energy', dim: ENERGY }, [
92
+ { name: 'G', dim: G_DIM },
93
+ { name: 'mass', dim: MASS },
94
+ { name: 'secondary-mass', dim: MASS },
95
+ { name: 'r', dim: LENGTH },
96
+ ], {
97
+ id: 'CE-gravitational-potential-energy',
98
+ name: 'Gravitational potential energy',
99
+ domain: 'mechanics',
100
+ formula_latex: 'U = -G m_1 m_2 / r',
101
+ epistemicStatus: 'scalar-up-to-constant',
102
+ scalarAst: op('/', [
103
+ op('*', [sym('G', G_DIM), sym('mass', MASS), sym('secondary-mass', MASS)]),
104
+ sym('r', LENGTH),
105
+ ]),
106
+ regime: { scale: 'classical', force: 'gravitational' },
107
+ assumptions: ['two point masses', 'zero reference at infinity'],
108
+ references: ['Newton, Principia 1687'],
109
+ partnerBridges: [],
110
+ }),
111
+ l1({ name: 'work', dim: ENERGY }, [
112
+ { name: 'force', dim: FORCE },
113
+ { name: 'distance', dim: LENGTH },
114
+ ], {
115
+ id: 'CE-work',
116
+ name: 'Work (constant force)',
117
+ domain: 'mechanics',
118
+ formula_latex: 'W = F d',
119
+ epistemicStatus: 'fully-quantitative',
120
+ scalarAst: op('*', [sym('force', FORCE), sym('distance', LENGTH)]),
121
+ regime: { scale: 'classical' },
122
+ assumptions: ['constant force along displacement'],
123
+ references: ['Taylor, Classical Mechanics §4'],
124
+ partnerBridges: [],
125
+ }),
126
+ l1({ name: 'spring-potential-energy', dim: ENERGY }, [
127
+ { name: 'spring-constant', dim: SPRING_CONSTANT },
128
+ { name: 'displacement', dim: LENGTH },
129
+ ], {
130
+ id: 'CE-spring-potential-energy',
131
+ name: 'Elastic potential energy',
132
+ domain: 'mechanics',
133
+ formula_latex: 'U = \\tfrac{1}{2} k x^2',
134
+ epistemicStatus: 'scalar-up-to-constant',
135
+ scalarAst: op('*', [
136
+ sym('spring-constant', SPRING_CONSTANT),
137
+ pow(sym('displacement', LENGTH), '2'),
138
+ ]),
139
+ regime: { scale: 'classical', force: 'emergent' },
140
+ assumptions: ['Hookean (linear) spring'],
141
+ references: ['Taylor, Classical Mechanics §5'],
142
+ partnerBridges: [],
143
+ }),
144
+ // ── power ─────────────────────────────────────────────────────────────────
145
+ l1({ name: 'power', dim: POWER }, [
146
+ { name: 'force', dim: FORCE },
147
+ { name: 'velocity', dim: VELOCITY },
148
+ ], {
149
+ id: 'CE-power',
150
+ name: 'Mechanical power',
151
+ domain: 'mechanics',
152
+ formula_latex: 'P = F v',
153
+ epistemicStatus: 'fully-quantitative',
154
+ scalarAst: op('*', [sym('force', FORCE), sym('velocity', VELOCITY)]),
155
+ regime: { scale: 'classical' },
156
+ assumptions: ['force along velocity'],
157
+ references: ['Taylor, Classical Mechanics §4'],
158
+ partnerBridges: [],
159
+ }),
160
+ // ── force ─────────────────────────────────────────────────────────────────
161
+ l1({ name: 'force', dim: FORCE }, [
162
+ { name: 'mass', dim: MASS },
163
+ { name: 'speed', dim: VELOCITY },
164
+ { name: 'radius', dim: LENGTH },
165
+ ], {
166
+ id: 'CE-centripetal-force',
167
+ name: 'Centripetal force',
168
+ domain: 'mechanics',
169
+ formula_latex: 'F = m v^2 / r',
170
+ epistemicStatus: 'fully-quantitative',
171
+ scalarAst: op('/', [
172
+ op('*', [sym('mass', MASS), pow(sym('speed', VELOCITY), '2')]),
173
+ sym('radius', LENGTH),
174
+ ]),
175
+ regime: { scale: 'classical' },
176
+ assumptions: ['uniform circular motion'],
177
+ references: ['Taylor, Classical Mechanics §1'],
178
+ partnerBridges: [],
179
+ }),
180
+ l1({ name: 'force', dim: FORCE }, [
181
+ { name: 'spring-constant', dim: SPRING_CONSTANT },
182
+ { name: 'displacement', dim: LENGTH },
183
+ ], {
184
+ id: 'CE-hooke-law',
185
+ name: "Hooke's law",
186
+ domain: 'mechanics',
187
+ formula_latex: 'F = -k x',
188
+ epistemicStatus: 'scalar-up-to-constant',
189
+ scalarAst: op('*', [
190
+ sym('spring-constant', SPRING_CONSTANT),
191
+ sym('displacement', LENGTH),
192
+ ]),
193
+ regime: { scale: 'classical', force: 'emergent' },
194
+ assumptions: ['linear elastic regime'],
195
+ references: ['Hooke 1678'],
196
+ partnerBridges: [],
197
+ }),
198
+ // ── rotational + impulse ────────────────────────────────────────────────────
199
+ l1({ name: 'torque', dim: TORQUE }, [
200
+ { name: 'radius', dim: LENGTH },
201
+ { name: 'force', dim: FORCE },
202
+ ], {
203
+ id: 'CE-torque',
204
+ name: 'Torque (perpendicular force)',
205
+ domain: 'mechanics',
206
+ formula_latex: '\\tau = r F',
207
+ epistemicStatus: 'fully-quantitative',
208
+ scalarAst: op('*', [sym('radius', LENGTH), sym('force', FORCE)]),
209
+ regime: { scale: 'classical' },
210
+ assumptions: ['force perpendicular to lever arm'],
211
+ references: ['Taylor, Classical Mechanics §10'],
212
+ partnerBridges: [],
213
+ }),
214
+ l1({ name: 'angular-momentum', dim: ANGULAR_MOMENTUM }, [
215
+ { name: 'radius', dim: LENGTH },
216
+ { name: 'p', dim: MOMENTUM },
217
+ ], {
218
+ id: 'CE-angular-momentum',
219
+ name: 'Angular momentum (point particle)',
220
+ domain: 'mechanics',
221
+ formula_latex: 'L = r p',
222
+ epistemicStatus: 'fully-quantitative',
223
+ scalarAst: op('*', [sym('radius', LENGTH), sym('p', MOMENTUM)]),
224
+ regime: { scale: 'classical' },
225
+ assumptions: ['momentum perpendicular to radius'],
226
+ references: ['Taylor, Classical Mechanics §3'],
227
+ partnerBridges: [],
228
+ }),
229
+ l1({ name: 'moment-of-inertia', dim: MOMENT_OF_INERTIA }, [
230
+ { name: 'mass', dim: MASS },
231
+ { name: 'radius', dim: LENGTH },
232
+ ], {
233
+ id: 'CE-moment-of-inertia',
234
+ name: 'Moment of inertia (point mass)',
235
+ domain: 'mechanics',
236
+ formula_latex: 'I = m r^2',
237
+ epistemicStatus: 'fully-quantitative',
238
+ scalarAst: op('*', [sym('mass', MASS), pow(sym('radius', LENGTH), '2')]),
239
+ regime: { scale: 'classical' },
240
+ assumptions: ['point mass at radius r'],
241
+ references: ['Taylor, Classical Mechanics §10'],
242
+ partnerBridges: [],
243
+ }),
244
+ l1({ name: 'p', dim: MOMENTUM }, [
245
+ { name: 'force', dim: FORCE },
246
+ { name: 'time', dim: TIME },
247
+ ], {
248
+ id: 'CE-impulse',
249
+ name: 'Impulse (constant force)',
250
+ domain: 'mechanics',
251
+ formula_latex: 'J = F t',
252
+ epistemicStatus: 'fully-quantitative',
253
+ scalarAst: op('*', [sym('force', FORCE), sym('time', TIME)]),
254
+ regime: { scale: 'classical' },
255
+ assumptions: ['constant force over interval t'],
256
+ references: ['Taylor, Classical Mechanics §1'],
257
+ partnerBridges: [],
258
+ }),
259
+ // ── oscillations (√-law: dimensional-only, engine-derived fractional monomial)
260
+ l1({ name: 'angular-velocity', dim: FREQUENCY }, [
261
+ { name: 'spring-constant', dim: SPRING_CONSTANT },
262
+ { name: 'mass', dim: MASS },
263
+ ], {
264
+ id: 'CE-simple-harmonic-frequency',
265
+ name: 'Simple-harmonic angular frequency',
266
+ domain: 'mechanics',
267
+ formula_latex: '\\omega = \\sqrt{k/m}',
268
+ epistemicStatus: 'dimensional',
269
+ regime: { scale: 'classical', force: 'emergent' },
270
+ assumptions: ['ideal mass–spring oscillator'],
271
+ references: ['Taylor, Classical Mechanics §5'],
272
+ partnerBridges: [],
273
+ }),
274
+ ];
275
+ //# sourceMappingURL=mechanics.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mechanics.js","sourceRoot":"","sources":["../../../src/canonical/entries/mechanics.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,KAAK,EACL,YAAY,EACZ,MAAM,EACN,IAAI,EACJ,KAAK,EACL,SAAS,GACV,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY;AAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa;AAC3C,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa;AACrD,MAAM,iBAAiB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;AACjD,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU;AACjD,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,iCAAiC;AAE/D,MAAM,CAAC,MAAM,SAAS,GAAiC;IACrD,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,YAAY,EAAE;KAC5C,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC;QAC1E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gBAAgB,EAAE,eAAe,CAAC;QAChD,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACrE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,+BAA+B,CAAC;QAC9C,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC/B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;KACpC,EAAE;QACD,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,0BAA0B,CAAC;QACzC,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE;KACjC,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACzE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,CAAC;QACjC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACrD,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE;QACrD,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE;KAC7C,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;YAC3C,GAAG,CAAC,GAAG,CAAC,kBAAkB,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC;SAC7C,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,YAAY,CAAC;QAC3B,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gCAAgC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1D,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;QACzB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE;QACrC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,mCAAmC;QACvC,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,oBAAoB;QACnC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC,CAAC;YAC1E,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;SACjB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,kBAAkB,EAAE,4BAA4B,CAAC;QAC/D,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;QAClE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,mCAAmC,CAAC;QAClD,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACnD,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;KACtC,EAAE;QACD,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;SACtC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;KACpC,EAAE;QACD,EAAE,EAAE,UAAU;QACd,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QACpE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,sBAAsB,CAAC;QACrC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE;QAChC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC9D,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;SACtB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;KACtC,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,UAAU;QACzB,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;SAC5B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,uBAAuB,CAAC;QACtC,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,+EAA+E;IAC/E,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;KAC9B,EAAE;QACD,EAAE,EAAE,WAAW;QACf,IAAI,EAAE,8BAA8B;QACpC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,aAAa;QAC5B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;QAChE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kCAAkC,CAAC;QACjD,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,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,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/D,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kCAAkC,CAAC;QACjD,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE,EAAE;QACxD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACxE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,CAAC;QACvC,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5D,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,gFAAgF;IAChF,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,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,uBAAuB;QACtC,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,8BAA8B,CAAC;QAC7C,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
@@ -0,0 +1,18 @@
1
+ /**
2
+ * L1 (scalar-AST) canonical entries — assorted thermodynamic, nuclear, and
3
+ * cosmological monomial laws the registry lacked: sensible heat capacity,
4
+ * radioactive half-life, and the Hubble distance. L0 fields are engine-derived
5
+ * (see `_l1-build`).
6
+ *
7
+ * Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,
8
+ * 2026-06-20). `domain` is the nearest `CanonicalDomain` arm (the enum has no
9
+ * `nuclear`; radioactive decay → `quantum`). Skipped as degenerate:
10
+ * radioactive-activity `A=λN` (N dimensionless ⇒ activity ≡ decay-constant) and
11
+ * the Chandrasekhar mass (the (ℏc/G)/m_p² group is dimensionless ⇒
12
+ * underdetermined). See docs/research/bridges-vs-canonical-map.md.
13
+ *
14
+ * @module canonical/entries/thermo-nuclear-cosmo
15
+ */
16
+ import type { CanonicalEquation } from '../canonical-equation.js';
17
+ export declare const THERMO_NUCLEAR_COSMO: readonly CanonicalEquation[];
18
+ //# sourceMappingURL=thermo-nuclear-cosmo.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"thermo-nuclear-cosmo.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/thermo-nuclear-cosmo.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAelE,eAAO,MAAM,oBAAoB,EAAE,SAAS,iBAAiB,EAkD5D,CAAC"}
@@ -0,0 +1,56 @@
1
+ import { sym } from '../../bridges/equations/_be-helpers.js';
2
+ import { MASS, VELOCITY, ENERGY, LENGTH, TIME, FREQUENCY, TEMPERATURE, } from '../../dimensional/types.js';
3
+ import { dim, op, pow, l1 } from './_l1-build.js';
4
+ const SPECIFIC_HEAT = dim(2, 0, -2, 0, -1); // [L² T⁻² Θ⁻¹] (J·kg⁻¹·K⁻¹)
5
+ export const THERMO_NUCLEAR_COSMO = [
6
+ l1({ name: 'heat-energy', dim: ENERGY }, [
7
+ { name: 'mass', dim: MASS },
8
+ { name: 'specific-heat', dim: SPECIFIC_HEAT },
9
+ { name: 'temperature-change', dim: TEMPERATURE },
10
+ ], {
11
+ id: 'CE-heat-capacity',
12
+ name: 'Sensible heat (heat capacity)',
13
+ domain: 'thermodynamics',
14
+ formula_latex: 'Q = m c \\Delta T',
15
+ epistemicStatus: 'fully-quantitative',
16
+ scalarAst: op('*', [
17
+ sym('mass', MASS),
18
+ sym('specific-heat', SPECIFIC_HEAT),
19
+ sym('temperature-change', TEMPERATURE),
20
+ ]),
21
+ regime: { scale: 'classical' },
22
+ assumptions: ['no phase change', 'constant specific heat'],
23
+ references: ['Standard thermodynamics'],
24
+ partnerBridges: [],
25
+ }),
26
+ l1({ name: 'half-life', dim: TIME }, [
27
+ { name: 'decay-constant', dim: FREQUENCY },
28
+ ], {
29
+ id: 'CE-half-life',
30
+ name: 'Radioactive half-life',
31
+ domain: 'quantum',
32
+ formula_latex: 't_{1/2} = \\ln 2 / \\lambda',
33
+ epistemicStatus: 'scalar-up-to-constant',
34
+ scalarAst: pow(sym('decay-constant', FREQUENCY), '-1'),
35
+ regime: { scale: 'quantum' },
36
+ assumptions: ['first-order (exponential) decay'],
37
+ references: ['Rutherford–Soddy 1902'],
38
+ partnerBridges: [],
39
+ }),
40
+ l1({ name: 'hubble-distance', dim: LENGTH }, [
41
+ { name: 'c', dim: VELOCITY },
42
+ { name: 'hubble-rate', dim: FREQUENCY },
43
+ ], {
44
+ id: 'CE-hubble-distance',
45
+ name: 'Hubble distance',
46
+ domain: 'cosmology',
47
+ formula_latex: 'D_H = c / H_0',
48
+ epistemicStatus: 'fully-quantitative',
49
+ scalarAst: op('/', [sym('c', VELOCITY), sym('hubble-rate', FREQUENCY)]),
50
+ regime: { scale: 'cosmological' },
51
+ assumptions: ['present-epoch Hubble parameter'],
52
+ references: ['Hubble 1929'],
53
+ partnerBridges: [],
54
+ }),
55
+ ];
56
+ //# sourceMappingURL=thermo-nuclear-cosmo.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"thermo-nuclear-cosmo.js","sourceRoot":"","sources":["../../../src/canonical/entries/thermo-nuclear-cosmo.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,IAAI,EACJ,SAAS,EACT,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,aAAa,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,4BAA4B;AAExE,MAAM,CAAC,MAAM,oBAAoB,GAAiC;IAChE,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;QAC7C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,WAAW,EAAE;KACjD,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,mBAAmB;QAClC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;YACjB,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC;YACnC,GAAG,CAAC,oBAAoB,EAAE,WAAW,CAAC;SACvC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;QAC1D,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE;QACnC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,SAAS,EAAE;KAC3C,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,SAAS,CAAC,EAAE,IAAI,CAAC;QACtD,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,iCAAiC,CAAC;QAChD,UAAU,EAAE,CAAC,uBAAuB,CAAC;QACrC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,SAAS,EAAE;KACxC,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;QACvE,MAAM,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;QACjC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/canonical/registry.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAOlF,gDAAgD;AAChD,eAAO,MAAM,mBAAmB,EAAE,SAAS,iBAAiB,EAK3D,CAAC;AAEF,kBAAkB;AAClB,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CACT,CAAC;AAEhE,8CAA8C;AAC9C,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAEvE;AAED,+BAA+B;AAC/B,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,eAAe,GACtB,SAAS,iBAAiB,EAAE,CAE9B;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,GACX,SAAS,iBAAiB,EAAE,CAE9B;AAED;4DAC4D;AAC5D,wBAAgB,kBAAkB,IAAI,GAAG,CAAC,MAAM,CAAC,CAOhD;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,IAAI,MAAM,EAAE,CAKzD"}
1
+ {"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/canonical/registry.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAYlF,gDAAgD;AAChD,eAAO,MAAM,mBAAmB,EAAE,SAAS,iBAAiB,EAU3D,CAAC;AAEF,kBAAkB;AAClB,eAAO,MAAM,eAAe,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CACT,CAAC;AAEhE,8CAA8C;AAC9C,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAEvE;AAED,+BAA+B;AAC/B,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,eAAe,GACtB,SAAS,iBAAiB,EAAE,CAE9B;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,GACX,SAAS,iBAAiB,EAAE,CAE9B;AAED;4DAC4D;AAC5D,wBAAgB,kBAAkB,IAAI,GAAG,CAAC,MAAM,CAAC,CAOhD;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,IAAI,MAAM,EAAE,CAKzD"}
@@ -3,12 +3,22 @@ import { DIMENSIONAL_CLASSICS } from './entries/dimensional-classics.js';
3
3
  import { L1_GRAVITY_THERMO } from './entries/l1-gravity-thermo.js';
4
4
  import { L1_QUANTUM_EM } from './entries/l1-quantum-em.js';
5
5
  import { RELATIVITY } from './entries/relativity.js';
6
+ import { MECHANICS } from './entries/mechanics.js';
7
+ import { ELECTROMAGNETISM } from './entries/electromagnetism.js';
8
+ import { FLUIDS_WAVES } from './entries/fluids-waves.js';
9
+ import { THERMO_NUCLEAR_COSMO } from './entries/thermo-nuclear-cosmo.js';
10
+ import { ATOMIC } from './entries/atomic.js';
6
11
  /** Every canonical equation in the registry. */
7
12
  export const CANONICAL_EQUATIONS = [
8
13
  ...DIMENSIONAL_CLASSICS,
9
14
  ...L1_GRAVITY_THERMO,
10
15
  ...L1_QUANTUM_EM,
11
16
  ...RELATIVITY,
17
+ ...MECHANICS,
18
+ ...ELECTROMAGNETISM,
19
+ ...FLUIDS_WAVES,
20
+ ...THERMO_NUCLEAR_COSMO,
21
+ ...ATOMIC,
12
22
  ];
13
23
  /** Id → entry. */
14
24
  export const CANONICAL_BY_ID = Object.fromEntries(CANONICAL_EQUATIONS.map((e) => [e.id, e]));
@@ -1 +1 @@
1
- {"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/canonical/registry.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAErD,gDAAgD;AAChD,MAAM,CAAC,MAAM,mBAAmB,GAAiC;IAC/D,GAAG,oBAAoB;IACvB,GAAG,iBAAiB;IACpB,GAAG,aAAa;IAChB,GAAG,UAAU;CACd,CAAC;AAEF,kBAAkB;AAClB,MAAM,CAAC,MAAM,eAAe,GAC1B,MAAM,CAAC,WAAW,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAEhE,8CAA8C;AAC9C,MAAM,UAAU,aAAa,CAAC,EAAU;IACtC,OAAO,eAAe,CAAC,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,+BAA+B;AAC/B,MAAM,UAAU,iBAAiB,CAC/B,MAAuB;IAEvB,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AAChE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAY;IAEZ,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED;4DAC4D;AAC5D,MAAM,UAAU,kBAAkB;IAChC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,mBAAmB,EAAE,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,cAAc;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,CAAC,CAAC,cAAc;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B;IAC5C,MAAM,SAAS,GAAG,kBAAkB,EAAE,CAAC;IACvC,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SAC7C,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;SAClC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC"}
1
+ {"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/canonical/registry.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAE7C,gDAAgD;AAChD,MAAM,CAAC,MAAM,mBAAmB,GAAiC;IAC/D,GAAG,oBAAoB;IACvB,GAAG,iBAAiB;IACpB,GAAG,aAAa;IAChB,GAAG,UAAU;IACb,GAAG,SAAS;IACZ,GAAG,gBAAgB;IACnB,GAAG,YAAY;IACf,GAAG,oBAAoB;IACvB,GAAG,MAAM;CACV,CAAC;AAEF,kBAAkB;AAClB,MAAM,CAAC,MAAM,eAAe,GAC1B,MAAM,CAAC,WAAW,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAEhE,8CAA8C;AAC9C,MAAM,UAAU,aAAa,CAAC,EAAU;IACtC,OAAO,eAAe,CAAC,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,+BAA+B;AAC/B,MAAM,UAAU,iBAAiB,CAC/B,MAAuB;IAEvB,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AAChE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAY;IAEZ,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED;4DAC4D;AAC5D,MAAM,UAAU,kBAAkB;IAChC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,mBAAmB,EAAE,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,cAAc;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,CAAC,CAAC,cAAc;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B;IAC5C,MAAM,SAAS,GAAG,kBAAkB,EAAE,CAAC;IACvC,OAAO,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SAC7C,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;SAClC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"compose.d.ts","sourceRoot":"","sources":["../../src/composition/compose.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAS5D;;;;;;GAMG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;GAKG;AACH,eAAO,MAAM,wBAAwB,EAAE,SAAS,sBAAsB,EA2BrE,CAAC;AAGF;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG;QAAE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAC9C,MAAM,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAC,CAe5C,CAAC;AAQF;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,cAAc,EACjB,CAAC,EAAE,cAAc,GAChB,cAAc,CAEhB;AAED,gDAAgD;AAChD,MAAM,WAAW,cAAc;IAC7B,kEAAkE;IAClE,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAChD;AA4BD;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,UAAU,EAClB,IAAI,GAAE,cAAmB,GACxB,UAAU,CA6IZ"}
1
+ {"version":3,"file":"compose.d.ts","sourceRoot":"","sources":["../../src/composition/compose.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAS5D;;;;;;GAMG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;GAKG;AACH,eAAO,MAAM,wBAAwB,EAAE,SAAS,sBAAsB,EA0CrE,CAAC;AAGF;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG;QAAE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAC9C,MAAM,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAC,CAe5C,CAAC;AAQF;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,cAAc,EACjB,CAAC,EAAE,cAAc,GAChB,cAAc,CAEhB;AAED,gDAAgD;AAChD,MAAM,WAAW,cAAc;IAC7B,kEAAkE;IAClE,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAChD;AA4BD;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,UAAU,EAClB,IAAI,GAAE,cAAmB,GACxB,UAAU,CA6IZ"}
@@ -62,6 +62,20 @@ export const QUANTITY_IDENTIFICATIONS = [
62
62
  'momentum the single-mass anchor does not supply.',
63
63
  citation: 'de Broglie 1924; Compton 1923 Phys. Rev. 21:483',
64
64
  },
65
+ {
66
+ from: 'thermal-de-broglie-wavelength',
67
+ to: 'thermal-wavelength',
68
+ rationale: 'The catalog names the thermal de Broglie wavelength ' +
69
+ 'λ_T = √(2πℏ²/(m k_B T)) `thermal-de-broglie-wavelength` (BE-11 Zurek ' +
70
+ 'decoherence, BE-12 Caldeira–Leggett coherence length), while the ' +
71
+ 'canonical L-layer law `CE-thermal-de-broglie` names the SAME physical ' +
72
+ 'quantity `thermal-wavelength`. They are one node. Folded ONTO the ' +
73
+ 'canonical `thermal-wavelength` (anchor-determinable: √(2πℏ²/(m k_B T)) ' +
74
+ 'from a mass + temperature), reconnecting BE-11 — an ESTABLISHED bridge — ' +
75
+ 'to standard physics (surfaced by the bridges-vs-canonical map; the link ' +
76
+ 'was hidden purely by the name divergence).',
77
+ citation: 'de Broglie 1924; standard statistical mechanics (λ_T)',
78
+ },
65
79
  ];
66
80
  /**
67
81
  * Registered alias dispositions, keyed by composed id