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.
- package/README.md +12 -5
- package/bin/upt.mjs +843 -751
- package/dist/bridges/be52-mercury-confrontation.d.ts +72 -0
- package/dist/bridges/be52-mercury-confrontation.d.ts.map +1 -0
- package/dist/bridges/be52-mercury-confrontation.js +67 -0
- package/dist/bridges/be52-mercury-confrontation.js.map +1 -0
- package/dist/bridges/confrontation-coverage.d.ts.map +1 -1
- package/dist/bridges/confrontation-coverage.js +4 -1
- package/dist/bridges/confrontation-coverage.js.map +1 -1
- package/dist/canonical/entries/atomic.d.ts +17 -0
- package/dist/canonical/entries/atomic.d.ts.map +1 -0
- package/dist/canonical/entries/atomic.js +71 -0
- package/dist/canonical/entries/atomic.js.map +1 -0
- package/dist/canonical/entries/electromagnetism.d.ts +18 -0
- package/dist/canonical/entries/electromagnetism.d.ts.map +1 -0
- package/dist/canonical/entries/electromagnetism.js +212 -0
- package/dist/canonical/entries/electromagnetism.js.map +1 -0
- package/dist/canonical/entries/fluids-waves.d.ts +18 -0
- package/dist/canonical/entries/fluids-waves.d.ts.map +1 -0
- package/dist/canonical/entries/fluids-waves.js +130 -0
- package/dist/canonical/entries/fluids-waves.js.map +1 -0
- package/dist/canonical/entries/mechanics.d.ts +18 -0
- package/dist/canonical/entries/mechanics.d.ts.map +1 -0
- package/dist/canonical/entries/mechanics.js +275 -0
- package/dist/canonical/entries/mechanics.js.map +1 -0
- package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts +18 -0
- package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map +1 -0
- package/dist/canonical/entries/thermo-nuclear-cosmo.js +56 -0
- package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -0
- package/dist/canonical/registry.d.ts.map +1 -1
- package/dist/canonical/registry.js +10 -0
- package/dist/canonical/registry.js.map +1 -1
- package/dist/composition/compose.d.ts.map +1 -1
- package/dist/composition/compose.js +14 -0
- package/dist/composition/compose.js.map +1 -1
- package/dist/composition/dimension-adjacency.d.ts +39 -0
- package/dist/composition/dimension-adjacency.d.ts.map +1 -0
- package/dist/composition/dimension-adjacency.js +44 -0
- package/dist/composition/dimension-adjacency.js.map +1 -0
- package/dist/composition/graph-viz.d.ts +1 -1
- package/dist/composition/graph-viz.d.ts.map +1 -1
- package/dist/composition/graph-viz.js +2 -0
- package/dist/composition/graph-viz.js.map +1 -1
- package/dist/composition/index.d.ts +5 -0
- package/dist/composition/index.d.ts.map +1 -1
- package/dist/composition/index.js +2 -0
- package/dist/composition/index.js.map +1 -1
- package/dist/composition/user-equation.d.ts +136 -0
- package/dist/composition/user-equation.d.ts.map +1 -0
- package/dist/composition/user-equation.js +247 -0
- package/dist/composition/user-equation.js.map +1 -0
- package/dist/dimensional/dimension-inference.d.ts +37 -0
- package/dist/dimensional/dimension-inference.d.ts.map +1 -0
- package/dist/dimensional/dimension-inference.js +79 -0
- package/dist/dimensional/dimension-inference.js.map +1 -0
- package/dist/index.d.ts +10 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +12 -0
- package/dist/index.js.map +1 -1
- package/dist/numerical/formula-dimension.d.ts +16 -1
- package/dist/numerical/formula-dimension.d.ts.map +1 -1
- package/dist/numerical/formula-dimension.js +116 -84
- package/dist/numerical/formula-dimension.js.map +1 -1
- package/dist/numerical/formula-registry.d.ts +11 -1
- package/dist/numerical/formula-registry.d.ts.map +1 -1
- package/dist/numerical/formula-registry.js +12 -0
- package/dist/numerical/formula-registry.js.map +1 -1
- 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;
|
|
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;
|
|
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,
|
|
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
|