universal-physics-tensor 8.0.0 → 9.0.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 +8 -6
- package/data/atlas/atlas.json +21 -21
- package/data/atlas/atlas.jsonld +1 -1
- package/data/atlas/diffusion.json +5 -5
- package/data/atlas/oscillators.json +7 -7
- package/data/atlas/waves.json +11 -11
- package/data/bridge-catalog.json +490 -338
- package/data/bridge-catalog.schema.json +566 -40
- package/data/quantities.json +230 -218
- package/data/quantities.schema.json +52 -0
- package/data/units.json +1149 -0
- package/data/units.schema.json +124 -0
- package/dist/atlas/association.d.ts +1 -1
- package/dist/atlas/benchmark/hybrid-retrieval.d.ts.map +1 -1
- package/dist/atlas/benchmark/hybrid-retrieval.js +2 -5
- package/dist/atlas/benchmark/hybrid-retrieval.js.map +1 -1
- package/dist/atlas/physjs-entries.generated.d.ts +1601 -220
- package/dist/atlas/physjs-entries.generated.d.ts.map +1 -1
- package/dist/atlas/physjs-entries.generated.js +1854 -345
- package/dist/atlas/physjs-entries.generated.js.map +1 -1
- package/dist/atlas/physjs-ref.d.ts +89 -89
- package/dist/atlas/physjs-ref.d.ts.map +1 -1
- package/dist/atlas/physjs-ref.js +128 -176
- package/dist/atlas/physjs-ref.js.map +1 -1
- package/dist/atlas/proof-target.d.ts +16 -8
- package/dist/atlas/proof-target.d.ts.map +1 -1
- package/dist/atlas/proof-target.js +34 -31
- package/dist/atlas/proof-target.js.map +1 -1
- package/dist/bridges/catalog-adapter.d.ts.map +1 -1
- package/dist/bridges/catalog-adapter.js +5 -5
- package/dist/bridges/catalog-adapter.js.map +1 -1
- package/dist/bridges/catalog-load.d.ts +7 -0
- package/dist/bridges/catalog-load.d.ts.map +1 -1
- package/dist/bridges/catalog-load.js +69 -13
- package/dist/bridges/catalog-load.js.map +1 -1
- package/dist/bridges/catalog-types.d.ts +51 -6
- package/dist/bridges/catalog-types.d.ts.map +1 -1
- package/dist/bridges/evaluation-errors.d.ts +76 -0
- package/dist/bridges/evaluation-errors.d.ts.map +1 -0
- package/dist/bridges/evaluation-errors.js +118 -0
- package/dist/bridges/evaluation-errors.js.map +1 -0
- package/dist/bridges/evaluator-inputs.d.ts +5 -3
- package/dist/bridges/evaluator-inputs.d.ts.map +1 -1
- package/dist/bridges/evaluator-inputs.js +24 -24
- package/dist/bridges/evaluator-inputs.js.map +1 -1
- package/dist/bridges/evaluators.d.ts +32 -7
- package/dist/bridges/evaluators.d.ts.map +1 -1
- package/dist/bridges/evaluators.js +131 -29
- package/dist/bridges/evaluators.js.map +1 -1
- package/dist/bridges/expr-parse.d.ts +11 -3
- package/dist/bridges/expr-parse.d.ts.map +1 -1
- package/dist/bridges/expr-parse.js +46 -153
- package/dist/bridges/expr-parse.js.map +1 -1
- package/dist/bridges/holds.d.ts +11 -7
- package/dist/bridges/holds.d.ts.map +1 -1
- package/dist/bridges/holds.js +113 -234
- package/dist/bridges/holds.js.map +1 -1
- package/dist/bridges/input-contract.d.ts +65 -0
- package/dist/bridges/input-contract.d.ts.map +1 -0
- package/dist/bridges/input-contract.js +97 -0
- package/dist/bridges/input-contract.js.map +1 -0
- package/dist/bridges/notices.d.ts +11 -0
- package/dist/bridges/notices.d.ts.map +1 -0
- package/dist/bridges/notices.js +22 -0
- package/dist/bridges/notices.js.map +1 -0
- package/dist/canonical/canonical-equation.d.ts +31 -0
- package/dist/canonical/canonical-equation.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.d.ts.map +1 -1
- package/dist/canonical/entries/atomic.js +11 -1
- package/dist/canonical/entries/atomic.js.map +1 -1
- package/dist/canonical/entries/condensed-matter.d.ts.map +1 -1
- package/dist/canonical/entries/condensed-matter.js +3 -0
- package/dist/canonical/entries/condensed-matter.js.map +1 -1
- package/dist/canonical/entries/dimensional-classics.d.ts.map +1 -1
- package/dist/canonical/entries/dimensional-classics.js +48 -0
- package/dist/canonical/entries/dimensional-classics.js.map +1 -1
- package/dist/canonical/entries/electromagnetism.d.ts.map +1 -1
- package/dist/canonical/entries/electromagnetism.js +30 -0
- package/dist/canonical/entries/electromagnetism.js.map +1 -1
- package/dist/canonical/entries/fluids-waves.d.ts.map +1 -1
- package/dist/canonical/entries/fluids-waves.js +34 -0
- package/dist/canonical/entries/fluids-waves.js.map +1 -1
- package/dist/canonical/entries/mechanics.d.ts.map +1 -1
- package/dist/canonical/entries/mechanics.js +24 -0
- package/dist/canonical/entries/mechanics.js.map +1 -1
- package/dist/canonical/entries/nonmonomial.d.ts.map +1 -1
- package/dist/canonical/entries/nonmonomial.js +15 -4
- package/dist/canonical/entries/nonmonomial.js.map +1 -1
- package/dist/canonical/entries/relativity.d.ts.map +1 -1
- package/dist/canonical/entries/relativity.js +6 -0
- package/dist/canonical/entries/relativity.js.map +1 -1
- package/dist/canonical/entries/statistical-mechanics.d.ts.map +1 -1
- package/dist/canonical/entries/statistical-mechanics.js +19 -0
- package/dist/canonical/entries/statistical-mechanics.js.map +1 -1
- package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map +1 -1
- package/dist/canonical/entries/thermo-nuclear-cosmo.js +15 -0
- package/dist/canonical/entries/thermo-nuclear-cosmo.js.map +1 -1
- package/dist/cases/index.d.ts +9 -2
- package/dist/cases/index.d.ts.map +1 -1
- package/dist/cases/index.js +26 -7
- package/dist/cases/index.js.map +1 -1
- package/dist/cases/kepler-rv.js +6 -6
- package/dist/cases/kepler-rv.js.map +1 -1
- package/dist/cli/commands/_discovery-opts.d.ts +2 -1
- package/dist/cli/commands/_discovery-opts.d.ts.map +1 -1
- package/dist/cli/commands/_discovery-opts.js +7 -12
- package/dist/cli/commands/_discovery-opts.js.map +1 -1
- package/dist/cli/commands/atlas.d.ts.map +1 -1
- package/dist/cli/commands/atlas.js +6 -9
- package/dist/cli/commands/atlas.js.map +1 -1
- package/dist/cli/commands/audit.d.ts.map +1 -1
- package/dist/cli/commands/audit.js +1 -2
- package/dist/cli/commands/audit.js.map +1 -1
- package/dist/cli/commands/connectors.d.ts.map +1 -1
- package/dist/cli/commands/connectors.js +8 -9
- package/dist/cli/commands/connectors.js.map +1 -1
- package/dist/cli/commands/derive.js +9 -10
- package/dist/cli/commands/derive.js.map +1 -1
- package/dist/cli/commands/discover.d.ts.map +1 -1
- package/dist/cli/commands/discover.js +3 -4
- package/dist/cli/commands/discover.js.map +1 -1
- package/dist/cli/commands/eval.d.ts.map +1 -1
- package/dist/cli/commands/eval.js +17 -17
- package/dist/cli/commands/eval.js.map +1 -1
- package/dist/cli/commands/evaluate.d.ts +1 -35
- package/dist/cli/commands/evaluate.d.ts.map +1 -1
- package/dist/cli/commands/evaluate.js +56 -187
- package/dist/cli/commands/evaluate.js.map +1 -1
- package/dist/cli/commands/explain.d.ts.map +1 -1
- package/dist/cli/commands/explain.js +43 -38
- package/dist/cli/commands/explain.js.map +1 -1
- package/dist/cli/commands/ground.js +1 -1
- package/dist/cli/commands/ground.js.map +1 -1
- package/dist/cli/commands/map.js +3 -4
- package/dist/cli/commands/map.js.map +1 -1
- package/dist/cli/commands/metric.d.ts.map +1 -1
- package/dist/cli/commands/metric.js +3 -0
- package/dist/cli/commands/metric.js.map +1 -1
- package/dist/cli/commands/regime.js +1 -1
- package/dist/cli/commands/regime.js.map +1 -1
- package/dist/cli/commands/symbolic.d.ts.map +1 -1
- package/dist/cli/commands/symbolic.js +5 -2
- package/dist/cli/commands/symbolic.js.map +1 -1
- package/dist/cli/commands/testplan.js +3 -3
- package/dist/cli/commands/testplan.js.map +1 -1
- package/dist/cli/conventions.d.ts +6 -7
- package/dist/cli/conventions.d.ts.map +1 -1
- package/dist/cli/conventions.js +19 -28
- package/dist/cli/conventions.js.map +1 -1
- package/dist/cli/euler-guard.d.ts +13 -2
- package/dist/cli/euler-guard.d.ts.map +1 -1
- package/dist/cli/euler-guard.js +17 -3
- package/dist/cli/euler-guard.js.map +1 -1
- package/dist/cli/eval-numbers.d.ts +4 -9
- package/dist/cli/eval-numbers.d.ts.map +1 -1
- package/dist/cli/eval-numbers.js +11 -41
- package/dist/cli/eval-numbers.js.map +1 -1
- package/dist/cli/published-url.d.ts +2 -0
- package/dist/cli/published-url.d.ts.map +1 -1
- package/dist/cli/published-url.js +5 -0
- package/dist/cli/published-url.js.map +1 -1
- package/dist/cli/record-tables.d.ts +2 -1
- package/dist/cli/record-tables.d.ts.map +1 -1
- package/dist/cli/record-tables.js +8 -3
- package/dist/cli/record-tables.js.map +1 -1
- package/dist/cli-api.d.ts +45 -12
- package/dist/cli-api.d.ts.map +1 -1
- package/dist/cli-api.js +38 -11
- package/dist/cli-api.js.map +1 -1
- package/dist/composition/adjudication.d.ts +8 -30
- package/dist/composition/adjudication.d.ts.map +1 -1
- package/dist/composition/adjudication.js +15 -67
- package/dist/composition/adjudication.js.map +1 -1
- package/dist/composition/aliases.d.ts +1 -1
- package/dist/composition/aliases.d.ts.map +1 -1
- package/dist/composition/aliases.js +10 -20
- package/dist/composition/aliases.js.map +1 -1
- package/dist/composition/bridge-analysis.d.ts +4 -0
- package/dist/composition/bridge-analysis.d.ts.map +1 -1
- package/dist/composition/bridge-analysis.js +13 -14
- package/dist/composition/bridge-analysis.js.map +1 -1
- package/dist/composition/canonical-graph.d.ts +7 -9
- package/dist/composition/canonical-graph.d.ts.map +1 -1
- package/dist/composition/canonical-graph.js +35 -19
- package/dist/composition/canonical-graph.js.map +1 -1
- package/dist/composition/canonical-prefactors.d.ts +10 -29
- package/dist/composition/canonical-prefactors.d.ts.map +1 -1
- package/dist/composition/canonical-prefactors.js +15 -202
- package/dist/composition/canonical-prefactors.js.map +1 -1
- package/dist/composition/compose.js +2 -1
- package/dist/composition/compose.js.map +1 -1
- package/dist/composition/discovery.d.ts +50 -0
- package/dist/composition/discovery.d.ts.map +1 -1
- package/dist/composition/discovery.js +2 -2
- package/dist/composition/discovery.js.map +1 -1
- package/dist/composition/edge.d.ts +0 -14
- package/dist/composition/edge.d.ts.map +1 -1
- package/dist/composition/edge.js +1 -17
- package/dist/composition/edge.js.map +1 -1
- package/dist/composition/evaluate-relation.d.ts +29 -5
- package/dist/composition/evaluate-relation.d.ts.map +1 -1
- package/dist/composition/evaluate-relation.js +100 -72
- package/dist/composition/evaluate-relation.js.map +1 -1
- package/dist/composition/explain.d.ts +5 -0
- package/dist/composition/explain.d.ts.map +1 -1
- package/dist/composition/explain.js +9 -8
- package/dist/composition/explain.js.map +1 -1
- package/dist/composition/expr-eval.d.ts.map +1 -1
- package/dist/composition/expr-eval.js +2 -1
- package/dist/composition/expr-eval.js.map +1 -1
- package/dist/composition/index.d.ts +3 -1
- package/dist/composition/index.d.ts.map +1 -1
- package/dist/composition/index.js +3 -1
- package/dist/composition/index.js.map +1 -1
- package/dist/composition/proposed-bridges.d.ts.map +1 -1
- package/dist/composition/proposed-bridges.js +3 -2
- package/dist/composition/proposed-bridges.js.map +1 -1
- package/dist/composition/retrodiction.d.ts +8 -0
- package/dist/composition/retrodiction.d.ts.map +1 -1
- package/dist/composition/retrodiction.js +5 -0
- package/dist/composition/retrodiction.js.map +1 -1
- package/dist/composition/user-equation.d.ts +11 -7
- package/dist/composition/user-equation.d.ts.map +1 -1
- package/dist/composition/user-equation.js +24 -26
- package/dist/composition/user-equation.js.map +1 -1
- package/dist/core/constants.d.ts +27 -4
- package/dist/core/constants.d.ts.map +1 -1
- package/dist/core/constants.js +38 -5
- package/dist/core/constants.js.map +1 -1
- package/dist/core/data-file.d.ts +27 -0
- package/dist/core/data-file.d.ts.map +1 -0
- package/dist/core/data-file.js +48 -0
- package/dist/core/data-file.js.map +1 -0
- package/dist/core/json-schema.d.ts +27 -0
- package/dist/core/json-schema.d.ts.map +1 -0
- package/dist/core/json-schema.js +153 -0
- package/dist/core/json-schema.js.map +1 -0
- package/dist/core/types.d.ts +3 -2
- package/dist/core/types.d.ts.map +1 -1
- package/dist/core/types.js +16 -14
- package/dist/core/types.js.map +1 -1
- package/dist/diff/bridge-ast-gradient.d.ts.map +1 -1
- package/dist/diff/bridge-ast-gradient.js +6 -17
- package/dist/diff/bridge-ast-gradient.js.map +1 -1
- package/dist/diff/bridge-specs.d.ts +2 -1
- package/dist/diff/bridge-specs.d.ts.map +1 -1
- package/dist/diff/bridge-specs.js +1 -1
- package/dist/diff/bridge-specs.js.map +1 -1
- package/dist/dimensional/bridge-check.d.ts.map +1 -1
- package/dist/dimensional/bridge-check.js +3 -5
- package/dist/dimensional/bridge-check.js.map +1 -1
- package/dist/dimensional/constant-rows.d.ts +54 -0
- package/dist/dimensional/constant-rows.d.ts.map +1 -0
- package/dist/dimensional/constant-rows.js +111 -0
- package/dist/dimensional/constant-rows.js.map +1 -0
- package/dist/dimensional/constants.d.ts +4 -13
- package/dist/dimensional/constants.d.ts.map +1 -1
- package/dist/dimensional/constants.js +11 -19
- package/dist/dimensional/constants.js.map +1 -1
- package/dist/dimensional/dimension-spec.d.ts +12 -3
- package/dist/dimensional/dimension-spec.d.ts.map +1 -1
- package/dist/dimensional/dimension-spec.js +114 -150
- package/dist/dimensional/dimension-spec.js.map +1 -1
- package/dist/dimensional/exact-scale.d.ts +79 -0
- package/dist/dimensional/exact-scale.d.ts.map +1 -0
- package/dist/dimensional/exact-scale.js +222 -0
- package/dist/dimensional/exact-scale.js.map +1 -0
- package/dist/dimensional/formula-names.d.ts +13 -12
- package/dist/dimensional/formula-names.d.ts.map +1 -1
- package/dist/dimensional/formula-names.js +28 -51
- package/dist/dimensional/formula-names.js.map +1 -1
- package/dist/dimensional/quantity-registry.d.ts +10 -1
- package/dist/dimensional/quantity-registry.d.ts.map +1 -1
- package/dist/dimensional/quantity-registry.js +45 -16
- package/dist/dimensional/quantity-registry.js.map +1 -1
- package/dist/dimensional/symbolic-constants.d.ts +63 -19
- package/dist/dimensional/symbolic-constants.d.ts.map +1 -1
- package/dist/dimensional/symbolic-constants.js +109 -92
- package/dist/dimensional/symbolic-constants.js.map +1 -1
- package/dist/dimensional/unit-data.d.ts +70 -0
- package/dist/dimensional/unit-data.d.ts.map +1 -0
- package/dist/dimensional/unit-data.js +135 -0
- package/dist/dimensional/unit-data.js.map +1 -0
- package/dist/dimensional/units.d.ts +87 -24
- package/dist/dimensional/units.d.ts.map +1 -1
- package/dist/dimensional/units.js +253 -276
- package/dist/dimensional/units.js.map +1 -1
- package/dist/index.d.ts +15 -13
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +7 -4
- package/dist/index.js.map +1 -1
- package/dist/numerical/binding-value.d.ts +21 -1
- package/dist/numerical/binding-value.d.ts.map +1 -1
- package/dist/numerical/binding-value.js +123 -118
- package/dist/numerical/binding-value.js.map +1 -1
- package/dist/numerical/evaluator-uncertainty.d.ts +34 -0
- package/dist/numerical/evaluator-uncertainty.d.ts.map +1 -0
- package/dist/numerical/evaluator-uncertainty.js +117 -0
- package/dist/numerical/evaluator-uncertainty.js.map +1 -0
- package/dist/numerical/formula-contract.d.ts +4 -0
- package/dist/numerical/formula-contract.d.ts.map +1 -1
- package/dist/numerical/formula-contract.js +7 -0
- package/dist/numerical/formula-contract.js.map +1 -1
- package/dist/numerical/formula-dimension.d.ts +9 -0
- package/dist/numerical/formula-dimension.d.ts.map +1 -1
- package/dist/numerical/formula-dimension.js +64 -10
- package/dist/numerical/formula-dimension.js.map +1 -1
- package/dist/numerical/formula-mathts.d.ts.map +1 -1
- package/dist/numerical/formula-mathts.js +6 -2
- package/dist/numerical/formula-mathts.js.map +1 -1
- package/dist/numerical/gl4-integrator.d.ts.map +1 -1
- package/dist/numerical/gl4-integrator.js +3 -3
- package/dist/numerical/gl4-integrator.js.map +1 -1
- package/dist/numerical/spacetime-metrics.d.ts +4 -0
- package/dist/numerical/spacetime-metrics.d.ts.map +1 -1
- package/dist/numerical/spacetime-metrics.js +34 -4
- package/dist/numerical/spacetime-metrics.js.map +1 -1
- package/dist/relations/types.d.ts +8 -1
- package/dist/relations/types.d.ts.map +1 -1
- package/dist/relations/types.js +10 -0
- package/dist/relations/types.js.map +1 -1
- package/package.json +1 -1
package/dist/cli/conventions.js
CHANGED
|
@@ -4,45 +4,36 @@
|
|
|
4
4
|
* @module cli/conventions
|
|
5
5
|
* @internal
|
|
6
6
|
*/
|
|
7
|
-
|
|
7
|
+
import { canonicalById } from '../canonical/registry.js';
|
|
8
8
|
/**
|
|
9
|
-
* A factor or form difference is a failed check, except
|
|
10
|
-
*
|
|
11
|
-
*
|
|
12
|
-
*
|
|
9
|
+
* A factor or form difference is a failed check, except within a convention
|
|
10
|
+
* group: entries that share `conventionGroup` are one law under different
|
|
11
|
+
* conventions (the two Compton wavelengths differ by 2π), so a formula that
|
|
12
|
+
* agrees with one of them has matched that convention. The other difference
|
|
13
|
+
* is still printed. A formula that matches none of a group still fails.
|
|
13
14
|
* @internal
|
|
14
15
|
*/
|
|
15
16
|
export function canonicalCheckFailed(comparisons) {
|
|
16
17
|
const hard = comparisons.filter((c) => c.kind === 'factor' || c.kind === 'form');
|
|
17
18
|
if (hard.length === 0)
|
|
18
19
|
return false;
|
|
19
|
-
const
|
|
20
|
-
return !
|
|
20
|
+
const agreedGroups = new Set(comparisons.filter((c) => c.kind === 'agrees').map((c) => canonicalById(c.id)?.conventionGroup).filter((g) => g !== undefined));
|
|
21
|
+
return !hard.every((c) => {
|
|
22
|
+
const group = canonicalById(c.id)?.conventionGroup;
|
|
23
|
+
return group !== undefined && agreedGroups.has(group);
|
|
24
|
+
});
|
|
21
25
|
}
|
|
22
|
-
/** One line per convention
|
|
26
|
+
/** One line per convention note the listed entries carry; a note two entries share prints once. @internal */
|
|
23
27
|
export function conventionLines(ids) {
|
|
24
|
-
const has = new Set(ids);
|
|
25
28
|
const lines = [];
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
lines.
|
|
32
|
-
|
|
33
|
-
if (has.has('CE-gravitational-potential-energy')) {
|
|
34
|
-
lines.push('convention: gravitational potential energy is U = −G m1 m2/r. The minus is in the scalar AST; a positive formula differs by the factor −1.');
|
|
35
|
-
}
|
|
36
|
-
if (has.has('CE-hooke-law')) {
|
|
37
|
-
lines.push("convention: Hooke's law is F = −kx. The minus is in the scalar AST; a positive formula differs by the factor −1.");
|
|
38
|
-
}
|
|
39
|
-
if (has.has('CE-einstein-field-eq')) {
|
|
40
|
-
lines.push('convention: the Einstein-equation metric node is mostly-plus (−,+,+,+), the same signature as upt metric. ' +
|
|
41
|
-
'The 8π is in the scalar AST, so a comparison checks it.');
|
|
29
|
+
for (const id of ids) {
|
|
30
|
+
const note = canonicalById(id)?.conventionNote;
|
|
31
|
+
if (note === undefined)
|
|
32
|
+
continue;
|
|
33
|
+
const line = `convention: ${note}`;
|
|
34
|
+
if (!lines.includes(line))
|
|
35
|
+
lines.push(line);
|
|
42
36
|
}
|
|
43
37
|
return lines;
|
|
44
38
|
}
|
|
45
|
-
/** Printed beside be-65. The number is the coded formula; the 5 is convention-dependent. */
|
|
46
|
-
export const JEANS_FORMULA_NOTE = 'formula: M_J = (5 k_B T / (G μ m_u))^{3/2} · (3/(4π ρ))^{1/2}. ' +
|
|
47
|
-
'The leading 5 is convention-dependent; the number above is this formula, not a checked universal prefactor.';
|
|
48
39
|
//# sourceMappingURL=conventions.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"conventions.js","sourceRoot":"","sources":["../../src/cli/conventions.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,
|
|
1
|
+
{"version":3,"file":"conventions.js","sourceRoot":"","sources":["../../src/cli/conventions.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAEzD;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAClC,WAAsE;IAEtE,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IACjF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,MAAM,YAAY,GAAG,IAAI,GAAG,CAC1B,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAC/H,CAAC;IACF,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;QACvB,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,eAAe,CAAC;QACnD,OAAO,KAAK,KAAK,SAAS,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,6GAA6G;AAC7G,MAAM,UAAU,eAAe,CAAC,GAAsB;IACpD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,aAAa,CAAC,EAAE,CAAC,EAAE,cAAc,CAAC;QAC/C,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,IAAI,GAAG,eAAe,IAAI,EAAE,CAAC;QACnC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
|
|
@@ -4,6 +4,17 @@
|
|
|
4
4
|
* @module cli/euler-guard
|
|
5
5
|
* @internal
|
|
6
6
|
*/
|
|
7
|
-
|
|
8
|
-
|
|
7
|
+
import { UsageError } from './errors.js';
|
|
8
|
+
/**
|
|
9
|
+
* A usage error from the formula parser or its evaluation, tagged once with
|
|
10
|
+
* the parser that read it. The tag is added here, at construction, so a
|
|
11
|
+
* message is never inspected for an earlier tag: each throw site builds it
|
|
12
|
+
* from the parser's own message.
|
|
13
|
+
* @internal
|
|
14
|
+
*/
|
|
15
|
+
export declare class FormulaUsageError extends UsageError {
|
|
16
|
+
readonly detail: string;
|
|
17
|
+
readonly parser: 'mathts' | 'builtin';
|
|
18
|
+
constructor(detail: string, parser: 'mathts' | 'builtin');
|
|
19
|
+
}
|
|
9
20
|
//# sourceMappingURL=euler-guard.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"euler-guard.d.ts","sourceRoot":"","sources":["../../src/cli/euler-guard.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;
|
|
1
|
+
{"version":3,"file":"euler-guard.d.ts","sourceRoot":"","sources":["../../src/cli/euler-guard.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC;;;;;;GAMG;AACH,qBAAa,iBAAkB,SAAQ,UAAU;IAE7C,QAAQ,CAAC,MAAM,EAAE,MAAM;IACvB,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS;IAFvC,YACW,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,QAAQ,GAAG,SAAS,EAItC;CACF"}
|
package/dist/cli/euler-guard.js
CHANGED
|
@@ -4,8 +4,22 @@
|
|
|
4
4
|
* @module cli/euler-guard
|
|
5
5
|
* @internal
|
|
6
6
|
*/
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
7
|
+
import { UsageError } from './errors.js';
|
|
8
|
+
/**
|
|
9
|
+
* A usage error from the formula parser or its evaluation, tagged once with
|
|
10
|
+
* the parser that read it. The tag is added here, at construction, so a
|
|
11
|
+
* message is never inspected for an earlier tag: each throw site builds it
|
|
12
|
+
* from the parser's own message.
|
|
13
|
+
* @internal
|
|
14
|
+
*/
|
|
15
|
+
export class FormulaUsageError extends UsageError {
|
|
16
|
+
detail;
|
|
17
|
+
parser;
|
|
18
|
+
constructor(detail, parser) {
|
|
19
|
+
super(`${detail} (formula parser: ${parser})`);
|
|
20
|
+
this.detail = detail;
|
|
21
|
+
this.parser = parser;
|
|
22
|
+
this.name = 'FormulaUsageError';
|
|
23
|
+
}
|
|
10
24
|
}
|
|
11
25
|
//# sourceMappingURL=euler-guard.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"euler-guard.js","sourceRoot":"","sources":["../../src/cli/euler-guard.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;
|
|
1
|
+
{"version":3,"file":"euler-guard.js","sourceRoot":"","sources":["../../src/cli/euler-guard.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC;;;;;;GAMG;AACH,MAAM,OAAO,iBAAkB,SAAQ,UAAU;IAEpC,MAAM;IACN,MAAM;IAFjB,YACW,MAAc,EACd,MAA4B;QAErC,KAAK,CAAC,GAAG,MAAM,qBAAqB,MAAM,GAAG,CAAC,CAAC;sBAHtC,MAAM;sBACN,MAAM;QAGf,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF"}
|
|
@@ -8,16 +8,11 @@
|
|
|
8
8
|
* @module cli/eval-numbers
|
|
9
9
|
* @internal
|
|
10
10
|
*/
|
|
11
|
-
import type
|
|
12
|
-
/** ħ in eval is the exact quotient H_SI/(2π). */
|
|
13
|
-
export declare const HBAR_TRUNCATION_NOTE: string;
|
|
11
|
+
import { type UnitMode } from '../dimensional/natural-units.js';
|
|
14
12
|
/**
|
|
15
|
-
* Registered constants an eval may omit
|
|
16
|
-
*
|
|
17
|
-
*
|
|
18
|
-
* proton mass, `N_A` is the Avogadro constant, and `F` is the Faraday
|
|
19
|
-
* constant `N_A * e`. Bare `sigma` is not an alias of `sigma_sb`. Explicit
|
|
20
|
-
* `name=` wins over these.
|
|
13
|
+
* Registered constants an eval may omit: every spelling of the constant
|
|
14
|
+
* registry, plus `pi` and `tau`. A hyphenated spelling is not an identifier
|
|
15
|
+
* the parser can read and is left out. Explicit `name=` wins over these.
|
|
21
16
|
*
|
|
22
17
|
* `2pi`, `4pi` and `8pi` are in the scope. The MathTS parser reads those
|
|
23
18
|
* spellings as n·pi before the scope is consulted. The scope values match
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"eval-numbers.d.ts","sourceRoot":"","sources":["../../src/cli/eval-numbers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;
|
|
1
|
+
{"version":3,"file":"eval-numbers.d.ts","sourceRoot":"","sources":["../../src/cli/eval-numbers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAA4B,KAAK,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAE1F;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAQlE"}
|
package/dist/cli/eval-numbers.js
CHANGED
|
@@ -8,20 +8,12 @@
|
|
|
8
8
|
* @module cli/eval-numbers
|
|
9
9
|
* @internal
|
|
10
10
|
*/
|
|
11
|
-
import {
|
|
12
|
-
import {
|
|
13
|
-
import { MU0_SI } from '../dimensional/formula-names.js';
|
|
14
|
-
import { CONSTANTS } from '../dimensional/symbolic-constants.js';
|
|
15
|
-
/** ħ in eval is the exact quotient H_SI/(2π). */
|
|
16
|
-
export const HBAR_TRUNCATION_NOTE = 'note: hbar is HBAR_SI = H_SI/(2π), the exact reduced Planck constant. ' +
|
|
17
|
-
'The CODATA display 1.054571817e-34 is that quotient truncated (relative difference 6.127e-10).';
|
|
11
|
+
import { constantScope } from '../dimensional/symbolic-constants.js';
|
|
12
|
+
import { naturalConstantOverrides } from '../dimensional/natural-units.js';
|
|
18
13
|
/**
|
|
19
|
-
* Registered constants an eval may omit
|
|
20
|
-
*
|
|
21
|
-
*
|
|
22
|
-
* proton mass, `N_A` is the Avogadro constant, and `F` is the Faraday
|
|
23
|
-
* constant `N_A * e`. Bare `sigma` is not an alias of `sigma_sb`. Explicit
|
|
24
|
-
* `name=` wins over these.
|
|
14
|
+
* Registered constants an eval may omit: every spelling of the constant
|
|
15
|
+
* registry, plus `pi` and `tau`. A hyphenated spelling is not an identifier
|
|
16
|
+
* the parser can read and is left out. Explicit `name=` wins over these.
|
|
25
17
|
*
|
|
26
18
|
* `2pi`, `4pi` and `8pi` are in the scope. The MathTS parser reads those
|
|
27
19
|
* spellings as n·pi before the scope is consulted. The scope values match
|
|
@@ -30,35 +22,13 @@ export const HBAR_TRUNCATION_NOTE = 'note: hbar is HBAR_SI = H_SI/(2π), the exa
|
|
|
30
22
|
*/
|
|
31
23
|
export function codataScope(mode) {
|
|
32
24
|
const scope = {};
|
|
33
|
-
for (const [name,
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
scope.m_p = M_PROTON_SI;
|
|
38
|
-
scope.m_proton = M_PROTON_SI;
|
|
39
|
-
scope.N_A = N_A_SI;
|
|
40
|
-
scope.F = FARADAY_SI;
|
|
41
|
-
scope.M_sun = M_SUN_SI;
|
|
42
|
-
for (const { names } of CONSTANT_SPELLINGS) {
|
|
43
|
-
const canonical = names[0];
|
|
44
|
-
const fromRegistry = CONSTANTS[canonical]?.value;
|
|
45
|
-
const value = fromRegistry ?? (canonical === 'mu_0' ? MU0_SI : undefined);
|
|
46
|
-
if (value === undefined)
|
|
47
|
-
continue;
|
|
48
|
-
for (const alias of names) {
|
|
49
|
-
if (!/^[A-Za-z_][A-Za-z0-9_]*$/.test(alias))
|
|
50
|
-
continue;
|
|
51
|
-
if (scope[alias] === undefined)
|
|
52
|
-
scope[alias] = value;
|
|
53
|
-
}
|
|
25
|
+
for (const [name, value] of Object.entries(constantScope())) {
|
|
26
|
+
// A hyphenated spelling (`wien-constant`) is not a formula identifier; `8pi` is read as 8·pi.
|
|
27
|
+
if (!name.includes('-'))
|
|
28
|
+
scope[name] = value;
|
|
54
29
|
}
|
|
55
|
-
if (mode !== 'si')
|
|
56
|
-
scope
|
|
57
|
-
scope.hbar = 1;
|
|
58
|
-
scope.h = 2 * Math.PI;
|
|
59
|
-
}
|
|
60
|
-
if (mode === 'geometrized')
|
|
61
|
-
scope.G = 1;
|
|
30
|
+
if (mode !== 'si')
|
|
31
|
+
Object.assign(scope, naturalConstantOverrides(mode));
|
|
62
32
|
return scope;
|
|
63
33
|
}
|
|
64
34
|
//# sourceMappingURL=eval-numbers.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"eval-numbers.js","sourceRoot":"","sources":["../../src/cli/eval-numbers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"eval-numbers.js","sourceRoot":"","sources":["../../src/cli/eval-numbers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAiB,MAAM,iCAAiC,CAAC;AAE1F;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CAAC,IAAc;IACxC,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC;QAC5D,8FAA8F;QAC9F,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IAC/C,CAAC;IACD,IAAI,IAAI,KAAK,IAAI;QAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC;IACxE,OAAO,KAAK,CAAC;AACf,CAAC"}
|
|
@@ -9,4 +9,6 @@
|
|
|
9
9
|
*/
|
|
10
10
|
/** The GitHub blob URL of a repository-relative path. */
|
|
11
11
|
export declare function publishedUrl(repoPath: string): string;
|
|
12
|
+
/** The published URLs of the adjudication ledger's source documents, each once, in ledger order. */
|
|
13
|
+
export declare function adjudicationSourceUrls(): string[];
|
|
12
14
|
//# sourceMappingURL=published-url.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"published-url.d.ts","sourceRoot":"","sources":["../../src/cli/published-url.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;
|
|
1
|
+
{"version":3,"file":"published-url.d.ts","sourceRoot":"","sources":["../../src/cli/published-url.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAMH,yDAAyD;AACzD,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAIrD;AAED,oGAAoG;AACpG,wBAAgB,sBAAsB,IAAI,MAAM,EAAE,CAEjD"}
|
|
@@ -7,6 +7,7 @@
|
|
|
7
7
|
*
|
|
8
8
|
* @internal
|
|
9
9
|
*/
|
|
10
|
+
import { ADJUDICATIONS } from '../composition/adjudication.js';
|
|
10
11
|
const BLOB = 'https://github.com/danielsimonjr/Universal-Physics-Tensor/blob/master/';
|
|
11
12
|
/** The GitHub blob URL of a repository-relative path. */
|
|
12
13
|
export function publishedUrl(repoPath) {
|
|
@@ -15,4 +16,8 @@ export function publishedUrl(repoPath) {
|
|
|
15
16
|
throw new Error('publishedUrl: a repository path is required');
|
|
16
17
|
return `${BLOB}${path}`;
|
|
17
18
|
}
|
|
19
|
+
/** The published URLs of the adjudication ledger's source documents, each once, in ledger order. */
|
|
20
|
+
export function adjudicationSourceUrls() {
|
|
21
|
+
return [...new Set(ADJUDICATIONS.map((a) => publishedUrl(a.source)))];
|
|
22
|
+
}
|
|
18
23
|
//# sourceMappingURL=published-url.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"published-url.js","sourceRoot":"","sources":["../../src/cli/published-url.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,MAAM,IAAI,GAAG,wEAAwE,CAAC;AAEtF,yDAAyD;AACzD,MAAM,UAAU,YAAY,CAAC,QAAgB;IAC3C,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC/D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACtF,OAAO,GAAG,IAAI,GAAG,IAAI,EAAE,CAAC;AAC1B,CAAC"}
|
|
1
|
+
{"version":3,"file":"published-url.js","sourceRoot":"","sources":["../../src/cli/published-url.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,MAAM,IAAI,GAAG,wEAAwE,CAAC;AAEtF,yDAAyD;AACzD,MAAM,UAAU,YAAY,CAAC,QAAgB;IAC3C,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC/D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACtF,OAAO,GAAG,IAAI,GAAG,IAAI,EAAE,CAAC;AAC1B,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,sBAAsB;IACpC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACxE,CAAC"}
|
|
@@ -9,7 +9,8 @@
|
|
|
9
9
|
* - **module exports** — every numeric export of `core/constants` and of each module under
|
|
10
10
|
* `bridges/` and `cases/`, found by listing those directories, so a module added later is
|
|
11
11
|
* fingerprinted without being listed here;
|
|
12
|
-
* - **object tables** — the unit and prefix tables of `dimensional/units
|
|
12
|
+
* - **object tables** — the unit and prefix tables of `dimensional/units` (with the SHA-256 of
|
|
13
|
+
* `data/units.json`, the file they are read from), and the constant
|
|
13
14
|
* registries `dimensional/symbolic-constants` and `composition/canonical-graph`, flattened to
|
|
14
15
|
* `key.field` entries.
|
|
15
16
|
*
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"record-tables.d.ts","sourceRoot":"","sources":["../../src/cli/record-tables.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"record-tables.d.ts","sourceRoot":"","sources":["../../src/cli/record-tables.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAWH,oFAAoF;AACpF,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAEnD,uFAAuF;AACvF,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,uDAAuD;AACvD,MAAM,MAAM,SAAS,GAAG,gBAAgB,GAAG,QAAQ,CAAC;AAIpD,mGAAmG;AACnG,eAAO,MAAM,WAAW,QAAiD,CAAC;AAC1E,eAAO,MAAM,UAAU,QAA0C,CAAC;AAElE,2FAA2F;AAC3F,eAAO,MAAM,gBAAgB,WAAY,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,KAAG,MAC6B,CAAC;AA6BpG,eAAO,MAAM,SAAS,SAAU,MAAM,KAAG,MACsC,CAAC;AAiChF,oGAAoG;AACpG,wBAAgB,cAAc,IAAI,OAAO,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;CAAE,CAAC,CAoBrH"}
|
|
@@ -9,7 +9,8 @@
|
|
|
9
9
|
* - **module exports** — every numeric export of `core/constants` and of each module under
|
|
10
10
|
* `bridges/` and `cases/`, found by listing those directories, so a module added later is
|
|
11
11
|
* fingerprinted without being listed here;
|
|
12
|
-
* - **object tables** — the unit and prefix tables of `dimensional/units
|
|
12
|
+
* - **object tables** — the unit and prefix tables of `dimensional/units` (with the SHA-256 of
|
|
13
|
+
* `data/units.json`, the file they are read from), and the constant
|
|
13
14
|
* registries `dimensional/symbolic-constants` and `composition/canonical-graph`, flattened to
|
|
14
15
|
* `key.field` entries.
|
|
15
16
|
*
|
|
@@ -57,15 +58,19 @@ function moduleFiles(rel) {
|
|
|
57
58
|
export const tableName = (file) => relative(SOURCE_ROOT, file).slice(0, -MODULE_EXT.length).split(sep).join('/');
|
|
58
59
|
function objectTables() {
|
|
59
60
|
const units = {};
|
|
60
|
-
const { units: unitMap, prefixes, celsiusOffsetK } = unitTables();
|
|
61
|
-
for (const [sym, [scale, dim, prefixable]] of unitMap) {
|
|
61
|
+
const { units: unitMap, prefixes, celsiusOffsetK, sourceSha256 } = unitTables();
|
|
62
|
+
for (const [sym, [scale, dim, prefixable, cycles]] of unitMap) {
|
|
62
63
|
units[`${sym}.scale`] = scale;
|
|
63
64
|
units[`${sym}.dimension`] = dimensionText(dim);
|
|
64
65
|
units[`${sym}.prefixable`] = prefixable;
|
|
66
|
+
// A cycle-counting row multiplies an angular input by 2π, so it changes a result like a scale does.
|
|
67
|
+
units[`${sym}.cycles`] = cycles;
|
|
65
68
|
}
|
|
66
69
|
for (const [p, f] of prefixes)
|
|
67
70
|
units[`prefix.${p}`] = f;
|
|
68
71
|
units['degC.offsetK'] = celsiusOffsetK;
|
|
72
|
+
// The whole file, so a refused spelling, a prefix letter, an affine row or a note is covered too.
|
|
73
|
+
units['data/units.json.sha256'] = sourceSha256;
|
|
69
74
|
const registry = (table) => {
|
|
70
75
|
const out = {};
|
|
71
76
|
for (const [k, c] of Object.entries(table)) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"record-tables.js","sourceRoot":"","sources":["../../src/cli/record-tables.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"record-tables.js","sourceRoot":"","sources":["../../src/cli/record-tables.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAChD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,SAAS,IAAI,kBAAkB,EAAE,MAAM,sCAAsC,CAAC;AAEvF,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAcrD,MAAM,MAAM,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAEnF,mGAAmG;AACnG,MAAM,CAAC,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,KAAK,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC1E,MAAM,CAAC,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAElE,2FAA2F;AAC3F,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAkC,EAAU,EAAE,CAC7E,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEpG,wFAAwF;AACxF,MAAM,aAAa,GAAG,CAAC,CAAY,EAAU,EAAE,CAC5C,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAW;KAC/C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;KACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1B,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;AAEtB,MAAM,mBAAmB,GAAG,CAAC,gBAAgB,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;AAEnE,SAAS,WAAW,CAAC,GAAW;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IACpC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IACvC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,IAAI,GAAG,UAAU,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,CAAC,KAAK;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,OAAO,WAAW,CAAC,IAAI,CAAC;SACrB,IAAI,EAAE;SACN,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;QACb,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxB,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE;YAAE,OAAO,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAChE,OAAO,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,UAAU,EAAE,CAAC,IAAI,CAAC,KAAK,QAAQ,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3G,CAAC,CAAC,CAAC;AACP,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAY,EAAU,EAAE,CAChD,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAEhF,SAAS,YAAY;IACnB,MAAM,KAAK,GAA+B,EAAE,CAAC;IAC7C,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,EAAE,GAAG,UAAU,EAAE,CAAC;IAChF,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;QAC9D,KAAK,CAAC,GAAG,GAAG,QAAQ,CAAC,GAAG,KAAK,CAAC;QAC9B,KAAK,CAAC,GAAG,GAAG,YAAY,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QAC/C,KAAK,CAAC,GAAG,GAAG,aAAa,CAAC,GAAG,UAAU,CAAC;QACxC,oGAAoG;QACpG,KAAK,CAAC,GAAG,GAAG,SAAS,CAAC,GAAG,MAAM,CAAC;IAClC,CAAC;IACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,QAAQ;QAAE,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IACxD,KAAK,CAAC,cAAc,CAAC,GAAG,cAAc,CAAC;IACvC,kGAAkG;IAClG,KAAK,CAAC,wBAAwB,CAAC,GAAG,YAAY,CAAC;IAC/C,MAAM,QAAQ,GAAG,CAAC,KAAkE,EAA8B,EAAE;QAClH,MAAM,GAAG,GAA+B,EAAE,CAAC;QAC3C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;YAC5B,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/C,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,OAAO;QACL,mBAAmB,EAAE,KAAK;QAC1B,gCAAgC,EAAE,QAAQ,CAAC,kBAAkB,CAAC;QAC9D,6BAA6B,EAAE,QAAQ,CAAC,mBAAmB,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED,IAAI,MAAwG,CAAC;AAE7G,oGAAoG;AACpG,MAAM,UAAU,cAAc;IAC5B,MAAM,KAAK,CAAC,KAAK,IAAI,EAAE;QACrB,MAAM,KAAK,GAAsD,EAAE,CAAC;QACpE,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YAC5D,MAAM,GAAG,GAAG,CAAC,MAAM,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAA4B,CAAC;YAChF,MAAM,MAAM,GAA+B,EAAE,CAAC;YAC9C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;gBAAE,IAAI,OAAO,CAAC,KAAK,QAAQ;oBAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACnF,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC;QAC9F,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,MAAM,GAAkC,EAAE,CAAC;QACjD,MAAM,KAAK,GAA8B,EAAE,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5D,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QACrB,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAC3B,CAAC,CAAC,EAAE,CAAC;IACL,OAAO,MAAM,CAAC;AAChB,CAAC"}
|
package/dist/cli-api.d.ts
CHANGED
|
@@ -30,8 +30,8 @@ export { auditCoverage } from './composition/audit-coverage.js';
|
|
|
30
30
|
export { CONFRONTATIONS, listConfrontations, runConfrontation, confrontationRigor, rigorDistribution, } from './bridges/confrontations.js';
|
|
31
31
|
/** Ask for a caller-table confrontation. The catalog status does not change. */
|
|
32
32
|
export { requestCallerTableConfrontation } from './bridges/caller-table.js';
|
|
33
|
-
/** The catalog row, the id parser, and the relation a numeric id evaluates. */
|
|
34
|
-
export { catalogEntry, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';
|
|
33
|
+
/** The catalog row, the id parser (and its non-throwing form), and the relation a numeric id evaluates. */
|
|
34
|
+
export { catalogEntry, catalogIdNumber, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';
|
|
35
35
|
/** The two composition demonstrations the CLI prints. */
|
|
36
36
|
export { demonstrationEdges } from './composition/catalog-graph.js';
|
|
37
37
|
export type { ConfrontationEntry, RigorTier } from './bridges/confrontations.js';
|
|
@@ -39,6 +39,11 @@ export { consistencyComparison } from './bridges/observations/types.js';
|
|
|
39
39
|
export type { ConfrontationOutcome } from './bridges/observations/types.js';
|
|
40
40
|
export { decidingMeasurement } from './bridges/sensitivity.js';
|
|
41
41
|
export { BRIDGE_EVALUATORS, evaluateBridge } from './bridges/evaluators.js';
|
|
42
|
+
/**
|
|
43
|
+
* The input-contract errors: an absent, unknown, non-number, non-finite or twice-given input.
|
|
44
|
+
* `upt evaluate` reports each as a bad value (exit 1), never a usage error (exit 2), prefixed `upt evaluate:`.
|
|
45
|
+
*/
|
|
46
|
+
export { DuplicateInputError, InputTypeError, isInputContractError, MissingInputError, NonFiniteInputError, UnknownInputError, } from './bridges/evaluation-errors.js';
|
|
42
47
|
export type { EvaluatorSpec, EvaluatorParameter } from './bridges/evaluators.js';
|
|
43
48
|
export { resolveEvaluatorInputs } from './bridges/evaluator-inputs.js';
|
|
44
49
|
export { APPLIED_CASES, runAppliedCase } from './cases/index.js';
|
|
@@ -59,7 +64,9 @@ export { POSTER_GRAPH, posterJunctions, validatePoster, describePosterSource, }
|
|
|
59
64
|
export type { PosterGraph, PosterValidation } from './cli/poster-source.js';
|
|
60
65
|
export { DEFAULT_SEARCH_BUDGET, scanFrontier, findFrontierGap, expressionSearchGaps, scanWithExpressionGaps, problemFromResidualGap, makeResidualGap, loadSearchProblemFromJson, resolveObservationsPath, parseExprJson, runProbeSearch, formatProbeReport, loadStudyFromJson, loadStudyFile, runProbeStudy, formatProbeStudy, formatFrontierScan, formatFrontierGap, suggestDiscriminatingPoint, parseDesignBounds, runFalsification, rankPareto, } from './composition/probe/index.js';
|
|
61
66
|
export { annotateAdjudications, adjudicationFor, candidateId, ADJUDICATIONS, } from './composition/adjudication.js';
|
|
62
|
-
export type { AnnotatedCandidate
|
|
67
|
+
export type { AnnotatedCandidate } from './composition/adjudication.js';
|
|
68
|
+
/** One record of the adjudication ledger, exported from its owner, the catalog file's types. */
|
|
69
|
+
export type { CatalogAdjudication } from './bridges/catalog-types.js';
|
|
63
70
|
export { annotateConsequences } from './composition/consequence.js';
|
|
64
71
|
export type { ConsequenceAnnotatedCandidate, ConsequenceSignal, ConsequenceEvidence, } from './composition/consequence.js';
|
|
65
72
|
export { checkConventions, unknownConventionKeys } from './atlas/conventions.js';
|
|
@@ -106,17 +113,45 @@ export { scanCompositionRecovery } from './composition/composition-recovery.js';
|
|
|
106
113
|
*
|
|
107
114
|
* @internal
|
|
108
115
|
*/
|
|
109
|
-
export { curvatureReport, kerrEquatorialCircular, kerrGeodesic, kerrTurningPointOrbit, schwarzschildCircularOrbit, type MetricId, } from './numerical/spacetime-metrics.js';
|
|
116
|
+
export { curvatureReport, kerrEquatorialCircular, kerrGeodesic, kerrTurningPointOrbit, MetricMassError, schwarzschildCircularOrbit, type MetricId, } from './numerical/spacetime-metrics.js';
|
|
110
117
|
/**
|
|
111
118
|
* Binding readers for `upt eval`, `upt evaluate`, `upt regime`, and `upt path`.
|
|
112
119
|
*
|
|
113
120
|
* @internal
|
|
114
121
|
*/
|
|
115
|
-
export { readBinding, bindingInUnit, readNamedBinding } from './numerical/binding-value.js';
|
|
122
|
+
export { readBinding, bindingInUnit, readNamedBinding, BindingNumberError, TemperatureBindingError } from './numerical/binding-value.js';
|
|
123
|
+
/** GUM propagation through a closed-form evaluator, and the correlation-matrix check, for `upt evaluate --sigma/--corr`. */
|
|
124
|
+
export { propagateEvaluatorUncertainty, correlationIsPositiveSemidefinite } from './numerical/evaluator-uncertainty.js';
|
|
125
|
+
/** One propagated output, and one input's share of it. */
|
|
126
|
+
export type { PropagatedOutput, UncertaintyContribution } from './numerical/evaluator-uncertainty.js';
|
|
127
|
+
/** A stated constant checked against the registry; a disagreement is its own error. */
|
|
128
|
+
export { constantAgreement, ConstantDisagreementError } from './dimensional/symbolic-constants.js';
|
|
129
|
+
/** The quantity names a target is bound under, the near names of a miss, and the synonym fold. */
|
|
130
|
+
export { aliasesForTarget, nearQuantityNames, shareSynonyms } from './composition/aliases.js';
|
|
131
|
+
/** Synonym agreement and expansion of a binding set. */
|
|
132
|
+
export { assertSynonymAgreement, expandSynonymValues } from './dimensional/formula-names.js';
|
|
133
|
+
/** A dimensionless group a canonical equation multiplies (sound-speed's gamma): an input, not a graph node. */
|
|
134
|
+
export { CANONICAL_GROUP_PREFACTORS } from './composition/canonical-prefactors.js';
|
|
135
|
+
/** The one number formatter of explain text. */
|
|
136
|
+
export { formatQuantity } from './composition/explain.js';
|
|
137
|
+
/** A monomial odd in both carrier charge and mobility with opposite signs. */
|
|
138
|
+
export { CarrierSignError } from './bridges/carrier-sign.js';
|
|
139
|
+
/** The constant values a natural-unit mode overrides. */
|
|
140
|
+
export { naturalConstantOverrides } from './dimensional/natural-units.js';
|
|
141
|
+
/** The constant-value mode a formula is evaluated in: SI, natural, or geometrized. */
|
|
142
|
+
export type { UnitMode } from './dimensional/natural-units.js';
|
|
143
|
+
/** Kebab catalog names rewritten to one symbol each before a formula is parsed. */
|
|
144
|
+
export { rewriteCatalogHyphens } from './dimensional/hyphen-names.js';
|
|
145
|
+
/** A recovered prefactor that is a vacuum constant rewritten through α. */
|
|
146
|
+
export { vacuumConstantThroughAlpha } from './composition/bridge-analysis.js';
|
|
147
|
+
/** The ledger id of an orphan-connector pair, when both names are slugs. */
|
|
148
|
+
export { candidateIdIfSlug } from './composition/adjudication.js';
|
|
116
149
|
/** The catalog or parameter name a spelling means. The commands call this, not a second table. */
|
|
117
150
|
export { resolveQuantityName } from './index.js';
|
|
118
151
|
/** The edge and the closed-form evaluator for an id. An evaluator with no edge is not unknown. */
|
|
119
|
-
export { resolveEvaluable } from './composition/evaluate-relation.js';
|
|
152
|
+
export { evaluatorOutput, resolveEvaluable } from './composition/evaluate-relation.js';
|
|
153
|
+
/** The required inputs of an evaluator that no relation source reads. They do not change the value. */
|
|
154
|
+
export { unusedInputKeys } from './bridges/evaluators.js';
|
|
120
155
|
/** Two spellings of one quantity were given different numbers. The formula is not run. */
|
|
121
156
|
export { SynonymDisagreementError } from './dimensional/formula-names.js';
|
|
122
157
|
/**
|
|
@@ -131,12 +166,10 @@ export { builtinFormulaDimensionChecker } from './numerical/formula-dimension.js
|
|
|
131
166
|
* @internal
|
|
132
167
|
*/
|
|
133
168
|
export { missingEvaluatorMessage } from './bridges/evaluators.js';
|
|
134
|
-
/**
|
|
135
|
-
|
|
136
|
-
|
|
137
|
-
|
|
138
|
-
*/
|
|
139
|
-
export { C_SI, G_SI } from './core/constants.js';
|
|
169
|
+
/** The caveats printed beside a relation's value: its own notice and the notes of the constants it names. */
|
|
170
|
+
export { relationNotices } from './bridges/notices.js';
|
|
171
|
+
/** The notes of the registered constants a formula names. */
|
|
172
|
+
export { constantNotes } from './dimensional/symbolic-constants.js';
|
|
140
173
|
/** Quantity-graph edge type for `upt map`. @internal */
|
|
141
174
|
export type { BridgeEdge } from './composition/edge.js';
|
|
142
175
|
/** Visual map types for `upt map`. @internal */
|
package/dist/cli-api.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"cli-api.d.ts","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,+BAA+B,CAAC;AAGvC,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAGxE,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E
|
|
1
|
+
{"version":3,"file":"cli-api.d.ts","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,+BAA+B,CAAC;AAGvC,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAGxE,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,2GAA2G;AAC3G,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC1G,yDAAyD;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,YAAY,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,YAAY,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC5E;;;GAGG;AACH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACjE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC3E,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,YAAY,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAC7C,YAAY,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAKpE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAI3D,OAAO,EACL,YAAY,EACZ,eAAe,EACf,cAAc,EACd,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAI5E,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,uBAAuB,EACvB,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAItC,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AACvC,YAAY,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACxE,gGAAgG;AAChG,YAAY,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAKtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,YAAY,EACV,6BAA6B,EAC7B,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AAQtC,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACjF,YAAY,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAE5D,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAE/E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AAChG,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AACrF,YAAY,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAIzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAC/I,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,cAAc,GACf,MAAM,iCAAiC,CAAC;AACzC,YAAY,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpG,YAAY,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAC/E,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9J,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC5G,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC/E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAE5D;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF;;;;GAIG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,eAAe,EACf,0BAA0B,EAC1B,KAAK,QAAQ,GACd,MAAM,kCAAkC,CAAC;AAE1C;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACzI,4HAA4H;AAC5H,OAAO,EAAE,6BAA6B,EAAE,iCAAiC,EAAE,MAAM,sCAAsC,CAAC;AACxH,0DAA0D;AAC1D,YAAY,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AACtG,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AACnG,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9F,wDAAwD;AACxD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC7F,+GAA+G;AAC/G,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AACnF,gDAAgD;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,8EAA8E;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,yDAAyD;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,sFAAsF;AACtF,YAAY,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC/D,mFAAmF;AACnF,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,2EAA2E;AAC3E,OAAO,EAAE,0BAA0B,EAAE,MAAM,kCAAkC,CAAC;AAC9E,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,kGAAkG;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,kGAAkG;AAClG,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACvF,uGAAuG;AACvG,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,0FAA0F;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAE1E;;;;GAIG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,6GAA6G;AAC7G,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,6DAA6D;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAEpE,wDAAwD;AACxD,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAExD,gDAAgD;AAChD,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAExE,yDAAyD;AACzD,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAElE,2DAA2D;AAC3D,YAAY,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC"}
|
package/dist/cli-api.js
CHANGED
|
@@ -35,14 +35,19 @@ export { auditCoverage } from './composition/audit-coverage.js';
|
|
|
35
35
|
export { CONFRONTATIONS, listConfrontations, runConfrontation, confrontationRigor, rigorDistribution, } from './bridges/confrontations.js';
|
|
36
36
|
/** Ask for a caller-table confrontation. The catalog status does not change. */
|
|
37
37
|
export { requestCallerTableConfrontation } from './bridges/caller-table.js';
|
|
38
|
-
/** The catalog row, the id parser, and the relation a numeric id evaluates. */
|
|
39
|
-
export { catalogEntry, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';
|
|
38
|
+
/** The catalog row, the id parser (and its non-throwing form), and the relation a numeric id evaluates. */
|
|
39
|
+
export { catalogEntry, catalogIdNumber, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';
|
|
40
40
|
/** The two composition demonstrations the CLI prints. */
|
|
41
41
|
export { demonstrationEdges } from './composition/catalog-graph.js';
|
|
42
42
|
export { consistencyComparison } from './bridges/observations/types.js';
|
|
43
43
|
export { decidingMeasurement } from './bridges/sensitivity.js';
|
|
44
44
|
// Bridge-evaluator dispatch (`upt evaluate`) + axis-discrimination audit (`upt axes`).
|
|
45
45
|
export { BRIDGE_EVALUATORS, evaluateBridge } from './bridges/evaluators.js';
|
|
46
|
+
/**
|
|
47
|
+
* The input-contract errors: an absent, unknown, non-number, non-finite or twice-given input.
|
|
48
|
+
* `upt evaluate` reports each as a bad value (exit 1), never a usage error (exit 2), prefixed `upt evaluate:`.
|
|
49
|
+
*/
|
|
50
|
+
export { DuplicateInputError, InputTypeError, isInputContractError, MissingInputError, NonFiniteInputError, UnknownInputError, } from './bridges/evaluation-errors.js';
|
|
46
51
|
export { resolveEvaluatorInputs } from './bridges/evaluator-inputs.js';
|
|
47
52
|
export { APPLIED_CASES, runAppliedCase } from './cases/index.js';
|
|
48
53
|
export { convertValue, UnitError } from './dimensional/units.js';
|
|
@@ -117,17 +122,41 @@ export { scanCompositionRecovery } from './composition/composition-recovery.js';
|
|
|
117
122
|
*
|
|
118
123
|
* @internal
|
|
119
124
|
*/
|
|
120
|
-
export { curvatureReport, kerrEquatorialCircular, kerrGeodesic, kerrTurningPointOrbit, schwarzschildCircularOrbit, } from './numerical/spacetime-metrics.js';
|
|
125
|
+
export { curvatureReport, kerrEquatorialCircular, kerrGeodesic, kerrTurningPointOrbit, MetricMassError, schwarzschildCircularOrbit, } from './numerical/spacetime-metrics.js';
|
|
121
126
|
/**
|
|
122
127
|
* Binding readers for `upt eval`, `upt evaluate`, `upt regime`, and `upt path`.
|
|
123
128
|
*
|
|
124
129
|
* @internal
|
|
125
130
|
*/
|
|
126
|
-
export { readBinding, bindingInUnit, readNamedBinding } from './numerical/binding-value.js';
|
|
131
|
+
export { readBinding, bindingInUnit, readNamedBinding, BindingNumberError, TemperatureBindingError } from './numerical/binding-value.js';
|
|
132
|
+
/** GUM propagation through a closed-form evaluator, and the correlation-matrix check, for `upt evaluate --sigma/--corr`. */
|
|
133
|
+
export { propagateEvaluatorUncertainty, correlationIsPositiveSemidefinite } from './numerical/evaluator-uncertainty.js';
|
|
134
|
+
/** A stated constant checked against the registry; a disagreement is its own error. */
|
|
135
|
+
export { constantAgreement, ConstantDisagreementError } from './dimensional/symbolic-constants.js';
|
|
136
|
+
/** The quantity names a target is bound under, the near names of a miss, and the synonym fold. */
|
|
137
|
+
export { aliasesForTarget, nearQuantityNames, shareSynonyms } from './composition/aliases.js';
|
|
138
|
+
/** Synonym agreement and expansion of a binding set. */
|
|
139
|
+
export { assertSynonymAgreement, expandSynonymValues } from './dimensional/formula-names.js';
|
|
140
|
+
/** A dimensionless group a canonical equation multiplies (sound-speed's gamma): an input, not a graph node. */
|
|
141
|
+
export { CANONICAL_GROUP_PREFACTORS } from './composition/canonical-prefactors.js';
|
|
142
|
+
/** The one number formatter of explain text. */
|
|
143
|
+
export { formatQuantity } from './composition/explain.js';
|
|
144
|
+
/** A monomial odd in both carrier charge and mobility with opposite signs. */
|
|
145
|
+
export { CarrierSignError } from './bridges/carrier-sign.js';
|
|
146
|
+
/** The constant values a natural-unit mode overrides. */
|
|
147
|
+
export { naturalConstantOverrides } from './dimensional/natural-units.js';
|
|
148
|
+
/** Kebab catalog names rewritten to one symbol each before a formula is parsed. */
|
|
149
|
+
export { rewriteCatalogHyphens } from './dimensional/hyphen-names.js';
|
|
150
|
+
/** A recovered prefactor that is a vacuum constant rewritten through α. */
|
|
151
|
+
export { vacuumConstantThroughAlpha } from './composition/bridge-analysis.js';
|
|
152
|
+
/** The ledger id of an orphan-connector pair, when both names are slugs. */
|
|
153
|
+
export { candidateIdIfSlug } from './composition/adjudication.js';
|
|
127
154
|
/** The catalog or parameter name a spelling means. The commands call this, not a second table. */
|
|
128
155
|
export { resolveQuantityName } from './index.js';
|
|
129
156
|
/** The edge and the closed-form evaluator for an id. An evaluator with no edge is not unknown. */
|
|
130
|
-
export { resolveEvaluable } from './composition/evaluate-relation.js';
|
|
157
|
+
export { evaluatorOutput, resolveEvaluable } from './composition/evaluate-relation.js';
|
|
158
|
+
/** The required inputs of an evaluator that no relation source reads. They do not change the value. */
|
|
159
|
+
export { unusedInputKeys } from './bridges/evaluators.js';
|
|
131
160
|
/** Two spellings of one quantity were given different numbers. The formula is not run. */
|
|
132
161
|
export { SynonymDisagreementError } from './dimensional/formula-names.js';
|
|
133
162
|
/**
|
|
@@ -142,10 +171,8 @@ export { builtinFormulaDimensionChecker } from './numerical/formula-dimension.js
|
|
|
142
171
|
* @internal
|
|
143
172
|
*/
|
|
144
173
|
export { missingEvaluatorMessage } from './bridges/evaluators.js';
|
|
145
|
-
/**
|
|
146
|
-
|
|
147
|
-
|
|
148
|
-
|
|
149
|
-
*/
|
|
150
|
-
export { C_SI, G_SI } from './core/constants.js';
|
|
174
|
+
/** The caveats printed beside a relation's value: its own notice and the notes of the constants it names. */
|
|
175
|
+
export { relationNotices } from './bridges/notices.js';
|
|
176
|
+
/** The notes of the registered constants a formula names. */
|
|
177
|
+
export { constantNotes } from './dimensional/symbolic-constants.js';
|
|
151
178
|
//# sourceMappingURL=cli-api.js.map
|