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,107 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Calibration edges — catalog-backed `BridgeEdge` wrappers for the
|
|
3
|
+
* v0.8.0 pre-registered composition targets (CT-1, CT-1b, CT-2; see
|
|
4
|
+
* docs/planning/v0.8.0-Design.md §2).
|
|
5
|
+
*
|
|
6
|
+
* Each edge wraps an EXISTING catalog evaluator (the catalog stays
|
|
7
|
+
* authoritative — design D-4) and carries the first-class validity
|
|
8
|
+
* domain the catalog previously kept only as prose (G-8).
|
|
9
|
+
*
|
|
10
|
+
* `lawSchwarzschildRadius` is the first diagonal-law edge (P-1):
|
|
11
|
+
* BE-1–10 laws are not individually catalogued, but composition chains
|
|
12
|
+
* need them as connective tissue — its endpoints SHARE regime
|
|
13
|
+
* attributes (classical/gravitational), the complement of the bridge
|
|
14
|
+
* criterion.
|
|
15
|
+
*
|
|
16
|
+
* @module composition/edges/calibration
|
|
17
|
+
*/
|
|
18
|
+
import type { BridgeEdge } from '../edge.js';
|
|
19
|
+
/**
|
|
20
|
+
* Solar mass (kg) — alias of `M_SUN_SI` from `src/core/constants.ts`
|
|
21
|
+
* (promoted there in the v0.8.0 punch-list; this re-export keeps the
|
|
22
|
+
* original public name stable).
|
|
23
|
+
*
|
|
24
|
+
* @public
|
|
25
|
+
*/
|
|
26
|
+
export declare const M_SUN_KG = 1.989e+30;
|
|
27
|
+
/**
|
|
28
|
+
* BE-42 Hawking temperature as a graph edge: mass → hawking-temperature.
|
|
29
|
+
* Endpoints differ in `scale` (classical → quantum): a bridge under the
|
|
30
|
+
* graph-native criterion — the mechanical resolution of the deferred
|
|
31
|
+
* BE-42 NOT-A-BRIDGE dispute.
|
|
32
|
+
*
|
|
33
|
+
* @public
|
|
34
|
+
*/
|
|
35
|
+
export declare const be42Edge: BridgeEdge;
|
|
36
|
+
/**
|
|
37
|
+
* BE-16 Landauer bound as a graph edge: temperature → erasure energy.
|
|
38
|
+
* Endpoints differ in stated axes (thermal/classical → information):
|
|
39
|
+
* a bridge.
|
|
40
|
+
*
|
|
41
|
+
* @public
|
|
42
|
+
*/
|
|
43
|
+
export declare const be16Edge: BridgeEdge;
|
|
44
|
+
/**
|
|
45
|
+
* Diagonal-law edge (P-1): Schwarzschild radius r_s = 2GM/c². Endpoints
|
|
46
|
+
* share regime attributes (classical/gravitational) — a law, not a
|
|
47
|
+
* bridge. `beId: null`: the GR diagonal is not individually catalogued.
|
|
48
|
+
*
|
|
49
|
+
* @public
|
|
50
|
+
*/
|
|
51
|
+
export declare const lawSchwarzschildRadius: BridgeEdge;
|
|
52
|
+
/**
|
|
53
|
+
* BE-42 re-parameterized through the horizon radius:
|
|
54
|
+
* T_H = ℏc/(4π k_B r_s) — algebraically identical to the M-form under
|
|
55
|
+
* r_s = 2GM/c² (verified in the Adam vet, checklist 4). Used by the
|
|
56
|
+
* CT-1b three-edge chain to demonstrate laws as connective tissue.
|
|
57
|
+
*
|
|
58
|
+
* @public
|
|
59
|
+
*/
|
|
60
|
+
export declare const be42ViaRsEdge: BridgeEdge;
|
|
61
|
+
/**
|
|
62
|
+
* BE-51 Eddington lensing as a graph edge: (mass, impact-parameter) →
|
|
63
|
+
* deflection angle. Wraps the v0.4.0 evaluator, extracting `alpha_rad`
|
|
64
|
+
* from its result object (Adam A-10).
|
|
65
|
+
*
|
|
66
|
+
* @public
|
|
67
|
+
*/
|
|
68
|
+
export declare const be51Edge: BridgeEdge;
|
|
69
|
+
/**
|
|
70
|
+
* BE-52 perihelion precession as a graph edge: (mass, semi-major-axis,
|
|
71
|
+
* eccentricity) → advance per orbit. Wraps the v0.4.0 evaluator,
|
|
72
|
+
* extracting `dphi_rad_per_orbit`; forwards `T_yr: 1` — the evaluator
|
|
73
|
+
* requires a positive period but the per-orbit advance does not use it
|
|
74
|
+
* (Adam A-10).
|
|
75
|
+
*
|
|
76
|
+
* @public
|
|
77
|
+
*/
|
|
78
|
+
export declare const be52Edge: BridgeEdge;
|
|
79
|
+
/**
|
|
80
|
+
* BE-12 thermal de Broglie wavelength as a graph edge:
|
|
81
|
+
* (mass, temperature) → λ_T. Endpoints differ in `scale`
|
|
82
|
+
* (classical inputs → quantum length): a bridge.
|
|
83
|
+
*
|
|
84
|
+
* @public
|
|
85
|
+
*/
|
|
86
|
+
export declare const be12Edge: BridgeEdge;
|
|
87
|
+
/**
|
|
88
|
+
* BE-11's Caldeira-Leggett quadratic-coupling rate γ₀·(λ/λ₀)²
|
|
89
|
+
* realized for SPATIAL superpositions: the reference coupling λ₀ IS
|
|
90
|
+
* the thermal de Broglie wavelength (the CT-3 physics judgment —
|
|
91
|
+
* Zurek 1991 Phys. Today 44(10):36; Zurek 2003 RMP 75:715 §III.E).
|
|
92
|
+
* Γ_dec = γ_relax · (Δx/λ_T)².
|
|
93
|
+
*
|
|
94
|
+
* @public
|
|
95
|
+
*/
|
|
96
|
+
export declare const be11ZurekEdge: BridgeEdge;
|
|
97
|
+
/**
|
|
98
|
+
* BE-37 Shapiro gravitational time delay as a graph edge:
|
|
99
|
+
* (mass, far-radius, near-radius) → Δt = (2GM/c³)·ln(R_far/R_near).
|
|
100
|
+
* Paired with {@link be52Edge} in CT-4: their shared-source quotient
|
|
101
|
+
* a(1−e²)ln(R_far/R_near)/(3πc) is parameter-free in (G, M) — the
|
|
102
|
+
* Part-IX C5 weak-field cross-observable consistency relation.
|
|
103
|
+
*
|
|
104
|
+
* @public
|
|
105
|
+
*/
|
|
106
|
+
export declare const be37Edge: BridgeEdge;
|
|
107
|
+
//# sourceMappingURL=calibration.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"calibration.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/calibration.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAsBH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAqB7C;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,YAAW,CAAC;AAmGjC;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,UAetB,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,EAAE,UAetB,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,EAAE,UAepC,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,EAAE,UAiB3B,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,EAAE,UAqBtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UA2BtB,CAAC;AAIF;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,EAAE,UAmBtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,aAAa,EAAE,UA0B3B,CAAC;AAIF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAyBtB,CAAC"}
|
|
@@ -0,0 +1,373 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Calibration edges — catalog-backed `BridgeEdge` wrappers for the
|
|
3
|
+
* v0.8.0 pre-registered composition targets (CT-1, CT-1b, CT-2; see
|
|
4
|
+
* docs/planning/v0.8.0-Design.md §2).
|
|
5
|
+
*
|
|
6
|
+
* Each edge wraps an EXISTING catalog evaluator (the catalog stays
|
|
7
|
+
* authoritative — design D-4) and carries the first-class validity
|
|
8
|
+
* domain the catalog previously kept only as prose (G-8).
|
|
9
|
+
*
|
|
10
|
+
* `lawSchwarzschildRadius` is the first diagonal-law edge (P-1):
|
|
11
|
+
* BE-1–10 laws are not individually catalogued, but composition chains
|
|
12
|
+
* need them as connective tissue — its endpoints SHARE regime
|
|
13
|
+
* attributes (classical/gravitational), the complement of the bridge
|
|
14
|
+
* criterion.
|
|
15
|
+
*
|
|
16
|
+
* @module composition/edges/calibration
|
|
17
|
+
*/
|
|
18
|
+
import { C_SI, G_SI, HBAR_SI, K_B_SI, M_SUN_SI } from '../../core/constants.js';
|
|
19
|
+
import { ACTION, DIMENSIONLESS, FREQUENCY, LENGTH, MASS, TEMPERATURE, VELOCITY, } from '../../dimensional/types.js';
|
|
20
|
+
import { evaluateHawkingTemperature } from '../../bridges/equations/be-42-hawking-temperature.js';
|
|
21
|
+
import { evaluateDecoherenceRate } from '../../bridges/equations/be-11-decoherence-master.js';
|
|
22
|
+
import { evaluateThermalDeBroglie } from '../../bridges/equations/be-12-coherence-length.js';
|
|
23
|
+
import { evaluateShapiroDelay } from '../../bridges/equations/be-37-shapiro-delay.js';
|
|
24
|
+
import { evaluateLandauerEnergy } from '../../bridges/equations/be-16-landauer.js';
|
|
25
|
+
import { evaluateGravitationalLensing } from '../../bridges/gravitational-lensing.js';
|
|
26
|
+
import { evaluatePerihelionPrecession } from '../../bridges/perihelion-precession.js';
|
|
27
|
+
import { decoherenceRateQ, deflectionAngleQ, eccentricityQ, erasureEnergyQ, farRadiusQ, hawkingTemperatureQ, impactParameterQ, massQ, nearRadiusQ, perihelionAdvanceQ, relaxationRateQ, schwarzschildRadiusQ, semiMajorAxisQ, shapiroDelayQ, superpositionExtentQ, temperatureQ, thermalDeBroglieQ, } from '../quantities.js';
|
|
28
|
+
/**
|
|
29
|
+
* Solar mass (kg) — alias of `M_SUN_SI` from `src/core/constants.ts`
|
|
30
|
+
* (promoted there in the v0.8.0 punch-list; this re-export keeps the
|
|
31
|
+
* original public name stable).
|
|
32
|
+
*
|
|
33
|
+
* @public
|
|
34
|
+
*/
|
|
35
|
+
export const M_SUN_KG = M_SUN_SI;
|
|
36
|
+
/** s⁻¹: frequency/rate dimension, local alias for readability. */
|
|
37
|
+
const FREQUENCY_DIM = FREQUENCY;
|
|
38
|
+
/** Joule: energy dimension, local alias for readability. */
|
|
39
|
+
const ENERGY_DIM = { L: 2, M: 1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
|
|
40
|
+
// --- Symbolic forms (v0.12 symbolic composition) ---
|
|
41
|
+
// Leaf symbols are source-quantity NAMES (graph vocabulary) or registered
|
|
42
|
+
// CONSTANTS tokens (symbolic-constants.ts). Every constant power is `^` with
|
|
43
|
+
// an integer exponent symbol (Eve EVE-3); '2'/'3' are dimensionless literals
|
|
44
|
+
// resolved via Number(). Each constant leaf's dim matches CONSTANTS[name].dim
|
|
45
|
+
// and each quantity leaf's dim matches its Quantity.dim (Adam A-6 / Eve EVE-5)
|
|
46
|
+
// — both pinned by symbolic-composition.test.ts. A drift-guard test binds each
|
|
47
|
+
// symbolic form to the edge's numeric `evaluate`.
|
|
48
|
+
const sym = (name, dim) => ({ kind: 'symbol', name, dim });
|
|
49
|
+
const GRAV_DIM = { L: 3, M: -1, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
|
|
50
|
+
const BOLTZMANN_DIM = { L: 2, M: 1, T: -2, I: 0, Theta: -1, N: 0, J: 0 };
|
|
51
|
+
/** T_H = ℏ·c³ / (8π·G·mass·k_B). */
|
|
52
|
+
const BE42_SYMBOLIC = {
|
|
53
|
+
kind: 'op',
|
|
54
|
+
op: '/',
|
|
55
|
+
args: [
|
|
56
|
+
{
|
|
57
|
+
kind: 'op',
|
|
58
|
+
op: '*',
|
|
59
|
+
args: [
|
|
60
|
+
sym('hbar', ACTION),
|
|
61
|
+
{ kind: 'op', op: '^', args: [sym('c', VELOCITY), sym('3', DIMENSIONLESS)] },
|
|
62
|
+
],
|
|
63
|
+
},
|
|
64
|
+
{
|
|
65
|
+
kind: 'op',
|
|
66
|
+
op: '*',
|
|
67
|
+
args: [
|
|
68
|
+
{
|
|
69
|
+
kind: 'op',
|
|
70
|
+
op: '*',
|
|
71
|
+
args: [
|
|
72
|
+
{ kind: 'op', op: '*', args: [sym('8pi', DIMENSIONLESS), sym('G', GRAV_DIM)] },
|
|
73
|
+
sym('mass', MASS),
|
|
74
|
+
],
|
|
75
|
+
},
|
|
76
|
+
sym('k_B', BOLTZMANN_DIM),
|
|
77
|
+
],
|
|
78
|
+
},
|
|
79
|
+
],
|
|
80
|
+
};
|
|
81
|
+
/** E_min = k_B · temperature · ln2. */
|
|
82
|
+
const BE16_SYMBOLIC = {
|
|
83
|
+
kind: 'op',
|
|
84
|
+
op: '*',
|
|
85
|
+
args: [
|
|
86
|
+
{ kind: 'op', op: '*', args: [sym('k_B', BOLTZMANN_DIM), sym('temperature', TEMPERATURE)] },
|
|
87
|
+
sym('ln2', DIMENSIONLESS),
|
|
88
|
+
],
|
|
89
|
+
};
|
|
90
|
+
/** r_s = 2·G·mass / c². */
|
|
91
|
+
const SCHWARZSCHILD_SYMBOLIC = {
|
|
92
|
+
kind: 'op',
|
|
93
|
+
op: '/',
|
|
94
|
+
args: [
|
|
95
|
+
{
|
|
96
|
+
kind: 'op',
|
|
97
|
+
op: '*',
|
|
98
|
+
args: [
|
|
99
|
+
{ kind: 'op', op: '*', args: [sym('2', DIMENSIONLESS), sym('G', GRAV_DIM)] },
|
|
100
|
+
sym('mass', MASS),
|
|
101
|
+
],
|
|
102
|
+
},
|
|
103
|
+
{ kind: 'op', op: '^', args: [sym('c', VELOCITY), sym('2', DIMENSIONLESS)] },
|
|
104
|
+
],
|
|
105
|
+
};
|
|
106
|
+
/** T_H = ℏ·c / (4π·k_B·schwarzschild-radius). */
|
|
107
|
+
const BE42_VIA_RS_SYMBOLIC = {
|
|
108
|
+
kind: 'op',
|
|
109
|
+
op: '/',
|
|
110
|
+
args: [
|
|
111
|
+
{ kind: 'op', op: '*', args: [sym('hbar', ACTION), sym('c', VELOCITY)] },
|
|
112
|
+
{
|
|
113
|
+
kind: 'op',
|
|
114
|
+
op: '*',
|
|
115
|
+
args: [
|
|
116
|
+
{ kind: 'op', op: '*', args: [sym('4pi', DIMENSIONLESS), sym('k_B', BOLTZMANN_DIM)] },
|
|
117
|
+
sym('schwarzschild-radius', LENGTH),
|
|
118
|
+
],
|
|
119
|
+
},
|
|
120
|
+
],
|
|
121
|
+
};
|
|
122
|
+
// --- Quantity nodes ---
|
|
123
|
+
// --- Edges ---
|
|
124
|
+
/**
|
|
125
|
+
* BE-42 Hawking temperature as a graph edge: mass → hawking-temperature.
|
|
126
|
+
* Endpoints differ in `scale` (classical → quantum): a bridge under the
|
|
127
|
+
* graph-native criterion — the mechanical resolution of the deferred
|
|
128
|
+
* BE-42 NOT-A-BRIDGE dispute.
|
|
129
|
+
*
|
|
130
|
+
* @public
|
|
131
|
+
*/
|
|
132
|
+
export const be42Edge = {
|
|
133
|
+
id: 'be-42',
|
|
134
|
+
beId: 42,
|
|
135
|
+
kind: 'bridge',
|
|
136
|
+
label: 'Hawking temperature T_H = ℏc³/(8πGMk_B)',
|
|
137
|
+
sources: [massQ],
|
|
138
|
+
target: hawkingTemperatureQ,
|
|
139
|
+
confidence: 'highly-speculative',
|
|
140
|
+
domain: {
|
|
141
|
+
description: 'M > 0 and finite (positive black-hole mass)',
|
|
142
|
+
predicate: (i) => Number.isFinite(i['mass']) && i['mass'] > 0,
|
|
143
|
+
},
|
|
144
|
+
evaluate: (i) => evaluateHawkingTemperature({ M_kg: i['mass'] }),
|
|
145
|
+
symbolic: BE42_SYMBOLIC,
|
|
146
|
+
citation: 'Hawking 1975 CMP 43:199',
|
|
147
|
+
};
|
|
148
|
+
/**
|
|
149
|
+
* BE-16 Landauer bound as a graph edge: temperature → erasure energy.
|
|
150
|
+
* Endpoints differ in stated axes (thermal/classical → information):
|
|
151
|
+
* a bridge.
|
|
152
|
+
*
|
|
153
|
+
* @public
|
|
154
|
+
*/
|
|
155
|
+
export const be16Edge = {
|
|
156
|
+
id: 'be-16',
|
|
157
|
+
beId: 16,
|
|
158
|
+
kind: 'bridge',
|
|
159
|
+
label: "Landauer's bound E_min = k_B T ln2",
|
|
160
|
+
sources: [temperatureQ],
|
|
161
|
+
target: erasureEnergyQ,
|
|
162
|
+
confidence: 'speculative',
|
|
163
|
+
domain: {
|
|
164
|
+
description: 'T ≥ 0 and finite (thermodynamic temperature)',
|
|
165
|
+
predicate: (i) => Number.isFinite(i['temperature']) && i['temperature'] >= 0,
|
|
166
|
+
},
|
|
167
|
+
evaluate: (i) => evaluateLandauerEnergy({ temperature_K: i['temperature'] }),
|
|
168
|
+
symbolic: BE16_SYMBOLIC,
|
|
169
|
+
citation: 'Landauer 1961 IBM JRD 5:183',
|
|
170
|
+
};
|
|
171
|
+
/**
|
|
172
|
+
* Diagonal-law edge (P-1): Schwarzschild radius r_s = 2GM/c². Endpoints
|
|
173
|
+
* share regime attributes (classical/gravitational) — a law, not a
|
|
174
|
+
* bridge. `beId: null`: the GR diagonal is not individually catalogued.
|
|
175
|
+
*
|
|
176
|
+
* @public
|
|
177
|
+
*/
|
|
178
|
+
export const lawSchwarzschildRadius = {
|
|
179
|
+
id: 'law-schwarzschild-radius',
|
|
180
|
+
beId: null,
|
|
181
|
+
kind: 'law',
|
|
182
|
+
label: 'Schwarzschild radius r_s = 2GM/c²',
|
|
183
|
+
sources: [massQ],
|
|
184
|
+
target: schwarzschildRadiusQ,
|
|
185
|
+
confidence: 'established',
|
|
186
|
+
domain: {
|
|
187
|
+
description: 'M > 0 and finite',
|
|
188
|
+
predicate: (i) => Number.isFinite(i['mass']) && i['mass'] > 0,
|
|
189
|
+
},
|
|
190
|
+
evaluate: (i) => (2 * G_SI * i['mass']) / (C_SI * C_SI),
|
|
191
|
+
symbolic: SCHWARZSCHILD_SYMBOLIC,
|
|
192
|
+
citation: 'Schwarzschild 1916; Carroll 2004 Spacetime and Geometry §5.4',
|
|
193
|
+
};
|
|
194
|
+
/**
|
|
195
|
+
* BE-42 re-parameterized through the horizon radius:
|
|
196
|
+
* T_H = ℏc/(4π k_B r_s) — algebraically identical to the M-form under
|
|
197
|
+
* r_s = 2GM/c² (verified in the Adam vet, checklist 4). Used by the
|
|
198
|
+
* CT-1b three-edge chain to demonstrate laws as connective tissue.
|
|
199
|
+
*
|
|
200
|
+
* @public
|
|
201
|
+
*/
|
|
202
|
+
export const be42ViaRsEdge = {
|
|
203
|
+
id: 'be-42-via-rs',
|
|
204
|
+
beId: 42,
|
|
205
|
+
kind: 'bridge',
|
|
206
|
+
label: 'Hawking temperature T_H = ℏc/(4π k_B r_s)',
|
|
207
|
+
sources: [schwarzschildRadiusQ],
|
|
208
|
+
target: hawkingTemperatureQ,
|
|
209
|
+
confidence: 'highly-speculative',
|
|
210
|
+
domain: {
|
|
211
|
+
description: 'r_s > 0 and finite',
|
|
212
|
+
predicate: (i) => Number.isFinite(i['schwarzschild-radius']) && i['schwarzschild-radius'] > 0,
|
|
213
|
+
},
|
|
214
|
+
evaluate: (i) => (HBAR_SI * C_SI) / (4 * Math.PI * K_B_SI * i['schwarzschild-radius']),
|
|
215
|
+
symbolic: BE42_VIA_RS_SYMBOLIC,
|
|
216
|
+
citation: 'Hawking 1975 CMP 43:199 (r_s parameterization)',
|
|
217
|
+
};
|
|
218
|
+
/**
|
|
219
|
+
* BE-51 Eddington lensing as a graph edge: (mass, impact-parameter) →
|
|
220
|
+
* deflection angle. Wraps the v0.4.0 evaluator, extracting `alpha_rad`
|
|
221
|
+
* from its result object (Adam A-10).
|
|
222
|
+
*
|
|
223
|
+
* @public
|
|
224
|
+
*/
|
|
225
|
+
export const be51Edge = {
|
|
226
|
+
id: 'be-51',
|
|
227
|
+
beId: 51,
|
|
228
|
+
kind: 'bridge',
|
|
229
|
+
label: 'Gravitational lensing α = 4GM/(bc²)',
|
|
230
|
+
sources: [massQ, impactParameterQ],
|
|
231
|
+
target: deflectionAngleQ,
|
|
232
|
+
confidence: 'established',
|
|
233
|
+
domain: {
|
|
234
|
+
description: 'M > 0, b > 0, and weak field b ≥ 10·r_s',
|
|
235
|
+
predicate: (i) => Number.isFinite(i['mass']) &&
|
|
236
|
+
i['mass'] > 0 &&
|
|
237
|
+
Number.isFinite(i['impact-parameter']) &&
|
|
238
|
+
i['impact-parameter'] > 0 &&
|
|
239
|
+
i['impact-parameter'] >= (10 * 2 * G_SI * i['mass']) / (C_SI * C_SI),
|
|
240
|
+
},
|
|
241
|
+
evaluate: (i) => evaluateGravitationalLensing({ M_kg: i['mass'], b_m: i['impact-parameter'] })
|
|
242
|
+
.alpha_rad,
|
|
243
|
+
citation: 'Dyson, Eddington & Davidson 1920 Phil. Trans. R. Soc. A 220:291',
|
|
244
|
+
};
|
|
245
|
+
/**
|
|
246
|
+
* BE-52 perihelion precession as a graph edge: (mass, semi-major-axis,
|
|
247
|
+
* eccentricity) → advance per orbit. Wraps the v0.4.0 evaluator,
|
|
248
|
+
* extracting `dphi_rad_per_orbit`; forwards `T_yr: 1` — the evaluator
|
|
249
|
+
* requires a positive period but the per-orbit advance does not use it
|
|
250
|
+
* (Adam A-10).
|
|
251
|
+
*
|
|
252
|
+
* @public
|
|
253
|
+
*/
|
|
254
|
+
export const be52Edge = {
|
|
255
|
+
id: 'be-52',
|
|
256
|
+
beId: 52,
|
|
257
|
+
kind: 'bridge',
|
|
258
|
+
label: 'Perihelion precession Δφ = 6πGM/(a(1−e²)c²)',
|
|
259
|
+
sources: [massQ, semiMajorAxisQ, eccentricityQ],
|
|
260
|
+
target: perihelionAdvanceQ,
|
|
261
|
+
confidence: 'established',
|
|
262
|
+
domain: {
|
|
263
|
+
description: 'M > 0, a > 0, 0 ≤ e < 1 (bound elliptical orbit)',
|
|
264
|
+
predicate: (i) => Number.isFinite(i['mass']) &&
|
|
265
|
+
i['mass'] > 0 &&
|
|
266
|
+
Number.isFinite(i['semi-major-axis']) &&
|
|
267
|
+
i['semi-major-axis'] > 0 &&
|
|
268
|
+
Number.isFinite(i['eccentricity']) &&
|
|
269
|
+
i['eccentricity'] >= 0 &&
|
|
270
|
+
i['eccentricity'] < 1,
|
|
271
|
+
},
|
|
272
|
+
evaluate: (i) => evaluatePerihelionPrecession({
|
|
273
|
+
M_kg: i['mass'],
|
|
274
|
+
a_m: i['semi-major-axis'],
|
|
275
|
+
e: i['eccentricity'],
|
|
276
|
+
T_yr: 1,
|
|
277
|
+
}).dphi_rad_per_orbit,
|
|
278
|
+
citation: 'Einstein 1915 Preuss. Akad. Wiss. 831',
|
|
279
|
+
};
|
|
280
|
+
// --- CT-3 (C1) edges — registered in v0.8.0-Design.md §9 BEFORE this code ---
|
|
281
|
+
/**
|
|
282
|
+
* BE-12 thermal de Broglie wavelength as a graph edge:
|
|
283
|
+
* (mass, temperature) → λ_T. Endpoints differ in `scale`
|
|
284
|
+
* (classical inputs → quantum length): a bridge.
|
|
285
|
+
*
|
|
286
|
+
* @public
|
|
287
|
+
*/
|
|
288
|
+
export const be12Edge = {
|
|
289
|
+
id: 'be-12',
|
|
290
|
+
beId: 12,
|
|
291
|
+
kind: 'bridge',
|
|
292
|
+
label: 'Thermal de Broglie wavelength λ_T = √(2πℏ²/(m k_B T))',
|
|
293
|
+
sources: [massQ, temperatureQ],
|
|
294
|
+
target: thermalDeBroglieQ,
|
|
295
|
+
confidence: 'speculative',
|
|
296
|
+
domain: {
|
|
297
|
+
description: 'm > 0 and T > 0 (massive particle, finite temperature)',
|
|
298
|
+
predicate: (i) => Number.isFinite(i['mass']) &&
|
|
299
|
+
i['mass'] > 0 &&
|
|
300
|
+
Number.isFinite(i['temperature']) &&
|
|
301
|
+
i['temperature'] > 0,
|
|
302
|
+
},
|
|
303
|
+
evaluate: (i) => evaluateThermalDeBroglie({ m_kg: i['mass'], T_K: i['temperature'] }),
|
|
304
|
+
citation: 'Pathria 2011 Statistical Mechanics §7.1; de Broglie 1924',
|
|
305
|
+
};
|
|
306
|
+
/**
|
|
307
|
+
* BE-11's Caldeira-Leggett quadratic-coupling rate γ₀·(λ/λ₀)²
|
|
308
|
+
* realized for SPATIAL superpositions: the reference coupling λ₀ IS
|
|
309
|
+
* the thermal de Broglie wavelength (the CT-3 physics judgment —
|
|
310
|
+
* Zurek 1991 Phys. Today 44(10):36; Zurek 2003 RMP 75:715 §III.E).
|
|
311
|
+
* Γ_dec = γ_relax · (Δx/λ_T)².
|
|
312
|
+
*
|
|
313
|
+
* @public
|
|
314
|
+
*/
|
|
315
|
+
export const be11ZurekEdge = {
|
|
316
|
+
id: 'be-11-zurek',
|
|
317
|
+
beId: 11,
|
|
318
|
+
kind: 'bridge',
|
|
319
|
+
label: 'Zurek/CL spatial decoherence rate Γ_dec = γ_relax (Δx/λ_T)²',
|
|
320
|
+
sources: [relaxationRateQ, superpositionExtentQ, thermalDeBroglieQ],
|
|
321
|
+
target: decoherenceRateQ,
|
|
322
|
+
confidence: 'established',
|
|
323
|
+
domain: {
|
|
324
|
+
description: 'γ_relax ≥ 0, Δx > 0, λ_T > 0',
|
|
325
|
+
predicate: (i) => Number.isFinite(i['relaxation-rate']) &&
|
|
326
|
+
i['relaxation-rate'] >= 0 &&
|
|
327
|
+
Number.isFinite(i['superposition-extent']) &&
|
|
328
|
+
i['superposition-extent'] > 0 &&
|
|
329
|
+
Number.isFinite(i['thermal-de-broglie-wavelength']) &&
|
|
330
|
+
i['thermal-de-broglie-wavelength'] > 0,
|
|
331
|
+
},
|
|
332
|
+
evaluate: (i) => evaluateDecoherenceRate({
|
|
333
|
+
gamma0_per_s: i['relaxation-rate'],
|
|
334
|
+
lambda: i['superposition-extent'],
|
|
335
|
+
lambda0: i['thermal-de-broglie-wavelength'],
|
|
336
|
+
}),
|
|
337
|
+
citation: 'Caldeira & Leggett 1983 Physica A 121:587; Zurek 1991 Phys. Today 44(10):36',
|
|
338
|
+
};
|
|
339
|
+
// --- CT-4 (C5 completion) edge — registered in v0.8.0-Design.md §10 BEFORE this code ---
|
|
340
|
+
/**
|
|
341
|
+
* BE-37 Shapiro gravitational time delay as a graph edge:
|
|
342
|
+
* (mass, far-radius, near-radius) → Δt = (2GM/c³)·ln(R_far/R_near).
|
|
343
|
+
* Paired with {@link be52Edge} in CT-4: their shared-source quotient
|
|
344
|
+
* a(1−e²)ln(R_far/R_near)/(3πc) is parameter-free in (G, M) — the
|
|
345
|
+
* Part-IX C5 weak-field cross-observable consistency relation.
|
|
346
|
+
*
|
|
347
|
+
* @public
|
|
348
|
+
*/
|
|
349
|
+
export const be37Edge = {
|
|
350
|
+
id: 'be-37',
|
|
351
|
+
beId: 37,
|
|
352
|
+
kind: 'bridge',
|
|
353
|
+
label: 'Shapiro delay Δt = (2GM/c³)·ln(R_far/R_near)',
|
|
354
|
+
sources: [massQ, farRadiusQ, nearRadiusQ],
|
|
355
|
+
target: shapiroDelayQ,
|
|
356
|
+
confidence: 'established',
|
|
357
|
+
domain: {
|
|
358
|
+
description: 'M > 0 and 0 < R_near ≤ R_far (weak-field ray geometry)',
|
|
359
|
+
predicate: (i) => Number.isFinite(i['mass']) &&
|
|
360
|
+
i['mass'] > 0 &&
|
|
361
|
+
Number.isFinite(i['near-radius']) &&
|
|
362
|
+
i['near-radius'] > 0 &&
|
|
363
|
+
Number.isFinite(i['far-radius']) &&
|
|
364
|
+
i['far-radius'] >= i['near-radius'],
|
|
365
|
+
},
|
|
366
|
+
evaluate: (i) => evaluateShapiroDelay({
|
|
367
|
+
M_kg: i['mass'],
|
|
368
|
+
R_far_m: i['far-radius'],
|
|
369
|
+
R_near_m: i['near-radius'],
|
|
370
|
+
}),
|
|
371
|
+
citation: 'Shapiro 1964 PRL 13:789',
|
|
372
|
+
};
|
|
373
|
+
//# sourceMappingURL=calibration.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"calibration.js","sourceRoot":"","sources":["../../../src/composition/edges/calibration.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAChF,OAAO,EACL,MAAM,EACN,aAAa,EACb,SAAS,EACT,MAAM,EACN,IAAI,EACJ,WAAW,EAEX,QAAQ,GACT,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EAAE,0BAA0B,EAAE,MAAM,sDAAsD,CAAC;AAClG,OAAO,EAAE,uBAAuB,EAAE,MAAM,qDAAqD,CAAC;AAC9F,OAAO,EAAE,wBAAwB,EAAE,MAAM,mDAAmD,CAAC;AAC7F,OAAO,EAAE,oBAAoB,EAAE,MAAM,gDAAgD,CAAC;AACtF,OAAO,EAAE,sBAAsB,EAAE,MAAM,2CAA2C,CAAC;AACnF,OAAO,EAAE,4BAA4B,EAAE,MAAM,wCAAwC,CAAC;AACtF,OAAO,EAAE,4BAA4B,EAAE,MAAM,wCAAwC,CAAC;AAEtF,OAAO,EACL,gBAAgB,EAChB,gBAAgB,EAChB,aAAa,EACb,cAAc,EACd,UAAU,EACV,mBAAmB,EACnB,gBAAgB,EAChB,KAAK,EACL,WAAW,EACX,kBAAkB,EAClB,eAAe,EACf,oBAAoB,EACpB,cAAc,EACd,aAAa,EACb,oBAAoB,EACpB,YAAY,EACZ,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAE1B;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,QAAQ,CAAC;AAEjC,kEAAkE;AAClE,MAAM,aAAa,GAAG,SAAS,CAAC;AAEhC,4DAA4D;AAC5D,MAAM,UAAU,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAEhF,sDAAsD;AACtD,0EAA0E;AAC1E,6EAA6E;AAC7E,6EAA6E;AAC7E,8EAA8E;AAC9E,+EAA+E;AAC/E,+EAA+E;AAC/E,kDAAkD;AAClD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACxF,MAAM,QAAQ,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC/E,MAAM,aAAa,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAEpF,oCAAoC;AACpC,MAAM,aAAa,GAAa;IAC9B,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;gBACnB,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE;aAC7E;SACF;QACD;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE;wBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,EAAE;wBAC9E,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;qBAClB;iBACF;gBACD,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;aAC1B;SACF;KACF;CACF,CAAC;AAEF,uCAAuC;AACvC,MAAM,aAAa,GAAa;IAC9B,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,EAAE;QAC3F,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;KAC1B;CACF,CAAC;AAEF,2BAA2B;AAC3B,MAAM,sBAAsB,GAAa;IACvC,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,EAAE;gBAC5E,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;aAClB;SACF;QACD,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE;KAC7E;CACF,CAAC;AAEF,iDAAiD;AACjD,MAAM,oBAAoB,GAAa;IACrC,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,EAAE;QACxE;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC,EAAE;gBACrF,GAAG,CAAC,sBAAsB,EAAE,MAAM,CAAC;aACpC;SACF;KACF;CACF,CAAC;AAEF,yBAAyB;AAEzB,gBAAgB;AAEhB;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,yCAAyC;IAChD,OAAO,EAAE,CAAC,KAAK,CAAC;IAChB,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE,oBAAoB;IAChC,MAAM,EAAE;QACN,WAAW,EAAE,6CAA6C;QAC1D,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;KAC9D;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IAChE,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,yBAAyB;CACpC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,oCAAoC;IAC3C,OAAO,EAAE,CAAC,YAAY,CAAC;IACvB,MAAM,EAAE,cAAc;IACtB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,8CAA8C;QAC3D,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;KAC7E;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,sBAAsB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC;IAC5E,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,6BAA6B;CACxC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAe;IAChD,EAAE,EAAE,0BAA0B;IAC9B,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,mCAAmC;IAC1C,OAAO,EAAE,CAAC,KAAK,CAAC;IAChB,MAAM,EAAE,oBAAoB;IAC5B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,kBAAkB;QAC/B,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;KAC9D;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC;IACvD,QAAQ,EAAE,sBAAsB;IAChC,QAAQ,EAAE,8DAA8D;CACzE,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAe;IACvC,EAAE,EAAE,cAAc;IAClB,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,2CAA2C;IAClD,OAAO,EAAE,CAAC,oBAAoB,CAAC;IAC/B,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE,oBAAoB;IAChC,MAAM,EAAE;QACN,WAAW,EAAE,oBAAoB;QACjC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC;KAC9E;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,MAAM,GAAG,CAAC,CAAC,sBAAsB,CAAC,CAAC;IACvE,QAAQ,EAAE,oBAAoB;IAC9B,QAAQ,EAAE,gDAAgD;CAC3D,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,qCAAqC;IAC5C,OAAO,EAAE,CAAC,KAAK,EAAE,gBAAgB,CAAC;IAClC,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yCAAyC;QACtD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC1B,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACb,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;YACtC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC;YACzB,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC;KACvE;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,4BAA4B,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC;SAC1E,SAAS;IACd,QAAQ,EAAE,iEAAiE;CAC5E,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,6CAA6C;IACpD,OAAO,EAAE,CAAC,KAAK,EAAE,cAAc,EAAE,aAAa,CAAC;IAC/C,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,kDAAkD;QAC/D,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC1B,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACb,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YACrC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC;YACxB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC;YACtB,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC;KACxB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,4BAA4B,CAAC;QAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,GAAG,EAAE,CAAC,CAAC,iBAAiB,CAAC;QACzB,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC;QACpB,IAAI,EAAE,CAAC;KACR,CAAC,CAAC,kBAAkB;IACvB,QAAQ,EAAE,uCAAuC;CAClD,CAAC;AAEF,+EAA+E;AAE/E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,uDAAuD;IAC9D,OAAO,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC;IAC9B,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,wDAAwD;QACrE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC1B,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACb,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACjC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC;KACvB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC;IACtE,QAAQ,EAAE,0DAA0D;CACrE,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,aAAa,GAAe;IACvC,EAAE,EAAE,aAAa;IACjB,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,6DAA6D;IACpE,OAAO,EAAE,CAAC,eAAe,EAAE,oBAAoB,EAAE,iBAAiB,CAAC;IACnE,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,8BAA8B;QAC3C,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YACrC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;YACzB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAC1C,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC;YAC7B,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC;YACnD,CAAC,CAAC,+BAA+B,CAAC,GAAG,CAAC;KACzC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,uBAAuB,CAAC;QACtB,YAAY,EAAE,CAAC,CAAC,iBAAiB,CAAC;QAClC,MAAM,EAAE,CAAC,CAAC,sBAAsB,CAAC;QACjC,OAAO,EAAE,CAAC,CAAC,+BAA+B,CAAC;KAC5C,CAAC;IACJ,QAAQ,EACN,6EAA6E;CAChF,CAAC;AAEF,0FAA0F;AAE1F;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,8CAA8C;IACrD,OAAO,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,WAAW,CAAC;IACzC,MAAM,EAAE,aAAa;IACrB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,wDAAwD;QACrE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC1B,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACb,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACjC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC;YACpB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;YAChC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC;KACtC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,oBAAoB,CAAC;QACnB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,OAAO,EAAE,CAAC,CAAC,YAAY,CAAC;QACxB,QAAQ,EAAE,CAAC,CAAC,aAAa,CAAC;KAC3B,CAAC;IACJ,QAAQ,EAAE,yBAAyB;CACpC,CAAC"}
|