universal-physics-tensor 0.7.2 → 0.14.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/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 +32 -2
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +63 -2
- 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 +21 -4
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"quantities.js","sourceRoot":"","sources":["../../src/composition/quantities.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EACL,IAAI,EACJ,aAAa,EACb,OAAO,EACP,KAAK,EACL,SAAS,EACT,MAAM,EACN,IAAI,EACJ,WAAW,EACX,IAAI,GACL,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,8BAA8B,EAAE,MAAM,yCAAyC,CAAC;AAGzF,sDAAsD;AACtD,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;AAChF,mBAAmB;AACnB,MAAM,aAAa,GAAG,SAAS,CAAC;AAChC,oEAAoE;AACpE,MAAM,YAAY,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAClF,kEAAkE;AAClE,MAAM,MAAM,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;AAE5E,+CAA+C;AAE/C,6EAA6E;AAC7E,MAAM,QAAQ,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC9E,yDAAyD;AACzD,MAAM,UAAU,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAChF,0DAA0D;AAC1D,MAAM,cAAc,GAAc,EAAE,CAAC,EAAE,CAAC,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;AACrF,yDAAyD;AACzD,MAAM,QAAQ,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;AAC9E,qDAAqD;AACrD,MAAM,WAAW,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAClF,8BAA8B;AAC9B,MAAM,cAAc,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACpF,yDAAyD;AACzD,MAAM,mBAAmB,GAAc,EAAE,CAAC,EAAE,CAAC,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;AAC1F,+DAA+D;AAC/D,MAAM,gBAAgB,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACvF,iEAAiE;AACjE,MAAM,0BAA0B,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;AAChG,yDAAyD;AACzD,MAAM,mBAAmB,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AACzF,4DAA4D;AAC5D,MAAM,oBAAoB,GAAc,EAAE,CAAC,EAAE,CAAC,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;AAC3F,wEAAwE;AACxE,MAAM,WAAW,GAAc,UAAU,CAAC;AAE1C,0DAA0D;AAC1D,MAAM,CAAC,MAAM,4BAA4B,GAAa;IACpD,IAAI,EAAE,+BAA+B;IACrC,MAAM,EAAE,YAAY;IACpB,GAAG,EAAE,OAAO;IACZ,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;CAC7D,CAAC;AAEF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,YAAY;IACjB,UAAU,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;CACvC,CAAC;AAEF,yCAAyC;AACzC,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE;CAChC,CAAC;AAEF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,YAAY;IACjB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AAEF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;CACnC,CAAC;AAEF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AAEF,yCAAyC;AACzC,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AAEF,uCAAuC;AACvC,MAAM,CAAC,MAAM,UAAU,GAAa;IAClC,IAAI,EAAE,YAAY;IAClB,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AAEF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE;CAChC,CAAC;AAEF,2CAA2C;AAC3C,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE;CAClD,CAAC;AAEF,kDAAkD;AAClD,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,SAAS;IACd,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AAEF,gDAAgD;AAChD,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,qBAAqB;IAC3B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AAEF,gDAAgD;AAChD,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,qBAAqB;IAC3B,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;CAC9D,CAAC;AAEF,6CAA6C;AAC7C,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AAEF,oDAAoD;AACpD,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,yBAAyB;IAC/B,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,UAAU;IACf,UAAU,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE;CACvC,CAAC;AAEF,iCAAiC;AACjC,MAAM,CAAC,MAAM,KAAK,GAAa;IAC7B,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AAEF,yCAAyC;AACzC,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,YAAY;IACjB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AAEF,iDAAiD;AACjD,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AAEF,wCAAwC;AACxC,MAAM,CAAC,MAAM,WAAW,GAAa;IACnC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AAEF,+CAA+C;AAC/C,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AAEF,4CAA4C;AAC5C,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,SAAS;IACjB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;CACnC,CAAC;AAEF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,6BAA6B,GAAa;IACrD,IAAI,EAAE,gCAAgC;IACtC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AAEF,iDAAiD;AACjD,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AAEF,4CAA4C;AAC5C,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AAEF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AAEF,iDAAiD;AACjD,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AAEF,wCAAwC;AACxC,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;CACnC,CAAC;AAEF,0DAA0D;AAC1D,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,+BAA+B;IACrC,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AAEF,oDAAoD;AACpD,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,yBAAyB;IAC/B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,8BAA8B;IACnC,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AAEF,4CAA4C;AAC5C,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE;CAClD,CAAC;AAEF,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAC9E,6EAA6E;AAC7E,4BAA4B;AAC5B,8EAA8E;AAE9E,2CAA2C;AAE3C,iFAAiF;AACjF,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,6BAA6B;IACnC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AAEF,yEAAyE;AACzE,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AAEF,iEAAiE;AAEjE,uEAAuE;AACvE,MAAM,CAAC,MAAM,8BAA8B,GAAa;IACtD,IAAI,EAAE,iCAAiC;IACvC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,QAAQ;IACb,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;CAC9D,CAAC;AAEF,gFAAgF;AAChF,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,qBAAqB;IAC3B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,cAAc;IACnB,UAAU,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;CACvC,CAAC;AAEF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,cAAc;IACpB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,QAAQ;IACb,UAAU,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;CACvC,CAAC;AAEF,oEAAoE;AACpE,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,oEAAoE;AACpE,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,oEAAoE;AACpE,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,oEAAoE;AACpE,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,qDAAqD;AACrD,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AAEF,mCAAmC;AAEnC,yDAAyD;AACzD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,QAAQ;IACb,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AACF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,KAAK,GAAa;IAC7B,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE;CACf,CAAC;AACF,0DAA0D;AAC1D,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AAEF,6CAA6C;AAE7C,4EAA4E;AAC5E,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,qCAAqC;IAC3C,MAAM,EAAE,WAAW;IACnB,GAAG,EAAE,0BAA0B;IAC/B,UAAU,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;CACvC,CAAC;AACF,qEAAqE;AACrE,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,4BAA4B;IAClC,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,mBAAmB;IACxB,UAAU,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;CACvC,CAAC;AACF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,SAAS;IACjB,GAAG,EAAE,oBAAoB;IACzB,UAAU,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;CACvC,CAAC;AAEF,qCAAqC;AAErC,oEAAoE;AACpE,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE;CAChD,CAAC;AACF,sEAAsE;AACtE,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,0BAA0B;IAChC,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE;CAChD,CAAC;AACF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE;CAChD,CAAC;AAEF,8CAA8C;AAE9C,+DAA+D;AAC/D,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,qBAAqB;IAC3B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,YAAY;IACjB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;CAC9D,CAAC;AAEF,iDAAiD;AAEjD,4DAA4D;AAC5D,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,UAAU;IACf,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;CAC7D,CAAC;AACF,wDAAwD;AACxD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,gFAAgF;AAChF,MAAM,CAAC,MAAM,+BAA+B,GAAa;IACvD,IAAI,EAAE,kCAAkC;IACxC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;CAC7D,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,6BAA6B,GAAa;IACrD,IAAI,EAAE,gCAAgC;IACtC,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;CAC7D,CAAC;AAEF,0CAA0C;AAE1C,4DAA4D;AAC5D,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;CAC7D,CAAC;AACF,wGAAwG;AACxG,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;CAC3D,CAAC;AACF,yDAAyD;AACzD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,cAAc;IACnB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;CAC3D,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,oDAAoD;AACpD,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;CAC7D,CAAC;AAEF,gCAAgC;AAEhC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,yBAAyB;IAC/B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;CACpC,CAAC;AACF,uDAAuD;AACvD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;CACpC,CAAC;AACF,uEAAuE;AACvE,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;CACpC,CAAC;AAEF,0CAA0C;AAE1C,6EAA6E;AAC7E,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,yBAAyB;IAC/B,MAAM,EAAE,SAAS;IACjB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE;CACvC,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE;CACvC,CAAC;AACF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE;CACvC,CAAC;AAEF,8BAA8B;AAE9B,0DAA0D;AAC1D,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,SAAS;IACd,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,iGAAiG;AACjG,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,yDAAyD;AACzD,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,mDAAmD;AACnD,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,WAAW;IACnB,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,mFAAmF;AACnF,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,4BAA4B;IAClC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;CACpC,CAAC;AACF,8DAA8D;AAC9D,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,SAAS;IACd,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;CACpC,CAAC;AAEF,sCAAsC;AAEtC,mEAAmE;AACnE,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,qBAAqB;IAC3B,MAAM,EAAE,UAAU;IAClB,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AACF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AAEF,8BAA8B;AAE9B,yEAAyE;AACzE,MAAM,CAAC,MAAM,4BAA4B,GAAa;IACpD,IAAI,EAAE,+BAA+B;IACrC,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;CAC7D,CAAC;AACF,yEAAyE;AACzE,MAAM,CAAC,MAAM,6BAA6B,GAAa;IACrD,IAAI,EAAE,gCAAgC;IACtC,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;CAC7D,CAAC;AAEF,gDAAgD;AAEhD,oEAAoE;AACpE,MAAM,CAAC,MAAM,2BAA2B,GAAa;IACnD,IAAI,EAAE,8BAA8B;IACpC,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,kEAAkE;AAClE,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,kEAAkE;AAClE,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,4BAA4B;IAClC,MAAM,EAAE,WAAW;IACnB,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AAEF,6BAA6B;AAE7B,wDAAwD;AACxD,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,mEAAmE;AACnE,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,6BAA6B;IACnC,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,iEAAiE;AACjE,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE;CACf,CAAC;AACF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,UAAU;IAClB,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,UAAU;IAClB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AAEF,qCAAqC;AAErC,sEAAsE;AACtE,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,0BAA0B;IAChC,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,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;IACtD,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;CAC9D,CAAC;AACF,8EAA8E;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;CAC9D,CAAC;AAEF,qBAAqB;AAErB,uDAAuD;AACvD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,KAAK;IACV,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AACF,mEAAmE;AACnE,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,yBAAyB;IAC/B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,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;IACtD,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AACF,gDAAgD;AAChD,MAAM,CAAC,MAAM,UAAU,GAAa;IAClC,IAAI,EAAE,YAAY;IAClB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,KAAK;IACV,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AAEF,kCAAkC;AAElC,oFAAoF;AACpF,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,+BAA+B;IACrC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,0FAA0F;AAC1F,MAAM,CAAC,MAAM,kCAAkC,GAAa;IAC1D,IAAI,EAAE,qCAAqC;IAC3C,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,0BAA0B;IAChC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,0BAA0B;IAChC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,0BAA0B;IAChC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,sEAAsE;AACtE,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AAEF,0BAA0B;AAE1B,qDAAqD;AACrD,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,0EAA0E;AAC1E,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,SAAS;IACjB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,wBAAwB;IAC9B,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,mDAAmD;AACnD,MAAM,CAAC,MAAM,WAAW,GAAa;IACnC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AAEF,uBAAuB;AAEvB,2EAA2E;AAC3E,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,6BAA6B;IACnC,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,mEAAmE;AACnE,MAAM,CAAC,MAAM,4BAA4B,GAAa;IACpD,IAAI,EAAE,+BAA+B;IACrC,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,OAAO;IACZ,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;CAC7D,CAAC;AAEF,oBAAoB;AAEpB,oFAAoF;AACpF,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,yBAAyB;IAC/B,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;CAC9D,CAAC;AACF,oFAAoF;AACpF,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,sEAAsE;AACtE,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,wBAAwB;IAC9B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;CAC9D,CAAC;AACF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,4BAA4B;IAClC,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,gEAAgE;AAChE,MAAM,CAAC,MAAM,UAAU,GAAa;IAClC,IAAI,EAAE,YAAY;IAClB,MAAM,EAAE,SAAS;IACjB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;CAC9D,CAAC;AAEF,mCAAmC;AAEnC,qEAAqE;AACrE,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,yEAAyE;AACzE,MAAM,CAAC,MAAM,wBAAwB,GAAa;IAChD,IAAI,EAAE,2BAA2B;IACjC,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,mFAAmF;AACnF,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,qBAAqB;IAC3B,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AAEF,0CAA0C;AAE1C,mDAAmD;AACnD,MAAM,CAAC,MAAM,WAAW,GAAa;IACnC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,SAAS;IACd,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;CAC9D,CAAC;AACF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,cAAc;IACnB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,8BAA8B;IACpC,MAAM,EAAE,SAAS;IACjB,GAAG,EAAE,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;IACtD,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,wDAAwD;AACxD,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,cAAc;IACnB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,yDAAyD;AACzD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,cAAc;IACnB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,iFAAiF;AACjF,MAAM,CAAC,MAAM,4BAA4B,GAAa;IACpD,IAAI,EAAE,gCAAgC;IACtC,MAAM,EAAE,WAAW;IACnB,GAAG,EAAE,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;IACtD,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,8DAA8D;AAC9D,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,cAAc;IACnB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,mEAAmE;AACnE,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,qBAAqB;IAC3B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,kEAAkE;AAClE,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,mBAAmB;IACxB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AAEF,kCAAkC;AAElC,6EAA6E;AAC7E,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,0BAA0B;IAChC,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;CAC7D,CAAC;AACF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,qBAAqB;IAC3B,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,8DAA8D;AAC9D,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,0BAA0B;IAChC,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,kFAAkF;AAClF,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,6BAA6B;IACnC,MAAM,EAAE,UAAU;IAClB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;CAC7D,CAAC;AAEF,gCAAgC;AAEhC,0EAA0E;AAC1E,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,0BAA0B;IAChC,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,gBAAgB;IACrB,UAAU,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE;CACzC,CAAC;AACF,0EAA0E;AAC1E,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,0BAA0B;IAChC,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,gBAAgB;IACrB,UAAU,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE;CACzC,CAAC;AACF,yEAAyE;AACzE,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,wBAAwB;IAC9B,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE;CACzC,CAAC"}
|
|
@@ -0,0 +1,59 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Composition graph — quantity nodes (v0.8.0 T2, per
|
|
3
|
+
* docs/planning/v0.8.0-Design.md §3).
|
|
4
|
+
*
|
|
5
|
+
* A `Quantity` is a node in the composition graph: a named physical
|
|
6
|
+
* quantity with an exact SI dimension (the ℤ⁷ exponent vector) and a
|
|
7
|
+
* SPARSE set of regime attributes. Attributes are deliberately
|
|
8
|
+
* `Partial` — per the v0.8.0 improvement plan, the six catalog axes
|
|
9
|
+
* are unevenly load-bearing, so a quantity records only what is known.
|
|
10
|
+
* The symmetry / dimension / topology axes are intentionally omitted
|
|
11
|
+
* until they become load-bearing.
|
|
12
|
+
*
|
|
13
|
+
* @module composition/quantity
|
|
14
|
+
*/
|
|
15
|
+
import type { Dimension } from '../dimensional/types.js';
|
|
16
|
+
/**
|
|
17
|
+
* Sparse regime attributes — the catalog's label axes demoted from
|
|
18
|
+
* container dimensions to node attributes.
|
|
19
|
+
*
|
|
20
|
+
* @public
|
|
21
|
+
*/
|
|
22
|
+
export interface RegimeAttributes {
|
|
23
|
+
readonly scale?: 'quantum' | 'mesoscopic' | 'classical' | 'cosmological';
|
|
24
|
+
readonly force?: 'gravitational' | 'electromagnetic' | 'weak' | 'strong' | 'emergent';
|
|
25
|
+
readonly information?: 'von-neumann' | 'shannon' | 'kolmogorov' | 'discord';
|
|
26
|
+
}
|
|
27
|
+
/**
|
|
28
|
+
* A node in the composition graph: a physical quantity.
|
|
29
|
+
*
|
|
30
|
+
* `name` is the canonical graph identity (junction matching is by
|
|
31
|
+
* name or by explicit `QuantityIdentification`); `symbol` is display
|
|
32
|
+
* only. `dim` is the exact SI dimension used by the dimension-functor
|
|
33
|
+
* check at composition junctions.
|
|
34
|
+
*
|
|
35
|
+
* @public
|
|
36
|
+
*/
|
|
37
|
+
export interface Quantity {
|
|
38
|
+
/** Canonical graph identity, e.g. 'temperature', 'schwarzschild-radius'. */
|
|
39
|
+
readonly name: string;
|
|
40
|
+
/** Display symbol, e.g. 'T_H', 'r_s'. */
|
|
41
|
+
readonly symbol: string;
|
|
42
|
+
/** Exact SI dimension (ℤ⁷ exponent vector). */
|
|
43
|
+
readonly dim: Dimension;
|
|
44
|
+
/** Sparse regime attributes — only what is known. */
|
|
45
|
+
readonly attributes: RegimeAttributes;
|
|
46
|
+
}
|
|
47
|
+
/**
|
|
48
|
+
* Graph-native membership criterion primitive (v0.8.0 G-2): two
|
|
49
|
+
* attribute sets "differ" iff at least one regime axis is stated on
|
|
50
|
+
* BOTH sides with different values. Axes stated on only one side are
|
|
51
|
+
* inconclusive and do not count as a difference.
|
|
52
|
+
*
|
|
53
|
+
* A bridge is an edge whose endpoint quantities differ; a law is an
|
|
54
|
+
* edge whose endpoints share all mutually-stated attributes.
|
|
55
|
+
*
|
|
56
|
+
* @public
|
|
57
|
+
*/
|
|
58
|
+
export declare function regimesDiffer(a: RegimeAttributes, b: RegimeAttributes): boolean;
|
|
59
|
+
//# sourceMappingURL=quantity.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"quantity.d.ts","sourceRoot":"","sources":["../../src/composition/quantity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAEzD;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,GAAG,YAAY,GAAG,WAAW,GAAG,cAAc,CAAC;IACzE,QAAQ,CAAC,KAAK,CAAC,EACX,eAAe,GACf,iBAAiB,GACjB,MAAM,GACN,QAAQ,GACR,UAAU,CAAC;IACf,QAAQ,CAAC,WAAW,CAAC,EAAE,aAAa,GAAG,SAAS,GAAG,YAAY,GAAG,SAAS,CAAC;CAC7E;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,QAAQ;IACvB,4EAA4E;IAC5E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yCAAyC;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,+CAA+C;IAC/C,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,qDAAqD;IACrD,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;CACvC;AAID;;;;;;;;;;GAUG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,gBAAgB,EACnB,CAAC,EAAE,gBAAgB,GAClB,OAAO,CAOT"}
|
|
@@ -0,0 +1,36 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Composition graph — quantity nodes (v0.8.0 T2, per
|
|
3
|
+
* docs/planning/v0.8.0-Design.md §3).
|
|
4
|
+
*
|
|
5
|
+
* A `Quantity` is a node in the composition graph: a named physical
|
|
6
|
+
* quantity with an exact SI dimension (the ℤ⁷ exponent vector) and a
|
|
7
|
+
* SPARSE set of regime attributes. Attributes are deliberately
|
|
8
|
+
* `Partial` — per the v0.8.0 improvement plan, the six catalog axes
|
|
9
|
+
* are unevenly load-bearing, so a quantity records only what is known.
|
|
10
|
+
* The symmetry / dimension / topology axes are intentionally omitted
|
|
11
|
+
* until they become load-bearing.
|
|
12
|
+
*
|
|
13
|
+
* @module composition/quantity
|
|
14
|
+
*/
|
|
15
|
+
const REGIME_KEYS = ['scale', 'force', 'information'];
|
|
16
|
+
/**
|
|
17
|
+
* Graph-native membership criterion primitive (v0.8.0 G-2): two
|
|
18
|
+
* attribute sets "differ" iff at least one regime axis is stated on
|
|
19
|
+
* BOTH sides with different values. Axes stated on only one side are
|
|
20
|
+
* inconclusive and do not count as a difference.
|
|
21
|
+
*
|
|
22
|
+
* A bridge is an edge whose endpoint quantities differ; a law is an
|
|
23
|
+
* edge whose endpoints share all mutually-stated attributes.
|
|
24
|
+
*
|
|
25
|
+
* @public
|
|
26
|
+
*/
|
|
27
|
+
export function regimesDiffer(a, b) {
|
|
28
|
+
for (const key of REGIME_KEYS) {
|
|
29
|
+
const av = a[key];
|
|
30
|
+
const bv = b[key];
|
|
31
|
+
if (av !== undefined && bv !== undefined && av !== bv)
|
|
32
|
+
return true;
|
|
33
|
+
}
|
|
34
|
+
return false;
|
|
35
|
+
}
|
|
36
|
+
//# sourceMappingURL=quantity.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"quantity.js","sourceRoot":"","sources":["../../src/composition/quantity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AA0CH,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,aAAa,CAAU,CAAC;AAE/D;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAmB,EACnB,CAAmB;IAEnB,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAClB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,IAAI,CAAC;IACrE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
|
|
@@ -0,0 +1,94 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Retrodiction harness (Consequence 2 of
|
|
3
|
+
* docs/planning/Bridge-Inference-Epistemics-Note.md, designed in
|
|
4
|
+
* docs/planning/Retrodiction-Harness-Design-Note.md).
|
|
5
|
+
*
|
|
6
|
+
* The framework's own falsification benchmark. Mask a quantity the graph
|
|
7
|
+
* can compute, recompute it from ground-truth inputs via EACH independent
|
|
8
|
+
* derivation, and check the predictions agree. This operationalizes the
|
|
9
|
+
* identifiability classifier's OVER-DETERMINED verdict: the surplus
|
|
10
|
+
* derivations of an over-determined node are PREDICTED to be consistency
|
|
11
|
+
* constraints; the harness evaluates them and checks that numerically.
|
|
12
|
+
*
|
|
13
|
+
* - consistent — ≥2 derivations agree within tolerance.
|
|
14
|
+
* - inconsistent — ≥2 derivations DISAGREE (a falsification: two
|
|
15
|
+
* encodings of one quantity-name are not the same
|
|
16
|
+
* physics).
|
|
17
|
+
* - single — exactly one derivation fired (recovered, no check).
|
|
18
|
+
* - unrecoverable — no derivation fired from the ground truth.
|
|
19
|
+
*
|
|
20
|
+
* "Mask" = compute source values over the graph with every edge INTO the
|
|
21
|
+
* target removed (the classifier's target-removed closure — so the node
|
|
22
|
+
* is genuinely hidden, never read back through its own derivation).
|
|
23
|
+
* Forward evaluation honors `QUANTITY_IDENTIFICATIONS` and is
|
|
24
|
+
* domain-checked (an edge that refuses its domain contributes no
|
|
25
|
+
* prediction). The consistency check needs no external truth and is the
|
|
26
|
+
* re-runnable core; an optional `references` map adds external-value
|
|
27
|
+
* scoring. Pass bar pre-registered in the design note (spread ≤ 1e-6).
|
|
28
|
+
*
|
|
29
|
+
* @module composition/retrodiction
|
|
30
|
+
*/
|
|
31
|
+
import type { BridgeEdge } from './edge.js';
|
|
32
|
+
import type { QuantityIdentification } from './compose.js';
|
|
33
|
+
/** Outcome of retrodicting one node. @public */
|
|
34
|
+
export type RetrodictionOutcome = 'consistent' | 'inconsistent' | 'single' | 'unrecoverable';
|
|
35
|
+
/** One derivation's recovered value for a masked node. @public */
|
|
36
|
+
export interface RetrodictionPrediction {
|
|
37
|
+
/** The edge id that produced this value. */
|
|
38
|
+
readonly edge: string;
|
|
39
|
+
readonly value: number;
|
|
40
|
+
}
|
|
41
|
+
/** Options for the harness. @public */
|
|
42
|
+
export interface RetrodictionOptions {
|
|
43
|
+
/** Identifications honored in forward evaluation (default registered). */
|
|
44
|
+
readonly identifications?: readonly QuantityIdentification[];
|
|
45
|
+
/** Relative-spread tolerance for `consistent` (default 1e-6). */
|
|
46
|
+
readonly tolerance?: number;
|
|
47
|
+
/** External (textbook) values to score recovered nodes against. */
|
|
48
|
+
readonly references?: Readonly<Record<string, number>>;
|
|
49
|
+
/** Relative-error tolerance for reference scoring (default 1e-3). */
|
|
50
|
+
readonly referenceTolerance?: number;
|
|
51
|
+
}
|
|
52
|
+
/** The result of retrodicting one node. @public */
|
|
53
|
+
export interface RetrodictionResult {
|
|
54
|
+
readonly target: string;
|
|
55
|
+
readonly outcome: RetrodictionOutcome;
|
|
56
|
+
/** Recovered values, one per derivation that fired. */
|
|
57
|
+
readonly predictions: readonly RetrodictionPrediction[];
|
|
58
|
+
/** (max − min)/|mean| across predictions; 0 when fewer than two. */
|
|
59
|
+
readonly relativeSpread: number;
|
|
60
|
+
readonly tolerance: number;
|
|
61
|
+
/** `outcome !== 'inconsistent'` — the falsification gate. */
|
|
62
|
+
readonly pass: boolean;
|
|
63
|
+
/** Supplied external value, when scored. */
|
|
64
|
+
readonly referenceValue?: number;
|
|
65
|
+
/** |mean(predictions) − reference| / |reference|, when scored. */
|
|
66
|
+
readonly referenceRelError?: number;
|
|
67
|
+
readonly referencePass?: boolean;
|
|
68
|
+
}
|
|
69
|
+
/** Aggregate report across the swept nodes. @public */
|
|
70
|
+
export interface RetrodictionReport {
|
|
71
|
+
readonly results: readonly RetrodictionResult[];
|
|
72
|
+
/** Nodes with ≥2 derivations (consistent + inconsistent). */
|
|
73
|
+
readonly checked: number;
|
|
74
|
+
readonly consistent: number;
|
|
75
|
+
readonly inconsistent: number;
|
|
76
|
+
/** The headline gate: no inconsistent node was found. */
|
|
77
|
+
readonly allConsistent: boolean;
|
|
78
|
+
}
|
|
79
|
+
/**
|
|
80
|
+
* Retrodict one node: mask it (source values from the target-removed
|
|
81
|
+
* graph), recover it via each incoming edge, and score the spread.
|
|
82
|
+
*
|
|
83
|
+
* @public
|
|
84
|
+
*/
|
|
85
|
+
export declare function retrodictNode(edges: readonly BridgeEdge[], groundTruth: Readonly<Record<string, number>>, target: string, opts?: RetrodictionOptions): RetrodictionResult;
|
|
86
|
+
/**
|
|
87
|
+
* Sweep the graph: retrodict every over-determined node (the classifier
|
|
88
|
+
* is the feeder), plus any node with a supplied reference value. Returns
|
|
89
|
+
* the per-node results and the headline `allConsistent` gate.
|
|
90
|
+
*
|
|
91
|
+
* @public
|
|
92
|
+
*/
|
|
93
|
+
export declare function retrodict(edges: readonly BridgeEdge[], groundTruth: Readonly<Record<string, number>>, opts?: RetrodictionOptions): RetrodictionReport;
|
|
94
|
+
//# sourceMappingURL=retrodiction.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"retrodiction.d.ts","sourceRoot":"","sources":["../../src/composition/retrodiction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAI3D,gDAAgD;AAChD,MAAM,MAAM,mBAAmB,GAC3B,YAAY,GACZ,cAAc,GACd,QAAQ,GACR,eAAe,CAAC;AAEpB,kEAAkE;AAClE,MAAM,WAAW,sBAAsB;IACrC,4CAA4C;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,uCAAuC;AACvC,MAAM,WAAW,mBAAmB;IAClC,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D,iEAAiE;IACjE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,mEAAmE;IACnE,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvD,qEAAqE;IACrE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;CACtC;AAED,mDAAmD;AACnD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,uDAAuD;IACvD,QAAQ,CAAC,WAAW,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACxD,oEAAoE;IACpE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,6DAA6D;IAC7D,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,4CAA4C;IAC5C,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,kEAAkE;IAClE,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;CAClC;AAED,uDAAuD;AACvD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAChD,6DAA6D;IAC7D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,yDAAyD;IACzD,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC;AA4CD;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC7C,MAAM,EAAE,MAAM,EACd,IAAI,GAAE,mBAAwB,GAC7B,kBAAkB,CA8DpB;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CACvB,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC7C,IAAI,GAAE,mBAAwB,GAC7B,kBAAkB,CA2BpB"}
|
|
@@ -0,0 +1,171 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Retrodiction harness (Consequence 2 of
|
|
3
|
+
* docs/planning/Bridge-Inference-Epistemics-Note.md, designed in
|
|
4
|
+
* docs/planning/Retrodiction-Harness-Design-Note.md).
|
|
5
|
+
*
|
|
6
|
+
* The framework's own falsification benchmark. Mask a quantity the graph
|
|
7
|
+
* can compute, recompute it from ground-truth inputs via EACH independent
|
|
8
|
+
* derivation, and check the predictions agree. This operationalizes the
|
|
9
|
+
* identifiability classifier's OVER-DETERMINED verdict: the surplus
|
|
10
|
+
* derivations of an over-determined node are PREDICTED to be consistency
|
|
11
|
+
* constraints; the harness evaluates them and checks that numerically.
|
|
12
|
+
*
|
|
13
|
+
* - consistent — ≥2 derivations agree within tolerance.
|
|
14
|
+
* - inconsistent — ≥2 derivations DISAGREE (a falsification: two
|
|
15
|
+
* encodings of one quantity-name are not the same
|
|
16
|
+
* physics).
|
|
17
|
+
* - single — exactly one derivation fired (recovered, no check).
|
|
18
|
+
* - unrecoverable — no derivation fired from the ground truth.
|
|
19
|
+
*
|
|
20
|
+
* "Mask" = compute source values over the graph with every edge INTO the
|
|
21
|
+
* target removed (the classifier's target-removed closure — so the node
|
|
22
|
+
* is genuinely hidden, never read back through its own derivation).
|
|
23
|
+
* Forward evaluation honors `QUANTITY_IDENTIFICATIONS` and is
|
|
24
|
+
* domain-checked (an edge that refuses its domain contributes no
|
|
25
|
+
* prediction). The consistency check needs no external truth and is the
|
|
26
|
+
* re-runnable core; an optional `references` map adds external-value
|
|
27
|
+
* scoring. Pass bar pre-registered in the design note (spread ≤ 1e-6).
|
|
28
|
+
*
|
|
29
|
+
* @module composition/retrodiction
|
|
30
|
+
*/
|
|
31
|
+
import { evaluateEdge } from './edge.js';
|
|
32
|
+
import { QUANTITY_IDENTIFICATIONS } from './compose.js';
|
|
33
|
+
import { classifyAll } from './identifiability.js';
|
|
34
|
+
/**
|
|
35
|
+
* Monotone forward EVALUATION: propagate values from `groundTruth` through
|
|
36
|
+
* the graph (domain-checked; identifications supply identified names;
|
|
37
|
+
* non-finite or domain-refused edges do not fire). Each node is assigned
|
|
38
|
+
* the value of the first edge that fires for it.
|
|
39
|
+
*/
|
|
40
|
+
function forwardEvaluate(edges, groundTruth, idents) {
|
|
41
|
+
const values = new Map(Object.entries(groundTruth));
|
|
42
|
+
let changed = true;
|
|
43
|
+
while (changed) {
|
|
44
|
+
changed = false;
|
|
45
|
+
for (const id of idents) {
|
|
46
|
+
const fromVal = values.get(id.from);
|
|
47
|
+
if (fromVal !== undefined && !values.has(id.to)) {
|
|
48
|
+
values.set(id.to, fromVal);
|
|
49
|
+
changed = true;
|
|
50
|
+
}
|
|
51
|
+
}
|
|
52
|
+
for (const e of edges) {
|
|
53
|
+
if (values.has(e.target.name))
|
|
54
|
+
continue;
|
|
55
|
+
if (!e.sources.every((s) => values.has(s.name)))
|
|
56
|
+
continue;
|
|
57
|
+
const inputs = {};
|
|
58
|
+
for (const s of e.sources)
|
|
59
|
+
inputs[s.name] = values.get(s.name);
|
|
60
|
+
let v;
|
|
61
|
+
try {
|
|
62
|
+
v = evaluateEdge(e, inputs);
|
|
63
|
+
}
|
|
64
|
+
catch {
|
|
65
|
+
continue; // domain violation or evaluator error: edge does not fire
|
|
66
|
+
}
|
|
67
|
+
if (Number.isFinite(v)) {
|
|
68
|
+
values.set(e.target.name, v);
|
|
69
|
+
changed = true;
|
|
70
|
+
}
|
|
71
|
+
}
|
|
72
|
+
}
|
|
73
|
+
return values;
|
|
74
|
+
}
|
|
75
|
+
/**
|
|
76
|
+
* Retrodict one node: mask it (source values from the target-removed
|
|
77
|
+
* graph), recover it via each incoming edge, and score the spread.
|
|
78
|
+
*
|
|
79
|
+
* @public
|
|
80
|
+
*/
|
|
81
|
+
export function retrodictNode(edges, groundTruth, target, opts = {}) {
|
|
82
|
+
const idents = opts.identifications ?? QUANTITY_IDENTIFICATIONS;
|
|
83
|
+
const tolerance = opts.tolerance ?? 1e-6;
|
|
84
|
+
// Masked source values: never let the target be assigned (so no
|
|
85
|
+
// derivation reads it back — circular self-support excluded).
|
|
86
|
+
const edgesMinusIntoTarget = edges.filter((e) => e.target.name !== target);
|
|
87
|
+
const values = forwardEvaluate(edgesMinusIntoTarget, groundTruth, idents);
|
|
88
|
+
const predictions = [];
|
|
89
|
+
for (const e of edges) {
|
|
90
|
+
if (e.target.name !== target)
|
|
91
|
+
continue;
|
|
92
|
+
if (!e.sources.every((s) => values.has(s.name)))
|
|
93
|
+
continue;
|
|
94
|
+
const inputs = {};
|
|
95
|
+
for (const s of e.sources)
|
|
96
|
+
inputs[s.name] = values.get(s.name);
|
|
97
|
+
let v;
|
|
98
|
+
try {
|
|
99
|
+
v = evaluateEdge(e, inputs);
|
|
100
|
+
}
|
|
101
|
+
catch {
|
|
102
|
+
continue;
|
|
103
|
+
}
|
|
104
|
+
if (Number.isFinite(v))
|
|
105
|
+
predictions.push({ edge: e.id, value: v });
|
|
106
|
+
}
|
|
107
|
+
let relativeSpread = 0;
|
|
108
|
+
if (predictions.length >= 2) {
|
|
109
|
+
const vals = predictions.map((p) => p.value);
|
|
110
|
+
const max = Math.max(...vals);
|
|
111
|
+
const min = Math.min(...vals);
|
|
112
|
+
const mean = vals.reduce((a, b) => a + b, 0) / vals.length;
|
|
113
|
+
relativeSpread =
|
|
114
|
+
Math.abs(mean) > 0 ? (max - min) / Math.abs(mean) : max === min ? 0 : Infinity;
|
|
115
|
+
}
|
|
116
|
+
let outcome;
|
|
117
|
+
if (predictions.length === 0)
|
|
118
|
+
outcome = 'unrecoverable';
|
|
119
|
+
else if (predictions.length === 1)
|
|
120
|
+
outcome = 'single';
|
|
121
|
+
else
|
|
122
|
+
outcome = relativeSpread <= tolerance ? 'consistent' : 'inconsistent';
|
|
123
|
+
const result = {
|
|
124
|
+
target,
|
|
125
|
+
outcome,
|
|
126
|
+
predictions,
|
|
127
|
+
relativeSpread,
|
|
128
|
+
tolerance,
|
|
129
|
+
pass: outcome !== 'inconsistent',
|
|
130
|
+
};
|
|
131
|
+
const ref = opts.references?.[target];
|
|
132
|
+
if (ref !== undefined && predictions.length >= 1) {
|
|
133
|
+
const mean = predictions.reduce((a, p) => a + p.value, 0) / predictions.length;
|
|
134
|
+
const referenceRelError = Math.abs(mean - ref) / (Math.abs(ref) || 1);
|
|
135
|
+
return {
|
|
136
|
+
...result,
|
|
137
|
+
referenceValue: ref,
|
|
138
|
+
referenceRelError,
|
|
139
|
+
referencePass: referenceRelError <= (opts.referenceTolerance ?? 1e-3),
|
|
140
|
+
};
|
|
141
|
+
}
|
|
142
|
+
return result;
|
|
143
|
+
}
|
|
144
|
+
/**
|
|
145
|
+
* Sweep the graph: retrodict every over-determined node (the classifier
|
|
146
|
+
* is the feeder), plus any node with a supplied reference value. Returns
|
|
147
|
+
* the per-node results and the headline `allConsistent` gate.
|
|
148
|
+
*
|
|
149
|
+
* @public
|
|
150
|
+
*/
|
|
151
|
+
export function retrodict(edges, groundTruth, opts = {}) {
|
|
152
|
+
const idents = opts.identifications ?? QUANTITY_IDENTIFICATIONS;
|
|
153
|
+
const known = Object.keys(groundTruth);
|
|
154
|
+
const classified = classifyAll(edges, known, { identifications: idents });
|
|
155
|
+
const overDetermined = classified
|
|
156
|
+
.filter((r) => r.verdict === 'over-determined')
|
|
157
|
+
.map((r) => r.target);
|
|
158
|
+
const refTargets = opts.references ? Object.keys(opts.references) : [];
|
|
159
|
+
const targets = [...new Set([...overDetermined, ...refTargets])].sort();
|
|
160
|
+
const results = targets.map((t) => retrodictNode(edges, groundTruth, t, opts));
|
|
161
|
+
const consistent = results.filter((r) => r.outcome === 'consistent').length;
|
|
162
|
+
const inconsistent = results.filter((r) => r.outcome === 'inconsistent').length;
|
|
163
|
+
return {
|
|
164
|
+
results,
|
|
165
|
+
checked: consistent + inconsistent,
|
|
166
|
+
consistent,
|
|
167
|
+
inconsistent,
|
|
168
|
+
allConsistent: inconsistent === 0,
|
|
169
|
+
};
|
|
170
|
+
}
|
|
171
|
+
//# sourceMappingURL=retrodiction.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"retrodiction.js","sourceRoot":"","sources":["../../src/composition/retrodiction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAEzC,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAyDnD;;;;;GAKG;AACH,SAAS,eAAe,CACtB,KAA4B,EAC5B,WAA6C,EAC7C,MAAyC;IAEzC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAiB,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IACpE,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBAChD,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;gBAC3B,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YACxC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAAE,SAAS;YAC1D,MAAM,MAAM,GAA2B,EAAE,CAAC;YAC1C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;gBAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC;YAChE,IAAI,CAAS,CAAC;YACd,IAAI,CAAC;gBACH,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YAC9B,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS,CAAC,0DAA0D;YACtE,CAAC;YACD,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC7B,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,KAA4B,EAC5B,WAA6C,EAC7C,MAAc,EACd,OAA4B,EAAE;IAE9B,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,IAAI,wBAAwB,CAAC;IAChE,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC;IAEzC,gEAAgE;IAChE,8DAA8D;IAC9D,MAAM,oBAAoB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC3E,MAAM,MAAM,GAAG,eAAe,CAAC,oBAAoB,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IAE1E,MAAM,WAAW,GAA6B,EAAE,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACvC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAAE,SAAS;QAC1D,MAAM,MAAM,GAA2B,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;YAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC;QAChE,IAAI,CAAS,CAAC;QACd,IAAI,CAAC;YACH,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAC9B,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,WAAW,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3D,cAAc;YACZ,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IACnF,CAAC;IAED,IAAI,OAA4B,CAAC;IACjC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,eAAe,CAAC;SACnD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,QAAQ,CAAC;;QACjD,OAAO,GAAG,cAAc,IAAI,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC;IAE3E,MAAM,MAAM,GAAuB;QACjC,MAAM;QACN,OAAO;QACP,WAAW;QACX,cAAc;QACd,SAAS;QACT,IAAI,EAAE,OAAO,KAAK,cAAc;KACjC,CAAC;IAEF,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,GAAG,KAAK,SAAS,IAAI,WAAW,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,GACR,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC;QACpE,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACtE,OAAO;YACL,GAAG,MAAM;YACT,cAAc,EAAE,GAAG;YACnB,iBAAiB;YACjB,aAAa,EAAE,iBAAiB,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,IAAI,CAAC;SACtE,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CACvB,KAA4B,EAC5B,WAA6C,EAC7C,OAA4B,EAAE;IAE9B,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,IAAI,wBAAwB,CAAC;IAChE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACvC,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC;IAE1E,MAAM,cAAc,GAAG,UAAU;SAC9B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,iBAAiB,CAAC;SAC9C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACxB,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvE,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,cAAc,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAExE,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAChC,aAAa,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,CAAC,CAC3C,CAAC;IAEF,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,YAAY,CAAC,CAAC,MAAM,CAAC;IAC5E,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,cAAc,CACpC,CAAC,MAAM,CAAC;IAET,OAAO;QACL,OAAO;QACP,OAAO,EAAE,UAAU,GAAG,YAAY;QAClC,UAAU;QACV,YAAY;QACZ,aAAa,EAAE,YAAY,KAAK,CAAC;KAClC,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,33 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Symbolic-composition constant registry (v0.12 symbolic composition).
|
|
3
|
+
*
|
|
4
|
+
* The physical constants and named numeric factors that a bridge's
|
|
5
|
+
* `symbolic` ExprNode may reference as leaf symbols, with the SI value AND
|
|
6
|
+
* the SI dimension. SI VALUES import from `core/constants.js` — the single
|
|
7
|
+
* source the bridge evaluators also resolve to — so a symbolic form and its
|
|
8
|
+
* numeric evaluator agree bit-for-bit (the drift guard binds this end-to-end;
|
|
9
|
+
* Adam A-7 / Eve EVE-3).
|
|
10
|
+
*
|
|
11
|
+
* Numeric-literal leaves (`'2'`, `'3'`) are NOT registered here — `evalExpr`
|
|
12
|
+
* resolves them via `Number(name)` and they are implicitly dimensionless.
|
|
13
|
+
* Non-base-10 tokens (`'8pi'`, `'4pi'`, `'ln2'`) MUST be here (Adam A-1 —
|
|
14
|
+
* `Number('8pi')` is `NaN`).
|
|
15
|
+
*
|
|
16
|
+
* INTERNAL — not on the public surface.
|
|
17
|
+
*
|
|
18
|
+
* @module composition/symbolic-constants
|
|
19
|
+
*/
|
|
20
|
+
import type { Dimension } from '../dimensional/types.js';
|
|
21
|
+
/** A registered constant leaf: SI value + SI dimension. */
|
|
22
|
+
export interface NamedConstantValue {
|
|
23
|
+
readonly value: number;
|
|
24
|
+
readonly dim: Dimension;
|
|
25
|
+
}
|
|
26
|
+
/**
|
|
27
|
+
* Constant leaves a `symbolic` ExprNode may reference. Keys are the leaf
|
|
28
|
+
* symbol `name`s; values carry the SI magnitude and dimension. `ln2`/`8pi`/
|
|
29
|
+
* `4pi` reproduce the evaluators' `Math.LN2` / `8*Math.PI` / `4*Math.PI`
|
|
30
|
+
* exactly (same IEEE-754 primitives).
|
|
31
|
+
*/
|
|
32
|
+
export declare const CONSTANTS: Readonly<Record<string, NamedConstantValue>>;
|
|
33
|
+
//# sourceMappingURL=symbolic-constants.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"symbolic-constants.d.ts","sourceRoot":"","sources":["../../src/composition/symbolic-constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAuBzD,2DAA2D;AAC3D,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;CACzB;AAED;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAQlE,CAAC"}
|
|
@@ -0,0 +1,50 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Symbolic-composition constant registry (v0.12 symbolic composition).
|
|
3
|
+
*
|
|
4
|
+
* The physical constants and named numeric factors that a bridge's
|
|
5
|
+
* `symbolic` ExprNode may reference as leaf symbols, with the SI value AND
|
|
6
|
+
* the SI dimension. SI VALUES import from `core/constants.js` — the single
|
|
7
|
+
* source the bridge evaluators also resolve to — so a symbolic form and its
|
|
8
|
+
* numeric evaluator agree bit-for-bit (the drift guard binds this end-to-end;
|
|
9
|
+
* Adam A-7 / Eve EVE-3).
|
|
10
|
+
*
|
|
11
|
+
* Numeric-literal leaves (`'2'`, `'3'`) are NOT registered here — `evalExpr`
|
|
12
|
+
* resolves them via `Number(name)` and they are implicitly dimensionless.
|
|
13
|
+
* Non-base-10 tokens (`'8pi'`, `'4pi'`, `'ln2'`) MUST be here (Adam A-1 —
|
|
14
|
+
* `Number('8pi')` is `NaN`).
|
|
15
|
+
*
|
|
16
|
+
* INTERNAL — not on the public surface.
|
|
17
|
+
*
|
|
18
|
+
* @module composition/symbolic-constants
|
|
19
|
+
*/
|
|
20
|
+
import { DIMENSIONLESS, VELOCITY, ACTION, } from '../dimensional/types.js';
|
|
21
|
+
import { C_SI, G_SI, HBAR_SI, K_B_SI } from '../core/constants.js';
|
|
22
|
+
const dim = (L = 0, M = 0, T = 0, Theta = 0) => ({
|
|
23
|
+
L,
|
|
24
|
+
M,
|
|
25
|
+
T,
|
|
26
|
+
I: 0,
|
|
27
|
+
Theta,
|
|
28
|
+
N: 0,
|
|
29
|
+
J: 0,
|
|
30
|
+
});
|
|
31
|
+
/** Newton's constant G — [L³ M⁻¹ T⁻²]. */
|
|
32
|
+
const GRAV = dim(3, -1, -2);
|
|
33
|
+
/** Boltzmann constant k_B — [L² M T⁻² Θ⁻¹] (energy / temperature). */
|
|
34
|
+
const BOLTZMANN = dim(2, 1, -2, -1);
|
|
35
|
+
/**
|
|
36
|
+
* Constant leaves a `symbolic` ExprNode may reference. Keys are the leaf
|
|
37
|
+
* symbol `name`s; values carry the SI magnitude and dimension. `ln2`/`8pi`/
|
|
38
|
+
* `4pi` reproduce the evaluators' `Math.LN2` / `8*Math.PI` / `4*Math.PI`
|
|
39
|
+
* exactly (same IEEE-754 primitives).
|
|
40
|
+
*/
|
|
41
|
+
export const CONSTANTS = {
|
|
42
|
+
hbar: { value: HBAR_SI, dim: ACTION },
|
|
43
|
+
c: { value: C_SI, dim: VELOCITY },
|
|
44
|
+
G: { value: G_SI, dim: GRAV },
|
|
45
|
+
k_B: { value: K_B_SI, dim: BOLTZMANN },
|
|
46
|
+
ln2: { value: Math.LN2, dim: DIMENSIONLESS },
|
|
47
|
+
'8pi': { value: 8 * Math.PI, dim: DIMENSIONLESS },
|
|
48
|
+
'4pi': { value: 4 * Math.PI, dim: DIMENSIONLESS },
|
|
49
|
+
};
|
|
50
|
+
//# sourceMappingURL=symbolic-constants.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"symbolic-constants.js","sourceRoot":"","sources":["../../src/composition/symbolic-constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EACL,aAAa,EACb,QAAQ,EACR,MAAM,GACP,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAEnE,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAa,EAAE,CAAC,CAAC;IAC1D,CAAC;IACD,CAAC;IACD,CAAC;IACD,CAAC,EAAE,CAAC;IACJ,KAAK;IACL,CAAC,EAAE,CAAC;IACJ,CAAC,EAAE,CAAC;CACL,CAAC,CAAC;AAEH,0CAA0C;AAC1C,MAAM,IAAI,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACvC,sEAAsE;AACtE,MAAM,SAAS,GAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAQ/C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAiD;IACrE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE;IACrC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE;IACjC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE;IAC7B,GAAG,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE;IACtC,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE;IAC5C,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE;IACjD,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,aAAa,EAAE;CAClD,CAAC"}
|
|
@@ -0,0 +1,45 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* First-order uncertainty propagation through composition edges
|
|
3
|
+
* (v0.10.0 T4 — fulfills the improvement plan's G-3 carrier claim:
|
|
4
|
+
* "edges carry uncertainties, and uncertainty propagates through
|
|
5
|
+
* composition").
|
|
6
|
+
*
|
|
7
|
+
* σ_out² = Σᵢ (∂f/∂xᵢ · σᵢ)² (independent-input Gaussian,
|
|
8
|
+
* first order)
|
|
9
|
+
*
|
|
10
|
+
* Partials are central differences with a relative step
|
|
11
|
+
* h = 1e-6·max(|xᵢ|, 1e-30). Because composed edges ARE `BridgeEdge`s
|
|
12
|
+
* (design D-2 closure), chains need no extra machinery — propagate on
|
|
13
|
+
* the composed edge directly.
|
|
14
|
+
*
|
|
15
|
+
* Scope honesty: independent inputs only (no covariance matrix), first
|
|
16
|
+
* order only (no curvature term). Adequate for the scalar closed-form
|
|
17
|
+
* edges in the graph today; revisit both if correlated observables or
|
|
18
|
+
* strongly nonlinear edges land.
|
|
19
|
+
*
|
|
20
|
+
* @module composition/uncertainty
|
|
21
|
+
*/
|
|
22
|
+
import type { BridgeEdge } from './edge.js';
|
|
23
|
+
/** Result of a propagation. @public */
|
|
24
|
+
export interface UncertaintyResult {
|
|
25
|
+
/** Central value f(x) (domain-checked). */
|
|
26
|
+
readonly value: number;
|
|
27
|
+
/** Propagated 1σ standard deviation. */
|
|
28
|
+
readonly sigma: number;
|
|
29
|
+
/** Per-input partial derivatives ∂f/∂xᵢ (central difference). */
|
|
30
|
+
readonly partials: Readonly<Record<string, number>>;
|
|
31
|
+
}
|
|
32
|
+
/**
|
|
33
|
+
* Propagate independent 1σ input uncertainties through an edge.
|
|
34
|
+
*
|
|
35
|
+
* `sigmas` keys are source-quantity names; inputs absent from `sigmas`
|
|
36
|
+
* (or with σ = 0) contribute no variance but still get a partial.
|
|
37
|
+
* The central value is domain-checked (`evaluateEdge`); the stencil
|
|
38
|
+
* evaluations use the raw evaluator — a ±h step that exits the
|
|
39
|
+
* validity domain near its boundary would otherwise poison the
|
|
40
|
+
* derivative with a thrown error rather than a number.
|
|
41
|
+
*
|
|
42
|
+
* @public
|
|
43
|
+
*/
|
|
44
|
+
export declare function propagateUncertainty(edge: BridgeEdge, inputs: Record<string, number>, sigmas: Record<string, number>): UncertaintyResult;
|
|
45
|
+
//# sourceMappingURL=uncertainty.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"uncertainty.d.ts","sourceRoot":"","sources":["../../src/composition/uncertainty.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAG5C,uCAAuC;AACvC,MAAM,WAAW,iBAAiB;IAChC,2CAA2C;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,wCAAwC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,iEAAiE;IACjE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACrD;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAC9B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC7B,iBAAiB,CA8BnB"}
|