universal-physics-tensor 0.32.0 → 0.34.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 +26 -6
- package/dist/bridges/be37-cassini-confrontation.d.ts +43 -0
- package/dist/bridges/be37-cassini-confrontation.d.ts.map +1 -0
- package/dist/bridges/be37-cassini-confrontation.js +34 -0
- package/dist/bridges/be37-cassini-confrontation.js.map +1 -0
- package/dist/bridges/be48-collapse-confrontation.d.ts +52 -0
- package/dist/bridges/be48-collapse-confrontation.d.ts.map +1 -0
- package/dist/bridges/be48-collapse-confrontation.js +37 -0
- package/dist/bridges/be48-collapse-confrontation.js.map +1 -0
- package/dist/bridges/confrontation-coverage.d.ts +5 -10
- package/dist/bridges/confrontation-coverage.d.ts.map +1 -1
- package/dist/bridges/confrontation-coverage.js +7 -11
- package/dist/bridges/confrontation-coverage.js.map +1 -1
- package/dist/bridges/confrontations.d.ts +25 -0
- package/dist/bridges/confrontations.d.ts.map +1 -0
- package/dist/bridges/confrontations.js +125 -0
- package/dist/bridges/confrontations.js.map +1 -0
- package/dist/bridges/observations/types.d.ts +70 -0
- package/dist/bridges/observations/types.d.ts.map +1 -0
- package/dist/bridges/observations/types.js +22 -0
- package/dist/bridges/observations/types.js.map +1 -0
- package/dist/bridges/sensitivity.d.ts +13 -0
- package/dist/bridges/sensitivity.d.ts.map +1 -0
- package/dist/bridges/sensitivity.js +58 -0
- package/dist/bridges/sensitivity.js.map +1 -0
- package/dist/canonical/canonical-equation.d.ts +1 -1
- package/dist/canonical/canonical-equation.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.d.ts +2 -1
- package/dist/canonical/entries/atomic.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.js +22 -1
- package/dist/canonical/entries/atomic.js.map +1 -1
- package/dist/canonical/entries/condensed-matter.d.ts +23 -0
- package/dist/canonical/entries/condensed-matter.d.ts.map +1 -0
- package/dist/canonical/entries/condensed-matter.js +173 -0
- package/dist/canonical/entries/condensed-matter.js.map +1 -0
- package/dist/canonical/entries/electromagnetism.d.ts +4 -0
- package/dist/canonical/entries/electromagnetism.d.ts.map +1 -1
- package/dist/canonical/entries/electromagnetism.js +97 -1
- package/dist/canonical/entries/electromagnetism.js.map +1 -1
- package/dist/canonical/entries/fluids-waves.d.ts +15 -3
- package/dist/canonical/entries/fluids-waves.d.ts.map +1 -1
- package/dist/canonical/entries/fluids-waves.js +103 -2
- package/dist/canonical/entries/fluids-waves.js.map +1 -1
- package/dist/canonical/entries/statistical-mechanics.d.ts +24 -0
- package/dist/canonical/entries/statistical-mechanics.d.ts.map +1 -0
- package/dist/canonical/entries/statistical-mechanics.js +94 -0
- package/dist/canonical/entries/statistical-mechanics.js.map +1 -0
- package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts +5 -4
- package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map +1 -1
- package/dist/canonical/entries/thermo-nuclear-cosmo.js +60 -0
- package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
- package/dist/canonical/registry.d.ts.map +1 -1
- package/dist/canonical/registry.js +4 -0
- package/dist/canonical/registry.js.map +1 -1
- package/dist/cli/command.d.ts +0 -3
- package/dist/cli/command.d.ts.map +1 -1
- package/dist/cli/command.js +0 -13
- package/dist/cli/command.js.map +1 -1
- package/dist/cli/commands/confront.d.ts +3 -0
- package/dist/cli/commands/confront.d.ts.map +1 -0
- package/dist/cli/commands/confront.js +94 -0
- package/dist/cli/commands/confront.js.map +1 -0
- package/dist/cli/commands/discover.d.ts.map +1 -1
- package/dist/cli/commands/discover.js +11 -5
- package/dist/cli/commands/discover.js.map +1 -1
- package/dist/cli/commands/index.d.ts +1 -0
- package/dist/cli/commands/index.d.ts.map +1 -1
- package/dist/cli/commands/index.js +1 -0
- package/dist/cli/commands/index.js.map +1 -1
- package/dist/cli-api.d.ts +6 -0
- package/dist/cli-api.d.ts.map +1 -1
- package/dist/cli-api.js +6 -0
- package/dist/cli-api.js.map +1 -1
- package/dist/composition/consequence.d.ts +62 -0
- package/dist/composition/consequence.d.ts.map +1 -0
- package/dist/composition/consequence.js +82 -0
- package/dist/composition/consequence.js.map +1 -0
- package/dist/composition/discovery.d.ts +2 -2
- package/dist/composition/discovery.d.ts.map +1 -1
- package/dist/composition/discovery.js +1 -1
- package/dist/index.d.ts +12 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +20 -0
- package/dist/index.js.map +1 -1
- package/package.json +1 -1
|
@@ -1,10 +1,13 @@
|
|
|
1
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';
|
|
2
|
+
import { MASS, VELOCITY, ACCELERATION, FORCE, LENGTH, AREA, FREQUENCY, ENERGY, } from '../../dimensional/types.js';
|
|
3
|
+
import { dim, op, pow, l1 } from './_l1-build.js';
|
|
4
4
|
const PRESSURE = dim(-1, 1, -2); // pascal [M L⁻¹ T⁻²]
|
|
5
5
|
const DENSITY = dim(-3, 1, 0); // [M L⁻³]
|
|
6
6
|
const VOLUME = dim(3, 0, 0); // [L³]
|
|
7
7
|
const VISCOSITY = dim(-1, 1, -1); // dynamic viscosity, Pa·s [M L⁻¹ T⁻¹]
|
|
8
|
+
const VOLUME_FLOW_RATE = dim(3, 0, -1); // [L³ T⁻¹]
|
|
9
|
+
const SURFACE_TENSION = dim(0, 1, -2); // N/m [M T⁻²]
|
|
10
|
+
const SPRING_CONSTANT = dim(0, 1, -2); // N/m [M T⁻²]
|
|
8
11
|
export const FLUIDS_WAVES = [
|
|
9
12
|
l1({ name: 'pressure', dim: PRESSURE }, [
|
|
10
13
|
{ name: 'density', dim: DENSITY },
|
|
@@ -126,5 +129,103 @@ export const FLUIDS_WAVES = [
|
|
|
126
129
|
references: ['Newton–Laplace'],
|
|
127
130
|
partnerBridges: [],
|
|
128
131
|
}),
|
|
132
|
+
// ── batch 2: continuity/shear/Laplace/dynamic-pressure (Reynolds number
|
|
133
|
+
// excluded — see the module docstring) ─────────────────────────────────────
|
|
134
|
+
l1({ name: 'volume-flow-rate', dim: VOLUME_FLOW_RATE }, [
|
|
135
|
+
{ name: 'cross-sectional-area', dim: AREA },
|
|
136
|
+
{ name: 'flow-velocity', dim: VELOCITY },
|
|
137
|
+
], {
|
|
138
|
+
id: 'CE-volume-flow-rate',
|
|
139
|
+
name: 'Volume flow rate (continuity)',
|
|
140
|
+
domain: 'mechanics',
|
|
141
|
+
formula_latex: 'Q = A v',
|
|
142
|
+
epistemicStatus: 'fully-quantitative',
|
|
143
|
+
scalarAst: op('*', [
|
|
144
|
+
sym('cross-sectional-area', AREA),
|
|
145
|
+
sym('flow-velocity', VELOCITY),
|
|
146
|
+
]),
|
|
147
|
+
regime: { scale: 'classical' },
|
|
148
|
+
assumptions: ['incompressible flow', 'steady state'],
|
|
149
|
+
references: ['Batchelor, An Introduction to Fluid Dynamics'],
|
|
150
|
+
partnerBridges: [],
|
|
151
|
+
}),
|
|
152
|
+
l1({ name: 'shear-stress', dim: PRESSURE }, [
|
|
153
|
+
{ name: 'dynamic-viscosity', dim: VISCOSITY },
|
|
154
|
+
{ name: 'velocity-gradient', dim: FREQUENCY },
|
|
155
|
+
], {
|
|
156
|
+
id: 'CE-shear-stress',
|
|
157
|
+
name: 'Shear stress (Newtonian fluid)',
|
|
158
|
+
domain: 'mechanics',
|
|
159
|
+
formula_latex: '\\tau = \\mu (dv/dy)',
|
|
160
|
+
epistemicStatus: 'fully-quantitative',
|
|
161
|
+
scalarAst: op('*', [
|
|
162
|
+
sym('dynamic-viscosity', VISCOSITY),
|
|
163
|
+
sym('velocity-gradient', FREQUENCY),
|
|
164
|
+
]),
|
|
165
|
+
regime: { scale: 'classical' },
|
|
166
|
+
assumptions: ['Newtonian fluid', 'laminar flow'],
|
|
167
|
+
references: ['Newton; standard fluid mechanics'],
|
|
168
|
+
partnerBridges: [],
|
|
169
|
+
}),
|
|
170
|
+
l1({ name: 'laplace-pressure', dim: PRESSURE }, [
|
|
171
|
+
{ name: 'surface-tension', dim: SURFACE_TENSION },
|
|
172
|
+
{ name: 'droplet-radius', dim: LENGTH },
|
|
173
|
+
], {
|
|
174
|
+
id: 'CE-laplace-pressure',
|
|
175
|
+
name: 'Laplace pressure (surface tension)',
|
|
176
|
+
domain: 'mechanics',
|
|
177
|
+
formula_latex: '\\Delta P = 2\\gamma / r',
|
|
178
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
179
|
+
scalarAst: op('/', [
|
|
180
|
+
sym('surface-tension', SURFACE_TENSION),
|
|
181
|
+
sym('droplet-radius', LENGTH),
|
|
182
|
+
]),
|
|
183
|
+
regime: { scale: 'classical' },
|
|
184
|
+
assumptions: ['spherical interface'],
|
|
185
|
+
references: ['Young–Laplace'],
|
|
186
|
+
partnerBridges: [],
|
|
187
|
+
}),
|
|
188
|
+
l1({ name: 'dynamic-pressure', dim: PRESSURE }, [
|
|
189
|
+
{ name: 'density', dim: DENSITY },
|
|
190
|
+
{ name: 'flow-velocity', dim: VELOCITY },
|
|
191
|
+
], {
|
|
192
|
+
id: 'CE-dynamic-pressure',
|
|
193
|
+
name: 'Dynamic pressure',
|
|
194
|
+
domain: 'mechanics',
|
|
195
|
+
formula_latex: 'q = \\tfrac{1}{2} \\rho v^2',
|
|
196
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
197
|
+
scalarAst: op('*', [
|
|
198
|
+
sym('density', DENSITY),
|
|
199
|
+
pow(sym('flow-velocity', VELOCITY), '2'),
|
|
200
|
+
]),
|
|
201
|
+
regime: { scale: 'classical' },
|
|
202
|
+
assumptions: ['incompressible flow'],
|
|
203
|
+
references: ['Bernoulli; standard fluid mechanics'],
|
|
204
|
+
partnerBridges: [],
|
|
205
|
+
}),
|
|
206
|
+
// ── batch 6 (final): harmonic oscillator energy (scalar-up-to-constant,
|
|
207
|
+
// the ½). NOTE: string wave speed (v = √(T/μ)) was in the batch-6 brief but
|
|
208
|
+
// is DELIBERATELY OMITTED here — `CE-string-wave-speed` already exists as an
|
|
209
|
+
// L0 dimensional entry in `dimensional-classics.ts` (tension/linear-density
|
|
210
|
+
// governing set, same physics); adding it here would collide on id and
|
|
211
|
+
// violate the registry's id-uniqueness invariant. See the batch-6 report.
|
|
212
|
+
l1({ name: 'oscillator-energy', dim: ENERGY }, [
|
|
213
|
+
{ name: 'spring-constant', dim: SPRING_CONSTANT },
|
|
214
|
+
{ name: 'amplitude', dim: LENGTH },
|
|
215
|
+
], {
|
|
216
|
+
id: 'CE-oscillator-energy',
|
|
217
|
+
name: 'Harmonic oscillator energy',
|
|
218
|
+
domain: 'mechanics',
|
|
219
|
+
formula_latex: 'E = \\tfrac{1}{2} k A^2',
|
|
220
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
221
|
+
scalarAst: op('*', [
|
|
222
|
+
sym('spring-constant', SPRING_CONSTANT),
|
|
223
|
+
pow(sym('amplitude', LENGTH), '2'),
|
|
224
|
+
]),
|
|
225
|
+
regime: { scale: 'classical' },
|
|
226
|
+
assumptions: ['simple harmonic motion', 'linear spring'],
|
|
227
|
+
references: ['Standard mechanics'],
|
|
228
|
+
partnerBridges: [],
|
|
229
|
+
}),
|
|
129
230
|
];
|
|
130
231
|
//# sourceMappingURL=fluids-waves.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"fluids-waves.js","sourceRoot":"","sources":["../../../src/canonical/entries/fluids-waves.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"fluids-waves.js","sourceRoot":"","sources":["../../../src/canonical/entries/fluids-waves.ts"],"names":[],"mappings":"AA4BA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,IAAI,EACJ,SAAS,EACT,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,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;AACxE,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW;AACnD,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc;AACrD,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc;AAErD,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;IACF,yEAAyE;IACzE,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;KACzC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,sBAAsB,EAAE,IAAI,CAAC;YACjC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC;SAC/B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,qBAAqB,EAAE,cAAc,CAAC;QACpD,UAAU,EAAE,CAAC,8CAA8C,CAAC;QAC5D,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC7C,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE;KAC9C,EAAE;QACD,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,sBAAsB;QACrC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,mBAAmB,EAAE,SAAS,CAAC;YACnC,GAAG,CAAC,mBAAmB,EAAE,SAAS,CAAC;SACpC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,iBAAiB,EAAE,cAAc,CAAC;QAChD,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC9C,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE;KACxC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,oCAAoC;QAC1C,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,0BAA0B;QACzC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,gBAAgB,EAAE,MAAM,CAAC;SAC9B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,qBAAqB,CAAC;QACpC,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC9C,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;KACzC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;YACvB,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;SACzC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,qBAAqB,CAAC;QACpC,UAAU,EAAE,CAAC,qCAAqC,CAAC;QACnD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,yEAAyE;IACzE,4EAA4E;IAC5E,6EAA6E;IAC7E,4EAA4E;IAC5E,uEAAuE;IACvE,0EAA0E;IAC1E,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC7C,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE;KACnC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,4BAA4B;QAClC,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,WAAW,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;SACnC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,EAAE,eAAe,CAAC;QACxD,UAAU,EAAE,CAAC,oBAAoB,CAAC;QAClC,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* L1 (scalar-AST) canonical entries — statistical mechanics. 4 standard
|
|
3
|
+
* kinetic-theory / equilibrium-statistics monomial laws (equipartition,
|
|
4
|
+
* Stokes-Einstein diffusion, kinetic pressure, Maxwell-Boltzmann speed).
|
|
5
|
+
* Each is a unique dimensional monomial (0 free groups); L0 fields are
|
|
6
|
+
* engine-derived (see `_l1-build`).
|
|
7
|
+
*
|
|
8
|
+
* Mean free path (`λ = 1/(nσ)`) was deliberately EXCLUDED from this batch:
|
|
9
|
+
* number density and cross-section are both pure-length dimension, so the
|
|
10
|
+
* combination is dimensionally underdetermined (`nσ^1.5` is dimensionless) —
|
|
11
|
+
* forcing it would violate the 0-free-groups invariant this file otherwise
|
|
12
|
+
* holds to.
|
|
13
|
+
*
|
|
14
|
+
* 3 of the 4 laws are clean monomials with an exact prefactor left aside
|
|
15
|
+
* (`scalarAst` included, `scalar-up-to-constant`); the Maxwell-Boltzmann
|
|
16
|
+
* most-probable speed is a fractional-power monomial (a square root) —
|
|
17
|
+
* `scalarAst` is OMITTED and `epistemicStatus` is `dimensional`, exactly like
|
|
18
|
+
* the Fermi-gas √-laws in `condensed-matter.ts`.
|
|
19
|
+
*
|
|
20
|
+
* @module canonical/entries/statistical-mechanics
|
|
21
|
+
*/
|
|
22
|
+
import type { CanonicalEquation } from '../canonical-equation.js';
|
|
23
|
+
export declare const STATISTICAL_MECHANICS: readonly CanonicalEquation[];
|
|
24
|
+
//# sourceMappingURL=statistical-mechanics.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"statistical-mechanics.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/statistical-mechanics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAalE,eAAO,MAAM,qBAAqB,EAAE,SAAS,iBAAiB,EAkF7D,CAAC"}
|
|
@@ -0,0 +1,94 @@
|
|
|
1
|
+
import { sym } from '../../bridges/equations/_be-helpers.js';
|
|
2
|
+
import { MASS, VELOCITY, ENERGY, TEMPERATURE } from '../../dimensional/types.js';
|
|
3
|
+
import { dim, op, l1 } from './_l1-build.js';
|
|
4
|
+
const BOLTZMANN_CONSTANT = dim(2, 1, -2, 0, -1); // J/K [L² M T⁻² Θ⁻¹]
|
|
5
|
+
const DIFFUSION_COEFFICIENT = dim(2, 0, -1, 0, 0); // m²/s [L² T⁻¹]
|
|
6
|
+
const DYNAMIC_VISCOSITY = dim(-1, 1, -1, 0, 0); // Pa·s [L⁻¹ M T⁻¹]
|
|
7
|
+
const PARTICLE_RADIUS = dim(1, 0, 0, 0, 0); // [L]
|
|
8
|
+
const NUMBER_DENSITY = dim(-3, 0, 0, 0, 0); // [L⁻³]
|
|
9
|
+
const KINETIC_PRESSURE = dim(-1, 1, -2, 0, 0); // Pa [L⁻¹ M T⁻²]
|
|
10
|
+
const MEAN_SQUARE_SPEED = dim(2, 0, -2, 0, 0); // m²/s² [L² T⁻²]
|
|
11
|
+
export const STATISTICAL_MECHANICS = [
|
|
12
|
+
l1({ name: 'thermal-energy', dim: ENERGY }, [
|
|
13
|
+
{ name: 'boltzmann-constant', dim: BOLTZMANN_CONSTANT },
|
|
14
|
+
{ name: 'temperature', dim: TEMPERATURE },
|
|
15
|
+
], {
|
|
16
|
+
id: 'CE-equipartition',
|
|
17
|
+
name: 'Equipartition (mean kinetic energy)',
|
|
18
|
+
domain: 'statistical',
|
|
19
|
+
formula_latex: '\\langle E \\rangle = \\tfrac{3}{2} k_B T',
|
|
20
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
21
|
+
scalarAst: op('*', [
|
|
22
|
+
sym('boltzmann-constant', BOLTZMANN_CONSTANT),
|
|
23
|
+
sym('temperature', TEMPERATURE),
|
|
24
|
+
]),
|
|
25
|
+
regime: { scale: 'classical' },
|
|
26
|
+
assumptions: ['ideal gas', 'thermal equilibrium', '3 translational DOF'],
|
|
27
|
+
references: ['Reif, Fundamentals of Statistical and Thermal Physics'],
|
|
28
|
+
partnerBridges: [],
|
|
29
|
+
}),
|
|
30
|
+
l1({ name: 'diffusion-coefficient', dim: DIFFUSION_COEFFICIENT }, [
|
|
31
|
+
{ name: 'boltzmann-constant', dim: BOLTZMANN_CONSTANT },
|
|
32
|
+
{ name: 'temperature', dim: TEMPERATURE },
|
|
33
|
+
{ name: 'dynamic-viscosity', dim: DYNAMIC_VISCOSITY },
|
|
34
|
+
{ name: 'particle-radius', dim: PARTICLE_RADIUS },
|
|
35
|
+
], {
|
|
36
|
+
id: 'CE-stokes-einstein',
|
|
37
|
+
name: 'Stokes-Einstein diffusion',
|
|
38
|
+
domain: 'statistical',
|
|
39
|
+
formula_latex: 'D = k_B T/(6\\pi\\mu r)',
|
|
40
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
41
|
+
scalarAst: op('/', [
|
|
42
|
+
op('*', [
|
|
43
|
+
sym('boltzmann-constant', BOLTZMANN_CONSTANT),
|
|
44
|
+
sym('temperature', TEMPERATURE),
|
|
45
|
+
]),
|
|
46
|
+
op('*', [
|
|
47
|
+
sym('dynamic-viscosity', DYNAMIC_VISCOSITY),
|
|
48
|
+
sym('particle-radius', PARTICLE_RADIUS),
|
|
49
|
+
]),
|
|
50
|
+
]),
|
|
51
|
+
regime: { scale: 'mesoscopic' },
|
|
52
|
+
assumptions: ['spherical particle', 'low Reynolds number'],
|
|
53
|
+
references: ['Einstein 1905', 'Sutherland 1905'],
|
|
54
|
+
partnerBridges: [],
|
|
55
|
+
}),
|
|
56
|
+
l1({ name: 'kinetic-pressure', dim: KINETIC_PRESSURE }, [
|
|
57
|
+
{ name: 'number-density', dim: NUMBER_DENSITY },
|
|
58
|
+
{ name: 'molecular-mass', dim: MASS },
|
|
59
|
+
{ name: 'mean-square-speed', dim: MEAN_SQUARE_SPEED },
|
|
60
|
+
], {
|
|
61
|
+
id: 'CE-kinetic-pressure',
|
|
62
|
+
name: 'Kinetic pressure of an ideal gas',
|
|
63
|
+
domain: 'statistical',
|
|
64
|
+
formula_latex: 'P = \\tfrac{1}{3} n m \\langle v^2 \\rangle',
|
|
65
|
+
epistemicStatus: 'scalar-up-to-constant',
|
|
66
|
+
scalarAst: op('*', [
|
|
67
|
+
op('*', [
|
|
68
|
+
sym('number-density', NUMBER_DENSITY),
|
|
69
|
+
sym('molecular-mass', MASS),
|
|
70
|
+
]),
|
|
71
|
+
sym('mean-square-speed', MEAN_SQUARE_SPEED),
|
|
72
|
+
]),
|
|
73
|
+
regime: { scale: 'classical' },
|
|
74
|
+
assumptions: ['ideal gas', 'isotropic velocity distribution'],
|
|
75
|
+
references: ['Maxwell 1860', 'Reif, Fundamentals of Statistical and Thermal Physics'],
|
|
76
|
+
partnerBridges: [],
|
|
77
|
+
}),
|
|
78
|
+
l1({ name: 'most-probable-speed', dim: VELOCITY }, [
|
|
79
|
+
{ name: 'boltzmann-constant', dim: BOLTZMANN_CONSTANT },
|
|
80
|
+
{ name: 'temperature', dim: TEMPERATURE },
|
|
81
|
+
{ name: 'molecular-mass', dim: MASS },
|
|
82
|
+
], {
|
|
83
|
+
id: 'CE-mb-most-probable-speed',
|
|
84
|
+
name: 'Maxwell-Boltzmann most-probable speed',
|
|
85
|
+
domain: 'statistical',
|
|
86
|
+
formula_latex: 'v_p = \\sqrt{2 k_B T/m}',
|
|
87
|
+
epistemicStatus: 'dimensional',
|
|
88
|
+
regime: { scale: 'classical' },
|
|
89
|
+
assumptions: ['Maxwell-Boltzmann distribution'],
|
|
90
|
+
references: ['Maxwell 1860', 'Reif, Fundamentals of Statistical and Thermal Physics'],
|
|
91
|
+
partnerBridges: [],
|
|
92
|
+
}),
|
|
93
|
+
];
|
|
94
|
+
//# sourceMappingURL=statistical-mechanics.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"statistical-mechanics.js","sourceRoot":"","sources":["../../../src/canonical/entries/statistical-mechanics.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACjF,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAE7C,MAAM,kBAAkB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB;AACtE,MAAM,qBAAqB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB;AACnE,MAAM,iBAAiB,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB;AACnE,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM;AAClD,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ;AACpD,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,iBAAiB;AAChE,MAAM,iBAAiB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,iBAAiB;AAEhE,MAAM,CAAC,MAAM,qBAAqB,GAAiC;IACjE,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,kBAAkB,EAAE;QACvD,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,qCAAqC;QAC3C,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,2CAA2C;QAC1D,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,oBAAoB,EAAE,kBAAkB,CAAC;YAC7C,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;SAChC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,WAAW,EAAE,qBAAqB,EAAE,qBAAqB,CAAC;QACxE,UAAU,EAAE,CAAC,uDAAuD,CAAC;QACrE,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,qBAAqB,EAAE,EAAE;QAChE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,kBAAkB,EAAE;QACvD,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE;QACrD,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;KAClD,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,oBAAoB,EAAE,kBAAkB,CAAC;gBAC7C,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;aAChC,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;gBAC3C,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;aACxC,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;QAC1D,UAAU,EAAE,CAAC,eAAe,EAAE,iBAAiB,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE;QACrC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE;KACtD,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,6CAA6C;QAC5D,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC;gBACrC,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC;aAC5B,CAAC;YACF,GAAG,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;SAC5C,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,WAAW,EAAE,iCAAiC,CAAC;QAC7D,UAAU,EAAE,CAAC,cAAc,EAAE,uDAAuD,CAAC;QACrF,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACjD,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,kBAAkB,EAAE;QACvD,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE;KACtC,EAAE;QACD,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,uCAAuC;QAC7C,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,cAAc,EAAE,uDAAuD,CAAC;QACrF,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
|
|
@@ -2,10 +2,11 @@
|
|
|
2
2
|
* L1 (scalar-AST) canonical entries — thermodynamic, statistical, nuclear, and
|
|
3
3
|
* cosmological monomial laws: sensible heat capacity, radioactive half-life,
|
|
4
4
|
* the Hubble distance, plus the Landauer bound, the Jarzynski equality, the
|
|
5
|
-
* Stefan–Boltzmann law, the ideal-gas law, and Wien's displacement (the
|
|
6
|
-
* five folded in from the former l1-gravity-thermo / l1-quantum-em
|
|
7
|
-
* in the 2026-06-22 god-file split)
|
|
8
|
-
*
|
|
5
|
+
* Stefan–Boltzmann law, the ideal-gas law, and Wien's displacement (the
|
|
6
|
+
* latter five folded in from the former l1-gravity-thermo / l1-quantum-em
|
|
7
|
+
* batch files in the 2026-06-22 god-file split), plus a batch-4 (2026-07-03)
|
|
8
|
+
* trio of thermodynamics monomials: latent heat, the Clausius entropy change,
|
|
9
|
+
* and thermal diffusivity. L0 fields are engine-derived (see `_l1-build`).
|
|
9
10
|
*
|
|
10
11
|
* Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,
|
|
11
12
|
* 2026-06-20). `domain` is the nearest `CanonicalDomain` arm (the enum has no
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"thermo-nuclear-cosmo.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/thermo-nuclear-cosmo.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"thermo-nuclear-cosmo.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/thermo-nuclear-cosmo.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AA0BlE,eAAO,MAAM,oBAAoB,EAAE,SAAS,iBAAiB,EAyN5D,CAAC"}
|
|
@@ -7,6 +7,10 @@ const SIGMA_SB = dim(0, 1, -3, 0, -4); // Stefan–Boltzmann σ [M T⁻³ Θ⁻
|
|
|
7
7
|
const PRESSURE = dim(-1, 1, -2); // [M L⁻¹ T⁻²]
|
|
8
8
|
const VOLUME = dim(3); // [L³]
|
|
9
9
|
const WIEN_B = dim(1, 0, 0, 0, 1); // Wien constant [L Θ]
|
|
10
|
+
const SPECIFIC_LATENT_HEAT = dim(2, 0, -2, 0, 0); // [L² T⁻²] (J·kg⁻¹, no Θ dependence)
|
|
11
|
+
const THERMAL_CONDUCTIVITY = dim(1, 1, -3, 0, -1); // [L M T⁻³ Θ⁻¹] (W·m⁻¹·K⁻¹)
|
|
12
|
+
const DENSITY = dim(-3, 1, 0, 0, 0); // [M L⁻³] (kg/m³)
|
|
13
|
+
const THERMAL_DIFFUSIVITY = dim(2, 0, -1, 0, 0); // [L² T⁻¹] (m²/s)
|
|
10
14
|
export const THERMO_NUCLEAR_COSMO = [
|
|
11
15
|
l1({ name: 'heat-energy', dim: ENERGY }, [
|
|
12
16
|
{ name: 'mass', dim: MASS },
|
|
@@ -168,5 +172,61 @@ export const THERMO_NUCLEAR_COSMO = [
|
|
|
168
172
|
references: ['Wien 1893'],
|
|
169
173
|
partnerBridges: [],
|
|
170
174
|
}),
|
|
175
|
+
// ── Batch 4 (2026-07-03): 3 more thermodynamics monomials. ─────────────────
|
|
176
|
+
// Latent heat of phase transition Q = m L (specific latent heat L)
|
|
177
|
+
l1({ name: 'latent-heat', dim: ENERGY }, [
|
|
178
|
+
{ name: 'mass', dim: MASS },
|
|
179
|
+
{ name: 'specific-latent-heat', dim: SPECIFIC_LATENT_HEAT },
|
|
180
|
+
], {
|
|
181
|
+
id: 'CE-latent-heat',
|
|
182
|
+
name: 'Latent heat of phase transition',
|
|
183
|
+
domain: 'thermodynamics',
|
|
184
|
+
formula_latex: 'Q = m L',
|
|
185
|
+
epistemicStatus: 'fully-quantitative',
|
|
186
|
+
scalarAst: op('*', [
|
|
187
|
+
sym('mass', MASS),
|
|
188
|
+
sym('specific-latent-heat', SPECIFIC_LATENT_HEAT),
|
|
189
|
+
]),
|
|
190
|
+
regime: { scale: 'classical' },
|
|
191
|
+
assumptions: ['isothermal phase transition'],
|
|
192
|
+
references: ['Callen, Thermodynamics'],
|
|
193
|
+
partnerBridges: [],
|
|
194
|
+
}),
|
|
195
|
+
// Clausius entropy change ΔS = Q/T (reversible, constant-temperature)
|
|
196
|
+
l1({ name: 'entropy-change', dim: ENTROPY }, [
|
|
197
|
+
{ name: 'heat', dim: ENERGY },
|
|
198
|
+
{ name: 'temperature', dim: TEMPERATURE },
|
|
199
|
+
], {
|
|
200
|
+
id: 'CE-clausius-entropy',
|
|
201
|
+
name: 'Clausius entropy change',
|
|
202
|
+
domain: 'thermodynamics',
|
|
203
|
+
formula_latex: '\\Delta S = Q/T',
|
|
204
|
+
epistemicStatus: 'fully-quantitative',
|
|
205
|
+
scalarAst: op('/', [sym('heat', ENERGY), sym('temperature', TEMPERATURE)]),
|
|
206
|
+
regime: { scale: 'classical' },
|
|
207
|
+
assumptions: ['reversible process', 'constant temperature'],
|
|
208
|
+
references: ['Clausius 1865', 'Callen, Thermodynamics'],
|
|
209
|
+
partnerBridges: [],
|
|
210
|
+
}),
|
|
211
|
+
// Thermal diffusivity α = k/(ρ c_p)
|
|
212
|
+
l1({ name: 'thermal-diffusivity', dim: THERMAL_DIFFUSIVITY }, [
|
|
213
|
+
{ name: 'thermal-conductivity', dim: THERMAL_CONDUCTIVITY },
|
|
214
|
+
{ name: 'density', dim: DENSITY },
|
|
215
|
+
{ name: 'specific-heat-capacity', dim: SPECIFIC_HEAT },
|
|
216
|
+
], {
|
|
217
|
+
id: 'CE-thermal-diffusivity',
|
|
218
|
+
name: 'Thermal diffusivity',
|
|
219
|
+
domain: 'thermodynamics',
|
|
220
|
+
formula_latex: '\\alpha = k/(\\rho c_p)',
|
|
221
|
+
epistemicStatus: 'fully-quantitative',
|
|
222
|
+
scalarAst: op('/', [
|
|
223
|
+
sym('thermal-conductivity', THERMAL_CONDUCTIVITY),
|
|
224
|
+
op('*', [sym('density', DENSITY), sym('specific-heat-capacity', SPECIFIC_HEAT)]),
|
|
225
|
+
]),
|
|
226
|
+
regime: { scale: 'classical' },
|
|
227
|
+
assumptions: ['homogeneous isotropic medium'],
|
|
228
|
+
references: ['Carslaw & Jaeger, Conduction of Heat in Solids'],
|
|
229
|
+
partnerBridges: [],
|
|
230
|
+
}),
|
|
171
231
|
];
|
|
172
232
|
//# sourceMappingURL=thermo-nuclear-cosmo.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"thermo-nuclear-cosmo.js","sourceRoot":"","sources":["../../../src/canonical/entries/thermo-nuclear-cosmo.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"thermo-nuclear-cosmo.js","sourceRoot":"","sources":["../../../src/canonical/entries/thermo-nuclear-cosmo.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,GAAG,EAAE,MAAM,wCAAwC,CAAC;AAC7D,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,IAAI,EACJ,SAAS,EACT,WAAW,EACX,OAAO,EACP,aAAa,GACd,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;AACxE,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,gCAAgC;AAC/D,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,gDAAgD;AACvF,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc;AAC/C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO;AAC9B,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB;AACzD,MAAM,oBAAoB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qCAAqC;AACvF,MAAM,oBAAoB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,4BAA4B;AAC/E,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kBAAkB;AACvD,MAAM,mBAAmB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kBAAkB;AAEnE,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;IACF,6EAA6E;IAC7E,6EAA6E;IAC7E,gEAAgE;IAChE,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,kBAAkB;QACjC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC;YACnB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;YACrB,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;SAC1B,CAAC;QACF,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE;QACvB,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE;QACvD,WAAW,EAAE,CAAC,YAAY,EAAE,sBAAsB,CAAC;QACnD,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,sEAAsE;QACtE,mEAAmE;QACnE,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CAAC;IACF,gFAAgF;IAChF,EAAE,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,6DAA6D;QAC5E,8DAA8D;QAC9D,wEAAwE;QACxE,2CAA2C;QAC3C,eAAe,EAAE,uBAAuB;QACxC,2EAA2E;QAC3E,2EAA2E;QAC3E,0EAA0E;QAC1E,6DAA6D;QAC7D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;YACxB,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC;YACnB,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC;YACrB,GAAG,CAAC,wBAAwB,EAAE,aAAa,CAAC;SAC7C,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,YAAY,EAAE,gDAAgD,CAAC;QAC7E,UAAU,EAAE,CAAC,4BAA4B,CAAC;QAC1C,0EAA0E;QAC1E,uEAAuE;QACvE,uEAAuE;QACvE,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CAAC;IACF,mDAAmD;IACnD,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;QACnC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAChF,KAAK,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE;QAC/B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,WAAW,EAAE,qBAAqB,CAAC;QACjD,UAAU,EAAE,CAAC,6BAA6B,CAAC;QAC3C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,+DAA+D;IAC/D,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACtC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC;YAC9E,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;SACjB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,WAAW,EAAE,qBAAqB,CAAC;QACjD,UAAU,EAAE,CAAC,gBAAgB,CAAC;QAC9B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,kEAAkE;IAClE,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;KACjD,EAAE;QACD,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,sBAAsB;QACrC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,WAAW,EAAE,qBAAqB,CAAC;QACjD,UAAU,EAAE,CAAC,WAAW,CAAC;QACzB,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,8EAA8E;IAC9E,qEAAqE;IACrE,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,sBAAsB,EAAE,GAAG,EAAE,oBAAoB,EAAE;KAC5D,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,iCAAiC;QACvC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;YACjB,GAAG,CAAC,sBAAsB,EAAE,oBAAoB,CAAC;SAClD,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,6BAA6B,CAAC;QAC5C,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,wEAAwE;IACxE,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;QAC1E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,sBAAsB,CAAC;QAC3D,UAAU,EAAE,CAAC,eAAe,EAAE,wBAAwB,CAAC;QACvD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,qCAAqC;IACrC,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,mBAAmB,EAAE,EAAE;QAC5D,EAAE,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,oBAAoB,EAAE;QAC3D,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,aAAa,EAAE;KACvD,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,sBAAsB,EAAE,oBAAoB,CAAC;YACjD,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,wBAAwB,EAAE,aAAa,CAAC,CAAC,CAAC;SACjF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,8BAA8B,CAAC;QAC7C,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,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;;;;;GAKG;AACH,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"}
|
|
@@ -6,6 +6,8 @@ import { ELECTROMAGNETISM } from './entries/electromagnetism.js';
|
|
|
6
6
|
import { FLUIDS_WAVES } from './entries/fluids-waves.js';
|
|
7
7
|
import { THERMO_NUCLEAR_COSMO } from './entries/thermo-nuclear-cosmo.js';
|
|
8
8
|
import { ATOMIC } from './entries/atomic.js';
|
|
9
|
+
import { CONDENSED_MATTER } from './entries/condensed-matter.js';
|
|
10
|
+
import { STATISTICAL_MECHANICS } from './entries/statistical-mechanics.js';
|
|
9
11
|
/**
|
|
10
12
|
* Every canonical equation in the registry. The L1 entries are grouped by
|
|
11
13
|
* physics domain (relativity / EM / thermo / atomic / …); the former
|
|
@@ -20,6 +22,8 @@ export const CANONICAL_EQUATIONS = [
|
|
|
20
22
|
...FLUIDS_WAVES,
|
|
21
23
|
...THERMO_NUCLEAR_COSMO,
|
|
22
24
|
...ATOMIC,
|
|
25
|
+
...CONDENSED_MATTER,
|
|
26
|
+
...STATISTICAL_MECHANICS,
|
|
23
27
|
];
|
|
24
28
|
/** Id → entry. */
|
|
25
29
|
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,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;
|
|
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,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;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAE3E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAiC;IAC/D,GAAG,oBAAoB;IACvB,GAAG,UAAU;IACb,GAAG,SAAS;IACZ,GAAG,gBAAgB;IACnB,GAAG,YAAY;IACf,GAAG,oBAAoB;IACvB,GAAG,MAAM;IACT,GAAG,gBAAgB;IACnB,GAAG,qBAAqB;CACzB,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"}
|
package/dist/cli/command.d.ts
CHANGED
|
@@ -31,9 +31,6 @@ export interface Command {
|
|
|
31
31
|
export declare function registerCommand(command: Command): void;
|
|
32
32
|
/** Look up a command by its primary name or any alias. */
|
|
33
33
|
export declare function resolveCommand(nameOrAlias: string): Command | undefined;
|
|
34
|
-
/** All distinct registered commands (de-duplicated across aliases), in
|
|
35
|
-
* first-registration order. */
|
|
36
|
-
export declare function allCommands(): Command[];
|
|
37
34
|
/** Test-only registration hook. Same behavior as `registerCommand` — kept as
|
|
38
35
|
* a distinct, deliberately-unexciting name so it reads as test scaffolding
|
|
39
36
|
* (not part of the CLI's own porting surface) at call sites in
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../src/cli/command.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACtD,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,GAAG,EAAE,OAAO,MAAM,CAAC;IACnB,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC;IAC7B,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC;IAC7B,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC;CAC5B;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;CACvC;AAID;;uDAEuD;AACvD,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAGtD;AAED,0DAA0D;AAC1D,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAEvE;AAED
|
|
1
|
+
{"version":3,"file":"command.d.ts","sourceRoot":"","sources":["../../src/cli/command.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACtD,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,GAAG,EAAE,OAAO,MAAM,CAAC;IACnB,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC;IAC7B,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC;IAC7B,KAAK,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC;CAC5B;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;CACvC;AAID;;uDAEuD;AACvD,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAGtD;AAED,0DAA0D;AAC1D,wBAAgB,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAEvE;AAED;;;6EAG6E;AAC7E,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAEtD;AAED;;yEAEyE;AACzE,wBAAgB,oBAAoB,IAAI,IAAI,CAE3C"}
|
package/dist/cli/command.js
CHANGED
|
@@ -22,19 +22,6 @@ export function registerCommand(command) {
|
|
|
22
22
|
export function resolveCommand(nameOrAlias) {
|
|
23
23
|
return registry.get(nameOrAlias);
|
|
24
24
|
}
|
|
25
|
-
/** All distinct registered commands (de-duplicated across aliases), in
|
|
26
|
-
* first-registration order. */
|
|
27
|
-
export function allCommands() {
|
|
28
|
-
const seen = new Set();
|
|
29
|
-
const out = [];
|
|
30
|
-
for (const command of registry.values()) {
|
|
31
|
-
if (seen.has(command))
|
|
32
|
-
continue;
|
|
33
|
-
seen.add(command);
|
|
34
|
-
out.push(command);
|
|
35
|
-
}
|
|
36
|
-
return out;
|
|
37
|
-
}
|
|
38
25
|
/** Test-only registration hook. Same behavior as `registerCommand` — kept as
|
|
39
26
|
* a distinct, deliberately-unexciting name so it reads as test scaffolding
|
|
40
27
|
* (not part of the CLI's own porting surface) at call sites in
|
package/dist/cli/command.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"command.js","sourceRoot":"","sources":["../../src/cli/command.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAqBH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;AAE5C;;uDAEuD;AACvD,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC9C,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO;QAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AACpE,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,cAAc,CAAC,WAAmB;IAChD,OAAO,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;AACnC,CAAC;AAED
|
|
1
|
+
{"version":3,"file":"command.js","sourceRoot":"","sources":["../../src/cli/command.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAqBH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;AAE5C;;uDAEuD;AACvD,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC9C,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO;QAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AACpE,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,cAAc,CAAC,WAAmB;IAChD,OAAO,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;AACnC,CAAC;AAED;;;6EAG6E;AAC7E,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC9C,eAAe,CAAC,OAAO,CAAC,CAAC;AAC3B,CAAC;AAED;;yEAEyE;AACzE,MAAM,UAAU,oBAAoB;IAClC,QAAQ,CAAC,KAAK,EAAE,CAAC;AACnB,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"confront.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/confront.ts"],"names":[],"mappings":"AAMA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AA6G/E,eAAO,MAAM,OAAO,EAAE,OAA0E,CAAC"}
|
|
@@ -0,0 +1,94 @@
|
|
|
1
|
+
import { registerCommand } from '../command.js';
|
|
2
|
+
import { CliError } from '../errors.js';
|
|
3
|
+
import { emitJson } from '../output.js';
|
|
4
|
+
const FLAGS = [
|
|
5
|
+
{ name: '--bridge', valueStyle: 'attached' },
|
|
6
|
+
{ name: '--sensitivity', valueStyle: 'none' },
|
|
7
|
+
{ name: '--json', valueStyle: 'none' },
|
|
8
|
+
];
|
|
9
|
+
const HELP = `upt confront [--bridge=be-XX] [--sensitivity] [--json]
|
|
10
|
+
Run the catalog's committed real-data confrontations (predicted vs
|
|
11
|
+
observed). --bridge runs one; --sensitivity adds a dimensionless
|
|
12
|
+
elasticity ranking of the prediction's inputs (value-kind only) —
|
|
13
|
+
this answers which input the prediction depends on most STRONGLY,
|
|
14
|
+
NOT which dominates the uncertainty budget (that needs input sigma).`;
|
|
15
|
+
const EPISTEMICS = 'confrontation is consistency, not confirmation; a passing confrontation does not prove the bridge.';
|
|
16
|
+
const SENSITIVITY_EPISTEMICS = ' sensitivity (elasticity) ranks which input the prediction depends on most STRONGLY; ' +
|
|
17
|
+
'it is NOT which input dominates the uncertainty budget (that needs input sigma).';
|
|
18
|
+
function parseBridgeId(raw) {
|
|
19
|
+
// Accept "be-37", "BE-37", or "37".
|
|
20
|
+
const m = /^(?:be-?)?(\d+)$/i.exec(raw.trim());
|
|
21
|
+
if (!m)
|
|
22
|
+
throw new CliError(`upt confront: invalid --bridge='${raw}' (expected be-XX)`);
|
|
23
|
+
return Number(m[1]);
|
|
24
|
+
}
|
|
25
|
+
const SENSITIVITY_NOTE = 'strongest dependence, not uncertainty budget';
|
|
26
|
+
async function run(ctx) {
|
|
27
|
+
const { args, api, out } = ctx;
|
|
28
|
+
const bridgeFlag = args.flags.get('bridge');
|
|
29
|
+
const wantJson = args.flags.has('json');
|
|
30
|
+
const wantSensitivity = args.flags.has('sensitivity');
|
|
31
|
+
const entries = bridgeFlag && bridgeFlag.length
|
|
32
|
+
? (() => {
|
|
33
|
+
const id = parseBridgeId(bridgeFlag[bridgeFlag.length - 1]);
|
|
34
|
+
const one = api.listConfrontations().find((e) => e.bridgeId === id);
|
|
35
|
+
if (!one)
|
|
36
|
+
throw new CliError(`upt confront: no confrontation registered for be-${id}`);
|
|
37
|
+
return [one];
|
|
38
|
+
})()
|
|
39
|
+
: api.listConfrontations();
|
|
40
|
+
const results = entries.map((e) => ({ bridgeId: e.bridgeId, title: e.title, outcome: e.run() }));
|
|
41
|
+
if (wantJson) {
|
|
42
|
+
const jsonResults = results.map((r) => wantSensitivity && r.outcome.kind === 'value'
|
|
43
|
+
? { ...r.outcome, sensitivity: api.decidingMeasurement(r.bridgeId) }
|
|
44
|
+
: r.outcome);
|
|
45
|
+
const epistemics = wantSensitivity ? EPISTEMICS + SENSITIVITY_EPISTEMICS : EPISTEMICS;
|
|
46
|
+
emitJson({ command: 'confront', epistemics, result: jsonResults }, ctx.write);
|
|
47
|
+
return 0;
|
|
48
|
+
}
|
|
49
|
+
out('\nReal-data confrontations — predicted vs observed');
|
|
50
|
+
out('(' + EPISTEMICS + (wantSensitivity ? SENSITIVITY_EPISTEMICS : '') + ')\n');
|
|
51
|
+
for (const { bridgeId, title, outcome } of results) {
|
|
52
|
+
out(` be-${bridgeId}: ${title}`);
|
|
53
|
+
switch (outcome.kind) {
|
|
54
|
+
case 'value':
|
|
55
|
+
out(` predicted ${outcome.predicted} · observed ${outcome.observed} ± ${outcome.sigma} ${outcome.units} · residual ${outcome.residualInSigma.toFixed(2)}σ · ${outcome.withinObserved ? 'within 1σ ✓' : 'outside 1σ'}`);
|
|
56
|
+
if (wantSensitivity) {
|
|
57
|
+
const ranked = api.decidingMeasurement(bridgeId);
|
|
58
|
+
if (ranked.length) {
|
|
59
|
+
out(` sensitivity (elasticity, ${SENSITIVITY_NOTE}):`);
|
|
60
|
+
for (const { input, elasticity } of ranked) {
|
|
61
|
+
out(` ${input}: ${elasticity}`);
|
|
62
|
+
}
|
|
63
|
+
}
|
|
64
|
+
else {
|
|
65
|
+
out(` sensitivity: no ranked-input model for be-${bridgeId}`);
|
|
66
|
+
}
|
|
67
|
+
}
|
|
68
|
+
break;
|
|
69
|
+
case 'upper-bound':
|
|
70
|
+
out(` predicted ${outcome.predicted} ${outcome.units} · bound ${outcome.bound} · ${outcome.satisfied ? 'not excluded ✓' : 'EXCLUDED'}`);
|
|
71
|
+
if (wantSensitivity)
|
|
72
|
+
out(` sensitivity: n/a for ${outcome.kind}-kind`);
|
|
73
|
+
break;
|
|
74
|
+
case 'consistency':
|
|
75
|
+
out(` predicted ${outcome.predicted} approaches ${outcome.approaches} ${outcome.units} · gap ${(outcome.fractionalGap * 100).toFixed(1)}%`);
|
|
76
|
+
if (wantSensitivity)
|
|
77
|
+
out(` sensitivity: n/a for ${outcome.kind}-kind`);
|
|
78
|
+
break;
|
|
79
|
+
case 'table':
|
|
80
|
+
out(` ${outcome.rows.length} rows (${outcome.units}):`);
|
|
81
|
+
for (const row of outcome.rows) {
|
|
82
|
+
out(` ${row.label}: predicted ${row.predicted} · observed ${row.observed} ± ${row.sigma} · ${row.residualInSigma.toFixed(2)}σ`);
|
|
83
|
+
}
|
|
84
|
+
if (wantSensitivity)
|
|
85
|
+
out(` sensitivity: n/a for ${outcome.kind}-kind`);
|
|
86
|
+
break;
|
|
87
|
+
}
|
|
88
|
+
out(` source: ${outcome.provenance.citation}`);
|
|
89
|
+
}
|
|
90
|
+
return 0;
|
|
91
|
+
}
|
|
92
|
+
export const command = { name: 'confront', aliases: [], flags: FLAGS, help: HELP, run };
|
|
93
|
+
registerCommand(command);
|
|
94
|
+
//# sourceMappingURL=confront.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"confront.js","sourceRoot":"","sources":["../../../src/cli/commands/confront.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC,MAAM,KAAK,GAAe;IACxB,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE;IAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,EAAE;IAC7C,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE;CACvC,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;6EAKgE,CAAC;AAE9E,MAAM,UAAU,GACd,oGAAoG,CAAC;AACvG,MAAM,sBAAsB,GAC1B,uFAAuF;IACvF,kFAAkF,CAAC;AAErF,SAAS,aAAa,CAAC,GAAW;IAChC,oCAAoC;IACpC,MAAM,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/C,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,QAAQ,CAAC,mCAAmC,GAAG,oBAAoB,CAAC,CAAC;IACvF,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACtB,CAAC;AAED,MAAM,gBAAgB,GAAG,8CAA8C,CAAC;AAExE,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAEtD,MAAM,OAAO,GACX,UAAU,IAAI,UAAU,CAAC,MAAM;QAC7B,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,MAAM,EAAE,GAAG,aAAa,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5D,MAAM,GAAG,GAAG,GAAG,CAAC,kBAAkB,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,CAAC;YACpE,IAAI,CAAC,GAAG;gBAAE,MAAM,IAAI,QAAQ,CAAC,oDAAoD,EAAE,EAAE,CAAC,CAAC;YACvF,OAAO,CAAC,GAAG,CAAC,CAAC;QACf,CAAC,CAAC,EAAE;QACN,CAAC,CAAC,GAAG,CAAC,kBAAkB,EAAE,CAAC;IAE/B,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IAEjG,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACpC,eAAe,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO;YAC3C,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE;YACpE,CAAC,CAAC,CAAC,CAAC,OAAO,CACd,CAAC;QACF,MAAM,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,UAAU,GAAG,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC;QACtF,QAAQ,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9E,OAAO,CAAC,CAAC;IACX,CAAC;IAED,GAAG,CAAC,oDAAoD,CAAC,CAAC;IAC1D,GAAG,CAAC,GAAG,GAAG,UAAU,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC;IAChF,KAAK,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,OAAO,EAAE,CAAC;QACnD,GAAG,CAAC,QAAQ,QAAQ,KAAK,KAAK,EAAE,CAAC,CAAC;QAClC,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,OAAO;gBACV,GAAG,CACD,iBAAiB,OAAO,CAAC,SAAS,eAAe,OAAO,CAAC,QAAQ,MAAM,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,eAAe,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,EAAE,CACrN,CAAC;gBACF,IAAI,eAAe,EAAE,CAAC;oBACpB,MAAM,MAAM,GAAG,GAAG,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;oBACjD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;wBAClB,GAAG,CAAC,gCAAgC,gBAAgB,IAAI,CAAC,CAAC;wBAC1D,KAAK,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,MAAM,EAAE,CAAC;4BAC3C,GAAG,CAAC,SAAS,KAAK,KAAK,UAAU,EAAE,CAAC,CAAC;wBACvC,CAAC;oBACH,CAAC;yBAAM,CAAC;wBACN,GAAG,CAAC,iDAAiD,QAAQ,EAAE,CAAC,CAAC;oBACnE,CAAC;gBACH,CAAC;gBACD,MAAM;YACR,KAAK,aAAa;gBAChB,GAAG,CACD,iBAAiB,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,KAAK,YAAY,OAAO,CAAC,KAAK,MAAM,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,EAAE,CACtI,CAAC;gBACF,IAAI,eAAe;oBAAE,GAAG,CAAC,4BAA4B,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC;gBAC1E,MAAM;YACR,KAAK,aAAa;gBAChB,GAAG,CACD,iBAAiB,OAAO,CAAC,SAAS,eAAe,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,KAAK,UAAU,CAAC,OAAO,CAAC,aAAa,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAC1I,CAAC;gBACF,IAAI,eAAe;oBAAE,GAAG,CAAC,4BAA4B,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC;gBAC1E,MAAM;YACR,KAAK,OAAO;gBACV,GAAG,CAAC,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,UAAU,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC;gBAC3D,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;oBAC/B,GAAG,CACD,SAAS,GAAG,CAAC,KAAK,eAAe,GAAG,CAAC,SAAS,eAAe,GAAG,CAAC,QAAQ,MAAM,GAAG,CAAC,KAAK,MAAM,GAAG,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAChI,CAAC;gBACJ,CAAC;gBACD,IAAI,eAAe;oBAAE,GAAG,CAAC,4BAA4B,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC;gBAC1E,MAAM;QACV,CAAC;QACD,GAAG,CAAC,eAAe,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACjG,eAAe,CAAC,OAAO,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"discover.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/discover.ts"],"names":[],"mappings":"AAQA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;
|
|
1
|
+
{"version":3,"file":"discover.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/discover.ts"],"names":[],"mappings":"AAQA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AA4O/E,eAAO,MAAM,OAAO,EAAE,OAMrB,CAAC"}
|