universal-physics-tensor 0.7.3 → 0.15.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 +147 -109
- package/bin/upt.mjs +508 -0
- package/dist/bridges/be23-planckian-confrontation.d.ts +162 -0
- package/dist/bridges/be23-planckian-confrontation.d.ts.map +1 -0
- package/dist/bridges/be23-planckian-confrontation.js +196 -0
- package/dist/bridges/be23-planckian-confrontation.js.map +1 -0
- package/dist/bridges/be36-gw170817-confrontation.d.ts +111 -0
- package/dist/bridges/be36-gw170817-confrontation.d.ts.map +1 -0
- package/dist/bridges/be36-gw170817-confrontation.js +100 -0
- package/dist/bridges/be36-gw170817-confrontation.js.map +1 -0
- package/dist/bridges/bridge-equations.d.ts +129 -0
- package/dist/bridges/bridge-equations.d.ts.map +1 -0
- package/dist/bridges/bridge-equations.js +130 -0
- package/dist/bridges/bridge-equations.js.map +1 -0
- package/dist/bridges/catalog-adapter.d.ts +1 -1
- package/dist/bridges/catalog-adapter.js +1 -1
- package/dist/bridges/confrontation-coverage.d.ts +67 -0
- package/dist/bridges/confrontation-coverage.d.ts.map +1 -0
- package/dist/bridges/confrontation-coverage.js +83 -0
- package/dist/bridges/confrontation-coverage.js.map +1 -0
- package/dist/bridges/equations/_be-helpers.d.ts +2 -1
- package/dist/bridges/equations/_be-helpers.d.ts.map +1 -1
- package/dist/bridges/equations/be-12-coherence-length.d.ts +1 -1
- package/dist/bridges/equations/be-13-einstein-trace.d.ts +2 -2
- package/dist/bridges/equations/be-13-einstein-trace.js +1 -1
- package/dist/bridges/equations/be-14-ryu-takayanagi.d.ts +2 -2
- package/dist/bridges/equations/be-15-emergence.d.ts +19 -5
- package/dist/bridges/equations/be-15-emergence.d.ts.map +1 -1
- package/dist/bridges/equations/be-15-emergence.js +18 -4
- package/dist/bridges/equations/be-15-emergence.js.map +1 -1
- package/dist/bridges/equations/be-16-landauer.d.ts +1 -1
- package/dist/bridges/equations/be-17-einstein-cartan.d.ts +1 -1
- package/dist/bridges/equations/be-18-higgs-mass.d.ts +1 -1
- package/dist/bridges/equations/be-19-quantum-bounce.d.ts +1 -1
- package/dist/bridges/equations/be-20-vacuum-energy.d.ts +4 -4
- package/dist/bridges/equations/be-20-vacuum-energy.d.ts.map +1 -1
- package/dist/bridges/equations/be-20-vacuum-energy.js +4 -2
- package/dist/bridges/equations/be-20-vacuum-energy.js.map +1 -1
- package/dist/bridges/equations/be-22-topological-entanglement.d.ts +1 -1
- package/dist/bridges/equations/be-23-syk-planckian.d.ts +1 -1
- package/dist/bridges/equations/be-24-foerster-fret.d.ts +1 -1
- package/dist/bridges/equations/be-25-iit-phi.d.ts +1 -1
- package/dist/bridges/equations/be-25-orch-or.d.ts +13 -1
- package/dist/bridges/equations/be-25-orch-or.d.ts.map +1 -1
- package/dist/bridges/equations/be-25-orch-or.js +12 -0
- package/dist/bridges/equations/be-25-orch-or.js.map +1 -1
- package/dist/bridges/equations/be-26-dna-tunneling.d.ts +2 -2
- package/dist/bridges/equations/be-26-dna-tunneling.js +1 -1
- package/dist/bridges/equations/be-27-effective-temperature.d.ts +1 -1
- package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts +1 -1
- package/dist/bridges/equations/be-29-jarzynski.d.ts +1 -1
- package/dist/bridges/equations/be-30-flm-first-law.d.ts +2 -2
- package/dist/bridges/equations/be-31-causal-set-bd.d.ts +1 -1
- package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts +1 -1
- package/dist/bridges/equations/be-33-hertz-millis.d.ts +1 -1
- package/dist/bridges/equations/be-34-kibble-zurek.d.ts +1 -1
- package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts +1 -1
- package/dist/bridges/equations/be-36-gw-speed-bound.d.ts +12 -5
- package/dist/bridges/equations/be-36-gw-speed-bound.d.ts.map +1 -1
- package/dist/bridges/equations/be-36-gw-speed-bound.js +11 -4
- package/dist/bridges/equations/be-36-gw-speed-bound.js.map +1 -1
- package/dist/bridges/equations/be-38-mond.d.ts +1 -1
- package/dist/bridges/equations/be-39-asymptotic-safety.d.ts +2 -2
- package/dist/bridges/equations/be-40-composite-higgs.d.ts +1 -1
- package/dist/bridges/equations/be-41-swampland.d.ts +1 -1
- package/dist/bridges/equations/be-43-er-epr.d.ts +1 -1
- package/dist/bridges/equations/be-44-soft-hair.d.ts +1 -1
- package/dist/bridges/equations/be-45-tcc.d.ts +1 -1
- package/dist/bridges/equations/be-46-multiverse-measure.d.ts +1 -1
- package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts +1 -1
- package/dist/bridges/equations/be-48-grw-localization.d.ts +1 -1
- package/dist/bridges/equations/be-49-quantum-darwinism.d.ts +1 -1
- package/dist/bridges/equations/be-50-wheeler-feynman.d.ts +1 -1
- package/dist/bridges/index.d.ts +10 -7
- package/dist/bridges/index.d.ts.map +1 -1
- package/dist/bridges/index.js +47 -34
- package/dist/bridges/index.js.map +1 -1
- package/dist/bridges/membership.d.ts +44 -0
- package/dist/bridges/membership.d.ts.map +1 -0
- package/dist/bridges/membership.js +59 -0
- package/dist/bridges/membership.js.map +1 -0
- package/dist/bridges/rejected.d.ts +40 -0
- package/dist/bridges/rejected.d.ts.map +1 -0
- package/dist/bridges/rejected.js +81 -0
- package/dist/bridges/rejected.js.map +1 -0
- package/dist/composition/bridge-analysis.d.ts +189 -0
- package/dist/composition/bridge-analysis.d.ts.map +1 -0
- package/dist/composition/bridge-analysis.js +445 -0
- package/dist/composition/bridge-analysis.js.map +1 -0
- package/dist/composition/bridge-prediction.d.ts +95 -0
- package/dist/composition/bridge-prediction.d.ts.map +1 -0
- package/dist/composition/bridge-prediction.js +0 -0
- package/dist/composition/bridge-prediction.js.map +1 -0
- package/dist/composition/catalog-graph.d.ts +20 -0
- package/dist/composition/catalog-graph.d.ts.map +1 -0
- package/dist/composition/catalog-graph.js +39 -0
- package/dist/composition/catalog-graph.js.map +1 -0
- package/dist/composition/compose-surface.d.ts +12 -0
- package/dist/composition/compose-surface.d.ts.map +1 -0
- package/dist/composition/compose-surface.js +10 -0
- package/dist/composition/compose-surface.js.map +1 -0
- package/dist/composition/compose-symbolic.d.ts +75 -0
- package/dist/composition/compose-symbolic.d.ts.map +1 -0
- package/dist/composition/compose-symbolic.js +157 -0
- package/dist/composition/compose-symbolic.js.map +1 -0
- package/dist/composition/compose.d.ts +110 -0
- package/dist/composition/compose.d.ts.map +1 -0
- package/dist/composition/compose.js +231 -0
- package/dist/composition/compose.js.map +1 -0
- package/dist/composition/consistency.d.ts +24 -0
- package/dist/composition/consistency.d.ts.map +1 -0
- package/dist/composition/consistency.js +26 -0
- package/dist/composition/consistency.js.map +1 -0
- package/dist/composition/discovery.d.ts +104 -0
- package/dist/composition/discovery.d.ts.map +1 -0
- package/dist/composition/discovery.js +165 -0
- package/dist/composition/discovery.js.map +1 -0
- package/dist/composition/edge.d.ts +139 -0
- package/dist/composition/edge.d.ts.map +1 -0
- package/dist/composition/edge.js +72 -0
- package/dist/composition/edge.js.map +1 -0
- package/dist/composition/edges/calibration.d.ts +107 -0
- package/dist/composition/edges/calibration.d.ts.map +1 -0
- package/dist/composition/edges/calibration.js +373 -0
- package/dist/composition/edges/calibration.js.map +1 -0
- package/dist/composition/edges/catalog-full.d.ts +299 -0
- package/dist/composition/edges/catalog-full.d.ts.map +1 -0
- package/dist/composition/edges/catalog-full.js +989 -0
- package/dist/composition/edges/catalog-full.js.map +1 -0
- package/dist/composition/edges/catalog-tranche.d.ts +112 -0
- package/dist/composition/edges/catalog-tranche.d.ts.map +1 -0
- package/dist/composition/edges/catalog-tranche.js +241 -0
- package/dist/composition/edges/catalog-tranche.js.map +1 -0
- package/dist/composition/enumerate.d.ts +67 -0
- package/dist/composition/enumerate.d.ts.map +1 -0
- package/dist/composition/enumerate.js +78 -0
- package/dist/composition/enumerate.js.map +1 -0
- package/dist/composition/explain.d.ts +102 -0
- package/dist/composition/explain.d.ts.map +1 -0
- package/dist/composition/explain.js +244 -0
- package/dist/composition/explain.js.map +1 -0
- package/dist/composition/expr-eval.d.ts +33 -0
- package/dist/composition/expr-eval.d.ts.map +1 -0
- package/dist/composition/expr-eval.js +95 -0
- package/dist/composition/expr-eval.js.map +1 -0
- package/dist/composition/expr-simplify.d.ts +60 -0
- package/dist/composition/expr-simplify.d.ts.map +1 -0
- package/dist/composition/expr-simplify.js +330 -0
- package/dist/composition/expr-simplify.js.map +1 -0
- package/dist/composition/expr-subst.d.ts +29 -0
- package/dist/composition/expr-subst.d.ts.map +1 -0
- package/dist/composition/expr-subst.js +60 -0
- package/dist/composition/expr-subst.js.map +1 -0
- package/dist/composition/identifiability.d.ts +103 -0
- package/dist/composition/identifiability.d.ts.map +1 -0
- package/dist/composition/identifiability.js +148 -0
- package/dist/composition/identifiability.js.map +1 -0
- package/dist/composition/index.d.ts +37 -0
- package/dist/composition/index.d.ts.map +1 -0
- package/dist/composition/index.js +27 -0
- package/dist/composition/index.js.map +1 -0
- package/dist/composition/quantities.d.ts +297 -0
- package/dist/composition/quantities.d.ts.map +1 -0
- package/dist/composition/quantities.js +1017 -0
- package/dist/composition/quantities.js.map +1 -0
- package/dist/composition/quantity.d.ts +59 -0
- package/dist/composition/quantity.d.ts.map +1 -0
- package/dist/composition/quantity.js +36 -0
- package/dist/composition/quantity.js.map +1 -0
- package/dist/composition/retrodiction.d.ts +94 -0
- package/dist/composition/retrodiction.d.ts.map +1 -0
- package/dist/composition/retrodiction.js +171 -0
- package/dist/composition/retrodiction.js.map +1 -0
- package/dist/composition/symbolic-constants.d.ts +33 -0
- package/dist/composition/symbolic-constants.d.ts.map +1 -0
- package/dist/composition/symbolic-constants.js +50 -0
- package/dist/composition/symbolic-constants.js.map +1 -0
- package/dist/composition/uncertainty.d.ts +45 -0
- package/dist/composition/uncertainty.d.ts.map +1 -0
- package/dist/composition/uncertainty.js +59 -0
- package/dist/composition/uncertainty.js.map +1 -0
- package/dist/core/axes-registry.d.ts +1 -1
- package/dist/core/axes-registry.js +1 -1
- package/dist/core/cell.d.ts +0 -8
- package/dist/core/cell.d.ts.map +1 -1
- package/dist/core/cell.js +1 -1
- package/dist/core/cell.js.map +1 -1
- package/dist/core/constants.d.ts +15 -1
- package/dist/core/constants.d.ts.map +1 -1
- package/dist/core/constants.js +15 -1
- package/dist/core/constants.js.map +1 -1
- package/dist/core/flux-rules.d.ts +10 -13
- package/dist/core/flux-rules.d.ts.map +1 -1
- package/dist/core/flux-rules.js +19 -10
- package/dist/core/flux-rules.js.map +1 -1
- package/dist/core/labeled-tensor.d.ts +80 -1
- package/dist/core/labeled-tensor.d.ts.map +1 -1
- package/dist/core/labeled-tensor.js +263 -17
- package/dist/core/labeled-tensor.js.map +1 -1
- package/dist/core/universal-index.d.ts +1 -1
- package/dist/core/universal-index.js +1 -1
- package/dist/diff/bridge-gradient.d.ts +51 -8
- package/dist/diff/bridge-gradient.d.ts.map +1 -1
- package/dist/diff/bridge-gradient.js +75 -8
- package/dist/diff/bridge-gradient.js.map +1 -1
- package/dist/dimensional/buckingham.d.ts +103 -0
- package/dist/dimensional/buckingham.d.ts.map +1 -0
- package/dist/dimensional/buckingham.js +284 -0
- package/dist/dimensional/buckingham.js.map +1 -0
- package/dist/dimensional/dimension-spec.d.ts +24 -0
- package/dist/dimensional/dimension-spec.d.ts.map +1 -0
- package/dist/dimensional/dimension-spec.js +110 -0
- package/dist/dimensional/dimension-spec.js.map +1 -0
- package/dist/dimensional/field-equation-helpers.d.ts +1 -1
- package/dist/dimensional/field-equation-helpers.js +1 -1
- package/dist/dimensional/friedmann-equation.d.ts +1 -1
- package/dist/dimensional/friedmann-equation.js +1 -1
- package/dist/dimensional/gauge-field.d.ts +1 -1
- package/dist/dimensional/gauge-field.js +1 -1
- package/dist/dimensional/klein-gordon-equation.d.ts +8 -5
- package/dist/dimensional/klein-gordon-equation.d.ts.map +1 -1
- package/dist/dimensional/klein-gordon-equation.js +8 -5
- package/dist/dimensional/klein-gordon-equation.js.map +1 -1
- package/dist/dimensional/tensor-trace.d.ts +1 -1
- package/dist/dimensional/tensor-trace.js +1 -1
- package/dist/dimensional/validator.d.ts +13 -3
- package/dist/dimensional/validator.d.ts.map +1 -1
- package/dist/dimensional/validator.js +129 -42
- package/dist/dimensional/validator.js.map +1 -1
- package/dist/index.d.ts +34 -4
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +64 -3
- package/dist/index.js.map +1 -1
- package/dist/numerical/be37-covariant-eikonal.d.ts.map +1 -1
- package/dist/numerical/be37-covariant-eikonal.js +15 -18
- package/dist/numerical/be37-covariant-eikonal.js.map +1 -1
- package/dist/numerical/curvature-lowering-helpers.d.ts +7 -13
- package/dist/numerical/curvature-lowering-helpers.d.ts.map +1 -1
- package/dist/numerical/curvature-lowering-helpers.js +1 -1
- package/dist/numerical/curvature-lowering-helpers.js.map +1 -1
- package/dist/numerical/derivative-lowering.d.ts +2 -1
- package/dist/numerical/derivative-lowering.d.ts.map +1 -1
- package/dist/numerical/formula-dimension.d.ts +40 -0
- package/dist/numerical/formula-dimension.d.ts.map +1 -0
- package/dist/numerical/formula-dimension.js +199 -0
- package/dist/numerical/formula-dimension.js.map +1 -0
- package/dist/numerical/formula-mathts.d.ts +27 -0
- package/dist/numerical/formula-mathts.d.ts.map +1 -0
- package/dist/numerical/formula-mathts.js +98 -0
- package/dist/numerical/formula-mathts.js.map +1 -0
- package/dist/numerical/formula-registry.d.ts +30 -0
- package/dist/numerical/formula-registry.d.ts.map +1 -0
- package/dist/numerical/formula-registry.js +88 -0
- package/dist/numerical/formula-registry.js.map +1 -0
- package/dist/numerical/formula.d.ts +75 -0
- package/dist/numerical/formula.d.ts.map +1 -0
- package/dist/numerical/formula.js +275 -0
- package/dist/numerical/formula.js.map +1 -0
- package/dist/numerical/geometrized.d.ts +51 -0
- package/dist/numerical/geometrized.d.ts.map +1 -0
- package/dist/numerical/geometrized.js +66 -0
- package/dist/numerical/geometrized.js.map +1 -0
- package/dist/numerical/gl4-integrator.d.ts +8 -6
- package/dist/numerical/gl4-integrator.d.ts.map +1 -1
- package/dist/numerical/gl4-integrator.js +6 -6
- package/dist/numerical/gl4-integrator.js.map +1 -1
- package/dist/numerical/klein-gordon.d.ts +145 -0
- package/dist/numerical/klein-gordon.d.ts.map +1 -0
- package/dist/numerical/klein-gordon.js +145 -0
- package/dist/numerical/klein-gordon.js.map +1 -0
- package/dist/numerical/kretschmann.d.ts +43 -12
- package/dist/numerical/kretschmann.d.ts.map +1 -1
- package/dist/numerical/kretschmann.js +116 -29
- package/dist/numerical/kretschmann.js.map +1 -1
- package/dist/numerical/lowering.d.ts +18 -0
- package/dist/numerical/lowering.d.ts.map +1 -1
- package/dist/numerical/lowering.js +54 -42
- package/dist/numerical/lowering.js.map +1 -1
- package/dist/numerical/null-ic.d.ts +1 -1
- package/dist/numerical/null-ic.d.ts.map +1 -1
- package/dist/numerical/null-ic.js +3 -2
- package/dist/numerical/null-ic.js.map +1 -1
- package/dist/numerical/painleve-gullstrand-metric.d.ts +18 -6
- package/dist/numerical/painleve-gullstrand-metric.d.ts.map +1 -1
- package/dist/numerical/painleve-gullstrand-metric.js +31 -16
- package/dist/numerical/painleve-gullstrand-metric.js.map +1 -1
- package/dist/numerical/perihelion-finder.d.ts +4 -3
- package/dist/numerical/perihelion-finder.d.ts.map +1 -1
- package/dist/numerical/perihelion-finder.js +5 -4
- package/dist/numerical/perihelion-finder.js.map +1 -1
- package/dist/numerical/types.d.ts +6 -3
- package/dist/numerical/types.d.ts.map +1 -1
- package/dist/numerical/weyl-lowering.d.ts +4 -4
- package/dist/numerical/weyl-lowering.d.ts.map +1 -1
- package/dist/numerical/weyl-lowering.js +14 -1
- package/dist/numerical/weyl-lowering.js.map +1 -1
- package/package.json +19 -8
|
@@ -0,0 +1,148 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Identifiability classifier (Consequence 1 of
|
|
3
|
+
* docs/planning/Bridge-Inference-Epistemics-Note.md, designed in
|
|
4
|
+
* docs/planning/Identifiability-Classifier-Design-Note.md).
|
|
5
|
+
*
|
|
6
|
+
* Answers a STRUCTURAL question over the directed hypergraph of
|
|
7
|
+
* `BridgeEdge`s: given a set of known quantities and a target quantity,
|
|
8
|
+
* how many INDEPENDENT ways can the graph compute the target from the
|
|
9
|
+
* knowns? The count drives the epistemics-note trichotomy:
|
|
10
|
+
*
|
|
11
|
+
* - under-determined — unreachable; needs more inputs or more physics.
|
|
12
|
+
* - exactly-determined — one derivation; solvable (up to the
|
|
13
|
+
* dimensionless constant dimensional analysis cannot supply).
|
|
14
|
+
* - over-determined — ≥2 derivations; the surplus are FALSIFIABLE
|
|
15
|
+
* consistency constraints (each predicts the target; they must
|
|
16
|
+
* agree). The headline regime.
|
|
17
|
+
* - given — the target is itself a known (degenerate); derivations
|
|
18
|
+
* become cross-checks on the supplied value.
|
|
19
|
+
*
|
|
20
|
+
* This is STRUCTURAL, not parametric: it does not decide whether the
|
|
21
|
+
* resulting nonlinear system has a unique numeric solution (undecidable
|
|
22
|
+
* in general for closed-form evaluators). "Independent derivation" means
|
|
23
|
+
* a structurally distinct edge, NOT a provably-independent formula — two
|
|
24
|
+
* edges encoding the same relation are counted as two (an honest
|
|
25
|
+
* over-count). The classifier PROPOSES; humans filter (Part-VI §XXVII-B),
|
|
26
|
+
* exactly as `enumerateCompositions` does.
|
|
27
|
+
*
|
|
28
|
+
* @module composition/identifiability
|
|
29
|
+
*/
|
|
30
|
+
import { QUANTITY_IDENTIFICATIONS } from './compose.js';
|
|
31
|
+
/**
|
|
32
|
+
* The monotone forward closure: the least set ⊇ `knownNames` closed under
|
|
33
|
+
* "all of an edge's sources determinable ⟹ its target determinable",
|
|
34
|
+
* with identifications expanding it as directed name-equivalences.
|
|
35
|
+
*
|
|
36
|
+
* A parameter-free edge (empty `sources`) fires unconditionally — its
|
|
37
|
+
* target is in every closure (a constant is always determinable).
|
|
38
|
+
*
|
|
39
|
+
* @public
|
|
40
|
+
*/
|
|
41
|
+
export function forwardClosure(edges, knownNames, identifications = QUANTITY_IDENTIFICATIONS) {
|
|
42
|
+
const determinable = new Set(knownNames);
|
|
43
|
+
let changed = true;
|
|
44
|
+
while (changed) {
|
|
45
|
+
changed = false;
|
|
46
|
+
for (const ident of identifications) {
|
|
47
|
+
if (determinable.has(ident.from) && !determinable.has(ident.to)) {
|
|
48
|
+
determinable.add(ident.to);
|
|
49
|
+
changed = true;
|
|
50
|
+
}
|
|
51
|
+
}
|
|
52
|
+
for (const e of edges) {
|
|
53
|
+
if (determinable.has(e.target.name))
|
|
54
|
+
continue;
|
|
55
|
+
if (e.sources.every((s) => determinable.has(s.name))) {
|
|
56
|
+
determinable.add(e.target.name);
|
|
57
|
+
changed = true;
|
|
58
|
+
}
|
|
59
|
+
}
|
|
60
|
+
}
|
|
61
|
+
return determinable;
|
|
62
|
+
}
|
|
63
|
+
/** The quantities from which `targetName` is forward-reachable (its
|
|
64
|
+
* backward cone, target included). */
|
|
65
|
+
function backwardCone(edges, targetName) {
|
|
66
|
+
const cone = new Set([targetName]);
|
|
67
|
+
let changed = true;
|
|
68
|
+
while (changed) {
|
|
69
|
+
changed = false;
|
|
70
|
+
for (const e of edges) {
|
|
71
|
+
if (!cone.has(e.target.name))
|
|
72
|
+
continue;
|
|
73
|
+
for (const s of e.sources) {
|
|
74
|
+
if (!cone.has(s.name)) {
|
|
75
|
+
cone.add(s.name);
|
|
76
|
+
changed = true;
|
|
77
|
+
}
|
|
78
|
+
}
|
|
79
|
+
}
|
|
80
|
+
}
|
|
81
|
+
return cone;
|
|
82
|
+
}
|
|
83
|
+
/**
|
|
84
|
+
* Classify the structural identifiability of `targetName` given
|
|
85
|
+
* `knownNames` over `edges`. See the module docs and
|
|
86
|
+
* docs/planning/Identifiability-Classifier-Design-Note.md.
|
|
87
|
+
*
|
|
88
|
+
* @public
|
|
89
|
+
*/
|
|
90
|
+
export function classifyIdentifiability(edges, knownNames, targetName, opts = {}) {
|
|
91
|
+
const identifications = opts.identifications ?? QUANTITY_IDENTIFICATIONS;
|
|
92
|
+
const known = [...new Set(knownNames)];
|
|
93
|
+
const determinable = forwardClosure(edges, known, identifications);
|
|
94
|
+
// Derivations must not depend on the target itself: close over the
|
|
95
|
+
// graph with every edge INTO the target removed (excludes circular
|
|
96
|
+
// self-support — see the design note's worked counterexample).
|
|
97
|
+
const edgesMinusIntoTarget = edges.filter((e) => e.target.name !== targetName);
|
|
98
|
+
const dMinusT = forwardClosure(edgesMinusIntoTarget, known, identifications);
|
|
99
|
+
const derivations = edges
|
|
100
|
+
.filter((e) => e.target.name === targetName &&
|
|
101
|
+
e.sources.every((s) => dMinusT.has(s.name)))
|
|
102
|
+
.map((e) => e.id);
|
|
103
|
+
const isGiven = known.includes(targetName);
|
|
104
|
+
let verdict;
|
|
105
|
+
if (isGiven) {
|
|
106
|
+
verdict = 'given';
|
|
107
|
+
}
|
|
108
|
+
else if (!determinable.has(targetName)) {
|
|
109
|
+
verdict = 'under-determined';
|
|
110
|
+
}
|
|
111
|
+
else if (derivations.length >= 2) {
|
|
112
|
+
verdict = 'over-determined';
|
|
113
|
+
}
|
|
114
|
+
else {
|
|
115
|
+
verdict = 'exactly-determined';
|
|
116
|
+
}
|
|
117
|
+
const surplusConstraints = isGiven
|
|
118
|
+
? derivations.length
|
|
119
|
+
: Math.max(0, derivations.length - 1);
|
|
120
|
+
let blockingFrontier = [];
|
|
121
|
+
if (verdict === 'under-determined') {
|
|
122
|
+
const knownSet = new Set(known);
|
|
123
|
+
blockingFrontier = [...backwardCone(edges, targetName)]
|
|
124
|
+
.filter((q) => q !== targetName && !determinable.has(q) && !knownSet.has(q))
|
|
125
|
+
.sort();
|
|
126
|
+
}
|
|
127
|
+
return {
|
|
128
|
+
target: targetName,
|
|
129
|
+
known,
|
|
130
|
+
verdict,
|
|
131
|
+
derivations,
|
|
132
|
+
surplusConstraints,
|
|
133
|
+
blockingFrontier,
|
|
134
|
+
determinable: [...determinable].sort(),
|
|
135
|
+
};
|
|
136
|
+
}
|
|
137
|
+
/**
|
|
138
|
+
* Classify every quantity that is some edge's target, against one known
|
|
139
|
+
* set. The natural feeder for a retrodiction harness (mask a node, ask
|
|
140
|
+
* whether the graph recovers it). Sorted by target name.
|
|
141
|
+
*
|
|
142
|
+
* @public
|
|
143
|
+
*/
|
|
144
|
+
export function classifyAll(edges, knownNames, opts = {}) {
|
|
145
|
+
const targets = [...new Set(edges.map((e) => e.target.name))].sort();
|
|
146
|
+
return targets.map((t) => classifyIdentifiability(edges, knownNames, t, opts));
|
|
147
|
+
}
|
|
148
|
+
//# sourceMappingURL=identifiability.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"identifiability.js","sourceRoot":"","sources":["../../src/composition/identifiability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAIH,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AAqDxD;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAC5B,KAA4B,EAC5B,UAA6B,EAC7B,kBAAqD,wBAAwB;IAE7E,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS,UAAU,CAAC,CAAC;IACjD,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;YACpC,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBAChE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAC3B,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC9C,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBACrD,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAChC,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED;uCACuC;AACvC,SAAS,YAAY,CACnB,KAA4B,EAC5B,UAAkB;IAElB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,UAAU,CAAC,CAAC,CAAC;IAC3C,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YACvC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACjB,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAA4B,EAC5B,UAA6B,EAC7B,UAAkB,EAClB,OAA+B,EAAE;IAEjC,MAAM,eAAe,GAAG,IAAI,CAAC,eAAe,IAAI,wBAAwB,CAAC;IACzE,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;IAEvC,MAAM,YAAY,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;IAEnE,mEAAmE;IACnE,mEAAmE;IACnE,+DAA+D;IAC/D,MAAM,oBAAoB,GAAG,KAAK,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CACpC,CAAC;IACF,MAAM,OAAO,GAAG,cAAc,CAAC,oBAAoB,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;IAE7E,MAAM,WAAW,GAAG,KAAK;SACtB,MAAM,CACL,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU;QAC5B,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAC9C;SACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAEpB,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC3C,IAAI,OAA+B,CAAC;IACpC,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,GAAG,OAAO,CAAC;IACpB,CAAC;SAAM,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACzC,OAAO,GAAG,kBAAkB,CAAC;IAC/B,CAAC;SAAM,IAAI,WAAW,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,GAAG,iBAAiB,CAAC;IAC9B,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,oBAAoB,CAAC;IACjC,CAAC;IAED,MAAM,kBAAkB,GAAG,OAAO;QAChC,CAAC,CAAC,WAAW,CAAC,MAAM;QACpB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAExC,IAAI,gBAAgB,GAAa,EAAE,CAAC;IACpC,IAAI,OAAO,KAAK,kBAAkB,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,gBAAgB,GAAG,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;aACpD,MAAM,CACL,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CACpE;aACA,IAAI,EAAE,CAAC;IACZ,CAAC;IAED,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,KAAK;QACL,OAAO;QACP,WAAW;QACX,kBAAkB;QAClB,gBAAgB;QAChB,YAAY,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,EAAE;KACvC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CACzB,KAA4B,EAC5B,UAA6B,EAC7B,OAA+B,EAAE;IAEjC,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACvB,uBAAuB,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CACpD,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,37 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Composition graph (v0.8.0) — graph-lite `Quantity` / `BridgeEdge` /
|
|
3
|
+
* `composeEdges()` beside the catalog (NOT replacing it; the catalog
|
|
4
|
+
* in `src/bridges/index.ts` stays authoritative).
|
|
5
|
+
*
|
|
6
|
+
* See docs/planning/v0.8.0-Design.md and the calibration edges in
|
|
7
|
+
* `./edges/calibration.js` for the pre-registered CT-1/CT-1b/CT-2
|
|
8
|
+
* targets.
|
|
9
|
+
*
|
|
10
|
+
* @module composition
|
|
11
|
+
*/
|
|
12
|
+
export type { Quantity, RegimeAttributes } from './quantity.js';
|
|
13
|
+
export { regimesDiffer } from './quantity.js';
|
|
14
|
+
export type { BridgeEdge, EdgeConfidence, ValidityDomain } from './edge.js';
|
|
15
|
+
export { CompositionAliasError, CompositionDimensionError, CompositionJunctionError, DomainViolationError, evaluateEdge, } from './edge.js';
|
|
16
|
+
export type { ComposeOptions, QuantityIdentification } from './compose.js';
|
|
17
|
+
export { composeEdges, minConfidence, QUANTITY_IDENTIFICATIONS, SOURCE_ALIAS_DISPOSITIONS, } from './compose.js';
|
|
18
|
+
export type { AliasDisposition } from './compose.js';
|
|
19
|
+
export { consistencyRatio } from './consistency.js';
|
|
20
|
+
export { be11ZurekEdge, be12Edge, be16Edge, be37Edge, be42Edge, be42ViaRsEdge, be51Edge, be52Edge, lawSchwarzschildRadius, M_SUN_KG, } from './edges/calibration.js';
|
|
21
|
+
export { be14Edge, be19Edge, be21Edge, be48Edge, be53Edge, be54Edge, } from './edges/catalog-tranche.js';
|
|
22
|
+
export { be11Edge, be13Edge, be15Edge, be17Edge, be18Edge, be20Edge, be22Edge, be23Edge, be24Edge, be25Edge, be26Edge, be27Edge, be30Edge, be31Edge, be33Edge, be34Edge, be36Edge, be38Edge, be39Edge, be41Edge, be43Edge, be45Edge, be46Edge, be47Edge, be49Edge, be50Edge, CATALOG_FULL_EDGES, } from './edges/catalog-full.js';
|
|
23
|
+
export { CATALOG_GRAPH } from './catalog-graph.js';
|
|
24
|
+
export type { CompositionCandidate, EnumerationReport, } from './enumerate.js';
|
|
25
|
+
export { enumerateCompositions, REGISTERED_COMPOSITION_IDS, } from './enumerate.js';
|
|
26
|
+
export type { UncertaintyResult } from './uncertainty.js';
|
|
27
|
+
export { propagateUncertainty } from './uncertainty.js';
|
|
28
|
+
export type { IdentifiabilityVerdict, IdentifiabilityResult, IdentifiabilityOptions, } from './identifiability.js';
|
|
29
|
+
export { classifyIdentifiability, classifyAll, forwardClosure, } from './identifiability.js';
|
|
30
|
+
export type { RetrodictionOutcome, RetrodictionPrediction, RetrodictionResult, RetrodictionReport, RetrodictionOptions, } from './retrodiction.js';
|
|
31
|
+
export { retrodict, retrodictNode } from './retrodiction.js';
|
|
32
|
+
export type { DerivationExplanation, ExplainOptions, QuantityExplanation, } from './explain.js';
|
|
33
|
+
export { explainQuantity } from './explain.js';
|
|
34
|
+
export type { Observable, ComposeSymbolicOptions } from './compose-symbolic.js';
|
|
35
|
+
export { composeSymbolic, SymbolicCompositionError } from './compose-symbolic.js';
|
|
36
|
+
export { SymbolicEvalError } from './expr-eval.js';
|
|
37
|
+
//# sourceMappingURL=index.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/composition/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,YAAY,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC5E,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,EACpB,YAAY,GACb,MAAM,WAAW,CAAC;AAEnB,YAAY,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAC3E,OAAO,EACL,YAAY,EACZ,aAAa,EACb,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAErD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,EACL,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,YAAY,EACV,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,gBAAgB,CAAC;AAExB,YAAY,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAExD,YAAY,EACV,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,GACf,MAAM,sBAAsB,CAAC;AAE9B,YAAY,EACV,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAE7D,YAAY,EACV,qBAAqB,EACrB,cAAc,EACd,mBAAmB,GACpB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,YAAY,EAAE,UAAU,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC"}
|
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Composition graph (v0.8.0) — graph-lite `Quantity` / `BridgeEdge` /
|
|
3
|
+
* `composeEdges()` beside the catalog (NOT replacing it; the catalog
|
|
4
|
+
* in `src/bridges/index.ts` stays authoritative).
|
|
5
|
+
*
|
|
6
|
+
* See docs/planning/v0.8.0-Design.md and the calibration edges in
|
|
7
|
+
* `./edges/calibration.js` for the pre-registered CT-1/CT-1b/CT-2
|
|
8
|
+
* targets.
|
|
9
|
+
*
|
|
10
|
+
* @module composition
|
|
11
|
+
*/
|
|
12
|
+
export { regimesDiffer } from './quantity.js';
|
|
13
|
+
export { CompositionAliasError, CompositionDimensionError, CompositionJunctionError, DomainViolationError, evaluateEdge, } from './edge.js';
|
|
14
|
+
export { composeEdges, minConfidence, QUANTITY_IDENTIFICATIONS, SOURCE_ALIAS_DISPOSITIONS, } from './compose.js';
|
|
15
|
+
export { consistencyRatio } from './consistency.js';
|
|
16
|
+
export { be11ZurekEdge, be12Edge, be16Edge, be37Edge, be42Edge, be42ViaRsEdge, be51Edge, be52Edge, lawSchwarzschildRadius, M_SUN_KG, } from './edges/calibration.js';
|
|
17
|
+
export { be14Edge, be19Edge, be21Edge, be48Edge, be53Edge, be54Edge, } from './edges/catalog-tranche.js';
|
|
18
|
+
export { be11Edge, be13Edge, be15Edge, be17Edge, be18Edge, be20Edge, be22Edge, be23Edge, be24Edge, be25Edge, be26Edge, be27Edge, be30Edge, be31Edge, be33Edge, be34Edge, be36Edge, be38Edge, be39Edge, be41Edge, be43Edge, be45Edge, be46Edge, be47Edge, be49Edge, be50Edge, CATALOG_FULL_EDGES, } from './edges/catalog-full.js';
|
|
19
|
+
export { CATALOG_GRAPH } from './catalog-graph.js';
|
|
20
|
+
export { enumerateCompositions, REGISTERED_COMPOSITION_IDS, } from './enumerate.js';
|
|
21
|
+
export { propagateUncertainty } from './uncertainty.js';
|
|
22
|
+
export { classifyIdentifiability, classifyAll, forwardClosure, } from './identifiability.js';
|
|
23
|
+
export { retrodict, retrodictNode } from './retrodiction.js';
|
|
24
|
+
export { explainQuantity } from './explain.js';
|
|
25
|
+
export { composeSymbolic, SymbolicCompositionError } from './compose-symbolic.js';
|
|
26
|
+
export { SymbolicEvalError } from './expr-eval.js';
|
|
27
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/composition/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAG9C,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,EACpB,YAAY,GACb,MAAM,WAAW,CAAC;AAGnB,OAAO,EACL,YAAY,EACZ,aAAa,EACb,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,cAAc,CAAC;AAGtB,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,EACL,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,kBAAkB,GACnB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAMnD,OAAO,EACL,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAOxD,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,GACf,MAAM,sBAAsB,CAAC;AAS9B,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAO7D,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAG/C,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC"}
|
|
@@ -0,0 +1,297 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Centralized Quantity nodes — ONE object per canonical name (v0.11
|
|
3
|
+
* namespacing gate, acceptance criterion 6). Per the Adam vet
|
|
4
|
+
* (A-2/A-6.3), per-edge-module node definitions had drifted into
|
|
5
|
+
* duplicate-name distinct-object pairs: 'mass' across
|
|
6
|
+
* calibration/catalog-tranche, and two 'temperature' nodes within
|
|
7
|
+
* calibration itself. Name uniqueness is pinned by
|
|
8
|
+
* tests/composition/quantities.test.ts.
|
|
9
|
+
*
|
|
10
|
+
* Centralization removes the false-positive collision class; it does
|
|
11
|
+
* NOT decide composition-level aliasing questions — those are
|
|
12
|
+
* dispositions (compose.ts `SOURCE_ALIAS_DISPOSITIONS`).
|
|
13
|
+
*
|
|
14
|
+
*
|
|
15
|
+
* ⚠ UNIT-CONVENTION HETEROGENEITY (G-9 class, flagged 2026-06-11
|
|
16
|
+
* post-migration review): four nodes are GeV-valued in an otherwise
|
|
17
|
+
* SI(joule)-valued graph — `vacuum-expectation-value`,
|
|
18
|
+
* `dark-fermion-mass`, `planck-mass-energy`, `inflation-hubble-energy`
|
|
19
|
+
* (their evaluators speak GeV; the DIMENSION [energy] is honest but the
|
|
20
|
+
* VALUE convention differs by 1.602×10⁻¹⁰). Junctions match by name,
|
|
21
|
+
* and no registered identification crosses GeV↔J today — but any
|
|
22
|
+
* future identification touching these nodes must convert, or it will
|
|
23
|
+
* type-check and be numerically wrong. ALSO (Eve M-1): information
|
|
24
|
+
* nodes split three ways — `intrinsic-information` is BITS,
|
|
25
|
+
* `subsystem-entanglement-entropy` / `modular-hamiltonian-variation` /
|
|
26
|
+
* `entanglement-entropy-variation` are NATS, and
|
|
27
|
+
* `wormhole-entanglement-entropy` is J/K; bits↔nats share the
|
|
28
|
+
* DIMENSIONLESS dim, so a future identification across them would be
|
|
29
|
+
* wrong by ln 2 with no dimensional guard. The systematic fix is the
|
|
30
|
+
* G-9 units layer (v0.12); until then this banner is the guard.
|
|
31
|
+
*
|
|
32
|
+
* @module composition/quantities
|
|
33
|
+
*/
|
|
34
|
+
import type { Quantity } from './quantity.js';
|
|
35
|
+
/** Canonical node for `boundary-entanglement-entropy`. */
|
|
36
|
+
export declare const boundaryEntanglementEntropyQ: Quantity;
|
|
37
|
+
/** Canonical node for `brane-tension`. */
|
|
38
|
+
export declare const braneTensionQ: Quantity;
|
|
39
|
+
/** Canonical node for `color-number`. */
|
|
40
|
+
export declare const colorNumberQ: Quantity;
|
|
41
|
+
/** Canonical node for `critical-density`. */
|
|
42
|
+
export declare const criticalDensityQ: Quantity;
|
|
43
|
+
/** Canonical node for `decoherence-rate`. */
|
|
44
|
+
export declare const decoherenceRateQ: Quantity;
|
|
45
|
+
/** Canonical node for `deflection-angle`. */
|
|
46
|
+
export declare const deflectionAngleQ: Quantity;
|
|
47
|
+
/** Canonical node for `eccentricity`. */
|
|
48
|
+
export declare const eccentricityQ: Quantity;
|
|
49
|
+
/** Canonical node for `far-radius`. */
|
|
50
|
+
export declare const farRadiusQ: Quantity;
|
|
51
|
+
/** Canonical node for `flavor-number`. */
|
|
52
|
+
export declare const flavorNumberQ: Quantity;
|
|
53
|
+
/** Canonical node for `gauge-coupling`. */
|
|
54
|
+
export declare const gaugeCouplingQ: Quantity;
|
|
55
|
+
/** Canonical node for `grw-localization-rate`. */
|
|
56
|
+
export declare const grwLocalizationRateQ: Quantity;
|
|
57
|
+
/** Canonical node for `hawking-temperature`. */
|
|
58
|
+
export declare const hawkingTemperatureQ: Quantity;
|
|
59
|
+
/** Canonical node for `hubble-rate-squared`. */
|
|
60
|
+
export declare const hubbleRateSquaredQ: Quantity;
|
|
61
|
+
/** Canonical node for `impact-parameter`. */
|
|
62
|
+
export declare const impactParameterQ: Quantity;
|
|
63
|
+
/** Canonical node for `landauer-erasure-energy`. */
|
|
64
|
+
export declare const erasureEnergyQ: Quantity;
|
|
65
|
+
/** Canonical node for `mass`. */
|
|
66
|
+
export declare const massQ: Quantity;
|
|
67
|
+
/** Canonical node for `mass-density`. */
|
|
68
|
+
export declare const massDensityQ: Quantity;
|
|
69
|
+
/** Canonical node for `minimal-surface-area`. */
|
|
70
|
+
export declare const minimalSurfaceAreaQ: Quantity;
|
|
71
|
+
/** Canonical node for `near-radius`. */
|
|
72
|
+
export declare const nearRadiusQ: Quantity;
|
|
73
|
+
/** Canonical node for `perihelion-advance`. */
|
|
74
|
+
export declare const perihelionAdvanceQ: Quantity;
|
|
75
|
+
/** Canonical node for `relaxation-rate`. */
|
|
76
|
+
export declare const relaxationRateQ: Quantity;
|
|
77
|
+
/** Canonical node for `rescaled-cosmological-constant`. */
|
|
78
|
+
export declare const rescaledCosmologicalConstantQ: Quantity;
|
|
79
|
+
/** Canonical node for `schwarzschild-radius`. */
|
|
80
|
+
export declare const schwarzschildRadiusQ: Quantity;
|
|
81
|
+
/** Canonical node for `semi-major-axis`. */
|
|
82
|
+
export declare const semiMajorAxisQ: Quantity;
|
|
83
|
+
/** Canonical node for `shapiro-delay`. */
|
|
84
|
+
export declare const shapiroDelayQ: Quantity;
|
|
85
|
+
/** Canonical node for `superposition-extent`. */
|
|
86
|
+
export declare const superpositionExtentQ: Quantity;
|
|
87
|
+
/** Canonical node for `temperature`. */
|
|
88
|
+
export declare const temperatureQ: Quantity;
|
|
89
|
+
/** Canonical node for `thermal-de-broglie-wavelength`. */
|
|
90
|
+
export declare const thermalDeBroglieQ: Quantity;
|
|
91
|
+
/** Canonical node for `viscosity-entropy-ratio`. */
|
|
92
|
+
export declare const viscosityEntropyRatioQ: Quantity;
|
|
93
|
+
/** Canonical node for `yang-mills-beta`. */
|
|
94
|
+
export declare const yangMillsBetaQ: Quantity;
|
|
95
|
+
/** Canonical node for `system-environment-coupling` (BE-11 λ; dimensionless). */
|
|
96
|
+
export declare const systemEnvironmentCouplingQ: Quantity;
|
|
97
|
+
/** Canonical node for `reference-coupling` (BE-11 λ₀; dimensionless). */
|
|
98
|
+
export declare const referenceCouplingQ: Quantity;
|
|
99
|
+
/** Canonical node for `cosmological-constant-curvature` (Λ, [L⁻²]). */
|
|
100
|
+
export declare const cosmologicalConstantCurvatureQ: Quantity;
|
|
101
|
+
/** Canonical node for `stress-energy-trace` (T = g^μν T_μν, energy density). */
|
|
102
|
+
export declare const stressEnergyTraceQ: Quantity;
|
|
103
|
+
/** Canonical node for `ricci-scalar` (R, [L⁻²]). Shared by BE-13/BE-31. */
|
|
104
|
+
export declare const ricciScalarQ: Quantity;
|
|
105
|
+
/** Canonical node for `causal-set-count-0` (N_0, dimensionless). */
|
|
106
|
+
export declare const causalSetCount0Q: Quantity;
|
|
107
|
+
/** Canonical node for `causal-set-count-1` (N_1, dimensionless). */
|
|
108
|
+
export declare const causalSetCount1Q: Quantity;
|
|
109
|
+
/** Canonical node for `causal-set-count-2` (N_2, dimensionless). */
|
|
110
|
+
export declare const causalSetCount2Q: Quantity;
|
|
111
|
+
/** Canonical node for `causal-set-count-3` (N_3, dimensionless). */
|
|
112
|
+
export declare const causalSetCount3Q: Quantity;
|
|
113
|
+
/** Canonical node for `planck-length` (ℓ_P, [L]). */
|
|
114
|
+
export declare const planckLengthQ: Quantity;
|
|
115
|
+
/** Canonical node for `model-a-mobility` (Γ, [L²/T]). */
|
|
116
|
+
export declare const modelAMobilityQ: Quantity;
|
|
117
|
+
/** Canonical node for `time` (t, [T]). */
|
|
118
|
+
export declare const timeQ: Quantity;
|
|
119
|
+
/** Canonical node for `coarsening-length` (L(t), [L]). */
|
|
120
|
+
export declare const coarseningLengthQ: Quantity;
|
|
121
|
+
/** Canonical node for `einstein-coupling-prefactor-squared` ((c⁴/8πG)²). */
|
|
122
|
+
export declare const couplingPrefactorSquaredQ: Quantity;
|
|
123
|
+
/** Canonical node for `torsion-contraction-scalar` (T_λμν T^λμν). */
|
|
124
|
+
export declare const torsionContractionScalarQ: Quantity;
|
|
125
|
+
/** Canonical node for `spin-density-squared` (S²_spin). */
|
|
126
|
+
export declare const spinDensitySquaredQ: Quantity;
|
|
127
|
+
/** Canonical node for `yukawa-coupling` (g_dark, dimensionless). */
|
|
128
|
+
export declare const yukawaCouplingQ: Quantity;
|
|
129
|
+
/** Canonical node for `vacuum-expectation-value` (v_dark, energy). */
|
|
130
|
+
export declare const vacuumExpectationValueQ: Quantity;
|
|
131
|
+
/** Canonical node for `dark-fermion-mass` (m_dark, energy / natural units). */
|
|
132
|
+
export declare const darkFermionMassQ: Quantity;
|
|
133
|
+
/** Canonical node for `lambda-mass-density` (ρ_Λ, [M L⁻³]). */
|
|
134
|
+
export declare const lambdaMassDensityQ: Quantity;
|
|
135
|
+
/** Canonical node for `area-law-coefficient` (α, [L⁻¹]). */
|
|
136
|
+
export declare const areaLawCoefficientQ: Quantity;
|
|
137
|
+
/** Canonical node for `boundary-length` (L(R), [L]). */
|
|
138
|
+
export declare const boundaryLengthQ: Quantity;
|
|
139
|
+
/** Canonical node for `topological-entanglement-entropy` (γ, dimensionless). */
|
|
140
|
+
export declare const topologicalEntanglementEntropyQ: Quantity;
|
|
141
|
+
/** Canonical node for `subsystem-entanglement-entropy` (S(R), nats). */
|
|
142
|
+
export declare const subsystemEntanglementEntropyQ: Quantity;
|
|
143
|
+
/** Canonical node for `residual-resistivity` (ρ_0, Ω·m). */
|
|
144
|
+
export declare const residualResistivityQ: Quantity;
|
|
145
|
+
/** Canonical node for `effective-mass` (m*, carrier band mass — DISTINCT from gravitational `mass`). */
|
|
146
|
+
export declare const effectiveMassQ: Quantity;
|
|
147
|
+
/** Canonical node for `carrier-density` (n_e, [L⁻³]). */
|
|
148
|
+
export declare const carrierDensityQ: Quantity;
|
|
149
|
+
/** Canonical node for `syk-coefficient` (α_SYK, dimensionless O(1)). */
|
|
150
|
+
export declare const sykCoefficientQ: Quantity;
|
|
151
|
+
/** Canonical node for `resistivity` (ρ(T), Ω·m). */
|
|
152
|
+
export declare const resistivityQ: Quantity;
|
|
153
|
+
/** Canonical node for `donor-acceptor-distance` (R, [L]). */
|
|
154
|
+
export declare const donorAcceptorDistanceQ: Quantity;
|
|
155
|
+
/** Canonical node for `foerster-radius` (R_0, [L]). */
|
|
156
|
+
export declare const foersterRadiusQ: Quantity;
|
|
157
|
+
/** Canonical node for `fret-efficiency` (η, dimensionless ∈ [0,1]). */
|
|
158
|
+
export declare const fretEfficiencyQ: Quantity;
|
|
159
|
+
/** Canonical node for `conditional-probability` (p(s̃|s), dimensionless). */
|
|
160
|
+
export declare const conditionalProbabilityQ: Quantity;
|
|
161
|
+
/** Canonical node for `marginal-probability` (p(s̃), dimensionless). */
|
|
162
|
+
export declare const marginalProbabilityQ: Quantity;
|
|
163
|
+
/** Canonical node for `intrinsic-information` (ii, bits — dimensionless). */
|
|
164
|
+
export declare const intrinsicInformationQ: Quantity;
|
|
165
|
+
/** Canonical node for `attempt-frequency` (ν₀, [T⁻¹]). */
|
|
166
|
+
export declare const attemptFrequencyQ: Quantity;
|
|
167
|
+
/** Canonical node for `tunneling-mass` (m, proton mass — DISTINCT from gravitational `mass`). */
|
|
168
|
+
export declare const tunnelingMassQ: Quantity;
|
|
169
|
+
/** Canonical node for `barrier-height` (V−E, energy). */
|
|
170
|
+
export declare const barrierHeightQ: Quantity;
|
|
171
|
+
/** Canonical node for `barrier-width` (L, [L]). */
|
|
172
|
+
export declare const barrierWidthQ: Quantity;
|
|
173
|
+
/** Canonical node for `biological-rate-correction` (f(T,pH,EM), dimensionless). */
|
|
174
|
+
export declare const biologicalRateCorrectionQ: Quantity;
|
|
175
|
+
/** Canonical node for `mutation-rate` (Γ_mutation, [T⁻¹]). */
|
|
176
|
+
export declare const mutationRateQ: Quantity;
|
|
177
|
+
/** Canonical node for `active-noise-energy` (Σ_active, energy). */
|
|
178
|
+
export declare const activeNoiseEnergyQ: Quantity;
|
|
179
|
+
/** Canonical node for `effective-temperature` (T_eff, [Θ]). */
|
|
180
|
+
export declare const effectiveTemperatureQ: Quantity;
|
|
181
|
+
/** Canonical node for `modular-hamiltonian-variation` (δ⟨H_R⟩, nats). */
|
|
182
|
+
export declare const modularHamiltonianVariationQ: Quantity;
|
|
183
|
+
/** Canonical node for `entanglement-entropy-variation` (δS_EE, nats). */
|
|
184
|
+
export declare const entanglementEntropyVariationQ: Quantity;
|
|
185
|
+
/** Canonical node for `reference-correlation-length` (ξ_0, [L]). */
|
|
186
|
+
export declare const referenceCorrelationLengthQ: Quantity;
|
|
187
|
+
/** Canonical node for `reference-temperature` (T_0, [Θ]). */
|
|
188
|
+
export declare const referenceTemperatureQ: Quantity;
|
|
189
|
+
/** Canonical node for `static-exponent-nu` (ν, dimensionless). */
|
|
190
|
+
export declare const staticExponentNuQ: Quantity;
|
|
191
|
+
/** Canonical node for `dynamic-exponent-z` (z, dimensionless). */
|
|
192
|
+
export declare const dynamicExponentZQ: Quantity;
|
|
193
|
+
/** Canonical node for `quantum-correlation-length` (ξ_quantum, [L]). */
|
|
194
|
+
export declare const quantumCorrelationLengthQ: Quantity;
|
|
195
|
+
/** Canonical node for `quench-timescale` (τ_Q, [T]). */
|
|
196
|
+
export declare const quenchTimescaleQ: Quantity;
|
|
197
|
+
/** Canonical node for `microscopic-relaxation-time` (τ_0, [T]). */
|
|
198
|
+
export declare const microscopicRelaxationTimeQ: Quantity;
|
|
199
|
+
/** Canonical node for `spatial-dimension` (d, dimensionless). */
|
|
200
|
+
export declare const spatialDimensionQ: Quantity;
|
|
201
|
+
/** Canonical node for `defect-rest-mass` (m_defect, [M]). */
|
|
202
|
+
export declare const defectRestMassQ: Quantity;
|
|
203
|
+
/** Canonical node for `reheating-temperature` (T_reh, [Θ]). */
|
|
204
|
+
export declare const reheatingTemperatureQ: Quantity;
|
|
205
|
+
/** Canonical node for `defect-density` (n_defect, dimensionless scaling). */
|
|
206
|
+
export declare const defectDensityQ: Quantity;
|
|
207
|
+
/** Canonical node for `gravitational-wave-speed` (c_GW, velocity). */
|
|
208
|
+
export declare const gravitationalWaveSpeedQ: Quantity;
|
|
209
|
+
/** Canonical node for `gw-photon-speed-ratio` ((c_GW−c)/c, dimensionless). */
|
|
210
|
+
export declare const gwPhotonSpeedRatioQ: Quantity;
|
|
211
|
+
/** Canonical node for `newtonian-force` (F_N, [N]). */
|
|
212
|
+
export declare const newtonianForceQ: Quantity;
|
|
213
|
+
/** Canonical node for `mond-acceleration-scale` (a_0, [L T⁻²]). */
|
|
214
|
+
export declare const mondAccelerationScaleQ: Quantity;
|
|
215
|
+
/** Canonical node for `mond-force` (F, [N]). */
|
|
216
|
+
export declare const mondForceQ: Quantity;
|
|
217
|
+
/** Canonical node for `newton-coupling-dimensionless` (g = G k², dimensionless). */
|
|
218
|
+
export declare const newtonCouplingQ: Quantity;
|
|
219
|
+
/** Canonical node for `cosmological-constant-dimensionless` (λ = Λ/k², dimensionless). */
|
|
220
|
+
export declare const cosmologicalConstantDimensionlessQ: Quantity;
|
|
221
|
+
/** Canonical node for `truncation-coefficient-a` (A, dimensionless). */
|
|
222
|
+
export declare const truncationCoefficientAQ: Quantity;
|
|
223
|
+
/** Canonical node for `truncation-coefficient-b` (B, dimensionless). */
|
|
224
|
+
export declare const truncationCoefficientBQ: Quantity;
|
|
225
|
+
/** Canonical node for `truncation-coefficient-c` (C, dimensionless). */
|
|
226
|
+
export declare const truncationCoefficientCQ: Quantity;
|
|
227
|
+
/** Canonical node for `newton-coupling-beta` (β_g, dimensionless). */
|
|
228
|
+
export declare const newtonCouplingBetaQ: Quantity;
|
|
229
|
+
/** Canonical node for `reference-mass` (m₀, [M]). */
|
|
230
|
+
export declare const referenceMassQ: Quantity;
|
|
231
|
+
/** Canonical node for `swampland-coefficient` (α, dimensionless O(1)). */
|
|
232
|
+
export declare const swamplandCoefficientQ: Quantity;
|
|
233
|
+
/** Canonical node for `scalar-field-value` (φ, [M] canonically normalized). */
|
|
234
|
+
export declare const scalarFieldValueQ: Quantity;
|
|
235
|
+
/** Canonical node for `scalar-field-reference` (φ₀, [M]). */
|
|
236
|
+
export declare const scalarFieldReferenceQ: Quantity;
|
|
237
|
+
/** Canonical node for `planck-mass` (M_P, [M]). */
|
|
238
|
+
export declare const planckMassQ: Quantity;
|
|
239
|
+
/** Canonical node for `swampland-tower-mass` (m(φ), [M]). */
|
|
240
|
+
export declare const swamplandTowerMassQ: Quantity;
|
|
241
|
+
/** Canonical node for `wormhole-cross-section-area` (A_wormhole, [L²]). */
|
|
242
|
+
export declare const wormholeCrossSectionAreaQ: Quantity;
|
|
243
|
+
/** Canonical node for `wormhole-entanglement-entropy` (S, J/K). */
|
|
244
|
+
export declare const wormholeEntanglementEntropyQ: Quantity;
|
|
245
|
+
/** Canonical node for `inflation-hubble-energy` (H_inf, energy / natural units). */
|
|
246
|
+
export declare const inflationHubbleEnergyQ: Quantity;
|
|
247
|
+
/** Canonical node for `planck-mass-energy` (M_P in energy units, natural units). */
|
|
248
|
+
export declare const planckMassEnergyQ: Quantity;
|
|
249
|
+
/** Canonical node for `tensor-to-scalar-ratio` (r, dimensionless). */
|
|
250
|
+
export declare const tensorToScalarRatioQ: Quantity;
|
|
251
|
+
/** Canonical node for `tcc-correction-coefficient` (γ, dimensionless O(1)). */
|
|
252
|
+
export declare const tccCorrectionCoefficientQ: Quantity;
|
|
253
|
+
/** Canonical node for `max-efolds` (N_e_max, dimensionless). */
|
|
254
|
+
export declare const maxEfoldsQ: Quantity;
|
|
255
|
+
/** Canonical node for `measure-normalization` (A, dimensionless). */
|
|
256
|
+
export declare const measureNormalizationQ: Quantity;
|
|
257
|
+
/** Canonical node for `anthropic-model-parameter` (α, dimensionless). */
|
|
258
|
+
export declare const anthropicModelParameterQ: Quantity;
|
|
259
|
+
/** Canonical node for `landscape-parameter` (Λ, dimensionless ratio component). */
|
|
260
|
+
export declare const landscapeParameterQ: Quantity;
|
|
261
|
+
/** Canonical node for `anthropic-probability` (P(Λ), dimensionless). */
|
|
262
|
+
export declare const anthropicProbabilityQ: Quantity;
|
|
263
|
+
/** Canonical node for `hubble-rate` (H, [T⁻¹]). */
|
|
264
|
+
export declare const hubbleRateQ: Quantity;
|
|
265
|
+
/** Canonical node for `nucleon-yield-density` (Y, [L⁻³]). */
|
|
266
|
+
export declare const nucleonYieldDensityQ: Quantity;
|
|
267
|
+
/** Canonical node for `sm-reaction-rate-coefficient` (⟨σv⟩_SM, [L³ T⁻¹]). */
|
|
268
|
+
export declare const smReactionRateCoefficientQ: Quantity;
|
|
269
|
+
/** Canonical node for `proton-density` (n_p, [L⁻³]). */
|
|
270
|
+
export declare const protonDensityQ: Quantity;
|
|
271
|
+
/** Canonical node for `neutron-density` (n_n, [L⁻³]). */
|
|
272
|
+
export declare const neutronDensityQ: Quantity;
|
|
273
|
+
/** Canonical node for `dark-reaction-rate-coefficient` (⟨σv⟩_dark, [L³ T⁻¹]). */
|
|
274
|
+
export declare const darkReactionRateCoefficientQ: Quantity;
|
|
275
|
+
/** Canonical node for `dark-species-density` (n_χ, [L⁻³]). */
|
|
276
|
+
export declare const darkSpeciesDensityQ: Quantity;
|
|
277
|
+
/** Canonical node for `transfer-efficiency` (ε, dimensionless). */
|
|
278
|
+
export declare const transferEfficiencyQ: Quantity;
|
|
279
|
+
/** Canonical node for `nucleon-yield-rate` (dY/dt, [L⁻³ T⁻¹]). */
|
|
280
|
+
export declare const nucleonYieldRateQ: Quantity;
|
|
281
|
+
/** Canonical node for `total-mutual-information` (I(S:E), dimensionless). */
|
|
282
|
+
export declare const totalMutualInformationQ: Quantity;
|
|
283
|
+
/** Canonical node for `darwinism-magnitude` (α, dimensionless prefactor). */
|
|
284
|
+
export declare const darwinismMagnitudeQ: Quantity;
|
|
285
|
+
/** Canonical node for `fragment-count` (k, dimensionless). */
|
|
286
|
+
export declare const fragmentCountQ: Quantity;
|
|
287
|
+
/** Canonical node for `darwinism-decay-exponent` (β, dimensionless). */
|
|
288
|
+
export declare const darwinismDecayExponentQ: Quantity;
|
|
289
|
+
/** Canonical node for `fragment-mutual-information` (I(S:F_k), dimensionless). */
|
|
290
|
+
export declare const fragmentMutualInformationQ: Quantity;
|
|
291
|
+
/** Canonical node for `retarded-field-amplitude` (A_ret, [A] = V·s/m). */
|
|
292
|
+
export declare const retardedFieldAmplitudeQ: Quantity;
|
|
293
|
+
/** Canonical node for `advanced-field-amplitude` (A_adv, [A] = V·s/m). */
|
|
294
|
+
export declare const advancedFieldAmplitudeQ: Quantity;
|
|
295
|
+
/** Canonical node for `time-symmetry-residual` (r_TS, dimensionless). */
|
|
296
|
+
export declare const timeSymmetryResidualQ: Quantity;
|
|
297
|
+
//# sourceMappingURL=quantities.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"quantities.d.ts","sourceRoot":"","sources":["../../src/composition/quantities.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAeH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAsC9C,0DAA0D;AAC1D,eAAO,MAAM,4BAA4B,EAAE,QAK1C,CAAC;AAEF,0CAA0C;AAC1C,eAAO,MAAM,aAAa,EAAE,QAK3B,CAAC;AAEF,yCAAyC;AACzC,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AAEF,6CAA6C;AAC7C,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AAEF,6CAA6C;AAC7C,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AAEF,6CAA6C;AAC7C,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AAEF,yCAAyC;AACzC,eAAO,MAAM,aAAa,EAAE,QAK3B,CAAC;AAEF,uCAAuC;AACvC,eAAO,MAAM,UAAU,EAAE,QAKxB,CAAC;AAEF,0CAA0C;AAC1C,eAAO,MAAM,aAAa,EAAE,QAK3B,CAAC;AAEF,2CAA2C;AAC3C,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AAEF,kDAAkD;AAClD,eAAO,MAAM,oBAAoB,EAAE,QAKlC,CAAC;AAEF,gDAAgD;AAChD,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AAEF,gDAAgD;AAChD,eAAO,MAAM,kBAAkB,EAAE,QAKhC,CAAC;AAEF,6CAA6C;AAC7C,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AAEF,oDAAoD;AACpD,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AAEF,iCAAiC;AACjC,eAAO,MAAM,KAAK,EAAE,QAKnB,CAAC;AAEF,yCAAyC;AACzC,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AAEF,iDAAiD;AACjD,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AAEF,wCAAwC;AACxC,eAAO,MAAM,WAAW,EAAE,QAKzB,CAAC;AAEF,+CAA+C;AAC/C,eAAO,MAAM,kBAAkB,EAAE,QAKhC,CAAC;AAEF,4CAA4C;AAC5C,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AAEF,2DAA2D;AAC3D,eAAO,MAAM,6BAA6B,EAAE,QAK3C,CAAC;AAEF,iDAAiD;AACjD,eAAO,MAAM,oBAAoB,EAAE,QAKlC,CAAC;AAEF,4CAA4C;AAC5C,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AAEF,0CAA0C;AAC1C,eAAO,MAAM,aAAa,EAAE,QAK3B,CAAC;AAEF,iDAAiD;AACjD,eAAO,MAAM,oBAAoB,EAAE,QAKlC,CAAC;AAEF,wCAAwC;AACxC,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AAEF,0DAA0D;AAC1D,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AAEF,oDAAoD;AACpD,eAAO,MAAM,sBAAsB,EAAE,QAKpC,CAAC;AAEF,4CAA4C;AAC5C,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AAWF,iFAAiF;AACjF,eAAO,MAAM,0BAA0B,EAAE,QAKxC,CAAC;AAEF,yEAAyE;AACzE,eAAO,MAAM,kBAAkB,EAAE,QAKhC,CAAC;AAIF,uEAAuE;AACvE,eAAO,MAAM,8BAA8B,EAAE,QAK5C,CAAC;AAEF,gFAAgF;AAChF,eAAO,MAAM,kBAAkB,EAAE,QAKhC,CAAC;AAEF,2EAA2E;AAC3E,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AAEF,oEAAoE;AACpE,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AACF,oEAAoE;AACpE,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AACF,oEAAoE;AACpE,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AACF,oEAAoE;AACpE,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AACF,qDAAqD;AACrD,eAAO,MAAM,aAAa,EAAE,QAK3B,CAAC;AAIF,yDAAyD;AACzD,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,0CAA0C;AAC1C,eAAO,MAAM,KAAK,EAAE,QAKnB,CAAC;AACF,0DAA0D;AAC1D,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AAIF,4EAA4E;AAC5E,eAAO,MAAM,yBAAyB,EAAE,QAKvC,CAAC;AACF,qEAAqE;AACrE,eAAO,MAAM,yBAAyB,EAAE,QAKvC,CAAC;AACF,2DAA2D;AAC3D,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AAIF,oEAAoE;AACpE,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,sEAAsE;AACtE,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AACF,+EAA+E;AAC/E,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AAIF,+DAA+D;AAC/D,eAAO,MAAM,kBAAkB,EAAE,QAKhC,CAAC;AAIF,4DAA4D;AAC5D,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AACF,wDAAwD;AACxD,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,gFAAgF;AAChF,eAAO,MAAM,+BAA+B,EAAE,QAK7C,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,6BAA6B,EAAE,QAK3C,CAAC;AAIF,4DAA4D;AAC5D,eAAO,MAAM,oBAAoB,EAAE,QAKlC,CAAC;AACF,wGAAwG;AACxG,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AACF,yDAAyD;AACzD,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,oDAAoD;AACpD,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AAIF,6DAA6D;AAC7D,eAAO,MAAM,sBAAsB,EAAE,QAKpC,CAAC;AACF,uDAAuD;AACvD,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,uEAAuE;AACvE,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AAIF,6EAA6E;AAC7E,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,oBAAoB,EAAE,QAKlC,CAAC;AACF,6EAA6E;AAC7E,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AAIF,0DAA0D;AAC1D,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AACF,iGAAiG;AACjG,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AACF,yDAAyD;AACzD,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AACF,mDAAmD;AACnD,eAAO,MAAM,aAAa,EAAE,QAK3B,CAAC;AACF,mFAAmF;AACnF,eAAO,MAAM,yBAAyB,EAAE,QAKvC,CAAC;AACF,8DAA8D;AAC9D,eAAO,MAAM,aAAa,EAAE,QAK3B,CAAC;AAIF,mEAAmE;AACnE,eAAO,MAAM,kBAAkB,EAAE,QAKhC,CAAC;AACF,+DAA+D;AAC/D,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AAIF,yEAAyE;AACzE,eAAO,MAAM,4BAA4B,EAAE,QAK1C,CAAC;AACF,yEAAyE;AACzE,eAAO,MAAM,6BAA6B,EAAE,QAK3C,CAAC;AAIF,oEAAoE;AACpE,eAAO,MAAM,2BAA2B,EAAE,QAKzC,CAAC;AACF,6DAA6D;AAC7D,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AACF,kEAAkE;AAClE,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AACF,kEAAkE;AAClE,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,yBAAyB,EAAE,QAKvC,CAAC;AAIF,wDAAwD;AACxD,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AACF,mEAAmE;AACnE,eAAO,MAAM,0BAA0B,EAAE,QAKxC,CAAC;AACF,iEAAiE;AACjE,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AACF,6DAA6D;AAC7D,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,+DAA+D;AAC/D,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AACF,6EAA6E;AAC7E,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AAIF,sEAAsE;AACtE,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AACF,8EAA8E;AAC9E,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AAIF,uDAAuD;AACvD,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,mEAAmE;AACnE,eAAO,MAAM,sBAAsB,EAAE,QAKpC,CAAC;AACF,gDAAgD;AAChD,eAAO,MAAM,UAAU,EAAE,QAKxB,CAAC;AAIF,oFAAoF;AACpF,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,0FAA0F;AAC1F,eAAO,MAAM,kCAAkC,EAAE,QAKhD,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AACF,sEAAsE;AACtE,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AAIF,qDAAqD;AACrD,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AACF,0EAA0E;AAC1E,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AACF,+EAA+E;AAC/E,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AACF,6DAA6D;AAC7D,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AACF,mDAAmD;AACnD,eAAO,MAAM,WAAW,EAAE,QAKzB,CAAC;AACF,6DAA6D;AAC7D,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AAIF,2EAA2E;AAC3E,eAAO,MAAM,yBAAyB,EAAE,QAKvC,CAAC;AACF,mEAAmE;AACnE,eAAO,MAAM,4BAA4B,EAAE,QAK1C,CAAC;AAIF,oFAAoF;AACpF,eAAO,MAAM,sBAAsB,EAAE,QAKpC,CAAC;AACF,oFAAoF;AACpF,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AACF,sEAAsE;AACtE,eAAO,MAAM,oBAAoB,EAAE,QAKlC,CAAC;AACF,+EAA+E;AAC/E,eAAO,MAAM,yBAAyB,EAAE,QAKvC,CAAC;AACF,gEAAgE;AAChE,eAAO,MAAM,UAAU,EAAE,QAKxB,CAAC;AAIF,qEAAqE;AACrE,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AACF,yEAAyE;AACzE,eAAO,MAAM,wBAAwB,EAAE,QAKtC,CAAC;AACF,mFAAmF;AACnF,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AAIF,mDAAmD;AACnD,eAAO,MAAM,WAAW,EAAE,QAKzB,CAAC;AACF,6DAA6D;AAC7D,eAAO,MAAM,oBAAoB,EAAE,QAKlC,CAAC;AACF,6EAA6E;AAC7E,eAAO,MAAM,0BAA0B,EAAE,QAKxC,CAAC;AACF,wDAAwD;AACxD,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AACF,yDAAyD;AACzD,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,iFAAiF;AACjF,eAAO,MAAM,4BAA4B,EAAE,QAK1C,CAAC;AACF,8DAA8D;AAC9D,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AACF,mEAAmE;AACnE,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AACF,kEAAkE;AAClE,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AAIF,6EAA6E;AAC7E,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AACF,6EAA6E;AAC7E,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AACF,8DAA8D;AAC9D,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AACF,kFAAkF;AAClF,eAAO,MAAM,0BAA0B,EAAE,QAKxC,CAAC;AAIF,0EAA0E;AAC1E,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AACF,0EAA0E;AAC1E,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AACF,yEAAyE;AACzE,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC"}
|